Regularity of the distance function to the boundary

Abstract: Let

O m e g a

be a domain in a smooth complete Finsler manifold, and let

G

be the largest open subset of

O m e g a

such that for every

x

in

G

there is a unique closest point from

p a r t i a l O m e g a

to

x

(measured in the Finsler metric). We prove that the distance function from

p a r t i a l O m e g a

is in

C_{l o c}^{k, a l p h a} (G c u p p a r t i a l O m e g a)

,

k g e 2

and

0 < a l p h a l e 1

, if

p a r t i a l O m e g a

is in

C^{k, a l p h a}

.

This page was built for publication: Regularity of the distance function to the boundary