Weighted piecewise pseudo almost automorphic functions with applications to abstract impulsive ∇-dynamic equations on time scales

Abstract

In the present paper, by introducing the concept of equipotentially almost automorphic sequence, the concept of weighted piecewise pseudo almost automorphic functions on time scales is proposed. Some first results about their basic properties are obtained and some composition theorems are established. Then we apply these to investigate the existence of weighted piecewise pseudo almost automorphic mild solutions to abstract impulsive ∇-dynamic equations on time scales. In addition, the exponential stability of weighted piecewise pseudo almost automorphic mild solutions is also considered. Finally, the obtained results are applied to the study of a class of ∇-partial differential equations on time scales.

MSC:34N05, 35B15, 43A60, 12H20, 35R12.

1 Introduction

Almost automorphic functions, which are more general than almost periodic functions, were introduced by Bochner in relation to some aspects of differential geometry (see [1–3]). For more details as regards this topic we refer to the recent books [4–6], where the authors gave important overviews about the theory of almost automorphic functions and their applications to differential equations. Almost automorphic and pseudo almost automorphic solutions in the context of differential equations had been studied by several authors [7–21]. N’Guérékata [13] and Xiao [15, 21] with their collaborators established the existence and uniqueness theorems of pseudo almost automorphic solutions to some semilinear abstract differential equations. Recently, Blot et al. [22] introduced the concept of weighted pseudo almost automorphic functions, which generalizes the concept of weighted pseudo almost periodicity [23–26], and the author proved some interesting properties of the space of weighted pseudo almost automorphic functions like the completeness and the composition theorem, which have many applications in the context of differential equations. For other contributions to the study of weighted pseudo almost automorphy, we refer the reader to [27–30] and references therein.

On the other hand, the theory of time scales, which has recently received a lot of attention, was introduced by Hilger in his PhD thesis in 1988 [31] in order to unify continuous and discrete analysis. This theory represents a powerful tool for applications to economics, population models, and quantum physics among others. In fact, the progressive field of dynamic equations on time scales contains links to and extends the classical theory of differential and difference equations. For instance, by choosing the time scale to be the set of real numbers, the general result yields a result for differential equations. In a similar way, by choosing the time scale to be the set of integers, the same general result yields a result for difference equations. However, since there are many other time scales than just the set of real numbers or the set of integers, one has a much more general result. For these reasons, based on the concept of almost periodic time scales proposed in [32, 33], the concept of weighted pseudo almost automorphic functions on almost periodic time scales was formally introduced by Wang and Li (2013) in [34]. Moreover, some first results were proven which concern the weighted pseudo almost automorphic mild solution to abstract Δ-dynamic equations on time scales. In addition, by using the results obtained in [32, 33], Lizama and Mesquita [35] presented some new results about basic properties of almost automorphic functions on time scales and proved the existence and uniqueness of an almost automorphic solution to a class of Δ-dynamic equations.

For another thing, many phenomena in nature are characterized by the fact that their states are subject to sudden changes at certain moments and therefore can be described by impulsive system (see [36, 37]). Many evolution processes, optimal control models in economics, stimulated neural networks, population models, artificial intelligence, and robotics are characterized by the fact that at certain moments of time they undergo abrupt changes of state. The existence of almost periodic solutions of abstract impulsive differential equations has been considered by many authors; see [38–41].

However, to the best of our knowledge, the concept of weighted piecewise pseudo almost automorphic functions on time scales has not been introduced in any literature until now, so there was no work on discussing weighted piecewise pseudo almost automorphic problems of impulsive dynamic equations on time scales before. Therefore, in this paper, by introducing the concept of equipotentially almost automorphic sequence, the concept of weighted piecewise pseudo almost automorphic functions on time scales is proposed. The first results about their basic properties are obtained and some composition theorems are established. Then we apply these composition theorems to investigate the existence of weighted piecewise pseudo almost automorphic mild solutions to abstract impulsive ∇-dynamic equations as follows:

$$\{\begin{array}{c}{x}^{\mathrm{\nabla }}(t)=A(t)x^{\varrho }+f(t,x(t)),t\in \mathbb{T},t\ne t_i,i\in \mathbb{Z},\hfill \\ \mathrm{\Delta }x(t_i)=x(t_i^{+})-x(t_i^{-})=I_i(x(t_i)),t=t_i,\hfill \end{array}$$

(1)

where $A\in {\mathit{PC}}_{\mathrm{ld}}(\mathbb{T},\mathbb{X})$ is a linear operator in the Banach space $\mathbb{X}$ and $f\in {\mathit{PC}}_{\mathrm{ld}}(\mathbb{T}\times \mathbb{X},\mathbb{X})$, $x^{\varrho }=x(\varrho (t))$. f, $I_i$, $t_i$ satisfy suitable conditions that will be established later and $\mathbb{T}$ is an almost periodic time scale. In addition, the notations $x(t_i^{+})$ and $x(t_i^{-})$ represent the right-hand and the left-hand side limits of $x(\cdot )$ at $t_i$, respectively. In addition, some useful lemmas are obtained and the exponential stability of weighted piecewise pseudo almost automorphic mild solutions is also considered. Finally, we apply these obtained results to study a class of ∇-partial differential equations on time scales.

2 Preliminaries

In the following, we will introduce some basic knowledge of time scales which is very useful to the proof of our relative results.

A time scale $\mathbb{T}$ is a closed subset of ℝ. It follows that the jump operators $\sigma ,\varrho :\mathbb{T}\to \mathbb{T}$ defined by $\sigma (t)=inf\{s\in \mathbb{T}:s>t\}$ and $\varrho (t)=sup\{s\in \mathbb{T}:s<t\}$ (supplemented by $inf\varphi :=sup\mathbb{T}$ and $sup\varphi :=inf\mathbb{T}$) are well defined. The point $t\in \mathbb{T}$ is left-dense, left-scattered, right-dense, right-scattered if $\varrho (t)=t$, $\varrho (t)<t$, $\sigma (t)=t$, $\sigma (t)>t$, respectively. If $\mathbb{T}$ has a right-scattered minimum m, define ${\mathbb{T}}_k:=\mathbb{T}\mathrm{\setminus }m$; otherwise, set ${\mathbb{T}}^k=\mathbb{T}$. By the notations ${[a,b]}_{\mathbb{T}}$, ${[a,b)}_{\mathbb{T}}$ and so on, we will denote time scale intervals

$${[a,b]}_{\mathbb{T}}=\{t\in \mathbb{T}:a\le t\le b\},$$

where $a,b\in \mathbb{T}$ with $a<\varrho (b)$.

The graininess function is defined by $\nu :\mathbb{T}\to [0,\mathrm{\infty })$: $\nu (t):=t-\varrho (t)$, for all $t\in \mathbb{T}$.

Definition 2.1 ([42])

The function $f:\mathbb{T}\to \mathbb{R}$ is called ld-continuous provided that it is continuous at each left-dense point and has a right-sided limit at each point, write $f\in C_{\mathrm{ld}}(\mathbb{T})=C_{\mathrm{ld}}(\mathbb{T},\mathbb{R})$. Let $t\in {\mathbb{T}}_k$, the Delta derivative of f at t such that

$$|f(\varrho (t))-f(s)-f^{\mathrm{\nabla }}(t)[\varrho (t)-s]|\le \epsilon |\varrho (t)-s|$$

for all $s\in U$, at fixed t. Let F be a function, it is called the antiderivative of $f:\mathbb{T}\to \mathbb{R}$ provided $F^{\mathrm{\nabla }}(t)=f(t)$ for each $t\in {\mathbb{T}}_k$. If $F^{\mathrm{\nabla }}(t)=f(t)$, then we define the delta integral by

$${\int }_a^{t}f(s)\mathrm{\nabla }s=F(t)-F(a).$$

Definition 2.2 ([42])

A function $p:\mathbb{T}\to \mathbb{R}$ is called ν-regressive provided $1-\nu (t)p(t)\ne 0$ for all $t\in {\mathbb{T}}_k$. The set of all regressive and ld-continuous functions $p:\mathbb{T}\to \mathbb{R}$ will be denoted by ${\mathcal{R}}_{\nu }={\mathcal{R}}_{\nu }(\mathbb{T})={\mathcal{R}}_{\nu }(\mathbb{T},\mathbb{R})$. We define the set ${\mathcal{R}}_{\nu }^{+}={\mathcal{R}}_{\nu }^{+}(\mathbb{T},\mathbb{R})=\{p\in {\mathcal{R}}_{\nu }:1-\nu (t)p(t)>0,\mathrm{\forall }t\in \mathbb{T}\}$.

Definition 2.3 ([42])

If r is a regressive function, then the generalized exponential function ${\hat{e}}_r$ is defined by

$${\hat{e}}_r(t,s)=exp\left\{{\int }_s^t{\hat{\xi }}_{\nu (\tau )}(r(\tau ))\mathrm{\nabla }\tau \right\}$$

for all $s,t\in \mathbb{T}$, where the ν-cylinder transformation is as in

$${\hat{\xi }}_h(z):=-\frac{1}{h}Log(1-zh).$$

Lemma 2.1 ([42])

Assume that $p,q:\mathbb{T}\to \mathbb{R}$ are two ν-regressive functions, then

• (i) ${\hat{e}}_0(t,s)\equiv 1$ and ${\hat{e}}_p(t,t)\equiv 1$;

• (ii) ${\hat{e}}_p(\varrho (t),s)=(1-\nu (t)p(t)){\hat{e}}_p(t,s)$;

• (iii) ${\hat{e}}_p(t,s)=\frac{1}{{\hat{e}}_p(s,t)}=e_{{\ominus }_{\nu }p}(s,t)$;

• (iv) ${\hat{e}}_p(t,s){\hat{e}}_p(s,r)={\hat{e}}_p(t,r)$;

• (v) ${({\hat{e}}_{{\ominus }_{\nu }p}(t,s))}^{\mathrm{\nabla }}=({\ominus }_{\nu }p)(t){\hat{e}}_{{\ominus }_{\nu }p}(t,s)$.

Lemma 2.2 ([43])

For each $t_0\in \mathbb{T}$ in $\mathbb{T}\mathrm{\setminus }{\mathbb{T}}_k$ the single-point set $\{t_0\}$ is ∇-measurable and its ∇-measure is given by ${\mu }_{\mathrm{\nabla }}(\{t_0\})=t_0-\varrho (t_0)$.

Lemma 2.3 ([43])

If $a,b\in \mathbb{T}$ and $a\le b$, then

$${\mu }_{\mathrm{\nabla }}\left({(a,b]}_{\mathbb{T}}\right)=b-a,{\mu }_{\mathrm{\nabla }}\left({(a,b)}_{\mathbb{T}}\right)=\varrho (b)-a.$$

If $a,b\in \mathbb{T}\mathrm{\setminus }{\mathbb{T}}^k$ and $a\le b$, then

$${\mu }_{\mathrm{\nabla }}\left({[a,b)}_{\mathbb{T}}\right)=\varrho (b)-\varrho (a),{\mu }_{\mathrm{\nabla }}\left({[a,b]}_{\mathbb{T}}\right)=b-\varrho (a).$$

For more details of time scales and ∇-measurability, one is referred to [42, 43]. For more on time scales, see [44–49].

Definition 2.4 ([32–34])

A time scale $\mathbb{T}$ is called an almost periodic time scale if

$$\mathrm{\Pi }:=\{\tau \in \mathbb{R}:t\pm \tau \in \mathbb{T},\mathrm{\forall }t\in \mathbb{T}\}\ne \{0\}.$$

Remark 2.4 Definition 3.1 introduced in [35] is the same as the concept of almost periodic time scales proposed in [32, 34], and $\mathbb{T}$ is also called an invariant time scale under translations in [35].

After these preparations, in the next section, we will introduce the concept of weighted piecewise pseudo almost automorphic functions on time scales in a Banach space and some of their basic properties are investigated.

3 Weighted piecewise pseudo almost automorphic functions on time scales

In the following, we will give the definition of ld-piecewise continuous functions on time scales.

Definition 3.1 We say $\phi :\mathbb{T}\to \mathbb{X}$ is ld-piecewise continuous with respect to a sequence $\{{\tau }_i\}\subset \mathbb{T}$ which satisfy ${\tau }_i<{\tau }_{i+1}$, $i\in \mathbb{Z}$, if $\phi (t)$ is continuous on ${({\tau }_i,{\tau }_{i+1}]}_{\mathbb{T}}$ and ld-continuous on $\mathbb{T}\mathrm{\setminus }\{{\tau }_i\}$. Furthermore, ${({\tau }_i,{\tau }_{i+1}]}_{\mathbb{T}}$ are called intervals of continuity of the function $\phi (t)$.

For convenience, ${\mathit{PC}}_{\mathrm{ld}}(\mathbb{T},\mathbb{X})$ denotes the set of all ld-piecewise continuous functions with respect to a sequence $\{{\tau }_i\}$, $i\in \mathbb{Z}$. Similar to Definition 3.1, we can also introduce the concept of functions which belong to ${\mathit{PC}}_{\mathrm{rd}}(\mathbb{T},\mathbb{X})$.

Throughout the paper, we denote by $\mathbb{X}$ a Banach space; let $\mathfrak{B}$ be the set consisting of all sequences ${\{t_i\}}_{i\in \mathbb{Z}}$ such that $\theta ={inf}_{i\in \mathbb{Z}}(t_{i+1}-t_i)>0$. For ${\{t_i\}}_{i\in \mathbb{Z}}\in \mathfrak{B}$, let ${\mathit{BPC}}_{\mathrm{ld}}(\mathbb{T},\mathbb{X})$ be the space formed by all bounded ld-piecewise continuous functions $\varphi :\mathbb{T}\to \mathbb{X}$ such that $\varphi (\cdot )$ is continuous at t for any $t\notin {\{t_i\}}_{i\in \mathbb{Z}}$ and $\varphi (t_i)=\varphi (t_i^{-})$ for all $i\in \mathbb{Z}$; let Ω be a subset of $\mathbb{X}$ and let ${\mathit{BPC}}_{\mathrm{ld}}(\mathbb{T}\times \mathrm{\Omega },\mathbb{X})$ be the space formed by all bounded piecewise continuous functions $\varphi :\mathbb{T}\times \mathrm{\Omega }\to \mathbb{X}$ such that, for any $x\in \mathrm{\Omega }$, $\varphi (\cdot ,x)\in {\mathit{BPC}}_{\mathrm{ld}}(\mathbb{T}\times \mathbb{X},\mathbb{X})$. For any $t\in \mathbb{T}$, $\varphi (t,\cdot )$ is continuous at $x\in \mathrm{\Omega }$.

Let $\mathit{UPC}(\mathbb{T},\mathbb{X})$ be the space of all functions $\phi \in {\mathit{PC}}_{\mathrm{ld}}(\mathbb{T},\mathbb{X})$ such that ϕ satisfies the condition: for any $\epsilon >0$, there exists a positive number $\delta =\delta (\epsilon )$ such that if the points $t^{\prime }$, $t^{″}$ belong to the same interval of continuity of φ and $|t^{\prime }-t^{″}|<\delta$ implies $\parallel \phi (t^{\prime })-\phi (t^{″})\parallel <\epsilon$.

Now, we introduce the set

$$\mathfrak{B}=\{\{t_k\}:t_k\in \mathbb{T},t_k<t_{k+1},k\in \mathbb{Z},\underset{t\to \pm \mathrm{\infty }}{lim}=\pm \mathrm{\infty }\},$$

which denotes all unbounded increasing sequences of real numbers. Let $T,P\in \mathfrak{B}$ and let $s(T\cup P):\mathfrak{B}\to \mathfrak{B}$ be a map such that the set $s(T\cup P)$ forms a strictly increasing sequence. For $D\subset \mathbb{R}$ and $\epsilon >0$, we introduce the notations ${\theta }_{\epsilon }(D)=\{t+\epsilon :t\in D\}$, $F_{\epsilon }(D)={\bigcap }_{\epsilon }\{{\theta }_{\epsilon }(D)\}$. Denote by $\tilde{\varphi }=(\phi (t),T)$ the element from the space ${\mathit{PC}}_{\mathrm{ld}}(\mathbb{T},\mathbb{X})\times \mathfrak{B}$. For every sequence of real numbers $\{s_n\}$, $n=1,2,\dots$ with ${\theta }_{s_n}\tilde{\varphi }:=(\phi (t+s_n),T-s_n)$, we shall consider the sets $\{\phi (t+s_n),T-s_n\}\subset {\mathit{PC}}_{\mathrm{ld}}\times \mathfrak{B}$, where

$$T-s_n=\{t_k-s_n:k\in \mathbb{Z},n=1,2,\dots \}.$$

Definition 3.2 Let $\{t_i\}\in \mathfrak{B}$, $i\in \mathbb{Z}$. We say $\{t_i^j\}$ is a derivative sequence of $\{t_i\}$ and

$$t_i^j=t_{i+j}-t_i,i,j\in \mathbb{Z}.$$

Definition 3.3 Let $t_i^j=t_{i+j}-t_i$, $i,j\in \mathbb{Z}$. We say $\{t_i^j\}$, $i,j\in \mathbb{Z}$, is equipotentially almost automorphic on an almost periodic time scale $\mathbb{T}$ if, for any sequence $\{s_n\}\subset \mathbb{Z}$, there exists a subsequence $\{s_n^{\prime }\}$ such that

$$\underset{n\to \mathrm{\infty }}{lim}{t}_k^{s_n^{\prime }}={\gamma }_k$$

is well defined for each $k\in \mathbb{Z}$ and

$$\underset{n\to \mathrm{\infty }}{lim}{\gamma }_k^{-s_n^{\prime }}=t_k$$

for each $k\in \mathbb{Z}$.

Definition 3.4 A function $\varphi \in {\mathit{PC}}_{\mathrm{ld}}(\mathbb{T},\mathbb{X})$ is said to be ld-piecewise almost automorphic if the following conditions are fulfilled:

• (i) $T=\{t_k\}$ is an equipotentially almost automorphic sequence.

• (ii) Let $\phi \in {\mathit{PC}}_{\mathrm{ld}}(\mathbb{T},\mathbb{X})$ be a bounded function with respect to a sequence $T=\{t_k\}$. We say that φ is piecewise almost automorphic if from every sequence ${\{s_n\}}_{n=1}^{\mathrm{\infty }}\subset \mathrm{\Pi }$, we can extract a subsequence ${\{{\tau }_n\}}_{n=1}^{\mathrm{\infty }}$ such that

  $${\tilde{\varphi }}^{\ast }=({\phi }^{\ast }(t),T^{\ast })=\underset{n\to \mathrm{\infty }}{lim}(\phi (t+{\tau }_n),T-{\tau }_n)=\underset{n\to \mathrm{\infty }}{lim}{\theta }_{{\tau }_n}\tilde{\varphi }$$

is well defined for each $t\in \mathbb{T}$ and

$$\tilde{\varphi }=(\phi (t),T)=\underset{n\to \mathrm{\infty }}{lim}({\phi }^{\ast }(t-{\tau }_n),T^{\ast }+{\tau }_n)=\underset{n\to \mathrm{\infty }}{lim}{\theta }_{-{\tau }_n}{\tilde{\varphi }}^{\ast }$$

for each $t\in \mathbb{T}$. Denote by $\mathit{AA}(\mathbb{T},\mathbb{X})$ the set of all such functions.

• (iii) A bounded function $f\in {\mathit{PC}}_{\mathrm{ld}}(\mathbb{T}\times \mathbb{X},\mathbb{X})$ with respect to a sequence $T=\{t_k\}$ is said to be piecewise almost automorphic if $f(t,x)$ is piecewise automorphic in $t\in \mathbb{T}$ uniformly in $x\in B$, where B is any bounded subset of $\mathbb{X}$. Denote by $\mathit{AA}(\mathbb{T}\times \mathbb{X},\mathbb{X})$ the set of all such functions.

Similarly, we can also introduce the concept of piecewise almost automorphic functions which belong to ${\mathit{PC}}_{\mathrm{rd}}(\mathbb{T},\mathbb{X})$.

Let U be the set of all functions $\rho :\mathbb{T}\to (0,\mathrm{\infty })$ which are positive and locally ∇-integrable over $\mathbb{T}$. For a given $r\in [0,\mathrm{\infty })\cap \mathrm{\Pi }$ and $\mathrm{\forall }{t}_0\in \mathbb{T}$, set

$$m(r,\rho ,t_0):={\int }_{t_0-r}^{t_0+r}\rho (s)\mathrm{\nabla }s$$

(2)

for each $\rho \in U$.

Remark 3.1 In (2), if $\mathbb{T}=\mathbb{R}$, $t_0=0$, one can easily get

$$m(r,\rho ,t_0):={\int }_{-r}^r\rho (s)\mathrm{d}s$$

if $\mathbb{T}=\mathbb{Z}$, $t_0=0$, one has the following:

$$m(r,\rho )=\sum _{k=-r+1}^r\rho (k).$$

Define

$$\begin{array}{c}{U}_{\mathrm{\infty }}:=\{\rho \in U:\underset{r\to \mathrm{\infty }}{lim}m(r,\rho ,t_0)=\mathrm{\infty }\},\hfill \\ U_B:=\{\rho \in U_{\mathrm{\infty }}:\rho \text{ is bounded and }\underset{s\in \mathbb{T}}{inf}\rho (s)>0\}.\hfill \end{array}$$

It is clear that $U_B\subset U_{\mathrm{\infty }}\subset U$. Now for $\rho \in U_{\mathrm{\infty }}$ define

$$\begin{array}{rcl}{\mathit{PAA}}_0(\mathbb{T},\rho ):& =& \{\varphi \in {\mathit{BPC}}_{\mathrm{ld}}(\mathbb{T},\mathbb{X}):\underset{r\to \mathrm{\infty }}{lim}\frac{1}{m(r,\rho ,t_0)}{\int }_{t_0-r}^{t_0+r}\parallel \varphi (s)\parallel \rho (s)\mathrm{\nabla }s=0,\\ \mathrm{\forall }{t}_0\in \mathbb{T},r\in \mathrm{\Pi }\}.\end{array}$$

Similarly, we define

$$\begin{array}{rcl}{\mathit{PAA}}_0(\mathbb{T}\times \mathbb{X},\rho ):& =& \{\mathrm{\Phi }\in {\mathit{BPC}}_{\mathrm{ld}}(\mathbb{T}\times \mathrm{\Omega },\mathbb{X}):\\ \underset{r\to \mathrm{\infty }}{lim}\frac{1}{m(r,\rho ,t_0)}{\int }_{t_0-r}^{t_0+r}\parallel \mathrm{\Phi }(s,x)\parallel \rho (s)\mathrm{\nabla }s=0\\ \text{uniformly with respect to }x\in K,\mathrm{\forall }{t}_0\in \mathbb{T},r\in \mathrm{\Pi }\}.\end{array}$$

We are now ready to introduce the sets $\mathit{WPAA}(\mathbb{T},\rho )$ and $\mathit{WPAA}(\mathbb{T}\times \mathbb{X},\rho )$ of weighted pseudo almost periodic functions:

$$\begin{array}{c}\mathit{WPAA}(\mathbb{T},\rho )=\{f=g+\varphi \in {\mathit{PC}}_{\mathrm{ld}}(\mathbb{T},\mathbb{X}):g\in \mathit{AA}(\mathbb{T},\mathbb{X})\text{ and }\varphi \in {\mathit{PAA}}_0(\mathbb{T},\rho )\},\hfill \\ \mathit{WPAA}(\mathbb{T}\times \mathbb{X},\rho )=\{f=g+\varphi \in {\mathit{PC}}_{\mathrm{ld}}(\mathbb{T}\times \mathbb{X},\mathbb{X}):g\in \mathit{AA}(\mathbb{T}\times \mathbb{X},\mathbb{X})\hfill \\ \phantom{\mathit{WPAA}(\mathbb{T}\times \mathbb{X},\rho )=}\text{ and }\varphi \in {\mathit{PAA}}_0(\mathbb{T}\times \mathbb{X},\rho )\}.\hfill \end{array}$$

Lemma 3.2 Let $\varphi \in {\mathit{BPC}}_{\mathrm{ld}}(\mathbb{T},\mathbb{X})$. Then $\varphi \in {\mathit{PAA}}_0(\mathbb{T},\rho )$ where $\rho \in U_B$ if and only if, for every $\epsilon >0$,

$$\underset{r\to \mathrm{\infty }}{lim}\frac{1}{m(r,\rho ,t_0)}{\mu }_{\mathrm{\nabla }}(M_{r,\epsilon ,t_0}(\varphi ))=0,$$

where $r\in \mathrm{\Pi }$ and $M_{r,\epsilon ,t_0}(\varphi ):=\{t\in {[t_0-r,t_0+r]}_{\mathbb{T}}:\parallel \varphi (t)\parallel \ge \epsilon \}$.

Proof (a) Necessity. For contradiction, suppose that there exists ${\epsilon }_0>0$ such that

$$\underset{r\to \mathrm{\infty }}{lim}\frac{1}{m(r,\rho ,t_0)}{\mu }_{\mathrm{\nabla }}(M_{r,{\epsilon }_0,t_0}(\varphi ))\ne 0.$$

Then there exists $\delta >0$ such that, for every $n\in \mathbb{N}$,

$$\frac{1}{m(r_n,\rho ,t_0)}{\mu }_{\mathrm{\nabla }}(M_{r_n,{\epsilon }_0,t_0}(\varphi ))\ge \delta \text{for some }{r}_n>n,\text{where }{r}_n\in \mathrm{\Pi }.$$

So we get

$$\begin{array}{rcl}\frac{1}{m(r_n,\rho ,t_0)}{\int }_{t_0-r}^{t_0+r}\parallel \varphi (s)\parallel \rho (s)\mathrm{\nabla }s& =& \frac{1}{m(r_n,\rho ,t_0)}{\int }_{M_{r_n,{\epsilon }_0,t_0}(\varphi )}\parallel \varphi (s)\parallel \rho (s)\mathrm{\nabla }s\\ +\frac{1}{m(r_n,\rho ,t_0)}\\ \times {\int }_{{[t_0-r,t_0+r]}_{\mathbb{T}}\mathrm{\setminus }{M}_{r_n,{\epsilon }_0,t_0}(\varphi )}\parallel \varphi (s)\parallel \rho (s)\mathrm{\nabla }s\\ \ge & \frac{1}{m(r_n,\rho ,t_0)}{\int }_{M_{r_n,{\epsilon }_0,t_0}(\varphi )}\parallel \varphi (s)\parallel \rho (s)\mathrm{\nabla }s\\ \ge & \frac{{\epsilon }_0}{m(r_n,\rho ,t_0)}{\int }_{M_{r_n,{\epsilon }_0,t_0}(\varphi )}\parallel \varphi (s)\parallel \rho (s)\mathrm{\nabla }s\\ \ge & {\epsilon }_0\delta \gamma ,\end{array}$$

where $\gamma ={inf}_{s\in \mathbb{T}}\rho (s)$. This contradicts the assumption.

• (b) Sufficiency. Assume that ${lim}_{r\to \mathrm{\infty }}\frac{1}{m(r,\rho ,t_0)}{\mu }_{\mathrm{\nabla }}(M_{r,\epsilon ,t_0}(\varphi ))=0$. Then for every $\epsilon >0$, there exists $r_0>0$ such that, for every $r>r_0$,

  $$\frac{1}{m(r,\rho ,t_0)}{\mu }_{\mathrm{\nabla }}(M_{r,\epsilon ,t_0}(\varphi ))<\frac{\epsilon }{KM},$$

where $M:={sup}_{t\in \mathbb{T}}\parallel \varphi (t)\parallel <\mathrm{\infty }$ and $K:={sup}_{t\in \mathbb{T}}\rho (t)<\mathrm{\infty }$.

Now, we have

$$\begin{array}{rcl}\frac{1}{m(r,\rho ,t_0)}{\int }_{t_0-r}^{t_0+r}\parallel \varphi (s)\parallel \rho (s)\mathrm{\nabla }s& =& \frac{1}{m(r,\rho ,t_0)}({\int }_{M_{r,\epsilon ,t_0}(\varphi )}\parallel \varphi (s)\parallel \rho (s)\mathrm{\nabla }s\\ +{\int }_{{[t_0-r,t_0+r]}_{\mathbb{T}}\mathrm{\setminus }{M}_{r,\epsilon ,t_0}(\varphi )}\parallel \varphi (s)\parallel \rho (s)\mathrm{\nabla }s)\\ \le & \frac{MK}{m(r,\rho ,t_0)}{\mu }_{\mathrm{\nabla }}(M_{r,\epsilon ,t_0}(\varphi ))\\ +\frac{\epsilon }{m(r,\rho ,t_0)}{\int }_{{[t_0-r,t_0+r]}_{\mathbb{T}}\mathrm{\setminus }{M}_{r,\epsilon ,t_0}(\varphi )}\rho (s)\mathrm{\nabla }s\\ \le & 2\epsilon .\end{array}$$

Therefore, ${lim}_{r\to \mathrm{\infty }}\frac{1}{m(r,\rho ,t_0)}{\int }_{t_0-r}^{t_0+r}\parallel \varphi (s)\parallel \rho (s)\mathrm{\nabla }s=0$, that is, $\varphi \in {\mathit{PAA}}_0(\mathbb{T},\rho )$. This completes the proof. □

Lemma 3.3 ${\mathit{PAA}}_0(\mathbb{T},\rho )$ is a translation invariant set of ${\mathit{BPC}}_{\mathrm{ld}}(\mathbb{T},\mathbb{X})$ with respect to Π if $\rho \in U_B$, i.e., for any $s\in \mathrm{\Pi }$, one has $\varphi (t+s):={\theta }_s\varphi \in {\mathit{PAA}}_0(\mathbb{T},\rho )$ if $\rho \in U_B$.

Proof For any $s\in \mathrm{\Pi }$, $\varphi \in {\mathit{PAA}}_0(\mathbb{T},\rho )$, $\epsilon >0$, $r>0$, we have

$$\begin{array}{rcl}{M}_{r,\epsilon ,t_0}(T_s\varphi )& =& \{t\in {[t_0-r,t_0+r]}_{\mathbb{T}}:\parallel T_s(t)\parallel \ge \epsilon \}\\ =& \{t\in {[t_0-r,t_0+r]}_{\mathbb{T}}:\parallel \varphi (t+s)\parallel \ge \epsilon \}\\ =& \{t\in {[t_0-r+s,t_0+r+s]}_{\mathbb{T}}:\parallel \varphi (t)\parallel \ge \epsilon \}\\ \subseteq & \{t\in {[t_0-r-|s|,t_0+r+|s|]}_{\mathbb{T}}:\parallel \varphi (t)\parallel \ge \epsilon \}.\end{array}$$

Hence

$$\begin{array}{rcl}\frac{1}{m(r,\rho ,t_0)}{\mu }_{\mathrm{\nabla }}(M_{r,\epsilon ,t_0}(T_s\varphi ))& \le & \frac{1}{m(r,\rho ,t_0)}{\mu }_{\mathrm{\nabla }}(M_{r+|s|,\epsilon ,t_0}(T_s\varphi ))\\ =& \frac{m(r+|s|,\rho ,t_0)}{m(r,\rho ,t_0)}\frac{1}{m(r+|s|,\rho ,t_0)}{\mu }_{\mathrm{\nabla }}(M_{r+|s|,\epsilon ,t_0}(\varphi )).\end{array}$$

Since $\varphi \in {\mathit{PAA}}_0(\mathbb{T},\rho )$, by Lemma 3.2, we have

$$\frac{1}{m(r+|s|,\rho ,t_0)}(M_{r+|s|,\epsilon ,t_0}(\varphi ))\to 0,r\to \mathrm{\infty }.$$

Furthermore, ${lim}_{r\to \mathrm{\infty }}\frac{m(r+|s|,\rho ,t_0)}{m(r,\rho ,t_0)}=1$, thus

$$\frac{1}{m(r,\rho ,t_0)}{\mu }_{\mathrm{\nabla }}\left(M_{r,\epsilon ,t_0}(T_s(\varphi ))\right)\to 0,r\to \mathrm{\infty }.$$

Again, using Lemma 3.2, one can get ${\theta }_s\varphi \in {\mathit{PAA}}_0(\mathbb{T},\rho )$ for any $s\in \mathrm{\Pi }$. This completes the proof. □

By Definition 3.4, one can easily get the following lemma.

Lemma 3.4 Let $\varphi \in \mathit{AA}(\mathbb{T},\mathbb{X})$, then the range of ϕ, $\varphi (\mathbb{T})$, is a relatively compact subset of $\mathbb{X}$.

Lemma 3.5 If $f=g+\varphi$ with $g\in \mathit{AA}(\mathbb{T},\mathbb{X})$, and $\varphi \in {\mathit{PAA}}_0(\mathbb{T},\rho )$, where $\rho \in U_B$, then $g(\mathbb{T})\subset \overline{f(\mathbb{T})}$.

Proof (1) For any $t\in \mathbb{T}\mathrm{\setminus }\{t_i\}$, $g(t)\in g(\mathbb{T})$, one has $g(t)=f(t)-\varphi (t)$. Since $g\in \mathit{AA}(\mathbb{T},\mathbb{X})$, there exists a sequence $\{{\alpha }_n\}\subset \mathrm{\Pi }$ such that $g(t+{\alpha }_n)\to g(t)$, $n\to \mathrm{\infty }$.

Furthermore, by Lemma 3.3, $\varphi (t+{\alpha }_n)\in {\mathit{PAA}}_0(\mathbb{T},\mathbb{X})$, so there exists $\beta \in \mathrm{\Pi }$ such that $\varphi (t+{\alpha }_n+\beta )\to 0$, $n\to \mathrm{\infty }$. Hence, let $s=t+\beta$, and one has

$$f(s+{\alpha }_n-\beta )-\varphi (t+{\alpha }_n+\beta )\to g(t)\text{for each }t\in \mathbb{T}\text{ as }n\to \mathrm{\infty },$$

i.e. $f(s+{\alpha }_n-\beta )\to g(t)$ for each $t\in \mathbb{T}$ as $n\to \mathrm{\infty }$.

• (2) If $\{t_i\}\in \mathfrak{B}$, noting that Definition 3.4, the above sequence $\{{\alpha }_n\}\subset \mathrm{\Pi }$ and the number $\beta \in \mathrm{\Pi }$ is suitable for the increasing sequence $\{t_i\}$, so the proof process is the same as (1). This completes the proof. □

Lemma 3.6 The decomposition of a weighted piecewise pseudo almost automorphic function according to $\mathit{AA}\oplus {\mathit{PAA}}_0$ is unique for any $\rho \in U_B$.

Proof Assume that $f=g_1+{\varphi }_1$ and $f=g_2+{\varphi }_2$. Then $(g_1-g_2)+({\varphi }_1-{\varphi }_2)=0$. Since $g_1-g_2\in \mathit{AA}(\mathbb{T},\mathbb{X})$, and ${\varphi }_1-{\varphi }_2\in {\mathit{PAA}}_0(\mathbb{T},\rho )$, in view of Lemma 3.5, we deduce that $g_1-g_2=0$. Consequently, ${\varphi }_1-{\varphi }_2=0$, i.e. ${\varphi }_1={\varphi }_2$. This completes the proof. □

Theorem 3.7 For $\rho \in U_B$, $(\mathit{WPAA}(\mathbb{T},\rho ),{\parallel \cdot \parallel }_{\mathrm{\infty }})$ is a Banach space.

Proof Assume that ${\{f_n\}}_{n\in \mathbb{N}}$ is a Cauchy sequence in $\mathit{WPAA}(\mathbb{T},\rho )$. We can write uniquely $f_n=g_n+{\varphi }_n$. Using Lemma 3.5, we see that ${\parallel g_p-g_q\parallel }_{\mathrm{\infty }}\le {\parallel f_p-f_q\parallel }_{\mathrm{\infty }}$, from which we deduce that ${\{g_n\}}_{n\in \mathbb{N}}$ is a Cauchy sequence in $\mathit{AA}(\mathbb{T},\mathbb{X})$. Hence, ${\varphi }_n=f_n-g_n$ is a Cauchy sequence in ${\mathit{PAA}}_0(\mathbb{T},\rho )$. We deduce that $g_n\to g\in \mathit{AA}(\mathbb{T},\mathbb{X})$, ${\varphi }_n\to \varphi \in {\mathit{PAA}}_0(\mathbb{T},\rho )$, and finally $f_n\to g+\varphi \in \mathit{WPAA}(\mathbb{T},\rho )$. This completes the proof. □

Definition 3.5 Let ${\rho }_1,{\rho }_2\in U_{\mathrm{\infty }}$. One says that ${\rho }_1$ is equivalent to ${\rho }_2$, written ${\rho }_1\sim {\rho }_2$ if ${\rho }_1/{\rho }_2\in U_B$.

Theorem 3.8 Let ${\rho }_1,{\rho }_2\in U_{\mathrm{\infty }}$. If ${\rho }_1\sim {\rho }_2$, then $\mathit{WPAA}(\mathbb{T},{\rho }_1)=\mathit{WPAA}(\mathbb{T},{\rho }_2)$.

Proof Assume that ${\rho }_1\sim {\rho }_2$. There exist $a,b>0$ such that $a{\rho }_1\le {\rho }_2\le b{\rho }_1$. So

$$am(r,{\rho }_1,t_0)\le m(r,{\rho }_2,t_0)\le bm(r,{\rho }_1,t_0),$$

where $r\in \mathrm{\Pi }$ and

$$\begin{array}{rcl}\frac{a}{b}\frac{1}{m(r,{\rho }_1,t_0)}{\int }_{t_0-r}^{t_0+r}\parallel \varphi (s)\parallel {\rho }_1(s)\mathrm{\nabla }s& \le & \frac{1}{m(r,{\rho }_2,t_0)}{\int }_{t_0-r}^{t_0+r}\parallel \varphi (s)\parallel {\rho }_2(s)\mathrm{\nabla }s\\ \le & \frac{b}{a}\frac{1}{m(r,{\rho }_1,t_0)}{\int }_{t_0-r}^{t_0+r}\parallel \varphi (s)\parallel {\rho }_1(s)\mathrm{\nabla }s.\end{array}$$

This completes the proof. □

Lemma 3.9 If $g\in \mathit{AA}(\mathbb{T}\times \mathbb{X},\mathbb{X})$ and $\alpha \in \mathit{AA}(\mathbb{T},\mathbb{X})$, then $G(t):=g(\cdot ,\alpha (\cdot ))\in \mathit{AA}(\mathbb{T},\mathbb{X})$.

Proof Let $T=\{t_i\}$, $\tilde{\varphi }=(g(t,x),T)\in \mathit{AA}(\mathbb{T}\times \mathbb{X},\mathbb{X})\times \mathfrak{B}$, from every sequence ${\{s_n\}}_{n=1}^{\mathrm{\infty }}\subset \mathrm{\Pi }$, we can extract a subsequence ${\{{\tau }_n\}}_{n=1}^{\mathrm{\infty }}$ such that

$${\tilde{\varphi }}^{\ast }:=(g^{\ast }(t,x),T^{\ast })=\underset{n\to \mathrm{\infty }}{lim}{\theta }_{{\tau }_n}\tilde{\varphi }=\underset{n\to \mathrm{\infty }}{lim}(g(t+{\tau }_n,x),T-{\tau }_n)$$

uniformly exists on ${\mathit{PC}}_{\mathrm{ld}}(\mathbb{T}\times \mathbb{X},\mathbb{X})\times \mathfrak{B}$. Since $\alpha \in \mathit{AA}(\mathbb{T},\mathbb{X})$, one can extract $\{{\tau }_n^{\prime }\}\subset \{{\tau }_n\}$ such that

$$\begin{array}{rcl}\underset{n\to \mathrm{\infty }}{lim}{\theta }_{{\tau }_n^{\prime }}\tilde{\varphi }& =& \underset{n\to \mathrm{\infty }}{lim}(g(t+{\tau }_n^{\prime },\alpha (t+{\tau }_n^{\prime })),T-{\tau }_n^{\prime })\\ =& \underset{n\to \mathrm{\infty }}{lim}(g(t+{\tau }_n^{\prime },{\alpha }^{\ast }(t)),T-{\tau }_n^{\prime })=(g^{\ast }(t,{\alpha }^{\ast }(t)),T^{\ast }).\end{array}$$

Hence, $G\in \mathit{AA}(\mathbb{T},\mathbb{X})$. This completes the proof. □

Theorem 3.10 Let $f=g+\varphi \in \mathit{WPAA}(\mathbb{T}\times \mathbb{X},\rho )$, where $g\in \mathit{AA}(\mathbb{T}\times \mathbb{X},\mathbb{X})$, $\varphi \in {\mathit{PAA}}_0(\mathbb{T}\times \mathbb{X},\rho )$, $\rho \in U_B$, and the following conditions hold:

• (i) $\{f(t,x):t\in \mathbb{T},x\in K\}$ is bounded for every bounded subset $K\subseteq \mathrm{\Omega }$.

• (ii) $f(t,\cdot )$, $g(t,\cdot )$ are uniformly continuous in each bounded subset of Ω uniformly in $t\in \mathbb{T}$.

Then $f(\cdot ,h(\cdot ))\in \mathit{WPAA}(\mathbb{T},\rho )$ if $h\in \mathit{WPAA}(\mathbb{T},\rho )$ and $h(\mathbb{T})\subset \mathrm{\Omega }$.

Proof We have $f=g+\varphi$, where $g\in \mathit{AA}(\mathbb{T}\times \mathbb{X},\mathbb{X})$ and $\varphi \in {\mathit{PAA}}_0(\mathbb{T}\times \mathbb{X},\rho )$ and $h={\varphi }_1+{\varphi }_2$, where ${\varphi }_1\in \mathit{AA}(\mathbb{T},\mathbb{X})$ and ${\varphi }_2\in {\mathit{PAA}}_0(\mathbb{T},\rho )$. Hence, the function $f(\cdot ,h(\cdot ))$ can be decomposed as

$$\begin{array}{rcl}f(\cdot ,h(\cdot ))& =& g(\cdot ,{\varphi }_1(\cdot ))+f(\cdot ,h(\cdot ))-g(\cdot ,{\varphi }_1(\cdot ))\\ =& g(\cdot ,{\varphi }_1(\cdot ))+f(\cdot ,h(\cdot ))-f(\cdot ,{\varphi }_1(\cdot ))+\varphi (\cdot ,{\varphi }_1(\cdot )).\end{array}$$

By Lemma 3.9, $g(\cdot ,{\varphi }_1(\cdot ))\in \mathit{AA}(\mathbb{T},\mathbb{X})$. Now, consider the function

$$\mathrm{\Psi }(\cdot ):=f(\cdot ,h(\cdot ))-f(\cdot ,{\varphi }_1(\cdot )).$$

Clearly, $\mathrm{\Psi }\in {\mathit{BPC}}_{\mathrm{ld}}(\mathbb{T},\mathbb{X})$. For Ψ to be in ${\mathit{PAA}}_0(\mathbb{T},\rho )$, it is sufficient to show that

$$\underset{r\to \mathrm{\infty }}{lim}\frac{1}{m(r,\rho ,t_0)}{\mu }_{\mathrm{\nabla }}(M_{r,\epsilon ,t_0}(\mathrm{\Psi }))=0.$$

Let K be a bounded subset of Ω such that $\varphi (\mathbb{T})\subseteq K$, ${\varphi }_1(\mathbb{T})\subseteq K$. By (ii), $f(t,\cdot )$ is uniformly continuous in $\varphi (\mathbb{T})$ uniformly in $t\in \mathbb{T}$, and we see that, for given $\epsilon >0$, there exists $\delta >0$ such that $y_1,y_2\in K$ and $\parallel y_1-y_2\parallel <\delta$ implies that

$$\parallel f(t,y_1)-f(t,y_2)\parallel <\epsilon ,t\in \mathbb{T}.$$

Thus, for each $t\in \mathbb{T}$, $\parallel {\varphi }_2(t)\parallel <\delta$ implies for all $t\in \mathbb{T}$,

$$\parallel f(t,h(t))-f(t,{\varphi }_1(t))\parallel <\epsilon ,$$

where ${\varphi }_2(t)=h(t)-{\varphi }_1(t)$. For $r>0$ and any fixed $t_0\in \mathbb{T}$, let $M_{r,\delta ,t_0}({\varphi }_2)=\{t\in {[t_0-r,t_0+r]}_{\mathbb{T}}:\parallel {\varphi }_2\parallel \ge \delta \}$, we can obtain

$$\begin{array}{c}\frac{1}{m(r,\rho ,t_0)}{\mu }_{\mathrm{\nabla }}\left(M_{r,\epsilon ,t_0}(\mathrm{\Psi }(t))\right)\hfill \\ =\frac{1}{m(r,\rho ,t_0)}{\mu }_{\mathrm{\nabla }}\left(M_{r,\epsilon ,t_0}(f(t,h(t))-f(t,{\varphi }_1(t)))\right)\hfill \\ \le \frac{1}{m(r,\rho ,t_0)}{\mu }_{\mathrm{\nabla }}\left(M_{r,\delta ,t_0}(h(t)-{\varphi }_1(t))\right)\hfill \\ =\frac{1}{m(r,\rho ,t_0)}{\mu }_{\mathrm{\nabla }}\left(M_{r,\delta ,t_0}({\varphi }_2(t))\right).\hfill \end{array}$$

Now since ${\varphi }_2\in {\mathit{PAA}}_0(\mathbb{T},\rho )$, Lemma 3.2 yields

$$\underset{r\to \mathrm{\infty }}{lim}\frac{1}{m(r,\rho ,t_0)}{\mu }_{\mathrm{\nabla }}\left(M_{r,\epsilon ,t_0}({\varphi }_2(t))\right)=0,$$

and this implies that $\mathrm{\Psi }\in {\mathit{PAA}}_0(\mathbb{T},\rho )$.

Finally, we need to show $\varphi (\cdot ,{\varphi }_1(\cdot ))\in {\mathit{PAA}}_0(\mathbb{T},\rho )$. Note that $f=g+\varphi$ and $g(t,\cdot )$ is uniformly continuous in ${\varphi }_1(\mathbb{T})$ uniformly in $t\in \mathbb{T}$. By the assumption (ii), $f(t,\cdot )$ is uniformly continuous in ${\varphi }_1(\mathbb{T})$ uniformly in $t\in \mathbb{T}$, so is ϕ. Since ${\varphi }_1(\mathbb{T})$ is relatively compact in $\mathbb{X}$, for $\epsilon >0$, there exists $\delta >0$ such that ${\varphi }_1(\mathbb{T})\subset {\bigcup }_{k=1}^m{B}_k$, where $B_k=\{x\in \mathbb{X}:\parallel x-x_k\parallel <\delta \}$ for some $x_k\in {\varphi }_1(\mathbb{T})$ and

$$\parallel \varphi (t,{\varphi }_1(t))-\varphi (t,x_k)\parallel <\frac{\epsilon }{2},{\varphi }_1(t)\in B_k,t\in \mathbb{T}.$$

(3)

It is easy to see that the set $U_k:=\{t\in \mathbb{T}:{\varphi }_1(t)\in B_k\}$ is open and ${\varphi }_1(\mathbb{T})={\bigcup }_{k=1}^m{U}_k$. Define

$$V_1=U_1,V_k=U_k\setminus \bigcup _{i=1}^{k-1}{U}_i,2\le k\le m.$$

Then it is clear that $V_i\cap V_j\ne \mathrm{\varnothing }$ if $i\ne j$, $1\le i,j\le m$. So we get

$$\begin{array}{c}\{t\in {[t_0-r,t_0+r]}_{\mathbb{T}}:\parallel \varphi (t,{\varphi }_1(t))\parallel \ge \frac{\epsilon }{2}\}\hfill \\ \subset \bigcup _{k=1}^m\{t\in V_k:\parallel \varphi (t,{\varphi }_1(t))-\varphi (t,x_k)\parallel +\parallel \varphi (t,x_k)\parallel \ge \epsilon \}\hfill \\ \subset \bigcup _{k=1}^m(\{t\in V_k:\parallel \varphi (t,{\varphi }_1(t))-\varphi (t,x_k)\parallel \ge \frac{\epsilon }{2}\}\cup \{t\in V_k:\parallel \varphi (t,x_k)\parallel \ge \frac{\epsilon }{2}\}).\hfill \end{array}$$

In view of (3), it follows that

$$\{t\in V_k:\parallel \varphi (t,{\varphi }_1(t))-\varphi (t,x_k)\parallel \ge \frac{\epsilon }{2}\}=\mathrm{\varnothing },k=1,2,\dots ,m.$$

Thus we get

$$\frac{1}{m(r,\rho ,t_0)}{\mu }_{\mathrm{\nabla }}\left(M_{r,\epsilon ,t_0}\left(\varphi (t,{\varphi }_1(t))\right)\right)\le \sum _{k=1}^m\frac{1}{m(r,\rho ,t_0)}{\mu }_{\mathrm{\nabla }}\left(M_{r,\epsilon ,t_0}(\varphi (t,x_k))\right).$$

Since $\varphi \in {\mathit{PAA}}_0(\mathbb{T}\times \mathbb{X},\rho )$ and ${lim}_{r\to \mathrm{\infty }}\frac{1}{m(r,\rho ,t_0)}{\mu }_{\mathrm{\nabla }}(M_{r,\epsilon ,t_0}(\varphi (t,x_k)))=0$, it follows that

$$\underset{r\to \mathrm{\infty }}{lim}\frac{1}{m(r,\rho ,t_0)}{\mu }_{\mathrm{\nabla }}\left(M_{r,\epsilon ,t_0}\left(\varphi (t,{\varphi }_1(t))\right)\right)=0,$$

by Lemma 3.2, $\varphi (\cdot ,{\varphi }_1(\cdot ))\in {\mathit{PAA}}_0(\mathbb{T},\rho )$. This completes the proof. □

Theorem 3.10 has the following consequence.

Corollary 3.11 Let $f=g+\varphi \in \mathit{WPAP}(\mathbb{T},\rho )$, where $\rho \in U_B$. Assume that f and g are Lipschitzian in $x\in \mathbb{X}$ uniformly in $t\in \mathbb{T}$. Then $f(\cdot ,h(\cdot ))\in \mathit{WPAA}(\mathbb{T},\rho )$ if $h\in \mathit{WPAA}(\mathbb{T},\rho )$.

Next, we will show the following two lemmas, which are useful in the proof of our results.

Lemma 3.12 If $\phi \in {\mathit{PC}}_{\mathrm{ld}}(\mathbb{T},\mathbb{X})$ is an almost automorphic function with respect to the sequence T and $\{t_k\}\subset \mathbb{T}$ is equipotentially almost automorphic satisfying ${inf}_{i\in \mathbb{Z}}{t}_i^q=\theta >0$, $q\in \mathbb{Z}$, then $\{\phi (t_k)\}$ is an almost automorphic sequence in $\mathbb{X}$.

Proof Let $t_i^j=t_{i+j}-t_i$, $i,j\in \mathbb{Z}$. Obviously, from the definition of Π, it is easy to know that $t_i^j\in \mathrm{\Pi }$. Since $\phi \in {\mathit{PC}}_{\mathrm{ld}}(\mathbb{T},\mathbb{X})$ is an almost automorphic function and $\{t_k\}\subset \mathbb{T}$ is equipotentially almost automorphic, from Definition 3.3 and Definition 3.4, for any sequence $\{s_n\}\subset \mathbb{Z}$, we find that there exists a subsequence $\{s_n^{\prime }\}$ such that

$$\begin{array}{rcl}\underset{n\to \mathrm{\infty }}{lim}(\phi (t_{k+s_n^{\prime }}),T-t_k^{s_n^{\prime }})& =& \underset{n\to \mathrm{\infty }}{lim}(\phi (t_k+t_k^{s_n^{\prime }}),T-t_k^{s_n^{\prime }})=({\phi }^{\ast }(t_k),T^{\ast })\\ =& (\phi (t_k+{\gamma }_k),T-{\gamma }_k)\end{array}$$

and

$$\begin{array}{rcl}\underset{n\to \mathrm{\infty }}{lim}({\phi }^{\ast }(t_{k-s_n^{\prime }}),T^{\ast }+t_k^{-s_n^{\prime }})& =& \underset{n\to \mathrm{\infty }}{lim}(\phi (t_{k-s_n^{\prime }}+{\gamma }_{k-s_n^{\prime }}),T-{\gamma }_{k-s_n^{\prime }}+t_k^{-s_n^{\prime }})\\ =& (\phi (t_k),T).\end{array}$$

Hence, $\{\phi (t_k)\}$ is an almost automorphic sequence in $\mathbb{X}$. This completes the proof. □

Lemma 3.13 A necessary and sufficient condition for a bounded sequence $\{a_n\}$ to be in ${\mathit{PAA}}_0(\mathbb{Z},\rho )$ is that there exists a uniformly continuous function $f\in {\mathit{PAA}}_0(\mathbb{T},\rho )$ such that $f(t_n)=a_n$, $t_n\in \mathbb{T}$, $n\in \mathbb{Z}$, $\rho \in U_B$.

Proof Necessity. We define a function

$$f(t)=a_n+(t-t_0-nr)(a_{n+1}-a_n),t_0+nr\le t<t_0+(n+1)r,t\in \mathbb{T},n\in \mathbb{Z},t_0\in \mathbb{T},$$

where $r\in \mathrm{\Pi }$. It is obviously uniformly continuous on $\mathbb{T}$. $f\in {\mathit{PAA}}_0(\mathbb{T},\rho )$ since

$$\begin{array}{c}\frac{1}{m(kr,\rho ,t_0)}{\int }_{t_0-kr}^{t_0+kr}\parallel f(s)\parallel \rho (s)\mathrm{\nabla }s\hfill \\ =\frac{1}{m(kr,\rho ,t_0)}\sum _{j=-k}^{k-1}{\int }_{t_0+jr}^{t_0+(j+1)r}\parallel a_j+(s-t_0-jr)(a_{j+1}-a_j)\parallel \rho (s)\mathrm{\nabla }s\hfill \\ \le \frac{1}{m(kr,\rho ,t_0)\underline{\rho }}\sum _{j=-k}^{k-1}(\parallel a_j\parallel \rho (t_j)r+\parallel a_{j+1}-a_j\parallel {\int }_{t_0+jr}^{t_0+(j+1)r}(s-t_0-jr)\rho (s)\mathrm{\nabla }s)\hfill \\ \le \frac{1}{\underline{\rho }m(kr,\rho ,t_0)}\sum _{j=-k}^{k-1}r\parallel a_j\parallel \rho (t_j)+\frac{(\parallel a_k\parallel +\parallel a_{-k}\parallel )r^2}{m(kr,\rho ,t_0)}\overline{\rho }\hfill \\ \le \frac{1}{\underline{\rho }{\sum }_{t_j\in {[t_0-kr,t_0+kr]}_{\mathbb{T}}}\nu (t_j)\rho (t_j)}\sum _{j=-k}^{k-1}r\parallel f(t_j)\parallel \rho (t_j)+\frac{\parallel a_k\parallel +\parallel a_{-k}\parallel }{m(kr,\rho ,t_0)}{r}^2\overline{\rho }\hfill \\ =\frac{1}{\underline{\rho }{\sum }_{j=-k}^{k-1}\nu (t_j)\rho (t_j)}\sum _{j=-k}^{k-1}r\parallel f(t_j)\parallel \rho (t_j)+\frac{\parallel a_k\parallel +\parallel a_{-k}\parallel }{m(kr,\rho ,t_0)}{r}^2\overline{\rho }\to 0\text{as }k\to \mathrm{\infty },\hfill \end{array}$$

where $\underline{\rho }={inf}_{t\in \mathbb{T}}\rho (t)$, $\overline{\rho }={sup}_{t\in \mathbb{T}}\rho (t)$.

Sufficiency. Let $0<\epsilon <1$, there exists $\delta >0$ such that, for $t\in {(t_n-\delta ,t_n)}_{\mathbb{T}}$, $n\in \mathbb{Z}$, we have

$$\parallel f(t)\parallel \rho (t)\ge (1-\epsilon )\parallel f(t_n)\parallel \rho (t_n),n\in \mathbb{Z}.$$

Without loss of generality, let $t_n\ge 0$, $t_{-n}<0$, $n\in \mathbb{Z}$, there exist $r_n,r_{-n}\in \mathrm{\Pi }\cap {\mathbb{R}}^{+}$ such that $t_0+r_n=t_n$, $t_0-r_{-n}=t_{-n}$. Let $r_n^{\prime }=max\{r_n,r_{-n}\}\in \mathrm{\Pi }$. Therefore,

$$\begin{array}{rcl}{\int }_{t_0-r_n^{\prime }}^{t_0+r_n^{\prime }}\parallel f(t)\parallel \rho (t)\mathrm{\nabla }t& \ge & {\int }_{t_0-r_{-n}}^{t_0+r_n}\parallel f(t)\parallel \rho (t)\mathrm{\nabla }t={\int }_{t_{-n}}^{t_n}\parallel f(t)\parallel \rho (t)\mathrm{\nabla }t\\ \ge & \sum _{j=-n+1}^n{\int }_{t_0+t_{j-1}}^{t_0+t_j}\parallel f(t)\parallel \rho (t)\mathrm{\nabla }t\\ \ge & \sum _{j=-n+1}^n{\int }_{t_0+t_j-\delta }^{t_0+t_j}\parallel f(t)\parallel \rho (t)\mathrm{\nabla }t\\ \ge & \sum _{j=-n+1}^n\delta (1-\epsilon )\parallel f(t_j)\parallel \rho (t_j)\\ \ge & \delta (1-\epsilon )\sum _{j=-n+1}^n\parallel f(t_j)\parallel \rho (t_j),\end{array}$$

so one can obtain

$$\frac{1}{m(r_n^{\prime },\rho ,t_0)}{\int }_{t_0-r_n^{\prime }}^{t_0+r_n^{\prime }}\parallel f(t)\parallel \rho (t)\mathrm{\nabla }t\ge \delta (1-\epsilon )\frac{1}{m(r_n^{\prime },\rho ,t_0)}\sum _{j=-n+1}^n\parallel f(t_j)\parallel \rho (t_j),$$

(4)

it is easy to see that $r_n^{\prime }$ is increasing with respect to $n\in {\mathbb{Z}}^{+}$, one can find some $n_0>n$ such that

$$m(r_n^{\prime },\rho ,t_0)={\int }_{t_0-r_n^{\prime }}^{t_0+r_n^{\prime }}\rho (s)\mathrm{\nabla }s\le \sum _{t_j\in {[t_0-r_{n_0}^{\prime },t_0+r_{n_0}^{\prime }]}_{\mathbb{T}}}\nu (t_j)\rho (t_j)=\sum _{j=-n_0+1}^{n_0}\nu (t_j)\rho (t_j),$$

(5)

from (4) and (5), we have

$$\frac{1}{m(r_n^{\prime },\rho ,t_0)}{\int }_{t_0-r_n^{\prime }}^{t_0+r_n^{\prime }}\parallel f(t)\parallel \rho (t)\mathrm{\nabla }t\ge \delta (1-\epsilon )\frac{1}{{\sum }_{j=-n_0+1}^{n_0}\nu (t_j)\rho (t_j)}\sum _{j=-n_0+1}^{n_0}\parallel {\varphi }_2(t_j)\parallel \rho (t_j),$$

(6)

noting that $n\to \mathrm{\infty }$ implies $n_0\to \mathrm{\infty }$, since $f\in {\mathit{PAA}}_0(\mathbb{T},\rho )$, it follows from the inequality (6) that $f(t_n)=a_n\in {\mathit{PAA}}_0(\mathbb{Z},\rho )$. This completes the proof. □

By Lemma 3.13, we can straightforwardly get the following theorem.

Theorem 3.14 A necessary and sufficient condition for a bounded sequence $\{a_n\}$ to be in $\mathit{WPAA}(\mathbb{Z},\rho )$ is that there exists a uniformly continuous function $f\in \mathit{WPAA}(\mathbb{T},\rho )$ such that $f(t_n)=a_n$, $t_n\in \mathbb{T}$, $n\in \mathbb{Z}$, $\rho \in U_B$.

Theorem 3.15 Assume that $\rho \in U_B$ and the sequence of vector-valued functions ${\{I_i\}}_{i\in \mathbb{Z}}$ is weighted pseudo almost automorphic, i.e., for any $x\in \mathrm{\Omega }$, $\{I_i(x),i\in \mathbb{Z}\}$ is weighted pseudo almost automorphic sequence. Suppose $\{I_i(x):i\in \mathbb{Z},x\in K\}$ is bounded for every bounded subset $K\subseteq \mathrm{\Omega }$, $I_i(x)$ is uniformly continuous in $x\in \mathrm{\Omega }$ uniformly in $i\in \mathbb{Z}$. If $h\in \mathit{WPAA}(\mathbb{T},\rho )\cap \mathit{UPC}(\mathbb{T},\mathbb{X})$ such that $h(\mathbb{T})\subset \mathrm{\Omega }$, then $I_i(h(t_i))$ is a weighted pseudo almost automorphic sequence.

Proof Fix $h\in \mathit{WPAA}(\mathbb{T},\rho )\cap \mathit{UPC}(\mathbb{T},\mathbb{X})$, first we show $h(t_i)$ is weighted pseudo almost automorphic. Since $h={\varphi }_1+{\varphi }_2$, where ${\varphi }_1\in \mathit{AA}(\mathbb{T},\mathbb{X})$, ${\varphi }_2\in {\mathit{PAA}}_0(\mathbb{T},\rho )$. It follows from Lemma 3.12 that the sequence ${\varphi }_1(t_i)$ is almost automorphic. To show that $h(t_i)$ is weighted pseudo almost automorphic, we need to show that ${\varphi }_2(t_i)\in {\mathit{PAA}}_0(\mathbb{Z},\rho )$. By the assumption, $h,{\varphi }_1\in \mathit{UPC}(\mathbb{T},\mathbb{X})$, so is ${\varphi }_2$. Let $0<\epsilon <1$, there exists $\delta >0$ such that, for $t\in {(t_i-\delta ,t_i)}_{\mathbb{T}}$, $i\in \mathbb{Z}$, we have

$$\parallel {\varphi }_2(t)\parallel \rho (t)\ge (1-\epsilon )\parallel {\varphi }_2(t_i)\parallel \rho (t_i),i\in \mathbb{Z}.$$

Without loss of generality, let $t_i\ge 0$, $t_{-i}<0$, $i\in \mathbb{Z}$; there exists $r_i,r_{-i}\in \mathrm{\Pi }\cap {\mathbb{R}}^{+}$ such that $t_0+r_i=t_i$, $t_0-r_{-i}=t_{-i}$. Let $r_i^{\prime }=max\{r_i,r_{-i}\}\in \mathrm{\Pi }$. Therefore,

$$\begin{array}{rcl}{\int }_{t_0-r_i^{\prime }}^{t_0+r_i^{\prime }}\parallel {\varphi }_2(t)\parallel \rho (t)\mathrm{\nabla }t& \ge & {\int }_{t_0-r_{-i}}^{t_0+r_i}\parallel {\varphi }_2(t)\parallel \rho (t)\mathrm{\nabla }t={\int }_{t_{-i}}^{t_i}\parallel {\varphi }_2(t)\parallel \rho (t)\mathrm{\nabla }t\\ \ge & \sum _{j=-i+1}^i{\int }_{t_0+t_{j-1}}^{t_0+t_j}\parallel {\varphi }_2(t)\parallel \rho (t)\mathrm{\nabla }t\\ \ge & \sum _{j=-i+1}^i{\int }_{t_0+t_j-\delta }^{t_0+t_j}\parallel {\varphi }_2(t)\parallel \rho (t)\mathrm{\nabla }t\\ \ge & \sum _{j=-i+1}^i\delta (1-\epsilon )\parallel {\varphi }_2(t_j)\parallel \rho (t_j)\\ \ge & \delta (1-\epsilon )\sum _{j=-i+1}^i\parallel {\varphi }_2(t_j)\parallel \rho (t_j),\end{array}$$

so one can obtain

$$\frac{1}{m(r_i^{\prime },\rho ,t_0)}{\int }_{t_0-r_i^{\prime }}^{t_0+r_i^{\prime }}\parallel {\varphi }_2(t)\parallel \rho (t)\mathrm{\nabla }t\ge \delta (1-\epsilon )\frac{1}{m(r_i^{\prime },\rho ,t_0)}\sum _{j=-i+1}^i\parallel {\varphi }_2(t_j)\parallel \rho (t_j),$$

(7)

it is easy to see that $r_i^{\prime }$ is increasing with respect to $i\in {\mathbb{Z}}^{+}$, and one can find some $i_0>i$ such that

$$m(r_i^{\prime },\rho ,t_0)={\int }_{t_0-r_i^{\prime }}^{t_0+r_i^{\prime }}\rho (s)\mathrm{\nabla }s\le \sum _{t_j\in {[t_0-r_{i_0}^{\prime },t_0+r_{i_0}^{\prime }]}_{\mathbb{T}}}\nu (t_j)\rho (t_j)=\sum _{j=-i_0+1}^{i_0}\nu (t_j)\rho (t_j),$$

(8)

from (7) and (8), we have

$$\frac{1}{m(r_i^{\prime },\rho ,t_0)}{\int }_{t_0-r_i^{\prime }}^{t_0+r_i^{\prime }}\parallel {\varphi }_2(t)\parallel \rho (t)\mathrm{\nabla }t\ge \delta (1-\epsilon )\frac{1}{{\sum }_{j=-i_0+1}^{i_0}\nu (t_j)\rho (t_j)}\sum _{j=-i_0+1}^{i_0}\parallel {\varphi }_2(t_j)\parallel \rho (t_j),$$

(9)

noting that $i\to \mathrm{\infty }$ implies $i_0\to \mathrm{\infty }$, since ${\varphi }_2\in {\mathit{PAA}}_0(\mathbb{T},\rho )$, it follows from the inequality (9) that ${\varphi }_2(t_i)\in {\mathit{PAA}}_0(\mathbb{Z},\rho )$. Hence, $h(t_i)$ is weighted pseudo almost automorphic.

Now, we show that $I_i(\varphi (t_i))$ is weighted pseudo almost automorphic. Let

$$\begin{array}{c}I(t,x)=I_n(x)+(t-t_0-nr)[I_{n+1}(x)-I_n(x)],t_0+nr\le t<t_0+(n+1)r,n\in \mathbb{Z},r\in \mathrm{\Pi },\hfill \\ {\mathrm{\Phi }}_0(t)=h(t_n)+(t-t_0-nr)[h(t_{n+1})-h(t_n)],t_0+nr\le t<t_0+(n+1)r,n\in \mathbb{Z},r\in \mathrm{\Pi }.\hfill \end{array}$$

Since $I_n$, $h(t_n)$ both are pseudo almost automorphic, by Lemma 3.13 and Theorem 3.14, we know that $I\in \mathit{WPAA}(\mathbb{T}\times \mathrm{\Omega },\rho )$, ${\mathrm{\Phi }}_0\in \mathit{WPAA}(\mathbb{T},\rho )$. For every $t\in \mathbb{T}$, there exists a number $n\in \mathbb{Z}$ such that $|t-t_0-nr|\le r$,

$$\begin{array}{rcl}\parallel I(t,x)\parallel & \le & \parallel I_n(x)\parallel +|t-t_0-nr|[\parallel I_{n+1}(x)\parallel +\parallel I_n(x)\parallel ]\\ \le & (1+r)\parallel I_n(x)\parallel +r\parallel I_{n+1}(x)\parallel .\end{array}$$

Since $\{I_n(x):n\in \mathbb{Z},x\in K\}$ is bounded for every bounded set $K\subseteq \mathrm{\Omega }$, $\{I(t,x):t\in \mathbb{T},x\in K\}$ is bounded for every bounded set $K\subseteq \mathrm{\Omega }$. For every $x_1,x_2\in \mathrm{\Omega }$, we have

$$\begin{array}{rcl}\parallel I(t,x_1)-I(t,x_2)\parallel & \le & \parallel I_n(x_1)-I_n(x_2)\parallel +|t-t_0-nr|[\parallel I_{n+1}(x_1)-I_{n+1}(x_2)\parallel \\ +\parallel I_n(x_1)-I_n(x_2)\parallel ]\\ \le & (1+r)\parallel I_n(x_1)-I_n(x_2)\parallel +r\parallel I_{n+1}(x_1)-I_{n+1}(x_2)\parallel .\end{array}$$

Noting that $I_i(x)$ is uniformly continuous in $x\in \mathrm{\Omega }$ uniformly in $i\in \mathbb{Z}$, we then find that $I(t,x)$ is uniformly in $x\in \mathrm{\Omega }$ uniformly in $t\in \mathbb{T}$. Then by Theorem 3.10, $I(\cdot ,{\mathrm{\Phi }}_0(\cdot ))\in \mathit{WPAA}(\mathbb{T},\mathbb{X})$. Again, using Lemma 3.13 and Theorem 3.14, we find that $I(i,{\mathrm{\Phi }}_0(i))$ is a weighted pseudo almost automorphic sequence, that is, $I_i(h(t_i))$ is weighted pseudo almost automorphic. This completes the proof. □

From Theorem 3.15, one can easily get the following corollary.

Corollary 3.16 Assume the sequence of vector-valued functions ${\{I_i\}}_{i\in \mathbb{Z}}$ is weighted pseudo almost automorphic, $\rho \in U_B$, if there is a number $L>0$ such that

$$\parallel I_i(x)-I_i(y)\parallel \le L\parallel x-y\parallel$$

for all $x,y\in \mathrm{\Omega }$, $i\in \mathbb{Z}$, if $h\in \mathit{WPAA}(\mathbb{T},\rho )\cap \mathit{UPC}(\mathbb{T},\rho )$ such that $h(\mathbb{T})\subset \mathrm{\Omega }$, then $I_i(h(t_i))$ is a weighted pseudo almost automorphic sequence.

4 Weighted piecewise pseudo almost automorphic mild solutions to abstract impulsive ∇-dynamic equations

In this section, we investigate the existence and exponential stability of a weighted piecewise pseudo almost automorphic mild solution to Eq. (1). Before starting our investigation, we will show a lemma which will be used in our proofs.

Lemma 4.1 Let ${\ominus }_{\nu }\omega \in {\mathcal{R}}_{\nu }^{+}$, for all $t\in \mathbb{T}$, $\alpha \in \mathrm{\Pi }$, there exist constants ${\beta }_1,{\beta }_2>0$ such that

$${\beta }_1\nu (t)\le \nu (t+\alpha )\le {\beta }_2\nu (t).$$

(10)

Then there exist positive constants $K^{\ast }$ and ${\omega }^{\ast }$ such that

$${\hat{e}}_{{\ominus }_{\nu }\omega }(t+\alpha ,s+\alpha )\le K^{\ast }{\hat{e}}_{{\ominus }_{\nu }{\omega }^{\ast }}(t,s),t\ge s.$$

Proof Obviously, if $\nu =0$, $\mathbb{T}=\mathbb{R}$, the result holds. Assume that $\nu \not\equiv 0$. Since ${\ominus }_{\nu }\omega \in {\mathcal{R}}_{\nu }^{+}$, one has

$$\begin{array}{rcl}{e}_{{\ominus }_{\nu }\omega }(t+\alpha ,s+\alpha )& =& exp\{-{\int }_{s+\alpha }^{t+\alpha }\frac{1}{\nu (\tau )}ln\frac{1}{1-\nu (\tau )\omega }\mathrm{\nabla }\tau \}\\ =& exp\{-{\int }_s^t\frac{1}{\nu (\tau +\alpha )}ln\frac{1}{1-\nu (\tau +\alpha )\omega }\mathrm{\nabla }\tau \}.\end{array}$$

Since $\mathbb{T}$ is an almost periodic time scale, μ is bounded. Hence, by the inequality (10), we can obtain

$$\begin{array}{rcl}{\hat{e}}_{{\ominus }_{\nu }\omega }(t+\alpha ,s+\alpha )& \le & exp\{-{\int }_s^t\frac{1}{{\beta }_2\nu (\tau )}ln\frac{1}{1-{\beta }_1\nu (\tau )\omega }\mathrm{\nabla }\tau \}\\ =& {\{exp\{-{\int }_s^t\frac{ln(1-\nu (\tau )({\ominus }_{\nu }{\beta }_1\omega ))}{\nu (\tau )}\}\}}^{\frac{1}{{\beta }_2}}.\end{array}$$

Therefore, there exists a positive constant $K^{\ast }>0$ such that

$${\hat{e}}_{{\ominus }_{\nu }\omega }(t+\alpha ,s+\alpha )={[{\hat{e}}_{{\ominus }_{\nu }{\beta }_1\omega }(t,s)]}^{\frac{1}{{\beta }_2}}\le K^{\ast }{\hat{e}}_{{\ominus }_{\nu }{\omega }^{\ast }}(t,s),$$

where ${\omega }^{\ast }={\beta }_1\omega$. This completes the proof. □

Remark 4.2 It is easy to see that if $\mathbb{T}$ is almost periodic, then $\mu (t)$ is bounded, so there exist a sufficiently small constant ${\beta }_1>0$ and a sufficiently large constant ${\beta }_2>0$ such that (10) is valid. Therefore, Lemma 4.1 holds when $\mathbb{T}$ is an almost periodic time scale.

Let $\mathbb{T}$ be an almost periodic time scale, and consider the impulsive ∇-dynamic equation

$$x^{\mathrm{\nabla }}=A(t)x^{\varrho },t\in \mathbb{T},$$

(11)

where $A:\mathbb{T}\to B(\mathbb{X})$ is a linear operator in the Banach space $\mathbb{T}$. We denote by $B(\mathbb{X},\mathbb{Y})$ the Banach space of all bounded linear operators from $\mathbb{T}$ to $\mathbb{Y}$. This is simply denoted as $B(\mathbb{X})$ when $\mathbb{X}=\mathbb{Y}$.

Definition 4.1 $T(t,s):\mathbb{T}\times \mathbb{T}\to B(\mathbb{X})$ is called the linear evolution operator associated to (11) if $T(t,s)$ satisfies the following conditions:

• (1) $T(s,s)=\mathrm{Id}$, where Id denotes the identity operator in $\mathbb{X}$;

• (2) $T(t,s)T(s,r)=T(t,r)$;

• (3) the mapping $(t,s)\to T(t,s)x$ is continuous for any fixed $x\in \mathbb{X}$.

Definition 4.2 An evolution system $T(t,s)$ is called exponentially stable if there exist $K_0\ge 1$ and $\omega >0$ such that

$${\parallel T(t,s)\parallel }_{B(\mathbb{X})}\le K_0{\hat{e}}_{{\ominus }_{\nu }\omega }(t,s),t\ge s.$$

Definition 4.3 A function $x:\mathbb{T}\to \mathbb{X}$ is called a mild solution of Eq. (1) if, for any $t\in \mathbb{T}$, $t>c$, $c\ne t_i$, $i\in \mathbb{Z}$, one has

$$x(t)=T(t,c)x(c)+{\int }_c^{t}T(t,s)f(s,x(s))\mathrm{\nabla }s+\sum _{c<t_i<t}T(t,t_i)I_i(x(t_i)).$$

In fact, using the semigroup theory, we can easily see that

$$x(t)=T(t,c)x(c)+{\int }_c^{t}T(t,s)f(s,x(s))\mathrm{\nabla }s,t>c,$$

is a mild solution to

$$x^{\mathrm{\nabla }}=A(t)x^{\varrho }+f(t,x(t)).$$

For any $c\in \mathbb{T}$, we can find $i\in \mathbb{Z}$, $t_{i-1}<c\le t_i$, for $t\in {(c,t_i]}_{\mathbb{T}}$,

$$x(t)=T(t,c)x(c)+{\int }_c^{t}T(t,s)f(s,x(s))\mathrm{\nabla }s,$$

by using $x(t_i^{+})-x(t_i^{-})=I_i(x(t_i))$, we have

$$x\left(t_i^{+}\right)=T(t_i,c)x(c)+{\int }_c^{t_i}T(t_i,s)f(s,x(s))\mathrm{\nabla }s+I_i(x(t_i)),$$

then we have

$$\begin{array}{rcl}x(t)& =& T(t,t_i)x\left(t_i^{+}\right)+{\int }_{t_i}^{t}T(t,s)f(s,u(s))\mathrm{\nabla }s\\ =& T(t,t_i)[T(t_i,c)x(c)+{\int }_c^{t_i}T(t_i,s)f(s,x(s))\mathrm{\nabla }s+I_i(x(t_i))]\\ +{\int }_{t_i}^{t}T(t,s)f(s,x(s))\mathrm{\nabla }s\\ =& T(t,c)x(c)+{\int }_c^{t_i}T(t,s)f(s,x(s))\mathrm{\nabla }s+T(t,t_i)I_i(x(t_i))\\ +{\int }_{t_i}^{t}T(t,s)f(s,x(s))\mathrm{\nabla }s\\ =& T(t,c)x(c)+{\int }_c^{t}T(t,s)f(s,x(s))\mathrm{\nabla }s+T(t,t_i)I_i(x(t_i)).\end{array}$$

Repeating this procedure, we get

$$x(t)=T(t,c)x(c)+{\int }_c^{t}T(t,s)f(s,x(s))\mathrm{\nabla }s+\sum _{c<t_i<t}T(t,t_i)I_i(x(t_i)).$$

In the following, consider the abstract differential system (1) with the following assumptions:

(H₁) The family $\{A(t):t\in \mathbb{T}\}$ of operators in $\mathbb{X}$ generates an exponentially stable evolution system $\{T(t,s):t\ge s\}$, i.e., there exist $K_0>1$ and $\omega >0$ such that

$${\parallel T(t,s)\parallel }_{B(\mathbb{X})}\le K_0{e}_{\ominus \omega }(t,s),t\ge s,$$

and for any sequence $\{s_n\}\subset \mathrm{\Pi }$, there exists a subsequence $\{s_n^{\prime }\}\subset \{s_n\}$ such that

$$\underset{n\to \mathrm{\infty }}{lim}T(t+s_n^{\prime },s+s_n^{\prime })=T^{\ast }(t,s)\text{ is well defined for each }t,s\in \mathbb{T},t\ge s.$$

(H₂) $f=g+\varphi \in \mathit{WPAP}(\mathbb{T},\rho )$, where $\rho \in U_{\mathrm{\infty }}$ and $f(t,\cdot )$ is uniformly continuous in each bounded subset of Ω uniformly in $t\in \mathbb{T}$; $I_i$ is a weighted pseudo almost periodic sequence, $I_i(x)$ is uniformly continuous in $x\in \mathrm{\Omega }$ uniformly in $i\in \mathbb{Z}$, ${inf}_{i\in \mathbb{Z}}{t}_i^1=\theta >0$.

To investigate the existence and uniqueness of a weighted piecewise pseudo almost automorphic mild solution to Eq. (1), we need the following lemma.

Lemma 4.3 Let $v\in \mathit{AA}(\mathbb{T},\mathbb{X})$, $\nu \in \mathit{AA}(\mathbb{T},{\mathbb{R}}^{+})$, $\omega \in {\mathcal{R}}_{\nu }^{+}$ and (H₁)-(H₂) are satisfied. If $u:\mathbb{T}\to \mathbb{X}$ is defined by

$$u_0(t)={\int }_{-\mathrm{\infty }}^{t}T(t,s)v(s)\mathrm{\nabla }s+\sum _{t_i<t}T(t,t_i)I_i(v(t_i)),t\ge s,$$

then $u_0(\cdot )\in \mathit{AA}(\mathbb{T},\mathbb{X})$.

Proof Let ${\{s_n\}}_{n=1}^{\mathrm{\infty }}\subset \mathrm{\Pi }$. Since v is almost automorphic, there exists a subsequence ${\{{\tau }_n\}}_{n=1}^{\mathrm{\infty }}\subset {\{s_n\}}_{n=1}^{\mathrm{\infty }}$ such that $h(t):={lim}_{n\to \mathrm{\infty }}v(t+{\tau }_n)$ is well defined for each $t\in \mathbb{T}$.

Now, we consider

$$\begin{array}{rcl}u(t+{\tau }_n)& =& {\int }_{-\mathrm{\infty }}^{t+{\tau }_n}T(t+{\tau }_n,s)v(s)\mathrm{\nabla }s={\int }_{-\mathrm{\infty }}^{t}T(t+{\tau }_n,s+{\tau }_n)v(s+{\tau }_n)\mathrm{\nabla }s\\ =& {\int }_{-\mathrm{\infty }}^{t}T(t+{\tau }_n,s+{\tau }_n)v_n(s)\mathrm{\nabla }s,\end{array}$$

where $v_n(s)=v(s+{\tau }_n)$, $n=1,2,\dots$ .

Since $\omega \in {\mathcal{R}}_{\nu }^{+}$, one can choose sufficiently small constant ${\beta }_1>0$ such that ${\omega }^{\ast }={\beta }_1\omega$ is ν-positive regressive. Further, noting that ${\hat{e}}_{{\ominus }_{\nu }{\omega }^{\ast }}(t,s)(1-\nu (s){\omega }^{\ast })={\hat{e}}_{{\ominus }_{\nu }{\omega }^{\ast }}(t,\varrho (s))$, by (H₁) and Lemma 4.1, we have

$$\begin{array}{rcl}\parallel u(t+{\tau }_n)\parallel & \le & {\int }_{-\mathrm{\infty }}^t\parallel T(t+{\tau }_n,s+{\tau }_n)v_n(s)\parallel \mathrm{\nabla }s\\ \le & {\int }_{-\mathrm{\infty }}^t{K}_0{\hat{e}}_{{\ominus }_{\nu }\omega }(t+{\tau }_n,s+{\tau }_n)\parallel v_n(s)\parallel \mathrm{\nabla }s\\ \le & K_0{K}^{\ast }{\int }_{-\mathrm{\infty }}^t{\hat{e}}_{{\ominus }_{\nu }{\omega }^{\ast }}(t,s)\parallel v_n(s)\parallel \mathrm{\nabla }s\\ \le & \frac{1}{1-\overline{\nu }{\omega }^{\ast }}{K}_0{K}^{\ast }\parallel v\parallel {\int }_{-\mathrm{\infty }}^t{\hat{e}}_{{\ominus }_{\nu }{\omega }^{\ast }}(t,\varrho (s))\mathrm{\nabla }s\\ =& \frac{K_0{K}^{\ast }\parallel v\parallel }{(1-\overline{\nu }{\omega }^{\ast }){\ominus }_{\nu }{\omega }^{\ast }}[{\hat{e}}_{{\ominus }_{\nu }{\omega }^{\ast }}(t,-\mathrm{\infty })-{\hat{e}}_{{\ominus }_{\nu }{\omega }^{\ast }}(t,t)]\\ \le & \frac{K_0{K}^{\ast }(1-\underline{\nu }{\omega }^{\ast })\parallel v\parallel }{(1-\overline{\nu }{\omega }^{\ast }){\omega }^{\ast }},\end{array}$$

where $\overline{\nu }={sup}_{t\in \mathbb{T}}\nu (t)$, $\underline{\nu }={inf}_{t\in \mathbb{T}}\nu$.

Therefore, by the condition (H₁), we have

$$T(t+{\tau }_n,s+{\tau }_n)\to T^{\ast }(t,s),n\to \mathrm{\infty }.$$

Furthermore, it is easy to see that $v_n(s)\to h(s)$ as $n\to \mathrm{\infty }$, $\mathrm{\forall }s\in \mathbb{T}$ and for any $t\ge s$, by Lebesgue’s dominated convergence theorem, we get

$$\underset{n\to \mathrm{\infty }}{lim}u(t+{\tau }_n)={\int }_{-\mathrm{\infty }}^t{T}^{\ast }(t,s)h(s)\mathrm{\nabla }s.$$

Moreover, we consider

$$\begin{array}{rcl}{u}^{\prime }(t+{\tau }_n)& =& \sum _{t_i<t+{\tau }_n}T(t+{\tau }_n,t_i)I_i(v_i(t_i))=\sum _{t_i<t}T(t+{\tau }_n,t_i+{\tau }_n)I_i(v(t_i+{\tau }_n))\\ =& \sum _{t_i<t}T(t+{\tau }_n,t_i+{\tau }_n)I_i(v_{in}),\end{array}$$

where $v(t_i+{\tau }_n):=v_{in}$. By Lemma 4.1, we can get

$$\begin{array}{rcl}\parallel u^{\prime }(t+{\tau }_n)\parallel & =& \parallel \sum _{t_i<t+{\tau }_n}T(t+{\tau }_n,t_i)I_i(v_i(t_i))\parallel =\parallel \sum _{t_i<t}T(t+{\tau }_n,t_i+{\tau }_n)I_i(v_{in})\parallel \\ \le & I{K}_0\sum _{t_i<t}{\hat{e}}_{{\ominus }_{\nu }\omega }(t+{\tau }_n,t_i+{\tau }_n)\\ \le & I{K}_0{K}^{\ast }\sum _{t_i<t}{\hat{e}}_{{\ominus }_{\nu }{\omega }^{\ast }}(t,t_i)\le \frac{I{K}_0{K}^{\ast }}{1-{\hat{e}}_{{\ominus }_{\nu }{\omega }^{\ast }}(\theta ,0)}.\end{array}$$

Since $v\in \mathit{AA}(\mathbb{T},\mathbb{X})$, $v_{in}\to h(t_i)$, $n\to \mathrm{\infty }$, $\mathrm{\forall }i\in \mathbb{Z}$. Hence, for any $t>t_i$, $i\in \mathbb{Z}$, by Lebesgue’s dominated convergence theorem, we get

$$\underset{n\to \mathrm{\infty }}{lim}{u}^{\prime }(t+{\tau }_n)=\sum _{t_i<t}{T}^{\ast }(t,t_i)I_i(h(t_i)).$$

So we have

$$\underset{n\to \mathrm{\infty }}{lim}{u}_0(t+{\tau }_n)=\underset{n\to \mathrm{\infty }}{lim}u(t+{\tau }_n)+\underset{n\to \mathrm{\infty }}{lim}{u}^{\prime }(t+{\tau }_n)$$

is well defined for each $t\in \mathbb{T}$. Therefore, $u_0(\cdot )\in \mathit{AA}(\mathbb{T},\mathbb{X})$. This completes the proof. □

Theorem 4.4 Let $f(\cdot ,\vartheta (\cdot ))\in \mathit{WPAA}(\mathbb{T},\rho )$, where $\vartheta \in \mathit{WPAA}(\mathbb{T},\rho )$ and $\{T(t,s),t\ge s\}$ is exponentially stable, $\rho \in U_B$. Then

$$F(\cdot ):={\int }_{-\mathrm{\infty }}^{(\cdot )}T(\cdot ,s)f(s,\vartheta (s))\mathrm{\nabla }s+\sum _{t_i<\cdot }T(\cdot ,t_i)I_i(\vartheta (t_i))\in \mathit{WPAA}(\mathbb{T},\rho ).$$

Proof Fix $\vartheta \in \mathit{WPAA}(\mathbb{T},\mathbb{X})$, then we have $f(\cdot ,\vartheta (\cdot ))={\varphi }_1(\cdot )+{\varphi }_2(\cdot )$, where ${\varphi }_1\in \mathit{AA}(\mathbb{T},\mathbb{X})$, ${\varphi }_2\in {\mathit{PAA}}_0(\mathbb{T},\mathbb{X})$, so

$${\int }_{-\mathrm{\infty }}^{t}T(t,s)f(s,\vartheta (s))\mathrm{\nabla }s={\int }_{-\mathrm{\infty }}^{t}T(t,s){\varphi }_1(s)\mathrm{\nabla }s+{\int }_{-\mathrm{\infty }}^{t}T(t,s){\varphi }_2(s)\mathrm{\nabla }s:=I_1(t)+I_2(t)$$

and

$$\sum _{t_i<t}T(t,t_i)I_i(\vartheta (t_i))=\sum _{t_i<t}T(t,t_i){\beta }_i+\sum _{t_i<t}T(t,t_i){\gamma }_i:={\mathrm{\Upsilon }}_1(t)+{\mathrm{\Upsilon }}_2(t).$$

By Lemma 4.3, we can easily see that $I_1,{\mathrm{\Upsilon }}_1\in \mathit{AA}(\mathbb{T},\mathbb{X})$.

Moreover, we have

$$\begin{array}{c}\frac{1}{m(r,\rho ,t_0)}{\int }_{t_0-r}^{t_0+r}\parallel I_2(t)\parallel \mathrm{\nabla }t\hfill \\ =\frac{1}{m(r,\rho ,t_0)}{\int }_{t_0-r}^{t_0+r}\parallel {\int }_{-\mathrm{\infty }}^{t}T(t,s){\varphi }_2(s)\mathrm{\nabla }s\parallel \mathrm{\nabla }t\hfill \\ \le \frac{1}{m(r,\rho ,t_0)}{\int }_{t_0-r}^{t_0+r}\mathrm{\nabla }t{\int }_{-\mathrm{\infty }}^t{K}_0{\hat{e}}_{{\ominus }_{\nu }\omega }(t,s)\parallel {\varphi }_2(s)\parallel \mathrm{\nabla }s\hfill \\ =\frac{1}{m(r,\rho ,t_0)}{\int }_{t_0-r}^{t_0+r}\mathrm{\nabla }t({\int }_{-\mathrm{\infty }}^{t_0-r}{K}_0{\hat{e}}_{{\ominus }_{\nu }\omega }(t,s)\parallel {\varphi }_2(s)\parallel \mathrm{\nabla }s\hfill \\ +{\int }_{t_0-r}^t{K}_0{\hat{e}}_{{\ominus }_{\nu }\omega }(t,s)\parallel {\varphi }_2(s)\parallel \mathrm{\nabla }s)\hfill \\ =\frac{1}{m(r,\rho ,t_0)}{\int }_{-\mathrm{\infty }}^{t_0-r}\parallel {\varphi }_2(s)\parallel \mathrm{\nabla }s{\int }_{t_0-r}^{t_0+r}{K}_0{\hat{e}}_{{\ominus }_{\nu }\omega }(t,s)\mathrm{\nabla }s\hfill \\ +\frac{1}{m(r,\rho ,t_0)}{\int }_{t_0-r}^{t_0+r}\parallel {\varphi }_2(s)\parallel \mathrm{\nabla }s{\int }_s^{t_0+r}{K}_0{\hat{e}}_{{\ominus }_{\nu }\omega }(t,s)\mathrm{\nabla }t\hfill \\ :=I_1^0+I_2^0.\hfill \end{array}$$

Then

$$\begin{array}{rcl}{I}_1^0& =& \frac{1}{m(r,\rho ,t_0)}{\int }_{-\mathrm{\infty }}^{t_0-r}\parallel {\varphi }_2(s)\parallel \mathrm{\nabla }s{\int }_{t_0-r}^{t_0+r}{K}_0{\hat{e}}_{{\ominus }_{\nu }\omega }(t,s)\mathrm{\nabla }t\\ =& \frac{1}{m(r,\rho ,t_0)}{\int }_{-\mathrm{\infty }}^{t_0-r}\parallel {\varphi }_2(s)\parallel \mathrm{\nabla }s{\int }_{t_0-r}^{t_0+r}\frac{K_0}{1-\nu ({\ominus }_{\nu }\omega )}{\hat{e}}_{{\ominus }_{\nu }\omega }(\varrho (t),s)\mathrm{\nabla }t\\ \le & \frac{1}{m(r,\rho ,t_0)}{K}_0(1-\underline{\nu }\omega ){\int }_{-\mathrm{\infty }}^{t_0-r}\parallel {\varphi }_2(s)\parallel \mathrm{\nabla }s{\int }_{t_0-r}^{t_0+r}{\hat{e}}_{\omega }(s,\varrho (t))\mathrm{\nabla }t\\ =& \frac{1}{m(r,\rho ,t_0)}\frac{K_0(1-\underline{\nu }\omega )}{\omega }{\int }_{-\mathrm{\infty }}^{t_0-r}\parallel {\varphi }_2(s)\parallel [{\hat{e}}_{\omega }(s,t_0-r)-{\hat{e}}_{\omega }(s,t_0+r)]\mathrm{\nabla }s\\ \le & \frac{1}{m(r,\rho ,t_0)}\frac{K_0(1-\underline{\nu }\omega )}{\omega }\parallel {\varphi }_2\parallel ({\int }_{-\mathrm{\infty }}^{t_0-r}{\hat{e}}_{{\ominus }_{\nu }\omega }(t_0-r,s)\mathrm{\nabla }s-{\int }_{-\mathrm{\infty }}^{t_0-r}{\hat{e}}_{{\ominus }_{\nu }\omega }(t_0+r,s)\mathrm{\nabla }s)\\ =& \frac{1}{m(r,\rho ,t_0)}\frac{K_0{(1-\underline{\nu }\omega )}^2}{\omega }\frac{1}{{\ominus }_{\nu }\omega }({\hat{e}}_{{\ominus }_{\nu }\omega }(t_0-r,-\mathrm{\infty })-{\hat{e}}_{{\ominus }_{\nu }\omega }(t_0-r,t_0-r)\\ -{\hat{e}}_{{\ominus }_{\nu }\omega }(t_0+r,-\mathrm{\infty })+{\hat{e}}_{{\ominus }_{\nu }\omega }(t_0+r,t_0-r))\to 0\text{as }r\to \mathrm{\infty }\end{array}$$

and

$$\begin{array}{rcl}{I}_2^0& =& \frac{1}{m(r,\rho ,t_0)}{\int }_{t_0-r}^{t_0+r}\parallel {\varphi }_2(s)\parallel \mathrm{\nabla }s{\int }_s^{t_0+r}{K}_0{\hat{e}}_{{\ominus }_{\nu }\omega }(t,s)\mathrm{\nabla }t\\ =& \frac{1}{m(r,\rho ,t_0)}{\int }_{t_0-r}^{t_0+r}\parallel {\varphi }_2(s)\parallel \mathrm{\nabla }s{\int }_s^{t_0+r}\frac{1}{1-\nu ({\ominus }_{\nu }\omega )}{\hat{e}}_{{\ominus }_{\nu }\omega }(\varrho (t),s)\mathrm{\nabla }t\\ \le & \frac{1}{m(r,\rho ,t_0)}{K}_0(1-\underline{\nu }\omega ){\int }_{t_0-r}^{t_0+r}\parallel {\varphi }_2(s)\parallel \mathrm{\nabla }s{\int }_s^{t_0+r}{\hat{e}}_{\omega }(s,\varrho (t))\mathrm{\nabla }t\\ =& \frac{1}{m(r,\rho ,t_0)}\frac{K_0(1-\underline{\nu }\omega )}{\omega }{\int }_{t_0-r}^{t_0+r}\parallel {\varphi }_2(s)\parallel [{\hat{e}}_{\omega }(s,s)-{\hat{e}}_{\omega }(s,t_0+r)]\mathrm{\nabla }s\\ \le & \frac{1}{m(r,\rho ,t_0)}\frac{K_0(1-\underline{\nu }\omega )}{\omega }{\int }_{t_0-r}^{t_0+r}\parallel {\varphi }_2(s)\parallel \mathrm{\nabla }s.\end{array}$$

Since ${\varphi }_2\in {\mathit{PAA}}_0(\mathbb{T},\rho )$, we have ${lim}_{r\to \mathrm{\infty }}\frac{1}{m(r,\rho ,t_0)}{\int }_{t_0-r}^{t_0+r}\parallel {\varphi }_2(s)\parallel \mathrm{\nabla }s=0$. Hence, ${lim}_{r\to \mathrm{\infty }}{I}_2^0=0$.

It remains to show ${\mathrm{\Upsilon }}_2\in {\mathit{PAA}}_0(\mathbb{T},\rho )$. For any $r>0$, there exist $i(r)$, $j(r)$ such that

$$t_{i(r)-1}<t_0-r\le t_{i(r)}<\cdots <t_{j(r)}\le t_0+r<t_{j(r)+1}.$$

Since ${\gamma }_i\in {\mathit{PAA}}_0(\mathbb{Z},\rho )$, $M_{{\gamma }_i}={sup}_{i\in \mathbb{Z}}\parallel {\gamma }_i\parallel <\mathrm{\infty }$, and noting that, for $a\in \mathbb{T}$, ${\hat{e}}_{{\ominus }_{\nu }\omega }(t,a)=(1-\nu (t)\omega ){\hat{e}}_{\omega }(a,\varrho (t))$, we have

$$\begin{array}{c}\frac{1}{m(r,\rho ,t_0)}{\int }_{t_0-r}^{t_0+r}\parallel {\mathrm{\Upsilon }}_2(t)\parallel \mathrm{\nabla }t\hfill \\ =\frac{1}{m(r,\rho ,t_0)}{\int }_{t_0-r}^{t_0+r}\parallel \sum _{t_i<t}T(t,t_i){\gamma }_i\parallel \mathrm{\nabla }t\hfill \\ \le \frac{1}{m(r,\rho ,t_0)}{\int }_{t_0-r}^{t_0+r}\sum _{t_i<t}{K}_0{\hat{e}}_{{\ominus }_{\nu }\omega }(t,t_i)\parallel {\gamma }_i\parallel \mathrm{\nabla }t\hfill \\ \le \frac{1}{m(r,\rho ,t_0)}\sum _{t_i<t_0-r}{K}_0{\hat{e}}_{{\ominus }_{\nu }\omega }(t_0-r,t_i)\parallel {\gamma }_i\parallel \hfill \\ \times {\int }_{t_0-r}^{t_0+r}{\hat{e}}_{{\ominus }_{\nu }\omega }(t,t_0-r)\mathrm{\nabla }t\hfill \\ +\frac{1}{m(r,\rho ,t_0)}\sum _{t_0-r<t_i<t_0+r}\parallel {\gamma }_i\parallel {\int }_{t_0-r}^{t_0+r}{K}_0{\hat{e}}_{{\ominus }_{\nu }\omega }(t,t_i)\mathrm{\nabla }t\hfill \\ \le \frac{1}{m(r,\rho ,t_0)}\sum _{t_i<t_0-r}\frac{K_0{(1-\underline{\nu }\omega )}^2}{\omega }{M}_{{\gamma }_i}{\hat{e}}_{{\ominus }_{\nu }\omega }(t_0-r,t_i)\hfill \\ +\frac{1}{m(r,\rho ,t_0)}\sum _{t_0-r<t_i<t_0+r}\frac{K_0{(1-\underline{\nu }\omega )}^2}{\omega }\parallel {\gamma }_i\parallel \hfill \\ \le \frac{1}{m(r,\rho ,t_0)}\frac{K_0{M}_{{\gamma }_i}{(1-\underline{\nu }\omega )}^2}{\omega }\frac{1}{1-{\hat{e}}_{{\ominus }_{\nu }\omega }(\theta ,0)}\hfill \\ +\frac{K_0{(1-\underline{\nu }\omega )}^2}{\omega }\frac{1}{m(r,\rho ,t_0)}\sum _{k=i(r)}^{j(r)}\parallel {\gamma }_k\parallel .\hfill \end{array}$$

Since ${\gamma }_i\in {\mathit{PAA}}_0(\mathbb{Z},\rho )$, for $r\to \mathrm{\infty }$, $m(r,\rho )\to \mathrm{\infty }$, we have

$$\underset{r\to \mathrm{\infty }}{lim}\frac{1}{m(r,\rho ,t_0)}\sum _{k=i(r)}^{j(r)}\parallel {\gamma }_k\parallel =\underset{r\to \mathrm{\infty }}{lim}\frac{1}{{\sum }_{k=i(r)}^{j(r)}\rho (t_k)\nu (t_k)}\sum _{k=i(r)}^{j(r)}\parallel {\gamma }_k\parallel =0.$$

Clearly, as $r\to \mathrm{\infty }$, one has

$$\frac{1}{m(r,\rho ,t_0)}\frac{K_0{M}_{{\gamma }_i}(1-\underline{\nu }\omega )}{\omega }\frac{1}{1-{\hat{e}}_{{\ominus }_{\nu }\omega }(\theta ,0)}\to 0.$$

Hence

$$\underset{r\to \mathrm{\infty }}{lim}\frac{1}{m(r,\rho ,t_0)}{\int }_{t_0-r}^{t_0+r}\parallel {\mathrm{\Upsilon }}_2(t)\parallel \mathrm{\nabla }t=0.$$

Thus, ${\sum }_{t_i<\cdot }T(\cdot ,t_i)I_i(\vartheta (t_i))\in {\mathit{PAA}}_0(\mathbb{T},\rho )$, then $F(\cdot )\in \mathit{WPAA}(\mathbb{T},\rho )$. This completes the proof. □

Lemma 4.5 If $x\in {\mathit{PC}}_{\mathrm{ld}}(\mathbb{T},{\mathbb{R}}^{+})$ satisfies the following inequality:

$$x(t)\le \alpha +{\int }_{{(a,t]}_{\mathbb{T}}}{p}_1(\tau )x(\tau )\mathrm{\nabla }\tau +\sum _{t_k<t}{\beta }_{k}x(t_k),\mathrm{\forall }t\in \mathbb{T},$$

then

$$x(t)\le \alpha \prod _{t_k<t}(1+{\beta }_k){\hat{e}}_{p_1}(t,a),\mathrm{\forall }t\in \mathbb{T}.$$

Proof Define

$$r(t)=\alpha +{\int }_{{(a,t]}_{\mathbb{T}}}{p}_1(\tau )x(\tau )\mathrm{\nabla }\tau +\sum _{t_k<t}{\beta }_{k}x(t_k),\mathrm{\forall }t\in \mathbb{T}.$$

Consider

$$\{\begin{array}{c}{r}^{\mathrm{\nabla }}(t)=p_1(t)x(t)\le p_1(t)r(t),t\ne t_k,\hfill \\ r(a)=\alpha ,r(t_k^{+})=(1+{\beta }_k)r(t_k).\hfill \end{array}$$

For $t\in {(a,t_1]}_{\mathbb{T}}$, we can calculate that

$$\begin{array}{rcl}{[r{\hat{e}}_{{\ominus }_{\nu }{p}_1}(\cdot ,t_0)]}^{\mathrm{\nabla }}& =& r^{\mathrm{\nabla }}(t)e_{{\ominus }_{\nu }{p}_1}(\varrho (t),t_0)+r(t)({\ominus }_{\nu }{p}_1)(t){\hat{e}}_{{\ominus }_{\nu }{p}_1}(t,t_0)\\ =& r^{\mathrm{\nabla }}(t)e_{{\ominus }_{\nu }{p}_1}(\varrho (t),t_0)+r(t)\frac{(\ominus p_1)(t)}{1-\nu (t)(\ominus p_1)(t)}{\hat{e}}_{{\ominus }_{\nu }{p}_1}(\varrho (t),t_0)\\ =& [r^{\mathrm{\nabla }}(t)-({\ominus }_{\nu }({\ominus }_{\nu }{p}_1))(t)r(t)]{\hat{e}}_{{\ominus }_{\nu }{p}_1}(\varrho (t),t_0)\\ =& [r^{\mathrm{\nabla }}(t)-p_1(t)r(t)]{\hat{e}}_{{\ominus }_{\nu }{p}_1}(\varrho (t),t_0)\\ \le & 0.\end{array}$$

This implies that $x(t)\le \alpha {\hat{e}}_{p_1}(t,a)$. Further we have

$$\begin{array}{rl}r(t)& \le r\left(t_i^{+}\right){\hat{e}}_{p_1}(t,t_i)\le \alpha (1+{\beta }_i)\prod _{t_k<t_i}(1+{\beta }_k){\hat{e}}_{p_1}(t_i,a){\hat{e}}_{p_1}(t,t_i)\\ =\alpha \prod _{t_k<t}(1+{\beta }_k){\hat{e}}_{p_1}(t,a),t\in {(t_i,t_{i+1}]}_{\mathbb{T}}.\end{array}$$

Thus

$$x(t)\le \alpha \prod _{t_k<t}(1+{\beta }_k){\hat{e}}_{p_1}(t,a),t\in \mathbb{T}.$$

This completes the proof. □

The following existence result is based on the contraction principle.

Theorem 4.6 Assume the following conditions hold:

(A₁) The family $\{A(t):t\in \mathbb{T}\}$ of operators in $\mathbb{X}$ generates an exponentially stable evolution system $\{T(t,s):t\ge s\}$, i.e., there exist $K_0>1$ and $\omega >0$ such that

$${\parallel T(t,s)\parallel }_{B(\mathbb{X})}\le K_0{\hat{e}}_{{\ominus }_{\nu }\omega }(t,s),t\ge s,$$

and for any sequence $\{s_n\}\subset \mathrm{\Pi }$, there exists a subsequence $\{s_n^{\prime }\}\subset \{s_n\}$ such that

$$\underset{n\to \mathrm{\infty }}{lim}T(t+s_n^{\prime },s+s_n^{\prime })=T^{\ast }(t,s)\mathit{\text{ is well defined for each }}t,s\in \mathbb{T},t\ge s.$$

(A₂) $f\in \mathit{WPAA}(\mathbb{T}\times \mathrm{\Omega },\rho )$ and f satisfies the Lipschitz condition with respect to the second argument, i.e.,

$$\parallel f(t,x)-f(t,y)\parallel \le L_1\parallel x-y\parallel ,t\in \mathbb{T},x,y\in \mathrm{\Omega }.$$

(A₃) $I_i$ is a weighted pseudo almost periodic sequence, and there exists a number $L_2>0$ such that

$$\parallel I_i(x)-I_i(y)\parallel \le L_2\parallel x-y\parallel$$

for all $x,y\in \mathrm{\Omega }$, $i\in \mathbb{Z}$.

Assume that

$$\frac{K_0{L}_1(1-\underline{\nu }\omega )}{\omega }+\frac{K_0{L}_2}{1-{\hat{e}}_{{\ominus }_{\nu }\omega }(\theta ,0)}<1,$$

then Eq. (1) has a unique weighted piecewise pseudo almost automorphic mild solution.

Proof Consider the nonlinear operator Γ given by

$$\mathrm{\Gamma }\phi ={\int }_{-\mathrm{\infty }}^{t}T(t,s)f(s,\phi (s))\mathrm{\nabla }s+\sum _{t_i<t}T(t,t_i)I_i(\phi (t_i)).$$

By Theorem 4.4, we see that Γ maps $\mathit{WPAA}(\mathbb{T},\rho )$ into $\mathit{WPAA}(\mathbb{T},\rho )$.

It suffices now to show that the operator Γ has a fixed point in $\mathit{WPAA}(\mathbb{T},\rho )$. For ${\phi }_1,{\phi }_2\in \mathit{WPAA}(\mathbb{T},\rho )$, one has the following:

$$\begin{array}{rcl}\parallel \mathrm{\Gamma }{\phi }_1(t)-\mathrm{\Gamma }{\phi }_2(t)\parallel & =& \parallel {\int }_{-\mathrm{\infty }}^{t}T(t,s)[f(s,{\phi }_1(s))-f(s,{\phi }_2(s))]\mathrm{\nabla }s\\ +\sum _{t_i<t}T(t,t_i)[I_i({\phi }_1(t_i))-I_i({\phi }_2(t_i))]\parallel \\ \le & {\int }_{-\mathrm{\infty }}^t{K}_0{\hat{e}}_{{\ominus }_{\nu }\omega }(t,s)\parallel f(s,{\phi }_1(s))-f(s,{\phi }_2(s))\parallel \mathrm{\nabla }s\\ +\sum _{t_i<t}{K}_0{\hat{e}}_{{\ominus }_{\nu }\omega }(t,t_i)\parallel I_i({\phi }_1(t_i))-I_i({\phi }_2(t_i))\parallel \\ \le & {\int }_{-\mathrm{\infty }}^t{K}_0{\hat{e}}_{{\ominus }_{\nu }\omega }(t,s)L_1\parallel {\phi }_1(s)-{\phi }_2(s)\parallel \mathrm{\nabla }s\\ +\sum _{t_i<t}{K}_0{\hat{e}}_{{\ominus }_{\nu }\omega }(t,t_i)L_2\parallel {\phi }_1(t_i)-{\phi }_2(t_i)\parallel \\ \le & [\frac{K_0{L}_1(1-\underline{\nu }\omega )}{\omega }+\frac{K_0{L}_2}{1-{\hat{e}}_{{\ominus }_{\nu }\omega }(\theta ,0)}]\parallel {\phi }_1-{\phi }_2\parallel .\end{array}$$

Since $\frac{K_0{L}_1(1-\underline{\nu }\omega )}{\omega }+\frac{K_0{L}_2}{1-{\hat{e}}_{{\ominus }_{\nu }\omega }(\theta ,0)}<1$, Γ is a contradiction. Hence, Γ has a fixed point in $\mathit{WPAA}(\mathbb{T},\rho )$, then Eq. (1) has a unique weighted piecewise pseudo almost automorphic mild solution. This completes the proof. □

Finally, we investigate the exponential stability of a weighted piecewise pseudo almost automorphic mild solution to Eq. (1). By using the Gronwall-Bellman inequality (see Lemma 4.5) and the Lipschitz condition, it can be formulated as follows.

Theorem 4.7 Suppose the conditions of Theorem  4.6 hold. Assume further that $({\ominus }_{\nu }\omega ){\oplus }_{\nu }p<0$, where $p=\frac{K_0{L}_1}{1-\overline{\nu }\omega }$, $\overline{\nu }={sup}_{t\in \mathbb{T}}\nu (t)$. Then Eq. (1) has a weighted piecewise pseudo almost automorphic mild solution which is exponentially stable.

Proof By Theorem 4.6, we know that Eq. (1) has a weighted piecewise pseudo almost automorphic mild solution $u(t)$, by using integral form of Eq. (1):

$$u(t)=T(t,s_0)u(s_0)+{\int }_{s_0}^{t}T(t,s)f(s,u(s))\mathrm{\nabla }s+\sum _{s_0<t_i<t}T(t,t_i)I_i(u(t_i)),$$

where $t>s_0$, $s_0\ne t_i$, $i\in \mathbb{Z}$.

Let $u(t)=u(t,s_0)$ and $v(t)=v(t,s_0)$ be two solutions of Eq. (1), then

$$\begin{array}{c}u(t)=T(t,s_0)u(s_0)+{\int }_{s_0}^{t}T(t,s)f(s,u(s))\mathrm{\nabla }s+\sum _{s_0<t_i<t}T(t,t_i)I_i(u(t_i)),\hfill \\ v(t)=T(t,s_0)v(s_0)+{\int }_{s_0}^{t}T(t,s)f(s,v(s))\mathrm{\nabla }s+\sum _{s_0<t_i<t}T(t,t_i)I_i(v(t_i)).\hfill \end{array}$$

Hence,

$$\begin{array}{rcl}\parallel u(t)-v(t)\parallel & \le & \parallel T(t,s_0)[u(s_0)-v(s_0)]\parallel \\ +\parallel {\int }_{s_0}^{t}T(t,s)[f(s,u(s))-f(s,v(s))]\mathrm{\nabla }s\parallel \\ +\parallel \sum _{s_0<t_i<t}T(t,t_i)[I_i(u(t_i))-I_i(v(t_i))]\parallel \\ \le & \parallel T(t,s_0)\parallel \parallel u(s_0)-v(s_0)\parallel \\ +{\int }_{s_0}^t\parallel T(t,s)\parallel \parallel f(s,u(s))-f(s,v(s))\parallel \mathrm{\nabla }s\\ +\sum _{s_0<t_i<t}\parallel T(t,t_i)\parallel \parallel [I_i(u(t_i))-I_i(v(t_i))]\parallel \\ \le & K_0{\hat{e}}_{{\ominus }_{\nu }\omega }(t,s_0)\parallel u(s_0)-v(s_0)\parallel \\ +{\int }_{s_0}^t{K}_0{L}_1{\hat{e}}_{{\ominus }_{\nu }\omega }(t,s)\parallel u(s)-v(s)\parallel \mathrm{\nabla }s\\ +\sum _{s_0<t_i<t}{K}_0{L}_2{\hat{e}}_{{\ominus }_{\nu }\omega }(t,t_i)\parallel u(t_i)-v(t_i)\parallel .\end{array}$$

Let $y(t)=\parallel u(t)-v(t)\parallel {\hat{e}}_{\omega }(t,t_0)$ and it follows that

$$y(t)\le K_{0}y(s_0)+K_0{L}_1\frac{1}{1-\overline{\nu }\omega }{\int }_{s_0}^{t}y(s)\mathrm{\nabla }s+K_0{L}_2\sum _{s_0<t_i<t}y(t_i),$$

from Lemma 4.5, one has

$$y(t)\le K_{0}y(s_0)\prod _{s_0<t_i<t}{K}_0{L}_2{\hat{e}}_p(t,t_0)$$

or

$$\parallel u(t)-v(t)\parallel \le K_0\parallel u(s_0)-v(s_0)\parallel \prod _{s_0<t_i<t}{K}_0{L}_2{\hat{e}}_p(t,t_0){\hat{e}}_{({\ominus }_{\nu }\omega ){\oplus }_{\nu }p}(t,t_0),$$

where

$$p=\frac{K_0{L}_1}{1-\overline{\nu }\omega }.$$

Hence, Eq. (1) has a weighted piecewise pseudo almost automorphic mild solution which is exponentially stable. This completes the proof. □

Example 4.8 Let $\mathbb{T}$ be an almost periodic time scale with $\nu <\frac{5}{3}$ and $u:\mathbb{T}\times \mathbb{T}\to \mathbb{R}$. Consider the following problem:

$$\{\begin{array}{c}\frac{\partial }{{\mathrm{\nabla }}_{1}t}u(t,x)=\frac{{\partial }^2}{{\mathrm{\nabla }}_2{x}^2}u(\varrho (t),x)+\frac{1}{18}(sint+sin\sqrt{2}t+g(t))cosu(t,x),\hfill \\ t,x\in \mathbb{T},t\ne t_i,x\in {[0,\pi ]}_{\mathbb{T}},\hfill \\ \mathrm{\Delta }u(t_i,x)={\beta }_{i}u(t_i,x),i\in \mathbb{Z},x\in {[0,\pi ]}_{\mathbb{T}},\hfill \\ u(t,0)=u(t,\pi )=0,t\in \mathbb{T},\hfill \end{array}$$

(12)

where $g\in \mathit{UPC}(\mathbb{T},\mathbb{R})$ satisfies $|g(t)|\le 1$ ($t\in \mathbb{T}$) and $\rho (t)=|sint|+1$, ${\beta }_i=\frac{1}{18}(sini+sin\sqrt{2}i+g(i))$ and $t_i=i+\frac{1}{8}|sini-sin\sqrt{2}i|$, $i\in \mathbb{Z}$.

Define $\mathbb{X}=L^2{[0,\pi ]}_{\mathbb{T}}$, let $Au=\frac{{\partial }^2}{{\mathrm{\nabla }}_2{x}^2}u(t,x)$, $u\in D(A)=H_0^1{[0,\pi ]}_{\mathbb{T}}\cap H^2{[0,\pi ]}_{\mathbb{T}}$. Clearly, it follows from the same discussion as in Section 3.1 in [50] that one can easily see that the evolution system $\{T(t,s):t\ge s\}$ satisfies $\parallel T(t,s)\parallel \le {\hat{e}}_{{\ominus }_{\nu }\frac{1}{2}}(t,s)$ ($t\ge s$) with $K_0=1$, $\omega =1/2$. Furthermore, by Definition 3.3, it is easy to check that $\{t_i^j\}$, $i,j\in \mathbb{Z}$, is an equipotentially almost automorphic sequence and

$$\begin{array}{rcl}{t}_i^1& =& t_{i+1}-t_i=1+\frac{1}{8}|sin(i+1)-sin\sqrt{2}(i+1)|-\frac{1}{8}|sini-sin\sqrt{2}i|\\ \ge & 1-\frac{1}{8}|sin(i+1)-sini-[sin\sqrt{2}(i+1)-sin\sqrt{2}i]|\\ \ge & 1-\frac{1}{4}|sin\frac{1}{2}cos\frac{2i+1}{2}|-\frac{1}{2}|sin\frac{\sqrt{2}}{2}cos\frac{\sqrt{2}(2i+1)}{2}|\\ \ge & 1-\frac{1}{4}sin\frac{1}{2}-\frac{1}{2}sin\frac{\sqrt{2}}{2}>\frac{2}{5}.\end{array}$$

Hence, $\theta ={inf}_{i\in \mathbb{Z}}(t_{i+1}-t_i)>\frac{2}{5}>0$. Let $f(t,u)=\frac{1}{18}(sint+sin\sqrt{2}t+g(t))cosu$, $I_i(u)={\beta }_{i}u$. Clearly, both f and $I_i$ satisfy the assumptions given in Theorem 4.6 and Theorem 4.7 with $L_1=L_2=\frac{1}{6}$. Moreover,

$$\frac{K_0{L}_1(1-\underline{\nu }\omega )}{\omega }+\frac{K_0{L}_2}{1-{\hat{e}}_{{\ominus }_{\nu }\omega }(\theta ,0)}<\frac{1}{6}+\frac{1}{6(1-e^{-2/5})}\approx 0.6722<1,$$

and since $\nu <\frac{5}{3}$, one has $1-\nu \omega >\frac{1}{6}$, so

$$({\ominus }_{\nu }\omega ){\oplus }_{\nu }p=-\frac{\omega }{1-\nu \omega }+\frac{K_0{L}_1}{1-\overline{\nu }\omega }+\frac{K_0{L}_1\omega \nu }{(1-\nu \omega )(1-\underline{\nu }\omega )}\approx -0.8333<0.$$

Therefore, Eq. (12) has a weighted piecewise pseudo almost automorphic mild solution which is exponentially stable.

5 Conclusion and further discussion

In this paper, the concept of weighted piecewise pseudo almost automorphic functions on time scales is introduced and discussed. It is well known that the Δ-dynamic equations are more popular in the references, however, ∇-dynamic equations are also interesting in both theory and practice. Therefore, we choose to investigate the weighted piecewise pseudo almost automorphic mild solutions to Eq. (1). All obtained results are essentially new.

Moreover, Definition 4.3 gives the expression of mild solutions to Eq. (1). It is worth emphasizing that the methods used in this paper can also be applied to study the weighted piecewise pseudo almost automorphic mild solutions to other abstract impulsive ∇-dynamic equations and Δ-dynamic equations. Now, similar to the discussion below Definition 4.3, we can list the mild solutions to three representative classes of abstract impulsive dynamic equations on time scales.

Type (i). Consider a ∇-dynamic equation as follows:

$$\{\begin{array}{c}{x}^{\mathrm{\nabla }}(t)=A(t)x(t)+f(t,x(t)),t\in \mathbb{T},t\ne t_i,i\in \mathbb{Z},\hfill \\ \mathrm{\Delta }x(t_i)=x(t_i^{+})-x(t_i^{-})=I_i(x(t_i)),t=t_i,\hfill \end{array}$$

(13)

where $A\in {\mathit{PC}}_{\mathrm{ld}}(\mathbb{T},\mathbb{X})$ is a linear operator in the Banach space $\mathbb{X}$ and $f\in {\mathit{PC}}_{\mathrm{ld}}(\mathbb{T}\times \mathbb{X},\mathbb{X})$. Then, for any $t\in \mathbb{T}$, $t>c$, $c\ne t_i$, $i\in \mathbb{Z}$, Eq. (13) has the following mild solution:

$$x(t)=T(t,c)x(c)+{\int }_c^{t}T(t,\varrho (s))f(s,x(s))\mathrm{\nabla }s+\sum _{c<t_i<t}T(t,t_i)I_i(x(t_i)).$$

Type (ii). Consider a Δ-dynamic equation as follows:

$$\{\begin{array}{c}{x}^{\mathrm{\Delta }}(t)=A(t)x^{\sigma }+f(t,x(t)),t\in \mathbb{T},t\ne t_i,i\in \mathbb{Z},\hfill \\ \mathrm{\Delta }x(t_i)=x(t_i^{+})-x(t_i^{-})=I_i(x(t_i)),t=t_i,\hfill \end{array}$$

(14)

where $A\in {\mathit{PC}}_{\mathrm{rd}}(\mathbb{T},\mathbb{X})$ is a linear operator in the Banach space $\mathbb{X}$ and $f\in {\mathit{PC}}_{\mathrm{rd}}(\mathbb{T}\times \mathbb{X},\mathbb{X})$, $x^{\sigma }=x(\sigma (t))$. Then, for any $t\in \mathbb{T}$, $t>c$, $c\ne t_i$, $i\in \mathbb{Z}$, Eq. (14) has the following mild solution:

$$x(t)=T(t,c)x(c)+{\int }_c^{t}T(t,s)f(s,x(s))\mathrm{\Delta }s+\sum _{c<t_i<t}T(t,t_i)I_i(x(t_i)).$$

Type (iii). Consider a Δ-dynamic equation as follows:

$$\{\begin{array}{c}{x}^{\mathrm{\Delta }}(t)=A(t)x(t)+f(t,x(t)),t\in \mathbb{T},t\ne t_i,i\in \mathbb{Z},\hfill \\ \mathrm{\Delta }x(t_i)=x(t_i^{+})-x(t_i^{-})=I_i(x(t_i)),t=t_i,\hfill \end{array}$$

(15)

where $A\in {\mathit{PC}}_{\mathrm{rd}}(\mathbb{T},\mathbb{X})$ is a linear operator in the Banach space $\mathbb{X}$ and $f\in {\mathit{PC}}_{\mathrm{rd}}(\mathbb{T}\times \mathbb{X},\mathbb{X})$. Then, for any $t\in \mathbb{T}$, $t>c$, $c\ne t_i$, $i\in \mathbb{Z}$, Eq. (15) has the following mild solution:

$$x(t)=T(t,c)x(c)+{\int }_c^{t}T(t,\sigma (s))f(s,x(s))\mathrm{\Delta }s+\sum _{c<t_i<t}T(t,t_i)I_i(x(t_i)).$$

By the same discussion method in this paper, one can show that the above three mild solutions are weighted piecewise pseudo almost automorphic solutions to their corresponding abstract impulsive dynamic equations on time scales. For example, in [49], the concept of rd-piecewise continuous functions is introduced, by the same discussion method in this paper, the weighted piecewise pseudo almost automorphic mild solutions to Eq. (14) and Eq. (15) can be studied. Furthermore, all the results can be applied to study almost automorphic solutions to impulsive dynamic models such as impulsive neural networks or biological models, economical models with impulsive effects on time scales.