Homotopical algebra in homotopical categories

We develop here a version of abstract homotopical algebra based onhomotopy kernels andcokernels, which are particular homotopy limits and colimits. These notions are introduced in anh-category, a sort of two-dimensional context more general than a 2-category, abstracting thenearly 2-categorical properties of topological spaces, continuous maps and homotopies. A setting which applies also, at different extents, to cubical or simplicial sets, chain complexes, chain algebras, ... and in which homotopical algebra can be established as a two-dimensional enrichment of homological algebra.Actually, a hierarchy of notions ofh-,h1-, ...h4-categories is introduced, through progressive enrichment of thevertical structure of homotopies, so that the strongest notion,h4-category, is a sort of relaxed 2-category. After investigating homotopy pullbacks and homotopical diagrammatical lemmas in these settings, we introduceright semihomotopical categories, ash-categories provided with terminal object and homotopy cokernels (mapping cones), andright homotopical categories, provided also with anh4-structure and verifying second-order regularity properties forh-cokernels.In these frames we study the Puppe sequence of a map, its comparison with the sequence of iterated homotopy cokernels and theh-cogroup structure of the suspension endofunctor. Left (semi-) homotopical categories, based on homotopy kernels, give the fibration sequence of a map and theh-group of loops. Finally, the self-dual notion of homotopical categories is considered, together with their stability properties.Lavoro esequito nell'ambito dei progetti di ricerca del MURST.     

U-statistics in danach spaces

U-statistics in Banach spaces are considered and thoroughly investigated. The martingale structure, estimates of moments, the law of large numbers, the central limit theorem, the invariance principle, estimates of the rate of convergence, and large deviations are established     

Facial reduction in partially finite convex programming

We consider the problem of minimizing an extended-valued convex function on a locally convex space subject to a finite number of linear (in)equalities. When the standard constraint qualification fails a reduction technique is needed to derive necessary optimality conditions. Facial reduction is usually applied in the range of the constraints. In this paper it is applied in the domain space, thus maintaining any structure (and in particular lattice properties) of the underlying domain. Applications include constrained approximation and best entropy estimation.Research partially supported by the Natural Sciences and Engineering Research Council of Canada.     

Right distributive quasigroups on algebraic varieties

In this paper we develop a structure theory of algebraic right distributive quasigroups which correspond to closed and connected conjugacy classes generating algebraic Fischer groups (in the sense of [6]) such that the mappingx x ^–1 ax, fora , is an automorphism of (as variety). We also give examples of algebraic Fischer groups where this does not happen. It becomes clear that the class of algebraic right distributive quasigroups has nice properties concerning subquasigroups, normal subquasigroups and direct product.We give a complete classification of one- and two-dimensional as well as of minimal algebraic right distributive quasigroups.     

On integrating vertex singularities using extrapolation

A new approach to the integration of vertex singularities is described. This approach is based on a non-uniform subdivision of the region of integration and the technique fits well to the subdivision strategy used in many adaptive algorithms. A nice feature with this approach is that it can be used in any dimension and on any region of integration which can be subdivided into subregions of the same form. The strategy can be applied both to vertex singularities and internal point singularities. In the latter case this can be done without an initial subdivision of the region in order to put the singular point in a vertex. It turns out that the technique has excellent numerical stability properties.Dedicated to Carl-Erik Fröberg on the occasion of his 75th birthday.This work was supported by The Norwegian Research Council for Science and the Humanities.     

Sur le comportement asymptotique des potentiels d'une chaîne de Markov sur ℝ d

Résumé Dans cet article j'étudie le comportement à l'infini des potentiels des chaînes de Markov sur ^d (d3) proches du mouvement brownien, tout spécialement le cas des marches aléatoires, ainsi que des critères de transience et de récurrence inspirés de la méthode utilisée.

---

We study the asymptotic behaviour of potentials of Markov chains on ^d (d3), closed to Brownian motion, and particularly the case of random walks. Following a similar approach, we give transience and recurrence criteria.

     

Runge-Kutta schemes that maintain invariant solutions for differential algebraic systems

Implicit Runge-Kutta (IRK) methods and projected IRK methods for the solution of semiexplicit index-2 systems of differential algebraic systems (DAEs) have been proposed by several authors. In this paper we prove that if a method satisfiesBA+A ^t B–bb ^t =0, it conserves quadratic invariants of DAEs.     

Minimal operators from a potential-theoretic viewpoint

Minimal positive operators on a Hilbert spaceH are characterized in terms of so-called parallel addition of operators. It is also shown how these operators can be used to reproduce the inverse, respectively generalized inverse, of any positive operator onH.     

Optimal impulse control problems for degenerate diffusions with jumps

Optimal stopping and impulse control problems for degenerate diffusion with jumps are studied in this paper. Lipschitzian coefficients for the diffusion process, data with polynomial growth, and evolution in the whole space are the main assumptions on the models. Several characterizations of the optimal cost functions are given. Existence of optimal policies is obtained.This research has been supported in part by Army Research Office Contract DAAG29-83-K-0014 and by National Science Foundation Grant DMS-8601998.     

A 0-stable linear multistep formulas of theα-type

The-type linear multistep formulas are a generalization of the Adams-type formulas. This paper is concerned with completely characterizing theA ₀-stability of thek-step, orderk -type formulas. Specifically, all such formulas of orders 4 or less are identified and it is shown that no-type formulas of order 5 or more exist. These theorems generalize some previous results.