Open Access Research Article

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

ArazR Aliev12* and AydinA Gasymov1

Author Affiliations

1 Institute of Mathematics and Mechanics of NAS of Azerbaijan, 9 F. Agaev street, Baku, AZ1141, Azerbaijan

2 Baku State University, 23 Z. Khalilov street, Baku, AZ1148, Azerbaijan

For all author emails, please log on.

Boundary Value Problems 2009, 2009:710386  doi:10.1155/2009/710386


The electronic version of this article is the complete one and can be found online at: http://www.boundaryvalueproblems.com/content/2009/1/710386


Received:19 February 2009
Revisions received:22 July 2009
Accepted:26 August 2009
Published:27 September 2009

© 2009 The Author(s)

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.

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 .

Let us consider the following operator-differential equation of the fourth order:

(11)

with the boundary conditions

(12)

where , are linear and generally unbounded operators in . Under and , the following Hilbert spaces can be described:

(13)

(see [35]).

Definition 1.1.

If the vector functionsatisfies ( 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

(14)

and the inequality

(15)

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

Let us define the following subspaces of the space :

(16)

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):

(21)

where .

The following theorem is true.

Theorem 2.1.

Operator , acting from the space to in the following way:

(22)

is an isomorphism between the spaces and .

Proof.

It holds that has a solution for any . In fact, the vector function

(23)

satisfies the equation

(24)

in almost everywhere. Let us prove that . As is made clear here, this means that

(25)

From the Plancherel theorem, it follows that it is sufficient to show that , where is the Fourier transform of the vector function . From the spectral theory of self-adjoint operators,

(26)

Here is the Fourier transform of the vector function . Analogously, it is possible to prove that . Consequently, . Furthermore, let us denote by the narrowing of the vector function on . It is clear that . Now,

(27)

where the vectors , and are defined by the condition . This is why the following system of equations can be obtained relatively to :

(28)

From this, it is possible to obtain the operator equation,

(29)

where

(210)

Because , then from the theorem on trace [35], 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.

Operator is bounded, because

(211)

because for

(212)

The theorem on intermediate derivatives [35] can be used to obtain the last inequality, with the inequality

(213)

assumed. Moreover, the Bunyakovsky-Schwartz and Young inequalities,

(214)

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.

Denoting by the operator which acts from to in the following way:

(215)

the following statement results.

Lemma 2.2.

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

Proof.

Because for any vector function ,

(216)

then, from the theorem on intermediate derivatives [35], and from (2.16), we get

(217)

Thus, the lemma is proved.

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

Let the following hold:

(218)

Consider the following polynomial operator groups which depend on the parameter :

(219)

The following can then be established.

Lemma 2.3.

Let . Then the polynomial operator groups , are invertible on the imaginary axis and can be represented as follows:

(220)

moreover,

(221)

where and the numbers satisfy the following systems of equations:

(1)for

(222)

(2) for

(223)

(3)for

(224)

Proof.

Characteristic polynomials of the operator groups , are

(225)

where . Let . Then it is clear that for these characteristic polynomials, the following correlations are true:

(226)

Because

(227)

then

(228)

for . From (2.28), it becomes clear that the polynomials do not have roots on the imaginary axis for . Each of the characteristic polynomials for has exactly four roots from the left semiplane. Because these polynomials are homogeneous with respect to the arguments and , they can be stated in the following form:

(229)

where

(230)

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.

Let . Then for any , the following equality is true:

(231)

where

(232)

Proof.

First define the space as the set of infinitely differentiable functions with values in , having compact support in . Because the space is dense in (see [35]), it is sufficient to prove the theorem for the vector functions . Then

(233)

After integration by parts,

(234)

Calculating analogously to ,

(235)

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.

If and , then

(236)

Note that from Theorem 2.1, is the norm in the space , which is equivalent to the initial norm . Because the operators of the intermediate derivatives

(237)

are continuous [35], 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

The rest of this paper will be related to the calculation of the following numbers:

(31)

First, let us calculate .

Lemma 3.1.

It holds that

Proof.

As (2.36) goes to the limit as , it is apparent that for any vector function , the following inequality:

(32)

is true. Thus, . Furthermore, it is necessary to show that here the equalities also hold. This can be done by taking an arbitrary number and showing that there exists a vector function such that the following holds functional:

(33)

Let the vector and , be the numeral function; moreover, . Then using the Parseval equality, it is possible to obtain

(34)

where .

It will next be shown that for a given vector has negative values in some interval . If is an eigenvalue of the operator , and if is its eigenvector, then it is obvious that

(35)

and, as can be seen from the properties of the polynomial , is negative for for sufficiently small . If is not the eigenvalue, then is close to an eigenvalue, that is, there exists such that and

(36)

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

Now consider the four times differentiable function , support of which comes from the interval . Then from (3.4) and from the negativity of in the interval , it can be determined that

(37)

Consequently, , and the lemma is proved.

Because , then . It is necessary to note that, for any vector function and , the equality

(38)

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.

Necessity will be shown first. Let . Then, from (3.8), for any vector function and ,

(39)

Because the polynomial operator group for has the form

(310)

(see Lemma 2.3), where , then the Cauchy problem,

(311)

(312)

(313)

has a unique solution , which can be presented in the form

(314)

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.

Now sufficiency must be proved. If for any , is positive, then from (3.8), it follows that for all and ,

(315)

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.

Let , then . From (3.8), for ,

(316)

Substituting the solution of (3.11)–(3.13) into the last inequality, the result is that is positive for . From the definition of , for , there exists a vector function such that

(317)

From the last inequality in (3.8), it is possible to obtain

(318)

where

(319)

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.

The following equality is true:

(320)

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 ) forhaving 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.

Let the operators , be bounded in so that the inequality

(41)

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.

The boundary-value problem (1.1), (1.2) can be presented in the form of the operator equation , where , . From Theorem 2.1, it follows that the operator has a bounded inverse operator which acts from the space into the space . Then, after substitution of , where , the equation results. Now it must be shown that whenever the conditions of the theorem are met, the norm of the operator is less than one. Assuming Theorem 3.6, the following can be obtained:

(42)

As a result:

(43)

Then, in this case, the operator has an inverse in the space , and it is possible to determine from the following formula:

(44)

Moreover,

(45)

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).

Following is an example in which the conditions of Theorem 4.1 are verified. Consider the following problem on the semi-axis :

(46)

where are bounded on segment functions, , which is a partial case of problem (1.1), (1.2). On the condition that

(47)

the given problem has a unique solution in the space .

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.

References

  1. Vorovich, II, Kovalchuk, VE: On the basis properties of one system of homogeneous solutions. Prikladnaya Matematika i Mekhanika [Journal of Applied Mathematics and Mechanics]. 31(5), 861–869 (1967)

  2. 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]. 37(4), 706–714 (1973)

  3. Lions, JL, Magenes, E: Non-Homogeneous Boundary Value Problems and Applications, Dunod, Paris, France (1968)

  4. Lions, JL, Magenes, E: Non-Homogeneous Boundary Value Problems and Applications, Mir, Moscow, Russia (1971)

  5. Lions, JL, Magenes, E: Non-Homogeneous Boundary Value Problems and Applications, Springer, Berlin, Germany (1972)

  6. Krein, SG: Linear Differential Equations in a Banach Space,p. 464. Nauka, Moscow, Russia (1967)

  7. Yakubov, SY: Linear Differential-Operator Equations and Their Applications, Elm, Baku, Azerbaijan (1985)

  8. Agmon, S, Nirenberg, L: Properties of solutions of ordinary differential equations in Banach space. Communications on Pure and Applied Mathematics. 16, 121–239 (1963). Publisher Full Text OpenURL

  9. Gasymov, MG, Mirzoev, SS: Solvability of boundary value problems for second-order operator-differential equations of elliptic type. Differentsial'nye Uravneniya [Differential Equations]. 28(4), 651–661 (1992)

  10. Kostyuchenko, AG, Shkalikov, AA: Self-adjoint quadratic operator pencils and elliptic problems. Funktsional'nyi Analiz i Ego Prilozheniya [Functional Analysis and Its Applications]. 17(2), 38–61 (1983)

  11. Gasymov, MG: The multiple completeness of part of the eigen- and associated vectors of polynomial operator bundles. Izvestija Akademii Nauk Armjanskoĭ SSR. Serija Matematika. 6(2-3), 131–147 (1971)

  12. Gasymov, MG: On the theory of polynomial operator pencils. Doklady Akademii Nauk SSSR [Soviet Mathematics. Doklady]. 199(4), 747–750 (1971)

  13. Dubinskii, YA: On some differential-operator equations of arbitrary order. Matematicheskii Sbornik [Mathematics of the USSR-Sbornik]. 90(132)(1), 3–22 (1973)

  14. Mirzoev, SS: Conditions for the well-defined solvability of boundary-value problems for operator differential equations. Doklady Akademii Nauk SSSR [Soviet Mathematics. Doklady]. 273(2), 292–295 (1983)

  15. Shakhmurov, VB: Coercive boundary value problems for strongly degenerate operator-differential equations. Doklady Akademii Nauk SSSR. 290(3), 553–556 (1986)

  16. Shkalikov, AA: Elliptic equations in a Hilbert space and related spectral problems. Trudy Seminara Imeni I. G. Petrovskogo.(14), 140–224 (1989)

  17. Aliev, AR: Boundary-value problems for a class of operator differential equations of high order with variable coefficients. Matematicheskie Zametki [Mathematical Notes]. 74(6), 803–814 (2003)

  18. 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]. 421(2), 151–153 (2008)

  19. Agarwal, RP, Bohner, M, Shakhmurov, VB: Maximal regular boundary value problems in Banach-valued weighted space. Boundary Value Problems. 2005(1), 9–42 (2005). Publisher Full Text OpenURL

  20. Favini, A, Yakubov, Y: Higher order ordinary differential-operator equations on the whole axis in UMD Banach spaces. Differential and Integral Equations. 21(5-6), 497–512 (2008)

  21. Kuptsov, NP: Exact constants in inequalities between norms of functions and of their derivatives. Matematicheskie Zametki [Mathematical Notes]. 41(3), 313–319 (1987)

  22. 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]. 255, 161–169 (2006)

  23. 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]. 37(2), 221–228 (1973)

  24. 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. 18(2), 18–21 (1998)

  25. Teters, GA: Complex Loading and Stability of the Covers from Polymeric Materials, Zinatne Press, Riga, Latvia (1969)