TheoremBase

Renormalised Viscosity Subsolutions, Supersolutions and Solutions of the Wick-Square Problem, Tested by the Gaussian Penalty plus a Regular Function

A function on the Sobolev space of order -1 is a renormalised viscosity subsolution (supersolution) if the renormalised operator is nonpositive (nonnegative) at the Gaussian penalty plus any regular function touching it from above (below), touching being local in the norm of order -3.

Statement

In the setting of The Wick-Square Problem on the Torus: Standing Notation, let g:H−1→Rg:H^{-1}\to\mathbb{R} be a running cost, let FF be the renormalised operator for gg, let PP be the Gaussian penalty, and let u:H−1→Ru:H^{-1}\to\mathbb{R}. Regular functions are those of Regular Functions for the Wick-Square Problem: Diagonal Quadratics of Curvature of Order the Inverse Squared Weight, plus Twice Differentiable Functions on the Sobolev Space of Order -3; for a regular ψ\psi and every x∈H−1x\in H^{-1} the value F[P+ψ](x)F[P+\psi](x) is defined by Regular Functions: Mode Derivatives, the Free-Field Generator, the Gradient Energy, the Renormalised Operator at the Gaussian Penalty plus a Regular Function, and Linear Combinations §operator. The set H−1H^{-1} is regarded as a subset of the metric space (H−3,dH−3)(H^{-3},d_{H^{-3}}), where H−3=H−3(Tn)H^{-3}=H^{-3}(\mathbb{T}^{n}) is the Sobolev space of order −3-3 with its distance dH−3d_{H^{-3}}, which contains H−1H^{-1} by The Negative-Order Sobolev Spaces of the Torus are Hilbert Spaces: the Embedding of the Square-Integrable Classes, the Rescaled Trigonometric Basis, the Series Form of the Inner Product and the Inclusion of the Scale §inclusion (applied with m=1m=1 and m=2m=2); local maxima and minima relative to H−1H^{-1} of a function on H−1H^{-1} refer to this metric space.

1. (Subsolution) uu is a renormalised viscosity subsolution of the Wick-square problem with running cost gg if for every regular ψ:H−1→R\psi:H^{-1}\to\mathbb{R} and every x^∈H−1\hat{x}\in H^{-1} at which u−P−ψu-P-\psi has a local maximum relative to H−1H^{-1} and u(x^)=P(x^)+ψ(x^)u(\hat{x})=P(\hat{x})+\psi(\hat{x}),

F[P+ψ](x^)≤0.F[P+\psi](\hat{x})\le0 .

2. (Supersolution) uu is a renormalised viscosity supersolution of the Wick-square problem with running cost gg if for every regular ψ:H−1→R\psi:H^{-1}\to\mathbb{R} and every x^∈H−1\hat{x}\in H^{-1} at which u−P−ψu-P-\psi has a local minimum relative to H−1H^{-1} and u(x^)=P(x^)+ψ(x^)u(\hat{x})=P(\hat{x})+\psi(\hat{x}),

0≤F[P+ψ](x^).0\le F[P+\psi](\hat{x}) .

3. (Solution) uu is a renormalised viscosity solution of the Wick-square problem with running cost gg if it is both a renormalised viscosity subsolution and a renormalised viscosity supersolution.

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…