Curvature Varifolds with Orthogonal Boundary

TL;DR

This paper studies surfaces intersecting a boundary orthogonally, providing estimates for their area based on curvature integrals, classifying special varifolds, and establishing existence results for curvature-minimizing varifolds.

Contribution

It introduces a weak formulation for orthogonal boundary conditions in curvature varifolds and proves existence of curvature-minimizing orthogonal varifolds in general domains.

Findings

Estimates for surface area via $L^p$ curvature integrals under orthogonality constraints.

Classification of curvature varifolds with zero curvature.

Existence of orthogonal varifolds minimizing $L^2$ curvature.

Abstract

We consider the class $S^m_\perp(\Omega)$ of $m$-dimensional surfaces in $\bar{\Omega} \subset {\mathbb R}^n$ which intersect $S = \partial \Omega$ orthogonally along the boundary. A piece of an affine $m$-plane in $S^m_\perp(\Omega)$ is called an orthogonal slice. We prove estimates for the area by the $L^p$-integral of the second fundamental form in three cases: first when $\Omega$ admits no orthogonal slices, second for $m = p = 2$ if all orthogonal slices are topological disks, and finally for all $\Omega$ if the surfaces are confined to a neighborhood of $S$. The orthogonality constraint has a weak formulation for curvature varifolds. We classify those varifolds of vanishing curvature. As an application, we prove for any $\Omega$ the existence of an orthogonal $2$-varifold which minimizes the $L^2$ curvature in the integer rectifiable class.