Function Sequences and Series

Size: px
Start display at page:

Download "Function Sequences and Series"

Transcription

1 Chapter 7 Function Sequences and Series 7.1 Complex Numbers This is not meant to be a thourogh and completely rigorous construction of complex numbers but rather a quick brush up of things assumed to be already known Basic Properties The field of complex number can be viewed as C = R + ir but is also convenient to have a geometric model like C = R 2. The next table summarizes the basic field operations in the two different model C = R + ir C = R 2 z = x + iy z = (x, y) x = R(z), y = I(z) x = R(z), y = I(z) z 1 + z 2 = (x 1 + x 2 ) + i(y 1 + y 2 ) z 1 + z 2 = (x 1 + x 2, y 1 + y 2 ) z 1 z 2 = x 1 x 2 y 1 y 2 + i(x 1 y 2 + x 2 y 1 ) z 1 z 2 = (x 1 x 2 y 1 y 2, x 1 y 2 + x 2 y 1 ) i 2 = 1 (0, 1)(0, 1) = ( 1, 0) (C, +, ) is an algebraically closed field. We also recall the simple formula 1 x + iy = x x 2 + y 2 i y x 2 + y 2, x 0 y. Further we define the absolute value (or modulus) of a complex number z by z := x 2 + y 2 93

2 94 CHAPTER 7. FUNCTION SEQUENCES AND SERIES and mention the simple properties z 1 z 2 = z 1 z 2, z 1 + z 2 z 1 + z 2, z 1, z 2 C. What are their geometric meaning? Definitions (Convergence) Let (z n ) n N be a sequence in C. (i) We say that it converges in C towards a limit z C iff z n z (n ) ε > 0 N N s.t. z n z ε n N. (ii) We call it a Cauchy sequence iff ε > 0 N N s.t. z n z m ε m, n N. (iii) A function f : R C is called complex-valued. In this case f = g + ih for g, h : R R. o Definition A complex-valued function f : D f R C is said to be differentiable at x 0 D f iff there exists f (x 0 ) C such that f(x 0 + h) = f(x 0 ) + f (x 0 )h + o( h ). It is simply called differentiable if it differentiable everywhere and continuously differentiable if its derivative f : D f C is continuous. Continuity of a complex-valued function is defined similarly to that of real-valued function, where the absolute valued has to be substituted by the modulus. Finally f is R-integrable if any of the conditions of theorem satisfied, where convergence is now in C. Remarks (a) Observe that z n z (n ) { x n x y n y (n ) for z = x + iy. (b) Using the fact that f = g + ih, many properties of complex-valued functions can be reconducted to properties of g and h. In particular f is continuous at x 0 D f g, h are continuous at x 0. (7.1.1) f is differentiable at x 0 D f g, h are differentiable at x 0. (7.1.2) T m (f, x 0 ) = T m (g, x 0 ) + it m (h, x 0 ), f C m( D f, C). (7.1.3) f R(a, b; C) g, h R(a, b). (7.1.4)

3 7.2. NUMERICAL SERIES AND SEQUENCES 95 Theorem Let f R(a, b : C), then f R(a, b) and b a f(x) dx b a f(x) dx. Proof. The claim follows by the inequality z 1 z 2 x 1 x 2 + y 1 y 2, which follows from the triangular inequality and which implies that Osc( F, P) osc(f, P) + osc(g, P) and S(F, P) S( F, P). 7.2 Numerical series and Sequences Convergence and Absolute Convergence We begin by remarking that the convergence of a series x k can simply be viewed as the convergence of the sequence (s n ) n N of its partial sums s n = n x k. In this sense a series is nothing but a sequence itself. Definition A series x k of complex numbers x k C, k N is called absolutely convergent iff x k is convergent. Example (Geometric Series) Let r [0, ) and consider the geometric series rk. Considering its partial sums, we easily obtain that n r k = 1 rn+1 1 r and conclude that convergence is given if r < 1. What is the limit (or value of the series)? Proposition (Elementary Properties) Consider two convergent series x k and y k of complex numbers. Then, for λ C, (x k + y k ) converges and (x k + y k ) = x k + y k, (7.2.1) λx k converges and λx k = λ x k. (7.2.2)

4 96 CHAPTER 7. FUNCTION SEQUENCES AND SERIES Theorem x k converges iff ε > 0 N(ε) such that n x k ε m, n N(ε). k=m Proof. Since C is complete and the condition above implies that the sequence of partial sums is a Cauchy sequence, its converence gives the claim. Remarks (a) If x k converges, then x k 0 (k ). (b) Absolute convergence implies convergence since n x k k=m n x k m, n N. k=m Theorem (Comparison Test) Let x k and y k be given such that x k y k, k N. Then, if y k converges, the series x k is absolutely convergent. Proof. The inequality n x k k=m n x k k=m n y k m n N k=m implies that x k satisfies Cauchy criterion if y k does. If converges, that is clearly the case. Corollary (Ratio and Root Tests) y k (i) N N, r (0, 1) such that x k+1 r < 1 k N x k = x k converges absolutely. The series diverges, if N N can be found such that x k+1 x k 1 for all k N. (ii) N N, r (0, 1) such that x k 1/k r < 1 = x k converges absolutely.

5 7.2. NUMERICAL SERIES AND SEQUENCES 97 Example The series a 1. 1 k a converges for a > 1 and diverges for Definition (Rearrangement) Let π : N N be a permutation, then is called rearrangement of x k. x π(k) It is natural to ask whether a convergent sequence preserves its convergence after a rearrangement. The next two theorems answer precisely this question. Theorem (i) If x k is absolutely convergent and π is any permutation of the naturals, then x π(k) converges absolutely as well and has the same value. (ii) If x π(k) converges regardless of the choice of permutation π, then x k is absolutely convergent. Proof. Let π be a rearrangement. Since x k is absolutely convergent, for any ε > 0 we can find Ñ N such that Then choose N N such that In that case n x π(k) and consequently x k k=ñ+1 x k ε. {x 1,..., xñ} {x π(1),..., x π(n) }. Ñ x k n x π(k) x k k=ñ+1 x k ε, n N Ñ x n + Ñ x n n x π(k) 2ε, n N

6 98 CHAPTER 7. FUNCTION SEQUENCES AND SERIES which gives the desired convergence. (ii) We prove the converse. Assume that x k is divergent. The we need to find at least a permutation π such that x π(k) diverges, too. Without loss of generality we can assume that x k R k N and (k n ) n N with x kn > 0 and x kn =. To get a proper rearragement we still need to include the terms which are still missing. Let ( k n ) n N be the sequence of the indeces missed by (k n ) n N. Notice that it might be finite. Then define N 1 such that N 1 s 1 + := x x k1 kn + 1 x k1 and squeeze into (x x k1 kn ) n N right after x kn1. Then proceed inductively to choose N m N for m 2 such that m 1 ( ) N m sl + x kl + l=1 n=n m 1 x kn + x km m and squeeze x km right after x knm. In this fashion we obtain a rearrangement of the original series which diverges as well. Theorem Let x k be a conditionally convergent series and x R. Then there exists a permutation π of the naturals such that x π(k) = x. Thus a conditionally convergent series can be made to converge to any limit by rearranging it. Proof. (i) Consider the two subsequences (x + k ) k N and (x k ) k N comprising the positive and negative terms of (x k ) k N, respectively. Then necessarily either x + k = or x k = since, otherwise, the series would converge absolutely. (ii) Next we put together a new series recusively as follows. First find N ± 1

7 7.2. NUMERICAL SERIES AND SEQUENCES 99 such that N + 1 N 1 and then, for m 2, := inf { N s + 1 := N x+ k > x }, := inf { N N s } < x, x k }{{} =:s 1 N m N m + := inf { N s m 1 + x + } k > x, k=n + m 1 }{{ +1 } N m := inf { N s + m + s + m N m x k < x }, k=n m 1 } {{ } s m (iii) Finally we observe that follows from s m x and s + m x (m ) x s + m x N + m and x s m x N m m N combined with remark 7.2.5(a) Summation by Parts Motivation. As the name says, summation by parts will have something to do with integration by parts. Since an integral is a limit of sums and a series can be viewed as an integration, the two can be viewed as one and the same thing. This can actually be made precise but we won t do it. Instead we shall see that integration by parts provides a simple trick to investigate the convergence of conditionally convergent series. Let B n = n b k, a n = A n+1 A n for (b n ) n N, (A n ) n N C N,

8 100 CHAPTER 7. FUNCTION SEQUENCES AND SERIES then the idea lies in the simple observation that m a n B n = a 1 B a m B m = (A 2 A 1 )b 1 + (A 3 A 2 )(b 1 + b 2 ) (A m+1 A m )(b 1 + b b m ) = b 1 (A 2 A 1 + A 3 A A m+1 A m )+ b 2 (A 3 A A m+1 A m ) + + b m (A m+1 A m ) = b 1 (A m+1 A 1 ) + b 2 (A m+1 A 2 ) + + b m (A m+1 A m ) m = b n A n + B m A m+1. (7.2.3) Example Consider the series b n = ( 1) n for n N we obtain a n = 1 n n = 1 n(n + 1), B n = ( 1) n n. Defining A n = 1 n and { 0, n is even, 1, n is odd Since A n+1 B n 1 n 0 (n ) we finally get that since 1 (2n 1)2n 1 n 2 <. ( 1) n n. converges Theorem Let (A n ) n N be a decreasing sequence of positive numbers converging to zero. (i) Then ( 1) n A n converges. (ii) Let (b n ) n N be given and let B n := n b k with B n M for all n N and some M > 0. Then A n b n converges. Proof. (ii) Defining a n = A n+1 A n we obtain that a n 0 and that m a n = (A 2 A 1 ) (A 3 A 2 ) (A m+1 A m ) = A 1 A m+1 A 1 (m ),

9 7.3. UNIFORM CONVERGENCE 101 which makes m a n absolutely convergent. Now, multiplying by B n term by term, we arrive at l a n B n M n=k l a n 0 (k, l ) n=k which, by Cauchy s criterion, implies absolute convergence of ln=k a nb n. Next A n+1 B n M A n+1 0 (n ) together with (7.2.3) implies the convergence of ln=k A nb n as desired. (i) Just take b n = ( 1) n in (ii). 7.3 Uniform Convergence A function can be thought of as a very long vector with uncountably many components, aka the values it assumes. If we are to introduce a concept of convergence for function sequences we will have to bear that in mind. In particular we should specify if we would like all components to converge at the same rate, or if we would rather allow each component to get there at its own pace. These two requirements lead to two different concepts of convergence for function sequences. They both have a raison d être and are both useful in a variety of applications Uniform Limits and Continuity Definition (Pointwise and Uniform Convergence) Given a sequence of real- or complex-values functions (f n ) n N defined on some domain D R we say that it (i) converges pointwise to f : D R iff x D ε > 0 N N such that f (x) f n (x) ε n N. (ii) converges uniformly to f : D R iff ε > 0 N N such that f (x) f n (x) ε, n N, x D. (iii) converges locally uniformly to f : D R iff there is a neighborhood about each point in which the convergence is uniform. What does N depend on in the first case? In the second? And in the last?

10 102 CHAPTER 7. FUNCTION SEQUENCES AND SERIES Example Consider the sequence of functions (f n ) n N given by f n (x) := x n, x [0, 1), n N. It converges to the zero function pointwise, but not uniformly! Explain why. Remarks (a) A more suggestive way to visualize uniform continuity is by the use of the so-called supremum norm f n f (n ) uniformly iff ε > 0 N N with f f n := sup f (x) f n (x) ε, n N. x D In the example sup x [0,1) x n 0 = 1 n N and therefore no uniform convergence is possible. (b) Pointwise convergence is very weak. In fact many properties shared by a whole sequence often go lost in the limit. Consider the sequence (f n ) n N given by 0, x [ 1, 0] f n (x) := nx, x (0, 1 n ), n N 1, x [ 1 n, 1] Then, f n converges to f, where f (x) := Notice that [ 1, 1] is compact and that { 0, x [ 1, 0], 1 x (0, 1]. f f n = 1 n N. Theorem (Cauchy Criterion) A sequence of functions (f n ) n N converges uniformly iff ε > 0 N N such that f n f m ε m, n N. Proof. = : By uniform convergence, there is a limit function f such that, for any given ε > 0, for some N N and therefore f f n ε 2 n N f m f n f m f + f f n ε m, n N.

11 7.3. UNIFORM CONVERGENCE 103 = : For ε > 0 choose N N such that Then f n f m ε m, n N. f n (x) f m (x) ε x D, m, n N. Thus ( f n (x) ) is a Cauchy sequence in C for each x D. Since C is n N complete, it therefore has a limit for each x D, call it f (x). This defines a function f on D for which f n (x) f m (x) f n f m ε x D, m, n N. Letting m take off to infinity we therefore finally obtain f n (x) f (x) ε x D, n N which is the desired uniform convergence. Theorem f n C(D, C), n N f n f 0 (n ) Proof. Fix x 0 D. For ε > 0 find N N such that and δ > 0 such that } f n f ε 3 n N, = f C(D, C). f N (x) f N (x 0 ) ε 3 x D with x x 0 δ. Both are possible by assumption. Then f (x) f (x 0 ) f (x) f N (x) + f N (x) f N (x 0 ) + f N (x 0 ) f (x 0 ) ε 3 + ε 3 + ε 3 = ε x D with x x 0 δ and continuity at x 0 is proven. The claim follows since x 0 was arbitrary. Remarks (a) Example shows that pointwise convergence is not enough to preserve continuity in the limit. (b) Uniform continuity is also preserved. In fact f n BUC(D, C), n N f n f 0 (n ) } = f BUC(D, C).

12 104 CHAPTER 7. FUNCTION SEQUENCES AND SERIES Integration and Differentiation of Limits Remark We observe here that the Riemann integrability of a function f B([a, b], K) is equivalent to the validity of one of the following conditions: (i) ε > 0 δ > 0 s.t. S f (P ) S f ( P ) ε P, P P ( [a, b] ) with (P ), ( P ) δ (ii) I K s.t. ε > 0 δ > 0 s.t. S f (P ) I ε P P ( [a, b] ) with (P ) δ We leave the proof as an exercise. It can be based on theorem Theorem f n R(a, b; C), n N f n f 0 (n ) } = { f R(a, b; C), lim n b a f n(x) dx = b a f (x) dx. Proof. (i) Given ε > 0, we can find N N such that It follows that S(f n, P) S(f, P) = f n f ε 3(b a). n [f n (y k ) f (y k )](x k x k 1 ) n f n (y k ) f (y k ) (x k x k 1 ) ε 3(b a) n (x k x k 1 ) ε 3 for any partition P of [a, b]. By assumption we can find δ > 0 with S(f N, P) S(f N, P) ε 3, whenever (P), ( P) δ. Finally we obtain that S(f, P) S(f, P) S(f, P) S(f N, P) + S(f N, P) S(f N, P) + S(f N, P) S(f, P) ε. (ii) Now that we know that f is integrable we can find δ > 0 with S(f, P) b a f (x) dx ε when (P) δ. 3

13 7.3. UNIFORM CONVERGENCE 105 Then S(f n, P) and there is δ n > 0 such that S(f n, P) b b Putting everything together we obtain b a f (x) dx b a a a f n (x) dx and the proof is finished. f (x) dx 2ε 3 n N f n (x) dx ε 3 if (P) δ n. b a f (x) dx S(f n, P) + S(f n, P) b a f n (x) dx ε n N We can also ask the question as to what conditions need to be satisfied for a sequence of differentiable functions to preserve that property in the limit. Example Uniform convergence is not enough! In fact, consider the sequence (f n ) n N given through f n (x) := x 2 + 1, x [ 1, 1]. n2 Then f n converges to uniformly, but the absolute value function is not differentiable in the origin. Theorem Let a sequence (f n ) n N be given such that f n C 1( (a, b), R ) for n N. Assume that f n f (n ) pointwise f n g (n ) uniformly } = f C 1( (a, b), R ) and f = g. Proof. Let x 0 (a, b). Then by theorem we have that f n (x) = f n (x 0 ) + x x 0 f n(x) dx, x (a, b).

14 106 CHAPTER 7. FUNCTION SEQUENCES AND SERIES Letting n, we obtain f(x) = f(x 0 ) + x x 0 g(x) dx, x (a, b) by the assumptions and theorem Moreover g is continuous by theorem and therefore f C 1( (a, b), R ) and f (x) = g(x), x (a, b). Remarks (a) Convergence at one single point for f n together with uniform convergence of the sequence of derivatives would suffice. (b) Local uniform convergence for f n would be enough as well. (c) Uniform convergence of f n is not enough Unrestricted Convergence Next we give another characterization of uniform convergence (on compact subsets). Theorem Let D R be compact and (f n ) n N C(D, R) N. Then f n (x n ) f(x) (x n ) n N D N s.t. x n x (n ) f n f 0 (n ). Proof. = : Let a sequence (x n ) n N be given which converges to x D. Then, given ε > 0 we find δ > 0 and then N N such that f(y) f(x) ε 2 if y x δ and x n x δ, f n f ε 2 n N. Then f n (x n ) f(x) f n (x n ) f(x n ) + f(x n ) f(x) ε 2 + ε 2 = ε n N. = : Define the set A m,n := { x D fn (x) f(x) 1 m n N}. Then uniform convergence amounts to m N N(m) s.t. A m,n(m) = D.

15 7.4. POWER SERIES 107 We now claim that x D m N N N s.t. A m,n U(x). Assume that this is not the case. Then we can find x D and m N as well as a sequence (x N ) N N in D with x N x as N, but x N / A m,n. It then follows that k(n) N s.t. f k(n) (x N ) f(x) > 1 m. Next define the sequence (y n ) n N by { x N, k = k(n), y k := x, otherwise. Now y k x as k, but infinitely many y k s satisfy satisfy f k (y k ) f(x) > 1 m. contradicting the assumed convergence. Finally, for any m N given, x D N x N s.t. x A m,nx. Now since D x D Am,Nx, compactness of D implies the existence of a finite subcover, or that D j=1,...,n Am,Nxj which gives D A m,maxj (N xj ) = j=1,...,n Am,Nxj. 7.4 Power Series We have already talked about local approximation of functions by polynomials when we introduced the Taylor polynomial of differentiable functions. If a function turns out to possess infinitely many derivatives we can increase the degree of the Taylor polynomial more and more. In the limit we would get a series like a n (x x 0 ) n, (a n ) n N K N,

16 108 CHAPTER 7. FUNCTION SEQUENCES AND SERIES which is called power series centered at x 0 for obvious reasons. Here we used the notation K := R, C. When Taylor developing a smooth function we would of course have a n = f (n) (x 0 ). n! Eventhough it is easy to write down a power series or the Taylor expansion of a smooth functions, what really matters is their convergence! So the central question are: How can we assess the convergence of a power series? What kind of convergence can be expected? Radius of Convergence We first observe that by simple translation we can assume, without loss of generality, that the power series is centered at x 0 = 0. This corresponds to the intuitive observation the convergence will have something to do with the distance from the center but not with its location. Remark Convergence of a power series can be limited to its center as the example (nx) n shows. Definition (Radius of Convergence) The radius of convergence ρ 0 of a given power series a n(x x 0 ) n is defined by ρ = sup { x x 0 [0, ) a n (x x 0 ) n converges }. Remarks (a) A power series converges uniformly and absolutely strictly within its radius of convergence. In other words, convergence is uniform and absolut in [x 0 ρ + ε, x 0 + ρ ε] for any ρ > ε > 0. It therefore represents a contiunuous function on (x 0 ρ, x 0 + ρ). Why? To prove the claimed convergence, observe that for x x 0 ρ ε the following estimate holds N ( x x0 ) n(ρ a n ε/2) n ρ ε/2 N M ( x x0 ) n ρ ε/2 N ( ρ ε ) n M <. ρ ε/2

17 7.4. POWER SERIES 109 Notice that we have used the fact that a n (ρ ε/2) n M n N for some M > 0 since the associated series a n(ρ ε/2) n converges. (b) At x = x 0 ± ρ anything can happen as the following examples show x n diverges at x = ±1, Lemma x n n nx n diverges at x = ±1, diverges at x = 1 and converges at x = 1, x n converges at x = ±1. n2 lim M 1/n = 1, M > 0. n Proof. It is clear that 1 n log M 0 (n ), then continuity of the exponential function implies that and we are done. e 1 n log M = M 1/n 1 (n ) Theorem The radius of convergence of a power series a nx n is given by 1 ρ = lim sup n a n 1/n Proof. The idea of the proof is to compare the series ( an 1/n x ) n to the geometric series. (i) First we prove that lim sup a n 1/n 1 n ρ. This is obviously true if ρ = 0. Assume then that ρ > 0 and take r (0, ρ). It follows that a n x n M n N for some M > 0 and x r. Thus we get a n 1/n M 1/n n N. r

18 110 CHAPTER 7. FUNCTION SEQUENCES AND SERIES It follows that lim sup a n 1/n 1 n r lim sup M 1/n = 1 n r. (ii) Let now 1 ρ 0 := lim sup n a n 1/n. If we can show convergence of the series for x < ρ 0, then ρ ρ 0, which would conclude the proof. Let r < ρ 0 and pick ρ 1 (r, ρ 0 ), then lim sup a n 1/n < 1 n ρ 1 and, consequently, we can find k N s.t. a n 1/n 1 ρ 1 n k. Finally this gives a n x n ( r ρ 1 ) n for x r and n k and, finally, a n x n ( r ) n < ρ 1 n k n k implies the desired convergence. Examples (a) Let p, q be polynomial functions such that q(n) 0 n N and define a n := p(n) q(n). Then ρ = 1. Proof. Itis enough to show that lim n p(n) 1/n = 1 for any nonzero polynomial p. For n large we find constants M, M > 0 such that Mn k p(n) Mn k and it is therefore enough to show ( lim Mn k ) 1/n n

19 7.4. POWER SERIES 111 for M > 0, which follows from 1 n log(mnk ) = 1 n log M + k log n 0 (n ) n and the continuity of the exponential function. (b) The series xn n! has radius of convergence ρ =. To see this we need to show lim n ( 1 n!) 1/n = 0. For any m N we have that n! m n m if n m and, consequently, (n!) 1/n m m m/n if n m. Finally it follows that and the proof is finished. lim inf n (n!)1/n m m N Theorem Let ρ > 0 be the radius of convergence of a nx n. Define f(x) := a n x n, x ( ρ, ρ). Then Then, it follows that f C 1( ( ρ, ρ), K ) and f (x) = f C ( ( ρ, ρ), K ) and f (k) (x) = na n x n 1. n(n 1)... (n k + 1)a n x n k. n=k Proof. Define f n (x) = a n x n, then, obviously f n C 1( ( ρ, ρ), K ) and f n converges uniformly in ( r, r) for any r (0, ρ). What about f n? Since na nx n 1 = (n+1)a n+1x n we see that its radius of convergence is given by 1 ( 1/n ρ = lim sup (n + 1) a n+1 ) = lim sup a n+1 1/n = 1 n n ρ

20 112 CHAPTER 7. FUNCTION SEQUENCES AND SERIES whrere the last equality follows from example 7.4.6(a). Thus f n converges uniformly in ( r, r) as well and therefore f C 1( ( r, r), K ) r (0, ρ) which amount to the claim. The argument can then be iterated to cover all derivatives. Remark The above proof shows that a power series can be differentiated term-by-term within its domain of convergence and that the resulting power series for the derivative has the same radius of convergence as the original series. Warning. It has to be pointed out that NOT ALL C -functions can be represented by power series! In fact the non-zero function { e 1/x2, x R \ {0}, f(x) = 0, x = 0, has a vanishing power series expansion in x 0 = 0. Definition (Analytic Functions) Any function f : D R K is called analytic if it has a power series expansion about every point in its domain D. We also define C ω (D, K) := { f : D K f is analytic }. Proposition (Identity) Let a n x n b n x n and let both series have the same radius of convergence ρ > 0. Then a n = b n n N. Proof. Let x < r < ρ, then the both series define the same function there f(x) = a n x n = b n x n. It follows that a n = f (n) (0) n! = b n for any n N.

21 7.4. POWER SERIES Analytic Continuation Consider a power series a nx n with radius of convergence ρ > 0. Take x 0 with x 0 (0, ρ). What is the power series b n(x x 0 ) n representation about x 0 of a nx n and what is its radius of convergence? Theorem If a n(x x 0 ) n is convergent in [ x x 0 < ρ] and defines a function f there, then f also has a power series expansion about each x 1 (x 0 ρ, x 0 +ρ) which converges in the largest interval (x 1 r, x 1 +r) still contained in (x 0 ρ, x 0 + ρ). Proof. Without loss of generality take x 0 = 0 and x 1 = x 0. Write x = (x x 0 ) + x 0 which then gives Moreover m a n x n = x n = [ (x x 0 ) + x 0 ] n = m a n n k=0 n k=0 ( ) n (x x k 0 ) k x0 n k = Letting m we expect to have and b k = ( ) n a n x n k k 0 = n=k f(x) = ( ) n (x x k 0 ) k x0 n k. m ( m ( ) n ) a n x n k k 0 (x x 0 ) k. k=0 n=k b n (x x 0 ) n. ( ) n + k a n+k x n 0 k Now the b k s are given by a power series with convergence radius ρ since ( ) n + k (n + k)! = = 1 (n + k)(n + k 1) (n + 1) k n!k! k! ( ) 1/n n + k and therefore lim n = 1. It follows that k b k = ( ) n + k a n+k x n 0 k

22 114 CHAPTER 7. FUNCTION SEQUENCES AND SERIES is well-defined for any x 0 ( ρ, ρ). We still have to show that f(x) = b n (x x 0 ) n for x x 0 < R x 0. To that end observe that k=0 n ( ) n a n k (x x 0 ) k x n k 0 k=0 n a n ( ) n x x k 0 k x 0 n k = a n ( x x 0 + x 0 ) n = a n r n < which gives absolute convergence. Furthermore f(x) = a n x n = k=0 n ( n a n k which converges in x x 0 < ρ x 0. ) (x x 0 ) k x n k 0 = k=0 n=k ( ( ) n ) a n x n k k 0 (x x 0 ) k Remarks (a) The previous theorem shows that power series define functions which are analytic within the domain of covergence of the series. (b) Convergence could hold in a larger interval than we proved in the theorem. Consider 1 1 x = x n where the power series has radius convergence ρ = 1. For x 0 ( 1, 1) we compute b n = f (n) (x 0 ) n! or 1 1 x = 1 1 x 0 + (x x 0 ) = x 0 1 x x 0 = 1 1 x 0 1 x 0 (x x 0 ) n = (1 x 0 ) n 1 (x x 0 ) n 1 x 0

23 7.4. POWER SERIES 115 where to ensure convergence of the series we need to assume that x x 0 1 x 0 < 1. Now, this is what the theorem predicts for x 0 (0, 1), but, if x 0 ( 1, 0), we get the larger interval [ x x 0 < 1 x 0 ] = (2x 0 1, 1) Analytic Functions on Complex Domains Motivation. Next we would like to extend real functions to the complex plane. Since C is itself a field, we can certainly easily do so for polynomials. In general, however, given f : R K, is is not clear how to define an extension f : C K in natural way. The zero function could be extended by f(x + iy) := y, x, y R, for instance. For power series it seems natural to extend f(x) = a n x n by simply allowing x to become complex This is justified since M n=m f(z) = a n z n. a n z n M a n z n ε m, M N ε n=m for z < ρ and some N ε by absolute convergence of the real series with the radius of convergence ρ > 0 implies convegence in C by Cauchy s criterion. Remarks (a) It follows that analytic functions can locally be extended to the complex plane. (b) The function f(x) = x can be extended to 1 z to [ z < 1] by observing that the series zn actually converges for all z < 1. (c) The function f(x) = 1 is analytic and can be locally extended to by 1+x 2 its power series expansion. Take for instance the origin as center, then z 2 = ( 1) n z 2n, z < 1. Observe that this function has no singularities along the real line but has poles at z = ±i. They clearly seem to have something to do with the size of the radius of convergence.

24 116 CHAPTER 7. FUNCTION SEQUENCES AND SERIES Theorem (Elementary Properties) Let { a n(x x 0 ) n =: f(x), b n(x x 0 ) n =: g(x), both converge for x x 0 < ρ. Then f ± g, f g and f g all possess a power series expansion about x 0 as well provided g(x 0 ) 0 for the quotient. In the first two cases the radius of convergence remains unchanged, whereas in the third it might shrink. Theorem (Composition) Let { a n(x x 0 ) n =: f(x), b n(x x 1 ) n =: g(x), converge in [ x x j < ρ j ], j = 0, 1 and assume that x 1 = f(x 0 ). Then g f has a convergent power series expansion in a neighborhood of x 0 obtained by rearranging ( ) n b n a k (x x 0 ) k x 1. k=0 Why does rerranging not create troubles? 7.5 Approximation by Polynomials Motivation. Functions are many and can show wildly different behaviors. Among them we find functions which are simpler to describe and/or understand than others. Functions which are arguably quite simple are polynomial functions. It is therefore natural to ask how well and in which sense a general function can be approximated by polynomials. We have seen that analytic functions can be locally represented by power series, which in turn, implies that they can be approximated locally uniformly by polynomials. But what about more general, less regular functions? Lagrange Interpolation Definition Given n arguments x 1,..., x n R and n values y 1,..., y n K,

25 7.5. APPROXIMATION BY POLYNOMIALS 117 the associated Lagrange polynomial is given by where Q k is defined by n y k Q k Q k (x) = q k(x) q k (x k ), q k(x) := Π j k (x x j ), k = 1,..., n. Notice that Q k (x j ) = δ jk. Even though Lagrange interpolation represents a viable way of approximating functions by interpolating between their values as described in the definition above, it provides no direct control on the behavior of the approximating polynomial in betweeb interpolation points. We therefore use another method based on convolutions which has a much wider range of applications Convolutions and Mollifiers Definitions (i) Given f C(R, K), its support supp f is defined by We also define supp f := {x R f(x) 0}. C c (R, K) := { f C(R, K) f has compact support }. (ii) Given f, g C c (R, K) we defined their convolution f g by ( ) f g (x) := f(x y)g(y) dy, x R. Remarks (a) ( f g ) (x) = ( g f ) (x), x R, f, g C c (R, K). (b) ( (f g) h ) (x) = ( f (g h) ) (x), x R, f, g, h C c (R, K). (c) f C c (R, K), p R[x] = p f R[x].

26 118 CHAPTER 7. FUNCTION SEQUENCES AND SERIES Proof. Let p(x) = n k=0 a kx k, x R, and consider ( ) p f (x) = p(x y)f(y) dy = n k a k k=0 j=0 = f(y) n a k (x y) k = k=0 ( ) k x j ( y) k j f(y) dy j n [ n ( ) ( 1) k j k a k j j=0 k=j which shows that the convolution is indeed a polynomial. y k j f(y) dy Definition (Approximation of the identity) A sequence of functions (g n ) n N is called approximation of the identity if the following conditions are satisfied (i) 0 g n C(R, R). (ii) g n(x) dx = 1. (iii) lim n g n (x) dx = 0 for every m N. x 1 m Lemma Let (g n ) n N be an approximation of the identity and f C c (R, K). Then f g n f = sup ( ) f g n (x) f(x) 0 (n ). x R Proof. First observe that ( ) f gn (x) f(x) = f(y)g n (x y) dy f(x) = R g n (y) [ f(x y) f(x) ] dy = g n (y) [ f(x y) f(x) ] dy R + [ y 1/n] [ y 1/n] Then, given ε > 0, N ε and M ε can be found such that [ y 1/n] g n (y) dy ε 4 f n N ε ] x j g n (y) [ f(x y) f(x) ] dy. and f(x y) f(x) ε 2 y R s.t. y 1 M ε.

27 7.5. APPROXIMATION BY POLYNOMIALS 119 We observe that M ε does not depend on x since f is uniformly continuous (why?). Combining the following two inequalities [ y 1/n] we obtain g n (y) [ f(x y) f(x) ] dy 2 f [ y 1/n] [ y 1/n] g n (y) dy ε 2 n N ε, g n (y) [ f(x y) f(x) ] dy ε 2 [ y 1/n] g n (y) dy ε 2 n M ε, ( f g n ) (x) f(x) ε x R n max(mε, N ε ) and the proof is finished Weierstrass Approximation Theorem Next we are going to use an approximation of the identity to prove that any continuous map on a compact interval can approximated arbitrarily well by a polynomial. Theorem Let < a < b < and f C ( [a, b], K ). Then there exists a sequence of polynomials (p n ) n N such that f p n 0 (n ). Proof. We want to use an approximation of the identity but, to do so, we need to resolve two issues: 1. f is not defined on the whole real line. 2. We need an approximation of the identity by polynomials to exploit remark 7.5.3(c). Let us resolve 1. first. By substituting f by f = f (Ax + B), we can assume w.l.o.g. that f(a) = f(b) = 0. In fact, if we can approximate f by a polynomial p, then p + Ax + B approximates f. We can therefore extend the function f by zero to the whole real line, if needed. For 2. remember that we only need an approximation on [a, b]. To compute f g(x) = b a f(y)g(x y) dy

28 120 CHAPTER 7. FUNCTION SEQUENCES AND SERIES for x [a, b] we only need values of g on [x b, x a]. Thus we only need values of g on [a b, b a] to get the convolution f g on [a, b]. So let us construct an approximation of the identity as follows. First define { (1 x 2 ) n, x < 1, g n (x) := 0, x 1, and then compute the normalizing constant c n := 1 1 g n (x) dx in order to set g = gn c n and obtain R g n(x) dx = 1 for n N. Let us next get a bound for c n. Observe that { pn (0) = q n (0), implies that It follows that p n(x) = 2nx < 2xn(1 x 2 ) n 1 = q n(x), x 1 n, p n (x) = 1 nx 2 (1 x 2 ) n = q n (x), x 1 n. 1 1 (1 x 2 ) n dx 1/2 n 1/2 n and therefore c n 4 3 n. Now we have g n 0, R (1 nx 2 ) dx 3 4 n g n (x) dx = 1. To obtain an approximation of the identity we only need make sure that g n (x) dx 0 (n ), x 1 m which would follow from the uniform convergence of g n 0 on x 1 m. To prove the latter, observe that 0 g n (x) c(1 1 m 2 )n n x 1 m

29 7.6. EQUICONTINUITY 121 and that (1 1 m 2 )n n 0 (n ). Finally f g n f uniformly on [a, b] since g n is an approximation of the identity and f g n is a polynomial on [a, b]. Corollary Let f C ( [0, 1] ) and assume that 1 0 xn f(x) dx = 0 for every n N. Then f 0. Proof. Take a sequence of polynomials (p n ) n N such that p n f (n ) uniformly on [0, 1], then 0 = 1 0 p n (x)f(x) dx and f must vanish identically. 7.6 Equicontinuity 1 0 f(x) 2 dx (n ) Motivation. We are already familiar with the concept of compactness. We know for instance that sequences in compact sets have to have convergent subsequences. If we are given a sequence of continuous functions we might be interested in establishing its uniform convergence or that of a subsequence. The general concept of compactness can be used within the space of continuous functions but it would be really handy to have a more concrete characterization of compactness than the one given by the definition or the one that states that every open cover has a finite subcover. Such a characterization is precisely the main goal of this section. Example The function sequence (f n ) n N in C ( [0, 1] ) defined by f n (x) := n shows that we need some boundedness, that is f n (x) M x [0, 1] n N ( or, equivalently, sup f M). n N But, in contrast to sequences of reals, this is not enough as the example shows. f n (x) := sin(nπx), x [0, 1],

30 122 CHAPTER 7. FUNCTION SEQUENCES AND SERIES Let us try to figure out what possible additional condition needs to be satisfied by looking at a convergent sequence. Assume that (f n ) n N is a uniformly convergent sequence of continuous functions defined on [0, 1]. Then ε > 0 N(ε) s.t. f n f ε/3 n N(ε), and, by continuity of the limiting function, we find δ(ε) such that f (x) f (y) ε/3 x, y [0, 1] with x y δ(ε). Making combined use of these two inequalities we arrive at f n (x) f n (y) f n (x) f (x) + f (x) f (y) + f (y) f n (y) ε x, y [0, 1] with x y δ(ε) n N(ε). On the other hand, for k = 1,..., N(ε) 1, we can find δ k (ε) > 0 such that f k (x) f k (y) ε x, y [0, 1] with x y δ k (ε). Finally this gives that ε > 0 δ(ε) ( = min( δ(ε), δ 1 (ε),..., δ N(ε) 1 (ε)) ) > 0 s.t. f n (x) f n (y) ε x, y [0, 1] with x y δ(ε) n N. In other words all functions are continuous in the same way : They are equicontinuous. Definition (Equicontinuity) A set of functions A C(D, K) is called uniformly equicontinuous iff ε > 0 δ > 0 s.t. f(x) f(y) ε x, y D with x y δ, f A. Theorem (Arzéla-Ascoli) Let (f n ) n N C ( [a, b] ) N for a < b R be uniformly bounded and uniformly equicontinuous. Then (f n ) n N has a uniformly convergent subsequence, that is, there exists f C ( [a, b] ) and a subsequence of indices (n k ) k N with f nk f (k ) uniformly.

31 7.6. EQUICONTINUITY 123 Proof. The proof uses two main ingredients. Boundedness allows to construct a subsequence which converges on a dense countable subset. Equicontinuity makes it possible to show that the convergence occurs everywhere and is uniform. Step 1: Let {x k k N} be a dense subset of [a, b]. For fixed k N the sequence ( f n (x k ) ) is bounded. In particular, by Problem 10 of Chapter n N 2, there exists a subsequence of indices (n 1 j ) j N such that f n 1 j (x 1 ) f (x 1 ) (j ) for some f (x 1 ) R. Then there exists a further subsequece (n 2 j ) j N of (n 1 j ) j N such that f n i j (x i ) f (x i ) (j ), i = 1, 2, for some f (x 2 ) R. Step by step we construct a subsequence (n k j ) j N of (n k 1 j ) j N such that f n i j (x i ) f (x i ) (j ), i = 1, 2,..., k, for some f (x k ) R. Eventually taking the diagonal (n k k ) k N we obtain that f n k k (x i ) f (x i ) (k ), i N. Step 2: By theorem uniform convergence would follow if we had ε > 0 M s.t. f n k k f n l l ε k, l M. Let ε > 0, then we can find δ > 0 and N N such that f j (x) f j (y) ε/3 x, y [a, b] with x y δ, j N Then f n j j (x) f n l l (x) f n j j and x [a, b] k = k(x) N with x x k(x) δ. (x) f n j j (x k(x) ) + f n j(x k(x) ) f j n l(x l k(x) ) + f n l(x l k(x) ) f n l(x) l 2 3 ε + f n j j(x k(x) ) f n l l (x k(x) ) ε n j j, nl l M for an M N which exists by Step 1 and the fact that {k(x) x [a, b]} contains less than N indices, thus only finitely many.

32 124 CHAPTER 7. FUNCTION SEQUENCES AND SERIES Corollary Let (f n ) n N C ( [a, b] ) N for a < b R be such that f k (x) M, f k (x) M x [a, b] k N, for some M > 0. Then (f n ) n N has a uniformly convergent subsequence, that is, there exist f C ( [a, b] ) and (n k ) k N such that f nk f 0 (n ). Proof. Since boundedness is assumed, we need only prove equicontinuity. The estimate readily implies it. f n (x) f n (y) 7.7 Problems x y f n(ξ) dξ M x y n N

1 if 1 x 0 1 if 0 x 1

1 if 1 x 0 1 if 0 x 1 Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

More information

Notes on metric spaces

Notes on metric spaces Notes on metric spaces 1 Introduction The purpose of these notes is to quickly review some of the basic concepts from Real Analysis, Metric Spaces and some related results that will be used in this course.

More information

Metric Spaces. Chapter 7. 7.1. Metrics

Metric Spaces. Chapter 7. 7.1. Metrics Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some

More information

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights

More information

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,

More information

MATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform

MATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform MATH 433/533, Fourier Analysis Section 11, The Discrete Fourier Transform Now, instead of considering functions defined on a continuous domain, like the interval [, 1) or the whole real line R, we wish

More information

Mathematical Methods of Engineering Analysis

Mathematical Methods of Engineering Analysis Mathematical Methods of Engineering Analysis Erhan Çinlar Robert J. Vanderbei February 2, 2000 Contents Sets and Functions 1 1 Sets................................... 1 Subsets.............................

More information

1. Prove that the empty set is a subset of every set.

1. Prove that the empty set is a subset of every set. 1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since

More information

Math 4310 Handout - Quotient Vector Spaces

Math 4310 Handout - Quotient Vector Spaces Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable

More information

BANACH AND HILBERT SPACE REVIEW

BANACH AND HILBERT SPACE REVIEW BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but

More information

Taylor and Maclaurin Series

Taylor and Maclaurin Series Taylor and Maclaurin Series In the preceding section we were able to find power series representations for a certain restricted class of functions. Here we investigate more general problems: Which functions

More information

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS Systems of Equations and Matrices Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a

More information

Practice with Proofs

Practice with Proofs Practice with Proofs October 6, 2014 Recall the following Definition 0.1. A function f is increasing if for every x, y in the domain of f, x < y = f(x) < f(y) 1. Prove that h(x) = x 3 is increasing, using

More information

Metric Spaces Joseph Muscat 2003 (Last revised May 2009)

Metric Spaces Joseph Muscat 2003 (Last revised May 2009) 1 Distance J Muscat 1 Metric Spaces Joseph Muscat 2003 (Last revised May 2009) (A revised and expanded version of these notes are now published by Springer.) 1 Distance A metric space can be thought of

More information

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES Contents 1. Random variables and measurable functions 2. Cumulative distribution functions 3. Discrete

More information

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS 1. SYSTEMS OF EQUATIONS AND MATRICES 1.1. Representation of a linear system. The general system of m equations in n unknowns can be written a 11 x 1 + a 12 x 2 +

More information

No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results

More information

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

More information

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied

More information

Lectures 5-6: Taylor Series

Lectures 5-6: Taylor Series Math 1d Instructor: Padraic Bartlett Lectures 5-: Taylor Series Weeks 5- Caltech 213 1 Taylor Polynomials and Series As we saw in week 4, power series are remarkably nice objects to work with. In particular,

More information

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

How To Prove The Dirichlet Unit Theorem

How To Prove The Dirichlet Unit Theorem Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

More information

Inner Product Spaces

Inner Product Spaces Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and

More information

9 More on differentiation

9 More on differentiation Tel Aviv University, 2013 Measure and category 75 9 More on differentiation 9a Finite Taylor expansion............... 75 9b Continuous and nowhere differentiable..... 78 9c Differentiable and nowhere monotone......

More information

6. Define log(z) so that π < I log(z) π. Discuss the identities e log(z) = z and log(e w ) = w.

6. Define log(z) so that π < I log(z) π. Discuss the identities e log(z) = z and log(e w ) = w. hapter omplex integration. omplex number quiz. Simplify 3+4i. 2. Simplify 3+4i. 3. Find the cube roots of. 4. Here are some identities for complex conjugate. Which ones need correction? z + w = z + w,

More information

Representation of functions as power series

Representation of functions as power series Representation of functions as power series Dr. Philippe B. Laval Kennesaw State University November 9, 008 Abstract This document is a summary of the theory and techniques used to represent functions

More information

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

More information

n k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n + 1 +...

n k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n + 1 +... 6 Series We call a normed space (X, ) a Banach space provided that every Cauchy sequence (x n ) in X converges. For example, R with the norm = is an example of Banach space. Now let (x n ) be a sequence

More information

x a x 2 (1 + x 2 ) n.

x a x 2 (1 + x 2 ) n. Limits and continuity Suppose that we have a function f : R R. Let a R. We say that f(x) tends to the limit l as x tends to a; lim f(x) = l ; x a if, given any real number ɛ > 0, there exists a real number

More information

0 <β 1 let u(x) u(y) kuk u := sup u(x) and [u] β := sup

0 <β 1 let u(x) u(y) kuk u := sup u(x) and [u] β := sup 456 BRUCE K. DRIVER 24. Hölder Spaces Notation 24.1. Let Ω be an open subset of R d,bc(ω) and BC( Ω) be the bounded continuous functions on Ω and Ω respectively. By identifying f BC( Ω) with f Ω BC(Ω),

More information

A power series about x = a is the series of the form

A power series about x = a is the series of the form POWER SERIES AND THE USES OF POWER SERIES Elizabeth Wood Now we are finally going to start working with a topic that uses all of the information from the previous topics. The topic that we are going to

More information

MOP 2007 Black Group Integer Polynomials Yufei Zhao. Integer Polynomials. June 29, 2007 Yufei Zhao yufeiz@mit.edu

MOP 2007 Black Group Integer Polynomials Yufei Zhao. Integer Polynomials. June 29, 2007 Yufei Zhao yufeiz@mit.edu Integer Polynomials June 9, 007 Yufei Zhao yufeiz@mit.edu We will use Z[x] to denote the ring of polynomials with integer coefficients. We begin by summarizing some of the common approaches used in dealing

More information

3. Mathematical Induction

3. Mathematical Induction 3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)

More information

Metric Spaces. Chapter 1

Metric Spaces. Chapter 1 Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence

More information

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1. MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column

More information

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

More information

THE BANACH CONTRACTION PRINCIPLE. Contents

THE BANACH CONTRACTION PRINCIPLE. Contents THE BANACH CONTRACTION PRINCIPLE ALEX PONIECKI Abstract. This paper will study contractions of metric spaces. To do this, we will mainly use tools from topology. We will give some examples of contractions,

More information

MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

More information

PROBLEM SET 6: POLYNOMIALS

PROBLEM SET 6: POLYNOMIALS PROBLEM SET 6: POLYNOMIALS 1. introduction In this problem set we will consider polynomials with coefficients in K, where K is the real numbers R, the complex numbers C, the rational numbers Q or any other

More information

DIFFERENTIABILITY OF COMPLEX FUNCTIONS. Contents

DIFFERENTIABILITY OF COMPLEX FUNCTIONS. Contents DIFFERENTIABILITY OF COMPLEX FUNCTIONS Contents 1. Limit definition of a derivative 1 2. Holomorphic functions, the Cauchy-Riemann equations 3 3. Differentiability of real functions 5 4. A sufficient condition

More information

5.3 Improper Integrals Involving Rational and Exponential Functions

5.3 Improper Integrals Involving Rational and Exponential Functions Section 5.3 Improper Integrals Involving Rational and Exponential Functions 99.. 3. 4. dθ +a cos θ =, < a

More information

Fixed Point Theorems

Fixed Point Theorems Fixed Point Theorems Definition: Let X be a set and let T : X X be a function that maps X into itself. (Such a function is often called an operator, a transformation, or a transform on X, and the notation

More information

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 3 Fall 2008 III. Spaces with special properties III.1 : Compact spaces I Problems from Munkres, 26, pp. 170 172 3. Show that a finite union of compact subspaces

More information

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5. PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

More information

HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!

HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)! Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following

More information

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12 CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.

More information

Factorization Theorems

Factorization Theorems Chapter 7 Factorization Theorems This chapter highlights a few of the many factorization theorems for matrices While some factorization results are relatively direct, others are iterative While some factorization

More information

Mathematics for Econometrics, Fourth Edition

Mathematics for Econometrics, Fourth Edition Mathematics for Econometrics, Fourth Edition Phoebus J. Dhrymes 1 July 2012 1 c Phoebus J. Dhrymes, 2012. Preliminary material; not to be cited or disseminated without the author s permission. 2 Contents

More information

Sequences and Series

Sequences and Series Sequences and Series Consider the following sum: 2 + 4 + 8 + 6 + + 2 i + The dots at the end indicate that the sum goes on forever. Does this make sense? Can we assign a numerical value to an infinite

More information

1 Lecture: Integration of rational functions by decomposition

1 Lecture: Integration of rational functions by decomposition Lecture: Integration of rational functions by decomposition into partial fractions Recognize and integrate basic rational functions, except when the denominator is a power of an irreducible quadratic.

More information

An important theme in this book is to give constructive definitions of mathematical objects. Thus, for instance, if you needed to evaluate.

An important theme in this book is to give constructive definitions of mathematical objects. Thus, for instance, if you needed to evaluate. Chapter 10 Series and Approximations An important theme in this book is to give constructive definitions of mathematical objects. Thus, for instance, if you needed to evaluate 1 0 e x2 dx, you could set

More information

1. Let X and Y be normed spaces and let T B(X, Y ).

1. Let X and Y be normed spaces and let T B(X, Y ). Uppsala Universitet Matematiska Institutionen Andreas Strömbergsson Prov i matematik Funktionalanalys Kurs: NVP, Frist. 2005-03-14 Skrivtid: 9 11.30 Tillåtna hjälpmedel: Manuella skrivdon, Kreyszigs bok

More information

1.7 Graphs of Functions

1.7 Graphs of Functions 64 Relations and Functions 1.7 Graphs of Functions In Section 1.4 we defined a function as a special type of relation; one in which each x-coordinate was matched with only one y-coordinate. We spent most

More information

MATH 132: CALCULUS II SYLLABUS

MATH 132: CALCULUS II SYLLABUS MATH 32: CALCULUS II SYLLABUS Prerequisites: Successful completion of Math 3 (or its equivalent elsewhere). Math 27 is normally not a sufficient prerequisite for Math 32. Required Text: Calculus: Early

More information

LINEAR ALGEBRA W W L CHEN

LINEAR ALGEBRA W W L CHEN LINEAR ALGEBRA W W L CHEN c W W L Chen, 1997, 2008 This chapter is available free to all individuals, on understanding that it is not to be used for financial gain, and may be downloaded and/or photocopied,

More information

FIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper.

FIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper. FIRST YEAR CALCULUS WWLCHENW L c WWWL W L Chen, 1982, 2008. 2006. This chapter originates from material used by the author at Imperial College, University of London, between 1981 and 1990. It It is is

More information

RESULTANT AND DISCRIMINANT OF POLYNOMIALS

RESULTANT AND DISCRIMINANT OF POLYNOMIALS RESULTANT AND DISCRIMINANT OF POLYNOMIALS SVANTE JANSON Abstract. This is a collection of classical results about resultants and discriminants for polynomials, compiled mainly for my own use. All results

More information

Linear Algebra I. Ronald van Luijk, 2012

Linear Algebra I. Ronald van Luijk, 2012 Linear Algebra I Ronald van Luijk, 2012 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents 1. Vector spaces 3 1.1. Examples 3 1.2. Fields 4 1.3. The field of complex numbers. 6 1.4.

More information

Polynomial Invariants

Polynomial Invariants Polynomial Invariants Dylan Wilson October 9, 2014 (1) Today we will be interested in the following Question 1.1. What are all the possible polynomials in two variables f(x, y) such that f(x, y) = f(y,

More information

7 Gaussian Elimination and LU Factorization

7 Gaussian Elimination and LU Factorization 7 Gaussian Elimination and LU Factorization In this final section on matrix factorization methods for solving Ax = b we want to take a closer look at Gaussian elimination (probably the best known method

More information

The Ideal Class Group

The Ideal Class Group Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned

More information

Separation Properties for Locally Convex Cones

Separation Properties for Locally Convex Cones Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam

More information

Linear Algebra Notes for Marsden and Tromba Vector Calculus

Linear Algebra Notes for Marsden and Tromba Vector Calculus Linear Algebra Notes for Marsden and Tromba Vector Calculus n-dimensional Euclidean Space and Matrices Definition of n space As was learned in Math b, a point in Euclidean three space can be thought of

More information

1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ]

1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ] 1 Homework 1 (1) Prove the ideal (3,x) is a maximal ideal in Z[x]. SOLUTION: Suppose we expand this ideal by including another generator polynomial, P / (3, x). Write P = n + x Q with n an integer not

More information

THE CENTRAL LIMIT THEOREM TORONTO

THE CENTRAL LIMIT THEOREM TORONTO THE CENTRAL LIMIT THEOREM DANIEL RÜDT UNIVERSITY OF TORONTO MARCH, 2010 Contents 1 Introduction 1 2 Mathematical Background 3 3 The Central Limit Theorem 4 4 Examples 4 4.1 Roulette......................................

More information

Chapter 3. Distribution Problems. 3.1 The idea of a distribution. 3.1.1 The twenty-fold way

Chapter 3. Distribution Problems. 3.1 The idea of a distribution. 3.1.1 The twenty-fold way Chapter 3 Distribution Problems 3.1 The idea of a distribution Many of the problems we solved in Chapter 1 may be thought of as problems of distributing objects (such as pieces of fruit or ping-pong balls)

More information

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

More information

Lies My Calculator and Computer Told Me

Lies My Calculator and Computer Told Me Lies My Calculator and Computer Told Me 2 LIES MY CALCULATOR AND COMPUTER TOLD ME Lies My Calculator and Computer Told Me See Section.4 for a discussion of graphing calculators and computers with graphing

More information

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely

More information

God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886)

God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886) Chapter 2 Numbers God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886) God created the integers and the rest is the work

More information

Winter Camp 2011 Polynomials Alexander Remorov. Polynomials. Alexander Remorov alexanderrem@gmail.com

Winter Camp 2011 Polynomials Alexander Remorov. Polynomials. Alexander Remorov alexanderrem@gmail.com Polynomials Alexander Remorov alexanderrem@gmail.com Warm-up Problem 1: Let f(x) be a quadratic polynomial. Prove that there exist quadratic polynomials g(x) and h(x) such that f(x)f(x + 1) = g(h(x)).

More information

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem

More information

VERTICES OF GIVEN DEGREE IN SERIES-PARALLEL GRAPHS

VERTICES OF GIVEN DEGREE IN SERIES-PARALLEL GRAPHS VERTICES OF GIVEN DEGREE IN SERIES-PARALLEL GRAPHS MICHAEL DRMOTA, OMER GIMENEZ, AND MARC NOY Abstract. We show that the number of vertices of a given degree k in several kinds of series-parallel labelled

More information

Solving Systems of Linear Equations

Solving Systems of Linear Equations LECTURE 5 Solving Systems of Linear Equations Recall that we introduced the notion of matrices as a way of standardizing the expression of systems of linear equations In today s lecture I shall show how

More information

Lecture 13 - Basic Number Theory.

Lecture 13 - Basic Number Theory. Lecture 13 - Basic Number Theory. Boaz Barak March 22, 2010 Divisibility and primes Unless mentioned otherwise throughout this lecture all numbers are non-negative integers. We say that A divides B, denoted

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it

More information

TOPIC 4: DERIVATIVES

TOPIC 4: DERIVATIVES TOPIC 4: DERIVATIVES 1. The derivative of a function. Differentiation rules 1.1. The slope of a curve. The slope of a curve at a point P is a measure of the steepness of the curve. If Q is a point on the

More information

Continuity of the Perron Root

Continuity of the Perron Root Linear and Multilinear Algebra http://dx.doi.org/10.1080/03081087.2014.934233 ArXiv: 1407.7564 (http://arxiv.org/abs/1407.7564) Continuity of the Perron Root Carl D. Meyer Department of Mathematics, North

More information

Chapter 5. Banach Spaces

Chapter 5. Banach Spaces 9 Chapter 5 Banach Spaces Many linear equations may be formulated in terms of a suitable linear operator acting on a Banach space. In this chapter, we study Banach spaces and linear operators acting on

More information

Section 1.3 P 1 = 1 2. = 1 4 2 8. P n = 1 P 3 = Continuing in this fashion, it should seem reasonable that, for any n = 1, 2, 3,..., = 1 2 4.

Section 1.3 P 1 = 1 2. = 1 4 2 8. P n = 1 P 3 = Continuing in this fashion, it should seem reasonable that, for any n = 1, 2, 3,..., = 1 2 4. Difference Equations to Differential Equations Section. The Sum of a Sequence This section considers the problem of adding together the terms of a sequence. Of course, this is a problem only if more than

More information

4. Expanding dynamical systems

4. Expanding dynamical systems 4.1. Metric definition. 4. Expanding dynamical systems Definition 4.1. Let X be a compact metric space. A map f : X X is said to be expanding if there exist ɛ > 0 and L > 1 such that d(f(x), f(y)) Ld(x,

More information

Real Roots of Univariate Polynomials with Real Coefficients

Real Roots of Univariate Polynomials with Real Coefficients Real Roots of Univariate Polynomials with Real Coefficients mostly written by Christina Hewitt March 22, 2012 1 Introduction Polynomial equations are used throughout mathematics. When solving polynomials

More information

MATH10040 Chapter 2: Prime and relatively prime numbers

MATH10040 Chapter 2: Prime and relatively prime numbers MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive

More information

Numerical Analysis Lecture Notes

Numerical Analysis Lecture Notes Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number

More information

Finite dimensional topological vector spaces

Finite dimensional topological vector spaces Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdorff t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the

More information

CS 103X: Discrete Structures Homework Assignment 3 Solutions

CS 103X: Discrete Structures Homework Assignment 3 Solutions CS 103X: Discrete Structures Homework Assignment 3 s Exercise 1 (20 points). On well-ordering and induction: (a) Prove the induction principle from the well-ordering principle. (b) Prove the well-ordering

More information

1 Norms and Vector Spaces

1 Norms and Vector Spaces 008.10.07.01 1 Norms and Vector Spaces Suppose we have a complex vector space V. A norm is a function f : V R which satisfies (i) f(x) 0 for all x V (ii) f(x + y) f(x) + f(y) for all x,y V (iii) f(λx)

More information

MATH PROBLEMS, WITH SOLUTIONS

MATH PROBLEMS, WITH SOLUTIONS MATH PROBLEMS, WITH SOLUTIONS OVIDIU MUNTEANU These are free online notes that I wrote to assist students that wish to test their math skills with some problems that go beyond the usual curriculum. These

More information

it is easy to see that α = a

it is easy to see that α = a 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore

More information

Mathematical Induction. Mary Barnes Sue Gordon

Mathematical Induction. Mary Barnes Sue Gordon Mathematics Learning Centre Mathematical Induction Mary Barnes Sue Gordon c 1987 University of Sydney Contents 1 Mathematical Induction 1 1.1 Why do we need proof by induction?.... 1 1. What is proof by

More information

5 Numerical Differentiation

5 Numerical Differentiation D. Levy 5 Numerical Differentiation 5. Basic Concepts This chapter deals with numerical approximations of derivatives. The first questions that comes up to mind is: why do we need to approximate derivatives

More information

ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING. 0. Introduction

ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING. 0. Introduction ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING Abstract. In [1] there was proved a theorem concerning the continuity of the composition mapping, and there was announced a theorem on sequential continuity

More information

Notes on Determinant

Notes on Determinant ENGG2012B Advanced Engineering Mathematics Notes on Determinant Lecturer: Kenneth Shum Lecture 9-18/02/2013 The determinant of a system of linear equations determines whether the solution is unique, without

More information

15. Symmetric polynomials

15. Symmetric polynomials 15. Symmetric polynomials 15.1 The theorem 15.2 First examples 15.3 A variant: discriminants 1. The theorem Let S n be the group of permutations of {1,, n}, also called the symmetric group on n things.

More information

Quotient Rings and Field Extensions

Quotient Rings and Field Extensions Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.

More information

I. Pointwise convergence

I. Pointwise convergence MATH 40 - NOTES Sequences of functions Pointwise and Uniform Convergence Fall 2005 Previously, we have studied sequences of real numbers. Now we discuss the topic of sequences of real valued functions.

More information

1. Let P be the space of all polynomials (of one real variable and with real coefficients) with the norm

1. Let P be the space of all polynomials (of one real variable and with real coefficients) with the norm Uppsala Universitet Matematiska Institutionen Andreas Strömbergsson Prov i matematik Funktionalanalys Kurs: F3B, F4Sy, NVP 005-06-15 Skrivtid: 9 14 Tillåtna hjälpmedel: Manuella skrivdon, Kreyszigs bok

More information

Unique Factorization

Unique Factorization Unique Factorization Waffle Mathcamp 2010 Throughout these notes, all rings will be assumed to be commutative. 1 Factorization in domains: definitions and examples In this class, we will study the phenomenon

More information

Follow links for Class Use and other Permissions. For more information send email to: permissions@pupress.princeton.edu

Follow links for Class Use and other Permissions. For more information send email to: permissions@pupress.princeton.edu COPYRIGHT NOTICE: Ariel Rubinstein: Lecture Notes in Microeconomic Theory is published by Princeton University Press and copyrighted, c 2006, by Princeton University Press. All rights reserved. No part

More information

Mathematical Induction

Mathematical Induction Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,

More information