Showing 1–50 of 66 results for author: Robinson, J

$L^p$ continuity of eigenprojections for 2-d Dirichlet Laplacians under perturbations of the domain

Authors: Ryan L. Acosta Babb, James C. Robinson

Abstract: We generalise results by Lamberti and Lanza de Cristoforis (2005) concerning the continuity of projections onto eigenspaces of self-adjoint differential operators with compact inverses as the (spatial) domain of the functions is perturbed in $\mathbb{R}^2$. Our main case of interest is the Dirichlet Laplacian. We extend these results from bounds from $H_0^1$ to $H_0^1$ to bounds from $L^p$ to… ▽ More We generalise results by Lamberti and Lanza de Cristoforis (2005) concerning the continuity of projections onto eigenspaces of self-adjoint differential operators with compact inverses as the (spatial) domain of the functions is perturbed in $\mathbb{R}^2$. Our main case of interest is the Dirichlet Laplacian. We extend these results from bounds from $H_0^1$ to $H_0^1$ to bounds from $L^p$ to $L^p$, under the assumption that $(-Δ^{-1}-z)^{-1}$ is $L^p$ bounded when $z$ lies outside of the spectrum of $-Δ^{-1}$. We show that this assumption is met if the initial domain is a square or a rectangle. △ Less

Submitted 1 March, 2024; v1 submitted 18 January, 2024; originally announced January 2024.

Comments: 27 pages, 2 figures

MSC Class: 47A70 (Primary); 35P10; 42B08 (Secondary)

Floquet Isospectrality of the Zero Potential for Discrete Periodic Schrödinger Operators

Authors: Matthew Faust, Wencai Liu, Rodrigo Matos, Jenna Plute, Jonah Robinson, Yichen Tao, Ethan Tran, Cindy Zhuang

Abstract: Let $Γ=q_1\mathbb{Z}\oplus q_2 \mathbb{Z}\oplus\cdots\oplus q_d\mathbb{Z}$, with $q_j\in (\mathbb{Z}^+)^d$ for each $j\in \{1,\ldots,d\}$, and denote by $Δ$ the discrete Laplacian on $\ell^2\left( \mathbb{Z}^d\right)$. Using Macaulay2, we first numerically find complex-valued $Γ$-periodic potentials $V:\mathbb{Z}^d\to \mathbb{C}$ such that the operators $Δ+V$ and $Δ$ are Floquet isospectral. We th… ▽ More Let $Γ=q_1\mathbb{Z}\oplus q_2 \mathbb{Z}\oplus\cdots\oplus q_d\mathbb{Z}$, with $q_j\in (\mathbb{Z}^+)^d$ for each $j\in \{1,\ldots,d\}$, and denote by $Δ$ the discrete Laplacian on $\ell^2\left( \mathbb{Z}^d\right)$. Using Macaulay2, we first numerically find complex-valued $Γ$-periodic potentials $V:\mathbb{Z}^d\to \mathbb{C}$ such that the operators $Δ+V$ and $Δ$ are Floquet isospectral. We then use combinatorial methods to validate these numerical solutions. △ Less

Submitted 18 January, 2024; originally announced January 2024.

Comments: 11 pages

MSC Class: Primary 58J53. Secondary: 47B36; 35P05; 35J10

Optimized Neumann-Neumann method for the Stokes-Darcy problem

Authors: Marco Discacciati, Jake Robinson

Abstract: A novel preconditioner of Neumann-Neumann type for the Stokes-Darcy problem is studied, where optimal weights of the local subproblems that define the preconditioner are obtained by minimizing the convergence rate of the method in the frequency space. Numerical tests show that the preconditioner is robust with respect to both the mesh size and the values of the physical parameters of the problem. A novel preconditioner of Neumann-Neumann type for the Stokes-Darcy problem is studied, where optimal weights of the local subproblems that define the preconditioner are obtained by minimizing the convergence rate of the method in the frequency space. Numerical tests show that the preconditioner is robust with respect to both the mesh size and the values of the physical parameters of the problem. △ Less

Submitted 25 April, 2023; originally announced April 2023.

Algorithms for Reconstructing DDoS Attack Graphs using Probabilistic Packet Marking

Authors: Dina Barak-Pelleg, Daniel Berend, Thomas J. Robinson, Itamar Zimmerman

Abstract: DoS and DDoS attacks are widely used and pose a constant threat. Here we explore Probability Packet Marking (PPM), one of the important methods for reconstructing the attack-graph and detect the attackers. We present two algorithms. Differently from others, their stopping time is not fixed a priori. It rather depends on the actual distance of the attacker from the victim. Our first algorithm retur… ▽ More DoS and DDoS attacks are widely used and pose a constant threat. Here we explore Probability Packet Marking (PPM), one of the important methods for reconstructing the attack-graph and detect the attackers. We present two algorithms. Differently from others, their stopping time is not fixed a priori. It rather depends on the actual distance of the attacker from the victim. Our first algorithm returns the graph at the earliest feasible time, and turns out to guarantee high success probability. The second algorithm enables attaining any predetermined success probability at the expense of a longer runtime. We study the performance of the two algorithms theoretically, and compare them to other algorithms by simulation. Finally, we consider the order in which the marks corresponding to the various edges of the attack graph are obtained by the victim. We show that, although edges closer to the victim tend to be discovered earlier in the process than farther edges, the differences are much smaller than previously thought. △ Less

Submitted 11 April, 2023; originally announced April 2023.

Comments: 30 pages, 4 figures, 4 tables

MSC Class: 60C05 ACM Class: G.3; I.6.6

On 2D Harmonic Extensions of Vector Fields and Stellarator Coils

Authors: Adam J. Golab, James C. Robinson, José L. Rodrigo

Abstract: We consider a problem relating to magnetic confinement devices known as stellarators. Plasma is confined by magnetic fields generated by current-carrying coils, and here we investigate how closely to the plasma they need to be positioned. Current-carrying coils are represented as singularities within the magnetic field and therefore this problem can be modelled mathematically as finding how far we… ▽ More We consider a problem relating to magnetic confinement devices known as stellarators. Plasma is confined by magnetic fields generated by current-carrying coils, and here we investigate how closely to the plasma they need to be positioned. Current-carrying coils are represented as singularities within the magnetic field and therefore this problem can be modelled mathematically as finding how far we can harmonically extend a vector field from the boundary of a domain. For this paper we consider two-dimensional domains with real analytic boundary, and prove that a harmonic extension exists if and only if the boundary data satisfies a combined compatibility and regularity condition. Our method of proof uses a generalisation of a result of Hadamard on the Cauchy problem for the Laplacian. We then provide a lower bound on how far we can harmonically extend the vector field from the boundary via the Cauchy--Kovalevskaya Theorem. △ Less

Submitted 17 August, 2021; originally announced August 2021.

Comments: 30 pages, 4 figures

Explicit characterisation of the fractional power spaces of the Dirichlet Laplacian and Stokes operators

Authors: Karol W. Hajduk, James C. Robinson

Abstract: We identify explicitly the fractional power spaces for the $L^2$ Dirichlet Laplacian and Dirichlet Stokes operators using the theory of real interpolation. The results are not new, but we hope that our arguments are relatively accessible. We identify explicitly the fractional power spaces for the $L^2$ Dirichlet Laplacian and Dirichlet Stokes operators using the theory of real interpolation. The results are not new, but we hope that our arguments are relatively accessible. △ Less

Submitted 6 August, 2021; originally announced August 2021.

Comments: 10 pages. Most of this previously appeared as part of arXiv:1904.03337v1, which was subsequently split for publication

MSC Class: 47A05; 47F10 (Primary); 35Q30; 46B70; 47A57; 76D05 (Secondary)

Using periodic boundary conditions to approximate the Navier-Stokes equations on $\mathbb{R}^3$ and the transfer of regularity

Authors: James C. Robinson

Abstract: This paper considers solutions $u_α$ of the three-dimensional Navier--Stokes equations on the periodic domains $Q_α:=(-α,α)^3$ as the domain size $α\to\infty$, and compares them to solutions of the same equations on the whole space. For compactly-supported initial data $u_α^0\in H^1(Q_α)$, an appropriate extension of $u_α$ converges to a solution $u$ of the equations on ${\mathbb R}^3$, strongly i… ▽ More This paper considers solutions $u_α$ of the three-dimensional Navier--Stokes equations on the periodic domains $Q_α:=(-α,α)^3$ as the domain size $α\to\infty$, and compares them to solutions of the same equations on the whole space. For compactly-supported initial data $u_α^0\in H^1(Q_α)$, an appropriate extension of $u_α$ converges to a solution $u$ of the equations on ${\mathbb R}^3$, strongly in $L^r(0,T;H^1({\mathbb R}^3))$, $r\in[1,\infty)$. The same also holds when $u_α^0$ is the velocity corresponding to a fixed, compactly-supported vorticity. A consequence is that if an initial compactly-supported velocity $u_0\in H^1({\mathbb R}^3)$ or an initial compactly-supported vorticity $ω_0\in H^1({\mathbb R}^3)$ gives rise to a smooth solution on $[0,T^*]$ for the equations posed on ${\mathbb R}^3$, a smooth solution will also exist on $[0,T^*]$ for the same initial data for the periodic problem posed on ${Q_α}$ for $α$ sufficiently large; this illustrates a `transfer of regularity' from the whole space to the periodic case. △ Less

Submitted 13 December, 2020; v1 submitted 11 August, 2020; originally announced August 2020.

On the Assouad dimension of differences of self-similar fractals

Authors: Alexandros Margaris, Eric J. Olson, James C. Robinson

Abstract: If $X$ is a set with finite Assouad dimension, it is known that the Assouad dimension of $X-X$ does not necessarily obey any non-trivial bound in terms of the Assouad dimension of $X$. In this paper, we consider self-similar sets on the real line and we show that if a particular weak separation condition is satisfied, then the Assouad dimension of the set of differences is bounded above by twice t… ▽ More If $X$ is a set with finite Assouad dimension, it is known that the Assouad dimension of $X-X$ does not necessarily obey any non-trivial bound in terms of the Assouad dimension of $X$. In this paper, we consider self-similar sets on the real line and we show that if a particular weak separation condition is satisfied, then the Assouad dimension of the set of differences is bounded above by twice the Assouad dimension of the set itself. We then apply this result to a particular class of asymmetric Cantor sets. △ Less

Submitted 8 January, 2020; v1 submitted 4 October, 2019; originally announced October 2019.

Comments: 30 pages

Some comments on Laakso graphs and sets of differences

Authors: Alexandros Margaris, James C. Robinson

Abstract: We recall a variation of a construction due to Laakso \cite{LA}, also used by Lang and Plaut \cite{LA} of a doubling metric space $X$ that cannot be embedded into any Hilbert space. We give a more concrete version of this construction and motivated by the results of Olson \& Robinson \cite{OR}, we consider the Kuratowski embedding $Φ(X)$ of $X$ into $L^{\infty}(X)$ and prove that $Φ(X)-Φ(X)$ is no… ▽ More We recall a variation of a construction due to Laakso \cite{LA}, also used by Lang and Plaut \cite{LA} of a doubling metric space $X$ that cannot be embedded into any Hilbert space. We give a more concrete version of this construction and motivated by the results of Olson \& Robinson \cite{OR}, we consider the Kuratowski embedding $Φ(X)$ of $X$ into $L^{\infty}(X)$ and prove that $Φ(X)-Φ(X)$ is not doubling. △ Less

Submitted 7 August, 2019; originally announced August 2019.

Simultaneous approximation in Lebesgue and Sobolev norms via eigenspaces

Authors: Charles L. Fefferman, Karol W. Hajduk, James C. Robinson

Abstract: We approximate functions defined on smooth bounded domains by elements of the eigenspaces of the Laplacian or the Stokes operator in such a way that the approximations are bounded and converge in both Sobolev and Lebesgue spaces. We prove an abstract result referred to fractional power spaces of positive, self-adjoint, compact-inverse operators on Hilbert spaces, and then obtain our main result by… ▽ More We approximate functions defined on smooth bounded domains by elements of the eigenspaces of the Laplacian or the Stokes operator in such a way that the approximations are bounded and converge in both Sobolev and Lebesgue spaces. We prove an abstract result referred to fractional power spaces of positive, self-adjoint, compact-inverse operators on Hilbert spaces, and then obtain our main result by using the explicit form of these fractional power spaces for the Dirichlet Laplacian and Stokes operators. As a simple application, we prove that all weak solutions of the incompressible convective Brinkman--Forchheimer equations posed on a bounded domain in ${\mathbb R}^3$ satisfy the energy equality. △ Less

Submitted 4 August, 2021; v1 submitted 5 April, 2019; originally announced April 2019.

Comments: 17 pages

MSC Class: 41A28; 41A29; 41A65; 47A70 (Primary) 35Q35; 46B70; 47A05; 47F10; 47N20; 76S05 (Secondary)

Robustness of Regularity for the $3$D Convective Brinkman-Forchheimer Equations

Authors: Karol W. Hajduk, James C. Robinson, Witold Sadowski

Abstract: We prove a robustness of regularity result for the $3$D convective Brinkman-Forchheimer equations $$ \partial_tu -μΔu + (u \cdot \nabla)u + \nabla p + αu + β\abs{u}^{r - 1}u = f, $$ for the range of the absorption exponent $r \in [1, 3]$ (for $r > 3$ there exist global-in-time regular solutions), i.e. we show that strong solutions of these equations remain strong under small enough changes of the… ▽ More We prove a robustness of regularity result for the $3$D convective Brinkman-Forchheimer equations $$ \partial_tu -μΔu + (u \cdot \nabla)u + \nabla p + αu + β\abs{u}^{r - 1}u = f, $$ for the range of the absorption exponent $r \in [1, 3]$ (for $r > 3$ there exist global-in-time regular solutions), i.e. we show that strong solutions of these equations remain strong under small enough changes of the initial condition and forcing function. We provide a smallness condition which is similar to the robustness conditions given for the $3$D incompressible Navier-Stokes equations by Chernyshenko et al. (2007) and Dashti & Robinson (2008). △ Less

Submitted 29 January, 2021; v1 submitted 5 April, 2019; originally announced April 2019.

Comments: 22 pages

MSC Class: 35Q35; 76S05 (Primary); 76D03 (Secondary)

Embedding Properties of sets with finite box-counting dimension

Authors: Alexandros Margaris, James C. Robinson

Abstract: In this paper we study the regularity of embeddings of finite--dimensional subsets of Banach spaces into Euclidean spaces. In 1999, Hunt and Kaloshin [Nonlinearity 12 1263-1275] introduced the thickness exponent and proved an embedding theorem for subsets of Hilbert spaces with finite box--counting dimension. In 2009, Robinson [Nonlinearity 22 711-728] defined the dual thickness and extended the r… ▽ More In this paper we study the regularity of embeddings of finite--dimensional subsets of Banach spaces into Euclidean spaces. In 1999, Hunt and Kaloshin [Nonlinearity 12 1263-1275] introduced the thickness exponent and proved an embedding theorem for subsets of Hilbert spaces with finite box--counting dimension. In 2009, Robinson [Nonlinearity 22 711-728] defined the dual thickness and extended the result to subsets of Banach spaces. Here we prove a similar result for subsets of Banach spaces, using the thickness rather than the dual thickness. We also study the relation between the box-counting dimension and these two thickness exponents for some particular subsets of $\ell_{p}$. △ Less

Submitted 10 April, 2019; v1 submitted 9 November, 2018; originally announced November 2018.

Comments: Submitted, Referres comments addressed

Optimal existence classes and nonlinear--like dynamics in the linear heat equation in ${\mathbb R}^d$

Authors: James C. Robinson, Aníbal Rodíguez-Bernal

Abstract: We analyse the behaviour of solutions of the linear heat equation in ${\mathbb R}^d$ for initial data in the classes $M_\varepsilon({\mathbb R}^d)$ of Radon measures with $\int_{{\mathbb R}^d}{\rm e}^{-\varepsilon|x|^2}\,{\rm d}|u_0|<\infty$. We show that these classes are in some sense optimal for local and global existence of non-negative solutions: in particular… ▽ More We analyse the behaviour of solutions of the linear heat equation in ${\mathbb R}^d$ for initial data in the classes $M_\varepsilon({\mathbb R}^d)$ of Radon measures with $\int_{{\mathbb R}^d}{\rm e}^{-\varepsilon|x|^2}\,{\rm d}|u_0|<\infty$. We show that these classes are in some sense optimal for local and global existence of non-negative solutions: in particular $M_0({\mathbb R}^d)=\cap_{\varepsilon>0}M_\varepsilon({\mathbb R}^d)$ consists precisely of those initial data for which the a solution of the heat equation can be given for all time using the heat kernel representation formula. After considering properties of existence, uniqueness, and regularity for such initial data, which can grow rapidly at infinity, we go on to show that they give rise to properties associated more often with nonlinear models. We demonstrate the finite-time blowup of solutions, showing that the set of blowup points is the complement of a convex set, and that given any closed convex set there is an initial condition whose solutions remain bounded precisely on this set at the `blowup time'. We also show that wild oscillations are possible from non-negative initial data as $t\to\infty$ (in fact we show that this behaviour is generic), and that one can prescribe the behaviour of $u(0,t)$ to be any real-analytic function $γ(t)$ on $[0,\infty)$. △ Less

Submitted 15 June, 2018; originally announced June 2018.

MSC Class: 35K05

Energy conservation for the Euler equations on $\mathbb{T}^2\times \mathbb{R}_+$ for weak solutions defined without reference to the pressure

Authors: James C. Robinson, José L. Rodrigo, Jack W. D. Skipper

Abstract: We study weak solutions of the incompressible Euler equations on $\mathbb{T}^2\times \mathbb{R}_+$; we use test functions that are divergence free and have zero normal component, thereby obtaining a definition that does not involve the pressure. We prove energy conservation under the assumptions that $u\in L^3(0,T;L^3(\mathbb{T}^2\times \mathbb{R}_+))$,… ▽ More We study weak solutions of the incompressible Euler equations on $\mathbb{T}^2\times \mathbb{R}_+$; we use test functions that are divergence free and have zero normal component, thereby obtaining a definition that does not involve the pressure. We prove energy conservation under the assumptions that $u\in L^3(0,T;L^3(\mathbb{T}^2\times \mathbb{R}_+))$, $$ \lim_{|y|\to 0}\frac{1}{|y|}\int^T_0\int_{\mathbb{T}^2}\int^\infty_{x_3>|y|} |u(x+y)-u(x)|^3\mathrm{d} x\, \mathrm{d} t=0, $$ and an additional continuity condition near the boundary: for some $δ>0$ we require $u\in L^3(0,T;C^0(\mathbb{T}^2\times [0,δ])))$. We note that all our conditions are satisfied whenever $u(x,t)\in C^α$, for some $α>1/3$, with Hölder constant $C(x,t)\in L^3(\mathbb{T}^2\times\mathbb{R}^+\times(0,T))$. △ Less

Submitted 1 June, 2018; originally announced June 2018.

Comments: 21 pages

Partial regularity for a surface growth model

Authors: W. S. Ożański, J. C. Robinson

Abstract: We prove two partial regularity results for the scalar equation $u_t+u_{xxxx}+\partial_{xx}u_x^2=0$, a model of surface growth arising from the physical process of molecular epitaxy. We show that the set of space-time singularities has (upper) box-counting dimension no larger than $7/6$ and $1$-dimensional (parabolic) Hausdorff measure zero. These parallel the results available for the three-dimen… ▽ More We prove two partial regularity results for the scalar equation $u_t+u_{xxxx}+\partial_{xx}u_x^2=0$, a model of surface growth arising from the physical process of molecular epitaxy. We show that the set of space-time singularities has (upper) box-counting dimension no larger than $7/6$ and $1$-dimensional (parabolic) Hausdorff measure zero. These parallel the results available for the three-dimensional Navier--Stokes equations. In fact the mathematical theory of the surface growth model is known to share a number of striking similarities with the Navier--Stokes equations, and the partial regularity results are the next step towards understanding this remarkable similarity. As far as we know the surface growth model is the only lower-dimensional "mini-model" of the Navier--Stokes equations for which such an analogue of the partial regularity theory has been proved. In the course of our proof, which is inspired by the rescaling analysis of Lin (1998) and Ladyzhenskaya & Seregin (1999), we develop certain nonlinear parabolic Poincaré inequality, which is a concept of independent interest. We believe that similar inequalities could be applicable in other parabolic equations. △ Less

Submitted 4 December, 2018; v1 submitted 20 October, 2017; originally announced October 2017.

Comments: 29 pages

Journal ref: SIAM J. Math. Anal. 51(1), pp. 228-255, 2019

A Necessary and Suffcient Condition for Uniqueness of the Trivial Solution in Semilinear Parabolic Equations

Authors: R. Laister, J. C. Robinson, M. Sierzega

Abstract: In their 1968 paper Fujita and Watanabe considered the issue of uniqueness of the trivial solution of semilinear parabolic equations with respect to the class of bounded, non-negative solutions. In particular they showed that if the underlying ODE has non-unique solutions (as characterised via an Osgood-type condition) {\em and} the nonlinearity $f$ satisfies a concavity condition, then the parabo… ▽ More In their 1968 paper Fujita and Watanabe considered the issue of uniqueness of the trivial solution of semilinear parabolic equations with respect to the class of bounded, non-negative solutions. In particular they showed that if the underlying ODE has non-unique solutions (as characterised via an Osgood-type condition) {\em and} the nonlinearity $f$ satisfies a concavity condition, then the parabolic PDE also inherits the non-uniqueness property. This concavity assumption has remained in place either implicitly or explicitly in all subsequent work in the literature relating to this and other, similar, non-uniqueness phenomena in parabolic equations. In this paper we provide an elementary proof of non-uniqueness for the PDE without any such concavity assumption on $f$. An important consequence of our result is that uniqueness of the trivial solution of the PDE is equivalent to uniqueness of the trivial solution of the corresponding ODE, which in turn is known to be equivalent to an Osgood-type integral condition on $f$. △ Less

Submitted 17 January, 2017; originally announced January 2017.

Journal ref: Journal of Differential Equations, 262 (10). pp. 4979-4987 (2017)

Energy equality for the 3D critical convective Brinkman-Forchheimer equations

Authors: Karol W. Hajduk, James C. Robinson

Abstract: In this paper we give a simple proof of the existence of global-in-time smooth solutions for the convective Brinkman-Forchheimer equations (also called in the literature the tamed Navier-Stokes equations) $$ \partial_tu -μΔu + (u \cdot \nabla)u + \nabla p + αu + β|u|^{r - 1}u = 0 $$ on a $3$D periodic domain, for values of the absorption exponent $r$ larger than $3$. Furthermore, we prove that glo… ▽ More In this paper we give a simple proof of the existence of global-in-time smooth solutions for the convective Brinkman-Forchheimer equations (also called in the literature the tamed Navier-Stokes equations) $$ \partial_tu -μΔu + (u \cdot \nabla)u + \nabla p + αu + β|u|^{r - 1}u = 0 $$ on a $3$D periodic domain, for values of the absorption exponent $r$ larger than $3$. Furthermore, we prove that global, regular solutions exist also for the critical value of exponent $r = 3$, provided that the coefficients satisfy the relation $4μβ\geq 1$. Additionally, we show that in the critical case every weak solution verifies the energy equality and hence is continuous into the phase space $L^2$. As an application of this result we prove the existence of a strong global attractor, using the theory of evolutionary systems developed by Cheskidov. △ Less

Submitted 10 August, 2017; v1 submitted 6 December, 2016; originally announced December 2016.

Comments: 17 pages

MSC Class: 35Q35; 76S05 (Primary); 76D03 (Secondary)

Energy conservation in the 3D Euler equations on $\mathbb{T}^2\times \mathbb{R}_+$

Authors: James C. Robinson, José L. Rodrigo, Jack W. D. Skipper

Abstract: The aim of this paper is to prove energy conservation for the incompressible Euler equations in a domain with boundary. We work in the domain $\mathbb{T}^2\times\mathbb{R}_+$, where the boundary is both flat and has finite measure. However, first we study the equations on domains without boundary (the whole space $\mathbb{R}^3$, the torus $\mathbb{T}^3$, and the hybrid space… ▽ More The aim of this paper is to prove energy conservation for the incompressible Euler equations in a domain with boundary. We work in the domain $\mathbb{T}^2\times\mathbb{R}_+$, where the boundary is both flat and has finite measure. However, first we study the equations on domains without boundary (the whole space $\mathbb{R}^3$, the torus $\mathbb{T}^3$, and the hybrid space $\mathbb{T}^2\times\mathbb{R}$). We make use of some of the arguments of Duchon \& Robert ({\it Nonlinearity} {\bf 13} (2000) 249--255) to prove energy conservation under the assumption that $u\in L^3(0,T;L^3(\mathbb{R}^3))$ and one of the two integral conditions \begin{equation*} \lim_{|y|\to 0}\frac{1}{|y|}\int^T_0\int_{\mathbb{R}^3} |u(x+y)-u(x)|^3\,d x\,d t=0 \end{equation*} or \begin{equation*} \int_0^T\int_{\mathbb{R}^3}\int_{\mathbb{R}^3}\frac{|u(x)-u(y)|^3}{|x-y|^{4+δ}}\,d x\,d y<\infty,\qquadδ>0, \end{equation*} the second of which is equivalent to requiring $u\in L^3(0,T;W^{α,3}(\mathbb{R}^3))$ for some $α>1/3$. We then use the first of these two conditions to prove energy conservation for a weak solution $u$ on $D_+:=\mathbb{T}^2\times \mathbb{R}_+$: we extend $u$ a solution defined on the whole of $\mathbb{T}^2\times\mathbb{R}$ and then use the condition on this domain to prove energy conservation for a weak solution $u\in L^3(0,T;L^3(D_+))$ that satisfies \begin{equation*} \lim_{|y|\to 0} \frac{1}{|y|}\int^{T}_{0}\iint_{\mathbb{T}^2}\int^\infty_{|y|}|u(t,x+y)-u(t,x)|^3 \,d x_3 \,d x_1 \,d x_2 \,d t=0, \end{equation*} and certain continuity conditions near the boundary $\partial D_+=\{x_3=0\}$. △ Less

Submitted 30 June, 2017; v1 submitted 1 November, 2016; originally announced November 2016.

Local existence for the non-resistive MHD equations in nearly optimal Sobolev spaces

Authors: Charles L. Fefferman, David S. McCormick, James C. Robinson, Jose L. Rodrigo

Abstract: This paper establishes the local-in-time existence and uniqueness of solutions to the viscous, non-resistive magnetohydrodynamics (MHD) equations in $\mathbb{R}^d$, $d=2,3$, with initial data $B_0\in H^s(\mathbb{R}^d)$ and $u_0\in H^{s-1+\varepsilon}(\mathbb{R}^d)$ for $s>d/2$ and any $0<\varepsilon<1$. The proof relies on maximal regularity estimates for the Stokes equation. The obstruction to ta… ▽ More This paper establishes the local-in-time existence and uniqueness of solutions to the viscous, non-resistive magnetohydrodynamics (MHD) equations in $\mathbb{R}^d$, $d=2,3$, with initial data $B_0\in H^s(\mathbb{R}^d)$ and $u_0\in H^{s-1+\varepsilon}(\mathbb{R}^d)$ for $s>d/2$ and any $0<\varepsilon<1$. The proof relies on maximal regularity estimates for the Stokes equation. The obstruction to taking $\varepsilon=0$ is explained by the failure of solutions of the heat equation with initial data $u_0\in H^{s-1}$ to satisfy $u\in L^1(0,T;H^{s+1})$; we provide an explicit example of this phenomenon. △ Less

Submitted 8 February, 2016; originally announced February 2016.

Continuity of pullback and uniform attractors

Authors: Luan T. Hoang, Eric J. Olson, James C. Robinson

Abstract: We study the continuity of pullback and uniform attractors for non-autonomous dynamical systems with respect to perturbations of a parameter. Consider a family of dynamical systems parameterised by a complete metric space $Λ$ such that for each $λ\inΛ$ there exists a unique pullback attractor $\mathcal A_λ(t)$. Using the theory of Baire category we show under natural conditions that there exists a… ▽ More We study the continuity of pullback and uniform attractors for non-autonomous dynamical systems with respect to perturbations of a parameter. Consider a family of dynamical systems parameterised by a complete metric space $Λ$ such that for each $λ\inΛ$ there exists a unique pullback attractor $\mathcal A_λ(t)$. Using the theory of Baire category we show under natural conditions that there exists a residual set $Λ_*\subseteqΛ$ such that for every $t\in\mathbb R$ the function $λ\mapsto\mathcal A_λ(t)$ is continuous at each $λ\inΛ_*$ with respect to the Hausdorff metric. Similarly, given a family of uniform attractors $\mathbb A_λ$, there is a residual set at which the map $λ\mapsto\mathbb A_λ$ is continuous. We also introduce notions of equi-attraction suitable for pullback and uniform attractors and then show when $Λ$ is compact that the continuity of pullback attractors and uniform attractors with respect to $λ$ is equivalent to pullback equi-attraction and, respectively, uniform equi-attraction. These abstract results are then illustrated in the context of the Lorenz equations and the two-dimensional Navier-Stokes equations. △ Less

Submitted 26 February, 2017; v1 submitted 27 January, 2016; originally announced January 2016.

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

Authors: Benjamin C. Pooley, James C. Robinson

Abstract: 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--St… ▽ More 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. △ Less

Submitted 19 January, 2016; originally announced January 2016.

Comments: 15 pages, to appear in "Recent Progress in the Theory of the Euler and Navier--Stokes Equations", eds. J.C. Robinson, J.L. Rodrigo, W. Sadowski and A. Vidal-López, Cambridge University Press, 2016

MSC Class: 35Q35 35K55 (Primary) 35Q30 (Secondary)

On the structure of subsets of an orderable group with some small doubling properties

Authors: G. A. Freiman, M. Herzog, P. Longobardi, M. Maj, A. Plagne, D. J. S. Robinson, Y. V. Stanchescu

Abstract: The aim of this paper is to present a complete description of the structure of subsets S of an orderable group G satisfying |S^2| = 3|S|-2 and <S> is non-abelian. The aim of this paper is to present a complete description of the structure of subsets S of an orderable group G satisfying |S^2| = 3|S|-2 and <S> is non-abelian. △ Less

Submitted 3 May, 2015; originally announced May 2015.

MSC Class: 11P70; 20F05; 20F99; 11B13; 05E15

Journal ref: Journal of Algebra, January 2016, Vol. 445, pages 307-326

Lower bounds on blowing-up solutions of the 3D Navier--Stokes equations in $\dot H^{3/2}$, $\dot H^{5/2}$, and $\dot B^{5/2}_{2,1}$

Authors: David S. McCormick, Eric J. Olson, James C. Robinson, Jose L. Rodrigo, Alejandro Vidal-Lopez, Yi Zhou

Abstract: If $u$ is a smooth solution of the Navier--Stokes equations on ${\mathbb R}^3$ with first blowup time $T$, we prove lower bounds for $u$ in the Sobolev spaces $\dot H^{3/2}$, $\dot H^{5/2}$, and the Besov space $\dot B^{5/2}_{2,1}$, with optimal rates of blowup: we prove the strong lower bounds $\|u(t)\|_{\dot H^{3/2}}\ge c(T-t)^{-1/2}$ and $\|u(t)\|_{\dot B^{5/2}_{2,1}}\ge c(T-t)^{-1}$, but in… ▽ More If $u$ is a smooth solution of the Navier--Stokes equations on ${\mathbb R}^3$ with first blowup time $T$, we prove lower bounds for $u$ in the Sobolev spaces $\dot H^{3/2}$, $\dot H^{5/2}$, and the Besov space $\dot B^{5/2}_{2,1}$, with optimal rates of blowup: we prove the strong lower bounds $\|u(t)\|_{\dot H^{3/2}}\ge c(T-t)^{-1/2}$ and $\|u(t)\|_{\dot B^{5/2}_{2,1}}\ge c(T-t)^{-1}$, but in $\dot H^{5/2}$ we only obtain the weaker result $\limsup_{t\to T^-}(T-t)\|u(t)\|_{\dot H^{5/2}}\ge c$. The proofs involve new inequalities for the nonlinear term in Sobolev and Besov spaces, both of which are obtained using a dyadic decomposition of $u$. △ Less

Submitted 14 March, 2015; originally announced March 2015.

Local existence for the non-resistive MHD equations in Besov spaces

Authors: Jean-Yves Chemin, David S. McCormick, James C. Robinson, Jose L. Rodrigo

Abstract: In this paper we prove the existence of solutions to the viscous, non-resistive magnetohydrodynamics (MHD) equations on the whole of $\mathbb{R}^{n}$, $n=2,3$, for divergence-free initial data in certain Besov spaces, namely $\boldsymbol{u}_{0} \in B^{n/2-1}_{2,1}$ and $\boldsymbol{B}_{0} \in B^{n/2}_{2,1}$. The a priori estimates include the term… ▽ More In this paper we prove the existence of solutions to the viscous, non-resistive magnetohydrodynamics (MHD) equations on the whole of $\mathbb{R}^{n}$, $n=2,3$, for divergence-free initial data in certain Besov spaces, namely $\boldsymbol{u}_{0} \in B^{n/2-1}_{2,1}$ and $\boldsymbol{B}_{0} \in B^{n/2}_{2,1}$. The a priori estimates include the term $\int_{0}^{t} \| \boldsymbol{u}(s) \|_{H^{n/2}}^{2} \, \mathrm{d} s$ on the right-hand side, which thus requires an auxiliary bound in $H^{n/2-1}$. In 2D, this is simply achieved using the standard energy inequality; but in 3D an auxiliary estimate in $H^{1/2}$ is required, which we prove using the splitting method of Calderón (Trans. Amer. Math. Soc. 318(1), 179--200, 1990). By contrast, we prove that such solutions are unique in 3D, but the proof of uniqueness in 2D is more difficult and remains open. △ Less

Submitted 5 March, 2015; originally announced March 2015.

A new permutation test statistic for complete block designs

Authors: Inga Samonenko, John Robinson

Abstract: We introduce a nonparametric test statistic for the permutation test in complete block designs. We find the region in which the statistic exists and consider particularly its properties on the boundary of the region. Further, we prove that saddlepoint approximations for tail probabilities can be obtained inside the interior of this region. Finally, numerical examples are given showing that both ac… ▽ More We introduce a nonparametric test statistic for the permutation test in complete block designs. We find the region in which the statistic exists and consider particularly its properties on the boundary of the region. Further, we prove that saddlepoint approximations for tail probabilities can be obtained inside the interior of this region. Finally, numerical examples are given showing that both accuracy and power of the new statistic improves on these properties of the classical $F$-statistic under some non-Gaussian models and equals them for the Gaussian case. △ Less

Submitted 27 November, 2014; originally announced November 2014.

Comments: Published in at http://dx.doi.org/10.1214/14-AOS1266 the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOS-AOS1266

Journal ref: Annals of Statistics 2015, Vol. 43, No. 1, 90-101

The Classification of Dirac Homogeneous Spaces

Authors: Patrick James Robinson

Abstract: A well known result of Drinfeld classifies Poisson Lie groups $(H,Π)$ in terms of Lie algebraic data in the form of Manin triples $(\mathfrak{d},\mathfrak{g},\mathfrak{h})$; he also classified compatible Poisson structures on $H$-homogeneous spaces $H/K$ in terms of Lagrangian subalgebras $\mathfrak{l}\subset\mathfrak{d}$ with $\mathfrak{l}\cap\mathfrak{h}=\mathfrak{k}=\mathrm{Lie}(K)$. Using the… ▽ More A well known result of Drinfeld classifies Poisson Lie groups $(H,Π)$ in terms of Lie algebraic data in the form of Manin triples $(\mathfrak{d},\mathfrak{g},\mathfrak{h})$; he also classified compatible Poisson structures on $H$-homogeneous spaces $H/K$ in terms of Lagrangian subalgebras $\mathfrak{l}\subset\mathfrak{d}$ with $\mathfrak{l}\cap\mathfrak{h}=\mathfrak{k}=\mathrm{Lie}(K)$. Using the language of Courant algebroids and groupoids, Li-Bland and Meinrenken formalized the notion of \emph{Dirac Lie groups} and classified them in terms of so-called "$H$-equivariant Dirac Manin triples" $(\mathfrak{d}, \mathfrak{g}, \mathfrak{h})_β$; this generalizes the first result of Drinfeld, as each Poisson Lie group gives a unique Dirac Lie group structure. In this thesis, we consider a notion of homogeneous space for Dirac Lie groups, and classify them in terms of $K$-invariant coisotropic subalgebras $\mathfrak{c}\subset\mathfrak{d}$, with $\mathfrak{c}\cap\mathfrak{h} = \mathfrak{k}$. The relation between Poisson and Dirac morphisms makes Drinfeld's second result a special case of this classification. △ Less

Submitted 11 November, 2014; originally announced November 2014.

Comments: 110 pages, PhD Thesis

MSC Class: 53D17; 22A22

Equi-homogeneity, Assouad Dimension and Non-autonomous Dynamics

Authors: Alexander M. Henderson, Eric J. Olson, James C. Robinson, Nicholas Sharples

Abstract: We show that self-similar sets arising from iterated function systems that satisfy the Moran open-set condition, a canonical class of fractal sets, are `equi-homogeneous'. This is a regularity property that, roughly speaking, means that at each fixed length-scale any two neighbourhoods of the set have covers of approximately equal cardinality. Self-similar sets are notable in that they are Ahlfo… ▽ More We show that self-similar sets arising from iterated function systems that satisfy the Moran open-set condition, a canonical class of fractal sets, are `equi-homogeneous'. This is a regularity property that, roughly speaking, means that at each fixed length-scale any two neighbourhoods of the set have covers of approximately equal cardinality. Self-similar sets are notable in that they are Ahlfors-David regular, which implies that their Assouad and box-counting dimensions coincide. More generally, attractors of non-autonomous iterated functions systems (where maps are allowed to vary between iterations) can have distinct Assouad and box-counting dimensions. Consequently the familiar notion of Ahlfors-David regularity is too strong to be useful in the analysis of this important class of sets, which include generalised Cantor sets and possess different dimensional behaviour at different length-scales. We further develop the theory of equi-homogeneity showing that it is a weaker property than Ahlfors-David regularity and distinct from any previously defined notion of dimensional equivalence. However, we show that if the upper and lower box-counting dimensions of an equi-homogeneous set are equal and `attained' in a sense we make precise then the lower Assouad, Hausdorff, packing, lower box-counting, upper box-counting and Assouad dimensions coincide. Our main results provide conditions under which the attractor of a non-autonomous iterated function system is equi-homogeneous and we use this to compute the Assouad dimension of a certain class of these highly non-trivial sets. △ Less

Submitted 26 August, 2016; v1 submitted 16 September, 2014; originally announced September 2014.

MSC Class: 37C45 28A80

Limits of the Stokes and Navier-Stokes equations in a punctured periodic domain

Authors: Michel Chipot, Jerome Droniou, Gabriela Planas, James C. Robinson, Wei Xue

Abstract: In this paper we treat three problems on a two-dimensional `punctured periodic domain': we take $Ω_r=(-L,L)^2\setminus D_r$, where $D_r=B(0,r)$ is the disc of radius $r$ centred at the origin. We impose periodic boundary conditions on the boundary of the box $Ω=(-L,L)^2$, and Dirichlet boundary conditions on the circumference of the disc. In this setting we consider the Poisson equation, the Stoke… ▽ More In this paper we treat three problems on a two-dimensional `punctured periodic domain': we take $Ω_r=(-L,L)^2\setminus D_r$, where $D_r=B(0,r)$ is the disc of radius $r$ centred at the origin. We impose periodic boundary conditions on the boundary of the box $Ω=(-L,L)^2$, and Dirichlet boundary conditions on the circumference of the disc. In this setting we consider the Poisson equation, the Stokes equations, and the time-dependent Navier-Stokes equations, all with a fixed forcing function $f$ (which must satisfy $\int_Ωf=0$ for the stationary problems), and examine the behaviour of solutions as $r\to0$. In all three cases we show convergence of the solutions to those of the limiting problem, i.e.\ the problem posed on all of $Ω$ with periodic boundary conditions. △ Less

Submitted 10 November, 2017; v1 submitted 25 July, 2014; originally announced July 2014.

Some results in support of the Kakeya Conjecture

Authors: Jonathan M. Fraser, Eric J. Olson, James C. Robinson

Abstract: A Besicovitch set is a subset of $\R^d$ that contains a unit line segment in every direction and the famous Kakeya conjecture states that Besicovitch sets should have full dimension. We provide a number of results in support of this conjecture in a variety of contexts. Our proofs are simple and aim to give an intuitive feel for the problem. For example, we give a very simple proof that the packing… ▽ More A Besicovitch set is a subset of $\R^d$ that contains a unit line segment in every direction and the famous Kakeya conjecture states that Besicovitch sets should have full dimension. We provide a number of results in support of this conjecture in a variety of contexts. Our proofs are simple and aim to give an intuitive feel for the problem. For example, we give a very simple proof that the packing and lower box-counting dimension of any Besicovitch set is at least $(d+1)/2$ (better estimates are available in the literature). We also study the `generic validity' of the Kakeya conjecture in the setting of Baire Category and prove that typical Besicovitch sets have full upper box-counting dimension. We also study a weaker version of the Kakeya problem where unit line segments are replaced by half-infinite lines. We prove that such `half-extended Besicovitch sets' have full Assouad dimension. This can be viewed as full resolution of a (much weakened) version of the Kakeya problem. △ Less

Submitted 4 May, 2017; v1 submitted 24 July, 2014; originally announced July 2014.

Comments: 17 pages. Incorporated referee suggestions, improved results in section 4, to appear in Real Analysis Exchange

MSC Class: 28A80; 54E52; 28A75

Journal ref: Real Analysis Exchange, 42, (2017), 253-268

On the continuity of global attractors

Authors: Luan Hoang, Eric J. Olson, James C. Robinson

Abstract: Let $Λ$ be a complete metric space, and let $\{S_λ(\cdot):\ λ\inΛ\}$ be a parametrised family of semigroups with global attractors ${\mathscr A}_λ$. We assume that there exists a fixed bounded set $D$ such that ${\mathscr A}_λ\subset D$ for every $λ\inΛ$. By viewing the attractors as the limit as $t\to\infty$ of the sets $S_λ(t)D$, we give simple proofs of the equivalence of `equi-attraction' to c… ▽ More Let $Λ$ be a complete metric space, and let $\{S_λ(\cdot):\ λ\inΛ\}$ be a parametrised family of semigroups with global attractors ${\mathscr A}_λ$. We assume that there exists a fixed bounded set $D$ such that ${\mathscr A}_λ\subset D$ for every $λ\inΛ$. By viewing the attractors as the limit as $t\to\infty$ of the sets $S_λ(t)D$, we give simple proofs of the equivalence of `equi-attraction' to continuity (when this convergence is uniform in $λ$) and show that the attractors ${\mathscr A}_λ$ are continuous in $λ$ at a residual set of parameters in the sense of Baire Category (when the convergence is only pointwise). △ Less

Submitted 11 July, 2014; originally announced July 2014.

MSC Class: 35B41

A complete characterisation of local existence for semilinear heat equations in Lebesgue spaces

Authors: Robert Laister, James C. Robinson, Mikolaj Sierzega, Alejandro Vidal-López

Abstract: We consider the scalar semilinear heat equation $u_t-Δu=f(u)$, where $f\colon[0,\infty)\to[0,\infty)$ is continuous and non-decreasing but need not be convex. We completely characterise those functions $f$ for which the equation has a local solution bounded in $L^q(Ω)$ for all non-negative initial data $u_0\in L^q(Ω)$, when $Ω\subset{\mathbb R}^d$ is a bounded domain with Dirichlet boundary condit… ▽ More We consider the scalar semilinear heat equation $u_t-Δu=f(u)$, where $f\colon[0,\infty)\to[0,\infty)$ is continuous and non-decreasing but need not be convex. We completely characterise those functions $f$ for which the equation has a local solution bounded in $L^q(Ω)$ for all non-negative initial data $u_0\in L^q(Ω)$, when $Ω\subset{\mathbb R}^d$ is a bounded domain with Dirichlet boundary conditions. For $q\in(1,\infty)$ this holds if and only if $\limsup_{s\to\infty}s^{-(1+2q/d)}f(s)<\infty$; and for $q=1$ if and only if $\int_1^\infty s^{-(1+2/d)}F(s)\,{\rm d}s<\infty$, where $F(s)=\sup_{1\le t\le s}f(t)/t$. This shows for the first time that the model nonlinearity $f(u)=u^{1+2q/d}$ is truly the `boundary case' when $q\in(1,\infty)$, but that this is not true for $q=1$. The same characterisation results hold for the equation posed on the whole space ${\mathbb R}^d$ provided that in addition $\limsup_{s\to0}f(s)/s<\infty$. △ Less

Submitted 8 January, 2015; v1 submitted 9 July, 2014; originally announced July 2014.

MSC Class: 35A01; 35K05; 35K15; 35K58

Journal ref: Annales de l'Institut Henri Poincaré - Analyse Non-Linéaire, 33 (6). pp. 1519-1538 (2016)

Generalised Cantor sets and the dimension of products

Authors: Eric J. Olson, James C. Robinson, Nicholas Sharples

Abstract: In this paper we consider the relationship between the Assouad and box-counting dimension and how both behave under the operation of taking products. We introduce the notion of `equi-homogeneity' of a set, which requires a uniformity in the size of local covers at all lengths and at all points. We prove that the Assouad and box-counting dimensions coincide for sets that have equal upper and lower… ▽ More In this paper we consider the relationship between the Assouad and box-counting dimension and how both behave under the operation of taking products. We introduce the notion of `equi-homogeneity' of a set, which requires a uniformity in the size of local covers at all lengths and at all points. We prove that the Assouad and box-counting dimensions coincide for sets that have equal upper and lower box-counting dimensions provided that the set `attains' these dimensions (analogous to `s-sets' when considering the Hausdorff dimension), and the set is equi-homogeneous. Using this fact we show that for any $α\in(0,1)$ and any $β,γ\in(0,1)$ such that $β+ γ\geq 1$ we can construct two generalised Cantor sets $C$ and $D$ such that $\text{dim}_{B}C=αβ$, $\text{dim}_{B}D=αγ$, and $\text{dim}_{A}C=\text{dim}_{A}D=\text{dim}_{A}(C\times D)=\text{dim}_{B}(C\times D)=α$. △ Less

Submitted 16 September, 2014; v1 submitted 2 July, 2014; originally announced July 2014.

MSC Class: 28A80

Journal ref: Math. Proc. Camb. Phil. Soc. 160 (2015) 51-75

On the Assouad dimension of self-similar sets with overlaps

Authors: Jonathan. M. Fraser, Alexander. M. Henderson, Eric J. Olson, James C. Robinson

Abstract: It is known that, unlike the Hausdorff dimension, the Assouad dimension of a self-similar set can exceed the similarity dimension if there are overlaps in the construction. Our main result is the following precise dichotomy for self-similar sets in the line: either the \emph{weak separation property} is satisfied, in which case the Hausdorff and Assouad dimensions coincide; or the \emph{weak separ… ▽ More It is known that, unlike the Hausdorff dimension, the Assouad dimension of a self-similar set can exceed the similarity dimension if there are overlaps in the construction. Our main result is the following precise dichotomy for self-similar sets in the line: either the \emph{weak separation property} is satisfied, in which case the Hausdorff and Assouad dimensions coincide; or the \emph{weak separation property} is not satisfied, in which case the Assouad dimension is maximal (equal to one). In the first case we prove that the self-similar set is Ahlfors regular, and in the second case we use the fact that if the \emph{weak separation property} is not satisfied, one can approximate the identity arbitrarily well in the group generated by the similarity mappings, and this allows us to build a \emph{weak tangent} that contains an interval. We also obtain results in higher dimensions and provide illustrative examples showing that the `equality/maximal' dichotomy does not extend to this setting. △ Less

Submitted 16 January, 2015; v1 submitted 3 April, 2014; originally announced April 2014.

Comments: 24 pages, 2 figures

MSC Class: 28A80; 37C45 (primary); 28A78 (secondary)

Journal ref: Advances in Mathematics, 273, (2015), 188-214

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

Authors: Benjamin C. Pooley, James C. Robinson

Abstract: 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… ▽ More 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. △ Less

Submitted 19 January, 2016; v1 submitted 27 March, 2014; originally announced March 2014.

Comments: 17 pages, to appear in J. Math. Fluid Mech. Lemmas 4 and 6 revised, several minor changes

MSC Class: 35Q35; 76B03 (Primary) 35Q31 (Secondary)

Higher order commutator estimates and local existence for the non-resistive MHD equations and related models

Authors: C. L. Fefferman, D. S. McCormick, J. C. Robinson, J. L. Rodrigo

Abstract: This paper establishes the local-in-time existence and uniqueness of strong solutions in $H^{s}$ for $s > n/2$ to the viscous, non-resistive magnetohydrodynamics (MHD) equations in $\mathbb{R}^{n}$, $n=2, 3$, as well as for a related model where the advection terms are removed from the velocity equation. The uniform bounds required for proving existence are established by means of a new estimate,… ▽ More This paper establishes the local-in-time existence and uniqueness of strong solutions in $H^{s}$ for $s > n/2$ to the viscous, non-resistive magnetohydrodynamics (MHD) equations in $\mathbb{R}^{n}$, $n=2, 3$, as well as for a related model where the advection terms are removed from the velocity equation. The uniform bounds required for proving existence are established by means of a new estimate, which is a partial generalisation of the commutator estimate of Kato & Ponce (Comm. Pure Appl. Math. 41(7), 891-907, 1988). △ Less

Submitted 20 January, 2014; originally announced January 2014.

MSC Class: Primary: 35Q35; 42B37; 76W05. Secondary: 35K51; 35M33

Rigorous Numerical Verification of Uniqueness and Smoothness in a Surface Growth Model

Authors: Dirk Blömker, Christian Nolde, James C. Robinson

Abstract: Based on numerical data and a-posteriori analysis we verify rigorously the uniqueness and smoothness of global solutions to a scalar surface growth model with striking similarities to the 3D Navier--Stokes equations, for certain initial data for which analytical approaches fail. The key point is the derivation of a scalar ODE controlling the norm of the solution, whose coefficients depend on the… ▽ More Based on numerical data and a-posteriori analysis we verify rigorously the uniqueness and smoothness of global solutions to a scalar surface growth model with striking similarities to the 3D Navier--Stokes equations, for certain initial data for which analytical approaches fail. The key point is the derivation of a scalar ODE controlling the norm of the solution, whose coefficients depend on the numerical data. Instead of solving this ODE explicitly, we explore three different numerical methods that provide rigorous upper bounds for its solution △ Less

Submitted 27 March, 2015; v1 submitted 9 November, 2013; originally announced November 2013.

Gaussian lower bounds on the Dirichlet heat kernel and non-existence of local solutions for semilinear heat equations of Osgood type

Authors: Robert Laister, James C. Robinson, Mikolaj Sierzega

Abstract: We give a simple proof of a lower bound for the Dirichlet heat kernel in terms of the Gaussian heat kernel. Using this we establish a non-existence result for semilinear heat equations with zero Dirichlet boundary conditions and initial data in $L^q(Ω)$ when the source term $f$ is non-decreasing and $\limsup_{s\to\infty}s^{-γ}f(s)=\infty$ for some $γ>q(1+2/n)$. This allows us to construct a locall… ▽ More We give a simple proof of a lower bound for the Dirichlet heat kernel in terms of the Gaussian heat kernel. Using this we establish a non-existence result for semilinear heat equations with zero Dirichlet boundary conditions and initial data in $L^q(Ω)$ when the source term $f$ is non-decreasing and $\limsup_{s\to\infty}s^{-γ}f(s)=\infty$ for some $γ>q(1+2/n)$. This allows us to construct a locally Lipschitz $f$ satisfying the Osgood condition $\int_{1}^{\infty}1/f(s)\ \,\d s =\infty$, which ensures global existence for bounded initial data, such that for every $q$ with $1\le q<\infty$ there is an initial condition $u_0\in L^q(\Om)$ for which the corresponding semilinear problem has no local-in-time solution. △ Less

Submitted 25 July, 2013; originally announced July 2013.

On finite-dimensional attractors of homeomorphisms

Authors: James C. Robinson, Jaime J. Sanchez-Gabites

Abstract: Let $E$ be a linear space and suppose that $A$ is the global attractor of either (i) a homeomorphism $F:E\rightarrow E$ or (ii) a semigroup $S(\cdot)$ on $E$ that is injective on $A$. In both cases $A$ has trivial shape, and the dynamics on $A$ can be described by a homeomorphism $F:A\rightarrow A$ (in the second case we set $F=S(t)$ for some $t>0$). If the topological dimension of $A$ is finite w… ▽ More Let $E$ be a linear space and suppose that $A$ is the global attractor of either (i) a homeomorphism $F:E\rightarrow E$ or (ii) a semigroup $S(\cdot)$ on $E$ that is injective on $A$. In both cases $A$ has trivial shape, and the dynamics on $A$ can be described by a homeomorphism $F:A\rightarrow A$ (in the second case we set $F=S(t)$ for some $t>0$). If the topological dimension of $A$ is finite we show that for any $ε>0$ there is an embedding $e:A\rightarrow{\mathbb R}^k$, with $k\sim{\rm dim}(A)$, and a (dynamical) homeomorphism $f:\R^k\rightarrow\R^k$ such that $F$ is conjugate to $f$ on $A$ (i.e.\ $F|_A=e^{-1}\circ f\circ e$) and $f$ has an attractor $A_f$ with $e(A)\subset A_f\subset N(e(A),ε)$. In other words, we show that the dynamics on $A$ is essentially finite-dimensional. We characterise subsets of ${\mathbb R}^n$ that can be the attractors of homeomorphisms as cellular sets, give elementary proofs of various topological results connected to Borsuk's theory of shape and cellularity in Euclidean spaces, and prove a controlled homeomorphism extension theorem. △ Less

Submitted 25 June, 2013; originally announced June 2013.

Relative errors for bootstrap approximations of the serial correlation coefficient

Authors: Chris Field, John Robinson

Abstract: We consider the first serial correlation coefficient under an AR(1) model where errors are not assumed to be Gaussian. In this case it is necessary to consider bootstrap approximations for tests based on the statistic since the distribution of errors is unknown. We obtain saddle-point approximations for tail probabilities of the statistic and its bootstrap version and use these to show that the bo… ▽ More We consider the first serial correlation coefficient under an AR(1) model where errors are not assumed to be Gaussian. In this case it is necessary to consider bootstrap approximations for tests based on the statistic since the distribution of errors is unknown. We obtain saddle-point approximations for tail probabilities of the statistic and its bootstrap version and use these to show that the bootstrap tail probabilities approximate the true values with given relative errors, thus extending the classical results of Daniels [Biometrika 43 (1956) 169-185] for the Gaussian case. The methods require conditioning on the set of odd numbered observations and suggest a conditional bootstrap which we show has similar relative error properties. △ Less

Submitted 6 June, 2013; originally announced June 2013.

Comments: Published in at http://dx.doi.org/10.1214/13-AOS1111 the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOS-AOS1111

Journal ref: Annals of Statistics 2013, Vol. 41, No. 2, 1035-1053

Non-existence of local solutions for semilinear heat equations of Osgood type

Authors: Robert Laister, James C. Robinson, Mikolaj Sierzega

Abstract: We establish non-existence results for the Cauchy problem of some semilinear heat equations with non-negative initial data and locally Lipschitz, nonnegative source term $f$. Global (in time) solutions of the scalar ODE $\dot v=f(v)$ exist for $v(0)>0$ if and only if the Osgood-type condition $\int_{1}^{\infty}\frac{\dee s}{f(s)} =\infty$ holds; by comparison this ensures the existence of global c… ▽ More We establish non-existence results for the Cauchy problem of some semilinear heat equations with non-negative initial data and locally Lipschitz, nonnegative source term $f$. Global (in time) solutions of the scalar ODE $\dot v=f(v)$ exist for $v(0)>0$ if and only if the Osgood-type condition $\int_{1}^{\infty}\frac{\dee s}{f(s)} =\infty$ holds; by comparison this ensures the existence of global classical solutions of $u_t=Δu+f(u)$ for bounded initial data $u_0\in L^{\infty}(\R^n)$. It is natural to ask whether the Osgood condition is sufficient to ensure that the problem still admits global solutions if the initial data is in $L^q(\R^n)$ for some $1\le q<\infty$. Here we answer this question in the negative, and in fact show that there are initial conditions for which there exists no local solution in $L^1_{\rm loc}(\R^n)$ for $t>0$. △ Less

Submitted 25 July, 2013; v1 submitted 28 March, 2013; originally announced March 2013.

Comments: Some typos corrected from an earlier version. To appear in J. Differential Equations

Journal ref: Journal of Differential Equations, 255 (10) 2013, pp. 3020-3028. ISSN 0022-0396

Existence and uniqueness for a coupled parabolic-elliptic model with applications to magnetic relaxation

Authors: David S. McCormick, James C. Robinson, Jose L. Rodrigo

Abstract: We prove existence, uniqueness and regularity of weak solutions of a coupled parabolic-elliptic model in two dimensions; we consider the standard equations of magnetohydrodynamics with the advective terms removed from the velocity equation. Despite the apparent simplicity of the model, the proof requires results that are at the limit of what is available, including elliptic regularity in $L^{1}$ a… ▽ More We prove existence, uniqueness and regularity of weak solutions of a coupled parabolic-elliptic model in two dimensions; we consider the standard equations of magnetohydrodynamics with the advective terms removed from the velocity equation. Despite the apparent simplicity of the model, the proof requires results that are at the limit of what is available, including elliptic regularity in $L^{1}$ and a strengthened form of the Ladyzhenskaya inequality \[ \| f \|_{L^{4}} \leq c \| f \|_{L^{2,\infty}}^{1/2} \| \nabla f \|_{L^{2}}^{1/2}, \] which we derive using the theory of interpolation. The model has applications to the method of magnetic relaxation, introduced by Moffatt (J. Fluid. Mech. 159, 359-378, 1985), to construct stationary Euler flows with non-trivial topology. △ Less

Submitted 25 March, 2013; originally announced March 2013.

Generalised Gagliardo-Nirenberg inequalities using weak Lebesgue spaces and BMO

Authors: David S. McCormick, James C. Robinson, Jose L. Rodrigo

Abstract: Using elementary arguments based on the Fourier transform we prove that for $1 \leq q < p < \infty$ and $s \geq 0$ with $s > n(1/2-1/p)$, if $f \in L^{q,\infty}(\R^n) \cap \dot{H}^s(\R^n)$ then $f \in L^p(\R^n)$ and there exists a constant $c_{p,q,s}$ such that \[ \|f\|_{L^p} \leq c_{p,q,s} \|f\|_{L^{q,\infty}}^θ\|f\|_{\dot H^s}^{1-θ}, \] where $1/p = θ/q + (1-θ)(1/2-s/n)$. In particular, in… ▽ More Using elementary arguments based on the Fourier transform we prove that for $1 \leq q < p < \infty$ and $s \geq 0$ with $s > n(1/2-1/p)$, if $f \in L^{q,\infty}(\R^n) \cap \dot{H}^s(\R^n)$ then $f \in L^p(\R^n)$ and there exists a constant $c_{p,q,s}$ such that \[ \|f\|_{L^p} \leq c_{p,q,s} \|f\|_{L^{q,\infty}}^θ\|f\|_{\dot H^s}^{1-θ}, \] where $1/p = θ/q + (1-θ)(1/2-s/n)$. In particular, in $\R^2$ we obtain the generalised Ladyzhenskaya inequality $\|f\|_{L^4}\le c\|f\|_{L^{2,\infty}}^{1/2}\|f\|_{\dot H^1}^{1/2}$. We also show that for $s=n/2$ the norm in $\|f\|_{\dot H^{n/2}}$ can be replaced by the norm in BMO. As well as giving relatively simple proofs of these inequalities, this paper provides a brief primer of some basic concepts in harmonic analysis, including weak spaces, the Fourier transform, the Lebesgue Differentiation Theorem, and Calderon-Zygmund decompositions. △ Less

Submitted 25 March, 2013; originally announced March 2013.

Minimal periods of semilinear evolution equations with Lipschitz nonlinearity revisited

Authors: James C. Robinson, Alejandro Vidal-López

Abstract: We obtain a lower bound for the period of periodic solutions of semilinear evolution equations for the full range of nonlinear terms for which standard local existence theory applies. This lower bound depends on the Lipschitz constant of the nonlinear term as an operator acting on the domain of a fractional power of the linear operator into the base space. We obtain a lower bound for the period of periodic solutions of semilinear evolution equations for the full range of nonlinear terms for which standard local existence theory applies. This lower bound depends on the Lipschitz constant of the nonlinear term as an operator acting on the domain of a fractional power of the linear operator into the base space. △ Less

Submitted 20 December, 2012; originally announced December 2012.

Embedding of certain vertex algebras without vacuum into vertex algebras

Authors: Thomas J. Robinson

Abstract: We show that certain vertex algebras without vacuum vector may be embedded into vertex algebras. The result is a partial analogue of the simple classical fact that any rng can be embedded into a ring. A one-line proof of the case of a vacuum-free vertex algebra (whose vertex operator map is by definition injective) appeared in Robinson (2010) using a powerful result from the representation theory… ▽ More We show that certain vertex algebras without vacuum vector may be embedded into vertex algebras. The result is a partial analogue of the simple classical fact that any rng can be embedded into a ring. A one-line proof of the case of a vacuum-free vertex algebra (whose vertex operator map is by definition injective) appeared in Robinson (2010) using a powerful result from the representation theory of vertex algebras as algebras of mutually local weak vertex operators. Here we present a more elementary proof of a somewhat more general case. We also show that our constructions are canonical. △ Less

Submitted 26 October, 2012; originally announced October 2012.

Comments: 23 pages

MSC Class: 17B69

Minimal Periods for Ordinary Differential Equations in Strictly Convex Banach Spaces and Explicit Bounds for some l^p-Spaces

Authors: Michaela A. C. Nieuwenhuis, James C. Robinson, Stefan Steinerberger

Abstract: Let x(t) be a non-constant T-periodic solution to the ordinary differential equation x'= f(x) in a Banach space X where f is assumed to be Lipschitz continuous with constant L. Then there exists a constant c such that T L >= c, with c only depending on X. It is known that c >= 6 in any Banach space and that c = 2π in any Hilbert space, but whereas the bound of c = 2 pi is sharp in any Hilbert spac… ▽ More Let x(t) be a non-constant T-periodic solution to the ordinary differential equation x'= f(x) in a Banach space X where f is assumed to be Lipschitz continuous with constant L. Then there exists a constant c such that T L >= c, with c only depending on X. It is known that c >= 6 in any Banach space and that c = 2π in any Hilbert space, but whereas the bound of c = 2 pi is sharp in any Hilbert space, there exists only one known example of a Banach space such that c = 6 is optimal. In this paper, we show that the inequality is in fact strict in any strictly convex Banach space. Moreover, we improve the lower bound for l^p(R^n) and L^p(M, μ) for a range of p close to p = 2 by using a form of Wirtinger's inequality for functions in W^{1,p}([0, T ], L^p(M, μ)). △ Less

Submitted 23 July, 2013; v1 submitted 24 October, 2012; originally announced October 2012.

MSC Class: 34C25; 35A23; 47A30; 52A21; 52A40

Saddlepoint approximations for likelihood ratio like statistics with applications to permutation tests

Authors: John Kolassa, John Robinson

Abstract: We obtain two theorems extending the use of a saddlepoint approximation to multiparameter problems for likelihood ratio-like statistics which allow their use in permutation and rank tests and could be used in bootstrap approximations. In the first, we show that in some cases when no density exists, the integral of the formal saddlepoint density over the set corresponding to large values of the lik… ▽ More We obtain two theorems extending the use of a saddlepoint approximation to multiparameter problems for likelihood ratio-like statistics which allow their use in permutation and rank tests and could be used in bootstrap approximations. In the first, we show that in some cases when no density exists, the integral of the formal saddlepoint density over the set corresponding to large values of the likelihood ratio-like statistic approximates the true probability with relative error of order $1/n$. In the second, we give multivariate generalizations of the Lugannani--Rice and Barndorff-Nielsen or $r^*$ formulas for the approximations. These theorems are applied to obtain permutation tests based on the likelihood ratio-like statistics for the $k$ sample and the multivariate two-sample cases. Numerical examples are given to illustrate the high degree of accuracy, and these statistics are compared to the classical statistics in both cases. △ Less

Submitted 14 March, 2012; originally announced March 2012.

Comments: Published in at http://dx.doi.org/10.1214/11-AOS945 the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOS-AOS945

Journal ref: Annals of Statistics 2011, Vol. 39, No. 6, 3357-3368

Supersolutions for a class of semilinear heat equations

Authors: James C. Robinson, Mikolaj Sierzega

Abstract: A semilinear heat equation $u_{t}=Δu+f(u)$ with nonnegative initial data in a subset of $L^{1}(Ω)$ is considered under the assumption that $f$ is nonnegative and nondecreasing and $Ω\subseteq \R^{n}$. A simple technique for proving existence and regularity based on the existence of supersolutions is presented, then a method of construction of local and global supersolutions is proposed. This appro… ▽ More A semilinear heat equation $u_{t}=Δu+f(u)$ with nonnegative initial data in a subset of $L^{1}(Ω)$ is considered under the assumption that $f$ is nonnegative and nondecreasing and $Ω\subseteq \R^{n}$. A simple technique for proving existence and regularity based on the existence of supersolutions is presented, then a method of construction of local and global supersolutions is proposed. This approach is applied to the model case $f(s)=s^{p}$, $φ\in L^{q}(Ω)$: new sufficient conditions for the existence of local and global classical solutions are derived in the critical and subcritical range of parameters. Some possible generalisations of the method to a broader class of equations are discussed. △ Less

Submitted 30 January, 2012; v1 submitted 1 November, 2011; originally announced November 2011.

Comments: Expanded version of the previous submission arXiv:1111.0258v1. 14 pages

MSC Class: 35K08; 35K58

Formal Iterated Logarithms and Exponentials and the Stirling Numbers

Authors: Thomas J. Robinson

Abstract: We calculate the formal analytic expansions of certain formal translations in a space of formal iterated logarithmic and exponential variables. The results show how the algebraic structure naturally involves the Stirling numbers of the first and second kinds, and certain extensions of these, which appear as expansion coefficients. We calculate the formal analytic expansions of certain formal translations in a space of formal iterated logarithmic and exponential variables. The results show how the algebraic structure naturally involves the Stirling numbers of the first and second kinds, and certain extensions of these, which appear as expansion coefficients. △ Less

Submitted 24 May, 2011; originally announced May 2011.

Comments: 24 pages

MSC Class: 05A18; 17B69

A note on well-posedness of semilinear reaction-diffusion problem with singular initial data

Authors: James C. Robinson, Mikołaj Sierżęga

Abstract: We discuss conditions for well-posedness of the scalar reaction-diffusion equation $u_{t}=Δu+f(u)$ equipped with Dirichlet boundary conditions where the initial data is unbounded. Standard growth conditions are juxtaposed with the no-blow-up condition $\int_{1}^{\infty}1/f(s) \d s=\infty$ that guarantees global solutions for the related ODE $\dot u=f(u)$. We investigate well-posedness of the toy P… ▽ More We discuss conditions for well-posedness of the scalar reaction-diffusion equation $u_{t}=Δu+f(u)$ equipped with Dirichlet boundary conditions where the initial data is unbounded. Standard growth conditions are juxtaposed with the no-blow-up condition $\int_{1}^{\infty}1/f(s) \d s=\infty$ that guarantees global solutions for the related ODE $\dot u=f(u)$. We investigate well-posedness of the toy PDE $u_{t}=f(u)$ in $L^{p}$ under this no-blow-up condition. An example is given of a source term $f$ and an initial condition $ψ\in L^{2}(0,1)$ such that $\int_{1}^{\infty}1/f(s)\d s=\infty$ and the toy PDE blows-up instantaneously while the reaction-diffusion equation is globally well-posed in $L^{2}(0,1)$. △ Less

Submitted 24 March, 2011; originally announced March 2011.

MSC Class: 35K57; 35K91

The motion of a fluid-rigid disc system at the zero limit of the rigid disc radius

Authors: Masoumeh Dashti, James C. Robinson

Abstract: We consider the two-dimensional motion of the coupled system of a viscous incompressible fluid and a rigid disc moving with the fluid, in the whole plane. The fluid motion is described by the Navier-Stokes equations and the motion of the rigid body by conservation laws of linear and angular momentum. We show that, assuming that the rigid disc is not allowed to rotate, as the radius of the disc goe… ▽ More We consider the two-dimensional motion of the coupled system of a viscous incompressible fluid and a rigid disc moving with the fluid, in the whole plane. The fluid motion is described by the Navier-Stokes equations and the motion of the rigid body by conservation laws of linear and angular momentum. We show that, assuming that the rigid disc is not allowed to rotate, as the radius of the disc goes to zero, the solution of this system converges, in an appropriate sense, to the solution of the Navier-Stokes equations describing the motion of only fluid in the whole plane. We also prove that the trajectory of the centre of the disc, at the zero limit of its radius, coincides with a fluid particle trajectory. △ Less

Submitted 15 February, 2011; originally announced February 2011.

Comments: 29 pages, 0 figures