TheoremBase

Uniqueness for the Dirichlet Problem for Second-Order Equations

Two continuous viscosity solutions on a bounded domain that agree on the boundary agree throughout the closure, for a continuous, strictly proper operator satisfying the structure condition.

Statement

In the setting of Second-Order Equations on Euclidean Open Sets and of Bounded Open Domain in Euclidean Space, let FF be a second-order equation operator on Ω\Omega, let γ∈R\gamma\in\mathbb{R} be positive and let ω\omega be a modulus of continuity. Assume that FF is continuous and strictly proper with constant γ\gamma, and that FF and ω\omega satisfy the structure condition of the comparison principle.

Let u,v:Ω‾→Ru,v:\overline{\Omega}\to\mathbb{R} be continuous on Ω‾\overline{\Omega}, as maps into the metric space (R,dR)(\mathbb{R},d_{\mathbb{R}}) of The Absolute Value Metric on the Real Numbers, and let u∣Ω,v∣Ω:Ω→Ru|_{\Omega},v|_{\Omega}:\Omega\to\mathbb{R} be the functions whose values at x∈Ωx\in\Omega are u(x)u(x) and v(x)v(x). Assume that u∣Ωu|_{\Omega} and v∣Ωv|_{\Omega} are viscosity solutions of FF on Ω\Omega and that

u(x)=v(x)for every x∈∂Ω.u(x)=v(x)\qquad\text{for every }x\in\partial\Omega .

Then u(x)=v(x)u(x)=v(x) for every x∈Ω‾x\in\overline{\Omega}.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

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

Log in to comment.

Loading…