Table of Contents
Fetching ...

Heat kernel estimates for Schrödinger operators with supercritical killing potentials

Soobin Cho, Panki Kim, Renming Song

TL;DR

This work addresses sharp two-sided heat kernel and Green function estimates for the local Schrödinger operator $Δ-V$ with supercritical potentials near the origin, including inverse-power models $V(x)≈κ|x|^{-(2+2β)}$. It develops a probabilistic framework via the Feynman–Kac semigroup, introduces barrier/harmonic functions $h_{β,κ}$, $ ilde h_{β,κ}$, and $H_{d,β,κ}$, and exploits survival probabilities and exterior-domain heat kernel bounds to obtain comprehensive small-time and large-time bounds on $p(t,x,y)$ and $G(x,y)$. The paper proves the optimality of the local class ${\cal K}^{\rm loc}(β,κ)$ by showing failures of the estimates at the critical boundary, and provides explicit Green-function scaling that parallels the heat-kernel asymptotics. A key contribution is the explicit treatment of the purely local (non-fractional) case, contrasting with the fractional Schrödinger setting by revealing exponential near-origin decay and dimension-dependent large-time behavior. These results deepen understanding of spectral and probabilistic properties for Schrödinger operators with strong singular potentials and supply tools for applications in quantum mechanics and related fields.

Abstract

In this paper, we study the Schrödinger operator $Δ-V$, where $V$ is a supercritical non-negative potential belonging to a large class of functions containing functions of the form $b|x|^{-(2+2β)}$, $b, β>0$. We obtain two-sided estimates on the heat kernel $p(t, x, y)$ of $Δ-V$, along with estimates for the corresponding Green function. Unlike the case of the fractional Schrödinger operator $-(-Δ)^{α/2}-V$, $α\in (0, 2)$, with supercritical killing potential dealt with in [11], in the present case, the heat kernel $p(t, x, y)$ decays to 0 exponentially as $x$ or $y$ tends to the origin.

Heat kernel estimates for Schrödinger operators with supercritical killing potentials

TL;DR

This work addresses sharp two-sided heat kernel and Green function estimates for the local Schrödinger operator with supercritical potentials near the origin, including inverse-power models . It develops a probabilistic framework via the Feynman–Kac semigroup, introduces barrier/harmonic functions , , and , and exploits survival probabilities and exterior-domain heat kernel bounds to obtain comprehensive small-time and large-time bounds on and . The paper proves the optimality of the local class by showing failures of the estimates at the critical boundary, and provides explicit Green-function scaling that parallels the heat-kernel asymptotics. A key contribution is the explicit treatment of the purely local (non-fractional) case, contrasting with the fractional Schrödinger setting by revealing exponential near-origin decay and dimension-dependent large-time behavior. These results deepen understanding of spectral and probabilistic properties for Schrödinger operators with strong singular potentials and supply tools for applications in quantum mechanics and related fields.

Abstract

In this paper, we study the Schrödinger operator , where is a supercritical non-negative potential belonging to a large class of functions containing functions of the form , . We obtain two-sided estimates on the heat kernel of , along with estimates for the corresponding Green function. Unlike the case of the fractional Schrödinger operator , , with supercritical killing potential dealt with in [11], in the present case, the heat kernel decays to 0 exponentially as or tends to the origin.

Paper Structure

This paper contains 11 sections, 52 theorems, 296 equations.

Key Result

Theorem 1.1

Suppose $\beta>0$ and $\kappa>0$. The Schrödinger operator $\Delta-\kappa|x|^{-(2+2\beta)}$ admits a heat kernel $p^{\beta, \kappa}(t, x, y)$ satisfying the following small time estimates: (i) There exist $c_1,c_2,c_3>0$ such that for all $t \in (0, 4]$ and $x,y \in {\mathbb R}^d_0$, (ii) (a) If $d\ge 2$, then there exist $c_4,c_5,c_6>0$ such that for all $t \in (0, 4]$ and $x,y \in {\mathbb R}

Theorems & Definitions (54)

  • Theorem 1.1
  • Theorem 1.2
  • Theorem 1.3
  • Proposition 2.1
  • Definition 3.1
  • Lemma 3.2
  • Lemma 3.3
  • Lemma 3.4
  • Lemma 3.5
  • Lemma 3.6
  • ...and 44 more