Manuscript XV-F@3 · XV-F-v3.tex · section · d4e74afa

Frozen ledger

Frozen ledger · lines 1693–1753

XV-F@3#eq:retained, XV-F@3#eq:K5a, XV-F@3#eq:K5z, XV-F@3#eq:K47, XV-F@3#eq:K6, XV-F@3#eq:pole, XV-F@3#eq:reference, XV-F@3#eq:referenceWF

Back to manuscript

The retained kernel and supported sector are

K_{ret} = K_{47} + K_{5} + K_{6} + K_{8} + K_{9}, K_{5} = K_{5}^{[a]} + K_{5}^{[z]}, K_{supp} = K_{6} + K_{8} + K_{9},

with six operational entries $K_{47}$ , $K_{5}^{[a]}$ , $K_{5}^{[z]}$ , $K_{6}$ , $K_{8}$ , $K_{9}$ ; $K_{47}$ groups $B_{4} + B_{7}$ and both $K_{5}$ placements belong to $B_{5}$ . The supplied internal expressions are Hkernel,Iamplitude

K_{5}^{[a], I, J} (a, b, z) K_{5}^{[z], I, J} (a, b, z) K_{47}^{I, J} (a, b, z) K_{6}^{I, J} (a, b, z) = \partial_{b^{μ}} [f (b) σ_{ε} (a) \partial_{a^{α}} R (b - a) A^{α β, I} \partial_{a^{β}} L^{μ, J} (a, z)], = \partial_{b^{μ}} [f (b) σ_{ε} (z) \partial_{z^{α}} R (b - z) A^{α β, J} \partial_{z^{β}} L^{μ, I} (z, a)], = - \partial_{b^{μ}} [(f (b) \partial_{b^{ν}} L^{μ, J} (b, z) - δ^{μ}_{ν} \partial_{b^{ρ}} (f (b) L^{ρ, J} (b, z))) L^{ν, I} (b, a)], = \partial_{b^{μ}} [f (b) σ_{ε} (a) D^{α μ, I, J} \partial_{a^{α}} R (b - a) δ^{(4)} (a - z)],

together with (eq:K8)–(eq:K9), the line $L$ of (eq:L), $R$ , $B$ of (eq:R)–(eq:RR), and the chart (eq:chart). The internal pole chart is

M_{R} = - \frac{s}{2 ρ} (ω - s ρ - i 0)^{- 1} + \frac{s}{2 ρ ( ω + s ρ )}, ρ > 0, ∣ ω - s ρ ∣ < c ρ, 0 < c < 1,

with $(λ - i 0)^{- 1} = PV \frac{1}{λ} + iπ δ (λ)$ Ipole. The supported-sector reference and wavefront bound are Jreference

t_{D}^{\circ} = ∣ α ∣ \leq 3 β \leq α \sum (- 1)^{∣ β ∣} (β α) E_{α - β} (v_{α} c_{D, β}) on U ∖ N_{U},

WF (t_{D}^{\circ}) \subseteq Γ^{\circ}_{supp} = N^{*} S_{resp}_{U ∖ N_{U}} ∖ 0 \cup i = 1 ⋃^{2} {(w, λ d q_{i} + ω) : w \in S_{resp} ∖ N_{U}, q_{i} (w) = 0, λ \neq = 0, ω \in N_{w}^{*} S_{resp}} ∖ 0.

Displayed formulas in this passage

XV-F@3#eq:retained · line 1696
$K_{ret} = K_{47} + K_{5} + K_{6} + K_{8} + K_{9}, K_{5} = K_{5}^{[a]} + K_{5}^{[z]}, K_{supp} = K_{6} + K_{8} + K_{9},$
XV-F@3#eq:K5a · line 1706
$K_{5}^{[a], I, J} (a, b, z) K_{5}^{[z], I, J} (a, b, z) K_{47}^{I, J} (a, b, z) K_{6}^{I, J} (a, b, z) = \partial_{b^{μ}} [f (b) σ_{ε} (a) \partial_{a^{α}} R (b - a) A^{α β, I} \partial_{a^{β}} L^{μ, J} (a, z)], = \partial_{b^{μ}} [f (b) σ_{ε} (z) \partial_{z^{α}} R (b - z) A^{α β, J} \partial_{z^{β}} L^{μ, I} (z, a)], = - \partial_{b^{μ}} [(f (b) \partial_{b^{ν}} L^{μ, J} (b, z) - δ^{μ}_{ν} \partial_{b^{ρ}} (f (b) L^{ρ, J} (b, z))) L^{ν, I} (b, a)], = \partial_{b^{μ}} [f (b) σ_{ε} (a) D^{α μ, I, J} \partial_{a^{α}} R (b - a) δ^{(4)} (a - z)],$
XV-F@3#eq:K5z · line 1706
$K_{5}^{[a], I, J} (a, b, z) K_{5}^{[z], I, J} (a, b, z) K_{47}^{I, J} (a, b, z) K_{6}^{I, J} (a, b, z) = \partial_{b^{μ}} [f (b) σ_{ε} (a) \partial_{a^{α}} R (b - a) A^{α β, I} \partial_{a^{β}} L^{μ, J} (a, z)], = \partial_{b^{μ}} [f (b) σ_{ε} (z) \partial_{z^{α}} R (b - z) A^{α β, J} \partial_{z^{β}} L^{μ, I} (z, a)], = - \partial_{b^{μ}} [(f (b) \partial_{b^{ν}} L^{μ, J} (b, z) - δ^{μ}_{ν} \partial_{b^{ρ}} (f (b) L^{ρ, J} (b, z))) L^{ν, I} (b, a)], = \partial_{b^{μ}} [f (b) σ_{ε} (a) D^{α μ, I, J} \partial_{a^{α}} R (b - a) δ^{(4)} (a - z)],$
XV-F@3#eq:K47 · line 1706
$K_{5}^{[a], I, J} (a, b, z) K_{5}^{[z], I, J} (a, b, z) K_{47}^{I, J} (a, b, z) K_{6}^{I, J} (a, b, z) = \partial_{b^{μ}} [f (b) σ_{ε} (a) \partial_{a^{α}} R (b - a) A^{α β, I} \partial_{a^{β}} L^{μ, J} (a, z)], = \partial_{b^{μ}} [f (b) σ_{ε} (z) \partial_{z^{α}} R (b - z) A^{α β, J} \partial_{z^{β}} L^{μ, I} (z, a)], = - \partial_{b^{μ}} [(f (b) \partial_{b^{ν}} L^{μ, J} (b, z) - δ^{μ}_{ν} \partial_{b^{ρ}} (f (b) L^{ρ, J} (b, z))) L^{ν, I} (b, a)], = \partial_{b^{μ}} [f (b) σ_{ε} (a) D^{α μ, I, J} \partial_{a^{α}} R (b - a) δ^{(4)} (a - z)],$
XV-F@3#eq:K6 · line 1706
$K_{5}^{[a], I, J} (a, b, z) K_{5}^{[z], I, J} (a, b, z) K_{47}^{I, J} (a, b, z) K_{6}^{I, J} (a, b, z) = \partial_{b^{μ}} [f (b) σ_{ε} (a) \partial_{a^{α}} R (b - a) A^{α β, I} \partial_{a^{β}} L^{μ, J} (a, z)], = \partial_{b^{μ}} [f (b) σ_{ε} (z) \partial_{z^{α}} R (b - z) A^{α β, J} \partial_{z^{β}} L^{μ, I} (z, a)], = - \partial_{b^{μ}} [(f (b) \partial_{b^{ν}} L^{μ, J} (b, z) - δ^{μ}_{ν} \partial_{b^{ρ}} (f (b) L^{ρ, J} (b, z))) L^{ν, I} (b, a)], = \partial_{b^{μ}} [f (b) σ_{ε} (a) D^{α μ, I, J} \partial_{a^{α}} R (b - a) δ^{(4)} (a - z)],$
XV-F@3#eq:pole · line 1728
$M_{R} = - \frac{s}{2 ρ} (ω - s ρ - i 0)^{- 1} + \frac{s}{2 ρ ( ω + s ρ )}, ρ > 0, ∣ ω - s ρ ∣ < c ρ, 0 < c < 1,$
XV-F@3#eq:reference · line 1737
$t_{D}^{\circ} = ∣ α ∣ \leq 3 β \leq α \sum (- 1)^{∣ β ∣} (β α) E_{α - β} (v_{α} c_{D, β}) on U ∖ N_{U},$
XV-F@3#eq:referenceWF · line 1744
$WF (t_{D}^{\circ}) \subseteq Γ^{\circ}_{supp} = N^{*} S_{resp}_{U ∖ N_{U}} ∖ 0 \cup i = 1 ⋃^{2} {(w, λ d q_{i} + ω) : w \in S_{resp} ∖ N_{U}, q_{i} (w) = 0, λ \neq = 0, ω \in N_{w}^{*} S_{resp}} ∖ 0.$

Nearby in this section

section: Frozen ledger