pith. machine review for the scientific record. sign in

arxiv: 2604.12769 · v1 · submitted 2026-04-14 · 🧮 math.NA · cs.NA

Recognition: unknown

Pressure-Robust Fortin-Soulie Elements of the Stokes Equation on Curved Domains

Authors on Pith no claims yet

Pith reviewed 2026-05-10 14:43 UTC · model grok-4.3

classification 🧮 math.NA cs.NA
keywords elementcurveddiscretedomainsfortin-souliefunctionsmappingpressure-robust
0
0 comments X

The pith

A pressure-robust, element-wise divergence-free nonconforming finite element scheme for Stokes on curved domains is built from mapped Fortin-Soulie elements with Piola transforms and Raviart-Thomas test functions, with proven inf-sup stability and optimal convergence.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The Stokes equations describe slow-moving viscous fluids and are hard to solve numerically because pressure can pollute velocity accuracy and mass may not be conserved exactly. Standard methods often produce velocity errors that depend on how well pressure is approximated. This work takes the Fortin-Soulie element, which works well on straight triangles and is already divergence-free inside each element, and adapts it to domains with curved boundaries. An isoparametric map approximates the curved geometry while a Piola transform moves the vector fields so that key properties survive the mapping. To make the method pressure-robust, the test functions for velocity are swapped for first-order Raviart-Thomas functions. The authors prove that the resulting discrete problem remains stable (satisfies the inf-sup condition) and that velocity and pressure errors converge at the expected optimal rates as the mesh is refined. Numerical tests on example problems are said to match the theory.

Core claim

The discrete element is constructed by mapping the Fortin-Soulie element from a reference triangle using an isoparametric mapping for the geometry and a Piola transform for the function space. The inf-sup condition and the error estimate with optimal convergence rate are proved. Pressure-robustness is obtained by replacing the discrete velocity test functions with the first-order Raviart-Thomas functions.

Load-bearing premise

The isoparametric mapping combined with the Piola transform preserves the nonconforming divergence-free property and the inf-sup stability of the Fortin-Soulie element when applied to curved domains, and the Raviart-Thomas replacement does not destroy these properties or the optimal convergence.

read the original abstract

This paper presents a pressure-robust and element-wise divergence-free nonconforming finite element method for the Stokes problem on curved domains. The discrete element is constructed by mapping the Fortin-Soulie element from a reference triangle using an isoparametric mapping for the geometry and a Piola transform for the function space. The inf-sup condition and the error estimate with optimal convergence rate are proved. Pressure-robustness is obtained by replacing the discrete velocity test functions with the first-order Raviart-Thomas functions. Numerical examples are provided to validate the theoretical results.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central construction rests on the known properties of the Fortin-Soulie element on reference elements and on the assumption that isoparametric/Piola mappings preserve those properties on curved domains. No free parameters, new physical entities, or ad-hoc constants are introduced in the abstract.

axioms (2)
  • domain assumption The Fortin-Soulie element on the reference triangle satisfies the necessary nonconforming inf-sup condition and element-wise divergence-free property for the Stokes problem.
    Invoked when the element is mapped; treated as background knowledge from prior literature.
  • domain assumption The isoparametric mapping and Piola transform preserve the divergence-free and stability properties when the reference element is pulled to a curved physical element.
    This is the load-bearing step for extending the method to curved domains and is not proved in the abstract.

pith-pipeline@v0.9.0 · 5384 in / 1688 out tokens · 52985 ms · 2026-05-10T14:43:39.845373+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.