{"id": "card_question_navier_stokes", "kind": "reference", "title": "Navier-Stokes existence and smoothness", "body": "Navier-Stokes existence and smoothness. In three dimensions, smooth globally defined solutions of the Navier-Stokes equations exist for every smooth initial datum, or a counterexample does. Its chart is the tick stick stick_navier_stokes_existence_and_smoothness: what is sealed, what is cited and what stays open are read live at /stick?id=stick_navier_stokes_existence_and_smoothness. Open in three dimensions for large data; closed in two (Ladyzhenskaya 1959).", "source": {"label": "Clay Mathematics Institute, the Millennium Prize Problems (2000)", "url": "https://www.claymath.org/millennium-problems/", "ref": "stick_navier_stokes_existence_and_smoothness", "domain": "mathematics", "authority_tier": "reference"}, "shelf": "millennium", "box": "question", "bands": ["millennium", "open question", "clay", "navier stokes", "fluids", "partial differential equations", "analysis"], "subject": "Navier-Stokes existence and smoothness", "connections": [{"to_card_id": "card_spine_millennium_sources", "relationship": "member_of", "evidence": "one of the seven questions the Millennium shelf is about"}, {"to_card_id": "card_floor_millennium", "relationship": "open_end_of", "evidence": "an open question hanging off the floor of what is proven"}, {"to_card_id": "card_src_mill_fefferman_2000", "relationship": "cites", "evidence": "the official description, or the proof, the question is read by"}, {"to_card_id": "card_joint_renormalization_group", "relationship": "connects_at", "evidence": "The renormalization group, and the continuum limit as the question. wilson 1974; forster nelson stephen 1977. Sealed: the running coupling (Yang-Mills stick) and the Kolmogorov scale (Navier-Stokes stick)"}, {"to_card_id": "card_joint_arnold_geodesics", "relationship": "connects_at", "evidence": "Euler flow is geodesic flow on the volume-preserving diffeomorphisms. arnold 1966. Cited, not sealed: no arithmetic to recompute"}, {"to_card_id": "card_floor_logarithm", "relationship": "open_end_of", "evidence": "the open question this chain reaches"}, {"to_card_id": "card_chain_karman_1930", "relationship": "connects_at", "evidence": "where the logarithm enters: the law of the wall: the turbulent profile is logarithmic in the distance from the wall (sealed: u+ at y+ = 100)"}, {"to_card_id": "card_src_mill_caffarelli_kohn_nirenberg_1982", "relationship": "builds_on", "evidence": "a later work standing on an earlier one"}, {"to_card_id": "card_src_mill_beale_kato_majda_1984", "relationship": "builds_on", "evidence": "a later work standing on an earlier one"}, {"to_card_id": "card_src_mill_tao_2016", "relationship": "builds_on", "evidence": "a later work standing on an earlier one"}, {"to_card_id": "card_floor_navier_stokes", "relationship": "open_end_of", "evidence": "the open question this chain reaches"}, {"to_card_id": "card_chart_ns_dispersion", "relationship": "charted_by", "evidence": "the stick seals the supercritical scaling u_lambda = lambda u(lambda x, lambda^2 t) - why 3D is the hard case, the obstacle the regularity question names"}], "author": "engine", "created_at": 0.0, "updated_at": 0.0, "visibility": "public", "lifecycle_stage": "public", "volatility": "permanent", "surface": "secular", "generated": false, "call": "millennium.question", "facets": {"subject": ["analysis", "clay", "fluids", "millennium", "navier stokes", "open question", "partial differential equations"]}, "presentation": {"glyph": "?", "kind_label": "A question", "by": "Clay Mathematics Institute, the Millennium Prize Problems (2000)", "authority": "reference", "posted": "", "standing": "", "link": {"url": "https://www.claymath.org/millennium-problems/", "host": "claymath.org", "provider": "", "titled": "Navier-Stokes existence and smoothness", "waybill_line": "", "reach": "", "embed": ""}}, "neighbors": [{"id": "card_spine_millennium_sources", "title": "The Millennium sources — the papers behind the seven sticks", "relationship": "on the shelf of", "why": "one of the seven questions the Millennium shelf is about", "href": "/card/card_spine_millennium_sources", "resolved": true}, {"id": "card_floor_millennium", "title": "The Millennium floor - seven open questions, and where they connect", "relationship": "open end of", "why": "an open question hanging off the floor of what is proven", "href": "/card/card_floor_millennium", "resolved": true}, {"id": "card_src_mill_fefferman_2000", "title": "C. L. Fefferman 2000 — Existence and smoothness of the Navier-Stokes equation", "relationship": "cites", "why": "the official description, or the proof, the question is read by", "href": "/card/card_src_mill_fefferman_2000", "resolved": true}, {"id": "card_joint_renormalization_group", "title": "The renormalization group, and the continuum limit as the question", "relationship": "connects at", "why": "The renormalization group, and the continuum limit as the question. wilson 1974; forster nelson stephen 1977. Sealed: the running coupling (Yang-Mills stick) and the Kolmogorov scale (Navier-Stokes st", "href": "/card/card_joint_renormalization_group", "resolved": true}, {"id": "card_joint_arnold_geodesics", "title": "Euler flow is geodesic flow on the volume-preserving diffeomorphisms", "relationship": "connects at", "why": "Euler flow is geodesic flow on the volume-preserving diffeomorphisms. arnold 1966. Cited, not sealed: no arithmetic to recompute", "href": "/card/card_joint_arnold_geodesics", "resolved": true}, {"id": "card_floor_logarithm", "title": "The logarithm - the instrument the joints share", "relationship": "open end of", "why": "the open question this chain reaches", "href": "/card/card_floor_logarithm", "resolved": true}, {"id": "card_chain_karman_1930", "title": "Kármán 1930 — Mechanische Ähnlichkeit und Turbulenz", "relationship": "connects at", "why": "where the logarithm enters: the law of the wall: the turbulent profile is logarithmic in the distance from the wall (sealed: u+ at y+ = 100)", "href": "/card/card_chain_karman_1930", "resolved": true}, {"id": "card_src_mill_caffarelli_kohn_nirenberg_1982", "title": "L. Caffarelli 1982 — Partial regularity of suitable weak solutions of the Navier-Stokes equations", "relationship": "builds on", "why": "a later work standing on an earlier one", "href": "/card/card_src_mill_caffarelli_kohn_nirenberg_1982", "resolved": true}], "house": {"door": "FIND", "kind": "card", "trail": "connections", "seal": "/card/card_question_navier_stokes", "next_step": {"do": "read the source itself", "door": "FIND", "web": "/reader.html?card=card_question_navier_stokes"}, "ends": "a verdict or a card · the trail · a seal · one next step"}}