Pólya s Random Walk Theorem arxiv: v2 [math.pr] 18 Apr 2013
|
|
- Patricia Sparks
- 6 years ago
- Views:
Transcription
1 Pólya s Random Wal Theorem arxiv: v2 [math.pr] 18 Apr 213 Jonathan ova Abstract This note presents a proof of Pólya s random wal theorem using classical methods from special function theory and asymptotic analysis. 1 Introduction. This note is about a remarable law of nature discovered by George Pólya [6]. Consider a particle situated at a given point of the integer lattice Z d. Supposethat, ateachticofthe cloc, the particlejumps toarandomlyselected neighbouring lattice point, with equal probability of jumping in any direction. In other words, this particle is executing the simple random wal on Z d. A random wal is said to be recurrent if it returns to its initial position with probability one. A random wal which is not recurrent is called transient. Pólya s classic result [6] is the following. Theorem 1 The simple random wal on Z d is recurrent in dimensions d = 1,2 and transient in dimension d 3. Pólya s theorem is a foundational result in the theory of random wals, and many proofs are available. This note presents a new proof of Pólya s Theorem using techniques developed by de Moivre and Laplace in the eighteenth and nineteenth centuries in order to to establish the basic limit theorems of probability theory, see [5, Chapter 2]. These classical methods have returned to the forefront of contemporary probability, where new universality classes of limit theorems are being investigated via the asymptotic analysis of exact formulas [4]. Thus, in a sense, the proof of Pólya s theorem given here is both more classical and more modern than the arguments one finds in textboos. 2 Loop decomposition Let E denote the event that the simple random wal on Z d returns to its initial position, and put p = Prob(E). For n 1, let E n be the event that the random walreturns to its initial position forthe first time after n steps. It is convenient to set E =, corresponding to the fact that the initial position of the random wal does not count as a return (if it did, the return probability of any random 1
2 wal would be one). The events E n are mutually exclusive for different values of n, and E = n E n. Hence p = n p n, where p n = Prob(E n ). Aloop onz d isawalwhichbeginsandendsatagivenpoint. Itisconvenient to consider wals of length zero as loops; such loops are called trivial. A nontrivial loop is indecomposable if it is not the concatenation of two non-trivial loops. Choose a particular point of Z d, and let l n denote the number of loops of length n based at this point. Let r n denote the number of these which are indecomposable. ote that l = 1 while r =. Since any non-trivial loop is the concatenation of an indecomposable loop followed by a (possibly trivial) loop, the counts l n and r n are related by l n = n r l n = for all n 1. Dividing both sides of this equation by (2d) n, the total number of length n wals emanating from a given point of Z d, we obtain the relation q n = n p q n = for all n 1, where as above p n is the probability that the random wal returns to its initial position for the first time after n steps, while q n is the probability that the random wal is located at its original position after n steps. We introduce the generating functions P(z) = p n z n and Q(z) = q n z n. n= n= The relation between p n and q n is then equivalent to the identity P(z)Q(z) = Q(z) 1 in the algebra Q[[z]] of formal power series. Since p n q n 1, each of these series has radius of convergence at least one, and the above may be considered as an identity in the algebra of analytic functions on the open unit disc in C. The function Q(z) is non-vanishing for z in the interval [,1), and hence we have 2
3 Since P(z) = 1 1 Q(z), z [,1). P(1) = p n = p, n= Abel s power series theorem applies and we have 1 p = lim P(z) = 1 z 1 lim Q(z). z [,1) z 1 z [,1) The limit in the denominator is either + or a positive real number. In the former case we have p = 1 (recurrence), and in the latter p < 1 (transience). 3 Exponential loop generating function In order to analyze the limit in question, we need a tractable representation of the function Q(z). This amounts to finding an expression for the loop generating function L(z) = l n z n. n= Indeed, Q(z) = L( z 2d ). While the ordinary generating function L(z) is difficult to analyze directly, the exponential loop generating function E(z) = n= l n z n n! is quite accessible. This is because any loop on Z d is a shuffle of loops on Z 1, and products of exponential generating functions correspond to shuffles. This is a basic property of exponential generating functions which we will review in the specific case at hand. For a general treatment, the reader is referred to [7, Chapter 5]. In this paragraphit is important to mae the dependence on d explicit, sowe write l (d) n for the number of length n loops on Z d and E d (z) for the exponential generating function of this sequence. Let us consider the case d = 2. A loop on Z 2 is a closed wal which taes unit steps in two directions, horizontal and vertical. A length n loop on Z 2 is made up of some number of horizontal steps together with n vertical steps. The horizontal steps constitute a length loop on Z, and the n vertical steps constitute a length n loop on Z. Thus, the number of length n loops on Z 2 which tae horizontal and n vertical steps is 3
4 ( ) n l (1) l(1) n, since specifying the times at which the horizontal steps occur uniquely determines the times at which the n vertical steps occur. The total number of length n loops on Z 2 is therefore l (2) n = n = ( ) n l (1) l(1) n. This is equivalent to the generating function identity E 2 (z) = E 1 (z) 2. The same reasoning applies for any d, and in general we have E d (z) = E 1 (z) d. Counting loops in one dimension is easy, {( 2 ) n =, if n = 2 is even,, if n is odd. l (1) Indeed, any loop on Z consists of positive steps and negative steps for some, and the times at which the positive steps occur determine the times at which the negative steps occur. Thus E 1 (z) = = ( ) 2 z 2 (2)! = z 2!!. = ow a minor miracle occurs: the exponential generating function for lattice wals in one dimension is a modified Bessel function of the first ind. The modified Bessel function of the first ind, usually denoted I α (z), is one of two linearly independent solutions to the second order differential equation (z 2 d2 dz 2 +z d ) dz (z2 +α 2 ) F(z) =, α C. This differential equation is nown as the modified Bessel equation; it appears in a multitude of physical problems, and was exhaustively studied by nineteenth century mathematicians. An excellent reference on this subject is[1, Chapter 4]. It is nown that the modified Bessel function admits both a series representation, I α (z) = and an integral representation, = ( z 2 )2+α!Γ( +α+1),. 4
5 I α (z) = ( z 2 )α πγ(α+ 1 2 ) e (cosθ)z (sinθ) 2α dθ. From the series representation, we see that E 1 (z) = I (2z), and hence 4 Borel transform E(z) = I (2z) d. We now have a representation of the exponential generating function E(z) counting loops on Z d in terms of a standard mathematical object, the modified Bessel function I (z). What we need, however, is a representation of the ordinary loop generating function L(z). The integral transform (Bf)(z) = f(tz)e t dt, which loos lie the Laplace transform of f but with the z-parameter in the wrong place, converts exponential generating functions into ordinary generating functions. To see why, write out the Maclaurin series of f(tz), interchange integration and summation to obtain and use the fact that (Bf)(z) = n= f (n) () zn n! t n e t dt = n!. t n e t dt, The transform f Bf was invented by Borel in order to sum divergent series [3, p. 55]. In our case, the Borel transform produces the formula L(z) = BE(z) = BI (2z) d = which in turn leads to the integral representation Q(z) = L( z 2d ) = I (2tz) d e t dt, I ( tz d ) d e t dt. 5
6 5 The Laplace principle We will now use the integral representation just obtained to determine whether the limit under consideration is finite or infinite. It suffices to answer this question for the tail integral I ( tz d ) d e t dt,. For large, the behaviour of the tail integral is in turn determined by the behaviour of the integrand as t. In order to estimate the integrand, we invoe the formula ( ) tz I = 1 e tf(θ) dθ, d π wheref(θ) = z d cosθ, andestimatethisintegralast usingabasictechnique of asymptotic analysis nown as Laplace s method. The function f(θ) is strictly maximized over the interval [,π] at the left endpoint θ =. Thus the integrand e tf(θ) is exponentially larger at θ = than at any other point of this interval. As t this effect becomes increasingly exaggerated,somuchsothattheintegral localizes atθ = ainthet limit. To quantify this, note that f () =,f () <, and consider the quadratic Taylor approximation of f(θ): f(θ) f() f () θ2 2. Replacing f(θ) with its quadratic approximation, we obtain the integral approximation e tf(θ) dθ e tf() e t f () θ2 2 dθ. Extending the integral on the right over the positive reals and ignoring the rapidly decaying error incurred results in a half a Gaussian integral, which can be computed exactly: Thus we expect that + e t f () θ2 π 2 dθ = 2t f (). π e tf(θ) dθ e tf() 2t f () is an approximation of our integral whose accuracy increases as t. Laplace s principle (see e.g. [2, 5.2]) is the statement that this is indeed the case; we have π e tf(θ) dθ e tf() 2t f (), t, 6
7 where the notation F(t) G(t), t means that lim t F(t) G(t) = 1. Putting everything together, we have the asymptotic formula I ( tz d ) d e t constant e t(z 1) (tz) d 2, t. Applying the monotone convergence theorem, we find lim z 1 z [,1) e t(z 1) (tz) d 2 dt = lim z 1 z [,1) e t(z 1) (tz) d 2 dt = t d 2 dt, and thus conclude that the recurrence or transience of the simple random wal on Z d is equivalent to the divergence or convergence of the integral t d/2 dt,. Sincethisintegraldivergesford = 1,2andconvergesford 3, Pólya stheorem is proved. References [1] G. Andrews, R. Asey, R. Roy, Special Functions. Cambridge University Press, [2]. Bleistein, R. A. Handelsman, Asymptotic Expansions of Integrals. Holt, Rinehart and Winston, ew Yor, [3] E.Borel,Mémoiresurlesseriesdivergentes,Annales Scientifique de l É..S., 3 e série, tome 16 (1899) [4] A. Borodin, V. Gorin, Lectures on integrable probability, available at [5] H. Fisher, A History of the Central Limit Theorem from Classical to Modern Probability. Springer, ew Yor, 211. [6] G. Pólya, Über eine Aufgabe derwahrscheinlicheitsrechnungbetreffend die Irrfahrt im Strassennetz, Math. Ann. 84 (1921), [7] R. P. Stanley, Enumerative Combinatorics. Vol. 2, Cambridge University Press, Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA 2139 jnova@math.mit.edu 7
Pólya s Random Walk Theorem
Pólya s Random Walk Theorem Jonathan ovak Abstract. This note presents a proof of Pólya s random walk theorem using classical methods from special function theory and asymptotic analysis. 1. ITRODUCTIO.
More informationLast Update: March 1 2, 201 0
M ath 2 0 1 E S 1 W inter 2 0 1 0 Last Update: March 1 2, 201 0 S eries S olutions of Differential Equations Disclaimer: This lecture note tries to provide an alternative approach to the material in Sections
More informationTaylor Series and Asymptotic Expansions
Taylor Series and Asymptotic Epansions The importance of power series as a convenient representation, as an approimation tool, as a tool for solving differential equations and so on, is pretty obvious.
More informationare the q-versions of n, n! and . The falling factorial is (x) k = x(x 1)(x 2)... (x k + 1).
Lecture A jacques@ucsd.edu Notation: N, R, Z, F, C naturals, reals, integers, a field, complex numbers. p(n), S n,, b(n), s n, partition numbers, Stirling of the second ind, Bell numbers, Stirling of the
More informationKUMMER S LEMMA KEITH CONRAD
KUMMER S LEMMA KEITH CONRAD Let p be an odd prime and ζ ζ p be a primitive pth root of unity In the ring Z[ζ], the pth power of every element is congruent to a rational integer mod p, since (c 0 + c 1
More informationNotes on Complex Analysis
Michael Papadimitrakis Notes on Complex Analysis Department of Mathematics University of Crete Contents The complex plane.. The complex plane...................................2 Argument and polar representation.........................
More informationSECTION A. f(x) = ln(x). Sketch the graph of y = f(x), indicating the coordinates of any points where the graph crosses the axes.
SECTION A 1. State the maximal domain and range of the function f(x) = ln(x). Sketch the graph of y = f(x), indicating the coordinates of any points where the graph crosses the axes. 2. By evaluating f(0),
More informationPRELIMINARIES FOR HYPERGEOMETRIC EQUATION. We will only consider differential equations with regular singularities in this lectures.
PRELIMINARIES FOR HYPERGEOMETRIC EQUATION EDMUND Y.-M. CHIANG Abstract. We give a brief introduction to some preliminaries for Gauss hypergeometric equations. We will only consider differential equations
More informationLaplace s Equation in Cylindrical Coordinates and Bessel s Equation (I)
Laplace s Equation in Cylindrical Coordinates and Bessel s Equation I) 1 Solution by separation of variables Laplace s equation is a key equation in Mathematical Physics. Several phenomena involving scalar
More informationlaplace s method for ordinary differential equations
Physics 24 Spring 217 laplace s method for ordinary differential equations lecture notes, spring semester 217 http://www.phys.uconn.edu/ rozman/ourses/p24_17s/ Last modified: May 19, 217 It is possible
More informationSome Fun with Divergent Series
Some Fun with Divergent Series 1. Preliminary Results We begin by examining the (divergent) infinite series S 1 = 1 + 2 + 3 + 4 + 5 + 6 + = k=1 k S 2 = 1 2 + 2 2 + 3 2 + 4 2 + 5 2 + 6 2 + = k=1 k 2 (i)
More informationSeries Solutions. 8.1 Taylor Polynomials
8 Series Solutions 8.1 Taylor Polynomials Polynomial functions, as we have seen, are well behaved. They are continuous everywhere, and have continuous derivatives of all orders everywhere. It also turns
More informationMath Homework 2
Math 73 Homework Due: September 8, 6 Suppose that f is holomorphic in a region Ω, ie an open connected set Prove that in any of the following cases (a) R(f) is constant; (b) I(f) is constant; (c) f is
More informationMath 1B Final Exam, Solution. Prof. Mina Aganagic Lecture 2, Spring (6 points) Use substitution and integration by parts to find:
Math B Final Eam, Solution Prof. Mina Aganagic Lecture 2, Spring 20 The eam is closed book, apart from a sheet of notes 8. Calculators are not allowed. It is your responsibility to write your answers clearly..
More informationCERTAIN INTEGRALS ARISING FROM RAMANUJAN S NOTEBOOKS
CERTAIN INTEGRALS ARISING FROM RAMANUJAN S NOTEBOOKS BRUCE C. BERNDT AND ARMIN STRAUB Abstract. In his third noteboo, Ramanujan claims that log x dx + π 2 x 2 dx. + 1 In a following cryptic line, which
More informationBohr & Wheeler Fission Theory Calculation 4 March 2009
Bohr & Wheeler Fission Theory Calculation 4 March 9 () Introduction The goal here is to reproduce the calculation of the limiting Z /A against spontaneous fission Z A lim a S. (.) a C as first done by
More informationC.7. Numerical series. Pag. 147 Proof of the converging criteria for series. Theorem 5.29 (Comparison test) Let a k and b k be positive-term series
C.7 Numerical series Pag. 147 Proof of the converging criteria for series Theorem 5.29 (Comparison test) Let and be positive-term series such that 0, for any k 0. i) If the series converges, then also
More informationGENERATING SERIES FOR IRREDUCIBLE POLYNOMIALS OVER FINITE FIELDS
GENERATING SERIES FOR IRREDUCIBLE POLYNOMIALS OVER FINITE FIELDS ARNAUD BODIN Abstract. We count the number of irreducible polynomials in several variables of a given degree over a finite field. The results
More informationConsidering our result for the sum and product of analytic functions, this means that for (a 0, a 1,..., a N ) C N+1, the polynomial.
Lecture 3 Usual complex functions MATH-GA 245.00 Complex Variables Polynomials. Construction f : z z is analytic on all of C since its real and imaginary parts satisfy the Cauchy-Riemann relations and
More information) = nlog b ( m) ( m) log b ( ) ( ) = log a b ( ) Algebra 2 (1) Semester 2. Exponents and Logarithmic Functions
Exponents and Logarithmic Functions Algebra 2 (1) Semester 2! a. Graph exponential growth functions!!!!!! [7.1]!! - y = ab x for b > 0!! - y = ab x h + k for b > 0!! - exponential growth models:! y = a(
More informationModified Bessel functions : Iα, Kα
Modified Bessel functions : Iα, Kα The Bessel functions are valid even for complex arguments x, and an important special case is that of a purely imaginary argument. In this case, the solutions to the
More informationModule 9 : Infinite Series, Tests of Convergence, Absolute and Conditional Convergence, Taylor and Maclaurin Series
Module 9 : Infinite Series, Tests of Convergence, Absolute and Conditional Convergence, Taylor and Maclaurin Series Lecture 27 : Series of functions [Section 271] Objectives In this section you will learn
More informationComplex numbers, the exponential function, and factorization over C
Complex numbers, the exponential function, and factorization over C 1 Complex Numbers Recall that for every non-zero real number x, its square x 2 = x x is always positive. Consequently, R does not contain
More informationAsymptotics of integrals
October 3, 4 Asymptotics o integrals Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/complex/notes 4-5/4c basic asymptotics.pd].
More informationLECTURE 10: REVIEW OF POWER SERIES. 1. Motivation
LECTURE 10: REVIEW OF POWER SERIES By definition, a power series centered at x 0 is a series of the form where a 0, a 1,... and x 0 are constants. For convenience, we shall mostly be concerned with the
More informationThe Gaussian coefficient revisited
The Gaussian coefficient revisited Richard EHRENBORG and Margaret A. READDY Abstract We give new -(1+)-analogue of the Gaussian coefficient, also now as the -binomial which, lie the original -binomial
More informationWAITING FOR A BAT TO FLY BY (IN POLYNOMIAL TIME)
WAITING FOR A BAT TO FLY BY (IN POLYNOMIAL TIME ITAI BENJAMINI, GADY KOZMA, LÁSZLÓ LOVÁSZ, DAN ROMIK, AND GÁBOR TARDOS Abstract. We observe returns of a simple random wal on a finite graph to a fixed node,
More informationChapter 1, Exercise 22
Chapter, Exercise 22 Let N = {,2,3,...} denote the set of positive integers. A subset S N is said to be in arithmetic progression if S = {a,a+d,a+2d,a+3d,...} where a,d N. Here d is called the step of
More informationPart IB. Further Analysis. Year
Year 2004 2003 2002 2001 10 2004 2/I/4E Let τ be the topology on N consisting of the empty set and all sets X N such that N \ X is finite. Let σ be the usual topology on R, and let ρ be the topology on
More informationStat 451 Lecture Notes Numerical Integration
Stat 451 Lecture Notes 03 12 Numerical Integration Ryan Martin UIC www.math.uic.edu/~rgmartin 1 Based on Chapter 5 in Givens & Hoeting, and Chapters 4 & 18 of Lange 2 Updated: February 11, 2016 1 / 29
More informationHere are brief notes about topics covered in class on complex numbers, focusing on what is not covered in the textbook.
Phys374, Spring 2008, Prof. Ted Jacobson Department of Physics, University of Maryland Complex numbers version 5/21/08 Here are brief notes about topics covered in class on complex numbers, focusing on
More informationarxiv: v3 [math.ca] 14 Oct 2015
Symmetry, Integrability and Geometry: Methods and Applications Certain Integrals Arising from Ramanujan s Noteboos SIGMA 11 215), 83, 11 pages Bruce C. BERNDT and Armin STRAUB arxiv:159.886v3 [math.ca]
More informationReview of Power Series
Review of Power Series MATH 365 Ordinary Differential Equations J. Robert Buchanan Department of Mathematics Fall 2018 Introduction In addition to the techniques we have studied so far, we may use power
More informationPower series and Taylor series
Power series and Taylor series D. DeTurck University of Pennsylvania March 29, 2018 D. DeTurck Math 104 002 2018A: Series 1 / 42 Series First... a review of what we have done so far: 1 We examined series
More informationLimits at Infinity. Horizontal Asymptotes. Definition (Limits at Infinity) Horizontal Asymptotes
Limits at Infinity If a function f has a domain that is unbounded, that is, one of the endpoints of its domain is ±, we can determine the long term behavior of the function using a it at infinity. Definition
More informationTaylor series. Chapter Introduction From geometric series to Taylor polynomials
Chapter 2 Taylor series 2. Introduction The topic of this chapter is find approximations of functions in terms of power series, also called Taylor series. Such series can be described informally as infinite
More informationCOMPOSITIONS, PARTITIONS, AND FIBONACCI NUMBERS
COMPOSITIONS PARTITIONS AND FIBONACCI NUMBERS ANDREW V. SILLS Abstract. A bijective proof is given for the following theorem: the number of compositions of n into odd parts equals the number of compositions
More informationMATH section 3.1 Maximum and Minimum Values Page 1 of 7
MATH section. Maimum and Minimum Values Page of 7 Definition : Let c be a number in the domain D of a function f. Then c ) is the Absolute maimum value of f on D if ) c f() for all in D. Absolute minimum
More informationA Combinatorial Interpretation of the Numbers 6 (2n)! /n! (n + 2)!
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 8 (2005), Article 05.2.3 A Combinatorial Interpretation of the Numbers 6 (2n)! /n! (n + 2)! Ira M. Gessel 1 and Guoce Xin Department of Mathematics Brandeis
More informationRandom walks on Z with exponentially increasing step length and Bernoulli convolutions
Random walks on Z with exponentially increasing step length and Bernoulli convolutions Jörg Neunhäuserer University of Hannover, Germany joerg.neunhaeuserer@web.de Abstract We establish a correspondence
More informationConvoluted Convolved Fibonacci Numbers
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 7 (2004, Article 04.2.2 Convoluted Convolved Fibonacci Numbers Pieter Moree Max-Planc-Institut für Mathemati Vivatsgasse 7 D-53111 Bonn Germany moree@mpim-bonn.mpg.de
More informationChapter 31. The Laplace Transform The Laplace Transform. The Laplace transform of the function f(t) is defined. e st f(t) dt, L[f(t)] =
Chapter 3 The Laplace Transform 3. The Laplace Transform The Laplace transform of the function f(t) is defined L[f(t)] = e st f(t) dt, for all values of s for which the integral exists. The Laplace transform
More information1 Solving Linear Recurrences
Solving Linear Recurrences Suppose we have a sequence a n defined by the formula The first couple terms of the sequence are a n = 3a n +, a 0 =, 4, 3, 40, 2,... Can you find a general closed for expression
More informationINFINITE SEQUENCES AND SERIES
11 INFINITE SEQUENCES AND SERIES INFINITE SEQUENCES AND SERIES In section 11.9, we were able to find power series representations for a certain restricted class of functions. INFINITE SEQUENCES AND SERIES
More informationMath156 Review for Exam 4
Math56 Review for Eam 4. What will be covered in this eam: Representing functions as power series, Taylor and Maclaurin series, calculus with parametric curves, calculus with polar coordinates.. Eam Rules:
More informationHIGHER-ORDER LINEAR ORDINARY DIFFERENTIAL EQUATIONS. David Levermore Department of Mathematics University of Maryland.
HIGHER-ORDER LINEAR ORDINARY DIFFERENTIAL EQUATIONS David Levermore Department of Mathematics University of Maryland 28 March 2008 The following is a review of some of the material that we covered on higher-order
More informationInfinite series, improper integrals, and Taylor series
Chapter 2 Infinite series, improper integrals, and Taylor series 2. Introduction to series In studying calculus, we have explored a variety of functions. Among the most basic are polynomials, i.e. functions
More informationPHYS 404 Lecture 1: Legendre Functions
PHYS 404 Lecture 1: Legendre Functions Dr. Vasileios Lempesis PHYS 404 - LECTURE 1 DR. V. LEMPESIS 1 Legendre Functions physical justification Legendre functions or Legendre polynomials are the solutions
More informationMath 143 Flash Cards. Divergence of a sequence {a n } {a n } diverges to. Sandwich Theorem for Sequences. Continuous Function Theorem for Sequences
Math Flash cards Math 143 Flash Cards Convergence of a sequence {a n } Divergence of a sequence {a n } {a n } diverges to Theorem (10.1) {a n } diverges to Sandwich Theorem for Sequences Theorem (10.1)
More informationPrime numbers and Gaussian random walks
Prime numbers and Gaussian random walks K. Bruce Erickson Department of Mathematics University of Washington Seattle, WA 9895-4350 March 24, 205 Introduction Consider a symmetric aperiodic random walk
More informationQuantum Field Theory Homework 3 Solution
Quantum Field Theory Homework 3 Solution 1 Complex Gaußian Integrals Consider the integral exp [ ix 2 /2 ] dx (1) First show that it is not absolutely convergent. Then we should define it as Next, show
More informationSuccessive Derivatives and Integer Sequences
2 3 47 6 23 Journal of Integer Sequences, Vol 4 (20, Article 73 Successive Derivatives and Integer Sequences Rafael Jaimczu División Matemática Universidad Nacional de Luján Buenos Aires Argentina jaimczu@mailunlueduar
More informationζ (s) = s 1 s {u} [u] ζ (s) = s 0 u 1+sdu, {u} Note how the integral runs from 0 and not 1.
Problem Sheet 3. From Theorem 3. we have ζ (s) = + s s {u} u+sdu, (45) valid for Res > 0. i) Deduce that for Res >. [u] ζ (s) = s u +sdu ote the integral contains [u] in place of {u}. ii) Deduce that for
More informationCalculus Math 21B, Winter 2009 Final Exam: Solutions
Calculus Math B, Winter 9 Final Exam: Solutions. (a) Express the area of the region enclosed between the x-axis and the curve y = x 4 x for x as a definite integral. (b) Find the area by evaluating the
More informationSecond Midterm Exam Name: Practice Problems March 10, 2015
Math 160 1. Treibergs Second Midterm Exam Name: Practice Problems March 10, 015 1. Determine the singular points of the function and state why the function is analytic everywhere else: z 1 fz) = z + 1)z
More informationCOMPLEX NUMBERS AND SERIES
COMPLEX NUMBERS AND SERIES MIKE BOYLE Contents 1. Complex Numbers 1 2. The Complex Plane 2 3. Addition and Multiplication of Complex Numbers 2 4. Why Complex Numbers Were Invented 3 5. The Fundamental
More informationNotes on uniform convergence
Notes on uniform convergence Erik Wahlén erik.wahlen@math.lu.se January 17, 2012 1 Numerical sequences We begin by recalling some properties of numerical sequences. By a numerical sequence we simply mean
More informationEstimates for probabilities of independent events and infinite series
Estimates for probabilities of independent events and infinite series Jürgen Grahl and Shahar evo September 9, 06 arxiv:609.0894v [math.pr] 8 Sep 06 Abstract This paper deals with finite or infinite sequences
More informationarxiv: v6 [math.nt] 12 Sep 2017
Counterexamples to the conjectured transcendence of /α) k, its closed-form summation and extensions to polygamma functions and zeta series arxiv:09.44v6 [math.nt] Sep 07 F. M. S. Lima Institute of Physics,
More informationR- and C-Differentiability
Lecture 2 R- and C-Differentiability Let z = x + iy = (x,y ) be a point in C and f a function defined on a neighbourhood of z (e.g., on an open disk (z,r) for some r > ) with values in C. Write f (z) =
More informationMATH 802: ENUMERATIVE COMBINATORICS ASSIGNMENT 2
MATH 80: ENUMERATIVE COMBINATORICS ASSIGNMENT KANNAPPAN SAMPATH Facts Recall that, the Stirling number S(, n of the second ind is defined as the number of partitions of a [] into n non-empty blocs. We
More informationLinear Recurrence Relations for Sums of Products of Two Terms
Linear Recurrence Relations for Sums of Products of Two Terms Yan-Ping Mu College of Science, Tianjin University of Technology Tianjin 300384, P.R. China yanping.mu@gmail.com Submitted: Dec 27, 2010; Accepted:
More informationA Minimal Uncertainty Product for One Dimensional Semiclassical Wave Packets
A Minimal Uncertainty Product for One Dimensional Semiclassical Wave Packets George A. Hagedorn Happy 60 th birthday, Mr. Fritz! Abstract. Although real, normalized Gaussian wave packets minimize the product
More informationarxiv: v1 [math-ph] 17 Nov 2008
November 008 arxiv:08.644v [math-ph] 7 Nov 008 Regularized Euler product for the zeta function and the Birch and Swinnerton-Dyer and the Beilinson conjecture Minoru Fujimoto and Kunihio Uehara Seia Science
More informationPrecise error estimate of the Brent-McMillan algorithm for the computation of Euler s constant
Precise error estimate of the Brent-McMillan algorithm for the computation of Euler s constant Jean-Pierre Demailly Université de Grenoble Alpes, Institut Fourier Abstract Brent and McMillan introduced
More informationLearning Objectives for Math 166
Learning Objectives for Math 166 Chapter 6 Applications of Definite Integrals Section 6.1: Volumes Using Cross-Sections Draw and label both 2-dimensional perspectives and 3-dimensional sketches of the
More informationMath 141: Lecture 19
Math 141: Lecture 19 Convergence of infinite series Bob Hough November 16, 2016 Bob Hough Math 141: Lecture 19 November 16, 2016 1 / 44 Series of positive terms Recall that, given a sequence {a n } n=1,
More informationSummation Techniques, Padé Approximants, and Continued Fractions
Chapter 5 Summation Techniques, Padé Approximants, and Continued Fractions 5. Accelerated Convergence Conditionally convergent series, such as 2 + 3 4 + 5 6... = ( ) n+ = ln2, (5.) n converge very slowly.
More informationMATH Solutions to Probability Exercises
MATH 5 9 MATH 5 9 Problem. Suppose we flip a fair coin once and observe either T for tails or H for heads. Let X denote the random variable that equals when we observe tails and equals when we observe
More informationAsymptotic Expansions
Asymptotic Expansions V 1.5.4 217/1/3 Suppose we have a function f(x) of single real parameter x and we are interested in an approximation to f(x) for x close to x. The approximation might depend on whether
More informationarxiv: v1 [math.nt] 15 Mar 2012
ON ZAGIER S CONJECTURE FOR L(E, 2): A NUMBER FIELD EXAMPLE arxiv:1203.3429v1 [math.nt] 15 Mar 2012 JEFFREY STOPPLE ABSTRACT. We work out an example, for a CM elliptic curve E defined over a real quadratic
More informationSome of the different forms of a signal, obtained by transformations, are shown in the figure. jwt e z. jwt z e
Transform methods Some of the different forms of a signal, obtained by transformations, are shown in the figure. X(s) X(t) L - L F - F jw s s jw X(jw) X*(t) F - F X*(jw) jwt e z jwt z e X(nT) Z - Z X(z)
More informationConformal maps. Lent 2019 COMPLEX METHODS G. Taylor. A star means optional and not necessarily harder.
Lent 29 COMPLEX METHODS G. Taylor A star means optional and not necessarily harder. Conformal maps. (i) Let f(z) = az + b, with ad bc. Where in C is f conformal? cz + d (ii) Let f(z) = z +. What are the
More informationSolutions for Problem Set #5 due October 17, 2003 Dustin Cartwright and Dylan Thurston
Solutions for Problem Set #5 due October 17, 23 Dustin Cartwright and Dylan Thurston 1 (B&N 6.5) Suppose an analytic function f agrees with tan x, x 1. Show that f(z) = i has no solution. Could f be entire?
More informationMaxwell s equations for electrostatics
Maxwell s equations for electrostatics October 6, 5 The differential form of Gauss s law Starting from the integral form of Gauss s law, we treat the charge as a continuous distribution, ρ x. Then, letting
More informationApproximating the Conway-Maxwell-Poisson normalizing constant
Filomat 30:4 016, 953 960 DOI 10.98/FIL1604953S Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Approximating the Conway-Maxwell-Poisson
More informationReview problems solutions
Review problems solutions Math 3152 December 15, 2017 1. Use the binomial theorem to prove that, for all n 1 and k satisfying 0 k n, ( )( ) { n i ( 1) i k 1 if k n; i k 0 otherwise. ik Solution: Using
More informationFourier Theory on the Complex Plane II Weak Convergence, Classification and Factorization of Singularities
Fourier Theory on the Complex Plane II Weak Convergence, Classification and Factorization of Singularities Jorge L. delyra Department of Mathematical Physics Physics Institute University of São Paulo April
More informationMTH4101 CALCULUS II REVISION NOTES. 1. COMPLEX NUMBERS (Thomas Appendix 7 + lecture notes) ax 2 + bx + c = 0. x = b ± b 2 4ac 2a. i = 1.
MTH4101 CALCULUS II REVISION NOTES 1. COMPLEX NUMBERS (Thomas Appendix 7 + lecture notes) 1.1 Introduction Types of numbers (natural, integers, rationals, reals) The need to solve quadratic equations:
More informationOn Bank-Laine functions
Computational Methods and Function Theory Volume 00 0000), No. 0, 000 000 XXYYYZZ On Bank-Laine functions Alastair Fletcher Keywords. Bank-Laine functions, zeros. 2000 MSC. 30D35, 34M05. Abstract. In this
More informationRenormalization: An Attack on Critical Exponents
Renormalization: An Attack on Critical Exponents Zebediah Engberg March 15, 2010 1 Introduction Suppose L R d is a lattice with critical probability p c. Percolation on L is significantly differs depending
More informationComplex Variables...Review Problems (Residue Calculus Comments)...Fall Initial Draft
Complex Variables........Review Problems Residue Calculus Comments)........Fall 22 Initial Draft ) Show that the singular point of fz) is a pole; determine its order m and its residue B: a) e 2z )/z 4,
More informationa j x j. j=0 The number R (possibly infinite) which Theorem 1 guarantees is called the radius of convergence of the power series.
Lecture 6 Power series A very important class of series to study are the power series. They are interesting in part because they represent functions and in part because they encode their coefficients which
More informationAsymptotics of integrals
December 9, Asymptotics o integrals Paul Garrett garrett@math.umn.e http://www.math.umn.e/ garrett/ [This document is http://www.math.umn.e/ garrett/m/v/basic asymptotics.pd]. Heuristic or the main term
More informationComplex Series. Chapter 20
hapter 20 omplex Series As in the real case, representation of functions by infinite series of simpler functions is an endeavor worthy of our serious consideration. We start with an examination of the
More informationP i [B k ] = lim. n=1 p(n) ii <. n=1. V i :=
2.7. Recurrence and transience Consider a Markov chain {X n : n N 0 } on state space E with transition matrix P. Definition 2.7.1. A state i E is called recurrent if P i [X n = i for infinitely many n]
More informationGenerating Functions
Semester 1, 2004 Generating functions Another means of organising enumeration. Two examples we have seen already. Example 1. Binomial coefficients. Let X = {1, 2,..., n} c k = # k-element subsets of X
More informationL1. Determine the limit of a function at a point both graphically and analytically
L1. Determine the limit of a function at a point both graphically and analytically The concept of a limit is essential to the development and understanding of Calculus. Limits are used in the definition
More information221A Lecture Notes Steepest Descent Method
Gamma Function A Lecture Notes Steepest Descent Method The best way to introduce the steepest descent method is to see an example. The Stirling s formula for the behavior of the factorial n! for large
More informationGENERALIZATION OF AN IDENTITY OF ANDREWS
GENERALIZATION OF AN IDENTITY OF ANDREWS arxiv:math/060480v1 [math.co 1 Apr 006 Eduardo H. M. Brietze Instituto de Matemática UFRGS Caixa Postal 15080 91509 900 Porto Alegre, RS, Brazil email: brietze@mat.ufrgs.br
More informationThe Range of a Random Walk on a Comb
The Range of a Random Walk on a Comb János Pach Gábor Tardos Abstract The graph obtained from the integer grid Z Z by the removal of all horizontal edges that do not belong to the x-axis is called a comb.
More informationProblem 1. Arfken
All Arfken problems are reproduced at the end of this assignment Problem 1. Arfken 11.2.11. Problem 2. (a) Do Arfken 11.3.3 (b) The integral Integrals 4 3i 3+4i (x 2 iy 2 ) dz (1) is not defined without
More informationA formula for pi involving nested radicals
arxiv:60.0773v [math.gm] 7 Apr 08 A formula for pi involving nested radicals S. M. Abrarov and B. M. Quine April 7, 08 Abstract We present a new formula for pi involving nested radicals with rapid convergence.
More informationd 1 µ 2 Θ = 0. (4.1) consider first the case of m = 0 where there is no azimuthal dependence on the angle φ.
4 Legendre Functions In order to investigate the solutions of Legendre s differential equation d ( µ ) dθ ] ] + l(l + ) m dµ dµ µ Θ = 0. (4.) consider first the case of m = 0 where there is no azimuthal
More information3 a = 3 b c 2 = a 2 + b 2 = 2 2 = 4 c 2 = 3b 2 + b 2 = 4b 2 = 4 b 2 = 1 b = 1 a = 3b = 3. x 2 3 y2 1 = 1.
MATH 222 LEC SECOND MIDTERM EXAM THU NOV 8 PROBLEM ( 5 points ) Find the standard-form equation for the hyperbola which has its foci at F ± (±2, ) and whose asymptotes are y ± 3 x The calculations b a
More information2 Write down the range of values of α (real) or β (complex) for which the following integrals converge. (i) e z2 dz where {γ : z = se iα, < s < }
Mathematical Tripos Part II Michaelmas term 2007 Further Complex Methods, Examples sheet Dr S.T.C. Siklos Comments and corrections: e-mail to stcs@cam. Sheet with commentary available for supervisors.
More informationMA22S3 Summary Sheet: Ordinary Differential Equations
MA22S3 Summary Sheet: Ordinary Differential Equations December 14, 2017 Kreyszig s textbook is a suitable guide for this part of the module. Contents 1 Terminology 1 2 First order separable 2 2.1 Separable
More informationPart I: Multiple Choice Mark the correct answer on the bubble sheet provided. n=1. a) None b) 1 c) 2 d) 3 e) 1, 2 f) 1, 3 g) 2, 3 h) 1, 2, 3
Math (Calculus II) Final Eam Form A Fall 22 RED KEY Part I: Multiple Choice Mark the correct answer on the bubble sheet provided.. Which of the following series converge absolutely? ) ( ) n 2) n 2 n (
More informationContinued fractions for complex numbers and values of binary quadratic forms
arxiv:110.3754v1 [math.nt] 18 Feb 011 Continued fractions for complex numbers and values of binary quadratic forms S.G. Dani and Arnaldo Nogueira February 1, 011 Abstract We describe various properties
More informationPower series solutions for 2nd order linear ODE s (not necessarily with constant coefficients) a n z n. n=0
Lecture 22 Power series solutions for 2nd order linear ODE s (not necessarily with constant coefficients) Recall a few facts about power series: a n z n This series in z is centered at z 0. Here z can
More information