Table of Contents
Fetching ...

A Strict Comparison Principle for Integro-Differential Hamilton-Jacobi-Bellman Equations on Domains with Boundary

Serena Della Corte, Fabian Fuchs, Richard C. Kraaij, Max Nendel

TL;DR

This work develops a strict comparison principle for viscosity solutions of integro-differential HJB-type boundary value problems on cylindrical domains, accommodating both diffusion and jump terms and handling unbounded solutions via Lyapunov growth bounds and doubling penalties. It introduces a cohesive framework that decomposes operators into a coupled stochastic part and a deterministic part, with Phi-controlled growth and Jensen perturbations guiding optimizer and test-function construction. The main result provides a sharp comparison bound that reduces to boundary data, with concrete applications to parabolic problems on [0,T]×R^q and elliptic problems on spaces with corners, under explicit regularity and compatibility conditions. The paper also furnishes detailed optimizer/test-function construction and demonstrates how Lyapunov functions ensure convex semi-monotonicity and controlled operator action in bounded and corner domains.

Abstract

This work provides a comparison principle for viscosity solutions to boundary value problems on (partially) bounded, cylindrical spaces. The comparison principle is based on a test function framework, that allows for the simultaneous treatment of diffusive as well as jump terms. Estimates in the proof of the comparison principle incorporate the use of Lyapunov functions that act as growth bounds for the solutions, effectively yielding a theory for unbounded viscosity solutions. We apply the results to a wide class of parabolic equations and elliptic problems on a space with corners.

A Strict Comparison Principle for Integro-Differential Hamilton-Jacobi-Bellman Equations on Domains with Boundary

TL;DR

This work develops a strict comparison principle for viscosity solutions of integro-differential HJB-type boundary value problems on cylindrical domains, accommodating both diffusion and jump terms and handling unbounded solutions via Lyapunov growth bounds and doubling penalties. It introduces a cohesive framework that decomposes operators into a coupled stochastic part and a deterministic part, with Phi-controlled growth and Jensen perturbations guiding optimizer and test-function construction. The main result provides a sharp comparison bound that reduces to boundary data, with concrete applications to parabolic problems on [0,T]×R^q and elliptic problems on spaces with corners, under explicit regularity and compatibility conditions. The paper also furnishes detailed optimizer/test-function construction and demonstrates how Lyapunov functions ensure convex semi-monotonicity and controlled operator action in bounded and corner domains.

Abstract

This work provides a comparison principle for viscosity solutions to boundary value problems on (partially) bounded, cylindrical spaces. The comparison principle is based on a test function framework, that allows for the simultaneous treatment of diffusive as well as jump terms. Estimates in the proof of the comparison principle incorporate the use of Lyapunov functions that act as growth bounds for the solutions, effectively yielding a theory for unbounded viscosity solutions. We apply the results to a wide class of parabolic equations and elliptic problems on a space with corners.

Paper Structure

This paper contains 18 sections, 8 theorems, 146 equations.

Key Result

Theorem 3.14

Consider a doubling penalization $\Phi$, a containment function $\mathbf{V}$, and penalization functions $\{\bm{\zeta}_{z,p}\}_{z \in E, p \in \mathbb{R}^{q_1+q_2}}$ and $\{\bm{\zeta}_z\}_{z \in E}$. Let $\mathbb{H}_1 \subseteq C(E) \times (C(\mathring{E}) \cap \mathrm{LSC}(E))$ as in eq:main_th_sub with $\Theta$ a compact, metric space, and boundary operators $\mathbb{G}_1 \subseteq C(\partial E)

Theorems & Definitions (40)

  • Definition 2.1: Maximum principle
  • Definition 2.2: Viscosity sub- and supersolutions
  • Remark 2.3
  • Definition 2.4
  • Definition 3.1: Coupling
  • Definition 3.2: $\Phi$-controlled growth
  • Definition 3.3: $\Phi$-controlled growth coupling
  • Definition 3.4: Local first-order operator
  • Definition 3.5: Local semi-monotonicity w.r.t. $\Phi$
  • Definition 3.6: Convex semi-monotone operator w.r.t. $\Phi$
  • ...and 30 more