{"id":"https://openalex.org/W7225187258","doi":"https://doi.org/10.5281/zenodo.23906578","title":"The viscous strain bound: what a \u03bd,t-dependent constant can and cannot give","display_name":"The viscous strain bound: what a \u03bd,t-dependent constant can and cannot give","publication_year":2026,"publication_date":"2026-11-02","ids":{"openalex":"https://openalex.org/W7225187258","doi":"https://doi.org/10.5281/zenodo.23906578"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23906578","doi":"https://doi.org/10.5281/zenodo.23906578","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23906578","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","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23906578","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5147864777","display_name":"Benjamin Frohman","orcid":"https://orcid.org/0009-0006-7068-3718","observed_orcids":["https://orcid.org/0009-0006-7068-3718"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Frohman, Benjamin Stanley","raw_affiliation_strings":["Independent Researcher"],"raw_orcid":"https://orcid.org/0009-0006-7068-3718","affiliations":[{"raw_affiliation_string":"Independent Researcher","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5147864777"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"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/T10940","display_name":"Navier-Stokes equation solutions","score":0.9922000169754028,"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"}},"topics":[{"id":"https://openalex.org/T10940","display_name":"Navier-Stokes equation solutions","score":0.9922000169754028,"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/T11654","display_name":"Advanced Mathematical Physics Problems","score":0.002400000113993883,"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"}},{"id":"https://openalex.org/T10194","display_name":"Nonlinear Partial Differential Equations","score":0.0008999999845400453,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/navier-stokes-equations","display_name":"Navier-Stokes equations","score":0.8700000047683716},{"id":"https://openalex.org/keywords/vorticity","display_name":"vorticity","score":0.4480000138282776},{"id":"https://openalex.org/keywords/strain-tensor","display_name":"strain tensor","score":0.3490000069141388},{"id":"https://openalex.org/keywords/logarithmic-corrections","display_name":"logarithmic corrections","score":0.6179999709129333},{"id":"https://openalex.org/keywords/blow-up","display_name":"blow-up","score":0.5720000267028809},{"id":"https://openalex.org/keywords/beale-kato-majda-criterion","display_name":"Beale-Kato-Majda criterion","score":0.9760000109672546},{"id":"https://openalex.org/keywords/lean-4-formal-verification","display_name":"Lean 4 formal verification","score":0.7239999771118164}],"concepts":[{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.805899977684021},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.6628000140190125},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6376000046730042},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5770000219345093},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.5105000138282776},{"id":"https://openalex.org/C90377204","wikidata":"https://www.wikidata.org/wiki/Q1052594","display_name":"Uniform boundedness","level":3,"score":0.4593000113964081},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.41260001063346863},{"id":"https://openalex.org/C2778022156","wikidata":"https://www.wikidata.org/wiki/Q576145","display_name":"Strain (injury)","level":2,"score":0.3847000002861023},{"id":"https://openalex.org/C88626702","wikidata":"https://www.wikidata.org/wiki/Q1128903","display_name":"Continuation","level":2,"score":0.3822999894618988},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.3684999942779541},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.30329999327659607},{"id":"https://openalex.org/C2780129039","wikidata":"https://www.wikidata.org/wiki/Q1931107","display_name":"Section (typography)","level":2,"score":0.26170000433921814}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.5281/zenodo.23906578","doi":"https://doi.org/10.5281/zenodo.23906578","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23906578","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.23906579","doi":"https://doi.org/10.5281/zenodo.23906579","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23906579","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.23931605","doi":"https://doi.org/10.5281/zenodo.23931605","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23931605","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.23906578","doi":"https://doi.org/10.5281/zenodo.23906578","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23906578","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/W7225156475","https://openalex.org/W7225201964","https://openalex.org/W4404390940","https://openalex.org/W7223450928","https://openalex.org/W1551583672","https://openalex.org/W2999660627","https://openalex.org/W2776449300","https://openalex.org/W2511046619","https://openalex.org/W2546801555","https://openalex.org/W7096311349"],"abstract_inverted_index":{"Negative":[0],"result.":[1],"The":[2],"uniform":[3],"bound":[4,93],"\u2016S\u2016\u221e":[5],"\u2264":[6,52],"C\u2016\u03c9\u2016\u221e":[7],"is":[8],"false":[9],"(Bahouri\u2013Chemin":[10],"family;":[11],"Zenodo":[12],"10.5281/zenodo.23904623).":[13],"This":[14],"note":[15],"examines":[16],"the":[17,48,59,84,90,95,101,106,112,123],"surviving":[18],"variant":[19],"with":[20,119],"a":[21,31,44,70,76,115],"constant":[22,78],"depending":[23],"on":[24],"\u03bd":[25],"and":[26,39,57,75],"t>0.":[27],"It":[28],"separates":[29],"(i)":[30],"classical":[32],"log-corrected":[33],"bound,":[34,74],"provable":[35],"by":[36],"standard":[37],"Littlewood\u2013Paley":[38],"parabolic-smoothing":[40],"arguments":[41],"but":[42],"carrying":[43],"solution-dependent":[45],"logarithm;":[46],"(ii)":[47],"pure":[49],"form":[50],"\u2016S(t)\u2016\u221e":[51],"c(\u03bd,t)\u2016\u03c9(t)\u2016\u221e,":[53],"which":[54],"remains":[55],"open;":[56],"(iii)":[58],"consequence":[60],"of":[61,83],"(ii),":[62],"proved":[63],"in":[64],"Lean":[65,130],"4:":[66],"it":[67],"yields":[68],"only":[69],"lifespan":[71],"(small-data)":[72],"lower":[73],"bounded":[77],"does":[79],"not":[80,128],"exclude":[81],"blow-up":[82],"comparison":[85],"ODE.":[86],"So":[87],"even":[88],"if":[89],"\u03bd,t-dependent":[91],"strain":[92],"holds,":[94],"continuation":[96],"route":[97],"reduces":[98],"back":[99],"to":[100,122],"Beale\u2013Kato\u2013Majda":[102],"criterion.":[103],"Numerics":[104],"for":[105],"evolved":[107],"family":[108],"(2D":[109],"slice)":[110],"show":[111],"ratio":[113],"follows":[114],"+":[116],"b":[117,120],"log(1/(\u03bdt))":[118],"close":[121],"heat-flow":[124],"value":[125],"1/\u03c0":[126],"(numerical,":[127],"proved).":[129],"source:":[131],"ViscousStrainBound.lean,":[132],"commit":[133],"346abf6:":[134],"https://github.com/BenFrohman/periodic-ns-classical-continuation/commit/346abf6":[135]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-11-05T12:25:35.769452","created_date":"2026-11-04T00:00:00"}