Research proof index

For a list φs = φ₀…φₙ of 𝓕.FieldOp, a Wick contraction φsΛ of φs, an element φ of 𝓕.FieldOp, i ≤ φs.length and a k in φsΛ.uncontracted, such that all 𝓕.FieldOp in φ₀…φᵢ₋₁ have time strictly less than φ and φ has a time greater than or equal to all FieldOp in φ₀…φₙ, then (φsΛ ↩Λ φ i (some k)).staticWickTerm is equal to th...

Parseval-Plancherel identity for the discrete Fourier transform.

An adjointness identity for difference convolution. The inner product of $f$ with $g\mathbin{\circleddash}h$ equals the inner product of $\overline g$ with $\overline f*\overline h$.

A Cauchy sequence in W^{k,p}(U) induces a Cauchy sequence in Lp for each weak derivative component.

Triangle inequality for a single weak-derivative eLpNorm.

Each weak-derivative eLpNorm is bounded by the Sobolev eNorm.