The space clcv(? n ) with the Hausdorff-Bebutov metric and statistically invariant sets of control systems

We obtain conditions that allow one to evaluate the relative frequency of occurrence of the reachable set of a control system in a given set. If the relative frequency of occurrence in this set is 1, then the set is said to be statistically invariant. It is assumed that the images of the right-hand side of the differential inclusion corresponding to the given control system are convex, closed, but not necessarily compact. We also study the basic properties of the space clcv(? ⁿ ) of nonempty closed convex subsets of ? ⁿ with the Hausdorff-Bebutov metric.     

Compact supported endographs and fuzzy sets

A metric is defined on a space of functions from a locally compact metric space X into the unit interval I in terms of the Hausdorff metric distance between their compact supported endographs in X × I. Convergence in this metric is shown to be equivalent to the conjunction of the Hausdorff metric convergence of supports in X and two conditions involving numerical values of the functions. The space of nonempty compact subsets of X with the Hausdorff metric is imbedded in the above function space by the characteristic function on subsets of X. Applications of these results to fuzzy subsets of X and fuzzy dynamical systems on X are indicated.     

Filippov and invariance theorems for mutational inclusions of tubes

The framework of transitions and mutational calculus inspired by shape optimization allows the notions of derivative, tangent cone, and differential equation to be extended to a metric space and especially to the family of all nonempty compact subsets of a given domainE. It gives tools to study the evolution of tubes and fundamental theorems such as those of Cauchy-Lipschitz, Nagumo, or Lyapunov, well known in vector spaces, can be adapted to mutational equations. The present paper deals with mutational inclusions of tubes which include many tube control problems and an adaptation of the Filippov theorem is proved. As a consequence, an invariance theorem is stated.     

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.     

Generalizing Mutational Equations for Uniqueness of Some Nonlocal 1st-Order Geometric Evolutions

The mutational equations of Aubin extend ordinary differential equations to metric spaces (with compact balls). In first-order geometric evolutions, however, the topological boundary need not be continuous in the sense of Painlevé–Kuratowski. So this paper suggests a generalization of Aubin’s mutational equations that extends classical notions of dynamical systems and functional analysis beyond the traditional border of vector spaces: Distribution-like solutions are introduced in a set just supplied with a countable family of (possibly non-symmetric) distance functions. Moreover their existence is proved by means of Euler approximations and a form of “weak” sequential compactness (although no continuous linear forms are available beyond topological vector spaces). This general framework is applied to a first-order geometric example, i.e. compact subsets of ℝ ^N evolving according to the nonlocal properties of both the current set and its proximal normal cones. Here neither regularity assumptions about the boundaries nor the inclusion principle are required. In particular, we specify sufficient conditions for the uniqueness of these solutions.      

Sigma-compact,nowhere locally compact metric spaces can be densely imbedded in Hilbert space

It is shown that if H is a connected, locally contractible, separable, topologically complete metric space with the property that mappings of separable metric spaces into H are approximable by imbeddings (in particular, if H is Hilbert space), then every sigma-compact, nowhere locally compact metric space can be densely imbedded in H.     

Generalizing Mutational Equations for Uniqueness of Some Nonlocal 1<Superscript>st</Superscript>-Order Geometric Evolutions

The mutational equations of Aubin extend ordinary differential equations to metric spaces (with compact balls). In first-order geometric evolutions, however, the topological boundary need not be continuous in the sense of Painlevé–Kuratowski. So this paper suggests a generalization of Aubin’s mutational equations that extends classical notions of dynamical systems and functional analysis beyond the traditional border of vector spaces: Distribution-like solutions are introduced in a set just supplied with a countable family of (possibly non-symmetric) distance functions. Moreover their existence is proved by means of Euler approximations and a form of “weak” sequential compactness (although no continuous linear forms are available beyond topological vector spaces). This general framework is applied to a first-order geometric example, i.e. compact subsets of ? ^N evolving according to the nonlocal properties of both the current set and its proximal normal cones. Here neither regularity assumptions about the boundaries nor the inclusion principle are required. In particular, we specify sufficient conditions for the uniqueness of these solutions.     

A differentiable structure for metric measure spaces

The main result of this paper is the provision of conditions under which a metric measure space admits a differentiable structure. This differentiable structure gives rise to a finite-dimensional L^∞ cotangent bundle over the given metric measure space and then to a Sobolev space H^1,p over the given metric measure space, the latter which is reflexive for p>1. This extends results of Cheeger (Geom. Funct. Anal. 9 (1999) (3) 428) to a wider collection of metric measure spaces.     

Shape evolutions under state constraints: A viability theorem

The aim of this paper is to adapt the Viability Theorem from differential inclusions (governing the evolution of vectors in a finite-dimensional space) to so-called morphological inclusions (governing the evolution of nonempty compact subsets of the Euclidean space).In this morphological framework, the evolution of compact subsets of is described by means of flows along differential inclusions with bounded and Lipschitz continuous right-hand side. This approach is a generalization of using flows along bounded Lipschitz vector fields introduced in the so-called velocity method alias speed method in shape analysis.Now for each compact subset, more than just one differential inclusion is admitted for prescribing the future evolution (up to first order)—correspondingly to the step from ordinary differential equations to differential inclusions for vectors in the Euclidean space.We specify sufficient conditions on the given data such that for every initial compact set, at least one of these compact-valued evolutions satisfies fixed state constraints in addition. The proofs follow an approximative track similar to the standard approach for differential inclusions in , but they use tools about weak compactness and weak convergence of Banach-valued functions. Finally the viability condition is applied to constraints of nonempty intersection and inclusion, respectively, in regard to a fixed closed set .     

Remarks on the set-valued integrals of Debreu and Aumann

Some recently obtained sufficient conditions for the weak compactness of subsets of L¹(m, X) are used to show that for functions whose values are compact, convex subsets of a Banach space the Debreu integral, when it exists, is the same as the Aumann integral. Here no assumption is made concerning the reflexivity of X. This result extends to functions whose values are weakly compact, convex subsets of Banach space.     

Fuzzy dynamical systems

A fuzzy dynamical system on an underlying complete, locally compact metric state space X is defined axiomatically in terms of a fuzzy attainability set mapping on X. This definition includes as special cases crisp single and multivalued dynamical systems on X. It is shown that the support of such a fuzzy dynamical system on X is a crisp multivalued dynamical system on X, and that such a fuzzy dynamical system can be considered as a crisp dynamical system on a state space of nonempty compact fuzzy subsets of X. In addition fuzzy trajectories are defined, their existence established and various properties investigated.     

Pointwise bornological spaces

With each metric space (X,d) we can associate a bornological space (X,Bd) where Bd is the set of all subsets of X with finite diameter. Equivalently, Bd is the set of all subsets of X that are contained in a ball with finite radius. If the metric d can attain the value infinite, then the set of all subsets with finite diameter is no longer a bornology. Moreover, if d is no longer symmetric, then the set of subsets with finite diameter does not coincide with the set of subsets that are contained in a ball with finite radius. In this text we will introduce two structures that capture the concept of boundedness in both symmetric and non-symmetric extended metric spaces.     

Between compactness and completeness

Call a sequence in a metric space cofinally Cauchy if for each positive ε there exists a cofinal (rather than residual) set of indices whose corresponding terms are ε-close. We give a number of new characterizations of metric spaces for which each cofinally Cauchy sequence has a cluster point. For example, a space has such a metric if and only each continuous function defined on it is uniformly locally bounded. A number of results exploit a measure of local compactness functional that we introduce. We conclude with a short proof of Romaguera's Theorem: a metrizable space admits such a metric if and only if its set of points having a compact neighborhood has compact complement.     

Approximative compactness of the algebraic sum of sets

Let X be a group with an invariant metric, A and B nonempty subsets of X with B compact. It is proved that if A is an existence set [1] (approximatively compact [2]) then A + B and B + A are existence sets (approximatively compact). An example is given of a one-dimensional linear metric space (with an invariant metric) in which there exist an approximatively compact set A and an element v such that A + v is not an existence set.Translated from Matematicheskie Zametki, Vol. 23, No. 1, pp. 55–60, January, 1978.     

Coupled-expanding maps and one-sided symbolic dynamical systems

This paper studies relationships between coupled-expanding maps and one-sided symbolic dynamical systems. The concept of coupled-expanding map is extended to a more general one: coupled-expansion for a transitive matrix. It is found that the subshift for a transitive matrix is strictly coupled-expanding for the matrix in certain disjoint compact subsets; the topological conjugacy of a continuous map in its compact invariant set of a metric space to a subshift for a transitive matrix has a close relationship with that the map is strictly coupled-expanding for the matrix in some disjoint compact subsets. A certain relationship between strictly coupled-expanding maps for a transitive matrix in disjoint bounded and closed subsets of a complete metric space and their topological conjugacy to the subshift for the matrix is also obtained. Dynamical behaviors of subshifts for irreducible matrices are then studied and several equivalent statements to chaos are obtained; especially, chaos in the sense of Li–Yorke is equivalent to chaos in the sense of Devaney for the subshift, and is also equivalent to that the domain of the subshift is infinite. Based on these results, several new criteria of chaos for maps are finally established via strict coupled-expansions for irreducible transitive matrices in compact subsets of metric spaces and in bounded and closed subsets of complete metric spaces, respectively, where their conditions are weaker than those existing in the literature.     

A note on the representability of compact sets by real sequences

Consider the set K of all nonempty compact subsets of a compact metric space (M, d), endowed with the Hausdorff metric. In this paper, we prove that K is isometric to a subset of l_∞( ). An approximation result is also proved.     

Quasiisometries between negatively curved Hadamard manifolds

Let H₁, H₂ be the universal covers of two compact Riemannianmanifolds (of dimension not equal to 4) with negative sectionalcurvature. Then every quasiisometry between them lies at a finitedistance from a bilipschitz homeomorphism. As a consequence,every self-quasiconformal map of a Heisenberg group (equippedwith the Carnot metric and viewed as the ideal boundary of complexhyperbolic space) of dimension at least 5 extends to a self-quasiconformalmap of the complex hyperbolic space.     

Error Estimates for Discretized Quantum Stochastic Differential Inclusions

Abstract

This paper is concerned with the error estimates involved in the solution of a discrete approximation of a quantum stochastic differential inclusion (QSDI). Our main results rely on certain properties of the averaged modulus of continuity for multivalued sesquilinear forms associated with QSDI. We obtained results concerning the estimates of the Hausdorff distance between the set of solutions of the QSDI and the set of solutions of its discrete approximation. This extends the results of Dontchev and Farkhi Dontchev, A.L.; Farkhi, E.M. (Error estimates for discre‐ tized differential inclusions. Computing 1989, 41, 349–358) concerning classical differential inclusions to the present noncommutative quantum setting involving inclusions in certain locally convex space.     

Existence and relaxation of solutions to differential inclusions with unbounded right-hand side in a Banach space

In a separable Banach space we consider a differential inclusion whose values are nonconvex, closed, but not necessarily bounded sets. Along with the original inclusion, we consider the inclusion with convexified right-hand side. We prove existence theorems and establish relations between solutions to the original and convexified differential inclusions. In contrast to assuming that the right-hand side of the inclusion is Lipschitz with respect to the phase variable in the Hausdorff metric, which is traditional in studying this type of questions, we use the (ρ–H) Lipschitz property. Some example is given.     

The space clcv(ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>) with the Hausdorff-Bebutov metric and differential inclusions

The paper is devoted to studying the space of nonempty closed convex (but not necessarily compact) sets in ? ⁿ , a dynamical system of translations, and existence theorems for differential inclusions. We make this space complete by equipping it with the Hausdorff-Bebutov metric. The investigation of these issues is important for certain problems of optimal control of asymptotic characteristics of a control system. For example, the problem \(\dot x = A(t,u)x\), (u, x) ∈ ? ^m+n , λ _n (u(·))→ min, where λ _n (u(·)) is the largest Lyapunov exponent of the system {ie121-2} = A(t, u)x, leads to a differential inclusion with a noncompact right-hand side.