We extend an example of B. Aupetit, which illustrates spectral discontinuity for operators on an infinite dimensional separable Hilbert space, to a general spectral discontinuity result in abstract Banach algebras. This can then be used to show that given any Banach algebra, $Y$, one may adjoin to $Y$ a non-commutative inessential ideal, $I$, so that in the resulting algebra, $A$, the following holds: To each $x\in Y$ whose spectrum separates the plane there corresponds a perturbation of $x$, of the form $z=x+a$ where $a\in I$, such that the spectrum function on $A$ is discontinuous at $z$.
In this paper we consider perturbation of X_d-Bessel sequences, X_d-frames, Banach frames, atomic decompositions and X_d-Riesz bases in separable Banach spaces. Equivalence between some perturbation conditions is investigated.
In this paper we prove that if (A,π) is an amenable Banach algebra and if ρis another Banach algebra multiplication on A such that the difference between ρand and πis less than 1/11, then (A, ρ) is also amenable.
Paley-Wiener theorem for frames for Hilbert spaces, Banach frames, Schauder frames and atomic decompositions for Banach spaces are known. In this paper, we derive Paley-Wiener theorem for p-approximate Schauder frames for separable Banach spaces. We show that our results give Paley-Wiener theorem for frames for Hilbert spaces.
We consider a perturbation determinant for pairs of nonpositive (in a sense of Komatsu) operators on Banach space with nuclear difference and prove a generalization of the important formula for the logarithmic derivative of this determinant. To this end the Frechet differentiability of operator monotonic (negative complete Bernstein) functions of negative and nonpositive operators on Banach spaces is investigated. The results may be regarded as a contribution to the Hirsch functional calculus.
We show that the perturbation class for the upper semi-Fredholm operators between two Banach spaces X and Y coincides with the strictly singular operators when X is subprojective and that the perturbation class for the lower semi-Fredholm operators coincides with the strictly cosingular operators when Y is superprojective. Similar results were previously obtained under stronger conditions for X and Y.
The wark is a contribution to the functional calculus constructed by of the author and A. A. Atvinovskii of closed operators on Banach spaces. The calculus is based on Markov and related functions as symbols. Estimates of bounded perturbations of operator functions with respect to general operator ideal norms, operator Lipschitzness, moment inequality, Freshet operator differentiability, and Livshitz-Krein trace formulae have been considered.
It is known that Dobrushin's ergodicity coefficient is one of the effective tools in the investigations of limiting behavior of Markov processes. Several interesting properties of the ergodicity coefficient of a positive mapping defined on ordered Banach space with a base have been studied. In this paper, we consider uniformly mean ergodic and asymptotically stable Markov operators on ordered Banach spaces. In terms of the ergodicity coefficient, we prove uniform mean ergodicity criterion in terms of the ergodicity coefficient. Moreover, we develop the perturbation theory for uniformly asympto…
The paper deals with multidimensional Bochner-Phillips functional calculus. In the previous paper by the author bounded perturbations of Bernstein functions of several commuting semigroup generators on Banach spaces where considered, conditions for Lipschitzness and estimates for the norm of commutators of such functions where proved. Also in the one-dimensional case the Frechet differentiability of Bernstein functions of semigroup generators on Banach spaces where proved and a generalization of Livschits-Kreĭn trace formula derived. The aim of the present paper is to prove the Frechet differe…
We give a simple definition of a spectral shift function for pairs of nonpositive operators on Banach spaces and prove trace formulas of Lifshitz-Kre\uın type for a perturbation of an operator monotonic (negative complete Bernstein) function of negative and nonpositive operators on Banach spaces induced by nuclear perturbation of an operator argument. The Lipschitzness of such functions is also investigated. The results may be regarded as a contribution to a perturbation theory for Hirsch functional calculus.
We prove a very general theorem concerning the estimation of the expression $\|T(\frac{a+b}{2}) - \frac{Ta+Tb}{2}\|$ for different kinds of maps $T$ satisfying some general perurbated isometry condition. It can be seen as a quantitative generalization of the classical Mazur-Ulam theorem. The estimates improve the existing ones for bi-Lipschitz maps. As a consequence we also obtain a very simple proof of the result of Gevirtz which answers the Hyers-Ulam problem and we prove a non-linear generalization of the Banach-Stone theorem which improves the results of Jarosz and more recent results of D…
A remarkable result of Molnár [Proc. Amer. Math. Soc., 126 (1998), 853-861] states that automorphisms of the algebra of operators acting on a separable Hilbert space is stable under "small" perturbations. More precisely, if $ϕ,ψ$ are endomorphisms of $\mathcal{B}(\mathcal{H})$ such that $\|ϕ(A)-ψ(A)\|<\|A\|$ and $ψ$ is surjective then so is $ϕ$. The aim of this paper is to extend this result to a larger class of Banach spaces including $\ell_p$ and $L_p$ spaces ($1<p<+\infty$). En route to the proof we show that for any Banach space $X$ from the above class all faithful, unital, separable, ref…
We introduce a new concept of perturbation of closed linear subspaces and operators in Banach spaces called uniform lambda-adjustment which is weaker than perturbations by small gap, operator norm, q-norm, and K2-approximation. In arbitrary Banach spaces some of the classical Fredholm stability theorems remain true under uniform lambda-adjustment, while other fail. However, uniformly lambda-adjusted subspaces and linear operators retain their (semi--)Fredholm properties in a Banach space which dual is Fréchet-Urysohn in weak* topology. We also introduce another concept of perturbation called u…
We consider the effect of perturbations to a quasi-linear parabolic stochastic differential equation set in a UMD Banach space $X$. To be precise, we consider perturbations of the linear part, i.e. the term concerning a linear operator $A$ generating an analytic semigroup. We provide estimates for the difference between the solution to the original equation $U$ and the solution to the perturbed equation $U_0$ in the $L^p(Ω;C([0,T];X))$-norm. In particular, this difference can be estimated $|| R(λ:A)-R(λ:A_0) ||$ for sufficiently smooth non-linear terms. The work is inspired by the desire to pr…
Given a Banach space operator $A$, the isolated eigenvalues $E(A)$ and the poles $Π(A)$ (resp., eigenvalues $E^a(A)$ which are isolated points of the approximate point spectrum and the left ploles $Π^a(A)$) of the spectrum of $A$ satisfy $Π(A)\subseteq E(A)$ (resp., $Π^a(A)\subseteq E^a(A)$), and the reverse inclusion holds if and only if $E(A)$ (resp., $E^a(A)$) has empty intersection with the B-Weyl spectrum (resp., upper B-Weyl spectrum) of $A$. Evidently $Π(A)\subseteq E^a(A)$, but no such inclusion exists for $E(A)$ and $Π^a(A)$. The study of identities $E(A)=Π^a(A)$ and $E^a(A)=Π(A)$, an…
We are concerned with surjectivity of perturbations of maximal monotone operators in non-reflexive Banach spaces. While in a reflexive setting, a classical surjectivity result due to Rockafellar gives a necessary and sufficient condition to maximal monotonicity, in a non-reflexive space we characterize maximality using a ``enlarged'' version of the duality mapping, introduced previously by Gossez.
We prove a Desch-Schappacher type perturbation theorem for one-parameter semigroups on Banach spaces which are not strongly continuous for the norm, but possess a weaker continuity property. In this paper we chose to work in the framework of bi-continuous semigroups. This choice has the advantage that we can treat in a unified manner two important classes of semigroups: implemented semigroups on the Banach algebra $\mathscr{L}(E)$ of bounded, linear operators on a Banach space $E$, and semigroups on the space of bounded and continuous functions over a Polish space induced by jointly continuous…
Let $M_{C}=\left(\begin{array}{cc}A&C\\0&B\\\end{array} \right)$ is a 2-by-2 upper triangular operator matrix acting on the Banach space $X\oplus Y$ or Hilbert space $H\oplus K$. For the most import spectra such as spectrum, essential spectrum and Weyl spectrum, the characterizations of the perturbations of $M_{C}$ on Banach space have been presented. However, the characterization for the Browder spectrum on the Banach space is still unknown. The goal of this paper is to present some necessary and sufficient conditions for $M_C$ to be Browder for some $C\in B(Y,X)$ by using an alternative appr…
In this paper we show that the concept of maximal $L^p$-regularity is stable under a large class of unbounded perturbations, namely Staffans-Weiss perturbations. To that purpose, we first prove that the analyticity of semigroups is preserved under this class of perturbations, which is a necessary condition for the maximal regularity. In UMD spaces, $\mathcal{R}$-boundedness conditions are exploited to give conditions guaranteing the maximal regularity. For non-reflexive Banach space, a condition is imposed to the Dirichlet operator associated to the boundary value problem to prove the maximal …
The application of generalized inverses is usually neglected in pure mathematical research. However, it is very effective for this paper. We expand the famous matrix rank theorem due to R. Penrose to operators between Banach paces. Therefore a modern perturbation analysis of generalized inverses is built. Hereby, we find and prove a complete rank theorem in advanced calculus. So a complete answer to the rank theorem problem presented by M. S. Berger is given. Applying the co-final set and the perturbation analysis of generalized inverses we prove the Frobenius theorem in Banach space, in the p…
A strong inspiration for studying perturbation theory for fractional evolution equations comes from the fact that they have proven to be useful tools in modeling many physical processes. In this paper, we study fractional evolution equations of order $α\in (1,2]$ associated with the infinitesimal generator of an operator fractional cosine function generated by bounded time-dependent perturbations in a Banach space. We show that the abstract fractional Cauchy problem associated with the infinitesimal generator $A$ of a strongly continuous fractional cosine function remains uniformly well-posed …
A variant of the abstract Cauchy-Kovalevskaya theorem is considered. We prove existence and uniqueness of classical solutions to the nonlinear, non-autonomous initial value problem \[ \frac{du(t)}{dt} = A(t)u(t) + B(u(t),t), \ \ u(0) = x \] in a scale of Banach spaces. Here $A(t)$ is the generator of an evolution system acting in a scale of Banach spaces and $B(u,t)$ obeys an Ovcyannikov-type bound. Continuous dependence of the solution with respect to $A(t)$, $B(u,t)$ and $x$ is proved. The results are applied to the Kimura-Maruyama equation for the mutation-selection balance model. This yiel…
In this work, given a unital Banach algebra $\A$ and $a\in \A$ such that $a$ has a Moore-Penrose inverse $a^\dagger$, it will be characterized when $aa^\dagger-a^\dagger a$ is invertible. A particular subset of this class of objects will also be studied. In addition, perturbations of this class of elements will be studied. Finally, the Banach space operator case will be also considered.
Global folds between Banach spaces are obtained from a simple geometric construction: a Fredholm operator $T$ of index zero with one dimensional kernel is perturbed by a compatible nonlinear term $P$. The scheme encapsulates most of the known examples and suggests new ones. Concrete examples rely on the positivity of an eigenfunction. For the standard Nemitskii case $P(u) = f(u)$ (but $P$ might be nonlocal, non-variational), $T$ might be the Laplacian with different boundary conditions, as in the Ambrosetti-Prodi theorem, or the Schrödinger operators associated with the quantum harmonic oscill…
Given a (not necessarily continuous) homomorphism between Banach algebras $\T\colon\A\to\B$, an element $a\in\A$ will be said to be B-Fredholm (respectively generalized B-Fredholm) relative to $\T$, if $\T(a)\in \B$ is Drazin invertible (respectively Koliha-Drazin invertible). In this article, the aforementioned elements will be characterized and their main properties will be studied. In addition, perturbation properties will be also considered.
In this work, we prove the existence and uniqueness of $μ$-pseudo almost automorphic solutions for some class of semilinear nonautonomous evolution equations of the form: $ u'(t)=A(t)u(t)+f(t,u(t)),\; t\in\mathbb{R} $ where $ (A(t))_{t\in \mathbb{R}} $ is a family of closed densely defined operators acting on a Banach space $X$ that generates a strongly continuous evolution family which has an exponential dichotomy on $\mathbb{R}$. The nonlinear term $f: \mathbb{R} \times X \longrightarrow X$ is just $μ$-pseudo almost automorphic in Stepanov sense in $t$ and Lipshitzian with respect to the sec…
An operator $T \in \mathcal{B}(X)$ defined on a Banach space $X$ satisfies property $(gb)$ if the complement in the approximate point spectrum $σ_{a}(T)$ of the upper semi-B-Weyl spectrum $σ_{SBF_{+}^{-}}(T)$ coincides with the set $Π(T)$ of all poles of the resolvent of $T$. In this note we continue to study property $(gb)$ and the stability of it, for a bounded linear operator $T$ acting on a Banach space, under perturbations by nilpotent operators, by finite rank operators, by quasi-nilpotent operators commuting with $T$. Two counterexamples show that property $(gb)$ in general is not prese…
We answer the question of W.T. Gowers, giving an example of a bounded operator on a subspace of Gowers unconditional space which is not a strictly singular perturbation of a restriction of a diagonal operator. We make some observations on operators in arbitrary tight by support Banach space, showing in particular that in such space no two isomorphic infinitely dimensional subspaces form a direct sum.
The main purpose of this paper is to investigate the concept of maximal $L^p$-regularity for perturbed evolution equations in Banach spaces. We mainly consider three classes of perturbations: Miyadera-Voigt perturbations, Desch-Schappacher perturbations, and more general Staffans-Weiss perturbations. We introduce conditions for which the maximal $L^p$-regularity can be preserved under these kind of perturbations. We give examples for a boundary perturbed heat equation in $L^r$-spaces and a perturbed boundary integro-differential equation. We mention that our results mainly extend those in the …
Motivating the perturbations of frames in Hilbert and Banach spaces, in this paper we introduce the invariance of Fréchet frames under perturbation. Also we show that for any Fréchet spaces, there is a Fréchet frame and any element has a series expansion.
We generalize the results for Banach algebras of pseudodifferential operators obtained by Gröchenig and Rzeszotnik in [24] to quasi-algebras of Fourier integral operators. Namely, we introduce quasi-Banach algebras of symbol classes for Fourier integral operators that we call generalized metaplectic operators, including pseudodifferential operators. This terminology stems from the pioneering work on Wiener algebras of Fourier integral operators [11], which we generalize to our framework. This theory finds applications in the study of evolution equations such as the Cauchy problem for the Schrö…
The main purpose of this paper is to treat semigroups properties, like norm continuity, compactness and differentiability for perturbed semigroups in Banach spaces. In particular, we investigate three large classes of perturbations, Miyadera-Voigt, Desch-Schappacher and Staffans-Weiss perturbations. Our approach is mainly based on feedback theory of Salamon-Weiss systems. Our results are applied to abstract boundary integro-differential equations in Banach spaces.
The characterizations of the stable perturbation of a closed operator by a linear operator in Banach spaces
School of Mathematical & Physical Sciences, Xuzhou Institute of Technology（徐州工程学院数学与物理学院）；Department of mathematics, East China Normal University（华东师范大学数学系）
研究闭算子T在广义逆T^+存在时，线性扰动δT使得T+δT保持广义逆稳定的条件，推广了Huang在Linear Algebra and its Applications中的主要结果。
The main goal of this article is to show that for every (reflexive) infinite-dimensional Banach space $X$ there exists a reflexive Banach space $Y$ and $T, R \in \mathcal{L}(X,Y)$ such that $R$ is a rank-one operator, $\|T+R\|>\|T\|$ but $T+R$ does not attain its norm. This answers a question posed by S. Dantas and the first two authors. Furthermore, motivated by the parallelism exhibited in the literature between the $V$-property introduced by V.A. Khatskevich, M.I. Ostrovskii and V.S. Shulman and the weak maximizing property introduced by R.M. Aron, D. García, D. Pellegrino and E.V. Teixeira…
We discuss two types of `regularity point', points of continuity and R-points for Banach function algebras, which were introduced by the first author and Somerset in an earlier paper on non-regularity for Banach function algebras. We show that, even for the natural uniform algebras $R(X)$ (for compact plane sets X), these two types of regularity point can be different. We then give a new method for constructing Swiss cheese sets $X$ such that $R(X)$ is not regular, but such that $R(X)$ has no non-trivial Jensen measures. The original construction appears in the first author's previous work. Ou…
Motivated to generalize the Fourier frame concept to Banach spaces we introduce (p, q)-Bessel/frame measures for a given finite measure on LCA groups. We also present a general way of constructing (p, q)-Bessel/frame measures for a given measure. Moreover, we prove that if a measure has an associated (p, q)-frame measure, then it must have a certain uniformity in the sense that the weight is distributed quite uniformly on its support. Next, we show that if the measures $μ$ and $λ$ without atoms whose supports form a packing pair, then $μ\astλ+δ_g\astμ$ does not admit any (p, q)-frame measure. …
If T is a bounded linear operator acting on an infinite-dimensional Banach space, then there exists and operator F of rank at most one and arbitrarily small norm such that T-F has an invariant subspace of infinite dimension and codimension. This improves results of Tcaciuc and other authors.
Let $E$ be a real Banach space. We study the Ornstein-Uhlenbeck semigroup $P(t)$ associated with the Ornstein-Uhlenbeck operator $$ Lf(x) = \frac12 {\rm Tr} Q D^2 f(x) + <Ax, Df(x)>.$$ Here $Q$ is a positive symmetric operator from $E^*$ to $E$ and $A$ is the generator of a $C_0$-semigroup $S(t)$ on $E$. Under the assumption that $P$ admits an invariant measure $μ$ we prove that if $S$ is eventually compact and the spectrum of its generator is nonempty, then $$\n P(t)-P(s)\n_{L^1(E,μ)} = 2$$ for all $t,s\ge 0$ with $t\not=s$. This result is new even when $E = \R^n$. We also study the behaviour…
Muraleetharan and Thirulogasanthan in (J. Math. phys. 59, No. 10, 103506, 27p. (2018)) introduced the concept of Calkin Sspectrum of a bounded quaternionic linear operators. The study of this spectrum is establisched using the Fredholm operators theory. Motivated by this, we study the general framework of the Fredholm element with respect to a quaternionic Banach algebra homomorphism. First, we investigate the Fredholm S-spectrum of the sum of two elements in quaternionic Banach algebra by means of the Fredholm S-spectrum of the two elements. Next, we prove a perturbation result on this spectr…
In this paper we study the behavior of Hamilton operators and their spectra which depend on infinitely many coupling parameters or, more generally, parameters taking values in some Banach space. One of the physical models which motivate this framework is a quantum particle moving in a more or less disordered medium. One may however also envisage other scenarios where operators are allowed to depend on interaction terms in a manner we are going to discuss below. The central idea is to vary the occurring infinitely many perturbing potentials independently. As a side aspect this then leads natura…
