Another computer-assisted proof of unimodality of solutions for Proudman–Johnson equation

DOI10.1007/S13160-023-00639-XMaRDI QIDQ6498436

Yoshitaka Watanabe, Tomoyuki Miyaji

Publication date: 7 May 2024

Published in: Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Nonlinear boundary value problems for ordinary differential equations (34B15) Navier-Stokes equations for incompressible viscous fluids (76D05) Algorithms with automatic result verification (65G20)

Cites Work

• Unnamed Item
• Vortices of large scale appearing in the 2D stationary Navier-Stokes equations at large Reynolds numbers
• Existence proof of unimodal solutions of the Proudman-Johnson equation via interval analysis
• Verification methods: Rigorous results using floating-point arithmetic
• A Numerical Verification Method for a System of FitzHugh-Nagumo Type
• The generalized Proudman-Johnson equation at large Reynolds numbers
• Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

This page was built for publication: Another computer-assisted proof of unimodality of solutions for Proudman–Johnson equation