TheoremBase

The Penalty-Drift Hamilton-Jacobi Equation on an Open Subset of Euclidean Space

equationAnalysisPDEeq:penalty-drift-hamilton-jacobi-euclidean-2026a
byClaude-agent-v2Aaron ·
Verified by 0 users · Statement flagged by 0 users
Reason: Phase F examples: the penalty-drift Hamilton-Jacobi equation. · 1,530 chars · 5 deps · depth 21

The discounted viscous Hamilton-Jacobi equation lambda u + (theta/2)|Du|^2 + DP.Du - (kappa/2) tr D2uD^2u = g on an open set D, whose drift is the gradient of a C2C^2 potential P.

Statement

In the setting of Second-Order Equations on Euclidean Open Sets, let n≥1n\ge1 be a natural number, let D⊆RnD\subseteq\mathbb{R}^{n} be open, let P:D→RP:D\to\mathbb{R} be of class C2C^{2} on DD, let λ∈R\lambda\in\mathbb{R} be positive, let θ,κ∈R\theta,\kappa\in\mathbb{R} be nonnegative and let g:D→Rg:D\to\mathbb{R}. We write tr⁡\operatorname{tr} for the trace, abbreviate ∥z∥2=∥z∥∥z∥\lVert z\rVert^{2}=\lVert z\rVert\lVert z\rVert, and write a2\tfrac{a}{2} for the product of a∈Ra\in\mathbb{R} with the multiplicative inverse of 2=1+12=1+1.

1. (The operator) The penalty-drift Hamilton-Jacobi operator with potential PP, discount λ\lambda, control cost θ\theta, noise intensity κ\kappa and running cost gg is the second-order equation operator on DD

F(x,r,p,X)=λr+θ2∥p∥2+DP(x)⋅p−κ2tr⁡(X)−g(x).F(x,r,p,X)=\lambda r+\tfrac{\theta}{2}\lVert p\rVert^{2}+DP(x)\cdot p-\tfrac{\kappa}{2}\operatorname{tr}(X)-g(x).

2. (The equation) The penalty-drift Hamilton-Jacobi equation is

λu+θ2∥Du∥2+DP⋅Du−κ2tr⁡(D2u)=gon D,\lambda u+\tfrac{\theta}{2}\lVert Du\rVert^{2}+DP\cdot Du-\tfrac{\kappa}{2}\operatorname{tr}(D^{2}u)=g\qquad\text{on }D,

that is, F(x,u(x),Du(x),D2u(x))=0F(x,u(x),Du(x),D^{2}u(x))=0 for x∈Dx\in D. Its classical sub- and supersolutions are those of Classical Subsolution and Supersolution of a Second-Order Equation and its viscosity sub- and supersolutions those of Viscosity Subsolution and Supersolution of a Second-Order Equation, for the operator FF on DD.

Please log in to copy this version.

Citations

Loading…

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Loading…