A computer-assisted proof for solutions of Elkouh’s equation related to Navier–Stokes equations
The present paper presents a computer-assisted proof of the existence of solutions for Elkouh’s equation, which is representative of fluid flow between parallel circular disks. The proposed approach is based on an infinite-dimensional fixed-point theorem with interval arithmetic. Various existing proofs with mathematically rigorous error bounds show the validity of the presented numerical verification method.
Authors
- Shuting Cai (ORCID: https://orcid.org/0000-0002-7733-1567)
- Yoshitaka Watanabe (ORCID: https://orcid.org/0000-0001-6520-3552)
Institutions
- Kyushu University (JP)
- Fujian Jiangxia University (CN)
Publication Details
- Journal
- Fixed Point Theory and Algorithms for Sciences and Engineering
- Published
- 2025-05-04
- DOI
- https://doi.org/10.1186/s13663-025-00790-9
- Primary Topic
- Numerical Methods and Algorithms
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Forskningsrådet om Hälsa, Arbetsliv och Välfärd
- Research Institute for Information Technology, Kyushu University