Abstract and Applied Analysis

Volume 2012 (2012), Article ID 185242, 17 pages

http://dx.doi.org/10.1155/2012/185242

## Fourth-Order Differential Equation with Deviating Argument

^{1}Department of Mathematics and Statistics, Masaryk University, 61137 Brno, Czech Republic^{2}Department of Electronics and Telecommunications, University of Florence, 50139 Florence, Italy

Received 6 December 2011; Accepted 13 January 2012

Academic Editor: Paul Eloe

Copyright © 2012 M. Bartušek 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

We consider the fourth-order differential equation with middle-term and deviating argument , in case when the corresponding second-order equation is oscillatory. Necessary and sufficient conditions for the existence of bounded and unbounded asymptotically linear solutions are given. The roles of the deviating argument and the nonlinearity are explained, too.

#### 1. Introduction

The aim of this paper is to investigate the fourth-order nonlinear differential equation with middle-term and deviating argument

The following assumptions will be made.(i) is a continuously differentiable bounded away from zero function, that is, for large such that (ii) are continuous functions for , is not identically zero for large , , and , .(iii) is a continuous function such that for .

Observe that (i) implies that there exists a positive constant such that and the linear second-order equation is oscillatory. Moreover, solutions of (1.3) are bounded together with their derivatives, see for example, [1, Theorem 2].

By a solution of (1.1) we mean a function defined on , , which is differentiable up to the fourth order and satisfies (1.1) on and for .

A solution of (1.1) is said to be *asymptotically linear (AL-solution)* if either
or
for some constants .

Fourth-order nonlinear differential equations naturally appear in models concerning physical, biological, and chemical phenomena, such as, for instance, problems of elasticity, deformation of structures, or soil settlement, see, for example, [2, 3].

When (1.3) is nonoscillatory and is its eventually positive solution, it is known that (1.1) can be written as the two-term equation In this case, the question of oscillation and asymptotics of such class of equations has been investigated with sufficient thoroughness, see, for example, the papers [3–10] or the monographs [11, 12] and references therein.

Nevertheless, as far we known, there are only few results concerning (1.1) when (1.3) is oscillatory. For instance, the equation without deviating argument has been investigated by Kiguradze in [13] in case and by the authors in [14, 15] when satisfies (i). In particular, in [14] the oscillation of (1.1) in the case is studied. In [15], the existence of positive bounded and unbounded solutions as well as of oscillatory solutions for (1.7) has been considered and the case has been analyzed in detail. Other results can be found in [16] and references therein, in which the existence and uniqueness of almost periodic solutions for equations of type (1.1) with almost periodic coefficients are studied.

Motivated by [14, 15], here we study the existence of AL-solutions for (1.1). The approach is completely different from the one used in [15], in which an iteration process, jointly with a comparison with the linear equation , is employed. Our tools are based on a topological method, certain integral inequalities, and some auxiliary functions. In particular, for proving the continuity in the Fréchet space of the fixed point operators here considered, we use a similar argument to that in the Vitali convergence theorem.

Our results extend to the case with deviating argument analogues ones stated in [15] for (1.7) when . We obtain sharper conditions for the existence of unbounded AL-solutions of (1.1), and, in addition, we show that under additional assumptions on , these conditions become also necessary for the existence of AL-solutions, in both the bounded and unbounded cases. In the final part, we consider the particular case and we study the possible coexistence of bounded and unbounded AL-solutions. The role of deviating argument and the one of the growth of the nonlinearity are also discussed and illustrated by some examples.

#### 2. Unbounded Solutions

Here we study the existence of unbounded AL-solutions of (1.1). Our first main result is the following.

Theorem 2.1. *For any , , there exists an unbounded solution of (1.1) such that
**
provided
**
where for *

*Proof. *Without loss of generality, we prove the existence of solutions of (1.1) satisfying (2.1) for .

Let and be two linearly independent solutions of (1.3) with Wronskian . Denote
As claimed by the assumptions on , all solutions of (1.3) and their derivatives are bounded. Thus, put
Let be such that for . Define
and choose large so that

Denote by the Fréchet space of all continuous functions on , endowed with the topology of uniform convergence on compact subintervals of , and consider the set given by
Let and define on the function
where
and . Then,
Moreover, , and it holds for that
Integrating, we obtain
From here and (1.3), we get
Thus,
and so
or, in view of (2.7),

Thus, from (2.10), as , we get
Hence, the operator given by
is well defined for any . Moreover, in view of (2.19), we have
From here, in virtue of (2.7) we get
Hence, . From (2.5) and (2.11), we have
and so . Similarly,
and thus, , too. In addition,
Hence, any fixed point of is a solution of (1.1) for large .

Let us show that is relatively compact, that is, consists of functions equibounded and equicontinuous on every compact interval of . Because , the equiboundedness follows. Moreover, in view of (2.7), is bounded for any , which yields the equicontinuity of the elements in .

Now we prove the continuity of in . Let , , be a sequence in , which uniformly converges to on every compact interval of . Fixing , in virtue of (2.23), the dominated convergence Lebesgue theorem gives
Moreover,
In view of (2.19), we have
Thus, choosing sufficiently large, we get from (2.27)
and so the continuity of in follows. By the Tychonoff fixed point theorem, the operator has a fixed point , which is an unbounded solution of (1.1) satisfying (2.1).

*Remark 2.2. *With minor modifications, Theorem 2.1 gives also the existence of eventually negative unbounded AL-solutions. The details are omitted.

*Remark 2.3. *When , Theorem 2.1 is related with Theorem 1 in [15], from which the existence of unbounded AL-solutions of (1.1) can be obtained under stronger assumptions. A comparison between Theorem 1 in [15] and Theorem 2.1 is given in Section 4.

Our next result gives a necessary condition for the existence of unbounded solutions of (1.1) satisfying for large and some and

Theorem 2.4. *Assume either or .**Equation (1.1) does not have eventually positive solutions satisfying (2.30) for large and some and provided
**
where for *

*Proof. *Assume , and let be an eventually positive solution of (1.1) satisfying (2.30). Then, there exists such that
Consequently, in view of (2.31), we have
Thus, integrating (1.1), we get
Furthermore,
where . Hence , which gives a contradiction with the boundedness of . Finally, if , the argument is similar and the details are left to the reader.

#### 3. Bounded Solutions

In this section we study the existence of bounded AL-solutions of (1.1). The following holds.

Theorem 3.1. *If
**
then, for any , there exists a solution of (1.1) satisfying
*

*Proof. *Without loss of generality, we prove the existence of solutions of (1.1) satisfying (3.2) for .

We proceed by a similar way to that in the proof of Theorem 2.1, and we sketch the proof.

Let be the constant given in (2.5), and let
Choose large so that
and define as in (2.6). Denote by the Fréchet space of all continuous functions on , endowed with the topology of uniform convergence on compact subintervals of , and consider the set given by
Let , and, for any , consider again the function given in (2.10). Reasoning as in the proof of Theorem 2.1, with minor changes, we obtain
Hence, in virtue of (3.1), the operator given by
is well defined and . In view of (3.6), we get
A similar estimation holds for . Thus, . In view of (3.4), from (3.8), we obtain
that is, . Moreover, a standard calculation gives
and so any fixed point of is, for large , a solution of (1.1). Proceeding by a similar way to that in the proof of Theorem 2.1, we obtain that is relatively compact.

Now we prove the continuity of in . Let , , be a sequence in , which uniformly converges to on every compact interval of . Since
in virtue of (3.1), the dominated convergence Lebesgue theorem gives
Moreover, fixing , we have
In view of (3.9), we have
and so, choosing sufficiently large, from (3.13) we obtain the continuity of in . Hence, by the Tychonoff fixed point theorem, the operator has a fixed point , which is a bounded solution of (1.1) satisfying (3.2).

*Remark 3.2. *When , Theorem 3.1 extends to equations with deviating argument of a similar result stated in [15] for (1.7). Observe that our approach used here is completely different from that in [15].

The next result shows that, under additional assumptions, condition (3.1) can be also necessary for the existence of bounded AL-solutions of (1.1).

Theorem 3.3. *Assume either
**
or
**
If
**
then (1.1) does not have solutions satisfying
**
for large and some and . Consequently, every bounded solution of (1.1) satisfies
*

The following lemmas are needed for proving Theorem 3.3.

Lemma 3.4. *Assume for , and let be a solution of (1.1) satisfying (3.18) for . Then, there exist two constants such that for **
If for , inequalities (3.20), (3.21) hold in the opposite order.*

*Proof. *Suppose on . We have
Since
from (3.22), we get
where is a suitable constant. Since are bounded, , in view of (1.1), inequality (3.20) follows.

Moreover, is nondecreasing for . Because is a positive bounded function, then on . Thus, inequality (3.21) follows integrating by parts and using (1.1). Finally, if on , the argument is similar.

Lemma 3.5. *Let be a solution of (1.1) satisfying (3.18) for large . If
**
then is bounded. If, in addition, for and (3.17) holds, then for large **
If for , inequality (3.26) holds in the opposite order.*

*Proof. *Since , there exists such that for
Without loss of generality, let . Thus, .

Let and be two linearly independent solutions of (1.3) with Wronskian . By assumptions on , all solutions of (1.3) and their derivatives are bounded. Thus, by the variation constant formula, there exist constants and such that
and, in view of (3.25), is bounded.

Let us prove (3.26), and suppose on . Multiplying (1.1) by and integrating from to , we get
or, in view of Lemma 3.4,
where is a suitable constant. Since is bounded and
from (3.17) and (3.30), we have
which gives the assertion. The case on can be treated in a similar way.

*Proof of Theorem 3.3. *Suppose , for . Without loss of generality, assume also that (3.27) holds for . Define
Then, and
Since for , we have
*Case I. *Assume
Since for we have and, as claimed, , we get
Thus, from (3.36), we obtain , that is, is unbounded. Hence, in view of (3.33), we obtain a contradiction with the boundedness of .*Case II. *Now assume (3.17) and (3.25). In view of Lemma 3.5, without loss of generality, we can suppose that (3.26) holds for . Then,
Hence, . Integrating (3.36), we get
and, in view of Lemma 3.4, we have
Thus, , that is, as before, a contradiction. Finally, the case , for large follows in a similar way.

#### 4. Applications

Here we present some applications of our results to a particular case of (1.1), namely, the equation jointly with some suggestions for future research.

##### 4.1. Coexistence of Both Types of AL-Solutions

Applying Theorems 2.1–3.3 to this equation, we obtain the following.

Corollary 4.1. *
(a) Let for large . Equation (4.1) has unbounded AL-solutions if and only if
**
(b) Assume either (3.15) or (3.16). Equation (4.1) has bounded AL-solutions if and only if (3.1) holds. *

Corollary 4.1 shows also that the deviating argument can produce a different situation concerning the unboundedness of solutions with respect to the corresponding equation without delay, as the following example illustrates.

*Example 4.2. *In view of Corollary 4.1(a), the equation
where satisfies (i), has unbounded AL-solutions, while the corresponding ordinary equation
in view of Theorem 2.4, does not have unbounded AL-solutions. Moreover, if in addition for large , then from Corollary 4.1(b) (4.3) does not have bounded AL-solutions.

The following example shows that the opposite situation to the one described in Example 4.2 can occur.

*Example 4.3. *Consider the equation
where satisfies (i). From Theorem 3.1, (4.5) has bounded AL-solutions and the same occurs for the corresponding ordinary equation. Nevertheless, in view of Corollary 4.1(a), (4.5) has no unbounded AL-solutions.

Examples 4.2 and 4.3 illustrate also that the coexistence of both AL-solutions for (4.1) can fail. Sufficient conditions for the coexistence of these solutions immediately follow from Corollary 4.1.

Corollary 4.4. *Let for large .**
(a) Assume for large **
If (4.1) has unbounded AL-solutions, then (4.1) also has AS bounded solutions.**
(b) Assume for large **
If (4.1) has bounded AL-solutions, then (4.1) also has unbounded AL-solutions.**For the equation without deviating argument
**
from Corollary 4.4 we get the following.*

Corollary 4.5. *Let for large .**
(a) Assume . If (4.8) has unbounded AL-solutions, then (4.8) has also bounded AL-solutions.**
(b) Assume and for large . If (4.8) has bounded AL-solutions, then (4.8) has also unbounded AL-solutions.*

##### 4.2. Comparison with Some Results in [15]

As claimed, the existence of unbounded AL-solutions for (4.8) follows also from Theorem 1 in [15]. For this result reads as follows.

Theorem A. *If
**
then there exists a solution of (4.8) such that
**
where are functions of bounded variation for large and .*

Therefore, when , Theorem 2.1 ensures the existence of unbounded AL-solutions of (4.8) under a weaker condition than (4.9), namely, On the other hand, Theorem A gives an asymptotic formula for such solutions.

##### 4.3. An Open Problem

Equation (1.1) can admit also other types of nonoscillatory solutions, as the following examples show.

*Example 4.6. *Consider the equation
In virtue of Corollary 4.1(b), (4.12) has no bounded AL-solutions. Nevertheless, this equation admits nonoscillatory bounded solutions because is a solution of (4.12).

*Example 4.7. *Consider the equation
Thus, (3.1) holds, while . Hence, in virtue of Corollary 4.1, (4.13) has bounded AL-solutions, but no unbounded AL-solutions. Nevertheless, this equation admits nonoscillatory unbounded solutions because is a solution of (4.13).

The existence of nonoscillatory solutions satisfying either or will be a subject of our next research.

#### Acknowledgments

The first and third authors are supported by Grant GAP 201/11/0768 of the Czech Grant Agency. The fourth author is supported by the research Project PRIN09-Area 01, Ordinary Differential Equations, of the Italian Ministry of Education.

#### References

- M. Marini, “Criteri di limitatezza per le soluzioni dell'equazione lineare del secondo ordine,”
*Bollettino della Unione Matematica Italiana*, vol. 11, no. 1, pp. 154–165, 1975. View at Google Scholar · View at Zentralblatt MATH - J. R. Graef and J. Henderson, “Double solutions of boundary value problems for $2{m}^{\text{th}}$-order differential equations and difference equations,”
*Computers & Mathematics with Applications*, vol. 45, no. 6–9, pp. 873–885, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. R. Graef, C. Qian, and B. Yang, “A three point boundary value problem for nonlinear fourth order differential equations,”
*Journal of Mathematical Analysis and Applications*, vol. 287, no. 1, pp. 217–233, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - K. Kamo and H. Usami, “Nonlinear oscillations of fourth order quasilinear ordinary differential equations,”
*Acta Mathematica Hungarica*, vol. 132, no. 3, pp. 207–222, 2011. View at Publisher · View at Google Scholar - T. Kusano and M. Švec, “On unbounded positive solutions of nonlinear differential equations with oscillating coefficients,”
*Czechoslovak Mathematical Journal*, vol. 39, no. 1, pp. 133–141, 1989. View at Google Scholar · View at Zentralblatt MATH - K. Takaŝi and T. Tanigawa, “On the structure of positive solutions of a class of fourth order nonlinear differential equations,”
*Annali di Matematica Pura ed Applicata*, vol. 185, no. 4, pp. 521–536, 2006. View at Publisher · View at Google Scholar - W. T. Li and X. Yang, “Classifications and existence criteria for positive solutions of systems of nonlinear differential equations,”
*Journal of Mathematical Analysis and Applications*, vol. 298, no. 2, pp. 446–462, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - M. Marini, S. Matucci, and P. Řehák, “On decay of coupled nonlinear differential systems,”
*Advances in Mathematical Sciences and Applications*, vol. 12, no. 2, pp. 521–533, 2002. View at Google Scholar · View at Zentralblatt MATH - M. Naito and F. Wu, “On the existence of eventually positive solutions of fourth-order quasilinear differential equations,”
*Nonlinear Analysis*, vol. 57, no. 2, pp. 253–263, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - M. Naito and F. Wu, “A note on the existence and asymptotic behavior of nonoscillatory solutions of fourth order quasilinear differential equations,”
*Acta Mathematica Hungarica*, vol. 102, no. 3, pp. 177–202, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - R. P. Agarwal and D. O'Regan,
*Infinite Interval Problems for Differential, Difference and Integral Equations*, Kluwer Academic Publishers, Dordrecht, The Netherlands, 2001. - I. T. Kiguradze and T. A. Chanturia,
*Asymptotic Properties of Solutions of Nonautonomous Ordinary Differential Equations*, vol. 89 of*Mathematics and its Applications (Soviet Series)*, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1993. - I. T. Kiguradze, “An oscillation criterion for a class of ordinary differential equations,”
*Differentsial'nye Uravneniya*, vol. 28, no. 2, pp. 207–219, 1992. View at Google Scholar · View at Zentralblatt MATH - M. Bartušek, M. Cecchi, Z. Došlá, and M. Marini, “Oscillation for third-order nonlinear differential equations with deviating argument,”
*Abstract and Applied Analysis*, vol. 2010, Article ID 278962, 19 pages, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - M. Bartušek, M. Cecchi, Z. Došlá, and M. Marini, “Asymptotics for higher order differential equations with a middle term,”
*Journal of Mathematical Analysis and Applications*, vol. 388, no. 2, pp. 1130–1140, 2012. View at Publisher · View at Google Scholar - W. Xiong and G. Yue, “Almost periodic solutions for a class of fourth-order nonlinear differential equations with a deviating argument,”
*Computers & Mathematics with Applications*, vol. 60, no. 5, pp. 1184–1190, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH