Source author record

David S. McCormick

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

5works
1topics
4close collaborators

Published work

5 publications

preprint2016arXiv

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

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

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 Rn\mathbb{R}^{n}, n=2,3n=2,3, for divergence-free initial data in certain Besov spaces, namely u0∈B2,1n/2−1\boldsymbol{u}_{0} \in B^{n/2-1}_{2,1} and B0∈B2,1n/2\boldsymbol{B}_{0} \in B^{n/2}_{2,1}. The a priori estimates include the term ∫0t∥u(s)∥Hn/22 ds\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 Hn/2−1H^{n/2-1}. In 2D, this is simply achieved using the standard energy inequality; but in 3D an auxiliary estimate in H1/2H^{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.

preprint2015arXiv

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

If uu is a smooth solution of the Navier--Stokes equations on R3{\mathbb R}^3 with first blowup time TT, we prove lower bounds for uu in the Sobolev spaces H˙3/2\dot H^{3/2}, H˙5/2\dot H^{5/2}, and the Besov space B˙2,15/2\dot B^{5/2}_{2,1}, with optimal rates of blowup: we prove the strong lower bounds ∥u(t)∥H˙3/2≥c(T−t)−1/2\|u(t)\|_{\dot H^{3/2}}\ge c(T-t)^{-1/2} and ∥u(t)∥B˙2,15/2≥c(T−t)−1\|u(t)\|_{\dot B^{5/2}_{2,1}}\ge c(T-t)^{-1}, but in H˙5/2\dot H^{5/2} we only obtain the weaker result lim sup⁡t→T−(T−t)∥u(t)∥H˙5/2≥c\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 uu.

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 L1L^{1} and a strengthened form of the Ladyzhenskaya inequality ∥f∥L4≤c∥f∥L2,∞1/2∥∇f∥L21/2, \| 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.

preprint2013arXiv

Generalised Gagliardo-Nirenberg inequalities using weak Lebesgue spaces and BMO

Using elementary arguments based on the Fourier transform we prove that for 1≤q<p<∞1 \leq q < p < \infty and s≥0s \geq 0 with s>n(1/2−1/p)s > n(1/2-1/p), if f∈Lq,∞(Rn)∩H˙s(Rn)f \in L^{q,\infty}(\R^n) \cap \dot{H}^s(\R^n) then f∈Lp(Rn)f \in L^p(\R^n) and there exists a constant cp,q,sc_{p,q,s} such that ∥f∥Lp≤cp,q,s∥f∥Lq,∞θ∥f∥H˙s1−θ, \|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)1/p = θ/q + (1-θ)(1/2-s/n). In particular, in R2\R^2 we obtain the generalised Ladyzhenskaya inequality ∥f∥L4≤c∥f∥L2,∞1/2∥f∥H˙11/2\|f\|_{L^4}\le c\|f\|_{L^{2,\infty}}^{1/2}\|f\|_{\dot H^1}^{1/2}. We also show that for s=n/2s=n/2 the norm in ∥f∥H˙n/2\|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.

Research graph

See the researcher in context

Open full explorer

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

Building this map preview

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