Uniform Morse lemma and isotopy criterion for Morse functions on surfaces

Let M be a smooth compact (orientable or not) surface with or without a boundary. Let $ \mathcal{D}_0 $ \mathcal{D}_0 ⊂ Diff(M) be the group of diffeomorphisms homotopic to id _M . Two smooth functions f, g: M → ℝ are called isotopic if f = h ₂ ℴ g ℴ h ₁ for some diffeomorphisms h ₁ ∈ $ \mathcal{D}_0 $ \mathcal{D}_0 and h ₂ ∈ Diff⁺(ℝ). Let F be the space of Morse functions on M which are constant on each boundary component and have no critical points on the boundary. A criterion for two Morse functions from F to be isotopic is proved. For each Morse function f ∈ F, a collection of Morse local coordinates in disjoint circular neighborhoods of its critical points is constructed, which continuously and Diff(M)-equivariantly depends on f in C ^∞-topology on F (“uniform Morse lemma”). Applications of these results to the problem of describing the homotopy type of the space F are formulated.     

The Hausdorff dimension of horseshoes of diffeomorphisms of surfaces

Letf be aC ^r diffeomorphism,r≥2, of a two dimensional manifoldM ², and let Λ be a horseshoe off (i.e. a transitive and isolated hyperbolic set with topological dimension zero). We prove that there exist aC ^r neighborhoodU off and a neighbourhoodU of Λ such that forg∈U, the Hausdorff dimension of ∩ _n g ⁿ (U) is aC ^r−1 function ofg.     

Some applications of Banach algebra techniques

We consider some functional Banach algebras with multiplications as the usual convolution product * and the so‐called Duhamel product ?. We study the structure of generators of the Banach algebras (C⁽ⁿ⁾[0, 1], *) and (C⁽ⁿ⁾[0, 1], ?). We also use the Banach algebra techniques in the calculation of spectral multiplicities and extended eigenvectors of some operators. Moreover, we give in terms of extended eigenvectors a new characterization of a special class of composition operators acting in the Lebesgue space L^p[0, 1] by the formula (C_φf)(x) = f(φ(x)).     

Deformations of circle-valued Morse functions on surfaces

Let M be a smooth connected orientable compact surface and let F_cov ( M,S¹ ) {\mathcal{F}_{{\rm cov} }}\left( {M,{S^1}} \right) be a space of all Morse functions f : M → S ¹ without critical points on ∂M such that, for any connected component V of ∂M, the restriction f : V → S ¹ is either a constant map or a covering map. The space F_cov ( M,S¹ ) {\mathcal{F}_{{\rm cov} }}\left( {M,{S^1}} \right) is endowed with the C ^∞-topology. We present the classification of connected components of the space F_cov ( M,S¹ ) {\mathcal{F}_{{\rm cov} }}\left( {M,{S^1}} \right) . This result generalizes the results obtained by Matveev, Sharko, and the author for the case of Morse functions locally constant on ∂M.     

On smooth, nonlinear surjections of banach spaces

It is shown that (1) every infinite-dimensional Banach space admits aC ¹ Lipschitz map onto any separable Banach space, and (2) if the dual of a separable Banach spaceX contains a normalized, weakly null Banach-Saks sequence, thenX admits aC ^∞ map onto any separable Banach space. Subsequently, we generalize these results to mappings onto larger target spaces. Supported by an NSF Postdoctoral Fellowship in Mathematics.     

Some remarks on the Fefferman-Stein inequality

We investigate the Fefferman-Stein inequality related to a function f and the sharp maximal function f ^# on a Banach function space X. It is proved that this inequality is equivalent to a certain boundedness property of the Hardy-Littlewood maximal operator M. The latter property is shown to be self-improving. We apply our results in several directions. First, we show the existence of nontrivial spaces X for which the lower operator norm of M is equal to 1. Second, in the case when X is the weighted Lebesgue space L ^p (w), we obtain a new approach to the results of Sawyer and Yabuta concerning the C _p condition.     

Weighted inequalities for iterated maximal functions in Orlicz spaces

Let M be the classical Hardy‐Littlewood maximal operator. The object of our investigation in this paper is the iterated maximal function M^kf(x) = M(M^k?1f) (x) (k ≥ 2). Let Φ be a φ‐function which is not necessarily convex and Ψ be a Young function. Suppose that w is an A′_∞ weight and that k is a positive integer. If there exist positive constants C₁ and C₂ such that ((I)) then there exist positive constants C₃ and C₄ such that ((II)) where the functions a(t) and b(t) are the right derivatives of Φ(t) and Ψ(t), respectively. Conversely, if w is an A₁ weight, then (II) implies (I). Another necessary and sufficient condition will be given. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Semilinear elliptic resonant problems at higher eigenvalue with unbounded nonlinear terms

In this paper we study the existence of nontrivial solutions of a class of asymptotically linear elliptic resonant problems at higher eigenvalues with the nonlinear term which may be unbounded by making use of the Morse theory for aC ²-function at both isolated critical point and infinity.     

On Morse Conjecture for Flows on Closed Surfaces

Let M be a closed orientable surface and let ϕ be a C¹‐flow on M with set of singularities compact countable. In this paper, we prove the Morse conjecture for ϕ: if ϕ is topologically transitive then it is metrically transitive.     

Sharp inequalities for convolution-type operators

Let μ be a probability measure on [− a, a], a > 0, and let x₀ε[− a, a], f ε Cⁿ([−2a, 2a]), n 0 even. Using moment methods we derive best upper bounds to ¦∫_−a^a ([f(x₀ + y) + f(x₀ − y)]/2) μ(dy) − f(x₀)¦, leading to sharp inequalities that are attainable and involve the second modulus of continuity of f⁽ⁿ⁾ or an upper bound of it.     

Morse theory for some lower-C 2 functions in finite dimension

Using inf-regularization methods, we prove that Morse inequalities hold for some lower-C ² functions. For this purpose, we first recall some properties of the class of lower-C ² functions and of their Moreau-Yosida approximations. Then, we establish, under some qualification conditions on the critical points, that it is possible to define a Morse index for a lower-C ² functionf. This index is preserved by the Moreau-Yosida approximation process. We prove in particular that the Moreau-Yosida approximations are twice continuolusly differentiable around such a critical point which is shown to be a strict local minimum of the restriction off and of its approximations to some affine space. In a last step, Morse inequalities are written for Moreau-Yosida approximations and with the aid of deformation retractions we prove that these inequalities also hold for some lower-C ² functions.     

A note on the abstract cauchy problem

LetA be the infinitesimal generator of aC ₀ semigroup in a Banach spaceE. We obtain necessary conditions for a solution of the Cauchy problem {fx112-1} to be classical for arbitrary ϕ εC([0,T]) andf εE.     

Compact homomorphisms of regular banach algebras

Let A be a complex commutative Banach algebra and let M_A be the maximal ideal space of A. We say that A has the bounded separating property if there exists a constant C > 0 such that for every two distinct points ?₁, ?₂ ∈ M_A, there is an element a ∈ A for which , and ‖a‖ ? C, where is the Gelfand transform of a ∈ A. We show that if A is a strongly regular Banach algebra with the bounded separating property, then every compact homomorphism from A into another Banach algebra is of finite dimensional range. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Pinching estimates for negatively curved manifolds with nilpotent fundamental groups

Let M be a complete Riemannian metric of sectional curvature within [−a²,−1] whose fundamental group contains a k-step nilpotent subgroup of finite index. We prove that a ≥ k answering a question of M. Gromov. Furthermore, we show that for any the manifold M admits a complete Riemannian metric of sectional curvature within Received: May 2004 Revision: July 2004 Accepted: July 2004     

Shcherbina’s theorem for finely holomorphic functions

We prove an analogue of Sadullaev’s theorem concerning the size of the set where a maximal totally real manifold M can meet a pluripolar set. M has to be of class C ¹ only. This readily leads to a version of Shcherbina’s theorem for C ¹ functions f that are defined in a neighborhood of certain compact sets ${K\subset\mathbb{C}}We prove an analogue of Sadullaev’s theorem concerning the size of the set where a maximal totally real manifold M can meet a pluripolar set. M has to be of class C ¹ only. This readily leads to a version of Shcherbina’s theorem for C ¹ functions f that are defined in a neighborhood of certain compact sets K ì \mathbbC{K\subset\mathbb{C}}. If the graph Γ _f (K) is pluripolar, then \frac?f?[`(z)]=0{\frac{\partial f}{\partial\bar z}=0} in the closure of the fine interior of K.     

Regularized semigroups of bounded semivariation

We use regularized semigroups to consider local linear and semilinear inhomogeneous abstract Cauchy problems on a Banach space in a unified way. We show that the inhomogeneous abstract Cauchy problem {fx43-1} has a unique classical solution, for allf εC([0,T], [Im(C)]),x inC(D(A)), if and only ifA generates aC-regularized semigroup of bounded semivariation, and has a strong solution for allf εL ¹ ([0,T], [Im(C)]),x εC(D(A)) if and only if theC-regularized semigroup is what we call of bounded super semivariation. This includes locally Lipschitz continuousC-regularized semigroups. We give similar simple sufficient conditions for the semilinear abstract Cauchy problem {fx43-2} to have a unique solution. Well-known results for generators of strongly continuous semigroups, as well as more recent results for Hille-Yosida operators, originally due to Da Prato and Sinestrari, regarding (0.1), are immediate corollaries of our results. Results due to Desch, Schappacher and Zhang, on (0.2), for generators of strongly continuous semigroups, are similarly generalized to Hille-Yosida operators with our approach. This article appeared in the last issue of the Forum. However, due to an error by the Journal Secetary, the Abstract was omitted, and with it the equations which are the focus of the article. We therefore are reprinting the article in its entirety. The Journal Secretary regrets the error.     

Smooth extensions of functions on separable Banach spaces

Let X be a Banach space with a separable dual X*. Let ${Y\subset X}Let X be a Banach space with a separable dual X*. Let Y ì X{Y\subset X} be a closed subspace, and f:Y?\mathbbR{f:Y\rightarrow\mathbb{R}} a C ¹-smooth function. Then we show there is a C ¹ extension of f to X.     

Regularity of discs attached to a submanifold ofC n

Letp be an analytic disc attached to a generating CR-submanifoldM of C ⁿ . It is proved that some recently introduced conditions onp andM which imply that the family of all smallC ^α holomorphic perturbations ofp alongM is a Banach submanifold of (A^α(D))ⁿ are equivalent. These conditions are given in terms of the partial indices of the discp attached toM and “holomorphic sections” of the conormal bundle ofM along p(∂D). Also, a sufficient geometric conditionon p andM is given so that the family of all smallC ^α holomorphic perturbationsof p alongM, fixed at some boundary point, is a Banach submanifold of (A ^α (D))ⁿ.     

Homotopy Types of Stabilizers and Orbits of Morse Functions on Surfaces

Let M be a smooth compact surface, orientable or not, with boundary or without it, P either the real line ℝ ¹ or the circle S ¹, and D(M) the group of diffeomorphisms of M acting on C^∞(M, P) by the rule h⋅ f = f ∘ h ⁻¹ for h ∊ D(M) and f ∊ C^∞ (M,P). Let f: M → P be an arbitrary Morse mapping, Σ _f the set of critical points of f, D(M,Σ _f ) the subgroup of D(M) preserving Σ _f , and S(f), S (f,Σ _f ), O(f), and O(f,Σ _f ) the stabilizers and the orbits of f with respect to D(M) and D(M,Σ _f ). In fact S(f) = S(f,Σ _f ).In this paper we calculate the homotopy types of S(f), O(f) and O(f,Σ _f ). It is proved that except for few cases the connected components of S(f) and O(f,Σ _f ) are contractible, π _k O(f) = π _k M for k ≥ 3, π₂ O(f) = 0, and π₁ O(f) is an extension of π₁ D(M) ⊕ Z ^k (for some k ≥ 0) with a (finite) subgroup of the group of automorphisms of the Kronrod-Reeb graph of f.We also generalize the methods of F. Sergeraert to give conditions for a finite codimension orbit of a tame smooth action of a tame Lie group on a tame Fréchet manifold to be a tame Fréchet manifold itself. In particular, we obtain that O(f) and O(f, Σ _f ) are tame Fréchet manifolds. Communicated by Peter Michor Vienna Mathematics Subject Classifications (2000): 37C05, 57S05, 57R45.