E/CBCS Books-2020-Math.

Physics-II-CH-4-27-10-2020

4 Gamma and Beta Function

(Some Special Integrals)
The Gamma function and Beta function are the integral special functions and are considered as
generalisation of the factorial function which involves integral with different limits. The Gamma function is
defined as the single variable function whereas Beta function is defined as the two variable function.
These two functions are however connected to each other and many complex integral can be reduced and
evaluated by using these functions. In physics these functions are popularly used in quantum
electrodynamics, quantum chromodynamics (renormalisation group equation), cosmology etc. These functions
are also used as inbuilt functions in scientific softwares like mathematica, matlab etc. and helps in numerical
computations.

1. GAMMA FUNCTION
The Gamma function which is also known as Euler’s integral of the second kind was first introduced
by Euler in his work to generalize the factorial of non-integer values. Gamma function can be defined as
(out of three different convenient definitions),

x
(n) = e x n  1 dx , where n > 0 ...(1.1)
0
This function depends only upon n not on x.
  x z 1
So, (z) = 0 e x dx
  x 4 1
Thus, (4) = 0 e x dx and so on.

1.1 PROPERTIES OF GAMMA () FUNCTIONS

Some interesting properties of Gamma function are
(a) (1) = 1
(b) (n + 1) = n(n) = n!

(c) (n) = z n  e  zx x n  1dx , where n, z > 0
0
n1
1
1
(d) (n) =   log  dy
0 y
1
  yn
(e) (n + 1) =  0
e dy and so on.
Proof
Let us prove the properties one by one

180
GAMMA AND BETA FUNCTION (Some Special Integrals) 181

(a) To prove (1) = 1

  x n 1
We know, (n) = 0 e x dx [From equation (1.1)]
  x 11
  (1) = 0 e x dx [Putting n = 1]

 x  e x 
= 0
e dx     1 (0  1)  1 [ e– = 0]
 1  0
  (1) = 1
(b) To prove  (n + 1) = n (n) = n!
  x n 1
We know  (n) = 0 e x dx [From equation (1.1)]
Now putting n = n + 1, we get

 x n 11
 (n + 1) = e x dx
0
 x n
= 0 e x dx ...(1.2)
Integrating by parts on the r.h.s.
 
d 
 (n + 1) = x n  e  x dx    ( x n ) e  x  dx
 dx 
0 0
 
 n e x  e x
=  x    nx n 1 dx
 1  1
0 0

n 1  x
= – (0 – 0) + n x e dx ...(1.3)
0

[using equation (1.1)]

  (n + 1) = n(n)
Using the same property, we write (n) = (n – 1)  (n – 1) (Putting n = n – 1, in eq. 1.3)
  (n + 1) = n (n – 1)  (n – 1)
= n (n – 1) (n – 2)  (n – 2)
= n (n – 1) (n – 2) (n – 3)  (n – 3)
= n (n – 1) (n – 2) (n – 3) ...3.2.1  (1)
 (n + 1) = n! ...(1.4) [ (1) = 1]
Thus, (2) = 1! = 1
 (3) = 2! = 2
 (4) = 3! = 6 and so on.
 (n  1)
From equation (1.3), we get (n) =
n
182 MATHEMATICAL PHYSICS–II (Sem. III) Hons.

 (1) 1
If n = 0, then (0) =  
0 0
And if n = – 1,
Using  (n) = (n – 1)  (n – 1) one gets
 (–1) = (–1 –1)  (–1 –1)
= –2  (–2)
Similarly  (–2) = – 3 (–3) so that
 (–1) = (–2) (–3)  (–3)
Proceeding in a same way one will get
 (–1) = (–1)m m !  (–m)
where m  hence gamma function for any negative integer is not defined.
then (–1) = 
So this definition is not valid for zero or negative integers. But we can find the value of Gamma
function for negative non integer value of n.

1
Now putting n   in equation (1.3),
2

 1  1
   = 2  
 2 2
 1
1 1
where   =
x
 x 2 e dx
 2
0

 1
2 x
= x e dx
0
that will be calculated in the example 1.1 (a)

 3 
   1
 3  2 
Likewise    =
 2 3

2

2  1
=    
3  2

 2  1
=    ( 2)   
3 2

4  1
=  
3  2
Repetition of the above identity allow us to define the Gamma function on the whole real axis except
GAMMA AND BETA FUNCTION (Some Special Integrals) 183

on the negative integers as shown in the fig. 1.1.

(x)

x
–4 –3 –2 –1 0

Fig. 1.1. Graphical representation of Gamma Function


(c) To prove (n) = zn  e  zx x n  1dx
0
By definition of the gamma function, we get
  x n1
(n) = 0 e x dx [From equation (1.1)]
Let x = zy
or dx = z dy
Here limit will not be changed, so replacing the above values

 zy
 (n) = e ( zy ) n 1 z dy
0

 zy n 1 n 1
= e z y z dy
0

n  zy n 1
= z e y dy ...(1.5)
0
For a definite integral
b b
a f ( x) dx = a f ( y) dy ...(1.6)
Therefore from equations (1.5) and (1.6), one gets

 (n) = z n  e  zx x n  1dx ...(1.7)
0
n1
11
(d) To prove  (n) =   log  dy
0 y
We know that
  x n 1
 (n) = 0 e x dx ...(1.8)

Let x = log
y

or ex =
y
184 MATHEMATICAL PHYSICS–II (Sem. III) Hons.

or y = e–x or dy = – e–x dx
Now, when x = 0, y = 1
and when x = , y = 0
So, changing the variables in equation (1.8),
n 1
0 1
we get,  (n) = 1  log y  ( dy )

n 1
1 1
  ( n)   0  log y  dy (negative sign is omitted by changing the limit)

[Note : This is the first formula derived by Euler for Gamma Function]
1
  yn
(e) To prove  (n + 1) =
 0
e dy

  x n 1
We know that  (n) = 0 e x dx [From equation (1.1)]

1
Let x = yn
or xn = y
or nxn–1 dx = dy
dy
or xn–1 dx =
n
Here limits will not be changed as when x = 0, y = x4 = 0 and when x = , y = .
1
 yn dy
  (n) = 0
e
n
[changing the variable in equation (1.1)]

1

1 yn
=
n e dy
0

1
 yn
or n  (n) = 0
e dy

1
  yn
or  (n + 1) =  0
e dy (Using equation 1.3) ...(1.9)

Example 1.1. Find the values of

1  3 5 1 3
(i)    , (ii)    , (iii)    , (iv)     , (v)    
 2  2  2  2  2
 n 1  x
Solution : (i) We know that,  (n) = 0 x e dx
GAMMA AND BETA FUNCTION (Some Special Integrals) 185

1
1  1  
2 e  x dx
For n =
2
,   
 2 0 x ...(i)

1

Let us put x =  x u2 2  u 1
 dx = 2udu
When x = 0, u = 0
x = , u = 

 1  u 2 1
From (i)   
2
= e u 2udu
0
u  2
= 2  e du ...(ii)
0
Along x and y axes equation (ii) becomes, (replacing u = x and u = y)
 1  2
 
 2 = 2 e  x dx ...(iii)
0

 1  2
And  
 2 = 2 e y dy ...(iv)
0
Let x = r cos , y = r sin 
 x2 + y2 = r2, dxdy = r dr d
Here the coordinates are used in 2D cylindrical co-ordinates in which limit of r is 0 to  and  is
0 to /2.
Multiplying equations (iii) with (iv),
2  
  1  x y 2 2
   2   = 4  e dx  e dy
  0 0
 
( x 2  y 2 )
= 4 e dxdy
0 0

2  
 r 2
= 2    2re dr  d 
0
0 
Again putting r2 =v
 2rdr = dv

2 2 
  1   v 
    2   = 2    e dv  d 
  00 

  
2
   (1)   e v dv
= 2 (1)  d  0 
0
186 MATHEMATICAL PHYSICS–II (Sem. III) Hons.


2
= 2  d [  (1)  1]
0

= 2[]02
= 
 1
   = 
 2
(ii) We get from the properties of Gamma function
1
 (n) =  ( n  1) [From equation (1.3)]
n
or  (n + 1) = n (n)
 3  1
   =  1  
 2  2
1 
=    1
2
1  1
=   [  (n + 1) = n(n)]
2  2

1   1 
=     2   
2  
 5 3 
(iii) We write   =    1
 2 2 
3  3
=   [  (n + 1) = n(n)]
2  2
3 1 
=    1
2 2 
3 1  1
=  
2 2  2
 5 3   1 
  
 2 =     2    
4  
(iv) We know that,
 (n + 1) = n  (n) [From equation (1.3)]

1
Putting n = – in the above equation
2

 1  1  1
    1 =    
 2  2  2
GAMMA AND BETA FUNCTION (Some Special Integrals) 187

 1 1  1
or   =   
 2 2  2
1  1
or  =   
2  2
 1
or   = 2 
 2
(v) Again we know that
 (n + 1) = n  (n)

3
Putting n   in this equation
2

 3  3  3
    1 =   
 2  2  2
 1 3  3
or   =   
 2 2  2
3  3   1 
or 2  =   
2  2     2    2  
 
 3 4
or   = 
 2 3
Example 1.2. Evaluate the integrals by using the property of  function.
7
  
(a) 0 x 4 e  x dx (b) 0 x 8 e  4 x dx (c) x  t t 2 dt
0
5
  4 x
(d) 0 xe 3 x
dx (e)  e x2 dx
0
[Note : In evaluating the integrals, we need to check the exponential part. If it is not in e–x form, then
we may move for variable replacement]
Solution :
(a) We know that

n 1  x
(n) = x e dx
0

4 x
 x e dx =  (5) (Putting n = 5)
0
Again  (n + 1) = n !
 (5) = 4! = 24

4 x
 x e dx  24
0
188 MATHEMATICAL PHYSICS–II (Sem. III) Hons.

(b) We know that

n 
 zx n 1
 (n) = z  e x dx [From equation (1.7)]
0
  zx n 1  ( n)
or 0 e x dx =
zn
Here n – 1 = 8 or n = 9
and z = 4

8 4 x  (9)
 x e dx =
49
0
8!
= [  (n  1)  n!]
49
40320
= = 0.153
262144
(c) We know that

 t n 1
 (n) = e t dt
0
7 7 9
Here n – 1 = or n  1  
2 2 2
 7
t 2  9 7 
  e t dt =        1
 2 2 
0

7  7
=   [  (n + 1) = n  (n)]
2  2

7 5  5
= . .  
2 2  2

7 5 3 1  1
= . . .  
2 2 2 2  2

105
= 
16
(d) We know that

 x n 1
 (n) = e x dx
0

Let I = 0 xe 3 x
dx

Again let, 3 x = y
1
1 
or 3 x 2 dx = dy
2
GAMMA AND BETA FUNCTION (Some Special Integrals) 189

2 2 y 2
or dx = x dy  dy  y dy
3 3 3 9
Here no change in limit will occur.

y y 2
 I =  3e 9
ydy
0

2 2 y
=
27 y e dy
0

2 31  y
=
27 y e dy
0

2
=  (3)
27
2
= 2! [  (3) = 2!]
27
4
=
27
(e) We know that

 x n 1
 (n) = e x dx
0

 5
4 x 2
Let I =  e x dx
0
Let 4x = y
or 4dx = dy
dy
or dx =
4
There is no change of limit here.
5

y  y  2 dy
 I = e  
4 4
0

 5
y 2 dy
=  e y 5
0
4  (4) 2
 7
1 1
=  e  y y 2 dy
4 44 4 0
 7
1 1
y
=
128  e y2 dy
0
190 MATHEMATICAL PHYSICS–II (Sem. III) Hons.

1  7 1 5  1 5 3 1  1
=        1      
128  2  128  2  128 2 2 2  2 

15
= 
128  2  2  2

15
= . 
1024

  x2 
Example 1.3. Show that 0 e dx  .
2
Solution : By definition of Gamma function
  x n 1
 (n) = 0 e x dx [From equation (1.1)]

  x2
Let I = 0 e dx

Consider x2 = y
or 2x dx = dy
dy
or dx =
2 y
There will not be any change in limit here.

y dy
 I = e 2 y
0

 1
1 y  2
2
= e y dy
0

 1
1  y 2 1
2
= e y dy
0

1  1
=  
2  2


=
2

 2 1  n  1
Example 1.4. Show that 0 x n e  kx dx   .
2k n1  2 
Solution : By definition of the gamma function, we get

 x n 1
 (n) = e x dx
0
GAMMA AND BETA FUNCTION (Some Special Integrals) 191

 n  k 2 x2
Let I = 0 x e dx

Put k2 x 2 = y
or k2 2x dx = dy

dy dy dy
dx = 2
 
2k x y 2k y
2k 2
k2
Here no change in limit will occur,

1 n

 y  2  y dy
 I =    k 2   e 2k y
0 


n
 1
1 y2  dy
=  kn e y y 2
2 k
0

n 1
 
1 y2 2 e y
=
2  k n 1
dy
0

 n 1
1
=  y 2 e  y dy
2 k n 1 0

 n 1  1
1
= y 2 e y dy
2k n 1 0

1  n  1
 I =  [By definition of Gamma function]
2k n1  2 

1 1
Example 1.5. Prove that     (2n)  22n 1  (n)   n  
 2  2

 1
Solution : We have,   n  
 2

 1 
=   n   1
 2 

 1  1
= n    n   [ (n + 1) = n(n)]
 2  2
192 MATHEMATICAL PHYSICS–II (Sem. III) Hons.

 1  3  3
=  n    n     n  
2 2 2
 1  3  5  5
=  n    n    n     n  
2 2 2 2
 2n  1  2n  3  2n  5   2n  5 
=      
2  2  2   2 
 2n  1  2n  3  2n  (2n  1)   2n  2n  1
=    ...     
2  2   2  2
 1
(2n  1) (2n  3) (2n  5).... 1  
 2
=
2n
Multiply and divide the above relation with 2n (2n – 2) (2n – 4) ...... 6.4.2.1, one gets
 1
(2n)!   
 2
=
2n 2n(2n  2) (2 n  4) ... 6.4.2.1
 1
(2n) !  
 2
=
22 n n !
 1  1
2n (2n)     (2n)   
 2  2
= 
22 n n (n) 22 n 1  (n)
 1
 (2n)   
 1  2
Thus n  =
 2 2 2 n 1
 ( n)
 1  1
     (2n) = 22n 1  (n)   n  
 2  2
1 m (  1) n n !
Example 1.6. Prove that  x (log x ) n dx 
0 ( m  1)n  1
Solution : The given integral is
1
m
I = x (log x) n dx
0

y 1
Putting x = e–y  e  ; dx = – e–y dy
x
y 1
Now, when x = 0, e  or ey =  or y = 
0
y 1
and when x = 1, e  or e y = 1 or ey = e0  y = 0
1
GAMMA AND BETA FUNCTION (Some Special Integrals) 193

0
 my
 I = e (  y ) n (  e  y ) dy


n  my n  y
= ( 1) e y e dy
0
(limit is changed by using the negative sign)

= ( 1)
n
y
n
e  (m 1) y dy
0
 n
n u  u  du
= ( 1) e  
m  1 m 1
[Putting (m + 1) y = u]
0
n 
(1) u n
=
(m  1) n 1 e u du
0

( 1)n (1)n n !
=  (n  1) 
(m  1)n 1 (m 1)n 1

1 m n ( 1)n n!
 0
x (log x) dx =
(m  1) n 1
Example 1.7. Show that 2.4.6. .... 2n = 2n (n + 1)
Solution : LHS = 2.4.6.... 2n
= 2n (1.2.3 ... n)
= 2n n!
= 2n (n + 1) = RHS
21  n  (2n)
Example 1.8. Show that 1.3.5 .... (2n – 1) =
 ( n)
Solution : LHS = 1.3.5. .... (2n – 1)
1.2.3.4.5....(2n  1) 2n
=
2.4.6....2n
(2n )!
=
2n n !
2n (2 n) 21 n  (2n )
=   RHS
2 n n  ( n)  ( n)
  ax m  1
Example 1.9. Evaluate 0 e x sin bx dx in terms of Gamma Function.
Solution : The integral,

 ax m 1
I = e x sin bx dx
0
194 MATHEMATICAL PHYSICS–II (Sem. III) Hons.

  ibx  e  ibx 
 ax m 1 e
=  e x 
 2i
 dx

0
(Putting the value of sin bx in terms of exponential function)
 
1   ax m 1 ibx 
=  e x e dx   e  ax x m 1 e  ibx dx 
2i  
0 0

 
1   (a ib) x m 1 
=   e x dx   e  ( a  ib ) x x m 1 dx 
2i  
0 0

Let us consider (a – ib) x = u ; (a – ib) dx = du

and (a + ib) x = v ; (a + ib) dx = dv
Now the integral becomes
   v m 1
1  e  uu m 1du e v dv 
I =    
2i  (a  ib)m (a  ib)m 
0 0

1   ( m)  ( m) 
=  m
 
2i  (a  ib) (a  ib)m 

 ( m)
= [(a – ib)–m – (a + ib)–m]
2i
Again let a = r cos  and b = r sin 
So a2 + b2 = 1

1  b 
or r = a 2  b 2 and   tan  
 a
Putting the value of a and b, we get
 (m) –m
I = [r (cos m + i sin m  – cos m  + i sin m )]
2i
 (m) –m
or I = r 2i sin m
2i
 (m)
or I = sin m
rm

 ax m 1  (m)
Finally, e x sin bx dx = sin m
0 rm

 b
where r  a 2  b 2 and   tan 1  
 a
GAMMA AND BETA FUNCTION (Some Special Integrals) 195

 xa  (a  1)
Example 1.10. Prove that 0 dx 
a x
(log a )a  1
 a
x
Solution : Let I =  a x dx
0
Considering log on both sides of one gets ax ,
log ax = x log a
Considering the exponent of the above eqn. one gets
x
x log a
elog a = e
x log a
or ax = e

xa
=  x log a dx
0e

a  x log a
= x e dx
0
Let x log a = z
dz
or dx =
log a
 a
 z   z dz
 I =   log a  e log a
0

1 a z
=
(log a ) a 1
z e dz
0

 ( a  1)
=
(log a ) a 1

2 2
Example 1.11. Evaluate  (tan
3
  tan5  ) e  tan d .
0

2 2
Solution : Let I =  (tan
3
  tan 5 ) e  tan d 
0
Let us put tan2 = x
or 2 tan  sec2d = dx
or 2tan  (1 + tan2) d = dx
or 2 x (1 x) d  = dx
dx
or d =
2 x (1  x)

when  = 0, x = 0 and when   ,x
2
196 MATHEMATICAL PHYSICS–II (Sem. III) Hons.


dx
 I =  (x x  x2 x ) e x
0
2 x (1  x)

x x (1 x) e  x
or I =  2 x (1 x) dx
0

1 x
or I = 2  xe dx
0
 (2)
or I =
2
1
or I = [  (2)  1]
2


2 2 1
  (tan
3
  tan 5 ) e  tan d 
2
0

1.2. OTHER FORMS OF GAMMA FUNCTIONS

Gamma function described by the form

n 1  x
 (n) = x e dx, n  0
0

is known as the integral form of gamma function. Except this form there are two other forms of gamma
function known as
1. Euler's form : This form of gamma function is given as
1.2.3.....m
 (n) = Lim mn ...(1.10)
n n (n  1)....( n  m)
Here n is neither zero nor a negative number.
2. Weierstrass' Infinite product definition : This form of gamma function is given as

1 rn  m   n/ m
= ne  1   e ...(1.11)
 ( n) m 1
n
where r is Euler's constant and is given as
 1 1 1 
r = Lim 1  2  3  .... m  ln m  0.577216
n 
The integral, Euler's and Weierstrass' forms of gamma function are equivalent to one another. To
m m
1  x  xn 1dx with m  such that the integral becomes
prove the result consider the integral   m
0
m m
1  x  x n 1dx
 m  m 
Lim ...(1.12)
0
GAMMA AND BETA FUNCTION (Some Special Integrals) 197

 x  m x
But Lim 1    e hence equation(1.12) could be modified as
m m

 x n 1
e x dx =  (n)
0

m
 x m n 1 x dx
Thus the integral  1  m  x dx could be solved by substituting
m
 t , such that
m
 dt
0
x m
when x = 0, t = 0 and when x = m, t    1, so that
m m

m 1 1
 x m n 1 m n 1 n m n 1
 1  m  x dx =  (1  t ) ( mt ) mdt  m  (1  t ) t dt
0 0 0

Integrating by parts one get

 1 1 n  1 1
tn t  m  n m n m 1
m (1  t )m
n
  . m(1  t )m 1 dt  = mn 0   t n (1  t )m 1 dt  = m . t (1  t ) dt
 n n   n  n
 0 0  0 0

repeating the procedure m times, one gets

m 1
 x  m n 1 n m(m  1) (m  2).....1 n  m 1
 1  m  x dx = m . n( n  1) (n  2)....( n  m 1) t dt
0 0

n 1.2......( m  1). m
= m . n ( n  1) (n  2).....(n  m)   ( n)

To prove Weierstrass' form consider the inverse of Euler's form, i.e.

1 n ( n  1) ( n  2)....( n  m )  n
= m
 ( n) 1.2.3......m

( n  2) ( n  3) ( n  m)  n
= n (1  n ) . ...... m
2 3 m

 n  n  n  – nlnm
= n(1  n) 1  2  1  3   ...... 1  m  e

1 1 1
n 1   ... 
 2 3 m
Multiply and divide the above relation with e one gets

 1 1 1
1 n 1   ....  1 1 1
 n1   .... 
= n (1  n ) 1  n  1  n   ..... 1  n  e  2 3 m
.e  2 3 m   n ln m
 (n)  e
2  3  m
198 MATHEMATICAL PHYSICS–II (Sem. III) Hons.

 1 1 1 
 n 1    n ln m
n  n /2  n n  2 3 m 
= n (1 n ) e 1   e 1   e  n /3 .... 1   en / m  . e 
n
 2  3  m 


n
= ne
rn
 1  m  e n/ m
m 1


Example 1.12. Prove that  ( n )  (  n )   n is not an integer..
n sin n
Solution : To start with Weierstrass infinite product of gamma function one gets
 
1 1 n n
.
 (n)  (  n) = ne
rn
 1  m  e n / m .  ne rn  1  m  e n / m
m 1 m 1


n n
=  n 2  1   1   e  n / me n / m ...(i)
 m  m 
m 1

  2
2 n 
= n   m2 
1 
m  1

Expanding cos kx, where k is not an integer, in fourier series in the interval –  x  , one gets

 
1 1 sin kx 1 sin k   sin k  2sin k 
a0 =
  cos kx dx 
 k 

 k

k


 
1 1
am =
  cos kx cos mx dx 
2  [cos (k  m) x  cos (k  m) x] dx
 

 
1  sin ( k  m) x sin (k  m) x 
=   
2  k  m  k m  

1  2sin (k  m)  2sin (k  m)  
=   
2 km k m

1  sin k  cos m  cos k  sin m sin k  cos m  cos k  sin m 

= 
  k m k m 

1  sin k  ( 1)m  0 sin k  ( 1)m  0 

=   
  km k m 
GAMMA AND BETA FUNCTION (Some Special Integrals) 199

1  ( k  m)( 1)m sin k   ( k  m)( 1)m sin k  

=  
  k 2  m2 

1  k ( 1)m sin k   m ( 1)m sin k   k ( 1)m sin k   m ( 1)m sin k   2k sin k  ( 1)
m
 n 2  =
  k m   k 2  m2
bn = 0 as the function cos kx is an even function, hence
 m
1 2k sin k  ( 1)
cos kx =
k
sin k  

.  2 2
cos mx
m0 k m
Let x =  and k = n, so that above equation becomes

1 2n sin n 2m
cos n =
n
sin n 
  2 2
( 1)
m 0 n m

cos n 1 2n 1
or
sin n
=
n

  2 2
m0 n m
Integrating the two sides with respect to n in the interval 0 to n one gets
  2
sin n n 
ln
n
=  log 1  m2 
n 1

  2
sin n n 
or
n
=  1  m2  ...(ii)
n 1

Comparing equation (i) and (ii) one gets

2 sin n 1 1
n =
n  ( n)  (  n)

 n sin n 1 1
or =  ( n)  (  n)

Reverting the above relation, one gets

 (n)  (– n) = n sin n

2. BETA FUNCTION
The Beta function is also known as Euler integral of the first kind and defined by a definite integral
as
1
m 1
 (m, n) = x (1  x )n  1 dx , where m > 0, n > 0 ...(2.1)
0
200 MATHEMATICAL PHYSICS–II (Sem. III) Hons.

Note that the function depend upon m and n but not on x. It is an area function which depends upon
two variables.
1 1
0 0 1
Thus  (1, 1) =  x (1 x) dx   dx  x  0 1
0 0
1 1
2 1
 (2, 3) = x (1  x)31 dx   x (1  x) 2 dx, etc.
0 0

2.1 PROPERTIES OF BETA () FUNCTION

In evaluating the integrals the following three properties are widely used
(a)  (m, n) =  (n, m) (Symmetry of Beta function)
 
x n1 xm 1
(b)  (m, n) =  (1  x )m  n dx   (1  x )m  n dx
0 0

2
2m  1
(c)  (m, n) = 2  (sin  ) (cos  )2n 1 d 
0

Proof
Let us prove the properties one by one.
(a) To prove  (m, n) =  (n, m)
We know by definition of Beta function
1
m 1
 (m, n) = x (1  x)n 1 dx [From equation (2.1)]
0
Again we know that for definite integral
a a
 f ( x) dx =  f (a  x) dx,
0 0
so using this property in the above equation, we get
1
m 1
 (m, n) =  (1  x) [1  (1  x)]n 1 dx
0
1
n 1
= x (1  x) m 1 dx
0
=  (n, m)
 
xn 1 x m 1
 (1  x )m  n
(b) To prove  (m, n) = dx   (1  x )m  n dx
0 0
We know by definition of Beta function
1
m 1
 (m, n) = x (1  x ) n 1 dx
0
GAMMA AND BETA FUNCTION (Some Special Integrals) 201

1 1
Let x = or dx = dy
1 y (1  y ) 2
1
or (1 + y) =
x
Now, when x = 0, y = 
when x = 1, y = 0
0 m 1 n 1
 1   1   dy
  (m, n) =   1
 1  y   1  y  (1  y ) 2


1 y n 1 dy
=  (1 y )m 1 (1  y ) n 1
(1  y ) 2
0
[-ve sign is omitted by changing limit]

y n 1
  (m, n) =  (1 y) m n dy
0

b b
But,  f ( x ) dx =  f ( y) dy [Property of definite integral]
a a


x n 1
  (m, n) =  (1  x)m n dx
0

Now using  (m, n) =  (n, m)


x m 1
 (m, n) =  (1  x)m n dx
0


2
(c) To prove  (m, n) = 2  (sin  )2m  1 (cos  )2n  1 d 
0

We know that
1
m 1
 (m, n) = x (1  x) n 1 dx
0
Let x = sin2 or dx = 2 sin  cos  d
When x = 0,  = 0

x = 1,  =
2

2
  (m, n) =  (sin
2
)m 1 (1 sin 2 )n 1 2sin  cos  d 
0
202 MATHEMATICAL PHYSICS–II (Sem. III) Hons.


2
= 2  (sin )2m  2 (cos )2 n  2 sin  cos  d 
0


2
= 2  (sin )2m 1 (cos )2 n1 d 
0

3. RELATION BETWEEN BETA AND GAMMA FUNCTION

Beta function and Gamma function can be related by the relation
 ( m )  ( n)
 (m, n) = , where m > 0, n > 0 ...(3.1)
 (m  n)
In the evaluation of integrals, this relation is quite useful for finding a definite result.
 (m )  (n )
Example 3.1. Prove that  (m , n) 
 ( m  n)
Solution : We know from the definition of Gamma function

 x n 1
(n) = e x dx
0
Now using the property (c) of the Gamma function, we write

 zx n 1
(n) = z n e x dx ...(i)
0

 (n)  zx
or n = e x n 1 dx ...(ii)
z 0
Multiplying both sides by e–z zm–1 in eqn. (i) and then integrating with respect to z from z = 0 to z = ,
we get
    
 z m 1
 (n)  z m 1
 e z dz =  e z  z n  e  zx x n 1 dx  dz
0 0  0 

 z (1 x ) m  n 1 n 1
or  (n)  (m) =  e z x dx dz
00
Since the integration limit is same, so changing the order of integration
  
n 1  z (1 x ) m  n 1
 (n)  (m) =    e
x z dz  dx

0 0

n 1   (m  n ) 
= x  m n 
dx [Using equation (ii)]
0  (1  x ) 
GAMMA AND BETA FUNCTION (Some Special Integrals) 203


 ( m)  ( n ) x n 1
or
 (m  n)
=  (1  x)m n dx
0

=  (m, n) [Property (b) of Beta function]

  p  1  q  1 
 
2
 2   2  1
p q
Example 3.2. Show that 2  sin  cos  d   and hence show     .
 p  q  2   2
0  
 2
Solution : From the relation of Beta and Gamma function, we get
 (m)  (n)
 (m, n) = ...(i)
 (m  n)
Again from the properties of Beta function (property c), we get

2
 (m, n) = 2  (sin )2m 1 (cos )2 n 1 d  ...(ii)
0

Therefore from equation (i) and (ii)


2  (m)  (n)
2  (sin )2m 1 (cos )2 n 1 d  = ...(iii)
 (m  n)
0

Let 2m – 1 = p and 2n – 1 = q
p 1 q 1
or m = or n
2 2

  p  1  q  1
 
2
p q  2   2 
 2  (sin ) (cos ) d  =
 p  q  2
0  
 2 
Now putting p = 0 and q = 0, we get
  1   1
2    
 2   2
2  d =
 (1)
0

2
   1 
or 2 =     [  (1)  1]
2  2 

 1
or   = 
 2
204 MATHEMATICAL PHYSICS–II (Sem. III) Hons.

 1 
Example 3.3. Prove that  ( m )   m    2 m  1  (2 m ), m  0
 2 2
Solution : From equation (iii) of Example 3.2, we have


2  (m)  (n)
2  (sin )2m 1 (cos )2 n 1 d  = ...(i)
 (m  n)
0

1
Putting n  in equation (i), we get
2

  1
2  ( m)   
 2
2  (sin )2m 1 d  =
 1
0 m  
 2


2  (m) 
or 2  (sin ) 2m 1 d  = ...(ii)
 1
0 m 
 2
Again putting n = m in equation (i), we get


2  (m) (m)
2  (sin )2m 1 (cos )2 m 1 d  =
  m  m
0


2 [ (m)]2
or 2  (sin  cos )2m 1 d  =
 (2m)
0


2
 2sin  cos  
2 m 1
[ (m)]2
or 2   d =
 2  (2m)
0


2 2
2m 1 [ (m)]2
or
22m 1
 (sin 2) d  =  (2m)
0

Let 2 = t
or 2d = dt
when  = 0, t = 0
GAMMA AND BETA FUNCTION (Some Special Integrals) 205


when  = ,t
2

2
(sin t ) 2 m 1
dt [ (m)]2

2 2 m 1  2 =
 (2m)
0

  b b 
1 2m 1 [ (m)]2   f (t ) dt 
or
2 2m 1
 (sin  ) d  =
 (2m)  a
 f () d 

0 a


1 2 [ (m)]2
or 2 (sin )2m 1 d  =
2 m 1 
...(iii)
2  (2m)
0

1  ( m)  [ (m)]2
or = [Using equation (ii) in equation (iii)]
22m 1 
m 
1  (2m)
 2

  1
  (2 m) =  (m)   m  
2 2 m 1  2

Example 3.4. Prove that  (m, n) =  (m, n + 1) +  (m + 1, n).

Solution : We know that
 (m)  (n)
 (m, n) =
 (m  n)

 (m)  (n  1)  (m 1)  (n)

Now  (m,n + 1) +  (m + 1, n) = 
 (m  n  1)  (m  n  1)

 (m) n  (n) m (m)  (n)

= 
(m  n)  (m  n) (m  n)  (m  n)

 ( m)  ( n )  n m 
=
 (m  n) m  n  m  n
 

  ( m )  ( n) 
=  (m, n)   ( m, n)   ( m  n ) 
 

 (m  1, n)  ( m, n  1)  (m , n)
Example 3.5. Prove that   .
m n mn
Solution : We know that
 (m)  (n)
 (m, n) = ...(i)
 (m  n)
206 MATHEMATICAL PHYSICS–II (Sem. III) Hons.

 (m 1, n) 1  (m  1)  (n)
Now =
m m  (m  n  1)

1 m (m)  (n)
=
m ( m  n )  ( m  n)

(m, n)
= ...(ii)
mn

 (m, n  1) 1  (m)  (n  1)
Now =
n n  (m  n  1)

1  (m ) n  (n)
=
n ( m  n)  ( m  n )

(m, n)
= ...(iii)
mn
 From equation (i), (ii) and (iii), we get

 (m 1, n)  (m, n  1)  (m, n)

= 
m n mn

1
5
Example 3.6. Solve x (1  x 3 )10 dx
0

Solution : We know that

1
m 1
 (m, n) = x (1  x )n 1 dx ...(i)
0
1
5
Let I = x (1  x3 )10 dx
0
Put x3 = y [Note that in equation (i) there is no power in x within the bracket]
or 3x2 dx = dy
Now, when x = 0, y = 0
when x = 1, y = 1
1 1
dy
 I =  ( y 3 )5 (1  y )10 2
0
3y 3
1 5

2
1
=  y 3 y 3 (1  y )10 dy
3
0
1
1
y (1  y )10 dy
3
=
0
GAMMA AND BETA FUNCTION (Some Special Integrals) 207

1
1
y 2 1 (1  y )111 dy
3
=
0
1
= B(2,11)
3
1  (2)  (11)
=
3  (2  11)
1 1!10!
=
3 12!
1 1!.10! 1
= 
3 12.11.10! 396

SUMMARY

 Definition of  function  (n)   e x x n1dx, n  0
0
 Some other form of Gamma Function

(i)  ( n )  z n  e  zx x n 1dx
0
1 n 1
 1
(ii)  (n )    log  dy
 y
0
(Note that in exponential form the limit is from 0 to  and in logarithm form limit is from 0 to 1. In
evaluating the integrals if there is exponential term or logarithm term, then  function may be
applied)
1
 Definition of  function (m, n)   x m 1(1  x)n 1 dx, m > 0, n > 0
0
 Relation between  and  function
 (m)  (n)
(m, n) 
 (m  n)
 To evaluate integrals under  function, we have to use the relation between  and  function to
get a finite result.

QUESTIONS

MULTIPLE CHOICE QUESTIONS (MCQ's)

1. Which of the following is true?
(A)  (n + 1) = n(n) for any real number (B)  (n) = n (n + 1)for any real number
(C)  (n + 1) = n (n) for n > 1 (D)  (n) = n (n + 1) for n > 1
208 MATHEMATICAL PHYSICS–II (Sem. III) Hons.

2.  (n + 1) = n ! can be used where n is

(A) any integer (B) a positive integer
(C) a negative integer (D) any real number
3. Which of the following is not a definition of Gamma Function?

n 1  x
(A)  (n) = n! (B)  (n) = x e dx
0

1 n 1
 1
(C)  (n + 1) = n (n) (D)  (n) =   log y  dy
0

 1
4. What is the value of    ?
 2

 
(A)  (B) (C) (D) 
2 2
5. Which of the following statement is correct?
 (m  n)  (m)  (n)
(A)  (m, n)  (B)  (m, n) 
 (m)  (n)  (m  n)

 (n)
(C)  (m, n)  (m)  (D)  (m, n)   (m)  (n)
 (m  n)
6. What is the value of  (5.5) ?
11.9.7.5 9.7.5.3.1 9.7.5.3.1 11.9.7.5.3.1
(A)  (B)  (C)  (D) 
32 32 64 32

 x2
7. What is the value of e dx ?
0
  
(A)  (B) (C) (D)
2 2 2
1
8
8. What is the value of  (log y ) dy ?
0
(A) 5! (B) 7! (C) 8! (D) 9!
 9
9. What is the value of    ?
 4

1  1 9 5 1  1 5 1  5 7 5 1  1
(A) 54. .   (B) . . .   (C) . .   (D) . . .  
4 4 4 4 4  4 4 4  4 4 4 4  4
10. The value of (0) is
(A) 0 (B) 1 (C)  (D) 
GAMMA AND BETA FUNCTION (Some Special Integrals) 209

SHORT ANSWER TYPE QUESTIONS

1. Define Gamma function.
2. Define Beta function.
3. Write the relation between Gamma function and Beta function.

2
4. What is the value of the integral  tan  d  ?
0

1
x2
5. What is the value of  dx ?
0 1  x4

LONG ANSWER TYPE QUESTIONS


1. Show that  ( m)  (1  m) 
sin m

1
2. Evaluate  (1  x4 ) dx
0

1
3. Evaluate  cx dx
0
4. Evaluate the Integrals :
1 1 2 
1
3 5
x5 (1 x) 2 dx
(a) x (1  x ) dx (b)
0
0
1 2 1 1
5
(c) x 3 (1  x ) 2 dx (d) x (1  x 3 )3 dx
0 0

2 1

(e)  x 4 (8  x3 ) 3 dx
0
5. Evaluate the integrals by using Gamma function :
 
4  x2
(a)  xe  x dx (b) x e dx
0 0
1 
(c)  ( x log x)
3
dx (d)  xe 3 x
dx
0 0
 
6 2 x  x2
(e)  x e dx (f) e dx
0 0
1 3 1
4  1  1
(g)  x ln x  dx (h)  ln   dx
 x
0 0
210 MATHEMATICAL PHYSICS–II (Sem. III) Hons.

HINTS/ANSWERS
MULTIPLE CHOICE QUESTIONS
1. (C) 2. (B) 3. (A) 4. (A) 5. (B)
6. (B) 7. (C) 8. (C) 9. (A) 10. (C)
Short Answer Type Questions
1. The Gamma function which is also known as Euler’s integral of the second kind was first introduced
by Euler in his work to generalize the factorial of non-integer values. Gamma function can be
defined as (out of three different convenient definitions)

n 1  x
 (n) = x e dx, Where n > 0.
0
2. The Beta function is also known as Euler integral of the first kind and defined by a definite integral
as
1
m 1
 (m, n) = x (1  x ) n 1 dx, where m > 0, n > 0.
0
3. Beta function and Gamma function can be related by the relation
 (m)  (n)
 (m, n) = , where m > 0, n > 0.
 (m  n)
4. Hint : Use 2m–1 = 1/2 and 2n – 1 = –1/2 in equation (i) of example 3.3.
5. Hint : Substitute x2 = sin 
Long Answer Type Questions
 (m)  (n)
1. Hint : Put n = 1 – m in  (m, n) =
 ( m  n)
2. Hint : Put x2 = tan 
 
1
  Hint :  x dx   e  x log c dx and put x log c = t
0c 0
4. Hints :
 (4)  (6)  7 1  1 3
(a)  (4,6)  (b)  ,  (c)   , 
 (4  6)  5 2  3 2
x3
(d) Put x3 = t (e) Put t
8
3 
5. (a) (b) 3
2 8
3 315 
(c) (d) Hint : 3 x  t
128 16
45 
(e) Hint : 2x = t (f) Hint : x2 = t
8 2
6 1 45 
(g) Hint : Put ln  (h) Hint : Put x = e–z
625 x 8 2