Manuscript I-B-G@2 · I-B-G-v2.tex · section · 3b4d700f
A restricted flat limit
Pointwise flat limits and normalization checks › A restricted flat limit · lines 2554–2584
For the untwisted Friedrichs kernel, fix regular spatial points and a lifted angle that stays a positive distance from as . For sufficiently close to one, only belongs to . Equation (eq:Carslaw) gives
On angular sets bounded away from the image boundaries, differentiation of the closed denominators gives, for near one, a bound of the form
Consequently dominated convergence in (eq:master) gives the flat heat and positive resolvent kernels at the fixed pair.
For the retarded kernel tested against a fixed compact time test, only a bounded -interval contributes. The same argument applied to the joint definition in Theorem thm:closed gives convergence as a time distribution at the fixed generic pair; on smooth kernel regions it also gives the ordinary pointwise limit. This is not uniform through a moving image boundary or a moving front.
Displayed formulas in this passage
unlabeled · line 2562
unlabeled · line 2568