Researcher profile

Nicola Garofalo

Nicola Garofalo contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
34works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

34 published item(s)

preprint2022arXiv

A note on monotonicity and Bochner formulas in Carnot groups

In this note we prove two monotonicity formulas for solutions of $Δ_H f = c$ and $Δ_H f - \p_t f = c$ in Carnot groups. Such formulas involve the right-invariant \emph{carré du champ} of a function and they are false for the left-invariant one. The main results, Theorems 1.1 and 1.2, display a resemblance with two deep monotonicity formulas respectively due to Alt-Caffarelli-Friedman for the standard Laplacian, and to Caffarelli for the heat equation. In connection with this aspect we ask the question whether an "almost monotoniccity" formula be possible. In the last section we discuss the failure of the nondecreasing monotonicity of an Almgren type functional.

preprint2022arXiv

A universal heat semigroup characterisation of Sobolev and BV spaces in Carnot groups

In sub-Riemannian geometry there exist, in general, no known explicit representations of the heat kernels, and these functions fail to have any symmetry whatsoever. In particular, they are not a function of the control distance, nor they are for instance spherically symmetric in any of the layers of the Lie algebra. Despite these unfavourable aspects, in this paper we establish a new heat semigroup characterisation of the Sobolev and $BV$ spaces in a Carnot group by means of an integral decoupling property of the heat kernel.

preprint2022arXiv

On the space-like analyticity in the extension problem for nonlocal parabolic equations

In this note we give an elementary proof of the space-like real analyticity of solutions to a degenerate evolution problem that arises in the study of fractional parabolic operators of the type $(\partial_t - div_x(B(x)\nabla_x))^s$, $0<s<1$. Our primary interest is in the so-called \emph{extension variable}. We show that weak solutions that are even in such variable, are in fact real-analytic in the totality of the space variables. As an application of this result we prove the weak unique continuation property for nonlocal parabolic operators of the type above, where $B(x)$ is a uniformly elliptic matrix-valued function with real-analytic entries.

preprint2021arXiv

Feeling the heat in a group of Heisenberg type

In this paper we use the heat equation in a group of Heisenberg type $\mathbb{G}$ to provide a unified treatment of the two very different extension problems for the time independent pseudo-differential operators $\mathscr L^s$ and $\mathscr L_s$, $0< s\leq 1$. Here, $\mathscr L^s$ is the fractional power of the horizontal Laplacian, and $\mathscr L_s$ is the conformal fractional power of the horizontal Laplacian on $\mathbb{G}$. One of our main objective is compute explicitly the fundamental solutions of these nonlocal operators by a new approach exclusively based on partial differential equations and semigroup methods. When $s=1$ our results recapture the famous fundamental solution found by Folland and generalised by Kaplan.

preprint2020arXiv

A Bourgain-Brezis-Mironescu-Dávila theorem in Carnot groups of step two

In this note we prove the following theorem in any Carnot group of step two $\mathbb{G}$: \[ \underset{s\nearrow 1/2}{\lim} (1 - 2s) \mathfrak P_{H,s}(E) = \frac{4}{\sqrt π}\ \mathfrak P_H(E). \] Here, $\mathfrak P_H(E)$ represents the horizontal perimeter of a measurable set $E\subset \mathbb{G}$, whereas the nonlocal horizontal perimeter $\mathfrak P_{H,s}(E)$ is a heat based Besov seminorm. This result represents a dimensionless sub-Riemannian counterpart of a famous characterisation of Bourgain-Brezis-Mironescu and Dávila.

preprint2020arXiv

A class of nonlocal hypoelliptic operators and their extensions

In this paper we study nonlocal equations driven by the fractional powers of hypoelliptic operators in the form $$\mathscr K u = \mathscr A u - \partial_t u \overset{def}{=} \operatorname{tr}(Q \nabla^2 u) + <BX,\nabla u> - \partial_t u,$$ introduced by Hörmander in his 1967 hypoellipticity paper. We show that the nonlocal operators $(-\mathscr K)^s$ and $(-\mathscr A)^s$ can be realized as the Dirichlet-to-Neumann map of doubly-degenerate extension problems. We solve such problems in $L^\infty$, and in $L^p$ for $1\leq p<\infty$ when $\operatorname{tr}(B)\geq 0$. In forthcoming works we use such calculus to establish some new Sobolev and isoperimetric inequalities.

preprint2020arXiv

Nonlocal isoperimetric inequalities for Kolmogorov-Fokker-Planck operators

In this paper we establish optimal isoperimetric inequalities for a nonlocal perimeter adapted to the fractional powers of a class of Kolmogorov-Fokker-Planck operators which are of interest in physics. These operators are very degenerate and do not possess a variational structure. The prototypical example was introduced by Kolmogorov in his 1938 paper on brownian motion and the theory of gases. Our work has been influenced by ideas of M. Ledoux in the local case.

preprint2020arXiv

On the best constant in the nonlocal isoperimetric inequality of Almgren and Lieb

In 1989 Almgren and Lieb proved a rearrangement inequality for the Sobolev spaces of fractional order $W^{s,p}$. The case $p = 2$ of their result implies the nonlocal isoperimetric inequality \[ \frac{P_s(E)}{|E|^{\frac{N-2s}N}} \ge \frac{P_s(B_1)}{|B_1|^{\frac{N-2s}N}},\ \ \ \ \ \ \ 0<s<1/2, \] where $P_s$ indicates the fractional $s$-perimeter, and $B_1$ is the unit ball in $\RN$. In this note we explicitly compute the best constant, and show that for any $0<s<1/2$, one has \[ \frac{P_s(B_1)}{|B_1|^{\frac{N-2s}N}} = \frac{N π^{\frac N2 + s} \G(1-2s)}{s \G(\frac N2+1)^{\frac{2s}N} \G(1-s)\G(\frac{N+2-2s}{2})}. \]

preprint2020arXiv

On the finite $(Q-1)$-Hausdorff measure of the free boundary in the subelliptic obstacle problem

In this note, we prove the finite ${(Q-1)}$-Hausdorff measure of the free boundary in the obstacle problem in a Carnot group $\mathbb{G}$. Here, $Q$ represents the homogeneous dimension of $\mathbb{G}$. Our main result, Theorem 1.1, constitutes the subelliptic counterpart of the Euclidean result due to Caffarelli, but the analysis is complicated by the lack of commutation of the left-invariant vector fields. This obstruction is compensated by the use of right-invariant derivatives, and by a delicate compactness argument inspired to Caffarelli&#39;s fundamental works.

preprint2020arXiv

Regularity for a class of quasilinear degenerate parabolic equations in the Heisenberg group

We extend to the parabolic setting some of the ideas originated with Xiao Zhong&#39;s proof in \cite{Zhong} of the Hölder regularity of $p-$harmonic functions in the Heisenberg group $\Hn$. Given a number $p\ge 2$, in this paper we establish the $C^{\infty}$ smoothness of weak solutions of quasilinear pde&#39;s in $\Hn$ modelled on the equation $$\p_t u= \sum_{i=1}^{2n} X_i \bigg((1+|\nabla_0 u|^2)^{\frac{p-2}{2}} X_i u\bigg).$$

preprint2016arXiv

Estimates of the Green function and the initial-Dirichlet problem for the heat equation in sub-Riemannian spaces

In a cylinder $D_T = Ω\times (0,T)$, where $Ω\subset \mathbb{R}^n$, we examine the relation between the $L$-caloric measure, $dω^{(x,t)}$, where $L$ is the heat operator associated with a system of vector fields of Hörmander type, and the measure $dσ_X\times dt$, where $dσ_X$ is the intrinsic $X$-perimeter measure. The latter constitutes the appropriate replacement for the standard surface measure on the boundary and plays a central role in sub-Riemannian geometric measure theory. Under suitable assumptions on the domain $Ω$ we establish the mutual absolute continuity of $dω^{(x,t)}$ and $dσ_X\times dt$. We also derive the solvability of the initial-Dirichlet problem for $L$ with boundary data in appropriate $ L^p$ spaces, for every $p>1$.

preprint2016arXiv

Quantitative uniqueness for elliptic equations at the boundary of $C^{1, Dini}$ domains

Based on a variant of the frequency function approach of Almgren, we establish an optimal upper bound on the vanishing order of solutions to variable coefficient Schrödinger equations at a portion of the boundary of a $C^{1,Dini}$ domain. Such bound provides a quantitative form of strong unique continuation at the boundary. It can be thought of as a boundary analogue of an interior result recently obtained by Bakri and Zhu for the standard Laplacian.

preprint2015arXiv

A parabolic analogue of the higher-order comparison theorem of De Silva and Savin

We show that the quotient of two caloric functions which vanish on a portion of the lateral boundary of a $H^{k+ α}$ domain is $H^{k+ α}$ up to the boundary for $k \geq 2$. In the case $k=1$, we show that the quotient is in $H^{1+α}$ if the domain is assumed to be space-time $C^{1, α}$ regular. This can be thought of as a parabolic analogue of a recent important result in [DS1], and we closely follow the ideas in that paper. We also give counterexamples to the fact that analogous results are not true at points on the parabolic boundary which are not on the lateral boundary, i.e., points which are at the corner and base of the parabolic boundary.

preprint2015arXiv

An epiperimetric inequality approach to the regularity of the free boundary in the Signorini problem with variable coefficients

In this paper we establish the $C^{1,β}$ regularity of the regular part of the free boundary in the Signorini problem for elliptic operators with variable Lipschitz coefficients. This work is a continuation of the recent paper [GSVG14], where two of us established the interior optimal regularity of the solution. Two of the central results of the present work are a new monotonicity formula and a new epiperimetric inequality.

preprint2015arXiv

Modica type gradient estimates for reaction-diffusion equations and a parabolic counterpart of a conjecture of De Giorgi

We continue the study of Modica type gradient estimates for non-homogeneous parabolic equations initiated in \cite{BG}. First, we show that for the parabolic minimal surface equation with a semilinear force term if a certain gradient estimate is satisfied at $t=0$, then it holds for all later times $t>0$. We then establish analogous results for reaction-diffusion equations such as \eqref{e0} below in $\Om \times [0, T]$, where $\Om$ is an epigraph such that the mean curvature of $\partial \Om$ is nonnegative. We then turn our attention to settings where such gradient estimates are valid without any a priori information on whether the estimate holds at some earlier time. Quite remarkably (see Theorem \ref{main3}, Theorem \ref{main5} and Theorem \ref{T:ricci}), this is is true for $\Rn \times (-\infty, 0]$ and $\Om \times (-\infty, 0]$, where $\Om$ is an epigraph satisfying the geometric assumption mentioned above, and for $M \times (-\infty,0]$, where $M$ is a connected, compact Riemannian manifold with nonnegative Ricci tensor. As a consequence of the gradient estimate \eqref{mo2}, we establish a rigidity result (see Theorem \ref{main6} below) for solutions to \eqref{e0} which is the analogue of Theorem 5.1 in \cite{CGS}. Finally, motivated by Theorem \ref{main6}, we close the paper by proposing a parabolic version of the famous conjecture of De Giorgi also known as the $\ve$-version of the Bernstein theorem.

preprint2015arXiv

Regularity of the free boundary for the obstacle problem for the fractional Laplacian with drift

We establish the $C^{1+γ}$-Hölder regularity of the regular free boundary in the stationary obstacle problem defined by the fractional Laplace operator with drift in the subcritical regime. Our method of the proof consists in proving a new monotonicity formula and an epiperimetric inequality. Both tools generalizes the original ideas of G. Weiss for the classical obstacle problem to the framework of fractional powers of the Laplace operator with drift. Our study continues the earlier research, where two of us established the optimal interior regularity of solutions.

preprint2014arXiv

A sub-Riemannian curvature-dimension inequality, volume doubling property and the Poincaré inequality

Let $\mathbb{M}$ be a smooth connected manifold endowed with a smooth measure $μ$ and a smooth locally subelliptic diffusion operator $L$ satisfying $L1=0$, and which is symmetric with respect to $μ$. We show that if $L$ satisfies, with a non negative curvature parameter, the generalized curvature inequality introduced by the first and third named authors in \cite{BG}, then the following properties hold: 1 The volume doubling property; 2 The Poincaré inequality; 3 The parabolic Harnack inequality. The key ingredient is the study of dimensional reverse log-Sobolev inequalities for the heat semigroup and corresponding non-linear reverse Harnack type inequalities. Our results apply in particular to all Sasakian manifolds whose horizontal Webster-Tanaka-Ricci curvature is non negative, all Carnot groups with step two, and to wide subclasses of principal bundles over Riemannian manifolds whose Ricci curvature is non negative.

preprint2014arXiv

Curvature-dimension inequalities and Ricci lower bounds for sub-Riemannian manifolds with transverse symmetries

Let $\M$ be a smooth connected manifold endowed with a smooth measure $μ$ and a smooth locally subelliptic diffusion operator $L$ satisfying $L1=0$, and which is symmetric with respect to $μ$. Associated with $L$ one has \textit{le carré du champ} $Γ$ and a canonical distance $d$, with respect to which we suppose that $(M,d)$ be complete. We assume that $\M$ is also equipped with another first-order differential bilinear form $Γ^Z$ and we assume that $Γ$ and $Γ^Z$ satisfy the Hypothesis below. With these forms we introduce in \eqref{cdi} below a generalization of the curvature-dimension inequality from Riemannian geometry, see Definition \ref{D:cdi}. In our main results we prove that, using solely \eqref{cdi}, one can develop a theory which parallels the celebrated works of Yau, and Li-Yau on complete manifolds with Ricci bounded from below. We also obtain an analogue of the Bonnet-Myers theorem. In Section \ref{S:appendix} we construct large classes of sub-Riemannian manifolds with transverse symmetries which satisfy the generalized curvature-dimension inequality \eqref{cdi}. Such classes include all Sasakian manifolds whose horizontal Webster-Tanaka-Ricci curvature is bounded from below, all Carnot groups with step two, and wide subclasses of principal bundles over Riemannian manifolds whose Ricci curvature is bounded from below.

preprint2014arXiv

Modica type gradient estimates for an inhomogeneous variant of the normalized p-laplacian evolution

In this paper, we study an inhomogeneous variant of the normalized $p$-Laplacian evolution which has been recently treated in \cite{BG1}, \cite{Do}, \cite{MPR} and \cite{Ju}. We show that if the initial datum satisfies the pointwise gradient estimate \eqref{e:main1} a.e., then the unique solution to the Cauchy problem \eqref{main5} satisfies the same gradient estimate a.e. for all later times, see \eqref{e:main} below. A general pointwise gradient bound for the entire bounded solutions of the elliptic counterpart of equation \eqref{main5} was first obtained in \cite{CGS}. Such estimate generalizes one obtained by L. Modica for the Laplacian, and it has connections to a famous conjecture of De Giorgi.

preprint2014arXiv

Volume and distance comparison theorems for sub-Riemannian manifolds

In this paper we study global distance estimates and uniform local volume estimates in a large class of sub-Riemannian manifolds. Our main device is the generalized curvature dimension inequality introduced by the first and the third author in \cite{BG1} and its use to obtain sharp inequalities for solutions of the sub-Riemannian heat equation. As a consequence, we obtain a Gromov type precompactness theorem for the class of sub-Riemannian manifolds whose generalized Ricci curvature is bounded from below in the sense of \cite{BG1}.

preprint2012arXiv

Frequency of Harmonic functions in Carnot groups and for operators of Baouendi type

We introduce a new notion of Almgren&#39;s frequency which is adapted to solutions of a sub-Laplacian (harmonic functions) on a Carnot group of arbitrary step $\bG$. With this notion we investigate some new functionals associated with the frequency, and obtain monotonicity formulas for the relevant harmonic functions, or for the solutions of a closely connected class of degenerate second order operators of Baouendi type. The results proved in this paper provide some new insight into the deep link existing between the growth properties of the frequency, and the local and global structure of the relevant harmonic functions in these non-elliptic, or subelliptic, settings

preprint2012arXiv

Gradient bounds and monotonicity of the energy for some nonlinear singular diffusion equations

We construct viscosity solutions to the nonlinear evolution equation \eqref{p} below which generalizes the motion of level sets by mean curvature (the latter corresponds to the case $p = 1$) using the regularization scheme as in \cite{ES1} and \cite{SZ}. The pointwise properties of such solutions, namely the comparison principles, convergence of solutions as $p\to 1$, large-time behavior and unweighted energy monotonicity are studied. We also prove a notable monotonicity formula for the weighted energy, thus generalizing Struwe&#39;s famous monotonicity formula for the heat equation ($p =2$).

preprint2010arXiv

Boundary behavior p-harmonic functions in the Heisenberg group

We study the boundary behavior of nonnegative p-harmonic functions which vanish on a portion of the boundary of a domain in the Heisenberg group H^n. Our main results are: 1) An estimate from above which shows that, under suitable geometric assumptions on the relevant domain, such a p-harmonic function vanishes at most linearly with respect to the sub-Riemannian distance to the boundary. 2) An estimate from below which shows that for a (Euclidean) C^{1,1} domain, away from the characteristic set, such a p-harmonic function vanishes exactly like the distance to the boundary. By combining 1) and 2) we obtain a comparison theorem stating that, at least away from the characteristic set, any two such p-harmonic functions must vanish at the same rate.

preprint2010arXiv

Riesz potentials and p-superharmonic functions in Lie groups of Heisenberg type

We prove a superposition principle for Riesz potentials of nonnegative continuous functions on Lie groups of Heisenberg type. More precisely, we show that the Riesz potential $$ R_α(ρ)(g) = \int_{\G} N(g^{-1} g&#39;)^{α-Q} ρ(g&#39;) dg&#39;, \qquad 0<α<Q, $$ of a nonnegative function $ρ\in C_0(\G)$ on a group $\G$ of Heisenberg type is necessarily either $p$-subharmonic or $p$-superharmonic, depending on $p$ and $α$. Here $N$ denotes the non-isotropic homogeneous norm on such groups, as introduced by Kaplan. This result extends to a wide class of nonabelian stratified Lie groups a recent remarkable superposition result of Lindqvist and Manfredi.

preprint2009arXiv

Some New Monotonicity Formulas and the Singular Set in the Lower Dimensional Obstacle Problem

We construct two new one-parameter families of monotonicity formulas to study the free boundary points in the lower dimensional obstacle problem. The first one is a family of Weiss type formulas geared for points of any given homogeneity and the second one is a family of Monneau type formulas suited for the study of singular points. We show the uniqueness and continuous dependence of the blowups at singular points of given homogeneity. This allows to prove a structural theorem for the singular set. Our approach works both for zero and smooth non-zero lower dimensional obstacles. The study in the latter case is based on a generalization of Almgren&#39;s frequency formula, first established by Caffarelli, Salsa, and Silvestre.