arXiv subjects

Chunjing Xie

Publications and source records attributed to Chunjing Xie.

At least 19 recordsLinked to original sources

arXiv2026

Forced self-similar solutions to the stationary Navier--Stokes equations in a half-space

We study axisymmetric self-similar solutions to the stationary Navier--Stokes equations in the half-space with the no-slip boundary condition, driven by an axisymmetric (-3)-homogeneous external force. If the tangential curl of the force on the unit sphere is sufficiently small, we prove the existence of a unique small solution; when the force is swirl-free, the solution is automatically swirl-free and unique. For a swirl-free external force $\boldsymbol{F}$, we introduce a scaling parameter $λ$ and consider the system with force $λ\boldsymbol{F}$; we prove that solutions exist precisely for $λ$ in an open interval containing zero. The same approach extends to solid cones with the no-slip boundary condition, where narrower opening angles allow the existence of solutions under larger external forces.

math.AP↗

arXiv2026

Flexibility and rigidity of steady states of the two-dimensional Euler equations in an infinite channel

We study steady solutions to the two-dimensional incompressible Euler equations in an infinite channel, whose far-field limits are uniformly non-stagnant shear flows. In the smooth category,for a broad class of prescribed far-field shear profiles, non-shear steady states exist via the construction of two-dimensional solutions of the semilinear elliptic equations of stream function by the min--max method. In the analytic category, we establish a comparison principle for the analytic steady states and we show for a dense family of analytic uniformly non-stagnant shear profiles, every analytic steady state with the prescribed far field must itself be a shear flow. In particular, there are far-field shear profiles which exhibit flexibility in the smooth category but rigidity in the analytic category. Furthermore, the dense rigidity is sharp in the sense that there exists analytic shear profile which admits flexibility in the analytic category.

math.AP↗

arXiv2026

Complete Rigidity at infinity and Existence of the Levinson Cavity

We present a potential theoretic approach reducing the analysis of the asymptotic shape of free surfaces to the analysis of a precise ordinary differential equation resulting from the reduction process. Although the approach relies mainly on the principal part of the PDE operator to allow for a representation formula and is thus not restricted to problems of elliptic type, we present it at the clean-cut example of three-dimensional axially symmetric steady incompressible cavity flows, which are Neumann-type Bernoulli free boundary problems and for which frequency formulas are unknown and, if they do exist, insufficient to yield the very precise asymptotic behavior we prove here. In 1946 Norman Levinson derived by a power-law ansatz with a slowly varying correction a precise formula for the asymptotic shape of such cavities. However his result requires very strong assumptions such that it has remained an open problem for 80 years whether the cavity solutions we know to exist by a result by Garabedian-Lewy-Schiffer [12] actually share this asymptotic behavior, or whether at least one solution possessing the Levinson asymptotics exists. Here we answer both questions affirmatively, and we obtain complete rigidity at infinity of the Levinson solution in the class of axially symmetric solutions, that is, any solution satisfying mild and natural assumptions at the fixed boundary and infinity converges asymptotically to the Levinson profile $(\log r)^{-1/4}\sqrt{r}$.

math.AP↗

arXiv2026

Minus one Homogeneous Euler Flows are Geodesible

In this paper, we study $(-1)$-homogeneous steady solutions to the Euler equations on $\mathbb{R}^n \setminus \{0\}$. In low dimensions $n=2,3$, such flows are known to be essentially trivial. In contrast, we show that in higher dimensions $n \ge 4$, every $(-1)$-homogeneous Euler flow is a geodesible vector field with constant Bernoulli function. Moreover, any $(-1)$-homogeneous geodesible field is induced by a geodesible field on the sphere $\mathbb{S}^{n-1}$. In particular, in the case $n=4$, every $(-1)$-homogeneous Euler flow is obtained as an extension of a Beltrami field on $\mathbb{S}^{3}$.

math.AP↗

arXiv2026

A selection principle for 2D steady Euler flows via the vanishing viscosity limit

The 2D Euler system, which governs inviscid incompressible fluid flow, can admit infinitely many steady solutions in a given domain with slip boundary conditions. To select physical classical solutions, we investigate the vanishing viscosity limits of the steady Navier-Stokes system. The vanishing viscosity limits in periodic strips or bounded connected domains are completely characterized, even when strong boundary layers may appear. More precisely, we show that the only vanishing viscosity limits in a bounded connected domain are flows with constant vorticity. The significance of this result is that the approximating Navier-Stokes solutions are not required to have nested closed streamlines, an essential assumption in the century-old Prandtl-Batchelor theorem. For flows in an infinitely long strip, if the viscous velocity (but not the pressure) is periodic in the strip direction, we show that the only vanishing viscosity limits are constant flows, Couette flows, and Poiseuille flows. The proof relies on a delicate analysis of the streamlines for both viscous and inviscid flows, in which a key observation is that the set of chaotic streamlines for the Euler flow is null with respect to two-dimensional Lebesgue measure. The second result depends not only on the first but also on a powerful rigidity theorem that any non-shear steady classical Euler flow in a periodic strip must have closed streamlines, established via an analysis of streamlines and a novel total curvature estimate.

math.AP↗

arXiv2026

Global Uniqueness of Subsonic Flows for the Steady Euler-Poisson System

We prove the global uniqueness of multidimensional subsonic flows for the steady Euler--Poisson system in a bounded nozzle in the sense that uniqueness holds without restricting solutions to be small perturbations of a background state. The proof is based on a convexity property of the set of subsonic states and energy estimates.

math.AP↗

arXiv2026

On the forward self-similar solutions to the two-dimensional Navier-Stokes equations

We establish the global existence of forward self-similar solutions to the two-dimensional incompressible Navier-Stokes equations for any divergence-free initial velocity that is homogeneous of degree $-1$ and locally Hölder continuous. This result requires no smallness assumption on the initial data. In sharp contrast to the three-dimensional case, where $(-1)$-homogeneous vector fields are locally square-integrable, the major difficulty for the 2D problem is the criticality in the sense that the initial kinetic energy is locally infinite at the origin, and the initial vorticity fails to be locally integrable, so that the classical local energy estimates are not available. Our key ideas are to decompose the solution into a linear part solving the heat equation and a finite-energy perturbation part, and to exploit a kind of inherent cancellation relation between the linear part and the perturbation part. These, together with suitable choices of multipliers, enable us to control the interaction terms and to establish the $H^1$-estimates for the perturbation part. Furthermore, we can get an optimal pointwise estimate via investigating the corresponding Leray equations in weighted Sobolev spaces.This gives the faster decay of the perturbation part at infinity and compactness, which play important roles in proving the existence of global-in-time self-similar solutions.

math.AP↗

arXiv2026

A Classification Theorem for Steady Euler Flows

Fix a bounded, analytic, and simply connected domain $Ω\subset\mathbb{R}^2.$ We show that all analytic steady states of the Euler equations with stream function $ψ$ are either radial or solve a semi-linear elliptic equation of the form $Δψ= F(ψ)$ with Dirichlet boundary conditions. In particular, if $Ω$ is not a ball, then there exists a one to one correspondence between analytic steady states of the Euler equations and analytic solutions of equations of the form $Δψ= F(ψ)$ with Dirichlet boundary conditions.

math.AP↗

arXiv2025

On the existence of self-similar solutions to the steady Navier-Stokes equations in high dimensions

We prove that the steady incompressible Navier-Stokes equations with any given $(-3)$-homogeneous, locally Lipschitz external force on $\mathbb{R}^n\setminus\{0\}$, $4\leq n\leq 16$, have at least one $(-1)$-homogeneous solution which is scale-invariant and regular away from the origin. The global uniqueness of the self-similar solution is obtained as long as the external force is small. The key observation is to exploit a nice relation between the radial component of the velocity and the total head pressure under the self-similarity assumption. It plays an essential role in establishing the energy estimates. If the external force has only the nonnegative radial component, we can prove the existence of $(-1)$-homogeneous solutions for all $n\geq 4$. The regularity of the solution follows from integral estimates of the positive part of the total head pressure, which is due to the maximum principle and a ``dimension-reduction" effect arising from the self-similarity.

math.AP↗

arXiv2025

Least total curvature solutions to steady Euler system and monotone solutions to semilinear equations in a strip

This paper focuses on establishing the existence of a class of steady solutions, termed least total curvature solutions, to the incompressible Euler system in a strip. The solutions obtained in this paper complement the least total curvature solutions already known. Our approach employs a minimization procedure to identify a monotone heteroclinic solution for a conveniently chosen semilinear elliptic PDE. This method also enables us to construct positive and monotone (and consequently stable) solutions to semilinear elliptic PDEs with non-convex superlevel sets in a strip domain. This can be regarded as a negative answer to a generalized problem raised in [27].

math.AP↗

arXiv2025

Classical solutions to a mixed-type PDE with a Keldysh-type degeneracy and accelerating transonic solutions to the Euler-Poisson system

In this paper, we first prove the existence of classical solutions to a class of Keldysh-type equations. Next, we apply this existence result to prove the structural stability of one-dimensional smooth transonic solutions to the steady Euler-Poisson system. Most importantly, the solutions constructed in this paper are classical solutions to the Euler-Poisson system, thus their sonic interfaces are not weak discontinuities in the sense that all the flow variables, such as density, velocity and pressure, are at least $C^1$ across the interfaces.

math.AP↗

arXiv2025

Shock formation for the 2D rotating shallow water equations with non-zero vorticity

In the paper, the shock formation for the two-dimensional rotating shallow water system is established. We construct a large class of initial data which leads to the finite-time blow-up for the solutions. Moreover, the solutions are allowed to have non-zero large vorticity (in derivative sense), even up to the shock. Our results provide the first complete geometric description of the shock formation mechanism to the two-dimensional rotating shallow water system with vorticity. The formation of shock is characterized by the collapse of the characteristic hypersurfaces, where the first-order derivatives of the velocity, the height, and the specific vorticity blow up while the potential vorticity remains Lipschitz continuous. The methods developed in this paper should also be useful in studying the shock formation for the Euler equations with various source terms and a class of quasilinear Klein-Gordon equations in multi-dimensions.

math.AP↗

arXiv2025

Self-Similar Solutions to the steady Navier-Stokes Equations in a two-dimensional sector

This paper is concerned with self-similar solutions of the steady Navier-Stokes system in a two-dimensional sector with the no-slip boundary condition. We give necessary and sufficient conditions in terms of the angle of the sector and the flux to guarantee the existence of self-similar solutions of a given type. We also investigate the uniqueness and non-uniqueness of flows with a given type, which not only give rigorous justifications for some statements in \cite{Rosenhead40} but also show that some numerical computations in \cite{Rosenhead40} may not be precise. The non-uniqueness result is a new phenomenon for these flows. As a consequence of the classification of self-similar solutions in the half-space, we characterize the leading order term of the steady Navier-Stokes system in an aperture domain when the flux is small. The main approach is to study the ODE system governing self-similar solutions, where the detailed properties of both complete and incomplete elliptic functions have been investigated.

math.AP↗

arXiv2024

Liouville-type theorems for Axisymmetric solutions to steady Navier-Stokes system in a layer domain

In this paper, we investigate the Liouville-type theorems for axisymmetric solutions to steady Navier-Stokes system in a layer domain. The both cases for the flows supplemented with no-slip boundary and Navier boundary conditions are studied. If the width of the outlet grows at a rate less than $R^{\frac{1}{2}}$, any bounded solution is proved to be trivial. Meanwhile, if the width of the outlet grows at a rate less than $R^{\frac{4}{5}}$, every D-solution is proved to be trivial. The key idea of the proof is to establish a Saint-Venant type estimate that characterizes the growth of Dirichlet integral of nontrivial solutions.

math.AP↗

arXiv2024

On a classification of steady solutions to two-dimensional Euler equations

In this paper, we provide a classification of steady solutions to two-dimensional incompressible Euler equations in terms of the set of flow angles. The first main result asserts that the set of flow angles of any bounded steady flow in the whole plane must be the whole circle unless the flow is a parallel shear flow. In an infinitely long horizontal strip or the upper half-plane supplemented with slip boundary conditions, besides the two types of flows appeared in the whole space case, there exists an additional class of steady flows for which the set of flow angles is either the upper or lower closed semicircles. This type of flows is proved to be the class of non-shear flows that have the least total curvature. As consequences, we obtain Liouville-type theorems for two-dimensional semilinear elliptic equations with only bounded and measurable nonlinearity, and the structural stability of shear flows whose all stagnation points are not inflection points, including Poiseuille flow as a special case. Our proof relies on the analysis of some quantities related to the curvature of the streamlines.

math.AP↗

arXiv2024

Variational structure and two-dimensional subsonic jet flows for compressible Euler system with general incoming flows

In this paper, we proved the well-posedness theory of compressible subsonic jet flows for two-dimensional steady Euler system with {\it general} incoming horizontal velocity as long as the flux is larger than a critical value. One of the key observations is that the stream function formulation for two-dimensional compressible steady Euler system enjoys a variational structure even when the flows have nontrivial vorticity, so that the jet problem can be reformulated as a domain variation problem. This variational structure helps to adapt the framework developed by Alt, Caffarelli, and Friedman to study {the jet problem, which is a Bernoulli type free boundary problem. A major technical point to analyze the jet flows is that the inhomogeneous terms in the rescaled equation near the free boundary are always small, even when the vorticity of the flows is big.

math.AP↗

arXiv2023

Liouville-type theorems for steady Navier-Stokes system under helical symmetry or Navier boundary conditions

In this paper, the Liouville-type theorems for the steady Navier-Stokes system are investigated. First, we prove that any bounded smooth helically symmetric solution in $\mathbb{R}^3$ must be a constant vector. Second, for steady Navier-Stokes system in a slab supplemented with Navier boundary conditions, we prove that any bounded smooth solution must be zero if either the swirl or radial velocity is axisymmetric, or $ru^{r}$ decays to zero as $r$ tends to infinity. Finally, when the velocity is not big in $L^{\infty}$-space, the general three-dimensional steady Navier-Stokes flow in a slab with the Navier boundary conditions must be a Poiseuille type flow. The key idea of the proof is to establish Saint-Venant type estimates that characterize the growth of Dirichlet integral of nontrivial solutions.

math.AP↗

arXiv2023

Analysis on the steady Euler flows with stagnation points in an infinitely long nozzle

A recent prominent result asserts that steady incompressible Euler flows strictly away from stagnation in a two-dimensional infinitely long strip must be shear flows. On the other hand, flows with stagnation points, very challenging in analysis, are interesting and important phenomenon in fluids. In this paper, we not only prove the uniqueness and existence of steady flows with stagnation points, but also obtain the regularity of the boundary of stagnation set, which is a class of obstacle type free boundary. First, we prove a global uniqueness theorem for steady Euler system with Poiseuille flows as upstream far field state in an infinitely long strip. Due to the appearance of stagnation points, the nonlinearity of the semilinear equation for the stream function becomes non-Lipschitz. This creates a challenging analysis problem since many classical analysis methods do not apply directly. Second, the existence of steady incompressible Euler flows, tending to Poiseuille flows in the upstream, are established in an infinitely long nozzle via variational approach. A very interesting phenomenon is the regularity of the boundary of non-stagnant region, which can be regarded as an obstacle type free boundary and is proved to be globally $C^1$. Finally, the existence of stagnation region is proved as long as the nozzle is wider than the width of the nozzle at upstream where the flows tend to Poiseuille flows.

math.AP↗