Abel Summation MOP 2007, Black Group

Total Page:16

File Type:pdf, Size:1020Kb

Abel Summation MOP 2007, Black Group Abel Summation MOP 2007, Black Group Zachary Abel June 25, 2007 This lecture focuses on the Abel Summation formula, which is most often useful as a way to take advantage of unusual given conditions such as ordering or majorization, or simply as a way to put a new look on an expression. But in addition to learning to use this formula, I want to emphasize good, motivated thinking for all of these problems. Don’t simply hunt for the time and place to apply Abel Summation; hopefully, when and if the occasion arises, you’ll recognize it. 1 Abel Summation Let n be a positive integer, and let a1, a2, . , an and b1, b2, . , bn be two sequences. Then if Sk = a1+···+ak, n n−1 X X akbk = Snbn + Sk(bk − bk+1) (1) k=1 k=1 = (a1)(b1 − b2) + (a1 + a2)(b2 − b3) + ······ + (a1 + ··· + an−1)(bn−1 − bn) + (a1 + ··· + an)(bn). This is often called “Summation by Parts” due to its continuous analog, Integration by Parts: Z Z f(x) · g0(x) dx = f(x) · g(x) − f 0(x) · g(x) dx. (2) (Here, differentiation corresponds to differencing and antidifferentiation corresponds to partial sums.) Indeed, the equivalence of (1) and (2) can be established directly: one direction with Riemann sums, and the other with appropriate choice of functions. Problem 1. Do this. The following problems can explain the usefulness of this formula better than I could while waving my hands, so let’s get started. Problem 2. Given two sets of real numbers a1, a2, . , an; b1, b2, . , bn, prove that the following two state- ments are equivalent: (i). For any numbers x1 ≤ x2 ≤ · · · ≤ xn, a1x1 + a2x2 + ··· + anxn ≤ b1x1 + b2x2 + ··· + bnxn. 1 (ii). a1 + ··· + an = b1 + ··· + bn and a1 + ··· + ak ≥ b1 + ··· + bk for each 1 ≤ k ≤ n. P P Proof. Suppose the first condition is true. Setting xi = 1 for each i gives ai ≤ bi, and similarly setting P P x= − 1 for each i gives ai ≥ bi, so the sums are equal. Next, for each k, setting x1 = ··· = xk = −1, xk+1 = ··· = xn = 0 shows that a1 + ··· + ak ≥ b1 + ··· + bk for each k, which is exactly the condition in (ii). Now suppose (ii) holds, and take any sequence x1 ≤ · · · ≤ xn. Define Ak = a1 + ··· + ak and Bk = b1 + ··· + bk. By Abel Summation, we have a1x1 + ··· + anxn = A1(x1 − x2) + A2(x2 − x3) + ··· + An−1(xn−1 − xn) + Anxn ≥ B1(x1 − x2) + B2(x2 − x3) + ··· + An−1(xn−1 − xn) + Bnxn (3) = b1x1 + ··· + bnxn, where line (3) follows because xi − xi+1 ≤ 0 and An = Bn. This shows (i), and we’re done. Problem 3 (Romania 1999). (a). Let x1, y1, x2, y2, . , xn, yn be positive real numbers such that (i). x1y1 < x2y2 < ··· < xnyn; (ii). x1 + x2 + ··· + xk ≥ y1 + y2 + ··· + yk for all k = 1, 2, . , n. Prove that 1 1 1 1 1 1 + + ··· + ≤ + + ··· + x1 x2 xn y1 y2 yn X X (b). Let A = {a1, a2, . , an} ⊆ N be a set such that for all distinct subsets B, C ⊆ A, x 6= x. Prove x∈B x∈C that 1 1 1 + + ··· + < 2. a1 a2 an Proof. (a). The difference of the two sides can be expressed as n n X 1 1 X xi − yi − = . y x x y i=1 i i i=1 i i By Abel Summation, we can manipulate this to make use of the given conditions: n X xi − yi x y i=1 i i n−1 1 X 1 1 = (x − y ) + ··· + (x − y ) + − (x − y ) + ··· + (x − y ) x y 1 1 n n x y x y 1 1 i i n n i=1 i i i+1 i+1 ≥ 0, as needed. k (b). Order the numbers a1 < a2 < ··· < an. The 2 − 1 nonempty subsets of {a1, . , ak} have all different k k−1 sums, so a1 + ··· + ak ≥ 2 − 1 for each k. If we set yk = 2 , this reads a1 + ··· + ak ≥ y1 + ··· + yk. 2 Also, we clearly have a1y1 < a2y2 < ··· < anyn since both sequences strictly increase. Thus, by part (a), we have 1 1 1 1 1 + ··· + ≤ + ··· + = 2 − n−1 < 2, a1 an y1 yn 2 as desired. Problem 4. Define the sequence u1, . , un by u1 = 2 and un = u1 ··· un−1 + 1 for n = 2, 3,.... Prove that 1 for all n, the closest under-approximation of 1 by n Egyptian fractions is 1− . I.e., if x1 < x2 < ··· < xn u1···un are distinct positive integers such that 1 + ··· + 1 ≤ 1, then in fact x1 xn 1 1 1 1 + ··· + ≤ + ··· + . (4) x1 xn u1 un Proof. First, notice that 1 + ··· + 1 = 1 − 1 . Since 1 + ··· + 1 can be expressed as a fraction u1 un u1···un x1 xn with denominator at most x1 ··· xn, if x1 ··· xn < u1 ··· un, then inequality (4) must hold. So suppose that x1 ··· xn ≥ u1 ··· un. 1 1 The proof is by induction. The base case is clear, as x1 ≥ u1 = 2. Now, we’d like to prove +···+ ≤ x1 xn 1 1 1 1 1 1 + ··· + . By hypothesis we know that + ··· + ≤ + ··· + , so if we knew that xn ≥ un, u1 un x1 xn−1 u1 un−1 the result would follow. Unfortunately, we don’t know much about the size of xn, so this fails. What if we pull off the terms x`, x`+1, . , xn instead of just xn, for some `? If we could show that 1 + ··· 1 ≤ 1 + ··· 1 , the result would follow by adding this to the inductive hypothesis applied to index x` xn u` un ` − 1. The same problem that the xi’s may be much smaller than the ui’s might occur, but this would seem to go against the assumption that x1 · x2 ··· xn ≥ u1 · u2 ··· un. This idea is what saves us. Let ` be the largest index j so that xj · xj+1 ··· xn ≥ uj · uj+1 ··· un. This implies x` ≥ u`, x`x`+1 ≥ u`u`+1, x`x`+1x`+2 ≥ u`u`+1u`+2, etc. because otherwise we could increase `. It turns out that these inequalities alone are enough to prove that 1 1 1 1 1 1 + + ··· + ≤ + + ··· + , x` x`+1 xn u` u`+1 un which lets us finish by induction as mentioned. We’ll show this fact in the following form (which is equivalent to the original by taking reciprocals): Lemma 1. If p1 ≥ p2 ≥ · · · ≥ pn and q1 ≥ q2 ≥ · · · ≥ qn are two decreasing sequences of positive numbers and if p1 · p2 ··· pk ≤ q1 · q2 ··· qk for each 1 ≤ k ≤ n, then p1 + ··· + pn ≤ q1 + ··· + qn. 3 We can use Abel Summation in the following way (why would we think to use Abel Summation?): n X qk q1 + ··· + qn = pk · pk k=1 n X q1 qk = (pk − pk+1) + ··· + p1 pk k=1 n r q ··· q X k 1 k ≥ (pk − pk+1) · k p1 ··· pk k=1 n X ≥ (pk − pk+1) · k k=1 n X = pk, k=1 where we use the convention pn+1 = 0. This is the desired inequality. Problem 5. For any real number x and positive integer n, prove that n X sin kx √ ≤ 2 π. k k=1 Proof. After playing at the series for a while, one of the difficulties that seems to arise is the existence of two types of terms: the early ones where sin kx influences the sum more than the denominator, and the later 1 ones where the k takes over. So, a natural idea is to split the sum into two parts, namely m n X sin kx X sin kx and , k k k=1 k=m+1 for some index m yet to be determined. Consider the first of these sums. These are the ones where the sin terms seem to dominate. So assuming WLOG that 0 ≤ x < π (in fact 0 < x < π, as the x = 0 case is easy), we can use the inequality sin t ≤ t to (perhaps somewhat stupidly) form the bound m m X sin kx X kx ≤ = mx. k x k=1 k=1 Let’s be a bit more clever for the second of the sums. Recall that these are the terms where we consider the denominators more influential, so we’d like to do something simple like simply say sin t ≤ 1 and then let the k’s in the denominator carry the rest. While this doesn’t quite work in its current form (the harmonic series diverges), we can use Abel Summation to rewrite the sum as follows: n n−1 X sin kx 1 X 1 = S + S , (5) x n n n(n + 1) k k=m+1 k=m+1 4 where Sk = sin((m + 1)x) + ··· + sin(kx). But notice that we can make each Sk telescope as follows: k k X X 1 1 S = sin(tx) = cos t + 1 x − cos t − 1 x = cos n + 1 x − cos m + 1 x . k sin x 2 2 2 sin x 2 2 t=m+1 t=m+1 2 2 2 1 Now we can use the | sin t| ≤ 1 bound: we find |Sk| ≤ x = x , and so (5) produces the following: 2 sin 2 sin 2 n n−1 ! X sin kx 1 1 X 1 1 1 ≤ · + − = . k sin x n k k + 1 (m + 1) sin x k=m+1 2 k=m+1 2 1 So we have the bound mx + x on the given sum, where m is some integer that has not yet been (m+1) sin 2 chosen. As this expression is probably minimized when both terms are equal, perhaps we should try to show √ √ √ j π k π each term is bounded by π, i.e.
Recommended publications
  • Abel's Lemma on Summation by Parts and Basic Hypergeometric Series
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Advances in Applied Mathematics 39 (2007) 490–514 www.elsevier.com/locate/yaama Abel’s lemma on summation by parts and basic hypergeometric series ✩ Wenchang Chu ∗ Department of Applied Mathematics, Dalian University of Technology, Dalian 116024, PR China Received 21 May 2006; accepted 9 February 2007 Available online 6 June 2007 Abstract Basic hypergeometric series identities are revisited systematically by means of Abel’s lemma on summa- tion by parts. Several new formulae and transformations are also established. The author is convinced that Abel’s lemma on summation by parts is a natural choice in dealing with basic hypergeometric series. © 2007 Elsevier Inc. All rights reserved. MSC: primary 33D15; secondary 05A30 Keywords: Abel’s lemma on summation by parts; Basic hypergeometric series In 1826, Abel [1] (see Bromwich [7, §20] and Knopp [22, §43] also) found the following ingenious lemma on summation by parts. For two arbitrary sequences {ak}k0 and {bk}k0,if we denote the partial sums by n An = ak where n = 0, 1, 2,... k=0 then for two natural numbers m and n with m n, there holds the relation: ✩ The work carried out during the visit to Center for Combinatorics, Nankai University (2005). * Current address: Dipartimento di Matematica, Università degli Studi di Lecce, Lecce-Arnesano PO Box 193, 73100 Lecce, Italy. Fax: 39 0832 297594. E-mail address: [email protected]. 0196-8858/$ – see front matter © 2007 Elsevier Inc. All rights reserved. doi:10.1016/j.aam.2007.02.001 W.
    [Show full text]
  • Perfectly Matched Layers and High Order Difference Methods for Wave
    Dedicated to my father Mr. Ambrose Duru (1939 – 2001) List of papers This thesis is based on the following papers, which are referred to in the text by their Roman numerals. I K. Duru and G. Kreiss, (2012). A Well–posed and discretely stable perfectly matched layer for elastic wave equations in second order formulation, Commun. Comput. Phys., 11, 1643–1672 (DOI:10.4208/cicp.120210.240511a). contributions: The author of this thesis initiated this project and performed all numerical experiments. The manuscript was prepared in close collaboration between the authors II G. Kreiss and K. Duru, (2012). Discrete stability of perfectly matched layers for anisotropic wave equations in first and second order formulation, (Submitted). contributions: The author of this thesis initiated this project and performed all numerical experiments. The manuscript was prepared in close collaboration between the authors. III K. Duru and G. Kreiss, (2012). On the accuracy and stability of the perfectly matched layers in transient waveguides, J. of Sc. Comput., DOI: 10.1007/s10915-012-9594-7. In press. contributions: The author of this thesis initiated this project performed all numerical experiments and had the responsibility of writing the paper. The remaining time was spent between the author and his advisor correcting misconceptions, improving the texts and the theory. IV K. Duru and G. Kreiss, (2012). Boundary waves and stability of the perfectly matched layer. Technical report 2012-007, Department of Information Technology, Uppsala University, (Submitted) contributions: The author of this thesis initiated this project and had the responsibility of writing the paper. The remaining time was spent between the author and his advisor correcting misconceptions, improving the texts and the theory.
    [Show full text]
  • Summation and Table of Finite Sums
    SUMMATION A!D TABLE OF FI1ITE SUMS by ROBERT DELMER STALLE! A THESIS subnitted to OREGON STATE COLlEGE in partial fulfillment of the requirementh for the degree of MASTER OF ARTS June l94 APPROVED: Professor of Mathematics In Charge of Major Head of Deparent of Mathematics Chairman of School Graduate Committee Dean of the Graduate School ACKOEDGE!'T The writer dshes to eicpreßs his thanks to Dr. W. E. Mime, Head of the Department of Mathenatics, who has been a constant guide and inspiration in the writing of this thesis. TABLE OF CONTENTS I. i Finite calculus analogous to infinitesimal calculus. .. .. a .. .. e s 2 Suniming as the inverse of perfornungA............ 2 Theconstantofsuirrnation......................... 3 31nite calculus as a brancn of niathematics........ 4 Application of finite 5lflITh1tiOfl................... 5 II. LVELOPMENT OF SULTION FORiRLAS.................... 6 ttethods...........................a..........,.... 6 Three genera]. sum formulas........................ 6 III S1ThATION FORMULAS DERIVED B TIlE INVERSION OF A Z FELkTION....,..................,........... 7 s urnmation by parts..................15...... 7 Ratlona]. functions................................ Gamma and related functions........,........... 9 Ecponential and logarithrnic functions...... ... Thigonoretric arÎ hyperbolic functons..........,. J-3 Combinations of elementary functions......,..... 14 IV. SUMUATION BY IfTHODS OF APPDXIMATION..............,. 15 . a a Tewton s formula a a a S a C . a e a a s e a a a a . a a 15 Extensionofpartialsunmation................a... 15 Formulas relating a sum to an ifltegral..a.aaaaaaa. 16 Sumfromeverym'thterm........aa..a..aaa........ 17 V. TABLE OFST.Thß,..,,..,,...,.,,.....,....,,,........... 18 VI. SLThMTION OF A SPECIAL TYPE OF POER SERIES.......... 26 VI BIBLIOGRAPHY. a a a a a a a a a a . a . a a a I a s .
    [Show full text]
  • What Is... Abel Summation?!
    WHAT IS... ABEL SUMMATION?! HADRIAN QUAN Abstract. This is an expository note for myself and the members my REU team, with the goal of un- derstanding what Jean-Paul Allouche meant in his paper \Paperfolding Infinite Products and the Gamma Function" when he says \This is an immediate consequence of Abel Summation". This note is meant to be self-contained. In single variable calculus the integration by parts formula, Z b Z b f(x)0g0(x)dx = f(b)g0(b) − f(a)g0(a) − f(x)g00(x)dx a a is a wonderful trick to keep in a students toolbox. It can help with the evaluation of particularly difficult integrals. Can a similar technique be used to simplify infinite series? The insight comes from the analogy that sums are like integrals, and differences are like derivatives. With this in mind we prove a lemma of Abel Pn Pn Lemma 0.1 (Abel Summation By Parts). Given two finite sums k=1 ak and k=1 bk, define An = Pn k=1 ak. Then we have n n X X akbk = Ak(bk − bk−1) + Anbn − Am−1bm k=m k=m Proof. First note that from these definitions it follows that am = Am − Am−1. Then the proof involves the following computation, which amounts to rearranging the terms in this sum: n n n n−1 n n−1 X X X X X X akbk = (Ak − Ak−1)bk = Akbk − Ak−1bk = Akbk − Akbk+1 k=m k=m k=m k=m k=m k=m−1 n−1 n−1 X X = Akbk + Anbn − Am−1bm − Akbk+1 k=m k=m n−1 X = Ak(bk − bk−1) + Anbn − Am−1bm k=m as claimed.
    [Show full text]
  • INFINITE SERIES 1. Introduction the Two Basic Concepts of Calculus
    INFINITE SERIES KEITH CONRAD 1. Introduction The two basic concepts of calculus, differentiation and integration, are defined in terms of limits (Newton quotients and Riemann sums). In addition to these is a third fundamental limit process: infinite series. The label series is just another name for a sum. An infinite series is a \sum" with infinitely many terms, such as 1 1 1 1 (1.1) 1 + + + + ··· + + ··· : 4 9 16 n2 The idea of an infinite series is familiar from decimal expansions, for instance the expansion π = 3:14159265358979::: can be written as 1 4 1 5 9 2 6 5 3 5 8 π = 3 + + + + + + + + + + + + ··· ; 10 102 103 104 105 106 107 108 109 1010 1011 so π is an “infinite sum" of fractions. Decimal expansions like this show that an infinite series is not a paradoxical idea, although it may not be clear how to deal with non-decimal infinite series like (1.1) at the moment. Infinite series provide two conceptual insights into the nature of the basic functions met in high school (rational functions, trigonometric and inverse trigonometric functions, exponential and logarithmic functions). First of all, these functions can be expressed in terms of infinite series, and in this way all these functions can be approximated by polynomials, which are the simplest kinds of functions. That simpler functions can be used as approximations to more complicated functions lies behind the method which calculators and computers use to calculate approximate values of functions. The second insight we will have using infinite series is the close relationship between functions which seem at first to be quite different, such as exponential and trigonometric functions.
    [Show full text]
  • PROBABILITY 3 REVISION NOTES 1. Random Variables; Convolutions
    PROBABILITY 3 REVISION NOTES AARON SMITH (REVISED BY MARTON´ BALAZS)´ 1. Random Variables; Convolutions 1.1. Definition. A random variable X is discrete if there are countably many possible values X can take. 1.2. Definition. A random variable X is (absolutely) continuous if for all sets A R (“of practical inter- est”/measurable) we have that ⊆ P(X A)= f(x)dx, ∈ ZA with a function f called the density of X. 1.1. Discrete random variables. 1.3. Example (Integer valued random variable). X Z; we define p(k) := P(X = k) with the properties ∈ p(k) 0 for all k Z and k Z p(k) = 1. We define the expectation EX = k Z kp(k) and the nth ≥ n∈ n ∈ ∈ moment to be EX = k Z k p(k). In general, Eg(X) = k Z g(k)p(k) for a function g on integers. In the above we assumed that∈ theP sums exist. ∈ P P P 1.4. Definition (Binomial distribution). X Binomial(n,p); n N; p [0, 1] with mass function ∼ ∈ ∈ n k n k p(k)= p q − k (here and often in the sequel q = 1 p; notice that the binomial coefficient is only non-zero for 0 k n). − ≤ ≤ Meaning: X is the number of successes in n independent trials; each is a success with probability p. • Mass function? By Newton’s Binomial Theorem: (a + b)n = n n anbn k. • k=0 k − d Expectation and Variance? X is the sum of n independent Bernoulli(P p) random variables i.e.
    [Show full text]
  • Superior Mathematics from an Elementary Point of View ” Course Notes Jacopo D’Aurizio
    ” Superior Mathematics from an Elementary point of view ” course notes Jacopo d’Aurizio To cite this version: Jacopo d’Aurizio. ” Superior Mathematics from an Elementary point of view ” course notes. Master. Italy. 2017. cel-01813978 HAL Id: cel-01813978 https://cel.archives-ouvertes.fr/cel-01813978 Submitted on 12 Jun 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. \Superior Mathematics from an Elementary point of view" course notes Undergraduate course, 2017-2018, University of Pisa Jack D'Aurizio Contents 0 Introduction 2 1 Creative Telescoping and DFT 3 2 Convolutions and ballot problems 15 3 Chebyshev and Legendre polynomials 30 4 The glory of Fourier, Laplace, Feynman and Frullani 40 5 The Basel problem 60 6 Special functions and special products 70 7 The Cauchy-Schwarz inequality and beyond 97 8 Remarkable results in Linear Algebra 121 9 The Fundamental Theorem of Algebra 125 10 Quantitative forms of the Weierstrass approximation Theorem 133 11 Elliptic integrals and the AGM 137 12 Dilworth, Erdos-Szekeres, Brouwer and Borsuk-Ulam's Theorems 147 13 Continued fractions and elements of Diophantine Approximation 158 14 Symmetric functions and elements of Analytic Combinatorics 173 15 Spherical Trigonometry 183 0 Introduction This course has been designed to serve University students of the first and second year of Mathematics.
    [Show full text]
  • © in This Web Service Cambridge University
    Cambridge University Press 978-0-521-86744-3 - Calculus: Third Edition Michael Spivak Index More information INDEX © in this web service Cambridge University Press www.cambridge.org Cambridge University Press 978-0-521-86744-3 - Calculus: Third Edition Michael Spivak Index More information © in this web service Cambridge University Press www.cambridge.org Cambridge University Press 978-0-521-86744-3 - Calculus: Third Edition Michael Spivak Index More information AalbmcndoE, 273 Archimedian property Abel, Niels Henrik, 404, 513 for the rational numbers, 574 Abel summable, 514 for the real numbers, 136 Abel's formula for summation by parts, Archimedian spiral, 85, 246 388 Arcsec, 317, 379 Abel's Lemma, 389 Arcsin, 307 Abel's test, 488 addition formula for, 314 Abel's Theorem, 513 derivative of, 308 Absolute value, 11 Taylor series for, 509 of a complex number, 525 Arctan, 308 Absolutely convergent, 473, 547 addition formula for, 314 Absolutely summable, 473 derivative of, 308 Acceleration, 159 Taylor polynomial for, 407, 414 remainder term for, 422 Acta Eruditorum, 146 Addition, 3 Area, 250, 255 associative law for, 9 Arg cosh, 350 commutative law for, 9 Arg sinh, 350 of complex numbers, 522 Arg tanh, 350 Argument, 527 geometric interpretation of, 526 Argument function, 533 of vector-valued functions, 242 discontinuities of, 537 of vectors, 75 Argument of the hyperbolic Addition formula functions, 350 for arcsin, 314 Arithmetic mean, 33 for arctan, 314 Arrow, 75, 76 for cos, 311 \x arrow sin(x2)", 45 for sin, 310, 311 Associative law for
    [Show full text]
  • Infinite Series, Infinite Products, and Infinite Fractions
    Part 3 Infinite series, infinite products, and infinite fractions CHAPTER 5 Advanced theory of infinite series Even as the finite encloses an infinite series And in the unlimited limits appear, So the soul of immensity dwells in minutia And in the narrowest limits no limit in here. What joy to discern the minute in infinity! The vast to perceive in the small, what divinity! Jacob Bernoulli (1654-1705) Ars Conjectandi. This chapter is about going in-depth into the theory and application of infinite series. One infinite series that will come up again and again in this chapter and the next chapter as well, is the Riemann zeta function 1 1 ζ(z) = ; nz n=1 X introduced in Section 4.6. Amongst many other things, in this chapter we'll see how to write some well-known constants in terms of the Riemann zeta function; e.g. we'll derive the following neat formula for our friend log 2 ( 5.5): x 1 1 log 2 = ζ(n); 2n n=2 X another formula for our friend the Euler-Mascheroni constant ( 5.9): x 1 ( 1)n γ = − ζ(n); n n=2 X and two more formulas involving our most delicious friend π (see 's 5.10 and 5.11): x 1 3n 1 π2 1 1 1 1 1 π = − ζ(n + 1) ; = ζ(2) = = 1 + + + + : 4n 6 n2 22 32 42 · · · n=2 n=1 X X In this chapter, we'll also derive Gregory-Leibniz-Madhava's formula ( 5.10) x π 1 1 1 1 1 = 1 + + + ; 4 − 3 5 − 7 9 − 11 − · · · and Machin's formula which started the \decimal place race" of computing π ( 5.10): x 1 1 1 ( 1)n 4 1 π = 4 arctan arctan = 4 − : 5 − 239 (2n + 1) 52n+1 − 2392n+1 n=0 X 229 230 5.
    [Show full text]
  • Topics in Integration and Infinite Series
    Topics in Integration and Infinite Series Joseph Breen Last updated: January 5, 2020 Department of Mathematics University of California, Los Angeles Contents Preface 3 1 Preliminaries5 2 Integration Techniques6 2.1 Imaginary numbers.................................6 2.1.1 Generalities on imaginary numbers...................6 2.1.2 Some examples...............................8 2.2 Differentiating a parametric integral....................... 10 2.3 Symmetry and unconventional substitutions.................. 10 3 Convergence Tests for Infinite Series 11 3.1 The condensation test................................ 11 3.1.1 The condensation test in the context of the integral test........ 14 3.2 The second ratio test................................ 15 3.3 Raabe’s ratio test.................................. 17 3.3.1 Generalizing Raabe’s ratio test even further: Kummer’s ratio test.. 21 3.4 A generalization of the alternating series test: Dirichlet’s test......... 22 3.5 A one-two punch: limit comparison and Taylor polynomials......... 25 4 Additional Infinite Series Topics 31 4.1 Rearrangement of conditionally convergent series............... 31 4.2 Summation by parts................................ 31 4.3 Acceleration methods................................ 32 4.4 Thinning out the harmonic series......................... 32 4.5 Open infinite series................................. 32 4.6 Fascinating formulas................................ 32 5 The Basel Problem 33 5.1 The first solution: A polynomial with infinitely many roots.......... 33 5.2 The second solution: A double integral..................... 36 5.3 The third solution: Another double integral................... 37 5.4 The fourth solution: A complex integral..................... 39 6 Some Really Hard Problems 42 6.1 A really hard integral................................ 42 A Proofs of Convergence Tests 48 A.1 The condensation test................................ 48 A.2 The second ratio test...............................
    [Show full text]
  • Analytic Number Theory
    Introduction to Analytic Number Theory Selected Topics Lecture Notes Winter 2019/ 2020 Alois Pichler Faculty of Mathematics DRAFT Version as of April 23, 2021 2 Figure 1: Wizzard of Evergreen Terrace: Fermat’s last theorem wrong rough draft: do not distribute Contents 1 Introduction 7 2 Definitions 9 2.1 Elementary properties.................................9 2.2 Fundamental theorem of arithmetic.......................... 12 2.3 Properties of primes.................................. 13 2.4 Chinese remainder theorem.............................. 14 2.5 Problems........................................ 16 3 Elementary number theory 19 3.1 Euler’s totient function................................. 19 3.2 Euler’s theorem..................................... 21 3.3 Fermat Primality test.................................. 23 3.4 AKS Primality test................................... 23 3.5 Problems........................................ 24 4 Continued fractions 25 4.1 Generalized continued fraction............................ 25 4.2 Regular continued fraction............................... 27 4.3 Elementary properties................................. 29 4.4 Problems........................................ 29 5 Bernoulli numbers and polynomials 31 5.1 Definitions........................................ 31 5.2 Summation and multiplication theorem........................ 32 5.3 Fourier series...................................... 33 5.4 Umbral calculus.................................... 34 6 Gamma function 35 6.1 Equivalent definitions.................................
    [Show full text]
  • LECTURE 6: the ITˆO CALCULUS 1. Introduction: Geometric Brownian Motion According to Lévy's Representation Theorem, Quoted A
    LECTURE 6: THE ITOˆ CALCULUS 1. Introduction: Geometric Brownian motion According to Levy´ ’s representation theorem, quoted at the beginning of the last lecture, every continuous–time martingale with continuous paths and finite quadratic variation is a time–changed Brownian motion. Thus, we expect discounted price processes in arbitrage–free, continuous–time markets to be time–changed Brownian motions. However, Brownian motion (with no time change) is not an appropriate model for the behavior of stock price processes. Why not? Among other x reasons is this: If {W (t)}t≥0 is a Brownian motion started at x > 0, then eventually the path W (t) will drift below 0.1 But the share prices of stocks traded on major exchanges do not drop below 0. So what is a more appropriate model for stock price behavior? Consider the issue of expected return on investment. If an investor has $100 to invest, he/she should, at the very least, expect the same return on the $100 investment when the share price is $10 as when the share price is $5. (If the expected return were higher for $5 shares than for $10 shares, the shareholders would split the $10 shares into twice as many $5 shares, thus increasing their expected return by a mere accounting trick!) Similarly, the uncertainty about the return on a $100 investment should be the same for $5 shares as for $10 shares. Thus, fluctuations in share price should be twice as great when the share price is twice as high, three times as great when the share price is three times as high, etc.
    [Show full text]