Source author record

Robert L. Jerrard

Robert L. Jerrard appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

17works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2019arXiv

Geodesic distance for right-invariant metrics on diffeomorphism groups: critical Sobolev exponents

We study the geodesic distance induced by right-invariant metrics on the group $\operatorname{Diff}_c(M)$ of compactly supported diffeomorphisms of a manifold $M$, and show that it vanishes for the critical Sobolev norms $W^{s,n/s}$, where $n$ is the dimension of $M$ and $s\in(0,1)$. This completes the proof that the geodesic distance induced by $W^{s,p}$ vanishes if $sp\le n$ and $s<1$, and is positive otherwise. The proof is achieved by combining the techniques of two recent papers --- [JM19] by the authors, which treated the sub-critical case, and [BHP18] of Bauer, Harms and Preston, which treated the critical 1-dimensional case.

preprint2018arXiv

Vanishing geodesic distance for right-invariant Sobolev metrics on diffeomorphism groups

We study the geodesic distance induced by right-invariant metrics on the group $\operatorname{Diff}_\text{c}(M)$ of compactly supported diffeomorphisms, for various Sobolev norms $W^{s,p}$. Our main result is that the geodesic distance vanishes identically on every connected component whenever $s<\min\{n/p,1\}$, where $n$ is the dimension of $M$. We also show that previous results imply that whenever $s > n/p$ or $s \ge 1$, the geodesic distance is always positive. In particular, when $n\ge 2$, the geodesic distance vanishes if and only if $s<1$ in the Riemannian case $p=2$, contrary to a conjecture made in Bauer et al. [BBHM13].

preprint2016arXiv

Leapfrogging vortex rings for the three dimensional Gross-Pitaevskii equation

Leapfrogging motion of vortex rings sharing the same axis of symmetry was first predicted by Helmholtz in his famous work on the Euler equation for incompressible fluids. Its justification in that framework remains an open question to date. In this paper, we rigorously derive the corresponding leapfrogging motion for the axially symmetric three-dimensional Gross-Pitaevskii equation.

preprint2016arXiv

On the vortex filament conjecture for Euler flows

In this paper, we study the evolution of a vortex filament in an incompressible ideal fluid. Under the assumption that the vorticity is concentrated along a smooth curve in $\mathbb{R}^3$, we prove that the curve evolves to leading order by binormal curvature flow. Our approach combines new estimates on the distance of the corresponding Hamiltonian-Possion structures with stability estimates recently developed in Ref. 15.

preprint2015arXiv

Weighted TV minimization and applications to vortex density models

Motivated in part by models arising from mathematical descriptions of Bose-Einstein condensation, we consider total variation minimization problems in which the total variation is weighted by a function that may degenerate near the domain boundary, and the fidelity term contains a weight that may be both degenerate and singular. We develop a general theory for a class of such problems, with special attention to the examples arising from physical models.

preprint2014arXiv

Sobolev spaces of isometric immersions of arbitrary dimension and codimension

We prove the $C^{1}$ regularity and developability of $W^{2,p}$ isometric immersions of $n$-dimensional flat domains into ${\mathbb R}^{n+k}$ where $p\ge \min\{2k, n\}$. Another parallel consequence of our methods is a similar regularity and rigidity result for the $W^{2,n}$ solutions of the degenerate Monge-Ampère equations in $n$ dimensions. The analysis also applies to the situations when the degeneracy is extended to $(k+1)\times (k+1)$ minors of the Hessian matrix and the solution is $W^{2,p}$, with $p\ge \min\{2k, n\}$.

preprint2013arXiv

Accelerating fronts in semilinear wave equations

We study dynamics of interfaces in solutions of the equation $ε\Box u + \frac 1 εf_ε(u)=0$, for $f_ε$ of the form $f_ε(u) = (u^2-1)(2u- εκ)$, for $κ\in {\mathbb R}$, as well as more general, but qualitatively similar, nonlinearities. We consider equations of this form both in $(1+n)$-dimensional Minkowski space, $n\ge 1$, and on certain more general Lorentzian manifolds, and we prove that for suitable initial data, solutions exhibit interfaces that sweep out timelike hypersurfaces of mean curvature proportional to $κ$. In particular, in 1 dimension these interfaces behave like a relativistic point particle subject to constant acceleration.

preprint2013arXiv

Existence and uniqueness of minimizers of general least gradient problems

Motivated by problems arising in conductivity imaging, we prove existence, uniqueness, and comparison theorems - under certain sharp conditions - for minimizers of the general least gradient problem \[\inf_{u\in BV_f(Ω)} \int_Ωφ(x,Du),\] where $f:\partial Ω\to \R$ is continuous, \[ BV_f(Ω):=\{v\in BV(Ω): \ \ \forall x\in \partial Ω, \ \ \lim_{r\to 0} \ \esssup_{y\in Ω, |x-y|<r} |f(x) - v(y)| = 0 \ \} %BV_f(Ω)=\{u\in BV(Ω): {0.1cm} u|_{\partial Ω}=f {0.1cm} \hbox{and} {0.1cm} {0.1cm} u {0.1cm} \hbox{is continuous at} {0.1cm} \partial Ω\}. \] and $φ(x,ξ)$ is a function that, among other properties, is convex and homogeneous of degree 1 with respect to the $ξ$ variable. In particular we prove that if $a\in C^{1,1}(Ω)$ is bounded away from zero, then minimizers of the weighted least gradient problem $\inf_{u \in BV_f}\int_Ω a|Du|$ are unique in $BV_f(Ω)$. We construct counterexamples to show that the regularity assumption $a\in C^{1,1}$ is sharp, in the sense that it can not be replaced by $a\in C^{1,α}(Ω)$ with any $α<1$.

preprint2013arXiv

Hydrodynamic limit of the Gross-Pitaevskii equation

We study dynamics of vortices in solutions of the Gross-Pitaevskii equation $i \partial_t u = Δu + \varepsilon^{-2} u (1 - |u|^2)$ on $\mathbb{R}^2$ with nonzero degree at infinity. We prove that vortices move according to the classical Kirchhoff-Onsager ODE for a small but finite coupling parameter $\varepsilon$. By carefully tracking errors we allow for asymptotically large numbers of vortices, and this lets us connect the Gross-Pitaevskii equation on the plane to two dimensional incompressible Euler equations through the work of Schochet [21].

preprint2012arXiv

On the regularity of timelike extremal surfaces

We study a class of timelike weakly extremal surfaces in flat Minkowski space $\mathbb R^{1+n}$, characterized by the fact that they admit a $C^1$ parametrization (in general not an immersion) of a specific form. We prove that if the distinguished parametrization is of class $C^k$, then the surface is regularly immersed away from a closed singular set of euclidean Hausdorff dimension at most $1+1/k$, and that this bound is sharp. We also show that, generically with respect to a natural topology, the singular set of a timelike weakly extremal cylinder in $\mathbb R^{1+n}$ is 1-dimensional if $n=2$, and it is empty if $n \ge 4$. For $n=3$, timelike weakly extremal surfaces exhibit an intermediate behavior.

preprint2011arXiv

Convergence of Ginzburg-Landau functionals in 3-d superconductivity

In this paper we consider the asymptotic behavior of the Ginzburg- Landau model for superconductivity in 3-d, in various energy regimes. We rigorously derive, through an analysis via Γ-convergence, a reduced model for the vortex density, and we deduce a curvature equation for the vortex lines. In a companion paper, we describe further applications to superconductivity and superfluidity, such as general expressions for the first critical magnetic field H_{c1}, and the critical angular velocity of rotating Bose-Einstein condensates.

preprint2011arXiv

On Schrödinger maps from $T^1$ to $S^2$

We prove an estimate for the difference of two solutions of the Schrödinger map equation for maps from $T^1$ to $S^2.$ This estimate yields some continuity properties of the flow map for the topology of $L^2(T^1,S^2)$, provided one takes its quotient by the continuous group action of $T^1$ given by translations. We also prove that without taking this quotient, for any $t>0$ the flow map at time $t$ is discontinuous as a map from $\mathcal{C}^\infty(T^1,S^2)$, equipped with the weak topology of $H^{1/2},$ to the space of distributions $(\mathcal{C}^\infty(T^1,\R^3))^*.$

preprint2011arXiv

Vortex density models for superconductivity and superfluidity

We study some functionals that describe the density of vortex lines in superconductors subject to an applied magnetic field, and in Bose-Einstein condensates subject to rotational forcing, in quite general domains in 3 dimensions. These functionals are derived from more basic models via Gamma-convergence, here and in a companion paper. In our main results, we use these functionals to obtain descriptions of the critical applied magnetic field (for superconductors) and forcing (for Bose-Einstein), above which ground states exhibit nontrivial vorticity, as well as a characterization of the vortex density in terms of a non local vector-valued generalization of the classical obstacle problem.

preprint2010arXiv

Non existence of vortices in the small density region of a condensate

In this paper, we answer a question raised by Len Pitaevskii and prove that the ground state of the Gross-Pitaevskii energy describing a Bose Einstein condensate at low rotation does not have vortices in the low density region. Therefore, the first ground state with vortices has its vortices in the bulk. This is obtained by proving that for small rotational velocities, the ground state is multiple of the ground state with zero rotation. We rely on sharp bounds of the decay of the wave function combined with weighted jacobian estimates.