Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions
From MaRDI portal
Publication:2028596
DOI10.1007/s00021-021-00572-4zbMath1468.35104OpenAlexW3159762904MaRDI QIDQ2028596
Hans Koch, Gianni Arioli, Gazzola, Filippo
Publication date: 1 June 2021
Published in: Journal of Mathematical Fluid Mechanics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00021-021-00572-4
Navier-Stokes equations for incompressible viscous fluids (76D05) Navier-Stokes equations (35Q30) Bifurcations in context of PDEs (35B32) Uniqueness problems for PDEs: global uniqueness, local uniqueness, non-uniqueness (35A02) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items
Remarks on the 3D Stokes eigenvalue problem under Navier boundary conditions, Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof, The evolution Navier-Stokes equations in a cube under Navier boundary conditions: rarefaction and uniqueness of global solutions, Smooth self-similar imploding profiles to 3D compressible Euler, A Posteriori Validation of Generalized Polynomial Chaos Expansions, About symmetry in partially hinged composite plates, Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem, On the steady motion of Navier-Stokes flows past a fixed obstacle in a three-dimensional channel under mixed boundary conditions, A Hopf bifurcation in the planar Navier-Stokes equations, Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs, Regularity for the 3D evolution Navier-Stokes equations under Navier boundary conditions in some Lipschitz domains, A connection between symmetry breaking for Sobolev minimizers and stationary Navier-Stokes flows past a circular obstacle
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Stokes and Navier-Stokes equations with Navier boundary condition
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Viscous boundary layers for the Navier-Stokes equations with the Navier slip conditions
- An elementary approach to the 3D Navier-Stokes equations with Navier boundary conditions: existence and uniqueness of various classes of solutions in the flat boundary case
- A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
- On a boundary value problem for a stationary system of Navier-Stokes equations
- A regularity result for the Stokes problem in a convex polygon
- Seventy five (thousand) unsolved problems in analysis and partial differential equations
- Spontaneous periodic orbits in the Navier-Stokes flow
- Steady Navier-Stokes equations in planar domains with obstacle and explicit bounds for unique solvability
- Eight(y) mathematical questions on fluids and structures
- \(L^p\)-theory for Stokes and Navier-Stokes equations with Navier boundary condition
- Regularity for Stokes and generalized Stokes systems under nonhomogeneous slip-type boundary conditions
- Existence and nonuniqueness of rectangular solutions of the Benard problem
- Stabilität und Verzweigung stationärer Lösungen der Navier- Stokesschen Gleichungen beim Taylorproblem. (Stability and branching of the stationary solutions of the Navier-Stokes equation on the problems of Taylor)
- A priori bounds for some bifurcation problems in fluid dynamics
- An Introduction to the Mathematical Theory of the Navier-Stokes Equations
- A numerical investigation of wall effects up to high blockage ratios on two-dimensional flow past a confined circular cylinder
- Structure of the set of stationary solutions of the navier‐stokes equations
- On the vanishing viscosity limit for the 2D incompressible Navier-Stokes equations with the friction type boundary conditions
- The Eigenfunctions of the Stokes Operator in Special Domains. II
- Existence, uniqueness and regularity of solution of the equations of a turbulence model for incompressible fluids
- APPROXIMATION OF THE LARGER EDDIES IN FLUID MOTIONS II: A MODEL FOR SPACE-FILTERED FLOW
- Traveling wave solutions for the FPU chain: a constructive approach
- Consolidated Ada reference manual. Language and standard libraries. International standard ISO/ IEC 8652/1995(E) with technical corrigendum 1