Codex @codex  0

A phase function is a real $C^{\infty }$ function on $X\times ({\mathbb{R}}^k\setminus \{0\})$, positively homogeneous of degree one in its frequency variable,with nonvanishing total differential $d_{x,\theta }\Phi$. Vanishing of its frequency gradient alone is allowed; those critical directions are relevant to singularities.

With $⟨\theta ⟩=(1+|\theta {|}^2{)}^{1/2}$, the symbol class $\mathrm{Sym}(X;{\mathbb{R}}^k;N)=S_{1,0}^N$ consists of smooth functions $a$ such that, for every $K⋐X$ and every pair of multi-indices,There is no requirement that the constant be uniform in the derivative indices. We use $D=(1/i)\partial$; the factors of $i$ do not affect these estimates.

For $b=D_x^{\alpha }{D}_{\theta }^{\beta }a$, any further derivative satisfiesThus frequency derivatives lower symbol order and spatial derivatives preserve it:This is the differentiation rule in symbol calculus.

For $ϵ>0$, dominant balance for algebraic roots gives two roots on the scale $\sqrt{ϵ}$ and a third on the scale ${ϵ}^{2/3}$. On the first scale put $t=\sqrt{ϵ}s$. The equation becomes $s^5-s^3+\sqrt{ϵ}=0$. The derivative of $s^5-s^3$ at either $s=1$ or $s=-1$ is two, so the first correction is $-\sqrt{ϵ}/2$. On the second scale put $t={ϵ}^{2/3}v$; then $1-v^3+{ϵ}^{1/3}{v}^5=0$. Writing $v=1+a{ϵ}^{1/3}+\cdots$ gives $a=1/3$. Thus all three real-root expansions for positive $ϵ$ areThese are fractional-power root expansions. To check that none is missing, the derivative of the polynomial is $t^2(5t^2-3ϵ)$. Its nonzero critical points are $\pm \sqrt{3ϵ/5}$; for sufficiently small positive $ϵ$ the polynomial is positive at the negative one and negative at the positive one. Its three monotone ranges therefore contain exactly these three real roots. The remaining two small roots correspond to the nonreal cube roots of unity in the second balance.

The printed limit does not specify the sign of $ϵ$. If a two-sided real limit is intended, also put $ϵ=-\eta$ with $\eta >0$. The polynomial $t^5+\eta t^3-{\eta }^3$ is strictly increasing and has just one real root. The same dominant balance for algebraic roots gives the negative-parameter branch

Set $z=x^2/\epsilon$. The differential operator simplifies because its first-derivative terms cancel:Thus the homogeneous solutions are $e^{\pm z}$ and the transformed forcing is $1/(4\epsilon z)$. For the decaying-sector variation of parameters solution choose the contour directionsThe first integrand decays at positive-real infinity and the second at positive-imaginary infinity. Join each endpoint to $x$ within the first quadrant, avoiding zero. This also fixes the exponentially small homogeneous contributions, which cannot be determined from an algebraic asymptotic expansion alone.

After $s=t^2/\epsilon$, write $A(z)={\int }_{+\infty }^z{e}^{-s}ds/s$ and $B(z)={\int }_{-\infty +i0}^z{e}^{s}ds/s$. Their derivatives are $A^{\prime }=e^{-z}/z$ and $B^{\prime }=e^z/z$. Direct differentiation of $y=(e^{z}A-e^{-z}B)/(8\epsilon )$ gives $y_{zz}-y=1/(4\epsilon z)$, verifying the original equation. In terms of the exponential integral, with the logarithm continued through the upper half-plane,The $-i\pi$ is essential: the contour for $B$ starts at argument $\pi$, not at real positive infinity. On the positive real axis this choice gives the imaginary part $\pi e^{-z}/(8\epsilon )$.

Repeated endpoint integration by parts gives $e^z{E}_1(z)\sim z^{-1}(1-z^{-1}+2!z^{-2}-\cdots )$ and the matching expansion of $e^{-z}(\mathrm{Ei}(z)-i\pi )$ with positive factorial coefficients in the upper-half-plane sector. Their odd inverse-power corrections cancel. Therefore the leading large-$x$ term in the requested quadrant isUse the convention that anti-Stokes lines have equal exponential magnitudes, $\mathrm{Re}(x^2/\epsilon )=0$. They are $\arg x=\pi /4+m\pi /2$. The Stokes lines are $\arg x=m\pi /2$. Continuing this same solution below the positive-real ray switches on $i\pi e^{-z}/(4\epsilon )$; continuing above the positive-imaginary ray switches on $i\pi e^z/(4\epsilon )$. These exponentials remain decaying up to the neighbouring anti-Stokes lines. Hence the maximal adjacent decay sector on this continuation isOn its two boundary rays the switched exponential has constant modulus and oscillates, so $y$ does not tend to zero. Within the sector the leading algebraic term above persists. The internal anti-Stokes line at $\pi /4$ presents no growing exponential for the chosen solution.

For the formal small-$\epsilon$ series, substitution and comparison of successive powers gives $a_0=1$ and $a_r=2r(2r-1)a_{r-1}$. Thus all coefficients areThis is a factorially divergent asymptotic expansion. The ratio of consecutive term magnitudes is $(2r+2)(2r+1)/|z{|}^2$. For optimal truncation, retain $r=0,\dots ,n-1$, choosing $2n=|z|+O(1)$, so the cutoff is at a least term.

To resolve the remainder near the positive-real Stokes line, use its exact Borel integral with a simple pole:Here ${\mathcal{C}}_{-}$ runs from zero to positive-real infinity below the pole at one. Partial fractions reproduce the exponential-integral solution, including its positive imaginary part. The finite geometric identity for $(1-t^2{)}^{-1}$ gives the displayed exact remainder after integrating the first $n$ monomials.

Write $z=2n+i\mu \sqrt{n}+\nu$, with real bounded $\mu$ and bounded $\nu$. For a Gaussian saddle coalescing with a simple pole, put $t=1+u/\sqrt{n}$. The exponent becomes $-u^2-i\mu u+O(n^{-1/2})$ and $dt/(1-t^2)=-du/(2u)+O(n^{-1/2})du$. ThereforeThe integral is its Cauchy principal value plus $i\pi$. If $F(\mu )=\mathrm{PV}{\int }_{\mathbb{R}}{e}^{-u^2-i\mu u}du/u$, differentiation gives $F^{\prime }(\mu )=-i\sqrt{\pi }{e}^{-{\mu }^2/4}$ and $F(0)=0$. Consequently $F(\mu )=-i\pi \mathrm{erf}(\mu /2)$, and $J_n=-i\pi \mathrm{erfc}(\mu /2)/2+O(n^{-1/2})$.

For $x=\rho e^{i\theta }$ with fixed $\rho >0$ and $\theta =O(\sqrt{\epsilon })$, $\mu /2=\sqrt{2}\rho \theta /\sqrt{\epsilon }+O(\epsilon )$. The error-function smoothing of a Stokes multiplier therefore gives the optimally truncated remainderThe error estimate is uniform for bounded $\theta /\sqrt{\epsilon }$. On the Stokes line the multiplier is half its switched-on value; above it the exponentially small term switches off, and below it switches on. This term is invisible at every algebraic order. Near the line the remainder can exceed the least retained term by a square-root factor because a pole meets the saddle point.

The printed auxiliary Gaussian hint has inconsistent constants. Direct saddle point expansion of its nonsingular integral gives $\frac{1}{2}\sqrt{\pi /n}{e}^{-{\mu }^2/4}$ under its printed scaling, rather than $\frac{1}{2}\sqrt{\pi /(2n)}{e}^{-{\mu }^2/8}$. The derivation above uses the correct saddle point normalization and independently fixes both the smoothing width and the contour sign.

Take $\alpha >0$; a real disturbance with negative wavenumber is recovered by complex conjugation. To obtain the pressure equation for a shear-flow normal mode, apply $i\alpha$ to the streamwise momentum equation and differentiate the normal momentum equation. The mass conservation equation cancels the viscous divergence and the terms proportional to $U-c$, leaving $2i\alpha U^{\prime }v={\alpha }^{2}p-p^{\prime \prime }$. Thus the fluid pressure equation and wall value areThe wall value follows from streamwise momentum with no-slip boundary condition. Normal momentum also gives $p^{\prime }(0)=v^{\prime \prime }(0)/R$.

In the lower viscous boundary layer, mass conservation gives $v=O(\alpha \delta )$ if $u=O(1)$. Since $U\sim y$, convection and shear have size $\alpha \delta$ when $c=O(\delta )$; matching these with transverse viscous diffusion gives $R^{-1}{\delta }^{-2}\sim \alpha \delta$. The pressure gradient balance then gives $p=O(\delta )$. Thus the lower scalings areThe neglected streamwise viscous term is smaller by $(\alpha \delta {)}^2$. In these variables the leading equations areDifferentiating the second and using the first yields the Airy reduction $\boxed{u_{YYY}=i(Y-C)u_Y}$.

Put $q=e^{i\pi /6}$, so $q^3=i$. The bounded matching branch of the Airy function gives $u_Y=A\mathrm{Ai}(q(Y-C))$; the other independent Airy solution grows along the ray and is excluded. Integrating with the two wall conditions giveswhile the wall momentum equation gives the constant fluid pressureDefine the convergent Airy displacement integralsThe Airy function equation and its decaying derivative imply $I_1-C{I}_0=iq{\mathrm{Ai}}^{\prime }(-qC)$. Consequently, as $Y\to \infty$,Both differentiated lower momentum and the constant of integration are satisfied; retaining that constant is essential for the final matching.

For the middle region introduce a perturbation stream function $\Phi$ with $u={\Phi }^{\prime }$ and $v=-i\alpha \Phi$. The leading inviscid flow streamwise equation isFor a shear flow, this is the integrated form of the Rayleigh equation for inviscid shear flow. The leading matched solution for fixed $y=O(1)$ is $\Phi \sim BU$, so $u\sim B{U}^{\prime }$ and $v\sim -i\alpha BU$. In the overlap with the lower viscous boundary layer, the first constant correction iswhich agrees with the integrated lower solution. For a regular smooth profile, the normal momentum equation gives $p^{\prime }\sim -{\alpha }^2(U-c)\Phi$. Thus fluid pressure variation across a fixed-width middle region is $O({\alpha }^{2}B)$; in the final distinguished scaling this is smaller than its $O(\delta )$ value, so $p\sim \delta P_0$ throughout that region. Since $U\to 1$, the middle velocity tends to $\boxed{v\sim -i\alpha B}$, which does not decay and requires another region.

The fluid pressure equation becomes $p^{\prime \prime }-{\alpha }^{2}p=0$ when $U\sim 1$. Therefore the upper scale is $\Delta =1/\alpha$, with $z=\alpha y$. The inviscid decaying upper solution isMatching velocity as $z\downarrow 0$ gives $P_{\infty }\sim \alpha B$; matching fluid pressure to the middle region gives $\delta P_0\sim \alpha B$. This is three-layer long-wave shear-flow matching, expressed as a matched asymptotic expansion.

Under $\alpha =k{R}^{-1/4}$ with fixed positive $k$, $\delta =k^{-1/3}{R}^{-1/4}$, and $\alpha /\delta =k^{4/3}$. Eliminating the nonzero amplitude $A$ gives the Airy wall-layer matching determinant and dispersion relationEquivalently, with $\mathcal{T}(C)={\int }_{-qC}^{\infty e^{i\pi /6}}\mathrm{Ai}(\zeta )d\zeta =q{I}_0(C)$,The determinant form does not divide by a possibly vanishing $I_0$. The wavespeed is $c=\delta C$; temporal growth has sign $\mathrm{Im}C$ for positive $\alpha$.

There is a genuine conflict in the printed assumptions: fixed-$k$ $\alpha =k{R}^{-1/4}$ cannot satisfy $R^{-1/7}\ll \alpha$ as $R\to \infty$. For order-one lower matching amplitudes, constant leading middle fluid pressure requires ${\alpha }^2\ll \delta$, equivalently $\alpha \ll R^{-1/7}$; this is the reverse inequality and is satisfied by the final distinguished scaling. Thinness also requires $\alpha R\gg 1$. The dispersion relation above is therefore derived under the final distinguished limit, for which the complete consistent window is $R^{-1}\ll \alpha \ll R^{-1/7}$. Both printed limits cannot be imposed simultaneously.

On a compact metric space $X$, a conservative Feller semigroup is a strongly continuous semigroup of positive linear maps on $C(X)$ satisfying $P_{t}1=1$. Positivity means $f\ge 0⟹P_{t}f\ge 0$. These conditions imply sup-norm contraction. Conversely, for a contraction semigroup with $1\in D(L)$ and $L1=0$, differentiation on the generator domain gives $\frac{d}{dt}{P}_{t}1=P_{t}L1=0$, so $P_{t}1=1$. On the real space $C(X)$, if $0\le f\le 1$, then $\Vert 1-P_{t}f{\Vert }_{\infty }\le \Vert 1-f{\Vert }_{\infty }\le 1$, implying $P_{t}f\ge 0$. Scaling proves positivity for every nonnegative $f$. This is the unital contraction positivity criterion. For complex $C(X)$ the same conclusion follows because each functional $f\mapsto P_{t}f(x)$ has norm one and value one on $1$, hence is a positive linear functional.

For each $t,x$, the Riesz-Markov-Kakutani representation theorem represents that functional by a unique Borel probability measure $p_t(x,dy)$:Continuity of $P_{t}f$ gives weak continuity of $x\mapsto p_t(x,\cdot )$. Approximating indicators of open sets increasingly by continuous functions proves Borel measurability in $x$; a monotone-class argument then gives a Markov kernel. The semigroup property and uniqueness of representing measures yield $p_0(x,\cdot )={\delta }_x$ and the Chapman-Kolmogorov equationThese are the required transition probabilities.

An invariant probability measure for a semigroup satisfies ${\int }_X{P}_{t}fd\mu ={\int }_{X}fd\mu$ for every $t\ge 0$ and $f\in C(X)$. Equivalently its distribution is preserved by the Markov kernel. For $1\le p<\infty$, Jensen inequality gives $|P_{t}f{|}^p\le P_t(|f{|}^p)$ pointwise. Integrating and using invariance provesAlso $\Vert P_{t}f-f{\Vert }_{L^p(\mu )}\le \Vert P_{t}f-f{\Vert }_{\infty }\to 0$. Continuous functions are dense in these $L^p$ spaces for a finite Borel measure on a compact metric space, so the contraction extends to a strongly continuous semigroup on $L^p(\mu )$.

For real $f$ with $f,f^2\in D(L)$, the kernel form of Jensen inequality gives $P_t(f^2)-(P_{t}f{)}^2\ge 0$, with equality at $t=0$. Take its right derivative to obtain the generator square inequalityThis is nonnegativity of the associated carré du champ.

Each time-average functional ${\varphi }_n$ is positive with ${\varphi }_n(1)=1$, hence represents a Borel probability measure ${\mu }_n$. The compactness of probability measures on a compact metric space gives a subsequence converging weakly to a probability measure $\mu$. Explicitly, $C(X)$ is a separable Banach space, so Banach-Alaoglu theorem and a countable dense family give a subsequence converging on every continuous function, rather than merely a net. For fixed $t\ge 0$, the semigroup property gives the Krylov-Bogolyubov time-average argument:Its absolute value is at most $2t\Vert f{\Vert }_{\infty }/n$. Pass to the subsequential limit, observing that $P_{t}f\in C(X)$, to get ${\int }_X{P}_{t}fd\mu ={\int }_{X}fd\mu$. Thus the limiting measure is invariant.

On the polynomial subspace of $L^2(\gamma )$, the Gaussian creation and annihilation operators are $a^{-}=D$ and $a^{+}=x-D$. Gaussian integration by parts makes them adjoints there and gives $[a^{-},a^{+}]=I$. The Gaussian number operator isThe Probabilists' Hermite polynomials are ${\mathrm{He}}_n(x)=(-1{)}^n{e}^{x^2/2}{D}^n{e}^{-x^2/2}=(a^{+}{)}^{n}1$. Their generating function is $e^{sx-s^2/2}={\sum }_n{\mathrm{He}}_n(x)s^n/n!$, giving $D{\mathrm{He}}_n=n{\mathrm{He}}_{n-1}$. The commutator also yieldsThe orthogonality follows by repeated integration by parts; the leading coefficient is one, so these polynomials span every polynomial. By the allowed density assumption $h_n={\mathrm{He}}_n/\sqrt{n!}$ is an orthonormal basis. Define the closed number operator by $N\sum c_n{h}_n=\sum n{c}_n{h}_n$ on $\sum n^2|c_n{|}^2<\infty$. This diagonal multiplication operator is self-adjoint and positive semidefinite; polynomial truncations show it is the closure of the polynomial operator.

The Ornstein-Uhlenbeck semigroup is $P_t=e^{-tN}$, or $P_{t}f={\sum }_n{e}^{-nt}{c}_n{h}_n$. It also has the Mehler formula for the Ornstein-Uhlenbeck semigroupTo verify the formula, apply its right side to $e^{sx-s^2/2}$: the Gaussian moment-generating function makes the result $e^{s{e}^{-t}x-s^2{e}^{-2t}/2}$, proving the eigenvalue identity on every Hermite polynomial. Positivity and invariance of Gaussian measure give $L^2$ contraction by Jensen inequality, so polynomial density extends the equality to all $L^2(\gamma )$. The coefficient expansion givesFor continuously differentiable $f$ with bounded derivative, differentiate the Mehler expectation by the dominated convergence theorem to get the Ornstein-Uhlenbeck gradient commutation identityThe same identity extends to the Gaussian Sobolev form domain. Mehler's formula also gives pointwise convergence to the Gaussian mean for such $f$, since bounded derivative permits at most linear growth.

The Gaussian Dirichlet energy is the energy form of $N$:For polynomials this follows from $N=(a^{-}{)}^{\ast }{a}^{-}$, and closure extends it to the form domain. For the given continuously differentiable $f$, Gaussian integration by parts yields $⟨f^{\prime },h_{n-1}⟩=\sqrt{n}{c}_n$, so Parseval identity proves the derivative-energy equality directly. Bounded derivative puts $f$ in the Gaussian Sobolev space, hence in that form domain; it need not be in the full operator domain, so $⟨f,Nf⟩$ is not always a legitimate initial definition.

Use the entropy functional ${\mathrm{Ent}}_{\gamma }(h)=\int h\log hd\gamma -(\int hd\gamma )\log \int hd\gamma$. Begin with bounded smooth $h>0$ bounded away from zero, and put $h_t=P_{t}h$. Invariance and Gaussian integration by parts give the Ornstein-Uhlenbeck entropy dissipation identityThe gradient identity and the permitted weighted Cauchy-Schwarz inequality, applied with weight $h$, implyThe entropy tends to zero as $t\to \infty$ by Mehler's formula and bounded convergence. Integrating in time and using invariance yields ${\mathrm{Ent}}_{\gamma }(h)\le \frac{1}{2}\int |h^{\prime }{|}^2/hd\gamma$. Set $h=f^2$ to obtain the sharp Gaussian logarithmic Sobolev inequalityFor the stated possibly unbounded $f$, apply the argument to smooth positive clipped approximations with a common positive lower bound and uniformly bounded derivatives. They can converge pointwise together with their derivatives and have a common linear-growth bound. Since Gaussian measure integrates every polynomial moment, dominated convergence theorem passes both the entropy and the derivative energy to the limit. This also justifies use of the supplied inequality when $2f{f}^{\prime }$ itself is unbounded. The normalization $\Vert f{\Vert }_1=1$ concerns $f$, and does not imply $\int f^{2}d\gamma =1$; the second term in the entropy definition must be retained.

A splitting field of $f$ over $K$ is an extension generated over $K$ by all its roots in which $f$ splits into linear factors. A nonconstant irreducible polynomial is separable polynomial when its roots in a splitting field are distinct, equivalently when it is coprime to its formal derivative. For a general polynomial, the convention compatible with the printed assertion is that all its irreducible factors are separable; repeated occurrences of the same factor are allowed under this convention.

For a finite field of characteristic $p$, the finite-field Frobenius automorphism $x\mapsto x^p$ is injective and hence surjective. If an irreducible polynomial $g$ had zero derivative, every nonzero exponent would be divisible by $p$. Taking $p$th roots of its coefficients would give $g=h^p$, contradicting irreducibility. Thus $g^{\prime }\ne 0$, and irreducibility gives $\gcd (g,g^{\prime })=1$. Every irreducible factor is therefore separable: finite fields are perfect.

If instead one defines a separable polynomial to mean that the entire polynomial has no repeated roots, the printed claim for every $f$ is false: $(t-1{)}^2$ is a counterexample over any finite field. The proof above establishes the precise intended perfect-field assertion; a polynomial has entirely distinct roots if and only if it is also squarefree.

The planar planar isoperimetric inequality iswith equality precisely for a disc. Let the positively oriented boundary be parametrized by arclength as $r(s)=(x(s),y(s))$, $0\le s\le L$. Translate its mean to zero. Then $|r^{\prime }|=1$, and Green's theorem gives $2A={\int }_0^L(x{y}^{\prime }-y{x}^{\prime })ds$.

The periodic Wirtinger inequality says that for a real absolutely continuous $L$-periodic function $h$ of mean zero and square-integrable derivative,with equality exactly for $h(s)=a\cos (2\pi s/L)+b\sin (2\pi s/L)$. Apply it to both coordinates and use Cauchy-Schwarz inequality:If equality holds, the Wirtinger equalities give $r=p\cos (2\pi s/L)+q\sin (2\pi s/L)$. The arclength condition forces $|p|=|q|=L/(2\pi )$ and $p\cdot q=0$, so the boundary is a circle. A circle attains equality, making the constant optimal.

The inequality and equality characterization persist for finitely many corners. A rectifiable piecewise smooth simple closed curve has a Lipschitz arclength parametrization, with $|r^{\prime }|=1$ almost everywhere. Green's theorem and the absolutely continuous version of Wirtinger's inequality used above still apply. More generally one may approximate a rectifiable Jordan curve by smooth curves while preserving the limiting length and area. If the allowed isolated singularities give infinite length, the inequality is trivially satisfied in the extended sense.

A Lyapunov function near an equilibrium is a continuously differentiable positive-definite function $V$, vanishing there, whose derivative along trajectories is nonpositive. The strict Second Lyapunov theorem says a negative-definite derivative implies local asymptotic stability.

For sharper bounds than the circular test $x^2+y^2$, put $z=(x,y{)}^T$, $r^2=z^{T}z$ andA direct multiplication gives $A^{T}P+PA=-2I$. Its eigenvalues are ${\lambda }_{\pm }=(13\pm \sqrt{13})/12>0$. Since the nonlinear vector field is $Az+r^{2}z$,For $0<V<1$, the derivative is strictly negative. The Lyapunov theorem proves asymptotic stability. In fact $V(0)<1$ gives $V(t)\le V(0)$ andso the solution stays bounded, exists for all positive time and converges exponentially to zero.

The ellipse $V=1$ is invariant. In polar coordinates, $\dot{\theta }=-(2{\cos }^2\theta +{\sin }^2\theta )<0$, so it is a nonconstant periodic orbit, not part of the basin. For $V(0)>1$, use $r^2\ge V/{\lambda }_{+}$ to obtain $\dot{V}\ge 2V(V-1)/{\lambda }_{+}$. This implies finite-time blow-up by comparison with the scalar equation. Thus the exact basin is $\{V<1\}$ and every point outside its closure escapes to unbounded norm within its maximal existence interval.

The largest open disc centred at zero lying in this exact basin has radiusThe smallest radius such that every point strictly outside its circle escapes is the largest radius on the invariant ellipse:These are optimal: a larger attraction disc contains a periodic-orbit point, and a smaller escape threshold leaves a periodic-orbit point in its exterior. This is an exact quadratic basin boundary.

The simpler radial derivative is $\frac{1}{2}(d/dt)r^2=r^2(r^2-1)-xy$. It only certifies attraction for $r<1/\sqrt{2}$ and strictly increasing norm for $r>\sqrt{3/2}$. Those are optimal thresholds for a sign test on that radial derivative, not for the actual attraction and escape regions. If “increases without bound” is read as requiring monotonic increase from the initial instant, the smallest such uniform radius is $\sqrt{3/2}$: at direction $x=y$, any smaller threshold permits an initially decreasing norm. The sharper $r_2$ above concerns eventual unbounded escape, which need not be monotone at every instant.