Scribd
Upload
584 views5 pages

Appendix 2 JacobiAnger and Bessel Function Relationships

This document discusses relationships between Jacobi-Anger expansions and Bessel functions. It shows that a sinusoid with another sinusoid as its argument can be expressed as a Bessel series using the Jacobi-Anger expansion. Integrating products of these expressions and trigonometric functions over 2π results in relationships involving Bessel functions of the first kind. These relationships allow expanding and manipulating expressions involving sines and cosines of sums and differences in a useful way.

Uploaded by

Ria Alex
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
584 views5 pages

Appendix 2 JacobiAnger and Bessel Function Relationships

This document discusses relationships between Jacobi-Anger expansions and Bessel functions. It shows that a sinusoid with another sinusoid as its argument can be expressed as a Bessel series using the Jacobi-Anger expansion. Integrating products of these expressions and trigonometric functions over 2π results in relationships involving Bessel functions of the first kind. These relationships allow expanding and manipulating expressions involving sines and cosines of sums and differences in a useful way.

Uploaded by

Ria Alex
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 5

Appendix 2

Jacobi-Anger and Bessel Function


Relationships

A2.1 Jacobi-Anger Expansions


A common expression that appears in the development of the analytical Fou-
rier solution of a PWM waveform under various modulation strategies is
e±j~cos9, i.e., a sinusoid which has as its argument another sinusoid. In the
development of the analytical solutions for PWM, this expression must be mul-
tiplied by the term cosn8 and integrated over some fraction of 21t, and this is
facilitated by expanding the e±j~cos9 expression into a Bessel series form using
the Jacobi-Anger expansion [1] of
00

e#E,cose = Jo(~) + 2 Lj±~k(~)COSk8 (A2.1)


k=l
Equation (A2.1) can be restated from its complex form as

cos(~cos8) = Jo(~) + 2 L Cosk~Jk(~)cosk8


k=l

= Jo(~) + 2 L COSk1tJ2k(~)cos2k8 (A2.2)


k= 1

and

sin(~cos8) = 2L sink~Jk(~)cosk8
k= I

= 2L cosknJ2k + I (~)cos([2k + 1]8) (A2.3)


k=O
629
630 Appendix 2

Additionally, using the substitution of e= 8' -n/2, Eqs. (A2.2) and (A2.3)
lead to the following relationships of

L J2i~)cos(2kO')
00

cos(~sinO') = Jo(~) + 2 (A2A)


k=l

and

L
00

sin(~sinO') = 2 J 2k + 1(~)sin([2k+ 1]0') (A2.5)


k=O
A further useful result is the expansion of the expression cos(8 + ~ sine) ,
which proceeds as follows:
cos( 8 + ~sine) = cos8cos( ~sin 8) - sin8sin(~ sinO) (A2.6)
Substituting from Eqs. (A2.4) and (A2.5) into Eq. (A2.6) gives

cos(8+~sinO) cOS8[Jo(~)+2tJ2i~)cOS(2kO)]
=

- sino[2 ~J2k+ )(l;)sin([2k + 1]0)]

L J2k(l;){ cosf S + 2kO) +cos(o - 2kO)}


00

Jo(l;) coso + (A2.7)


k= I

+ LJ 2k+ 1(~){ cos(8 + [2k + 1]0) - cos(8 - [2k + l]O)}


k==O

Grouping like sinusoids and after some manipulation and simplification gives
the final form of

L Jk(~)cos(8 +
00

costS + ~sinO) = kO) (A2.8)


k =-00
Jacobi-Anger and Bessel Function Relationships 631

A2.2 Bessel Function Integral Relationships

i
The product 0 f e j~cos9 and cos(n e) Integrate
. d over a 21t Interval
. .
IS

i/j~cose cosne de= [Jo(~) +2 tj±'Jk(~)COSke ]cosne de (A2.9)

which becomes
1t 1t 1t 00

f/j~cose cosne de = fJo(~)cosne de + f 2~>±kJk(~)coskecosne de


-1t -1£ -1t k= 1 (A2.IO)
The only term of the right-hand side of Eq. (A2.1 0) which does not integrate to
zero over 21t is when k = n , so that Eq. (A2.IO)becomes
1t 1t

(A2.1l)
-1t -1t

which simplifies to
1t

f e±j~cos9 cosn o de = 21tJ.±nJ n (~) ~ (A2.12)


-1t

Using a similar development, e±j~coSe multiplied by sinn8 and integrated


over 21t gives
1t

J
-1t
sinn e de
e±jf;,cos9. =
0 (A2.13)

Hence from Eq. (A2.12), for any positive value of n and positive exponent of
the natural logarithm,
1t

f /~cose/nede = 21tj'jn(~) (A2.14)


-1t

In particular, when n = 0,

Jej~COSe
1t

de = 21tJo(~) (A2.15)
-1t
632 Appendix 2

An additional useful identity can be developed for n having a negative


value. Looking again at Eq. (A2.10), the only nonzero term on the right-hand
side of the integration over 21t will occur when k = Inl, irrespective of the
sign ofn. Hence from Eq. (A2.12), for n negative
1t

J
j~cose Inl -n
e cos(-n8)d8 = 21tj Jlnl(~) = 21tj J-n(~)
-1t (A2.16)
From Eq. (A2.16), the following identity can be stated:
(A2.17)
Another important identity can be derived for the case where the exponent
of the natural logarithm is negative, that is, taking the case of a negative expo-
nent of the natural logarithm from Eq. (A2.12)
1t

J
-j~cose -n
e cosn8dS = 21tj In(~) (A2.18)
-1t

Equation (A2.18) can be alternatively written as

(A2.19)
-7t

from which the following identity can be stated

(A2.20)
In particular when n = 0,
J o(-~) = Jo(~) (A2.21)
Figure A2.1 shows the shape of the first seven Bessel functions for argu-
ments up to 10. Note that only the first Bessel function Jo(~) has a nonzero
value for an argument of zero.
Jacobi-Anger and Bessel Function Relationships 633

0.8

0.6

0.4

0.2

-0.2

-0.4

-0.6
0 2 3 4 5 6 7 8 9 10
~
Figure A2.1 Bessel functionsJn(~) for n = 0,1, ... ,6.

Reference
[I] G.N. Watson, Theory 0.( Bessel [unctions, Cambridge University Press, Cam-
bridge, England, 1944.

You might also like