Electromagnetic Theory

Associated Legendre Function

Associated Legendre Functions (or Associated Legendre Polynomials) P_l^m(cos θ) are a family of orthogonal functions that arise naturally as solutions to the angular component of Laplace's equation in spherical coordinates. In antenna theory and computational electromagnetics, they form the mathematical basis for spherical harmonic expansion of radiation patterns, near-field to far-field transformation, and spherical wave expansion of antenna fields. When an antenna radiates into free space, its electromagnetic field at any point can be expressed as a superposition of spherical wave functions, each characterized by degree l and order m. The angular dependence of each spherical wave is described by the product of an Associated Legendre Function (in the polar angle θ) and a complex exponential (in the azimuthal angle φ). This decomposition is the spherical equivalent of a Fourier series — just as any periodic function can be expressed as a sum of sinusoids, any antenna radiation pattern on a sphere can be expressed as a sum of spherical harmonics built from Associated Legendre Functions.
Category: Electromagnetic Theory

Understanding Associated Legendre Functions

Antenna radiation patterns exist on the surface of a sphere. Describing, analyzing, and transforming these patterns mathematically requires a basis function set that naturally lives on a sphere. Associated Legendre Functions are that basis set — the spherical equivalent of sine and cosine functions in Cartesian coordinates.

Spherical Harmonic Expansion

Any antenna pattern F(θ,φ) can be decomposed into a weighted sum of spherical harmonics Y_l^m(θ,φ), where each Y_l^m contains an Associated Legendre Function in θ and a complex exponential in φ. Low-degree harmonics (small l) capture the broad, smooth features of the pattern. High-degree harmonics (large l) capture fine angular details. The maximum degree needed to represent a pattern is proportional to the antenna's electrical size (ka, where k is the wavenumber and a is the antenna's radius).

Near-Field to Far-Field Transformation

In antenna measurement, the near-field scanner captures the amplitude and phase of the antenna's field on a spherical surface close to the antenna. This measured data is decomposed into spherical wave coefficients using Associated Legendre Functions. The coefficients are then used to compute the far-field pattern at any distance — a process that is far more accurate and space-efficient than measuring the far field directly in an outdoor range.

Key Equations

Associated Legendre functions:
Plm(x) = (1−x²)m/2 dmPl(x)/dxm

Spherical harmonics:
Ylm(θ,φ) = NlmPlm(cosθ)ejmφ

In antenna theory:
TE/TM spherical modes use Pnm(cosθ)

Comparison

Mode l,mPatternAntenna exampleOrderApplication
l=1, m=0Dipole-likeShort dipoleLowestFundamental
l=1, m=1CircularTurnstileLowest CPOmni CP
l=2, m=0QuadrupoleCollinear2nd orderHigher gain
l=3, m=06-lobeEnd-fire array3rd orderShaped beam
l=10+Many lobesLarge apertureHigh orderFar-field expansion
Common Questions

Frequently Asked Questions

Why can't we just use Cartesian coordinates?

Cartesian coordinates (x, y, z) are natural for flat, planar problems. But antenna radiation patterns are inherently spherical — they describe the field as a function of direction from the antenna, which is most naturally expressed in angles (θ, φ) on a sphere. Trying to express a spherical pattern in Cartesian coordinates leads to enormous mathematical complexity. Spherical coordinates with Legendre function basis sets align naturally with the physics of radiation.

How many terms are needed in the expansion?

The number of significant terms is determined by the antenna's electrical size. For an antenna that fits within a sphere of radius a, the expansion converges rapidly for degrees l up to approximately ka (where k = 2π/λ). A small dipole (ka ≈ 1) needs only a few terms. A large reflector antenna (ka ≈ 100) may need thousands of terms to accurately represent its fine beam structure and sidelobe detail.

Are Associated Legendre Functions computationally expensive?

Computing individual Legendre functions is inexpensive using stable recurrence relations. However, for large-degree expansions (l > 100), numerical stability becomes a concern — the functions span many orders of magnitude, and naive computation causes overflow or underflow. Modern antenna measurement software uses normalized Associated Legendre Functions and extended-precision arithmetic to maintain accuracy for electrically large antennas.

RF Engineering Resources

Explore the Full Glossary

Browse thousands of RF engineering definitions, from fundamental concepts to advanced techniques.

View RF Glossary