[Paper Review] A Simple Formula for Scalar Curvature of Level Sets in Euclidean Spaces

Yajun Zhou|arXiv (Cornell University)|Jan 10, 2013

Point processes and geometric inequalities3 references5 citations

TL;DR

This paper derives a simple, closed-form formula for the Ricci scalar curvature of level sets in Euclidean space, expressed solely in terms of the gradient and Laplacian of the defining function. The key contribution is a compact identity involving ∇ψ and Δψ that enables direct computation of scalar curvature on smooth hypersurfaces without explicit metric or connection calculations, with applications to p-harmonic and harmonic functions.

ABSTRACT

A simple formula is derived for the Ricci scalar curvature of any smooth level set ${ψ(x_0,x_1,...,x_n)=C}$ embedded in the Euclidean space $ \mathbb R^{n+1}$, in terms of the gradient $ ablaψ$ and the Laplacian $ Δψ$. Some applications are given to the geometry of low-dimensional $p$-harmonic functions and high-dimensional harmonic functions.

Motivation & Objective

• To derive a closed-form expression for the Ricci scalar curvature of smooth level sets in R^{n+1} without relying on intrinsic geometric computations.
• To provide a computationally accessible formula for scalar curvature that depends only on ∇ψ and Δψ, enabling direct geometric analysis of level sets.
• To demonstrate the utility of the formula through applications to p-harmonic functions in low dimensions and harmonic functions in high dimensions.
• To establish invariance and consistency of the formula with classical results in differential geometry and mathematical physics.

Proposed method

• Derives the scalar curvature formula using the Gauss and Weingarten equations for hypersurfaces embedded in Euclidean space.
• Expresses the Ricci scalar curvature 𝒫(𝐫) as a combination of Δlog|∇ψ| and a divergence term involving Δψ and ∇ψ/|∇ψ|².
• Uses curvilinear coordinates (u⁰,…,uⁿ) adapted to the level set family, with u⁰ = ψ, to express geometric quantities in terms of ψ and its derivatives.
• Applies the formula to analyze curvature properties of level sets of solutions to inhomogeneous Laplace equations Δψ = V(𝐫), including harmonic and p-harmonic functions.
• Validates the formula in low dimensions by recovering classical results such as the curvature of equipotential surfaces in electrostatics.
• Demonstrates the formula’s consistency with known physical examples, including the Schrödinger equation and Navier-Stokes equations.

Experimental results

Research questions

• RQ1 Can a simple, intrinsic formula for scalar curvature of level sets in Euclidean space be derived using only the gradient and Laplacian of the defining function?
• RQ2 How does the scalar curvature of a level set relate to the field intensity |∇ψ| and the source term Δψ in inhomogeneous Laplace equations?
• RQ3 To what extent does the formula recover known results in classical differential geometry and physics?
• RQ4 What geometric constraints emerge when applying the formula to harmonic or p-harmonic functions?
• RQ5 How does the formula behave under coordinate transformations or changes in the level set family?

Key findings

• The paper derives the exact scalar curvature formula: 𝒫(𝐫) = -Δlog|∇ψ| + ∇·[Δψ ⋅ ∇ψ / |∇ψ|²], valid for smooth, non-degenerate level sets in R^{n+1}.
• The formula is invariant under reparameterization of the level set family and reduces to known expressions in low dimensions, such as for equipotential surfaces in electrostatics.
• For harmonic functions (Δψ = 0), the formula simplifies to 𝒫(𝐫) = -Δlog|∇ψ|, linking curvature directly to the logarithmic gradient magnitude.
• In the case of p-harmonic functions, the formula enables explicit curvature analysis in 2D and 3D, revealing curvature singularities at critical points.
• For high-dimensional harmonic functions, the formula supports the non-negativity of the second derivative of area functional A(φ) under non-negative sectional curvature assumptions.
• The formula’s consistency with the contracted Bianchi identity and Einstein tensor structure confirms its geometric coherence in higher-dimensional settings.