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

Regularity for minimizers for functionals of double phase with variable exponents

Abstract: The functionals of double phase type \[ \mathcal{H} (u):= \int \left(|Du|^{p} + a(x)|Du|^{q} \right) dx, ( q > p > 1, a(x)\geq 0) \] are introduced in the epoch-making paper by Colombo-Mingione for constants $p$ and $q$, and investigated by them and Baroni. They obtained sharp regularity results for minimizers of such functionals. In this paper we treat the case that the exponents are functions of $x$ and partly generalize their regularity results.

Mixed local and nonlocal elliptic operators: regularity and maximum principles

Abstract: We start in this paper a systematic study of the superpositions of elliptic operators with different orders, mixing classical and fractional scenarios. For concreteness, we focus on the sum of the Laplacian and the fractional Laplacian, and we provide structural results, including existence, maximum principles (both for weak and classical solutions), interior Sobolev regularity and boundary regularity of Lipschitz type.

Lipschitz bounds and nonautonomous integrals

Abstract: We provide a general approach to Lipschitz regularity of solutions for a large class of vector-valued, nonautonomous variational problems exhibiting nonuniform ellipticity. The functionals considered here range amongst those with unbalanced polynomial growth conditions to those with fast, exponential type growth. The results obtained are sharp with respect to all the data considered and yield new, optimal regularity criteria even in the classical uniformly elliptic case. We give a classification of different types of nonuniform ellipticity, accordingly identifying suitable conditions to get regularity theorems.

Boundedness for a nonlocal reaction chemotaxis model even in the attraction-dominated regime

Abstract: This work deals with a parabolic chemotaxis model with nonlinear diffusion and nonlocal reaction source. The problem is formulated on the whole space and, depending on a specific interplay between the coefficients associated to such diffusion and reaction, we establish that all given solutions are uniformly bounded in time.

nPINNs: nonlocal Physics-Informed Neural Networks for a parametrized nonlocal universal Laplacian operator. Algorithms and Applications

Abstract: Physics-informed neural networks (PINNs) are effective in solving inverse problems based on differential and integral equations with sparse, noisy, unstructured, and multi-fidelity data. PINNs incorporate all available information into a loss function, thus recasting the original problem into an optimization problem. In this paper, we extend PINNs to parameter and function inference for integral equations such as nonlocal Poisson and nonlocal turbulence models, and we refer to them as nonlocal PINNs (nPINNs). The contribution of the paper is three-fold. First, we propose a unified nonlocal operator, which converges to the classical Laplacian as one of the operator parameters, the nonlocal interaction radius $\delta$ goes to zero, and to the fractional Laplacian as $\delta$ goes to infinity. This universal operator forms a super-set of classical Laplacian and fractional Laplacian operators and, thus, has the potential to fit a broad spectrum of data sets. We provide theoretical convergence rates with respect to $\delta$ and verify them via numerical experiments. Second, we use nPINNs to estimate the two parameters, $\delta$ and $\alpha$. The strong non-convexity of the loss function yielding multiple (good) local minima reveals the occurrence of the operator mimicking phenomenon: different pairs of estimated parameters could produce multiple solutions of comparable accuracy. Third, we propose another nonlocal operator with spatially variable order $\alpha(y)$, which is more suitable for modeling turbulent Couette flow. Our results show that nPINNs can jointly infer this function as well as $\delta$. Also, these parameters exhibit a universal behavior with respect to the Reynolds number, a finding that contributes to our understanding of nonlocal interactions in wall-bounded turbulence.

A mass supercritical problem revisited.

Abstract: In any dimension $N\geq1$ and for given mass $m>0$, we revisit the nonlinear scalar field equation with an $L^2$ constraint: $$ -\Delta u=f(u)-\mu u, \quad u \in H^1(\mathbb{R}^N) \quad \text{with} \quad \|u\|^2_{L^2(\mathbb{R}^N)}=m. $$ where $\mu\in\mathbb{R}$ will arise as a Lagrange multiplier. Assuming only that the nonlinearity $f$ is continuous and satisfies weak mass supercritical conditions, we show the existence of ground states and reveal the basic behavior of the ground state energy $E_m$ as $m>0$ varies. In particular, to overcome the compactness issue when looking for ground states, we develop robust arguments which we believe will allow treating other $L^2$ constrained problems in general mass supercritical settings. Under the same assumptions, we also obtain infinitely many radial solutions for any $N\geq2$ and establish the existence and multiplicity of nonradial sign-changing solutions when $N\geq4$. Finally we propose two open problems.

Inverse problems for fractional semilinear elliptic equations

Abstract: This paper is concerned with the forward and inverse problems for the fractional semilinear elliptic equation $(-\Delta)^s u +a(x,u)=0$ for $0

Multiple normalized solutions for a Sobolev critical Schr\"odinger equation

Abstract: We study the existence of standing waves, of prescribed $L^2$-norm (the mass), for the nonlinear Schrodinger equation with mixed power nonlinearities $$ i \partial_t \phi + \Delta \phi + \mu \phi |\phi|^{q-2} + \phi |\phi|^{2^* - 2} = 0, \quad (t, x) \in R \times R^N, $$ where $N \geq 3$, $\phi: R \times R^N \to C$, $\mu > 0$, $2 < q < 2 + 4/N $ and $2^* = 2N/(N-2)$ is the critical Sobolev exponent. It was already proved that, for small mass, ground states exist and correspond to local minima of the associated Energy functional. It was also established that despite the nonlinearity is Sobolev critical, the set of ground states is orbitally stable. Here we prove that, when $N \geq 4$, there also exist standing waves which are not ground states and are located at a mountain-pass level of the Energy functional. These solutions are unstable by blow-up in finite time. Our study is motivated by a question raised by N. Soave.

Transition threshold for the 3D Couette flow in a finite channel

Abstract: In this paper, we study nonlinear stability of the 3D plane Couette flow $(y,0,0)$ at high Reynolds number ${Re}$ in a finite channel $\mathbb{T}\times [-1,1]\times \mathbb{T}$. It is well known that the plane Couette flow is linearly stable for any Reynolds number. However, it could become nonlinearly unstable and transition to turbulence for small but finite perturbations at high Reynolds number. This is so-called Sommerfeld paradox. One resolution of this paradox is to study the transition threshold problem, which is concerned with how much disturbance will lead to the instability of the flow and the dependence of disturbance on the Reynolds number. This work shows that if the initial velocity $v_0$ satisfies $\|v_0-(y,0,0)\|_{H^2}\le c_0{Re}^{-1}$ for some $c_0>0$ independent of $Re$, then the solution of the 3D Navier-Stokes equations is global in time and does not transition away from the Couette flow in the $L^\infty$ sense, and rapidly converges to a streak solution for $t\gg Re^{\frac 13}$ due to the mixing-enhanced dissipation effect. This result confirms the transition threshold conjecture proposed by Trefethen et al.(Science, 261(1993), 578-584). To this end, we develop the resolvent estimate method to establish the space-time estimates for the full linearized Navier-Stokes system around the flow $(V(t,y,z), 0,0)$, where $V(t,y,z)$ is a small perturbation(but independent of $Re$) of the Couette flow $y$.

A sharp version of Price's law for wave decay on asymptotically flat spacetimes

Abstract: We prove Price's law with an explicit leading order term for solutions $\phi(t,x)$ of the scalar wave equation on a class of stationary asymptotically flat $(3+1)$-dimensional spacetimes including subextremal Kerr black holes. Our precise asymptotics in the full forward causal cone imply in particular that $\phi(t,x)=c t^{-3}+\mathcal O(t^{-4+})$ for bounded $|x|$, where $c\in\mathbb C$ is an explicit constant. This decay also holds along the event horizon on Kerr spacetimes and thus renders a result by Luk-Sbierski on the linear scalar instability of the Cauchy horizon unconditional. We moreover prove inverse quadratic decay of the radiation field, with explicit leading order term. We establish analogous results for scattering by stationary potentials with inverse cubic spatial decay. On the Schwarzschild spacetime, we prove pointwise $t^{-2 l-3}$ decay for waves with angular frequency at least $l$, and $t^{-2 l-4}$ decay for waves which are in addition initially static. This definitively settles Price's law for linear scalar waves in full generality. The heart of the proof is the analysis of the resolvent at low energies. Rather than constructing its Schwartz kernel explicitly, we proceed more directly using the geometric microlocal approach to the limiting absorption principle pioneered by Melrose and recently extended to the zero energy limit by Vasy.

Sharp nonuniqueness for the Navier-Stokes equations

Abstract: In this paper, we prove a sharp nonuniqueness result for the incompressible Navier-Stokes equations in the periodic setting. In any dimension $d \geq 2$ and given any $ p 0$, we construct non-Leray-Hopf weak solutions $ u \in L^{p}_t L^\infty \cap L^1_t W^{1,q}$ that are locally smooth outside a singular set in time of Hausdorff dimension less than $\varepsilon$. As a byproduct, examples of anomalous dissipation in the class $L^{ {3}/{2} - \varepsilon}_t C^{ {1}/{3}} $ for the Euler equations are given.

Global well-posedness of Master equations for deterministic displacement convex potential mean field games

Abstract: This manuscript constructs global in time solutions to the $master\ equations$ for potential Mean Field Games. The study concerns a class of Lagrangians and initial data functions, which are $displacement\ convex$ and so, it may be in dichotomy with the class of so--called $monotone$ functions, widely considered in the literature. We construct solutions to both the scalar and vectorial master equations in potential Mean Field Games, when the underlying space is the whole space $\mathbb{R}^d$ and so, it is not compact.

Orbital stability of ground states for a Sobolev critical Schr\"odinger equation

Abstract: We study the existence of ground state standing waves, of prescribed mass, for the nonlinear Schrodinger equation with mixed power nonlinearities \begin{equation*} i \partial_t v + \Delta v + \mu v |v|^{q-2} + v |v|^{2^* - 2} = 0, \quad (t, x) \in \mathbb{R} \times \mathbb{R}^N, \end{equation*} where $N \geq 3$, $v: \mathbb{R} \times \mathbb{R}^N \to \mathbb{C}$, $\mu > 0$, $2 < q < 2 + 4/N $ and $2^* = 2N/(N-2)$ is the critical Sobolev exponent. We show that all ground states correspond to local minima of the associated Energy functional. Next, despite the fact that the nonlinearity is Sobolev critical, we show that the set of ground states is orbitally stable. Our results settle a question raised by N. Soave [35].

Random tensors, propagation of randomness, and nonlinear dispersive equations

Abstract: . The purpose of this paper is twofold. We introduce the theory of random tensors, which naturally extends the method of random averaging operators in our earlier work arXiv:1910.08492, to study the propagation of randomness under nonlinear dispersive equations. By applying this theory we also solve Conjecture 1.7 in arXiv:1910.08492, and establish almost-sure local well-posedness for semilinear Schrodinger equations in spaces that are subcritical in the probabilistic scaling. The solution we find has an explicit expansion in terms of multilinear Gaussians with adapted random tensor coefficients. In the random setting, the probabilistic scaling is the natural scaling for dispersive equations, and is different from the natural scaling for parabolic equations. Our theory, which covers the full subcritical regime in the probabilistic scaling, can be viewed as the dispersive counterpart of the existing parabolic theories (regularity structure, para-controlled calculus and renormalization group techniques).

Nonlinear inviscid damping for a class of monotone shear flows in finite channel

Abstract: We prove the nonlinear inviscid damping for a class of monotone shear flows in $T\times [0,1]$ for initial perturbation in Gevrey-$1/s$($s>2$) class with compact support. The main idea of the proof is to use the wave operator of a slightly modified Rayleigh operator in a well chosen coordinate system.

Positive solutions for nonlinear Neumann problems with singular terms and convection

Abstract: We consider a nonlinear Neumann problem driven by the $p$-Laplacian. In the reaction term we have the competing effects of a singular and a convection term. Using a topological approach based on the Leray-Schauder alternative principle together with suitable truncation and comparison techniques, we show that the problem has positive smooth solutions.

Stability of Couette flow for 2D Boussinesq system with vertical dissipation

Abstract: This paper establishes the nonlinear stability of the Couette flow for the 2D Boussinesq equations with only vertical dissipation. The Boussinesq equations concerned here model buoyancy-driven fluids such as atmospheric and oceanographic flows. Due to the presence of the buoyancy forcing, the energy of the standard Boussinesq equations could grow in time. It is the enhanced dissipation created by the linear non-self-adjoint operator $y\partial_x - u\partial_{yy}$ in the perturbation equation that makes the nonlinear stability possible. When the initial perturbation from the Couette flow $(y, 0)$ is no more than the viscosity to a suitable power (in the Sobolev space $H^b$ with $b>\frac43$), we prove that the solution of the 2D Boussnesq system with only vertical dissipation on $\mathbb T\times \mathbb R$ remains close to the Couette at the same order. A special consequence of this result is the stability of the Couette for the 2D Navier-Stokes equations with only vertical dissipation.

Nonlinear inviscid damping near monotonic shear flows

Abstract: We prove nonlinear asymptotic stability of a large class of monotonic shear flows among solutions of the 2D Euler equations in the channel $\mathbb{T}\times[0,1]$. More precisely, we consider shear flows $(b(y),0)$ given by a function $b$ which is Gevrey smooth, strictly increasing, and linear outside a compact subset of the interval $(0,1)$ (to avoid boundary contributions which are incompatible with inviscid damping). We also assume that the associated linearized operator satisfies a suitable spectral condition, which is needed to prove linear inviscid damping. Under these assumptions, we show that if $u$ is a solution which is a small and Gevrey smooth perturbation of such a shear flow $(b(y),0)$ at time $t=0$, then the velocity field $u$ converges strongly to a nearby shear flow as the time goes to infinity. This is the first nonlinear asymptotic stability result for Euler equations around general steady solutions for which the linearized flow cannot be explicitly solved.

Landau damping for analytic and Gevrey data

Abstract: In this paper, we give an elementary proof of the nonlinear Landau damping for the Vlasov-Poisson system near Penrose stable equilibria on the torus $\mathbb{T}^d \times \mathbb{R}^d$ that was first obtained by Mouhot and Villani in \cite{MV} for analytic data and subsequently extended by Bedrossian, Masmoudi, and Mouhot \cite{BMM} for Gevrey-$\gamma$ data, $\gamma\in(\frac13,1]$. Our proof relies on simple pointwise resolvent estimates and a standard nonlinear bootstrap analysis, using an ad-hoc family of analytic and Gevrey-$\gamma$ norms.

A Unified Theory of Fractional Nonlocal and Weighted Nonlocal Vector Calculus

Abstract: Nonlocal and fractional models capture effects that classical (or standard) partial differential equations cannot describe; for this reason, they are suitable for a broad class of engineering and scientific applications that feature multiscale or anomalous behavior. This has driven a desire for a vector calculus based on nonlocal and fractional derivatives to derive models of, e.g., subsurface transport, turbulence, and conservation laws. In the literature, several independent definitions and theories of nonlocal and fractional vector calculus have been put forward. Some have been studied rigorously and in depth, while others have been introduced ad-hoc for specific applications. At the moment, this fragmented literature suffers from a lack of rigorous comparison and unified notation, hindering the development of nonlocal modeling. The ultimate goal of this work is to provide a new theory and to "connect all the dots" by defining a universal form of nonlocal vector calculus operators under a theory that includes, as a special case, several well-known proposals for fractional vector calculus in the limit of infinite interactions. We show that this formulation enjoys a form of Green's identity, enabling a unified variational theory for the resulting nonlocal exterior-value problems, and is consistent with several independent results in the fractional calculus literature. The proposed unified vector calculus has the potential to go beyond the analysis of nonlocal equations by supporting new model discovery, establishing theory and interpretation for a broad class of operators and providing useful analogues of standard tools from classical vector calculus.

On explicit $L^2$-convergence rate estimate for underdamped Langevin dynamics

Abstract: We provide a new explicit estimate of exponential decay rate of underdamped Langevin dynamics in $L^2$ distance. To achieve this, we first prove a Poincar\'{e}-type inequality with Gibbs measure in space and Gaussian measure in momentum. Our new estimate provides a more explicit and simpler expression of decay rate; moreover, when the potential is convex with Poincar\'{e} constant $m \ll 1$, our new estimate offers the decay rate of $\mathcal{O}(\sqrt{m})$ after optimizing the choice of friction coefficient, which is much faster compared to $\mathcal{O}(m)$ for the overdamped Langevin dynamics.

Global dynamics for the two-dimensional stochastic nonlinear wave equations

Abstract: We study global-in-time dynamics of the stochastic nonlinear wave equations (SNLW) with an additive space-time white noise forcing, posed on the two-dimensional torus. Our goal in this paper is two-fold. (i) By introducing a hybrid argument, combining the $I$-method in the stochastic setting with a Gronwall-type argument, we first prove global well-posedness of the (renormalized) cubic SNLW in the defocusing case. Our argument yields a double exponential growth bound on the Sobolev norm of a solution. (ii) We then study the stochastic damped nonlinear wave equations (SdNLW) in the defocusing case. In particular, by applying Bourgain's invariant measure argument, we prove almost sure global well-posedness of the (renormalized) defocusing SdNLW with respect to the Gibbs measure and invariance of the Gibbs measure.

On the Convergence of Gradient Descent Training for Two-layer ReLU-networks in the Mean Field Regime

Abstract: We describe a necessary and sufficient condition for the convergence to minimum Bayes risk when training two-layer ReLU-networks by gradient descent in the mean field regime with omni-directional initial parameter distribution. This article extends recent results of Chizat and Bach to ReLU-activated networks and to the situation in which there are no parameters which exactly achieve MBR. The condition does not depend on the initalization of parameters and concerns only the weak convergence of the realization of the neural network, not its parameter distribution.

Existence and multiplicity of solutions for double-phase Robin problems

Abstract: We consider a double phase Robin problem with a Caratheodory nonlinearity. When the reaction is superlinear but without satisfying the Ambrosetti-Rabinowitz condition, we prove an existence theorem. When the reaction is resonant, we prove a multiplicity theorem. Our approach is Morse theoretic, using the notion of homological local linking.

Global solutions near homogeneous steady states in a multi-dimensional population model with both predator- and prey-taxis

Abstract: We study the system \begin{align*}\label{prob:star} \tag{$\star$} \begin{cases} u_t = D_1 \Delta u - \chi_1 abla \cdot (u abla v) + u(\lambda_1 - \mu_1 u + a_1 v) \\ v_t = D_2 \Delta v + \chi_2 abla \cdot (v abla u) + v(\lambda_2 - \mu_2 v - a_2 u) \end{cases} \end{align*} (inter alia) for $D_1, D_2, \chi_1, \chi_2, \lambda_1, \lambda_2, \mu_1, \mu_2, a_1, a_2 > 0$ in smooth, bounded domains $\Omega \subset \mathbb R^n$, $n \in \{1, 2, 3\}$. Without any further restrictions on these parameters, we prove that there exists a constant stable steady state $(u_\star, v_\star) \in [0, \infty)^2$, meaning that there is $\varepsilon > 0$ such that, if $u_0, v_0 \in W^{2, 2}(\Omega)$ are nonnegative with $\partial_ u u_0 = \partial_ u v_0 = 0$ in the sense of traces and \begin{align*} \|u_0 - u_\star\|_{W^{2,2}(\Omega)} + \|v_0 - v_\star\|_{W^{2,2}(\Omega)} < \varepsilon, \end{align*} then there exists a global classical solution $(u, v)$ of \eqref{prob:star} with initial data $u_0, v_0$ converging to $(u_\star, v_\star)$ in $W^{2, 2}(\Omega)$. Moreover, the convergence rate is exponential, except for the case $\lambda_2 \mu_1 = \lambda_1 a_2$, where it is is only algebraical.

Invariant Gibbs measures for the three-dimensional wave equation with a Hartree nonlinearity I: Measures

Abstract: In this two-paper series, we prove the invariance of the Gibbs measure for a three-dimensional wave equation with a Hartree nonlinearity. The main novelty is the singularity of the Gibbs measure with respect to the Gaussian free field. The singularity has several consequences in both measure-theoretic and dynamical aspects of our argument. In this paper, we construct and study the Gibbs measure. Our approach is based on earlier work of Barashkov and Gubinelli for the $\Phi^4_3$-model. Most importantly, our truncated Gibbs measures are tailored towards the dynamical aspects in the second part of the series. In addition, we develop new tools dealing with the non-locality of the Hartree interaction. We also determine the exact threshold between singularity and absolute continuity of the Gibbs measure depending on the regularity of the interaction potential.

Jump processes as Generalized Gradient Flows

Abstract: We have created a functional framework for a class of non-metric gradient systems. The state space is a space of nonnegative measures, and the class of systems includes the Forward Kolmogorov equations for the laws of Markov jump processes on Polish spaces. This framework comprises a definition of a notion of solutions, a method to prove existence, and an archetype uniqueness result. We do this by using only the structure that is provided directly by the dissipation functional, which need not be homogeneous, and we do not appeal to any metric structure.

Normalized ground states of the nonlinear Schr\"{o}dinger equation with at least mass critical growth

Abstract: We propose a simple minimization method to show the existence of least energy solutions to the normalized problem \begin{cases} -\Delta u + \lambda u = g(u) \quad \mathrm{in} \ \mathbb{R}^N, \ N \geq 3, \\ u \in H^1(\mathbb{R}^N), \\ \int_{\mathbb{R}^N} |u|^2 \, dx = \rho > 0, \end{cases} where $\rho$ is prescribed and $(\lambda, u) \in \mathbb{R} \times H^1 (\mathbb{R}^N)$ is to be determined. The new approach based on the direct minimization of the energy functional on the linear combination of Nehari and Pohozaev constraints is demonstrated, which allows to provide general growth assumptions imposed on $g$. We cover the most known physical examples and nonlinearities with growth considered in the literature so far as well as we admit the mass critical growth at $0$.

Phase-field dynamics with transfer of materials: The Cahn--Hilliard equation with reaction rate dependent dynamic boundary conditions

Abstract: The Cahn--Hilliard equation is one of the most common models to describe phase separation processes of a mixture of two materials. For a better description of short-range interactions between the material and the boundary, various dynamic boundary conditions for the Cahn--Hilliard equation have been proposed and investigated in recent times. Of particular interests are the model by Goldstein, Miranville and Schimperna (Physica D, 2011) and the model by Liu and Wu (Arch.~Ration.~Mech.~Anal., 2019). Both of these models satisfy similar physical properties but differ greatly in their mass conservation behaviour. In this paper we introduce a new model which interpolates between these previous models, and investigate analytical properties such as the existence of unique solutions and convergence to the previous models mentioned above in both the weak and the strong sense. For the strong convergences we also establish rates in terms of the interpolation parameter, which are supported by numerical simulations obtained from a fully discrete, unconditionally stable and convergent finite element scheme for the new interpolation model.

The higher order fractional Calder\'on problem for linear local operators: uniqueness

Abstract: We study an inverse problem for the fractional Schrodinger equation (FSE) with a local perturbation by a linear partial differential operator (PDO) of order smaller than the order of the fractional Laplacian. We show that one can uniquely recover the coefficients of the PDO from the Dirichlet-to-Neumann (DN) map associated to the perturbed FSE. This is proved for two classes of coefficients: coefficients which belong to certain spaces of Sobolev multipliers and coefficients which belong to fractional Sobolev spaces with bounded derivatives. Our study generalizes recent results for the zeroth and first order perturbations to higher order perturbations.