Unstable manifold,Conley index and fixed points of flows

We study dynamical and topological properties of the unstable manifold of isolated invariant compacta of flows. We show that some parts of the unstable manifold admit sections carrying a considerable amount of information. These sections enable the construction of parallelizable structures which facilitate the study of the flow. From this fact, many nice consequences are derived, specially in the case of plane continua. For instance, we give an easy method of calculation of the Conley index provided we have some knowledge of the unstable manifold and, as a consequence, a relation between the Brouwer degree and the unstable manifold is established for smooth vector fields. We study the dynamics of non-saddle sets, properties of existence or non-existence of fixed points of flows and conditions under which attractors are fixed points, Morse decompositions, preservation of topological properties by continuation and classify the bifurcations taking place at a critical point.     

On the uniqueness of the coincidence index on orientable differentiable manifolds

The fixed point index of topological fixed point theory is a well studied integer-valued algebraic invariant of a mapping which can be characterized by a small set of axioms. The coincidence index is an extension of the concept to topological (Nielsen) coincidence theory. We demonstrate that three natural axioms are sufficient to characterize the coincidence index in the setting of continuous mappings on oriented differentiable manifolds, the most common setting for Nielsen coincidence theory.     

Motion of level sets by mean curvature III

We continue our investigation [6,7] (see also [4], etc.) of the generalized motion of sets via mean curvature by the level set method. We study more carefully the fine properties of the mean curvature PDE, to obtain Hausdorff measure estimates of level sets and smoothness whenever the level sets are graphs. L. C. E. was supported in part by NSF Grant DMS-86-01532. J. S. was supported in part by NSF Grant DMS-88-02858 and DOE Grant DE-FG02-86ER25015.     

Dimension sets for infinite IFSs: the Texan Conjecture

We consider the set of Hausdorff dimensions of limit sets of finite subsystems of an infinite conformal iterated function system and refer to it as the restricted dimension set. The corresponding set for all subsystems will be referred to as the complete dimension set. We give sufficient conditions for a point to belong to the complete dimension set and consequently to be an accumulation point of the restricted dimension set. We also give sufficient conditions on the system for both sets to be nowhere dense in some interval. Both general results are illustrated by examples. Applying the first result to the case of continued fraction we are able to prove the Texan Conjecture, that is we show that the set of Hausdorff dimensions of bounded type continued fraction sets is dense in the unit interval.     

Differentiability of the Arrival Time

For a monotonically advancing front, the arrival time is the time when the front reaches a given point. We show that it is twice differentiable everywhere with uniformly bounded second derivative. It is smooth away from the critical points where the equation is degenerate. We also show that the critical set has finite codimensional 2 Hausdorff measure. For a monotonically advancing front, the arrival time is equivalent to the level set method, a~priori not even differentiable but only satisfying the equation in the viscosity sense . Using that it is twice differentiable and that we can identify the Hessian at critical points, we show that it satisfies the equation in the classical sense. The arrival time has a game theoretic interpretation. For the linear heat equation, there is a game theoretic interpretation that relates to Black‐Scholes option pricing. From variations of the Sard and ?ojasiewicz theorems, we relate differentiability to whether singularities all occur at only finitely many times for flows.© 2016 Wiley Periodicals, Inc.     

Saddle-Point Optimality: A Look Beyond Convexity

The fact that two disjoint convex sets can be separated by a plane has a tremendous impact on optimization theory and its applications. We begin the paper by illustrating this fact in convex and partly convex programming. Then we look beyond convexity and study general nonlinear programs with twice continuously differentiable functions. Using a parametric extension of the Liu-Floudas transformation, we show that every such program can be identified as a relatively simple structurally stable convex model. This means that one can study general nonlinear programs with twice continuously differentiable functions using only linear programming, convex programming, and the inter-relationship between the two. In particular, it follows that globally optimal solutions of such general programs are the limit points of optimal solutions of convex programs.     

On derivations with respect to finite sets of smooth functions

The purpose of this paper is to show that functions that derivate the two-variable product function and one of the exponential, trigonometric or hyperbolic functions are also standard derivations. The more general problem considered is to describe finite sets of differentiable functions such that derivations with respect to this set are automatically standard derivations.     

Random algorithms for convex minimization problems

This paper deals with iterative gradient and subgradient methods with random feasibility steps for solving constrained convex minimization problems, where the constraint set is specified as the intersection of possibly infinitely many constraint sets. Each constraint set is assumed to be given as a level set of a convex but not necessarily differentiable function. The proposed algorithms are applicable to the situation where the whole constraint set of the problem is not known in advance, but it is rather learned in time through observations. Also, the algorithms are of interest for constrained optimization problems where the constraints are known but the number of constraints is either large or not finite. We analyze the proposed algorithm for the case when the objective function is differentiable with Lipschitz gradients and the case when the objective function is not necessarily differentiable. The behavior of the algorithm is investigated both for diminishing and non-diminishing stepsize values. The almost sure convergence to an optimal solution is established for diminishing stepsize. For non-diminishing stepsize, the error bounds are established for the expected distances of the weighted averages of the iterates from the constraint set, as well as for the expected sub-optimality of the function values along the weighted averages.     

A minimal set-valued strong derivative for vector-valued Lipschitz functions

A set-valued derivative for a function at a point is a set of linear transformations whichapproximates the function near the point. This is stated precisely, and it is shown that, in general, there is not a unique minimal set-valued derivative for functions in the family of closed convex sets of linear transformations. For Lipschitz functions, a construction is given for a specific set-valued derivative, which reduces to the usual derivative when the function is strongly differentiable, and which is shown to be the unique minimal set-valued derivative within a certain subfamily of the family of closed convex sets of linear transformations. It is shown that this constructed set may be larger than Clarke's and Pourciau's set-valued derivatives, but that no irregularity is introduced.The author would like to thank Professor H. Halkin for numerous discussions of the material contained here.     

Analyticity of the streamlines and of the free surface for periodic equatorial gravity water flows with vorticity

We prove analyticity of the streamlines beneath the surface and the smoothness of the free surface for geophysical equatorial water flows with a general Hölder continuously differentiable underlying vorticity distribution under the assumption of no stagnation points in the flow. Moreover, we prove that the real-analyticity of the vorticity function implies the real-analyticity of the free surface.     

On the size of the algebraic difference of two random Cantor sets

In this paper we consider some families of random Cantor sets on the line and investigate the question whether the condition that the sum of Hausdorff dimension is larger than one implies the existence of interior points in the difference set of two independent copies. We prove that this is the case for the so called Mandelbrot percolation. On the other hand the same is not always true if we apply a slightly more general construction of random Cantor sets. We also present a complete solution for the deterministic case. © 2007 Wiley Periodicals, Inc. Random Struct. Alg., 2008     

Group-like structures and the whitehead product in pro-homotopy and shape

The notion of ‘H-space’ is of considerable importance in the homotopy theory of CW-complexes. This paper studies a similar notion in the framework of pro-homotopy and shape theories. This is achieved by following the general plan set forth by Eckmann and Hilton. Examples of shape H-space are also given; it is observed that every compact connected topological monoid is a shape H-space. The Whitehead product is defined and studied in the pro-homotopy and shape categories; and, it is shown that this Whitehead product vanishes on an H-object in pro-homotopy. These results are the natural extension of some well-known classical results in the homotopy theory of CW-complexes.     

Surface Measures Generated by Differentiable Measures

We study surface measures on level sets of functions on general probability spaces with measures differentiable along vector fields and suggest a new simple construction. Our construction applies also to level sets of mappings with values in finite-dimensional spaces. The standard surface measures arising for Gaussian measures in the Malliavin calculus can be obtained in this way. A positive answer is given to a question raised by M. Röckner concerning continuity of surface measures with respect to a parameter.     

Maximal linear transformation groups preserving asymptotic properties of linear differential systems: I

We consider the problem of describing sets of linear piecewise differentiable transformations that preserve some asymptotic property of linear differential systems. We present definitions needed for solving this problem, obtain preliminary results, and describe the set of linear transformations preserving the property of boundedness of the coefficients of linear differential systems on the time half-line.     

Calmness of constraint systems with applications

The paper is devoted to the analysis of the calmness property for constraint set mappings. After some general characterizations, specific results are obtained for various types of constraints, e.g., one single nonsmooth inequality, differentiable constraints modeled by polyhedral sets, finitely and infinitely many differentiable inequalities. The obtained conditions enable the detection of calmness in a number of situations, where the standard criteria (via polyhedrality or the Aubin property) do not work. Their application in the framework of generalized differential calculus is explained and illustrated by examples associated with optimization and stability issues in connection with nonlinear complementarity problems or continuity of the value-at-risk. This research was supported by the DFG Research center Matheon Mathematics for key technologies in Berlin Support by grant IAA1030405 of the Grant Agency of the Academy of Sciences of the Czech Republic is acknowledged     

About the Lipschitz property of the metric projection in the Hilbert space

We consider the metric projection operator from the real Hilbert space onto a strongly convex set. We prove that the restriction of this operator on the complement of some neighborhood of the strongly convex set is Lipschitz continuous with the Lipschitz constant strictly less than 1. This property characterizes the class of strongly convex sets and (to a certain degree) the Hilbert space. We apply the results obtained to the question concerning the rate of convergence for the gradient projection algorithm with differentiable convex function and strongly convex set.     

Rigidity result on conjugacies of families of diffeomorphisms

Embedding flows are used to obtain a rigidity result on strongly topological conjugacy of families of diffeomorphisms, i.e. families of C^r(2?r?∞) diffeomorphisms, the strongly topologically conjugating homeomorphisms near degenerate saddle-nodes will be differentiable on center manifolds of the saddle-nodes.     

Restriction operators, balayage and doubly orthogonal systems of analytic functions

Systems of analytic functions which are simultaneously orthogonal over each of two domains were apparently first studied in particular cases by Walsh and Szegö, and in full generality by Bergman. In principle, these are very interesting objects, allowing application to analytic continuation that is not restricted (as Weierstrassian continuation via power series) either by circular geometry or considerations of locality. However, few explicit examples are known, and in general one does not know even gross qualitative features of such systems. The main contribution of the present paper is to prove qualitative results in a quite general situation.It is by now very well known that the phenomenon of “double orthogonality” is not restricted to Bergman spaces of analytic functions, nor even indeed has it any intrinsic relation to analyticity; its essence is an eigenvalue problem arising whenever one considers the operator of restriction on a Hilbert space of functions on some set, to a subset thereof, provided this restriction is injective and compact. However, in this paper only Hilbert spaces of analytic functions are considered, especially Bergman spaces. In the case of the Hardy spaces Fisher and Micchelli discovered remarkable qualitative features of doubly orthogonal systems, and we have shown how, based on the classical potential-theoretic notion of balayage, and its modern generalizations, one can deduce analogous results in the Bergman space set-up, but with restrictions imposed on the geometry of the considered domains and measures; these were not needed in the Fisher-Micchelli analysis, but are necessary here as shown by examples.From a more constructive point of view we study the Bergman restriction operator between the unit disk and a compactly contained quadrature domain and show that the representing kernel of this operator is rational and it is expressible (as an inversion followed by a logarithmic derivative) in terms of the polynomial equation of the boundary of the inner domain.     

The external multiplication for the Conley index

We construct an additional operation of the external multiplication on the cohomological Conley index defined by Mrozek for discrete semidynamical systems. The construction is based on the notion of the Conley index over a phase space introduced by Szybowski. We show how to apply the external multiplication to solve the problem of continuation of two isolated invariant sets and illustrate it by an example.     

Equivariant fixed-point indices of iterated maps

We describe an equivariant version (for actions of a finite group G) of Dold’s index theory, [10], for iterated maps. Equivariant Dold indices are defined, in general, for a G-map U → X defined on an open G-subset of a G-ANR X (and satisfying a suitable compactness condition). A local index for isolated fixed-points is introduced, and the theorem of Shub and Sullivan on the vanishing of all but finitely many Dold indices for a continuously differentiable map is extended to the equivariant case. Homotopy Dold indices, arising from the equivariant Reidemeister trace, are also considered.