pith. sign in

arxiv: 2606.12267 · v1 · pith:MMO3MQ6Enew · submitted 2026-06-10 · 🧮 math.AP

Schur Visibility and Anti-Phantom Reduction in One-Component Navier-Stokes Degeneration

Pith reviewed 2026-06-27 09:01 UTC · model grok-4.3

classification 🧮 math.AP
keywords Navier-Stokes equationsone-component degenerationSchur visibilityanti-phantom reductiontrace-obstruction skeletonLojasiewicz controlpartial regularity
0
0 comments X

The pith

In an abstract trace-obstruction skeleton the standard observable package fails to force a rate for one-component Navier-Stokes degeneration.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies finite-scale one-component degeneration for suitable weak solutions of the three-dimensional incompressible Navier-Stokes equations under a scale-invariant bound with small vertical component. It proves that the old observable package cannot deliver a logarithmic or power selected-trace rate inside an explicitly abstract trace-obstruction skeleton. After parabolic trace drop removes elementary high-frequency escape and finite-dimensional Lojasiewicz control removes fixed-window analytic obstructions, the remaining barrier is an all-order finite-mode flat branch. Control of this branch requires the Navier-Stokes-specific mechanism of relaxed vertical-pressure visibility to produce anti-phantom reduction, which yields a conditional dichotomy between relaxed anti-phantom closure and an NS-realizable singular cascade.

Core claim

In the explicitly abstract trace-obstruction skeleton associated with the old observable closure, the standard old observable package is insufficient to force a logarithmic or power selected-trace rate. After excluding elementary high-frequency escape by parabolic trace drop and fixed-window analytic obstruction by finite-dimensional Lojasiewicz control, the remaining obstruction is an all-order finite-mode flat branch. The Navier-Stokes-specific mechanism needed to control this branch is that strict Schur trace-projectability may fail, but the resulting defect can be visible through the relaxed vertical-pressure channel. In active finite-window models strict Schur phantoms are relaxed-visib

What carries the argument

relaxed vertical-pressure channel for anti-phantom reduction, which renders strict Schur phantoms relaxed-visible

If this is right

  • Either relaxed anti-phantom closure holds and yields conditional logarithmic strict-shadow selection, or an NS-realizable cleaned relaxed-invisible unaligned left-singular cascade exists.
  • Strict Schur trace-projectability may fail while the defect remains visible through the relaxed vertical-pressure channel.
  • Active finite-window models admit relaxed-visible strict Schur phantoms.
  • Parabolic trace drop and Lojasiewicz control eliminate high-frequency escape and finite-dimensional obstructions but leave the flat branch untouched.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Rate proofs for Navier-Stokes degeneration may require explicit inclusion of vertical-pressure terms in the observable set.
  • The skeleton method could be used to locate analogous obstructions in other fluid partial-regularity settings.
  • If the conditional dichotomy resolves in favor of anti-phantom closure, quantitative compactness statements in one-component regimes may follow.
  • Simplified active finite-window models could be tested numerically to see which side of the dichotomy occurs.

Load-bearing premise

The trace-obstruction skeleton associated with the old observable closure is the correct setting in which to test sufficiency, and the only remaining obstruction after parabolic trace drop and Lojasiewicz control is the all-order finite-mode flat branch.

What would settle it

An explicit construction inside the skeleton of a finite-mode flat branch that remains invisible under the relaxed vertical-pressure channel, or a concrete calculation showing that the old observables alone produce a rate without that channel.

read the original abstract

We study the finite-scale one-component degeneration problem for suitable weak solutions of the three-dimensional incompressible Navier--Stokes equations under a scale-invariant bound and smallness of the vertical component. Qualitative compactness gives convergence, in the harmonic-pressure quotient, toward the strict two-and-a-half-dimensional boundary, but it does not provide a quantitative rate. This paper proves, in an explicitly abstract trace-obstruction skeleton associated with the old observable closure, that the standard old observable package is insufficient to force a logarithmic or power selected-trace rate. The negative result is an envelope/skeleton theorem, not a Navier--Stokes counterexample. After excluding elementary high-frequency escape by parabolic trace drop and fixed-window analytic obstruction by finite-dimensional Lojasiewicz control, the remaining obstruction is an all-order finite-mode flat branch. We identify the Navier--Stokes-specific mechanism needed to control this branch: strict Schur trace-projectability may fail, but the resulting defect can be visible through the relaxed vertical-pressure channel. In active finite-window models, strict Schur phantoms are relaxed-visible. The final theorem is a conditional dichotomy: either relaxed anti-phantom closure holds and yields conditional logarithmic strict-shadow selection, or there exists an NS-realizable, cleaned, relaxed-invisible, unaligned left-singular cascade.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper examines the one-component degeneration problem for suitable weak solutions of the 3D incompressible Navier-Stokes equations under a scale-invariant bound and small vertical component. It works inside an explicitly abstract trace-obstruction skeleton tied to the old observable closure. After excluding high-frequency escape via parabolic trace drop and analytic obstructions via finite-dimensional Lojasiewicz control, the paper isolates an all-order finite-mode flat branch as the remaining obstruction. It argues that the standard observable package is insufficient to force a logarithmic or power selected-trace rate inside this skeleton, and identifies a Navier-Stokes-specific mechanism (relaxed vertical-pressure visibility and anti-phantom reduction) that may control the branch. The main result is a conditional dichotomy: either relaxed anti-phantom closure yields conditional logarithmic strict-shadow selection, or there exists an NS-realizable cleaned relaxed-invisible unaligned left-singular cascade. The negative result is presented as an envelope/skeleton theorem rather than a direct Navier-Stokes counterexample.

Significance. If the skeleton faithfully captures the relevant obstructions, the work provides a precise diagnosis of why standard observables fail to produce rates and isolates the precise additional structure (Schur visibility through the relaxed vertical-pressure channel) needed for control. The explicit identification of the all-order finite-mode flat branch and the conditional dichotomy are technically useful for future work on quantitative compactness in NS degeneration. The paper correctly frames its result as skeleton-level rather than claiming a counterexample, which is a strength.

major comments (2)
  1. [§3] §3 (definition of the trace-obstruction skeleton): The central transfer claim—that insufficiency of the old observable package inside the skeleton implies the need for NS-specific relaxed visibility—requires a faithfulness statement. No embedding, density, or approximation argument is supplied showing that every obstruction compatible with the scale-invariant bound and small vertical component in actual suitable weak solutions projects into (or is already excluded by) the skeleton. Without this, failure inside the skeleton does not entail failure for the Navier-Stokes problem.
  2. [Theorem 5.2] Theorem 5.2 (conditional dichotomy): The second alternative is stated in terms of an 'NS-realizable, cleaned, relaxed-invisible, unaligned left-singular cascade.' No argument is given that such a cascade can be realized by a suitable weak solution satisfying the paper's hypotheses, nor is there a reduction showing that any actual NS obstruction outside the excluded classes must produce such a cascade. This makes the dichotomy conditional on an unverified existence statement.
minor comments (2)
  1. Notation for 'relaxed vertical-pressure visibility' and 'anti-phantom reduction' is introduced without a dedicated preliminary subsection; a short glossary or diagram relating the strict Schur phantom, relaxed-visible defect, and left-singular cascade would improve readability.
  2. [§1] The abstract states the result is 'not a Navier-Stokes counterexample,' but the introduction does not repeat this caveat with equal clarity; a one-sentence reminder in §1 would prevent misreading.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the precise scope of the skeleton framework. The comments correctly identify that the results are conditional on the abstraction; we address each point below by clarifying the intended limitations rather than expanding the claims.

read point-by-point responses
  1. Referee: [§3] §3 (definition of the trace-obstruction skeleton): The central transfer claim—that insufficiency of the old observable package inside the skeleton implies the need for NS-specific relaxed visibility—requires a faithfulness statement. No embedding, density, or approximation argument is supplied showing that every obstruction compatible with the scale-invariant bound and small vertical component in actual suitable weak solutions projects into (or is already excluded by) the skeleton. Without this, failure inside the skeleton does not entail failure for the Navier-Stokes problem.

    Authors: The trace-obstruction skeleton is constructed explicitly as an abstract envelope to isolate obstructions compatible with the given hypotheses. The insufficiency statement and the consequent need for relaxed Schur visibility are asserted only inside this skeleton; the manuscript repeatedly emphasizes that the negative result is an envelope/skeleton theorem and not a direct Navier-Stokes counterexample. No faithfulness, embedding, or density argument is supplied precisely because no such transfer to the full class of suitable weak solutions is claimed. The referee's observation therefore aligns with the paper's stated scope. revision: no

  2. Referee: [Theorem 5.2] Theorem 5.2 (conditional dichotomy): The second alternative is stated in terms of an 'NS-realizable, cleaned, relaxed-invisible, unaligned left-singular cascade.' No argument is given that such a cascade can be realized by a suitable weak solution satisfying the paper's hypotheses, nor is there a reduction showing that any actual NS obstruction outside the excluded classes must produce such a cascade. This makes the dichotomy conditional on an unverified existence statement.

    Authors: Theorem 5.2 is deliberately formulated as a conditional dichotomy whose second branch is left as an existence statement. No realizability argument or reduction from arbitrary NS obstructions is provided, because the theorem's purpose is to isolate the exact additional structure (relaxed anti-phantom closure) that would yield the rate versus the potential obstruction represented by the cascade. The paper does not assert that every NS obstruction must reduce to this cascade; the conditional form already records the unverified character of the alternative. revision: no

Circularity Check

0 steps flagged

No circularity: result explicitly confined to abstract skeleton

full rationale

The paper states its negative result is an 'envelope/skeleton theorem, not a Navier--Stokes counterexample' and works inside an 'explicitly abstract trace-obstruction skeleton associated with the old observable closure'. The final dichotomy is presented as conditional on NS-realizable cascades and relaxed-invisible branches, with no claim that the skeleton captures all possible obstructions. No equations, self-citations, or reductions are quoted that would make any prediction equivalent to its inputs by construction; the exclusions (parabolic trace drop, Lojasiewicz control) are treated as independent steps. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract alone supplies no explicit free parameters, axioms, or invented entities; the work is conducted inside an explicitly abstract trace-obstruction skeleton whose internal assumptions are not listed.

pith-pipeline@v0.9.1-grok · 5752 in / 1160 out tokens · 39441 ms · 2026-06-27T09:01:54.997633+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Finite-Window Recursive Audit Chains for Navier-Stokes Generated Packages

    math.AP 2026-06 unverdicted novelty 5.0

    Develops a recursive finite-window audit chain framework with anti-phantom certificates and propagation theorems for Navier-Stokes generated packages.

  2. Finite-Chain CKN-Bad Scale Counting for Navier-Stokes: Standard PDE Closure and Canonical Detector Realization

    math.AP 2026-06 unverdicted novelty 4.0

    Proves a finite-chain CKN-bad scale counting theorem for 3D Navier-Stokes via standard PDE closure with one-component compactness and an amended canonical detector realization.

  3. A Structural Audit of Navier-Stokes Obstruction Calculus

    math.AP 2026-06 unverdicted novelty 3.0

    Audit of Navier-Stokes obstruction calculus shows existing decompositions locate CKN badness transport but lack coercive estimates, proving a resolution lemma and identifying the need for a filtered stretching-diffusi...

  4. Finite-Window Local-to-Clean Transfer and Anti-Phantom Detection for Sharp Navier-Stokes Packages

    math.AP 2026-06 unverdicted novelty 3.0

    Proves a local-to-clean detection theorem and anti-phantom principle ensuring baseline-visible defects in sharp Navier-Stokes packages are either detector-caught or charged to a quotient-residual ledger under listed c...

Reference graph

Works this paper leans on

47 extracted references · 38 canonical work pages · cited by 4 Pith papers · 1 internal anchor

  1. [1]

    Leray, Sur le mouvement d’un liquide visqueux emplissant l’espace,Acta Mathematica63(1934), 193–248

    J. Leray, Sur le mouvement d’un liquide visqueux emplissant l’espace,Acta Mathematica63 (1934), 193–248. DOI:https://doi.org/10.1007/BF02547354

  2. [2]

    Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen,Math- ematische Nachrichten4(1951), no

    E. Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen,Math- ematische Nachrichten4(1951), no. 1–6, 213–231. DOI:https://doi.org/10.1002/mana. 3210040121. 118

  3. [3]

    Prodi, Un teorema di unicità per le equazioni di Navier–Stokes,Annali di Matematica Pura ed Applicata(4)48(1959), 173–182

    G. Prodi, Un teorema di unicità per le equazioni di Navier–Stokes,Annali di Matematica Pura ed Applicata(4)48(1959), 173–182. DOI:https://doi.org/10.1007/BF02410664

  4. [4]

    Serrin, On the interior regularity of weak solutions of the Navier–Stokes equations,Archive for Rational Mechanics and Analysis9(1962), 187–195

    J. Serrin, On the interior regularity of weak solutions of the Navier–Stokes equations,Archive for Rational Mechanics and Analysis9(1962), 187–195. DOI:https://doi.org/10.1007/ BF00253344

  5. [5]

    Serrin, The initial value problem for the Navier–Stokes equations, inNonlinear Problems, R

    J. Serrin, The initial value problem for the Navier–Stokes equations, inNonlinear Problems, R. E. Langer (ed.), University of Wisconsin Press, Madison, WI, 1963, 69–98. No DOI available

  6. [6]

    Scheffer, Partial regularity of solutions to the Navier–Stokes equations,Pacific Journal of Mathematics66(1976), no

    V. Scheffer, Partial regularity of solutions to the Navier–Stokes equations,Pacific Journal of Mathematics66(1976), no. 2, 535–552. DOI:https://doi.org/10.2140/pjm.1976.66.535

  7. [7]

    Scheffer, Hausdorff measure and the Navier–Stokes equations,Communications in Mathe- matical Physics55(1977), 97–112

    V. Scheffer, Hausdorff measure and the Navier–Stokes equations,Communications in Mathe- matical Physics55(1977), 97–112. DOI:https://doi.org/10.1007/BF01626512

  8. [8]

    Caffarelli, R

    L. Caffarelli, R. Kohn, and L. Nirenberg, Partial regularity of suitable weak solutions of the Navier–Stokes equations,Communications on Pure and Applied Mathematics35(1982), no. 6, 771–831. DOI:https://doi.org/10.1002/cpa.3160350604

  9. [9]

    Sohr and W

    H. Sohr and W. von Wahl, On the regularity of the pressure of weak solutions of Navier–Stokes equations,Archiv der Mathematik46(1986), no. 5, 428–439. DOI: https://doi.org/10. 1007/BF01210782

  10. [10]

    Simon, Compact sets in the spaceLp(0,T ;B),Annali di Matematica Pura ed Applicata146 (1986), 65–96

    J. Simon, Compact sets in the spaceLp(0,T ;B),Annali di Matematica Pura ed Applicata146 (1986), 65–96. DOI:https://doi.org/10.1007/BF01762360

  11. [11]

    Struwe, On partial regularity results for the Navier–Stokes equations,Communications on Pure and Applied Mathematics41(1988), no

    M. Struwe, On partial regularity results for the Navier–Stokes equations,Communications on Pure and Applied Mathematics41(1988), no. 4, 437–458. DOI:https://doi.org/10.1002/ cpa.3160410404

  12. [12]

    Constantin, W

    P. Constantin, W. E, and E. S. Titi, Onsager’s conjecture on the energy conservation for solutions of Euler’s equation,Communications in Mathematical Physics165(1994), 207–209. DOI:https://doi.org/10.1007/BF02099744

  13. [13]

    Kozono and H

    H. Kozono and H. Sohr, Regularity criterion of weak solutions to the Navier–Stokes equations, Advances in Differential Equations2(1997), no. 4, 535–554. DOI: https://doi.org/10. 57262/ade/1366741147

  14. [14]

    Lin, A new proof of the Caffarelli–Kohn–Nirenberg theorem,Communications on Pure and Applied Mathematics51(1998), no

    F.-H. Lin, A new proof of the Caffarelli–Kohn–Nirenberg theorem,Communications on Pure and Applied Mathematics51(1998), no. 3, 241–257. DOI:https://doi.org/10.1002/(SICI) 1097-0312(199803)51:3<241::AID-CPA2>3.0.CO;2-A

  15. [15]

    O. A. Ladyzhenskaya and G. A. Seregin, On partial regularity of suitable weak solutions to the three-dimensional Navier–Stokes equations,Journal of Mathematical Fluid Mechanics1 (1999), 356–387. DOI:https://doi.org/10.1007/s000210050015

  16. [16]

    H. J. Choe and J. L. Lewis, On the singular set in the Navier–Stokes equations,Journal of Functional Analysis175(2000), no. 2, 348–369. DOI:https://doi.org/10.1006/jfan.2000. 3582

  17. [17]

    G. A. Seregin and V. Šverák, Navier–Stokes equations with lower bounds on the pressure, Archive for Rational Mechanics and Analysis163(2002), no. 1, 65–86. DOI:https://doi. org/10.1007/s002050200199. 119

  18. [18]

    Escauriaza, G

    L. Escauriaza, G. Seregin, and V. Šverák,L3,∞-solutions of Navier–Stokes equations and backward uniqueness,Russian Mathematical Surveys58(2003), no. 2, 211–250. DOI:https: //doi.org/10.1070/RM2003v058n02ABEH000609

  19. [19]

    Penel and M

    P. Penel and M. Pokorný, Some new regularity criteria for the Navier–Stokes equations containing gradient of the velocity,Applications of Mathematics49(2004), no. 5, 483–493. DOI:https://doi.org/10.1023/B:APOM.0000048124.64244.7e

  20. [20]

    Duzaar and G

    F. Duzaar and G. Mingione, Thep-harmonic approximation and the regularity ofp-harmonic maps,Calculus of Variations and Partial Differential Equations20(2004), 235–256. DOI: https://doi.org/10.1007/s00526-003-0233-x

  21. [21]

    Kukavica and M

    I. Kukavica and M. Ziane, One component regularity for the Navier–Stokes equations,Nonlin- earity19(2006), no. 2, 453–469. DOI:https://doi.org/10.1088/0951-7715/19/2/012

  22. [22]

    & K¨ ohn, A

    I. Kukavica and M. Ziane, Navier–Stokes equations with regularity in one direction,Journal of Mathematical Physics48(2007), no. 6, 065203, 10 pp. DOI:https://doi.org/10.1063/1. 2395919

  23. [23]

    G. A. Seregin, Estimates of suitable weak solutions to the Navier–Stokes equations in critical Morrey spaces,Journal of Mathematical Sciences143(2007), no. 2, 2961–2968. DOI:https: //doi.org/10.1007/s10958-007-0178-2

  24. [24]

    G. A. Seregin, Local regularity for suitable weak solutions of the Navier–Stokes equations, Russian Mathematical Surveys62(2007), no. 3, 595–614. DOI:https://doi.org/10.1070/ RM2007v062n03ABEH004415

  25. [25]

    Gustafson, K

    S. Gustafson, K. Kang, and T.-P. Tsai, Interior regularity criteria for suitable weak solutions of the Navier–Stokes equations,Communications in Mathematical Physics273(2007), 161–176. DOI:https://doi.org/10.1007/s00220-007-0214-6

  26. [26]

    Vasseur, A new proof of partial regularity of solutions to Navier–Stokes equations,Nonlinear Differential Equations and Applications14(2007), 753–785

    A. Vasseur, A new proof of partial regularity of solutions to Navier–Stokes equations,Nonlinear Differential Equations and Applications14(2007), 753–785. DOI:https://doi.org/10.1007/ s00030-007-6001-4

  27. [27]

    Zhou and M

    Y. Zhou and M. Pokorný, On a regularity criterion for the Navier–Stokes equations involving gradient of one velocity component,Journal of Mathematical Physics50(2009), no. 12, 123514, 11 pp. DOI:https://doi.org/10.1063/1.3268589

  28. [28]

    Zhou and M

    Y. Zhou and M. Pokorný, On the regularity of the solutions of the Navier–Stokes equations via one velocity component,Nonlinearity23(2010), no. 5, 1097–1107. DOI:https://doi.org/ 10.1088/0951-7715/23/5/004

  29. [29]

    Cao and E

    C. Cao and E. S. Titi, Global regularity criterion for the 3D Navier–Stokes equations involving one entry of the velocity gradient tensor,Archive for Rational Mechanics and Analysis202 (2011), 919–932. DOI:https://doi.org/10.1007/s00205-011-0439-6

  30. [30]

    Jia and V

    H. Jia and V. Šverák, Local-in-space estimates near initial time for weak solutions of the Navier–Stokes equations and forward self-similar solutions,Inventiones Mathematicae196 (2014), 233–265. DOI:https://doi.org/10.1007/s00222-013-0468-x

  31. [31]

    G. A. Seregin,Lecture Notes on Regularity Theory for the Navier–Stokes Equations, World Scientific, Hackensack, NJ, 2015. DOI:https://doi.org/10.1142/9314. 120

  32. [32]

    Chemin and P

    J.-Y. Chemin and P. Zhang, On the critical one component regularity for 3-D Navier–Stokes system,Annales Scientifiques de l’École Normale Supérieure49(2016), no. 1, 131–167. DOI: https://doi.org/10.24033/asens.2278

  33. [33]

    Chemin, P

    J.-Y. Chemin, P. Zhang, and Z. Zhang, On the critical one component regularity for 3-D Navier–Stokes system: general case,Archive for Rational Mechanics and Analysis224(2017), no. 3, 871–905. DOI:https://doi.org/10.1007/s00205-017-1089-0

  34. [34]

    Guevara and N

    C. Guevara and N. C. Phuc, Local energy bounds and epsilon-regularity criteria for the 3D Navier–Stokes system,Calculus of Variations and Partial Differential Equations56(2017), no. 3, article no. 68, 16 pp. DOI:https://doi.org/10.1007/s00526-017-1151-7

  35. [35]

    Kukavica, W

    I. Kukavica, W. Rusin, and M. Ziane, An anisotropic partial regularity criterion for the Navier–Stokes equations,Journal of Mathematical Fluid Mechanics19(2017), 123–133. DOI: https://doi.org/10.1007/s00021-016-0278-1

  36. [36]

    Wolf, On the local pressure of the Navier–Stokes equations and related systems,Advances in Differential Equations22(2017), no

    J. Wolf, On the local pressure of the Navier–Stokes equations and related systems,Advances in Differential Equations22(2017), no. 5/6, 305–338. DOI:https://doi.org/10.57262/ade/ 1489802453

  37. [37]

    B. Han, Z. Lei, D. Li, and N. Zhao, Sharp one component regularity for Navier–Stokes,Archive for Rational Mechanics and Analysis231(2019), 939–970. DOI:https://doi.org/10.1007/ s00205-018-1292-7

  38. [38]

    Barker and C

    T. Barker and C. Prange, Quantitative regularity for the Navier–Stokes equations via spatial concentration,Communications in Mathematical Physics385(2021), no. 2, 717–792. DOI: https://doi.org/10.1007/s00220-021-04122-x

  39. [39]

    Kang and D

    K. Kang and D. D. Nguyen, Local regularity criteria in terms of one velocity component for the Navier–Stokes equations,Journal of Mathematical Fluid Mechanics25(2023), article no. 10, 15 pp. DOI:https://doi.org/10.1007/s00021-022-00754-8

  40. [40]

    Albritton, T

    D. Albritton, T. Barker, and C. Prange, Epsilon regularity for the Navier–Stokes equations via weak–strong uniqueness,Journal of Mathematical Fluid Mechanics25(2023), no. 3, article no. 49, 12 pp. DOI:https://doi.org/10.1007/s00021-023-00780-0

  41. [41]

    Finite-Scale One-Component Regularity via Harmonic Pressure for the 3D Navier-Stokes Equations

    R. Yu, Finite-scale one-component regularity via harmonic pressure for the 3D Navier–Stokes equations, arXiv:2606.08352 [math.AP], 2026. DOI:https://doi.org/10.48550/arXiv.2606. 08352

  42. [42]

    Bierstone and P

    E. Bierstone and P. D. Milman, Semianalytic and subanalytic sets,Publications Mathématiques de l’IHÉS67(1988), 5–42. DOI:https://doi.org/10.1007/BF02699126

  43. [43]

    Amann,Linear and Quasilinear Parabolic Problems

    H. Amann,Linear and Quasilinear Parabolic Problems. Vol. I: Abstract Linear Theory, Birkhäuser, Basel, 1995. DOI:https://doi.org/10.1007/978-3-0348-9221-6

  44. [44]

    Lunardi,Analytic Semigroups and Optimal Regularity in Parabolic Problems, Birkhäuser, Basel, 1995

    A. Lunardi,Analytic Semigroups and Optimal Regularity in Parabolic Problems, Birkhäuser, Basel, 1995. DOI:https://doi.org/10.1007/978-3-0348-9234-6

  45. [45]

    Kurdyka, On gradients of functions definable in o-minimal structures,Annales de l’Institut Fourier48(1998), no

    K. Kurdyka, On gradients of functions definable in o-minimal structures,Annales de l’Institut Fourier48(1998), no. 3, 769–783. DOI:https://doi.org/10.5802/aif.1638. 121

  46. [46]

    S. G. Krantz and H. R. Parks,A Primer of Real Analytic Functions, 2nd ed., Birkhäuser, Boston, 2002. DOI:https://doi.org/10.1007/978-0-8176-8134-0

  47. [47]

    Kielhöfer,Bifurcation Theory: An Introduction with Applications to Partial Differ- ential Equations, 2nd ed., Springer, New York, 2012

    H. Kielhöfer,Bifurcation Theory: An Introduction with Applications to Partial Differ- ential Equations, 2nd ed., Springer, New York, 2012. DOI: https://doi.org/10.1007/ 978-1-4614-0502-3. 122