Reilly formula explained

In the mathematical field of Riemannian geometry, the Reilly formula is an important identity, discovered by Robert Reilly in 1977. It says that, given a smooth Riemannian manifold-with-boundary and a smooth function on, one has

\int\partial\left(H(

\partialu
\partial\nu
2+2\partialu
\partial\nu
)

\Delta\partialu+h(\nabla\partialu,\nabla\partialu)\right)=\intM((\Deltau)2-|\nabla\nablau|2-\operatorname{Ric}(\nablau,\nablau)),

in which is the second fundamental form of the boundary of, is its mean curvature, and is its unit normal vector.[1] [2] This is often used in combination with the observation

|\nabla\nabla

2=1
n
u|

(\Deltau)2+|\nabla\nablau-

1
n

(\Delta

2\geq1
n
u)g|

(\Deltau)2,

with the consequence that

\int\partial\left(H(

\partialu
\partial\nu
2+2\partialu
\partial\nu
)

\Delta\partialu+h(\nabla\partialu,\nabla\partialu)\right)\leq\intM(

n-1
n

(\Deltau)2-\operatorname{Ric}(\nablau,\nablau)).

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 .[3] [4] Applications include eigenvalue estimates in spectral geometry and the study of submanifolds of constant mean curvature.

References

External links

Notes and References

  1. Chow, Lu, and Ni, section A.5
  2. Colding and Minicozzi, section 7.3
  3. Li, section 8
  4. Schoen and Yau, section III.8