2 Infinite products and existence of compactly supported φ
|
|
- Ernest Gardner
- 5 years ago
- Views:
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
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 informationComplex 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 informationANALYSIS 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 informationIntegration 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 informationTHEOREMS, 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 informationFinite-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 informationChapter 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 informationComplex 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 informationChapter 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 informationCOMPACTLY 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 informationMeasure 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 informationWe 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 informationINTRODUCTION 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 informationComplex 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 information1 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 informationMRA 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 informationSOLUTIONS 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 informationFrom 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 informationWEIERSTRASS 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 informationWe 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 informationMeasurable 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 informationThe 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 information3 (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 informationANALYSIS 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 informationRIEMANN 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 informationL 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 informationIndeed, 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 informationBiorthogonal 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 information2 (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 informationPart 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 informationProof. 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 informationPart 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 informationConstruction 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 informationTools 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 informationMetric 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 information1/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 informationWe 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 information2 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 informationFOURIER 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 informationMath212a1413 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 informationNotes 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 informationExercise 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 informationQuintic 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 informationConstruction 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 informationBernstein 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 information7: 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 informationLECTURE 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 informationExistence 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 informationM17 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 information4 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 information1 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 informationTopics 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 informationC.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 informationRiemann 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 informationSPRING 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 informationWe 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 informationFrom 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 informationWAVELETS 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 informationMultiresolution 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 informationChapter 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 informationReal 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 informationNOTES 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 informationLecture 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 informationMA30056: 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 informationMATH 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 informationMAA6617 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 informationHartogs 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 informationNotions 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 informationHOMEWORK 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 informationSequences. 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 informationMost 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 informationFourth 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 informationConsidering 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 informationProf. 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 informationOn 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 informationCOMPLEX 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 informationREAL 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 informationMAT 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 informationMATHS 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 informationMATH 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 informationOn 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 informationMeasure 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 information2 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 information1. 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 informationStanford 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 information13. 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 informationSupplementary 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 informationAnalysis 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 information4.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 informationTrace 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 informationChapter 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 informationChapter 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 informationGarrett: `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 informationbe 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 informationMath 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 informationProbability 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 informationSingular 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 informationBased 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 informationTaylor 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 informationMATH 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