TheoremBase

The Riccati Shift of the Galerkin Equations of the Wick-Square Problem: a Penalty-Drift Equation with Bounded Cost, and Well-Posedness at Each Cutoff

Subtracting the free Galerkin quadratic turns the Wick-ordered Galerkin equation into a penalty-drift equation with bounded running cost whose quadratic potential meets the hypotheses of the Euclidean well-posedness theorem; so each Galerkin equation has exactly one solution differing from the free quadratic by a bounded function.

Statement

In the setting of The Galerkin Problems of the Wick-Square Problem: Standing Notation for Cubes of Modes, Coordinates, the Free Galerkin Quadratic and the Riccati Potential, let Cg∈RC_{g}\in\mathbb{R} be nonnegative, let g:H−1→Rg:H^{-1}\to\mathbb{R} satisfy ∣g(x)∣≤Cg|g(x)|\le C_{g} for every x∈H−1x\in H^{-1}, and let N∈NN\in\mathbb{N}, with mm, ιN\iota_{N}, u~N\tilde{u}_{N} and ΦN\Phi_{N} as fixed in The Galerkin Problems of the Wick-Square Problem: Standing Notation for Cubes of Modes, Coordinates, the Free Galerkin Quadratic and the Riccati Potential §coordinates and The Galerkin Problems of the Wick-Square Problem: Standing Notation for Cubes of Modes, Coordinates, the Free Galerkin Quadratic and the Riccati Potential §functions. Let FN\mathcal{F}_{N} be the Wick-ordered Galerkin operator and FN♯\mathcal{F}^{\sharp}_{N} the shifted Galerkin operator for gg, and let viscosity sub- and supersolutions be those of The Galerkin Hamilton-Jacobi-Bellman Equations of the Wick-Square Problem in the Coordinates of a Cube of Modes §equation. Then the following hold.

1. (The Riccati shift) For every z∈Rmz\in\mathbb{R}^{m}, Du~N(z)D\tilde{u}_{N}(z) is the vector with components 2qκN(i)zi2q_{\kappa_{N}(i)}z_{i} and D2u~N(z)D^{2}\tilde{u}_{N}(z) is the diagonal matrix with diagonal entries 2qκN(i)2q_{\kappa_{N}(i)}; and for all z,p∈Rmz,p\in\mathbb{R}^{m}, r∈Rr\in\mathbb{R} and X∈S(m)X\in\mathcal{S}(m),

FN(z, r+u~N(z), p+Du~N(z), X+D2u~N(z))=FN♯(z,r,p,X).\mathcal{F}_{N}\bigl(z,\,r+\tilde{u}_{N}(z),\,p+D\tilde{u}_{N}(z),\,X+D^{2}\tilde{u}_{N}(z)\bigr)=\mathcal{F}^{\sharp}_{N}(z,r,p,X).

2. (The potential) ΦN\Phi_{N} is a penalty on Rm\mathbb{R}^{m}, and for the penalty-drift operator with potential ΦN\Phi_{N}, discount γ\gamma and noise intensity ν\nu the conditions Well-Posedness of the Penalty-Drift Hamilton-Jacobi Equation under a Dissipation Inequality §one-sided and Well-Posedness of the Penalty-Drift Hamilton-Jacobi Equation under a Dissipation Inequality §dissipation hold, with cR=0c_{R}=0 for every RR, with ε=1\varepsilon=1, and with C=ν2∑i=1m(μκN(i)+2qκN(i))C=\tfrac{\nu}{2}\sum_{i=1}^{m}\bigl(\mu_{\kappa_{N}(i)}+2q_{\kappa_{N}(i)}\bigr).

3. (Solutions correspond) A function U:Rm→RU:\mathbb{R}^{m}\to\mathbb{R} is a viscosity subsolution of FN\mathcal{F}_{N} on Rm\mathbb{R}^{m} if and only if U−u~NU-\tilde{u}_{N} is a viscosity subsolution of FN♯\mathcal{F}^{\sharp}_{N} on Rm\mathbb{R}^{m}; and likewise for viscosity supersolutions.

4. (Well-posedness at each cutoff) Assume moreover that g∘ιNg\circ\iota_{N} is continuous from (Rm,dE)(\mathbb{R}^{m},d_{E}) to the real line. Then there is exactly one function UN:Rm→RU_{N}:\mathbb{R}^{m}\to\mathbb{R} that is a viscosity subsolution and a viscosity supersolution of FN\mathcal{F}_{N} on Rm\mathbb{R}^{m} and for which UN−u~NU_{N}-\tilde{u}_{N} is bounded. Moreover UN−u~NU_{N}-\tilde{u}_{N} is continuous on Rm\mathbb{R}^{m} and ∣UN(z)−u~N(z)∣≤Cg/γ|U_{N}(z)-\tilde{u}_{N}(z)|\le C_{g}/\gamma for every z∈Rmz\in\mathbb{R}^{m}.

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…