Skip to main content

Theory and Modern Applications

Generalized diamond-α dynamic opial inequalities

Abstract

We establish some new dynamic Opial-type diamond alpha inequalities in time scales. Our results in special cases yield some of the recent results on Opial's inequality and also provide new estimates on inequalities of this type. Also, we introduce an example to illustrate our result.

Mathematics Subject Classification 2000: 39A12; 26D15; 49K05

1. Introduction and Preliminaries

In 1960, the Polish Mathematician Zdzidlaw Opial [1] published an inequality involving integrals of functions and their derivatives;

0 h | x ( t ) x ( t ) | d t h 4 0 h | x ( t ) | 2 d t
(1.1)

where x C1[0, h], x(0) = x(h) = 0 and x(t) > 0 in (0, h), and the constant h/4 is the best possible.

Inequalities which involve integrals of functions and their derivatives are of great importance in mathematics with applications in the theory of differential equations, approximations and probability. It has been shown that inequalities of the form (1.1) can be deduced from those of Wirtinger and Hardy type, but the importance of Opial's result is in the establishment of the best possible constant. The monograph [2] is the first book dedicated to the theory of Opial type inequalities.

The positivity requirement of x(t) in the original proof of Opial was shown to be unnecessary later by Olech [3] where he proved that the inequality (1.1) holds even for functions x(t) which are only absolutely continuous in [0, h]. Moreover, Olech's proof is simpler than that of Opial.

Theorem 1.1. (Olech): Let x(t) be absolutely continuous in [0, h] and x(0) = x(h) = 0.

Then the following inequality holds;

0 h | x ( t ) x ( t ) | d t h 4 0 h ( x ( t ) ) 2 d t
(1.2)

Works containing discrete analogues of Opial-type inequalities started in 1967-69 with the articles of Lasota [4], Wong [5], and Beesack [6] which provided discrete versions of the inequality (1.1).

The next result is the discrete analogue of the above theorem.

Theorem 1.2. (Lasota's Inequality): Let x i i = 0 N be a sequence of numbers, and x0 = x N = 0. Then the following inequality holds

i = 1 N 1 | x i Δ x i | 1 2 [ [ N + 1 2 ] ] i = 0 N 1 | Δ x i | 2
(1.3)

where Δ is the forward difference operator, and [[·]] is the greatest integer function.

Now, if we consider Olech's result under weaker conditions, we get the following estimate with a bound which is less sharp.

Theorem 1.3. Let x(t) be absolutely continuous in [0, a] and x(0) = 0. Then the following inequality holds.

0 a | x ( t ) x ( t ) | d t a 2 0 a ( x ( t ) ) 2 d t
(1.4)

In (1.4) equality holds if and only if x(t) = ct.

The following theorem is a non-trivial generalization of Theorem 1.3 and is given in Hua [7].

Theorem 1.4. (Hua's generalization) Let x(t) be absolutely continuous on [0, a], and x(0) = 0. Further let ϵ be a positive integer. Then the following inequality holds

| x ϵ ( t ) x ( t ) | d t a ϵ ϵ + 1 | x ( t ) | ϵ + 1 d t
(1.5)

with equality being valid in (1.5) if and only if x(t) = ct.

Finally we give a discrete analogue of Theorem 1.4 due to Wong [5].

Theorem 1.5. (Wong's inequality) Let x i i = 0 τ be a non-decreasing sequence of nonnegative numbers, and x0 = 0. Then for ϵ ≥ 1, the following inequality holds

i = 1 τ x i ε x i ( τ + 1 ) ε ε + 1 i = 1 τ ( x i ) ε + 1 .
(1.6)

where is the backward difference operator, that is x i = x i - xi- 1.

Remark 1.6. In terms of the forward difference operator, Δx i , above Wong's inequality (1.6) can be restated as follows;

x i i = 0 τ is a non-decreasing sequence of non-negative numbers with x0 = 0, for ϵ ≥ 1, the inequality

i = 0 τ 1 x i + 1 ε Δ x i ( σ ( τ ) ) ε ε + 1 i = 0 τ 1 ( Δ x i ) ε + 1 .
(1.7)

holds where Δ is the forward difference operator.

1.1. Time-scale set-up of basic Opial type inequality

For convenience we now recall the following easiest versions of Opial's inequality.

Theorem 1.7. [Continuous Opial inequality, [[2], Theorem 1.4.1]] For absolutely continuous x: [0, h] with x(0) = 0 we have

0 h | x x | ( t ) d t h 2 0 h | x | 2 ( t ) d t ,

with equality when x(t) = ct.

Theorem 1.8. [Discrete Opial inequality, [[2], Theorem 5.2.2]] For x0 = 0 and a sequence x i 0 i h , we have

i = 1 h 1 | x i ( x i + 1 x i ) | h 1 2 i = 0 h 1 | x i + 1 x i | 2 ,

with equality when x i = ci.

In [8], a dynamic Opial inequality is proven that contains both Theorems 1.7 and 1.8 as special cases. For details of time-scale calculus we refer to [9, 10]. We now give this simplest version of Opial's inequality on time scales as presented in [8].

2. Main results

Theorem 2.1. [Delta Dynamic Opial inequality] Let  T be a time scale. For delta differentiable x: [ 0 , h ] T with x(0) = 0 we have

0 h | ( x + x σ ) x Δ | ( t ) Δth 0 h | x Δ | 2 ( t ) Δt,

with equality when x(t) = ct, provided all Δ-anti derivatives exist.

We refer to [8] for the proof of Theorem 2.1.

Next a generalization of Theorem 2.1 is offered where x(0) does not need to be equal to 0. This result is not found in the book [2] (neither a continuous nor a discrete version of it), but both a weaker version of Theorem 2.1 (with x(0) = 0) and the subsequent Corollary 2.3 (with x(0) = x(h) = 0) are corollaries of Theorem 2.2, and continuous [[2], Theorem 1.3.1] and discrete [2, Theorem 5.2.1, "Lasota's inequality"] versions of Theorem 2.3 can be found in the book by Agarwal and Pang [2].

Theorem 2.2. Let x: [ 0 , h ] T be Δ-differentiable and rd-continuous function. Then

0 h | ( x + x σ ) x Δ | ( t ) Δtα 0 h | x Δ ( t ) | 2 Δt+2β 0 h | x Δ ( t ) | Δt,

where

αT, dist ( h / 2 , α ) = dist ( h / 2 , T )
(2.1)

β = max{|x(0)|, |x(h)|}.

Corollary 2.3. Let x: [ 0 , h ] T be Δ-differentiable and rd-continuous function with x(0) = x(h) = 0. Then

0 h | ( x + x σ ) x Δ | ( t ) Δ t α 0 h | x ( t ) | 2 Δ t ,

where α is given in (2.1).

Proof. This follows easily from Theorem 2.2 since in this case we have β = 0. □

2.1. Improved diamond-alpha Opial inequalities

The diamond-alpha derivative of f:T is defined by

f α ( t ) =α f Δ ( t ) + ( 1 - α ) f ( t ) ,

where α [0, 1]. A function f: [0, h] is said to be in C α 1 if f is α -differentiable such that αfΔ is rd-continuous, (1 - α)f is ld-continuous, and α ( 1 - α ) f α is continuous. Note that C α 1 is, for α (0, 1), the class of functions that are Δ-differentiable and -differentiable such that fΔ is rd-continuous, f is ld-continuous, and f α is continuous. Moreover, C 0 1 coincides with the class of functions that are -differentiable such that f is ld-continuous, and likewise C 1 1 is equal the class of functions that are Δ-differentiable such that fΔ is rd-continuous.

First we introduce a set of Opial type Diamond-alpha Inequalities obtained by Bohner-Duman [11]

Theorem 2.4. Let α [0, 1] and hT with h > 0. For any f C α 1 with f(0) = 0 and α(1 - α)fΔf ≥ 0, we have

α 3 0 h | ( f + f σ ) f Δ | ( t ) Δ t + ( 1 - α ) 3 0 h | ( f + f ρ ) f | ( t ) t h 0 h ( f Δ ) 2 ( t ) α t .
(2.2)

Theorem 2.5. Let α [0, 1] and hT with h > 0. For any f C α 1 with αfΔ 0 and (1 - α)f 0, we have

α 3 0 h | ( f + f σ ) f Δ | ( t ) Δ t + ( 1 - α ) 3 0 h | ( f + f ρ ) f | ( t ) t h β 0 h ( f α ) 2 ( t ) α t + 2 γ ( 1 - 3 α + 3 α 2 ) ( f ( h ) - f ( 0 ) ) ,

where β:= min u [ 0 , h ] T max { u , h - u } and γ: = max {|f (0)|, |f (h)|}.

Corollary 2.6. Let α [0,1] and hT with h > 0. For any f C α 1 with αfΔ ≥ 0, (1 - α)f ≥ 0, and f(0) = f(h) = 0, we have

α 3 0 h | ( f + f σ ) f Δ | ( t ) Δ t + ( 1 - α ) 3 0 h | ( f + f ρ ) f | ( t ) t β 0 h ( f α ) 2 ( t ) α t ,

where β is as in Theorem 2.5.

Theorem 2.7. Let α [0, 1] and hT with h > 0. Assume that g: [0, h] + is a non increasing continuous function. For any f C α 1 with α(1 - α)fΔf 0, we have

α 3 0 h [ g σ | ( f + f σ ) f Δ | ] ( t ) Δ t + ( 1 - α ) 3 0 h [ g ρ | ( f + f ρ ) f | ] ( t ) t h 0 h g ( t ) ( f α ) 2 ( t ) α t .

In this article, the above given Theorem 2.4 is improved in the sense of removing the restriction given by the condition α(1)fΔf ≥ 0 as well as the left hand side of inequality (2.2) refined to a compact form, being composed of a single diamond-alpha integral. In this sense, the next theorem and its consequences extend and unify the previously obtained delta and nabla Opial dynamic inequalities in a more accurate way than that given by Theorem 2.4.

Theorem 2.8. Let  T be a time scale. For α differentiable x : [ ρ ( 0 ) , σ ( h ) ] T with x C1 and x(0) = 0 we have

0 h | ( x 2 ) α | ( t ) α t h 0 h | x α | 2 ( t ) α t ,
(2.3)

with equality when x(t) = ct.

Proof. Starting with the left side of (2.3)and using the fact that

x x α =αx x Δ + ( 1 - α ) x x

we get,

0 h | ( x 2 ) α | ( t ) α t = 0 h | x x α + α x σ x Δ + ( 1 - α ) x ρ x | ( t ) α t = α 0 h | x x α | + α x σ x Δ + ( 1 - α ) x ρ x | ( t ) Δ t + ( 1 - α ) 0 h | x x α | + α x σ x Δ + ( 1 - α ) x ρ x | ( t ) t α 0 h | x x α | ( t ) Δ t + α 2 0 h | x σ x Δ | ( t ) Δ t + α ( 1 - α ) 0 h | x ρ x | ( t ) Δ t + ( 1 - α ) 0 h | x x α | ( t ) t + α ( 1 - α ) 0 h | x σ x Δ | ( t ) t + ( 1 - α ) 2 0 h | x ρ x | ( t ) t = α 0 h | α x x Δ + ( 1 - α ) x x | ( t ) Δ t + α 2 0 h | x σ x Δ | ( t ) Δ t + α ( 1 - α ) 0 h | x ρ x | ( t ) Δ t + ( 1 - α ) 0 h | α x x Δ | + ( 1 - α ) x x | ( t ) t + α ( 1 - α ) 0 h | x σ x Δ | ( t ) t + ( 1 - α ) 2 0 h | x ρ x | ( t ) t = α 2 0 h ( | x | + | x σ | ) | x Δ | ( t ) Δ t + α ( 1 - α ) 0 h ( | x | + | x ρ | ) | x | ( t ) Δ t + α ( 1 - α ) 0 h ( | x | + | x σ | ) x Δ ( t ) Δ t + ( 1 - α ) 2 0 h ( | x | + | x ρ | ) x | ( t ) Δ t = α 2 0 h [ ( | x | + | x σ | ) | x Δ | ] ( t ) Δ t + ( 1 - α ) 2 0 h [ ( | x | + | x ρ | ) | x | ] ( t ) t + α ( 1 - α ) 0 h [ ( | x | + | x σ | ) | x Δ | ] ( t ) t + α ( 1 - α ) 0 h [ ( | x | + | x ρ | ) | x | ] ( t ) Δ t

Letting y ( t ) = 0 t | x α ( s ) | α s , we then have yΔ = |xΔ|, y = |x| and since

y ( t ) = 0 t | x α ( s ) | α s | 0 t | x α ( s ) | α s | = | x ( t ) - x ( 0 ) | = | x ( t ) |

yielding |x| ≤ y as long as α -anti derivative of x exists. So

α 2 0 h [ ( y + y σ ) y Δ ] ( t ) Δ t + ( 1 - α ) 2 0 h [ ( y + y ρ ) y ] ( t ) t + α ( 1 - α ) 0 h [ ( y + y σ ) y Δ ] ( t ) t + α ( 1 - α ) 0 h [ ( y + y ρ ) y ] ( t ) Δ t = 0 h ( y 2 ) α ( t ) α t = y 2 ( h ) - y 2 ( 0 ) = 0 h | x α ( s ) | α s 2 h 0 h | x α ( s ) | 2 α s .

where we have used Hölder's inequality for h(x) = 1 and p = 2. □

We illustrate the result obtained in Theorem 2.8 with an example.

Example 2.9. Let T= [ - 1 , 4 ] be the time scale and x:T with α= 1 2 ,

x ( t ) = - 1 if t = ± 1 0 if t = 0 5 if t 2 .

Then,

0 h | ( x 2 ) α | ( t ) α t = 1 2 0 3 | ( x 2 ) Δ ( t ) + ( x 2 ) ( t ) | α t = 1 4 [ 0 3 | ( x 2 ) Δ ( t ) + ( x 2 ) ( t ) | Δ ( t ) + 0 3 | ( x 2 ) ( t ) + ( x 2 ) ( t ) | ( t ) ] = 1 4 [ t = 0 2 | ( x ( t + 1 ) + x ( t ) ) ( x ( t + 1 ) x ( t ) ) + ( x ( t ) + x ( t 1 ) ) ( x ( t ) x ( t 1 ) ) | + t = 1 3 | ( x ( t + 1 ) + x ( t ) ) ( x ( t + 1 ) x ( t ) ) + ( x ( t ) + x ( t 1 ) ) ( x ( t ) x ( t 1 ) ) | ] = 1 4 [ t = 0 2 | ( x 2 ( t + 1 ) x 2 ( t 1 ) ) | + t = 1 3 | ( x 2 ( t + 1 ) x 2 ( t 1 ) ) | ] = 49 2

and similarly,

h 0 | ( x α ) 2 | ( t ) α t = 1 4 3 0 ( x Δ ( t ) + ( x ( t ) ) ) 2 α t = 1 8 [ 3 0 ( x Δ ( t ) + ( x ( t ) ) ) 2 Δ t + 0 3 ( x Δ ( t ) + ( x ( t ) ) ) 2 t ] = 1 8 [ t = 0 2 ( x ( t + 1 ) ( x ( t 1 ) ) ) 2 + t = 1 3 ( x ( t + 1 ) ( x ( t 1 ) ) ) 2 ] = 63 4

and so we obtain 3. 63 4 = 189 4 .

Therefore the inequality in Theorem 2.8 holds.

The next two theorems are extensions of Theorem 2.8.

Theorem 2.10. Let x: [ ρ ( 0 ) , σ ( h ) ] T be α -differentiable. Then

0 h | ( x 2 ) α | ( t ) α tγ 0 h | x α | 2 α +2β 0 h | x α | α t,

where β = max {|x(0), |x(h)|} γ= min u [ 0 , h ] T max { u , h - u }

Proof. We consider y ( t ) = 0 t | x α ( s ) | α s and z ( t ) = t h | x α ( s ) | α s. Then we have, y α = | x α | , z α = - | x α | , yΔ =|xΔ|, yΔ =|xΔ|, y =|x|, y =|x| y ielding

| x ( t ) | | x ( t ) - x ( 0 ) | + | x ( 0 ) | = 0 t x α ( s ) α s + | x ( 0 ) | 0 t | x α ( s ) | α s + | x ( 0 ) | = y ( t ) + | x ( 0 ) |

and similarly, |x(t)| ≤ z(t) + |x(h)|.

Let u [ ρ ( 0 ) , σ ( h ) ] T . Then

0 h | ( x 2 ) α | ( t ) α t 0 u [ ( y + | x ( 0 ) | ) y α + α ( y σ + | x ( 0 ) | ) y Δ + ( 1 - α ) ( y ρ + | x ( 0 ) | ) y ] α t = y 2 ( u ) - y 2 ( 0 ) + 2 | x ( 0 ) | y ( u ) u 0 u | x α | 2 α t + 2 | x ( 0 ) | 0 u | x α ( t ) | α t ,

where we have used Hölder's inequality for h(x) = 1 and p = 2. Therefore we get

u h | ( x 2 ) α | ( t ) α t z 2 ( u ) - z 2 ( h ) + 2 | x ( h ) | z ( u ) ( h - u ) u h | x α | 2 α t + 2 | x ( h ) | u h | x α | α t .

By putting γ= min u [ 0 , h ] T max { u , h - u } , β = max{|x(0), |x(h)|} and adding the above two inequalities, we find

0 h | ( x 2 ) α | ( t ) α t γ 0 h | x α | 2 α + 2 β 0 h | x α | α t .

Theorem 2.11. Let x: [ ρ ( 0 ) , σ ( h ) ] T be α -differentiable with x(0) = x(h) = 0. Then

0 h | ( x 2 ) α γ 0 h | x α | 2 α ,
(2.4)

where γ is given in Theorem 2.10.

Proof. We consider y ( t ) = 0 t | x α ( s ) | α s and z ( t ) = t h | x α ( s ) | α s. Then, y α = | x α | , z α =- | x α | , yΔ = |xΔ|, y = |x| and | x ( t ) | | x ( t ) - x ( 0 ) | + | x ( 0 ) | = | 0 t x α ( s ) | α s + | x ( 0 ) | 0 t | x α ( s ) | α s + | x ( 0 ) | = y ( t ) + | x ( 0 ) | and similarly |x(t)| ≤ z(t) + |x(h)|.

Let u [ ρ ( 0 ) , σ ( h ) ] T , then

0 h | ( x 2 ) α | ( t ) α t 0 u [ ( y + | x ( 0 ) | ) y α + α ( y σ + | x ( 0 ) | ) y Δ + ( 1 α ) ( y ρ + | x ( 0 ) | ) y ] α = y 2 ( u ) y 2 ( 0 ) + 2 | x ( 0 ) | y ( u ) u 0 u | x α | 2 α t + 2 | x ( 0 ) | 0 u | x α ( t ) | α t

where we have used Hölder's inequality for h(x) = 1 and p = 2.

Therefore we get

u h | ( x 2 ) α | ( t ) α t z 2 ( u ) - z 2 ( h ) + 2 | x ( h ) | z ( u ) ( h - u ) u h | x α | 2 α t + 2 | x ( h ) | u h | x α | α t .

By putting γ= min u [ 0 , h ] T max { u , h - u } and adding the above two inequalities, we find

0 h | ( x 2 ) α | ( t ) α t γ 0 h | x α | 2 α

References

  1. Opial Z: Sur une inegalite. Ann Polon Math 1960, 8: 29–32.

    MathSciNet  MATH  Google Scholar 

  2. Agarwal RP, Pang PYH: Opial Inequalities with Applications in Differential and Difference Equations. Kluwer, Dordrecht, Netherlands; 1995.

    Chapter  Google Scholar 

  3. Olech C: A Simple proof of a certain result of Z. Opial Ann Polon Math 1960, 8: 61–63.

    MathSciNet  MATH  Google Scholar 

  4. Lasota A: A discrete boundary value problem. Ann Polon Math 1968, 20: 183–190.

    MathSciNet  MATH  Google Scholar 

  5. Wong JSW: A discrete analogue of Opial inequality. Canad Math Bull 1967, 10: 115–118. 10.4153/CMB-1967-013-3

    Article  MathSciNet  MATH  Google Scholar 

  6. Beesack RP: On an integral inequality of Z. Opial Trans Am Math Soc 1962, 104: 470–475. 10.1090/S0002-9947-1962-0139706-1

    Article  MathSciNet  MATH  Google Scholar 

  7. Hua LK: On an inequality of Opial Scientia Sinica. 1965, 14: 789–790.

    Google Scholar 

  8. Bohner M, Kaymakçalan B: Opial inequalities on time scales. Ann Polon Math 2001, 77(1):11–20. 10.4064/ap77-1-2

    Article  MathSciNet  MATH  Google Scholar 

  9. Bohner M, Peterson A: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston 2001.

    Google Scholar 

  10. Bohner M, Peterson A (Eds): Advances in Dynamic Equations on Time Scales Birkhäuser, Boston; 2003.

  11. Bohner M, Duman O: Opial-type inequalities for diamond-alpha derivatives and integrals on time scales. Diff Equ Dyn Syst 2010, 18(1–2):229–237. 10.1007/s12591-010-0006-x

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Billûr Kaymakçalan.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors' contributions

All authors have contributed evenly to the manuscript and read and approved the final version.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Atasever, N., Kaymakçalan, B., Lešaja, G. et al. Generalized diamond-α dynamic opial inequalities. Adv Differ Equ 2012, 109 (2012). https://doi.org/10.1186/1687-1847-2012-109

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2012-109

Keywords