-
Full instability of boundary layers with the Navier boundary condition
Authors:
Lorenzo Quarisa,
José L. Rodrigo
Abstract:
We consider the problem of the stability of the Navier-Stokes equations in $\mathbb{T}\times \mathbb{R}_+$ near shear flows which are linearly unstable for the Euler equation. In \cite{greniernguyen}, the authors prove an $L^{\infty}$ instability result for the no-slip boundary condition which also denies the validity of the Prandtl boundary layer expansion. In this paper, we generalise this resul…
▽ More
We consider the problem of the stability of the Navier-Stokes equations in $\mathbb{T}\times \mathbb{R}_+$ near shear flows which are linearly unstable for the Euler equation. In \cite{greniernguyen}, the authors prove an $L^{\infty}$ instability result for the no-slip boundary condition which also denies the validity of the Prandtl boundary layer expansion. In this paper, we generalise this result to a Navier slip boundary condition with viscosity dependent slip length: $\partial_y u =ν^{-γ}u$ at $y=0$, where $γ>1/2$. This range includes the physical slip rate $γ=1$.
△ Less
Submitted 3 January, 2024; v1 submitted 23 October, 2023;
originally announced October 2023.
-
The adjoint Rayleigh and Orr-Sommerfeld equations: Green function and eigenmodes
Authors:
Lorenzo Quarisa,
José L. Rodrigo
Abstract:
The Rayleigh and Orr-Sommerfeld equations are ODEs which arise from the linearized Euler and Navier-Stokes equation around a shear flow. In this paper, we consider the adjoints of the Rayleigh and Orr-Sommerfeld equations on $[0,\infty)$ with respect to the complex $L^2$ product. In the viscous case, we consider a family of viscosity-dependent Navier boundary conditions, which in the limit corresp…
▽ More
The Rayleigh and Orr-Sommerfeld equations are ODEs which arise from the linearized Euler and Navier-Stokes equation around a shear flow. In this paper, we consider the adjoints of the Rayleigh and Orr-Sommerfeld equations on $[0,\infty)$ with respect to the complex $L^2$ product. In the viscous case, we consider a family of viscosity-dependent Navier boundary conditions, which in the limit corresponds to the no-slip condition. We rigorously establish existence and asymptotic properties of their eigenvalues, eigenmodes and Green functions away from critical layers. The adjoint operators prove useful because they also allow us to deduce properties about the kernels and images of the original operators.
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
Instability of Boundary Layers with the Navier Boundary Condition
Authors:
Lorenzo Quarisa,
José L. Rodrigo
Abstract:
We study the $L^{\infty}$ stability of the 2D Navier-Stokes equations with a viscosity-dependent Navier boundary condition around shear profiles which are linearly unstable for the Euler equation. The dependence from the viscosity is given in the Navier boundary condition as $\partial_y u = ν^{-γ}u$ for some $γ\in\mathbb{R}$, where $u$ is the tangential velocity. With the no-slip boundary conditio…
▽ More
We study the $L^{\infty}$ stability of the 2D Navier-Stokes equations with a viscosity-dependent Navier boundary condition around shear profiles which are linearly unstable for the Euler equation. The dependence from the viscosity is given in the Navier boundary condition as $\partial_y u = ν^{-γ}u$ for some $γ\in\mathbb{R}$, where $u$ is the tangential velocity. With the no-slip boundary condition, which corresponds to the limit $γ\to +\infty$, a celebrated result from E. Grenier provides an instability of order $ν^{1/4}$. M. Paddick proved the same result in the case $γ=1/2$, furthermore improving the instability to order one. In this paper, we extend these two results to all $γ\in \mathbb{R}$, obtaining an instability of order $ν^θ$, where $$θ:=\begin{cases} \frac{1}{4} &\text{if } γ\geq \frac{3}{4};\\ γ- \frac{1}{2} &\text{if } \frac{1}{2}<γ< \frac{3}{4};\\ 0 &\text{if } γ\leq \frac{1}{2}. \end{cases}$$ When $γ\geq 1/2$, the result denies the validity of the Prandtl boundary layer expansion around the chosen shear profile.
△ Less
Submitted 8 November, 2021; v1 submitted 21 October, 2021;
originally announced October 2021.
-
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.
-
Local Existence of Analytic Sharp Fronts for Singular SQG
Authors:
Calvin Khor,
José L. Rodrigo
Abstract:
In this paper, we prove local existence and uniqueness of analytic sharp-front solutions to a generalised SQG equation by the use of an abstract Cauchy--Kowalevskaya theorem. Here, the velocity is determined by $u = |\nabla|^{-2β}\nabla^\perpθ$ which (for $1<β\leq 2$) is more singular than in SQG. This is achieved despite the appearance of pseudodifferential operators of order higher than one in o…
▽ More
In this paper, we prove local existence and uniqueness of analytic sharp-front solutions to a generalised SQG equation by the use of an abstract Cauchy--Kowalevskaya theorem. Here, the velocity is determined by $u = |\nabla|^{-2β}\nabla^\perpθ$ which (for $1<β\leq 2$) is more singular than in SQG. This is achieved despite the appearance of pseudodifferential operators of order higher than one in our equation, by recasting our equation in a suitable integral form. We also provide a full proof of the abstract version of the Cauchy--Kowalevskaya theorem we use.
△ Less
Submitted 12 February, 2020; v1 submitted 28 January, 2020;
originally announced January 2020.
-
On Sharp Fronts and Almost-Sharp Fronts for singular SQG
Authors:
Calvin Khor,
José L. Rodrigo
Abstract:
In this paper we consider a family of active scalars with a velocity field given by $u = Λ^{-1+α}\nabla^{\perp} θ$, for $α\in (0,1)$. This family of equations is a more singular version of the two-dimensional Surface Quasi-Geostrophic (SQG) equation, which would correspond to $α=0$.
We consider the evolution of sharp fronts by studying families of almost-sharp fronts. These are smooth solutions…
▽ More
In this paper we consider a family of active scalars with a velocity field given by $u = Λ^{-1+α}\nabla^{\perp} θ$, for $α\in (0,1)$. This family of equations is a more singular version of the two-dimensional Surface Quasi-Geostrophic (SQG) equation, which would correspond to $α=0$.
We consider the evolution of sharp fronts by studying families of almost-sharp fronts. These are smooth solutions with simple geometry in which a sharp transition in the solution occurs in a tubular neighbourhood (of size $δ$). We study their evolution and that of compatible curves, and introduce the notion of a spine for which we obtain improved evolution results, gaining a full power (of $δ$) compared to other compatible curves.
△ Less
Submitted 28 January, 2020;
originally announced January 2020.
-
Non-conservation of dimension in divergence-free solutions of passive and active scalar systems
Authors:
Charles L. Fefferman,
Benjamin C. Pooley,
José L. Rodrigo
Abstract:
For any $h\in(1,2]$, we give an explicit construction of a compactly supported, uniformly continuous, and (weakly) divergence-free velocity field in $\mathbb{R}^2$ that weakly advects a measure whose support is initially the origin but for positive times has Hausdorff dimension $h$.
These velocities are uniformly continuous in space-time and compactly supported, locally Lipschitz except at one p…
▽ More
For any $h\in(1,2]$, we give an explicit construction of a compactly supported, uniformly continuous, and (weakly) divergence-free velocity field in $\mathbb{R}^2$ that weakly advects a measure whose support is initially the origin but for positive times has Hausdorff dimension $h$.
These velocities are uniformly continuous in space-time and compactly supported, locally Lipschitz except at one point and satisfy the conditions for the existence and uniqueness of a Regular Lagrangian Flow in the sense of Di Perna and Lions theory.
We then construct active scalar systems in $\mathbb{R}^2$ and $\mathbb{R}^3$ with measure-valued solutions whose initial support has co-dimension 2 but such that at positive times it only has co-dimension 1. The associated velocities are divergence free, compactly supported, continuous, and sufficiently regular to admit unique Regular Lagrangian Flows.
This is in part motivated by the investigation of dimension conservation for the support of measure-valued solutions to active scalar systems. This question occurs in the study of vortex filaments in the three-dimensional Euler equations.
△ Less
Submitted 29 September, 2021; v1 submitted 14 May, 2019;
originally announced May 2019.
-
Asymptotics for vortex filaments using a modified Biot-Savart kernel
Authors:
Benjamin C. Pooley,
José L. Rodrigo
Abstract:
We consider a family of approximations to the Euler equations obtained by adding $(-Δ)^{-α/2}$ to the non-locality in the Biot-Savart kernel together with a mollification (with parameter $\varepsilon$). We consider the evolution of a thin vortex tube. We show that the velocity on the filament (core of the tube) in the limit as $\varepsilon\to 0$ is given $\frac{C(α,t)}α κB + \mathcal O(1)$ where…
▽ More
We consider a family of approximations to the Euler equations obtained by adding $(-Δ)^{-α/2}$ to the non-locality in the Biot-Savart kernel together with a mollification (with parameter $\varepsilon$). We consider the evolution of a thin vortex tube. We show that the velocity on the filament (core of the tube) in the limit as $\varepsilon\to 0$ is given $\frac{C(α,t)}α κB + \mathcal O(1)$ where $κ$ and $B$ are the curvature and binormal of the curve, and $C$, $C^{-1}$ are uniformly bounded.
△ Less
Submitted 18 March, 2019;
originally announced March 2019.
-
On the singularity formation and relaxation to equilibrium in 1D Fokker-Planck model with superlinear drift
Authors:
José A. Carrillo,
Katharina Hopf,
José L. Rodrigo
Abstract:
We consider a class of Fokker--Planck equations with linear diffusion and superlinear drift enjoying a formal Wasserstein-like gradient flow structure with convex mobility function. In the drift-dominant regime, the equations have a finite critical mass above which the measure minimising the associated entropy functional displays a singular component. Our approach, which addresses the one-dimensio…
▽ More
We consider a class of Fokker--Planck equations with linear diffusion and superlinear drift enjoying a formal Wasserstein-like gradient flow structure with convex mobility function. In the drift-dominant regime, the equations have a finite critical mass above which the measure minimising the associated entropy functional displays a singular component. Our approach, which addresses the one-dimensional case, is based on a reformulation of the problem in terms of the pseudo-inverse distribution function. Motivated by the structure of the equation in the new variables, we establish a general framework for global-in-time existence, uniqueness and regularity of monotonic viscosity solutions to a class of nonlinear degenerate (resp. singular) parabolic equations, using as a key tool comparison principles and maximum arguments. We then focus on a specific equation and study in more detail the regularity and dynamics of solutions. In particular, blow-up behaviour, formation of condensates (i.e. Dirac measures at zero) and long-time asymptotics are investigated. As a consequence, in the mass-supercritical case, solutions will blow up in $L^\infty$ in finite time and---understood in a generalised, measure sense---they will eventually have condensate. We further show that the singular part of the measure solution does in general interact with the density and that condensates can be transient. The equations considered are motivated by a model for bosons introduced by Kaniadakis and Quarati (1994), which has a similar entropy structure and a critical mass if $d\ge3$.
△ Less
Submitted 24 October, 2019; v1 submitted 30 January, 2019;
originally announced January 2019.
-
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.
-
Aggregation equations with fractional diffusion: preventing concentration by mixing
Authors:
Katharina Hopf,
José L. Rodrigo
Abstract:
We investigate a class of aggregation-diffusion equations with strongly singular kernels and weak (fractional) dissipation in the presence of an incompressible flow. Without the flow the equations are supercritical in the sense that the tendency to concentrate dominates the strength of diffusion and solutions emanating from sufficiently localised initial data may explode in finite time. The main p…
▽ More
We investigate a class of aggregation-diffusion equations with strongly singular kernels and weak (fractional) dissipation in the presence of an incompressible flow. Without the flow the equations are supercritical in the sense that the tendency to concentrate dominates the strength of diffusion and solutions emanating from sufficiently localised initial data may explode in finite time. The main purpose of this paper is to show that under suitable spectral conditions on the flow, which guarantee good mixing properties, for any regular initial datum the solution to the corresponding advection-aggregation-diffusion equation is global if the prescribed flow is sufficiently fast. This paper can be seen as a partial extension of Kiselev and Xu (Arch. Rat. Mech. Anal. 222(2), 2016), and our arguments show in particular that the suppression mechanism for the classical 2D parabolic-elliptic Keller-Segel model devised by Kiselev and Xu also applies to the fractional Keller-Segel model (where $\triangle$ is replaced by $-Λ^γ$) requiring only that $γ>1$. In addition, we remove the restriction to dimension $d<4$.
△ Less
Submitted 16 March, 2017;
originally announced March 2017.
-
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.
-
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.
-
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.
-
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.
