You are on page 1of 31

SPCE-Engineering Mathematics I Successive Differentiation 1.

5 Leibnitz’s Theorem

Chapter-1 Successive Differentiation


Topic-1.5

Leibnitz’s Theorem:
If u and v are functions of x such that their nth derivatives exist, then the nth derivative of their
product is given by

(uv) n = nC0uvn + nC1u1vn −1 + nC2u2vn − 2 + + nCr ur vn − r + + nCnun v

n(n − 1) n(n − 1)(n − 2)


= uvn + n  u1vn −1 + u2vn − 2 + u3vn −3 + un v
2! 3!

where ur and vr represent rth derivatives of u and v respectively

Use Leibnitz’s Theorem to find nth derivative of product of two functions

© 2021-SEAM by Prof. Satishkumar Barot Page 1


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

Examples 1.5:
3 2x
1. Find nth derivative of x e

 n   n 
2. If y = x sin x, prove that yn = ( x − n + n) sin  x +  − 2nx cos  x +
2 2 2

 2   2 

3. If y = ( sin −1 x ) , prove that (1 − x 2 ) yn+ 2 − ( 2n + 1) xyn+1 − n2 yn = 0


2

sin −1 x
4. If y = prove that (1 − x 2 ) yn +1 − ( 2n + 1) xyn − n 2 yn −1 = 0
1− x 2

5. If y = sin log ( x 2 + 2 x + 1) ,

prove that ( x + 1) yn + 2 + ( 2n + 1)( x + 1) yn +1 + ( n 2 + 4 ) yn = 0


2

6. If y = cos log( x 2 − 2 x + 1)  , prove that


( x − 1)2 yn+2 + (2n + 1)( x − 1) yn+1 + (n2 + 4) yn = 0

7. If y = a cos ( log x ) + b sin ( log x ) when a and b are constant.


prove that x 2 yn + 2 + ( 2n + 1) xyn +1 + ( n 2 + 1) yn = 0

8. If y = ( x 2 − 1) , prove that ( x 2 − 1) yn + 2 + 2 xyn +1 − n ( n + 1) yn = 0


n

( ), prove that (1 + x 2 ) yn + 2 + ( 2n + 1) xyn +1 + ( n 2 − p 2 ) yn = 0


p
9. If y = x + 1 + x 2

10. If y = log  x + 1 + x 2  , prove that (1 + x 2 ) yn + 2 + ( 2n + 1) xyn +1 + n 2 yn = 0


 

11. If y = e m cos x , Prove that (1 − x 2 ) yn + 2 − ( 2n + 1) xyn +1 − ( n 2 + m 2 ) yn = 0


−1

12. If y = e tan x , Prove that (1 + x 2 ) yn + 2 + ( 2n + 1) x − 1 yn +1 + n ( n + 1) yn = 0


−1

n
 y  x
13. If cos −1   = log   , prove that x 2 yn + 2 + ( 2n + 1) xyn +1 + 2n 2 yn = 0
b n

© 2021-SEAM by Prof. Satishkumar Barot Page 2


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

n
 y  x
14. If sin −1   = log   , Prove that x 2 yn+ 2 + (2n + 1) xyn+1 + 2n2 yn = 0
b n

15. If y = sin ( m sin −1 x ) , prove that (1 − x 2 ) yn + 2 − ( 2n + 1) xyn +1 + ( m 2 − n 2 ) yn = 0

16. If y = cos(m sin −1 x) , Prove that (1 − x2 ) yn+2 − (2n + 1) xyn+1 + (m2 − n2 ) yn = 0

17. If x = sin  , y = sin 2 , prove that (1 − x 2 ) yn + 2 − ( 2n + 1) xyn +1 − ( n 2 − 4 ) yn = 0

18. If y =x n log x, prove that x 2 y2 − ( 2n −1) xy1 + n 2 y = 0


and hence show that x 2 y p + 2 + ( 2 p − 2n + 1) xy p +1 + ( p − n ) y p = 0
2

a + x
19. If y = tan −1   , prove that ( a 2 + x 2 ) yn + 2 + 2 ( n + 1) xyn +1 + n ( n + 1) yn = 0
a − x

 1+ x 
r

20. If y =   , prove that (1 − x ) yn +1 − 2 ( r + nx ) yn − n ( n − 1) yn −1 = 0


2

 1− x 

1+ x
21. y = , If prove that y = (1 − x 2 ) y1 and hence prove that
1− x
(1 − x 2 ) yn −  2(n − 1) x + 1 yn−1 − (n − 1)(n − 2) yn−2 = 0

1 
22. If x = cosh  log y  , prove that ( x 2 − 1) yn + 2 + ( 2n + 1) xyn +1 + ( n 2 − m 2 ) yn = 0
m 

1 −1
23. y m
+y m
= 2 x, If prove that ( x2 − 1) yn+2 + (2n + 1) xyn+1 + (n2 − m2 ) yn = 0

© 2021-SEAM by Prof. Satishkumar Barot Page 3


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

Example 1.5.1: Find nth derivative of x3e2 x

Solution: Let y = x 3e 2 x

d n y d n 3 2x
 =
dx n dx n
(x e )
d n 2x n d n −1 2 x n d n−2 2 x n d n −3 2 x
 yn = nC0 x 3
dx n
( ) 1 ( ) dx n−1 ( ) 2 dx n−2 ( ) 3 dx n−3 ( e )
e + C 3 x 2
e + C ( 6 x ) e + C ( 6 )

 Using Leibnitz's theorem, (uv) n = nC0uvn + nC1u1vn −1 + nC2u2vn − 2 + n


Cnun v 
 
 where u = x and v = e 
3 2x

n ( n − 1) n ( n − 1)( n − 2 )
 yn = x 3   2n e 2 x  + n ( 3 x 2 )   2n −1 e 2 x  + ( 6 x )   2n−2 e2 x  + ( 6 )   2n −3 e2 x 
2! 3!

 2n 2 x   2n 2 x   2n 2 x 
= x   2 e  + n ( 3 x )   e  + n ( n − 1)( 3 x )   e  + n ( n − 1)( n − 2 )   e 
3
 n 2x
 2

2  4  8 

 3 3 1 
 yn = 2n e 2 x  x3 + nx 2 + n ( n − 1) x + n ( n − 1)( n − 2 ) 
 2 4 8 

© 2021-SEAM by Prof. Satishkumar Barot Page 4


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

Example 1.5.2: If y = x 2 sin x, prove that


 n   n 
yn = ( x 2 − n2 + n)sin  x +  − 2nx cos  x + 2 
 2   

Solution: y = x 2 sin x

dny dn 2
=
dx n dx n
( x sin x )
dn d n −1 d n−2
 yn = nC0 x 2 ( sin x ) + n
C ( 2 x ) ( sin x ) + n
C ( 2 ) ( sin x )
dx n 1
dx n −1 2
dx n − 2
 Using Leibnitz's theorem, (uv)n = nC0uvn + nC1u1vn−1 + nC2u2vn−2 + n
Cnunv 
 
 where u = x and v = sin x 
2

  n   n −1  ( n − 1)    + n ( n − 1) 2  1n−2 sin  x + ( n − 2 )   
 yn = x 2  1n sin  x +   + n ( 2 x )  1 sin  x +  ( )  
  2    2   2!   2  

  n     n      n 
= x 2  sin  x +   + 2nx  sin  x + −   + n ( n − 1)  sin  x + −  
  2    2 2    2 

  n     n     n  
= x 2  sin  x +   + 2nx   − cos  x +   + n ( n − 1)   − sin  x + 
  2    2    2  

       
 Using sin   − 2  = sin   cos  2  − cos   sin  2  = − cos  and 
     
 
sin ( −  ) = sin   cos ( ) − cos   sin ( ) = − sin  , where  = x + n 
 2 
Rearranging coefficents of like terms

  n    n 
yn =  x 2 − n ( n − 1)   sin  x +   − 2nx   cos  x + 
  2    2 

 n   n 
 yn = ( x 2 − n 2 + n)sin  x +  − 2nx cos  x + 2 
 2   

© 2021-SEAM by Prof. Satishkumar Barot Page 5


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

Example 1.5.3: If y = ( sin −1 x ) , prove that (1 − x 2 ) yn+ 2 − ( 2n + 1) xyn+1 − n2 yn = 0


2

Solution: Observe that the highest ordered derivative in the required answer is yn + 2 , so we
differentiate y twice before applying Leibnitz’s theorem.

Differentiating y w.r.t. x
1
 y1 = 2sin −1 x 
1 − x2

Multiplying both the sides by 1 − x 2

1 − x 2  y1 = 2sin −1 x − − − − − − − − − − − − − − − − (1)

Differentiating (1) w.r.t. x

d  d  d
1 − x 2   y1  + y1   1 − x 2  = 2 sin −1 x
 dx   dx  dx

 1  1
1 − x 2  y2 + y1   ( −2 x )  = 2
 2 1− x  1 − x2
2

xy1 1
1 − x 2  y2 − =2
1 − x2 1 − x2

Multiplying both the sides by 1 − x 2

(1 − x ) y
2
2 − xy1 = 2 − − − − − − − − − − − − − − − − − ( 2 )

Differentiating ( 2 ) 'n' times w.r.t. x


dn dn
 
dx n 
( ) 2  dx n ( xy1 ) = 0
1 − x 2
y  −

Using Leibnitz's theorem to find n th derivative

 n ( n − 1) 
 (1 − x 2 ) yn + 2 + n ( −2 x ) yn +1 + ( −2 ) yn  −  xyn+1 + n (1) yn  = 0
 2! 
Rearranging coefficients of like terms

 (1 − x 2 ) yn + 2 +  −2nx − x  yn +1 +  − n ( n − 1) − n  yn = 0

 (1 − x 2 ) yn + 2 +  −2nx − x  yn +1 +  − n 2 + n − n  yn = 0

 (1 − x 2 ) yn + 2 − ( 2n + 1) xyn +1 − n 2 yn = 0

© 2021-SEAM by Prof. Satishkumar Barot Page 6


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

Working rule to solve examples of the above type (recurrence relation)


Observe the highest ordered derivative in the required answer.

Case I: Highest ordered derivative is yn +1

(1) Write y explicitly in terms of x .


(2) Differentiate y w.r.t x and find y1 .
(3) Remove fractions (if any) by multiplying throughout by the terms in the
denominator.
(4) Simplify and get linear equation in terms x, y and y1 only.
(5) Differentiate ' n ' times w.r.t x using Leibnitz’s theorem.

Case II: Highest ordered derivative is yn + 2

(1) Write y explicitly in terms of x .


(2) Differentiate y w.r.t x and find y1 .
(3) Remove fractions (if any) by multiplying throughout by the terms in the
denominator.
(4) Differentiate again w.r.t x .
(5) Remove fractions (if any) by multiplying throughout by the terms in the
denominator.
(6) Simplify and get linear equation in terms x, y, y1 and y2 only.
(7) Differentiate ' n ' times w.r.t x using Leibnitz’s theorem.

dn dn dx d n −1 dn  dy  d n −1  dy 
( xy ) = x   y  + n
C    y  = x   dx  + n  (1) 
dx dx n −1 dx n −1  dx 
1 1 1 1
dx n dx n dx n
d n +1 y dny
= x + n 
dx n +1 dx n
dn
 ( xy1 ) = xyn+1 + nyn
dx n

dn dn d n −1 d2 d n−2

dx n 
( ) 2  ( ) dx n 2 1 dx ( ) dx n−1 2
1 − x 2
y  = 1 − x 2
  y  + n
C 
d
1 − x 2
  y  + n
C 2 
dx 2
( ) dx n−2  y2 
1 − x 2

dn d2y  d n −1  d 2 y  n(n − 1) d n−2  d 2 y 


= (1 − x 2 )  n  2  + n  ( −2 x )  n −1  2  +  ( −2 )  n − 2  2 
dx  dx  dx  dx  2 dx  dx 
d n+2 y d n +1 y dny
= (1 − x 2 )  + n  ( −2 x )  − n ( n − 1)
dx n + 2 dx n +1 dx n
dn
 n (1 − x 2 ) y2  = (1 − x 2 )  yn + 2 − 2nx  yn +1 − n(n − 1) yn
dx

© 2021-SEAM by Prof. Satishkumar Barot Page 7


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

sin −1 x
Example 1.5.4: If y = prove that (1 − x 2 ) yn +1 − ( 2n + 1) xyn − n 2 yn −1 = 0
1− x 2

Solution: Observe that the highest ordered derivative in the required answer is yn +1 , so we
differentiate y only once before applying Leibnitz’s theorem.

Differentiating y w.r.t. x

d d
1 − x2 sin −1 x − sin −1 x 1 − x2
 y1 = dx dx
( )
2
1 − x2

1  1 
1 − x2  − sin −1 x   ( −2 x ) 
1 − x2  2 1− x
2

y1 =
(1 − x )2

sin −1 x
1+ x 
 y1 = 1 − x2
(1 − x 2 )
1 + xy  sin −1 x 
 y1 =  y = 
(1 − x 2 )  1 − x2 

Multiplying by (1 − x 2 )

 (1 − x 2 ) y1 − xy = 1

Differentiating 'n' times w.r.t. x using Leibnitz's theorem

dn dn

dx n 
( ) 1  dx n  xy  = 0
1 − x 2
y  −

 n ( n − 1) 
(1 − x ) yn +1 + n ( −2 x ) yn + ( −2 ) yn−1  −  xyn + n (1) yn−1  = 0
2

 2 
Rearranging coefficients of like terms

 (1 − x 2 ) yn +1 +  −2nx − x  yn +  −n 2 + n − n  yn −1 = 0

 (1 − x 2 ) yn +1 − ( 2n + 1) xyn − n 2 yn −1 = 0

© 2021-SEAM by Prof. Satishkumar Barot Page 8


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

Example 1.5.5: If y = sin log ( x 2 + 2 x + 1) ,


 
prove that ( x + 1) yn + 2 + ( 2n + 1)( x + 1) yn +1 + ( n 2 + 4 ) yn = 0
2

Solution: The highest ordered derivative in the required answer is yn + 2 , so we differentiate


y twice before applying Leibnitz’s theorem.
y = sin log ( x 2 + 2 x + 1) = sin log ( x + 1)  = sin 2log ( x + 1) 
2
 

Differentiating y w.r.t. x

d
y1 = cos  2 log ( x + 1)    2 log ( x + 1) 
dx 
2
y1 = cos  2 log ( x + 1)  
x +1
Multiplying both the sides by ( x + 1)

 ( x + 1) y1 = 2 cos  2 log ( x + 1) 

Again Differentiating w.r.t. x

d d d
( x + 1) y1 + y1 ( x + 1) = −2sin  2 log ( x + 1)    2 log ( x + 1) 
dx dx dx
2
 ( x + 1) y2 + y1 = −2sin  2 log ( x + 1) 
x +1
Multiplying both the sides by ( x + 1)

 ( x + 1) y2 + ( x + 1) y1 = −4 y
2
 y = sin  2 log ( x + 1) 
 ( x + 1) y2 + ( x + 1) y1 + 4 y = 0
2

Differentiating 'n' times w.r.t. x using Leibnitz's theorem

dn  dn dn
( ) 2
+  +  ( ) 1
+  +  y = 0
2
x 1 y x 1 y 4
dx n  dx n  dx n
 n ( n − 1) 
( x + 1) yn + 2 + n  2 ( x + 1)  yn +1 +  2 yn  + ( x + 1) yn+1 + n (1) yn  + 4 yn = 0
2

 2 
Rearranging coefficients of like terms

 ( x + 1) yn + 2 +  2n ( x + 1) + ( x + 1)  yn +1 +  n 2 − n + n + 4  yn = 0
2

 ( x + 1) yn + 2 + ( 2n + 1)( x + 1)  yn +1 + ( n 2 + 4 ) yn = 0
2

© 2021-SEAM by Prof. Satishkumar Barot Page 9


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

Example 1.5.6: If y = cos log ( x 2 − 2 x + 1) ,


 
prove that ( x − 1) yn + 2 + ( 2n + 1)( x − 1) yn +1 + ( n 2 + 4 ) yn = 0
2

Solution: The highest ordered derivative in the required answer is yn + 2 , so we differentiate


y twice before applying Leibnitz’s theorem.
y = cos log ( x 2 − 2 x + 1) = cos log ( x − 1)  = cos 2log ( x − 1)
2
 

Differentiating y w.r.t. x

d
y1 = − sin  2 log ( x − 1)    2 log ( x − 1) 
dx 
2
y1 = − sin  2 log ( x − 1)  
x −1
Multiplying both the sides by ( x − 1)

 ( x − 1) y1 = −2sin  2 log ( x − 1) 

Again Differentiating w.r.t. x

d d d
( x − 1) y1 + y1 ( x − 1) = −2 cos  2 log ( x − 1)    2 log ( x − 1) 
dx dx dx
2
 ( x − 1) y2 + y1 = −2 cos  2 log ( x − 1) 
x −1
Multiplying both the sides by ( x − 1)

 ( x − 1) y2 + ( x − 1) y1 = −4 y
2
 y = cos  2 log ( x − 1) 
 ( x − 1) y2 + ( x − 1) y1 + 4 y = 0
2

Differentiating 'n' times w.r.t. x using Leibnitz's theorem

dn  dn dn
( ) 2
−  +  ( ) 1
−  +  y = 0
2
x 1 y x 1 y 4
dx n  dx n  dx n
 n ( n − 1) 
( x − 1) yn + 2 + n  2 ( x − 1)  yn +1 +  2 yn  + ( x − 1) yn+1 + n (1) yn  + 4 yn = 0
2

 2 
Rearranging coefficients of like terms

 ( x − 1) yn + 2 +  2n ( x − 1) + ( x − 1)  yn +1 +  n 2 − n + n + 4  yn = 0
2

 ( x − 1) yn + 2 + ( 2n + 1)( x − 1)  yn +1 + ( n 2 + 4 ) yn = 0
2

© 2021-SEAM by Prof. Satishkumar Barot Page 10


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

Example 1.5.7: If y = a cos ( log x ) + b sin ( log x ) when a and b are constant.
prove that x 2 yn + 2 + ( 2n + 1) xyn +1 + ( n 2 + 1) yn = 0

Solution: The highest ordered derivative in the required answer is yn + 2 , so we differentiate


y twice before applying Leibnitz’s theorem.

Differentiating y w.r.t x
d d
y1 = − a sin ( log x )  ( log x ) + b cos ( log x )  ( log x )
dx dx
1 1
y1 = − a sin ( log x )  + b cos ( log x ) 
x x
Multiplying both the sides by x

xy1 = − a sin ( log x ) + b cos ( log x )

Differentiating w.r.t. x

d d d d
x ( y1 ) + y1  ( x ) = −a cos ( log x )  ( log x ) − b sin ( log x )  ( log x )
dx dx dx dx
1 1
 xy2 + y1 = − a cos ( log x )  − b sin ( log x ) 
x x
Multiplying both the sides by x

 x 2 y2 + xy1 = −  a cos ( log x ) + b sin ( log x )  = − y

 x 2 y2 + xy1 + y = 0

Differentiating 'n' times w.r.t. x using Leibnitz's theorem

dn 2 dn dn
 x y  +  1  n  y = 0
xy +
dx n 
2
dx n dx
 2 n ( n − 1) 
 x yn + 2 + n ( 2 x ) yn +1 + ( 2 ) yn  +  xyn+1 + n (1) yn  + yn = 0
 2 

 x 2 yn + 2 + ( 2nx + x ) yn +1 + ( n 2 − n + n + 1) yn = 0

 x 2 yn + 2 + ( 2n + 1) xyn +1 + ( n 2 + 1) yn = 0

© 2021-SEAM by Prof. Satishkumar Barot Page 11


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

Example 1.5.8: If y = ( x 2 − 1) , prove that ( x 2 − 1) yn + 2 + 2 xyn +1 − n ( n + 1) yn = 0


n

Solution: The highest ordered derivative in the required answer is yn + 2 , so we differentiate


y twice before applying Leibnitz’s theorem.

Differentiating y w.r.t x

 y1 = n ( x 2 − 1)
n −1
2x

(x − 1)
2 n

= 2nx
x2 −1
 y1 =
2nxy
x2 −1
 y = ( x 2 − 1)
n

Multiplying both the sides by ( x 2 − 1)

(x 2
− 1) y1 = 2nxy

Differentiating w.r.t. x

(x − 1)  ( y1 ) + y1  ( x 2 − 1) = 2n  x  + y  
2 d d dy dx
dx dx  dx dx 

 ( x 2 − 1) y2 + 2 xy1 = 2n  xy1 + y 

 ( x 2 − 1) y2 + ( 2 x − 2nx ) y1 − 2ny = 0

Differentiating 'n' times w.r.t. x using Leibnitz's theorem

dn dn dn

dx n 
( ) 2  dx n (
x 2
− 1 y  +  2 x − 2 nx ) 1
y  − 2 n
dx n
 y = 0
 2 n ( n − 1) 
( x − 1) yn + 2 + n ( 2 x ) yn +1 + ( 2 ) yn  + ( 2 x − 2nx ) yn+1 + n ( 2 − 2n ) yn  − 2nyn = 0
 2 

 ( x 2 − 1) yn + 2 + ( 2nx + 2 x − 2nx ) yn +1 + ( n 2 − n + 2n − 2n 2 − 2n ) yn = 0

 ( x 2 − 1) yn + 2 + 2 xyn +1 + ( −n 2 − n ) yn = 0

 ( x 2 − 1) yn + 2 + 2 xyn +1 − n ( n + 1) yn = 0

© 2021-SEAM by Prof. Satishkumar Barot Page 12


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

( )
p
Example 1.5.9: If y = x + 1 + x 2 ,

prove that (1 + x 2 ) yn + 2 + ( 2n + 1) xyn +1 + ( n 2 − p 2 ) yn = 0

Solution: The highest ordered derivative in the required answer is yn + 2 , so we differentiate


y twice before applying Leibnitz’s theorem.

Differentiating y w.r.t x

( ) ( )
p −1
d
y1 = p x + 1 + x 2 x + 1 + x2
dx

( )  
p −1
1
 y1 = p x + 1 + x 2 1 + 2x
 2 1+ x 
2

 1 + x2 + x 
( )
p −1
 y1 = p x + 1 + x 2
 
 1 + x 2 

( )
p −1+1
x + 1 + x2
=p
1 + x2

( )
p
x+ 1 + x2
=p
1 + x2

 y1 =
1+ x
py
2  (
y = x + 1 + x2 )
Multiplying both the sides by 1 + x 2

1 + x 2  y1 = py − − − − − − − − − − − − − − − − − − − (1)

Differentiating w.r.t. x

1 + x2 
d
dx
( y1 ) + y1 
d
dx
( )
1 + x 2 = py1

1
 1 + x 2 . y2 + y1 2 x = py1
2 1 + x2

Multiplying both the sides by 1 + x 2

 (1 + x 2 ) y2 + xy1 = py1 1 + x 2 = p ( py )  
1 + x 2 y1 = py from (1)

 (1 + x 2 ) y2 + xy1 − p 2 y = 0 − − − − − − − − − − − − − ( 2 )

© 2021-SEAM by Prof. Satishkumar Barot Page 13


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

Differentiating ( 2) 'n' times w.r.t. x using Leibnitz's theorem

dn dn n

dx n 
(1 + x 2
) y 
2 +
dx n
 xy1  − p 2 d

dx n
 y = 0
 n ( n − 1) 
(1 + x ) yn + 2 + n ( 2 x ) yn +1 + ( 2 ) yn  +  xyn+1 + n (1) yn  − p 2 yn = 0
2

 2! 

 (1 + x 2 ) yn + 2 + ( 2nx + x ) yn +1 + ( n 2 − n + n − p 2 ) yn = 0

 (1 + x 2 ) yn + 2 + ( 2n + 1) xyn +1 + ( n 2 − p 2 ) yn = 0

© 2021-SEAM by Prof. Satishkumar Barot Page 14


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

Example 1.5.10: If y = log  x + 1 + x 2  ,


 

prove that (1 + x ) y
2
n+2 + ( 2n + 1) xyn +1 + n 2 yn = 0

Solution: The highest ordered derivative in the required answer is yn + 2 , so we differentiate


y twice before applying Leibnitz’s theorem. Differentiating y w.r.t x

y1 =
1 d
x + 1 + x dx
x + 1 + x2
2 ( )
1  1 
 y1 = 1+ 2x
x + 1 + x2  2 1 + x2 

 1 + x2 + x 
1 1
 y1 =  =
x + 1 + x  1 + x 
2 2
1 + x2

Multiplying both the sides by 1 + x 2

1 + x 2  y1 = 1

Differentiating w.r.t. x

1 + x2 
d
dx
( y1 ) + y1 
d
dx
( )
1 + x2 = 0

1
 1 + x 2  y2 + y1  2x = 0
2 1 + x2

Multiplying both the sides by 1 + x 2

 (1 + x 2 ) y2 + xy1 = 0

Differentiating 'n' times w.r.t. x using Leibnitz's theorem

dn dn

dx n 
(1 + x 2
) 2  dx n  xy1  = 0
y  +

 n ( n − 1) 
(1 + x ) yn + 2 + n ( 2 x ) yn +1 + ( 2 ) yn  +  xyn +1 + n (1) yn  = 0
2

 2 

 (1 + x 2 ) yn + 2 + ( 2nx + x ) yn +1 + ( n 2 − n + n ) yn = 0

 (1 + x 2 ) yn + 2 + ( 2n + 1) xyn +1 + n 2 yn = 0

© 2021-SEAM by Prof. Satishkumar Barot Page 15


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

Example 1.5.11: If y = e m cos x , Prove that (1 − x 2 ) yn + 2 − ( 2n + 1) xyn +1 − ( n 2 + m 2 ) yn = 0


−1

Solution: The highest ordered derivative in the required answer is yn + 2 , so we differentiate


y twice before applying Leibnitz’s theorem. Differentiating y w.r.t x

Differentiating y w.r.t x
 1 
d
( m cos −1 x ) = e m cos x   −m
−1 −1
y1 = e m cos x

dx  1 − x2 

Multiplying both the sides by 1 − x 2


−1
1 − x 2  y1 = −me m cos x
= −my

1 − x 2  y1 + my = 0 − − − − − − − − − (1)

Differentiating w.r.t. x

d  d 
1 − x 2   y1  + y1   1 − x 2  + my1 = 0
 dx   dx 

 1 
1 − x 2  y2 + y1  ( −2 x )  + my1 = 0
 2 1− x 
2

xy1
1 − x 2  y2 − + my1 = 0
1 − x2

Multiplying both the sides by 1 − x 2

(1 − x ) y
2
2 − xy1 + my1 1 − x 2 = 0

(1 − x ) y
2
2 − xy1 − m 2 y = 0  
1 − x 2  y1 = −my from (1)

Differentiating 'n' times w.r.t. x


dn dn n
 
dx n 
( ) 2  dx n ( ) dx n ( y ) = 0
1 − x 2
y  − xy − m 2 d

 n ( n − 1) 
 (1 − x 2 ) yn + 2 + n ( −2 x ) yn +1 + ( −2 ) yn  −  xyn+1 + n (1) yn  − m 2 yn = 0
 2 

 (1 − x 2 ) yn + 2 +  −2nx − x  yn +1 +  −n 2 + n − n − m 2  yn = 0

 (1 − x 2 ) yn + 2 − ( 2n + 1) xyn +1 − ( n 2 + m 2 ) yn = 0

© 2021-SEAM by Prof. Satishkumar Barot Page 16


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

Example 1.5.12: If y = e tan x , Prove that (1 + x 2 ) yn + 2 + ( 2n + 1) x − 1 yn +1 + n ( n + 1) yn = 0


−1

(MU-May17, May18-6 Marks)

Solution: The highest ordered derivative in the required answer is yn + 2 , so we differentiate


y twice before applying Leibnitz’s theorem.

Differentiating y w.r.t x

 1 
d
( tan −1 x ) = e m tan x
−1 −1
y1 = e tan x

1 + x 
2
dx

Multiplying both the sides by1 + x 2

(1 + x ) y
−1
2
1 = e tan x
=y

(1 + x ) y − y = 0
2
1

Differentiating w.r.t. x

(1 + x )  dxd y  + y  dxd (1 + x ) − y


2
1 1
2
1 =0

(1 + x ) y
2
2 + y1 ( 2 x ) − y1 = 0

 (1 + x 2 ) y2 + (2 x − 1) y1 = 0

Differentiating 'n' times w.r.t. x

dn dn
 
dx n 
( ) 2  dx n (2 x − 1) y1  = 0
1 + x 2
y  +

 n ( n − 1) 
 (1 + x 2 ) yn + 2 + n ( 2 x ) yn +1 + ( 2 ) yn  + (2 x − 1) yn+1 + n(2) yn  = 0
 2 

 (1 + x 2 ) yn + 2 +  2nx + 2 x − 1 yn +1 +  n 2 − n + 2n  yn = 0

 (1 + x 2 ) yn + 2 + ( 2(n + 1) x − 1) yn +1 + n ( n + 1) yn = 0

© 2021-SEAM by Prof. Satishkumar Barot Page 17


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

n
 y  x
Example 1.5.13: If cos −1   = log   , prove that x 2 yn + 2 + ( 2n + 1) xyn +1 + 2n 2 yn = 0
b n
n
 y  x
Solution Given that cos −1   = log  
b n

  x n 
 y = b cos log    = b cos  n log x − n log n 
  n  

The highest ordered derivative in the required answer is yn + 2 , so we differentiate y twice


before applying Leibnitz’s theorem.

Differentiating w.r.t. x

d
y1 = −b sin  n log x − n log n    n log x − n log n 
dx
n
 y1 = −b sin  n log x − n log n    
x
Multiplying both the sides by x

xy1 = −nb sin  n log x − n log n 

Differentiating w.r.t. x

d   dx  n
x  y1  + y1   = −nb cos  n log x − n log n  
x   dx  x

n2
xy2 + y1 = −
x
y  y = b cos  n log x − n log n 

Multiplying both the sides by x

x 2 y2 + xy1 = −n 2 y

 x 2 y2 + xy1 + n 2 y = 0

Differentiating 'n' times w.r.t. x


dn 2 dn 2 d
n
  x y  + ( xy ) + n ( y) = 0
dx n 
2
dx n dx n
 n ( n − 1) 
  x 2 yn + 2 + n ( 2 x ) yn +1 + ( 2 ) yn  +  xyn+1 + n (1) yn  + n2 yn = 0
 2 

 x 2 yn + 2 +  2nx + x  yn +1 +  n 2 − n + n + n 2  yn = 0

 x 2 yn + 2 + ( 2n + 1) xyn +1 + 2n 2 yn = 0

© 2021-SEAM by Prof. Satishkumar Barot Page 18


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

n
 y  x
Example 1.5.14: If sin −1   = log   , prove that x 2 yn + 2 + ( 2n + 1) xyn +1 + 2n 2 yn = 0
b n
n
 y  x
Solution: sin −1   = log  
b n

  x n 
 y = b sin log    = b sin  n log x − n log n 
  n  

The highest ordered derivative in the required answer is yn + 2 , so we differentiate y twice


before applying Leibnitz’s theorem.

Differentiating w.r.t. x

d
y1 = b cos  n log x − n log n    n log x − n log n 
dx
n
 y1 = b cos  n log x − n log n   
x
Multiplying both the sides by x

xy1 = nb cos  n log x − n log n 

Differentiating w.r.t. x

d   dx  n
x  y1  + y1   = −nb sin  n log x − n log n  
 dx   dx  x

n2
xy2 + y1 = −
x
y  y = b sin  n log x − n log n 

Multiplying both the sides by x

x 2 y2 + xy1 = −n 2 y

 x 2 y2 + xy1 + n 2 y = 0

Differentiating 'n' times w.r.t. x


dn 2 dn 2 d
n
  x y  + ( xy ) + n ( y) = 0
dx n 
2
dx n dx n
 n ( n − 1) 
  x 2 yn + 2 + n ( 2 x ) yn +1 + ( 2 ) yn  +  xyn+1 + n (1) yn  + n 2 yn = 0
 2 

 x 2 yn + 2 +  2nx + x  yn +1 +  n 2 − n + n + n 2  yn = 0

 x 2 yn + 2 + ( 2n + 1) xyn +1 + 2n 2 yn = 0

© 2021-SEAM by Prof. Satishkumar Barot Page 19


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

Example 1.5.15: If y = sin ( m sin −1 x ) , where m is a constant.


prove that (1 − x 2 ) yn + 2 − ( 2n + 1) xyn +1 + ( m 2 − n 2 ) yn = 0

Solution: The highest ordered derivative in the required answer is yn + 2 , so we differentiate


y twice before applying Leibnitz’s theorem.

Differentiating y w.r.t x

y1 = cos ( m sin −1 x )  ( m sin −1 x ) = cos ( m sin −1 x ) 


d m
dx 1 − x2

Multiplying both the sides by 1 − x 2

1 − x 2 y1 = m cos ( m sin −1 x )

Differentiating w.r.t. x

d  d 
1 − x 2  = −m sin ( m sin −1 x ) ( m sin −1 x )
d
1 − x 2  y1  + y1 
 dx   dx  dx

 
−2 x )  = −m sin ( m sin −1 x )
1 m
1 − x 2 y2 + y1  (
 2 1− x  1 − x2
2

1 − x 2 y2 −
xy1
1− x 2
= −m 2 y
1
1− x 2
 
y = sin ( m sin −1 x )

Multiplying both the sides by 1 − x 2

(1 − x ) y
2
2 − xy1 = −m 2 y

(1 − x ) y
2
2 − xy1 + m 2 y = 0

Differentiating 'n' times w.r.t. x

dn dn n
 
dx n 
( ) 2  dx n 1
1 − x 2
y  − ( xy ) + m 2 d

dx n
( y) = 0

 n ( n − 1) 
 (1 − x 2 ) yn + 2 + n ( −2 x ) yn +1 + ( −2 ) yn  −  xyn+1 + n (1) yn  + m 2 yn = 0
 2 

 (1 − x 2 ) yn + 2 +  −2nx − x  yn +1 +  − n 2 + n − n + m 2  yn = 0

 (1 − x 2 ) yn + 2 − ( 2n + 1) xyn +1 + ( m 2 − n 2 ) yn = 0

© 2021-SEAM by Prof. Satishkumar Barot Page 20


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

Example 1.5.16: If y = cos ( m sin −1 x ) ,


prove that (1 − x 2 ) yn + 2 − ( 2n + 1) xyn +1 + ( m 2 − n 2 ) yn = 0

Solution: y = cos ( m sin −1 x )

The highest ordered derivative in the required answer is yn + 2 , so we differentiate y twice


before applying Leibnitz’s theorem.

Differentiating y w.r.t x

y1 = − sin ( m sin −1 x )  ( m sin −1 x ) = − sin ( m sin −1 x ) 


d m
dx 1 − x2

Multiplying both the sides by 1 − x 2

1 − x 2 y1 = −m sin ( m sin −1 x )

Differentiating w.r.t. x

d  d 
1 − x 2  = −m cos ( m sin −1 x ) ( m sin −1 x )
d
1 − x 2  y1  + y1 
 dx   dx  dx

 
( −2 x )  = −m cos ( m sin −1 x )
1 m
1 − x 2 y2 + y1 
 2 1− x  1 − x2
2

1 − x 2 y2 −
xy1
1− x 2
= −m 2 y
1
1− x 2
 
y = cos ( m sin −1 x )

Multiplying both the sides by 1 − x 2

(1 − x ) y
2
2 − xy1 = −m 2 y

(1 − x ) y
2
2 − xy1 + m 2 y = 0

Differentiating 'n' times w.r.t. x


dn dn n
 
dx n 
( ) 2  dx n 1
1 − x 2
y  − ( xy ) + m 2 d

dx n
( y) = 0

 n ( n − 1) 
 (1 − x 2 ) yn + 2 + n ( −2 x ) yn +1 + ( −2 ) yn  −  xyn+1 + n (1) yn  + m 2 yn = 0
 2 

 (1 − x 2 ) yn + 2 +  −2nx − x  yn +1 +  − n 2 + n − n + m 2  yn = 0

 (1 − x 2 ) yn + 2 − ( 2n + 1) xyn +1 + ( m 2 − n 2 ) yn = 0

© 2021-SEAM by Prof. Satishkumar Barot Page 21


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

Example 1.5.17: If x = sin  , y = sin 2 ,


prove that (1 − x 2 ) yn + 2 − ( 2n + 1) xyn +1 − ( n 2 − 4 ) yn = 0

Solution: First we write y explicitly in term of x .

x = sin  , y = sin 2 = 2sin   cos  = 2sin   1 − sin 2 

 y = sin 2 = 2sin   cos  = 2sin   1 − sin 2  = 2 x 1 − x 2 − − − (1)


Differentiating y w.r.t. x
 1 
y1 = 2  x ( −2 x ) + 1 − x 2 
 2 1− x 
2

 − x2   − x2 + 1 − x2 
 y1 = 2  + 1 − x2  = 2  
 1− x   1 − x2 
2

Multiplying both the sides by 1 − x 2

1 − x 2  y1 = 2 (1 − 2 x 2 )
Differentiating w.r.t. x

d  d 
1 − x 2  y1  + y1  1 − x 2  = −8 x
 dx   dx 

 1 
1 − x 2 y2 + y1  ( −2 x )  = − 8 x
 2 1− x 
2

xy1
1 − x 2 y2 − = −8 x
1 − x2

Multiplying both the sides by 1 − x 2

(1 − x ) y
2
2 ( )
− xy1 = −8 x 1 − x 2 = − 4 2 x 1 − x 2 = − 4 y from (1) y = 2 x 1 − x2 
(1 − x ) y
2
2 − xy1 + 4 y = 0

Differentiating 'n' times w.r.t. x


dn dn dn
 
dx n 
(1 − x 2
) y 2
 −
 dx n ( xy1 ) + 4
dx n
( y) = 0

 n ( n − 1) 
 (1 − x 2 ) yn + 2 + n ( −2 x ) yn +1 + ( −2 ) yn  −  xyn +1 + n (1) yn  + 4 yn = 0
 2 

 (1 − x 2 ) yn + 2 +  −2nx − x  yn +1 +  − n 2 + n − n + 4  yn = 0

 (1 − x 2 ) yn + 2 − ( 2n + 1) xyn +1 − ( n 2 − 4 ) yn = 0

© 2021-SEAM by Prof. Satishkumar Barot Page 22


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

Example 1.5.18: If y =x n log x, prove that x 2 y2 − ( 2n −1) xy1 + n 2 y = 0


and hence show that x 2 y p + 2 + ( 2 p − 2n + 1) xy p +1 + ( p − n ) y p = 0
2

Solution: y =x n log x

Differentiating y w.r.t x
1
y1 = x n . + nx n −1  log x
x

Multiplying both the sides by x

xy1 = x n + nx n log x

 xy1 = x n + ny − − − −(1)  y = x n log n

Differentiating w.r.t. x

d   dx 
x  y1  + y1   = nx n −1 + ny1
 dx   dx 

xy2 + y1 = nx n −1 + ny1

Multiplying both the sides by x

x 2 y2 + xy1 = nx n + nxy1

 x 2 y2 + xy1 = n ( xy1 − ny ) + nxy1  x n = xy1 − ny from (1)

 x 2 y2 + xy1 = 2nxy1 − n 2 y

 x 2 y2 + xy1 − 2nxy1 + n 2 y = 0

 x 2 y2 − ( 2n − 1) xy1 + n 2 y = 0 − − − − − (2)

Differentiating (2) 'p' times w.r.t. x using Leibnitz's Theorem

dp 2 dp p

dx p
( 2)
x y − ( 2 n − 1)
dx p
( xy1 ) + n 2 d

dx p
y=0

 p ( p − 1) 
  x 2 y p + 2 + p ( 2 x ) y p +1 + ( 2 ) y p  − ( 2n − 1)  xy p +1 + p (1) y p  + n 2 y p = 0
 2 

© 2021-SEAM by Prof. Satishkumar Barot Page 23


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

Rearranging coefficients of like terms

 x 2 y p + 2 +  2 px − ( 2n − 1) x  y p +1 +  p 2 − p − ( 2n − 1) p + n 2  y p = 0

 x 2 y p + 2 + ( 2 p − 2n + 1) xy p +1 +  p 2 − p − 2np + p + n 2  y p = 0

 x 2 y p + 2 + ( 2 p − 2n + 1) xy p +1 +  p 2 − 2np + n 2  y p = 0

 x 2 y p + 2 + ( 2 p − 2n + 1) xy p +1 + ( p − n ) y p = 0
2

© 2021-SEAM by Prof. Satishkumar Barot Page 24


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

a + x
Example 1.5.19: If y = tan −1  , when a is constant.
 a − x 
prove that ( a 2 + x 2 ) yn + 2 + 2 ( n + 1) xyn +1 + n ( n + 1) yn = 0

−1 a + x
Solution: y = tan 
 a − x 

  x 
 a 1 + a  
 y = tan  
−1 
 a 1 − x  
  a  
x x
put = tan   = tan −1
a a
1 + tan  
 y = tan −1 
1 − tan  

  
 tan + tan  
= tan −1  4
 
1 − tan .tan  
 4 

   
= tan −1  tan  +    = + 
 4  4
 x
y = + tan −1
4 a
The highest ordered derivative in the required answer is yn + 2 , so we differentiate twice

before applying Leibnitz’s theorem.

Differentiating y w.r.t. x
1 1 a2 1 a
y1 = . = . = 2
x a a +x a a +x
2 2 2 2

1+  
a
a
 y1 =
a + x2 2

Multiplying both the sides by ( a 2 + x 2 )

 ( a 2 + x 2 ) y1 = a

Differentiating w.r.t. x

(a 2
+ x 2 ) y2 + 2 xy1 = 0

© 2021-SEAM by Prof. Satishkumar Barot Page 25


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

Differentiating 'n' times w.r.t. x


dn dn
 
dx n 
( a 2
+ x 2
) y 
2 + 2
dx n
( xy1 ) = 0

 n ( n − 1) 
 ( a 2 + x 2 ) yn + 2 + n ( 2 x ) yn +1 + ( 2 ) yn  + 2  xyn+1 + n (1) yn  = 0
 2 
 ( a 2 + x 2 ) yn + 2 + ( 2nx + 2 x ) yn +1 +  n ( n − 1) + 2n  yn = 0

 ( a 2 + x 2 ) yn + 2 + 2 ( n + 1) xyn +1 + n(n + 1) yn = 0

© 2021-SEAM by Prof. Satishkumar Barot Page 26


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

 1+ x 
r

Example 1.5.20: If y =   , prove that (1 − x ) yn +1 − 2 ( r + nx ) yn − n ( n − 1) yn −1 = 0


2

 1 − x 

1+ x 
r

Solution: y =  
 1− x 
Taking logarithm on both the sides
 1+ x 
log y = r log   = r log (1 + x ) − log (1 − x ) 
 1− x 
The highest ordered derivative in the required answer is yn +1 , so we differentiate only once before
applying Leibnitz’s theorem.

Differentiating y w.r.t. x
 1
( −1) 
1 1
y1 = r  −
y 1 + x 1 − x 
y1  1 1  1 − x + 1 + x  2r
=r +  =r  =
1 + x 1 − x   1− x  1− x
2 2
y
y1 2r
=
y 1 − x2

 (1 − x 2 ) y1 = 2ry

 (1 − x 2 ) y1 − 2ry = 0

Differentiating 'n' times w.r.t. x using Leibnitz's Theorem.

dn dn

dx n 
(1 − x 2
) y 
1 − 2 r
dx n
y=0

n ( n − 1)
 (1 − x 2 ) yn +1 + n ( −2 x ) yn + ( −2 ) yn−1 − 2ryn = 0
2
 (1 − x 2 ) yn +1 + ( −2nx − 2r ) yn +  −n ( n − 1)  yn −1 = 0

 (1 − x 2 ) yn +1 − 2 ( nx + r ) yn − n ( n − 1) yn −1 = 0

© 2021-SEAM by Prof. Satishkumar Barot Page 27


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

1+ x
Example 1.5.21: If y = , prove that y = (1 − x 2 ) y1 and hence prove that
1− x
(1 − x ) yn −  2(n − 1) x + 1 yn−1 − (n − 1)(n − 2) yn−2 = 0
2

1+ x
Solution: y = ,
1− x

1  1+ x 
log y = log   Taking logarithm on both the sides
2  1− x 
1
 log y = log (1 + x ) − log (1 − x ) 
2
Differentiating y w.r.t. x

1 1
( −1) 
1 1
y1 =  −
y 2 1 + x 1 − x 
y1 1  1 1  1 1 − x + 1 + x  2 1
=  +  =   = .
y 2 1 + x 1 − x  2  1 − x 2
 1− x 2
2

y1 1
 =
y 1 − x2

 y = (1 − x 2 ) y1

 (1 − x 2 ) y1 − y = 0

Differentiating above equation 'n − 1' times w.r.t. x

d n −1 d n −1

dx n −1 
( ) 1  dx n−1 y = 0
1 − x 2
y  −

d n −1 d n−2 d n −3
( C0 (1 − x 2 ) 1( ) n−2 1 2( ) n−3 y1 − yn−1 = 0
n −1) ( n −1) ( n −1)
y + C − 2 x y + C − 2
dx n −1
1
dx dx

 (1 − x 2 ) yn + ( n − 1)( −2 x ) yn −1 +
( n − 1)( n − 2 )
( −2 ) yn−2 − yn−1 = 0
2
 (1 − x 2 ) yn +  −2 x(n − 1) − 1 yn −1 − (n − 1)(n − 2) yn − 2 = 0

 (1 − x 2 ) yn −  2 x(n − 1)n + 1 yn −1 − (n − 1)(n − 2) yn − 2 = 0

© 2021-SEAM by Prof. Satishkumar Barot Page 28


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

1 
Example 1.5.22: If x = cosh  log y  , where m is a constant.
m 
prove that ( x 2 − 1) yn + 2 + ( 2n + 1) xyn +1 + ( n 2 − m 2 ) yn = 0

1  1 −1
Solution: x = cosh  log y   log y = cosh −1 x and y = e m cosh x
m  m

Differentiating y w.r.t. x
 1 
d
( m cosh −1 x ) = e m cosh x
−1 −1
 y1 = e m cosh x
 m 
dx  x2 −1 

Multiplying both the sides by x2 −1


−1
x 2 − 1  y1 = me m cosh x
= my

x 2 − 1  y1 − my = 0 − − − − − − − − − − − − − − − (1)

Differentiating (1) w.r.t. x

d  d 
x 2 − 1   y1  + y1   x 2 − 1  − my1 = 0
 dx   dx 

 1 
x 2 − 1  y2 + y1   ( 2 x )  − my1 = 0
 2 x −1 
2

xy1
x 2 − 1 y2 + − my1 = 0
x2 −1

Multiplying both the sides by x2 −1

(x 2
− 1) y2 + xy1 − my1 x 2 − 1 = 0

(x 2
− 1) y2 + xy1 − m 2 y = 0  x 2 − 1 y1 = my, from (1) 
Differentiating 'n' times w.r.t. x
dn dn n
 n ( x − 1) y2  + n ( xy1 ) − m
 2
 2 d
( y) = 0
dx dx dx n
 n ( n − 1) 
 ( x 2 − 1) yn + 2 + n ( 2 x ) yn +1 + ( 2 ) yn  +  xyn+1 + n (1) yn  − m 2 yn = 0
 2 

 ( x 2 − 1) yn + 2 +  2nx + x  yn +1 +  n 2 − n + n − m 2  yn = 0

 ( x 2 − 1) yn + 2 + ( 2n + 1) xyn +1 + ( n 2 − m 2 ) yn = 0

© 2021-SEAM by Prof. Satishkumar Barot Page 29


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

1 −1

Example 1.5.23: If y + y = 2 x, prove that ( x2 − 1) yn+2 + (2n + 1) xyn+1 + (n2 − m2 ) yn = 0


m
m

Solution: Here y is not given explicitly in terms of x. So, first we write y in terms of x.
1 −1

y + y = 2 x,
m m

1
1
y + = 2x
m
1
m
y
2
 m
1 1

or  y  + 1 = 2 xy
m

 
2
 m
1 1

  y  − 2 xy + 1 = 0
m

 
1
m
This is a quadratic equation in y . Its roots are given by

1
2 x  4 x 2 − 4 (1)(1)
y =
m
2

2x  2 x2 −1
= = x  x2 −1
2
1
Let y m = x + x 2 − 1

( )
m
 y = x + x2 −1

The highest ordered derivative in the required answer is yn + 2 , so we differentiate twice before

applying Leibnitz’s theorem.

Differentiating y w.r.t. x

( ) ( )
m −1
d
 y1 = m x + x 2 − 1 x + x2 −1
dx

( )  
m −1
1
 y1 = m x + x 2 − 1 1 + 2x
 2 x −1 
2

 x2 −1 + x 
( )
m −1
 y1 = m x + x 2 − 1  
 x 2 − 1 

( )
m −1+1
x + x2 −1
=m
x2 −1

© 2021-SEAM by Prof. Satishkumar Barot Page 30


SPCE-Engineering Mathematics I Successive Differentiation 1.5 Leibnitz’s Theorem

( )
m
x + x2 − 1
=m
x2 − 1
my
 y1 =
x2 −1
Multiplying both the sides by x2 −1
x 2 − 1 y1 = my
Differentiating w.r.t. x

x2 −1 
d
dx
( y1 ) + y1 
d
dx
( )
x 2 − 1 = my1

1
 x 2 − 1 y2 + y1 2 x = my1
2 x2 − 1
Multiplying both the sides by x2 −1

 ( x 2 − 1) y2 + xy1 = my1 x 2 − 1 = m ( my )
 ( x 2 − 1) y2 + xy1 − m 2 y = 0

Differentiating 'n' times w.r.t. x using Leibnitz's theorem

dn dn n

dx n 
( x 2
− 1) y 
2 +
dx n
 xy1  − m 2 d

dx n
 y = 0
 2 n ( n − 1) 
( x − 1) yn + 2 + n ( 2 x ) yn +1 + ( 2 ) yn  +  xyn+1 + n (1) yn  − m 2 yn = 0
 2 

 ( x 2 − 1) yn + 2 + ( 2nx + x ) yn +1 + ( n 2 − n + n − m 2 ) yn = 0

 ( x 2 − 1) yn + 2 + ( 2n + 1) xyn +1 + ( n 2 − m 2 ) yn = 0

© 2021-SEAM by Prof. Satishkumar Barot Page 31

You might also like