Lower bounds on the Kobayashi metric near a point of infinite type (Q254299): Difference between revisions

Let \(\Omega\) be a \(C^2\)-smooth bounded pseudoconvex domain in \(\mathbb C^n\) and let \(F^K_\Omega : \Omega \times \mathbb C^n \longrightarrow \mathbb R\) denote its Kobayashi differential metric. Let \(f:[1,\infty) \longrightarrow [1,\infty)\) by a smooth increasing function such that \(f(t)t^{-1/2}\) is decreasing. The aim of the present paper is to estimate \(F^K_\Omega\) in the case that \(\Omega\) has the \(f\)-property and to give applications to questions on the boundary continuity of proper holomorphic maps. \smallskip Let \(\Omega \subset \mathbb C^n\) be a pseudoconvex domain with a \(C^2\)-smooth boundary and let \(z^0 \in \partial \Omega\). Then \(\Omega\) is said to satisfy the \(f\)-property near \(z^0\) if there exists an open neighborhood \(U \ni z^0\) and a family \((\phi_\delta)_{\delta >0}\) such that \smallskip {\parindent=6mm \begin{itemize} \item[a)] all \(\phi_\delta\) are plurisubharmonic on \(U\), with \(-1 \leq \phi_\delta \leq 0\), \item [b)] \(|D\phi_\delta| \lesssim \delta^{-1} \) and \(i \partial \bar \partial \phi_\delta \gtrsim f(1/\delta)^2 \text{Id}\) on the strip \(\{-\delta < r< 0\}\cap U\), where \(r\) is a defining function for \(\Omega\). \end{itemize}} Under these hypothesis the author obtains the following result. \smallskip Theorem. Let \(\Omega, z^0\), and \(f\) be as above, and for some \(t>1\) we have \(G(t):= \int_t^\infty \frac{da}{af(a)} < \infty\). If then \(g:=1/G\), then there exists an open neighborhood \(V\) of \(z^0\) and a constant \(C>0\) such that \[ F^K_\Omega (z;X) \geq C g (1/\delta_\Omega (z))|X| ,\,\, z \in \Omega \cap V, \] where \(\delta_\Omega\) denotes the boundary-distance function on \(\Omega\).