Globally Existing Solutions to the Problem of Dirichlet for the Fractional 3D Poisson Equation

Abstract

A general approach to solving the Dirichlet problem, both for bounded $3D$ domains and for their unbounded complements, in terms of the fractional ($3D$) Poisson equation, is presented. Lauren Schwartz class solutions are sought for tempered distributions. The solutions found are represented by a formula that contains the volume Riesz potential and the one-layer potential, the latter depending on the boundary data. Infinite regularity of fractional harmonic functions, analogous to the infinite smoothness of the classical harmonic functions, is also proved in the respective domain, no matter what the boundary conditions are. Other properties of the solutions, that are presumably of interest to mathematical physics, are also investigated. In particular, an intrinsic decay property, valid far from the common boundary, is shown.

1. Introduction

The topic of the fractional Laplacian has recently accumulated increasing interest (e.g., [1], wherein a large number of relevant results were cited [2,3,4,5]). As discussed in [1], the leading motivation was inspired by possible applications. Dealing with such Laplacian operators (with the appropriate boundary value problem) stems from essential questions concerning the Brownian motion phenomena. From the accepted view point, Brownian particle behavior, close to a surface barrier $\partial \Omega$ (given a bounded, say $3D$, domain $\Omega$) generally admits some kind of anomalous stage, called subordination (see the explanations and references in [1]). The particle motion is guided by a Levy process. The well-known Dirichlet and Neumann problems, for the fractional Laplace (Poisson) equation, are adequate mathematical models. The progress in the fractional Laplacian topics is due to the results of many authors (see [1]) over the last two decades. There are, in addition, interesting recent results in related fields, e.g., [6,7].

However, the Dirichlet problem for the fractional Poisson equation has been relatively weakly explored until now (see [1]). (The same applies for the Neumann problem). Regarding the Dirichlet problem, several results from the last decade should be noted, as these built the framework of the contemporary state [2,3,4,5,8]. In [2], nonzero Dirichlet boundary data was imposed on $\partial \Omega$, for the Poisson equation with non-homogeneous fractional Laplacian. There was a difference with our main result. It was seen from the observation that the fractional harmonic function $u\left(x\right)$ (i.e., ${(\Delta )}^{\alpha /2}u=0$ in $\Omega$) regarding the Laplacian, introduced below, was not generally fractionally harmonic, regarding the non-homogeneous fractional Laplacian. Nonzero (local) boundary data was considered in [5], but for the well-posedness Dirichlet problem a finite dimensional linear condition was assumed for the equation and boundary data $\{f,\phi \}$. Similar results were obtained in [3,4], actually under zero boundary conditions, in the case of stopped $\alpha$, stable motion, which were not related to what was found in our study. It is worth mentioning the work of [3,5], which represents an important upgrade of the ideas of HŐrmander and early Vishik and Eskin, based on pseudo-differential operators of fractional degree. Note that, in [8], a fractional Poisson–Boltzmann equation was analyzed under zero boundary conditions (as in [4]). Nevertheless, the analysis of the Dirichlet problem in the exterior of bounded, say $3D$, domains has not been undertaken up to the present, for the fractional Laplace (and Poisson) equation. Similar remarks can be made concerning the (infinite) interior regularity of the fractional harmonic functions (satisfying the equation ${(-\Delta )}^{\alpha /2}u=0$, for a given domain $\mathcal{D}\subset {\mathbb{R}}^3$. Our interest in the case of unbounded exterior ${\mathbb{R}}^3\setminus (\Omega \cup \partial \Omega )$ of a bounded domain $\Omega$ was inspired by the possibility of anomalous electric potential distributions in heterogeneous material systems possessing some kind of quasi-vacuum sub-phases. Via the anomalous behavior of the Brownian motion, we observed, in addition, the generally realistic process for particles coming from the exterior into the bounded zone. We dealt here with $3D$ bounded domains $\Omega \subset {\mathbb{R}}^3$ and their complements $C\Omega :={\mathbb{R}}^3\setminus (\Omega \cup \Gamma )$, with $\Gamma =\partial \Omega$, the closed ($2D$) boundary surface of $\Omega$, assumed to be of second order ($C^2$) regularity.

For the Laplacian degree $\alpha /2$ ${(-\Delta )}^{\alpha /2}$, assuming $1<\alpha \le 2$ and the action ${(-\Delta )}^{\alpha /2}u$ is defined by its Fourier transform ${\left|\xi \right|}^{\alpha }\widehat{u}\left(\xi \right)$, for $u\in S^{\prime }=S^{\prime }\left({\mathbb{R}}^3\right)$, the class of the Schwartz tempered distributions (e.g., [9]) gives rise to the following: $\left|\xi \right|$ is the length of the vector $\xi \in {\mathbb{R}}^3$ and $\widehat{u}\left(\xi \right)=\mathbb{F}\left[u\right]\left(\xi \right)$ is the Fourier image of u. Concerning the Fourier transformation, we proceed with the convention $\widehat{\varphi }\left(\xi \right)={\int }_{{\mathbb{R}}^3}exp(-i⟨x,\xi ⟩)\varphi \left(x\right)dx$ and $\varphi \left(x\right)=\frac{1}{{\left(2\pi \right)}^3}{\int }_{{\mathbb{R}}^3}exp\left(i⟨x,\xi ⟩\right)\widehat{\varphi }\left(x\right)dx$, $\varphi \in S=S\left({\mathbb{R}}^3\right)$, the Schwartz class of the fast decreasing (infinitely smooth) functions ([9]), $⟨x,\xi ⟩$ is the scalar product of the vectors $x,\xi$. Thus, we have ${(-\Delta )}^{\alpha /2}u\left(x\right):={\mathbb{F}}^{-1}{\left[\right|\xi |}^{\alpha }\widehat{u}\left(\xi \right)]\left(x\right)$, $u\in S^{\prime }$, x varying in ${\mathbb{R}}^3$, where ${\mathbb{F}}^{-1}$ is the inverse map of $\mathbb{F}$ (The symbol ${(-\Delta )}^{\alpha /2}$ for the fractional Laplacian is the one introduced in [1]).

Our approach to the problem of Dirichlet is based on exploring a simple, but effective, idea to deal with the global Laplacian, i.e., ${(-\Delta )}^{\alpha /2}u={\mathbb{F}}^{-1}{\left[\right|.|}^{\alpha }\mathbb{F}]$, on such distributions u from $S^{\prime }$ that the action product ${(-\Delta )}^{\alpha /2}u$ coincides on $\Omega$ with a prescribed function (distribution) f, and possesses traces (${u|}_{\Gamma }$) on $\Gamma$ (with prescribed values $\phi \left(x\right)$ of ${u|}_{\Gamma }$, $x\in \Gamma$). Additionally, we remark that the way we looked for globally-defined solutions (given a boundary value problem) was first suggested by the $1D$ case of the Poisson equation ${(-\Delta )}^{\alpha /2}u=f$, with ${\displaystyle \Delta =\frac{d^2}{d{x}^2}}$, considered in unbounded intervals $l_0<x<\infty$, $l_0\in {\mathbb{R}}^1$. (some details regarding this case are provided in the Appendix A).

Slightly formalized, the above idea gives rise to the following. Given a function $f\left(x\right)$, $x\in \Omega$, say bounded, i.e., $f\in L^{\infty }(\Omega )$, and boundary data $\phi \left(x\right)$, $x\in \Gamma$ for instance $\phi \in L_2(\Gamma )$, the point is to solve the (extended on ${\mathbb{R}}^3$ ) equation ${(-\Delta )}^{\alpha /2}u=F^0$, with $F^0\in S^{\prime }:F^0{|}_{\Omega }=f$, by a suitable distribution $u\in S^{\prime }$, satisfying the condition ${u|}_{\Gamma }=\phi$ (As seen below, the proper choice for $F^0$ is $F^0{|}_{C\Omega }=0$). If we assume we have found $u\in S^{\prime }$, we could get a globally-existing (i.e., defined on ${\mathbb{R}}^3$ ) solution of the problem under consideration, reformulated now in the form:

$${\left(a\right)(-\Delta )}^{\alpha /2}{u|}_{\Omega }=f,(u\in S^{\prime });(b{\left)u\right|}_{\Omega }=\phi .$$

(1)

The above formulation actually gives the shortest illustration to the approach used here concerning the problem of Dirichlet (for a given bounded domain $\Omega$, i), for the fractional Poisson equation. We are close now to the key question of existence of a solution $S^{\prime }$, for the Equation (1), for a sufficiently large class of boundary data. As a first accessory step to that goal, consider the volume-type potential ${\displaystyle U_{\beta ,f}:={\int }_{\Omega }\frac{f\left(y\right)dy}{{|x-y|}^{\beta }}}$, $x\in {\mathbb{R}}^3$, $0<\beta$, $\beta =\beta \left(\alpha \right)$, prompted from the analogy with the conventional case of (1), where $\alpha =2$, $\beta =1$. Following [1]. We call such potentials Riesz (volume) potentials, and, enlarging the terminology, the functions of the type ${\displaystyle V_{\beta ,g}:={\int }_{\Gamma }\frac{g\left(y\right)d{s}_y}{{|x-y|}^{\beta }}}$, ($x\in {\mathbb{R}}^3$) are called surface (or single layer) Riesz potentials (here $g\in L_2(\Gamma )$, by assumption, and $d{s}_y$ is the known surface differential element). The right value of $\beta$, namely $\beta =3-\alpha$, is, however, directly shown from the well-known (e.g., [10,11], and also [1]) Fourier transform relation ${\displaystyle \mathbb{F}:\frac{c_{3,\alpha }}{{\left|x\right|}^{3-\alpha }}\to \frac{1}{{\left|\xi \right|}^{\alpha }}}$, with ${\displaystyle c_{3,\alpha }=\frac{\Gamma \left(\frac{3-\alpha }{2}\right)}{2^{\alpha }{\pi }^{3/2}\Gamma \left(\frac{\alpha }{2}\right)}}$.Taking the precise expression, instead of $U_{\beta ,f}\left(x\right)$, we obtain the potential ${\displaystyle u_{\alpha ,f}:={\int }_{\Omega }\frac{c_{3,\alpha }f\left(y\right)dy}{{|x-y|}^{3-\alpha }}}$, ($x\in {\mathbb{R}}^3$), which satisfies the Equation (1). Certainly, ${\displaystyle u_{\alpha ,f}:={\int }_{{\mathbb{R}}^3}\frac{c_{3,\alpha }{f}^0\left[f\right]\left(y\right)dy}{{|x-y|}^{3-\alpha }}=\frac{c_{3,\alpha }}{{|.|}^{3-\alpha }}\ast f^0\left[f\right]}$, where $f^0\left[f\right]\left(y\right)=f\left(y\right)$ for $y\in \Omega$, and $f^0\left[f\right]\left(y\right)=0$, when $y\in C\Omega$, $U\ast V$ is the convolution (see [9] for details) of $U,V\in S^{\prime }$. Then, ${(-\Delta )}^{\alpha /2}{u}_{\alpha ,f}=\left({\displaystyle {(-\Delta )}^{\alpha /2}\frac{c_{3,\alpha }}{{|.|}^{3-\alpha }}}\right)\ast f^0\left[f\right]=\delta \ast f^0=f^0$, here $\delta =\delta \left(x\right)$, ($x\in {\mathbb{R}}^3$) is supported by the point $x=0$ Dirac delta function; i.e., $\left({(-\Delta )}^{\alpha /2}{u}_{\alpha ,f}\right)\left(x\right)=f^0\left[f\right]\left(x\right)$, $x\in {\mathbb{R}}^3$ (therefore, ${(-\Delta )}^{\alpha /2}{u}_{\alpha ,f}{|}_{\Omega }=f$). These calculations evidently also remain valid for the generalized expression of $u_{\alpha ,f}$,

$$u_{\alpha ,f}:={\int }_{\mathcal{D}}\frac{c_{3,\alpha }f\left(y\right)dy}{{|x-y|}^{3-\alpha }},x\in {\mathbb{R}}^3,\mathcal{D}=\Omega or\mathcal{D}=C\Omega .$$

(2)

From now on we assume the following requirements for the function $f\left(x\right)$ are fulfilled when defined for $x\in \mathcal{D}$:

$$\left(a\right)f\in L^{\infty }\left(\mathcal{D}\right),\mathcal{D}=\Omega ;\left(b\right)f\in L^{\infty }\left(\mathcal{D}\right)\cap L_1\left(\mathcal{D}\right),\mathcal{D}=C\Omega .$$

(3)

It is not difficult to establish that the given (2) potential $u_{\alpha ,f}\left(x\right)$ is a continuous function in $\mathcal{D}\cup \Gamma$, and, therefore, the trace ${\phi }_{\alpha ,f}\left(x\right)$, $x\in \Gamma$, ${\phi }_{\alpha ,f}:=u_{\alpha ,f}{|}_{\Gamma }$ is continuous on $\Gamma$. Via the problem of Dirichlet, we find that $u_{\alpha ,f}$ is a solution of the equation ${(-\Delta )}^{\alpha /2}{u|}_{\mathcal{D}}=f$, with ${u|}_{\Gamma }={\phi }_{\alpha ,f}$. The next step is to seek solutions in $S^{\prime }$ with arbitrarily prescribed data, as assumed in $L_2(\Gamma )$. In this direction, suppose $u\in S^{\prime }$ is a solution of the above equation. Then ${(-\Delta )}^{\alpha /2}[u-u_{\alpha ,f}]=0$ in $\Omega \cup C\Omega$ and, therefore $L_{\alpha ,f}\left(x\right):={(-\Delta )}^{\alpha /2}[u-u_{\alpha ,f}]\left(x\right)$, is a distribution supported on the surface $\Gamma$. We deal here with the case, $L_{\alpha ,f}\left(x\right)\equiv {\delta }_{\Gamma }\left[g\right]\left(x\right)$, $x\in {\mathbb{R}}^3$; i.e., we are interested in solutions $u\in S^{\prime }$ of the equation ${(-\Delta )}^{\alpha /2}u=f^0\left[f\right]$ on $\Omega \cup C\Omega$, satisfying the condition:

$${(-\Delta )}^{\alpha /2}[u-u_{\alpha ,f}]={\delta }_{\Gamma }\left[g\right]in{S}^{\prime }.$$

(4)

Above ${\delta }_{\Gamma }\left[g\right]$ is the supported $\Gamma$ delta function of Dirac, with a density function $g=g\left(x\right)\in L_2(\Gamma )$ (As is known, e.g., [9], the action ( ${\delta }_{\Gamma }\left[g\right],\varphi$) of ${\delta }_{\Gamma }\left[g\right]$ on an arbitrary $\varphi \in S$ is defined by the next surface integral, $({\delta }_{\Gamma }\left[g\right],\varphi ):={\int }_{\Gamma }g\left(y\right)\varphi \left(y\right)d{s}_y$). The important partial case $f=0$ ( $u_{\alpha ,f}=0$) concerns these distributions $w\in S^{\prime }$, solving the equation below (for g varying in $L_2(\Gamma )$):

$${(-\Delta )}^{\alpha /2}w={\delta }_{\Gamma }\left[g\right]in{S}^{\prime }.$$

(5)

Solutions such as w are called BF harmonic (basic fractional harmonic) functions in ${\mathbb{R}}^3$, and the family $S_{\alpha ,f}^{\prime }$ of all solutions $u\in S^{\prime }$ to (4) (with g varying in $L_2(\Gamma )$) can be called the GS (global solutions) family.

Remark 1. 

(1) Clearly for each two distributions $u_1,u_2\in S_{\alpha ,f}^{\prime }$ the difference $u_2-u_1$ is a BF harmonic function.

(2) A possibly larger class of solutions $u\in S^{\prime }$ to the equation ${(-\Delta )}^{\alpha /2}u=f^0\left[f\right]$ could be expected in the case $L_{\alpha ,f}={\delta }_{\Gamma }\left[g_0\right]+{\partial }_n{\delta }_{\Gamma }\left[g_1\right]$, where $g_0,g_1\in L_2(\Gamma )$ and ${\partial }_n{\delta }_{\Gamma }\left[g\right]\left(x\right)$ is the normal to Γ derivative of ${\delta }_{\Gamma }\left[g\right]$ at the point $x\in \Gamma$.

It is not difficult to obtain a structural description of the family $S_{\alpha ,f}^{\prime }$. After using the Fourier transform in the relation (4), one can directly resolve (4) regarding $u-u_{\alpha ,f}$ and find, in this manner, the next general formula:

$$u={\delta }_{\Gamma }\left[g\right]\ast \frac{c_{3,\alpha }}{{|.|}^{3-\alpha }}+u_{\alpha ,f}in{S}^{\prime }.$$

(6)

The above convolution ${\delta }_{\Gamma }\left[g\right]\ast \frac{c_{3,\alpha }}{{|.|}^{3-\alpha }}$ evidently introduces the single layer Riesz potential ${\displaystyle v_{\alpha ,g}\left(x\right):={\int }_{\Gamma }\frac{c_{3,\alpha }g\left(y\right)dy}{{|x-y|}^{3-\alpha }}}$, ($x\in {\mathbb{R}}^3$) which possesses well-defined direct values ${\psi }_{\alpha ,g}\left(x\right)$, $x\in \Gamma$, ${\psi }_{\alpha ,g}:=v_{\alpha ,g}{|}_{\Gamma }$, with ${\psi }_{\alpha ,g}\in L_2(\Gamma )$. This holds because the integral operator $B_{\alpha ,\Gamma }\left[g\right]:={\psi }_{\alpha ,\Gamma }$, $g\in L_2(\Gamma )$, has a weak singularity ($3-\alpha <2$) and, according to the known classical theory (e.g., [10,12,13]), the map $B_{\alpha ,\Gamma }:L_2(\Gamma )\to L_2(\Gamma )$ is a bounded linear operator. As seen from (6), each solution $u\in S_{\alpha ,f}^{\prime }$ has an $L_2$ trace on $\Gamma$ (for f satisfying (3)). Let us also check that the term ${\displaystyle {\delta }_{\Gamma }\left[g\right]\ast \frac{c_{3,\alpha }}{{|.|}^{3-\alpha }}}$ is a BF harmonic function:

$$\begin{array}{ccc}\hfill \left({(-\Delta )}^{\alpha /2}{\delta }_{\Gamma }\left[g\right]\ast \frac{c_{3,\alpha }}{{|.|}^{3-\alpha }}\right)& =& {\delta }_{\Gamma }\left[g\right]\ast {(-\Delta )}^{\alpha /2}\frac{c_{3,\alpha }}{{|.|}^{3-\alpha }}\hfill \\ & =& {\delta }_{\Gamma }\left[g\right]\ast \delta ={\delta }_{\Gamma }\left[g\right].\hfill \end{array}$$

Concluding the above results, we have already found that ${(-\Delta )}^{\alpha /2}{u}_{\alpha ,f}=f^0\left[f\right]$ and

$$\left({(-\Delta )}^{\alpha /2}{\delta }_{\Gamma }\left[g\right]\ast \frac{c_{3,\alpha }}{{|.|}^{3-\alpha }}\right)={\delta }_{\Gamma }\left[g\right]$$

(both in $S^{\prime }$), i. e. ${(-\Delta )}^{\alpha /2}u={\delta }_{\Gamma }\left[g\right]+f^0\left[f\right]$ in $S^{\prime }$ (for each $g\in L_2(\Gamma )$), u given by (6), and ${u|}_{\Gamma }={\psi }_{\alpha ,g}+{\phi }_{\alpha ,f}$ (f satisfying (3)).

Now the final question is whether a possibly unique $g\in L_2(\Gamma )$ can be determined, corresponding to $\phi$, for arbitrary $\phi$ in a suitable sub-space of $L_2(\Gamma )$. Then, by means of the Formula (6) we could obtain a solution of the basic problem:

$${\left(a\right)(-\Delta )}^{\alpha /2}{u|}_{\mathcal{D}}=f,b{\left)u\right|}_{\Gamma }=\phi .$$

(7)

This solution is expected to be unique in the family $S_{\alpha ,f}^{\prime }$. We provide a positive answer to this question by introducing, in Section 3 (below), the sub-space $H_{\alpha }^1\subset L_2(\Gamma )$ (coincident with the map image of $B_{\alpha ,\Gamma }\left[L_2(\Gamma )\right]$), and then find a unique $g\in L_2(\Gamma )$, such that $B_{\alpha ,\Gamma }\left[g\right]=\phi -{\phi }_{\alpha ,f}$, for $\phi \in L_2(\Gamma )$: $\phi -{\phi }_{\alpha ,f}\in H_{\alpha }^1(\Gamma )$. The key instrument for obtaining the answer is contained in the properties of the boundary operator $B_{\alpha ,\Gamma }$, analyzed primarily in the next Section 2.

In the present paper we propose a new approach for solving the problem of Dirichlet for the fractional Poisson equation with local nonzero boundary data, valid both for bounded ($3D$) domains and their unbounded exteriors. It is illustrated by several key results essentially different from the known ones:

(1)

The problem whether zero is an eigenvalue of the boundary integral operator

$$B_{\alpha ,\Gamma }:L_2(\Gamma )\to L_2(\Gamma )$$

is solved.

(2)

By obtaining explicit formulae, consisting in two Riesz-type potentials, a single layer and a volume one, well-posedness is established regarding solutions from the families $S_{\alpha ,f}^{\prime }$.

(3)

The basic properties of the found solutions for regularity and asymptotic behavior (far from the boundary), as well as the inherent a-posterior estimates, are proved, including, in particular, the infinite interior regularity of the fractional harmonic functions.

The article is organized as follows. In Section 2 we study the question of the zero kernel of $B_{\alpha ,\Gamma }$ and prove the crucial fact that zero is not an eigenvalue of $B_{\alpha ,\Gamma }$. Section 3 includes the main well-posedness result (based on explicitly expressed solutions) and the theorems concerning the solution’s asymptotic behavior and their regularity in ${\mathbb{R}}^3\setminus \Gamma$–classical and in $H_{loc}^s$ sense, the proper estimates as well. In the Appendix A we consider certain inherent cases of singular boundary data for the $1D$ fractional Poisson equation, at $0<\alpha <1$.

2. The Zero Kernel of the Boundary Integral Operator

It turns out that the kernel of the operator $B_{\alpha ,\Gamma }$ (acting from $L_2(\Gamma )$ into $L_2(\Gamma )$) consists only of the zero element $g=0$, i.e., the unique solution of the equation $B_{\alpha ,\Gamma }\left[g\right]=0$ is $g=0$. The key to this very important property lies in a simple, but essential, relation in the form: $I_{\alpha }(\infty )=const.J_{\Gamma ,\alpha }$, where ${\displaystyle I_{\alpha }(\infty )=\underset{r\to \infty }{lim}{I}_{\alpha }\left(r\right)}$ and the terms $I_{\alpha }\left(r\right),J_{\Gamma ,\alpha }$ present, respectively, the integrals:

$$\begin{array}{c}\hfill I_{\alpha }\left(r\right)={\int }_{\left|\xi \right|\le r}|{\widehat{\delta }}_{\Gamma }{\left[g\right]|}^2{\left|\xi \right|}^{-\alpha }d\xi ;\\ \hfill J_{\Gamma ,\alpha }={\int }_{\Gamma }g\left(x\right)({\overline{\delta }}_{\Gamma }{\ast |.|}^{\alpha -3})\left(x\right)d{s}_x.\end{array}$$

Clearly, the above relation (when it holds) means, in particular, that the integral $I_{\alpha }(\infty )={\int }_{{\mathbb{R}}^3}|{\widehat{\delta }}_{\Gamma }{\left[g\right]|}^2{\left|\xi \right|}^{-\alpha }d\xi$ converges. (Here ${\widehat{\delta }}_{\Gamma }\left[g\right]\left(\xi \right)$ is the Fourier image of ${\delta }_{\Gamma }\left[g\right]\left(x\right)$.) The mentioned equality shopuld be found as a specific consequence of the well known Parseval equality (e.g., [9,14]). To this goal we begin by considering a complement to Parseval’s equality idea.

Proposition 1. 

(The boundary Parseval formula.) The following relation is valid, for each function $\psi \in C^{\infty }\left({\mathbb{R}}^3\right)$, with $\widehat{\psi }\in L_1\left({\mathbb{R}}^3\right)$:

$${\left(2\pi \right)}^3({\delta }_{\Gamma }\left[g\right],\overline{\psi })=({\widehat{\delta }}_{\Gamma }\left[g\right],\widehat{\overline{\psi }}).$$

(8)

Proof. 

Note, firstly, that $\overline{\psi }$ is the complex conjugated quantity to $\psi$ and recall that the notation $({\delta }_{\Gamma }\left[g\right],\overline{\psi })$ expresses the action of ${\delta }_{\Gamma }\left[g\right]$, as a distribution in $S^{\prime }$, on the function $\overline{\psi }$ – as an arbitrary element of S. Thus, $({\delta }_{\Gamma }\left[g\right],\overline{\psi })={\int }_{\Gamma }g\left(x\right)\overline{\psi }\left(x\right)d{s}_x$, and, by analogy, the notation $({\widehat{\delta }}_{\Gamma }\left[g\right],\widehat{\overline{\psi }})$, i.e.,

$$\begin{array}{ccc}\hfill ({\widehat{\delta }}_{\Gamma }\left[g\right],\widehat{\overline{\psi }})& =& {\int }_{{\mathbb{R}}^3}\widehat{\delta }\left[g\right]\left(\xi \right)\widehat{\overline{\psi }}\left(\xi \right)d\xi \hfill \\ & =& {\int }_{{\mathbb{R}}^3}\widehat{\overline{\psi }}\left(\xi \right){\int }_{\Gamma }g\left(x\right)exp(-i⟨x,\xi ⟩)d{s}_{x}d\xi .\hfill \end{array}$$

(9)

The proof uses the approximation approach to (8) the following two-step scheme: first, obtain (8) with $w\in C_0^{\infty }\left({\mathbb{R}}^3\right)$ instead of ${\delta }_{\Gamma }\left[g\right]$, and $C_0^{\infty }\left({\mathbb{R}}^3\right)$ is the space of the compactly supported infinitely smooth functions. Then, apply an approximation procedure with $w_n$ ($w_n\in C_0^{\infty }\left({\mathbb{R}}^3\right)$, $n=1,2,\dots$) tending to ${\delta }_{\Gamma }\left[g\right]$, at $n\to \infty$. The first step is done in the given lemma. □

Lemma 1. 

The next Parseval equality is valid for each pair $w\in C_0^{\infty }\left({\mathbb{R}}^3\right)$ and $\psi \in C^{\infty }\left({\mathbb{R}}^3\right)$, with $\widehat{\psi }\in L_1\left({\mathbb{R}}^3\right)$:

$${\left(2\pi \right)}^3(w,\overline{\psi })=(\widehat{w},\widehat{\overline{\psi }}).$$

(10)

At the beginning of the proof of (10), note, as above, that the notation $(w,\overline{\psi })$ is used in the known distribution ( $S^{\prime }$) sense, with $(w,\overline{\psi })={\int }_{{\mathbb{R}}^3}w\left(x\right)\overline{\psi }\left(x\right)dx$, and, by analogy, the notation $(\widehat{w},\widehat{\overline{\psi }})$. Now, let us introduce the function ${\varphi }_0\left(x\right)\in C_0^{\infty }$: ${\varphi }_0\left(x\right)={\varphi }_0\left(\right|x\left|\right)$, $1\ge {\varphi }_0\left(x\right)\ge 0$, $\forall x$, ${\varphi }_0\left(x\right)\equiv 1$ for $\left|x\right|\le r^0/2$, ${\varphi }_0\left(x\right)\equiv 0$ for $\left|x\right|\ge r^0$, with a fixed $r^0>0$, such that ${\int }_{{\mathbb{R}}^3}{\varphi }_0\left(x\right)dx=1$. With the real parameter $s\in (0,1]$ we deal with ${\varphi }_0\left(sx\right)$ and its Fourier map $\mathbb{F}\left[{\varphi }_0(s.)\right]\left(\xi \right)=\frac{1}{{\left(2\pi s\right)}^3}{\widehat{\varphi }}_0\left(s^{-1}\xi \right)$. Then, the conventional Parseval formula yields the identity $Q\left(s\right)={\left(2\pi \right)}^{-3}\tilde{Q}\left(s\right)$, for $s\in (0,1]$, where $Q\left(s\right):=(w,\overline{\psi }{\varphi }_0(s.))$ and $\tilde{Q}\left(s\right):=(\widehat{w},\widehat{\overline{\psi }}\ast {\left(2\pi s\right)}^{-3}{\widehat{\varphi }}_0(./s))$. For our goal, we had to compare the limit values of $Q\left(s\right)$ and $\tilde{Q}\left(s\right)$ at $s\to 0$. Function $Q\left(s\right)$ was actually defined and continuous in $[0,1]$, i.e., its limit value ( $s\to 0$) was $Q\left(0\right)$, while, concerning the ${\displaystyle \underset{s\to 0}{lim}\tilde{Q}\left(s\right)}$, we needed some reworking of the integral for $\tilde{Q}\left(s\right)$. Starting from the initial expression of $\tilde{Q}\left(s\right)$, and applying the linear transform $\theta =s^{-1}(\xi -\eta )$ in the repeated integral (below), we consecutively found the following relations:

$$\begin{array}{ccc}\hfill \tilde{Q}\left(s\right)& =& {\int }_{{\mathbb{R}}^3}\widehat{w}\left(\xi \right)\widehat{\overline{\psi }}\ast {\left(2\pi s\right)}^{-3}{\widehat{\varphi }}_0(s^{-1}.)\left(\xi \right)d\xi \hfill \\ & =& {\int }_{{\mathbb{R}}^3}\widehat{w}\left(\xi \right){\int }_{{\mathbb{R}}^3}\widehat{\overline{\psi }}\left(\eta \right){\left(2\pi s\right)}^{-3}{\widehat{\varphi }}_0\left(s^{-1}(\xi -\eta )\right)d\eta d\xi \hfill \\ & =& {\int }_{{\mathbb{R}}^3}\widehat{\overline{\psi }}\left(\eta \right){\int }_{{\mathbb{R}}^3}\widehat{w}(\eta +s\theta )\frac{{\widehat{\varphi }}_0\left(\theta \right)}{{\left(2\pi \right)}^3}d\theta d\eta .\hfill \end{array}$$

The above integral ${\int }_{{\mathbb{R}}^3}\widehat{w}(\eta +s\theta ){\widehat{\varphi }}_0\left(\theta \right)d\theta$ is uniformly convergent for, respectively, the parameters $(\eta ,s)\in K^0\times [0,1]$, for each compact $K^0\subset {\mathbb{R}}^3$ (This clearly holds, because $\widehat{w}\left(\xi \right)$ is a bounded function). Therefore, ${\tilde{F}}_w^0(\eta ,s):={\int }_{{\mathbb{R}}^3}\widehat{w}(\eta +s\theta ){\widehat{\varphi }}_0\left(\theta \right)d\theta$ is a continuous, bounded function in ${\mathbb{R}}^3\times [0,1]$, and, repeating the same argument (now that ${\int }_{{\mathbb{R}}^3}\widehat{\overline{\psi }}\left(\eta \right){\tilde{F}}_w^0(\eta ,s)d\eta$ is also a uniformly convergent integral), we obtain ${\tilde{f}}_w^0\left(s\right):={\int }_{{\mathbb{R}}^3}\widehat{\overline{\psi }}\left(\eta \right){\tilde{F}}_w^0(\eta ,s)d\eta$ is a continuous function in $[0,1]$. However, $\tilde{Q}\left(s\right)$ is identical with ${\left(2\pi \right)}^{-3}{\tilde{f}}_w^0\left(s\right)$ for $0<s\le 1$, and ${\displaystyle \underset{s\to 0}{lim}\tilde{Q}\left(s\right)={\tilde{f}}_w^0\left(0\right)/{\left(2\pi \right)}^3=(\widehat{w},\widehat{\overline{\psi }})}$, i.e., ${\displaystyle \underset{s\to 0}{lim}\tilde{Q}\left(s\right)=(\widehat{w},\widehat{\overline{\psi }})}$. (We used $\frac{1}{{\left(2\pi \right)}^3}{\int }_{{\mathbb{R}}^3}{\widehat{\varphi }}_0\left(\theta \right)d\theta ={\varphi }_0\left(0\right)=1$.) Thus, letting $s\to 0$ in the equality $Q\left(s\right)={\left(2\pi \right)}^{-3}\tilde{Q}\left(s\right)$, we obtain the necessary Formula (10).

The approximation step is now performed. Suppose $\left\{w_n\left(x\right)\right\}$, $n=1,2,\dots$, is an infinite family of functions $w_n\in C_0^{\infty }\left({\mathbb{R}}^3\right)$, such that the family of the Fourier maps $\left\{w_n\right\}$ is uniformly bounded and ${lim}_{n\to \infty }{w}_n={\delta }_{\Gamma }\left[g\right]$ (in $S^{\prime }$). An easy direct construction of such a family is given by the convolution $w_n:={\delta }_{\Gamma }\left[g\right]\ast n^3{\varphi }_0\left(nx\right)$. In this case, it is well-known (and can be easily verified) that ${\displaystyle \underset{n\to \infty }{lim}{w}_n={\delta }_{\Gamma }\left[g\right]}$ in $S^{\prime }$, and the assumption for an uniformly bounded $\left\{{\widehat{w}}_n\right\}$ is directly seen from ${\widehat{w}}_n={\widehat{\delta }}_{\Gamma }\left[g\right]{\widehat{\varphi }}_0(./n)$ (clearly ${\widehat{\delta }}_{\Gamma }\left[g\right]$ and ${\widehat{\varphi }}_0$ are bounded functions). Letting $n\to \infty$ in the equality ${\left(2\pi \right)}^3(w_n,\overline{\psi })=({\widehat{w}}_n,\widehat{\overline{\psi }})$ (see (10)), we, respectively, obtain: ${\displaystyle \underset{n\to \infty }{lim}(w_n,\overline{\psi })=({\delta }_{\Gamma }\left[g\right],\overline{\psi })}$, and ${\displaystyle \underset{n\to \infty }{lim}({\widehat{w}}_n,\widehat{\overline{\psi }})=({\widehat{\delta }}_{\Gamma }\left[g\right],\widehat{\overline{\psi }})}$, for ${\widehat{w}}_n={\widehat{\delta }}_{\Gamma }\left[g\right]{\widehat{\varphi }}_0(./n)$. Here we take into account the equality $({\widehat{w}}_n,\widehat{\overline{\psi }})={\int }_{{\mathbb{R}}^3}{\widehat{\delta }}_{\Gamma }\left[g\right]\left(\xi \right){\widehat{\varphi }}_0(\xi /n)\widehat{\overline{\psi }}\left(\xi \right)d\xi$, combined with the estimate

$|{\widehat{\delta }}_{\Gamma }\left[g\right]\left(\xi \right){\widehat{\varphi }}_0(\xi /n)\widehat{\overline{\psi }}{\left(\xi \right)|\le \left(mes(\Gamma )\right)}^{1/2}{\left|\right|g\left|\right|}_{L_2(\Gamma )}\left|\widehat{\overline{\psi }}\left(\xi \right)\right|$, $\xi \in {\mathbb{R}}^3$, and then apply the well-known Lebesgue dominated convergence theorem (e.g., [15]), to find:

$$\underset{n\to \infty }{lim}{\int }_{{\mathbb{R}}^3}{\widehat{\delta }}_{\Gamma }\left[g\right]\left(\xi \right){\widehat{\varphi }}_0(\xi /n)\widehat{\overline{\psi }}\left(\xi \right)d\xi ={\int }_{{\mathbb{R}}^3}{\widehat{\delta }}_{\Gamma }\left[g\right]\left(\xi \right)\widehat{\overline{\psi }}\left(\xi \right)d\xi =({\widehat{\delta }}_{\Gamma }\left[g\right],\widehat{\overline{\psi }}).$$

(Above $mes(\Gamma )$ is the measure of $\Gamma$ and ${\left|\right|g\left|\right|}_{L_2(\Gamma )}$ is the $L_2$ norm of density g), This proves the boundary Parseval Formula (8).

Below, we add a consequence of (8), useful for the basic result in this section.

Corollary 1. 

For each $\varphi \in C_0^{\infty }\left({\mathbb{R}}^3\right)$ the next Parseval-type relation holds, with ${\varphi }_{\mathbb{F}}={\mathbb{F}}^{-1}\left[\overline{\varphi }\right]$:

$${\int }_{{\mathbb{R}}^3}{\left|{\widehat{\delta }}_{\Gamma }\left[g\right]\left(\xi \right)\right|}^2.\frac{\varphi \left(\xi \right)}{{\left|\xi \right|}^{\alpha }}d\xi ={\left(2\pi \right)}^3{\int }_{\Gamma }g\left(x\right)\left({\overline{\delta }}_{\Gamma }\left[g\right]\ast \frac{c_{3,\alpha }}{{|.|}^{3-\alpha }}\ast {\overline{\varphi }}_{\mathbb{F}}\right)\left(x\right)d{s}_x.$$

(11)

Proof. 

Let us set ${\psi }_g\left(x\right)=\left({\delta }_{\Gamma }\left[g\right]\ast \frac{c_{3,\alpha }}{{|.|}^{3-\alpha }}\ast {\varphi }_{\mathbb{F}}\right)\left(x\right)$. Then, ${\widehat{\overline{\psi }}}_g\left(x\right)={\widehat{\overline{\delta }}}_{\Gamma }\left[g\right]\left(\xi \right)\frac{\varphi \left(\xi \right)}{{\left|\xi \right|}^{\alpha }}$ and $({\widehat{\delta }}_{\Gamma }\left[g\right],{\widehat{\overline{\psi }}}_g)={\int }_{{\mathbb{R}}^3}{\left|{\widehat{\delta }}_{\Gamma }\left[g\right]\left(\xi \right)\right|}^2.\frac{\varphi \left(\xi \right)}{{\left|\xi \right|}^{\alpha }}d\xi$. In addition $({\delta }_{\Gamma }\left[g\right],{\overline{\psi }}_g)$ evidently equals the right hand integral above. Clearly, it is not difficult to check the two assumptions regarding ${\psi }_g$, First, it is directly seen that ${\widehat{\psi }}_g\in L_1\left({\mathbb{R}}^3\right)$, and second, from ${\psi }_g={\psi }_{g,\alpha }\ast {\varphi }_F$, where ${\psi }_{g,\alpha }:={\delta }_{\Gamma }\left[g\right]\ast \frac{c_{3,\alpha }}{{|.|}^{3-\alpha }}$ is a distribution in $L_1^{loc}\left({\mathbb{R}}^3\right)$, the validation as to whether ${\psi }_g\in C^{\infty }\left({\mathbb{R}}^3\right)$ is obvious. Thus, the proof of (11) follows directly from (8).

Now, the basic result in Section 2 can be presented. □

Theorem 1. 

(The kernel of $B_{\alpha ,\Gamma }$.) The zero is not an eigen value of the boundary integral operator

$$B_{\alpha ,\Gamma }:L_2(\Gamma )\to L_2(\Gamma ),$$

i.e., the only solution of the equation $B_{\alpha ,\Gamma }\left[g\right]=0$ is $g=0$.

Proof. 

Using (11) with $\varphi \left(\xi \right)\equiv {\varphi }_0\left(\sigma \xi \right)$, $\xi \in {\mathbb{R}}^3$, where $\sigma \in (0,1]$ is a real parameter, we get the formula:

$${\int }_{{\mathbb{R}}^3}{\left|{\widehat{\delta }}_{\Gamma }\left[g\right]\left(\xi \right)\right|}^2.\frac{{\varphi }_0\left(\sigma \xi \right)}{{\left|\xi \right|}^{\alpha }}d\xi ={\int }_{\Gamma }g\left(x\right)\left({\overline{\delta }}_{\Gamma }\left[g\right]\ast \frac{c_{3,\alpha }}{{|.|}^{3-\alpha }}\ast {\sigma }^{-3}{\widehat{\varphi }}_0(./\sigma )\right)\left(x\right)d{s}_x.$$

(12)

(Note here hat ${\widehat{\varphi }}_0$ is a real valued function), For the auxiliary assumption for g as a continuous function on $\Gamma$ we first analyze the limit values of the integrals above, for $\sigma \to 0$. Clearly, the limit expression of (12) is expected in the form:

$${\int }_{{\mathbb{R}}^3}\frac{|{\widehat{\delta }}_{\Gamma }{\left[g\right]\left(\xi \right)|}^2}{{\left|\xi \right|}^{\alpha }}d\xi ={\left(2\pi \right)}^3{\int }_{\Gamma }g\left(x\right)\left({\overline{\delta }}_{\Gamma }\left[g\right]\ast \frac{c_{3,\alpha }}{{|.|}^{3-\alpha }}\right)\left(x\right)d{s}_x.$$

(13)

We start with the integral $J_{\Gamma ,\alpha }^0\left(\sigma \right):={\int }_{\Gamma }g\left(x\right)\left({\overline{\delta }}_{\Gamma }\left[g\right]\ast \frac{c_{3,\alpha }}{{|.|}^{3-\alpha }}\ast {\sigma }^{-3}{\widehat{\varphi }}_0(./\sigma )\right)\left(x\right)d{s}_x$ (The left integral $I_{\Gamma ,\alpha }^0\left(\sigma \right)$ in (12), with $I_{\Gamma ,\alpha }^0\left(\sigma \right):={\int }_{{\mathbb{R}}^3}{\left|{\widehat{\delta }}_{\Gamma }\left[g\right]\left(\xi \right)\right|}^2.\frac{{\varphi }_0\left(\sigma \xi \right)}{{\left|\xi \right|}^{\alpha }}d\xi$, is commented on later). From the simplified expression $J_{\Gamma ,\alpha }^0\left(\sigma \right)={\int }_{\Gamma }g\left(x\right)J_{\Gamma ,\varphi }^0(x;\sigma )d{s}_x$, where

$$\begin{array}{ccc}\hfill J_{\Gamma ,\varphi }^0(x;\sigma )& :=& \left({\overline{\delta }}_{\Gamma }\left[g\right]\ast \frac{c_{3,\alpha }}{{|.|}^{3-\alpha }}\ast {\sigma }^{-3}{\widehat{\varphi }}_0(./\sigma )\right)\left(x\right)\hfill \\ & =& {\int }_{\Gamma }\overline{g}\left(y\right){\int }_{{\mathbb{R}}^3}\frac{c_{3,\alpha }{\sigma }^{-3}{\widehat{\varphi }}_0\left(t{\sigma }^{-1}\right)}{{|x-y-t|}^{3-\alpha }}dtd{s}_y,\hfill \end{array}$$

it is directly seen that $J_{\Gamma ,\alpha }^0\left(\sigma \right)$ can be presented as follows (applying the substitution $t{\sigma }^{-1}=\tau$):

$$\begin{array}{ccc}\hfill J_{\Gamma ,\alpha }^0\left(\sigma \right)& =& {\int }_{\Gamma }g\left(x\right){\int }_{\Gamma }\overline{g}\left(y\right){\int }_{{\mathbb{R}}^3}\frac{c_{3,\alpha }{\sigma }^{-3}{\widehat{\varphi }}_0\left(t{\sigma }^{-1}\right)}{{|x-y-t|}^{3-\alpha }}dtd{s}_{y}d{s}_x\hfill \\ & =& {\int }_{{\mathbb{R}}^3}{\widehat{\varphi }}_0\left(\tau \right){\int }_{\Gamma }g\left(x\right){\int }_{\Gamma }\frac{c_{3,\alpha }\overline{g}\left(y\right)d{s}_y}{{|x-\sigma \tau -y|}^{3-\alpha }}d{s}_{x}d\tau .\hfill \end{array}$$

(14)

Thus, $J_{\Gamma ,\alpha }^0\left(\sigma \right)={\int }_{{\mathbb{R}}^3}{\widehat{\varphi }}_0\left(\tau \right){\int }_{\Gamma }g\left(x\right)F_g(x-\sigma \tau )d{s}_{x}d\tau$, with ${\displaystyle F_g\left(\theta \right):={\int }_{\Gamma }\frac{c_{3,\alpha }\overline{g}\left(y\right)d{s}_y}{{|\theta -y|}^{3-\alpha }}}$. Note that $F_g\left(\theta \right)$ is a bounded and continuous function for $\theta \in {\mathbb{R}}^3$, because the given single layer Riesz potential (defining $F_g$) is uniformly convergent regarding $\theta$, for $\theta \in K\subset {\mathbb{R}}^3$, K an arbitrarily fixed compact set, containing the closed surface $\Gamma$, under the assumption of continuous surface density g and the second order regularity of $\Gamma$. This holds by the same arguments that are well known from classical potential theory (e.g., [12]) of the single layer potential (the case of $\alpha =2$). Next, the found properties of $F_g\left(\theta \right)$ yield the automatic conclusion that the function $G\left(\theta \right):={\int }_{\Gamma }g\left(x\right)F_g(x-\theta )d{s}_x$ is also bounded and continuous, $\theta \in {\mathbb{R}}^3$. Then, again by the mentioned Lebesgue theorem, we see that the integral ${\int }_{{\mathbb{R}}^3}{\widehat{\varphi }}_0\left(\tau \right)G\left(\sigma \tau \right)d\tau$ is uniformly convergent regarding $\sigma \in [0,1]$, i.e., $J_{\Gamma ,\alpha }^0\left(\sigma \right)={\int }_{{\mathbb{R}}^3}{\widehat{\varphi }}_0\left(\tau \right)G\left(\sigma \tau \right)d\tau$ is a continuous function in $[0,1]$. We get this way: ${\displaystyle \exists \underset{\sigma \to 0}{lim}{J}_{\Gamma ,\alpha }^0\left(\sigma \right)=J_{\Gamma ,\alpha }^0\left(0\right)}$. As is clear from (14), $J_{\Gamma ,\alpha }^0\left(0\right)={\int }_{{\mathbb{R}}^3}{\widehat{\varphi }}_0\left(\tau \right)d\tau {\int }_{\Gamma }g\left(x\right){\int }_{\Gamma }\frac{c_{3,\alpha }\overline{g}\left(y\right)d{s}_y}{{|x-y|}^{3-\alpha }}d{s}_x$, i.e., (because of equality ${\int }_{{\mathbb{R}}^3}{\widehat{\varphi }}_0\left(\tau \right)d\tau ={\left(2\pi \right)}^3$) $J_{\Gamma ,\alpha }^0\left(0\right)={\left(2\pi \right)}^3{\int }_{\Gamma }g\left(x\right)({\overline{\delta }}_{\Gamma }\left[g\right]\ast \frac{c_{3,\alpha }}{{|.|}^{3-\alpha }})\left(x\right)d{s}_x$) (see the right hand side of (13)). In addition (12) also yields: ${\displaystyle \exists \underset{\sigma \to 0}{lim}{I}_{\Gamma ,\alpha }^0\left(\sigma \right)=J_{\Gamma ,\alpha }^0\left(0\right)}$. On the other hand, from the estimates $I_{\Gamma ,\alpha }^0\left(r^0{r}^{-1}\right)\le I_{\alpha }\left(r\right)\le I_{\Gamma ,\alpha }^0(r^0{r}^{-1}/2)$ we establish that there exists the limit value ${\displaystyle I_{\alpha }(\infty ):=\underset{r\to \infty }{lim}{I}_{\alpha }\left(r\right)}$, i.e., the integral ${\int }_{{\mathbb{R}}^3}|{\widehat{\delta }}_{\Gamma }{\left[g\right]|}^2{\left|\xi \right|}^{-\alpha }d\xi$ converges and its value $I_{\alpha }(\infty )$ equals to $J_{\Gamma ,\alpha }^0\left(0\right)$. Thus, (13) is proven.

Let us look at whether Formula (13) remains valid in the general case $g\in L_2(\Gamma )$. Actually it is enough to establish the next inequality:

$$I_{\alpha }\left(r\right)\left[g\right]\le {\left(2\pi \right)}^3{\int }_{\Gamma }g\left(x\right)B_{\alpha ,\Gamma }\left[\overline{g}\right]\left(x\right)d{s}_x,g\in L_2(\Gamma ).$$

(15)

Here $r>0$ is an arbitrary fixed, $I_{\alpha }\left(r\right)\left[g\right]$ is the previously given integral $I_{\alpha }\left(r\right)$, and for $x\in \Gamma$: $B_{\alpha ,\Gamma }\left[\overline{g}\right]\left(x\right)\equiv ({\overline{\delta }}_{\Gamma }\left[g\right]\ast \frac{c_{3,\alpha }}{{|.|}^{3-\alpha }})\left(x\right)$. Note firstly that the integrals $I_{\alpha }\left(r\right)\left[g\right]$ and ${\int }_{\Gamma }g\left(x\right)B_{\alpha ,\Gamma }\left[\overline{g}\right]\left(x\right)d{s}_x$ are correctly defined $\forall g\in L_2(\Gamma )$. Choosing now an arbitrary approximating sequence $\left\{g_n\right\}:g_n\to g$, $n\to \infty$ in $L_2(\Gamma )$, $g_n$ – continuous ($\forall n=1,2,\dots$), we evidently have from (13) the estimate:

$$I_{\alpha }\left(r\right)\left[g_n\right]\le {\left(2\pi \right)}^3{\int }_{\Gamma }{g}_n\left(x\right)B_{\alpha ,\Gamma }\left[{\overline{g}}_n\right]\left(x\right)d{s}_x.$$

(16)

Then, let $n\to \infty$ in (16), to provided preliminary verification that $I_{\alpha }\left(r\right)\left[g_n\right]$ and ${\int }_{\Gamma }{g}_n\left(x\right)B_{\alpha ,\Gamma }\left[{\overline{g}}_n\right]\left(x\right)d{s}_x$, respectively, tend to $I_{\alpha }\left(r\right)\left[g\right]$ and ${\int }_{\Gamma }g\left(x\right)B_{\alpha ,\Gamma }\left[\overline{g}\right]\left(x\right)d{s}_x$. Certainly, first of all, the below relations evidently hold,

$$\begin{array}{ccc}\hfill |{\widehat{\delta }}_{\Gamma }\left[g\right]\left(\xi \right)-{\widehat{\delta }}_{\Gamma }\left[g_n\right]\left(\xi \right)|& =& |{\int }_{\Gamma }[g\left(x\right)-g_n\left(x\right)]exp(-i⟨x,\xi ⟩)d{s}_x|\hfill \\ & \le & {\left(mes(\Gamma )\right)}^{1/2}\left|\right|g-g_n{\left|\right|}_{L_2(\Gamma )},\hfill \end{array}$$

consequently, $|{\widehat{\delta }}_{\Gamma }\left[g_n\right]\left(\xi \right)|$ uniformly tends (at $n\to \infty$) to $|{\widehat{\delta }}_{\Gamma }\left[g\right]\left(\xi \right)|$, for $\left|\xi \right|\le r$, and the same is valid concerning $|{\widehat{\delta }}_{\Gamma }\left[g_n\right]\left(\xi \right){|}^2$ and $|{\widehat{\delta }}_{\Gamma }{\left[g\right]\left(\xi \right)|}^2$. Therefore, ${\displaystyle \underset{n\to \infty }{lim}{I}_{\alpha }\left(r\right)\left[g_n\right]=I_{\alpha }\left(r\right)\left[g\right]}$. On the other hand, it is not difficult to find:

$$\begin{array}{ccc}\hfill |{\int }_{\Gamma }\left(g\left(x\right)B_{\alpha ,\Gamma }\left[\overline{g}\right]\left(x\right)-g_n\left(x\right)B_{\alpha ,\Gamma }\left[{\overline{g}}_n\right]\left(x\right)\right)d{s}_x|& \le & \left|\right|g-g_n{\left|\right|}_{L_2(\Gamma )}.\left|\right|B_{\alpha ,\Gamma }\left[\overline{g}\right]{\left|\right|}_{L_2(\Gamma )}\hfill \\ & +& \left|\right|g_n{\left|\right|}_{L_2(\Gamma )}.\left|\right|B_{\alpha ,\Gamma }\left|\right|.\left|\right|g-g_n{\left|\right|}_{L_2(\Gamma )},\hfill \end{array}$$

($\left|\right|B_{\alpha ,\Gamma }\left|\right|$ is the norm of the operator $B_{\alpha ,\Gamma }$); i.e., the integral ${\int }_{\Gamma }{g}_n\left(x\right)B_{\alpha ,\Gamma }\left[{\overline{g}}_n\right]\left(x\right)d{s}_x$ tends to ${\int }_{\Gamma }g\left(x\right)B_{\alpha ,\Gamma }\left[\overline{g}\right]\left(x\right)d{s}_x$ ($n\to \infty$). Thus, the estimate (15) is proved, and, observing that the function of r $I_{\alpha }\left(r\right)\left[g\right]$ is monotone, increasing and bounded (because of (15)) we conclude that the integral ${\displaystyle {\int }_{{\mathbb{R}}^3}|{\widehat{\delta }}_{\Gamma }{\left[g\right]|}^2{\left|\xi \right|}^{-\alpha }d\xi =I_{\alpha }(\infty )\left[g\right]:=\underset{r\to \infty }{lim}{I}_{\alpha }\left(r\right)\left[g\right]}$ converges and the following inequality is fulfilled:

$${\int }_{{\mathbb{R}}^3}|{\widehat{\delta }}_{\Gamma }{\left[g\right]|}^2{\left|\xi \right|}^{-\alpha }d\xi \le {\left(2\pi \right)}^3{\int }_{\Gamma }g\left(x\right)B_{\alpha ,\Gamma }\left[\overline{g}\right]\left(x\right)d{s}_x,g\in L_2(\Gamma ).$$

(17)

Finally, when $B_{\alpha ,\Gamma }\left[g\right]=0$ evidently $B_{\alpha ,\Gamma }\left[\overline{g}\right]=0$ as well, and (17) shows that ${\widehat{\delta }}_{\Gamma }\left[g\right]=0$, consequently ${\delta }_{\Gamma }\left[g\right]=0$ which automatic yields $g=0$. This proves the theorem. □

3. Main Results

The found property of the operator $B_{\alpha ,\Gamma }$ was certainly of essential importance in our approach for solving the problem of Dirichlet. It is in a direct relation with the well-known Hilbert–Schmidt theorem (e.g., [14,15]) and, as a first step below, we recall a selected formulation of this theorem.

Theorem 2. 

(Hilbert–Schmidt)

Let $B:H\to H$ be a bounded, compact and symmetrical linear operator in the Hilbert space H, with $h=0$ as the unique solution of the equation $Bh=0$, h varying in H. Then there exists a complete orthogonal system $\left\{h_j\right\}\subset H$, $\left|\right|h_j\left|\right|=1$, $j=1,2,\dots$, of eigenvalue elements to B, with a corresponding set of (real) eigenvalues $\left\{{\lambda }_j\right\}$, such that the following expression holds, $\forall h\in H$:

(H-S), ${\displaystyle h=\sum _{j=1}^{\infty }{\sigma }_j{h}_j}$, ${\sigma }_j=⟨h,h_j⟩$. Here, $⟨.,.⟩$ is the scalar product in H (and $\left|\right|h\left|\right|=⟨h,h⟩$ is the norm of h).

Preparing to apply Theorem 2 concerning the operator $B_{\alpha ,\Gamma }$, we start with the next two initial properties, the first one follows from the classical theory of the weakly singular integral equations, and the second from Theorem 2.

(i*) The integral operator $B_{\alpha ,\Gamma }:L_2(\Gamma )\to L_2(\Gamma )$, with

$${\displaystyle B_{\alpha ,\Gamma }\left[g\right]\left(x\right):={\int }_{\Gamma }{c}_{3,\alpha }g\left(y\right){|x-y|}^{\alpha -3}d{s}_y,}$$

$x\in \Gamma$, $g\in L_2(\Gamma )$, is bounded, compact and symmetrical.

(ii*) Each function $\mu \in L_2(\Gamma )$ can be uniquely expressed by the decomposition formula below:

$${\displaystyle \mu =\sum _{k=1}^{\infty }{\gamma }_k{\zeta }_{k,\alpha },in{L}_2(\Gamma ),}$$

(18)

where $\left\{{\zeta }_{k,\alpha }\right\}$ is the complete orthogonal system of eigen functions for $B_{\alpha ,\Gamma }$ and ${\gamma }_k$ are the Fourier coefficients of $\mu$, ${\gamma }_k:={\int }_{\Gamma }\mu \left(x\right){\zeta }_{k,\alpha }\left(x\right)d{s}_x$. In our basic result we use the already mentioned sub-space $H_{\alpha }^1(\Gamma )\subset L_2(\Gamma )$.

Definition 1. 

Let us set

${\displaystyle H_{\alpha }^1(\Gamma ):=\{\phi \in L_2(\Gamma ),\phi =\sum _{k=1}^{\infty }{\tau }_k{\zeta }_{k,\alpha }:\sum _{k=1}^{\infty }{\tau }_k^2{\lambda }_{k,\alpha }^{-2}<+\infty \}}$, where ${\lambda }_{k,\alpha }$ are the eigenvalues of $B_{\alpha ,\Gamma }$. The scalar product ${⟨\phi ,\psi ⟩}_{1,\alpha }$ in $H_{\alpha }^1(\Gamma )$ is defined by the sum ${\displaystyle \sum _{k=1}^{\infty }{\tau }_k{\overline{\theta }}_k(1+{\lambda }_{k,\alpha }^{-2})}$, for $\phi ,\psi \in H_{\alpha }^1(\Gamma )$: ${\displaystyle \phi =\sum _{k=1}^{\infty }{\tau }_k{\zeta }_{k,\alpha }}$, ${\displaystyle \psi =\sum _{k=1}^{\infty }{\theta }_k{\zeta }_{k,\alpha }}$.

Note that the inverse operator $B_{\alpha ,\Gamma }^{-1}$ of $B_{\alpha ,\Gamma }$ is correctly defined on $H_{\alpha }^1(\Gamma )$, by the evident rule ${\displaystyle B_{\alpha ,\Gamma }^{-1}\left[\phi \right]:=\sum _{k=1}^{\infty }{\tau }_k{\lambda }_{k,\alpha }^{-1}{\zeta }_{k,\alpha }}$, for ${\displaystyle \phi =\sum _{k=1}^{\infty }{\tau }_k{\zeta }_{k,\alpha }}$, $\phi \in H_{\alpha }^1(\Gamma )$.Thus, $B_{\alpha ,\Gamma }^{-1}:H_{\alpha }^1(\Gamma )\to L_2(\Gamma )$ is a bounded linear operator.

In the first theorem below, excepting results on existence, uniqueness and continuous data dependent on solutions, additional ones are also included concerning the asymptotic (at $\left|x\right|\to \infty$ ) and $L_1^{loc}\left({\mathbb{R}}^3\right)$ approximation of solutions (by globally defined continuous functions). As a specific moment, the approximation process is uniquely generated by the corresponding boundary one in $L_2(\Gamma )$. Consider now the central result of our study.

Theorem 3. 

Let $f\left(x\right)$ be a function, defined on $\mathcal{D}$ and satisfying the assumptions (3). Then, for each data $\phi \left(x\right)\in L_2(\Gamma ):(\phi -{\phi }_{\alpha ,f})\left(x\right)\in H_{\alpha }^1(\Gamma )$, the problem of Dirichlet (7) is solvable in $L_1^{loc}\left({\mathbb{R}}^3\right)$ by the formula:

$$u\left(x\right)={\int }_{\Gamma }\frac{c_{3,\alpha }{B}_{\alpha ,\Gamma }^{-1}[\phi -{\phi }_{\alpha ,f}]\left(y\right)d{s}_y}{{|x-y|}^{3-\alpha }}+{\int }_{\mathcal{D}}\frac{c_{3,\alpha }f\left(y\right)dy}{{|x-y|}^{3-\alpha }},x\in {\mathbb{R}}^3.$$

(19)

The above function u is the unique solution of (7) in the family $S_{\alpha ,f}^{\prime }$, contained in the class $L_1^{loc}\left({\mathbb{R}}^3\right)$ and continuous in the two domain components of ${\mathbb{R}}^3\setminus \Gamma$. The solution (19) is additionally characterized by the following conventional, but essential, properties.

(P1) In case of $f\left(x\right)$ with a compact support in $\mathcal{D}$, when $\mathcal{D}=C\Omega$, the asymptotic relation below holds for $u\left(x\right)$:

$$\left|u\left(x\right)\right|\le \frac{c_0}{{\left|x\right|}^{3-\alpha }},\left|x\right|\to \infty ,$$

(20)

(i.e., $u\left(x\right)=O(1/{\left|x\right|}^{3-\alpha })$ for $\left|x\right|\to \infty$), with constant $c_0$;

(P2) A property for continuous data dependence is valid in the $L_1^{loc}\left({\mathbb{R}}^3\right)$ sense, expressed by the following assertion: given two systems of data, $\{f_1,f_2\}$ – satisfying (3) and $\{{\phi }_1,{\phi }_2\}\subset L_2(\Gamma )$, where ${\left({\Delta }_f\phi \right)}_i:={\phi }_i-{{\phi }_{\alpha ,f}}_i\in H_{\alpha }^1$, $i=1,2$, there exist constants $C_K^0$, $C_K^{\ast }$ so that the difference $u_2-u_1$ of the solutions, corresponding to the above data, satisfies an estimate in the form:

$$\left|\right|u_2-u_1{\left|\right|}_{L_1\left(K\right)}\le C_K^0\left|\right|{\left({\Delta }_f\phi \right)}_2-{\left({\Delta }_f\phi \right)}_1{\left|\right|}_{H_{\alpha }^1(\Gamma )}+C_K^{\ast }\left|\right|f_2-f_1{\left|\right|}_{L_1\left(\mathcal{D}\right)},$$

(21)

for an arbitrarily chosen compact $K\subset {\mathbb{R}}^3$.

(P3) Each approximating system $\left\{{\psi }_n\right\}\subset H_{\alpha }^1(\Gamma )$, ${\displaystyle \underset{n\to \infty }{lim}{\psi }_n=g_f\left[\phi \right]}$ in $L_2(\Gamma )$

(where $g_f\left[\phi \right]:=B_{\alpha ,\Gamma }^{-1}[\phi -{\phi }_{\alpha ,f}]$), with continuous functions ${\psi }_n$, generates an infinite sequence of continuous approximations $u_n$ to u: ${\displaystyle \underset{n\to \infty }{lim}{u}_n=u}$ in $L_1^{loc}\left({\mathbb{R}}^3\right)$. Moreover, $u_n$ solve the problem (7) at the boundary condition ${u|}_{\Gamma }={\phi }_n$, ${lim}_{n\to \infty }{\phi }_n=\phi$ in $L_2(\Gamma )$, with ${\phi }_n:=B_{\alpha ,\Gamma }\left[{\psi }_n\right]+{\phi }_{\alpha ,f}$, and the estimate (22) (below) is valid for each fixed compact $K\subset {\mathbb{R}}^3$:

$$\left|\right|u-u_n{\left|\right|}_{L_1\left(K\right)}\le C_K^0\left|\right|\phi -{\phi }_n{\left|\right|}_{H_{\alpha }^1(\Gamma )}.$$

(22)

Proof. 

Recall that the verification as to whether function $u\left(x\right)$ from (19) satisfies the equation ${(-\Delta )}^{\alpha /2}{u|}_{\mathcal{D}}=f$ was done in Section 1: by the notations $v_{\alpha ,g}\left(x\right)$, $u_{\alpha ,f}\left(x\right)$, respectively, for the already introduced single layer and volume Riesz potential, with $g=g_f\left[\phi \right]$, Formula (19) is rewritten as $u=v_{\alpha ,g}+u_{\alpha ,f}$, where $v_{\alpha ,g}$ is a BF harmonic function, while ${(-\Delta )}^{\alpha /2}{u}_{\alpha ,f}=f^0\left[f\right]$ (in $S^{\prime }$ ). And for ${(-\Delta )}^{\alpha /2}u$ we get ${(-\Delta )}^{\alpha /2}u={\delta }_{\Gamma }\left[g\right]+f^0\left[f\right]$ (in $S^{\prime }$), which evidently means that ${(-\Delta )}^{\alpha /2}{u|}_{\mathcal{D}}=f$. Next, for $x\in \Gamma$ we have: ${u|}_{\Gamma }=v_{\alpha ,g}{|}_{\Gamma }+{\phi }_{\alpha ,f}=B_{\alpha ,\Gamma }[B_{\alpha ,\Gamma }^{-1}[\phi -{\phi }_{\alpha ,f}]]+{\phi }_{\alpha ,f}=\phi$. Thus, the existence assertion is proved (i.e., u is a solution of the problem (7) in $S_{\alpha ,f}^{\prime }$). For the uniqueness of solution (19) in $S_{\alpha ,f}^{\prime }$, assuming existence of two ones, $u_1,u_2\in S_{\alpha ,f}^{\prime }$ which satisfy (7) (with identical data $\phi$, f ), it is directly seen that the difference $U=u_2-u_1$ is a BF harmonic function, i.e., ${(-\Delta )}^{\alpha /2}U={\delta }_{\Gamma }\left[g\right]$ in $S^{\prime }$, with a density $g\in L_2(\Gamma )$. To resolve this equation regarding U (recall the analogous comments about (4)) we have evidently to act by the operation ${\displaystyle \frac{c_{3,\alpha }}{{|.|}^{3-\alpha }}\ast }$, finding, thus, the expression ${\displaystyle U\left(x\right)=({\delta }_{\Gamma }\left[g\right]\ast \frac{c_{3,\alpha }}{{|.|}^{3-\alpha }})\left(x\right)}$, $x\in {\mathbb{R}}^3$. Restricted to $\Gamma$ it yields: ${U|}_{\Gamma }=B_{\alpha ,\Gamma }\left[g\right]$, i.e., $B_{\alpha ,\Gamma }\left[g\right]=0$, and, therefore, $g=0$ (Theorem 1), and (from ${\displaystyle U=({\delta }_{\Gamma }\left[g\right]\ast \frac{c_{3,\alpha }}{{|.|}^{3-\alpha }})}$ in $S^{\prime }$) $U\left(x\right)=0$, $x\in {\mathbb{R}}^3$. Next, looking at Formula (19) (i.e., $u=v_{\alpha ,g}+u_{\alpha ,f}$), it is directly seen that $v_{\alpha ,g},u_{\alpha ,f}\in L_1^{loc}\left({\mathbb{R}}^3\right)$, and the same for $u\left(x\right)$. Moreover, as in the proof of (21) (below), it follows the estimate

$${\left|\right|u\left|\right|}_{L_1\left(K\right)}\le C_K^0\left|\right|\phi -{\phi }_{\alpha ,f}{\left|\right|}_{H_{\alpha }^1(\Gamma )}+C_K^{\ast }{\left|\right|f\left|\right|}_{L_1\left(\mathcal{D}\right)}.$$

(23)

(Here $K\subset {\mathbb{R}}^3$ is an arbitrarily fixed compact, and a choice of constants $C_K^0$, $C_K^{\ast }$ is given concerning (21)). The property $u\left(x\right)\in C^0({\mathbb{R}}^3\setminus \Gamma )$ ($C^0$, the space of the continuous functions), in both the cases $\mathcal{D}=\Omega$ and $\mathcal{D}=C\Omega$ is also an automatic consequence from the clear relations $v_{\alpha ,g}\in C^0\left(K\right)$, $u_{\alpha ,f}\in C^0\left(K\right)$, valid for each compact $K\subset {\mathbb{R}}^3\setminus \Gamma$.

Consider now the properties (P1)–(P3).The asymptotic relation (20) is actually evident (as a slight consequence of the standard inequality $|x-y|\ge \left|x\right|-\left|y\right|>0$, valid at $\left|x\right|\to \infty$ and y varying in a compact). For the proof of (21) let us first rewrite (19) with $u_2-u_1$, ${\phi }_2-{\phi }_{\alpha ,f_2}-({\phi }_1-{\phi }_{\alpha ,f_1})$, $f_2-f_1$, respectively, instead of u, $\phi -{\phi }_{\alpha ,f}$, f. For the sake of convenience we use the notations ${\Delta }_f\phi =\phi -{\phi }_{\alpha ,f}$, (${\left({\Delta }_f\phi \right)}_i={\phi }_i-{\phi }_{\alpha ,f_i}$, $i=1,2$). After integration of $|u_2-u_1|$ on a compact $K\subset {\mathbb{R}}^3$ it easily follows:

$$\begin{array}{ccc}\hfill |u_2-u_1{|}_{L_1\left(K\right)}& \le & c_{3,\alpha }{\int }_{\Gamma }{W}_K\left(y\right)\left|B_{\alpha ,\Gamma }^{-1}[{\left({\Delta }_f\phi \right)}_2-{\left({\Delta }_f\phi \right)}_1]\left(y\right)\right|d{s}_y\hfill \\ & +& c_{3,\alpha }{\int }_{\mathcal{D}}{W}_K\left(y\right)|f_2\left(y\right)-f_1\left(y\right)|dy,\hfill \\ \hfill W_K\left(y\right)& :=& {\int }_K{|x-y|}^{\alpha -3}dx,y\in {\mathbb{R}}^3.\hfill \end{array}$$

In order to rework the above inequality suitably we take into account the estimate

$$\left|\right|c_{3,\alpha }{B}_{\alpha ,\Gamma }^{-1}[{\left({\Delta }_f\phi \right)}_2-{\left({\Delta }_f\phi \right)}_1]{\left|\right|}_{L_2(\Gamma )}\le b_{\alpha ,\Gamma }^{\ast }\left|\right|{\left({\Delta }_f\phi \right)}_2-{\left({\Delta }_f\phi \right)}_1{\left|\right|}_{H_{\alpha }^1(\Gamma )},$$

where $b_{\alpha ,\Gamma }^{\ast }$ is the norm of the operator $c_{3,\alpha }{B}_{\alpha ,\Gamma }^{-1}$. In this way, we come to the next relation for the difference $u_2-u_1$:

$$\begin{array}{ccc}\hfill \left|\right|u_2-u_1{\left|\right|}_{L_1\left(K\right)}& \le & \left|\right|W_K{\left|\right|}_{L^{\infty }\left({\mathbb{R}}^3\right)}\left(b_{\alpha ,\Gamma }^{\ast }\sqrt{mes\Gamma }\left|\right|{\left({\Delta }_f\phi \right)}_2-{\left({\Delta }_f\phi \right)}_1{\left|\right|}_{H_{\alpha }^1(\Gamma )}\right)\hfill \\ & +& \left|\right|W_K{\left|\right|}_{L^{\infty }\left({\mathbb{R}}^3\right)}\left(c_{3,\alpha }\left|\right|f_2-f_1{\left|\right|}_{L_1\left(\mathcal{D}\right)}\right).\hfill \end{array}$$

(24)

Afterwards, it remains to set: $C_K^0=b_{\alpha ,\Gamma }^{\ast }\sqrt{mes\Gamma }\left|\right|W_K{\left|\right|}_{L^{\infty }\left({\mathbb{R}}^3\right)}$, $C_K^{\ast }=|c_{3,\alpha }\left|\right|W_K{\left|\right|}_{L^{\infty }\left({\mathbb{R}}^3\right)}$. Thus (24) takes the form of (21). □

Remark 2. 

The partial case $f_1=f_2$ could be practically more valuable (then the accent is paid on the boundary data dependence). Now the estimates (24), (21) take, respectively, the forms:

$$\left|\right|u_2-u_1{\left|\right|}_{L_1\left(K\right)}\le \left|\right|W_K{\left|\right|}_{L^{\infty }\left({\mathbb{R}}^3\right)}{b}_{\alpha ,\Gamma }^{\ast }\sqrt{mes\Gamma }\left|\right|{\phi }_2-{\phi }_1{\left|\right|}_{H_{\alpha }^1(\Gamma )};$$

(25)

$$\left|\right|u_2-u_1{\left|\right|}_{L_1\left(K\right)}\le C_K^0\left|\right|{\phi }_2-{\phi }_1{\left|\right|}_{H_{\alpha }^1(\Gamma )}.$$

(26)

Consider, finally, the proof of (P3). Via the remark above, when the boundary problem (7) is used in a model, the contour $L_2$ data $\phi$ can be preferably changed by suitable continuous approximations $\left\{{\phi }_n\right\}$ in order to simplify a numerical procedure. In our approach, the boundary operator pair $\{B_{\alpha ,\Gamma },B_{\alpha ,\Gamma }^{-1}\}$ suggests seeking $\left\{{\phi }_n\right\}$ by the map $B_{\alpha ,\Gamma }\left[{\psi }_n\right]$, given an arbitrary sequence $\left\{{\psi }_n\right\}\subset H_{\alpha }^1(\Gamma )$ of continuous $L_2$ approximations to $g_f\left[\phi \right]$. In the framework of the problem (7) (considered now at boundary data ${\phi }_n$, regarding an unknown solution $u_n$) the basic Formula (19) serves as the answer both, for ${\phi }_n$ and $u_n$, namely ${\phi }_n=B_{\alpha ,\Gamma }\left[{\psi }_n\right]+{\phi }_{\alpha ,f}$ and $u_n$ as follows:

$$u_n\left(x\right)={\int }_{\Gamma }\frac{c_{3,\alpha }{\psi }_n\left(y\right)d{s}_y}{{|x-y|}^{3-\alpha }}+u_{\alpha ,f}\left(x\right),x\in {\mathbb{R}}^3.$$

(27)

The property $u_n\in C^0\left({\mathbb{R}}^3\right)$ follows (by the integral above) from the continuous assumption for ${\psi }_n$, and the same for ${\phi }_n$ (We have again taken into account that the single layer Riesz potentials possess, at $3-\alpha <2$, the same continuous properties as in the classical case of $3-\alpha =1$). The announced estimate (22) is actually proved by the already shown (26). In conclusion, let us comment on how to construct approximating systems $\left\{{\psi }_n\right\}\subset H_{\alpha }^1(\Gamma )$ of continuous functions by introducing an arbitrary system of (real) numbers $\left\{{\tau }_k\right\},k=1,2,\dots$: ${\displaystyle \sum _{k=1}^{\infty }{\tau }_k^2{\lambda }_{k,\alpha }^{-2}<\infty }$, we get an element g of the space $H_{\alpha }^1(\Gamma )$, ${\displaystyle g\left(x\right):=\sum _{k=1}^{\infty }{\tau }_k{\zeta }_{k,\alpha }\left(x\right)}$ and for an obviously convenient approximating (to g) sequence we have to take ${\displaystyle {\psi }_n\left(x\right):=\sum _{k=1}^n{\tau }_k{\zeta }_{k,\alpha }\left(x\right)}$, $n=1,2,\dots$. Recall that the eigen functions ${\zeta }_{k,\alpha }$ of $B_{\alpha ,\Gamma }$ are continuous (i.e., $\left\{{\zeta }_{k,\alpha }\right\}\subset C^0(\Gamma )$), according to the known classical theorem for the continuous $L_2$ solutions of weakly singular integral equations (e.g., [11,12,13]).

Our next result concerns regularity properties of the solution (19), in the interior of ${\mathbb{R}}^3\setminus \Gamma$, as a consequence of which $f\left(x\right)$. We consider below two cases for the regularity of $f\left(x\right)$, assumed with a compact support: $f\in C_0^m\left(\mathcal{D}\right)$, $m=1,2,\dots$, and $f\in L^{\infty }\left(\mathcal{D}\right)\cap {\mathfrak{L}}^{\prime }\left(\mathcal{D}\right)$, at $f^0\left[f\right]\in H^s\left({\mathbb{R}}^3\right)$, $s>0$. Here, as usual, $C_0^m\left(\mathcal{D}\right)$ the space of the functions smooths up to order m in $\mathcal{D}$ with compact supports, $H^s\left({\mathbb{R}}^3\right)$ are the known Sobolev classes, related to ${\mathbb{R}}^3$ (e.g., [9]), and ${\mathfrak{L}}^{\prime }\left(\mathcal{D}\right)$ is the space of the Lauren Schwartz distributions, defined on $\mathcal{D}$ ([9,14,15]), possessing compact supports therein. Clearly the elements of ${\mathfrak{L}}^{\prime }\left(\mathcal{D}\right)$ are automatically extended (on the whole ${\mathbb{R}}^3$) as zeros out of their supports, presenting, thus, distributions from $S^{\prime }\left({\mathbb{R}}^3\right)$.

Concerning the conventional regularity of the (19) solution $u\left(x\right)$ (in the case $f\in C_0^m\left(\mathcal{D}\right)$) we again apply $L_1\left(K\right)$ estimates, now related to the partial derivatives ${\partial }_x^{\beta }u\left(x\right)$. Recall here that $\beta$ is a $3D$ multi index, i.e., $\beta =({\beta }_1,{\beta }_2,{\beta }_3)$, with ${\beta }_i$ (i = 1,2,3 ) – (non-negative) integers; ${\partial }_x^{\beta }u\left(x\right)$ is of order k (k = 0, 1, 2, …) when $\left|\beta \right|=k$, $\left|\beta \right|:={\beta }_1+{\beta }_2+{\beta }_3$, and a function $F\left(x\right)$, defined in a domain $\tilde{\Omega }\subset {\mathbb{R}}^3$, belongs to the class $C^m\left(\tilde{\Omega }\right)$ when F possesses continuous in $\tilde{\Omega }$ derivatives of each order k, $k\le m$. In the case of certain Sobolev regularity for the solution $u\left(x\right)$ (assuming $f^0\left[f\right]\in H^s\left({\mathbb{R}}^3\right))$, it is clearly expected to hold that $u\in H_{loc}^s({\mathbb{R}}^3\setminus \Gamma )$. As known, this inclusion is characterized by the property $\theta u\in H^s\left({\mathbb{R}}^3\right)$, valid for each function $\theta \left(x\right)\in C_0^{\infty }({\mathbb{R}}^3\setminus \Gamma )$ (at $\theta u$ automatically extended as zero out of the support of $\theta \left(x\right)$). We seek a relevant $H^s$ estimation of $\theta u$ by the boundary data $\phi -{\phi }_{\alpha ,f}$ and f.

For analyzing the $H^s$ properties of $u\left(x\right)$ we use the following accessory assertion (e.g., [16]) (The given proof of the lemma is due to university lectures [17]).

Lemma 2. 

The map ${\mathbf{M}}_{\mathsf{\Phi }}:\mathbf{v}\to \mathsf{\Phi }\mathbf{v}$, $\mathbf{v}\in H^s$, with $\mathsf{\Phi }\left(x\right)\in S$, an arbitrary fixed function, is a continuous operator, acting from $H^s$ into itself, for each (fixed) real s. (Here $S=S\left({\mathbb{R}}^3\right)$ and the same for $H^s$).

Proof. 

As a necessary initial step, recall the very useful representation for the Fourier image $(\widehat{\mathsf{\Phi }\mathbf{v}})\left(\xi \right)$, $\xi \in {\mathbb{R}}^3$, of the (generalized) function $\left(\mathsf{\Phi }\mathbf{v}\right)\left(x\right)$:

$$(\widehat{\mathsf{\Phi }\mathbf{v}})\left(\xi \right)={\left(2\pi \right)}^{-3}(\widehat{\mathbf{v}}\ast \widehat{\mathsf{\Phi }})\left(\xi \right)={\left(2\pi \right)}^{-3}{\int }_{{\mathbb{R}}^3}\widehat{\mathsf{\Phi }}(\xi -\eta )\widehat{\mathbf{v}}\left(\eta \right)d\eta .$$

(28)

From (28), taking into account the known Peetre inequality (e.g., [16]), we get:

$$\begin{array}{c}\hfill {\left|(1+|\xi )\right|}^2{)}^{s/2}(\widehat{\mathsf{\Phi }\mathbf{v}})\left(\xi \right)|\le \frac{2^{|s/2|}}{{\left(2\pi \right)}^3}{\int }_{{\mathbb{R}}^3}{(1+|\xi -\eta |}^2{)}^{|s/2|}|\widehat{\mathsf{\Phi }}(\xi -\eta )(1+|\eta ){|}^2{)}^{s/2}\widehat{\mathbf{v}}\left(\eta \right)|d\eta .\end{array}$$

Applying the Young inequality ([9,10,11]) in the integral term above, we find the sought estimate:

$${\left|\right|\mathsf{\Phi }\mathbf{v}\left|\right|}_s\le {\mathbf{C}}_{\mathbf{M}}{\left|\right|\mathbf{v}\left|\right|}_s,\mathbf{v}\in H^s.$$

(29)

Here ${\left|\right|.\left|\right|}_s$ is the norm in the space $H^s$, ${\left|\right|\mathsf{\Phi }\mathbf{v}\left|\right|}_s:={\left|\right|(1+|\xi )|}^2{)}^{s/2}(\widehat{\mathsf{\Phi }\mathbf{v}})\left(\xi \right){\left|\right|}_{L_2\left({\mathbb{R}}^3\right)}$, and ${\displaystyle {\mathbf{C}}_{\mathbf{M}}:=\frac{2^{|s/2|}}{{\left(2\pi \right)}^3}{\left|\right|(1+|\xi )|}^2{)}^{|s/2|}(\widehat{\mathsf{\Phi }})\left(\xi \right){\left|\right|}_{L_1\left({\mathbb{R}}^3\right)}}$. We can now formulate and prove our result concerning the regularity of the solution in (19). □

Theorem 4. 

Suppose the free term $f\left(x\right)$ in the Equation (7) belongs to some of the spaces $C_0^m\left(\mathcal{D}\right)$, $L^{\infty }\left(\mathcal{D}\right)\cap {\mathfrak{L}}^{\prime }\left(\mathcal{D}\right)$ with $f^0\left[f\right]\in H^s$. Then, the (19) solution $u\left(x\right)$ has the relevant regularity properties in ${\mathbb{R}}^3\setminus \Gamma$, satisfying the attached estimates, as follows:

(I) When $f\in C_0^m\left(\mathcal{D}\right)$, it holds that $u\in C^m({\mathbb{R}}^3\setminus \Gamma )$ and the estimate below is valid, for each compact $K\subset {\mathbb{R}}^3\setminus \Gamma$, $\forall \beta :\left|\beta \right|\le m$:

$$\begin{array}{c}\hfill \left|\right|{\partial }_x^{\beta }{u\left|\right|}_{L_1\left(K\right)}\le {\mathbf{C}}_{K,\beta }^0\left|\right|\phi -{\phi }_{\alpha ,f}{\left|\right|}_{H_{\alpha }^1(\Gamma )}+{\mathbf{C}}_K^{\ast }\left|\right|{\partial }_x^{\beta }f{\left|\right|}_{L_1\left(\mathcal{D}\right)};\\ \hfill {\mathbf{C}}_{K,\beta }^0=b_{\alpha ,\Gamma }^{\ast }\sqrt{mes\Gamma }\left|\right|W_{K,\beta }{\left|\right|}_{C^0(\Gamma )},W_{K,\beta }\left(y\right):={\int }_K{\partial }_x^{\beta }{|x-y|}^{\alpha -3}dx.\end{array}$$

(30)

(II) When $f\in L^{\infty }\left(\mathcal{D}\right)\cap {\mathfrak{L}}^{\prime }\left(\mathcal{D}\right)$: $f^0\left[f\right]\in H^s$, for $1<\alpha <3/2$, the inclusion $u\in H_{loc}^s({\mathbb{R}}^3\setminus \Gamma )$ is valid and there exist two constants ${\mathbf{c}}_{\theta ,1}$, ${\mathbf{c}}_{\theta ,2}$ (depending on $\theta$), such that the next estimate is fulfilled, $\forall \theta \in C_0^{\infty }({\mathbb{R}}^3\setminus \Gamma )$:

$${\left|\right|\theta u\left|\right|}_s\le {\mathbf{c}}_{\theta ,1}\left|\right|\phi -{\phi }_{\alpha ,f}{\left|\right|}_{H_{\alpha }^1(\Gamma )}+{\mathbf{c}}_{\theta ,2}\left({\left|\right|f\left|\right|}_{L^{\infty }}+{\left|\right|f\left|\right|}_s\right).$$

(31)

(Above $L^{\infty }=L^{\infty }\left({\mathbb{R}}^3\right)$.)

Proof. 

In both cases (I) and (II) we can clearly and conveniently deal with the short version of (19), i.e., $u=v_{\alpha ,g}+u_{\alpha ,f}$ (with $g=B_{\alpha ,\Gamma }^{-1}\left[{\Delta }_f\phi \right]$). Acting by the operation ${\partial }_x^{\beta }$ on the components $v_{\alpha ,g}$ and $u_{\alpha ,f}$, we, respectively, find that:

$${\partial }_x^{\beta }{v}_{\alpha ,g}\left(x\right)={\int }_{\Gamma }{c}_{3,\alpha }{B}_{\alpha ,\Gamma }^{-1}\left[{\Delta }_f\phi \right]\left(y\right){\partial }_x^{\beta }{|x-y|}^{\alpha -3}d{s}_y,and{\partial }_x^{\beta }{u}_{\alpha ,f}\left(x\right)=\left({\partial }_x^{\beta }f\ast \frac{c_{3,\alpha }}{{|.|}^{3-\alpha }}\right)\left(x\right),$$

for $x\in K$ (K is a compact in ${\mathbb{R}}^3\setminus \Gamma$). The property $u\in C^m({\mathbb{R}}^3\setminus \Gamma )$ now becomes clear. In addition the above expression for ${\partial }_x^{\beta }{v}_{\alpha ,g}$ suggests introducing the function

$$W_{K,\beta }\left(y\right):={\int }_K{\partial }_x^{\beta }{|x-y|}^{\alpha -3}dx.$$

Afterwards, to prove the estimate (30) we only have to follow the steps already used from the proof of (21): the constant ${\mathbf{C}}_{K,\beta }^0$ in (30) is evidently analogous to ${\mathbf{C}}_K^0$ and ${\mathbf{C}}_K^{\ast }$ is from the estimate (21).

Going to the proof of (II), let us multiply the relation $u=v_{\alpha ,g}+u_{\alpha ,f}$ by an arbitrary $\theta \left(x\right)\in C_0^{\infty }({\mathbb{R}}^3\setminus \Gamma )$ and consider next the $H^s$ properties of the terms $\theta v_{\alpha ,g}$, $\theta u_{\alpha ,f}$. According to the Lemma, for the second product we could conclude that $\theta u_{\alpha ,f}\in H^s$ if $u_{\alpha ,f}\in H^s$. However, the former certainly holds for $1<\alpha <3/2$ (under the assumption $f^0\left[f\right]\in H^s$):

$$\left|\right|u_{\alpha ,f}{\left|\right|}_s^2={\left|\right|(1+|\xi )|}^2{)}^s|\widehat{f}{\left(\xi \right)|}^2{\left|\xi \right|}^{-2\alpha }{\left|\right|}_{L_1\left({\mathbb{R}}^3\right)}\le \left|\right|\widehat{f}{\left|\right|}_{C^0\left(\right|\xi |\le 1)}^2{\int }_{\left|\xi \right|\le 1}\frac{2^s}{{\left|\xi \right|}^{2\alpha }}d\xi +{\left|\right|f\left|\right|}_s^2.$$

On the other hand, $\theta v_{\alpha ,g}\in C_0^{\infty }({\mathbb{R}}^3\setminus \Gamma )$, therefore $u\in H_{loc}^s({\mathbb{R}}^3\setminus \Gamma )$. Preparing the final estimate (31), we first specify the above estimate for $\left|\right|u_{\alpha ,f}{\left|\right|}^2$, concerning the term with $\left|\right|\widehat{f}{\left|\right|}_{C^0\left(\right|\xi |\le 1)}^2$, it actually holds that:

$$\left|\right|\widehat{f}{\left|\right|}_{C^0\left(\right|\xi |\le 1)}^2{\int }_{\left|\xi \right|\le 1}\frac{2^s}{{\left|\xi \right|}^{2\alpha }}d\xi \le \frac{2^{s+2}}{3-2\alpha }\pi me{s}^2{K}_f^0{\left|\right|f\left|\right|}_{L^{\infty }}^2.$$

Here $K_f^0=supp\left[f\right]$ (the supporter of f) and $L^{\infty }=L^{\infty }\left({\mathbb{R}}^3\right)$. Consequently, $\left|\right|u_{\alpha ,f}{\left|\right|}_s$ satisfies the inequality

$$\left|\right|u_{\alpha ,f}{\left|\right|}_s\le \left(1+2^{1+s/2}\frac{\sqrt{\pi }}{\sqrt{3-2\alpha }}mes{K}_f^0\right)\left({\left|\right|f\left|\right|}_{L^{\infty }}+{\left|\right|f\left|\right|}_s\right).$$

(32)

Now, by the Lemma 2 we can easily estimate the product $\theta u_{\alpha ,f}$:

$$\left|\right|\theta u_{\alpha ,f}{\left|\right|}_s\le {\mathbf{C}}_{\mathbf{M},\theta }{\mathbf{C}}_f^0\left({\left|\right|f\left|\right|}_{L^{\infty }}+{\left|\right|f\left|\right|}_s\right).$$

(33)

(For ${\mathbf{C}}_{\mathbf{M},\theta }$, ${\mathbf{C}}_f^0$ we respectively have: ${\mathbf{C}}_{\mathbf{M},\theta }:=2^{\left|s\right|/2}{\left(2\pi \right)}^{-3}{\left|\right|(1+|\xi )|}^2{)}^{\left|s\right|/2}\widehat{\theta }\left(\xi \right){\left|\right|}_{L_1}$, with $L_1=L_1\left({\mathbb{R}}^3\right)$, and ${\displaystyle {\mathbf{C}}_f^0=(1+2^{1+s/2}\frac{\sqrt{\pi }}{\sqrt{3-2\alpha }}mes{K}_f^0}$.)

It remains, then, to estimate the product $\theta v_{\alpha ,g}$ ($g=B_{\alpha ,\Gamma }^{-1}[{\Delta }_f,\phi ]$). In order to conveniently express the impact of the boundary data we deal with the norm $\left|\right|\theta v_{\alpha ,g}{\left|\right|}_{\left[s\right]+1}$ (using $\left|\right|\theta v_{\alpha ,g}{\left|\right|}_{\left[s\right]}\le \left|\right|\theta v_{\alpha ,g}{\left|\right|}_{\left[s\right]+1}$, where $\left[s\right]$ is the integer part of s). As known, $\left|\right|\theta v_{\alpha ,g}{\left|\right|}_{\left[s\right]+1}^2$ can be expressed taking the sum of addends like $\left|\right|{\partial }_x^{\beta }\left(\theta v_{\alpha ,g}\right){\left|\right|}_{L_2}^2$, where ${\partial }_x^{\beta }\left(\theta v_{\alpha ,g}\right)\left(x\right)={\int }_{\Gamma }{c}_{3,\alpha }{B}_{\alpha ,\Gamma }^{-1}\left[{\Delta }_f\phi \right]\left(y\right){\partial }_x^{\beta }(\left(\theta v_{\alpha ,g}\right)\left(x\right){|x-y|}^{\alpha -3})d{s}_y$. The Cauchy–Schwartz inequality now yields:

$$|{\partial }_x^{\beta }\left(\theta v_{\alpha ,g}\right){|}^2\le \left|\right|c_{3,\alpha }{B}_{\alpha ,\Gamma }^{-1}\left[{\Delta }_f\phi \right]{\left|\right|}_{L_2(\Gamma )}^2{\int }_{\Gamma }|{\partial }_x^{\beta }(\theta \left(x\right){|x-y|}^{\alpha -3}{\left)\right|}^{2}d{s}_y.$$

(34)

Summarizing the above on all $\beta :\left|\beta \right|=k$, for $k=0,1,\dots \left[s\right]+1$, and taking an integration ${\int }_{{\mathbb{R}}^3}{|\dots |}^{2}dx$ on the relevant terms, we obtain:

$$\left|\right|\theta v_{\alpha ,g}{\left|\right|}_{\left[s\right]+1}^2\le \left|\right|c_{3,\alpha }{B}_{\alpha ,\Gamma }^{-1}\left[{\Delta }_f\phi \right]{\left|\right|}_{L_2(\Gamma )}^2{\int }_{\Gamma }{\left|\right|\theta |.-y|}^{\alpha -3}{\left|\right|}_{\left[s\right]+1}^{2}d{s}_y.$$

(35)

By the notation $W_{\alpha ,\left[s\right]+1}\left[\theta \right]\left(y\right):={\left|\right|\theta |.-y|}^{\alpha -3}{\left|\right|}_{\left[s\right]+1}$ (35) can be evidently rearranged in the next form:

$$\left|\right|\theta v_{\alpha ,g}{\left|\right|}_{\left[s\right]+1}\le b_{\alpha ,\Gamma }^{\ast }\left|\right|W_{\alpha ,\left[s\right]+1}{\left[\theta \right]\left|\right|}_{L_2(\Gamma )}\left|\right|\phi -{\phi }_{\alpha ,f}{\left|\right|}_{H_{\alpha }^1(\Gamma )}.$$

(36)

Finally, from the initial inequality ${\left|\right|\theta u\left|\right|}_s\le \left|\right|\theta v_{\alpha ,g}{\left|\right|}_{\left[s\right]+1}+\left|\right|\theta u_{\alpha ,f}{\left|\right|}_s$, and the sum of (33), (36) we get the expected estimate (31), with ${\mathbf{c}}_{\theta ,1}=b_{\alpha ,\Gamma }^{\ast }\left|\right|W_{\alpha ,\left[s\right]+1}\left[\theta \right]{\left|\right|}_{L_2(\Gamma )}$, ${\mathbf{c}}_{\theta ,2}={\mathbf{C}}_{\mathbf{M},\theta }{\mathbf{C}}_f^0$. Thus, the theorem is proved. □