TE and TM modes
Use the longitudinal eigenfunctions as generating functions, reconstruct every transverse field from Maxwell, derive TE/TM modal wave impedances, prove scalar modal orthogonality from the self-adjoint transverse problem, and separate field, energy and power normalization before studying cutoff.
- Define TE, TM and TEM precisely relative to the guide axis.
- Derive the general transverse-field reconstruction formulas from the longitudinal components.
- Reconstruct complete TE fields from H_z and their Neumann eigenfunctions.
- Reconstruct complete TM fields from E_z and their Dirichlet eigenfunctions.
- Derive Z_TE=ωμ/β and Z_TM=β/(ωε) for propagating guide modes.
- Distinguish modal field impedance from two-conductor characteristic impedance.
- Prove orthogonality of distinct scalar transverse eigenfunctions using Green's identity.
- Explain how degeneracy changes basis selection without invalidating the eigenspace.
- Distinguish peak-field, L², energy and carried-power normalization conventions.
- Audit modal-impedance identities numerically before introducing cutoff/dispersion.
Chapter 01 reduced the hollow-guide problem to two longitudinal scalar eigenfunctions. We now use those scalars as GENERATING FUNCTIONS: once E_z or H_z is known, Maxwell equations determine every transverse field component. This is the point where TE and TM become complete electromagnetic mode families rather than labels. The derivation also exposes modal impedance, normalization freedom, scalar orthogonality and the conditions under which different modes transport independent power.
0102.1 — TE and TM are definitions relative to the guide axis
A transverse-electric (TE) mode is defined by E_z=0 with H_z nonzero. A transverse-magnetic (TM) mode is defined by H_z=0 with E_z nonzero. The words 'transverse' refer to ONE field relative to the guide axis, not to both fields.
A TEM mode would require E_z=H_z=0 and was excluded in chapter 01 for a simply connected hollow single-conductor guide. Therefore every nontrivial hollow-guide mode belongs to a TE or TM family, apart from possible hybrid modes introduced by more complicated material/geometric structures.
These are modal classifications, not polarization labels in the plane-wave sense. A TE guide mode still possesses a longitudinal magnetic field; a TM guide mode still possesses a longitudinal electric field.
0202.2 — Maxwell reconstructs all transverse fields from E_z and H_z
Use exp(+jωt−jβz), k²=ω²με and k_c²=k²−β². Splitting the two curl equations into transverse and longitudinal parts gives a linear system for E_t and H_t. Solving it produces the general reconstruction formulas.
The first term in each expression comes from the gradient of the same field's longitudinal component; the cross-product term couples the opposite longitudinal component. These formulas are valid for k_c≠0 in a homogeneous uniform guide.
Once a longitudinal eigenfunction and its amplitude are chosen, the transverse vector fields are no longer independent unknowns. This is why solving one scalar eigenproblem is enough to generate a complete TE or TM mode.
0302.3 — TE fields come from H_z alone
Set E_z=0 in the general formulas. The longitudinal magnetic eigenfunction H_z obeys the Neumann wall condition from chapter 01. Its transverse gradient generates H_t directly, while a ninety-degree transverse rotation by ẑ× converts that gradient into E_t.
The TE field pair is therefore geometrically locked: E_t is orthogonal in the transverse plane to ∇_tH_z, while H_t is parallel to ∇_tH_z up to complex coefficients.
Multiplying H_z by any complex constant multiplies the entire TE mode by that same constant. Boundary/eigenvalue analysis fixes shape and propagation constant, not absolute excitation amplitude.
0402.4 — TM fields come from E_z alone
Set H_z=0. The longitudinal electric eigenfunction E_z obeys homogeneous Dirichlet data on the PEC boundary. Its transverse gradient generates E_t, while the rotated gradient generates H_t.
For TM modes, E_t is parallel to ∇_tE_z and H_t is orthogonal to it in the transverse plane, again up to the complex coefficients fixed by Maxwell.
The same arbitrary normalization freedom remains: the scalar eigenproblem fixes the spatial eigenfunction only up to a multiplicative complex amplitude.
0502.5 — Modal wave impedance is different for TE and TM families
For a single propagating mode, define modal wave impedance as the transverse electric-to-magnetic field ratio with the local vector orientation understood. The reconstruction coefficients give Z_TE=ωμ/β and Z_TM=β/(ωε).
Using η=√(μ/ε) and β/k, the same relations become Z_TE=η(k/β) and Z_TM=η(β/k). Their product is η². Unlike the TEM plane-wave impedance η, hollow-guide modal impedance depends on the axial propagation constant.
This quantity is a FIELD impedance of one mode. It is not the characteristic impedance Z₀ of RF-00's two-conductor voltage/current line unless a specific voltage/current normalization has been defined for the guide.
0602.6 — Orthogonality comes from the self-adjoint transverse eigenproblem
Consider two longitudinal scalar eigenfunctions ψ_m and ψ_n satisfying the same Dirichlet or Neumann boundary type with distinct eigenvalues k_cm² and k_cn². Multiply one Helmholtz equation by the complex conjugate of the other, subtract the conjugate equation and integrate over A.
Green's identity converts the difference into a boundary term. The common homogeneous Dirichlet or Neumann condition makes that boundary term vanish, leaving (k_cm²−k_cn²)∫_A ψ_mψ_n* dA=0.
Therefore eigenfunctions with distinct eigenvalues are orthogonal under the cross-sectional inner product. Degenerate modes sharing the same eigenvalue are not automatically selected uniquely; an orthogonal basis can be chosen inside that degenerate eigenspace.
0702.7 — Field normalization and power normalization are separate choices
An eigenfunction can be normalized by peak field, by L² norm of its generating scalar, by stored energy or by carried power. These conventions describe the SAME physical mode shape but assign different numerical amplitudes.
For propagating lossless modes, a useful engineering normalization sets the time-average axial power P=(1/2)Re∫_A(E_t×H_t*)·ẑ dA to a chosen value such as one watt. Orthogonal propagating modes then admit independent modal amplitudes under the usual PEC homogeneous-guide assumptions.
Do not compare modal amplitudes from two sources unless their normalization convention is known. A field pattern normalized to max|E|=1 is not numerically interchangeable with a one-watt power-normalized mode.
0802.8 — Numerical modal-impedance audit without yet specializing geometry
Suppose one eigenmode is operated at a frequency/material point for which β/k=√3/2. This ratio could arise from many cross-sectional eigenvalues; no rectangular-guide formula is needed.
Then Z_TE=(2/√3)η≈1.155η while Z_TM=(√3/2)η≈0.866η. Their product is exactly η². In vacuum, using η≈376.73 Ω gives approximately 435 Ω for TE and 326 Ω for TM.
As β/k changes, TE and TM impedances move in opposite directions. Chapter 03 will connect that behavior to cutoff and dispersion explicitly.
Practice — reconstruct TE/TM modes and audit modal impedance
- State precisely what TE, TM and TEM mean relative to the guide axis.
- Starting from the general reconstruction formulas, recover the TE field relations by setting E_z=0.
- Recover the TM field relations by setting H_z=0.
- For a TE generating function H_z=H₀cos(πx/a), identify the directions of ∇_tH_z, E_t and H_t away from its nodes.
- Derive Z_TE=ωμ/β from the TE reconstruction coefficients.
- Derive Z_TM=β/(ωε) and prove Z_TEZ_TM=η².
- Why is modal wave impedance not automatically the same as a two-conductor characteristic impedance?
- Use Green's identity to prove scalar eigenfunction orthogonality for distinct eigenvalues under homogeneous Dirichlet or Neumann conditions.
- Explain what changes in the orthogonality argument when two independent modes are degenerate.
- For β/k=0.8 in a medium with η=250 Ω, compute Z_TE and Z_TM and verify their product.
Worked solutions
1. TE means E_z=0 with H_z nonzero; TM means H_z=0 with E_z nonzero; TEM means both longitudinal components vanish. In the simply connected hollow guide of this course, the nontrivial TEM case is excluded.
2. Set E_z=0 in the general pair. The remaining terms give E_t=(jωμ/k_c²)ẑ×∇_tH_z and H_t=−(jβ/k_c²)∇_tH_z.
3. Set H_z=0. Then E_t=−(jβ/k_c²)∇_tE_z and H_t=−(jωε/k_c²)ẑ×∇_tE_z.
4. The gradient points along ±x because the function depends only on x. H_t is parallel to that gradient up to its complex factor; E_t is rotated by ẑ× and therefore lies along ±y. Signs reverse across nodes according to sin(πx/a).
5. For TE, |E_t| and |H_t| share the same |∇_tH_z|/k_c² factor. Their coefficient ratio is ωμ/β, giving Z_TE=ωμ/β.
6. For TM, the coefficient ratio gives Z_TM=β/(ωε). Multiplying gives μ/ε=η².
7. Modal impedance is a ratio of transverse electromagnetic fields. A transmission-line characteristic impedance is a voltage/current ratio that depends on how port voltage and current are defined and normalized. They coincide only under a justified mapping.
8. Multiply the m equation by ψ_n*, the conjugate n equation by ψ_m, subtract and integrate. Green's identity turns the gradient difference into a boundary integral, which vanishes for common homogeneous Dirichlet or Neumann data. Distinct eigenvalues then force the overlap integral to zero.
9. If the eigenvalues are equal, the prefactor multiplying the overlap integral vanishes, so the proof does not force orthogonality. One chooses an orthogonal basis within the degenerate subspace, for example by Gram–Schmidt or symmetry.
10. Z_TE=250/0.8=312.5 Ω. Z_TM=250×0.8=200 Ω. Their product is 62,500 Ω²=250² Ω².
Chapter 03 will turn β²=k²−k_c² into cutoff and dispersion physics: propagating versus evanescent regimes, guide wavelength, phase/group velocities, TE/TM impedance behavior near cutoff and the limits of lossless PEC dispersion formulas.