No label defined (Q4263522)

Continuing his earlier work the author considers the double layer potential for bounded domains \(D\) with fractal boundary \(\partial D\) such that \(\mathbb R^d \setminus D\) is connected. If \(\partial D\) and \(g\) are \(C^1\) and the latter has compact support, then Green's formula allows to rewrite the double layer potential as: \[ \int_{\mathbb R^d \setminus \overline{D}} \langle \nabla_y g(y), \nabla_y N(x-y)\rangle dy \qquad (x\in D), \] where \(N\) is the Newton kernel on \(\mathbb R^d\). Now let \(\partial D\) be a \(\beta\)-set with \(d-1 \leq \beta < d\), i.e., there exists a positive Radon measure \(\mu\) on \(\partial D\) with dimension \(\beta\). According to previous results of the author there exists, for \(p>1\), a nice extension operator \({\mathcal E}: L^p(\mu) \to L^p(\mathbb R^d)\). The author studies the operator defined for \(f\in L^p(\mu)\) by replacing \(g\) in the above integral by \({\mathcal E}(f)\). For \(\alpha\) such that \(\beta - (d-1) < \alpha < 1- (d-\beta)/p\) consider the Besov space \[ {\mathcal B}^+_{\alpha,p} := \left\{ f\in L^p(\mu) \left|\int_D |\nabla {\mathcal E}(f)(y)|^p \delta(y)^{p-p\alpha -d +\beta} dy < \infty \right.\right\}, \] with \(\delta\) the distance from \(\partial D\). Another space \({\mathcal B}^-_{\alpha,p}\) is defined in the same way for \(\mathbb R^d \setminus \overline{D}\) instead of \(D\). The main theorem states that the double layer potential operator is continuous from \({\mathcal B}^-_{\alpha,p}\) to \({\mathcal B}^+_{\alpha,p}\). For the entire collection see [Zbl 0914.00061].