Research Article | Open Access

Volume 2009 |Article ID 324273 | https://doi.org/10.1155/2009/324273

Bogdan Sasu, "On Exponential Dichotomy of Variational Difference Equations", Discrete Dynamics in Nature and Society, vol. 2009, Article ID 324273, 18 pages, 2009. https://doi.org/10.1155/2009/324273

On Exponential Dichotomy of Variational Difference Equations

Revised08 Sep 2009
Accepted15 Oct 2009
Published09 Nov 2009

Abstract

We give very general characterizations for uniform exponential dichotomy of variational difference equations. We propose a new method in the study of exponential dichotomy based on the convergence of some associated series of nonlinear trajectories. The obtained results are applied to difference equations and also to linear skew-product flows.

1. Introduction

The stability theory of evolution equations received a remarkable contribution when Zabczyk proved the following result (see [1, Theorem ]).

Theorem 1.1. Let be a Banach space and let . If is a continuous strictly increasing convex function with such that for every there is such that then the spectral radius is less than .

The original proof was based on the Banach-Steinhaus Theorem and on the construction of an auxiliary sequence space associated with the function . As a consequence of this result it follows that a semigroup of linear operators on a Banach space is exponentially stable (i.e., there are such that , for all ) if and only if there is a continuous strictly increasing convex function with such that for every there is such that

Thus it was pointed out, for the first time in literature, that an asymptotic property, like stability, can be deduced from the convergence of a series of nonlinear trajectories.

A notable characterization for the stability of difference equations was obtained by Przyłuski and Rolewicz (see [2, Theorems and ]), where it is proved that a system of difference equations

on a Banach space is uniformly exponentially stable if and only if there is such that for every

This result can be considered the discrete-time counterpart of the stability theorem due to Datko (see [3, Theorem and Remark ]).

In recent years, a significant progress was made in the study of the qualitative properties of difference equations (see [426]). Stability of difference equations was studied from various perspectives, among which we mention the input-output techniques, the property that the trajectories lie in a certain space, the freezing method, the control type approaches (see [1419]). The discrete input-output methods were extended to the case of exponential expansiveness (see [23]) as well as for uniform and exponential dichotomy (see [47, 9, 11, 12, 2022, 25, 27]) and exponential trichotomy (see [8, 9, 24]).

Exponential dichotomy plays a very important role in the study of the asymptotic behavior of time-varying equations. Starting with classical works in this field (see [2830]) many research studies have been done to define, characterize and extend diverse concepts of exponential dichotomy for various evolution equations (see [412, 2022, 25, 27, 28, 31, 32]). In the last decades important results on exponential dichotomy in finite dimensional spaces were extended for the infinite dimensional case and valuable applications were provided (see [412, 27, 28, 31, 32]). The input-output methods or the so-called Perron type techniques were intensively used in the study of exponential dichotomy, the main idea being to associate with an evolution equation a linear control system and to characterize the existence of exponential dichotomy of the initial equation in terms of the solvability of the associated control system between various Banach sequence or function spaces (see [47, 9, 11, 12, 2022, 25, 27, 28]). When one studies an asymptotic property via input-output methods, the solvability condition relative to the associated linear control system is expressed in terms of the upper boundedness of an associated linear operator or of a family of linear operators, and therefore the arguments involved are strongly connected with the qualitative theory of linear operators. In contrast with the theorems of Perron type, the Zabczyk and Przyluski-Rolewicz type conditions are more direct and the methods are not necessarily reduced only to the behavior of some associated linear operators. Recently, these techniques were applied to the study of exponential stability in [33, 34] and respectively, for exponential instability in [35].

Up to now, there is no Zabczyk-type result in literature concerning the general asymptotic property described by exponential dichotomy. This is motivated by the fact that due to the splitting on each fiber required by any dichotomy property (see e.g., [22, 27, 31]) the results concerning exponential stability and instability (see [3335]) cannot be applied in order to deduce conditions for the existence of exponential dichotomy, because, generally, the dichotomy projections are not constant. In this framework, the natural question arises whether one can provide a characterization of Zabczyk type such that this is equivalent with the decomposition of the main space into a direct sum of two closed subspaces such that the behavior on these subspaces is modelled by exponential decay backward and forward in time.

The aim of this paper is to provide a complete resolution to this problem. We propose a new method in the study of exponential dichotomy of evolution equations and treat directly the case of variational difference equations. We do not only answer the above questions but also propose an approach at a greater level of generality than ever before. First, using constructive methods, we deduce necessary and sufficient conditions of nonlinear type for the existence of exponential dichotomy of variational difference equations, based on convergence conditions of some associated series. After that, the main results are applied to the study of the existence of exponential dichotomy for two main classes of systems: the difference equations and the linear skew-product flows. We show that the stability theorem of Zabczyk and also the Przyluski-Rolewicz theorem can be extended to the general case of exponential dichotomy and that the convergence of certain series of nonlinear trajectories may provide interesting information concerning the asymptotic behavior of the initial system.

2. Preliminary Results

Let be a real or complex Banach space, let be a metric space, and let . The norm on and on , the Banach algebra of all bounded linear operators on , will be denoted by . Denote by the identity operator on and by the set of all mappings with .

Throughout the paper denotes the set of real integers, is the set of all , and is the set of all , .

Definition 2.1. A mapping is called a discrete flow on if , for all and , for all .

Let . We consider the linear system of variational difference equations:

The discrete cocycle associated with the system () is

Remark 2.2. One has , for all .

Definition 2.3. The system () is said to be uniformly exponentially dichotomic if there are a family of projections and two constants and such that(i), for all ;(ii), for all , all and all ;(iii) for all , all and all ;(iv)for every , the restriction is an isomorphism.

Remark 2.4. (i) If for every ,, then from Definition 2.3 we obtain the concept of uniform exponential stability.
(ii) If, in Definition 2.3, for every ,, then we obtain the concept of uniform exponential expansiveness.

Remark 2.5. A remarkable progress in the study of the asymptotic behavior of variational equations modelled by cocycles over flows was done due to the work of Pliss and Sell (see [32]). The authors presented a complete study concerning significant robustness properties of linear skew-product semiflows on , where is a Banach space and is a metric space. For important applications we also refer to the book of Sell and You (see [31]). In [32, Lemma ] (see item (3)), the authors obtained the structure of the dichotomy projections of a linear skew-product semiflow on , where is an invariant set in and also proved the invariance properties of the stable set and unstable set with respect to the linear skew-product flow (see item (4)). The structure of the dichotomy projections represents an important step in the study of an asymptotic property like dichotomy or trichotomy, because this anticipates the expectations concerning the decomposition of the central space at every point.

In what follows, as consequences of Definition 2.3, we will deduce the structure of the dichotomy projections of a system of variational difference equations, using certain invariant subspaces of the space . Compared with [32] where is deduced a global decomposition of the central space , we will consider a decomposition of the space via each fiber determined by the points of the space . For the sake of clarity we will present short proofs of these auxiliary results.

For every , we denote by the linear space of all sequences with the property that

For every we define the stable subspace

and the unstable subspace

Remark 2.6. For every , the mapping is called the trajectory determined by and the mapping with is called a negative continuation started at .

Lemma 2.7. The following assertions hold:(i), for all ;(ii), for all .

Proof. The assertion (i) is immediate. To prove (ii), let and let . Then, there is with and . Let Then , for all , . Taking , it follows that and . This shows that .
Conversely, let . Then, there is with and . Let and let , . An easy computation shows that and . This implies that , so .

Lemma 2.8. If the system () is uniformly exponentially dichotomic with respect to the family of projections , then .

Proof. Let be given by Definition 2.3 and let . For every and every we have that which implies that Let be such that . Setting and , from relation (2.7) it follows that , for all . This implies that , for all , so , for all and the proof is complete.

Lemma 2.9. If the system () is uniformly exponentially dichotomic with respect to the families of projections , then

Proof. Let be given by Definition 2.3. From Lemma 2.8 we have that . Let . Obviously, . Conversely, if , then and we successively deduce that For in (2.9) it follows that , so .
Let . Since the system () is uniformly exponentially dichotomic, for every , the restriction is an isomorphism. We define , and using the inequality (iii) from Definition 2.3 it follows that , for all . An easy computation shows that . Then, using the above estimation we obtain that . Conversely, let . Then, there is with and . From
we deduce that , so .

Remark 2.10. According to Lemma 2.9 we conclude that for variational difference equations, the family of dichotomy projections is uniquely determined.

3. Exponential Dichotomy of Variational Difference Equations

Let be a real or complex Banach space, let be a metric space and let be a discrete flow on .

Let . We consider the linear system of variational difference equations:

In all what follows, we denote by the set of all continuous nondecreasing functions with and , for all ,

Theorem 3.1. If there are and such that then there are such that

Proof. Let and let .
Let and let with . For every we have that
Since is nondecreasing, from relation (3.3) we deduce that Since from relation (3.4), it follows that . In addition, we observe that , for all . Then, setting and taking into account that does not depend on or we obtain that Let be such that
Let and let with . Using relation (3.5) and Lemma 2.7(i) we deduce that
which implies that From relations (3.6) and (3.8) it necessarily follows that Taking into account that does not depend on or it follows that Let and let . Let and let . Then, there are and such that . Using relations (3.5) and (3.10) and Lemma 2.7(i) we successively deduce that and the proof is complete.

Theorem 3.2. If there are and such that(i), for all and all ;(ii), for all and all , then the following assertions hold:(i)for every , the restriction is an isomorphism;(ii)there are such that

Proof. (i) Let . From Lemma 2.7(ii) we have that the restriction is correctly defined and it is surjective. To prove the injectivity, let . Then, from our first hypothesis, we deduce that . Since , this implies that , and so is also injective.
(ii) Let and let .
Let and let with . From (i) we have that , for all .
Let . Then
We set and since is nondecreasing, from relation (3.13) we obtain that This inequality implies that . Since does not depend on or we deduce that Let be such that Let and let with . Using Lemma 2.7 and relation (3.15) we have that Then, we obtain that From relations (3.16) and (3.18) it follows that . Since does not depend on or we deduce that Let and let . Let and let . Then, there are and such that . From relations (3.15) and (3.19) and using Lemma 2.7 we have that

The main result of this section is the following theorem.

Theorem 3.3. The system () is uniformly exponentially dichotomic if and only if , for all and there are and such that the following assertions hold:(i), for all and all ;(ii), for all and all ;(iii), for all and all .

Proof. Necessity
Let be the family of projections and let be two constants given by Definition 2.3. From Lemma 2.9 we have that and , so , for all .
Taking , it is easy to observe that the inequalities (i)–(iii) hold for .Sufficiency
From Theorems 3.1 and 3.2 we have that there are such that From relations (3.21) and (3.22) it follows that
Step 1. We prove that is closed, for all .Let and let with as . For every we have that For in (3.24), since is continuous, we deduce that which implies that From (3.26) we obtain that , as . In particular, there is such that , for all . Since is nondecreasing it follows that , for all . This implies that , so .Step 2. We show that is closed, for all .Let and let with as . Then, for every there is with and .
It is easy to see that , for every and every . Then, from relation (3.22) we have that
From relation (3.27) we deduce that for every , the sequence is convergent. Taking from , for all , it follows that . Moreover Let . For in (3.27) we have that which implies that Since , from relation (3.31), we obtain that , and so is closed.
According to our hypothesis, relation (3.23), and Steps 1 and 2 it follows that
Then, for every there is a projection with and . From Lemma 2.7 we have that , for all . Finally, from relations (3.21) and (3.22) and Theorem 3.2(i) we conclude that the system () is uniformly exponentially dichotomic.

Remark 3.4. The proof of the sufficiency part of Theorem 3.3 shows that conditions (i)–(iii) imply for each the closure of the subspaces and as well as the fact that at every point , their intersection contains only the zero vector, which are specific properties of the dichotomic behavior. These facts together with hypothesis , for all led to the existence of the family of projections.

Corollary 3.5. The system () is uniformly exponentially dichotomic if and only if , for all and there are and such that(i), for all and all ;(ii), for all and all ;(iii), for all and all .

Proof. This immediately follows from Theorem 3.3 for .

Remark 3.6. Generally, the necessity part of Theorem 3.3 does not hold for any function . More exactly, if () is uniformly exponentially dichotomic and is an arbitrary function it does not follow that all the conditions (i)–(iii) are fulfilled. This fact is illustrated by the following example.

Example 3.7. Let be a Banach space and let , which is a Banach space with respect to the norm . We consider the operator Let be a metric space and let be a discrete flow on . For every , let . The discrete cocycle associated with the system () is It is easy to see that the system () is uniformly exponentially dichotomic and and, respectively, We consider the function and it is obvious that . Let and let . Then, there is such that . From relation (3.34) we deduce that Let be such that , for all . Then, we have that It follows that which shows that relation (i) does not hold, even if () is uniformly exponentially dichotomic.

4. Consequences for Two Classes of Evolution Equations

In what follows, by applying the main results from the previous section we will deduce characterizations of Zabczyk type and, respectively, of Przyluski-Rolewicz type for the property of uniform exponential dichotomy for two classes of evolution equations: the difference equations and the linear skew-product flows.

4.1. The Case of Difference Equations

First, we will apply the main results in order to deduce characterizations of uniform exponential dichotomy of difference equations in terms of the convergence of some associated series of nonlinear trajectories.

Let be a real or complex Banach space and let denote the identity operator on . Let .

Let . We consider the linear system of difference equations:

Let and let be the discrete evolution operator associated with (), that is,

Remark 4.1. One has , for all .

Definition 4.2. The system () is said to be uniformly exponentially dichotomic if there are a family of projections and two constants such that the following properties are satisfied:(i), for all ;(ii), for all and all ;(iii), for all and all ;(iv)for every , the restriction is an isomorphism.

For every we denote by the linear space of all sequences with the property

For every , we consider the stable subspace

and the unstable subspace

We denote by the set of all continuous nondecreasing functions with and , for all .

As an application of the results from the previous section, we obtain the folowing.

Corollary 4.3. The system () is uniformly exponentially dichotomic if and only if , for all and there are and such that the following assertions hold:(i), for all and all ;(ii), for all and all ;(iii), for all and all .

Proof. Let , let be the Euclidean metric on and let , . We have that is a discrete flow on . We observe that Since by applying Theorem 3.3 we obtain the conclusion.

Remark 4.4. Theorem 4.12 is a Zabzcyk type theorem for the case of exponential dichotomy.

Corollary 4.5. The system () is uniformly exponentially dichotomic if and only if , for all and there are and such that the following assertions hold:(i), for all and all ;(ii), for all and all ;(iii), for all and all .

Proof. This follows from Corollary 4.3 for .

Remark 4.6. Corollary 4.5 shows that the characterizations of Przyluski-Rolewicz type for uniform exponential stability can be extended to the case of uniform exponential dichotomy.

4.2. The Case of Linear Skew-Product Flows

In what follows, by applying the results from the third section we obtain necessary and sufficient conditions of Zabczyk type for the study of the existence of exponential dichotomy of linear skew-product flows.

Let be a real or complex Banach space and let be the identity operator on . Let be a metric space and let .

Definition 4.7. A continuous mapping is called a flow on if and , for all .

Definition 4.8. A pair is called a linear skew-product flow on if is a flow on and satisfies the following conditions:(i), for all ;(ii), for all (the cocycle identity);(iii)there are and such that , for all .

For examples of skew-product flows we refer, for example, to [27, 3135].

Remark 4.9. If is a linear skew-product flow on , then one associates with the linear system of variational difference equations: The discrete cocycle associated with the system () is , for all .

Definition 4.10. A linear skew-product flow is said to be uniformly exponentially dichotomic if there exist a family and two constants , such that the following properties hold:(i), for all ;(ii), for all , all and all ;(iii), for all , all and all ;(iv)for every the operator is an isomorphism.

Let be a linear skew-product flow on . For every we denote by the linear space of all functions with

For every we consider the stable subspace

and the unstable subspace

Proposition 4.11. Let . If and are the stable and the unstable subspaces corresponding to the system (), then

Proof. The inclusions and are obvious and the inclusion is immediate using the property (iii) from Definition 4.8.
Let and let with and . We consider the function
It is easy to see that and . This implies that , and so .

The connection between the uniform exponential dichotomy of a linear skew-product flow and the uniform exponential dichotomy of the variational difference equation () is given by the following theorem. For the proof we refer to [27, Theorem ].

Theorem 4.12. Let be a linear skew-product flow on and let () be the linear system of variational difference equations associated with . Then, is uniformly exponentially dichotomic if and only if the system () is uniformly exponentially dichotomic.

We denote by the set of all continuous nondecreasing functions with and , for all .

Corollary 4.13. Let be a linear skew-product flow on . Then is uniformly exponentially dichotomic if and only if , for all and there are and such that the following assertions hold:(i), for all and all ;(ii), for all and all ;(iii), for all and all .

Proof. This proof follows from Theorem 3.3, Proposition 4.11 and Theorem 4.12.

Corollary 4.14. Let be a linear skew-product flow on . Then is uniformly exponentially dichotomic if and only if , for all and there are and such that(i), for all and all ;(ii), for all and all ;(iii), for all and all .

Proof. This follows from Corollary 4.13 for .

Acknowledgment

The author wishes to express his special thanks to the referees for thoroughly reading of the paper and for the very helpful comments and suggestions, which led to the improvement of the paper. This work is supported by the Exploratory Research Grants PN2 ID 1081 no. 550/2009 and PN2 ID 1080 no. 508/2009.

References

1. J. Zabczyk, “Remarks on the control of discrete-time distributed parameter systems,” SIAM Journal on Control and Optimization, vol. 12, pp. 721–735, 1974.
2. K. M. Przyłuski and S. Rolewicz, “On stability of linear time-varying infinite-dimensional discrete-time systems,” Systems & Control Letters, vol. 4, no. 5, pp. 307–315, 1984.
3. R. Datko, “Uniform asymptotic stability of evolutionary processes in a Banach space,” SIAM Journal on Mathematical Analysis, vol. 3, pp. 428–445, 1973.
4. L. Berezansky and E. Braverman, “On Bohl-Perron type theorems for linear difference equations,” Functional Differential Equations, vol. 11, no. 1-2, pp. 19–28, 2004.
5. L. Berezansky and E. Braverman, “On exponential dichotomy, Bohl-Perron type theorems and stability of difference equations,” Journal of Mathematical Analysis and Applications, vol. 304, no. 2, pp. 511–530, 2005.
6. F. Cardoso and C. Cuevas, “Exponential dichotomy and boundedness for retarded functional difference equations,” Journal of Difference Equations and Applications, vol. 15, no. 3, pp. 261–290, 2009.
7. C. Cuevas and C. Vidal, “Discrete dichotomies and asymptotic behavior for abstract retarded functional difference equations in phase space,” Journal of Difference Equations and Applications, vol. 8, no. 7, pp. 603–640, 2002.
8. C. Cuevas and C. Vidal, “Weighted exponential trichotomy of linear difference equations,” Dynamics of Continuous, Discrete & Impulsive Systems. Series A, vol. 15, no. 3, pp. 353–379, 2008.
9. S. Elaydi and K. Janglajew, “Dichotomy and trichotomy of difference equations,” Journal of Difference Equations and Applications, vol. 3, no. 5-6, pp. 417–448, 1998.
10. S. Elaydi, An Introduction to Difference Equations, Undergraduate Texts in Mathematics, Springer, New York, NY, USA, 3rd edition, 2005. View at: MathSciNet
11. N. T. Huy and N. Van Minh, “Exponential dichotomy of difference equations and applications to evolution equations on the half-line,” Computers & Mathematics with Applications, vol. 42, no. 3–5, pp. 301–311, 2001.
12. N. T. Huy and V. T. N. Ha, “Exponential dichotomy of difference equations in ${l}^{p}$-phase spaces on the half-line,” Advances in Difference Equations, vol. 2006, Article ID 58453, 14 pages, 2006. View at: Publisher Site | Google Scholar | MathSciNet
13. V. L. Kocić and G. Ladas, Global Behavior of Nonlinear Difference Equations of Higher Order with Applications, vol. 256 of Mathematics and Its Applications, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1993. View at: MathSciNet
14. R. Medina, “Absolute stability of discrete-time systems with delay,” Advances in Difference Equations, vol. 2008, Article ID 396504, 14 pages, 2008. View at: Publisher Site | Google Scholar | MathSciNet
15. R. Medina and M. Pituk, “Asymptotic behavior of a linear difference equation with continuous time,” Periodica Mathematica Hungarica, vol. 56, no. 1, pp. 97–104, 2008. View at: Publisher Site | Google Scholar | MathSciNet
16. R. Medina, “Global stabilization of non-linear discrete-time systems by linear feedback,” IMA Journal of Mathematical Control and Information, vol. 25, no. 3, pp. 341–351, 2008.
17. M. Pituk, “A criterion for the exponential stability of linear difference equations,” Applied Mathematics Letters, vol. 17, no. 7, pp. 779–783, 2004.
18. B. Sasu and A. L. Sasu, “Stability and stabilizability for linear systems of difference equations,” Journal of Difference Equations and Applications, vol. 10, no. 12, pp. 1085–1105, 2004.
19. A. L. Sasu, “New criteria for exponential stability of variational difference equations,” Applied Mathematics Letters, vol. 19, no. 10, pp. 1090–1094, 2006.
20. B. Sasu and A. L. Sasu, “Exponential dichotomy and $\left({\ell }^{p},{\ell }^{q}\right)$-admissibility on the half-line,” Journal of Mathematical Analysis and Applications, vol. 316, no. 2, pp. 397–408, 2006. View at: Publisher Site | Google Scholar | MathSciNet
21. B. Sasu, “Uniform dichotomy and exponential dichotomy of evolution families on the half-line,” Journal of Mathematical Analysis and Applications, vol. 323, no. 2, pp. 1465–1478, 2006.
22. B. Sasu and A. L. Sasu, “Input-output conditions for the asymptotic behavior of linear skew-product flows and applications,” Communications on Pure and Applied Analysis, vol. 5, no. 3, pp. 551–569, 2006.
23. B. Sasu, “New criteria for exponential expansiveness of variational difference equations,” Journal of Mathematical Analysis and Applications, vol. 327, no. 1, pp. 287–297, 2007.
24. A. L. Sasu and B. Sasu, “Exponential trichotomy for variational difference equations,” Journal of Difference Equations and Applications, vol. 15, no. 7, pp. 693–718, 2009. View at: Publisher Site | Google Scholar | MathSciNet
25. B. Sasu, “On dichotomous behavior of variational difference equations and applications,” Discrete Dynamics in Nature and Society, vol. 2009, Article ID 140369, 16 pages, 2009. View at: Publisher Site | Google Scholar
26. G. Zhang and R. Medina, “Three-point boundary value problems for difference equations,” Computers & Mathematics with Applications, vol. 48, no. 12, pp. 1791–1799, 2004.
27. M. Megan, A. L. Sasu, and B. Sasu, “Theorems of Perron type for uniform exponential dichotomy of linear skew-product semiflows,” Bulletin of the Belgian Mathematical Society—Simon Stevin, vol. 10, no. 1, pp. 1–21, 2003.
28. W. A. Coppel, Dichotomies in Stability Theory, vol. 629 of Lecture Notes in Mathematics, Springer, New York, NY, USA, 1978. View at: MathSciNet
29. J. L. Daleckii and M. G. Krein, Stability of Solutions of Differential Equations in Banach Space, American Mathematical Society, Providence, RI, USA, 1974. View at: MathSciNet
30. J. L. Massera and J. J. Schäffer, Linear Differential Equations and Function Spaces, Academic Press, New York, NY, USA, 1966. View at: MathSciNet
31. G. R. Sell and Y. You, Dynamics of Evolutionary Equations, vol. 143 of Applied Mathematical Sciences, Springer, Berlin, Germany, 2002. View at: MathSciNet
32. V. A. Pliss and G. R. Sell, “Robustness of exponential dichotomies in infinite-dimensional dynamical systems,” Journal of Dynamics and Differential Equations, vol. 11, no. 3, pp. 471–513, 1999.
33. M. Megan, A. L. Sasu, and B. Sasu, “On uniform exponential stability of linear skew-product semiflows in Banach spaces,” Bulletin of the Belgian Mathematical Society—Simon Stevin, vol. 9, no. 1, pp. 143–154, 2002.
34. A. L. Sasu and B. Sasu, “Exponential stability for linear skew-product flows,” Bulletin des Sciences Mathématiques, vol. 128, no. 9, pp. 727–738, 2004.
35. M. Megan, A. L. Sasu, and B. Sasu, “Exponential instability of linear skew-product semiflows in terms of Banach function spaces,” Results in Mathematics, vol. 45, no. 3-4, pp. 309–318, 2004.

Copyright © 2009 Bogdan Sasu. 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.