TheoremBase

The Cutoff Wick Square is Minus the Free-Field Generator of the Gaussian Penalty, and the Penalised Form of the Cutoff Operators

At every cutoff, the free-field generator applied to the Gaussian penalty is exactly minus the cost strength times the cutoff Wick square; consequently each cutoff operator equals the discount term minus the generator applied to the test function minus the penalty, plus half the gradient energy, minus the running cost, up to the cutoff sum of the difference between the free-field variances and the counterterm.

Statement

In the setting of The Wick-Square Problem on the Torus: Standing Notation, let PP be the Gaussian penalty, ckc_{k} the free-field variances and :x2:N{:}x^{2}{:}_{N} the cutoff Wick square; mode derivatives are those of Derivatives of a Function on the Sobolev Space of Order -1 along the Fourier Modes §derivatives, and LNL_{N} and ∣DN⋅∣2|D_{N}\cdot|^{2} are the free-field generator and gradient energy at cutoff NN. Then the following hold.

1. (Mode derivatives of the penalty) PP is twice differentiable along the modes, and for every x∈H−1x\in H^{-1} and k∈Znk\in\mathbb{Z}^{n}

∂kP(x)=β x(k)μk,∂k2P(x)=βμk.\partial_{k}P(x)=\frac{\beta\,x(k)}{\mu_{k}},\qquad\partial_{k}^{2}P(x)=\frac{\beta}{\mu_{k}}.

2. (The corrector identity) For every N∈NN\in\mathbb{N} and x∈H−1x\in H^{-1},

LNP(x)=−β :x2:N.L_{N}P(x)=-\beta\,{:}x^{2}{:}_{N}.

3. (Penalised form of the cutoff operators) Let g:H−1→Rg:H^{-1}\to\mathbb{R} and b:Zn→Rb:\mathbb{Z}^{n}\to\mathbb{R}, let FNbF_{N}^{b} and FNF_{N} be the cutoff operators with counterterm bb and the Wick-ordered cutoff operators for gg, and let φ:H−1→R\varphi:H^{-1}\to\mathbb{R} be twice differentiable along the modes. Then φ−P\varphi-P is twice differentiable along the modes, and for every N∈NN\in\mathbb{N} and x∈H−1x\in H^{-1}

FNb[φ](x)=γ φ(x)−LN(φ−P)(x)+12 ∣DNφ(x)∣2−β∑k∈ΓN(ck−b(k))−g(x);F_{N}^{b}[\varphi](x)=\gamma\,\varphi(x)-L_{N}(\varphi-P)(x)+\tfrac12\,|D_{N}\varphi(x)|^{2}-\beta\sum_{k\in\Gamma_{N}}\bigl(c_{k}-b(k)\bigr)-g(x);

in particular

FN[φ](x)=γ φ(x)−LN(φ−P)(x)+12 ∣DNφ(x)∣2−g(x).F_{N}[\varphi](x)=\gamma\,\varphi(x)-L_{N}(\varphi-P)(x)+\tfrac12\,|D_{N}\varphi(x)|^{2}-g(x).

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…