[Paper Review] On Two Kinds of Differential Operators on General Smooth Surfaces

Xilin Xie|arXiv (Cornell University)|Jun 16, 2013

Advanced Mathematical Modeling in Engineering10 references3 citations

TL;DR

This paper introduces and rigorously analyzes two differential operators on general smooth surfaces: the surface gradient and the Levi-Civita gradient. It establishes intrinsic generalized Stokes formulas and differential identities using these operators, enabling a coordinate-free formulation of continuum mechanics on curved surfaces, particularly for fluid-solid interactions and vorticity dynamics on deformable or fixed surfaces.

ABSTRACT

Two kinds of differential operators that can be generally defined on an arbitrary smooth surface in a finite dimensional Euclid space are studied, one is termed as surface gradient and the other one as Levi-Civita gradient. The surface gradient operator is originated from the differentiability of a tensor field defined on the surface. Some integral and differential identities have been theoretically studied that play the important role in the studies on continuous mediums whose geometrical configurations can be taken as surfaces and on interactions between fluids and deformable boundaries. The definition of Levi-Civita gradient is based on Levi-Civita connections generally defined on Riemann manifolds. It can be used to set up some differential identities in the intrinsic/coordiantes-independent form that play the essential role in the theory of vorticity dynamics for two dimensional flows on general fixed smooth surfaces.

Motivation & Objective

• To define and analyze two distinct differential operators—surface gradient and Levi-Civita gradient—on arbitrary smooth surfaces embedded in Euclidean space.
• To derive intrinsic generalized Stokes formulas that relate surface integrals to boundary integrals, independent of ambient space coordinates.
• To establish foundational differential identities for vorticity dynamics in two-dimensional flows on fixed smooth surfaces using the Levi-Civita gradient.
• To correct and clarify prior misconceptions in the literature, particularly regarding deformation gradient and strain tensor representations on surfaces.
• To provide a coordinate-independent, intrinsic framework for continuum mechanics on surfaces, applicable to thin plates, shells, and fluid-deformable boundary interactions.

Proposed method

• Defines the surface gradient operator as $ \overset{\Sigma}{\boldsymbol{\nabla}} \equiv \boldsymbol{g}^{l} \frac{\partial}{\partial x^{l}_{\Sigma}} $, derived from the partial derivatives of tensor fields with respect to surface coordinates.
• Uses the Levi-Civita connection on the Riemannian manifold structure of the surface to define the Levi-Civita gradient, ensuring metric compatibility and torsion-freeness.
• Derives intrinsic generalized Stokes formulas by relating the full-dimensional gradient to the surface gradient, enabling integration over surfaces without embedding coordinates.
• Applies the surface gradient to derive momentum and moment of momentum conservation laws for thin continuous media, recovering classical results from Synge & Chien (1941).
• Establishes differential identities involving the Riemann-Christoffel tensor when commuting higher-order covariant derivatives, showing curvature dependence in Laplacian and double curl operators.
• Uses the intrinsic tensor calculus on surfaces to represent strain and deformation tensors, correcting errors in earlier formulations (e.g., Aris, 1962).

Experimental results

Research questions

• RQ1 How can a consistent surface gradient operator be defined for tensor fields on arbitrary smooth surfaces, independent of ambient space coordinates?
• RQ2 What are the intrinsic generalized Stokes formulas that relate surface integrals of gradients to boundary integrals, and how do they apply to fluid and solid mechanics?
• RQ3 How does the Levi-Civita gradient operator differ from the surface gradient in its geometric and physical interpretation, particularly in vorticity dynamics?
• RQ4 What differential identities emerge when higher-order covariant derivatives are applied, and how do they involve curvature terms like Gaussian and mean curvature?
• RQ5 How can the deformation and strain tensors for thin continuous media be correctly formulated on arbitrary smooth surfaces, and what errors exist in prior formulations?

Key findings

• The surface gradient operator enables the derivation of intrinsic generalized Stokes formulas that are essential for formulating conservation laws in continuum mechanics on surfaces.
• The paper corrects a fundamental error in Aris’s (1962) treatment of 2D flows on surfaces, showing incorrect assumptions about the symmetry of the deformation gradient tensor.
• The strain tensor on a deformable surface is derived in an intrinsic form using the surface gradient, with results consistent with Wu et al. (2005a) but with clearer geometric grounding.
• The Levi-Civita gradient operator leads to differential identities involving the Riemann-Christoffel tensor when derivatives are reordered, showing that curvature terms like $ K_G $ explicitly appear in higher-order operators.
• The governing equations for momentum and vorticity in 2D flows on fixed surfaces contain explicit geometric terms (e.g., mean and Gaussian curvature), demonstrating that geometry directly influences physical laws on surfaces.
• The identity $ \boldsymbol{\nabla} \otimes (\boldsymbol{\nabla} \boldsymbol{\cdot} \boldsymbol{\Phi}) + K_G(\boldsymbol{\Phi} + \boldsymbol{\Phi}^*) - K_G(tr\boldsymbol{\Phi})\boldsymbol{I} $ is derived, showing curvature’s role in tensor differential identities.