Boundary Value Problem for Weak Nonlinear Partial Differential Equations of Mixed Type with Fractional Hilfer Operator

Abstract

In this paper, we consider a boundary value problem for a nonlinear partial differential equation of mixed type with Hilfer operator of fractional integro-differentiation in a positive rectangular domain and with spectral parameter in a negative rectangular domain. With respect to the first variable, this equation is a nonlinear fractional differential equation in the positive part of the considering segment and is a second-order nonlinear differential equation with spectral parameter in the negative part of this segment. Using the Fourier series method, the solutions of nonlinear boundary value problems are constructed in the form of a Fourier series. Theorems on the existence and uniqueness of the classical solution of the problem are proved for regular values of the spectral parameter. For irregular values of the spectral parameter, an infinite number of solutions of the mixed equation in the form of a Fourier series are constructed.

1. Introduction

One of the most striking areas of mathematical analysis is the invention of fractional-order integro-differential operators. Today, the theory and application of operators of fractional differentiation and integration have become a powerful industry of theoretical and applied research at the highest levels of different science and technology. In particular, a concrete physical and engineering interpretation of the generalized fractional operator is given in [1] (Volume 4–8), [2,3,4,5,6]. At present, the operators of fractional differentiation and integration are also widely used in the study of problems associated with the study of the coronavirus COVID-19 (see, for example [7,8]).

In this paper we use Hilfer operator:

$$D^{\alpha ,\gamma }=J_{0+}^{\gamma -\alpha }\frac{d}{dt}{J}_{0+}^{1-\gamma },0<\alpha \le \gamma \le 1,$$

where

$$J_{0+}^{\alpha }\phi \left(t\right)=\frac{1}{\Gamma \left(\alpha \right)}\underset{0}{\overset{t}{\int }}\frac{\phi \left(\tau \right)d\tau }{{(t-\tau )}^{1-\alpha }},\alpha >0$$

is a Riemann–Liouville integral operator.

For $\gamma =\alpha$ and $\gamma =1$ we have $D^{\alpha ,0}={}_{RL}{D}_{0+}^{\alpha }$ and $D^{\alpha ,1}={}_C{D}_{0+}^{\alpha }$. Therefore, the generalized integro-differentiation operator $D^{\alpha ,\gamma }$ is a continuous interpolation of the well-known fractional order differentiation operators of Riemann–Liouville and Caputo, which describe diffusion processes [1] (Volume 1, pp. 47–85).

Now we consider in detail a review of some works. For the first time, the generalized Riemann–Liouville operator (named as the Hilfer fractional derivative) was introduced by R. Hilfer on the basis of fractional time evolutions that arise during the transition from the microscopic scale to the macroscopic time scale [8]. Furthermore, R. Hilfer solved a Cauchy type problem for a fractional order equation with the same operator, applying in this case the Laplace transforms. In addition, using the integral Fourier, Laplace, and Mellin transforms, he investigated the Cauchy problem for the generalized diffusion equation, the solution of which is presented in the form of the Fox H-function.

It is applied in [9,10], the generalized fractional integro-differentiation operator in studying the dielectric relaxation in glass-forming liquids with different chemical compositions. For this, as usual, a classical Debye-type model was used, which describes exponential relaxation. The Debye-type model is determined by a first-order differential equation (see Equation (19) in [9]). But, as follows from the experiments, the ubiquitous feature of the dynamics of supercooled liquids and amorphous polymers is just non-exponential relaxation, which is the result of slow relaxation. To successfully describe the relaxation dynamics of glassy materials, the author of this article proposed a new model of dielectric relaxation containing derivatives and integrals of the non-integer order, which are a natural generalization of the Debye equation.

In [11] boundary value problems for the fractional diffusion equation with the time-generalized Riemann–Liouville fractional derivative (named as the Hilfer fractional derivative) in finite and infinite domains are studied. In the finite domain, the method of separation of variables and the Laplace transform method for solving the problem were used. In addition, the solution of the considered problem was obtained in the form of an infinite series containing the Mittag–Leffler function, and the asymptotic behavior of this solution at infinity was also found. In the infinite domain with respect to the spatial variable by the Fourier-Laplace transform method, the Cauchy problem is solved. In particular, a fundamental solution of the Cauchy problem is found and the fractional moments of the fundamental solution of the fractional diffusion equation are calculated. It is also shown in [11] that the corresponding solutions of the diffusion equations with fractional derivatives in the sense of Caputo or Riemann–Liouville are particular cases of diffusion equations with a fractional derivative according to Hilfer. The results obtained in this work are relevant in the study of the dielectric relaxation of glass and problems of the aquifer.

In [12] the analytical and numerical solution of boundary value problems for the fractional diffusion equation with the Hilfer fractional derivative was studied with respect to time and with respect to the Riesz–Feller spatial fractional derivative. To solve the problem, the Laplace and Fourier transform methods were used, and the solutions are presented by the Mittag–Leffler functions and the Fox H-function. A numerical solution of the problem is also considered by aid of approximating fractional derivatives with fractional derivatives of the Grunwald–Letnikov.

In [13], a new definition of the fractional derivative is introduced: The Hilfer–Prabhakar fractional derivative, which generalizes the fractional derivatives of Riemann–Liouville and Caputo. The new operator is constructed by replacing the Riemann–Liouville integrals of fractional order with more general Prabhakar integrals of fractional order. In addition, some applications of these generalized fractional derivatives in solving classical equations of mathematical physics are shown. Here we can note the heat equations and differential-difference equations that determine the dynamics of generalized random recovery processes, etc.

In [14] the properties of the Hilfer operator were investigated in a special functional space, and an operational method was developed for solving fractional differential equations with this operator. Develo** the results of [14], the authors of [15] developed an operational method for solving fractional differential equations containing a finite linear combination of Hilfer operators with various parameters.

More detailed information as well as a bibliography related to the Hilfer fractional derivative can be found in the recently published monograph [16], where the theory of fractional integro-differentiation, including the Hilfer fractional derivative, is systematically presented. Section 2 of this paper gives the basic properties of the Hilfer operators, and its generalization is the Hilfer–Prabhakar fractional derivative, and Section 4 shows the applications of these fractional derivatives in solving various applied problems of mathematical physics.

So, a large number of scientific papers have been devoted to the investigation of initial, boundary, and inverse value problems for linear and nonlinear ordinary and partial differential equations (see also [17,18,19,20,21,22,23,24,25,26]).

We note that in [27] the problem of source identification was studied for the generalized diffusion equation with operator $D^{\alpha ,\gamma }$. In the work [28] the inverse problems are investigated for a generalized fourth-order parabolic equation with the operator $D^{\alpha ,\gamma }$.

In nature and in physics, processes that occur over time are usually nonlinear. Therefore, the study of nonlinear differential and functional-differential equations of fractional order is relevant.

2. Problem Statement

In a domain $\Omega =\{-a<t<b,0<x,y<l\}$ we consider a nonlinear partial fractional differential equation of mixed type:

$$0=\left\{\begin{array}{c}\left(D^{\alpha ,\gamma }-D^{\alpha ,\gamma }\left(\frac{{\partial }^2}{\partial x^2}+\frac{{\partial }^2}{\partial y^2}\right)-\left(\frac{{\partial }^2}{\partial x^2}+\frac{{\partial }^2}{\partial y^2}\right)\right)U(t,x,y)\hfill \\ -g_1\left(t\right)f_1\left(x,y,\underset{0}{\overset{b}{\int }}\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\Theta }_1\left(\theta ,\zeta ,\varsigma ,{\theta }^{1-\gamma }U(\theta ,\zeta ,\varsigma )\right)d\theta d\zeta d\varsigma \right),(t,x,y)\in {\Omega }_1,\hfill \\ \left(\frac{{\partial }^2}{\partial t^2}-\frac{{\partial }^2}{\partial t^2}\left(\frac{{\partial }^2}{\partial x^2}+\frac{{\partial }^2}{\partial y^2}\right)-{\omega }^2\left(\frac{{\partial }^2}{\partial x^2}+\frac{{\partial }^2}{\partial y^2}\right)\right)U(t,x,y)\hfill \\ -g_2\left(t\right)f_2\left(x,y,\underset{-a}{\overset{0}{\int }}\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\Theta }_2\left(\theta ,\zeta ,\varsigma ,U(\theta ,\zeta ,\varsigma )\right)d\theta d\zeta d\varsigma \right),(t,x,y)\in {\Omega }_2,\hfill \end{array}\right.$$

(1)

where ${\Omega }_1=\{0<t<b,0<x,y<l\}$, ${\Omega }_2=\{-a<t<0,0<x,y<l\}$, $\omega$ is positive spectral parameter, and $a,b$ are positive real numbers,

$$D^{\alpha ,\gamma }=J_{0+}^{\gamma -\alpha }\frac{d}{dt}{J}_{0+}^{1-\gamma },0<\alpha \le \gamma \le 1$$

is Hilfer operator, $g_1\left(t\right)\in C[0;b]$, $g_2\left(t\right)\in C[-a;0]$,

$$f_i(x,y,u)\in C({[0;l]}^2\times \mathbb{R}),i=1,2,{\Theta }_1(t,x,y,U)\in C([0;b]\times {[0;l]}^2\times \mathbb{R}),$$

$${\Theta }_2(t,x,y,U)\in C([-a;0]\times {[0;l]}^2\times \mathbb{R}).$$

Problem 1

($T_{\omega }$). It is required to find a function $U(t,x,y)$, which belongs to the class:

$$\left[\begin{array}{c}{t}^{1-\gamma }\frac{{\partial }^{k}U}{\partial x^k}\in C\left({\overline{\Omega }}_1\right),t^{1-\gamma }\frac{{\partial }^{k}U}{\partial y^k}\in C\left({\overline{\Omega }}_1\right),\frac{{\partial }^{k}U}{\partial x^k}\in C\left({\overline{\Omega }}_2\right),\frac{{\partial }^{k}U}{\partial y^k}\in C\left({\overline{\Omega }}_2\right),\hfill \\ D^{\alpha ,\gamma }U\in C\left({\Omega }_1\right),U_{tt},U_{xx},U_{yy}\in C({\Omega }_1\cup {\Omega }_2),k=0,1,2,\hfill \end{array}\right.$$

(2)

satisfies mixed differential Equation (1) in the domain ${\Omega }_1\cup {\Omega }_2$, boundary value conditions:

$$U(t,0,y)=U(t,l,y)=U(t,x,0)=U(t,x,l)=0,t\ne 0,$$

(3)

$$U(-a,x,y)=U(b,x,y)+\phi (x,y),0\le x,y\le l,$$

(4)

gluing conditions:

$$\underset{t\to +0}{lim}{J}_{0+}^{1-\gamma }U(t,x,y)=\underset{t\to -0}{lim}U(t,x,y),\underset{t\to +0}{lim}{J}_{0+}^{1-\alpha }\frac{d}{dt}{J}_{0+}^{1-\gamma }U(t,x,y)=\underset{t\to -0}{lim}\frac{d}{dt}U(t,x,y),$$

(5)

where $\phi (x,y)$ is given a sufficiently smooth function.

Note that boundary value conditions of type (3) take place in modeling problems of the flow around a profile by a subsonic velocity stream with a supersonic zone. Nonlocal boundary value problems for different type of equations were studied in the works of many authors, in particular, in [29,30,31,32,33,34,35,36]. Nonlinear differential and integro-differential equations without mixing of the type of equations were studied in [37,38,39,40,41,42] by the Fourier series method.

In our work, unlike mixed parabolic-hyperbolic equations, the problem of small denominators do not arise. In this paper, we consider a boundary value problem for a mixed type nonlinear differential equation with Hilfer operator of fractional integro-differentiation. The Fourier method of separation of variables is used taking into account the features of the fractional integro-differentiation operator and nonlinearity. We study the solvability of problem (1)–(5) for various values of the spectral parameter. This work is a further development of the results of [35,38,39,40,42,43,44,45].

3. Nonhomogeneous Ordinary Differential Equation With Hilfer Operator

We consider the Cauchy problem for a nonhomogeneous differential equation of fractional order:

$$\left\{\begin{array}{c}{D}^{\alpha ,\gamma }u\left(t\right)=ku\left(t\right)+f\left(t\right),t\in (0,t_1),\hfill \\ \underset{t\to +0}{lim}{J}_{0+}^{1-\gamma }u\left(t\right)=u_0,\hfill \end{array}\right.$$

(6)

where $f\left(t\right)$ is given continuous function, $u_0=\mathrm{const}$.

Note that in [28], the Laplace method was applied to solve this problem. In [15], a solution was found using operational calculus for a more general problem than (6) in a specially constructed functional space. In our work, we use a more rational way to solve problem (6), which allows us to obtain an explicit solution.

We prove that there holds the following lemma.

Lemma 1.

Let be $f\left(t\right)\in C(0;t_1]\cap L_1(0;t_1)$. Then the solution of the problem (6) $u\left(t\right)\in C(0;t_1]\cap L_1(0;t_1)$ is represented as follows:

$$u\left(t\right)=u_0{t}^{\gamma -1}{E}_{\alpha ,\gamma }\left(k{t}^{\alpha }\right)+\underset{0}{\overset{t}{\int }}{(t-\tau )}^{\alpha -1}{E}_{\alpha ,\alpha }\left(k{(t-\tau )}^{\alpha }\right)f\left(\tau \right)d\tau ,$$

(7)

where

$$E_{\alpha ,\gamma }\left(z\right)=\sum _{m=0}^{\infty }\frac{z^m}{\Gamma (\alpha m+\gamma )},z,\alpha ,\gamma \in \mathbb{C},Re\left(\alpha \right)>0$$

is a Mittag–Leffler function (Volume 1, pp. 269–295) in [1].

Proof. 

We rewrite the differential equation of problem (6) in the form:

$$J_{0+}^{\gamma -\alpha }{D}_{0+}^{\gamma }u\left(t\right)=ku\left(t\right)+f\left(t\right).$$

Applying the operator $J_{0+}^{\alpha }$ to both sides of this equation, taking into account the linearity of this operator and the following formula [15]:

$$J_{0+}^{\gamma }{D}_{0+}^{\gamma }u\left(t\right)=u\left(t\right)-\frac{1}{\Gamma \left(\gamma \right)}{J}_{0+}^{1-\gamma }{u\left(t\right)|}_{t=0}{t}^{\gamma -1},$$

we obtain:

$$u\left(t\right)=\frac{u_0}{\Gamma \left(\gamma \right)}{t}^{\gamma -1}+J_{0+}^{\alpha }f\left(t\right)+k{J}_{0+}^{\alpha }u\left(t\right).$$

(8)

Using the lemma from [44], we represent the solution of Equation (8) as follows:

$$u\left(t\right)=\frac{u_0}{\Gamma \left(\gamma \right)}{t}^{\gamma -1}+J_{0+}^{\alpha }f\left(t\right)+$$

$$+k\underset{0}{\overset{t}{\int }}{(t-\tau )}^{\alpha -1}{E}_{\alpha ,\alpha }\left(k{(t-\tau )}^{\alpha }\right)\left[\frac{u_0}{\Gamma \left(\gamma \right)}{\tau }^{\gamma -1}+J_{0+}^{\alpha }f\left(\tau \right)\right]d\tau .$$

(9)

We rewrite the representation (9) as the sum of two expressions:

$$I_1\left(t\right)=u_0\left[\frac{t^{\gamma -1}}{\Gamma \left(\gamma \right)}+\frac{k}{\Gamma \left(\gamma \right)}\underset{0}{\overset{t}{\int }}{(t-\tau )}^{\alpha -1}{E}_{\alpha ,\alpha }\left(k{(t-\tau )}^{\alpha }\right){\tau }^{\gamma -1}d\tau \right],$$

(10)

$$I_2\left(t\right)=J_{0+}^{\alpha }f\left(t\right)+k\underset{0}{\overset{t}{\int }}{(t-\tau )}^{\alpha -1}{E}_{\alpha ,\alpha }\left(k{(t-\tau )}^{\alpha }\right)J_{0+}^{\alpha }f\left(\tau \right)d\tau .$$

(11)

We apply the following representations (Volume 1, pp. 269–295) in [1]:

$$E_{\alpha ,\gamma }\left(z\right)=\frac{1}{\Gamma \left(\gamma \right)}+z{E}_{\alpha ,\gamma +\alpha }\left(z\right),\alpha >0,\gamma >0,$$

(12)

$$\frac{1}{\Gamma \left(\tau \right)}\underset{0}{\overset{z}{\int }}{(z-t)}^{\tau -1}{E}_{\alpha ,\gamma }\left(k{t}^{\alpha }\right)t^{\gamma -1}dt=z^{\gamma +\tau -1}{E}_{\alpha ,\gamma +\tau }\left(k{z}^{\alpha }\right),\tau >0,\gamma >0.$$

(13)

Then for the integral (10) we obtain:

$$I_1\left(t\right)=u_0{t}^{\gamma -1}{E}_{\alpha ,\gamma }\left(k{t}^{\alpha }\right).$$

(14)

The integral in (11) we can transform as follows:

$$\underset{0}{\overset{t}{\int }}{(t-\xi )}^{\alpha -1}{E}_{\alpha ,\alpha }\left(k{(t-\xi )}^{\alpha }\right)J_{0+}^{\alpha }f\left(\xi \right)d\xi$$

$$=\frac{1}{\Gamma \left(\alpha \right)}\underset{0}{\overset{t}{\int }}{(t-\xi )}^{\alpha -1}{E}_{\alpha ,\alpha }\left(k{(t-\xi )}^{\alpha }\right)d\xi \underset{0}{\overset{\tau }{\int }}{(\xi -s)}^{\alpha -1}f\left(s\right)ds$$

$$=\frac{1}{\Gamma \left(\alpha \right)}\underset{0}{\overset{t}{\int }}f\left(s\right)ds\underset{s}{\overset{t}{\int }}{(t-\xi )}^{\alpha -1}{(\xi -s)}^{\alpha -1}{E}_{\alpha ,\alpha }\left(k{(t-\xi )}^{\alpha }\right)d\xi .$$

(15)

Taking (13) into account the second integral in the last equality of (15) can be written as:

$$\underset{s}{\overset{t}{\int }}{(t-\xi )}^{\alpha -1}{(\xi -s)}^{\alpha -1}{E}_{\alpha ,\alpha }\left(k{(t-\xi )}^{\alpha }\right)d\xi =\Gamma \left(\alpha \right){(t-\xi )}^{2\alpha -1}{E}_{\alpha ,2\alpha }\left(k{(t-\xi )}^{\alpha }\right).$$

Then, taking into account (12), we represent (11) in the following form:

$$I_2\left(t\right)=\underset{0}{\overset{t}{\int }}{(t-\xi )}^{\alpha -1}{E}_{\alpha ,\alpha }\left(k{(t-\xi )}^{\alpha }\right)f\left(\xi \right)d\xi .$$

(16)

Substituting (14) and (16) into the sum $u\left(t\right)=I_1\left(t\right)+I_2\left(t\right),$ we obtain (7). The Lemma 1 is proved. □

4. Formal Expansion of the Solution of the Problem (1)–(5) into Fourier Series

The solution of the mixed differential Equation (1) in the domain $\Omega$ is sought in the form of a Fourier series:

$$U(t,x,y)=\sum _{n,m=1}^{\infty }{u}_{n,m}\left(t\right){\vartheta }_{n,m}(x,y),$$

(17)

where

$$u_{n,m}\left(t\right)=\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}U(t,x,y){\vartheta }_{n,m}(x,y)dxdy,$$

(18)

$${\vartheta }_{n,m}(x,y)=\frac{2}{l}sin\left({\mu }_{n}x\right)sin\left({\mu }_{m}x\right),{\mu }_n=\frac{n\pi }{l},{\mu }_m=\frac{m\pi }{l},n,m\in \mathbb{N}.$$

We suppose also that:

$$f_i(x,y,·)=\sum _{n,m=1}^{\infty }{f}_{in,m}(·){\vartheta }_{n,m}(x,y),i=1,2,$$

(19)

where

$$f_{in,m}(·)=\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{f}_i(x,y,·){\vartheta }_{n,m}(x,y)dxdy,i=1,2.$$

Substituting series (17) and (19) into mixed Equation (1), we obtain a countable system of differential equations:

$$D^{\alpha ,\gamma }{u}_{n,m}\left(t\right)+{\lambda }_{n,m}^2{u}_{n,m}\left(t\right)=g_1\left(t\right)f_{1n,m}(·),t>0,$$

(20)

$$u_{n,m}^{\prime \prime }\left(t\right)+{\lambda }_{n,m}^2{\omega }^2{u}_{n,m}\left(t\right)=g_2\left(t\right)f_{2n,m}(·),t<0,$$

(21)

where

$${\lambda }_{n,m}^2=\frac{{\mu }_n^2+{\mu }_m^2}{1+{\mu }_n^2+{\mu }_m^2},{\mu }_n=\frac{n\pi }{l},{\mu }_m=\frac{m\pi }{l},n,m\in \mathbb{N}.$$

Taking (18) into account from the conditions (5) we derive:

$$\underset{t\to +0}{lim}{J}_{0+}^{1-\gamma }{u}_{n,m}\left(t\right)=\frac{2}{l}\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}\underset{t\to +0}{lim}{J}_{0+}^{1-\gamma }U(t,x,y)sin\left({\mu }_{n}x\right)·sin\left({\mu }_{m}y\right)dxdy$$

$$=\frac{2}{l}\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}\underset{t\to -0}{lim}U(t,x,y)sin\left({\mu }_{n}x\right)sin\left({\mu }_{m}y\right)dxdy=\underset{t\to -0}{lim}{u}_{n,m}\left(t\right),$$

(22)

$$\underset{t\to +0}{lim}{J}_{0+}^{1-\alpha }\frac{d}{dt}{J}_{0+}^{1-\gamma }{u}_{n,m}\left(t\right)=\frac{2}{l}\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}\underset{t\to +0}{lim}{J}_{0+}^{1-\alpha }\frac{d}{dt}{J}_{0+}^{1-\gamma }U(t,x,y)sin\left({\mu }_{n}x\right)sin\left({\mu }_{m}y\right)dxdy$$

$$=\frac{2}{l}\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}\underset{t\to -0}{lim}\frac{d}{dt}U(t,x,y)sin\left({\mu }_{n}x\right)sin\left({\mu }_{m}y\right)dxdy=\underset{t\to -0}{lim}\frac{d}{dt}{u}_{n,m}\left(t\right).$$

(23)

Analogously we find from condition (4) that:

$$u_{n,m}^{}(-a)=u_{n,m}\left(b\right)+{\phi }_{n,m},$$

(24)

where

$${\phi }_{n,m}=\frac{2}{l}\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}\phi (x,y)sin\left({\mu }_{n}x\right)sin\left({\mu }_{m}y\right)dxdy,n,m=1,2,\dots$$

By applying Lemma 1, for (20) and (21) we obtain the general forms of solutions:

$$u_{n,m}\left(t\right)=A_{1n,m}{t}^{\gamma -1}{E}_{\alpha ,\gamma }\left(-{\lambda }_{n,m}^2{t}^{\alpha }\right)+f_{1n,m}(·)h_{1n}\left(t\right),t>0,$$

(25)

$$u_{n,m}\left(t\right)=A_{2n,m}sin{\lambda }_{n,m}\omega t+A_{3n,m}cos{\lambda }_{n,m}\omega t+f_{2n,m}(·)h_{2n,m}\left(t\right),t<0,$$

(26)

where $A_{in,m}$ are arbitrary constants, $i=\overline{1,3},n,m=1,2,\dots$

$$h_{1n,m}\left(t\right)=\underset{0}{\overset{t}{\int }}{(t-s)}^{\alpha -1}{E}_{\alpha ,\alpha }\left(-{\lambda }_{n,m}^2{(t-s)}^{\alpha }\right)g_1\left(s\right)ds,$$

$$h_{2n,m}\left(t\right)=\frac{1}{{\lambda }_{n,m}\omega }\underset{0}{\overset{t}{\int }}sin\left({\lambda }_{n,m}\omega (t-s)\right)g_2\left(s\right)ds.$$

Taking into account that $h_{1n,m}\left(0\right)=h_{2n,m}\left(0\right)=0$ and satisfying functions (25) and (26) to conditions (22) and (23), we obtain the following systems of algebraic equations:

$$A_{2n,m}=-\frac{{\lambda }_{n,m}^{}}{\omega }{A}_{1n,m},A_{3n,m}=A_{1n,m}.$$

(27)

Applying the condition (24) and representation (27) to (25) and (26), we derive:

$$A_{1n,m}=\frac{{\phi }_{n,m}+f_{1n,m}(·)h_{1n,m}\left(b\right)-f_{2n,m}(·)h_{2n,m}(-a)}{{\Delta }_{n,m}\left(\omega \right)},$$

(28)

if there holds the condition:

$${\Delta }_{n,m}\left(\omega \right)={\lambda }_{n,m}{\omega }^{-1}sin\left({\lambda }_{n,m}\omega a\right)+cos\left({\lambda }_{n,m}\omega a\right)-b^{\gamma -1}{E}_{\alpha ,\gamma }\left(-{\lambda }_{n,m}^2{b}^{\alpha }\right)\ne 0.$$

(29)

Substituting (28) into (27), for (25) and (26) we obtain the system of countable systems of nonlinear integral equations (SCSNIE):

$$u_{n,m}^{}\left(t,\omega \right)={\mathbb{I}}_1(t;u_{n,m})$$

$$\equiv {\phi }_{n,m}{\eta }_{1n,m}(t,\omega )+f_{1n,m}(·){\eta }_{2n,m}(t,\omega )+f_{2n,m}(·){\eta }_{3n,m}(t,\omega ),t>0,$$

(30)

$$u_{n,m}\left(t,\omega \right)={\mathbb{I}}_2(t;u_{n,m})$$

$$\equiv {\phi }_{n,m}{\xi }_{1n,m}(t,\omega )+f_{1n,m}(·){\xi }_{2n,m}(t,\omega )+f_{2n,m}(·){\xi }_{3n,m}(t,\omega ),t<0,$$

(31)

where

$$f_{1n,m}(·)=\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{f}_1\left(x,y,\underset{0}{\overset{b}{\int }}\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\Theta }_1\left(\theta ,\zeta ,\varsigma ,\sum _{i,j=1}^{\infty }{\theta }^{1-\gamma }{u}_{i,j}\left(\theta \right){\vartheta }_{i,j}(\zeta ,\varsigma )\right)d\theta d\zeta d\varsigma \right){\vartheta }_{n,m}(x,y)dxdy,$$

$$f_{2n,m}(·)=\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{f}_2\left(x,y,\underset{-a}{\overset{0}{\int }}\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\Theta }_2\left(\theta ,\zeta ,\varsigma ,\sum _{i,j=1}^{\infty }{u}_{i,j}\left(\theta \right){\vartheta }_{i,j}(\zeta ,\varsigma )\right)d\theta d\zeta d\varsigma \right){\vartheta }_{n,m}(x,y)dxdy,$$

$${\eta }_{1n,m}(t,\omega )=\frac{t^{\gamma -1}}{{\Delta }_{n,m}\left(\omega \right)}{E}_{\alpha ,\gamma }\left(-{\lambda }_{n,m}^2{t}^{\alpha }\right),{\eta }_{2n,m}(t,\omega )=h_{1n,m}\left(t\right)+h_{1n,m}\left(b\right){\eta }_{1n,m}(t,\omega ),$$

$${\eta }_{3n,m}(t,\omega )=-h_{2n,m}(-a){\eta }_{1n,m}(t,\omega ),{\xi }_{1n,m}(t,\omega )=\frac{1}{{\Delta }_{n,m}\left(\omega \right)}\left[sin\left({\lambda }_{n,m}\omega t\right)+cos\left({\lambda }_{n,m}\omega t\right)\right],$$

$${\xi }_{2n,m}(t,\omega )=h_{1n,m}\left(b\right){\xi }_{1n,m}(t,\omega ),{\xi }_{3n,m}(t,\omega )=h_{2n,m}\left(t\right)+h_{2n,m}(-a){\xi }_{1n,m}(t,\omega ).$$

5. Solvability of SCSNIE (30) and (31)

Now we consider the case, when condition (29) is violated. Let ${\Delta }_{k,s}\left(\omega \right)=0$ be for all $\omega$. Then the considering problem ($\phi \left(x,y\right)\equiv 0$) has the nontrivial solution:

$$V_{k,s}\left(t,x,y\right)={\upsilon }_{k,s}\left(t\right){\vartheta }_{k,s}(x,y),(t,x,y)\in \Omega ,$$

(32)

where

$${\upsilon }_{k,s}\left(t\right)=\left\{\begin{array}{c}{t}^{\gamma -1}{E}_{\alpha ,\gamma }\left(-{\lambda }_{k,s}^2{t}^{\alpha }\right)+f_{1k,s}(·)h_{1k,s}\left(t\right),t>0,\hfill \\ sin{\lambda }_{k,s}\omega t+cos{\lambda }_{k,s}\omega t+f_{2k,s}(·)h_{2k,s}\left(t\right),t<0.\hfill \end{array}\right.$$

From ${\Delta }_{n,m}\left(\omega \right)=0$ we come to the trigonometric equation:

$$\sqrt{1+\frac{{\lambda }_{n,m}^2}{{\omega }^2}}sin\left({\lambda }_{n,m}\omega a+{\rho }_{n,m}\right)-b^{\gamma -1}{E}_{\alpha ,\gamma }\left(-{\lambda }_{n,m}^2{b}^{\alpha }\right)=0,$$

(33)

where ${\rho }_{n,m}=arcsin\left(\frac{\omega }{\sqrt{{\omega }^2+{\lambda }_{n,m}^2}}\right)$. From this we obtain that the quantity ${\Delta }_{n,m}\left(\omega \right)$ vanishes at the values:

$$\omega =\frac{1}{{\lambda }_{n,m}a}\left[{\left(-1\right)}^{z}arcsin\frac{\omega b^{\gamma -1}{E}_{\alpha ,\gamma }\left(-{\lambda }_{n,m}^2{b}^{\alpha }\right)}{\sqrt{{\omega }^2+{\lambda }_{n,m}^2}}+\pi z-{\rho }_{n,m}\right],z\in \mathbb{N}.$$

The set of positive solutions ℑ of trigonometric Equation (33) with respect to spectral parameter $\omega$ is called a set of irregular values of the spectral parameter $\omega$. The set of the remaining values of the spectral parameter $\aleph =(0;\infty )\setminus \Im$ is called a set of regular values of the spectral parameter $\omega$. For all regular values of the spectral parameter $\omega$, the quantity ${\Delta }_{n,m}\left(\omega \right)$ is nonzero. So, for large $n,m$ the values of ${\Delta }_{n,m}\left(\omega \right)$ can not become quite small and there the problem of “small denominators” does not arise. Therefore, for regular values of the spectral parameter $\omega$, the quantity ${\Delta }_{n,m}\left(\omega \right)$ is separated from zero.

Indeed, from the relations:

$${\lambda }_{n,m}^2=\frac{{\mu }_n^2+{\mu }_m^2}{1+{\mu }_n^2+{\mu }_m^2},{\mu }_n=\frac{n\pi }{l},{\mu }_m=\frac{m\pi }{l},n,m\in \mathbb{N}$$

we see that ${\lambda }_{n,m}^2\to 1$ as $n,m\to \infty$. Therefore, for regular values of the spectral parameter $\omega$ we have:

$$\underset{n,m\to \infty }{lim}{\Delta }_{n,m}\left(\omega \right)=\frac{1}{\omega }sin\omega a+cos\omega a-b^{\gamma -1}{E}_{\alpha ,\gamma }\left(-b^{\alpha }\right)\ne 0.$$

Lemma 2.

Suppose that $\gamma \in (0,1]$, a, b are arbitrary positive real numbers. Then for regular values of the spectral parameter $\omega \in \aleph$ and for arbitrary $n,m$ there exists a positive constant $M_0$ such that there holds the following estimate:

$$\left|{\Delta }_{n,m}\left(\omega \right)\right|\ge M_0>0.$$

(34)

Proof. 

From (33) for all $n,m$ and $a,b>0$ we derive:

$$\left|{\Delta }_{n,m}(\omega ,\nu )\right|\ge \left|\pm \sqrt{1+\frac{{\lambda }_{n,m}^2\left(\nu \right)}{{\omega }^2}}-b^{\gamma -1}{E}_{\alpha ,\gamma }\left(-{\lambda }_{n,m}^2{b}^{\alpha }\right)\right|$$

$$\ge \left|1-b^{\gamma -1}{E}_{\alpha ,\gamma }\left(-{\lambda }_{n,m}^2{b}^{\alpha }\right)\right|.$$

We use the following properties of the Mittag–Leffler function (Volume 1, pp. 269–295) in [1]:

(1)

For all $k>0,\alpha ,\gamma \in (0;1],\alpha \le \gamma$, $t\ge 0$ the function $t^{\gamma -1}{E}_{\alpha ,\gamma }\left(-k{t}^{\alpha }\right)$ is completely monotonous and there holds:

$${(-1)}^s{\left[t^{\gamma -1}{E}_{\alpha ,\gamma }\left(-k{t}^{\alpha }\right)\right]}^{\left(s\right)}\ge 0,s=0,1,2,\dots$$

(35)

(2)

For all $\alpha \in (0;2)$, $\gamma \in \mathbb{R}$ and $argz=\pi$ there takes place the following estimate:

$$\left|E_{\alpha ,\gamma }\left(z\right)\right|\le \frac{M_1}{1+\left|z\right|},$$

(36)

where $0<M_1=\mathrm{const}$ does not depend from z.

Then, from the inequalities (35) and (36) we derive that there exists a number $M_0$ such that:

$$\left|1-b^{\gamma -1}{E}_{\alpha ,\gamma }\left(-{\lambda }_{n,m}^2{b}^{\alpha }\right)\right|=M_0>0.$$

Consequently, for regular values of the spectral parameter $\omega$ there takes place (34): $\left|{\Delta }_{n,m}\left(\omega \right)\right|\ge M_0>0$. Lemma 2 is proved. □

Condition A. Let the following be fulfilled:

$$\phi (x,y)\in C^3{[0;l]}^2,{\phi }_{xxxx}(x,y)\in L_2{[0;l]}^2,{\phi }_{yyyy}(x,y)\in L_2{[0;l]}^2.$$

Then by integrating in parts four times over the variable x the integral:

$${\phi }_{n,m}=\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}\phi (x,y){\vartheta }_{n,m}(x,y)dxdy,$$

we derive that:

$${\phi }_{n,m}={\left(\frac{l}{\pi }\right)}^4\frac{{\phi }_{n,m}^{\left(IV\right)}}{n^4},$$

(37)

where,

$${\phi }_{n,m}^{\left(IV\right)}=\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\phi }_{xxxx}(x,y){\vartheta }_{n,m}(x,y)dxdy,$$

(38)

$${\vartheta }_{n,m}(x,y)=\frac{2}{l}sin\frac{\pi n}{l}xsin\frac{\pi m}{l}y.$$

Similarly, by integrating the integral (38) in parts four times with respect to the variable y yields:

$${\phi }_{n,m}^{\left(IV\right)}={\left(\frac{l}{\pi }\right)}^4\frac{{\phi }_{n,m}^{\left(VIII\right)}}{m^4},$$

(39)

where

$${\phi }_{n,m}^{\left(VIII\right)}=\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\phi }_{xxxxyyyy}(x,y){\vartheta }_{n,m}(x,y)dxdy.$$

(40)

Substituting (39) into (37), we obtain:

$${\phi }_{n,m}={\left(\frac{l}{\pi }\right)}^8\frac{{\phi }_{n,m}^{\left(VIII\right)}}{n^4{m}^4}.$$

(41)

Applying the Bessel inequality for the integral (40), we obtain the estimate:

$$\sum _{n,m=1}^{\infty }{\left[{\phi }_{n,m}^{\left(VIII\right)}\right]}^2=\sum _{n,m=1}^{\infty }{\left[\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\phi }_{xxxxyyyy}(x,y){\vartheta }_{n,m}(x,y)dxdy\right]}^2$$

$$\le \underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\left[{\phi }_{xxxxyyyy}(x,y)\right]}^{2}dxdy<\infty .$$

(42)

Condition B. Let the following be fulfilled:

$$f_i(x,y,u)\in C_{x,y,u}^{3,3,0}\left({[0;l]}^2\times \mathbb{R}\right),f_{ixxxx}(x,y,u)\in L_2\left({[0;l]}^2\times \mathbb{R}\right),$$

$$f_{iyyyy}(x,y,u)\in L_2\left({[0;l]}^2\times \mathbb{R}\right),i=1,2,$$

where

$$L_2\left({[0;l]}^2\times \mathbb{R}\right)=\left\{f(x,y,u):\sqrt{\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\left|f(x,y,u)\right|}^{2}dxdy}<\infty \right\}.$$

Similarly to the case of condition A, we obtain:

$$f_{in,m}(·)={\left(\frac{l}{\pi }\right)}^8\frac{f_{in,m}^{\left(VIII\right)}(·)}{n^4{m}^4},$$

(43)

$$\sum _{n,m=1}^{\infty }{\left[f_{in,m}^{\left(VIII\right)}(·)\right]}^2\le \underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\left[f_{ixxxxyyyy}(x,y,·)\right]}^{2}dxdy<\infty ,$$

(44)

where

$$f_{in,m}^{\left(VIII\right)}(·)=\frac{2}{l}\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{f}_{ixxxxyyyy}(x,y,·)sin\frac{\pi n}{l}xsin\frac{\pi m}{l}ydxdy.$$

For all regular values of the spectral parameter $\omega \in \aleph$ the SCSNIE (30) and (31) are true. In order to prove the unique solvability of SCSNIE (30) and (31), we introduce the following well-knowing spaces.

Space $B_2[-a;b]$ of sequences of continuous functions ${\left\{u_{n,m}\left(t\right)\right\}}_{n,m=1}^{\infty }$ on the segment $[-a;b]$ with the norm:

$${∥u\left(t\right)∥}_{B_2[-a;b]}={∥u\left(t\right)∥}_{B_2[-a;0]}+{∥u\left(t\right)∥}_{B_2[0;b]}$$

$$=\sqrt{\sum _{n,m=1}^{\infty }{\left(\underset{t\in [-a;0]}{max}\left|u_{n,m}\left(t\right)\right|\right)}^2}+\sqrt{\sum _{n,m=1}^{\infty }{\left(\underset{t\in [0;b]}{max}\left|u_{n,m}\left(t\right)\right|\right)}^2}<\infty .$$

The space $L_2{[0;l]}^2$ of square-summable functions on the domain ${[0;l]}^2=[0;l]\times [0;l]$ with the norm:

$${∥\vartheta (x,y)∥}_{L_2{[0;l]}^2}=\sqrt{\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\left|\vartheta (x,y)\right|}^{2}dxdy}<\infty .$$

On the basis of lemma 2, Conditions A and B for regular spectral values from the sets ℵ we prove that it holds.

Theorem 1.

Suppose that the following conditions and ConditionsA, Bare fulfilled:

(1)

${\chi }_{11}=\underset{i=\overline{1,3}}{max}\underset{n,m\in \mathbb{N}}{max}\underset{t\in [0;b]}{max}\left|t^{1-\gamma }{\eta }_{inm}(t,\omega )\right|<\infty ;{\chi }_{21}=\underset{i=\overline{1,3}}{max}\underset{n,m\in \mathbb{N}}{max}\underset{t\in [-a;0]}{max}\left|{\xi }_{inm}(t,\omega )\right|<\infty$;

(2)

${\chi }_{30}={∥{\phi }_{xxxxyyyy}(x,y)∥}_{L_2{[0;l]}^2}<\infty ;{\chi }_{3i}={∥f_{ixxxxyyyy}(x,y,\gamma )∥}_{L_2{[0;l]}^2}<\infty$;

(3)

$\left|f_{ixxxxyyyy}(x,y,{\gamma }_1)-f_{ixxxxyyyy}(x,y,{\gamma }_2)\right|\le K_i(x,y)\left|{\gamma }_1-{\gamma }_2\right|$,

$K_{0i}={∥K_i(x,y)∥}_{L_2{[0;l]}^2}<\infty$;

(4)

$\left|{\Theta }_i(\xi ,x,y,u_1)-{\Theta }_i(\xi ,x,y,u_2)\right|\le {\Theta }_{1i}(x,y)\left|u_1-u_2\right|$,

${\Theta }_{2i}={∥{\Theta }_{1i}(x,y)∥}_{L_2{[0;l]}^2}<\infty ,i=1,2$;

(5)

$\rho ={\gamma }_2\left({\gamma }_1+{\gamma }_3\right){\gamma }_4<1,{\gamma }_4=max\left\{b{K}_{01}{\Theta }_{21};a{K}_{02}{\Theta }_{22}\right\}$.

Then SCSNIE (30) and (31) are uniquely solvable in the spaces $B_2[-a;0]$ and $B_2[0;b]$, respectively for all regular values of the spectral parameter $\omega \in \aleph$.

Proof. 

We use the method of compressing map**s in the Banach spaces $B_2[-a;0]$ and $B_2[0;b]$. Successive approximations are defined as follows:

$$\left\{\begin{array}{c}{u}_{n,m}^0(t,\omega )={\phi }_{n,m}{\eta }_{1n,m}(t,\omega ),u_{n,m}^{k+1}={\mathbb{I}}_1(t;u_{n,m}^k),k=0,1,2,...,t>0,\hfill \\ u_{n,m}^0(t,\omega )={\phi }_{n,m}{\xi }_{1n,m}(t,\omega ),u_{n,m}^{k+1}={\mathbb{I}}_2(t;u_{n,m}^k),t<0,\omega \in \aleph .\hfill \end{array}\right.$$

(45)

When $t>0$, by virtue of the first condition of the theorem and applying Cauchy–Schwarz inequality and properties (41) and (42) to the approximations (45) for the zero approximation $u_{n,m}^0(t,\omega )$ with the norm in $B_2[0;b]$ obtains the estimate:

$${∥t^{1-\gamma }{u}^0(t,\omega )∥}_{B_2[0;b]}\le \underset{t\in [0;b]}{max}\sum _{n,m=1}^{\infty }\left|{\phi }_n\right|\left|t^{1-\gamma }{\eta }_{1nm}(t,\omega )\right|$$

$$\le \underset{n,m\in \mathbb{N}}{max}\underset{t\in [0;b]}{max}\left|t^{1-\gamma }{\eta }_{1nm}(t,\omega )\right|\sum _{n,m=1}^{\infty }\left|{\left(\frac{l}{\pi }\right)}^8\frac{{\phi }_{n,m}^{\left(VIII\right)}}{n^4{m}^4}\right|$$

$$\le {\chi }_{11}{\left(\frac{l}{\pi }\right)}^8\sum _{n,m=1}^{\infty }\left|\frac{1}{n^4{m}^4}\right|·\left|{\phi }_{n,m}^{\left(VIII\right)}\right|\le {\gamma }_1\sqrt{\sum _{n,m=1}^{\infty }\frac{1}{n^8{m}^8}}\sqrt{\sum _{n,m=1}^{\infty }{\left|{\phi }_{n,m}^{\left(VIII\right)}\right|}^2}$$

$$\le {\gamma }_1{\gamma }_2\sqrt{\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\left[{\phi }_{xxxxyyyy}(x,y)\right]}^{2}dxdy}={\gamma }_1{\gamma }_2{\gamma }_{30}<\infty ,$$

(46)

where ${\gamma }_1={\chi }_{11}{\left(\frac{l}{\pi }\right)}^8,{\gamma }_2=\sqrt{\sum _{n,m=1}^{\infty }\frac{1}{n^8{m}^8}}$.

Similarly, by virtue of the conditions of the theorem and applying Cauchy–Schwarz inequality and properties (43) and (44) for the first difference of approximations (45), we derive:

$${∥t^{1-\gamma }\left(u^1(t,\omega )-u^0(t,\omega )\right)∥}_{B_2[0;b]}\le \underset{t\in [0;b]}{max}\sum _{n,m=1}^{\infty }\left|f_{1n,m}^0(·)\right|·\left|t^{1-\gamma }{\eta }_{2nm}(t,\omega )\right|$$

$$+\underset{t\in [0;b]}{max}\sum _{n,m=1}^{\infty }\left|f_{2n,m}^0(·)\right|·\left|t^{1-\gamma }{\eta }_{3nm}(t,\omega )\right|$$

$$\le \underset{n,m\in \mathbb{N}}{max}\underset{t\in [0;b]}{max}\left|t^{1-\gamma }{\eta }_{2nm}(t,\omega )\right|{\left(\frac{l}{\pi }\right)}^8\sum _{n,m=1}^{\infty }\left|\frac{f_{1n,m}^{\left(VIII\right)}(·)}{n^4{m}^4}\right|$$

$$+\underset{n,m\in \mathbb{N}}{max}\underset{t\in [0;b]}{max}\left|t^{1-\gamma }{\eta }_{3nm}(t,\omega )\right|{\left(\frac{l}{\pi }\right)}^8\sum _{n,m=1}^{\infty }\left|\frac{f_{2n,m}^{\left(VIII\right)}(·)}{n^4{m}^4}\right|$$

$$\le {\chi }_{11}{\left(\frac{l}{\pi }\right)}^8\left[\sum _{n,m=1}^{\infty }\frac{1}{n^4{m}^4}\left|f_{1n,m}^{\left(VIII\right)}(·)\right|+\sum _{n,m=1}^{\infty }\frac{1}{n^4{m}^4}\left|f_{2n,m}^{\left(VIII\right)}(·)\right|\right]$$

$$\le {\gamma }_1\sqrt{\sum _{n,m=1}^{\infty }\frac{1}{n^8{m}^8}}\left[\sqrt{\sum _{n,m=1}^{\infty }{\left|f_{1n,m}^{\left(VIII\right)}(·)\right|}^2}+\sqrt{\sum _{n,m=1}^{\infty }{\left|f_{2n,m}^{\left(VIII\right)}(·)\right|}^2}\right]$$

$$\le {\gamma }_1{\gamma }_2\left[\sqrt{\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\left[f_{1xxxxyyyy}(x,y,·)\right]}^{2}dxdy}\right.$$

$$\left.+\sqrt{\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\left[f_{2xxxxyyyy}(x,y,·)\right]}^{2}dxdy}\right]={\gamma }_1{\gamma }_2\left({\chi }_{31}+{\chi }_{32}\right)<\infty ,$$

(47)

where

$$f_{1n,m}^k(·)=\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{f}_1\left(x,y,\underset{0}{\overset{b}{\int }}\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\Theta }_1\left(\theta ,\zeta ,\varsigma ,\sum _{i,j=1}^{\infty }{\theta }^{1-\gamma }{u}_{i,j}^k\left(\theta \right){\vartheta }_{i,j}(\zeta ,\varsigma )\right)d\theta d\zeta d\varsigma \right){\vartheta }_{n,m}(x,y)dxdy,$$

$$f_{2n,m}^k(·)=\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{f}_2\left(x,y,\underset{-a}{\overset{0}{\int }}\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\Theta }_2\left(\theta ,\zeta ,\varsigma ,\sum _{i,j=1}^{\infty }{u}_{i,j}^k\left(\theta \right){\vartheta }_{i,j}(\zeta ,\varsigma )\right)d\theta d\zeta d\varsigma \right){\vartheta }_{n,m}(x,y)dxdy,$$

$k=0,1,2,..$.

We use the conditions of theorem, Cauchy–Schwarz inequality, and Bessel inequality for the arbitrary difference $u_{n,m}^{k+1}(t,\omega )-u_{n,m}^k(t,\omega )$ with the norm in $B_2[0;b]$. Then we derive from (45) the following estimate:

$${∥t^{1-\gamma }\left(u^{k+1}(t,\omega )-u^k(t,\omega )\right)∥}_{B_2[0;b]}$$

$$\le \underset{t\in [0;b]}{max}\sum _{n,m=1}^{\infty }\left|f_{1n,m}^k(·)-f_{1n,m}^{k-1}(·)\right|\left|t^{1-\gamma }{\eta }_{2nm}(t,\omega )\right|$$

$$+\underset{t\in [0;b]}{max}\sum _{n,m=1}^{\infty }\left|f_{2n,m}^k(·)-f_{2n,m}^{k-1}(·)\right|·\left|t^{1-\gamma }{\eta }_{3nm}(t,\omega )\right|$$

$$\le {\gamma }_1\left[\sum _{n,m=1}^{\infty }\frac{1}{n^4{m}^4}\left|f_{1n,m}^{k\left(VIII\right)}(·)-f_{1n,m}^{k-1\left(VIII\right)}(·)\right|+\sum _{n,m=1}^{\infty }\frac{1}{n^4{m}^4}\left|f_{2n,m}^{k\left(VIII\right)}(·)-f_{2n,m}^{k-1\left(VIII\right)}(·)\right|\right]$$

$$\le {\gamma }_1\sqrt{\sum _{n,m=1}^{\infty }\frac{1}{n^8{m}^8}}\left[\sqrt{\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\left|f_{1xxxxyyyy}^k(x,y,·)-f_{1xxxxyyyy}^{k-1}(x,y,·)\right|}^{2}dxdy}\right.$$

$$\left.+\sqrt{\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\left|f_{2xxxxyyyy}^k(x,y,·)-f_{2xxxxyyyy}^{k-1}(x,y,·)\right|}^{2}dxdy}\right]$$

$$\le {\gamma }_1{\gamma }_2\left[\sqrt{\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\left|K_1(x,y)\right|}^{2}dxdy}\underset{0}{\overset{b}{\int }}\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}\left|{\Theta }_1^k(·)-{\Theta }_1^{k-1}(·)\right|d\theta d\zeta d\varsigma \right.$$

$$\left.+\sqrt{\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\left|K_2^{}(x,y)\right|}^{2}dxdy}\underset{-a}{\overset{0}{\int }}\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}\left|{\Theta }_2^k(·)-{\Theta }_2^{k-1}(·)\right|d\theta d\zeta d\varsigma \right]$$

$$\le {\gamma }_1{\gamma }_2\left[K_{01}\underset{0}{\overset{b}{\int }}\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}\left|{\Theta }_{11}(\zeta ,\varsigma )\right|·\left|\sum _{i,j=1}^{\infty }{\theta }^{1-\gamma }\left[u_{i,j}^k\left(\theta \right)-u_{i,j}^{k-1}\left(\theta \right)\right]{\vartheta }_{i,j}(\zeta ,\varsigma )\right|d\theta d\zeta d\varsigma \right.$$

$$\left.+K_{02}\underset{-a}{\overset{0}{\int }}\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}\left|{\Theta }_{12}(\zeta ,\varsigma )\right|·\left|\sum _{i,j=1}^{\infty }\left[u_{i,j}^k\left(\theta \right)-u_{i,j}^{k-1}\left(\theta \right)\right]{\vartheta }_{i,j}(\zeta ,\varsigma )\right|d\theta d\zeta d\varsigma \right]$$

$$\le {\gamma }_1{\gamma }_2\left[K_{01}{∥{\Theta }_{11}(x,y)∥}_{L_2{[0;l]}^2}\underset{0}{\overset{b}{\int }}{∥{\theta }^{1-\gamma }\left(u^k(\theta ,\omega )-u^{k-1}(\theta ,\omega )\right)∥}_{B_2[0;b]}d\theta \right.$$

$$\left.+K_{02}{∥{\Theta }_{12}(x,y)∥}_{L_2{[0;l]}^2}\underset{-a}{\overset{0}{\int }}{∥u^k(\theta ,\omega )-u^{k-1}(\theta ,\omega )∥}_{B_2[-a;0]}d\theta \right]$$

$$\le {\gamma }_1{\gamma }_2\left[b{K}_{01}{\Theta }_{21}{∥t^{1-\gamma }\left(u^k(t,\omega )-u^{k-1}(t,\omega )\right)∥}_{B_2[0;b]}\right.$$

$$\left.+a{K}_{02}{\Theta }_{22}{∥u^k(t,\omega )-u^{k-1}(t,\omega )∥}_{B_2[-a;0]}\right].$$

(48)

When $t<0$, by virtue of the conditions of the theorem and applying the Cauchy–Schwarz inequality and Bessel inequality to (45) we similarly obtain the following estimates:

$${∥u^0(t,\omega )∥}_{B_2[-a;0]}\le \underset{t\in [-a;0]}{max}\sum _{n,m=1}^{\infty }\left|{\phi }_n\right|\left|{\xi }_{1nm}(t,\omega )\right|$$

$$\le {\gamma }_2{\gamma }_3{∥{\phi }_{xxxxyyyy}(x,y)∥}_{L_2{[0;l]}^2}<\infty ,$$

(49)

where ${\gamma }_3={\chi }_{21}{\left(\frac{l}{\pi }\right)}^8$;

$${∥u^1(t,\omega )-u^0(t,\omega )∥}_{B_2[-a;0]}\le \underset{t\in [-a;0]}{max}\sum _{n,m=1}^{\infty }\left|f_{1n,m}^0(·)\right|·\left|{\xi }_{2nm}(t,\omega )\right|$$

$$+\underset{t\in [-a;0]}{max}\sum _{n,m=1}^{\infty }\left|f_{2n,m}^0(·)\right|·\left|{\xi }_{3nm}(t,\omega )\right|\le {\gamma }_2{\gamma }_3\left[{∥f_{1xxxxyyyy}(x,y,·)∥}_{L_2{[0;l]}^2}\right.$$

$$\left.+{∥f_{2xxxxyyyy}(x,y,·)∥}_{L_2{[0;l]}^2}\right]={\gamma }_2{\gamma }_3\left({\chi }_{31}+{\chi }_{32}\right)<\infty ;$$

(50)

$${∥u^{k+1}(t,\omega )-u^k(t,\omega )∥}_{B_2[-a;0]}\le \underset{t\in [-a;0]}{max}\sum _{n,m=1}^{\infty }\left|f_{1n,m}^k(·)-f_{1n,m}^{k-1}(·)\right|\left|{\xi }_{2nm}(t,\omega )\right|$$

$$+\underset{t\in [-a;0]}{max}\sum _{n,m=1}^{\infty }\left|f_{2n,m}^k(·)-f_{2n,m}^{k-1}(·)\right|·\left|{\xi }_{3nm}(t,\omega )\right|$$

$$\le {\gamma }_2{\gamma }_3\left[{∥K_1(x,y)∥}_{L_2{[0;l]}^2}\underset{0}{\overset{b}{\int }}\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}\left|{\Theta }_1^k(·)-{\Theta }_1^{k-1}(·)\right|d\theta d\zeta d\varsigma \right.$$

$$\left.+{∥K_2(x,y)∥}_{L_2{[0;l]}^2}\underset{-a}{\overset{0}{\int }}\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}\left|{\Theta }_2^k(·)-{\Theta }_2^{k-1}(·)\right|d\theta d\zeta d\varsigma \right]$$

$$\le {\gamma }_2{\gamma }_3\left[K_{01}{∥{\Theta }_{11}(x,y)∥}_{L_2{[0;l]}^2}\underset{0}{\overset{b}{\int }}{∥{\theta }^{1-\gamma }\left(u^k(\theta ,\omega )-u^{k-1}(\theta ,\omega )\right)∥}_{B_2[0;b]}d\theta \right.$$

$$\left.+K_{02}{∥{\Theta }_{12}(x,y)∥}_{L_2{[0;l]}^2}\underset{-a}{\overset{0}{\int }}{∥u^k(\theta ,\omega )-u^{k-1}(\theta ,\omega )∥}_{B_2[-a;0]}d\theta \right]$$

$$\le {\gamma }_2{\gamma }_3\left[b{K}_{01}{\Theta }_{21}{∥t^{1-\gamma }\left(u^k(t,\omega )-u^{k-1}(t,\omega )\right)∥}_{B_2[0;b]}\right.$$

$$\left.+a{K}_{02}{\Theta }_{22}{∥u^k(t,\omega )-u^{k-1}(t,\omega )∥}_{B_2[-a;0]}\right].$$

(51)

Adding inequalities (48) and (51), we obtain:

$${∥u^{k+1}(t,\omega )-u^k(t,\omega )∥}_{B_2[-a;b]}\le \rho {∥u^k(t,\omega )-u^{k-1}(t,\omega )∥}_{B_2[-a;b]},$$

(52)

where $\rho ={\gamma }_2\left({\gamma }_1+{\gamma }_3\right){\gamma }_4$, ${\gamma }_4=max\left\{b{K}_{01}{\Theta }_{21};a{K}_{02}{\Theta }_{22}\right\}$.

According to the last condition of the theorem there is $\rho ={\gamma }_2\left({\gamma }_1+{\gamma }_3\right){\gamma }_4<1$. Therefore from the estimates (46), (47), (49), (50) and (52) implies that the operators on the right side of (30), and (31) are compressive and there exists a unique fixed point for these operators. Therefore the SCSNIE (30) and (31) are uniquely solvable in the space $B_2[-a;b]$ for regular spectral values of parameter $\omega \in \aleph$. Theorem 1 is thus proved. □

6. Convergence of Fourier Series

Substituting SCSNIE (30) and (31) into the Fourier series (17), we obtain:

$$U(t,x,y,\omega )=\sum _{n,m=1}^{\infty }{\vartheta }_{n,m}(x,y)\left[{\phi }_{n,m}{\eta }_{1n,m}(t,\omega )+{\eta }_{2n,m}(t,\omega )f_{1n,m}(·)\right.$$

$$\left.+{\eta }_{3n,m}(t,\omega )f_{2n,m}(·)\right],(t,x,y)\in {\Omega }_1,$$

(53)

$$U(t,x,y,\omega )=\sum _{n,m=1}^{\infty }{\vartheta }_{n,m}(x,y)\left[{\phi }_{n,m}{\xi }_{1n,m}(t,\omega )+{\xi }_{2n,m}(t,\omega )f_{1n,m}(·)\right.$$

$$\left.+{\xi }_{3n,m}(t,\omega )f_{2n,m}(·)\right],(t,x,y)\in {\Omega }_2,$$

(54)

where

$$f_{1n,m}(·)=\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{f}_1\left(x,y,\underset{0}{\overset{b}{\int }}\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\Theta }_1\left(\theta ,\zeta ,\varsigma ,\sum _{i,j=1}^{\infty }{\theta }^{1-\gamma }{u}_{i,j}\left(\theta \right){\vartheta }_{i,j}(\zeta ,\varsigma )\right)d\theta d\zeta d\varsigma \right){\vartheta }_{n,m}(x,y)dxdy,$$

$$f_{2n,m}(·)=\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{f}_2\left(x,y,\underset{-a}{\overset{0}{\int }}\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}{\Theta }_2\left(\theta ,\zeta ,\varsigma ,\sum _{i,j=1}^{\infty }{u}_{i,j}\left(\theta \right){\vartheta }_{i,j}(\zeta ,\varsigma )\right)d\theta d\zeta d\varsigma \right){\vartheta }_{n,m}(x,y)dxdy.$$

Theorem 2.

Let conditions of the Theorem 1 be fulfilled. Then for regular values of the spectral parameter $\omega \in \aleph$ the Fourier series (53) and (54) are convergent absolutely and uniformly in the domain ${\Omega }_1$ and ${\Omega }_2$, respectively. The series (53) and (54) possess the Properties (2).

Proof. 

We prove the absolutely and uniformly convergence of series (53) and (54). Similarly to the estimates (46), (47) and (49), (50), we obtain:

$$\left|t^{1-\gamma }U(t,x,y,\omega )\right|\le \underset{t\in [0;b]}{max}\sum _{n,m=1}^{\infty }\left|t^{1-\gamma }{u}_{n,m}(t,\omega )\right|·\left|{\vartheta }_{nm}(x,y)\right|$$

$$\le \frac{2}{l}\underset{t\in [0;b]}{max}\left[\sum _{n,m=1}^{\infty }\left|{\phi }_{n,m}(·)\right|·\left|t^{1-\gamma }{\eta }_{1nm}(t,\omega )\right|+\sum _{n,m=1}^{\infty }\left|f_{1n,m}(·)\right|·\left|t^{1-\gamma }{\eta }_{2nm}(t,\omega )\right|\right.$$

$$\left.+\sum _{n,m=1}^{\infty }\left|f_{2n,m}(·)\right|·\left|t^{1-\gamma }{\eta }_{3nm}(t,\omega )\right|\right]$$

$$\le \frac{2}{l}{\gamma }_1\left[\sum _{n,m=1}^{\infty }\frac{1}{n^4{m}^4}\left|{\phi }_{n,m}^{\left(VIII\right)}\right|+\sum _{n,m=1}^{\infty }\frac{1}{n^4{m}^4}\left|f_{1n,m}^{\left(VIII\right)}(·)\right|+\sum _{n,m=1}^{\infty }\frac{1}{n^4{m}^4}\left|f_{2n,m}^{\left(VIII\right)}(·)\right|\right]$$

$$\le {\gamma }_5\left[{∥{\phi }_{xxxxyyyy}(x,y)∥}_{L_2{[0;l]}^2}+{∥f_{1xxxxyyyy}(x,y,·)∥}_{L_2{[0;l]}^2}\right.$$

$$\left.+{∥f_{2xxxxyyyy}(x,y,·)∥}_{L_2{[0;l]}^2}\right]={\gamma }_5\left({\chi }_{30}+{\chi }_{31}+{\chi }_{32}\right)<\infty ,{\gamma }_5=\frac{2}{l}{\gamma }_1{\gamma }_2;$$

(55)

$$\left|U(t,x,y,\omega )\right|\le \underset{t\in [-a;0]}{max}\sum _{n,m=1}^{\infty }\left|u_{n,m}(t,\omega )\right|·\left|{\vartheta }_{nm}(x,y)\right|$$

$$\le \frac{2}{l}\underset{t\in [-a;0]}{max}\left[\sum _{n,m=1}^{\infty }\left|{\phi }_{n,m}(·)\right|·\left|{\xi }_{1nm}(t,\omega )\right|+\sum _{n,m=1}^{\infty }\left|f_{1n,m}(·)\right|·\left|{\xi }_{2nm}(t,\omega )\right|\right.$$

$$\left.+\sum _{n,m=1}^{\infty }\left|f_{2n,m}(·)\right|·\left|{\xi }_{3nm}(t,\omega )\right|\right]\le \frac{2}{l}{\gamma }_3\left[\sum _{n,m=1}^{\infty }\frac{1}{n^4{m}^4}\left|{\phi }_{n,m}^{\left(VIII\right)}\right|\right.$$

$$\left.+\sum _{n,m=1}^{\infty }\frac{1}{n^4{m}^4}\left|f_{1n,m}^{\left(VIII\right)}(·)\right|+\sum _{n,m=1}^{\infty }\frac{1}{n^4{m}^4}\left|f_{2n,m}^{\left(VIII\right)}(·)\right|\right]$$

$$\le {\gamma }_6\left({\chi }_{30}+{\chi }_{31}+{\chi }_{32}\right)<\infty ,{\gamma }_6=\frac{2}{l}{\gamma }_2{\gamma }_3.$$

(56)

Similarly to case of (55) and (56), it is easy to prove that the following series are convergent absolutely and uniformly in the domain ${\Omega }_1$ and ${\Omega }_2$, respectively:

$$t^{1-\gamma }{D}^{\alpha ,\gamma }U(t,x,y,\omega )=\sum _{n,m=1}^{\infty }{t}^{1-\gamma }{D}^{\alpha ,\gamma }{u}_{n,m}(t,\omega ){\vartheta }_{n,m}(x,y),(t,x,y)\in {\Omega }_1,$$

(57)

$$t^{1-\gamma }\frac{{\partial }^{k}U(t,x,y,\omega )}{\partial x^k}={(-1)}^{k+1}\sum _{n,m=1}^{\infty }{t}^{1-\gamma }{u}_{n,m}(t,\omega ){\mu }_n^k{\vartheta }_{n,m}(x,y),k=1,2,(t,x,y)\in {\Omega }_1,$$

(58)

$$t^{1-\gamma }\frac{{\partial }^{k}U(t,x,y,\omega )}{\partial y^k}={(-1)}^{k+1}\sum _{n,m=1}^{\infty }{t}^{1-\gamma }{u}_{n,m}(t,\omega ){\mu }_m^k{\vartheta }_{n,m}(x,y),k=1,2,(t,x,y)\in {\Omega }_1,$$

(59)

$$\frac{{\partial }^{2}U(t,x,y,\omega )}{\partial t^2}=\sum _{n,m=1}^{\infty }\frac{d^2{u}_{n,m}(t,\omega )}{d{t}^2}{\vartheta }_{n,m}(x,y),(t,x,y)\in {\Omega }_2,$$

(60)

$$\frac{{\partial }^{k}U(t,x,y,\omega )}{\partial x^k}={(-1)}^{k+1}\sum _{n,m=1}^{\infty }{u}_{n,m}(t,\omega ){\mu }_n^k{\vartheta }_{n,m}(x,y),k=1,2,(t,x,y)\in {\Omega }_2,$$

(61)

$$\frac{{\partial }^{k}U(t,x,y,\omega )}{\partial y^k}={(-1)}^{k+1}\sum _{n,m=1}^{\infty }{u}_{n,m}(t,\omega ){\mu }_m^k{\vartheta }_{n,m}(x,y),k=1,2,(t,x,y)\in {\Omega }_2.$$

(62)

Theorem 2 is proved. □

7. Irregular Value of Spectral Parameter $\omega$

We note that ${\Delta }_{n,m}\left(\omega \right)=0$ for irregular values of the spectral parameter $\omega \in \Im$ and $n,m=k,s$$(\gamma \ne 1)$. Then, for the solvability of systems (25) and (26), it is necessary and sufficient that the orthogonality conditions are satisfied:

$${\phi }_{k,s}=\underset{0}{\overset{l}{\int }}\underset{0}{\overset{l}{\int }}\phi (x,y){\vartheta }_{k,s}(x,y)dxdy=0.$$

(63)

In this case, by virtue of (32), the solutions of nonlocal problem are represented as:

$$U(t,x,y)=\sum _{k,s=1}^{\infty }{C}_{k,s}\left[t^{\gamma -1}{E}_{\alpha ,\gamma }\left(-{\lambda }_{k,s}^2{t}^{\alpha }\right)+f_{1k,s}(·)h_{1k,s}\left(t\right)\right]{\vartheta }_{k,s}(x,y),(t,x,y)\in {\Omega }_1,$$

(64)

$$U(t,x,y)=\sum _{k,s=1}^{\infty }{C}_{k,s}\left[sin{\lambda }_{k,s}\omega t+cos{\lambda }_{k,s}\omega t+f_{2k,s}(·)h_{2k,s}\left(t\right)\right]{\vartheta }_{k,s}(x,y),(t,x,y)\in {\Omega }_2,$$

(65)

where $k,s=k_1,\dots ,k_s$, $C_{k,s}$ are arbitrary constants.

The absolute and uniform convergence of the obtained series (64) and (65) is clear, since $C_{k,s}$ are arbitrary numbers. Them we can select that these series converge. We recall that the Fourier coefficient functions $f_{1k,s}(·)$ and $f_{2k,s}(·)$ in (64) and (65) satisfy the properties (43) and (44).

8. Conclusions

In this paper, we considered a nonlocal boundary value problem $T_{\omega }$ for a weak nonlinear partial differential equation of mixed type with fractional Hilfer operator $D^{\alpha ,\gamma }$ in a positive rectangular domain ${\Omega }_1=\{0<t<b,0<x,y<l\}$ and with spectral parameter $\omega$ in a negative rectangular domain ${\Omega }_2=\{-a<t<0,0<x,y<l\}$.

The set of positive solutions ℑ of trigonometric Equation (33) with respect to spectral parameter $\omega$ was called a set of irregular values of the spectral parameter $\omega$. The set of the remaining values of the spectral parameter $\aleph =(0;\infty )\setminus \Im$ was called a set of regular values of the spectral parameter $\omega$. For all regular values of the spectral parameter $\omega$ the quantity ${\Delta }_{n,m}\left(\omega \right)$ was nonzero. So, for large $n,m$ the values of ${\Delta }_{n,m}\left(\omega \right)$ could not become quite small and there the problem of “small denominators” did not arise. Therefore, for regular values of the spectral parameter $\omega$ the quantity ${\Delta }_{n,m}\left(\omega \right)$ was separated from zero and we considered the questions of one value solvability of the considering boundary value problems (1)–(5).

We studied the boundary value problem $T_{\omega }$ with following assumptions:

$$\phi (x,y)\in C^3{[0;l]}^2,{\phi }_{xxxx}(x,y)\in L_2{[0;l]}^2,{\phi }_{yyyy}(x,y)\in L_2{[0;l]}^2;$$

$$f_i(x,y,u)\in C_{x,y,u}^{3,3,0}\left({[0;l]}^2\times \mathbb{R}\right),f_{ixxxx}(x,y,u)\in L_2\left({[0;l]}^2\times \mathbb{R}\right),$$

$$f_{iyyyy}(x,y,u)\in L_2\left({[0;l]}^2\times \mathbb{R}\right);$$

$${\chi }_{11}=\underset{i=\overline{1,3}}{max}\underset{n,m\in \mathbb{N}}{max}\underset{t\in [0;b]}{max}\left|t^{1-\gamma }{\eta }_{inm}(t,\omega )\right|<\infty ;{\chi }_{21}=\underset{i=\overline{1,3}}{max}\underset{n,m\in \mathbb{N}}{max}\underset{t\in [-a;0]}{max}\left|{\xi }_{inm}(t,\omega )\right|<\infty ;$$

$${\chi }_{30}={∥{\phi }_{xxxxyyyy}(x,y)∥}_{L_2{[0;l]}^2}<\infty ;{\chi }_{3i}={∥f_{ixxxxyyyy}(x,y,\gamma )∥}_{L_2{[0;l]}^2}<\infty ;$$

$$\left|f_{ixxxxyyyy}(x,y,{\gamma }_1)-f_{ixxxxyyyy}(x,y,{\gamma }_2)\right|\le K_i(x,y)\left|{\gamma }_1-{\gamma }_2\right|],$$

$$K_{0i}={∥K_i(x,y)∥}_{L_2{[0;l]}^2}<\infty ;$$

$$\left|{\Theta }_i(\xi ,x,y,u_1)-{\Theta }_i(\xi ,x,y,u_2)\right|\le {\Theta }_{1i}(x,y)\left|u_1-u_2\right|,$$

$${\Theta }_{2i}={∥{\Theta }_{1i}(x,y)∥}_{L_2{[0;l]}^2}<\infty ,i=1,2;$$

$$\rho ={\gamma }_2\left({\gamma }_1+{\gamma }_3\right){\gamma }_4<1,{\gamma }_4=max\left\{b{K}_{01}{\Theta }_{21};a{K}_{02}{\Theta }_{22}\right\}.$$

If these conditions were fulfilled, then the boundary value problem $T_{\omega }$ was uniquely solvable for regular values of the spectral parameter $\omega \in \aleph$ with these solutions represented in the form of the Fourier series (53) and (54) in the domains ${\Omega }_1$ and ${\Omega }_2$, respectively. There the series (53), (54) and (57)–(62) were convergent absolutely and uniformly in the corresponding domains ${\Omega }_1$ or ${\Omega }_2$.

For irregular values of the spectral parameter $\omega \in \Im$ and for some $k,s=k_1,\dots ,k_s$ the problem $T_{\omega }$ had an infinite number of solutions in the form of series (64) and (65), if there the condition (63) was fulfilled.