THE GAUSSIAN INTEGRAL. e x2 dx, and K =
|
|
- Rodney Edwards
- 6 years ago
- Views:
Transcription
1 THE GAUSSIAN INTEGRAL KEITH CONRAD Let I e 1 x dx, J e x dx, and K These numbers are positive, and J I/( ) and K I/ π. e πx dx. Theorem. With notation as above, I π, or equivalently J π/, or equivalently K 1. We will give multiple proofs of this result. (Other lists of proofs are in [3] and [8].) The theorem is subtle because there is no simple antiderivative for e 1 x (or e x or e πx ). For comparison, xe 1 x dx can be computed using the antiderivative e 1 x : this integral is First Proof: Polar coordinates The most widely known proof uses multivariable calculus: express J as a double integral and then pass to polar coordinates: J e x dx e y dy e (x +y ) dx dy. This is a double integral over the first quadrant, which we will compute by using polar coordinates. The first quadrant is {(r, θ) : r and θ π/}. Writing x + y as r and dx dy as r dr dθ, J π/ re r dr 1 e r 1 π π 4. e r r dr dθ π π/ Taking square roots, J π/. This method is due to Poisson [8, p. 3].. Second Proof: Another change of variables Our next proof uses another change of variables to compute J, but this will only rely on singlevariable calculus. As before, we have ( ) J e (x +y ) dx dy e (x +y ) dx dy, 1 dθ
2 KEITH CONRAD but instead of using polar coordinates we make a change of variables x yt on the inside integral, with dx y dt, so ( ) ( ) J e y (t +1) y dt dy ye y (t +1) dy dt. Since ye ay dy 1 a for a >, we have J dt (t + 1) 1 π π 4, so J π/. This approach is due to Laplace [6, pp ] and historically precedes the more familiar technique in the first proof above. We will see in the eighth proof that this was not Laplace s first method. For t >, set 3. Third Proof: Differentiating under the integral sign ( t A(t) e dx) x. The integral we want to calculate is A( ) J and then take a square root. Differentiating A(t) with respect to t and using the Fundamental Theorem of Calculus, Let x ty, so A (t) t t e x dx e t e t e x dx. A (t) e t te t y dy te (1+y )t dy. The function under the integral sign is easily antidifferentiated with respect to t: A (t) e (1+y )t t 1 + y dy d dt e (1+y )t 1 + y dy. Letting e t (1+x ) B(t) 1 + x dx, we have A (t) B (t) for all t >, so there is a constant C such that (3.1) A(t) B(t) + C ( for all t >. To find C, we let t + in (3.1). The left side tends to e dx) x while the right side tends to dx/(1 + x ) + C π/4 + C. Thus C π/4, so (3.1) becomes ( t ) e x dx π 4 e t (1+x ) 1 + x dx. Letting t in this equation, we obtain J π/4, so J π/. A comparison of this proof with the first proof is in [19].
3 THE GAUSSIAN INTEGRAL 3 4. Fourth Proof: Another differentiation under the integral sign Here is a second approach to finding J by differentiation under the integral sign. I heard about it from Michael Rozman [13], who modified an idea on math.stackexchange [1], and in a slightly less elegant form it appeared much earlier in [17]. For t R, set F (t) e t (1+x ) 1 + x dx. Then F () dx/(1 + x ) π/ and F ( ). Differentiating under the integral sign, F (t) Make the substitution y tx, with dy t dx, so te t (1+x ) dx te t e (tx) dx. F (t) e t e y dy Je t. For b >, integrate both sides from to b and use the Fundamental Theorem of Calculus: b F (t) dt J Letting b in the last equation, b e t dt F (b) F () J π J J π 4 J π. b e t dt. 5. Fifth Proof: A volume integral Our next proof is due to T. P. Jameson [4] and it was rediscovered by A. L. Delgado []. Revolve the curve z e 1 x in the xz-plane around the z-axis to produce the bell surface z e 1 (x +y ). See below, where the z-axis is vertical and passes through the top point, the x-axis lies just under the surface through the point in front, and the y-axis lies just under the surface through the point on the left. We will compute the volume V below the surface and above the xy-plane in two ways. First we compute V by horizontal slices, which are discs: V A(z) dz where A(z) is the area of the disc formed by slicing the surface at height z. Writing the radius of the disc at height z as r(z), A(z) πr(z). To compute r(z), the surface cuts the xz-plane at a pair of points (x, e 1 x ) where the height is z, so e 1 x z. Thus x ln z. Since x is the distance of these points from the z-axis, r(z) x ln z, so A(z) πr(z) πln z. Therefore V π ln z dz π (z ln z z) 1 π( 1 lim z ln z). z + By L Hospital s rule, lim z + z ln z, so V π. (A calculation of V by shells is in [1].) Next we compute the volume by vertical slices in planes x constant. Vertical slices are scaled bell curves: look at the black contour lines in the picture. The equation of the bell curve along the top of the vertical slice with x-coordinate x is z e 1 (x +y ), where y varies and x is fixed. Then
4 4 KEITH CONRAD V Thus V A(x) dx, where A(x) is the area of the x-slice: A(x) A(x) dx e 1 (x +y ) dy e 1 x e 1 y dy e 1 x I. e 1 x I dx I e 1 x dx I. Comparing the two formulas for V, we have π I, so I π. For any integer n, we have n! 6. Sixth Proof: The Γ-function Γ(x) t n e t dt. For x > we define t x t dt e t, so Γ(n) (n 1)! when n 1. Using integration by parts, Γ(x + 1) xγ(x). One of the basic properties of the Γ-function [14, pp ] is (6.1) Γ(x)Γ(y) Γ(x + y) t x 1 (1 t) y 1 dt.
5 Set x y 1/: Note Γ ( ) 1 te t dt t THE GAUSSIAN INTEGRAL 5 Γ ( ) 1 dt. t(1 t) e t dt t e x so 4J dt/ t(1 t). With the substitution t sin θ, 4J π/ sin θ cos θ dθ sin θ cos θ x x dx π π, e x dx J, so J π/. Equivalently, Γ(1/) π. Any method that proves Γ(1/) π is also a method that calculates e x dx. 7. Seventh Proof: Asymptotic estimates We will show J π/ by a technique whose steps are based on [15, p. 371]. For x, power series expansions show 1 + x e x 1/(1 x). Reciprocating and replacing x with x, we get (7.1) 1 x e x x. for all x R. For any positive integer n, raise the terms in (7.1) to the nth power and integrate from to 1: (1 x ) n dx e nx dx dx (1 + x ) n. Under the changes of variables x sin θ on the left, x y/ n in the middle, and x tan θ on the right, (7.) π/ (cos θ) n+1 dθ 1 n e y dy n Set I k π/ (cos θ) k dθ, so I π/, I 1 1, and (7.) implies (7.3) π/4 n nin+1 e y dy ni n. (cos θ) n dθ. We will show that as k, kik π/. Then n nin+1 n + 1In+1 1 π π n + 1 and so by (7.3) n nin e y dy π/. Thus J π/. n n n In 1 π π,
6 6 KEITH CONRAD To show ki k π/, first we compute several values of I k explicitly by a recursion. Using integration by parts, so I k π/ (cos θ) k dθ π/ (7.4) I k k 1 k I k. (cos θ) k 1 cos θ dθ (k 1)(I k I k ), Using (7.4) and the initial values I π/ and I 1 1, the first few values of I k are computed and listed in Table 1. k I k k I k π/ 1 1 (1/)(π/) 3 /3 4 (3/8)(π/) 5 8/15 6 (15/48)(π/) 7 48/15 Table 1. From Table 1 we see that (7.5) I n I n+1 1 π n + 1 for n 3, and this can be proved for all n by induction using (7.4). Since cos θ 1 for θ [, π/], we have I k I k 1 I k k k 1 I k by (7.4), so I k 1 I k as k. Therefore (7.5) implies as n. Then In 1 π n (n)i n π (n + 1)I n+1 (n)i n π as n, so ki k π/ as k. This completes our proof that J π/. Remark 7.1. This proof is closely related to the fifth proof using the Γ-function. Indeed, by (6.1) Γ( k+1 )Γ( 1 ) Γ( k ) t (k+1)/+1 (1 t) 1/ 1 dt,
7 THE GAUSSIAN INTEGRAL 7 and with the change of variables t (cos θ) for θ π/, the integral on the right is equal to π/ (cos θ) k dθ I k, so (7.5) is the same as π I n I n+1 (n + 1) Γ( n+1 )Γ( 1 ) Γ( n+ ) n+1 Γ( )Γ( 1 ) 4Γ( n+1 + 1) n+1 Γ( )Γ( 1 ) 4 n+1 Γ( n+1 ) Γ( 1 ) (n + 1), Γ( n+ )Γ( 1 ) Γ( n+3 ) or equivalently Γ(1/) π. We saw in the fifth proof that Γ(1/) π if and only if J π/. 8. Eighth Proof: The original proof The original proof that J π/ is due to Laplace [7] in (An English translation of Laplace s article is mentioned in the bibliographic citation for [7], with preliminary comments on that article in [16].) He wanted to compute (8.1) dx log x. Setting y log x, this integral is e y dy J, so we expect (8.1) to be π. Laplace s starting point for evaluating (8.1) was a formula of Euler: (8.) x r dx 1 x s x s+r dx 1 π 1 x s s(r + 1) for positive r and s. (Laplace himself said this formula held whatever be r or s, but if s < then the number under the square root is negative.) Accepting (8.), let r in it to get (8.3) dx 1 x s x s dx 1 π 1 x s s. Now let s in (8.3). Then 1 x s s log x by L Hopital s rule, so (8.3) becomes ( ) dx π. log x Thus (8.1) is π. Euler s formula (8.) looks mysterious, but we have met it before. In the formula let x s cos θ with θ π/. Then x (cos θ) 1/s, and after some calculations (8.) turns into (8.4) π/ (cos θ) (r+1)/s 1 dθ π/ (cos θ) (r+1)/s dθ 1 π (r + 1)/s. We used the integral I k π/ (cos θ) k dθ before when k is a nonnegative integer. This notation makes sense when k is any positive real number, and then (8.4) assumes the form I α I α+1 1 π α+1 for α (r +1)/s 1, which is (7.5) with a possibly nonintegral index. Letting r and s 1/(n+1)
8 8 KEITH CONRAD in (8.4) recovers (7.5). Letting s in (8.3) corresponds to letting n in (7.5), so the 6th proof is in essence a more detailed version of Laplace s 1774 argument. We will calculate 9. Ninth Proof: Contour Integration e x / dx using contour integrals and the residue theorem. However, we can t just integrate e z /, as this function has no poles. For a long time nobody knew how to handle this integral using contour integration. For instance, in 1914 Watson [18, p. 79] wrote Cauchy s theorem cannot be employed to evaluate all definite integrals; thus e x dx has not been evaluated except by other methods. In the 194s several contour integral solutions were published using awkward contours such as parallelograms [9], [11, Sect. 5] (see [1, Exer. 9, p. 113] for a recent appearance). Our approach will follow Kneser [5, p. 11] (see also [1, pp ] or []), using a rectangular contour and the function e z / 1 e π(1+i)z. This function comes out of nowhere, so our first task is to motivate the introduction of this function. We seek a meromorphic function f(z) to integrate around the rectangular contour γ R in the figure below, with vertices at R, R, R + ib, and R + ib, where b will be fixed and we let R. Suppose f(z) along the right and left sides of γ R uniformly as R. Then by applying the residue theorem and letting R, we would obtain (if the integrals converge) f(x) dx + f(x + ib) dx πi a Res za f(z), where the sum is over poles of f(z) with imaginary part between and b. This is equivalent to Therefore we want f(z) to satisfy (f(x) f(x + ib)) dx πi a (9.1) f(z) f(z + ib) e z /, Res za f(z). where f(z) and b need to be determined. Let s try f(z) e z / /d(z), for an unknown denominator d(z) whose zeros are poles of f(z). We want f(z) to satisfy (9.) f(z) f(z + τ) e z /
9 THE GAUSSIAN INTEGRAL 9 for some τ (which will not be purely imaginary, so (9.1) doesn t quite work, but (9.1) is only motivation). Substituting e z / /d(z) for f(z) in (9.) gives us ( ) / (9.3) e z / 1 e τz τ e z /. d(z) d(z + τ) Suppose d(z + τ) d(z). Then (9.3) implies d(z) 1 e τz τ /, and with this definition of d(z), f(z) satisfies (9.) if and only if e τ 1, or equivalently τ πiz. The simplest nonzero solution is τ π(1 + i). From now on this is the value of τ, so e τ / e iπ 1 and then f(z) e z / d(z) e z / 1 + e τz, which is Kneser s function mentioned earlier. This function satisfies (9.) and we henceforth ignore the motivation (9.1). Poles of f(z) are at odd integral multiples of τ/. We will integrate this f(z) around the rectangular contour γ R below, whose height is Im(τ). The poles of f(z) nearest the origin are plotted in the figure; they lie along the line y x. The only pole of f(z) inside γ R (for R > π/) is at τ/, so by the residue theorem e τ /8 f(z) dz πires zτ/ f(z) πi γ R ( τ)e τ / πie3τ /8 π(1 + i) π. As R, the value of f(z) tends to uniformly along the left and right sides of γ R, so π +i π f(x) dx + f(x) dx +i π f(z) dz f(x + i π) dx.
10 1 KEITH CONRAD In the second integral, write i π as τ π and use (real) translation invariance of dx to obtain π f(x) dx f(x + τ) dx Besides the integral formula (f(x) f(x + τ)) dx e x / dx by (9.). 1. Tenth Proof: Stirling s Formula in mathematics where π appears is in Stirling s formula: e 1 x dx π that we have been discussing, another place n! nn e n πn as n. In 173 De Moivre proved n! C(n n /e n ) n for some positive number C without being able to determine C. Stirling soon thereafter showed C π and wound up having the whole formula named after him. We will show that determining that the constant C in Stirling s formula is π is equivalent to showing that J π/ (or, equivalently, that I π). Applying (7.4) repeatedly, I n n 1 n I n (n 1)(n 3) I n 4 (n)(n ). (n 1)(n 3)(n 5) (5)(3)(1) I. (n)(n )(n 4) (6)(4)() Inserting (n )(n 4)(n 6) (6)(4)() in the top and bottom, I n (n 1)(n )(n 3)(n 4)(n 5) (6)(5)(4)(3)()(1) π (n)((n )(n 4) (6)(4)()) (n 1)! π n( n 1 (n 1)!). Applying De Moivre s asymptotic formula n! C(n/e) n n,, I n C((n 1)/e) n 1 n 1 π n( n 1 C((n 1)/e) n 1 n 1) (n 1) n 1 n 1 n 1 n (n 1) Ce(n 1) n 1 (n 1) (n 1) as n. For any a R, (1 + a/n) n e a as n, so (n + a) n e a n n. Substituting this into the above formula with a 1 and n replaced by n, (1.1) I n e 1 (n) n 1 n π n (n 1) Ce(e 1 n n ) 1 n π n C n. Since I k 1 I k, the outer terms in (7.3) are both asymptotic to ni n π/(c ) by (1.1). Therefore n e y dy π C π
11 THE GAUSSIAN INTEGRAL 11 as n, so J π/(c ). Therefore C π if and only if J π/. 11. Eleventh Proof: Fourier transforms For a continuous function f : R C that is rapidly decreasing at ±, its Fourier transform is the function Ff : R C defined by (Ff)(y) For example, (Ff)() f(x) dx. Here are three properties of the Fourier transform. f(x)e ixy dx. If f is differentiable, then after using differentiation under the integral sign on the Fourier transform of f we obtain (Ff) (y) ixf(x)e ixy dx i(f(xf(x)))(y). Using integration by parts on the Fourier transform of f, with u f(x) and dv e ixy dx, we obtain F(f )(y) iy(ff)(y). If we apply the Fourier transform twice then we recover the original function up to interior and exterior scaling: (11.1) (F f)(x) πf( x). Let s show the appearance of π in (11.1) is equivalent to the evaluation of I as π. Fixing a >, set f(x) e ax, so f (x) axf(x). Applying the Fourier transform to both sides of this equation implies iy(ff)(y) a 1 i (Ff) (y), which simplifies to (Ff) (y) 1 a y(ff)(y). The general solution of g (y) 1 ayg(y) is g(y) Ce y /(4a), so (Ff)(y) Ce y /(4a) for some constant C. Letting a 1, so f(x) e x /, we obtain (Ff)(y) Ce y / Cf(y). Setting y, the left side is (Ff)() e x / dx I, so I Cf() C. Applying the Fourier transform to both sides of the equation (Ff)(y) Cf(y), we get πf( x) C(Ff)(x) C f(x). At x this becomes π C, so I C ± π. Since I >, the number I is π. If we didn t know the constant on the right side of (11.1) were π, whatever its value is would wind up being C, so saying π appears on the right side of (11.1) is equivalent to saying I π.
12 1 KEITH CONRAD References [1] C. A. Berenstein and R. Gay, Complex Variables, Springer-Verlag, New York, [] A. L. Delgado, A Calculation of e x dx, The College Math. J. 34 (3), [3] H. Iwasawa, Gaussian Integral Puzzle, Math. Intelligencer 31 (9), [4] T. P. Jameson, The Probability Integral by Volume of Revolution, Mathematical Gazette 78 (1994), [5] H. Kneser, Funktionentheorie, Vandenhoeck and Ruprecht, [6] P. S. Laplace, Théorie Analytique des Probabilités, Courcier, 181. [7] P. S. Laplace, Mémoire sur la probabilité des causes par les évènemens, Oeuvres Complétes 8, (English trans. by S. Stigler as Memoir on the Probability of Causes of Events, Statistical Science 1 (1986), ) [8] P. M. Lee, [9] L. Mirsky, The Probability Integral, Math. Gazette 33 (1949), 79. Online at [1] C. P. Nicholas and R. C. Yates, The Probability Integral, Amer. Math. Monthly 57 (195), [11] G. Polya, Remarks on Computing the Probability Integral in One and Two Dimensions, pp in Berkeley Symp. on Math. Statist. and Prob., Univ. California Press, [1] R. Remmert, Theory of Complex Functions, Springer-Verlag, [13] M. Rozman, Evaluate Gaussian integral using differentiation under the integral sign, Course notes for Physics 4 (UConn), Spring 16. [14] W. Rudin, Principles of Mathematical Analysis, 3rd ed., McGraw-Hill, [15] M. Spivak, Calculus, W. A. Benjamin, [16] S. Stigler, Laplace s 1774 Memoir on Inverse Probability, Statistical Science 1 (1986), [17] J. van Yzeren, Moivre s and Fresnel s Integrals by Simple Integration, Amer. Math. Monthly 86 (1979), [18] G. N. Watson, Complex Integration and Cauchy s Theorem, Cambridge Univ. Press, Cambridge, [19] [] [1]
MATH 311: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE
MATH 3: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE Recall the Residue Theorem: Let be a simple closed loop, traversed counterclockwise. Let f be a function that is analytic on and meromorphic inside. Then
More informationSolutions to practice problems for the final
Solutions to practice problems for the final Holomorphicity, Cauchy-Riemann equations, and Cauchy-Goursat theorem 1. (a) Show that there is a holomorphic function on Ω = {z z > 2} whose derivative is z
More informationIn this chapter we study several functions that are useful in calculus and other areas of mathematics.
Calculus 5 7 Special functions In this chapter we study several functions that are useful in calculus and other areas of mathematics. 7. Hyperbolic trigonometric functions The functions we study in this
More informationDivergent Series: why = 1/12. Bryden Cais
Divergent Series: why + + 3 + = /. Bryden Cais Divergent series are the invention of the devil, and it is shameful to base on them any demonstration whatsoever.. H. Abel. Introduction The notion of convergence
More information1 Introduction. or equivalently f(z) =
Introduction In this unit on elliptic functions, we ll see how two very natural lines of questions interact. The first, as we have met several times in Berndt s book, involves elliptic integrals. In particular,
More informationTaylor and Maclaurin Series
Taylor and Maclaurin Series MATH 211, Calculus II J. Robert Buchanan Department of Mathematics Spring 2018 Background We have seen that some power series converge. When they do, we can think of them as
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 informationMTH101 Calculus And Analytical Geometry Lecture Wise Questions and Answers For Final Term Exam Preparation
MTH101 Calculus And Analytical Geometry Lecture Wise Questions and Answers For Final Term Exam Preparation Lecture No 23 to 45 Complete and Important Question and answer 1. What is the difference between
More informationMath 259: Introduction to Analytic Number Theory More about the Gamma function
Math 59: Introduction to Analytic Number Theory More about the Gamma function We collect some more facts about Γs as a function of a complex variable that will figure in our treatment of ζs and Ls, χ.
More informationINTEGRATION WORKSHOP 2003 COMPLEX ANALYSIS EXERCISES
INTEGRATION WORKSHOP 23 COMPLEX ANALYSIS EXERCISES DOUGLAS ULMER 1. Meromorphic functions on the Riemann sphere It s often useful to allow functions to take the value. This exercise outlines one way to
More informationPOISSON SUMMATION AND PERIODIZATION
POISSON SUMMATION AND PERIODIZATION PO-LAM YUNG We give some heuristics for the Poisson summation formula via periodization, and provide an alternative proof that is slightly more motivated.. Some heuristics
More information1 Review of di erential calculus
Review of di erential calculus This chapter presents the main elements of di erential calculus needed in probability theory. Often, students taking a course on probability theory have problems with concepts
More informationIRRATIONALITY OF π AND e
IRRATIONALITY OF π AND e KEITH CONRAD. Introduction Numerical estimates for π have been found in records of several ancient civilizations. These estimates were all based on inscribing and circumscribing
More information) z r θ ( ) ( ) ( ) = then. Complete Solutions to Examination Questions Complete Solutions to Examination Questions 10.
Complete Solutions to Examination Questions 0 Complete Solutions to Examination Questions 0. (i We need to determine + given + j, j: + + j + j (ii The product ( ( + j6 + 6 j 8 + j is given by ( + j( j
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 informationMath 20C Homework 2 Partial Solutions
Math 2C Homework 2 Partial Solutions Problem 1 (12.4.14). Calculate (j k) (j + k). Solution. The basic properties of the cross product are found in Theorem 2 of Section 12.4. From these properties, we
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 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 to Complex Analysis Prelims Ben Strasser
Solutions to Complex Analysis Prelims Ben Strasser In preparation for the complex analysis prelim, I typed up solutions to some old exams. This document includes complete solutions to both exams in 23,
More informationMath 200 University of Connecticut
IRRATIONALITY OF π AND e KEITH CONRAD Math 2 University of Connecticut Date: Aug. 3, 25. Contents. Introduction 2. Irrationality of π 2 3. Irrationality of e 3 4. General Ideas 4 5. Irrationality of rational
More informationBessel Functions Michael Taylor. Lecture Notes for Math 524
Bessel Functions Michael Taylor Lecture Notes for Math 54 Contents 1. Introduction. Conversion to first order systems 3. The Bessel functions J ν 4. The Bessel functions Y ν 5. Relations between J ν and
More informationSuggested Homework Solutions
Suggested Homework Solutions Chapter Fourteen Section #9: Real and Imaginary parts of /z: z = x + iy = x + iy x iy ( ) x iy = x #9: Real and Imaginary parts of ln z: + i ( y ) ln z = ln(re iθ ) = ln r
More informationMATH141: Calculus II Exam #4 review solutions 7/20/2017 Page 1
MATH4: Calculus II Exam #4 review solutions 7/0/07 Page. The limaçon r = + sin θ came up on Quiz. Find the area inside the loop of it. Solution. The loop is the section of the graph in between its two
More informationTwo special equations: Bessel s and Legendre s equations. p Fourier-Bessel and Fourier-Legendre series. p
LECTURE 1 Table of Contents Two special equations: Bessel s and Legendre s equations. p. 259-268. Fourier-Bessel and Fourier-Legendre series. p. 453-460. Boundary value problems in other coordinate system.
More informationMATH 162. FINAL EXAM ANSWERS December 17, 2006
MATH 6 FINAL EXAM ANSWERS December 7, 6 Part A. ( points) Find the volume of the solid obtained by rotating about the y-axis the region under the curve y x, for / x. Using the shell method, the radius
More informationComplex Analysis Math 185A, Winter 2010 Final: Solutions
Complex Analysis Math 85A, Winter 200 Final: Solutions. [25 pts] The Jacobian of two real-valued functions u(x, y), v(x, y) of (x, y) is defined by the determinant (u, v) J = (x, y) = u x u y v x v y.
More informationAP Calculus Testbank (Chapter 9) (Mr. Surowski)
AP Calculus Testbank (Chapter 9) (Mr. Surowski) Part I. Multiple-Choice Questions n 1 1. The series will converge, provided that n 1+p + n + 1 (A) p > 1 (B) p > 2 (C) p >.5 (D) p 0 2. The series
More informationNotes on Special Functions
Spring 25 1 Notes on Special Functions Francis J. Narcowich Department of Mathematics Texas A&M University College Station, TX 77843-3368 Introduction These notes are for our classes on special functions.
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 information1 x 7/6 + x dx. Solution: We begin by factoring the denominator, and substituting u = x 1/6. Hence, du = 1/6x 5/6 dx, so dx = 6x 5/6 du = 6u 5 du.
Circle One: Name: 7:45-8:35 (36) 8:5-9:4 (36) Math-4, Spring 7 Quiz #3 (Take Home): 6 7 Due: 9 7 You may discuss this quiz solely with me or other students in my discussion sessions only. Use a new sheet
More informationArc Length and Surface Area in Parametric Equations
Arc Length and Surface Area in Parametric Equations MATH 211, Calculus II J. Robert Buchanan Department of Mathematics Spring 2011 Background We have developed definite integral formulas for arc length
More information(a) To show f(z) is analytic, explicitly evaluate partials,, etc. and show. = 0. To find v, integrate u = v to get v = dy u =
Homework -5 Solutions Problems (a) z = + 0i, (b) z = 7 + 24i 2 f(z) = u(x, y) + iv(x, y) with u(x, y) = e 2y cos(2x) and v(x, y) = e 2y sin(2x) u (a) To show f(z) is analytic, explicitly evaluate partials,,
More informationx 2 y = 1 2. Problem 2. Compute the Taylor series (at the base point 0) for the function 1 (1 x) 3.
MATH 8.0 - FINAL EXAM - SOME REVIEW PROBLEMS WITH SOLUTIONS 8.0 Calculus, Fall 207 Professor: Jared Speck Problem. Consider the following curve in the plane: x 2 y = 2. Let a be a number. The portion of
More informationSample Final Questions: Solutions Math 21B, Winter y ( y 1)(1 + y)) = A y + B
Sample Final Questions: Solutions Math 2B, Winter 23. Evaluate the following integrals: tan a) y y dy; b) x dx; c) 3 x 2 + x dx. a) We use partial fractions: y y 3 = y y ) + y)) = A y + B y + C y +. Putting
More informationNotes for Expansions/Series and Differential Equations
Notes for Expansions/Series and Differential Equations In the last discussion, we considered perturbation methods for constructing solutions/roots of algebraic equations. Three types of problems were illustrated
More informationMath 162: Calculus IIA
Math 62: Calculus IIA Final Exam ANSWERS December 9, 26 Part A. (5 points) Evaluate the integral x 4 x 2 dx Substitute x 2 cos θ: x 8 cos dx θ ( 2 sin θ) dθ 4 x 2 2 sin θ 8 cos θ dθ 8 cos 2 θ cos θ dθ
More informationPart IB. Complex Analysis. Year
Part IB Complex Analysis Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section I 2A Complex Analysis or Complex Methods 7 (a) Show that w = log(z) is a conformal
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 informationy = x 3 and y = 2x 2 x. 2x 2 x = x 3 x 3 2x 2 + x = 0 x(x 2 2x + 1) = 0 x(x 1) 2 = 0 x = 0 and x = (x 3 (2x 2 x)) dx
Millersville University Name Answer Key Mathematics Department MATH 2, Calculus II, Final Examination May 4, 2, 8:AM-:AM Please answer the following questions. Your answers will be evaluated on their correctness,
More informationComplex Analysis MATH 6300 Fall 2013 Homework 4
Complex Analysis MATH 6300 Fall 2013 Homework 4 Due Wednesday, December 11 at 5 PM Note that to get full credit on any problem in this class, you must solve the problems in an efficient and elegant manner,
More informationIntegrals. D. DeTurck. January 1, University of Pennsylvania. D. DeTurck Math A: Integrals 1 / 61
Integrals D. DeTurck University of Pennsylvania January 1, 2018 D. DeTurck Math 104 002 2018A: Integrals 1 / 61 Integrals Start with dx this means a little bit of x or a little change in x If we add up
More informationMath 113 Fall 2005 key Departmental Final Exam
Math 3 Fall 5 key Departmental Final Exam Part I: Short Answer and Multiple Choice Questions Do not show your work for problems in this part.. Fill in the blanks with the correct answer. (a) The integral
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 informationSolutions for the Practice Final - Math 23B, 2016
olutions for the Practice Final - Math B, 6 a. True. The area of a surface is given by the expression d, and since we have a parametrization φ x, y x, y, f x, y with φ, this expands as d T x T y da xy
More informationMathematics 104 Fall Term 2006 Solutions to Final Exam. sin(ln t) dt = e x sin(x) dx.
Mathematics 14 Fall Term 26 Solutions to Final Exam 1. Evaluate sin(ln t) dt. Solution. We first make the substitution t = e x, for which dt = e x. This gives sin(ln t) dt = e x sin(x). To evaluate the
More informationt 2 + 2t dt = (t + 1) dt + 1 = arctan t x + 6 x(x 3)(x + 2) = A x +
MATH 06 0 Practice Exam #. (0 points) Evaluate the following integrals: (a) (0 points). t +t+7 This is an irreducible quadratic; its denominator can thus be rephrased via completion of the square as a
More information17 The functional equation
18.785 Number theory I Fall 16 Lecture #17 11/8/16 17 The functional equation In the previous lecture we proved that the iemann zeta function ζ(s) has an Euler product and an analytic continuation to the
More informationComplex Differentials and the Stokes, Goursat and Cauchy Theorems
Complex Differentials and the Stokes, Goursat and Cauchy Theorems Benjamin McKay June 21, 2001 1 Stokes theorem Theorem 1 (Stokes) f(x, y) dx + g(x, y) dy = U ( g y f ) dx dy x where U is a region of the
More informationNPTEL web course on Complex Analysis. A. Swaminathan I.I.T. Roorkee, India. and. V.K. Katiyar I.I.T. Roorkee, India
NPTEL web course on Complex Analysis A. Swaminathan I.I.T. Roorkee, India and V.K. Katiyar I.I.T. Roorkee, India A.Swaminathan and V.K.Katiyar (NPTEL) Complex Analysis 1 / 28 Complex Analysis Module: 6:
More information2. Complex Analytic Functions
2. Complex Analytic Functions John Douglas Moore July 6, 2011 Recall that if A and B are sets, a function f : A B is a rule which assigns to each element a A a unique element f(a) B. In this course, we
More informationX. Numerical Methods
X. Numerical Methods. Taylor Approximation Suppose that f is a function defined in a neighborhood of a point c, and suppose that f has derivatives of all orders near c. In section 5 of chapter 9 we introduced
More informationMath221: HW# 7 solutions
Math22: HW# 7 solutions Andy Royston November 7, 25.3.3 let x = e u. Then ln x = u, x2 = e 2u, and dx = e 2u du. Furthermore, when x =, u, and when x =, u =. Hence x 2 ln x) 3 dx = e 2u u 3 e u du) = e
More informationExercises for Part 1
MATH200 Complex Analysis. Exercises for Part Exercises for Part The following exercises are provided for you to revise complex numbers. Exercise. Write the following expressions in the form x + iy, x,y
More information18.04 Practice problems exam 2, Spring 2018 Solutions
8.04 Practice problems exam, Spring 08 Solutions Problem. Harmonic functions (a) Show u(x, y) = x 3 3xy + 3x 3y is harmonic and find a harmonic conjugate. It s easy to compute: u x = 3x 3y + 6x, u xx =
More information1 Res z k+1 (z c), 0 =
32. COMPLEX ANALYSIS FOR APPLICATIONS Mock Final examination. (Monday June 7..am 2.pm) You may consult your handwritten notes, the book by Gamelin, and the solutions and handouts provided during the Quarter.
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 information7.1. Calculus of inverse functions. Text Section 7.1 Exercise:
Contents 7. Inverse functions 1 7.1. Calculus of inverse functions 2 7.2. Derivatives of exponential function 4 7.3. Logarithmic function 6 7.4. Derivatives of logarithmic functions 7 7.5. Exponential
More information1. Introduction Interest in this project began with curiosity about the Laplace transform of the Digamma function, e as ψ(s + 1)ds,
ON THE LAPLACE TRANSFORM OF THE PSI FUNCTION M. LAWRENCE GLASSER AND DANTE MANNA Abstract. Guided by numerical experimentation, we have been able to prove that Z 8 / x x + ln dx = γ + ln) [cosx)] and to
More informationDIFFERENTIATING UNDER THE INTEGRAL SIGN
DIFFEENTIATING UNDE THE INTEGAL SIGN KEITH CONAD I had learned to do integrals by various methods shown in a book that my high school physics teacher Mr. Bader had given me. [It] showed how to differentiate
More informationComplex Homework Summer 2014
omplex Homework Summer 24 Based on Brown hurchill 7th Edition June 2, 24 ontents hw, omplex Arithmetic, onjugates, Polar Form 2 2 hw2 nth roots, Domains, Functions 2 3 hw3 Images, Transformations 3 4 hw4
More informationLecture 7 - Separable Equations
Lecture 7 - Separable Equations Separable equations is a very special type of differential equations where you can separate the terms involving only y on one side of the equation and terms involving only
More informationPractice Final Exam Solutions
Important Notice: To prepare for the final exam, study past exams and practice exams, and homeworks, quizzes, and worksheets, not just this practice final. A topic not being on the practice final does
More informationFINAL EXAM MATH 220A, UCSD, AUTUMN 14. You have three hours.
FINAL EXAM MATH 220A, UCSD, AUTUMN 4 You have three hours. Problem Points Score There are 6 problems, and the total number of points is 00. Show all your work. Please make your work as clear and easy to
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 informationREVIEW OF COMPLEX ANALYSIS
REVIEW OF COMPLEX ANALYSIS KEITH CONRAD We discuss here some basic results in complex analysis concerning series and products (Section 1) as well as logarithms of analytic functions and the Gamma function
More informationMA 114 Worksheet # 1: Improper Integrals
MA 4 Worksheet # : Improper Integrals. For each of the following, determine if the integral is proper or improper. If it is improper, explain why. Do not evaluate any of the integrals. (c) 2 0 2 2 x x
More informationComplex Analysis. Travis Dirle. December 4, 2016
Complex Analysis 2 Complex Analysis Travis Dirle December 4, 2016 2 Contents 1 Complex Numbers and Functions 1 2 Power Series 3 3 Analytic Functions 7 4 Logarithms and Branches 13 5 Complex Integration
More informationReview Problems for the Final
Review Problems for the Final Math -3 5 7 These problems are provided to help you study. The presence of a problem on this handout does not imply that there will be a similar problem on the test. And the
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 informationIntroduction to Series and Sequences Math 121 Calculus II Spring 2015
Introduction to Series and Sequences Math Calculus II Spring 05 The goal. The main purpose of our study of series and sequences is to understand power series. A power series is like a polynomial of infinite
More informationMath 142, Final Exam. 12/7/10.
Math 4, Final Exam. /7/0. No notes, calculator, or text. There are 00 points total. Partial credit may be given. Write your full name in the upper right corner of page. Number the pages in the upper right
More informationFunctions of a Complex Variable and Integral Transforms
Functions of a Complex Variable and Integral Transforms Department of Mathematics Zhou Lingjun Textbook Functions of Complex Analysis with Applications to Engineering and Science, 3rd Edition. A. D. Snider
More informationQUALIFYING EXAMINATION, Part 1. Solutions. Problem 1: Mathematical Methods. r r r 2 r r2 = 0 r 2. d 3 r. t 0 e t dt = e t
QUALIFYING EXAMINATION, Part 1 Solutions Problem 1: Mathematical Methods (a) For r > we find 2 ( 1 r ) = 1 ( ) 1 r 2 r r2 = 1 ( 1 ) r r r 2 r r2 = r 2 However for r = we get 1 because of the factor in
More informationBernoulli polynomials
Bernoulli polynomials Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto February 2, 26 Bernoulli polynomials For k, the Bernoulli polynomial B k (x) is defined by ze xz
More informationFinal practice, Math 31A - Lec 1, Fall 2013 Name and student ID: Question Points Score Total: 90
Final practice, Math 31A - Lec 1, Fall 13 Name and student ID: Question Points Score 1 1 1 3 1 4 1 5 1 6 1 7 1 8 1 9 1 Total: 9 1. a) 4 points) Find all points x at which the function fx) x 4x + 3 + x
More informationMATH 391 Test 1 Fall, (1) (12 points each)compute the general solution of each of the following differential equations: = 4x 2y.
MATH 391 Test 1 Fall, 2018 (1) (12 points each)compute the general solution of each of the following differential equations: (a) (b) x dy dx + xy = x2 + y. (x + y) dy dx = 4x 2y. (c) yy + (y ) 2 = 0 (y
More informationMath 341: Probability Seventeenth Lecture (11/10/09)
Math 341: Probability Seventeenth Lecture (11/10/09) Steven J Miller Williams College Steven.J.Miller@williams.edu http://www.williams.edu/go/math/sjmiller/ public html/341/ Bronfman Science Center Williams
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 informationSynopsis of Complex Analysis. Ryan D. Reece
Synopsis of Complex Analysis Ryan D. Reece December 7, 2006 Chapter Complex Numbers. The Parts of a Complex Number A complex number, z, is an ordered pair of real numbers similar to the points in the real
More informationComplex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm
Complex Analysis, Stein and Shakarchi Chapter 3 Meromorphic Functions and the Logarithm Yung-Hsiang Huang 217.11.5 Exercises 1. From the identity sin πz = eiπz e iπz 2i, it s easy to show its zeros are
More informationSOUTH AFRICAN TERTIARY MATHEMATICS OLYMPIAD
SOUTH AFRICAN TERTIARY MATHEMATICS OLYMPIAD. Determine the following value: 7 August 6 Solutions π + π. Solution: Since π
More informationLecture Notes Complex Analysis. Complex Variables and Applications 7th Edition Brown and Churchhill
Lecture Notes omplex Analysis based on omplex Variables and Applications 7th Edition Brown and hurchhill Yvette Fajardo-Lim, Ph.D. Department of Mathematics De La Salle University - Manila 2 ontents THE
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 informationMTH 3102 Complex Variables Final Exam May 1, :30pm-5:30pm, Skurla Hall, Room 106
Name (Last name, First name): MTH 02 omplex Variables Final Exam May, 207 :0pm-5:0pm, Skurla Hall, Room 06 Exam Instructions: You have hour & 50 minutes to complete the exam. There are a total of problems.
More informationMTH3101 Spring 2017 HW Assignment 4: Sec. 26: #6,7; Sec. 33: #5,7; Sec. 38: #8; Sec. 40: #2 The due date for this assignment is 2/23/17.
MTH0 Spring 07 HW Assignment : Sec. 6: #6,7; Sec. : #5,7; Sec. 8: #8; Sec. 0: # The due date for this assignment is //7. Sec. 6: #6. Use results in Sec. to verify that the function g z = ln r + iθ r >
More informationThe Residue Theorem. Integration Methods over Closed Curves for Functions with Singularities
The Residue Theorem Integration Methods over losed urves for Functions with Singularities We have shown that if f(z) is analytic inside and on a closed curve, then f(z)dz = 0. We have also seen examples
More informationMath 21B - Homework Set 8
Math B - Homework Set 8 Section 8.:. t cos t dt Let u t, du t dt and v sin t, dv cos t dt Let u t, du dt and v cos t, dv sin t dt t cos t dt u v v du t sin t t sin t dt [ t sin t u v ] v du [ ] t sin t
More informationINTRODUCTION TO COMPLEX ANALYSIS W W L CHEN
INTRODUTION TO OMPLEX ANALYSIS W W L HEN c W W L hen, 986, 2008. This chapter originates from material used by the author at Imperial ollege, University of London, between 98 and 990. It is available free
More informationMath 4263 Homework Set 1
Homework Set 1 1. Solve the following PDE/BVP 2. Solve the following PDE/BVP 2u t + 3u x = 0 u (x, 0) = sin (x) u x + e x u y = 0 u (0, y) = y 2 3. (a) Find the curves γ : t (x (t), y (t)) such that that
More informationCITY UNIVERSITY LONDON. BEng (Hons) in Electrical and Electronic Engineering PART 2 EXAMINATION. ENGINEERING MATHEMATICS 2 (resit) EX2003
No: CITY UNIVERSITY LONDON BEng (Hons) in Electrical and Electronic Engineering PART 2 EXAMINATION ENGINEERING MATHEMATICS 2 (resit) EX2003 Date: August 2004 Time: 3 hours Attempt Five out of EIGHT questions
More informationPrelim Examination 2010 / 2011 (Assessing Units 1 & 2) MATHEMATICS. Advanced Higher Grade. Time allowed - 2 hours
Prelim Examination 00 / 0 (Assessing Units & ) MATHEMATICS Advanced Higher Grade Time allowed - hours Read Carefully. Calculators may be used in this paper.. Candidates should answer all questions. Full
More informationDouble Integrals. P. Sam Johnson. February 4, P. Sam Johnson (NIT Karnataka) (NIT Karnataka) Double Integrals February 4, / 57
Double Integrals P. Sam Johnson February 4, 2018 P. Sam Johnson (NIT Karnataka) (NIT Karnataka) Double Integrals February 4, 2018 1 / 57 Overview We defined the definite integral of a continuous function
More informationPrelim 1 Solutions V2 Math 1120
Feb., Prelim Solutions V Math Please show your reasoning and all your work. This is a 9 minute exam. Calculators are not needed or permitted. Good luck! Problem ) ( Points) Calculate the following: x a)
More informationRESIDUE THEORY. dx, Topics to Review Laurent series and Laurent coefficients
Topics to Review Laurent series and Laurent coefficients from Section 4.5 are used to define residues in Section 5.. auchy s theorem for multiply connected regions Theorem 6, Section 3.4 is the basis for
More informationSOLUTIONS FOR PRACTICE FINAL EXAM
SOLUTIONS FOR PRACTICE FINAL EXAM ANDREW J. BLUMBERG. Solutions () Short answer questions: (a) State the mean value theorem. Proof. The mean value theorem says that if f is continuous on (a, b) and differentiable
More informationDepartment of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2014
Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2014 1. Please write your 1- or 2-digit exam number on
More informationMath Final Exam Review
Math - Final Exam Review. Find dx x + 6x +. Name: Solution: We complete the square to see if this function has a nice form. Note we have: x + 6x + (x + + dx x + 6x + dx (x + + Note that this looks a lot
More informationarxiv: v22 [math.gm] 20 Sep 2018
O RIEMA HYPOTHESIS arxiv:96.464v [math.gm] Sep 8 RUIMIG ZHAG Abstract. In this work we present a proof to the celebrated Riemann hypothesis. In it we first apply the Plancherel theorem properties of the
More informationNOTES ON RIEMANN S ZETA FUNCTION. Γ(z) = t z 1 e t dt
NOTES ON RIEMANN S ZETA FUNCTION DRAGAN MILIČIĆ. Gamma function.. Definition of the Gamma function. The integral Γz = t z e t dt is well-defined and defines a holomorphic function in the right half-plane
More informationMOMENTS OF HYPERGEOMETRIC HURWITZ ZETA FUNCTIONS
MOMENTS OF HYPERGEOMETRIC HURWITZ ZETA FUNCTIONS ABDUL HASSEN AND HIEU D. NGUYEN Abstract. This paper investigates a generalization the classical Hurwitz zeta function. It is shown that many of the properties
More information