Some Result of Stability and Spectra Properties on Semigroup of Linear Operator
Abstract: This paper consists of some properties of a new subclass of semigroup of linear operator. The stability and spectra analysis of ω-order preserving partial contraction mapping (ω-OCPn) are obtained. The results show that operators on the proposed ω-OCPn are densely defined and closed. Several existing results in the literature are contained in this work.

1. Introduction

The theory of stability is important since stability plays a central role in the structural theory of operators such as semigroup of linear operator, contraction semigroup, invariant subspace theory and to mention but few. The theory of stability is rich in which concerns the methods and ideas, and this shall be one of the main points of this paper. The recent advances deeply interact with modern topics from complex function theory, harmonic analysis, the geometry of Banach spaces, and spectra theory  .

Another main focus of this paper is spectra analysis of a semigroup of linear operator, in which we use the resolvent to describe the relationship between the spectrum of A and of the semigroup operator ${\left(T\left(t\right)\right)}_{t\ge 0}$ and also determine the bounded linear operator A as the generators of one-parameter semigroups. Resolvent operators are particularly useful in the analysis of Sturm-Liouville operators and several others operators both bounded and unbounded.

Let X be a Banach space, ${X}_{n}\subseteq X$ be a finite set, ${\left(T\left(t\right)\right)}_{t\ge 0}$ the C0-semigroup which is strongly continuous one parameter semigroup of bounded linear operator in X, ω-OCPn be ω-order-preserving partial contraction mapping (semigroup of linear operator) which is an example of C0-semigroup. Similarly, let $Mm\left(ℕ\right)$ be a matrix, $L\left(X\right)$ be a bounded linear operator on X, ${P}_{n}$ a partial transformation semigroup, $\rho \left(A\right)$ a resolvent set, $\sigma \left(A\right)$ be spectrum and A is a generator of C0-semigroup.

This paper will focus on results of stability and spectra analysis of ω-OCPn on Banach space as an example of a semigroup of linear called C0-semigroup, and thereby establish the relationship between a semigroup, its generator and the resolvent as in Figure 1.

In  , Batty obtained some spectral conditions for stability of one-parameter semigroup and also revealed some asymptotic behaviour of semigroup of operator, see also, Batty et al.  . Chill and Tomilov  established some resolvent approach to stability operator semigroup. Räbiger and Wolf in  deduced some spectral and asymptotic properties of dominated operator. For relevant work on non-linear and one-parameter semigroups, see (  and  ). The aim of this work is, therefore, to obtain stability and spectra analysis on a new subclass of semigroup of linear operator.

2. Preliminaries

The following definitions are crucial to the proof of our main results.

Definition 2.1: (Stable Semigroup  )

A strongly continuous semigroup ${\left(T\left(t\right)\right)}_{t\ge 0}$ is called

1) Uniformly exponentially stable if there exists $ϵ>0$ such that

$\underset{t\to \infty }{\mathrm{lim}}{e}^{ϵt}‖T\left(t\right)‖=0$ (2.1)

2) Uniformly stable if

$\underset{t\to \infty }{\mathrm{lim}}‖T\left(t\right)‖=0$ (2.2)

3) Strongly stable if

$\underset{t\to \infty }{\mathrm{lim}}‖T{\left(t\right)}_{x}‖=0\forall x\in X.$ (2.3)

Figure 1. Diagrammatical representation of relationship between a semigroup, its generator and its resolvent  .

Definition 2.2: (C0-Semigroup  )

A C0-Semigroup is a strongly continuous one parameter semigroup of bounded linear operator on Banach space.

Definition 2.3: (ω-OCPn  )

A transformation $\alpha \in {P}_{n}$ is called ω-order-preserving partial contraction mapping if $\forall x,y\in \text{Dom}\alpha :x\le y⇒\alpha x\le \alpha y$ and at least one of its transformation must satisfy $\alpha y=y$ such that $T\left(t+s\right)=T\left(t\right)T\left(s\right)$ whenever $t,s>0$ and otherwise for $T\left(0\right)=I$ .

Definition 2.4: (Core  )

Let A be a closed linear operator with domain $D\left(A\right)$ and range $R\left(A\right)$ in a Banach space X. A subspace D of $D\left(A\right)$ is called a core if A is the closure of its restriction to D.

Definition 2.5: (Resolvent Set  )

We define the resolvent set of A denoted by $\rho \left(A\right)$ set of all $\lambda \in ℂ$ such that $\lambda I-A$ is one-to-one with range equal to X.

Definition 2.6: (Spectrum  )

The spectrum of A denoted by $\sigma \left(A\right)$ is defined as the complement of the resolvent set.

Definition 2.7: (Hyperbolic  )

A semigroup ${\left(T\left(t\right)\right)}_{t\ge 0}$ on a Banach space X is called hyperbolic if X can be written as direct sum $X={X}_{s}\oplus {X}_{u}$ of two ${\left(T\left(t\right)\right)}_{t\ge 0}$ -invariant, closed subspaces ${X}_{s}$ , ${X}_{u}$ such that the restricted semigroups ${\left({T}_{s}\left(t\right)\right)}_{t\ge 0}$ on ${X}_{s}$ and ${\left({T}_{u}\left(t\right)\right)}_{t\ge 0}$ on ${X}_{u}$ satisfy the following conditions:

1) The semigroup ${\left({T}_{s}\left(t\right)\right)}_{t\ge 0}$ is uniformly exponentially stable on ${X}_{s}$ .

2) The operator ${T}_{u}\left(t\right)$ are invertible on ${X}_{u}$ , and ${\left({T}_{u}{\left(t\right)}^{-1}\right)}_{t\ge 0}$ is uniformly exponentially stable on ${X}_{u}$ .

Some Basic Spectral Properties

1) To any linear operator A we associate its spectral bound defined by

$\text{Spec}\left(A\right)=\text{Sup}\left\{\mathrm{Re}\lambda :\lambda \in \sigma \left(A\right)\right\}$ .

2) Resolvent set: $\rho \left(A\right)=\left\{\lambda \in ℂ:\lambda -A:D\left(A\right)\to X\text{\hspace{0.17em}}\text{is}\text{\hspace{0.17em}}\text{bijective}\right\}$ .

3) Spectrum: $\sigma \left(A\right)=ℂ/\rho \left(A\right)$ .

4) Resolvent: $R\left(\lambda ;A\right)={\left(\lambda -A\right)}^{-1}\forall \lambda \in \rho \left(A\right)$ .

5) Resolvent equation: $R\left(\lambda ;A\right)-R\left(\mu ;A\right)=\left(\mu -\lambda \right)R\left(\lambda ;A\right)R\left(\mu ;A\right)$ .

Example 1:

$2×2$ matrix $\left[{M}_{m}\left({ℝ}_{+}\right)\right]$

Suppose

$A=\left(\begin{array}{cc}1& 2\\ 2& 2\end{array}\right)$

and let $T\left(t\right)={e}^{tA}$ , then

${e}^{tA}=\left(\begin{array}{cc}{e}^{t}& {e}^{2t}\\ {e}^{2t}& {e}^{2t}\end{array}\right)$

$3×3$ matrix $\left[{M}_{m}\left({ℝ}_{+}\right)\right]$

Suppose

$A=\left(\begin{array}{ccc}1& 2& 3\\ 1& 2& 2\\ -& 2& 3\end{array}\right)$

and let $T\left(t\right)={e}^{tA}$ , then

${e}^{tA}=\left(\begin{array}{ccc}{e}^{t}& {e}^{2t}& {e}^{3t}\\ {e}^{t}& {e}^{2t}& {e}^{2t}\\ I& {e}^{2t}& {e}^{3t}\end{array}\right)$

Example 2:

$2×2$ matrix $\left[{M}_{m}\left(ℂ\right)\right]$ , we have

for each $\lambda >0$ such that $\lambda \in \rho \left(A\right)$ where $\rho \left(A\right)$ is a resolvent set on X.

Suppose we have

$A=\left(\begin{array}{cc}1& 2\\ -& 2\end{array}\right)$

and let $T\left(t\right)={e}^{t{A}_{\lambda }}$ , then

${e}^{t{A}_{\lambda }}=\left(\begin{array}{cc}{e}^{t\lambda }& {e}^{2t\lambda }\\ I& {e}^{2t\lambda }\end{array}\right)$

Example 3:

Let $X={C}_{ub}\left({ℝ}_{+}\right)$ be the space of all bounded and uniformly continuous function from ${ℝ}_{+}$ to $ℝ$ , endowed with the sup-norm ${‖\text{ }\cdot \text{ }‖}_{\infty }$ and let $\left\{T\left(t\right);t\ge 0\right\}\le L\left(X\right)$ be defined by

$\left[T\left(t\right)f\right]\left(s\right)=f\left(t+s\right)$

For each $f\in X$ and each $t,s\in {ℝ}_{+}$ , one may easily verify that $\left\{T\left(t\right);t\ge 0\right\}$ satisfies the example 1 and 2 above.

3. Main Results

In this section, results of stability and spectral properties on ω-OCPn in Banach space and on C0-semigroup are considered:

Theorem 3.1

Suppose X is a Banach space. Then a linear operator $A:D\left(A\right)\subseteq X\to X$ is an infinitesimal generator of a strongly continuous semigroup ${\left(T\left(t\right)\right)}_{t\ge 0}$ on X is uniformly exponentially stable if and only if for all $p\in \left[1,\infty \right)$ one has

${\int }_{0}^{\infty }{‖T\left(t\right)x‖}^{p}\text{d}t<\infty$

for all $x\in X$ and $A\in \omega \text{-}OC{P}_{n}$ .

Proof

If the semigroup is exponentially stable, then, the integral above is satisfied.

In order to show the converse implication, it suffices to verify that

$\underset{t\to \infty }{\mathrm{lim}}‖T\left(t\right)‖=0.$ (3.1)

So, we define for $n\in ℕ$ , the operators $\Im \in \left(X,{L}^{p}\left({ℝ}_{+},X\right)\right)$ by

${\Im }_{n}x={\varphi }_{\left[0,n\right]}\left(\cdot \right)T\left(\cdot \right)$ (3.2)

Then by assumption, the set $\left\{{\Im }_{n}x:n\in ℕ\right\}\subset {L}^{p}\left({ℝ}_{+},X\right)$ is bounded for each $x\in X$ , hence by the uniform boundedness principle, there exists $C>0$ such that

${\int }_{0}^{t}{‖T\left(r\right)x‖}^{p}\text{d}r\le {C}^{p}{‖x‖}^{p}\text{ }\text{for}\text{\hspace{0.17em}}\text{all}\text{\hspace{0.17em}}\text{ }x\in X,t\ge 0.$

On the other hand, there exist $M\ge 1$ and $w>0$ such that

$‖T\left(t\right)‖\le M{e}^{wt}\text{for}\text{\hspace{0.17em}}\text{all}\text{\hspace{0.17em}}t\ge 0$

From the previous two inequalities, we obtain

$\begin{array}{c}\frac{1-{e}^{-pwt}}{p}{‖T\left(t\right)x‖}^{p}={\int }_{0}^{t}{e}^{-pwt}{‖T\left(r\right)T\left(t-r\right)x‖}^{p}\text{d}r\\ \le {\int }_{0}^{t}{M}^{p}{‖T\left(t-r\right)x‖}^{p}\text{d}r\\ \le {M}^{p}{C}^{p}{‖x‖}^{p}\forall x\in X,t\ge 0.\end{array}$ (3.3)

Hence, there exists a constant $L>0$ such that

$‖T\left(t\right)‖\le L\forall t\ge 0$

Considering this, we conclude that

$\begin{array}{c}t{‖T\left(t\right)x‖}^{p}={\int }_{0}^{t}{‖T\left(t-r\right)T\left(r\right)x‖}^{p}\text{d}r\\ \le {\int }_{0}^{t}{L}^{p}{‖T\left(r\right)x‖}^{p}\text{d}r\\ \le {L}^{p}{C}^{p}{‖x‖}^{p}\forall x\in X,t\ge 0\end{array}$ (3.4)

and therefore

$‖T\left(t\right)‖\le LC{t}^{\frac{-1}{p}}\forall t>0.$

This implies

$\underset{t\to \infty }{\mathrm{lim}}‖T\left(t\right)‖=0$ (3.5)

Hence the proof is complete.

Proposition 3.2

Suppose X is a Banach space and $A:D\left(A\right)\subseteq X\to X$ where $A\in \omega \text{-}OC{P}_{n}$ is the infinitesimal generator for a strongly continuous semigroup ${\left(T\left(t\right)\right)}_{t\ge 0}$ , then the following assertions are equivalent.

1) ${\left(T\left(t\right)\right)}_{t\ge 0}$ is hyperbolic.

2) ${\left(T\left(t\right)\right)}_{t\ge 0}\cap \Gamma =\varphi$ for all $t>0$ .

Proof

The proof of implication 1) Þ 2) starts from the observation that $\sigma \left(T\left(t\right)\right)=\sigma \left({A}_{s}\right)\cup \sigma \left({A}_{u}\right)$ because of the direct sum decomposition.

By assumption, ${\left({T}_{s}\left(t\right)\right)}_{t\ge 0}$ is uniformly exponentially stable; hence $r\left({T}_{s}\left(t\right)\right)<1$ for $t>0$ , and therefore

$\sigma \left({T}_{s}\left(t\right)\right)\cap \Gamma =\varphi$ (3.6)

By the same argument, we obtain that $r\left({T}_{s}{\left(t\right)}^{-1}\right)<1$ . Suppose

$\sigma \left({T}_{u}\left(t\right)\right)=\left\{{\lambda }^{-1}:\lambda \in \sigma {\left(A\right)}^{-1}\right\},$ (3.7)

we conclude that $|\lambda |>1$ for each $\lambda \in \sigma \left({A}_{u}\right)$ ; hence $\sigma \left({T}_{u}\left(t\right)\right)\cap \Gamma =\varphi$ .

To prove 2) Þ 1), we fix $s>0$ such that $\sigma \left(T\left(s\right)\right)\cap \Gamma =\varphi$ and we use the existence at a spectral projection P corresponding to the spectral set

$\sigma \left(T\left(s\right)\right)=\left\{\lambda \in \sigma \left(A\right):|\lambda |<1\right\}.$ (3.8)

Then the space X is the direct sum $X={X}_{s}\oplus {X}_{u}$ of the ${\left(T\left(t\right)\right)}_{t\ge 0}$ -invariant subspaces ${X}_{s}=rgP$ and ${X}_{u}=kerP$ , where ${A}_{s}\subseteq {X}_{s}$ and ${A}_{u}\subseteq {X}_{u}$ . Then the restriction ${T}_{s}\left(t\right)\in L\left({X}_{s}\right)$ of T(s) has spectrum

$\sigma \left({T}_{s}\left(s\right)\right)=\left\{\lambda \in \sigma \left(A\right):|\lambda |<1\right\}$ (3.9)

hence, spectral radius $r\left({T}_{s}\left(s\right)\right)<1$ . It follows that the semigroup ${\left({T}_{s}\left(t\right)\right)}_{t\ge 0}={\left(PT\left(t\right)\right)}_{t\ge 0}$ is uniformly exponentially stable on ${X}_{s}$ .

Similarly, the restriction ${T}_{u}\left(s\right)\in L\left({X}_{u}\right)$ of $T\left(s\right)$ in ${X}_{u}$ has spectrum

$\sigma \left({T}_{u}\left(s\right)\right)=\left\{\lambda \in \sigma \left(A\right):|\lambda |>1\right\}$ (3.10)

hence is invertible on ${X}_{u}$ . Clearly this implies that ${T}_{u}\left(t\right)$ is invertible for $0\le t\le s$ , while for $t>s$ we choose $n\in N$ such that $ns>t$ . Then

${T}_{u}{\left(s\right)}^{n}={T}_{u}\left(ns\right)=T\left(ns-t\right){T}_{u}\left(t\right)={T}_{u}\left(t\right){T}_{u}\left(ns-t\right)$ (3.11)

hence ${T}_{u}\left(t\right)$ is invertible, since ${T}_{u}\left(s\right)$ is bijective.

Moreover, for the spectral radius, we have $r\left({T}_{u}^{-1}\left(s\right)\right)<1$ , and again this implies uniformly exponentially stable for the semigroup ${\left({T}_{u}{\left(t\right)}^{-1}\right)}_{t\ge 0}$ . Hence the proof.

Theorem 3.3

Suppose $A\in \omega \text{-}OC{P}_{n}$ and $\omega \text{-}OC{P}_{n}\in L\left(X\right)$ . Let $A:D\left(A\right)\subseteq X\to X$ be a linear operator which satisfies:

a) A is densely defined and closed; and

b) $\left(0,+\infty \right)\subseteq \rho \left(A\right)$ and for each $\lambda >0$ , we have

${‖R\left(\lambda ,A\right)‖}_{L\left(X\right)}\le \frac{1}{\lambda }.$

Then:

1) ${\mathrm{lim}}_{\lambda \to \infty }\lambda R\left(\lambda ,A\right)x=x$ for each $x\in X$ ,

2) ${A}_{\lambda }x={\lambda }^{2}R\left(\lambda ,A\right)x-\lambda x$ for each $x\in X$ ,

3) ${\mathrm{lim}}_{\lambda \to \infty }{A}_{\lambda }x=Ax$ for each $x\in D\left(A\right)$ and,

4) ${A}_{\lambda }$ is the infinitesimal generator of a uniformly continuous semigroup $\left\{{e}^{tA\lambda };t\ge 0\right\}$ satisfying

${‖{e}^{tA\lambda }‖}_{L\left(X\right)}\le 1$

for each $t\ge 0$ . In addition for each $x\in X$ and $\lambda ,\mu >0$ , we have

$‖{e}^{tA\lambda }x-{e}^{tA\mu }x‖\le t‖{A}_{\lambda }x-{A}_{\mu }x‖.$

Proof

Let $x\in D\left(A\right)$ and $\lambda >0$ . Then we have

$‖\lambda R\left(\lambda ,A\right)x-x‖=‖AR\left(\lambda ,A\right)Ax‖\le \frac{1}{\lambda }‖Ax‖$ (3.12)

and as a result

$\underset{\lambda \to \infty }{\mathrm{lim}}\lambda R\left(\lambda ,A\right)x=x$

for each $x\in D\left(A\right)$ .

Since $D\left(A\right)$ is dense in X and

${‖\lambda R\left(\lambda ,A\right)‖}_{L\left(X\right)}\le 1,$

and from (3.12), we deduce

$\underset{\lambda \to \infty }{\mathrm{lim}}\lambda R\left(\lambda ,A\right)x=x.$

To show 2). Let us remark that we have successively

${\lambda }^{2}R\left(\lambda ,A\right)-\lambda I={\lambda }^{2}R\left(\lambda ,A\right)-\lambda \left(\lambda I-A\right)R\left(\lambda ,A\right)=\lambda AR\left(\lambda ,A\right)={A}_{\lambda }$ (3.13)

So, if $x\in D\left(A\right)$ , by 1), we have

$\underset{\lambda \to \infty }{\mathrm{lim}}{A}_{\lambda }x=\underset{\lambda \to \infty }{\mathrm{lim}}\lambda R\left(\lambda ,A\right)x=\underset{\lambda \to \infty }{\mathrm{lim}}\lambda R\left(\lambda ,A\right)Ax=Ax,$ (3.14)

which complete the proof of 2) and 3).

To show that ${‖{e}^{tA\lambda }‖}_{L\left(X\right)}\le 1$ for each $t\ge 0$ . Since ${A}_{\lambda }\in \omega \text{-}OC{P}_{n}$ and $\omega \text{-}OC{P}_{n}\in L\left(X\right)$ , then by theorem of uniformly continuous semigroup, it follows that its generates a uniformly semigroup $\left\{{e}^{t{A}_{\lambda }};t\ge 0\right\}$ .

In order to show that ${‖{e}^{t{A}_{\lambda }}‖}_{L\left(X\right)}\le 1$ , let us remark that, by virtue of ${A}_{\lambda }x={\lambda }^{2}R\left(\lambda ,A\right)x-\lambda x$ for each $x\in X$ and b), we have

$\begin{array}{c}{‖{e}^{t{A}_{\lambda }}‖}_{L\left(X\right)}={‖{e}^{t{\lambda }^{2}R\left(\lambda ,A\right)-t\lambda I}‖}_{L\left(X\right)}\le {‖{e}^{t{\lambda }^{2}R\left(\lambda ,A\right)}‖}_{L\left(X\right)}{‖{e}^{-t\lambda I}‖}_{L\left(X\right)}\\ \le {e}^{t{\lambda }^{2}{‖R\left(\lambda ,A\right)‖}_{L\left(X\right)}}{e}^{-t\lambda I}\le {e}^{t\lambda I}{e}^{-t\lambda I}=1\end{array}$ (3.15)

Since ${A}_{\lambda }$ , ${A}_{\mu }$ , ${e}^{t{A}_{\lambda }}$ and ${e}^{t{A}_{\mu }}$ commute each to another for each $\lambda ,\mu \in \rho \left(A\right)$ and $\lambda ,\mu >0$ , we have

$\begin{array}{c}‖{e}^{t{A}_{\lambda }}x-{e}^{t{A}_{\mu }}x‖=‖{\int }_{0}^{1}\frac{\text{d}}{\text{d}s}\left({e}^{st{A}_{\lambda }}{e}^{\left(1-s\right)t{A}_{\mu }}x\right)\text{d}s‖\\ \le {\int }_{0}^{1}t‖{e}^{st{A}_{\lambda }}{e}^{\left(1-s\right)t{A}_{\mu }}\left({A}_{\lambda }x-{A}_{\mu }x\right)‖\text{d}s\\ \le t‖{A}_{\lambda }x-{A}_{\mu }x‖\end{array}$ (3.16)

Hence the proof is complete.

Theorem 3.4

For $A\in \omega \text{-}OC{P}_{n}$ , we have $A:D\left(A\right)\subseteq X\to X$ to be a linear operator satisfying both $\left(0,+\infty \right)\subseteq \sigma \left(A\right)$ and

${‖{\lambda }^{n}R{\left(\lambda ,A\right)}^{n}‖}_{L\left(X\right)}\le M$

for each $n\in N$ and $\lambda >0$ and if $\lambda ,\mu$ are regular values, i.e. $\lambda ,\mu \in \rho \left(A\right)$ and $R\left(\lambda ,A\right),R\left(\mu ,A\right)\in L\left(X\right)$ , then there exist:

1) $R\left(\lambda ,A\right)-R\left(\mu ,A\right)=\left(\mu -\lambda \right)R\left(\lambda ,A\right)R\left(\mu ,A\right)$ .

2) $‖x‖\le |x|\le M‖x‖$ .

3) $|\lambda R\left(\lambda ,A\right)x|\le |x|$ for each $x\in X$ and $\lambda >0$ .

Proof

To prove 1), let us observe that

$\begin{array}{c}R\left(\lambda ,A\right)=R\left(\lambda ,A\right)\left(\mu I-A\right)R\left(\mu ,A\right)\\ =R\left(\lambda ,A\right)\left\{\left(\mu -\lambda \right)I+\left(\lambda I-A\right)\right\}R\left(\mu ,A\right)\\ =\left(\mu -\lambda \right)R\left(\lambda ,A\right)R\left(\mu ,A\right)+R\left(\mu ,A\right)\end{array}$

so that

$R\left(\lambda ,A\right)-R\left(\mu ,A\right)=\left(\mu -\lambda \right)R\left(\lambda ,A\right)R\left(\mu ,A\right)$ (3.17)

and this complete the proof of 1).

To prove 2), we assume for $\mu >0$ and let us define ${|\text{ }\cdot \text{ }|}_{\mu }:D\left(A\right)\subseteq X\to {ℝ}_{+}$ by

${|x|}_{\mu }={\text{Sup}}_{n\in ℕ}‖{\mu }^{n}R{\left(\mu ,A\right)}^{n}x‖,$ (3.18)

it’s obvious that

$‖x‖\le {|x|}_{\mu }\le M‖x‖$ (3.19)

and

${|\mu R\left(\mu ,A\right)x|}_{\mu }\le {|x|}_{\mu }.$

We want to prove that

${|\lambda R\left(\lambda ,A\right)x|}_{\mu }\le {|x|}_{\mu }$ (3.20)

for each $\lambda \in \left(0,\mu \right]$ .

So by resolvent Equation (3.17), we have

$R\left(\lambda ,A\right)x=R\left(\mu ,A\right)\left(x+\left(\mu -\lambda \right)R\left(\mu ,A\right)x\right)$

and therefore

${|R\left(\lambda ,A\right)x|}_{\mu }\le \frac{1}{\mu }{|x|}_{\mu }+\left(1-\frac{\lambda }{\mu }\right){|R\left(\lambda ,A\right)x|}_{\mu }.$

Consequently $\lambda {|R\left(\lambda ,A\right)x|}_{\mu }\le {|x|}_{\mu }$ which proves (3.20).

From (3.19) and (3.20), we deduced that, for each $n\in ℕ$ and $\lambda \in \left(0,\mu \right]$ , we have

$‖{\lambda }^{n}R{\left(\lambda ,A\right)}^{n}x‖\le |{\lambda }^{n}R{\left(\lambda ,A\right)}^{n}x|\le {|x|}_{\mu }$ (3.21)

Passing to the Sup for $n\in ℕ$ on the left hand side of the inequality above, we now get ${|x|}_{\lambda }\le {|x|}_{\mu }$ for each $\lambda \in \left(0,\mu \right]$ . We can now define

$|x|=\underset{\mu \to 0}{\mathrm{lim}}{|x|}_{\mu }$ (3.22)

Since 2) readily follows from (3.19), and 3) from (3.21) by taking $n=1$ , we have

$|\lambda R\left(\lambda ,A\right)x|\le |x|$

Hence the proof.

Cite this paper: Rauf, K. , Akinyele, A. , Etuk, M. , Zubair, R. and Aasa, M. (2019) Some Result of Stability and Spectra Properties on Semigroup of Linear Operator. Advances in Pure Mathematics, 9, 43-51. doi: 10.4236/apm.2019.91003.
References

   Banach, S. (1922) Surles Operation Dam Les Eusembles Abstracts et lear Application Aus Equation Integrals. Fundamenta Mathematicae, 3, 133-181.
https://doi.org/10.4064/fm-3-1-133-181

   Batty, C.J.K. (1996) Spectral Condition for Stabilty of One-Parameter Semigroup. Journal of Differential Equations, 127, 87-96.
https://doi.org/10.1006/jdeq.1996.0062

   Batty, C.J.K., Chill, R. and Tomilov, Y. (2002) Strong Stability of Bounded Evolution Families and Semigroup. Journal of Functional Analysis, 193, 116-139.
https://doi.org/10.1006/jfan.2001.3917

   Chill, R. and Tomilov, Y. (2007) Stability Operator Semigroup. Banach Center Publication 75, Polish Academy of Sciences, Warsaw, 71-73.

   Rabiger, F. and Wolf, M.P.H. (2000) Spectral and Asymptotic Properties of Resolvent Dominated-Operators. Journal of the Australian Mathematical Society Series A, 68, 181-201.
https://doi.org/10.1017/S1446788700001944

   Ambrozie, C. and Müller, V. (2004) Invariant Subspaces for Polynomially Bounded Operators. Journal of Functional Analysis, 213, 321-345.
https://doi.org/10.1016/j.jfa.2003.12.004

   Balakrishnan, A.V. (1960) Fractional Powers of Closed Operators and Semigroups Generated by Them. Pacific Journal of Mathematics, 10, 419-437.
https://doi.org/10.2140/pjm.1960.10.419

   Ioan, I.V. (2003) C0-Semigroups and Applications. Mathematics Studies, 191, Elservier, North-Holland.

   Engel, K. and Nagel, R. (1999) One-Parameter Semigroups for Linear Equations. Graduate Texts in Mathematics, 194, Springer, New York.

   Rauf, K. and Akinyele, A.Y. (2019) Properties of ω-Order-Preserving Partial Contraction Mapping and Its Relation to C0-Semigroup. International Journal of Mathematics and Computer Science, 14, 61-68.

   Bellem-Morante, A. and McBride, A. (1998) Applied Non-Linear Semigroups. Mathematics Methods in Practices. John Wiley and Sons, Chichester.

   Brezis, H. (2011) Functional Analysis, Sobolev Space and Partial Differential Equations. Springer, Berlin.

Top