Variational properties of the Gauss–Bonnet curvatures

The Gauss–Bonnet curvature of order 2k is a generalization to higher dimensions of the Gauss–Bonnet integrand in dimension 2k, as the scalar curvature generalizes the two dimensional Gauss–Bonnet integrand. In this paper, we evaluate the first variation of the integrals of these curvatures seen as functionals on the space of all Riemannian metrics on the manifold under consideration. An important property of this derivative is that it depends only on the curvature tensor and not on its covariant derivatives. We show that the critical points of this functional once restricted to metrics with unit volume are generalized Einstein metrics and once restricted to a pointwise conformal class of metrics are metrics with constant Gauss–Bonnet curvature.     

Stochastic differential equations on product loop manifolds

We study infinite systems of stochastic differential equations in spaces of loops with values in compact Riemannian manifolds. We prove existence of solutions with deterministic initial conditions and continuity of the corresponding paths.     

Lie solutions of Riemannian transport equations on compact manifolds

Given a couple of smooth positive measures of same total mass on a compact Riemannian manifold, the associated optimal transport equation admits a symplectic Monge-Ampère structure, hence Lie solutions (in a restricted sense, though, still expressing measure-transport). Properties of such solutions are recorded; a structure result is obtained for regular ones (each consisting of a closed 1-form composed with a diffeomorphism) and a quadratic cost-functional proposed for them.     

Boundedness for sublinear Duffing equations with time-dependent potentials

In this paper, we prove a sufficient and necessary condition for the boundedness of all solutions for the sublinear equation , where 0<α<1, p(t) and e(t) are smooth 1-periodic functions.     

Regularity results for solving systems of polynomials by homotopy method

Summary The homotopy method for solving systems of polynomial equations proposed by Li (also Morgan) is believed to be one of the simplest for computer implementation. It is shown here that the parameters of the homotopy can be chosen from an open and dense set such that all isolated solutions of polynomial systems can be obtained.This research was supported in part by National Science Foundation under Grant DMS 8416503 and DARPA     

The eikonal equation of an indefinite metric

The concept of a semi-Riemannian map is introduced and it is shown that such maps are solutions of the eikonal equation. Also the existence of solutions to the eikonal equation are discussed and their relation to the Laplace-Beltrami equation is investigated.Supported by the project TBAG-CG2, Tübitak, Turkey.     

Bifurcations of traveling wave solutions for Zhiber–Shabat equation

In this paper, we investigate the dynamical behavior of traveling wave solutions in the Zhiber–Shabat equation by using the bifurcation theory and the method of phase portraits analysis. As a result, we obtain the conditions under which smooth and non-smooth traveling wave solutions exist, and give some exact explicit solutions for some special cases.     

Submersions on open symplectic manifolds

Let M be an open manifold with a symplectic form Ω, and N a manifold with dimN<dimM. We prove that submersions with symplectic fibres satisfy the h-principle. Such submersions define Dirac manifold structures on the given manifold. As an application to this result we show that CPn?CPk−1 admits a submersion into R2(2k−n) with symplectic fibres for n/2<k?n.     

NONLINEAR HOMOTOPY AND PRE-POINCARÉ LEMMAS

Abstract

Most homotopies considered in the literature are linear homotopies of the form h ⁱ (λ) = λx ⁱ + (1—λ)y ⁱ , 0 ≤ λ ≤ 1. Although these prove to be adequate in most instances, they lack direct geometric significance because {h ⁱ (λ) | 0 ≤ λ ≤ 1} are not orbits of a vector field. On the other hand, the nonlinear homotopy g ⁱ (s) = e ^s x ⁱ + (1—e ^s )y ⁱ ,—∞ ≤ s ≤ 0, are orbits of a vector field (i.e., dg ⁱ /ds = g ⁱ —y ⁱ , g ⁱ (0) = x ⁱ ), and thus have direct geometric significance. This suggests that useful results can be obtained by replacing linear homotopy by transport along flows of smooth vector fields. The purpose of this paper is to elaborate on this simple idea. We define prehomotopy operators induced by vector fields on a manifold. These allow us to obtain finite transport relations and pre-Poincaré lemmas that generalize the classical results. They are shown to reproduce the classical results as asymptotic limits and to obtain representations of all solutions of complete systems of exterior differential equations on a star shaped region of a manifold.     

A McLean Theorem for the moduli space of Lie solutions to mass transport equations

On compact manifolds which are not simply connected, we prove the existence of “fake” solutions to the optimal transportation problem. These maps preserve volume and arise as the exponential of a closed 1-form, hence appear geometrically like optimal transport maps. The set of such solutions forms a manifold with dimension given by the first Betti number of the manifold. In the process, we prove a Hodge–Helmholtz decomposition for vector fields. The ideas are motivated by the analogies between special Lagrangian submanifolds and solutions to optimal transport problems.     

On a differential equation characterizing Euclidean spheres

A characterization of Euclidean spheres out of complete Riemannian manifolds is made by certain vector fields on complete Riemannian manifolds satisfying a partial differential equation on vector fields.     

Bounded Palais-Smale sequences for functionals with a mountain pass geometry

We prove the existence of bounded Palais-Smale sequences for abstract functionals with a mountain pass geometry under hypotheses weaker than those commonly used in the literature. This is obtained via a generalization of a generic result of Jeanjean, combined with a rescaling argument. Applications to the existence of nontrivial solutions to semilinear elliptic problems are given. Received: 17 November 2005     

Connections on the total Picard sheaf and the KP hierarchy

A family of connections is introduced on a direct limit of Poincaré sheaves of a curve. These connections descend to connections on the corresponding direct limit of Picard sheaves, defined globally on the Jacobian of the curve. All such connections are classified; in particular they are all flat. Krichever's algebro-geometric solutions of the KP equations are recovered upon trivializing the resulting \tdD-modules over the complement of the divisor.Supported in part by NSF grant no. 58-1353149.     

(2+1)-dimensional Broer–Kaup system of shallow water waves and similarity solutions with symbolic computation

The Broer–Kaup system is among the important integrable models for the shallow water waves. For a (2+1)-dimensional Broer–Kaup system and with symbolic computation, we present some similarity solutions, which are expressible in terms of the Jacobian elliptic functions and second Painlevé transcendent. Our results are in agreement with the Painlevé conjecture.Received: February 26, 2003; revised: August 11, 2003     

Strict approximate solutions in set-valued optimization with applications to the approximate Ekeland variational principle

This work deals with strict solutions of set-valued optimization problems under the set optimality criterion. In this context, we introduce a new approximate solution concept and we obtain several properties of these solutions when the error is fixed and also for their limit behavior when the error tends to zero. Then we prove a general existence result, which is applied to obtain approximate Ekeland variational principles.     

LEGENDRE TRANSFORMATIONS AND CARTAN FORMS IN THE CALCULUS OF VARIATIONS OF MULTIPLE INTEGRALS

ABSTRACT

(PART I): A field-theoretic treatment of variational problems in n independent variables {x^j} and N dependent variables {ψ^A)} is presented that differs substantially from the standard field theories, such as those of Carathéodory [4] and Weyl [10], inasmuch as it is not stipulated ab initio that the Lagrangian be everywhere positive. This is accomplished by the systematic use of a canonical formalism. Since the latter must necessarily be prescribed by appropriate Legendre transformations, the construction of such transformations is the central theme of Part I.—The underlying manifold is M = M_n x M_N, where M_n, M_N are manifolds with local coordinates {x^j}, {ψ^A}, respectively. The basic ingredient of the theory consists of a pair of complementary distributions D_n, D_N on M that are defined respectively by the characteristic subspaces in the tangent spaces of M of two sets of smooth 1-forms {π^A:A = 1,…, N}, {π^j = 1,…, n} on M. For a given local coordinate system on M the planes of 4, have unique (adapted) basis elements B_j = (?/?_x ^j) + B^A _j (?/?ψ^A), whose coefficients B^A _j will assume the role of derivatives such as ?ψ^A/?x^j in the final analysis of Part II. The first step toward a Legendre transformation is a stipulation that prescribes B^A _j as a function of the components {π^j _h,π^j _A} of {π^j}—these components being ultimately the canonical Variables—in such a manner that B^A _j is unaffected by the action of any unimodular transformation applied to the exterior system {π^j}. A function H of the canonical variables is said to be an acceptable Hamiltonian if it satisfies a similar invariance requirement, together with a determinantal condition that involves its Hessian with respect to π^j _A. The second part of the Legendre transformation consists of the identification in terms of H and the canonical variables of a function L that depends solely on B^A _j and the coordinates on M. This identification imposes a condition on the Hessian of L with respect to B^A _j. Conversely, any function L that satisfies these requirements is an acceptable Lagrangian, whose Hamiltonian is uniquely determined by the general construction.     

Formation of singularities in the motion of plane curves under hyperbolic mean curvature flow

This paper concerns the hyperbolic mean curvature flow (HMCF) for plane curves. A quasilinear wave equation is derived and studied for the motion of plane curves under the HMCF. Based on this, we investigate the formation of singularities in the motion of these curves. In particular, we prove that the motion under the HMCF of periodic plane curves with small variation on one period and small initial velocity in general blows up and singularities develop in finite time. Some blowup results have been obtained and the estimates on the life-span of the solutions are given.     

Multiplicity of homoclinics for a class of time recurrent second order Hamiltonian systems

We prove the existence of infinitely many homoclinic solutions for a class of second order Hamiltonian systems in of the form , where we assume the existence of a sequence such that and as for any . Moreover, under a suitable non degeneracy condition, we prove that this class of systems admits multibump solutions. Received February 2, 1996 / In revised form July 5, 1996 / Accepted October 10, 1996     

On bifurcation of solutions of the Yamabe problem in product manifolds

We study local rigidity and multiplicity of constant scalar curvature metrics in arbitrary products of compact manifolds. Using (equivariant) bifurcation theory we determine the existence of infinitely many metrics that are accumulation points of pairwise non-homothetic solutions of the Yamabe problem. Using local rigidity and some compactness results for solutions of the Yamabe problem, we also exhibit new examples of conformal classes (with positive Yamabe constant) for which uniqueness holds.     

Compact and inessential perturbations of operators with closed range

The size of the perturbation class {SL(E)S has closed range}+I(E) is studied, whereE is a Banach space andI(E) stands for various classical operator ideals. For instance, it is shown for the ideal consisting of the inessential operators that the resulting perturbation class does not exhaust the class of bounded linear operators under natural structural conditions onE. It is known from a recent result of Gowers and Maurey that some conditions are needed.Partially supported by the Academy of Finland