The Gamma function Michael Taylor. Abstract. This material is excerpted from 18 and Appendix J of [T].
|
|
- Delphia Harrison
- 6 years ago
- Views:
Transcription
1 The Gamma fuctio Michael Taylor Abstract. This material is excerpted from 8 ad Appedix J of [T]. The Gamma fuctio has bee previewed i , arisig i the computatio of a atural Laplace trasform: 8. ft = t z = Lfs = Γz s z, for Re z >, with 8. Γz = e t t z dt, Re z >. Here we develop further properties of this special fuctio, begiig with the followig crucial idetity: 8.3 Γz + = = = z Γz, e t t z dt d dt e t t z dt for Re z >, where we use itegratio by parts. The defiitio 8. clearly gives 8.4 Γ =, so we deduce that for ay iteger k, 8.5 Γk = k Γk = = k!. While Γz is defied i 8. for Re z >, ote that the left side of 8.3 is well defied for Re z >, so this idetity exteds Γz to be meromorphic o {z : Re z > }, with a simple pole at z =. Iteratig this argumet, we exted Γz to be meromorphic o C, with simple poles at z =,,,.... Havig such a meromorphic cotiuatio of Γz, we establish the followig idetity.
2 Propositio 8.. For z C \ Z we have 8.6 ΓzΓ z = π si πz. Proof. It suffices to establish this idetity for < Re z <. I that case we have 8.7 ΓzΓ z = = = e s+t s z t z ds dt e u v z + v du dv + v v z dv, where we have used the chage of variables u = s + t, v = t/s. With v = e x, the last itegral is equal to e x e xz dx, which is holomorphic o < Re z <. We wat to show that this is equal to the right side of 8.6 o this strip. It suffices to prove idetity o the lie z = / + iξ, ξ R. The 8.8 is equal to the Fourier itegral 8.9 cosh x e ixξ dx. This was evaluated i 6; by 6.3 it is equal to 8. π cosh πξ, ad sice 8. π si π + iξ = π cosh πξ, the demostratio of 8.6 is complete. Corollary 8.. The fuctio Γz has o zeros, so /Γz is a etire fuctio. For our ext result, we begi with the followig estimate:
3 3 Lemma 8.3. We have 8. e t the latter iequality holdig provided 4. t t e t, t, Proof. The first iequality i 8. is equivalet to the simple estimate e y y for y. To see this, deote the fuctio by fy ad ote that f = while f y = e y for y. As for the secod iequality i 8., write 8.3 log t = log t X = t + 3 = t X, t + t +. 4 We have t/ = e t X ad hece, for t, e t t = e X e t Xe t, usig the estimate x e x for x as above. It is clear from 8.3 that X t / if t /. O the other had, if t / ad 4 we have t / ad hece e t t /e t. We use 8. to obtai, for Re z >, Γz = lim = lim z Repeatedly itegratig by parts gives t t z dt s s z ds. 8.4 Γz = lim z zz + z + which yields the followig result of Euler: Propositio 8.4. For Re z >, we have 8.5 Γz = lim z zz + z +, s z+ ds, Usig the idetity 8.3, aalytically cotiuig Γz, we have 8.5 for all z C other tha,,,.... I more detail, we have Γz = Γz + z = lim z+ z z + z + z + +,
4 4 for Re z > z. We ca rewrite the right side as z zz + z + + = + z + zz + z + + z+, + ad / + z+ as. This exteds 8.5 to {z : Re z > }, ad iteratively we get further extesios. We ca rewrite 8.5 as 8.6 Γz = lim z z + z + z + z. To work o this formula, we defie Euler s costat: 8.7 γ = lim log. The 8.6 is equivalet to 8.8 Γz = lim e γz e z+/+ +/ z + z + z + z, which leads to the followig Euler product expasio. Propositio 8.5. For all z C, we have 8.9 Γz = z eγz = + z e z/. We ca combie 8.6 ad 8.9 to produce a product expasio for si πz. I fact, it follows from 8.9 that the etire fuctio /ΓzΓ z has the product expasio 8. ΓzΓ z = z z. = Sice Γ z = zγ z, we have by 8.6 that 8. si πz = πz z. = For aother proof of this result, see 3, Exercise.
5 Here is aother applicatio of 8.6. If we take z = /, we get Γ/ = π. Sice 8. implies Γ/ >, we have 8. Γ = π. Aother way to obtai 8. is the followig. A chage of variable gives 8.3 e x dx = e t t / dt = Γ It follows from.6 that the left side of 8.3 is equal to π/, so we agai obtai 8.. Note that applicatio of 8.3 the gives, for each iteger k, 8.4 Γ k + = π / k k 3. Oe ca calculate the area A of the uit sphere S R by relatig Gaussia itegrals to the Gamma fuctio. To see this, ote that the argumet givig.6 yields 8.5 e x dx = e dx x = π /. R O the other had, usig spherical polar coordiates to compute the left side of 8.4 gives e x dx = A e r r dr 8.6 R = A e t t / dt, where we use t = r. Recogizig the last itegral as Γ/, we have 8.7 A = π/ Γ/. More details o this argumet are give at the ed of Appedix C.. 5 Exercises. Use the product expasio 8.9 to prove that 8.8 d dz Γ z Γz = z +. =
6 6 Hit. Go from 8.9 to log Γz = log z + γz + [ log + z z ], = ad ote that d dz Γ z Γz = d log Γz. dz. Let γ = log +. Show that γ ad that < γ <. Deduce that γ = lim γ exists, as asserted i Usig / zt z = t z log t, show that has Laplace trasform 4. Show that 8.9 yields f z t = t z log t, Re z > Lf z s = Γ z Γz log s s z, Re s >. 8.9 Γz + = zγz = e γz Use this to show that = + z e z/, z <. 8.3 Γ = d dz zγz z= = γ. 5. Usig Exercises 3 4, show that ad that ft = log t = Lfs = log s + γ, s γ = log te t dt. 6. Show that γ = γ a γ b, with γ a = e t t dt, γ b = e t t dt.
7 Cosider how to obtai accurate umerical evaluatios of these quatities. Hit. Split the itegral for γ i Exercise 5 ito two pieces. Itegrate each piece by parts, usig e t = d/dte t for oe ad e t = d/dte t for the other. See Appedix J for more o this. 7. Use the Laplace trasform idetity 8. for f z t = t z o t, give Re z > plus the results of Exercises 5 6 of 5 to show that 8.3 Bz, ζ = ΓzΓζ, Re z, Re ζ >, Γz + ζ where the beta fuctio Bz, ζ is defied by 8.3 Bz, ζ = s z s ζ ds, Re z, Re ζ >. The idetity 8.3 is kow as Euler s formula for the beta fuctio. 8. Show that, for ay z C, whe z, we have + z e z/ = + w with log + w = log + z/ z/ satisfyig log + w z. Show that this estimate implies the covergece of the product o the right side of 8.9, locally uiformly o C. More ifiite products 9. Show that = 4 = π. Hit. Take z = / i 8... Show that, for all z C, 8.34 cos πz = odd z.
8 8 Hit. Use cos πz/ = si π/z ad 8. to obtai 8.35 cos πz = π z = z 4. Use u = u + u to write the geeral factor i this ifiite product as + z = ad obtai from 8.35 that cos πz = π + z 4 z + = 4 Deduce 8.34 from this ad Show that odd + z, z + z si πz πz = cos πz cos πz 4 cos πz 8. Hit. Make use of 8. ad A. The Legedre duplicatio formula The Legedre duplicatio formula relates Γz ad ΓzΓz + /. Note that each of these fuctios is meromorphic, with poles precisely at {, /,, 3/,,... }, all simple, ad both fuctios are owhere vaishig. Hece their quotiet is a etire holomorphic fuctio, ad it is owhere vaishig, so 8.37 Γz = e Az ΓzΓ z +, with Az holomorphic o C. We seek a formula for Az. We will be guided by 8.9, which implies that 8.38 Γz = zeγz = + z e z/,
9 9 ad via results give i 8B 8.39 ΓzΓz + / = z z + e γz e γz+/{ = + z e z/ + z + / e z+//}. Settig z + / = z + + = + z +, + ad 8.4 e z+// = e z/+ e z[/ /+] e /, we ca write the ifiite product o the right side of 8.39 as 8.4 { + z e z/ + = { + = e /} e z/+} z + e z[/ /+]. = Hece 8.43 ΓzΓz + / = zeγz e γ/ ez + ze z 8.4 = ze γz e γ/ ez = 4 { + z k k= e z/k} { + e /} e z[/ /+]. = Now, settig z = / i 8.9 gives 8.44 Γ/ = eγ/ + e /, = so takig 8.38 ito accout yields 8.45 ΓzΓz + / = Γ/Γz = Γ/Γz e z e αz, = e z[/ /+]
10 where 8.46 α = + = = = log. Hece e αz = z, ad we get 8.47 Γ Γz = z ΓzΓ z +. This is the Legedre duplicatio formula. Recall that Γ/ = π. A equivalet formulatio of 8.47 is z z π / Γz = z / Γ Γ. This geeralizes to the followig formula of Gauss, z z π / Γz = z / Γ Γ Γ valid for = 3, 4,.... z +, 8B. Covergece of ifiite products Here we record some results regardig the covergece of ifiite products, which have arise i this sectio. We look at ifiite products of the form a k. k= Disregardig cases where oe or more factors + a k vaish, the covergece of M k= + a k as M amouts to the covergece 8.5 lim M N + a k =, uiformly i N > M. k=m I particular, we require a k as k. To ivestigate whe 8.5 happes, write N + a k = + a M + a M+ + a N 8.5 k=m = + a j + a j a j + + a M a N, j j <j
11 where, e.g., M j < j N. Hece 8.53 N + a k a j + a j a j + + a M a N j j <j N = + a k k=m k=m = b MN, the last idetity defiig b MN. Our task is to ivestigate whe b MN as M, uiformly i N > M. To do this, we ote that 8.54 ad use the facts 8.55 log + b MN = log = N k=m N + a k k=m log + a k, x = log + x x, x = log + x x. Assumig a k ad takig M so large that k M a k /, we have 8.56 ad hece N k=m 8.57 lim M b MN =, a k log + b MN N k=m a k, uiformly i N > M k a k <. Cosequetly, 8.58 a k < = k = + a k coverges k= + a k coverges. k= Aother cosequece of 8.57 is the followig: 8.59 If + a k for all k, the a k < + a k. We ca replace the sequece a k of complex umbers by a sequece f k of holomorphic fuctios, ad deduce from the estimates above the followig. k=
12 Propositio 8.6. Let f k : Ω C be holomorphic. If 8.6 f k z < o Ω, the we have a coverget ifiite product k f k z = gz, k= ad g is holomorphic o Ω. If z Ω ad + f k z for all k, the gz. Aother cosequece of estimates leadig to 8.57 is that if also g k : Ω C ad g k z < o Ω, the 8.6 { } + f k z + g k z = + f k z + g k z. k= k= k= To make cotact with the Gamma fuctio, ote that the ifiite product i 8.9 has the form 8.6 with f k z = To see that 8.6 applies, ote that + z e z/k. k 8.64 e w = w + Rw, w Rw C w. Hece z e z/k = + z z z k k k + R k = z k + z z R. k k Hece 8.63 holds with 8.66 f k z = z k + z z R, k k so 8.67 f k z C z k which yields 8.6. for k z,
13 3 J. Euler s costat Here we say more about Euler s costat, itroduced i 8.7, i the course of producig the Euler product expasio for /Γz. The defiitio J. γ = lim k log + k= of Euler s costat ivolves a very slowly coverget sequece. I order to produce a umerical approximatio of γ, it is coveiet to use other formulas, ivolvig the Gamma fuctio Γz = e t t z dt. Note that J. Γ z = log te t t z dt. Meawhile the Euler product formula /Γz = ze γz = + z/e z/ implies J.3 Γ = γ. Thus we have the itegral formula J.4 γ = log te t dt. To evaluate this itegral umerically it is coveiet to split it ito two pieces: J.5 γ = = γ a γ b. log te t dt log te t dt We ca apply itegratio by parts to both the itegrals i 5, usig e t = d/dte t o the first ad e t = d/dte t o the secod, to obtai J.6 γ a = e t t dt, γ b = e t t dt. Usig the power series for e t ad itegratig term by term produces a rapidly coverget series for γ a : J.7 γ a = k= k. k k!
14 4 Before producig ifiite series represetatios for γ b, we ote that the chage of variable t = s m gives e sm J.8 γ b = m ds, s which is very well approximated by the itegral over s [, if m =, for example. To produce ifiite series for γ b, we ca break up [, ito itervals [k, k + ad take t = s + k, to write J.9 γ b = k= e k k β k, β k = e t + t/k dt. Note that < β k < /e for all k. For k we ca write J. β k = jαj, α j = k j= t j e t dt. Oe coveiet way to itegrate t j e t is the followig. Write J. E j t = The j l= t l l!. J. hece J.3 so J.4 E j t = E j t, d Ej te t = E j t E j t e t = tj dt j! e t, t j e t dt = j!e j te t + C. I particular, J.5 α j = t j e t dt = j! e = j! e = e l=j+ j l= l! l! j + + j + j + +.
15 5 To evaluate β as a ifiite series, it is coveiet to write J.6 e β = = e t dt t j j= = log + j! j= t j dt j j j! j. To summarize, we have γ = γ a γ b, with γ a give by the coveiet series J.7 ad J.7 γ b = k= j= e k k k jαj + log + j= j j j! j, with α j give by J.5. We ca reverse the order of summatio of the double series ad write J.8 γ b = with j ζ j α j + log + j= J.9 ζ j = Note that k= j= e k k j+. j j j! j. J. < ζ j < j+ e k < j+3, k= while J.5 readily yields < α j < /ej. So oe ca expect 5 digits of accuracy by summig the first series i J.8 over j 5 ad the secod series over j 3, assumig the igrediets α j ad ζ j are evaluated sufficietly accurately. It suffices to sum J.9 over k 4 j/3 to evaluate ζ j to sufficiet accuracy. Note that the quatities α j do ot have to be evaluated idepedetly. Say you are summig the first series i J.8 over j 5. First evaluate α 5 usig terms i J.5, ad the evaluate iductively α 49,..., α usig the idetity J. α j = je + α j j,
16 6 equivalet to α j = jα j /e, which follows by itegratio by parts of tj e t dt. If we sum the series J.7 for γ a over k ad either sum the series J.8 as described above or have Mathematica umerically itegrate J.8, with m =, to high precisio, we obtai J. γ , which is accurate to 5 digits. We give aother series for γ. This oe is more slowly coverget tha the series i J.7 ad J.8, but it makes clear why γ exceeds / by a small amout, ad it has other iterestig aspects. We start with J.3 γ = γ, γ = + = dx x = log +. Thus γ is the area of the regio J.4 Ω = { x, y : x +, x y }. This regio cotais the triagle T with vertices, /, +, /, ad +, / +. The regio Ω \ T is a little sliver. Note that J.5 Area T = δ = ad hece, + J.6 δ =. = Thus J.7 γ = γ δ + γ δ + γ 3 δ 3 +. Now J.8 γ δ = 3 4 log, while, for, we have power series expasios J.9 γ = δ = 3 + 4,
17 7 the first expasio by log + z = z z / + z 3 /3, ad the secod by J.3 δ = + = +, ad the expasio + z = z + z. Hece we have J.3 γ = γ δ , or, with J.3 we have J.33 γ = 3 4 log + ζk = k, [ζ3 ] 3 [ζ4 ] +, 4 a alteratig series from the third term o. We ote that J.34 The estimate J.35 implies 3 log.56858, 4 [ζ3 ].33676, 6 [ζ4 ].588, 4 3 [ζ5 ].783. J.36 < k < k + x k dx k [ζk ] < k, so the series J.33 is geometrically coverget. If k is eve, ζk is a kow ratioal multiple of π k. However, for odd k, the values of ζk are more mysterious. Note that to get ζ3 to 6 digits by summig J.3 oe eeds to sum over 8. O a.3 GHz persoal computer, a C program does this i 4 secods. Of course, this is vastly slower tha summig J.7 ad J.8 over the rages discussed above. Referece [T] M. Taylor, Itroductio to Complex Aalysis. website. Notes, available o this
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 informationChapter 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 informationREVIEW 1, MATH n=1 is convergent. (b) Determine whether a n is convergent.
REVIEW, MATH 00. Let a = +. a) Determie whether the sequece a ) is coverget. b) Determie whether a is coverget.. Determie whether the series is coverget or diverget. If it is coverget, fid its sum. a)
More informationREGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS
REGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS LIVIU I. NICOLAESCU ABSTRACT. We ivestigate the geeralized covergece ad sums of series of the form P at P (x, where P R[x], a R,, ad T : R[x] R[x]
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 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 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 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 information1 1 2 = show that: over variables x and y. [2 marks] Write down necessary conditions involving first and second-order partial derivatives for ( x0, y
Questio (a) A square matrix A= A is called positive defiite if the quadratic form waw > 0 for every o-zero vector w [Note: Here (.) deotes the traspose of a matrix or a vector]. Let 0 A = 0 = show that:
More informationDupuy Complex Analysis Spring 2016 Homework 02
Dupuy Complex Aalysis Sprig 206 Homework 02. (CUNY, Fall 2005) Let D be the closed uit disc. Let g be a sequece of aalytic fuctios covergig uiformly to f o D. (a) Show that g coverges. Solutio We have
More informationHarmonic Number Identities Via Euler s Transform
1 2 3 47 6 23 11 Joural of Iteger Sequeces, Vol. 12 2009), Article 09.6.1 Harmoic Number Idetities Via Euler s Trasform Khristo N. Boyadzhiev Departmet of Mathematics Ohio Norther Uiversity Ada, Ohio 45810
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 informationAdvanced Analysis. Min Yan Department of Mathematics Hong Kong University of Science and Technology
Advaced Aalysis Mi Ya Departmet of Mathematics Hog Kog Uiversity of Sciece ad Techology September 3, 009 Cotets Limit ad Cotiuity 7 Limit of Sequece 8 Defiitio 8 Property 3 3 Ifiity ad Ifiitesimal 8 4
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 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 information1 Lecture 2: Sequence, Series and power series (8/14/2012)
Summer Jump-Start Program for Aalysis, 202 Sog-Yig Li Lecture 2: Sequece, Series ad power series (8/4/202). More o sequeces Example.. Let {x } ad {y } be two bouded sequeces. Show lim sup (x + y ) lim
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 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 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 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 informationSequences, Series, and All That
Chapter Te Sequeces, Series, ad All That. Itroductio Suppose we wat to compute a approximatio of the umber e by usig the Taylor polyomial p for f ( x) = e x at a =. This polyomial is easily see to be 3
More informationThe second is the wish that if f is a reasonably nice function in E and φ n
8 Sectio : Approximatios i Reproducig Kerel Hilbert Spaces I this sectio, we address two cocepts. Oe is the wish that if {E, } is a ierproduct space of real valued fuctios o the iterval [,], the there
More informationFall 2013 MTH431/531 Real analysis Section Notes
Fall 013 MTH431/531 Real aalysis Sectio 8.1-8. Notes Yi Su 013.11.1 1. Defiitio of uiform covergece. We look at a sequece of fuctios f (x) ad study the coverget property. Notice we have two parameters
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 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 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 informationINFINITE SEQUENCES AND SERIES
INFINITE SEQUENCES AND SERIES INFINITE SEQUENCES AND SERIES I geeral, it is difficult to fid the exact sum of a series. We were able to accomplish this for geometric series ad the series /[(+)]. This is
More informationThe Ratio Test. THEOREM 9.17 Ratio Test Let a n be a series with nonzero terms. 1. a. n converges absolutely if lim. n 1
460_0906.qxd //04 :8 PM Page 69 SECTION 9.6 The Ratio ad Root Tests 69 Sectio 9.6 EXPLORATION Writig a Series Oe of the followig coditios guaratees that a series will diverge, two coditios guaratee that
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 informationChapter 8. Uniform Convergence and Differentiation.
Chapter 8 Uiform Covergece ad Differetiatio This chapter cotiues the study of the cosequece of uiform covergece of a series of fuctio I Chapter 7 we have observed that the uiform limit of a sequece of
More information1 6 = 1 6 = + Factorials and Euler s Gamma function
Royal Holloway Uiversity of Lodo Departmet of Physics Factorials ad Euler s Gamma fuctio Itroductio The is a self-cotaied part of the course dealig, essetially, with the factorial fuctio ad its geeralizatio
More informationM17 MAT25-21 HOMEWORK 5 SOLUTIONS
M17 MAT5-1 HOMEWORK 5 SOLUTIONS 1. To Had I Cauchy Codesatio Test. Exercise 1: Applicatio of the Cauchy Codesatio Test Use the Cauchy Codesatio Test to prove that 1 diverges. Solutio 1. Give the series
More informationMA131 - Analysis 1. Workbook 9 Series III
MA3 - Aalysis Workbook 9 Series III Autum 004 Cotets 4.4 Series with Positive ad Negative Terms.............. 4.5 Alteratig Series.......................... 4.6 Geeral Series.............................
More informationn=1 a n is the sequence (s n ) n 1 n=1 a n converges to s. We write a n = s, n=1 n=1 a n
Series. Defiitios ad first properties A series is a ifiite sum a + a + a +..., deoted i short by a. The sequece of partial sums of the series a is the sequece s ) defied by s = a k = a +... + a,. k= Defiitio
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 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 informationBeurling Integers: Part 2
Beurlig Itegers: Part 2 Isomorphisms Devi Platt July 11, 2015 1 Prime Factorizatio Sequeces I the last article we itroduced the Beurlig geeralized itegers, which ca be represeted as a sequece of real umbers
More informationSeries with Central Binomial Coefficients, Catalan Numbers, and Harmonic Numbers
3 47 6 3 Joural of Iteger Sequeces, Vol. 5 (0), Article..7 Series with Cetral Biomial Coefficiets, Catala Numbers, ad Harmoic Numbers Khristo N. Boyadzhiev Departmet of Mathematics ad Statistics Ohio Norther
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 informationENGI Series Page 6-01
ENGI 3425 6 Series Page 6-01 6. Series Cotets: 6.01 Sequeces; geeral term, limits, covergece 6.02 Series; summatio otatio, covergece, divergece test 6.03 Stadard Series; telescopig series, geometric series,
More informationProbability for mathematicians INDEPENDENCE TAU
Probability for mathematicias INDEPENDENCE TAU 2013 28 Cotets 3 Ifiite idepedet sequeces 28 3a Idepedet evets........................ 28 3b Idepedet radom variables.................. 33 3 Ifiite idepedet
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 information4x 2. (n+1) x 3 n+1. = lim. 4x 2 n+1 n3 n. n 4x 2 = lim = 3
Exam Problems (x. Give the series (, fid the values of x for which this power series coverges. Also =0 state clearly what the radius of covergece is. We start by settig up the Ratio Test: x ( x x ( x x
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 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 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 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 informationMath 113, Calculus II Winter 2007 Final Exam Solutions
Math, Calculus II Witer 7 Fial Exam Solutios (5 poits) Use the limit defiitio of the defiite itegral ad the sum formulas to compute x x + dx The check your aswer usig the Evaluatio Theorem Solutio: I this
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 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 informationInfinite Series and Improper Integrals
8 Special Fuctios Ifiite Series ad Improper Itegrals Ifiite series are importat i almost all areas of mathematics ad egieerig I additio to umerous other uses, they are used to defie certai fuctios ad to
More informationPROBLEM SET 5 SOLUTIONS 126 = , 37 = , 15 = , 7 = 7 1.
Math 7 Sprig 06 PROBLEM SET 5 SOLUTIONS Notatios. Give a real umber x, we will defie sequeces (a k ), (x k ), (p k ), (q k ) as i lecture.. (a) (5 pts) Fid the simple cotiued fractio represetatios of 6
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 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 informationMA131 - Analysis 1. Workbook 2 Sequences I
MA3 - Aalysis Workbook 2 Sequeces I Autum 203 Cotets 2 Sequeces I 2. Itroductio.............................. 2.2 Icreasig ad Decreasig Sequeces................ 2 2.3 Bouded Sequeces..........................
More informationSeries III. Chapter Alternating Series
Chapter 9 Series III With the exceptio of the Null Sequece Test, all the tests for series covergece ad divergece that we have cosidered so far have dealt oly with series of oegative terms. Series with
More informationZ ß cos x + si x R du We start with the substitutio u = si(x), so du = cos(x). The itegral becomes but +u we should chage the limits to go with the ew
Problem ( poits) Evaluate the itegrals Z p x 9 x We ca draw a right triagle labeled this way x p x 9 From this we ca read off x = sec, so = sec ta, ad p x 9 = R ta. Puttig those pieces ito the itegralrwe
More informationSequences and Limits
Chapter Sequeces ad Limits Let { a } be a sequece of real or complex umbers A ecessary ad sufficiet coditio for the sequece to coverge is that for ay ɛ > 0 there exists a iteger N > 0 such that a p a q
More informationsin(n) + 2 cos(2n) n 3/2 3 sin(n) 2cos(2n) n 3/2 a n =
60. Ratio ad root tests 60.1. Absolutely coverget series. Defiitio 13. (Absolute covergece) A series a is called absolutely coverget if the series of absolute values a is coverget. The absolute covergece
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 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 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 informationArchimedes - numbers for counting, otherwise lengths, areas, etc. Kepler - geometry for planetary motion
Topics i Aalysis 3460:589 Summer 007 Itroductio Ree descartes - aalysis (breaig dow) ad sythesis Sciece as models of ature : explaatory, parsimoious, predictive Most predictios require umerical values,
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 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 informationMA131 - Analysis 1. Workbook 3 Sequences II
MA3 - Aalysis Workbook 3 Sequeces II Autum 2004 Cotets 2.8 Coverget Sequeces........................ 2.9 Algebra of Limits......................... 2 2.0 Further Useful Results........................
More information1. By using truth tables prove that, for all statements P and Q, the statement
Author: Satiago Salazar Problems I: Mathematical Statemets ad Proofs. By usig truth tables prove that, for all statemets P ad Q, the statemet P Q ad its cotrapositive ot Q (ot P) are equivalet. I example.2.3
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 informationInformal Notes: Zeno Contours, Parametric Forms, & Integrals. John Gill March August S for a convex set S in the complex plane.
Iformal Notes: Zeo Cotours Parametric Forms & Itegrals Joh Gill March August 3 Abstract: Elemetary classroom otes o Zeo cotours streamlies pathlies ad itegrals Defiitio: Zeo cotour[] Let gk ( z = z + ηk
More informationCarleton College, Winter 2017 Math 121, Practice Final Prof. Jones. Note: the exam will have a section of true-false questions, like the one below.
Carleto College, Witer 207 Math 2, Practice Fial Prof. Joes Note: the exam will have a sectio of true-false questios, like the oe below.. True or False. Briefly explai your aswer. A icorrectly justified
More informationAn analog of the arithmetic triangle obtained by replacing the products by the least common multiples
arxiv:10021383v2 [mathnt] 9 Feb 2010 A aalog of the arithmetic triagle obtaied by replacig the products by the least commo multiples Bair FARHI bairfarhi@gmailcom MSC: 11A05 Keywords: Al-Karaji s triagle;
More informationAdditional Notes on Power Series
Additioal Notes o Power Series Mauela Girotti MATH 37-0 Advaced Calculus of oe variable Cotets Quick recall 2 Abel s Theorem 2 3 Differetiatio ad Itegratio of Power series 4 Quick recall We recall here
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 informationTR/46 OCTOBER THE ZEROS OF PARTIAL SUMS OF A MACLAURIN EXPANSION A. TALBOT
TR/46 OCTOBER 974 THE ZEROS OF PARTIAL SUMS OF A MACLAURIN EXPANSION by A. TALBOT .. Itroductio. A problem i approximatio theory o which I have recetly worked [] required for its solutio a proof that the
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 informationSection 11.6 Absolute and Conditional Convergence, Root and Ratio Tests
Sectio.6 Absolute ad Coditioal Covergece, Root ad Ratio Tests I this chapter we have see several examples of covergece tests that oly apply to series whose terms are oegative. I this sectio, we will lear
More informationPhysics 116A Solutions to Homework Set #1 Winter Boas, problem Use equation 1.8 to find a fraction describing
Physics 6A Solutios to Homework Set # Witer 0. Boas, problem. 8 Use equatio.8 to fid a fractio describig 0.694444444... Start with the formula S = a, ad otice that we ca remove ay umber of r fiite decimals
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 informationIf a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?
2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a
More informationFeedback in Iterative Algorithms
Feedback i Iterative Algorithms Charles Byre (Charles Byre@uml.edu), Departmet of Mathematical Scieces, Uiversity of Massachusetts Lowell, Lowell, MA 01854 October 17, 2005 Abstract Whe the oegative system
More informationSequences I. Chapter Introduction
Chapter 2 Sequeces I 2. Itroductio A sequece is a list of umbers i a defiite order so that we kow which umber is i the first place, which umber is i the secod place ad, for ay atural umber, we kow which
More informationThe Prime Number Theorem without Euler products
The Prime Number Theorem without Euler products Michael Müger Istitute for Mathematics, Astrophysics ad Particle Physics Radboud Uiversity Nijmege, The Netherlads October, 27 Abstract We give a simple
More informationA 2nTH ORDER LINEAR DIFFERENCE EQUATION
A 2TH ORDER LINEAR DIFFERENCE EQUATION Doug Aderso Departmet of Mathematics ad Computer Sciece, Cocordia College Moorhead, MN 56562, USA ABSTRACT: We give a formulatio of geeralized zeros ad (, )-discojugacy
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 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 informationGeneral Properties Involving Reciprocals of Binomial Coefficients
3 47 6 3 Joural of Iteger Sequeces, Vol. 9 006, Article 06.4.5 Geeral Properties Ivolvig Reciprocals of Biomial Coefficiets Athoy Sofo School of Computer Sciece ad Mathematics Victoria Uiversity P. O.
More informationSequences of Definite Integrals, Factorials and Double Factorials
47 6 Joural of Iteger Sequeces, Vol. 8 (5), Article 5.4.6 Sequeces of Defiite Itegrals, Factorials ad Double Factorials Thierry Daa-Picard Departmet of Applied Mathematics Jerusalem College of Techology
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 informationRead carefully the instructions on the answer book and make sure that the particulars required are entered on each answer book.
THE UNIVERSITY OF WARWICK FIRST YEAR EXAMINATION: Jauary 2009 Aalysis I Time Allowed:.5 hours Read carefully the istructios o the aswer book ad make sure that the particulars required are etered o each
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 informationMath 2784 (or 2794W) University of Connecticut
ORDERS OF GROWTH PAT SMITH Math 2784 (or 2794W) Uiversity of Coecticut Date: Mar. 2, 22. ORDERS OF GROWTH. Itroductio Gaiig a ituitive feel for the relative growth of fuctios is importat if you really
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 informationSequences. Notation. Convergence of a Sequence
Sequeces A sequece is essetially just a list. Defiitio (Sequece of Real Numbers). A sequece of real umbers is a fuctio Z (, ) R for some real umber. Do t let the descriptio of the domai cofuse you; it
More informationAn Asymptotic Expansion for the Number of Permutations with a Certain Number of Inversions
A Asymptotic Expasio for the Number of Permutatios with a Certai Number of Iversios Lae Clark Departmet of Mathematics Souther Illiois Uiversity Carbodale Carbodale, IL 691-448 USA lclark@math.siu.edu
More informationBIRKHOFF ERGODIC THEOREM
BIRKHOFF ERGODIC THEOREM Abstract. We will give a proof of the poitwise ergodic theorem, which was first proved by Birkhoff. May improvemets have bee made sice Birkhoff s orgial proof. The versio we give
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 information6. Uniform distribution mod 1
6. Uiform distributio mod 1 6.1 Uiform distributio ad Weyl s criterio Let x be a seuece of real umbers. We may decompose x as the sum of its iteger part [x ] = sup{m Z m x } (i.e. the largest iteger which
More informationIntroduction to Probability. Ariel Yadin
Itroductio to robability Ariel Yadi Lecture 2 *** Ja. 7 ***. Covergece of Radom Variables As i the case of sequeces of umbers, we would like to talk about covergece of radom variables. There are may ways
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 informationMath 220A Fall 2007 Homework #2. Will Garner A
Math 0A Fall 007 Homewor # Will Garer Pg 3 #: Show that {cis : a o-egative iteger} is dese i T = {z œ : z = }. For which values of q is {cis(q): a o-egative iteger} dese i T? To show that {cis : a o-egative
More information