I was recently asked to contribute a short comment to Nature Reviews Physics, as part of a series of articles on fluid dynamics on the occasion of the 200th anniversary (this August) of the birthday of George Stokes. My contribution is now online as “Searching for singularities in the Navier–Stokes equations“, where I discuss the global regularity problem for Navier-Stokes and my thoughts on how one could try to construct a solution that blows up in finite time via an approximately discretely self-similar “fluid computer”. (The rest of the series does not currently seem to be available online, but I expect they will become so shortly.)

### Like this:

Like Loading...

## 24 comments

Comments feed for this article

31 May, 2019 at 12:08 pm

AnonymousIt seems that since it is not yet known if a “special initial data” (which leads to a finite time blowup) exists, at least one may try to find necessary properties that such “special initial data” must satisfy, and perhaps even upper bound on the probability of choosing randomly such special initial data (assuming the initial data to be randomly chosen according to some probabilistic rule)

1 June, 2019 at 11:45 pm

AnonymousIs it possible that such “special initial data” (leading to a finite time blowup) exists but can’t be described by finitely many parameters (or even can’t be constructed by a finite complexity algorithm) which may explain the extreme difficulties of its construction?

31 May, 2019 at 12:38 pm

Robert SmartIs this available unpaywalled? If not then I hope you got paid an amount that is commensurate with the effort. I don’t like the business model of “let’s have a commemorative issue to trick the stars of the field to work for us cheaply”.

31 May, 2019 at 1:22 pm

Anonymousscihub -> https://doi.org/10.1038/s42254-019-0068-9

1 June, 2019 at 8:03 pm

AnonymousThe NatureReviews tweet contains a link to an unpaywalled version.

1 June, 2019 at 7:18 am

Marshall FlaxI’m wondering why the spelling “programme” … wouldn’t “program” give the sense that you were programming a computer-like system?

1 June, 2019 at 7:36 am

AnonymousAmerican English always uses program. British English uses programme unless referring to computers. Australian English recommends program for official usage, but programme is still in common use. I think Prof. Tao was in Australia when he learned how to spell words.

1 June, 2019 at 8:19 am

jair2018Awesome

1 June, 2019 at 9:29 am

AnonymousIs there any interesting recent progress (since your last few blog posts) in this area? Thanks.

2 June, 2019 at 9:43 am

Gil KalaiI remember from the old posts that Terry Tao’s strategy for negative answer was (a) NS allows computation and therefore (b) NS has singularities. It is therefore also interesting to understand what the negation of (a) means, which is a weaker statement than regularity. Unlike computational complexity issues here for (a) or its negation we allow very wild forms of reductions. The formal description of (a) or its negation in this context is very interesting and I’d love to see it again.

2 June, 2019 at 7:47 pm

goingtoinfinityThis sounds very interesting. Could you elaborate more on the formalisation of (a), i.e. “NS allows computation”? How can one formalize “computation” in this context? This sounds like a very challenging question. I would be very happy for more information what you have in mind, or references to related topics. Thank you!

3 June, 2019 at 3:21 pm

AnonymousThe previous post you’re thinking of may have been this:

https://terrytao.wordpress.com/2014/02/04/finite-time-blowup-for-an-averaged-three-dimensional-navier-stokes-equation/

I don’t think computation was exactly formalized, but rather the idea was that if you can implement logic gates using moving fluids, you can turn them into a fluid computer, and part of the problem was how to formalize that and get it to work. Or maybe finding and implementing something like “rule 110” in a 3-d neighborhood is equivalent.

If you have blowup in the form of a self-reproducing machine like in the earlier post, do you automatically get universality? I’ll guess “yes” for the same reason that Conway’s Life is universal (if you can make an array of such machines you can possibly also get them to turn each other on and off), but I don’t have anywhere near the technical knowledge to try to prove that.

4 June, 2019 at 2:51 am

AnonymousIn order for any “fluidic logic gates” to be practical, they must be robust to small disturbances during their operation. So their (still unknown) mere existence is not sufficient and the additional requirement of rubustness is required for their operation.

4 June, 2019 at 8:21 am

AnonymousMaybe I’m missing something but I don’t see a need for robustness here. It’s ok for the solution to only work on a set of measure 0. Nobody is proposing constructing these gates out of physical materials. It’s more like the Banach-Tarski paradox, a purely mathematical (non-)construction.

4 June, 2019 at 10:40 am

AnonymousIf there is a proof for the existence of such gates, it would be interesting to know if such a proof can be made constructive or it must depend on nonconstructive existence methods (e.g. by using the axiom of choice.)

4 June, 2019 at 9:06 pm

AnonymousOh sorry, that can’t happen, I only compared Banach-Tarski in the sense that it’s a purely mathematical conception that can’t be implemented with physical objects. Another reason NS blowup can’t be physical is that there has to be a finite time interval in which the fluid is moving faster than light.

NS uniformity is a statement as mentioned by Prof. Tao in an old MO post. Blowup is the negation of uniformity so it is only . So Schoenfeld’s absoluteness theorem implies that if uniformity (or alternatively blowup) can be proved in ZFC then it can be proved in ZF without AC.

If I got that wrong someone please yell at me.

5 June, 2019 at 3:29 am

AnonymousIt seems that in order to get a clearer description of the concept of finite time blowup, one should try to give a precise definition for the “singular set” of “blowup points” (probably with complete classification of the “blowup points” into several classes of rigorously defined “blowup types”) and study properties of this singular set – which might be a very complicated fractal-like set (possibly due to turbulences.)

2 June, 2019 at 12:18 pm

LLooks like a prediction is made in physics just like Einstein made. Only way to test is by experimental physicists and why is the baton not passed?

3 June, 2019 at 11:15 am

AnonymousThis is a math question, not physics. In physical fluid dynamics, NS has to break down once you get to the molecular level. The math question is about how a differential equation behaves in a continuum.

5 June, 2019 at 2:20 pm

dfwhat a blog!

6 June, 2019 at 1:11 pm

HSSurprised that you didn’t reference the recent remarkable work of Buckmaster and Vicol on Navier-Stokes using the method of convex integration.

7 June, 2019 at 7:37 am

Terence TaoThis is partly due to the restrictions of the format (~1200 words, five references maximum, though the editors did eventually allow me to breach the latter limit) but also because the problem of constructing pathological weak solutions concerns a somewhat different regime of Navier-Stokes than the global regularity problem. In the latter, the solution is initially smooth and the forcing term is either absent or assumed to also be smooth; the singularities, if any, are purely caused by the nonlinear terms overcoming the effects of dissipation due to the supercriticality of the problem. In the former, one is working with weak solutions, which roughly speaking corresponds to (weak limits of) classical solutions with extremely high frequency forcing terms. The pathologies of the solution are then caused primarily by the interactions between the nonlinearity and the high frequency forcing term, with the dissipation actually playing only a minor role, in particular there is no noticeable role played by supercriticality.

7 June, 2019 at 8:15 am

AnonymousI’m not sure if you can make corrections, but $p:[0,+\infty)\times\mathbb{R}^3\to \mathbb{R}^3$ should be $p:[0,+\infty)\times\mathbb{R}^3\to \mathbb{R}$

7 June, 2019 at 3:07 pm

AnonymousCan we describe initial conditions for the navier strokes that simulate the n body problem in gravity?