Constraint algorithm for k-presymplectic Hamiltonian systems. Application to singular field theories

The k-symplectic formulation of field theories is especially simple, since only tangent and cotangent bundles are needed in its description. Its defining elements show a close relationship with those in the symplectic formulation of mechanics. It will be shown that this relationship also stands in the presymplectic case. In a natural way,one can mimick the presymplectic constraint algorithm to obtain a constraint algorithmthat can be applied to k-presymplectic field theory, and more particularly to the Lagrangian and Hamiltonian formulations offield theories defined by a singular Lagrangian, as well as to the unified Lagrangian-Hamiltonian formalism (Skinner--Rusk formalism) for k-presymplectic field theory. Two examples of application of the algorithm are also analyzed.

A proof that all Seifert 3-manifold groups and all virtual surface groups are conjugacy separable

We prove that the fundamental group of any Seifert 3-manifold is conjugacy separable. That is, conjugates may be distinguished infinite quotients or, equivalently, conjugacy classes are closed in the pro-finite topology.

Periodic orbits near a heteroclinic loop formed by one dimensional orbit and a 2-dimensional manifold: application to the charged collinear 3-body problem

The paper is devoted to the study of a type of differential systems which appear usually in the study of some Hamiltonian systems with 2 degrees of freedom. We prove the existence of infinitely many periodic orbits on each negative energy level. All these periodic orbits pass near the total collision. Finally we apply these results to study the existence of periodic orbits in the charged collinear 3–body problem.

Integral formulae for a Riemannian manifold with a distribution

We obtain a new series of integral formulae for symmetric functions of curvature of a distribution of arbitrary codimension (an its orthogonal complement) given on a compact Riemannian manifold, which start from known formula by P.Walczak (1990) and generalize ones for foliations by several authors: Asimov (1978), Brito, Langevin and Rosenberg (1981), Brito and Naveira (2000), Andrzejewski and Walczak (2010), etc. Our integral formulae involve the co-nullity tensor, certain component of the curvature tensor and their products. The formulae also deal with a number of arbitrary functions depending on the scalar invariants of the co-nullity tensor. For foliated manifolds of constant curvature the obtained formulae give us the classical type formulae. For a special choice of functions our formulae reduce to ones with Newton transformations of the co-nullity tensor.

KAM theory for conformally symplectic systems

We present a KAM theory for some dissipative systems (geometrically, these are conformally symplectic systems, i.e. systems that transform a symplectic form into a multiple of itself). For systems with n degrees of freedom depending on n parameters we show that it is possible to find solutions with n-dimensional (Diophantine) frequencies by adjusting the parameters. We do not assume that the system is close to integrable, but we use an a-posteriori format. Our unknowns are a parameterization of the solution and a parameter. We show that if there is a sufficiently approximate solution of the invariance equation, which also satisfies some explicit non–degeneracy conditions, then there is a true solution nearby. We present results both in Sobolev norms and in analytic norms. The a–posteriori format has several consequences: A) smooth dependence on the parameters, including the singular limit of zero dissipation; B) estimates on the measure of parameters covered by quasi–periodic solutions; C) convergence of perturbative expansions in analytic systems; D) bootstrap of regularity (i.e., that all tori which are smooth enough are analytic if the map is analytic); E) a numerically efficient criterion for the break–down of the quasi–periodic solutions. The proof is based on an iterative quadratically convergent method and on suitable estimates on the (analytical and Sobolev) norms of the approximate solution. The iterative step takes advantage of some geometric identities, which give a very useful coordinate system in the neighborhood of invariant (or approximately invariant) tori. This system of coordinates has several other uses: A) it shows that for dissipative conformally symplectic systems the quasi–periodic solutions are attractors, B) it leads to efficient algorithms, which have been implemented elsewhere. Details of the proof are given mainly for maps, but we also explain the slight modifications needed for flows and we devote the appendix to present explicit algorithms for flows.

Reconstructing images from their most singular fractal manifold

Real-world images are complex objects, difficult to describe but at the same time possessing a high degree of redundancy. A very recent study [1] on the statistical properties of natural images reveals that natural images can be viewed through different partitions which are essentially fractal in nature. One particular fractal component, related to the most singular (sharpest) transitions in the image, seems to be highly informative about the whole scene. In this paper we will show how to decompose the image into their fractal components.We will see that the most singular component is related to (but not coincident with) the edges of the objects present in the scenes. We will propose a new, simple method to reconstruct the image with information contained in that most informative component.We will see that the quality of the reconstruction is strongly dependent on the capability to extract the relevant edges in the determination of the most singular set.We will discuss the results from the perspective of coding, proposing this method as a starting point for future developments.

Space Manifold dynamics

The term Space Manifold Dynamics (SMD) has been proposed for encompassing the various applications of Dynamical Systems methods to spacecraft mission analysis and design, ranging from the exploitation of libration orbits around the collinear Lagrangian points to the design of optimal station-keeping and eclipse avoidance manoeuvres or the determination of low energy lunar and interplanetary transfers

Space Manifold dynamics

The term Space Manifold Dynamics (SMD) has been proposed for encompassing the various applications of Dynamical Systems methods to spacecraft mission analysis and design, ranging from the exploitation of libration orbits around the collinear Lagrangian points to the design of optimal station-keeping and eclipse avoidance manoeuvres or the determination of low energy lunar and interplanetary transfers

Contractions in the 2-wasserstein lenght space and thermalization of granular media

An algebraic decay rate is derived which bounds the time required for velocities to equilibrate in a spatially homogeneous flow-through model representing the continuum limit of a gas of particles interacting through slightly inelastic collisions. This rate is obtained by reformulating the dynamical problem as the gradient flow of a convex energy on an infinite-dimensional manifold. An abstract theory is developed for gradient flows in length spaces, which shows how degenerate convexity (or even non-convexity) | if uniformly controlled | will quantify contractivity (limit expansivity) of the flow.

Reduction, Linearization and stability of relative equilibria for mechanical systems on riemannian manifolds

Consider a Riemannian manifold equipped with an infinitesimal isometry. For this setup, a unified treatment is provided, solely in the language of Riemannian geometry, of techniques in reduction, linearization, and stability of relative equilibria. In particular, for mechanical control systems, an explicit characterization is given for the manner in which reduction by an infinitesimal isometry, and linearization along a controlled trajectory "commute." As part of the development, relationships are derived between the Jacobi equation of geodesic variation and concepts from reduction theory, such as the curvature of the mechanical connection and the effective potential. As an application of our techniques, fiber and base stability of relative equilibria are studied. The paper also serves as a tutorial of Riemannian geometric methods applicable in the intersection of mechanics and control theory.

Refilling meridians in a genus 2 handlebody complement

Suppose a genus two handlebody is removed from a 3-manifold M and then a single meridian of the handlebody is restored. The result is a knot or link complement in M and it is natural to ask whether geometric properties of the link complement say something about the meridian that was restored. Here we consider what the relation must be between two not necessarily disjoint meridians so that restoring each of them gives a trivial knot or a split link.

Bifurcations of homoclinic tangency in two-dimensional area-preserving and reversible maps

Report for the scientific sojourn at the Research Institute for Applied Mathematics and Cybernetics, Nizhny Novgorod, Russia, from July to September 2006. Within the project, bifurcations of orbit behavior in area-preserving and reversible maps with a homoclinic tangency were studied. Finitely smooth normal forms for such maps near saddle fixed points were constructed and it was shown that they coincide in the main order with the analytical Birkhoff-Moser normal form. Bifurcations of single-round periodic orbits for two-dimensional symplectic maps close to a map with a quadratic homoclinic tangency were studied. The existence of one- and two-parameter cascades of elliptic periodic orbits was proved.

Mixing invariants of hyperbolic 3-manifolds

Let M be a compact hyperbolic 3-manifold with incompressible boundary. Consider a complete hyperbolic metric on int(M). To each geometrically finite end of int(M) are traditionnaly associated 3 different invariants : the hyperbolic metric associated to the conformal structure at infinity, the hyperbolic metric on the boundary of the convex core and the bending measured lamination of the convex core. In this note we show how invariants of different types can be realised in the different ends.

Una primera aproximació a la selecció d'un sistema automatitzat de biblioteques

Res no pot garantir que un procés de selecció d'un sistema automatitzat arribi a tenir èxit, però l'observació d'un conjunt de principis de sentit comú pot ajudar a assegurar l'èxit del resultat. El procés ha de centrar-se en el llarg termini i ha de tenir present el context institucional en el qual el sistema s'establirà. Els sistemes estan cada vegada més orientats als usuaris, i per tant el compromís dels usuaris en el procés de selecció és més i més important. Els components del procés de selecció poden ser previstos i combinats de moltes maneres diferents. El procediment usat per les Purdue University Libraries serveix per a il·lustrar una via en la realització pràctica d'un procés.

Euclidean geometric invariant of framed knots in manifolds

We present an invariant of a three dimensional manifold with a framed knot in it based on the Reidemeister torsion of an acyclic complex of Euclidean geometric origin. To show its nontriviality, we calculate the invariant for some framed (un)knots in lens spaces. An important feature of our work is that we are not using any nontrivial representation of the manifold fundamental group or knot group.