{"schema_version":"source-reader-v1","record":{"source_id":"navier-stokes-clay","versions":[{"work":{"authors":["Charles L. Fefferman"],"kind":"official_description","publication":"published","publication_note":"Source publication and attributed assessments are distinct from independent OpenMath review.","ai_role":"not_reported","ai_note":"No specific AI contribution is attributed by this source record.","artifacts":[],"published":{"value":"2000"}},"id":"navier-stokes:source:clay:v1","source_id":"navier-stokes-clay","title":"Existence and Smoothness of the Navier–Stokes Equation","owner":"Charles L. Fefferman","url":"https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf","subject_scope":"The official problem specifies alternatives A/B for unforced regularity and C/D for forced breakdown, with separate decay, periodicity and energy conditions.","revision":"2000","content_sha256":"c1b5f27b1a64705cfaf1afceea513db5deedca8a18ca56ab32e7f86445a06d0c","update_method":"Compare the exact source and publish a new immutable curation revision.","identifier_policy":"Stable source identity with exact versioned passages.","observed_on":"2026-10-13","source_updated_on":null,"rights":"metadata-link","license":"Original source license and document rights apply.","terms_url":"https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf","attribution":"Charles L. Fefferman","rights_note":"OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.","check_interval_days":90}],"entries":[{"id":"navier-stokes:clay-leray:v1","source_version_id":"navier-stokes:source:clay:v1","item_id":"clay-leray","url":"https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf","wording":"Leray showed that the three-dimensional equations always have a weak solution with suitable growth properties; uniqueness of weak solutions is not known.","wording_kind":"paraphrase","locator":"p. 3, weak solutions (12)–(13)","supersedes":null},{"id":"navier-stokes:clay-partial-regularity:v1","source_version_id":"navier-stokes:source:clay:v1","item_id":"clay-partial-regularity","url":"https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf","wording":"Caffarelli–Kohn–Nirenberg (simplified by Lin): the singular set E of a suitable weak solution has P¹(E) = 0, and such solutions exist for the given data.","wording_kind":"paraphrase","locator":"p. 4, Theorem (A), (B)","supersedes":null},{"id":"navier-stokes:clay-short-time:v1","source_version_id":"navier-stokes:source:clay:v1","item_id":"clay-short-time","url":"https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf","wording":"For data not assumed small, (A) and (B) hold on a short time interval depending on the data; for ν > 0 a finite blowup time forces the velocity to become unbounded.","wording_kind":"paraphrase","locator":"pp. 2–3, blowup time","supersedes":null},{"id":"navier-stokes:clay-small-data:v1","source_version_id":"navier-stokes:source:clay:v1","item_id":"clay-small-data","url":"https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf","wording":"In three dimensions, (A) and (B) hold provided the initial velocity satisfies a smallness condition.","wording_kind":"paraphrase","locator":"p. 2, partial results: three dimensions","supersedes":null},{"id":"navier-stokes:clay-two-dimensions:v1","source_version_id":"navier-stokes:source:clay:v1","item_id":"clay-two-dimensions","url":"https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf","wording":"In two dimensions the analogues of assertions (A) and (B) have long been known (Ladyzhenskaya), also for the Euler equations; the description notes this gives no hint about three dimensions.","wording_kind":"paraphrase","locator":"p. 2, partial results: two dimensions","supersedes":null},{"id":"navier-stokes:entry:clay:v1","source_version_id":"navier-stokes:source:clay:v1","item_id":"clay","url":"https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf","wording":"The official problem specifies alternatives A/B for unforced regularity and C/D for forced breakdown, with separate decay, periodicity and energy conditions.","wording_kind":"paraphrase","locator":"Equations (1)–(9) and alternatives (A)–(D)","supersedes":null}],"problems":[{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8}],"selected_version_id":"navier-stokes:source:clay:v1","available_versions":[{"id":"navier-stokes:source:clay:v1","revision":"2000","observed_on":"2026-10-13","title":"Existence and Smoothness of the Navier–Stokes Equation","publication":"published","content_sha256":"c1b5f27b1a64705cfaf1afceea513db5deedca8a18ca56ab32e7f86445a06d0c","used_in_current_publications":true}],"usages":[{"id":"source-use-93f28406f9a4ebd0892f","entry_id":"navier-stokes:clay-leray:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"assessment","title":"Established result reported in the cited source","claim":{"id":"claim-navier-stokes-leray-weak-solutions","version":1,"slug":"navier-stokes-leray-weak-solutions","title":"Global weak solutions (Leray)"},"fragment":"claim-navier-stokes-leray-weak-solutions","assessment":{"id":"navier-stokes:report:navier-stokes-leray-weak-solutions:v1","entry_id":"navier-stokes:clay-leray:v1","state":"resolved","source_label":"Established result reported in the cited source","scope":"Only the exact statement and source passage cited here; not an independent OpenMath assessment.","source_date":null,"observed_on":"2026-10-21","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-3717e7779b32bbad2741","entry_id":"navier-stokes:clay-leray:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"question","title":"Navier–Stokes existence and smoothness","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-f167948734d51c42a008","entry_id":"navier-stokes:clay-leray:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"statement","title":"Global weak solutions (Leray)","claim":{"id":"claim-navier-stokes-leray-weak-solutions","version":1,"slug":"navier-stokes-leray-weak-solutions","title":"Global weak solutions (Leray)"},"fragment":"claim-navier-stokes-leray-weak-solutions","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-6fd0b577fd5b63085a1a","entry_id":"navier-stokes:clay-partial-regularity:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"assessment","title":"Established result reported in the cited source","claim":{"id":"claim-navier-stokes-partial-regularity","version":1,"slug":"navier-stokes-partial-regularity","title":"The singular set is small (Caffarelli–Kohn–Nirenberg)"},"fragment":"claim-navier-stokes-partial-regularity","assessment":{"id":"navier-stokes:report:navier-stokes-partial-regularity:v1","entry_id":"navier-stokes:clay-partial-regularity:v1","state":"resolved","source_label":"Established result reported in the cited source","scope":"Only the exact statement and source passage cited here; not an independent OpenMath assessment.","source_date":null,"observed_on":"2026-10-21","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-b13f0fa1e3cd09cb272d","entry_id":"navier-stokes:clay-partial-regularity:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"question","title":"Navier–Stokes existence and smoothness","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-6c8e93cd3b8ad621d50e","entry_id":"navier-stokes:clay-partial-regularity:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"statement","title":"The singular set is small (Caffarelli–Kohn–Nirenberg)","claim":{"id":"claim-navier-stokes-partial-regularity","version":1,"slug":"navier-stokes-partial-regularity","title":"The singular set is small (Caffarelli–Kohn–Nirenberg)"},"fragment":"claim-navier-stokes-partial-regularity","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-cbd71987e74319e45566","entry_id":"navier-stokes:clay-short-time:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"assessment","title":"Established result reported in the cited source","claim":{"id":"claim-navier-stokes-short-time","version":1,"slug":"navier-stokes-short-time","title":"Smooth solutions on a short time interval"},"fragment":"claim-navier-stokes-short-time","assessment":{"id":"navier-stokes:report:navier-stokes-short-time:v1","entry_id":"navier-stokes:clay-short-time:v1","state":"resolved","source_label":"Established result reported in the cited source","scope":"Only the exact statement and source passage cited here; not an independent OpenMath assessment.","source_date":null,"observed_on":"2026-10-21","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-d470e728091d05788768","entry_id":"navier-stokes:clay-short-time:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"question","title":"Navier–Stokes existence and smoothness","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-0b944bb8a941c25cd646","entry_id":"navier-stokes:clay-short-time:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"statement","title":"Smooth solutions on a short time interval","claim":{"id":"claim-navier-stokes-short-time","version":1,"slug":"navier-stokes-short-time","title":"Smooth solutions on a short time interval"},"fragment":"claim-navier-stokes-short-time","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-141dc709c8811162f6c7","entry_id":"navier-stokes:clay-small-data:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"assessment","title":"Established result reported in the cited source","claim":{"id":"claim-navier-stokes-small-data","version":1,"slug":"navier-stokes-small-data","title":"Global regularity for small initial data"},"fragment":"claim-navier-stokes-small-data","assessment":{"id":"navier-stokes:report:navier-stokes-small-data:v1","entry_id":"navier-stokes:clay-small-data:v1","state":"resolved","source_label":"Established result reported in the cited source","scope":"Only the exact statement and source passage cited here; not an independent OpenMath assessment.","source_date":null,"observed_on":"2026-10-21","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-1df60e680ea6f5341f86","entry_id":"navier-stokes:clay-small-data:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"question","title":"Navier–Stokes existence and smoothness","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-4fa1df67d3ba7be275f8","entry_id":"navier-stokes:clay-small-data:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"statement","title":"Global regularity for small initial data","claim":{"id":"claim-navier-stokes-small-data","version":1,"slug":"navier-stokes-small-data","title":"Global regularity for small initial data"},"fragment":"claim-navier-stokes-small-data","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-b86f49a00f6c88211460","entry_id":"navier-stokes:clay-two-dimensions:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"assessment","title":"Established result reported in the cited source","claim":{"id":"claim-navier-stokes-two-dimensional","version":1,"slug":"navier-stokes-two-dimensional","title":"Global regularity in two dimensions"},"fragment":"claim-navier-stokes-two-dimensional","assessment":{"id":"navier-stokes:report:navier-stokes-two-dimensional:v1","entry_id":"navier-stokes:clay-two-dimensions:v1","state":"resolved","source_label":"Established result reported in the cited source","scope":"Only the exact statement and source passage cited here; not an independent OpenMath assessment.","source_date":null,"observed_on":"2026-10-21","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-41d054a61464d5d8f7b9","entry_id":"navier-stokes:clay-two-dimensions:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"question","title":"Navier–Stokes existence and smoothness","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-54869a190b3e8ccdd8ff","entry_id":"navier-stokes:clay-two-dimensions:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"statement","title":"Global regularity in two dimensions","claim":{"id":"claim-navier-stokes-two-dimensional","version":1,"slug":"navier-stokes-two-dimensional","title":"Global regularity in two dimensions"},"fragment":"claim-navier-stokes-two-dimensional","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-4977b32bc9fad3edd39f","entry_id":"navier-stokes:entry:clay:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"activity","title":"Compare manuscript, comparator statement and proof dependencies","claim":null,"fragment":"activity","assessment":null,"superseded":false,"formalization":null,"update":{"id":"navier-stokes-alignment","title":"Compare manuscript, comparator statement and proof dependencies","kind":"formalization","source_entry_ids":["navier-stokes:entry:clay:v1","fluid-regularity:entry:lean:v2","navier-stokes:entry:lean-r3:v2","navier-stokes:entry:lean-periodic:v2"],"summary":"Check the official decay/periodic predicates, force regularity, energy condition and imported proof adapters at the pinned theorems.","limitation":"The inspected metadata is self-assessed; a local build and independent correspondence check are not attached.","related_claim_ids":["claim-navier-stokes-forced-r3","claim-navier-stokes-forced-periodic"]}},{"id":"source-use-e314612dc314e23d629e","entry_id":"navier-stokes:entry:clay:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"assessment","title":"Unforced periodic regularity target","claim":{"id":"claim-navier-stokes-unforced-periodic","version":1,"slug":"navier-stokes-unforced-periodic","title":"Unforced global regularity on the three-torus"},"fragment":"claim-navier-stokes-unforced-periodic","assessment":{"id":"navier-stokes:report:unforced-periodic:v1","entry_id":"navier-stokes:entry:clay:v1","state":"reported_open","source_label":"Unforced periodic regularity target","scope":"Alternative B; the selected forced construction does not settle this assertion.","source_date":null,"observed_on":"2026-10-13","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-f265b254d12b8db83193","entry_id":"navier-stokes:entry:clay:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"assessment","title":"Unforced whole-space regularity target","claim":{"id":"claim-navier-stokes-unforced-r3","version":1,"slug":"navier-stokes-unforced-r3","title":"Unforced global regularity in the whole space"},"fragment":"claim-navier-stokes-unforced-r3","assessment":{"id":"navier-stokes:report:unforced-r3:v1","entry_id":"navier-stokes:entry:clay:v1","state":"reported_open","source_label":"Unforced whole-space regularity target","scope":"Alternative A; the selected forced construction does not settle this assertion.","source_date":null,"observed_on":"2026-10-13","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-dc2dd58dc57f7f0350c4","entry_id":"navier-stokes:entry:clay:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"definition","title":"Viscosity and forcing","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-da6f3ca5e710e0970ffc","entry_id":"navier-stokes:entry:clay:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"milestone","title":"Four official existence/breakdown alternatives","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-46d711162015b06475ed","entry_id":"navier-stokes:entry:clay:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"question","title":"Navier–Stokes existence and smoothness","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-b3d419d169a9d771f923","entry_id":"navier-stokes:entry:clay:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"reading","title":"Consult the original question and its hypotheses.","claim":null,"fragment":"provenance","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-494ccb223886043857c1","entry_id":"navier-stokes:entry:clay:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"scope","title":"Unforced global regularity in the whole space","claim":{"id":"claim-navier-stokes-unforced-r3","version":1,"slug":"navier-stokes-unforced-r3","title":"Unforced global regularity in the whole space"},"fragment":"claim-navier-stokes-unforced-r3","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-5d34f5d5d00c83be2263","entry_id":"navier-stokes:entry:clay:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"scope","title":"Unforced global regularity on the three-torus","claim":{"id":"claim-navier-stokes-unforced-periodic","version":1,"slug":"navier-stokes-unforced-periodic","title":"Unforced global regularity on the three-torus"},"fragment":"claim-navier-stokes-unforced-periodic","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-6e55eb76ca40808f5d12","entry_id":"navier-stokes:entry:clay:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"scope","title":"Forced whole-space nonexistence","claim":{"id":"claim-navier-stokes-forced-r3","version":3,"slug":"navier-stokes-forced-r3","title":"Forced whole-space nonexistence"},"fragment":"claim-navier-stokes-forced-r3","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-d1160cb7bdf13baa73e6","entry_id":"navier-stokes:entry:clay:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"scope","title":"Forced breakdown on the three-torus","claim":{"id":"claim-navier-stokes-forced-periodic","version":2,"slug":"navier-stokes-forced-periodic","title":"Forced breakdown on the three-torus"},"fragment":"claim-navier-stokes-forced-periodic","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-33b4a4856b3c3442324e","entry_id":"navier-stokes:entry:clay:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"statement","title":"Forced breakdown on the three-torus","claim":{"id":"claim-navier-stokes-forced-periodic","version":2,"slug":"navier-stokes-forced-periodic","title":"Forced breakdown on the three-torus"},"fragment":"claim-navier-stokes-forced-periodic","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-634099583338512797a7","entry_id":"navier-stokes:entry:clay:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"statement","title":"Unforced global regularity on the three-torus","claim":{"id":"claim-navier-stokes-unforced-periodic","version":1,"slug":"navier-stokes-unforced-periodic","title":"Unforced global regularity on the three-torus"},"fragment":"claim-navier-stokes-unforced-periodic","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-7e496b1e75528492bbfa","entry_id":"navier-stokes:entry:clay:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"statement","title":"Unforced global regularity in the whole space","claim":{"id":"claim-navier-stokes-unforced-r3","version":1,"slug":"navier-stokes-unforced-r3","title":"Unforced global regularity in the whole space"},"fragment":"claim-navier-stokes-unforced-r3","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-ac798a2897027d86bbe1","entry_id":"navier-stokes:entry:clay:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"statement","title":"Forced whole-space nonexistence","claim":{"id":"claim-navier-stokes-forced-r3","version":3,"slug":"navier-stokes-forced-r3","title":"Forced whole-space nonexistence"},"fragment":"claim-navier-stokes-forced-r3","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}