Professional Documents
Culture Documents
Resumende Electrostática
Resumende Electrostática
M. Siddikov
Marat.Siddikov@usm.cl
Q is given by ~ (r 1 ) = Q
∇·E ×
~ = 1
E
Q
r̂ =
1 Q
r , (1)
4π0
2 12 3 12
| {z }
4π0 r12 4π0 r12 const
| {z }
const divr 12 1
× 3
+ (r 12 · ∇) 3
=0
Gauss’ law: r12 r12
ˆ since
Φ= ~ · dA
E ~ = Q/ε0 divr 12 = 3,
1 a·r
(a · ∇) 3 = −3 5 ,
r r
Control question 2 1 3
(r · ∇) 3 = − 3 ,
Write out the Gauss’ law in differential r r
form (using the theorem of Gauss). Near r 12 ≈ 0 need to be careful since
Apply your equation to the Coulomb field function is singular.
of the pointlike electric charge. Be
careful at the point r = 0 !!! To show that the rhs is ∼ δ (r 12 ), could
regularize expression for E , e.g. as
~ = lim Q r 12
E ,
~ = ρ,
∇·E a→0 4π0 (r 212 + a2 )3/2
ε0 | {z }
const
evaluate div and after that take lima→0 .
Static electric fields
Control question 3
Demonstrate that for pointlike charge
~ ≡∇×E
rot E ~ = 0. In view of
superposition principle it is valid for any
static distribution of charges.
~ = 1 Q 1 Q
E r̂ =
2 12
r ,
3 12
(1)
4π0 r12 4π0 r12 ~ (r 1 ) = Q
∇×E ×
4π0
| {z }
const | {z }
const
Control question 3 ∇ × r 12 1
× 3
+ r 12 × ∇ 3
=0
r12 r12
Demonstrate that for pointlike charge
~ ≡∇×E
rot E ~ = 0. In view of since
superposition principle it is valid for any
static distribution of charges. ∇ × r 12 = 0,
1 r
Please send your reply via ZOOM Chat ∇ = −3 5 ,
r3 r
(as LaTeX or tiny screenshot)
1
⇒ (r × ∇) = 0.
r3
Static electric fields
~ ≡∇×E ~ = 0. Control question 4
For pointlike charge rot E
In view of superposition principle it is Explain how the potential (1) depends on
valid for any static distribution of the choice of r 0 and the shape of the
charges. path between r 0 and r ?
⇓ Control question 5
There is uniquely defined function which Write out the potential created by a
we call potential, such that single pointlike charge, and by a body
ˆ r with electric charge density ρ(~r ).
d r 0 · E r 0 , (1)
φ(~r ) = −
r0
E (r ) = −∇φ
⇓
1 Q
There is uniquely defined function which φpointlike = ,
4π0 r12
we call potential, such that
ˆ ~r ˆ
1 1
d r 0 · E r 0 , (1) d 3 r 1 ρ (r 1 )
φ(~r ) = − φgeneral (r ) = ,
4π0 |r − r 1 |
E (r ) = −∇φ
ˆ
1 r − r1
The equations ~ part (r ) =
E d 3 r 1 ρ (r 1 ) ,
4π0 |r − r 1 |3
~ = ρ,
| {z }
∇·E const
ε0
~ Now we’ll discuss E homog in detail
∇×E =0
Easier to work with potential and
are (part of) the equations of Maxwell for Laplace’s equation,
electostatics in the vacuum.
∆φ(~r ) = 0.
Laplace’s equation
∆φ(~r ) = 0.
There are different methods which You might have seen in undergraduate courses
Laplace’s equation Spherical (coordinates {qi } =
Explicit form {r , θ, ϕ},
∆φ(~r ) = 0. hr = 1, hθ = r , hϕ = r sin θ)
1 ∂ 2 ∂φ
∆ is a second-order differential operator ∆φ = 2 r +
Its structure in orthogonal curvilinear r ∂r ∂r
∂2φ
coordinates {qi }: 1 ∂ ∂φ 1
+ 2 sin θ + 2 2
Q ! r sin θ ∂θ ∂θ r sin θ ∂ϕ2
j hj ∂φ
X 1 ∂ Cylindrical (coordinates {qi } =
∆φ =
hi2 ∂q i {r , ϕ, z},
Q i
i j hj ∂q
hr = 1, hϕ = r , hz = 1)
where hi are Lamé coefficients
Cartesian ({qi } = {x, y , z}, all hi = 1) 1 ∂ ∂φ
∆φ = r +
r ∂r ∂r
∂2φ ∂2φ ∂2φ
∆φ = + + 1 ∂2φ 1 ∂2φ
∂x 2 ∂y 2 ∂z 2 + 2 2
+ 2 2
r ∂ϕ r sin θ ∂ϕ2
1 ∂ 2 K (z)
= κ2
K (z) ∂z 2
Laplace’s equation -the term in the 1st line depends only on
Spherical coordinates, φ(r , θ, ϕ) = r ; the term in the second line depend only
R(r )T (θ)F (ϕ) on θ
⇒they both are constants,
∆φ 1 ∂ ∂R(r )
0= = 2 r2 + 1 ∂
∂R(r )
φ r R(r ) ∂r ∂r r2 =λ
R(r ) ∂r ∂r
1 ∂ ∂T (θ)
+ 2 sin θ 1 ∂
∂T (θ)
m2
r sin θT (θ) ∂θ ∂θ sin θ − 2 = −λ,
sin θT (θ) ∂θ ∂θ sin θ
1 ∂ 2 F (ϕ)
+ 2 .
r 2 sin θF (ϕ) ∂ϕ2 Equation for T (θ) after substitution
Dependence 2on ϕ only in the last term θ → z = cos θ turns into classical equa-
1 ∂ F (ϕ)
⇒ = −m2 = const, tion for associated Legendre polynomi-
F (ϕ) ∂ϕ2
als, has nonsingular solutions only if λ =
F (ϕ) = e ±imϕ , −`(` + 1), ` ∈ N
F (ϕ + 2π) = F (ϕ) ⇒ m ∈ Z.
d d
(1 − x 2 ) P`m (x) +
Remaining equation: dx dx
∆φ 1 ∂ ∂R(r ) m2 m
0 = r2 = r2 + + `(` + 1) −
P` (x) = 0,
φ R(r ) ∂r ∂r | {z } 1 − x 2
m2 −λ
1 ∂ ∂T (θ)
+ sin θ − 2
sin θT (θ) ∂θ ∂θ sin θ ⇒ T (θ)F (ϕ) ∼ Y`m (θ, ϕ)
Laplace’s equation Equation for R(r ):
Spherical coordinates, φ(r , θ, ϕ) =
R(r )T (θ)F (ϕ) 2 0 `(` + 1)
R 00 + R − R=0
r r2
∆φ 1 ∂ ∂R(r )
0= = 2 r2 + β`m
φ r R(r ) ∂r ∂r ⇒ R` (r ) = α`m r ` + , α`m , β`m = const
r `+1
1 ∂ ∂T (θ)
+ 2 sin θ
r sin θT (θ) ∂θ ∂θ
X β`m
1 ∂ 2 F (ϕ) ⇒ φ(r ) = α`m r ` + `+1 Y`m (θ, ϕ) .
+ 2 2 . r
r sin θF (ϕ) ∂ϕ2 `m
|m|
α`m , β`m are unknown coefficients,
⇒ T (θ)F (ϕ) = P` (cos θ) e imφ should be fixed from boundary conditions
∼ Y`m (θ, ϕ)
-”spherical harmonics”, m ∈ Z, ` ∈
N, |m| < ` due to periodicity in ϕ and
requirement that result is not singular.
In what follows we’ll just use Y`m (θ, φ)
for angular part
(actually Y`m includes normalization con-
stant in front of P`m e imφ )
Laplace’s equation
∆φ = 0
X ` β`m
⇒ φ(r ) = α`m r + `+1 Y`m (θ, ϕ) . (1)
r
`m
Control questions
∆φ = 0 What conditions can we use as “bound-
Have seen that can solve in different ary conditions” ? Could we impose condi-
systems tions for field E instead of φ?
The choice of the “best” system is dic- Are boundary conditions sufficient to fix
tated by symmetries (e.g. imagine what the solution ? Does Laplace’s equation
boundary conditions You would have to permit more than one solution in certain
use for spherical capacitor in Cartesian ref- cases ?
erence frame)
Sometimes more than one coordinate Please send me your replies via ZOOM
system might be used Chat
Proof (reductio ad absurdum):
Laplace’s equation Assume φ1 (r ) and φ2 (r ) satisfy the same
∆φ = 0 boundary conditions
Two types of boundary conditions: U(r ) := φ1 (r ) − φ2 (r )
Dirichlet boundary condition: fix poten-
tial, φ|S on surface S should satisfy ∆U = 0, though with zero
Neumann boundary condition: fix nor- boundary conditions
∇ · (U∇U) = U∆U + (∇U)2
mal component of E
∂φ Apply Gauss theorem to both parts, inte-
n · E |S = − n · ∇φ|S = − grate over
the volume inside
surface S
∂n S ˆ
where n is a normal vector. ∆U + (∇U)2 =
dV U |{z}
If we have more than one surface, can =0
˛ ˛
have different types of b.c. at different
∂U
surfaces = d S · (U ∇U) = dS U
∂n
Use either Dirichlet or Neumann, but For Dirichlet b.c. U = 0 at the surface
not both at the same surface (incompati- For Neumann ∂U/∂n = 0 at the surface
ble or redundant) ˆ
Uniqueness theorem ⇒ dV (∇U)2 = 0
There is only one solution of the Laplace ⇒U = const inside volume; const = 0
equation which satisfies all the Dirichlet due to b.c. for Dirichlet, arbitrary value
or Neumann boundary conditions. for Neumann.
Green function ρ
φhomog = 0 for isolated distribution of
∆φ = − charges
0
If ∃ additional border conditions, need
we got result as a sum of homogeneous & to take them into account
“particular solution” In simplest cases could do this properly
φ = φhomog + φpart choosing “correct” reference frame, in-
spiration from symmetry properties
In general case not possible. Recall
ˆ that b.c. are imposed on full φ, and
1 1
⇒ φpart (r ) = − d 3 r 1 ρ (r 1 ) , if φpart 6= 0, end up with highly non-
4π0 |r − r 1 |
trivial b.c. for φhomog even for simplest
Can rewrite φpart using Green function geometries.
of Laplace’s operator (∆), which satisfies Example: electric charge near the sur-
face
∆G (r ) = δ 3 (r )
ˆ
⇒ φ(r ) = dV 0 GD (r − r 0 ) ρ(r 0 )+
˛
∂GD (r − r 0 )
+ dS φ(r 0 ) (1)
∂n
Neumann boundary condition
ˆ
⇒ φ(r ) = dV 0 GN (r − r 0 ) ρ(r 0 ) + (2)
˛
∂φ(r 0 )
+ hψi − dS GN (r − r 0 ) ,
∂n0
˛
hφi = dS φ /S