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

Global weak solutions in a three-dimensional chemotaxis-Navier-Stokes system

Abstract: The chemotaxis-Navier-Stokes system linking the chemotaxis equations \[ n_t + u\cdot abla n = \Delta n - abla \cdot (n\chi(c) abla c) \] and \[ c_t + u\cdot abla c = \Delta c-nf(c) \] to the incompressible Navier-Stokes equations, \[ u_t + (u\cdot abla)u = \Delta u + abla P + n abla \Phi, \qquad abla \cdot u = 0, \] is considered under homogeneous boundary conditions of Neumann type for $n$ and $c$, and of Dirichlet type for $u$, in a bounded convex domain $\Omega\subset R^3$ with smooth boundary, where $\Phi\in W^{1,\infty}(\Omega)$, and where $f\in C^1([0,\infty))$ and $\chi\in C^2([0,\infty))$ are nonnegative with $f(0)=0$. Problems of this type have been used to describe the mutual interaction of populations of swimming aerobic bacteria with the surrounding fluid. Up to now, however, global existence results seem to be available only for certain simplified variants such as e.g.the two-dimensional analogue, or the associated chemotaxis-Stokes system obtained on neglecting the nonlinear convective term in the fluid equation. The present work gives an affirmative answer to the question of global solvability in the following sense: Under mild assumptions on the initial data, and under modest structural assumptions on $f$ and $\chi$, inter alia allowing for the prototypical case when \[ f(s)=s \quad {for all} s\ge 0 \qquad {and} \qquad \chi \equiv const., \] the corresponding initial-boundary value problem is shown to possess a globally defined weak solution.

Fractional p-eigenvalues

Abstract: We discuss some basic properties of the eigenfunctions of a class of nonlocal operators whose model is the fractional p-Laplacian.

The boundedness-by-entropy principle for cross-diffusion systems

Abstract: A novel principle is presented which allows for the proof of bounded weak solutions to a class of physically relevant, strongly coupled parabolic systems exhibiting a formal gradient-flow structure. The main feature of these systems is that the diffusion matrix may be generally neither symmetric nor positive semi-definite. The key idea of the principle is to employ a transformation of variables, determined by the entropy density, which is defined by the gradient-flow formulation. The transformation yields at the same time a positive semi-definite diffusion matrix, suitable gradient estimates as well as lower and/or upper bounds of the solutions. These bounds are a consequence of the transformation of variables and are obtained without the use of a maximum principle. Several classes of cross-diffusion systems are identified which can be solved by this technique. The systems are formally derived from continuous-time random walks on a lattice modeling, for instance, the motion of ions, cells, or fluid particles.

The second eigenvalue of the fractional $p-$Laplacian

Abstract: We consider the eigenvalue problem for the {\it fractional $p-$Laplacian} in an open bounded, possibly disconnected set $\Omega \subset \mathbb{R}^n$, under homogeneous Dirichlet boundary conditions. After discussing some regularity issues for eigenfuctions, we show that the second eigenvalue $\lambda_2(\Omega)$ is well-defined, and we characterize it by means of several equivalent variational formulations. In particular, we extend the mountain pass characterization of Cuesta, De Figueiredo and Gossez to the nonlocal and nonlinear setting. Finally, we consider the minimization problem \[ \inf \{\lambda_2(\Omega)\,:\,|\Omega|=c\}. \] We prove that, differently from the local case, an optimal shape does not exist, even among disconnected sets. A minimizing sequence is given by the union of two disjoint balls of volume $c/2$ whose mutual distance tends to infinity.

A regularity theory for random elliptic operators

Abstract: Since the seminal results by Avellaneda \& Lin it is known that elliptic operators with periodic coefficients enjoy the same regularity theory as the Laplacian on large scales. In a recent inspiring work, Armstrong \& Smart proved large-scale Lipschitz estimates for such operators with random coefficients satisfying a finite-range of dependence assumption. In the present contribution, we extend the \emph{intrinsic large-scale} regularity of Avellaneda \& Lin (namely, intrinsic large-scale Schauder and Caldereron-Zygmund estimates) to elliptic systems with random coefficients. The scale at which this improved regularity kicks in is characterized by a stationary field $r_*$ which we call the minimal radius. This regularity theory is \textit{qualitative} in the sense that $r_*$ is almost surely finite (which yields a new Liouville theorem) under mere ergodicity, and it is \textit{quantifiable} in the sense that $r_*$ has high stochastic integrability provided the coefficients satisfy quantitative mixing assumptions. We illustrate this by establishing \emph{optimal} moment bounds on $r_*$ for a class of coefficient fields satisfying a multiscale functional inequality, and in particular for Gaussian-type coefficient fields with arbitrary slow-decaying correlations.

Stationary Kirchhoff problems involving a fractional elliptic operator and a critical nonlinearity

Abstract: This paper deals with the existence and the asymptotic behavior of non-negative solutions for a class of stationary Kirchhoff problems driven by a fractional integro-differential operator $\mathcal L_K$ and involving a critical nonlinearity. The main feature, as well as the main difficulty, of the analysis is the fact that the Kirchhoff function $M$ can be zero at zero, that is the problem is degenerate. The adopted techniques are variational and the main theorems extend in several directions previous results recently appeared in the literature.

Recent progress in the theory of Nonlinear Diffusion with Fractional Laplacian Operators

Abstract: We report on recent progress in the study of nonlinear diffusion equations involving nonlocal, long-range diffusion effects. Our main concern is the so-called fractional porous medium equation, $\partial_t u +(-\Delta)^{s}(u^m)=0$, and some of its generalizations. Contrary to usual porous medium flows, the fractional version has infinite speed of propagation for all exponents $0 0$; on the other hand, it also generates an $L^1$-contraction semigroup which depends continuously on the exponent of fractional differentiation and the exponent of the nonlinearity. After establishing the general existence and uniqueness theory, the main properties are described: positivity, regularity, continuous dependence, a priori estimates, Schwarz symmetrization, among others. Self-similar solutions are constructed (fractional Barenblatt solutions) and they explain the asymptotic behaviour of a large class of solutions. In the fast diffusion range we study extinction in finite time and we find suitable special solutions. We discuss KPP type propagation. We also examine some related equations that extend the model and briefly comment on current work.

On fractional Choquard equations

Abstract: We investigate a class of nonlinear Schrodinger equations with a generalized Choquard nonlinearity and fractional diffusion. We obtain regularity, existence, nonexistence, symmetry as well as decays properties.

Quantitative stochastic homogenization of convex integral functionals

Abstract: We present quantitative results for the homogenization of uniformly convex integral functionals with random coefficients under independence assumptions. The main result is an error estimate for the Dirichlet problem which is algebraic (but sub-optimal) in the size of the error, but optimal in stochastic integrability. As an application, we obtain quenched $C^{0,1}$ estimates for local minimizers of such energy functionals.

Finite time blowup for an averaged three-dimensional Navier-Stokes equation

Abstract: The Navier-Stokes equation on the Euclidean space $\mathbf{R}^3$ can be expressed in the form $\partial_t u = \Delta u + B(u,u)$, where $B$ is a certain bilinear operator on divergence-free vector fields $u$ obeying the cancellation property $\langle B(u,u), u\rangle=0$ (which is equivalent to the energy identity for the Navier-Stokes equation). In this paper, we consider a modification $\partial_t u = \Delta u + \tilde B(u,u)$ of this equation, where $\tilde B$ is an averaged version of the bilinear operator $B$ (where the average involves rotations and Fourier multipliers of order zero), and which also obeys the cancellation condition $\langle \tilde B(u,u), u \rangle = 0$ (so that it obeys the usual energy identity). By analysing a system of ODE related to (but more complicated than) a dyadic Navier-Stokes model of Katz and Pavlovic, we construct an example of a smooth solution to such a averaged Navier-Stokes equation which blows up in finite time. This demonstrates that any attempt to positively resolve the Navier-Stokes global regularity problem in three dimensions has to use finer structure on the nonlinear portion $B(u,u)$ of the equation than is provided by harmonic analysis estimates and the energy identity. We also propose a program for adapting these blowup results to the true Navier-Stokes equations.

Existence, Uniqueness and Asymptotic behaviour for fractional porous medium equations on bounded domains

Abstract: We consider nonlinear diffusive evolution equations posed on bounded space domains, governed by fractional Laplace-type operators, and involving porous medium type nonlinearities. We establish existence and uniqueness results in a suitable class of solutions using the theory of maximal monotone operators on dual spaces. Then we describe the long-time asymptotics in terms of separate-variables solutions of the friendly giant type. As a by-product, we obtain an existence and uniqueness result for semilinear elliptic non local equations with sub-linear nonlinearities. The Appendix contains a review of the theory of fractional Sobolev spaces and of the interpolation theory that are used in the rest of the paper.

Two dimensional water waves in holomorphic coordinates

Abstract: This article is concerned with the infinite depth water wave equation in two space dimensions. We consider this problem expressed in position-velocity potential holomorphic coordinates. Viewing this problem as a quasilinear dispersive equation, we establish two results: (i) local well-posedness in Sobolev spaces, and (ii) almost global solutions for small localized data. Neither of these results are new; they have been recently obtained by Alazard-Burq-Zuily \cite{abz}, respectively by Wu \cite{wu} using different coordinates and methods. Instead our goal is improve the understanding of this problem by providing a single setting for both problems, by proving sharper versions of the above results, as well as presenting new, simpler proofs. This article is self contained.

Nonlocal problems with Neumann boundary conditions

Abstract: We introduce a new Neumann problem for the fractional Laplacian arising from a simple probabilistic consideration, and we discuss the basic properties of this model. We can consider both elliptic and parabolic equations in any domain. In addition, we formulate problems with nonhomogeneous Neumann conditions, and also with mixed Dirichlet and Neumann conditions, all of them having a clear probabilistic interpretation. We prove that solutions to the fractional heat equation with homogeneous Neumann conditions have the following natural properties: conservation of mass inside $\Omega$, decreasing energy, and convergence to a constant as $t\to \infty$. Moreover, for the elliptic case we give the variational formulation of the problem, and establish existence of solutions. We also study the limit properties and the boundary behavior induced by this nonlocal Neumann condition. For concreteness, one may think that our nonlocal analogue of the classical Neumann condition~$\partial_ u u=0$ on~$\partial\Omega$ consists in the nonlocal prescription $$ \int_\Omega \frac{u(x)-u(y)}{|x-y|^{n+2s}}\,dy=0 \ {\mbox{ for }} x\in\R^n\setminus\overline{\Omega}.$$

Boundary regularity for fully nonlinear integro-differential equations

Abstract: We study fine boundary regularity properties of solutions to fully nonlinear elliptic integro-differential equations of order $2s$, with $s\in(0,1)$. We consider the class of nonlocal operators $\mathcal L_*\subset \mathcal L_0$, which consists of infinitesimal generators of stable Levy processes belonging to the class $\mathcal L_0$ of Caffarelli-Silvestre. For fully nonlinear operators $I$ elliptic with respect to $\mathcal L_*$, we prove that solutions to $I u=f$ in $\Omega$, $u=0$ in $\mathbb R^n\setminus\Omega$, satisfy $u/d^s\in C^{s+\gamma}(\overline\Omega)$, where $d$ is the distance to $\partial\Omega$ and $f\in C^\gamma$. We expect the class $\mathcal L_*$ to be the largest scale invariant subclass of $\mathcal L_0$ for which this result is true. In this direction, we show that the class $\mathcal L_0$ is too large for all solutions to behave like $d^s$. The constants in all the estimates in this paper remain bounded as the order of the equation approaches 2. Thus, in the limit $s\uparrow1$ we recover the celebrated boundary regularity result due to Krylov for fully nonlinear elliptic equations.

Global existence of weak solutions of the nematic liquid crystal flow in dimensions three

Abstract: For any bounded smooth domain $\Omega\subset\mathbb R^3$, we establish the global existence of a weak solution $u:\Omega\times (0,+\infty)\to\mathbb R^3\times\mathbb S^2$ of the initial-boundary value (or the Cauchy) problem of the simplified Ericksen-Leslie system (1.1) modeling the hydrodynamic flow of nematic liquid crystals for any initial and boundary (or Cauchy) data $(u_0. d_0)\in {\bf H}\times H^1(\Omega,\mathbb S^2$), with $d_0(\Omega)\subset\mathbb S^2_+$ (the upper hemisphere). Furthermore, ($u,d$) satisfies the global energy inequality (1.4).

Infinitely many sign-changing solutions for the nonlinear Schr\"{o}dinger-Poisson system

Abstract: We investigate the existence of multiple bound state solutions, in particular sign-changing solutions. By using the method of invariant sets of descending flow, we prove that this system has infinitely many sign-changing solutions. In particular, the nonlinear term includes the power-type nonlinearity $f(u)=|u|^{p-2}u$ for the well-studied case $p\in(4,6)$, and the less-studied case $p\in(3,4)$, and for the latter case few existence results are available in the literature.

Global uniqueness for the Calder\'on problem with Lipschitz conductivities

Abstract: We prove uniqueness for Calder\'on's problem with Lipschitz conductivities in higher dimensions. Combined with the recent work of Haberman, who treated the three and four dimensional cases, this confirms a conjecture of Uhlmann. Our proof builds on the work of Sylvester and Uhlmann, Brown, and Haberman and Tataru who proved uniqueness for $C^1$ conductivities and Lipschitz conductivities sufficiently close to the identity.

Two dimensional water waves in holomorphic coordinates II: global solutions

Abstract: This article is concerned with the infinite depth water wave equation in two space dimensions. We consider this problem expressed in position-velocity potential holomorphic coordinates,and prove that small localized data leads to global solutions. This article is a continuation of authors' earlier paper arXiv:1401.1252.

Local well-posedness for the Hall-MHD equations with fractional magnetic diffusion

Abstract: The Hall-magnetohydrodynamics (Hall-MHD) equations, rigorously derived from kinetic models, are useful in describing many physical phenomena in geophysics and astrophysics. This paper studies the local well-posedness of classical solutions to the Hall-MHD equations with the magnetic diffusion given by a fractional Laplacian operator, $(-\Delta)^\alpha$. Due to the presence of the Hall term in the Hall-MHD equations, standard energy estimates appear to indicate that we need $\alpha\ge 1$ in order to obtain the local well-posedness. This paper breaks the barrier and shows that the fractional Hall-MHD equations are locally well-posed for any $\alpha>\frac12$. The approach here fully exploits the smoothing effects of the dissipation and establishes the local bounds for the Sobolev norms through the Besov space techniques. The method presented here may be applicable to similar situations involving other partial differential equations.

The Tb-theorem on non-homogeneous spaces that proves a conjecture of Vitushkin

Abstract: This article was written in 1999, and was posted as a preprint in CRM (Barcelona) preprint series n 0 519 in 2000. However, recently CRM (Barcelona) erased all preprints dated before 2006 from its site, and this paper became inacessible. It has certain importance though, as the reader shall see. Meanwhile this paper in bits and pieces appeared in several book formats, namely in Volberg’s lecture notes [Vo], in Doudziak’s book [Du], and in Tolsa’s book [To]. Formally this paper is a proof of the (qualitative version of the) Vitushkin conjecture. The last section is concerned with the quantitative version. This quantitative version turns out to be very important. It allowed Xavier Tolsa to close the subject concerning Vtushkin’s conjectures: namely, using the quantitative nonhomogeneous Tb theorem proved in the present paper, he proved the semiadditivity of analytic capacity. Another “theorem”, which is implicitly contained in this paper, is the statement that any non-vanishing L 2 -function is accretive in the sense that if one has a finite measure µ on the complex plane C that is Ahlfors at almost every point (i.e. for µ-almost every x ∈ C there exists a constant M > 0 such that µ(B(x,r)) 6 Mr for every r > 0) then �

On dipolar quantum gases in the unstable regime

Abstract: We study the nonlinear Schr\"odinger equation arising in dipolar Bose-Einstein condensate in the unstable regime. Two cases are studied: the first when the system is free, the second when gradually a trapping potential is added. In both cases we first focus on the existence and stability/ instability properties of standing waves. Our approach leads to the search of critical points of a constrained functional which is unbounded from below on the constraint. In the free case, by showing that the constrained functional has a so-called {\it mountain pass geometry}, we prove the existence of standing states with least energy, the ground states, and show that any ground state is orbitally unstable. Moreover, when the system is free, we show that small data in the energy space scatter in all regimes, stable and unstable. In the second case, if the trapping potential is small, we prove that two different kind of standing waves appears: one corresponds to a {\it topological local minimizer} of the constrained energy functional and it consists in ground states, the other is again of {\it mountain pass type} but now corresponds to excited states. We also prove that any ground state is a {\it topological local minimizer}. Despite the problem is mass supercritical and the functional unbounded from below, the standing waves associated to the set of ground states turn to be orbitally stable. Actually, from the physical point of view, the introduction of the trapping potential stabilizes the system initially unstable. Related to this we observe that it also creates a gap in the ground state energy level of the system. In addition when the trapping potential is active the presence of standing waves with arbitrary small norm does not permit small data scattering. Eventually some asymptotic results are also given.

Global regularity for 2d water waves with surface tension

Abstract: We consider the full irrotational water waves system with surface tension and no gravity in dimension two (the capillary waves system), and prove global regularity and modified scattering for suitably small and localized perturbations of a flat interface. An important point of our analysis is to develop a sufficiently robust method, based on energy estimates and dispersive analysis, which allows us to deal with strong singularities arising from time resonances in the applications of the normal form method and nonlinear scattering. As a result, we are able to consider a suitable class of perturbations with finite energy, but no other momentum conditions. Part of our analysis relies on a new treatment of the Dirichlet-Neumann operator in dimension two which is of independent interest. As a consequence, the results in this paper are self-contained.

A direct method of moving planes for the fractional Laplacian

Abstract: In this paper, we develop a direct method of moving planes for the fractional Laplacian. Instead of conventional extension method introduced by Caffarelli and Silvestre, we work directly on the non-local operator. Using the integral defining the fractional Laplacian, by an elementary approach, we first obtain the key ingredients needed in the method of moving planes either in a bounded domain or in the whole space, such as strong maximum principles for anti-symmetric functions, narrow region principles, and decay at infinity. Then, using a simple example, a semi-linear equation involving the fractional Laplacian, we illustrate how this new method of moving planes can be employed to obtain symmetry and non-existence of positive solutions. We firmly believe that the ideas and methods introduced here can be conveniently applied to study a variety of nonlocal problems with more general operators and more general nonlinearities.

Non-Nehari manifold method for asymptotically periodic Schr\"odinger equation

Abstract: We consider the semilinear Schrodinger equation $$ \left\{ \begin{array}{ll} -\triangle u+V(x)u=f(x, u), \ \ \ \ x\in {\R}^{N}, u\in H^{1}({\R}^{N}), \end{array} \right. $$ where $f$ is a superlinear, subcritical nonlinearity. We mainly study the case where $V(x)=V_0(x)+V_1(x)$, $V_0\in C(\mathbb{R}^N)$, $V_0(x)$ is 1-periodic in each of $x_1, x_2, \ldots, x_N$ and $\sup[\sigma(-\triangle +V_0)\cap (-\infty, 0)]<0<\inf[\sigma(-\triangle +V_0)\cap (0, \infty)]$, $V_1\in C(\mathbb{R}^N)$ and $\lim_{|x|\to\infty}V_1(x)=0$. Inspired by previous work of Li et al. \cite{LWZ}, Pankov \cite{Pa} and Szulkin and Weth \cite{Sz}, we develop a more direct approach to generalize the main result in \cite{Sz} by removing the "strictly increasing" condition in the Nehari type assumption on $f(x, t)/|t|$. Unlike the Nahari manifold method, the main idea of our approach lies on finding a minimizing Cerami sequence for the energy functional outside the Nehari-Pankov manifold $\mathcal{N}^{0}$ by using the diagonal method.

Global well-posedness on the derivative nonlinear Schrödinger equation revisited

Abstract: As a continuation of the previous work \cite{Wu}, we consider the global well-posedness for the derivative nonlinear Schr\"odinger equation. We prove that it is globally well-posed in energy space, provided that the initial data $u_0\in H^1(\mathbb{R})$ with $\|u_0\|_{L^2}< 2\sqrt{\pi}$.

The Master Equation in Mean Field Theory

Abstract: In his lectures at College de France, P.L. Lions introduced the concept of Master equation, see [5] for Mean Field Games. It is introduced in a heuristic fashion, from the system of partial differential equations, associated to a Nash equilibrium for a large, but finite, number of players. The method, also explained in[2], consists in a formal analogy of terms. The interest of this equation is that it contains interesting particular cases, which can be studied directly, in particular the system of HJB-FP (Hamilton-Jacobi-Bellman, Fokker-Planck) equations obtained as the limit of the finite Nash equilibrium game, when the trajectories are independent, see [4]. Usually, in mean field theory, one can bypass the large Nash equilibrium, by introducing the concept of representative agent, whose action is influenced by a distribution of similar agents, and obtains directly the system of HJB-FP equations of interest, see for instance [1]. Apparently, there is no such approach for the Master equation. We show here that it is possible. We first do it for the Mean Field type control problem, for which we interpret completely the Master equation. For the Mean Field Games itself, we solve a related problem, and obtain again the Master equation.

Spectral instability of characteristic boundary layer flows

Abstract: In this paper, we construct growing modes of the linearized Navier-Stokes equations about generic stationary shear flows of the boundary layer type in a regime of sufficiently large Reynolds number: $R \to \infty$ Notably, the shear profiles are allowed to be linearly stable at the infinite Reynolds number limit, and so the instability presented is purely due to the presence of viscosity The formal construction of approximate modes is well-documented in physics literature, going back to the work of Heisenberg, CC Lin, Tollmien, Drazin and Reid, but a rigorous construction requires delicate mathematical details, involving for instance a treatment of primitive Airy functions and singular solutions Our analysis gives exact unstable eigenvalues and eigenfunctions, showing that the solution could grow slowly at the rate of $e^{t/\sqrt {R}}$ A new, operator-based approach is introduced, avoiding to deal with matching inner and outer asymptotic expansions, but instead involving a careful study of singularity in the critical layers by deriving pointwise bounds on the Green function of the corresponding Rayleigh and Airy operators

Critical exponent for the semilinear wave equation with scale invariant damping

Abstract: In this paper we consider the critical exponent problem for the semilinear damped wave equation with time-dependent coefficients We treat the scale invariant cases In this case the asymptotic behavior of the solution is very delicate and the size of coefficient plays an essential role We shall prove that if the power of the nonlinearity is greater than the Fujita exponent, then there exists a unique global solution with small data, provided that the size of the coefficient is sufficiently large We shall also prove some blow-up results even in the case that the coefficient is sufficiently small

Well-Posedness for the Motion of Physical Vacuum of the Three-dimensional Compressible Euler Equations with or without Self-Gravitation

Abstract: This paper concerns the well-posedness theory of the motion of physical vacuum for the compressible Euler equations with or without self-gravitation. First, a general uniqueness theorem of classical solutions is proved for the three dimensional general motion. Second, for the spherically symmetric motions, without imposing the compatibility condition of the first derivative being zero at the center of symmetry, a new local-in-time existence theory is established in a functional space involving less derivatives than those constructed for three-dimensional motions in \cite{10',7,16'} by constructing suitable weights and cutoff functions featuring the behavior of solutions near both the center of the symmetry and the moving vacuum boundary.

An elementary proof of the global existence and uniqueness theorem to 2-D incompressible non-resistive MHD system

Abstract: In this paper, we provide a much simplified proof of the main result in [Lin, Xu, Zhang, arXiv:1302.5877] concerning the global existence and uniqueness of smooth solutions to the Cauchy problem for a 2D incompressible viscous and non-resistive MHD system under the assumption that the initial data are close to some equilibrium states. Beside the classical energy method, the interpolating inequalities and the algebraic structure of the equations coming from the incompressibility of the fluid are crucial in our arguments. We combine the energy estimates with the $L^\infty$ estimates for time slices to deduce the key $L^1$ in time estimates. The latter is responsible for the global in time existence.