Research Article | Open Access
Mervan Pašić, "New Oscillation Criteria for Second-Order Forced Quasilinear Functional Differential Equations", Abstract and Applied Analysis, vol. 2013, Article ID 735360, 12 pages, 2013. https://doi.org/10.1155/2013/735360
New Oscillation Criteria for Second-Order Forced Quasilinear Functional Differential Equations
We establish some new interval oscillation criteria for a general class of second-order forced quasilinear functional differential equations with ϕ-Laplacian operator and mixed nonlinearities. It especially includes the linear, the one-dimensional p-Laplacian, and the prescribed mean curvature quasilinear differential operators. It continues some recently published results on the oscillations of the second-order functional differential equations including functional arguments of delay, advanced, or delay-advanced types. The nonlinear terms are of superlinear or supersublinear (mixed) types. Consequences and examples are shown to illustrate the novelty and simplicity of our oscillation criteria.
We study the oscillation of the following three kinds of second-order forced quasilinear functional differential equations of delay, advanced, and delay-advanced types: where and , , , and are continuous functions on , and , , is a classic solution of (1). A continuous function is said to be nonoscillatory if there is a such that on . Otherwise, is said to be oscillatory. Equation (1) is called oscillatory if all of its classic solutions are oscillatory.
In the delay case ,, and is nondecreasing; in the advanced case , , and is nonincreasing; in the delay-advanced case , , ,, and . The exponents satisfy a superlinear or a supersublinear (mixed) condition. On the function which appears in the first term of (1), we impose such conditions that the following three main classes of second-order differential operators are especially included: the linear , the one-dimensional-Laplacian , and the prescribed mean curvature operator . The function satisfies a usual growth condition and the coefficients , and are positive only on some intervals where changes the sign.
Recently, Bai and Liu  have studied the oscillation of second-order delay differential equation: where . In Murugadass et al. , authors have studied the oscillation of the second-order quasilinear delay differential equation: where and are ratio of odd positive integers. Later, in Hassan et al. , authors consider the oscillation of the half-linear functional differential equation: where the function is positive continuous functions with . Moreover, in [1–3] some doubts concerning the proof of the main result of  are resolved. The well-known variational technique that uses the generalized Philos’ results based on the so-called -function has been used in [1, Theorem 2.2], [2, Theorems 2.3, and 2.6], and [3, Theorems 2.5, 2.6, and 2.7] (see also [5–11] and references therein). Since the second-order quasilinear differential operator usually causes some difficulties in many problems, the application of previous method on (1) is stated here as an open problem. In contrast to the preceding, we use a combination of the Riccati classic transformation, a blow-up argument, and a comparison pointwise principle recently established in [12, 13] but for differential equations without functional arguments. It seems that our criteria are slightly simpler to be verified, which is discussed on some examples given in the next section.
Among some recently published papers on the oscillation of quasilinear functional differential equations with both delay and advanced terms, we point out an oscillation criterion by Zafer  obtained for equation where ,, and . On an interesting example in , the author established the oscillations provided at least one of constants appearing in the coefficients is sufficiently large (see also  for ), which is presented here in the next section as a particular case of our main results.
On the properties of some classes of the one-dimensional quasilinear differential equations with -Laplacian operators we refer reader to [14–20] and the references therein. About the applications of second-order functional differential equations in the mathematical description of certain phenomena in physics, technics, and biology (oscillation in a vacuum tube; interaction of an oscillator with an energy source; coupled oscillators in electronics, chemistry, and ecology; relativistic motion of a mass in a central field; ship course stabilization; moving of the tip of a growing plant; etc.), we suggest reading Kolmanovskii and Myshkis book .
2. Main Results and Examples
Let be a function which appears in the first term of (1) such that
These two assumptions are fulfilled, respectively, in the linear case , where and ; in the one-dimensional-Laplacian quasilinear case , where and ; and in the mean prescribed curvature quasilinear case where and . The importance of the prescribed mean curvature quasilinear differential operators lies in the capillarity type problems in fluid mechanics, flux-limited diffusion phenomena, and prescribed mean curvature problems; see for instance [14, 22, 23].
Unlike recently published oscillation criteria for the linear and half-linear second-order forced functional differential equations, our oscillation criterion is only based on the following elementary integral inequality: where,is from (7),,, and functions, and are explicitly expressed by the coefficients of (1) just like it is done in the next three main results.
Theorem 1 (delay equation). One assumes (6), (7), (9), and (10). Let be a nondecreasing positive function on . Let on and ,. Let for every there exist , such that where . Equation (1) is oscillatory provided there are two real parameters such that (11) is fulfilled, where for , , and positive constants,,appearing, respectively, in (7), (9), and (10).
As we can see in (13), the forcing term can be an oscillatory function. The main property of any interval oscillation criterion (see ) is that the coefficients of the considered equation do not satisfy some conditions on the whole than only on intervals . The main consequence of Theorem 1 is the following oscillation criterion for (1) with and , .
In particular for , previous corollary takes the following form.
Example 4. As a consequence of Corollary 3, we show in this example that (20) is oscillatory provided the constants , , and satisfy the following simple inequality:
wheresatisfy (10), , and are two real numbers defined by
Indeed, let , , ,, , , , and . Firstly, it is elementary to check that the required inequalities (12) and (13) are satisfied. Next, we prove that required inequality (19) immediately follows from assumption (21). On the first hand, we estimate from above the term on the right hand side in (19) using that : that is
On the other hand, we calculate the integral on the left hand side in (19):
Now, from previous two equalities, and inequalities (21) and (24), we conclude
Thus, assumption (21) proves desired inequality (19), and thus, Corollary 2 verifies that (20) is oscillatory provided (21) holds.
Remark 5. One way to obtain the inequality (21) is to suppose, for instance, that at least one of the constants , , andis large enough.
Remark 6. We can consider the slightly more general equation than (20): where and satisfy (6) and (7), and. In a similar way as in Example 4, one can show that (27) is oscillatory provided at least one of the constants, , andis large enough.
Example 7. In this example we present an application of [1, Theorem 2.2] for getting another condition on the constants, , andfor oscillation of (20). Let,
, , and . It is clear thaton,,on, andon,. Therefore we may apply [1, Theorem 2.2] on (20) provided the following inequality holds:
Now, if we putandfor, then previous inequality takes the following concrete form:
Similarly as in Example 4, we can calculate previous integrals and conclude by [1, Theorem 2.2] that (20) is oscillatory provided the following inequalities hold: where and .
We leave to the reader to compare and verify which one of the two inequalities (21) and (31) is simpler to be verified. Also, similar to the previous example, it is possible to get corresponding inequalities analogously to (31) for other criteria published in the papers cited in the references.
Remark 8. In [1, Section 3] the authors give an application of [1, Theorem 2.2] to (20) where,,, and. However, the following choice (see [1, Section 3]) is not correct since the desired conditionson,are not fulfilled. Hence, we suggest reader to use the intervals proposed in the previous example.
Open Question 9. The well-known variational technique based on the generalized Philos’ -function has been used in [1–11] to obtain some oscillation criteria for (1), where the second-order quasilinear differential operator is linear or half-linear. Is it possible to use this technique in the case of any function satisfying general conditions (6) and (7)?
Theorem 10 (advanced equation). Under assumptions (6), (7), (9), and (10), letbe a nonincreasing positive function on and on ,. Let for everythere exist numbers , such that and where. Equation (1) is oscillatory provided there are two real parameterssuch that (11) is fulfilled, where for,, and positive constants,, andappearing, respectively, in (7), (9), and (10).
Now, analogously with (16), we consider the oscillation of the advanced equation:
As a consequence of Theorem 10, we have the following criterion.
As the third case, we consider second-order functional differential equations with both delay and advanced arguments.
Theorem 12 (delay-advanced equation). One assumes (6), (7), and (9),for, and,. Leton,for, andforon. Let,, andsatisfy (12)-(13) forand (34) for. Equation (1) is oscillatory provided there are two real parameterssuch that (11) is fulfilled, where for , , and positive constants , appearing, respectively, in (7) and (9).
In Zafer  (see also ) the author has illustrated its main oscillation result on the following example of the second-order functional differential equations with delay and advanced arguments. Since , it can be rewritten in the form where, , and are positive constants; ; ; and . It has been proved that previous equation is oscillatory provided at least one of the constants , and is large enough. Here according to Corollary 13 we can repeat this interesting conclusion for slightly complicated equation but with .
Example 14. We consider the following -Laplacian functional differential equation with delay and advanced arguments: where satisfies (6), (7), ,, and . We claim that the previous equation is oscillatory provided at least one of the constants , , and is large enough. Indeed, it is enough to show that condition (17) is fulfilled by using Corollary 13. It can be done in a similar way as in Example 4 with (20) and Corollary 3. We leave it to the reader.
3. Auxiliary Results: Qualitative Properties of Concave-Like Functions
Let be two arbitrary real numbers. It is known that if is a concave and smooth enough function on , that is, if for all , then for all , . Moreover, if for all , then from previous inequality we obtain
However, often we do not have any information about the sign of the second-order linear differential operator in (1) except only in a particular case when and . Hence the main goal of this section is to find some sufficient conditions on and such that the assumption “ for all ” implies the desired inequality (43). It is done in the following results.
Lemma 15. Let satisfy (6). Let for all , . For any function such that for all , the following statement holds:
Proof. From assumption for all , it follows that
To the end of this proof, let be fixed. Thanks to (6), if , then too, becauseis odd and increasing. In this case, since and on, it implies that
Thus, it remains to show (44) for the case of . From for all ,, we obtain which together with and (45) gives
Acting on (47) with and using that is an increasing function because of (6), we obtain
Next, since on and , we have . From the mean-value theorem for on , we get a depending on and such that , and since , from (48) we obtain which proves the desired inequality in (44).
Lemma 16. Let satisfy (6). Let for all , . For any function such that for all , the following statement holds:
Proof. From assumption for all , we have
To the end of this proof, let be fixed. If , then because is odd and increasing, and since by assumption for all , we have that which proves (50) in this case. Let now . It implies that and because of (51) and for all . Hence, from for all ,, from (51), and , we especially conclude that
Acting on (53) with we obtain
By the Lagrange’s mean-value theorem, there exists a depending on such that . Since for all and , from (54) we obtain which proves the desired inequality.
Statement (44) will be frequently used in the following form.
Corollary 17. Let satisfy (6), , and for all , . Let be two arbitrary real numbers such that . Then for any function such that for all , the following statement holds:
Proof. By assumptions of this corollary, we have , , and for all . In particular from statement (44) applied on , we get
Integrating this inequality over the interval for all , we obtain which proves the desired inequality in (56).
Statement (50) will appear in the following form.
Corollary 18. Let be two arbitrary real numbers. Let satisfy (6), , , and for all , . Then for any function such that for all , the following statement holds:
Next, by Corollary 17 and the arithmetic-geometric mean inequality we can prove the following proposition.
Proposition 19 (with delay arguments). Let for all such that and let satisfy (6). Let exponents and the -tuple satisfy (10). Let on , , and . Let and on, where . Then for any function such that and for all , we have
Proposition 20 (with advanced arguments). Let for all such that and let satisfy (6). Let exponents and the -tuple satisfy (10). Let on , , and . Let and on , where . Then for any function such that and for all , we have
According to Corollary 17, we are able to prove the next useful proposition in which we also use the well-known Young inequality :
Proposition 21 (with delay-advanced arguments). Let on , real numbers for all and ,. Let satisfy (6), ,and , on , and , . Let and on , where . Then for any function such that and on , we have