Professional Documents
Culture Documents
Simple Radiating Systems
Simple Radiating Systems
Parag Bhattacharya
SOAS, ADBU
∂ − → − → ρ
∇2 φ +(∇ · A) = − (1)
∂t 0
−
→
1 ∂2 A −
−
→ → − → − → 1 ∂φ −
→
∇2 A − 2 − ∇ ∇ · A + = −µ0 J (2)
c ∂t2 c2 ∂t
Uncoupling of equations (1) and (1) is achieved by exploiting the arbitrariness
−
→
of φ and A.
Equations (1) and (2) can be written in a much simpler manner as follows:
∂L ρ
2 φ + =− (3)
∂t 0
−
→ − → −
→
2 A + ∇ = −µ0 J (4)
2
where we define the D’Alembertian operator as
1 ∂2
2 ≡ ∇2 −
c2 ∂t2
and
−
→ −
→ 1 ∂φ
L≡∇·A+ 2
c ∂t
Parag Bhattacharya Simple Radiating Systems
Gauge Transformations
−
→ −
→ −
→
We are free to impose any conditions on φ and A as long as E and B remain
unchanged.
Suppose there are 2 sets of potentials that give the same fields...
−
→ −
→
Then both (φ, A) and (φ0 , A 0 ) are equally acceptable.
φ ↔ φ0
−
→ −
→
A ↔ A0
−
→ − →
which leave the ( E , B) unchanged is known as a gauge transformation.
−
→ − →
We also say that the ( E , B) are gauge invariant, since the gauge
transformations do not affect them.
−
→ −
→
−
→ −
→ ∂ A0 −
→ ∂A
E = −∇φ0 − = −∇φ −
∂t ∂t
−
→
−
→ ∂ −→ → −
→ ∂A
⇒ ∇(φ + β) + ( A + − α ) = ∇φ +
∂t ∂t
−
→ ∂−→
α
⇒ ∇β + =0
∂t
−
→ ∂ −→
⇒ ∇β + (∇λ0 ) = 0
∂t
∂λ0
−
→
⇒∇ β+ =0 (2)
∂t
∂λ0
Equation (2) implies that β + is space-independent, and depends only on
∂t
∂λ0
time, i.e. β + = k(t)
∂t
∂λ0
⇒β=− + k(t) (3)
∂t
∂λ0
β=− + k(t) (3)
∂t
We now define: Z t
λ ≡ λ0 − k(τ )dτ
0
∂λ
β=−
∂t
−
→ −
→
α = ∇λ
Therefore, with a suitable chioce of λ, the following is a gauge transformation:
−
→0 −→ − →
A = A + ∇λ
∂λ
φ0 = φ −
∂t
where λ is known as the gauge function.
−
→ − →
This means that ( E , B) remain unchanged when
−
→ −
→
1 We add ∇λ to A, and
2 Simultaneously, subtract
∂λ
from φ
∂t
ρ(−
→
r 0 , t)
Z
1
φ(−
→
r , t) = dτ 0
4π0 |r −−
−
→ → r 0|
The Coulomb gauge is often used when no sources are present.
Then φ = 0 and we have
−
→
−
→ ∂A −
→ −→ −
→
E =− ; B =∇×A
∂t
−
→
For any well-defined vector field A, defined in a volume τ and bounded by a
surface S, the divergence theorem gives:
−
→ − → −
→
Z I
∇ · Adτ = A · n̂da (1)
τ S
−
→ −
→
Let A = ξ ∇ψ, where ξ, ψ are arbitrary scalar fields.
Now,
−
→ − → − → −
→ −
→ −→
∇ · A = ∇ · (ξ ∇ψ) = ξ∇2 ψ + ∇ξ · ∇ψ (2)
and
−
→ −
→ ∂ψ
A · n̂ = ξ ∇ψ · n̂ = ξ (3)
∂n
Using (2) and (3) in (1):
−
→ − →
Z I
∂ψ
(ξ∇2 ψ + ∇ξ · ∇ψ)dτ = ξ da (4)
τ S ∂n
This is known as Green’s 1st Identity.
−
→ − →
Z I
∂ψ
(ξ∇2 ψ + ∇ξ · ∇ψ)dτ = ξ da (4)
τ S ∂n
Since ξ and ψ are arbitrary, we can redefine:
−
→ −
→
A = ψ ∇ξ
Then (4) becomes:
−
→ − →
Z I
∂ξ
(ψ∇2 ξ + ∇ψ · ∇ξ)dτ = ψ da (5)
τ S ∂n
Subtracting (5) from (4) gives:
Z I
∂ψ ∂ξ
(ξ∇2 ψ − ψ∇2 ξ)dτ = ξ −ψ da (6)
τ S ∂n ∂n
∇2 φ
Z I
1 0 ∂ 1 1 ∂φ
φ∇2 − − dτ = φ − da0
τ |→
r −− →r 0| |−
→
r −− →r 0| S ∂n0 R R ∂n0
ρ(−
→r 0)
Z I
3 −→ −
→ 0 0 ∂ 1 1 ∂φ
⇒ −φ4πδ ( r − r ) + dτ = φ 0 − da0
τ 0 R S ∂n R R ∂n0
ρ(−
→
r 0) 0
Z I
1 ∂ 1 1 ∂φ
⇒ −4πφ(− →
r)+ dτ = φ 0 − da0
0 τ R S ∂n R R ∂n0
Therefore,
ρ(−
→
r 0)
Z I
1 1 1 ∂φ ∂ 1
φ(−
→
r)= dτ 0 + −φ 0 da0 (7)
4π0 τ |r −−
−
→ →
r 0| 4π S R ∂n0 ∂n R
Uniqueness Theorem
The solution of the Poisson’s equation
ρ
∇2 φ = −
0
is unique inside a volume τ , subject to either the Dirichlet or Neumann
boundary conditions on the closed bounding surface S.
Proof
Assume, to the contrary, that 2 distinct solutions φ1 and φ2 exist which satisfy
the same boundary conditions.
Therefore, at the boundary S, we must have:
ρ
∇2 φ1 = ∇2 φ2 = −
0
Let us define another function
U ≡ φ1 − φ2
within τ and on S.
−
→
Z I
∂U
(U ∇2 U + |∇U |2 )dτ = U da
∂n
Zτ IS
−
→ 2
(U × 0 + |∇U | )dτ = 0 × 0da
τ S
−
→
Z
|∇U |2 dτ = 0
τ
−
→
This implies that ∇U = 0 inside τ .
This further implies that U = φ1 − φ2 is constant within the volume τ
Also, U = φ1 − φ2 = 0 on S.
The above two statements imply that U = φ1 − φ2 = 0 inside τ .
Hence, φ1 = φ2 everywhere inside τ .