arXiv subjects

Panki Kim

Publications and source records attributed to Panki Kim.

At least 19 recordsLinked to original sources

arXiv2025

Heat kernel estimates for Markov processes with blowing-up jump kernels

In this paper, we establish sharp two-sided heat kernel estimates for a large class of purely discontinuous symmetric Markov processes on closed subsets $F$ of $\mathbb{R}^d$, whose jump kernels blow up on a Borel subset $\Sigma$ of $F$. We assume that $F\setminus \Sigma$ is a $\kappa$-fat set and is dense in $F$. To the best of our knowledge, this is the first work establishing sharp heat kernel estimates for jump processes whose jump kernels blow up on part of the state space. The jump kernels under consideration take the form $J(x,y)=|x-y|^{-d-\alpha}{\mathcal B}(x,y)$, where $\alpha\in (0,2)$ and the function ${\mathcal B}(x,y)$ blows up at a subset $\Sigma$ of $F$. A fundamental obstacle is that the tails of the jump measures are not uniformly bounded, and hence standard techniques in heat kernel analysis do not provide a priori off-diagonal estimates. To overcome this difficulty, we develop a new approach based on weighted integral estimates for the heat kernel that are sensitive to both the blow-up behavior of the jump kernel and the geometry of $F\setminus \Sigma$. Examples of processes falling within our general framework include traces of isotropic $\alpha$-stable processes in $C^{1,\rm Dini}$ sets, processes in Lipschitz sets arising in connection with the nonlocal Neumann problem, and a large class of resurrected self-similar processes in the closed upper half-space.

math.PR↗

arXiv2025

Heat kernel estimates for Markov processes in bounded sets with jump kernels decaying at the boundary

In this paper, we study two types of purely discontinuous symmetric Markov processes $X$ in bounded smooth subsets of $\mathbb R^d$: conservative processes and processes killed either upon approaching the boundary of the set or by a killing potential $\kappa$. The jump kernel of $X$ is of the form $J(x,y)={\cal B}(x,y)|x-y|^{-d-\alpha}$, $\alpha\in (0,2)$, where the function ${\cal B}(x,y)$ decays to 0 at the boundary and is described in terms of two $O$-regularly varying functions and one slowly varying function. Under the conditions, introduced in \cite{CKSV24}, on ${\cal B}(x,y)$ and on the killing potential $\kappa$, we establish sharp two-sided estimates on the heat kernel of $X$: in Lipschitz sets when $X$ is conservative, and in $C^{1,1}$ open sets for the killed process.

math.PR↗

arXiv2025

Stability of H\"older regularity and weighted functional inequalities

We study symmetric Dirichlet forms on metric measure spaces, which may possess both strongly local and pure-jump parts. We introduce a new formulation of a tail condition for jump measures and weighted functional inequalities. Our framework accommodates Dirichlet forms with singular jump measures and those associated with trace processes of mixed-type stable processes. Using these new weighted functional inequalities, we establish stable, equivalent characterizations of H\"older regularity for caloric and harmonic functions. As an application of our main result, we prove the H\"older continuity of caloric functions for a large class of symmetric Markov processes exhibiting boundary blow-up behavior, among other results.

math.PR↗

arXiv2025

Heat kernel estimates for Schr\"odinger operators with supercritical killing potentials

In this paper, we study the Schr\"odinger operator $\Delta-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\beta)}$, $b, \beta>0$. We obtain two-sided estimates on the heat kernel $p(t, x, y)$ of $\Delta-V$, along with estimates for the corresponding Green function. Unlike the case of the fractional Schr\"odinger operator $-(-\Delta)^{\alpha/2}-V$, $\alpha\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.

math.PR↗

arXiv2024

Markov processes with jump kernels decaying at the boundary

The goal of this work is to develop a general theory for non-local singular operators of the type $$ L^{\mathcal{B}}_αf(x)=\lim_{ε\to 0} \int_{D,\, |y-x|>ε}\big(f(y)-f(x)\big) \mathcal{B}(x,y)|x-y|^{-d-α}\,dy, $$ and $$ L f(x)=L^{\mathcal{B}}_αf(x) - κ(x) f(x), $$ in case $D$ is a $C^{1,1}$ open set in $\mathbb{R}^d$, $d\ge 2$. The function $\mathcal{B}(x,y)$ above may vanish at the boundary of $D$, and the killing potential $κ$ may be subcritical or critical. From a probabilistic point of view we study the reflected process on the closure $\overline{D}$ with infinitesimal generator $L^{\mathcal{B}}_α$, and its part process on $D$ obtained by either killing at the boundary $\partial D$, or by killing via the killing potential $κ(x)$. The general theory developed in this work (i) contains subordinate killed stable processes in $C^{1,1}$ open sets as a special case, (ii) covers the case when $\mathcal{B}(x,y)$ is bounded between two positive constants and is well approximated by certain Hölder continuous functions, and (iii) extends the main results known for the half-space in $\mathbb{R}^d$. The main results of the work are the boundary Harnack principle and its possible failure, and sharp two-sided Green function estimates. Our results on the boundary Harnack principle completely cover the corresponding earlier results in the case of half-space. Our Green function estimates extend the corresponding earlier estimates in the case of half-space to bounded $C^{1, 1}$ open sets.

math.PR↗

arXiv2023

General Law of iterated logarithm for Markov processes: Limsup law

In this paper, we discuss general criteria of limsup law of iterated logarithm (LIL) for continuous-time Markov processes. We consider minimal assumptions for LILs to hold at zero(at infinity, respectively) in general metric measure spaces. We establish LILs under local assumptions near zero (near infinity, respectively) on uniform bounds of the expectations of first exit times from balls in terms of a function $ϕ$ and uniform bounds on the tails of the jumping kernel in terms of a function $ψ$. The main result is that a simple ratio test in terms of the functions $ϕ$ and $ψ$ completely determines whether there exists a positive non-decreasing function $Ψ$ such that $\limsup |X_t|/Ψ(t)$ is positive and finite a.s., or not. Our results cover a large class of subordinate diffusions, jump processes with mixed polynomial local growths, jump processes with singular jumping kernels and random conductance models with long range jumps.

math.PR↗

arXiv2023

Heat kernel estimates and their stabilities for symmetric jump processes with general mixed polynomial growths on metric measure spaces

In this paper, we consider a symmetric pure jump Markov process $X$ on a metric measure space with volume doubling conditions. Our focus is on estimating the transition density $p(t,x,y)$ of $X$ and studying its stability when the jumping kernel exhibits general mixed polynomial growth. Unlike previous work, in our setting, the rate function governing the jump growth may not be comparable to the scale function that determines whether $p(t,x,y)$ has near-diagonal or off-diagonal estimates. Under the assumption that lower scaling index of scale function is greater than $1$, we establish stabilities of heat kernel estimates. Additionally, if the metric measure space admits a conservative diffusion process with a transition density satisfying sub-Gaussian bounds, we generalize heat kernel estimates from [3, Theorems 1.2 and 1.4] using the rate function and the function $F$ related to walk dimension of underlying space. As an application, we prove the equivalence between a finite moment condition based on $F$ and a generalized Khintchine-type law of iterated logarithm at infinity for symmetric Markov processes.

math.PR↗

arXiv2023

Self-similar solution for Hardy operator

We describe the large-time asymptotics of solutions to the heat equation for the fractional Laplacian with added subcritical or even critical Hardy-type potential. The asymptotics is governed by a self-similar solution of the equation, obtained as a normalized limit at the origin of the kernel of the corresponding Feynman-Kac semigroup.

math.AP↗

arXiv2023

Positive self-similar Markov processes obtained by resurrection

In this paper we study positive self-similar Markov processes obtained by (partially) resurrecting a strictly $α$-stable process at its first exit time from $(0,\infty)$. We construct those processes by using the Lamperti transform. We explain their long term behavior and give conditions for absorption at 0 in finite time. In case the process is absorbed at 0 in finite time, we give a necessary and sufficient condition for the existence of a recurrent extension. The motivation to study resurrected processes comes from the fact that their jump kernels may explode at zero. We establish sharp two-sided jump kernel estimates for a large class of resurrected stable processes.

math.PR↗

arXiv2023

Harnack inequality and interior regularity for Markov processes with degenerate jump kernels

In this paper we study interior potential-theoretic properties of purely discontinuous Markov processes in proper open subsets $D\subset \mathbb{R}^d$. The jump kernels of the processes may be degenerate at the boundary in the sense that they may vanish or blow up at the boundary. Under certain natural conditions on the jump kernel, we show that the scale invariant Harnack inequality holds for any proper open subset $D\subset \mathbb{R}^d$ and prove some interior regularity of harmonic functions. We also prove a Dynkin-type formula and several other interior results.

math.PR↗

arXiv2022

On potential theory of Markov processes with jump kernels decaying at the boundary

Motivated by some recent potential theoretic results on subordinate killed Lévy processes in open subsets of the Euclidean space, we study processes in an open set $D\subset {\mathbb R}^d$ defined via Dirichlet forms with jump kernels of the form $J^D(x,y)=j(|x-y|)\mathcal{B}(x,y)$ and critical killing functions. Here $j(|x-y|)$ is the Lévy density of an isotropic stable process (or more generally, a pure jump isotropic unimodal Lévy process) in $\mathbb{R}^d$. The main novelty is that the term $\mathcal{B}(x,y)$ tends to 0 when $x$ or $y$ approach the boundary of $D$. Under some general assumptions on $\mathcal{B}(x,y)$, we construct the corresponding process and prove that non-negative harmonic functions of the process satisfy the Harnack inequality and Carleson's estimate. We give several examples of boundary terms satisfying those assumptions. The examples depend on four parameters, $β_1, β_2, β_3$, $β_4$, roughly governing the decay of the boundary term near the boundary of $D$. In the second part of this paper, we specialise to the case of the half-space $D=\mathbb{R}_+^d=\{x=(\widetilde{x},x_d):\, x_d>0\}$, the $α$-stable kernel $j(|x-y|)=|x-y|^{-d-α}$ and the killing function$κ(x)=c x_d^{-α}$, $α\in (0,2)$, where $c$ is a positive constant. Our main result in this part is a boundary Harnack principle which says that, for any $p>(α-1)_+$, there are values of the parameters $β_1, β_2, β_3$, $β_4$, and the constant $c$ such that non-negative harmonic functions of the process must decay at the rate $x_d^p$ if they vanish near a portion of the boundary. We further show that there are values of the parameters $β_1, β_2, β_3$, $β_4$, for which the boundary Harnack principle fails despite the fact that Carleson's estimate is valid.

math.PR↗

arXiv2022

Heat kernel estimates for Dirichlet forms degenerate at the boundary

The goal of this paper is to establish sharp two-sided estimates on the heat kernels of two types of purely discontinuous symmetric Markov processes in the upper half-space of $\mathbb R^d$ with jump kernels degenerate at the boundary. The jump kernels are of the form $J(x,y)=\mathcal B(x,y)|x-y|^{-\alpha-d}$, $\alpha\in (0,2)$, where the function $\mathcal B$ depends on four parameters and may vanish at the boundary. Our results are the first sharp two-sided estimates for the heat kernels of non-local operators with jump kernels degenerate at the boundary. The first type of processes are conservative Markov processes on $\overline{\mathbb R}^d_+$ with jump kernel $J(x,y)$. Depending on the regions where the parameters belong, the heat kernels estimates have three different forms, two of them are qualitatively different from all previously known heat kernel estimates. The second type of processes are the processes above killed either by a critical potential or upon hitting the boundary of the half-space. We establish that their heat kernel estimates have the approximate factorization property with survival probabilities decaying as a power of the distance to the boundary, where the power depends on the constant in the critical potential.

math.PR↗

arXiv2022

Laws of the iterated logarithm for occupation times of Markov processes

In this paper, we discuss the laws of the iterated logarithm (LIL) for occupation times of Markov processes $Y$ in general metric measure space both near zero and near infinity under some minimal assumptions. We first establish LILs of (truncated) occupation times on balls $B(x,r)$ of radii $r$ up to an function $Φ(r)$, which is an iterated logarithm of mean exit time of $Y$, by showing that the function $Φ$ is optimal. Our first result on LILs of occupation times covers both near zero and near infinity regardless of transience and recurrence of the process. Our assumptions are truly local in particular at zero and the function $Φ$ in our truncated occupation times $r \mapsto\int_0^{ Φ(x,r)} {\bf 1}_{B(x,r)}(Y_s)ds$ depends on space variable $x$ too. We also prove that a similar LIL for total occupation times $r \mapsto\int_0^\infty {\bf 1}_{B(x,r)}(Y_s)ds$ holds when the process is transient. Then we establish LIL concerning large time behaviors of occupation times $t \mapsto \int_0^t {\bf 1}_{A}(Y_s)ds$ under an additional condition that guarantees the recurrence of the process. Our results cover a large class of Feller (Levy-like) processes, random conductance models with long range jumps, jump processes with mixed polynomial local growths and jump processes with singular jumping kernels.

math.PR↗

arXiv2022

General Law of iterated logarithm for Markov processes: Liminf laws

Continuing from arXiv:2102.01917v2, in this paper, we discuss general criteria and forms of liminf laws of iterated logarithm (LIL) for continuous-time Markov processes. Under some minimal assumptions, which are weaker than those in arXiv:2102.01917v2, we establish liminf LIL at zero (at infinity, respectively) in general metric measure spaces. In particular, our assumptions for liminf law of LIL at zero and the form of liminf LIL are truly local so that we can cover highly space-inhomogenous cases. Our results cover all examples in arXiv:2102.01917v2 including random conductance models with long range jumps. Moreover, we show that the general form of liminf law of LIL at zero holds for a large class of jump processes whose jumping measures have logarithmic tails and Feller processes with symbols of varying order which are not covered before.

math.PR↗

arXiv2022

Sharp two-sided Green function estimates for Dirichlet forms degenerate at the boundary

In this paper we continue our investigation of the potential theory of Markov processes with jump kernels decaying at the boundary. To be more precise, we consider processes in ${\mathbb R}^d_+$ with jump kernels of the form ${\mathcal B}(x,y) |x-y|^{-d-α}$ and killing potentials $κ(x)=cx_d^{-α}$, $0<α<2$. The boundary part ${\mathcal B}(x,y)$ is comparable to the product of three terms with parameters $β_1, β_2$, $β_3$ and $β_4$ appearing as exponents in these terms. The constant $c$ in the killing term can be written as a function of $α$, ${\mathcal B}$ and a parameter $p\in ((α-1)_+, α+β_1)$, which is strictly increasing in $p,$ decreasing to $0$ as $p\downarrow (α-1)_+$ and increasing to $\infty$ as $p\uparrowα+β_1$. We establish sharp two-sided estimates on the Green functions of these processes for all $p\in ((α-1)_+, α+β_1)$ and all admissible values of $β_1, β_2$, $β_3$ and $β_4$. Depending on the regions where $β_1$, $β_2$ and $p$ belong, the estimates on the Green functions are different. In fact, the estimates have three different forms depending on the regions the parameters belong to. As applications, we prove that the boundary Harnack principle holds in certain region of the parameters and fails in some other region of the parameters. Combined with the main results of \cite{KSV},we completely determine the region of the parameters where the boundary Harnack principle holds.

math.PR↗

arXiv2022

Potential theory of Dirichlet forms with jump kernels blowing up at the boundary

In this paper we study the potential theory of Dirichlet forms on the half-space $\mathbb{R}^d_+$ defined by the jump kernel $J(x,y)=|x-y|^{-d-\alpha}\mathcal{B}(x,y)$ and the killing potential $\kappa x_d^{-\alpha}$, where $\alpha\in (0, 2)$ and $\mathcal{B}(x,y)$ can blow up to infinity at the boundary. The jump kernel and the killing potential depend on several parameters. For all admissible values of the parameters involved and all $d \ge 1$, we prove that the boundary Harnack principle holds, and establish sharp two-sided estimates on the Green functions of these processes.

math.PR↗

arXiv2022

Stability of estimates for fundamental solutions under Feynman-Kac perturbations for symmetric Markov processes

In this paper, when a given symmetric Markov process X satisfies the stability of global heat kernel two-sided (upper) estimates by Markov perturbations, we give a necessary and sufficient condition on the stability of global two-sided (upper) estimates for fundamental solution of Feynman-Kac semigroup of X. As a corollary, under the same assumptions, a weak type global two-sided (upper) estimates holds for the fundamental solution of Feynman-Kac semigroup with (extended) Kato class conditions for measures. This generalizes all known results on the stability of global integral kernel estimates by symmetric Feynman-Kac perturbations with Kato class conditions in the framework of symmetric Markov processes.

math.PR↗

arXiv2022

Potential theory of Dirichlet forms degenerate at the boundary: the case of no killing potential

In this paper we consider the Dirichlet form on the half-space $\mathbb{R}^d_+$ defined by the jump kernel $J(x,y)=|x-y|^{-d-α}\mathcal{B}(x,y)$, where $\mathcal{B}(x,y)$ can be degenerate at the boundary. Unlike our previous works [6,7] where we imposed critical killing, here we assume that the killing potential is identically zero. In case $α\in (1,2)$ we first show that the corresponding Hunt process has finite lifetime and dies at the boundary. Then, as our main contribution, we prove the boundary Harnack principle and establish sharp two-sided Green function estimates. Our results cover the case of the censored $α$-stable process, $α\in (1,2)$, in the half-space studied in [2].

math.PR↗