Related papers: Consistent operator semigroups and their interpola…
In this paper, we show a spectral inclusion of a different spectra of a C0-quasi-semigroup and its generator and precisely for ordinary, point, approximate point, residual, essential and regular spectra.
Let $G$ be a commutative algebraic group embedded in projective space and $\Gamma$ a finitely generated subgroup of $G$. From these data we construct a chain of algebraic subgroups of $G$ which is intimately related to obstructions to…
We give a representation for regular forms associated with dominated $C_0$-semigroups which, in turn, characterises domination of $C_0$-semigroups associated with regular forms. In addition, we prove a relationship between the positivity of…
Let $\Omega$ be an operator semigroup with generator $A$ in a sequentially complete locally convex topological vector space $E$. For a semigroup with generator $A+D$, where $D$ is a bounded linear operator on $E$, two integral equations are…
We show that, for the $C_0$-semigroups of scalar type spectral operators, a well-known necessary condition for the generation of eventually norm-continuous $C_0$-semigroups, formulated exclusively in terms of the location of the spectrum of…
We study couples of interpolators, the differentials they generate and their associated commutator theorems. An essential part of our analysis is the study of the intrinsic symmetries of the process. Since we work without any compatibility…
Generators of positive C_0-semigroups on C^*-algebras and C_0^*-semigroups on von Neumann algebras are examined. A characterization due to Bratteli and Robinson in the C_0-case is proven in the C_0^*-case. Under the additional assumptions…
The groups which can act semisymmetrically on a cubic graph of twice odd order are determined modulo a normal subgroup which acts semiregularly on the vertices of the graph.
Consider $d$ commuting $C_{0}$-semigroups (or equivalently: $d$-parameter $C_{0}$-semigroups) over a Hilbert space for $d \in \mathbb{N}$. In the literature (\textit{cf.} [29, 26, 27, 23, 18, 25]), conditions are provided to classify the…
We present a new method for constructing $C_0$-semigroups for which properties of the resolvent of the generator and continuity properties of the semigroup in the operator-norm topology are controlled simultaneously. It allows us to show…
We design a quasi-interpolation operator from the Sobolev space $H^1_0(\Omega)$ to its finite-dimensional finite element subspace formed by piecewise polynomials on a simplicial mesh with a computable approximation constant. The operator 1)…
In this paper we extend the Lumer-Phillips theorem to the context of two--parameter C_0-semigroup of contractions. That is, we characterize the infinitesimal generators of two--parameter C_0-semigroups of contractions. Conditions on the…
Interpolation-based techniques become popular in recent years, as they can improve the scalability of existing verification techniques due to their inherent modularity and local reasoning capabilities. Synthesizing Craig interpolants is the…
Interpolation-based techniques have become popularized in recent years because of their inherently modular and local reasoning, which can scale up existing formal verification techniques like theorem proving, model-checking, abstraction…
In this paper, we studied some local spectral properties for a Co semigroup and its generator. Some stabilities results are also established.
In this paper we study the regular semigroups weakly generated by a single element x, that is, with no proper regular subsemigroup containing x. We show there exists a regular semigroup $F_1$ weakly generated by x such that all other…
We present a perturbation result for generators of $C_0$-semigroups which can be considered as an operator theoretic version of the Weiss-Staffans perturbation theorem for abstract linear systems. The result are illustrated by applications…
Here we characterize regular and completely regular ordered semigroups by their minimal bi-ideals. A minimal bi-ideal is expressed as a product of a minimal right ideal and a minimal left ideal. Furthermore, we show that every bi-ideal in a…
It is known that a $C_0$-semigroup of Hilbert space operators is $m$-isometric if and only if its generator satisfies a certain condition, which we choose to call $m$-skew-symmetry. This paper contains two main results: We provide a…
A numerical semigroup is a subset of the non-negative integers that is closed under addition. For a randomly generated numerical semigroup, the expected number of minimum generators can be expressed in terms of a doubly-indexed sequence of…