2.

If yx 2n
, where n is a positive integer, show that

yn  2n 1.3.5...(2n  1) x n .
Sol: Given that y  x 2n , then
y1  2nx 2 n 1 ,
y2  2n(2n  1) x 2 n  2 ,
y3  2n(2n  1)(2n  2) x 2 n 3 , and so on.
Therefore,
yn  2n(2n  1)(2n  2)...{2n  (n  1)}x 2 n  n
 2n(2n  1)(2n  2)...(n  1) x n

2n(2n  1)(2n  2)...(n  1)n ! n

 x
n!
 {2n(2n  2)...8.6.4.2}{(2n  1)...7.5.3.1} n
 x
n!
2 n !{1.3.5...(2n  1)} n
n
 x
n!
 2n {1.3.5...(2n  1)}x n .
4. If y  e  x cos x , prove that y4  4 y  0 .
Sol: Given that y  e  x cos x . Differentiating successively with
respect to x, we get
y1  e  x sin x  e  x cos x
 e  x (sin x  cos x)
y2  e  x (cos x  sin x)  e  x (sin x  cos x)
 2e  x sin x
y3  2e  x (cos x  sin x)
y4  2e  x ( sin x  cos x)  2e  x (cos x  sin x)
 4e  x cos x
y4  4 y.
Therefore,
y4  4 y  0.
 (n  1)!
5. If y  x n 1
log x , show that yn  .
x
n 1
Sol: Given that y  x log x . Then,
n 1 1
y1  x  (n  1) x n  2 log x
x
or, xy1  x n 1  (n  1) x n 1 log x
or, xy1  x n 1  (n  1) y.
Differentiating (n-1) times using Leibnitz’s Theorem, we get
xyn  n 1C1.1. yn 1  (n  1)! (n  1) yn 1
or, xyn  (n  1) yn 1  (n  1)! (n  1) yn 1
(n  1)!
or, yn  .
x
7. For y  sin(m sin 1 x), prove that
(i) (1  x 2 ) y2  xy1  m 2 y  0
(ii) (1  x 2
) y n2  (2 n  1) xy n 1  ( m 2
 n 2
) yn  0.
Hence or otherwise expand sin m in powers of sin  .
Sol: Given that y  sin(m sin 1 x) . Differentiating successively
with respect to x, we get
1 1
y1  cos(m sin x)m
1  x2
1  x 2 y1  m cos(m sin 1 x).
Again differentiating with respect to x, we get
2x 1 1
1  x y2 
2
y1  m sin(m sin x)
2

2 1 x 2
1  x2
(1  x 2 ) y2  xy1  m 2 y  0. (1)
Again differentiating (1) n times with respect to x using
Leibnitz’s Theorem, we get

(1  x 2 ) yn  2  nC1 (2 x) yn 1  nC2 (2) yn  [ xyn 1  nC1 yn ]  m 2 yn  0

n(n  1)
(1  x ) yn  2  2nxyn 1  2
2
yn  xyn 1  nyn  m 2 yn  0
2!
(1  x 2 ) yn  2  (2n  1) xyn 1  (m 2  n 2 ) yn  0.
Putting x=0, we get
( yn  2 )0  (n 2  m 2 )( yn )0 .
Now,
( y )0  0;( y1 )0  m;( y2 ) 0  0;
( y3 )0  (12  m 2 )m;( y4 ) 0  0;
( y5 )0  (32  m 2 )(12  m 2 )m;
Hence, by Maclaurin’s Theorem, we get
x2 x3
y  ( y ) 0  ( y1 ) 0 x  ( y2 ) 0  ( y3 ) 0
2! 3!
x4 x5
 ( y4 ) 0  ( y5 ) 0  ...
4! 5!
3
x
sin( m sin 1 x)  mx  m(12  m 2 )
3!
5
x
 m(12  m 2 )(32  m 2 )  ...
5!
Putting sin 1 x   , i.e., x  sin  , we get
1
sin m  m sin   m(12  m 2 ) sin 3 
3!
1
 m(12  m 2 )(32  m 2 ) sin 5   ...
5!
8. If y  a cos(log x)  b sin(log x) , prove that
x 2 yn  2  (2n  1) xyn 1  (n 2  1) yn  0.
Sol: Given that
y  a cos(log x)  b sin(log x).
Differentiating with respect to x, we get
1 1
y1  a sin(log x)  b cos(log x)
x x
xy1  a sin(log x)  b cos(log x).
Again differentiating,
1 1
xy2  y1  a cos(log x)  b sin(log x)
x x
x 2 y2  xy1  a cos(log x)  b sin(log x)
x 2 y2  xy1  y  0. (2)
Differentiating (2) n times with respect to x, using Leibnitz’s
Theorem, we get
x 2 yn  2  nC1 (2 x) yn 1  nC2 (2) yn  [ xyn 1  nC1 yn ]  yn  0
n(n  1)
x yn  2  2nxyn 1 
2
2 yn  xyn 1  nyn  yn  0
2!
x 2 yn  2  (2n  1) xyn 1  (n 2  1) yn  0.
12. Verify the following series, if f ( x) is infinitely differentiable:
( m  1) 2
(i ) f (mx)  f ( x)  (m  1) xf ' ( x)  x 2 f '' ( x)  ...
2!
 x2 
2
x 1  x  ''
  f ( x)  f ( x)    f ( x)  ...
'
(ii ) f 
 x 1  x 1 2!  x  1 
2 3
x x
(iii ) f ( x)  f (0)  xf ' ( x)  f '' ( x)  f ''' ( x)  ...
2! 3!
Sol: By Taylor’s Theorem, we have
2
h
f (a  h)  f (a )  hf ' (a )  f '' (a )  ... ( A)
2!
(i) Putting a  x, h  (m  1) x in (A), we get
( m  1) 2
f (mx)  f ( x)  (m  1) xf ' ( x)  x 2 f '' ( x)  ...
2!
 x x x2
(ii) Putting a  x, h   ,i.e., a  h  x   in
(A), we have x 1 x 1 x 1
 x2 
2
x 1  x  ''
  f ( x)  f ( x)    f ( x)  ...
'
f
 x 1  x 1 2!  x  1 

(iii) Putting a  x, h   x,i.e., a  h  0 in (A), we get

2 3
x x
f (0)  f ( x)  xf ' ( x)  f '' ( x)  f ''' ( x)  ...
2! 3!
x 2 '' x3 '''
or, f ( x)  f (0)  xf ( x) 
'
f ( x)  f ( x)  ...
2! 3!
13. Prove by Maclaurin’s Theorem that
m
 x  1  x   1  mx  m 2
m ( m 2
 1) m 2
( m 2
 2 2
) 4
2
x 
2
x 
3
x  ...
  2! 3! 4!
m
Sol: Let y   x  1  x  .2
(3)
 
Differentiating with respect to x, we get
m 1 
  2x 
y1  m x  1  x 2
1
 
  2 1  x 2 
m
1  x y1  m  x  1  x 
2 2
 
1  x 2 y1  my. (4)
Squaring both sides, we get
(1  x 2 ) y12  m 2 y 2 . (5)
Again differentiating (5) with respect to x, we get
(1  x 2 )2 y1 y2  2 xy12  2m 2 yy1  0
(1  x 2 ) y2  xy1  m 2 y  0. (6)
Applying Leibnitz’s Theorem, we get
(1  x 2 ) yn  2  nC1 (2 x) yn 1  nC2 (2) yn  [ xyn 1  nC1 yn ]  m 2 yn  0
n(n  1)
(1  x ) yn  2  2nxyn 1 
2
2 yn  xyn 1  nyn  m 2 yn  0
2!
(1  x 2 ) yn  2  (2n  1) xyn 1  (n 2  m 2 ) yn  0. (7)
Putting x=0 in (3), (4), (6) and (7), we get
( y )0  1;( y1 )0  m;( y2 ) 0  m 2 ;
( yn  2 )0  (m 2  n 2 )( yn )0 .
Thus, ( y3 )0  (m 2  1)m;( y4 ) 0  ( m 2  2 2 ) m 2 and so on.
Hence, by Maclaurin’s Theorem, we get
x2 x3 x4
y  ( y )0  ( y1 )0 x  ( y2 )0  ( y3 )0  ( y4 ) 0  ...
2! 3! 4!
m
 x  1  x 2   1  mx  m 2
m ( m 2
 1) m 2
( m 2
 2 2
) 4
x 
2
x 
3
x  ...
  2! 3! 4!
 m tan 1 x
14. If y  e  a0  a1 x  a2 x 2  ...  an x n  ... , prove that
(n  1)an 1  (n  1)an 1  man
m tan 1 x
And hence obtain the expression of e .
m tan 1 x
Sol: Given y  e . Differentiating with respect to x, we get
m tan 1 x 1
y1  e m
1  x2
(1  x 2 ) y1  my.
Applying Leibnitz’s Theorem, we get
(1  x 2 ) yn 1  nC1 (2 x) yn  nC2 (2) yn 1  myn
(1  x 2 ) yn 1  2nxyn  n(n  1) yn 1  myn .
Putting x=0, we get
( yn 1 )0  n(n  1)( yn 1 )0  m( yn )0 . (8)
By Maclaurin’s Theorem, we have 2
x xn
y  ( y )0  ( y1 )0 x  ( y2 )0  ...  ( yn ) 0  ...
2! n!
Again, given that
m tan 1 x
ye  a0  a1 x  a2 x 2  ...  an x n  ...
n
Comparing the coefficients of x in the above two expansions,
we get
( yn )0  n !an (9)

Thus, from (8) and (9), we have

(n  1)!an 1  n(n  1)(n  1)!an 1  mn !an
or, (n  1)an 1  (n  1)an 1  man .
Now, a0  ( y )0  1; a1  ( y1 )0  m;
man  (n  1)an 1
an 1  , n  1, 2,...
n 1
 ma1 m 2 ma2  a1 m(m 2  2)
Thus, a2   ; a3   and so on.
2 2! 3 3!
m tan 1 x
Hence, y  e  a0  a1 x  a2 x 2  ...  an x n  ...
m 2 2 m(m 2  2) 3
 1  mx  x  x  ...
2! 3!
 a sin 1 x
15. Expand e in powers of x. Also deduce that
1 2
e  1  sin   sin 2   sin 3   ..
2! 3!
a sin 1 x
Sol: Let y  e . (10)
Differentiating with respect to x, we get
a sin 1 x 1
y1  e a
1  x2
1  x 2 y1  ay. (11)
Squaring both sides,
(1  x 2 ) y12  a 2 y 2 .
Again differentiating with respect to x, we get
(1  x 2 )2 y1 y2  2 xy12  2a 2 yy1  0
(1  x 2 ) y2  xy1  a 2 y  0. (12)
Applying Leibnitz’s Theorem, we get
(1  x 2 ) yn  2  nC1 (2 x) yn 1  nC2 (2) yn  [ xyn 1  nC1 yn ]  a 2 yn  0
n(n  1)
(1  x 2 ) yn  2  2nxyn 1  2 yn  xyn 1  nyn  a 2 yn  0
2!
(1  x 2 ) yn  2  (2n  1) xyn 1  (n 2  a 2 ) yn  0. (13)
Putting x=0 in (10), (11), (12) and (13), we get
( y )0  1;( y1 )0  a;( y2 ) 0  a 2 ;
( yn  2 )0  (n 2  a 2 )( yn )0
Thus, ( y3 )0  (1  a 2 )a;( y4 ) 0  (2 2  a 2 ) a 2 and so on.
Hence, by Maclaurin’s Theorem, we have
1 a 2
a (1  a 2
) a 2
(2 2
 a 2
) 4
e a sin x
 1  ax  x 2
x 
3
x  ... (14)
2! 3! 4!
Putting a  1and sin 1 x   ,i.e., x  sin  in (14), we get
1 2 3

e  1  sin   sin   sin   ...
2

2! 3!
 dn n
16. If I n  n ( x log x) , prove that I n  nI n 1  (n  1)! . Hence
dx
show that  1 1 1
I n  n ! log x  1    ...   .
 2 3 n
Sol: Given,
dn n d n 1  n 1 
I n  n ( x log x)  n 1  x  nx n 1 log x 
dx dx  x 
d n 1 n 1 d n 1 n 1
 n n 1 ( x log x)  n 1 ( x )
dx dx
 nI n 1  (n  1)!.
Dividing both sides by n!, we get
In I n 1 1
  (14)
n ! (n  1)! n
Changing n by n-1 in (14), we have
I n 1 I n2 1
  .
(n  1)! (n  2)! n  1
Putting this value in (14), we obtain
In I n2 1 1
   .
n ! (n  2)! n  1 n
Repeating this process, we get
I n I1 1 1 1
    ...  .
n ! 1! 2 3 n
d
Now, I1  ( x log x)  1  log x.
dx
 1 1 1
Therefore, I n  n ! log x  1    ...   .
 2 3 n