# On the Correct Solvability of the Boundary-Value Problem for One Class Operator-Differential Equations of the Fourth Order with Complex Characteristics

- Araz R Aliev
^{1, 2}Email author and - Aydin A Gasymov
^{1}

**2009**:710386

**DOI: **10.1155/2009/710386

© A.R. Aliev and A.A. Gasymov. 2009

**Received: **19 February 2009

**Accepted: **26 August 2009

**Published: **27 September 2009

## Abstract

Sufficient coefficient conditions for the correct and unique solvability of the boundary-value problem for one class of operator-differential equations of the fourth order with complex characteristics, which cover the equations arising in solving the problems of stability of plastic plates, are obtained in this paper. Exact values of the norms of operators of intermediate derivatives, which are involved in the perturbed part of the operator-differential equation under investigation, are found along with these in subspaces in relation to the norms of the operator generated by the main part of this equation. It is noted that this problem has its own mathematical interest.

## 1. Introduction

It is well known that a number of problems in mechanics lead to studying the completeness of all or part of the eigenvectors and joint vectors of certain polynomial operator groups and the completeness of elementary solutions of the operator-differential equations corresponding to these groups (see, e.g., [1, 2], and their references). In this case, it is first necessary to investigate the correct solvability of Cauchy or boundary-value problems for these equations, and only after this it will be possible to proceed to the abovementioned problems. The present paper is dedicated to the problem of correct solvability of the boundary-value problem for one class of operator-differential equations of the fourth order, considered on a semiaxis.

Let be a separable Hilbert space and be a self-adjoint positively defined operator in .

Definition 1.1.

*If the vector function*
*satisfies ( 1.1 ) almost everywhere in*
*, then it is called a regular solution of ( 1.1 ).*

Definition 1.2.

*If for any*

*, there exists a regular solution of ( 1.1 ) which satisfies boundary condition ( 1.2 ) in the sense that*

*and the inequality*

*holds, then it can be said that problem ( 1.1 ), ( 1.2 ) is regularly solvable.*

It should be noted that the solvability theory for the Cauchy problem and the boundary-value problems for first- and second-order operator-differential equations have been studied in more detail elsewhere. In addition to books [6, 7], these problems have been considered also by Agmon and Nirenberg [8], Gasymov and Mirzoev [9], Kostyuchenko and Shkalikov [10], and in works in their bibliographies. Other papers in which issues of the solvability of various problems for operator-differential equations of higher order have been studied have appeared alongside these works, and sufficiently interesting results have been obtained. Among these papers are those by Gasymov [11, 12], Dubinskii [13], Mirzoev [14], Shakhmurov [15], Shkalikov [16], Aliev [17, 18], Agarwal et al. [19], Favini and Yakubov [20], the book by Yakubov [7], and other works listed in their bibliographies.

Sufficient coefficient conditions for regular solvability of the boundary-value problem stated in (1.1) and (1.2) are presented in this paper. To obtain these conditions, the main challenge is to find the exact values of the norms of operators of intermediate derivatives in subspaces , the norms of which are expressed by the main part of (1.1). This problem has its own mathematical interest (see, e.g., [21, 22], and works given in their bibliographies). Estimation of the norms of operators of intermediate derivatives, which are involved in the perturbed part of (1.1), is performed with the help of a factorization method for one class of polynomial operator groups of eighth order, depending on a real parameter. A similar approach has been presented in [9, 14], which makes it possible to formulate solvability theorems for the boundary-value problems, with conditions which can be easily checked.

It should be noted that if the main part of the equation has the operator in the form , then a biharmonic equation results, which is of mathematical interest not only theoretically, and also from a practical point of view. Many problems of elasticity theory (e.g., the theory of bending of thin elastic slabs [23]) can be reduced to studying the boundary-value problems for such equations. Much research has been performed to investigate the solvability of such problems, for example, that reported in [24]. Operator-differential equations, which are studied in the present paper, include the fourth-order equations which arise when solving the stability problems of plates made of plastic material (see [25, pages 185–196]). It is very difficult to solve such problems because the differential equation must be solved in a more complete form, that is, when the main part of the equation has terms containing and . As a result, the equation has more complex characteristics, and (1.1) is of this type.

Furthermore, let us denote by the spectrum of the operator .

## 2. Auxiliary Results

First, let us study the main part of (1.1):

where .

The following theorem is true.

Theorem 2.1.

is an isomorphism between the spaces and .

Proof.

Because , then from the theorem on trace [3–5], it follows that all elements of the vector belong to . Continuing this process, it is apparent that the operator matrix is boundedly invertible in . Therefore, all . Consequently, . In the same way, it can be established that the equation has only a trivial solution.

are used in the expression .

As a result, is bounded and acts mutually and uniquely from the space to the space . Then, taking into account the Banach theorem on the inverse operator, it can be established that the operator carries out the isomorphism from the space to . Thus, the theorem is proved.

the following statement results.

Lemma 2.2.

Let be bounded operators in . Then the operator is a bounded operator from to .

Proof.

Thus, the lemma is proved.

Now certain properties of polynomial operator groups will be investigated, which will have in the future a special role.

The following can then be established.

Lemma 2.3.

where and the numbers satisfy the following systems of equations:

- (2)for(223)

(3)for

Proof.

and moreover , and the numbers satisfy the systems of equations shown in Lemma 2.3, which are obtained from (2.29) in the process of comparing the coefficients for the same degrees. Then, from the spectral decomposition of operator , the proof of the lemma can be obtained from (2.29). Thus, the lemma is proved.

The next step is to prove the theorem, which will play an important role in future investigations and will show the special importance of the spectral properties of the polynomial operator groups and .

Theorem 2.4.

Proof.

Substituting (2.35) into (2.34), from Lemma 2.3, (2.31) can be obtained. Thus, the theorem is proved.

From Theorem 2.4, it follows that:

Corollary 2.5.

are continuous [3–5], then the norms of these operators can be estimated using . It is also easy to demonstrate that the norms and are equivalent in the space .

## 3. Norms of the Operators of Intermediate Derivatives

First, let us calculate .

Lemma 3.1.

It holds that

Proof.

where .

because in this case, for sufficiently small , the smallest value is negative for some . Then there exists an interval such that for .

Consequently, , and the lemma is proved.

is true, where is obtained from by removing the first three rows and columns, . The correctness of (3.8) follows directly from Theorem 2.4.

The following statement indicates when the numbers , can be equal to .

Lemma 3.2.

To establish the condition , it is necessary and sufficient that be positive for any .

Proof.

where are uniquely determined from the conditions at zero in (3.12) and (3.13). As a result, writing inequality (3.9) for the vector function , for . Necessity is thereby proved.

As this expression goes to the limit as , it can be observed that , and from this, . Sufficiency is thereby proved, and thus the lemma is completely proved.

It is interesting that for some , it may occur that .

Lemma 3.3.

It holds that if and only if has a solution in the interval ; moreover, this root is equal to .

Proof.

Thus, there exists a vector such that for , . Because is a continuous function of the argument then , and this means that has a root in the interval .

Inversely, if has a root in the interval , then this means that for any the number cannot be positive. This is why, from Lemma 3.2, . Denoting the root of by , it can be seen that , because from the proof of the lemma, it was obtained that for , is positive. Moreover, because , it can be determined that . The lemma is thereby proved.

By generalizing the last two lemmas, the following theorem can be derived.

Theorem 3.4.

Remark 3.5.

*In the same way, it is possible to determine the results for boundary-value problems of the form ( 1.1 ), ( 1.2 ) for*
*having any three values from the collection*
*.*

By considering concretely the cases , the following statement results.

Theorem 3.6.

Proof.

Taking into account the abovementioned procedure for finding the numbers , it is necessary to solve the systems from the proof of Lemma 2.3 together with the equation .

In the case , it can be determined that . This is why . To find the number , it is necessary to solve the system from Lemma 2.3 for together with the equation . In this case, , and consequently and . As a result, . In the case , it is found that . Then, from the corresponding system, it can be obtained that and or . It is clear that . From the other side, if in the equation , it is assumed that , then the result is that , which has only one real root, . Therefore, , and the theorem is proved.

## 4. Solvability Conditions for the Boundary-Value Problem (1.1), (1.2)

The results obtained make it possible to determine sufficient coefficient conditions of regular solvability for the boundary-value problem (1.1), (1.2). In particular, the following main theorem is true.

Theorem 4.1.

is satisfied, where the numbers , are as defined in Theorem 3.6. Then the boundary-value problem (1.1), (1.2) is regularly solvable.

Proof.

Thus, the theorem is proved.

Remark 4.2.

The conditions of regular solvability obtained here for the boundary-value problem (1.1), (1.2) are not improvable in terms of the operator coefficients of (1.1).

the given problem has a unique solution in the space .

## Declarations

### Acknowledgment

The authors have dedicated this paper, in gratitude for useful consultation in their work, as a sign of deep respect to the memory of the Academician of the Azerbaijan National Academy of Sciences, Professor M. G. Gasymov.

## Authors’ Affiliations

## References

- Vorovich II, Kovalchuk VE: On the basis properties of one system of homogeneous solutions.
*Prikladnaya Matematika i Mekhanika [Journal of Applied Mathematics and Mechanics]*1967, 31(5):861–869.MATHMathSciNetGoogle Scholar - Ustinov YA, Yudovich VI: On the completeness of the system of elementary solutions of biharmonic equation on a semi-strip.
*Prikladnaya Matematika i Mekhanika [Journal of Applied Mathematics and Mechanics]*1973, 37(4):706–714.Google Scholar - Lions JL, Magenes E:
*Non-Homogeneous Boundary Value Problems and Applications*. Dunod, Paris, France; 1968.Google Scholar - Lions JL, Magenes E:
*Non-Homogeneous Boundary Value Problems and Applications*. Mir, Moscow, Russia; 1971.Google Scholar - Lions JL, Magenes E:
*Non-Homogeneous Boundary Value Problems and Applications*. Springer, Berlin, Germany; 1972.View ArticleGoogle Scholar - Krein SG:
*Linear Differential Equations in a Banach Space*. Nauka, Moscow, Russia; 1967:464.Google Scholar - Yakubov SY:
*Linear Differential-Operator Equations and Their Applications*. Elm, Baku, Azerbaijan; 1985.Google Scholar - Agmon S, Nirenberg L: Properties of solutions of ordinary differential equations in Banach space.
*Communications on Pure and Applied Mathematics*1963, 16: 121–239. 10.1002/cpa.3160160204MATHMathSciNetView ArticleGoogle Scholar - Gasymov MG, Mirzoev SS: Solvability of boundary value problems for second-order operator-differential equations of elliptic type.
*Differentsial'nye Uravneniya [Differential Equations]*1992, 28(4):651–661.MATHMathSciNetGoogle Scholar - Kostyuchenko AG, Shkalikov AA: Self-adjoint quadratic operator pencils and elliptic problems.
*Funktsional'nyi Analiz i Ego Prilozheniya [Functional Analysis and Its Applications]*1983, 17(2):38–61.MathSciNetGoogle Scholar - Gasymov MG: The multiple completeness of part of the eigen- and associated vectors of polynomial operator bundles.
*Izvestija Akademii Nauk Armjanskoĭ SSR. Serija Matematika*1971, 6(2–3):131–147.MATHMathSciNetGoogle Scholar - Gasymov MG: On the theory of polynomial operator pencils.
*Doklady Akademii Nauk SSSR [Soviet Mathematics. Doklady]*1971, 199(4):747–750.Google Scholar - Dubinskii YA: On some differential-operator equations of arbitrary order.
*Matematicheskii Sbornik [Mathematics of the USSR-Sbornik]*1973, 90(132)(1):3–22.Google Scholar - Mirzoev SS: Conditions for the well-defined solvability of boundary-value problems for operator differential equations.
*Doklady Akademii Nauk SSSR [Soviet Mathematics. Doklady]*1983, 273(2):292–295.MathSciNetGoogle Scholar - Shakhmurov VB: Coercive boundary value problems for strongly degenerate operator-differential equations.
*Doklady Akademii Nauk SSSR*1986, 290(3):553–556.MathSciNetGoogle Scholar - Shkalikov AA: Elliptic equations in a Hilbert space and related spectral problems.
*Trudy Seminara Imeni I. G. Petrovskogo*1989, (14):140–224. - Aliev AR: Boundary-value problems for a class of operator differential equations of high order with variable coefficients.
*Matematicheskie Zametki [Mathematical Notes]*2003, 74(6):803–814.View ArticleGoogle Scholar - Aliev AR: On the boundary value problem for a class of operator-differential equations of odd order with variable coefficients.
*Doklady Akademii Nauk [Doklady Mathematics]*2008, 421(2):151–153.Google Scholar - Agarwal RP, Bohner M, Shakhmurov VB: Maximal regular boundary value problems in Banach-valued weighted space.
*Boundary Value Problems*2005, 2005(1):9–42. 10.1155/BVP.2005.9MATHMathSciNetView ArticleGoogle Scholar - Favini A, Yakubov Y: Higher order ordinary differential-operator equations on the whole axis in UMD Banach spaces.
*Differential and Integral Equations*2008, 21(5–6):497–512.MATHMathSciNetGoogle Scholar - Kuptsov NP: Exact constants in inequalities between norms of functions and of their derivatives.
*Matematicheskie Zametki [Mathematical Notes]*1987, 41(3):313–319.MathSciNetGoogle Scholar - Kalyabin GA: Some problems for Sobolev spaces on the half-line.
*Trudy Matematicheskogo Instituta Imeni V. A. Steklova [Proceedings of the Steklov Institute of Mathematics]*2006, 255: 161–169.MathSciNetGoogle Scholar - Grinberg GA: On the method proposed by P.F. Papkovich for solving the plane problem of elasticity theory for the rectangular domain and the problems of bending of a rectangular thin slab with two fixed selvages, and on some of its generalizations.
*Prikladnaya Matematika i Mekhanika [Applied Mathematics and Mechanics]*1973, 37(2):221–228.MathSciNetGoogle Scholar - Gumbataliyev RZ: On generalized solutions of one class of operator-differential equations of the fourth order.
*Izvestiya Akademii Nauk Azerbajdzhana. Seriya Fiziko-Tekhnicheskikh i Matematicheskikh Nauk*1998, 18(2):18–21.Google Scholar - Teters GA:
*Complex Loading and Stability of the Covers from Polymeric Materials*. Zinatne Press, Riga, Latvia; 1969.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. 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.