Fluid Problems Posed on Closed Hypersurfaces: Circumventing the Saddle-Point Structure

Ricardo H. Nochetto; Mansur Shakipov

Home/Archive/arXiv

arXiv · 2610.36641

Fluid Problems Posed on Closed Hypersurfaces: Circumventing the Saddle-Point Structure

Ricardo H. Nochetto·Mansur Shakipov

View original source ↗Read source document ↗Export metadata ↓

Abstract

For a $d$-dimensional closed hypersurface in $\mathbb{R}^{d+1}$, we reformulate the (stationary) tangent Stokes, transient tangent Stokes, and transient tangent Navier-Stokes equations by replacing the divergence equation with a pressure Poisson equation, thereby circumventing their saddle-point structure. The pressure Poisson equation hinges on a commutator identity between the divergence and the surface diffusion operator, whose lower-order term depends on the Ricci curvature, and requires no boundary conditions for the pressure. We show that the reformulated operator is the composition of a linear, block-triangular data map with the primal operator. Consequently, each reformulation is well-posed if and only if the primal problem is, and solving it with arbitrary data amounts to solving the primal problem with a modified divergence datum. For hypersurfaces of class $C^2$ and data of the pressure Poisson equation in $H^{-1}$, the tangent Stokes reformulations can be posed in $H^1$-based spaces, which paves the way for conforming discretizations that do not require a discrete inf-sup condition.

Explore related subjects

math.AP

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Ricardo H. Nochetto, Mansur Shakipov. 2026-10-27. Fluid Problems Posed on Closed Hypersurfaces: Circumventing the Saddle-Point Structure. https://arxiv.org/abs/2610.36641

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Local rigidity of conformally Euclidean metrics for the anisotropic Helmholtz equation at fixed energy

We prove local rigidity of smooth conformally Euclidean metrics $g_0$ on smooth compact domains $M\subset\mathbb{R}^n$, $n\ge3$, for the anisotropic Helmholtz equation $(-Δ_g -k^2)u =0$ at a fixed energy $k^2>0$ which is not a Dirichlet eigenvalue of $-Δ_{g_0}$ in $M$. Any smooth metric sufficiently close to $g_0$ in $H^s(M)$, with integer $s>n/2+1$, and having the same Dirichlet-to-Neumann map, is its pullback by a smooth diffeomorphism fixing the boundary pointwise. The proof uses a Helmholtz embedding to fix the gauge and a compactness argument together with a characterization of the kernel of the linearization.

math.AP↗

arXiv2026

A self-contained proof of the variational characterization of the principal eigenvalue of $-Δ+q$ under general Robin boundary conditions of non-classical type

In this paper, we are going to deliver a completely self-contained proof of the variational characterization of the principal eigenvalue of $-Δ+q$ in $Ω$ under Robin boundary conditions of non-classical type, $\frac{\partial u}{\partial n}+β(x)u=0$ on $\partialΩ$, where $β(x)$ is allowed to change sign on $\partialΩ$. The classical case occurs in the very special case when $β\geq 0$ on $\partialΩ$.

math.AP↗

arXiv2026

Large data global strong solutions to the quantum Navier-Stokes equations with degenerate viscosity

This work is devoted to study the Cauchy problem for the quantum Navier-Stokes equations in $\mathbb R^N$, $N=2,3$, with density dependent viscosities $μ(ρ)=ρ,λ(ρ)=0$, quantum capillarity $κ(ρ)=1/ρ$, which was derived by Dunn and Serrin (see Arch. Ration. Mech. Anal. 88(2):95-133, 1985) as a phase transition model. For arbitrarily large initial data satisfying suitable regularity and decay assumptions, with density positive at every finite point and vanishing at infinity, we prove the existence and uniqueness of global strong solutions without symmetry assumptions. The admissible pressure range is $γ\ge 1$ in two dimensions and $1\leγ< 8/3$ in three dimensions. On every finite time interval, the density remains pointwise comparable to its initial profile, and both the effective velocity and the logarithmic density gradient remain bounded. The central estimates require no uniform positive lower bound for the density. When $γ>1$, a suitable combination of the density and effective velocity equations allows the maximum principle to yield an $L^\infty$ bound for the effective velocity using only an upper bound for the density. We then introduce the relative density with respect to a fixed profile determined by the initial data. In the isothermal case $γ=1$, we combine estimates for this relative density with a scalar inequality involving the effective velocity and the logarithmic density to close the coupled estimates and obtain the effective velocity bound. Combining the relative-density bounds with weighted gradient estimates and localized De Giorgi iteration, we control the logarithmic density gradient and close the higher-order estimates.

math.AP↗