{"id":"https://openalex.org/W7140084412","doi":"https://doi.org/10.48550/arxiv.2603.19545","title":"Verifiable Error Bounds for Physics-Informed Neural Network Solutions of Lyapunov and Hamilton-Jacobi-Bellman Equations","display_name":"Verifiable Error Bounds for Physics-Informed Neural Network Solutions of Lyapunov and Hamilton-Jacobi-Bellman Equations","publication_year":2026,"publication_date":"2026-03-20","ids":{"openalex":"https://openalex.org/W7140084412","doi":"https://doi.org/10.48550/arxiv.2603.19545"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.19545","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.19545","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.19545","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5130326944","display_name":"Jun Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Liu, Jun","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5130326944"],"corresponding_institution_ids":[],"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/T11206","display_name":"Model Reduction and Neural Networks","score":0.9839000105857849,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.9839000105857849,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12611","display_name":"Neural Networks and Reservoir Computing","score":0.003100000089034438,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12794","display_name":"Adaptive Dynamic Programming Control","score":0.003100000089034438,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/hamilton\u2013jacobi\u2013bellman-equation","display_name":"Hamilton\u2013Jacobi\u2013Bellman equation","score":0.7440000176429749},{"id":"https://openalex.org/keywords/lyapunov-function","display_name":"Lyapunov function","score":0.7172999978065491},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.6575000286102295},{"id":"https://openalex.org/keywords/residual","display_name":"Residual","score":0.6313999891281128},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.5254999995231628},{"id":"https://openalex.org/keywords/a-priori-and-a-posteriori","display_name":"A priori and a posteriori","score":0.4959000051021576},{"id":"https://openalex.org/keywords/optimal-control","display_name":"Optimal control","score":0.4916999936103821},{"id":"https://openalex.org/keywords/lyapunov-equation","display_name":"Lyapunov equation","score":0.4632999897003174}],"concepts":[{"id":"https://openalex.org/C196978813","wikidata":"https://www.wikidata.org/wiki/Q3302775","display_name":"Hamilton\u2013Jacobi\u2013Bellman equation","level":3,"score":0.7440000176429749},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7389000058174133},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.7172999978065491},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.6575000286102295},{"id":"https://openalex.org/C155512373","wikidata":"https://www.wikidata.org/wiki/Q287450","display_name":"Residual","level":2,"score":0.6313999891281128},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5254999995231628},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.4968999922275543},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.4959000051021576},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.4916999936103821},{"id":"https://openalex.org/C25854792","wikidata":"https://www.wikidata.org/wiki/Q1028945","display_name":"Lyapunov equation","level":4,"score":0.4632999897003174},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.43869999051094055},{"id":"https://openalex.org/C14646407","wikidata":"https://www.wikidata.org/wiki/Q1430750","display_name":"Bellman equation","level":2,"score":0.3986999988555908},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.3919999897480011},{"id":"https://openalex.org/C93779851","wikidata":"https://www.wikidata.org/wiki/Q271977","display_name":"Partial differential equation","level":2,"score":0.38960000872612},{"id":"https://openalex.org/C101403955","wikidata":"https://www.wikidata.org/wiki/Q6707083","display_name":"Lyapunov optimization","level":5,"score":0.376800000667572},{"id":"https://openalex.org/C37935115","wikidata":"https://www.wikidata.org/wiki/Q6707085","display_name":"Lyapunov redesign","level":4,"score":0.3580000102519989},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.34360000491142273},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3292999863624573},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.3156999945640564},{"id":"https://openalex.org/C191544260","wikidata":"https://www.wikidata.org/wiki/Q1238630","display_name":"Lyapunov exponent","level":3,"score":0.30959999561309814},{"id":"https://openalex.org/C122383733","wikidata":"https://www.wikidata.org/wiki/Q865920","display_name":"Approximation error","level":2,"score":0.3084999918937683},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.2770000100135803},{"id":"https://openalex.org/C201030206","wikidata":"https://www.wikidata.org/wiki/Q5165805","display_name":"Control-Lyapunov function","level":5,"score":0.25440001487731934}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.19545","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.19545","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.19545","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.19545","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Many":[0],"core":[1],"problems":[2],"in":[3,41,111],"nonlinear":[4],"systems":[5],"analysis":[6],"and":[7,21,71,84,126,138],"control":[8,166],"can":[9],"be":[10],"recast":[11],"as":[12,19,31,104,106],"solving":[13],"partial":[14],"differential":[15],"equations":[16],"(PDEs)":[17],"such":[18],"Lyapunov":[20,70,83,164,167],"Hamilton-Jacobi-Bellman":[22],"(HJB)":[23],"equations.":[24],"Physics-informed":[25],"neural":[26],"networks":[27],"(PINNs)":[28],"have":[29],"emerged":[30],"a":[32,51,56,90,108,162],"promising":[33],"mesh-free":[34],"approach":[35],"for":[36,66],"approximating":[37],"their":[38],"solutions,":[39],"but":[40],"most":[42],"existing":[43],"works":[44],"there":[45],"is":[46],"no":[47],"rigorous":[48],"guarantee":[49],"that":[50,89,151,157],"small":[52,57],"PDE":[53],"residual":[54,92,153],"implies":[55],"solution":[58],"error.":[59],"This":[60],"paper":[61],"develops":[62],"verifiable":[63,91],"error":[64,96],"bounds":[65,97,128,154],"approximate":[67,115],"solutions":[68,103],"of":[69,113,143],"HJB":[72,85,119],"equations,":[73],"with":[74,98,173],"particular":[75],"emphasis":[76],"on":[77,129,134],"PINN-based":[78],"approximations.":[79],"For":[80,117],"both":[81],"the":[82,101,114,118,130,140,144,158,171],"PDEs,":[86],"we":[87],"show":[88,150],"bound":[93],"yields":[94,123],"relative":[95],"respect":[99],"to":[100],"true":[102],"well":[105],"computable":[107],"posteriori":[109],"estimates":[110],"terms":[112],"solutions.":[116],"equation,":[120],"this":[121],"also":[122],"certified":[124],"upper":[125],"lower":[127],"optimal":[131],"value":[132],"function":[133],"compact":[135],"sublevel":[136],"sets":[137],"quantifies":[139],"optimality":[141],"gap":[142],"induced":[145],"feedback":[146],"policy.":[147],"We":[148,169],"further":[149],"one-sided":[152],"already":[155],"imply":[156],"approximation":[159],"itself":[160],"defines":[161],"valid":[163],"or":[165],"function.":[168],"illustrate":[170],"results":[172],"numerical":[174],"examples.":[175]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-03-24T00:00:00"}