No Arabic abstract
In the pattern matching approach to imaging science, the process of emph{metamorphosis} in template matching with dynamical templates was introduced in cite{ty05b}. In cite{HoTrYo2009} the metamorphosis equations of cite{ty05b} were recast into the Euler-Poincare variational framework of cite{HoMaRa1998} and shown to contain the equations for a perfect complex fluid cite{Holm2002}. This result related the data structure underlying the process of metamorphosis in image matching to the physical concept of order parameter in the theory of complex fluids cite{GBHR2013}. In particular, it cast the concept of Lagrangian paths in imaging science as deterministically evolving curves in the space of diffeomorphisms acting on image data structure, expressed in Eulerian space. (In contrast, the landmarks in the standard LDDMM approach are Lagrangian.) For the sake of introducing an Eulerian uncertainty quantification approach in imaging science, we extend the method of metamorphosis to apply to image matching along emph{stochastically} evolving time dependent curves on the space of diffeomorphisms. The approach will be guided by recent progress in developing stochastic Lie transport models for uncertainty quantification in fluid dynamics in cite{holm2015variational,CrFlHo2017}.
It is well-known that discrete-time finite-state Markov Chains, which are described by one-sided conditional probabilities which describe a dependence on the past as only dependent on the present, can also be described as one-dimensional Markov Fields, that is, nearest-neighbour Gibbs measures for finite-spin models, which are described by two-sided conditional probabilities. In such Markov Fields the time interpretation of past and future is being replaced by the space interpretation of an interior volume, surrounded by an exterior to the left and to the right. If we relax the Markov requirement to weak dependence, that is, continuous dependence, either on the past (generalising the Markov-Chain description) or on the external configuration (generalising the Markov-Field description), it turns out this equivalence breaks down, and neither class contains the other. In one direction this result has been known for a few years, in the opposite direction a counterexample was found recently. Our counterexample is based on the phenomenon of entropic repulsion in long-range Ising (or Dyson) models.
This paper compares the results of applying a recently developed method of stochastic uncertainty quantification designed for fluid dynamics to the Born-Infeld model of nonlinear electromagnetism. The similarities in the results are striking. Namely, the introduction of Stratonovich cylindrical noise into each of their Hamiltonian formulations introduces stochastic Lie transport into their dynamics in the same form for both theories. Moreover, the resulting stochastic partial differential equations (SPDE) retain their unperturbed form, except for an additional term representing induced Lie transport by the set of divergence-free vector fields associated with the spatial correlations of the cylindrical noise. The explanation for this remarkable similarity lies in the method of construction of the Hamiltonian for the Stratonovich stochastic contribution to the motion in both cases; which is done via pairing spatial correlation eigenvectors for cylindrical noise with the momentum map for the deterministic motion. This momentum map is responsible for the well-known analogy between hydrodynamics and electromagnetism. The momentum map for the Maxwell and Born-Infeld theories of electromagnetism treated here is the 1-form density known as the Poynting vector. Two Appendices treat the Hamiltonian structures underlying these results.
Dynamical systems with $epsilon$ small random perturbations appear in both continuous mechanical motions and discrete stochastic chemical kinetics. The present work provides a detailed analysis of the central limit theorem (CLT), with a time-inhomogeneous Gaussian process, near a deterministic limit cycle in $mathbb{R}^n$. Based on the theory of random perturbations of dynamical systems and the WKB approximation respectively, results are developed in parallel from both standpoints of stochastic trajectories and transition probability density and their relations are elucidated. We show rigorously the correspondence between the local Gaussian fluctuations and the curvature of the large deviation rate function near its infimum, connecting the CLT and the large deviation principle of diffusion processes. We study uniform asymptotic behavior of stochastic limit cycles through the interchange of limits of time $ttoinfty$ and $epsilonto 0$. Three further characterizations of stochastic limit cycle oscillators are obtained: (i) An approximation of the probability flux near the cycle; (ii) Two special features of the vector field for the cyclic motion; (iii) A local entropy balance equation along the cycle with clear physical meanings. Lastly and different from the standard treatment, the origin of the $epsilon$ in the theory is justified by a novel scaling hypothesis via constructing a sequence of stochastic differential equations.
We investigate a dynamical system consisting of $N$ particles moving on a $d$-dimensional torus under the action of an electric field $E$ with a Gaussian thermostat to keep the total energy constant. The particles are also subject to stochastic collisions which randomize direction but do not change the speed. We prove that in the van Hove scaling limit, $Eto 0$ and $tto t/E^2$, the trajectory of the speeds $v_i$ is described by a stochastic differential equation corresponding to diffusion on a constant energy sphere. This verifies previously conjectured behavior. Our results are based on splitting the systems evolution into a slow process and an independent noise. We show that the noise, suitably rescaled, converges a Brownian motion, enhanced in the sense of rough paths. Then we employ the It^o-Lyons continuity theorem to identify the limit of the slow process.
A potential representation for the subset of traveling solutions of nonlinear dispersive evolution equations is introduced. The procedure involves a reduction of a third order partial differential equation to a first order ordinary differential equation. In this representation it can be shown that solitons and solutions with compact support only exist in systems with linear or quadratic dispersion, respectively. In particular, this article deals with so the called K(n,m) equations. It is shown that these equations can be classified according to a simple point transformation. As a result, all equations that allow for soliton solutions join the same equivalence class with the Korteweg-deVries equation being its representative.