Theory and Modern Applications

# A class of linear dynamical equations for a Banach space on time scales

## Abstract

In this paper we consider the existence and uniqueness of global solutions to linear dynamical equations for a Banach space on time scales from a new point of view. We characterize those linear dynamical equations for a Banach space whose existence and uniqueness of global solutions do not depend on concrete time scales.

MSC:34G10, 34K30, 39A13.

## 1 Introduction

The calculus of time scales was introduced by Hilger in his PhD dissertation  in order to unify continuous and discrete analysis. In 2001, Bohner and Peterson published a comprehensive introduction to time scales . Another book which consolidates further research in the area is . The reader is referred to  for better understanding of time scales. We begin with introducing briefly some notation and terminologies.

We denote a time scale, which is a closed subset of the real numbers, by the symbol $\mathbb{T}$. Thus and , i.e., the real numbers and the integers, are the examples of time scales. The forward jump operator and backward jump operator $\sigma ,\rho :\mathbb{T}\to \mathbb{T}$ and the graininess $\mu :\mathbb{T}\to \left[0,\mathrm{\infty }\right)$ are defined by $\sigma \left(t\right):=inf\left\{s\in \mathbb{T}:s>t\right\}$, $\rho \left(t\right):=sup\left\{s\in \mathbb{T}:s and $\mu \left(t\right):=\sigma \left(t\right)-t$ for $t\in \mathbb{T}$, respectively (supplemented by $inf\mathrm{\varnothing }=sup\mathbb{T}$ and $sup\mathrm{\varnothing }=inf\mathbb{T}$). A point $t\in \mathbb{T}$ is called right-dense, right-scattered, left-dense, left-scattered, if $\sigma \left(t\right)=t$, $\sigma \left(t\right)>t$, $\rho \left(t\right)=t$, $\rho \left(t\right) hold, respectively. The set ${\mathbb{T}}^{k}$ which is derived from the time scale $\mathbb{T}$ is defined as follows: If $\mathbb{T}$ has a left-scattered maximum m, then ${\mathbb{T}}^{k}=\mathbb{T}-\left\{m\right\}$. Otherwise, ${\mathbb{T}}^{k}=\mathbb{T}$.

Let $\mathcal{X}$ be a complex Banach space, $\mathcal{B}\left(\mathcal{X}\right)$ be the class of all bounded linear operators on $\mathcal{X}$. A delta derivative for a function $f:\mathbb{T}\to \mathcal{X}$ was introduced by Hilger .

Let $t\in {\mathbb{T}}^{k}$. Then we define ${f}^{\mathrm{\Delta }}\left(t\right)$ to be the element in $\mathcal{X}$ (provided it exists) with the property that given any $\epsilon >0$, there is a neighborhood U of t (i.e., $U=\left(t-\delta ,t+\delta \right)\cap \mathbb{T}$ for some $\delta >0$) such that $\parallel \left[f\left(\sigma \left(t\right)\right)-f\left(s\right)\right]-{f}^{\mathrm{\Delta }}\left(t\right)\left[\sigma \left(t\right)-s\right]\parallel \le \epsilon |\sigma \left(t\right)-s|$ for all $s\in U\left(t,\delta \right)$. In this case, ${f}^{\mathrm{\Delta }}\left(t\right)$ is called the delta (or Hilger) derivative of f at t. Moreover, f is said to be delta (or Hilger) differentiable on ${\mathbb{T}}^{k}$ if ${f}^{\mathrm{\Delta }}\left(t\right)$ exists for all $t\in {\mathbb{T}}^{k}$.

This delta derivative is equal to ${f}^{\prime }$ (the usual derivative) if $\mathbb{T}=\mathbb{R}$, and it is equal to f (the usual forward difference) if $\mathbb{T}=\mathbb{Z}$. So, the study of dynamical equations on time scales allows a simultaneous treatment of differential and difference equations. And this field has attracted many researchers’ attention.

Especially for linear dynamical equations in finite-dimensional spaces on time scales, a lot of results have been obtained (see [24, 1015]). While for dynamical equations in Banach spaces on time scales, only a few results have been obtained (see [7, 16, 17]). In [7, 17], Hilger obtained the existence and uniqueness conditions for the global solutions to nonlinear and linear dynamical equations, while the conditions are closely dependent on the concrete time scales. It is natural to ask whether or not there exists a class of equations whose existence and uniqueness of global solutions do not depend on the concrete time scales.

In this paper, we consider the linear dynamical equation of the IVP

$\left\{\begin{array}{l}{y}^{\mathrm{\Delta }}\left(t\right)=A\left(t\right)y+g\left(t\right),\\ y\left({t}_{0}\right)={y}_{0},\end{array}$
(1)

where $\mathbb{T}$ is a time scale, the function y is from $\mathbb{T}$ to $\mathcal{X}$, ${y}_{0}\in \mathcal{X}$, $g:\mathbb{T}\to \mathcal{X}$ is rd-continuous and $A:\mathbb{T}\to \mathcal{B}\left(\mathcal{X}\right)$ is rd-continuous in the strong operator topology (SOT).

The purpose of this paper is to investigate those classes $\mathcal{A}$ of operators satisfying that for any time scale $\mathbb{T}$, if $V\left(A\right):=\left\{A\left(t\right)\in \mathcal{B}\left(\mathcal{X}\right):t\in \mathbb{T}\right\}\subseteq \mathcal{A}$, then equation (1) has exactly one global solution on the whole time scale. In order to state our main result, we first define a class $\mathfrak{U}$ of operators as

$\mathfrak{U}:=\left\{A\in \mathcal{B}\left(\mathcal{X}\right):{\sigma }_{1}\left(A\right)\cap {\mathbb{R}}^{-}=\mathrm{\varnothing }\right\},$

where denotes the spectrum of A and ${\mathbb{R}}^{-}:=\left(-\mathrm{\infty },0\right)$.

The main result of this paper is the following theorem.

Theorem 1.1 The class $\mathfrak{U}$ is the largest one of those classes $\mathcal{A}$ ensuring that equation (1) has exactly one global solution for any time scale $\mathbb{T}$ and any rd-continuous $A:\mathbb{T}\to \mathcal{B}\left(\mathcal{X}\right)$ with $V\left(A\right)\subseteq \mathcal{A}$.

From Theorem 1.1 we obtain the largest class of equations whose existence and uniqueness of global solutions do not depend on the concrete time scales. In Section 2, we make some preparations about time scales and show some needed lemmas. In Section 3, we give the proof of Theorem 1.1.

## 2 Preparations

Firstly, we introduce some needed definitions.

Definition 2.1 

A function $f:\mathbb{T}\to \mathcal{X}$ is said to be rd-continuous if it is continuous at right-dense points in $\mathbb{T}$ and its left-sided limits exist at left-dense points in $\mathbb{T}$. The set of all rd-continuous functions $f:\mathbb{T}\to \mathcal{X}$ will be denoted by ${\mathrm{C}}_{\mathrm{rd}}\left(\mathbb{T},\mathcal{X}\right)$.

Similarly, the set of all rd-continuous functions $f:\mathbb{T}\to \mathcal{B}\left(\mathcal{X}\right)$ in the norm topology will be denoted by ${\mathrm{C}}_{\mathrm{rd}}\left(\mathbb{T},\mathcal{B}\left(\mathcal{X}\right)\right)$.

Definition 2.2 

A function $A:\mathbb{T}\to \mathcal{B}\left(\mathcal{X}\right)$ is called $regressive$ if $I+\mu \left(t\right)A\left(t\right)$ is invertible for all $t\in {\mathbb{T}}^{k}$.

Definition 2.3 

Let $\mathbb{T}$ be a time scale and $\mathcal{X}$ be a Banach space. A function $f:\mathbb{T}×\mathcal{X}\to \mathcal{X}$ is said to be

1. (i)

rd-continuous if $g\left(t\right)=f\left(t,x\left(t\right)\right)$ is rd-continuous for any continuous function $x:\mathbb{T}\to \mathcal{X}$;

2. (ii)

regressive at $t\in {\mathbb{T}}^{k}$ if the mapping $id+\mu \left(t\right)f\left(t,\cdot \right):\mathcal{X}\to \mathcal{X}$ is invertible (where id is the identity function), and f is called regressive on ${\mathbb{T}}^{k}$ if f is regressive at each $t\in {\mathbb{T}}^{k}$;

3. (iii)

bounded on a set $S\subset \mathbb{T}×\mathcal{X}$ if there exists a constant $M>0$ such that $\parallel f\left(t,x\right)\parallel \le M$ for all $\left(t,x\right)\in S$.

Firstly, we introduce the existence and uniqueness theorem for the dynamical equation

$\left\{\begin{array}{l}{y}^{\mathrm{\Delta }}\left(t\right)=f\left(t,y\right),\\ y\left({t}_{0}\right)={y}_{0},\end{array}$
(2)

where $\mathbb{T}$ is a time scale, the function y is from $\mathbb{T}$ to $\mathcal{X}$, ${y}_{0}\in \mathcal{X}$, $f\left(t,y\right)$ is a function from $\mathbb{T}×\mathcal{X}\to \mathcal{X}$.

Lemma 2.4 

If $f\left(t,y\right)$ is regressive and rd-continuous on ${\mathbb{T}}^{k}$, then equation (2) has exactly one global solution on $\mathbb{T}$.

Especially for the linear form of equation (2), we obtain simpler conditions in the following lemma.

Lemma 2.5 Let $\mathbb{T}$ be some time scale and $f\left(t,y\right)=A\left(t\right)y+g\left(t\right)$, where $A:\mathbb{T}\to \mathcal{B}\left(\mathcal{X}\right)$ and $y,g:\mathbb{T}\to \mathcal{X}$. Then the following two statements hold.

1. (i)

The function $f\left(t,y\right)$ is regressive on ${\mathbb{T}}^{k}$ if and only if the function $A\left(t\right)$ is regressive on ${\mathbb{T}}^{k}$.

2. (ii)

The function $f\left(t,y\right)$ is rd-continuous on ${\mathbb{T}}^{k}$ if and only if the function $A\left(t\right)$ is rd-continuous in the strong operator topology and $g\left(t\right)$ is rd-continuous on ${\mathbb{T}}^{k}$.

Proof (i) `’. Assume that $f\left(t,y\right)=A\left(t\right)y+g\left(t\right)$ is regressive on ${\mathbb{T}}^{k}$. Then, for any $t\in {\mathbb{T}}^{k}$, $b\left(t\right):=I+\mu \left(t\right)f\left(t,\cdot \right):\mathcal{X}\to \mathcal{X}$ is invertible. So $\left[I+\mu \left(t\right)A\left(t\right)\right]=b\left(t\right)-\mu \left(t\right)g\left(t\right)$ is invertible from $\mathcal{X}$ to $\mathcal{X}$ and therefore $A\left(t\right)$ is regressive on ${\mathbb{T}}^{k}$.

`’. If the function $A\left(t\right)$ is regressive on ${\mathbb{T}}^{k}$, then for any $t\in {\mathbb{T}}^{k}$, $I+\mu \left(t\right)A\left(t\right)$ is invertible on $\mathcal{X}$. And then $\left[I+\mu \left(t\right)A\left(t\right)\right]\left(\cdot \right)+\mu \left(t\right)g\left(t\right)$ is invertible from $\mathcal{X}$ to $\mathcal{X}$.

(ii) `’. From Definition 2.3, it is easy to see that $g\left(t\right)$ is rd-continuous on ${\mathbb{T}}^{k}$ if we take the continuous function $y\left(t\right)\equiv 0$. Similarly, for any fixed $y\in \mathcal{X}$, let the function $y\left(t\right)\equiv y$ on $\mathbb{T}$, then $A\left(t\right)y+g\left(t\right)$ is also rd-continuous. Therefore $A\left(t\right)y=\left(A\left(t\right)y+g\left(t\right)\right)-g\left(t\right)$ is rd-continuous on ${\mathbb{T}}^{k}$. So the function $A\left(t\right)$ is rd-continuous in the strong operator topology.

`’. For any continuous function $y\left(t\right)$ on ${\mathbb{T}}^{k}$, and any fixed right-dense point ${t}_{0}\in {\mathbb{T}}^{k}$, we have

$\parallel A\left(t\right)y\left(t\right)-A\left({t}_{0}\right)y\left({t}_{0}\right)\parallel \le \parallel A\left(t\right)\left(y\left(t\right)-y\left({t}_{0}\right)\right)\parallel +\parallel \left(A\left(t\right)-A\left({t}_{0}\right)\right)y\left({t}_{0}\right)\parallel .$

For $A\left(t\right)$ being rd-continuous in the strong operator topology, we have

$\underset{t\to {t}_{0}}{lim}\left(A\left(t\right)-A\left({t}_{0}\right)\right)y\left({t}_{0}\right)=0.$

So it suffices to show that for any $\epsilon >0$, there exists $\delta >0$ such that for any t with $|t-{t}_{0}|<\delta$, we have $\parallel A\left(t\right)y\left(t\right)-A\left(t\right)y\left({t}_{0}\right)\parallel <\epsilon$.

If not, then there exist ${\epsilon }_{0}>0$ and a sequence ${\left\{{t}_{n}\right\}}_{n=1}^{\mathrm{\infty }}$ with ${lim}_{n\to \mathrm{\infty }}{t}_{n}={t}_{0}$ such that

(3)

For $A\left(t\right)$ being rd-continuous in the strong operator topology, we have

So ${sup}_{n\ge 1}\parallel A\left({t}_{n}\right)y\parallel <\mathrm{\infty }$ for any $y\in \mathcal{X}$. By the principle of uniform boundedness , there exists $M>0$ such that ${sup}_{n\ge 1}\parallel A\left({t}_{n}\right)\parallel . And then ${lim}_{n\to \mathrm{\infty }}\parallel A\left({t}_{n}\right)\left(y\left({t}_{n}\right)-y\left({t}_{0}\right)\right)\parallel =0$ from the continuity of $y\left(t\right)$. This is a contradiction to inequality (3).

So $f\left(t\right)=A\left(t\right)y\left(t\right)$ is continuous on right-dense points. Similarly, we can show that for left-dense points, the left-sided limits of $f\left(t\right)=A\left(t\right)y\left(t\right)$ exist. □

It should be noticed that the proof of Lemma 2.5 is independent of special time scale features, except for the notion of rd-continuity at the end. We can obtain the following corollary easily by Lemma 2.4 and Lemma 2.5.

Corollary 2.6 Let $\mathbb{T}$ be some time scale, $f\left(t,y\right)=A\left(t\right)y+g\left(t\right)$ be the right-hand side of equation (2). If the function $A\left(t\right)$ is regressive and rd-continuous in the strong operator topology on ${\mathbb{T}}^{k}$, $g\left(t\right)$ is rd-continuous on ${\mathbb{T}}^{k}$, then equation (2) has exactly one global solution on $\mathbb{T}$.

Remark 2.7 Corollary 2.6 implies the result for finite-dimensional spaces (see [, Theorem 5.8]) and improves the conclusion for infinite-dimensional spaces (see [, Section 6]) because the strong operator topology is equal to the norm topology in finite-dimensional spaces but weaker than the latter in infinite-dimensional spaces.

Therefore the condition ‘strong operator topology’ in (ii) of Lemma 2.5 cannot be replaced by ‘norm topology’. In fact, we have the following counterexample.

Example 2.8 Let ${L}^{2}\left[0,1\right]$ be the space of Lebesgue square integrable functions on $\left[0,1\right]$, and let $\mathcal{B}\left({L}^{2}\left[0,1\right]\right)$ be the class of all bounded linear operators on ${L}^{2}\left[0,1\right]$. For $t\in \left[0,1\right]$ and $x\left(s\right)\in {L}^{2}\left[0,1\right]$, define

Then $A:\left[0,1\right]\to \mathcal{B}\left({L}^{2}\left[0,1\right]\right)$ is an operator-valued function. We first show that $A\left(t\right)$ is rd-continuous in strong operator topology.

Arbitrarily, choose $x\in {L}^{2}\left[0,1\right]$. For any ${t}_{0}\in \left(0,1\right)$ being right-dense, we have

$\underset{t\to {t}_{0}}{lim}{\parallel \left(A\left(t\right)-A\left({t}_{0}\right)\right)x\parallel }^{2}=\underset{t\to {t}_{0}}{lim}{\int }_{\left[{t}_{0},t\right)or\left[t,{t}_{0}\right)}|x\left(s\right){|}^{2}\phantom{\rule{0.2em}{0ex}}ds=0.$

This implies that $A:\left[0,1\right]\to \mathcal{B}\left({L}^{2}\left[0,1\right]\right)$ is continuous with respect to the SOT in the range space. On $\mathbb{T}=\left[0,1\right]$ the two notions of rd-continuity and continuity coincide.

On the other hand, it is obvious that for any $t,{t}^{\prime }\in \left[0,1\right]$, $t>{t}^{\prime }$, $A\left(t\right)-A\left({t}^{\prime }\right)$ is an orthogonal projection on ${L}^{2}\left[0,1\right]$ with norm 1. Therefore we conclude that $A\left(t\right)$ is not rd-continuous in the norm topology.

## 3 Proof of the main result

From Lemma 2.4 and Corollary 2.6, we can see that existence and uniqueness of the global solution to equation (1) depend closely on the regressivity of the operator-valued function $A\left(\cdot \right)$. Now we are going to give the proof of the main theorem.

Proof of Theorem 1.1 We give the proof by two steps.

Step 1. $\mathcal{U}$ is a class of operators which ensures that equation (1) has a unique solution for any time scale $\mathbb{T}$ and any $A:\mathbb{T}\to \mathcal{B}\left(\mathcal{X}\right)$ with $V\left(A\right)\subseteq \mathcal{A}$.

We have the graininess $\mu :\mathbb{T}\to \left[0,\mathrm{\infty }\right)$. If $V\left(A\right)\subseteq \mathcal{U}$, then $I+\mu \left(t\right)A\left(t\right)$ is invertible for any $t\in {\mathbb{T}}^{k}$. So $A\left(\cdot \right)$ is regressive on any time scale. Moreover, we know from equation (1) that $g\left(\cdot \right)$ is rd-continuous and $A\left(\cdot \right)$ is rd-continuous in the strong operator topology. From Corollary 2.6, equation (1) has a unique solution on the whole time scale.

Step 2. Suppose that $\mathfrak{m}$ is a class of operators with $\mathfrak{M}⊈\mathfrak{U}$ satisfying condition (i). We need only to prove that there exist a time scale ${\mathbb{T}}_{0}$ and a function A from ${\mathbb{T}}_{0}$ to $\mathcal{B}\left(\mathcal{X}\right)$ with $V\left(A\right)\subseteq \mathfrak{M}$ such that equation (1) either has no solution or has at least two solutions on ${\mathbb{T}}_{0}$.

Take ${A}_{0}\in \mathfrak{M}\mathrm{\setminus }\mathfrak{U}$, then there exists $\lambda >0$ such that $-\lambda \in \sigma \left({A}_{0}\right)$. We consider the following equation on ${\mathbb{T}}_{0}=\frac{1}{\lambda }\mathbb{Z}$:

$\left\{\begin{array}{l}{y}^{\mathrm{\Delta }}\left(t\right)={A}_{0}y,\\ y\left({t}_{0}\right)={y}_{0},\end{array}$
(4)

where ${y}_{0}\ne 0$. Obviously, the solution to equation (4) is

$y\left(t+\frac{1}{\lambda }\right)=\frac{1}{\lambda }\left({A}_{0}+\lambda I\right)y\left(t\right),\phantom{\rule{2em}{0ex}}y\left({t}_{0}\right)={y}_{0}.$

It follows from $-\lambda \in \sigma \left({A}_{0}\right)$ that ${A}_{0}+\lambda I$ is not invertible.

If ${A}_{0}+\lambda I$ is not injective, then $y\left({t}_{0}-\frac{1}{\lambda }\right)$ is not unique.

If ${A}_{0}+\lambda I$ is not surjective, then we can choose ${y}_{0}\in \mathcal{X}\mathrm{\setminus }\mathcal{R}\left(I+\frac{1}{\lambda }{A}_{0}\right)$ (where $\mathcal{R}\left(I+\frac{1}{\lambda }{A}_{0}\right)$ is the range of $\left(I+\frac{1}{\lambda }{A}_{0}\right)$). Hence $y\left({t}_{0}-\frac{1}{\lambda }\right)$ does not exist. This completes the proof. □

Remark 3.1 For $\mathcal{B}\left(\mathcal{X}\right)$ being the matrix algebra ${M}_{n}\left(\mathbb{C}\right)$, it is easy to see that the closure of $\mathfrak{U}$ is equal to ${M}_{n}\left(\mathbb{C}\right)$. Hence we can deduce that $\mathfrak{U}$ is a very large class of operators in ${M}_{n}\left(\mathbb{C}\right)$. We can also consider the closure and interior of the class $\mathfrak{U}$ in a Hilbert space in the future.

## References

1. Hilger, S: Ein maskettenkalkul mit anwendung auf zentrumsmannigfaltigkeiten. Dissertation, PhD, Univ. Wurzburg (1988)

2. Bohner M, Peterson A: Dynamic Equations on Time Scales. Birkhäuser, Boston; 2001.

3. Bohner M, Peterson A: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston; 2003.

4. Agarwal RP, Bohner M, O’Regan D, Peterson A: Dynamic equations on time scales: a survey. J. Comput. Appl. Math. 2002, 141(1-2):1-26. 10.1016/S0377-0427(01)00432-0

5. Akin E, Bohner M, Erbe L, Peterson A: Existence of bounded solutions for second order dynamic equations. J. Differ. Equ. Appl. 2002, 8(4):389-401. In honor of Professor Lynn Erbe 10.1080/1026190290017414

6. Anderson D, Peterson A: Asymptotic properties of solutions of a 2 n th-order differential equation on a time scale. Math. Comput. Model. 2000, 32(5-6):653-660. 10.1016/S0895-7177(00)00162-X

7. Hilger S: Analysis on measure chains - a unified approach to continuous and discrete calculus. Results Math. 1990, 18(1-2):18-56. 10.1007/BF03323153

8. Hilger S: Matrix Lie theory and measure chains. J. Comput. Appl. Math. 2002, 141(1-2):197-217. 10.1016/S0377-0427(01)00446-0

9. Peterson AC, Tisdell CC: Boundedness and uniqueness of solutions to dynamic equations on time scales. J. Differ. Equ. Appl. 2004, 10(13-15):1295-1306. 10.1080/10236190410001652793

10. Agarwal RP, Bohner M, Shakhmurov VB: Linear and nonlinear nonlocal boundary value problems for differential-operator equations. Appl. Anal. 2006, 85(6-7):701-716. 10.1080/00036810500533153

11. Bohner M, Saker SH: Oscillation of second order half-linear dynamic equations on discrete time scales. Int. J. Differ. Equ. 2006, 1(2):205-218.

12. DaCunha, JJ: Lyapunov stability and Floquet theory for nonautonomous linear dynamic systems on time scales. Dissertation, PhD, Baylor University (2004)

13. Došlý O, Hilger S: A necessary and sufficient condition for oscillation of the Sturm-Liouville dynamic equation on time scales. J. Comput. Appl. Math. 2002, 141(1-2):147-158. 10.1016/S0377-0427(01)00442-3

14. Guseinov GS, Zafer A: Stability criteria for linear periodic impulsive Hamiltonian systems. J. Math. Anal. Appl. 2007, 335(2):1195-1206. 10.1016/j.jmaa.2007.01.095

15. Messer, KR: Linear dynamic equations on time scales. Dissertation, PhD, The University of Nebraska, Lincoln (2003)

16. Feng YL: Acta Math. Sci. Ser. A Chin. Ed.. 2011, 31A(2):439-446.

17. Hilger S: Differential and difference calculus - unified! 30. Proceedings of the Second World Congress of Nonlinear Analysts, Part 5 1997, 2683-2694.

18. Conway JB Graduate Texts in Mathematics 96. In A Course in Functional Analysis. 2nd edition. Springer, New York; 1990.

## Acknowledgements

The author gratefully acknowledges the invaluable advice and encouragement of Professor You Qing Ji. I would like to express my sincere thanks to the reviewers for their helpful comments and advice. Supported by NNSF of China (11271150) and ‘Twelfth Five-Year Plan’ Science and Technology Research Project of the Education of Jilin Province (2013215, 2012186, 2013373, 2011113).

## Author information

Authors

### Corresponding author

Correspondence to Youling Feng.

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions

Reprints and Permissions

Feng, Y. A class of linear dynamical equations for a Banach space on time scales. Adv Differ Equ 2013, 318 (2013). https://doi.org/10.1186/1687-1847-2013-318

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1687-1847-2013-318

### Keywords

• time scales
• linear dynamical equations
• existence
• uniqueness 