[Paper Review] Analysis of jump processes with nondegenerate jumping kernels

Moritz Kaßmann, Ante Mimica|arXiv (Cornell University)|Sep 16, 2011

Advanced Harmonic Analysis Research7 references4 citations

TL;DR

This paper establishes a new Harnack inequality and regularity estimates for harmonic functions associated with nondegenerate jump processes governed by nonlocal operators with general jumping kernels. By extending methods from Bass-Levin and Bogdan-Sztonyk, it proves Hölder regularity and a quantitative Harnack inequality under weak assumptions on the kernel's angular dependence and tail behavior, including slowly varying functions and integrability conditions.

ABSTRACT

We prove regularity estimates for functions which are harmonic with respect to certain jump processes. The aim of this article is to extend the method of Bass-Levin[BL02] and Bogdan-Sztonyk[BS05] to more general processes. Furthermore, we establish a new version of the Harnack inequality that implies regularity estimates for corresponding harmonic functions.

Motivation & Objective

• To extend the Harnack inequality and regularity theory for harmonic functions beyond the standard stable-like kernels to more general nondegenerate jumping kernels.
• To relax the assumptions on the jumping kernel's angular behavior and tail decay, allowing for non-uniform directional dependence and slowly varying functions.
• To establish quantitative regularity estimates (Hölder continuity) for harmonic functions under weaker conditions than previously known.
• To provide a robust framework applicable to stable-like processes, truncated Lévy processes, and sums of such kernels.

Proposed method

• The authors introduce a general class of jumping kernels satisfying (J1)–(J3), including slowly varying functions and localized angular behavior via measurable functions on the sphere.
• They derive a new version of the Harnack inequality that incorporates a correction term involving the negative part of the function outside a ball, reflecting non-locality.
• The proof relies on geometric arguments involving cones and iterative covering techniques to control the probability of jumps from one region to another.
• A key technical step involves establishing decay estimates for exit measures from balls using the kernel's tail and angular structure.
• The method uses a martingale representation of harmonic functions and applies a probabilistic approach via strong Markov processes.
• The analysis leverages the interplay between the scaling behavior of the kernel and the geometry of the underlying space to derive uniform estimates.

Experimental results

Research questions

• RQ1 Can the Harnack inequality and regularity estimates for harmonic functions be extended to jump processes with non-uniform angular dependence in the jumping kernel?
• RQ2 What conditions on the kernel’s tail and angular behavior ensure Hölder regularity of harmonic functions?
• RQ3 How can the classical Harnack inequality be modified to account for non-symmetric or non-degenerate jumping kernels with slowly varying components?
• RQ4 To what extent can the results be generalized to sums of stable-like kernels or truncated processes?
• RQ5 What is the optimal decay rate of the exit measure from balls under general kernel assumptions?

Key findings

• A new Harnack inequality is established: for non-negative harmonic functions in a ball of radius 4r, the pointwise values in a smaller ball of radius r/2 are controlled by a constant multiple of the function value at a point, plus a correction term involving the negative part of the function outside the ball.
• The correction term is explicitly quantified as proportional to (r^α / ℓ(r)) times the integral of f⁻ over the complement, where ℓ is a slowly varying function at zero.
• Hölder regularity of order β ∈ (0,1) is proven for harmonic functions, with the C^β norm bounded by a universal constant times the L∞ norm.
• The regularity estimate holds uniformly across all balls, with the constant depending only on dimension, α, and the kernel's parameters.
• The proof relies on a geometric construction involving cones and iterative covering of jump paths, ensuring positive transition probabilities from inner to outer regions.
• The results hold under weak integrability and decay conditions (J1)–(J3), including cases where the kernel is degenerate in certain directions but non-degenerate on a finite union of spherical neighborhoods.