Least Total Curvature Solutions

• Least total curvature solutions are extremal configurations defined by minimizing curvature functionals, unifying smooth surfaces, Euler flows, and discrete planar graphs.
• They include variational principles leading to rigidity results in convexity, where equality cases characterize unique geometries and topological constraints.
• The theory integrates PDE analysis, discrete gap phenomena, and rigidity theorems, offering practical insights into minimal energy and curvature-based classification.

Searching arXiv for relevant papers on "least total curvature solutions" and adjacent minimal total curvature literature. Least total curvature solutions are extremal objects selected either by minimizing a curvature functional or by attaining the equality case in a sharp lower-bound theorem for curvature. In current research usage, the term spans several distinct but structurally related settings: steady incompressible Euler flows in a strip obtained from a total-curvature variational principle, compact and complete surfaces whose total absolute curvature is smallest under topological or ambient constraints, and discrete planar graphs whose positive total curvature exhibits a first nonzero gap (Gui et al., 16 Jul 2025).

1. Extremality notions and curvature functionals

The phrase is not attached to a single universal curvature quantity. In the Euclidean surface setting of Han and Khuri, the total absolute curvature of a compact orientable surface $S\subset \mathbb{R}^3$ is

$T(S)=\int_S |K|\,dA,$

and the class $T$ of “tight” surfaces is defined by

$\int_{S^+}K\,dA=4\pi,$

equivalently,

$T(S)=2\pi(4-\chi(S)).$

In this formulation, “minimal total absolute curvature” means attainment of the Chern–Lashof lower bound (Han et al., 2011).

For closed immersed surfaces $\Sigma\subset M^3$ in a Cartan–Hadamard manifold, the curvature quantity is the total absolute extrinsic curvature

$T(\Sigma):=\int_\Sigma |GK|\,dA,$

where $GK$ is the Gauss–Kronecker curvature. The least-total-curvature theorem states $T(\Sigma)\ge 4\pi$, with equality characterized by convexity and ambient flatness on the enclosed body (Ghomi et al., 27 Apr 2026).

In the equiaffine setting, the relevant invariant is Koike’s total absolute curvature

$$\tau_S(f)=\frac{1}{\mathrm{vol}(\mathbb S^{n+r-1})}\int_B |G(\eta)|\,\omega_B,$$

which is also the average number of critical points of height functions. Here the least value is $T(S)=\int_S |K|\,dA,$0, and the equality case is equivalent to the image being a convex hypersurface in an affine $T(S)=\int_S |K|\,dA,$1-plane (Yamauchi, 1 Apr 2026).

The strip-Euler problem uses a different functional. For a stream function $T(S)=\int_S |K|\,dA,$2, the total curvature of the flow is

$T(S)=\int_S |K|\,dA,$3

interpreted as $T(S)=\int_S |K|\,dA,$4 on stagnation. In that setting, “least total curvature solutions” are minimizers of $T(S)=\int_S |K|\,dA,$5 under boundary and asymptotic constraints, and the Euler–Lagrange condition is the steady Euler vorticity transport equation $T(S)=\int_S |K|\,dA,$6 (Gui et al., 16 Jul 2025).

A discrete analogue appears for planar graphs with nonnegative combinatorial curvature. The vertex curvature is

$T(S)=\int_S |K|\,dA,$7

and the total curvature is $T(S)=\int_S |K|\,dA,$8. The least positive value is not $T(S)=\int_S |K|\,dA,$9 but $T$0, producing a gap phenomenon rather than a continuous minimization principle (Hua et al., 2017).

2. Gaussian-curvature minimization with prescribed contour

A direct variational surface problem is formulated in “Minimal Gaussian Curvature Surface” (Gilat, 2021). The objective is to find surfaces in $T$1 that are as close as possible to being flat, span a given contour, and have that contour as a geodesic on the sought surface. The functional being minimized is the total Gaussian curvature squared.

The paper states that, after a change of coordinates, the curvature of the optimal surface is controlled by a PDE reducible to the biharmonic equation with an easy-to-define Dirichlet boundary condition and Neumann boundary condition zero. It then states a system of PDEs for the function whose graph is the optimal surface (Gilat, 2021).

This formulation differs from equality-case theories such as Chern–Lashof or Cartan–Hadamard rigidity. Here the extremal object is selected by minimizing a curvature-square energy under a boundary-geodesic constraint, rather than by classifying surfaces that saturate a topological lower bound. A plausible implication is that the topic “least total curvature” naturally includes both integral-square functionals and absolute-curvature minimization, depending on the geometric constraint class.

3. Steady Euler flows in a strip

The most literal use of the expression “least total curvature solutions” in recent PDE literature concerns the steady incompressible Euler system in the infinite strip

$T$2

The velocity field $T$3 and pressure $T$4 satisfy

$T$5

with slip boundary condition $T$6 on $T$7. Writing $T$8 gives the stream-function formulation with $T$9 and $\int_{S^+}K\,dA=4\pi,$0, and the steady Euler equation becomes $\int_{S^+}K\,dA=4\pi,$1, where $\int_{S^+}K\,dA=4\pi,$2 (Gui et al., 16 Jul 2025).

The flow-curvature functional is

$\int_{S^+}K\,dA=4\pi,$3

It satisfies $\int_{S^+}K\,dA=4\pi,$4, and $\int_{S^+}K\,dA=4\pi,$5 if and only if $\int_{S^+}K\,dA=4\pi,$6 is a parallel shear flow. The admissible class fixes the boundary levels and requires $\int_{S^+}K\,dA=4\pi,$7, together with appropriate decay as $\int_{S^+}K\,dA=4\pi,$8. The least-total-curvature problem is

$\int_{S^+}K\,dA=4\pi,$9

A formal first variation yields

$T(S)=2\pi(4-\chi(S)).$0

so any minimizer is a steady Euler flow (Gui et al., 16 Jul 2025).

The existence theory proceeds through an auxiliary semilinear Dirichlet problem

$T(S)=2\pi(4-\chi(S)).$1

with $T(S)=2\pi(4-\chi(S)).$2. The nonlinearity is chosen so that the one-dimensional ODE

$T(S)=2\pi(4-\chi(S)).$3

has exactly two global-energy minimizers $T(S)=2\pi(4-\chi(S)).$4, with no others in between. Minimization on truncated cylinders $T(S)=2\pi(4-\chi(S)).$5, monotonicity $T(S)=2\pi(4-\chi(S)).$6, an alignment argument, compactness, and a Hamiltonian identity then produce a heteroclinic limit

$T(S)=2\pi(4-\chi(S)).$7

Theorem A asserts the existence of $T(S)=2\pi(4-\chi(S)).$8, $T(S)=2\pi(4-\chi(S)).$9, and a bounded smooth solution of the semilinear problem with $\Sigma\subset M^3$0, where $\Sigma\subset M^3$1 is strictly increasing in $\Sigma\subset M^3$2 and $\Sigma\subset M^3$3 has exactly one change of monotonicity; the associated $\Sigma\subset M^3$4 is a least total curvature Euler flow of a new type. The same scheme also yields a strictly increasing positive solution of $\Sigma\subset M^3$5 in the strip with a non-convex superlevel set, giving a negative answer to a generalized problem of Hamel–Nadirashvili–Sire in the unbounded strip (Gui et al., 16 Jul 2025).

4. Tight compact surfaces and rigidity in $\Sigma\subset M^3$6

For compact orientable immersed surfaces in $\Sigma\subset M^3$7, minimal total absolute curvature is encoded by the tight class $\Sigma\subset M^3$8. Han and Khuri assume $\Sigma\subset M^3$9, define $T(\Sigma):=\int_\Sigma |GK|\,dA,$0, and study rigidity of isometric immersions when the Gaussian curvature changes sign in a controlled way. Their first theorem assumes $T(\Sigma):=\int_\Sigma |GK|\,dA,$1 is $T(\Sigma):=\int_\Sigma |GK|\,dA,$2, $T(\Sigma):=\int_\Sigma |GK|\,dA,$3 vanishes to finite odd order along $T(\Sigma):=\int_\Sigma |GK|\,dA,$4, and every closed asymptotic curve $T(\Sigma):=\int_\Sigma |GK|\,dA,$5 satisfies

$T(\Sigma):=\int_\Sigma |GK|\,dA,$6

Under these hypotheses, any other $T(\Sigma):=\int_\Sigma |GK|\,dA,$7 isometric immersion differs from $T(\Sigma):=\int_\Sigma |GK|\,dA,$8 by a Euclidean motion. The second theorem assumes $T(\Sigma):=\int_\Sigma |GK|\,dA,$9 is $GK$0, $GK$1 along $GK$2, $GK$3 changes sign monotonically across $GK$4, and imposes the same nondegeneracy integral along each closed asymptotic curve; rigidity again follows (Han et al., 2011).

The geometry of the proof decomposes the surface into a convex part and a negative-curvature region. Kuiper’s theorem and Pogorelov rigidity control the closure of the positive region $GK$5, whose boundary curves lie in planes. Under the finite-order vanishing and nondegeneracy assumptions, each connected component of $GK$6 is topologically an annulus. The Gauss–Codazzi system for two isometric immersions is then rewritten as a weakly hyperbolic $GK$7 system for the differences in second fundamental form coefficients, with local uniqueness near $GK$8 and near closed asymptotic curves, followed by propagation along asymptotic characteristics (Han et al., 2011).

The equality case is also topologically restrictive. Since $GK$9 by Chern–Lashof, the only orientable tight surfaces are $T(\Sigma)\ge 4\pi$0 and $T(\Sigma)\ge 4\pi$1. Spherical tight surfaces are exactly the convex ones, and the standard ring torus of revolution is the canonical genus-$T(\Sigma)\ge 4\pi$2 example. The paper’s conclusion is that least-total-absolute-curvature solutions in genus $T(\Sigma)\ge 4\pi$3 or $T(\Sigma)\ge 4\pi$4 exhibit rigidity phenomena analogous to those of strictly convex surfaces, provided the sign change of $T(\Sigma)\ge 4\pi$5 and the asymptotic foliation satisfy the stated finite-order and nondegeneracy conditions (Han et al., 2011).

5. Least admissible total curvature for complete minimal and stationary surfaces

A different use of least-curvature language arises for complete minimal surfaces with fixed end structure. For a complete conformal minimal immersion $T(\Sigma)\ge 4\pi$6 of finite total curvature, the Gauss map $T(\Sigma)\ge 4\pi$7 is meromorphic on the compactification, and the total absolute curvature is

$T(\Sigma)\ge 4\pi$8

If the genus is $T(\Sigma)\ge 4\pi$9 and the number of ends is $$\tau_S(f)=\frac{1}{\mathrm{vol}(\mathbb S^{n+r-1})}\int_B |G(\eta)|\,\omega_B,$$0, then $$\tau_S(f)=\frac{1}{\mathrm{vol}(\mathbb S^{n+r-1})}\int_B |G(\eta)|\,\omega_B,$$1. For $$\tau_S(f)=\frac{1}{\mathrm{vol}(\mathbb S^{n+r-1})}\int_B |G(\eta)|\,\omega_B,$$2, this yields $$\tau_S(f)=\frac{1}{\mathrm{vol}(\mathbb S^{n+r-1})}\int_B |G(\eta)|\,\omega_B,$$3, with equality if and only if each end is embedded; in that case one recovers the plane or the catenoid. For non-catenoidal two-ended surfaces one has

$$\tau_S(f)=\frac{1}{\mathrm{vol}(\mathbb S^{n+r-1})}\int_B |G(\eta)|\,\omega_B,$$4

The paper constructs families of complete, non-catenoidal, two-ended minimal surfaces realizing this lower bound for genus $$\tau_S(f)=\frac{1}{\mathrm{vol}(\mathbb S^{n+r-1})}\int_B |G(\eta)|\,\omega_B,$$5 and for even $$\tau_S(f)=\frac{1}{\mathrm{vol}(\mathbb S^{n+r-1})}\int_B |G(\eta)|\,\omega_B,$$6, so that

$$\tau_S(f)=\frac{1}{\mathrm{vol}(\mathbb S^{n+r-1})}\int_B |G(\eta)|\,\omega_B,$$7

It further proves a uniqueness theorem from symmetry: any such surface with $$\tau_S(f)=\frac{1}{\mathrm{vol}(\mathbb S^{n+r-1})}\int_B |G(\eta)|\,\omega_B,$$8 symmetries must coincide, up to rigid motion, with the explicit examples (Fujimori et al., 2015).

In Lorentzian surface theory, an analogous classification holds for complete spacelike stationary surfaces in $$\tau_S(f)=\frac{1}{\mathrm{vol}(\mathbb S^{n+r-1})}\int_B |G(\eta)|\,\omega_B,$$9. Using the Weierstrass representation with meromorphic functions $T(S)=\int_S |K|\,dA,$00 and holomorphic $T(S)=\int_S |K|\,dA,$01-form $T(S)=\int_S |K|\,dA,$02, the total Gaussian curvature of an algebraic surface is quantized. When

$T(S)=\int_S |K|\,dA,$03

the generalized Jorge–Meeks formula forces

$T(S)=\int_S |K|\,dA,$04

A case-by-case analysis shows that the only complete immersed algebraic examples are the generalized Enneper surfaces, with genus $T(S)=\int_S |K|\,dA,$05 and one regular end of multiplicity $T(S)=\int_S |K|\,dA,$06, and the generalized catenoids, with genus $T(S)=\int_S |K|\,dA,$07 and two regular ends each of multiplicity $T(S)=\int_S |K|\,dA,$08. For non-orientable algebraic stationary surfaces with oriented double cover of genus $T(S)=\int_S |K|\,dA,$09, a finer analysis yields the sharp lower estimate

$T(S)=\int_S |K|\,dA,$10

No non-algebraic example with $T(S)=\int_S |K|\,dA,$11 is known, and the conjecture is that none exists (Ma et al., 2012).

These two theories share a common pattern: the least admissible curvature is not absolute in the ambient category, but relative to topological and asymptotic constraints. In $T(S)=\int_S |K|\,dA,$12, the catenoid occupies the embedded equality case, while the non-catenoidal problem begins at the next quantized level. In $T(S)=\int_S |K|\,dA,$13, the oriented algebraic equality case at $T(S)=\int_S |K|\,dA,$14 is exhausted by the generalized Enneper and generalized catenoid families. This suggests that symmetry, end multiplicity, and period conditions serve as the principal rigidity mechanisms in finite-total-curvature classification.

6. Equality theorems beyond Euclidean surface theory

In Cartan–Hadamard $T(S)=\int_S |K|\,dA,$15-manifolds, Ghomi, Hoisington, Raffaelli, and Stavroulakis prove a direct analogue of the Euclidean Chern–Lashof theorem. If $T(S)=\int_S |K|\,dA,$16 is a closed $T(S)=\int_S |K|\,dA,$17 immersed surface, then

$T(S)=\int_S |K|\,dA,$18

Equality $T(S)=\int_S |K|\,dA,$19 occurs if and only if $T(S)=\int_S |K|\,dA,$20 bounds a compact convex body $T(S)=\int_S |K|\,dA,$21 on which the ambient sectional curvature vanishes identically, so $T(S)=\int_S |K|\,dA,$22 is isometric to a Euclidean convex body. The proof reduces to the convex hull boundary $T(S)=\int_S |K|\,dA,$23, uses Gauss–Bonnet on $T(S)=\int_S |K|\,dA,$24, derives trivial holonomy from flatness along $T(S)=\int_S |K|\,dA,$25, constructs a $T(S)=\int_S |K|\,dA,$26 isometric immersion $T(S)=\int_S |K|\,dA,$27 preserving total curvature of curves, proves convexity of $T(S)=\int_S |K|\,dA,$28 via Pogorelov’s bounded-extrinsic-curvature theory, and extends $T(S)=\int_S |K|\,dA,$29 to the whole convex hull using a Schur-type comparison theorem and a Kirszbraun–Lang–Schroeder argument. The result generalizes the Euclidean equality case and solves a problem posed by Gromov in 1985 (Ghomi et al., 27 Apr 2026).

In equiaffine differential geometry, Koike’s total absolute curvature has a parallel equality theory. For an equiaffine immersion $T(S)=\int_S |K|\,dA,$30, the total absolute curvature is

$T(S)=\int_S |K|\,dA,$31

Koike’s inequality gives

$T(S)=\int_S |K|\,dA,$32

and if $T(S)=\int_S |K|\,dA,$33 then $T(S)=\int_S |K|\,dA,$34. The equality-case theorem states that

$T(S)=\int_S |K|\,dA,$35

if and only if the image $T(S)=\int_S |K|\,dA,$36 is a convex hypersurface lying in some affine $T(S)=\int_S |K|\,dA,$37-plane. The proof first reduces codimension by showing that otherwise one could produce a height function with at least three critical points; after iterating this reduction, the hypersurface case is handled by proving that $T(S)=\int_S |K|\,dA,$38 is equivalent to every tangent hyperplane being supporting (Yamauchi, 1 Apr 2026).

Both results recast least total curvature as a rigidity statement. In Cartan–Hadamard geometry, equality singles out convex spheres in flat regions of a nonpositively curved ambient space. In the equiaffine category, equality singles out convex hypersurfaces in codimension one. A plausible implication is that convexity is the dominant geometric signature of least-total-curvature configurations whenever the curvature functional is interpreted as an averaged or absolute extrinsic measure.

7. Discrete first-gap phenomena for total curvature

For infinite planar graphs with nonnegative combinatorial curvature, least positive total curvature appears as a discrete gap problem rather than a continuous variational one. A semiplanar graph $T(S)=\int_S |K|\,dA,$39 gives rise to a polygonal surface $T(S)=\int_S |K|\,dA,$40 by replacing each face of degree $T(S)=\int_S |K|\,dA,$41 with a regular Euclidean $T(S)=\int_S |K|\,dA,$42-gon of side length $T(S)=\int_S |K|\,dA,$43 and gluing along corresponding edges. The combinatorial curvature at a vertex $T(S)=\int_S |K|\,dA,$44 is

$T(S)=\int_S |K|\,dA,$45

equivalently $T(S)=\int_S |K|\,dA,$46, and the total curvature is

$T(S)=\int_S |K|\,dA,$47

A discrete Cohn–Vossen theorem gives $T(S)=\int_S |K|\,dA,$48 for infinite planar graphs with nonnegative curvature (Hua et al., 2017).

The main theorem determines the first positive gap: $T(S)=\int_S |K|\,dA,$49 Moreover, equality $T(S)=\int_S |K|\,dA,$50 occurs if and only if the polygonal surface $T(S)=\int_S |K|\,dA,$51 is isometric either to a Euclidean cone with apex angle

$T(S)=\int_S |K|\,dA,$52

in which case there is exactly one vertex of positive curvature $T(S)=\int_S |K|\,dA,$53, or to a frustum over a hendecagon base, in which case there are exactly $T(S)=\int_S |K|\,dA,$54 boundary vertices each of curvature $T(S)=\int_S |K|\,dA,$55, so that $T(S)=\int_S |K|\,dA,$56 (Hua et al., 2017).

The proof combines reduction to faces of degree at most $T(S)=\int_S |K|\,dA,$57, a complete analysis of vertex patterns with $T(S)=\int_S |K|\,dA,$58, local clustering arguments showing that any vertex with $T(S)=\int_S |K|\,dA,$59 sits inside a connected cluster whose curvature sum is at least $T(S)=\int_S |K|\,dA,$60, and a rigidity analysis of the equality case. The same method yields that an infinite planar graph with $T(S)=\int_S |K|\,dA,$61 can have at most $T(S)=\int_S |K|\,dA,$62 connected components in the subgraph induced by positively curved vertices, and it is conjectured that this bound can be improved to $T(S)=\int_S |K|\,dA,$63. The first gap for semiplanar graphs embedded into a half-plane is again $T(S)=\int_S |K|\,dA,$64 (Hua et al., 2017).

This discrete theory is presented as a discrete analogue of gap theorems for total Gaussian curvature on complete noncompact Riemannian surfaces. It shows that least total curvature behavior need not manifest as a smooth minimizer; it can also appear as a quantized threshold separating the zero-curvature regime from the first nontrivial curvature-bearing configurations.