## Abstract

Consider the stationary Navier-Stokes equations in a bounded domain Ω ⊃ ℝ ^{n} whose boundary ∂Ω consists of L + 1 smooth (n - 1)-dimensional closed hypersurfaces Γ _{0}, Γ _{1}, . . ., Γ _{L}, where Γ _{1}, . . ., Γ _{L} lie inside of Γ _{0} and outside of one another. The Leray inequality of the given boundary data β on ∂Ω plays an important role for the existence of solutions. It is known that if the flux γ _{i} ≡ ∫ _{Γi} β · νd S = 0 on Γ _{i}(ν: the unit outer normal to Γ _{i}) is zero for each i = 0, 1, . . ., L, then the Leray inequality holds. We prove that if there exists a sphere S in Ω separating ∂Ω in such a way that Γ _{1}, . . ., Γ _{k} (1 ≦ k ≦ L) are contained inside of S and that the others Γ _{k+1}, . . ., Γ _{L} are outside of S, then the Leray inequality necessarily implies that γ _{1} + · · · + γ _{k} = 0. In particular, suppose that there are L spheres S _{1}, . . ., S _{L} in Ω lying outside of one another such that Γ _{i} lies inside of S _{i} for all i = 1, . . ., L. Then the Leray inequality holds if and only if γ _{0} = γ _{1} = · · · = γ _{L} = 0.

Original language | English |
---|---|

Pages (from-to) | 137-145 |

Number of pages | 9 |

Journal | Mathematische Annalen |

Volume | 354 |

Issue number | 1 |

DOIs | |

Publication status | Published - 2012 Sep |

Externally published | Yes |

## ASJC Scopus subject areas

- Mathematics(all)