A comparison between two competing sixth convergence order algorithms under the same set of conditions

There is a plethora of algorithms of the same convergence order for generating a sequence approximating a solution of an equation involving Banach space operators. But the set of convergence criteria is not the same in general. This makes the comparison between them hard and only numerically. Moreover, the convergence is established using Taylor series and by assuming the existence of high order derivatives not even appearing on these algorithms. Furthermore, no computable error estimates, uniqueness for the solution results or a ball of convergence is given. We address all these problems by using only the first derivative that actually appears on these algorithms and under the same set of convergence conditions. Our technique is so general that it can be used to extend the applicability of other algorithms along the same lines.

On (m, P)-expansive operators: products, perturbation by nilpotents, Drazin invertibility

A generalisation of m-expansive Hilbert space operators T ∈ B(ℋ) [18, 20] to Banach space operators T ∈ B(𝒳) is obtained by defining that a pair of operators A, B ∈ B(𝒳) is (m, P)-expansive for some operator P ∈ B(𝒳) if Δ A,B m (P)= ( I - L A R B ) m ( P ) = ∑ j = 0 m ( - 1 ) j ( j m ) {\left( {I - {L_A}{R_B}} \right)^m}\left( P \right) = \sum\nolimits_{j = 0}^m {{{\left( { - 1} \right)}^j}\left( {_j^m} \right)} AjPBj ≤0; LA(X) = AX and RB(X)=XB. Unlike m-isometric and m-left invertible operators, commuting products and perturbations by commuting nilpotents of (m, I)-expansive operators do not result in expansive operators: using elementary algebraic properties of the left and right multiplication operators, a sufficient condition is proved. For Drazin invertible A and B ∈ B(ℋ), with Drazin inverses Ad and Bd, a sufficient condition proving (Ad, Bd) ^ (A, B) is (m − 1, P)-isometric (resp., (m − 1, P)-contractive) for m even (resp., m odd) is given, and a Banach space analogue of this result is proved.

Extended Local Convergence for High Order Schemes Under ω-Continuity Conditions

There is a plethora of schemes of the same convergence order for generating a sequence approximating a solution of an equation involving Banach space operators. But the set of convergence criteria is not the same in general. This makes the comparison between them challenging and only numerically. Moreover, the convergence is established using Taylor series and by assuming the existence of high order derivatives that do not even appear on these schemes. Furthermore, no computable error estimates, uniqueness for the solution results or a ball of convergence is given. We address all these problems by using only the first derivative that actually appears on these schemes and under the same set of convergence conditions. Our technique is so general that it can be used to extend the applicability of other schemes along the same lines.

Banach-Space Operators Acting on Semicircular Elements Induced by p-Adic Number Fields over Primes p

In this paper, we study certain Banach-space operators acting on the Banach *-probability space ( LS , τ 0 ) generated by semicircular elements Θ p , j induced by p-adic number fields Q p over the set P of all primes p. Our main results characterize the operator-theoretic properties of such operators, and then study how ( LS , τ 0 ).

PERTURBATION OF BANACH SPACE OPERATORS WITH A COMPLEMENTED RANGE

Let${\mathcal C}[{\mathcal X}]$be any class of operators on a Banach space${\mathcal X}$, and let${Holo}^{-1}({\mathcal C})$denote the class of operatorsAfor which there exists a holomorphic functionfon a neighbourhood${\mathcal N}$of the spectrum σ(A) ofAsuch thatfis non-constant on connected components of${\mathcal N}$andf(A) lies in${\mathcal C}$. Let${{\mathcal R}[{\mathcal X}]}$denote the class of Riesz operators in${{\mathcal B}[{\mathcal X}]}$. This paper considers perturbation of operators$A\in\Phi_{+}({\mathcal X})\Cup\Phi_{-}({\mathcal X})$(the class of all upper or lower [semi] Fredholm operators) by commuting operators in$B\in{Holo}^{-1}({\mathcal R}[{\mathcal X}])$. We prove (amongst other results) that if πB(B) = ∏mi= 1(B− μi) is Riesz, then there exist decompositions${\mathcal X}=\oplus_{i=1}^m{{\mathcal X}_i}$and$B=\oplus_{i=1}^m{B|_{{\mathcal X}_i}}=\oplus_{i=1}^m{B_i}$such that: (i) If λ ≠ 0, then$\pi_B(A,\lambda)=\prod_{i=1}^m{(A-\lambda\mu_i)^{\alpha_i}} \in\Phi_{+}({\mathcal X})$(resp.,$\in\Phi_{-}({\mathcal X})$) if and only if$A-\lambda B_0-\lambda\mu_i\in\Phi_{+}({\mathcal X})$(resp.,$\in\Phi_{-}({\mathcal X})$), and (ii) (case λ = 0)$A\in\Phi_{+}({\mathcal X})$(resp.,$\in\Phi_{-}({\mathcal X})$) if and only if$A-B_0\in\Phi_{+}({\mathcal X})$(resp.,$\in\Phi_{-}({\mathcal X})$), whereB0= ⊕mi= 1(Bi− μi); (iii) if$\pi_B(A,\lambda)\in\Phi_{+}({\mathcal X})$(resp.,$\in\Phi_{-}({\mathcal X})$) for some λ ≠ 0, then$A-\lambda B\in\Phi_{+}({\mathcal X})$(resp.,$\in\Phi_{-}({\mathcal X})$).