--- title: Generalized Plane Waves url: https://www.emergentmind.com/topics/generalized-plane-waves type: topic --- # Generalized Plane Waves Searching arXiv for relevant papers on generalized plane waves and closely related usages. Generalized plane waves are extensions of the classical plane-wave ansatz that arise when constant coefficients, affine phases, Euclidean geometry, or purely propagative behavior are no longer adequate. Across the literature, the expression denotes several distinct but structurally related constructions: in finite elasticity it refers to inhomogeneous “longitudinal” waves with complex slowness bivectors; in numerical analysis it denotes quasi-Trefftz basis functions such as \(e^{P(x)}\) or \(A(x)e^{d\cdot(x-x_c)}\) tailored to variable-coefficient PDEs; in Helmholtz theory it includes propagative and evanescent waves with complex-valued directions; and in mathematical physics it appears in superspace, curved-space, and plane-wave spacetime settings [1304.2146, 1402.1703, 2305.02175, 2005.03160, 2402.07036]. ## 1. Terminological scope and basic forms The common point of departure is the ordinary plane wave, which in constant-coefficient settings is represented by an affine phase. For the scalar Helmholtz equation in a constant medium of refractive index \(\epsilon_0\), the standard local solution is \(u(x)=e^{i\kappa d\cdot x}\), \(|d|=1\). In elasticity, a homogeneous longitudinal wave in an undeformed body has displacement \[ u(x,t)=\epsilon\,n\,\cos[k(n\cdot x-c t)], \] with \(n\in \mathbb R^3\), \(|n|=1\). Generalizations replace the real direction \(d\) or \(n\) by a complex direction, a complex slowness bivector, a polynomial phase, or a non-Euclidean analogue [1402.1703, 1304.2146, 1511.08251]. | Domain | Representative form | Defining feature | |---|---|---| | Finite elasticity | \(u=\operatorname{Re}\{S\,e^{i\omega(S\cdot x-c t)}\}\) | Complex slowness bivector; propagation and attenuation may differ | | Variable-coefficient PDEs | \(\varphi=e^{P(x)}\) or \(A(x)e^{d\cdot(x-x_c)}\) | Local quasi-Trefftz cancellation to order \(q\) | | Helmholtz in spherical domains | \(e^{ik x\cdot \hat d}\), \(\hat d\in\mathbb C^3\), \(\hat d\cdot\hat d=1\) | Propagative and evanescent directions treated in one framework | | Superspace and geometric settings | Plane-wave decompositions over superspheres or pp-wave metrics | Extension of the plane-wave concept beyond ordinary Euclidean waves | In the numerical PDE literature, the decisive distinction is between exact Trefftz functions and generalized plane waves. Trefftz methods use exact local solutions of the governing PDE; GPWs are instead approximate Trefftz, or quasi-Trefftz, functions, constructed so that the PDE residual vanishes to a prescribed Taylor order near an element center. In elasticity, the decisive distinction is between homogeneous and inhomogeneous waves, and between classical longitudinal polarization and generalized longitudinal polarization. In Helmholtz approximation, the crucial distinction is between propagative plane waves and evanescent plane waves, the latter carrying high Fourier modes stably in regimes where propagative waves alone do not [1907.08309, 2009.05306, 2305.02175]. ## 2. Generalized longitudinal plane waves in finite elasticity In finitely deformed isotropic elastic materials, generalized plane waves were formulated for infinitesimal motions superposed on a primary homogeneous pure stretch \[ x=\lambda_1 X\,i+\lambda_2 Y\,j+\lambda_3 Z\,k,\qquad B=\lambda_1^2\,i\otimes i+\lambda_2^2\,j\otimes j+\lambda_3^2\,k\otimes k, \] with \(\lambda_1>\lambda_2>\lambda_3>0\). The inhomogeneous longitudinal wave is written \[ u(x,t)=\operatorname{Re}\{\epsilon\,S\,\exp[i\omega(S\cdot x-c t)]\},\qquad S\in\mathbb C^3, \] where \(S=S'+iS''\) is the slowness bivector, \(\operatorname{Re}S\) gives the phase-normal, and \(\operatorname{Im}S\) gives the attenuation-normal. The generalized longitudinal condition is \(A\times S=0\): amplitude bivector and slowness bivector are parallel in \(\mathbb C^3\), so particle paths are ellipses, or circles in the isotropic case, in the plane spanned by \(\operatorname{Re}S\) and \(\operatorname{Im}S\) [1304.2146]. Linearization about the finite deformation yields the propagation condition \[ \Theta\,S+\Phi\,B\,S+\Gamma\,B^{-1}S=0, \] with \(\Theta\), \(\Phi\), and \(\Gamma\) expressed through the response coefficients \(N_\Gamma(I,II,III)\), \(\Gamma=-1,0,1\). For a longitudinal wave one sets \(S=NC\), where \(C\) is the directional bivector. Decomposition along the principal axes of \(B\) reduces the characteristic equations, for arbitrary \(C\) and arbitrary positive \(\lambda_i\), to \[ \Theta=\Phi=\Gamma=0. \] These conditions both determine the complex slowness magnitude \(N\) and restrict the constitutive response functions [1304.2146]. This leads to a constitutive classification. Requiring that any directional bivector \(C\) be allowed forces \[ N_{1,I}=N_{1,II}=0,\qquad N_{-1,I}=N_{-1,II}=0, \] hence \[ N_1=2\nu\,III^{-2},\qquad N_{-1}=2\mu\,III^{-1}, \] with \(\nu,\mu\) constant, and the hyperelastic strain energy \[ W(I,II,III)=\nu I+\mu II+h(III). \] This is the Hadamard material, which allows inhomogeneous longitudinal waves of arbitrary elliptical or circular polarization in any direction. If one requires only isotropic bivectors \(C\), that is \(C\cdot C=0\), so that only circular polarization is prescribed, the weaker conditions \[ N_{1,I}=N_{-1,I}=0 \] define the generalized Hadamard material, with stored energy \[ W=F(III)\,I+G(III)\,II+h(III), \] where \(F'\) and \(G'\) are arbitrary. The classical Hadamard model is the special case \(F=\nu\), \(G=\mu\) constant [1304.2146]. A further geometric feature is the family of ellipsoids \(x\cdot B^n x=1\). Each such ellipsoid has exactly two central circular sections. A circularly polarized longitudinal wave whose polarization circle lies in one of these planes has directional bivector \(C\) satisfying \[ C\cdot C=0,\qquad C\cdot B^n C=0. \] For principal stretches \((\lambda_1,\lambda_2,\lambda_3)\), the four corresponding directional bivectors are given explicitly in terms of \[ \delta_n=\sqrt{\frac{\lambda_1^{2n}-\lambda_2^{2n}}{\lambda_1^{2n}-\lambda_3^{2n}}},\qquad \phi_n=\sqrt{\frac{\lambda_2^{2n}-\lambda_3^{2n}}{\lambda_1^{2n}-\lambda_3^{2n}}}. \] This construction ties propagation and attenuation directions directly to the finite strain tensor \(B\) [1304.2146]. ## 3. Quasi-Trefftz generalized plane waves for variable-coefficient PDEs In numerical analysis, generalized plane waves were introduced for variable-coefficient wave problems where exact local Trefftz bases are unavailable. A general formulation considers a homogeneous PDE \[ \mathcal L u=\sum_{\ell=0}^M\sum_{k=0}^{\ell}\alpha_{k,\ell-k}(x,y)\,\partial_x^k\partial_y^{\ell-k}u=0 \] on \(\Omega\subset\mathbb R^2\). A GPW of order \(q\) at \((x_0,y_0)\) is a function \[ \varphi(x,y)=\exp(P(x,y)), \qquad P(x,y)=\sum_{|i|\le dP}\lambda_i (x-x_0)^{i_1}(y-y_0)^{i_2}, \] with \(dP=M+q-1\), chosen so that \[ \mathcal L\varphi(x,y)=O(\|(x,y)-(x_0,y_0)\|^q). \] The resulting nonlinear system is underdetermined, and the construction proceeds through \(q\) triangular linear subsystems, one for each homogeneous layer, after fixing the coefficients with \(|i|1\). Two normalizations are emphasized: a \(\beta\)-normalization \(N=\sqrt{\beta(G)}\), which recovers exact plane waves when \(\beta\) is constant and negative, and a constant-normalization \(N=i\), which remains nonzero at cut-off [1402.1703]. For the variable-coefficient Helmholtz equation \[ \Delta u+\kappa^2\epsilon(x)\,u=0, \] the GPW ansatz on an element \(K\) is again \(\phi(x)=e^{P(x)}\), with \(P\) of total degree \(d_P=q+1\), chosen so that \[ (\Delta+\kappa^2\epsilon(x))\,e^{P(x)}=O(r^q),\qquad r=|x-x_K|. \] The induction formula for the coefficients \(\lambda_{i,j}\) determines all higher-order phase terms after imposing \[ \lambda_{0,0}=0,\qquad (\lambda_{1,0},\lambda_{0,1})=N(\cos\theta,\sin\theta),\qquad N=i\kappa\sqrt{\epsilon(x_K)}. \] If \(\epsilon\) is constant on \(K\), all higher-order coefficients vanish and \(\phi\) reduces to an ordinary plane wave [1511.08251]. A later quasi-Trefftz formulation writes the local solution as \(u=e^P\), with \(P\in\mathbb P^p\), and imposes vanishing of the truncated Taylor polynomial of \[ \mathcal N(P)=\Delta P+|\nabla P|^2+\kappa(x)^2 \] up to order \(p-2\). Expanding \(P=\sum_{m=0}^p P_m\) into homogeneous layers yields linear problems \[ \Delta P_{m+2} + \sum_{j=0}^{m}\nabla P_{j+1}\cdot \nabla P_{m-j+1} + [T_{p-2}\kappa^2]_m =0, \] which are solved by forward substitution. This connects phase-based GPWs with polynomial quasi-Trefftz spaces and gives a systematic route to finite linearly independent GPW families [2508.09435]. ## 4. Interpolation theory and numerical discretizations The main analytical justification for GPWs is their local interpolation property. For second-order operators under the hypotheses stated in the road-map formulation, if \(u\in C^{n+2}(\Omega)\) satisfies \(\mathcal L u=0\), \(p=2n+1\), and \(q\ge n-1\), then there exists \[ u_a(x)=\sum_{\ell=1}^{p} c_\ell\,\varphi_\ell(x) \] whose Taylor jets agree with those of \(u\) up to order \(n\) at the center, hence \[ |u(x)-u_a(x)|\le C\,\|x-(x_0,y_0)\|^{n+1}. \] In the scalar wave and Helmholtz versions, comparable local estimates are stated as \[ |u-u_a|\le C|x-x_0|^{n+1},\qquad |\nabla u-\nabla u_a|\le C|x-x_0|^n, \] with \(p=2n+1\) and \(q\ge n+1\) in those conventions [1907.08309, 1402.1703, 1511.08251]. These local estimates feed directly into discontinuous Galerkin and UWVF schemes. For variable-coefficient Helmholtz, the GPW-TDG method modifies the usual Trefftz sesquilinear form by adding the volumetric stabilization \[ \frac{i}{\kappa^2}\sum_K\int_K \gamma\,(\Delta u+\kappa^2\epsilon u)\,\overline{(\Delta v+\kappa^2\epsilon v)}\,dA, \] because GPWs are only approximate, not exact, local solutions. The resulting formulation satisfies a coercivity statement of the form \[ \operatorname{Im}B_h(u,u)\ge \|u\|_{DG}^2, \] and a Cea-type estimate \[ \|u-u_h\|_{DG}\le C\inf_{v\in V_h}\|u-v\|_{DG+}. \] For smooth solutions and \(r=3\) in the penalty \(\gamma=\gamma_0 h_K^r\), the \(L^2(\Omega)\)-error satisfies \[ \|u-u_h\|_{L^2(\Omega)}\le C h^s\|u-u_h\|_{DG},\qquad 00\), there is a unique \(u\in H^1(\Omega)\). The reported simulations use triangular elements with \(h\approx0.4\text{--}0.7\), local GPW order \(q=4\), and \(p=7\) GPWs per element. The transmission coefficient \(T(\theta)\) is approximately \(0\) at \(\theta\approx0\) or \(\theta\approx \pi/4\), has a pronounced maximum near the steepest-gradient direction \(y=-(\sqrt2+1)x\), and decreases as the transition-zone width increases [1504.07973]. | \(d\) | Reported \((T_{\max},\bar\theta)\) | |---|---| | \(-2-i\) | \(T_{\max}\approx 3\times 10^{-2}\), \(\bar\theta\approx 0.45\,\mathrm{rad}\) | | \(-\tan(3\pi/8)-i\) | \(T_{\max}\approx 6\times 10^{-2}\), \(\bar\theta\approx 0.37\,\mathrm{rad}\) | A recurrent misconception is that GPWs are “Trefftz functions with variable coefficients.” The precise statement is weaker: they are quasi-Trefftz functions, and that distinction is what necessitates residual control, interpolation analysis, and, in some formulations, volumetric stabilization [2009.05306, 1511.08251]. ## 5. Amplitude-based, phase-based, and evanescent extensions Phase-based GPWs place higher-order terms in the exponent: \[ u(x)=e^{P(x)}. \] Their strength is asymptotic high-order interpolation; their weakness is pre-asymptotic instability, because high-order terms in the exponent can make \(e^{P(x)}\) large when \(|x-x_c|\gtrsim1\). Amplitude-based GPWs alter the ansatz to \[ G_d(x)=A(x)e^{d\cdot(x-x_c)}, \] where \(A(x)\) is a polynomial of degree \(q+1\), \(d\in\mathbb C^2\) is chosen like a plane-wave direction, and the coefficients of \(A\) are fixed so that \[ (-\Delta-\kappa^2(x))G_d(x)=O(|x-x_c|^q). \] The local space is built from \(p=2n+1\) directions \[ d_k=\sqrt{-\kappa^2(x_c)}\,(\cos\theta_k,\sin\theta_k). \] For \(u\) solving \((-\Delta-\kappa^2(x))u=0\), the span of these amplitude-based GPWs satisfies \[ |u-u_a|\le C|x-x_c|^{n+1},\qquad |\nabla u-\nabla u_a|\le C|x-x_c|^n, \] as long as \(\kappa^2(x_c)\neq0\). Numerically, they remain stable when \(h\approx1\) and yield much smaller errors at moderate \(h\) than phase-based GPWs [2009.05306]. A different extension enlarges the admissible directions rather than the local phase. In three-dimensional Helmholtz theory, generalized plane waves are solutions \[ u(x)=e^{ik\,x\cdot \hat d},\qquad \hat d\in\mathbb C^3,\qquad \hat d\cdot\hat d=1. \] Propagative waves correspond to real \(\hat d\in S^2\); evanescent waves correspond to complex directions with \[ \operatorname{Re}\hat d\cdot \operatorname{Re}\hat d-\operatorname{Im}\hat d\cdot \operatorname{Im}\hat d=1, \qquad \operatorname{Re}\hat d\perp \operatorname{Im}\hat d. \] The 3D Jacobi–Anger identity extends to these complex directions, and any Helmholtz solution in a ball can be represented as a continuous superposition of evanescent plane waves. The associated Herglotz transform \(T:\mathcal A\to \mathcal B\) is boundedly invertible and diagonal on suitable bases: \[ T a_\ell^m=\tau_\ell b_\ell^m, \qquad 0<\tau_-\le |\tau_\ell|\le \tau_+<\infty. \] This yields stable bounded-coefficient representations that propagative waves alone cannot provide. If one approximates a single spherical mode by propagative plane waves only, the coefficients must grow super-exponentially in the mode index \(\ell\); evanescent waves avoid that instability [2305.02175]. The numerical constructions follow this theory. Sampling generalized directions from a weighted parameter domain, building the basis \(\phi_p(x)=e^{ik d_p\cdot x}\sqrt{\mu_N(d_p)/P}\), and solving a regularized least-squares system produces stable approximations of spherical modes, fundamental solutions, and solutions on non-spherical geometries. The reported experiments show machine-precision accuracy for evanescent sets in regimes where propagative sets fail [2305.02175]. ## 6. Superspace and symmetric space-time formulations In superspace, plane-wave generalization is tied to monogenicity and CK-extension theory. On \(\mathbb R^{m|2n}\), with super-Dirac operator \[ \partial_X=\partial_x+\partial_\theta, \] a super-function is monogenic if \(\partial_XF=0\). For the bi-axial Dirac operator \(D=\partial_X+\partial_Y\), the generalized Cauchy–Kovalevskaya extension theorem distinguishes two regimes. If the superdimension \(M=m-2n\notin -2\mathbb N\), the extension is a single Bessel-type operator series: \[ F(X,Y) = 2^{M/2}|X|^{-M/2}(-\Delta_Y)^{-M/4} J_{M/2-1}\bigl(|X|(-\Delta_Y)^{1/2}\bigr)F_0(Y). \] If \(M=-2k\), novel structures appear: the extension depends on two initial functions and splits into Appell-type series. These operator series admit plane-wave decompositions over the supersphere through Pizzetti-type integrals, and the same framework yields decompositions of the super-Cauchy kernel into monogenic plane waves [2005.03160]. A different generalization arises from enforcing a dimensionless symmetry between space and time in the wave equation. After scaling with \(x'=x/\lambda\) and \(t'=t/T\), one obtains \[ \nabla'^2\Psi-\partial_{t'}^2\Psi=0, \] with no leftover constants. The usual ansatz \[ \Psi(x',t')=A\,\exp(i[\mathbf k'\cdot \mathbf x'-\omega' t']) \] satisfies \(\omega'=|\mathbf k'|\), but the standing-wave decomposition is interpreted as only one geometrical projection of a quaternionic 4D phasor \[ Q(x',t')=\exp(jk'x')\,\exp(-i\omega' t'). \] Alternative projections produce additional constraints: \[ \Delta A_s=0,\qquad \Delta \psi_s=0,\qquad \nabla A_s\perp \nabla \psi_s,\qquad |\nabla \psi_s|=\omega'=2\pi. \] In the reported acoustic cavity experiment, these spatial phase flows support recovery of the incidence angle by a formula involving only spatial integrals over the aperture and cavity, without temporal measurements [2208.00551]. These constructions suggest that “generalized plane wave” can denote not only a modified ansatz but also a different ambient algebra or symmetry principle. In superspace the extension introduces Bessel and Appell operator series; in the dimensionless wave-equation setting it introduces alternative hypercomplex projections of the same formal wave object [2005.03160, 2208.00551]. ## 7. Curved-space, gravitation, and non-Euclidean wave analogues In the most general shift-symmetric Horndeski theory, an exact plane-wave solution exists with pp-wave metric \[ ds^2=-2\,du\,dv+H(u,y,z)\,du^2+dy^2+dz^2,\qquad \phi=\phi(u). \] Because of shift symmetry, \(\phi(u)\) is arbitrary. The only nonzero Ricci component is \[ R_{uu}=-\tfrac12(\partial_y^2+\partial_z^2)H, \] and the metric profile splits as \[ H(u,y,z)=\tfrac12\,\kappa[\phi'(u)]^2(y^2+z^2)+H_g(u,y,z), \qquad (\partial_y^2+\partial_z^2)H_g=0. \] For \(\phi=\mathrm{const}\), the solution reduces exactly to the standard plane gravitational wave of general relativity; with Minkowski metric it reproduces known plane-wave solutions of \(k\)-essence and non-covariant Galileon models [1207.4764]. In Lorentzian geometry, plane-wave spacetimes are defined as simply-connected smooth Lorentzian manifolds admitting a complete dilation group whose fixed-point set is a smooth embedded curve. That curve is a null geodesic. In Brinkmann coordinates the metric is \[ G_\beta(p)=2\,du\,dv+x^Tp(u)x\,du^2-dx^Tdx, \] and abreast Jacobi fields satisfy \[ \ddot X(u)+p(u)X(u)=0. \] Writing \(g(u)=L(u)^TL(u)\) with \(L''+pL=0\) leads to the Sachs equation \[ \dot S+S^2+p=0,\qquad S=\dot L\,L^{-1}. \] Every plane wave is locally a Rosen universe, with metric \[ G=2\,du\,dV-dX^T(L^TL)\,dX. \] Rosen coordinate singularities occur where \(\det L(u_0)=0\); these zeros are isolated and removable in the sense that the original Brinkmann metric extends smoothly across them [2402.07036]. A non-Euclidean analogue of quasi-plane waves appears for a spin-1 field in Lobachevsky space. In quasi-Cartesian coordinates with spatial metric \[ ds^2=dt^2-e^{-2z}(dx^2+dy^2)-dz^2, \] one seeks solutions of the Duffin–Kemmer equation of the separated form \[ \Psi(t,x,y,z)=e^{-i\epsilon t+i a x+i b y}\,\Phi(z). \] An extended helicity operator \[ \widehat H = a e^z S^1+b e^z S^2 -i\Bigl(S^3\frac{d}{dz}-S^1J^{31}+S^2J^{23}\Bigr) \] commutes with the wave operator, permitting exact separation. The reduced equations lead to Bessel equations in \[ Z=\sqrt{a^2+b^2}\,e^{-z}, \] so that the components are expressible in Bessel, hence confluent hypergeometric, functions. The effective one-dimensional equation contains the term \((a^2+b^2)e^{2z}\), which acts as an exponential potential barrier, and the geometry therefore behaves as a medium with simple reflecting properties [1205.0150]. Taken together, these developments show that generalized plane waves are not a single object but a family of extensions of the plane-wave paradigm. The unifying idea is the preservation of oscillatory, transport, or decomposition structure while modifying the classical ansatz to accommodate finite deformation, variable coefficients, complex directions, supersymmetry, or curved geometry. Source: https://www.emergentmind.com/topics/generalized-plane-waves