Many parameter Hoelder perturbation of unbounded operators

If $u\mapsto A(u)$ is a $C^{0,\alpha}$-mapping, for $0< \alpha \le 1$, having as values unbounded self-adjoint operators with compact resolvents and common domain of definition, parametrized by $u$ in an (even infinite dimensional) space, then any continuous (in $u$) arrangement of the eigenvalues of $A(u)$ is indeed $C^{0,\alpha}$ in $u$.Comment: LaTeX, 4 pages; The result is generalized from Lipschitz to Hoelder. Title change

Real-time depth sectioning: Isolating the effect of stress on structure development in pressure-driven flow

Transient structure development at a specific distance from the channel wall in a pressure-driven flow is obtained from a set of real-time measurements that integrate contributions throughout the thickness of a rectangular channel. This “depth sectioning method” retains the advantages of pressure-driven flow while revealing flow-induced structures as a function of stress. The method is illustrated by applying it to isothermal shear-induced crystallization of an isotactic polypropylene using both synchrotron x-ray scattering and optical retardance. Real-time, depth-resolved information about the development of oriented precursors reveals features that cannot be extracted from ex-situ observation of the final morphology and that are obscured in the depth-averaged in-situ measurements. For example, at 137 °C and at the highest shear stress examined (65 kPa), oriented thread-like nuclei formed rapidly, saturated within the first 7 s of flow, developed significant crystalline overgrowth during flow and did not relax after cessation of shear. At lower stresses, threads formed later and increased at a slower rate. The depth sectioning method can be applied to the flow-induced structure development in diverse complex fluids, including block copolymers, colloidal systems, and liquid-crystalline polymers

On Differential Structure for Projective Limits of Manifolds

We investigate the differential calculus defined by Ashtekar and Lewandowski on projective limits of manifolds by means of cylindrical smooth functions and compare it with the C^infty calculus proposed by Froehlicher and Kriegl in more general context. For products of connected manifolds, a Boman theorem is proved, showing the equivalence of the two calculi in this particular case. Several examples of projective limits of manifolds are discussed, arising in String Theory and in loop quantization of Gauge Theories.Comment: 38 pages, Latex 2e, to be published on J. Geom. Phys minor misprints corrected, reference adde

Shape analysis on homogeneous spaces: a generalised SRVT framework

Shape analysis is ubiquitous in problems of pattern and object recognition and has developed considerably in the last decade. The use of shapes is natural in applications where one wants to compare curves independently of their parametrisation. One computationally efficient approach to shape analysis is based on the Square Root Velocity Transform (SRVT). In this paper we propose a generalised SRVT framework for shapes on homogeneous manifolds. The method opens up for a variety of possibilities based on different choices of Lie group action and giving rise to different Riemannian metrics.Comment: 28 pages; 4 figures, 30 subfigures; notes for proceedings of the Abel Symposium 2016: "Computation and Combinatorics in Dynamics, Stochastics and Control". v3: amended the text to improve readability and clarify some points; updated and added some references; added pseudocode for the dynamic programming algorithm used. The main results remain unchange

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