21. Cylindrical Symmetry: Bessel Functions

Introduction

The Bessel functions are solutions to Laplace’s equation in cylindrical coordinates ρ,ϕ,z,  that is:

2 φ= 1 ρ ρ ρ φ ρ + 1 ρ 2 2 φ ϕ 2 + 2 φ z 2 = 2 φ ρ 2 + 1 ρ φ ρ + 1 ρ 2 2 φ ϕ 2 + 2 φ z 2 =0.  

The usual separation of variables routine leads to solutions

φ ρ,ϕ,z =R ρ Φ ϕ Z z  

with

d 2 Z z d z 2 k 2 Z=0, d 2 Φ ϕ d ϕ 2 + ν 2 Φ=0, d 2 R ρ d ρ 2 + 1 ρ dR ρ dρ + k 2 ν 2 ρ 2 R ρ =0.  

The first two equations are of course simple: For positive k 2 ,  the solutions for Z z  will be exponentials.

For negative k 2 ,   Z z  is oscillatory, e ±ikz ,sinkz,  etc.  

To ensure a single-valued potential, the equation for the angular variation, Φ ϕ ,  must have solutions e ±iνϕ ,  with ν  an integer.

Bessel Functions

For the positive k 2  case (often called hyperbolic behavior in the z  direction) the change of variable x=kρ  puts the radial equation into what is the standard Bessel form:

d 2 R d x 2 + 1 x dR dx + 1 ν 2 x 2 R=0,x=kρ.  

In contrast to the Legendre polynomials for the spherical case, these Bessel functions are infinite series.

The Bessel equation is second-order, so for given ν  there are two independent solutions.

First look at the equation near the origin: the 1 in the 1 ν/x 2  term can be dropped in the limit x0,  and the solutions are then proportional to x ν , x ν .  Now look far away: the ν 2 / x 2  is negligible, and solutions look like combinations of x 1/2 sinx, x 1/2 cosx.  

(By the way, this x 1/2  amplitude is just what we need for propagating waves in two dimensions, discussed next semester, because the wave energy goes as the square of the amplitude, so as the wave goes outwards the same total energy crosses successive circles (or cylindrical surfaces) of circumference 2πr.  )

Here are plots of those solutions which are well-behaved at the origin, with the standard normalization.

Behavior near the origin and far away:

J ν x = 1 Γ ν+1 x 2 ν +, J ν x 2 πx cos x νπ 2 π 4 .  

These J ν x  are called cylindrical Bessel functions.

The behavior goes from power law to oscillation in the region xν.  

In fact, it's not difficult to find the exact solution as a series.  Trying a solution x λ 1+ c 1 x+ c 2 x 2 +  in the differential equation, we find λ=±ν , coefficients of odd powers are zero, and successive coefficients of even powers have simple ratios, the result for the nonsingular solution is

J ν x = x 2 ν n=0 1 n Γ n+1 Γ n+ν+1 x 2 2n .  

(Recall Γ n+1 =n!  )

The Neumann Function

(Graph from Wikipedia Commons)

For integer ν=n , J n x = 1 n J n x  so we have only found one solution.  The other is called the Neumann function, defined as

N ν x = J ν x cosνπ J ν x sinνπ ,  

it remains independent even as ν  becomes integral (details in Stone and Goldbart, p 279).

The Neumann function is singular at the origin:

N ν x = 1 π x 2 ν Γ ν +  

but similar to J ν x  far away:

N ν x 2 πx sin x νπ 2 π 4 .  

The transition from small x  to large x  behavior again takes place when xν.  

Hankel Functions (in and out waves at infinity)

The Bessel functions of the third kind, called Hankel functions, are the linear combinations:

H ν 1 x = J ν x +i N ν x H ν 2 x = J ν x i N ν x  

Evidently, these behave at large x  as outgoing and incoming waves:

H ν 1 , 2 2 πx e ±i xνπ/2π/4 .  

Modified Bessel Functions I ν x , K ν x  (exponential at infinity)

If in solving 2 φ=0  in a cylinder the given boundary conditions require oscillatory behavior in the z-  direction, then k 2 <0  and the Bessel functions have pure imaginary argument.  It is convenient to introduce new notation in this case, so we define

I ν x = i ν J ν ix , K ν x = 1 2 π i ν+1 H ν 1 ix ,  

 real functions for real x,ν.  

Exercise:  check the behavior of these functions for very small and very large argument by substituting ix  in the results above for Bessel and Hankel functions. In particular, note that I  has exponential increase, K  exponential decrease at large x,  apart from the usual x 1/2  term.

Radial Equation Inside a Grounded Cylinder

Since the interior of the cylinder includes the radial origin, this solution must be made up of J ν x 's.  

The ν  will in fact be the integer m  from the azimuthal equation. 

Furthermore, the solution is identically zero on the cylinder ρ=a,  so the only possibilities are the J ν k νn ρ  where k νn = α νn /a,  and the α νn  are the zeroes of the Bessel function, J ν α νn =0.  

These zeroes are of course tabulated, and the first few α νn  are given in Jackson: the spacing soon tends to π :

ν=0: α 01 =2.4, α 02 =5.5, α 03 =8.7, ν=1: α 11 =3.8, α 12 =7.0, α 13 =10.2, ν=2: α 21 =5.1, α 22 =8.4, α 23 =11.6,

You can see these, approximately, on the graphs of the first J ν x  's given above.

The Fourier-Bessel Series

Suppose now we have to solve 2 φ=0  inside a cylinder, going to zero at the walls ρ=a.  

We shall show that the set of functions ρ J ν α νn ρ/a  are an orthogonal set on 0ρa.   An expansion of an arbitrary function in terms of these is called a Fourier-Bessel series.

The equation satisfied by J ν kρ  is:

1 ρ d dρ ρ d J ν kρ dρ + k 2 ν 2 ρ 2 J ν kρ =0.  

Take any k 1 , k 2  to be any of the k νn = α νn /a,  remember the α νn  are the zeroes of J ν ,  so J ν k 1 a = J ν k 2 a =0.  

Then

ρ d dρ ρ d J ν k 1 ρ dρ + k 1 2 ρ 2 m 2 J ν k 1 ρ =0, ρ d dρ ρ d J ν k 2 ρ dρ + k 2 2 ρ 2 m 2 J ν k 2 ρ =0.  

Now multiply the first equation by J ν k 2 ρ , the second by J ν k 1 ρ  and subtract to get

k 2 2 k 1 2 ρ J ν k 1 ρ J ν k 2 ρ = d dρ J ν k 2 ρ ρ d J ν k 1 ρ dρ J ν k 1 ρ ρ d J ν k 2 ρ dρ .  

 Integrating from ρ=0  to ρ=a,  the term on the right is zero at both ends, so

k 2 2 k 1 2 0 a ρ J ν k 1 ρ J ν k 2 ρ dρ =0.  

Notice that this integral includes a weight function ρ .  To construct an orthonormal basis, we need also that

0 a ρ J ν k 1 ρ 2 dρ = a 2 2 J ν+1 k 1 a 2 .  

(Proving this requires recursion properties of the Bessel functions we'll discuss later.)

We can now expand an arbitrary function f ρ  equal to zero at ρ=a  on the interval 0ρa :

f ρ = n=1 c νn J ν k νn ρ  

where

c νn = 2 R 2 J ν+1 2 k νn R 0 a ρf ρ J ν k νn ρ dρ.  

This is the conventional Fourier-Bessel series, for functions vanishing at ρ=a,  that is, Dirichlet boundary conditions.

Another possible expansion is in functions whose derivatives vanish at the boundary, that is, J ν y νn ρ/a  where J ν y νn =0.   

But there’s more: if we replaced k 2  by k 2 ,  the Z z  would be sinkz  or coskz.  The Bessel equation would be changed to

d 2 R d x 2 + 1 x dR dx 1+ ν 2 x 2 R=0  

and the solutions are called modified Bessel functions. These are exponentially growing or decaying functions, they’re really just Bessel functions with pure imaginary argument,

(Graph from Wikipedia Commons)

I ν x = i ν J ν ix K ν x = π 2 i ν+1 H ν 1 ix H ν 1 = J ν +i N ν .  

So what do the possible solutions of 2 φ=0  inside the cylinder look like? Obviously, that depends on the boundary conditions, but we can make one general remark. Recall from Earnshaw’s theorem that φ  cannot have a minimum in the volume. This means that all three components cannot be of the oscillatory type. The ϕ  component must be oscillating (or constant) so the other two must be of opposite types. We can see this: if k 2 >0,  the z  direction behavior is hyperbolic, the radial is oscillating; if k 2 <0  the opposite is the case.

 Bessel Generating Function and Identities

The two-dimensional Helmholtz (wave) equation 2 + k 2 f r,ϕ =0   has (nonsingular) solutions e inϕ J n kr .   Any other nonsingular solution to the wave equation should be expandable in terms of these functions, in particular a plane wave:

e iky = e ikrsinϕ = n=0 c n e inϕ J n kr .  

In fact we'll show the c n  are all equal to one, so  

e ikrsinϕ = n=0 e inϕ J n kr .  

From this, we have

J n x = 1 2π 0 2π e inϕ+ixcosϕ dϕ.  

Tip:  any time you come across an exponential of a trig function, you're probably dealing with a Bessel function!

The generating function is also often written (putting e iϕ =t,kr=x  )

e x 2 t 1 t = n= t n J n x .  

Expanding the left-hand side and collecting powers of t  we eventually find

e x 2 t 1 t = n= t n s=0 1 s Γ s+1 Γ s+n+1 x 2 s+n ,  

the correct expression for the Bessel function, proving that the coefficients were indeed all equal to one, as assumed.  (OK, it was hindsight.)

From the expression for J n x  and from the generating function, it's not difficult to find the recurrence relations

2 J n x = J n1 x J n+1 x , 2n x J n x = J n1 x + J n+1 x .  

Exercise:  do it! They both come from differentiation … but with respect to what?