Manuscript I-B-G@2 · I-B-G-v2.tex · lemma · 3b4d700f
Lemma: Closed weight and its boundary control
The Sommerfeld–Carslaw–Dowker kernel › The diffraction weight · lines 1014–1077 · proof included or linked
I-B-G@2#lem:Phi, I-B-G@2#eq:Phi-closed, I-B-G@2#eq:Carslaw
Set
and
Then
At a generic angle this extends continuously to . For ,
The function is jointly locally integrable in up to , including image boundaries, and decays exponentially as .
Proof. Split the series into and , and write . The resulting two geometric sums give (eq:Phi-closed); the contribution is zero. Combining conjugate geometric denominators gives (eq:Carslaw).
The possible boundary poles are precisely . Near each such angle , the closed form is bounded by a constant times
This is locally integrable in the two variables. Away from those angles, all denominators remain nonzero at .
For , exponential decay follows with rate at least . For , the zero mode does not contribute, and a rate suffices.
Displayed formulas in this passage
I-B-G@2#eq:Phi-closed · line 1032
I-B-G@2#eq:Carslaw · line 1040
unlabeled · line 1017
unlabeled · line 1023
unlabeled · line 1066