Mean-curvature comparison at tangential contact
ID: mean-curvature-comparison-at-tangential-contact
Suppose two graph surfaces and are tangent at the origin, are oriented upward, and nearby. Then has a local minimum, so its Hessian matrix is positive semidefinite. At the common horizontal tangent plane,
New to topics? Read the docs here!