{"id":"https://openalex.org/W2345721683","doi":"https://doi.org/10.1137/16m1073777","title":"A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations","display_name":"A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2345721683","doi":"https://doi.org/10.1137/16m1073777","mag":"2345721683"},"language":"en","primary_location":{"id":"doi:10.1137/16m1073777","is_oa":false,"landing_page_url":"https://doi.org/10.1137/16m1073777","pdf_url":null,"source":{"id":"https://openalex.org/S161160597","display_name":"SIAM Journal on Applied Dynamical Systems","issn_l":"1536-0040","issn":["1536-0040"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Applied Dynamical Systems","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1605.01086","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029803197","display_name":"Jordi-Llu\u00eds Figueras","orcid":"https://orcid.org/0000-0002-0535-4137"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jordi-Llu\u00eds Figueras","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051475216","display_name":"Marcio Gameiro","orcid":"https://orcid.org/0000-0003-2168-0757"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marcio Gameiro","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107699114","display_name":"Jean Lessard","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jean-Philippe Lessard","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5004732229","display_name":"Rafael de la Llave","orcid":"https://orcid.org/0000-0002-0286-6233"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rafael de la Llave","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5029803197"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2039,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.48290472,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"16","issue":"2","first_page":"1070","last_page":"1088"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11110","display_name":"Stability and Controllability of Differential Equations","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"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/T11110","display_name":"Stability and Controllability of Differential Equations","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"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/T11416","display_name":"Numerical methods for differential equations","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"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/T12396","display_name":"Advanced Differential Equations and Dynamical Systems","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/invariant","display_name":"Invariant (physics)","score":0.7484395503997803},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6589749455451965},{"id":"https://openalex.org/keywords/fixed-point","display_name":"Fixed point","score":0.6072360873222351},{"id":"https://openalex.org/keywords/a-priori-and-a-posteriori","display_name":"A priori and a posteriori","score":0.569196343421936},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.5473199486732483},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5175834894180298},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5070772171020508},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.43993720412254333},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3592242896556854},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3488539457321167},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.287132203578949},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22737616300582886},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.07324251532554626}],"concepts":[{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.7484395503997803},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6589749455451965},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.6072360873222351},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.569196343421936},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5473199486732483},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5175834894180298},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5070772171020508},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.43993720412254333},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3592242896556854},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3488539457321167},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.287132203578949},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22737616300582886},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.07324251532554626},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1137/16m1073777","is_oa":false,"landing_page_url":"https://doi.org/10.1137/16m1073777","pdf_url":null,"source":{"id":"https://openalex.org/S161160597","display_name":"SIAM Journal on Applied Dynamical Systems","issn_l":"1536-0040","issn":["1536-0040"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Applied Dynamical Systems","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1605.01086","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1605.01086","pdf_url":"https://arxiv.org/pdf/1605.01086","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:2345721683","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1605.01086.pdf","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1605.01086","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1605.01086","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":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1605.01086","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1605.01086","pdf_url":"https://arxiv.org/pdf/1605.01086","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1307627226","display_name":null,"funder_award_id":"2010/00875-9","funder_id":"https://openalex.org/F4320320997","funder_display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo"},{"id":"https://openalex.org/G1909562769","display_name":"Rigorous computations for nonlinear partial differential equations","funder_award_id":"13/50382-7","funder_id":"https://openalex.org/F4320320997","funder_display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo"},{"id":"https://openalex.org/G2581719517","display_name":null,"funder_award_id":"306453/2009-6","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G3767355993","display_name":"Rigorous computations for PDEs","funder_award_id":"13/07460-7","funder_id":"https://openalex.org/F4320320997","funder_display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo"},{"id":"https://openalex.org/G37711113","display_name":"Topological methods and rigorous numerics for bifurcations of dynamical systems","funder_award_id":"10/00875-9","funder_id":"https://openalex.org/F4320320997","funder_display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo"},{"id":"https://openalex.org/G4249112383","display_name":null,"funder_award_id":"2013/50382-7","funder_id":"https://openalex.org/F4320320997","funder_display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo"},{"id":"https://openalex.org/G4351604912","display_name":null,"funder_award_id":"305860/2013-5","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G5667782647","display_name":null,"funder_award_id":"2013/5","funder_id":"https://openalex.org/F4320320997","funder_display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo"},{"id":"https://openalex.org/G7563179668","display_name":null,"funder_award_id":"2016/08704-5","funder_id":"https://openalex.org/F4320320997","funder_display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo"},{"id":"https://openalex.org/G7853526861","display_name":null,"funder_award_id":"2013/07460-7","funder_id":"https://openalex.org/F4320320997","funder_display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320997","display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo","ror":"https://ror.org/02ddkpn78"},{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"},{"id":"https://openalex.org/F4320337380","display_name":"Division of Mathematical Sciences","ror":"https://ror.org/051fftw81"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W246508170","https://openalex.org/W306903215","https://openalex.org/W1543743091","https://openalex.org/W1560060148","https://openalex.org/W1833938588","https://openalex.org/W1840738484","https://openalex.org/W1906421350","https://openalex.org/W1965378656","https://openalex.org/W1967216996","https://openalex.org/W1968313583","https://openalex.org/W1970039091","https://openalex.org/W1970608193","https://openalex.org/W1976876624","https://openalex.org/W1977255739","https://openalex.org/W1978758631","https://openalex.org/W1979499447","https://openalex.org/W1982999858","https://openalex.org/W1989018928","https://openalex.org/W1998595723","https://openalex.org/W2001675348","https://openalex.org/W2005353159","https://openalex.org/W2010626922","https://openalex.org/W2015052703","https://openalex.org/W2019459571","https://openalex.org/W2020451283","https://openalex.org/W2021356682","https://openalex.org/W2023794945","https://openalex.org/W2028347552","https://openalex.org/W2029232122","https://openalex.org/W2031022267","https://openalex.org/W2034752323","https://openalex.org/W2035498182","https://openalex.org/W2036319645","https://openalex.org/W2037575283","https://openalex.org/W2045720672","https://openalex.org/W2049098928","https://openalex.org/W2053029011","https://openalex.org/W2055511445","https://openalex.org/W2055723554","https://openalex.org/W2056755069","https://openalex.org/W2057055494","https://openalex.org/W2060579120","https://openalex.org/W2066629027","https://openalex.org/W2076033814","https://openalex.org/W2082578307","https://openalex.org/W2088602157","https://openalex.org/W2092068986","https://openalex.org/W2092099692","https://openalex.org/W2094925628","https://openalex.org/W2100375085","https://openalex.org/W2117395364","https://openalex.org/W2134097820","https://openalex.org/W2139886236","https://openalex.org/W2158223566","https://openalex.org/W2198320091","https://openalex.org/W2208157321","https://openalex.org/W2323454677","https://openalex.org/W2328416795","https://openalex.org/W2602871343","https://openalex.org/W2964243816","https://openalex.org/W3182252275"],"related_works":["https://openalex.org/W2557193726","https://openalex.org/W1501770280","https://openalex.org/W3130154400","https://openalex.org/W2996807429","https://openalex.org/W3157097769","https://openalex.org/W2186529703","https://openalex.org/W2114953769","https://openalex.org/W1617370479","https://openalex.org/W3177649758","https://openalex.org/W1855527216","https://openalex.org/W2487042937","https://openalex.org/W1504244791","https://openalex.org/W640023374","https://openalex.org/W3023234438","https://openalex.org/W3106267378","https://openalex.org/W2981426306","https://openalex.org/W3153337028","https://openalex.org/W2552649351","https://openalex.org/W566451088","https://openalex.org/W2037046346"],"abstract_inverted_index":{"We":[0,83],"develop":[1,84],"a":[2,53,122],"theoretical":[3],"framework":[4],"for":[5],"computer-assisted":[6],"proofs":[7],"of":[8,11,43,55,73,90,135],"the":[9,44,49,88,100,106,136],"existence":[10],"invariant":[12,18,32],"objects":[13,19],"in":[14,21,61,85,121,139],"semilinear":[15],"PDEs.":[16],"The":[17,41],"considered":[20],"this":[22,140],"paper":[23,141],"are":[24,60],"equilibrium":[25],"points,":[26],"traveling":[27],"waves,":[28],"periodic":[29,39,144],"orbits,":[30],"and":[31,115],"manifolds":[33],"attached":[34],"to":[35,68,92,98,103,117,142],"fixed":[36,77],"points":[37],"or":[38],"orbits.":[40,145],"core":[42],"study":[45,143],"is":[46],"writing":[47],"down":[48],"invariance":[50],"condition":[51],"as":[52],"zero":[54],"an":[56],"operator.":[57],"These":[58],"operators":[59],"general":[62],"not":[63],"continuous,":[64],"so":[65],"one":[66],"needs":[67],"smooth":[69],"them":[70,120],"by":[71],"means":[72],"preconditioners":[74],"before":[75],"classical":[76],"point":[78],"theorems":[79],"can":[80,112],"be":[81,113],"applied.":[82],"detail":[86],"all":[87],"aspects":[89],"how":[91,97,102,116],"work":[93,104,118],"with":[94,105,119],"these":[95],"objects:":[96],"precondition":[99],"equations,":[101],"nonlinear":[107],"terms,":[108],"which":[109],"function":[110],"spaces":[111],"useful,":[114],"computationally":[123],"rigorous":[124],"way.":[125],"In":[126],"two":[127,132],"companion":[128],"papers,":[129],"we":[130],"present":[131],"different":[133],"implementations":[134],"tools":[137],"developed":[138]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}