SearcharxivSearch

arXiv subjects

Chongchun Zeng

Publications and source records attributed to Chongchun Zeng.

At least 19 recordsLinked to original sources

Unstable Manifolds of Stratified Euler Equations

We consider a spectrally unstable steady state $(\rho_0,v_0)$ of the incompressible stratified Euler equations on a class of $d$-dimensional domains. Assuming that the linearized equation admits an exponential dichotomy with a reasonably large spectral gap relative to the maximal Lyapunov exponent of the background steady flow $v_0$, we construct the local stable and unstable manifolds of $(\rho_0,v_0)$. The proof is based on the Lyapunov--Perron method after reformulating the Euler equation as an ODE on the infinite-dimensional manifold of volume-preserving Lagrangian maps, with the density treated as a frozen Lagrangian parameter as well as the weight in the $L^2$ metric. We also discuss some applications to two-dimensional steady flows.

math.AP

The uniqueness of the ground state and the dynamics of nonlinear Schr\"odinger equation with inverse square potential

In this paper, we first provide an alternative proof of the uniqueness of the ground state solution for NLS with inverse square potential and power nonlinearity $|u|^pu$ for all $0<p<\frac 4{d-2}$ in dimensions $d\ge 3$. While the uniqueness result was previously obtained by Mukherjee-Nam-Nguyen using a functional analytic approach, our method successfully adapts the classical ``shooting method'' to the case with the singular potential, accompanied by a more detailed analysis on the ground state equation. Based upon this result and a comprehensive spectral analysis, we construct the stable/unstable manifolds of the ground state standing wave solutions and classify solutions on the mass-energy level surface of the ground state in dimensions $d=3, 4, 5$.

math.AP

Invariant Manifolds for Capillary Waves and a Class of Quasilinear PDEs

This paper studies the local stable and unstable manifolds of equilibria for quasilinear and fully nonlinear PDEs. These manifolds are fundamental objects in the analysis of local dynamics. While their existence is well understood for ODEs, semilinear PDEs, and certain parabolic-type quasilinear PDEs, invariant manifold theorems are often unavailable for quasilinear PDEs whose nonlinearities involve a loss of regularity and whose linear parts do not provide sufficient smoothing. Our main results establish the existence, uniqueness, and smoothness of local stable and unstable manifolds for nonlinear PDEs that satisfy suitable energy estimates. With the main focus on irrotational water waves with surface tension, this framework applies to a broad class of PDEs, including nonlinear Schr\"odinger equations, nonlinear wave equations, and the MMT model, as well as to certain gradient-type PDEs.

math.AP

On small breathers of nonlinear Klein-Gordon equations via exponentially small homoclinic splitting

Breathers are nontrivial time-periodic and spatially localized solutions of nonlinear dispersive partial differential equations (PDEs). Families of breathers have been found for certain integrable PDEs but are believed to be rare in non-integrable ones such as nonlinear Klein-Gordon equations. In this paper we show that small amplitude breathers of \emph{any} temporal frequency do not exist for semilinear Klein-Gordon equations with generic analytic odd nonlinearities. A breather with small amplitude exists only when its temporal frequency is close to be resonant with the linear Klein-Gordon dispersion relation. Our main result is that, for such frequencies, we rigorously identify the leading order term in the exponentially small (with respect to the small amplitude) obstruction to the existence of small breathers in terms of the so-called \emph{Stokes constant}, which depends on the nonlinearity analytically, but is independent of the frequency. This gives a rigorous justification of a formal asymptotic argument by Kruskal and Segur \cite{KS87} in the analysis of small breathers. We rely on the spatial dynamics approach where breathers can be seen as homoclinic orbits. The birth of such small homoclinics is analyzed via a singular perturbation setting where a Bogdanov-Takens type bifurcation is coupled to infinitely many rapidly oscillatory directions. The leading order term of the exponentially small splitting between the stable/unstable invariant manifolds is obtained through a careful analysis of the analytic continuation of their parameterizations. This requires the study of another limit equation in the complexified evolution variable, the so-called \emph{inner equation}.

math.AP

On the spectra of the gravity water waves linearized at monotone shear flows

We consider the spectra of the 2-dim gravity waves of finite depth linearized at a uniform monotonic shear flow $U(x_2)$, $x_2 \in (-h, 0)$, where the wave numbers $k$ of the horizontal variable $x_1$ is treated as a parameter. Our main results include a.) a complete branch of non-singular neutral modes $c^+(k)$ strictly decreasing in $k\ge 0$ and converging to $U(0)$ as $k \to \infty$; b.) another branch of non-singular neutral modes $c_-(k)$, $k \in (-k_-, k_-)$ for some $k_->0$, with $c_-(\pm k_-) = U(-h)$; c.) the non-degeneracy and the bifurcation at $(k_-, c=U(-h))$; d.) the existence and non-existence of unstable modes for $c$ near $U(0)$, $U(-h)$, and interior inflection values of $U$; e.) the complete spectral distribution in the case where $U''$ does not change sign or changes sign exactly once non-degenerately. In particular, $U$ is spectrally stable if $U'U''\le 0$ and unstable if $U$ has a non-degenerate interior inflection value or $\{U'U''>0\}$ accumulate at $x_2=-h$ or $0$. Moreover, if $U$ is an unstable shear flow of the fixed boundary problem in a channel, then strong gravity could cause instability of the linearized gravity waves in all long waves (i.e. $|k|\ll1$).

math.AP

Capillary gravity water waves linearized at monotone shear flows: eigenvalues and inviscid damping

This paper is concerned with the eigenvalues and linear inviscid damping of the 2D capillary gravity water waves of finite depth $x_2\in(-h,0)$ linearized at a monotone shear flow $U(x_2)$. Unlike the linearized Euler equation in a fixed channel where eigenvalues exist only in low horizontal wave number $k$, we first prove the linearized capillary gravity wave has two branches of eigenvalues $-ikc^\pm(k)$, where the wave speeds $c^\pm(k)=O(\sqrt{|k|})$ for $|k|\gg1$ have the same asymptotics as the those of the linear irrotational capillary gravity waves. Under the additional assumption of $U"\ne0$, we obtain the complete continuation of these two branches, which are all the eigenvalues in this (and some other) case(s). Particularly $-ikc^-(k)$ could bifurcate into unstable eigenvalues at $c^-(k)=U(-h)$. The bifurcation of unstable eigenvalues from inflection values of $U$ is also proved. Assuming no singular modes, i.e. no embedded eigenvalues for any wave number $k$, linear solutions $(v(t,x),η(t,x_1))$ are studieded in both periodic-in-$x_1$ and $x_1\in R$ cases, where $v$ is the velocity and $η$ the surface profile. Solutions can be split into $(v^p,η^p)$ and $(v^c,η^c)$ whose $k$-th Fourier mode in $x_1$ correspond to the eigenvalues and the continuous spectra of wave number $k$, respectively. The component $(v^p,η^p)$ is governed by a (possibly unstable) dispersion relation given by the eigenvalues, which are simply $k\to-ikc^\pm(k)$ in the case of $x_1\in R$. The other component $(v^c,η^c)$ satisfies the inviscid damping as fast as $|v_1^c|_{L_x^2},|η^c|_{L_x^2}=O(|t|^{-1})$ and $|v_2^c|_{L_x^2}=O(t^{-2})$ as $|t|\gg1$. Additional decay of $tv_1^c,t^2v_2^c$ in $L_x^2L_t^q$, $q\in(2,\infty]$, is obtained after leading asymptotic terms are removed, which are in the forms of $t$-dependent translations in $x_1$ of certain functions of $x$.

math.AP

Instability, index theorem, and exponential trichotomy for Linear Hamiltonian PDEs

Consider a general linear Hamiltonian system $\partial_{t}u=JLu$ in a Hilbert space $X$. We assume that$\ L: X \to X^{*}$ induces a bounded and symmetric bi-linear form $\left\langle L\cdot,\cdot\right\rangle $ on $X$, which has only finitely many negative dimensions $n^{-}(L)$. There is no restriction on the anti-self-dual operator $J: X^{*} \supset D(J) \to X$. We first obtain a structural decomposition of $X$ into the direct sum of several closed subspaces so that $L$ is blockwise diagonalized and $JL$ is of upper triangular form, where the blocks are easier to handle. Based on this structure, we first prove the linear exponential trichotomy of $e^{tJL}$. In particular, $e^{tJL}$ has at most algebraic growth in the finite co-dimensional center subspace. Next we prove an instability index theorem to relate $n^{-}\left( L\right) $ and the dimensions of generalized eigenspaces of eigenvalues of$\ JL$, some of which may be embedded in the continuous spectrum. This generalizes and refines previous results, where mostly $J$ was assumed to have a bounded inverse. More explicit information for the indexes with pure imaginary eigenvalues are obtained as well. Moreover, when Hamiltonian perturbations are considered, we give a sharp condition for the structural instability regarding the generation of unstable spectrum from the imaginary axis. Finally, we discuss Hamiltonian PDEs including dispersive long wave models (BBM, KDV and good Boussinesq equations), 2D Euler equation for ideal fluids, and 2D nonlinear Schrödinger equations with nonzero condition at infinity, where our general theory applies to yield stability or instability of some coherent states.

math.AP

Asymptotic simplification of Aggregation-Diffusion equations towards the heat kernel

We give sharp conditions for the large time asymptotic simplification of aggregation-diffusion equations with linear diffusion. As soon as the interaction potential is bounded and its first and second derivatives decay fast enough at infinity, then the linear diffusion overcomes its effect, either attractive or repulsive, for large times independently of the initial data, and solutions behave like the fundamental solution of the heat equation with some rate. The potential $W(x) \sim \log |x|$ for $|x| \gg 1$ appears as the natural limiting case when the intermediate asymptotics change. In order to obtain such a result, we produce uniform-in-time estimates in a suitable rescaled change of variables for the entropy, the second moment, Sobolev norms and the $C^α$ regularity with a novel approach for this family of equations using modulus of continuity techniques.

math.AP

Separable Hamiltonian PDEs and Turning point principle for stability of gaseous stars

We consider stability of non-rotating gaseous stars modeled by the Euler-Poisson system. Under general assumptions on the equation of states, we proved a turning point principle (TPP) that the stability of the stars is entirely determined by the mass-radius curve parameterized by the center density. In particular, the stability can only change at extrema (i.e. local maximum or minimum points) of the total mass. For very general equation of states, TPP implies that for increasing center density the stars are stable up to the first mass maximum and unstable beyond this point until next mass extremum (a minimum). Moreover, we get a precise counting of unstable modes and exponential trichotomy estimates for the linearized Euler-Poisson system. To prove these results, we develop a general framework of separable Hamiltonian PDEs. The general approach is flexible and can be used for many other problems including stability of rotating and magnetic stars, relativistic stars and galaxies.

math.AP

Smooth stationary water waves with exponentially localized vorticity

We study stationary capillary-gravity waves in a two-dimensional body of water that rests above a flat ocean bed and below vacuum. This system is described by the Euler equations with a free surface. Our main result states that there exist large families of such waves that carry finite energy and exhibit an exponentially localized distribution of (nontrivial) vorticity. This is accomplished by combining ideas drawn from the theory of spike-layer solutions to singularly perturbed elliptic equations, with techniques from the study of steady solutions of the water wave problem.

math.AP

Dynamics of threshold solutions for energy critical NLS with inverse square potential

We consider the focusing energy critical NLS with inverse square potential in dimension $d= 3, 4, 5$ with the details given in $d=3$ and remarks on results in other dimensions. Solutions on the energy surface of the ground state are characterized. We prove that solutions with kinetic energy less than that of the ground state must scatter to zero or belong to the stable/unstable manifolds of the ground state. In the latter case they converge to the ground state exponentially in the energy space as $t\to \infty$ or $t\to -\infty$. (In 3-dim without radial assumption, this holds under the compactness assumption of non-scattering solutions on the energy surface.) When the kinetic energy is greater than that of the ground state, we show that all radial $H^1$ solutions blow up in finite time, with the only two exceptions in the case of 5-dim which belong to the stable/unstable manifold of the ground state. The proof relies on the detailed spectral analysis, local invariant manifold theory, and a global Virial analysis.

math.AP

Concentrated steady vorticities of the Euler equation on 2-d domains and their linear stability

We consider concentrated vorticities for the Euler equation on a smooth domain $Ω\subset \mathbf{R}^2$ in the form of \[ ω= \sum_{j=1}^N ω_j χ_{Ω_j}, \quad |Ω_j| = πr_j^2, \quad \int_{Ω_j} ω_j dμ=μ_j \ne 0, \] supported on well-separated vortical domains $Ω_j$, $j=1, \ldots, N$, of small diameters $O(r_j)$. A conformal mapping framework is set up to study this free boundary problem with $Ω_j$ being part of unknowns. For any given vorticities $μ_1, \ldots, μ_N$ and small $r_1, \ldots, r_N\in \mathbf{R}^+$, through a perturbation approach, we obtain such piecewise constant steady vortex patches as well as piecewise smooth Lipschitz steady vorticities, both concentrated near non-degenerate critical configurations of the Kirchhoff-Routh Hamiltonian function. When vortex patch evolution is considered as the boundary dynamics of $\partial Ω_j$, through an invariant subspace decomposition, it is also proved that the spectral/linear stability of such steady vortex patches is largely determined by that of the $2N$-dimensional linearized point vortex dynamics, while the motion is highly oscillatory in the $2N$-codim directions corresponding to the vortical domain shapes.

math.AP

Dynamics near the solitary waves of the supercritical gKDV Equations

This work is devoted to study the dynamics of the supercritical gKDV equations near solitary waves in the energy space $H^1$. We construct smooth local center-stable, center-unstable and center manifolds near the manifold of solitary waves and give a detailed description of the local dynamics near solitary waves. In particular, the instability is characterized as following: any forward flow not starting from the center-stable manifold will leave a neighborhood of the manifold of solitary waves exponentially fast. Moreover, orbital stability is proved on the center manifold, which implies the uniqueness of the center manifold and the global existence of solutions on it.

math.AP

Invariant Manifolds of traveling waves of the 3D Gross-Pitaevskii equation in the energy space

We study the local dynamics near general unstable traveling waves of the 3D Gross-Pitaevskii equation in the energy space by constructing smooth local invariant center-stable, center-unstable and center manifolds. We also prove that (i) the center-unstable manifold attracts nearby orbits exponentially before they get away from the traveling waves along the center directions and (ii) if an initial data is not on the center-stable manifolds, then the forward flow will be ejected away from traveling waves exponentially fast. Furthermore, under a non-degenerate assumption, we show the orbital stability of the traveling waves on the center manifolds, which also implies the local uniqueness of the local invariant manifolds. Our approach based on a geometric bundle coordinates should work for a general class of Hamiltonian PDEs.

math.AP

Stability of traveling waves of nonlinear Schrödinger equation with nonzero condition at infinity

We study the stability of traveling waves of nonlinear Schrödinger equation with nonzero condition at infinity obtained via a constrained variational approach. Two important physical models are Gross-Pitaevskii (GP) equation and cubic-quintic equation. First, under a non-degeneracy condition we prove a sharp instability criterion for 3D traveling waves of (GP), which had been conjectured in the physical literature. This result is also extended for general nonlinearity and higher dimensions, including 4D (GP) and 3D cubic-quintic equations. Second, for cubic-quintic type sub-critical or critical nonlinearity, we construct slow traveling waves and prove their nonlinear instability in any dimension. For traveling waves without vortices (i.e. nonvanishing) of general nonlinearity in any dimension, we find the sharp condition for linear instability. Third, we prove that any 2D traveling wave of (GP) is transversally unstable and find the sharp interval of unstable transversal wave numbers. Near unstable traveling waves of above cases, we construct unstable and stable invariant manifolds.

math.AP

On the wind generation of water waves

In this work, we consider the mathematical theory of wind generated water waves. This entails determining the stability properties of the family of laminar flow solutions to the two-phase interface Euler equation. We present a rigorous derivation of the linearized evolution equations about an arbitrary steady solution, and, using this, we give a complete proof of the instability criterion of Miles. Our analysis is valid even in the presence of surface tension and a vortex sheet (discontinuity in the tangential velocity across the air--sea interface). We are thus able to give a unified equation connecting the Kelvin--Helmholtz and quasi-laminar models of wave generation.

math.AP

Equivariant and self-similar standing waves for a Hamiltonian hyperbolic-hyperbolic spin-field system

In this paper we study the existence of special symmetric solutions to a Hamiltonian hyperbolic-hyperbolic coupled spin-field system, where the spins are maps from $\mathbb R^{2+1}$ into the sphere $§^2$ or the pseudo-sphere $\H^2$. This model was introduced in \cite{Martina} and it is also known as the {\it hyperbolic-hyperbolic generalized Ishimori system}. Relying on the hyperbolic coordinates introduced in \cite{KNZ11}, we prove the existence of equivariant standing waves in both regular hyperbolic coordinates as well as similarity variables, and describe their asymptotic behaviour.

math.AP

Traveling water waves with compactly supported vorticity

In this paper, we prove the existence of two-dimensional, traveling, capillary-gravity, water waves with compactly supported vorticity. Specifically, we consider the cases where the vorticity is a $δ$-function (a point vortex), or has small compact support (a vortex patch). Using a global bifurcation theoretic argument, we construct a continuum of finite-amplitude, finite-vorticity solutions for the periodic point vortex problem. For the non-periodic case, with either a vortex point or patch, we prove the existence of a continuum of small-amplitude, small-vorticity solutions.

math.AP