Processing math: 100%

Return to computing page for the first course APMA0330
Return to computing page for the second course APMA0340
Return to Mathematica tutorial for the first course APMA0330
Return to Mathematica tutorial for the second course APMA0340
Return to the main page for the first course APMA0330
Return to the main page for the second course APMA0340
Return to Part VII of the course APMA0340
Introduction to Linear Algebra with Mathematica

Glossary

Preface

The gamma function Γ(x) is the natural extension of the factorial function n!=∏nk=1k=1⋅2⋅3⋯n from integer n to real or complex x. It was first defined and studied by L. Euler in 18th century, who used the notation Γ(z), the capital letter gamma from the Greek alphabet. It is commonly used in many mathematical problems, including differential equations, but it appears occasionally in physical problems such as the normalization of Coulomb wave functions and the computation of probabilities in statistical mechanics. In general, however, it has less direct physical application and interpretation than, say, the Chebyshev and Bessel functions. Rather, its importance stems from its usefulness in developing other functions that have direct physical application.

Gamma Function of Euler

The first definition, given by Leonhard Euler is
Γ(z)=limn→∞n!z(z+1)(z+2)⋯(z+n),z≠0,−1,−2,….
This definition is not very useful in differential equations. The more common way to define the gamma function is through the following integral:
\begin{equation} \label{EqGamma.1}
\Gamma (\nu ) = \int_0^{\infty} t^{\nu -1} e^{-t} {\text d} t , \qquad \Re (\nu ) > 0. 
\label{EqGamma.1}
\end{equation}
The restriction on ν is necessary to avoid divergence of the integral. Mathematica uses the conventional notation: Gamma[ν].

There are known several equivalent definitions of the gamma function:

Γ(ν)=2∫∞0t2ν−1e−t2dt=∫10[ln(1t)]ν−1dt.
Mathematica uses the conventional notation: Gamma[ν, x].

      Mathematica has a dedicated command for the gamma function -- Gamma[ z ]. You can make a fancy plotof this function:
Plot[Gamma[x], {x, -3, 3}, PlotStyle -> {Purple, Thickness[0.01]}]
The gamma function has a local minimum at +1.46163214496836234126.
       The Gamma function.            Mathematica code

When ν = ½, Eq.(???) is just the Gauss erroe integral Γ(1/2)=√π. In general, we have

Γ(12+n)=(2n)!4nn!√π=(2n−1)!!2n√πandΓ(12−n)=(−4)nn!(2n)!√π=(−2)n(2n−1)!!√π.
One of the most important properties of the gamma function is its recurrence relation (difference equation of the first order)
Γ(ν+1)=νΓ(ν),Γ(1)=Γ(2)=1.
This leads to the remarkable formula that generalizes the factorial:
Γ(n+1)=1⋅2⋅2⋯n=n!for integern≥0.
Other important functional equations for the gamma function are Euler's reflection formula
Γ(1−z)Γ(z)=πsin(πz),z∉Z.
      With Mathematica, one can plot the reciprocal of the gamma functions:
Plot[1/Gamma[x], {x, -3.1, 3}, PlotStyle -> {Purple, Thickness[0.01]}]
       The reciprocal of the Gamma function.            Mathematica code

 

Incomplete gamma function

The upper incomplete gamma function is defined as:
Γ(ν,x)=∫∞xtν−1e−tdt,
whereas the lower incomplete gamma function is defined as:
γ(ν,x)=∫x0tν−1e−tdt.
Clearly, the two functions are related, for
γ(ν,x)+Γ(ν,x)=Γ(ν).
Mathematica uses the notation: Gamma[ν, 0, x] for the lower incomplete gamma function.

 

Beta function

The gamma function is related to the beta function by the formula
B(x,y)=∫10tx−1(1−t)y−1dt=Γ(x)Γ(y)Γ(x+y).

 

Digamma function

the digamma function is defined as the logarithmic derivative of the gamma function
ψ(x)=ddxln(Γ(x))=Γ′(x)Γ(x).
Then the derivatives of the gamma function are described in terms of the polygamma function
Γ′(z)=Γ(z)ψ0(z)
The recurrence relation for the digamma function is
ψ(z+1)=ψ(x)+1z.
This allows to relate the digamma function for integers and the the harmonic numbers:
Hn=1+12+⋯+1n=n∑k=11k=ψ(n+1)+γ,
where γ = 0.57721566490153286060651209008240243104215933593992... is the Euler constant (also known as Euler–Mascheroni constant).

 

The exponential integral

the exponential integral Ei is a special function on the complex plane ℂ:
Ei(z)=−∫∞−xe−ttdt=∫x−∞ettdt

 

Return to Mathematica page
Return to the main page (APMA0340)
Return to the Part 1 Matrix Algebra
Return to the Part 2 Linear Systems of Ordinary Differential Equations
Return to the Part 3 Non-linear Systems of Ordinary Differential Equations
Return to the Part 4 Numerical Methods
Return to the Part 5 Fourier Series
Return to the Part 6 Partial Differential Equations
Return to the Part 7 Special Functions