We consider the minimization problem for an integral functional $J$, possibly non-convex and non-coercive in $W^{1,1}_0(Ω)$, where $Ω\subset\R^n$ is a bounded smooth set. We prove sufficient conditions in order to guarantee that a suitable Minkowski distance is a minimizer of $J$. The main result is a necessary and sufficient condition in order to have the uniqueness of the minimizer. We show some application to the uniqueness of solution of a system of PDEs of Monge-Kantorovich type arising in problems of mass transfer theory.
In this paper, we prove a sharp and strong non-uniqueness for a class of weak solutions to the three-dimensional magneto-hydrodynamic (MHD) system. More precisely, we show that any weak solution $(v,b)\in L^p_tL^{\infty}_x$ is non-unique in $L^p_tL^{\infty}_x$ with $1\le p<2$, which reveals the strong non-uniqueness, and the sharpness in terms of the classical Ladyzhenskaya-Prodi-Serrin criteria at endpoint $(2, \infty)$. Moreover, for any $1\le p<2$ and $ε>0$, we construct non-Leray-Hopf weak solutions in $L^p_tL^{\infty}_x\cap L^1_tC^{1-ε}$. The results of Navier-Stokes equations in \cite{1C…
We study the sharp constant for the embedding of $W^{1,p}_0(Ω)$ into $L^q(Ω)$, in the case $2<p<q$. We prove that for smooth connected sets, when $q>p$ and $q$ is sufficiently close to $p$, extremal functions attaining the sharp constant are unique, up to a multiplicative constant. This in turn gives the uniqueness of solutions with minimal energy to the Lane-Emden equation, with super-homogeneous right-hand side. The result is achieved by suitably adapting a linearization argument due to C.-S. Lin. We rely on some fine estimates for solutions of $p-$Laplace--type equations by L. Damascelli an…
Using the convex integration technique for the three-dimensional Navier-Stokes equations introduced by T. Buckmaster and V. Vicol, it is shown the existence of non-unique weak solutions for the 3D Navier-Stokes equations with fractional hyperviscosity $(-Δ)^θ$, whenever the exponent $θ$ is less than J.-L. Lions' exponent $5/4$, i.e., when $θ< 5/4$.
We prove the non-uniqueness of weak solutions to 3D hyper viscous and resistive MHD in the class $L^γ_tW^{s,p}_x$, where the exponents $(s,γ,p)$ lie in two supercritical regimes. The result reveals that the scaling-invariant Ladyženskaja-Prodi-Serrin (LPS) condition is the right criterion to detect non-uniqueness, even in the highly viscous and resistive regime beyond the Lions exponent. In particular, for the classical viscous and resistive MHD, the non-uniqueness is sharp near the endpoint $(0,2,\infty)$ of the LPS condition. Moreover, the constructed weak solutions admit the partial regular…
Sharp non-uniqueness of weak solutions to the semilinear wave equation
School of Mathematical Sciences & Shanghai Key Laboratory for Contemporary Applied Mathematics, Fudan University（复旦大学数学科学学院与当代应用数学上海市重点实验室）；School of Mathematical Sciences, Fudan University（复旦大学数学科学学院）
We study the 3D hyperdissipative Navier-Stokes equations on the torus, where the viscosity exponent $α$ can be larger than the Lions exponent $5/4$. It is well-known that, due to Lions [55], for any $L^2$ divergence-free initial data, there exist unique smooth Leray-Hopf solutions when $α\geq 5/4$. We prove that even in this high dissipative regime, the uniqueness would fail in the supercritical spaces $L^γ_tW^{s,p}_x$, in view of the generalized Ladyženskaja-Prodi-Serrin condition. The non-uniqueness is proved in the strong sense and, in particular, yields the sharpness at two endpoints $(3/p…
We study the Lane-Emden system $$\begin{cases} -Δu=v^p,\quad u>0,\quad\text{in}~Ω, -Δv=u^q,\quad v>0,\quad\text{in}~Ω, u=v=0,\quad\text{on}~\partialΩ, \end{cases}$$ where $Ω\subset\mathbb{R}^2$ is a smooth bounded domain. In a recent work, we studied the concentration phenomena of positive solutions as $p,q\to+\infty$ and $|q-p|\leq Λ$. In this paper, we obtain sharp estimates of such multi-bubble solutions, including sharp convergence rates of local maxima and scaling parameters, and accurate approximations of solutions. As an application of these sharp estimates, we show that when $Ω$ is con…
In this paper, we are concerned with the uniqueness result for non-negative solutions of the higher-order Lane-Emden equations involving the GJMS operators on $\mathbb{S}^n$. Since the classical moving-plane method based on the Kelvin transform and maximum principle fails in dealing with the high-order elliptic equations in $\mathbb{S}^n$, we first employ the Mobius transform between $\mathbb{S}^n$ and $\mathbb{R}^n$, poly-harmonic average and iteration arguments to show that the higher-order Lane-Emden equation on $\mathbb{S}^n$ is equivalent to some integral equation in $\mathbb{R}^n$. Then …
The manuscript is concerned with uniqueness and stability for inverse source problem of determining spatially varying factor $f(x)$ of a source term given by $R(t)f(x)$ with suitable given $R(t)$ in the right hand side of the Schrödinger equation with time independent coefficients. In order to establish these results we provide a simple proof of a logarithmic conditional stability of the Cauchy problem for the Schrödinger equation with time-independent coefficients and the zero Dirichlet boundary conditions on the whole boundary and a proof of uniqueness of solution to the Cauchy problem for t…
We study the quantitative unique continuation property of some higher order elliptic operators. In the case of $P=(-Δ)^m$, where $m$ is a positive integer, we derive lower bounds of decay at infinity for any nontrivial solutions under some general assumptions. Furthermore, in dimension 2, we can obtain essentially sharp lower bounds for some forth order elliptic operators, the sharpness is shown by constructing a Meshkov type example.
We study a non-linear and non-local evolution equation for curves obtained as the sharp interface limit of a phase-field model for crawling motion of eukaryotic cells on a substrate. We establish uniqueness of solutions to the sharp interface limit equation in the so-called subcritical parameter regime. The proof relies on a Grönwall estimate for a specially chosen weighted $L^2$ norm. Next, as persistent motion of crawling cells is of central interest to biologists we study the existence of traveling wave solutions. We prove that traveling wave solutions exist in the supercritical parameter r…
We obtain sharp maximal vanishing order at a given time level for solutions to parabolic equations with a $C{^1}$ potential $V$. Our main result Theorem 1.1 is a parabolic generalization of a well known result of Donnelly-Fefferman and Bakri. It also sharpens a previous result of Zhu that establishes similar vanishing order estimates which are instead averaged over time. The principal tool in our analysis is a new quantitative version of the well-known Escauriaza-Fernandez-Vessella type Carleman estimate that we establish in our setting.
We show the existence of a self-similar solution for a We prove the uniqueness of the self-similar profile solution for a modified Boltzmann equation describing probabilistic ballistic annihilation. Such a model describes a system of hard spheres such that, whenever two particles meet, they either annihilate with probability $α\in (0,1)$ or they undergo an elastic collision with probability $1-α$. The existence of a self-similar profile for $α$ smaller than an explicit threshold value $\underlineα_1$ has been obtained in our previous contribution (J. Differential Equations, 254, 3023--3080, 20…
In this paper we establish a sharp non-uniqueness result for stochastic $d$-dimensional ($d\geq2$) incompressible Navier-Stokes equations. First, for every divergence free initial condition in $L^2$ we show existence of infinite many global in time probabilistically strong and analytically weak solutions in the class $L^α\big(Ω,L^p_tL^\infty\big)$ for any $1\leq p<2,α\geq1$. Second, we prove the above result is sharp in the sense that pathwise uniqueness holds in the class of $L^p_tL^q$ for some $p\in[2,\infty],q\in(2,\infty]$ such that $\frac2{p}+\frac{d}{q}\leq1$, which is a stochastic versi…
We give a sharp upper bound on the vanishing order of solutions to Schrodinger equation with C^1 electric and magnetic potentials on a compact smooth manifold. Our method is based on quantitative Carleman type inequalities developed by Donnelly and Fefferman. It also extends the first author's previous work to the magnetic potential case.
A Sharp Regularity Threshold for Uniqueness in Riemannian Calderón-type Problems
Université Marie et Louis Pasteur（玛丽和路易·巴斯德大学）；Instituto de Ciencias Matemáticas, Consejo Superior de Investigaciones Científicas（高等科学研究委员会数学科学研究所）；Nantes Université（南特大学）；McGill University（麦吉尔大学）
We are concerned with the mean field equation with singular data on bounded domains. Under suitable non-degeneracy conditions we prove local uniqueness and non-degeneracy of bubbling solutions blowing up at singular points. The proof is based on sharp estimates for bubbling solutions of singular mean field equations and suitably defined Pohozaev-type identities.
We study the Cauchy problem for the isentropic hypo-viscous compressible Navier-Stokes equations (CNS) under general pressure laws in all dimensions $d\geq 2$. For all hypo-viscosities $(-Δ)^α$ with $α\in (0,1)$, we prove that there exist infinitely many weak solutions with the same initial data. This provides the first non-uniqueness result of weak solutions to viscous compressible fluid. Our proof features new constructions of building blocks for both the density and momentum, which respect the compressible structure. It also applies to the compressible Euler equations and the hypo-viscous i…
In quantitative genetics, viscosity solutions of Hamilton-Jacobi equations appear naturally in the asymptotic limit of selection-mutation models when the population variance vanishes. They have to be solved together with an unknown function I(t) that arises as the counterpart of a non-negativity constraint on the solution at each time. Although the uniqueness of viscosity solutions is known for many variants of Hamilton-Jacobi equations, the uniqueness for this particular type of constrained problem was not resolved, except in a few particular cases. Here, we provide a general answer to the un…
We consider a generalised Keller-Segel model with non-linear porous medium type diffusion and non-local attractive power law interaction, focusing on potentials that are more singular than Newtonian interaction. We show uniqueness of stationary states (if they exist) in any dimension both in the diffusion-dominated regime and in the fair-competition regime when attraction and repulsion are in balance. As stationary states are radially symmetric decreasing, the question of uniqueness reduces to the radial setting. Our key result is a sharp generalised Hardy-Littlewood-Sobolev type functional in…
For a large class of non smooth bounded domains, existence of a global weak solution of the 2D Euler equations, with bounded vorticity, was established by Gérard-Varet and Lacave. In the case of sharp domains, the question of uniqueness for such weak solutions is more involved due to the bad behavior of $Δ^{-1}$ close to the boundary. In the present work, we show uniqueness for any bounded and simply connected domain with a finite number of corners of angles smaller than $π/2$. Our strategy relies on a log-Lipschitz type regularity for the velocity field.
We give a sharp upper bound on the vanishing order of solutions to Schrödinger equation, in the case that the potential is of class $\mathcal{C}^1$ on a smooth compact manifold.
We consider a second-order hyperbolic equation on an open bounded domain $Ω$ in $\mathbb{R}^n$ for $n\geq2$, with $C^2$-boundary $Γ=\paΩ=\bar{Γ_0\cupΓ_1}$, $Γ_0\capΓ_1=\emptyset$, subject to non-homogeneous Neumann boundary conditions on the entire boundary $Γ$. We then study the inverse problem of determining the interior damping coefficient of the equation by means of an additional measurement of the Dirichlet boundary trace of the solution, in a suitable, explicit sub-portion $Γ_1$ of the boundary $Γ$, and over a computable time interval $T>0$. Under sharp conditions on the complementary pa…
In this paper, we numerically study a class of solutions with spiraling singularities in vorticity for two-dimensional, inviscid, compressible Euler systems, where the initial data have an algebraic singularity in vorticity at the origin. These are different from the multi-dimensional Riemann problems widely studied in the literature. Our computations provide numerical evidence of the existence of initial value problems with multiple solutions, thus revealing a fundamental obstruction toward the well-posedness of the governing equations. The compressible Euler equations are solved using the po…
In this note we present some uniqueness and comparison results for a class of problem of the form \begin{equation} \label{EE0} \begin{array}{c} - L u = H(x,u,\nabla u)+ h(x), \quad u \in H^1_0(Ω) \cap L^{\infty}(Ω), \end{array} \end{equation} where $Ω\subset \R^N$, $N \geq 2$ is a bounded domain, $L$ is a general elliptic second order linear operator with bounded coefficients and $H$ is allowed to have a critical growth in the gradient. In some cases our assumptions prove to be sharp.
Bistable pulsating waves with periodic advection: homogenization and sharp speed asymptotics
School of Mathematical Sciences, South China Normal University（华南师范大学数学科学学院）；School of Mathematical Sciences and Wu Wen-Tsun Key Laboratory of Mathematics, University of Science and Technology of China（中国科学技术大学数学科学学院与吴文俊数学重点实验室）
In this paper we study the local behavior of a solution to second order elliptic operators with sharp singular coefficients in lower order terms. One of the main results is the bound on the vanishing order of the solution, which is a quantitative estimate of the strong unique continuation property. Our proof relies on Carleman estimates with carefully chosen phases. A key strategy in the proof is to derive doubling inequalities via three-sphere inequalities. Our method can also be applied to certain elliptic systems with similar singular coefficients.
In this paper, based on the local comparison principle in [12], we study the local behavior of the difference of two spacelike graphs in a neighborhood of a second contact point. Then we apply it to the constant mean curvature equation in 3-dimensional Lorentz-Minkowski space $\mathbb{L}^3$ and get the uniqueness of critical point for the solution of such equation over convex domain, which is an analogue of the result in [28]. Last, by this uniqueness, we obtain a minimum principle for a functional depending on the solution and its gradient. This gives us a sharp gradient estimate for the solu…
Sharp mean Hadamard inequalities and polyconvex integrands that give rise to convex functionals
University of Surrey（萨里大学）；Czech Academy of Sciences, Institute of Information Theory and Automation（捷克科学院信息与自动化研究所）；Czech Technical University in Prague（捷克理工大学）
We consider a scalar parabolic equation in one spatial dimension. The equation is constituted by a convective term, a reaction term with one or two equilibria, and a positive diffusivity which can however vanish. We prove the existence and several properties of traveling-wave solutions to such an equation. In particular, we provide a sharp estimate for the minimal speed of the profiles and improve previous results about the regularity of wavefronts. Moreover, we show the existence of an infinite number of semi-wavefronts with the same speed.
We study the regularity of the interface between the disjoint supports of a pair of nonnegative subharmonic functions. The portion of the interface where the Alt-Caffarelli-Friedman (ACF) monotonicity formula is asymptotically positive forms an $\mathcal{H}^{n-1}$-rectifiable set. Moreover, for $\mathcal{H}^{n-1}$-a.e. such point, the two functions have unique blowups, i.e. their Lipschitz rescalings converge in $W^{1,2}$ to a pair of nondegenerate truncated linear functions whose supports meet at the approximate tangent plane. The main tools used include the Naber-Valtorta framework and our r…
We obtain a sharp characterization of the Euclidean ball among all convex bodies K whose boundary has a pointwise k-th mean curvature not smaller than a geometric constant at almost all normal points. This geometric constant depends only on the volume and the boundary area of K. We deduce this characterization from a new isoperimetric-type inequality for arbitrary convex bodies, for which the equality is achieved uniquely by balls. This second result is proved in a more general context of generalized mean-convex sets. Finally we positively answer a question left open in [FLW19] proving a furth…
We consider the focusing nonlinear Schrödinger equation with the critical inverse square potential. We give the first proof of the uniqueness of the ground state solution. Consequently, we obtain a sharp Hardy-Gagliardo-Nirenberg interpolation inequality. Moreover, we provide a complete characterization for the minimal mass blow-up solutions to the time dependent problem.
