Journal of Function Spaces
Volume 2017 (2017), Article ID 2932134, 8 pages
https://doi.org/10.1155/2017/2932134

Research Article

On Solvability of Third-Order Operator Differential Equation with Parabolic Principal Part in Weighted Space

Araz R. Aliev,1,2 Sabir S. Mirzoev,2,3 and Mustafa A. Soylemezo⁴

¹Azerbaijan State Oil and Industry University, 1010 Baku, Azerbaijan
²Institute of Mathematics and Mechanics of ANAS, 1141 Baku, Azerbaijan
³Baku State University, 1148 Baku, Azerbaijan
⁴Baku Engineering University, Khirdalan City, 0101 Baku, Azerbaijan

Correspondence should be addressed to Sabir S. Mirzoev; mirzoyevsabir@mail.ru

Received 30 April 2017; Accepted 27 September 2017; Published 31 October 2017

Academic Editor: Hugo Leiva

Copyright © 2017 Araz R. Aliev et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

Sufficient conditions are found for the correct and unique solvability of a class of third-order parabolic operator differential equations, whose principal parts have multiple characteristics, in a Sobolev-type space with exponential weight. The estimates for the norms of intermediate derivative operators are obtained and the relationship between these estimates and solvability conditions is established. Besides, the connection is found between the order of exponential weight and the lower bound for the spectrum of abstract operator appearing in the principal part of the equation.

1. Problem Statement

Let be a separable Hilbert space with the scalar product , , and let be a self-adjoint positive definite operator in (, , is a unit operator). Denote by () a scale of Hilbert spaces generated by the operator ; that is, , , . For , we assume that , , .

Denote by () a space of measurable (see [1]) functions with the values in equipped with the norm

and by a space of functions with the values in such that , , equipped with the norm

For more details on the space see [2, Chapter 1].

Note that throughout this paper all the derivatives are understood in the sense of the theory of distributions, and the operator is defined by the spectral decomposition of the operator ; that is, where is a decomposition of the unit of the operator .

Now, let us recall one fact related to the space .

It is known that if , then the inequalities

are valid, where , , are constants independent of function . This fact is referred to as the intermediate derivatives theorem (see [2, Chapter 1]). Also, these inequalities are usually referred to as Kolmogorov-type inequalities.

Let . For the functions defined on with the values in , we introduce the following spaces with the weight :

Obviously, in case we get the spaces , .

In the sequel, by we will mean a set of linear bounded operators from the Hilbert space to another Hilbert space . If , we will write instead of . By we will denote the spectrum of the operator .

Consider the operator differential equation

where , , , are linear and, in general, unbounded operators, , .

Definition 1. If for every there exists a vector function which satisfies (5) almost everywhere with

then this vector function is called a regular solution of (5), and (5) is said to be regularly solvable.

The principal part of (5) has multiple characteristics, so, according to the classification of [3], this equation belongs to the class of parabolic operator differential equations. The equations of form (5) characterize the problems of diffusion or heat conductivity in viscoelastic media [4]. Besides, such equations are also interesting in view of the fact that some classes of equations, which can be useful in modeling the problems of world population growth, can be reduced to them [5].

Note that the solvability issues for the operator differential equations in the spaces without weights have been studied quite widely (see Krein [6], Lions and Magenes [2], V. I. Gorbachuk and M. L. Gorbachuk [7], Goldstein [8], Yakubov [9, 10], S. Yakubov and Y. Yakubov [11], and the references therein). Fundamental contribution to this field was made by Gasymov in [12–14]. These issues remain as relevant today as they were long before. A lot of researches appeared in this field over the last years; see, for example, Aliev [15], Aliev and Mirzoev [16], Favini et al. [17], Favini and Yakubov [18, 19], Favini et al. [20], Mirzoev et al. [21, 22], Aliev and Yakubov [23, 24], and Mirzoev et al. [25].

Despite the number of works covering the solvability of operator differential equations in weighted spaces being relatively small (see, e.g., Dubinskiĭ [3], Shkalikov [26], Mirzoev [27], and Aliev [28]), recently a lot of works appeared dedicated to the issues of regular and normal solvability in weighted spaces for operator differential equations with multiple characteristics (see Aliev [29], Mirzoev and Humbataliev [30], Aliev and Elbably [31], and Aliev and Lachinova [32]). But the equations considered in the above-mentioned works, except for [32], belong to the class of quasi-elliptic operator differential equations [3]. In [32], the initial-boundary value problem was studied for parabolic equation on the half-axis .

In this work, we find the regular solvability conditions for (5) on the entire axis. We also obtain the estimates for the norms of intermediate derivative operators in a Sobolev-type space through the norm of the operator generated by the principal part of (5) (it should be noted here that the estimates for the norms of intermediate derivatives for scalar functions have been obtained in [33, 34] and the references therein). Moreover, we establish the relationship between these estimates and the regular solvability conditions for (5). The found regular solvability conditions are expressed in terms of operator coefficients of (5), which makes them easily verifiable and convenient for use both in theoretical problems and in applications.

2. Solvability of (5) in When ,

We first consider (5) in case .

Denote by the operator acting from to as follows:

The following theorem is true.

Theorem 2. Let be a self-adjoint positive definite operator with the lower bound for its spectrum and . Then the operator performs an isomorphism between the spaces and .

Proof. Let us make a change in the equation

, . Then . As

we have

Taking into account the fact that , we can rewrite (10) in the form

in the space ; that is, , .
Denote

Then (11) can be rewritten as follows:

where , . To solve the last equation, we make use of the Fourier transform:

where , are Fourier transforms of the vector functions , , respectively. Let us show that for the operator pencil

is invertible. In fact, let . Then the characteristic polynomial (15) has the form

Hence we have

that is, the spectral decomposition of the operator implies the invertibility of the operator pencil for . Consequently, from (14) we can find :

Thus,

It is clear that satisfies (11) almost everywhere.
Let us prove that . In fact, by virtue of well-known Plancherel theorem, it suffices to show that and . Obviously,

As

let us estimate the norm   for . Spectral theory of self-adjoint operators implies

Consequently,

Similarly we have

Hence, for and we obtain

Consequently,

Thus, .
It is clear that the vector function belongs to and is a regular solution of (8).
It is also clear that the equation has only trivial solution in the space .
Now let us show that is a bounded operator from the space to the space . In fact, by virtue of Cauchy-Schwarz and Young inequalities, for , we have

Then, taking into account intermediate derivatives theorem [2, Chapter 1], we get

that is,

So we obtain that the operator : is one-to-one and bounded. Then, by the Banach theorem on inverse operator, the operator : is bounded.
Thus, is an isomorphism between the spaces and . Theorem is proved.

Theorem 2 has the following.

Corollary 3. When , the norms and are equivalent in the space .

Remark 4. For , the operator is noninvertible.
As is known, the intermediate derivative operators

are continuous [2]. By virtue of this fact and Corollary 3, the norms of the operators (30) can be estimated through .

Theorem 5. Let be a self-adjoint positive definite operator with the lower bound for its spectrum and . Then, for every the following inequalities are true:

where

Proof. As the mapping is an isomorphism between the spaces and , to prove inequalities (31) it suffices to estimate the norms , , by . Then, making a change and applying Fourier transform, we obtain

Consequently, for and , we need to estimate the norms

Consider the case . Solving extremal problem, we have

where if , and if .
For , we have

where if , and if .
Thus, considering the obtained estimates in inequalities (33), we have

The latter inequalities, in turn, are equivalent to the following ones:

Theorem is proved.

3. Solvability of (5) in When ,

Denote by the operator acting from to as follows:

The following lemma is true.

Lemma 6. Let be a self-adjoint positive definite operator in and let , . Then the operator is bounded from to .

Proof. By the conditions of lemma, for , we have

Using intermediate derivatives theorem [2, Chapter 1], we get

Lemma is proved.

The obtained results allow studying (5) in case , .

Denote by the operator which acts from to as follows:

The lemma below can be proved with the help of Theorem 2 and Lemma 6.

Lemma 7. Let be a self-adjoint positive definite operator in and let , . Then the operator acts boundedly from to .

Now let us state the main result of this work.

Theorem 8. Let , , , and , , and let the inequality

be true, where the numbers and are defined as in Theorem 5. Then (5) is regularly solvable.

Proof. Let us write (5) in the form of operator equation:

where , .
By Theorem 2, (8) is regularly solvable. Make a change and rewrite (44) as follows:

By Theorem 5, for every , we have

As the operator is invertible in the space , when

we can define by the formula

and we have

Theorem is proved.

Theorem 8 has the following.

Corollary 9. Under the conditions of Theorem 8, the operator is an isomorphism between the spaces and .

In conclusion, let us illustrate our main result by the example of a problem for a partial differential equation. Consider the following problem on the strip :

where , and , are the functions bounded on . The problem (50) can be easily reduced to (5), with , , , and the operator being defined in by the equality and the conditions . In this case, . Applying Theorem 8, we obtain that if and

where

then problem (50) has a unique solution in the space .

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

References

E. Hille and R. S. Phillips, Functional analysis and semi-groups, American Mathematical Society Colloquium Publications, vol. 31, American Mathematical Society, Providence, RI, USA, 1957.

J. L. Lions and E. Magenes, Non-Homogeneous Boundary Value Problems and Applications, Springer, Berlin, Germany, 1972.

Ju. A. Dubinskiĭ, “On some differential-operator equations of arbitrary order,” Mathematics of the USSR-Sbornik, vol. 19, no. 1, pp. 1–21, 1973, (published in Matematicheskii Sbornik, vol. 90 (132), no. 1, pp. 3-22, 1973).

M. H. Ilyasov, “Mixed problems for a class of pseudoparabolic equations,” Indian Journal of Pure and Applied Mathematics, vol. 38, no. 2, pp. 97–103, 2007.

S. P. Kapitza, “A mathematical model for global population growth,” Matematicheskoe Modelirovanie, vol. 4, no. 6, pp. 65–79, 1992 (Russian).

S. G. Krein, Linear Differential Equations in a Banach Space, Nauka, Moscow, Russia, 1967.

V. I. Gorbachuk and M. L. Gorbachuk, Boundary Value Problems for Operator-Differential Equations, Naukova Dumka, Kiev, Ukraine, 1984.

J. A. Goldstein, Semigroups of Linear Operators and Applications, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York, NY, USA, 1985.

S. Ya. Yakubov, Linear Differential-Operator Equations and their Applications, Elm, Baku, Azerbaijan, 1985.

S. Yakubov, Completeness of Root Functions of Regular Differential Operators, vol. 71 of Pitman Monographs and Surveys in Pure and Applied Mathematics, Longman, Scientific and Technical, New York, NY, USA, 1994.

S. Yakubov and Y. Yakubov, Differential-Operator Equations, vol. 103 of Chapman & Hall/CRC Monographs and Surveys in Pure and Applied Mathematics, Chapman and Hall/CRC, Boca Raton, Fla, USA, 2000.

M. G. Gasymov, “On the theory of polynomial operator pencils,” Soviet Mathematics - Doklady, vol. 12, pp. 1143–1147, 1972, (published in Doklady Akademii Nauk SSSR, vol. 199, no. 4, pp. 747-750, 1971).

M. G. Gasymov, “The multiple completeness of part of the eigen- and associated vectors of polynomial operator bundles,” Izvestija Akademii Nauk Armjanskoui SSR. Serija Matematika, vol. 6, no. 2-3, pp. 131–147, 1971 (Russian).

M. G. Gasymov, “On the solubility of boundary value problems for a class of operator-differential equations,” Soviet Mathematics - Doklady, vol. 18, pp. 943–947, 1977, (published in Doklady Akademii Nauk SSSR, vol. 235, no. 3, pp. 505-508, 1977).

A. R. Aliev, “On the solvability of initial-boundary value problems for a class of third-order operator-differential equations,” Mathematical Notes, vol. 90, no. 3, pp. 307–321, 2011, (published in Matematicheskie Zametki, vol. 90, no. 3, pp. 323-339, 2011).

A. R. Aliev and S. S. Mirzoev, “On the theory of the solvability of boundary value problems for a class of higher-order operator-differential equations,” Functional Analysis and Its Applications, vol. 44, no. 3, pp. 209–211, 2010, (published in Funktsional'nyi Analiz i ego Prilozheniya, vol. 44, no. 3, pp. 63-65, 2010).

A. Favini, V. Shakhmurov, and Y. Yakubov, “Regular boundary value problems for complete second order elliptic differential-operator equations in {UMD} Banach spaces,” Semigroup Forum, vol. 79, no. 1, pp. 22–54, 2009.

A. Favini and Y. Yakubov, “Higher order ordinary differential-operator equations on the whole axis in {UMD} Banach spaces,” Differential and Integral Equations, vol. 21, no. 5-6, pp. 497–512, 2008.

A. Favini and Y. Yakubov, “Irregular boundary value problems for second order elliptic differential-operator equations in {UMD} Banach spaces,” Mathematische Annalen, vol. 348, no. 3, pp. 601–632, 2010.

A. Favini, R. Labbas, K. Lemrabet, S. Maingot, and H. D. Sidib\'e, “Transmission problem for an abstract fourth-order differential equation of elliptic type in {UMD} spaces,” Advances in Differential Equations, vol. 15, no. 1-2, pp. 43–72, 2010.

S. S. Mirzoev, A. R. Aliev, and L. A. Rustamova, “Solvability conditions for boundary-value problems for elliptic operator-differential equations with discontinuous coefficient,” Mathematical Notes, vol. 92, no. 5-6, pp. 722–726, 2012, (published in Matematicheskie Zametki, vol. 92, no. 5, pp. 789-793, 2012).

S. S. Mirzoev, A. R. Aliev, and L. A. Rustamova, “On the boundary value problem with the operator in boundary conditions for the operator-differential equation of second order with discontinuous coefficients,” Journal of Mathematical Physics, Analysis, Geometry, vol. 9, no. 2, pp. 207–226, 2013.

B. A. Aliev and Y. Yakubov, “Fredholm property of boundary value problems for a fourth-order elliptic differential-operator equation with operator boundary conditions,” Differential Equations, vol. 50, no. 2, pp. 213–219, 2014, (published in Differentsial’nye Uravneniya, vol. 50, no. 2, pp. 210-216, 2014).

B. A. Aliev and Y. Yakubov, “Solvability of boundary value problems for second-order elliptic differential-operator equations with a spectral parameter and with a discontinuous coefficient at the highest derivative,” Differential Equations, vol. 50, no. 4, pp. 464–475, 2014, (published in Differentsial’nye Uravneniya, vol. 50, no. 4, pp. 468-479, 2014).

S. S. Mirzoev, A. R. Aliev, and G. M. Gasimova, “Solvability conditions of a boundary value problem with operator coefficients and related estimates of the norms of intermediate derivative operators,” Doklady Mathematics, vol. 94, no. 2, pp. 566–568, 2016, (published in Doklady Akademii Nauk, vol. 470, no. 5, pp. 511-513, 2016).

A. A. Shkalikov, “Elliptic equations in a Hilbert space and related spectral problems,” Journal of Soviet Mathematics, vol. 51, no. 4, pp. 2399–2467, 1990, (published in Trudy Seminara imeni I. G. Petrovskogo, no. 14, pp. 140-224, 1989).

S. S. Mirzoev, “On solvability of boundary-value problems for operator-differential equations of the second order in spaces with weight,” in Linear Operators and Their Applications, Baku, Azerbaijan, pp. 46–49, 1989.

A. R. Aliev, “On the solvability of a boundary value problem for a class of third-order operator-differential equations in a weighted space,” Russian Mathematical Surveys, vol. 60, no. 4, pp. 791–793, 2005, (published in Uspekhi Matematicheskikh Nauk, vol. 60, no. 4 (364), pp. 215-216, 2005).

A. R. Aliev, “On the solvability of a fourth-order operator-differential equation with multiple characteristic,” Ukrainian Mathematical Journal, vol. 66, no. 5, pp. 781–791, 2014, (published in Ukrains’kyi Matematychnyi Zhurnal, vol. 66, no. 5, pp. 699-707, 2014).

S. S. Mirzoev and R. Z. Humbataliev, “On normal solvability of boundary value problems for operator-differential equations on semi-axis in weight space,” Taiwanese Journal of Mathematics, vol. 15, no. 4, pp. 1637–1650, 2011.

A. R. Aliev and A. L. Elbably, “On the solvability in a weighted space of a third-order operator-differential equation with multiple characteristics,” Doklady Mathematics, vol. 85, no. 2, pp. 233–235, 2012, (published in Doklady Akademii Nauk, vol. 443, no. 4, pp. 407-409, 2012).

A. R. Aliev and F. S. Lachinova, “On the solvability in a weighted space of an initial–boundary value problem for a third-order operator-differential equation with a parabolic principal part,” Doklady Mathematics, vol. 93, no. 1, pp. 85–88, 2016, (published in Doklady Akademii Nauk, vol. 466, no. 6, pp. 637-640, 2016).

V. I. Burenkov, “Exact constants in inequalities for norms of intermediate derivatives on a finite interval,” Akademiya Nauk Soyuza Sovetskikh Sotsialisticheskikh Respublik. Trudy Matematicheskogo Instituta imeni V. A. Steklova, vol. 156, pp. 23–30, 1983, (published in Investigations in the theory of differentiable functions of many variables and its applications. Part 8, Work collection, Trudy Matematicheskogo Instituta imeni V. A. Steklova, vol. 156, pp. 22-29, 1980).

G. G. Magaril-Il'yaev and V. M. Tikhomirov, “Kolmogorov-type inequalities for derivatives,” Sbornik: Mathematics, vol. 188, no. 12, pp. 1799–1832, 1997, (published in Matematicheskii Sbornik, vol. 188, no. 12, pp. 73-106, 1997).