Showing papers in "arXiv: Analysis of PDEs in 2017"

Regularity for general functionals with double phase

Abstract: We prove sharp regularity results for a general class of functionals of the type $$ w \mapsto \int F(x, w, Dw) \, dx\;, $$ featuring non-standard growth conditions and non-uniform ellipticity properties. The model case is given by the double phase integral $$ w \mapsto \int b(x,w)(|Dw|^p+a(x)|Dw|^q) \, dx\;,\quad 1

Emergent dynamics of the Cucker-Smale flocking model and its variants

Abstract: In this chapter, we present the Cucker–Smale-type flocking models and discuss their mathematical structures and flocking theorems in terms of coupling strength, interaction topologies, and initial data. In 2007, two mathematicians Felipe Cucker and Steve Smale introduced a second-order particle model which resembles Newton’s equations in N-body system and present how their simple model can exhibit emergent flocking behavior under sufficient conditions expressed only in terms of parameters and initial data. After Cucker–Smale’s seminal works in [31, 32], their model has received lots of attention from applied math and control engineering communities. We discuss the state of the art for the flocking theorems to Cucker–Smale-type flocking models.

The Mathematical Theories of Diffusion: Nonlinear and Fractional Diffusion

Abstract: We describe the mathematical theory of diffusion and heat transport with a view to including some of the main directions of recent research. The linear heat equation is the basic mathematical model that has been thoroughly studied in the last two centuries. It was followed by the theory of parabolic equations of different types. In a parallel development, the theory of stochastic partial differential equations gives a foundation to the probabilistic study of diffusion.

A Review on Attractive–Repulsive Hydrodynamics for Consensus in Collective Behavior

Abstract: This survey summarizes and illustrates the main qualitative properties of hydrodynamics models for collective behavior. These models include a velocity consensus term together with attractive–repulsive potentials leading to non-trivial flock profiles. The connection between the underlying particle systems and the swarming hydrodynamic equations is performed through kinetic theory modeling arguments. We focus on Lagrangian schemes for the hydrodynamic systems showing the different qualitative behaviors of the systems and its capability of keeping properties of the original particle models. We illustrate the known results concerning large-time profiles and blowup in finite time of the hydrodynamic systems to validate the numerical scheme. We finally explore the unknown situations making use of the numerical scheme showcasing a number of conjectures based on the numerical results.

Onsager's conjecture for admissible weak solutions

Abstract: We prove that given any $\beta<1/3$, a time interval $[0,T]$, and given any smooth energy profile $e \colon [0,T] \to (0,\infty)$, there exists a weak solution $v$ of the three-dimensional Euler equations such that $v \in C^{\beta}([0,T]\times \mathbb{T}^3)$, with $e(t) = \int_{\mathbb{T}^3} |v(x,t)|^2 dx$ for all $t\in [0,T]$. Moreover, we show that a suitable $h$-principle holds in the regularity class $C^\beta_{t,x}$, for any $\beta<1/3$. The implication of this is that the dissipative solutions we construct are in a sense typical in the appropriate space of subsolutions as opposed to just isolated examples.

The Brezis-Nirenberg problem for the fractional $p$-Laplacian involving critical Hardy-Sobolev exponents

Abstract: We obtain existence, multiplicity, and bifurcation results for the Brezis-Nirenberg problem for the fractional $p$ obreakdash-Laplacian operator, involving critical Hardy-Sobolev exponents. Our results are mainly extend results in the literature for $\alpha=0$. In the absence of an explicit formula for a minimizer in the fractional Hardy-Sobolev inequality $\alpha ot= 0$, we get around this difficulty by working with certain asymptotic estimates for minimizers recently obtained in \cite{MM}.

Renormalising SPDEs in regularity structures

Abstract: The formalism recently introduced in arXiv:1610.08468 allows one to assign a regularity structure, as well as a corresponding "renormalisation group", to any subcritical system of semilinear stochastic PDEs. Under very mild additional assumptions, it was then shown in arXiv:1612.08138 that large classes of driving noises exhibiting the relevant small-scale behaviour can be lifted to such a regularity structure in a robust way, following a renormalisation procedure reminiscent of the BPHZ procedure arising in perturbative QFT. The present work completes this programme by constructing an action of the renormalisation group onto a suitable class of stochastic PDEs which is intertwined with its action on the corresponding space of models. This shows in particular that solutions constructed from the BPHZ lift of a smooth driving noise coincide with the classical solutions of a modified PDE. This yields a very general black box type local existence and stability theorem for a wide class of singular nonlinear SPDEs.

Initial-boundary value problems for fractional diffusion equations with time-dependent coeffcients

Abstract: We discuss an initial-boundary value problem for a fractional diffusion equation with Caputo time-fractional derivative where the coefficients are dependent on spatial and time variables and the zero Dirichlet boundary condition is attached. We prove the unique existence of weak and regular solutions.

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

Abstract: 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 Schrodinger equations with nonzero condition at infinity, where our general theory applies to yield stability or instability of some coherent states.

Fractional thoughts

Abstract: In this note we present some of the most basic aspects of the fractional Laplacean with a self-contained and purely didactic intent, and with a somewhat different slant from the several excellent existing references. Given the interest that nonlocal operators have generated since the 2007 extension paper of Caffarelli and Silvestre, we feel it is appropriate offering to young researchers a quick additional guide to the subject which, we hope, will nicely complement the existing ones.

Positive solutions for perturbations of the Robin eigenvalue problem plus an indefinite potential

Abstract: We study perturbations of the eigenvalue problem for the negative Laplacian plus an indefinite and unbounded potential and Robin boundary condition. First we consider the case of a sublinear perturbation and then of a superlinear perturbation. For the first case we show that for $\lambda<\widehat{\lambda}_{1}$ ($\widehat{\lambda}_{1}$ being the principal eigenvalue) there is one positive solution which is unique under additional conditions on the perturbation term. For $\lambda\geq\widehat{\lambda}_{1}$ there are no positive solutions. In the superlinear case, for $\lambda<\widehat{\lambda}_{1}$ we have at least two positive solutions and for $\lambda\geq\widehat{\lambda}_{1}$ there are no positive solutions. For both cases we establish the existence of a minimal positive solution $\bar{u}_{\lambda}$ and we investigate the properties of the map $\lambda\mapsto\bar{u}_{\lambda}$.

Mean square of zeta function, circle problem and divisor problem revisited

Abstract: This paper is closely related to the recent work [BW17] of the same authors and our purpose is to elaborate more on some of the results and methods from [BW17]. More specifically our goal is two-fold. Firstly, we will indicate how a simple variant related to Section 4 in [BW17] leads to the following improvements of Theorem 3 in [BW17]

Multiple normalized solutions for a competing system of Schr\"odinger equations

Abstract: We prove the existence of infinitely many solutions $\lambda_1, \lambda_2 \in \mathbb{R}$, $u,v \in H^1(\mathbb{R}^3)$, for the nonlinear Schrodinger system \[ \begin{cases} -\Delta u - \lambda_1 u = \mu u^3+ \beta u v^2 & \text{in $\mathbb{R}^3$} -\Delta v- \lambda_2 v = \mu v^3 +\beta u^2 v & \text{in $\mathbb{R}^3$} u,v>0 & \text{in $\mathbb{R}^3$} \int_{\mathbb{R}^3} u^2 = a^2 \quad \text{and} \quad \int_{\mathbb{R}^3} v^2 = a^2, \end{cases} \] where $a,\mu>0$ and $\beta \le -\mu$ are prescribed. Our solutions satisfy $u e v$ so they do not come from a scalar equation.

Weak-strong uniqueness in fluid dynamics

Abstract: We give a survey of recent results on weak-strong uniqueness for compressible and incompressible Euler and Navier-Stokes equations, and also make some new observations. The importance of the weak-strong uniqueness principle stems, on the one hand, from the instances of non-uniqueness for the Euler equations exhibited in the past years; and on the other hand from the question of convergence of singular limits, for which weak-strong uniqueness represents an elegant tool.

Numerical investigations of non-uniqueness for the Navier-Stokes initial value problem in borderline spaces

Abstract: We consider the Cauchy problem for the incompressible Navier-Stokes equations in $\mathbb{R}^3$ for a one-parameter family of explicit scale-invariant axi-symmetric initial data, which is smooth away from the origin and invariant under the reflection with respect to the $xy$-plane. Working in the class of axi-symmetric fields, we calculate numerically scale-invariant solutions of the Cauchy problem in terms of their profile functions, which are smooth. The solutions are necessarily unique for small data, but for large data we observe a breaking of the reflection symmetry of the initial data through a pitchfork-type bifurcation. By a variation of previous results by Jia & Sverak (2013) it is known rigorously that if the behavior seen here numerically can be proved, optimal non-uniqueness examples for the Cauchy problem can be established, and two different solutions can exists for the same initial datum which is divergence-free, smooth away from the origin, compactly supported, and locally $(-1)$-homogeneous near the origin. In particular, assuming our (finite-dimensional) numerics represents faithfully the behavior of the full (infinite-dimensional) system, the problem of uniqueness of the Leray-Hopf solutions (with non-smooth initial data) has a negative answer and, in addition, the perturbative arguments such those by Kato (1984) and Koch & Tataru (2001), or the weak-strong uniqueness results by Leray, Prodi, Serrin, Ladyzhenskaya and others, already give essentially optimal results. There are no singularities involved in the numerics, as we work only with smooth profile functions. It is conceivable that our calculations could be upgraded to a computer-assisted proof, although this would involve a substantial amount of additional work and calculations, including a much more detailed analysis of the asymptotic expansions of the solutions at large distances.

On reconstruction formulas and algorithms for the thermoacoustic tomography

Abstract: The paper surveys recent progress in establishing uniqueness and developing inversion formulas and algorithms for the thermoacoustic tomography. In mathematical terms, one deals with a rather special inverse problem for the wave equation. In the case of constant sound speed, it can also be interpreted as a problem concerning the spherical mean transform.

Multiple positive normalized solutions for nonlinear Schr\"odinger systems

Abstract: We consider the existence of multiple positive solutions to the nonlinear Schr\"odinger systems sets on $H^1(\mathbb{R}^N) \times H^1(\mathbb{R}^N)$, \[ \left\{ \begin{aligned} -\Delta u_1 &= \lambda_1 u_1 + \mu_1 |u_1|^{p_1 -2}u_1 + \beta r_1 |u_1|^{r_1-2} u_1|u_2|^{r_2}, -\Delta u_2 &= \lambda_2 u_2 + \mu_2 |u_2|^{p_2 -2}u_2 + \beta r_2 |u_1|^{r_1} |u_2|^{r_2 -2} u_2, \end{aligned} \right \] under the constraint \[ \int_{\mathbb{R}^N}|u_1|^2 \, dx = a_1,\quad \int_{\mathbb{R}^N}|u_2|^2 \, dx = a_2 \] Here $a_1, a_2 >0$ are prescribed, $\mu_1, \mu_2, \beta>0$, and the frequencies $\lambda_1, \lambda_2$ are unknown and will appear as Lagrange multipliers Two cases are studied, the first when $N \geq 1, 2 1, 2 + \frac 4N 1, r_1 + r_2 0$ is sufficiently small, we prove the existence of two positive solutions The first one is a local minimizer for which we establish the compactness of the minimizing sequences and also discuss the orbital stability of the associated standing waves The second solution is obtained through a constrained mountain pass and a constrained linking respectively

Low regularity conservation laws for integrable PDE

Abstract: We present a general method for obtaining conservation laws for integrable PDE at negative regularity and exhibit its application to KdV, NLS, and mKdV. Our method works uniformly for these problems posed both on the line and on the circle.

Ill-posedness of Leray solutions for the ipodissipative Navier-Stokes equations

Abstract: We prove the ill-posedness of Leray solutions to the Cauchy problem for the ipodissipative Navier--Stokes equations, when the dissipative term is a fractional Laplacian $(-\Delta)^\alpha$ with exponent $\alpha < \frac{1}{5}$. The proof follows the ''convex integration methods'' introduced by the second author and L\'aszl\'o Sz\'ekelyhidi Jr. for the incomprresible Euler equations. The methods yield indeed some conclusions even for exponents in the range $[\frac{1}{5}, \frac{1}{2}[$.

A note on the blowup of scale invariant damping wave equation with sub-Strauss exponent

Abstract: We concern the blow up problem to the scale invariant damping wave equations with sub-Strauss exponent. This problem has been studied by Lai, Takamura and Wakasa (\cite{Lai17}) and Ikeda and Sobajima \cite{Ikedapre} recently. In present paper, we extend the blowup exponent from $p_F(n)\leq p 1$.

A blob method for diffusion

Abstract: As a counterpoint to classical stochastic particle methods for diffusion, we develop a deterministic particle method for linear and nonlinear diffusion At first glance, deterministic particle methods are incompatible with diffusive partial differential equations since initial data given by sums of Dirac masses would be smoothed instantaneously: particles do not remain particles Inspired by classical vortex blob methods, we introduce a nonlocal regularization of our velocity field that ensures particles do remain particles, and we apply this to develop a numerical blob method for a range of diffusive partial differential equations of Wasserstein gradient flow type, including the heat equation, the porous medium equation, the Fokker-Planck equation, the Keller-Segel equation, and its variants Our choice of regularization is guided by the Wasserstein gradient flow structure, and the corresponding energy has a novel form, combining aspects of the well-known interaction and potential energies In the presence of a confining drift or interaction potential, we prove that minimizers of the regularized energy exist and, as the regularization is removed, converge to the minimizers of the unregularized energy We then restrict our attention to nonlinear diffusion of porous medium type with at least quadratic exponent Under sufficient regularity assumptions, we prove that gradient flows of the regularized energies converge to solutions of the porous medium equation As a corollary, we obtain convergence of our numerical blob method, again under sufficient regularity assumptions We conclude by considering a range of numerical examples to demonstrate our method's rate of convergence to exact solutions and to illustrate key qualitative properties preserved by the method, including asymptotic behavior of the Fokker-Planck equation and critical mass of the two-dimensional Keller-Segel equation

Quantitative estimate of propagation of chaos for stochastic systems with $W^{-1, \infty}$ kernels

Abstract: We derive quantitative estimates proving the propagation of chaos for large stochastic systems of interacting particles. We obtain explicit bounds on the relative entropy between the joint law of the particles and the tensorized law at the limit. We have to develop for this new laws of large numbers at the exponential scale. But our result only requires very weak regularity on the interaction kernel in the negative Sobolev space $\dot W^{-1,\infty}$, thus including the Biot-Savart law and the point vortices dynamics for the 2d incompressible Navier-Stokes.

Finite-time Singularity Formation for Strong Solutions to the Boussinesq System

Abstract: The global regularity problem for the Boussinesq system is a well known open problem in mathematical fluid dynamics. As a follow up to our work \cite{EJSI}, we give examples of finite-energy and Lipschitz continuous velocity field and density $(u_0,\rho_0)$ which are $C^\infty$-smooth away from the origin and belong to a natural local well-posedness class for the Boussinesq equation whose corresponding local solution becomes singular in finite time. That is, while the sup norm of the gradient of the velocity field and the density remain finite on the time interval $t\in [0,1)$, both quantities become infinite as $t\rightarrow 1$. The key is to use scale-invariant solutions similar to those introduced in \cite{EJSI}. The proof consists of three parts: local well-posedness for the Boussinesq equation in critical spaces, the analysis of certain special infinite-energy solutions belonging to those critical spaces, and finally a cut-off argument to ensure finiteness of energy. All of this is done on spatial domains $\{(x_1,x_2): x_1 \ge \gamma|x_2|\}$ for any $\gamma > 0$ so that we can get arbitrarily close to the half-space case. We remark that the $2D$ Euler equation is globally well-posed in all of the situations we look at, so that the singularity is not coming from the domain or the lack of smoothness on the data but from the vorticity amplification due to the presence of a density gradient. It is conceivable that our methods can be adapted to produce finite-energy $C^\infty$ solutions on $\mathbb{R}^2_+$ which become singular in finite time.

Long-time asymptotics for the integrable nonlocal nonlinear Schr\"odinger equation

Abstract: We study the initial value problem for the integrable nonlocal nonlinear Schrodinger (NNLS) equation \[ iq_{t}(x,t)+q_{xx}(x,t)+2\sigma q^{2}(x,t)\bar{q}(-x,t)=0 \] with decaying (as $x\to\pm\infty$) boundary conditions. The main aim is to describe the long-time behavior of the solution of this problem. To do this, we adapt the nonlinear steepest-decent method \cite{DZ} to the study of the Riemann-Hilbert problem associated with the NNLS equation. Our main result is that, in contrast to the local NLS equation, where the main asymptotic term (in the solitonless case) decays to $0$ as $O(t^{-1/2})$ along any ray $x/t=const$, the power decay rate in the case of the NNLS depends, in general, on $x/t$, and can be expressed in terms of the spectral functions associated with the initial data.

On the global regularity for a Wave-Klein-Gordon coupled system

Abstract: We consider a coupled Wave-Klein-Gordon system in 3D, and prove global regularity and modified scattering for small and smooth initial data with suitable decay at infinity. This system was derived by Wang and LeFloch-Ma as a simplified model for the global nonlinear stability of the Minkowski space-time for self-gravitating massive fields.

Semiclassical measures on hyperbolic surfaces have full support

Abstract: We show that each limiting semiclassical measure obtained from a sequence of eigenfunctions of the Laplacian on a compact hyperbolic surface is supported on the entire cosphere bundle The key new ingredient for the proof is the fractal uncertainty principle, first formulated in [arXiv:150406589] and proved for porous sets in [arXiv:161209040]

Higher H\"older regularity for the fractional $p-$Laplacian in the superquadratic case.

Abstract: We prove higher H\"older regularity for solutions of equations involving the fractional $p-$Laplacian of order $s$, when $p\ge 2$ and $0 N/(s\,p)$, which is almost sharp whenever $s\,p\leq (p-1)+N/q$. The result is new already for the homogeneous equation.

Sharp geometric condition for null-controllability of the heat equation on $\mathbb{R}^d$ and consistent estimates on the control cost

Abstract: In this note we study the control problem for the heat equation on $\mathbb{R}^d$, $d\geq 1$, with control set $\omega\subset\mathbb{R}^d$. We provide a necessary and sufficient condition (called $(\gamma, a)$-\emph{thickness}) on $\omega$ such that the heat equation is null-controllable in any positive time. We give an estimate of the control cost with explicit dependency on the characteristic geometric parameters of the control set. Finally, we derive a control cost estimate for the heat equation on cubes with periodic, Dirichlet, or Neumann boundary conditions, where the control sets are again assumed to be thick. We show that the control cost estimate is consistent with the $\mathbb{R}^d$ case.

The Riemann problem for the multidimensional isentropic system of gas dynamics is ill-posed if it contains a shock

Abstract: In this paper we consider the isentropic compressible Euler equations in two space dimensions together with particular initial data. The latter consists only of two constant states, where one state lies on the lower and the other state on the upper half plane. The aim is to investigate if there exists a unique entropy solution or if the convex integration method produces infinitely many entropy solutions. For some initial states this question has been answered by E. Feireisl and O. Kreml, and also G.-Q. Chen and J. Chen, where there exists a unique entropy solution. For other initial states E. Chiodaroli, O. Kreml and C. De Lellis showed that there are infinitely many entropy solutions. For still other initial states the question on uniqueness remained open and this will be the content of this paper. This paper can be seen as a completion of the aforementioned papers by showing that the solution is non-unique in all cases (except if the solution is smooth).

Singularity formation for the two-dimensional harmonic map flow into $S^2$

Abstract: We construct finite time blow-up solutions to the 2-dimensional harmonic map flow into the sphere $S^2$, \begin{align*} u_t & = \Delta u + | abla u|^2 u \quad \text{in } \Omega\times(0,T) \\ u &= \varphi \quad \text{on } \partial \Omega\times(0,T) \\ u(\cdot,0) &= u_0 \quad \text{in } \Omega , \end{align*} where $\Omega$ is a bounded, smooth domain in $\mathbb{R}^2$, $u: \Omega\times(0,T)\to S^2$, $u_0:\bar\Omega \to S^2$ is smooth, and $\varphi = u_0\big|_{\partial\Omega}$. Given any points $q_1,\ldots, q_k$ in the domain, we find initial and boundary data so that the solution blows-up precisely at those points. The profile around each point is close to an asymptotically singular scaling of a 1-corrotational harmonic map. We build a continuation after blow-up as a $H^1$-weak solution with a finite number of discontinuities in space-time by "reverse bubbling", which preserves the homotopy class of the solution after blow-up.