]>

Laplace Equation: Static and Low-Frequency Approximations

6
Laplace Equation: Static and Low-Frequency Approximations
*

In an ideal transmission line, the voltage phasor ˜VV˜ satisfies the ordinary differential equation (2.54):

2˜Vz2+β2˜V=0,
2V˜z2+β2V˜=0,

where

β2=ω2LC=ω2v2.
β2=ω2LC=ω2v2.

The time-harmonic equation in three dimensions (Helmholtz equation) is given by

2˜E+k2˜E=0,
2E˜+k2E˜=0,

where

k2=ω2v2=ω2με
k2=ω2v2=ω2με

and ∇2 is the Laplacian operator.

If the frequency is zero (f = 0) or low such that β2 = k2 ≈ 0, the Helmholtz equation can be approximated by the Laplace equation.

Static or low-frequency problems satisfy the Laplace equation

(6.1)2Φ=0,
2Φ=0,

where Φ is called the potential. In the first undergraduate course in electromagnetics, the one-dimensional solution of the Laplace equation in various coordinate systems is discussed and illustrated through simple examples. In the following section, we list these solutions for completeness.

6.1One-Dimensional Solutions

Cartesian coordinates:

(6.2)Φ(x)=A1x+A2.
Φ(x)=A1x+A2.

Cylindrical coordinates:

(6.3)Φ(ρ)=A1lnρ+A2,
Φ(ρ)=A1lnρ+A2,
(6.4)Φ(ϕ)=A1ϕ+A2.
Φ(ϕ)=A1ϕ+A2.

Spherical coordinates:

(6.5)Φ(r)=A1r+A2,
Φ(r)=A1r+A2,
(6.6)Φ(θ)=A1ln(tan(θ/2))+A2.
Φ(θ)=A1ln(tan(θ/2))+A2.

6.2Two-Dimensional Solutions

6.2.1Cartesian Coordinates

In Chapter 3, we solved the waveguide problem by solving the Helmholtz equation

(6.7)2Fx2+2Fy2+k2cF=0
2Fx2+2Fy2+k2cF=0

by assuming

(6.8)F=f1(x)f2(y),
F=f1(x)f2(y),

where f1(x) and f2(y) are given in the form of a template, given, respectively, by Equations 3.15 and 3.16, where k2c=k2x+k2y.k2c=k2x+k2y. In the case of the Laplace equation, k2c=0,k2c=0, giving k2x=k2y.k2x=k2y.

The implication is that if one of the first four elements in Equation 3.15 is chosen for the x-variation, then one of the last four elements in Equation 3.16 has to be chosen for the y-variation, and |kx| = |Ky|. The choice of f1(x) and f2(y) can be reversed, if the boundary conditions require such a choice. The point is illustrated through an example.

Example 6.1: Figure 6.1 shows the geometry for the example.

Let the boundary conditions be

B.C.1Φ=0,y=0,B.C.2Φ=0,y=b,B.C.3Φ=0,x=0,B.C.4Φ=f(y)=100sin3πyb,x=a.
B.C.1Φ=0,y=0,B.C.2Φ=0,y=b,B.C.3Φ=0,x=0,B.C.4Φ=f(y)=100sin3πyb,x=a.

Solution

From B.C.1 and B.C.2, the y-variation is

f1(y)~sinnπyb,n=1,2,,.
f1(y)~sinnπyb,n=1,2,,.

From B.C.3, the x-variation has to be

f1(x)~sinhnπxb,n=1,2,,.
f1(x)~sinhnπxb,n=1,2,,.

B.C.4 is satisfied if n = 3. Thus,

Φ=A3sinh3πxbsin3πyb.
Φ=A3sinh3πxbsin3πyb.

From B.C.4,

100sin3πyb=A3sinh3πabsin3πyb,
100sin3πyb=A3sinh3πabsin3πyb,
A3=100sinh(3πa/b),
A3=100sinh(3πa/b),
(6.9)Φ=100sinh(3πx/b)sinh(3πa/b)sin3πyb.

A little thought would show that we could have written the solution (Equation 6.9) by inspection. The factor sinh(3πa/b) in the denominator neutralizes the value of sinh(3πx/b), when x = a is substituted in the process of implementing B.C.4. The constant 100 is the Fourier coefficient of the third harmonic. B.C.4 requires only the third harmonic of the Fourier series. All other Fourier coefficients are zero if we considered the expansion of f(y) = 100 sin(3πy/b) in Fourier series. Suppose f(y) is a more general function than given in B.C.4. Obviously, the Fourier coefficients of other harmonic can be nonzero and

(6.10)Φ=f(y)=n=1Bnsin3πyb.

Let us illustrate such Fourier series solution through Example 6.2.

image

FIGURE 6.1
Geometry for Example 6.1.

Example 6.2: Same as Example 6.1, except that

B.C.4Φ=f(y)=100.

Solution

The boundary at x = a is a conductor of constant voltage of 100 V.

We have to determine the Fourier coefficient Bn when f(y) is defined to be a constant in the interval 0 < y < b (Figure 6.2).

We will make two interesting points about the Fourier expansion being sought in this problem. The Fourier series is for a periodic function. However, the function f(y) is only defined over half of the period of the fundamental sin(πy/b). The full period of the fundamental is 2b. Since the desired Fourier series is to have only sine terms, the function has to be an odd function. The function can be continued for the full period, from (−b) to (+b), as shown in Figure 6.3.

Note that the solution is valid only in the field region 0 < x < a and 0 < y < b; the continuation of f(y) in the region beyond 0 < y < b, is immaterial to the validity of the solution in the field region; however, the condition is important in determining the Fourier coefficients [1].

For the problem on hand,

Bn=2periodperiodf(y)sinnπybdy,
(6.11)Bn=22bbbf(y)sinnπybdy.

Since f(y) is an odd function of y and sin(nπy/b) is an odd function of y, the product is an even function and evaluating for the given f(y):

Bn=2bb0f(y)sinnπybdy,
Bn=200bbnπcosnπyb|b0,
(6.12)Bn={400nπ,nodd,0,neven.

Thus,

(6.13)Φ(x,y)=n=1,odd400nπsinh(nπx/b)sinh(nπa/b)sin(nπyb),0<x<a,0<y<b.

Example 6.2 brings out several interesting points.

The boundary conditions 1, 2, and 3 dictated the type of the restricted Fourier series expansion, in the example sine series only, and the continuation of the periodic function, beyond the original domain, can be constructed to achieve the restricted Fourier series. In Appendix 6A, we examine the possible periodic continuation of a function x(t), defined over a finite range 0 < t < t1, so that the Fourier series will have

  1. odd harmonic only;

  2. sine terms only (Example 6.2);

  3. cosine and odd harmonic only;

  4. sine and odd harmonic only.

In subsequent sections, we will be discussing the expansion of an arbitrary function defined over a finite interval in Bessel series and other orthonormal functions.

image

FIGURE 6.2
(a) Geometry for Example 6.2 and (b) function f( y) in B.C.4.

image

FIGURE 6.3
Periodic continuation of f (y) of Example 6.2 for having only sine terms in the Fourier series expansion.

image

FIGURE 6.4
Geometry for Example 6.3.

Example 6.3: Determine the potential in the field region described by the geometry given in Figure 6.4.

Solution

Let us write the solution for the problem by inspection, based on the experience we gained in solving Examples 6.1 and 6.2:

(6.14)Φ(x,y)=m=1,odd400mπsinh(mπ(by)/a)sinh(mπb/a)sinmπxa.

The steps that allowed us to write this solution by inspection are as follows.

Step 1: The requirement of multiple zeros on the x-axis including a zero at x = 0 leads to the choice of

(6.15)f1(x)=sinmπxa.

Step 2: Since Φ = 0 when y = b, we choose

(6.16)f2(y)=sinhmπa(by).

Note that sinh(mπ/a)(b − y) is a linear combination of sinh(mπy/a) and cosh(mπy/a), which are in the template of functions for f2(y).

Step 3: The term sinh(mπb/a) in the denominator is the neutralizing (normalizing) factor in satisfying the boundary condition Φ = 100, when y = 0, so that Bm = 400/mπ is the Fourier coefficient.

image

FIGURE 6.5
Geometry for Example 6.4.

Example 6.4: Determine the potential in the field region described in the geometry of Figure 6.5.

Solution

(6.17)Φ1(x,y)=n=1,odd400nπsinh(nπx/b)sinh(nπa/b)sinnπyb,
(6.18)Φ2(x,y)=m=1,odd200mπsinh(mπy/a)sinh(mπb/a)sinmπxa,
(6.19)Φ=Φ1+Φ2.

Example 6.4 is solved by using superposition (Figure 6.6).

image

FIGURE 6.6
The use of superposition for Example 6.4.

In Chapter 3, we simply studied the various modes that can exist in a waveguide with a view to get the cutoff frequencies of various modes. We did not study the excitation of the various modes by a source in a waveguide. The amplitudes of the various modes can be obtained by expanding the source function in the various modes. The modes often are the orthonormal functions permitting such expansions. Reference 2 makes use of such expansions.

6.2.2Circular Cylindrical Coordinates

Case 1:

(6.20)Φ=Φ(ρ,ϕ).

Let us first consider that the potential is a function of the ρ and ϕ coordinates. Then

(6.21)2Φ(ρ,ϕ)=1ρρ(ρΦρ)+1ρ22Φϕ2=0.

Let

(6.22)Φ(ρ,ϕ)=f(ρ)g(ϕ),

1ρρ(ρ[f(ρ)g(ϕ)]ρ)+f(ρ)ρ22g(ϕ)ϕ2=0,
g(ϕ)ρρ(ρdf(ρ)dρ)+f(ρ)ρ22g(ϕ)ϕ2=0.

Multiplying the above equation by ρ2/(f(ρ)g(ϕ)), we obtain

(6.23)ρf(ρ)ρ(ρdf(ρ)dρ)term1=n2+1g(ϕ)2g(ϕ)ϕ2term2=n2=0.

Term 1 is entirely a function of ρ and term 2 is entirely a function of ϕ, and hence each must be a constant and the sum of the constants must be zero. Denoting the separation constant by n2, Equation 6.23 can be written as two ordinary differential equations:

(6.24)ρ2d2f(ρ)dρ2+ρdf(ρ)dρn2f(ρ)=0,
(6.25)d2g(ϕ)dϕ2+n2g(ϕ)=0.

The solution for f(ρ) can be written as a linear combination of ρn and ρn and thus

(6.26)f(ρ)={ρnρn},g(ϕ)={cosnϕsinnϕ}.
image

FIGURE 6.7
Geometry for Example 6.5.

Example 6.5: Commutator problem

Figure 6.7 gives the geometry for the commutator problem. The field region is 0 < ρ < a and the upper part of the long cylinder is at the potential V0 and the bottom part is at the potential –V0.

Solution

From the physics of the problem, we know that the potential is finite at ρ = 0. The second term in the template for f(ρ), ρn, blows up as ρ tends to zero. Hence, we choose ρn as the ρ-variation. The boundary condition Φ (a, ϕ) = F(ϕ), sketched in Figure 6.8, is an odd function of ϕ.

So, by inspection, we write

(6.27)Φ(ρ,ϕ)=n=1Bn(ρa)nsinnϕ

and

(6.28)Bn=2ππ0F(ϕ)sinnϕdϕ={4V0nπ,nodd,0,neven.

Case 2:

(6.29)Φ=Φ(ρ,z).

Using the separation of variable technique, two ordinary differential equations can be obtained, in terms of the separation constant k2:

(6.30)d2f1dρ2+1ρdf1dρ+k2f1=0,

(6.31)d2f2dz2k2f2=0.

Equation 6.30 is the same as that of Equation 3.59 with n = 0. Therefore, the solution can be written as

(6.32)f1={J0(kρ)Y0(kρ)},f2={coshkzsinhkzekz}

or

(6.33)f1={I0(Kρ)K0(Kρ)},f2={cosKzsinKz},

where

(6.34)K2=k2.
image

FIGURE 6.8
Sketch of the function F(ϕ) for Example 6.5.

image

FIGURE 6.9
Geometry for Example 6.6.

Example 6.6: In the field region 0 < ρ < a and 0 < z < l, 0 < ϕ < 2π, the Laplace equation is satisfied.

The curved surface, ρ = a, 0 < z < l, is at a constant potential V0 as shown in Figure 6.9. The ends of the can are grounded.

Determine Φ(ρ, ϕ, z).

Solution

Note the symmetry with respect to the ϕ-coordinate and hence

(6.35)Φ(ρ,ϕ,z)=Φ(ρ,z).

Since we need multiple zeros on the z-axis and the potential is zero for z = 0, we choose

(6.36)f2=sinKz,
(6.37)K=nπl.

From Equation 6.33, noting K0 blows up when ρ → 0, we choose I0 for ρ variation and write by inspection

(6.38)Φ(ρ,z)=n=1,odd4V0nπI0(nπρ/l)I0(nπa/l)sinnπzl.
image

FIGURE 6.10
Geometry for Example 6.7.

Example 6.7: The field region is the same as that of Example 6.6. However, the boundary conditions are different and are shown in Figure 6.10:

(6.39)Φ(a,z)=0,
(6.40)Φ(ρ,0)=0,
(6.41)Φ(ρ,l)=F(ρ)=V0.

The boundary condition Φ (a,z) = 0 requires an oscillatory function for ρ-variation. Hence, we choose, the template of Equation 6.32. Moreover, f1 has to be finite on the z-axis (ρ = 0). By inspection, we write

(6.42)Φ(ρ,z)=m=1AmJ0(pm(ρ/a))sinh(pmla)sinhpmza,

where pm = xom is the mth root of J0. A few of these values are given in Table 2.4.

The boundary condition Φ (ρ, l) = F (ρ) = V0 can be satisfied if

(6.43)Φ(ρ,l)=F(ρ)=V0=m=1AmJ0(xomρa).

Equation 6.43 is an expansion of an arbitrary function in a Bessel series. Such an expansion, analogous to the Fourier series in trigonometric functions, is possible since these Bessel functions also possess orthogonal properties:

(6.44)a0ρJ0(pmρa)J0(pqρa)dρ=0,mq,
(6.45)a0ρ[J0(pmra)J0(pqra)]dρ,m=q=a22J21(pq).

Multiplying Equation 6.43 by ρJ0(pqρ/a) and integrating from 0 to a, we obtain

a0F(ρ)ρJ0(pqρa)dρ=aρm=1AmJ0(pmρa)J0(pqρa)dρ=Aqa22J21(pq).

Thus,

(6.46)Aq=2a2J21(pq)a0F(ρ)ρJ0(pqρa)dρ

When F(ρ) = V0

(6.47)Aq=2V0a2J21(pq)a0ρJ0(pqρa)dρ.

Using the integral

(6.48)xJ0(x)dx=xJ1(x),

we obtain

(6.49)a0ρJ0(pqρa)dρ=a2pqJ1(pq).

Substituting Equation 6.49 into Equation 6.47, we obtain

(6.50)Aq=2V0pqJ1(pq),
(6.51)Φ(ρ,z)=m=1((2V0/pm)/J1(pm))J0(pm(ρ/a))sinh(pml/a)sinhpmza.

6.3Three-Dimensional Solution

6.3.1Cartesian Coordinates

The three-dimensional solution of the Laplace equation in a closed box may be obtained on the same line as the two-dimensional solution discussed in Section 6.2.1. One can also view the solution from the viewpoint of the rectangular cavity problem discussed in Section 4.1. The central point is that in the case of the Laplace equation,

(6.52)k2=k2x+k2y+k2z=0,

which in turn means that if f1(x) and f2(y) are trigonometric functions, then f3(z) necessarily has to be the hyperbolic type. Example 6.8 illustrates the technique.

Example 6.8

In a rectangular box of dimensions a, b, and h, shown in Figure 4.1, the faces x = 0, a; y = 0, b; z = 0 are all at zero potential. For the face z = h, the potential is V0. Determine the potential Φ inside the field region 0 < x < a, 0 < y < b, and 0 < z < h.

Assume that the Laplace equation is satisfied in the field region.

Solution

The solution can be written by inspection as

(6.53)Φ(x,y,z)=m=1n=1Bmnsinh[(mπ/a)2+(nπ/b)2]1/2zsinh[(mπ/a)2+(nπ/b)2]1/2hsinmπxasinnπyb.

Bmn is the Fourier coefficient of a double Fourier series expansion of the function

(6.54)Φ(x,y,h)=F(x,y)=V0.

It can easily be evaluated using the orthogonality property and is given by

(6.55)Bmn={16V0mnπ2,mandnareodd,0otherwise.

6.3.2Cylindrical Coordinates

Instead of trigonometric and hyperbolic functions, the template contains the Bessel functions and the modified Bessel functions for the ρ-variation.

6.3.3Spherical Coordinates

By substituting k = 0 in Equation 5.10, the equation for f1 can be obtained. Its solution gives

(6.56)f1={rn,r(n+1).

The equations for f2 and f3 are unchanged and are given, respectively, by Equations 5.11 and 5.13, and thus the three-dimensional solution of the Laplace equation in spherical coordinates is given by

(6.57)Φ(r,θ,ϕ)={rnr(n+1)}{Pmn(cosθ)Qmn(cosθ)}{cosmϕsinmϕ}.

The properties of the Legendre polynomials are given in Chapter 5.

image

FIGURE 6.11
(a) Geometry and (b) sketch of the boundary condition for Example 6.9.

Example 6.9

In a spherical volume of radius a, the Laplace equation is satisfied. The top-half of the surface at r = a, 0 < θ < π/2, is at the voltage V0 and the bottom-half of the surface at r = a, π/2 < θ < π, is at –V0, as shown in Figure 6.11. Determine the potential inside and outside the sphere.

Solution

The boundary condition can be stated as

(6.58)Φ(a,θ)=F(θ),

which is sketched in Figure 6.11b.

From the symmetry, it is obvious that the potential does not depend on the ϕ-coordinate. Thus, it is a two-dimensional problem. By choosing f3 = cos mϕ and m = 0, the ϕ dependence is removed:

(6.59)Φ(r,θ)={rnr(n+1)}{P0n(cosθ)Q0n(cosθ)}.

Note that the associated Legendre polynomials of zero degree (m = 0) P0n or Q0n are called Legendre polynomials Pn or Qn, respectively. Figure 5.1 presents the graphs of these functions. Table 5.3 consists of the polynomial expressions, in terms of cos θ, of these functions.

For Example 6.9, the solution can be obtained separately for inside and outside the sphere.

Case 1: r < a.

(6.60)Φ(r,θ)=m=0An(ra)nP.n

From the boundary condition,

(6.61)Φ(a,θ)=F(θ)=m=0AnP.n

The coefficient An can be determined based on the orthogonality property listed in Table 5.3. Multiplying both sides by Pm sin θ and integrating, we have

π0F(θ)Pmsinθdθ=π0n=0AmPmPnsinθdθ=Am22m+1.

Thus,

(6.62)Am=2m+12π0F(θ)Pmsinθdθ.

Substituting for f(θ), we obtain

Am=2m+12[π/20Pmsinθdθππ/2Pmsinθdθ].

Evaluating,

A0=0,
A1=34V0.

The solution is completed by evaluating other Am coefficients.

Case 2: r > a.

(6.63)Φ(r,θ)=n=0An(ra)(n+1)P.n

Example 6.10

This example [1] allows us to determine the field’s off-axis, knowing the fields on the axis of a circular loop. Consider the direct current in a circular loop of radius a, in the xy-plane with the center of the loop at the origin. It is well known that the magnetic field at a point on the z-axis is given by

H=ˆzHz,
Hz=a2I2(a2+z2)3/2=I2a(1+z2a2)3/2.

From the binomial expansion,

(1+u)3/2=13u2+15u28105u348+,|u|<1.

Thus, for z < a,

(6.64)Hz|axis=I2a[13u2+15u28105u348+].

In a region where there are no currents, we have

(6.65)×H=0,
(6.66)H=Φm,

where Φm is called the scalar magnetic potential and since

(6.67)H=0,
(6.68)2Φm=0.

First consider r < a:

(6.69)Φ(r,θ)=m=0bn(ra)nPn,
(6.70)Φ(r,θ)|θ=0=m=0bn(za)n.

Note Pn|cos 0 = 1.

Comparing Equation 6.70 with Equation 6.64, we obtain

b0=(I2a)(1),
b1=0,

b2=32(I2a),
b3=0,
b4=158(I2a).

Thus,

(6.71)Hz(r,θ)=I2a[132(ra)2P2+158(ra)4P4+].

There are several homework problems illustrating the use of the solution in spherical coordinates for practical static problems.

References

  1. 1.Ramo, S., Whinnery, J.R., and Van Duzer, T. V., Fields and Waves in Communication Electronics, 3rd edn., Wiley, New York, 1994.
  2. 2.Ji, C., Approximate analytical techniques in the study of quadruple-ridged waveguide (QRW) and its modifications, Doctoral thesis, University of Massachusetts Lowell, Lowell, MA, 2007.
..................Content has been hidden....................

You can't read the all page of ebook, please click here login for view all page.
Reset
3.144.230.82