Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Open Mathematics

formerly Central European Journal of Mathematics

Editor-in-Chief: Vespri, Vincenzo / Marano, Salvatore Angelo


IMPACT FACTOR 2018: 0.726
5-year IMPACT FACTOR: 0.869

CiteScore 2018: 0.90

SCImago Journal Rank (SJR) 2018: 0.323
Source Normalized Impact per Paper (SNIP) 2018: 0.821

Mathematical Citation Quotient (MCQ) 2018: 0.34

ICV 2018: 152.31

Open Access
Online
ISSN
2391-5455
See all formats and pricing
More options …
Volume 15, Issue 1

Issues

Volume 13 (2015)

Oscillation and nonoscillation of half-linear Euler type differential equations with different periodic coefficients

Adil Misir
  • Corresponding author
  • Department of Mathematics, Faculty of Science, Gazi University, Teknikokullar, 06500 Ankara, Turkey
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
/ Banu Mermerkaya
  • Department of Mathematics, Graduate School of Natural and Applied Sciences, Gazi University, Teknikokullar, 06500 Ankara, Turkey
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
Published Online: 2017-05-04 | DOI: https://doi.org/10.1515/math-2017-0046

Abstract

In this paper, we compute explicitly the oscillation constant for certain half-linear second-order differential equations having different periodic coefficients. Our result covers known result concerning half-linear Euler type differential equations with α—periodic positive coefficients. Additionally, our result is new and original in case that the least common multiple of these periods is not defined. We give an example and corollaries which illustrate cases that are solved with our result.

Keywords: Half-linear differential equation; Euler equation; Riemann-Weber equation; Prüfer transformation; Critical oscillation constant

MSC 2010: 34C10

1 Introduction

An equation of the form (r(t)Φ(x))+c(t)Φ(x)=0,Φ(s)=|s|p2s,p>1,(1)

is called half-linear differential equation, where r, c are continuous functions and r (t) > 0 was introduced for the first time in [1]. During the last decades, these equations have been widely studied in the literature. The name half-linear equation was introduced in [2]. This term is motivated by the fact that the solution space of these equations is homogeneous (likewise in the linear case) but not additive. Since the linear Sturmian theory extends verbatim to half-linear case (for details, we refer to Section 1.2 in [3]), we can classify Eq.(1) as oscillatory or nonoscillatory. It is well known that oscillation theory of Eq.(1) is very similar to that of the linear Sturm-Liouville differential equation, which is the special case of Eq.(1) for p = 2 ( see [4]).

Actually, we are interested in the conditional oscillation of half-linear differential equations with different periodic coefficients. We say that the equation (r(t)Φ(x))+γc(t)Φ(x)=0(2)

with positive coefficients is conditionally oscillatory if there exists a constant γ0 such that Eq.(2) is oscillatory for all γ > γ0 and nonoscillatory for all γ < γ0. The constant γ0 is called an oscillation constant (more precisely, oscillation constant of c with respect to r)of this equation.

Considerable effort has been made over the years to extend oscillation constant theory of half linear differential equation (1), see [5-10] and reference therein. According to our knowledge, the first attempt to this problem was made by Kneser in [11], where the oscillation constant for Cauchy-Euler differential equation x+γt2x=0,(3)

(which is special case of Eq.(1) for p=2,r(t)=1andc(t)=1t2 has been identified γ0=14 and Eq.(3) is oscillatory if γ>14, nonoscillatory if γ>14. Additionally, x(t)=c1t+c2tlogt is the general solution of Eq.(3) and nonoscillatory for γ>14.

The conditional oscillation of linear equations is studied, e.g., in [9, 10]. In [9, 12], the oscillation constant was obtained for linear equation with periodic coefficients. Using the notion of the principle solution, the main result of [9] was generalized in [8], where periodic half-linear equations were considered.

In [7] the half-linear Euler differential equation of the form (Φ(x))+γtpΦ(x)=0,(4)

and the half-linear Riemann-Weber differential equation of the form (Φ(x))+1tpγ+μlog2tΦ(x)=0,(5)

was considered and it was shown that Eq.(4) is nonoscillatory if and only if γγp:=p1pp and Eq.(5), with is nonoscillatory if μ<μp:=12p1pp1 and oscillatory if μ > μp:

In [8], the half-linear differential equation of the form (r(t)Φ(x))+γc(t)tpΦ(x)=0,(6)

was considered for r, c being α—periodic, positive functions and it was shown that Eq.(6) is oscillatory if γ > K and nonoscillatory if γ < K, where K is given by K=qp1α0αdτrq11p1α0αc(τ)dτ1

for p and q are conjugate numbers, i.e., 1p+1q=1. If the functions r, c are positive constants, then Eq.(6) is reduced to the half-linear Euler equation (4), whose oscillatory properties were studied in detail [4, 7] and references given therein.

In [6], Eq.(6) and the half-linear differential equation of the form (r(t)Φ(x))+1tpγc(t)+μd(t)log2tΦ(x)=0,(7)

was considered positive, α—periodic functions r; c and d; which are defined on [0, ∞) and it was shown that Eq.(6) is oscillatory if and only if γγrc , where γrc is given by γrc:=αpγp0αr1q(t)dtp10αc(t)dt,

and in the limiting case γ = γrc Eq.(7) is nonoscillatory if μ < μrd and it is oscillatory if μ > μrd where μrd is given by μrd=αpμp0αr1q(t)dtp10αd(t)dt.

If the functions r, c, and d are positive constants, then Eq.(7) is reduced to the half-linear Rimann-Weber equation (5), whose oscillatory properties are studied in detail [4, 7] and references given therein.

In [13], the half-linear differential equation of the form (r(t)Φ(x))+c(t)tpΦ(x)=0(8)

was considered for r: [a, ∞) → ℝ ,(a > 0) where r is a continuous function for which mean value M(r1q):=limt11taa+tr1q(τ)dτ exists and for which 0<inft[a,)r(t)supt[a,)r(t)<holds,

and c: [a, ∞) → ℝ ,(a > 0), be a continuous function having mean value M(c):=limt11taa+tc(τ)dτ and it was shown that Eq.(8) is oscillatory if M (c) > Γ and nonoscillatory if M (c) > Γ, where Γ is given by Γ=qp[M(r1q)]1p.

Our goal is to find the explicit oscillation constant for Eq.(7) with periodic coefficients having different periods. We point out that the main motivation of our research comes from the paper [6], where the oscillation constant was computed for Eq.(7) with the periodic coefficients having the same α—period. But in that paper the oscillation constant wasn’t obtained for the periodic functions having different periods and consequently for the case when the least common multiple of these periodic coefficients is not defined. Thus in this paper we investigate the oscillation constant for Eq.(7) with periodic coefficients having different periods. For the sake of simplicity, we usually use the same notations as in the paper [6].

This paper is organized as follows. In section 2, we recall the concept of half-linear trigonometric functions and their properties. In section 3 we compute the oscillation constant for Eq.(7) with periodic coefficients having different periods. Additionally, we show that if the same periods are taken, then our result compiles with the known result in [4] or if the same period α, given in [6] can be chosen as the least common multiple of periods of the coefficients (which have different periods), then our result coincides with the result of [6]. Thus, our results extend and improve the results of [6]. Finally in the last section, we give an example to illustrate the importance of our result.

2 Preliminaries

We start this section with the recalling the concept of half-linear-trigonometric functions, see [3] or [4]. Consider the following special half-linear equation of the form (Φ(x))+(p1)Φ(x)=0,(9)

and denote by x = x (t) its solution given by the initial conditions x (0) = 0, x′(0) = 1: We see that the behavior of this solution is very similar to the classical sine function. We denote this solution by sinp t and its derivative as (sinp t)′ =cosp t. These functions are pperiodic; where πp:=2πpsinπp and satisfy the half-linear Pythagorean identity |sinpt|p+|cospt|p=1,tR.(10)

All solutions of Eq.(9) are of the form x (t) = C sinp (t + φ), where C, φ are real constants. All these solutions and their derivatives are bounded and periodic with the period p. The function u = Φ (cosp t) is a solution of the reciprocal equation to Eq.(9); Φ1(u)+(p1)q1Φ1(u)=0,Φ1(u)=|u|q2u,q=pp1,

which is an equation of the form as in Eq.(9), so the functions u and u' are also bounded.

Let x be a nontrivial solution of Eq.(1) and we consider the half-linear Prüfer transformation which is introduced using the half-linear trigonometric functions x(t)=ρ(t)sinpφ(t),x(t)=r1q(t)ρ(t)tcospφ(t),(11)

where ρ(t)=|x(t)|p+rq(t)|x(t)|p and Prüfer angle φ is a continuous function defined at all points where x (t)≠0.

Let w(t)=r(t)Φx(t)x(t) then w(t) is the solution of Riccati equation w+c(t)+(p1)r1q(t)|w|q=0,(12)

associated with Eq.(1).

Let v(t)=tp1w(t)=tp1r(t)Φx(t)x(t), then by using Eq.(11) we obtain v = Φ (cotp φ), where cotpφ=cospφsinpφ. If we use the fact that sinp t is a solution of Eq.(9), the function v satisfies the associated Riccati type equation v=[1p+(1p)|Φ(cotp)|q]φ.

At the same time, using the fact that w solves Eq.(12), we obtain v=(p1)tp2wtp1c(t)+(p1)r1q(t)|w|q=vt(p1)tp1c(t)(p1)tp1r1q(t)t1pwq=p1tvtpc(t)p1r1q(t)|cotpφ|p.

Combinig the last equation with Eq.(12) we get (p1)1+|cospφ|p|sinpφ|pφ=p1ttpc(t)p1+r1q(t)|cospφ|p|sinpφ|pΦ(cospφ)Φ(sinpφ).

Multiplying both sides of this equation by |sinpφ|pp1 and using the half-linear Pythagorean identity Eq.(10), we obtain the equation φ=1t[r1q(t)|cospφ|pΦ(cospφ)sinpφ+tpc(t)p1|sinpφ|p],

which will play the fundamental role in our investigation.

It is well-known that the nonoscillation of Eq.(7) is equivalent to the boundedness from above of the Prüfer angle φ given by Eq.(11) (see [6, 10]). Next, we briefly mention the principal solution of nonoscillatory equation Eq.(1) in [5], which is defined via the minimal solution of the associated Riccati equation Eq.(12). Nonoscillation of Eq.(1) implies that there exist T ∈ ℝ and a solution w~ of Eq.(12) defined on some interval [Tw~,).w~ is called the minimal solution of all solutions of Eq.(12) and it satisfies the inequality w(t)>w~(t) where w is any other solution of Eq.(12) defined on some interval [Tw, ∞) and then x~ is the principal solution of Eq.(1) via the formula w~(t)=r(t)Φx~(t)x~(t).

We finish this section with a lemma without proof, to be used in the next section.

Lemma 2.1

  1. Eq.(1) is non-oscillatory if and only if there exists a positive differentiable function h such that (r(t)Φ(h))+c(t)Φ(h)0 for large t.

  2. Let μ>14, then for every positive,the linear differential equation (tx)+log2tx+μtlog2tx=0 is oscillatory.

  3. Suppose that r1q(t)dt=,c(t)>0 for large t in Eq.(1) and this equation is non-oscillatory. Then the minimal solution of associate Riccati equation (12) is positive for large t [6].

3 Main results

To prove the main result, we need the following lemmas.

Lemma 3.1

Let φ = φ1 + φ2 + φ3, + φ4 + Μ, (Μ is a suitable constant) be a solution of the equation φ(t)=φ1(t)+φ2(t)+φ3(t)+φ4(t),

where φ1=1tr1q(t)|cospφ(t)|p,φ2=1tΦ(cospφ(t))sinpφ(t),φ3=c(t)(p1)t|sinpφ(t)|p,φ4=d(t)(p1)tlog2t|sinpφ(t)|p,

with r, c and d are positive defined functions having different periods β1, β2, and β3, respectively and let θ(t)=1β1tt+β1φ1(s)ds+1ξtt+ξφ2(s)ds+1β2tt+β2φ3(s)ds+1β3tt+β3φ4(s)ds,

where ξ is one of the periods β1, β2, or β3 Then θ is a solution of θ=1tR|cospθ|pΦ(cospθ)sinpθ+1p1(C+Dlog2t)|sinpθ|p+Oltlog2t,

where R=1β10β1r1q(τ)dτ,C=1(p1)β20β2c(τ)dτandD=1(p1)β30β3d(τ)dτ

and φ (τ) — θ (t) = o (1) as t → ∞.

Proof

Taking derivative of θ (t ), we have θ(t)=[1β1tt+β1φ1(s)ds+1ξtt+ξφ2(s)ds+1β2tt+β2φ3(s)ds+1β3tt+β3φ4(s)ds]=1β1tt+β11sr1q(s)|cospφ(s)|pds 1ξtt+ξ1sΦ(cospφ(s))sinpφ(s)ds+1β2tt+β2c(s)(p1)s|sinpφ(s)|pds+1β3tt+β3d(s)(p1)slog2s|sinpφ(s)|pds.

Using integration by parts, we get θ(t)=1β1ttt+β1r1q(τ)|cospφ(τ)|pdτ1ξttt+ξΦ(cospφ(τ))sinpφ(τ)dτ+1β2ttt+β2c(τ)(p1)|sinpφ(τ)|pdτ+1β3ttt+β3d(τ)(p1)log2τ|sinpφ(τ)|pdτ1β1tt+β11s2st+β1r1q(τ)|cospφ(τ)|pdτds+1ξtt+ξ1s2st+ξΦ(cospφ(τ))sinpφ(τ)dτds1β2tt+β21s2st+β2c(τ)(p1)|sinpφ(τ)|pdτds1β3tt+β31s2st+β3d(τ)(p1)log2τ|sinpφ(τ)|pdτds.

By the fact that, tt+Tf(s)ds=0Tf(s)ds ds for any T–periodic function and half-linear Pythagorean identity, the expressions r1q(t)|cospφ|p,Φ(cosp,φ)sinp,φc(t)p1|sinpφ|pandd(t)p1|sinpφ|p

are bounded. Thus we get θ(t)=1β1ttt+β1r1q(τ)|cospφ(τ)|pdτ1ξttt+ξΦ(cospφ(τ))sinpφ(τ)dτ+1β2ttt+β2c(τ)(p1)|sinpφ(τ)|pdτ+1β3ttt+β3d(τ)(p1)log2τ|sinpφ(τ)|pdτ+O(ltlog2t).

We can rewrite this equation as θ(t)=1β1ttt+β1r1q(τ)|cospθ(t)|pdτ1ξttt+ξΦ(cospθ(t))sinpθ(t)dτ+1β2ttt+β2c(τ)(p1)|sinpθ(t)|pdτ+1β3ttt+β3d(τ)(p1)log2τ|sinpθ(t)|pdτ+1β1ttt+β1r1q(τ){|cospφ(τ)|p|cospθ(t)|p}dτ1ξttt+ξ{Φ(cospφ(τ))sinpφ(τ)Φ(cospθ(t))sinθ(t)}dτ+1β2ttt+β2c(τ)(p1){|sinpφ(t)|p|sinpθ(t)|p}dτ+1β3ttt+β3d(τ)(p1)log2τ{|sinpφ(t)|p|sinpθ(t)|p}dτ+Oltlog2t.

Similarly as in [6] if we use integration by parts, we get tt+β3d(s)log2sds=(p1)β3Dlog2t+Oltlog3t

and by using the definition of R, C and D we get θ(t)=1t[R|cospθ(t)|pΦ(cospθ(t))sinpθ(t)+1p1(C+Dlog2t)|sinpθ(t)|p]+1β1ttt+β1r1q(τ){|cospφ(τ)|p|cospθ(t)|p}dτ1ξttt+ξ{Φ(cospφ(τ))sinpφ(τ)Φ(cospθ(t))sinθ(t)}dτ+1β2ttt+β2c(τ)(p1){|sinpφ(τ)|p|sinpθ(t)|p}dτ +1β3ttt+β3d(τ)(p1)log2τ{|sinpφ(t)|p|sinpθ(t)|p}dτ+Oltlog2t.

And using the half-linear trigonometric functions, we have |cospφ(τ)|p|cospθ(t)|ppθ(t)φ(τ)|Φ(cosps)(cosps)|dsconst|φ(τ)θ(t)|, |Φ(cospφ(τ))sinpφ(τ)Φ(cospθ(t))sinpθ(t)|θ(t)φ(τ)|(Φ(cosps)sinps)|dsconst|φ(τ)θ(t)|

and ||sinpφ(t)|p|sinpθ(t)|pconst|φ(τ)θ(t)|.

By the mean value theorem we can write θ(t)=φ1(t1)+φ2(t2)+φ3(t3)+φ4(t4)

for t1∈ [t, t + β1], t2 ∈ [t, t + ξ], t3 ∈ [t, t + β2], t4 ∈ [t, t + β3]. Thus |φ(τ)θ(t)||φ1(τ)φ1(t1)|+|φ2(τ)φ2(t2)|+|φ3(τ)φ3(t3)|+|φ4(τ)φ4(t4)|.

This implies that |φ(τ)θ(t)|o1tast,φ(τ)θ(t)=o(1).

Hence we get θ=1tR|cospθ|pΦ(cospθ)sinpθ+1p1(C+Dlog2t)|sinpθ|p+O(ltlog2t). □

The computation of oscillation constant μ in Eq.(7) is based on the following lemma

Lemma 3.2

Let 0β1r1q(t)dtp10β2c(t)dt=γpβ1p1β2 and θ is a solution of the differential equation θ=1tR|cospθ|pΦ(cospθ)sinpθ+1p1(C+Dlog2t)|sinpθ|p+oltlog2t,(13)

where R,C, D are as in Lemma 3.1. If0β1r1q(t)dtp10β3d(t)dt>μpβ1p1β3,thenθ(t)ast

and If0β1r1q(t)dtp10β3d(t)dt<μpβ1p1β3,thenθ(t)isbounded.

Proof

We rewrite Eq.(13) in the form θ=1tR|cospθ|pΦ(cospθ)sinpθ+1p1(C+Dlog2t)|sinpθ|p +o(1)tlog2t(|cospθ|p+|sinpθ|p).

This is the equation for Prüfer angle θ, which corresponds to the differential equation R+o(1)log2t1pΦx+p1tpC+D+o(1)log2tΦ(x)=0,

which is the same (using the formula (1 + x)α = 1 + αx + ο (x) as x →0) as the equation 1+o(1)log2tΦx+p1tpRp1C+Rp1D+o(1)log2tΦ(x)=0,(14)

i.e., the same as 1+o(1)log2tΦx+1tpγp+(p1)Rp1D+o(1)log2tΦ(x)=0.

First, suppose that 1β1p10β1r1q(t)dtp11β30β3d(t)dt<μp

and denote δ:=12μp1β1p10β1r1q(t)dtp11β30β3d(t)dt.

Let ε > 0 be sufficiently small and let Τ be so large that |o(1)|<ϵandμp1β1p10β1r1q(t)dtp11β30β3d(t)dt+o(1)>δ

for tT. Then, the equation 1ϵlog2tΦx+1tpγp+μpδlog2tΦ(x)=0(15)

is a Sturmian majorant of Eq.(14), i.e., nonoscillation of Eq.(15) implies nonoscillation of Eq.(14).

We will show that the function h(t)=tp1plog1pt satisfies 1ϵlog2tΦh+1tpγp+μpδlog2tΦ(h)0(16)

for large t, then nonoscillation of Eq.(15) follows from Lemma 2.1. According to [5] ,we have for h(t)=tp1plog1pt h(t)Φh+1tpγp+μplog2tΦ(h)Htlog2t

for t →∞, where Η is a real constant. At the same time, by a direct computation, hϵΦ(h)log2tδhptplog2tϵγpδtlogt<0

for large t, if ε<δγp, so we see that Eq.(16) really holds, hence Eq.(13) is non-oscillatory, i.e., the “Prüfer angle” of its solution is bounded.

Now suppose that 1β1p10β1r1q(t)dtp11β30β3d(t)>μp

and denote δ:=121β1p10β1r1q(t)dtp11β30β3d(t)dtμp.

Let ε > 0 be again sufficiently small and let Τ be so large that o(1)<εand1β1p1β1r1q(t)dtp11β3β3d(t)dtμp+o(1)>δ

for tT. Then the equation 1+εlog2tΦx+1tpγp+μp+δlog2tΦ(x)=0(17)

is a Sturmian minorant of Eq.(14), i.e., oscillation of Eq.(17) implies oscillation of Eq.(14).

Suppose, by contradiction, that Eq.(17) is nonoscillatory and let w be the minimal solution of its associated Riccati equation w+1tpγp+μp+δlog2t+(p1)(1+R(t))1q|w|q=0,

where we denote R(t):=εlog2t.

Let h(t)=t,p1pwh=Φhh=p1pp1t1p and denote λp=p1pp1 and v = hp (w – wh).

Then by a direct computation v is a solution of the equation v+μp+δtlog2t+(p1)t(1+R(t))1q|v+λp|qq(1+R(t))q1Φ1(λp)vλqq(1+R(t))q1Φ1(λp)vλq+(p1)tλpq1(1+R(t))1q=0.(18)

Denote now ƒ (t) := (1 + R(t)q-1, and F(v):=|v+λp|qqΦ1(λp)fvλpq. Then we have F(v)=q[Φ1(v+λp)Φ1(λp)f]=0v=v=λp(Φ(f)1).

At this extremal point F(v)=λpq[fp(1q)+fq1].

Substituting f (t) = (1 + R(t))q-1into F (v*) and using again the formula (1 + x)α = 1 +αx + o(x)as x → 0,

we obtain F(v)=λpq(1+R(t))p(q1)(1q)+q(1+R(t))q11=λpqo(R)=o(R),ast.

Consequently, F(v)ηlog2t for sufficiently large t, where η is any positive constant. Using this estimate in Eq.(18)

we get v+μp+δtlog2t+(p1)t1+εlog2t1q|v+λp|q1+εlog2tq1Φ1(λp)vλpq}+(p1)tλpq[11+(q1)εlog2t+o(1)log2t]=0

and we see that v+μp+δtlog2tζlog2t0,

for large t, where the constant ζ > 0 depends on ε and η and μρ + δζ > 0 if ε, η are sufficiently small. Hence v' (t) < 0 for large t, which means that there exists the limit v0= limt→∞ v (t). This limit is finite, because of Lemma 2.1, w (t) > 0, i.e., v (t) = hp (t) (w (t) – wh (t)) ≥ -hp (t) wh(t) = –λρ.

Next, we show that v0 = 0. If v0 ≠0, then |v0+λp|qqΦ1(λp)v0λpq=:ω>0, i.e., |v(t)+λp|qqΦ1(λp)v(t)λpq>ω2

for large t. From Eq.(18), using the fact that F(v)=|v+λp|qqΦ1(λp)vλpq+q(q1)Φ1(λp)ϵlog2t+o(1)log2tv

we have v(t)v(T)+Ttμp+δslog2sds+Tt(p1)ω2sds+TtO(1)slog2s0

i.e., since v (t) > – λρ Ttμp+δslog2sds+Tt(p1)ω2sds+TtO(1)slog2sλp+v(T)

for sufficiently large Τ. When t → ∞, we obtain the convergence of the integral t1dt which is a contradiction, so necessarily ω must be equal to zero, which means that v0 = 0. Using second order Taylor’s expansion , we have (p1)|v+λp|qqΦ1(λp)vλpq(1ε)q2λpq2v2

for |v| sufficiently small. Hence, for t sufficiently large v+μp+δtlog2t+(1ε)q2tλpq2v2+o(1)tlog2tv0.

The last inequality is the Riccati type inequality associated with the linear second order differential equation (tx)+o(1)log2tx+(1ε)qλpq2(μp+δ)2tlog2tx=0,(19)

which means that Eq.(19) is nonoscillatory. However, if we compute the value of the coefficient by x in Eq.(19), we get the value q2p1p(p1)(q2)12p1p(p1)1+δμp(1ε)=141+δμp(1ε)

and the value of this constant is greater than 14 if ε is sufficiently small, i.e., Eq.(19) is oscillatory by Lemma 2.1 which is the required contradiction implying that Eq.(13) is oscillatory.

The main results of this paper are as follows

Theorem 3.3

  1. Let r, c and d be positive defined functions in Eq.(6) and Eq.(7) having different periods β1, β2 and β3, respectively. Then Eq.(6) is nonoscillatory if and only if γγ:=β1p1β2γp0β1r1q(t)dtp10β2c(t)dt,

    where γp:=p1pp.

  2. In the limiting case γ = γ*, Eq.(7) is nonoscillatory if μ<μ:=β1p1β3μp0β1r1q(t)dtp10β3d(t)dt

    and it is oscillatory if μ > μ*, where μp:=12p1pp1.

Proof

The statement (i) is proved in [13] when γ γ*.

(ii) We consider Eq.(7), let x be the nontrivial solution of Eq.(7) and φ is the Prüfer angle of Eq.(7) given by Eq.(11). Then φ is a solution of φ=1tr1q(t)|cospφ|pΦ(cosp,φ)sinpφ+1(p1)γc(t)+μd(t)log2t|sinpφ|p.

By the help of Lemma 3.1, θ is a solution of θ=1tR|cospθ|pΦ(cospθ)sinpθ+γC+μDlog2t|sinpφ|p+oltlog2t,

where R, C and D are as in Lemma 3.1. By the help of Lemma 3.2 if μ<μ:=μpβ1p1β30β1r1q(t)dtp10β3d(t)dt

holds, then θ is bounded and by the help of Lemma 3.1, φ is bounded. Then from Eq.(11), Eq.(7) is nonoscillatory. Again by the help of Lemma 3.2, if μ>μ:=μpβ1p1β30β1r1q(t)dtp10β3d(t)dt,

holds, then θ (t)⊒∞as t ⊒∞and by the help of Lemma 3.1, φ is unbounded. Then from Eq.(11), Eq.(7) is oscillatory. This result also shows that Eq.(6) is nonoscillatory in the limiting case γ = γ* since this case corresponds to Eq.(7) with μ = 0 < μ*. The proof is now complete.  □

Corollary 3.4

If the periods of the functions r, c and d in Eq.(7) coincide with α-period, which is given in [6] we get for β1 = β2 = β3 = α μ>μ:=μpβ1p1β30β1r1q(t)dtp10β3d(t)dt=αpμp0αr1q(t)dtp10αd(t)dt=μrd.

Thus in this case our oscillation constant μ* reduces to μrd given in [6] and the main result compiles with the result given by [6].

Corollary 3.5

In a similar way it is easy to see that if there exists a 1cm (β1, β2, β3) and the period a, given in [6] is chosen as the number 1cm (β1, β2, β3), then there exist some natural numbers m,l, and s such as α = mβ1 = 2 = 3 and by the help of periodic functions properties we get μ:=β1p1β3μp0β1r1q(t)dtp10β3d(t)dt=(αm)p1(αs)μp1m0αr1q(t)dtp11s0αd(t)dt=μrd.

Thus in this case our, oscillation constant μ* reduces to μrd given in [6] and the main result compiles with the result given by [6].

Remark 3.6

If 1cm(β1, β23) is not defined, then we can not use the results of Remark 3.4 and Remark 3.5. However, only our result can be applied while the result given in [6, 8] cannot be applied.

Example 3.7

Consider the equation 12+cos6tΦx+1tpγ(2+cos8t)+μ(2+cos(ax+b))log2tΦ(x)=0(20)

which is Eq.(7) for q=3,r(t)=12+cos6t,c(t)=2+cos8t and d (t) = 2 + cos (ax + b),(a,b ∈ ℝ). In this case r(t)=12+cos6t defined for all t ∈with period π3,c(t)=2+cos8t is positive defined for all t ∈ R with period π4, and d (t) = 2 + cos (ax + b) > 0 can be considered as positive defined function with period 2π|a|.

Thus we can apply Theorem 3.3 for all a ≠0 and we obtain an oscillation constant for the differential equation Eq.(20) μ=β1p1β3μp(0β1r1q(t)dt)p10β3d(t)dt=(π3)122π|a|12(13)120π3(2+cos6t)2dt1202π|a|(2+cos(ax+b))dt=1122.

and equation Eq.(20) is nonoscillatory if and only if μ<1122. This computation shows that we can compute the oscillation constant μ* for every period 2π|a|>0. If the functions r (t) , c (t) , and d(t) are having an α=1cmπ3,π4,2π|a| period it is well known that there exists some m, l and s natural numbers such as α=mπ4=lπ3=s2π|a|. In this case we use the fact of the remark 3.4 and we can apply Theorem 3.1 in [6] to the above example and we get oscillation constant as μrd=αpμp0αr1q(t)dtp10αd(t)dt123s2π|a|32l0π3(2+cos6t)2dt12s02π|a|(2+cos(ax+b))dt=1122.

Here the important point to note is that while we cannot apply the Theorem 3.1 in [6] for this example if we choose a=3thenlcmπ3,π4,2π|a| is not defined, we can apply our theorem Theorem 3.3.

Finally, as a future work this paper can be improved if we replace the periodic coefficient functions, having different periods, with asymptotically almost periodic coefficients or having different mean values coefficients functions. The conditional oscillation of half-linear equations with asymptotically almost periodic coefficient or coefficients having mean values are studied in [13-15].

Acknowledgement

The authors would like to express their sincere gratitude to the referees for a number of valuable comments and suggestions which led to significant improvement of the final version of the paper.

References

  • [1]

    Beesack R.R., Hardy’s inequality and its extensions, Pac. J. Math. 1961, 11(1), 39-61. Google Scholar

  • [2]

    Binari I., An oscillation theorem concerning the half-linear differential equation of second order, Magy. Tud. Akad.Mat. Kut. Intéz. Közl., 1964, 8, 275-280. Google Scholar

  • [3]

    Dosly O., Rehak P., Half-linear Differential Equations, Elsevier, 2005, Amsterdam. Google Scholar

  • [4]

    Elbert A., Asymtotic behaviour of autonomous half-linear differential systems on the plane, Studia Sci. Math. Hungar., 1984, 19, 447-464. Google Scholar

  • [5]

    Dosly O., Perturbations of the half-linear Euler-Weber type differential equation. J. Math. Anal. Appl., 2006, 323, 426-440. CrossrefGoogle Scholar

  • [6]

    Dosly O., Hasil P., Critical oscillation constant for half-linear differential equations with periodic coefficient, Ann. Math. Pur. Appl., 2011, 190, 395-408. CrossrefGoogle Scholar

  • [7]

    Elbert A., Scneider A., Perturbations of half-linear Euler differential equation, Results Math., 2000, 37, 56-83. CrossrefGoogle Scholar

  • [8]

    Hasil P., Conditional oscillation of half-linear differential equations with periodic coefficients, Arch. Math., 2008, 44, 119-131. Google Scholar

  • [9]

    Schmidt K.M., Oscillation of perturbed Hill equation and lower spectrum of radially periodic Schrödinger operators in the plane, Proc. Amer. Math. Soc, 1999, 127, 2367-2374. CrossrefGoogle Scholar

  • [10]

    Schmidt K.M., Critical coupling constant and eigenvalue asymtotics perturbed periodic Sturm-Liouville operators, Commun. Math. Phys., 2000, 211, 465-485. CrossrefGoogle Scholar

  • [11]

    Kneser A., Untersuchungen uber die reellen Nullstellen der Integrale linearer Differentialgleichungen, Mathematische Annalen, 1893, 42 no.3, 409-435. CrossrefGoogle Scholar

  • [12]

    Gesztesy F., Ünal M., Perturbative oscillation criteria and Hard-type inequalities, Math. Nachr., 1998, 189, 121-144. CrossrefGoogle Scholar

  • [13]

    Hasil P., Marik R., Vesely M., Conditional oscillation of half-linear differential equations with coefficients having mean value, Abstr. Appl. Anal., 2014, Art. ID 258159, 14 pages. Google Scholar

  • [14]

    Hasil P., Vesely M., Conditional oscillation of Riemann-Weber half-linear differential equations with asymptotically almost periodic coefficients, Studia Sci. Math. Hungar., 2014, 51 no. 3, 303-321.Google Scholar

  • [15]

    Hasil P., Vesely M., Oscillation of half-linear differential equations with asymptotically almost periodic coefficients, Adv. Difference Equ.,2013, 122, 15 pages. Web of ScienceGoogle Scholar

About the article

Accepted: 2017-02-28

Received: 2016-11-07

Published Online: 2017-05-04


Conflict of interestsThe authors declare that there is no conflict of interest regarding the publication of this paper.


Citation Information: Open Mathematics, Volume 15, Issue 1, Pages 548–561, ISSN (Online) 2391-5455, DOI: https://doi.org/10.1515/math-2017-0046.

Export Citation

© 2017 Misir and Mermerkaya. This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License. BY-NC-ND 3.0

Citing Articles

Here you can find all Crossref-listed publications in which this article is cited. If you would like to receive automatic email messages as soon as this article is cited in other publications, simply activate the “Citation Alert” on the top of this page.

[1]
Petr Hasil and Michal Veselý
Applied Mathematics and Computation, 2019, Volume 361, Page 788
[2]
Petr Hasil and Michal Veselý
Mathematical Methods in the Applied Sciences, 2018

Comments (0)

Please log in or register to comment.
Log in