Kris Buchanan

Mathematica Solution

My Derivation Next Page

2
    
  2 jinc  x sin 2   d
2
   
2 J1  x sin  
   2
  d

  
 x sin 
 2 
this is an even function so integrate only half
2
   
 J1  x sin  
2
 8  

d
0
 x sin  
 2 


2 m 2
z

(1) (2m  2)! 
m

J12  z    2
m  0 m !( m  2)!(( m  1)!)
2

Then
From Newman and Frank source
 
let z  x sin  
2
2 m 2
z

(1) (2m  2)! 
m

2
  J1  z  
2 
m  0 m !( m  2)!(( m  1)!)
2
d
8   d  8
0
 z  z2
 (1) m (2m  2)! z 
 2m

 8  d
m !(m  2)!((m  1)!) 2  2 
2m2
0 m 0

plugging back z and swap the summation and integral terms

(1) m (2m  2)! z 
2m
 
 8  d
m !( m  2)!((m  1)!) 2  2 
2m2
m 0 0

 2m

(1) m (2m  2)!    
 8 0  x sin  2   d
m !(m  2)!((m  1)!) 2  2 
2 m 2
m 0

 2m
(1) m x 2 m (2m  2)(2m  1)(2m)!     

 8 2m 2  
sin    d
m  0 m !( m  2)!( m  1) m !  2   2 
2 2
0 
 2m

(1x 2 ) m 2( m  1)(2m  1)(2m)!     
 8 2m2  
sin    d
m  0 m !( m  2)!( m  1) m !  2   2 
2 2
0

 2m

( 1x 2 ) m (2m  1)(2 m)!    
 8   sin  2   d
m  0 m !( m  2)!( m  1) m !  2 
2 m 1
2
0  
Using the identity
(2m)!  (2m  1)!! m !2 m
Then
 2m
(1x 2 ) m (2m  1)(2m  1)!! m !2 m     

 8 0  sin  2   d
m  0 m !( m  2)!( m  1) m !  2 
2 2 m 1

 2m

(2m  1)(2m  1)!! (1x 2 ) m    
 8 0  sin  2   d
m  0 ( m  2)!( m  1)  2 
m 1
m! m!
Now using the identity
 1
  m   2m
(2m-1)!!  
2

and substituting
 1
(2m  1)  m   2m  2m

 2 ( 1x 2 ) m   
 8 0  sin  2   d
m  0 ( m  2)! m !( m  1)  2 
m 1
 m!
  1
m    2m

 2 (1x 2 ) m (2m  1)   
 8 0  sin  2   d
m  0   m  3   (m  1) m ! (2m  2) 
Where
(2m  2)! 
(2m  2) 
 3
22 m1 m !  m  
 2
Then
 1 2 m 1  3
m   2 m (2m  1)2 m !  m    2m

 2 (1x )  2   
 8 0  sin  2   d
m  0   m  3  (m  1) m! (2m  2)!  
 1  3
m  m    2m

2 
2 m 2 m 1
2  (1x ) (2m  1)2 m !    
 8  0  sin  2   d
m  0   m  3  ( m  1) m! (2m  2)!
Where
( m  2)  (m  1) m !
 1  3
m  m    2m

 2  2  (1x )
2 m
(2m  1)2 2 m1 m !    
 8 0  sin  2   d
m  0   m  3  ( m  1) m ! 2(2m  1)(2m)!( m  1)
substituting
 1
  m   m !22 m
2
(2m)!  

canceling
 1  3
m  m    2m

 2  2  (1x )
2 m
1 m!     
 8
1  0   2  
sin d
m  0   m  3  ( m  1) m ! (m  1)m ! 
  m  
 2
 1  3
m  m    2m

 2  2  (1x )
2 m
m!    
 8 0   2   d
sin
m  0   m  3   (m  1) ( m  2) m!  1
m   
 2
 1  3
m  m  
  m  1  2m

 2  2  (1x )
2 m
  
 8 0  sin  2   d
m  0   m  3   (m  1) ( m  2) m!  1
m   
 2
  1  3  1
m  m   m  

 2  2  (1x )
2 m
  m  1  2
 8
  m  3 (m  1) m!  1   m  1
m 0
m   
 2
 1  3
m  m  

2  ( 1x )
2 m
 2 3  2 
m 0   m  3  (m  1) m!

The above can be rewritten as a 2 F3 hypergeometric formula.

To do this the pochammer symbol will be used or more formally
rising factorial x ( n )
where x ( n ) is related to the gamma function as

( x  n)
x (n) 
( x)

Thus


 m 1  
 m 1 
 2
(m)
1  2  2
 1  2 


 m 3  
2 m  3 
 2
(m)
3  2  2
 3  2 
(m  1) (m  1)
 1
(m)
 
  1 1
  m  2 (m  2)
 2
(m)
 
  2 1
  m  3 (m  3)
 3
(m)
 
(3) 2
So

 12   3 2     
(m) (m)
1 3
4  m 2  m 2

 1  2   3  (m  1)(m  2)(m  3)
( m) ( m) ( m)
Making use of the above we can rewrite the below as
 1  3
   
(m) (m)
 m  m   1 3

 2  2  (1x )
2 m
 2 2 ( 1x 2 ) m
   m  3 (m  1) m!
m0
2 3
 8
4  1 ( m )  2  ( m )  3 ( m ) m !
1 3 
 2 2 F3  , ;1, 2,3; ( x) 2 
2 2 
1 3 
2 2 F3  , ;1, 2,3; ( x) 2 
2 2 