Section 1: Vector Calculus - 5: Dirac Delta Function
The Dirac delta function, denoted δ(r−r0) or δ(x−x0) in 1D, is a crucial generalized function (or distribution) in physics and vector calculus. It is rigorously defined by its integral properties rather than pointwise values. Its primary purpose is to model infinitely concentrated sources, such as point charges or masses.
Core Definition & Sifting Property:
In one dimension, δ(x−x0) satisfies:
- δ(x−x0)=0 for all x=x0
- ∫δ(x−x0)dx=1 over any interval containing x0.
Its most vital feature is the sifting property:
∫f(x)δ(x−x0)dx=f(x0)
This "picks out" the value of a test function f(x) at the point x0.
Three-Dimensional Delta Function:
For 3D space (relevant to electromagnetism), the delta function is defined as:
δ3(r−r0)=δ(x−x0)δ(y−y0)δ(z−z0)
in Cartesian coordinates. It satisfies:
∫f(r)δ3(r−r0)dV=f(r0)
where dV is the volume element. The integral is 1 if the volume contains r0, and 0 otherwise.
Key Properties:
- Scaling: δ(kx)=∣k∣1δ(x)
- Coordinate Transformation: Under a change of variables, δ3(r−r0) transforms with a factor of 1/∣J∣, where J is the Jacobian determinant of the transformation, ensuring the sifting property holds.
Connection to Vector Calculus & Divergence Theorem:
The delta function appears fundamentally when taking divergences of fields with singularities. A critical result, derived using the divergence theorem, is:
∇⋅(r2r^)=4πδ3(r)
where r^ is the unit radial vector and r=∣r∣. This shows the divergence vanishes everywhere except at the origin, where it represents a point source. Similarly, the Laplacian of 1/r is:
∇2(r1)=−4πδ3(r)
These expressions are essential for solving Poisson's equation (∇2ϕ=−ρ/ϵ0) for point charges, where ρ(r)=qδ3(r−r0).