On Competing Definitions for the Diederich-Fornæss Index

Abstract

Let $Ω\subset\mathbb{C}^n$ be a bounded pseudoconvex domain. We define the Diederich-Fornæss index with respect to a family of functions to be the supremum over the set of all exponents $0<η<1$ such that there exists a function $ρ_η$ in this family such that $-ρ_η$ is comparable to the distance to the boundary of $Ω$ on $Ω$ and such that $-(-ρ_η)^η$ is plurisubharmonic on $Ω$. We first prove that computing the Diederich-Fornæss index with respect to the family of upper semi-continuous functions is the same as computing the Diederich-Fornæss index with respect to the family of Lipschitz functions. When the boundary of $Ω$ is $C^k$, $k\geq 2$, we prove that the Diederich-Fornæss index with respect to the family of $C^k$ functions is the same as the Diederich-Fornæss index with respect to the family of $C^2$ functions.