the gamma function - lsu math presentation.pdfthe gamma function is analytic for all complex numbers...
TRANSCRIPT
![Page 1: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/1.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
The Gamma Function
N. Cannady, T. Ngo, A. Williamson
Louisiana State UniversitySMILE REU
July 9, 2010
![Page 2: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/2.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Motivation and History
I Developed as the unique extension of the factorial tonon-integral values.
I Many applications in physics, differential equations,statistics, and analytic number theory.
I ”Each generation has found something of interest tosay about the gamma function. Perhaps the nextgeneration will also.”-Philip J. Davis
![Page 3: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/3.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Motivation and History
I Developed as the unique extension of the factorial tonon-integral values.
I Many applications in physics, differential equations,statistics, and analytic number theory.
I ”Each generation has found something of interest tosay about the gamma function. Perhaps the nextgeneration will also.”-Philip J. Davis
![Page 4: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/4.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Motivation and History
I Developed as the unique extension of the factorial tonon-integral values.
I Many applications in physics, differential equations,statistics, and analytic number theory.
I ”Each generation has found something of interest tosay about the gamma function. Perhaps the nextgeneration will also.”-Philip J. Davis
![Page 5: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/5.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Definition
The Gamma function is an extension of the factorial(with the argument shifted down) to the complex plane.
The basic integral definition is
Γ(s) =
∫ ∞0
x s−1e−xdx .
For the positive integers,
Γ(s) = (s − 1)!.
The Gamma function is analytic for all complex numbersexcept the non-positive integers. The function has simplepoles at these values, with residues given by (−1)s
s! .
![Page 6: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/6.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Definition
The Gamma function is an extension of the factorial(with the argument shifted down) to the complex plane.The basic integral definition is
Γ(s) =
∫ ∞0
x s−1e−xdx .
For the positive integers,
Γ(s) = (s − 1)!.
The Gamma function is analytic for all complex numbersexcept the non-positive integers. The function has simplepoles at these values, with residues given by (−1)s
s! .
![Page 7: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/7.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Definition
The Gamma function is an extension of the factorial(with the argument shifted down) to the complex plane.The basic integral definition is
Γ(s) =
∫ ∞0
x s−1e−xdx .
For the positive integers,
Γ(s) = (s − 1)!.
The Gamma function is analytic for all complex numbersexcept the non-positive integers. The function has simplepoles at these values, with residues given by (−1)s
s! .
![Page 8: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/8.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Alternate Definitions and Functional Equations
A few of the most useful ones:
1. Γ(s) = limn→∞nsn!
s(s+1)...(s+n) for s 6= 0,−1,−2, ...
2. 1Γ(s) = seγs
∏∞n=1(1 + s
n )e−s/n ∀ s.
3. Γ(s + 1) = sΓ(s).
4. Γ(s)Γ(1− s) = πsinπs .
![Page 9: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/9.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
The Digamma and Polygamma Functions
I The Digamma function, Ψ(0)(x) is defined as thederivative of the logarithm of Γ(x).
Ψ(0)(x) =d
dx(log Γ(x)) =
Γ′(x)
Γ(x)
I The Polygamma function, Ψ(k)(x) is thegeneralization to higher derivatives.
Ψ(k)(x) =dk+1
dxk+1(log Γ(x))
![Page 10: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/10.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
The Digamma and Polygamma Functions
I The Digamma function, Ψ(0)(x) is defined as thederivative of the logarithm of Γ(x).
Ψ(0)(x) =d
dx(log Γ(x)) =
Γ′(x)
Γ(x)
I The Polygamma function, Ψ(k)(x) is thegeneralization to higher derivatives.
Ψ(k)(x) =dk+1
dxk+1(log Γ(x))
![Page 11: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/11.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
The Euler Gamma
I The Euler Gamma arises often when discussing theGamma function.
I γ = limr→∞(log r − 1− 12 −
13 − . . .−
1r )
I It is unknown whether γ is algebraic ortranscendental.
![Page 12: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/12.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
The Euler Gamma
I The Euler Gamma arises often when discussing theGamma function.
I γ = limr→∞(log r − 1− 12 −
13 − . . .−
1r )
I It is unknown whether γ is algebraic ortranscendental.
![Page 13: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/13.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
The Euler Gamma
I The Euler Gamma arises often when discussing theGamma function.
I γ = limr→∞(log r − 1− 12 −
13 − . . .−
1r )
I It is unknown whether γ is algebraic ortranscendental.
![Page 14: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/14.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Graph of the Gamma Function
![Page 15: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/15.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Overview of Behavior
We looked at several features of the graph:
-4 -2 2 4
-10
-5
5
10
I The area under the curve.
I Critical points of the graph for negative values shiftprogressively leftwards.
I The graph restricted to intervals between thediscontinuities looks like a squeezed segment of thegraph in the positive regime.
I Critical points for negative values approach zero.
![Page 16: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/16.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Overview of Behavior
We looked at several features of the graph:
-4 -2 2 4
-10
-5
5
10
I The area under the curve.
I Critical points of the graph for negative values shiftprogressively leftwards.
I The graph restricted to intervals between thediscontinuities looks like a squeezed segment of thegraph in the positive regime.
I Critical points for negative values approach zero.
![Page 17: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/17.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Overview of Behavior
We looked at several features of the graph:
-4 -2 2 4
-10
-5
5
10
I The area under the curve.
I Critical points of the graph for negative values shiftprogressively leftwards.
I The graph restricted to intervals between thediscontinuities looks like a squeezed segment of thegraph in the positive regime.
I Critical points for negative values approach zero.
![Page 18: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/18.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Overview of Behavior
We looked at several features of the graph:
-4 -2 2 4
-10
-5
5
10
I The area under the curve.
I Critical points of the graph for negative values shiftprogressively leftwards.
I The graph restricted to intervals between thediscontinuities looks like a squeezed segment of thegraph in the positive regime.
I Critical points for negative values approach zero.
![Page 19: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/19.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Overview of Behavior
We looked at several features of the graph:
-4 -2 2 4
-10
-5
5
10
I The area under the curve.
I Critical points of the graph for negative values shiftprogressively leftwards.
I The graph restricted to intervals between thediscontinuities looks like a squeezed segment of thegraph in the positive regime.
I Critical points for negative values approach zero.
![Page 20: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/20.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Questions About the Integral of Γ(x)
When considering the graph of the Gamma Function, onemight be lead to consider several things.
-4 -2 2 4
-10
-5
5
10
I Does the integral of Γ(x) converge if one of thebounds of integration is a point of discontinuity?
I Does the integral of Γ(x) converge if we integrateover a point of discontinuity?
I Does the integral of Γ(x) from −∞ to any realnumber converge?
![Page 21: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/21.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Questions About the Integral of Γ(x)
When considering the graph of the Gamma Function, onemight be lead to consider several things.
-4 -2 2 4
-10
-5
5
10
I Does the integral of Γ(x) converge if one of thebounds of integration is a point of discontinuity?
I Does the integral of Γ(x) converge if we integrateover a point of discontinuity?
I Does the integral of Γ(x) from −∞ to any realnumber converge?
![Page 22: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/22.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Questions About the Integral of Γ(x)
When considering the graph of the Gamma Function, onemight be lead to consider several things.
-4 -2 2 4
-10
-5
5
10
I Does the integral of Γ(x) converge if one of thebounds of integration is a point of discontinuity?
I Does the integral of Γ(x) converge if we integrateover a point of discontinuity?
I Does the integral of Γ(x) from −∞ to any realnumber converge?
![Page 23: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/23.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Questions About the Integral of Γ(x)
When considering the graph of the Gamma Function, onemight be lead to consider several things.
-4 -2 2 4
-10
-5
5
10
I Does the integral of Γ(x) converge if one of thebounds of integration is a point of discontinuity?
I Does the integral of Γ(x) converge if we integrateover a point of discontinuity?
I Does the integral of Γ(x) from −∞ to any realnumber converge?
![Page 24: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/24.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Behavior Near the Points of Discontinuity
In order to fully understand∫ ba Γ(x) we must first
understand the behaviour of Γ(x) near its points ofdiscontinuity.
Γ(x) =Γ(x + 1)
x
Since Γ(1) = 1, if x is very small, then...
Γ(x − k) ≈ 1
x(k!)
-1.0 -0.5 0.5 1.0
-15
-10
-5
5
10
-1.0 -0.5 0.5 1.0
-0.5
0.5
1.0
![Page 25: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/25.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Behavior Near the Points of Discontinuity
In order to fully understand∫ ba Γ(x) we must first
understand the behaviour of Γ(x) near its points ofdiscontinuity.
Γ(x) =Γ(x + 1)
x
Since Γ(1) = 1, if x is very small, then...
Γ(x − k) ≈ 1
x(k!)
-1.0 -0.5 0.5 1.0
-15
-10
-5
5
10
-1.0 -0.5 0.5 1.0
-0.5
0.5
1.0
![Page 26: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/26.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Behavior Near the Points of Discontinuity
In order to fully understand∫ ba Γ(x) we must first
understand the behaviour of Γ(x) near its points ofdiscontinuity.
Γ(x) =Γ(x + 1)
x
Since Γ(1) = 1, if x is very small, then...
Γ(x − k) ≈ 1
x(k!)
-1.0 -0.5 0.5 1.0
-15
-10
-5
5
10
-1.0 -0.5 0.5 1.0
-0.5
0.5
1.0
![Page 27: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/27.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Integrals Near Points of Discontinuity
Because we have these relations in very smallneighborhoods of the discontinuous points, there areseveral things we can conclude.
I∫ ε−ε Γ(x − k)dx ≈ 1
k!
∫ ε−ε
dxx → 0
I∫ ε
0 Γ(x − k)dx ≈ 1k!
∫ ε0
dxx → ±∞
I
∣∣∣∫ ba Γ(x)dx
∣∣∣ <∞ for all a,b that are neither negative
integers nor 0.
![Page 28: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/28.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Integrals Near Points of Discontinuity
Because we have these relations in very smallneighborhoods of the discontinuous points, there areseveral things we can conclude.
I∫ ε−ε Γ(x − k)dx ≈ 1
k!
∫ ε−ε
dxx → 0
I∫ ε
0 Γ(x − k)dx ≈ 1k!
∫ ε0
dxx → ±∞
I
∣∣∣∫ ba Γ(x)dx
∣∣∣ <∞ for all a,b that are neither negative
integers nor 0.
![Page 29: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/29.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Integrals Near Points of Discontinuity
Because we have these relations in very smallneighborhoods of the discontinuous points, there areseveral things we can conclude.
I∫ ε−ε Γ(x − k)dx ≈ 1
k!
∫ ε−ε
dxx → 0
I∫ ε
0 Γ(x − k)dx ≈ 1k!
∫ ε0
dxx → ±∞
I
∣∣∣∫ ba Γ(x)dx
∣∣∣ <∞ for all a,b that are neither negative
integers nor 0.
![Page 30: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/30.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Integrals Near Points of Discontinuity
Because we have these relations in very smallneighborhoods of the discontinuous points, there areseveral things we can conclude.
I∫ ε−ε Γ(x − k)dx ≈ 1
k!
∫ ε−ε
dxx → 0
I∫ ε
0 Γ(x − k)dx ≈ 1k!
∫ ε0
dxx → ±∞
I
∣∣∣∫ ba Γ(x)dx
∣∣∣ <∞ for all a,b that are neither negative
integers nor 0.
![Page 31: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/31.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Convergence of the Integral in the Limit
What about∫ b−∞ Γ(x)dx?
∫ 1/2
−∞Γ(x)dx =
∞∑k=0
∫ 12
− 12
Γ(x − k)dx
Recalling our reccurence relation Γ(x) = Γ(x+1)x for
x ∈ (−32 ,−
12 ) we can conclude that...
|Γ(x − k)| ≤ 2k
(2k − 1)!!|Γ(x)|
⇒∞∑
k=0
∣∣∣∣∣∫ 1
2
− 12
Γ(x − k)dx
∣∣∣∣∣ ≤∣∣∣∣∣∫ 1
2
− 12
Γ(x − k)dx
∣∣∣∣∣∞∑
k=0
2k
(2k − 1)!!
![Page 32: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/32.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Convergence of the Integral in the Limit
What about∫ b−∞ Γ(x)dx?
∫ 1/2
−∞Γ(x)dx =
∞∑k=0
∫ 12
− 12
Γ(x − k)dx
Recalling our reccurence relation Γ(x) = Γ(x+1)x for
x ∈ (−32 ,−
12 ) we can conclude that...
|Γ(x − k)| ≤ 2k
(2k − 1)!!|Γ(x)|
⇒∞∑
k=0
∣∣∣∣∣∫ 1
2
− 12
Γ(x − k)dx
∣∣∣∣∣ ≤∣∣∣∣∣∫ 1
2
− 12
Γ(x − k)dx
∣∣∣∣∣∞∑
k=0
2k
(2k − 1)!!
![Page 33: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/33.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Convergence of the Integral in the Limit
What about∫ b−∞ Γ(x)dx?
∫ 1/2
−∞Γ(x)dx =
∞∑k=0
∫ 12
− 12
Γ(x − k)dx
Recalling our reccurence relation Γ(x) = Γ(x+1)x for
x ∈ (−32 ,−
12 ) we can conclude that...
|Γ(x − k)| ≤ 2k
(2k − 1)!!|Γ(x)|
⇒∞∑
k=0
∣∣∣∣∣∫ 1
2
− 12
Γ(x − k)dx
∣∣∣∣∣ ≤∣∣∣∣∣∫ 1
2
− 12
Γ(x − k)dx
∣∣∣∣∣∞∑
k=0
2k
(2k − 1)!!
![Page 34: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/34.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Convergence of the Integral in the Limit
What about∫ b−∞ Γ(x)dx?
∫ 1/2
−∞Γ(x)dx =
∞∑k=0
∫ 12
− 12
Γ(x − k)dx
Recalling our reccurence relation Γ(x) = Γ(x+1)x for
x ∈ (−32 ,−
12 ) we can conclude that...
|Γ(x − k)| ≤ 2k
(2k − 1)!!|Γ(x)|
⇒∞∑
k=0
∣∣∣∣∣∫ 1
2
− 12
Γ(x − k)dx
∣∣∣∣∣ ≤∣∣∣∣∣∫ 1
2
− 12
Γ(x − k)dx
∣∣∣∣∣∞∑
k=0
2k
(2k − 1)!!
![Page 35: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/35.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Convergence of the Integral in the Limit
What about∫ b−∞ Γ(x)dx?
∫ 1/2
−∞Γ(x)dx =
∞∑k=0
∫ 12
− 12
Γ(x − k)dx
Recalling our reccurence relation Γ(x) = Γ(x+1)x for
x ∈ (−32 ,−
12 ) we can conclude that...
|Γ(x − k)| ≤ 2k
(2k − 1)!!|Γ(x)|
⇒∞∑
k=0
∣∣∣∣∣∫ 1
2
− 12
Γ(x − k)dx
∣∣∣∣∣ ≤∣∣∣∣∣∫ 1
2
− 12
Γ(x − k)dx
∣∣∣∣∣∞∑
k=0
2k
(2k − 1)!!
![Page 36: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/36.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Critical Points
On the nth interval (−n,−n + 1), let x∗ be thex-coordinate of the critical point of the gamma functionon this interval.Let:
xn = x∗ + n for 0 < xn < 1
Ψ(x) =n∑
k=1
1
x − k
Claim: xn is unique
limn→∞
xn log n = 1
![Page 37: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/37.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Value of the Gamma Function at CriticalPoints
Let dn denote the value of the gamma function at itscritical point on the nth interval (−n,−n + 1). We have:
|dn| =
∣∣∣∣ Γ(xn)∏nk=1(xn − k)
∣∣∣∣Let:
B =
∣∣∣∣∏nk=1(xn − k)
n!
∣∣∣∣Since limn→∞ xn log n = 1, we have :
limn→∞
B =1
e
Using this gives us:
limn→∞
n!|dn|log n
= e
![Page 38: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/38.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
The Bluntness of The Gamma Function
The gamma function seems to flatten out when we movetoward the negative side. To explain this, we will try toanalyze the solution to the following equation:
Γ′(x) = α
where α is an arbitrary positive real number.On the nth interval, let the solution on this interval be:x∗n − n. This means 0 < x∗n < 1 and:
Γ′(x∗n − n) = α
![Page 39: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/39.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
The Bluntness of the Gamma Function
We start by proving the following limit for any real s,where 0 < s < 1:
limn→∞
Γ′(s − n) = 0
This means:lim
n→∞x∗n = 1
![Page 40: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/40.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
The Bluntness of the Gamma Function
Next we will analyze how fast the sequence {x∗n} goes to1 by analyzing how fast the sequence {yn} goes to zero,where yn = 1− x∗n .
limn→∞
y2n (n − 1)! =
1
α
Now we can use this limit to go back and prove thatwhen n is large enough, the sequence {x∗n} is strictlymoving to the right.
![Page 41: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/41.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Conclusion
I The integral of the Gamma function from −∞ toany finite, positive number converges.
I The critical points of the function on the negativereal line migrate towards the asymptotes.
I The Gamma function flattens out as we move tomore negative values.
-4 -2 2 4
-10
-5
5
10
![Page 42: The Gamma Function - LSU Math Presentation.pdfThe Gamma function is analytic for all complex numbers except the non-positive integers. The function has simple poles at these values,](https://reader036.vdocuments.mx/reader036/viewer/2022062403/61139347fd0a2867531e2ed8/html5/thumbnails/42.jpg)
The Gamma Function
N. Cannady, T. Ngo, A.Williamson
Introduction
Motivation and History
Definition
Related Functions
Behavior
Area Under the Curve
Critical Points
The Bluntness of TheGamma Function
Conclusion
Bibliography
Bibliography
Apostol, T., Introduction to Analytic NumberTheory, Springer-Verlag, New York, 1976.