Green's Functions

Green's Functions β€” The Propagator

The Green's function is the fundamental building block of scattering theory. It describes the field produced by a point source and serves as the kernel of every integral equation in this chapter. Understanding its behavior in 2D and 3D β€” the oscillation, the decay, the singularity at the source β€” is essential for building physical intuition about wave propagation.

Definition:

Free-Space Scalar Green's Function

The Green's function G(r,rβ€²)G(\mathbf{r}, \mathbf{r}') satisfies

βˆ‡2G+ΞΊ02G=βˆ’Ξ΄(rβˆ’rβ€²),\nabla^2 G + \kappa_{0}^{2} G = -\delta(\mathbf{r} - \mathbf{r}'),

with the Sommerfeld radiation condition at infinity. In 2D and 3D:

G2D(r,rβ€²)=j4H0(2)(ΞΊ0∣rβˆ’rβ€²βˆ£),G_{\text{2D}}(\mathbf{r}, \mathbf{r}') = \frac{j}{4}H_0^{(2)}(\kappa_{0}|\mathbf{r} - \mathbf{r}'|),

G3D(r,rβ€²)=eβˆ’jΞΊ0∣rβˆ’rβ€²βˆ£4Ο€βˆ£rβˆ’rβ€²βˆ£,G_{\text{3D}}(\mathbf{r}, \mathbf{r}') = \frac{e^{-j\kappa_{0}|\mathbf{r} - \mathbf{r}'|}}{4\pi|\mathbf{r} - \mathbf{r}'|},

where H0(2)H_0^{(2)} is the Hankel function of the second kind (consistent with the eβˆ’jΟ‰te^{-j\omega t} convention). The Green's function propagates a point source at rβ€²\mathbf{r}' to the observation point r\mathbf{r}.

The choice between H0(1)H_0^{(1)} and H0(2)H_0^{(2)} depends on the time convention. With eβˆ’jΟ‰te^{-j\omega t}, outgoing waves use H0(2)H_0^{(2)}; with e+jΟ‰te^{+j\omega t} (common in physics), use H0(1)H_0^{(1)}.

,

Physical Interpretation of the Green's Function

The Green's function represents a cylindrical wave (2D) or spherical wave (3D) emanating from a point source:

  • 2D: ∣G∣∼1/ΞΊ0r|G| \sim 1/\sqrt{\kappa_{0} r} β€” the amplitude decays as 1/r1/\sqrt{r} (energy spreads over a circle).
  • 3D: ∣G∣∼1/(4Ο€r)|G| \sim 1/(4\pi r) β€” the amplitude decays as 1/r1/r (energy spreads over a sphere).

The phase eβˆ’jΞΊ0re^{-j\kappa_{0} r} oscillates with spatial period Ξ»=2Ο€/ΞΊ0\lambda = 2\pi/\kappa_{0}. Higher frequency (larger ΞΊ0\kappa_{0}) produces more oscillations per unit distance.

2D Green's Function Visualization

Visualizes the 2D free-space Green's function G(r,rβ€²)=(j/4)H0(2)(ΞΊ0∣rβˆ’rβ€²βˆ£)G(\mathbf{r}, \mathbf{r}') = (j/4)H_0^{(2)}(\kappa_{0}|\mathbf{r} - \mathbf{r}'|) as a function of observation position.

Left panel: Real part of GG, showing the oscillatory wavefronts emanating from the source.

Right panel: Magnitude ∣G∣|G|, showing the 1/r1/\sqrt{r} decay characteristic of 2D cylindrical waves.

Parameters
1
0
0

Definition:

Dyadic Green's Function

For the full vector Maxwell equations, the Green's function becomes a dyadic (tensor) Gβ€Ύ(r,rβ€²)\overline{\mathbf{G}}(\mathbf{r}, \mathbf{r}') satisfying:

βˆ‡Γ—βˆ‡Γ—Gβ€Ύβˆ’ΞΊ02Gβ€Ύ=I δ(rβˆ’rβ€²),\nabla \times \nabla \times \overline{\mathbf{G}} - \kappa_{0}^{2} \overline{\mathbf{G}} = \mathbf{I}\,\delta(\mathbf{r} - \mathbf{r}'),

where I\mathbf{I} is the 3Γ—33 \times 3 identity tensor. The electric field due to a current source J\mathbf{J} is:

E(r)=jωμ0∫Gβ€Ύ(r,rβ€²)β‹…J(rβ€²) drβ€².\mathbf{E}(\mathbf{r}) = j\omega\mu_0 \int \overline{\mathbf{G}}(\mathbf{r}, \mathbf{r}') \cdot \mathbf{J}(\mathbf{r}')\,d\mathbf{r}'.

In the far field, Gβ€Ύ\overline{\mathbf{G}} reduces to the scalar Green's function times a projection operator onto the transverse plane.

,

Dyadic Green's function

The tensor-valued Green's function Gβ€Ύ(r,rβ€²)\overline{\mathbf{G}}(\mathbf{r}, \mathbf{r}') for the vector Helmholtz equation. It maps a point current at rβ€²\mathbf{r}' to the resulting electric field at r\mathbf{r}, accounting for all three polarization components.

Related: Wavenumber

Example: Evaluating the 3D Green's Function

A point source at the origin radiates at f=3f = 3 GHz (Ξ»=10\lambda = 10 cm, ΞΊ0=20Ο€\kappa_{0} = 20\pi rad/m).

(a) Compute ∣G3D∣|G_{\text{3D}}| at distances r=λ/10r = \lambda/10, λ\lambda, and 10λ10\lambda.

(b) How many complete oscillation cycles occur between r=0r = 0 and r=5Ξ»r = 5\lambda?

The Green's Function as a Distribution

The Green's function G(r,rβ€²)G(\mathbf{r}, \mathbf{r}') is not a classical function β€” it has a singularity at r=rβ€²\mathbf{r} = \mathbf{r}'. In the language of distribution theory (Β§Distributions, Sobolev Spaces, and Green's Functions), GG is a fundamental solution of the Helmholtz operator. This singularity has practical consequences: numerical methods must handle the near-field of GG carefully to avoid integration errors.

Common Mistake: Time Convention Mismatch in Green's Functions

Mistake:

Mixing the physics convention (e+jΟ‰te^{+j\omega t}, outgoing wave H0(1)H_0^{(1)}, Green's function +j/4β‹…H0(1)+j/4 \cdot H_0^{(1)}) with the engineering convention (eβˆ’jΟ‰te^{-j\omega t}, outgoing wave H0(2)H_0^{(2)}, Green's function +j/4β‹…H0(2)+j/4 \cdot H_0^{(2)}). This produces incoming instead of outgoing waves, violating the radiation condition.

Correction:

Always check the time convention. In this book we use eβˆ’jΟ‰te^{-j\omega t} (engineering convention), so the 2D Green's function uses H0(2)H_0^{(2)} and the 3D Green's function has eβˆ’jΞΊ0re^{-j\kappa_{0} r}.

Quick Check

How does the magnitude of the 3D free-space Green's function decay with distance rr from the source?

1/r21/r^2

1/r1/r

1/r1/\sqrt{r}

eβˆ’re^{-r}

Key Takeaway

The free-space Green's function is the field produced by a point source: G3D=eβˆ’jΞΊ0r/(4Ο€r)G_{\text{3D}} = e^{-j\kappa_{0} r}/(4\pi r) in 3D and G2D=(j/4)H0(2)(ΞΊ0r)G_{\text{2D}} = (j/4)H_0^{(2)}(\kappa_{0} r) in 2D. It decays as 1/r1/r (3D) or 1/r1/\sqrt{r} (2D) and oscillates with period Ξ»\lambda. The dyadic Green's function extends this to the full vector case. These functions serve as the kernel of all integral equations for scattering in subsequent sections.