On singular compactness

We present some applications of Shelah's singular compactness theorem to algebraic situations where the Shreier property fails. The principal application is to valuated vector spaces, where we make use of an alternate, unpublished, version of Shelah's theorem. Research partially supported by NSF Grant No. MCS 80-03591 and by the US-Israel BSF. Presented by L. Fuchs.     

Convex compactness and its applications

The concept of convex compactness, weaker than the classical notion of compactness, is introduced and discussed. It is shown that a large class of convex subsets of topological vector spaces shares this property and that is can be used in lieu of compactness in a variety of cases. Specifically, we establish convex compactness for certain familiar classes of subsets of the set of positive random variables under the topology induced by convergence in probability. Two applications in infinite-dimensional optimization—attainment of infima and a version of the Minimax theorem—are given. Moreover, a new fixed-point theorem of the Knaster-Kuratowski-Mazurkiewicz-type is derived and used to prove a general version of the Walrasian excess-demand theorem.     

The small index property for homogeneous models in AEC’s

We prove a version of a small index property theorem for strong amalgamation classes. Our result builds on an earlier theorem by Lascar and Shelah (in their case, for saturated models of uncountable first-order theories). We then study versions of the small index property for various non-elementary classes. In particular, we obtain the small index property for quasiminimal pregeometry structures.     

On quantitative versions of theorems due to F.E. Browder and R. Wittmann

This paper is another case study in the program of logically analyzing proofs to extract new (typically effective) information (‘proof mining’). We extract explicit uniform rates of metastability (in the sense of T. Tao) from two ineffective proofs of a classical theorem of F.E. Browder on the convergence of approximants to fixed points of nonexpansive mappings as well as from a proof of a theorem of R. Wittmann which can be viewed as a nonlinear extension of the mean ergodic theorem. The first rate is extracted from Browder's original proof that is based on an application of weak sequential compactness (in addition to a projection argument). Wittmann's proof follows a similar line of reasoning and we adapt our analysis of Browder's proof to get a quantitative version of Wittmann's theorem as well. In both cases one also obtains totally elementary proofs (even for the strengthened quantitative forms) of these theorems that neither use weak compactness nor the existence of projections anymore. In this way, the present article also discusses general features of extracting effective information from proofs based on weak compactness. We then extract another rate of metastability (of similar nature) from an alternative proof of Browder's theorem essentially due to Halpern that already avoids any use of weak compactness. The paper is concluded by general remarks concerning the logical analysis of proofs based on weak compactness as well as a quantitative form of the so-called demiclosedness principle. In a subsequent paper these results will be utilized in a quantitative analysis of Baillon's nonlinear ergodic theorem.     

Deterministic and stochastic equations of motion arising in Oldroyd fluids of order one: existence,uniqueness, exponential stability and invariant measures

Abstract

In this work, we consider the two-dimensional viscoelastic fluid flow equations, arising from the Oldroyd model for the non-Newtonian fluid flows. We investigate the well-posedness of such models in two-dimensional bounded and unbounded (Poincaré domains) domains, both in deterministic and stochastic settings. The existence and uniqueness of weak solution in the deterministic case is proved via a local monotonicity property of the linear and nonlinear operators and a localized version of the Minty-Browder technique. Some results on the exponential stability of stationary solutions are also established. The global solvability results for the stochastic counterpart are obtained by a stochastic generalization of the Minty-Browder technique. The exponential stability results in the mean square as well as in the pathwise (almost sure) sense are also discussed. Using the exponential stability results, we finally prove the existence of a unique invariant measure, which is ergodic and strongly mixing.     

Definability and automorphisms in abstract logics

In any model theoretic logic, Beths definability property together with Feferman-Vaughts uniform reduction property for pairs imply recursive compactness, and the existence of models with infinitely many automorphisms for sentences having infinite models. The stronger Craigs interpolation property plus the uniform reduction property for pairs yield a recursive version of Ehrenfeucht-Mostowskis theorem. Adding compactness, we obtain the full version of this theorem. Various combinations of definability and uniform reduction relative to other logics yield corresponding results on the existence of non-rigid models.     

Categories of abstract smooth models and their singular envelopes

We define the categories of (abstract) smooth models (Definition 1.2) and, in the additive case, their singular envelopes (Definition 1.5). The first main result is a relative version of the Yoneda representation theorem (Theorem 1.6), and the second one is an existence and uniqueness theorem for the singular envelope (Theorem 1.7). In fact we prove the existence of a canonical process which associates with each additive smooth-model categoryS a singular envelopeS-an ofS, whose objects are calledS-analytic spaces (Definition 5.1). We notice that most of the fundamental categories of geometry are of the formS-an (up to equivalence). As an application we introduce here two such categories: Banach differentiable spaces and Banach mixed spaces.The author is indebted to the Department of Mathematics of the University of Rome (La Sapienza) for hospitality and financial support and to the referees for their critical comments on the first version of this paper.     

Impulsive Boundary Value Problems for First-order Ordinary Differential Inclusions

In this paper, we investigate the existence of solutions for impulsive first order ordinary differential inclusions which admitting nonconvex valued right hand side. We present two classes of results. In the first one, we rely on a fixed point theorem for contraction multivalued maps due to Covitz and Nadler, and for the second one, we use Schacfer＇s fixed point theorem combined with lower semi-continuous multivalued operators with decomposable values under weaker conditions.     

Uncountably categorical local tame abstract elementary classes with disjoint amalgamation

We prove Baldwin-Lachlan theorem for local (LS(K)-)tame abstract elementary classes K with disjoint amalgamation property and with LS(K)=ω. Partially supported by the Academy of Finland, grant 40734.     

Derivation of Hartreeʼs theory for generic mean-field Bose systems

In this paper we provide a novel strategy to prove the validity of Hartree?s theory for the ground state energy of bosonic quantum systems in the mean-field regime. For the known case of trapped Bose gases, this can be shown using the strong quantum de Finetti theorem, which gives the structure of infinite hierarchies of k-particles density matrices. Here we deal with the case where some particles are allowed to escape to infinity, leading to a lack of compactness. Our approach is based on two ingredients: (1) a weak version of the quantum de Finetti theorem, and (2) geometric techniques for many-body systems. Our strategy does not rely on any special property of the interaction between the particles. In particular, our results cover those of Benguria–Lieb and Lieb–Yau for, respectively, bosonic atoms and boson stars.     

Maximal Monotone Multifunctions of Brøndsted–Rockafellar Type

We consider whether the “inequality-splitting” property established in the Brøndsted–Rockafellar theorem for the subdifferential of a proper convex lower semicontinuous function on a Banach space has an analog for arbitrary maximal monotone multifunctions. We introduce the maximal monotone multifunctions of type (ED), for which an “inequality-splitting” property does hold. These multifunctions form a subclass of Gossez"s maximal monotone multifunctions of type (D); however, in every case where it has been proved that a multifunction is maximal monotone of type (D) then it is also of type (ED). Specifically, the following maximal monotone multifunctions are of type (ED): ? ultramaximal monotone multifunctions, which occur in the study of certain nonlinear elliptic functional equations; ? single-valued linear operators that are maximal monotone of type (D); ? subdifferentials of proper convex lower semicontinuous functions; ? “subdifferentials” of certain saddle-functions. We discuss the negative alignment set of a maximal monotone multifunction of type (ED) with respect to a point not in its graph – a mysterious continuous curve without end-points lying in the interior of the first quadrant of the plane. We deduce new inequality-splitting properties of subdifferentials, almost giving a substantial generalization of the original Brøndsted–Rockafellar theorem. We develop some mathematical infrastructure, some specific to multifunctions, some with possible applications to other areas of nonlinear analysis: ? the formula for the biconjugate of the pointwise maximum of a finite set of convex functions – in a situation where the “obvious” formula for the conjugate fails; ? a new topology on the bidual of a Banach space – in some respects, quite well behaved, but in other respects, quite pathological; ? an existence theorem for bounded linear functionals – unusual in that it does not assume the existence of any a priori bound; ? the 'big convexification" of a multifunction.

     

Completeness and interpolation of almost‐everywhere quantification over finitely additive measures

We give an axiomatization of first‐order logic enriched with the almost‐everywhere quantifier over finitely additive measures. Using an adapted version of the consistency property adequate for dealing with this generalized quantifier, we show that such a logic is both strongly complete and enjoys Craig interpolation, relying on a (countable) model existence theorem. We also discuss possible extensions of these results to the almost‐everywhere quantifier over countably additive measures.     

Random variables and integral logic

We study model theory of random variables using finitary integral logic. We prove definability of some probability concepts such as having F(u) as distribution function, independence and martingale property. We then deduce Kolmogorov's existence theorem from the compactness theorem.     

Spaces of Wald-Berestovskii curvature bounded below

We consider inner metric spaces of curvature bounded below in the sense of Wald, without assuming local compactness or existence of minimal curves. We first extend the Hopf-Rinow theorem by proving existence, uniqueness, and “almost extendability” of minimal curves from any point to a denseG _δ subset. An immediate consequence is that Alexandrov’s comparisons are meaningful in this setting. We then prove Toponogov’s theorem in this generality, and a rigidity theorem which characterizes spheres. Finally, we use our characterization to show the existence of spheres in the space of directions at points in a denseG _δ set. This allows us to define a notion of “local dimension” of the space using the dimension of such spheres. If the local dimension is finite, the space is an Alexandrov space.     

Stochastic hydrodynamic-type evolution equations driven by Lévy noise in 3D unbounded domains—Abstract framework and applications

The existence of martingale solutions of the hydrodynamic-type equations in 3D possibly unbounded domains is proved. The construction of the solution is based on the Faedo–Galerkin approximation. To overcome the difficulty related to the lack of the compactness of Sobolev embeddings in the case of unbounded domain we use certain Fréchet space. Besides, we use compactness and tightness criteria in some nonmetrizable spaces and a version of the Skorohod theorem in non-metric spaces. The general framework is applied to the stochastic Navier–Stokes, magneto-hydrodynamic (MHD) and the Boussinesq equations.     

On existence and uniqueness of stationary points in semi-infinite optimization

The paper deals with semi-infinite optimization problems which are defined by finitely many equality constraints and infinitely many inequality constraints. We generalize the concept of strongly stable stationary points which was introduced by Kojima for finite problems; it refers to the local existence and uniqueness of a stationary point for each sufficiently small perturbed problem, where perturbations up to second order are allowed. Under the extended Mangasarian-Fromovitz constraint qualification we present equivalent conditions for the strong stability of a considered stationary point in terms of first and second derivatives of the involved functions. In particular, we discuss the case where the reduction approach is not satisfied. Received June 30, 1995 / Revised version received October 9, 1998? Published online June 11, 1999     

Long-time existence for the semilinear Klein–Gordon equation on a compact boundary-less Riemannian manifold

We investigate the long-time existence of small and smooth solutions for the semilinear Klein–Gordon equation on a compact boundary-less Riemannian manifold. Without any spectral or geometric assumption, our first result improves the lifespan obtained by the local theory. The previous result is proved under a generic condition of the mass. As a by-product of the method, we examine the particular case, where the manifold is a multidimensional torus, and we give explicit examples of algebraic masses for which we can improve the local existence time. The analytic part of the proof relies on multilinear estimates of eigenfunctions and estimates of small divisors proved by Delort–Szeftel. The algebraic part of the proof relies on a multilinear version of the Roth theorem proved by Schmidt.     

Computing class fields via the Artin map

Based on an explicit representation of the Artin map for Kummer extensions, we present a method to compute arbitrary class fields. As in the proofs of the existence theorem, the problem is first reduced to the case where the field contains sufficiently many roots of unity. Using Kummer theory and an explicit version of the Artin reciprocity law we show how to compute class fields in this case. We conclude with several examples.

     

Line energies for gradient vector fields in the plane

In this paper we study the singular perturbation of by . This problem, which could be thought as the natural second order version of the classical singular perturbation of the potential energy by , leads, as in the first order case, to energy concentration effects on hypersurfaces. In the two dimensional case we study the natural domain for the limiting energy and prove a compactness theorem in this class. Received January 19, 1999 / Accepted February 26, 1999     

A new existence theory for periodic solutions to evolution equations

ABSTRACT

This paper deals with a new existence theory for periodic solutions to a broad class of evolution equations. We first establish new fixed point theorems for affine maps in locally convex spaces and ordered Banach spaces. Our new fixed point results extend, encompass and complement a number of well-known theorems in the literature, including the famous Chow and Hale fixed point theorem. With these obtained fixed point results, we investigate the existence of periodic solutions for some class of nonhomogeneous linear systems in Banach spaces with lack of compactness. Some illustrative examples are also given.