14. 2D Electrostatics: Complex Variable Methods I

Introduction

If we have a function w  of a complex variable z,

w x,y =u x,y +iv x,y ,z=x+iy,u,v real,

then in regions of the plane where w z  is differentiable, the real functions u,v  separately obey Laplace’s equation,

2 u x,y =0, 2 v x,y =0

and furthermore the two families of equipotentials intersect each other at right angles, so the equipotentials for potential u x,y  are the field lines for v x,y  and vice versa.

We’ll look at some simple examples.

Single Line of Charge

The potential from a single infinitely long line of charge of linear density λ,  which we take along the z  -axis, is

φ x,y = λ 2π ε 0 lnr,r= x 2 + y 2 .

From now on, we’ll drop the factor λ/2π ε 0  and reinstate it at the end.

Now

lnz=lnr e iθ =lnr+iθ

is analytic (differentiable) everywhere except at the origin, so its real part,

u x,y =lnr,

satisfies Laplace’s equation, and has as equipotentials circles centered at the origin.

Consider the annular space between the circles r=a  and r=b.  The potentials on these circles are lna,lnb  respectively, the potential difference is V=ln b/a .

It follows from the uniqueness theorem that if we have a coaxial cable consisting of concentric cylindrical conductors, and the annular space between them has inner and outer radii a,b,  the field in that space must be as given here, for unit linear charge density, and hence the capacitance per unit length,

C= λ V = 2π ε 0 ln b/a .

An actual coaxial cable would have insulation plus probably dielectric, which we ignore that can be adjusted for later.

Notice that in contrast to the three-dimensional case, where a single spherical conductor has a well-defined capacitance, a single cylinder does not. (Why? If you actually measured its capacitance by putting known charge on it and measuring the change in potential, what value, approximately, would you expect to find?)

But what about the imaginary part of lnz ? That’s

Imlnz=v x,y =θ.

This obeys 2 v=0,  as you should check by finding the two-dimensional 2  in r,θ  coordinates. But it’s not single valued:  if you go around once you add 2π.  That doesn’t matter, of course, if the space is restricted so you can’t get all the way round.

The function φ=v x,y =θ  describes the potential in a region between two plates held at different potentials and meeting at an angle.  Looking at the single line diagram above , take the positive x -axis and the 45 ˚ line above it as the plates. The field lines are semicircles, the equipotentials are radial.

For another example, take both plates horizontal, as in this diagram:

Exercise:  Describe the charge distribution on the plates.

Wedges and Edges: Intersection of Grounded Plates

We’ll now examine the field in a region where two grounded flat conductors intersect, for example near an edge of a hollow grounded metal cube.  The potential is from faraway charges, plus the charge induced on the grounded plates. We’ll begin with the plates meeting at right angles.

In the previous lecture, we discussed the real and imaginary parts of the analytic function z 2 .   The imaginary part was 2xy,  constant on a family of hyperbolae having the axes as asymptotes.  In particular, it was zero on the axes, the degenerate hyperbola.

This means these hyperbolae are the equipotentials for some field in a corner between two sheets of grounded conductor at right angles. 

The other hyperbolae are the field lines, going out perpendicular to the surface, as they must (parallel components would generate a current).

Focusing on the ++ quadrant, with the planes x=0,y=0  the grounded conductors, the picture above shows equipotentials and field lines near the corner for a charge far out along the 45 ˚ line.  In fact, we could have found it using images.

Exercise: Where and what are the appropriate image charges? 

What about two grounded sheets at 45 ˚

Clearly Im z 4  will work for the equipotentials, z 4  having zero imaginary part on both sheets. (Write z 4 = r 4 e 4iθ .  )  The equipotentials now are on curves of constant

Im z 4 =4xy x+y xy .

(Note where the zero equipotentials are.)  Again, this approximates the field near the corner from a faraway charge.

But z 4  is also a solution for the 90 ˚ case! How could that be?

Exercise:  For the 90 ˚ case, what about putting charges far out along the π/8  and 3π/8  lines?   Would that give z 4  behavior near the corner? Do the charges have the same sign? Would images work? Do the grounded plates have induced charge with the same sign?

How about a general angle β  ?  Well, z π/β  would work so would z mπ/β ,  with m  an integer.  In general, the potential would be a series of such terms,

φ ρ,ϕ =V+ m=1 a m ρ mπ/β sin mπϕ/β ,

dominated by the first close in to the corner (because it’s the lowest power) but needing the others to fit more distant boundary requirements.

The charge densities on the sides are given by the normal components of the electric fields, that is, the components in the ϕ  direction, taking only the leading term,

E ϕ ρ,ϕ = 1 ρ φ ϕ = π a 1 β ρ π/β 1 cos πϕ/β .

This will give the same sign charge density on both plates, that is, ε 0 π a 1 β ρ π/β 1 .

Exercise: Will the image method work for any angle?

Opening Up

Notice from this expression that if β=π  the charge density is independent of ρ  near the corner not surprising, because there isn’t a corner, we’ve flattened it! 

More interesting, if β>π  the charge density becomes infinite at the corner. 

Edge of a Conductor

The extreme case is β=2π , just a sharp edge of a conductor, where σ ρ 1/2 .  So, if you have a charged infinitely thin conducting disc, for example, charge will pile up around the edge with this local density profile. There is still a finite amount of charge on integrating in from the edge, obviously.  We’ll return to this disc problem later: note the contrast with three dimensional objects, where all the charge on a conductor goes to the boundary.

Electrostatic Fields in Corners: Orthogonal Functions

We’ll momentarily take a break from the complex plane, and analyze 2 φ=0  in the usual cylindrical coordinate representation, following Jackson.

We’re dealing with 2 φ=0  in two dimensions, taking ρ,ϕ  as the coordinates,

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

and take separable solutions

φ ρ,ϕ =R ρ Ψ ϕ

 to find

1 R d 2 R ρ d ρ 2 = ν 2 , 1 Ψ d 2 Ψ ϕ d ϕ 2 = ν 2 ,

having solutions

R ρ =a ρ ν +b ρ ν ,Ψ ϕ =Acosνϕ+Bsinνϕ.

How does these solutions translate to the complex number approach?  They’re just real and imaginary parts of simple powers, z ν , z ν !   (Remember z ν = r ν e iνθ = r ν cosνθ+isinνθ .)  There is also, of course, a ν=0  solution, just the log potential from a line of charge.