TheoremBase

Well-Posedness of the Renormalised Wick-Square Problem: Existence, Comparison and Uniqueness of Renormalised Viscosity Solutions Differing from the Free Solution by a Bounded Lipschitz Function

For a bounded running cost that is Lipschitz in the norm of order -3, the renormalised Wick-square equation has exactly one renormalised viscosity solution differing from the free solution by a bounded Lipschitz function, comparison holds in that class, and for zero cost the solution is the free solution.

Statement

In the setting of The Wick-Square Problem on the Sobolev Triple of Order Two: Standing Notation, let Cg,ℓg∈RC_{g},\ell_{g}\in\mathbb{R} be nonnegative and let dHd_{H} be the distance of H=H−3(Tn)H=H^{-3}(\mathbb{T}^{n}), restricted to H−1=D(A)H^{-1}=D(A), and let g:H−1→Rg:H^{-1}\to\mathbb{R} satisfy

∣g(x)∣≤Cgand∣g(x)−g(y)∣≤ℓg ∣x−y∣Hfor all x,y∈H−1.|g(x)|\le C_{g}\quad\text{and}\quad|g(x)-g(y)|\le\ell_{g}\,|x-y|_{H}\qquad\text{for all }x,y\in H^{-1} .

Renormalised viscosity sub-, super- and solutions are those of Renormalised Viscosity Subsolutions, Supersolutions and Solutions of the Wick-Square Problem, Tested by the Gaussian Penalty plus a Regular Function for the running cost gg, and u0u_{0} is the free solution. Let C\mathcal{C} be the set of functions u:H−1→Ru:H^{-1}\to\mathbb{R} for which u−u0u-u_{0} is bounded and Lipschitz from (H−1,dH)(H^{-1},d_{H}) to R\mathbb{R}. Then the following hold.

1. (Existence) There is a renormalised viscosity solution u∈Cu\in\mathcal{C} with

∣u(x)−u0(x)∣≤Cgγand∣(u−u0)(x)−(u−u0)(y)∣≤(ℓgγ+2Cgγ+1)∣x−y∣Hfor all x,y∈H−1.|u(x)-u_{0}(x)|\le\frac{C_{g}}{\gamma}\quad\text{and}\quad|(u-u_{0})(x)-(u-u_{0})(y)|\le\Bigl(\frac{\ell_{g}}{\gamma}+\frac{2C_{g}}{\gamma}+1\Bigr)|x-y|_{H}\qquad\text{for all }x,y\in H^{-1}.

2. (Comparison) If u1,u2∈Cu_{1},u_{2}\in\mathcal{C}, u1u_{1} is a renormalised viscosity subsolution and u2u_{2} is a renormalised viscosity supersolution, then u1(x)≤u2(x)u_{1}(x)\le u_{2}(x) for every x∈H−1x\in H^{-1}.

3. (Uniqueness) There is exactly one renormalised viscosity solution in C\mathcal{C}.

4. (The free solution) If gg is the zero function, then u0u_{0} is the renormalised viscosity solution in C\mathcal{C}.

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…