Next Article in Journal
Vacation Queueing Model for Performance Evaluation of Multiple Access Information Transmission Systems without Transmission Interruption
Previous Article in Journal
Definite Integral of Logarithmic Functions in Terms of the Incomplete Gamma Function
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Hyers–Ulam and Hyers–Ulam–Rassias Stability of a Nonlinear Second-Order Dynamic Equation on Time Scales

by
Alaa E. Hamza
1,2,
Maryam A. Alghamdi
2,* and
Mymonah S. Alharbi
2
1
Department of Mathematics, Faculty of Science, Cairo University, Giza 12613, Egypt
2
Department of Mathematics, College of Science, University of Jeddah, Jeddah 21589, Saudi Arabia
*
Author to whom correspondence should be addressed.
Mathematics 2021, 9(13), 1507; https://doi.org/10.3390/math9131507
Submission received: 9 May 2021 / Revised: 10 June 2021 / Accepted: 13 June 2021 / Published: 28 June 2021

Abstract

:
In this paper, we obtain sufficient conditions for Hyers–Ulam and Hyers–Ulam–Rassias stability of an abstract second–order nonlinear dynamic equation on bounded time scales. An illustrative example is given to show the applicability of the theoretical results.

1. Introduction

In 1940, the audience of the Mathematics Club of the University of Wisconsin had the pleasure to listen to the talk of S. M. Ulam presenting a list of unsolved problems. See [1]. Such problems have been taken up by Hyers [2], Rassias [3] and other fine mathematicians. Since then, the stability problems of many function equations have been extensively investigated in various abstract spaces [4,5,6]. Obloza [7] appears to be the first author who investigated the Hyers–Ulam stability of a differential equation, followed by Alsina and Ger [8]. Then, a generalized result was given by S. E. Takahasi, T. Miura and S. Miyajima [9], in which they investigated the stability of the Banach space valued linear differential equation of first order (see also [10,11]).
Many interesting results concerning the Ulam stability of different types have been established. For example, see [12,13,14,15,16,17,18,19,20,21,22,23]. Some studies dealing with difference equations were published in [24,25]. Recently, many articles studied the Hyers–Ulam stability of Dynamic equations on time scales [26,27,28,29,30]. Hamza and Yaseen [31] generalized and extended the work of Douglas R. Anderson, Ben Gates and Dylan Heuer [26] for unbounded time scales. In [32], Hamza et al. obtained new sufficient conditions for Hyers–Ulam–Rassias stability of an abstract second-order linear dynamic equation on time scales.
In this paper, we investigate sufficient conditions for Hyers–Ulam and Hyers–Ulam–Rassias stability of second-order nonlinear dynamic equations on time scales of the form
ψ Δ 2 ( t ) = Q ( t ) ψ ( t ) + G ( t , ψ ( t ) , h ( ψ ( t ) ) ) + f ( t ) , t J κ , ψ Δ i ( a ) = a i X , i = 0 , 1 ,
where J : = [ a , b ] T with a time scale T R , a , b T , a < b , and X is a Banach space endowed with a norm . . Additionally, G ( t , x , y ) : J × X 2 X is such that G ( . , x , y ) is rd-continuous and G ( t , . , y ) and G ( t , x , . ) are continuous for all t J and x , y X . Additionally, Q R , the family of all regressive and rd-continuous functions from J to R , f C r d ( J , X ) the space of all rd-continuous functions from J to X , and h : X X is continuous. As usual, for a bounded function Φ : X Y from a normed space X to a normed space Y, we denote
Φ = sup x X Φ ( x ) .
For the time scale terminology, we refer the reader to Bohner and Peterson [33,34].
We introduce the notion of the Lipschitz condition with some constants.
Definition 1.
A function f : T × X k X is said to satisfy the Lipschitz condition with constant L > 0 if
f ( t , x 1 , , x k ) f ( t , y 1 , , y k ) L i = 1 k x i y i
for all x i , y i X and all t T .
As usual, a function h : X k X is said to satisfy the Lipschitz condition with constant γ > 0 if
h ( x 1 , , x k ) h ( y 1 , , y k ) γ i = 1 k x i y i .

2. Sufficient Conditions for Existence and Uniqueness of Solutions

Theorem 1.
Let K ( t , x ) : J × X X be rd-continuous in t J for every x X , and continuous in x for every t J . Then, ψ is a solution of
ψ Δ 2 ( t ) = K ( t , ψ ( t ) ) , t J κ , ψ Δ i ( a ) = a i X , i = 0 , 1 ,
if, and only if ψ solves the integral equation
ψ ( t ) = a 0 + a 1 ( t a ) a t ( s t + μ ( s ) ) K ( s , ψ ( s ) ) Δ s , t J ,
for some constants a 0 , a 1 X .
Proof. 
Assume that ψ satisfies the integral Equation (5). We denote by
M ( t ) = a t ( s t + μ ( s ) ) K ( s , ψ ( s ) ) Δ s .
By Theorem 1.117(i) in [33], we conclude that
M Δ ( t ) = a t K ( s , ψ ( s ) ) Δ s ,
and
M Δ 2 ( t ) = K ( t , ψ ( t ) ) .
This implies that ψ Δ 2 ( t ) = K ( t , ψ ( t ) ) . To prove the other direction, assume ψ is a solution of Equation (4). We denote by
G ( t ) = a t K ( s , ψ ( s ) ) Δ s ,
and
L ( t ) = a t G ( s ) Δ s .
By integrating both sides of (4) twice, we have
ψ ( t ) = a 0 + a 1 ( t a ) + L ( t ) .
Here, a i = ψ Δ i ( a ) , i = 0 , 1 . It is readily seen that M ( t ) = L ( t ) for every t. Indeed, we have
L Δ ( t ) = G ( t ) = a t K ( s , ψ ( s ) ) Δ s = M Δ ( t ) .
Consequently, M ( t ) = L ( t ) + C , t [ a , b ] T . We have C = M ( a ) L ( a ) = 0 . Therefore, ψ satisfies Equation (5).  □
As a direct consequence, setting K ( t , ψ ( t ) ) = Q ( t ) ψ ( t ) + G ( t , ψ ( t ) , h ( ψ ( t ) ) ) + f ( t ) , we get the following:
Corollary 1.
ψ is a solution of Equation (1) if and only if ψ solves the integral equation
ψ ( t ) = a 0 + a 1 ( t a ) a t ( s t + μ ( s ) ) ( Q ( s ) ψ ( s ) + G ( s , ψ ( s ) , h ( ψ ( s ) ) ) + f ( s ) ) Δ s , t J ,
for some constants a 0 , a 1 X .
Throughout the rest of the paper, we use the following conditions.
(A)
Q R and f C r d ( J , X ) .
(B)
G and h satisfy the Lipschitz conditions with constants β and γ , respectively.
(C)
For any a 0 , a 1 X , (1) has a solution ϕ satisfying ϕ Δ i ( a ) = a i , i = 0 , 1 .
(D)
There is α ( 0 , 1 ) such that
sup t J a t | Q ( s ) | Δ s α b a β ( 1 + γ ) ( b a ) .
Theorem 2.
Assume ( A ) , ( B ) , and ( D ) . If a 0 , a 1 X , then (1) has a unique solution ϕ satisfying ϕ Δ i ( a ) = a i , i = 0 , 1 .
Proof. 
Fix a 0 , a 1 X . Define the operator T : C r d ( J , X ) C r d ( J , X ) by
T ψ ( t ) = a 0 + a 1 ( t a ) + a t ( s t + μ ( s ) ) ( Q ( s ) ψ ( s ) G ( s , ψ ( s ) , h ( ψ ( s ) ) ) f ( s ) ) Δ s .
For ψ 1 , ψ 2 ( J , X ) , we have
T ψ 1 ( t ) T ψ 2 ( t ) a t | s t + μ ( s ) | ( | Q ( s ) | ψ 1 ( s ) ψ 2 ( s ) + G ( s , ψ 1 ( s ) , h ( ψ 1 ( s ) ) ) G ( s , ψ 2 ( s ) , h ( ψ 2 ( s ) ) ) ) Δ s .
It follows from ( B ) and ( D ) that
T ψ 1 ( t ) T ψ 2 ( t ) a t | s t + μ ( s ) | | Q ( s ) | ψ 1 ( s ) ψ 2 ( s ) Δ s + β a t ψ 1 ( s ) ψ 2 ( s ) + h ( ψ 1 ( s ) ) h ( ψ 2 ( s ) ) Δ s a t | s t + μ ( s ) | | Q ( s ) | ψ 1 ( s ) ψ 2 ( s ) Δ s + β a t ψ 1 ( s ) ψ 2 ( s ) + γ ψ 1 ( s ) ψ 2 ( s ) Δ s a t | s t + μ ( s ) | | Q ( s ) | ψ 1 ( s ) ψ 2 ( s ) + β ( 1 + γ ) ψ 1 ( s ) ψ 2 ( s ) Δ s ( b a ) ψ 1 ψ 2 ( a t | Q ( s ) | Δ s + β ( 1 + γ ) ( b a ) ) α ψ 1 ψ 2 .
This implies that T is a contraction. Therefore, T has a unique fixed point ϕ , which is the unique solution of the integral Equation (6). By Corollary 1, ϕ is the unique solution of (1) satisfying the initial conditions.  □

3. Hyers–Ulam Stability Results

In this section, we assume that Q C r d ( J , R ) and f C r d ( J , X ) . We investigate the Hyers–Ulam stability of (1). For a function ψ C r d 2 ( J , X ) , the space of all rd-continuous functions whose first and second derivatives exist and are rd-continuous, we denote
H ψ ( t ) = Q ( t ) ψ ( t ) + G ( t , ψ ( t ) , h ( ψ ( t ) ) ) + f ( t ) ,
and
g ψ ( t ) : = ψ Δ 2 ( t ) H ψ ( t ) .
First, we recall the concept of Hyers–Ulam stability. See [12].
Definition 2
(Hyers–Ulam Stability). We say that (1) has Hyers–Ulam stability if there exists a constant L > 0 , a so-called HUS constant, with the following property. For any ε > 0 , if ψ C r d 2 ( J , X ) is such that
g ψ ( t ) ε f o r a l l t J κ ,
then there exists a solution ϕ : J X of (1) such that
ψ ( t ) ϕ ( t ) L ε f o r a l l t J .
The next Theorem establishes sufficient conditions for the Hyers–Ulam stability of (1).
Theorem 3.
If ( A ) , ( B ) , and ( C ) hold, then (1) has Hyers–Ulam stability with HUS constant
L : = ( b a ) 2 e ( b a ) [ | Q | + β ( 1 + γ ) ] ( b , a ) .
Proof. 
Let ϵ > 0 and ψ C r d 2 ( J , X ) such that (10) holds. Then ψ satisfies the equation
ψ Δ 2 ( t ) = H ψ ( t ) + g ψ ( t ) , t J κ 2 .
Let a i = ψ Δ i ( a ) , i = 0 , 1 . By Theorem 1, ψ satisfies the integral equation
ψ ( t ) = a 0 + a 1 ( t a ) a t ( s t + μ ( s ) ) ( H ψ ( s ) + g ψ ( s ) ) Δ s .
By ( C ) , there exists a solution ϕ of (1) with ϕ Δ i ( a ) = a i , i = 0 , 1 , that is, by Corollary 1,
ϕ ( t ) = a 0 + a 1 ( t a ) a t ( s t + μ ( s ) ) H ϕ ( s ) Δ s .
Subtracting (15) from (14), we find, for all t J ,
ψ ( t ) ϕ ( t ) a t ( s t + μ ( s ) ) g ψ ( s ) Δ s + a t ( s t + μ ( s ) ) Q ( s ) ( ψ ( s ) ϕ ( s ) ) Δ s + a t ( s t + μ ( s ) ) [ G ( s , ψ ( s ) , h ( ψ ( s ) ) ) G ( s , ϕ ( s ) , h ( ϕ ( s ) ) ) ] Δ s .
Taking into account ( B ) , we get
ψ ( t ) ϕ ( t ) ( b a ) a t g ψ ( s ) Δ s + a t ( b a ) Q ( s ) ( ψ ( s ) ϕ ( s ) ) Δ s + a t ( b a ) β [ ψ ( s ) ϕ ( s ) + h ( ψ ( s ) ) h ( ϕ ( s ) ) ] Δ s ( b a ) a t g ψ ( s ) Δ s + a t ( b a ) Q ( s ) ( ψ ( s ) ϕ ( s ) ) Δ s + a t ( b a ) β [ ψ ( s ) ϕ ( s ) + γ ψ ( s ) ϕ ( s ) ] Δ s ( b a ) a t g ψ ( s ) Δ s + a t ( b a ) Q ( s ) ( ψ ( s ) ϕ ( s ) ) Δ s + a t ( b a ) β ( 1 + γ ) ψ ( s ) ϕ ( s ) Δ s .
Hence,
ψ ( t ) ϕ ( t ) ( b a ) a t g ψ ( s ) Δ s + a t ( b a ) [ | Q ( s ) | + β ( 1 + γ ) ] ψ ( s ) ϕ ( s ) Δ s .
Since g ψ ( t ) ε holds for t J , we have
ψ ( t ) ϕ ( t ) ε ( b a ) 2 + a t ( b a ) [ | Q ( s ) | + β ( 1 + γ ) ] ψ ( s ) ϕ ( s ) Δ s .
Thus, by Gronwall’s inequality, ([33] Corollary 6.7), we conclude that
ψ ( t ) ϕ ( t ) ϵ ( b a ) 2 e ( b a ) [ | Q | + β ( 1 + γ ) ] ( b , a ) .
Therefore, (1) has Hyers–Ulam stability with HUS constant L given in (12).  □
Theorem 4.
If ( A ) , ( B ) , and ( D ) hold, then (1) has Hyers–Ulam stability with HUS constant
L : = ( b a ) 2 1 α .
Proof. 
Let ϵ > 0 and ψ C r d 2 ( J , X ) such that (10) holds. Set g ψ ( t ) as in (9). Then ψ satisfies (13). Let a i = ψ Δ i ( a ) , i = 0 , 1 . By Theorem 1, (14) holds. By Theorem 2, there exists a unique solution ϕ of (1) with ϕ Δ i ( a ) = a i , i = 0 , 1 . By Corollary 1, ϕ ( t ) is as in (15). By subtracting (15) from (14) and as in the proof of Theorem 3, we get
ψ ( t ) ϕ ( t ) ϵ ( b a ) 2 + a t ( b a ) [ | Q ( s ) | + β ( 1 + γ ) ] ψ ( s ) ϕ ( s ) Δ s ϵ ( b a ) 2 + ( b a ) ψ ϕ a t [ | Q ( s ) | + β ( 1 + γ ) ] Δ s ϵ ( b a ) 2 + α ψ ϕ , t J .
This implies that
ψ ϕ ( b a ) 2 1 α ϵ .
Therefore, (1) has Hyers–Ulam stability with HUS constant L given in (19).  □

4. Hyers–Ulam–Rassias Stability

In this section, we introduce the Hyers–Ulam–Rassias Stability of (1).
Definition 3
(Hyers–Ulam–Rassias stability). Let N be a family of positive rd-continuous functions on J . We say that Equation (1) has Hyers-Ulam-Rassias stability of type N if there exist a constant L > 0 , a so-called HURS N constant, with the following property. For any ω N , if ψ C r d 2 ( J , X ) is such that
g ψ ( t ) ω ( t ) f o r a l l t J κ 2 ,
then there exists a solution ϕ : J X of (1) such that
ψ ( t ) ϕ ( t ) L ω ( t ) f o r a l l t J .
We note that Hyers–Ulam–Rassias stability yields Hyers–Ulam stability, when
N = { l ϵ : ϵ > 0 } ,
where l ϵ ( t ) = ϵ , t J . We use the notations (8) and (9),
N * : = { ω C r d ( J , ( 0 , ) ) : ω is   nondecreasing }
and for Λ 1 , δ > 0
N Λ δ : = ω C r d ( J , ( 0 , ) ) : a t ω Λ ( s ) Δ s δ ω Λ ( t ) f o r   a l l   t J .
The following theorem is concerned with Hyers–Ulam–Rassias stability.
Theorem 5.
If ( A ) , ( B ) , and ( C ) hold, then (1) has Hyers–Ulam–Rassias stability of type N * with HURS N * constant
L : = ( b a ) 2 e ( b a ) [ | Q | + β ( 1 + γ ) ] ( b , a ) .
Proof. 
Let ω N * and ψ C r d 2 ( J , X ) be such that (21) holds. Then ψ satisfies (13). Let a i = ψ Δ i ( a ) , i = 0 , 1 . By Theorem 1, (14) holds. By ( C ) , there exists a solution ϕ of (1) that satisfies ϕ Δ i ( a ) = a i , i = 0 , 1 . Then, (15) holds. Subtracting (15) from (14), we obtain inequality (16), and by taking into account ( B ) , we get inequality (17).
Since g ψ ( t ) ω ( t ) for t J , we get
ψ ( t ) ϕ ( t ) ( b a ) 2 ω ( t ) + a t ( b a ) [ | Q ( s ) | + β ( 1 + γ ) ] ψ ( s ) ϕ ( s ) Δ s .
Using Gronwall’s inequality, ([33] Theorem 6.4), and by ([33] Theorem 2.39), we get, for all t J ,
ψ ( t ) ϕ ( t ) ( b a ) 2 ω ( t ) + a t e ( b a ) [ | Q | + β ( 1 + γ ) ] ( t , σ ( s ) ) ( b a ) 2 ω ( s ) ( b a ) | Q ( s ) | + β ( 1 + γ ) Δ s ( b a ) 2 ω ( t ) + ( b a ) 2 ω ( t ) a t e ( b a ) [ | Q | + β ( 1 + γ ) ] ( t , σ ( s ) ) ( b a ) | Q ( s ) | + β ( 1 + γ ) Δ s ( b a ) 2 ω ( t ) + ( b a ) 2 ω ( t ) e ( b a ) [ | Q | + β ( 1 + γ ) ] ( t , a ) e ( b a ) [ | Q | + β ( 1 + γ ) ] ( t , t ) ( b a ) 2 e ( b a ) [ | Q | + β ( 1 + γ ) ] ( b , a ) ω ( t ) .
Therefore, (1) has Hyers–Ulam–Rassias stability of type N * with a constant L defined by (25).  □
Theorem 6.
If ( A ) , ( B ) , and ( C ) hold, then (1) has Hyers–Ulam–Rassias stability of type N * N 1 δ with HURS N * N 1 δ constant
L : = δ ( b a ) e ( b a ) [ | Q | + β ( 1 + γ ) ] ( b , a ) .
Proof. 
Let ω N * N 1 δ and ψ C r d 2 ( J , X ) be such that (21) holds. Then ψ satisfies (13). Let a i = ψ Δ i ( a ) , i = 0 , 1 . By Theorem 1, (14) holds. By ( C ) , there exists a solution ϕ of (1) that satisfies ϕ Δ i ( a ) = a i , i = 0 , 1 . By Corollary 1, (15) holds. Subtracting (15) from (14), we obtain inequality (16), and by taking into account ( B ) , we get inequality (17).
Since g ψ ( t ) ω ( t ) for t J , we get, for all t J ,
ψ ( t ) ϕ ( t ) ( b a ) a t ω ( s ) Δ s + a t | s t + μ ( s ) | Q ( s ) ( ψ ( s ) ϕ ( s ) ) Δ s + a t | s t + μ ( s ) | [ β ψ ( s ) ϕ ( s ) + h ( ψ ( s ) ) h ( ϕ ( s ) ) ] Δ s . ( b a ) a t ω ( s ) Δ s + a t ( b a ) Q ( s ) ( ψ ( s ) ϕ ( s ) ) Δ s + a t ( b a ) β ( 1 + γ ) ψ ( s ) ϕ ( s ) Δ s δ ( b a ) ω ( t ) + a t ( b a ) [ | Q ( s ) | + β ( 1 + γ ) ] ψ ( s ) ϕ ( s ) Δ s .
Applying Gronwall’s inequality, ([33] Theorem 6.4), and by ([33] Theorem 2.39), we get, for all t J ,
ψ ( t ) ϕ ( t ) δ ( b a ) ω ( t ) + a t e ( b a ) [ | Q | + β ( 1 + γ ) ] ( t , σ ( s ) ) ( b a ) δ ω ( s ) ( b a ) [ | Q ( s ) | + β ( 1 + γ ) ] Δ s δ ( b a ) ω ( t ) + δ ( b a ) ω ( t ) a t e ( b a ) [ | Q | + β ( 1 + γ ) ] ( t , σ ( s ) ) ( b a ) [ | Q ( s ) | + β ( 1 + γ ) ] Δ s δ ( b a ) ω ( t ) + δ ( b a ) ω ( t ) e ( b a ) [ | Q | + β ( 1 + γ ) ] ( t , a ) e ( b a ) [ | Q | + β ( 1 + γ ) ] ( t , t ) δ ( b a ) e ( b a ) [ | Q | + β ( 1 + γ ) ] ( b , a ) ω ( t ) .
Therefore, (1) has Hyers–Ulam–Rassias stability of type N * N 1 δ with a constant L given in (26).  □
Theorem 7.
Let Λ > 1 and Γ : = Λ / ( Λ 1 ) . If ( A ) , ( B ) , and ( C ) hold, then (1) has Hyers–Ulam–Rassias stability of type N * N Λ δ with HURS N * N Λ δ constant
L : = δ 1 λ ( b a ) Γ + 1 Γ e ( b a ) [ | Q | + β ( 1 + γ ) ] ( b , a ) .
Proof. 
Let ω N * N Λ δ and ψ C r d 2 ( J , X ) be such that (21) holds. Then ψ satisfies (13). Let a i = ψ Δ i ( a ) , i = 0 , 1 . By Theorem 1, (14) holds. By ( C ) , there exists a solution ϕ of (1) that satisfies ϕ Δ i ( a ) = a i , i = 0 , 1 . By Corollary 1, (15) holds. Subtracting (15) from (14), we obtain inequality (16), and by taking into account ( B ) , we get inequality (17).
Since g ψ ( t ) ω ( t ) for t J , we get, for all t J ,
ψ ( t ) ϕ ( t ) ( b a ) a t ω ( s ) Δ s + ( b a ) a t Q ( s ) ( ψ ( s ) ϕ ( s ) ) Δ s + ( b a ) β ( 1 + γ ) a t ψ ( s ) ϕ ( s ) Δ s ( b a ) t a Γ a t ω Λ ( s ) Λ Δ s + ( b a ) a t Q ( s ) ( ψ ( s ) ϕ ( s ) ) Δ s + ( b a ) β ( 1 + γ ) a t ψ ( s ) ϕ ( s ) Δ s δ 1 Λ ( b a ) Γ + 1 Γ ω ( t ) + a t ( b a ) [ | Q ( s ) | + β ( 1 + γ ) ] ψ ( s ) ϕ ( s ) Δ s ,
where we have used the Hölder inequality, ([33] Theorem 6.13). Thus, by applying Gronwall’s inequality, ([33] Theorem 6.4), and by applying ([33] Theorem 2.39), we get, for all t J ,
ψ ( t ) ϕ ( t ) δ 1 Λ ( b a ) Γ + 1 Γ ω ( t ) + a t e ( b a ) [ | Q | + β ( 1 + γ ) ] ( t , σ ( s ) ) δ 1 Λ ( b a ) Γ + 1 Γ ω ( s ) ( b a ) [ | Q ( s ) | + β ( 1 + γ ) ] Δ s δ 1 Λ ( b a ) Γ + 1 Γ ω ( t ) + δ 1 Λ ( b a ) Γ + 1 Γ ω ( t ) a t e ( b a ) [ | Q | + β ( 1 + γ ) ] ( t , σ ( s ) ) ( b a ) [ | Q ( s ) | + β ( 1 + γ ) ] Δ s δ 1 Λ ( b a ) Γ + 1 Γ ω ( t ) + δ 1 Λ ( b a ) Γ + 1 Γ ω ( t ) e ( b a ) [ | Q | + β ( 1 + γ ) ] ( t , a ) e ( b a ) [ | Q | + β ( 1 + γ ) ] ( t , t ) δ 1 Λ ( b a ) Γ + 1 Γ e ( b a ) [ | Q | + β ( 1 + γ ) ] ( b , a ) ω ( t ) .
Therefore, Equation (1) has Hyers–Ulam–Rassias stability of type N * N Λ δ with constant L defined in (27).  □
Theorem 8.
Let Λ > 1 and Γ : = Λ / ( Λ 1 ) . If ( A ) , ( B ) , and ( C ) hold, then (1) has Hyers–Ulam–Rassias stability of type N Λ δ with HURS N Λ δ constant
L : = δ 1 Λ ( b a ) Γ + 1 Γ 1 + δ 1 λ ( b a ) Γ + 1 Γ [ Q + β ( 1 + γ ) ] e ( b a ) [ | Q | + β ( 1 + γ ) ] ( b , a ) .
Proof. 
Let ω N Λ δ and ψ C r d 2 ( J , X ) be such that (21) holds. Then ψ satisfies (13). Let a i = ψ Δ i ( a ) , i = 0 , 1 . By Theorem 1, (14) holds. By ( C ) , there exists a unique solution ϕ of (1) that satisfies ϕ Δ i ( a ) = a i , i = 0 , 1 . By Theorem 1, (15) holds. Subtracting (15) from (14), we obtain inequality (16), and by taking into account ( B ) , we get inequality (17). Since g ψ ( t ) ω ( t ) for t J , we obtain, for all t J ,
ψ ( t ) ϕ ( t ) ( b a ) a t ω ( s ) Δ s + a t | s t + μ ( s ) | Q ( s ) ( ψ ( s ) ϕ ( s ) ) Δ s + a t | s t + μ ( s ) | β [ ψ ( s ) ϕ ( s ) + h ( ψ ( s ) ) h ( ϕ ( s ) ) ] Δ s . ( b a ) t a Γ a t ω Λ ( s ) Λ Δ s + ( b a ) a t Q ( s ) ( ψ ( s ) ϕ ( s ) ) Δ s + ( b a ) β ( 1 + γ ) a t ψ ( s ) ϕ ( s ) Δ s δ 1 Λ ( b a ) Γ + 1 Γ ω ( t ) + a t ( b a ) [ | Q ( s ) | + β ( 1 + γ ) ] ψ ( s ) ϕ ( s ) Δ s ,
where we have applied the Hölder inequality, ([33] Theorem 6.13). Thus, by using Gronwall’s inequality, ([33] Theorem 6.4), and by applying ([33] Theorem 2.39), we get, for all t J ,
ψ ( t ) ϕ ( t ) δ 1 Λ ( b a ) Γ + 1 Γ ω ( t ) + a t e ( b a ) [ | Q | + β ( 1 + γ ) ] ( t , σ ( s ) ) δ 1 Λ ( b a ) Γ + 1 Γ ω ( s ) ( b a ) [ | Q ( s ) | + β ( 1 + γ ) ] Δ s δ 1 Λ ( b a ) Γ + 1 Γ ω ( t ) + δ 1 Λ ( b a ) 2 Γ + 1 Γ [ Q + β ( 1 + γ ) ] e ( b a ) [ | Q | + β ( 1 + γ ) ] ( b , a ) a t ω ( s ) Δ s δ 1 Λ ( b a ) Γ + 1 Γ ω ( t ) + δ 1 Λ ( b a ) 2 Γ + 2 Γ [ Q + β ( 1 + γ ) ] e ( b a ) [ | Q | + β ( 1 + γ ) ] ( b , a ) a t ω Λ ( s ) Δ s 1 Λ δ 1 Λ ( b a ) Γ + 1 Γ ω ( t ) + δ 2 Λ ( b a ) 2 Γ + 2 Γ [ Q + β ( 1 + γ ) ] e ( b a ) [ | Q | + β ( 1 + γ ) ] ( b , a ) ω ( t ) = L ω ( t ) .
Therefore, Equation (1) has Hyers–Ulam–Rassias stability of type N Λ δ with constant L given in (28).  □
Remark 1.
Since condition ( D ) implies condition ( C ) , all results in Section 3 and Section 4 are true, if we replace ( C ) by ( D ) .
Example 1.
Now, we give an example for which conditions ( A ) , ( B ) and ( D ) are satisfied. Let T : = k = 0 [ 2 k , 2 k + 1 ] . Let m N , a = 0 and b = 2 m + 1 . Fix α ( 0 , 1 ) and β ( 0 , α 2 ( 2 m + 1 ) 2 ) . Assume f C r d , G ( t , x , y ) = β ( cos x + y ) , and h ( x ) = sin x . Choose a positive number C such that C 2 m e m + 1 ( 2 m + 1 ) α 2 β ( 2 m + 1 ) 2 . Take Q ( t ) = e 1 ( t , 0 ) C . Equation (1) takes the form
ψ Δ 2 ( t ) = e 1 ( t , 0 ) C ψ ( t ) + β cos ( ψ ( t ) ) + sin ( ψ ( t ) ) + f ( t ) .
Clearly, condition ( A ) holds. Additionally, condition ( B ) is true, since G and h satisfy Lipschitz conditions with constants β and γ = 1 , respectively. Finally, we check that ( D ) holds. Indeed,
0 b Q ( s ) Δ s = 1 C e 1 ( b , 0 ) 1 1 C e 1 ( b , 0 ) = 1 C e 1 ( 2 m + 1 , 0 ) = 1 C 2 m e m + 1 α 2 β ( 2 m + 1 ) 2 2 m e m + 1 ( 2 m + 1 ) 2 m e m + 1 = α 2 β ( 2 m + 1 ) 2 2 m + 1
where according to ([33] Example 2.58), we have e 1 ( 2 m + 1 , 0 ) = 2 m e m + 1 .

Author Contributions

Conceptualization, A.E.H. and M.A.A.; methodology, A.E.H., M.A.A. and M.S.A.; software, A.E.H. and M.S.A.; validation, A.E.H., M.A.A. and M.S.A.; formal analysis, A.E.H., M.A.A. and M.S.A.; investigation, A.E.H., M.A.A. and M.S.A.; resources, A.E.H., M.A.A. and M.S.A.; data curation, A.E.H., M.A.A.; writing—original draft preparation, M.S.A.; writing—review and editing, A.E.H.; visualization, A.E.H.; supervision, A.E.H.; project administration, A.E.H.; funding acquisition, M.A.A. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Conflicts of Interest

The authors declare no conflict of interest.

Abbreviations

The following abbreviations are used in this manuscript:
HUSHyers–Ulam stability
HUSRHyers–Ulam–Rassias stability

References

  1. Ulam, S.M. A Collection of Mathematical Problems. Interscience Tracts in Pure and Applied Mathematics, No. 8; Interscience Publishers: New York, NY, USA; London, UK, 1960. [Google Scholar]
  2. Hyers, D.H. On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 1941, 27, 222–224. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  3. Rassias, T.M. On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 1978, 72, 297–300. [Google Scholar] [CrossRef]
  4. Gordji, M.E.; Abbaszadeh, S. Theory of Approximation of Functional Equations in Banach Algebras, Inner Product Spaces and Amenable Groups; Elsevier: Amsterdam, The Netherlands, 2016. [Google Scholar]
  5. Jung, S.-M. Hyers–Ulam–Rassias Stability of Functional Equations in Nonlinear Analysis. In Springer Optimization and Its Applications; Springer: New York, NY, USA, 2011; Volume 48. [Google Scholar]
  6. Rassias, T.M. On the stability of functional equations and a problem of Ulam. Acta Appl. Math. 2000, 62, 23–130. [Google Scholar] [CrossRef]
  7. Obłoza, M. Hyers stability of the linear differential equation. Rocz. Nauk. Dydakt. Pr. Mat. 1993, 13, 259–270. [Google Scholar]
  8. Alsina, C.; Ger, R. On some inequalities and stability results related to the exponential function. J. Inequal. Appl. 1998, 2, 373–380. [Google Scholar] [CrossRef]
  9. Miura, T.; Takahasi, S.-E.; Miyajima, S. On the Hyers–Ulam stability of the Banach space-valued differential equation y = λ y . Bull. Korean Math. Soc. 2002, 29, 309–315. [Google Scholar]
  10. Miura, T.; Jung, S.-M.; Takahasi, S.-E. Hyers–Ulam–Rassias stability of the Banach space valued linear differential equations y = λ y . J. Korean Math. Soc. 2004, 41, 995–1005. [Google Scholar] [CrossRef] [Green Version]
  11. Miura, T.; Oka, H.; Takahasi, S.-E.; Niwa, N. Hyers–Ulam stability of the first order linear differential equation for Banach space-valued holomorphic mappings. J. Math. Inequal. 2007, 3, 377–385. [Google Scholar] [CrossRef] [Green Version]
  12. Anderson, D.R.; Onitsuka, M. Hyers–Ulam stability of first-order homogeneous linear dynamic equations on time scales. Demonstr. Math. 2018, 51, 198–210. [Google Scholar] [CrossRef]
  13. Gavruta, P.; Gavruta, L. A new method for the generalized Hyers–Ulam–Rassias stability. Int. J. Nonlinear Anal. Appl. 2010, 1, 11–18. [Google Scholar]
  14. Jung, S.-M. Hyers–Ulam stability of linear differential equations of the first-order (III). J. Math. Anal. Appl. 2005, 311, 139–146. [Google Scholar] [CrossRef] [Green Version]
  15. Jung, S.-M. Hyers–Ulam stability of linear differential equations of first-order (II). Appl. Math. Lett. 2006, 19, 854–858. [Google Scholar] [CrossRef] [Green Version]
  16. Miura, T.; Takahasi, S.-E.; Choda, H. On the Hyers-Ulam stability of real continuous function valued differentiable map. Tokyo J. Math. 2001, 24, 467–476. [Google Scholar] [CrossRef]
  17. Miura, T. On the Hyers-Ulam stability of a differentiable map. Sci. Math. Jpn. 2002, 55, 17–24. [Google Scholar]
  18. Miura, T.; Miyajima, S.; Takahasi, S.-E. A characterization of Hyers–Ulam stability of first-order linear differential operators. J. Math. Anal. Appl. 2003, 286, 136–146. [Google Scholar] [CrossRef] [Green Version]
  19. Popa, D. Hyers–Ulam stability of the linear recurrence with constant coefficients. Adv. Differ. Equ. 2005, 2, 101–107. [Google Scholar] [CrossRef] [Green Version]
  20. Popa, D.; Raşa, I. On Hyers–Ulam stability of the linear differential equation. J. Math. Appl. 2011, 381, 530–537. [Google Scholar] [CrossRef] [Green Version]
  21. Rus, I.A. Ulam stability of ordinary differential equations. Stud. Univ. Babeş Bolyai Math. 2009, 54, 125–133. [Google Scholar]
  22. Rus, I.A. Gronwall lemma approach to the Hyers–Ulam–Rassias stability of an integral equation. In Nonlinear Analysis and Variational Problems; Springer: New York, NY, USA, 2010; Volume 35, pp. 147–152. [Google Scholar]
  23. Zada, A.; Shah, S.O.; Ismail, S.; Li, T. Hyers–Ulam stability in terms of dichotomy of first order linear dynamic systems. Punjab Univ. J. Math. 2020, 49, 37–47. [Google Scholar]
  24. Anderson, D.R.; Onitsuka, M. Best constant for Hyers–Ulam stability of second-order h-difference equations with constant coefficients. Results Math. 2019, 74, 1–16. [Google Scholar] [CrossRef]
  25. Anderson, D.R.; Onitsuka, M. Hyers–Ulam stability for a discrete time scale with two step sizes. Appl. Math. Comput. 2019, 344/345, 128–140. [Google Scholar] [CrossRef] [Green Version]
  26. Anderson, D.R.; Gates, B.; Heuer, D. Hyers–Ulam stability of second-order linear dynamic equations on time scales. Commun. Appl. Anal. 2012, 16, 281–291. [Google Scholar]
  27. Li, Y.; Shen, Y. Hyers–Ulam stability of nonhomogeneous linear differential equations of second order. Int. J. Math. Math. Sci. 2009, 576852. [Google Scholar] [CrossRef] [Green Version]
  28. Li, Y.; Shen, Y. Hyers–Ulam stability of linear differential equations of second order. Appl. Math. Lett. 2010, 23, 306–309. [Google Scholar] [CrossRef] [Green Version]
  29. Shen, Y. The Ulam stability of first-order linear dynamic equations on time scales. Results Math. 2017, 72, 1881–1895. [Google Scholar] [CrossRef]
  30. Shen, Y.; Li, Y. Hyers–Ulam stability of first-order nonhomogeneous linear dynamic equations on time scales. Comm. Math. 2019, 35, 139–148. [Google Scholar]
  31. Hamza, A.E.; Yaseen, N.A. Hyers–Ulam stability of abstract second-order linear dynamic equations on time scales. Int. J. Math. Anal. 2014, 8, 1421–1432. [Google Scholar] [CrossRef]
  32. Hamza, A.E.; Alghamdi, M.A.; Aljehani, A. On Hyers–Ulam and Hyers–Ulam–Rassias stability of a second order linear dynamic equation on time scales. Adv. Dyn. Syst. Appl. 2020, 15, 99–111. [Google Scholar]
  33. Bohner, M.; Peterson, A. An Introduction with Applications. In Dynamic Equations on Time Scales; Birkhäuser Boston, Inc.: Boston, MA, USA, 2001. [Google Scholar]
  34. Bohner, M.; Peterson, A. Advances in Dynamic Equations on Time Scales; Birkhäuser Boston, Inc.: Boston, MA, USA, 2003. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Hamza, A.E.; Alghamdi, M.A.; Alharbi, M.S. On Hyers–Ulam and Hyers–Ulam–Rassias Stability of a Nonlinear Second-Order Dynamic Equation on Time Scales. Mathematics 2021, 9, 1507. https://doi.org/10.3390/math9131507

AMA Style

Hamza AE, Alghamdi MA, Alharbi MS. On Hyers–Ulam and Hyers–Ulam–Rassias Stability of a Nonlinear Second-Order Dynamic Equation on Time Scales. Mathematics. 2021; 9(13):1507. https://doi.org/10.3390/math9131507

Chicago/Turabian Style

Hamza, Alaa E., Maryam A. Alghamdi, and Mymonah S. Alharbi. 2021. "On Hyers–Ulam and Hyers–Ulam–Rassias Stability of a Nonlinear Second-Order Dynamic Equation on Time Scales" Mathematics 9, no. 13: 1507. https://doi.org/10.3390/math9131507

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop