# C0 semigroup

The ** C_{0}- semigroup** (

*C*

_{0}- はんぐん British:

*C*

_{0}-semigroup) in the field of the mathematics or the

**strong continuation one parameter semigroup**is one generalization of the exponential function. I am given the solution of the differential equation that a linear fixed number coefficient in the バナッハ space is the way it goes by strong continuation semigroup so that the solution of the differential equation that it is the way it goes to assume the linear scalar fixed number a coefficient gives it in an exponential function. The differential equation in such バナッハ space appears, for example, in a field of a delay differential equation () and the partial differential equation.

The strong continuation semigroup is expression of semigroup (**R**_{+},+) on consecutive バナッハ space *X* in strong operator phase formally. Therefore, as for the strong continuation semigroup, it may be said that it is continuous expression of the very special semigroup rather than semigroup when I say closely.

## Table of contents

## Definition

バナッハ space The representation that meets the next property with the upper **strong continuation semigroup** It is with a saw:

- , Upper 恒等作用素)
- , as .

Two axioms of the beginning are algebraic things, But, it is semigroup I mean that it is expression of). The last axiom is topologic and represents it But, I mean that it is continuation in strong operator phase.

## Simple example

I assume *A* existence world operator on バナッハ space *X*. Then,

It is は 強連続半群 (I really continue in same operator phase ). On the contrary, existence boarder-line type operator *A* that I can write in the upper form in any same consecutive semigroup by all means exists [^{1}]. Particularly, alignment operator *A* which I can write in the upper form in any strong continuation semigroup by all means exists if *X* is limited dimensional バナッハ space [^{2}].

## Infinitesimal generation operator

**Infinitesimal generation operator** *A* of strong continuation semigroup *T*

It is defined によって (when the limit of the right side exists).* Domain D(A) of A* is a meeting consisting of

*x ∈ X*where there is such a limit.

*D*(

*A*) is a linear subspace, and

*A*is linear on the domain [

^{3}].

*A*is not necessarily existence world, but it is shut, and the domain is dense again in

*X*[

^{4}].

Strong continuation semigroup *T* with generation operator *A* is often expressed using sign *e ^{At}*. This scale adapts to the scale for the function of the operator defined through a line exponential function and a Pan-function calculation (e.g., a spectrum theorem).

## Issue of abstract Cauchy

I think about the issue of following abstract Cauchy:

*A* assumes it a shut operator on バナッハ space *X* here and assumes it *x ∈ X*. With two concepts following in the solution of this problem:

- Continuous function
*u: which can differentiate it [0, ∞*] the thing meeting the initial condition that satisfy*u*(*t*) ∈*D*(*A*) for all*t*≥0 in → X and was given is called the**classic solution**of the upper Cauchy problem. - Continuous function
*u*: [0, ∞] in →*X*

The thing satisfying を is called a **soft solution** of the issue of big Cauchy.

All classic solutions are soft solutions. A necessary and sufficient condition for a soft solution to be a classic solution is that it is continuous differentiability [^{5}].

The next theorem relates to the abstract issue of Cauchy and relations of the strong continuation semigroup.

I assume **theorem [ ^{6}**]

*A*a shut operator on バナッハ space

*X*. The following claims are the equivalent:

- For all
*x ∈ X*, there is merely one soft solution for the issue of abstract Cauchy. - Operator
*A*generates a certain strong continuation semigroup. - The レゾルベント set of
*A*is not empty, and, for all*x*∈*D*(*A*), there is an only horn classic solution for the issue of abstract Cauchy.

When these claims are concluded, the solution of the issue of Cauchy is given by *u*(t) = *T*(*t*)*x*. But *T* is strong continuation semigroup generated by *A*.

## Generation theorem

When mostly I was given a certain linear operator *A*, in conjunction with the issue of Cauchy, it is in a problem it a generation bare となるかどうかという point of the strong continuation semigroup. The theorem becoming the answer to this problem is called a **generation theorem**. One perfect characterization about the operator which generated strong continuation semigroup was given by a theorem of fin - Yoshida. In addition, I was given the condition that it was easy to confirm it by a theorem of roux mer - Philips more practically while being important.

## Special kind of the semigroup

### The same consecutive semigroup

If *t* → *T*(*t*) is consecutive mapping from [0, ∞] to *L*(*X*), strong continuation semigroup *T* is told to be the **same continuation**.

It is generation bare は of the same consecutive semigroup, existence world operator [^{1}].

### Analysis semigroup

### Reduction semigroup

### The semigroup that can differentiate it

A certain *t*_{0} where *T(t _{0})X ⊂ D(A)* (as the condition that or is it and the equivalent for all

*t*≥t

_{0}

*T*(

*t*)

*X*⊂

*D*(

*A*)) is established in strong continuation semigroup

*T*> If 0 exists, I am called when I

**can differentiate it for an end**. In addition, it is all

*t*> I am called when I

**can differentiate it promptly**if

*T*(

*t*)

*X*⊂

*D*(

*A*) is established for 0.

All analysis semigroup can differentiate it promptly.

The characterization that is one equivalent in the issue of Cauchy is the following thing: A necessary and sufficient condition for strong continuation semigroup generated by *A* to be able to differentiate it for an end is that *t*_{}1≥0 which there is which becomes when solution *u* of the issue of abstract Cauchy can differentiate it on (*t*_{1}, ∞) for all *x* ∈ *X* exists. It is if I can choose *t*_{1} to become zero when such a semigroup can differentiate it promptly.

### Compact semigroup

A certain *t*_{0} where *T*(*t*_{0}) becomes the compact operator in strong continuation semigroup *T* > If 0 exists; **for an end** called the compact (^{[7]} that this condition is the equivalent with *T*(*t*) being compact for all *t*≥t_{0}). It is all *t* > If *T*(*t*) is a compact operator, I am called for 0 when such a semigroup **is compact promptly**.

### Norm consecutive semigroup

If *t*_{}0≥0 which there is where *t* → *T*(*t*) becomes the consecutive representation from (*t*_{0}, ∞) to *L*(*X*) exists, the strong continuation semigroup is called it for an end when it is **norm continuation**. I am called if I can choose *t*_{0} as zero when such a semigroup is **norm continuation promptly**.

For the semigroup which is norm continuation, in *t* → *T*(*t*), it should be noted consecutive things in *t* = 0 promptly (the semigroup becomes the same continuation if it is continuation).

Analysis semigroup, the semigroup which can differentiate it (for an end), semigroup compact (for an end) are all norm consecutive semigroup for an end [^{8}].

## Stability

### Index stability

The **growth upper limit** of semigroup *T* is the fixed number

It is defined によって. This number

But, because is given as the lower limit of real number *ω* which there is fixed number *M* (≥1) established for all *t*≥0; such; call it, and do.

All the conditions to give next are the equivalent [^{9}]:

- For all
*t*≥0 But, established M,ω>0 exists. - Growth upper limit
*ω*_{0}<0 is minus number. - The semigroup converges to zero in same operator phase (). In other words, となる.
- であるようなある
*t*_{0}> 0 exists. *t*_{1}where a spectrum radius of*T*(*t*_{1}) becomes smaller than 1 closely > 0 exists.- For all
*x ∈ X*となるような*p*∈ [1, ∞] exists. - For all
*p*∈ [1, ∞] and*x*∈*X*, But, it is established.

It is said that the semigroup meeting the condition that is these equivalent is **index stability** or the **same stability** (in the related documents, one of three conditions of the upper beginning is often treated as a definition).* It is known that a condition of L ^{p}* is index stability and the equivalent as a

**theorem of ダツコ - ペジー**.

When *X* is Hilbert space, the following different condition about the generation natural レゾルベント operator also becomes index stability and the equivalent of the semigroup: All complex number *λ* with an equilateral real part belongs to レゾルベント set of *A*, and, as for the レゾルベント operator, it is in the right half plane in same existence world. In other words, (*λ*I-A*)*^{-1} is Hardy space に belongs [^{10}]. This is called a **theorem of gear heart - pulse**.

The **spectrum upper limit** of operator *A* is the fixed number

It is defined として. But it is a spectrum of *A* But, I assume it *s*(A) = - ∞ when it is empty.

In the growth upper limit and the spectrum upper limit of the semigroup, I have a relationship called *s(A)≤ω _{0}(T)* [

^{11}].

*s*(

*A*) The example becoming <ω

*0*

_{}(

*T*) is seen by some documents [

^{12}].

*T*is said to meet a

**spectrum decision growth condition**(spectral determined growth condition) if it is

*s*(A) =ω

*0*

_{}(

*T*). The norm consecutive semigroup meets a spectrum decision growth condition for an end [

^{13}]. From this, the condition that is index stability and the equivalent of those semigroup is provided again:

- The necessary and sufficient condition for norm consecutive semigroup to be index stability for an end is
*s*(*A*) It is <0.

Because it is norm continuation, compact semigroup, the semigroup which can differentiate it for an end, analysis semigroup and the same consecutive semigroup meet a spectrum decision growth condition for an end for an end.

### Strong stability

Strong continuation semigroup T for all *x* ∈ *X* But, or **strong stability** is called if established if **asymptotically stable**.

The index stability means strong stability, but the reverse is not generally satisfied when X is an infinite dimension (if X is a limited dimension, the reverse is established).

The sufficient condition for strong stability to speak next called the **theorem of the アレンド - Bhatti - リュビッヒ - phone** [^{14}]:

- T is existence world. A certain
*M*≥1 exists and But, it is managed. - A does not have a surplus spectrum () on the empty axis.
- The spectrum of A located on the empty axis is a countable unit.

であるなら, T are strong stability.

These conditions are simplified as follows if X is recursive: T is strong stability if T is existence world, and A does not have eigenvalue on the empty axis, and the spectrum of A on the empty axis is a countable unit.

## Allied item

## Explanatory note

- ^
^{a}^{b}Engel and Nagel Theorem I.3.7 **^**Engel and Nagel Theorem I.2.9**^**Partington (2004) page 23**^**Partington (2004) page 24**^**Arendt et. al. Proposition 3.1.2**^**Arendt et. al. Theorem 3.1.12**^**Engel and Nagel Lemma II.4.22**^**Engel and Nagel (diagram II.4.26)**^**Engel and Nagel Section V.1.b**^**Engel and Nagel Theorem V.1.11**^**Engel and Nagel Proposition IV2.2**^**Engel and Nagel Section IV.2.7, Luo et. al. Example 3.6**^**Engel and Nagel Corollary 4.3.11**^**Arendt and Batty, Lyubich and Phong

## References

- Hille, E.; Phillips, R. S. (1975).
*Functional Analysis and Semi-Groups*. American Mathematical Society. - Curtain, R. F.; Zwart, H. J. (1995).
*An introduction to infinite dimensional linear systems theory*. Springer Verlag. - Davies, E. B. (1980).
*One-parameter semigroups*. L.M.S. monographs. Academic Press. ISBN 0-12-206280-9. - Engel, Klaus-Jochen; Nagel, Rainer (2000),
*One-parameter semigroups for linear evolution equation*s, Springer - Arendt, Wolfgang; Batty, Charles; Hieber, Matthias; Neubrander, Frank (2001),
*Vector-valued Laplace Transforms and Cauchy Problem*s, Birkhauser - Staffans, Olof (2005),
*Well-posed linear system*s, Cambridge University Press - Luo, Zheng-Hua; Guo, Bao-Zhu; Morgul, Omer (1999),
*Stability and Stabilization of Infinite Dimensional Systems with Application*s, Springer - Arendt, Wolfgang; Batty, Charles (1988),
*Tauberian theorems and stability of one-parameter semigroup*s, Transactions of the American mathematical society - Lyubich, Yu; Phong, Vu Quoc (1988),
*Asymptotic stability of linear differential equations in Banach space*s, Studia Mathematica - Partington, Jonathan R. (2004),
*Linear operators and linear system*s, London Mathematical Society Student Texts, Cambridge University Press, ISBN 0-521-54619-2

This article is taken from the Japanese Wikipedia **C0 semigroup**

This article is distributed by cc-by-sa or GFDL license in accordance with the provisions of Wikipedia.

In addition, Tranpedia is simply not responsible for any show is only by translating the writings of foreign licenses that are compatible with CC-BY-SA license information.

## 0 개의 댓글:

## 댓글 쓰기