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.
In the setting of The Wick-Square Problem on the Torus: Standing Notation, let be a running cost, let be the renormalised operator for , let be the Gaussian penalty, and let . 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 and every the value 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 is regarded as a subset of the metric space , where is the Sobolev space of order with its distance , which contains 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 and ); local maxima and minima relative to of a function on refer to this metric space.
1. (Subsolution) is a renormalised viscosity subsolution of the Wick-square problem with running cost if for every regular and every at which has a local maximum relative to and ,
2. (Supersolution) is a renormalised viscosity supersolution of the Wick-square problem with running cost if for every regular and every at which has a local minimum relative to and ,
3. (Solution) is a renormalised viscosity solution of the Wick-square problem with running cost if it is both a renormalised viscosity subsolution and a renormalised viscosity supersolution.
Loading…
No relations recorded yet.