Search arXiv⌕ Search

arXiv subjects

Peicong Song

Publications and source records attributed to Peicong Song.

8 recordsLinked to original sources

A Viscous Cascade Construction of Nonunique Leray--Hopf Solutions to the Unforced 3D Navier--Stokes Equations

We construct a nonzero divergence-free initial velocity on $\mathbb{R}^3$ and a continuum of pairwise distinct suitable Leray--Hopf solutions of the unforced three-dimensional Navier--Stokes equations on a common time interval. The initial datum is axisymmetric, smooth away from the origin, and belongs to every $L^{\mathfrak q}$ with $1\leq \mathfrak q<3$, but not to $L^3$. All the solutions attain this datum strongly in $L^2$, are smooth at positive times, and satisfy both the global and local energy equalities through time zero. The same family belongs simultaneously to every $L^{\mathfrak p}_tL^{\mathfrak q}_x$ with $1\leq \mathfrak p\leq\infty$, $2\leq \mathfrak q\leq\infty$, and $2/\mathfrak p+3/\mathfrak q>1$. The same solutions also belong to the critical Lorentz space $L^\infty_tL^{3,\infty}_x$. This endpoint is sharp for uniqueness in the Leray--Hopf class within the Lorentz scale. The proof is entirely analytic and uses a cascade through geometrically separated Gaussian swirls. We establish growth for the time-dependent viscous linearization and determine the sign of its complete quadratic stress, including the interaction of the reference velocity with the second variation. The integrated stress generates a controlled perturbation at the next larger spatial scale. At each finite cutoff, a prescribed terminal coordinate selects an initial perturbation whose physical $L^2$ norm tends to zero as the cutoff is removed. Uniform energy, moment, and transfer estimates yield the common strong initial trace while preserving a nonzero observable at a fixed positive time.

math.AP↗

A Sharp Uniqueness-Nonuniqueness Dichotomy for Neutral Vortex Arrays in $2$D Euler Equations

We establish a sharp uniqueness--nonuniqueness criterion for the two-dimensional incompressible Euler equations within a class of stationary arrays of disjoint neutral vortices. Let $Θ$ be any finite nondecreasing envelope for the vorticity $L^p$ norms, and set $I_Θ=\int_{p_0}^\infty Θ(p)^{-1}\,dp$. If $I_Θ=\infty$, every array in the corresponding class admits a unique Euler evolution, even among bounded energy-admissible weak velocity solutions. If $I_Θ<\infty$, there exists a compactly supported array in the same class admitting two distinct unforced Lagrangian Euler evolutions from the same initial datum. The criterion holds for arbitrary nondecreasing envelopes $Θ$.

math.AP↗

Nonuniqueness of the $2$D Euler Evolutions with $L^1\cap L^p$ Vorticity

For each prescribed $1<p<\infty$, we construct a compactly supported initial vorticity in $L^1(\mathbb{R}^2)\cap L^p(\mathbb{R}^2)$ that admits two distinct evolutions under the unforced two-dimensional incompressible Euler equation on $[0,1]$. Both vorticities are strongly continuous in $L^1\cap L^p$ and are transported exactly by their respective almost-everywhere invertible, measure-preserving regular Lagrangian flows. The construction couples unstable four-vortex configurations across increasingly small spatial scales, realizing them through concentrated signed vortex patches. At each finite cutoff, a prepared reference evolution remains close to rotating configurations, while a second evolution differs initially only at the finest scale. In the second evolution, the finest configuration consists of separating dipoles whose remote strain activates the instability of the next larger configuration. This process propagates through successive scales with summable transition times. As the cutoff tends to infinity, the two families of initial data converge strongly, along a subsequence, to the same datum, while a nonzero difference survives at a fixed larger scale and is detected by a fixed smooth observable at a positive limiting time. Quantitative concentration and relative comparison estimates establish this cascade for exact Euler patch solutions. Strong compactness through inverse-flow stability then preserves both exact vorticity transport and the positive-time distinction between the two limiting evolutions. The initial datum and construction parameters may depend on $p$.

math.AP↗

Self-Similar Solutions of the 2D Incompressible Euler Equations via a Lagrangian Construction

We give a Lagrangian construction of forward self-similar solutions of the $2$D incompressible Euler equation. For every $1<α<2$ and every real $h\in L^{2/α}(\mathbb{S}^1)$, the construction produces a flow with initial vorticity $|x|^{-α}h(\arg x)$, without smallness or sign assumptions. The argument is based on a fixed-point formulation of backward particle transport from time $t=1$ to $t=0$. Mollifying the Biot--Savart velocity in self-similar variables preserves exact vorticity transport, while symmetrization yields the unforced Euler equation in velocity form even when the ordinary vorticity flux is not locally integrable. The limiting solution admits an almost-everywhere invertible, measure-preserving regular Lagrangian flow from time zero, with strong local continuity and preservation of signed value distributions and absolutely integrable Casimirs.

math.AP↗

On the Stability of Type II Blowup for the Keller-Segel System in High Dimensions

We study finite-time blowup for the parabolic--elliptic Keller--Segel system on $\mathbb{R}^d$ in dimensions $d\geq11$, where the problem is mass supercritical. For every integer $l\geq2$, we construct smooth radially symmetric solutions whose radial mass variable concentrates the normalized stationary state $Q$ at a quantized scale. Each blowup regime can be realized by solutions with nonnegative population density throughout their classical lifespan. More precisely, near the blowup time $T$, \[ u(t,r)=\frac{1}{λ^2(t)}\left[Q\left(\frac{r}{λ(t)}\right) +ε\left(t,\frac{r}{λ(t)}\right)\right], \qquad λ(t)=c(T-t)^{\frac{l}{γ(d)}}(1+o(1)), \] where $c>0$ and $γ(d)=\frac12\bigl(d-2-\sqrt{(d-2)(d-10)}\bigr)$. The remainder $ε$ converges to zero in local $L^\infty$ norms and in a range of high-order homogeneous Sobolev norms. Since $2l>γ(d)$, the concentration scale is strictly smaller than the parabolic scale $\sqrt{T-t}$, and the resulting blowup is of type II. The $l$-th regime has exactly $l-1$ unstable radial modulation directions and is stable within a codimension-$(l-1)$ class of suitably regular radial initial data. The proof combines a generalized-kernel expansion driven by the algebraic tail of $Q$, modulation analysis, coercive weighted high-order energy estimates, and a finite-dimensional topological argument. This yields a quantized hierarchy of stationary-state concentration rates for the high-dimensional Keller--Segel flow.

math.AP↗

Axisymmetric type II blowup solutions to the three-dimensional Keller-Segel system

We construct axisymmetric solutions to the three-dimensional parabolic-elliptic Keller-Segel system that blow up in finite time. In particular, the singularity is of type II, which locally admits a leading-order profile of the rescaled stationary solution of the two-dimensional system. Additionally, mass concentration occurs along a one-dimensional ring in the plane. In the analysis, we rely on an approximate solution of the eigenproblem associated with the linearized operator around the stationary solution as well as the modulation dynamics to control the perturbation function and derive the accurate blowup rate.

math.AP↗

Forward Self-Similar Solutions to the 2D Hypodissipative Navier-Stokes Equations

We study the forward self-similar solutions to the $2$D hypodissipative Navier-Stokes equation with fractional diffusion $(-Δ)^α$ for $\frac{1}{2}<α<1$. We first show that for arbitrarily large $(1-2α)$-homogeneous initial data which are locally Lipschitz, there exists at least one weak solution whose profile differs from the self-similar profile of the fractional heat equation by an element of $H^α(\reall^2)$. Moreover, when $α\in(\frac{2}{3},1)$ we show that any such weak solution is actually smooth, hence a strong solution, and satisfies certain far field decay estimates. Finally, we provide numerical evidence for the nonuniqueness of the related $2$D Navier-Stokes equation with time-dependent viscosity.

math.AP↗

On the stability of Lamb-Chaplygin dipole for the 2D Euler equation

The Lamb-Chaplygin dipole is a traveling wave solution to the 2D incompressible Euler equation, whose orbital stability was established in [Abe-Choi, 2022] and [Abe-Choi-Jeong, 2025] assuming the odd symmetry in $x_2$ (O) and non-negativity in upper half-plane (N). This paper is devoted to further study of its stability in the following two aspects. Firstly, we prove the spectral stability of the linearized operator around the Lamb-Chaplygin dipole without conditions (O) or (N), based on the index theory established in [Lin-Zeng, 2022]. This excludes an instability mechanism by unstable eigenmodes, and provides rigorous evidence towards nonlinear stability in this general setting. Secondly, assuming (O) and (N), we refine the orbital stability results in [Abe-Choi, 2022] and [Abe-Choi-Jeong, 2025] quantitatively by proving a linear bound of the fluctuation and a uniform control of the moving velocity. Instead of using a variational approach, our proof relies on the construction of a new coercive Lyapunov functional with a delicate mixed structure: it is quadratic in the interior region, but linear in the exterior region.

math.AP↗