1: \begin{definition}[Principal value integral]\label{D:PV}

2: For any measurable integral \textit{kernel}, $L \colon \R^d\times \R^d \to \R$, and any measurable function, $f \colon \R^d \to \R$, define the integral transform $L[f]$ by

3: \begin{align*}

4:     L[f](x)

5:         := \PV \int_{\R^d} L(x, y) f(y) \, dy

6:         &:= \lim_{h \to 0^+} \int_{\abs{x - y} > h} L(x, y) \, f(y) \, dy,

7: \end{align*}

8: whenever the limit exists.

9: % We will often apply this with $L$ a singular kernel (such as $\grad K$), in which case $L[f]$ is well-defined for $f \in L^p$ for any $p \in (1, \iny)$. (See, for instance, Theorem 2 Chapter 2 of \cite{S1970}.)

10: \end{definition}

11: