2 Infinite products and existence of compactly supported φ

Size: px
Start display at page:

Download "2 Infinite products and existence of compactly supported φ"

Transcription

1 415 Wavelets 1 Infinite products and existence of compactly supported φ Infinite products.1 Infinite products a n need to be defined via limits. But we do not simply say that a n = lim a n N whenever the limit exists. (For series we do simply do that and define t n = lim N N t n.) This overly simple definition of products would allow (for example) (n 1) to converge. It represents and all the partial products N (n 1) = 0. But (n 1) = n= does not converge no finite limit for (n 1) = 1 (N 1) = (N 1)! n= Definition. An infinite product a n (where a n C n) is said to converge if there are at most finitely many n with a n = 0, say n 1, n,..., n k, and lim a n N n=n k +1 exists (as a finite limit in C) and is nonzero. (The same definition works for a n R). Example.3 has partial products and so this product is not convergent. 1 n 1 n = 1 N! 0 as N

2 415 Wavelets Proposition.4 If a n converges, then lim a n = 1 n Proof. Let us say that all the zero terms a n have n n 0. Then Also lim n n=n 0 +1 lim a n = p (say) with p 0 N+1 n n=n 0 +1 a n = p and dividing the latter by the former we have 1 = p N+1 p = lim n=n 0 +1 a n n N n=n 0 +1 a n Theorem.5 Assuming a n 1 for all n = lim N a N+1 a n converges (a n 1) < Proof. Note that a n = P N (say) is an increasing sequence of positive numbers and so it has a finite limit if and only if it is bounded above. Put S N = N (a n 1). S N is also increasing with N (as a n 1) and again lim N S N R if and only if S N is bounded above. Observe that 1 + x e x for all x 0 and so 1 + (a n 1) e an 1 a n e an 1 e an 1 = e N (an 1) a n P N e S N

3 415 Wavelets 3 But we also have P N = = a n (1 + (a n 1)) 1 + N (a n 1) = 1 + S N Hence 1 + S N P N e S N Thus (S N ) N=1 is bounded above if and only if (P N) N=1 and therefore lim N S N < lim N P N <. is bounded above Definition.6 An infinite product a n is called absolutely convergent if (1 + a n 1 ) is convergent. Lemma.7 An infinite product a n is convergent if and only if it obeys Cauchy s criterion for convergence of products: for each ε > 0 there exists N 0 so that N N N 1 N 0 a n 1 < ε n=n 1 Proof. Write Π l,m = m a n (m l) n=l Assume the product is convergent. We know that there exists n 0 1 and p 0 so that lim Π n 0,N = p N Given ε > 0, there exists N 0 > 0 so that ( ε p N N 0 Π n0,n p < min, p ) (1)

4 415 Wavelets 4 For N N 0, we have then ( 1 p Π n 0,N 1 ε < min, 1 ). Since z 1 < 1/ 1/ < z 1 <, we deduce that z 1 (1/p)Π n0 <,N and hence for N N 1 > N 0 we get Π N1,N 1 = Π n0,n 1 Π n0,n 1 1 = (1/p)Π n0,n 1 (1/p)Π n0,n 1 1 = (1/p)Π n0,n (1/p)Π n0,n 1 1 (1/p)Π n0,n 1 1 = (1/p)Π n0,n (1/p)Π n0,n 1 1 (1/p)Π n0,n 1 1 (1/p)Π n0,n (1/p)Π n0,n 1 1 ( (1/p)Π n0,n (1/p)Π n0,n 1 1 ) ( < ε ) = ε. Thus the Cauchy condition holds. Conversely, assume that the Cauchy condition holds. Then there is n 0 so that N N 1 n 0 Π N1,N 1 < 1/. In particular, for N > n 0 Π n0,n 1 < 1 () Note that z 1 < 1 z < 3/ <. Now, given any ε > 0 we can find n 1 (and we can assume that n 1 n 0 ) so that N N 1 n 1 Π N1,N 1 < ε Then Π n0,n Π n0,n 1 = Π n0,n 1 Π n0,n 1 Π n0,n 1 Π N1 +1,N 1 < ε = ε (3)

5 415 Wavelets 5 as long as N > N 1 > n (and it is valid for N = N 1 also). This says that the sequence (Π n0,n) N=n 0 satisfies the usual Cauchy condition for sequences. Hence lim N Π n 0,N exists in C. By (), the limit is not zero. Hence the product converges. Theorem.8 Absolutely convergent infinite products a n are convergent. Proof. Let b n = a n 1, and Note that Π l,m = Q l,m = m a n = n=l m (1 + b n ) n=l m (1 + b n ) (m l). n=l Π l,l 1 = (1 + b l ) 1 = b l = Q l,l 1. By induction on m and for l fixed, we can verify that Here is the induction step Π m,l 1 Q m,l 1 (m l). Π m+1,l 1 = (1 + b m+1 )Π l,m 1 = (1 + b m+1 )(Π l,m 1) + (1 + b m+1 ) 1 = (1 + b m+1 )(Π l,m 1) + b m+1 Q m+1,l 1 = (1 + b m+1 )(Q l,m 1) + b m+1 Π m+1,l 1 (1 + b m+1 ) Π l,m 1 + b m+1 (1 + b m+1 ) (Q m,l 1) + b m+1 by the inductive hypothesis = Q m+1,l 1 Thus the fact that (1 + b n ) satisfies the Cauchy criterion for products implies the same of (1 + b n). The result follows from Lemma.7.

6 415 Wavelets 6 Example.9 (1 + z ) n converges no matter what value z C is given. To justify this example, it is sufficient (by Theorem.8) to show that the product is absolutely convergent, that is that ( 1 + z ) n converges. But the convergence of this follows from z n < and Theorem.5. To deal with infinite products where the terms are functions, we introduce a notion of uniform convergence. Definition.10 If f n : S C are complex-valued continuous functions defined on some compact set K, then the product (1 + f n (z)) is called uniformly convergent on K if there exists n 0 so that f n (z) 1 for n n 0 and there is a nowhere-vanishing function g: K C \ {0} so that given any ε > 0 there exists n 1 n 0 so that N n 1, z K (1 + f n (z)) g(z) < ε n=n 0 and inf g(z) > 0. z K Thus, we require not only that (after omitting a finite number of initial terms) the limits of the partial products be uniform but also that the limit be nonzero in a uniform way.

7 415 Wavelets 7 Proposition.11 If (1 + f n(z)) is a uniformly convergent product of continuous functions on a compact set K, then the sequence of partial products Π 1,N (z) = (1 + f n (z)) converges uniformly on K (as N ) to Π(z) = (1 + f n (z)) Proof. From the definition we know that there is n 0 and g: K C so that Π n0,n(z) = n=n 0 (1 + f n (z)) converges uniformly on K to g(z). By compactness of K and continuity of the f n sup Π 1,n0 1(z) = M < z K and then it follows easily that Π 1,N (z) = Π 1,n0 1(z)Π n0,n(z) Π 1,n0 1(z)g(z) = Π(z) uniformly on K. In fact, given ε > 0 we can choose N 1 > n 0 so that N N 1, z K Π n0,n(z) g(z) < ε M + 1 and then it follows that for N N 1, z K we have Π 1,N (z) Π(z) = Π 1,n0 1(z) Π n0,n(z) g(z) M ε M + 1 < ε The restriction to products of continuous functions on a compact set which we made in Definition.10 is used in the proof of the proposition. Without continuity and compactness, we could still have the result of the proposition by insisting only on uniform boundedness of each f n, but the applications are usually to the case in the definition. Exercise. Show that if a K is compact (in C, say) and f n : K C is a sequence of continuous functions so that (1 + f n (z))

8 415 Wavelets 8 is uniformly convergent on K, then Π(z) = (1 + f n(z)) is continuous on K and Π(z) = 0 n such that 1 + f n (z) = 0. As in the case of infinite products of constants, we can show that there is a Cauchy criterion for uniform convergence. Lemma.1 An infinite product (1+f n(z)), with continuous functions f n : K C on a compact set K, is uniformly convergent if and only if it satisfies the uniform Cauchy condition: given any ε > 0 there exist N 0 1 so that N N N 1 N 0, z K (1 + f n (z)) 1 < ɛ n=n 1 Proof. Copy the proof of Lemma.7 almost word for word, except that (1) has to be replaced by ( ε N N 0 Π n0,n g(z) < min, 1 ) inf g(w) w K Theorem.13 For continuous functions f n : K C on a compact set K, if (1 + f n (z) ) is uniformly convergent on K, then (1 + f n (z)) is uniformly convergent on K. Proof. Copy the proof of Theorem.8. Corollary.14 (M test) For continuous functions f n : K C on a compact set K, if M n = sup z K f n (z) < for all n and then is uniformly convergent on K. M n <, (1 + f n (z))

9 415 Wavelets 9 Proof. From M n < and Theorem.5 we deduce that (1 + M n) converges. The Cauchy condition for (1 + M n) implies the uniform Cauchy criterion for (1+ f n(z) ) and the result then follows from Theorem.13. Proposition.15 If m(ξ) is a trigonometric polynomial with m(0) = 1, then ( ) ξ m n converges uniformly on finite intervals [a, b] R. Proof. As trigonometric polynomials are differentiable and periodic with period 1 M = sup m (ξ) = sup m (ξ) < 0 ξ 1 ξ R It follows that m(ξ 1 ) m(ξ ) = and in particular that m (ξ) dξ M xi 1 ξ ξ=ξ ξ1 m(ξ) 1 = m(ξ) m(0) M ξ Now for any finite interval [a, b] we can find R > 0 so that [a, b] [ R, R] and then for ξ [a, b] we have ( ) ξ m 1 n M ξ MR n n As MR n < uniform convergence of the product follows from Corollary.14. Example.16 If then ( ) ξ m = n 1 0 m(ξ) = 1 + e πiξ e πixξ dx = F(χ [0,1) )(ξ) = e πiξ sin πξ πξ

10 415 Wavelets 10 Proof. By induction on N one can show that 1 + e πi(ξ/n ) = 1 N N 1 j=0 e πijξ/n which is a Riemann sum for the integral. It is easy to check that the integral is e πiξ 1 = e πiξ 1 e πiξ e πiξ πiξ sin πξ = e πiξ πξ i πξ Alternatively, one can sum the above sum as a geometric progression and arrive at the same limit. Theorem.17 If p(ξ) = k 1 k=k 0 c k e πikξ is a trigonometric polynomial with p(0) = and p(ξ) + p(ξ + 1/), then ˆφ(ξ) = p(ξ/ n ) defines a function ˆφ L (R). If in addition p(ξ) 0 for ξ < 1/4, then ˆφ = 1 and ˆφ(ξ + l) 1 for almost all ξ R. l Z Proof. Let m(ξ) = p(ξ)/. From Proposition.15, we know that the product for ˆφ converges uniformly on all finite intervals [a, b] R and thus ˆφ is a continuous function. Define a sequence of functions ˆφ r (r = 0, 1,,...) by and ˆφ 0 (ξ) = χ [ 1/,1/) (ξ) ˆφ r+1 (ξ) = m(ξ/) ˆφ r (ξ/) ( r+1 ( ) ) ξ = m χ j [ 1/,1/) j=1 r+1 ( ) ξ = χ [ r, r )(ξ) m j j=1 ( ) ξ r+1

11 415 Wavelets 11 We claim first that Φ r (ξ) = l Z ˆφ r (ξ + l) satisfies Φ r (ξ) 1 for all r = 0, 1,,.... This is clear for r = 0 and for r 0, separating even and odd terms, we get Φ r+1 (ξ) = l Z = l Z + l Z ˆφ r+1 (ξ + l) + l Z m(ξ/ + l) ˆφ r (ξ/ + l) = m(ξ/) l Z ˆφ r+1 (ξ l) m(ξ/ + 1/ + l) ˆφ r (ξ/ + 1/ + l) ˆφ r (ξ/ + l) + m(ξ/ + 1/) ˆφ r (ξ/ + 1/ + l) l Z since m is periodic with period 1 = m(ξ/) Φ r (ξ/) + m(ξ/ + 1/) Φ r (ξ/ + 1/) = m(ξ/) + m(ξ/ + 1/) = 1 (assuming Φ r 1 known). It then follows that ˆφ r = 1 for each r, because ˆφ r (ξ) dξ = χ [l,l+1) ˆφ r (ξ) dξ l Z = χ [l,l+1) ˆφ r (ξ) dξ l Z (by the monotone converegence theorem) = l Z l+1 l 1 ˆφ r (ξ) dξ = ˆφ r (η + l) dη l Z 0 1 = ˆφ r (η + l) dη = 0 l Z (by the monotone converegence theorem) 1 0 Φ r (η) dη = 1

12 415 Wavelets 1 Now we can argue that R R ˆφ(ξ) R dξ = lim ˆφ r (ξ) dξ r R by uniform convergence on [ R, R] and the limit is at most 1 because each term is at most 1 (the r th term in the limit is less than ˆφ r = 1). As for each R > 0, it follows that R R ˆφ = ˆφ(ξ) dξ 1 ˆφ(ξ) dξ 1 Assuming now that p(ξ) 0 for ξ < 1/4, we have ˆφ(ξ) 0 for ξ < 1/. Since ˆφ is continuous, c = inf ξ 1/ ˆφ(ξ) > 0. Then for ξ < r 1, we have p(ξ/ ˆφ(ξ) n ) r p(ξ/ n ( ) r ) p(ξ/ n ) p(ξ/ n ) = = = ˆφ(ξ/ r ) and so ˆφ r r (ξ) = n=r+1 p(ξ/ n ) ˆφ(ξ) / ˆφ(ξ/ r ) 1 c ˆφ(ξ) for ξ r 1 and also for ξ > r 1 (when ˆφ r (ξ) = 0). As we now have (1/c) ˆφ(ξ) dξ (1/c) < and ˆφ r (ξ) (1/c) ˆφ(ξ), we can apply the dominated convergence theorem to show which tells us Finally, we have N l= N lim ˆφ r (ξ) dξ = lim r ˆφ(ξ + l) = lim r ˆφ(ξ) dξ = 1 N r l= N lim sup r ˆφ r (ξ) dξ = 1 ˆφ r (ξ + l) l= = lim sup Φ r (ξ) = 1 r ˆφ r (ξ + l)

13 415 Wavelets 13 and hence But then 1 = l= ˆφ(ξ) dξ = ˆφ(ξ + l) l= ˆφ(ξ + l) dξ = 1 and so l= ˆφ(ξ + l) = 1 for almost all ξ [0, 1]. As the sum is periodic with period 1, and a countable union of sets of measure zero still has measure zero, the sum is 1 for all ξ R except possibly for a set of measure zero. Corollary.18 If (c k ) k Z is a finitely nonzero sequence with { 1 for l = 0 c k c k l = 0 for l Z, l 0. k Z k c k = and k c ke πikξ 0 for ξ < 1/4, then there is a function φ L (R) with φ = 1, φ = k Z c k D T k φ and orthonormal translates {T k φ : k Z}. Proof. We know from Lemma 1.13 that p(ξ) = k c ke πikξ satisfies p(ξ) + p(ξ + 1/) and also we have p(0) = k c k =. From Theorem.17, we have p(ξ) ˆφ(ξ) = L (R) with ˆφ = 1. If we define φ to be the inverse Fourier transform of ˆφ, then we have φ = ˆφ = 1 and Fφ(ξ) = ˆφ(ξ) = p(ξ/) 1 ˆφ(ξ/) = p(ξ/) 1 Fφ(ξ/) ( ) = F c k D T k φ (ξ) k Z

14 415 Wavelets 14 Since F is bijective on L (R), we can conclude that φ satisfies the dilation equation. Finally, for j k T j φ, T k φ = T j T j φ, T j T k φ since T j is an isometry = φ, T k j φ = Fφ, F(T k j φ) = = since the Fourier transform is an isometry on L (R) = l Z ˆφ(ξ)e πi(k j)ξ ˆφ(ξ) dξ ˆφ(ξ) e πi(k j)ξ dξ l+1 l 1 ˆφ(ξ) e πi(k j)ξ dξ = ˆφ(ξ + l) e πi(k j)ξ dξ l Z 0 1 = ˆφ(ξ + l) e πi(k j)ξ dξ = = 0 0 l Z by the dominated convergence theorem, since ˆφ(ξ + l) = 1 ae l Z 1 0 e πi(k j)ξ dξ Our next aim is to show that the solution φ of the dilation equation that we have constructed is compactly supported (and hence in L 1 (R) as well as L (R)). There are a number of ways to do this directly, but we will take an approach that relies on a classical result in Fourier analysis that we will not prove. By a compactly supported function in L (R) we mean one that is almost everywhere zero outside some bounded closed interval [a, b]. Recall that an entire function g is a complex-valued function defined and holomorphic (or analytic) on the whole complex plane C. That means that g (w 0 ) = lim w w 0 g(w) g(w 0 ) w w 0

15 415 Wavelets 15 exists in C for each w 0 C. An entire function is said to be of exponential type if there are constants A, B > 0 so that g(w) Ae B w holds for all w C. Examples of such functions are g(w) = cos w = (e iw e iw )/ and polynomial functions g(w) = n j=0 a jw j (which satisfy g(w) a(1 + w ) n Ae B w for a suitable a > 0 and any B > 0 with a suitable A). Theorem.19 (Paley-Wiener) A function f L (R) is compactly supported if and only if its Fourier transform Ff(ξ) is almost everywhere equal for ξ R to g(ξ) for an entire function g: C C of exponential type. Proof. Omitted. Theorem.0 If (c k ) k Z is a finitely nonzero sequence with { 1 for l = 0 c k c k l = 0 for l Z, l 0. k Z k c k = and k c ke πikξ 0 for ξ < 1/4, then there is a compactly supported function φ L (R) with φ = 1 and φ = k Z c k D T k φ Proof. What we do is show that the Fourier transform of the φ constructed in the proof of Corollary.18 above satisfies the conditions in Theorem.19. Let m(w) = (1/ ) k c ke πikw (with w C now replacing ξ R) and g(w) = ( w ) m n A look at the proof of Proposition.15 will show that we did not really make use of the fact that ξ was real in any essential way. The same argument shows that the product for g(w) is uniformly convergent for w R, any R > 0. Thus g: C C is well defined and continuous. In fact it is also entire because of a standard result in complex analysis that if a sequence of entire functions on C converges uniformly on compact subsets of C, then the limit is also entire. (In this case the partial products N m(w/n ) are clearly entire.) We have Fφ(ξ) = g(ξ) for ξ R and what remains is to establish the exponential type of g.

16 415 Wavelets 16 For w < 1 we know there is a constant M 0 so that m(w) 1 M w and so ( w ) g(w) = m n (1 + m(w/ n ) 1 ) (1 + M/ n ) = M < holds for w <. Now for w, choose N so that N w < N+1. Then ( N ( w ) ) ( w ) g(w) = m g n N and we need a bound on this finite product in terms of a power of e w. Suppose c k is zero outside the (finite) range k 0 k k 1. Consider for a moment the polynomial so that P (z) = (1/ ) k 1 k=k 0 c k z k k0 m(w) = e πik 0w P (e πiw ) Now, being a polynomial of degree d = k 1 k 0 we can find C > 0 so that and P (z) C for z < 1. Thus P (z) C z d for z 1 m(w) e π k 0 w C(e π w ) d = Ce π(d+ k 0 ) w holds for all w C (as e w = e Rw e w and e w 1 always). It follows that for N w < N+1 ( N ) g ( g(w) Ce π(d+ k 0 ) w / w ) n M C N e π(d+ k 0 ) w N+1 As N < log w / log we have C N = e N log C < e (log C/ log ) log w (log C/ log ) w e (since w 1). Thus for we have g(w) M e (log C/ log +π(d+ k 0 )) w

17 415 Wavelets 17 no matter what N is. Taking A = M and B = max(log C/ log + π(d + k 0 ), 0) we have g(w) Ae B w for all w C. Theorem.1 Suppose (c k ) k Z is a finitely nonzero sequence with c k = 0 for k outside the range k 0 k k 1, { 1 for l = 0 c k c k l = 0 for l Z, l 0. k Z k c k =, k even kc k = k odd kc k, and k c ke πikξ 0 for ξ < 1/4. Factor P 1 (z) = k 1 k=k 0 c k z k k0 = ( ) a 1 + z Q(z) for a polynomial Q(z) with Q( 1) 0 and a an integer. Assume sup{ Q(z) : z C, z = 1} = B < a 1 Then there is a compactly supported continuous function φ L (R) with φ = 1 and φ = c k D T k φ k Z Proof. From Lemma 1.13, we know that p(ξ) = e πik0ξ P 1 (e πiξ ) satisfies p(ξ) + p(ξ + 1/) =, p(0) = P 1 (1) = and consequently p(1/) = P 1 ( 1) = 0. The condition k even kc k = k odd kc k guarantees that the polynomial P 1 (z) has derivative 0 at 1. We conclude that P 1 (z) is divisible by (1 + z). Let a be the highest power of 1 + z which divides P 1 (z) and then we can factor P 1 (z) as in the statement (with a ). Our goal is to show that ˆφ(ξ) as constructed in Theorem.17 must be in L 1 (R). It follows that the inverse Fourier transform of ˆφ is a continuous function φ(x) = ˆφ(ξ)e πixξ dx and we already know from the proof of Corollary.18 that this satisfies the dilation equation. Take m(ξ) = p(ξ)/ ( ) = e πik 0ξ 1 + e πiξ a Q(e πiξ )

18 415 Wavelets 18 and, as in the proof of Theorem.17, ˆφ(ξ) = m(ξ/n ). From Proposition.15, we know that each of the three products ( ) e πik 0ξ/ 1 + e πiξ/ n n, and Q(e πiξ/n ) converges. The first product has constant modulus 1, the second has been πiξ sin πξ computed in Example.16 to be e. It is easy to see that the infinite product of a product is the product of the individual infinite products πξ provided each of the individual products converges. Thus ( ) ( ) a ˆφ(ξ) = e πik 0ξ/ n πiξ sin πξ e Q(e πiξ/n ) πξ To achieve our goal of showing ˆφ(ξ) dξ < we need an estimate on the last product. For convenience, let q(ξ) = Q(e πiξ ), a trigonometric polynomial. For 1 ξ 1 We have an estimate based on the largest value of the derivative M = sup ξ q (ξ) that q(ξ) 1 = q(ξ) q(0) M ξ and so for ξ 1 we have q(ξ/ n ) (1 + q(ξ/ n ) 1 ) (1 + M/ n ) < e M For ξ > 1 we argue in a somewhat similar way to the previous proof. Fix ξ. Choose N 0 so that N 1 < ξ N. Then ( q(ξ/ n ) = q(ξ/ n N ) ) q(ξ/ n ) q(ξ/ n ) e M n=n+1 But each q(ξ/ n ) = Q(e πiξ/n ) B and so q(ξ/ n ) BN e M But N < ξ and so B N e M < e M N log B < e M ( ξ ) log B. We conclude that, for ξ > 1 ˆφ(ξ) a 1 πξ e M ( ξ ) log B 1 = C ξ a log B

19 415 Wavelets 19 for some C. As we have the assumption a log B > 1, it follows that ˆφ(ξ) dξ < ξ >1 and 1 1 ˆφ(ξ) dξ is also finite (bounded by 1 Thus ˆφ L 1 (R). 1 sin πξ πξ a e M dξ < ). Remark. Theorem.1 can be used to show that there exist compactly supported continuous solutions (with orthonormal translates) to certain dilation equations. Daubechies produced a family of examples for a =, 3,.... The corresponding p a (ξ) = a 1 k=0 c ke πikξ is of the form p a (ξ) = ( ) 1 + e πiξ a q a (ξ) with q a (ξ) a trigonometric polynomial that is chosen in such a way that Now p a (ξ) + p a (ξ + 1/) =. p a (ξ) = p a (ξ)p a (ξ) ( ) 1 + e πiξ a ( ) 1 + e πiξ a = q a (ξ) ( ) + e πiξ + e πiξ a = q a (ξ) 4 ( ) a 1 + cos(πξ) = q a (ξ) ( ) sin a (πξ) = q a (ξ) = (1 sin (πξ)) a q a (ξ) and Daubechies chose q a so that Using a 1 ( a + k 1 q a (ξ) = k k=0 ) (sin (πξ)) k sin (π(ξ + 1/)) = sin (πξ + π/) = cos (πξ) = 1 sin (πξ)

20 415 Wavelets 0 we can show p a (ξ) + p a (ξ + 1/) a 1 ( a + k 1 = (1 sin (πξ)) a k k=0 a 1 ( a + k 1 +(sin (πξ)) a k =. k=0 ) (sin (πξ)) k ) (1 sin (πξ)) k For example in the case a =, this is true because (with s = sin (πξ)) it comes down to (1 s) (1 + s) + s (1 + (1 s)) = ((1 s + s )(1 + s) + s (3 s)) = (1 4s + s + s 3 + 3s s 3 ) =. For the Daubechies 4 coefficient example, writing z = e πiξ, we have p(ξ) = z z z3 = ( ) 1 (1 + z + z )((1 3)z + (1 3)) 8 using long division = ( ) ( 1 + z (1 3)z + (1 + ) 3) and so If we compute q(ξ) = q(ξ)q(ξ) q(ξ) = Q(z) = (1 3)z + (1 + 3) = 1 4 ((1 3) zz + (1 + 3) + (1 3)z + (1 3)z) = 1 4 ((4 3) + (4 + ) (z + z)) using z = e πiξ = 1 = cos(πξ) = (1 sin (πξ)) = 1 + sin (πξ) = 1 + s

21 415 Wavelets 1 (where s = sin (πξ) still). We can see then that B = sup{ q a (ξ) : ξ R} = (1 + s) = 3 < a 1 = 1 = sup 0 s 1 and by Theorem.1, the corresponding φ is continuous. So is the mother wavelet ψ constructed from φ. We should check all the hypotheses of Theorem.1. April 1, 001

1.5 Approximate Identities

1.5 Approximate Identities 38 1 The Fourier Transform on L 1 (R) which are dense subspaces of L p (R). On these domains, P : D P L p (R) and M : D M L p (R). Show, however, that P and M are unbounded even when restricted to these

More information

Complex Analysis, Stein and Shakarchi The Fourier Transform

Complex Analysis, Stein and Shakarchi The Fourier Transform Complex Analysis, Stein and Shakarchi Chapter 4 The Fourier Transform Yung-Hsiang Huang 2017.11.05 1 Exercises 1. Suppose f L 1 (), and f 0. Show that f 0. emark 1. This proof is observed by Newmann (published

More information

ANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.

ANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2. ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n

More information

Integration on Measure Spaces

Integration on Measure Spaces Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of

More information

THEOREMS, ETC., FOR MATH 515

THEOREMS, ETC., FOR MATH 515 THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every

More information

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )

More information

Chapter 3: Baire category and open mapping theorems

Chapter 3: Baire category and open mapping theorems MA3421 2016 17 Chapter 3: Baire category and open mapping theorems A number of the major results rely on completeness via the Baire category theorem. 3.1 The Baire category theorem 3.1.1 Definition. A

More information

Complex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm

Complex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm Complex Analysis, Stein and Shakarchi Chapter 3 Meromorphic Functions and the Logarithm Yung-Hsiang Huang 217.11.5 Exercises 1. From the identity sin πz = eiπz e iπz 2i, it s easy to show its zeros are

More information

Chapter 6: The metric space M(G) and normal families

Chapter 6: The metric space M(G) and normal families Chapter 6: The metric space MG) and normal families Course 414, 003 04 March 9, 004 Remark 6.1 For G C open, we recall the notation MG) for the set algebra) of all meromorphic functions on G. We now consider

More information

COMPACTLY SUPPORTED ORTHONORMAL COMPLEX WAVELETS WITH DILATION 4 AND SYMMETRY

COMPACTLY SUPPORTED ORTHONORMAL COMPLEX WAVELETS WITH DILATION 4 AND SYMMETRY COMPACTLY SUPPORTED ORTHONORMAL COMPLEX WAVELETS WITH DILATION 4 AND SYMMETRY BIN HAN AND HUI JI Abstract. In this paper, we provide a family of compactly supported orthonormal complex wavelets with dilation

More information

Measure and Integration: Solutions of CW2

Measure and Integration: Solutions of CW2 Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost

More information

We have to prove now that (3.38) defines an orthonormal wavelet. It belongs to W 0 by Lemma and (3.55) with j = 1. We can write any f W 1 as

We have to prove now that (3.38) defines an orthonormal wavelet. It belongs to W 0 by Lemma and (3.55) with j = 1. We can write any f W 1 as 88 CHAPTER 3. WAVELETS AND APPLICATIONS We have to prove now that (3.38) defines an orthonormal wavelet. It belongs to W 0 by Lemma 3..7 and (3.55) with j =. We can write any f W as (3.58) f(ξ) = p(2ξ)ν(2ξ)

More information

INTRODUCTION TO REAL ANALYTIC GEOMETRY

INTRODUCTION TO REAL ANALYTIC GEOMETRY INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E

More information

Complex Analysis Homework 9: Solutions

Complex Analysis Homework 9: Solutions Complex Analysis Fall 2007 Homework 9: Solutions 3..4 (a) Let z C \ {ni : n Z}. Then /(n 2 + z 2 ) n /n 2 n 2 n n 2 + z 2. According to the it comparison test from calculus, the series n 2 + z 2 converges

More information

1 Holomorphic functions

1 Holomorphic functions Robert Oeckl CA NOTES 1 15/09/2009 1 1 Holomorphic functions 11 The complex derivative The basic objects of complex analysis are the holomorphic functions These are functions that posses a complex derivative

More information

MRA Frame Wavelets with Certain Regularities Associated with the Refinable Generators of Shift Invariant Spaces

MRA Frame Wavelets with Certain Regularities Associated with the Refinable Generators of Shift Invariant Spaces Chapter 6 MRA Frame Wavelets with Certain Regularities Associated with the Refinable Generators of Shift Invariant Spaces Tian-Xiao He Department of Mathematics and Computer Science Illinois Wesleyan University,

More information

SOLUTIONS TO HOMEWORK ASSIGNMENT 4

SOLUTIONS TO HOMEWORK ASSIGNMENT 4 SOLUTIONS TO HOMEWOK ASSIGNMENT 4 Exercise. A criterion for the image under the Hilbert transform to belong to L Let φ S be given. Show that Hφ L if and only if φx dx = 0. Solution: Suppose first that

More information

From now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.

From now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1. Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x

More information

WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS

WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS YIFEI ZHAO Contents. The Weierstrass factorization theorem 2. The Weierstrass preparation theorem 6 3. The Weierstrass division theorem 8 References

More information

We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero

We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero Chapter Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.

More information

Measurable functions are approximately nice, even if look terrible.

Measurable functions are approximately nice, even if look terrible. Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............

More information

The Caratheodory Construction of Measures

The Caratheodory Construction of Measures Chapter 5 The Caratheodory Construction of Measures Recall how our construction of Lebesgue measure in Chapter 2 proceeded from an initial notion of the size of a very restricted class of subsets of R,

More information

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure? MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable

More information

ANALYSIS QUALIFYING EXAM FALL 2016: SOLUTIONS. = lim. F n

ANALYSIS QUALIFYING EXAM FALL 2016: SOLUTIONS. = lim. F n ANALYSIS QUALIFYING EXAM FALL 206: SOLUTIONS Problem. Let m be Lebesgue measure on R. For a subset E R and r (0, ), define E r = { x R: dist(x, E) < r}. Let E R be compact. Prove that m(e) = lim m(e /n).

More information

RIEMANN MAPPING THEOREM

RIEMANN MAPPING THEOREM RIEMANN MAPPING THEOREM VED V. DATAR Recall that two domains are called conformally equivalent if there exists a holomorphic bijection from one to the other. This automatically implies that there is an

More information

L p Spaces and Convexity

L p Spaces and Convexity L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function

More information

Indeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )

Indeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( ) Lebesgue Measure The idea of the Lebesgue integral is to first define a measure on subsets of R. That is, we wish to assign a number m(s to each subset S of R, representing the total length that S takes

More information

Biorthogonal Spline Type Wavelets

Biorthogonal Spline Type Wavelets PERGAMON Computers and Mathematics with Applications 0 (00 1 0 www.elsevier.com/locate/camwa Biorthogonal Spline Type Wavelets Tian-Xiao He Department of Mathematics and Computer Science Illinois Wesleyan

More information

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure? MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is

More information

Part IB. Further Analysis. Year

Part IB. Further Analysis. Year Year 2004 2003 2002 2001 10 2004 2/I/4E Let τ be the topology on N consisting of the empty set and all sets X N such that N \ X is finite. Let σ be the usual topology on R, and let ρ be the topology on

More information

Proof. We indicate by α, β (finite or not) the end-points of I and call

Proof. We indicate by α, β (finite or not) the end-points of I and call C.6 Continuous functions Pag. 111 Proof of Corollary 4.25 Corollary 4.25 Let f be continuous on the interval I and suppose it admits non-zero its (finite or infinite) that are different in sign for x tending

More information

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite

More information

Construction of Multivariate Compactly Supported Orthonormal Wavelets

Construction of Multivariate Compactly Supported Orthonormal Wavelets Construction of Multivariate Compactly Supported Orthonormal Wavelets Ming-Jun Lai Department of Mathematics The University of Georgia Athens, GA 30602 April 30, 2004 Dedicated to Professor Charles A.

More information

Tools from Lebesgue integration

Tools from Lebesgue integration Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given

More information

Metric Spaces and Topology

Metric Spaces and Topology Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies

More information

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989), Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer

More information

We have been going places in the car of calculus for years, but this analysis course is about how the car actually works.

We have been going places in the car of calculus for years, but this analysis course is about how the car actually works. Analysis I We have been going places in the car of calculus for years, but this analysis course is about how the car actually works. Copier s Message These notes may contain errors. In fact, they almost

More information

2 Lebesgue integration

2 Lebesgue integration 2 Lebesgue integration 1. Let (, A, µ) be a measure space. We will always assume that µ is complete, otherwise we first take its completion. The example to have in mind is the Lebesgue measure on R n,

More information

FOURIER TRANSFORMS. 1. Fourier series 1.1. The trigonometric system. The sequence of functions

FOURIER TRANSFORMS. 1. Fourier series 1.1. The trigonometric system. The sequence of functions FOURIER TRANSFORMS. Fourier series.. The trigonometric system. The sequence of functions, cos x, sin x,..., cos nx, sin nx,... is called the trigonometric system. These functions have period π. The trigonometric

More information

Math212a1413 The Lebesgue integral.

Math212a1413 The Lebesgue integral. Math212a1413 The Lebesgue integral. October 28, 2014 Simple functions. In what follows, (X, F, m) is a space with a σ-field of sets, and m a measure on F. The purpose of today s lecture is to develop the

More information

Notes on Complex Analysis

Notes on Complex Analysis Michael Papadimitrakis Notes on Complex Analysis Department of Mathematics University of Crete Contents The complex plane.. The complex plane...................................2 Argument and polar representation.........................

More information

Exercise 1. Let f be a nonnegative measurable function. Show that. where ϕ is taken over all simple functions with ϕ f. k 1.

Exercise 1. Let f be a nonnegative measurable function. Show that. where ϕ is taken over all simple functions with ϕ f. k 1. Real Variables, Fall 2014 Problem set 3 Solution suggestions xercise 1. Let f be a nonnegative measurable function. Show that f = sup ϕ, where ϕ is taken over all simple functions with ϕ f. For each n

More information

Quintic deficient spline wavelets

Quintic deficient spline wavelets Quintic deficient spline wavelets F. Bastin and P. Laubin January 19, 4 Abstract We show explicitely how to construct scaling functions and wavelets which are quintic deficient splines with compact support

More information

Construction of Biorthogonal B-spline Type Wavelet Sequences with Certain Regularities

Construction of Biorthogonal B-spline Type Wavelet Sequences with Certain Regularities Illinois Wesleyan University From the SelectedWorks of Tian-Xiao He 007 Construction of Biorthogonal B-spline Type Wavelet Sequences with Certain Regularities Tian-Xiao He, Illinois Wesleyan University

More information

Bernstein s analytic continuation of complex powers

Bernstein s analytic continuation of complex powers (April 3, 20) Bernstein s analytic continuation of complex powers Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/. Analytic continuation of distributions 2. Statement of the theorems

More information

7: FOURIER SERIES STEVEN HEILMAN

7: FOURIER SERIES STEVEN HEILMAN 7: FOURIER SERIES STEVE HEILMA Contents 1. Review 1 2. Introduction 1 3. Periodic Functions 2 4. Inner Products on Periodic Functions 3 5. Trigonometric Polynomials 5 6. Periodic Convolutions 7 7. Fourier

More information

LECTURE 5: THE METHOD OF STATIONARY PHASE

LECTURE 5: THE METHOD OF STATIONARY PHASE LECTURE 5: THE METHOD OF STATIONARY PHASE Some notions.. A crash course on Fourier transform For j =,, n, j = x j. D j = i j. For any multi-index α = (α,, α n ) N n. α = α + + α n. α! = α! α n!. x α =

More information

Existence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets

Existence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R

More information

M17 MAT25-21 HOMEWORK 6

M17 MAT25-21 HOMEWORK 6 M17 MAT25-21 HOMEWORK 6 DUE 10:00AM WEDNESDAY SEPTEMBER 13TH 1. To Hand In Double Series. The exercises in this section will guide you to complete the proof of the following theorem: Theorem 1: Absolute

More information

4 Uniform convergence

4 Uniform convergence 4 Uniform convergence In the last few sections we have seen several functions which have been defined via series or integrals. We now want to develop tools that will allow us to show that these functions

More information

1 Introduction. 2 Shannon Wavelet. Jaime Hernandez Jr. Wavelets and Fourier Analysis SEMESTER PROJECT December 12, 2007

1 Introduction. 2 Shannon Wavelet. Jaime Hernandez Jr. Wavelets and Fourier Analysis SEMESTER PROJECT December 12, 2007 Jaime Hernandez Jr. Wavelets and Fourier Analysis SEMESTER PROJECT December 12, 27 1 Introduction This report will address the construction of objects called Curvelets, which have been pioneered by Candes

More information

Topics in Harmonic Analysis Lecture 1: The Fourier transform

Topics in Harmonic Analysis Lecture 1: The Fourier transform Topics in Harmonic Analysis Lecture 1: The Fourier transform Po-Lam Yung The Chinese University of Hong Kong Outline Fourier series on T: L 2 theory Convolutions The Dirichlet and Fejer kernels Pointwise

More information

C.7. Numerical series. Pag. 147 Proof of the converging criteria for series. Theorem 5.29 (Comparison test) Let a k and b k be positive-term series

C.7. Numerical series. Pag. 147 Proof of the converging criteria for series. Theorem 5.29 (Comparison test) Let a k and b k be positive-term series C.7 Numerical series Pag. 147 Proof of the converging criteria for series Theorem 5.29 (Comparison test) Let and be positive-term series such that 0, for any k 0. i) If the series converges, then also

More information

Riemann sphere and rational maps

Riemann sphere and rational maps Chapter 3 Riemann sphere and rational maps 3.1 Riemann sphere It is sometimes convenient, and fruitful, to work with holomorphic (or in general continuous) functions on a compact space. However, we wish

More information

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly

More information

We denote the space of distributions on Ω by D ( Ω) 2.

We denote the space of distributions on Ω by D ( Ω) 2. Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study

More information

From Fourier to Wavelets in 60 Slides

From Fourier to Wavelets in 60 Slides From Fourier to Wavelets in 60 Slides Bernhard G. Bodmann Math Department, UH September 20, 2008 B. G. Bodmann (UH Math) From Fourier to Wavelets in 60 Slides September 20, 2008 1 / 62 Outline 1 From Fourier

More information

WAVELETS WITH SHORT SUPPORT

WAVELETS WITH SHORT SUPPORT WAVELETS WITH SHORT SUPPORT BIN HAN AND ZUOWEI SHEN Abstract. This paper is to construct Riesz wavelets with short support. Riesz wavelets with short support are of interests in both theory and application.

More information

Multiresolution analysis by infinitely differentiable compactly supported functions. N. Dyn A. Ron. September 1992 ABSTRACT

Multiresolution analysis by infinitely differentiable compactly supported functions. N. Dyn A. Ron. September 1992 ABSTRACT Multiresolution analysis by infinitely differentiable compactly supported functions N. Dyn A. Ron School of of Mathematical Sciences Tel-Aviv University Tel-Aviv, Israel Computer Sciences Department University

More information

Chapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ =

Chapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ = Chapter 6. Integration 1. Integrals of Nonnegative Functions Let (, S, µ) be a measure space. We denote by L + the set of all measurable functions from to [0, ]. Let φ be a simple function in L +. Suppose

More information

Real Analysis Problems

Real Analysis Problems Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.

More information

NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES

NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES JONATHAN LUK These notes discuss theorems on the existence, uniqueness and extension of solutions for ODEs. None of these results are original. The proofs

More information

Lecture 9. = 1+z + 2! + z3. 1 = 0, it follows that the radius of convergence of (1) is.

Lecture 9. = 1+z + 2! + z3. 1 = 0, it follows that the radius of convergence of (1) is. The Exponential Function Lecture 9 The exponential function 1 plays a central role in analysis, more so in the case of complex analysis and is going to be our first example using the power series method.

More information

MA30056: Complex Analysis. Exercise Sheet 7: Applications and Sequences of Complex Functions

MA30056: Complex Analysis. Exercise Sheet 7: Applications and Sequences of Complex Functions MA30056: Complex Analysis Exercise Sheet 7: Applications and Sequences of Complex Functions Please hand solutions in at the lecture on Monday 6th March..) Prove Gauss Fundamental Theorem of Algebra. Hint:

More information

MATH SPRING UC BERKELEY

MATH SPRING UC BERKELEY MATH 85 - SPRING 205 - UC BERKELEY JASON MURPHY Abstract. These are notes for Math 85 taught in the Spring of 205 at UC Berkeley. c 205 Jason Murphy - All Rights Reserved Contents. Course outline 2 2.

More information

MAA6617 COURSE NOTES SPRING 2014

MAA6617 COURSE NOTES SPRING 2014 MAA6617 COURSE NOTES SPRING 2014 19. Normed vector spaces Let X be a vector space over a field K (in this course we always have either K = R or K = C). Definition 19.1. A norm on X is a function : X K

More information

Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett/

Hartogs Theorem: separate analyticity implies joint Paul Garrett  garrett/ (February 9, 25) Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ (The present proof of this old result roughly follows the proof

More information

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.

More information

HOMEWORK ASSIGNMENT 6

HOMEWORK ASSIGNMENT 6 HOMEWORK ASSIGNMENT 6 DUE 15 MARCH, 2016 1) Suppose f, g : A R are uniformly continuous on A. Show that f + g is uniformly continuous on A. Solution First we note: In order to show that f + g is uniformly

More information

Sequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.

Sequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1. Chapter 3 Sequences Both the main elements of calculus (differentiation and integration) require the notion of a limit. Sequences will play a central role when we work with limits. Definition 3.. A Sequence

More information

Most Continuous Functions are Nowhere Differentiable

Most Continuous Functions are Nowhere Differentiable Most Continuous Functions are Nowhere Differentiable Spring 2004 The Space of Continuous Functions Let K = [0, 1] and let C(K) be the set of all continuous functions f : K R. Definition 1 For f C(K) we

More information

Fourth Week: Lectures 10-12

Fourth Week: Lectures 10-12 Fourth Week: Lectures 10-12 Lecture 10 The fact that a power series p of positive radius of convergence defines a function inside its disc of convergence via substitution is something that we cannot ignore

More information

Considering our result for the sum and product of analytic functions, this means that for (a 0, a 1,..., a N ) C N+1, the polynomial.

Considering our result for the sum and product of analytic functions, this means that for (a 0, a 1,..., a N ) C N+1, the polynomial. Lecture 3 Usual complex functions MATH-GA 245.00 Complex Variables Polynomials. Construction f : z z is analytic on all of C since its real and imaginary parts satisfy the Cauchy-Riemann relations and

More information

Prof. Ila Varma HW 8 Solutions MATH 109. A B, h(i) := g(i n) if i > n. h : Z + f((i + 1)/2) if i is odd, g(i/2) if i is even.

Prof. Ila Varma HW 8 Solutions MATH 109. A B, h(i) := g(i n) if i > n. h : Z + f((i + 1)/2) if i is odd, g(i/2) if i is even. 1. Show that if A and B are countable, then A B is also countable. Hence, prove by contradiction, that if X is uncountable and a subset A is countable, then X A is uncountable. Solution: Suppose A and

More information

On Dual Wavelet Tight Frames

On Dual Wavelet Tight Frames On Dual Wavelet Tight Frames Bin Han Department of Mathematical Sciences University of Alberta Edmonton, AB T6G 2G, Canada Email: bhan@vega.math.ualberta.ca Abstract. A characterization of multivariate

More information

COMPLEX ANALYSIS Spring 2014

COMPLEX ANALYSIS Spring 2014 COMPLEX ANALYSIS Spring 24 Homework 4 Solutions Exercise Do and hand in exercise, Chapter 3, p. 4. Solution. The exercise states: Show that if a

More information

REAL AND COMPLEX ANALYSIS

REAL AND COMPLEX ANALYSIS REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any

More information

MAT 257, Handout 13: December 5-7, 2011.

MAT 257, Handout 13: December 5-7, 2011. MAT 257, Handout 13: December 5-7, 2011. The Change of Variables Theorem. In these notes, I try to make more explicit some parts of Spivak s proof of the Change of Variable Theorem, and to supply most

More information

MATHS 730 FC Lecture Notes March 5, Introduction

MATHS 730 FC Lecture Notes March 5, Introduction 1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists

More information

MATH NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS

MATH NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS MATH. 4433. NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS TOMASZ PRZEBINDA. Final project, due 0:00 am, /0/208 via e-mail.. State the Fundamental Theorem of Algebra. Recall that a subset K

More information

On rational approximation of algebraic functions. Julius Borcea. Rikard Bøgvad & Boris Shapiro

On rational approximation of algebraic functions. Julius Borcea. Rikard Bøgvad & Boris Shapiro On rational approximation of algebraic functions http://arxiv.org/abs/math.ca/0409353 Julius Borcea joint work with Rikard Bøgvad & Boris Shapiro 1. Padé approximation: short overview 2. A scheme of rational

More information

Measure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond

Measure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................

More information

2 Sequences, Continuity, and Limits

2 Sequences, Continuity, and Limits 2 Sequences, Continuity, and Limits In this chapter, we introduce the fundamental notions of continuity and limit of a real-valued function of two variables. As in ACICARA, the definitions as well as proofs

More information

1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty.

1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty. 1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty. Let E be a subset of R. We say that E is bounded above if there exists a real number U such that x U for

More information

Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon Measures

Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon Measures 2 1 Borel Regular Measures We now state and prove an important regularity property of Borel regular outer measures: Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon

More information

13. Examples of measure-preserving tranformations: rotations of a torus, the doubling map

13. Examples of measure-preserving tranformations: rotations of a torus, the doubling map 3. Examples of measure-preserving tranformations: rotations of a torus, the doubling map 3. Rotations of a torus, the doubling map In this lecture we give two methods by which one can show that a given

More information

Supplementary Notes for W. Rudin: Principles of Mathematical Analysis

Supplementary Notes for W. Rudin: Principles of Mathematical Analysis Supplementary Notes for W. Rudin: Principles of Mathematical Analysis SIGURDUR HELGASON In 8.00B it is customary to cover Chapters 7 in Rudin s book. Experience shows that this requires careful planning

More information

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered

More information

4.6 Montel's Theorem. Robert Oeckl CA NOTES 7 17/11/2009 1

4.6 Montel's Theorem. Robert Oeckl CA NOTES 7 17/11/2009 1 Robert Oeckl CA NOTES 7 17/11/2009 1 4.6 Montel's Theorem Let X be a topological space. We denote by C(X) the set of complex valued continuous functions on X. Denition 4.26. A topological space is called

More information

Trace Class Operators and Lidskii s Theorem

Trace Class Operators and Lidskii s Theorem Trace Class Operators and Lidskii s Theorem Tom Phelan Semester 2 2009 1 Introduction The purpose of this paper is to provide the reader with a self-contained derivation of the celebrated Lidskii Trace

More information

Chapter 5. Measurable Functions

Chapter 5. Measurable Functions Chapter 5. Measurable Functions 1. Measurable Functions Let X be a nonempty set, and let S be a σ-algebra of subsets of X. Then (X, S) is a measurable space. A subset E of X is said to be measurable if

More information

Chapter One. The Real Number System

Chapter One. The Real Number System Chapter One. The Real Number System We shall give a quick introduction to the real number system. It is imperative that we know how the set of real numbers behaves in the way that its completeness and

More information

Garrett: `Bernstein's analytic continuation of complex powers' 2 Let f be a polynomial in x 1 ; : : : ; x n with real coecients. For complex s, let f

Garrett: `Bernstein's analytic continuation of complex powers' 2 Let f be a polynomial in x 1 ; : : : ; x n with real coecients. For complex s, let f 1 Bernstein's analytic continuation of complex powers c1995, Paul Garrett, garrettmath.umn.edu version January 27, 1998 Analytic continuation of distributions Statement of the theorems on analytic continuation

More information

be the set of complex valued 2π-periodic functions f on R such that

be the set of complex valued 2π-periodic functions f on R such that . Fourier series. Definition.. Given a real number P, we say a complex valued function f on R is P -periodic if f(x + P ) f(x) for all x R. We let be the set of complex valued -periodic functions f on

More information

Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative

Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative This chapter is another review of standard material in complex analysis. See for instance

More information

Probability and Measure

Probability and Measure Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability

More information

Singular Integrals. 1 Calderon-Zygmund decomposition

Singular Integrals. 1 Calderon-Zygmund decomposition Singular Integrals Analysis III Calderon-Zygmund decomposition Let f be an integrable function f dx 0, f = g + b with g Cα almost everywhere, with b

More information

Based on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press,

Based on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press, NOTE ON ABSTRACT RIEMANN INTEGRAL Based on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press, 2003. a. Definitions. 1. Metric spaces DEFINITION 1.1. If

More information

Taylor and Laurent Series

Taylor and Laurent Series Chapter 4 Taylor and Laurent Series 4.. Taylor Series 4... Taylor Series for Holomorphic Functions. In Real Analysis, the Taylor series of a given function f : R R is given by: f (x + f (x (x x + f (x

More information

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals MATH 02 INTRODUCTION TO MATHEMATICAL ANALYSIS Properties of Real Numbers Some Fundamentals The whole course will be based entirely on the study of sequence of numbers and functions defined on the real

More information