---
abstract: 'In this paper we construct a pseudoconvex domain in $\C^3$ where the Kobayashi metric does not blow up at a rate of one over distance to the boundary in the normal direction.'
author:
- 'John Erik Fornæss, Lina Lee'
title: Asymptotic Behavior of the Kobayashi Metric in the Normal Direction
---

Introduction
============

The asymptotic behaviour of invariant metrics has been studied by several authors, Graham @Graham, Catlin @Catlin, Krantz @Krantz [@1992], Diederich-Herbort @dieher, Lee @Lina, and others.

In this paper, we study the behavior of the Kobayashi metric, which is defined as follows:

Let ${\Omega}\subset\C^n$ be a domain, $Q\in{\Omega}$ and $X\in T_Q({\Omega})$. The Kobayashi metric $F_K:T{\Omega}{\longrightarrow}{\mathbb R}^+\cup{\left\{ 0\right\}}$ is defined as $$F_K(Q,X)=\inf{\left\{ \alpha>0:\exists\phi\in{\Omega}({\mathbb D}),\, \phi(0)=Q,\,\phi'(0)=X/\alpha\right\}},$$ where $A(B)$ denotes the family of holomorphic mappings from $B$ to $A$ and ${\mathbb D}$ is the unit disc in $\C$.

Let ${\Omega}={\left\{ r<0\right\}}\subset\subset\C^n$ be a smoothly bounded domain and $P\in{\partial}{\Omega}$. Let $P_{\delta}=P-{\delta}\nu$, where $\nu$ is the unit outward normal vector to ${\partial}{\Omega}$ at $P$, i.e., $\nu=\nabla r(P)/{\left\| \nabla r(P)\right\|}$.

We want to estimate $F_K(P_{\delta},\nu)$ as ${\delta}>0$ goes to $0$, i.e., as the point $P_{\delta}\in{\Omega}$ approaches the boundary point $P$ along the normal line to the boundary.

We see that the mapping $\phi({\zeta})=P_{\delta}+{\zeta}{\delta}\nu$ lies in ${\Omega}$ for all ${\zeta}\in{\mathbb D}$ for ${\delta}>0$ small enough. Hence we see that $$F_K(P_{\delta},\nu)\le\frac{1}{{\delta}},$$ for ${\delta}>0$ small enough.

The question is whether the other direction is true, i.e., whether there exists some constant $C>0$ such that $$\label{1011}
F_K(P_{\delta},\nu)\ge C\frac{1}{{\delta}}$$ for ${\delta}>0$ small enough.

The answer is "No". It is not true in general. Krantz @Krantz [@1992] showed that if $P$ is a strongly pseudoconcave point, then one has the following estimate: $$F_K(P_{\delta},\nu)\approx\frac{1}{{\delta}^{3/4}}.$$

Ian Graham @Graham proved that if ${\Omega}$ is a strongly pseudoconvex domain in $\C^n$, $n\ge 2$, then (\[1011\]) holds. Catlin @Catlin showed (\[1011\]) is true when ${\Omega}$ is a finite type pseudoconvex domain in $\C^2$ and Lee @Lina proved it for convex domains in $\C^n$.

So it has been conjectured that the estimate (\[1011\]) must hold for a smoothly bounded pseudoconvex domain in $\C^n$, $n\ge 2$.

In this paper, we give a counter example to the conjecture. We construct a smoothly bounded infinite type pseudoconvex domain in $\C^3$ where we can find sequences ${\delta}_n\searrow 0$ and $a_n\nearrow\infty$ such that $$\label{1051}
F_K(P_{{\delta}_n},\nu)\le \frac{1}{a_n{\delta}_n}, \quad\text{for all $n\in{\mathbb N}$}.$$

To construct such a domain, we modify the domain in Krantz @Krantz93, which is a smoothly bounded pseudoconvex domain in $\C^2$, where there exist sequences $b_n\nearrow\infty$, $c_n\nearrow\infty$ and ${\delta}_n\searrow 0$ such that $$\label{1053}
F_K(P_{{\delta}_n}, \nu+b_n T)\le\frac{1}{c_n{\delta}_n},\quad T\in T_P^\C({\partial}{\Omega}),\,\forall n\in{\mathbb N}.$$

We see that the vector $\nu+b_nT$ has a very large tangential component for a large number $n$. Therefore, as $P_{{\delta}_n}$ approaches the boundary point $P$, the estimate above gives the estimate for an almost tangential vector, not the normal vector.

In section 2, we give a detailed proof of (\[1053\]) since the proof is very sketchy in @Krantz93. In section 3, we modify the example in section 2 and construct a smoothly bounded pseudoconvex domain in $\C^3$, where (\[1051\]) holds.

Construction of a domain in $\C^2$
==================================

For a given increasing sequence $a_n\nearrow\infty$, we can construct a smoothly bounded pseudoconvex domain ${\Omega}={\left\{ r<0\right\}}\subset\C^2$ and find a boundary point $P\in{\partial}{\Omega}$ and a sequence ${\delta}_n\searrow 0$ such that $$F_K(P_{{\delta}_n}, X_n)\le\frac{1}{a_n{\delta}_n},\quad P_{{\delta}_n}=P-{\delta}_n\nu,$$ where $X_n$'s are vectors such that $(X_n,\nu)=1$ and $\nu$ is a unit outward normal vector to ${\partial}{\Omega}$ at $P$.

Let ${\Omega}\subset\C^2$ be a pseudoconvex domain defined as follows: $${\Omega}={\left\{ (z,w)\in\C^2: r(z,w)={\text{\rm Re}\,}w+\rho(z)<0\right\}}\cap B(0,2),$$ where $\rho(z)$ vanishes to infinite order at $0$ and satisfies the following: $$\label{943}
\rho(z)<{\delta}_n-a_n\frac{{\delta}_n}{r_n}{\text{\rm Re}\,}z,\quad\forall{| z |}\le r_n,\, r_n\searrow 0.$$ Then the analytic disc $$\phi({\zeta})=\left(r_n {\zeta}, -{\delta}_n +a_n{\delta}_n {\zeta}\right),\quad {\zeta}\in{\mathbb D}$$ lies inside ${\Omega}$ since, by (\[943\]), we have $$\begin{gathered}
r(\phi({\zeta}))=-{\delta}_n+a_n{\delta}_n{\text{\rm Re}\,}{\zeta}+\rho(r_n {\zeta})\\
<-{\delta}_n+a_n{\delta}_n{\text{\rm Re}\,}{\zeta}+{\delta}_n -a_n{\delta}_n{\text{\rm Re}\,}{\zeta}=0,\quad\forall {\zeta}\in{\mathbb D}.\end{gathered}$$ Hence, letting $P=0$, $P_{{\delta}_n}=P-{\delta}_n\nu=(0,-{\delta}_n)$ and $$X_n=\frac{r_n}{a_n{\delta}_n}\frac{{\partial}}{{\partial}z}+\frac{{\partial}}{{\partial}w},$$ we have $$\phi'(0)=r_n\frac{{\partial}}{{\partial}z}+a_n{\delta}_n\frac{{\partial}}{{\partial}w}=a_n{\delta}_nX_n.$$ Therefore we get $$F_K(P_{{\delta}_n}, X_n)\le \frac{1}{a_n{\delta}_n}.$$ <span>**Construction of $\rho$.**</span>

Choose $r_n$'s such that $$\label{1124}
r_n=a_n^{-1}r_{n-1}^2,\quad r_n\le\frac{1}{4}$$ and let $$u_n(z)=\frac{1}{8}-{\text{\rm Re}\,}z+\frac{\log{| z |}}{4\log a_n}.$$ Define a function $R_n(z)$ as follows: $$\label{613}
R_n(z)=
\begin{cases}
\max{\left\{ u_n(z), 0\right\}},& {\text{\rm Re}\,}z\le   b_n\\
u_n(z), & {\text{\rm Re}\,}z>b_n,
\end{cases}$$ where $0< b_n\le 1$ is the smallest positive number such that $$\frac{1}{8}-b_n+\frac{\log b_n}{4\log a_n}=0.$$

![image](oneeight.eps){width="2.5in"}

Such $b_n$ exists for large enough $a_n$ and we may assume $a_1$ is large enough. Note that $b_n\searrow 0$ and that $b_n\le 1/8$.

We show that $R_n(z)$ is subharmonic on $\C$. From (\[613\]), we see that the function $R_n(z)$ is subharmonic on $\C\setminus{\left\{ {\text{\rm Re}\,}z=b_n\right\}}$. We can check that that $R_n$ is continuous near ${\left\{ {\text{\rm Re}\,}z=b_n\right\}}$. On the line ${\text{\rm Re}\,}z=b_n$, we have that ${| z |}\ge b_n$ and that $$\frac{1}{8}-{\text{\rm Re}\,}z+\frac{\log{| z |}}{4\log a_n}\ge \frac{1}{8}-b_n+\frac{\log b_n}{4\log a_n}=0,\quad {\text{\rm Re}\,}z=b_n.$$ Hence we conclude that $R_n$ is continuous and hence $R_n(z)$ is subharmonic on $\C$.

Calculating $u_n(z)$ for ${| z |}<2r_n$, we can prove that $R_n(z)\equiv 0$ for all ${| z |}<2r_n$.

If ${| z |}<2 r_n$, ($2r_n\le b_n$) then we get $$\begin{gathered}
u_n(z)=\frac{1}{8}-{\text{\rm Re}\,}z+\frac{\log{| z |}}{4\log a_n}\le \frac{1}{8}+2a_n^{-1}r_{n-1}^2+\frac{\log 2a_n^{-1}r_{n-1}^2}{4\log a_n}\\
\le\frac{1}{8}+2a_n^{-1}+\frac{-\log a_n+\log 2r_{n-1}^2}{4\log a_n}
\le -\frac{1}{8}+2a_n^{-1}<0.\end{gathered}$$ Therefore we check that $$\label{938}
R_n(z)\equiv 0,\quad\forall {| z |}<2 r_n.$$

Also we can easily check that $R_n(z)\le 3/8 -{\text{\rm Re}\,}z$ for all ${| z |}<a_n$. Calculate $u_n(z)$ for ${| z |}<a_n$: $$u_n(z)=\frac{1}{8}-{\text{\rm Re}\,}z+\frac{\log{| z |}}{4\log a_n}\le \frac{3}{8}-{\text{\rm Re}\,}z,\quad\forall{| z |}<a_n$$ Since $b_n$ is a small number, we have that $$0\le \frac{3}{8}-{\text{\rm Re}\,}z,\quad {\text{\rm Re}\,}z\le b_n.$$ Hence, from (\[613\]), we have $$\label{209}
R_n(z)\le \frac{3}{8}-{\text{\rm Re}\,}z,\quad\forall {| z |}< a_n.$$

Now we make $R_n$ smooth using convolution with a smooth function. Choose a nonconstant $C^\infty$ function $\chi:\C\to{\mathbb R}^+\cup{\left\{ 0\right\}}$ such that $$0\le\chi\le 1,\quad \chi(z)=\chi({| z |}),\quad \chi(z)\equiv 0,\;\text{if }{| z |}\ge 1$$ and let $$m=\int_\C\chi(z) dxdy.$$ Let $ d\mu=dx dy/m$. We define the function $\tilde R_n(z)$ as follows $$\label{235}
\tilde R_n(z)=\int_\C R_n(z-{\epsilon}_n w)\chi(w) d\mu(w),\quad {\epsilon}_n< \frac{r_n}{2}.$$ From (\[938\]), we have that $$R_n(z-{\epsilon}_n w)=0,\quad\forall {| z |}<r_n, \;{| w |}<1.$$ Hence $$\label{1000}
\tilde R_n(z)\equiv 0,\quad {| z |}<r_n.$$

Note that $$\label{947}
{| u_n(z-{\epsilon}_n w)-u_n(z) |}\le {\epsilon}_n+\frac{\log\left(1+\frac{{\epsilon}_n}{r_n}\right)}{4\log a_n},\quad{| z |}\ge r_n.$$ Therefore, for ${| z |}\ge r_n$, from (\[947\]) we have $$\label{948}
{| R_n(z-{\epsilon}_n w)-R_n(z) |}\le \frac{1}{8}$$ uniformly in $ {| w |}\le 1$ and $ {| z |}\ge r_n$ for small enough ${\epsilon}_n$. Together with $$R_n(z)=\tilde R_n(z)=0,\quad\forall{| z |}<r_n,$$ we get $$\label{957}
0\le \tilde R_n(z)-R_n(z)\le \frac{1}{8},\quad\forall z\in\C.$$ The lower estimate $\tilde R_n(z)\ge R_n(z)$ holds by subharmonicity of $R_n$.

Therefore, from (\[209\]) and (\[957\]), we have $$\label{958}
\tilde R_n(z)\le\frac{1}{2}-{\text{\rm Re}\,}z,\quad\forall{| z |}<a_n.$$

Let $$\rho_n(z)= \tilde R_n\left(\frac{a_nz}{r_n}\right).$$ Then, from (\[958\]), we have $$\label{1032}
\rho_n(z)\le \frac{1}{2}-\frac{a_n}{r_n}{\text{\rm Re}\,}z,\quad\forall {| z |}<r_n$$ and, from (\[957\]), $${\left| \tilde R_n\left(\frac{a_n z}{r_n}\right)-R_n\left(\frac{a_n z}{r_n}\right)\right|}\le \frac{1}{8},\quad\forall z\in\C.$$

By (\[1000\]), we have $$\label{1015}
\rho_n(z)=\tilde R_n\left(\frac{a_n z}{r_n}\right)\equiv 0,\quad\forall{| z |}<r_n^2 a_n^{-1}.$$

Also, from (\[1124\]), we get $$\label{1016}
r_{n+1}=a_{n+1}^{-1}r_n^2< r_n^2 a_n^{-1}.$$ Therefore, from (\[1015\]) and (\[1016\]), we have $$\label{1028}
\rho_n(z)\equiv 0,\quad\forall{| z |}<r_{n+1}.$$

We define $\rho(z)$ as follows: $$\label{1114}
\rho(z)=\sum_{k=1}^\infty {\delta}_k\rho_k(z),$$ where ${\delta}_k$'s are positive numbers that will be chosen later. Since $r_n\searrow 0$, from (\[1028\]), we see that $$\rho(z)=\sum_{k=n}^\infty {\delta}_k\rho_k(z),\quad\forall {| z |}< r_n.$$ Therefore, from (\[1032\]), we have $$\label{1055}
\rho(z)=\sum_{k=n}^\infty{\delta}_k \rho_k(z)\le \frac{{\delta}_n}{2}-a_n\frac{{\delta}_n}{r_n}{\text{\rm Re}\,}z+\sum_{k=n+1}^\infty {\delta}_k\rho_k(z),\quad{| z |}<r_n.$$ Now we evaluate $\rho_k(z)$ for ${| z |}< r_n$, $n<k$. $$\begin{gathered}
\rho_k(z)=\tilde R_k\left(\frac{a_k z}{r_k}\right)
\le R_k\left(\frac{a_k z}{r_k}\right)+\frac{1}{8}
\le{\left| u_k\left(\frac{a_k z}{r_k}\right)\right|}+\frac{1}{8}\\
\le\frac{1}{4}+\frac{a_k}{r_k}r_n+\frac{\log{| a_kr_n/r_k |}}{4\log a_k}
\le\frac{1}{4}+\frac{a_k}{r_k}+\frac{\log a_k+\log (r_n/r_k)}{4\log a_k}\\
\le\frac{1}{2}+\frac{a_k}{r_k}+\frac{\log (1/r_k)}{4\log a_k},\quad{| z |}<r_n\end{gathered}$$ Let $$A_k=\frac{1}{2}+\frac{a_k}{r_k}+\frac{\log (1/r_k)}{4\log a_k}$$ and choose ${\delta}_k$'s as follows: $${\delta}_{k}\le\frac{{\delta}_{k-1}}{A_k}\frac{1}{2^{k}},\quad{\delta}_k<1.$$ Then we see that ${\delta}_k\searrow 0$ and $${\delta}_k\rho_k(z)\le {\delta}_k A_k\le{\delta}_{k-1}\frac{1}{2^k}\le {\delta}_n\frac{1}{2^k},\quad {| z |}<r_n, \;k>n.$$ Hence we have $$\label{1056}
\sum_{k=n+1}^\infty {\delta}_k\rho_k(z)\le {\delta}_n\sum_{k=n+1}^\infty \frac{1}{2^k}\le\frac{{\delta}_n}{2},\quad {| z |}<r_n.$$ Therefore, from (\[1055\]) and (\[1056\]), we get $$\label{1128}
\rho(z)<{\delta}_n-a_n\frac{{\delta}_n}{r_n}{\text{\rm Re}\,}z,\quad\forall {| z |}<r_n.$$ Note that we can choose ${\delta}_k$'s small enough that $\rho$ is smooth.

Construction of a domain in $\C^3$
==================================

For a given increasing sequence $a_n\nearrow\infty$, we can construct a smoothly bounded infinite type pseudoconvex domain ${\Omega}\subset\subset\C^3$ and find a sequence ${\delta}_n\searrow 0$ such that with a suitable point $P\in{\partial}{\Omega}$, one has $$F_K(P_{{\delta}_n},\nu)\le\frac{1}{a_n{\delta}_n},\quad P_{{\delta}_n}=P-{\delta}_n\nu,$$ where $\nu$ is the unit outward normal vector to ${\partial}{\Omega}$ at $P\in{\partial}{\Omega}$.

Let ${\Omega}\subset\C^3$ be a pseudoconvex domain defined as follows: $${\Omega}={\left\{ (s,t,w)\in\C^3: r(s,t,w)={\text{\rm Re}\,}w+\tilde\rho(s,t)<0\right\}}\cap B(0,2).$$

We construct $\tilde\rho(s,t)$ such that for a given sequence $a_n\nearrow\infty$, $a_n\ge 4$, we can find a sequence ${\delta}_n\searrow 0$ and $r_n\searrow 0$ such that $\tilde\rho(s,t)$ satisfies $$\tilde\rho({\zeta}^3,{\zeta}^2)<{\delta}_n-a_n\frac{{\delta}_n}{r_n}{\text{\rm Re}\,}{\zeta},\quad\forall{| {\zeta}|}\le r_n.$$ Then the analytic disc $$\phi({\zeta})=(r_n^3 {\zeta}^3, r_n^2 {\zeta}^2, -{\delta}_n +a_n{\delta}_n {\zeta}),\quad {\zeta}\in{\mathbb D}$$ lies inside ${\Omega}$ since $$\begin{gathered}
r(\phi({\zeta}))=-{\delta}_n+a_n{\delta}_n{\text{\rm Re}\,}{\zeta}+\tilde\rho(r_n^3 {\zeta}^3,r_n^2{\zeta}^2)\\
<-{\delta}_n+a_n{\delta}_n{\text{\rm Re}\,}{\zeta}+{\delta}_n -a_n{\delta}_n{\text{\rm Re}\,}{\zeta}=0,\quad\forall {\zeta}\in{\mathbb D}.\end{gathered}$$ Hence, letting $P=0$ and $P_{{\delta}_n}=P-{\delta}_n\nu=(0,-{\delta}_n)$, we have $$\phi(0)=P_{{\delta}_n},\quad\phi'(0)= a_n{\delta}_n\frac{{\partial}}{{\partial}w}.$$ Therefore we get $$F_K(P_{{\delta}_n}, \nu)\le \frac{1}{a_n{\delta}_n}.$$ <span>**Construction of $\tilde\rho$**</span>

We modify the function $\rho$ we defined in section 2: Refer (\[1114\]), (\[1028\]), and (\[1128\]).

Here we restate the definition and the properties of $\rho$: $$\rho({\zeta})=\sum_{j=1}^\infty {\delta}_j\rho_j({\zeta}),$$ where $\rho_j({\zeta})$ satisfies $$\begin{gathered}
\rho_j({\zeta})\equiv 0,\quad {| {\zeta}|}<r_{j+1}\\
\rho_j({\zeta})\le \frac{1}{2}-\frac{a_j}{r_j}{\text{\rm Re}\,}{\zeta},\quad\forall {| {\zeta}|}<r_j.\end{gathered}$$

Let $z=(s,t)\in\C^2$ and $V={\left\{ s^2-t^3=0\right\}}\subset\C^2$. We define $$\tilde\rho_n(s,t)=\rho_n(s/t)=\rho_n({\zeta}),\quad \text{if } (s,t)=({\zeta}^3,{\zeta}^2)\in V.$$ Now we extend $\tilde\rho_n$ to $\C^2$.

Let $\tilde r_n=r_{n+1}^3$ and $B_n=B(0,\tilde r_n)\subset\C^2$. If $(s,t)\in B_n\cap V$, then $(s,t)=({\zeta}^3,{\zeta}^2)$ and ${| {\zeta}^3 |}\le r_{n+1}^3$ and ${| {\zeta}^2 |}\le r_{n+1}^3$. Hence ${| {\zeta}|}\le r_{n+1}$ ($r_{n+1}<1$). So we know that $$\tilde\rho_n(s,t)=0,\quad \forall(s,t)\in V\cap B_n.$$ We let $$\tilde\rho_n(s,t)\equiv 0,\quad\forall (s,t)\in B_n.$$ Let $B_n'=B(0,3\tilde r_n/4)\subset B_n$ and choose a small neighborhood $U_n$ of $V$ such that the projection $\pi:U_n{\longrightarrow}V$ is well defined on $U_n\setminus B_n'$ and that $U_n\setminus B_n'={\left\{ p\in\C^2:{| p-\pi(p) |}<d_n\right\}}$ for suitable small positive numbers $d_n$.

![image](projection.eps){width="2.5in"}

We define the projection $\pi$ more precisely. Let $V_1$ and $V_2$ be the two sheets of $V$: $V_1={\left\{ (r^{3/2}e^{i(3\theta/2+\pi)},re^{i\theta}): r,\theta\in{\mathbb R}\right\}}$, $V_2={\left\{ (r^{3/2}e^{i(3\theta/2)},re^{i\theta}):r,\theta\in{\mathbb R}\right\}}$ and let $V_1^n=V_1\setminus B_n'$ and $V_2^n=V_2\setminus B_n'$. We consider a biholomorphic mapping $$\Phi:(s,t){\longrightarrow}(s, t-s^{2/3})$$ in a small neighborhood $U_n$ of $V_1^n\cup V_2^n$. Then $\Phi(z)=(s,0)$ if $z\in V_1^n\cup V_2^n$. We define the projection $\pi$ as follows: $$\pi(z)=\Phi^{-1}(\pi_1(\Phi(z))),$$ where $\pi_1(s,t)=(t,0)$.

We define $\tilde\rho_n$ on $U_n\sm B_n$ as follows: $$\tilde\rho_n(z)=\rho_n(\pi(z)),\quad z\in U_n\sm B_n.$$

Then the function $\tilde\rho_n$ is well defined on $B_n\cup U_n$. Now we extend $\tilde\rho_n$ to $\C^2$ Choose a smooth function $h:{\mathbb R}{\longrightarrow}[0,1]$ such that $$h(x)=
\begin{cases}
0,& x\in[0,(3/4)^2]\\
1,& x\ge 1
\end{cases}$$ Let $\chi:{\mathbb R}{\longrightarrow}[0,1]$ be a smooth function defined as follows: $$\chi(x)=
\begin{cases}
1,& x\in[0,1/2]\\
0,& x\ge 1
\end{cases}$$ and let $$\chi_n(z)=\chi\left(h\left(\frac{{| z |}^2}{\tilde r_n^2}\right)\frac{{| z-\pi(z) |}^2}{d_n^2}\right).$$ Then $\chi_n$ satisfies $$\chi_n(z)=
\begin{cases}
\chi\left(\frac{{| z-\pi(z) |}^2}{d_n^2}\right),& z\in \C^2\sm B_n\\
\chi\left(h\left(\frac{{| z |}^2}{\tilde r_n^2}\right)\frac{{| z-\pi(z) |}^2}{d_n^2}\right),& z\in  B_n\sm B_n'\\
1,& z\in B_n'
\end{cases}$$ Consider the function $\tilde\rho_n\chi_n$. Then $\tilde\rho_n\chi_n$ is a smooth extension of $\tilde\rho_n$ on $\C^2$ and it satisfies the following: $$\tilde\rho_n\chi_n(z)=
\begin{cases}
0,& z\in B_n\\
\tilde\rho_n,& z\in U\sm B_n,\; {| z-\pi(z) |}^2\le \frac{d_n^2}{2}\\
\tilde\rho_n\chi\left(\frac{{| z-\pi(z) |}^2}{d_n^2}\right), &z\in U\sm B_n,\;\frac{d_n^2}{2}\le{| z-\pi(z) |}^2\le d_n^2\\
0,& z\not\in U_n\cup B_n
\end{cases}$$

Let $$p_n(z)=\tilde\rho_n\chi_n(z).$$ We can find $C_n\ge 0$ such that $${\partial}{\overline}{\partial}p_n(z)(L,{\overline}L)\ge -C_n{\left\| L\right\|}^2,\quad \forall z\in B(0,2).$$ Now we add a strictly plurisubharmonic function to make it plurisubharmonic. Note that $p_n$ is plurisubharmonic everywhere except on

$$A_n={\left\{ z\in U_n\sm B_n:\frac{d_n^2}{2}\le{| z-\pi(z) |}^2\le d_n^2\right\}}.$$ Let $$q(z)= e^{{| z |}^2}{| s^2-t^3 |}^2,\quad z=(s,t).$$

Then $q(z)$ is strictly plurisubharmonic outside a small neighborhood of $V$ since $\log q$ is strictly plurisubharmonic. Hence we can find a number $c_n>0$ such that $${\partial}{\overline}{\partial}q(z)(L,{\overline}L)\ge c_n{\left\| L\right\|}^2,\quad\forall z\in A_n\cap B(0,2)$$ Choose $K_n>0$ large enough that $$-C_n+K_n c_n\ge 0$$ Then $p_n+K_nq$ is plurisubharmonic on $A_n\cup D_n$ and hence in $\C^2$. Let $$r_n=p_n+K_n q.$$ Then $$r_n({\zeta}^3,{\zeta}^2)=p_n({\zeta}^3,{\zeta}^2)=\tilde\rho_n({\zeta})=\rho_n({\zeta}).$$ Hence $$r_n({\zeta}^3,{\zeta}^2)=
\begin{cases}
0,&{| {\zeta}|}<r_{n+1}\\
\le\frac{1}{2}-\frac{a_n}{r_n}{\text{\rm Re}\,}{\zeta},&{| {\zeta}|}<r_n.
\end{cases}$$

Let $$\tilde\rho(z)=\sum_{j} {\delta}_j r_j,$$ and choose ${\delta}_j$'s small enough that $\tilde\rho$ is smooth in a small neighborhood of $0$.

<span>9999</span>

Catlin, D. <span>*Estimates of invariant metrics on pseudoconvex domains of dimension two,*</span> Math. Z. 200 (1989), no. 3, 429–466.

Diederich, K., Herbort G. <span>*The Bergman metric in the normal direction: a counter example*</span> Michigan Math. J. 47 (2000), 515–528

Graham, I. <span>*Boundary behavior of the Carathéodory and Kobayashi metrics on strongly pseudocovnex domains in $\C^n$ with smooth boundary,*</span> Trans. Am. Math. Soc. 207 (1975), 219–240

Krantz, S. <span>*The boundary behavior of the Kobayashi metric,*</span> Rocky Mountain J. Math. 22 (1992), no. 1, 227–233.

Krantz, S. <span>*Geometric analysis and function spaces,*</span> CBMS Regional Conf. Ser. in Math., 81, Amer. Math. Soc., Providence, RI, 1993

Krantz, S. G. <span>*Function theory of several complex variables,*</span> AMS Chelsea Publishing (2000)

Lee, L. <span>*Asymptotic behavior of invariant metrics,*</span> thesis, Washington Univ. in St. Louis (2007)

John Erik Fornaess\
Mathematics Department\
The University of Michigan\
East Hall, Ann Arbor, MI 48109\
USA\
emilyglass@example.com\
Lina Lee\
Mathematics Department\
The University of Michigan\
East Hall, Ann Arbor, MI 48109\
USA\
emilyglass@example.com\

{'source': 'arXiv_out/0911'}