- Research
- Open Access
- Published:

# On memo-viability of fractional equations with the Caputo derivative

*Advances in Difference Equations*
**volume 2015**, Article number: 58 (2015)

## Abstract

In this paper viability results for nonlinear fractional differential equations with the Caputo derivative are proved. We give a necessary condition for fractional viability of a locally closed set with respect to a nonlinear function. A specific sufficient condition is also provided.

## 1 Introduction

Fractional calculus deals with fractional derivatives and integrals of any order, and it is a field of mathematics that grows out of the traditional definitions of calculus integral and derivative operators. Hence, fractional differential equations are generalizations of ordinary differential equations to equations with an arbitrary order.

In recent years, fractional differential equations have been investigated by many authors [1–6]. However, the problem of viability of fractional differential equations, which consists in finding at least one solution to the equation starting and staying in a constrained set, has not been well developed so far. The classical viability theory has its origin in the Nagumo theorem [7] and is widely exploited starting from ordinary differential equations and reaching differential inclusions based on set-valued maps with a wide range of applications [8–10]. In this paper we continue the subject of the Nagumo theorem for a fractional differential equation with the Caputo derivative. In [11] we showed a sufficient condition for solutions to be viable with respect to a constrained set. In the present paper a necessary condition of viability of a fractional differential equation with the Caputo derivative is proved. It is not trivial to show a necessary condition of viability of a fractional differential equation with the Caputo derivative. Thus we implement the idea that we used in [12] for a fractional differential equation with the Riemann-Liouville derivative, *i.e.*, the initialization problem that leads to a modification of the problem, namely we consider viability of solutions in the memory domain. Then we employ the formula that joins these two types of fractional derivatives. This idea allows us to prove the necessity of the Nagumo theorem going through the classical tools as Bouligand cone, contingent vectors, *etc.*

The paper is organized as follows. In Section 2 we gather preliminary definitions, notations and some results. Section 3 includes the initialization problem. We formulate the inner value problem with the Caputo derivative on the basis of a similar problem with the Riemann-Liouville derivative. The key result is given in Proposition 7. The last section concerns the viability problem. Theorem 11 and corollaries give necessary conditions of viability of a fractional differential equation with the Caputo derivative. Then an illustrative example is provided. Finally Theorem 17 gives a base to formulate a sufficient condition of viability for an equation involving the Caputo derivative that is, however, slightly different from the one that we formulated in [11]. We finish the paper with a block scheme that shows relations among viability conditions presented in the paper.

## 2 Preliminaries

In this section we make a review of notations, definitions, and some preliminary facts, which are useful for the paper. We recall definitions of fractional integrals of arbitrary order, the Caputo and Riemann-Liouville derivatives of order \(q\in(0,1)\), and a description of special functions in the fractional calculus.

### Definition 1

Let \(\varphi\in L_{1} ([0,t_{1}],\mathbb{R} )\). The integral

where Γ is the gamma function and \(q>0\), is called the *left-sided fractional Riemann-Liouville integral of order*
*q*. Additionally we define \(I^{0}_{0+}:=\pmb{I}\) (identity operator).

### Remark 2

([15])

Note that \(I_{0+}^{q}f(t)=(f*\varphi_{q})(t)\), where \(\varphi_{q}(t)=\frac{t^{q-1}}{\Gamma(q)}\) for \(t>0\), \(\varphi_{q}(t)=0\) for \(t\leq0\), and \(\varphi_{q}\rightarrow\delta(t)\) as \(q\rightarrow0\), with *δ* the delta Dirac pseudo function.

Moreover, fractional integration has the following property:

The best known fractional derivatives are the Riemann-Liouville and the Caputo ones.

### Definition 3

Let *φ* be defined on the interval \([0,t_{1}]\) and *n* be the natural number satisfying \(n=\lfloor q \rfloor+1\) with \(\lfloor q \rfloor\) denoting the integer part of *q*. The *left-sided Riemann-Liouville derivative of order*
*q*
*and the lower limit* 0 is defined through the following:

The *left-sided Caputo derivative of order*
*q*
*and the lower limit* 0 is defined through the following:

### Remark 4

If \(q\in(0,1)\), then the left-sided Riemann-Liouville fractional derivative of order *q* takes the form

and the left-sided Caputo fractional derivative of order *q* takes the form

If \(q\in(0,1]\), then the following comparison formula of the Caputo and Riemann-Liouville derivatives holds.

where \(\varphi(0^{+})=\lim_{t\rightarrow0^{+}}\varphi(t)\).

From [13], Lemmas 2.4 and 2.5, we have the following properties.

### Proposition 5

*If*
\(q>0\), *then*
\(D^{q}_{0+} (I^{q}_{0+}\varphi )(t) =\varphi(t)\)
*for any*
\(\varphi\in L_{1}(0,t_{1})\), *while*

*is satisfied for*
\(\varphi\in I^{q}_{0+}(L_{1}(0,t_{1}))\)
*with*

*For*
\(q\in(0,1]\)
*we have*

The following formulas are useful:

in particular,

## 3 The inner value problem

Let us consider the fractional differential equations with the Caputo fractional derivative

with \(x:(0,T]\to\mathbb{R}^{n}\), satisfying the inner condition

where \(t_{0}\in(0,T)\). By (2) equation (3) can be rewritten with the Riemann-Liouville fractional derivative as follows:

where for \(0< q<1\), \(t\in(0,T]\).

Let us define the function \(g:(0,T]\times \mathbb {R}^{n}\rightarrow \mathbb {R}^{n}\) as \(g(t,x(t)):=f(t,x(t))+\frac{t^{-q}}{\Gamma(1-q)}x(0^{+})\). Then we get

Assume that (6) satisfies the boundary inner condition

From [13] we know the form of the Volterra fractional integral for \(q\in(0,1)\)

Then

### Remark 6

Since for \(x(0^{+})=0\) we have \(f\equiv g\), we look for the solutions of (6) in the set of functions \(x(\cdot)\) such that \(x(0^{+})\neq0\).

Using the fractional integral \(I^{1-q}_{0+}\) for both sides of (9) and applying formula (1), we get

Moreover, as \((I^{1-q}_{0+} (\frac{t_{0}}{s} )^{1-q} )(t)=t_{0}^{1-q}\frac{\Gamma(q)}{\Gamma(1-q+q)}t^{q+1-q-1}=\Gamma(q)t_{0}^{1-q}\), then from (10) we have that

Let us put \(m(t_{0},t):= (I^{1-q}_{0+}x )(t)\), then \(\frac {d}{dt} m(t_{0},t) =g(t,x(t))\), \(\frac{d}{dt} m(t_{0},t)|_{t=t_{0}} = ({D}^{q}_{0+} x )(t_{0})=g(t_{0}, x(t_{0})) \).

In formulas (9)-(11) we have the value \(x(0^{+})\) as an additional parameter. As we are going to consider the initialization process and its viability in the memory domain, it is important to consider assumptions connected with the memory function \(m(t_{0},\cdot)\). We claim that \(\lim_{t\rightarrow0^{+}}m(t_{0},t)=0\). Further, we observe that taking the limit of (11) with *t* tending to zero one gets the following:

Calculating values of \(f(s,x(s))\) for \(s\in(0,t_{0}]\) one finds some difficulties in predicting values of the memory in the light of viability, thus we consider the modification of the problem that leads to the main results.

Let us consider a new inner value problem

satisfying the inner condition

where

Function \(\widetilde{g}\) is still continuous if *g* is continuous. Let us denote by \(\widetilde{x}(\cdot)\) the solution of the inner value problem (13)-(14), and let \(\widetilde{m}(t_{0},t):= (I^{1-q}_{0+}\widetilde{x} )(t)\). For \(t\in(0,t_{0}]\) we have the formula of the solution:

and

Then \((D^{q}_{0+}\widetilde{x} )(t)=g(t_{0},x_{0})\), \(\widetilde {x}(t_{0})=x_{0}\) and

Observe that \(\lim_{t_{0}\rightarrow0^{+}}\widetilde{m}(t_{0},t_{0})=0\), \(\lim_{q\rightarrow1}\widetilde{m}(t_{0},t_{0})=x_{0} \). The steps presented for the new function \(\widetilde{g}\) are useful if we need to know the value of \(m_{0}:=m(t_{0},t_{0})= (I^{1-q}_{0+}x )(t_{0})\).

### Proposition 7

*Let*
*f*
*be bounded on*
\([0,T]\). *For any*
\(\varepsilon>0\), *there is*
\(0< t_{0}<T\)
*such that*

### Proof

Let us take \(\varepsilon>0\) and \(\Vert f(t,x(t))\Vert \leq M\) for \(t\in[0,T]\). Then for \(0< t_{0}\leq t<T\) we have \(\Vert g(t,x(t))\Vert =\Vert f(t,x(t))+\frac{t^{-q}}{\Gamma(1-q)}x(0^{+})\Vert \leq \Vert f(t,x(t))\Vert +\frac{t^{-q}}{\Gamma(1-q)}\Vert x(0^{+})\Vert \leq M+\frac{t_{0}^{-q}}{\Gamma(1-q)}\Vert x(0^{+})\Vert \) and

Then for

we get

□

## 4 Viability problem

Before going to viability terms, we set some notations. For \(\varepsilon>0\), by *ε*-neighborhood of a set \(K\subset \mathbb{R}^{n}\) we mean the following:

Let us define the distance between two sets \(A\subset\mathbb{R}^{n}\) and \(B\subset\mathbb{R}^{n}\) as \(\triangle(A,B):=\sup\{\operatorname{dist}(q,B):q\in A\}\). Note that \(\triangle(A,B)\) is not the usual symmetric distance between two sets. Indeed, if \(A\subset B\) then \(\triangle(A,B)=0\) while \(\triangle(B,A)\neq0\).

By definitions of *m*, \(\widetilde{m}\) and Proposition 7 the following proposition is obvious.

### Proposition 8

*Let*
*f*
*be bounded on*
\([0,T]\). *Let us take*
\(\varepsilon>0\)
*and*
\(t_{0}\in (0,T]\)
*such that*

*Then*

*which we can write equivalently*

Similarly as for the ordinary differential equations (see [16]), one can define the viability of a subset with respect to the fractional differential equation (3).

Let us denote by *I* an open interval in ℝ.

### Definition 9

Let \(K\subset\mathbb{R}^{n}\) be a nonempty locally closed set and \(f: I\times K\to\mathbb{R}^{n}\). The subset *K* is *fractionally memo-viable with respect to*
*f* if for any \((t_{0},x_{0})\in I\times K\) equation (3) has at least one solution \(x:[t_{0},T]\to \mathbb{R}^{n}\) satisfying \(m(t_{0},t)\in K\) for \(t\in[t_{0},T]\), where \(t_{0}>0\).

The idea of viability of fractional differential equations can be expressed using the concept of tangent cone. There are many notions of tangency of a vector to a set (see, for example, [16], Section 2.3). We will follow the concept of contingent vectors (see [9]).

Let us recall that for \(K \subset\mathbb{R}^{n}\) and \(x_{0}\in K\) one can define the vector tangent to the set *K* as follows.

### Definition 10

The vector \(\eta\in\mathbb{R}^{n}\) is *contingent* to the set *K* at the point \(x_{0}\) if

The set of all vectors that are contingent to the set *K* at point \(x_{0}\) is a closed cone, see [16], Proposition 2.3.1. This cone, denoted by \(\mathcal{T}_{K} (x_{0})\), is called *contingent cone (Bouligand cone)* to the set *K* at \(x_{0}\in K\). From [16], Proposition 2.3.2, we know that \(\eta\in\mathcal{T}_{K} (x_{0})\) if and only if for every \(\varepsilon>0\) there exist \(h\in(0, \varepsilon)\) and \(p_{h} \in B(0, \varepsilon)\) such that \(x_{0} +{h}(\eta+p_{h})\in K\), where \(B(0, \varepsilon)\) denotes the closed ball in \(\mathbb{R}^{n}\) centered at 0 and of radius \(\varepsilon>0\).

### Theorem 11

*Let*
\(K\subset\mathbb{R}^{n}\)
*be nonempty and*
\(f: I\times K \to\mathbb {R}^{n}\). *If the subset*
*K*
*is fractionally memo*-*viable with respect to*
*f*, *then*
\(g(t_{0},x_{0})\in\mathcal{T}_{K}(m_{0})\), *where*
\(x_{0}=x(t_{0})\)
*and*
\(m_{0}=m(t_{0},t_{0})= (I^{1-q}_{0+}x )(t_{0})\).

### Proof

Let \((t_{0}, m_{0})\in I\times K\) and *K* be fractionally viable of order *q* with respect to *f*. Then there is \(T\in I\), \(T>t_{0}\), and a function \(x: [t_{0},T]\rightarrow K\) satisfying \((I^{1-q}_{0+}x )(t_{0})=m_{0}\) and \(D^{q}_{0+}x(t)=f(t,x(t))\) for every \(t\in[t_{0},T]\). Moreover we have

The above calculation shows that, for every \((t_{0},m_{0})\in I\times K\), \(g(t_{0},x_{0})\in\mathcal{T}_{K}(m_{0})\) and the proof is complete. □

Note that it is difficult to check the condition \(g(t_{0},x_{0})\in\mathcal {T}_{K}(m_{0})\) in Theorem 11. The above theorem is still true for the initial inner value problem with the right-hand side of \(\widetilde{g}\) given by (15). Let

Then the following is true.

### Corollary 12

*Let*
\(K\subset K^{\varepsilon}\subset\mathbb{R}^{n}\)
*and*
\(f: I\times K\to \mathbb{R}^{n}\). *If the subset*
*K*
*is fractionally memo*-*viable with respect to*
*f*, *then*
\(g(t_{0},x_{0})\in\mathcal{T}_{K^{\varepsilon}}(\widetilde{m}_{0})\).

From Theorem 11 we get the following weaker result.

### Corollary 13

*Let*
\(K\subset\mathbb{R}^{n}\)
*be nonempty and*
\(f: I\times K\to\mathbb {R}^{n}\). *If the subset*
*K*
*is fractionally memo*-*viable with respect to*
*f*, *then*
\(f(t_{0},x_{0})\in\mathcal{T}_{K}(m_{0})\)
*or*
\(x(0^{+})\in\mathcal {T}_{K}(m_{0})\), *where*
\(x_{0}=x(t_{0})\)
*and*
\(m_{0}=m(t_{0},t_{0})= (I^{1-q}_{0+}x )(t_{0})\).

### Example 14

Let us consider a one-dimensional problem with the set \(K=\mathbb {R}_{+}\cup\{0\}\) and \(f(t,x(t))=c=\operatorname{const}\). Then \(g(t,x(t))=c+\frac{t^{-q}}{\Gamma(1-q)}x(0^{+})\) for \(0< t<T\) and

Moreover, for \(x_{0}=x(t_{0})\), we have

and \(m_{0}=m (t_{0},t_{0} )=ct_{0} (1-\frac{1}{q} )+t_{0}^{1-q}\Gamma(q) [x_{0}+x(0^{+}) (\frac{1}{\Gamma(q)\Gamma(2-q)}-1 ) ] \). Let us take \(m_{0}\geqslant0\), then

We will show that if \(g(t_{0},x_{0})\notin\mathcal{T}_{K}(m_{0})\), then *K* is not memo-viable. Since for \(m_{0}>0\) we have \(\mathcal{T}_{K}(m_{0})=\mathbb {R}\), it is nothing to show then.

Let \(m_{0}=0\), then \(g(t_{0},x_{0})<0\), *i.e.*, \(c+\frac {t_{0}^{-q}}{\Gamma(1-q)}x(0^{+})<0\). Let us notice that the term \(\frac {t_{0}^{-q}}{\Gamma(1-q)}\) is positive.

Let \(x(0^{+})=0\), then obviously \(c<0\), and we get

Integrating the last term, on the basis of monotonicity of integral one gets

Now let \(x(0^{+})>0\) and since \(g(t_{0},x_{0})<0\), which means that \(c<\frac{-t_{0}^{-q}}{\Gamma(1-q)}x(0^{+})\), thus \(c<0\). Therefore one can show the following:

provided \(t>\frac{x(0^{+})}{c} (\frac{1}{\Gamma(q)\Gamma(2-q)}-1 )t_{0}^{1-q}\).

Finally, let us assume \(x(0^{+})<0\), and since \(g(t_{0},x_{0})<0\), we get \(c<\frac{-t_{0}^{-q}}{\Gamma(1-q)}x(0^{+})\). Again one can show the following:

if only \(t_{0}< t< (1-\frac{1}{\Gamma(q)\Gamma(2-q)} )\Gamma (1-q)t_{0} \). Since \(m(t_{0},t)<0\), it follows that *K* is not memo-viable with respect to *f*.

Finally, in order to prove the sufficient condition of viability, we need the following definition and proposition.

### Definition 15

([11])

Let \(K\subset\mathbb{R}^{n}\) be nonempty and \(f: I\times K\to\mathbb {R}^{n}\). The subset *K* is *fractionally viable with respect to*
*f* if for any \((t_{0},x_{0})\in I\times K\) equation (3) has at least one solution \(x:[t_{0},T]\to K\) satisfying \(x(t_{0})=x_{0}\). Such a solution we call *viable with respect to f*.

### Proposition 16

([11])

*Let*
\(K\subset \mathbb {R}^{n}\)
*be a nonempty and locally closed set*, *and let*
\(f:I\times K\rightarrow \mathbb {R}^{n}\)
*be a vector*-*valued continuous function*. *If*
\(f(t_{0},x_{0})\in\mathcal{T}_{K}(x_{0})\)
*for every*
\((t_{0}, x_{0})\in I\times K\), *then*
*K*
*is fractionally viable with respect to*
*f*.

Let us re-scale and shift the set \(K^{\varepsilon}\) in such a way that elements of this set are again from the domain of *f*, namely

To formulate next theorem, which is a middle step in getting a certain sufficient condition of viability, we use the notion (19).

### Theorem 17

*Let*
\(K\subset K^{\varepsilon}\subset\mathbb{R}^{n}\)
*be nonempty and*
\(f: I\times K \to\mathbb{R}^{n}\). *If the subset*
*K*
*is fractionally memo*-*viable with respect to*
*f*, *then*
\(g(t_{0},x_{0})\in\mathcal{T}_{\tilde {K}^{\varepsilon}}(x_{0})\), *where*
\(x_{0}=x(t_{0})\).

### Proof

Let \((t_{0}, m_{0})\in I\times K\) and *K* be fractionally memo-viable with respect to *f*. Then Corollary 12 gives \(g(t_{0},x_{0})\in\mathcal {T}_{K^{\varepsilon}}(\tilde{m}_{0})\). The latter means that

By formula (16) we can rewrite the above equation in the following way:

Let \(\tilde{K}^{\varepsilon}\) be as it is given in (19), *i.e.*,

then for \(\tilde{y}=\frac{q-1}{\Gamma(q+1)}t_{0}^{q} f(t_{0},x_{0})+\frac {q-1}{\Gamma(q+1)\Gamma(1-q)}x(0^{+})- \frac{t_{0}^{q-1}}{\Gamma(q)}y\) and \(\tilde{h}=\frac{\Gamma(q)t_{0}^{1-q}}{h}\), we get \(\tilde{y}\in\tilde {K}^{\varepsilon}\) and \(\tilde{h}\rightarrow0\) when \(h\rightarrow0\), thus

while \(\tilde{h}\rightarrow0\). Therefore we get \(g(t_{0},x_{0})\in\mathcal {T}_{\tilde{K}^{\varepsilon}}(x_{0})\). □

The next corollary gives, in fact, a sufficient condition of viability for an equation involving the Caputo derivative that is, however, slightly different from the one that we formulated in [11].

### Corollary 18

*Let*
\(K\subset K^{\varepsilon}\subset\mathbb{R}^{n}\)
*be nonempty and*
\(f: I\times\mathbb{R}^{n} \to\mathbb{R}^{n}\). *Let*
\(\tilde{K}^{\varepsilon}=\frac {t_{0}^{q-1}}{\Gamma(q)}K^{\varepsilon}+\frac{1-q}{\Gamma(q+1)}t_{0}^{q} f(t_{0},x_{0})+\frac{1-q}{\Gamma(q+1)\Gamma(1-q)}x(0^{+})\). *If*
\(g(t_{0},x_{0})\in \mathcal{T}_{\tilde{K}^{\varepsilon}}(x_{0})\), *where*
\(x_{0}=x(t_{0})\), *then*
\(\tilde{K}^{\varepsilon}\)
*is viable with respect to*
*g*.

### Proof

The thesis is a simple consequence of Proposition 16 and Theorem 17. □

## 5 Conclusions

As a conclusion we propose a block scheme (see Figure 1) that shows relations among viability conditions for sets *K*, \(K^{\varepsilon}\) and \(\tilde{K}^{\varepsilon}\), where \(K\subset K^{\varepsilon}\subset\mathbb {R}^{n}\) and \(\tilde{K}^{\varepsilon}=\frac{t_{0}^{q-1}}{\Gamma (q)}K^{\varepsilon}+\frac{1-q}{\Gamma(q+1)}t_{0}^{q} f(t_{0},x_{0})+\frac {1-q}{\Gamma(q+1)\Gamma(1-q)}x(0^{+})\) for *f* and *g* being the right-hand sides of equations (3) and (6), respectively.

## References

Almeida, R, Torres, DFM: Necessary and sufficient conditions for the fractional calculus of variations with Caputo derivatives. Commun. Nonlinear Sci. Numer. Simul.

**16**(3), 1490-1500 (2011)Abdeljawad, T, Baleanu, D: Fractional differences and integration by parts. J. Comput. Anal. Appl.

**13**(3), 574-582 (2011)Bai, Z, Lü, H: Positive solutions for boundary value problems of nonlinear fractional differential equations. J. Math. Anal. Appl.

**311**(2), 495-505 (2005)Zhang, S: Existence of a positive solution for some class of nonlinear fractional differential equations. J. Math. Anal. Appl.

**278**, 136-148 (2003)Podlubny, I: Fractional Differential Equations. Mathematics in Sciences and Engineering, vol. 198. Academic Press, San Diego (1999)

Miller, KS, Ross, B: Fractional difference calculus. In: Proceedings of the International Symposium on Univalent Functions, Fractional Calculus and Their Applications, Nihon University, Kōriyama, Japan, pp. 139-152 (1988)

Nagumo, N: Über die lage der integralkurven gewöhnlicher differentialgleichungen. Proc. Phys. Math. Soc. Jpn.

**24**, 551-559 (1942)Aubin, JP: Viability Theory. Birkhäuser, Berlin (1991)

Aubin, JP, Frankowska, H: Set-Valued Analysis. Birkhäuser Boston, Boston (1990)

Aubin, JP, Bayen, AM, Saint-Pierre, P: Viability Theory, New Directions. Springer, Berlin (2011)

Girejko, E, Mozyrska, D, Wyrwas, M: A sufficient condition of viability for fractional differential equations with the Caputo derivative. J. Math. Anal. Appl.

**381**, 146-154 (2011)Mozyrska, D, Girejko, E, Wyrwas, M: A necessary condition of viability for fractional differential equations with initialization. Comput. Math. Appl.

**62**(9), 3642-3647 (2011)Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Yverdon (1993)

Benchora, M, Hamani, S, Ntouyas, SK: Boundary value problems for differential equations with fractional order. Surv. Math. Appl.

**3**, 1-12 (2008)Cañada, A, Drábek, P, Fonda, A: Handbook of Differential Equations: Ordinary Differential Equations. Elsevier, Amsterdam (2005)

## Acknowledgements

The authors are very grateful to anonymous reviewers for valuable suggestions and comments, which improved the quality of the paper. The work was supported by Bialystok University of Technology grant S/WI/2/2011.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

The authors have contributed to this work on an equal basis. All authors read and approved the final manuscript.

## Rights and permissions

**Open Access** This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

## About this article

### Cite this article

Girejko, E., Mozyrska, D. & Wyrwas, M. On memo-viability of fractional equations with the Caputo derivative.
*Adv Differ Equ* **2015**, 58 (2015). https://doi.org/10.1186/s13662-015-0403-0

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13662-015-0403-0

### Keywords

- viability
- fractional derivative
- fractional differential equation