Document 10884354

advertisement
Hindawi Publishing Corporation
Fixed Point Theory and Applications
Volume 2011, Article ID 867932, 19 pages
doi:10.1155/2011/867932
Research Article
About Robust Stability of Caputo Linear
Fractional Dynamic Systems with Time Delays
through Fixed Point Theory
M. De la Sen
Faculty of Science and Technology, University of the Basque Country,
644 de Bilbao, Leioa, 48080 Bilbao, Spain
Correspondence should be addressed to M. De la Sen, manuel.delasen@ehu.es
Received 9 November 2010; Accepted 31 January 2011
Academic Editor: Marlène Frigon
Copyright q 2011 M. De la Sen. This is an open access article distributed under the Creative
Commons Attribution License, which permits unrestricted use, distribution, and reproduction in
any medium, provided the original work is properly cited.
This paper investigates the global stability and the global asymptotic stability independent of the
sizes of the delays of linear time-varying Caputo fractional dynamic systems of real fractional
order possessing internal point delays. The investigation is performed via fixed point theory
in a complete metric space by defining appropriate nonexpansive or contractive self-mappings
from initial conditions to points of the state-trajectory solution. The existence of a unique fixed
point leading to a globally asymptotically stable equilibrium point is investigated, in particular,
under easily testable sufficiency-type stability conditions. The study is performed for both the
uncontrolled case and the controlled case under a wide class of state feedback laws.
1. Introduction
Fractional calculus is concerned with the calculus of integrals and derivatives of any arbitrary
real or complex orders. In this sense, it may be considered as a generalization of classical
calculus which is included in the theory as a particular case. There is a good compendium
of related results with examples and case studies in 1. Also, there is an existing collection
of results in the background literature concerning the exact and approximate solutions of
fractional differential equations of Riemann-Liouville and Caputo types 1–4, fractional
derivatives involving products of polynomials 5, 6, fractional derivatives and fractional
powers of operators 7–9, boundary value problems concerning fractional calculus see
for instance 1, 10 and so forth. On the other hand, there is also an increasing interest in
the recent mathematical related to dynamic fractional differential systems oriented towards
several fields of science like physics, chemistry or control theory. Perhaps the reason of
interest in fractional calculus is that the numerical value of the fraction parameter allows
2
Fixed Point Theory and Applications
a closer characterization of eventual uncertainties present in the dynamic model. We can
also find, in particular, abundant literature concerned with the development of Lagrangian
and Hamiltonian formulations where the motion integrals are calculated though fractional
calculus and also in related investigations concerned dynamic and damped and diffusive
systems 11–17 as well as the characterization of impulsive responses or its use in applied
optics related, for instance, to the formalism of fractional derivative Fourier plane filters see,
for instance, 16–18, and Finance 19. Fractional calculus is also of interest in control theory
concerning for instance, heat transfer, lossless transmission lines, the use of discretizing
devices supported by fractional calculus, and so forth see, for instance 20–22. In particular,
there are several recent applications of fractional calculus in the fields of filter design, circuit
theory and robotics 21, 22, and signal processing 17. Fortunately, there is an increasing
mathematical literature currently available on fractional differ-integral calculus which can
formally support successfully the investigations in other related disciplines.
This paper is concerned with the investigation of the solutions of time-invariant
fractional differential dynamic systems 23, 24, involving point delays which leads to
a formalism of a class of functional differential equations, 25–31. Functional equations
involving point delays are a crucial mathematical tool to investigate real process where delays
appear in a natural way like, for instance, transportation problems, war and peace problems,
or biological and medical processes. The main interest of this paper is concerned with the
positivity and stability of solutions independent of the sizes of the delays and also being
independent of eventual coincidence of some values of delays if those ones are, in particular,
multiple related to the associate matrices of dynamics. Most of the results are centred in
characterizations via Caputo fractional differentiation although some extensions presented
are concerned with the classical Riemann-Liouville differ-integration. It is proved that the
existence nonnegative solutions independent of the sizes of the delays and the stability
properties of linear time-invariant fractional dynamic differential systems subject to point
delays may be characterized with sets of precise mathematical results.
On the other hand, fixed point theory is a very powerful mathematical tool to be
used in many applications where stability knowledge is needed. For instance, the concepts of
contractive, weak contractive, asymptotic contractive and nonexpansive mappings have been
investigated in detail in many papers from several decades ago see, for instance, 32–34
and references therein. It has been found, for instance, that contractivity, weak contractivity
and asymptotic contractivity ensure the existence of a unique fixed pointing complete metric
or Banach spaces. Some theory and applications of some types of functional equations in
the context of fixed point theory have been investigated in 35, 36. Fixed point theory has
also been employed successfully in stability problems of dynamic systems such as time-delay
and continuous-time/digital hybrid systems and in those involving switches among different
parameterizations. This paper is concerned with the investigation of fixed points in Caputo
linear fractional dynamic systems of real order α which involved delayed dynamics subject
to a finite set of bounded point delays which can be of arbitrary sizes. The self-mapping
defined in the state space from initial conditions to points of the state—trajectory solution
are characterized either as nonexpansive or as contractive. The first case allows to establish
global stability results while the second one characterizes global asymptotic stability.
1.1. Notation
C , R, and Z are the sets of complex, real, and integer numbers, respectively.
Fixed Point Theory and Applications
3
R and Z are the sets of positive real and integer numbers, respectively, C is the set
of complex numbers with positive real part.
C0 : C ∪ {iω : ω ∈ R}, where i is the complex unity, R0 : R ∪ {0} and Z 0 :
Z ∪ {0}.
R− and Z− are the sets of negative real and integer numbers, respectively; and C− is the
set of complex numbers with negative real part.
C0− : C− ∪{iω : ω ∈ R}, where i is the complex unity, R0 : R− ∪{0} and Z0− : Z− ∪{0}.
N : {1, 2, . . . , N} ⊂ Z0 , “∨” is the logic disjunction, and “∧” is the logic conjunction.
t/h is the integer part of the rational quotient t/h.
σM denotes the spectrum of the real or complex square matrix M i.e., its set of
distinct eigenvalues.
denotes any vector or induced matrix norm. Also, mp and Mp are the
p -norms of the vector m or induced real or complex matrix M, and μp M denote
the p measure of the square matrix M, 20. The matrix measure μp M is defined
as the existing limit μp M : limε → 0 In ε X p − ε/ε which has the property
max−Mp , maxi∈n reλi M ≤ μp M ≤ Mp for any square n-matrix M of spectrum
σM {λ i M ∈ C : 1 ≤ i ≤ n}. An important property for the investigation of this
paper is that μ2 M < 0 if M is a stability matrix: that is, if re λ i M < 0; 1 ≤ i ≤ n.
∞ denotes the supremum norm on R0 , or its induced supremum metric, for
functions or vector and matrix functions without specification of any pointwise particular
vector or matrix norm for each t ∈ R0 . If pointwise vector or matrix norms are specified, the
corresponding particular supremum norms are defined by using an extra subscript. Thus,
m p∞ : supt∈R0 mtp and M p∞ : supt∈R0 Mtp are, respectively, the supremum
norms on R0 for vector and matrix functions of domains in R0 ×Rn , respectively, in R0 ×Rn×m
defined from their p pointwise respective norms for each t ∈ R0 .
In is the nth identity matrix.
Kp M is the condition number of the matrix M with respect to the p -norm;
k : {1, 2, . . . , k}.
1.1
The sets BPCi dom, codom and PCi dom, codom are the sets of functions of a certain
domain and codomain which are of class Ci−1 dom, codom and with the ith derivative is
bounded piecewise continuous, respectively, piecewise continuous in the definition domain.
2. Caputo Fractional Linear Dynamic Systems with Point Constant
Delays and the Contraction Mapping Theorem
Consider the linear functional Caputo fractional dynamic system of order α with r delays:
α
x
D0
t
xk τ
1
dτ
t :
Γk − α 0 t − τα1−k
r
i txt − ri Btut
A
i 0
r
r
i 0
i 0
Ai xt − ri i txt − ri Btut,
A
2.1
4
Fixed Point Theory and Applications
with k − 1 < α∈ R ≤ k; k ∈ Z , 0 r0 < r1 < r2 < · · · < rr h < ∞ being distinct constant
delays, where ri i ∈ r are the r in general incommensurate delays 0 r0 < ri i ∈ r
subject to the system piecewise continuous bounded matrix functions of delayed dynamics
i : R0 → Rn×n i ∈ r ∪ {0} which are decomposable as a nonunique sum of a constant
A
i t, for all t ∈ R0 , and
i t Ai A
matrix plus a bounded matrix function of time, that is, A
n×m
is the piecewise continuous bounded control matrix. The initial condition
B : R0 → R
is given by k n-real vector functions ϕj : −h, 0 → Rn , with j ∈ k − 1 ∪ {0}, which are
absolutely continuous except eventually in a set of zero measure of −h, 0 ⊂ R of bounded
discontinuities with ϕj 0 xj 0 xj 0 xj0 , j ∈ k − 1 ∪ {0}. The function vector
u : R0 → Rm is any given bounded piecewise continuous control function. The following
result is concerned with the unique solution on R0 of the above differential fractional system
3.1. The proof, which is based on Picard-Lindelöf theorem, follows directly from a parallel
existing result from the background literature on fractional differential systems by grouping
all the additive forcing terms of 2.1 in a unique one see for instance 1, 1.8.17, 3.1.34–
3.1.49, with ft ≡ ri 1 Ai xt−hi But. For the sake of simplicity, the domains of initial
conditions and controls are all extended to −h, 0 ∪ R0 by zeroing them on the irrelevant
intervals of −h, 0 so that any solution for t ∈ R0 of 2.1 is identical to the corresponding
one under the above given definition domains of vector functions of initial conditions and
controls.
Theorem 2.1. The linear and time- invariant differential functional fractional dynamic system 2.1
of any order α ∈ C0 has a unique continuous solution on −h, 0 ∪ R0 satisfying
j
a x ≡ ϕ ≡ k−1
j0 ϕj on R0 with ϕj 0 xj 0 x 0 xj0 ; j ∈ k − 1 ∪ {0}; for all t ∈
−h, 0 for each given set of initial functions and ϕj : −h, 0 → Rn , j ∈ k − 1 ∪ {0} being bounded
piecewise continuous with eventual discontinuities in a set of zero measure of −h, 0 ⊂ R of bounded
discontinuities, that is, ϕj ∈ BPC0 −h, 0, Rn ; j ∈ k − 1 ∪ {0} and each given bounded piecewise
continuous control u : R0 → Rm , with ut 0 for t ∈ −h, 0, being a bounded piecewise
continuous control function, and
b
k−1
r ri
Φαj txj0 Φα t − τAi ϕj τ − ri dτ
xα t j0
i 1 0
ri
r
Φα t − τAi τϕj τ − ri dτ
2.2
i 1 0
t
t
r
r
i τxα τ − ri dτ
Φα t − τAi τxα τ − ri dτ Φα t − τA
i 1
t
i 0
ri
Φα t − τBτuτdτ,
ri
t ∈ R0 ,
0
which is time-differentiable satisfying 2.1 in R with k Re α 1 if α ∈
/ Z and k α if α ∈ Z ,
and
Φαj t : tj Eα,j1 A0 tα ,
Φα t : tα− 1 Eαα A0 tα ,
∞
A0 tα Eαj A0 tα :
, j ∈ k − 1 ∪ {0, α},
0 Γ α j
for t ∈ R
0
2.3
and Φα0 t Φα t 0 for t < 0, where Eα,j A0 tα are the Mittag-Leffler functions.
Fixed Point Theory and Applications
5
A technical result about norm upper-bounding functions of the matrix functions 2.32.4 follows
Lemma 2.2. The following properties hold.
i There exist finite real constants KEαj ≥ 1, KΦαj ≥ 1; j ∈ k − 1 ∪ {0} and KΦα ≥ 1 such
that for any α∈ R < 1
Eαj A0 tα ≤ KEαj eA0 t ,
Φα t ≤ KΦα 1/t
Φαj t ≤ KΦαj tj eA0 t ,
1−α
eA0 t ,
j ∈ k − 1 ∪ {0, α},
2.4
for t ∈ R ≥ 1.
ii If α∈ R ≥ 1 then
α A0 t
!
!
A0 tα ≤ sup
e
!
Γ α j
∈Z0 Γ 1
0
α eA0 t , j ∈ k − 1 ∪ {0}, t ∈ R0 ,
∞
Eαj A0 tα !
α α tj eA0 t ≤ tj eA0 t , j ∈ k − 1 ∪ {0}, t ∈ R0 ,
Γ α j 1
∈Z0
!
α α tα− 1 e A0 t ≤ tα−1 eA0 t , t ∈ R0 .
Φα t ≤ sup
∈Z0 Γ 1α
2.5
Φαj t ≤ sup
If, in addition, A0 is a stability matrix then eA0 t ≤ Ke− λt and eA0 t ≤ Ke− λt ≤ Ke−λt ; t ∈ R0
for some real constants K ≥ 1, λ ∈ R . Then, one gets from 2.5
α
Eαj A0 tα ≤ Ke−λt ,
Φαj t ≤ tj e−λ t ,
α
j ∈ k − 1 ∪ {0},
Φα t ≤ tα−1 e−λt
2.6
for t ∈ R0 , and the fractional dynamic system in the absence of delayed dynamics is exponentially
stable if the standard fractional system for α 1 is exponentially stable.
iii The following inequalities hold.
Φα, k−1 t ≤ tk−α Φα t for α ∈ k − 1, k ∩ R for k ∈ Z , t ∈ R0 ,
Φα t ≤ tα1−k Φα,k−2 t
for α ∈ k − 1, k ∩ R , t ∈ R0 ,
Φk t ≡ Φk,k−1 t for α k ∈ Z , t ∈ R0 .
2.7
6
Fixed Point Theory and Applications
Proof. Note from 2.3-2.4 for 0 < α∈ R < 1
∞
A0 tα 0 Γ α j
α ∞
∞
A0 t
A0 t
!
tα−1 !
,
!
!
Γ α j
Γ α j
0
0
!
A0 t Eαj A0 tα ≤ sup
sup
e
, j ∈ k − 1 ∪ {0, α},
τ 1−α Γ α j
τ∈1, ∞∩R ∈Z0
Eαj A0 tα :
lim supEα,j A0 tα ≤ lim sup
t → ∞
sup
t → ∞
∈Z0
≤ lim supeA0 t ,
t → ∞
Φαj t ≤
sup
sup
τ∈1,∞∩R
∈Z0
!
1−α
t
Γ α j
∞ A t 0 0 ! t ∈ 1, ∞ ∩ R ,
j ∈ k − 1 ∪ {0, α},
!
1−α
τ
Γ α j 1
j A0 t t e ,
j ∈ k − 1 ∪ {0, α},
∞ A tj !
0
lim supΦαj t ≤ lim sup sup 1−α !
t
Γ
α
j
1
t→∞
t→∞
∈Z0
0
≤ lim suptj eA0 t ,
t→∞
Φα t ≤
sup
τ∈1,∞∩R
t ∈ 1, ∞ ∩ R ,
j ∈ k − 1 ∪ {0},
!
sup
1−α Γ 1α
τ
∈Z0
!
lim supΦα t ≤ lim sup sup 1−α
Γ 1α
t→∞
t→∞
∈Z0 t
1 A t
0 ≤ lim sup
t1−α e ,
t→∞
1 A t
0 e
t1−α
,
t ∈ 1, ∞ ∩ R ,
∞ A tα−1 0
0
!
2.8
since
lim sup
,1t∈R0 → ∞
!
sup 1−α
t
Γ
1α
∈Z0
≤ lim sup
Z0 → ∞
sup
∈Z0
!
1−α Γ α j 1
0.
2.9
Fixed Point Theory and Applications
7
The inequalities 2.4 hold since the above matrix norms are bounded on the real interval
1, ∞ and their limit superior is upper-bounded by the given formulas and Property i is
proved. On the other hand, if R α ≥ 1 then
α A0 t
!
!
Γ α j
0
!
A0 tα A0 tα ≤ sup
e
e
, j ∈ k − 1 ∪ {0}, t ∈ R0
∈Z0 Γ 1
!
α α Φαj t ≤ sup
tj eA0 t ≤ tj eA0 t , j ∈ k − 1 ∪ {0}, t ∈ R0 ,
Γ α j 1
∈Z0
!
α α tα−1 eA0 t ≤ tα−1 eA0 t , t ∈ R0 .
Φα t ≤ sup
∈Z0 Γ 1α
2.10
∞
Eαj A0 tα α
If, in addition, A0 is a stability matrix then eA0 t ≤ Ke−λt and eA0 t ≤ Ke−λt ≤ Ke−λt , t ∈
R0 for some real constants K ≥ 1 and λ ∈ R since tα ≥ t, for all t ∈ R0 . Properties i-ii
have been proved.
iii It is proved as follows. Note from 2.3-2.4 that
α
α
∞
∞ A t1α−1 1j−α
A0 tαj Γ
1αt
0
Φαj t ≤ sup
,
0 Γ α j 1 ∈Z0
0 Γ 1α Γ α j 1
t ∈ R0 ,
2.11
j ∈ k − 1 ∪ {0}, so that if k − 1 < α∈ R ≤ k, then
Φα,k−1 t ≤ sup
∈Z0
Γ 1αt1j−α
Γα k
∞ A t1α−1 k−α
0
≤ t Φα t,
0 Γ 1α t ∈ R0
2.12
Also,
∞ A t1α−1 ∞
A0 tαj Γ α j 1
α−j−1
0
sup
Φα t ≤t
0 Γ 1α Γ 1α 0 Γ α j 1 ∈Z0
≤t
Φαj t,
α−j−1 2.13
t ∈ R0 ,
if sup∈Z0 Γα j 1/Γ 1α < ∞. This implies that
Φα t ≤ tα1−k Φα,k−2 t
for α ∈ k − 1, k ∩ R ,
Φk t ≡ Φk,k−1 t for α ∈ k − 1, k ∩ R .
2.14
8
Fixed Point Theory and Applications
3. Fixed Point Results
A technical definition is now given to facilitate the subsequent result about fixed point.
Property ii has been proven.
Definition 3.1. Sϕ, u is the set of all the piecewise continuous n-vector function from
−h, 0 ∪ R0 to Rn being time- differentiable in R which are solutions of 2.1 for all
admissible k-tuples of initial conditions ϕ : ϕ0 , ϕ1 , . . . , ϕk−1 with ϕj ∈ BPC0 −h, 0, Rn and controls u ∈ BPC0 R0 , Rn with ϕj 0 xj 0 xj 0 xj0 ; for all j ∈ k − 1 ∪ {0}.
A fixed point theorem is now given for the Caputo fractional system 2.1.
Theorem 3.2. Assume any set of r given finite delays 0 r0 < r1 ≤ . . . ≤ rr h < ∞. The following
properties hold.
δ
0 ∞ < 1; let gh : R → R0
i Assume that Φαj ∈ L∞ R0 , Rn×n and 0 Φα δ − τdτA
be defined by
gh δ :
1−
δ
Φα δ − τdτA
0 ∞
−1
0
3.1
⎛
⎞
r δ
k−1
⎠ ≤ 1,
× ⎝
Φ δ − τdτ Ai Φαj δ 0 α
∞
j0
i1
δ ∈ R .
Then, the mapping fh : −h, 0 × Rn → R × Rn defined by the state trajectory solution 2.2 of
the uncontrolled system from any initial conditions in the admissible set is nonexpansive, and the
solution is bounded fulfilling supt∈R0 xα t∞ ≤ supt∈−h,0 k−1
j0 ϕj t∞ . If gh δ ≤ Kc δ <
1; for allδ ∈ R then fh : −h, 0 × Rn → R × Rn is contractive and possesses a unique fixed point,
irrespective of the delays, in some bounded subset of Rn . Such a fixed point is 0 ∈ Rn which is also a
globally asymptotically stable equilibrium point.
δ
δ
0 t
ii Assume that Φαj ∈ L∞ R0 , Rn×n , Φα ∈ L2 R0 , Rn×n and 0 Φα δ−τdτ 0 A
2
1/2
τ dτ < 1; for all t ∈ R0 and define pointwise gh : R0 × R → R0 as follows
g h t, δ :
1−
δ
δ
Φα δ − τdτ
0
A
2
τ
t
dτ
0
1/2
−1
0
⎛
δ
k−1 2
× ⎝ Φαj δ∞ Φα δ − τ dτ 1/2
3.2
0
j0
δ
r
1/2
2
×
dτ
,
Ai t τ − ri i1
δ ∈ R .
0
Then, Property (i) still holds by replacing their corresponding constraints on gh by corresponding ones
on gh .
r
iii Assume that a control ut i0 Ki xt , txt − ri is injected to 2.1 where Ki :
Rn × R0 → Rm is in BPCR0 , Rm , xit : max0, t − ri , t → Rn , for all i ∈ r − 1 ∪ {0}, for all
Fixed Point Theory and Applications
9
t ∈ R0 is a strip of the state-trajectory solution of 2.1. Assume also that
Ki xit , t∞ ≤ Ki0 < ∞,
∀i ∈ r − 1 ∪ {0}, ∀t ∈ R0 , Φαj ∈ L∞ R0 , Rn×n ,
Φα ∈ L1 R0 , Rn×n ,
3.3
and define gf : R → R0 as
gh δ :
1−
δ
0
−1
0
Φα δ − τdτ A
0 B∞ K0
∞
⎛
⎞
r δ
k−1
⎠ ≤ 1,
× ⎝
Φ δ − τdτ Ai B∞ Ki0
Φαj δ 0 α
∞
j0
i1
3.4
δ ∈ R ,
δ
0 ∞ B∞ K 0 < 1. Then, for any given set of finite delays, the
provided that 0 Φα δ − τdτA
0
mapping ff : −h, 0 × Rn × Rm × R0 → R × Rn defined by the state trajectory solution 2.2 of the
controlled system from any initial conditions in the admissible set and any given admissible control is
a nonexpansive mapping if gh δ ≤ 1; for all δ ∈ R and contractive and the zero equilibrium is the
unique fixed point, irrespective of the delays and control, if gh δ ≤ Kc δ < 1; for all δ ∈ R which
is also a globally asymptotically stable equilibrium point.
iv Assume that ∃ ε< 1 ∈ R that gh δ < 1 − ε; for all t ∈ R0 . Then, state trajectory
solution 2.2 of the forced system from any initial conditions in the admissible set is defined by a
contractive self-mapping with a unique fixed point in some bounded subset of Rn for all controls of the
δ
form ut ri0 Ki xit , txt − ri fulfilling Ki xit , t∞ ≤ ε/r 1 0 Φα δ − τdτB∞ , for
all i ∈ r − 1 ∪ {0}.
v Assume that Φαj ∈ L∞ R0 , Rn×n ; for all j ∈ k − 1 ∪ {0}, Φα ∈ L2 R0 , Rn×n and BKi ∈
2
L R0 , Rn×n ; for all i ∈ r − 1∪{0}, instead of the hypotheses 3.3, and define gf : R0 ×R → R0
as:
⎛
gf t, δ : ⎝1 −
δ
Φα δ − τdτ
0
⎛
1/2 δ
1/2 ⎞⎞−1
δ
⎠⎠
0 t τ2 dτ
×⎝
Bt τK0 xtτ , t τ2 dτ
A
0
⎛
×⎝
k−1 Φαj δ ∞
j0
0
δ
1/2
Φα δ − τ dτ
2
0
⎛ δ
1/2 ⎞⎞
δ
r
1/2
⎠⎠,
i t τ − ri 2
×⎝
dτ Bt τKi xtτ , t τ2 dτ
A
i1
0
0
∀t, δ ∈ R ,
3.5
10
Fixed Point Theory and Applications
provided that the inverse exists on R0 . Then, Property (iii) still holds by replacing their corresponding
constraints on gf by corresponding ones on gf . If, in addition, ∃ε< 1 ∈ R , δ δε ∈ R such
that gh δ < 1 − ε; for all t ∈ R0 then the mapping ff : −h, 0 × Rn × Rm × R0 → R × Rn
defining the state-trajectory solution from any set of admissible initial conditions and all controls
ut ri0 Ki xit , txt − ri being subject to
r δ
i1
Bt τKi xtτ , t τ2 dτ
1/2
ε
≤ δ
0 Φα δ
0
− τ2 dτ
1/2
,
B∞
∀t ∈ R
3.6
is contractive with a unique fixed point, irrespective of the delays, which is 0 ∈ Rn being a globally
asymptotically stable equilibrium point.
Proof. The pointwise difference between two solutions xt and zt of 2.1 subject to
respective piecewise continuous initial conditions ϕx : −h, 0 → Rn and ϕz : −h, 0 → Rn
and respective controls ux , uy ∈ BPC0 R0 , Rn is according to 2.2
xα t − zα t k−1
Φαj t xj0 − zj0 j0
i1
k−1 r ri
j0 i 1
r t
i1
t
Φα t − τAi ϕxj τ − ri − ϕzj τ − ri dτ
0
i τ ϕxj τ − ri − ϕzj τ − ri dτ
Φα t − τA
0
Φα t − τAi xα τ − ri − zα τ − ri dτ
ri
r ri
i0
r ri
i τxα τ − ri − zα τ − ri dτ
Φα t − τA
0
Φα t − τBτux τ − uz τdτ,
t ∈ R0 .
0
3.7
Note from 2.3 that Φαj 0 In /j!; for all j ∈ k − 1 ∪ {0} what is used in the definition of the
metric space M, · ∞ with the supremum metric · ∞
⎧
⎨
M :
⎛
⎞
k−1
φ ∈ PBC0 −h, 0 ∪ R0 , Rn : φ ∈ S φ, u , φ ≡ ⎝ φj ⎠ ∈ BPC0 −h, 0, Rn ,
⎩
j0
∀j ∈ k − 1 ∪ {0}, φu ∈ Mu
⎫
⎬
,
⎭
3.8
Fixed Point Theory and Applications
11
where
Mu : φ ∈ PBC0 R0 , Rn : φ ∈ S0, u, u ∈ BPC0 R0 , Rn ,
3.9
where BPC0 R, Rn is the set of bounded continuous n-vector functions on R. Now, define
P : M → M as the subsequent piecewise bounded continuous function on −h, 0 ∪ R0 ,
which is bounded continuous on R , that is, φ ∈ PBC0 −h, 0, Rn , φ ∈ BC0 R , R n and
satisfies 2.1 on R . One gets for any bounded piecewise continuous solution of 2.1
k−1
Φαj tφj 0 P φ, u t :
r
r
k−1 i
j0 i1
0 τφτdτ
Φα t − τA
0
j0
t
t
i τφj τ − ri dτ Φα t − τA
t
i τφj τ − ri dτ
Φα t − τA
ri
0
Φα t − τBτuφ τdτ.
0
3.10
Note that the supremum metric on −h, 0∪R0 is induced by the supremum norm on −h, 0∪
R0 so that it is then coincident with the supremum norm. Define the truncated φa,b ∈ M as
φa,b τ φτ, τ ∈ a, b and φa,b τ 0, τ ∈ 0, a ∪ b, ∞ ⊂ R0 ; for all a, b> a ∈ a, b ⊆
R0 , for all t ∈ R0 , for all φ ∈ M and note that φa,b : supτ∈a,b φτ φa,b ∞ ≤ φ∞
and φt ∈ M is a simplified notation for the truncated φ ∈ M on 0, ∞. Norms without
subscripts mean, depending on context, vector or correspondingly induced matrix norms as,
for instance, the 2 -vector or induced matrix norms or pointwise values of such norms for
vector or matrix functions in the subsequent developments. Let Mt be the space of truncated
functions φt ∈ M. Note that any truncated solution of 2.1 on any finite interval is always in
M so that one gets for any δ ∈ R from 3.10 in the most general controlled case with control
ut ri0 Ki xt , txt − ri P φ, uφ t δ − P η, uη t δ
δ
k−1 Φαj δφj − ηj Φα δ − τBt τdτ ≤
uφ − uη tδ
t
0
j0
δ
r i t τdτ Φα δ − τA
0
i1
tδ−ri
δ
0 t τdτ φ − ηtδ
Φα δ − τA
0
3.11
12
Fixed Point Theory and Applications
⎛
r δ
k−1
≤ ⎝
Φ
δ
Φα δ − τBt τKi xi,tτ , t τdτφ − ηtδ−ri
αj
j0
i1 0
r δ
i t τdτ Φα δ − τA
φ − ηtδ−ri
i1
3.12
0
⎞
δ
0 t τ Bt τK0 t τ Φα δ − τ A
dτ φ − ηtδ ⎠
0
r δ
k−1
φ
−
η
≤
Φ
δ
Φα δ − τdτ
αj
tδ
j0
i1 0
r 0 0 ×
Ai ∞ B∞ Ki φ − η tδ−ri A0 B∞ K0 φ − η tδ
∞
i1
⎞
⎛
r δ
r k−1
0 ⎠
≤ ⎝
Φα δ − τdτ
Ai ∞ B∞ Ki0 A
0 ∞ B∞ K0
Φαj δ i1 0
j0
i1
× φ − ηtδ ,
3.13
where the property that A0 is constant has been used to rewrite the limits of the involved
integral is the most convenient fashion to simplify the related expressions. Equation 3.13
leads to
φ − ηt δ
≤
1−
δ
0
−1
0
Φα δ − τdτ A
0 ∞ B∞ K0 ∞
⎛
⎞
r δ
r k−1
× ⎝
Φα δ − τdτ
Ai ∞ B∞ Ki0 φ − ηtδ−ri ⎠
Φαj δ ∞
j0
i1 0
i1
≤
1−
δ
0
−1
0
Φα δ − τdτ A
0 ∞ B∞ K0 ∞
⎛
⎞
r δ
r k−1
⎠,
i ∞ B∞ K 0 φ − η
× ⎝
Φα δ − τdτ
A
i ∞
Φαj δ tδ−r1
j0
i1 0
i1
∀δ ∈ R , ∀t ∈ R0 ,
3.14
Fixed Point Theory and Applications
provided that
δ
0
13
0 ∞ B∞ K 0 < 1, since r1 ≤ ri i ∈ r, so that
Φα δ − τdτA
0
φ − ηt
≤
1−
δ
0
−1
0
Φα δ − τdτ A
0 ∞ B∞ K0
⎛
⎞
r δ
r k−1
i ∞ B∞ K 0 φ − ηt−r1 ⎠
× ⎝
Φα δ − τdτ
A
i ∞
Φαj δ j0
i1 0
i1
gh δφ − ηt−r1 ; ∀δ ∈ R , ∀t ∈ R0 .
3.15
Then, the mapping fh : −h, 0 × Rn → R × Rn defining the state trajectory solution from
admissible initial conditions is nonexpansive if gh δ ≤ 1. Furthermore, the state trajectory
solution is globally Lyapunov stable since by taking the trivial solution η ≡ 0 in 3.15, it
follows that any solution φ of 2.1 generated from any set of admissible initial conditions
is uniformly bounded on R0 . If, in addition, gh δ ≤ Kc δ < 1 then it follows also from
3.15 as t → ∞ that any real sequence of the form {vkr1 τ}k∈Z0 ,τ∈0,r1 ∩R0 is a convergent
Cauchy sequence to zero in the metric space M, · ∞ of the solutions of 2.1 under the
class of given initial conditions and controls with the supremum metric · ∞ is complete.
Therefore, a unique fixed point exists on some bounded set of Rn from Banach contraction
principle. Since
lim
Z0 k → ∞,τ∈0,r1 ∩R0
φ − ηk1r τ ≤
1
lim
Z0 k → ∞
Kck δ
φ − ηkr τ,τ∈0,r ∩R 0,
1
1
0
3.16
it follows by taking one of the solutions to be the trivial solution that the only fixed point
is the equilibrium point zero which is a globally asymptotically stable attractor. Property i
has been proven. By zeroing the control and considering the uncontrolled system, one proves
Property i as a particular case of Property iii. Property ii and its particular case Property
iv for the case of controller gains satisfying Ki xit , t∞ ≤ Ki0 < ∞ and Property v are
proved by using similar technical tools to those involved in the above proofs by replacing the
basic inequality 3.13 by
P φ, uφ t − P η, uη t
⎛
1/2
t
r
k−1
2
⎝
≤ Φαj t
Φα t − τ dτ
j0
t−ri
i1
t−r1 ,t
⎛
⎞
t t 2 1/2
1/2
2
⎠
i τ
×⎝
dτ BτKi xτ , τ dτ
A
t−ri
t
t−r1
A0 τ2 dτ
t−ri
1/2
⎞
⎠φ − η
t−r1
,
∀δ ∈ R , ∀t ∈ R0 .
3.17
14
Fixed Point Theory and Applications
If all the delays are zero, it is more convenient to discuss the adhoc solution version of 2.2:
xα t k−1
Φαj txj0 j0
r t
i0
i τxα τdτ Φα t − τA
0
t
Φα t − τBτuτdτ,
t ∈ R0 ,
0
3.18
where Φαj t and Φα t are similar to Φαj t from 2.3-2.4 by replacing A0 → ri0 Ai .
The following result is a counterpart to Theorem 3.2 for the case of absence of delays.
Theorem 3.3. Assume that
1 Φαj t ≤ K0j t; t ∈ R0 , for all j ∈ k − 1 ∪ {0} with max0≤j≤k−1 supt∈R0 K0j t ≤
K 0 < ∞.
2 Φα ∈ L1 R0 , Rn×n with supt∈R0 Φα t ≤ K1 < ∞.
Then, the Caputo delay-free fractional dynamic system 2.1 of real order α has the following properties.
i It is globally stable under a control ut ri0 Ki xit , txt subject to Ki xit , t∞ ≤
i ∞ B∞ K 0 , for all i ∈ r − 1{0}.
Ki0 < ∞, for all i ∈ r − 1{0} if K 1 < 1/ ri0 A
i
If, in addition, K0j t → 0 as t → ∞; for all j ∈ k − 1 ∪ {0} then the system is globally
asymptotically stable to the zero equilibrium point.
i ∞ B∞ r K 0 ii Property (i) holds if K0 t K00 is constant if K 1 < 1/ ri0 A
i1 i
where Φαj t and Φα tare similar to Φαj t from 2.3-(2.4) by replacing A0 →
ri0 Ai BK00 .
Proof. i One gets, after taking norms in 3.18, that
r t
k−1
0
xα t ≤ Φαj txj0 Φα t − τdτ sup xα τ
Ai BKi
∞
i0
j0
0
τ∈0,t
≤
k−1
r t
0
i BK
K0j txj0 Φα t − τdτ sup xα τ
A
i
j0
≤
k−1
∞
i0
0
3.19
τ∈0,t
r 0
i ∞ BK
sup xα τ
K0j txj0 K 1
A
i
j0
τ∈0,t
i0
⎞
k−1 r 0
i ∞ BK
≤ K 0 ⎝ xj0 ⎠ K 1
sup xα τ,
A
⎛
i
j0
i0
τ∈0,t
t ∈ R0 ,
3.20
Fixed Point Theory and Applications
15
with supτ∈0,t xα τ xα t ≤ xα ∞ . Thus, one gets from 3.20
xα t ≤ sup xα τ
τ∈0,t
⎞
−1 ⎛
r k−1 0
1 − K1
K 0 ⎝ xj0 ⎠ ≤ K 2 < ∞,
Ai ∞ B∞ Ki
≤
i0
t ∈ R0 .
j0
3.21
i ∞ B∞ K 0 < 1, where K 2 : sup
Since K 1 ri0 A
t∈R0 xα t < ∞. As a result, the
i
Caputo fractional system of real order α is globally stable under zero delays since any state
trajectory solution generated from any admissible initial conditions is bounded for all time.
The proof of Property ii is similar to that of i under the modified constraints. Now, assume
that if, in addition, K0j t → 0 as t → ∞; for all j ∈ k − 1 ∪ {0}, then
⎛ ⎡
⎤⎞
k−1
r i ∞ B∞ K 0 K 1 ⎦⎠K 2 ,
xα t ≤ min⎝1, ⎣ K0j t A
i
j0
3.22
i0
so that
⎡
⎤⎞
k−1
r i B∞ K 0 K 1 ⎦⎠K 2
lim supxα t ≤ min⎝1, lim sup⎣ K0j t A
i
⎛
t→∞
t→∞
j0
i0
∞
3.23
r 0
Ai B∞ Ki K 1 K 2 < K 2 .
∞
i0
i ∞ BK 0 K 1 < 1. Equation
Since limt → ∞ K0j t 0; for all j ∈ k − 1 ∪ {0} and ri0 A
i
3.23 implies that the supremum xα t on R0 is reached by the first time at some finite
time t0 ∈ R0 . Thus, one gets from 3.19 that
lim xα t ≤ lim
t→∞
t→∞
sup xα τ
τ∈t0 ,t
⎞
−1 ⎛
r k−1 ⎝ xαjt0 lim K0j t − t0 ⎠
1 − K1
Ai ∞ B∞ Ki0
≤
i0
j0
t→∞
0
3.24
provided that K0j t → 0 as t → ∞; for all j ∈ k − 1 ∪ {0} which proves the global asymptotic
stability. Property i has been proven. Property ii follows in a similar way under the
i ∞ B∞ r K 0 , Φαj t, Φα t being
modified constraints K0 t K00 K 1 < 1/ ri0 A
i1 i
similar to Φαj t from 2.3-2.4 by replacing A0 → ri0 Ai BK00 .
16
Fixed Point Theory and Applications
The subsequent stability result is based on a transformation of the matrix A0 to its
diagonal Jordan form which allows an easy computation of the 2 -matrix measure of its
diagonal part.
Theorem 3.4. Assume that JA0 JA0d JA0 is the Jordan form of A0 with JA0d being diagonal and
JA0 being off-diagonal such that the above decomposition is unique with A0 T −1 JA0 T where T is a
unique nonsingular transformation matrix. The following properties hold.
i The Caputo fractional differential system 2.1 is globally Lyapunov stable independent of
the delays if the 2 -matrix measure of JA0d is negative, that is,
1
1/α
∗1/α
1/α
λ
:
J
max
< 0,
μ2 JA1/α
J
Re
λ
max
A0d
A0d
k
0d
2
k∈n
∀λk ∈ σ JA1/α
,
0d
3.25
where σJA1/α
is the spectrum of JA1/α
and, furthermore,
0d
0d
1 −1
!
!
A0 T, 1 T −1 A1 T, 1 T −1 A2 T, . . . , 1 T −1 Ar T ≤ !μ2 JA0d !1/α
T
J
β
β
β
β
0
1
2
r
3.26
2
for some set of numbers βi ∈ R i ∈ p ∪ {0} satisfying ri0 βi2 1. The fractional system is globally
< 0, and
asymptotically Lyapunov stable for one such set of real numbers if μ2 JA1/α
0d
1 −1
!
!1/α
1 −1
1 −1
1 −1
!
! .
β T JA0 T, β T A1 T, β T A2 T, . . . , β T Ar T < μ2 JA0d 0
1
2
r
3.27
2
ii A necessary condition for μ2 JA1/α
< 0 is that A0 should be a stability matrix with
0d
| argλ| < απ/2; for all λ ∈ σA0 . Such a condition holds directly if α > 2ϕ/π where
−ϕ, ϕ ⊆ −π/2, π/2 is the symmetric maximum real interval containing the arguments of all
λ ∈ σA0 . It also holds, in particular, if A0 is a stability matrix and α∈ R ≥ 1.
Proof. It follows by using the matrix similarity transformation A0 T −1 JA0 T T −1 JA0d JA0 T
and using the homogeneous transformed Caputo fractional differential system from 2.1
C
r
α
α
D0
z t C D0
T x t Ai T xt − hi ⇐⇒
i0
C
p
r
α
D0
x t T −1 Ai T xt − hi T −1 A0 T xt T −1 Ai T xt − hi i0
T −1 JA0d T xt i1
r
i0
T −1 Ai T xt − hi ,
3.28
Fixed Point Theory and Applications
17
where zt T xt; for all t ∈ R0 , h0 0 plays the role of an additional delay. A0 JA0
and Ai Ai i ∈ r by noting also that since JA0d JA∗ 0d is diagonal with real eigenvalues by
construction, one has
! ! !! 1
!! !
!
!
!
1/α !
1/α
1/α ∗ !
1/α !
!
λ
J
J
J
J
!λ
!
!μ2 A0d ! ! max A0d
max
!
A
A
0d
0d
2
! !
!
!
! !
! !
!
!
! !
1/α
1/α
λ
!Re λmax JA1/α
λ
J
A
!
!Re
!
!
!Re
A
0d
max
max
0d
0d
3.29
!
!
!μ2 JA0d !1/α .
Then, the remaining part of the proof of Property i is similar to that quoted as a sufficient
condition for stability independent of the delays in 27. Property i has been proven.
To prove property ii, note that
1
1/α
∗1/α
1/α
∗
λ
≥
J
J
< 0 so that
J
J
if
μ
λmax JA1/α
max
A
2
0d
A0d
A0d
A0d
0d
2
1
1
1/α
λmax JA1/α
≥ λmax JA0d JA∗ 0d
0 > μ2 JA1/α
JA∗1/α
0d
0d
0d
2
2
max Re λ : λ ∈ σ JA1/α
0d
≥
3.30
1/α
1
λmax JA0d JA∗ 0d
max Re λ1/α : λ ∈ σA0 ≡ σJA0d .
2
Thus, A0 is a stability matrix if and only if argλ ∈ −θ1 , θ2 ⊆ −π/2, π/2; for all λ ∈
σA0 . If also JA1/α
is a stability matrix with μ2 JA1/α
< 0, then 1/α argλ ∈ −θ1 /α, θ2 /α ⊆
0d
0d
−π/2, π/2 so that | argλ| < απ/2; for all λ ∈ σA0 , which is also a necessary condition
for the fulfillment of the sufficiency-type condition 3.27 for global asymptotic stability of
2.1, which implies the stability of the matrix JA1/α
with the further constraint that μ2 JA1/α
<
0d
0d
0.
It follows after inspecting the solution 2.2, subject to 2.3-2.4, and Lemma 2.2
that the stability properties for arbitrary admissible initial conditions or admissible bounded
controls are lost in general if α ≥ 2. However, it turns out that the boundedness of the
solutions can be obtained by zeroing some of the functions of initial conditions. Note, in
particular that ϕj is required to be identically zero on its definition domain for k − 1 ∪ {0} j < α − 1α ≥ 2 in order that the Γ- functions will be positive note that Γx is discontinuous
at zero with an asymptote to −∞ as x → 0− . This observation combined with Theorem 3.4
leads to the following direct result which is not a global stability result.
Theorem 3.5. Assume that α ≥ 2 and the constraint 3.27 holds with negative matrix measure
. Assume also that ϕj : −h, 0 → Rn are any admissible functions of initial conditions for
μ2 JA1/α
0d
k − 1 ∪ {0} j ≥ α − 1 while they are identically zero if k − 1 ∪ {0} j < α − 1. Then, the unforced
solutions are uniformly bounded for all time independent of the delays. Also, the total solutions for
admissible bounded controls are also bounded for all time independent of the delays.
18
Fixed Point Theory and Applications
Acknowledgments
The author is grateful to the Spanish Ministry of Education for its partial support of this paper
through Grant DPI2009-07197. He is also grateful to the Basque Government for its support
through Grants IT378-10 and SAIOTEK S-PE09UN12.
References
1 A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo, Theory and Applications of Fractional Differential
Equations, vol. 204 of North-Holland Mathematics Studies, Elsevier Science B.V., Amsterdam, The
Netherlands, 2006.
2 Z. Odibat, “Approximations of fractional integrals and Caputo fractional derivatives,” Applied
Mathematics and Computation, vol. 178, no. 2, pp. 527–533, 2006.
3 Y. Luchko and R. Gorenflo, “An operational method for solving fractional differential equations with
the Caputo derivatives,” Acta Mathematica Vietnamica, vol. 24, no. 2, pp. 207–233, 1999.
4 Y. F. Luchko and H. M. Srivastava, “The exact solution of certain differential equations of fractional
order by using operational calculus,” Computers & Mathematics with Applications, vol. 29, no. 8, pp.
73–85, 1995.
5 R. C. Soni and D. Singh, “Certain fractional derivative formulae involving the product of a general
class of polynomials and the multivariable H-function,” Proceedings Indian Academy of Sciences.
Mathematical Sciences, vol. 112, no. 4, pp. 551–562, 2002.
6 R. K. Raina, “A note on the fractional derivatives of a general system of polynomials,” Indian Journal
of Pure and Applied Mathematics, vol. 16, no. 7, pp. 770–774, 1985.
7 A. Babakhani and V. Daftardar-Gejji, “On calculus of local fractional derivatives,” Journal of
Mathematical Analysis and Applications, vol. 270, no. 1, pp. 66–79, 2002.
8 A. Ashyralyev, “A note on fractional derivatives and fractional powers of operators,” Journal of
Mathematical Analysis and Applications, vol. 357, no. 1, pp. 232–236, 2009.
9 B. Baeumer, M. M. Meerschaert, and J. Mortensen, “Space-time fractional derivative operators,”
Proceedings of the American Mathematical Society, vol. 133, no. 8, pp. 2273–2282, 2005.
10 B. Ahmad and S. Sivasundaram, “On four-point nonlocal boundary value problems of nonlinear
integro-differential equations of fractional order,” Applied Mathematics and Computation, vol. 217, no.
2, pp. 480–487, 2010.
11 F. Riewe, “Mechanics with fractional derivatives,” Physical Review E, vol. 55, no. 3, part B, pp. 3581–
3592, 1997.
12 A. M. A. El- Sayed and M. Gaber, “On the finite Caputo and finite Riesz derivatives,” Electronic Journal
of Theoretic Physics, vol. 3, no. 12, pp. 81–95, 2006.
13 R. Almeida, A. B. Malinowska, and D. F. M. Torres, “A fractional calculus of variations for multiple
integrals with application to vibrating string,” Journal of Mathematical Physics, vol. 51, no. 3, Article ID
033503, 12 pages, 2010.
14 I. Schäfer and S. Kempfle, “Impulse responses of fractional damped systems,” Nonlinear Dynamics,
vol. 38, no. 1–4, pp. 61–68, 2004.
15 F. J. Molz III, G. J. Fix III, and S. Lu, “A physical interpretation for the fractional derivative in Levy
diffusion,” Applied Mathematics Letters, vol. 15, no. 7, pp. 907–911, 2002.
16 M. Ilic, I. W. Turner, F. Liu, and V. Anh, “Analytical and numerical solutions of a one-dimensional
fractional-in-space diffusion equation in a composite medium,” Applied Mathematics and Computation,
vol. 216, no. 8, pp. 2248–2262, 2010.
17 M. D. Ortigueira, “On the initial conditions in continuous-time fractional linear systems,” Signal
Processing, vol. 83, no. 11, pp. 2301–2309, 2003.
18 J. Lancis, T. Szoplik, E. Tajahuerce, V. Climent, and M. Fernández-Alonso, “Fractional derivative
Fourier plane filter for phase-change visualization,” Applied Optics, vol. 36, no. 29, pp. 7461–7464,
1997.
19 E. Scalas, R. Gorenflo, and F. Mainardi, “Fractional calculus and continuous-time finance,” Physica A,
vol. 284, no. 1–4, pp. 376–384, 2000.
20 S. Das, Functional Fractional Calculus for System Identification and Controls, Springer, Berlin, Germany,
2008.
Fixed Point Theory and Applications
19
21 J. A. Tenreiro Machado, M. F. Silva, R. S. Barbosa et al., “Some applications of fractional calculus in
engineering,” Mathematical Problems in Engineering, vol. 2010, Article ID 639801, 34 pages, 2010.
22 J. Sabatier, O. P. Agrawal, and J. A. Tenreiro Machad, Eds., Advances in Fractional Calculus: Theoretical
Developments and Applications in Physics and Engineering, Springer, Dordrecht, The Netherlands, 2007.
23 L. A. Zadeh and C. A. Desoer, Linear Systems Theory: The State Space Approach, McGraw- Hill, New
York, NY, USA, 1963.
24 M. De la Sen, “Application of the nonperiodic sampling to the identifiability and model matching
problems in dynamic systems,” International Journal of Systems Science, vol. 14, no. 4, pp. 367–383,
1983.
25 M. De la Sen and N. Luo, “On the uniform exponential stability of a wide class of linear time-delay
systems,” Journal of Mathematical Analysis and Applications, vol. 289, no. 2, pp. 456–476, 2004.
26 M. De la Sen, “Stability of impulsive time-varying systems and compactness of the operators mapping
the input space into the state and output spaces,” Journal of Mathematical Analysis and Applications, vol.
321, no. 2, pp. 621–650, 2006.
27 J. Chen, D. M. Xu, and B. Shafai, “On sufficient conditions for stability independent of delay,” IEEE
Transactions on Automatic Control, vol. 40, no. 9, pp. 1675–1680, 1995.
28 M. De la Sen, “On the reachability and controllability of positive linear time-invariant dynamic
systems with internal and external incommensurate point delays,” The Rocky Mountain Journal of
Mathematics, vol. 40, no. 1, pp. 177–207, 2010.
29 M. De la Sen, “A method for general design of positive real functions,” IEEE Transactions on Circuits
and Systems I, vol. 45, no. 7, pp. 764–769, 1998.
30 M. De la Sen, “Preserving positive realness through discretization,” Positivity, vol. 6, no. 1, pp. 31–45,
2002.
31 M. De la Sen, “On positivity of singular regular linear time-delay time-invariant systems subject to
multiple internal and external incommensurate point delays,” Applied Mathematics and Computation,
vol. 190, no. 1, pp. 382–401, 2007.
32 P. N. Dutta and B. S. Choudhury, “A generalisation of contraction principle in metric spaces,” Fixed
Point Theory and Applications, vol. 2008, Article ID 406368, 8 pages, 2008.
33 M. Arav, F. E. C. Santos, S. Reich, and A. J. Zaslavski, “A note on asymptotic contractions,” Fixed Point
Theory and Applications, vol. 2007, Article ID 39465, 6 pages, 2007.
34 Y. J. Cho, S. M. Kang, and X. Qin, “Convergence theorems of fixed points for a finite family of
nonexpansive mappings in Banach spaces,” Fixed Point Theory and Applications, vol. 2008, Article ID
856145, 7 pages, 2008.
35 S.-M. Jung and J. M. Rassias, “A fixed point approach to the stability of a functional equation of the
spiral of Theodorus,” Fixed Point Theory and Applications, vol. 2008, Article ID 945010, 7 pages, 2008.
36 L. Cădariu and V. Radu, “Fixed point methods for the generalized stability of functional equations in
a single variable,” Fixed Point Theory and Applications, vol. 2008, Article ID 749392, 15 pages, 2008.
Download