Lecture 25 : Integral Test Integral Test Integral Test Example Integral Test Example P-Series Integral Test

Total Page:16

File Type:pdf, Size:1020Kb

Lecture 25 : Integral Test Integral Test Integral Test Example Integral Test Example P-Series Integral Test I Note The result is still true if the condition that f (x) is decreasing on the interval [1; 1) is relaxed to \the function f (x) is decreasing on an interval [M; 1) for some number M ≥ 1." Integral Test Integral Test Example Integral Test Example p-series Integral Test In this section, we see that we can sometimes decide whether a series converges or diverges by comparing it to an improper integral. The analysis in this section P only applies to series an, with positive terms, that is an > 0. Integral Test Suppose f (x) is a positive decreasing continuous function on the interval [1; 1) with f (n) = an: P1 R 1 Then the series n=1 an is convergent if and only if 1 f (x)dx converges, that is: 1 Z 1 X If f (x)dx is convergent, then an is convergent: 1 n=1 1 Z 1 X If f (x)dx is divergent, then an is divergent: 1 n=1 Annette Pilkington Lecture 25 : Integral Test Integral Test Integral Test Example Integral Test Example p-series Integral Test In this section, we see that we can sometimes decide whether a series converges or diverges by comparing it to an improper integral. The analysis in this section P only applies to series an, with positive terms, that is an > 0. Integral Test Suppose f (x) is a positive decreasing continuous function on the interval [1; 1) with f (n) = an: P1 R 1 Then the series n=1 an is convergent if and only if 1 f (x)dx converges, that is: 1 Z 1 X If f (x)dx is convergent, then an is convergent: 1 n=1 1 Z 1 X If f (x)dx is divergent, then an is divergent: 1 n=1 I Note The result is still true if the condition that f (x) is decreasing on the interval [1; 1) is relaxed to \the function f (x) is decreasing on an interval [M; 1) for some number M ≥ 1." Annette Pilkington Lecture 25 : Integral Test I In the picture we compare the P1 1 series n=1 n2 to the improper R 1 1 integral 1 x2 dx. Pn 1 R 1 1 I The n th partial sum is sn = 1 + n=2 n2 < 1 + 1 x2 dx = 1 + 1 = 2: I Since the sequence fsng is increasing (because each an > 0) and bounded, we can conclude that the sequence of partial sums converges and hence the series 1 X 1 converges: n2 i=1 P1 1 R 1 1 I NOTE We are not saying that i=1 n2 = 1 x2 dx here. Integral Test Integral Test Example Integral Test Example p-series Integral Test (Why it works: convergence) We know from a previous lecture that R 1 1 1 xp dx converges if p > 1 and diverges if p ≤ 1: Annette Pilkington Lecture 25 : Integral Test Pn 1 R 1 1 I The n th partial sum is sn = 1 + n=2 n2 < 1 + 1 x2 dx = 1 + 1 = 2: I Since the sequence fsng is increasing (because each an > 0) and bounded, we can conclude that the sequence of partial sums converges and hence the series 1 X 1 converges: n2 i=1 P1 1 R 1 1 I NOTE We are not saying that i=1 n2 = 1 x2 dx here. Integral Test Integral Test Example Integral Test Example p-series Integral Test (Why it works: convergence) We know from a previous lecture that R 1 1 1 xp dx converges if p > 1 and diverges if p ≤ 1: I In the picture we compare the P1 1 series n=1 n2 to the improper R 1 1 integral 1 x2 dx. Annette Pilkington Lecture 25 : Integral Test I Since the sequence fsng is increasing (because each an > 0) and bounded, we can conclude that the sequence of partial sums converges and hence the series 1 X 1 converges: n2 i=1 P1 1 R 1 1 I NOTE We are not saying that i=1 n2 = 1 x2 dx here. Integral Test Integral Test Example Integral Test Example p-series Integral Test (Why it works: convergence) We know from a previous lecture that R 1 1 1 xp dx converges if p > 1 and diverges if p ≤ 1: I In the picture we compare the P1 1 series n=1 n2 to the improper R 1 1 integral 1 x2 dx. Pn 1 R 1 1 I The n th partial sum is sn = 1 + n=2 n2 < 1 + 1 x2 dx = 1 + 1 = 2: Annette Pilkington Lecture 25 : Integral Test P1 1 R 1 1 I NOTE We are not saying that i=1 n2 = 1 x2 dx here. Integral Test Integral Test Example Integral Test Example p-series Integral Test (Why it works: convergence) We know from a previous lecture that R 1 1 1 xp dx converges if p > 1 and diverges if p ≤ 1: I In the picture we compare the P1 1 series n=1 n2 to the improper R 1 1 integral 1 x2 dx. Pn 1 R 1 1 I The n th partial sum is sn = 1 + n=2 n2 < 1 + 1 x2 dx = 1 + 1 = 2: I Since the sequence fsng is increasing (because each an > 0) and bounded, we can conclude that the sequence of partial sums converges and hence the series 1 X 1 converges: n2 i=1 Annette Pilkington Lecture 25 : Integral Test Integral Test Integral Test Example Integral Test Example p-series Integral Test (Why it works: convergence) We know from a previous lecture that R 1 1 1 xp dx converges if p > 1 and diverges if p ≤ 1: I In the picture we compare the P1 1 series n=1 n2 to the improper R 1 1 integral 1 x2 dx. Pn 1 R 1 1 I The n th partial sum is sn = 1 + n=2 n2 < 1 + 1 x2 dx = 1 + 1 = 2: I Since the sequence fsng is increasing (because each an > 0) and bounded, we can conclude that the sequence of partial sums converges and hence the series 1 X 1 converges: n2 i=1 P1 1 R 1 1 I NOTE We are not saying that i=1 n2 = 1 x2 dx here. Annette Pilkington Lecture 25 : Integral Test I In the picture, we compare the 1 P p1 series n=1 n to the improper 1 R p1 integral 1 x dx. 1 X 1 1 1 1 p = p + p + p + ··· k=1 n 1 2 3 I This time we draw the rectangles so that we get 1 1 1 1 Z n 1 sn > sn−1 = p + p + p + ··· + p > p dx 1 2 3 n − 1 1 x n R p1 I Thus we see that limn!1 sn > limn!1 1 x dx. n R p1 I However, we know that 1 x dx grows without bound and hence since 1 1 R p1 P p1 1 x dx diverges, we can conclude that k=1 n also diverges. Integral Test Integral Test Example Integral Test Example p-series Integral Test (Why it works: divergence) R 1 1 We know that 1 xp dx converges if p > 1 and diverges if p ≤ 1: Annette Pilkington Lecture 25 : Integral Test I This time we draw the rectangles so that we get 1 1 1 1 Z n 1 sn > sn−1 = p + p + p + ··· + p > p dx 1 2 3 n − 1 1 x n R p1 I Thus we see that limn!1 sn > limn!1 1 x dx. n R p1 I However, we know that 1 x dx grows without bound and hence since 1 1 R p1 P p1 1 x dx diverges, we can conclude that k=1 n also diverges. Integral Test Integral Test Example Integral Test Example p-series Integral Test (Why it works: divergence) R 1 1 We know that 1 xp dx converges if p > 1 and diverges if p ≤ 1: I In the picture, we compare the 1 P p1 series n=1 n to the improper 1 R p1 integral 1 x dx. 1 X 1 1 1 1 p = p + p + p + ··· k=1 n 1 2 3 Annette Pilkington Lecture 25 : Integral Test n R p1 I Thus we see that limn!1 sn > limn!1 1 x dx. n R p1 I However, we know that 1 x dx grows without bound and hence since 1 1 R p1 P p1 1 x dx diverges, we can conclude that k=1 n also diverges. Integral Test Integral Test Example Integral Test Example p-series Integral Test (Why it works: divergence) R 1 1 We know that 1 xp dx converges if p > 1 and diverges if p ≤ 1: I In the picture, we compare the 1 P p1 series n=1 n to the improper 1 R p1 integral 1 x dx. 1 X 1 1 1 1 p = p + p + p + ··· k=1 n 1 2 3 I This time we draw the rectangles so that we get 1 1 1 1 Z n 1 sn > sn−1 = p + p + p + ··· + p > p dx 1 2 3 n − 1 1 x Annette Pilkington Lecture 25 : Integral Test n R p1 I However, we know that 1 x dx grows without bound and hence since 1 1 R p1 P p1 1 x dx diverges, we can conclude that k=1 n also diverges.
Recommended publications
  • Section 8.8: Improper Integrals
    Section 8.8: Improper Integrals One of the main applications of integrals is to compute the areas under curves, as you know. A geometric question. But there are some geometric questions which we do not yet know how to do by calculus, even though they appear to have the same form. Consider the curve y = 1=x2. We can ask, what is the area of the region under the curve and right of the line x = 1? We have no reason to believe this area is finite, but let's ask. Now no integral will compute this{we have to integrate over a bounded interval. Nonetheless, we don't want to throw up our hands. So note that b 2 b Z (1=x )dx = ( 1=x) 1 = 1 1=b: 1 − j − In other words, as b gets larger and larger, the area under the curve and above [1; b] gets larger and larger; but note that it gets closer and closer to 1. Thus, our intuition tells us that the area of the region we're interested in is exactly 1. More formally: lim 1 1=b = 1: b − !1 We can rewrite that as b 2 lim Z (1=x )dx: b !1 1 Indeed, in general, if we want to compute the area under y = f(x) and right of the line x = a, we are computing b lim Z f(x)dx: b !1 a ASK: Does this limit always exist? Give some situations where it does not exist. They'll give something that blows up.
    [Show full text]
  • Notes on Calculus II Integral Calculus Miguel A. Lerma
    Notes on Calculus II Integral Calculus Miguel A. Lerma November 22, 2002 Contents Introduction 5 Chapter 1. Integrals 6 1.1. Areas and Distances. The Definite Integral 6 1.2. The Evaluation Theorem 11 1.3. The Fundamental Theorem of Calculus 14 1.4. The Substitution Rule 16 1.5. Integration by Parts 21 1.6. Trigonometric Integrals and Trigonometric Substitutions 26 1.7. Partial Fractions 32 1.8. Integration using Tables and CAS 39 1.9. Numerical Integration 41 1.10. Improper Integrals 46 Chapter 2. Applications of Integration 50 2.1. More about Areas 50 2.2. Volumes 52 2.3. Arc Length, Parametric Curves 57 2.4. Average Value of a Function (Mean Value Theorem) 61 2.5. Applications to Physics and Engineering 63 2.6. Probability 69 Chapter 3. Differential Equations 74 3.1. Differential Equations and Separable Equations 74 3.2. Directional Fields and Euler’s Method 78 3.3. Exponential Growth and Decay 80 Chapter 4. Infinite Sequences and Series 83 4.1. Sequences 83 4.2. Series 88 4.3. The Integral and Comparison Tests 92 4.4. Other Convergence Tests 96 4.5. Power Series 98 4.6. Representation of Functions as Power Series 100 4.7. Taylor and MacLaurin Series 103 3 CONTENTS 4 4.8. Applications of Taylor Polynomials 109 Appendix A. Hyperbolic Functions 113 A.1. Hyperbolic Functions 113 Appendix B. Various Formulas 118 B.1. Summation Formulas 118 Appendix C. Table of Integrals 119 Introduction These notes are intended to be a summary of the main ideas in course MATH 214-2: Integral Calculus.
    [Show full text]
  • 1 Approximating Integrals Using Taylor Polynomials 1 1.1 Definitions
    Seunghee Ye Ma 8: Week 7 Nov 10 Week 7 Summary This week, we will learn how we can approximate integrals using Taylor series and numerical methods. Topics Page 1 Approximating Integrals using Taylor Polynomials 1 1.1 Definitions . .1 1.2 Examples . .2 1.3 Approximating Integrals . .3 2 Numerical Integration 5 1 Approximating Integrals using Taylor Polynomials 1.1 Definitions When we first defined the derivative, recall that it was supposed to be the \instantaneous rate of change" of a function f(x) at a given point c. In other words, f 0 gives us a linear approximation of f(x) near c: for small values of " 2 R, we have f(c + ") ≈ f(c) + "f 0(c) But if f(x) has higher order derivatives, why stop with a linear approximation? Taylor series take this idea of linear approximation and extends it to higher order derivatives, giving us a better approximation of f(x) near c. Definition (Taylor Polynomial and Taylor Series) Let f(x) be a Cn function i.e. f is n-times continuously differentiable. Then, the n-th order Taylor polynomial of f(x) about c is: n X f (k)(c) T (f)(x) = (x − c)k n k! k=0 The n-th order remainder of f(x) is: Rn(f)(x) = f(x) − Tn(f)(x) If f(x) is C1, then the Taylor series of f(x) about c is: 1 X f (k)(c) T (f)(x) = (x − c)k 1 k! k=0 Note that the first order Taylor polynomial of f(x) is precisely the linear approximation we wrote down in the beginning.
    [Show full text]
  • A Quotient Rule Integration by Parts Formula Jennifer Switkes ([email protected]), California State Polytechnic Univer- Sity, Pomona, CA 91768
    A Quotient Rule Integration by Parts Formula Jennifer Switkes ([email protected]), California State Polytechnic Univer- sity, Pomona, CA 91768 In a recent calculus course, I introduced the technique of Integration by Parts as an integration rule corresponding to the Product Rule for differentiation. I showed my students the standard derivation of the Integration by Parts formula as presented in [1]: By the Product Rule, if f (x) and g(x) are differentiable functions, then d f (x)g(x) = f (x)g(x) + g(x) f (x). dx Integrating on both sides of this equation, f (x)g(x) + g(x) f (x) dx = f (x)g(x), which may be rearranged to obtain f (x)g(x) dx = f (x)g(x) − g(x) f (x) dx. Letting U = f (x) and V = g(x) and observing that dU = f (x) dx and dV = g(x) dx, we obtain the familiar Integration by Parts formula UdV= UV − VdU. (1) My student Victor asked if we could do a similar thing with the Quotient Rule. While the other students thought this was a crazy idea, I was intrigued. Below, I derive a Quotient Rule Integration by Parts formula, apply the resulting integration formula to an example, and discuss reasons why this formula does not appear in calculus texts. By the Quotient Rule, if f (x) and g(x) are differentiable functions, then ( ) ( ) ( ) − ( ) ( ) d f x = g x f x f x g x . dx g(x) [g(x)]2 Integrating both sides of this equation, we get f (x) g(x) f (x) − f (x)g(x) = dx.
    [Show full text]
  • Two Fundamental Theorems About the Definite Integral
    Two Fundamental Theorems about the Definite Integral These lecture notes develop the theorem Stewart calls The Fundamental Theorem of Calculus in section 5.3. The approach I use is slightly different than that used by Stewart, but is based on the same fundamental ideas. 1 The definite integral Recall that the expression b f(x) dx ∫a is called the definite integral of f(x) over the interval [a,b] and stands for the area underneath the curve y = f(x) over the interval [a,b] (with the understanding that areas above the x-axis are considered positive and the areas beneath the axis are considered negative). In today's lecture I am going to prove an important connection between the definite integral and the derivative and use that connection to compute the definite integral. The result that I am eventually going to prove sits at the end of a chain of earlier definitions and intermediate results. 2 Some important facts about continuous functions The first intermediate result we are going to have to prove along the way depends on some definitions and theorems concerning continuous functions. Here are those definitions and theorems. The definition of continuity A function f(x) is continuous at a point x = a if the following hold 1. f(a) exists 2. lim f(x) exists xœa 3. lim f(x) = f(a) xœa 1 A function f(x) is continuous in an interval [a,b] if it is continuous at every point in that interval. The extreme value theorem Let f(x) be a continuous function in an interval [a,b].
    [Show full text]
  • Operations on Power Series Related to Taylor Series
    Operations on Power Series Related to Taylor Series In this problem, we perform elementary operations on Taylor series – term by term differen­ tiation and integration – to obtain new examples of power series for which we know their sum. Suppose that a function f has a power series representation of the form: 1 2 X n f(x) = a0 + a1(x − c) + a2(x − c) + · · · = an(x − c) n=0 convergent on the interval (c − R; c + R) for some R. The results we use in this example are: • (Differentiation) Given f as above, f 0(x) has a power series expansion obtained by by differ­ entiating each term in the expansion of f(x): 1 0 X n−1 f (x) = a1 + a2(x − c) + 2a3(x − c) + · · · = nan(x − c) n=1 • (Integration) Given f as above, R f(x) dx has a power series expansion obtained by by inte­ grating each term in the expansion of f(x): 1 Z a1 a2 X an f(x) dx = C + a (x − c) + (x − c)2 + (x − c)3 + · · · = C + (x − c)n+1 0 2 3 n + 1 n=0 for some constant C depending on the choice of antiderivative of f. Questions: 1. Find a power series representation for the function f(x) = arctan(5x): (Note: arctan x is the inverse function to tan x.) 2. Use power series to approximate Z 1 2 sin(x ) dx 0 (Note: sin(x2) is a function whose antiderivative is not an elementary function.) Solution: 1 For question (1), we know that arctan x has a simple derivative: , which then has a power 1 + x2 1 2 series representation similar to that of , where we subsitute −x for x.
    [Show full text]
  • Derivative of Power Series and Complex Exponential
    LECTURE 4: DERIVATIVE OF POWER SERIES AND COMPLEX EXPONENTIAL The reason of dealing with power series is that they provide examples of analytic functions. P1 n Theorem 1. If n=0 anz has radius of convergence R > 0; then the function P1 n F (z) = n=0 anz is di®erentiable on S = fz 2 C : jzj < Rg; and the derivative is P1 n¡1 f(z) = n=0 nanz : Proof. (¤) We will show that j F (z+h)¡F (z) ¡ f(z)j ! 0 as h ! 0 (in C), whenever h ¡ ¢ n Pn n k n¡k jzj < R: Using the binomial theorem (z + h) = k=0 k h z we get F (z + h) ¡ F (z) X1 (z + h)n ¡ zn ¡ hnzn¡1 ¡ f(z) = a h n h n=0 µ ¶ X1 a Xn n = n ( hkzn¡k) h k n=0 k=2 µ ¶ X1 Xn n = a h( hk¡2zn¡k) n k n=0 k=2 µ ¶ X1 Xn¡2 n = a h( hjzn¡2¡j) (by putting j = k ¡ 2): n j + 2 n=0 j=0 ¡ n ¢ ¡n¡2¢ By using the easily veri¯able fact that j+2 · n(n ¡ 1) j ; we obtain µ ¶ F (z + h) ¡ F (z) X1 Xn¡2 n ¡ 2 j ¡ f(z)j · jhj n(n ¡ 1)ja j( jhjjjzjn¡2¡j) h n j n=0 j=0 X1 n¡2 = jhj n(n ¡ 1)janj(jzj + jhj) : n=0 P1 n¡2 We already know that the series n=0 n(n ¡ 1)janjjzj converges for jzj < R: Now, for jzj < R and h ! 0 we have jzj + jhj < R eventually.
    [Show full text]
  • Lecture 13 Gradient Methods for Constrained Optimization
    Lecture 13 Gradient Methods for Constrained Optimization October 16, 2008 Lecture 13 Outline • Gradient Projection Algorithm • Convergence Rate Convex Optimization 1 Lecture 13 Constrained Minimization minimize f(x) subject x ∈ X • Assumption 1: • The function f is convex and continuously differentiable over Rn • The set X is closed and convex ∗ • The optimal value f = infx∈Rn f(x) is finite • Gradient projection algorithm xk+1 = PX[xk − αk∇f(xk)] starting with x0 ∈ X. Convex Optimization 2 Lecture 13 Bounded Gradients Theorem 1 Let Assumption 1 hold, and suppose that the gradients are uniformly bounded over the set X. Then, the projection gradient method generates the sequence {xk} ⊂ X such that • When the constant stepsize αk ≡ α is used, we have 2 ∗ αL lim inf f(xk) ≤ f + k→∞ 2 P • When diminishing stepsize is used with k αk = +∞, we have ∗ lim inf f(xk) = f . k→∞ Proof: We use projection properties and the line of analysis similar to that of unconstrained method. HWK 6 Convex Optimization 3 Lecture 13 Lipschitz Gradients • Lipschitz Gradient Lemma For a differentiable convex function f with Lipschitz gradients, we have for all x, y ∈ Rn, 1 k∇f(x) − ∇f(y)k2 ≤ (∇f(x) − ∇f(y))T (x − y), L where L is a Lipschitz constant. • Theorem 2 Let Assumption 1 hold, and assume that the gradients of f are Lipschitz continuous over X. Suppose that the optimal solution ∗ set X is not empty. Then, for a constant stepsize αk ≡ α with 0 2 < α < L converges to an optimal point, i.e., ∗ ∗ ∗ lim kxk − x k = 0 for some x ∈ X .
    [Show full text]
  • Calculus Terminology
    AP Calculus BC Calculus Terminology Absolute Convergence Asymptote Continued Sum Absolute Maximum Average Rate of Change Continuous Function Absolute Minimum Average Value of a Function Continuously Differentiable Function Absolutely Convergent Axis of Rotation Converge Acceleration Boundary Value Problem Converge Absolutely Alternating Series Bounded Function Converge Conditionally Alternating Series Remainder Bounded Sequence Convergence Tests Alternating Series Test Bounds of Integration Convergent Sequence Analytic Methods Calculus Convergent Series Annulus Cartesian Form Critical Number Antiderivative of a Function Cavalieri’s Principle Critical Point Approximation by Differentials Center of Mass Formula Critical Value Arc Length of a Curve Centroid Curly d Area below a Curve Chain Rule Curve Area between Curves Comparison Test Curve Sketching Area of an Ellipse Concave Cusp Area of a Parabolic Segment Concave Down Cylindrical Shell Method Area under a Curve Concave Up Decreasing Function Area Using Parametric Equations Conditional Convergence Definite Integral Area Using Polar Coordinates Constant Term Definite Integral Rules Degenerate Divergent Series Function Operations Del Operator e Fundamental Theorem of Calculus Deleted Neighborhood Ellipsoid GLB Derivative End Behavior Global Maximum Derivative of a Power Series Essential Discontinuity Global Minimum Derivative Rules Explicit Differentiation Golden Spiral Difference Quotient Explicit Function Graphic Methods Differentiable Exponential Decay Greatest Lower Bound Differential
    [Show full text]
  • The Infinite and Contradiction: a History of Mathematical Physics By
    The infinite and contradiction: A history of mathematical physics by dialectical approach Ichiro Ueki January 18, 2021 Abstract The following hypothesis is proposed: \In mathematics, the contradiction involved in the de- velopment of human knowledge is included in the form of the infinite.” To prove this hypothesis, the author tries to find what sorts of the infinite in mathematics were used to represent the con- tradictions involved in some revolutions in mathematical physics, and concludes \the contradiction involved in mathematical description of motion was represented with the infinite within recursive (computable) set level by early Newtonian mechanics; and then the contradiction to describe discon- tinuous phenomena with continuous functions and contradictions about \ether" were represented with the infinite higher than the recursive set level, namely of arithmetical set level in second or- der arithmetic (ordinary mathematics), by mechanics of continuous bodies and field theory; and subsequently the contradiction appeared in macroscopic physics applied to microscopic phenomena were represented with the further higher infinite in third or higher order arithmetic (set-theoretic mathematics), by quantum mechanics". 1 Introduction Contradictions found in set theory from the end of the 19th century to the beginning of the 20th, gave a shock called \a crisis of mathematics" to the world of mathematicians. One of the contradictions was reported by B. Russel: \Let w be the class [set]1 of all classes which are not members of themselves. Then whatever class x may be, 'x is a w' is equivalent to 'x is not an x'. Hence, giving to x the value w, 'w is a w' is equivalent to 'w is not a w'."[52] Russel described the crisis in 1959: I was led to this contradiction by Cantor's proof that there is no greatest cardinal number.
    [Show full text]
  • 20-Finding Taylor Coefficients
    Taylor Coefficients Learning goal: Let’s generalize the process of finding the coefficients of a Taylor polynomial. Let’s find a general formula for the coefficients of a Taylor polynomial. (Students complete worksheet series03 (Taylor coefficients).) 2 What we have discovered is that if we have a polynomial C0 + C1x + C2x + ! that we are trying to match values and derivatives to a function, then when we differentiate it a bunch of times, we 0 get Cnn!x + Cn+1(n+1)!x + !. Plugging in x = 0 and everything except Cnn! goes away. So to (n) match the nth derivative, we must have Cn = f (0)/n!. If we want to match the values and derivatives at some point other than zero, we will use the 2 polynomial C0 + C1(x – a) + C2(x – a) + !. Then when we differentiate, we get Cnn! + Cn+1(n+1)!(x – a) + !. Now, plugging in x = a makes everything go away, and we get (n) Cn = f (a)/n!. So we can generate a polynomial of any degree (well, as long as the function has enough derivatives!) that will match the function and its derivatives to that degree at a particular point a. We can also extend to create a power series called the Taylor series (or Maclaurin series if a is specifically 0). We have natural questions: • For what x does the series converge? • What does the series converge to? Is it, hopefully, f(x)? • If the series converges to the function, we can use parts of the series—Taylor polynomials—to approximate the function, at least nearby a.
    [Show full text]
  • The Set of Continuous Functions with Everywhere Convergent Fourier Series
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 302, Number 1, July 1987 THE SET OF CONTINUOUS FUNCTIONS WITH EVERYWHERE CONVERGENT FOURIER SERIES M. AJTAI AND A. S. KECHRIS ABSTRACT. This paper deals with the descriptive set theoretic properties of the class EC of continuous functions with everywhere convergent Fourier se- ries. It is shown that this set is a complete coanalytic set in C(T). A natural coanalytic rank function on EC is studied that assigns to each / € EC a count- able ordinal number, which measures the "complexity" of the convergence of the Fourier series of /. It is shown that there exist functions in EC (in fact even differentiable ones) which have arbitrarily large countable rank, so that this provides a proper hierarchy on EC with uii distinct levels. Let G(T) be the Banach space of continuous 27r-periodic functions on the reals with the sup norm. We study in this paper descriptive set theoretic aspects of the subset EC of G(T) consisting of the continuous functions with everywhere convergent Fourier series. It is easy to verify that EC is a coanalytic set. We show in §3 that EC is actually a complete coanalytic set and therefore in particular is not Borel. This answers a question in [Ku] and provides another example of a coanalytic non-Borel set. We also discuss in §2 (see in addition the Appendix) the relations of this kind of result to the studies in the literature concerning the classification of the set of points of divergence of the Fourier series of a continuous function.
    [Show full text]