Airy ordinary differential equation ($f^{\prime \prime }(Z)-Zf(Z)=0$)

This second-order ordinary differential equation has the independent entire Airy functions $\mathrm{Ai}$ and $\mathrm{Bi}$ as a standard basis. It is distinct from the dispersive PDE in Airy equation. Its general solution is $a_1\mathrm{Ai}(Z)+a_2\mathrm{Bi}(Z)$.

On the unit interval, the weak form is $a(u,v)={\int }_0^{1}fv$, with $a(u,v)={\int }_0^1(u^{\prime }{v}^{\prime }+xuv)$ on the zero-boundary Sobolev space. The nonnegative potential makes this form coercive in the derivative norm, and the Poincaré inequality makes that norm equivalent to the Sobolev norm. The Lax-Milgram theorem gives a unique solution. A conforming Ritz method minimizes the corresponding strictly convex quadratic energy and produces a symmetric positive-definite tridiagonal matrix for piecewise-linear hats.

For the Airy ordinary differential equation $y^{\prime \prime }=xy$, a power series obeys $a_2=0$ and $a_{m+3}=a_m/[(m+3)(m+2)]$. Setting its first two coefficients to $(1,0)$ or $(0,1)$ givesEmpty products are one. The ratio test proves convergence on the whole complex plane. Termwise differentiation verifies the equation, and the initial normalization gives Wronskian one. By the Abel identity, the Wronskian remains one everywhere, so these solutions span the whole solution space.

Named after George Biddell Airy, the standard Airy functions solve the Airy ordinary differential equation. Their Wronskian is $\mathrm{Ai}(Z){\mathrm{Bi}}^{\prime }(Z)-{\mathrm{Ai}}^{\prime }(Z)\mathrm{Bi}(Z)=1/\pi$, so they form a fundamental solution pair, including for complex $Z$.

For $q=e^{i\pi /6}$ define $I_0(C)={\int }_0^{\infty }\mathrm{Ai}(q(s-C))ds$ and $I_1(C)={\int }_0^{\infty }s\mathrm{Ai}(q(s-C))ds$. Both converge by Airy function decay. Integrating its differential equation gives $I_1-C{I}_0=iq\mathrm{Ai}\prime (-qC)$. These moments convert a decaying vorticity profile into its velocity and displacement for three-layer long-wave shear-flow matching.