-
Scale dependence of distributions of hotspots
Authors:
Michael Wilkinson,
Boris Veytsman
Abstract:
We consider a random field $φ(\mathbf{r})$ in $d$ dimensions which is largely concentrated around small `hotspots', with `weights', $w_i$. These weights may have a very broad distribution, such that their mean does not exist, or else is not a useful estimate. In such cases, the median $\overline W$ of the total weight $W$ in a region of size $R$ is an informative characterisation of the weights. W…
▽ More
We consider a random field $φ(\mathbf{r})$ in $d$ dimensions which is largely concentrated around small `hotspots', with `weights', $w_i$. These weights may have a very broad distribution, such that their mean does not exist, or else is not a useful estimate. In such cases, the median $\overline W$ of the total weight $W$ in a region of size $R$ is an informative characterisation of the weights. We define the function $F$ by $\ln \overline W=F(\ln R)$. If $F'(x)>d$, the distribution of hotspots is dominated by the largest weights. In the case where $F'(x)-d$ approaches a constant positive value when $R\to \infty$, the hotspots distribution has a type of scale-invariance which is different from that of fractal sets, and which we term \emph{ultradimensional}. The form of the function $F(x)$ is determined for a model of diffusion in a random potential.
△ Less
Submitted 8 November, 2023;
originally announced November 2023.
-
Weyl Group Representation of Billiard Trajectories for One-dimensional Hard Sphere Dynamics
Authors:
Mark Wilkinson
Abstract:
We present an exact formula for the dynamics of $N$ hard spheres of radius $r>0$ on an infinite line which evolve under the assumption that total linear momentum and kinetic energy of the system is conserved for all times. This model is commonly known as the one-dimensional Tonks gas or the hard rod gas model. Our exact formula is expressed as a sum over the Weyl group associated to the root syste…
▽ More
We present an exact formula for the dynamics of $N$ hard spheres of radius $r>0$ on an infinite line which evolve under the assumption that total linear momentum and kinetic energy of the system is conserved for all times. This model is commonly known as the one-dimensional Tonks gas or the hard rod gas model. Our exact formula is expressed as a sum over the Weyl group associated to the root system $A_{N-1}$ and is valid for all initial data in a full-measure subset of the tangent bundle of the hard sphere table. As an application of our explicit formula, we produce a simple proof that the associated billiard flow admits the Liouville measure on the tangent bundle of the hard sphere table as an invariant measure.
△ Less
Submitted 1 November, 2023;
originally announced November 2023.
-
Maximal Codimension Collisions and Invariant Measures for Hard Spheres on a Line
Authors:
Mark Wilkinson
Abstract:
For any $N\geq 3$, we study invariant measures of the dynamics of $N$ hard spheres whose centres are constrained to lie on a line. In particular, we study the invariant submanifold $\mathcal{M}$ of the tangent bundle of the hard sphere billiard table comprising initial data that lead to the simultaneous collision of all $N$ hard spheres. Firstly, we obtain a characterisation of those continuously-…
▽ More
For any $N\geq 3$, we study invariant measures of the dynamics of $N$ hard spheres whose centres are constrained to lie on a line. In particular, we study the invariant submanifold $\mathcal{M}$ of the tangent bundle of the hard sphere billiard table comprising initial data that lead to the simultaneous collision of all $N$ hard spheres. Firstly, we obtain a characterisation of those continuously-differentiable $N$-body scattering maps which generate a billiard dynamics on $\mathcal{M}$ admitting a canonical weighted Hausdorff measure on $\mathcal{M}$ (that we term the Liouville measure on $\mathcal{M}$) as an invariant measure. We do this by deriving a second boundary-value problem for a fully nonlinear PDE that all such scattering maps satisfy by necessity. Secondly, by solving a family of functional equations, we find sufficient conditions on measures which are absolutely continuous with respect to the Hausdorff measure in order that they be invariant for billiard flows that conserve momentum and energy. Finally, we show that the unique momentum- and energy-conserving linear $N$-body scattering map yields a billiard dynamics which admits the Liouville measure on $\mathcal{M}$ as an invariant measure.
△ Less
Submitted 11 September, 2023;
originally announced September 2023.
-
A new implementation of the geometric method for solving the Eady slice equations
Authors:
Charlie P. Egan,
David P. Bourne,
Colin J. Cotter,
Mike J. P. Cullen,
Beatrice Pelloni,
Steven M. Roper,
Mark Wilkinson
Abstract:
We present a new implementation of the geometric method of Cullen & Purser (1984) for solving the semi-geostrophic Eady slice equations which model large scale atmospheric flows and frontogenesis. The geometric method is a Lagrangian discretisation, where the PDE is approximated by a particle system. An important property of the discretisation is that it is energy conserving. We restate the geomet…
▽ More
We present a new implementation of the geometric method of Cullen & Purser (1984) for solving the semi-geostrophic Eady slice equations which model large scale atmospheric flows and frontogenesis. The geometric method is a Lagrangian discretisation, where the PDE is approximated by a particle system. An important property of the discretisation is that it is energy conserving. We restate the geometric method in the language of semi-discrete optimal transport theory and exploit this to develop a fast implementation that combines the latest results from numerical optimal transport theory with a novel adaptive time-step** scheme. Our results enable a controlled comparison between the Eady-Boussinesq vertical slice equations and their semi-geostrophic approximation. We provide further evidence that weak solutions of the Eady-Boussinesq vertical slice equations converge to weak solutions of the semi-geostrophic Eady slice equations as the Rossby number tends to zero.
△ Less
Submitted 10 November, 2022; v1 submitted 9 March, 2022;
originally announced March 2022.
-
A Lie Algebra-Theoretic Approach to Characterisation of Collision Invariants of the Boltzmann Equation for General Convex Particles
Authors:
Mark Wilkinson
Abstract:
By studying scattering Lie groups and their associated Lie algebras, we introduce a new method for the characterisation of collision invariants for physical scattering families associated to smooth, convex hard particles in the particular case that the collision invariant is of class $\mathscr{C}^{1}$. This work extends that of Saint-Raymond and Wilkinson (Communications on Pure and Applied Mathem…
▽ More
By studying scattering Lie groups and their associated Lie algebras, we introduce a new method for the characterisation of collision invariants for physical scattering families associated to smooth, convex hard particles in the particular case that the collision invariant is of class $\mathscr{C}^{1}$. This work extends that of Saint-Raymond and Wilkinson (Communications on Pure and Applied Mathematics (2018), 71(8), pp. 1494-1534), in which the authors characterise collision invariants only in the case of the so-called canonical physical scattering family. Indeed, our method extends to the case of non-canonical physical scattering, whose existence was reported in Wilkinson (Archive for Rational Mechanics and Analysis (2020), 235(3), pp. 2055-2083). Moreover, our new method improves upon the work in Saint-Raymond and Wilkinson as we place no symmetry hypotheses on the underlying non-spherical particles which make up the gas under consideration. The techniques established in this paper also yield a new proof of the result of Boltzmann for collision invariants of class $\mathscr{C}^{1}$ in the classical case of hard spheres.
△ Less
Submitted 20 October, 2021;
originally announced October 2021.
-
Linear dynamics of the semi-geostrophic equations in Eulerian coordinates on $\mathbb{R}^{3}$
Authors:
Stefania Lisai,
Mark Wilkinson
Abstract:
We consider a class of steady solutions of the semi-geostrophic equations on $\mathbb{R}^3$ and derive the linearised dynamics around those solutions. The linear PDE which governs perturbations around those steady states is a transport equation featuring a pseudo-differential operator of order 0. We study well-posedness of this equation in $L^2(\mathbb{R}^3;\mathbb{R}^3)$ introducing a representat…
▽ More
We consider a class of steady solutions of the semi-geostrophic equations on $\mathbb{R}^3$ and derive the linearised dynamics around those solutions. The linear PDE which governs perturbations around those steady states is a transport equation featuring a pseudo-differential operator of order 0. We study well-posedness of this equation in $L^2(\mathbb{R}^3;\mathbb{R}^3)$ introducing a representation formula for the solutions, and extend the result to the space of tempered distributions on $\mathbb{R}^{3}$. We investigate stability of the steady solutions by looking at plane wave solutions of the linearised problem, and discuss differences in the case of the quasi-geostrophic equations.
△ Less
Submitted 14 September, 2020;
originally announced September 2020.
-
Semi-discrete optimal transport methods for the semi-geostrophic equations
Authors:
David P. Bourne,
Charlie P. Egan,
Beatrice Pelloni,
Mark Wilkinson
Abstract:
We give a new and constructive proof of the existence of global-in-time weak solutions of the 3-dimensional incompressible semi-geostrophic equations (SG) in geostrophic coordinates, for arbitrary initial measures with compact support. This new proof, based on semi-discrete optimal transport techniques, works by characterising discrete solutions of SG in geostrophic coordinates in terms of traject…
▽ More
We give a new and constructive proof of the existence of global-in-time weak solutions of the 3-dimensional incompressible semi-geostrophic equations (SG) in geostrophic coordinates, for arbitrary initial measures with compact support. This new proof, based on semi-discrete optimal transport techniques, works by characterising discrete solutions of SG in geostrophic coordinates in terms of trajectories satisfying an ordinary differential equation. It is advantageous in its simplicity and its explicit relation to Eulerian coordinates through the use of Laguerre tessellations. Using our method, we obtain improved time-regularity for a large class of discrete initial measures, and we compute explicitly two discrete solutions. The method naturally gives rise to an efficient numerical method, which we illustrate by presenting simulations of a 2-dimensional semi-geostrophic flow in geostrophic coordinates generated using a numerical solver for the semi-discrete optimal transport problem coupled with an ordinary differential equation solver.
△ Less
Submitted 25 October, 2021; v1 submitted 9 September, 2020;
originally announced September 2020.
-
Smooth Solutions of the Surface Semi-Geostrophic Equations
Authors:
Stefania Lisai,
Mark Wilkinson
Abstract:
The semi-geostrophic equations have attracted the attention of the physical and mathematical communities since the work of Hoskins in the 1970s owing to their ability to model the formation of fronts in rotation-dominated flows, and also to their connection with optimal transport theory. In this paper, we study an active scalar equation, whose activity is determined by way of a Neumann-to-Dirichle…
▽ More
The semi-geostrophic equations have attracted the attention of the physical and mathematical communities since the work of Hoskins in the 1970s owing to their ability to model the formation of fronts in rotation-dominated flows, and also to their connection with optimal transport theory. In this paper, we study an active scalar equation, whose activity is determined by way of a Neumann-to-Dirichlet map associated to a fully nonlinear second-order Neumann boundary value problem on the infinite strip $\mathbb{R}^{2}\times(0,1)$, that models a semi-geostrophic flow in regime of constant potential vorticity. This system is an expression of an Eulerian semi-geostrophic flow in a co-ordinate system originally due to Hoskins, to which we shall refer as {\em Hoskins' coordinates}. We obtain results on the local-in-time existence and uniqueness of classical solutions of this active scalar equation in Hölder spaces.
△ Less
Submitted 5 November, 2019; v1 submitted 14 February, 2019;
originally announced February 2019.
-
Cullen's Stability Principle and Weak Solutions of the Free-surface Semi-geostrophic Equations
Authors:
Mike J. P. Cullen,
Tobias Kuna,
Beatrice Pelloni,
Mark Wilkinson
Abstract:
The semi-geostrophic equations are used widely in the modelling of large-scale atmospheric flows. In this note, we prove the global existence of weak solutions of the incompressible semi-geostrophic equations, in geostrophic coordinates, in a three-dimensional domain with a free upper boundary. The proof, based on an energy minimisation argument originally inspired by Cullen's Stability Principle,…
▽ More
The semi-geostrophic equations are used widely in the modelling of large-scale atmospheric flows. In this note, we prove the global existence of weak solutions of the incompressible semi-geostrophic equations, in geostrophic coordinates, in a three-dimensional domain with a free upper boundary. The proof, based on an energy minimisation argument originally inspired by Cullen's Stability Principle, uses optimal transport results as well as the analysis of Hamiltonian ODEs in spaces of probability measures as studied by Ambrosio and Gangbo. We also give a general formulation of Cullen's Stability Principle in a rigorous mathematical framework.
△ Less
Submitted 9 November, 2018;
originally announced November 2018.
-
On Global-in-time Chaotic Weak Solutions of the Liouville Equation for Hard Spheres
Authors:
Mark Wilkinson
Abstract:
We outline a new method of construction of global-in-time weak solutions of the Liouville equation - and also of the associated BBGKY hierarchy - corresponding to the hard sphere singular Hamiltonian. Our method makes use only of geometric reflection arguments on phase space. As a consequence of our method, in the case of $N=2$ hard spheres, we show for any chaotic initial data, the unique global-…
▽ More
We outline a new method of construction of global-in-time weak solutions of the Liouville equation - and also of the associated BBGKY hierarchy - corresponding to the hard sphere singular Hamiltonian. Our method makes use only of geometric reflection arguments on phase space. As a consequence of our method, in the case of $N=2$ hard spheres, we show for any chaotic initial data, the unique global-in-time weak solution $F$ of the Liouville equation is realised as $F=\mathsf{R}(f\otimes f)$ in the sense of tempered distributions on $T\mathbb{R}^{6}\times (-\infty, \infty)$, where $\mathsf{R}$ is a 'reflection-type' operator on Schwartz space, and $f$ is a global-in-time classical solution of the 1-particle free transport Liouville equation on $T\mathbb{R}^{3}$.
△ Less
Submitted 3 July, 2018;
originally announced July 2018.
-
Local-in-time Physical Solutions of the Incompressible Semi-Geostrophic Equations in Eulerian Coordinates
Authors:
Mark Wilkinson
Abstract:
We prove the existence of local-in-time smooth solutions of the incompressible semi-geostrophic equations expressed in Eulerian co-ordinates in 3-dimensional smooth bounded simply-connected domains. Our solutions adhere to Cullen's Stability Principle in that the geopotential is guaranteed to be a convex map for all times of its existence. We achieve our results by appealing to the theory of so-ca…
▽ More
We prove the existence of local-in-time smooth solutions of the incompressible semi-geostrophic equations expressed in Eulerian co-ordinates in 3-dimensional smooth bounded simply-connected domains. Our solutions adhere to Cullen's Stability Principle in that the geopotential is guaranteed to be a convex map for all times of its existence. We achieve our results by appealing to the theory of so-called div-curl systems (or Hodge systems), making use of recent results of Wang, which yield useful estimates on the ageostrophic velocity field. To our knowledge, this work constitutes the first time that any notion of bounded solution of the semi-geostrophic equations in Eulerian co-ordinates has been constructed on a bounded domain. Indeed, our work solves an open problem as highlighted by, among others, A. Figalli in his CIME lectures on the semi-geostrophic equations. Our methods are largely elementary. We discuss the application of the novel ideas in this work to the case of variable Coriolis force in the final section of the article.
△ Less
Submitted 25 July, 2018; v1 submitted 3 July, 2018;
originally announced July 2018.
-
On the Initial Boundary-Value Problem in the Kinetic Theory of Hard Particles II: Non-uniqueness
Authors:
Mark Wilkinson
Abstract:
We prove that to each initial datum in a set of positive measure in phase space, there exist uncountably-many associated weak solutions of Newton's equations of motion which govern the dynamics of two non-spherical sets with real-analytic boundaries subject to the conservation of linear momentum, angular momentum and kinetic energy. We prove this result by first exhibiting non-uniqueness of classi…
▽ More
We prove that to each initial datum in a set of positive measure in phase space, there exist uncountably-many associated weak solutions of Newton's equations of motion which govern the dynamics of two non-spherical sets with real-analytic boundaries subject to the conservation of linear momentum, angular momentum and kinetic energy. We prove this result by first exhibiting non-uniqueness of classical solution to a constrained Monge-Ampère equation posed on Euclidean space, and then applying the deep existence theory of Ballard for hard particle dynamics. In the final section of the article, we discuss the relevance of this observation to the kinetic theory of hard particle systems.
△ Less
Submitted 11 May, 2018;
originally announced May 2018.
-
On the Initial Boundary-Value Problem in the Kinetic Theory of Hard Particles I: Non-existence
Authors:
Mark Wilkinson
Abstract:
In the first of two papers, we study the initial boundary-value problem that underlies the theory of the Boltzmann equation for general non-spherical hard particles. In this work, for two congruent ellipses and for a large class of associated boundary conditions, we identify initial conditions for which there do not exist local-in-time weak solutions of Newton's equations of motion. To our knowled…
▽ More
In the first of two papers, we study the initial boundary-value problem that underlies the theory of the Boltzmann equation for general non-spherical hard particles. In this work, for two congruent ellipses and for a large class of associated boundary conditions, we identify initial conditions for which there do not exist local-in-time weak solutions of Newton's equations of motion. To our knowledge, this is the first time the necessity of rolling in the energy-conserving dynamics of strictly-convex rigid bodies has been demonstrated. This study was, in part, motivated by a recent observation of Palffy-Muhoray, Virga, Wilkinson and Zheng on the interpenetration of strictly-convex rigid bodies.
△ Less
Submitted 11 May, 2018;
originally announced May 2018.
-
On the Convergence of Soft Potential Dynamics to Hard Sphere Dynamics
Authors:
Mark Wilkinson
Abstract:
We address a question raised in the work of Gallagher, Saint-Raymond and Texier (From Newton to Boltzmann: Hard Spheres and Short-range Potentials, Zürich Lectures in Advanced Mathematics, EMS, 2013) that concerns the convergence of soft-potential dynamics to hard sphere dynamics. In the case of two particles, we establish that hard sphere dynamics is the limit of soft sphere dynamics in the weak-…
▽ More
We address a question raised in the work of Gallagher, Saint-Raymond and Texier (From Newton to Boltzmann: Hard Spheres and Short-range Potentials, Zürich Lectures in Advanced Mathematics, EMS, 2013) that concerns the convergence of soft-potential dynamics to hard sphere dynamics. In the case of two particles, we establish that hard sphere dynamics is the limit of soft sphere dynamics in the weak-star topology of BV. We view our result as establishing a topological method by which to construct weak solutions to the ODE of hard sphere motion.
△ Less
Submitted 16 January, 2016;
originally announced January 2016.
-
On Collision Invariants for Linear Scattering
Authors:
Laure Saint-Raymond,
Mark Wilkinson
Abstract:
In this article, we extend the result of Boltzmann on characterisation of collision invariants from the case of hard disks to a class of two-dimensional compact, strictly-convex particles.
In this article, we extend the result of Boltzmann on characterisation of collision invariants from the case of hard disks to a class of two-dimensional compact, strictly-convex particles.
△ Less
Submitted 27 July, 2015;
originally announced July 2015.
-
Non-existence of Physical Classical Solutions to Euler's Equations of Rigid Body Dynamics
Authors:
Mark Wilkinson
Abstract:
We prove that one cannot construct, for arbitrary initial data, global-in-time physical classical solutions to Euler's equations of continuum rigid body mechanics when the constituent rigid bodies are not perfect spheres. By 'physical' solutions, we mean those that conserve the total linear momentum, angular momentum and kinetic energy of any given initial datum. The reason for absence of classica…
▽ More
We prove that one cannot construct, for arbitrary initial data, global-in-time physical classical solutions to Euler's equations of continuum rigid body mechanics when the constituent rigid bodies are not perfect spheres. By 'physical' solutions, we mean those that conserve the total linear momentum, angular momentum and kinetic energy of any given initial datum. The reason for absence of classical solutions is due to the non-existence of velocity scattering maps which resolve a collision between two non-spherical rigid bodies in such a way that (i) they do not interpenetrate, and (ii) total linear momentum, angular momentum and kinetic energy of the bodies are conserved through collision. In particular, this implies that when solving Euler's equations, it is necessary to deal with rigid body trajectories which experience infinitely-many collisions in a finite time interval.
△ Less
Submitted 23 November, 2015; v1 submitted 16 June, 2015;
originally announced June 2015.
-
Strict Physicality of Global Weak Solutions of a Navier-Stokes Q-tensor System with Singular Potential
Authors:
Mark Wilkinson
Abstract:
We study the existence, regularity and so-called `strict physicality' of weak solutions of a coupled Navier-Stokes Q-tensor system which is proposed as a model for the incompressible flow of nematic liquid crystal materials. An important contribution to the dynamics comes from a singular potential introduced by John Ball and Apala Majumdar (Nematic Liquid Crystals: From Maier-Saupe to a Continuum…
▽ More
We study the existence, regularity and so-called `strict physicality' of weak solutions of a coupled Navier-Stokes Q-tensor system which is proposed as a model for the incompressible flow of nematic liquid crystal materials. An important contribution to the dynamics comes from a singular potential introduced by John Ball and Apala Majumdar (Nematic Liquid Crystals: From Maier-Saupe to a Continuum Theory, Mol. Cryst. Liq. Cryst., Vol. 525: pp. 1-11, 2010) which replaces the commonly employed Landau-de Gennes bulk potential. This is built into our model to ensure that a natural physical constraint on the eigenvalues of the Q-tensor order parameter is respected by the dynamics of the system.
△ Less
Submitted 26 November, 2012;
originally announced November 2012.
-
Dynamic Statistical Scaling in the Landau-de Gennes Theory of Nematic Liquid Crystals
Authors:
Eduard Kirr,
Mark Wilkinson,
Arghir Zarnescu
Abstract:
We investigate the asymptotic behaviour of a correlation function associated with a nematic liquid crystal system undergoing an isotropic-nematic phase transition following an instantaneous change of temperature. Within the setting of Landau-de Gennes theory, we confirm a hypothesis in the condensed matter physics literature on the average self-similar behaviour of the correlation function in the…
▽ More
We investigate the asymptotic behaviour of a correlation function associated with a nematic liquid crystal system undergoing an isotropic-nematic phase transition following an instantaneous change of temperature. Within the setting of Landau-de Gennes theory, we confirm a hypothesis in the condensed matter physics literature on the average self-similar behaviour of the correlation function in the asymptotic regime at time infinity. In the final sections, we comment on other possible scaling behaviour of the correlation function.
△ Less
Submitted 4 October, 2013; v1 submitted 19 November, 2012;
originally announced November 2012.