{"id":"https://openalex.org/W2609219101","doi":"https://doi.org/10.1137/141001664","title":"A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory","display_name":"A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2609219101","doi":"https://doi.org/10.1137/141001664","mag":"2609219101"},"language":"en","primary_location":{"id":"doi:10.1137/141001664","is_oa":false,"landing_page_url":"https://doi.org/10.1137/141001664","pdf_url":null,"source":{"id":"https://openalex.org/S203348814","display_name":"SIAM Journal on Numerical Analysis","issn_l":"0036-1429","issn":["0036-1429","1095-7170"],"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 Numerical Analysis","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://tsukuba.repo.nii.ac.jp/records/41683","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016304144","display_name":"Makoto Mizuguchi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Makoto Mizuguchi","raw_affiliation_strings":["School of Fundamental Science and Engineering"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Fundamental Science and Engineering","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041793840","display_name":"Akitoshi Takayasu","orcid":"https://orcid.org/0009-0005-5087-4894"},"institutions":[{"id":"https://openalex.org/I146399215","display_name":"University of Tsukuba","ror":"https://ror.org/02956yf07","country_code":"JP","type":"education","lineage":["https://openalex.org/I146399215"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Akitoshi Takayasu","raw_affiliation_strings":["University OF Tsukuba"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University OF Tsukuba","institution_ids":["https://openalex.org/I146399215"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102973272","display_name":"Takayuki Kubo","orcid":"https://orcid.org/0000-0002-8641-7573"},"institutions":[{"id":"https://openalex.org/I146399215","display_name":"University of Tsukuba","ror":"https://ror.org/02956yf07","country_code":"JP","type":"education","lineage":["https://openalex.org/I146399215"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takayuki Kubo","raw_affiliation_strings":["University OF Tsukuba"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University OF Tsukuba","institution_ids":["https://openalex.org/I146399215"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063201472","display_name":"Shin\u2019ichi Oishi","orcid":"https://orcid.org/0000-0002-6582-265X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shin'ichi Oishi","raw_affiliation_strings":["School of Fundamental Science and Engineering"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Fundamental Science and Engineering","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4286,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.82295338,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"55","issue":"2","first_page":"980","last_page":"1001"},"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.9968000054359436,"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.9968000054359436,"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/T11206","display_name":"Model Reduction and Neural Networks","score":0.9950000047683716,"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/T10339","display_name":"Advanced Numerical Methods in Computational Mathematics","score":0.9944000244140625,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.9239125847816467},{"id":"https://openalex.org/keywords/semigroup","display_name":"Semigroup","score":0.7291445732116699},{"id":"https://openalex.org/keywords/uniqueness","display_name":"Uniqueness","score":0.7138655781745911},{"id":"https://openalex.org/keywords/initial-value-problem","display_name":"Initial value problem","score":0.5865938663482666},{"id":"https://openalex.org/keywords/boundary-value-problem","display_name":"Boundary value problem","score":0.580350399017334},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.5512163639068604},{"id":"https://openalex.org/keywords/banach-fixed-point-theorem","display_name":"Banach fixed-point theorem","score":0.5483468770980835},{"id":"https://openalex.org/keywords/fixed-point-theorem","display_name":"Fixed-point theorem","score":0.5357322692871094},{"id":"https://openalex.org/keywords/analytic-semigroup","display_name":"Analytic semigroup","score":0.5272048115730286},{"id":"https://openalex.org/keywords/parabolic-partial-differential-equation","display_name":"Parabolic partial differential equation","score":0.5144169926643372},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.5131695866584778},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.47542694211006165},{"id":"https://openalex.org/keywords/banach-space","display_name":"Banach space","score":0.4642624855041504},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.4071948230266571},{"id":"https://openalex.org/keywords/partial-differential-equation","display_name":"Partial differential equation","score":0.2513091564178467},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.06952756643295288}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.9239125847816467},{"id":"https://openalex.org/C207405024","wikidata":"https://www.wikidata.org/wiki/Q207348","display_name":"Semigroup","level":2,"score":0.7291445732116699},{"id":"https://openalex.org/C2777021972","wikidata":"https://www.wikidata.org/wiki/Q22976830","display_name":"Uniqueness","level":2,"score":0.7138655781745911},{"id":"https://openalex.org/C26955809","wikidata":"https://www.wikidata.org/wiki/Q10167591","display_name":"Initial value problem","level":2,"score":0.5865938663482666},{"id":"https://openalex.org/C182310444","wikidata":"https://www.wikidata.org/wiki/Q1332643","display_name":"Boundary value problem","level":2,"score":0.580350399017334},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.5512163639068604},{"id":"https://openalex.org/C2780549194","wikidata":"https://www.wikidata.org/wiki/Q220680","display_name":"Banach fixed-point theorem","level":3,"score":0.5483468770980835},{"id":"https://openalex.org/C45962547","wikidata":"https://www.wikidata.org/wiki/Q1422068","display_name":"Fixed-point theorem","level":2,"score":0.5357322692871094},{"id":"https://openalex.org/C2779751289","wikidata":"https://www.wikidata.org/wiki/Q485292","display_name":"Analytic semigroup","level":3,"score":0.5272048115730286},{"id":"https://openalex.org/C186867907","wikidata":"https://www.wikidata.org/wiki/Q1575416","display_name":"Parabolic partial differential equation","level":3,"score":0.5144169926643372},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.5131695866584778},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.47542694211006165},{"id":"https://openalex.org/C132954091","wikidata":"https://www.wikidata.org/wiki/Q194397","display_name":"Banach space","level":2,"score":0.4642624855041504},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.4071948230266571},{"id":"https://openalex.org/C93779851","wikidata":"https://www.wikidata.org/wiki/Q271977","display_name":"Partial differential equation","level":2,"score":0.2513091564178467},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.06952756643295288},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1137/141001664","is_oa":false,"landing_page_url":"https://doi.org/10.1137/141001664","pdf_url":null,"source":{"id":"https://openalex.org/S203348814","display_name":"SIAM Journal on Numerical Analysis","issn_l":"0036-1429","issn":["0036-1429","1095-7170"],"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 Numerical Analysis","raw_type":"journal-article"},{"id":"pmh:oai:irdb.nii.ac.jp:00843:0001632106","is_oa":true,"landing_page_url":"https://tsukuba.repo.nii.ac.jp/records/41683","pdf_url":null,"source":{"id":"https://openalex.org/S7407056385","display_name":"Institutional Repositories DataBase (IRDB)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I184597095","host_organization_name":"National Institute of Informatics","host_organization_lineage":["https://openalex.org/I184597095"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM journal on numerical analysis","raw_type":"journal article"},{"id":"pmh:oai:tsukuba.repo.nii.ac.jp:00041683","is_oa":true,"landing_page_url":"http://hdl.handle.net/2241/00146623","pdf_url":"https://tsukuba.repo.nii.ac.jp/record/41683/files/SIAM_JNA_55-2.pdf","source":{"id":"https://openalex.org/S4306402076","display_name":"Terrestrial Environment Research Center (University of Tsukuba)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I146399215","host_organization_name":"University of Tsukuba","host_organization_lineage":["https://openalex.org/I146399215"],"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":null}],"best_oa_location":{"id":"pmh:oai:irdb.nii.ac.jp:00843:0001632106","is_oa":true,"landing_page_url":"https://tsukuba.repo.nii.ac.jp/records/41683","pdf_url":null,"source":{"id":"https://openalex.org/S7407056385","display_name":"Institutional Repositories DataBase (IRDB)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I184597095","host_organization_name":"National Institute of Informatics","host_organization_lineage":["https://openalex.org/I184597095"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM journal on numerical analysis","raw_type":"journal article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6671449689","display_name":null,"funder_award_id":"15K17596","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320310657","display_name":"Sumitomo Foundation","ror":"https://ror.org/01nmpj461"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W178772886","https://openalex.org/W573861537","https://openalex.org/W1492498476","https://openalex.org/W1527296550","https://openalex.org/W1586623601","https://openalex.org/W1965103704","https://openalex.org/W1968313583","https://openalex.org/W1973664641","https://openalex.org/W1979500969","https://openalex.org/W2008377138","https://openalex.org/W2008427960","https://openalex.org/W2023794945","https://openalex.org/W2049314201","https://openalex.org/W2054838492","https://openalex.org/W2055723554","https://openalex.org/W2064686672","https://openalex.org/W2073204000","https://openalex.org/W2082621526","https://openalex.org/W2083061547","https://openalex.org/W2092922435","https://openalex.org/W2095139809","https://openalex.org/W2227711184","https://openalex.org/W2330546519","https://openalex.org/W2547056482","https://openalex.org/W2970097143","https://openalex.org/W3042562017"],"related_works":["https://openalex.org/W1964813471","https://openalex.org/W2975981742","https://openalex.org/W2364132950","https://openalex.org/W2980485881","https://openalex.org/W4288598325","https://openalex.org/W2844902737","https://openalex.org/W3006703326","https://openalex.org/W2915024987","https://openalex.org/W1964251668","https://openalex.org/W2993291577"],"abstract_inverted_index":{"This":[0,79],"paper":[1,30,80],"presents":[2],"a":[3,14,32,36,43,46,63,83,88,110,116],"numerical":[4,47],"method":[5],"for":[6,16,35,115],"verifying":[7],"the":[8,50,56,93,96,107],"existence":[9,108],"and":[10],"local":[11],"uniqueness":[12],"of":[13,21,28,45,95,104,109],"solution":[15,38,97,112],"an":[17,67,102],"initial-boundary":[18,57],"value":[19,58],"problem":[20,59],"semilinear":[22,118],"parabolic":[23,119],"equations.":[24],"The":[25,70],"main":[26],"theorem":[27],"this":[29,54,105],"provides":[31],"sufficient":[33,71],"condition":[34,72],"unique":[37],"to":[39,86],"be":[40,99],"enclosed":[41],"within":[42],"neighborhood":[44],"solution.":[48],"In":[49],"formulation":[51],"used":[52],"in":[53,91],"paper,":[55],"is":[60,73,113],"transformed":[61],"into":[62],"fixed-point":[64,77],"form":[65],"using":[66],"analytic":[68],"semigroup.":[69],"derived":[74],"from":[75],"Banach's":[76],"theorem.":[78],"also":[81],"introduces":[82],"recursive":[84],"scheme":[85],"extend":[87],"time":[89],"interval":[90],"which":[92],"validity":[94],"can":[98],"verified.":[100],"As":[101],"application":[103],"method,":[106],"global-in-time":[111],"demonstrated":[114],"certain":[117],"equation.":[120]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":3},{"year":2016,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}