University of Warwick

Tonelli gave the first rigorous treatment of one-dimensional variational problems, providing conditions for existence and regularity of minimizers over the space of absolutely continuous functions.  He also proved a partial regularity theorem, asserting that a minimizer is everywhere differentiable, possible with infinite derivative, and that this derivative is continuous as a map into the extended real line.  Some recent work has lowered the smoothness assumptions on the Lagrangian for this result to various Lispschitz and H\"older conditions.  In this talk we will discuss the partial regularity result, construct examples showing that mere continuity of the Lagrangian is an insufficient condition.

It has long been known that many materials are crystalline when in their energy-minimizing states. Two of the most common crystalline structures are the face-centred cubic (fcc) and hexagonal close-packed (hcp) crystal lattices. Here we introduce the problem of crystallization from a mathematical viewpoint and present an outline of a proof that the ground state of a large system of identical particles, interacting under a suitable potential, behaves asymptotically like fcc or hcp, as the number of particles tends to infinity. An interesting feature of this result is that it holds under no initial assumption on the particle positions. The talk is based upon a joint work in progress with Florian Theil.

We report the numerical realization and demonstration of robustness of certain 2-component structures in Bose-Einstein Condensates in 2 and 3 spatial dimensions with non-trivial topological charge in one of the components. In particular, we identify a stable symbiotic state in which a higher-dimensional bright soliton exists even in a homogeneous setting with defocusing interactions, as a result of the effective potential created by a stable vortex in the other component. The resulting vortex-bright solitary waves, which naturally generalize the recently experimentally observed dark-bright solitons, are examined both in the homogeneous medium and in the presence of parabolic and periodic external confinement and are found to be very robust.

We demonstrate that stochastic differential equations (SDEs) driven by fractional Brownian motion with Hurst parameter H > 1/2 have similar ergodic properties as SDEs driven by standard Brownian motion. The focus in this article is on hypoelliptic systems satisfying H\"ormander's condition. We show that such systems satisfy a suitable version of the strong Feller property and we conclude that they admit a unique stationary solution that is physical in the sense that it does not "look into the future".

The main technical result required for the analysis is a bound on the moments of the inverse of the Malliavin covariance matrix, conditional on the past of the driving noise.

We consider the time average of the (renormalized) current fluctuation field in one-dimensional weakly asymmetric simple exclusion.

The asymmetry is chosen to be weak enough such that the density fluctuation field still converges in law with respect to diffusive scaling. Remark that the density fluctuation field would evolve on a slower time scale if the asymmetry is too strong and that then the current fluctuations would have something to do with the Tracy-Widom distribution. However, the asymmetry is also chosen to be strong enough such that the density fluctuation field does not converge in law to an infinite-dimensional Ornstein-Uhlenbeck process, that is something non-trivial is happening.

We will, at first, motivate why studying the time average of the current fluctuation field helps to understand the structure of this non-trivial scaling limit of the density fluctuation field and, second, show how one can replace the current fluctuation field by a certain functional of the density fluctuation field under the time average. The latter result provides further evidence for the common belief that the scaling limit of the density fluctuation field approximates the solution of a Burgers-type equation

Diffusion limits of MCMC methods in high dimensions provide a useful theoretical tool for studying efficiency.

In particular they facilitate precise estimates of the number of steps required to explore the target measure, in stationarity, as a function of the dimension of the state space. However, to date such results have only been proved for target measures with a product structure, severely limiting their applicability to real applications. The purpose of this talk is to desribe a research program aimed at identifying diffusion limits for a class of naturally occuring problems, found by finite dimensional approximation of measures on a Hilbert space which are absolutely continuous with respect to a Gaussian reference measure.

The diffusion limit to a Hilbert space valued SDE (or SPDE) is proved.

Joint work with Natesh Pillai (Warwick) and Jonathan Mattingly (Duke)

Inverse problems are often ill-posed, with solutions that depend sensitively on data. Regularization of some form is often used to counteract this. I will describe an approach to regularization, based on a Bayesian formulation of the problem, which leads to a notion of well-posedness for inverse problems, at the level of probability measures.

The stability which results from this well-posedness may be used as the basis for understanding approximation of inverse problems in finite dimensional spaces. I will describe a theory which carries out this program.

The ideas will be illustrated with the classical inverse problem for the heat equation, and then applied to so more complicated inverse problems arising in data assimilation, such as determining the initial condition for the Navier-Stokes equation from observations.