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

Back to manuscript

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

Nearby in this section