#### Abstract

A class of quaternion-valued fuzzy cellular neural networks with time-varying delays on time scales is proposed. Based on inequality analysis techniques on time scales, a fixed point theorem and the theory of calculus on time scales, the existence, and global exponential stability of anti-periodic solutions for this class of neural networks are established. The obtained results are completely new and supplement to the known results. Finally, a numerical example is given to illustrate the feasibility of our results.

#### 1. Introduction

Since Yang and Yang [1] first introduced fuzzy cellular neural networks (FCNNs) combining fuzzy operations (fuzzy AND and fuzzy OR) with cellular neural networks, FCNNs have been successfully applied in many fields such as physics, chemistry, biology, economics, sociology, medicine, and meteorology [2]. Because all of their applications heavily rely on their dynamics, in recent years, a lot of meaningful results regarding the dynamics of them are obtained by many researchers (see [3–11] and reference therein). For instance, authors in [8] studied the global stability of equilibria of FCNNs, authors in [9] obtained some sufficient conditions for the existence and stability of a unique periodic solution of FCNNs, authors in [10] investigated the existence and global exponential stability of anti-periodic solutions for neutral type FCNNs with time-varying delays and operator on time scales, the author in [11] studied the almost periodicity of FCNNs with multi-proportional delays, and in other accounts authors investigated other behaviors of FCNNs with time delays.

On the one hand, because quaternion-valued neural networks (QVNNs) as an extension of the real-valued neural networks and complex-valued neural networks can be extensively applied to the fields of robotics, attitude control of satellites, computer graphics, ensemble control, color night vision, and image compression ([12–14]) and one of the benefits by using quaternion is the three-dimensional geometrical affine transformation that can be represented efficiently and compactly, the study of dynamical behaviors for QVNNs has received much attention of many scholars and some good results have been obtained for the stability [15–19], dissipativity [20], periodicity [21], pseduo almost periodicity [22], and synchronization of QVNNs [23, 24].

On the other hand, as we know, a special case of the quasi-periodicity of functions is the anti-periodicity and -anti-periodic functions are -periodic functions, but not all periodic functions are anti-periodic ones. Since the signal transmission process of neural networks can often be described as an anti-periodic process, the problem of anti-periodic solutions for various types of neural networks has been investigated by many authors ([10, 25–34]).

Moreover, continuous time and discrete time systems are very important in implementation and applications. In addition, in a realistic system, the interaction among agents can happen at any time, and maybe some continuous time intervals accompany some discrete moments. So it is necessary and significant to consider both continuous time and discrete time cases at the same time in networked systems. Fortunately, the time scale theory, which was introduced by Hilger [35], can unify the study of continuous and discrete analysis, and the study of dynamic equations on time scales can contain, link, and extend the classical theory of differential and difference equations [36]. Recently, the theory of time scale calculus has been applied in real-valued neural networks [37–43] and complex-valued networks [44]. However, to the best of our knowledge, the existence and global stability of anti-periodic solutions of quaternion-valued fuzzy cellular neural networks (QVFCNNs) on time scales have not been considered yet. Besides, it is well known that time delays are unavoidable in real neural network systems and they may cause the changes of the dynamical behaviors of neural networks [11, 25, 40, 41].

Motivated by the above discussion, our main aim of this paper is to study the existence and global stability of anti-periodic solutions of QVFCNNs with time-varying delays. The innovation points of this paper are summarized as follows:(1)We propose a class of QVFCNNs with time-varying delays on time scales which can unify the continuous time and discrete time cases of QVFCNNs and, what is more, which can contain the QVFCNNs that their time argument may vary in some continuous time intervals accompanying some discrete moments.(2)The QVFCNNs proposed in this paper contain real-valued FCNNs and complex-valued FCNNs as their special cases.(3)Our methods of establishing the existence of anti-periodic solutions of QVFCNNs with time-varying delays on time scales are different from those used in [10, 25–34] and can be used to study other types of neural networks.(4)Our results are completely new and supplement to the known results, and our results show that if the coefficients of leakage terms of QVFCNNs with time-varying delays on time scales are positive regressive, then both the continuous time and discrete time QVFCNNs with time-varying delays have the same dynamics for the anti-periodicity.

This paper is organized as follows. In Section 2, we give the model description and introduce some definitions and preliminary lemmas and transform the quaternion-valued system (10) into an equivalent real-valued system. In Section 3, we establish the existence of anti-periodic solutions of the considered network based on a fixed point theorem. In Section 4, by using some inequality techniques, we derive some sufficient conditions for the global exponential stability of anti-periodic solutions of the considered network. In Section 5, we give an example to show the feasibility and effectiveness of our main results. This paper ends with a brief conclusion in Section 6.

#### 2. Model Description and Preliminaries

The quaternion was invented in 1843 by Hamilton [45]. The skew field of quaternion is denoted by where , , , are real numbers and the elements , , and obey the Hamilton’s multiplication rules:

A time scale is an arbitrary nonempty closed subset of the real set with the topology and ordering inherited from . The forward and the backward jump operators are defined by The graininess function is defined by The point is called left-dense, left-scattered, right-dense, or right-scattered if , , or , respectively. Points that are right-dense and left-dense at the same time are called dense. If has a left-scattered maximum , define ; otherwise, set . If has a right-scattered maximum , define ; otherwise, set .

Assume that is a function and let . Then we define to be the number (provided it exists) with the property that given any , there is a neighborhood U of t (i.e., for some ) such thatfor all . We call the delta derivative of at

Lemma 1 (see [36]). *Let , and assume that is continuous at , where with . Also assume that is rd-continuous on . Suppose that for each there is a neighborhood of , independent of , such thatfor all , where denotes the derivative of with respect to the first variable. Then *(i)* implies ;*(ii)* implies .*

A function is said to be regressive provided and is said to be positive regressive provided The set of all regressive and rd-continuous functions are denoted by and the set of all positive regressive and rd-continuous functions are denoted by

If , then the exponential function is defined by with the cylinder transformationLet be two regressive functions; define

Lemma 2 (see [36]). *If , then *(i)*, for all ;*(ii)*if , then for all .*

*Definition 3 (see [46]). *We say that a time scale is periodic if there exists such that if , then . For , the smallest positive is called the period of the time scale.

*Definition 4 (see [46]). *Let be a periodic time scale with period . We say that the function is periodic with period if there exists a natural number such that , for all and is the smallest positive number such that .

*Remark 5. *From [47], we know that if is -periodic, then the graininess function is -periodic.

Lemma 6 (see [47]). *Let be -periodic and suppose satisfies the assumptions of Lemma 1. Define . If denotes the derivative of f with respect to , then *

*Definition 7. *Let be an -periodic time scale. A function is said to be -anti-periodic on if for all , is a constant.

*Definition 8. *Let be an -periodic time scale. A function is called an -anti-periodic, where if for every , is -anti-periodic.

In this paper, we consider the following QVFCNN with time-varying delays on time scales: where , , is a periodic time scale; is the number of neurons in layers; and are the state of the th neuron at time and the deviations of the th neuron at time , respectively; represents the rate with which the th neuron will reset its potential to the resting state in isolation when they are disconnected from the network and the external inputs at time , , , , and are the elements of fuzzy feedback MIN template, fuzzy feedback MAX template, fuzzy feed forward MIN template, and fuzzy feed forward MAX template, respectively; and are the elements of feedback template and feed forward template, , denote the fuzzy AND and fuzzy OR operations, respectively; and are the activation functions; , and correspond to transmission delays at time and satisfy , , for ; denotes the input of the th neuron at time , .

Throughout the rest of the paper, we denote . For convenience, for a bounded and continuous function , we denote and .

The initial conditions of system (10) arewhere , , .

Lemma 9 (see [8]). *Suppose and are two states of system (15). Then we have *

In order to overcome the inconvenience of the noncommutativity of quaternion multiplication, in the following, we will first decompose system (10) into the vector form of the four real-valued systems. To do so, for , where , we assume that the activation functions and of (10) can be expressed as where , , .

*Remark 10. *In system (10), if , where and the activation functions are complex variable functions, that is, where , , , and all the quaternion-valued coefficients of (10) are transformed to the complex-valued coefficients, then system (10) degenerates to a complex-valued system; if all of the activation functions and coefficients of (10) are real variable functions, then system (10) degenerates to a real-valued system.

It follows from Hamilton’s multiplication rules that the equivalent real-valued system of QVFCNN (10) can be written as follows:wherewith the initial conditionswhere , , .

*Remark 11. *It is easy to see that if is a solution of system (15), where , then , where is a solution of (10). Thus, the problem of finding an anti-periodic solution for (10) is reduced to finding one for system (15). For considering the stability of anti-periodic solutions of (10), we just need to consider the stability of anti-periodic solutions of system (15).

#### 3. The Existence of Anti-Periodic Solutions

In this section, we will state and prove the sufficient conditions for the existence of anti-periodic solutions of (15).

Let with the norm , then is a Banach space. Let , where , and be a constant satisfying .

Throughout this paper, we assume that the following conditions hold:Functions with , , , , , are -periodic, are -anti-periodic, and functions , satisfy where , , .Functions , and there exist positive constants , such that for all , , and , , , .where , ,

Lemma 12. *Suppose that holds. Then is an -anti-periodic solution of system (15) if and only if satisfieswhere , *

*Proof. *Let be an -anti-periodic solution of system (15). Set , thenIntegrating (24) from to , we have Note that , thus Since , we have that is, is a solution of (22).

On the other hand, let be a solution of (22). By Lemma 6, we obtain Therefore, is an -anti-periodic solution of system (15). The proof of Lemma 12 is completed.

*Remark 13. *It is easy to see that

Theorem 14. *Let - hold. Then, system (15) has a unique -anti-periodic solution in the region .*

*Proof. *Define an operator bywhere and are defined the same as those in Lemma 12.

For , then . First, we show that for any , . From , we have From -, we have In a similar way, one can obtain Therefore, which implies that , so the mapping is a self-mapping from to . Next, we shall prove that is a contraction mapping. In fact, for any , we can get