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.     

Microstructural evolution of decagonal quasicrystal in the undercooled Al72Ni12Co16 alloy melts

The microstructure evolution of decagonal quasicrystals in Al₇₂Ni₁₂Co₁₆ alloy was investigated by the electromagnetic melting and cyclic superheating method. Single-phase decagonal quasicrystals have been obtained when the undercoolings were larger than 60 K. The decagonal quasicrystals formed at various undercoolings show different microstructural morphologies. Furthermore, grain refinement was found near the undercooling of 120 K. Based on current thermodynamic and dendrite growth theories, a dimensionless superheating parameter was adopted to explain the effect of processing conditions on the microstructure of Al₇₂Ni₁₂Co₁₆ alloy. The result indicate that the fine equiaxied microstructure of decagonal quasicrystal (D-phase) formed near on undercooling of 120 K originates from the break-up of dendrites.     

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.     

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.     

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.     

Extendible elements of the alternating groups

An element σ of A_n, the Alternating group of degree n, is extendible in S_n, the Symmetric group of degree n, if there exists a subgroup H of S_n but not A_n whose intersection with A_n is the cyclic group generated by σ. A simple number-theoretic criterion, in terms of the cycle-decomposition, for an element of A_n to be extendible in S_n is given here.     

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