Symplectic capacity and short periodic billiard trajectory

We prove that a bounded domain $\Omega$ in $\R^n$ with smooth boundary has a periodic billiard trajectory with at most $n+1$ bounce times and of length less than $C_n r(\Omega)$, where $C_n$ is a positive constant which depends only on $n$, and $r(\Omega)$ is the supremum of radius of balls in $\Omega$. This result improves the result by C.Viterbo, which asserts that $\Omega$ has a periodic billiard trajectory of length less than C'_n \vol(\Omega)^{1/n}. To prove this result, we study symplectic capacity of Liouville domains, which is defined via symplectic homology.Comment: 32 pages, final version with minor modifications. Published online in Mathematische Zeitschrif

Infinitesimals without Logic

We introduce the ring of Fermat reals, an extension of the real field containing nilpotent infinitesimals. The construction takes inspiration from Smooth Infinitesimal Analysis (SIA), but provides a powerful theory of actual infinitesimals without any need of a background in mathematical logic. In particular, on the contrary with respect to SIA, which admits models only in intuitionistic logic, the theory of Fermat reals is consistent with classical logic. We face the problem to decide if the product of powers of nilpotent infinitesimals is zero or not, the identity principle for polynomials, the definition and properties of the total order relation. The construction is highly constructive, and every Fermat real admits a clear and order preserving geometrical representation. Using nilpotent infinitesimals, every smooth functions becomes a polynomial because in Taylor's formulas the rest is now zero. Finally, we present several applications to informal classical calculations used in Physics: now all these calculations become rigorous and, at the same time, formally equal to the informal ones. In particular, an interesting rigorous deduction of the wave equation is given, that clarifies how to formalize the approximations tied with Hook's law using this language of nilpotent infinitesimals.Comment: The first part of the preprint is taken directly form arXiv:0907.1872 The second part is new and contains a list of example

Displacement energy of unit disk cotangent bundles

We give an upper bound of a Hamiltonian displacement energy of a unit disk cotangent bundle $D^*M$ in a cotangent bundle $T^*M$, when the base manifold $M$ is an open Riemannian manifold. Our main result is that the displacement energy is not greater than $C r(M)$, where $r(M)$ is the inner radius of $M$, and $C$ is a dimensional constant. As an immediate application, we study symplectic embedding problems of unit disk cotangent bundles. Moreover, combined with results in symplectic geometry, our main result shows the existence of short periodic billiard trajectories and short geodesic loops.Comment: Title slightly changed. Close to the version published online in Math Zei

Detoxification of Multiple Heavy Metals by a Half-Molecule ABC Transporter, HMT-1, and Coelomocytes of Caenorhabditis elegans

Developing methods for protecting organisms in metal-polluted environments is contingent upon our understanding of cellular detoxification mechanisms. In this regard, half-molecule ATP-binding cassette (ABC) transporters of the HMT-1 subfamily are required for cadmium (Cd) detoxification. HMTs have conserved structural architecture that distinguishes them from other ABC transporters and allows the identification of homologs in genomes of different species including humans. We recently discovered that HMT-1 from the simple, unicellular organism, Schizosaccharomyces pombe, SpHMT1, acts independently of phytochelatin synthase (PCS) and detoxifies Cd, but not other heavy metals. Whether HMTs from multicellular organisms confer tolerance only to Cd or also to other heavy metals is not known.Using molecular genetics approaches and functional in vivo assays we showed that HMT-1 from a multicellular organism, Caenorhabditis elegans, functions distinctly from its S. pombe counterpart in that in addition to Cd it confers tolerance to arsenic (As) and copper (Cu) while acting independently of pcs-1. Further investigation of hmt-1 and pcs-1 revealed that these genes are expressed in different cell types, supporting the notion that hmt-1 and pcs-1 operate in distinct detoxification pathways. Interestingly, pcs-1 and hmt-1 are co-expressed in highly endocytic C. elegans cells with unknown function, the coelomocytes. By analyzing heavy metal and oxidative stress sensitivities of the coelomocyte-deficient C. elegans strain we discovered that coelomocytes are essential mainly for detoxification of heavy metals, but not of oxidative stress, a by-product of heavy metal toxicity.We established that HMT-1 from the multicellular organism confers tolerance to multiple heavy metals and is expressed in liver-like cells, the coelomocytes, as well as head neurons and intestinal cells, which are cell types that are affected by heavy metal poisoning in humans. We also showed that coelomocytes are involved in detoxification of heavy metals. Therefore, the HMT-1-dependent detoxification pathway and coelomocytes of C. elegans emerge as novel models for studies of heavy metal-promoted diseases

Complexity for extended dynamical systems

We consider dynamical systems for which the spatial extension plays an important role. For these systems, the notions of attractor, epsilon-entropy and topological entropy per unit time and volume have been introduced previously. In this paper we use the notion of Kolmogorov complexity to introduce, for extended dynamical systems, a notion of complexity per unit time and volume which plays the same role as the metric entropy for classical dynamical systems. We introduce this notion as an almost sure limit on orbits of the system. Moreover we prove a kind of variational principle for this complexity.Comment: 29 page

Infinitesimal and local convexity of a hypersurface in a semi-Riemannian manifold

Given a Riemannian manifold M and a hypersurface H in M, it is well known that infinitesimal convexity on a neighborhood of a point in H implies local convexity. We show in this note that the same result holds in a semi-Riemannian manifold. We make some remarks for the case when only timelike, null or spacelike geodesics are involved. The notion of geometric convexity is also reviewed and some applications to geodesic connectedness of an open subset of a Lorentzian manifold are given.Comment: 14 pages, AMSLaTex, 2 figures. v2: typos fixed, added one reference and several comments, statement of last proposition correcte

Concentration analysis and cocompactness

Loss of compactness that occurs in may significant PDE settings can be expressed in a well-structured form of profile decomposition for sequences. Profile decompositions are formulated in relation to a triplet $(X,Y,D)$, where $X$ and $Y$ are Banach spaces, $X\hookrightarrow Y$, and $D$ is, typically, a set of surjective isometries on both $X$ and $Y$. A profile decomposition is a representation of a bounded sequence in $X$ as a sum of elementary concentrations of the form $g_kw$, $g_k\in D$, $w\in X$, and a remainder that vanishes in $Y$. A necessary requirement for $Y$ is, therefore, that any sequence in $X$ that develops no $D$-concentrations has a subsequence convergent in the norm of $Y$. An imbedding $X\hookrightarrow Y$ with this property is called $D$-cocompact, a property weaker than, but related to, compactness. We survey known cocompact imbeddings and their role in profile decompositions

On the stability of standing waves of Klein-Gordon equations in a semiclassical regime

We investigate the orbital stability and instability of standing waves for two classes of Klein-Gordon equations in the semi-classical regime.Comment: 9 page

Ten Misconceptions from the History of Analysis and Their Debunking

The widespread idea that infinitesimals were "eliminated" by the "great triumvirate" of Cantor, Dedekind, and Weierstrass is refuted by an uninterrupted chain of work on infinitesimal-enriched number systems. The elimination claim is an oversimplification created by triumvirate followers, who tend to view the history of analysis as a pre-ordained march toward the radiant future of Weierstrassian epsilontics. In the present text, we document distortions of the history of analysis stemming from the triumvirate ideology of ontological minimalism, which identified the continuum with a single number system. Such anachronistic distortions characterize the received interpretation of Stevin, Leibniz, d'Alembert, Cauchy, and others.Comment: 46 pages, 4 figures; Foundations of Science (2012). arXiv admin note: text overlap with arXiv:1108.2885 and arXiv:1110.545

Some uniqueness results for stationary solutions to the Maxwell-Born-Infeld field equations and their physical consequences

Uniqueness results are established for time-independent finite-energy electromagnetic fields which solve the nonlinear Maxwell--Born--Infeld equations in boundary-free space under the condition that either the charge or current density vanishes. In addition, it is also shown that the simpler Maxwell--Born equations admit at most a unique stationary finite-energy electromagnetic field solution, without the above condition. In these theories of electromagnetism, the following physical consequences emerge: source-free field solitons moving at speeds less than the vacuum speed of light $c$ do not exits; any purely electrostatic (resp. magnetostatic) field is the unique stationary electromagnetic field for the same current-density-free (resp. charge-density-free) sources. Our results put to rest some interesting speculations in the recent physics literature.Comment: revised version, streamlined to 13 pages; theorems strengthened; 4 references added; submitted for publicatio