International Journal of Stochastic Analysis
Volume 2010, Issue 1 502803
Research Article
Open Access

Synchronization of Dissipative Dynamical Systems Driven by Non-Gaussian Lévy Noises

Xianming Liu, 

Corresponding Author

Xianming Liu

School of Mathematics and Statistics, Huazhong University of Science and Technology, Wuhan 430074, China hust.edu.cn

Search for more papers by this author
Jinqiao Duan, 

Jinqiao Duan

School of Mathematics and Statistics, Huazhong University of Science and Technology, Wuhan 430074, China hust.edu.cn

Department of Applied Mathematics, Illinois Institute of Technology, Chicago, IL 60616, USA iit.edu

Search for more papers by this author
Jicheng Liu, 

Jicheng Liu

School of Mathematics and Statistics, Huazhong University of Science and Technology, Wuhan 430074, China hust.edu.cn

Search for more papers by this author
Peter E. Kloeden, 

Peter E. Kloeden

Institut für Mathematik, Johann Wolfgang Goethe-Universität, D-60054, Frankfurt am Main, Germany uni-frankfurt.de

Search for more papers by this author
First published: 23 February 2010
https://doi.org/10.1155/2010/502803
Citations: 6
Academic Editor: Salah-Eldin Mohammed

Abstract

Dynamical systems driven by Gaussian noises have been considered extensively in modeling, simulation, and theory. However, complex systems in engineering and science are often subject to non-Gaussian fluctuations or uncertainties. A coupled dynamical system under a class of Lévy noises is considered. After discussing cocycle property, stationary orbits, and random attractors, a synchronization phenomenon is shown to occur, when the drift terms of the coupled system satisfy certain dissipativity and integrability conditions. The synchronization result implies that coupled dynamical systems share a dynamical feature in some asymptotic sense.

1. Introduction

Synchronization of coupled dynamical systems is an ubiquitous phenomenon that has been observed in biology, physics, and other areas. It concerns coupled dynamical systems that share a dynamical feature in an asymptotic sense. A descriptive account of its diversity of occurrence can be found in the recent book [1]. Recently Caraballo and Kloeden [2, 3] proved that synchronization in coupled deterministic dissipative dynamical systems persists in the presence of various Gaussian noises (in terms of Brownian motion), provided that appropriate concepts of random attractors and stochastic stationary solutions are used instead of their deterministic counterparts.

In this paper we investigate a synchronization phenomenon for coupled dynamical systems driven by nonGaussian noises. We show that couple dissipative systems exhibit synchronization for a class of Lévy motions.

This paper is organized as follows. We first recall some basic facts about random dynamical systems (RDSs) as well as formulate the problem of synchronization of stochastic dynamical systems driven by Lévy noises in Section 2. The main result (Theorem 3.3) and an example are presented in Section 3.

Throughout this paper, the norm of a vector x in Euclidean space ℝd is always denote by |x|.

2. Dynamical Systems Driven by Lévy Noises

Dynamical systems driven by nonGaussian Lévy motions have attracted much attention recently [4, 5]. Under certain conditions, the SDEs driven by Lévy motion generate stochastic flows [4, 6], and also generate random dynamical systems (or cocycles) in the sense of Arnold [7]. Recently, exit time estimates have been investigated by Imkeller and Pavlyukevich [8], and Imkeller et al. [9], and Yang and Duan [10] for SDEs driven by Lévy motion. This shows some qualitatively different dynamical behavior between SDEs driven by Gaussian and nonGaussian noises.

2.1. Lévy Processes

A Lévy process or motion on ℝd is characterized by a drift parameter γ ∈ ℝd, a covariance d × d matrix A, and a nonnegative Borel measure ν, defined on (ℝd, ℬ(ℝd)) and concentrated on ℝd∖{0}, which satisfies

()
or equivalently
()
This measure ν is the so-called the Lévy jump measure of the Lévy process Lt. Moreover Lévy process Lt has the following Lévy-Itô decomposition:
()
where N(dt, dx) is Poisson random measure,
()
is the compensated Poisson random measure of Lt, and Bt is an independent Brownian motion on ℝd with covariance matrix A (see [4, 10–12]). We call (A, ν, γ) the generating triplet.

General semimartingales, especially Lévy motions, are thought to be appropriate models for nonGaussian processes with jumps [11]. Let us recall that a Lévy motion Lt is a nonGaussian process with independent and stationary increments. Moreover, its sample paths are only continuous in probability, namely, as t → t0 for any positive δ. With a suitable modification [4], these paths may be taken as càdlàg, that is, paths are continuous on the right and have limits on the left. This continuity is weaker than the usual continuity in time. In fact, a càdlàg function has finite or at most countable discontinuities on any time interval (see, e.g., [4, page 118]). This generalizes the Brownian motion Bt, since Bt satisfies all these three conditions, but additionally, (i) almost every sample path of the Brownian motion is continuous in time in the usual sense, and (ii) the increments of Brownian motion are Gaussian distributed.

The next useful lemma provides some important pathwise properties of Lt with two-sided time t ∈ ℝ.

Lemma 2.1 (pathwise boundedness and convergence). Let Lt be a two-sided Lévy motion on ℝd for which 𝔼 | L1 | < ∞ and 𝔼L1 = 0. Then we have the following.

  • (i)

    lim t→±∞(1/t)Lt = 0, a.s.

  • (ii)

    The integrals are pathwisely uniformly bounded in λ > 1 on finite time intervals [T1, T2] in ℝ.

  • (iii)

    The integrals →0 as λ→∞, pathwise on finite time intervals [T1, T2] in ℝ.

Proof. (i) This convergence result comes from the law of large numbers, in [11, Theorem 36.5].

(ii) Since the function h(t) = e−λt is continuous in t, integrating by parts we obtain

()
Then by (i) and the fact that every càdlàg function is bounded on finite closed intervals, we conclude (ii).

(iii) Integrating again by parts, it follows that

()
from which the result follows.

Remark. The assumptions on Lt in the above lemma are satisfied by a wide class of Lévy processes, for instance, the symmetric α-stable Lévy motion on ℝd with 1 < α < 2. Indeed, in this case, we have ∫|x|>  1|x|ν(dx) < ∞, and then E|L1| < ∞, see [11, Theorem 25.3].

For the canonical sample space of Lévy processes, that is, Ω = D(ℝ, ℝd) of càdlàg functions which are defined on ℝ and taking values in ℝd is not separable, if we use the usual compact-open metric. However, it is complete and separable when endowed with the Skorohod metric (see, e.g., [13], [14, page 405]), in which case we call D(ℝ, ℝd) a Skorohod space.

2.2. Random Dynamical Systems

Following Arnold [7], a random dynamical system (RDS) on a probability space (Ω, ℱ, ℙ) consists of two ingredients: a driving flow θt on the probability space Ω, that is, θt is a deterministic dynamical system, and a cocycle mapping φ : ℝ × Ω × ℝd → ℝd, namely, φ satisfies the conditions

()
for all ω ∈ Ω and all s, t ∈ ℝ. This cocycle is required to be at least measurable from the σ-field ℬ(ℝ) × ℱ × ℬ(ℝd) to the σ-field ℬ(ℝd).

For random dynamical systems driven by Lévy noise we take Ω = D(ℝ, ℝd) with the Skorohod metric as the canonical sample space and denote by ℱ: = ℬ(D(ℝ, ℝd)) the associated Borel σ-field. Let μL be the (Lévy) probability measure on ℱ which is given by the distribution of a two-sided Lévy process with paths in D(ℝ, ℝd).

The driving system θ = (θt, t ∈ ℝ) on Ω is defined by the shift

()
The map (t, ω) → θtω is continuous, thus measurable ([7, page 545]), and the (Lévy) probability measure is θ-invariant, that is,
()
for all A ∈ ℱ, see [4, page 325].

We say that a family of nonempty measurable compact subsets A(ω) of ℝd is invariant for a RDS (θ, φ), if φ(t, ω, A(ω)) = A(θtω) for all t > 0 and that it is a random attractor if in addition it is pathwise pullback attracting in the sense that

()
for all suitable families (called the attracting universe) of = {D(ω), ω ∈ Ω} of nonempty measurable bounded subsets D(ω) of ℝd, where is the Hausdorff semi-distance on ℝd.

The following result about the existence of a random attractor may be proved similarly as in [2, 15–18].

Lemma 2.3 (random attractor for càdlàg RDS). Let (θ, φ) be an RDS on Ω × ℝd and let φ be continuous in space, but càdlàg in time. If there exits a family = {B(ω), ω ∈ Ω} of nonempty measurable compact subsets B(ω) of ℝd and a such that

()
for all families = {D(ω), ω ∈ Ω} in a given attracting universe, then the RDS (θ, φ) has a random attractor = {A(ω), ω ∈ Ω} with the component subsets defined for each ω ∈ Ω by
()
Forevermore if the random attractor consists of singleton sets, that is, A(ω) = {X*(ω)} for some random variable X*, then is a stationary stochastic process.

We also need the following Gronwall′s lemma from [19].

Lemma. Let x(t) satisfy the differential inequality

()
where is right-hand derivative of x. Then
()

2.3. Dissipative Synchronization

Suppose that we have two autonomous ordinary differential equations in ℝd,

()
where the vector fields f and g are sufficiently regular (e.g., differentiable) to ensure the existence and uniqueness of local solutions, and additionally satisfy one-sided dissipative Lipschitz conditions
()
on ℝd for some l > 0. These dissipative Lipschitz conditions ensure existence and uniqueness of global solutions. Each of the systems has a unique globally asymptotically stable equilibria, and , respectively [18]. Then, the coupled deterministic dynamical system in ℝ2d
()
with parameter λ > 0 also satisfies a one-sided dissipative Lipschitz condition and, hence, also has a unique equilibrium , which is globally asymptotically stable [18]. Moreover, as λ → ∞, where is the unique globally asymptotically stable equilibrium of the “averaged” system in ℝd
()
This phenomenon is known as synchronization for the coupled deterministic system (2.17). The parameter λ often appears naturally in the context of the problem under consideration. For example in control theory it is a control parameter which can be chosen by the engineer, whereas in chemical reactions in thin layers separated by a membrane it is the reciprocal of the thickness of the layers; see [20].

Caraballo and Kloeden [2], and Caraballo et al. [3] showed that this synchronization phenomenon persists under Gaussian Brownian noise, provided that asymptotically stable stochastic stationary solutions are considered rather than asymptotically stable steady state solutions. Recall that a stationary solution X* of a SDE system may be characterized as a stationary orbit of the corresponding random dynamical system (θ, φ) (defined by the SDE system), namely, φ(t, ω, X*(ω)) = X*(θtω).

The aim of this paper is to investigate synchronization under nonGaussian Lévy noise. In particular, we consider a coupled SDE system in ℝd, driven by Lévy motion

()
where a, b ∈ ℝd are constant vectors with no components equal to zero, , are independent two-sided scalar Lévy motion as in Lemma 2.1, and f, g satisfy the one-sided dissipative Lipschitz conditions (2.16).

In addition to the one-sided Lipschitz dissipative condition (2.16) on the functions f and g, as in [2] we further assume the following integrability condition. There exists m0 > 0 such that for any m ∈ (0, m0], and any càdlàg function u : ℝ → ℝd with subexponential growth it follows

()
Without loss of generality, we assume that the one-sided dissipative Lipschitz constant l ≤ m0.

In the next section we will show that the coupled system (2.19) has a unique stationary solution which is pathwise globally asymptotically stable with as λ → ∞, pathwise on finite time intervals [T1, T2], where is the unique pathwise globally asymptotically stable stationary solution of the “averaged" SDE in ℝd

()

3. Systems Driven by Lévy Noise

For the coupled system (2.19), we have the following two lemmas about its stationary solutions.

Lemma 3.1 (existence of stationary solutions). If the Assumption (2.20) holds, f and g are continuous and satisfy the one-sided Lipschitz dissipative conditions (2.16) with Lipschitz constant l, then the coupled stochastic system (2.19) has a unique stationary solution.

Proof. First, the stationary solutions of the Langevin equations [4, 21]

()
are given by
()
The differences of the solutions of (2.19) and these stationary solutions satisfy a system of random ordinary differential equations, with right-hand derivative in time
()

The equations (3.3) are equivalent to

()
where and . Thus,
()
Hence, by Lemma 2.4,
()
Define
()
and let be a random closed ball in ℝ2d centered on the origin and of radius Rλ(ω).

Now we can use pathwise pullback convergence (i.e., with t0 → −∞) to show that is pathwise absorbed by the family , that is, for appropriate families , there exists such that

()

Hence, by Lemma 2.3, the coupled system has a random attractor with .

Note that, by Lemma 2.1, it can be shown that the random compact absorbing balls are contained in the common compact ball for λ ≥ 1.

However, the difference of any pair of solutions satisfies the system of random ordinary differential equations

()
so
()
from which we obtain
()
which means all solutions converge pathwise to each other as t → ∞. Thus the random attractor consists of a singleton set formed by an ordered pair of stationary processes or equivalently .

Lemma 3.2 (a property of stationary solutions). The stationary solutions of the coupled stochastic system (2.19) have the following asymptotic behavior:

()
pathwise on any bounded time interval [T1, T2] of ℝ.

Proof. Since

()
we have
()
where , so pathwise
()
By Lemma 2.1 we see that the radius Rλ(θtω) is pathwise uniformly bounded on each bounded time interval [T1, T2], so we see that the right hand of above inequality converge to 0 as λ → ∞ pathwise on the bounded time interval [T1, T2].

We now present the main result of this paper.

Theorem 3.3 (synchronization under Lévy noise). Suppose that the coupled stochastic system in ℝ2d

()
defines a random dynamical system (θ, φ). In addition, assume that the continuous functions f, g satisfy the integrability condition (2.20) as well as the one-sided Lipschitz dissipative condition (2.16), then the coupled stochastic system (3.16) is synchronized to a single averaged SDE in ℝd
()
in the sense that the stationary solutions of (3.16) pathwise converge to that of (3.17), that is, pathwise on any bounded time interval [T1, T2] as parameter λ → ∞.

Proof. It is enough to demonstrate the result for any sequence λn → ∞. Define

()
Note that satisfies the equation
()
Also we define
()
where and are the (stationary) solutions of the Langevin equations
()
that is,
()
The difference satisfies
()
By Lemma 2.1, and the fact that these solutions belong to the common compact ball and every càdlàg function is bounded on finite closed intervals, we obtain
()
which implies uniform boundedness as well as equicontinuity. Thus by the Ascoli-Arzela theorem [13], we conclude that for any sequence λn → ∞, there is a random subsequence , such that as j → ∞. Thus as j → ∞. Now, by Lemma 3.2
()
as , so
()
as .

Using the integral representation of the equation, it can be verified that is a solution of the averaged random differential equation (3.17) for all t ∈ ℝ. The drift of this SDE satisfies the dissipative one-sided condition (2.16). It has a random attractor consisting of a singleton set formed by a stationary orbit, which must be equal to .

Finally, we note that all possible subsequences of have the same pathwise limit. Thus the full sequence converges to , as λn → ∞. This completes the proof.

3.1. An Example

Consider two scalar SDEs:

()
which we rewrite as
()
where and .

The corresponding coupled system (3.16) is

()
with the stationary solutions
()
Let λ → ∞, then
()
where , given by
()
is the stationary solution of the following averaged SDE:
()
which is equivalent to the following SDE, in terms of the original Lévy motions L1 and L2,
()

Acknowledgments

The authors would like to thank Peter Imkeller and Bjorn Schmalfuss for helpful discussions and comments. This research was partly supported by the NSF Grants 0620539 and 0731201, NSFC Grant 10971225, and the Cheung Kong Scholars Program.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.