Dynamics at the Horsetooth, Volume A, Focussed Issue: Asymptotics and Perturbations Asymptotic Expansion of Bessel Functions; Applications to Electromagnetics Department of Electrical Engineering Colorado State University inadasek@engr.colostate.edu Report submitted to Prof. I. Oprea for Math 676, Fall Abstract. Bessel function is defined as particular solution of a linear differential equation of the second order known as Bessel s equation. This equation is often used as model of real physical problems. For instance, separation of the wave equation (wave equation in complex domain is called Helmholtz equation) in cylindrical coordinate system leads to Bessel s equation. Besides regular series expansion of the Bessel functions, this paper extends to asymptotic analysis based on contour integral representation of Hankel function. Keywords: Bessel functions, Asymptotic expansion, Electromagnetics Introduction Although, there are different approaches, Bessel functions of the first kind are introduced in Section by means of a generating function. In Section 3, Bessel s equation is derived based on field analysis inside a circular waveguide. To define the general system of solutions of the Bessel s equation, we present Bessel functions of the second order known as Neumann functions in Section 4. In section 5, we specify Hankel functions. Section 6 summarize all relations between Bessel functions. Finally, Section 7 explains asymptotic forms of the functions using contour integral definition of Hankel function. Bessel Function of the First Kind, J ν (z) One very convenient and instructive way to introduce Bessel functions is due to generating function. This approach provides useful properties of the functions because of its advantage of focusing on the functions themselves rather than on the differential equation they satisfy. Generating function is given in form g(z, t) = e (z/)(t /t) () This function is expanded in a Laurent series as function of t and complex variable z: e (z/)(t /t) = + n= J n (z) t n ()
where J n (z) are Bessel functions of the first kind, of order n (n is an integer). Expanding the exponentials, we have a product of two absolutely convergent series in zt/ and z/(t), respectively: ( z r t e zt/ e z/(t) r = ) ( r! ( ) m z ) m t m m! = r= r= ( ( ) m z ) (r+m) t (r m) r!m! = n= J n (z) = (n = r m, r = n + m) ( ( ) m z ) (n+m) t n m!(n + m)! ( ) m ( z ) (n+m) (3) m!(n + m)! This is regular expansion for Bessel functions of the first kind, of an integral order n, and it is valid for small argument z ( z ). For n <, Eq.(3) gives: J n (z) = ( ) m ( z ) (m n) (4) m!(m n)! Because n is an integer, (m n)! goes to infinity for m =,,, 3,...n and these terms in the expansion go to zero, so the series may start with m = n. Replacing m by m + n, we get: J n (z) = ( ) (n+m) ( z ) (n+m) (5) m!(n + m)! From Eqs. (3) and (5), we conclude that J n (z) and J n (z) are not independent but are related by: J n (z) = ( ) n J n (z) (6) This property, Eq. (6), is only valid for an integral order n. These series expansions, Eqs. (3) and (5) are also valid for n replaced by ν to define J ν (z) and J ν (z) for nonintegral order ν. Bessel functions J n (z), functions of two variables unrestricted z and restricted n (integer), are also called Bessel coefficients. General representation of Bessel functions of the first kind, of nonintegral order ν is defined by equation: J ν (z) = ( ) m ( z ) (ν+m) (7) m!γ(ν + m + ) where Γ is called Gamma function. The Gamma function is an extension of the factorial function with its argument shifted down by one, to real or complex number. If the argument of the function is positive integer: Γ(n) = (n )! (8) Also, function exists for all complex numbers with a positive real part except non-positive integers and it is defined throughout complex integral as follows: Γ(z) = t (z ) e t dt (9) Dynamics at the Horsetooth Volume A
The recurrence formulas for J ν (z) J ν (z) + J ν+ (z) = ν z J ν(z) J ν (z) J ν+ (z) = J ν(z) zj ν(z) + νj ν (z) = zj ν (z) zj ν(z) νj ν (z) = zj ν+ (z) () These relations are also valid for integral order n. 3 Cylindrical Waveguide In this section, we analyze wave propagation along metallic waveguide of circular cross section of radius a; the waveguide is located along the z axis of circular coordinate system (longitudinal axis of the guide coincides with z axis) as indicated in Fig. (). z a x y Figure : Cylindrical waveguide We assume that waveguide conductor is perfect, and dielectric inside the guide is homogeneous and without losses. We propose to study electromagnetic field inside the guide. Field expressions for TE and TM waves are derived based on first two Maxwell s equations coupled system which gives relation between electric and magnetic field: E = jωµh () H = jωεe () where E is electric field intensity vector, and H is magnetic field intensity vector [note equations are given in complex domain, so both vectors are complex; ω is angular frequency, ω = πf (f is Dynamics at the Horsetooth 3 Volume A
operating frequency of the guide), ε and µ are relative permittivity and permeability of the guide dielectric, respectively. Here, we show that for TE waves transverse components of electric and magnetic field can be expressed in terms of longitudinal component of magnetic field, and on the other hand, for TM waves, transverse components of electric and magnetic field can be expressed in terms of longitudinal component of electric field. In our case, transverse components are r and φ, and z is longitudinal component (in cylindrical coordinate system). Total electric and magnetic field can be written as: E(r, φ, z) = E r (r, φ, z)ˆr + E φ (r, φ, z) ˆ uφ + E z (r, φ, z) ẑ H(r, φ, z) = H r (r, φ, z)ˆr + H φ (r, φ, z) ˆ uφ + H z (r, φ, z) ẑ Assume that wave propagates in positive z direction, therefore, the electric and magnetic field dependance on z coordinate is given by multiplicative factor e jβz, where β is phase coefficient of the wave. Electric field components are expressed as follows: E r (r, φ, z) = E r (r, φ)e jβz E φ (r, φ, z) = E φ (r, φ)e jβz E z (r, φ, z) = E z (r, φ)e jβz (3) Magnetic field components are written in the same way. Cross product between operator and any vector in cylindrical coordinate system A (A = A r ˆr + A φ uφ ˆ + A z ẑ) is given by following formula: [ A z A = r φ A [ φ Ar ˆr + z z A z uφ ˆ + [ (Aφ r) A r ẑ (4) r r r φ After we apply Eq. (4) to the first Maxwell s equation, Eq. (), and equal the same vector components from left and right side, we obtain three scalar equations: ( ) Ez r φ + jβre φ = jωµh r (5) jβe r + E z r = jωµh φ (6) ( (reφ ) E ) r = jωµh z (7) r r φ In the similar fashion, we decompose the second Maxwell s equation, Eq. () on three scalar equations: ( ) Hz r φ + jβrh φ = jωεe r (8) jβh r + H z r = jωεe φ (9) ( (rhφ ) H ) r = jωεe z () r r φ Now, we have system of six scalar equations and six unknown field components. First step is to express transverse electric and magnetic field components, E r, H r, E φ, and H φ, in terms of longitudinal components E z and H z. If combine Eqs. (6) and (8), we get: E r (r, φ) = j ( K β E ) z r + ωµ H z () r φ Dynamics at the Horsetooth 4 Volume A
where K = ω εµ β. Similarly, after combination Eqs. (5) and (9) we obtain radial component of magnetic field expressed due to E z and H z : H r (r, φ) = j ( K βr H ) z r r ωε E z () φ Substituting the Eq. () into Eq. (9), and Eq. () into Eq. (6) we have φ component of electric and magnetic field, respectively: E φ (r, φ) = j ( ) β E z K r φ ωµ H z (3) r H φ (r, φ) = j ( K ωε E z r + β ) H z (4) r φ Finally, after substitute Eqs. () and (4) into Eq. (), we have wave equation for longitudinal component of electric field: E z r + r E z r + r E z φ + K E z = (5) If substitute Eqs. () and (3) into Eq. (7), we derive wave equation for longitudinal component of magnetic field vector in the same form as Eq. (5): H z r + r H z r + r H z φ + K H z = (6) Second step is to transform, for example, Eq. (5) into Bessel s equation using the method of separation of variables. Let E z (r, φ) = R(r)Φ(φ) plug into Eq. (5), divide it with product R(r)Φ(φ), and then after multiplication with r, we get: Note that Φ r R d R dr + r dr R dr + dφ Φ dφ + r K = (7) dφ dφ does not depend on r coordinate, so it must be constant, we take n : This equation has general solution in form: dφ Φ dφ = n (8) Φ(φ) = C sin(nφ) + C cos(nφ) = C 3 cos(nφ + φ ) It is obvious that field expressions must be periodic in terms of φ coordinate, Φ(φ + π) = Φ(φ), so constant n must be an integer; constant φ can be real and it defines the wave polarization, because of simplicity we take φ =. Now, Eq. (7) can be written as: d R dr + r dr dr + (K n )R = (9) r This equation represents Bessel s equation in cylindrical coordinate system, and the general solution is given in form: R(r) = C J n (Kr) + C Y n (Kr) where J n (x) is Bessel function of first kind, of integral order n, and Y n (x) is Bessel function of the second kind of order n (known as Neumann function), shown in Figs. () and (3), respectively. Dynamics at the Horsetooth 5 Volume A
Neumann functions tends to infinity if argument tends to zero (they have logarithmic singularity). Because the field must be finite at r =, therefore C =. Finally, the expression for z component of electric field intensity vector is: E z (r, φ, z) = E J n (Kr) cos(nφ)e jβz (3) where E = C 3 C. By analogy, from Eq. (6) we get the expression for z component of magnetic field intensity vector: H z (r, φ, z) = H J n (Kr) cos(nφ)e jβz (3) Substituting Eqs. (3) and (3) into Eqs. (), (), (3), and (4), we obtain the expressions for transverse field components, E r (r, φ), H r (r, φ), E φ (r, φ), and H φ (r, φ), respectively. If E z = and H z, we have transverse electric waves, TE waves (electric field has only transverse components, and magnetic field has both, transverse and longitudinal components). If E z and H z =, we have transverse magnetic waves, TM waves (magnetic field has only transverse components, and electric field has both, transverse and longitudinal components). Finally, if E z and H z, we have hybrid waves (electric and magnetic field have both, transverse and longitudinal components) along the guide..5.5 J x ( ) J( x) J x ( ) J3( x) J4( x) x 3 4 5 6 7 8 9 -.5 Figure : Bessel functions.6.4...4.6.8. Y x ( ) Y( x) Y( x) Y3( x) Y4( x) 4 6 8 x Figure 3: Neumann functions A fundamental system of solutions of Bessel s equation Dynamics at the Horsetooth 6 Volume A
Replacing n with ν (noninteger) in Eq. (9), we have more general form of Bessel s equation. Total solution of linear differential equation of second order includes two independent solutions. When ν is not an integer, a fundamental system of solutions of the equation is formed by functions J n u(z) and J ν (z). Otherwise, for ν = n J n (z) and J n (z) are not linearly independent (See Eq. (6)), so they do not form a fundamental system of solutions of Bessel s equation. To determine the fundamental system of solutions, we introduce Neumann functions Bessel functions of second kind. 4 Neumann Functions, Y ν (z) Whenever ν is not an integer, a fundamentals system of solutions of Bessel s equation for functions of order ν is formed by pair J ν (z) and J ν. In case when ν = n (n is an integer), functions J n (z) and J n (z) are linearly dependent, so J n (z) is not second solution of the equation. The second solution is obtained as combination J ν (z) and J ν (z) as follows: Y ν (z) = J ν(z) cos(πν) J ν (z) (3) This is Neumann function that also satisfy Bessel s equation because it is liner combination of functions J ν (z) and J ν (z). When ν = n, the second solution of the equation is given in following form: J ν (z) cos(πν) J ν (z) Y n (z) = lim (33) ν n More general form of Eq. (33) has been given by Neumann: Y n (z) = J n (z){log z s n } + m= where s n = + + 3 +... + n, s = 5 Hankel Functions, H ν (z) n (n m ) n!j m (z) (n m)!m!z (n m) ( ) (m ) (n + m) J n+m (z) (34) m(n + m) Hankel functions are given as two combinations of Bessel functions of the first and second kind, J ν (z) and Y ν (z) as follows: H () ν (z) = J ν (z) + jy ν (z) (35) H () ν (z) = J ν (z) jy ν (z) (36) where H ν () (z) and H ν () (z) stand for Hankel functions of the first and second kind, respectively. Since J ν (z) and Y ν (z) satisfy the same recurrence relations, Eq. (), and since the functions of the third kind are linear combination of J ν and Y ν, it follows that these same recurrence formulas are valid for functions of the third kind, H ν () (z) and H ν () (z) Dynamics at the Horsetooth 7 Volume A
6 Relations Between the Three Kind of Bessel Functions The following formulas express each function in terms of functions of the other two kinds. J ν (z) = H() ν (z) + H ν () (z) J ν (z) = ejπν H ν () (z) + e jπν H ν () (z) Y ν (z) = J ν(z) cos(πν) J ν (z) Y ν (z) = J ν(z) J ν (z) cos(πν) 7 Asymptotic Expansion = Y ν(z) + Y ν (z) cos(πν) = Y ν(z) cos(πν) Y ν (z) = H(), (37), (38) ν (z) H ν () (z), (39) j = ejπν H ν () (z) e jπν H ν () (z), (4) j H ν () (z) = J ν(z) e jπν J ν (z) = Y ν(z) e jπν Y ν (z), (4) j H ν () (z) = ejπν J ν (z) J ν (z) = Y ν(z) e jπν Y ν (z). (4) j In previous sections, varies representations of Bessel functions were shown in form of series expansion of increasing powers of the argument z, multiplied in some cases by log z (Eq. (34)). These series are valid for numerical computation when z (z ) is not so large it is comparable with 4(ν + ), 4(ν + ), 4(ν + 3),... In that case series converge rapidly. Frequently, in realistic physical problems it is necessary to know the behaviour of Bessel functions for large values of the argument z ( z ) which involves the asymptotic analysis. Regular series expansions of Bessel functions converge slowly. The main goal of this section is to present the new formulas, obtained by asymptotic analysis, as fundamental system of solutions of Bessel s equation for large values of argument z. Here, asymptotic analysis of Bessel functions is introduced based on contour integral representation of Hankel functions. 7. Asymptotic expansion of Hankel functions H ν () (z), H ν () (z) In this part, we derive the asymptotic expansions of Hankel functions starting with following integral form of Hankel function of the first kind, given by Hankel: ( ) / H ν () e j(z πν 4 π) e jβ ( (z) = πz Γ(ν + ) e u u ν + ju ) ν du (43) z Integral is valid when π < β < π and π + β < arg z < 3 π + β, provided that R(ν + ( ) ) >. ν Now, we apply the binomial theorem to factor + ju z. Since the expansion is not convergent all along the path of integration, we take finite number of terms and remainder: ( + ju ) ν p ( = ν) ( ) m u m + ( ν) ( ) p u p ( ( t) p ut ) (ν p ) dt z m! jz (p )! jz jz (44) Dynamics at the Horsetooth 8 Volume A
Then, choose any positive angle δ that satisfies inequalities: Therefore, arg z is bounded as: Then, β π δ, arg z ( π + β) π δ. π + δ arg z π δ ut jz sin δ, ( arg ut ) < π jz for the values of t and u under consideration, and so ( ut ) (ν p ) e π (sin δ) R(ν p ) = A p jz where A p is independent of z. After substituting Eq. (44) into Eq. (43) and integrating term-byterm, we find that where R () p A p (p )! ( ) [ / p H ν () (z) = e (z νπ 4 π) ( ν) mγ(ν + m + ) πz m!γ(ν + + R () )(jz)m p, (45) ( ν) { p Γ(ν + ( t) p dt )(jz)p e jβ e u u ν+p du } = B p z p, (46) where B p is function of ν, p and δ; it does not depend on z. Now, Eq. (45) can be written as: ( ) [ / p H ν () (z) = e j(z νπ 4 π) ( ν) mγ(ν + m + ) πz m!γ(ν + + O(z p ) )(jz)m In a similar manner, applying the integral form of Hankel function of the second kind: ( ) / H ν () e j(z πν 4 π) e jβ ( (z) = πz Γ(ν + ) e u u ν ju ) ν du (48) z and changing the sign of imaginary unit j throughout the previous work, we obtain the asymptotic expansion of Hankel function of second kind ( ) [ / p H ν () (z) = e j(z νπ 4 π) ( ν) mγ(ν + m + ) πz m!γ(ν + + O(z p ) )( jz)m Extending the asymptotic expansions Eq. (47) and Eq. (49) to infinity, we have (47) (49) ( ) / H ν () (z) e j(z νπ 4 π) ( ν) mγ(ν + m + ) πz m!γ(ν + (5) )(jz)m ( ) / H ν () (z) e j(z νπ 4 π) ( ν) mγ(ν + m + ) πz m!γ(ν + (5) )( jz)m Dynamics at the Horsetooth 9 Volume A
7. Asymptotic expansion of J ν (z), J ν (z), Y ν (z), and Y ν (z) Combining Eqs. (5) and (5) with Eqs. (37) - (4), we get the asymptotic expansion of Bessel functions of first and second kind, respectively ( ) [ J ν (z) cos(z πz πν 4 π) ( ) m (ν, m) (m) m sin(z πν 4 π) ( ) m (ν, m + ) (z) m+ J ν (z) Y ν (z) Y ν (z) where ( ) [ cos(z + πz πν 4 π) ( ) m (ν, m) (m) m sin(z + πν 4 π) ( ) [ sin(z πz πν 4 π) ( ) m (ν, m) (m) m + cos(z πν 4 π) ( ) [ sin(z + πz πν 4 π) ( ) m (ν, m) (m) m + cos(z + πν 4 π) (ν, m) = ( ) m ( ν) m( + ν) m m! = Γ(ν + m + ) m!γ(ν m + ) ( ) m (ν, m + ) (z) m+ ( ) m (ν, m + ) (z) m+ ( ) m (ν, m + ) (z) m+ These asymptotic expansions for Bessel functions are valid for large argument z and arg z < π, and the error due to stopping the summation at any term is the order of magnitude of that term multiplied by /z.,,,. Dynamics at the Horsetooth Volume A
References [ Antonije Djordjevic and Dejan Tosic, Mikrotalasna tehnika.elektrotehnicki fakultet, 6. [ Arfken and Weber, Mathematical methods for physicists. Elsevier, 5. [3 Watson, G. N., A treatise on the theory of Bessel functions. Syndics of the Cambridge University Press, 96. Dynamics at the Horsetooth Volume A