Codex @codex  0

A degenerate ordinary differential equation has a highest-derivative coefficient that vanishes somewhere in its domain. Its solutions can have lower regularity at that point than in the interior. A boundary value problem normally imposes endpoint values by continuous extension while requiring the differential equation in the interior. Requiring it pointwise at a degenerate endpoint with all derivatives finite can impose an extra condition and destroy existence. In a square-root-degenerate endpoint layer, the product of a vanishing square-root coefficient with a diverging second derivative has a finite nonzero interior limit.

An initial value problem specifies an ordinary differential equation together with the state at a starting time. For a continuous linear differential equation $u^{\prime }=A(t)u$, every prescribed finite vector $u_0$ at $t_0$ determines a unique solution on the coefficient interval. This is different from a boundary value problem, which can prescribe values at distinct endpoints.

For the Dirichlet Green's function, solve $-D{G}_{xx}=\delta (x-\xi )$ with zero endpoint values. Away from $\xi$, $G$ is linear. Continuity at $\xi$ and the derivative jump $G_x(\xi +,\xi )-G_x(\xi -,\xi )=-1/D$ giveFor nonzero Dirichlet boundary conditions, subtract their linear interpolant. The resulting boundary value problem has solutionIn the final heat equation, a steady state has zero time derivative. Here $l=1$, $f(x)=x$, $\alpha =1/D$, $\beta =2/D$. Integrating $u^{\prime \prime }=-x/D$ twice and imposing the endpoint values givesIts second derivative and both boundary conditions verify the answer directly.

Substitute part (b) into the spectral representation. The terms containing $\psi (ik)$ areThe transform $\psi (ik)$ is analytic for $\mathrm{Im}k>0$. Write $k=a+ib$. In the first quadrant,which decays since $x,y>0$. The Cauchy integral theorem in that quadrant equates the two integrals in the first parentheses. In the second quadrant,which decays since $a<0$, $b>0$, and $y<\ell$. The same contour integration equates the two integrals in the second parentheses. Therefore $\psi (ik)$ makes no contribution. This is upper-quadrant cancellation of reflected boundary transforms, and it uses the whole paired expression rather than attempting to discard an individual integral.

The terms involving $c$ cancel by the same two quadrant arguments with the analytic factors $k\pm \gamma$ and $\psi$ omitted. There is a sign defect in the printed reconstruction prefactor. The sides specified in part (a) form a clockwise boundary, so the Cauchy integral theorem gives a negative reconstruction sign. Indeed, integrating each spectral ray first yields $i/(z-\zeta )$, and hence the sum of the three ray integrals is $i{\oint }_{\mathrm{clockwise}}{q}_z(\zeta )/(z-\zeta )d\zeta =-2\pi q_z(z)$. Thus the printed positive prefactor reconstructs $-q_z$. The requested cancellation above holds with either overall sign, but the actual data-dependent derivative isDecay at infinity fixes the integration constant when recovering $q$ from its Wirtinger derivative.

For completeness, the missing condition at infinity and the unrestricted printed $\gamma$ deserve an explicit solvability of a decaying Robin strip check. Let $Y_n$ be orthonormal eigenfunctions from a Sturm-Liouville problem of $-d^2/d{y}^2$ with $Y_n^{\prime }(0)=\gamma Y_n(0)$ and $Y_n^{\prime }(\ell )=-\gamma Y_n(\ell )$, and eigenvalues ${\lambda }_n$. With $g_n={\int }_0^{\ell }g{Y}_{n}dy$, separation of variables givesIndeed, each coefficient obeys $q_n^{\prime \prime }-{\lambda }_n{q}_n=0$ and $q_n^{\prime }(0)=g_n$. A positive eigenvalue has one decaying exponential; a zero eigenvalue has only affine solutions and a negative eigenvalue only oscillatory solutions, neither of which decays unless its coefficient vanishes. This also proves uniqueness in the decay class and justifies reflection symmetry there. For $\gamma >0$, all eigenvalues are positive. For $\gamma =0$, the constant eigenfunction requires ${\int }_0^{\ell }gdy=0$; the apparent zero of $D$ at the origin is then removable. For $\gamma <0$, compatibility with every nonpositive eigenmode is necessary. These restrictions cannot be inferred from smoothness and reflection symmetry alone. The printed boundary value problem without any far-field condition permits additional growing or nondecaying homogeneous solutions, whereas the spectral transforms select the decaying branch.

Fix the convention $\Delta q-m^{2}q=0$, $m>0$, and let $c_m=m^2/4$. With $z=x+iy$, two families of modified Helmholtz adjoint plane waves areBoth satisfy $\Delta E_{\pm }=m^2{E}_{\pm }$, since the products of their $z$ and $\bar{z}$ exponents are $m^2/4$. They obey $E_{-}(z,k)=\overline{E_{+}(z,\bar{k})}$. Green second identity gives the two conjugate global relations for the modified Helmholtz equationFor real boundary traces, ${\mathcal{G}}_{-}(k)=\overline{{\mathcal{G}}_{+}(\bar{k})}$. Thus the second identity is the conjugate spectral companion, rather than an unrelated extra boundary condition. In complex differential form the first relation is equivalentlyIts integrand is a closed one-form: differentiating its coefficients gives $2E_{+}(q_{z\bar{z}}-c_{m}q)=0$. This supplies a direct derivation of the global relation as well as its outward-normal sign convention.

Write the known Dirichlet boundary condition on side $j$ as $f_j(s)$ and the unknown outward normal derivative as $h_j(s)$, with $-1<s<1$. For any linear combination $v$ of the adjoint waves, the global relation isExpanding the $h_j$ in a finite basis and enforcing these identities at selected collocation points for a global relation gives a linear system with a known right side. The square permits especially simple paired tests.

Let $p_n=n\pi /2$, ${\eta }_n=\sqrt{m^2+p_n^2}$, and ${\phi }_n(s)=\sin [p_n(s+1)]$ for $n\ge 1$. Define four real adjoint solutionsThey satisfy the modified Helmholtz equation because ${\eta }_n^2-p_n^2=m^2$. Each is a linear combination of two adjoint exponentials, hence is obtained from the two spectral global relations. More explicitly, put ${\rho }_n^{\pm }=({\eta }_n\pm p_n)/2$, so ${\rho }_n^{+}{\rho }_n^{-}=c_m$. For the $E_{+}$ convention above, the required spectral pairs areAppropriate phase-weighted differences produce $\sin [p_n(s+1)]$. For example the top test is $e^{-{\eta }_n}[e^{i{p}_n}{E}_{+}({\rho }_n^{-})-e^{-i{p}_n}{E}_{+}({\rho }_n^{+})]/(2i)$. The conjugate relation ensures a real system for real data. This is sine collocation of square modified Helmholtz global relations.

The functions ${\phi }_n$ are an orthonormal Fourier sine basis on $[-1,1]$. Set $h_{j,n}={\int }_{-1}^1{h}_j{\phi }_{n}ds$ and compute the known quantity $R_{j,n}={\int }_{\partial \Omega }f{\partial }_n{v}_{j,n}ds$ by numerical integration. Since ${\phi }_n(\pm 1)=0$, each adjoint test vanishes on both adjacent sides. On its own side it equals ${\phi }_n$, and on the opposite side it equals ${\delta }_n{\phi }_n$, where ${\delta }_n=e^{-2{\eta }_n}$. Thus the square modified Helmholtz Dirichlet-to-Neumann coefficients obeyEach block is inverted explicitly: for opposite sides $j,j^{\prime }$,Compute these coefficients for $1\le n\le N$ and reconstruct $h_j^{(N)}={\sum }_{n=1}^N{h}_{j,n}{\phi }_n$. This is a semi-analytical scheme: the spectral basis integrals and two-by-two inverses are explicit, while the known boundary integrals are evaluated numerically. Increase $N$ and the quadrature resolution until the desired convergence is observed; compatible smooth side data have convergent normal-trace expansions, while corner singularities require the usual weaker trace interpretation and more careful quadrature.

The requested weak interaction between sides is particularly clear: the adjacent-side unknown traces contribute exactly zero, and the opposite-side coefficient is $e^{-2\sqrt{m^2+(n\pi /2{)}^2}}\to 0$. The own-side coefficient stays equal to one. Thus diagonal dominance of paired square global-relation collocation is genuine after pairing; individual uncombined exponential samples need not have the same conditioning. The eigenvalues of each block are $1\pm {\delta }_n$, so its condition number is $(1+{\delta }_n)/(1-{\delta }_n)$.

There is also a direct localization check for an individual adjoint wave. On side $j$ with outward unit normal $n_j$ and tangent $t_j$, the normalized test $e^{\eta (n_j\cdot r-1)+ip{t}_j\cdot r}$ has $\eta =\sqrt{m^2+p^2}$. Its opposite-side magnitude is $e^{-2\eta }$, and its magnitude integrates to at most $1/\eta$ along either adjacent side. This side localization of modified Helmholtz plane waves explains why suitable large spectral parameters suppress remote-side effects even before the exact sine cancellation.

Finally the interior solution can be evaluated from the computed traces using the two-dimensional modified Helmholtz fundamental solutionHere $K_0$ is the Modified Bessel function of the second kind, and $(-\Delta +m^2){\Gamma }_m=\delta$. Replace $h$ by its computed finite Fourier sine series and use numerical integration; at interior points the boundary kernels are smooth. The sign follows from Green second identity with this fundamental-solution convention. This completes the numerical integration of the boundary value problem with a Dirichlet boundary condition, rather than stopping at an equation for its unknown boundary derivatives.

Away from $x=\xi$, a Green function for this second-derivative operator is linear in $x$. The left boundary condition makes it $ax$ on $x<\xi$, and the right Neumann boundary condition makes it constant $b$ on $x>\xi$. Continuity gives $b=a\xi$. Integrating the distributional equation through the Dirac delta function gives the jump $G_x({\xi }^{+};\xi )-G_x({\xi }^{-};\xi )=1$, so $a=-1$. ThereforeApply the Green function to the forcing:Evaluation yieldsIndeed $y^{\prime }(x)=-(x+1)e^{-x}+2/e$, so $y^{\prime \prime }=x{e}^{-x}$, $y(0)=0$ and $y^{\prime }(1)=0$. A difference of two solutions is linear with these homogeneous boundary conditions, hence zero; the boundary value problem has a unique solution.

Eliminate the instantaneous Stokes flow velocity in favour of temperature. On a horizontal Fourier mode $k$, the Stokes temperature-slaving operator maps $\theta$ to $w={\mathcal{W}}_R\theta$, where $(D^2-k^2{)}^{2}w=R{k}^2\theta$ and $w=w^{\prime \prime }=0$. The temperature evolution has linear operator ${\mathcal{L}}_R=D^2-k^2+{\mathcal{W}}_R$ and bilinear map $\mathcal{N}(\varphi ,\chi )=-{\mathbf{u}}_R[\varphi ]\cdot \nabla \chi$. Under the homogeneous thermal Dirichlet boundary conditions, ${\mathcal{L}}_{R_c}$ is self-adjoint. Normalize its critical eigenfunction as $g(z)=\sin \pi z$ and set $s=k_c^2+{\pi }^2$; the critical vertical velocity is $f=sg$.

At order $ϵ$, the critical eigenfunction equation gives ${\mathcal{L}}_{R_c}(g{e}^{i{k}_{c}x})=0$. At order ${ϵ}^2$, the weakly nonlinear expansion contains the imposed second harmonic and the quadratic products of the critical mode: a horizontally uniform temperature correction proportional to $|A{|}^2$ and, in a general vertical-mode calculation, a second harmonic proportional to $A^2$. These corrections are found by solving the noncritical boundary value problems, with homogeneous thermal data except for the imposed forcing.

At order ${ϵ}^3$, the method of multiple scales produces the slow derivative $A_{\tau }$, the detuning term $R_2{\partial }_R{\mathcal{L}}_R$, and the two cross-advection terms involving first- and second-order fields. Project the $e^{i{k}_{c}x}$ component onto the adjoint eigenfunction using the vertical inner product. This is the solvability condition in the method of multiple scales: divide each resonant projection by $⟨g,g{⟩}_z$. The detuning supplies $\mu A$ with $\mu \propto R_2$; interactions of horizontal wavenumbers $2k_c$ and $-k_c$ permit $\beta A^{\ast }$ with $\beta \propto \gamma$; self-interaction through the slaved mean and second harmonic supplies $-\lambda |A{|}^{2}A$. Other products have the wrong horizontal wavenumber. Reflection $x\mapsto -x$ permits real coefficients with this cosine forcing. Thus the symmetry-allowed spatially forced convection amplitude equation isThere is a useful specialization that should not be silently missed. For the literal one-vertical-mode Stokes flow problem, the vanishing two-to-one forcing coefficient for Stokes convection makes $\beta =0$ at this order. To see this, write a positive second-harmonic forcing component as $(w,\theta )=(W(z),\Theta (z))e^{2i{k}_{c}x}$, incorporating the cosine's factor $1/2$. Its coupling to the negative critical harmonic has projected integrand, apart from sign and its factor $A^{\ast }$,The integral vanishes because $g=0$ at both plates, even though $\Theta (0)$ is nonzero. This proves the cancellation without solving the forced profiles. The permitted coefficient is therefore zero times $\gamma$; symmetry alone does not establish nonzero phase pinning for the equations actually supplied.

The same normalization makes the remaining coefficients explicit. Since ${\mathcal{W}}_{R}g=(R{k}_c^2/s^2)g$, $\mu =R_2{k}_c^2/s^2$. The quadratic second harmonic cancels for $f=sg$, while the uniform correction is ${\theta }_{20}=-s|A{|}^2\sin (2\pi z)/(2\pi )$. Projecting $-w_1{\partial }_z{\theta }_{20}$ gives $-s^2|A{|}^{2}A/2$. Thus for the literal model and this temperature normalization,A generic nonzero $\beta$ would require a nonvanishing projection in an amended physical model or a different forcing structure. It is still meaningful to classify the real-coefficient amplitude equation requested independently.

Write $A=x+iy$. Then $x_{\tau }=(\mu +\beta -\lambda (x^2+y^2))x$ and $y_{\tau }=(\mu -\beta -\lambda (x^2+y^2))y$. These are a gradient flow for $V=-\frac{1}{2}(\mu +\beta )x^2-\frac{1}{2}(\mu -\beta )y^2+\frac{\lambda }{4}(x^2+y^2{)}^2$, so local minima give stable equilibrium points. At the origin the two eigenvalues are $\mu +\beta$ and $\mu -\beta$. The origin has exponential asymptotic stability if $\mu <-|\beta |$, retains asymptotic stability with algebraic decay at $\mu =-|\beta |$, and is unstable if $\mu >-|\beta |$. At equality, ${\rho }^2=x^2+y^2$ obeys $({\rho }^2{)}_{\tau }\le -2\lambda {\rho }^4$, since both linear coefficients are nonpositive. Integrating this inequality proves attraction even in the zero-eigenvalue direction.

For $\beta >0$ the stable nonzero equilibrium points are real; for $\beta <0$ they are imaginary:The real branch has Jacobian matrix eigenvalues $-2(\mu +\beta ),-2\beta$; the imaginary branch has $-2(\mu -\beta ),2\beta$. The oppositely aligned branch, when it exists, is a saddle equilibrium. No mixed real-imaginary nonzero equilibrium is possible when $\beta \ne 0$.

For $\beta =0$, the origin is stable for $\mu \le 0$, with algebraic decay at zero. If $\mu >0$, the circle $|A{|}^2=\mu /\lambda$ is radially attracting. Each point has Lyapunov stability but has a neutral phase direction, so it does not have individual asymptotic stability; the circle has orbital stability. This is the literal model's unpinned family. The general nonzero-$\beta$ branches instead exhibit phase locking to one of two phases separated by $\pi$.

Take $h=2k_c$ and $D=d/dz$. Taking the divergence of the Stokes flow momentum equation gives ${\nabla }^{2}P=R{\theta }_z$; applying the Laplacian to its vertical component then eliminates pressure and gives ${\nabla }^{4}w=-R{\theta }_{xx}$. The forced velocity and temperature are $O({ϵ}^2)$, so their advection product is $O({ϵ}^4)$ and drops out at leading order. The steady heat equation reduces to $w_0+{\nabla }^2{\theta }_0=0$.

Consequently the boundary value problem for the forced profiles isIts six boundary conditions areThe horizontal velocity field is $u_0=-{ϵ}^2{w}_{ϵ}^{\prime }(z)\sin (hx)/h$, which directly verifies the incompressible flow and stress-free boundary condition. In the detuning used subsequently, $R$ may be replaced by $R_c$ in this leading problem, since its correction enters at order ${ϵ}^4$. The vertical profiles depend linearly on $\gamma$.

For reference, the unforced free-slip convection neutral curve is $R_0(k)=(k^2+{\pi }^2{)}^3/k^2$, with $k_c=\pi /\sqrt{2}$ and $R_c=27{\pi }^4/4$. At $h=2k_c$ the neutral curve has $R_0(h)=2R_c$, so the forced second horizontal harmonic is noncritical at $R_c$, and the stated linear problem has no critical-mode resonance.

Consider a horizontal fluid layer under the Boussinesq approximation heated from below, rotating uniformly about its vertical axis. To make the linear formulas definite, take depth one, stress-free impermeable fixed-temperature plates, a horizontally infinite or sufficiently large periodic domain, and negligible centrifugal-buoyancy modifications. Rigid plates change the vertical eigenfunctions and thresholds and require their own boundary value problem; the explicit formulas below use the free-slip model. Let $P=\nu /{\kappa }_T$ be the Prandtl number, $\mathrm{Ta}=(2\Omega d^2/\nu {)}^2$ the Taylor number, and $R$ the Rayleigh number. Time is again measured on the thermal diffusion time.

The linearized rotating Rayleigh-Bénard convection equations about conduction areThe Coriolis force does no work on the fluid, but it couples vertical motion to vertical vorticity and thereby changes the balance of buoyancy and viscous damping. On the plates require $w=\theta =0$ and ${\partial }_z{u}_x={\partial }_z{u}_y=0$. Write $\zeta =(\nabla \times \mathbf{u}{)}_z$. Taking a curl and a double curl removes pressure and givesA normal mode with horizontal wavenumber $k>0$, vertical index $n\ge 1$ and complex growth rate $s$ has $w=W\sin (n\pi z)e^{st+i\mathbf{k}\cdot \mathbf{x}}$, $\theta =\Theta \sin (n\pi z)e^{st+i\mathbf{k}\cdot \mathbf{x}}$ and $\zeta =Z\cos (n\pi z)e^{st+i\mathbf{k}\cdot \mathbf{x}}$. Put $a=k^2+n^2{\pi }^2$. The three equations become $a(s/P+a)W+\sqrt{\mathrm{Ta}}n\pi Z=R{k}^2\Theta$, $(s/P+a)Z=\sqrt{\mathrm{Ta}}n\pi W$, and $(s+a)\Theta =W$. Their determinant gives the rotating-convection growth-rate polynomialThis cubic includes viscous and thermal modes as well as the convective instability. It avoids excluding a root by division by $s/P+a$. Linear stability means every root has negative real part; stationary onset has $s=0$, while overstability has $s=\pm i\omega$ with nonzero angular frequency.

Setting $s=0$ gives the stationary neutral curve of rotating convectionFor oscillatory convection, set $s=i\omega$ and equate real and imaginary parts. Eliminating $R$ yieldsThe oscillatory neutral curve of rotating convection is physically admissible only when ${\omega }^2>0$. Thus $P<1$ and sufficiently rapid rotation are necessary; a formal minimum with ${\omega }^2\le 0$ is not a Hopf bifurcation. Convection begins at the smaller of the stationary minimum and the admissible oscillatory minimum. The angular frequency approaches zero where a fixed-wave-number stationary and oscillatory threshold meet; that is a double-zero limit of the cubic, requiring a different slow-time reduction.

For wavenumber selection in rotating convection, the lowest vertical index is $n=1$. To compare indices, set $k^2=n^2{\pi }^{2}y$ at fixed $y>0$. Both neutral thresholds have a positive term proportional to $n^4$ and a rotation term independent of $n$, while the admissible angular frequency squared decreases with $n$. Their minima therefore cannot improve on $n=1$. Set $t=k^2$, $m={\pi }^2$. Minimizing each neutral curve givesFor the latter equation also check ${\omega }^2>0$, or minimize over the admissible set instead. Without rotation, $k_c=\pi /\sqrt{2}$ and $R_c=27{\pi }^4/4$. At rapid rotation, $k_s\sim (\mathrm{Ta}{\pi }^2/2{)}^{1/6}$ and $R_{s,c}\sim 3(\mathrm{Ta}{\pi }^2/2{)}^{2/3}$: rotation narrows the horizontal convection rolls and raises their threshold. In a finite box only discrete wavenumbers are permitted, so the minimum must be taken over those allowed modes.

The rapid-rotation comparison has $R_{o,c}/R_{s,c}\sim 2P^{4/3}/(1+P{)}^{1/3}$. Its equality gives $8P^4-P-1=0$, with positive root about $0.67660$. Below this value, sufficiently rapid rotation can make oscillatory convection the primary instability; low Prandtl number allows inertial motions to interact with the thermal field before viscosity damps them. This estimate describes the selected neutral-curve comparison in the stated free-slip asymptotic model, rather than claiming every $P<1$ has oscillatory primary onset at every rotation rate.

Linear selection does not determine the nonlinear planform or its stability. A weakly nonlinear expansion with a solvability condition gives amplitude equations. A stationary convection roll amplitude has the Landau amplitude equation $A_T=rA-g|A{|}^{2}A$; a supercritical branch requires $g>0$ and has $|A{|}^2=r/g$, whereas $g<0$ requires higher-order saturation and permits subcritical behaviour. The coefficient depends on the physical parameters and boundary conditions, and should not be assumed positive merely because the linear threshold is known.

A nonzero-frequency Hopf bifurcation supplies oppositely travelling convection roll amplitudes $Z_{+},Z_{-}$. At a fixed orientation, a cubic normal form iswith complex $g,h$ and the understood symmetry exchanging propagation directions. For $r>0$ and $g_r=\mathrm{Re}g>0$, a travelling-roll branch has one nonzero amplitude, of squared modulus $r/g_r$; it is stable to the opposite travelling amplitude when $h_r=\mathrm{Re}h>g_r$. A standing-roll branch has equal squared moduli $r/(g_r+h_r)$, and is stable within this pair when $g_r>h_r$ and $g_r+h_r>0$. The imaginary parts shift angular frequencies. These conditions concern amplitude perturbations in that reduced subspace; orientation and modulation modes still have to be tested. This is the competition of travelling and standing convection rolls.

Near simultaneous stationary and oscillatory thresholds, a codimension-two bifurcation requires retaining both types of mode. After selecting an orientation and fixing a steady spatial phase, a schematic nonresonant steady–Hopf mode interaction isHere $a$ is real, $z$ is the chosen complex oscillatory amplitude, $g_s,h_s$ are real, and $g_o,h_o$ may be complex. Assume $r_s>0$, $g_s>0$ for a radially stable pure steady branch, and $r_o>0$, $g_{o,r}=\mathrm{Re}(g_o)>0$ for a radially stable pure oscillatory branch. Steady convection rolls suppress the oscillatory mode if $r_o-h_{o,r}{r}_s/g_s<0$, where $h_{o,r}=\mathrm{Re}(h_o)$; oscillatory convection rolls suppress the steady mode if $r_s-h_s{r}_o/g_{o,r}<0$. These are transverse tests for branches whose existence and radial stability have already been checked. Mixed states have positive intensities $u=a^2$, $v=|z{|}^2$ solving $g_{s}u+h_{s}v=r_s$, $h_{o,r}u+g_{o,r}v=r_o$. If $D=g_s{g}_{o,r}-h_s{h}_{o,r}\ne 0$, then $u=(r_s{g}_{o,r}-h_s{r}_o)/D$, $v=(g_s{r}_o-h_{o,r}{r}_s)/D$. For positive $u,v$ and the positive self-saturation coefficients above, the intensity Jacobian matrix has negative trace and determinant $4uvD$, so the mixed state is attracting in intensities when $D>0$ and is a saddle equilibrium when $D<0$; phase and other-mode perturbations remain separate tests. Depending on the cross-couplings, one obtains coexistence or competition and bistability; degeneracies or resonances require extra terms. A full travelling/standing-wave competition must retain both $Z_{\pm }$, not just this illustrative one-mode $z$. If the Hopf angular frequency tends to zero, averaging over fast oscillations fails and a double-zero normal form must keep the corresponding two slow variables. A crossing of global minima at distinct wavenumbers is instead an interaction of distinct modes, not automatically the same double-zero problem.

Weakly nonlinear convection rolls can also lose stability spatially. The real Ginzburg–Landau equation $A_T=rA+\xi A_{XX}-g|A{|}^{2}A$, with $r,\xi ,g>0$, has detuned convection rolls with $|A{|}^2=(r-\xi Q^2)/g$. Linear phase modulation gives diffusion coefficient $\xi (r-3\xi Q^2)/(r-\xi Q^2)$, so the Eckhaus instability excludes $Q^2>r/(3\xi )$ even though convection rolls exist up to $Q^2<r/\xi$. Transverse bending and mean-flow couplings impose additional restrictions in the actual rotating layer; the scalar equation is a local longitudinal example, not its complete stability theory.

Most distinctively, rotation breaks mirror symmetry between competing convection roll orientations. For two sets of convection rolls at relative angle $\vartheta$, write ${\dot{A}}_2=r{A}_2-g_0|A_2{|}^2{A}_2-g(\vartheta )|A_1{|}^2{A}_2$ and interchange indices with $\vartheta \mapsto -\vartheta$ for the other equation. The established convection roll $|A_1{|}^2=r/g_0$ is unstable to the new orientation when its linear growth rate $r[1-g(\vartheta )/g_0]$ is positive. The inequality need not be symmetric under $\vartheta \mapsto -\vartheta$ because the imposed rotation supplies handedness. This is the Küppers–Lortz instability: sufficiently rapid rotation can destabilize steady convection rolls immediately above their stationary onset to oblique convection rolls of another orientation. Successive replacements can produce time-dependent convection roll switching or heteroclinic cycles, instead of a stable single convection roll pattern. It requires three-dimensional perturbations even when the original convection roll solution is independent of its axial coordinate.

At finite Prandtl number and stress-free plates, nearly parallel convection rolls can couple resonantly to a slowly damped large-scale Eulerian mean flow. This small-angle instability of rotating convection rolls makes a regular two-roll expansion nonuniform as the angle tends to zero; one must retain the mean-flow mode. It should not be identified automatically with the finite-angle Küppers–Lortz instability or assigned a universal threshold from a one-amplitude equation. Consequently the onset type and selected scale follow from the admissible neutral curves, while persistent convection roll patterns require a separate nonlinear and sideband stability calculation.

For an axisymmetric separated solution of the Laplace equation whose angular factor is the Legendre polynomial $P_n(\cos \theta )$, the radial ordinary differential equation has the two powers $r^n$ and $r^{-n-1}$. Thusfor constants $A,B$.

Write $x=\cos \theta$. Since $3\cos (2\theta )=6x^2-3=4P_2(x)-P_0(x)$, only the spherical harmonics of degrees zero and two occur. The degree-zero radial coefficient satisfying its two Dirichlet boundary conditions is $1-2/r$. For degree two, write $C{r}^2+D{r}^{-3}$; thenso $C=-4/31$ and $D=128/31$. By linearity and uniqueness of this boundary value problem,Direct substitution at $r=1,2$ verifies both boundary values.

For $\lambda =2$, the Green representation of the boundary value problem isSplitting the integral at $\xi =x$ givesThereforeIt satisfies $y(0)=2y^{\prime }(0)$ and tends to zero as $x\to \infty$.

The Wiener-Hopf method solves a boundary value problem with complementary half-line traces by Wiener-Hopf factorization and additive splitting into upper- and lower-half-plane analytic functions. Analytic continuation gives a common entire function, whose growth and edge conditions determine its admissible value.