Searcharxiv⌕ Search

arXiv subjects

Zachary Bradshaw

Publications and source records attributed to Zachary Bradshaw.

At least 19 recordsLinked to original sources

Singular stationary Navier-Stokes flows: examples and stability

Landau solutions, when oriented along the vertical axis, represent a one parameter family of exact, self-similar, axisymmetric, swirl-free solutions to the 3D stationary Navier-Stokes equations forced by an upward facing point-source of momentum at the origin. They have an isolated singularity at the origin. Other singular steady state solutions can be derived from a similar framework. Some of these variants have been proposed as models for physical scenarios. For example, a solution first found by Squire has been proposed as a model of a fluid entrained to a radially discharging surface layer of oil. Another, Serrin's swirling vortex, exhibits qualitative features shared with some tornadoes, like a two-cell structure consisting of a central downdraft and peripheral updraft as well as swirl. The first objective of this paper is to provide a detailed analysis of these and other examples, especially when boundaries are present. In this direction we find several new, physically motivated classes of solutions and identify new connections between the physics literature and the mathematics literature. Many of these examples are formulated on the half-space, but much of the mathematical literature on singular steady-state solutions is for the whole-space. The second objective of this paper is to establish asymptotic stability for many of these solutions by formulating the problem in domains with boundaries. Our most general result requires a new approach to asymptotic stability that is based on eventual regularity. As a special case, we prove that a class of steady-state solutions motivated by Serrin's swirling vortex are stable under axisymmetric perturbations. This requires a novel observation because these solutions are too singular -- they are called ``Type III'' in the literature -- to be directly amenable to existing approaches.

math.AP↗

Time asymptotics, time regularity and separation rates for Navier-Stokes flows in supercritical solution classes

This paper extends the weak solution theory for the 3D Navier-Stokes equations of Barker, Seregin and Sverak from a critical setting to a supercritical setting making sure to include a useful a priori energy bound as well as a statement about stability under weak-star convergence. Two applications of the a priori bound are then explored. The first provides a spatially local, short-time asymptotic expansion in the time variable starting at $t=0$ which, as a corollary, provides an upper bound on how fast hypothetical non-unique solutions to the Navier-Stokes equations can separate locally. The second establishes higher-order time regularity at a singular time and at spatial points positioned away from the singularity. This quantifies the degree to which the non-local nature of the pressure allows a far flung singularity to disrupt the time regularity at a regular point.

math.AP↗

The structure of weak solutions to the Navier-Stokes equations

The existence of superfluous solutions to the Navier-Stokes equations in the whole space implies that not all solutions with uniformly locally bounded energy satisfy a useful local pressure expansion. We prove that every weak solution in a parabolic uniformly local $L^2$ class can be obtained as a transgalilean transformation of a solution satisfying the local pressure expansion in a distributional sense. This gives a powerful representation theorem for a large class of solutions. We use this structure to obtain a sufficient condition for the local pressure expansion.

math.AP↗

Regularity, uniqueness and the relative size of small and large scales in SQG flows

The problem of regularity and uniqueness are open for the supercritically dissipative surface quasi-geostrophic equations in certain classes. In this note we examine the extent to which small or large scales are necessarily active both for the temperature in a hypothetical blow-up scenario and for the error in hypothetical non-uniqueness scenarios, the latter understood within the class of Marchand's solutions. This extends prior work for the 3D Navier-Stokes equations. The extension is complicated by the fact that mild solution techniques are unavailable for supercritical SQG. This forces us to develop a new approach using energy methods and Littlewood-Paley theory.

math.AP↗

Asymptotic properties of discretely self-similar Navier-Stokes solutions with rough data

In this paper we explore the extent to which discretely self-similar (DSS) solutions to the 3D Navier-Stokes equations with rough data almost have the same asymptotics as DSS flows with smoother data. In a previous work, we established algebraic spatial decay rates for data in $L^q_{loc}(\mathbb{R}^3\setminus\{0\})$ for $q\in (3,\infty]$. The optimal rate occurs when $q=\infty$ and rates degrade as $q$ decreases. In this paper, we show that these solutions can be further decomposed into a term satisfying the optimal $q=\infty$ decay rate -- i.e.~have asymptotics like $(|x|+\sqrt t)^{-1}$ -- and a term with the $q<\infty$ decay rate multiplied by a prefactor which can be taken to be arbitrarily small. This smallness property is new and implies the $q<\infty$ asymptotics should be understood in a little-o sense. The decay rates in our previous work broke down when $q=3$, in which case spatial asymptotics have not been explored. The second result of this paper shows that DSS solutions with data in $L^3_{loc}(\mathbb{R}^3\setminus\{0\})$ can be expanded into a term satisfying the $(|x|+\sqrt t)^{-1}$ decay rate and a term that can be taken to be arbitrarily small in a scaling invariant class. A Besov space version of this result is also included.

math.AP↗

Asymptotic stability for the 3D Navier-Stokes equations in $L^3$ and nearby spaces

We provide a short proof of $L^3$-asymptotic stability around vector fields that are small in weak-$L^3$, including small Landau solutions. We show that asymptotic stability also holds for vector fields in the range of Lorentz spaces strictly between $L^3$ and weak-$L^3$, as well as in the closure of the test functions in weak-$L^3$. To provide a comprehensive perspective on the matter, we observe that asymptotic stability of Landau solutions does not generally extend to weak-$L^3$ via a counterexample.

math.AP↗

Global Navier-Stokes flows in intermediate spaces

We construct global weak solutions of the three dimensional incompressible Navier-Stokes equations in intermediate spaces between the space of uniformly locally square integrable functions and Herz-type spaces which involve weighted integrals centered at the origin. Our results bridge the existence theorems of Lemarié-Rieusset and of Bradshaw, Kukavica and Tsai. An application to eventual regularity is included which generalizes the prior work of Bradshaw, Kukavica and Tsai as well as Bradshaw, Kukavica and Ozanski.

math.AP↗

Remarks on the separation of Navier-Stokes flows

Recently, strong evidence has accumulated that some solutions to the Navier-Stokes equations in physically meaningful classes are not unique. The primary purpose of this paper is to establish necessary properties for the error of hypothetical non-unique Navier-Stokes flows under conditions motivated by the scaling of the equations. Our first set of results show that some scales are necessarily active -- comparable in norm to the full error -- as solutions separate. `Scale' is interpreted in several ways, namely via algebraic bounds, the Fourier transform and discrete volume elements. These results include a new type of uniqueness criteria which is stated in terms of the error. The second result is a conditional predictability criteria for the separation of small perturbations. An implication is that the error necessarily activates at larger scales as flows de-correlate. The last result says that the error of the hypothetical non-unique Leray-Hopf solutions of Jia and Sverak locally grows in a self-similar fashion. Consequently, within the Leray-Hopf class, energy can de-correlate at a rate which is faster than linear. This contrasts numerical work on predictability which identifies a linear rate. This discrepancy can likely be explained by the fact that non-uniqueness can be viewed as a perturbation of a singular flow.

math.AP↗

Convergence of a mobile data assimilation scheme for the 2D Navier-Stokes equations

We introduce a localized version of the nudging data assimilation algorithm for the periodic 2D Navier-Stokes equations in which observations are confined (i.e., localized) to a window that moves across the entire domain along a predetermined path at a given speed. We prove that, if the movement is fast enough, then the algorithm perfectly synchronizes with a reference solution. The analysis suggests an informed scheme in which the subdomain moves according to a region where the error is dominant is optimal. Numerical simulations are presented that compare the efficacy of movement that follows a regular pattern, one guided by the dominant error, and one that is random.

math.AP↗

Mild solutions and spacetime integral bounds for Stokes and Navier-Stokes flows in Wiener amalgam spaces

We first prove decay estimates and spacetime integral bounds for Stokes flows in amalgam spaces $E^r_q$ which connect the classical Lebesgue spaces to the spaces of uniformly locally $r$-integrable functions. Using these estimates, we construct mild solutions of the Navier-Stokes equations in the amalgam spaces satisfying the corresponding spacetime integral bounds. Time-global solutions are constructed for small data in $E^3_q$, $1\le q \le 3$. Our results provide new bounds for the strong solutions classically constructed by Kato and the more recent solutions in uniformly local spaces constructed by Maekawa and Terasawa. As an application we obtain a result on the stability of suitability for weak solutions to the perturbed Navier-Stokes equation where the drift velocity solves the Navier-Stokes equations and has small data in a local $L^3$ class. Extending an earlier result, we also construct global-in-time local energy weak solutions in $E^2_q$, $1\le q <2$.

math.AP↗

Estimation of non-uniqueness and short-time asymptotic expansions for Navier-Stokes flows

There is considerable evidence that solutions to the non-forced 3D Navier-Stokes equations in the natural energy space are not unique. Assuming this is the case, it becomes important to quantify how non-uniqueness evolves. In this paper we provide an algebraic estimate for how rapidly two possibly non-unique solutions can separate over a compact spatial region in which the initial data has sub-critical regularity. Outside of this compact region, the data is only assumed to be in the scaling critical weak Lebesgue space and can be large. In order to establish this separation rate, we develop a new spatially local, short-time asymptotic expansion which is of independent interest.

math.AP↗

Remarks on sparseness and regularity of Navier-Stokes solutions

The goal of this paper is twofold. First, we give a simple proof that sufficiently sparse Navier--Stokes solutions do not develop singularities. This provides an alternative to the approach of \cite{Grujic2013}, which is based on analyticity and the `harmonic measure maximum principle'. Second, we analyze the claims in \cite{algebraicreduction,grujic2019asymptotic} that \emph{a priori} estimates on the sparseness of the vorticity and higher velocity derivatives reduce the 'scaling gap' in the regularity problem.

math.AP↗

Spatial decay of discretely self-similar solutions to the Navier-Stokes equations

Forward self-similar and discretely self-similar weak solutions of the Navier-Stokes equations are known to exist globally in time for large self-similar and discretely self-similar initial data and are known to be regular outside of a space-time paraboloid. In this paper, we establish spatial decay rates for such solutions which hold in the region of regularity provided the initial data has locally sub-critical regularity away from the origin. In particular, we (1) lower the Hölder regularity of the data required to obtain an optimal decay rate for the nonlinear part of the flow compared to the existing literature, (2) establish new decay rates without logarithmic corrections for some smooth data, (3) provide new decay rates for solutions with rough data, and, as an application of our decay rates, (4) provide new upper bounds on how rapidly potentially {non-unique}, scaling invariant local energy solutions can separate away from the origin.

math.AP↗

Non-decaying solutions to the critical surface quasi-geostrophic equations with symmetries

We develop a theory of self-similar solutions to the critical surface quasi-geostrophic equations. We construct self-similar solutions for arbitrarily large data in various regularity classes and demonstrate, in the small data regime, uniqueness and global asymptotic stability. These solutions are non-decaying as $|x| \to +\infty$, which leads to ambiguity in the velocity $\vec{R}^\perp θ$. This ambiguity is corrected by imposing $m$-fold rotational symmetry. The self-similar solutions exhibited here lie just beyond the known well-posedness theory and are expected to shed light on potential non-uniqueness, due to symmetry-breaking bifurcations, in analogy with work \cite{jiasverakillposed,guillodsverak} on the Navier-Stokes equations.

math.AP↗

Global weak solutions of the Navier-Stokes equations for intermittent initial data in half-space

We prove existence of global-in-time weak solutions of the incompressible Navier-Stokes equations in the half-space $\mathbb{R}^3_+$ with initial data in a weighted space that allow non-uniformly locally square integrable functions that grow at spatial infinity in an intermittent sense. The space for initial data is built on cubes whose sides $R$ are proportional to the distance to the origin and the square integral of the data is allowed to grow as a power of $R$. The existence is obtained via a new a priori estimate and stability result in the weighted space, as well as new pressure estimates. Also, we prove eventual regularity of such weak solutions, up to the boundary, for $(x,t)$ satisfying $t>c_1|x|^2 + c_2$, where $c_1,c_2>0$, for a large class of initial data $u_0$, with $c_1$ arbitrarily small. As an application of the existence theorem, we construct global discretely self-similar solutions, thus extending the theory on the half-space to the same generality as the whole space.

math.AP↗

Local energy solutions to the Navier-Stokes equations in Wiener amalgam spaces

We establish existence of solutions in a scale of classes weaker than the finite energy Leray class and stronger than the infinite energy Lemarié-Rieusset class. The new classes are based on the $L^2$ Wiener amalgam spaces. Solutions in the classes closer to the Leray class are shown to satisfy some properties known in the Leray class but not the Lemarié-Rieusset class, namely eventual regularity and long time estimates on the growth of the local energy. In this sense, these solutions bridge the gap between Leray's original solutions and Lemarié-Rieusset's solutions and help identify scalings at which certain properties may break down.

math.AP↗

Data assimilation for the Navier-Stokes equations using local observables

We develop, analyze, and test an approximate, global data assimilation/synchronization algorithm based on purely local observations for the two-dimensional Navier-Stokes equations on the torus. We prove that, for any error threshold, if the reference flow is analytic with sufficiently large analyticity radius, then it can be recovered within that threshold. Numerical computations are included to demonstrate the effectiveness of this approach, as well as variants with data on moving subdomains. In particular, we demonstrate numerically that machine precision synchronization is achieved for mobile data collected from a small fraction of the domain.

math.AP↗

On the local pressure expansion for the Navier-Stokes equations

We show that the pressure associated with a distributional solution of the Navier-Stokes equations on the whole space satisfies a local expansion defined as a distribution if and only if the solution is mild. This gives a new perspective on Lemarié-Rieusset's "equivalence theorem." Here, the Leray projection operator composed with a gradient is defined without using the Littlewood-Paley decomposition. Prior sufficient conditions for the local expansion assumed spatial decay or estimates on the gradient and imply the considered solution is mild. An important tool is an explicit description of the bounded mean oscillation solution to a Poisson equation, which we examine in detail. As applications we include an improvement of a uniqueness criteria by the authors in Morrey spaces and revisit a proof of a regularity criteria in dynamically restricted local Morrey spaces due to Grujić and Xu.

math.AP↗