pith. sign in

arxiv: 2606.28959 · v1 · pith:TRHK3EF4new · submitted 2026-06-27 · 🧮 math.AP

Liouville-type theorems for the stationary fractional Navier-Stokes equations in mathbb{R}^n

Jihoon Lee , Juhyeong Lee This is my paper

Pith reviewed 2026-06-30 08:47 UTC · model grok-4.3

classification 🧮 math.AP
keywords Liouville theoremsfractional Navier-Stokes equationsstationary solutionsfractional Laplacianfinite energyMorrey boundbootstrap argumentpartial regularity
0
0 comments X

The pith

Stationary fractional Navier-Stokes solutions in R^n must be identically zero when the velocity satisfies suitable integrability plus a large-scale Morrey bound on fractional energy, including the finite-energy case for n/3 ≤ α < (n+2)/3.

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

The paper establishes Liouville-type theorems asserting that solutions to the stationary fractional Navier-Stokes equations vanish under integrability conditions on the velocity field together with a Morrey-type control on the fractional energy at large scales. A direct corollary yields the same conclusion whenever the velocity lies in the homogeneous Sobolev space Ḣ^{α/2}, which encodes finite fractional energy, and this holds precisely when the dissipation order satisfies n/3 ≤ α < (n+2)/3. The range is selected to match the scaling-critical threshold appearing in partial-regularity theory for these equations. The argument proceeds by deriving kernel estimates on the commutator of the fractional Laplacian through dyadic decomposition of the tail term and then running a bootstrap that lowers integrability exponents down to the Sobolev embedding level; the estimates remain valid in the hyper-dissipative regime.

Core claim

We establish that for the stationary fractional Navier-Stokes system in R^n, if the velocity u satisfies suitable integrability conditions and the fractional energy obeys a large-scale Morrey-type bound, then u is identically zero. As a consequence, the same triviality holds whenever u belongs to Ḣ^{α/2}(R^n) for n/3 ≤ α < (n+2)/3. The proof relies on direct kernel estimates for the commutator of the fractional Laplacian, obtained via dyadic decomposition of the tail term, together with a bootstrap that propagates integrability from near the scaling-invariant exponent down to the Sobolev embedding exponent.

What carries the argument

Kernel estimates for the commutator of the fractional Laplacian obtained via dyadic decomposition of the tail term, which close a bootstrap argument that lowers integrability exponents.

If this is right

  • All stationary solutions obeying the stated integrability and Morrey conditions are trivial.
  • Finite fractional energy alone forces the velocity to vanish throughout the interval n/3 ≤ α < (n+2)/3.
  • The same conclusion extends to the hyper-dissipative regime where the fractional order exceeds the classical value.
  • The critical range of α aligns exactly with the threshold where partial-regularity theory begins to apply.

Where Pith is reading between the lines

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

  • The same commutator estimates may adapt to other stationary or time-dependent fractional fluid systems whose dissipation is comparable.
  • The explicit link drawn between Liouville thresholds and partial-regularity scaling suggests that Liouville results could serve as a diagnostic for the sharpness of regularity criteria.
  • One could test sharpness of the upper endpoint α = (n+2)/3 by constructing or ruling out non-trivial finite-energy solutions just above that value.

Load-bearing premise

The dyadic decomposition produces kernel estimates on the fractional-Laplacian commutator that remain valid and sufficient to close the bootstrap down to the Sobolev embedding exponent.

What would settle it

Existence of a non-zero velocity field u in Ḣ^{α/2}(R^n) satisfying the stationary fractional Navier-Stokes equations for some α with n/3 ≤ α < (n+2)/3 would disprove the Liouville claim.

read the original abstract

We establish Liouville-type theorems for the stationary fractional Navier-Stokes equations in $\mathbb{R}^n$ under suitable integrability conditions on the velocity field $u$ and a large-scale Morrey-type bound on the fractional energy. As a corollary, these assumptions are automatically satisfied if $u \in \dot{H}^{\frac{\alpha}{2}}(\mathbb{R}^n)$, yielding Liouville-type results under the finite fractional energy condition for $\frac{n}{3} \le \alpha < \frac{n+2}{3}$, where $\alpha$ denotes the order of the fractional Laplacian $(-\Delta)^{\frac{\alpha}{2}}$. This range reflects a scaling-critical correspondence between Liouville-type theorems in the finite-energy setting and the threshold arising in partial regularity theory. The proof relies on direct kernel estimates for the commutator of the fractional Laplacian, based on a dyadic decomposition of the tail term, which remain valid in the hyper-dissipative case. The argument also uses a bootstrap argument that propagates integrability from near the scaling-invariant exponent down to lower exponents, including the Sobolev embedding exponent.

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

0 major / 3 minor

Summary. The manuscript establishes Liouville-type theorems for the stationary fractional Navier-Stokes equations in R^n. Under suitable integrability conditions on the velocity field u together with a large-scale Morrey-type bound on the fractional energy, the solution satisfies a Liouville conclusion. As a corollary, the assumptions hold automatically when u lies in Ḥ^{α/2}(R^n), yielding Liouville results under finite fractional energy for n/3 ≤ α < (n+2)/3. The argument proceeds by direct kernel estimates on the commutator of the fractional Laplacian (via dyadic decomposition of the tail) followed by a bootstrap that lowers integrability to the Sobolev embedding exponent; the same estimates remain valid in the hyper-dissipative regime.

Significance. If the central claims hold, the work supplies scaling-critical Liouville theorems for fractional dissipation that align with the partial-regularity threshold, together with an automatic verification of the Morrey bound from finite Ḥ^{α/2} energy. The direct kernel-estimate-plus-bootstrap strategy and its extension to the hyper-dissipative case constitute concrete technical strengths that could be useful for related nonlocal fluid problems.

minor comments (3)
  1. The precise Liouville conclusion (e.g., whether u ≡ 0 or u is constant) should be stated explicitly in the introduction and abstract rather than left implicit.
  2. Notation for the fractional Laplacian and the precise definition of the large-scale Morrey bound should be recalled at the beginning of the bootstrap section for reader convenience.
  3. A short remark clarifying why the upper endpoint α = (n+2)/3 is excluded would help situate the result relative to the partial-regularity literature.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the recognition of its technical contributions, and the recommendation for minor revision. No major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper's proof strategy relies on direct kernel estimates for the fractional Laplacian commutator (via dyadic tail decomposition) and a bootstrap argument propagating integrability to the Sobolev exponent. These steps are independent mathematical estimates, not reductions to fitted parameters, self-definitions, or self-citation chains. The finite-energy corollary follows from standard Sobolev embedding and Morrey-type bounds without circular redefinition. The α-range is scaling-derived, not constructed from the result itself. This matches the default expectation of a non-circular analysis paper.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard analytic properties of the fractional Laplacian and Sobolev embeddings; no free parameters, ad-hoc axioms, or new entities are introduced in the abstract.

axioms (2)
  • standard math Standard mapping properties and kernel representation of the fractional Laplacian (-Δ)^{α/2}
    Invoked for the commutator estimates and tail decomposition
  • standard math Sobolev embedding and integrability propagation via bootstrap
    Used to descend from near-critical to lower exponents

pith-pipeline@v0.9.1-grok · 5729 in / 1498 out tokens · 55456 ms · 2026-06-30T08:47:10.295918+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 1 Pith paper

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

  1. Liouville theorems for the fractional Navier-Stokes equations with arbitrary asymptotic state at infinity

    math.AP 2026-06 unverdicted novelty 7.0

    Proves complete Liouville theorems for 3D stationary fractional Navier-Stokes with arbitrary u_∞ at infinity for 1/2 ≤ s < 1 using refined L^p estimates and frequency localization.

Reference graph

Works this paper leans on

42 extracted references · 26 canonical work pages · cited by 1 Pith paper · 2 internal anchors

  1. [1]

    V.: Complex Analysis, 3rd ed

    Ahlfors, L. V.: Complex Analysis, 3rd ed. McGraw-Hill, New York (1979)

    1979

  2. [2]

    Caffarelli, L., Silvestre, L.: An extension problem related to the fractional Laplacian. Comm. Partial Differential Equations 32 (2007), 1245–1260.https://doi.org/10. 1080/03605300600987306

    2007

  3. [3]

    Chae, D.: Liouville-type theorems for the forced Euler equations and the Navier– Stokes equations. Commun. Math. Phys. 326 (2014), 37–48.https://doi.org/10. 1007/s00220-013-1868-x

    2014

  4. [4]

    Chae, D., Wolf, J.: On Liouville type theorems for the steady Navier–Stokes equations inR 3. J. Differ. Equ. 261 (2016), 5541–5560.https://doi.org/10.1016/j.jde.2016. 08.014

    work page doi:10.1016/j.jde.2016 2016

  5. [5]

    Chae, D., Wolf, J.: On Liouville type theorem for the stationary Navier–Stokes equa- tions. Calc. Var. Partial Differential Equations 58 (2019), 111.https://doi.org/10. 1007/s00526-019-1549-5

    2019

  6. [6]

    Chae, D.: Note on the Liouville type problem for the stationary Navier–Stokes equa- tions inR 3. J. Differ. Equ. 268 (2020), 1043–1049.https://doi.org/10.1016/j.jde. 2019.08.027

    work page doi:10.1016/j.jde 2020

  7. [7]

    Chae, D., Wolf, J.: On Liouville type theorems for the stationary MHD and Hall– MHD systems. J. Differ. Equ. 295 (2021), 233–248.https://doi.org/10.1016/j. jde.2021.05.061

    work page doi:10.1016/j 2021

  8. [8]

    Chae, D., Kim, J., Wolf, J.: On Liouville-type theorems for the stationary MHD and the Hall–MHD systems inR 3. Arch. Ration. Mech. Anal. 243 (2022), 66.https: //doi.org/10.1007/s00033-022-01701-3

    work page doi:10.1007/s00033-022-01701-3 2022

  9. [9]

    Chae, D.: Anisotropic Liouville type theorem for the MHD system inR n. J. Math. Phys. 64 (2023), 121501.https://doi.org/10.1063/5.0159958

    work page doi:10.1063/5.0159958 2023

  10. [10]

    Chae, D.: Anisotropic Liouville type theorem for the stationary Navier–Stokes equa- tions inR 3. Appl. Math. Lett. 142 (2023), 108655.https://doi.org/10.1016/j.aml. 2023.108655

    work page doi:10.1016/j.aml 2023

  11. [11]

    Nonlinearity 37 (2024), 095006.https://doi.org/10.1088/1361-6544/ad6128

    Chae, D., Lee, J.: On Liouville type results for the stationary MHD inR 3. Nonlinearity 37 (2024), 095006.https://doi.org/10.1088/1361-6544/ad6128

    work page doi:10.1088/1361-6544/ad6128 2024

  12. [12]

    Chae, D.: On the Liouville type theorems for the stationary Navier–Stokes equations inR 3. J. Differ. Equ. 445 (2025), 113597.https://doi.org/10.1016/j.jde.2025. 113597

    work page doi:10.1016/j.jde.2025 2025

  13. [13]

    Chae, D.: Liouville Type Theorems for the Stationary Navier–Stokes Equa- tions inR 3. Commun. Math. Phys. 407 (2026), 53.https://doi.org/10.1007/ s00220-026-05555-y 20

    2026

  14. [14]

    Chamorro, D., Jarr´ ın, O., Lemari´ e-Rieusset, P.-G.: Some Liouville theorems for sta- tionary Navier–Stokes equations in Lebesgue and Morrey spaces. Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire 38 (2021), no. 3, 689–710.https://doi.org/10.1016/j.anihpc. 2020.08.006

    work page doi:10.1016/j.anihpc 2021

  15. [15]

    Chamorro, D., Poggi, B.: On an almost sharp Liouville-type theorem for fractional Navier–Stokes equations. Publ. Mat. 69 (2025), 27–43.https://doi.org/10.5565/ PUBLMAT6912502

    2025

  16. [16]

    Chen, E.: Partial regularity for the steady hyperdissipative fractional Navier–Stokes equations. Commun. Math. Phys. 381 (2021), 1–31.https://doi.org/10.1007/ s00220-020-03900-3

    2021

  17. [17]

    Chen, X., Li, S., Wang, W.: Remarks on Liouville-type theorems for the steady MHD and Hall-MHD equations. J. Nonlinear Sci. 32 (2022), 12.https://doi.org/10.1007/ s00332-021-09768-4

    2022

  18. [18]

    Nonlinearity 37 (2024), 035007

    Cho, Y., Neustupa, J., Yang, M.: New Liouville type theorems for the station- ary Navier–Stokes, MHD, and Hall–MHD equations. Nonlinearity 37 (2024), 035007. https://doi.org/10.1088/1361-6544/ad1efc

    work page doi:10.1088/1361-6544/ad1efc 2024

  19. [19]

    Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136 (2012), 521–573.https://doi.org/10.1016/j.bulsci. 2011.12.004

    work page doi:10.1016/j.bulsci 2012

  20. [20]

    M.: On partial regularity of steady-state solutions to the 6D Navier–Stokes equations

    Dong, H., Strain, R. M.: On partial regularity of steady-state solutions to the 6D Navier–Stokes equations. Indiana Univ. Math. J. 61 (2012), 2211–2229.http://www. jstor.org/stable/24904123

    work page arXiv 2012

  21. [21]

    Springer Monogr

    Galdi, G.P.: An Introduction to the Mathematical Theory of the Navier–Stokes Equa- tions: Steady-State Problems, 2nd ed. Springer Monogr. Math. Springer, New York, (2011)

    2011

  22. [22]

    F.: Asymptotic properties of steady plane solutions of the Navier–Stokes equations with bounded Dirichlet integral

    Gilbarg, D., Weinberger, H. F.: Asymptotic properties of steady plane solutions of the Navier–Stokes equations with bounded Dirichlet integral. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 5 (1978), 381–404

    1978

  23. [23]

    L., Men, Y

    Guo, X. L., Men, Y. Y.: On partial regularity of suitable weak solutions to the sta- tionary fractional Navier–Stokes equations in dimension four and five. Acta Math. Sin. (Engl. Ser.) 33 (2017), 1632–1646.https://doi.org/10.1007/s10114-017-7125-z

    work page doi:10.1007/s10114-017-7125-z 2017

  24. [24]

    Jarr´ ın, O.: A remark on the Liouville problem for stationary Navier–Stokes equations in Lorentz and Morrey spaces. J. Math. Anal. Appl. 486 (2020), no. 1, 123871.https: //doi.org/10.1016/j.jmaa.2020.123871

    work page doi:10.1016/j.jmaa.2020.123871 2020

  25. [25]

    Jarr´ ın, O., Vergara-Hermosilla, G.: AnL p-theory for fractional stationary Navier– Stokes equations. J. Elliptic Parabol. Equ. 10 (2024), 859–898.https://doi.org/10. 1007/s41808-024-00282-8 21

    2024

  26. [26]

    arXiv:2602.13822 (2026).https://arxiv.org/abs/2602.13822

    Kim, T., Lee, T.: Liouville-type theorems for Lane–Emden inequalities involving non- local operators. arXiv:2602.13822 (2026).https://arxiv.org/abs/2602.13822

    work page arXiv 2026

  27. [27]

    Kozono, H., Terasawa, Y., Wakasugi, Y.: A remark on Liouville-type theorems for the stationary Navier–Stokes equations in three space dimensions. J. Funct. Anal. 272 (2017), no. 2, 804–818.https://doi.org/10.1016/j.jfa.2016.06.019

    work page doi:10.1016/j.jfa.2016.06.019 2017

  28. [28]

    Nonlinear- ity 29 (2016), 2191–2195.https://doi.org/10.1088/0951-7715/29/8/2191

    Seregin, G.: Liouville type theorem for stationary Navier–Stokes equations. Nonlinear- ity 29 (2016), 2191–2195.https://doi.org/10.1088/0951-7715/29/8/2191

    work page doi:10.1088/0951-7715/29/8/2191 2016

  29. [29]

    A Liouville Type Theorem for Steady-State Navier-Stokes Equations

    Seregin, G.: A Liouville type theorem for steady-state Navier–Stokes equations. arXiv:1611.01563 (2016).https://arxiv.org/abs/1611.01563

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  30. [30]

    Seregin, G.: Remarks on Liouville type theorems for steady-state Navier–Stokes equa- tions. St. Petersburg Math. J. 30 (2019), no. 2, 321–328.https://doi.org/10.1090/ spmj/1544

    2019

  31. [31]

    Seregin, G., Wang, W.: Sufficient conditions on Liouville type theorems for the 3D steady Navier–Stokes equations. St. Petersburg Math. J. 31 (2020), 387–393.https: //doi.org/10.1090/spmj/1603

    work page doi:10.1090/spmj/1603 2020

  32. [32]

    Princeton Math

    Stein, E.M.: Singular Integrals and Differentiability Properties of Functions. Princeton Math. Ser., No. 30. Princeton Univ. Press, Princeton, NJ, (1970)

    1970

  33. [33]

    Struwe, M.: On partial regularity results for the Navier–Stokes equations. Commun. Pure Appl. Math. 41 (1988), 437–458.https://doi.org/10.1002/cpa.3160410404

    work page doi:10.1002/cpa.3160410404 1988

  34. [34]

    arXiv:2501.03609 (2025).https://arxiv.org/abs/2501.03609

    Tan, W.: New Liouville type theorems for the stationary Navier–Stokes equations. arXiv:2501.03609 (2025).https://arxiv.org/abs/2501.03609

    work page arXiv 2025

  35. [35]

    Tang, L., Yu, Y.: Partial H¨ older regularity of the steady fractional Navier–Stokes equations. Calc. Var. Partial Differential Equations 55 (2016), 31.https://doi.org/ 10.1007/s00526-016-0967-x

    work page doi:10.1007/s00526-016-0967-x 2016

  36. [36]

    Partial Differ

    Tsai, T.-P.: Liouville type theorems for stationary Navier–Stokes equations. Partial Differ. Equ. Appl. 2 (2021), no. 1, 1–20.https://doi.org/10.1007/ s42985-020-00056-6

    2021

  37. [37]

    Nonlinearity 38 (2025), 065007.https://doi.org/10.1088/1361-6544/add784

    Wang, W., Yang, G.: Liouville type theorems for the 3D stationary MHD and Hall- MHD equations with non-zero constant vectors at infinity. Nonlinearity 38 (2025), 065007.https://doi.org/10.1088/1361-6544/add784

    work page doi:10.1088/1361-6544/add784 2025

  38. [38]

    arXiv:2505.04895 (2025)

    Wang, W., Yang, G., Yu, J.: Liouville type theorems for the fractional Navier–Stokes equations without the integrability condition of velocity inR3. arXiv:2505.04895 (2025). https://arxiv.org/abs/2505.04895

    work page arXiv 2025

  39. [39]

    Wang, Y., Xiao, J.: A Liouville problem for the stationary fractional Navier–Stokes– Poisson system. J. Math. Fluid Mech. 20 (2018), 485–498.https://doi.org/10.1007/ s00021-017-0330-9 22

    2018

  40. [40]

    Yang, J.: On Liouville type theorem for the steady fractional Navier–Stokes equa- tions inR 3. J. Math. Fluid Mech. 24 (2022), 81.https://doi.org/10.1007/ s00021-022-00719-x

    2022

  41. [41]

    On higher order extensions for the fractional Laplacian

    Yang, R.: On higher order extensions for the fractional Laplacian. arXiv:1302.4413 (2013).https://arxiv.org/abs/1302.4413

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  42. [42]

    Zeng, Y.: On Liouville-type theorems for the 3D stationary fractional MHD system in anisotropic Lebesgue spaces. Z. Angew. Math. Phys. 76 (2025), 181.https://doi. org/10.1007/s00033-025-02566-y Jihoon Lee.Department of Mathematics, Chung-Ang University, Seoul 06974, Republic of Korea; email:jhleepde@cau.ac.kr Juhyeong Lee.Department of Mathematics, Univer...

    work page doi:10.1007/s00033-025-02566-y 2025