Showing 1–50 of 99 results for author: Vázquez, J

Asymptotic behaviour of solutions and free boundaries of the anisotropic slow diffusion equation

Authors: Filomena Feo, Juan Luis Vázquez, Bruno Volzone

Abstract: In this paper we explore the theory of the anisotropic porous medium equation in the slow diffusion range. After revising the basic theory, we prove the existence of self-similar fundamental solutions (SSFS) of the equation posed in the whole Euclidean space. Each of such solutions is uniquely determined by its mass. This solution has compact support w.r.t. the space variables. We also obtain the… ▽ More In this paper we explore the theory of the anisotropic porous medium equation in the slow diffusion range. After revising the basic theory, we prove the existence of self-similar fundamental solutions (SSFS) of the equation posed in the whole Euclidean space. Each of such solutions is uniquely determined by its mass. This solution has compact support w.r.t. the space variables. We also obtain the sharp asymptotic behaviour of all finite mass solutions in terms of the family of self-similar fundamental solutions. Special attention is paid to the convergence of supports and free boundaries in relative size, i.e., measured in the appropriate anisotropic way. The fast diffusion case has been studied in a previous paper by us, there no free boundaries appear. △ Less

Submitted 19 December, 2024; v1 submitted 16 December, 2024; originally announced December 2024.

Comments: 47 pages, 3 figures, 37 references

MSC Class: 35K55; 35K65; 35A08; 35B40

A survey on mass conservation and related topics in nonlinear diffusion

Authors: Juan Luis Vázquez

Abstract: We examine the validity of the principle of mass conservation for solutions of some typical equations in the theory of nonlinear diffusion, including equations in standard differential form and also their fractional counterparts. We use as main examples the heat equation, the porous medium equation and the $p$-Laplacian equation. Though these equations have the form of conservation laws, it happen… ▽ More We examine the validity of the principle of mass conservation for solutions of some typical equations in the theory of nonlinear diffusion, including equations in standard differential form and also their fractional counterparts. We use as main examples the heat equation, the porous medium equation and the $p$-Laplacian equation. Though these equations have the form of conservation laws, it happens that in some ranges, and posed in the whole Euclidean space, the solutions actually lose mass in time, they even disappear in finite time. This is a surprising fact. In Part 1 we pay attention to the connection between the validity of mass conservation and the existence of finite-mass self-similar solutions, as well as the role in the asymptotic behaviour of more general classes of solutions. We examine the situations when mass conservation is replaced by its extreme alternative, extinction in finite time. The conservation laws offer difficult borderline cases in the presence of critical parameters that we identify. New results are proved. We establish mass conservation in those pending cases. We also explain the disappearance of the fundamental solutions in a very graphical way. The sections of Part 2 are devoted to the discussion of mass conservation for some fractional nonlinear diffusion equations, where the situation is surveyed and a number of pending theorems are proved. We conclude with a long review of related equations and topics in Part 3. Summing up, the paper aims at surveying an important topic in nonlinear diffusion; at the time we solve a number of open problems on key issues and point out new directions. △ Less

Submitted 30 November, 2023; originally announced November 2023.

Comments: 69 pages

MSC Class: 35R11; 35K55; 35K65; 35C06. 35A08; 35B40

The very singular solution for the Anisotropic Fast Diffusion Equation and its consequences

Authors: Juan Luis Vázquez

Abstract: We construct the Very Singular Solution (VSS) for the Anisotropic Fast Diffusion Equation (AFDE) in the suitable good exponent range of fast diffusion. VSS is a solution that, starting from an infinite mass located at one point as initial datum, evolves according to the corresponding equation as an admissible solution away from the singularity. It is expected to represent important properties of t… ▽ More We construct the Very Singular Solution (VSS) for the Anisotropic Fast Diffusion Equation (AFDE) in the suitable good exponent range of fast diffusion. VSS is a solution that, starting from an infinite mass located at one point as initial datum, evolves according to the corresponding equation as an admissible solution away from the singularity. It is expected to represent important properties of the fundamental solutions when the initial mass is very big. We work in the whole space. In this setting we show that the diffusion process distributes mass from the the initial infinite singularity along the different space directions: up to constant factors, there is a simple partition formula for the anisotropic mass expansion, given approximately as the minimum of separate 1-D VSS solutions. This striking fact is a consequence of the improved scaling properties of the special solution, and it has strong consequences. If we consider the family of Fundamental Solutions for different masses, we prove that they share the same universal tail behaviour as the VSS. Actually, their tail is asymptotically convergent to the unique VSS tail, so there is a VSS partition formula for their profile at spatial infinity. With the help of this analysis we study the behaviour of the class of nonnegative finite-mass solutions of the Anisotropic FDE, and prove the Global Harnack Principle (GHP) and the Asymptotic Convergence in Relative Error (ACRE) under a natural assumption on the decay of the initial tail. △ Less

Submitted 31 October, 2023; originally announced October 2023.

Comments: 23 pages

MSC Class: 35K55; 35K65; 35A08; 35B40

The limiting distribution of a random variable transformed by Chebyshev Polynomials

Authors: Javier Chico Vazquez, Andrew J. Horning

Abstract: In this paper we present the result of successively applying a Chebyshev polynomial to a continuous random variable. In particular we show that under mild assumptions the limiting distribution will be the same as the weight with respect to which Chebyshev polynomials are orthogonal. In this paper we present the result of successively applying a Chebyshev polynomial to a continuous random variable. In particular we show that under mild assumptions the limiting distribution will be the same as the weight with respect to which Chebyshev polynomials are orthogonal. △ Less

Submitted 25 October, 2023; originally announced October 2023.

Singular solutions for space-time fractional equations in a bounded domain

Authors: Hardy Chan, Juan Luis Vázquez, David Gómez-Castro

Abstract: This paper is devoted to describing a linear diffusion problem involving fractional-in-time derivatives and self-adjoint integro-differential space operators posed in bounded domains. One main concern of our paper is to deal with singular boundary data which are typical of fractional diffusion operators in space, and the other one is the consideration of the fractional-in-time Caputo and Riemann--… ▽ More This paper is devoted to describing a linear diffusion problem involving fractional-in-time derivatives and self-adjoint integro-differential space operators posed in bounded domains. One main concern of our paper is to deal with singular boundary data which are typical of fractional diffusion operators in space, and the other one is the consideration of the fractional-in-time Caputo and Riemann--Liouville derivatives in a unified way. We first construct classical solutions of our problems using the spectral theory and discussing the corresponding fractional-in-time ordinary differential equations. We take advantage of the duality between these fractional-in-time derivatives to introduce the notion of weak-dual solution for weighted-integrable data. As the main result of the paper, we prove the well-posedness of the initial and boundary-value problems in this sense. △ Less

Submitted 10 April, 2023; originally announced April 2023.

Evolution Driven by the Infinity Fractional Laplacian

Authors: Félix del Teso, Jørgen Endal, Espen R. Jakobsen, Juan Luis Vázquez

Abstract: We consider the evolution problem associated to the infinity fractional Laplacian introduced by Bjorland, Caffarelli and Figalli (2012) as the infinitesimal generator of a non-Brownian tug-of-war game. We first construct a class of viscosity solutions of the initial-value problem for bounded and uniformly continuous data. An important result is the equivalence of the nonlinear operator in higher d… ▽ More We consider the evolution problem associated to the infinity fractional Laplacian introduced by Bjorland, Caffarelli and Figalli (2012) as the infinitesimal generator of a non-Brownian tug-of-war game. We first construct a class of viscosity solutions of the initial-value problem for bounded and uniformly continuous data. An important result is the equivalence of the nonlinear operator in higher dimensions with the one-dimensional fractional Laplacian when it is applied to radially symmetric and monotone functions. Thanks to this and a comparison theorem between classical and viscosity solutions, we are able to establish a global Harnack inequality that, in particular, explains the long-time behavior of the solutions. △ Less

Submitted 12 October, 2022; originally announced October 2022.

Comments: 26 pages, 5 figures

Journal ref: Calc. Var., 62:136, 2023

Nonlinear aggregation-diffusion equations with Riesz potentials

Authors: Yanghong Huang, Edoardo Mainini, Juan Luis Vázquez, Bruno Volzone

Abstract: We consider an aggregation-diffusion model, where the diffusion is nonlinear of porous medium type and the aggregation is governed by the Riesz potential of order s. The addition of a quadratic diffusion term produces a more precise competition with the aggregation term for small s, as they have the same scaling if s=0. We prove existence and uniqueness of stationary states and we characterize the… ▽ More We consider an aggregation-diffusion model, where the diffusion is nonlinear of porous medium type and the aggregation is governed by the Riesz potential of order s. The addition of a quadratic diffusion term produces a more precise competition with the aggregation term for small s, as they have the same scaling if s=0. We prove existence and uniqueness of stationary states and we characterize their asymptotic behavior as s goes to zero. Moreover, we prove existence of gradient flow solutions to the evolution problem by applying the JKO scheme. △ Less

Submitted 26 May, 2022; originally announced May 2022.

Remembering Louis Nirenberg and his mathematics

Authors: Juan Luis Vázquez

Abstract: The article is dedicated to recalling the life and mathematics of Louis Nirenberg, a distinguished Canadian mathematician who recently died in New York, where he lived. An emblematic figure of Analysis and Partial Differential Equations in the last century, he was awarded the Abel Prize in 2015. From his watchtower at the Courant Institute in New York, he was for many years a global teacher and ma… ▽ More The article is dedicated to recalling the life and mathematics of Louis Nirenberg, a distinguished Canadian mathematician who recently died in New York, where he lived. An emblematic figure of Analysis and Partial Differential Equations in the last century, he was awarded the Abel Prize in 2015. From his watchtower at the Courant Institute in New York, he was for many years a global teacher and master. He was a good friend of Spain. △ Less

Submitted 27 May, 2021; v1 submitted 21 May, 2021; originally announced May 2021.

Comments: 22 pages, 6 figures Extended English version of the paper "Recordando a Louis Nirenberg y sus matemáticas" published in Spanish by Gaceta Real Soc. Mat. Esp. 23 (2020), no. 2, 243-261. This is a corrected and updated version, including a reference to the new article by Joel Spruck

MSC Class: 01A70

Anisotropic p-Laplacian Evolution of Fast Diffusion type

Authors: Filomena Feo, Juan Luis Vazquez, Bruno Volzone

Abstract: We study an anisotropic, possibly non-homogeneous version of the evolution $p$-Laplacian equation when fast diffusion holds in all directions. We develop the basic theory and prove symmetrization results from which we derive $L^1$ to $L^\infty$ estimates. We prove the existence of a self-similar fundamental solution of this equation in the appropriate exponent range, and uniqueness in a smaller ra… ▽ More We study an anisotropic, possibly non-homogeneous version of the evolution $p$-Laplacian equation when fast diffusion holds in all directions. We develop the basic theory and prove symmetrization results from which we derive $L^1$ to $L^\infty$ estimates. We prove the existence of a self-similar fundamental solution of this equation in the appropriate exponent range, and uniqueness in a smaller range. We also obtain the asymptotic behaviour of finite mass solutions in terms of the self-similar solution. Positivity, decay rates as well as other properties of the solutions are derived. The combination of self-similarity and anisotropy is not common in the related literature. It is however essential in our analysis and creates mathematical difficulties that are solved for fast diffusions. △ Less

Submitted 9 May, 2021; originally announced May 2021.

Comments: 54 pages, 1 figure, 61 refs

MSC Class: 35K55; 35K65; 35A08; 35B40

Infinite-time concentration in Aggregation--Diffusion equations with a given potential

Authors: Jose A. Carrillo, David Gómez-Castro, Juan Luis Vázquez

Abstract: Typically, aggregation-diffusion is modeled by parabolic equations that combine linear or nonlinear diffusion with a Fokker-Planck convection term. Under very general suitable assumptions, we prove that radial solutions of the evolution process converge asymptotically in time towards a stationary state representing the balance between the two effects. Our parabolic system is the gradient flow of a… ▽ More Typically, aggregation-diffusion is modeled by parabolic equations that combine linear or nonlinear diffusion with a Fokker-Planck convection term. Under very general suitable assumptions, we prove that radial solutions of the evolution process converge asymptotically in time towards a stationary state representing the balance between the two effects. Our parabolic system is the gradient flow of an energy functional, and in fact we show that the stationary states are minimizers of a relaxed energy. Here, we study radial solutions of an aggregation-diffusion model that combines nonlinear fast diffusion with a convection term driven by the gradient of a potential, both in balls and the whole space. We show that, depending on the exponent of fast diffusion and the potential, the steady state is given by the sum of an explicit integrable function, plus a Dirac delta at the origin containing the rest of the mass of the initial datum. Furthermore, it is a global minimizer of the relaxed energy. This splitting phenomenon is an uncommon example of blow-up in infinite time. △ Less

Submitted 26 October, 2021; v1 submitted 23 March, 2021; originally announced March 2021.

MSC Class: 35K55; 35K65; 35B40; 35D40; 35Q84

Journal ref: Journal de Mathématiques Pures et Appliquées 157, 2022

Growing Solutions of the fractional $p$-Laplacian equation in the Fast Diffusion Range

Authors: Juan Luis Vázquez

Abstract: We establish existence, uniqueness as well as quantitative estimates for solutions to the fractional nonlinear diffusion equation, $\partial_t u +{\mathcal L}_{s,p} (u)=0$, where ${\mathcal L}_{s,p}=(-Δ)_p^s$ is the standard fractional $p$-Laplacian operator. We work in the range of exponents $0<s<1$ and $1<p<2$, and in some sections $sp<1$. The equation is posed in the whole space… ▽ More We establish existence, uniqueness as well as quantitative estimates for solutions to the fractional nonlinear diffusion equation, $\partial_t u +{\mathcal L}_{s,p} (u)=0$, where ${\mathcal L}_{s,p}=(-Δ)_p^s$ is the standard fractional $p$-Laplacian operator. We work in the range of exponents $0<s<1$ and $1<p<2$, and in some sections $sp<1$. The equation is posed in the whole space $x\in {\mathbb R}^N$. We first obtain weighted global integral estimates that allow establishing the existence of solutions for a class of large data that is proved to be roughly optimal. We study the class of self-similar solutions of forward type, that we describe in detail when they exist. We also explain what happens when possible self-similar solutions do not exist. We establish the dichotomy positivity versus extinction for nonnegative solutions at any given time. We analyze the conditions for extinction in finite time. △ Less

Submitted 21 May, 2021; v1 submitted 28 February, 2021; originally announced March 2021.

Comments: 47 pages, 3 figures New section on mass conservation added to this version

MSC Class: 35R11; 35K55; 35C06

The fractional p-Laplacian evolution equation in $\mathbb{R}^N$ in the sublinear case

Authors: Juan Luis Vázquez

Abstract: We consider the natural time-dependent fractional $p$-Laplacian equation posed in the whole Euclidean space, with parameter $1<p<2$ and fractional exponent $s\in (0,1)$. Rather standard theory shows that the Cauchy Problem for data in the Lebesgue $L^q$ spaces is well posed, and the solutions form a family of non-expansive semigroups with regularity and other interesting properties. The superlinea… ▽ More We consider the natural time-dependent fractional $p$-Laplacian equation posed in the whole Euclidean space, with parameter $1<p<2$ and fractional exponent $s\in (0,1)$. Rather standard theory shows that the Cauchy Problem for data in the Lebesgue $L^q$ spaces is well posed, and the solutions form a family of non-expansive semigroups with regularity and other interesting properties. The superlinear case $p>2$ has been dealt with in a recent paper. We study here the "fast" regime $1<p<2$ which is more complex. As main results, we construct the self-similar fundamental solution for every mass value $M$ and any $p$ in the subrange $p_c=2N/(N+s)<p<2$, and we show that this is the precise range where they can exist. We also prove that general finite-mass solutions converge towards the fundamental solution having the same mass, and convergence holds in all $L^q$ spaces. Fine bounds in the form of global Harnack inequalities are obtained. Another main topic of the paper is the study of solutions having strong singularities. We find a type of singular solution called Very Singular Solution that exists for $p_c<p<p_1$, where $p_1$ is a new critical number that we introduce, $p_1\in (p_c,2)$. We extend this type of singular solutions to the "very fast range" $1<p<p_c$. They represent examples of weak solutions having finite-time extinction in that lower $p$ range. We briefly examine the situation in the limit case $p=p_c$. Finally, very singular solutions are related to fractional elliptic problems of nonlinear eigenvalue form.in the limit case $p=p_c$. Finally, very singular solutions are related to fractional elliptic problems of nonlinear eigenvalue form. △ Less

Submitted 6 January, 2021; v1 submitted 30 October, 2020; originally announced November 2020.

Comments: 71 pages, 3 figures. Improvement of version 1: Subsection 2.6 added, rest of paper corrected for typos, small changes performed, reference added. arXiv admin note: text overlap with arXiv:2004.05799

Three representations of the fractional $p$-Laplacian: semigroup, extension and Balakrishnan formulas

Authors: Félix del Teso, David Gómez-Castro, Juan Luis Vázquez

Abstract: We introduce three representation formulas for the fractional $p$-Laplace operator in the whole range of parameters $0<s<1$ and $1<p<\infty$. Note that for $p\ne 2$ this a nonlinear operator. The first representation is based on a splitting procedure that combines a renormalized nonlinearity with the linear heat semigroup. The second adapts the nonlinearity to the Caffarelli-Silvestre linear exten… ▽ More We introduce three representation formulas for the fractional $p$-Laplace operator in the whole range of parameters $0<s<1$ and $1<p<\infty$. Note that for $p\ne 2$ this a nonlinear operator. The first representation is based on a splitting procedure that combines a renormalized nonlinearity with the linear heat semigroup. The second adapts the nonlinearity to the Caffarelli-Silvestre linear extension technique. The third one is the corresponding nonlinear version of the Balakrishnan formula. We also discuss the correct choice of the constant of the fractional $p$-Laplace operator in order to have continuous dependence as $p\to 2$ and $s \to 0^+, 1^-$. A number of consequences and proposals are derived. Thus, we propose a natural spectral-type operator in domains, different from the standard restriction of the fractional $p$-Laplace operator acting on the whole space. We also propose numerical schemes, a new definition of the fractional $p$-Laplacian on manifolds, as well as alternative characterizations of the $W^{s,p}(\mathbb{R}^n)$ seminorms. △ Less

Submitted 26 August, 2021; v1 submitted 14 October, 2020; originally announced October 2020.

Comments: To appear in Fractional Calculus and Applied Analysis

A simple proof of the generalized Leibniz rule on bounded Euclidean domains

Authors: Quoc-Hung Nguyen, Yannick Sire, Juan-Luis Vazquez

Abstract: This note is devoted to a simple proof of the generalized Leibniz rule in bounded domains. The operators under consideration are the so-called spectral Laplacian and the restricted Laplacian. Equations involving such operators have been lately considered by Constantin and Ignatova in the framework of the SQG equation \cite{CI} in bounded domains and by two of the authors \cite{HungJuan} in the fra… ▽ More This note is devoted to a simple proof of the generalized Leibniz rule in bounded domains. The operators under consideration are the so-called spectral Laplacian and the restricted Laplacian. Equations involving such operators have been lately considered by Constantin and Ignatova in the framework of the SQG equation \cite{CI} in bounded domains and by two of the authors \cite{HungJuan} in the framework of the porous medium with nonlocal pressure in bounded domains. We will use the estimates in this work in a forthcoming paper on the study of Porous Medium Equations with pressure given by Riesz-type potentials . △ Less

Submitted 23 August, 2021; v1 submitted 19 August, 2020; originally announced August 2020.

Singular solutions for fractional parabolic boundary value problems

Authors: Hardy Chan, David Gómez-Castro, Juan Luis Vázquez

Abstract: The standard problem for the classical heat equation posed in a bounded domain $Ω$ of $\mathbb R^n$ is the initial and boundary value problem. If the Laplace operator is replaced by a version of the fractional Laplacian, the initial and boundary value problem can still be solved on the condition that the non-zero boundary data must be singular, i.e., the solution $u(t,x)$ blows up as $x$ approache… ▽ More The standard problem for the classical heat equation posed in a bounded domain $Ω$ of $\mathbb R^n$ is the initial and boundary value problem. If the Laplace operator is replaced by a version of the fractional Laplacian, the initial and boundary value problem can still be solved on the condition that the non-zero boundary data must be singular, i.e., the solution $u(t,x)$ blows up as $x$ approaches $\partial Ω$ in a definite way. In this paper we construct a theory of existence and uniqueness of solutions of the parabolic problem with singular data taken in a very precise sense, and also admitting initial data and a forcing term. When the boundary data are zero we recover the standard fractional heat semigroup. A general class of integro-differential operators may replace the classical fractional Laplacian operators, thus enlarging the scope of the work. As further results on the spectral theory of the fractional heat semigroup, we show that a one-sided Weyl-type law holds in the general class, which was previously known for the restricted and spectral fractional Laplacians, but is new for the censored (or regional) fractional Laplacian. This yields bounds on the fractional heat kernel. △ Less

Submitted 5 August, 2020; v1 submitted 27 July, 2020; originally announced July 2020.

MSC Class: 35S16; 35K67; 35D30; 35C15; 35K08

Characterisation of homogeneous fractional Sobolev spaces

Authors: Lorenzo Brasco, David Gómez-Castro, Juan Luis Vázquez

Abstract: Our aim is to characterize the homogeneous fractional Sobolev-Slobodeckiĭ spaces $\mathcal{D}^{s,p} (\mathbb{R}^n)$ and their embeddings, for $s \in (0,1]$ and $p\ge 1$. They are defined as the completion of the set of smooth and compactly supported test functions with respect to the Gagliardo-Slobodeckiĭ seminorms. For $s\,p < n$ or $s = p = n = 1$ we show that $\mathcal{D}^{s,p}(\mathbb{R}^n)$ i… ▽ More Our aim is to characterize the homogeneous fractional Sobolev-Slobodeckiĭ spaces $\mathcal{D}^{s,p} (\mathbb{R}^n)$ and their embeddings, for $s \in (0,1]$ and $p\ge 1$. They are defined as the completion of the set of smooth and compactly supported test functions with respect to the Gagliardo-Slobodeckiĭ seminorms. For $s\,p < n$ or $s = p = n = 1$ we show that $\mathcal{D}^{s,p}(\mathbb{R}^n)$ is isomorphic to a suitable function space, whereas for $s\,p \ge n$ it is isomorphic to a space of equivalence classes of functions, differing by an additive constant. As one of our main tools, we present a Morrey-Campanato inequality where the Gagliardo-Slobodeckiĭ seminorm controls from above a suitable Campanato seminorm. △ Less

Submitted 8 June, 2021; v1 submitted 15 July, 2020; originally announced July 2020.

Comments: 31 pages, an error in the proof of Lemma A.1 has been fixed

Journal ref: Calculus of Variations and Partial Differential Equations, 60 (2), 2021

Vortex formation for a non-local interaction model with Newtonian repulsion and superlinear mobility

Authors: Jose A. Carrillo, David Gómez-Castro, Juan Luis Vázquez

Abstract: We consider density solutions for gradient flow equations of the form $u_t = \nabla \cdot ( γ(u) \nabla \mathrm N(u))$, where $\mathrm N$ is the Newtonian repulsive potential in the whole space $\mathbb R^d$ with the nonlinear convex mobility $γ(u)=u^α$, and $α>1$. We show that solutions corresponding to compactly supported initial data remain compactly supported for all times leading to moving fr… ▽ More We consider density solutions for gradient flow equations of the form $u_t = \nabla \cdot ( γ(u) \nabla \mathrm N(u))$, where $\mathrm N$ is the Newtonian repulsive potential in the whole space $\mathbb R^d$ with the nonlinear convex mobility $γ(u)=u^α$, and $α>1$. We show that solutions corresponding to compactly supported initial data remain compactly supported for all times leading to moving free boundaries as in the linear mobility case $γ(u)=u$. For linear mobility it was shown that there is a special solution in the form of a disk vortex of constant intensity in space $u=c_1t^{-1}$ supported in a ball that spreads in time like $c_2t^{1/d}$, thus showing a discontinuous leading front or shock. Our present results are in sharp contrast with the case of concave mobilities of the form $γ(u)=u^α$, with $0<α<1$ studied in [9]. There, we developed a well-posedness theory of viscosity solutions that are positive everywhere and moreover display a fat tail at infinity. Here, we also develop a well-posedness theory of viscosity solutions that in the radial case leads to a very detail analysis allowing us to show a waiting time phenomena. This is a typical behavior for nonlinear degenerate diffusion equations such as the porous medium equation. We will also construct explicit self-similar solutions exhibiting similar vortex-like behaviour characterizing the long time asymptotics of general radial solutions under certain assumptions. Convergent numerical schemes based on the viscosity solution theory are proposed analysing their rate of convergence. We complement our analytical results with numerical simulations ilustrating the proven results and showcasing some open problems. △ Less

Submitted 22 December, 2021; v1 submitted 2 July, 2020; originally announced July 2020.

Journal ref: Advances in Nonlinear Analysis, vol. 11, no. 1, 2022, pp. 937-967

Anisotropic Fast Diffusion Equations

Authors: Filomena Feo, Juan Luis Vázquez, Bruno Volzone

Abstract: We prove the existence of self-similar fundamental solutions (SSF) of the anisotropic porous medium equation in the suitable fast diffusion range. Each of such SSF solutions is uniquely determined by its mass. We also obtain the asymptotic behaviour of all finite-mass solutions in terms of the family of self-similar fundamental solutions. Time decay rates are derived as well as other properties of… ▽ More We prove the existence of self-similar fundamental solutions (SSF) of the anisotropic porous medium equation in the suitable fast diffusion range. Each of such SSF solutions is uniquely determined by its mass. We also obtain the asymptotic behaviour of all finite-mass solutions in terms of the family of self-similar fundamental solutions. Time decay rates are derived as well as other properties of the solutions, like quantitative boundedness, positivity and regularity. The combination of self-similarity and anisotropy is essential in our analysis and creates serious mathematical difficulties that are addressed by means of novel methods. △ Less

Submitted 23 April, 2023; v1 submitted 30 June, 2020; originally announced July 2020.

Comments: 62 pages. Typos corrected, references added, text provided with very detailed proofs. To appear in Nonlinear Analysis in 2023

MSC Class: 35K55; 35K65; 35A08; 35B40

Estimates on translations and Taylor expansions in fractional Sobolev spaces

Authors: Félix del Teso, David Gómez-Castro, Juan Luis Vázquez

Abstract: In this paper we study how the (normalised) Gagliardo semi-norms $[u]_{W^{s,p} (\mathbb{R}^n)}$ control translations. In particular, we prove that $\| u(\cdot + y) - u \|_{L^p (\mathbb{R}^n)} \le C [ u ] _{W^{s,p} (\mathbb{R}^n)} |y|^s$ for $n\geq1$, $s \in [0,1]$ and $p \in [1,+\infty]$, where $C$ depends only on $n$. We then obtain a corresponding higher-order version of this result: we get frac… ▽ More In this paper we study how the (normalised) Gagliardo semi-norms $[u]_{W^{s,p} (\mathbb{R}^n)}$ control translations. In particular, we prove that $\| u(\cdot + y) - u \|_{L^p (\mathbb{R}^n)} \le C [ u ] _{W^{s,p} (\mathbb{R}^n)} |y|^s$ for $n\geq1$, $s \in [0,1]$ and $p \in [1,+\infty]$, where $C$ depends only on $n$. We then obtain a corresponding higher-order version of this result: we get fractional rates of the error term in the Taylor expansion. We also present relevant implications of our two results. First, we obtain a direct proof of several compact embedding of $W^{s,p}(\mathbb{R}^n)$ where the Fréchet-Kolmogorov Theorem is applied with known rates. We also derive fractional rates of convergence of the convolution of a function with suitable mollifiers. Thirdly, we obtain fractional rates of convergence of finite-difference discretizations for $W^{s,p} (\mathbb{R}^n))$. △ Less

Submitted 25 April, 2020; originally announced April 2020.

Comments: 12 pages

The evolution fractional p-Laplacian equation in $\mathbb{R}^N$. Fundamental solution and asymptotic behaviour

Authors: Juan Luis Vázquez

Abstract: We consider the natural time-dependent fractional $p$-Laplacian equation posed in the whole Euclidean space, with parameters $p>2$ and $s\in (0,1)$ (fractional exponent). We show that the Cauchy Problem for data in the Lebesgue $L^q$ spaces is well posed, and show that the solutions form a family of non-expansive semigroups with regularity and other interesting properties. As main results, we cons… ▽ More We consider the natural time-dependent fractional $p$-Laplacian equation posed in the whole Euclidean space, with parameters $p>2$ and $s\in (0,1)$ (fractional exponent). We show that the Cauchy Problem for data in the Lebesgue $L^q$ spaces is well posed, and show that the solutions form a family of non-expansive semigroups with regularity and other interesting properties. As main results, we construct the self-similar fundamental solution for every mass value $M,$ and prove that general finite-mass solutions converge towards that fundamental solution having the same mass in all $L^q$ spaces.A number of additional properties and estimates complete the picture. △ Less

Submitted 31 May, 2020; v1 submitted 13 April, 2020; originally announced April 2020.

Comments: 43 pages. 2 figures. Essential improvement of the original text

MSC Class: 35K55; 35K65; 35R11; 35A08; 35B40

Blow-up phenomena in nonlocal eigenvalue problems: when theories of $L^1$ and $L^2$ meet

Authors: Hardy Chan, David Gómez-Castro, Juan Luis Vázquez

Abstract: We develop a linear theory of very weak solutions for nonlocal eigenvalue problems $\mathcal L u = λu + f$ involving integro-differential operators posed in bounded domains with homogeneous Dirichlet exterior condition, with and without singular boundary data. We consider mild hypotheses on the Green's function and the standard eigenbasis of the operator. The main examples in mind are the fraction… ▽ More We develop a linear theory of very weak solutions for nonlocal eigenvalue problems $\mathcal L u = λu + f$ involving integro-differential operators posed in bounded domains with homogeneous Dirichlet exterior condition, with and without singular boundary data. We consider mild hypotheses on the Green's function and the standard eigenbasis of the operator. The main examples in mind are the fractional Laplacian operators. Without singular boundary datum and when $λ$ is not an eigenvalue of the operator, we construct an $L^2$-projected theory of solutions, which we extend to the optimal space of data for the operator $\mathcal L$. We present a Fredholm alternative as $λ$ tends to the eigenspace and characterise the possible blow-up limit. The main new ingredient is the transfer of orthogonality to the test function. We then extend the results to singular boundary data and study the so-called large solutions, which blow up at the boundary. For that problem we show that, for any regular value $λ$, there exist "large eigenfunctions" that are singular on the boundary and regular inside. We are also able to present a Fredholm alternative in this setting, as $λ$ approaches the values of the spectrum. We also obtain a maximum principle for weighted $L^1$ solutions when the operator is $L^2$-positive. It yields a global blow-up phenomenon as the first eigenvalue is approached from below. Finally, we recover the classical Dirichlet problem as the fractional exponent approaches one under mild assumptions on the Green's functions. Thus "large eigenfunctions" represent a purely nonlocal phenomenon. △ Less

Submitted 22 April, 2022; v1 submitted 9 April, 2020; originally announced April 2020.

Comments: The explicit constant in equation (2.3) (which is deduced in Lemma B.1) has been corrected from $Γ(s+1)^2$ to $Γ(s+1) Γ(s)$. The proof of Lemma B.1 has been slightly modified accordingly. It does not affect any of the other results in the text

MSC Class: 35R09 35R11 35D30 45C05

Journal ref: Journal of Functional Analysis, 280 (7), 2021

Optimization-Based Hierarchical Motion Planning for Autonomous Racing

Authors: José L. Vázquez, Marius Brühlmeier, Alexander Liniger, Alisa Rupenyan, John Lygeros

Abstract: In this paper we propose a hierarchical controller for autonomous racing where the same vehicle model is used in a two level optimization framework for motion planning. The high-level controller computes a trajectory that minimizes the lap time, and the low-level nonlinear model predictive path following controller tracks the computed trajectory online. Following a computed optimal trajectory avoi… ▽ More In this paper we propose a hierarchical controller for autonomous racing where the same vehicle model is used in a two level optimization framework for motion planning. The high-level controller computes a trajectory that minimizes the lap time, and the low-level nonlinear model predictive path following controller tracks the computed trajectory online. Following a computed optimal trajectory avoids online planning and enables fast computational times. The efficiency is further enhanced by the coupling of the two levels through a terminal constraint, computed in the high-level controller. Including this constraint in the real-time optimization level ensures that the prediction horizon can be shortened, while safety is guaranteed. This proves crucial for the experimental validation of the approach on a full size driverless race car. The vehicle in question won two international student racing competitions using the proposed framework; moreover, our hierarchical controller achieved an improvement of 20% in the lap time compared to the state of the art result achieved using a very similar car and track. △ Less

Submitted 11 March, 2020; v1 submitted 10 March, 2020; originally announced March 2020.

Comments: Submitted to IROS

On the two-phase fractional Stefan problem

Authors: Félix del Teso, Jørgen Endal, Juan Luis Vázquez

Abstract: The classical Stefan problem is one of the most studied free boundary problems of evolution type. Recently, there has been interest in treating the corresponding free boundary problem with nonlocal diffusion. We start the paper by reviewing the main properties of the classical problem that are of interest for us. Then we introduce the fractional Stefan problem and develop the basic theory. After… ▽ More The classical Stefan problem is one of the most studied free boundary problems of evolution type. Recently, there has been interest in treating the corresponding free boundary problem with nonlocal diffusion. We start the paper by reviewing the main properties of the classical problem that are of interest for us. Then we introduce the fractional Stefan problem and develop the basic theory. After that we center our attention on selfsimilar solutions, their properties and consequences. We first discuss the results of the one-phase fractional Stefan problem which have recently been studied by the authors. Finally, we address the theory of the two-phase fractional Stefan problem which contains the main original contributions of this paper. Rigorous numerical studies support our results and claims. △ Less

Submitted 4 February, 2020; originally announced February 2020.

Comments: 27 pages, 5 figures

A fast regularisation of a Newtonian vortex equation

Authors: José A. Carrillo, David Gómez-Castro, Juan Luis Vázquez

Abstract: We consider equations of the form $ u_t = \nabla \cdot ( γ(u) \nabla \mathrm{N}(u))$, where $\mathrm{N}$ is the Newtonian potential (inverse of the Laplacian) posed in the whole space $\mathbb R^d$, and $γ(u)$ is the mobility. For linear mobility, $γ(u)=u$, the equation and some variations have been proposed as a model for superconductivity or superfluidity. In that case the theory leads to unique… ▽ More We consider equations of the form $ u_t = \nabla \cdot ( γ(u) \nabla \mathrm{N}(u))$, where $\mathrm{N}$ is the Newtonian potential (inverse of the Laplacian) posed in the whole space $\mathbb R^d$, and $γ(u)$ is the mobility. For linear mobility, $γ(u)=u$, the equation and some variations have been proposed as a model for superconductivity or superfluidity. In that case the theory leads to uniqueness of bounded weak solutions having the property of compact space support, and in particular there is a special solution in the form of a disk vortex of constant intensity in space $u=c_1t^{-1}$ supported in a ball that spreads in time like $c_2t^{1/d}$, thus showing a discontinuous leading front. In this paper we propose the model with sublinear mobility $γ(u)=u^α$, with $0<α<1$, and prove that nonnegative solutions recover positivity everywhere, and moreover display a fat tail at infinity. The model acts in many ways as a regularization of the previous one. In particular, we find that the equivalent of the previous vortex is an explicit self-similar solution decaying in time like $u=O(t^{-1/α})$ with a space tail with size $u=O(|x|^{- d/(1-α)})$. We restrict the analysis to radial solutions and construct solutions by the method of characteristics. We introduce the mass function, which solves an unusual variation of Burger's equation, and plays an important role in the analysis. We show well-posedness in the sense of viscosity solutions. We also construct numerical finite-difference convergent schemes. △ Less

Submitted 28 June, 2021; v1 submitted 2 December, 2019; originally announced December 2019.

Comments: 35 pages, 7 figures

MSC Class: 35L65; 35D40; 65M25

The one-phase fractional Stefan problem

Authors: Félix del Teso, Jørgen Endal, Juan Luis Vázquez

Abstract: We study the existence and properties of solutions and free boundaries of the one-phase Stefan problem with fractional diffusion posed in $\mathbb{R}^N$. In terms of the enthalpy $h(x,t)$, the evolution equation reads $\partial_t h+(-Δ)^sΦ(h) =0$, while the temperature is defined as $u:=Φ(h):=\max\{h-L,0\}$ for some constant $L>0$ called the latent heat, and $(-Δ)^s$ stands for the fractional Lapl… ▽ More We study the existence and properties of solutions and free boundaries of the one-phase Stefan problem with fractional diffusion posed in $\mathbb{R}^N$. In terms of the enthalpy $h(x,t)$, the evolution equation reads $\partial_t h+(-Δ)^sΦ(h) =0$, while the temperature is defined as $u:=Φ(h):=\max\{h-L,0\}$ for some constant $L>0$ called the latent heat, and $(-Δ)^s$ stands for the fractional Laplacian with exponent $s\in(0,1)$. We prove the existence of a continuous and bounded selfsimilar solution of the form $h(x,t)=H(x\,t^{-1/(2s)})$ which exhibits a free boundary at the change-of-phase level $h(x,t)=L$. This level is located at the line (called the free boundary) $x(t)=ξ_0 t^{1/(2s)}$ for some $ξ_0>0$. The construction is done in 1D, and its extension to $N$-dimensional space is shown. We also provide well-posedness and basic properties of very weak solutions for general bounded data $h_0$ in several dimensions. The temperatures $u$ of these solutions are continuous functions that have finite speed of propagation, with possible free boundaries. We obtain estimates on the growth in time of the support of $u$ for solutions with compactly supported initial temperatures. Besides, we show the property of conservation of positivity for $u$ so that the support never recedes. On the contrary, the enthalpy $h$ has infinite speed of propagation and we obtain precise estimates on the tail. The limits $L\to0^+$, $L\to +\infty$, $s\to0^+$ and $s\to 1^-$ are also explored, and we find interesting connections with well-studied diffusion problems. Finally, we propose convergent monotone finite-difference schemes and include numerical experiments aimed at illustrating some of the obtained theoretical results, as well as other interesting phenomena. △ Less

Submitted 19 August, 2022; v1 submitted 29 November, 2019; originally announced December 2019.

Comments: 46 pages, 7 figures. Acknowledgments updated (to match published paper) and journal reference added below

Journal ref: Math. Models Methods Appl. Sci., 31(1):83--131, 2021

Singular boundary behaviour and large solutions for fractional elliptic equations

Authors: Nicola Abatangelo, David Gómez-Castro, Juan Luis Vázquez

Abstract: We show that the boundary behaviour of solutions to nonlocal fractional equations posed in bounded domains strongly differs from the one of solutions to elliptic problems modelled upon the Laplace-Poisson equation with zero boundary data. In this classical case it is known that, at least in a suitable weak sense, solutions of non-homogeneous Dirichlet problem are unique and tend to zero at the bou… ▽ More We show that the boundary behaviour of solutions to nonlocal fractional equations posed in bounded domains strongly differs from the one of solutions to elliptic problems modelled upon the Laplace-Poisson equation with zero boundary data. In this classical case it is known that, at least in a suitable weak sense, solutions of non-homogeneous Dirichlet problem are unique and tend to zero at the boundary. Limits of these solutions then produce solutions of some non-homogeneous Dirichlet problem as the interior data concentrate suitably to the boundary. Here, we show that such results are false for equations driven by a wide class of nonlocal fractional operators, extending previous findings for some models of the fractional Laplacian operator. Actually, different blow-up phenomena may occur at the boundary of the domain. We describe such explosive behaviours and obtain precise quantitative estimates depending on simple parameters of the nonlocal pperators. Our unifying technique is based on a careful study of the inverse operator in terms of the corresponding Green function. △ Less

Submitted 18 November, 2019; v1 submitted 1 October, 2019; originally announced October 2019.

Comments: Improved version with corrections, an additional section, and improved numerics. 45 pages, 4 figures

On a fractional thin film equation

Authors: Antonio Segatti, Juan Luis Vázquez

Abstract: This paper deals with a nonlinear degenerate parabolic equation of order $α$ between 2 and 4 which is a kind of fractional version of the Thin Film Equation. Actually, this one corresponds to the limit value $α=4$ while the Porous Medium Equation is the limit $α=2$. We prove existence of a nonnegative weak solution for a general class of initial data, and establish its main properties. We also con… ▽ More This paper deals with a nonlinear degenerate parabolic equation of order $α$ between 2 and 4 which is a kind of fractional version of the Thin Film Equation. Actually, this one corresponds to the limit value $α=4$ while the Porous Medium Equation is the limit $α=2$. We prove existence of a nonnegative weak solution for a general class of initial data, and establish its main properties. We also construct the special solutions in self-similar form which turn out to be explicit and compactly supported. As in the porous medium case, they are supposed to give the long time behaviour or the wide class of solutions. This last result is proved to be true under some assumptions. Lastly, we consider nonlocal equations with the same nonlinear structure but with order from 4 to 6. For these equations we construct self-similar solutions that are positive and compactly supported, thus contributing to the higher order theory. △ Less

Submitted 13 March, 2020; v1 submitted 4 February, 2019; originally announced February 2019.

Comments: 54 Pages. This new version includes revisions and improvements on the previous one

MSC Class: 35R11 (35G25; 35K46; 35K65 35C06)

Travelling wave behaviour arising in nonlinear diffusion problems posed in tubular domains

Authors: Alessandro Audrito, Juan Luis Vázquez

Abstract: For a fixed bounded domain $D \subset \mathbb{R}^N$ we investigate the asymptotic behaviour for large times of solutions to the $p$-Laplacian diffusion equation posed in a tubular domain \begin{equation*} \partial_t u = Δ_p u \quad \text{ in } D \times \mathbb{R}, \quad t > 0 \end{equation*} with $p>2$, i.e., the slow diffusion case, and homogeneous Dirichlet boundary conditions on the tube bounda… ▽ More For a fixed bounded domain $D \subset \mathbb{R}^N$ we investigate the asymptotic behaviour for large times of solutions to the $p$-Laplacian diffusion equation posed in a tubular domain \begin{equation*} \partial_t u = Δ_p u \quad \text{ in } D \times \mathbb{R}, \quad t > 0 \end{equation*} with $p>2$, i.e., the slow diffusion case, and homogeneous Dirichlet boundary conditions on the tube boundary. Passing to suitable re-scaled variables, we show the existence of a travelling wave solution in logarithmic time that connects the level $u = 0$ and the unique nonnegative steady state associated to the re-scaled problem posed in a lower dimension, i.e. in $D\subset \mathbb{R}^N$. We then employ this special wave to show that a wide class of solutions converge to the universal stationary profile in the middle of the tube and at the same time they spread in both axial tube directions, miming the behaviour of the travelling wave (and its reflection) for large times. The first main feature of our analysis is that wave fronts are constructed through a (nonstandard) combination of diffusion and absorbing boundary conditions, which gives rise to a sort of Fisher-KPP long-time behaviour. The second one is that the nonlinear diffusion term plays a crucial role in our analysis. Actually, in the linear diffusion framework $p=2$ solutions behave quite differently. △ Less

Submitted 13 February, 2019; v1 submitted 11 January, 2019; originally announced January 2019.

Comments: 30 pages, 2 figure. This version contains a new figure displaying numerical simulations and some minor corrections

MSC Class: 35K57; 35K65; 35C07; 35K55

The fractional Schrödinger equation with singular potential and measure data

Authors: David Gómez-Castro, Juan Luis Vázquez

Abstract: We consider the steady fractional Schrödinger equation $L u + V u = f$ posed on a bounded domain $Ω$; $L$ is an integro-differential operator, like the usual versions of the fractional Laplacian $(-Δ)^s$; $V\ge 0$ is a potential with possible singularities, and the right-hand side are integrable functions or Radon measures. We reformulate the problem via the Green function of $(-Δ)^s$ and prove we… ▽ More We consider the steady fractional Schrödinger equation $L u + V u = f$ posed on a bounded domain $Ω$; $L$ is an integro-differential operator, like the usual versions of the fractional Laplacian $(-Δ)^s$; $V\ge 0$ is a potential with possible singularities, and the right-hand side are integrable functions or Radon measures. We reformulate the problem via the Green function of $(-Δ)^s$ and prove well-posedness for functions as data.If $V$ is bounded or mildly singular a unique solution of $(-Δ)^s u + V u = μ$ exists for every Borel measure $μ$. On the other hand, when $V$ is allowed to be more singular, but only on a finite set of points, a solution of $(-Δ)^s u + V u = δ_x$, where $δ_x$ is the Dirac measure at $x$, exists if and only if $h(y) = V(y) |x - y|^{-(n+2s)}$ is integrable on some small ball around $x$. We prove that the set $Z = \{x \in Ω: \textrm{no solution of } (-Δ)^s u + Vu = δ_x \textrm{ exists}\}$ is relevant in the following sense: a solution of $(-Δ)^s u + V u = μ$ exists if and only if $|μ| (Z) = 0$. Furthermore, $Z$ is the set points where the strong maximum principle fails, in the sense that for any bounded $f$ the solution of $(-Δ)^s u + Vu = f$ vanishes on $Z$. △ Less

Submitted 8 April, 2019; v1 submitted 5 December, 2018; originally announced December 2018.

MSC Class: 35R11; 35J10; 35D30; 35J67; 35J75

Journal ref: Discrete \& Continuous Dynamical Systems A, 39(12), 7113-7139. 2019

Asymptotic behaviour for the Heat Equation in Hyperbolic Space

Authors: Juan Luis Vázquez

Abstract: Following the classical result of long-time asymptotic convergence towards the Gaussian kernel that holds true for integrable solutions of the Heat Equation posed in the Euclidean Space $\mathbb{R}^n$, we examine the question of long-time behaviour of the Heat Equation in the Hyperbolic Space $\mathbb{H}^n$, $n>1$, also for integrable solutions. We show that the typical convergence proof towards t… ▽ More Following the classical result of long-time asymptotic convergence towards the Gaussian kernel that holds true for integrable solutions of the Heat Equation posed in the Euclidean Space $\mathbb{R}^n$, we examine the question of long-time behaviour of the Heat Equation in the Hyperbolic Space $\mathbb{H}^n$, $n>1$, also for integrable solutions. We show that the typical convergence proof towards the fundamental solution works in the class of radially symmetric solutions. We also prove the more precise result that says that this limit behaviour is exactly described by the 1D Euclidean kernel, but only after correction of a remarkable outward drift with constant speed produced by the geometry. Finally, we find that such fine convergence results are false for general nonnegative solutions with integrable initial data. △ Less

Submitted 8 February, 2019; v1 submitted 22 November, 2018; originally announced November 2018.

Comments: 24 pages. Continues theory of arXiv:1706.10034 [math.AP] This version is largely expanded; it contains a number of corrections and new arguments

MSC Class: 35K05; 35K08; 35B40; 35R01

The fractional Schrödinger equation with general nonnegative potentials. The weighted space approach

Authors: Jesús Ildefonso Díaz, David Gómez-Castro, Juan Luis Vázquez

Abstract: We study the Dirichlet problem for the stationary Schrödinger fractional Laplacian equation $(-Δ)^s u + V u = f$ posed in bounded domain $ Ω\subset \mathbb R^n$ with zero outside conditions. We consider general nonnegative potentials $V\in L^1_{loc}(Ω)$ and prove well-posedness of very weak solutions when the data are chosen in an optimal class of weighted integrable functions $f$. Important prope… ▽ More We study the Dirichlet problem for the stationary Schrödinger fractional Laplacian equation $(-Δ)^s u + V u = f$ posed in bounded domain $ Ω\subset \mathbb R^n$ with zero outside conditions. We consider general nonnegative potentials $V\in L^1_{loc}(Ω)$ and prove well-posedness of very weak solutions when the data are chosen in an optimal class of weighted integrable functions $f$. Important properties of the solutions, such as its boundary behaviour, are derived. The case of super singular potentials that blow up near the boundary is given special consideration. Related literature is commented. △ Less

Submitted 11 May, 2018; v1 submitted 23 April, 2018; originally announced April 2018.

MSC Class: 35J10; 35D30; 35J67; 35J75

Porous medium equation with nonlocal pressure

Authors: Diana Stan, Félix del Teso, Juan Luis Vázquez

Abstract: We provide a rather complete description of the results obtained so far on the nonlinear diffusion equation $u_t=\nabla\cdot (u^{m-1}\nabla (-Δ)^{-s}u)$, which describes a flow through a porous medium driven by a nonlocal pressure. We consider constant parameters $m>1$ and $0<s<1$, we assume that the solutions are non-negative, and the problem is posed in the whole space. We present a theory of ex… ▽ More We provide a rather complete description of the results obtained so far on the nonlinear diffusion equation $u_t=\nabla\cdot (u^{m-1}\nabla (-Δ)^{-s}u)$, which describes a flow through a porous medium driven by a nonlocal pressure. We consider constant parameters $m>1$ and $0<s<1$, we assume that the solutions are non-negative, and the problem is posed in the whole space. We present a theory of existence of solutions, results on uniqueness, and relation to other models. As new results of this paper, we prove the existence of self-similar solutions in the range when $N=1$ and $m>2$, and the asymptotic behavior of solutions when $N=1$. The cases $m = 1$ and $m = 2$ were rather well known. △ Less

Submitted 12 January, 2018; originally announced January 2018.

Comments: 24 pages, 2 figures

Equivalence between radial solutions of different parabolic gradient-diffusion equations and applications

Authors: Mikko Parviainen, Juan Luis Vázquez

Abstract: We consider a general form of a parabolic equation that generalizes both the standard parabolic $p$-Laplace equation and the normalized version that has been proposed in stochastic game theory. We establish an equivalence between this equation and the standard $p$-parabolic equation posed in a fictitious space dimension, valid for radially symmetric solutions. This allows us to find suitable expli… ▽ More We consider a general form of a parabolic equation that generalizes both the standard parabolic $p$-Laplace equation and the normalized version that has been proposed in stochastic game theory. We establish an equivalence between this equation and the standard $p$-parabolic equation posed in a fictitious space dimension, valid for radially symmetric solutions. This allows us to find suitable explicit solutions for example of Barenblatt type, and as a consequence we settle the exact asymptotic behaviour of the Cauchy problem even for nonradial data. We also establish the asymptotic behaviour in a bounded domain. Moreover, we use the explicit solutions to establish the parabolic Harnack's inequality. △ Less

Submitted 16 February, 2018; v1 submitted 2 January, 2018; originally announced January 2018.

MSC Class: 35K55; 49L25; 35B40; 35K65; 35K67

The porous medium equation on Riemannian manifolds with negative curvature: the superquadratic case

Authors: Gabriele Grillo, Matteo Muratori, Juan Luis Vázquez

Abstract: We study the long-time behaviour of nonnegative solutions of the Porous Medium Equation posed on Cartan-Hadamard manifolds having very large negative curvature, more precisely when the sectional or Ricci curvatures diverge at infinity more than quadratically in terms of the geodesic distance to the pole. We find an unexpected separate-variable behaviour that reminds one of Dirichlet problems on bo… ▽ More We study the long-time behaviour of nonnegative solutions of the Porous Medium Equation posed on Cartan-Hadamard manifolds having very large negative curvature, more precisely when the sectional or Ricci curvatures diverge at infinity more than quadratically in terms of the geodesic distance to the pole. We find an unexpected separate-variable behaviour that reminds one of Dirichlet problems on bounded Euclidean domains. As a crucial step, we prove existence of solutions to a related sublinear elliptic problem, a result of independent interest. Uniqueness of solutions vanishing at infinity is also shown, along with comparison principles, both in the parabolic and in the elliptic case. Our results complete previous analyses of the Porous Medium Equation flow on negatively curved Riemannian manifolds, which were carried out first for the hyperbolic space and then for general Cartan-Hadamard manifolds with a negative curvature having at most quadratic growth. We point out that no similar analysis seems to exist for the linear heat flow. We also translate such results into some weighted Porous Medium Equations in the Euclidean space having special weights. △ Less

Submitted 23 April, 2018; v1 submitted 17 October, 2017; originally announced October 2017.

Comments: Slight change in the title. Final version, to appear on Math. Ann

Sharp boundary behaviour of solutions to semilinear nonlocal elliptic equations

Authors: Matteo Bonforte, Alessio Figalli, Juan Luis Vazquez

Abstract: We investigate quantitative properties of nonnegative solutions $u(x)\ge 0$ to the semilinear diffusion equation $\mathcal{L} u= f(u)$, posed in a bounded domain $Ω\subset {\mathbb R}^N$ with appropriate homogeneous Dirichlet or outer boundary conditions. The operator $\mathcal{L}$ may belong to a quite general class of linear operators that include the standard Laplacian, the two most common defi… ▽ More We investigate quantitative properties of nonnegative solutions $u(x)\ge 0$ to the semilinear diffusion equation $\mathcal{L} u= f(u)$, posed in a bounded domain $Ω\subset {\mathbb R}^N$ with appropriate homogeneous Dirichlet or outer boundary conditions. The operator $\mathcal{L}$ may belong to a quite general class of linear operators that include the standard Laplacian, the two most common definitions of the fractional Laplacian $(-Δ)^s$ ($0<s<1$) in a bounded domain with zero Dirichlet conditions, and a number of other nonlocal versions. The nonlinearity $f$ is increasing and looks like a power function $f(u)\sim u^p$, with $p\le 1$. The aim of this paper is to show sharp quantitative boundary estimates based on a new iteration process. We also prove that, in the interior, solutions are Hölder continuous and even classical (when the operator allows for it). In addition, we get Hölder continuity up to the boundary. Particularly interesting is the behaviour of solution when the number $\frac{2s}{1-p}$ goes below the exponent $γ\in(0,1]$ corresponding to the Hölder regularity of the first eigenfunction $\mathcal{L}Φ_1=λ_1 Φ_1$. Indeed a change of boundary regularity happens in the different regimes $\frac{2s}{1-p} \gtreqqless γ$, and in particular a logarithmic correction appears in the "critical" case $\frac{2s}{1-p} = γ$. Indeed a change of boundary regularity happens in the different regimes $\frac{2s}{1-p} \gtreqqless γ$, and in particular a logarithmic correction appears in the "critical" case $\frac{2s}{1-p} = γ$. For instance, in the case of the spectral fractional Laplacian, this surprising boundary behaviour appears in the range $0<s\leq \frac{1-p}{2}$. △ Less

Submitted 12 February, 2018; v1 submitted 7 October, 2017; originally announced October 2017.

Comments: 35 pages, 1 figure

MSC Class: 35B45; 35B65; 35J61; 35K67

Asymptotic behaviour for the Fractional Heat Equation in the Euclidean space

Authors: Juan Luis Vázquez

Abstract: We consider weak solutions of the fractional heat equation posed in the whole $n$-dimensional space, and establish their asymptotic convergence to the fundamental solution as $t\to\infty$ under the assumption that the initial datum is an integrable function, or a finite Radon measure. Convergence with suitable rates is obtained for solutions with a finite first initial moment, while for solutions… ▽ More We consider weak solutions of the fractional heat equation posed in the whole $n$-dimensional space, and establish their asymptotic convergence to the fundamental solution as $t\to\infty$ under the assumption that the initial datum is an integrable function, or a finite Radon measure. Convergence with suitable rates is obtained for solutions with a finite first initial moment, while for solutions with compactly supported initial data convergence in relative error holds. The results are applied to the fractional Fokker-Planck equation. Brief mention of other techniques and related equations is made. △ Less

Submitted 17 October, 2017; v1 submitted 1 August, 2017; originally announced August 2017.

Comments: 16 pages. Improved version accepted by Complex Variables and Elliptic Equations

MSC Class: 35B40; 35R11; 35K55

Porous medium equation with nonlocal pressure in a bounded domain

Authors: Quoc-Hung Nguyen, Juan Luis Vázquez

Abstract: We study a quite general family of nonlinear evolution equations of diffusive type with nonlocal effects. More precisely, we study porous medium equations with a fractional Laplacian pressure, and the problem is posed on a bounded space domain. We prove existence of weak solutions and suitable a priori bounds and regularity estimates. We study a quite general family of nonlinear evolution equations of diffusive type with nonlocal effects. More precisely, we study porous medium equations with a fractional Laplacian pressure, and the problem is posed on a bounded space domain. We prove existence of weak solutions and suitable a priori bounds and regularity estimates. △ Less

Submitted 2 August, 2017; originally announced August 2017.

Comments: 44 pages

MSC Class: 35R11; 35K61; 35K65

Asymptotic behaviour methods for the Heat Equation. Convergence to the Gaussian

Authors: Juan Luis Vázquez

Abstract: In this expository work we discuss the asymptotic behaviour of the solutions of the classical heat equation posed in the whole Euclidean space. After an introductory review of the main facts on the existence and properties of solutions, we proceed with the proofs of convergence to the Gaussian fundamental solution, a result that holds for all integrable solutions, and represents in the PDE setti… ▽ More In this expository work we discuss the asymptotic behaviour of the solutions of the classical heat equation posed in the whole Euclidean space. After an introductory review of the main facts on the existence and properties of solutions, we proceed with the proofs of convergence to the Gaussian fundamental solution, a result that holds for all integrable solutions, and represents in the PDE setting the Central Limit Theorem of probability. We present several methods of proof: first, the scaling method. Then several versions of the representation method. This is followed by the functional analysis approach that leads to the famous related equations, Fokker-Planck and Ornstein-Uhlenbeck. The analysis of this connection is also given in rather complete form here. Finally, we present the Boltzmann entropy method, coming from kinetic equations. The different methods are interesting because of the possible extension to prove the asymptotic behaviour or stabilization analysis for more general equations, linear or nonlinear. It all depends a lot on the particular features, and only one or some of the methods work in each case.Other settings of the Heat Equation are briefly discussed in Section 9 and a longer mention of results for different equations is done in Section 10. △ Less

Submitted 22 November, 2018; v1 submitted 30 June, 2017; originally announced June 2017.

Comments: Corrected and extended version, 37 pages, 71 references

MSC Class: 35K05; 35K08

The mathematical theories of diffusion. Nonlinear and fractional diffusion

Authors: Juan Luis Vázquez

Abstract: We describe the mathematical theory of diffusion and heat transport with a view to including some of the main directions of recent research. The linear heat equation is the basic mathematical model that has been thoroughly studied in the last two centuries. It was followed by the theory of parabolic equations of different types. In a parallel development, the theory of stochastic differential equa… ▽ More We describe the mathematical theory of diffusion and heat transport with a view to including some of the main directions of recent research. The linear heat equation is the basic mathematical model that has been thoroughly studied in the last two centuries. It was followed by the theory of parabolic equations of different types. In a parallel development, the theory of stochastic differential equations gives a foundation to the probabilistic study of diffusion. Nonlinear diffusion equations have played an important role not only in theory but also in physics and engineering, and we focus on a relevant aspect, the existence and propagation of free boundaries. We use the porous medium and fast diffusion equations as case examples. A large part of the paper is devoted to diffusion driven by fractional Laplacian operators and other nonlocal integro-differential operators representing nonlocal, long-range diffusion effects. Three main models are examined (one linear, two nonlinear), and we report on recent progress in which the author is involved. △ Less

Submitted 26 June, 2017; originally announced June 2017.

Comments: To appear in Springer Lecture Notes in Mathematics, C.I.M.E. Subseries, 2017

MSC Class: 26A33; 35K55; 35K65; 35S10

Weak and smooth solutions for a fractional Yamabe flow: the case of general compact and locally conformally flat manifolds

Authors: Panagiota Daskalopoulos, Yannick Sire, Juan-Luis Vázquez

Abstract: As a counterpart of the classical Yamabe problem, a fractional Yamabe flow has been introduced by Jin and Xiong (2014) on the sphere. Here we pursue its study in the context of general compact smooth manifolds with positive fractional curvature. First, we prove that the flow is locally well posed in the weak sense on any compact manifold. If the manifold is locally conformally flat with positive Y… ▽ More As a counterpart of the classical Yamabe problem, a fractional Yamabe flow has been introduced by Jin and Xiong (2014) on the sphere. Here we pursue its study in the context of general compact smooth manifolds with positive fractional curvature. First, we prove that the flow is locally well posed in the weak sense on any compact manifold. If the manifold is locally conformally flat with positive Yamabe invariant, we also prove that the flow is smooth and converges to a constant scalar curvature metric. We provide different proofs using extension properties introduced by Chang and González (2011) for the conformally covariant fractional order operators. △ Less

Submitted 16 February, 2017; originally announced February 2017.

Sharp global estimates for local and nonlocal porous medium-type equations in bounded domains

Authors: Matteo Bonforte, Alessio Figalli, Juan Luis Vazquez

Abstract: This paper provides a quantitative study of nonnegative solutions to nonlinear diffusion equations of porous medium-type of the form $\partial_t u + {\mathcal L}u^m=0$, $m>1$, where the operator ${\mathcal L}$ belongs to a general class of linear operators, and the equation is posed in a bounded domain $Ω\subset{\mathbb R}^N$. As possible operators we include the three most common definitions of t… ▽ More This paper provides a quantitative study of nonnegative solutions to nonlinear diffusion equations of porous medium-type of the form $\partial_t u + {\mathcal L}u^m=0$, $m>1$, where the operator ${\mathcal L}$ belongs to a general class of linear operators, and the equation is posed in a bounded domain $Ω\subset{\mathbb R}^N$. As possible operators we include the three most common definitions of the fractional Laplacian in a bounded domain with zero Dirichlet conditions, and also a number of other nonlocal versions. In particular, ${\mathcal L}$ can be a power of a uniformly elliptic operator with $C^1$ coefficients. Since the nonlinearity is given by $u^m$ with $m>1$, the equation is degenerate parabolic. The basic well-posedness theory for this class of equations has been recently developed in [14,15]. Here we address the regularity theory: decay and positivity, boundary behavior, Harnack inequalities, interior and boundary regularity, and asymptotic behavior. All this is done in a quantitative way, based on sharp a priori estimates. Although our focus is on the fractional models, our results cover also the local case when ${\mathcal L}$ is a uniformly elliptic operator, and provide new estimates even in this setting. A surprising aspect discovered in this paper is the possible presence of non-matching powers for the long-time boundary behavior. More precisely, when ${\mathcal L}=(-Δ)^s$ is a spectral power of the {Dirichlet} Laplacian inside a smooth domain, we can prove that: - when $2s> 1-1/m$, for large times all solutions behave as ${\rm dist}^{1/m}$ near the boundary; - when $2s\le 1-1/m$, different solutions may exhibit different boundary behavior. This unexpected phenomenon is a completely new feature of the nonlocal nonlinear structure of this model, and it is not present in the semilinear elliptic equation ${\mathcal L}u^m=u$. △ Less

Submitted 25 November, 2017; v1 submitted 31 October, 2016; originally announced October 2016.

Comments: 36 pages, 3 figures (6 images). This is a much improved version of the older manuscripts, thanks to the suggestions of the anonymous referees. To appear in Analysis & PDE (2017)

MSC Class: 35B45; 35B65; 35K55; 35K65

Journal ref: Analysis & PDE 11 (2018) 945-982

Flatness implies smoothness for solutions of the porous medium equation

Authors: Clemens Kienzler, Herbert Koch, Juan Luis Vazquez

Abstract: One of the major problems in the theory of the porous medium equation is the regularity of the solutions and the free boundaries. Here we assume flatness of the solution in space time cylinder and derive smoothness of the interface after a small time, as well as smoothness of the solution in the positivity set and up to the free boundary for some time interval. We use these facts to prove the foll… ▽ More One of the major problems in the theory of the porous medium equation is the regularity of the solutions and the free boundaries. Here we assume flatness of the solution in space time cylinder and derive smoothness of the interface after a small time, as well as smoothness of the solution in the positivity set and up to the free boundary for some time interval. We use these facts to prove the following eventual regularity result: solutions with compactly supported initial data are smooth after a finite time T that depends on mass and the size of the initial support. This result eliminates the condition of non-degeneracy on the initial data that has been carried on for decades in the literature. △ Less

Submitted 28 September, 2016; originally announced September 2016.

Comments: 36 pages

MSC Class: 35B45

Existence of weak solutions for a general porous medium equation with nonlocal pressure

Authors: Diana Stan, Félix del Teso, Juan Luis Vázquez

Abstract: We study the general nonlinear diffusion equation $u_t=\nabla\cdot (u^{m-1}\nabla (-Δ)^{-s}u)$ that describes a flow through a porous medium which is driven by a nonlocal pressure. We consider constant parameters $m>1$ and $0<s<1$, we assume that the solutions are non-negative and the problem is posed in the whole space. In this paper we prove existence of weak solutions for all integrable initial… ▽ More We study the general nonlinear diffusion equation $u_t=\nabla\cdot (u^{m-1}\nabla (-Δ)^{-s}u)$ that describes a flow through a porous medium which is driven by a nonlocal pressure. We consider constant parameters $m>1$ and $0<s<1$, we assume that the solutions are non-negative and the problem is posed in the whole space. In this paper we prove existence of weak solutions for all integrable initial data $u_0 \ge 0$ and for all exponents $m>1$ by developing a new approximation method that allows to treat the range $m\ge 3$ that could not be covered by previous works. We also extend the class of initial data to include any non-negative measure $μ$ with finite mass. In passing from bounded initial data to measure data we make strong use of an $L^1$-$L^\infty$ smoothing effect and other functional estimates. Finite speed of propagation is established for all $m\ge 2$, and this property implies the existence of free boundaries. The authors had already proved that finite propagation does not hold for $m<2$. △ Less

Submitted 10 January, 2019; v1 submitted 16 September, 2016; originally announced September 2016.

Comments: 42 pages, 8 figures. To appear in Archive for Rational Mechanics and Analysis. Minor typos corrected. This version additionally includes more details in the proofs of some results of the paper

The Fisher-KPP problem with doubly nonlinear "fast" diffusion

Authors: Alessandro Audrito, Juan Luis Vazquez

Abstract: The famous Fisher-KPP reaction diffusion model combines linear diffusion with the typical Fisher-KPP reaction term, and appears in a number of relevant applications. It is remarkable as a mathematical model since, in the case of linear diffusion, it possesses a family of travelling waves that describe the asymptotic behaviour of a wide class solutions $0\leq u(x,t)\leq 1$ of the problem posed in t… ▽ More The famous Fisher-KPP reaction diffusion model combines linear diffusion with the typical Fisher-KPP reaction term, and appears in a number of relevant applications. It is remarkable as a mathematical model since, in the case of linear diffusion, it possesses a family of travelling waves that describe the asymptotic behaviour of a wide class solutions $0\leq u(x,t)\leq 1$ of the problem posed in the real line. The existence of propagation wave with finite speed has been confirmed in the cases of "slow" and "pseudo-linear" doubly nonlinear diffusion too, see arXiv:1601.05718. We investigate here the corresponding theory with "fast" doubly nonlinear diffusion and we find that general solutions show a non-TW asymptotic behaviour, and exponential propagation in space for large times. Finally, we prove precise bounds for the level sets of general solutions, even when we work in with spacial dimension $N \geq 1$. In particular, we show that location of the level sets is approximately linear for large times, when we take spatial logarithmic scale, finding a strong departure from the linear case, in which appears the famous Bramson logarithmic correction. △ Less

Submitted 5 July, 2016; originally announced July 2016.

Comments: 42 pages, 6 figures

MSC Class: 35K57; 35K65

Optimal Existence and Uniqueness Theory for the Fractional Heat Equation

Authors: Matteo Bonforte, Yannick Sire, Juan Luis Vazquez

Abstract: We construct a theory of existence, uniqueness and regularity of solutions for the fractional heat equation $\partial_t u +(-Δ)^s u=0$, $0<s<1$, posed in the whole space $\mathbb{R}^N$ with data in a class of locally bounded Radon measures that are allowed to grow at infinity with an optimal growth rate. We consider a class of nonnegative weak solutions and prove that there is an equivalence betwe… ▽ More We construct a theory of existence, uniqueness and regularity of solutions for the fractional heat equation $\partial_t u +(-Δ)^s u=0$, $0<s<1$, posed in the whole space $\mathbb{R}^N$ with data in a class of locally bounded Radon measures that are allowed to grow at infinity with an optimal growth rate. We consider a class of nonnegative weak solutions and prove that there is an equivalence between nonnegative data and solutions, which is given in one direction by the representation formula, in the other one by the initial trace. We review many of the typical properties of the solutions, in particular we prove optimal pointwise estimates and new Harnack inequalities. △ Less

Submitted 29 August, 2016; v1 submitted 2 June, 2016; originally announced June 2016.

Comments: 27 pages

MSC Class: 35A01; 35A02; 35K99

The porous medium equation on Riemannian manifolds with negative curvature. The large-time behaviour

Authors: Gabriele Grillo, Matteo Muratori, Juan Luis Vázquez

Abstract: We consider nonnegative solutions of the porous medium equation (PME) on a Cartan-Hadamard manifold whose negative curvature can be unbounded. We take compactly supported initial data because we are also interested in free boundaries. We classify the geometrical cases we study into quasi-hyperbolic, quasi-Euclidean and critical cases, depending on the growth rate of the curvature at infinity. We p… ▽ More We consider nonnegative solutions of the porous medium equation (PME) on a Cartan-Hadamard manifold whose negative curvature can be unbounded. We take compactly supported initial data because we are also interested in free boundaries. We classify the geometrical cases we study into quasi-hyperbolic, quasi-Euclidean and critical cases, depending on the growth rate of the curvature at infinity. We prove sharp upper and lower bounds on the long-time behaviour of the solutions in terms of corresponding bounds on the curvature. In particular we obtain a sharp form of the smoothing effect on such manifolds. We also estimate the location of the free boundary. A global Harnack principle follows. We also present a change of variables that allows to transform radially symmetric solutions of the PME on model manifolds into radially symmetric solutions of a corresponding weighted PME on Euclidean space and back. This equivalence turns out to be an important tool of the theory. △ Less

Submitted 20 April, 2016; originally announced April 2016.

MSC Class: 35B40; 35K55; 35K65; 58J13

The Fisher-KPP problem with doubly nonlinear diffusion

Authors: Alessandro Audrito, Juan Luis Vázquez

Abstract: The famous Fisher-KPP reaction-diffusion model combines linear diffusion with the typical KPP reaction term, and appears in a number of relevant applications in biology and chemistry. It is remarkable as a mathematical model since it possesses a family of travelling waves that describe the asymptotic behaviour of a large class solutions $0\le u(x,t)\le 1$ of the problem posed in the real line. The… ▽ More The famous Fisher-KPP reaction-diffusion model combines linear diffusion with the typical KPP reaction term, and appears in a number of relevant applications in biology and chemistry. It is remarkable as a mathematical model since it possesses a family of travelling waves that describe the asymptotic behaviour of a large class solutions $0\le u(x,t)\le 1$ of the problem posed in the real line. The existence of propagation waves with finite speed has been confirmed in some related models and disproved in others. We investigate here the corresponding theory when the linear diffusion is replaced by the "slow" doubly nonlinear diffusion and we find travelling waves that represent the wave propagation of more general solutions even when we extend the study to several space dimensions. A similar study is performed in the critical case that we call "pseudo-linear", i.e., when the operator is still nonlinear but has homogeneity one. With respect to the classical model and the "pseudo-linear" case, the "slow" travelling waves exhibit free boundaries. △ Less

Submitted 18 February, 2016; v1 submitted 21 January, 2016; originally announced January 2016.

Comments: 59 pages, 8 figures. This version has a new interesting corollary and includes small corrections and improvements of the whole text

MSC Class: 35K57; 35K65; 35C07; 35K55

Journal ref: J. Differential Equations 260 (2016) 1154-1199

Fractional Nonlinear Degenerate Diffusion Equations on Bounded Domains Part I. Existence, Uniqueness and Upper Bounds

Authors: Matteo Bonforte, Juan Luis Vázquez

Abstract: We investigate quantitative properties of nonnegative solutions $u(t,x)\ge 0$ to the nonlinear fractional diffusion equation, $\partial_t u + \mathcal{L}F(u)=0$ posed in a bounded domain, $x\inΩ\subset \mathbb{R}^N$, with appropriate homogeneous Dirichlet boundary conditions. As $\mathcal{L}$ we can use a quite general class of linear operators that includes the two most common versions of the fra… ▽ More We investigate quantitative properties of nonnegative solutions $u(t,x)\ge 0$ to the nonlinear fractional diffusion equation, $\partial_t u + \mathcal{L}F(u)=0$ posed in a bounded domain, $x\inΩ\subset \mathbb{R}^N$, with appropriate homogeneous Dirichlet boundary conditions. As $\mathcal{L}$ we can use a quite general class of linear operators that includes the two most common versions of the fractional Laplacian $(-Δ)^s$, $0<s<1$, in a bounded domain with zero Dirichlet boundary conditions, but it also includes many other examples since our theory only needs some basic properties that are typical of "linear heat semigroups." The nonlinearity $F$ is assumed to be increasing and is allowed to be degenerate, the prototype is the power case $F(u)=|u|^{m-1}u$, with $m>1$. In this paper we propose a suitable class of solutions of the equation, and cover the basic theory: we prove existence, uniqueness of such solutions, and we establish upper bounds of two forms (absolute bounds and smoothing effects), as well as weighted-$L^1$ estimates. The class of solutions is very well suited for that work. The standard Laplacian case $s=1$ is included and the linear case $m=1$ can be recovered in the limit. In a companion paper [12], we will complete the study with more advanced estimates, like the upper and lower boundary behaviour and Harnack inequalities, for which the results of this paper are needed. △ Less

Submitted 30 September, 2015; v1 submitted 31 August, 2015; originally announced August 2015.

Comments: arXiv admin note: text overlap with arXiv:1311.6997

MSC Class: 35B45; 35B65; 35K55; 35K65

Free Boundary Problems: The Forefront of Current and Future Developments

Authors: Gui-Qiang Chen, Henrik Shahgholian, Juan-Luis Vazquez

Abstract: This is an introduction to The Theme Issue on "Free Boundary Problems and Related Topics", which consists of 14 survey/review articles on the topics, of Philosophical Transactions of the Royal Society A: Physical, Mathematical and Engineering Sciences, 373, no. 2050, The Royal Society, 2015. This is an introduction to The Theme Issue on "Free Boundary Problems and Related Topics", which consists of 14 survey/review articles on the topics, of Philosophical Transactions of the Royal Society A: Physical, Mathematical and Engineering Sciences, 373, no. 2050, The Royal Society, 2015. △ Less

Submitted 4 August, 2015; originally announced August 2015.

Comments: 8 pages

MSC Class: 35

Journal ref: Phil. Trans. R. Soc. A 373 (2015), 20140285

Symmetrization for fractional elliptic and parabolic equations and an isoperimetric application

Authors: Yannick Sire, Juan Luis Vazquez, Bruno Volzone

Abstract: We develop further the theory of symmetrization of fractional Laplacian operators contained in recent works of two of the authors. The theory leads to optimal estimates in the form of concentration comparison inequalities for both elliptic and parabolic equations. In this paper we extend the theory for the so-called \emph{restricted} fractional Laplacian defined on a bounded domain $Ω$ of… ▽ More We develop further the theory of symmetrization of fractional Laplacian operators contained in recent works of two of the authors. The theory leads to optimal estimates in the form of concentration comparison inequalities for both elliptic and parabolic equations. In this paper we extend the theory for the so-called \emph{restricted} fractional Laplacian defined on a bounded domain $Ω$ of $\mathbb R^N$ with zero Dirichlet conditions outside of $Ω$. As an application, we derive an original proof of the corresponding fractional Faber-Krahn inequality. We also provide a more classical variational proof of the inequality. △ Less

Submitted 23 June, 2015; originally announced June 2015.

Comments: arXiv admin note: substantial text overlap with arXiv:1303.2970