Gamma and Beta Functions Introduction As introduced by the Swiss mathematician Leonhard Euler in18th century, gamma function is the extension of factorial function to real numbers. Beta function (also known as Euler’s integral of the first kind) is closely connected to gamma function; which itself is a generalization of the factorial function. Both Beta and Gamma functions are very important in calculus as complex integrals can be moderated into simpler form using and Beta and Gamma function. I Gamma Function ∞ We define Gamma function as: Γ๐ = ∫0 ๐ −๐ฅ ๐ฅ ๐−1 ๐๐ฅ Important results 1. ๐. ๐๐ = ๐ ∞ Proof: ๐ค1 = ∫0 ๐ −๐ฅ ๐ฅ 0 ๐๐ฅ = −[๐ −๐ฅ ]∞ 0 =1 ๐ ๐๐. ๐ = √๐ ๐ 1 1 ∞ ∞ 2 Proof: ๐ค = ∫0 ๐ −๐ฅ ๐ฅ −2 ๐๐ฅ = ∫0 ๐ −๐ก ๐ก −1 2๐ก ๐๐ก , by putting ๐ฅ = ๐ก 2 2 ∞ 2 = 2 ∫0 ๐ −๐ก ๐๐ก = √๐ , ∞ 2 โธช ∫0 ๐ −๐ฅ ๐๐ฅ = 1 โธซ ๐ค = ๐ค (0.5) = √๐ = 1.772 2 2. Reduction formula for Γ๐ : Γ(๐ + ๐) = ๐๐ช๐ ∞ We have Γ(๐ + 1) = ∫0 ๐ −๐ฅ ๐ฅ ๐ ๐๐ฅ √๐ 2 ∞ ๐−1 −๐ฅ = −[๐ฅ ๐ ๐ −๐ฅ ]∞ ๐ ๐๐ฅ = 0 + ๐Γ๐ 0 + ๐ ∫0 ๐ฅ โธซ Γ(๐ + 1) = ๐Γ๐ ∞ ๐ช๐ 3. ∫๐ ๐−๐๐ ๐๐−๐ ๐ ๐ = ๐ ๐ ∞ Proof: We have Γ๐ = ∫0 ๐ −๐ก ๐ก ๐−1 ๐๐ก Putting ๐ก = ๐๐ฅ ⇒ ๐๐ก = ๐๐๐ฅ ∞ ∞ โธซ Γ๐ = ∫0 ๐ −๐๐ฅ (๐๐ฅ)๐−1 ๐๐๐ฅ = ๐ ๐ ∫0 ๐ −๐๐ฅ ๐ฅ ๐−1 ๐๐ฅ ∞ ⇒ ∫0 ๐ −๐๐ฅ ๐ฅ ๐−1 ๐๐ฅ = Γ๐ ๐๐ Extension of Gamma function from factorial notation Case ๐. When ๐ is a positive integer We have Γ(๐ + 1) = ๐Γ๐ = ๐(๐ − 1)Γ(๐ − 1) = ๐(๐ − 1)(๐ − 2)Γ(๐ − 2) โฎ = ๐(๐ − 1)(๐ − 2) โฏ 3.2.1Γ1 = ๐! โธซ Γ2 = 1! , Γ3 = 2! , Γ4 = 3! etc. case ๐๐. When ๐ is a positive rational number Γ๐ = (๐ − 1)(๐ − 2) โฏ upto a positive number in Γ function 7 5 3 1 1 15√๐ 2 2 2 2 7 3 3 2 8 Illustration: Γ = Also ๐ค 11 4 3 = . . Γ = . Γ 4 4 4 Now value of Γ can be obtained from table of gamma function. 4 case ๐๐๐. When ๐ is a negative rational number Using Γ(๐ + 1) = ๐Γ๐ ⇒ Γ๐ = Γ(๐+1) ๐ = = = (n+1)Γ(๐+1) ๐(๐+1) Γ(๐+2) ๐(๐+1) Γ(๐+3) ๐(๐+1)(๐+2) โฎ Continuing in this manner, we get Γ๐ = Γ(๐+๐+1) ๐(๐+1)…(๐+๐) , where ๐ is the least positive integer such that (๐ + ๐ + 1) > 0 Γ(−3.4+k+1) Illustration: Γ(-3.4) = (−3.4)(−2.4)…(−3.4+๐) , (−3.4 + k + 1) > 0 ⇒ ๐ > 2.4 ⇒ ๐ = 3 โธซ Γ(-3.4) = Γ(−3.4+4) (−3.4)(−2.4)(−1.4)(−0.4) Γ0.6 can be found using tables. = Γ0.6 (−3.4)(−2.4)(−1.4)(−0.4) Also, to evaluate Γ(-2.5), Γ(−2.5+k+1) Γ(-2.5) = (−2.5)(−1.5)…(−2.5+๐) , (−2.5 + k + 1) > 0 ⇒ ๐ > 1.5 ⇒ ๐ = 2 โธซ Γ(-2.5) = Γ(−2.5+3) (−2.5)(−1.5)(−0.5) = Γ0.5 (−2.5)(−1.5)(−0.5) =− 1.772 1.875 = −0.945 case ๐๐. ๐ช๐ is not defined when ๐ = ๐ or a negative integer We know Γ๐ = Γ(๐+๐+1) ๐(๐+1)…(๐+๐) , ๐ = 0, −1, −2, … For all ๐ = 0, −1, −2, …, we will have a zero in the denominator For instance, Γ0 = Γ(0+๐+1) , Γ(−1) = 0(1)…(0+๐) Γ(−1+๐+1) ,… (−1)(0)…(−1+๐) Hence, we can conclude that gamma function cannot be defined for zero or negative integers. Example 1 If ๐ is a positive integer, show that 1 2๐ Γ(๐ + ) = 1.3.5 … (2๐ − 1)√๐ 2 1 1 Solution: Γ(๐ + ) = Γ (๐ − + 1) 2 2 1 1 = (๐ − ) Γ (๐ − ) 2 2 1 3 โธช Γ(๐ + 1) = ๐Γ๐ 3 = (๐ − ) (๐ − ) Γ (๐ − ) 2 2 2 โฎ 1 3 5 3 1 1 = (๐ − ) (๐ − ) (๐ − ) … . . Γ 2 2 2 2 2 2 2๐−1 =( 2 2๐−3 )( 2 2๐−5 )( 2 3 1 ) … 2 . 2 √๐ 1 ⇒ 2๐ Γ(๐ + ) = 1.3.5 … (2๐ − 1)√๐ 2 Example 2 Evaluate the following integrals ∞ 2 ๐. ∫0 ๐ −๐ฅ ๐ฅ 2๐−1 ๐๐ฅ , ๐ > 1 1 ∞ ๐๐. ∫0 ๐ −√๐ฅ ๐ฅ 4 ๐๐ฅ ∞ ๐ฅ๐ ๐๐๐. ∫0 ๐ฅ ๐ ๐๐ฅ 1 1 ๐−1 ๐๐ฃ. ∫0 (log ) ๐๐ฅ ๐ฅ ,๐>0 ∞ Solution: ๐. We have Γ๐ = ∫0 ๐ −๐ก ๐ก ๐−1 ๐๐ก, … โ Putting ๐ก = ๐ฅ 2 in โ , we get ∞ 2 Γ๐ = ∫0 ๐ −๐ฅ ๐ฅ 2๐−2 . 2๐ฅ๐๐ฅ ∞ 2 ⇒ ∫0 ๐ −๐ฅ ๐ฅ 2๐−1 ๐๐ฅ = Γ๐ 2 ๐๐. Putting ๐ก = √๐ฅ in โ , we get ๐ 1 ∞ 1 1 1 ∞ ๐ Γ๐ = ∫0 ๐ −√๐ฅ ๐ฅ 2 −2 . ๐ฅ −2 ๐๐ฅ = ∫0 ๐ −√๐ฅ ๐ฅ 2 −1 ๐๐ฅ 2 2 ๐ 1 5 2 4 2 Substituting − 1 = , i.e. ๐ = , we get 5 1 1 ∞ Γ( ) = ∫0 ๐ −√๐ฅ ๐ฅ 4 ๐๐ฅ 2 2 1 ∞ 5 3 1 1 โธซ ∫0 ๐ −√๐ฅ ๐ฅ 4 ๐๐ฅ = 2Γ ( ) = 2. . Γ ( ) = 2 2 2 2 ๐๐๐. Putting ๐ ๐ฅ = ๐ ๐ก or ๐ฅ log ๐ = ๐ก ⇒๐๐ฅ = โธซ ∞ ๐ฅ๐ ∫0 ๐๐ฅ ๐๐ฅ = 3√๐ 2 ๐๐ก log ๐ ๐ ๐๐ก ∞ −๐ก ๐ก ∫0 ๐ (log ๐) log ๐ = (log ∞ 1 Γ(๐+1) ๐ −๐ก ๐ก (๐+1)−1 ๐๐ก = (log ๐+1 ∫ ๐+1 0 ๐) ๐) ∞ ๐๐ฃ. We have Γ๐ = ∫0 ๐ −๐ก ๐ก ๐−1 ๐๐ก 1 Putting ๐ก = log ⇒ −๐ก = log ๐ฅ ⇒ ๐ −๐ก = ๐ฅ ๐ฅ 1 Also ๐๐ก = − ๐๐ฅ ๐ฅ as ๐ก = 0 ⇒ ๐ฅ = 1 , ๐ก = ∞ ⇒ ๐ฅ = 0 โธซ Γ๐ = 1 0 1 ๐−1 1 (− ๐ฅ) ๐๐ฅ ∫1 ๐ฅ (log ๐ฅ) 1 ๐−1 ⇒ ∫0 (log ) ๐ฅ = 1 1 ๐−1 ๐๐ฅ ∫0 (log ๐ฅ) ๐๐ฅ = Γ๐ II Beta Function Beta function is defined as: ๐ ๐ท(๐, ๐) = ∫๐ ๐๐−๐ (๐ − ๐)๐−๐ ๐ ๐ , ๐, ๐ > ๐ Important Results 4. Beta function is symmetric i.e. ๐ท(๐, ๐) = ๐ท(๐, ๐) 1 Proof: ๐ฝ(๐, ๐) = ∫0 ๐ฅ ๐−1 (1 − ๐ฅ )๐−1 ๐๐ฅ , ๐, ๐ > 0 1 = ∫0 (1 − ๐ฅ)๐−1 (1 − (1 − ๐ฅ )๐−1 ๐๐ฅ , ๐, ๐ > 0 ๐ ๐ โธช ∫0 ๐(๐ฅ) ๐๐ฅ = ∫0 ๐(๐ − ๐ฅ) ๐๐ฅ 1 = ∫0 ๐ฅ ๐−1 (1 − ๐ฅ )๐−1 ๐๐ฅ , ๐, ๐ > 0 = ๐ฝ (๐, ๐) 5. Another definition of Beta function: ๐๐−๐ ๐ ๐ , ๐, ๐ > (๐+๐)๐+๐ง 1 ∫0 ๐ฆ ๐−1 (1 − ๐ฆ)๐−1 ๐๐ฆ , 1 1 ∞ ๐ท(๐, ๐) = ∫๐ Proof: ๐ฝ(๐, ๐) = Putting ๐ฆ = ⇒ ๐ฝ (๐, ๐) = 1+๐ฅ , ๐๐ฆ = − (1+๐ฅ)2 ๐−1 0 1 − ∫∞ ( ) 1+๐ฅ ∞ 1 ๐−1 = ∫0 ( ) 1+๐ฅ ∞ = ∫0 ∞ = ∫0 ๐ ๐, ๐ > 0 ๐๐ฅ 1 ๐−1 (1 − 1+๐ฅ) ๐ฅ ๐−1 (1+๐ฅ) 1 1 (1+๐ฅ)2 2 ๐๐ฅ , ๐, ๐ > 0 (1+๐ฅ) ๐๐ฅ ๐ฅ ๐−1 ๐๐ฅ (1+๐ฅ)๐+๐ ๐ฅ ๐−1 (1+๐ฅ)๐+๐ ๐๐ฅ โธช๐ฝ (๐, ๐) = ๐ฝ (๐, ๐) 6. Another form of Beta function is given by: ๐ ๐ ๐ท(๐, ๐) = ๐ ∫๐ ๐๐๐๐๐−๐ ๐ฝ ๐๐๐๐๐−๐ ๐ฝ๐ ๐ฝ 1 Proof: we have ๐ฝ (๐, ๐) = ∫0 ๐ฅ ๐−1 (1 − ๐ฅ )๐−1 ๐๐ฅ Let ๐ฅ = ๐ ๐๐2 ๐ ⇒ ๐๐ฅ = 2 sin ๐ cos ๐ ๐๐ ๐ 2 โธซ ๐ฝ (๐, ๐) = ∫0 (๐ ๐๐2 ๐ )๐−1 (๐๐๐ 2 ๐ )๐−1 2 sin ๐ cos ๐ ๐ 2 = 2 ∫0 ๐ ๐๐2๐−1 ๐ ๐๐๐ 2๐−1 ๐๐๐ 7. Relation between Beta Gamma functions: ๐ท(๐, ๐) = ๐ช๐๐ช๐ ๐ช(๐ฆ+๐) , ๐, ๐ > ๐ ∞ Proof: Using result 3, ∫0 ๐ −๐๐ฅ ๐ฅ ๐−1 ๐๐ฅ = Replacing ๐ by ๐ฆ , we get Γ๐ ๐ฆ๐ Γ๐ ๐๐ …โ ∞ = ∫0 ๐ −๐ฆ๐ฅ ๐ฅ ๐−1 ๐๐ฅ ∞ ⇒ Γ๐ = ∫0 ๐ −๐ฆ๐ฅ ๐ฆ ๐ ๐ฅ ๐−1 ๐๐ฅ ∞ ⇒ ๐ −๐ฆ ๐ฆ ๐−1 Γ๐ = ∫0 ๐ −๐ฆ(1+๐ฅ) ๐ฆ ๐+๐−1 ๐ฅ ๐−1 ๐๐ฅ Integrating both sides with respect to ๐ฆ within limits 0 to ∞ ∞ ∞ ∞ Γ๐ ∫0 ๐ −๐ฆ ๐ฆ ๐−1 ๐๐ฆ = ∫0 ∫0 ๐ −๐ฆ(1+๐ฅ) ๐ฆ ๐+๐−1 ๐ฅ ๐−1 ๐๐ฅ ๐๐ฆ ∞ ∞ ⇒ Γ๐Γ๐ = ∫0 [∫0 ๐ −(1+๐ฅ)๐ฆ ๐ฆ (๐+๐−1) ๐๐ฆ] ๐ฅ ๐−1 ๐๐ฅ ∞ Γ(๐+๐) ⇒ Γ๐Γ๐ = ∫0 ⇒ ⇒ Γ๐Γ๐ Γ(๐+๐) Γ๐Γ๐ Γ(๐+๐) = (1+๐ฅ)๐+๐ ∞ ๐ฅ ๐−1 ∫0 (1+๐ฅ)๐+n ๐ฅ ๐−1 ๐๐ฅ , comparing with โ ๐๐ฅ = ๐ฝ (๐, ๐), using result 5 ๐+๐ ๐ ๐ 8. ∫๐ ๐๐๐๐ ๐ฝ ๐๐๐๐ ๐ฝ๐ ๐ฝ = ๐+๐ ๐ช( ๐ )๐ช( ๐ ) ๐+๐+๐ ๐๐ช( ๐ ) ๐ 2 Proof: we have ๐ฝ (๐, ๐) = 2 ∫0 ๐ ๐๐2๐−1 ๐ ๐๐๐ 2๐−1 ๐๐๐ ⇒ Γ๐Γ๐ Γ(๐+๐) ๐ 2 = 2 ∫0 ๐ ๐๐2๐−1 ๐ ๐๐๐ 2๐−1 ๐๐๐ โธช๐ฝ(๐, ๐) = Replacing 2๐ − 1 by ๐ and 2๐ − 1 by ๐ i.e ๐ = ๐ 2 ๐ ๐ ๐+1 2 ⇒ ∫0 ๐ ๐๐ ๐ ๐๐๐ ๐๐๐ = and ๐ = ๐+1 2 ๐+1 ๐+1 )Γ( 2 ) 2 ๐+๐+2 2Γ( 2 ) Γ( ๐ 2 …โ ๐ Putting ๐ = 0 in โ , we get ∫0 ๐ ๐๐ ๐๐๐ = ๐ 2 Putting ๐ = 0 in โ , we get ∫0 ๐ ๐๐๐ ๐๐๐ = 9. Duplication formula is given by: ๐+1 1 ๐+1 1 Γ( 2 )Γ(2) ๐+2 2Γ( 2 ) Γ( 2 )Γ(2) ๐+2 2Γ( 2 ) Γ๐Γ๐ Γ(m+๐) ๐ ๐ช๐๐ช (๐ + ) = ๐ √๐ .๐ช(๐๐) , ๐๐๐−๐ ๐>๐ Γ๐Γ๐ Proof: We have ๐ฝ (๐, ๐) = Γ(๐+๐) ๐ 2 = 2 ∫0 ๐ ๐๐2๐−1 ๐ ๐๐๐ 2๐−1 ๐๐๐ ๐ 2 โธซ 2 ∫0 ๐ ๐๐2๐−1 ๐ ๐๐๐ 2๐−1 ๐๐๐ = Γ๐Γ๐ Γ(๐+๐) …โ 1 Putting ๐ = on both sides, we get 2 ๐ 2 2 ∫0 ๐ ๐๐2๐−1 ๐๐๐ = Γ๐√๐ 1 Γ(๐+2) …โก Again Putting ๐ = ๐ in โ , we get (Γ๐)2 Γ(2๐) ๐ 2 = 2 ∫0 ๐ ๐๐2๐−1 ๐ ๐๐๐ 2๐−1 ๐๐๐ ๐ 2 2 sin ๐ cos ๐ 2๐−1 = 2 ∫0 ( = = = 1 2 ) ๐๐ ๐ 2 ∫ ๐ ๐๐2๐−1 2๐๐๐ 22๐−2 0 ๐ 1 ๐ ๐๐2๐−1 ๐ก๐๐ก , Putting ∫ 2๐−1 0 2 2 2๐ = ๐ก ๐ 2 ∫ ๐ ๐๐2๐−1 ๐ก๐๐ก 22๐−1 0 2๐ ๐ โธช∫0 ๐(๐ฅ )๐๐ฅ = 2 ∫0 ๐ (๐ฅ )๐๐ฅ , if ๐ (2๐ − ๐ฅ ) = ๐(๐ฅ) ⇒ (Γ๐)2 Γ(2๐) = ๐ 2 2 ∫ 22๐−1 0 ๐ ๐๐2๐−1 ๐๐๐ ๐ 2 ⇒2 ∫0 ๐ ๐๐2๐−1 ๐๐๐ = 22๐−1 (Γ๐)2 Comparing โก and โข, we get 1 ⇒ Γ๐Γ (๐ + ) = 2 10. Γ๐ Γ(๐ − ๐) = Γ๐√๐ 1 2 Γ(๐+ ) = 22๐−1 (Γ๐)2 Γ(2๐) √๐ Γ(2๐) 22๐−1 ๐ ๐ฌ๐ข๐ง ๐๐ Proof: we have ๐ฝ (๐, ๐) = ⇒ …โข Γ(2๐) Γ๐Γ๐ Γ(๐+๐) = , ๐<๐<๐ Γ๐Γ๐ Γ(๐+๐) = ∞ ๐ฅ ๐−1 ∫0 (1+๐ฅ)๐+n ๐๐ฅ ∞ ๐ฅ ๐−1 ∫0 (1+๐ฅ)๐+n ๐๐ฅ Putting ๐ = 1 − ๐ on both sides, we get Γ๐ Γ(1 − ๐) = ∞ ๐ฅ ๐−1 ∫0 1+๐ฅ ๐๐ฅ ๐ก Putting ๐ฅ = ๐ ๐ก , ๐๐ฅ = ๐ ๐๐ก As ๐ฅ → 0 , ๐ก → −∞ and as ๐ฅ → ∞ , ๐ก → ∞ ∞ โธซ Γ๐ Γ(1 − ๐) = ∫−∞ ๐ ๐๐ก 1+๐ ๐ก ๐๐ก Now by using complex integration, we have: ∞ ๐ ๐๐ก ∫−∞ 1+๐ ๐ก ๐๐ก = ๐ sin ๐๐ , 0<๐<1 , ๐, ๐ > 0 โธซ Γ๐ Γ(1 − ๐) = ๐ sin ๐๐ , 0<๐<1 ๐ 2 ๐ 2 5 2 3 Example 3 Evaluate ๐. ∫0 ๐ ๐๐ ๐ฅ ๐๐๐ ๐ฅ๐๐ฅ 10 ๐๐. ∫0 ๐ ๐๐ 2 ๐ ๐๐ฃ. ∫0 ๐ฅ ๐−1 (2 − ๐ฅ )๐−1 ๐๐ฅ 5 2 3 Solution: ๐. ∫0 ๐ ๐๐ ๐ฅ ๐๐๐ ๐ฅ๐๐ฅ = ๐ 2 11 10 ๐๐. ∫0 ๐ ๐๐ ๐ฅ๐๐ฅ = 1 Γ( 2 )Γ(2) 2Γ6 = 1 Γ( 2 )Γ(2 2 ) 7 = 5 3+ +2 2Γ( 22 ) 1.Γ(4) = 11 7 7 2. 4 .4Γ(4) 97531 1 1 . . . . Γ( )Γ(2) 22222 2 8 77 Γ2Γ( ) 4 15 2Γ( ) 4 โธช Γ2 = 1! = 1, also Γ(๐ + 1) = ๐Γ๐ 945๐ = 240 7680 โธช Γ6 = 5! = 120, also Γ(๐ + 1) = ๐Γ๐ = 63๐ 512 1 โธชΓ ( ) = √๐ 2 ๐ 2 ๐ 2 1 2 ๐๐๐. ∫0 √tan ๐ + √sec ๐ ๐๐ = ∫0 (๐ ๐๐ ๐ ๐๐๐ = 1 1 +1 − +1 2 Γ( 2 )Γ( 22 ) 1 1 − +2 2Γ(2 22 ) 1 ๐−1 ๐ฃ. ∫0 ๐ ๐๐2 ๐ (1 + cos ๐ )4 ๐๐ ๐ฃ๐. ∫0 ๐ฅ ๐−1 (log ) ๐ฅ 7 = ๐๐๐. ∫0 √tan ๐ + √sec ๐ ๐๐ 5 +1 3+1 ๐ 2 ๐ฅ๐๐ฅ ๐ 2 1 −2 + ๐ + ๐๐๐ 1 −2 1 − +1 1 Γ(2)Γ( 22 ) 1 − +2 2Γ( 22 ) ๐)๐๐ ๐๐ฅ 3 1 Γ( )Γ( ) 4 4 = 2Γ1 1 1 + 1 1 Γ( )Γ( ) 2 4 3 2Γ(4) 3 = Γ ( ) {Γ ( ) + 2 4 4 √๐ 3 } Γ(4) 2 ๐๐ฃ. Let ๐ผ = ∫0 ๐ฅ ๐−1 (2 − ๐ฅ )๐−1 ๐๐ฅ Putting ๐ฅ = 2๐ ๐๐2 ๐, ๐ 2 ๐ผ = ∫0 2๐−1 ๐ ๐๐2๐−2 ๐. 2๐−1 ๐๐๐ 2๐−2 ๐. 2 sin ๐ cos ๐ ๐๐ ⇒๐ผ=2 ๐+๐−2 ๐ 2 . 2 ∫0 ๐ ๐๐2๐−1 ๐ ๐๐๐ 2๐−1 ๐๐๐ = 2๐+๐−2 ๐ฝ(๐, ๐) ๐ 2 โธช 2 ∫0 ๐ ๐๐2๐−1 ๐ ๐๐๐ 2๐−1 ๐๐๐ = ๐ฝ (๐, ๐) ๐ ๐ฃ. Let ๐ผ = ∫0 ๐ ๐๐2 ๐(1 + cos ๐ )4 ๐๐ ๐ ๐ 2 ๐ ๐ 4 = ∫0 (2 sin cos ) (2๐๐๐ 2 ) ๐๐ 2 2 2 ๐ ๐ ๐ 2 2 = 64 ∫0 ๐ ๐๐2 ๐๐๐ 10 ๐๐ Putting ๐ 2 = ๐ฅ, ๐๐ = 2๐ฅ๐๐ฅ ๐ 2 = 128 ∫0 ๐ ๐๐2 ๐ฅ ๐๐๐ 10 ๐ฅ ๐๐ฅ 3 = 11 64.Γ(2)Γ( 2 ) Γ7 1 = 1 97531 1 64. 2Γ(2).2.2.2.2.2Γ(2) 720 = 21๐ 16 โธช Γ7 = 6! = 720, also Γ(๐ + 1) = ๐Γ๐ ๐ฃ๐. 1 ๐−1 1 ๐−1 Let ๐ผ = ∫0 ๐ฅ ๐๐ฅ (log ๐ฅ) 1 Putting log = ๐ก or ๐ฅ = ๐ −๐ก ⇒๐๐ฅ ๐ฅ 0 −(๐−1)๐ก ๐−1 −๐ก ๐ผ = − ∫∞ ๐ ๐ก ๐ ๐๐ก ∞ = ∫0 ๐ −๐๐ก ๐ก ๐−1 ๐๐ก = −๐ −๐ก ๐๐ก, Putting ๐๐ก = ๐ฆ ๐ผ= ∞ −๐ฆ ๐ฆ ๐−1 ๐๐ฆ ∫ ๐ (๐) ๐ 0 1 = 1 ∞ Γ๐ ๐ −๐ฆ ๐ฆ ๐−1 ๐๐ฆ = ๐ ∫ ๐ 0 ๐ ๐ Example 4 Prove that ๐. ๐ฝ (๐, ๐) = ๐ฝ (๐ + 1, ๐) + ๐ฝ (๐, ๐ + 1) ๐๐. ๐ฝ(๐+1,๐) ๐ฝ(๐,๐) 1 = ๐ ๐+๐ ๐๐๐. ๐ฝ (๐, ) = 22๐−1 ๐ฝ(๐, ๐) 2 Solution: ๐. R.H.S. = ๐ฝ (๐ + 1, ๐) + ๐ฝ (๐, ๐ + 1) = = = = Γ(๐+1)Γ๐ Γ(๐+๐+1) + Γ๐Γ(๐+1) Γ(๐+๐+1) ๐Γ๐.Γ๐+Γ๐.๐Γ๐ Γ(๐+๐+1) Γ๐.Γ๐(๐+๐) (๐+๐)Γ(๐+๐) Γ๐Γ๐ Γ(๐+๐) = ๐ฝ (๐, ๐) = L.H.S. ๐๐. L.H.S.= = ๐ฝ(๐+1,๐) ๐ฝ(๐,๐) = Γ(๐+1)Γ๐ Γ(๐+๐+1) ๐Γ๐Γ๐ (๐+๐)Γ(๐+๐) 1 . . Γ(๐+๐) Γ๐Γ๐ Γ(๐+๐) Γ๐Γ๐ = ๐ ๐+๐ = R.H.S. 1 ๐๐๐. We have ๐ฝ (๐, ) = 2 ΓmΓ(2) …โ 1 Γ(๐+ ) 2 1 Again, by Duplication formula Γ๐Γ (๐ + ) = 2 1 โธซ Γ (๐ + ) = 2 √๐ Γ(2๐) 22๐−1 Γ๐ √๐ Γ(2๐) 22๐−1 …โก 1 1 Using โก in โ , we get ๐ฝ (๐, ) = 2 ΓmΓ( )22๐−1 Γ๐ 2 √๐ Γ(2๐) = 22๐−1 ΓmΓ๐ Γ(2๐) 1 โธช Γ ( ) = √๐ 2 = 22๐−1 ๐ฝ(๐, ๐) Example 5 Express the following integrals in terms of Beta function 1 1 ๐. ∫0 ๐ฅ ๐ (1 − ๐ฅ 2 )๐ ๐๐ฅ ๐๐. ∫0 1 Solution: ๐. Let ๐ผ = ∫0 ๐ฅ ๐ (1 − Putting ๐ฅ 2 = ๐ฆ ⇒ ๐ผ= ๐๐ฅ √1−๐ฅ 5 1 1 ๐ฅ 2 )๐ ๐๐ฅ = ∫0 ๐ฅ ๐−1 (1 2 ⇒2๐ฅ๐๐ฅ = ๐๐ฆ 1 ๐−1 ∫ ๐ฆ 2 (1 2 0 1 ๐ฅ2 − ๐ฆ)๐ ๐๐ฆ − ๐ฅ 2 )๐ 2๐ฅ๐๐ฅ 1 1 = ∫0 ๐ฆ 2 ๐+1 −1 2 1 ๐+1 2 2 ๐ฅ2 = ๐ฝ( 1 ๐๐. Let ๐ผ = ∫0 1 , ๐ + 1) √1−๐ฅ Putting ๐ฅ 5 = ๐ฆ (1 − ๐ฆ)(๐+1)−1 ๐๐ฆ ⇒5๐ฅ 4 ๐๐ฅ = ๐๐ฆ 2 1 1 1 1 −2 ( 5 )−2 ๐๐ฅ = ๐ฅ 1 − ๐ฅ 5๐ฅ 4 ๐๐ฅ ∫ 5 5 0 1 ⇒ ๐ผ = ∫0 ๐ฆ −5 (1 − ๐ฆ)−2 ๐๐ฆ 5 = 1 3−1 ∫ ๐ฆ 5 (1 5 0 3 1 − ๐ฆ) 1 −1 2 1 3 1 ๐๐ฆ = ๐ฝ ( , ) 5 5 2 3 1 Example 6 Prove that ๐. Γ ( − ๐ฅ) Γ ( + ๐ฅ) = ( − ๐ฅ 2 ) ๐. sec ๐๐ฅ 2 2 4 ๐ ๐๐. ∫๐ (๐ฅ − ๐)๐ (๐ − ๐ฅ )๐ ๐๐ฅ = (๐ − ๐)๐+๐+1 ๐ฝ(๐ + 1, ๐ + 1) 3 3 2 2 Solution ๐. L.H.S.= Γ ( − ๐ฅ) Γ ( + ๐ฅ) 1 1 1 1 2 2 2 2 = ( − ๐ฅ) Γ ( − ๐ฅ) . ( + ๐ฅ) Γ ( + ๐ฅ) โธช Γ(๐ + 1) = ๐Γ๐ 1 1 1 = ( − ๐ฅ 2 ) Γ ( + ๐ฅ) Γ (1 − ( + ๐ฅ)) 4 2 2 1 1 2 2 โธช Γ ( − ๐ฅ) = Γ (1 − ( + ๐ฅ)) 1 = ( − ๐ฅ2) 4 ๐ 1 sin(2+๐ฅ)๐ 1 ,0< +๐ฅ <1 2 โธช Γ๐ Γ(1 − ๐) = 1 ๐ sin ๐๐ ,0<๐<1 ๐ = ( − ๐ฅ2) 4 cos ๐๐ฅ 1 1 1 = ( − ๐ฅ 2 ) ๐. sec ๐๐ฅ , − < ๐ฅ < 4 2 2 ๐ ๐๐. Let ๐ผ = ∫๐ (๐ฅ − ๐)๐ (๐ − ๐ฅ )๐ ๐๐ฅ ๐−๐ = ∫0 ๐ฆ ๐ (๐ − ๐ − ๐ฆ)๐ ๐๐ฆ By putting ๐ฅ − ๐ = ๐ฆ 1 = ∫0 (๐ − ๐)๐ ๐ก ๐ (๐ − ๐ − (๐ − ๐)๐ก)๐ (๐ − ๐)๐๐ก By putting ๐ฆ = (๐ − ๐)๐ก 1 1 ๐ผ = ∫0 ๐ฅ ๐ (1 − ๐ฅ ๐ )๐ ๐๐ฅ = ∫0 (๐ − ๐)๐ ๐ก ๐ (๐ − ๐)๐ (1 − ๐ก)๐ (๐ − ๐)๐๐ก 1 = (๐ − ๐)๐+๐−1 ∫0 ๐ก ๐ (1 − ๐ก)๐ ๐๐ก 1 = (๐ − ๐)๐+๐−1 ∫0 ๐ก (๐+1)−1 (1 − ๐ก)(๐+1)−1 ๐๐ก = (๐ − ๐)๐+๐+1 ๐ฝ(๐ + 1, ๐ + 1) 1 Example 7 Express the integral ∫0 ๐ฅ ๐ (1 − ๐ฅ ๐ )๐ ๐๐ฅ in terms of gamma function and hence evaluate 1 3 ∫0 ๐ฅ 2 (1 1 1 2 2 − ๐ฅ ) ๐๐ฅ 1 Solution: Let ๐ผ = ∫0 ๐ฅ ๐ (1 − ๐ฅ ๐ )๐ ๐๐ฅ Putting ๐ฅ ๐ =t, so that ๐๐ฅ ๐−1 ๐๐ฅ = ๐๐ก, we get 1 1 ๐ ๐ผ = ∫0 ๐ก ๐ (1 − ๐ก)๐ ๐ก − ๐ โธซ๐ผ = 1 ∫0 ๐ฅ ๐ ๐−1 ๐ 1 ๐+1 ๐ ๐ ๐ )๐ ๐๐ฅ = ๐ฝ ( 3 1 1 2 2 2 (1 − ๐ฅ 1 ๐+1−1 1 ๐๐ก = ∫0 ๐ก ๐ ๐ (1 − ๐ก)๐+1−1 ๐๐ก ๐+1 1 Γ( ๐ )Γ(๐+1) ๐ Γ(๐+1+๐+1) ๐ , ๐ + 1) = …โ Putting ๐ = , ๐ = , ๐ = in โ , we get 1 3 ∫0 ๐ฅ 2 (1 1 1 2 2 3 +1 2 1 2 3 2Γ(5)Γ(2) 3 Γ(5+ ) 2 − ๐ฅ ) ๐๐ฅ = 2๐ฝ ( = 1 3 , + 1) = 2๐ฝ (5, ) 2 2 3 = 2.4! Γ(2) 13 Γ( ) 2 3 48Γ(2) = 11 9 7 5 3 3 . . . . .Γ( ) 2 2222 2 ∞ = 512 3465 ∞ Example 8 Evaluate ๐. ∫0 ๐ฅ ๐−1 cos ๐๐ฅ ๐๐ฅ ๐๐. ∫0 ๐ฅ ๐−1 sin ๐๐ฅ ๐๐ฅ ∞ ∞ Solution: let ๐ผ = ∫0 ๐ฅ ๐−1 ๐ −๐๐๐ฅ ๐๐ฅ = ∫0 ๐ฅ ๐−1 (cos ๐๐ฅ − ๐sin ๐๐ฅ) ๐๐ฅ Putting ๐๐๐ฅ = ๐ก , ๐๐ฅ = โธซ๐ผ = = 1 ๐๐ ๐−1 ๐ก ∞ ∫ ๐ −๐ก (๐๐) ๐๐ 0 Γ๐ ๐๐ (−๐ ๐๐ก )๐ = = Γ๐ ๐๐ Γ๐ ๐๐ก = 1 ∞ Γ๐ ∫ ๐ −๐ก ๐ก ๐−1 ๐๐ก = ๐ ๐ ๐๐ ๐ ๐ ๐๐ 0 ๐ ๐ ๐ (cos 2 − ๐ sin 2 ) (cos ๐๐ ๐๐ 2 − ๐ sin ∞ โธซ∫0 ๐ฅ ๐−1 (cos ๐๐ฅ − ๐sin ๐๐ฅ) ๐๐ฅ = Comparing real and imaginary parts we get, ๐๐ 2 Γ๐ ๐๐ ) (cos ๐๐ 2 − ๐ sin ๐๐ 2 ) ∞ ๐. ∫0 ๐ฅ ๐−1 cos ๐๐ฅ ๐๐ฅ = ∞ ๐๐. ∫0 ๐ฅ ๐−1 sin ๐๐ฅ ๐๐ฅ = Γ๐ ๐๐ ๐ Γ๐ 2 ๐๐ ๐ cos ๐๐ sin 2 Exercise ๐ 2 ๐ 1. Show that ∫0 ๐ก๐๐๐ ๐ฅ ๐๐ฅ = ๐๐ sec ( ) , 0 < ๐ < 1 2 2 8 5 2. Given that Γ ( ) = 0.8935 , find the values of Γ (− ) and Γ (− 5 2 3 1 3. Find ๐. ๐ฝ ( , ) 2 2 1 4 5 ๐๐. ๐ฝ ( , ) 3 3 4. Evaluate ∫0 ๐ฅ 2 (1 − ๐ฅ 2 )4 ๐๐ฅ ∞ 2 5. Prove that Γ๐ = 2 ∫0 ๐ −๐ฅ ๐ฅ 2๐−1 ๐๐ฅ 6. Prove that for ๐, ๐ > 0 ∞ Γ๐ ๐. ∫0 ๐ฅ ๐−1 ๐ −๐๐ฅ cos ๐๐ฅ ๐๐ฅ = 2 2 ∞ ๐๐. ∫0 ๐ฅ ๐−1 ๐ −๐๐ฅ sin ๐๐ฅ ๐๐ฅ = 7. Show that ๐ฝ(๐+1,๐) ๐ 2 8. Show that ∫0 9. Show that ๐ 1 = ๐ ๐ ) ⁄2 (๐ +๐ Γ๐ ๐ (๐2 +๐2 ) ⁄2 ๐ฝ(๐,๐) ๐+๐+1 ๐๐ฅ. ๐ 2 √sin ๐ฅ ๐๐ฅ = ๐ ∫0 √sin ๐ฅ 1 ๐ฅ ๐−1 +๐ฅ ๐−1 ∫0 (1+๐ฅ)๐+๐ ๐๐ฅ = ๐ฝ (๐, ๐) cos (๐ tan−1 ) ๐ ๐ sin (๐ tan−1 ) ๐ 12 5 ) 1 10. Prove that ๐ฝ (๐, ) = 22๐−1 . ๐ฝ (๐, ๐) 2 Answers 2. − 3. ๐. 4. 8 15 ๐ 2 128 3465 √๐ , −1.108 ๐๐. 2๐ 9√3