Remarques sur les m\'ethodes de projection pour l'approximation des \'equations de Navier--Stokes

Summary. L'objet de cet article est de montrer que les estimations de convergence sur la pression pour les m\'ethodes de projection d\'ecrites dans \cite{Shen1} et \cite{Shen2} ne sont pas obtenues correctement car elles sont toutes bas\'ees sur une in\'egalit\'e fausse. Il semble qu'on ait besoin d'une convergence en de la vitesse dans pour d\'emontrer les estimations de convergence sur la pression en . La question de savoir si la m\'ethode de projection a un taux de convergence pour la pression plus \'elev\'e que reste ouverte. Received June 1, 1993     

The distribution of square-full integers

Let , wheref(n) is the characteristic function of square-full integers. A formula is proved that can be used to obtain better upper bound estimate for (x). We get (x)=O(x ^5/33+), which improves the exponent 11/72 obtained by R. Blasubramania and K. Ramachandra.     

Positive definiteness in the numerical solution of Riccati differential equations

Summary. In this work we address the issue of integrating symmetric Riccati and Lyapunov matrix differential equations. In many cases -- typical in applications -- the solutions are positive definite matrices. Our goal is to study when and how this property is maintained for a numerically computed solution. There are two classes of solution methods: direct and indirect algorithms. The first class consists of the schemes resulting from direct discretization of the equations. The second class consists of algorithms which recover the solution by exploiting some special formulae that these solutions are known to satisfy. We show first that using a direct algorithm -- a one-step scheme or a strictly stable multistep scheme (explicit or implicit) -- limits the order of the numerical method to one if we want to guarantee that the computed solution stays positive definite. Then we show two ways to obtain positive definite higher order approximations by using indirect algorithms. The first is to apply a symplectic integrator to an associated Hamiltonian system. The other uses stepwise linearization. Received April 21, 1993     

Convergence of diagonally stationary sequences in convex optimization

LetX be a real normed linear space,f, f ⁿ, n , be extended real-valued proper closed convex functions onX. A sequence {x _n} inX is called diagonally stationary for {f ⁿ} if for alln there existsx* _n f ⁿ (x _n) such that x* _{n *} 0. Such sequences arise in approximation methods for the problem of minimizingf. Some general convergence results based upon variational convergence theory and appropriate equi-well-posedness are presented.     

The drift of a one-dimensional self-repellent random walk with bounded increments

Summary Consider a one-dimensional walk (S _k ) _k having steps of bounded size, and weight the probability of the path with some factor 1–(0,1) for every single self-intersection up to timen. We prove thatS _n /S S converges towards some deterministic number called the effective drift of the self-repellent walk. Furthermore, this drift is shown to tend to the basic drift as tends to 0 and, as tends to 1, to the self-avoiding walk's drift which is introduced in [10]. The main tool of the present paper is a representation of the sequence of the local times as a functional of a certain Markov process.Partially supported by Swiss National Sciences Foundation Grant 20-36305.92     

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.     

The non-existence of symplectic multi-derivative Runge-Kutta methods

A sufficient condition for the symplecticness ofq-derivative Runge-Kutta methods has been derived by F. M. Lasagni. In the present note we prove that this condition can only be satisfied for methods withq1, i.e., for standard Runge-Kutta methods. We further show that the conditions of Lasagni are also necessary for symplecticness so that no symplectic multi-derivative Runge-Kutta method can exist.This research has been supported by project PB89-0351 (Dirección General de Investigación Científica y Técnica) and by project No. 20-32354.91 of Swiss National Science Foundation.     

A transmission problem in the calculus of variations

We study hölder regularity of minimizers of the functional , wherep(x) takes only two values and jumps across a Lipschitz surface. No restriction on the two values is imposed.This article was processed by the author using the Springer-Verlag T_EX PJourlg macro package 1991.     

A note on the reflection principle for the biharmonic equation and the Stokes system

In this note, we discuss the reflection principle of the Stokes system in a half space for the threedimensional case, and of the biharmonic equation. Admitting different boundary conditions, we use the reflection principle to prove uniqueness of solutions of the Stokes system or the biharmonic equation in weightedLq-spaces     

Fractal dimension,attractors, and the boussinesq approximation in three dimensions

The Boussinesq approximation, where the viscosity depends polynomially on the shear rate, finds more and more frequent use in geological practice. In the paper, this modified Boussinesq approximation is investigated as a dynamical system for which the existence of a global attractor is proved. Finally, a new criterion for estimating the fractal dimension of invariant sets is formulated and its application to the problem under consideration is illustrated.