On Solvability Conditions for a Certain Conjugation Problem

: We study a certain conjugation problem for a pair of elliptic pseudo-differential equations with homogeneous symbols inside and outside of a plane sector. The solution is sought in corresponding Sobolev–Slobodetskii spaces. Using the wave factorization concept for elliptic symbols, we derive a general solution of the conjugation problem. Adding some complementary conditions, we obtain a system of linear integral equations. If the symbols are homogeneous, then we can apply the Mellin transform to such a system to reduce it to a system of linear algebraic equations with respect to unknown functions.


Introduction
The theory of pseudo-differential equations on manifolds with a smooth boundary was systematically developed, starting from the papers of M.I. Vishik and G.I. Eskin [1,2] in the middle of the last century. After this start, L. Boutet de Monvel [3] published a paper in which he suggested an algebraic variant of the theory, including the index theorem. These studies were continued and refined by S. Rempel and B.-W. Schulze [4], and then such results have became useful for situations of manifolds with non-smooth boundaries [5][6][7].
The first author has started to develop a new approach for non-smooth situations in the middle of the last century [8], and general concepts of the approach are presented in the book and latest papers [9][10][11]. This paper is related to this approach, and it is devoted to some generalizations of classical results for the Riemann boundary value problem [12,13] in which we consider model pseudo-differential equations in canonical non-smooth domains instead of the Cauchy-Riemann operator. These studies were indicated in [14], and here we develop these results, obtaining more exact and refined solvability conditions. We formulate the solvability conditions in terms of a system of linear algebraic equations similar to wellknown Shapiro-Lopatinskii conditions [2]. The Mellin transform [15] is used to reduce the problem for homogeneous elliptic symbols to the mentioned algebraic system.

Auxiliaries
A pseudo-differential operator A in a domain D ⊂ R m is defined by its symbol A(ξ) in the following way  whereũ is the Fourier transform of u: We start our considerations from measurable symbols A(ξ), satisfying the condition with positive constants c 1 , c 2 , and the number α, we call an order of the pseudo-differential operator A. Such operators are linear bounded operators H s (D) → H s−α (D) [2]. In this paper, we consider plane case m = 2 and canonical plane domain For such domains, the key role for the solvability description for the pseudo-differential equation takes the wave factorization concept for the symbol A(ξ) [9]. Let us reiterate that the radial tube domain T(C a + ) over the cone C a + is called the following domain R 2 + iC a + of a two-dimensional complex space C 2 [9]. Definition 1. By wave factorization of A(ξ) with respect to cone C a where the factors A = (ξ), A = (ξ) must satisfy the following conditions: (1) A = (ξ) is defined, generally speaking, on the set {x ∈ R 2 : a 2 x 2 2 = x 2 1 } only; (2) A = (ξ) admits an analytical continuation into radial tube domain T( * C a + ) over the cone * C a + = {x ∈ R 2 : ax 2 > |x 1 |}, which satisfies the following estimate: The factor A = (ξ) has similar properties with − * C a + instead of * C a + and α− ae instead of ae. The number ae is called index of wave factorization of A(ξ) with respect to cone C a + .
Let us note that if the factors A = (ξ), A = (ξ) are homogeneous of order ae and α− ae, respectively, and then the symbol A(ξ) is homogeneous of order α, then one can discusshomogeneous wave factorization. The corresponding definition is given in [9].

Statement of the Problem
Let us denote Γ = {x ∈ R 2 : x 2 = a|x 1 |, a > 0}. We study here the following conjugation problem. Finding a function U(x) which consists of two components in the space H s (R 2 \ Γ), and the function should satisfy the following conditions where u + , u − are boundary values of U from C a + and R 2 \ C a + , respectively, and the functions g 0 , g 1 ∈ H s+1/2 (R) and g 2 ∈ H s−1/2 (Γ) are given. Since we seek a solution in the space H s , then such spaces H s±1/2 are chosen according to the theorem on restriction on a hyper-plane [2].
If we consider the equation separately, then we can use one of key results from the book [9], Theorem 8.1.2; more precisely, it is the following: if the symbol A(ξ) admits the wave factorization with respect to the cone C a + with the index ae such that ae−s = n + δ, n ∈ N, |ffi| < 1/2, then a general solution u ∈ H s (C a + ) of Equation (2) has the following form In this paper, we consider the case n = 1 so that we have the following formula for a general solutionŨ we have an analogous formula for a general solutioñ where c 0 , d 0 are a distinct pair of arbitrary functions. Now, our main goal is to describe the procedure to uniquely determine four arbitrary functions in general solutions of the Equations (2) and (3) using boundary and integral conditions.

A System of Linear Integral Equations
Using properties of the Fourier transform [2], we write integral conditions in the form

It gives the first two relations
We introduce new variables so that the boundary values u ± will be boundary values v ± for new variables t 1 , t 2 . Thus, general solutions of the Equations (2) and (3) take the form ). Therefore, using properties of the Fourier transform [2] we obtain

Let us introduce new notations
We rewrite integral relations by using the above notations.
whereg 21 (t 2 ),g 22 (t 1 ) are Fourier transforms of the function g 2 , which is considered as two parts related to angle sides. So, we have the following relations for determining the unknown functionsã 0 ,b 0 ,c 0 ,d 0 . Of course, according to the equalities (4), we can writẽ and can obtain the following integral system with respect to unknownsã 0 ,c 0 : where we have denoted Finally, we obtain the following assertion. Theorem 1. If the symbol A(ξ) admits wave factorization with respect to the cone C a + with the index ae such that ae − s = 1 + δ, |δ| < 1/2, then unique solvability of the problem (1) is equivalent to unique solvability of the system (5).
The next section is devoted to study the system (5).

Homogeneous Symbols and Applying the Mellin Transform
We consider here the case when the symbol A(ξ) is positively homogeneous of order α and the factors A = (ξ) and A = (ξ) are positively homogeneous of order ae and α− ae, respectively. Proof. Let us verify. Indeed, for λ > 0, we have and after the change of variable t 1 = λt we obtain and after similar change we have Similar conclusions are valid for r 2 , r 4 .
are homogeneous functions of order −1 with respect to variables t 1 , t 2 , and the functions a −1 Proof. According to Lemma 1, we have . The same is valid for the left two functions.
Let us note that Lemmas 1 and 2 are almost the same, as in [9]. Now, we divide by r 1 and r 2 and we obtain the following system of two linear integral equations after new notations with Lemma 3. Let ae = α/2. The kernels of integral operators K 1 , K 2 , K 3 , K 4 are homogeneous of order −1, and the functions R, Q are homogeneous of order 0.
Proof. Using Lemma 1 and Lemma 2, we obtain the required assertion.
Now, we will rewrite the system (6) as a system of integral equations on the positive half-axis to apply the Mellin transform.
The next step is the following. We would like to transform the latter system to a 4 × 4 system on a positive half-axis. For this purpose, we introduce two additional unknown functions and new notations.
We denote for all t 1 > 0 and for all t 2 > 0 and we put also for t > 0 Thus, we have the following system of linear integral equations with respect to four unknown functionsã 0 ,ã 1 ,c 0 ,c 1 in which all kernel and functions are defined for positive t 1 , t 2 : Further, we introduce notation: Now we can rewrite our system as follows.
Now, we can apply the Mellin transform to the system (7). Let us restate that the Mellin transform for the function f of one real variable is the following [15] f (µ) = +∞ 0 x µ−1 f (x)dx, and the functionf exists for a wide class of functions.
Applying the Mellin transform to the system (7), we obtain at least formally the following system of linear algebraic equations A matrix of the (4 × 4)-system (8) is the following
Proof. Basic elements of the proof were given in the above considerations and Lemmas 1-3. The condition (9) is related to properties of the Mellin transform [2,9,15]. Nevertheless, we will give some explanations. If we have the wave factorization, then we obtain the system (5). For homogeneous factors A = (ξ) and A = (ξ), the system (5) transforms into the system (7). The latter system of linear integral equations has kernels which are homogeneous of order −1. That is why we can apply the Mellin transform. If we have the expression +∞ 0 K(t 1 , t 2 )u(t 1 )dt 1 , in which the kernel K(t 1 , t 2 ) is a homogeneous function of order −1, then after applying the Mellin transform we obtain the following expression The change of variable in the inner integral t 2 = xt 1 leads to the following integral So, using the Mellin transform, we can obtain the system of linear algebraic Equation (8), which is equivalent to the system (7). Lemma 3 is needed for this purpose. The condition (9) is a necessary and sufficient condition for the unique solvability of such systems and the applicability of the inverse Mellin transform.
Since we suppose the factors A = , A = are differentiable, then the Mellin transform is applicable for the kernels K j . The functions under the integral can be assumed to be smooth enough, taking into account further approximation in H s -spaces.

Remark 2.
A priori estimates for a solution of the problem (1) can be obtained by the methods described in [9]. We will give these estimates in next papers.

Conclusions
In this paper, we have shown that a certain conjugation problem can be reduced to a system of linear algebraic equations. One can consider other conjugation problems for homogeneous elliptic symbols using this approach. Perhaps it is reasonable to consider different boundary conditions which are local, such as Dirichlet and Neumann conditions. Author Contributions: V.V. has suggested a general concept of the study, N.E. has proved main results. All authors have read and agreed to the published version of the manuscript.