You are on page 1of 62

Boundary­Value Problems in Electrostatics II

Reading:  Jackson 3.1 through 3.3,  3.5 through 3.10

Legendre Polynomials
These functions appear in the solution of Laplace's eqn in cases with
azimuthal symmetry.
Consider a point charge q located at (x, y, z) = (0, 0, a).
z

q

a

x

d

r

y

Potential  at point (r, , )

1

where

is the “generating 
function” for Legendre polynomials.

then g(t, x) can be expanded in a binomial series.
To derive the binomial expansion, 
start with Maclaurin's Thm:

, etc.

2

e.g., n = 5:

Binomial Thm:

3

 the following theorem is useful: Proof:  Start with 4 . with coeffs that depend on x : To this end.We would like to express this as a power series in t.

5 A few examples: .

6 => Since this vanishes for all values of t. each power of t must vanish separately   (recurrence relation) .

With repeated  application. we find: Note that  Pn(x =1) = 1 7 . given P0(x) = 1 and P1( x) = x. as we found with the explicit formula.  For example. we find (with n = 1) .This can be used to find higher order Legendre polynomials.

8 .

9 .

10 Differentiating recurrence relation wrt x : .

= 11 .

Legendre's eqn may also be written as: (interchanging m and n) Subtract eqns and integrate from x = ­1 to 1: 0 12 .(“Legendre's differential eqn”) Legendre polynomials satisfy Legendre's eqn (hence the name).

13 =>  Legendre polynomials are orthogonal on interval [­1. What about n = m ? (cross terms vanish because of orthogonality) . 1].

 called “Rodrigues' formula”: . Legendre series: with Next. 1]. we'll derive a useful alternative formula for computing Legendre polynomials.14 Legendre polynomials are also complete on [­1.

15 .(as derived earlier) (1) (2) (3) (1)  Differentiating x2n­2r n times yields (2)  The sum is extended from [n/2] to n.  In each of these terms the        exponent of x is < n  =>  n differentiations yields zero. we're just        adding zero.  So.

16 Laplace eqn in  spherical coords: Separation of variables: If the region under consideration includes the full range of azimuth (0 ≤  < 2). =>  const must be negative: Thus.  with m an         integer . then Q() must be periodic (with period 2).

17 Eqn for P(): (“generalized Legendre eqn”) .

 the general soln of the Laplace eqn in spherical coords for cases with azimuthal symmetry is SP 3.  Other values of ℓ are excluded on physical grounds.. quantities do  not depend on the azimuthal angle ). The same is  true of the 2nd linearly independent soln (Legendre's eqn is a 2nd order diff  eqn) for cases with ℓ = 0. since in these cases the soln diverges at x = +1 or ­1 ( = 0 or ).4  .When m = 0 (as for cases with azimuthal symmetry. the 2nd soln for ℓ = 0 is  ln(tan /2). So. 18 We know that Legendre polynomials satisfy Legendre's eqn for non­negative integer values of ℓ.. 2. this reduces to the Legendre eqn. 1.  For example. i. .1—3..e.

 which is required in cases that lack azimuthal symmetry.Now we return to the generalized Legendre eqn.  Recall Leibnitz's formula for differentiating products: Legendre's eqn: Differentiate  m times: 19 . Or: Solutions are obtained by differentiating Legendre's eqn.

  m ­1  are non­zero. Define . only the terms with s = m+1.  m.20 So.

This is the generalized Legendre eqn. Since the highest power of x in Pl(x) is xl. otherwise 21 . “associated Legendre eqn”. or. we must have m ≤ l. So. solns are The “associated Legendre functions” are defined as Note:  Not all texts include the factor (­1)m.

We can use Rodrigues' formula to define associated Legendre fcns with
negative m.
Recall Rodrigues' formula:

(also valid for negative m, 
                            if |m| ≤ l)
Next, we'll show that
Apply Leibnitz's formula to

22

23
Both s and l+m­s must be ≤ l; otherwise, one of the derivatives is zero.
Thus, for m ≥ 0, the sum runs from s = m to l.
                m < 0,                               s = 0 to l+m = l ­ |m|

So,

24
s = s' + m

 other values of l and m.satisfy the generalized Legendre eqn for integer values of l.  As with azimuthally symmetric Laplace eqn  and Legendre polynomials. as well as other solns. 25 . are unphysical. m with l ≥ 0 and ­l ≤ m ≤ l.

 ]. Summary of angular functions: When the region of interest includes  ∈ [0. are orthogonal over ­1 ≤ x ≤ 1. 2). so we'll omit it. The proof is straightforward (using Rodrigues' formula and integrating by parts) but cumbersome. (orthonormal) When the region of interest includes  ∈ [0. with m an integer and m ≥ 0 with m any integer 26 .For fixed m and l ≥ |m|.

Normalization: (orthonormal) Define “spherical harmonics” These fcns are orthonormal and complete over the unit sphere: 0 ≤  ≤   and   0 ≤  < 2.Recall:  the orthogonal functions in a Fourier series can be expressed as With a = 2. Q() are orthogonal. 27 .  So. the functions are eimx.

28 Orthonormality: or: Completeness: .

29 .

Note:  for  m = 0. consider  = 0  (cos  = 1): 30 . Expansion of a function in spherical harmonics: As a special case.

3. r' and  is the angle btwn  Since G is a soln of the Laplace eqn everywhere except .31 General soln of Laplace's eqn (when region of interest  includes  0 ≤  < 2  and  0 ≤  ≤ ): SP 3. 3. where r< (r>) is the smaller (larger) of r.6 Consider the Green function From sample problem 3.5.

32 .Since we require G  0 as r  ∞ and G remains finite as r  0. G is continuous at r = r'  => radial part of .

33 .(1) is automatically satisfied  and (2) becomes Using the completeness relation.

 p. p 16): . 19): Next. From the method of images (Topic 2.34 Comparing this with the expansion in Legendre polynomials yields (“Addition thm for spherical harmonics”) Recall (Topic 2 notes. let's find an analogous expression for for the region outside a sphere with radius a.

Dirichlet Green function for the region between 2 spherical shells.Since r'' < a.  with radii a and b  (a < b): 35 .  r< = r''  and  r> = r  in this case.

36 So. G is continuous at r'   => As before. .

37 => Soln of (1) and (2): .

=> with 38 .

7 Bessel functions These appear in the soln of Laplace's eqn in cylindrical coords. recall the Gamma function: . First.39 => SP 3.

40 0 Integrate by parts: “recursion formula” . . used to define (z) for z < 0 etc.

41 .

42 Bessel's equation: Try with c0 ≠ 0   (fully general. if c0 were 0. just                                                                          increment s) Must be true for any x  =>  term in each power of x must vanish .

.43 higher powers of x : etc.

=>  even terms yield For the odd terms: etc. .44 For the special case  = ± ½ : (s = ±   when   = ∓ ½ ) etc.

=>  soln when  = ± ½  is Check: 45 .

 then the terms in the ­ series with j ≥  have a term  ( ­ ) = 0 in the denominator  =>  the series diverges. Take  ≥ 0  (fully general. If  is an integer.  We need to find a    2nd soln in this case (more later..  then we have 2 linearly independent solns to our 2nd order differential eqn. c1 = 0  =>  only the even terms remain.For the general case that  ≠ ± ½ .  If  ≠ integer.  For the + soln: Absorbing the 2 (+1) into the constant. since we have solns with ±).).. we find solns of the form (“Bessel function of the first kind”) 46 .

 When  = integer. It can be shown that J(x) and J­(x) are linearly independent. =>  terms with  j = 0  to  j =  ­ 1  vanish Substitute  k = j ­  : . is also a soln of Bessel's eqn. define J­(x) using the above eqn.47 For  ≠ integer.

 N(x) = 0/0. Note that J0(0) = 1 and J(0) = 0  ( > 0)  (easily obtained from the series). J(x) and J­(x) are NOT linearly independent for  = integer. Note that some authors denote Neumann fcns as Y(x) rather than N(x).So.  But. Define the Neumann function (or. The Neumann fcns diverge at  x = 0.  is defined and linearly independent of Jn(x).  For  = integer. Bessel fcn of the 2nd kind) by J(x) and N(x) are linearly independent for  ≠ integer (since J  and J­ are). 48 . for n an integer.

49 .

50 .

51 Define the Hankel functions  (or. as can be verified from the series representation: Asymptotic forms: For  x ≪ 1. and are also linearly  independent. Bessel fcns of the 3rd kind) by: These are more convenient for some problems.  where  ≈ 0.57721566 is the  Euler­Mascheroni constant . all satisfy the following recursion relations.

  Denoting the nth root of J by xn: (accurate to at least 3 figures) .52 For  x ≫ 1.  The transition between the limiting forms occurs when  x ~ . The asymptotic forms reveal that each Bessel fcn has an infinite number of  roots.

.  n = 1. 2. . 114­115 of Jackson) The set of Bessel fcns J(xnr/a) is also complete  =>  an arbitrary fcn  f (r)  can be expanded in a Bessel series (also called a Fourier­Bessel or Bessel­ Fourier series): (works for all  ≥ ­1) 53 . (proof on pp..Orthogonality: Consider fixed  ≥ 0 and roots xn.

 etc. is called the modified Bessel eqn.  The linearly independent solns are taken as These are real­valued for real x and  and  are called modified Bessel fcns.54 Return to Bessel's eqn: Replace  x = iu   (u = ­ix). Bessel's eqn becomes: Solns are  J(iu).  N(iu).   Solns are  J(x) = J( iu). I(x) diverges as x  ∞  and  K(x) diverges as x  0. .  N(iu).  etc.

  I(x) only has a zero at x = 0 for  > 0.   55 .I0(x) and K(x) have no zeros.

 .Laplace eqn in cylindrical coords (r. z): => Separation of variables: 56 .

 2 yield the same Q) Replacing  x = kr. so  = 0.  (3) becomes This is the Bessel eqn (+ sign) or the modified Bessel eqn (­ sign).57 (sign must be negative if full range of azimuth   is allowed. .

 the solns are: [ = m  (integer).Assuming the full range of azimuth is allowed. the general soln is 58 .  so that  Q(2) = Q(0)] Soln for +k2 : Soln for ­k2 : So.

In both cases.   Find  everywhere inside the cylinder. since they diverge                                                                                                             at r = 0. z­axis is the symmetry axis. Example:  cylinder with length L and radius a.   = VL(r. )  for  z = L  (top face). and   = Va(. z)  for  r = a  (curved face).  Nm( k1r) and Km( k2r) do not contribute.  = 0  for  z = 0  (bottom face). Consider 2 separate problems: solves the Laplace eqn and satisfies the full set of                                                                 boundary conditions. .Boundary conditions will restrict the values of k1 and k2 and in  59 typical applications will force many of the coeffs to vanish.

This is a 2D Fourier series  (a “standard” Fourier series for  and a Fourier sine series for z).1)   = 0  for  z = 0  and  z = L do not contribute.  cos k2z  cannot contribute (≠ 0  at  z = 0). At  r = a. 60 . since no linear combination of these can vanish at 2 different points.  Also.

[xmn is the nth root of Jm(x)] .61 except  m = 0: 2)   = 0  for  z = 0  and  r = a Since Im(k2r) has no zeros besides r = 0. This leaves only Jm(k1r) among the radial fcns. these terms cannot contribute.

Exponentials in z must combine to yield zero at z = 0  Thus. At  z = L. except  m = 0: 62 . This is a 2D expansion:  Fourier × Bessel series.