$\phi (\mathbb{D})$
$\mathbb{D}$
$1$
$\frac{1}{t}$
Nevertheless, we have the following results, analogous to the results in [
14]
.
Theorem 2.1.
Suppose
$\phi $
is a univalent, holomorphic selfmap of
$\mathbb{D}$
, with
${n}_{\phi}$
essentially radial and
$\phi \left(0\right)=0$
. Then
$\phi $
is a full map if and only if
$$\parallel {C}_{\phi}:{\mathcal{D}}_{0}\to {\mathcal{D}}_{0}\parallel =1.$$

Proof.
We saw before one direction. For the converse, suppose that
$\phi $
is a univalent holomorphic selfmap of
$\mathbb{D}$
, with
${n}_{\phi}$
essentially radial,
$\phi \left(0\right)=0$
, and that
$\phi $
is not a full map.
We are going to show that the restriction of
${C}_{\phi}$
to
${\mathcal{D}}_{0}$
has norm
$<1$
. We have that
$\phi (\mathbb{D})$
is contained in the disk
$D(0,\rho )=\left\{z:\leftz\right<\parallel \phi {\parallel}_{\infty}=\rho \right\}$
with
$A\left[\phi \right(\mathbb{D})\backslash D(0,\rho \left)\right]=0$
and
$0<\rho <1$
(cf. proof of Proposition 1.2 .) We write
$$g\left(r\right):=\frac{1}{\pi}{\int}_{0}^{2\pi}\left{f}^{\prime}\right(r{e}^{i\theta}){}^{2}d\theta ,$$
and since
${f}^{\prime}{}^{2}$
is subharmonic in
$\mathbb{D}$
then
$g$
is monotone increasing for
$0\le r<1$
.
The change of variable formula gives
$$\begin{array}{cc}\parallel {C}_{\phi}{\parallel}_{\mathcal{D}}^{2}& ={\int}_{\mathbb{D}}\left{f}^{\prime}\right(\phi \left(z\right)\left){}^{2}\right{\phi}^{\prime}\left(z\right){}^{2}dA\left(z\right)\end{array}$$  
$$\begin{array}{cc}& ={\int}_{\phi (\mathbb{D})}\left{f}^{\prime}\right(w\left){}^{2}dA\right(w)\end{array}$$  
$$\begin{array}{cc}& ={\int}_{0}^{\rho}g\left(r\right)rdr.\end{array}$$  
$$\begin{array}{}\end{array}$$  
and so:
$$\begin{array}{cc}\parallel f{\parallel}_{\mathcal{D}}^{2}={\int}_{\mathbb{D}}\left{f}^{\prime}\right(w\left){}^{2}dA\right(w)& ={\int}_{0}^{\rho}g\left(r\right)rdr+{\int}_{\rho}^{1}g\left(r\right)rdr\end{array}$$  
$$\begin{array}{cc}& \ge {\int}_{0}^{\rho}gdr+\frac{1{\rho}^{2}}{2}g\left(\rho \right)\end{array}$$  
$$\begin{array}{cc}& ={\int}_{0}^{\rho}gdr+\frac{(1{\rho}^{2})/2}{{\rho}^{2}/2}({\rho}^{2}/2)g\left(\rho \right)\end{array}$$  
$$\begin{array}{cc}& \ge {\int}_{0}^{\rho}gdr+\frac{(1{\rho}^{2})/2}{{\rho}^{2}/2}{\int}_{0}^{\rho}g\left(r\right)rdr\end{array}$$  
$$\begin{array}{cc}& =\left(1+\frac{(1{\rho}^{2})/2}{{\rho}^{2}/2}\right){\int}_{0}^{\rho}g\left(r\right)rdr\end{array}$$  
$$\begin{array}{cc}& =\left(1+\frac{(1{\rho}^{2})/2}{{\rho}^{2}/2}\right)\parallel {C}_{\phi}{\parallel}_{\mathcal{D}}^{2},\end{array}$$  
$$\begin{array}{}\end{array}$$  
for each
$f\in {\mathcal{D}}_{0}$
. It yields the desired result: the restriction of
${C}_{\phi}$
to
${\mathcal{D}}_{0}$
has norm
$\le \nu ={\left(1+\frac{(1{\rho}^{2})/2}{{\rho}^{2}/2}\right)}^{1/2}<1$
. □
In the next theorem, we consider the case
$\phi \left(0\right)\ne 0$
. The proof follows nearly the one in [
14,Th.5.2]
).
Theorem 2.2.
Suppose
$\phi $
is a univalent, holomorphic selfmap of
$\mathbb{D}$
with
${n}_{\phi}$
essentially radial and
$\phi \left(0\right)\ne 0$
. Then
$\phi $
is a full map if and only if
$$\parallel {C}_{\phi}:\mathcal{D}\to \mathcal{D}\parallel =\sqrt{\frac{L+2+\sqrt{L(4+L)}}{2}},$$
where
$L=log1/(1\phi \left(0\right){}^{2})$
.

Proof.
The necessity is part of [10,Th.1] . For the converse, suppose that
$\phi $
is a univalent, holomorphic selfmap of
$\mathbb{D}$
with
${n}_{\phi}$
essentially radial, such that
$\phi \left(0\right)=p\ne 0$
, and
$\phi $
is not a full map. We want to show that the norm of
${C}_{\phi}$
is strictly less that
$\sqrt{\frac{L+2+\sqrt{L(4+L)}}{2}}$
, where
$L=log1/(1{p}^{2})$
.
For this we consider
${\alpha}_{p}$
, the standard automorphism of
$\mathbb{D}$
that interchanges
$p$
with the origin, this is
$${\alpha}_{p}:=\frac{pz}{1\overline{p}z},z\in \mathbb{D}.$$
We write
${\phi}_{p}={\alpha}_{p}\circ \phi $
, which is
$0$
in the origin. Since this function is a univalent, self map of
$\mathbb{D}$
with counting function essentially radial, but it is not full, the Theorem 2.1 affirms that the restriction of the operator
${C}_{{\phi}_{p}}$
to
${\mathcal{D}}_{0}$
has norm
$\nu <1$
.
Because
${\alpha}_{p}$
is selfinverse,
$\phi ={\alpha}_{p}\circ {\phi}_{p}$
, and so, for each
$f\in \mathcal{D}$
:
$${C}_{\phi}f={C}_{{\phi}_{p}}(f\circ {\alpha}_{p})={C}_{{\phi}_{p}}f+f\left(p\right),$$
where
$g=f\circ {\alpha}_{p}f\left(p\right)$
.
The function
${C}_{{\phi}_{p}}g$
belong to
${\mathcal{D}}_{0}$
and thus:
$$\begin{array}{cc}\parallel {C}_{\phi}f{\parallel}_{\mathcal{D}}=& \parallel {C}_{{\phi}_{p}}g{\parallel}_{\mathcal{D}}^{2}+\leftf\right(p){}^{2}\end{array}$$ 
(2.2)

$$\begin{array}{cc}& \le {\nu}^{2}\parallel g{\parallel}_{\mathcal{D}}^{2}+\leftf\right(p){}^{2}\end{array}$$  
$$\begin{array}{cc}& ={\nu}^{2}\parallel \left({C}_{{\alpha}_{p}}f\right)f\left(p\right){\parallel}_{\mathcal{D}}^{2}+\leftf\right(p){}^{2}.\end{array}$$  
$$\begin{array}{}\end{array}$$  
Since
$\langle h,1{\rangle}_{\mathcal{D}}=h\left(0\right)$
for each
$h\in \mathcal{D}$
,
$$\langle {C}_{{\alpha}_{p}}f,f\left(p\right){\rangle}_{\mathcal{D}}=\overline{f\left(p\right)}{C}_{{\alpha}_{p}}f\left(0\right)=\leftf\right(p){}^{2},$$
and we obtain
$$\begin{array}{cc}\parallel \left({C}_{{\alpha}_{p}}f\right)f\left(p\right){\parallel}_{\mathcal{D}}^{2}& =\parallel {C}_{{\alpha}_{p}}f{\parallel}_{\mathcal{D}}^{2}2\Re \langle {C}_{{\alpha}_{p}}f,f\left(p\right){\rangle}_{\mathcal{D}}+\leftf\right(p){}^{2}\end{array}$$  
$$\begin{array}{cc}& =\parallel {C}_{{\alpha}_{p}}f{\parallel}_{\mathcal{D}}^{2}2\leftf\right(p){}^{2}+f\left(p\right){}^{2}\end{array}$$  
$$\begin{array}{cc}& =\parallel {C}_{{\alpha}_{p}}f{\parallel}_{\mathcal{D}}^{2}\leftf\right(p){}^{2}.\end{array}$$  
$$\begin{array}{}\end{array}$$  
This identity and the Equation ( 2.2 ) yield,
$$\parallel {C}_{\alpha}f{\parallel}_{\mathcal{D}}^{2}\le {\nu}^{2}\parallel {C}_{{\alpha}_{p}}f{\parallel}_{\mathcal{D}}^{2}+(1{\nu}^{2})\leftf\right(p){}^{2}.$$
We know from [
11,Th.1]
that
$\parallel {C}_{{\alpha}_{p}}:\mathcal{D}\to \mathcal{D}\parallel =(L+2+\sqrt{L(4+L)})/2$
, and we have the following estimate for
$\leftf\right(p\left)\right$
:
$$\leftf\right(p\left)\right\le \parallel f{\parallel}_{\mathcal{D}}\parallel {K}_{p}{\parallel}_{\mathcal{D}}=\sqrt{1+L}\parallel f{\parallel}_{\mathcal{D}},$$
then
$$\parallel {C}_{\alpha}f{\parallel}_{\mathcal{D}}^{2}\le \left[{\nu}^{2}\left(\frac{L+2+\sqrt{L(4+L)}}{2}\right)+(1{\nu}^{2})(1+L)\right]\parallel f{\parallel}_{\mathcal{D}}^{2},$$
and
$\delta =\left[{\nu}^{2}\left(\frac{L+2+\sqrt{L(4+L)}}{2}\right)+(1{\nu}^{2})(1+L)\right]<1$
because
$p\ne 0$
and
$L>0$
. □
2.1 The essential norm
Recall that the essential norm of an operator
$T$
in a Hilbert space
$\mathcal{\mathscr{H}}$
is defined as
$\parallel T{\parallel}_{e}:=inf\{\parallel TK\parallel :K\text{is compact}\}$
, this is, the essential norm of
$T$
is its norm in the Calkin algebra. It is well known [
4]
that in any Hilbert space of analytic functions, we have
$$\begin{array}{c}\parallel {C}_{\phi}{\parallel}_{e}={lim}_{n}\parallel {C}_{\phi}{R}_{n}\parallel ,\end{array}$$ 
(2.3)

where
${R}_{n}$
denotes the orthogonal projection of
$\mathcal{\mathscr{H}}$
onto
${z}^{n}\mathcal{\mathscr{H}}$
.
In [
14]
, it is proved that a selfmap
$\phi :\mathbb{D}\to \mathbb{D}$
is inner if and only if the essential norm of
${C}_{\phi}$
in the Hardy space is equal to
$\sqrt{\frac{1+\left\phi \right(0\left)\right}{1\left\phi \right(0\left)\right}}.$
Because of the analogies presented here between inner functions and univalent fullmaps, one might ask: Are fullmaps characterized by the fact that the essential norm of
${C}_{\phi}$
in the Dirichlet space is equal to
$\sqrt{\frac{L+2+\sqrt{L(4+L)}}{2}}$
? where
$L=log\frac{1}{1\left\phi \right(0){}^{2}}$
. The answer is not, in fact every univalent fullmap has essential norm equal to 1 in the Dirichlet space:
Theorem 2.3.
Let
$\phi :\mathbb{D}\to \mathbb{D}$
a univalent fullmap, then
$\parallel {C}_{\phi}{\parallel}_{e}=1$
in the Dirichlet space.

Proof.
Suppose first that
$\phi \left(0\right)=0$
, then ([11] )
${C}_{\phi}$
is an isometry and equation 2.3 gives:
$$\parallel {C}_{\phi}{\parallel}_{e}={lim}_{n}\{{sup}_{\parallel f\parallel =1}\parallel {R}_{n}f\parallel \}={lim}_{n}\parallel {R}_{n}\parallel =1.$$
If
$\phi \left(0\right)=p\ne 0$
, then the function
${\phi}_{p}:={\alpha}_{p}\circ \phi $
is a univalent fullmap fixing the origin and then for every function
$f\in \mathcal{D}$
with
$\parallel f\parallel =1$
we have that
$\parallel {C}_{\phi}{R}_{n}f\parallel =\parallel {C}_{{\alpha}_{p}}{R}_{n}f\parallel $
. Thus,
$\parallel {C}_{\phi}{\parallel}_{e}=\parallel {C}_{{\alpha}_{p}}{\parallel}_{e}$
.
But in [
6,Cor.5.9]
, it is proved that the essential norm of any composition operator induced by an automorphism of
$\mathbb{D}$
is equal to 1 and the result follows. □
Acknowledgments
The authors would like to thank D. Vukotić for suggesting the study of composition operators on the Dirichlet space and for making available his works at his Web address. References

E. GallardoGutiérrez, and A. MontesRodríguez: Adjoints of linear fractional composition operators on the Dirichlet space. Math. Ann. 327, (2003) 117234.

P. Bourdon: Rudin's orthogonality problem and the Nevanlinna counting function. Proc. Amer. Math. Soc. 125 (1997), 11871192.

C. Bishop: Orthogonal functions in
${H}^{\infty}$
. Preprint.

C. Cowen and B. MacCluer: Composition Operators on Spaces of Analytic Functions. CRC Press, 1995.

N. Feldman: Pointwise Multipliers of the Hardy space into the Bergman space. Illinois J. Math. 43 (1999) no. 2, 211221

G.A. Chacón and G.R. Chacón: Some Properties of Composition Operators on the Dirichlet Space. Preprint. Available at the Web address: http://webdelprofesor.ula.ve/nucleotachira/gchacon

C. Hammond: The norm of a Composition Operator with Linear Fractional Symbol Acting on the Dirichlet Space PrePrint.

F. Jafari et al., editors: Studies on Composition Operators. Comtemp. Math. Vol. 210 American Math. Soc., 1998.

M. Jovović and B. MacCluer: Composition operators on Dirichlet spaces. Acta Sci. Math. (Szeged) 63 (1997), 229247.

M. Martín and D. Vukotić: Norms and spectral radii of composition operators acting on the Dirichlet space To appear in J. Math. Anal. Appl. Available at the Web address: http://www.uam.es/personal_pdi/ciencias/dragan/respub/papers.html

M. Martín and D. Vukotić: Isometries of the Dirichlet space among the Composition. To appear in Proc. Amer. Math. Soc. Available at the Web address: http://www.uam.es/personal_pdi/ciencias/dragan/respub/papers.html

E. Nordgren: Composition operators. Canad. J. Math. 20 (1968) 442449.

J. Shapiro: Composition Operators and Classical Function Theory. Springer Verlag, 1993.

J. Shapiro: What do composition operators know about inner functions? Monatshefte für Mathematik 130 (2000), 57–70.

C. Sundberg: Measures induced by analytic functions and a problem of Walter Rudin. J. Amer. Math. Soc. 16 (2003) 6990.
Universidad de los Andes, Nucleo Tachira Email address : gchacon@cantv.net, gchacon@ula.ve Universidad de los Andes, Facultad de Humanidades y Educacion Email address : grchacon@ula.ve Universidad de los Andes, Facultad de Ciencias Email address : jgimenez@ula.ve