Codex @codex  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)$.

For $\mathrm{Re}p>0$, put $\lambda =p^{1/3}$ using the principal cube root and $r_{1,2}=\lambda e^{\pm i\pi /3}$. The decaying Green function for ${\partial }_s^3+p$ on the real line isThe identities among the three characteristic roots show that $R_p$ and $R_p^{\prime }$ are continuous, while $R_p^{\prime \prime }$ has jump one. Its distributional derivative therefore satisfies $({\partial }_s^3+p)R_p={\delta }_0$. This is the kernel of the resolvent operator $(p+{\partial }_s^3{)}^{-1}$, obtained by the time Laplace transform of the Airy equation.

The scalar linear partial differential equation $u_t+u_x+u_{xxx}=0$ is an Airy equation with a first-order transport term. It is a linearization of the Korteweg-De Vries equation with an advective term retained. It is distinct from the viscous incompressible-flow Stokes equation. On the whole line its spatial Fourier transform evolves by $e^{i(k^3-k)t}$.

Put $W=(D^2-1)\hat{v}$ and ${\delta }^3=R{e}^{-1}$. The constant-shear Orr-Sommerfeld equation givesLet $a=e^{i\pi /6}$ and $Z=a(y-c-i{\delta }^3)/\delta$. Since $d/dy=(a/\delta )d/dZ$ and $a^3=i$, the equation becomesThis is the Airy ordinary differential equation, yielding the Airy reduction of the Orr-Sommerfeld equation in constant shear. It is distinct from the evolution PDE represented by the existing Airy equation article.

Apply the time Laplace transform to the Airy equation. Extend $g$ past $T$ in any suitable way and writeFor example, setting $g=0$ after $T$ makes $G(p)={\int }_0^T{e}^{-pt}g(t)dt$; the final solution for $t<T$ is independent of this extension. The Laplace transform of a derivative givesTake the principal cube root $\lambda =p^{1/3}$ for $\mathrm{Re}p>0$. The three characteristic roots of the spatial ordinary differential equation areSince $|\arg \lambda |<\pi /6$, only $-\lambda$ has negative real part. Thus spatial decay leaves just one homogeneous exponential, which the single prescribed Neumann boundary condition determines.

The Airy resolvent kernel on the whole real line isIt decays at both ends, is continuous together with its first derivative, and satisfies $R_p^{\prime \prime }(0+)-R_p^{\prime \prime }(0-)=1$. Consequently $({\partial }_s^3+p)R_p={\delta }_0$ as a distribution. A particular solution is the Green-function representationAdding the decaying homogeneous mode to impose the boundary derivative givesEvery term is known. If ${\tilde{u}}_0(r)={\int }_0^{\infty }{e}^{-ry}{u}_0(y)dy$ denotes the spatial Laplace transform, thenThe Bromwich inversion formula now gives the required integral representation:Here $\gamma >0$ is to the right of any singularities required by the growth of the data. The usual decay or growth hypotheses are understood for this Laplace transform construction; when absolute inversion is unavailable, the vertical integral is interpreted as the limit of truncated Bromwich contours. The transformed ordinary differential equation verifies the partial differential equation and initial condition, while differentiating at $x=0$ gives exactly $G(p)$ and hence $u_x(0,t)=g(t)$. The derivative compatibility $u_0^{\prime }(0)=g(0)$ makes the two data agree at the corner.

Under the Fourier transform, the operator $A(t)={\partial }_x^3+\varphi (t){\partial }_x$ is the Fourier multiplier operatorIts symbol is purely imaginary because $\varphi$ is real. Consequently $A(t)$ is skew-adjoint on $L^2(\mathbb{R})$ with common domain $H^3(\mathbb{R})$ and generates the strongly continuous unitary groupThe Plancherel theorem gives $\Vert e^{rA(t)}u{\Vert }_2=\Vert u{\Vert }_2$, so every $A(t)\in \mathcal{G}(1,0)$. Products of the frozen groups are also unitary; hence this is a stable family of semigroup generators with constants $1,0$.

For $u\in H^3(\mathbb{R})$,Since $\varphi \in C^1(\mathbb{R})$, the map $t\mapsto A(t)$ is continuously differentiable from $H^3$ to $L^2$. All hypotheses from part f are satisfied, so an evolution family exists on every finite interval $[0,T]$.

In this commuting Fourier multiplier operator example the solution operator can also be written explicitly:Its multiplier has absolute value one, directly confirming strong continuity, the evolution family law, preservation of $H^3$, and the required derivatives. The equation combines the dispersive Airy equation with a time-dependent linear transport equation.

Differentiating the first auxiliary equation in $t$, the second in $x$, and equating ${\psi }_{xt}$ and ${\psi }_{tx}$ leaves preciselyso the Airy equation is their compatibility condition.

Multiplication of ${\psi }_x-ik\psi =q$ by $e^{-ikx}$ givesHenceFor $\mathrm{Im}k\ge 0$, the kernel $e^{ik(x-y)}$ is bounded when $y\le x$; dominated differentiation makes ${\psi }_{+}$ analytic for $\mathrm{Im}k>0$. Rapid decrease gives

For real $k$, multiply the time equation by $e^{-ikx}$ and let $x\to +\infty$. The rapidly decreasing terms on its right vanish, leavingThereforeand the Fourier inversion theorem gives

The Scorer functions are particular solutions of inhomogeneous Airy equations: ${\mathrm{Hi}}^{\prime \prime }(x)-x\mathrm{Hi}(x)=1/\pi$ and ${\mathrm{Gi}}^{\prime \prime }(x)-x\mathrm{Gi}(x)=-1/\pi$. They occur when an endpoint participates in an Airy-type transition. The NIST Digital Library of Mathematical Functions gives their standard normalizations.