arXiv subjects

Benjamin C. Pooley

Publications and source records attributed to Benjamin C. Pooley.

6 recordsLinked to original sources

arXiv2021

Non-conservation of dimension in divergence-free solutions of passive and active scalar systems

For any $h\in(1,2]$, we give an explicit construction of a compactly supported, uniformly continuous, and (weakly) divergence-free velocity field in $\mathbb{R}^2$ that weakly advects a measure whose support is initially the origin but for positive times has Hausdorff dimension $h$. These velocities are uniformly continuous in space-time and compactly supported, locally Lipschitz except at one point and satisfy the conditions for the existence and uniqueness of a Regular Lagrangian Flow in the sense of Di Perna and Lions theory. We then construct active scalar systems in $\mathbb{R}^2$ and $\mathbb{R}^3$ with measure-valued solutions whose initial support has co-dimension 2 but such that at positive times it only has co-dimension 1. The associated velocities are divergence free, compactly supported, continuous, and sufficiently regular to admit unique Regular Lagrangian Flows. This is in part motivated by the investigation of dimension conservation for the support of measure-valued solutions to active scalar systems. This question occurs in the study of vortex filaments in the three-dimensional Euler equations.

math.AP↗

arXiv2019

Asymptotics for vortex filaments using a modified Biot-Savart kernel

We consider a family of approximations to the Euler equations obtained by adding $(-Δ)^{-α/2}$ to the non-locality in the Biot-Savart kernel together with a mollification (with parameter $\varepsilon$). We consider the evolution of a thin vortex tube. We show that the velocity on the filament (core of the tube) in the limit as $\varepsilon\to 0$ is given $\frac{C(α,t)}α κB + \mathcal O(1)$ where $κ$ and $B$ are the curvature and binormal of the curve, and $C$, $C^{-1}$ are uniformly bounded.

math.AP↗

arXiv2018

On a model for the Navier--Stokes equations using magnetization variables

It is known that in a classical setting, the Navier--Stokes equations can be reformulated in terms of so-called magnetization variables $w$ that satisfy \begin{equation}\label{Abs_magform} \partial_tw + (\mathbb{P} w \cdot\nabla)w + (\nabla \mathbb{P} w)^\top w - Δw =0, \end{equation} and relate to the velocity $u$ via a Leray projection $u=\mathbb{P} w$. We will prove the equivalence of these formulations in the setting of weak solutions that are also in $L^\infty(0,T;H^{1/2})\cap L^2(0,T;H^{3/2})$ on the 3-dimensional torus. Our main focus is the proof of global well-posedness in $H^{1/2}$ for a new variant of this system, where $\mathbb{P} w$ is replaced by $w$ in the second nonlinear term: \begin{equation}\label{Abs_Simplified} \partial_tw + (\mathbb{P} w \cdot\nabla)w + \frac{1}{2}\nabla|w|^2- Δw =0. \end{equation} This is based on a maximum principle, analogous to a similar property of the Burgers equations.

math.AP↗

arXiv2017

Leray's fundamental work on the Navier-Stokes equations: a modern review of "Sur le mouvement d'un liquide visqueux emplissant l'espace"

This article offers a modern perspective which exposes the many contributions of Leray in his celebrated work on the Navier--Stokes equations from 1934. Although the importance of his work is widely acknowledged, the precise contents of his paper are perhaps less well known. The purpose of this article is to fill this gap. We follow Leray's results in detail: we prove local existence of strong solutions starting from divergence-free initial data that is either smooth, or belongs to $H^1$, $L^2\cap L^p$ (with $p\in(3,\infty]$), as well as lower bounds on the norms $\| \nabla u (t) \|_2$, $\| u(t) \|_p$ ($p\in(3,\infty]$) as $t$ approaches a putative blow-up time. We show global existence of a weak solution and weak-strong uniqueness. We present Leray's characterisation of the set of singular times for the weak solution, from which we deduce that its upper box-counting dimension is at most $\tfrac{1}{2}$. Throughout the text we provide additional details and clarifications for the modern reader and we expand on all ideas left implicit in the original work, some of which we have not found in the literature. We use some modern mathematical tools to bypass some technical details in Leray's work, and thus expose the elegance of his approach.

math.AP↗

arXiv2016

Well-posedness for the diffusive 3D Burgers equations with initial data in $H^{1/2}$

In this note we discuss the diffusive, vector-valued Burgers equations in a three-dimensional domain with periodic boundary conditions. We prove that given initial data in $H^{1/2}$ these equations admit a unique global solution that becomes classical immediately after the initial time. To prove local existence, we follow as closely as possible an argument giving local existence for the Navier--Stokes equations. The existence of global classical solutions is then a consequence of the maximum principle for the Burgers equations due to Kiselev and Ladyzhenskaya (1957). In several places we encounter difficulties that are not present in the corresponding analysis of the Navier--Stokes equations. These are essentially due to the absence of any of the cancellations afforded by incompressibility, and the lack of conservation of mass. Indeed, standard means of obtaining estimates in $L^2$ fail and we are forced to start with more regular data. Furthermore, we must control the total momentum and carefully check how it impacts on various standard estimates.

math.AP↗

arXiv2016

An Eulerian-Lagrangian Form for the Euler Equations in Sobolev Spaces

In 2000 Constantin showed that the incompressible Euler equations can be written in an "Eulerian-Lagrangian" form which involves the back-to-labels map (the inverse of the trajectory map for each fixed time). In the same paper a local existence result is proved in certain Hölder spaces $C^{1,μ}$. We review the Eulerian-Lagrangian formulation of the equations and prove that given initial data in $H^s$ for $n\geq2$ and $s>\frac{n}{2}+1$, a unique local-in-time solution exists on the $n$-torus that is continuous into $H^s$ and $C^1$ into $H^{s-1}$. These solutions automatically have $C^1$ trajectories. The proof here is direct and does not appeal to results already known about the classical formulation. Moreover, these solutions are regular enough that the classical and Eulerian-Lagrangian formulations are equivalent, therefore what we present amounts to an alternative approach to some of the standard theory.

math.AP↗