Existence of Global Steady Subsonic Euler Flows through Infinitely Long Nozzles

1 Introduction and Main Results

• The introduction frames full steady Euler analysis as harder than potential-flow models because the equations can form coupled systems and admit discontinuous solutions.Source: §1 · p. 2
• The theorem establishes an Euler flow satisfying the stated boundary, mass-flux, and asymptotic conditions; the flow is globally uniformly subsonic and has positive horizontal velocity.Source: §1 · p. 5
• At both nozzle ends, density and horizontal velocity approach positive limiting profiles while vertical velocity tends to zero; the limits are determined by the mass flux, upstream Bernoulli function, and nozzle width.Source: §1 · p. 5
• Uniqueness is established only for Euler flows satisfying the specified mass-flux, subsonicity, and asymptotic conditions, not for general Euler flows.Source: §1 · pp. 5–6
• The paper identifies an upper critical mass flux for subsonic-flow existence under the theorem's additional condition on Bernoulli's function.The supplied theorem text does not specify the additional condition's formula.Source: §1 · p. 6
• The proof reformulates the Euler flow problem using a stream function, establishes a modified elliptic problem, and combines far-field behavior with refined estimates to recover Euler flows.The reformulation is stated for flows with simple topological structure and the specified asymptotic behavior.Source: §1 · pp. 6–7

2 Stream-Function Formulation of the Problem

• Globally subsonic Euler flow is still a hyperbolic-elliptic coupled system, and its hyperbolic mode is difficult to estimate uniformly in infinitely long nozzles.For supersonic flow the system is hyperbolic; for subsonic flow it has one real and two complex eigenvalues.Source: §2 · pp. 7–8
• A stream-function formulation is equivalent to the original Euler equations for smooth flow away from vacuum when the no-flow boundary condition and specified upstream asymptotics hold.The stated asymptotics require u, ρ, and v_x2 bounded, while v, v_x1, and ρ_x2 tend to zero as x1 tends to −∞.Source: §2 · pp. 8–9
• The remaining task in this part is to establish existence for the stream-function boundary value problem.The preceding argument frames this problem as the route to solutions of the equivalent system.Source: §2 · pp. 9, 19
• The continuity equation yields a stream function that is constant on the nozzle walls, and the formulation replaces direct study of the transport equations with an equivalent system.The section also establishes a unique streamline through each point when condition (28) holds, allowing flow quantities to be parametrized by the stream function.Source: §2 · pp. 10, 18
• For fixed Bernoulli constant, the mass-flux relation has a maximum at the critical density and defines a subsonic density branch above that density.The subsonic branch is denoted ρ = J(M, s), for M in (0, Σ2(s)) and s > B0.Source: §2 · p. 13
• For m ∈ (δ^(1/4), m̄), solutions (ρ₀,u₀) and (ρ₁,u₁) exist; as m → m̄, either ρ₀ or ρ₁ approaches ̺(B̄).Source: §2 · p. 16
• With uniform Bernoulli’s constant, F is constant and equation (65) reduces to the potential equation.Source: §2 · p. 20
• When |FF'| is sufficiently small, potential flow serves as a leading ansatz for the Euler flow through the nozzle.The formulation uses equation (67) to pose the nozzle Euler-flow problem as a perturbation of potential flow.Source: §2 · p. 20

• The problem may become degenerate at sonic states, its defining function may be undefined for arbitrary stream functions and gradients, and the nozzle domain is unbounded.The strategy extends the defining function, truncates the gradient in the equation, and approximates the problem on bounded domains.Source: Function · p. 20
• For sufficiently small Bernoulli variation and mass flux in the stated range, Proposition 4 establishes a solution to the modified boundary-value problem.The range includes m ∈ (δγ, m1) subject to the additional condition given in the proposition.Source: Function · p. 22
• The construction uses bounded-domain approximations and elliptic estimates to obtain the estimates needed for a solution on the unbounded nozzle.The proof solves a sequence of boundary-value problems on bounded domains; the cited passages identify the estimate as the key step.Source: Function · pp. 22–23

• Blow-up and energy estimates establish far-field behavior, which allows the extensions and gradient truncations in the modified problem to be removed.The resulting stream-function behavior also makes the formulation consistent with the original Euler equations when the stated asymptotic behavior and flow condition hold.Source: ary Value Problem for the Stream… · p. 27
• The passage concludes that the solution to boundary value problem (111) is unique, and states that the problem has a solution by the definitions of ˜H and ˜F.Source: ary Value Problem for the Stream… · p. 32
• The far-field behavior gives a better maximum estimate for the stream function.Source: ary Value Problem for the Stream… · p. 33
• Under the assumptions of Proposition 6, the solution from Proposition 4 satisfies the additional estimate needed for the original problem.Those assumptions include small Bernoulli variation, endpoint sign conditions on B′, and m ∈ (δγ, bar m).Source: ary Value Problem for the Stream… · p. 33
• Under the assumptions of Proposition 6, the solutions established in Proposition 4 are solutions to (67), as follows from estimates (61) and (78).Source: ary Value Problem for the Stream… · p. 34

Stream Functions

• Positivity of ψx2 and the asymptotic behavior ensure that the induced flow satisfies the original Euler equations, boundary conditions, and constraints.Source: Stream Functions · p. 35
• The reformulation seeks ψ solving (67), with H and F defined by the upstream Bernoulli function B and mass flux m.Source: Stream Functions · p. 35
• For sufficiently small upstream Bernoulli variation, the stream-function solution yields Euler flows and uniqueness under the stated mass-flux and asymptotic conditions.Source: Stream Functions · p. 38

6 Existence of Critical Mass Flux

• For B satisfying (14) and (21), a threshold mhat≤mbar gives a unique ψ solving (67) for each m in (δγ, mhat).Source: §6 · p. 39
• At mhat, either M(m) tends to zero or solutions to (67) cannot persist throughout any interval immediately above mhat.Source: §6 · pp. 39, 42
• Solutions with far-field behavior (100) are unique within that class, although uniqueness for problem (127) is not known in general.Source: §6 · p. 41
• For B satisfying (14) and m in (δγ, mhat), an Euler flow through the nozzle exists.Source: §6 · p. 42