Reilly_formula
In the mathematical field of Riemannian geometry, the Reilly formula is an important identity, discovered by Robert Reilly in 1977.[1] It says that, given a smooth Riemannian manifold-with-boundary (M, g) and a smooth function u on M, one has
in which h is the second fundamental form of the boundary of M, H is its mean curvature, and ν is its unit normal vector.[2][3] This is often used in combination with the observation
with the consequence that
This is particularly useful since one can now make use of the solvability of the Dirichlet problem for the Laplacian to make useful choices for u.[4][5] Applications include eigenvalue estimates in spectral geometry and the study of submanifolds of constant mean curvature.