We investigate oscillatory properties of the perturbed half-linear Euler differential equation. We show that the results of the recent paper by O. Došlý and H. Funková (2012) remain to hold when constants in perturbation terms are replaced by periodic functions.

1. Introduction

We investigate the influence of perturbations of the Euler half-linear second-order differential equation: with the so-called critical oscillation constant   on oscillatory behavior of this equation. Recall that the constant is called critical since (1) with instead of is oscillatory if and only if ; see [1]. Hence, (1) is a typical example of the so-called conditionally oscillatory half-linear differential equation.

Equation (1) is a special case of the general half-linear differential equation (sometimes called differential equation with the one-dimensional -Laplacian): with the continuous functions and . It is well-known, see [2], that the linear oscillation theory (the classical Sturm-Liouville second-order linear differential equation is the special case in (2)) extends almost verbatim to (2). In particular, the equation is said to be conditionally oscillatory if there exists such that (3) is oscillatory for and nonoscillatory for ; see [3]. From this point of view, (1) can be regarded as a good comparative equation in the sense that if in (2), the first natural test of (non)oscillation of this equation is to compare the potential with the function . More precisely, (2) with is oscillatory provided that and nonoscillatory if see, for example, [4, Section ].

A natural question is what happens when . This led recently to the investigation of various perturbations of (1). As a first step, the attention was focused on the half-linear Riemann-Weber differential equation and its perturbations: Here, the notation is used. It was shown in [5] (see also [6]) that the crucial role in (6) is played by the constant . In particular, if in (6), that is, this equation reduces to the so-called Riemann-Weber half-linear differential equation, then this equation is oscillatory if and nonoscillatory in the opposite case. In general, if for , then (6) is oscillatory if and only if .

One of the typical problems in the qualitative theory of various differential equations is to study what happens when constants in an equation are replaced by periodic functions. Our investigation follows this line and it is mainly motivated by the papers [715]. In [14, 15], linear second-order differential equations with periodic coefficients were considered which with using a transformation of dependent variable can be transformed into the equation of the following form: with -periodic functions , , . It was shown that (8) behaves essentially in the same way as the classical Riemann-Weber equation where the functions , , are replaced by their mean values More precisely, (8) is nonoscillatory if and oscillatory if . In the limiting case , (8) is nonoscillatory if and oscillatory if .

This result was extended in [13], where a perturbation was also allowed in the term involving derivative. More precisely, first, the differential equation was considered. It was shown (Theorem 2.1 and Corollary 2.3 in [13] with suitably chosen functions , , , and in those statements) that if there exists , such that for and , then (10) is oscillatory if and nonoscillatory if . If for all , then (10) is nonoscillatory. Then, using an averaging argument, it was shown in [13] that the above result remains essentially to hold when the constants ,  ,  , in (10) are replaced by periodic functions. The role of constants is taken in this result by the mean values of periodic functions , .

As a next step, the effort was concentrated to extend the previous linear results to half-linear equations. In [12], the equation with -periodic , , was considered. Similarly to the linear case, it was shown that (11) is oscillatory provided that and nonoscillatory when , being the conjugate exponent of ; the limiting case remained undecided in [12]. This problem was resolved in the later paper [8]; we will mention this result later in our paper.

Here, we deal with perturbations of the Euler half-linear differential equation in full generality. We consider the following equation: with -periodic functions , , , , . One of the reasons why we consider the coefficient of in the power is that then this equation can be written as the first order system and perturbation terms in both equations of this system have essentially the same form.

Our main statement is based on the result of [11], where the case when ,  , and are constants was considered. An explicit formula for the relationship between constants , which implies (non)oscillation of (13) was found. This result is recalled in the next section. In our paper, we show, similarly to the above mentioned papers, that constants , can be replaced by periodic functions and the resulting oscillation formula is essentially the same as that one in [11]; only constants are replaced by mean values of periodic functions appearing in perturbation terms.

2. Preliminaries

We start this section with a slight modification of [11, Theorem 4.1] which characterizes oscillatory properties of the following equation:

Proposition 1. Suppose that there exists such that (if ) and . Then, (15) is oscillatory if and nonoscillatory if .

Note that Proposition 1 is proved in [11] for the half-linear differential equation where the term by has no power, taking the form . However, using the following binomial expansion: it is not difficult to see that Theorem 4.1 of [11] can be reformulated as stated in Proposition 1.

Next, we recall the concept of half-linear trigonometric functions, see [2] or [4, Section 1.3]. Consider the following special equation of the form (2): We denote the solution of this equation satisfying the initial condition , by , and its derivative . The functions , are -periodic, , and satisfy the Pythagorean identity: Every solution of (18) is of the form ), where , are real constants; that is, it is bounded together with its derivative and periodic with the period . The function is a solution of the following reciprocal equation to (18): which is an equation of the same form as (18),  so the functions and are also bounded.

Let be a nontrivial solution of (2) and consider the modified half-linear Prüfer transformation: Then, the angular variable satisfies the following differential equation: see [8].

The proof of our main result relies on the following averaging lemma, which can be found in [8]; see also [13, Section 5] and [15, Proposition 2].

Lemma 2. Let be a solution of the following equation: with bounded functions and , , and let . Denote the following: Then, is a solution of the following equation: with and as .

The term in (25) can be written as (compare (19)) ; hence (25) can be rewritten into the form considered later on

3. Main Result

The formulation of Lemma 2 from the previous section shows why we consider the perturbations of Euler equation (1) in the form as appears in (13) and, in particular, why we consider the term by with the power . With this power (since ), the function in (26) is just the mean value over the interval of the function .

Theorem 3. Let , and ,  , , be -periodic continuous functions, , and denote by , , , , , their mean values over the period .(i)If , then (13) is oscillatory, and if , then it is nonoscillatory.(ii)Let . If there exists such that (if ) and , then (13) is oscillatory if and nonoscillatory if

Proof. First of all, let us note that the statement (i) is given for completeness; it is proved in [12]. The statement (ii) for ,  , is the main result of [8]. It remains to prove the statement (ii) in full generality.
Let be a nontrivial solution of (13) and let be its Prüfer angle; that is, the solution of (13) and its quasiderivative are given by the following formulas: Then, (mod ) if and only if and at these points (see (33)). Hence, (13) is oscillatory if and only if is unbounded as , and this happens, by Lemma 2, if and only if its mean value over the interval is unbounded.
The function is a solution of the following differential equation: that is, in differential equation (25) we have (cf. (26)) Let be a continuous -periodic function and its mean value over the period; then integration by parts yields Since the function is bounded, there exists a constant such that and hence we can estimate the last term in the previous computation as follows: as , . Here, we have used that as can be verified by a direct computation. The same argument shows that also the term in brackets in (35) has the same asymptotic behavior as . Altogether, we have This implies that the functions and in (34) are Hence, substituting into (27), we obtain Now, since all terms are asymptotically less than , we obtain the differential equation for which can be written in the following form: This equation is a “Prüfer angle” equation for the following second-order half-linear differential equation: which is the same as the following equation: Suppose that assumptions (ii) of Theorem 3 are satisfied and that (29) holds for . Then, (45) is oscillatory as a direct consequence of Proposition 1. If (29) holds for , let be so small that still and consider the following equation: This equation is a Sturmian minorant for sufficiently large (when the term in (45) is less than ) of (45) and (46) implies by Proposition 1 that this minorant equation is oscillatory, and hence (45) (which is the same as (44)) is oscillatory as well. This means that the Prüfer angle of a solution of (44) is unbounded, and by Lemma 2 the Prüfer angle of a solution of (13) is unbounded as well. This means that (13) is oscillatory. A slightly modified argument implies that (13) is nonoscillatory provided that (30) holds.

4. Remarks and Comments

(i) In Lemma 2, the constant is any positive real constant. In the original version of this Lemma in [15], this number is the period of periodic functions in (25). As observed in [13], the statement of lemma 1 can be extended so that it applies to equations with bounded coefficients; see [13, Section 5] for details. This opens a space for a more general treatment of perturbations of the Euler type differential equation when perturbation functions are of larger class than periodic ones. A first step along this line has been made in [16] where a half-linear differential equation with asymptotically almost periodic coefficients is investigated.

(ii) In [17], a power comparison theorem (with respect to the power in the function ) for perturbed Euler type differential equation is established. This result is extended to the Riemann-Weber half-linear differential equation in [18]. A natural research problem is to deal with power comparison theory for general perturbations suggested by (13).

(iii) Another research problem is associated with the concept of Karamata regularly varying functions; see [1923]. In these papers, half-linear equations with coefficients which are regularly varying functions are considered, and it is shown that then solutions of these equations also behave regularly, in a certain sense. Since the idea of the proofs of results of those papers consists in comparing the investigated equation with the Euler or Riemann-Weber equation, a natural idea is to investigate asymptotic properties of (15) with regularly varying functions , , , and .


This research is supported by Grant 201/11/0768 of the Grant Agency of the Czech Republic and the Research Project MUNI/A/0964/2009 of Masaryk University.