# Analysis of PDEs (math.AP)

• These lecture notes are concerned with the solvability of the second boundary value problem of the prescribed affine mean curvature equation and related regularity theory of the Monge-Ampère and linearized Monge-Ampère equations. The prescribed affine mean curvature equation is a fully nonlinear, fourth order, geometric partial differential equation of the following form $$\sum_i, j=1^n U^ij\frac∂^2∂x_i∂x_j\left[(\det D^2 u)^-\fracn+1n+2\right]=f$$ where $(U^{ij})$ is the cofactor matrix of the Hessian matrix $D^2 u$ of a locally uniformly convex function $u$. Its variant is related to the problem of finding Kähler metrics of constant scalar curvature in complex geometry. We first introduce the background of the prescribed affine mean curvature equation which can be viewed as a coupled system of Monge-Ampère and linearized Monge-Ampère equations. Then we state key open problems and present the solution of the second boundary value problem that prescribes the boundary values of the solution $u$ and its Hessian determinant $\det D^2 u$. Its proof uses important tools from the boundary regularity theory of the Monge-Ampère and linearized Monge-Ampère equations that we will present in the lecture notes.
• Over the last few decades, phase-field equations have found increasing applicability in a wide range of mathematical-scientific fields (e.g. geometric PDEs and mean curvature flow, materials science for the study of phase transitions) but also engineering ones (e.g. as a computational tool in chemical engineering for interfacial flow studies). Here, we focus on phase-field equations in strongly heterogeneous materials with perforations such as porous media. To the best of our knowledge, we provide the first derivation of error estimates for fourth order, homogenized, and nonlinear evolution equations. Our fourth order problem induces a slightly lower convergence rate, i.e., $\epsilon^{1/4}$, where $\epsilon$ denotes the material's specific heterogeneity, than established for second-order elliptic problems (e.g. \citeZhikov2006) for the error between the effective macroscopic solution of the (new) upscaled formulation and the solution of the microscopic phase field problem. We hope that our study will motivate new modelling, analytic, and computational perspectives for interfacial transport and phase transformations in strongly heterogeneous environments.
• We consider the nonlinear Schrödinger equation $iu_t + \Delta u= \lambda |u|^{\frac {2} {N}} u$ in all dimensions $N\ge 1$, where $\lambda \in {\mathbb C}$ and $\Im \lambda \le 0$. We construct a class of initial values for which the corresponding solution is global and decays as $t\to \infty$, like $t^{- \frac {N} {2}}$ if $\Im \lambda =0$ and like $(t \log t)^{- \frac {N} {2}}$ if $\Im \lambda <0$. Moreover, we give an asymptotic expansion of those solutions as $t\to \infty$. We construct solutions that do not vanish, so as to avoid any issue related to the lack of regularity of the nonlinearity at $u=0$. To study the asymptotic behavior, we apply the pseudo-conformal transformation and estimate the solutions by allowing a certain growth of the Sobolev norms which depends on the order of regularity through a cascade of exponents.
• This paper is concerned with the initial-boundary value problem to 2D magnetohydrodynamics-Boussinesq system with the temperature-dependent viscosity, thermal diffusivity and electrical conductivity. First, we establish the global weak solutions under the minimal initial assumption. Then by imposing higher regularity assumption on the initial data, we obtain the global strong solution with uniqueness. Moreover, the exponential decay estimate of the solution is obtained.
• In this paper, we are concerned with the critical and subcritical Trudinger-Moser type inequalities for functions in a fractional Sobolev space $H^{1/2,2}$ on the whole real line. We prove the relation between two inequalities and discuss the attainability of the suprema.
• We study the asymptotic behaviour, as time goes to infinity, of the Fisher-KPP equation $\partial_t u=\Delta u +u-u^2$ in spatial dimension $2$, when the initial condition looks like a Heaviside function. Thus the solution is, asymptotically in time, trapped between two planar critical waves whose positions are corrected by the Bramson logarithmic shift. The issue is whether, in this reference frame, the solutions will converge to a travelling wave, or will exhibit more complex behaviours. We prove here that both convergence and nonconvergence may happen: the solution may converge towards one translate of the planar wave, or oscillate between two of its translates. This relies on the behaviour of the initial condition at infinity in the transverse direction.
• We study the isotropic elastic wave equation in a bounded domain with boundary. We show that local knowledge of the Dirichlet-to-Neumann map determines uniquely the speed of the p-wave locally if there is a strictly convex foliation with respect to it, and similarly for the s-wave speed.
• The Neumann-Poincaré (NP) operator naturally appears in the context of metamaterials as it may be used to represent the solutions of elliptic transmission problems via potentiel theory. In particular, its spectral properties are closely related to the well-posedness of these PDE's, in the typical case where one considers a bounded inclusion of homogeneous plasmonic metamaterial embedded in a homogeneous background dielectric medium. In a recent work, M. Perfekt and M. Putinar have shown that the NP operator of a 2D curvilinear polygon has an essential spectrum, which depends only on the angles of the corners. Their proof is based on quasi-conformal mappings and techniques from complex-analysis. In this work, we characterize the spectrum of the NP operator for a 2D domain with corners in terms of elliptic corner singularity functions, which gives insight on the behavior of generalized eigenmodes.
• We analyze a weak formulation of the coupled problem defining the interac- tion between a free fluid and a poroelastic structure. The problem is fully dynamic and is governed by the time-dependent incompressible Navier-Stokes equations and the Biot equations. Under a small data assumption, existence and uniqueness results are proved and a priori estimates are provided.
• We consider the kinetic Cucker-Smale model with local alignment as a mesoscopic description for the flocking dynamics. The local alignment was first proposed by Karper, Mellet and Trivisa \citeK-M-T-3, as a singular limit of a normalized non-symmetric alignment introduced by Motsch and Tadmor \citeM-T-1. The existence of weak solutions to this model is obtained in \citeK-M-T-3. The time-asymptotic flocking behavior is shown in this article. Our main contribution is to provide a rigorous derivation from mesoscopic to mascroscopic description for the Cucker-Smale flocking models. More precisely, we prove the hydrodynamic limit of the kinetic Cucker-Smale model with local alignment towards the pressureless Euler system with nonlocal alignment, under a regime of strong local alignment. Based on the relative entropy method, a main difficulty in our analysis comes from the fact that the entropy of the limit system has no strictly convexity in terms of density variable. To overcome this, we combine relative entropy quantities with the 2-Wasserstein distance.
• We prove the hair-trigger effect for a class of non-local non-linear evolution equations on $\X$ which have only two constant stationary solutions, $0$ and $\theta>0$. The effect consists in that the solution with an initial condition non identical to zero converges (when time goes to $\infty$) to $\theta$ locally uniformly in $\X$. We find also sufficient conditions for existence, uniqueness and comparison principle in the considered equations.
• We study a nonlinear integro-differential equation arising in population dynamics. It has been already proved by Rybka, Tang and Waxman that it has a unique local in time solution. Here, after deriving appropriate a priori estimates we show that the dynamics is global in time.
• In this paper, we find a regularized approximate solution for an inverse problem for the Burgers' equation. The solution of the inverse problem for the Burgers' equation is ill-posed, i.e., the solution does not depend continuously on the data. The approximate solution is the solution of a regularized equation with randomly perturbed coefficients and randomly perturbed final value and source functions. To find the regularized solution, we use the modified quasi-reversibility method associated with the truncated expansion method with nonparametric regression. We also investigate the convergence rate.
• We study inverse boundary problems for magnetic Schrödinger operators on a compact Riemannian manifold with boundary of dimension $\ge 3$. In the first part of the paper we are concerned with the case of admissible geometries, i.e. compact Riemannian manifolds with boundary which are conformally embedded in a product of the Euclidean line and a simple manifold. We show that the knowledge of the Cauchy data on the boundary of the manifold for the magnetic Schrödinger operator with $L^\infty$ magnetic and electric potentials, determines the magnetic field and electric potential uniquely. In the second part of the paper we address the case of more general conformally transversally anisotropic geometries, i.e. compact Riemannian manifolds with boundary which are conformally embedded in a product of the Euclidean line and a compact manifold, which need not be simple. Here, under the assumption that the geodesic ray transform on the transversal manifold is injective, we prove that the knowledge of the Cauchy data on the boundary of the manifold for a magnetic Schrödinger operator with continuous potentials, determines the magnetic field uniquely. Assuming that the electric potential is known, we show that the Cauchy data determines the magnetic potential up to a gauge equivalence.
• We study the existence and nonexistence of maximizers for variational problem concerning to the Moser--Trudinger inequality of Adimurthi--Druet type in $W^{1,N}(\mathbb R^N)$ $MT(N,\beta, \alpha) =\sup_u∈W^1,N(\mathbb R^N), \|∇u\|_N^N + \|u\|_N^N≤1 \int_\mathbb R^N \Phi_N(\beta(1+\alpha \|u\|_N^N)^\frac1N-1 |u|^\frac NN-1) dx,$where $\Phi_N(t) =e^{t} -\sum_{k=0}^{N-2} \frac{t^k}{k!}$, $0\leq \alpha < 1$ and $\beta \leq \beta_N = N \omega_{N-1}^{\frac1{N-1}}$ with $\omega_{N-1}$ denotes the surface are of the unit sphere in $\mathbb R^N$. We will show that $MT(N,\beta,\alpha)$ is attained for $\beta \in (0,\beta_N)$ if $N\geq 3$ and for $\beta \in (\frac{2(1+2\alpha)}{(1+\alpha)^2 B_2},\beta_2)$ if $N = 2$ with $B_2$ defined by \eqrefeq:B2def is the best constant in a Gagliardo--Nirenberg inequality in $W^{1,2}(\mathbb R^2)$. We also prove that there exists $\alpha_0\in (0,1)$ such that $MT(N,\beta_N,\alpha)$ is attained for any $0\leq \alpha < \alpha_0$. Finally, we prove that $MT(2,\beta,\alpha)$ is not attained for $\beta$ small which is different from the bounded domain case. Our proof is based on the careful estimate of the maximizing level with the aid of normalized vanishing sequence in the subcritical case (i.e., $\beta < \beta_N$), and on the blow-up analysis method in the critical case (i.e., $\beta =\beta_N$). Finally, by using the Moser sequence together the scaling argument, we show that $MT(N,\beta_N,1) =\infty$. Our results settle the questions left open in \citedoO2015,doO2016.
• We investigate the dimensional reduction of 3+1 vacuum axisymmetric Einstein's equations to 2+1 dimensional Einstein-wave map system and observe that the resulting system is 1) not asymptotically flat, 2) its geometric-mass diverges and 3) the energy of wave map also diverges. Subsequently, we discuss the consequences of these issues.
• Assume that $M$ is a compact Riemannian manifold of bounded geometry given by restrictions on its diameter, Ricci curvature and injectivity radius. Assume we are given, with some error, the first eigenvalues of the Laplacian $\Delta$ on $M$ as well as the corresponding eigenfunctions restricted on an open set in $M$. We then construct a stable approximation to the manifold $(M,g)$. Namely, we construct a metric space and a Riemannian manifold which differ, in a proper sense, just a little from $M$ when the above data are given with a small error. We give an explicit logarithmic stability estimate on how the constructed manifold and the metric on it depend on the errors in the given data. Moreover a similar stability estimate is derived for the Gel'fand's inverse problem. The proof is based on methods from geometric convergence, a quantitative stability estimate for the unique continuation and a new version of the geometric Boundary Control method
• In this paper, we construct the Green function for the classical Orr-Sommerfeld equations, which are the linearized Navier-Stokes equations around an unstable shear layer. As an immediate application, we derive uniform sharp bounds on the semigroup of the linearized Navier-Stokes problem in the vanishing viscosity limit.
• We consider the Navier--Stokes equations for compressible heat-conducting ideal polytropic gases in a bounded annular domain when the viscosity and thermal conductivity coefficients are general smooth functions of temperature. A global-in-time, spherically or cylindrically symmetric, classical solution to the initial boundary value problem is shown to exist uniquely and converge exponentially to the constant state as the time tends to infinity under certain assumptions on the initial data and the adiabatic exponent $\gamma$. The initial data can be large if $\gamma$ is sufficiently close to 1. These results are of Nishida--Smoller type and extend the work [Liu et al., SIAM J. Math. Anal. 46 (2014), 2185--2228] restricted to the one-dimensional flows.
• In this paper, we continue the study in \citeMiaoTX:DNLS:Stab. We use the perturbation argument, modulational analysis and the energy argument in \citeMartelMT:Stab:gKdV, MartelMT:Stab:NLS to show the stability of the sum of two solitary waves with weak interactions for the generalized derivative Schrödinger equation (gDNLS) in the energy space. Here (gDNLS) hasn't the Galilean transformation invariance, the pseudo-conformal invariance and the gauge transformation invariance, and the case $\sigma>1$ we considered corresponds to the $L^2$-supercritical case.
• In this paper, we continue the study of the dynamics of the traveling waves for nonlinear Schrödinger equation with derivative (DNLS) in the energy space. Under some technical assumptions on the speed of each traveling wave, the stability of the sum of two traveling waves for DNLS is obtained in the energy space by Martel-Merle-Tsai's analytic approach in \citeMartelMT:Stab:gKdV, MartelMT:Stab:NLS. As a by-product, we also give an alternative proof of the stability of the single traveling wave in the energy space in \citeColinOhta-DNLS, where Colin and Ohta made use of the concentration-compactness argument.
• The pioneering work of Brezis-Merle [7], Li-Shafrir [27], Li [26] and Bartolucci-Tarantello [4] showed that any sequence of blow up solutions for (singular) mean field equations of Liouville type must exhibit a "mass concentration" property. A typical situation of blow-up occurs when we let the singular (vortex) points involved in the equation (see (1.1) below) collapse together. However in this case Lin-Tarantello in [30] pointed out that the phenomenon: "bubbling implies mass concentration" might not occur and new scenarios open for investigation. In this paper, we present two explicit examples which illustrate (with mathematical rigor) how a "non-concentration" situation does happen and its new features. Among other facts, we show that in certain situations, the collapsing rate of the singularities can be used as blow up parameter to describe the bubbling properties of the solution-sequence. In this way we are able to establish accurate estimates around the blow-up points which we hope to use towards a degree counting formula for the shadow system (1.34) below.
• In this paper, we characterize a family of solitary waves for NLS with derivative (DNLS) by the structue analysis and the variational argument. Since (DNLS) doesn't enjoy the Galilean invariance any more, the structure analysis here is closely related with the nontrivial momentum and shows the equivalence of nontrivial solutions between the quasilinear and the semilinear equations. Firstly, for the subcritical parameters $4\omega>c^2$ and the critical parameters $4\omega=c^2, c>0$, we show the existence and uniqueness of the solitary waves for (DNLS), up to the phase rotation and spatial translation symmetries. Secondly, for the critical parameters $4\omega=c^2, c\leq 0$ and the supercritical parameters $4\omega<c^2$, there is no nontrivial solitary wave for (DNLS). At last, we make use of the invariant sets, which is related to the variational characterization of the solitary wave, to obtain the global existence of solution for (DNLS) with initial data in the invariant set $\mathcal{K}^+_{\omega,c}\subseteq H^1(\R)$, with $4\omega=c^2, c>0$ or $4\omega>c^2$. On one hand, different with the scattering result for the $L^2$-critical NLS in \citeDod:NLS_sct, the scattering result of (DNLS) doesn't hold for initial data in $\mathcal{K}^+_{\omega,c}$ because of the existence of infinity many small solitary/traveling waves in $\mathcal{K}^+_{\omega,c},$ with $4\omega=c^2, c>0$ or $4\omega>c^2$. On the other hand, our global result improves the global result in \citeWu-DNLS, Wu-DNLS2 (see Corollary \refcor:gwp).
• We find a solution of a quasilinear elliptic equation with Dirichlet's boundary condition on a smooth bounded domain and involving an unbounded continuous nonlinearity with oscillatory behavior near the origin.