Gaussian heat kernel upper bounds via Phragmén-Lindelöf theorem

Thierry Coulhon,Adam Sikora

DOI: https://doi.org/10.48550/arXiv.math/0609429

2006-09-15

Analysis of PDEs

Abstract:We prove that in presence of $L^2$ Gaussian estimates, so-called Davies-Gaffney estimates, on-diagonal upper bounds imply precise off-diagonal Gaussian upper bounds for the kernels of analytic families of operators on metric measure spaces.

What problem does this paper attempt to address?

Off-diagonal upper estimates for the heat kernel of the Dirichlet forms on metric spaces

Alexander Grigor’yan,Jiaxin Hu

DOI: https://doi.org/10.1007/s00222-008-0135-9

IF: 3.128

2008-01-01

Inventiones mathematicae

Abstract:We give equivalent characterizations for off-diagonal upper bounds of the heat kernel of a regular Dirichlet form on the metric measure space, in two settings: for the upper bounds with the polynomial tail (typical for jump processes) and for the upper bounds with the exponential tail (for diffusions). Our proofs are purely analytic and do not use the associated Hunt process.
Obtaining Upper Bounds of Heat Kernels from Lower Bounds

Alexander Griogor'yan,Jiaxin Hu,Ka-Sing Lau

DOI: https://doi.org/10.1002/cpa.20215

2007-01-01

Communications on Pure and Applied Mathematics

Abstract:We show that a near‐diagonal lower bound of the heat kernel of a Dirichlet form on a metric measure space with a regular measure implies an on‐diagonal upper bound. If in addition the Dirichlet form is local and regular, then we obtain a full off‐diagonal upper bound of the heat kernel provided the Dirichlet heat kernel on any ball satisfies a near‐diagonal lower estimate. This reveals a new phenomenon in the relationship between the lower and upper bounds of the heat kernel. © 2007 Wiley Periodicals, Inc.
Schröodinger Equations and Heat Kernel Upper Bounds on Metric Spaces

Jiaxin Hu,Martina Zaehle

DOI: https://doi.org/10.1515/forum.2010.064

2010-01-01

Forum Mathematicum

Abstract:Abstract We investigate off-diagonal upper bounds of heat kernels for local regular Dirichlet forms on metric measure spaces. The key is to estimate from above the solution of the Schrödinger equation in any ball. As an application, we obtain heat kernel upper estimates onmetric measure spaces if both Dirichlet Green functions and volumes of balls decay at polynomial growth.
Estimates Of Heat Kernels For Non-Local Regular Dirichlet Forms

alexander grigor yan,jiaxin hu,kasing lau

DOI: https://doi.org/10.1090/S0002-9947-2014-06034-0

IF: 1.3529

2014-01-01

Transactions of the American Mathematical Society

Abstract:In this paper we present new heat kernel upper bounds for a certain class of non-local regular Dirichlet forms on metric measure spaces, including fractal spaces. We use a new purely analytic method where one of the main tools is the parabolic maximum principle. We deduce an off-diagonal upper bound of the heat kernel from the on-diagonal one under the volume regularity hypothesis, restriction of the jump kernel and the survival hypothesis. As an application, we obtain two-sided estimates of heat kernels for non-local regular Dirichlet forms with finite effective resistance, including settings with the walk dimension greater than 2.
Generalized Capacity, Harnack Inequality and Heat Kernels of Dirichlet Forms on Metric Measure Spaces

Alexander Grigor'yan,Jiaxin Hu,Ka-Sing Lau

DOI: https://doi.org/10.2969/jmsj/06741485

2015-01-01

Journal of the Mathematical Society of Japan

Abstract:We give necessary and sufficient conditions for sub-Gaussian estimates of the heat kernel of a strongly local regular Dirichlet form on a metric measure space. The conditions for two-sided estimates are given in terms of the generalized capacity inequality and the Poincare inequality. The main difficulty lies in obtaining the elliptic Harnack inequality under these assumptions. The conditions for upper bound alone are given in terms of the generalized capacity inequality and the Faber-Krahn inequality.
The Davies Method Revisited for Heat Kernel Upper Bounds of Regular Dirichlet Forms on Metric Measure Spaces

Jiaxin Hu,Xuliang Li

DOI: https://doi.org/10.1515/forum-2017-0072

2018-01-01

Forum Mathematicum

Abstract:We apply the Davies method to prove that for any regular Dirichlet form on a metric measure space, an off-diagonal stable-like upper bound of the heat kernel is equivalent to the conjunction of the on-diagonal upper bound, a cutoff inequality on any two concentric balls, and the jump kernel upper bound, for any walk dimension. If in addition the jump kernel vanishes, that is, if the Dirichlet form is strongly local, we obtain a sub-Gaussian upper bound. This gives a unified approach to obtaining heat kernel upper bounds for both the non-local and the local Dirichlet forms.
Gaussian estimates vs. elliptic regularity on open sets

Tim Böhnlein,Simone Ciani,Moritz Egert

2024-06-14

Abstract:Given an elliptic operator $L= - \mathrm{div} (A \nabla \cdot)$ subject to mixed boundary conditions on an open subset of $\mathbb{R}^d$, we study the relation between Gaussian pointwise estimates for the kernel of the associated heat semigroup, Hölder continuity of $L$-harmonic functions and the growth of the Dirichlet energy. To this end, we generalize an equivalence theorem of Auscher and Tchamitchian to the case of mixed boundary conditions and to open sets far beyond Lipschitz domains. Yet we prove consistency of our abstract result by encompassing operators with real-valued coefficients and their small complex perturbations into one of the aforementioned equivalent properties. The resulting kernel bounds open the door for developing a harmonic analysis for the associated semigroups on rough open sets.

Analysis of PDEs,Classical Analysis and ODEs
New sharp bounds for the Jacobi heat kernel via an extension of the Dijksma-Koornwinder formula

Adam Nowak,Peter Sjögren,Tomasz Z. Szarek

2024-02-14

Abstract:We obtain sharp estimates for the Jacobi heat kernel in a range of parameters where the result has not been established before. This extends and completes an earlier result due to the authors. The proof is based on a generalization of the Dijksma-Koornwinder product formula for Jacobi polynomials.

Classical Analysis and ODEs
Upper Bounds of Heat Kernels on Doubling Spaces

Alexander Grigor'yan,Jiaxin Hu

DOI: https://doi.org/10.17323/1609-4514-2014-14-3-505-563

2014-01-01

Moscow Mathematical Journal

Abstract:In this paper we give various equivalent characterizations of upper estimates of heat kernels of regular, conservative and local Dirichlet forms on doubling spaces, from both the analytic and probabilistic points of view. The first part of this paper uses purely analytic argument, while the second part focuses oil the probabilistic aspects, where the exit time plays an important role.
Note on gradient estimate of heat kernel for Schrödinger operators

Shijun Zheng

2023-12-07

Abstract:Let $H=-\Delta+V$ be a Schrödinger operator on $\mathbb{R}^n$. We show that gradient estimates for the heat kernel of $H$ with upper Gaussian bounds imply polynomial decay for the kernels of certain smooth dyadic spectral operators. The latter decay property has been known to play an important role in the Littlewood-Paley theory for $L^p$ and Sobolev spaces. We are able to establish the result by modifying Hebisch and the author's recent proofs. We give a counterexample in one dimension to show that there exists $V$ in the Schwartz class such that the long time gradient heat kernel estimate fails.

Analysis of PDEs,Classical Analysis and ODEs
Gaussian upper heat kernel bounds and Faber-Krahn inequalities on graphs

Christian Rose

2024-10-15

Abstract:We investigate the equivalence of relative Faber-Krahn inequalities and the conjunction of Gaussian upper heat kernel bounds and volume doubling on large scales on graphs. For the normalizing measure, we obtain their equivalence up to constants by imposing comparability of small balls and the vertex degree at their centers. Removing this comparability assumption on the cost of a local regularity condition entering the equivalence and allowing for a variable dimension lead to a further generalization. The variable dimension converges to the doubling dimension for increasing ball radius. If the counting measure or arbitrary measures are considered, the local regularity condition contains the vertex degree. Furthermore, correction functions for the Gaussian, doubling, and Faber-Krahn dimension depending on the vertex degree are introduced. For the Gaussian and doubling, the variable correction functions always tend to one at infinity. Moreover, the variable Faber-Krahn dimension can be related to the doubling dimension and the vertex degree growth.

Analysis of PDEs,Probability
Gaussian upper bounds, volume doubling and Sobolev inequalities on graphs

Matthias Keller,Christian Rose

2024-06-28

Abstract:We investigate the equivalence of Sobolev inequalities and the conjunction of Gaussian upper heat kernel bounds and volume doubling on large scales on graphs. For the normalizing measure, we obtain their equivalence up to constants by imposing comparability of small balls and the vertex degree at their centers. If arbitrary measures are considered, we incorporate a new local regularity condition. Furthermore, new correction functions for the Gaussian, doubling, and Sobolev dimension are introduced. For the Gaussian and doubling, the variable correction functions always tend to one at infinity. Moreover, the variable Sobolev dimension can be related to the doubling dimension and the vertex degree growth.

Analysis of PDEs,Probability
Heat Kernels and Green Functions on Metric Measure Spaces

Alexander Grigor'yan,Jiaxin Hu

DOI: https://doi.org/10.4153/cjm-2012-061-5

2014-01-01

Canadian Journal of Mathematics

Abstract:We prove that, in a setting of local Dirichlet forms on metric measure spaces, a two-sided sub-Gaussian estimate of the heat kernel is equivalent to the conjunction of the volume doubling property, the elliptic Harnack inequality, and a certain estimate of the capacity between concentric balls. The main technical tool is the equivalence between the capacity estimate and the estimate of a mean exit time in a ball that uses two-sided estimates of a Green function in a ball.
Upper bounds on homogeneous fractional Gagliardo-Nirenberg-Sobolev constants via parabolic estimates

Michael Hott

2024-08-06

Abstract:Common proofs of the Gagliardo-Nirenberg-Sobolev (GNS) do not provide explicit bounds on the involved constants, unless a sharp constant is being determined. GNS inequalities naturally occur in error estimates for numerical approximations. In particular, bounds on GNS constants allow us to provide explicit a priori estimates. We provide an algorithm that determines upper bounds on the non-endpoint homogeneous GNS inequalities in terms of explicit upper bounds for Young's convolution inequality and parabolic estimates. Our method is based on the heat-kernel representation of the inverse Laplacian, from which we deduce interpolation estimates.

Functional Analysis,Analysis of PDEs
Heat Kernel on Smooth Metric Measure Spaces and Applications

Jia-Yong Wu,Peng Wu

DOI: https://doi.org/10.1007/s00208-015-1289-6

2016-01-01

Mathematische Annalen

Abstract:We derive a Harnack inequality for positive solutions of the f-heat equation and Gaussian upper and lower bound estimates for the f-heat kernel on complete smooth metric measure spaces with Bakry–Émery Ricci curvature bounded below. Both upper and lower bound estimates are sharp when the Bakry–Émery Ricci curvature is nonnegative. The main argument is the De Giorgi–Nash–Moser theory. As applications, we prove an $L_f^1$-Liouville theorem for f-subharmonic functions and an $L_f^1$-uniqueness theorem for f-heat equations when f has at most linear growth. We also obtain eigenvalues estimates and f-Green’s function estimates for the f-Laplace operator.
Off-diagonal Lower Estimates and Hölder Regularity of the Heat Kernel

Alexander Grigor'yan,Eryan Hu,Jiaxin Hu

DOI: https://doi.org/10.4310/ajm.2023.v27.n5.a3

2023-01-01

Asian Journal of Mathematics

Abstract:We study the heat kernel of a regular symmetric Dirichlet form on a metric space with doubling measure, in particular, a connection between the properties of the jump measure and the long time behaviour of the heat kernel. Under appropriate optimal hypotheses, we obtain the Holder regularity and lower estimates of the heat kernel.
Hypoellipticity and Higher Order Gaussian Bounds

Brian Street

2024-10-18

Abstract:Let $(\mathfrak{M},\rho,\mu)$ be a metric space of homogeneous type, $p_0\in (1,\infty)$, and $T(t):L^{p_0}(\mathfrak{M},\mu)\rightarrow L^{p_0}(\mathfrak{M},\mu)$, $t\geq 0$, a strongly continuous semi-group. We provide sufficient conditions under which $T(t)$ is given by integration against an integral kernel satisfying higher-order Gaussian bounds of the form \[ \left| K_t(x,y) \right| \leq C \exp\left( -c \left( \frac{\rho(x,y)^{2\kappa}}{t} \right)^{\frac{1}{2\kappa-1}} \right) \mu\left( B(x,\rho(x,y)+t^{1/2\kappa}) \right)^{-1}. \] We also provide conditions for similar bounds on ``derivatives'' of $K_t(x,y)$ and our results are localizable. If $A$ is the generator of $T(t)$ the main hypothesis is that $\partial_t -A$ and $\partial_t-A^{*}$ satisfy a hypoelliptic estimate at every scale, uniformly in the scale. We present applications to subelliptic PDEs.

Analysis of PDEs,Classical Analysis and ODEs,Functional Analysis
The discrete analogue of the Gaussian

Gautam Chinta,Jay Jorgenson,Anders Karlsson,Lejla Smajlović

2024-09-22

Abstract:This paper illustrates the utility of the heat kernel on $\mathbb{Z}$ as the discrete analogue of the Gaussian density function. It is the two-variable function $K_{\mathbb{Z}}(t,x)=e^{-2t}I_{x}(2t)$ involving a Bessel function and variables $x\in\mathbb{Z}$ and real $t\geq 0$. Like its classic counterpart it appears in many mathematical and physical contexts and has a wealth of applications. Some of these will be reviewed here, concerning Bessel integrals, trigonometric sums, hypergeometric functions and asymptotics of discrete models appearing in statistical and quantum physics. Moreover, we prove a new local limit theorem for sums of integer-valued random variables, obtain novel special values of the spectral zeta function of Bethe lattices, and provide a discussion on how $e^{-2t}I_{x}(2t)$ could be useful in differential privacy.

Mathematical Physics,Probability
Heat Kernel on Smooth Metric Measure Spaces with Nonnegative Curvature

Jia-Yong Wu,Peng Wu

DOI: https://doi.org/10.1007/s00208-014-1146-z

2015-01-01

Mathematische Annalen

Abstract:We derive a local Gaussian upper bound for the $$f$$ -heat kernel on complete smooth metric measure space $$(M,g,e^{-f}dv)$$ with nonnegative Bakry–Émery Ricci curvature. As applications, we obtain a sharp $$L_f^1$$ -Liouville theorem for $$f$$ -subharmonic functions and an $$L_f^1$$ -uniqueness property for nonnegative solutions of the $$f$$ -heat equation, assuming $$f$$ is of at most quadratic growth. In particular, any $$L_f^1$$ -integrable $$f$$ -subharmonic function on gradient shrinking and steady Ricci solitons must be constant. We also provide explicit $$f$$ -heat kernel for Gaussian solitons.
Parabolic Mean Value Inequality and On-Diagonal Upper Bound of the Heat Kernel on Doubling Spaces

Alexander Grigor’yan,Eryan Hu,Jiaxin Hu

DOI: https://doi.org/10.1007/s00208-023-02699-3

2024-01-01

Mathematische Annalen

Abstract:We prove the diagonal upper bound of heat kernels for regular Dirichlet forms on metric measure spaces with volume doubling condition. As hypotheses, we use the Faber–Krahn inequality, the generalized capacity condition and an upper bound for the integrated tail of the jump kernel. The proof goes though a parabolic mean value inequality for subcaloric functions.

Gaussian heat kernel upper bounds via Phragmén-Lindelöf theorem

Off-diagonal upper estimates for the heat kernel of the Dirichlet forms on metric spaces

Obtaining Upper Bounds of Heat Kernels from Lower Bounds

Schröodinger Equations and Heat Kernel Upper Bounds on Metric Spaces

Estimates Of Heat Kernels For Non-Local Regular Dirichlet Forms

Generalized Capacity, Harnack Inequality and Heat Kernels of Dirichlet Forms on Metric Measure Spaces

The Davies Method Revisited for Heat Kernel Upper Bounds of Regular Dirichlet Forms on Metric Measure Spaces

Gaussian estimates vs. elliptic regularity on open sets

New sharp bounds for the Jacobi heat kernel via an extension of the Dijksma-Koornwinder formula

Upper Bounds of Heat Kernels on Doubling Spaces

Note on gradient estimate of heat kernel for Schrödinger operators

Gaussian upper heat kernel bounds and Faber-Krahn inequalities on graphs

Gaussian upper bounds, volume doubling and Sobolev inequalities on graphs

Heat Kernels and Green Functions on Metric Measure Spaces

Upper bounds on homogeneous fractional Gagliardo-Nirenberg-Sobolev constants via parabolic estimates

Heat Kernel on Smooth Metric Measure Spaces and Applications

Off-diagonal Lower Estimates and Hölder Regularity of the Heat Kernel

Hypoellipticity and Higher Order Gaussian Bounds

The discrete analogue of the Gaussian

Heat Kernel on Smooth Metric Measure Spaces with Nonnegative Curvature

Parabolic Mean Value Inequality and On-Diagonal Upper Bound of the Heat Kernel on Doubling Spaces