Kang–Protas · Ladyzhenskaya–Prodi–Serrin conditions
Published in Journal of Nonlinear Science 32, article 81 (2022), DOI 10.1007/s00332-022-09832-7. Statements here use the pinned arXiv v1: the abstract and estimate (12).
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
An a priori bound valid also for Leray–Hopf weak solutions: the time integral of the L^q norm to the power 4q/(3(q−2)) is bounded by the initial energy, for 2 ≤ q ≤ 6.
Passage ID: navier-stokes:kang-protas-energy:v1
Source item: kang-protas-energy
Source record: arxiv-2110.06130@arxiv-v1
The Ladyzhenskaya–Prodi–Serrin conditions: if the time integral of the L^q norm to the power p is bounded, with 2/p + 3/q ≤ 1 and q > 3, the solution is smooth on [0, T].
Passage ID: navier-stokes:kang-protas-lps:v1
Source item: kang-protas-lps
Source record: arxiv-2110.06130@arxiv-v1
Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.
Problem publication v8
Source assessment
Proved
Established result reported in the cited source
Only the exact statement and source passage cited here; not an independent OpenMath assessment.
Observed Oct 21, 2026
Source assessment
Proved
Established result reported in the cited source
Only the exact statement and source passage cited here; not an independent OpenMath assessment.
Observed Oct 21, 2026
Question
Navier–Stokes existence and smoothness
Linked manuscripts, code and data. External proof reports, statement correspondence and OpenMath execution are separate checks.
Manuscript / exposition · external
External source evidence; no OpenMath execution or independent reproduction is attached.
Resource revision: arxiv-v1
Recorded authorship
Di Kang · Bartosz Protas
Di Kang; Bartosz Protas
The cited work does not report AI involvement; absence of attribution is not evidence of absence.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
Kang–Protas · Ladyzhenskaya–Prodi–Serrin conditions
No upstream full text is republished by this record.
Source terms ↗