BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

James C. Robinson

James C. Robinson contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.APmath.DSmath.CAmath.MG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
23works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

23 published item(s)

preprint2021arXiv

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

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).

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On the Assouad dimension of differences of self-similar fractals

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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}$

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$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On the Assouad dimension of self-similar sets with overlaps

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

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

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Generalised Cantor sets and the dimension of products

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)=α$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On the continuity of global attractors

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).

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Generalised Gagliardo-Nirenberg inequalities using weak Lebesgue spaces and BMO

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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

Let x(t) be a non-constant T-periodic solution to the ordinary differential equation x&#39;= 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&#39;s inequality for functions in W^{1,p}([0, T ], L^p(M, μ)).

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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

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$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Minimal periods of semilinear evolution equations with Lipschitz nonlinearity revisited

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Supersolutions for a class of semilinear heat equations

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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

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)$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A simple proof of uniqueness of the particle trajectories for solutions of the Navier-Stokes equations

We give a simple proof of the uniqueness of fluid particle trajectories corresponding to: 1) the solution of the two-dimensional Navier Stokes equations with an initial condition that is only square integrable, and 2) the local strong solution of the three-dimensional equations with an $H^{1/2}$-regular initial condition i.e.\ with the minimal Sobolev regularity known to guarantee uniqueness. This result was proved by Chemin & Lerner (J Diff Eq 121 (1995) 314-328) using the Littlewood-Paley theory for the flow in the whole space $\R^d$, $d\ge 2$. We first show that the solutions of the differential equation $\dot{X}=u(X,t)$ are unique if $u\in L^p(0,T;H^{(d/2)-1})$ for some $p>1$ and $\sqrt{t}\,u\in L^2(0,T;H^{(d/2)+1})$. We then prove, using standard energy methods, that the solution of the Navier-Stokes equations with initial condition in $H^{(d/2)-1}$ satisfies these conditions. This proof is also valid for the more physically relevant case of bounded domains.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Embedding of global attractors and their dynamics

Using shape theory and the concept of cellularity, we show that if $A$ is the global attractor associated with a dissipative partial differential equation in a real Hilbert space $H$ and the set $A-A$ has finite Assouad dimension $d$, then there is an ordinary differential equation in ${\mathbb R}^{m+1}$, with $m >d$, that has unique solutions and reproduces the dynamics on $A$. Moreover, the dynamical system generated by this new ordinary differential equation has a global attractor $X$ arbitrarily close to $LA$, where $L$ is a homeomorphism from $A$ into ${\mathbb R}^{m+1}$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Log-Lipschitz continuity of the vector field on the attractor of certain parabolic equations

We discuss various issues related to the finite-dimensionality of the asymptotic dynamics of solutions of parabolic equations. In particular, we study the regularity of the vector field on the global attractor associated with these equations. We show that certain dissipative partial differential equations possess a linear term that is log-Lipschitz continuous on the attractor. We then prove that this property implies that the associated global attractor $\mathcal A$ lies within a small neighbourhood of a smooth manifold, given as a Lipschitz graph over a finite number of Fourier modes. Consequently, the global attractor $\mathcal A$ has zero Lipschitz deviation and, therefore, there are linear maps $L$ into finite-dimensional spaces, whose inverses restricted to $L\mathcal A$ are Hölder continuous with an exponent arbitrarily close to one.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Almost bi-Lipschitz embeddings and almost homogeneous sets

This paper is concerned with embeddings of homogeneous spaces into Euclidean spaces. We show that any homogeneous metric space can be embedded into a Hilbert space using an almost bi-Lipschitz mapping (bi-Lipschitz to within logarithmic corrections). The image of this set is no longer homogeneous, but `almost homogeneous&#39;. We therefore study the problem of embedding an almost homogeneous subset $X$ of a Hilbert space $H$ into a finite-dimensional Euclidean space. In fact we show that if $X$ is a compact subset of a Banach space and $X-X$ is almost homogeneous then, for $N$ sufficiently large, a prevalent set of linear maps from $X$ into $\Re^N$ are almost bi-Lipschitz between $X$ and its image. We are then able to use the Kuratowski embedding of $(X,d)$ into $L^\infty(X)$ to prove a similar result for compact metric spaces.

0 citations0 reviewsNo code linkedOpen access