-
Sharp Boundary Estimates and Harnack Inequalities for Fractional Porous Medium type Equations
Authors:
Matteo Bonforte,
Carlos Fuertes-Moran
Abstract:
This paper provides sharp quantitative and constructive estimates of nonnegative solutions $u(t,x)\geq 0$ to the nonlinear fractional diffusion equation, $$\partial_t u +{\mathcal L} F(u)=0,$$ also known as filtration equation, posed in a smooth bounded domain $x\in Ω\subset {\mathbb R}^N$ with suitable homogeneous Dirichlet boundary conditions. Both the operator ${\mathcal L}$ and the nonlinearit…
▽ More
This paper provides sharp quantitative and constructive estimates of nonnegative solutions $u(t,x)\geq 0$ to the nonlinear fractional diffusion equation, $$\partial_t u +{\mathcal L} F(u)=0,$$ also known as filtration equation, posed in a smooth bounded domain $x\in Ω\subset {\mathbb R}^N$ with suitable homogeneous Dirichlet boundary conditions. Both the operator ${\mathcal L}$ and the nonlinearity $F$ belong to a general class. The assumption on ${\mathcal L}$ are set in terms of the kernel of ${\mathcal L}$ and/or ${\mathcal L}^{-1}$, and allow for operators with degenerate kernel at the boundary of $Ω$. The main examples of ${\mathcal L}$ are the three different Dirichlet Fractional Laplacians on bounded domains, and the nonlinearity can be non-homogeneous, for instance, $F(u)=u^2+u^{10}$. Previous result were known in the porous medium case, i.e. $F(u)=|u|^{m-1} u$ with $m>1$. Our aim here is to perform the next step: a delicate analysis of regularity through quantitative, constructive and sharp a priori estimates. Our main results are global Harnack type inequalities $$H_0(t,u_0)\, {\rm dist}(x, \partial Ω)^a\leq F(u(t,x))\leq H_1(t)\, {\rm dist}(x, \partial Ω)^b\qquad\forall (t,x)\in (0,\infty)\times \overlineΩ,$$ where the expressions of $H_0, H_1$ and $a,b$ are explicit and may change according to ${\mathcal L}$ and $F$. The sharpness of such estimates is proven by means of examples and counterexamples: on the one hand, we can match the powers (i.e. $a=b$) when the operator has a non degenerate kernel. On the other hand, when ${\mathcal L}$ has a kernel that degenerates at the boundary $\partialΩ$, there appear an intriguing anomalous boundary behaviour: the size of the initial data determines the sharp boundary behaviour of the solution, different for ``small'' and ``large'' initial data. We conclude the paper with higher regularity results.
△ Less
Submitted 2 April, 2025; v1 submitted 28 February, 2025;
originally announced February 2025.
-
Is Stochastic Gradient Descent Effective? A PDE Perspective on Machine Learning processes
Authors:
Davide Barbieri,
Matteo Bonforte,
Peio Ibarrondo
Abstract:
In this paper we analyze the behaviour of the stochastic gradient descent (SGD), a widely used method in supervised learning for optimizing neural network weights via a minimization of non-convex loss functions. Since the pioneering work of E, Li and Tai (2017), the underlying structure of such processes can be understood via parabolic PDEs of Fokker-Planck type, which are at the core of our analy…
▽ More
In this paper we analyze the behaviour of the stochastic gradient descent (SGD), a widely used method in supervised learning for optimizing neural network weights via a minimization of non-convex loss functions. Since the pioneering work of E, Li and Tai (2017), the underlying structure of such processes can be understood via parabolic PDEs of Fokker-Planck type, which are at the core of our analysis. Even if Fokker-Planck equations have a long history and a extensive literature, almost nothing is known when the potential is non-convex or when the diffusion matrix is degenerate, and this is the main difficulty that we face in our analysis.
We identify two different regimes: in the initial phase of SGD, the loss function drives the weights to concentrate around the nearest local minimum. We refer to this phase as the drift regime and we provide quantitative estimates on this concentration phenomenon. Next, we introduce the diffusion regime, where stochastic fluctuations help the learning process to escape suboptimal local minima. We analyze the Mean Exit Time (MET) and prove upper and lower bounds of the MET. Finally, we address the asymptotic convergence of SGD, for a non-convex cost function and a degenerate diffusion matrix, that do not allow to use the standard approaches, and require new techniques. For this purpose, we exploit two different methods: duality and entropy methods.
We provide new results about the dynamics and effectiveness of SGD, offering a deep connection between stochastic optimization and PDE theory, and some answers and insights to basic questions in the Machine Learning processes: How long does SGD take to escape from a bad minimum? Do neural network parameters converge using SGD? How do parameters evolve in the first stage of training with SGD?
△ Less
Submitted 11 May, 2025; v1 submitted 14 January, 2025;
originally announced January 2025.
-
Asymptotic behavior of a diffused interface volume-preserving mean curvature flow
Authors:
Matteo Bonforte,
Francesco Maggi,
Daniel Restrepo
Abstract:
We consider a diffused interface version of the volume-preserving mean curvature flow in the Euclidean space, and prove, in every dimension and under natural assumptions on the initial datum, exponential convergence towards single "diffused balls".
We consider a diffused interface version of the volume-preserving mean curvature flow in the Euclidean space, and prove, in every dimension and under natural assumptions on the initial datum, exponential convergence towards single "diffused balls".
△ Less
Submitted 26 July, 2024;
originally announced July 2024.
-
Smoothing effects and extinction in finite time for fractional fast diffusions on Riemannian manifolds
Authors:
Elvise Berchio,
Matteo Bonforte,
Gabriele Grillo
Abstract:
We study nonnegative solutions to the Cauchy problem for the Fractional Fast Diffusion Equation on a suitable class of connected, noncompact Riemannian manifolds. This parabolic equation is both singular and nonlocal: the diffusion is driven by the (spectral) fractional Laplacian on the manifold, while the nonlinearity is a concave power that makes the diffusion singular, so that solutions lose ma…
▽ More
We study nonnegative solutions to the Cauchy problem for the Fractional Fast Diffusion Equation on a suitable class of connected, noncompact Riemannian manifolds. This parabolic equation is both singular and nonlocal: the diffusion is driven by the (spectral) fractional Laplacian on the manifold, while the nonlinearity is a concave power that makes the diffusion singular, so that solutions lose mass and may extinguish in finite time. Existence of mild solutions follows by nowadays standard nonlinear semigroups techniques, and we use these solutions as the building blocks for a more general class of so-called weak dual solutions, which allow for data both in the usual $L^1$ space and in a larger weighted space, determined in terms of the fractional Green function. We focus in particular on a priori smoothing estimates (also in weighted $L^p$ spaces) for a quite large class of weak dual solutions. We also show pointwise lower bounds for solutions, showing in particular that solutions have infinite speed of propagation. Finally, we start the study of how solutions extinguish in finite time, providing suitable sharp extinction rates.
△ Less
Submitted 26 March, 2025; v1 submitted 27 May, 2024;
originally announced May 2024.
-
Refined asymptotics for the Cauchy problem for the fast $p$-Laplace evolution equation
Authors:
Matteo Bonforte,
Iwona Chlebicka,
Nikita Simonov
Abstract:
Our focus is on the fast diffusion equation $\partial_t u=Δ_p u$ with $p<2$ in the whole Euclidean space of dimension $N\geq 2$. The properties of the solutions to the $p$-Laplace Cauchy problem change in several special values of the parameter $p$.
In the range of $p$ when mass is conserved, non-negative and integrable solutions behave like the Barenblatt (or fundamental) solutions for large ti…
▽ More
Our focus is on the fast diffusion equation $\partial_t u=Δ_p u$ with $p<2$ in the whole Euclidean space of dimension $N\geq 2$. The properties of the solutions to the $p$-Laplace Cauchy problem change in several special values of the parameter $p$.
In the range of $p$ when mass is conserved, non-negative and integrable solutions behave like the Barenblatt (or fundamental) solutions for large times. By making use of the entropy method, we establish the polynomial rates of the convergence in the uniform relative error for a natural class of initial data. The convergence was established in the literature for $p$ close to $2$, but no rates were available. In particular, we allow for the values of $p$, for which the entropy is not displacement convex, as we do not apply the optimal transportation tools.
We approach the issue of long-term asymptotics of the gradients of solutions. In fact, in the case of the radial initial datum, we provide also polynomial rates of the uniform convergence in the relative error of radial derivatives of solutions for $\frac{2N}{N+2}<p<2$.
Finally, providing an analysis of needed properties of solutions for the entropy method to work, we open the question on the full description of the basin of attraction of the Bareblatt solutions for $p$ close to $1$.
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
Sharp regularity estimates for $0$-order $p$-Laplacian evolution problems
Authors:
Matteo Bonforte,
Ariel Salort
Abstract:
We study regularity properties of solutions to nonlinear and nonlocal evolution problems driven by the so-called \emph{$0$-order fractional $p-$Laplacian} type operators: $$ \partial_t u(x,t)=\mathcal{J}_p u(x,t):=\int_{\mathbb{R}^n} J(x-y)|u(y,t)-u(x,t)|^{p-2}(u(y,t)-u(x,t))\,dy\,, $$ where $n\ge 1$, $p>1$, $J\colon\mathbb{R}^n\to\mathbb{R}$ is a bounded nonnegative function with compact support,…
▽ More
We study regularity properties of solutions to nonlinear and nonlocal evolution problems driven by the so-called \emph{$0$-order fractional $p-$Laplacian} type operators: $$ \partial_t u(x,t)=\mathcal{J}_p u(x,t):=\int_{\mathbb{R}^n} J(x-y)|u(y,t)-u(x,t)|^{p-2}(u(y,t)-u(x,t))\,dy\,, $$ where $n\ge 1$, $p>1$, $J\colon\mathbb{R}^n\to\mathbb{R}$ is a bounded nonnegative function with compact support, $J(0)>0$ and normalized such that $\|J\|_{\mathrm{L}^1(\mathbb{R}^n)}=1$, but not necessarily smooth. We deal with Cauchy problems on the whole space, and with Dirichlet and Neumann problems on bounded domains. Beside complementing the existing results about existence and uniqueness theory, we focus on sharp regularity results in the whole range $p\in (1,\infty)$. When $p>2$, we find an unexpected $\mathrm{L}^q-\mathrm{L}^\infty$ regularization: the surprise comes from the fact that this result is false in the linear case $p=2$.
We show next that bounded solutions automatically gain higher time regularity, more precisely that $u(x,\cdot)\in C^p_t$. We finally show that solutions preserve the regularity of the initial datum up to certain order, that we conjecture to be optimal ($p$-derivatives in space). When $p>1$ is integer we can reach $C^\infty$ regularity (gained in time, preserved in space) and even analyticity in time. The regularity estimates that we obtain are quantitative and constructive (all computable constants), and have a local character, allowing us to show further properties of the solutions: for instance, initial singularities do not move with time. We also study the asymptotic behavior for large times of solutions to Dirichlet and Neumann problems. Our results are new also in the linear case and are sharp when $p$ is integer. We expect them to be optimal for all $p>1$, supporting this claim with some numerical simulations.
△ Less
Submitted 30 March, 2024;
originally announced April 2024.
-
Time-Fractional Porous Medium Type Equations. Sharp Time Decay and Regularization
Authors:
Matteo Bonforte,
Maria Gualdani,
Peio Ibarrondo
Abstract:
We consider a class of porous medium type of equations with Caputo time derivative. The prototype problem reads as $\Dc u=-\A u^m$ and is posed on a bounded Euclidean domain $Ω\subset\mathbb{R}^N$ with zero Dirichlet boundary conditions. The operator $\A$ falls within a wide class of either local or nonlocal operators, and the nonlinearity is allowed to be of degenerate or singular type, namely,…
▽ More
We consider a class of porous medium type of equations with Caputo time derivative. The prototype problem reads as $\Dc u=-\A u^m$ and is posed on a bounded Euclidean domain $Ω\subset\mathbb{R}^N$ with zero Dirichlet boundary conditions. The operator $\A$ falls within a wide class of either local or nonlocal operators, and the nonlinearity is allowed to be of degenerate or singular type, namely, $0<m<1$ and $m>1$. This equation is the most general form of a variety of models used to describe anomalous diffusion processes with memory effects, and finds application in various fields, including visco-elastic materials, signal processing, biological systems and geophysical science.
We show existence of unique solution and new $L^p-L^\infty$ smoothing effects. The comparison principle, which we provide in the most general setting, serves as a crucial tool in the proof and provides a novel monotonicity formula. Consequently, we establish that the regularizing effects from the diffusion are stronger than the memory effects introduced by the fractional time derivative. Moreover, the solution attains the boundary conditions pointwise.
Finally, we prove that the solution does not vanish in finite time if $0<m<1$, unlike the case with the classical time derivative. Indeed, we provide a sharp rate of decay for any $L^p$-norm of the solution for any $m>0$. Our findings indicate that memory effects weaken the spatial diffusion and mitigate the difference between slow and fast diffusion.
△ Less
Submitted 1 April, 2024; v1 submitted 6 January, 2024;
originally announced January 2024.
-
The Cauchy-Dirichlet Problem for the Fast Diffusion Equation on Bounded Domains
Authors:
Matteo Bonforte,
Alessio Figalli
Abstract:
The Fast Diffusion Equation (FDE) $u_t= Δu^m$, with $m\in (0,1)$, is an important model for singular nonlinear (density dependent) diffusive phenomena. Here, we focus on the Cauchy-Dirichlet problem posed on smooth bounded Euclidean domains. In addition to its physical relevance, there are many aspects that make this equation particularly interesting from the pure mathematical perspective. For ins…
▽ More
The Fast Diffusion Equation (FDE) $u_t= Δu^m$, with $m\in (0,1)$, is an important model for singular nonlinear (density dependent) diffusive phenomena. Here, we focus on the Cauchy-Dirichlet problem posed on smooth bounded Euclidean domains. In addition to its physical relevance, there are many aspects that make this equation particularly interesting from the pure mathematical perspective. For instance: mass is lost and solutions may extinguish in finite time, merely integrable data can produce unbounded solutions, classical forms of Harnack inequalities (and other regularity estimates) fail to be true, etc.
In this paper, we first provide a survey (enriched with an extensive bibliography) focussing on the more recent results about existence, uniqueness, boundedness and positivity (i.e., Harnack inequalities, both local and global), and higher regularity estimates (also up to the boundary and possibly up to the extinction time). We then prove new global (in space and time) Harnack estimates in the subcritical regime. In the last section, we devote a special attention to the asymptotic behaviour, from the first pioneering results to the latest sharp results, and we present some new asymptotic results in the subcritical case.
△ Less
Submitted 16 August, 2023;
originally announced August 2023.
-
Nonlocal nonlinear diffusion equations. Smoothing effects, Green functions, and functional inequalities
Authors:
Matteo Bonforte,
Jørgen Endal
Abstract:
We establish boundedness estimates for solutions of generalized porous medium equations of the form $$ \partial_t u+(-\mathfrak{L})[u^m]=0\quad\quad\text{in $\mathbb{R}^N\times(0,T)$}, $$ where $m\geq1$ and $-\mathfrak{L}…
▽ More
We establish boundedness estimates for solutions of generalized porous medium equations of the form $$ \partial_t u+(-\mathfrak{L})[u^m]=0\quad\quad\text{in $\mathbb{R}^N\times(0,T)$}, $$ where $m\geq1$ and $-\mathfrak{L}$ is a linear, symmetric, and nonnegative operator. The wide class of operators we consider includes, but is not limited to, Lévy operators. Our quantitative estimates take the form of precise $L^1$--$L^\infty$-smoothing effects and absolute bounds, and their proofs are based on the interplay between a dual formulation of the problem and estimates on the Green function of $-\mathfrak{L}$ and $I-\mathfrak{L}$.
In the linear case $m=1$, it is well-known that the $L^1$--$L^\infty$-smoothing effect, or ultracontractivity, is equivalent to Nash inequalities. This is also equivalent to heat kernel estimates, which imply the Green function estimates that represent a key ingredient in our techniques.
We establish a similar scenario in the nonlinear setting $m>1$. First, we can show that operators for which ultracontractivity holds, also provide $L^1$--$L^\infty$-smoothing effects in the nonlinear case. The converse implication is not true in general. A counterexample is given by $0$-order Lévy operators like $-\mathfrak{L}=I-J\ast$. They do not regularize when $m=1$, but we show that surprisingly enough they do so when $m>1$, due to the convex nonlinearity. This reveals a striking property of nonlinear equations: the nonlinearity allows for better regularizing properties, almost independently of the linear operator.
Finally, we show that smoothing effects, both linear and nonlinear, imply families of inequalities of Gagliardo-Nirenberg-Sobolev type, and we explore equivalences both in the linear and nonlinear settings through the application of the Moser iteration.
△ Less
Submitted 21 December, 2022; v1 submitted 13 May, 2022;
originally announced May 2022.
-
The Cauchy-Dirichlet Problem for Singular Nonlocal Diffusions on Bounded Domains
Authors:
Matteo Bonforte,
Peio Ibarrondo,
Mikel Ispizua
Abstract:
We study the homogeneous Cauchy-Dirichlet Problem (CDP) for a nonlinear and nonlocal diffusion equation of singular type of the form $\partial_t u =-\mathcal{L} u^m$ posed on a bounded Euclidean domain $Ω\subset\mathbb{R}^N$ with smooth boundary and $N\ge 1$. The linear diffusion operator $\mathcal{L}$ is a sub-Markovian operator, allowed to be of nonlocal type, while the nonlinearity is of singul…
▽ More
We study the homogeneous Cauchy-Dirichlet Problem (CDP) for a nonlinear and nonlocal diffusion equation of singular type of the form $\partial_t u =-\mathcal{L} u^m$ posed on a bounded Euclidean domain $Ω\subset\mathbb{R}^N$ with smooth boundary and $N\ge 1$. The linear diffusion operator $\mathcal{L}$ is a sub-Markovian operator, allowed to be of nonlocal type, while the nonlinearity is of singular type, namely $u^m=|u|^{m-1}u$ with $0<m<1$. The prototype equation is the Fractional Fast Diffusion Equation (FFDE), when $\mathcal{L}$ is one of the three possible Dirichlet Fractional Laplacians on $Ω$.
Our main results shall provide a complete basic theory for solutions to (CDP): existence and uniqueness in the biggest class of data known so far, both for nonnegative and signed solutions; sharp smoothing estimates: besides the classical $L^p-L^\infty$ smoothing effects, we provide new weighted estimates, which represent a novelty also in well studied local case, i.e. for solutions to the FDE $u_t=Δu^m$. We compare two strategies to prove smoothing effects: Moser iteration VS Green function method.
Due to the singular nonlinearity and to presence of nonlocal diffusion operators, the question of how solutions satisfy the lateral boundary conditions is delicate. We answer with quantitative upper boundary estimates that show how boundary data are taken.
Once solutions exists and are bounded we show that they extinguish in finite time and we provide upper and lower estimates for the extinction time, together with explicit sharp extinction rates in different norms.
The methods of this paper are constructive, in the sense that all the relevant constants involved in the estimates are computable.
△ Less
Submitted 29 July, 2022; v1 submitted 23 March, 2022;
originally announced March 2022.
-
Constructive stability results in interpolation inequalities and explicit improvements of decay rates of fast diffusion equations
Authors:
Matteo Bonforte,
Jean Dolbeault,
Bruno Nazaret,
Nikita Simonov
Abstract:
We provide a scheme of a recent stability result for a family of Gagliardo-Nirenberg-Sobolev (GNS) inequalities, which is equivalent to an improved entropy - entropy production inequality associated with an appropriate fast diffusion equation (FDE) written in self-similar variables. This result can be rephrased as an improved decay rate of the entropy of the solution of (FDE) for well prepared ini…
▽ More
We provide a scheme of a recent stability result for a family of Gagliardo-Nirenberg-Sobolev (GNS) inequalities, which is equivalent to an improved entropy - entropy production inequality associated with an appropriate fast diffusion equation (FDE) written in self-similar variables. This result can be rephrased as an improved decay rate of the entropy of the solution of (FDE) for well prepared initial data. There is a family of Caffarelli-Kohn-Nirenberg (CKN) inequalities which has a very similar structure. When the exponents are in a range for which the optimal functions for (CKN) are radially symmetric, we investigate how the methods for (GNS) can be extended to (CKN). In particular, we prove that the solutions of the evolution equation associated to (CKN) also satisfy an improved decay rate of the entropy, after an explicit delay. However, the improved rate is obtained without assuming that initial data are well prepared, which is a major difference with the (GNS) case.
△ Less
Submitted 29 May, 2022; v1 submitted 19 February, 2022;
originally announced February 2022.
-
The Fractional Porous Medium Equation on noncompact Riemannian manifolds
Authors:
Elvise Berchio,
Matteo Bonforte,
Gabriele Grillo,
Matteo Muratori
Abstract:
We study nonnegative solutions to the Fractional Porous Medium Equation on a suitable class of connected, noncompact Riemannian manifolds. We provide existence and smoothing estimates for solutions, in an appropriate weak (dual) sense, for data belonging either to the usual $L^1$ space or to a considerably larger weighted space determined in terms of the fractional Green function. The class of man…
▽ More
We study nonnegative solutions to the Fractional Porous Medium Equation on a suitable class of connected, noncompact Riemannian manifolds. We provide existence and smoothing estimates for solutions, in an appropriate weak (dual) sense, for data belonging either to the usual $L^1$ space or to a considerably larger weighted space determined in terms of the fractional Green function. The class of manifolds for which the results hold include both the Euclidean and the hyperbolic spaces and even in the Euclidean situation involve a class of data which is larger than previously known one.
△ Less
Submitted 21 September, 2023; v1 submitted 22 September, 2021;
originally announced September 2021.
-
The Cauchy problem for the fast $p-$Laplacian evolution equation. Characterization of the global Harnack principle and fine asymptotic behaviour
Authors:
Matteo Bonforte,
Nikita Simonov,
Diana Stan
Abstract:
We study fine global properties of nonnegative solutions to the Cauchy Problem for the fast $p$-Laplacian evolution equation $u_t=Δ_p u$ on the whole Euclidean space, in the so-called "good fast diffusion range" $\tfrac{2N}{N+1}<p<2$. It is well-known that non-negative solutions behave for large times as $\mathcal{B}$, the Barenblatt (or fundamental) solution, which has an explicit expression.
W…
▽ More
We study fine global properties of nonnegative solutions to the Cauchy Problem for the fast $p$-Laplacian evolution equation $u_t=Δ_p u$ on the whole Euclidean space, in the so-called "good fast diffusion range" $\tfrac{2N}{N+1}<p<2$. It is well-known that non-negative solutions behave for large times as $\mathcal{B}$, the Barenblatt (or fundamental) solution, which has an explicit expression.
We prove the so-called Global Harnack Principle (GHP), that is, precise global pointwise upper and lower estimates of nonnegative solutions in terms of $\mathcal{B}$. This can be considered the nonlinear counterpart of the celebrated Gaussian estimates for the linear heat equation.
We characterize the maximal (hence optimal) class of initial data such that the GHP holds, by means of an integral tail condition, easy to check. The GHP is then used as a tool to analyze the fine asymptotic behavior for large times. For initial data that satisfy the same integral condition, we prove that the corresponding solutions behave like the Barenblatt with the same mass, uniformly in relative error.
When the integral tail condition is not satisfied we show that both the GHP and the uniform convergence in relative error, do not hold anymore, and we provide also explicit counterexamples. We then prove a "generalized GHP", that is, pointwise upper and lower bounds in terms of explicit profiles with a tail different from $\mathcal{B}$. Finally, we derive sharp global quantitative upper bounds of the modulus of the gradient of the solution, and, when data are radially decreasing, we show uniform convergence in relative error for the gradients.
To the best of our knowledge, analogous issues for the linear heat equation $p=2$, do not possess such clear answers, only partial results are known.
△ Less
Submitted 4 March, 2021;
originally announced March 2021.
-
Stability in Gagliardo-Nirenberg-Sobolev inequalities: flows, regularity and the entropy method
Authors:
Matteo Bonforte,
Jean Dolbeault,
Bruno Nazaret,
Nikita Simonov
Abstract:
The purpose of this work is to establish a quantitative and constructive stability result for a class of subcritical Gagliardo-Nirenberg-Sobolev inequalities which interpolates between the logarithmic Sobolev inequality and the standard Sobolev inequality (in dimension larger than three), or Onofri's inequality in dimension two. We develop a new strategy, in which the flow of the fast diffusion eq…
▽ More
The purpose of this work is to establish a quantitative and constructive stability result for a class of subcritical Gagliardo-Nirenberg-Sobolev inequalities which interpolates between the logarithmic Sobolev inequality and the standard Sobolev inequality (in dimension larger than three), or Onofri's inequality in dimension two. We develop a new strategy, in which the flow of the fast diffusion equation is used as a tool: a stability result in the inequality is equivalent to an improved rate of convergence to equilibrium for the flow. The regularity properties of the parabolic flow allow us to connect an improved entropy - entropy production inequality during an initial time layer to spectral properties of a suitable linearized problem which is relevant for the asymptotic time layer. Altogether, the stability in the inequalities is measured by a deficit which controls in strong norms (a Fisher information which can be interpreted as a generalized Heisenberg uncertainty principle) the distance to the manifold of optimal functions. The method is constructive and, for the first time, quantitative estimates of the stability constant are obtained, including in the critical case of Sobolev's inequality. To build the estimates, we establish a quantitative global Harnack principle and perform a detailed analysis of large time asymptotics by entropy methods.
△ Less
Submitted 6 February, 2025; v1 submitted 1 July, 2020;
originally announced July 2020.
-
Stability in Gagliardo-Nirenberg inequalities - Supplementary material
Authors:
Matteo Bonforte,
Jean Dolbeault,
Bruno Nazaret,
Nikita Simonov
Abstract:
This document comes as supplementary material of the paper Stability in Gagliardo-Nirenberg inequalities by the same authors. It is intended to state a number of classical or elementary statements concerning constants and inequalities for which we are not aware of existing published material or expressions detailed enough for our purpose. We claim no originality on the theoretical results and rely…
▽ More
This document comes as supplementary material of the paper Stability in Gagliardo-Nirenberg inequalities by the same authors. It is intended to state a number of classical or elementary statements concerning constants and inequalities for which we are not aware of existing published material or expressions detailed enough for our purpose. We claim no originality on the theoretical results and rely on standard methods in most cases, except that we keep track of the constants and provide constructive estimates.
△ Less
Submitted 1 July, 2020;
originally announced July 2020.
-
The Fractional Porous Medium Equation on the hyperbolic space
Authors:
Elvise Berchio,
Matteo Bonforte,
Debdip Ganguly,
Gabriele Grillo
Abstract:
We consider the nonlinear degenerate parabolic equation of porous medium type, whose diffusion is driven by the (spectral) fractional Laplacian on the hyperbolic space. We provide existence results for solutions, in an appropriate weak sense, for data belonging either to the usual $L^p$ spaces or to larger (weighted) spaces determined either in terms of a ground state of $Δ_{\mathbb{H}^n}$, or of…
▽ More
We consider the nonlinear degenerate parabolic equation of porous medium type, whose diffusion is driven by the (spectral) fractional Laplacian on the hyperbolic space. We provide existence results for solutions, in an appropriate weak sense, for data belonging either to the usual $L^p$ spaces or to larger (weighted) spaces determined either in terms of a ground state of $Δ_{\mathbb{H}^n}$, or of the (fractional) Green's function. For such solutions, we also prove different kind of smoothing effects, in the form of quantitative $L^1-L^\infty$ estimates. To the best of our knowledge, this seems the first time in which the fractional porous medium equation has been treated on non-compact, geometrically non-trivial examples.
△ Less
Submitted 16 January, 2022; v1 submitted 3 March, 2020;
originally announced March 2020.
-
Fine properties of solutions to the Cauchy problem for a Fast Diffusion Equation with Caffarelli-Kohn-Nirenberg weights
Authors:
Matteo Bonforte,
Nikita Simonov
Abstract:
We investigate fine global properties of nonnegative, integrable solutions to the Cauchy problem for the Fast Diffusion Equation with weights (WFDE) $u_t=|x|^γ\mathrm{div}\left(|x|^{-β}\nabla u^m\right)$ posed on $(0,+\infty)\times\mathbb{R}^d$, with $d\ge 3$, in the so-called good fast diffusion range $m_c<m<1$, within the range of parameters $γ, β$, optimal for the validity of the so-called Caff…
▽ More
We investigate fine global properties of nonnegative, integrable solutions to the Cauchy problem for the Fast Diffusion Equation with weights (WFDE) $u_t=|x|^γ\mathrm{div}\left(|x|^{-β}\nabla u^m\right)$ posed on $(0,+\infty)\times\mathbb{R}^d$, with $d\ge 3$, in the so-called good fast diffusion range $m_c<m<1$, within the range of parameters $γ, β$, optimal for the validity of the so-called Caffarelli-Kohn-Nirenberg inequalities. It is a natural question to ask in which sense such solutions behave like the Barenblatt $\mathfrak{B}$ (fundamental solution): for instance, asymptotic convergence, i.e. $\|u(t)-\mathfrak{B}(t)\|_{{\rm L}^p(\mathbb{R}^d)}\xrightarrow[]{t\to\infty}0$, is well known for all $1\le p\le \infty$, while only few partial results tackle a finer analysis of the tail behaviour. We characterize the maximal set of data $\mathcal{X}\subset{\rm L}^1_+(\mathbb{R}^d)$ that produces solutions which are pointwise trapped between two Barenblatt (Global Harnack Principle), and uniformly converge in relative error (UREC), i.e. ${\rm d}_\infty(u(t))=\|u(t)/\mathcal{B}(t)-1\|_{{\rm L}^\infty(\mathbb{R}^d)}\xrightarrow[]{t\to\infty}0$. Such characterization is in terms of an integral condition on $u(t=0)$. To the best of our knowledge, analogous issues for the linear heat equation $m=1$, do not possess such clear answers. Our characterization is also new for the classical, non-weighted, FDE. We are able to provide minimal rates of convergence to $\mathcal{B}$ in different norms. Such rates are almost optimal in the non weighted case, and become optimal for radial solutions. To complete the panorama, we show that solutions with data in ${\rm L}^1_+(\mathbb{R}^d)\setminus\mathcal{X}$, preserve the same "fat" spatial tail for all times, hence UREC fails.
△ Less
Submitted 23 April, 2020; v1 submitted 23 February, 2020;
originally announced February 2020.
-
Sharp Extinction Rates for Fast Diffusion Equations on Generic Bounded Domains
Authors:
Matteo Bonforte,
Alessio Figalli
Abstract:
We investigate the homogeneous Dirichlet problem for the Fast Diffusion Equation $u_t=Δu^m$, posed in a smooth bounded domain $Ω\subset \mathbb{R}^N$, in the exponent range $m_s=(N-2)_+/(N+2)<m<1$. It is known that bounded positive solutions extinguish in a finite time $T>0$, and also that they approach a separate variable solution $u(t,x)\sim (T-t)^{1/(1-m)}S(x)$, as $t\to T^-$. It has been shown…
▽ More
We investigate the homogeneous Dirichlet problem for the Fast Diffusion Equation $u_t=Δu^m$, posed in a smooth bounded domain $Ω\subset \mathbb{R}^N$, in the exponent range $m_s=(N-2)_+/(N+2)<m<1$. It is known that bounded positive solutions extinguish in a finite time $T>0$, and also that they approach a separate variable solution $u(t,x)\sim (T-t)^{1/(1-m)}S(x)$, as $t\to T^-$. It has been shown recently that $v(x,t)=u(t,x)\,(T-t)^{-1/(1-m)}$ tends to $S(x)$ as $t\to T^-$, uniformly in the relative error norm. Starting from this result, we investigate the fine asymptotic behaviour and prove sharp rates of convergence for the relative error. The proof is based on an entropy method relying on a (improved) weighted Poincaré inequality, that we show to be true on generic bounded domains. Another essential aspect of the method is the new concept of "almost orthogonality", which can be thought as a nonlinear analogous of the classical orthogonality condition needed to obtain improved Poincaré inequalities and sharp convergence rates for linear flows.
△ Less
Submitted 8 February, 2019;
originally announced February 2019.
-
Quantitative a Priori Estimates for Fast Diffusion Equations with Caffarelli-Kohn-Nirenberg weights. Harnack inequalities and Hölder continuity
Authors:
Matteo Bonforte,
Nikita Simonov
Abstract:
We study a priori estimates for a class of non-negative local weak solution to the weighted fast diffusion equation $u_t = |x|^γ \nabla\cdot (|x|^{-β} \nabla u^m)$, with $0 < m <1$ posed on cylinders of $(0,T)\times{\mathbb R}^N$. The weights $|x|^γ$ and $|x|^{-β}$, with $γ< N$ and $γ-2 < β\leq γ(N-2)/N$ can be both degenerate and singular and need not belong to the class $\mathcal{A}_2$, a typica…
▽ More
We study a priori estimates for a class of non-negative local weak solution to the weighted fast diffusion equation $u_t = |x|^γ \nabla\cdot (|x|^{-β} \nabla u^m)$, with $0 < m <1$ posed on cylinders of $(0,T)\times{\mathbb R}^N$. The weights $|x|^γ$ and $|x|^{-β}$, with $γ< N$ and $γ-2 < β\leq γ(N-2)/N$ can be both degenerate and singular and need not belong to the class $\mathcal{A}_2$, a typical assumption for this kind of problems. This range of parameters is optimal for the validity of a class of Caffarelli-Kohn-Nirenberg inequalities, which play the role of the standard Sobolev inequalities in this more complicated weighted setting.
The weights that we consider are not translation invariant and this causes a number of extra difficulties and a variety of scenarios: for instance, the scaling properties of the equation change when considering the problem around the origin or far from it. We therefore prove quantitative - with computable constants - upper and lower estimates for local weak solutions, focussing our attention where a change of geometry appears. Such estimates fairly combine into forms of Harnack inequalities of forward, backward and elliptic type. As a consequence, we obtain Hölder continuity of the solutions, with a quantitative (even if non-optimal) exponent. Our results apply to a quite large variety of solutions and problems. The proof of the positivity estimates requires a new method and represents the main technical novelty of this paper.
Our techniques are flexible and can be adapted to more general settings, for instance to a wider class of weights or to similar problems posed on Riemannian manifolds, possibly with unbounded curvature. In the linear case, $m=1$, we also prove quantitative estimates, recovering known results in some cases and extending such results to a wider class of weights.
△ Less
Submitted 29 October, 2018; v1 submitted 10 April, 2018;
originally announced April 2018.
-
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.
-
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.
-
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.
-
Weighted fast diffusion equations (Part I): Sharp asymptotic rates without symmetry and symmetry breaking in Caffarelli-Kohn-Nirenberg inequalities
Authors:
Matteo Bonforte,
Jean Dolbeault,
Matteo Muratori,
Bruno Nazaret
Abstract:
In this paper we consider a family of Caffarelli-Kohn-Nirenberg interpolation inequalities (CKN), with two radial power law weights and exponents in a subcritical range. We address the question of symmetry breaking: are the optimal functions radially symmetric, or not ? Our intuition comes from a weighted fast diffusion (WFD) flow: if symmetry holds, then an explicit entropy - entropy product…
▽ More
In this paper we consider a family of Caffarelli-Kohn-Nirenberg interpolation inequalities (CKN), with two radial power law weights and exponents in a subcritical range. We address the question of symmetry breaking: are the optimal functions radially symmetric, or not ? Our intuition comes from a weighted fast diffusion (WFD) flow: if symmetry holds, then an explicit entropy - entropy production inequality which governs the intermediate asymptotics is indeed equivalent to (CKN), and the self-similar profiles are optimal for (CKN). We establish an explicit symmetry breaking condition by proving the linear instability of the radial optimal functions for (CKN). Symmetry breaking in (CKN) also has consequences on entropy - entropy production inequalities and on the intermediate asymptotics for (WFD). Even when no symmetry holds in (CKN), asymptotic rates of convergence of the solutions to (WFD) are determined by a weighted Hardy-Poincar{é} inequality which is interpreted as a linearized entropy - entropy production inequality. All our results rely on the study of the bottom of the spectrum of the linearized diffusion operator around the self-similar profiles, which is equivalent to the linearization of (CKN) around the radial optimal functions, and on variational methods. Consequences for the (WFD) flow will be studied in Part II of this work.
△ Less
Submitted 20 June, 2016; v1 submitted 26 February, 2016;
originally announced February 2016.
-
Weighted fast diffusion equations (Part II): Sharp asymptotic rates of convergence in relative error by entropy methods
Authors:
Matteo Bonforte,
Jean Dolbeault,
Matteo Muratori,
Bruno Nazaret
Abstract:
This paper is the second part of the study. In Part~I, self-similar solutions of a weighted fast diffusion equation (WFD) were related to optimal functions in a family of subcritical Caffarelli-Kohn-Nirenberg inequalities (CKN) applied to radially symmetric functions. For these inequalities, the linear instability (symmetry breaking) of the optimal radial solutions relies on the spectral prop…
▽ More
This paper is the second part of the study. In Part~I, self-similar solutions of a weighted fast diffusion equation (WFD) were related to optimal functions in a family of subcritical Caffarelli-Kohn-Nirenberg inequalities (CKN) applied to radially symmetric functions. For these inequalities, the linear instability (symmetry breaking) of the optimal radial solutions relies on the spectral properties of the linearized evolution operator. Symmetry breaking in (CKN) was also related to large-time asymptotics of (WFD), at formal level. A first purpose of Part~II is to give a rigorous justification of this point, that is, to determine the asymptotic rates of convergence of the solutions to (WFD) in the symmetry range of (CKN) as well as in the symmetry breaking range, and even in regimes beyond the supercritical exponent in (CKN). Global rates of convergence with respect to a free energy (or entropy) functional are also investigated, as well as uniform convergence to self-similar solutions in the strong sense of the relative error. Differences with large-time asymptotics of fast diffusion equations without weights will be emphasized.
△ Less
Submitted 20 June, 2016; v1 submitted 26 February, 2016;
originally announced February 2016.
-
Infinite speed of propagation and regularity of solutions to the fractional porous medium equation in general domains
Authors:
Matteo Bonforte,
Alessio Figalli,
Xavier Ros-Oton
Abstract:
We study the positivity and regularity of solutions to the fractional porous medium equations $u_t+(-Δ)^su^m=0$ in $(0,\infty)\timesΩ$, for $m>1$ and $s\in (0,1)$ and with Dirichlet boundary data $u=0$ in $(0,\infty)\times({\mathbb R}^N\setminusΩ)$, and nonnegative initial condition $u(0,\cdot)=u_0\geq0$.
Our first result is a quantitative lower bound for solutions which holds for all positive t…
▽ More
We study the positivity and regularity of solutions to the fractional porous medium equations $u_t+(-Δ)^su^m=0$ in $(0,\infty)\timesΩ$, for $m>1$ and $s\in (0,1)$ and with Dirichlet boundary data $u=0$ in $(0,\infty)\times({\mathbb R}^N\setminusΩ)$, and nonnegative initial condition $u(0,\cdot)=u_0\geq0$.
Our first result is a quantitative lower bound for solutions which holds for all positive times $t>0$. As a consequence, we find a global Harnack principle stating that for any $t>0$ solutions are comparable to $d^{s/m}$, where $d$ is the distance to $\partialΩ$. This is in sharp contrast with the local case $s=1$, in which the equation has finite speed of propagation.
After this, we study the regularity of solutions. We prove that solutions are classical in the interior ($C^\infty$ in $x$ and $C^{1,α}$ in $t$) and establish a sharp $C^{s/m}_x$ regularity estimate up to the boundary.
Our methods are quite general, and can be applied to a wider class of nonlocal parabolic equations of the form $u_t-\mathcal L F(u)=0$ in $Ω$, both in bounded or unbounded domains.
△ Less
Submitted 21 June, 2016; v1 submitted 13 October, 2015;
originally announced October 2015.
-
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.
-
Non-existence and instantaneous extinction of solutions for singular nonlinear fractional diffusion equations
Authors:
Matteo Bonforte,
Antonio Segatti,
Juan Luis Vazquez
Abstract:
We show non-existence of solutions of the Cauchy problem in $\mathbb{R}^N$ for the nonlinear parabolic equation involving fractional diffusion $\partial_t u + (-Δ)^s φ(u)= 0,$ with $0<s<1$ and very singular nonlinearities $φ$ . More precisely, we prove that when $φ(u)=-1/u^n$ with $n>0$, or $φ(u) = \log u$, and we take nonnegative $L^1$ initial data, there is no (nonnegative) solution of the probl…
▽ More
We show non-existence of solutions of the Cauchy problem in $\mathbb{R}^N$ for the nonlinear parabolic equation involving fractional diffusion $\partial_t u + (-Δ)^s φ(u)= 0,$ with $0<s<1$ and very singular nonlinearities $φ$ . More precisely, we prove that when $φ(u)=-1/u^n$ with $n>0$, or $φ(u) = \log u$, and we take nonnegative $L^1$ initial data, there is no (nonnegative) solution of the problem in any dimension $N\ge 2$. We find the range of non-existence when $N=1$ in terms of $s$ and $n$. The range of exponents that we find for non-existence both for parabolic and elliptic equations are optimal. Non-existence is then proved for more general nonlinearities $φ$, and it is also extended to the related elliptic problem of nonlinear nonlocal type: $u + (-Δ)^s φ(u) = f$ with the same type of nonlinearity $φ$.
△ Less
Submitted 12 May, 2015;
originally announced May 2015.
-
Existence, Uniqueness and Asymptotic behaviour for fractional porous medium equations on bounded domains
Authors:
Matteo Bonforte,
Yannick Sire,
Juan Luis Vazquez
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 solu…
▽ More
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.
△ Less
Submitted 24 July, 2014; v1 submitted 24 April, 2014;
originally announced April 2014.
-
A Priori Estimates for Fractional Nonlinear Degenerate Diffusion Equations on bounded domains
Authors:
Matteo Bonforte,
Juan Luis Vázquez
Abstract:
We investigate quantitative properties of the nonnegative solutions $u(t,x)\ge 0$ to the nonlinear fractional diffusion equation, $\partial_t u + {\mathcal L} (u^m)=0$, posed in a bounded domain, $x\inΩ\subset {\mathbb R}^N$ with $m>1$ for $t>0$. As ${\mathcal L}$ we use one of the most common definitions of the fractional Laplacian $(-Δ)^s$, $0<s<1$, in a bounded domain with zero Dirichlet bounda…
▽ More
We investigate quantitative properties of the nonnegative solutions $u(t,x)\ge 0$ to the nonlinear fractional diffusion equation, $\partial_t u + {\mathcal L} (u^m)=0$, posed in a bounded domain, $x\inΩ\subset {\mathbb R}^N$ with $m>1$ for $t>0$. As ${\mathcal L}$ we use one of the most common definitions of the fractional Laplacian $(-Δ)^s$, $0<s<1$, in a bounded domain with zero Dirichlet boundary conditions. We consider a general class of very weak solutions of the equation, and obtain a priori estimates in the form of smoothing effects, absolute upper bounds, lower bounds, and Harnack inequalities. We also investigate the boundary behaviour and we obtain sharp estimates from above and below. The standard Laplacian case $s=1$ or the linear case $m=1$ are recovered as limits. The method is quite general, suitable to be applied to a number of similar problems.
△ Less
Submitted 27 November, 2013;
originally announced November 2013.
-
Quantitative Local and Global A Priori Estimates for Fractional Nonlinear Diffusion Equations
Authors:
Matteo Bonforte,
Juan Luis Vazquez
Abstract:
We establish quantitative estimates for solutions $u(t,x)$ to the fractional nonlinear diffusion equation, $\partial_t u +(-Δ)^s (u^m)=0$ in the whole range of exponents $m>0$, $0<s<1$. The equation is posed in the whole space $x\in\mathbb{R}^d$. We first obtain weighted global integral estimates that allow to establish existence of solutions for classes of large data. In the core of the paper we…
▽ More
We establish quantitative estimates for solutions $u(t,x)$ to the fractional nonlinear diffusion equation, $\partial_t u +(-Δ)^s (u^m)=0$ in the whole range of exponents $m>0$, $0<s<1$. The equation is posed in the whole space $x\in\mathbb{R}^d$. We first obtain weighted global integral estimates that allow to establish existence of solutions for classes of large data. In the core of the paper we obtain quantitative pointwise lower estimates of the positivity of the solutions, depending only on the norm of the initial data in a certain ball. The estimates take a different form in three exponent ranges: slow diffusion, good range of fast diffusion, and very fast diffusion. Finally, we show existence and uniqueness of initial traces.
△ Less
Submitted 7 October, 2013; v1 submitted 9 October, 2012;
originally announced October 2012.
-
Quantitative Local Bounds for Subcritical Semilinear Elliptic Equations
Authors:
Matteo Bonforte,
Gabriele Grillo,
Juan Luis Vazquez
Abstract:
The purpose of this paper is to prove local upper and lower bounds for weak solutions of semilinear elliptic equations of the form $-Δu= c u^p$, with $0<p<p_s=(d+2)/(d-2)$, defined on bounded domains of $\RR^d$, $d\ge 3$, without reference to the boundary behaviour. We give an explicit expression for all the involved constants. As a consequence, we obtain local Harnack inequalities with explicit c…
▽ More
The purpose of this paper is to prove local upper and lower bounds for weak solutions of semilinear elliptic equations of the form $-Δu= c u^p$, with $0<p<p_s=(d+2)/(d-2)$, defined on bounded domains of $\RR^d$, $d\ge 3$, without reference to the boundary behaviour. We give an explicit expression for all the involved constants. As a consequence, we obtain local Harnack inequalities with explicit constant, as well as gradient bounds.
△ Less
Submitted 27 January, 2012;
originally announced January 2012.
-
Total Variation Flow and Sign Fast Diffusion in one dimension
Authors:
Matteo Bonforte,
Alessio Figalli
Abstract:
We consider the dynamics of the Total Variation Flow (TVF) $u_t=÷(Du/|Du|)$ and of the Sign Fast Diffusion Equation (SFDE) $u_t=Δ\sign(u)$ in one spatial dimension. We find the explicit dynamic and sharp asymptotic behaviour for the TVF, and we deduce the one for the SFDE by an explicit correspondence between the two equations.
We consider the dynamics of the Total Variation Flow (TVF) $u_t=÷(Du/|Du|)$ and of the Sign Fast Diffusion Equation (SFDE) $u_t=Δ\sign(u)$ in one spatial dimension. We find the explicit dynamic and sharp asymptotic behaviour for the TVF, and we deduce the one for the SFDE by an explicit correspondence between the two equations.
△ Less
Submitted 17 August, 2011; v1 submitted 11 July, 2011;
originally announced July 2011.
-
Classification of radial solutions to the Emden-Fowler equation on the hyperbolic space
Authors:
Matteo Bonforte,
Filippo Gazzola,
Gabriele Grillo,
Juan Luis Vázquez
Abstract:
We study the Emden-Fowler equation $-Δu=|u|^{p-1}u$ on the hyperbolic space ${\mathbb H}^n$. We are interested in radial solutions, namely solutions depending only on the geodesic distance from a given point. The critical exponent for such equation is $p=(n+2)/(n-2)$ as in the Euclidean setting, but the properties of the solutions show striking differences with the Euclidean case. While the papers…
▽ More
We study the Emden-Fowler equation $-Δu=|u|^{p-1}u$ on the hyperbolic space ${\mathbb H}^n$. We are interested in radial solutions, namely solutions depending only on the geodesic distance from a given point. The critical exponent for such equation is $p=(n+2)/(n-2)$ as in the Euclidean setting, but the properties of the solutions show striking differences with the Euclidean case. While the papers \cite{mancini, bhakta} consider finite energy solutions, we shall deal here with infinite energy solutions and we determine the exact asymptotic behavior of wide classes of finite and infinite energy solutions.
△ Less
Submitted 1 May, 2011; v1 submitted 19 April, 2011;
originally announced April 2011.
-
Behaviour near extinction for the Fast Diffusion Equation on bounded domains
Authors:
Matteo Bonforte,
Gabriele Grillo,
Juan Luis Vazquez
Abstract:
We consider the Fast Diffusion Equation $u_t=Δu^m$ posed in a bounded smooth domain $Ω\subset \RR^d$ with homogeneous Dirichlet conditions; the exponent range is $m_s=(d-2)_+/(d+2)<m<1$. It is known that bounded positive solutions $u(t,x)$ of such problem extinguish in a finite time $T$, and also that such solutions approach a separate variable solution $u(t,x)\sim (T-t)^{1/(1-m)}S(x)$, as…
▽ More
We consider the Fast Diffusion Equation $u_t=Δu^m$ posed in a bounded smooth domain $Ω\subset \RR^d$ with homogeneous Dirichlet conditions; the exponent range is $m_s=(d-2)_+/(d+2)<m<1$. It is known that bounded positive solutions $u(t,x)$ of such problem extinguish in a finite time $T$, and also that such solutions approach a separate variable solution $u(t,x)\sim (T-t)^{1/(1-m)}S(x)$, as $t\to T^-$. Here we are interested in describing the behaviour of the solutions near the extinction time. We first show that the convergence $u(t,x)\,(T-t)^{-1/(1-m)}$ to $S(x)$ takes place uniformly in the relative error norm. Then, we study the question of rates of convergence of the rescaled flow. For $m$ close to 1 we get such rates by means of entropy methods and weighted Poincaré inequalities. The analysis of the latter point makes an essential use of fine properties of the associated stationary elliptic problem $-ΔS^m= {\bf c} S$ in the limit $m\to 1$, and such a study has an independent interest.
△ Less
Submitted 3 December, 2010;
originally announced December 2010.
-
Sharp rates of decay of solutions to the nonlinear fast diffusion equation via functional inequalities
Authors:
Matteo Bonforte,
Jean Dolbeault,
Gabriele Grillo,
Juan-Luis Vázquez
Abstract:
The goal of this note is to state the optimal decay rate for solutions of the nonlinear fast diffusion equation and, in self-similar variables, the optimal convergence rates to Barenblatt self-similar profiles and their generalizations. It relies on the identification of the optimal constants in some related Hardy-Poincaré inequalities and concludes a long series of papers devoted to generalized…
▽ More
The goal of this note is to state the optimal decay rate for solutions of the nonlinear fast diffusion equation and, in self-similar variables, the optimal convergence rates to Barenblatt self-similar profiles and their generalizations. It relies on the identification of the optimal constants in some related Hardy-Poincaré inequalities and concludes a long series of papers devoted to generalized entropies, functional inequalities and rates for nonlinear diffusion equations.
△ Less
Submitted 17 July, 2009;
originally announced July 2009.
-
Local smoothing effects, positivity, and Harnack inequalities for the fast p-Laplacian equation
Authors:
M. Bonforte,
R. G. Iagar,
J. L. Vazquez
Abstract:
We study qualitative and quantitative properties of local weak solutions of the fast $p$-Laplacian equation, $\partial_t u=Δ_{p}u$, with $1<p<2$. Our main results are quantitative positivity and boundedness estimates for locally defined solutions in domains of $\RR^n\times [0,T]$. We combine these lower and upper bounds in different forms of intrinsic Harnack inequalities, which are new in the v…
▽ More
We study qualitative and quantitative properties of local weak solutions of the fast $p$-Laplacian equation, $\partial_t u=Δ_{p}u$, with $1<p<2$. Our main results are quantitative positivity and boundedness estimates for locally defined solutions in domains of $\RR^n\times [0,T]$. We combine these lower and upper bounds in different forms of intrinsic Harnack inequalities, which are new in the very fast diffusion range, that is when $1<p \le 2n/(n+1)$. The boundedness results may be also extended to the limit case $p=1$, while the positivity estimates cannot.
We prove the existence as well as sharp asymptotic estimates for the so-called large solutions for any $1<p<2$, and point out their main properties.
We also prove a new local energy inequality for suitable norms of the gradients of the solutions. As a consequence, we prove that bounded local weak solutions are indeed local strong solutions, more precisely $\partial_t u\in L^2_{\rm loc}$.
△ Less
Submitted 16 February, 2009;
originally announced February 2009.
-
Positivity, local smoothing, and Harnack inequalities for very fast diffusion equations
Authors:
Matteo Bonforte,
Juan Luis Vazquez
Abstract:
We investigate qualitative properties of local solutions $u(t,x)\ge 0$ to the fast diffusion equation, $\partial_t u =Δ(u^m)/m$ with $m<1$, corresponding to general nonnegative initial data. Our main results are quantitative positivity and boundedness estimates for locally defined solutions in domains of the form $[0,T]\times\RR^d$. They combine into forms of new Harnack inequalities that are ty…
▽ More
We investigate qualitative properties of local solutions $u(t,x)\ge 0$ to the fast diffusion equation, $\partial_t u =Δ(u^m)/m$ with $m<1$, corresponding to general nonnegative initial data. Our main results are quantitative positivity and boundedness estimates for locally defined solutions in domains of the form $[0,T]\times\RR^d$. They combine into forms of new Harnack inequalities that are typical of fast diffusion equations. Such results are new for low $m$ in the so-called very fast diffusion range, precisely for all $m\le m_c=(d-2)/d.$ The boundedness statements are true even for $m\le 0$, while the positivity ones cannot be true in that range.
△ Less
Submitted 1 December, 2008; v1 submitted 30 May, 2008;
originally announced May 2008.
-
Special fast diffusion with slow asymptotics. Entropy method and flow on a Riemannian manifold
Authors:
Matteo Bonforte,
Gabriele Grillo,
Juan Luis Vazquez
Abstract:
We consider the asymptotic behaviour of positive solutions $u(t,x)$ of the fast diffusion equation $u_t=Δ(u^{m}/m)={\rm div} (u^{m-1}\nabla u)$ posed for $x\in\RR^d$, $t>0$, with a precise value for the exponent $m=(d-4)/(d-2)$. The space dimension is $d\ge 3$ so that $m<1$, and even $m=-1$ for $d=3$. This case had been left open in the general study \cite{BBDGV} since it requires quite differen…
▽ More
We consider the asymptotic behaviour of positive solutions $u(t,x)$ of the fast diffusion equation $u_t=Δ(u^{m}/m)={\rm div} (u^{m-1}\nabla u)$ posed for $x\in\RR^d$, $t>0$, with a precise value for the exponent $m=(d-4)/(d-2)$. The space dimension is $d\ge 3$ so that $m<1$, and even $m=-1$ for $d=3$. This case had been left open in the general study \cite{BBDGV} since it requires quite different functional analytic methods, due in particular to the absence of a spectral gap for the operator generating the linearized evolution.
The linearization of this flow is interpreted here as the heat flow of the Laplace-Beltrami operator of a suitable Riemannian Manifold $(\RR^d,{\bf g})$, with a metric ${\bf g}$ which is conformal to the standard $\RR^d$ metric. Studying the pointwise heat kernel behaviour allows to prove {suitable Gagliardo-Nirenberg} inequalities associated to the generator. Such inequalities in turn allow to study the nonlinear evolution as well, and to determine its asymptotics, which is identical to the one satisfied by the linearization. In terms of the rescaled representation, which is a nonlinear Fokker--Planck equation, the convergence rate turns out to be polynomial in time. This result is in contrast with the known exponential decay of such representation for all other values of $m$.
△ Less
Submitted 27 May, 2009; v1 submitted 30 May, 2008;
originally announced May 2008.
-
Asymptotics of the fast diffusion equation via entropy estimates
Authors:
Adrien Blanchet,
Matteo Bonforte,
Jean Dolbeault,
Gabriele Grillo,
Juan-Luis Vázquez
Abstract:
We consider non-negative solutions of the fast diffusion equation $u_t=Δu^m$ with $m \in (0,1)$, in the Euclidean space R^d, d?3, and study the asymptotic behavior of a natural class of solutions, in the limit corresponding to $t\to\infty$ for $m\ge m_c=(d-2)/d$, or as t approaches the extinction time when m < mc. For a class of initial data we prove that the solution converges with a polynomial…
▽ More
We consider non-negative solutions of the fast diffusion equation $u_t=Δu^m$ with $m \in (0,1)$, in the Euclidean space R^d, d?3, and study the asymptotic behavior of a natural class of solutions, in the limit corresponding to $t\to\infty$ for $m\ge m_c=(d-2)/d$, or as t approaches the extinction time when m < mc. For a class of initial data we prove that the solution converges with a polynomial rate to a self-similar solution, for t large enough if $m\ge m_c$, or close enough to the extinction time if m < mc. Such results are new in the range $m\le m_c$ where previous approaches fail. In the range mc < m < 1 we improve on known results.
△ Less
Submitted 18 April, 2007;
originally announced April 2007.
