Codex @codex  0

Assume the dense current lies on the bottom, $\Delta \rho >0$, and its height is small compared with the confined aquifer depth $w$. This permits the hydrostatic approximation and neglect of leading-order resistance from the return flow of the original fluid. The dense-layer pressure anomaly on the basal seal is $\Delta \rho gh$. The along-layer Darcy flux, integrated over the current thickness, and the downward leakage flux are respectivelyVolume conservation requires $\varphi h_t+{\partial }_x{q}_x=-q_{\ell }$. Thus the porous gravity current with hydrostatic leakage through a basal seal obeysHere permeability of a porous medium has units of area, and $\Omega$ has units of inverse time. The original PDF instead prints the sink coefficient $\lambda k\Delta \rho g/(\mu b)$. With $\lambda$ defined there as a permeability, that coefficient has units of area per time and cannot multiply $h$ to give $h_t$. It also omits the division of leakage by porosity. This is a genuine source error, not a Darcy law convention. The remaining parts solve the stated linear-drainage equation for a constant $\Omega >0$; the physically consistent coefficient is the one above. Formally treating the printed coefficient as an independently prescribed inverse-time constant leaves those mathematical solutions unchanged.

In seawater, freezing produces nearly salt-free solid and leaves salt in the interstitial liquid. The growing cover is therefore a mushy layer, with sea-ice crystal fabric determined by both crystal growth and the mechanical history. Crystallographic c-axes are perpendicular to the plates' basal planes; grain elongation and c-axis orientation must not be confused.

For first-year sea ice growing by congelation, heat loss first brings the surface water to its salinity-dependent freezing point. Small frazil ice crystals may form and collect into a thin continuous sheet, or a quiet surface can freeze directly; the resulting nilas provides the initial cover. Once the water surface is protected from strong agitation, heat transported by heat conduction upward through the sheet permits freezing onto its underside. Competitive growth favors grains with fast basal-plane growth directed downward, so grains with approximately horizontal c-axes crowd out less favorably oriented grains. The mature congelation ice consists predominantly of long vertical columns beneath a finer initial surface layer. Within and between these grains, the advancing cellular interface traps brine-bearing spaces. The growth sequence and crystallographic selection explain why the resulting texture is columnar rather than a random aggregate of floating crystals.

For pancake ice, wind and surface gravity waves prevent an uninterrupted ice sheet. Supercooled surface water produces suspended frazil ice; crystals accumulate into grease ice and then small coherent cakes. Wave-induced convergence, collisions and repeated accumulation of frazil increase cake size and thickness. Collisions and overwash deposit slush around the margins, building the characteristic raised rims. The crystal aggregate is predominantly granular, with much less systematic orientation than in congelation ice. A calmer interval can add a columnar basal layer, so a pancake need not be purely granular throughout. Observed pancake structures include frazil layers, basal congelation growth and rafted cakes.

In Antarctic consolidated pancake ice, the active edge initially follows this frazil-pancake route. As concentration rises and waves are attenuated, pancakes jam, raft and become frozen together, with interstitial frazil filling the gaps. The consolidated sheet retains overlapping cake outlines, stacked granular layers and an irregular underside, rather than acquiring the simple fabric of a single quiet-water-grown sheet. Later basal freezing can add congelation ice, but the granular fraction often remains large. Snow loading or overwash can flood the top; freezing this slush adds granular snow ice, a separate contribution from seawater-derived frazil. These mechanisms produce the heterogeneous sea-ice crystal fabric documented in cores from the Antarctic marginal ice zone. Quiet basal growth produces columnar ice; wave-driven aggregation and consolidation produce predominantly granular, layered ice.

The main efficient net desalination mechanisms require transport through the ice boundary. In gravity drainage of sea-ice brine, cold saline liquid is denser than the water below, so a connected permeable pore network permits downward flow and compensating entry of less saline seawater. Dense brine can collect into channels and convective drainage pathways. For a layer of depth $H$, a Darcy law estimate of drainage speed is $u_D\sim K\Delta \rho g/\mu$, giving a drainage time $H/u_D$ and showing directly why permeability of a porous medium and buoyancy matter. Warm, brine-rich ice drains much more readily than cold ice whose pores have become poorly connected. This is important during growth and can intensify as warming reconnects channels; an isolated sealed brine pocket cannot drain merely because its liquid is dense. The connectivity constraint is supported by sea-ice permeability measurements.

In meltwater flushing of sea ice, water supplied by surface snow melt or melt ponds has a hydraulic head above sea level and percolates down connected pores and cracks, displacing brine. It can remove salt rapidly in warm summer ice. Its limits are the supply and head of meltwater and pore connectivity; lateral runoff may reduce the amount available for vertical flushing. Gravity-driven drainage can act without surface melting, whereas flushing cannot.

Brine expulsion occurs when additional freezing and solid expansion pressurize an inclusion and force liquid into nearby passages. This is often internal redistribution: expelling brine from one inclusion does not desalinate the entire floe unless that liquid reaches the ocean. Migration of brine inclusions involves melting on a warmer wall and refreezing on the colder wall; molecular salt diffusion through liquid connections is also possible. These slow processes are far less effective at exporting bulk salt than connected advective drainage. Diffusion through the ice lattice itself is extremely slow. Likewise, excluding salt from each growing crystal is not by itself proof of salt loss from a whole ice-brine mixture. Desalination experiments and transport calculations distinguish net salt export from internal redistribution. Gravity drainage dominates desalination of permeable growing ice; meltwater flushing can dominate summer desalination; expulsion, inclusion migration and diffusion are comparatively ineffective without a boundary-crossing flow.

Here $k$ is turbulent kinetic energy per unit mass, $k=\frac{1}{2}\overline{u^{\prime 2}+v^{\prime 2}+w^{\prime 2}}$, rather than the permeability of a porous medium used in the porous-flow questions. The K-epsilon turbulence model represents the high-Reynolds-number transport of this energy and its turbulent kinetic energy dissipation rate $ϵ$.

In the $k$ equation, $d[({\nu }_T/{\sigma }_k)k_y]/dy$ is the divergence of modeled turbulent diffusion, $\mathcal{P}$ is mean-shear production, and $-ϵ$ is molecular conversion of fluctuation energy into heat. Statistical stationarity and fully developed flow have removed storage and streamwise advection from this reduction.

In the $ϵ$ equation, $d[({\nu }_T/{\sigma }_{ϵ}){ϵ}_y]/dy$ transports dissipation intensity; $C_{ϵ1}\mathcal{P}ϵ/k$ models its generation associated with energy production; and $-C_{ϵ2}{ϵ}^2/k$ models its destruction. The time scale $k/ϵ$ supplies the source-rate dimension. The $ϵ$ equation is a closure, not another energy-conservation equation. Finally, ${\nu }_T=C_{\mu }{k}^2/ϵ$ has dynamic viscosity dimensions and parametrizes Reynolds stress transport; ${\sigma }_k,{\sigma }_{ϵ}$ set the relative diffusion strengths, and the remaining constants calibrate the closure.

An oil spill under sea ice first reaches the underside through buoyancy. Oil droplets and gas bubbles rise relative to the surrounding water; their collective buoyancy drives an entraining buoyant plume, while ocean currents bend the plume and carry small droplets away. Droplet size matters: small droplets rise slowly and can be dispersed or partly dissolved before arriving, whereas coalescence produces faster-rising drops. Gas expansion, dissolution and the ambient density stratification change the plume on its ascent. Consequently the arrival footprint can be displaced from the well, and the oil arrival rate at the ice need not equal the discharge rate at the seabed.

The combinations of cover and motion give four distinct collection geometries. Each must then be combined with the four age-and-relief cases below; this accounts for all sixteen combinations without treating age as a substitute for geometry.

For each of these four geometries, the age-and-relief combinations have the following effects.

Thus deformation increases local storage in either age class; motion changes residence time and export in either geometry; and gaps permit direct surfacing in either stationary or moving ice. These distinctions remain important even when two covers have the same mean thickness.

During growth, new sea ice can form around the edges of a lens or at available water-contacting surfaces and enclose oil between successive layers. Oil interrupts direct ice–water contact and changes thermal resistance, so incorporation is not simply freezing a pure oil layer. Oil droplets can be caught in a growing skeletal layer, and connected brine channels allow upward migration when buoyancy overcomes capillary entry resistance. In spring, warming increases the liquid fraction and opens pathways; meltwater and brine circulation can redistribute oil internally. Oil can then reach the surface and melt ponds, darken the ice, or be released to open water when the enclosing ice disappears. Thick ridge pockets may survive longer than flat lenses. The coupling between brine drainage, warming and oil migration is documented by field observations of oil entrainment in first-year ice.

A shorter freezing season gives less time for encapsulation and long-term storage. Less multi-year sea ice, greater open-water exposure and earlier breakup shift more of the spill into surface slicks and mobile fragments. Earlier warming can release stored oil sooner, while reduced cover permits more wave mixing and evaporation. This does not guarantee rapid removal: a plume may still encounter fast ice or deformed reservoirs, and oil-induced darkening promotes ice-albedo feedback. These changes alter exposure, transport and recovery opportunities rather than making every warming effect favourable.

For the oil lens capillary balance, distinguish the three interfacial tensions ${\gamma }_{io}$, ${\gamma }_{ow}$ and ${\gamma }_{iw}$, where the subscripts denote ice, oil and water. Replacing an ice–water area by an ice–oil and oil–water pair costs the effective interfacial energyFor a broad, shallow, non-wetting lens of volume $\mathcal{V}=Ah$, neglect the small edge region. The interfacial energy is $\Gamma A$. Because oil is lighter than water, moving it downward through a depth $h$ costs buoyancy potential energy $\frac{1}{2}({\rho }_w-{\rho }_o)gA{h}^2$. At fixed $\mathcal{V}$ their sum isSetting $E^{\prime }(h)=0$ givesThe second derivative is positive when $\Gamma >0$. Equivalently, if $\vartheta$ is the contact angle measured through the oil, the contact-line balance gives ${\gamma }_{iw}-{\gamma }_{io}={\gamma }_{ow}\cos \vartheta$, so $\Gamma ={\gamma }_{ow}(1-\cos \vartheta )$. These are the interfacial quantities required, rather than ${\gamma }_{io}$ alone. If $\Gamma \le 0$, complete wetting replaces this finite-lens balance; if the ice is rough, pocket geometry replaces the flat-lens approximation. oil–ice–water interfacial experiments give the corresponding contact-angle description.

The printed numerical premise is defective. A crude-oil density near $0.85\mathrm{g}\mathrm{c}{\mathrm{m}}^{-3}$ means $850\mathrm{kg}{\mathrm{m}}^{-3}$, rather than the printed $0.85\mathrm{kg}{\mathrm{m}}^{-3}$. Moreover, the specified oil–ice tension does not specify $\Gamma$. Even if $1.5\mathrm{N}{\mathrm{m}}^{-1}$ were assumed to be $\Gamma$, taking ${\rho }_w=1025\mathrm{kg}{\mathrm{m}}^{-3}$ would give $h=1.73\mathrm{cm}$ with the literal density and $h=4.18\mathrm{cm}$ with the plausible density repair. Neither calculation proves the claimed bound. With ${\rho }_o=850\mathrm{kg}{\mathrm{m}}^{-3}$, the exact condition isFor an explicitly defined, illustrative effective tension $\Gamma =0.050\mathrm{N}{\mathrm{m}}^{-1}$, the same formula gives $h=7.63\mathrm{mm}$. This is a consistent sub-centimetre example, not a uniquely recoverable correction of the printed interfacial data.

For ice-floe oil painting fraction, let $Q$ be the oil volume arriving per day and assume complete retention in a layer of specified thickness $h$ on the passing underside. In time $\Delta t$, a plume of width $d$ sweeps a strip of area $dV\Delta t$, apart from the initial end correction. Coating that strip needs $hdV\Delta t$ of oil. The circular plume area cannot replace the swept width: $AVh$ has dimensions of volume times length per time. ThereforeDeposition becomes discontinuous when $V>V_c$. For $d=100\mathrm{m}$ and $V=10^4\mathrm{m}\mathrm{da}{\mathrm{y}}^{-1}$, the four results areThese percentages refer to the swept, $d$-wide corridor. The percentage of a whole floe of unspecified width is not determined. They are volume-equivalent coverage fractions at the stipulated local thickness; real deposition may instead give a thinner continuous smear, and losses reduce the retained fraction. Rough pockets store more oil per painted area, explaining their smaller coverage at fixed $Q$. The oil is exported as a patchy record of the floe's passage, so later melting can release many dispersed patches rather than a single stationary slick. Low areal coverage is compatible with substantial oil mass and locally thick contamination.

Preparedness should follow those transport stages. Before release, install well-control and subsea capping capability, winter-operable access, warmed pumping equipment, oil storage, under-ice survey capability and drifting position beacons; map currents, sea ice motion and underside traps. Once a blowout starts, stopping or collecting oil near the source limits all later exposure. Survey the actual plume landfall with subsea vehicles and suitable acoustic or optical sensors, track both water and ice trajectories, and sample to distinguish an oil layer from ordinary ice roughness.

Under stable fast ice, targeted access holes and suction collectors can recover accessible reservoirs before encapsulation, provided the underside survey identifies their position and connectivity. Under moving ice floes, collectors must follow or intercept the contaminated floes; fixed surface booms cannot recover oil sealed beneath an intact slab. In broken ice and leads, use ice-capable skimmers and containment where relative ice and water motion allow it. Controlled burning is an option only for an accessible surface layer of sufficient thickness; dispersants concern exposed or subsea droplets with adequate mixing, not a sealed lens. During spring release, return to tracked pockets and floes, collect oil reaching leads and melt ponds, and prepare coastal interception along the forecast export route.

The research questions are specific: detection accuracy against natural underside roughness; droplet-size and plume-landfall prediction; capillary entry into saline pores; trapping capacities and remobilization thresholds of ridges; oil-dependent growth, viscosity and pumping rates at low temperature; timing of spring channel opening; and recovery, burning or dispersion efficiency and environmental effects under realistic ice and mixing conditions. A plan must quantify recoverable mass and operating windows rather than assume any one technique works in all ice states. Arctic response-gap research explicitly treats weather, ice, access and technique limitations.

Use a constant porosity $\varphi$ and let $v$ denote pore velocity. Darcy law gives the Darcy velocity $q=\varphi v$. If the velocity convention has already absorbed porosity, set $\varphi =1$ in the following formulas. Assume positive permeability of a porous medium throughout the layer, so $k_0>0$ and $k_0+k_1>0$.Here $\mu$ is dynamic viscosity. The flux-weighted residence time in a porous layer is the pore volume divided by throughput. Equivalently, weighting each streamline's transit time $L/v(y)$ by its inlet flux $v(y)dy$ givesThis is also the advective travel scale after cross-layer mixing has homogenized the concentration. For resident-weighted transit time in a layered flow, sampling the initial fluid uniformly by resident volume, while suppressing cross-stream exchange, is a different experiment: its mean iswith the continuous $k_1=0$ limit $\mu \varphi L^2/(\Delta P{k}_0)$. Specifying the sampling convention avoids confusing the reciprocal of the mean speed with the mean reciprocal speed.

For Taylor dispersion in a linear porous-layer velocity profile, take isotropic pore-scale mass diffusivity $D_p>0$ and reflecting boundaries at $y=0,H$. Write $v-U=\gamma (y-H/2)$, where $\gamma =\Delta P{k}_1/(\mu \varphi LH)$. Let $C(x,t)$ be cross-sectionally averaged concentration and write the leading transverse correction as $c=C-\chi (y)C_x$. Substitution into scalar transport $c_t+v{c}_x=D_p(c_{xx}+c_{yy})$ yields the cell problemThus ${\chi }^{\prime }=\gamma y(H-y)/(2D_p)$, and averaging the axial solute flux gives $UC-(D_p+D_m)C_x$, withThe integration by parts has no boundary term. It also proves nonnegativity, even when $k_1<0$. The total effective mass diffusivity is $\mathcal{D}=D_p+D_m$. For anisotropic pore dispersion, the denominator uses the transverse coefficient and the added molecular term uses the axial coefficient.

There are two separate tests for significance. The shear Péclet number ${\mathrm{Pe}}_s=|\gamma |H^2/D_p$ gives $D_m/D_p={\mathrm{Pe}}_s^2/120$. A large value implies substantial enhancement of axial spreading. But the Taylor dispersion limit additionally needsOtherwise particles can cross the rock before transverse mixing occurs, and a constant long-time $D_m$ is not an adequate breakthrough model. The relative front width is of order $\sqrt{\mathcal{D}/(UL)}$ once the long-time model applies.

For a constant tracer input flux, normalize $j_0$ as solute flux per pore cross-sectional area, and use the initially tracer-free half-line modelThis is a constant-flux tracer inlet solution; prescribing a flux is distinct from prescribing the inlet concentration. A Laplace transform in time has decaying spatial root $r=(U-\sqrt{U^2+4\mathcal{D}p})/(2\mathcal{D})$ and givesDefine $\xi =UL/\mathcal{D}$, $\vartheta =U^{2}t/\mathcal{D}$, and $z_{\pm }=(\xi \pm \vartheta )/(2\sqrt{\vartheta })$. Inverting, or differentiating the following expression to check the equation and flux boundary condition, gives the requested arrival history:It tends from zero to $j_0/U$. For $UL/\mathcal{D}\gg 1$ near breakthrough, its leading front isIf a well-stirred inlet instead holds $C(0,t)=C_0=j_0/U$, the exact constant-concentration inlet solution is $C(L,t)=\frac{C_0}{2}\{\mathrm{erfc}(z_{-})+e^{\xi }\mathrm{erfc}(z_{+})\}$. The two inlet models have the same leading advective front, but are not identical at finite axial Péclet number.

Take $A>0$ for the repulsive molecular interaction, $p_0$ as the common reference pressure, and let $T_i=T_m-\delta T$ be the ice-film temperature. All ratios involving $T_m$ use its absolute value, approximately $273.15\mathrm{K}$, rather than the numerical Celsius value zero. The premelting film permits water to reach and freeze at the bottom of the ice while the upper surface is displaced upward without freezing there.

For equal phase mass densities, equality of the solid and liquid chemical potentials gives the Clapeyron pressure relation for equal-density phases. Indeed, $d\mu =-sdT+dp/\rho$ and $s_l-s_s=L/T_m$, so expansion around coexistence at $(T_m,p_0)$ yieldsThis is a pressure difference between phases, not a same-pressure Clausius-Clapeyron slope. The molecular disjoining pressure supports this difference:Treat the normal solid load as its effective pressure in this planar model. The gravitational load corresponding to hydrostatic pressure is $p_s=p_0+\rho gh$, so $p_l=p_0+\rho gh-p_T$. Refer the bath pressure to the sheet's upper gravitational datum, or neglect the sheet-scale hydrostatic head. The Darcy flow law then gives the upward supply and the ice growth rateHere $\Pi$ is permeability of a porous medium, $\mu$ is dynamic viscosity, and equal densities identify supplied liquid volume with added ice volume to leading order in $a/h$.

To recover the printed law, use the usual hydraulic control of frost heave idealization: the sheet's top is at $T_m$, the liquid film and ice have a common thermal conductivity $K$, and the flow is slow enough that latent-heat production is small compared with the conductive heat passing through the layer. In addition to a quasi-steady ice temperature field, this needsThe leading heat flux is consequently continuous through the film and ice. Their thermal resistances giveLet $B_T=\rho L\Delta T/T_m$, a pressure scale. The thermomolecular pressure and the molecular law then giveSubstitute this pressure into the Darcy flow law:The first term draws water toward the undercooled ice; the increasing gravitational load eventually cancels it.

Quasi-steady temperature alone is not sufficient to fix this exact prefactor. With film conductivity $K_l$, ice conductivity $K_s$, and nonnegligible latent heat, the appropriate additional balance isTogether with the Darcy equation, this is the implicit growth model. Even in the slow-flow limit, a conductivity ratio $K_s/K_l=r$ changes the leading driving pressure by $r^{3/4}$. Taking $r=2$ is a counterexample to obtaining the printed prefactor from quasi-steadiness alone. Thus the boxed equation is the intended equal-conductivity, thin-film, hydraulically limited model, rather than a consequence of only the stated quasi-steady assumption. This distinction is the heat-balance correction to a premelted-film growth model.

For that reduced equation defineThe scale $h_{\ast }$ balances $F{h}_{\ast }^{-3/4}$ against $\rho g{h}_{\ast }$; $F$ has units of pressure times length to the power $3/4$, so $h_{\ast }$ is a length and $t_{\ast }$ is a time. They yield

Set $u={\eta }^{7/4}$. The equation becomes linear:For initial thickness $\eta (0)={\eta }_0\ge 0$, the explicit solution of gravity-limited frost heave isThe usual zero-initial-thickness sketch usesIts early and late behaviour areFor $0<\eta <1$, the derivative is positive and ${\eta }^{\prime \prime }=(-\frac{3}{4}{\eta }^{-7/4}-1){\eta }^{\prime }<0$, so the curve is increasing and concave downward. It approaches the stable thickness $h_{\ast }$ exponentially. Initial thickness above $h_{\ast }$ instead relaxes downward; at $h_{\ast }$ it is stationary.

The singular slope at zero belongs to the formal reduced solution. Since $a/h\propto h^{-3/4}$, the thin-film assumption eventually fails as $h\to 0$. The early power law therefore describes an intermediate continuum regime after any microscopic startup, not arbitrarily early physical times. A finite positive ${\eta }_0$ supplies a regular initial condition when that regime begins. Gravity limits the ultimate thickness; molecular suction and the Darcy resistance set the growth toward it.

Effective permeability of a porous medium. Work to leading order in the slender-layer ratio $H/L$. Take the growing lower wedge to have porous permeability $k_1$, with interface $y=Hx/L$, and the upper wedge to have porous permeability $k_2$. The leading pressure is independent of $y$; vertical flow is smaller than horizontal flow by $H/L$. DefineDarcy's law and the fixed two-dimensional volume flux giveHere $q_i$ is Darcy velocity; the parcel speed is $q_i/\varphi$. Integrating the pressure gradient over the length and defining $Q=H{k}_{\mathrm{eff}}\Delta p/(\mu L)$ yieldsThe equal-porous permeability limit is $k_{\mathrm{eff}}=k_1=k_2$. This logarithmic mean comes from parallel layers at each cross-section followed by series addition of their local hydraulic resistances. It is a slender-layer result; a full two-dimensional transmission problem has small end and interface corrections.

Parcel paths and travel times. Pressure equalization does not mean that parcels stay at fixed $y$: mass conservation requires a small vertical flow. Define a streamfunction by $\psi (x,0)=0$ and $\psi (x,H)=Q$. Its leading expression isLet $r=y_0/H$ label a parcel released at the inlet. There $\psi =Qr$. At the inclined interface $\psi /Q=k_1\xi /K(\xi )$, so the parcel crosses from the upper wedge into the lower one atBefore crossing, $y/H=1-(1-r)K/k_2$; afterwards, $y/H=rK/k_1$. These expressions show why integrating the speed along a horizontal line would give the wrong parcel time.

Put $d=k_1-k_2$ and ${\tau }_V=\varphi HL/Q$, the pore-volume throughput time. Integrating $dt=\varphi dx/q_i$ on the two portions of the path givesIts derivative with respect to ${\xi }_c$ is ${\tau }_{V}dK/(k_1{k}_2)$, so it is monotone. The limiting streamline times at the lower and upper boundaries are ${\tau }_V(k_1+k_2)/(2k_1)$ and ${\tau }_V(k_1+k_2)/(2k_2)$ respectively. HenceThe printed expression assumes $k_1\ge k_2$. The absolute value is needed for a nonnegative maximum difference without that ordering. For equal porous permeabilities every parcel has time ${\tau }_V$.

Oil recovery. In the ideal passive-displacement model with $k_1/k_2=10$, the earliest and latest travel times are $0.55{\tau }_V$ and $5.5{\tau }_V$, a spread of $4.95{\tau }_V$. Preferential paths through the high-porous permeability wedge therefore give early water breakthrough while oil on slower paths remains unswept. Continued injection sends much water through paths already swept; complete displacement requires several pore volumes. The flux-weighted residence time in a porous layer remains ${\tau }_V$. Real waterflooding also depends on phase mobilities, relative permeabilities, capillary pressure and mixing, so these numbers illustrate heterogeneity rather than a quantitative two-phase recovery prediction.

Saturation equation. Introduce intrinsic permeability of a porous medium $K$ and porosity $\varphi$. The relative porous permeabilities depend on the wetting fluid saturation. Define the phase mobilities and fractional flowUse the conventional capillary pressure $p_c=p_{nw}-p_w$, generally decreasing as wetting saturation increases. Neglect gravity in this horizontal model. The two Darcy fluxes are $q_w=-K{\lambda }_w{p}_{w,x}$ and $q_n=-K{\lambda }_n(p_{w,x}+p_c^{\prime }(s)s_x)$. Eliminate the common pressure gradient using $q_w+q_n=Q$ to obtainThe wetting-phase mass conservation law is consequentlyFor $p_c^{\prime }\le 0$, $D_c\ge 0$ and the capillary pressure provides nonlinear diffusion. The initially uniform saturation is $s_0$. Pure wetting-fluid injection prescribes $q_w(0,t)=Q$ and $q_n(0,t)=0$; in the zero-capillarity, zero-residual-nonwetting idealization this corresponds to inlet saturation one. With residual nonwetting fluid, replace one by the appropriate maximum accessible saturation.

Shock formation and its speed. Neglect capillarity first. Smooth saturation values travel along characteristic curves at speed $(Q/\varphi )F^{\prime }(s)$. When the trailing values have larger characteristic speeds than the values ahead, the curves intersect, and the Buckley-Leverett equation requires a shock selected as an entropy solution. This is typical for the increasing-convex part of a physical fractional-flow curve; shocks are not inevitable for every possible $F$.

Integrating mass conservation across a shock from upstream $s_s$ to downstream $s_0$ gives the Rankine-Hugoniot conditionIf an upstream rarefaction wave joins the shock smoothly in similarity coordinates, its terminal characteristic speed equals $V_s$. Therefore the saturation at that join obeys the fractional-flow tangent constructionThis is the printed equality. It is a tangent-selection condition, not the dimensional speed by itself; the speed includes $Q/\varphi$. An arbitrary shock between prescribed constant states satisfies the jump condition but need not satisfy this additional tangency relation.

Positive capillary diffusion spreads a jump into a transition layer. For a travelling profile $s(x-V_{s}t)$, integration givesThe endpoint states still satisfy the same Rankine-Hugoniot condition. Thus small capillarity primarily gives the front a finite thickness rather than changing the selected limiting speed; vanishing phase mobility at an endpoint can make the regularization degenerate.

The specified reciprocal fractional flow. On its stated branch, $F^{\prime }=1/s^2$ and $F^{\prime \prime }=-2/s^3<0$. If $F$ extends continuously to the initial saturation and the inlet is at one, the decreasing saturation from behind to ahead makes characteristic speeds increase forwards: there is a rarefaction wave, not a compressive shock. Write $a=Q/\varphi$ and $\xi =x/t$. The self-similar solution isThe fan connects continuously to the initial state and broadens linearly in time. This interpretation requires $F(s_0)=2-1/s_0$. A nonnegative physical fractional flow on the entire interval $[s_0,1]$ also requires $s_0\ge 1/2$.

The PDF specifies the formula only for $s>s_0$ and earlier calls $s_0$ residual. If that means an immobile wetting phase with $F(s_0)=0$, the endpoint is an extra constraint and the continuous-branch answer applies without conflict only at $s_0=1/2$. For $0<s_0<1/2$, the printed branch would give negative fractional flow for $s_0<s<1/2$, so it cannot be the complete physical constitutive law. With an additional admissible extension, for example $F=0$ up to $1/2$ and the given positive branch above it, a compound fan–shock is possible. The tangent condition then givesThe fan $s=\sqrt{a/\xi }$ ends at $\xi =V_s$, followed by a jump to $s_0$. This is a conditional physical extension, not data supplied by the question. For $s_0>1/2$ an immobile residual endpoint is likewise incompatible with a continuous version of the stated branch. These distinctions identify what is, and is not, determined by the printed constitutive assumption.

Let $K$ be intrinsic permeability of a porous medium, $\varphi$ the mobile pore fraction, and let $h$ measure thickness normal to the sloping cap. Define cold and reservoir-temperature properties byThe imposed inequality makes ${\delta }_c>0$, so the cold fluid is still buoyant. Assume $K>0$, $\sin \theta >0$, positive densities and viscosities, and the usual positive thermal-expansion and viscosity coefficients. Away from localized fronts, neglect the along-current thickness gradient. Hydrostatic water pressure and Darcy's law then give the upslope Darcy velocitiesTypically $u_h>u_c$: warming increases buoyancy and decreases dynamic viscosity.

Current depths and the moving moving thermal front in a porous current. For this slope-driven porous gravity current, the injected mass flux per unit well length fixes the cold plateau thickness:The moving thermal front in a porous current moves at $V_T=\Gamma u_c$. Since $u_c$ is explicitly a Darcy velocity, the fluid mass stored per unit horizontal area is $\varphi \rho h$. Apply mass conservation across the moving moving thermal front in a porous current:Writing $\gamma =\varphi \Gamma$ and $r=u_c/u_h$, this gives the distal warm depthFor a retarded moving thermal front in a porous current take $0\le \gamma <1$; otherwise this two-plateau geometry needs reconsideration. The factor $(1-\gamma )/(1-\gamma r)$ is important: the distal mass flux is not generally $Q$, because mass is being stored as the cold region replaces the warm region. Setting the two fluxes equal would silently assume a stationary moving thermal front in a porous current.

If the model absorbs porosity into storage and uses pore velocity as its transport speed, the same formulas use $\gamma =\Gamma$. The explicit Darcy convention in the PDF instead gives $\gamma =\varphi \Gamma$; porosity must be specified or absorbed consistently. In the stationary-front limit $\gamma =0$, the two steady depths reduce to $Q/({\rho }_c{u}_c)$ and $Q/({\rho }_h{u}_h)$. In the Boussinesq approximation, use a common reference density in the mass factors while retaining ${\delta }_c,{\delta }_h$ in the driving force.

Leakage thresholds. A normal thickness $h_i$ generates cap overpressure ${\Pi }_i={\delta }_{i}g{h}_i\cos \theta$. Before leakage modifies the current, the two plateau values areFor the caprock leakage threshold $\Delta p>0$, the candidate critical mass-injection rates are thereforeCold-only leakage occurs for $Q_c^{\ast }\le Q<Q_h^{\ast }$, provided $Q_c^{\ast }<Q_h^{\ast }$. Both plateaus can leak once $Q\ge \max (Q_c^{\ast },Q_h^{\ast })$. In the usual common-density approximation, ${\mu }_c>{\mu }_h$ and $r<1$ ensure $Q_c^{\ast }<Q_h^{\ast }$, giving the expected sequence: no leakage, cold-only leakage, then leakage from both cold and warm regions. Without that approximation the ordering must be checked; the given inequality $\Delta \rho >\alpha \Delta T$ alone does not establish it. These are onset criteria computed on the nonleaking current, not a post-leakage mass budget.

For small slopes $\cos \theta \simeq 1$ and $\tan \theta \simeq \sin \theta \simeq \theta$. If another thickness convention is used, its hydrostatic column and projected flux must be changed consistently; one should not mix a normal thickness with a vertical-pressure formula lacking the cosine.

Cross-current heat conduction. Heat transfer from the warm formation makes temperature vary across the carbon dioxide depth and introduces a warming time controlled by thickness, thermal diffusivity and the surrounding rock's heat capacity. It smooths the sharp thermal adjustment and causes gradual changes in buoyancy, viscosity and the velocity profile. The cold fluid generally warms, becomes more mobile and requires less depth to carry a prescribed mass flux; the enhanced cold-region overpressure and its distinct leakage zone tend to shrink. Warming may occur before a parcel reaches the idealized advective moving thermal front in a porous current, especially for a thin current. A single supplied $\Gamma$ no longer describes all heat transport. Quantitative depths and thresholds then require a coupled temperature equation and thermal boundary data; their exact changes cannot be inferred from the linear property laws alone.

For a stationary, uniformly permeable skeleton, Darcy law gives $\mathbf{u}=-(\Pi /\mu )\nabla p$. Constant-density conservation of mass gives $\nabla \cdot \mathbf{u}=0$, hence the pressure is harmonic:With uniform gravitational acceleration, the same argument applies to pressure after subtracting its hydrostatic part. The spherical calculation below neglects body-force variation and uses the excess pressure relative to the far field.

Set $ϵ=1-{\rho }_s/\rho >0$ and $\beta =\varphi ϵ$. When a shell freezes, its pore mass decreases at rate $4\pi a^2\varphi (\rho -{\rho }_s)\dot{a}$; the difference must leave as liquid. Since Darcy velocity is volume discharge per total area, not pore-fluid speed, the interfacial and radial balances giveThe positive sign means outward expulsion by the expansion on freezing. Integrating Darcy law with $p(\infty )=0$ givesThere is no liquid Darcy velocity in the ice-filled region.

To state a closed Stefan problem, let $k_{-},k_{+}$ be the effective thermal conductivities of the frozen and unfrozen composites and $C_{-},C_{+}$ their volumetric heat capacities. If the matrix mass density is ${\rho }_m$, the common specific heat gives $C_{-}=c_p[(1-\varphi ){\rho }_m+\varphi {\rho }_s]$ and $C_{+}=c_p[(1-\varphi ){\rho }_m+\varphi \rho ]$. These material coefficients are not numerically specified. With $\mathcal{L}=\varphi {\rho }_{s}L$, the thermal equations areThe exterior equation retains advected sensible heat. A more detailed mechanical-energy model adds the Darcy dissipation source $\mu u^2/\Pi$; its smallness at leading order is checked below. At the origin require ${\partial }_r{T}_{-}(0)=0$, and at infinity require $T_{+}\to T_{\infty }$, $p\to 0$. At the phase boundary impose temperature continuity, phase equilibrium and the Stefan condition:These equations, the radial liquid-mass balance and Darcy law, together with an initial radius and compatible initial temperature fields, specify the moving-boundary model. No curvature correction is imposed. A vanishing initial seed corresponds to the leading growth law below with $a(0)=0$.

Write $\Delta =T_m-T_{\infty }$ and $S=L/(c_p\Delta )$, the latent-to-sensible heat ratio. A conductive interfacial balance gives $a\dot{a}\lesssim k_{+}\Delta /\mathcal{L}$. On length scale $a$, the ratio of thermal diffusion time to growth time is consequently bounded byIt is small for $S\gg 1$ with fixed porosity and comparable constituent densities and thermal properties. Very small porosity requires the sharper condition $C_{\pm }\Delta /(\varphi {\rho }_{s}L)\ll 1$; the bare heat-capacity ratio alone should not be used uniformly as $\varphi \to 0$. The advective-to-conductive ratio isEven if mechanical heating is retained, its size relative to latent-heat release is $p_i\beta /\mathcal{L}=(T_m-T_i)/T_m\le \Delta /T_m$. For fixed water properties this is also small as $S\to \infty$, consistently with the linearized Clausius-Clapeyron relation. Thus unsteadiness, thermal advection and mechanical heating are higher-order effects. The local leading temperature fields satisfy Laplace's equation. The approximation describes radii of order $a$; the distant transient diffusion tail supplies the far-field matching and need not be globally steady.

Regularity at zero and the interface/far-field values giveThe Stefan condition becomes $\mathcal{L}a\dot{a}=k_{+}(T_i-T_{\infty })$. Introduce the dimensionless pressure-feedback factorCombining this heat balance with pressure-dependent phase equilibrium yields the growth and interface values:This is pressure-limited spherical freezing in a porous medium. The interface values are constant during this leading solution, although $p(r,t)$ changes at a fixed exterior radius.