Abstract

We consider the Navier–Stokes equation for an incompressible viscous fluid on a square, satisfying Navier boundary conditions and being subjected to a time-independent force. As the kinematic viscosity is varied, a branch of stationary solutions is shown to undergo a Hopf bifurcation, where a periodic cycle branches from the stationary solution. Our proof is constructive and uses computer-assisted estimates.

Highlights

  • Introduction and Main ResultWe consider the Navier–Stokes equations∂tu − νΔu + (u · ∇)u + ∇p = f, ∇ · u = 0 on Ω, (1.1)for the velocity u = u(t, x, y) of an incompressible fluid on a planar domain Ω, satisfying suitable boundary conditions for (x, y) ∈ ∂Ω and initial conditions at t = 0

  • Following [28], we impose Navier boundary conditions on ∂Ω, which are given by u1 = ∂xu2 = 0 on {0, π} × (0, π), u2 = ∂yu1 = 0 on (0, π) × {0, π}

  • Navier boundary conditions are appropriate in many physically relevant cases [3], which includes the presence of permeable walls [4] or turbulent boundary layers [13,16]

Read more

Summary

Introduction and Main Result

For the velocity u = u(t, x, y) of an incompressible fluid on a planar domain Ω, satisfying suitable boundary conditions for (x, y) ∈ ∂Ω and initial conditions at t = 0. Navier boundary conditions are appropriate in many physically relevant cases [3], which includes the presence of permeable walls [4] or turbulent boundary layers [13,16]. A fair amount is known about the (non)uniqueness of stationary solutions. This includes the existence of a bifurcation between curves of stationary solutions with different symmetries [28]. We prove the existence of a Hopf bifurcation for the Eq (1.1) with boundary conditions (1.2), and with a forcing function f that satisfies (∂xf2 − ∂yf1)(x, y) = 5 sin(x) sin(2y) − 13 sin(3x) sin(2y)

Arioli
70 Page 2 of 14
Fixed Point Equations
70 Page 4 of 14
The Associated Contractions
70 Page 6 of 14
70 Page 8 of 14
Remaining Estimates
The Linear Operators Lα and Lα
70 Page 10 of 14
Estimating Operator Norms
Computer Estimates
70 Page 12 of 14
70 Page 14 of 14

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.