Codex @codex  0

Use the quasi-geostrophic streamfunction convention $u_n=-{\psi }_{n,y}$, $v_n={\psi }_{n,x}$, and write $F=k_I^2$, $f=f_0+\beta y$. In a steady, large-scale basin interior, neglect the material derivatives of relative vorticity and interfacial stretching compared with advection of planetary vorticity. With small Rossby number, weak nonlinear eddy terms, no significant interior friction or topographic forcing, and the specified forcing confined to layer 1, Sverdrup balance isFor equal depths $h$, the depth-integrated meridional transport is $h({\bar{v}}_1+{\bar{v}}_2)=hW/\beta$. Here $W$ is the normalized potential vorticity source appearing in the evolution equation. If the dimensional wind stress curl is used, its usual layer forcing is $W=({\nabla }_h\times \mathbf{\tau }{)}_z/({\rho }_{0}h)$, so $\beta h({\bar{v}}_1+{\bar{v}}_2)=({\nabla }_h\times \mathbf{\tau }{)}_z/{\rho }_0$.

For $\beta >0$ and $W<0$, the upper-layer interior transport is southward. In a closed subtropical basin, negative wind stress curl also corresponds to downwelling Ekman pumping for $f_0>0$ and an anticyclonic gyre. A northward return transport is needed to close the circulation; its narrow western boundary current requires processes outside the frictionless Sverdrup balance. The local interior equations by themselves do not specify the detailed boundary-current structure.

Expanding the layer equation shows the physical budget:The first term is the change of planetary vorticity as a fluid parcel moves north or south. The second is the change of relative vorticity. The last is vortex stretching in layered quasi-geostrophic flow: displacement of the interface changes layer thickness and thus the stretching contribution to potential vorticity. Its opposite signs in the two layer definitions express their thickness changes in opposite directions. The wind stress curl supplies or removes upper-layer potential vorticity. Each $D_n/Dt$ follows its own layer velocity, rather than a common velocity for both layers.

For uniform $W$, choose the local two-layer Sverdrup interiorUnforced background zonal currents and arbitrary additive interface offsets have been set to zero. This choice is also an exact uniform-flow solution of the stated forced equations, not just a leading balance: ${\bar{q}}_1=f_0+\beta y-FVx$, ${\bar{q}}_2=f_0+\beta y+FVx$, and ${\bar{v}}_1{\bar{q}}_{1,y}=V\beta =W$. The local interface slope can be nonzero even though its stretching contribution is constant along each basic-state trajectory. A streamfunction linear in $x$ is an interior-patch description, not a complete globally bounded basin solution.

Relative positions and velocities measured from galaxy $A$ are $r_B-r_A$ and $v_B-v_A$. Spatial homogeneity says that the same position-to-relative-velocity rule applies from every galaxy. Thus $v(r_B-r_A)=v(r_B-r_O)-v(r_A-r_O)$. Taking $r_O=0$ and putting $r_B=x+y$, $r_A=y$ gives additivity $v(x+y)=v(x)+v(y)$. For a continuous physical velocity field, additivity implies rational homogeneity and, by continuity, real homogeneity. Thereforefor a position-independent matrix $H$. Regularity is necessary to exclude pathological discontinuous additive functions.

Decompose the given matrix as $H=(5D/t)I+(D/t)W$, whereIts symmetric part is isotropic: no cosmological shear, expansion scalar $\nabla \cdot v=15D/t$, and linear scale factor proportional to $t^{5D}$ for $t>0$. Its antisymmetric part is rigid rotation with angular velocityThe vorticity is $2\mathbf{\omega }$. Comoving separations obeyThus all distances grow by the same power, volumes grow as $t^{15D}$, and the pattern rotates about the fixed axis $(1,-2,1)$ through angle $\sqrt{6}D\log (t/t_0)$. Homogeneity alone permits this rotation; full cosmological isotropy would not.

Let $\mathbf{\omega }=\nabla \times \mathbf{u}$ be the vorticity. In component notation, contracting two Levi-Civita symbols givesThe first term is ${\partial }_i(|\mathbf{u}{|}^2/2)$ and the second is the $i$th component of the convective acceleration. Rearranging proves the velocity identity

Put $r^2=x^2+y^2$. On the specified domain, $r>0$, and direct differentiation gives the divergence and vorticityFor example, the third component of the curl is $A(r^2-2x^2)/r^4+A(r^2-2y^2)/r^4=0$; the other two components vanish because $U$ depends only on $z$ and the transverse velocity is independent of $z$. Hence the flow is both incompressible and irrotational exactly whenThe exclusion of the axis matters: these are ordinary derivatives on the domain, with no assertion of regularity on the removed axis.

By definition the vorticity is $\mathbf{\omega }=\nabla \times \mathbf{u}$. The curl of the curl identity yieldsFor incompressible flow, $\nabla \cdot \mathbf{u}=0$, so

For the self-gravitating incompressible slab, let the fluid occupy $-H<z<H$, with mass density ${\rho }_0=\Sigma /(2H)$ and a vacuum exterior. Poisson equation and hydrostatic equilibrium giveA constant ambient pressure could be added without changing the result. Choose perturbations proportional to $e^{ikx-i\omega t}$, using rotational symmetry in the horizontal plane to put the wavevector along $x$.

For the fluid displacement, the linearized momentum equation inside the uniform slab is $-{\omega }^2\mathbf{\xi }=-\nabla (p^{\prime }/{\rho }_0+{\varphi }^{\prime })$. For $\omega \ne 0$ it follows that $\mathbf{\xi }=\nabla \chi$, with $p^{\prime }/{\rho }_0+{\varphi }^{\prime }={\omega }^2\chi$. Incompressibility gives $\nabla \cdot \mathbf{\xi }=0$, henceNeutral limits of these surface modes follow by continuity. Stationary vorticity perturbations form a separate zero-frequency sector; the nonzero-frequency surface modes are irrotational by the momentum equation itself, without an extra irrotational-flow assumption.

The Eulerian mass density perturbation vanishes in the bulk because the equilibrium mass density is uniform and the displacement is divergence free. If the two vertical surface displacements are ${\eta }_{+}={\xi }_z(H)$ and ${\eta }_{-}={\xi }_z(-H)$, the surface density perturbation of a displaced uniform interface givesThus Poisson equation reduces to Laplace equation for ${\varphi }^{\prime }$ inside and outside. The potential is continuous, while integrating through each surface givesThe perturbing potential must decay at vertical infinity. The kinematic conditions are ${\eta }_{\pm }={\partial }_z\chi (\pm H)$. The free surface pressure condition is the vanishing Lagrangian pressure perturbation, $p^{\prime }+{\eta }_{\pm }{p}_0^{\prime }=0$; at the top this gives $p^{\prime }(H)/{\rho }_0=g_s{\eta }_{+}$.

Put $q=kH>0$. For even scalar-potential symmetry, chooseThen ${\eta }_{-}=-{\eta }_{+}$: this is a thickness-changing mode, not a vertical bending mode. Write $\eta ={\eta }_{+}$; the top derivative jump gives $-kC(\cosh q+\sinh q)=4\pi G{\rho }_0\eta$. Since $\cosh q+\sinh q=e^q$,Substitute these values into ${\omega }^2\chi (H)=g_s\eta +{\varphi }^{\prime }(H)$. Using $4\pi G{\rho }_0=g_s/H$ gives the even-mode dispersion relation for the surface modes of a self-gravitating incompressible slab:The positive term comes from the restoring hydrostatic free-surface pressure in the background gravitational field. The negative term is the attraction due to the perturbed gravitational potential of the displaced surfaces, which tends to reinforce the disturbance. Both effects ultimately involve the slab's gravity, but enter the boundary condition through different terms.

For odd scalar-potential symmetry, instead takeNow ${\eta }_{-}={\eta }_{+}$, so the surfaces bend in the same direction. The jump again gives $C=-4\pi G{\rho }_0\eta /(k{e}^q)$, but $\chi (H)=\eta \tanh q/k$ and ${\varphi }^{\prime }(H)=-4\pi G{\rho }_0\eta /[k(1+\coth q)]$. The same pressure condition yieldsThe bottom kinematic, jump and pressure conditions follow with the indicated parity and give the same dispersion relation, so no boundary condition has been discarded.

To determine the gravitational instability of an incompressible slab, factor the two dimensionless expressions asFor the even mode the bracket is strictly increasing, with derivative $1+e^{-2q}>0$, is negative at zero and tends to positive infinity. It therefore has a unique positive zeroThe even mode is unstable for $0<kH<q_c$, neutral at $q_c$, and oscillatory for $kH>q_c$. Negative ${\omega }_e^2$ gives a growing mode with $\omega =i\sqrt{-{\omega }_e^2}$ under the stated time convention. For the odd mode, $1-e^{-2q}<2q$ for every $q>0$, so the bracket is always positive: all odd modes with positive wavenumber are stable.

At long wavelengths $F_e=-q+2q^2+O(q^3)$ and $F_o=q-2q^2/3+O(q^3)$: a thickness or column-density disturbance has a gravitational instability, whereas a bending disturbance is restored. At short wavelengths both approach $q-1/2$, so both surface branches are stable. The slab equilibrium is therefore linearly unstable overall, because it admits the long-wavelength even modes despite the stability of its odd sector.

Let $\hat{\eta }$ be the displacement of a material interface and use $[f{]}_{-}^{+}=f_{+}-f_{-}$. On each side, the kinematic boundary condition isThere is one displaced material interface, so its displacement is continuous. Thus the first jump condition isIn particular, vertical velocity need not be continuous when the background velocity jumps.

With no surface tension, pressure continuity applies on the displaced interface, rather than at its undisplaced height. Linearizing gives $[\hat{p}+\hat{\eta }{\overline{p}}^{\prime }{]}_{-}^{+}=0$. Since ${\overline{p}}^{\prime }=-g\overline{\rho }$, this becomes $[\hat{p}-g\overline{\rho }\hat{\eta }{]}_{-}^{+}=0$. The horizontal momentum calculation in part (a) givesSubstitute this and $\hat{\eta }=\hat{w}/[ik(\overline{U}-c)]$ to obtain the second jump condition:These jump conditions for stratified inviscid shear flow use one-sided values of ${\overline{U}}^{\prime }$ and apply to jumps of mass density, vorticity, or velocity. If $\overline{U}$ is continuous, the first condition reduces to continuity of $\hat{w}$; a jump of vorticity generally still prevents continuity of ${\hat{w}}^{\prime }$. This derivation avoids multiplying singular distributional derivatives of a discontinuous velocity in the Taylor–Goldstein equation.

Here both the divergence and vorticity vanish:The flow is incompressible and irrotational. With $\mathbf{u}=\nabla \varphi$ and $(u_x,u_y)=({\psi }_y,-{\psi }_x)$,The streamlines are the level sets $x^2-y^2=\text{constant}$. To determine the arrows, put $r=x+y$ and $s=x-y$. A particle satisfies $\dot{r}=-2r$, $\dot{s}=2s$. Thus the separatrix $y=x$ approaches the stagnation point at the origin, whereas $y=-x$ leaves it; the other streamlines are hyperbolas following those asymptotes. The origin itself is a stationary particle.

The divergence and scalar vorticity areThus the flow is irrotational but not incompressible on the plane. A velocity potential satisfying $\mathbf{u}=\nabla \varphi$ isIndeed its two partial derivatives are the two velocity components. A usual two-dimensional stream function would satisfy $u_x={\psi }_y$, $u_y=-{\psi }_x$ and hence have identically zero divergence. No such stream function exists on an open region where this divergence is not identically zero; the line $y=0$ is not a two-dimensional flow domain.

Let $\mathbf{e}=\mathbf{X}/R$, $s=\mathbf{e}\cdot \mathbf{Be}$, and $A_{\parallel }=\mathbf{A}\cdot \mathbf{e}$. Applied forces and couples below are forces and torques on the solid; by force balance their values are also the strengths exerted by that solid on the fluid. This fixes the signs in Faxén's first law and Faxén's rotational law. To hold the passive sphere fixed, set its translation and angular velocity to zero in those laws. The incident two-mode tensorial squirmer flow givesOnly the stresslet part has vorticity:Consequently, for fixed $\mathbf{A},\mathbf{B}$ as $a/R\to 0$,The leading force is the radial stresslet force. Its next correction, $O(\mu a^4|\mathbf{A}|/R^3)$, comes from the incident potential dipole. The next $\mathbf{B}$ correction, $O(\mu a^5\Vert \mathbf{B}\Vert /R^4)$, contains both the swimmer's $r^{-4}$ field and the Laplacian term in Faxén's first law. If the relevant coefficient vanishes, these next terms must be retained instead of calling the vanished term a nonzero leading approximation. Further exchanges in the method of reflections for Stokes flow are smaller still.

The passive sphere reflects primarily a Stokeslet with strength ${\mathbf{F}}_h$. At the swimmer, its velocity is $(\mathbf{I}+\mathbf{ee}){\mathbf{F}}_h/(8\pi \mu R)$. The unchanged surface slip velocity adds the free swimming velocity to the incident-flow contribution in Faxén's first law. ThusThe leading change is $O(a^3\Vert \mathbf{B}\Vert /R^3)$; its next correction is the displayed $O(a^4|\mathbf{A}|/R^4)$ term. Finite-radius Faxén's first law corrections, the passive sphere's reflected stresslet, and its rotlet contribute at order $a^5\Vert \mathbf{B}\Vert /R^5$ to translation.

For a Stokeslet at the origin,The curl of the first term is $\mathbf{F}\times \mathbf{x}/r^3$; that of the second is also $\mathbf{F}\times \mathbf{x}/r^3$, before multiplying by $1/(8\pi \mu )$. Hence ${\mathbf{\omega }}_F=\mathbf{F}\times \mathbf{x}/(4\pi \mu r^3)$. At the swimmer use displacement $-\mathbf{X}$. The leading $\mathbf{B}$ force is parallel to $\mathbf{X}$, so its Stokeslet has zero vorticity there. This eliminates the putative $O(a^3\Vert \mathbf{B}\Vert /R^4)$ rotation. The potential dipole itself has no vorticity, but the holding force it induces is not radial. Applying Faxén's rotational law to its reflected Stokeslet yieldsThe passive sphere's rotlet and reflected stresslet can affect that last order, so they cannot restore the larger missing rotation. When $\mathbf{A}\times \mathbf{X}=0$, the boxed coefficient is zero and the higher-order terms determine any rotation.

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.

Write $q=\mathbf{u}\cdot \mathbf{\omega }$ for the kinetic helicity density, and retain $\mathcal{B}=w+u^2/2$. Since $\mathbf{\omega }$ is a curl, $\nabla \cdot \mathbf{\omega }=0$. Differentiating the density and using the equations from the preceding part givesThe divergence of a cross product givesThe first term on the right is zero, while $\mathbf{\omega }\cdot \nabla \mathcal{B}=\nabla \cdot (\mathcal{B}\mathbf{\omega })$. Thus the kinetic helicity conservation law has fluxThe last equality for the flux uses the vector triple product identity. Integrating and applying the divergence theorem gives $d{\int }_{V}qdV/dt=-{\int }_{\partial V}{\mathbf{F}}_{H_k}\cdot \mathbf{n}dS$ for a fixed volume. Hence its total kinetic helicity is conserved when the boundary flux vanishes; for example, tangency of both velocity field and vorticity to the boundary is sufficient. The local conservation law does not by itself imply that its density follows each fluid particle unchanged.

Expanding the kinetic helicity conservation law separates advection from the other flux:Thus material conservation of kinetic helicity density holds precisely whenAn especially useful sufficient pair of conditions is incompressible flow, $\nabla \cdot \mathbf{u}=0$, and constancy of $w-u^2/2$ along integral curves of the vorticity, $\mathbf{\omega }\cdot \nabla (w-u^2/2)=0$. Together these conditions make both terms vanish without cancellation. They are not necessary individually, because the two terms in the displayed balance can cancel. An irrotational flow is a trivial conserved case with $q=0$.

For contrast, combining the balance with mass conservation givesConsequently constancy of $w-u^2/2$ along integral curves of the vorticity makes $q/\rho$ an advected scalar even in compressible flow; it does not generally make $q$ itself constant.

Write $r=|\mathbf{x}|$ and take $\mu$ to be the dynamic viscosity. The Papkovich–Neuber representation of a homogeneous Stokes flow uses a harmonic vector potential $\mathbf{\Phi }$ and harmonic scalar potential $\chi$:These formulas give incompressibility because ${\nabla }^2(\mathbf{x}\cdot \mathbf{\Phi })=2\nabla \cdot \mathbf{\Phi }$, and give $\mu {\nabla }^2\mathbf{u}=\nabla p$, the Stokes equation away from forcing.

For a point force represented by a Dirac delta distribution, rotational covariance and the Linearity of Stokes flow suggest a vector monopole proportional to $\mathbf{F}/r$: $1/r$ is a harmonic function outside the origin, and its slow decay gives the required nonzero resultant force. TakeSubstitution gives the Stokeslet velocity and pressure:The normalization follows from the Newtonian fluid stress tensor. Differentiating the velocity gives the rate of strain and vorticity of a Stokeslet:Here $e_{ij}=({\partial }_i{u}_j+{\partial }_j{u}_i)/2$. Thus ${\sigma }_{ij}=-p{\delta }_{ij}+2\mu e_{ij}=-3(\mathbf{F}\cdot \mathbf{x})x_i{x}_j/(4\pi r^5)$. On a sphere enclosing the origin, its outward traction integrates to $-\mathbf{F}$, so $\nabla \cdot \mathbf{\sigma }+\mathbf{F}\delta (\mathbf{x})=0$ in the distributional sense. All displayed fields away from the point force have $r>0$.

For a sphere in a uniform straining Stokes flow, centre the sphere at the origin and write the ambient velocity as $\mathbf{Ex}$, with ${\mathbf{E}}^T=\mathbf{E}$ and $\mathrm{tr}\mathbf{E}=0$. Faxén's first law and Faxén's rotational law give zero translation and rotation. To impose the no-slip boundary condition, use the decaying harmonic dipole and quadrupole potentialsTrace freedom makes $Q/r^5$ harmonic, and each component of $\mathbf{Ex}/r^3$ is harmonic. The Papkovich–Neuber representation givesAt $r=a$, the coefficient of $\mathbf{Ex}$ must give ${\mathbf{u}}^{\prime }=-\mathbf{Ex}$, while the extra radial term must vanish. Hence $B=-\mu a^5$ and $A=5\mu a^3/3$, giving the complete disturbanceThe total velocity vanishes on the sphere and tends to the imposed strain at infinity. This field has no Stokeslet or rotlet contribution, consistent with a force-free, torque-free sphere. Its leading far field is the radial stresslet $-5a^{3}Q\mathbf{x}/(2r^5)$.

Now put the first sphere at $0$ and the second at $\mathbf{R}$, where $R\gg a$, and let ${\mathbf{U}}_0=\mathbf{F}/(6\pi \mu a)$. The first sphere's leading disturbance is its Stokeslet. The rate-of-strain tensor and vorticity incident on the second sphere areThe second sphere translates with the local flow and rotates with half its local vorticity. Its force-free and torque-free conditions therefore remove any reflected force or torque monopole. The incident strain produces the stresslet just obtained. Sinceits velocity at the first centre, using the relative vector $-\mathbf{R}$, isFaxén's first law then gives the self-mobility correction from a distant force-free sphere:Finite-size terms and further reflections are beyond the leading order retained in this method of reflections for Stokes flow.

Only the imposed force does work, so the viscous dissipation is $\mathcal{D}=\mathbf{F}\cdot \mathbf{U}$. With $\zeta =6\pi \mu a$, define ${\epsilon }_R=a/R$ and $\gamma =15a^4/(4R^6)$. At fixed $\mathbf{F}$,so the leading change is negative when ${\mathbf{U}}_0\cdot \mathbf{R}\ne 0$. The direction is held fixed in taking ${\epsilon }_R\to 0$.

The fixed-force comparison of minimum viscous dissipation distinguishes the prescribed force from prescribed boundary velocity. Indeed,and henceAt the actual reduced velocity, adding the second sphere increases the dissipation relative to an isolated translating sphere at that same velocity, exactly as required by the Minimum-dissipation theorem for Stokes flow. One can extend the two-sphere velocity rigidly into the second sphere, adding zero strain and producing an admissible trial field in the domain without it. The reflected angular velocity of the first sphere contributes only a higher-order squared rotational power to this comparison.

Finally hold the second sphere's angular velocity at zero. Faxén's rotational law requires the applied coupleThe resulting rotlet adds at the first centreThis is the additional rotational constraint correction to sphere mobility. Including the strain reflection, the total leading change relative to the isolated velocity isFor motion parallel to the line of centres the constraint adds nothing at this order; for transverse motion it supplies an extra resisting correction.