Stable Manifolds and Nonuniform Hyperbolicity: Optimal Estimates

We establish the existence of invariant stable manifolds for C ¹ perturbations of a nonuniform exponential dichotomy with an arbitrary nonuniform part. We consider the general case of sequences of maps, which corresponds to a nonautonomous dynamics with discrete time. We also obtain optimal estimates for the decay of trajectories along the stable manifolds. The optimal C ¹ smoothness of the invariant manifolds is obtained using an invariant family of cones.     

Stable manifolds for nonuniform polynomial dichotomies

We establish the existence of smooth stable manifolds in Banach spaces for sufficiently small perturbations of a new type of dichotomy that we call nonuniform polynomial dichotomy. This new dichotomy is more restrictive in the “nonuniform part” but allow the “uniform part” to obey a polynomial law instead of an exponential (more restrictive) law. We consider two families of perturbations. For one of the families we obtain local Lipschitz stable manifolds and for the other family, assuming more restrictive conditions on the perturbations and its derivatives, we obtain C¹ global stable manifolds. Finally we present an example of a family of nonuniform polynomial dichotomies and apply our results to obtain stable manifolds for some perturbations of this family.     

Analytic invariant manifolds for sequences of diffeomorphisms

We obtain real analytic invariant manifolds for trajectories of maps assuming only the existence of a nonuniform exponential behavior. We also consider the more general case of sequences of maps, which corresponds to a nonautonomous dynamics with discrete time. We emphasize that the maps that we consider are defined in a real Euclidean space, and thus, one is not able to obtain the invariant manifolds from a corresponding procedure to that in the nonuniform hyperbolicity theory in the context of holomorphic dynamics. We establish the existence both of stable (and unstable) manifolds and of center manifolds. As a byproduct of our approach we obtain an exponential control not only for the trajectories on the invariant manifolds, but also for all their derivatives.     

Center manifolds and optimal estimates

For sufficiently small perturbations of a nonuniform exponential trichotomy, we establish the existence of $C^k$ invariant center manifolds. We consider the general case of sequences of maps, which corresponds to a nonautonomous dynamics with discrete time. In particular, we obtain optimal estimates for the decay of all derivatives along the trajectories on the center manifolds.     

Stability in delay difference equations with nonuniform exponential behavior

We study the stability under perturbations for delay difference equations in Banach spaces. Namely, we establish the (nonuniform) stability of linear nonuniform exponential contractions under sufficiently small perturbations. We also obtain a stable manifold theorem for perturbations of linear delay difference equations admitting a nonuniform exponential dichotomy, and show that the stable manifolds are Lipschitz in the perturbation.     

Center manifolds under nonuniform hyperbolicity - maximal regularity

We establish the existence of (invariant) center manifolds with maximal Cr regularity for a nonautonomous dynamics with discrete time. We consider the general case of perturbations of a nonuniform exponential trichotomy. Our proof uses the fiber contraction principle and allows linear perturbations without any further effort.     

Nonlinear perturbations of nonuniform exponential dichotomy on measure chains

This paper focuses on nonlinear perturbations of flows in Banach spaces, corresponding to a nonautonomous dynamical system on measure chains admitting a nonuniform exponential dichotomy. We first define the nonuniform exponential dichotomy of linear nonuniformly hyperbolic systems on measure chains, then establish a new version of the Grobman-Hartman theorem for nonuniformly hyperbolic dynamics on measure chains with the help of nonuniform exponential dichotomies. Moreover, we also construct stable invariant manifolds for sufficiently small nonlinear perturbations of a nonuniform exponential dichotomy. In particular, it is shown that the stable invariant manifolds are Lipschitz in the initial values provided that the nonlinear perturbation is a sufficiently small Lipschitz perturbation.     

Center manifolds for impulsive equations under nonuniform hyperbolicity

We establish the existence of smooth center manifolds under sufficiently small perturbations of an impulsive linear equation. In particular, we obtain the C¹ smoothness of the manifolds outside the jumping times. We emphasize that we consider the general case of nonautonomous equations for which the linear part has a nonuniform exponential trichotomy.     

Circle Actions and Morse Theory on Quaternion-Kahler Manifolds

In this paper we study quaternion-Kähler manifolds endowedwith an isometric S¹-action. We consider the corresponding momentmap µ and prove that the only compact quaternion-Kählermanifold with positive scalar curvature which admits an isometriccircle action free on µ^–1(0) is the quaternionicprojective space HPⁿ.     

Center manifolds for nonuniformly partially hyperbolic diffeomorphisms

We establish the existence of smooth invariant center manifolds for the nonuniformly partially hyperbolic trajectories of a diffeomorphism in a Banach space. This means that the differentials of the diffeomorphism along the trajectory admit a nonuniform exponential trichotomy. We also consider the more general case of sequences of diffeomorphisms, which corresponds to a nonautonomous dynamics with discrete time. In addition, we obtain an optimal regularity for the center manifolds: if the diffeomorphisms are of class C^k then the manifolds are also of class C^k. As a byproduct of our approach we obtain an exponential control not only for the trajectories on the center manifolds, but also for their derivatives up to order k.     

Sharp Gradient Estimate and Yau's Liouville Theorem for the Heat Equation on Noncompact Manifolds

We derive a sharp, localized version of elliptic type gradientestimates for positive solutions (bounded or not) to the heatequation. These estimates are related to the Cheng–Yauestimate for the Laplace equation and Hamilton's estimate forbounded solutions to the heat equation on compact manifolds.As applications, we generalize Yau's celebrated Liouville theoremfor positive harmonic functions to positive ancient (includingeternal) solutions of the heat equation, under certain growthconditions. Surprisingly this Liouville theorem for the heatequation does not hold even in Rⁿ without such a condition.We also prove a sharpened long-time gradient estimate for thelog of the heat kernel on noncompact manifolds. 2000 MathematicsSubject Classification 35K05, 58J35.     

Stability of dichotomies in difference equations with infinite delay

For delay difference equations with infinite delay we consider the notion of nonuniform exponential dichotomy. This includes the notion of uniform exponential dichotomy as a very special case. Our main aim is to establish a stable manifold theorem under sufficiently small nonlinear perturbations. We also establish the robustness of nonuniform exponential dichotomies under sufficiently small linear perturbations. Finally, we characterize the nonuniform exponential dichotomies in terms of strict Lyapunov sequences. In particular, we construct explicitly a strict Lyapunov sequence for each exponential dichotomy.     

On the number of homotopy types of fibres of a definable map

In this paper we prove a single exponential upper bound on thenumber of possible homotopy types of the fibres of a Pfaffianmap in terms of the format of its graph. In particular, we showthat if a semi-algebraic set SR^m+n, where R is a real closedfield, is defined by a Boolean formula with s polynomials ofdegree less than d, and : R^m+nRⁿ is the projection on a subspace,then the number of different homotopy types of fibres of doesnot exceed s^2(m+1)n(2^m nd)^O(nm). As applications of our mainresults we prove single exponential bounds on the number ofhomotopy types of semi-algebraic sets defined by fewnomials,and by polynomials with bounded additive complexity. We alsoprove single exponential upper bounds on the radii of ballsguaranteeing local contractibility for semi-algebraic sets definedby polynomials with integer coefficients.     

Mixed block elimination for linear systems with wider borders

The paper is about the stable solution of possibly ill-conditionedbordered linear systems. Given stable solvers for matrix A andfor A^T, we prove that the Govaerts Mixed Block Elimination (BEM)method constitutes a stable solver for the matrix consistingof A or A^T with a border of width 1, and hence by recursionfor a border of any width. We express the algorithm in an efficient,iterative, form. We analyse its operation count, and verifythe theory by extensive numerical experiments. ^*Senior Research Associate of the Belgian National Fund of ScientificResearch NFWO.     

Stability theory and Lyapunov regularity

We establish the stability under perturbations of the dynamics defined by a sequence of linear maps that may exhibit both nonuniform exponential contraction and expansion. This means that the constants determining the exponential behavior may increase exponentially as time approaches infinity. In particular, we establish the stability under perturbations of a nonuniform exponential contraction under appropriate conditions that are much more general than uniform asymptotic stability. The conditions are expressed in terms of the so-called regularity coefficient, which is an essential element of the theory of Lyapunov regularity developed by Lyapunov himself. We also obtain sharp lower and upper bounds for the regularity coefficient, thus allowing the application of our results to many concrete dynamics. It turns out that, using the theory of Lyapunov regularity, we can show that the nonuniform exponential behavior is ubiquitous, contrarily to what happens with the uniform exponential behavior that although robust is much less common. We also consider the case of infinite-dimensional systems.     

Center manifolds of dynamical systems under discretization

We consider an autonomous dynamical system discretized by a one-step method. The point z = 0 is assumed to be fixed under the continuous and the discrete flows. We allow z = 0 to be non-hyperbolic. The continuous system has a center-unstable manifold and we show the existence of approximating invariant manifolds for the discretizations. The manifolds for the continuous and the discrete systems share the property of being locally attracting at an exponential rate; the dynamics inside the manifolds can differ qualitatively, however, for all step-sizes h.     

On approximation theorems for controllability of non-linear parabolic problems

^** Email: anil{at}math.iitb.ac.in^*** Email: mcj{at}math.iitb.ac.in^**** Email: akp{at}math.iitb.ac.in In this paper, we consider the following control system governedby the non-linear parabolic differential equation of the form: [graphic: see PDF] where A is a linear operator with dense domain and f(t, y)is a non-linear function. We have proved that under Lipschitzcontinuity assumption on the non-linear function f(t, y), theset of admissible controls is non-empty. The optimal pair (u^*,y^*) is then obtained as the limit of the optimal pair sequence{(u_n^*, y_n^*)}, where u_n^* is a minimizer of the unconstrainedproblem involving a penalty function arising from the controllabilityconstraint and y_n^* is the solution of the parabolic non-linearsystem defined above. Subsequently, we give approximation theoremswhich guarantee the convergence of the numerical schemes tooptimal pair sequence. We also present numerical experimentwhich shows the applicability of our result.     

Cocompact Spherical-Euclidean Spaceform Groups of Infinite VCD

We exhibit closed manifolds M covered by S^2n–1 x R^k forall n 2 and for sufficiently large k, with fundamental groupsof infinite virtual cohomological dimension. These examplesare based on results of Raghunathan on lattices in covers ofspin and symplectic groups, and address a problem first raisedby Wall.     

Robust nonuniform dichotomies and parameter dependence

We establish the robustness of linear cocycles with an exponential dichotomy, under sufficiently small Lipschitz perturbations, in the sense that the existence of an exponential dichotomy for a given cocycle persists under these perturbations. We consider cocycles in Banach spaces, as well as the general case of nonuniform exponential dichotomies, and also the general case of an exponential behavior ecρ(n), given by an arbitrary sequence ρ(n) including the usual exponential behavior ρ(n)=n as a very special case. Moreover, we show that the projections of the exponential dichotomies obtained from the perturbation vary continuously with the parameter, and in fact that they are locally Lipschitz on finite-dimensional parameters.     

Pseudo-Abelian integrals along Darboux cycles

We study polynomial perturbations of integrable, non-Hamiltoniansystem with first integral of Darboux-type with positive exponents.We assume that the unperturbed system admits a period annulus.The linear part of the Poincaré return map is given bypseudo-Abelian integrals. In this paper we investigate analyticproperties of these integrals. We prove that iterated variationsof these integrals vanish identically. Using this relation weprove that the number of zeros of these integrals is locallyuniformly bounded under generic hypothesis. This is a genericanalog of the Varchenko-Khovanskii theorem for pseudo-Abelianintegrals. Finally, under some arithmetic properties of exponents,the pseudo-Abelian integrals are a sum over exponents a_j ofpolynomials in log h with meromorphic functions of h^1/a_j ascoefficients.