{"title":"Another computer-assisted proof of unimodality of solutions for Proudman–Johnson equation","authors":"Yoshitaka Watanabe, Tomoyuki Miyaji","doi":"10.1007/s13160-023-00639-x","DOIUrl":null,"url":null,"abstract":"<p>This paper presents a computer-assisted proof of the existence and unimodality of steady-state solutions for the Proudman–Johnson equation which is representative of two-dimensional fluid flow. The proposed approach is based on an infinite-dimensional fixed-point theorem with interval arithmetic, and is another proof by Miyaji and Okamoto (Jpn J Ind Appl Math 36:287–298, 2019). Verification results show the validity of both proofs.</p>","PeriodicalId":50264,"journal":{"name":"Japan Journal of Industrial and Applied Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7000,"publicationDate":"2024-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Japan Journal of Industrial and Applied Mathematics","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s13160-023-00639-x","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 0
Abstract
This paper presents a computer-assisted proof of the existence and unimodality of steady-state solutions for the Proudman–Johnson equation which is representative of two-dimensional fluid flow. The proposed approach is based on an infinite-dimensional fixed-point theorem with interval arithmetic, and is another proof by Miyaji and Okamoto (Jpn J Ind Appl Math 36:287–298, 2019). Verification results show the validity of both proofs.
期刊介绍：
Japan Journal of Industrial and Applied Mathematics (JJIAM) is intended to provide an international forum for the expression of new ideas, as well as a site for the presentation of original research in various fields of the mathematical sciences. Consequently the most welcome types of articles are those which provide new insights into and methods for mathematical structures of various phenomena in the natural, social and industrial sciences, those which link real-world phenomena and mathematics through modeling and analysis, and those which impact the development of the mathematical sciences. The scope of the journal covers applied mathematical analysis, computational techniques and industrial mathematics.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
