Codex @codex  0

Use the conventional kinematic plume fluxesThen $\pi Q$ is the volume flux, $\pi {\rho }_{r}Q$ the dimensional mass flux, $\pi {\rho }_{r}M$ the dimensional momentum flux, and $\pi F$ the kinematic buoyancy flux. Calling $\pi Q$ a mass flux uses a density-normalized convention: the reference density has been suppressed. If density-weighted momentum and buoyancy fluxes are desired, multiply $M$ and $F$ by the same constant ${\rho }_r$ throughout. Here the conventional kinematic definitions make the Boussinesq approximation explicit.

For an upward plume with $Q,M>0$, the inverse relations areThe volume conservation, vertical momentum conservation, and buoyancy balances from part a becomeHere the vertical momentum conservation equation uses ${\rho }_r$ in the inertia and retains $({\rho }_0-\rho )gA={\rho }_{r}B$ in the buoyancy force. The ambient has no imposed vertical momentum at entrainment.

To classify the resulting partial differential equations, work in the nonsingular primitive variables $(A,w,g^{\prime })$ with $A>0$. Subtract $w$ times the volume equation from the momentum equation and $g^{\prime }$ times the volume equation from the buoyancy equation. This givesThe principal matrix is thereforeAll three characteristic speeds are real and equal to $w$, so the model is a hyperbolic system if that term means only reality of the characteristic roots. However, for $A>0$, $(K-wI)v=0$ requires $v_w=0$, leaving only two independent eigenvectors. HenceThis weak hyperbolicity of the unsteady top-hat plume prevents a complete set of independent characteristic fields. For example, freezing $A,w$ in the homogeneous principal part gives $D_t\delta w=0$ and $D_t\delta A=-A{\partial }_z\delta w$. A Fourier perturbation of wave number $k$ therefore produces a term proportional to $kt$ in $\delta A$. Real characteristic roots alone do not provide uniform control of high-frequency perturbations. The flux-variable transformation above is invertible in the stated region, so changing to $(Q,M,F)$ does not remove this degeneracy.

For the state vector $q=(h,u,g^{\prime }{)}^T$, the primitive equations are $q_t+\mathsf{A}{q}_x=S$, withThe characteristic polynomial isConsequently the three characteristic speeds areFor $h>0$ and $g^{\prime }>0$, the hyperbolic system has three distinct real eigenvalues. The long-wave speed relative to the current is $c$, while $u$ transports a buoyancy/contact disturbance.

A left eigenvector for the material characteristic is $(0,0,1)$, givingFor $u\pm c$, left eigenvectors can be chosen asMultiplying $q_t+\mathsf{A}{q}_x=S$ by these rows gives the characteristic compatibility for an entraining triangular-channel current. With all differentials evaluated along the indicated characteristic,The source follows directly from ${\ell }_{\pm }S=-2u{w}_e/h\pm 2c{w}_e/h\mp 2g^{\prime }{w}_e/(3c)$ and $g^{\prime }/c=2c/h$.

Since $4dc=(2c/h)dh+(h/c)d{g}^{\prime }$, an equivalent form isCombining it with the material buoyancy equation also givesOnly when entrainment vanishes and $g^{\prime }$ is spatially constant do $u\pm 4c$ become constant Riemann invariants on these characteristic curves. Dropping the buoyancy differential in the general problem would lose one of the required transport couplings. The characteristic formulas with $1/c$ apply to the nondegenerate region $g^{\prime }h>0$; dry or neutrally buoyant limits require their conservative form instead.

Assume the ambient fluid has zero downslope velocity, no bed drag, and an entrainment coefficient $\alpha >0$. The entraining shallow-water layer receives volume at rate $\alpha |u|$, but neither excess buoyancy nor downslope momentum from that ambient fluid. Consequently volume conservation, conservation of excess buoyancy, and momentum conservation giveThe pressure contribution is the integral of the hydrostatic pressure from part (a). The last source is the downslope component of the gravitational force.

With $D={\partial }_t+u{\partial }_x$, the equivalent equations areThe last term is the momentum required to accelerate newly entrained fluid. For variables $(h,u,b)$, the matrix of the spatial derivatives isThus it is a strictly hyperbolic system for $h,b>0$ and $0\le \theta <\pi /2$. At $\theta =\pi /2$ all three characteristic speeds coincide and the matrix is not diagonalizable. The exclusion of that angle presumes the physical range with $\cos \theta \ge 0$: allowing an overhanging channel with $\cos \theta <0$ would also destroy hyperbolicity.

A stability analysis asks whether perturbations in an evolution remain bounded on a fixed physical time interval by a constant independent of the mesh. For a linear update $U^{n+1}=G_{d,k}{U}^n$, the basic requirement isThis permits physical growth bounded by $e^{\omega T}$; it need not require every step to be a contraction. Consistency of a numerical method measures how well its stencil reproduces the differential equation, whereas stability of a numerical method controls the accumulated defects. For a well-posed linear problem, the Lax equivalence theorem connects stability and convergence for a consistent approximation in the specified norm.

On the whole line or a periodic grid, constant-coefficient stencils commute with translations. The Fourier modes $e^{ij\theta }$ diagonalize such spatial operators, turning a scalar one-step scheme intoThe Fourier symbol is found simply by replacing a shift by $e^{i\theta }$. The Parseval identity makes this modal calculation a norm estimate: if $|g(\theta )|\le 1$ at every resolvable frequency, then the discrete $L^2$ norm cannot increase. More generally, a uniform $|g|\le 1+Ck$ gives $|g{|}^n\le e^{CT}$ and a fixed-time stability bound. All frequencies matter, including those near the grid scale; a small-wavenumber expansion establishes consistency but cannot test the entire stability range.

For the heat equation, put $r=k/d^2$ and $s={\sin }^2(\theta /2)$. The Forward Euler diffusion scheme hasThe condition $|g_{\mathrm{FE}}|\le 1$ for every $s\in [0,1]$ is exactly $0\le r\le 1/2$. This illustrates a parabolic time-step restriction $k\le d^2/2$. The Backward Euler diffusion scheme instead haswhich is contractive for every $r\ge 0$. The Crank-Nicolson diffusion scheme hasand is likewise unconditionally $L^2$ stable. However, its high-frequency amplification approaches $-1$ for large $r$, so it need not damp rapidly decaying modes effectively and may produce alternating transients from nonsmooth data. An A-stable time integrator can stabilize a diffusion semidiscretization with left-half-plane spectrum, but damping and accuracy remain separate questions.

For transport $u_t+a{u}_x=0$, define the hyperbolic Courant number $\nu =ak/d$. Forward Euler with a centered spatial difference gives $g=1-i\nu \sin \theta$ and $|g{|}^2=1+{\nu }^2{\sin }^2\theta$. It is unstable under a fixed nonzero CFL ratio. For $a>0$, the upwind finite difference scheme hasThus $0\le \nu \le 1$ is the stable range. Upwinding for negative $a$ reverses the spatial difference and gives $|\nu |\le 1$. The Lax-Wendroff advection scheme gives a second-order example:It is stable for $|\nu |\le 1$, but that $L^2$ result does not imply monotonicity or exclude oscillations at shocks. The Courant–Friedrichs–Lewy condition has a domain-of-dependence interpretation for explicit hyperbolic schemes; the Fourier calculation supplies the sharper algebraic stability criterion for the particular stencil.

For multilevel methods, each frequency gives an amplification polynomial and a companion matrix. Every amplification root must lie in the closed unit disk, with unit-modulus roots simple. Uniformity across frequencies and meshes is essential: one also needs control of the associated matrix powers, for example through a uniformly bounded diagonalization or the uniform power bound from separated amplification roots. A repeated unit root generates a Jordan block and polynomial growth in the number of steps. The same issue occurs for systems: checking only eigenvalue moduli of a nonnormal Fourier amplification matrix is insufficient. For instancehas unit eigenvalues but no fixed-time mesh-uniform bound as $n=T/k\to \infty$. For a hyperbolic system with a constant coefficient matrix admitting a uniformly bounded characteristic diagonalization, scalar modal estimates for each characteristic speed do give a system estimate. A positive energy symmetrizer provides another route. Frozen-coefficient Fourier tests for variable coefficients are useful local diagnostics, but a global estimate must also account for coefficient variation and boundary terms.

Boundary conditions change the allowable modes and can change the conclusion. A periodic calculation is exact only for a periodic closure. On a finite interval with zero Dirichlet boundary conditions, the centered diffusion matrix is diagonalized instead by the discrete sine transform. On $M$ interior points its eigenvalues are $-4{\sin }^2(j\pi /[2(M+1)])$ before scaling by $d^{-2}$. Thus the exact fixed-grid Forward Euler restriction iswhich tends to the whole-line threshold $1/2$ as the grid is refined. Backward Euler and Crank-Nicolson remain stable for all nonnegative $r$. An appropriate Neumann boundary condition uses cosine-type modes and includes a constant mode with eigenvalue zero. The constant mode must be preserved, rather than forced to decay; depending on the boundary stencil, the natural discrete inner product may have endpoint weights.

For hyperbolic transport, the continuous and discrete boundary closures must respect the direction of propagation. If $a>0$ on $[0,L]$, prescribe the left inflow value; prescribing an independent outflow value can overdetermine the problem. The energy method exposes this directly:Homogeneous inflow is dissipative, while forced inflow contributes data to the estimate. A compatible upwind boundary update has the same one-sided information flow. For diffusion,The last term vanishes for homogeneous Dirichlet or Neumann conditions. With Robin boundary conditions of dissipative sign it contributes a further nonpositive term. A non-dissipative boundary can produce genuine PDE growth, which a valid stability estimate should represent rather than incorrectly suppress.

Even a perfectly stable interior symbol cannot detect every defective boundary closure of a difference scheme. As a concrete counterexample, leave a stable explicit heat stencil on all grid points away from the left endpoint, but replace its first interior row by $U_1^{n+1}=2U_1^n$, still keeping $U_0=0$. The interior Fourier symbol is unchanged, yet $U_1^n=2^n{U}_1^0$ makes the finite-interval update unstable. The faulty boundary-adjacent row creates a mode absent from the periodic interior calculation. Thus the entire finite update matrix, or an energy estimate including its boundary rows, must be examined.

A more systematic boundary stability of a finite-difference method analysis transforms time and any tangential spatial variables, then looks for modes $U_j^n=z^n{\kappa }^j$ with $|z|>1$ and $|\kappa |<1$ on a half-line. The interior dispersion relation selects decaying spatial modes; the boundary equations must determine their coefficients without admitting a nonzero growing homogeneous mode. A uniform inverse estimate for the boundary system, expressed by the Uniform Kreiss--Lopatinskii condition, also rules out arbitrarily weak boundary control near limiting frequencies. Merely excluding one obvious unstable mode is weaker than proving a mesh-uniform estimate. Discrete summation by parts and suitable boundary penalties offer an energy-based alternative.

Finally, nonlinear scalar conservation laws can develop discontinuities, so linearized Fourier stability is only one part of the analysis. A monotone conservative scheme, such as the Engquist-Osher method under its CFL restriction, has an invariant state range and L1 contraction of a monotone conservative scheme, with a discrete entropy inequality selecting admissible shocks. These complement the Fourier and boundary estimates. For an evolution problem, the meaningful outcome is a stability bound in a specified norm, uniform over the chosen mesh family and compatible with the actual boundary and initial data.

The channel is prismatic: its width depends on height, not on $x$. A layer of depth $h$ has cross-sectional area $A={\int }_0^h\beta zdz=\beta h^2/2$. Volume conservation gives $A_t+(Au{)}_x=0$. With $g^{\prime }=G\varphi$, the integrated excess hydrostatic pressure force isThus the streamwise momentum balance is $(Au{)}_t+(A{u}^2+G\varphi \beta h^3/6{)}_x=0$. Under the specified vertical-settling approximation, the horizontal projection of the depositional boundary has width $\beta h$, so the particle balance is $(A\varphi {)}_t+(Au\varphi {)}_x=-\beta hw\varphi$, where $w=w_{0}f(\varphi )>0$ is the downward speed magnitude. The prismatic triangular-channel shallow water equations are thereforeThe pressure coefficient $h/3$ is the section-weighted mean of $h-z$. The factor two in deposition comes from top width divided by area. There is no streamwise widening term, because $\beta$ is constant along the channel.

Define the positive characteristic speed scale $c=\sqrt{G\varphi h/2}$. In variables $(u,\varphi ,c)$ the equations becomeThe coefficient matrix of this hyperbolic system has eigenvalues $u,u+c,u-c$. Hence the three characteristic families areAlong $dx/dt=u$, the concentration equation is the ordinary differential equation $d\varphi /dt=-2w\varphi /h$. Along $dx/dt=u\pm c$, the left eigenvectors $(1,\mp 4c/(3\varphi ),\pm 4)$ give the sedimenting triangular-channel characteristic compatibility equationsHere every derivative in a given equation follows that characteristic family, and $h=2c^2/(G\varphi )$. These three compatibility equations form the characteristic description; they are not three independent closed equations for all fields on any one curve. In particular, $u\pm 4c$ are not conserved Riemann invariants when the concentration varies: its differential and the deposition source must both be retained. The description assumes $h,\varphi >0$; the dry or zero-buoyancy limit is degenerate.

Define the concentration-dependent reduced gravityUnder the Boussinesq approximation, the three shallow water equations can be written in advective form asThe coefficient matrix of this quasilinear system has characteristic speedsThus this is a hyperbolic system when $g^{\prime }h>0$. Along the intermediate characteristic curve $dx/dt=u$, the concentration obeysIt decreases because ambient entrainment dilutes the chemical; detrainment does not change the concentration of a well-mixed parcel.

For the prismatic triangular-channel shallow water equations, $c^2=G\varphi h/2$. The characteristic speeds are $u,u\pm c$. Along $dx/dt=u$, $d\varphi /dt=-2w\varphi /h$. Along $dx/dt=u\pm c$, the hyperbolic system has compatibility relationThe concentration differential cannot generally be discarded to obtain Riemann invariants $u\pm 4c$. Positive depth and concentration are required for this nondegenerate form.