One concrete stability budget compares every finite realization of the same prescribed data.
def
EulerAllOrderCorrectionBudget.stabilityBudget
(period : ℝ)
[Fact (0 < period)]
{T : ℝ}
(hT : 0 < T)
(A : EulerAllOrderCorrectionData.Data period T)
(B : Budget period hT A)
(q : ℕ)
:
EulerCorrectionStabilityBudget.StabilityBudget period ⋯ (EulerAllOrderCorrectionData.Data.atOrder period A q)
The genuine base-order data bounds construct the comparison budget at every Sobolev order of the coherent coefficient family.
Equations
- One or more equations did not get rendered due to their size.