Variable Hardy Spaces

We develop the theory of variable exponent Hardy spaces. Analogous to the classical theory, we give equivalent definitions in terms of maximal operators. We also show that distributions in these spaces have an atomic decomposition including a "finite" decomposition; this decomposition is more like the decomposition for weighted Hardy spaces due to Stromberg and Torchinsky than the classical atomic decomposition. As an application of the atomic decomposition we show that singular integral operators are bounded on variable Hardy spaces with minimal regularity assumptions on the exponent function

Shape Theory via QR decomposition

This work sets the non isotropic noncentral elliptical shape distributions via QR decomposition in the context of zonal polynomials, avoiding the invariant polynomials and the open problems for their computation. The new shape distributions are easily computable and then the inference procedure can be studied under exact densities instead under the published approximations and asymptotic densities under isotropic models. An application in Biology is studied under the classical gaussian approach and a two non gaussian models.Comment: 13 page

Shape theory via polar decomposition

This work proposes a new model in the context of statistical theory of shape, based on the polar decomposition. The non isotropic noncentral elliptical shape distributions via polar decomposition is derived in the context of zonal polynomials, avoiding the invariant polynomials and the open problems for their computation. The new polar shape distributions are easily computable and then the inference procedure can be studied under exact densities. As an example of the technique, a classical application in Biology is studied under three models, the usual Gaussian and two non normal Kotz models; the best model is selected by a modified BIC criterion, then a test for equality in polar shapes is performed.Comment: 14 page

Event-B model decomposition

Two methods have been identified in the DEPLOY project for Event-B model decomposition: the shared variable decomposition (called A-style decomposition), and the shared event decomposition (or B-style decomposition). Both allow the decomposition of a (concrete) model into several independent sub-models which may then be refined separately. The purpose of this paper is to introduce the Event-B model decomposition, from theory (A-style vs. B-style, differences and similarities) to practice (decomposition plug-in of the Rodin [1] platform)

Split structures in general relativity and the Kaluza-Klein theories

We construct a general approach to decomposition of the tangent bundle of pseudo-Riemannian manifolds into direct sums of subbundles, and the associated decomposition of geometric objects. An invariant structure {\cal H}^r defined as a set of r projection operators is used to induce decomposition of the geometric objects into those of the corresponding subbundles. We define the main geometric objects characterizing decomposition. Invariant non-holonomic generalizations of the Gauss-Codazzi-Ricci's relations have been obtained. All the known types of decomposition (used in the theory of frames of reference, in the Hamiltonian formulation for gravity, in the Cauchy problem, in the theory of stationary spaces, and so on) follow from the present work as special cases when fixing a basis and dimensions of subbundles, and parameterization of a basis of decomposition. Various methods of decomposition have been applied here for the Unified Multidimensional Kaluza-Klein Theory and for relativistic configurations of a perfect fluid. Discussing an invariant form of the equations of motion we have found the invariant equilibrium conditions and their 3+1 decomposed form. The formulation of the conservation law for the curl has been obtained in the invariant form.Comment: 30 pages, RevTeX, aps.sty, some additions and corrections, new references adde