Public statement.

noncomputable def AVenhance.Ingredients.TForcing {β : ℝ} (I : Ingredients β) {Φ : ℕ → ℝ → Homogenization.Vec 2 → ℝ} (hΦ : IsStreamSeq I Φ) (m : ℕ) (κm κprev : ℝ) (Tprev : ℝ → Homogenization.Vec 2 → ℝ) (t : ℝ) (x : Homogenization.Vec 2) : ℝ

The forcing ∇ · ((𝐊_m - κ_{m-1} I + 𝐬_{m-1}) ∇T^{(i-1)}) of e.Tm-1.i (4036-4040); ∇·(A∇u) means ∂_i(A_{ij} ∂_j u).

Equations

• I.TForcing hΦ m κm κprev Tprev t x = AVenhance.vecDiv (fun (y : Homogenization.Vec 2) => (I.Kmat κm m t - κprev • 1 + I.sMat hΦ m κm t y).mulVec (AVenhance.spaceGrad (Tprev t) y)) x