Comparison theorems for weak splittings of bounded operators

Summary Comparison theorems for weak splittings of bounded operators are presented. These theorems extend the classical comparison theorem for regular splittings of matrices by Varga, the less known result by Wonicki, and the recent results for regular and weak regular splittings of matrices by Neumann and Plemmons, Elsner, and Lanzkron, Rose and Szyld. The hypotheses of the theorems presented here are weaker and the theorems hold for general Banach spaces and rather general cones. Hypotheses are given which provide strict inequalities for the comparisons. It is also shown that the comparison theorem by Alefeld and Volkmann applies exclusively to monotone sequences of iterates and is not equivalent to the comparison of the spectral radius of the iteration operators.This work was supported by the National Science Foundation grants DMS-8807338 and INT-8918502     

Numerical solution of a singularly perturbed problem via exponential splines

It is proved that a spline difference scheme for a singularly perturbed self-adjoint problem, derived by using exponential cubic splines at mid-points, has second order uniform convergence in a small parameter . Numerical experiments are presented to confirm the theoretical predictions.     

Error for the modified secant method

New error bounds for the modified secant method are provided. We show that our error estimates are better than the ones already existing in the literature, under similar assumptions.     

Equilibria of Runge-Kutta methods

Summary It is known that certain Runge-Kutta methods share the property that, in a constant-step implementation, if a solution trajectory converges to a bounded limit then it must be a fixed point of the underlying differential system. Such methods are calledregular. In the present paper we provide a recursive test to check whether given method is regular. Moreover, by examining solution trajectories of linear equations, we prove that the order of ans-stage regular method may not exceed 2[(s+2)/2] and that the maximal order of regular Runge-Kutta method with an irreducible stability function is 4.     

Gaussian collocation via defect correction

Summary For the numerical integration of boundary value problems for first order ordinary differential systems, collocation on Gaussian points is known to provide a powerful method. In this paper we introduce a defect correction method for the iterative solution of such high order collocation equations. The method uses the trapezoidal scheme as the basic discretization and an adapted form of the collocation equations for defect evaluation. The error analysis is based on estimates of the contractive power of the defect correction iteration. It is shown that the iteration producesO(h ²), convergence rates for smooth starting vectors. A new result is that the iteration damps all kind of errors, so that it can also handle non-smooth starting vectors successfully.     

On the structure of inner ideals of nest algebras

IfA is a nest algebra andA _s=A ∩ A* , whereA* is the set of the adjoints of the operators lying inA, then the pair (A, A _s) forms a partial Jordan *-triple. Important tools when investigating the structure of a partial Jordan *-triple are its tripotents. In particular, given an orthogonal family of tripotents of the partial Jordan *-triple (A, A _s), the nest algebraA splits into a direct sum of subspaces known as the Peirce decomposition relative to that family. In this paper, the Peirce decomposition relative to an orthogonal family of minimal tripotents is used to investigate the structure of the inner ideals of (A, A _s), whereA is a nest algebra associated with an atomic nest. A property enjoyed by inner ideals of the partial Jordan *-triple (A, A _s) is presented as the main theorem. This result is then applied in the final part of the paper to provide examples of inner ideals. A characterization of the minimal tripotents as a certain class of rank one operators is also obtained as a means to deduce the principal theorem.     

Quasi-Free Resolutions Of Hilbert Modules

The notion of a quasi-free Hilbert module over a function algebra $\mathcal{A}$ consisting of holomorphic functions on a bounded domain $\Omega$ in complex m space is introduced. It is shown that quasi-free Hilbert modules correspond to the completion of the direct sum of a certain number of copies of the algebra $\mathcal{A}$. A Hilbert module is said to be weakly regular (respectively, regular) if there exists a module map from a quasi-free module with dense range (respectively, onto). A Hilbert module $\mathcal{M}$ is said to be compactly supported if there exists a constant $\beta$ satisfying $\|\varphi f\| \leq \beta \ |\varphi \| \textsl{X} \|f \|$ for some compact subset X of $\Omega$ and $\varphi$ in $\mathcal{A}$, f in $\mathcal{M}$. It is shown that if a Hilbert module is compactly supported then it is weakly regular. The paper identifies several other classes of Hilbert modules which are weakly regular. In addition, this result is extended to yield topologically exact resolutions of such modules by quasi-free ones.     

The distribution of patterns of inverses modulo a prime

We investigate the distribution of the numbers x∈[1,p] for which all lie in a subset of the set of multiplicative inverses modulo a prime p. Here the a_i are integers coprime to p and the numbers are distinct .     

Remarks on the frame envelope of a σ-frame

The familiar equivalence between σ-frames and σ-coherent frames, given by the frame envelopes of σ-frames, is shown to induce an equivalence between stably continuous σ-frames and stably continuous frames. Similarly, the analogue of the former for σ-biframes is proved to provide an equivalence between compact regular σ-biframes and compact regular biframes. As an application we obtain the equivalence between stably continuous σ-frames and compact regular σ-biframes due to Matutu as an easy consequence of its frame counterpart established earlier by Banaschewski and Brümmer. This provides an affirmative answer to a question posed by Dana Scott.