HYERS-ULAM STABILITY OF HIGHER-ORDER CAUCHY-EULER DYNAMIC EQUATIONS ON TIME SCALES

Similar documents
ON THE GENERALIZED SUPERSTABILITY OF nth ORDER LINEAR DIFFERENTIAL EQUATIONS WITH INITIAL CONDITIONS

SUPERSTABILITY OF DIFFERENTIAL EQUATIONS WITH BOUNDARY CONDITIONS

Multiple Positive Solutions for the System of Higher Order Two-Point Boundary Value Problems on Time Scales

A General Dynamic Inequality of Opial Type

ASYMPTOTIC BEHAVIOR OF INTERMEDIATE POINTS IN CERTAIN MEAN VALUE THEOREMS. II

1.2. Linear Variable Coefficient Equations. y + b "! = a y + b " Remark: The case b = 0 and a non-constant can be solved with the same idea as above.

THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.

KRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION

Research Article On Existence and Uniqueness of Solutions of a Nonlinear Integral Equation

An iterative method for solving nonlinear functional equations

The Delta-nabla Calculus of Variations for Composition Functionals on Time Scales

Some Improvements of Hölder s Inequality on Time Scales

WENJUN LIU AND QUÔ C ANH NGÔ

FRACTIONAL DYNAMIC INEQUALITIES HARMONIZED ON TIME SCALES

New Expansion and Infinite Series

POSITIVE SOLUTIONS FOR SINGULAR THREE-POINT BOUNDARY-VALUE PROBLEMS

1.1. Linear Constant Coefficient Equations. Remark: A differential equation is an equation

The Solution of Volterra Integral Equation of the Second Kind by Using the Elzaki Transform

ODE: Existence and Uniqueness of a Solution

Positive Solutions of Operator Equations on Half-Line

Wirtinger s Integral Inequality on Time Scale

Set Integral Equations in Metric Spaces

LYAPUNOV-TYPE INEQUALITIES FOR THIRD-ORDER LINEAR DIFFERENTIAL EQUATIONS

AN INTEGRAL INEQUALITY FOR CONVEX FUNCTIONS AND APPLICATIONS IN NUMERICAL INTEGRATION

AMATH 731: Applied Functional Analysis Fall Some basics of integral equations

Some estimates on the Hermite-Hadamard inequality through quasi-convex functions

The Regulated and Riemann Integrals

A unified generalization of perturbed mid-point and trapezoid inequalities and asymptotic expressions for its error term

Communications inmathematicalanalysis Volume 6, Number 2, pp (2009) ISSN

A basic logarithmic inequality, and the logarithmic mean

A New Generalization of Lemma Gronwall-Bellman

Physics 116C Solution of inhomogeneous ordinary differential equations using Green s functions

Hyers-Ulam and Hyers-Ulam-Aoki-Rassias Stability for Linear Ordinary Differential Equations

ON BERNOULLI BOUNDARY VALUE PROBLEM

On the Decomposition Method for System of Linear Fredholm Integral Equations of the Second Kind

MEAN VALUE PROBLEMS OF FLETT TYPE FOR A VOLTERRA OPERATOR

On the Continuous Dependence of Solutions of Boundary Value Problems for Delay Differential Equations

arxiv: v1 [math.ds] 2 Nov 2015

Chapter 3. Vector Spaces

MATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1

Solutions of Klein - Gordan equations, using Finite Fourier Sine Transform

ULAM STABILITY AND DATA DEPENDENCE FOR FRACTIONAL DIFFERENTIAL EQUATIONS WITH CAPUTO DERIVATIVE

Asymptotic behavior of intermediate points in certain mean value theorems. III

A Bernstein polynomial approach for solution of nonlinear integral equations

(4.1) D r v(t) ω(t, v(t))

Variational Techniques for Sturm-Liouville Eigenvalue Problems

ON CLOSED CONVEX HULLS AND THEIR EXTREME POINTS. S. K. Lee and S. M. Khairnar

Theoretical foundations of Gaussian quadrature

Czechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction

WHEN IS A FUNCTION NOT FLAT? 1. Introduction. {e 1 0, x = 0. f(x) =

Positive solutions for system of 2n-th order Sturm Liouville boundary value problems on time scales

Existence of Solutions to First-Order Dynamic Boundary Value Problems

Application of Exp-Function Method to. a Huxley Equation with Variable Coefficient *

On the Generalized Weighted Quasi-Arithmetic Integral Mean 1

Research Article On New Inequalities via Riemann-Liouville Fractional Integration

Green s function. Green s function. Green s function. Green s function. Green s function. Green s functions. Classical case (recall)

Exact solutions for nonlinear partial fractional differential equations

ON THE NILPOTENCY INDEX OF THE RADICAL OF A GROUP ALGEBRA. XI

Taylor Polynomial Inequalities

Journal of Computational and Applied Mathematics. On positive solutions for fourth-order boundary value problem with impulse

Integral points on the rational curve

The Bochner Integral and the Weak Property (N)

Henstock Kurzweil delta and nabla integrals

Research Article On Hermite-Hadamard Type Inequalities for Functions Whose Second Derivatives Absolute Values Are s-convex

International Jour. of Diff. Eq. and Appl., 3, N1, (2001),

Fredholm Integral Equations of the First Kind Solved by Using the Homotopy Perturbation Method

Three solutions to a p(x)-laplacian problem in weighted-variable-exponent Sobolev space

A Convergence Theorem for the Improper Riemann Integral of Banach Space-valued Functions

The Hadamard s inequality for quasi-convex functions via fractional integrals

Exam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1

ON SOME NEW FRACTIONAL INTEGRAL INEQUALITIES

Euler, Ioachimescu and the trapezium rule. G.J.O. Jameson (Math. Gazette 96 (2012), )

Notes on length and conformal metrics

1. On some properties of definite integrals. We prove

Introduction to the Calculus of Variations

A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007

Remark on boundary value problems arising in Ginzburg-Landau theory

Research Article Harmonic Deformation of Planar Curves

State space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies

Several Answers to an Open Problem

On New Inequalities of Hermite-Hadamard-Fejer Type for Harmonically Quasi-Convex Functions Via Fractional Integrals

An optimal 3-point quadrature formula of closed type and error bounds

Eigenfunction Expansions for a Sturm Liouville Problem on Time Scales

Ordinary differential equations

ACM 105: Applied Real and Functional Analysis. Solutions to Homework # 2.

Hyers-Ulam stability of Pielou logistic difference equation

Math Solutions to homework 1

THIELE CENTRE. Linear stochastic differential equations with anticipating initial conditions

Euler-Maclaurin Summation Formula 1

A NOTE ON SOME FRACTIONAL INTEGRAL INEQUALITIES VIA HADAMARD INTEGRAL. 1. Introduction. f(x)dx a

Section 6.1 INTRO to LAPLACE TRANSFORMS

RIEMANN-LIOUVILLE AND CAPUTO FRACTIONAL APPROXIMATION OF CSISZAR S f DIVERGENCE

A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES. 1. Introduction

Math Advanced Calculus II

Orthogonal Polynomials

CHEBYSHEV TYPE INEQUALITY ON NABLA DISCRETE FRACTIONAL CALCULUS. 1. Introduction

ODE: Existence and Uniqueness of a Solution

arxiv:math/ v2 [math.ho] 16 Dec 2003

Lyapunov-Type Inequalities for some Sequential Fractional Boundary Value Problems

Integrals along Curves.

Transcription:

Dynmic Systems nd Applictions 23 (2014) 653-664 HYERS-ULAM STABILITY OF HIGHER-ORDER CAUCHY-EULER DYNAMIC EQUATIONS ON TIME SCALES DOUGLAS R. ANDERSON Deprtment of Mthemtics, Concordi College, Moorhed, MN 56562 USA Dedicted to Professor John R. Gref on the occsion of his 70th birthdy. ABSTRACT. We extend recent result on third nd fourth-order Cuchy-Euler equtions by estblishing the Hyers-Ulm stbility of higher-order liner non-homogeneous Cuchy-Euler dynmic equtions on time scles. Tht is, if n pproximte solution of higher-order Cuchy-Euler eqution exists, then there exists n exct solution to tht dynmic eqution tht is close to the pproximte one. We generlize this to ll higher-order liner non-homogeneous fctored dynmic equtions with vrible coefficients. AMS (MOS) Subject Clssifiction. 34N05, 26E70, 39A10. 1. INTRODUCTION Stn Ulm [27] posed the following problem concerning the stbility of functionl equtions: give conditions in order for liner mpping ner n pproximtely liner mpping to exist. The problem for the cse of pproximtely dditive mppings ws solved by Hyers [10], who proved tht the Cuchy eqution is stble in Bnch spces, nd the result of Hyers ws generlized by Rssis [24]. Obloz [19] ppers to be the first uthor who investigted the Hyers-Ulm stbility of differentil eqution. Since then there hs been significnt mount of interest in Hyers-Ulm stbility, especilly in reltion to ordinry differentil equtions, for exmple see [7, 8, 11, 12, 13, 14, 15, 16, 17, 18, 21, 22, 25, 28]. Also of interest re mny of the rticles in specil issue guest edited by Rssis [23], deling with Ulm, Hyers-Ulm, nd Hyers- Ulm-Rssis stbility in vrious contexts. Also see Pop et l [5, 20, 21, 22]. András nd Mészáros [2] recently used n opertor pproch to show the stbility of liner dynmic equtions on time scles with constnt coefficients, s well s for certin integrl equtions. Tunç nd Biçer [26] proved the Hyers-Ulm stbility of third nd fourth-order Cuchy-Euler differentil equtions. Anderson et l [1, Corollry 2.6] proved the following concerning second-order non-homogeneous Cuchy-Euler equtions on time scles: Received September 2013 1056-2176 $15.00 c Dynmic Publishers, Inc.

654 D. R. ANDERSON Theorem 1.1 (Cuchy-Euler Eqution). Let λ 1, λ 2 R (or λ 2 = λ 1, the complex conjugte) be such tht t + λ k µ(t) 0, k = 1, 2 for ll t [, σ(b)] T, where T stisfies > 0. Then the Cuchy-Euler eqution (1.1) x (t) + 1 λ 1 λ 2 σ(t) x (t) + λ 1λ 2 tσ(t) x(t) = f(t), t [, b] T hs Hyers-Ulm stbility on [, b] T. To wit, if there exists y C 2 rd [, b] T tht stisfies y (t) + 1 λ 1 λ 2 y (t) + λ 1λ 2 y(t) f(t) σ(t) tσ(t) ε for t [, b] T, then there exists solution u C 2 rd [, b] T of (1.1) given by u(t) = e λ 1 t (t, τ 2 )y (τ 2 ) + where for ny τ 1 [, σ(b)] T the function w is given by [ w(s) = e λ 2 1(s, τ 1 ) y (τ 1 ) λ ] s 1 y(τ 1 ) + σ(s) τ 1 τ 2 e λ 1 t (t, σ(s))w(s) s, ny τ 2 [, σ 2 (b)] T, e λ 2 1 σ(s) τ 1 such tht y u Kε on [, σ 2 (b)] T for some constnt K > 0. (s, σ(ζ))f(ζ) ζ, The motivtion for this work is to extend Theorem 1.1 to the generl nth-order Cuchy-Euler dynmic eqution, nd thus extend the results in [26] s well, with n pproch different from [2]. We will show the stbility in the sense of Hyers nd Ulm of the eqution where α k M k y(t) = f(t), M 0 y(t) := y(t), M k+1 y(t) := (t) (M k y) (t), k = 0, 1,..., n 1. This is essentilly [4, (2.14)] if (t) = t nd f(t) = 0. In the lst section we will nlyze the nth-order fctored eqution with differentil opertors D nd I, where Dy = y nd Iy = y, of the form ( k D ψ k I) y(t) = f(t), t [, b] T, for right-dense continuous functions k nd ψ k, more generl dynmic eqution with vrible coefficients thn the Cuchy-Euler eqution. Throughout this work we ssume the reder hs working knowledge of time scles s cn be found in Bohner nd Peterson [3, 4], originlly introduced by Hilger [9].

HYERS-ULAM STABILITY 655 2. HYERS-ULAM STABILITY FOR HIGHER-ORDER CAUCHY-EULER DYNAMIC EQUATIONS In this section we estblish the Hyers-Ulm stbility of the higher-order nonhomogeneous Cuchy-Euler dynmic eqution on time scles of the form (2.1) where α k M k y(t) = f(t), M 0 y(t) := y(t), M k+1 y(t) := (t) (M k y) (t), k = 0, 1,..., n 1 for given constnts α k R with α n 1, nd for functions, f C rd [, b] T, using the following definition. Definition 2.1 (Hyers-Ulm stbility). Let, f C rd [, b] T nd n N. If whenever M k x C rd [, b] T stisfies α k M k x(t) f(t) ε, t [, b] T there exists solution u of (2.1) with M k u C rd [, b] T for k = 0, 1,..., n 1 such tht x u Kε on [, σ n (b)] T for some constnt K > 0, then (2.1) hs Hyers-Ulm stbility [, b] T. Remrk 2.2. Before proving the Hyers-Ulm stbility of (2.1) we will need the following lemm, which llows us to fctor (2.1) using the elementry symmetric polynomils [6] in the n symbols ρ 1,..., ρ n given by s n 1 = s 1 (ρ 1,...,ρ n ) = i ρ i s n 2 = s 2(ρ 1,...,ρ n ) = i<j ρ i ρ j s n 3 = s 3 (ρ 1,...,ρ n ) = s n 4 = s 4(ρ 1,...,ρ n ) =. s n t = s t(ρ 1,...,ρ n ) = i<j<k i<j<k<l ρ i ρ j ρ k ρ i ρ j ρ k ρ l i 1 <i 2 < <i t ρ i1 ρ i2... ρ it. s n n = s n (ρ 1,...,ρ n ) = ρ 1 ρ 2 ρ 3...ρ n.

656 D. R. ANDERSON In generl, we let s j i represent the ith elementry symmetric polynomil on j symbols. Then, given the α k in (2.1), introduce the chrcteristic vlues λ k C vi the elementry symmetric polynomil s n t on the n symbols λ 1,..., λ n, where α n = s 0 1 nd (2.2) α k = s n n k = s n k ( λ 1,..., λ n ) = i 1 <i 2 < <i n k ( 1) n k λ i1 λ i2 λ in k. Lemm 2.3 (Fctoriztion). Given y, C rd [, b] T nd α k R with α n 1, let M k y C rd [, b] T, where M 0 y(t) := y(t) nd M k+1 y(t) := (t) (M k y) (t) for k = 0, 1,..., n 1. Then we hve the fctoriztion (2.3) α k M k y(t) = (D λ k I) y(t), n N, where the differentil opertor D is defined vi Dx = x for x C rd [, b] T, nd I is the identity opertor. Proof. We proceed by mthemticl induction on n N, utilizing the substitution defined in (2.2). For n = 1, α k M k y(t) = α 0 M 0 y(t) + α 1 M 1 y(t) = s 1 ( λ 1 )y(t) + 1 (t)y (t) = (D λ 1 I)y(t) nd the result holds. Assume (2.3) holds for n 1. Then we hve α n+1 1 nd n+1 α k M k y(t) = α 0 y(t) + α k M k y(t) + M n+1 y(t) = s n+1 n+1y(t) + s n+1 n+1 k M ky(t) + (t) (M n y) (t) = λ n+1 s n n y(t) + ( ) s n n+1 k λ n+1 s n n k Mk y(t) + (t)d (M n y)(t) = λ n+1 [s n ny(t) + ] s n n km k y(t) + s n n+1 km k y(t) + (t)d (M n y)(t) ( ) = λ n+1 s n n km k y(t) + (t)d s n n+1 km k 1 y(t) + M n y (t) = λ n+1 s n n k M ky(t) + (t)d = λ n+1 s n n k M ky(t) + (t)d ( n 1 ) s n n k M ky(t) + M n y (t) s n n k M ky(t)

= ((t)d λ n+1 I) = ((t)d λ n+1 I) = ((t)d λ n+1 I) nd the proof is complete. HYERS-ULAM STABILITY 657 s n n km k y(t) α k M k y(t) (D λ k I)y(t) Theorem 2.4 (Hyers-Ulm Stbility). Given y,, f C rd [, b] T with A > 0 for some constnt A, nd α k R with α n 1, consider (2.1) with M k y C rd [, b] T for k = 0,...,n 1. Using the λ k from the fctoriztion in Lemm 2.3, ssume (2.4) (t) + λ k µ(t) 0, k = 1, 2,..., n for ll t [, σ n 1 (b)] T. Then (2.1) hs Hyers-Ulm stbility on [, b] T. Proof. Let ε > 0 be given, nd suppose there is function x, with M k x C rd [, b] T, tht stisfies α k M k x(t) f(t) ε, t [, b] T. We will show there exists solution u of (2.1) with M k u C rd [, b] T for k = 0, 1,..., n 1 such tht x u Kε on [, σ n (b)] T for some constnt K > 0. To this end, set This implies by Lemm 2.3 tht so tht g 1 = x λ 1 x = (D λ 1 I) x g 2 = g 1 λ 2 g 1 = (D λ 2 I)g 1. g k = g k 1 λ k g k 1 = (D λ k I)g k 1. g n = g n 1 λ n g n 1 = (D λ n I)g n 1. g n (t) f(t) = α k M k x(t) f(t), g n (t) f(t) ε, t [, b] T. By the construction of g n we hve g n 1 λ n g n 1 f ε, tht is g n 1 λ n g n 1 f ε ε A.

658 D. R. ANDERSON By [1, Lemm 2.3] nd (2.4) there exists solution w 1 C rd [, b] T of (2.5) w (t) λ n f(t) w(t) (t) (t) = 0, or (t)w (t) λ n w(t) f(t) = 0, t [, b] T, where w 1 is given by w 1 (t) = e λn (t, τ 1 )g n 1 (τ 1 ) + nd there exists n L 1 > 0 such tht τ 1 e λn (t, σ(s)) f(s) (s) s, ny τ 1 [, σ(b)] T, g n 1 (t) w 1 (t) L 1 ε/a, t [, σ(b)] T. Since g n 1 = g n 2 λ n 1 g n 2, we hve tht g n 2 λ n 1g n 2 (t) w 1 (t) L 1 ε/a, t [, σ(b)] T. Agin we pply [1, Lemm 2.3] to see tht there exists solution w 2 C rd [, σ(b)] T of w (t) λ n 1 (t) w(t) w 1(t) (t) = 0, or (t)w (t) λ n 1 w(t) w 1 (t) = 0, t [, σ(b)] T, where w 2 is given by w 2 (t) = e λ n 1 (t, τ 2 )g n 2 (τ 2 ) + nd there exists n L 2 > 0 such tht e λ n 1 τ 2 (t, σ(s)) w 1(s) (s) s, ny τ 2 [, σ 2 (b)] T, g n 2 (t) w 2 (t) L 2 L 1 ε/a 2, t [, σ 2 (b)] T. Continuing in this mnner, we see tht for k = 1, 2,..., n 1 there exists solution w k C rd [, σk 1 (b)] T of w (t) λ n k+1 (t) w(t) w k 1(t) (t) t [, σ k 1 (b)] T, where w k is given by (2.6) w k (t) = e λ n k+1 (t, τ k )g n k (τ k )+ nd there exists n L k > 0 such tht In prticulr, for k = n 1, = 0, or (t)w (t) λ n k+1 w(t) w k 1 (t) = 0, e λ n k+1 τ k g n k (t) w k (t) (t, σ(s)) w k 1(s) s, ny τ k [, σ k (b)] T, (s) k L j ε/a k, t [, σ k (b)] T. j=1 n 1 g 1 (t) w n 1 (t) L j ε/a n 1, j=1 t [, σ n 1 (b)] T

HYERS-ULAM STABILITY 659 implies by the definition of g 1 tht x (t) λ 1 (t) x(t) w n 1 n 1(t) (t) L j ε/a n, t [, σ n 1 (b)] T. j=1 Thus there exists solution w n C rd [, σn 1 (b)] T of w (t) λ 1 (t) w(t) w n 1(t) (t) t [, σ n 1 (b)] T, where w n is given by (2.7) w n (t) = e λ 1 (t, τ n )x(τ n ) + = 0, or (t)w (t) λ 1 w(t) w n 1 (t) = 0, τ n e λ 1 nd there exists n L n > 0 such tht (2.8) x(t) w n (t) Kε := By construction, (t, σ(s)) w n 1(s) s, ny τ n [, σ n (b)] T, (s) L j ε/a n, t [, σ n (b)] T. j=1 (D λ 1 I)w n (t) = w n 1 (t) 2 (D λ k I)w n (t) = (D λ 2 I)w n 1 (t) = w n 2 (t). (D λ k I)w n (t) = (D λ n I) w 1 (t) (2.5) = f(t) on [, σ n 1 (b)] T, so tht u = w n is solution of (2.1), with u C rd [, σn 1 (b)] T nd x(t) w n (t) Kε for t [, σ n (b)] T by (2.8). Moreover, using (2.7) nd (2.6), we hve n itertive formul for this solution u = w n in terms of the function x given t the beginning of the proof. 3. EXAMPLE Letting Dy = y nd I be the identity opertor, consider the non-homogeneous fifth-order Cuchy-Euler dynmic eqution (3.1) [ (td) 5 + 15(tD) 4 + 85(tD) 3 + 225(tD) 2 + 274tD + 120I ] y(t) = f(t) for some right-dense continuous function f, on [, b] T ; in fctored form it is (td + 5I)(tD + 4I)(tD + 3I)(tD + 2I)(tD + I)y(t) = f(t). If T = R, this is equivlent to the non-homogeneous fifth-order Cuchy-Euler differentil eqution t 5 y (5) + 25t 4 y (4) + 200t 3 y + 600t 2 y + 600ty + 120y = f(t), By Theorem 2.4 we hve tht (3.1) hs Hyers-Ulm stbility.

660 D. R. ANDERSON 4. HIGHER-ORDER LINEAR NON-HOMOGENEOUS FACTORED DYNAMIC EQUATIONS WITH VARIABLE COEFFICIENTS Generlizing wy from higher-order Cuchy-Euler equtions, we consider the following higher-order liner non-homogeneous fctored dynmic equtions with vrible coefficients given by (4.1) ( k D ψ k I)y(t) = f(t), t [, b) T, where k, ψ k, f C rd [, b) T for k = 1, 2,..., n, Dy(t) = y (t), I is the identity opertor, nd k (t) A > 0 for ll t [, b) T, for some constnt A > 0. Here we llow for b = for those time scles tht re unbounded bove. Before our min result in this section we need the following lemm. Lemm 4.1. Let, ψ, f C rd [, b) T with (t) A > 0 for some constnt A, nd ssume (4.2) (t) + µ(t)ψ(t) 0 nd e 1 ψ σ(τ)) (t, (τ) τ < L for ll t [, b) T, for some constnt 0 < L <. Then the first-order dynmic eqution hs Hyers-Ulm stbility on [, b) T. (D ψi)y f = 0 Proof. Suppose there exists function x such tht for some ε > 0, for ll t [, b) T. Set (D ψi) x(t) f(t) ε q(t) = (D ψi) x(t) f(t), t [, b) T. Clerly q(t) ε for ll t [, b) T, nd we cn solve for x to obtin x(t) = e ψ(t, )x() + q(τ) + f(τ) e ψ(t, σ(τ)) τ. (τ) Let y be the unique solution of the initil-vlue problem (D ψi) y(t) f(t) = 0, y() = x(). Then y is given by nd y(t) x(t) = by condition (4.2). y(t) = e ψ(t, )x() + e ψ(t, σ(τ)) f(τ) (τ) τ, e ψ(t, σ(τ)) q(τ) (τ) τ t ε e 1 σ(τ)) (t, ψ (τ) τ Lε

HYERS-ULAM STABILITY 661 Remrk 4.2. The convergence condition on the integrl in (4.2) is essentilly the sme s S1 nd S2 in [2], nd cn be met for vrious functions. For exmple, if T = R, (w) = w 2, ψ(w) = sin w, nd = 1, then e 1 t σ(τ)) (t, ψ (τ) τ = 1 [ ] esin w(t, τ) w2 τ 2dτ 1 e 1+1 t, 1 + e 1 1 t 1 for ll t 1, nd so clerly converges on [1, ) R. If T = N, (w) = w, ψ(w) = 5/2, nd = 3, then t 1 e 1 ψ σ(τ)) (t, (τ) τ = τ=3 Γ(1 + τ)γ(t 5/2) τγ(t)γ(τ 3/2) = 2 5 4 Γ(t 5/2) 5 π Γ(t) [0, 2/5) for ll integers t 3, nd so clerly converges on [3, ) N, where Γ is the gmm function. Theorem 4.3 (Hyers-Ulm Stbility). Given k, ψ k, f C rd [, b) T with k (t) A > 0 for some constnt A, ssume (4.3) k (t) + µ(t)ψ k (t) 0 nd e 1 ψ k (t, σ(τ)) k k (τ) τ < L k 1 for k = 1, 2,..., n nd for ll t [, b) T, where 0 < L k 1 < is some constnt. Then (4.1) hs Hyers-Ulm stbility on [, b) T. Proof. Suppose there exists function x such tht ( k D ψ k I)x(t) f(t) ε for some ε > 0, for ll t [, b) T. Define the new functions x 0 := x, y n := f, nd (4.4) x k := ( k D ψ k I)x k 1, k = 1,...,n. Then tht cn be solved to yield for k = 1,...,n. Note tht so x k (t) = k (t)x k 1(t) ψ k (t)x k 1 (t), x k 1 (t) = e ψ k k (t, )x k 1 () + x n y n (t) = x n f (t) ε, e ψ k k (t, σ(τ)) x k(τ) k (τ) τ n x n 1 ψ n x n 1 y n = n x n 1 ψ n x n 1 f ε. Hyers-Ulm stbility of this first-order eqution by Lemm 4.1 implies there exists function y n 1 such tht x n 1 y n 1 L n 1 ε

662 D. R. ANDERSON nd n (t)y n 1 (t) ψ n(t)y n 1 (t) = y n (t) = f(t), for some constnt L n 1 > 0, where y n 1 is given by Then y n 1 (t) = e ψn (t, )y n 1 () + n e ψn (t, σ(τ)) y n(τ) n n (τ) τ. n 1 x n 2 ψ n 1x n 2 y n 1 L n 1 ε, so gin Hyers-Ulm stbility of the first-order eqution implies there exists function y n 2 such tht x n 2 y n 2 L n 2 L n 1 ε nd n 1 (t)y n 2(t) ψ n 1 (t)y n 2 (t) = y n 1 (t), for some constnt L n 2 > 0, where y n 2 is given by y n 2 (t) = e ψ n 1 n 1 (t, )y n 2 () + Continuing in this wy, we obtin function y 0 such tht n 1 (4.5) x 0 y 0 = x y 0 ε e ψ n 1 n 1 (t, σ(τ)) y n 1(τ) n 1 (τ) τ. j=0 L j nd 1 (t)y 0 (t) ψ 1(t)y 0 (t) = y 1 (t), for some constnt L 0 > 0, where y 0 is given by y 0 (t) = e ψ 1 1 (t, )y 0 () + e ψ 1 1 (t, σ(τ)) y 1(τ) 1 (τ) τ. Note tht by construction of y 0 nd generlly y k, we hve ( k D ψ k I)y 0 (t) = =. ( k D ψ k I) y 1 (t) k=2 ( k D ψ k I) y 2 (t) k=3 = ( n D ψ n I)y n 1 (t) = y n (t) = f(t), mking y 0 solution of (4.1). This fct, together with inequlity (4.5), shows tht (4.1) hs Hyers-Ulm stbility.

HYERS-ULAM STABILITY 663 REFERENCES [1] D. R. Anderson, B. Gtes, nd D. Heuer, Hyers-Ulm stbility of second-order liner dynmic equtions on time scles, Communictions Appl. Anl. 16:3:281 292, 2012. [2] S. András nd A. R. Mészáros, Ulm-Hyers stbility of dynmic equtions on time scles vi Picrd opertors Appl. Mth. Computtion 219:4853 4864, 2013. [3] M. Bohner nd A. Peterson, Dynmic Equtions on Time Scles, An Introduction with Applictions, Birkhäuser, Boston, 2001. [4] M. Bohner nd A. Peterson, Editors, Advnces in Dynmic Equtions on Time Scles, Birkhäuser, Boston, 2003. [5] J. Brzdȩk, D. Pop, nd B. Xu, Remrks on stbility of liner recurrence of higher order, Appl. Mth. Lett. Vol. 23, Issue 12: 1459 1463, 2010. [6] P. B. Grrett, Abstrct Algebr, Chpmn nd Hll/CRC, Boc Rton, 2007. [7] P. Găvruţ nd L. Găvruţ, A new method for the generlized Hyers-Ulm-Rssis stbility, Int. J. Nonliner Anl. Appl. 1 No.2: 11 18, 2010. [8] P. Găvruţ, S. M. Jung, nd Y. J. Li, Hyers-Ulm stbility for second-order liner differentil equtions with boundry conditions, Electronic J. Diff. Equtions Vol. 2011, No. 80:1 5, 2011. [9] S. Hilger, Anlysis on mesure chins unified pproch to continuous nd discrete clculus, Results Mth. 18:18 56, 1990. [10] D. H. Hyers, On the stbility of the liner functionl eqution, Proc. Nt. Acd. Sci. U.S.A. 27:222 224, 1941. [11] S.-M. Jung, Hyers-Ulm stbility of liner differentil equtions of first order (I), Interntionl J. Appl. Mth. & Stt. Vol. 7, No. Fe07:96 100, 2007. [12] S.-M. Jung, Hyers-Ulm stbility of liner differentil eqution of the first order (III), J. Mth. Anl. Appl. 311:139 146, 2005. [13] S.-M. Jung, Hyers-Ulm stbility of liner differentil equtions of first order (II), Appl. Mth. Lett. 19:854 858, 2006. [14] S.-M. Jung, Hyers-Ulm stbility of system of first order liner differentil equtions with constnt coefficients, J. Mth. Anl. Appl. 320:549 561, 2006. [15] Y. J. Li nd Y. Shen, Hyers-Ulm stbility of liner differentil equtions of second order, Appl. Mth. Lett. 23:306 309, 2010. [16] Y. J. Li nd Y. Shen, Hyers-Ulm stbility of nonhomogeneous liner differentil equtions of second order, Interntionl J. Mth. & Mthemticl Sciences Vol. 2009, Article ID 576852, 7 pges, 2009. [17] T. Miur, S. Miyjim, nd S. E. Tkhsi, A chrcteriztion of Hyers-Ulm stbility of first order liner differentil opertors, J. Mth. Anl. Appl. Vol. 286, Issue 1:136 146, 2003. [18] T. Miur, S. Miyjim, nd S. E. Tkhsi, Hyers-Ulm stbility of liner differentil opertor with constnt coefficients, Mth. Nchr. 258:90 96, 2003. [19] M. Obloz, Hyers stbility of the liner differentil eqution, Rocznik Nukowo-Dydktyczny Prce Mtemtyczne 13:259 270, 1993. [20] D. Pop, Hyers-Ulm stbility of the liner recurrence with constnt coefficients, Adv. Difference Equtions 2005:2:101 107, 2005. [21] D. Pop nd I. Rş, On the Hyers-Ulm stbility of the liner differentil eqution, J. Mth. Anl. Appl. 381:530 537, 2011. [22] D. Pop nd I. Rş, Hyers-Ulm stbility of the liner differentil opertor with nonconstnt coefficients, Appl. Mth. Computtion 219:1562 1568, 2012.

664 D. R. ANDERSON [23] J. M. Rssis, specil editor-in-chief, Specil Issue on Leonhrd Pul Eulers Functionl Equtions nd Inequlities, Interntionl J. Appl. Mth. & Stt., Volume 7 Number Fe07, Februry 2007. [24] Th. M. Rssis, On the stbility of liner mpping in Bnch spces, Proc. Amer. Mth. Soc. 72:297 300, 1978. [25] I. A. Rus, Ulm stbility of ordinry differentil equtions, Stud. Univ. Bbeş-Bolyi Mth. 54:125 134, 2009. [26] C. Tunç nd E. Biçer, Hyers-Ulm stbility of non-homogeneous Euler equtions of third nd fourth order, Scientific Reserch nd Essys Vol. 8:5:220 226, 2013. [27] S. M. Ulm, A Collection of the Mthemticl Problems, Interscience, New York, 1960. [28] G. Wng, M. Zhou, nd L. Sun, Hyers-Ulm stbility of liner differentil equtions of first order, Appl. Mth. Lett. 21:1024 1028, 2008.