关于Morse引理的推广

Morse Lemma是奇点理论中一个极为重要的结论。[1]的作者称其文中的定理1和定理2是Morse Lemma的推广。为此我们愿就[1]中的几个问题与[1]的作者商榷。     

Type Numbers of Critical Points for Nonsmooth Functionals

Type numbers of critical points for Lipschitz functionals are studied. Versions of the Morse inequalities are established; it is shown that the topological index of an isolated critical point is equal to the alternated sum of its type numbers. Formulas for calculating the type numbers of the zero critical point of one functional are given.     

One-parameter families of optimization problems: Equality constraints

In this paper, we introduce generalized critical points and discuss their relationship with other concepts of critical points [resp., stationary points]. Generalized critical points play an important role in parametric optimization. Under generic regularity conditions, we study the set of generalized critical points, in particular, the change of the Morse index. We focus our attention on problems with equality constraints only and provide an indication of how the present theory can be extended to problems with inequality constraints as well.     

ON A BI-HARMONIC EQUATION INVOLVING CRITICAL EXPONENT: EXISTENCE AND MULTIPLICITY RESULTS

In this paper, we consider the problem of existence as well as multiplicity results for a bi-harmonic equation under the Navier boundary conditions: △2 u = K(x)u p , u > 0 in Ω , △u = u = 0 on Ω , where Ω is a smooth domain in R n , n 5, and p + 1 = 2 n n 4 is the critical Sobolev exponent. We obtain highlightly a new criterion of existence, which provides existence results for a dense subset of positive functions, and generalizes Bahri-Coron type criterion in dimension six. Our argument gives also estimates on the Morse index of the obtained solutions and extends some known results. Moreover, it provides, for generic K, Morse inequalities at infinity, which delivers lower bounds for the number of solutions. As further applications of this Morse theoretical approach, we prove more existence results.     

The generalized Morse–Sard theorem

The Morse–Sard theorem gives conditions under which the set of critical values of a function between Euclidean spaces has Lebesgue measure zero. Over the years the result has been extended and strengthened in various ways. We present a result, along with a simple proof, that subsumes many of these generalizations. We also review methods of constructing examples showing that differentiability hypotheses cannot be weakened, and we construct a complete set of examples for our result.     

On homotopy continuation method for computing multiple solutions to the Henon equation

Motivated by numerical examples in solving semilinear elliptic PDEs for multiple solutions, some properties of Newton homotopy continuation method, such as its continuation on symmetries, the Morse index, and certain functional structures, are established. Those results provide useful information on selecting initial points for the method to find desired solutions. As an application, a bifurcation diagram, showing the symmetry/peak breaking phenomena of the Henon equation, is constructed. © 2007 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2008     

Quantitative Morse–Sard Theorem via Algebraic Lemma

We give a short proof of the so-called Quantitative Morse–Sard Theorem as an application of Gromov?s Algebraic Lemma.     

Morse-type inequalities for dynamical systems and the Witten Laplacian

We provide an analytic proof of Morse-type inequalities for vector fields determining a Morse decomposition with normally hyperbolic dynamics. In the demonstration we reduce the problem to the gradient case using a Morse-Bott Lyapunov function and then apply Schrödinger operator techniques. This yields an explicit construction of the cohomology complex of the manifold in terms of the invariant sets of the Morse decomposition associated with the vector field.     

Bourgin-Yang Type Theorem and its application to -equivariant Hamiltonian systems

We will be concerned with the existence of multiple periodic solutions of asymptotically linear Hamiltonian systems with the presence of -action. To that purpose we prove a new version of the Bourgin-Yang theorem. Using the notion of the crossing number we also introduce a new definition of the Morse index for indefinite functionals.

     

Poincaré-Hopf inequalities

In this article the main theorem establishes the necessity and sufficiency of the Poincaré-Hopf inequalities in order for the Morse inequalities to hold. The convex hull of the collection of all Betti number vectors which satisfy the Morse inequalities for a pre-assigned index data determines a Morse polytope defined on the nonnegative orthant. Using results from network flow theory, a scheme is provided for constructing all possible Betti number vectors which satisfy the Morse inequalities for a pre-assigned index data. Geometrical properties of this polytope are described.

     

Disjunctive Optimization: Critical Point Theory

In this paper, we introduce the concepts of (nondegenerate) stationary points and stationary index for disjunctive optimization problems. Two basic theorems from Morse theory, which imply the validity of the (standard) Morse relations, are proved. The first one is a deformation theorem which applies outside the stationary point set. The second one is a cell-attachment theorem which applies at nondegenerate stationary points. The dimension of the cell to be attached equals the stationary index. Here, the stationary index depends on both the restricted Hessian of the Lagrangian and the set of active inequality constraints. In standard optimization problems, the latter contribution vanishes.     

The Morse–Witten complex via dynamical systems

Given a smooth closed manifold M, the Morse–Witten complex associated to a Morse function f and a Riemannian metric g on M consists of chain groups generated by the critical points of f and a boundary operator counting isolated flow lines of the negative gradient flow. Its homology reproduces singular homology of M. The geometric approach presented here was developed in Weber [Der Morse–Witten Komplex, Diploma Thesis, TU Berlin, 1993] and is based on tools from hyperbolic dynamical systems. For instance, we apply the Grobman–Hartman theorem and the λ-lemma (Inclination Lemma) to analyze compactness and define gluing for the moduli space of flow lines.     

Geometrical Decomposition of the Free Loop Space on a Manifold with Finitely Many Closed Geodesics

In Morse theory an isolated degenerate critical point can be resolved into a finite number of nondegenerate critical points by perturbing the totally degenerate part of the Morse function inside the domain of a generalized Morse chart. Up to homotopy we can admit pertubations within the whole characteristic manifold. Up to homotopy type a relative CW-complex is attached, which is the product of a big relative CW-complex, representing the degenerate part, and a small cell having the dimension of the Morse index.     

Size Functions from a Categorical Viewpoint

A new categorical approach to size functions is given. Using this point of view, it is shown that size functions of a Morse map, f: M can be computed through the 0-dimensional homology. This result is extended to the homology of arbitrary degree in order to obtain new invariants of the shape of the graph of the given map.     

源自人口动力学的半线性p-Laplace的Dirichlet问题解

研究源自人口动力学的半线性p-Laplace方程的Dirichlet问题,得到了该问题在零点处的能量泛函是平凡的Morse临界群.因而,确定了该问题非平凡解的存在性及其分岔性.     

Critical Points Index for Vector Functions and Vector Optimization

In this work, we study the critical points of vector functions from ℝ ⁿ to ℝ ^m with n≥m, following the definition introduced by Smale in the context of vector optimization. The local monotonicity properties of a vector function around a critical point which are invariant with respect to local coordinate changes are considered. We propose a classification of critical points through the introduction of a generalized Morse index for a critical point, consisting of a triplet of nonnegative integers. The proposed index is based on the sign of an appropriate invariant vector-valued second-order differential.     

Complex Valued Bismut-Lott Index Theorem

In this paper, assuming there is a fiberwise Morse function, we extend Bismut-Lott index theorem to the complex valued case.     

Characterizing equivalent discrete Morse functions

We get a characterization theorem for equivalent discrete Morse functions defined on simplicial complexes in terms of their gradient vector field. As a consequence, we also characterize them in the 1-dimensional case by using critical elements. The authors are partially supported by the P.A.I. project (Junta de Andalucia, SPAIN, 2009/FQM-189 and 327) and by the MEC-FEDER grants MTM2007-61284 and MTM2007-65726 (MEC, SPAIN, 2007).     

Morse decompositions of nonautonomous dynamical systems

The global asymptotic behavior of dynamical systems on compact metric spaces can be described via Morse decompositions. Their components, the so-called Morse sets, are obtained as intersections of attractors and repellers of the system. In this paper, new notions of attractor and repeller for nonautonomous dynamical systems are introduced which are designed to establish nonautonomous generalizations of the Morse decomposition. The dynamical properties of these decompositions are discussed, and nonautonomous Lyapunov functions which are constant on the Morse sets are constructed explicitly. Moreover, Morse decompositions of one-dimensional and linear systems are studied.