Stability of a Turnpike Phenomenon for a Discrete-Time Optimal Control System

We study the structure of solutions of a discrete-time control system with a compact metric space of states X which arises in economic dynamics. This control system is described by a nonempty closed set Ω⊂X×X which determines a class of admissible trajectories (programs) and by a bounded upper semicontinuous objective function v:Ω→R ¹ which determines an optimality criterion. We are interested in turnpike properties of the approximate solutions which are independent of the length of the interval, for all sufficiently large intervals. In the present paper, we show that these turnpike properties are stable under perturbations of the objective function v.     

On a question by Corson about point-finite coverings

We answer in the affirmative the following question raised by H. H. Corson in 1961: “Is it possible to cover every Banach space X by bounded convex sets with non-empty interior in such a way that no point of X belongs to infinitely many of them?”Actually, we show the way to produce in every Banach space X a bounded convex tiling of order 2, i.e., a covering of X by bounded convex closed sets with non-empty interior (tiles) such that the interiors are pairwise disjoint and no point of X belongs to more than two tiles.     

Separated Lie models and the homotopy Lie algebra

A simply connected topological space X has homotopy Lie algebra π_∗(ΩX)⊗Q. Following Quillen, there is a connected differential graded free Lie algebra (dgL) called a Lie model, which determines the rational homotopy type of X, and whose homology is isomorphic to the homotopy Lie algebra. We show that such a Lie model can be replaced with one that has a special property that we call being separated. The homology of a separated dgL has a particular form which lends itself to calculations.     

Small into isomorphisms on uniformly smooth spaces

Let X be a uniformly smooth infinite dimensional Banach space, and (Ω,Σ,μ) be a σ-finite measure space. Suppose that T:X→L∞(Ω,Σ,μ) satisfies

(1−ε)‖x‖?‖Tx‖?‖x‖,∀x∈X,     

Approximate Solutions of Variational Inequalities on Sets of Common Fixed Points of a One-Parameter Semigroup of Nonexpansive Mappings

Let \(\mathcal{T}\) be a one-parameter semigroup of nonexpansive mappings on a nonempty closed convex subset C of a strictly convex and reflexive Banach space X. Suppose additionally that X has a uniformly Gâteaux differentiable norm, C has normal structure, and \(\mathcal{T}\) has a common fixed point. Then it is proved that, under appropriate conditions on nonexpansive semigroups and iterative parameters, the approximate solutions obtained by the implicit and explicit viscosity iterative processes converge strongly to the same common fixed point of \(\mathcal{T}\), which is a solution of a certain variational inequality.     

Spaces of measurable functions

For a metrizable space X and a finite measure space (Ω, $\mathfrak{M}$ , µ), the space M _µ(X) of all equivalence classes (under the relation of equality almost everywhere mod µ) of $\mathfrak{M}$ -measurable functions from Ω to X, whose images are separable, equipped with the topology of convergence in measure, and some of its subspaces are studied. In particular, it is shown that M _µ(X) is homeomorphic to a Hilbert space provided µ is (nonzero) nonatomic and X is completely metrizable and has more than one point.     

Fixed point theorems for multifunctions having KKM property on almost convex sets

In this paper, for two nonempty subsets X and Y of a linear space E, we define the class KKM(X,Y) and investigate the fixed point problem for T∈KKM(X,X) with X an almost convex subset of a locally convex space. Our fixed point theorem contains Lassonde fixed point theorem for Kakutani factorizable multifunctions as special case.     

The critical case of clamped thermoelastic systems with interior point control: Optimal interior and boundary regularity results

In the case of clamped thermoelastic systems with interior point control defined on a bounded domain Ω, the critical case is n=dimΩ=2. Indeed, an optimal interior regularity theory was obtained in [R. Triggiani, Sharp regularity of hyperbolic-dominated thermoelastic systems with point control: The clamped case, Discrete Contin. Dyn. Syst. (Suppl.) (2007) 993-1004] for n=1 and n=3. However, in this reference, an ‘?-loss’ of interior regularity has occurred due to a peculiar pathology: the incompatibility of the B.C. of the spaces and . The present paper manages to establish that, indeed, one can take ?=0, thus obtaining an optimal interior regularity theory also for the case n=2. The elastic variables have the same interior regularity as in the corresponding elastic problem [R. Triggiani, Regularity with interior point control, Part II: Kirchhoff equations, J. Differential Equations 103 (1993) 394-421] (Kirchhoff). Unlike [R. Triggiani, Sharp regularity of hyperbolic-dominated thermoelastic systems with point control: The clamped case, Discrete Contin. Dyn. Syst. (Suppl.) (2007) 993-1004], the present paper establishes the sought-after interior regularity of the thermoelastic problem through a technical analysis based on sharp boundary (trace) regularity theory of Kirchhoff and wave equations. In the process, a new boundary regularity result, not contained in [R. Triggiani, Sharp regularity of hyperbolic-dominated thermoelastic systems with point control: The clamped case, Discrete Contin. Dyn. Syst. (Suppl.) (2007) 993-1004], is obtained for the elastic displacement of the thermoelastic system.     

Diophantine approximation and badly approximable sets

Let (X,d) be a metric space and (Ω,d) a compact subspace of X which supports a non-atomic finite measure m. We consider ‘natural’ classes of badly approximable subsets of Ω. Loosely speaking, these consist of points in Ω which ‘stay clear’ of some given set of points in X. The classical set Bad of ‘badly approximable’ numbers in the theory of Diophantine approximation falls within our framework as do the sets Bad(i,j) of simultaneously badly approximable numbers. Under various natural conditions we prove that the badly approximable subsets of Ω have full Hausdorff dimension. Applications of our general framework include those from number theory (classical, complex, p-adic and formal power series) and dynamical systems (iterated function schemes, rational maps and Kleinian groups).     

Numerical ranges for pairs of operators,duality mappings with gauge function,and spectra of nonlinear operators

We define and study numerical ranges for pairs of nonlinear operators F and J which act between some Banach space X and its dual X*, with respect to some increasing gauge function φ. Connections with spectra for certain classes of nonlinear operators introduced recently in the literature are also established. As a sample example, we consider the case when F is the duality map of the Lebesgue space L ^p (Ω), J is the duality map of the corresponding Sobolev space W ₀ ^1,p (Ω), and φ(t)=t ^p?1 (1<p<∞). This leads to existence, uniqueness, and perturbation results for a homogeneous eigenvalue problem involving the p-Laplace operator.     

Note on the locally product and almost locally product structures

This paper is concerned with a study of some of the properties of locally product and almost locally product structures on a differentiable manifold X _n of class C ^k . Every locally product space has certain almost locally product structures which transform the local tangent space to X _n at an arbitrary point P in a set fashion: this is studied in Theorem (2.2). Theorem (2.3) considers the nature of transformations that exist between two co-ordinate systems at a point whenever an almost locally product structure has the same local representation in each of these co-ordinate systems. A necessary and sufficient condition for X _n to be a locally product manifold is obtained in terms of the pseudo-group of co-ordinate transformations on X _n and the subpseudo-groups [cf., Theoren (2.1)]. Section 3 is entirely devoted to the study of integrable almost locally product structures.     

On ω-limit sets of ordinary differential equations in Banach spaces

Let X be an infinite-dimensional real Banach space. We classify ω-limit sets of autonomous ordinary differential equations x^′=f(x), x(0)=x₀, where f:X→X is Lipschitz, as being of three types I-III. We denote by SX the class of all sets in X which are ω-limit sets of a solution to (1), for some Lipschitz vector field f and some initial condition x₀∈X. We say that S∈SX is of type I if there exists a Lipschitz function f and a solution x such that S=Ω(x) and . We say that S∈SX is of type II if it has non-empty interior. We say that S∈SX is of type III if it has empty interior and for every solution x (of Eq. (1) where f is Lipschitz) such that S=Ω(x) it holds . Our main results are the following: S is a type I set in SX if and only if S is a closed and separable subset of the topological boundary of an open and connected set U⊂X. Suppose that there exists an open separable and connected set U⊂X such that , then S is a type II set in SX. Every separable Banach space with a Schauder basis contains a type III set. Moreover, in all these results we show that in addition f may be chosen Ck-smooth whenever the underlying Banach space is Ck-smooth.     

A generalization of Borel's theorem and microlocal Gevrey regularity in involutive structures

In this paper, we use Borel's procedure to construct Gevrey approximate solutions of an initial value problem for involutive systems of Gevrey complex vector fields. As an application, we describe the Gevrey wave-front set of the boundary values of approximate solutions in wedges W of Gevrey involutive structures (M,V). We prove that the Gevrey wave-front set of the boundary value is contained in the polar of a certain cone ΓT(W) contained in RV∩TX where X is a maximally real edge of W. We also prove a partial converse.     

The center of a rational cohomology algebra for some loop spaces with respect to the Pontryagin product

We solve the problem of calculation of the center of the rational cohomology algebra H*(ΩX;?) of the loop space of simply connected four-dimensional manifolds with the Pontryagin product. The well-known results of Milnor and Moore represent H*(ΩX) as a universal enveloping Lie algebra π*(ΩX) endowed with the Whitehead-Samelson bracket. Neisendorfer obtained a representation of the algebra Π*(ΩX) ? ? in terms of generators and relations for the case when X is a simply connected four-dimensional manifold. In this paper, the center Z(H*(ΩX;?)) is calculated using this representation.     

Topological convexities, selections and fixed points

A convexity on a set X is a family of subsets of X which contains the whole space and the empty set as well as the singletons and which is closed under arbitrary intersections and updirected unions. A uniform convex space is a uniform topological space endowed with a convexity for which the convex hull operator is uniformly continuous. Uniform convex spaces with homotopically trivial polytopes (convex hulls of finite sets) are absolute extensors for the class of metric spaces; if they are completely metrizable then a continuous selection theorem à la Michael holds. Upper semicontinuous maps have approximate selections and fixed points, under the usual assumptions.     

The isometries of LP(Ω, X)

Let (Ω, ∑, μ) be a finite measure space and X a separable Banach space. We characterize the linear isometries of $\text{L}{}^{\mathrm{p}}\text{(Ω, X)}$ onto itself for 1 ? p < ∞, p ≠ 2 under the condition that X is not the l^p-direct sum of two nonzero spaces (for the same p). It is shown that T is such an isometry if and only if (Tf)(·) = S(·)h(·)(Φ(f))(·), where Φ is a set isomorphism of ∑ onto itself, S is a strongly measurable operator-valued map such that S(t) is a.e. an isometry of X onto itself, and h is a scalar function which is related to Φ. It is further shown that for a big class of measure spaces (perhaps all nontrivial ones) the condition on X is also a necessary condition for the above conclusion to hold. In the case when X is a Hilbert space the injective isometries of $\text{L}{}^{\mathrm{p}}\text{(Ω, X)}$ are also characterized. They have the same form as above, except that Φ and S(t) are not necessarily onto.     

An intersection theorem for set-valued mappings

Given a nonempty convex set X in a locally convex Hausdorff topological vector space, a nonempty set Y and two set-valued mappings T: X ? X, S: Y ? X we prove that under suitable conditions one can find an x ∈ X which is simultaneously a fixed point for T and a common point for the family of values of S. Applying our intersection theorem, we establish a common fixed point theorem, a saddle point theorem, as well as existence results for the solutions of some equilibrium and complementarity problems.     

An Analog of Titchmarsh’s Theorem for the Fourier–Walsh Transform

The space clos(X) of all nonempty closed subsets of an unbounded metric space X is considered. The space clos(X) is endowed with a metric in which a sequence of closed sets converges if and only if the distances from these sets to a fixed point θ are bounded and, for any r, the sequence of the unions of the given sets with the exterior balls of radius r centered at θ converges in the Hausdorff metric. The metric on clos(X) thus defined is not equivalent to the Hausdorff metric, whatever the initial metric space X. Conditions for a set to be closed, totally bounded, or compact in clos(X) are obtained; criteria for the bounded compactness and separability of clos(X) are given. The space of continuous maps from a compact space to clos(X) is considered; conditions for a set to be totally bounded in this space are found.     

Approximate proximal methods in vector optimization

This paper studies the vector optimization problem of finding weakly efficient points for mappings in a Banach space Y, with respect to the partial order induced by a closed, convex, and pointed cone C ⊂ Y with a nonempty interior. The proximal method in vector optimization is extended to develop an approximate proximal method for this problem by virtue of the approximate proximal point method for finding a root of a maximal monotone operator. In this approximate proximal method, the subproblems consist of finding weakly efficient points for suitable regularizations of the original mapping. We present both an absolute and a relative version, in which the subproblems are solved only approximately. Weak convergence of the generated sequence to a weak efficient point is established. In addition, we also discuss an extension to Bregman-function-based proximal algorithms for finding weakly efficient points for mappings.