{"id":"https://openalex.org/W7225459706","doi":"https://doi.org/10.5281/zenodo.24031058","title":"A computer-assisted proof of global stability of two-dimensional plane Couette flow beyond the energy method","display_name":"A computer-assisted proof of global stability of two-dimensional plane Couette flow beyond the energy method","publication_year":2026,"publication_date":"2026-11-07","ids":{"openalex":"https://openalex.org/W7225459706","doi":"https://doi.org/10.5281/zenodo.24031058"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24031058","doi":"https://doi.org/10.5281/zenodo.24031058","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24031058","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24031058","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5160572203","display_name":"Aoran Zhang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Zhang, Aoran","raw_affiliation_strings":["The Ohio State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Ohio State University","institution_ids":["https://openalex.org/I52357470"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5160572203"],"corresponding_institution_ids":["https://openalex.org/I52357470"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10360","display_name":"Fluid Dynamics and Turbulent Flows","score":0.8583999872207642,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10360","display_name":"Fluid Dynamics and Turbulent Flows","score":0.8583999872207642,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10940","display_name":"Navier-Stokes equation solutions","score":0.03009999915957451,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10588","display_name":"Mathematical Dynamics and Fractals","score":0.026200000196695328,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/plane-couette-flow","display_name":"plane Couette flow","score":0.9490000009536743},{"id":"https://openalex.org/keywords/global-stability","display_name":"global stability","score":0.9200000166893005},{"id":"https://openalex.org/keywords/laminar-turbulent-transition","display_name":"laminar-turbulent transition","score":0.878000020980835},{"id":"https://openalex.org/keywords/energy-method","display_name":"energy method","score":0.5230000019073486},{"id":"https://openalex.org/keywords/computer-assisted-proof","display_name":"computer-assisted proof","score":0.7689999938011169},{"id":"https://openalex.org/keywords/sum-of-squares-certificates","display_name":"sum-of-squares certificates","score":0.7450000047683716},{"id":"https://openalex.org/keywords/spectral-bounds","display_name":"spectral bounds","score":0.5270000100135803},{"id":"https://openalex.org/keywords/two-dimensional-perturbations","display_name":"two-dimensional disturbances","score":0.7670000195503235},{"id":"https://openalex.org/keywords/navier-stokes-equations","display_name":"Navier-Stokes equations","score":0.6809999942779541},{"id":"https://openalex.org/keywords/flint","display_name":"flint","score":0.36000001430511475}],"concepts":[{"id":"https://openalex.org/C2779099160","wikidata":"https://www.wikidata.org/wiki/Q1114429","display_name":"Couette flow","level":3,"score":0.8227999806404114},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6340000033378601},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.538100004196167},{"id":"https://openalex.org/C130432447","wikidata":"https://www.wikidata.org/wiki/Q11420049","display_name":"Quartic function","level":2,"score":0.4964999854564667},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.4683000147342682},{"id":"https://openalex.org/C191795146","wikidata":"https://www.wikidata.org/wiki/Q3878446","display_name":"Norm (philosophy)","level":2,"score":0.4490000009536743},{"id":"https://openalex.org/C17825722","wikidata":"https://www.wikidata.org/wiki/Q17285","display_name":"Plane (geometry)","level":2,"score":0.40540000796318054},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.3995000123977661},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.39899998903274536},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.397599995136261},{"id":"https://openalex.org/C155512373","wikidata":"https://www.wikidata.org/wiki/Q287450","display_name":"Residual","level":2,"score":0.3926999866962433},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.37940001487731934},{"id":"https://openalex.org/C182748727","wikidata":"https://www.wikidata.org/wiki/Q178932","display_name":"Reynolds number","level":3,"score":0.3659999966621399},{"id":"https://openalex.org/C179117685","wikidata":"https://www.wikidata.org/wiki/Q328998","display_name":"Complex plane","level":2,"score":0.3596000075340271},{"id":"https://openalex.org/C39613435","wikidata":"https://www.wikidata.org/wiki/Q846677","display_name":"Remainder","level":2,"score":0.328000009059906},{"id":"https://openalex.org/C29712183","wikidata":"https://www.wikidata.org/wiki/Q739293","display_name":"Barotropic fluid","level":2,"score":0.3230000138282776},{"id":"https://openalex.org/C76563973","wikidata":"https://www.wikidata.org/wiki/Q189452","display_name":"Laminar flow","level":2,"score":0.30970001220703125},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.29420000314712524},{"id":"https://openalex.org/C52957995","wikidata":"https://www.wikidata.org/wiki/Q11382","display_name":"Conservation of energy","level":2,"score":0.2870999872684479},{"id":"https://openalex.org/C177918212","wikidata":"https://www.wikidata.org/wiki/Q803623","display_name":"Perturbation (astronomy)","level":2,"score":0.2768999934196472},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.274399995803833},{"id":"https://openalex.org/C174256460","wikidata":"https://www.wikidata.org/wiki/Q911364","display_name":"Perturbation theory (quantum mechanics)","level":2,"score":0.2721000015735626},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2606000006198883},{"id":"https://openalex.org/C168619227","wikidata":"https://www.wikidata.org/wiki/Q2190991","display_name":"Symplectic geometry","level":2,"score":0.25920000672340393},{"id":"https://openalex.org/C122041747","wikidata":"https://www.wikidata.org/wiki/Q838611","display_name":"Ball (mathematics)","level":2,"score":0.25459998846054077},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.25290000438690186},{"id":"https://openalex.org/C138187205","wikidata":"https://www.wikidata.org/wiki/Q131251","display_name":"Tangent","level":2,"score":0.25040000677108765}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24031058","doi":"https://doi.org/10.5281/zenodo.24031058","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24031058","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.24031059","doi":"https://doi.org/10.5281/zenodo.24031059","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24031059","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24031058","doi":"https://doi.org/10.5281/zenodo.24031058","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24031058","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2753497665","https://openalex.org/W2991334657","https://openalex.org/W2026761816","https://openalex.org/W2062857030","https://openalex.org/W7165028928","https://openalex.org/W2052916245","https://openalex.org/W2079701082","https://openalex.org/W1963552004","https://openalex.org/W2324541716","https://openalex.org/W1664181483"],"abstract_inverted_index":{"For":[0,68],"two-dimensional":[1,83],"plane":[2,104],"Couette":[3,105],"flow":[4,20,106],"with":[5,117,233,247,263,304,390],"streamwise":[6],"period":[7],"L":[8,69],"=":[9,70],"1.659,":[10],"the":[11,18,96,120,135,137,141,151,154,158,178,183,200,206,217,220,225,234,243,255,260,266,279,281,285,311,327,338,343,348,350,353,358,362,366,374,377,391,399,411,417,425],"energy":[12,87,109,185],"method":[13],"proves":[14],"global":[15,101],"stability":[16,102,110],"of":[17,38,47,85,100,103,153,259,268,297,424],"laminar":[19],"only":[21],"for":[22,50,60,416],"Reynolds":[23],"numbers":[24],"below":[25],"Re_E":[26],"\u2248":[27,77],"177.2.":[28],"Darrow,":[29],"Carlson":[30],"and":[31,42,72,130,157,166,219,237,242,251,322,341,352,360,376],"Goluskin":[32],"(arXiv:2606.18232)":[33],"introduced":[34],"a":[35,57,65,238,248,287,387],"three-parameter":[36],"family":[37],"quartic":[39],"Lyapunov":[40],"functionals":[41],"showed":[43],"numerically":[44],"that":[45,205,283],"one":[46,346],"them":[48],"decays":[49,88],"all":[51],"Re":[52,74],"\u2264":[53,75],"197.3.":[54],"They":[55],"left":[56],"rigorous":[58,98],"verification":[59],"future":[61],"work.":[62],"We":[63],"give":[64],"computer-assisted":[66],"proof.":[67],"1659/1000":[71],"every":[73,82],"R*":[76],"197.6390650":[78],"(an":[79],"explicit":[80,124],"rational),":[81],"perturbation":[84],"finite":[86],"to":[89],"zero.":[90],"To":[91],"our":[92],"knowledge":[93],"this":[94,299],"is":[95,175,209,408],"first":[97,257],"proof":[99,113,203,232,262],"above":[107,177],"its":[108,252,264],"threshold.":[111],"The":[112,172,202,380],"follows":[114],"their":[115,131,190],"construction,":[116],"three":[118],"changes:":[119],"two":[121,184],"modes":[122],"are":[123,144,161,187,420],"polynomials":[125],"rather":[126],"than":[127],"exact":[128,164],"eigenfunctions,":[129],"residual":[132],"errors":[133],"enter":[134],"estimates;":[136],"spectral":[138,244],"bounds":[139],"on":[140,330,386],"infinite-dimensional":[142],"remainder":[143],"proved":[145],"by":[146,192,310,403],"an":[147,305,409],"integrated-Legendre":[148],"tail":[149],"lemma;":[150],"enclosures":[152],"mode":[155],"integrals":[156],"sum-of-squares":[159],"certificate":[160,218,344],"verified":[162],"in":[163,278,421],"rational":[165],"ball":[167],"arithmetic":[168],"(python-flint":[169],"/":[170],"FLINT).":[171],"certified":[173],"threshold":[174],"slightly":[176],"published":[179],"value,":[180],"mostly":[181],"because":[182],"eigenmodes":[186],"rotated":[188],"within":[189],"span":[191],"about":[193],"\u22120.038.":[194],"Two":[195],"independently":[196],"written":[197,400],"programs":[198],"check":[199],"certificate.":[201],"assumes":[204],"computing":[207],"environment":[208],"correct.":[210],"Files:":[211],"r7_couette.pdf":[212],"(the":[213,230],"paper).":[214],"r7_deposit.zip":[215],"contains:":[216],"frozen":[221],"specification;":[222],"both":[223],"checkers;":[224],"full":[226,414],"proofs":[227,351,375,401],"as":[228],"reviewed":[229,357,373],"main":[231,261],"checker":[235,364],"source":[236],"line-by-line":[239],"code\u2013proof":[240],"correspondence,":[241],"lemmas),":[245],"each":[246],"replay":[249],"script":[250],"blind":[253],"reviews;":[254,265],"failed":[256],"version":[258],"list":[267],"trusted":[269],"inputs;":[270],"numerical":[271],"Navier\u2013Stokes":[272],"tests":[273],"(evidence":[274],"only,":[275],"not":[276],"used":[277,314],"proof);":[280],"scripts":[282],"constructed":[284],"certificate;":[286],"one-command":[288],"re-check":[289,382],"(reverify.py,":[290],"needs":[291],"python-flint":[292],"0.9.0);":[293],"SHA-256":[294],"checksums.":[295],"Use":[296],"AI:":[298],"work":[300],"was":[301,383],"carried":[302],"out":[303],"AI":[306,406],"research":[307],"system":[308,407],"directed":[309],"author.":[312],"It":[313],"Claude":[315,320,334],"Opus":[316,335],"5.5":[317,336],"(Anthropic,":[318],"through":[319,326],"Code)":[321],"GPT-6":[323,355,370],"Astra":[324,356,371],"(OpenAI,":[325],"Codex":[328],"CLI),":[329],"5\u20137":[331],"November":[332],"2026.":[333],"prepared":[337],"candidate":[339],"problems":[340],"wrote":[342,361],"specification,":[345],"checker,":[347],"search,":[349],"manuscript.":[354],"specification":[359,367],"second":[363],"from":[365],"text":[368],"alone.":[369],"also":[372,384],"manuscript":[378],"blind.":[379],"complete":[381],"run":[385],"separate":[388],"computer,":[389],"same":[392],"result.":[393],"No":[394,405],"human":[395],"has":[396],"yet":[397],"checked":[398],"line":[402],"line.":[404],"author;":[410],"author":[412],"takes":[413],"responsibility":[415],"content.":[418],"Details":[419],"Section":[422],"10":[423],"paper.":[426]},"counts_by_year":[],"updated_date":"2026-11-09T13:22:03.289127","created_date":"2026-11-08T00:00:00"}