The stationary Navier–Stokes equations under Navier boundary conditions are considered in a square. The uniqueness of solutions is studied in dependence of the Reynolds number and of the strength of the external force. For some particular forcing, it is shown that uniqueness persists on some continuous branch of solutions, when these quantities become arbitrarily large. On the other hand, for a different forcing, a branch of symmetric solutions is shown to bifurcate, giving rise to a secondary branch of nonsymmetric solutions. This proof is computer-assisted, based on a local representation of branches as analytic arcs.

Uniqueness and Bifurcation Branches for Planar Steady Navier–Stokes Equations Under Navier Boundary Conditions

Arioli, Gianni;Gazzola, Filippo;
2021-01-01

Abstract

The stationary Navier–Stokes equations under Navier boundary conditions are considered in a square. The uniqueness of solutions is studied in dependence of the Reynolds number and of the strength of the external force. For some particular forcing, it is shown that uniqueness persists on some continuous branch of solutions, when these quantities become arbitrarily large. On the other hand, for a different forcing, a branch of symmetric solutions is shown to bifurcate, giving rise to a secondary branch of nonsymmetric solutions. This proof is computer-assisted, based on a local representation of branches as analytic arcs.
2021
Navier–Stokes equations, Navier boundary conditions, Uniquenes, Bifurcation, Computer assisted proof.
File in questo prodotto:
File Dimensione Formato  
21JMFM.pdf

accesso aperto

Descrizione: Articolo principale
: Publisher’s version
Dimensione 881.89 kB
Formato Adobe PDF
881.89 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/1172011
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? 8
social impact