A well-known result of W. Ray asserts that if $C$ is an unbounded convex subset of a Hilbert space, then there is a nonexpansive mapping $T$: $C\to C$ that has no fixed point. In this paper we establish some common fixed point properties for a semitopological semigroup $S$ of nonexpansive mappings acting on a closed convex subset $C$ of a Hilbert space, assuming that there is a point $c\in C$ with a bounded orbit and assuming that certain subspace of $C_b(S)$ has a left invariant mean. Left invariant mean (or amenability) is an important notion in harmonic analysis of semigroups and groups introduced by von Neumann in 1929 \cite{Neu} and formalized by Day in 1957 \cite{Day}. In our investigation we use the notion of common attractive points introduced recently by S. Atsushiba and W. Takahashi.
We study quantum dynamical semigroups generated by noncommutative unbounded elliptic operators which can be written as Lindblad type unbounded generators. Under appropriate conditions, we first construct the minimal quantum dynamical semigroups for the generators and then use Chebotarev and Fagnola's sufficient conditions for conservativity to show that the semigroups are conservative.
We consider dynamical semigroups with unbounded Kossakowski-Lindblad-Davies generators which are related to evolution of an open system with a tuned repeated harmonic perturbation. Our main result is the proof of existence of uniquely determined minimal trace-preserving strongly continuous dynamical semigroups on the space of density matrices. The corresponding dual W *-dynamical system is shown to be unital quasi-free and completely positive automorphisms of the CCR-algebra. We also comment on the action of dynamical semigroups on quasi-free states.
This article summarises the theory of several bounded functional calculi for unbounded operators that have recently been discovered. The extend the Hille--Phillips calculus for (negative) generators $A$ of certain bounded $C_0$-semigroups, in particular for bounded semigroups on Hilbert spaces and bounded holomorphic semigroups on Banach spaces. They include functions outside the Hille-Phillips class, and they generally give sharper bounds for the norms of the resulting operators $f(A)$. The calculi are mostly based on appropriate reproducing formulas for the relevant classes of functions, and…
In this paper we study fixed point properties for semitopological semigroup of nonexpansive mappings on a bounded closed convex subset of a Banach space. We also study a Schauder fixed point property for a semitopological semigroup of continuous mappings on a compact convex subset of a separated locally convex space. Such semigroups properly include the class of extremely left amenable semitopological semigroups, the free commutative semigroup on one generator and the bicyclic semigroup $S_1 = < a, b: ab = 1 >$.
In this paper several joint spectra for a finite commuting family of closed operators in Banach space are considered, some new relations between these spectra established (earlier only the inclusion of the Taylor spectrum in the commutant one was known), and in the case of semigroup generators spectral mapping theorems for such spectra are proved. Several of this theorems are generalizations of preceding results due to the author. Applications to stability of multiparametric semigroups are given.
In this paper, using Kronecker's theorem, we discuss the set of common fixed points of an n-parameter continuous semigroup of mappings. We also discuss convergence theorems to a common fixed point of an n-parameter nonexpansive semigroup.
The extension of Hille-Phillips functional calculus of semigroup generators which leads to unbounded operators is given. Connections of this calculus to Bochner-Phillips functional calculus are indicated, and several examples are considered.
In this paper, we prove the existence of a common fixed point in $C(K)$, the Chebyshev center of K, for a left reversible semigroup of isometry mappings. This existence result improves the results obtained by Lim et al. and Brodskii and Milman.
We consider positive perturbations of positive semigroups on AM-spaces and prove a result which is the dual counterpart of a famous perturbation result of Desch in AL-spaces. As an application we consider unbounded perturbations of the shift semigroup.
In this paper, we discuss characterizations of common fixed points of commutative semigroups of nonexpansive mappings. We next prove convergence theorems to a common fixed point. We finally discuss nonexpansive retractions onto the set of common fixed points. In our discussion, we may not assume the strict convexity of the Banach space.
The purpose of this paper is to give an updated survey on various algebraic and analytic properties of semigroups related to fixed point properties of semigroup actions on a non-empty closed convex subset of a Banach space or, more generally, a locally convex topological vector space.
Let $A$ be an unbounded operator on a Banach space $X$. It is sometimes useful to improve the operator $A$ by extending it to an operator $B$ on a larger Banach space $Y$ with smaller spectrum. It would be preferable to do this with some estimates for the resolvent of $B$, and also to extend bounded operators related to $A$, for example a semigroup generated by $A$. When $X$ is a Hilbert space, one may also want $Y$ to be Hilbert space. Results of this type for bounded operators have been given by Arens, Read, Müller and Badea, and we give some extensions of their results to unbounded operator…
We show a few fixed point theorems for semigroups acting on weakly compact convex subsets of Banach spaces when $LUC(S), AP(S), WAP(S)$ or $WAP(S)\cap LUC(S)$ have a left invariant mean. In particular, we give a characterization of semitopological semigroups that have a left invariant mean on the space of weakly almost periodic functions in terms of a fixed point property for nonexpansive mappings. It answers, in the case of Banach spaces, Question 4 of [A.T.-M. Lau, Y. Zhang, J. Funct. Anal. 263 (2012), 2949--2977] in affirmative. We also extend the fixed point theorem of R. Hsu from left rev…
In this paper we study the main properties of the Cesàro means of bi-continuous semigroups, introduced and studied by Kühnemund in [24]. We also give some applications to Feller semigroups generated by second-order elliptic differential operators with unbounded coefficients in $C_b(\R^N)$ and to evolution operators associated with nonautonomous second-order differential operators in $C_b(\R^N)$ with time-periodic coefficients.
The main purpose of this paper is to prove the mean ergodic theorem for nonexpansive mappings and semigroups in locally compact Hadamard spaces, including finite dimensional Hadamard manifolds. The main tool for proving ergodic convergence is the almost periodicity of orbits of a nonexpansive mapping. Therefore, in the first part of the paper, we study almost periodicity (and as a special case, periodicity) in metric and Hadamard spaces. Then, we prove a mean ergodic theorem for nonexpansive mappings and continuous semigroups of contractions in locally compact Hadamard spaces. Finally, an appl…
Suppose that S is a left amenable semitopological semigroup. We prove that if ${T_{t}: t \in S}$ is a uniformly k-Lipschitzian semigroup on a bounded closed and convex subset C of a Hilbert space and $k<\sqrt{2}$, then the set of fixed points of this semigroup is a Hölder continuous retract of C. This gives a qualitative complement to the Ishihara-Takahashi fixed point existence theorem.
By suitably extending a Feynman-Kac formula of Simon [Canadian Math. Soc. Conf. Proc, 28 (2000), 317-321], we study one-parameter semigroups generated by (the negative of) rather general Schroedinger operators, which may be unbounded from below and include a magnetic vector potential. In particular, a common domain of essential self-adjointness for such a semigroup is specified. Moreover, each member of the semigroup is proven to be a maximal Carleman operator with a continuous integral kernel given by a Brownian-bridge expectation. The results are used to show that the spectral projections of…
In this paper, we prove the following theorem: Let {T(t) : t >= 0} be a one-parameter continuous semigroup of mappings on a subset C of a Banach space E. The set of fixed points of T(t) is denoted by F(T(t)) for each t >= 0. Then cap_{t >= 0} F(T(t)) = F(T(1)) cap F(T(sqrt 2)) holds. Using this theorem, we discuss convergence theorems to a common fixed point of {T(t) : t >= 0}.
We study the well-posedness of a linear control system $Σ(A,B,C,D)$ with unbounded control and observation operators. To this end we associate to our system an operator matrix $\mathcal{A}$ on a product space $\mathcal{X}^p$ and call it $p$-well-posed if $\mathcal{A}$ generates a strongly continuous semigroup on $\mathcal{X}^p$. Our approach is based on the Laplace transform and Fourier multipliers.
In this paper we prove the global in time solvability of the continuous growth--fragmentation--coagulation equation with unbounded coagulation kernels, in spaces of functions having finite moments of sufficiently high order. The main tool is the recently established result on moment regularization of the linear growth--fragmentation semigroup that allows us to consider coagulation kernels whose growth for large clusters is controlled by how good the regularization is, in a similar manner to the case when the semigroup is analytic.
Avicou, Chalendar and Partington proved that an (unbounded) operator $(Af)=G\cdot f'$ on the classical Hardy space generates a $C_0$ semigroup of composition operators if and only if it generates a quasicontractive semigroup. Here we prove that if such an operator $A$ generates a $C_0$ semigroup, then it is automatically a semigroup of composition operators, so that the condition of quasicontractivity of the semigroup in the cited result is not necessary. Our result applies to a rather general class of Banach spaces of analytic functions in the unit disc.
A basic result in semigroup theory states that every $C_0$-semigroup is quasi-contractive with respect to some appropriately chosen equivalent norm. This paper contains a counterpart of this well-known fact. Namely, by examining the convergence of the Trotter-type formula $(e^{\frac{t}{n}A}P)^n$ (where $P$ denotes a bounded projection), we prove that whenever the generator $A$ is unbounded it is possible to introduce an equivalent norm on the space with respect to which the semigroup is {\it{not}} quasi-contractive.
In this note we study the differentiability with respect to the time-parameter of semigroups consisting of Lipschitzian or smooth self-mappings of a domain in a Banach space.
Let $(\E,\F)$ be a symmetric non-local Dirichlet from with unbounded coefficient on $L^2(\R^d;\d x)$ defined by $$\E(f,g)=\iint_{\R^d\times \R^d} (f(y)-f(x))(g(x)-g(y)){W(x,y)}\, J(x,\d y)\,\d x, \quad f,g\in \F,$$ where $J(x,\d y)$ is regarded as the jumping kernel for a pure-jump symmetric Lévy-type process with bounded coefficients, and $W(x,y)$ is seen as a weighted (unbounded) function. We establish sharp criteria for compactness and non-compactness of the associated Markovian semigroup $(P_t)_{t\ge0}$ on $L^2(\R^d;\d x)$. In particular, we prove that if $J(x,\d y)=|x-y|^{-d-α}\,\d y$ wit…
We investigate typical properties of nonexpansive mappings on unbounded complete hyperbolic metric spaces. For two families of metrics of uniform convergence on bounded sets, we show that the typical nonexpansive mapping is a Rakotch contraction on every bounded subset and that there is a bounded set which is mapped into itself by this mapping. In particular, we obtain that the typical nonexpansive mapping in this setting has a unique fixed point which can be reached by iterating the mapping. Nevertheless, it turns out that the typical mapping is not a Rakotch contraction on the whole space an…
We analyze new phenomena arising in linear damped wave equations on unbounded domains when the damping is allowed to become unbounded at infinity. We prove the generation of a contraction semigroup, study the relation between the spectra of the semigroup generator and the associated quadratic operator function, the convergence of non-real eigenvalues in the asymptotic regime of diverging damping on a subdomain, and we investigate the appearance of essential spectrum on the negative real axis. We further show that the presence of the latter prevents exponential estimates for the semigroup and t…
We introduce the numerical spectrum $σ_n(A)\subset \mathbb{C}$ of an (unbounded) linear operator $A$ on a Banach space $X$ and study its properties. Our definition is closely related to the numerical range $W(A)$ of $A$ and always yields a superset of $W(A)$. In the case of bounded operators on Hilbert spaces, the two notions coincide. However, unlike the numerical range, $σ_n(A)$ is always closed, convex and contains the spectrum of $A$. In the paper we strongly emphasise the connection of our approach to the theory of $C_0$-semigroups.
We establish spectral inclusion and mapping theorems for scalar type spectral operators, generalizing their counterparts for normal operators. Thereby, we extend a precise weak spectral mapping theorem, known to hold for $C_0$-semigroups of normal operators on complex Hilbert spaces, to the more general case of $C_0$-semigroups of scalar type spectral operators on complex Banach spaces. The finer spectrum structure is given itemized consideration.
We prove that in a large class of Banach spaces of analytic functions in the unit disc $\mathbb{D}$ an (unbounded) operator $Af=G\cdot f'+g\cdot f$ with $G,\, g$ analytic in $\mathbb{D}$ generates a $C_0$-semigroup of weighted composition operators if and only if it generates a $C_0$-semigroup. Particular instances of such spaces are the classical Hardy spaces. Our result generalizes previous results in this context and it is related to cocycles of flows of analytic functions on Banach spaces. Likewise, for a large class of non-separable Banach spaces $X $ of analytic functions in $\mathbb{D}$…
We present a general approach to proving the existence of spectral gaps and asynchronous exponential growth for growth-fragmentation semigroups in moment spaces $L^{1}(\mathbb{R}_{+};\ x^{α}dx)$ and $L^{1}(\mathbb{R} _{+};\ \left( 1+x\right) ^{α}dx)$ for unbounded total fragmentation rates and continuous growth rates $r(.)$\ such that $\int_{0}^{+\infty } \frac{1}{r(τ)}dτ=+\infty .\ $The analysis is based on weak compactness tools and Frobenius theory of positive operators and holds provided that $α>\widehat{α}$ for a suitable threshold $\widehat{ α}\geq 1$ that depends on the moment space we …
We investigate uniform, strong, weak and almost weak stability of multiplication semigroups on Banach space valued $L^p$-spaces. We show that, under certain conditions, these properties can be characterized by analogous ones of the pointwise semigroups. Using techniques from selector theory, we prove a spectral mapping theorem for the point spectra of the pointwise and global semigroups and apply this as a major tool for determining almost weak stability.
We consider perturbations of dynamical semigroups on the algebra of all bounded operators in a Hilbert space generated by covariant completely positive measures on the semi-axis. The construction is based upon unbounded linear perturbations of generators of the preadjoint semigroups on the space of nuclear operators. As an application we construct a perturbation of the semigroup of non-unital *-endomorphisms on the algebra of canonical anticommutation relations resulting in the flow of shifts.
We present a spectral mapping theorem for continuous semigroups of operators on any Banach space $E$. The condition for the hyperbolicity of a semigroup on $E$ is given in terms of the generator of an evolutionary semigroup acting in the space of $E$-valued functions. The evolutionary semigroup generated by the propagator of a nonautonomous differential equation in $E$ is also studied. A ``discrete'' technique for the investigating of the evolutionary semigroup is developed and applied to describe the hyperbolicity (exponential dichotomy) of the nonautonomuos equation. File Length: 68K
We study a nonlinear semigroup associated to a nonexpansive mapping on a Hadamard space and establish its weak convergence to a fixed point. A discrete-time counterpart of such a semigroup, the proximal point algorithm, turns out to have the same asymptotic behavior. This complements several results in the literature -- both classical and more recent ones. As an application, we obtain a new approach to heat flows in singular spaces for discrete, as well as continuous times.
The present paper is devoted to semigroups of nonexpansive mappings on metric spaces of nonpositive curvature. We show that the Mosco convergence of a sequence of convex lsc functions implies convergence of the corresponding resolvents and convergence of the gradient flow semigroups. This extends the classical results of Attouch, Brezis and Pazy into spaces with no linear structure. The same method can be further used to show the convergence of semigroups on a sequence of spaces, which solves a problem of [Kuwae and Shioya, Trans. Amer. Math. Soc., 2008].
With a view toward fractal spaces, by using a Korevaar-Schoen space approach, we introduce the class of bounded variation (BV) functions in a general framework of strongly local Dirichlet spaces with a heat kernel satisfying sub-Gaussian estimates. Under a weak Bakry-Émery curvature type condition, which is new in this setting, this BV class is identified with a heat semigroup based Besov class. As a consequence of this identification, properties of BV functions and associated BV measures are studied in detail. In particular, we prove co-area formulas, global $L^1$ Sobolev embeddings and isope…
For graded $C^*$-algebras $A$ and $B$, we construct a semigroup ${\cal AP}(A,B)$ out of asymptotic pairs. This semigroup is similar to the semigroup $Ψ(A,B)$ of unbounded KK-modules defined by Baaj and Julg and there is a map $Ψ(A,B) \to {\cal AP}(A,B)$ when $B$ is stable. Furthermore, there is a natural semigroup homomorphism ${\cal AP}(A,B) \to E(A,B)$, where $E(A,B)$ is the E-theory group. We denote the image of this map $E'(A,B)$ and prove both that $E'(A,B)$ is a group and that the composition product of E-theory specializes to a composition product on these subgroups. Our main result is …
A mapping $f:(G_1,[ ]_1)\to (G_2,[ ]_2)$ between ternary semigroups will be called a ternary homomorphism if $f([xyz]_1)=[f(x)f(y)f(z)]_2$. In this paper, we prove the generalized Hyers--Ulam--Rassias stability of mappings of commutative semigroups into Banach spaces. In addition, we establish the superstability of ternary homomorphisms into Banach algebras endowed with multiplicative norms.
It is shown how to construct *-homomorphic quantum stochastic Feller cocycles for certain unbounded generators, and so obtain dilations of strongly continuous quantum dynamical semigroups on C* algebras; this generalises the construction of a classical Feller process and semigroup from a given generator. The construction is possible provided the generator satisfies an invariance property for some dense subalgebra A_0 of the C* algebra A and obeys the necessary structure relations; the iterates of the generator, when applied to a generating set for A_0, must satisfy a growth condition. Furtherm…
In this paper, we discuss the well-posedness of the Cauchy problem associated with the third-order evolution equation in time $$ u_{ttt} +A u + ηA^{\frac13} u_{tt} +ηA^{\frac23} u_t=f(u) $$ where $η>0$, $X$ is a separable Hilbert space, $A:D(A)\subset X\to X$ is an unbounded sectorial operator with compact resolvent, and for some $λ_0>0$ we have $\mbox{Re}σ(A)>λ_0$ and $f:D(A^{\frac13})\subset X\to X$ is a nonlinear function with suitable conditions of growth and regularity.
In this paper we give sufficient conditions on $α\geq 0$ and $c\in \mathbb{R}$ ensuring that the space of test functions $C_c^\infty(\mathbb{R}^N)$ is a core for the operator $$L_0u=(1+|x|^α)Δu+\frac{c}{|x|^2}u=:Lu+\frac{c}{|x|^2}u,$$ and $L_0$ with suitable domain generates a quasi-contractive and positivity preserving $C_0$-semigroup in $L^p(\mathbb{R}^N),\,1<p<\infty$. The proofs are based on some $L^p$-weighted Hardy's inequality and perturbation techniques.
We establish convolution inequalities for Besov spaces $B_{p,q}^s$ and Triebel--Lizorkin spaces $F_{p,q}^s$. As an application, we study the mapping properties of convolution semigroups, considered as operators on the function spaces $A_{p,q}^s$, $A \in \{B,F\}$. Our results apply to a wide class of convolution semigroups including the Gauß--Weierstraß semigroup, stable semigroups and heat kernels for higher-order powers of the Laplacian $(-Δ)^m$, and we can derive various caloric smoothing estimates.
In the standard theory of delay equations, the fundamental solution does not 'live' in the state space. To eliminate this age-old anomaly, we enlarge the state space. As a consequence, we lose the strong continuity of the solution operators and this, in turn, has as a consequence that the Riemann integral no longer suffices for giving meaning to the variation-of-constants formula. To compensate, we develop the Stieltjes-Pettis integral in the setting of a norming dual pair of spaces. Part I provides general theory, Part II deals with "retarded" equations, and in Part III we show how the Stielt…
In this paper the theory of evolution semigroups is developed and used to provide a framework to study the stability of general linear control systems. These include time-varying systems modeled with unbounded state-space operators acting on Banach spaces. This approach allows one to apply the classical theory of strongly continuous semigroups to time-varying systems. In particular, the complex stability radius may be expressed explicitly in terms of the generator of a (evolution) semigroup. Examples are given to show that classical formulas for the stability radius of an autonomous Hilbert-sp…
We prove that a first order linear differential operator G with unbounded operator coefficients is Fredholm on spaces of functions on the real line with values in a reflexive Banach space if and only if the corresponding strongly continuous evolution family has exponential dichotomies on both semiaxises and a pair of the ranges of the dichotomy projections is Fredholm, and that the Fredholm index of G is equal to the Fredholm index of the pair. The operator G is the generator of the evolution semigroup associated with the evolution family. In the case when the evolution family is the propagato…
