Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Hypoelliptic Regularization in the Obstacle Problem for the Kolmogorov Operator

David Bowman

TL;DR

This work addresses the obstacle problem for the Kolmogorov operator $\mathcal{L}=\Delta_v-\partial_t- v\cdot\nabla_x$, achieving a sharp enhancement of regularity in the spatial variable and the first rigorous free boundary regularity result under a thickness condition. The authors develop a penalization–Bernstein framework that yields $C^{0,1}_{t,x}$ regularity and $C^{1,1}_v$ control, enabling the construction of a new monotonicity formula that ties blow-ups to parabolic behavior. They classify blow-ups into half-space and polynomial types and prove regular points form a relatively open set with a $C^{0,1/2}_{t,x}\cap C^{0,1}_v$ free boundary, plus differentiability in the kinetic distance and a corkscrew condition. Overall, the paper provides foundational steps toward a full free boundary theory for hypoelliptic Kolmogorov obstacle problems and establishes tools likely to impact kinetic-regularity analysis beyond this specific problem.

Abstract

We study the obstacle problem associated with the Kolmogorov operator $Δ_v - \partial_t - v\cdot\nabla_x$, which arises from the theory of optimal control in Asian-American options pricing models. Our first main contribution is to improve the known regularity of solutions, from $C^{0,1}_t \cap C^{0,2/3}_x \cap C^{1,1}_v$ to $C^{0,1}_{t,x} \cap C^{1,1}_v$. The previous result in the literature, which has been called optimal, corresponds to $C^{1,1}$ regularity with respect to the Kolmogorov distance. This is the expected regularity for solutions to obstacle problems. Our unexpected improvement of regularity in the $x$ variable is obtained using Bernstein's technique and an approach drawing on ideas from Evans-Krylov theory. We then use this improvement in regularity of the solution to prove the first known free boundary regularity result. We show that under a standard thickness condition, the free boundary is a $C^{0,1/2}_{t,x} \cap C^{0,1}_v$ regular surface. This result constitutes the first step in the program of free boundary regularity. Critically, our arguments rely on a new monotonicity formula and a commutator estimate that are only made possible by the solution's enhanced regularity in $x$.

Hypoelliptic Regularization in the Obstacle Problem for the Kolmogorov Operator

TL;DR

This work addresses the obstacle problem for the Kolmogorov operator , achieving a sharp enhancement of regularity in the spatial variable and the first rigorous free boundary regularity result under a thickness condition. The authors develop a penalization–Bernstein framework that yields regularity and control, enabling the construction of a new monotonicity formula that ties blow-ups to parabolic behavior. They classify blow-ups into half-space and polynomial types and prove regular points form a relatively open set with a free boundary, plus differentiability in the kinetic distance and a corkscrew condition. Overall, the paper provides foundational steps toward a full free boundary theory for hypoelliptic Kolmogorov obstacle problems and establishes tools likely to impact kinetic-regularity analysis beyond this specific problem.

Abstract

We study the obstacle problem associated with the Kolmogorov operator , which arises from the theory of optimal control in Asian-American options pricing models. Our first main contribution is to improve the known regularity of solutions, from to . The previous result in the literature, which has been called optimal, corresponds to regularity with respect to the Kolmogorov distance. This is the expected regularity for solutions to obstacle problems. Our unexpected improvement of regularity in the variable is obtained using Bernstein's technique and an approach drawing on ideas from Evans-Krylov theory. We then use this improvement in regularity of the solution to prove the first known free boundary regularity result. We show that under a standard thickness condition, the free boundary is a regular surface. This result constitutes the first step in the program of free boundary regularity. Critically, our arguments rely on a new monotonicity formula and a commutator estimate that are only made possible by the solution's enhanced regularity in .
Paper Structure (16 sections, 40 theorems, 225 equations)

This paper contains 16 sections, 40 theorems, 225 equations.

Table of Contents

  1. Introduction
  2. Background
  3. Main Results
  4. Background on Kinetic Equations
  5. Historical Results and Future Directions
  6. Notation
  7. Local and Global Solutions
  8. Blow-ups
  9. Outline of the Paper
  10. Acknowledgements
  11. Regularity Estimates
  12. Nondegeneracy
  13. A Monotonicity Formula
  14. Blow-ups and the Free Boundary
  15. Balanced Energy and Further Classification of Blow-Ups
  16. ...and 1 more sections

Key Result

Theorem 1.1

Let $f$ solve eq: formulation1 with continuous boundary data $g:\partial_pQ_1 \to \mathbb R$ such that $g \ge \psi$, and assume that $\psi \in C^4_{t,x,v}(Q_1).$ Then there exists $C(\|\psi\|_{C^4_{t,x,v}(Q_1)}, \|g\|_{L^\infty(\partial_pQ_1)}, n)$ such that the following estimate holds: For $u$ solving eq: formulation2, there exists $C=C(n)$ such that $u$ enjoys the estimate

Theorems & Definitions (85)

  • Theorem 1.1
  • Theorem 1.2
  • Proposition 1.3
  • Definition 1.4
  • Theorem 1.5
  • Theorem 1.6
  • Definition 1.7
  • Definition 1.8
  • Lemma 2.1
  • proof
  • ...and 75 more