Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Fractional Parabolic Theory as a High-Dimensional Limit of Fractional Elliptic Theory

Blair Davey, Mariana Smit Vega Garcia

TL;DR

This work develops a high-dimensional limiting framework to derive monotonicity formulas for fractional and degenerate parabolic problems from corresponding elliptic theories. By uniting the Caffarelli–Silvestre extension for elliptic and parabolic contexts with a novel elliptic-to-parabolic transform and bridge lemmas, the authors prove Almgren-type, Weiss-type, and Alt–Caffarelli–Friedman-type monotonicity results for degenerate parabolic equations and introduce a new epiperimetric inequality for weakly a-harmonic functions. The approach combines nonhomogeneous elliptic results, careful limiting arguments, and pushforward measures to transfer elliptic insights to the parabolic setting. These results extend the toolbox for fractional and free-boundary problems in higher dimensions and illuminate the structure of solutions to degenerate parabolic equations arising in fractional diffusion models.

Abstract

This paper continues the program that was initiated in \cite{Dav18} and continued in \cite{DSVG24}, where a high-dimensional limiting technique was developed and used to prove certain parabolic theorems from their elliptic counterparts. The articles \cite{Dav18} and \cite{DSVG24} address the constant-coefficient and variable-coefficient settings, respectively. Here, we focus on fractional operators. As shown in \cite{CS07}, \cite{NS16}, \cite{ST17}, fractional operators may be associated with certain degenerate operators via extension problems, so we study the corresponding class of degenerate operators. Our high-dimensional limiting technique is demonstrated through new proofs of three theorems for degenerate parabolic equations. Specifically, we establish the monotonicity of Almgren-type, Weiss-type, and Alt-Caffarelli-Friedman-type functionals in the degenerate parabolic setting. Each new parabolic proof in this article is based on a (new) related elliptic theorem and a careful limiting argument that is reminiscent of those from \cite{Dav18} and \cite{DSVG24}. Our proof of the degenerate parabolic Weiss-type monotonicity formula additionally uses an epiperimetric inequality for weakly $a$-harmonic functions, which we also prove. To the best of our knowledge, our Alt-Caffarelli-Friedman monotonicity result is new.

Fractional Parabolic Theory as a High-Dimensional Limit of Fractional Elliptic Theory

TL;DR

This work develops a high-dimensional limiting framework to derive monotonicity formulas for fractional and degenerate parabolic problems from corresponding elliptic theories. By uniting the Caffarelli–Silvestre extension for elliptic and parabolic contexts with a novel elliptic-to-parabolic transform and bridge lemmas, the authors prove Almgren-type, Weiss-type, and Alt–Caffarelli–Friedman-type monotonicity results for degenerate parabolic equations and introduce a new epiperimetric inequality for weakly a-harmonic functions. The approach combines nonhomogeneous elliptic results, careful limiting arguments, and pushforward measures to transfer elliptic insights to the parabolic setting. These results extend the toolbox for fractional and free-boundary problems in higher dimensions and illuminate the structure of solutions to degenerate parabolic equations arising in fractional diffusion models.

Abstract

This paper continues the program that was initiated in \cite{Dav18} and continued in \cite{DSVG24}, where a high-dimensional limiting technique was developed and used to prove certain parabolic theorems from their elliptic counterparts. The articles \cite{Dav18} and \cite{DSVG24} address the constant-coefficient and variable-coefficient settings, respectively. Here, we focus on fractional operators. As shown in \cite{CS07}, \cite{NS16}, \cite{ST17}, fractional operators may be associated with certain degenerate operators via extension problems, so we study the corresponding class of degenerate operators. Our high-dimensional limiting technique is demonstrated through new proofs of three theorems for degenerate parabolic equations. Specifically, we establish the monotonicity of Almgren-type, Weiss-type, and Alt-Caffarelli-Friedman-type functionals in the degenerate parabolic setting. Each new parabolic proof in this article is based on a (new) related elliptic theorem and a careful limiting argument that is reminiscent of those from \cite{Dav18} and \cite{DSVG24}. Our proof of the degenerate parabolic Weiss-type monotonicity formula additionally uses an epiperimetric inequality for weakly -harmonic functions, which we also prove. To the best of our knowledge, our Alt-Caffarelli-Friedman monotonicity result is new.

Paper Structure

This paper contains 20 sections, 27 theorems, 305 equations.

Table of Contents

  1. Introduction
  2. Fractional and Degenerate Operators
  3. Elliptic operators
  4. Parabolic operators
  5. Elliptic-to-Parabolic Transformations
  6. Pushforward Results
  7. Integral Relationships
  8. Almgren Frequency Functions
  9. Almgren frequency functions in the elliptic setting
  10. Almgren frequency functions in the parabolic setting
  11. Weiss Frequency Functions
  12. Elliptic results
  13. Weiss frequency functions in the elliptic setting
  14. Tools from elliptic theory
  15. Epiperimetric inequalities for weakly $a$-harmonic functions
  16. ...and 5 more sections

Key Result

Lemma 3.3

Given $n \in \mathbb{N}$ and a function $U : \mathbb{R}^{d+1}_+ \times \left( 0, T \right) \to \mathbb{R}$, the function $V_n: \mathbb{D}^{dn+1}_{\sqrt{M T}} \to \mathbb{R}$ defined by $V_n(Y) = U(F_{n}(Y)) = U(X, t)$ satisfies the following: Moreover, if $U$ is a solution to $\Delta_x U + \frac{a}{x_0} \partial_{x_0} U + \partial^2_{x_0} U + \partial_t U= 0$ in $\mathbb{R}^{d+1}_+ \times \left(

Theorems & Definitions (73)

  • Definition 2.1: Elliptic boundary conditions
  • Definition 2.2: Parabolic boundary conditions
  • Definition 3.1: Half-balls and half-spheres
  • Remark 3.2
  • Lemma 3.3: Extension Chain Rule Lemma
  • Remark 3.4
  • proof
  • Lemma 3.5: Inheritance of Boundary Conditions
  • proof
  • Corollary 3.6: Fractional Chain Rule Result
  • ...and 63 more