The two source error fields appearing in the Section 5.1 residual.
noncomputable def
AVenhance.Infra.Section5.sourceErrorD
{β : ℝ}
(I : Ingredients β)
{Φ : ℕ → ℝ → Homogenization.Vec 2 → ℝ}
(hΦ : IsStreamSeq I Φ)
(m : ℕ)
(κm : ℝ)
(T : ℝ → Homogenization.Vec 2 → ℝ)
(t : ℝ)
(x : Homogenization.Vec 2)
:
The d_m field, the corrected formulation (9) and §9.4 (convention):
Σ_l ξ̂_l F_lᵀ (JHat - 𝒥) F_l ∇T plus the terminal A_{m,n,Jcut} q_{m,n,Jcut} tail.
Equations
- One or more equations did not get rendered due to their size.
Instances For
def
AVenhance.Infra.Section5.sourceResidualIdentity
{β : ℝ}
(I : Ingredients β)
{Φ : ℕ → ℝ → Homogenization.Vec 2 → ℝ}
(hΦ : IsStreamSeq I Φ)
(m : ℕ)
(κm κprev : ℝ)
(T : ℕ → ℝ → Homogenization.Vec 2 → ℝ)
(t : ℝ)
(x : Homogenization.Vec 2)
:
The source-level form of residualIdentity, with the last-iterate
error and the explicitly defined d_m.
Equations
- One or more equations did not get rendered due to their size.