International Journal of Differential Equations

Volume 2011 (2011), Article ID 871574, 11 pages

http://dx.doi.org/10.1155/2011/871574

## Topological Conjugacy between Two Kinds of Nonlinear Differential Equations via Generalized Exponential Dichotomy

Department of Mathematics, Zhejiang Normal University, Jinhua 321004, China

Received 3 July 2011; Accepted 15 August 2011

Academic Editor: Yuri V. Rogovchenko

Copyright © 2011 Xiaodan Chen and Yonghui Xia. 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.

#### Abstract

Based on the notion of generalized exponential dichotomy, this paper considers the topological decoupling problem between two kinds of nonlinear differential equations. The topological equivalent function is given.

#### 1. Introduction and Motivation

Well-known Hartman’s linearization theorem for differential equations states that a 1 : 1 correspondence exists between solutions of a linear autonomous system and those of the perturbed system , as long as fulfills some goodness conditions, like smallness, continuity, or being Hartman [1]. Based on the exponential dichotomy, Palmer [2] extended this result to the nonautonomous system. Some other improvements of Palmer’s linearization theorem are reported in the literature. For examples, one can refer to Shi [3], Jiang [4], and Reinfelds [5, 6]. Recently, Xia et al. [7] generalized Palmer’s linearization theorem to the dynamic systems on time scales. Consider the linear system where and is a matrix function.

*Definition 1.1. *System (1.1) is said to possess an exponential dichotomy [8] if there exists a projection and constants such that
hold, where is a fundamental matrix of linear system .

However, Lin [9] argued that the notion of exponential dichotomy considerably restricts the dynamics. It is thus important to look for more general types of hyperbolic behavior. Lin [9] proposed the notion of *generalized exponential dichotomy* which is more general than the classical notion of *exponential dichotomy*.

*Definition 1.2. *System (1.1) is said to have a generalized exponential dichotomy if there exists a projection and such that
where is a continuous function with , satisfying .

*Example 1.3. *Consider the system
Then, system (1.4) has a generalized exponential dichotomy, but the classical exponential dichotomy cannot be satisfied.

For this reason, basing on generalized exponential dichotomy, we consider the topological decoupling problem between two kinds of nonlinear differential equations. We prove that there is a 1 : 1 correspondence existing between solutions of topological decoupling systems, namely, and .

#### 2. Existence of Equivalent Function

Consider the following two nonlinear nonautonomous systems: where , , are matrices.

*Definition 2.1. *Suppose that there exists a function such that (i)for each fixed , is a homeomorphism of into ;(ii) as , uniformly with respect to ;(iii)assume that has property (ii) too;(iv)if is a solution of system (2.1), then is a solution of system (2.2).If such a map exists, then (2.1) is topologically conjugated to (2.2). is called an equivalent function.

Theorem 2.2. *Suppose that has a generalized exponential dichotomy. If fulfill
**
where
**
where are integrable functions and , are positive constants, then the nonlinear nonautonomous system (2.1) is topologically equivalent to the nonlinear nonautonomous system (2.2). Moreover, the equivalent functions fulfill
*

In what follows, we always suppose that the conditions of Theorem 2.2 are satisfied. Denote that is a solution of (2.2) satisfying the initial condition and that is a solution of (2.1) satisfying the initial condition . To prove the main results, we first prove some lemmas.

Lemma 2.3. *For each , system
**
has a unique bounded solution with . *

*Proof. * Let be the set of all the continuous bounded functions with . For each and any , define the mapping as follows:

Simple computation leads to
which implies that is a self-map of a sphere with radius . For any ,

Due to the fact that , has a unique fixed point, namely, , and
it is easy to show that is a bounded solution of (2.6). Now, we are going to show that the bounded solution is unique. For this purpose, we assume that there is another bounded solution of (2.6). Thus, can be written as follows:

Note that
which implies that is convergent; denote it by . That is,
Similarly,
Therefore, it follows from the expression of that

Noticing that is bounded, is also bounded. So, is bounded. But we see that does not have a nontrivial bounded solution. Thus, ; it follows that
Simple calculating shows

Therefore, , consequently . This implies that the bounded solution of (2.6) is unique. We may call it . From the above proof, it is easy to see that .

Lemma 2.4. *For each , the system
**
has a unique bounded solution and .*

*Proof. *The proof is similar to that of Lemma 2.3.

Lemma 2.5. *Let be any solution of the system (2.1), then is the unique bounded solution of system
*

*Proof. *Obviously, is a bounded solution of system (2.19). We show that the bounded solution is unique. If not, then there is another bounded solution , which can be written as follows:
By Lemma 2.3, we can get
It follows that
That is, . Consequently, . This completes the proof of Lemma 2.5.

Lemma 2.6. *Let be any solution of the system (2.2), then is the unique bounded solution of system
*

*Proof. *Obviously, is a bounded solution of system (2.23). We will show that the bounded solution is unique. If not, then there is another bounded solution . Then, can be written as follows:

By Lemma 2.3, we can get
Then, it follows that
That is, . Consequently, . This completes the proof of Lemma 2.6.

Now, we define two functions as follows:

Lemma 2.7. *For any fixed is a solution of the system (2.2).*

*Proof. *Replace by in (2.6); system (2.6) is not changed. Due to the uniqueness of the bounded solution of (2.6), we can get that . Thus,
Differentiating it, noticing that , are the solutions of the (2.1), and (2.6), respectively; therefore, we can obtain
It indicates that is the solution of the system (2.2).

Lemma 2.8. *For any fixed , is a solution of the system (2.1).*

*Proof. *The proof is similar to Lemma 2.7.

Lemma 2.9. *For any .*

*Proof. *Let be any solution of the system (2.2). From Lemma 2.8, is a solution of system (2.1). Then, by Lemma 2.7, we see that is a solution of (2.2), written as . Denote . Differentiating, we have
which implies that is a solution of system (2.23). On the other hand, following the definition of and and Lemmas 2.3 and 2.4, we can obtain

This implies that is a bounded solution of system (2.23). However, by Lemma 2.6, system (2.23) has only one zero solution. Hence, , consequently , that is, . Since is any solution of the system (2.2), Lemma 2.9 follows.

Lemma 2.10. * For any .*

*Proof. *The proof is similar to Lemma 2.10.

Now, we are in a position to prove the main results.

*Proof of Theorem 2.2. *We are going to show that satisfies the four conditions of Definition 2.1.*Proof of Condition (i). *For any fixed , it follows from Lemmas 2.9 and 2.10 that is homeomorphism and .*Proof of Condition (ii). *From (2.27) and Lemma 2.3, we derive . So, as , uniformly with respect to .*Proof of Condition (iii). *From (2.23) and Lemma 2.4, we derive . So, as , uniformly with respect to .*Proof of Condition (iv). *Using Lemmas 2.7 and 2.8, we easily prove that Condition (iv) is true.

Hence, systems (2.1) and (2.2) are topologically conjugated. This completes the proof of Theorem 2.2.

#### Acknowledgments

The authors would like to express their gratitude to the editor and anonymous reviewers for their careful reading which improved the presentation of this paper. This work was supported by the National Natural Science Foundation of China under Grant (no. 10901140) and ZJNSFC under Grant (no. Y6100029).

#### References

- P. Hartman, “On the local linearization of differential equations,”
*Proceedings of the American Mathematical Society*, vol. 14, pp. 568–573, 1963. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - K. J. Palmer, “A generalization of Hartman's linearization theorem,”
*Journal of Mathematical Analysis and Applications*, vol. 41, pp. 753–758, 1973. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. Shi, “An improvement of Harman's linearization thoerem,”
*Science in China A*, vol. 32, pp. 458–470, 2002. View at Google Scholar - L. P. Jiang, “A generalization of Palmer's linearization theorem,”
*Mathematica Applicata*, vol. 24, no. 1, pp. 150–157, 2011 (Chinese). View at Google Scholar - A. Reinfeld, “A generalized Grobman-Hartman theorem,”
*Latviĭskiĭ Matematicheskiĭ Ezhegodnik*, vol. 29, pp. 84–88, 1985. View at Google Scholar - A. Reinfelds, “A reduction theorem for systems of differential equations with impulse effect in a Banach space,”
*Journal of Mathematical Analysis and Applications*, vol. 203, no. 1, pp. 187–210, 1996. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - Y. Xia, J. Cao, and M. Han, “A new analytical method for the linearization of dynamic equation on measure chains,”
*Journal of Differential Equations*, vol. 235, no. 2, pp. 527–543, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - W. A. Coppel,
*Dichotomies in Stability Theory*, vol. 629 of*Lecture Notes in Mathematics*, Springer, Berlin, Germany, 1978. - M. Lin, “Generalized exponential dichotomy,”
*Journal of Fuzhou University*, vol. 10, no. 4, pp. 21–30, 1982 (Chinese). View at Google Scholar