TheoremBase

Stability of Viscosity Sub- and Supersolutions on a Hilbert Triple: Limits of Uniformly Bounded, Equicontinuous Sequences under Convergence of the Operators on Bounded Test Data

On a Hilbert triple whose bounded sets of the form space are precompact in the ambient space, the pointwise limit superior of uniformly bounded, equicontinuous viscosity subsolutions of operators converging on bounded test data is a viscosity subsolution of the limit operator, and dually for supersolutions.

Statement

In the setting of Hilbert Triples: Standing Notation and Background, the set HH is open in HH by Hilbert Triples: Standing Notation and Background §open-sets, with W=D(A)W=D(A) and V∩H=VV\cap H=V there. Assume that every sequence in VV that is bounded in VV has a subsequence that converges in HH.

Let FF and, for each N∈NN\in\mathbb{N}, FNF_{N} be second-order equation operators on HH relative to (H,V,A)(H,V,A) such that (FN)N∈N(F_{N})_{N\in\mathbb{N}} converges to FF on bounded test data. Let C∈RC\in\mathbb{R} be nonnegative, let ω\omega be a modulus of continuity, and let uN:H→Ru_{N}:H\to\mathbb{R}, for N∈NN\in\mathbb{N}, satisfy

∣uN(x)∣≤Cand∣uN(x)−uN(y)∣≤ω(∣x−y∣H)for all N∈N and x,y∈H.|u_{N}(x)|\le C\quad\text{and}\quad|u_{N}(x)-u_{N}(y)|\le\omega\bigl(|x-y|_{H}\bigr)\qquad\text{for all }N\in\mathbb{N}\text{ and }x,y\in H .

For x∈Hx\in H the sequence (uN(x))N∈N(u_{N}(x))_{N\in\mathbb{N}} is a bounded sequence of real numbers, since ∣uN(x)∣≤C|u_{N}(x)|\le C; let uˉ(x)\bar{u}(x) be its limit superior and u‾(x)\underline{u}(x) its limit inferior. Then the following hold.

1. (Subsolutions) If uNu_{N} is a viscosity subsolution of FNF_{N} on HH for every N∈NN\in\mathbb{N}, then uˉ\bar{u} is a viscosity subsolution of FF on HH.

2. (Supersolutions) If uNu_{N} is a viscosity supersolution of FNF_{N} on HH for every N∈NN\in\mathbb{N}, then u‾\underline{u} is a viscosity supersolution of FF on HH.

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…