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

A concave-convex elliptic problem involving the fractional Laplacian

Abstract: We study a nonlinear elliptic problem defined in a bounded domain involving fractional powers of the Laplacian operator together with a concave-convex term. We characterize completely the range of parameters for which solutions of the problem exist and prove a multiplicity result.

Uniqueness and Nondegeneracy of Ground States for $(-\Delta)^s Q + Q - Q^{\alpha+1} = 0$ in $\mathbb{R}$

Abstract: We prove uniqueness of ground state solutions $Q = Q(|x|) \geq 0$ for the nonlinear equation $(-\Delta)^s Q + Q - Q^{\alpha+1}= 0$ in $\mathbb{R}$, where $0 < s < 1$ and $0 < \alpha < \frac{4s}{1-2s}$ for $s < 1/2$ and $0 < \alpha < \infty$ for $s \geq 1/2$. Here $(-\Delta)^s$ denotes the fractional Laplacian in one dimension. In particular, we generalize (by completely different techniques) the specific uniqueness result obtained by Amick and Toland for $s=1/2$ and $\alpha=1$ in [Acta Math., \textbf{167} (1991), 107--126]. As a technical key result in this paper, we show that the associated linearized operator $L_+ = (-\Delta)^s + 1 - (\alpha+1) Q^\alpha$ is nondegenerate; i.\,e., its kernel satisfies $\mathrm{ker}\, L_+ = \mathrm{span}\, \{Q'\}$. This result about $L_+$ proves a spectral assumption, which plays a central role for the stability of solitary waves and blowup analysis for nonlinear dispersive PDEs with fractional Laplacians, such as the generalized Benjamin-Ono (BO) and Benjamin-Bona-Mahony (BBM) water wave equations.

A macroscopic crowd motion model of gradient flow type

Abstract: A simple model to handle the flow of people in emergency evacuation situations is considered: at every point x, the velocity U(x) that individuals at x would like to realize is given. Yet, the incompressibility constraint prevents this velocity field to be realized and the actual velocity is the projection of the desired one onto the set of admissible velocities. Instead of looking at a microscopic setting (where individuals are represented by rigid discs), here the macroscopic approach is investigated, where the unknwon is the evolution of the density . If a gradient structure is given, say U is the opposite of the gradient of D where D is, for instance, the distance to the exit door, the problem is presented as a Gradient Flow in the Wasserstein space of probability measures. The functional which gives the Gradient Flow is neither finitely valued (since it takes into account the constraints on the density), nor geodesically convex, which requires for an ad-hoc study of the convergence of a discrete scheme.

Nonlinear porous medium flow with fractional potential pressure

Abstract: We study a porous medium equation, with nonlocal diffusion effects given by an inverse fractional Laplacian operator. We pose the problem in n-dimensional space for all t>0 with bounded and compactly supported initial data, and prove existence of a weak and bounded solution that propagates with finite speed, a property that is nor shared by other fractional diffusion models.

Factorization for non-symmetric operators and exponential H-theorem

Abstract: We present an abstract method for deriving decay estimates on the resolvents and semigroups of non-symmetric operators in Banach spaces in terms of estimates in another smaller reference Banach space. This applies to a class of operators writing as a regularizing part, plus a dissipative part. The core of the method is a high-order quantitative factorization argument on the resolvents and semigroups. We then apply this approach to the Fokker-Planck equation, to the kinetic Fokker- Planck equation in the torus, and to the linearized Boltzmann equation in the torus. We finally use this information on the linearized Boltzmann semi- group to study perturbative solutions for the nonlinear Boltzmann equation. We introduce a non-symmetric energy method to prove nonlinear stability in this context in $L^1_v L^\infty _x (1 + |v|^k)$, $k > 2$, with sharp rate of decay in time. As a consequence of these results we obtain the first constructive proof of exponential decay, with sharp rate, towards global equilibrium for the full nonlinear Boltzmann equation for hard spheres, conditionally to some smoothness and (polynomial) moment estimates. This improves the result in [32] where polynomial rates at any order were obtained, and solves the conjecture raised in [91, 29, 86] about the optimal decay rate of the relative entropy in the H-theorem.

Systems of dyadic cubes in a doubling metric space

Abstract: A number of recent results in Euclidean Harmonic Analysis have exploited several adjacent systems of dyadic cubes, instead of just one fixed system. In this paper, we extend such constructions to general spaces of homogeneous type, making these tools available for Analysis on metric spaces. The results include a new (non-random) construction of boundedly many adjacent dyadic systems with useful covering properties, and a streamlined version of the random construction recently devised by H. Martikainen and the first author. We illustrate the usefulness of these constructions with applications to weighted inequalities and the BMO space; further applications will appear in forthcoming work.

Dirac mass dynamics in multidimensional nonlocal parabolic equations

Abstract: Nonlocal Lotka-Volterra models have the property that solutions concentrate as Dirac masses in the limit of small diffusion. Is it possible to describe the dynamics of the limiting concentration points and of the weights of the Dirac masses? What is the long time asymptotics of these Dirac masses? Can several Dirac masses co-exist? We will explain how these questions relate to the so-called "constrained Hamilton-Jacobi equation" and how a form of canonical equation can be established. This equation has been established assuming smoothness. Here we build a framework where smooth solutions exist and thus the full theory can be developed rigorously. We also show that our form of canonical equation comes with a structure of gradient flow. Numerical simulations show that the trajectories can exhibit unexpected dynamics well explained by this equation. Our motivation comes from population adaptive evolution a branch of mathematical ecology which models darwinian evolution.

A fractional porous medium equation

Abstract: We develop a theory of existence, uniqueness and regularity for a porous medium equation with fractional diffusion, $\frac{\partial u}{\partial t} + (-\Delta)^{1/2} (|u|^{m-1}u)=0$ in $\mathbb{R}^N$, with $m>m_*=(N-1)/N$, $N\ge1$ and $f\in L^1(\mathbb{R}^N)$. An $L^1$-contraction semigroup is constructed and the continuous dependence on data and exponent is established. Nonnegative solutions are proved to be continuous and strictly positive for all $x\in\mathbb{R}^N$, $t>0$.

A note on the Prandtl boundary layers

Abstract: This note concerns a nonlinear ill-posedness of the Prandtl equation and an invalidity of asymptotic boundary-layer expansions of incompressible fluid flows near a solid boundary. Our analysis is built upon recent remarkable linear ill-posedness results established by Gerard-Varet and Dormy [2], and an analysis in Guo and Tice [5]. We show that the asymptotic boundary-layer expansion is not valid for non-monotonic shear layer flows in Sobolev spaces. We also introduce a notion of weak well-posedness and prove that the nonlinear Prandtl equation is not well-posed in this sense near non-stationary and non-monotonic shear flows. On the other hand, we are able to verify that Oleinik's monotonic solutions are well-posed.

Orientability and energy minimization in liquid crystal models

Abstract: Uniaxial nematic liquid crystals are modelled in the Oseen-Frank theory through a unit vector field $n$. This theory has the apparent drawback that it does not respect the head-to-tail symmetry in which $n$ should be equivalent to -$n$. This symmetry is preserved in the constrained Landau-de Gennes theory that works with the tensor $Q=s\big(n\otimes n- \frac{1}{3} Id\big)$.We study the differences and the overlaps between the two theories. These depend on the regularity class used as well as on the topology of the underlying domain. We show that for simply-connected domains and in the natural energy class $W^{1,2}$ the two theories coincide, but otherwise there can be differences between the two theories, which we identify. In the case of planar domains we completely characterise the instances in which the predictions of the constrained Landau-de Gennes theory differ from those of the Oseen-Frank theory.

Well-posedness of compressible Euler equations in a physical vacuum

Abstract: An important problem in gas and fluid dynamics is to understand the behavior of vacuum states, namely the behavior of the system in the presence of vacuum. In particular, physical vacuum, in which the boundary moves with a nontrivial finite normal acceleration, naturally arises in the study of the motion of gaseous stars or shallow water. Despite its importance, there are only few mathematical results available near vacuum. The main difficulty lies in the fact that the physical systems become degenerate along the vacuum boundary. In this paper, we establish the local-in-time well-posedness of three-dimensional compressible Euler equations for polytropic gases with physical vacuum by considering the problem as a free boundary problem.

Inviscid models generalizing the 2d euler and the surface quasi-geostrophic equations

Abstract: Any classical solution of the 2D incompressible Euler equation is global in time. However, it remains an outstanding open problem whether classical solutions of the surface quasi-geostrophic (SQG) equation preserve their regularity for all time. This paper studies solutions of a family of active scalar equations in which each component uj of the velocity field u is determined by the scalarthrough uj = R� 1 P(�)� where R is a Riesz transform and � = (−�) 1/2 . The 2D Euler vorticity equation corresponds to the special case P(�) = I while the SQG equation to the case P(�) = �. We develop tools to bound kr u橪L1 for a general class of operators P and establish the global regularity for the Loglog-Euler equation for which P(�) = (log(I +log(I −�))) with 0 � � 1. In addition, a regularity criterion for the model corresponding to P(�) = � � with 0 � � � 1 is also obtained.

Uniform regularity for the Navier-Stokes equation with Navier boundary condition

Abstract: We prove that there exists an interval of time which is uniform in the vanishing viscosity limit and for which the Navier-Stokes equation with Navier boundary condition has a strong solution. This solution is uniformly bounded in a conormal Sobolev space and has only one normal derivative bounded in $L^\infty$. This allows to get the vanishing viscosity limit to the incompressible Euler system from a strong compactness argument.

Functional inequalities, thick tails and asymptotics for the critical mass Patlak-Keller-Segel model

Abstract: We investigate the long time behavior of the critical mass Patlak-Keller-Segel equation. This equation has a one parameter family of steady-state solutions $\rho_\lambda$, $\lambda>0$, with thick tails whose second moment is not bounded. We show that these steady state solutions are stable, and find basins of attraction for them using an entropy functional ${\mathcal H}_\lambda$ coming from the critical fast diffusion equation in $\R^2$. We construct solutions of Patlak-Keller-Segel equation satisfying an entropy-entropy dissipation inequality for ${\mathcal H}_\lambda$. While the entropy dissipation for ${\mathcal H}_\lambda$ is strictly positive, it turns out to be a difference of two terms, neither of which need to be small when the dissipation is small. We introduce a strategy of "controlled concentration" to deal with this issue, and then use the regularity obtained from the entropy-entropy dissipation inequality to prove the existence of basins of attraction for each stationary state composed by certain initial data converging towards $\rho_\lambda$. In the present paper, we do not provide any estimate of the rate of convergence, but we discuss how this would result from a stability result for a certain sharp Gagliardo-Nirenberg-Sobolev inequality.

From the Ginzburg-Landau model to vortex lattice problems

Abstract: We study minimizers of the two-dimensional Ginzburg-Landau energy with applied magnetic field, between the first and second critical fields. In this regime, minimizing configurations exhibit densely packed hexagonal vortex lattices, called Abrikosov lattices. We derive, in some asymptotic regime, a limiting interaction energy between points in the plane, $W$, which we prove has to be minimized by limits of energy-minimizing configurations, once blown-up at a suitable scale. This is a next order effect compared to the mean-field type results we previously established. The limiting "Coulombian renormalized energy" $W$ is a logarithmic type of interaction, computed by a "renormalization," and we believe it should be rather ubiquitous. We study various of its properties, and show in particular, using results from number theory, that among lattice configurations the hexagonal lattice is the unique minimizer, thus providing a first rigorous hint at the Abrikosov lattice. Its minimization in general remains open. The derivation of $W$ uses energy methods: the framework of $\Gamma$-convergence, and an abstract scheme for obtaining lower bounds for "2-scale energies" via the ergodic theorem.

Parametric Level Set Methods for Inverse Problems

Abstract: In this paper, a parametric level set method for reconstruction of obstacles in general inverse problems is considered. General evolution equations for the reconstruction of unknown obstacles are derived in terms of the underlying level set parameters. We show that using the appropriate form of parameterizing the level set function results a significantly lower dimensional problem, which bypasses many difficulties with traditional level set methods, such as regularization, re-initialization and use of signed distance function. Moreover, we show that from a computational point of view, low order representation of the problem paves the path for easier use of Newton and quasi-Newton methods. Specifically for the purposes of this paper, we parameterize the level set function in terms of adaptive compactly supported radial basis functions, which used in the proposed manner provides flexibility in presenting a larger class of shapes with fewer terms. Also they provide a "narrow-banding" advantage which can further reduce the number of active unknowns at each step of the evolution. The performance of the proposed approach is examined in three examples of inverse problems, i.e., electrical resistance tomography, X-ray computed tomography and diffuse optical tomography.

Well-posedness in smooth function spaces for the moving-boundary 3-D compressible Euler equations in physical vacuum

Abstract: We prove well-posedness for the 3-D compressible Euler equations with moving physical vacuum boundary, with an equation of state given by the so-called gamma gas-law for gamma > 1. The physical vacuum singularity requires the sound speed c to go to zero as the square-root of the distance to the moving boundary, and thus creates a degenerate and characteristic hyperbolic free-boundary system wherein the density vanishes on the free-boundary, the uniform Kreiss--Lopatinskii condition is violated, and manifest derivative loss ensues. Nevertheless, we are able to establish the existence of unique solutions to this system on a short time-interval, which are smooth (in Sobolev spaces) all the way to the moving boundary, and our estimates have no derivative loss with respect to initial data. Our proof is founded on an approximation of the Euler equations by a degenerate parabolic regularization obtained from a specific choice of a degenerate artificial viscosity term, chosen to preserve as much of the geometric structure of the Euler equations as possible. We first construct solutions to this degenerate parabolic regularization using a new higher-order Hardy-type inequality; we then establish estimates for solutions to this degenerate parabolic system which are independent of the artificial viscosity parameter. Solutions to the compressible Euler equations are found in the limit as the artificial viscosity tends to zero. Our regular solutions can be viewed as degenerate viscosity solutions. Out methodology can be applied to many other systems of degenerate and characteristic hyperbolic systems of conservation laws.

Remarks on the ill-posedness of the Prandtl equation

Abstract: In the lines of a recent paper by Gerard-Varet and Dormy, we establish various ill-posedness results for the Prandtl equation. By considering perturbations of stationary shear flows, we show that for some linearizations of the Prandtl equation and some $C^\infty$ initial data, local in time $C^\infty$ solutions do not exist. At the nonlinear level, we prove that if a flow exists in the Sobolev setting, it cannot be Lipschitz continuous. Besides ill-posedness in time, we also establish some ill-posedness in space, that casts some light on the results obtained by Oleinik for monotonic data.

On the L_p-solvability of higher order parabolic and elliptic systems with BMO coefficients

Abstract: We prove the solvability in Sobolev spaces for both divergence and non-divergence form higher order parabolic and elliptic systems in the whole space, on a half space, and on a bounded domain. The leading coefficients are assumed to be merely measurable in the time variable and have small mean oscillations with respect to the spatial variables in small balls or cylinders. For the proof, we develop a set of new techniques to produce mean oscillation estimates for systems on a half space.

Well-posedness for the heat flow of harmonic maps and the liquid crystals flow with rough initial data

Abstract: We investigate the well-posedness of (i) the heat flow of harmonic maps from $R^n$ to a compact Riemannian manifold without boundary for initial data in BMO; and (ii) the hydrodynamic flow $(u,d)$ of nematic liquid crystals on $\mathbb R^n$ for initial data in $BMO^{-1}\times BMO$.

A Selection Principle for the Sharp Quantitative Isoperimetric Inequality

Abstract: We introduce a new variational method for the study of stability in the isoperimetric inequality. The method is quite general as it relies on a penalization technique combined with the regularity theory for quasiminimizers of the perimeter. Two applications are presented. First we give a new proof of the sharp quantitative isoperimetric inequality in $R^n$. Second we positively answer to a conjecture by Hall concerning the best constant for the quantitative isoperimetric inequality in $R^2$ in the small asymmetry regime.

Microlocal analysis of asymptotically hyperbolic and Kerr-de Sitter spaces

Abstract: In this paper we develop a general, systematic, microlocal frame- work for the Fredholm analysis of non-elliptic problems, including high energy (or semiclassical) estimates, which is stable under perturbations. This frame- work, described in Section 2, resides on a compact manifold without boundary, hence in the standard setting of microlocal analysis. Many natural applications arise in the setting of non-Riemannian b-metrics in the context of Melrose's b-structures. These include asymptotically de Sitter-type metrics on a blow-up of the natural compactication, Kerr-de Sitter-type metrics, as well as asymptotically Minkowski metrics. The simplest application is a new approach to analysis on Riemannian or Lorentzian (or indeed, possibly of other signature) conformally compact spaces (such as asymptotically hyperbolic or de Sitter spaces), including a new con- struction of the meromorphic extension of the resolvent of the Laplacian in the Riemannian case, as well as high energy estimates for the spectral parameter in strips of the complex plane. These results are also available in a follow-up paper which is more expository in nature, (54). The appendix written by Dyatlov relates his analysis of resonances on exact Kerr-de Sitter space (which then was used to analyze the wave equation in that setting) to the more general method described here.

Large time decay and growth for solutions of a viscous Boussinesq system

Abstract: In this paper we analyze the decay and the growth for large time of weak and strong solutions to the three-dimensional viscous Boussinesq system. We show that generic solutions blow up as $t\to\infty$ in the sense that the energy and the $L^p$-norms of the velocity field grow to infinity for large time, for $1\le p<3$. In the case of strong solutions we provide sharp estimates both from above and from below and explicit asymptotic profiles. We also show that solutions arising from $(u_0,\theta_0)$ with zero-mean for the initial temperature $\theta_0$ have a special behavior as $|x|$ or $t$ tends to infinity: contrarily to the generic case, their energy dissipates to zero for large time.

KAM for the quantum harmonic oscillator

Abstract: In this paper we prove an abstract KAM theorem for infinite dimensional Hamiltonians systems. This result extends previous works of S.B. Kuksin and J. P\"oschel and uses recent techniques of H. Eliasson and S.B. Kuksin. As an application we show that some 1D nonlinear Schr\"odinger equations with harmonic potential admits many quasi-periodic solutions. In a second application we prove the reducibility of the 1D Schr\"odinger equations with the harmonic potential and a quasi periodic in time potential.

Decay of viscous surface waves without surface tension

Abstract: Consider a viscous fluid of finite depth below the air. In the absence of the surface tension effect at the air-fluid interface, the long time behavior of a free surface with small amplitude has been an intriguing question since the work of Beale \cite{beale_1}. In this monograph, we develop a new mathematical framework to resolve this question. If the free interface is horizontally infinite, we establish that it decays to a flat surface at an algebraic rate. On the other hand, if the free interface is periodic, we establish that it decays at an almost exponential rate, i.e. at an arbitrarily fast algebraic rate determined by the smallness of the data. Our framework contains several novel techniques, which include: (1) a local well-posedness theory of the Navier-Stokes equations in the presence of a moving boundary; (2) a two-tier energy method that couples the boundedness of high-order energy to the decay of low-order energy, the latter of which is necessary to balance out the growth of the highest derivatives of the free interface; (3) control of both negative and positive Sobolev norms, which enhances interpolation estimates and allows for the decay of infinite surface waves; (4) a localization procedure that is compatible with the energy method and allows for curved lower surface geometry in the periodic case. Our decay results lead to the construction of global-in-time solutions to the surface wave problem.

Nonlinear equations for fractional Laplacians I: Regularity, maximum principles, and Hamiltonian estimates

Abstract: This is the first of two articles dealing with the equation $(-\Delta)^{s} v= f(v)$ in $\mathbb{R}^{n}$, with $s\in (0,1)$, where $(-\Delta)^{s}$ stands for the fractional Laplacian ---the infinitesimal generator of a Levy process. This equation can be realized as a local linear degenerate elliptic equation in $\mathbb{R}^{n+1}_+$ together with a nonlinear Neumann boundary condition on $\partial \mathbb{R}^{n+1}_+=\mathbb{R}^{n}$. In this first article, we establish necessary conditions on the nonlinearity $f$ to admit certain type of solutions, with special interest in bounded increasing solutions in all of $\mathbb{R}$. These necessary conditions (which will be proven in a follow-up paper to be also sufficient for the existence of a bounded increasing solution) are derived from an equality and an estimate involving a Hamiltonian ---in the spirit of a result of Modica for the Laplacian. In addition, we study regularity issues, as well as maximum and Harnack principles associated to the equation.

On Divergence-free Drifts

Abstract: We investigate the validity and failure of Liouville theorems and Harnack inequalities for parabolic and elliptic operators with low regularity coefficients. We are particularly interested in operators of the form $\partial_t - \Delta +b\cdot abla$ and $-\Delta +b\cdot abla$ with a divergence-free drift $b$. We prove the Liouville theorem and Harnack inequality when $b\in L_\infty(BMO^{-1})$ resp. $b\in BMO^{-1}$ and provide a counterexample to such results demonstrating sharpness of our conditions on the drift. Our results generalize to divergence-form operators with an elliptic symmetric part and a BMO skew-symmetric part. We also prove the existence of a modulus of continuity for solutions to the elliptic problem in two dimensions, depending on the non-scale-invariant norm $\|b\|_{L_1}$. In three dimensions, on the other hand, bounded solutions with $L_1$ drifts may be discontinuous.

Five lectures on optimal transportation: Geometry, regularity and applications

Abstract: In this series of lectures we introduce the Monge-Kantorovich problem of optimally transporting one distribution of mass onto another, where optimality is measured against a cost function c(x,y). Connections to geometry, inequalities, and partial differential equations will be discussed, focusing in particular on recent developments in the regularity theory for Monge-Ampere type equations. An application to microeconomics will also be described, which amounts to finding the equilibrium price distribution for a monopolist marketing a multidimensional line of products to a population of anonymous agents whose preferences are known only statistically.

Small Volume Fraction Limit of the Diblock Copolymer Problem: II. Diffuse-Interface Functional

Abstract: We present the second of two articles on the small volume fraction limit of a nonlocal Cahn-Hilliard functional introduced to model microphase separation of diblock copolymers. After having established the results for the sharp-interface version of the functional (arXiv:0907.2224), we consider here the full diffuse-interface functional and address the limit in which epsilon and the volume fraction tend to zero but the number of minority phases (called particles) remains O(1). Using the language of Gamma-convergence, we focus on two levels of this convergence, and derive first- and second-order effective energies, whose energy landscapes are simpler and more transparent. These limiting energies are only finite on weighted sums of delta functions, corresponding to the concentration of mass into `point particles'. At the highest level, the effective energy is entirely local and contains information about the size of each particle but no information about their spatial distribution. At the next level we encounter a Coulomb-like interaction between the particles, which is responsible for the pattern formation. We present the results in three dimensions and comment on their two-dimensional analogues.

Thermoacoustic tomography arising in brain imaging

Abstract: We study the mathematical model of thermoacoustic and photoacoustic tomography when the sound speed has a jump across a smooth surface This models the change of the sound speed in the skull when trying to image the human brain We derive an explicit inversion formula in the form of a convergent Neumann series under the assumptions that all singularities from the support of the source reach the boundary