On the asymptotic expansion of certain plane singular integral operators

Vladimir Vasilyev

doi:10.1186/s13661-017-0847-0

Research
Open Access

On the asymptotic expansion of certain plane singular integral operators

Vladimir Vasilyev¹Email author

Boundary Value Problems20172017:116

https://doi.org/10.1186/s13661-017-0847-0

Received: 12 December 2016
Accepted: 30 July 2017
Published: 15 August 2017

Abstract

We discuss the problem of the asymptotic expansion for some operators in a general theory of pseudo-differential equations on manifolds with borders. Using the distribution theory one obtains certain explicit representations for these operators. These limit distributions are constructed with the help of the Fourier transform, the Dirac mass-function and its derivatives, and the well-known distribution related to the Cauchy type integral.

Keywords

pseudo-differential operator
distribution
singularity
asymptotic expansion

1 Introduction

In the theory of pseudo-differential equations the main difficulty is studying model operators in canonical domains according to a local principle. It shows that for a Fredholm property of a general pseudo-differential operator on a compact manifold one needs the invertibility of its local representatives in each point of a manifold [1, 2]. The author wrote many times on the nature of these local representatives, these are distinct in dependence on a point of a manifold. Each ‘singularity’ of a compact manifold (a half-space is a model situation for the smooth part of a boundary, cone for the conical point, wedge, etc.) corresponds to a certain distribution, and a convolution operator with this distribution describes a local representative of an initial pseudo-differential operator in a corresponding point of the manifold. All details can be found in [3–5]. But singularities can be of distinct dimensions and it is possible that such singularities of a low dimension can be obtained from analogous singularities of full dimension. This means we need to find distributions for limit cases when some of the parameters of the singularities tend to zero. This approach was partially realized in [6, 7], and [5] is devoted to multi-dimensional constructions. Our idea is the following. Limiting operators for thin singularities obtained in [6] may be a zero approximation for such thin singularities. It is desirable to obtain an asymptotic expansion with a small parameter for the distribution corresponding to such a singularity. We will consider here a two-dimensional case and hope these studies will help us to transfer such constructions to multi-dimensional situations [5].

The theory of differential or more generally pseudo-differential equations and boundary value problems for manifolds with non-smooth boundaries includes now a lot of interesting approaches and results.

Other approaches, technical tools and results in the theory of boundary value problems one can find in work of Mazya [8, 9], Plamenevskii [10], Schulze [11], Melrose [12–14], Taylor [15], Nistor [16], Dauge [17], Costabel [18], Mazzeo [19] and many others. We cannot enumerate all authors but in [3] a very large survey of these approaches is given.

The author wrote many times on another approach to studying solvability for pseudo-differential equations in domains with conical points and wedges, but now we would like to speak of the principal difference of our papers from other authors (Maz’ya, Plamenevski, Schulze and many others).

In all papers the conical domain is treated as a direct product of a circle and a half-axis (but in my point of view, it is a cylinder), then they apply the Mellin transform on the half-axis, and the initial problem is reduced to a problem in a domain with a smooth boundary with operator-valued symbol. It follows further it is like the generalization of well-known results on the case of an operator symbol. Of course, our approach is a generalization also, but it is a generalization on dimension space, and the principal difference is that we do not divide the cone, and it is treated as an emergent thing.

For convenience of the reader the theory of the solvability for considered pseudo-differential equations, already known in principle [3, 4], is given in the next section of this paper.

2 Solving pseudo-differential equations

2.1 Model operators and Sobolev-Slobodetskii spaces in a cone

Pseudo-differential operators are locally defined by the well-known formula

$$u(x)\longmapsto \int_{{\mathbf{R}}^{m}} \int_{{\mathbf{R}}^{m}}A(x,\xi )u(y)e^{i(x-y)\cdot\xi}\,d\xi \,dy,\quad x\in{ \mathbf{R}}^{m}, $$

if M is a compact smooth manifold because one can use the ‘freezing coefficients principle’ or, in other words, a ‘local principle’. For a manifold with a smooth boundary we need a new local formula for defining the operator A: more precisely near inner points of M we use the usual formula, but near the boundary points we need another formula:

$$u(x)\longmapsto \int_{{\mathbf{R}}^{m}_{+}} \int_{{\mathbf{R}}^{m}}A(x,\xi )u(y)e^{i(x-y)\cdot\xi}\,d\xi \,dy,\quad x\in{ \mathbf{R}}^{m}_{+}, $$

where ${\mathbf{R}}^{m}_{+}=\{x\in{\mathbf{R}}^{m}: x=(x',x_{m}), x_{m}>0\}$.

For invertibility of such an operator with symbol $A(\cdot,\xi)$ not depending on a spatial variable x one can apply the theory of the classical Riemann boundary value problems for upper and lower complex half-planes with a parameter $\xi'=(\xi_{1},\ldots,\xi_{m-1})$. This step was systematically studied in [2]. But if the boundary ∂M has at least one conical point, this approach is not effective.

A conical point at the boundary is such a point for which its neighborhood is diffeomorphic to the cone $C^{a}_{+}=\{x\in{\mathbf{R}}^{m}: x_{m}>a \vert x' \vert , x'=(x_{1},\ldots,x_{m-1}), a>0\}$, hence a local definition for pseudo-differential operator near the conical point is the following:

$$ u(x)\longmapsto \int_{C^{a}_{+}} \int_{{\mathbf{R}}^{m}}A(x,\xi )u(y)e^{i(x-y)\cdot\xi}\,d\xi \,dy,\quad x\in C^{a}_{+}. $$

(1)

To describe a solvability picture for the model elliptic pseudo-differential equation with the operator (1)

$$ (Au) (x)=v(x),\quad x\in C^{a}_{+}, $$

(2)

with symbol $A(\cdot,\xi)$ non-depending on a spatial variable x in multi-dimensional cone $C^{a}_{+}=\{x\in{\mathbf{R}}^{2}: x_{2}>a \vert x_{1} \vert , a>0\}$ earlier we considered the special singular integral operator [4]

$$(K_{a}u) (x)=\frac{a}{2\pi^{2} }\lim_{\tau\to0+} \int_{{\mathbf {R}}^{2}}\frac{u(y)\,dy}{(x_{1}-y_{1})^{2}-a^{2}(x_{2}-y_{2}+i\tau)^{2}}. $$

This operator served a conical singularity in the general theory of boundary value problems for elliptic pseudo-differential equations on manifolds with a non-smooth boundary. The operator $K_{a}$ is a convolution operator, and the parameter a is the size of an angle, $x_{2}>a \vert x_{1} \vert $, $a=\cot\alpha$.

To study the invertibility property for the operator (1) we have introduced the concept of the wave factorization for an elliptic symbol near a singular boundary point [3, 4] and using this property we have described Fredholm properties for equation (2). We use Sobolev-Slobodetskii spaces for studying these properties.

Definition 1

By definition the Sobolev-Slobodetskii space $H_{s}({\mathbf{R}}^{m})$ consists of distributions u for which their Fourier transforms are locally integrable functions $\tilde{u}(\xi)$ such that

$$ \Vert u \Vert _{s}^{2}= \int_{{\mathbf{R}}^{m}} \bigl\vert \tilde {u}(\xi) \bigr\vert ^{2}\bigl(1+ \vert \xi \vert \bigr)^{2s} \,d\xi< +\infty, \qquad \tilde{u}(\xi)= \int_{{\mathbf{R}}^{m}}u(x)e^{-ix\cdot\xi}\,dx. $$

(3)

We will denote the Fourier image of the space $H_{s}({\mathbf{R}}^{m})$ by $\tilde{H}_{s}({\mathbf{R}}^{m})$. $\tilde{H}_{s}({\mathbf{R}}^{m})$ and, consequently, $H_{s}({\mathbf{R}}^{m})$ are Hilbert spaces with respect to the inner product

$$\langle u,v\rangle_{s}= \int_{{\mathbf{R}}^{m}}\tilde{u}(\xi)\overline{ \tilde{v}(\xi)}\bigl(1+ \vert \xi \vert \bigr)^{2s}\,d\xi, $$

and formula (3) defines the norm in the spaces $H_{s}({\mathbf{R}}^{m})$ and $\tilde{H}_{s}({\mathbf{R}}^{m})$.

If $s=0$ then $\tilde{H}_{0}({\mathbf{R}}^{m})=L_{2}({\mathbf{R}}^{m})$, and by virtue of Plancherel’s theorem $H_{0}({\mathbf{R}}^{m})=F^{-1}\tilde{H}_{0}({\mathbf{R}}^{m})=L_{2}({\mathbf{R}}^{m})$.

In the case $s=n$ ($n>0$, n integer) $H_{n}({\mathbf{R}}^{m})$ consists of functions $u(x)$ that are integrable with their square functions, for which their generalized derivatives $\partial D^{k}u(x)$ under $1\le \vert k \vert \le n$ are integrable with their square functions also. The norm (3) in this case is equivalent to the following norm:

$$\Vert u \Vert _{n}^{2}=\sum _{ \vert k \vert \le n} \int _{{\mathbf{R}}^{m}} \bigl\vert \partial D^{k}u(x) \bigr\vert ^{2}\,dx= \sum_{ \vert k \vert \le n} \frac{1}{(2\pi)^{m}} \int_{{\mathbf{R}}^{m}} \bigl\vert \xi^{k}\tilde{u}(\xi) \bigr\vert ^{2}\,d\xi. $$

In the case $s=-n$, $n>0$, n integer, the distributions from $H_{-n}({\mathbf{R}}^{m})$ are derivatives of functions from $L_{2}({\mathbf{R}}^{m})$ whose order is not higher than n.

By definition, the space $H_{s}(C^{a}_{+})$ consists of distributions from $H_{s}({{\mathbf{R}}}^{m})$, which support belongs to $\overline{C^{a}_{+}}$. The norm in the space $H_{s}(C^{a}_{+})$ is induced by the norm from $H_{s}({\mathbf{R}}^{m})$. The right-hand side v is chosen from the space $H_{s-\alpha}^{0}(C^{a}_{+})$, which is the space of distributions $S'(C^{a}_{+})$, admitting the continuation on $H_{s-\alpha}({\mathbf {R}}^{m})$. The norm in the space $H_{s-\alpha}^{0}(C^{a}_{+})$ is defined

$$\Vert v \Vert ^{+}_{s-\alpha}=\inf \Vert lv \Vert _{s-\alpha}, $$

where the infimum is chosen from all continuations l.

2.2 Wave factorization and solvability

Let us return to equation (2). We will recall some of our preliminary results [3, 4]. The symbol $\stackrel{*}{C^{a}_{+}}$ denotes a conjugate cone for $C^{a}_{+}$:

$$\stackrel{*}{C^{a}_{+}}=\bigl\{ x\in{\mathbf{R}}^{2}: x=(x_{1},x_{2}), ax_{2}> \vert x_{1} \vert \bigr\} , $$

$C^{a}_{-}\equiv-C^{a}_{+}, T(C^{a}_{+})$ denotes a radial tube domain over the cone $C^{a}_{+}$ [20], i.e. the domain in a complex space ${\mathbf{C}}^{2}$ of type ${\mathbf{R}}^{2}+iC^{a}_{+}$.

We consider symbols $A(\xi)$ satisfying the condition

$$c_{1}\leq \bigl\vert A(\xi) \bigl(1+ \vert \xi \vert \bigr)^{-\alpha} \bigr\vert \leq c_{2}, $$

which are elliptic, and the number $\alpha\in{\mathbf{R}}$ is called an order of the operator A.

To describe the solvability picture for equation (2) we use the following.

Definition 2

Wave factorization with respect to the cone $C^{a}_{+}$ for the symbol $A(\xi)$ is called a representation in the form

$$A(\xi)=A_{\neq}(\xi)A_{=}(\xi), $$

where the factors $A_{\neq}(\xi)$, $A_{=}(\xi)$ must satisfy the following conditions:

(1)

$A_{\neq}(\xi)$, $A_{=}(\xi)$ are defined for all admissible values $\xi\in{\mathbf{R}}^{2}$, without maybe the points $\{\xi\in {\mathbf{R}}^{2}: \vert \xi_{1} \vert ^{2}=a^{2}\xi^{2}_{2}\}$;
(2)

$A_{\neq}(\xi)$, $A_{=}(\xi)$ admit an analytical continuation into radial tube domains $T(\stackrel{*}{C^{a}_{+}})$, $T(\stackrel{*}{C^{a}_{-}})$, respectively, with estimates
$$\begin{gathered} \bigl\vert A_{\neq}^{\pm1}(\xi+i \tau) \bigr\vert \leq c_{1}\bigl(1+ \vert \xi \vert + \vert \tau \vert \bigr)^{\pm\kappa}, \\ \bigl\vert A_{=}^{\pm1}(\xi-i\tau) \bigr\vert \leq c_{2}\bigl(1+ \vert \xi \vert + \vert \tau \vert \bigr)^{\pm(\alpha-\kappa)}, \forall \tau\in\stackrel{*}{C^{a}_{+}}. \end{gathered} $$

The number $\kappa\in{\mathbf{R}}$ is called the index of the wave factorization.

For $\vert \kappa-s \vert <1/2$ one has the existence and uniqueness theorem [3]. For this purpose we need a certain lemma.

Lemma 1

Let functions $B_{\ne}(\xi+i\tau)$, $B_{=}(\xi+i\tau)$ be analytical in $T(\stackrel{*}{C^{a}_{+}})$ and $T(\stackrel{*}{C^{a}_{-}})$ and satisfy the estimates

$$\begin{gathered} \bigl\vert B_{\ne}(\xi+i\tau) \bigr\vert \le c_{1}\bigl(1+ \vert \xi \vert + \vert \tau \vert \bigr)^{\alpha},\quad \tau\in\stackrel{*}{C^{a}_{+}}, \\ \bigl\vert B_{=}(\xi+i\tau) \bigr\vert \le c_{2}\bigl(1+ \vert \xi \vert + \vert \tau \vert \bigr)^{\alpha},\quad \tau\in\stackrel{*}{C^{a}_{-}}. \end{gathered} $$

Then the multiplication operator by the function $B_{\ne}(\xi)$ boundedly acts from space $\tilde{H}_{s}(C_{+}^{a})$ into $\tilde{H}_{s-\alpha}(C_{+}^{a})$, and the multiplication operator by the function $B_{=}(\xi)$ from space $\tilde{H}_{s}({\mathbf{R}}^{2}\setminus\overline{C_{+}^{a}})$ into space $\tilde{H}_{s-\alpha}({\mathbf{R}}^{2}\setminus\overline{C_{+}^{a}})$.

Proof

The fact that multiplication operators by functions $B_{\ne}(\xi)$, $B_{=}(\xi)$ boundedly act from spaces $\tilde{H}_{s}(C_{+}^{a})$, $\tilde{H}_{s}({\mathbf{R}}^{2}\setminus\overline{C_{+}^{a}})$ into space $\tilde{H}_{s-\alpha}({\mathbf{R}}^{2})$ is well known [2]. For clarity we denote $u\in\tilde{H}_{s}(C_{+}^{a})$ by $u_{+}$ and $u\in\tilde{H}_{s}({\mathbf{R}}^{2}\setminus\overline{C_{+}^{a}})$ by $u_{-}$. Let us show that $B_{\ne}(\xi)\tilde{u}_{+}(\xi)\in\tilde{H}_{s-\alpha}(C_{+}^{a})$ for any $\tilde{u}_{+}\in\tilde{H}_{s}(C_{+}^{a})$.

The space $\tilde{H}_{s}(C_{+}^{a})$ has an explicit description [3]: $\tilde{u}_{+}\in\tilde{H}_{s}(C_{+}^{a})$ if and only if $\tilde{u}_{+}(\xi+i\tau)$ is analytical in $T(\stackrel{*}{C^{a}_{+}})$ and the quantity

$$\sup \int_{{\mathbf{R}}^{2}} \bigl\vert \tilde{u}_{+}(\xi+i\tau) \bigr\vert ^{2}\bigl(1+ \vert \xi \vert \bigr)^{2s}\,d\xi,\quad \tau \in\stackrel{*}{C^{a}_{+}}, $$

is finite and coincides with

$$\int_{{\mathbf{R}}^{2}} \bigl\vert \tilde{u}_{+}(\xi) \bigr\vert ^{2}\bigl(1+ \vert \xi \vert \bigr)^{2s}\,d\xi. $$

Then evidently, $B_{\ne}(\xi+i\tau)\tilde{u}_{+}(\xi+i\tau)$ is analytical in $T(\stackrel{*}{C^{a}_{+}})$ and

$$\begin{gathered} \sup_{\tau\in\stackrel{*}{C^{a}_{+}}} \int_{{\mathbf{R}}^{2}} \bigl\vert B_{\ne}(\xi+i\tau)\tilde{u}_{+}( \xi+i\tau) \bigr\vert ^{2} \bigl(1+ \vert \xi \vert \bigr)^{2(s-\alpha)}\,d\xi \\ \quad = \int_{{\mathbf{R}}^{2}} \bigl\vert B_{\ne}(\xi)\tilde{u}_{+}(\xi) \bigr\vert ^{2} \bigl(1+ \vert \xi \vert \bigr)^{2(s-\alpha)}\,d \xi\le c \int_{{\mathbf{R}}^{2}} \bigl\vert \tilde{u}(\xi) \bigr\vert ^{2} \bigl(1+ \vert \xi \vert \bigr)^{2s}\,d\xi, \end{gathered} $$

i.e., $B_{\ne}(\xi)\tilde{u}_{+}(\xi)\in\tilde{H}_{s-\alpha }(C_{+}^{a})$.¹

Now let us consider $B_{=}(\xi)\tilde{u}_{-}(\xi)$. Let at first $u_{-}\in C_{0}^{\infty}({\mathbf{R}}^{2}\setminus\overline{C_{+}^{a}})$. Of course $F^{-1}B_{=}\equiv b$ exists in the distribution sense and $\operatorname{supp} b\subset-\overline{C_{+}^{a}}$, as above. Then $F^{-1}(B_{=}\tilde{u}_{-})=b*u_{-}$. By the definition of a convolution

$$(b*u_{-}) (x)= \bigl(b(y),\overline{u_{-}(x-y)} \bigr), $$

where $\overline{u_{-}(x-y)}$ is considered as a function on y (x is fixed), and notation $b(y)$ means that functional b acts on y, a variable. Let us show that $(b*u_{-})(x)=0$ under $x\in C_{+}^{a}$. Consider two cases: $y\in-C_{+}^{a}$ and $y\notin-C_{+}^{a}$. In the first case $x-y\in C_{+}^{a}$ and, thus $u_{-}(x-y)=0$ because $\operatorname{supp} u_{-}(x-y)\subset{\mathbf {R}}^{2}\setminus C_{+}^{a}$. In the second case $(b*u_{-})$ vanishes because $y\notin\operatorname{supp} b$.

Transfer to the general case $u_{-}\in H_{s}({\mathbf{R}}^{2}\setminus\overline{C_{+}^{a}})$ is realized by virtue of the density of class $C_{0}^{\infty}({\mathbf{R}}^{2}\setminus \overline{C_{+}^{a}})$ in space $H_{s}({\mathbf{R}}^{2}\setminus\overline{C_{+}^{a}})$.

So, it was shown that $B_{=}(\xi)\tilde{u}_{-}(\xi)\in\tilde{H}_{s-\alpha }({\mathbf{R}}^{2})$ and $\operatorname{supp} F^{-1}(B_{=}\tilde{u}_{-})\subset ({\mathbf{R}}^{2}\setminus C_{+}^{a})$. Hence, $B_{=}(\xi)\tilde{u}_{-}(\xi)\in\tilde{H}_{s-\alpha}({\mathbf{R}}^{2}\setminus \overline{C_{+}^{a}})$. □

As above we use the notation $u_{+}$ for the function $u\in H_{s}(C^{a}_{+})$.

Theorem 1

If the elliptic symbol $A(\xi)$ admits wave factorization with respect to the cone $C^{a}_{+}$ and $\vert \kappa-s \vert <1/2$, then equation (2) has a unique solution $u_{+}\in H_{s}(C^{a}_{+})$ for an arbitrary right-hand side $v\in H^{0}_{s-\alpha}(C^{a}_{+})$,

$$\widetilde{u}_{+}(\xi)=A_{\neq}^{-1}(\xi) (K_{a} \widetilde{lv}) (\xi), $$

where lv is an arbitrary continuation of v on the whole $H_{s-\alpha }({\mathbf{R}}^{2})$.

A priori estimate holds:

$$\Vert u_{+} \Vert _{s}\le c \Vert v \Vert _{s-\alpha}^{+}. $$

Proof

We give here this proof to explain the appearance of the operator $K_{a}$ because it plays a crucial role in our studies.

Let us denote

$$ u_{-}=lv-Au_{+}. $$

(4)

Taking into account wave factorization after applying to (4) the Fourier transform we have

$$A_{\ne}(\xi)\tilde{u}_{+}(\xi)+ A_{=}^{-1}(\xi)\tilde{u}_{-}(\xi)= A_{=}^{-1}(\xi)\tilde{lv}(\xi). $$

According to the properties of wave factorization elements $A_{\ne}(\xi)$, $A_{=}(\xi)$ we have $A_{\ne}(\xi)\tilde{u}_{+}(\xi)\in\tilde{H}_{s-\kappa}(C_{+}^{a})$, $A_{=}^{-1}(\xi)\tilde{u}_{-}(\xi)\in\tilde{H}_{s-\kappa} ({\mathbf{R}}^{2}\setminus\overline{C_{+}^{a}})$ (because $\tilde{u}_{-}\in\tilde{H}_{s-\alpha} ({\mathbf{R}}^{2}\setminus\overline{C_{+}^{a}})$), $A_{=}^{-1}(\xi)\tilde{lv}(\xi)\in\tilde{H}_{s-\kappa}({\mathbf{R}}^{2})$, where κ is index of wave factorization. Since $\vert s-\kappa \vert <1/2$, $\tilde{H}_{s-\kappa}({\mathbf {R}}^{2})$ admits a unique representation as a sum of two orthogonal subspaces $\tilde{H}_{s-\kappa}(C_{+}^{a})$ and $\tilde{H}_{s-\kappa} ({\mathbf{R}}^{2}\setminus\overline{C_{+}^{a}})$ [3] so that

$$A_{\ne}\tilde{u}_{+}=K_{a}A_{=}^{-1}\tilde{lv}, $$

and it implies

$$\tilde{u}_{+}=A_{\ne}^{-1}K_{a}A_{=}^{-1} \tilde{lv}. $$

A priori estimate is

$$\begin{aligned} \Vert u_{+} \Vert _{s}&= \Vert \tilde{u}_{+} \Vert _{s}\le c \bigl\Vert K_{a}A_{=}^{-1}\tilde{lv} \bigr\Vert _{s-\kappa} \\ &\le c \bigl\Vert A_{=}^{-1}\tilde{lv} \bigr\Vert _{s-\kappa}\le c \Vert \tilde{lv} \Vert _{s-\kappa} \\ &=c \Vert \tilde{lv} \Vert _{s-\alpha}\le c \Vert v \Vert _{s-\alpha}^{+}, \end{aligned} $$

taking into account boundedness of operator $K_{a}$ in $\tilde{H}_{s}({\mathbf{R}}^{2})$ for $\vert s \vert <1/2$ and boundedness of continuation operator l [3]. □

Remark 1

If $\vert \kappa-s \vert >1/2$ there are additional conditions or solvability conditions for the right-hand side to obtain a unique solvability for equation (2) in appropriate Sobolev-Slobodetskii spaces [3].

3 An initial approximation

The operator $K_{a}$ can be treated as a convolution operator with the following distribution:

$$\frac{a}{2\pi^{2} } \frac{1}{\xi_{1}^{2} -a^{2} \xi_{2}^{2} }, $$

and starting from this assertion we will work with this distribution taking into account its relationship with the operator $K_{a}$.

We will consider two spaces of basic functions for distributions. If $D({\mathbf{R}}^{2})$ denotes a space of infinitely differentiable functions with a compact support then $D'({\mathbf{R}}^{2})$ is the corresponding space of distributions over the space $D({\mathbf {R}}^{2})$; analogously if $S({\mathbf{R}}^{2})$ is the Schwartz space of functions infinitely differentiable rapidly decreasing at infinity, then $S'({\mathbf{R}}^{2})$ is a corresponding space of distributions over $S({\mathbf{R}}^{2})$.

When $a\to+\infty$ one obtains [6] the following limit distribution:

$$ \lim_{a\to\infty} \frac{a}{2\pi^{2} } \frac{1}{\xi_{1}^{2} -a^{2} \xi_{2}^{2} } =\frac{i}{2\pi} {\mathcal {P}} \frac{1}{\xi_{1} } \otimes\delta ( \xi_{2} ), $$

(5)

where the notation for distribution $\mathcal {P}$ is taken from Vladimirov’s work [20, 21], and ⊗ denotes the direct product of distributions. Here δ denotes one-dimensional Dirac mass-function, which acts on $\varphi\in D({\mathbf{R}})$ in the following way:

$$(\delta, \varphi)=\varphi(0), $$

and the distribution $\mathcal {P}\frac{1}{x}$ is defined by the formula

$$\biggl(\mathcal {P}\frac{1}{x}, \varphi\biggr)=\operatorname{v.p.} \int_{-\infty}^{+\infty}\frac {\varphi(x)\,dx}{x}\equiv\lim _{\varepsilon\to0+} \biggl( \int_{-\infty }^{-\varepsilon}+ \int_{\varepsilon}^{+\infty} \biggr)\frac{\varphi(x)\,dx}{x}. $$

Let us note that the distribution (5) corresponds to the operator (see, for example [2])

$$u(\xi)\longmapsto\frac{i}{2\pi}\operatorname{v.p.} \int_{-\infty}^{+\infty}\frac{u(\eta _{1},\xi_{2})\,d\eta_{1}}{\xi_{1}-\eta_{1}}. $$

Our main goal in this paper is obtaining an asymptotical expansion for the two-dimensional distribution

$$K_{a}(\xi_{1},\xi_{2})\equiv\frac{a}{2\pi^{2} } \frac{1}{\xi_{1}^{2} -a^{2} \xi_{2}^{2} } $$

with respect to small $a^{-1}$. It is defined by the corresponding formula $\forall\varphi\in D({\mathbf{R}}^{2})$

$$ (K_{a}, \varphi)=\frac{a}{2\pi^{2} } \int_{{\mathbf{R}}^{2}}\frac{\varphi (\xi_{1},\xi_{2})\,d\xi}{\xi_{1}^{2} -a^{2} \xi_{2}^{2} }. $$

(6)

4 A decomposition formula for distributions

We will use the standard Maclaurin formula

$$\varphi(\xi_{1},\xi_{2})=\sum_{k=0}^{\infty} \frac{\varphi^{(k)}_{\xi_{2}}(\xi _{1},0)}{k!}\xi_{2}^{k} $$

and make the change of a variable $a\xi_{2}=t$, $a^{-1}=b$, then formula (6) will become

$$(K_{a}, \varphi)=\frac{1}{2\pi^{2} } \int_{{\mathbf{R}}^{2}}\frac{\varphi (\xi_{1},bt)\,d\xi_{1}\,dt}{\xi_{1}^{2} -t^{2} }. $$

Remark 2

In [6] the author has considered the two cases $a\to\infty$ and $a\to0$; the first case corresponds to a zero angle but the second one corresponds to a half-space; the last was done for a comparison with [2]. Since the half-space case is studied in [2] in detail we do not stop in this here.

Then we represent ${\mathbf{R}}^{2}=M\cup({\mathbf{R}}^{2}\setminus M)$ where M is a square with a line size N, so we have

$$ (K_{a}, \varphi)=\frac{1}{2\pi^{2} } \biggl( \int_{M}+ \int_{{\mathbf {R}}^{2}\setminus M} \biggr)\frac{\varphi(\xi_{1},bt)\,d\xi_{1}\,dt}{\xi_{1}^{2} -t^{2} } . $$

(7)

4.1 A rough decomposition

Let us consider here $\varphi\in D({\mathbf{R}}^{2})$. Since the support of φ is a compact set we have one summand in formula (7); therefore we might work with the formula

$$\frac{1}{2\pi^{2} } \int_{{\mathbf{R}}^{2}}\frac{\varphi(\xi_{1},bt)\,d\xi _{1}\,dt}{\xi_{1}^{2} -t^{2} } $$

immediately.

More naturally it will be to proceed in the following way using a Maclaurin series:

$$(K_{a}, \varphi)=\frac{1}{2\pi^{2} }\sum_{k=0}^{\infty} \frac{1}{k!} \int _{{\mathbf{R}}^{2}} \frac{\varphi^{(k)}_{\xi_{2}}(\xi_{1},0)b^{k}t^{k}\,d\xi_{1}\,dt}{\xi_{1}^{2}-t^{2}}. $$

If t varies in a line segment then $bt\sim b$, $b\to0$, and we can use the following formal representations [7]:

$$K_{a}(\xi_{1},\xi_{2})=\frac{i}{2\pi}\sum _{n=0}^{+\infty}\frac {(-1)^{n}}{n!a^{n}}{\mathcal {P}} \frac{1}{\xi_{1}}\otimes\delta^{(n)}(\xi_{2}). $$

4.2 A sharp decomposition

Here we consider $\varphi\in S({\mathbf{R}}^{2})$.

A formal use of the Maclaurin formula for the first integral in (7) will lead to the following result:

$$ (K_{a}, \varphi)=\frac{1}{2\pi^{2} }\sum _{k=0}^{\infty}\frac{b^{k}}{k!} \int _{-N}^{+N}\varphi^{(k)}_{\xi_{2}}( \xi_{1},0) \biggl( \int_{-N}^{+N}\frac{t^{k}\,dt}{\xi_{1}^{2}-t^{2}} \biggr)\,d \xi_{1}, $$

(8)

and we need to give a certain meaning to the expression in brackets.

Let us denote

$$T_{k,N}(\xi_{1})\equiv \int_{-N}^{+N}\frac{t^{k}\,dt}{\xi_{1}^{2}-t^{2}} $$

and reproduce some calculations.

First $T_{k,N}(\xi_{1})\equiv0$, $\forall k=2n-1$, $n\in{\mathbf{N}}$. So the non-trivial case is $k=2n$, $n\in{\mathbf{N}}$. Let us recall $T_{0,\infty}(\xi_{1})=\pi i2^{-1}\xi_{1}^{-1}$ [6, 7]. For other cases we can calculate this integral so we have the following:

$k=2$,

$$T_{2,N}(\xi_{1})=-2N-2^{-1}\xi_{1}^{-1} \ln\frac{N-\xi_{1}}{N+\xi_{1}}+\pi i2^{-1}\xi_{1}^{-1}; $$

$k=4$,

$$T_{4,N}(\xi_{1})=-2/3N^{3}-2\xi_{1}^{2}N-2^{-1} \xi_{1}^{3}\ln\frac{N-\xi_{1}}{N+\xi _{1}}+\pi i2^{-1} \xi_{1}^{3}; $$

$k=6$,

$$T_{6,N}(\xi_{1})=-2/5N^{5}-2/3 \xi_{1}^{2}N^{3}-2\xi_{1}^{5}N-2^{-1} \xi_{1}^{5}\ln\frac {N-\xi_{1}}{N+\xi_{1}}+\pi i2^{-1} \xi_{1}^{5}, $$

and so on. One can easily write all expressions for arbitrary $T_{2n,N}(\xi_{1})$.

In general one can write

$$T_{2n,N}(\xi_{1})=P_{2n-1}(N,\xi_{1})-2^{-1} \xi_{1}^{2n-1}\ln\frac{N-\xi _{1}}{N+\xi_{1}}+\pi i2^{-1} \xi_{1}^{2n-1}, $$

where $P_{2n-1}(N,\xi_{1})$ is a certain polynomial of order $2n-1$ on variables $N,\xi_{1}$.

Therefore instead of formula (8) we can write

$$ \begin{aligned}[b] (K_{a}, \varphi)&=\frac{i}{2\pi} \biggl(\mathcal {P}\frac{1}{\xi_{1}}\otimes\delta(\xi _{2}),\varphi \biggr) \\ &\quad {}+ \frac{1}{2\pi^{2} }\sum_{n=1}^{\infty} \frac{b^{2n}}{{(2n)}!} \int _{-N}^{+N}\varphi^{(2n)}_{\xi_{2}}( \xi_{1},0) \\ &\quad {}\times \biggl(P_{2n-1}(N,\xi_{1})-2^{-1} \xi_{1}^{2n-1}\ln\frac{N-\xi_{1}}{N+\xi _{1}}+\pi i2^{-1} \xi_{1}^{2n-1} \biggr)\,d\xi_{1}. \end{aligned} $$

(9)

Let us describe the polynomial $P_{2n-1}(N,\xi_{1})$ more precisely. Obviously

$$P_{2n-1}(N,\xi_{1})=c_{2n-1}N^{2n-1}+c_{2n-3}N^{2n-3} \xi_{1}^{2}+\cdots +c_{1}N\xi_{1}^{2n-1}. $$

Further we rewrite the equality (9) in the following form:

$$\begin{aligned} (K_{a}, \varphi)&=\frac{i}{2\pi}\biggl(\mathcal {P} \frac{1}{\xi_{1}}\otimes\delta(\xi _{2}),\varphi\biggr) \\ &\quad {}+\frac{1}{2\pi^{2} }\sum_{n=1}^{\infty} \frac{b^{2n}}{{(2n)}!}\sum_{k=1}^{n}c_{2k-1}N^{2k-1} \int_{-N}^{+N}\varphi^{(2n)}_{\xi_{2}}( \xi_{1},0)\xi _{1}^{2k-1}\,d\xi_{1} \\ &\quad {}-\frac{1}{4\pi^{2} }\sum_{n=1}^{\infty} \frac{b^{2n}}{{(2n)}!} \int _{-N}^{+N}\varphi^{(2n)}_{\xi_{2}}( \xi_{1},0)\xi_{1}^{2n-1}\ln\frac{N-\xi _{1}}{N+\xi_{1}}\,d \xi_{1} \\ &\quad {}+\frac{i}{4\pi }\sum_{n=1}^{\infty} \frac {b^{2n}}{{(2n)}!} \int_{-N}^{+N}\varphi^{(2n)}_{\xi_{2}}( \xi_{1},0)\xi _{1}^{2n-1}\,d\xi_{1}. \end{aligned} $$

We will start from two last summands. The second summand does not play any role because

$$\lim_{N\to+\infty}\ln\frac{N-\xi_{1}}{N+\xi_{1}}=0. $$

The third summand we will represent according to Lemma 2 (see below) taking into account that we can pass to the limit under $N\to+\infty$,

$$\frac{i}{4\pi }\sum_{n=1}^{\infty} \frac{b^{2n}}{{(2n)}!}\bigl(\widetilde {\delta^{(2n-1)}}(\xi_{1}) \otimes\delta^{(2n)}(\xi_{2}), \varphi\bigr). $$

For the first summand we consider separately the case $Nb\sim1$ ($N\to \infty$, $b\to0$). In other words we consider a special limit to justify the decomposition. Then

$$\begin{gathered} \frac{1}{2\pi^{2} }\sum_{n=1}^{\infty} \frac{b^{2n}}{{(2n)}!}\sum_{k=1}^{n}c_{2k-1}N^{2k-1} \int_{-N}^{+N}\varphi^{(2n)}_{\xi_{2}}( \xi_{1},0)\xi _{1}^{2k-1}\,d\xi_{1} \\ \quad \sim \frac{1}{2\pi^{2} }\sum_{n=1}^{\infty} \frac{1}{{(2n)}!}\sum_{k=1}^{n}c_{2k-1}b^{2n-2k+1} \int_{-\infty}^{+\infty}\varphi^{(2n)}_{\xi _{2}}( \xi_{1},0)\xi_{1}^{2k-1}\,d\xi_{1}. \end{gathered} $$

Therefore

$$\begin{gathered} \frac{1}{2\pi^{2} }\sum_{n=1}^{\infty} \frac{1}{{(2n)}!}\sum_{k=1}^{n}c_{2k-1}b^{2n-2k+1} \int_{-\infty}^{+\infty}\varphi^{(2n)}_{\xi _{2}}( \xi_{1},0)\xi_{1}^{2k-1}\,d\xi_{1} \\ \quad =\frac{1}{2\pi^{2} }\sum_{n=1}^{\infty} \frac{1}{{(2n)}!}\sum_{k=1}^{n}c_{2k-1}b^{2n-2k+1} \bigl(\widetilde{\delta^{(2k-1)}}(\xi_{1})\otimes \delta^{(2n)}(\xi_{2}), \varphi\bigr). \end{gathered} $$

One can note if desirable

$$c_{2k-1}=-2\biggl(1+\frac{1}{3}+\cdots+\frac{1}{2k-1}\biggr). $$

5 A local behavior of a boundary operator

Lemma 2

If a distribution a acts on the function $\varphi\in S({\mathbf {R}})$ in the following way:

$$(a,\varphi)= \int_{-\infty}^{+\infty}\xi^{k}\varphi(\xi)\,d\xi, $$

then this distribution a is the following:

$$a(\xi)=\widetilde{\delta^{(k)}}(\xi), $$

where the sign ∼ means here the inverse Fourier transform $F^{-1}$.

Proof

Indeed, we have $F\delta={\mathbf{1}}$, where 1 is an identity in a distribution sense so that $F^{-1}{\mathbf {1}}=\delta$. Since

$$\bigl(F\bigl(\varphi^{(k)}\bigr)\bigr) (\xi)=(-1)^{k} \xi^{k}\tilde{\varphi}(\xi), $$

denoting $\psi=F^{-1}\varphi$ we write

$$\begin{aligned} (a,\varphi)&=(a,F\psi)= \int_{-\infty}^{+\infty}\xi^{k}\widetilde{\psi}(\xi ) \,d\xi=\bigl({\mathbf{1}}, \xi^{k}\widetilde{\psi}(\xi)\bigr)=\bigl({ \mathbf{1}},FF^{-1}\bigl(\xi _{k}\widetilde{\psi}(\xi)\bigr) \bigr) \\ &=\bigl(F{\mathbf{1}},F^{-1}\bigl(\xi_{k}\widetilde{\psi}(\xi) \bigr)\bigr)=\bigl(F{\mathbf {1}},(-1)^{k}\psi^{(k)}(x)\bigr)= \bigl(\delta,(-1)^{k}\psi^{(k)}(x)\bigr) \\ &=\bigl(\delta^{(k)},\psi\bigr)=\bigl(\delta^{(k)},F^{-1} \varphi\bigr)=\bigl(F^{-1}\delta ^{(k)},\varphi\bigr), \end{aligned} $$

so we have the required identity. □

Theorem 2

The following formula:

$$K_{a}(\xi_{1},\xi_{2})=\frac{i}{2\pi}\mathcal {P}\frac{1}{\xi_{1}}\otimes\delta (\xi_{2})+\sum _{m,n}c_{m,n}(a)\widetilde{\delta^{(m)}}( \xi_{1})\otimes\delta ^{(n)}(\xi_{2}), $$

where $c_{m,n}(a)\to0$, $a\to+\infty$, holds in a distribution sense.

Proof

Returning to formula (8) and using calculations $T_{k,N}(\xi_{1})$ and Lemma 2 we obtain the required assertion. □

Remark 3

One can easily reconstruct the coefficients $c_{m,n}(a)$ starting from the above calculations.

6 Towards a pseudo-differential equation

Let us return to equation (2). For $\vert \kappa-s \vert <1/2$ one has the existence and uniqueness theorem [3]

$$\widetilde{u}(\xi)=A_{\neq}^{-1}(\xi) (K_{a} \widetilde{lv}) (\xi), $$

where lv is an arbitrary continuation of v on the whole $H_{s}({\mathbf{R}}^{2})$.

Below we denote $lv\equiv V$.

Theorem 3

If the symbol $A(\xi)$ admits the wave factorization with respect to the cone $C^{a}_{+}$ and $\vert \kappa-s \vert <1/2$ then equation (2) has a unique solution in the space $H^{s}(C^{a}_{+})$, and for the large ‘a’ it can be represented in the form

$$ \begin{aligned}[b] \widetilde{u}(\xi)&=\frac{i}{2\pi}A_{\neq}^{-1}(\xi)\operatorname{v.p.} \int_{-\infty }^{+\infty}\frac{(A_{=}^{-1}\widetilde{V})(\eta_{1},\xi_{2})\,d\eta_{1}}{\xi _{1}-\eta_{1}} \\ &\quad {}+ A_{\neq}^{-1}(\xi)\sum _{m,n}c_{m,n}(a) \int_{-\infty}^{+\infty}(\xi _{1}- \eta_{1})^{m}\bigl(A_{=}^{-1}\widetilde{V}\bigr)^{(n)}_{\xi_{2}}(\eta_{1},\xi_{2})\,d \eta_{1} \end{aligned} $$

(10)

assuming $\widetilde{V}\in S({\mathbf{R}}^{2}), A_{=}^{-1}\widetilde{V}$ means the function $A_{=}^{-1}(\xi)\widetilde{V}(\xi)$.

Proof

We need to apply Theorem 2 and to recall correlations between distributions and pseudo-differential operators. It proves the theorem. □

Remark 4

The reader can easily write an analog of Theorem 3 corresponding to a rough decomposition.

7 Conclusion

It was shown that the solution of equation (2) for a smooth enough right-hand side v can be represented in the form (10). It shows that in this series the first summand belongs to the space $H_{s}(C^{a}_{+})$ only. Secondary summands can be useful for certain special situations related to some additional properties of the right-hand side v.

Footnotes

1

The first equality is proved by Vladimirov [20, 21] in his studies of analytic functions in radial tube domains.

Declarations

Acknowledgements

The author thanks the anonymous referee for making several helpful corrections and suggestions.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)

Chair of Differential Equations, Belgorod National Research University, Studencheskaya 14/1, Belgorod, 308007, Russia

References

Milkhin, S, Prößdorf, S: Singular Integral Operators. Akademie Verlag, Berlin (1986) Google Scholar
Eskin, G: Boundary Value Problems for Elliptic Pseudodifferential Equations. Am. Math. Soc., Providence (1981) MATHGoogle Scholar
Vasil’ev, VB: Wave Factorization of Elliptic Symbols: Theory and Applications. Kluwer Academic, Dordrecht (2000) View ArticleMATHGoogle Scholar
Vasilyev, VB: Elliptic equations and boundary value problems in non-smooth domains. In: Rodino, L, Wong, MW, Zhu, HT (eds.) Pseudo Differential Operators: Analysis, Applications and Computations. Ball, JA, Dym, H, Kaashoek, MA, Langer, H, Tretter, C (series eds.) Operator Theory: Advances and Applications, vol. 213, pp. 105-121. Birkhäuser, Basel (2011) View ArticleGoogle Scholar
Vasilyev, VB: New constructions in the theory of elliptic boundary value problems. In: Constanda, C, Kirsch, A (eds.) Integral Methods in Science and Engineering. Theoretical and Computational Advances, pp. 629-641. Birkhäuser, Basel (2015) View ArticleGoogle Scholar
Vasilyev, VB: Asymptotical analysis of singularities for pseudo differential equations in canonical non-smooth domains. In: Constanda, C, Harris, PE (eds.) Integral Methods in Science and Engineering. Computational and Analytic Aspects, pp. 379-390. Birkhäuser, Boston (2011) Google Scholar
Vasilyev, VB: Some problems of pseudo-differential operators theory. Mat. Visn. Nauk. Tov. Im. Shevchenka 10, 219-226 (2013) MATHGoogle Scholar
Kozlov, VA, Mazya, VG, Rossmann, J: Elliptic Boundary Value Problems in Domains with Point Singularities. Am. Math. Soc., Providence (1997) Google Scholar
Mazya, V, Rossmann, J: Elliptic Equations in Polyhedral Domains. Am. Math. Soc., Providence (2010) View ArticleMATHGoogle Scholar
Plamenevskii, B: Solvability of algebras of pseudodifferential operators with piecewise smooth coefficients on smooth manifolds. St. Petersburg Math. J. 21, 317-351 (2010) MathSciNetView ArticleMATHGoogle Scholar
Schulze, B-W: Pseudo-Differential Boundary Value Problems, Conical Singularities and Asymptotics. Akademie Verlag, Berlin (1994) MATHGoogle Scholar
Melrose, RB: Pseudodofferential operators, corners and singular limits. In: Satake, I (ed.) Proceedings of the International Congress of Mathematicians, Kyoto, Japan, 21-29 August 1990, pp. 217-234. Springer, Berlin (1991) Google Scholar
Melrose, RB, Piazza, P: Analytic k-theory on manifolds with corners. Adv. Math. 92, 1-26 (1992) MathSciNetView ArticleMATHGoogle Scholar
Kottke, C, Melrose, RB: Generalized blow-up of corners and fiber products. Trans. Am. Math. Soc. 367, 651-705 (2015) MathSciNetView ArticleMATHGoogle Scholar
Hofmann, S, Mitrea, M, Taylor, ME: Symbol calculus for operators of layer potential type on Lipschitz surfaces with vmo normals, and related pseudodifferential operator calculus. Anal. PDE 8, 115-181 (2015) MathSciNetView ArticleMATHGoogle Scholar
Mazzurato, A, Nistor, V: Well-posedness and regularity for the elasticity equation with mixed boundary conditions on polyhedral domains and domains with cracks. Arch. Ration. Mech. Anal. 195, 25-73 (2010) MathSciNetView ArticleMATHGoogle Scholar
Costabel, M, Dauge, M, Nicaise, S: Analytic regularity for linear elliptic systems in polygons and polyhedra. Math. Models Methods Appl. Sci. 22, 1250015 (2012) MathSciNetView ArticleMATHGoogle Scholar
Costabel, M, Dauge, M, Nicaise, S: Singularities of eddy current problems. ESAIM: Math. Model. Numer. Anal. 37, 807-831 (2003) MathSciNetView ArticleMATHGoogle Scholar
Mazzeo, R, Melrose, RB: Pseudodifferential operators on manifolds with fibred boundaries. Asian J. Math. 2, 833-866 (1998) MathSciNetView ArticleMATHGoogle Scholar
Vladimirov, VS: Equations of Mathematical Physics. Dekker, New York (1971) MATHGoogle Scholar
Vladimirov, VS: Methods of the Theory of Generalized Functions. Taylor & Francis, London (2002) MATHGoogle Scholar