Chapter 8. Euler s Gamma function
|
|
- Kelly Terry
- 5 years ago
- Views:
Transcription
1 Chapter 8 Euler s Gamma fuctio The Gamma fuctio plays a importat role i the fuctioal equatio for ζ(s that we will derive i the ext chapter. I the preset chapter we have collected some properties of the Gamma fuctio. For t R >, z C, defie t z : e z log t, where log t is the ordiary real logarithm. Euler s Gamma fuctio is defied by the itegral Γ(z : e t t z dt (z C, Re z >. Lemma 8.. Γ(z defies a aalytic fuctio o {z C : Re z > }. Proof. This is stadard usig Theorem Let U : {z C : Re z > }. First, the fuctio F (t, z : e t t z is cotiuous, hece measurable o R > U. Secod, for each fixed t >, z e t t z is aalytic o U. Third, let K be a compact subset of U. The there exist δ, R > such that δ Re z R for z K. This implies that for z K, t >, { t e t t z δ for t, M(t : e t t R Ce t/2 for t >, where C is some costat. Now we have M(tdt t δ dt + C e t/2 dt δ + 2C <. Hece all coditios of Theorem 2.23 are satisfied, ad thus, Γ(z is aalytic o U. 2
2 Usig itegratio by parts, oe easily shows that for z C with Re z >, that is, Γ(z z e t dt z ( z [e t t z t t + (8. Γ(z + zγ(z if Re z >. e t t z dt z Γ(z +, Oe easily shows that Γ( ad the by iductio, Γ( (! for Z >. We ow show that Γ has a meromorphic cotiuatio to C. Theorem 8.2. There exists a uique meromorphic fuctio Γ o C with the followig properties: (i Γ(z e t t z dt for z C, Re z > ; (ii the fuctio Γ is aalytic o C \ {,, 2,...}; (iii Γ has a simple pole with residue ( /! at z for,, 2,...; (iv Γ(z + zγ(z for z C \ {,, 2,...}. Proof. The fuctio Γ has already bee defied for Re z > by e t t z dt. By Corollary 2.2, Γ has at most oe aalytic cotiuatio to ay larger coected ope set, hece there is at most oe fuctio Γ with properties (i (iv. We proceed to costruct such a fuctio. Let z C with Re z >. By repeatedly applyig (8. we get (8.2 Γ(z Γ(z + for Re z >,, 2,.... z(z + (z + We cotiue Γ to B : C \ {,, 2,...} as follows. For z B, choose Z > such that Re z + > ad defie Γ(z by the right-had side of (8.2. This does ot deped o the choice of. For if m, are ay two itegers with m > > Re z, the by (8.2 with z +, m istead of z, we have Γ(z + Γ(z + m, z + (z + m ad so z(z + (z + Γ(z + Γ(z + m. z(z + (z + m 22
3 Hece Γ is well-defied o B, ad it is aalytic o B sice the right-had side of (8.2 is aalytic if Re z + >. This proves (ii. We prove (iii. By (8.2 we have lim (z + Γ(z z lim Γ(z + + z z(z + (z + ( Γ(. ( ( + (! Hece Γ has a simple pole at z of residue ( /!. We prove (iv. Both fuctios Γ(z + ad zγ(z are aalytic o B, ad by (8., they are equal o the set {z C : Re z > } which has limit poits i B. So by Corollary 2.2, Γ(z + zγ(z for z B. Theorem 8.3. We have Γ(zΓ( z π si πz for z C \ Z. Proof. We prove that zγ(zγ( z πz/ si πz, or equivaletly, (8.3 Γ( + zγ( z πz si πz for z A : (C \ Z {}, which implies Theorem 8.3. Notice that by Theorem 8.2 the left-had side is aalytic o A, while by lim z πz/ si πz the right-had side is also aalytic o A. By Corollary 2.2, it suffices to prove that (8.3 holds for every z i a ifiite subset of A havig a limit poit i A. For this ifiite set we take S : { : Z 2 >}; this set has limit poit i A. Thus, (8.3, ad hece Theorem 8.3, follows oce we have proved that (8.4 Γ( + 2 Γ( 2 π/2 si π/2 (, 2,.... Notice that Γ( e s s /2 ds e t t /2 dt e s t (s/t /2 dsdt.
4 Defie ew variables u s + t, v s/t. The s uv/(v +, t u/(v +. The Jacobia of the substitutio (s, t (u, v is It follows that (s, t (u, v s u t u Γ( + 2 Γ( 2 s v t v uv u (v + 3 u (v + 2. e u v /2 u (v + dudv 2 v u v + (v + 2 v + u (v + 2 e u v /2 (s, t (u, v dudv e u udu v /2 (v + 2 dv. I the last product, the first itegral is equal to, while for the secod itegral we have, by homework exercise 4, v /2 (v + dv 2 [ ] v /2 + v + This implies (8.4, hece Theorem 8.3. Corollary 8.4. Γ( 2 π. ( v /2 d v + v + dv/2 Proof. Substitute z 2 i Theorem 8.3, ad use Γ( 2 >. dw w 2 + π/2 si π/2. Corollary 8.5. (i Γ(z for z C \ {,, 2,...}. (ii /Γ is aalytic o C, ad /Γ has simple zeros at z,, 2,.... Proof. (i Recall that Γ( (! for, 2,.... Further, by Theorem 8.3 we have Γ(zΓ( z si πz π for z C \ Z. (ii By (i, the fuctio /Γ is aalytic o C \ {,, 2,...}. Further, at z,, 2,..., Γ has a simple pole, hece /Γ is aalytic ad has a simple zero. 24
5 We give aother expressio for the Gamma fuctio. Theorem 8.6. For z C \ {,, 2,...} we have! z Γ(z lim z(z + (z +. Proof. Deote the limit by F (z. We prove by iductio that for every o-egative iteger we have F (z Γ(z for z C with Re z > ad (if > z,,...,. For the momet, we assume that this assertio is true for, i.e., F (z Γ(z for Re z >, ad do the iductio step. Assume our assertio holds for some iteger. Let z C with Re z > ad z,...,. We do ot kow a priori whether the limit F (z exists, but at least we have F (z + zf (z! z+ lim (z + (z + + ( z+ lim. + (z + (z + + ( +!( + z By the iductio hypothesis we kow that F (z + Γ(z +, ad so F (z does exist, ad F (z + Γ(z + F (z Γ(z. z z This completes the iductio step. We ow show that F (z Γ(z for z C, Re z >. For this, we eed some lemmas. Lemma 8.7. Let z C with Re z >. The! z z(z + (z + Proof. By substitutig s t/, the itegral becomes ( t t z dt. The rest is left as a exercise. z ( s s z ds. Lemma 8.8. For every iteger 2 ad every real t with t we have e t ( t 25 e t t2 2.
6 Proof. This is equivalet to t2 et( t ( t, 2. Recall that if f, g are cotiuously differetiable, real fuctios with f( g( ad f (x g (x for x A, say, the f(x g(x for x A. From this observatio, oe easily deduces that + x e x, x e x, ( x r rx for x, r. This implies o the oe had, for 2, t, o the other had e t( t e t( t e t (e t/, ( t ( t ( t 2 t Completio of the proof of Theorem 8.6. Let z C with Re z >. We prove that F (z Γ(z. By the itegral expressio for Γ(z ad by Lemma 8.7 we have { } ( Γ(z F (z lim e t t z t t dt z dt lim ( e t ( t t z dt. Now usig ad Lemma 8.8 we obtai Γ(z F (z lim lim e t t2 tz dt e t t Re z+ dt lim Γ(Re z + 2. We deduce some cosequeces. Recall that the Euler-Mascheroi costat γ is give by ( N γ lim log N. N 26
7 Corollary 8.9. We have Γ(z e γz z e z/ + z/ for z C \ {,, 2,...}. Proof. Let z C \ {,, 2,...}. The for N Z > we have Γ(z lim N N z N! z(z + (z + N z z lim N e(log N 2 N z e γz z e z/ + z/. N lim N e z/ + z/ e z log N ( + z( + z/2 ( + z/n As aother cosequece, we derive a ifiite product expasio for si πz. Corollary 8.. We have si πz πz ( z2 2 for z C. Proof. For z C we have by Theorem 8.3, Corollary 8.5 ad Corollary 8.9, si πz π Γ(zΓ( z π( z e γz z πz π Γ(z( zγ( z ( (e z/ + z ( z ( + z πz ( ze γz ( z2 2. ( (e z/ z Recall that the Beroulli umbers B ( are give by z e z B! z ( z < 2π. 27
8 Corollary 8.. We have B, B 2, B 3 B 5 ad ζ(2 ( 2 2 B 2 (2! π2 for, 2,.... Proof. Let z C with < z <. The si πz ad so, by takig the logarithmic derivative of si πz, (8.5 si πz si πz π cos πz si πz π(eπiz + e πiz /2 (e πiz e πiz /2i πi + z 2πiz e 2πiz πi + B z! (2πi z. We obtai aother expressio for the logarithmic derivative of si πz by applyig Corollary 2.28 to the product idetity from Corollary 8.. Note that for z C with z < we have z 2 / 2 < 2 ad that 2 coverges. Hece the logarithmic derivative of the ifiite product is the ifiite sum of the logarithmic derivatives of the factors, i.e., (8.6 si πz si πz (πz πz z + + z 2 ( z 2 / 2 z 2 / 2 2z/ 2 z 2 / 2 z 2 z 2 k z 2k+ 2k+2 z 2 ζ(2k + 2z 2k+. k ( k ( z 2 k 2 (by absolute covergece Now Corollary 8. easily follows by comparig the coefficiets of the Lauret series i (8.5 ad (8.6. We fiish with aother importat cosequece of Theorem 8.6, the so-called duplicatio formula. 28
9 Corollary 8.2. We have Γ(2z 22z π Γ(zΓ(z + 2 for z C, z, 2,, 3 2, 2,.... Proof. Let A be the set of z idicated i the lemma. We show that the fuctio F (z : 2 2z Γ(zΓ(z + /Γ(2z is costat o A. Substitutig z gives that the 2 2 costat is 2 π, ad the Corollary 8.2 follows. Let z A. To get ice cacellatios i the umerator ad deomiator, we use the expressios Γ(z lim! z z(z + (z + lim Γ(z + lim! z+/2 2 (z + /2(z + 3/2 (z + + /2 Thus, (2 +! (2 + 2z Γ(2z lim 2z(2z + (2z F (z 22z Γ(zΓ(z + 2 Γ(2z { 2 2z (! 2 2z+/2 lim 2z(2z + (2z { (! 2 } lim (2 +! sice lim This shows that ideed F (z is costat. 2 +! z 2z(2z + 2 (2z + 2, 2 +! z+/2 lim (2z + (2z + 3 (2z + 2 +, 2 2z 2z lim (2 + 2z e2z log(2/(2+. (limit over the odd itegers. } 2z(2z + (2z (2 +! (2 + 2z Remark. More geerally, oe ca derive the multiplicatio formula of Legedre- Gauss, (2π ( /2 Γ(z z /2 Γ(zΓ(z + Γ(z + 29
10 for every iteger 2. The idea of the proof is similar to that of Corollary 8.2 (exercise. 3
Chapter 8. Euler s Gamma function
Chapter 8 Euler s Gamma fuctio The Gamma fuctio plays a importat role i the fuctioal equatio for ζ(s) that we will derive i the ext chapter. I the preset chapter we have collected some properties of the
More informationThe Gamma function Michael Taylor. Abstract. This material is excerpted from 18 and Appendix J of [T].
The Gamma fuctio Michael Taylor Abstract. This material is excerpted from 8 ad Appedix J of [T]. The Gamma fuctio has bee previewed i 5.7 5.8, arisig i the computatio of a atural Laplace trasform: 8. ft
More informationSequences and Series of Functions
Chapter 6 Sequeces ad Series of Fuctios 6.1. Covergece of a Sequece of Fuctios Poitwise Covergece. Defiitio 6.1. Let, for each N, fuctio f : A R be defied. If, for each x A, the sequece (f (x)) coverges
More informationf(w) w z =R z a 0 a n a nz n Liouville s theorem, we see that Q is constant, which implies that P is constant, which is a contradiction.
Theorem 3.6.4. [Liouville s Theorem] Every bouded etire fuctio is costat. Proof. Let f be a etire fuctio. Suppose that there is M R such that M for ay z C. The for ay z C ad R > 0 f (z) f(w) 2πi (w z)
More informationChapter 6 Infinite Series
Chapter 6 Ifiite Series I the previous chapter we cosidered itegrals which were improper i the sese that the iterval of itegratio was ubouded. I this chapter we are goig to discuss a topic which is somewhat
More informationThe Riemann Zeta Function
Physics 6A Witer 6 The Riema Zeta Fuctio I this ote, I will sketch some of the mai properties of the Riema zeta fuctio, ζ(x). For x >, we defie ζ(x) =, x >. () x = For x, this sum diverges. However, we
More informationDe la Vallée Poussin Summability, the Combinatorial Sum 2n 1
J o u r a l of Mathematics ad Applicatios JMA No 40, pp 5-20 (2017 De la Vallée Poussi Summability, the Combiatorial Sum 1 ( 2 ad the de la Vallée Poussi Meas Expasio Ziad S. Ali Abstract: I this paper
More informationlim za n n = z lim a n n.
Lecture 6 Sequeces ad Series Defiitio 1 By a sequece i a set A, we mea a mappig f : N A. It is customary to deote a sequece f by {s } where, s := f(). A sequece {z } of (complex) umbers is said to be coverget
More informationAnalytic Continuation
Aalytic Cotiuatio The stadard example of this is give by Example Let h (z) = 1 + z + z 2 + z 3 +... kow to coverge oly for z < 1. I fact h (z) = 1/ (1 z) for such z. Yet H (z) = 1/ (1 z) is defied for
More informationNotes on the prime number theorem
Notes o the rime umber theorem Keji Kozai May 2, 24 Statemet We begi with a defiitio. Defiitio.. We say that f(x) ad g(x) are asymtotic as x, writte f g, if lim x f(x) g(x) =. The rime umber theorem tells
More information6.3 Testing Series With Positive Terms
6.3. TESTING SERIES WITH POSITIVE TERMS 307 6.3 Testig Series With Positive Terms 6.3. Review of what is kow up to ow I theory, testig a series a i for covergece amouts to fidig the i= sequece of partial
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.
Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the
More informationMath 341 Lecture #31 6.5: Power Series
Math 341 Lecture #31 6.5: Power Series We ow tur our attetio to a particular kid of series of fuctios, amely, power series, f(x = a x = a 0 + a 1 x + a 2 x 2 + where a R for all N. I terms of a series
More informations = and t = with C ij = A i B j F. (i) Note that cs = M and so ca i µ(a i ) I E (cs) = = c a i µ(a i ) = ci E (s). (ii) Note that s + t = M and so
3 From the otes we see that the parts of Theorem 4. that cocer us are: Let s ad t be two simple o-egative F-measurable fuctios o X, F, µ ad E, F F. The i I E cs ci E s for all c R, ii I E s + t I E s +
More informationThe natural exponential function
The atural expoetial fuctio Attila Máté Brookly College of the City Uiversity of New York December, 205 Cotets The atural expoetial fuctio for real x. Beroulli s iequality.....................................2
More information7.1 Convergence of sequences of random variables
Chapter 7 Limit Theorems Throughout this sectio we will assume a probability space (, F, P), i which is defied a ifiite sequece of radom variables (X ) ad a radom variable X. The fact that for every ifiite
More informationDirichlet s Theorem on Arithmetic Progressions
Dirichlet s Theorem o Arithmetic Progressios Athoy Várilly Harvard Uiversity, Cambridge, MA 0238 Itroductio Dirichlet s theorem o arithmetic progressios is a gem of umber theory. A great part of its beauty
More informationInfinite Sequences and Series
Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet
More informationMAT1026 Calculus II Basic Convergence Tests for Series
MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real
More informationEnumerative & Asymptotic Combinatorics
C50 Eumerative & Asymptotic Combiatorics Stirlig ad Lagrage Sprig 2003 This sectio of the otes cotais proofs of Stirlig s formula ad the Lagrage Iversio Formula. Stirlig s formula Theorem 1 (Stirlig s
More informationIntegrable Functions. { f n } is called a determining sequence for f. If f is integrable with respect to, then f d does exist as a finite real number
MATH 532 Itegrable Fuctios Dr. Neal, WKU We ow shall defie what it meas for a measurable fuctio to be itegrable, show that all itegral properties of simple fuctios still hold, ad the give some coditios
More informationMa 530 Introduction to Power Series
Ma 530 Itroductio to Power Series Please ote that there is material o power series at Visual Calculus. Some of this material was used as part of the presetatio of the topics that follow. What is a Power
More informationBertrand s Postulate. Theorem (Bertrand s Postulate): For every positive integer n, there is a prime p satisfying n < p 2n.
Bertrad s Postulate Our goal is to prove the followig Theorem Bertrad s Postulate: For every positive iteger, there is a prime p satisfyig < p We remark that Bertrad s Postulate is true by ispectio for,,
More informationSOLUTIONS TO EXAM 3. Solution: Note that this defines two convergent geometric series with respective radii r 1 = 2/5 < 1 and r 2 = 1/5 < 1.
SOLUTIONS TO EXAM 3 Problem Fid the sum of the followig series 2 + ( ) 5 5 2 5 3 25 2 2 This series diverges Solutio: Note that this defies two coverget geometric series with respective radii r 2/5 < ad
More informationWe are mainly going to be concerned with power series in x, such as. (x)} converges - that is, lims N n
Review of Power Series, Power Series Solutios A power series i x - a is a ifiite series of the form c (x a) =c +c (x a)+(x a) +... We also call this a power series cetered at a. Ex. (x+) is cetered at
More information6 Integers Modulo n. integer k can be written as k = qn + r, with q,r, 0 r b. So any integer.
6 Itegers Modulo I Example 2.3(e), we have defied the cogruece of two itegers a,b with respect to a modulus. Let us recall that a b (mod ) meas a b. We have proved that cogruece is a equivalece relatio
More informationConvergence of random variables. (telegram style notes) P.J.C. Spreij
Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space
More informationLecture 7: Properties of Random Samples
Lecture 7: Properties of Radom Samples 1 Cotiued From Last Class Theorem 1.1. Let X 1, X,...X be a radom sample from a populatio with mea µ ad variace σ
More informationx x x Using a second Taylor polynomial with remainder, find the best constant C so that for x 0,
Math Activity 9( Due with Fial Eam) Usig first ad secod Taylor polyomials with remaider, show that for, 8 Usig a secod Taylor polyomial with remaider, fid the best costat C so that for, C 9 The th Derivative
More information7.1 Convergence of sequences of random variables
Chapter 7 Limit theorems Throughout this sectio we will assume a probability space (Ω, F, P), i which is defied a ifiite sequece of radom variables (X ) ad a radom variable X. The fact that for every ifiite
More informationPRELIM PROBLEM SOLUTIONS
PRELIM PROBLEM SOLUTIONS THE GRAD STUDENTS + KEN Cotets. Complex Aalysis Practice Problems 2. 2. Real Aalysis Practice Problems 2. 4 3. Algebra Practice Problems 2. 8. Complex Aalysis Practice Problems
More informationThe Gamma function. Marco Bonvini. October 9, dt e t t z 1. (1) Γ(z + 1) = z Γ(z) : (2) = e t t z. + z dt e t t z 1. = z Γ(z).
The Gamma fuctio Marco Bovii October 9, 2 Gamma fuctio The Euler Gamma fuctio is defied as Γ() It is easy to show that Γ() satisfy the recursio relatio ideed, itegratig by parts, dt e t t. () Γ( + ) Γ()
More informationMATH 10550, EXAM 3 SOLUTIONS
MATH 155, EXAM 3 SOLUTIONS 1. I fidig a approximate solutio to the equatio x 3 +x 4 = usig Newto s method with iitial approximatio x 1 = 1, what is x? Solutio. Recall that x +1 = x f(x ) f (x ). Hece,
More informationChapter 4. Fourier Series
Chapter 4. Fourier Series At this poit we are ready to ow cosider the caoical equatios. Cosider, for eample the heat equatio u t = u, < (4.) subject to u(, ) = si, u(, t) = u(, t) =. (4.) Here,
More informationMost text will write ordinary derivatives using either Leibniz notation 2 3. y + 5y= e and y y. xx tt t
Itroductio to Differetial Equatios Defiitios ad Termiolog Differetial Equatio: A equatio cotaiig the derivatives of oe or more depedet variables, with respect to oe or more idepedet variables, is said
More information(I.D) THE PRIME NUMBER THEOREM
(I.D) THE PRIME NUMBER THEOREM So far, i our discussio of the distributio of the primes, we have ot directly addressed the questio of how their desity i the atural umbers chages as oe keeps coutig. But
More informationPhysics 116A Solutions to Homework Set #9 Winter 2012
Physics 116A Solutios to Homework Set #9 Witer 1 1. Boas, problem 11.3 5. Simplify Γ( 1 )Γ(4)/Γ( 9 ). Usig xγ(x) Γ(x + 1) repeatedly, oe obtais Γ( 9) 7 Γ( 7) 7 5 Γ( 5 ), etc. util fially obtaiig Γ( 9)
More informationj=1 dz Res(f, z j ) = 1 d k 1 dz k 1 (z c)k f(z) Res(f, c) = lim z c (k 1)! Res g, c = f(c) g (c)
Problem. Compute the itegrals C r d for Z, where C r = ad r >. Recall that C r has the couter-clockwise orietatio. Solutio: We will use the idue Theorem to solve this oe. We could istead use other (perhaps
More informationTopics in Probability Theory and Stochastic Processes Steven R. Dunbar. Stirling s Formula Derived from the Gamma Function
Steve R. Dubar Departmet of Mathematics 23 Avery Hall Uiversity of Nebraska-Licol Licol, NE 68588-3 http://www.math.ul.edu Voice: 42-472-373 Fax: 42-472-8466 Topics i Probability Theory ad Stochastic Processes
More informationIt is often useful to approximate complicated functions using simpler ones. We consider the task of approximating a function by a polynomial.
Taylor Polyomials ad Taylor Series It is ofte useful to approximate complicated fuctios usig simpler oes We cosider the task of approximatig a fuctio by a polyomial If f is at least -times differetiable
More informationCHAPTER 10 INFINITE SEQUENCES AND SERIES
CHAPTER 10 INFINITE SEQUENCES AND SERIES 10.1 Sequeces 10.2 Ifiite Series 10.3 The Itegral Tests 10.4 Compariso Tests 10.5 The Ratio ad Root Tests 10.6 Alteratig Series: Absolute ad Coditioal Covergece
More informationTERMWISE DERIVATIVES OF COMPLEX FUNCTIONS
TERMWISE DERIVATIVES OF COMPLEX FUNCTIONS This writeup proves a result that has as oe cosequece that ay complex power series ca be differetiated term-by-term withi its disk of covergece The result has
More informationTHE ZETA FUNCTION AND THE RIEMANN HYPOTHESIS. Contents 1. History 1
THE ZETA FUNCTION AND THE RIEMANN HYPOTHESIS VIKTOR MOROS Abstract. The zeta fuctio has bee studied for ceturies but mathematicias are still learig about it. I this paper, I will discuss some of the zeta
More information3. Z Transform. Recall that the Fourier transform (FT) of a DT signal xn [ ] is ( ) [ ] = In order for the FT to exist in the finite magnitude sense,
3. Z Trasform Referece: Etire Chapter 3 of text. Recall that the Fourier trasform (FT) of a DT sigal x [ ] is ω ( ) [ ] X e = j jω k = xe I order for the FT to exist i the fiite magitude sese, S = x [
More informationMath 104: Homework 2 solutions
Math 04: Homework solutios. A (0, ): Sice this is a ope iterval, the miimum is udefied, ad sice the set is ot bouded above, the maximum is also udefied. if A 0 ad sup A. B { m + : m, N}: This set does
More informationINFINITE SEQUENCES AND SERIES
11 INFINITE SEQUENCES AND SERIES INFINITE SEQUENCES AND SERIES 11.4 The Compariso Tests I this sectio, we will lear: How to fid the value of a series by comparig it with a kow series. COMPARISON TESTS
More information7 Sequences of real numbers
40 7 Sequeces of real umbers 7. Defiitios ad examples Defiitio 7... A sequece of real umbers is a real fuctio whose domai is the set N of atural umbers. Let s : N R be a sequece. The the values of s are
More informationAssignment 5: Solutions
McGill Uiversity Departmet of Mathematics ad Statistics MATH 54 Aalysis, Fall 05 Assigmet 5: Solutios. Let y be a ubouded sequece of positive umbers satisfyig y + > y for all N. Let x be aother sequece
More informationThe Poisson Summation Formula and an Application to Number Theory Jason Payne Math 248- Introduction Harmonic Analysis, February 18, 2010
The Poisso Summatio Formula ad a Applicatio to Number Theory Jaso Paye Math 48- Itroductio Harmoic Aalysis, February 8, This talk will closely follow []; however some material has bee adapted to a slightly
More information62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +
62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of
More informationMATH2007* Partial Answers to Review Exercises Fall 2004
MATH27* Partial Aswers to Review Eercises Fall 24 Evaluate each of the followig itegrals:. Let u cos. The du si ad Hece si ( cos 2 )(si ) (u 2 ) du. si u 2 cos 7 u 7 du Please fiish this. 2. We use itegratio
More informationOn some properties of digamma and polygamma functions
J. Math. Aal. Appl. 328 2007 452 465 www.elsevier.com/locate/jmaa O some properties of digamma ad polygamma fuctios Necdet Batir Departmet of Mathematics, Faculty of Arts ad Scieces, Yuzucu Yil Uiversity,
More informationFundamental Concepts: Surfaces and Curves
UNDAMENTAL CONCEPTS: SURACES AND CURVES CHAPTER udametal Cocepts: Surfaces ad Curves. INTRODUCTION This chapter describes two geometrical objects, vi., surfaces ad curves because the pla a ver importat
More informationThe Arakawa-Kaneko Zeta Function
The Arakawa-Kaeko Zeta Fuctio Marc-Atoie Coppo ad Berard Cadelpergher Nice Sophia Atipolis Uiversity Laboratoire Jea Alexadre Dieudoé Parc Valrose F-0608 Nice Cedex 2 FRANCE Marc-Atoie.COPPO@uice.fr Berard.CANDELPERGHER@uice.fr
More informationAn application of the Hooley Huxley contour
ACTA ARITHMETICA LXV. 993) A applicatio of the Hooley Huxley cotour by R. Balasubramaia Madras), A. Ivić Beograd) ad K. Ramachadra Bombay) To the memory of Professor Helmut Hasse 898 979). Itroductio ad
More informationSubject: Differential Equations & Mathematical Modeling-III
Power Series Solutios of Differetial Equatios about Sigular poits Subject: Differetial Equatios & Mathematical Modelig-III Lesso: Power series solutios of differetial equatios about Sigular poits Lesso
More informationPAPER : IIT-JAM 2010
MATHEMATICS-MA (CODE A) Q.-Q.5: Oly oe optio is correct for each questio. Each questio carries (+6) marks for correct aswer ad ( ) marks for icorrect aswer.. Which of the followig coditios does NOT esure
More informationMDIV. Multiple divisor functions
MDIV. Multiple divisor fuctios The fuctios τ k For k, defie τ k ( to be the umber of (ordered factorisatios of ito k factors, i other words, the umber of ordered k-tuples (j, j 2,..., j k with j j 2...
More informationMa 4121: Introduction to Lebesgue Integration Solutions to Homework Assignment 5
Ma 42: Itroductio to Lebesgue Itegratio Solutios to Homework Assigmet 5 Prof. Wickerhauser Due Thursday, April th, 23 Please retur your solutios to the istructor by the ed of class o the due date. You
More informationMATH4822E FOURIER ANALYSIS AND ITS APPLICATIONS
MATH48E FOURIER ANALYSIS AND ITS APPLICATIONS 7.. Cesàro summability. 7. Summability methods Arithmetic meas. The followig idea is due to the Italia geometer Eresto Cesàro (859-96). He shows that eve if
More informationChapter 3. Strong convergence. 3.1 Definition of almost sure convergence
Chapter 3 Strog covergece As poited out i the Chapter 2, there are multiple ways to defie the otio of covergece of a sequece of radom variables. That chapter defied covergece i probability, covergece i
More informationMath 155 (Lecture 3)
Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,
More information(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3
MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special
More informationMATH 31B: MIDTERM 2 REVIEW
MATH 3B: MIDTERM REVIEW JOE HUGHES. Evaluate x (x ) (x 3).. Partial Fractios Solutio: The umerator has degree less tha the deomiator, so we ca use partial fractios. Write x (x ) (x 3) = A x + A (x ) +
More informationChapter 10: Power Series
Chapter : Power Series 57 Chapter Overview: Power Series The reaso series are part of a Calculus course is that there are fuctios which caot be itegrated. All power series, though, ca be itegrated because
More informationb i u x i U a i j u x i u x j
M ath 5 2 7 Fall 2 0 0 9 L ecture 1 9 N ov. 1 6, 2 0 0 9 ) S ecod- Order Elliptic Equatios: Weak S olutios 1. Defiitios. I this ad the followig two lectures we will study the boudary value problem Here
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 19 11/17/2008 LAWS OF LARGE NUMBERS II THE STRONG LAW OF LARGE NUMBERS
MASSACHUSTTS INSTITUT OF TCHNOLOGY 6.436J/5.085J Fall 2008 Lecture 9 /7/2008 LAWS OF LARG NUMBRS II Cotets. The strog law of large umbers 2. The Cheroff boud TH STRONG LAW OF LARG NUMBRS While the weak
More informationNEW FAST CONVERGENT SEQUENCES OF EULER-MASCHERONI TYPE
UPB Sci Bull, Series A, Vol 79, Iss, 207 ISSN 22-7027 NEW FAST CONVERGENT SEQUENCES OF EULER-MASCHERONI TYPE Gabriel Bercu We itroduce two ew sequeces of Euler-Mascheroi type which have fast covergece
More informationMATHEMATICS. 61. The differential equation representing the family of curves where c is a positive parameter, is of
MATHEMATICS 6 The differetial equatio represetig the family of curves where c is a positive parameter, is of Order Order Degree (d) Degree (a,c) Give curve is y c ( c) Differetiate wrt, y c c y Hece differetial
More informationDefinition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4.
4. BASES I BAACH SPACES 39 4. BASES I BAACH SPACES Sice a Baach space X is a vector space, it must possess a Hamel, or vector space, basis, i.e., a subset {x γ } γ Γ whose fiite liear spa is all of X ad
More informationIndian Statistical Institute, Bangalore Centre Solution set of M.Math II Year, End-Sem Examination 2015 Fourier Analysis
Idia Statistical Istitute, Bagalore Cetre Solutio set of M.Math II Year, Ed-Sem Examiatio 05 Fourier Aalysis Note: We use the followig otatios L () L ad L () L.. Prove that f, ˆf L the f L. Proof. Sice
More informationSection 11.8: Power Series
Sectio 11.8: Power Series 1. Power Series I this sectio, we cosider geeralizig the cocept of a series. Recall that a series is a ifiite sum of umbers a. We ca talk about whether or ot it coverges ad i
More informationUNIVERSITY OF CALIFORNIA - SANTA CRUZ DEPARTMENT OF PHYSICS PHYS 116C. Problem Set 4. Benjamin Stahl. November 6, 2014
UNIVERSITY OF CALIFORNIA - SANTA CRUZ DEPARTMENT OF PHYSICS PHYS 6C Problem Set 4 Bejami Stahl November 6, 4 BOAS, P. 63, PROBLEM.-5 The Laguerre differetial equatio, x y + ( xy + py =, will be solved
More informationBernoulli Polynomials Talks given at LSBU, October and November 2015 Tony Forbes
Beroulli Polyoials Tals give at LSBU, October ad Noveber 5 Toy Forbes Beroulli Polyoials The Beroulli polyoials B (x) are defied by B (x), Thus B (x) B (x) ad B (x) x, B (x) x x + 6, B (x) dx,. () B 3
More informationIRRATIONALITY MEASURES, IRRATIONALITY BASES, AND A THEOREM OF JARNÍK 1. INTRODUCTION
IRRATIONALITY MEASURES IRRATIONALITY BASES AND A THEOREM OF JARNÍK JONATHAN SONDOW ABSTRACT. We recall that the irratioality expoet µα ( ) of a irratioal umber α is defied usig the irratioality measure
More informationLecture 1. January 8, 2018
Lecture 1 Jauary 8, 018 1 Primes A prime umber p is a positive iteger which caot be writte as ab for some positive itegers a, b > 1. A prime p also have the property that if p ab, the p a or p b. This
More informationCHAPTER 5. Theory and Solution Using Matrix Techniques
A SERIES OF CLASS NOTES FOR 2005-2006 TO INTRODUCE LINEAR AND NONLINEAR PROBLEMS TO ENGINEERS, SCIENTISTS, AND APPLIED MATHEMATICIANS DE CLASS NOTES 3 A COLLECTION OF HANDOUTS ON SYSTEMS OF ORDINARY DIFFERENTIAL
More informationLesson 10: Limits and Continuity
www.scimsacademy.com Lesso 10: Limits ad Cotiuity SCIMS Academy 1 Limit of a fuctio The cocept of limit of a fuctio is cetral to all other cocepts i calculus (like cotiuity, derivative, defiite itegrals
More informationAPPM 4360/5360 Exam #2 Solutions Spring 2015
APPM 436/536 Exam # Solutios Sprig 5 O the frot of your bluebook, write your ame ad make a gradig table. You re allowed oe sheet (letter-sized, frot ad back of otes. You are ot allowed to use textbooks,
More informationRoger Apéry's proof that zeta(3) is irrational
Cliff Bott cliffbott@hotmail.com 11 October 2011 Roger Apéry's proof that zeta(3) is irratioal Roger Apéry developed a method for searchig for cotiued fractio represetatios of umbers that have a form such
More informationMATH301 Real Analysis (2008 Fall) Tutorial Note #7. k=1 f k (x) converges pointwise to S(x) on E if and
MATH01 Real Aalysis (2008 Fall) Tutorial Note #7 Sequece ad Series of fuctio 1: Poitwise Covergece ad Uiform Covergece Part I: Poitwise Covergece Defiitio of poitwise covergece: A sequece of fuctios f
More information... and realizing that as n goes to infinity the two integrals should be equal. This yields the Wallis result-
INFINITE PRODUTS Oe defies a ifiite product as- F F F... F x [ F ] Takig the atural logarithm of each side oe has- l[ F x] l F l F l F l F... So that the iitial ifiite product will coverge oly if the sum
More informationSeunghee Ye Ma 8: Week 5 Oct 28
Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value
More informationMath 61CM - Solutions to homework 3
Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig
More informationRecurrence Relations
Recurrece Relatios Aalysis of recursive algorithms, such as: it factorial (it ) { if (==0) retur ; else retur ( * factorial(-)); } Let t be the umber of multiplicatios eeded to calculate factorial(). The
More informationDiscrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 22
CS 70 Discrete Mathematics for CS Sprig 2007 Luca Trevisa Lecture 22 Aother Importat Distributio The Geometric Distributio Questio: A biased coi with Heads probability p is tossed repeatedly util the first
More informationf(x) dx as we do. 2x dx x also diverges. Solution: We compute 2x dx lim
Math 3, Sectio 2. (25 poits) Why we defie f(x) dx as we do. (a) Show that the improper itegral diverges. Hece the improper itegral x 2 + x 2 + b also diverges. Solutio: We compute x 2 + = lim b x 2 + =
More information1.3 Convergence Theorems of Fourier Series. k k k k. N N k 1. With this in mind, we state (without proof) the convergence of Fourier series.
.3 Covergece Theorems of Fourier Series I this sectio, we preset the covergece of Fourier series. A ifiite sum is, by defiitio, a limit of partial sums, that is, a cos( kx) b si( kx) lim a cos( kx) b si(
More informationThe z-transform. 7.1 Introduction. 7.2 The z-transform Derivation of the z-transform: x[n] = z n LTI system, h[n] z = re j
The -Trasform 7. Itroductio Geeralie the complex siusoidal represetatio offered by DTFT to a represetatio of complex expoetial sigals. Obtai more geeral characteristics for discrete-time LTI systems. 7.
More informationFourier Series and their Applications
Fourier Series ad their Applicatios The fuctios, cos x, si x, cos x, si x, are orthogoal over (, ). m cos mx cos xdx = m = m = = cos mx si xdx = for all m, { m si mx si xdx = m = I fact the fuctios satisfy
More informationMAS111 Convergence and Continuity
MAS Covergece ad Cotiuity Key Objectives At the ed of the course, studets should kow the followig topics ad be able to apply the basic priciples ad theorems therei to solvig various problems cocerig covergece
More informationComparison Study of Series Approximation. and Convergence between Chebyshev. and Legendre Series
Applied Mathematical Scieces, Vol. 7, 03, o. 6, 3-337 HIKARI Ltd, www.m-hikari.com http://d.doi.org/0.988/ams.03.3430 Compariso Study of Series Approimatio ad Covergece betwee Chebyshev ad Legedre Series
More information4. Partial Sums and the Central Limit Theorem
1 of 10 7/16/2009 6:05 AM Virtual Laboratories > 6. Radom Samples > 1 2 3 4 5 6 7 4. Partial Sums ad the Cetral Limit Theorem The cetral limit theorem ad the law of large umbers are the two fudametal theorems
More informationSome p-adic congruences for p q -Catalan numbers
Some p-adic cogrueces for p q -Catala umbers Floria Luca Istituto de Matemáticas Uiversidad Nacioal Autóoma de México C.P. 58089, Morelia, Michoacá, México fluca@matmor.uam.mx Paul Thomas Youg Departmet
More informationf(x)g(x) dx is an inner product on D.
Ark9: Exercises for MAT2400 Fourier series The exercises o this sheet cover the sectios 4.9 to 4.13. They are iteded for the groups o Thursday, April 12 ad Friday, March 30 ad April 13. NB: No group o
More informationNotes 12 Asymptotic Series
ECE 6382 Fall 207 David R. Jackso otes 2 Asymptotic Series Asymptotic Series A asymptotic series (as ) is of the form a ( ) f as = 0 or f a + a a + + ( ) 2 0 2 ote the asymptotically equal to sig. The
More informationDIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS
DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS VERNER E. HOGGATT, JR. Sa Jose State Uiversity, Sa Jose, Califoria 95192 ad CALVIN T. LONG Washigto State Uiversity, Pullma, Washigto 99163
More informationMath 299 Supplement: Real Analysis Nov 2013
Math 299 Supplemet: Real Aalysis Nov 203 Algebra Axioms. I Real Aalysis, we work withi the axiomatic system of real umbers: the set R alog with the additio ad multiplicatio operatios +,, ad the iequality
More informationComplex Analysis Spring 2001 Homework I Solution
Complex Aalysis Sprig 2001 Homework I Solutio 1. Coway, Chapter 1, sectio 3, problem 3. Describe the set of poits satisfyig the equatio z a z + a = 2c, where c > 0 ad a R. To begi, we see from the triagle
More informationx a x a Lecture 2 Series (See Chapter 1 in Boas)
Lecture Series (See Chapter i Boas) A basic ad very powerful (if pedestria, recall we are lazy AD smart) way to solve ay differetial (or itegral) equatio is via a series expasio of the correspodig solutio
More information