Search arXivSearch

arXiv · 1902.01985

Charles Bouton and the Navier-Stokes Global Regularity Conjecture

Abstract

This article examines the Bouton-Lie group invariants of the Navier-Stokes equation (NSE) for incompressible fluids. Bouton's theory is applied to the general scaling transformation admitted by the NSE and is used to derive all self-similar solutions. In light of these, the criticality of the standard NSE system is examined and criticality criteria are derived. The theorem of Beale-Kato-Majda is used to rule out blow-up for a subset of Bouton's self-similar solutions. For a subset of Leray's self-similar solutions, the cavitation number of the fluid is found to be a scale-invariant, conserved quantity. By extending the analysis of Bouton to higher-dimensioned manifolds, additional conserved quantities are found, which could further elucidate the physics of fluid turbulence.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

J. G. Polihronov. 2022-06-02. Charles Bouton and the Navier-Stokes Global Regularity Conjecture. https://doi.org/10.1063/5.0101855

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Continued-Fraction Criterion for the Flint Hills Series, and the Integer Sequences It Generates

The Flint Hills series is the sum of the reciprocals of the cube of an integer times the square of the sine of that integer, taken over the positive integers, and whether it converges is a well-known open problem, tied to the irrationality measure of pi. We show that its convergence is governed entirely by an integer sequence, namely the sequence of partial quotients of the continued fraction of the reciprocal of pi. We prove that the series converges if and only if the sum of the squares of consecutive partial quotients, each divided by the corresponding convergent denominator, is finite. This transforms an analytic problem into an explicit statement about the growth of a single integer sequence, already catalogued by Sloane, and about the sequence of convergent denominators. We isolate the finite integer spikes produced by the exceptionally large partial quotient at position five, we describe the indices at which such spikes occur, and we show, using the Gauss-Kuzmin statistics of partial quotients, that for almost every real number the corresponding series converges. The reciprocal of pi is thus a single arithmetic point inside a set of measure zero.

math.GM

A simple method of computing Riemann-type integrals

The "Riemann-type integrals" of the title are not a single new integral, but the family of classical constructions -- Riemann, Riemann-Stieltjes, Young-Kondurar, complex-analytic, and Itô -- unified by one elementary method. We give a simple argument computing the Riemann integral of a polynomial directly, establishing the fundamental theorem of calculus for polynomials and then continuous functions. The same idea extends to the real line, the complex plane, the multidimensional case, the Riemann-Stieltjes integral, and the Itô integral of a polynomial of a Wiener process (more generally, a continuous semimartingale), recovering the classical Itô formula. The contribution is methodological: a single algebraic telescoping identity, paired with an estimate on a quadratic remainder term, drives every case. What changes is only the remainder's fate: it vanishes identically for polynomials on $\mathbb{R}$; it vanishes in the limit under a quadratic-variation condition $Q(π)\to0$ on $\mathbb{C}$ and for Hölder paths; and for a continuous semimartingale it survives as the quadratic variation producing the Itô correction -- except for a planar Brownian motion, or more generally a conformal martingale, where an algebraic cancellation inside the complex square removes it again. We regard this last point -- that the Itô correction and its cancellation in the conformal case are two instances of the same quadratic remainder, not unrelated facts -- as the paper's most distinctive observation. The manuscript has three parts: Part I develops the core method on $\mathbb{R}$ and $\mathbb{C}$; Part II extends it deterministically to the multidimensional, Riemann-Stieltjes, and Hölder (Young-Kondurar) cases; Part III extends it to the stochastic setting.

math.GM

Counting Type I and Type II solutions of the Erdos-Straus equation: concentration, local obstructions, and a pointwise comparison

For a prime p >= 5 let f_I(p) and f_II(p) count the Type I and Type II solutions of the Erdos-Straus equation 4/p = 1/x + 1/y + 1/z, in the sense of Elsholtz and Tao. We do not address the Erdos-Straus conjecture itself; our subject is the number of solutions. We turn a bijection of Bradford into an exact counting identity: f_I(p) and f_II(p) are sums, over the denominators n coprime to p, of the number of divisors of n^2 in a single residue class modulo e_n = 4n - p. A dual identity puts both counts on the same integer and the same modulus, distinguished only by the classes -p and -1. Our main unconditional result holds for every numerator m: the number of Type II solutions of m/p = 1/x + 1/(pY) + 1/(pZ) with Y <= K is at most sum_{n <= K} tau(n) = K log K + O(K), uniformly in p and m; on average over p <= N it is only O_m((log K)^3 log log K). Hence Type II solutions concentrate at x/p -> 1/m, while Type I solutions cannot. The numerator carries arithmetic information in two independent ways. A real character chi modulo e_n that is trivial on the primes dividing n annihilates Type II when chi(-1) = -1, and Type I when chi(-1)chi(m_0) = -1, where m_0 is the squarefree kernel of m; these coincide exactly when m is a square, so for the numerator 4 no criterion modulo squares can separate the two types. Separately, f_I(n) = f_II(n) = 0 for every odd perfect square n whenever 4 divides m, generalising a theorem of Elsholtz and Tao. Finally we prove the sharp local inequality 2B(n) >= A(n) for e_n in {1,3,5}, with a construction showing it fails for every odd e with 7 <= e <= 2*10^4; we conjecture f_I(p) > f_II(p) for all p > 5 with p not congruent to 1 mod 8, verify this for p <= 10^6, and reduce it to a finite window. We also locate exactly the factor log log N in the Elsholtz-Tao upper bound for the sum of f_I(p).

math.GM