STIELTJES DERIVATIVE METHOD FOR INTEGRAL INEQUALITIES WITH IMPULSES
STIELTJES DERIVATIVE METHOD FOR INTEGRAL INEQUALITIES WITH IMPULSES
The Pure and Applied Mathematics. 2014. Feb, 21(1): 61-75
• Received : November 18, 2013
• Accepted : February 05, 2014
• Published : February 28, 2014
PDF
e-PUB
PPT
Export by style
Article
Author
Metrics
Cited by
TagCloud
YOUNG JIN, KIM

Abstract
The purpose of this paper is to obtain some integral inequalities with impulses by using the method of Stieltjes derivatives, and we use our results in the study of Lyapunov stability of solutions of a certain nonlinear impulsive integro-differential equation.
Keywords
1. INTRODUCTION
In this paper, we discuss various integral inequalities with impulses.
Differential equations with impulses arise in various real world phenomena in mathematical physics, mechanics, engineering, biology and so on. We refer to the monograph of Samoilenko and Perestyuk [6] . Also integral inequalities are very useful tools in global existence, uniqueness, stability and other properties of the solutions of various nonlinear di®erential equations, see,e.g., [5] .
To obtain our results in the paper we need some preliminaries. Now we state them.
Assume that [ a , b ], [ c , d ]⊂ R are bounded intervals, where R is the set of all real numbers.
A function f : [ a , b ]→ R is called regulated on [ a , b ] if both
PPT Slide
Lager Image
exist for every point s ∈ [ a , b ]. As a convention we define f ( a -) = f ( a ) and f ( b +) = f ( b ). Let G [ a , b ] be the set of all regulated functions on [ a , b ]. If we let for f G [ a , b ], ∥ f ∥ = sup s [a, b] f ( s )｜, then ( G [ a , b ], ∥ ᐧ ∥) becomes a Banach space. For regulated functions, see [1 , 2] .
For a closed interval I = [ c , d ], we define f ( I ) = f ( d )- f ( c ). A function f : [ a , b ] → R is of bounded variation on [ a , b ] if
PPT Slide
Lager Image
where the supremum is taken over all partitions
a = t 0 < t 1 < ᐧ ᐧ ᐧ < t n-1 < t n = b .
Let BV [ a , b ] be the set of all functions of bounded variation on [ a , b ]. We use the following notations for the convenience:
PPT Slide
Lager Image
A tagged interval (τ, [ c , d ]) in [ a , b ] consists of an interval [ c , d ] ⊂ [ a , b ] and a point τ ∈ [ c , d ]. Let I i = [ c i , d i ] ⊂ [ a , b ]. A finite collection {(τ i , [ c i , d i ]) : i = 1,2, ..., m } of pairwise non-overlapping tagged intervals is called a tagged partition of [ a , b ] if
PPT Slide
Lager Image
=[ a , b ]. A positive function 𝛿 on [ a , b ] is called a gauge on [ a , b ].
Definition 1.1 ( [4 , 7] ). Let 𝛿 be a gauge on [ a , b ]. A tagged partition P ={(τ i , [ t i-1 , t i ]) : i = 1, 2,..., m } of [ a , b ] is said to be 𝛿-fine if for every i = 1, ..., m we have
τ i ∈ [ t i-1 , t i ] ⊂ (τ i -𝛿(τ i ), τ i + 𝛿(τ i )).
If moreover a 𝛿-fine partition P satisfies the implications
τ i = t i-1 i = 1, τ i = t i i = m ,
then it is called a 𝛿 * - fine partition of [ a , b ].
The following lemma implies that for a gauge 𝛿 on [ a , b ] there exists a 𝛿 * -fine partition of [ a , b ]. This also implies the existence of a 𝛿-fine partition of [ a , b ].
Lemma 1.2 ( [4] ). Let 𝛿 be a gauge on [ a , b ] and a dense subset ­ Ω ⊂( a , b ) be given . Then there exists a 𝛿 * - fine partition P = {(τ i , [ t i-1 , t i ]) : i = 1, 2,..., m } of [ a , b ] such that t i ∈Ω ­ for i = 1, ..., m -1.
We are now ready to give a formal definition of both types of the Kurzweil integral.
Definition 1.3 ([4 , 7] ). Assume that f , g : [ a , b ] → R are given. We say that fdg is Kurzweil integrable (or shortly, K-integrable ) on [ a , b ] and v R is its integral if for every ε > 0 there exists a gauge 𝛿 on [ a , b ] such that for
PPT Slide
Lager Image
we have
S ( fdg , P ) - v ｜ ≤ ε,
provided P = {(τ i , I i ): i =1,..., n } is a 𝛿-fine tagged partition of [ a , b ]. In this case we denote
PPT Slide
Lager Image
(or, shortly,
PPT Slide
Lager Image
)
If, in the above definition, 𝛿-fine is replaced by 𝛿 * -fine, then we say that fdg is Kurzweil* integrable(or, shortly, K*-integrable) on [ a , b ] and we denote
PPT Slide
Lager Image
.
Remark 1.4. By the above definition it is obvious that K-integrability implies K*-integrability.
The integrals have the following properties. For the proofs, see, e.g., [7 , 8] .
Theorem 1.5. Assume that f, f1, f2, g : [ a, b ] → R and that f 1 d g and f 2 d g are integrable in the sense of Kurzweil or Kurzweil * on [ a , b ]. Let k 1 , k 2 R . Then we have
PPT Slide
Lager Image
If for c ∈ [ a , b ], integrals
PPT Slide
Lager Image
,
PPT Slide
Lager Image
exist , then
PPT Slide
Lager Image
exists also and we have
PPT Slide
Lager Image
For the integrability we have the following fundamental result.
Theorem 1.6. Assume that f G [ a , b ] and g BV [ a , b ]. Then fdg is K-integrable on [ a , b ].
Theorem 1.7. Assume that f, g : [ a , b ] → R and that fdg is K-integrable. If g is a regulated function on [ a , b ], then we have
PPT Slide
Lager Image
2. THE STIELTJES DERIVATIVES
In this section we state the results in [3] that are essential to verify our main results.
Throughout this section, we assume that f G [ a , b ] and g is a nondecreasing function on [ a , b ].
A neighborhood of t ∈ [ a , b ] is an open interval containing t . We say that the function g is not locally constant at t ∈ ( a , b ) if there exists 𝜂 > 0 such that g is not constant on ( t -ε, t +ε) for every ε < 𝜂. We also say that the function g is not locally constant at a and b , respectively if there exists 𝜂 > 0 such that g is not constant on [ a , a +ε), ( b - ε, b ], respectively for every ε < 𝜂.
Definition 2.1. If g is not locally constant at t ∈ ( a , b ), we define
PPT Slide
Lager Image
provided that the limit exists. If g is not locally constant at t = a and t = b respectively, we define
PPT Slide
Lager Image
respectively. Sometimes we use
PPT Slide
Lager Image
PPT Slide
Lager Image
If both f and g are constant on some neighborhood of t, we define
PPT Slide
Lager Image
= 0.
Remark 2.2. It is obvious that if g is not continuous at t then
PPT Slide
Lager Image
exists. Thus if
PPT Slide
Lager Image
does not exist then g is continuous at t .
PPT Slide
Lager Image
is called the Stieltjes derivative.
K*-integrals recover Stieltjes derivatives.
Theorem 2.3. Assume that if g is constant on some neighborhood of t then f is also constant there . Suppose that
PPT Slide
Lager Image
exists at every t ∈ [ a , b ] -{ c 1 , c 2 , ...}, where f is continuous at every t ∈ { c 1 , c 2 , ...}. Then we have
PPT Slide
Lager Image
3. MAIN RESULTS
In this section we will state and prove our results.
Let
0 < t 1 < t 2 < ᐧ ᐧ ᐧ < t m < 1,
and let 0 < a < 1: Two sorts of Heaviside functions H a ,
PPT Slide
Lager Image
: [0, 1] → {0, 1}are defined respectively by
PPT Slide
Lager Image
Using the Heaviside functions H a ,
PPT Slide
Lager Image
a we define functions 𝜙, 𝜓 : [0, 1] → [0,∞) by
PPT Slide
Lager Image
respectively.
It is obvious that the functions 𝜙, 𝜓 are strictly increasing and of bounded variation on [0, 1].
From now on, we assume that c ≥ 0 and that all the functions u , f , g , g i , i = 1, . . . , n are nonnegative functions defined on [0, 1] that are regulated on [0, 1] and continuous at every t t k , k =
PPT Slide
Lager Image
where
PPT Slide
Lager Image
= 1, . . . , m .
Lemma 3.1. Assume that f ’(t) exists for t ≠= tk, k =
PPT Slide
Lager Image
. Then we have
PPT Slide
Lager Image
(b) If a left-continuous function f is positive, nondecreasing, and differentiable at t ≠= tk, k =
PPT Slide
Lager Image
, then
PPT Slide
Lager Image
(c)
PPT Slide
Lager Image
Proof . (a) By definition, for t k < t < t k+1 and for sufficiently small 𝛿 and 𝜂 we have
PPT Slide
Lager Image
so we have
PPT Slide
Lager Image
And
PPT Slide
Lager Image
This implies
PPT Slide
Lager Image
Similarly we can verify
PPT Slide
Lager Image
And
PPT Slide
Lager Image
This completes the proof for (a).
(b) By (a) if t ≠= t k then it is obvious that
PPT Slide
Lager Image
and by the Mean Value Theorem and since f is nondecreasing and left-continuous we have
PPT Slide
Lager Image
(c) By Theorem 1.7, we have for t k < t
PPT Slide
Lager Image
Through the same process, we can obtain that
PPT Slide
Lager Image
By the same method we can easily verify that
PPT Slide
Lager Image
Since for t k > t , Htk ( s ) = 0 =
PPT Slide
Lager Image
( s ) for every s ∈ [0, t ] we have
PPT Slide
Lager Image
Using the above results and the definition and properties of K-integral we get
PPT Slide
Lager Image
Considering
PPT Slide
Lager Image
we get
PPT Slide
Lager Image
The proof is complete. □
Now we define functions A , B i : [0, 1] → [0,∞) as follows:
PPT Slide
Lager Image
The following theorem is a Gronwall-Bellman type integral inequality with impulses.
Theorem 3.2 ( [6] ). Let a k ≥ 0, k =
PPT Slide
Lager Image
, If
PPT Slide
Lager Image
then we have
PPT Slide
Lager Image
Proof . Define a function z ( t ) by the right side of (3.1), then we observe that z (0) = c , u ( t )≤ z ( t ) and for t t k , k =
PPT Slide
Lager Image
, we have by Lemma 3.1
PPT Slide
Lager Image
So, we have
PPT Slide
Lager Image
By Lemma 3.1 this implies
PPT Slide
Lager Image
By setting t = s in (3.2) and integrating it with respect to 𝜙 from 0 to t then by Theorem 2.3 and Lemma 3.1 we get
PPT Slide
Lager Image
Since z (0) = c we get
PPT Slide
Lager Image
This completes the proof. □
A generalization of Theorem 3.2 is the following result.
Theorem 3.3. Let 0 < m 1 < m 2 < ⋯ < m n and let a k , a ik ≥ 0, i =
PPT Slide
Lager Image
k =
PPT Slide
Lager Image
,
If
PPT Slide
Lager Image
then
PPT Slide
Lager Image
where
PPT Slide
Lager Image
provided that M(t ) + N(t) < 1.
Proof . Inequality (3.3) is written as:
PPT Slide
Lager Image
By applying Theorem 3.2, we get
PPT Slide
Lager Image
Then for every m j , j =
PPT Slide
Lager Image
, we have
PPT Slide
Lager Image
Multiplying the last inequality by a negative term - m n g j ( t ), we have
PPT Slide
Lager Image
By summing the inequality for j =
PPT Slide
Lager Image
, we obtain
PPT Slide
Lager Image
This implies that for t ≠= t k , k =
PPT Slide
Lager Image
PPT Slide
Lager Image
And by Lemma 3.1 we have
PPT Slide
Lager Image
By the Mean Value Theorem we get for some
PPT Slide
Lager Image
PPT Slide
Lager Image
So we conclude that
PPT Slide
Lager Image
By (3.6) and (3.7) we obtain
PPT Slide
Lager Image
Integrating from 0 to t with respect to 𝜙 we get by Theorem 2.3
PPT Slide
Lager Image
This implies that
PPT Slide
Lager Image
So inequality (3.5) becomes
PPT Slide
Lager Image
The proof is complete. □
From now on a function
PPT Slide
Lager Image
:[0, 1]→ [0,∞) is defined by
PPT Slide
Lager Image
Theorem 3.4. Let 1 < p and let a k , b k ≥ 0, k =
PPT Slide
Lager Image
. If
PPT Slide
Lager Image
and 1- M ( t )- N ( t ) > 0, where
PPT Slide
Lager Image
PPT Slide
Lager Image
then we have
PPT Slide
Lager Image
where
PPT Slide
Lager Image
Proof . Define a function z ( t ) by the right side of (3.8), then we observe that z (0) = c , u ( t ) ≤ z ( t ) and for t ≠= t k , k =
PPT Slide
Lager Image
we have
PPT Slide
Lager Image
and
PPT Slide
Lager Image
This implies that
PPT Slide
Lager Image
PPT Slide
Lager Image
Define a function v(t) by
PPT Slide
Lager Image
and then for t t k , k =
PPT Slide
Lager Image
, by Lemma 3.1 and (3.9)
PPT Slide
Lager Image
and
PPT Slide
Lager Image
and
PPT Slide
Lager Image
Thus we have
PPT Slide
Lager Image
This implies that
PPT Slide
Lager Image
Since z ( t ) is left-continuous we have
PPT Slide
Lager Image
So we have
PPT Slide
Lager Image
Thus
PPT Slide
Lager Image
By Theorem 3.3 we have
PPT Slide
Lager Image
And
v ( t k ) ≤ a k v ( t k -) + b k v p ( t k -)≤ c [ a k W ( t k ) + b k c p-1 W p ( t k )].
Thus we get
PPT Slide
Lager Image
So we have by Theorem 2.3,
PPT Slide
Lager Image
This completes the proof. □
4. AN EXAMPLE
There are many applications of the inequalities obtained in Section 3. Here we shall give an example which is su±cient to show the usefulness of our results.
Consider the following impulsive integro-differential equation
PPT Slide
Lager Image
where 0< t 1 < ⋯ < t k < ⋯ < t m < 1, where a function F : [0, 1] × R 2 R is continuous on [0, 1] × R 2 and satisfies
F ( s , x , y )｜ ≤ f ( s )(｜ x ｜ + ｜ y ｜)
for some continuous function f : [0, 1] → [0,∞), and a function G : [0, 1]× R R is continuous on [0, 1] × R and satisfies
G ( s , x )｜ ≤ g ( s )｜ x p
for some continuous function g : [0, 1] → [0,∞) and p > 1. Then we have
PPT Slide
Lager Image
Assume that F ( t , 0, 0) = 0 and that the function I k : R R is continuous and ｜ I k ( x )｜ ≤ a k x ｜ + b k x p , a k , b k ≥ 0, k =
PPT Slide
Lager Image
.
Let q = p - 1 and suppose that M ( t ) + N ( t ) < 1,where
PPT Slide
Lager Image
Then we have
PPT Slide
Lager Image
Applying Theorem 3.4 to the above inequality, we get
PPT Slide
Lager Image
Since the function K ( t ) is bounded on [0, 1], the above inequality implies that the zero solution of equation (4.1) is Lyapunov stable. □
References
Frănková D 1991 Regulated functions Math. Bohem. 116 20 - 59
HAönig C.S 1973 Volterra Stieltjes-integral equations, Mathematics Studies North Holand and American Elsevier Amsterdam and New York
Kim Y. J 2011 Stieltjes derivatives and its applications to integral inequalities of Stieltjes type J. Korean Soc. Math. Educ. Ser. B: Pure Appl. Math. 18 (1) 63 - 78
Krejčí P , Kurzweil J 2002 A nonexistence result for the Kurzweil integral Math. Bohem. 127 571 - 580
Pachpatte B.G 1998 Inequalities for differential and integral equations. Mathematics in Science and Engineering 197 Academic Press, Inc
Samoilenko A.M , Perestyuk N.A 1995 Impulsive differential equations World Scientific Singapore
Schwabik Š 1992 Generalized ordinary differential equations World Scientific Singapore
Schwabik Š , Tvrdý M , Vejvoda O 1979 Differntial and integral equations: boundary value problems and adjoints Academia and D. Reidel Praha and Dordrecht