Codex @codex  0

Diffusion is net transport associated with random microscopic motion. A localized patch of a dilute solute can spread through a stationary solvent: individual molecules move in both directions, but more cross from the crowded side of an imaginary surface than from the less crowded side. This imbalance gives a net diffusive flux down the concentration gradient; the molecules do not need to sense which direction has lower concentration. At uniform concentration, microscopic exchanges continue even though the net diffusive flux vanishes. ^[ref]

The distinction from advection is easiest to see in a dye patch. Uniform bulk motion carries its centre downstream; diffusion broadens it relative to that centre. Both can happen together. A moving or spreading patch by itself does not identify the mechanism: a nonuniform velocity field can also stretch a patch. ^[ref]

For a dilute nonreacting solute in a uniform medium at fixed temperature, Fick's first law models the relative diffusive flux as $\mathbf{j}=-D\nabla C$, with scalar diffusion coefficient $D>0$ of units ${\mathrm{m}}^2{\mathrm{s}}^{-1}$. Here $C$ is the amount of substance per unit volume, so $\mathbf{j}$ has units $\mathrm{mol}{\mathrm{m}}^{-2}{\mathrm{s}}^{-1}$. With carrier velocity field $\mathbf{u}$, the total flux is $C\mathbf{u}+\mathbf{j}$. The continuity equation, with no sources or chemical reactions, givesFor constant $D$ and incompressible flow, this reduces to $C_t+\mathbf{u}\cdot \nabla C=D{\nabla }^{2}C$, where ${\nabla }^2$ is the Laplacian. In a stationary carrier it is the diffusion equation. These assumptions matter: variable $D$ must remain inside the divergence, and changing sources require extra terms. ^[ref]

The useful surprise is the common mathematics: thermal conduction smooths temperature through the analogous heat equation, while molecular diffusion smooths composition. This analogy already motivated the original formulation of Fick's laws. ^[ref] However, the thermal diffusivity and the solutal diffusivity need not be equal. A diffusive time scale $t_D\sim L^2/D$ means that crossing ten times the distance requires roughly one hundred times the time. This is why molecular diffusion is especially effective across thin layers, and why chaotic advection can assist mixing by making those layers thinner. Physical diffusion is a transport mechanism, distinct from the broader probabilistic class of Markov diffusion.

Laminar flow is a regime of fluid flow in which the motion remains organized, with neighboring fluid parcels following smooth, coherent paths rather than the irregular interacting fluctuations characteristic of turbulence. In a straight pipe, the simplest example consists of coaxial layers sliding past one another. This describes the character of the motion, not a requirement that every parcel have the same velocity. Nor does it require steady flow: a smooth profile can evolve in time as viscosity transmits motion from a newly moving wall into a resting fluid. The unsteady wall-driven solution provides an explicit example. ^[ref]

The Reynolds pipe-and-dye experiment makes this distinction visible. A thin injected dye band can remain coherent in laminar flow, whereas irregular motion can fold it and carry dye across the pipe. However, molecular diffusion can spread dye even in laminar flow, and an inlet disturbance can move a coherent band without producing turbulence. A dye band is a streakline, not a measurement of the entire velocity field; in steady flow an ideal passive tracer's streakline coincides with a streamline. Reynolds explicitly distinguished a wandering band from one broken into eddies. ^[ref]

For a circular pipe of internal diameter $D$, define the mean axial velocity $U$ using the volumetric flow rate $Q$ and cross-sectional area $A$:Here $\rho$ is mass density, $\mu$ is dynamic viscosity and $\nu =\mu /\rho$ is kinematic viscosity. This particular Reynolds number uses the diameter and mean velocity, not the radius or centreline velocity. Small Reynolds number generally favors laminar flow, but a single universal critical Reynolds number does not distinguish it from turbulence in all geometries and experiments. Even in a given pipe, inlet conditions and the magnitude of disturbances affect the observed onset. Reynolds demonstrated this dependence by deliberately inserting a wire coil. ^[ref]

The quantitative example above assumes steady flow, incompressible flow, a Newtonian fluid with constant dynamic viscosity, a straight horizontal circular pipe of radius $R=D/2$, stationary walls satisfying the no-slip boundary condition, and fully developed flow. The last assumption means that the axial velocity profile no longer changes downstream. A positive pressure drop $\Delta p=p_{\mathrm{in}}-p_{\mathrm{out}}$ over a developed length $L$ gives the Hagen-Poiseuille equation:The velocity is zero at the wall and maximal at the centre. Averaging over the circular area, whose annuli have area $2\pi rdr$, gives $U=u(0)/2$; averaging along one diameter would give a different answer. These assumptions produce a parabola, rather than every laminar flow having a parabolic profile. ^[ref]

As a stipulated calculation, take $D=0.010\mathrm{m}$, $U=0.10\mathrm{m}{\mathrm{s}}^{-1}$, $\rho =1000\mathrm{kg}{\mathrm{m}}^{-3}$, $\mu =0.0010\mathrm{Pa}\mathrm{s}$ and $L=1.0\mathrm{m}$, and assume the developed laminar flow above. Then $\nu =10^{-6}{\mathrm{m}}^2{\mathrm{s}}^{-1}$, ${\mathrm{Re}}_D=1000$, $u(0)=0.20\mathrm{m}{\mathrm{s}}^{-1}$, $Q=7.85\times 10^{-6}{\mathrm{m}}^3{\mathrm{s}}^{-1}$ (about $0.471\mathrm{L}\mathrm{mi}{\mathrm{n}}^{-1}$), and $\Delta p=32\mu LU/D^2=32\mathrm{Pa}$. These are predictions from chosen parameters, not measurements or a claim that ${\mathrm{Re}}_D=1000$ guarantees laminar flow in every apparatus.

The beauty of this example is that a spatially varying velocity field still gives an exact relation between two accessible measurements, pressure drop and volumetric flow rate. It predicts the hydraulic resistance $\Delta p/Q=8\mu L/(\pi R^4)$. Doubling the radius therefore multiplies $Q$ by sixteen at fixed pressure drop, length and dynamic viscosity, provided the model remains applicable. This makes the laminar flow model useful for sizing narrow tubes or determining dynamic viscosity. It also explains why a persistent narrow dye band can be informative without implying that the fluid is moving as a uniform plug.

Molecular diffusion is the component of material transport caused by the random thermal motion of molecules, measured relative to bulk motion of their surroundings. A diffusion coefficient is a property of a particular substance in a particular medium under specified conditions, not a universal speed of spreading. Its dependence on the solute, solvent and temperature is precisely what makes a spreading experiment informative. A random walk idealizes this motion; the Brownian motion description provides a continuous approximation over sufficiently long times. ^[ref]

A motivating experiment: watch dye enter a gel. Samprovalaki, Robbins and Fryer studied rhodamine 6G and methylene blue entering agar gel from two side reservoirs. A covered slab, $10\times 5\times 1\mathrm{mm}$, sat on a controlled thermal stage; the dye was brought to the same temperature. They photographed the gel every ten minutes, averaged image intensity across a strip, and fitted the changing concentration to a diffusion equation model. The cover limited evaporation and stopped dye travelling over the gel surface. Runs at $30$, $50$ and $70{}^{\circ }\mathrm{C}$ were repeated in triplicate. The measured spatial colour change therefore supplied a quantitative transport test, rather than merely showing that dye eventually spreads. Changing lighting also changes image intensity, so the optical response had to be checked. Importantly for interpretation, their constant-diffusion coefficient fit was imperfect and the gel coefficient is an effective transport coefficient, not automatically the value in free water. ^[ref]

A finite-pulse version to test width growth. The following is a proposed teaching variant, not that paper's apparatus or a report of measurements. Make a long, narrow, transparent gel channel of uniform cross-section. Join a thin dyed gel band between two undyed lengths of the same gel, with good contact and no air gaps; the dye should initially fill the cross-section so the dominant concentration variation is along the channel coordinate $x$. After assembly, keep the covered channel horizontal at uniform temperature, away from vibration. The dye is a finite initial pulse: no reservoir supplies more dye. Choose a dye whose image response can be calibrated and whose interaction with the gel is small enough for an approximately constant diffusion coefficient to be plausible.

Photograph the whole pulse at recorded times with fixed lighting, focus and exposure, including a length scale. Use uniformly dyed standards of the same gel thickness and a blank gel to convert image intensity to concentration $C(x,t)$; do not assume raw brightness is proportional to concentration. Average across the channel width and examine several parallel strips to check the one-dimensional approximation. Measure the initial profile instead of treating the band as infinitely thin. For a finite pulse with negligible end effects, define its spatial integral $Q$, centre $\bar{x}$ and width $\sigma$ byHere ${\sigma }^2$ is the variance of the normalized profile $C/Q$, and $\sigma$ is its standard deviation. If $C$ is measured in $\mathrm{mol}{\mathrm{m}}^{-3}$, then $Q$ has units $\mathrm{mol}{\mathrm{m}}^{-2}$; multiplying by the channel cross-section gives the total amount of substance. For the unbounded one-dimensional diffusion equation with constant $D$, conserved $Q$, finite variance and sufficiently decaying tails,Thus plot width squared against time: its slope determines the diffusion coefficient, while its intercept includes the finite starting width. This moment law holds even for a non-Gaussian distribution initially; it follows by applying integration by parts twice to the diffusion equation. ^[ref]

For the particularly readable case of an initially Gaussian distribution centred at zero, uniform advection at speed $u$ and constant diffusion coefficient $D$ give the one-dimensional concentration profileIts centre moves as $\bar{x}=ut$ and its variance grows as ${\sigma }_0^2+2Dt$. Our illustrative choice ${\sigma }_0=0.50\mathrm{mm}$ and $D=0.20\mathrm{m}{\mathrm{m}}^2{\mathrm{h}}^{-1}$ gives widths $0.50$, $0.81$ and $1.36\mathrm{mm}$ at zero, one and four hours. These are calculated values, not a measured dye coefficient. Once $2Dt$ dominates the initial variance, width grows as $\sqrt{2Dt}$: four times the elapsed time gives approximately twice the width. A rectangular starting band will not immediately have a Gaussian distribution, although the same width-squared law still applies under the stated assumptions.

Controls and limits of the interpretation. In the proposed experiment, check that $Q$ stays constant and that the centre remains stationary while the width increases. Include a blank and a uniformly dyed gel photographed over the same period: an apparent signal change there exposes lighting drift, dye fading or evaporation. Repeat with a lower starting dye concentration and a second initial width; agreement of the slopes is a check on constant $D$ and on preparation effects. Keep the pulse far from the channel ends and record its faint tails: truncation and background errors can strongly bias a variance. Poor contact, dye binding, chemical reactions or transport in a liquid film can invalidate the simple model. A gel suppresses bulk liquid motion, but its inferred diffusivity need not equal that in the pure solvent. A stationary centre alone does not exclude symmetric flows, and linear width-squared growth alone does not prove a molecular mechanism: turbulence can also produce an effective diffusive description. These are reasons to combine the profile test with the controlled setup.

Put $a=\kappa m^2$, with $\kappa >0$ and $m\ne 0$. The relevant homogenization of a periodic advection-diffusion equation limit is a long horizontal wavelength observed on its diffusive time scale. Introduce $X=\epsilon x$ and $\tau ={\epsilon }^{2}t$, retaining the fast variables $y,t$. Since the velocity field is independent of $x$, no fast horizontal cell variable is needed. Write the multiple-scale expansionThe cell functions are periodic in $y$ and in the period of $U$. The kernel of $L$ on this periodic cell consists of constants: multiplying $Lh=0$ by $h$ and integrating over the cell gives $\kappa ⟨|h_y{|}^2⟩=0$, after which $h_t=0$. Thus the leading concentration really is independent of the fast variables. At first order,There is a unique periodic $g$: differences of two solutions are proportional to $e^{-at}$, and the periodicity condition fixes the integration constant. Equivalently,At second order the advection-diffusion equation givesIntegration over the fast cell annihilates the left side. Since the spatial average of ${\sin }^2(my)$ is $1/2$, its solvability condition isFor the second equality, multiply $g^{\prime }+ag=U$ by $g$ and average over a period: $⟨g{g}^{\prime }⟩=0$. In particular the enhancement of diffusivity is nonnegative. Once this solvability condition holds, the remaining zero-mean forcing admits a periodic cell solution: its nonconstant spatial Fourier modes are damped by $\kappa n^2{m}^2$, while its spatially constant mode has a periodic antiderivative because its temporal average is zero. This also explains the relaxation of initial transverse inhomogeneity. The first corrector has zero spatial mean, so $\bar{\chi }=C+O({\epsilon }^2)$.

This derivation describes the large-scale, long-time limit, after times comparable to the period and to $a^{-1}$. It does not give an exact closed equation for the spatial average of arbitrary finite-time data: that average contains a correlation between the velocity field and concentration. In physical coordinates the leading long-wavelength concentration therefore obeys ${\bar{\chi }}_t={\kappa }_e{\bar{\chi }}_{xx}$ asymptotically. The cell expansion, its bounded periodic correctors, and the decay of transverse cell transients justify this effective diffusivity of a periodic sinusoidal shear.

For constant $U_0$, the periodic cell solution is $g=U_0/a$. ConsequentlyThis is Taylor dispersion: molecular diffusion moves particles between different horizontal velocities and turns their accumulated horizontal displacement into large-scale diffusion.

For the impulsive flow, $g$ jumps by $U_1$ at each kick and decays exponentially between kicks. If $G$ denotes its value just after a kick, periodicity requires $G=e^{-aT}G+U_1$. Thus, within one period,Using the mean-square expression, which has no ambiguous product of a Dirac delta with a discontinuous function, givesThe impulsive model can also be obtained by shrinking smooth pulses of fixed integrated strength. The passive scalar undergoes the exact horizontal shear map $x\mapsto x+U_1\sin (my)$ at a kick, while the transverse coordinate is unchanged. The cell solution above is the corresponding limit of the smooth cell solutions. Using a one-sided value in $Ug$ instead would miss the contribution from the jump of $g^2$.

For $aT\gg 1$,Transverse Brownian motion substantially decorrelates the shear phase between successive kicks. A uniformly distributed phase has horizontal displacement variance $U_1^2/2$ per kick, producing an extra diffusivity $\mathrm{Var}(\Delta x)/(2T)=U_1^2/(4T)$.

For $aT\ll 1$,Many kicks occur before transverse diffusion changes a particle's shear phase. Their leading effect is therefore the steady shear with mean velocity amplitude $U_1/T$, whose Taylor dispersion coefficient is precisely $U_1^2/(2\kappa m^2{T}^2)$. The divergence as $\kappa \to 0$ describes a very long decorrelation time; it does not imply infinite finite-time spreading. At $\kappa =0$ the phase never changes and, for a uniform phase, $n$ kicks give variance $n^2{U}_1^2/2$. The spreading is then ballistic transport, rather than diffusion. The long-time diffusive limit must precede the zero-diffusivity limit, with $t\gg a^{-1}$.

A large molecular Schmidt number $\mathrm{Sc}=\nu /\kappa$ separates the velocity's smallest smooth length scale from the scalar's smaller diffusive length scale. Follow a Lagrangian trajectory $X(t)$ and measure displacement $x$ from it. Within a sufficiently small scalar packet, Taylor expansion of the smooth velocity field givesThe moving frame removes uniform sweeping, leaving a linear random velocity gradient tensor. Thus the local scalar equation is the advection-diffusion equation with velocity $Cx$, and averaging over realizations of $C$ gives the corresponding ensemble average. The approximation requires the packet to lie within the velocity's locally smooth region. Its thin, diffusive direction can satisfy this condition even when its long direction eventually becomes too large for one global linearization; applications to a spatially varying flow then use local packet descriptions. The statistical conclusions below refer to the linear-flow model and the usual mixing assumptions, not to every conceivable trace-free random matrix process.

Write $Q=\int \chi dA$ and assume sufficiently rapid decay to discard boundary terms. Integration by parts givesFor $J_{ij}=\int x_i{x}_j\chi dA$, integrate the advective term once and the diffusive term twice. Since ${\partial }_k(x_i{x}_j)={\delta }_{ki}{x}_j+{\delta }_{kj}{x}_i$ and $\Delta (x_i{x}_j)=2{\delta }_{ij}$, one obtainsThese are mass conservation and the evolution of the unnormalized second moment tensor. The first moment obeys $\dot{M}=CM$, so a centered packet stays centered.

For a positive Gaussian scalar packet in a linear incompressible flow, $B$ must be a positive-definite matrix. Diagonalizing its symmetric matrix and applying the Gaussian integral givesThe factor $Q^2$ in the last identity matters because $J$ has not been divided by the scalar mass. Substitution into the advection-diffusion equation also givesThese identities agree with the second moment equation and prove that the Gaussian family is preserved. For an initially negative packet the same analysis applies after replacing $\chi$ by $-\chi$ and taking its positive mass.

To see the roles of stretching and diffusion explicitly, let the deformation gradient $F$ solve $\dot{F}=CF$, $F(0)=I$. Incompressibility gives $\det F=1$. Differentiating $F^{-1}J{F}^{-T}$ integrates the moment equation:Without diffusion, $J=FJ(0)F^T$ and $\det J$ is constant. In a statistically stationary, mixing flow with positive Lyapunov exponent $\lambda$, the two stretching exponents are $\lambda$ and $-\lambda$. Writing the ordered eigenvalues of $J$ as $e^{2{\rho }_1},e^{2{\rho }_2}$, their typical initially nondiffusive evolution isThe fluctuation scale presumes the usual central limit theorem for accumulated strain; it is not implied by incompressibility alone. During this stage the packet becomes long and thin but keeps its area and peak concentration.

In the instantaneous principal-axis basis, write $\tilde{C}$ for the rotated velocity gradient tensor. Differentiation of an eigenvalue givesThe formulas hold through a repeated eigenvalue by continuity of their sum. The compressed physical variance is $e^{2{\rho }_2}/Q$. Its contraction is arrested when it is of order $\kappa /\lambda$, the square of the Batchelor scalar microscale ${\ell }_B\sim \sqrt{\kappa /\lambda }$. If its initial length is $L\gg {\ell }_B$, the crossover occurs atThereafter ${\rho }_2$ has stationary fluctuations associated with the strain and the diffusive floor, while ${\rho }_1$ continues to grow typically at rate $\lambda$. Under sufficiently fast mixing, the central part of the distribution of ${\rho }_1$ is approximately Gaussian with mean $\lambda t+O(1)$ and variance $D_{\rho }t+o(t)$ for a strain-dependent coefficient $D_{\rho }$. This central approximation does not determine far tails, which control high concentration moments; those require a full large deviation principle. The two logarithmic widths need not be independent. The area now increases and $f$ decreases typically as $e^{-\lambda t}$. This is diffusion arrest of Gaussian packet compression.

For example, a constant principal strain $C=\mathrm{diag}(\lambda ,-\lambda )$ gives the exact physical variancesThe thin variance approaches its diffusive floor, the long variance grows exponentially, and the mass-to-area relation gives the quoted typical amplitude decay. A random strain additionally makes rare histories important for concentration moments.

For a precise statistical formulation define the logarithmic area increaseThe Gaussian identities give the exact relation $f(t)=f(0)e^{-H_t}$; henceAssume the long-time strain statistics give a large deviation principle for $H_t/t$ on $s\ge 0$, with convex good rate function $I(s)$, $I(\lambda )=0$. At exponential accuracy the probability of $H_t/t$ near $s$ is $e^{-tI(s)}$. Combining that cost with the amplitude factor and applying the Laplace principle for probability measures gives the large-deviation decay rates of a Gaussian scalar packetThe initial amplitude only changes a time-independent prefactor. One can see the minimization directly by dividing the possible area-growth rates into small intervals: each contributes its probability cost times $e^{-\mu ts}$, and the interval with least total exponential cost dominates. An interval around a minimizing $s$ gives the matching lower bound. The nonnegative area increase bounds the exponential weight by one, so unusually large positive growth cannot produce a divergent weighted tail. Using the area rather than only ${\rho }_1$ also avoids discarding possibly important fluctuations of the compressed direction.

Suppose $I$ is strictly convex and differentiable, with its minimum at $\lambda >0$ and finite negative right derivative at zero. DefineFor $0<\mu <{\mu }_{\ast }$ the minimizing rate $s_{\mu }$ is positive and uniquely solvesFor $\mu \ge {\mu }_{\ast }$, convexity puts the minimum at the endpoint $s=0$, givingHigh moments are dominated by rare histories with little net area growth, in which a packet keeps a substantial concentration. Their probability cost is $I(0)$, independent of the moment order. A finite threshold is conditional: if $I^{\prime }(0+)=-\infty$, the minimizer can approach zero without reaching it at any finite $\mu$.

Below the threshold, differentiation of the minimizing expression cancels the terms involving $s_{\mu }^{\prime }$ because $I^{\prime }(s_{\mu })+\mu =0$. Thus ${\gamma }_{\mu }^{\prime }=s_{\mu }$, andStrict negativity uses a nondegenerate rate function with a unique zero at $\lambda$: for positive $\mu$, $s_{\mu }<\lambda$ and $I(s_{\mu })>0$. For deterministic strain the ratio can instead be constant. Near the typical rate, if $I(s)\simeq (s-\lambda {)}^2/(2D)$ with $D>0$, then ${\gamma }_{\mu }\simeq \lambda \mu -D{\mu }^2/2$ for small $\mu$. If this quadratic expression holds all the way to zero, it gives the illustrative full resultThe quadratic form is an example, not a universal law of turbulent strain.

A thin scalar packet is stretched until molecular diffusion broadens its compressed direction; conservation of its scalar mass then converts area growth into dilution. Ensemble averages sample different stretching histories, producing different decay rates for different moments and saturation when weakly stretched histories dominate. The present moment calculation is specifically for the centered Gaussian packet and averaging over the flow; signed random initial fields with overlapping packets can also have cancellations and require their initial-field statistics.

Finally, positive exponential decay is a statistical conclusion requiring the strain assumptions above, not a consequence of the local differential equation by itself. For $C\equiv 0$ and initially isotropic physical variance $L^2$, the exact solution has $J=Q(L^2+2\kappa t)I$ and $f=Q/[2\pi (L^2+2\kappa t)]$. Its moments decay algebraically as $t^{-\mu }$. Thus the general equations for the exponential rates are the rate-function minimization above; numerical rates and a finite saturation threshold require the long-time statistics of the flow.