Subdifferentials of a minimal time function in normed spaces

In a general normed vector space, we study the minimal time function determined by a differential inclusion where the set-valued mapping involved has constant values of a bounded closed convex set U and by a closed target set S. We show that proximal and Fréchet subdifferentials of a minimal time function are representable by virtue of corresponding normal cones of sublevel sets of the function and level or suplevel sets of the support function of U. The known results in the literature require the set U to have the origin as an interior point or U be compact. (In particular, if the set U is the unit closed ball, the results obtained reduce to the subdifferential of the distance function defined by S.)     

An example on movable approximations of a minimal set in a continuous flow

In the present paper the study of flows on n-manifolds in particular in dimension three, e.g., R³, is motivated by the following question. Let A be a compact invariant set in a flow on X. Does every neighbourhood of A contain a movable invariant set M containing A? It is known that a stable solenoid in a flow on a 3-manifold has approximating periodic orbits in each of its neighbourhoods. The solenoid with the approximating orbits form a movable set, although the solenoid is not movable. Not many such examples are known. The main part of the paper consists of constructing an example of a set in R³ that is not stable, is not a solenoid, and is approximated by Denjoy-like invariant sets instead of periodic orbits. As in the case of a solenoid, the constructed set is an inverse limit of its approximating sets. This gives a partial answer to the above question.     

Existence and Topological Uniqueness of Compact CMC Hypersurfaces with Boundary in Hyperbolic Space

It is proved that if Γ is a compact, embedded hypersurface in a totally geodesic hypersurface ? ⁿ of ? ⁿ⁺¹ satisfying the enclosing H-hypersphere condition with |H|<1, then there is one and only one (up to a reflection on ? ⁿ ) compact embedded constant mean curvature H hypersurface M such that ?M=Γ. Moreover, M is diffeomorphic to a ball.     

On interpolation of interpolating sequences

Let A be a uniform algebra on the compact space X and σ a probability measure on X. We define the Hardy spaces H^P(σ) and the H^P(σ) interpolating sequences S in the p-spectrum M_p of σ. Under some structural hypotheses on (A, σ), we prove that if a sequence S ⊂ M_p is H^P(σ) interpolating, then it is H^s(σ) interpolating for s < p. In the special case of the unit ball B of ?ⁿ this answers a natural question asked in [8].     

Quadratic convexity

We say that a setA ⊂ ℂ ⁿ is quadratically convex if its complement is a union of quadratic hypersurfaces. Some geometric properties of quadratically convex sets are investigated; in particular, they are related to lineally convex sets in a space of higher dimension. We say thatA is strongly quadratically convex if a certain generalization of the Fantappiè transform is surjective, which in effect means that we have a representation for any function holomorphic onA as a superposition of reciprocals of quadratic expressions. The main theorem in this paper gives a sufficient condition for a compact set to be strongly quadratically convex. Using integral representation formulas for holomorphic functions, an explicit inversion formula for the transform is obtained.     

On the Order Dimension of Convex Geometries

We study the order dimension of the lattice of closed sets for a convex geometry. We show that the lattice of closed subsets of the planar point set of Erd?s and Szekeres from 1961, which is a set of 2 ^n???2 points and contains no vertex set of a convex n-gon, has order dimension n???1 and any larger set of points has order dimension at least n.     

Small set in a large box

Let K ? ?^d be a compact convex set which is an intersection of half-spaces defined by at most two coordinates. Let Q be the smallest axes-parallel box containing K. We show that, as the dimension d grows, the ratio diam Q/ diam K can be arbitrarily large. We also give examples of compact sets in Banach spaces which are not contained in any compact contractive set.     

Inscribed Balls and Their Centers

A ball of maximal radius inscribed in a convex closed bounded set with a nonempty interior is considered in the class of uniformly convex Banach spaces. It is shown that, under certain conditions, the centers of inscribed balls form a uniformly continuous (as a set function) set-valued mapping in the Hausdorff metric. In a finite-dimensional space of dimension n, the set of centers of balls inscribed in polyhedra with a fixed collection of normals satisfies the Lipschitz condition with respect to sets in the Hausdorff metric. A Lipschitz continuous single-valued selector of the set of centers of balls inscribed in such polyhedra can be found by solving n + 1 linear programming problems.     

Minimal surface area position of a convex body is not always an M-position

Milman proved that there exists an absolute constant C > 0 such that, for every convex body K in ? ⁿ , there exists a linear image TK of K with volume 1, such that |TK + D _n |^1/n ≤ C, where D _n is the Euclidean ball of volume 1. TK is then said to be in M-position. Giannopoulos and Milman asked if every convex body that has minimal surface area among all its affine images of volume 1 is also in M-position. We prove that the answer to this question is negative, even in the 1-unconditional case.     

Convergence theorems, best approximation and best proximity for set-valued dynamic systems of relatively quasi-asymptotic contractions in cone uniform spaces

In cone uniform spaces X, using the concept of the D-family of cone pseudodistances, the distance between two not necessarily convex or compact sets A and B in X is defined, the concepts of cyclic and noncyclic set-valued dynamic systems of D-relatively quasi-asymptotic contractions T:A∪B→2^A∪B are introduced and the best approximation and best proximity point theorems for such contractions are proved. Also conditions are given which guarantee that for each starting point each generalized sequence of iterations of these contractions (in particular, each dynamic process) converges and the limit is a best proximity point. Moreover, D-families are constructed, characterized and compared. The results are new for set-valued and single-valued dynamic systems in cone uniform, cone locally convex and cone metric spaces. Various examples illustrating ideas, methods, definitions and results are constructed.     

A compactness theorem for scalar-flat metrics on manifolds with boundary

Let (M ⁿ , g) be a compact Riemannian manifold with boundary ?M. This paper is concerned with the set of scalar-flat metrics which are in the conformal class of g and have ?M as a constant mean curvature hypersurface. We prove that this set is compact for dimensions n ?? 7 under the generic condition that the trace-free 2nd fundamental form of ?M is nonzero everywhere.     

Algebras generated by inner functions

Let A be a uniform algebra on a compact space X. An inner function is a function in A unimodular on X. For three algebras of type H^∞ we prove A is generated by its inner functions. Whenever A is generated by its inner functions we prove the unit ball of A is the closed convex ball of the inner functions.     

The Hemivariational Inequalities for an Upper Semicontinuous Set-valued Mapping

We establish some existence results for hemivariational inequalities of Stampacchia type involving an upper semicontinuous set-valued mapping on a bounded, closed and convex subset in ? ⁿ . We also derive a sufficient condition for the existence and boundedness of solution, without assuming boundedness of the constraint set.     

Euler Characteristic and Fixed-Point Theorems

We propose a geometric definition of the Euler characteristic (M) for the class of compact epi-Lipschitzian sets MRⁿ and we provide existence theorems of (generalized) equilibria for set-valued mappings F when the domain M of F is neither assumed to be convex, nor smooth but has a nonzero Euler characteristic.     

On Khachiyan's algorithm for the computation of minimum-volume enclosing ellipsoids

Given A?{a¹,…,a^m}⊂R^d whose affine hull is R^d, we study the problems of computing an approximate rounding of the convex hull of A and an approximation to the minimum-volume enclosing ellipsoid of A. In the case of centrally symmetric sets, we first establish that Khachiyan's barycentric coordinate descent (BCD) method is exactly the polar of the deepest cut ellipsoid method using two-sided symmetric cuts. This observation gives further insight into the efficient implementation of the BCD method. We then propose a variant algorithm which computes an approximate rounding of the convex hull of A, and which can also be used to compute an approximation to the minimum-volume enclosing ellipsoid of A. Our algorithm is a modification of the algorithm of Kumar and Y?ld?r?m, which combines Khachiyan's BCD method with a simple initialization scheme to achieve a slightly improved polynomial complexity result, and which returns a small “core set.” We establish that our algorithm computes an approximate solution to the dual optimization formulation of the minimum-volume enclosing ellipsoid problem that satisfies a more complete set of approximate optimality conditions than either of the two previous algorithms. Furthermore, this added benefit is achieved without any increase in the improved asymptotic complexity bound of the algorithm of Kumar and Y?ld?r?m or any increase in the bound on the size of the computed core set. In addition, the “dropping idea” used in our algorithm has the potential of computing smaller core sets in practice. We also discuss several possible variants of this dropping technique.     

The complex of non-crossing diagonals of a polygon

Given a convex n-gon P in R² with vertices in general position, it is well known that the simplicial complex θ(P) with vertex set given by diagonals in P and facets given by triangulations of P is the boundary complex of a polytope of dimension n−3. We prove that for any non-convex polygonal region P with n vertices and h+1 boundary components, θ(P) is a ball of dimension n+3h−4. We also provide a new proof that θ(P) is a sphere when P is convex with vertices in general position.     

On a projectively minimal hypersurface in the unimodular affine space

We derive a differential equation defining a projectively minimal hypersurface in the affine space A ⁿ⁺¹. Several examples of such hypersurfaces are given. We prove that only an ellipsoid is a projectively minimal surface in A ³ which is compact and strongly convex.     

Cohomology of incidence coalgebras

The cohomology groups Hⁿ(M, C) are studied, where C is the incidence coalgebra of a locally finite partially ordered set P and where M is a C-C comodule depending on a convex coarsening of the given partial order on P. The case where P is a geometric lattice and the convex coarsening is just the equality relation is emphasized.