Codex @codex  0

The homogeneous fixed point must satisfy $v=u^2$. The singular point $u=v=0$ is outside the domain of the reaction term, so substitution in the other equation gives the unique regular spatially homogeneous equilibriumThis is the basally forced quadratic activator-inhibitor model. The linearization of its reaction terms gives the Jacobian matrixPut $a=(r-1)/(r+1)$, so $-1<a<1$. Its trace and determinant are $a-q$ and $q$, and its eigenvalues areSince $q>0$, both eigenvalues have negative real part exactly when $q>a$. HenceFor $r\le 1$ the equilibrium is always strictly linearly stable. For $r>1$, equality $q=a$ is an oscillatory threshold with ${\lambda }_{\pm }=\pm i\sqrt{a}$; the nonlinear qualification at this threshold is proved below.

Now insert a perturbation proportional to $e^{\lambda t+ikx}$. The diffusion terms subtract $k^2\mathrm{diag}(1,p)$ from $J$. With $s=k^2$ the mode trace and determinant areFor a strictly stable homogeneous state, $q>a$ makes $\tau (s)<0$ for all $s\ge 0$. A nonzero Fourier mode can therefore grow only if $\Delta (s)<0$, in which case its two real eigenvalues have opposite signs. The determinant parabola has its minimum at $s_{\ast }=(pa-q)/(2p)$, and that minimum is $q-(pa-q{)}^2/(4p)$. The two-species Turing criterion is consequently derived here asThese force $a>0$, hence $r>1$. Equivalently, solving $pa-q>2\sqrt{pq}$ for $\sqrt{p}$ givesThus the inhibitor in a reaction-diffusion system must diffuse sufficiently fast. Inside this region, the growing wavenumbers obeyAt onset, the minimum touches zero and the two determinant roots coalesce. ThereforeHere $p$ is evaluated on the onset surface. These are the Turing threshold of a basally forced quadratic activator-inhibitor model and its continuum critical wavelength. On a finite or domain with periodic boundary conditions an admissible nonzero spatial mode must additionally fall in the stated band. Equality in the diffusion criterion is marginal onset, while $q=a$ is the distinct homogeneous oscillatory threshold.

For completeness, the weak focus at the Hopf threshold of a basal activator-inhibitor model resolves the nonlinear homogeneous stability when $q=a>0$. Let $h=(1+a)/2$, $\beta =(1-a)/2$, $\omega =\sqrt{a}$, and set $u=(1+r)(1+x)$, $v=(1+r{)}^2(1+y)$, $X=x$, $Y=(hy-ax)/\omega$. Expanding the rational reaction term to cubic order giveswhereWrite $X=\varrho \cos \theta$, $Y=\varrho \sin \theta$ and evaluate these homogeneous polynomials on the unit circle. If $A=\cos \theta F_2+\sin \theta G_2$, $B=\cos \theta F_3+\sin \theta G_3$, and $C=\cos \theta G_2-\sin \theta F_2$, division of the radial and angular equations givesThe angular integral of $A$ is zero because it changes sign under $\theta \mapsto \theta +\pi$. Iterating its quadratic term once over a full cycle contributes the square of this zero integral, so the first nonzero return map term is cubic. Using $⟨{\cos }^4\theta ⟩=3/8$, $⟨{\cos }^2\theta {\sin }^2\theta ⟩=1/8$ and the corresponding sixth moments gives $⟨B⟩=a/4$ and $⟨AC⟩/\omega =(a+1)/8$. The Poincaré map isBecause $0<a<1$, sufficiently small positive radii decrease on every return. The equilibrium at $q=a$ is therefore nonlinearly asymptotically stable, with weak rather than exponential attraction, despite its neutral linear eigenvalues. The strict inequalities above describe the ordinary diffusion-driven instability from a strictly linearly stable homogeneous state.

Use the rotation convention of part (a), so the orientation drift is $B^{-1}({\mathbf{e}}_3-p_3\mathbf{p})-\Omega {\mathbf{e}}_2\times \mathbf{p}$. The steady gyrotactic orientation Fokker-Planck equation on the unit sphere isLet $\eta =(B\Omega {)}^{-1}$, $\lambda =(B{D}_R{)}^{-1}$, and introduce the rotation generator $\mathcal{A}=({\mathbf{e}}_2\times \mathbf{p})\cdot {\nabla }_p$. Dividing by $\Omega$ givesThe leading isotropic density is $f_0=1/(4\pi )$. At first order, writing $f=f_0+\eta f_1+\cdots$, rotational diffusion makes no contribution because ${\Delta }_p{f}_0=0$. The tangential drift is the spherical gradient of $p_3$, whose divergence is ${\Delta }_p{p}_3=-2p_3$. ThereforeIn the polar convention of the paper, $p_1=\sin \theta \cos \varphi$, and $\mathcal{A}{p}_1=p_3$. Thus, in the specified first-harmonic form,The correction integrates to zero, preserving normalization. The first correction has no dependence on $\lambda$ because the isotropic leading density has zero spherical Laplacian; $\lambda$ enters the next-order equations.

Spherical symmetry gives $\int p_i{p}_{j}d\Omega =4\pi {\delta }_{ij}/3$. Consequently the rapid-rotation mean gyrotactic orientation isIt is this small horizontal swimming bias, rather than a mean vertical orientation at leading order, that enters the concentration equation of part (c).

Let $C=N_{0}n$ be the cell number density. The steady cell conservation equation with isotropic translational diffusion isUsing the rapid-rotation mean gyrotactic orientation, put $a_s=2V_s/(3B\Omega )$, so the swimming drift is $-a_s{\mathbf{e}}_1$. In the transverse plane, $x_1=Rr\cos {\theta }^{\prime }$ and $x_3=Rr\sin {\theta }^{\prime }$. Thus $\mathbf{u}\cdot \nabla =\Omega {\partial }_{{\theta }^{\prime }}$ andMultiplying the conservation equation by $-R^2/D$ giveswith ${\beta }^2=\Omega R^2/D$ and $\epsilon =a_{s}R/D=2V_{s}R/(3B\Omega D)$. The base fluid velocity is tangent to the wall. Zero normal cell flux there is $-a_{s}n\cos {\theta }^{\prime }-D{n}_r/R=0$, orNormalization requires the cross-sectional mean of $n$ to be one.

For $\epsilon \ll 1$, set $n=1+\epsilon \mathrm{Re}[a(r)e^{i{\theta }^{\prime }}]+O({\epsilon }^2)$. The drift term acting on the leading constant vanishes, and the first angular harmonic satisfiesWriting $q=e^{i\pi /4}\beta$ turns this into the Modified Bessel differential equation of order one. Its regular solution iswhere $I_1$ is the Modified Bessel function of the first kind. The singular second solution is excluded at the axis, and the displayed coefficient enforces the wall boundary condition. The angular harmonic has zero area average, so the normalization is satisfied at this order.

When $\beta \gg 1$, the gyrotactic concentration layer at a rotating-cylinder wall has stretched coordinate $s=\beta (1-r)$. The leading radial equation is $a_{ss}-ia=0$. The solution decaying into the interior is proportional to $e^{-e^{i\pi /4}s}$; the wall condition fixes its coefficient to $-1/q$. HenceThis also follows from the large-argument asymptotic expansion of $I_1$, which gives $a\sim -r^{-1/2}{e}^{-q(1-r)}/q$ near the wall; $r^{-1/2}=1+O({\beta }^{-1})$ within the layer. Its thickness is $R/\beta =\sqrt{D/\Omega }$. The quoted exponential is a wall-layer approximation, not an exact solution all the way to $r=0$; the Modified Bessel function of the first kind formula supplies the regular continuation through the axis.

The reaction–diffusion system for amoebae contains local reproduction $\alpha n_0^{2}n$ and density-dependent loss $-\alpha n^3$, giving carrying density $n_0$. The term ${\nabla }^{2}n$ describes diffusion with coefficient one. The chemotaxis flux is $J_{\mathrm{chem}}=\chi (n)n\nabla a$, so its contribution to the conservation equation is $-\nabla \cdot J_{\mathrm{chem}}$. Attraction towards greater chemical concentration requires $\chi (n)>0$ at the relevant positive densities; negative values would mean repulsion, and zero removes the chemotactic response.

In the chemical equation, $\beta n$ is secretion proportional to amoeba density, $-\gamma a$ is first-order chemical degradation, and $D{\nabla }^{2}a$ is chemical diffusion. The cell reaction term permits births and deaths, so the total number of amoebae is not conserved.

Use a randomized complete block design, with day as block and each biological cell as an experimental unit. Each day should contain two biological cells at each of the five dose levels. Each level then has ten replicates overall and occurs equally often in every day: the resulting block design is an orthogonal block design.

This spreads any day-to-day changes in preparation, temperature or measurement across all levels instead of confounding dose with day. Treat the zero level as a control with otherwise comparable handling. Keep the treatment-to-measurement delay standardized because the response variable is a diffusion rate measured immediately after preparation.

Use the homogeneous equilibrium point condition $k({\rho }_0){\rho }_0=a_{0}f({\rho }_0)$. Evaluate $D_1,D_2$ at $(a_0,{\rho }_0)$ and abbreviateThe quantity $c$ is the chemical relaxation rate with the cell density held fixed. Derivatives of $D_1,D_2$ do not enter this linear stability analysis: they multiply spatial derivatives of the homogeneous background or products of perturbations. For a Fourier mode with time dependence $e^{st}$, put $z=|\mathbf{q}{|}^2$ and writeConsequentlyAt $z=0$, the eigenvalues are $0$ and $-c$. The neutral cell-density mode reflects mass conservation, not decay of every homogeneous perturbation.

Write $a=D_2>0$, $b=D_{\rho }>0$, $C=D_1{f}_0$, and interpret production physically as $f_0\ge 0$. If $c\ge 0$, the trace-determinant stability criterion shows that an unstable nonzero wavenumber exists precisely when $C>ac$. The unstable band isIf $c<0$, the chemical field is already unstable at zero wavenumber; arbitrarily small positive wavenumbers are unstable too. Since $C\ge 0$, this also implies $C>ac$. Thus, on the infinite plane, the undivided Keller--Segel aggregation threshold isFor $\kappa >0$, dividing by $D_2\kappa$ gives the requested formAt equality there is no strictly growing mode when $c\ge 0$; nonzero spatial modes decay. On a finite domain, a permitted nonzero wavenumber must actually lie in the unstable band. If one allows a signed production function, the displayed matrix and trace-determinant stability criterion remain valid, but the simplification using $C\ge 0$ must be revisited.

The printed hypotheses do not ensure $\kappa >0$. Positivity of the degradation rate $k$ alone is insufficient. For a concrete counterexample, take $k(\rho )=e^{-2\rho }$, $f(\rho )=e^{-2}$, $a_0={\rho }_0=1$, and $D_1=D_2=D_{\rho }=1$. The homogeneous equilibrium point condition holds, all rates and transport coefficients are positive, but $\kappa =c=-e^{-2}$. The printed left-hand side equals $-1$, although $\det M=z(z-2e^{-2})<0$ for $0<z<2e^{-2}$. These spatial modes grow. If $\kappa =0$, the printed expression is undefined. The undivided criterion and the matrix above resolve both cases.

To find the fastest-growing Keller--Segel mode, use the larger eigenvalueFor $C>0$ the square root is real. Put $p=a+b$ and $d=b-a$. Differentiation givesA positive maximizing wavenumber exists in either of two growing cases: $c\ge 0$, $C>ac$, or $c<0$, $C>-bc$. Equivalently, $C>\max (ac,-bc)$. In this range $C+dc>0$, andThus the stationary point is the unique maximum. The derivative condition yieldsSolving it, with the root that satisfies the unsquared derivative equation, givesFor $c=0$, the unequal-diffusivity expression simplifies to $z_{\ast }=C/[\sqrt{ab}(\sqrt{a}+\sqrt{b}{)}^2]$, also agreeing with the equal-diffusivity limit. The formula maximizes the full two-field growth rate; it makes no instantaneous-chemical approximation. Every direction of $\mathbf{q}$ with this length is equivalent by rotational symmetry.

If $c<0$ but $0\le C\le -bc$, the maximum instead occurs at $z=0$: the fastest mode is homogeneous, with $s_{\ast }=-c$ and infinite wavelength. For $C>0$, its initial derivative is $-b+C/(-c)\le 0$. If $C+dc\ge 0$ the derivative thereafter decreases, while if $C+dc<0$ it increases towards the still-negative large-$z$ limit; either way no positive-$z$ maximum is missed. At $C=0$, the two eigenvalues are simply $-az$ and $-c-bz$, giving the same conclusion. In a finite box, maximize $s_{+}$ over the allowed Fourier modes; excluding the homogeneous mode can change the selected length. In a stable parameter range there is no fastest-growing mode.

The first ratio compares the positive feedback loop “more cells produce more attractant, which draws in more cells” with spreading by cell diffusion and removal of chemical perturbations. Its numerator $D_1{f}_0$ measures chemotaxis together with attractant production; its denominator $D_2\kappa$ measures dispersal together with incremental degradation. This competition between directed chemotaxis and cell diffusion produces spatial aggregation. The second ratio compares the concentration dependence of chemical production, $a_0{f}_0^{\prime }$, with incremental degradation $\kappa$. Positive $f_0^{\prime }$ amplifies chemical fluctuations, whereas negative $f_0^{\prime }$ suppresses them. It changes the chemical relaxation available to the chemotaxis feedback loop and can itself destabilize the homogeneous chemical field. Chemical diffusion $D_{\rho }$ suppresses short scales and sets the selected wavelength, but does not change the infinite-plane long-wave threshold. These interpretations as ratios of stabilizing and destabilizing processes assume $\kappa >0$.

For the motionless uniform layer, the heat equation reduces to $T_{zz}=0$. The lower temperature and upper heat-transfer condition determine the quasistatic temperature of a conductively cooled film:When $\alpha h/\kappa \ll 1$, $T_s=T_0-\Delta T\alpha h/\kappa +O(\Delta T(\alpha h/\kappa {)}^2)$. For a varying film let its vertical velocity scale as $Uh/L$, as required by incompressible flow. Relative to vertical thermal diffusion, horizontal thermal diffusion is smaller by $(h/L{)}^2$, and either horizontal or vertical thermal advection is smaller by $U{h}^2/(\kappa L)$. Time variation on the film's transport timescale $L/U$ has the same small factor. Thus the leading heat equation is again $T_{zz}=0$ at each $x,t$ when both specified dimensionless parameters are small. This argument retains the small $\alpha h/\kappa$ assumption. If thickness were externally varied on a faster timescale $t_h$, one would additionally need $h^2/(\kappa t_h)\ll 1$; the spatial conditions alone do not control arbitrary rapid time dependence.

Define $b={\gamma }^{\prime }\Delta T\alpha /\kappa >0$. The surface tension at the surface is ${\gamma }_s={\gamma }_0+bh$, so the Marangoni stress is ${\gamma }_{s,x}=b{h}_x$. With capillary pressure $p=-{\gamma }_0{h}_{xx}$ to leading order, horizontal Stokes flow in the film solves $\mu u_{zz}=p_x$, $u(0)=0$, $\mu u_z(h)={\gamma }_{s,x}$. HenceThe continuity equation gives the thermocapillary thin-film equationTo justify using constant surface tension in the capillary pressure, compare the two volume fluxes on horizontal scale $L$: their magnitudes are ${\gamma }_0{h}^4/(3\mu L^3)$ and $b{h}^3/(2\mu L)$. When both mechanisms are retained at leading order, their balance gives $bh/{\gamma }_0=O((h/L{)}^2)\ll 1$. Thus replacing ${\gamma }_s$ by ${\gamma }_0$ in the curvature term incurs only a relative small correction. Equivalently, small $\alpha h/\kappa$ ensures this if ${\gamma }^{\prime }\Delta T/{\gamma }_0$ is bounded; if it were parametrically large, the extra small surface-tension-variation condition would have to be imposed separately.

The capillary pressure is higher beneath a crest than beneath a trough, so pressure-driven volume flux drains the crest and smooths thickness. The Marangoni effect acts oppositely: a thicker region has a colder surface and therefore larger surface tension. Surface velocity is pulled towards that region, supplying more liquid and amplifying the thickness variation. The arrows below represent these two mechanisms separately.

Put $a_c={\gamma }_0/(3\mu )$ and $a_m=b/(2\mu )$. Substitution of $h=\hat{h}H$, $x=\hat{h}X/ϵ$, $t=\hat{t}\tau$ gives coefficients $a_m{ϵ}^2\hat{t}$ and $a_c{ϵ}^4\hat{t}/\hat{h}$. Making both equal to one yieldsIn these scales the fractional surface tension change is $b\hat{h}/{\gamma }_0=2{ϵ}^2/3$, making the previous approximation explicit.

The linear stability analysis about $H=1$ gives ${\eta }_{\tau }+{\eta }_{XX}+{\eta }_{XXXX}=0$. For a normal mode $e^{s\tau +ikX}$,Long waves with $0<|k|<1$ grow, $|k|>1$ decay, and $k=0,\pm 1$ are neutral. The neutral $k=0$ mode changes the mean film thickness. The dispersion relation is even in $k$, with its two maxima at $\pm 1/\sqrt{2}$.

For a steady positive film with zero volume flux, divide $H^2{H}_X+H^3{H}_{XXX}=0$ by $H^3$ and integrate to obtain $H_{XX}+\ln H=C$. Choosing $\hat{h}$ as specified fixes $C=0$. Multiplication by $H_X$ and another integration then give the zero-flux thermocapillary film profiles first integralFor $H>0$, $V^{\prime }=\ln H$ and $V^{\prime \prime }=1/H>0$: the unique minimum is $V(1)=-1$, while $V(0^{+})=0$ and $V(e)=0$. This potential energy interpretation classifies the profiles without assuming a sinusoidal shape at finite amplitude.

For $E=-1$, the only profile is the uniform film $H=1$. For $-1<E<0$, there are two positive turning heights $H_{-}<1<H_{+}<e$ and a smooth periodic film oscillates between them. Its period isFor $E=0$, the maximum is $e$ and the lower endpoint is zero. A drop reaches zero thickness in finite distance, with zero limiting slope but unbounded curvature since $H_{XX}=-\ln H$. Its half-width isThus the formal limiting profile consists of drops of peak height $e$ and footprint width $2\sqrt{\pi e}$, with zero limiting contact angle. Identical drops can touch, or a zero-thickness region can separate them in the degenerate zero-flux model. These are limiting wet-region solutions, not everywhere positive twice differentiable films; the singular contact region is not resolved by lubrication theory. A useful parametric drop profile isFinally let $E=-1+\delta E$ with small positive $\delta E$. Writing $H=1+\eta$ gives $V=-1+{\eta }^2/2+O({\eta }^3)$ and $H_{XX}=-\eta +O({\eta }^2)$. The small-amplitude steady profile is $H=1+\sqrt{2\delta E}\cos (X-X_c)+O(\delta E)$, with period tending to $2\pi$. Its wavenumber tends to the neutral boundary $|k|=1$ of the unstable band, not to the fastest-growing wavenumber.

The imposed pressure gradient and Darcy's law give a linear velocity profile. Use $U$ as the mean pore velocity in the contaminant advection-diffusion equation; thenThe last conditions express zero transverse solute flux under the standard closed-layer interpretation. Transverse exchange through the layer boundaries would change this cell problem and requires additional boundary data. If the prescribed mean speed is a Darcy velocity, its corresponding pore velocity is that speed divided by porosity.

The given parameter is the ratio of transverse mixing time to travel time:Thus transverse dispersion mixes the contaminant across the layer many times during its passage along the long layer. Different fluid speeds still matter: repeated exchange between slow and fast portions produces Taylor dispersion, rather than transport solely at each parcel's original speed. The averaged description applies after $t\gg H^2/D_T$ and on longitudinal scales large compared with the distance travelled during that mixing time.

Write $C=\overline{c}$ and, to leading correction order, $c=C+\chi (y)C_x+\cdots$, with $\overline{\chi }=0$. Taking $C_t\simeq -U{C}_x$ in the local equation gives the cell problemWith $\eta =y/H$, its solution isAveraging the local advection-diffusion equation now yields $C_t+U{C}_x=[D_L-\overline{(u-U)\chi }]C_{xx}$. An integration by parts in the cell problem gives $-\overline{(u-U)\chi }=D_T\overline{({\chi }^{\prime }{)}^2}$. Since ${\int }_0^1({\eta }^2-\eta {)}^{2}d\eta =1/30$, the effective equation isThis is Taylor dispersion in a linear porous-layer velocity profile. For a localized pulse away from the inlet and outlet, its mean position advances at $U$ and its longitudinal variance grows as $2D_{\mathrm{eff}}t$.

For the inlet step, use the semi-infinite inlet approximation $x>0$, $C(0,t)=1$, $C(x,0)=0$ and $C\to 0$ as $x\to \infty$ at fixed $t$. The resulting constant-concentration inlet solution isOne derivation is to Laplace transform in time: $\tilde{C}(x,p)=p^{-1}\exp [(U-\sqrt{U^2+4D_{\mathrm{eff}}p})x/(2D_{\mathrm{eff}})]$. Inverting gives the two complementary error functions. Their sum is one at $x=0$; for fixed $x>0$ both terms vanish as $t\downarrow 0$, and substitution verifies the averaged equation. Retaining only the first term gives the familiar moving error-function front far from the inlet when longitudinal advection dominates diffusion, but does not satisfy the inlet condition exactly.

For a literal finite layer $0<x<L$, a downstream boundary condition is also needed once the outlet influences the solution. The PDF's step-inlet request specifies only the initially clean region $x>0$, so the formula above is the semi-infinite/long-layer solution, not a claim of a unique finite-interval solution with unspecified outlet data.

Take $z$ positive downwards from the roof. Write $T_0=T_m-m{C}_0$, $C_B=(T_m-T_B)/m$, $\Delta T=T_0-T_B=m(C_B-C_0)>0$ and $\Delta C=C_B-C_0$. The cooled magma follows the decreasing liquidus from $(C_0,T_0)$ towards $(C_B,T_B)$; the initially superheated liquid starts at $(C_0,T_{\infty })$ above that liquidus. The solid has zero solute concentration. At each temperature in the mushy layer, a horizontal tie line joins the pure solid to the residual liquid on the liquidus. The lever rule gives the liquid fraction from the bulk concentration. Since $T_B>T_E$, this path stops before the eutectic temperature and does not cross the eutectic composition.

The porosity $\varphi$ denotes the liquid fraction, so $1-\varphi$ is the solid fraction. Equal phase mass densities remove volume-change flow; the stable density stratification suppresses convection. In the stagnant mushy-layer model, define bulk specific enthalpy and bulk solute concentration byThe arbitrary reference of specific enthalpy has been omitted. The two conservation laws in $0<z<h(t)$ areHere $\kappa =k_T/(\rho c_p)$ is the thermal diffusivity, with $k_T$ the thermal conductivity. The positive $L{\varphi }_t$ term records increased specific enthalpy on melting; during freezing it supplies latent heat. In the liquid $z>h(t)$, the heat equation and solute diffusion equation arewhere $D$ is the solutal diffusivity. Neglecting solute diffusion inside the mushy layer does not permit dropping $D{C}_{zz}$ in the liquid at this stage.

Use $T(0,t)=T_B$, liquid $T\to T_{\infty }$ and $C\to C_0$ as $z\to \infty$, and initially $h=0$, $T=T_{\infty }$, $C=C_0$ for $z>0$. These are the half-space boundary conditions appropriate before cooling reaches the bottom of the chamber. For a closed chamber of finite depth $H$, replace the far-field conditions by the specified bottom conditions, for example $T_z=C_z=0$ at an insulated impermeable floor; the half-space similarity solution then ceases to apply when the thermal penetration depth approaches $H$.

At $z=h(t)$, let $C_i$ and $T_i=T_m-m{C}_i$ be the common liquid concentration and temperature, and let ${\varphi }_i$ be the limiting porosity on the mush side. Continuity of $T,C$, the Rankine-Hugoniot condition for solute, and the interfacial conservation of energy giveThe first condition has the sign of solute rejection into the liquid. For the sharp-edge stagnant mushy-layer model with nonzero liquid solutal diffusivity, close the free-boundary problem by marginal equilibrium at a mush-liquid boundary:This prevents constitutional supercooling immediately ahead of the mushy layer. A small solid fraction jump at its edge is allowed: imposing ${\varphi }_i=1$ as well as these finite-$D$ conditions would generally overdetermine the reduced model. At the roof, $C=C_B$ follows from the liquidus, and no additional solute-flux boundary condition is needed in the diffusion-free mush.

To obtain the large-concentration similarity solution, putThe positive superheat specifies the physically intended liquid initial state. On a similarity solution, $C_i,{\varphi }_i$ are constant, so every newly incorporated level leaves the same constant $B={\varphi }_i{C}_i$. Write $C_i=C_0+\Delta C\delta$ and $B=\Delta C(\mathcal{C}+a)$. Then throughout the mushy layerFor $a,\theta =O(1)$, $\mathcal{C}\gg 1$, and $\mathcal{S}/\mathcal{C}=O(1)$, the effective heat capacity is constant to relative error $O({\mathcal{C}}^{-1})$. Thus setIntegration of the similarity solution ordinary differential equation gives the leading analytical profilesThe temperature is $T=T_0+\Delta T\theta$. In the mushy layer, the concentration and porosity are the displayed $C,\varphi$; in the liquid,These retain the liquid solutal boundary layer. For completeness, finite-$r$ values of $\delta ,a,\lambda$ are determined analytically, to the same large-$\mathcal{C}$ order, by settingand solvingThe solute jump gives ${\varphi }_i=1-b/(\mathcal{C}+\delta )$ exactly; replacing $\mathcal{C}$ by $\mathcal{C}+\delta$ on the right of the last equation retains that jump's next-order factor, but does not make the linearized thermal profiles exact at finite $\mathcal{C}$. The branch has $0\le \delta <1$, $0<\varphi \le 1$. All these profiles are leading asymptotic expressions, not exact solutions of the nonlinear finite-$\mathcal{C}$ heat equation.

For $r\to 0$ at fixed positive $\lambda$, the complementary error function asymptotic gives $K(\lambda /\sqrt{r})\sim \sqrt{\pi }\lambda /\sqrt{r}$, hence $\delta =O(r)$, $b=O(r)$, $a\to 0$, and ${\varphi }_i\to 1$. The result simplifies toIn particular, $\varphi (0,t)=C_0/C_B=\mathcal{C}/(\mathcal{C}+1)$ and $\varphi (h^{-},t)=1$. There is no finite interfacial latent heat jump in this limit: the latent heat is released continuously throughout the mushy layer. Matching the two temperature gradients givesThe printed final equation is missing the square on $\Omega$ in the exponential. The corrected exponent follows directly from differentiating $\mathrm{erf}(\Omega \eta )$ and is consistent with ${\Omega }^2=1+\mathcal{S}/\mathcal{C}$. The positive root is unique: the mush-side gradient decreases from infinity to zero with $\lambda$, whereas ${\theta }_{\infty }K(\lambda )$ increases. The zero-superheat limit is singular and is not described by a finite positive $\lambda$ in this two-region construction.

Choose the positive $x$ direction along the background flow, so $U>0$; reverse $x$ if necessary. Let $z$ measure depth below the impermeable roof, and set $\Delta \rho ={\rho }_w-{\rho }_c>0$. The deep ambient water has $p_w=p_0(x)+{\rho }_{w}gz$. Continuity of pressure at $z=h$ and hydrostatic pressure inside the buoyant CO2 giveHere $k$ is permeability of a porous medium and $\mu$ is dynamic viscosity. Since $h/H\ll 1$, the ambient return-flow correction to the imposed pressure gradient is higher order. The small aspect ratio supplies the hydrostatic pressure approximation; capillary trapping, dissolution, compressibility and dispersion are omitted in this sharp-interface model.