Cochran's statistical theorem for outer inverses of matrices and matrix quadratic forms

We extend the matrix version of Cochran's statistical theorem to outer inverses of a matrix. As applications, we investigate the Wishartness and independence of matrix quadratic forms for Kronecker product covariance structures.     

Application of N,N‐bis(diphenylphosphino)aniline palladium(II) complexes as pre‐catalysts in Heck coupling reactions

Palladium(II) complexes with N,N‐bis(diphenylphosphino)aniline ligands catalyse the Heck reaction between styrene and aryl bromides, affording stilbenes in good yield. The structures of two of the complexes used as pre‐catalysts have been determined by single‐crystal X‐ray diffraction. Copyright © 2007 John Wiley & Sons, Ltd.     

On the pivot structure for the weighing matrix W(12,11)

In the present article we concentrate our study on the growth problem for the weighing matrix W(12,11) and show that the unique W(12,11) has three pivot structures. An improved algorithm for extending a k × k (0,+,-) matrix to a W(n,n-1), if possible, has been developed to simplify the proof. For the implementation of the algorithm special emphasis is given to the notions of data structures and parallel processing.     

On perfectly normal dense subspaces of products

Let M be a separable metric space consisting of more than one point. We construct perfectly normal dense subspaces Z⊂Mc² and (under additional set-theoretic assumption) Y⊂Mc which are not collectionwise Hausdorff.     

Continuous time collocation methods for Volterra-Fredholm integral equations

Summary Integral equations of mixed Volterra-Fredholm type arise in various physical and biological problems. In the present paper we study continuous time collocation, time discretization and their global and discrete convergence properties.     

Tchebychev acceleration technique for large scale nonsymmetric matrices

Summary The acceleration by Tchebychev iteration for solving nonsymmetric eigenvalue problems is dicussed. A simple algorithm is derived to obtain the optimal ellipse which passes through two eigenvalues in a complex plane relative to a reference complex eigenvalue. New criteria are established to identify the optimal ellipse of the eigenspectrum. The algorithm is fast, reliable and does not require a search for all possible ellipses which enclose the spectrum. The procedure is applicable to nonsymmetric linear systems as well.     

On the condition number of matrices arising in the tikhonov regularization method

In this work, we consider the regularization method for linear ill-posed problems. For operators and approximating subspaces satisfying certain conditions and for a specific form of the regularization parameter, upper and lower bounds are given for the condition number of the corresponding discrete problem.     

Symmetries and conservation laws of Navier-Stokes equations

All the symmetries and conservation laws of Navier-Stokes equations are calculated.     

Function spaces over GO-spaces: Part I

We describe the structure of spaces of continuous step functions over GO-spaces. We establish a relation between the Dedekind completion of a GO-space L and properties of the space of continuous functions from L to 2 with finitely many steps. We use the established relation to prove that a countably compact GO-space L has Lindelöf Cp(L) iff the Dedekind remainder of L is Lindelöf and every compact subspace of L is metrizable. Or equivalently, a countably compact GO-space L has Lindelöf Cp(L) iff every compact subspace of L is metrizable and a Gδ-set in L. Other results are obtained.     

A characterization of the \Sigma_1-definable functions of KP\omega + (uniform\; AC)

The subject of this paper is a characterization of the -definable set functions of Kripke-Platek set theory with infinity and a uniform version of axiom of choice: . This class of functions is shown to coincide with the collection of set functionals of type 1 primitive recursive in a given choice functional and . This goal is achieved by a G?del Dialectica-style functional interpretation of and a computability proof for the involved functionals. Received October 9, 1996