Existence proof of unimodal solutions of the Proudman-Johnson equation via interval analysis
DOI10.1007/S13160-018-00339-XzbMATH Open1410.76332OpenAlexW2907868087WikidataQ128640602 ScholiaQ128640602MaRDI QIDQ1736471FDOQ1736471
Authors: Tomoyuki Miyaji, Hisashi Okamoto 
Publication date: 26 March 2019
Published in: Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s13160-018-00339-x
Recommendations
- The generalized Proudman-Johnson equation and its singular perturbation problems
- The generalized Proudman-Johnson equation at large Reynolds numbers
- The generalized Proudman-Johnson equation revisited
- Global existence of solutions to the Proudman-Johnson equation
- Global and singular solutions to the generalized Proudman-Johnson equation
computer-assisted proofinterval analysisProudman-Johnson equationmultiple shooting methodunimodal solutions
PDEs in connection with fluid mechanics (35Q35) Incompressible viscous fluids (76D99) Algorithms with automatic result verification (65G20)
Cites Work
- Solving Ordinary Differential Equations I
- Some similarity solutions of the Navier-Stokes equations and related topics
- Boundary-layer growth near a rear stagnation point
- On the well-posedness of various one-dimensional model equations for fluid motion
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid
- Verification methods: rigorous results using floating-point arithmetic
- \(C^1\) Lohner algorithm.
- Multiple shooting method for two-point boundary value problems
- Estimating Regions of Existence of Unstable Periodic Orbits Using Computer-Based Techniques
- Vortices of large scale appearing in the 2D stationary Navier-Stokes equations at large Reynolds numbers
- Multiple shooting using interval analysis
- Unimodal patterns appearing in the Kolmogorov flows at large Reynolds numbers
- The generalized Proudman-Johnson equation at large Reynolds numbers
- Unimodal patterns appearing in the two-dimensional Navier-Stokes flows under general forcing at large Reynolds numbers
- A computer-assisted proof of existence of a periodic solution
- A Four-Leaf Chaotic Attractor of a Three-Dimensional Dynamical System
Cited In (2)
Uses Software
This page was built for publication: Existence proof of unimodal solutions of the Proudman-Johnson equation via interval analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1736471)
