---
abstract: 'By a theorem of the first named author, $\varphi$ generates a bounded composition operator on the Hardy space ${{\mathscr{H}}^p}$of Dirichlet series ($1\le p<\infty$) only if $\varphi(s)=c_0 s+\psi(s)$, where $c_0$ is a nonnegative integer and $\psi$ a Dirichlet series with the following mapping properties: $\psi$ maps the right half-plane into the half-plane ${\operatorname{Re}}s >1/2$ if $c_0=0$ and is either identically zero or maps the right half-plane into itself if $c_0$ is positive. It is shown that the $n$th approximation numbers of bounded composition operators on ${{\mathscr{H}}^p}$ are bounded below by a constant times $r^n$ for some $0<r<1$ when $c_0=0$ and bounded below by a constant times $n^{-A}$ for some $A>0$ when $c_0$ is positive. Both results are best possible. Estimates rely on a combination of soft tools from Banach space theory ($s$-numbers, type and cotype of Banach spaces, Weyl inequalities, and Schauder bases) and a certain interpolation method for ${{\mathscr{H}}^2}$, developed in an earlier paper, using estimates of solutions of the $\overline{\partial}$ equation. A transference principle from $H^p$ of the unit disc is discussed, leading to explicit examples of compact composition operators on ${{\mathscr{H}}^1}$ with approximation numbers decaying at a variety of sub-exponential rates. Finally, a new Littlewood–Paley formula is established, yielding a sufficient condition for a composition operator on ${{\mathscr{H}}^p}$ to be compact.'
address:
- 'Clermont Université, Université Blaise Pascal, Laboratoire de Mathématiques, BP 10448, F-63000 CLERMONT-FERRAND - CNRS, UMR 6620, Laboratoire de Mathématiques, F-63177 AUBIERE'
- 'Université Lille Nord de France, USTL, Laboratoire Paul Painlevé UMR. CNRS 8524, F–59 655 Villeneuve d’Ascq Cedex, France'
- 'Department of Mathematical Sciences, Norwegian University of Science and Technology, NO-7491 Trondheim, Norway'
author:
- Frédéric Bayart
- Hervé Queffélec
- Kristian Seip
title: |
    Approximation numbers of composition operators\
    on $H^p$ spaces of Dirichlet series
---

[^1]

Introduction and statement of main results
==========================================

In the recent work [@QS1], we studied the rate of decay of the approximation numbers of compact composition operators on the Hilbert space ${{\mathscr{H}}^2}$, which consists of all ordinary Dirichlet series $f(s)=\sum_{n=1}^{\infty}b_n n^{-s}$ such that $$\| f\|^2_{{{\mathscr{H}}^2}} := \sum_{n=1}^\infty \vert b_n\vert^2 <\infty.$$ The general motivation for undertaking such a study is that the decay of the approximation numbers is a quantitative way of studying the compactness of a given operator, yielding more precise information than what for instance its membership in a Schatten class does. The purpose of the present paper is to take the natural next step of making a similar investigation in the case when ${{\mathscr{H}}^2}$ is replaced by the Banach spaces ${{\mathscr{H}}^p}$ for $1\le p < \infty$; here we follow [@BAY] and define ${{{\mathscr{H}}^p}}$ as the completion of the set of Dirichlet polynomials $P(s)=\sum_{n=1}^N b_n n^{-s}$ with respect to the norm $$\Vert P\Vert_{{{{\mathscr{H}}^p}}}=\left(\lim_{T\to \infty} \frac{1}{T}\int_{0}^T \vert P(it)\vert^{p}dt\right)^{1/p}.$$ We consider this a particularly interesting case because operator theory on these spaces so far is poorly understood and appears intractable by standard methods.

Our starting point is the first named author’s work on ${{\mathscr{H}}^p}$ and boundedness and compactness of the composition operators acting on these spaces [@BAY; @BAYA]. A basic fact proved in [@BAY] is that ${{\mathscr{H}}^p}$ consists of functions analytic in the half-plane $\sigma:={\operatorname{Re}}s>1/2$. This means that $C_{\varphi}f:= f\circ \varphi$ defines an analytic function whenever $f$ is in ${{\mathscr{H}}^p}$ and $\varphi$ maps this half-plane into itself. But more is clearly needed for $C_{\varphi}$ to map ${{\mathscr{H}}^p}$ into ${{\mathscr{H}}^p}$. In particular, we need to consider other half-planes as well and introduce therefore again the notation $${\mathbb{C}}_\theta:=\{s=\sigma+i t:\ \sigma>\theta\},$$ where $\theta$ can be any real number. Following the work of Gordon and Hedenmalm [@GORHED], we say that an analytic function $\varphi$ on ${\mathbb{C}}_{1/2}$ belongs to the Gordon–Hedenmalm class ${\mathscr{G}}$ if it can be represented as $$\varphi(s)=c_{0}s+\sum_{n=1}^\infty c_n\, n^{-s}=:c_{0}s+\psi(s),$$ where $c_0$ is a nonnegative integer and $\psi$ is a Dirichlet series that is uniformly convergent in each half-plane   ${\mathbb{C}}_\varepsilon$ ($\varepsilon>0$) and is either identically $0$ or has the mapping properties $\psi({\mathbb{C}}_0)\subset {\mathbb{C}}_0$ if $c_0\geq 1$ and $\psi({\mathbb{C}}_0)\subset {\mathbb{C}}_{1/2}$ if $c_0=0$. This terminology is justified by the result from [@GORHED] saying that $C_\varphi$ is bounded on ${{\mathscr{H}}^2}$ if and only if $\varphi$ belongs to ${\mathscr{G}}$. (See [@QS1 Theorem 1.1] for this particular formulation of the result.) The ${{\mathscr{H}}^p}$ version of the Gordon–Hedenmalm theorem reads as follows [@BAYA].

\[FRED\] Assume that $\varphi:{\mathbb{C}}_{1/2}\to {\mathbb{C}}_{1/2}$ is an analytic map and that $1\leq p<\infty$.

1.  If $C_\varphi$ is bounded on ${{{\mathscr{H}}^p}}$, then $\varphi$ belongs to ${\mathscr{G}}$.

2.  $C_\varphi$ is a contraction on ${{\mathscr{H}}^p}$ if and only if $\varphi$ belongs to ${\mathscr{G}}$ and $c_0\geq 1$.

3.  If $\varphi$ belongs to ${\mathscr{G}}$ and $c_0=0$, then $C_\varphi$ is bounded on ${{{\mathscr{H}}^p}}$ whenever $p$ is an even integer.

The curious fact that part (c) of this theorem only covers the case when $p$ is an even integer can be directly attributed to an interesting feature of ${{\mathscr{H}}^p}$. To see this, we recall that ${{\mathscr{H}}^p}$ can be identified isometrically with $H^{p}({\mathbb{T}}^\infty)$, which is the $H^p$ space of the infinite-dimensional polydisc ${\mathbb{T}}^\infty$, via the so-called Bohr lift. This space is a subspace of the Lebesgue space $L^{p}({\mathbb{T}}^\infty)$ with respect to normalized Haar measure on ${\mathbb{T}}^{\infty}$. The main difference with classical $H^p$ spaces is that, even for $1<p<\infty$, $p\neq 2$, ${{{\mathscr{H}}^p}} =H^{p}({\mathbb{T}}^\infty)$ is not complemented in $L^{p}({\mathbb{T}}^\infty)$ [@EBE]. As a consequence, there seems to be little hope to obtain a useful description of the dual space of ${{\mathscr{H}}^p}$. This is a serious obstacle and makes it hard to employ familiar techniques such as interpolation in the Riesz–Thorin or Lions–Peetre sense. We refer to [@SS; @OLS] for further details about the anomaly of ${{\mathscr{H}}^p}$. There are additional obstacles as well, since familiar Hilbert space techniques such as orthogonal projections, frames and Riesz sequences, and equality of various $s$-numbers (like approximation, Bernstein, Gelfand numbers) are no longer available.

We have found ways to circumvent these difficulties to obtain results that, at least partially, parallel those from [@QS1]. To state our first result, we recall that the $n$th approximation number $a_n(T)$ of a bounded operator on a Banach space $X$ is the distance in the operator norm from $T$ to operators of rank $<n$. One of our main theorems is a direct analogue and indeed an improvement of [@QS1 Theorem 1.1], showing again the crucial dependence on the parameter $c_0$:

\[General\] Assume that $c_0$ is a nonnegative integer, $p\ge 1$, and that $\varphi(s)=c_0 s+\sum_{n=1}^\infty c_n n^{-s}$ is a nonconstant function that generates a bounded composition operator $C_{\varphi}$ on ${{{\mathscr{H}}^p}}$.

-   If $c_0=0$, then $a_n(C_{\varphi})\gg \delta^n$ for some $0<\delta<1$.

-   If $c_0\geq1$, then $a_n(C_{\varphi})\geq \delta_p (n\,\log n)^{-{\operatorname{Re}}c_1}$, where $\delta_{p}>0$ only depends on $p$. In particular,  if $\ {\operatorname{Re}}c_1>0$, then $$\label{bill}\sum_{n=1}^\infty [a_{n}(C_\varphi)]^{1/{\operatorname{Re}}c_1}=\infty.$$

These lower bounds are optimal.

As in [@QS1], the notation $f(n)\ll g(n)$ or equivalently $g(n)\gg f(n)$ means that there is a constant $C$ such that $f(n)\le C g(n)$ for all $n$ in question.

The proof of Theorem \[General\] follows the same pattern as the proof of [@QS1 Theorem 1.1], with an additional ingredient allowing a sharper estimate (new even for $p=2$) in the case $c_0\geq 2$. The general strategy is based on fairly soft functional analysis, which turns out to remain valid in the context of our spaces ${{\mathscr{H}}^p}$. It leads to certain general estimates for approximation numbers of $C_\varphi$, which are made effective thanks to a hard technical device involving $\overline{\partial}$ correction arguments. It is perhaps surprising to find such methodology in this context, but it proved to be quite efficient in the case $p=2$ [@QS1]. Unexpectedly, this auxiliary Hilbert space result can be used again in the present setting without any essential changes.

Contrary to what happens for composition operators on $H^p(\mathbb D)$, continuity or compactness of composition operators on $\mathcal H^p$ can not be immediately inferred from what is known when $p=2$. Indeed, no nontrivial sufficient condition for a composition operator to be compact on ${{\mathscr{H}}^p}$, $p\neq 2$, has been found in previous studies. We have therefore chosen to include in the present paper a sufficient condition when $c_0\geq 1$, similar to the condition given in [@BAYA] for composition operators on ${{\mathscr{H}}^2}$. As in that paper, our condition will depend on a Littlewood–Paley formula, but the proof of [@BAYA] can not be easily adapted since it depends crucially on the Hilbert space structure of $\mathcal H^2$. To state our condition, we need to recall that the Nevanlinna counting function of a function $\varphi$ in $\mathcal G$ is defined by $$\mathcal N_ \varphi(s)=\left\{
\begin{array}{ll}
\sum_{w\in\varphi^{-1}(s)}{\operatorname{Re}}w&\textrm{if }s\in\varphi(\mathbb C_0)\\
0&\textrm{otherwise}.
\end{array}\right.$$

\[sufficientcompact\] Assume that $\varphi(s)=c_0  s+\psi(s)$ is in $\mathcal G$ with $c_0\geq 1$ and that

-   ${\operatorname{Im}}\psi$ is bounded on ${\mathbb{C}}_0$;

-   $\mathcal N_\varphi(s)=o\big({\operatorname{Re}}s\big)$ when ${\operatorname{Re}}s\to 0^+$.

Then $C_\varphi$ is compact on ${{\mathscr{H}}^p}$ for $p\ge 1$.

Note that in the special case when $\varphi$ is univalent, we have either $\mathcal N_\varphi(s)={\operatorname{Re}}\varphi^{-1}(s)$ or $\mathcal N_\varphi(s)=0$. This means that assumption (b) can be rephrased as saying that ${\operatorname{Re}}\psi(s)/ {\operatorname{Re}}s \to +\infty$ when ${\operatorname{Re}}s \to 0^+$.

In the final part of the paper, we will discuss a transference principle that was established in [@QS1], showing that symbols of composition operators on $H^{p}({\mathbb{D}})$, via left and right composition with two fixed analytic maps, give rise to composition operators on ${{\mathscr{H}}^p}$. The idea is to use this principle to transfer estimates for approximation numbers from $H^p({\mathbb{D}})$. This leads to satisfactory results when $p=1$, but, surprisingly, for no other values of $p\neq 2$. As an example, we mention that it allows us to prove the following result.

\[example\] There exists a function $\varphi(s)=\sum_{n=1}^\infty c_n n^{-s}$ in ${\mathscr{G}}$ such that $C_\varphi$ is bounded on ${{\mathscr{H}}^1}$ with approximation numbers verifying $$a\,e^{-b\sqrt n}\leq a_{n}(C_\varphi)\leq a'\,e^{-b'\sqrt n}.$$

This theorem follows, via our transference principle, from estimates from [@ROQULI] for composition operators on $H^p({\mathbb{T}})$ associated with lens maps on ${\mathbb{D}}$. More general statements about the range of possible decay rates for approximation numbers of $C_\varphi$ on ${{\mathscr{H}}^1}$ can be worked out, using our transference principle and the methods of our recent work [@QS2]. However, at present, we are not able to reach the same level of precision for approximation numbers of slow decay. This is related to a certain local embedding inequality, known to be valid only when $p$ is an even integer; this is also the reason for the constraint in part (c) of Theorem \[FRED\]. As to the success of our method when $p=1$, the point is that we are able to resort to estimates for interpolating sequences for ${{\mathscr{H}}^2}$, in contrast to what can be done for general $p>1$. Indeed, essentially nothing is known about the interpolating sequences for ${{\mathscr{H}}^p}$ when $1<p<\infty, p\neq 2$.

Our study requires a fair amount of background material and function and operator theoretic results pertaining to ${{\mathscr{H}}^p}$. More specifically, the following list shows what will be covered in the remaining part of the paper:

-   Section 2 is devoted to some preliminaries and definitions on operators and Banach spaces.

-   In Section 3, we recall some general properties of ${{\mathscr{H}}^p}$: Schauder basis, Bohr lift, etc…

-   In Section 4, we have collected a number of basic functional analytic results as well as more specific results about Carleson measures and interpolating sequences, including estimates relying on our previous work [@QS1].

-   Section 5 is devoted to a new Littlewood–Paley type formula for ${{\mathscr{H}}^p}, p\neq 2$, which is subsequently used to prove Theorem \[sufficientcompact\].

-   Section 6 establishes general lower bounds for $a_{n}(C_\varphi)$ using norms of Carleson measures and constants of interpolation.

-   Section 7 gives several proofs of Theorem \[General\].

-   Section 8 shows the optimality of the previous bounds.

-   The final Section 9 is devoted to our transference principle and to the proof of Theorem \[example\]. We also discuss two basic problems (the local embedding inequality and interpolating sequences for ${{\mathscr{H}}^p}$) that hinder further progress in our particular context as well as in our general understanding of ${{\mathscr{H}}^p}$.

Throughout the paper, we insist on exhibiting methods, and sometimes we give several proofs of the same result.

Preliminaries
=============

$s$-numbers {#sn}
-----------

Let $T:X\to X$ be a bounded operator from a Banach space into itself, and let $(\lambda_{n}(T))_{n\geq 1}$ be the sequence of its eigenvalues, arranged in descending order. We attach to this operator three sequences of so-called $s$-numbers, which dominate in a vague sense the sequence $(\lambda_{n}(T))_{n\geq 1}$ and whose decay is designed to evaluate the degree of compactness of $T$ in a quantitative way:

-   Approximation numbers $$a_{n}(T)=\inf\{\Vert T-R\Vert : \hbox{\ rank}\ R<n\}$$

-   Bernstein numbers $$b_{n}(T)=\sup_{\dim E=n}\Big[\inf_{x\in S_E}\Vert Tx\Vert\Big]$$

-   Gelfand numbers $$c_{n}(T)=\inf\{\Vert T|_E\Vert : \hbox{\ codim}\ E<n\}.$$

Note that the first and third sequences are defined as min–max and the second as a max–min. We have $$a_{n}(T)=b_{n}(T)=c_{n}(T)=a_{n}(T^{\ast})=\lambda_{n}(|T|)$$ if $X$ is a Hilbert space and $|T|$ denotes $\sqrt{T^{\ast}T}$ and $$\label{stefan} a_{n}(T)\geq \max (b_{n}(T),c_{n}(T)) \quad \text{and}\quad a_{n}(T)\geq a_{n}(T^{\ast})$$ if $X$ is a Banach space, where the latter inequality is an equality when $T$ is compact. Moreover, $$\label{stefane} a_{n}(T)\leq 2\sqrt{n}\, c_{n}(T) ,$$ which follows from the fact that any $n$-dimensional subspace $E$ of a Banach space $X$ is complemented in $X$ through a projection of norm at most $\sqrt n$ [@PIE p. 114].

Finally, we will combine a basic property of composition operators with a matching property of approximation numbers:

-   (Non abelian semi-group property)

    $$C_{\varphi_1\circ \varphi_2}=C_{\varphi_2}\circ C_{\varphi_1}$$

-   (Ideal property) $$a_{n}(ATB)\leq \Vert A\Vert a_{n}(T)\Vert B\Vert.$$

For detailed information on $s$-numbers, we refer to the articles [@PIE; @PIET] or to the books [@CAST; @PIETS].

The Weyl inequalities of Johnson–König–Maurey–Retherford and Pietsch
--------------------------------------------------------------------

We borrow the following theorem from the famous paper [@JKMR], which extended for the first time, under an additive form, the Weyl inequalities for Hilbert spaces to a Banach space setting.

\[Johnson–König–Maurey–Retherford\] \[four\]Let $T:X\to X$ be a bounded and power-compact linear operator from a Banach space $X$ to itself and $\ 0<r<\infty$. Then $$\label{bernard} \Vert (\lambda_{j}(T))\Vert_{\ell^r}\leq c_{r} \Vert (a_{j}(T))\Vert_{\ell^r}.$$

Soon after this result was established, Pietsch found the following multiplicative improvement (see [@PIE p. 156] or [@PIET Lemma 13]) which we will use as well.

\[Pietsch\] \[multi\]Let $T:X\to X$ be a bounded and power-compact linear operator from a Banach space $X$ to itself. Then $$\label{albrecht} \vert \lambda_{2n}(T)\vert\leq e\,\Big(\prod_{j=1}^{n} a_{j}(T)\Big)^{1/n}.$$

 General properties of ${{\mathscr{H}}^p}$
==========================================

A Schauder basis for ${{\mathscr{H}}^p}$ and the partial sum operator
---------------------------------------------------------------------

We will make use of the following result, first found by Helson [@HEL] (see also [@RUD p. 220]) in the framework of ordered groups and then reproved in a more concrete way in the context of ${{{\mathscr{H}}^p}}$-spaces by Aleman, Olsen, and Saksman [@ALOLSA].

\[thmhaos\] For $1<p<\infty$, the sequence $(e_n)=(n^{-s})$ is a (conditional) Schauder basis for ${{{\mathscr{H}}^p}}$.

For every positive integer $N$, we define the partial sum operator $S_N:{{\mathscr{H}}^p}\to {{\mathscr{H}}^p}$ by the relation $$S_N\left(\sum_{n=1}^\infty x_n e_n\right):= \sum_{n\leq N} x_n\,e_n.$$ In [@ALOLSA], Theorem \[thmhaos\] was obtained as a consequence of the uniform boundedness of $S_N$, i.e., the fact that there exists a constant $C=C_p$ such that $$\Vert S_N f \Vert_{{{\mathscr{H}}^p}} \leq C\Vert f\Vert_{{{\mathscr{H}}^p}}$$ for every $f$ in ${{\mathscr{H}}^p}$. It is a general functional analytic fact that a complete sequence is a Schauder basis for a Banach space $X$ if and only if the associated partial sum operators $S_N$ are uniformly bounded [@LIQU]. This leads to the following result.

\[contract\] Let $X$ be a Banach space and assume that $(e_n)_{n\ge 1}$ is a Schauder basis for $X$. Let $N$ be a positive integer and $(\lambda_n)_{n\geq N}$ a nonincreasing sequence of nonnegative numbers. Then for every $f=\sum_{n=1}^\infty x_n\, e_n$ in $X$, $$\label{prinzip}\left\Vert \sum_{n\geq N}\lambda_n\,x_n\, e_n\right\Vert\leq 2C\lambda_N \Vert f\Vert,$$ where $C=\sup_n \| S_n\|$.

We write $x_n e_n=S_nf-S_{n-1}f$ so that we get $$\sum_{n\geq N}\lambda_n\,x_n\, e_n =- \lambda_{N} S_{N-1}f+\sum_{n\ge N} (\lambda_n-\lambda_{n+1})S_n f.$$

The sequence $(n^{-s})$ fails to be a basis for $\mathscr{H}^1$, but not by much, as expressed by the following theorem.

\[parsum\]There exists a constant $C$ such that $$\label{helsak}\Vert S_{N}f\Vert_{\mathscr{H}^1}\leq C\, \log N\, \Vert f\Vert_{\mathscr{H}^1}$$ for every $f$ in ${{\mathscr{H}}^1}$.

We can appeal to Helson’s work [@HEL] which deals with a compact connected group $G$ and its ordered dual $\Gamma$. We take $G={\mathbb{T}}^\infty,\ \Gamma={\mathbb{Z}}^{(\infty)}$ along with the order $$\alpha\leq \beta \hbox{\quad if}\quad \sum_{j\geq 1} \alpha_j\log p_j\leq \sum_{j\geq 1} \beta_j\log p_j.$$ Here $\alpha=(\alpha_j),\ \beta=(\beta_j)$, and $(p_j)$ denotes the sequences of primes.

Given $0<p<1$, Helson’s result implies fairly easily that $$\Vert S_{N}f\Vert_{{{\mathscr{H}}^p}}^{p}\ll \left(\cos \pi p/2\right)^{-1} \Vert f\Vert_{{{\mathscr{H}}^1}}^{p}\ll (1-p)^{-1} \Vert f\Vert_{{{\mathscr{H}}^1}}^{p}$$ when $f$ is in ${{\mathscr{H}}^p}$. Let now $f(s)=\sum_{n=1}^\infty b_{n}n^{-s}$ be in ${{\mathscr{H}}^1}$. Observe that $|b_n|\leq \Vert f\Vert_{{{\mathscr{H}}^1}}$ which implies the pointwise estimate $|S_{N}f|\leq N\,\Vert f\Vert_{{{\mathscr{H}}^1}}$. Using the Bohr lift and integrating over ${\mathbb{T}}^\infty$ with its Haar mesure $m_\infty$, we obtain

$$\begin{aligned}
\Vert S_{N}f\Vert_{{{\mathscr{H}}^1}}&= & \int|S_{N}f|dm_\infty=\int|S_{N}f|^{1-p}|S_{N}f|^{p}dm_\infty \\ 
& \le & N^{1-p}(\Vert f\Vert_{{{\mathscr{H}}^1}})^{1-p}\int|S_{N}f|^{p}dm_\infty \\ 
& \ll & N^{1-p}(\Vert f\Vert_{{{\mathscr{H}}^1}})^{1-p}(1-p)^{-1}(\Vert f\Vert_{{{\mathscr{H}}^1}})^{p}= N^{1-p}(1-p)^{-1}\Vert f\Vert_{{{\mathscr{H}}^1}}.\end{aligned}$$

Now choosing $p=1-1/\log N$, we arrive at since then $N^{1-p}=e$.

We will now give an alternate and self-contained proof of Theorem \[parsum\]. This proof is an application of a simple but powerful identity shown by Eero Saksman to the second-named author [@EERO], which most likely will have other applications in the study of the spaces ${{\mathscr{H}}^p}$. The initial application Saksman had in mind concerned the conjugate exponent $p=\infty$ or, in other words, the Banach algebra ${{\mathscr{H}}^\infty}$ which consists of Dirichlet series that define bounded analytic functions on ${\mathbb{C}}_0$. Equipped with the natural $H^\infty$ norm on ${\mathbb{C}}_0$, ${{{\mathscr{H}}^\infty}}$ is isometrically equal to the multiplier algebra of ${{{\mathscr{H}}^p}}$ [@BAY; @HLS].

We will use the notation $$\widehat{\psi}(\xi)=\int_{-\infty}^\infty e^{-it\xi} \psi(t)dt$$ for the Fourier transform of a function $\psi$ in $L^1({\mathbb{R}})$. If $\psi$ is in $L^1({\mathbb{R}})$ and $f(s)=\sum_{n=1}^\infty b_n n^{-s}$ is a Dirichlet series that is absolutely convergent in some half-plane ${\mathbb{C}}_\theta$, then the function $$\label{sakiden} P_{\psi}f(s):=\sum_{n=1}^\infty b_n n^{-s}\widehat{\psi}(\log n)=\int_{-\infty}^\infty f(s+it)\psi(t)dt, \quad s\in {\mathbb{C}}_\theta,$$ is again a Dirichlet series. It is clear that $P_\psi f$ is absolutely convergent wherever $f$ is absolutely convergent. If $\psi$ is in $L^{1}(R)$ with $\widehat{\psi}$ compactly supported and $f(s)=\sum_{n=1}^\infty b_n n^{-s}$ is a Dirichlet series that is bounded in some half-plane, then we have the identity between $P_{\psi} f(s)$ and the integral on the right-hand side of throughout that half-plane. If $f$ is in ${{\mathscr{H}}^p}$ for some $p$, then we may write $$\label{saksident} P_{\psi}f=\int_{-\infty}^\infty (T_{t}f)\,\psi(t)dt,$$ where the right-hand side denotes a vector-valued integral in ${{\mathscr{H}}^p}$ and $T_{t}:{{\mathscr{H}}^p}\to {{\mathscr{H}}^p}$ is the vertical translation-operator defined by $T_{t}f(s)=f(s+it)$. The utility of rests on the fact that $T_{t}$ acts isometrically on ${{\mathscr{H}}^p}$ for every $1\le p \le \infty$. Saksman’s vertical convolution formula can now be applied to yield the following result.

If $ \psi$ is in $ L^{1}(\mathbb{R})$ and $f(s)=\sum_{n=1}^\infty b_n n^{-s}$ is in ${{\mathscr{H}}^p}$ for some $1\le p \le \infty$, then $$\label{saksmidenti} \Vert P_{\psi}f \Vert_{{{\mathscr{H}}^p}}\leq \Vert f\Vert_{{{\mathscr{H}}^p}}\,\Vert \psi\Vert_1.$$

By and the vertical translation invariance of the norm in ${{\mathscr{H}}^p}$, we get $$\Vert P_{\psi} f\Vert_{{{\mathscr{H}}^p}}\leq\int_{-\infty}^\infty \Vert T_{t} f\Vert_{{{\mathscr{H}}^p}}\,|\psi(t)| dt=\Vert f\Vert_{{{\mathscr{H}}^p}}\,\Vert \psi\Vert_1.$$

We now turn to Saksman’s alternate proof of Theorem \[parsum\]. The idea is to choose $\psi$ so that $\widehat{\psi}$ is smooth and $P_\psi f$ is a good approximation to $S_N f$. A suitable trade-off between these requirements can be made as follows. Let $\Delta_h$ be the indicator function of the interval $[-h, h]$ for $h>0$, and let $\Lambda=(N/2)(\Delta_1\ast \Delta_{1/N})$ be the even trapezoidal function with nodes at $1-1/N$ and $1+1/N$. Then $\Lambda(x)=1$ for $x$ in $[-(1-1/N),\ 1-1/N]$. We see that $$\widehat {\Lambda}(\xi)=(N/2)\, \widehat {\Delta_1}(\xi) \widehat {\Delta_{1/N}}(\xi)=(N/2)\, \frac{\sin \xi\sin \xi/N}{\xi^2},$$ which implies that $\Vert \widehat{\Lambda}\Vert_1\ll \log N$. We choose $\psi$ by requiring that $\widehat{\psi}(x)=\Lambda(x/\log N)$. Then, by the Fourier inversion formula, we have $\| \psi \|_1\ll \log N$. In addition, we observe that $P_\psi f$ differs from $S_{N}f=\sum_{n=1}^N b_n n^{-s}$ by at most $$O\big[N(e^{\log N/N} -e^{-\log N/N})\big]=O(\log N)$$ terms that are all of size $\ll \Vert f\Vert_{{{\mathscr{H}}^1}}$ since $|b_n|\leq \Vert f\Vert_{{{\mathscr{H}}^1}}$. In view of , this ends the second proof of Theorem \[parsum\].

The Bohr lift.
--------------

Let $\varphi$ be a function in ${\mathscr{G}}$ with $c_0=0$, and assume that $\overline{\varphi({\mathbb{C}}_0)}$ is a bounded subset of ${\mathbb{C}}_{1/2}$. We define $\Delta:{\mathbb{C}}_{1/2}\to {\mathbb{D}}^{\infty}\cap \ell^2$ by requiring $\Delta(s):=(p_{j}^{-s}),$ where $(p_j)$ denotes the sequence of primes. Then there exists a unique analytic map $\Phi:{\mathbb{D}}^{\infty}\cap \ell^2\to {\mathbb{C}}_{1/2}$ such that $$\label{lifting} \Phi\circ \Delta=\varphi.$$ We call $\Phi$ the Bohr lift of $\varphi$; we set $\Phi^{\ast}(z):=\lim_{r\to 1}\Phi(rz)$, where $z$ is a point in ${\mathbb{T}}^\infty$. We denote by $m_\infty$ the Haar measure of ${\mathbb{T}}^\infty$ and define the pullback measure $\mu_{\varphi}$ by $$\label{ollssak}\mu_{\varphi}(E):=m_{\infty}(\{z\in {\mathbb{T}}^\infty : \Phi^{\ast}(z)\in E\  \})=m_{\infty}\left((\Phi^{\ast})^{-1}(E\ )\right).$$ We will need the following basic result about the Bohr lift [@QS1].

\[blift\] Suppose that $\varphi$ is in $ {\mathscr{G}}$, $c_0=0$, and that $\overline{\varphi({\mathbb{C}}_0)}$ is a bounded subset of ${\mathbb{C}}_{1/2}$. Then, for every $f$ in ${{\mathscr{H}}^p}$, $1\le p <\infty$, we have $$\Vert C_{\varphi}(f)\Vert_{{{{\mathscr{H}}^p}}}^{p}=\int_{{\mathbb{T}}^\infty} \vert f(\Phi^{\ast}(z))\vert^{p}dm_{\infty}(z)=\int_{\overline{\varphi({\mathbb{C}}_0)}} \vert f(s)\vert^{p}d\mu_{\varphi}(s).$$

Type and cotype of $({{\mathscr{H}}^p})^*$
------------------------------------------

Let $(\varepsilon_j)$ denote a Rademacher sequence and $\mathbb{E}$ the expectation. We recall that a Banach space $X$ is of type $p^{\ast}$ with $1\leq p^{\ast}\leq 2$ if, for some constant $C\geq 1$, $$\mathbb{E}\left\Vert \sum \varepsilon_j x_j\right\Vert\leq C \left(\sum\Vert x_j\Vert^{p^{\ast}}\right)^{1/p^{\ast}}$$ for every finite sequence $(x_j)$ of vectors from $X$. The smallest constant $C$, denoted by $T_{p^\ast}(X)$, is called the type $p^\ast$-constant of $X$. Similarly, a Banach space $Y$ is said to be of cotype $q^{\ast}$ with $2\leq q^{\ast}\leq \infty$ if $$\mathbb{E}\left\Vert \sum \varepsilon_j y_j\right\Vert\geq C^{-1} \left(\sum\Vert y_j\Vert^{q^{\ast}}\right)^{1/q^{\ast}}$$ for every finite sequence $(y_j)$ of vectors of $Y$. The smallest constant $C$, denoted by $C_{q\ast}(Y)$, is called the cotype $q^\ast$-constant of $Y$.

As already mentioned, the space $X={{\mathscr{H}}^p}$ is well understood as the subspace $H^{p}({\mathbb{T}}^\infty)$ of $L^{p}({\mathbb{T}}^\infty)$, but it is not complemented in $L^{p}({\mathbb{T}}^\infty)$. This means that its dual $Y$ is something rather mysterious. But the following fact will be sufficient for our purposes.

\[type\] The Banach space $Y=({{{\mathscr{H}}^p}})^{\ast}$ is of cotype $\  \max (q,2)$ where $q$ is the conjugate exponent of $p$.

${{\mathscr{H}}^p}$ is isometric to the subspace $H^{p}({\mathbb{T}}^\infty)$ of $L^{p}({\mathbb{T}}^\infty)$. The latter space is of type $p^{\ast}=\min (p,2)$ by Fubini’s theorem and Khintchin’s inequality. According to a result of Pisier (from [@PIS], see also [@MAUPIS], [@DIJATO p. 220], or [@LIQU p. 165]), its dual $Y$ is of cotype $q^{\ast}=\max(q,2)$($1/p+1/q=1$) and, moreover, $$\label{gipi}C_{q\ast}(Y)\leq 2 T_{p^\ast}({{\mathscr{H}}^p}).$$ Hence the conclusion of the lemma follows.

Description of the spectrum of compact composition operators {#Bayarts}
------------------------------------------------------------

A complete description of the eigenvalues of $C_\varphi$ on ${{\mathscr{H}}^2}$ was given in [@BAYA]. We will show that this result is valid for ${{\mathscr{H}}^p}$ as well:

\[fred\] Let $\varphi(s)=c_{0}s+\sum_{n=1}^\infty c_n\, n^{-s}$ induce a compact operator on ${{{\mathscr{H}}^p}},\ 1\leq p<\infty$. Then, the eigenvalues of $\ C_\varphi$ have multiplicity one and are

-   $\lambda_n=[\varphi'(\alpha)]^{n-1}, \quad n=1,2,\ldots,$ when $c_0=0$, where $\alpha$ is the fixed point of $\varphi$ in ${\mathbb{C}}_{1/2}$.

-   $\lambda_n=n^{-c_1},\quad n=1,2,\ldots, $ when $c_0=1$.

We adapt the proof of [@BAYA] to ${{\mathscr{H}}^p}$. To begin with, we set $E:=\big\{[\varphi'(\alpha)]^{n-1}, \ n=1,2,\ldots\big\}$ and let $\sigma(C_\varphi)$ be the spectrum of $C_\varphi$. For a given integer $m\geq 1$, consider the space $\mathcal{K}_m$ defined by $$\mathcal{K}_m=\hbox{\ span}\ (\delta_\alpha, \delta'_{\alpha}, \cdots,\delta^{(m)}_{\alpha}) \subset ({{\mathscr{H}}^p})^{\ast},$$ where by definition $\delta^{(k)}_{\alpha}(f)=f^{(k)}(\alpha)$. This space is invariant under $C_{\varphi}^{\ast}$ since $\varphi(\alpha)=\alpha$. It is also finite-dimensional, and the matrix of $(C_{\varphi}^{\ast})_{\mid \mathcal{K}_m}$ on the natural basis of $\mathcal{K}_m$ is upper triangular with diagonal elements $[\varphi'(\alpha)]^{n-1},\ 1\leq n\leq m+1$. This shows that $E\subset \sigma(C_\varphi^{\ast})=\sigma(C_\varphi)$. For the reverse inclusion, we use the compactness of $C_\varphi$ and Königs’s theorem [@Shap-livre pp. 90–91] which in particular claims that $f\circ\varphi=\lambda\,f$ with $f$ a non-zero analytic function in ${\mathbb{C}}_{1/2}$ implies that $\lambda=[\varphi'(\alpha)]^k$ for some non-negative integer $k$ and that the corresponding eigenfunctions generate a one-dimensional space of ${{\mathscr{H}}^p}$.

As for (b), set $E=\{n^{-c_1},\ n\geq 1\}$. The proof of [@BAYA] still gives $\ \sigma(C_\varphi)\subset E\cup\{0\}$ for ${{\mathscr{H}}^p}$. Moreover, for a fixed integer $m$, the vector spaces $\mathcal{K}_m$ and $\mathcal{L}_m$ respectively generated by $1,2^{-s},\ldots, m^{-s}$ and $j^{-s},\ j>m$ are complementary, $\mathcal{L}_m$ is stable by $C_\varphi$, $\mathcal{K}_m$ is finite-dimensional, and the matrix of ${C_\varphi}_{|\mathcal{K}_m}$ is lower triangular with diagonal elements $j^{-c_1}, 1\leq j\leq m$. Therefore, $E\subset \sigma(C_\varphi)$ as in [@BAYA].

The result of [@BAYA] stating that $\sigma(C_\varphi)=\{0,1\}$ when $c_0\geq 2$ also extends from ${{\mathscr{H}}^2}$ to ${{\mathscr{H}}^p}$, but this case will not be needed in this work and is omitted here.

Vertical translates
-------------------

$\mathbb T^\infty$ may be identified with the dual group of $\mathbb Q_+$, where $\mathbb Q_+$ denotes the multiplicative discrete group of strictly positive rational numbers: given a point $z=(z_j)$ on $T^\infty$, we define a character $\chi$ on $\mathbb Q_+$ by its values at the primes by setting $$\chi(2)=z_1,\ \chi(3)=z_2,\ \dots,\ \chi(p_m)=z_m,\ \dots$$ and by extending the definition multiplicatively. In the sequel, we will associate the character $\chi$ with the point $(z_j)$ and refer to $\chi$ as well as a point on ${\mathbb{T}}^\infty$. In particular, we will be interested in properties that hold for almost all characters $\chi$ with respect to the Haar measure $m_\infty$ on ${\mathbb{T}}^\infty$.

In [@HLS] and [@BAY], it was explained that it is useful to consider $f_\chi$ to get a more profound understanding of the function theoretic properties of $f$. For example, for almost all characters $\chi$ , the function $f_\chi$ can be extended to $\mathbb C_0$. Moreover, we obtain another way to compute the norm of $f$ (see [@HLS theorem 4.1] or [@BAY lemma 5]):

\[LEMCALCULNORME\] Let $\mu$ be a finite Borel measure on $\mathbb R$. Then : $${\|f\|_{{{{\mathscr{H}}^p}}}^{p}\,\mu(\mathbb R)}=\int_{\mathbb T^\infty}\int_{\mathbb R} |f_{\chi}(it)|^pd\mu(t)dm_\infty(\chi).$$

We shall need to extend our notation of vertical translates to the class of functions of the form $\varphi(s)=c_0s+\psi(s)\in\mathcal G$. For such functions, $\varphi_\chi$ will mean $$\varphi_\chi(s)=c_0s+\psi_\chi(s).$$ The connection between the composition operators $C_{\varphi}$ and $C_{\varphi_\chi}$ is clarified in [@GORHED], where it is proved that for every $f$ in ${{\mathscr{H}}^p}$ and every $\chi$ in ${\mathbb{T}}^\infty$, $$(f\circ\varphi)_\chi(s)=f_{\chi^{c_0}}\circ\varphi_\chi(s),\ s\in\mathbb C_{1/2},$$ where $\chi^{c_0}$ is the character taking the value $[\chi (n)]^{c_0}$ at $n$. Moreover, for almost all $\chi$ in $\mathbb T^\infty$, this relation remains true in $ \mathbb C_0$.

Carleson measures and sequences, and interpolating sequences
============================================================

The case $p<\infty$
-------------------

We will denote by $\delta_s$ the functional of point evaluation on ${{{\mathscr{H}}^p}}$ at the point $s=\sigma+it$ in ${\mathbb{C}}_{1/2}$, so that $\delta_{s}(f)=f(s)$. The norm of $\delta_s$ was computed by Cole and Gamelin [@COGA] (see also [@BAY]): $$\label{norm} \Vert \delta_{s}\Vert=[\zeta(2\sigma)]^{1/p}.$$ It should be noted that $\zeta(2\sigma)\approx (2\sigma-1)^{-1}$ when $s$ is restricted to a set on which $\sigma$ is uniformly bounded. Let now $\mu$ be a nonnegative Borel measure on the half-plane ${\mathbb{C}}_{1/2}$. We say that $\mu$ is a Carleson measure for ${{\mathscr{H}}^p}$ if there exists a positive constant $C$ such that $$\int_{{\mathbb{C}}_{1/2}} |f(s)|^{p} d\mu(s) \le C \| f\|_{{{\mathscr{H}}^p}}^p$$ holds for every $f$ in ${{\mathscr{H}}^p}$. The smallest possible $C$ in this inequality is called the ${{\mathscr{H}}^p}$ Carleson norm of $\mu$. We denote it by $\|\mu\|_{\mathcal{C}, {{\mathscr{H}}^p}}$ and declare that $\|\mu\|_{\mathcal{C}, {{\mathscr{H}}^p}}=\infty$ if $\mu$ fails to be a Carleson measure for ${{\mathscr{H}}^p}$. Let next $S=(s_j)$ be a sequence of distinct points of ${\mathbb{C}}_{1/2}$. We say that this sequence is a Carleson sequence if the discrete measure $$\mu_S=\sum_{j} \frac{\delta_{s_j}}{\Vert \delta_{s_j}\Vert^{p}}$$ is a Carleson measure for ${{{\mathscr{H}}^p}}$ in the above sense. The Carleson ${{\mathscr{H}}^p}$ norm $\|\mu_S\|_{\mathcal{C}, {{\mathscr{H}}^p}}$ is called the Carleson ${{\mathscr{H}}^p}$ constant of $S$.

The will need the following estimate.

\[firstlem\] Let $\mu$ be a nonnegative Borel measure in the half-plane ${\mathbb{C}}_{1/2}$ whose support is contained in $\overline{{\mathbb{C}}_{\theta}}$ for some $\theta>1/2$. Then $$\|\mu\|_{\mathcal{C}, {{\mathscr{H}}^p}} \le \begin{cases} [\zeta(2\theta)]^{(p-2)/p} \|\mu\|_{\mathcal{C}, {{\mathscr{H}}^2}} , & p\ge 2 \\
 [\zeta(2\theta)] \|\mu\|, & 1\leq p<2. \end{cases}$$

For an arbitrary point $s=\sigma+it$ in the support of $\mu$, we have $$|f(s)|\le [\zeta(2\sigma)]^{1/p} \| f\|_{{{\mathscr{H}}^p}}\le [\zeta(2\theta)]^{1/p} \| f\|_{{{\mathscr{H}}^p}}.$$ We infer from this that $$\int_{{\mathbb{C}}_{1/2}} |f(s)|^{p} d\mu(s)=\int_{{\mathbb{C}}_{1/2}} |f(s)|^{p-2}|f(s)|^2 d\mu(s) \le [\zeta(2\theta)]^{(p-2)/p} \| f\|_{{{\mathscr{H}}^p}}^{p-2} \int_{{\mathbb{C}}_{1/2}} |f(s)|^{2} d\mu(s).$$ Now the result follows since $\| f\|_{{{\mathscr{H}}^2}} \le \| f\|_{{{{\mathscr{H}}^p}}}$ when $p\geq 2$. The (poor) estimate in the case $p<2$ is obvious.

The ${{\mathscr{H}}^p}$ constant of interpolation $M_{{{{\mathscr{H}}^p}}}(S)$ is defined as the infimum of the constants $K$ with the following property: for every sequence $(a_j)$ of complex numbers such that $$\sum_{j}\vert a_j\vert^p \Vert \delta_{s_j}\Vert^{-p}<\infty,$$ there exists a function $f$ in ${{\mathscr{H}}^p}$ such that $$f(s_j)=a_j \ \ \text{for all $ j$ and}\  \ \Vert f\Vert_p\leq K\left(\sum_{j}\vert a_j\vert^p \Vert \delta_{s_j}\Vert^{-p}\right)^{1/p}.$$ For a sequence $S$ of distinct points in $\mathbb C_0$, we will denote by $M_{{{{\mathscr{H}}^\infty}}}(S) $ the best constant $K$ such that, for every bounded sequence $(a_j)$ of complex numbers, there exists a function $f$ in ${{\mathscr{H}}^\infty}$ such that $$f(s_j)=a_j \ \ \text{ for all $ j$ and}\ \ \Vert f\Vert_\infty\leq K\,\sup_{j}\vert a_j\vert .$$ In the next lemma, we will use the following notation. Given a sequence $S=(\sigma_j+i t_j)$ and a real number $\theta$, we write $S+\theta := (\sigma_j+\theta+i t_j)$.

\[secondlem\] Suppose that $\theta>1/2,\ \delta>0$ and that $S=(s_j=\sigma_j+it_j)_{j=1}^n$ is a finite sequence in the half-plane ${\mathbb{C}}_{1/2+\delta}$. Then $$M_{{{\mathscr{H}}^p}} (S) \le  [\zeta(2\theta)]^{1/\min(2,p)}\left(\frac{\zeta(1+2\delta)}{\zeta(1+2(\delta+\theta))}\right)^{1/\min(2,p)}\, n^{1/\min(2,p)-1/p}   \big(M_{{{\mathscr{H}}^2}}(S+\theta)\big)^{2/\min(p,2)}$$ for $1\le p \le \infty$.

Given a sequence $(a_j)_{j=1}^n$, we find the minimal norm solution $F$ to the interpolation problem $F(s_j+\theta)=a_j$ in ${{\mathscr{H}}^2}$. From the definition of the constant of interpolation and , we get the basic estimate $$\label{base} \| F \|_{{{\mathscr{H}}^2}} \le M_{{{\mathscr{H}}^2}}(S+\theta) \left(\sum_{j=1}^n |a_j|^2 [\zeta(2(\sigma_j+\theta))]^{-1}\right)^{1/2}.$$ By our restriction on $S$ and the fact that $\zeta'/\zeta$ increases on $(1,\infty)$, we have $$\frac{\zeta(2\sigma_j)}{\zeta(2(\sigma_j+\theta))}\le \frac{\zeta(1+2\delta)}{\zeta(1+2(\delta+\theta))},$$ which gives $$\| F \|_{{{\mathscr{H}}^2}} \le  \left(\frac{\zeta(1+2\delta)}{\zeta(1+2(\delta+\theta))}\right)^{1/2} \, M_{{{\mathscr{H}}^2}}(S+\theta) 
\left(\sum_{j=1}^n |a_j|^2 [\zeta(2\sigma_j)]^{-1}\right)^{1/2}$$ when inserted into . We first assume $1\le p<2$. Using which gives $|a_j|\leq \sqrt{\zeta(2\theta)}\Vert F\Vert_{2}$, we then get $$\begin{aligned}
 \| F \|_{{{\mathscr{H}}^2}} &\le& \left(\frac{\zeta(1+2\delta)}{\zeta(1+2(\delta+\theta))}\right)^{1/2} M_{{{\mathscr{H}}^2}}(S+\theta) [\zeta(2\theta)]^{1/2-p/4} \| F\|_{{{\mathscr{H}}^2}}^{1-p/2}\\
&&\quad\times  \left(\sum_{j=1}^n |a_j|^p [\zeta(2\sigma_j)]^{-1}\right)^{1/2}.\end{aligned}$$ This yields $$\begin{aligned}
 \| F \|_{{{\mathscr{H}}^2}} &\le& \left(\frac{\zeta(1+2\delta)}{\zeta(1+2(\delta+\theta))}\right)^{1/p} \big(M_{{{\mathscr{H}}^2}}(S+\theta) \big)^{2/p} [\zeta(2\theta)]^{1/p-1/2} \\
&&\quad\times  \left(\sum_{j=1}^n |a_j|^p\|\delta_{s_j}\|^{-p}\right)^{1/p}.\end{aligned}$$ When $2\le p<+\infty$, we simply use Hölder’s inequality to obtain $$\begin{aligned}
 \| F \|_{{{\mathscr{H}}^2}} &\le& \left(\frac{\zeta(1+2\delta)}{\zeta(1+2(\delta+\theta))}\right)^{1/2} \, M_{{{\mathscr{H}}^2}}(S+\theta) n^{1/2-1/p}\\ &&\quad\times\left(\sum_{j=1}^n |a_j|^p\|\delta_{s_j}\|^{-p}\right)^{1/p}.\end{aligned}$$ For $p=\infty$, we get $$\| F \|_{{{\mathscr{H}}^2}}\le M_{{{\mathscr{H}}^2}}(S+\theta) n^{1/2} \sup_j |a_j|.$$ We now observe that the shifted function $G(s)=F(s+\theta)$ is in ${{\mathscr{H}}^\infty}$ since $\theta>1/2$, and that $G(s_j)=a_j$ as well. Hence $$\Vert G\Vert_{{{{\mathscr{H}}^p}}}\leq \Vert G\Vert_{{{{\mathscr{H}}^\infty}}}\leq\sqrt{\zeta(2\theta)} \Vert F\Vert_{{{\mathscr{H}}^2}}.$$

The preceding lemma is useful because we have good estimates for constants of interpolation in the ${{\mathscr{H}}^2}$ setting, thanks to the following key result from [@QS1]. Here we use the notation $S_R$ for the subsequence of points $s_j$ from $S$ that satisfy $|{\operatorname{Im}}s_j|\leq R$.

\[secondlem2\] Suppose $S=(s_j=\sigma_j+it_j)$ is an interpolating sequence for $H^2({\mathbb{C}}_{1/2})$ and that there exists a number $\theta>1/2$ such that $1/2<\sigma_j \le \theta$ for every $j$. Then there exists a constant $C$, depending on $\theta$, such that $$\label{above} M_{{{\mathscr{H}}^2}} (S_R) \le  C [M_{H^2({\mathbb{C}}_{1/2})}(S)]^{2\theta+6} R^{2\theta+7/2}$$ whenever $R\ge \theta+1$.

This result is based on [@S] and relies on quite involved estimates for solutions of the $\overline{\partial}$ equation. We mention finally the remarkable fact that, in general $$\label{remarkable}
M_{{{\mathscr{H}}^1}}(S)\le [M_{{{\mathscr{H}}^2}}(S)]^2$$ whenever $S$ is an interpolating sequence for ${{\mathscr{H}}^2}$. This bound follows from the observation (see [@OLSA]) that we may solve $f(s_j)=a_j$ in ${{\mathscr{H}}^1}$ by first solving $g(s_j)=\sqrt{a_j}$ in ${{\mathscr{H}}^2}$ and then setting $f=g^2$. Inequality is the reason ${{\mathscr{H}}^1}$ stands out as a distinguished case in our context; for other values of $p$, we do not know how to obtain a nontrivial bound for $M_{{{\mathscr{H}}^p}}(S)$ when ${\operatorname{Re}}s_j \to 1/2$, and essentially nothing is known about the ${{\mathscr{H}}^p}$ interpolating sequences.

 The case $p=\infty$
--------------------

If $H^{\infty}$ denotes the Banach space of bounded analytic functions on ${\mathbb{C}}_0$ and if $S=(s_j)$ is a sequence of points in ${\mathbb{C}}_0$, we define the interpolation constant $M_{H^\infty}(S)$ as the infimum of constants $C$ such that for any bounded sequence $(a_j)$, the interpolation problem $a_j=f(s_j),\ j=1,2,\ldots,$ has a solution $f\in H^\infty$ such that $\Vert f\Vert_\infty\leq C \sup_{j}|a_j|$. We will make use of a result of the third-named author [@SE], which can be rephrased as follows:

\[krisei\] Let $S$ be a subset of $\ {\mathbb{C}}_{0}$, bounded by $K$. Then, there exists a positive constant $\gamma$, depending only on $K$, such that $$\label{tsf} M_{{{{\mathscr{H}}^\infty}}}(S)\ll \big[M_{H^\infty}(S)\big]^{\gamma}.$$

This result is implicit in [@SE]; it is obtained by combining the interpolation theorem of Berndtsson and al. [@BECHLI] (see [@SE Lemma 3]) with [@SE Lemma 4].

A Littlewood–Paley formula for ${{\mathscr{H}}^p}$ and proof of Theorem \[sufficientcompact\]
=============================================================================================

Our new Littlewood–Paley formula reads as follows (abbreviating $\Vert\quad\Vert_{{{\mathscr{H}}^p}}$ to $\Vert\quad\Vert_{p}$.)

\[PROPLITTLEWOODPALEY\] Let $\mu$ be a probability measure on $\mathbb R$ and $p\ge 1$. Then $$\label{lpf}\|f\|_p^p\asymp |b_1|^p+\int_{\mathbb T^\infty}\int_{0}^{+\infty}\int_{\mathbb R}\sigma |f_\chi(s)|^{p-2}|f_\chi'(s)|^2 d\mu(t)d\sigma dm_{\infty}(\chi)$$ holds for every Dirichlet series $f(s)=\sum_{n\geq 1}b_nn^{-s}$ in ${{\mathscr{H}}^p}$ .

The notation $u(f)\asymp v(f)$ means as usual that there exists a constant $C\geq 1$ such that for every $f$ in question, $C^{-1}u(f)\leq v(f)\leq Cu(f)$.

We start from the Littlewood–Paley formula for $H^p(\mathbb D)$, which appears for instance in [@Ya79]: We have $$\|g\|_{H^p(\mathbb D)}^p\asymp |g(0)|^p+\int\!\int_{\mathbb D}{(1-|z|^2)} |g(z)|^{p-2} |g'(z)|^2 d\lambda(z)$$ when $g$ is in $H^p({\mathbb{D}})$, where now $d\lambda$ denotes Lebesgue area measure on ${\mathbb{D}}$. Next we let $f$ be a Dirichlet polynomial, $\xi>0$, and consider the Cayley transform $$\omega_{\xi}(z)=\xi\frac{1+z}{1-z},\quad \omega_\xi^{-1}(s)=\frac{s-\xi}{s+\xi}.$$ By Lemma \[LEMCALCULNORME\], $$\label{basicf} \|f\|_p^p=\int_{\mathbb T^\infty}{\left(\int_{\mathbb R}|f_\chi(it)|^p\frac{\xi}{\pi(\xi^2+t^2)}dt\right)dm(\chi)}.$$ For fixed $\chi$ on $\mathbb T^\infty$, we find that $$\begin{aligned}
\int_{\mathbb R}|f_\chi(it)|^p\frac{\xi}{\pi(\xi^2+t^2)}dt&=&{\Vert f_{\chi}\circ\omega_\xi\Vert_{H^p(\mathbb D)}^p} \\
&\asymp&|f_\chi(\xi)|^p+\int\!\int_{\mathbb D}(1-|z|^2)|f_\chi\circ\omega_\xi(z)|^{p-2} |f_\chi'\circ\omega_\xi(z)|^2 |\omega_\xi'(z)|^2 d\lambda(z).\end{aligned}$$ By using the change of variables $s=\sigma+i t=\omega_\xi(z)$, we get $$\begin{aligned}
\int_{\mathbb R}|f_\chi(it)|^p\frac{\xi}{\pi(\xi^2+t^2)}dt&\asymp&|f_\chi(\xi)|^p+\int_{0}^{+\infty}\int_{\mathbb R}
\left(1-\frac{|s-\xi|^2}{|s+\xi|^2}\right)|f_\chi(s)|^{p-2}|f_\chi'(s)|^2dtd\sigma\\
&\asymp&|f_\chi(\xi)|^p+\int_{0}^{+\infty}\int_{\mathbb R}\frac{\sigma \xi}{(\sigma+\xi)^2+t^2}|f_\chi(s)|^{p-2}|f_\chi'(s)|^2dt d\sigma.\end{aligned}$$ We integrate this over $\mathbb T^\infty$. In view of , this gives $$\begin{aligned}
\|f\|_p^p&\asymp&\int_{\mathbb T^\infty}|f_\chi(\xi)|^pdm_\infty(\chi)+\\
&&\quad\quad \int_{0}^{+\infty}\frac{\sigma \xi}{\sigma+\xi}
\int_{\mathbb T^\infty}\int_{\mathbb R} |f_\chi(s)|^{p-2}|f_\chi'(s)|^2  \frac{\sigma+\xi}{\pi\big((\sigma+\xi)^2+t^2\big)}dtdm_\infty(\chi) d\sigma.\end{aligned}$$ [Using again]{} Lemma \[LEMCALCULNORME\], [which]{} is valid for any finite Borel measure, we obtain that $$\int_{\mathbb T^\infty}\int_{\mathbb R} |f_\chi(s)|^{p-2}|f_\chi'(s)|^2  \frac{\sigma+\xi}{\pi\big((\sigma+\xi)^2+t^2\big)}dtdm_\infty(\chi)=\int_{\mathbb T^\infty}\int_{\mathbb R}|f_\chi(s)|^{p-2}|f_\chi'(s)|^2  d\mu(t)dm_\infty(\chi).$$ Finally, we conclude by letting $\xi$ tend to infinity.

In the sequel, it will be convenient to set $f(+\infty):=b_1$ in .

Let $(f_n)$ be a sequence in ${{\mathscr{H}}^p}$ that converges weakly to zero. We will let $f_{n,\chi}$ denote the vertical limit function of $f_n$ with respect to the character $\chi$. By assumption (a) of Theorem \[sufficientcompact\], there exists a positive number $A$ such that $|{\operatorname{Im}}\psi|\leq A$. This implies that $|{\operatorname{Im}}\psi_\chi|\leq A$ for any $\chi$ on ${\mathbb{T}}^\infty$. By the Littlewood–Paley formula, setting $w=u+iv$, we get $$\begin{aligned}
\|C_\varphi(f_n)\|^p_p & \asymp &  |C_\varphi f_n(+\infty)|^p  \\  & + & \int_{\mathbb T^\infty}\int_0^{+\infty}\int_0^1 u |f_{n,\chi^{c_0}}(\varphi_\chi(w))|^{p-2} |f_{n,\chi^{c_0}}'(\varphi_\chi(w))|^2 |\varphi_\chi'(w)|^2 dv\, du\, dm_{\infty}(\chi).\end{aligned}$$ Our assumption on $f_n$ implies that $|f_n(+\infty)|$ and hence $C_\varphi f_n(+\infty)$ tend to zero. In the innermost integral, we use the non-univalent change of variables $s=\sigma +it=\varphi_{\chi}(u+iv)$. Observe that, for every $t$ in $[0,1]$, $-A\leq {\operatorname{Im}}s\leq A+c_0$, whence $$\|C_\varphi(f_n)\|^p_p\ll o(1)+\int_{\mathbb T^{\infty}}\int_0^{+\infty}\int_{-A}^{A+c_0}|f_{n,\chi^{c_0}}(s)|^{p-2}|f_{n,\chi^{c_0}}'(s)|^2\mathcal N_{\varphi_{\chi}}(s)dt\, d\sigma\, dm_{\infty}(\chi).$$ We now use assumption (b) of Theorem \[sufficientcompact\] in the following way. For any given $\varepsilon>0$, we let $\theta>0$ be such that $\mathcal N_{\varphi}(s)\leq\varepsilon {\operatorname{Re}}s$ whenever ${\operatorname{Re}}s<\theta$. We split the integral over $\mathbb R_+$ into $\int_0^{\theta}+\int_{\theta}^{+\infty}$. For the first integral, say $I_0:=\int_0^\theta$, we use that $\mathcal N_{\varphi_\chi}(s)\leq\varepsilon {\operatorname{Re}}s$ for any $\chi$ on $\mathbb T^\infty$ and any $s$ with ${\operatorname{Re}}s <\theta$ (see [@BAYA Proposition 4]). Using again the Littlewood–Paley formula, we get that there exists some constant $C>0$ such that $$I_0=\int_{\mathbb T^{\infty}}\int_0^{\theta}\int_{-A}^{A+c_0}|f_{n,\chi^{c_0}}(s)|^{p-2}|f_{n,\chi^{c_0}}'(s)|^2\mathcal N_{\varphi_{\chi}}(s)dtd\sigma dm_{\infty}(\chi)\leq C\varepsilon \|f_n\|_p^p.$$ For the second integral, say $I_\infty:=\int_\theta^\infty$, we observe that $\mathcal N_{\varphi_\chi}(s)\leq\frac 1{c_0}{\operatorname{Re}}s$ (see [@BAY Proposition 3]), so that $$\begin{aligned}
I_{\infty} & = & \int_{\mathbb T^{\infty}}\int_{\theta}^{+\infty}\int_{-A}^{A+c_0}|f_{n,\chi^{c_0}}(s)|^{p-2}|f_{n,\chi^{c_0}}'(s)|^2\mathcal N_{\varphi_{\chi}}(s)dtd\sigma dm_{\infty}(\chi)\\
& \le &  \frac{1}{c_0}\int_{\mathbb T^{\infty}}\int_{\theta}^{+\infty}\int_{-A}^{A+c_0}\sigma |f_{n,\chi^{c_0}}(s)|^{p-2}|f_{n,\chi^{c_0}}'(s)|^2 dtd\sigma dm_{\infty}(\chi)\\
&= &  \frac{1}{c_0}\int_{\mathbb T^{\infty}}\int_{\theta}^{+\infty}\int_{-A}^{A+c_0}\sigma |f_{n,\chi}(s)|^{p-2}|f_{n,\chi}'(s)|^2 dtd\sigma dm_{\infty}(\chi)\\
& \le & \frac{1}{c_0}\int_{\mathbb T^{\infty}}\int_{\theta/2}^{+\infty}\int_{-A}^{A+c_0}(\sigma+\theta/2) |f_{n,\chi}(s+\theta/2)|^{p-2}|f_{n,\chi}'(s+\theta/2)|^2 dtd\sigma dm_{\infty}(\chi)\\
& \le & \frac{2}{c_0}\int_{\mathbb T^{\infty}}\int_{\theta/2}^{+\infty}\int_{-A}^{A+c_0}\sigma |f_{n,\chi}(s+\theta/2)|^{p-2}|f_{n,\chi}'(s+\theta/2)|^2 dtd\sigma dm_{\infty}(\chi)\\
& \ll & \|f_n(\cdot+\theta/2)\|_p^p,\end{aligned}$$ and this last quantity goes to zero since the horizontal translation operator $f(s)\mapsto f(s+\theta/2)$ acts compactly on ${{\mathscr{H}}^p}$.

Two general lower bounds {#general}
========================

We will let $q$ denote the conjugate exponent of $p$. The evaluation $\delta_s$ at $s$ is in $({{{\mathscr{H}}^p}})^{\ast}$ and, by , $\Vert \delta_s\Vert=[\zeta(2{\operatorname{Re}}s)]^{1/p}$ when $p$ is any real number $\geq 1$. Observe that $\delta_s/\Vert \delta_s\Vert$ converges weakly to $0$ as ${\operatorname{Re}}s\to 1/2$ and that $C_{\varphi}^{\ast}(\delta_s)=\delta_{\varphi(s)}$, so that a necessary condition for compactness of $C_\varphi:{{{\mathscr{H}}^p}}\to {{{\mathscr{H}}^p}}$ is that $$\lim_{{\operatorname{Re}}s\to 1/2}\frac{\Vert \delta_{\varphi(s)}\Vert}{\Vert \delta_s\Vert}=\lim_{{\operatorname{Re}}s\to 1/2}\left(\frac{ \zeta(2{\operatorname{Re}}\varphi(s))}{ \zeta (2{\operatorname{Re}}s)}\right)^{1/p}=0.$$ It is therefore not surprising to see the latter quotient appearing in our general estimates for $a_n(C_\varphi)$ in the two theorems given below. These results represent two different ways of obtaining lower bounds for the quantities $a_{n}(C_\varphi)$ via respectively ${{\mathscr{H}}^\infty}$ interpolation and ${{\mathscr{H}}^p}$ interpolation.

\[belowc2\] Suppose that $\varphi(s)=c_0s+\sum_{n=1}^{\infty} c_n n^{-s}$ determines a compact composition operator ${C_{\varphi}}$ on ${{{\mathscr{H}}^p}},\ 1\leq p<\infty$. Let $S=(s_j)$ and $S'=(s_j')$ be finite sets in ${\mathbb{C}}_{1/2}$, both of of cardinality $n$, such that $\varphi(s_j')=s_j$ for every $j$. Then we have $$\label{pepe} a_n({C_{\varphi}})\ge \rho_p n^{-(1/\min(2,p)-1/p)} [M_{{{{\mathscr{H}}^\infty}}}(S)]^{-1}\, \|\mu_{S'}\|_{{\mathcal C},{{{\mathscr{H}}^p}}}^{-1/p}\, \inf_{1\leq j\leq n} \left(\frac{\zeta(2 {\operatorname{Re}}s_j)}{\zeta(2 {\operatorname{Re}}s'_j)}\right)^{1/p},$$ where $\rho_p$ is a constant depending only on $p$.

As already noted, the transpose $C_{\varphi}^{\ast}:({{{\mathscr{H}}^p}})^{\ast}\to ({{{\mathscr{H}}^p}})^{\ast}$ still verifies in an obvious way the mapping equation $$C_{\varphi}^{\ast}(\delta_a)=\delta_{\varphi(a)},$$ which was used extensively in our previous work [@QS1]. We will use the inequality in the form $$a_{n}(C_\varphi)\geq a_{n}(C_\varphi^{\ast})\geq b_{n}(C_\varphi^{\ast})$$ and minorate the latter quantity. For clarity, we separate the proof into two parts.

Case 1: $p\geq 2$ {#case-1-pgeq-2 .unnumbered}
-----------------

Let $E$ be the space generated by $\delta_{s'_1}, \ldots, \delta_{s'_n}$. This is an $n$-dimensional space. Let $L=\sum_{j=1}^n \lambda_j \delta_{s'_j}$ be an element in the unit sphere $S_E$ of $E$. If $f$ is in $ {{{\mathscr{H}}^p}}$, then the Cauchy-Schwarz inequality in ${\mathbb{C}}^n$ implies that $$|L(f)|=\Big|\sum_{j=1}^n \lambda_j f(s'_j)\Big|=\Big|\sum_{j=1}^n \Lambda_j F_j\Big|\leq \Vert \Lambda\Vert_2\, \Vert F\Vert_2,$$ where we have set $$\Lambda_j:=\lambda_j \Vert \delta_{s'_j}\Vert \quad \text{and}\quad  F_j:=f(s'_j) \Vert \delta_{s'_j}\Vert^{-1}$$ as well as $$\Lambda:=(\Lambda_1,\ldots,\Lambda_n)  \quad \text{and}\quad  F:=(F_1,\ldots, F_n).$$ Since $L$ is assumed to be in the unit sphere of $E$, Hölder’s inequality now implies that $$\label{andone}1\leq n^{1/2-1/p}\,\Vert \Lambda\Vert_2 (\Vert\mu_{S'} \Vert_{\mathcal {C},{{{\mathscr{H}}^p}}})^{1/p}.$$

Next we observe that the sequence $\delta_{s_j}$ is unconditional with constant $\leq M_{{{{\mathscr{H}}^\infty}}}(S)=:M_S$, i.e., $$\label{andnext}M_{S}^{-1}\left\Vert \sum \omega_j \lambda_j \delta_{s_j}\right\Vert \leq \left\Vert \sum  \lambda_j \delta_{s_j}\right\Vert\leq M_S\,\left\Vert \sum \omega_j \lambda_j \delta_{s_j}\right\Vert$$ for any choice of scalars $\lambda_j$ and unimodular scalars $\omega_j$. To see this, we first set $$\Phi=\sum_{j=1}^n \lambda_j \delta_{s_j},\  \Phi_\omega=\sum_{j=1}^n \omega_j \lambda_j \delta_{s_j}.$$ If $h$ in $ {{\mathscr{H}}^\infty}$ verifies $h(s_j)=\omega_j,\ 1\leq j\leq n$, and $\Vert h\Vert_{\infty}\leq M_S$, then we see that, for every $f\in {{{\mathscr{H}}^p}}$, $\Phi_{\omega}(f)=\Phi(hf)$. Since ${{{\mathscr{H}}^\infty}}$ is isometrically equal to the multiplier algebra of ${{{\mathscr{H}}^p}}$, we therefore get that $$|\Phi_{\omega}(f)|\leq \Vert \Phi\Vert \Vert hf\Vert_{{{{\mathscr{H}}^p}}}\leq \Vert \Phi\Vert \Vert h\Vert _\infty \Vert f\Vert_{{{{\mathscr{H}}^p}}}\leq M_S\,\Vert \Phi\Vert  \Vert f\Vert_{{{{\mathscr{H}}^p}}}.$$ This gives the left-hand inequality of . The right-hand inequality readily follows, replacing $\lambda_j$ by $\lambda_j \omega_j$ and $\omega_j$ by $\overline{\omega_j}$. Averaging with respect to independent choices of $\omega_j$ (Rademacher variables) and using Lemma \[type\] and , we get from the left-hand side of , setting $\rho_p=[2T_{2}({{{\mathscr{H}}^p}})]^{-1}$, that $$\begin{aligned}
 \Vert \Phi\Vert & \geq & M_{S}^{-1}\mathbb{E}\left\Vert \sum \omega_j\,\lambda_j\,\delta_{s_j}\right\Vert\geq M_{S}^{-1} \rho_p\left(\sum|\lambda_j|^{2}|\Vert \delta_{s_j}\Vert^2\right)^{1/2} \\ &\geq & M_{S}^{-1}\rho_p\, \inf_{1\leq j\leq n}\frac{\Vert \delta_{s_j}\Vert}{\Vert \delta_{s'_j}\Vert} \left(\sum|\lambda_j|^{2}|\Vert \delta_{s'_j}\Vert^2\right)^{1/2}. \end{aligned}$$ By the mapping equation, $C_{\varphi}^{\ast}(L)=\Phi$, and hence we get $$\Vert C_{\varphi}^{\ast}(L) \Vert\geq \rho_p\, M_{S}^{-1} \inf_{1\leq j\leq n} \left(\frac{\zeta(2 {\operatorname{Re}}s_j)}{\zeta(2 {\operatorname{Re}}s'_j)}\right)^{1/p} \,\Vert \Lambda\Vert_2.$$ Using , we finally obtain $$\Vert C_{\varphi}^{\ast}(L)\Vert\geq \rho_p n^{-(1/2-1/p)}\, M_{S}^{-1}  \Vert \mu_{S'}\Vert_{\mathcal {C},{{{\mathscr{H}}^p}}}^{-1/p} \inf_{1\leq j\leq n} \left(\frac{\zeta(2 {\operatorname{Re}}s_j)}{\zeta(2 {\operatorname{Re}}s'_j)}\right)^{1/p}.$$ This implies the desired result since $b_{n}(C_{\varphi}^{\ast})\ge \inf_{L\in S_E} \Vert C_{\varphi}^{\ast}(L)\Vert$.

Case 2: $1\leq p< 2$ {#case-2-1leq-p-2 .unnumbered}
--------------------

We follow word for word the same route, with Hölder instead of Cauchy–Schwarz and $({{{\mathscr{H}}^p}})^{\ast}$ of cotype $q$ (see Lemma \[type\]). In the special case $p=1$, we have $q=\infty$, but then (\[andnext\]) implies $$\sup_{1\leq j\leq n}|\lambda_j| \Vert \delta_{s_j}\Vert\leq M_S \Vert \sum_{j} \lambda_j \delta_{s_j}\Vert$$ so that $$\inf_{1\leq j\leq n}\frac{\Vert \delta_{s_j}\Vert}{\Vert \delta_{s'_j}\Vert}\Vert\, \Lambda\Vert_\infty \leq\sup_{1\leq j\leq n}|\lambda_j| \Vert \delta_{s_j}\Vert\leq M_S  \Vert C_{\varphi}^{\ast}(L)\Vert.$$

We thus obtain for all $1\leq p<2$ the two inequalities $$\begin{aligned}
 1 & \leq & \Vert \Lambda\Vert_q (\Vert\mu_{S'} \Vert_{\mathcal {C},{{{\mathscr{H}}^p}}})^{1/p}, \\
 \Vert C_{\varphi}^{\ast}(L)\Vert\geq \rho_p M_{S}^{-1}\Vert \Lambda\Vert_q  \inf_{1\leq j\leq n}\frac{\Vert \delta_{s_j}\Vert}{\Vert \delta_{s'_j}\Vert} &\geq  &\rho_p M_{S}^{-1}\, \Vert \mu_{S'}\Vert_{\mathcal {C},{{{\mathscr{H}}^p}}}^{-1/p}\, \inf_{1\leq j\leq n} \left(\frac{\zeta(2 {\operatorname{Re}}s_j)}{\zeta(2 {\operatorname{Re}}s'_j)}\right)^{1/p},  \end{aligned}$$ where $\rho_p=(2 T_p({{{\mathscr{H}}^p}}))^{-1}$ for $1<p<2$ and $\rho_1=1$. This takes care of the second case and ends the proof of Theorem \[belowc2\].

We turn to the bound for $a_n(C_{\varphi})$ using ${{\mathscr{H}}^p}$ interpolation.

\[belowc2bis\] Suppose that $\varphi(s)=c_{0}s+\sum_{n=1}^{\infty} c_n n^{-s}$ determines a compact composition operator ${C_{\varphi}}$ on ${{{\mathscr{H}}^p}}$. Let $S=(s_j)$ and $S'=(s'_j)$ be finite sets in ${\mathbb{C}}_{1/2}$, both of of cardinality $n$, such that $\ \varphi(s'_j)=s_j$ for every $j$. Then we have $$\label{pp} a_n({C_{\varphi}})\ge n^{-(1/\min(2,p) -1/p)} [M_{{{{\mathscr{H}}^p}}}(S)]^{-1}\, \|\mu_{S'}\|_{{\mathcal C},{{{\mathscr{H}}^p}}}^{-1/p}\, \inf_{1\leq j\leq n} \Big(\frac{\zeta(2 {\operatorname{Re}}s_j)}{\zeta(2{\operatorname{Re}}s'_j)}\Big)^{1/p}.$$

The proof begins like that of Theorem \[belowc2\], using the Bernstein numbers of the transpose of $C_\varphi:{{\mathscr{H}}^p}\to {{\mathscr{H}}^p}$. We have once again $$\label{andonebis}1\leq n^{1/\min(2,p)-1/p}\,\Vert \Lambda\Vert_2 (\Vert\mu_{S'} \Vert_{\mathcal {C},{{{\mathscr{H}}^p}}})^{1/p}.$$

From now on, we no longer appeal to cotype and ${{{\mathscr{H}}^\infty}}$ interpolation, but to ${{{\mathscr{H}}^p}}$ interpolation and a Boas-type lower bound, namely $$\Big\Vert \sum_{j} \lambda_j\delta_{s_j}\Big\Vert\geq \big[M_{\mathscr{H}^p}(S)\big]^{-1}\big(\sum_{j}|\lambda_j|^q\,\Vert \delta_{s_j}\Vert^{q} \big)^{1/q}\geq\big[M_{\mathscr{H}^p}(S)\big]^{-1}\Vert\Lambda\Vert_2.$$ Here the latter inequality holds since $q\leq 2$ and therefore $\Vert\Lambda \Vert_{\ell^q}\geq \Vert\Lambda \Vert_{\ell^2} $. The first inequality is proved by duality as follows. Write $$\big(\sum_{j} |\lambda_j|^q\Vert \delta_{s_j}\Vert^{q}\big)^{1/q}=\sum_{j} c_j\lambda_j\Vert \delta_{s_j}\Vert, \quad \text{where}\quad \sum_{j}|c_j|^p=1.$$ Observe that $\sum_{j}\big(|c_j| \Vert \delta_{s_j}\Vert\big)^{p}\Vert \delta_{s_j}\Vert^{-p}=1$ so that $c_j\Vert \delta_{s_j}\Vert=f(s_j)$ for some $f\in {{{\mathscr{H}}^p}}$ with norm $\leq M_{\mathscr{H}^p}(S)$. We finally get $$\big(\sum_{j} |\lambda_j|^q\Vert \delta_{s_j}\Vert^{q}\big)^{1/q}=\sum_{j} \lambda_j\, f(s_j)=\Phi(f) \leq \Vert f\Vert_{{{{\mathscr{H}}^p}}}\|\Phi\| \leq  M_{\mathscr{H}^p}(S)\Big\Vert \sum_{j} \lambda_j\delta_{s_j}\Big\Vert.$$ Using and the bound $\|\Phi\|\ge [M_{\mathscr{H}^p}(S)]^{-1}\Vert\Lambda\Vert_2$, we conclude the proof in the same way as we did in the proof of Theorem \[belowc2\].

The difficulty in applying Theorems \[belowc2\] or \[belowc2bis\] is that it is in general difficult to get good estimates for $M_{{{{\mathscr{H}}^\infty}}}(S)$, $M_{{{{\mathscr{H}}^p}}}(S)$ or $\Vert \mu_{S}\Vert_{\mathcal{C}, {{{\mathscr{H}}^p}}}$. We will later see some special cases in which this is in fact possible.

Proof of the bounds in Theorem \[General\] {#proofbounds}
==========================================

Part (a) {#part-a .unnumbered}
--------

We present two proofs: a sketchy one, based on the spectral properties of $C_\varphi$, and a detailed one, based on Theorem \[belowc2\], illustrating the utility of ${{\mathscr{H}}^\infty}$ interpolation.

The first approach uses the spectrum $\sigma(C_\varphi)$ of $C_\varphi$ on ${{\mathscr{H}}^p}$ described in Theorem \[fred\]: $$\label{spec} \sigma(C_\varphi)=\{0\}\cup\Big\{[\varphi'(\alpha)]^k,\ k=0,1,\ldots\Big\}.$$ We can moreover assume that $r_0=|\varphi'(\alpha)|>0$, as in Lemma 6.1 of [@QS1]. Finally, , Theorem \[multi\], and a tauberian argument show that $$a_{n}(C_\varphi)\gg r_{0}^{8n}.$$

The second approach goes as follows. Let $\Delta$ be an open disc whose closure is contained in ${\mathbb{C}}_{1/2}$. Clearly $\varphi(\Delta)$ contains a closed disc $\overline{D}(a,r):=\{s: \ |s-a|\le r\}$ with $0<r<1$. Set $$S=\{s_j:=a+r\omega^j : 1\leq j\leq n\},\hbox{\ where}\ \omega=e^{2i\pi/n},$$ and let $S'=\{s'_j\}$ be a set of $n$ distinct points from $\Delta$ such that $$\varphi(s'_j)=s_j,\quad 1\leq j\leq n.$$ We introduce the associated Blaschke product $$B(s):=\prod_{1\leq j\leq n}\frac{s-s_j}{s+\overline{s_j}-1}=\frac{(s-a)^n -r^n}{(s+\overline{a}-1)^n -r^n}$$ and find, by an elementary computation, that the uniform separation constant $$\delta(S)=\inf_{1\leq j\leq n} (2\sigma_j-1)|B'(s_j)|$$ of $S$ verifies $$\label{dunil}\delta(S)\gg r^n.$$ It is known that $M_{H^\infty}(S)\le (2e+4e|\log \delta(S)|)/\delta(S)$ [@Ko p. 268], where $M_{H^\infty}(S)$ denotes the constant of interpolation for the space $H^{\infty}({\mathbb{C}}_{0})$ of bounded, analytic functions on ${\mathbb{C}}_0$.

After having made this choice of $S$ and $S'$, we now estimate each of the three terms appearing on the right-hand side of of Theorem \[belowc2\] with help of Theorem \[krisei\]. We first claim that $$\label{etun} M_{{{{\mathscr{H}}^\infty}}}(S)\ll r^{-(\gamma+\varepsilon)n}$$ for every $\varepsilon>0$. Indeed, it follows from (\[dunil\]) and the relations between interpolation and uniform separation constants that $M_{H^\infty}(S)\ll [1/\delta(S)]^{1+\varepsilon}\ll r^{-(1+\varepsilon)n}$, and then gives the result. We find next that $$\label{etdeux} \Vert \mu_{S'}\Vert_{\mathcal{C},{{{\mathscr{H}}^p}}}\ll n.$$ This is a consequence of Lemma \[firstlem\] since $S'=(s'_j)$ is uniformly bounded and lies far from the boundary ${\operatorname{Re}}s=1/2$. Finally, we observe that $$\label{ettrois}\inf_{1\leq j\leq n}\frac{\Vert \delta_{s_j}\Vert}{\Vert \delta_{s'_j}\Vert}\gg 1.$$ This is immediate since $\Vert \delta_{s_j}\Vert\geq 1$ and $\Vert \delta_{s'_j}\Vert=O(1)$ as $S'$ remains far from the boundary when $n$ increases. Now part (a) of Theorem \[General\] follows from Theorem \[belowc2\] if we put together , , and ; taking into account the factors $n$ and $n^{-(1/2-1/p)}$, we observe that we may choose $\delta=r^{\gamma+\varepsilon}$ for an arbitrary $\varepsilon>0$.

Part (b): $c_0=1$ {#part-bc_01 .unnumbered}
-----------------

We first prove by applying Theorem \[four\] with $r=1/({\operatorname{Re}}c_1)$. By Theorem \[fred\], the left-hand side of is infinite. It follows that the right-hand side is infinite as well, whence the result follows. Our proof of given above does not lead to a pointwise estimate of $a_{n}(C_\varphi)=:a_n$. To achieve this, we use with $N$ in place of $n$, where $N>2n$ is an integer to be chosen later. We set $\gamma_1={\operatorname{Re}}c_1$ and use that $\lambda_{j}(C_\varphi)=j^{-c_1}$ to obtain $$2^{-\gamma_1}\,N^{-\gamma_1}=(2N)^{-\gamma_1}\leq e\,\big(a_{1}\cdots a_{N}\big)^{1/N}\leq e\,\big(a_{1}^n\,a_{n}^{(N-n)}\big)^{1/N}= e\,a_{1}^{n/N}a_{n}^{(N-n)/N}.$$ This implies that $$a_n\geq 2^{-\gamma_{1}N/(N-n)}\, e^{-N/(N-n)}a_{1}^{-n/(N-n)}N^{-\gamma_{1}N/(N-n)}\gg  N^{-\gamma_{1}N/(N-n)},$$ which we now write as $$a_n \gg N^{-\gamma_{1}}\,N^{-\gamma_{1}n/(N-n)}=N^{-\gamma_{1}}\,e^{-\gamma_{1}n\log N/(N-n)}.$$ Choosing $N$ as the integer part of $n\log n+2$ and noting that $\frac{n\log N}{N-n}\to 1$, we finally get $$a_n\gg (n\log n)^{-\gamma_1}$$ as claimed.

It may be observed that the latter argument gives an alternate proof of .

Part (c): $c_0\geq 2$ {#part-cc_0geq-2 .unnumbered}
---------------------

In this case, the spectrum is reduced to $\{0,1\}$ (see Subsection \[Bayarts\]), so that the previous proof does not work. We will proceed differently and use Bernstein numbers and a properly chosen $n$-dimensional space $E$. This new argument will in fact work also when $c_0=1$ and give an alternate proof for that case.

Our proof is based on the following lemma which exploits the fact that the collection of linear functions constitute an infinite-dimensional subspace of $H^p({\mathbb{T}}^\infty)$. In what follows, we let $\Omega(N)$ denote the number of prime factors in $N$ counted with their multiplicity, and we let $P_{c_0}$ denote orthogonal projection from ${{\mathscr{H}}^2}$ onto its subspace generated by the basis vectors $N^{-s}$ with $\Omega(N)= c_0$.

\[choice\] Fix an integer $n\geq 1$. Suppose that $\varphi(s)=c_{0}s+\sum_{j=1}^\infty c_j j^{-s}$ is in ${\mathscr{G}}$ with $c_0\geq 1$. Let $E$ be the $n$-dimensional subspace of ${{\mathscr{H}}^p}$ spanned by the unit vectors $p_{1}^{-s}, p_{2}^{-s},\ldots, p_{n}^{-s}$. Then for every $f(s)=\sum_{k=1}^n b_k p_{k}^{-s}$ in $E$, we have $$\label{projection}P_{c_0}C_{\varphi} f(s)=\sum_{k=1}^n b_k p_{k}^{-c_1} (p_{k}^{c_0})^{-s} \quad \text{and} \quad \Vert P_{c_0} C_{\varphi} f \Vert_{{{\mathscr{H}}^p}}\leq \Vert C_{\varphi} f\Vert_{{{\mathscr{H}}^p}}.$$

We know from [@GORHED] that the following formal computation is allowed to determine the Dirichlet coefficients of $C_{\varphi}(p_{k}^{-s}), 1\leq k\leq n$: $$C_{\varphi}(p_{k}^{-s})=p_{k}^{-c_0 s} p_{k}^{-c_1}\prod_{j=2}^\infty (1+\sum_{l=1}^\infty \frac{(-c_j \log p_k)^l}{l!}j^{-ls})=:p_{k}^{-c_0 s} p_{k}^{-c_1}(1+\sum_{m\geq 2} \alpha_{k,m} m^{-s}),$$ so that $P_{c_0} C_{\varphi}f$ can be expressed as stated in . For the norm estimate, using the Bohr lift, we note that for $h(s)=\sum_{N=1}^{\infty} \beta_N N^{-s}$, the formula $$Q(h)(s)=(1/2\pi)\int_{0}^{2\pi} \left(\sum_{N=1}^\infty \beta_N\, e^{i \Omega(N) \theta}N^{-s}\right)  e^{-ic_0 \theta} d\theta$$ defines a norm-one projection from ${{\mathscr{H}}^p}$ to its subspace generated by the vectors $N^{-s}$ with $\Omega(N)=c_0$. But this means that $$\Vert P_{c_0} C_{\varphi} f  \Vert_{{{\mathscr{H}}^p}}=\Vert Q C_{\varphi} f  \Vert_{{{\mathscr{H}}^p}} \leq \| C_\varphi f\|_{{{\mathscr{H}}^p}},$$ which gives the second part of .

We are now ready to prove part (c) of Theorem \[General\]. Choose $E$ as in Lemma \[choice\] and let $f$ be a vector in the unit sphere of $E$. By Lemma \[choice\] and the Bohr lift , we get $$\Vert C_{\varphi}(f)\Vert_{{{\mathscr{H}}^p}}  \geq  \big\Vert P_{c_0} C_{\varphi} f \big\Vert_{{{\mathscr{H}}^p}}\ge \big\Vert \sum_{k=1}^n c_k p_{k}^{-c_1}z_{k}^{c_0}\big\Vert_{H^{p}({\mathbb{T}}^\infty)}=\big\Vert \sum_{k=1}^n c_k p_{k}^{-c_1}z_{k}\big\Vert_{H^{p}({\mathbb{T}}^\infty)},$$ where we for the last relation used the invariance of the Haar measure $m_\infty$ of ${\mathbb{T}}^\infty$ under the transformation $(z_j)\mapsto (z_{j}^{c_0})$. Applying the Khintchin inequality for the Steinhaus variables $z_j$ twice, we get $$\begin{aligned}
 \Vert C_{\varphi}(f)\Vert_{{{\mathscr{H}}^p}} & \gg & \big\Vert \sum_{k=1}^n c_k p_{k}^{-c_1}z_{k}\big\Vert_{H^{2}({\mathbb{T}}^\infty)} 
\ge p_{n}^{-{\operatorname{Re}}c_1}\big\Vert \sum_{k=1}^n c_k z_{k}\big\Vert_{H^{2}({\mathbb{T}}^\infty)} \\ 
& \gg & p_{n}^{-{\operatorname{Re}}c_1}\big\Vert \sum_{k=1}^n c_k z_{k}\big\Vert_{H^{p}({\mathbb{T}}^\infty)}=p_n^{-{\operatorname{Re}}c_1}\| f\|_{{{\mathscr{H}}^p}}. \end{aligned}$$ It follows that $$a_{n}(C_\varphi){\geq} b_{n}(C_\varphi)\gg p_n^{-{\operatorname{Re}}c_1}.$$ By the Tchebycheff form of the prime number theorem, $p_n\ll n\log n$, and so the desired estimate follows.

Optimality of the bounds in Theorem \[General\] {#optimality}
===============================================

The bounds (a), (b), (c) of Theorem \[General\] are optimal in view of the following theorem.

\[optimal\] Suppose that $c_0$ is a nonnegative integer and that $\varphi(s)=c_0 s+\sum_{n=1}^\infty c_n n^{-s}$ generates a bounded composition operator $C_{\varphi}$ on ${{{\mathscr{H}}^p}}$ for some $1\leq p<\infty$.

-   If $c_0=0$ and $\Omega:=\overline{\varphi({\mathbb{C}}_0)}\subset {\mathbb{C}}_{1/2}$ is compact, then $a_n(C_{\varphi})\ll \delta^n$ for some $0<\delta<1$.

-   If $c_0\geq 1$, and if $\varphi({\mathbb{C}}_0)\subset {\mathbb{C}}_A$ for some $A>0$, then $a_n(C_{\varphi})\ll n^{-A}$ if $p>1$ and $a_n(C_{\varphi})\ll (\log n) n^{-A}$ if $p=1$.

We split the proof into three parts.

Part (a) {#part-a-1 .unnumbered}
--------

We recall that the $n$th Gelfand number $c_{n}(C_\varphi)$ of an operator $T$ on ${{\mathscr{H}}^p}$ is $$c_{n}(T)=\inf_{E} \Vert T|_{E}\Vert,$$ where $E$ runs over all subspaces of $\mathcal{H}^p$ of codimension $<n$. Let $E_0$ be the subspace of $\mathcal{H}^p$ defined by $$E_0=\{f\in {{{\mathscr{H}}^p}} : f(s_0)=f'(s_0)=\cdots= f^{(n-1)}(s_0)=0\},$$ where ${\operatorname{Re}}s_0\geq \theta$ and $\theta=\inf_{s\in \Omega} {\operatorname{Re}}s>1/2$. This is a subspace of codimension $<n+1$. We will first prove that $$\label{firstprove}\Vert C_\varphi |_{ E_0}\Vert^{p}\leq \sup_{s\in \Omega}\big\vert B(s)\vert^{p}\zeta(1/2+\theta),$$ where $B$ is the “adapted" Blaschke product $$B(s)=\left(\frac{s-s_0}{s-(1/2+\theta)+\overline{s_0}}\right)^n$$ which is of modulus $1$ on the vertical line ${\operatorname{Re}}s=1/4+\theta/2$. We set $$r:=\sup_{s\in {\mathbb{C}}_\theta} \Big\vert \frac{s-s_1}{s+\overline{s_1}-1}\Big\vert<1$$ and $M:=\sup_{s\in \Omega}|B(s)|=r^{n-1}$.

We now choose an arbitrary $f$ in $ E_0$. This $f$ can be written $f=Bh$ with $h$ having the same supremum as $f$ on the vertical line ${\operatorname{Re}}s=1/4+\theta/2$. Using the maximum principle, we observe that $$\begin{aligned}
 \sup_{s\in \Omega}\vert f(s)\vert^p\leq \sup_{s\in \Omega}\vert B(s)\vert^p\, \sup_{s\in \Omega}\vert h(s)\vert^p & = &M^p\,\sup_{s\in \partial\Omega}\vert h(s)\vert^p=M^p\,\sup_{s\in \partial\Omega}\vert f(s)\vert^p\\ & \leq & M^p\,\zeta(1/2+\theta)\Vert f\Vert^p.\end{aligned}$$ We use the pullback measure $\mu_{\varphi}$ defined by and the set $\Omega:=\overline{\varphi({\mathbb{C}}_0)}$. Using the lifting identity of Theorem \[blift\], we then get $$\Vert C_{\varphi}(f)\Vert_{{{{\mathscr{H}}^p}}}^{p}=\int_{{\mathbb{T}}^\infty} \vert f(\Phi^{\ast}(z))\vert^{p}dm_{\infty}(z)=\int_{\Omega} \vert f\vert^{p}d\mu_{\varphi}.$$ We infer from this that $$\begin{aligned}
 \Vert C_{\varphi}(f)\Vert_{{{\mathscr{H}}^p}}^p &=& \int_{{\mathbb{T}}^\infty} \vert f(\Phi^{\ast}(z))\vert^{p}dm_{\infty}(z )= \int_{\Phi^{\ast}(z)\in\Omega}\vert f(\Phi^{\ast}(z))\vert^{p}dm_{\infty}(z) \\ & \leq & \Big[M^p\,\zeta(1/2+\theta)\Big]\Vert f\Vert_{{{{\mathscr{H}}^p}}}^{p}, \end{aligned}$$ which gives . It follows that $$[c_{n}(C_\varphi)]^p\leq \Vert C_\varphi\vert E_0\Vert^{p}\leq \Big[M^p\,\zeta(1/2+\theta)\Big]^{1/p}.$$ Inequality , which states that $a_{n}(C_\varphi)\leq 2\sqrt n\, c_{n}(C_\varphi)$, finally gives $$a_{n}(C_\varphi)\leq 2\sqrt n\,r^{n-1}[\zeta(1/2+\theta)]^{1/p}.$$

Part (b), p&gt;1 {#part-b-p1 .unnumbered}
----------------

We consider first the special case in which $\varphi(s)=s+A$ and $A>0$. This function is seen to belong to $ {\mathscr{G}}$. For a given integer $n\geq 2$, let $R$ the $(n-1)$-rank operator defined by $$Rf:=\sum_{j=1}^{n-1}j^{-A} x_j e_j,$$ where $f=\sum_{j=1}^{\infty} x_j e_j$. It follows that $C_{\varphi}f=\sum_{j=1}^{\infty}j^{-A} x_j e_j$ and that $$(C_\varphi -R)f=\sum_{j\geq n} j^{-A}x_j\, e_j.$$ Now the contraction principle with $\lambda_j=j^{-A}$ gives $$a_{n}(C_\varphi)\leq\Vert C_\varphi-R\Vert\leq 2Cn^{-A},$$ which settles our special case.

In the general case, we write $\varphi=T_A\circ\varphi_A$, where $$\varphi_{A}(s)=\varphi(s)-A \hbox{\quad and}\quad T_{A}(s)=s+A.$$ Since $\varphi_{A}({\mathbb{C}}_0)\subset {\mathbb{C}}_0$, we see from Theorem \[FRED\] that $C_{\varphi_A}$ maps ${{{\mathscr{H}}^p}}$ into itself. Now the semi-group property and the ideal property of approximation numbers (see Subsection \[sn\]), as well as the previous special case, give $$a_{n}(C_\varphi)=a_{n}(C_{\varphi _{A}}\circ C_{T_A})\leq \Vert C_{\varphi_A}\Vert a_{n}(C_{T_A})\ll n^{-A}.$$

Part (b), p=1 {#part-b-p1-1 .unnumbered}
-------------

It is easy to conclude from Lemma \[parsum\]. Indeed, repeating the proof of the contraction principle for Schauder bases (Lemma \[contract\]) and using that $$\sum_{j\geq n}\frac{\log j}{j^{A+1}}\ll \frac{\log n}{n^{A}},$$ we obtain $$\Big\Vert \sum_{j\geq n}j^{-A}x_j e_j\Big\Vert_1\ll \frac{\log n}{n^{A}}\Big\Vert \sum_{j\geq1} x_j e_j\Big\Vert_1.$$ We get $a_{n}(C_{T_A})\ll  (\log n)/n^{A}$ for $T_{A}(s)=s+A$ and conclude as before in the general case ${\operatorname{Re}}\varphi(s)>A$.

A transference principle {#transfer}
========================

In [@QS1], we found a recipe for transferring a general composition operator on $H^{2}({\mathbb{D}})$ to a composition operator on ${{\mathscr{H}}^2}$. The point was that, under this transference, decay rates for approximation numbers are preserved or at least not perturbed severely. The same transference makes sense in the ${{\mathscr{H}}^p}$ setting, but we succeed only partially in getting similarly precise results as in [@QS1]. We will now present this state of affairs and briefly describe the two basic problems that prevent us from proceeding further.

We begin by describing the recipe from [@QS1]. Given $1\le p<\infty$, we let $T$ be some conformal map from ${\mathbb{D}}$ into ${\mathbb{C}}_{1/2}$, which we will assume has the property that the operator $C_T$ is bounded from ${{\mathscr{H}}^p}$ to $H^p({\mathbb{D}})$. We introduce the function $$I(s):=2^{-s}$$ which we view as an analytic map from ${\mathbb{C}}_{0}$ onto ${\mathbb{D}}\backslash\{0\}$. If $\omega$ is an analytic self-map of ${\mathbb{D}}$, then we define an analytic map $\varphi:{\mathbb{C}}_0\to {\mathbb{C}}_{1/2}$ by the formula $ \varphi:=T\circ \omega\circ I$, which implies $C_\varphi=C_I\circ C_\omega\circ C_T$. The Dirichlet series $\varphi$ is then the symbol of a bounded composition operator $C_{\varphi}$ on ${{{\mathscr{H}}^p}}$ with $c_0=0$.

A natural choice is to set $T=T_0$, where $$T_0(z):=\frac{1}{2}+\frac{1-z}{1+z},$$ so that $T$ maps ${\mathbb{D}}$ onto ${\mathbb{C}}_{1/2}$. Unfortunately, this forces us to require $p$ to be even integer. This constraint comes, as in Theorem \[FRED\], from the local embedding $$\label{lokal}\sup_{a\in \mathbb{R}}\,\int_{a}^{a+1}|f(1/2+it)|^p\,dt\leq C \Vert f\Vert_{{{{\mathscr{H}}^p}}}^{p},$$ which is only known to hold when $p$ is an even integer. This result relies on a well-known inequality in analytic number theory [@M]. See [@SaSe] and also [@OLSA] for a thorough discussion of this inequality and its connections with Carleson measures. Assuming that $f$ is in ${{\mathscr{H}}^p}$ and using , we get that $$\begin{aligned}
 \| f\circ T_0\|_{H^p({\mathbb{D}})}^p &=& \int_{-\pi}^\pi \vert f\big(1/2+i\tan(t/2)\big)\vert^{p}\, \frac{dt}{2\pi}=\int_{-\infty}^\infty \vert f(1/2+ix)\vert^{p}\frac{dx}{\pi(1+x^2)} \\ & = & \sum_{k\in {\mathbb{Z}}}\int_{k}^{k+1} \vert f(1/2+ix)\vert^{p}\frac{dx}{\pi(1+x^2)}\ll \sum_{k\in {\mathbb{Z}}} \frac{1}{k^2 +1}\Vert f\Vert_{{{{\mathscr{H}}^p}}}^{p}\ll \Vert f\Vert_{{{{\mathscr{H}}^p}}}^{p}.\end{aligned}$$ It follows that the composition operator defined by the formula $C_{T}$ is a bounded operator from ${{{\mathscr{H}}^p}}$ to $H^p({\mathbb{D}})$.

For other values of $p$, we may instead choose, for example, $$T_\varepsilon(z):=\frac{1}{2}+\left(\frac{1-z}{1+z}\right)^{1-\varepsilon}$$ for some $0<\varepsilon<1$. Using the pointwise estimates $|f( \sigma+it)|\le [\zeta(2\sigma)]^{1/p}\|f\|_{{{\mathscr{H}}^p}}$ along with $$2{\operatorname{Re}}T_{\varepsilon}(z)-1\geq (2\sin \pi\,\varepsilon/2)\,\Big\vert \frac{1-z}{1+z}\Big\vert^{1-\varepsilon},$$ we may compute in a similar way as above to get that $$\| f\circ T_\varepsilon\|_{H^p({\mathbb{D}})}^p\ll \int_{-\infty}^\infty \| f \|^{p}_{{{\mathscr{H}}^p}} \max(1,|x|^{\varepsilon-1}) \frac{dx}{(1+x^2)}\ll  \|f\|_{{{\mathscr{H}}^p}}^p.$$

We are prepared to state our first basic estimate for $C_\varphi$.

\[tsfc\] Let $\omega$ be an analytic self-map of ${\mathbb{D}}$. Assume that $1\le  p <\infty$ and that $C_T$ is bounded from $H^p({\mathbb{D}})$ into ${{\mathscr{H}}^p}$, and set $\varphi:=T \circ \omega \circ I$. Then $$a_n({C_{\varphi}}) \le \| C_T \| a_n(C_\omega).$$ In particular, $C_\varphi$ is compact whenever $C_{\omega}$ is compact.

By Theorem \[blift\], the operator $C_I$, defined by setting $C_{I}g(s):=g(I(s))$, is an isometry from $H^{p}({\mathbb{D}})$ into ${{\mathscr{H}}^p}$. We use the ideal property of approximation numbers and their preservation under left multiplication by isometries to conclude that $$a_{n}(C_\varphi)=a_{n}(C_\omega\circ C_T)\leq \Vert C_T\Vert a_{n}(C_\omega).$$ Here $\|C_T\|$ is finite by assumption.

We would like to have a tight bound on $C_\varphi$ from below as well, but this is harder to achieve. We may adapt Theorem \[belowc2bis\] to get the following general bound. Here we use the notation $\mu_Z:=\sum_{j=1}^n (1-|z_j|^2)\,\delta_{z_j}$ for a sequence $Z=(z_j)$ in the unit disc.

\[belowc4\] Let $\omega$ be an analytic self-map of $\ {\mathbb{D}}$ such that $\omega({\mathbb{D}})$ has positive distance to $-1$. Assume that $1\le  p <\infty$ and that $C_T$ is bounded from $H^p({\mathbb{D}})$ into ${{\mathscr{H}}^p}$, and set $\varphi:=T \circ \omega \circ I$ and $\ \Phi=T\circ \omega$, the Bohr lift of $\varphi$. There exists a positive constant $c$ such that if $Z=(z_j)$ is any finite sequence with both $Z$ and $\omega(Z)$ consisting of $n$ distinct points in ${\mathbb{D}}$, then $$a_{n}({C_{\varphi}})\geq  c\,n^{-(1/\min(2,p)-1/p)}\, [M_{{{{\mathscr{H}}^p}}}(\Phi(Z)) ]^{-1} \|\mu_{Z}\|_{{\mathcal C}, H^p({\mathbb{D}})}^{-1/p} \inf_{1\le j\le n} \left(\frac{1-|z_j|^2}{1-|\omega(z_j)|^2}\right)^{1/p}.$$

Since $\Phi$ is bounded and $|1+\omega(z)|\gg1$, we have (e.g. in the case $T=T_0$) $$\zeta(2{\operatorname{Re}}s_j)=\zeta(2 {\operatorname{Re}}\Phi(z_j))\ge \frac{c}{2{\operatorname{Re}}\Phi(z_j)-1}= \frac{c}{2}\frac{ |1+\omega(z_j)|^2}{(1-|\omega(z_j)|^2)}\gg (1-|\omega(z_j)|^2)^{-1}.$$ Using this fact, and following the same reasoning as in the proof of [@QS1 Theorem 9.1], we obtain the result from Theorem \[belowc2bis\].

This result is completely analogous to the bound from below in [@QS1 Theorem 9.1], but at present only of interest when $p=1$ because of which says that $M_{{{\mathscr{H}}^1}}(S)\le [M_{{{\mathscr{H}}^2}}(S)]^2$ for any ${{\mathscr{H}}^2}$ interpolating sequence $S$.

We now have what we need to present our leading example and thus prove Theorem \[example\].

When $\omega$ is a lens map, it is known from [@ROQULI Proposition 6.3] that the approximation numbers decay as $e^{-\sqrt{n}}$ to some positive power. By Theorem \[tsfc\], the same upper bound holds for the decay of $a_n(C_\varphi)$ for the transferred operator[^2] $C_\varphi=C_{T_{\varepsilon}} \circ C_{\omega}\circ C_I $ on ${{\mathscr{H}}^p}$ for all $p\ge 1$. When $p=1$, we can use Theorem \[belowc4\] to arrive at the bound from below. Indeed, if we take $z_j=1-\rho^j$ with $0<\rho<1$ and if $\theta$ denotes the parameter of the lens map $\omega$, then simple estimates, using in particular and Lemma \[secondlem2\], show that $$\begin{aligned}
 \|\mu_{Z}\|_{{\mathcal C}, H^1({\mathbb{D}})} & \ll & 1,\\
M_{{{\mathscr{H}}^1}}(S)& \ll &  [M_{{{\mathscr{H}}^2}}(S)]^2\ll [M_{H^{2}({\mathbb{C}}_{1/2}}(S)]^\alpha\ll e^{b/(1-\rho)}, \\
\inf_{1\leq j\leq n}\left(\frac{1-|z_j|^2}{1-|\omega(z_j)|^2}\right)^{1/p}& \gg & \rho^{n(1-\theta)/p}.\end{aligned}$$ We now optimize the choice of $\rho$ by taking $\rho=1-1/\sqrt n$, and we get the lower bound in Theorem  \[example\] with the help of Theorem \[belowc4\].

We note that for general $p\neq 1,2$, we are not able to get any better result from Theorem \[belowc4\] than the general lower bound in part (a) of Theorem \[General\].

We observe the following limitation of our method when $p$ is not an even integer, and thus in particular also in the case $p=1$. When the approximation numbers of $C_\omega$ decay more slowly than they do when $\omega$ is a lens map, the approximation numbers of $C_{T_{\varepsilon}} \circ C_{\omega}\circ C_I $ will still decay as a power of $e^{-\sqrt{n}}$ because of the map $T_{\varepsilon}$. Substituting $T_{\varepsilon}$ by a map $T$ which enjoys some smoothness at $z=1$, we may remedy this situation to some extent. But it is clear that we are unable to obtain precise results when, for example, $(1-|\omega|)^{-1}$ is non-integrable on ${\mathbb{T}}$.

We conclude that two rather fundamental open problems remain obstacles for extending the utility of our transference principle:

-   Is the embedding inequality valid for a continuous range of $p$, for instance all $1\le p<\infty$?

-   What are the bounded interpolating sequences for ${{\mathscr{H}}^p}$ when $1<p<\infty$, $p\neq 2$, and how can the constant of interpolation $M_{{{\mathscr{H}}^p}}(S)$ be estimated when the sequence $S$ approaches the vertical line ${\operatorname{Re}}s=1/2$?

These questions await further investigation.

Acknowledgement {#acknowledgement .unnumbered}
===============

The authors are grateful to Eero Saksman for kindly allowing them to include in this paper his unpublished vertical convolution formula and the alternate proof of Lemma \[parsum\].

[BRSHZE]{}

A. Aleman, J. F. Olsen, and E. Saksman, *Fourier multipliers for Hardy spaces of Dirichlet series*, Int. Math. Res. Not. IMRN, to appear; doi: 10.1093/imrn/rnt080.

F. Bayart, *Hardy spaces of Dirichlet series and their composition operators*, Monatsh. Math. **136** (2002), 203–236.

F. Bayart, *Compact composition operators on a Hilbert of Dirichlet series*, Illinois. J. Math. **47** (2003), 725–743.

B. Berndtsson, S.-Y. Chang, and K.-C. Lin, *Interpolating sequences in the polydisc*, Trans. Amer. Math. Soc. **302** (1987), 161–169.

H. Bohr, *Über die gleichmässige Konvergenz Dirichletscher Reihen*, J. Reine Angew. Math. **143** (1912), 203–211. B. Carl and I. Stephani, *Entropy, Compactness and the Approximation of Operators*, Cambridge Tracts in Mathematics **98**, Cambridge University Press, Cambridge, 1990.

B. Cole, T. W. Gamelin, *Representing measures and Hardy spaces of the infinite polydisk algebra*, Proc. London Math. Soc. **53** (1986), 112–142.

J. Diestel, H. Jarchow, and A. Tonge, *Absolutely Summing Operators*, Cambridge Studies in Advanced Mathematics **43**, Cambridge University Press, Cambridge, 1994.

S. E. Ebenstein, *Some $H^p$- spaces which are uncomplemented in $L^p$*, Pacific. J. Math. **43** (1972), 327–339.

J. Gordon and H. Hedenmalm, *The composition operators on the space of Dirichlet series with square-summable coefficients*, Michigan Math. J. **46** (1999), 313–329.

H. Hedenmalm, P. Lindqvist, and K. Seip, *A Hilbert space of Dirichlet series and systems of dilated functions in $L^2(0,1)$*, Duke Math. J. **86** (1997), 1–37.

H. Helson, *Conjugate series and a theorem of Paley*, Pacific. J. Math. **8** (1958), 437–448.

H. Helson, *Hankel forms and random variables*, Studia Math. **176** (1) (2006), 85–92.

W. B. Johnson, H. König, B. Maurey, and J. R. Retherford, *Eigenvalues of p-summing and $\ell_p$-type operators in Banach spaces*, J. Funct. Anal. **32** (1979), 353–380.

P. Koosis, *Introduction to $H_p$ spaces*, 2nd ed., Cambridge Tracts in Mathematics **115**, Cambridge University Press, Cambridge, 1998, with two appendices by V. P. Havin.

D. Li, H. Queffélec, *Introduction à l’étude des espaces de Banach. Analyse et Probabilités* in: Cours spécialisés, vol.12, Société Mathématique de France, Paris 2004.

D. Li, H. Queffélec, and L. Rodriguez-Piazza, *On approximation numbers of composition operators*, J. Approx. Theory **164** (2012), 431–459.

B. Maurey and G. Pisier, *Séries de variables aléatoires vectorielles indépendantes et propriétés géométriques des espaces de Banach*, Studia Math. **58** (1976), 45–90.

H. L. Montgomery and R. C. Vaughan, *Hilbert’s inequality*, J. London Math. Soc. **8** (1974), 73–82.

J. F. Olsen, *Local properties of Hilbert spaces of Dirichlet series*, J. Funct. Anal. **261** (2011), 2669-2696.

J. F. Olsen and E. Saksman, *On the boundary behaviour of the Hardy space of Dirichlet series and a frame bound estimate*, J. Reine Angew. Math. **663** (2012), 33-66.

A. Pietsch, *$s$-numbers of operators in Banach spaces*, Studia Math. **51** (1974), 201–223.

A. Pietsch, *Weyl numbers and eigenvalues of operators in Banach spaces*, Math. Ann., **247** (1980), 149–168.

A. Pietsch, *Eigenvalues and $s$-numbers* , Cambridge Studies in Advanced Mathematics **13**, Cambridge University Press, Cambridge, 1987. G. Pisier, *Sur les espaces de Banach $K$-convexes*, Séminaire d’Analyse fonctionnelle, Exposé no **11**, Ecole Polytechnique, Palaiseau, 1979–1980.

H. Queffélec and K. Seip, *Approximation numbers of composition operators on the $H^2$ space of Dirichlet series*, arXiv:1302.4117, 2013.

H. Queffélec and K. Seip, *Decay rates for approximation numbers of composition operators*, J. Anal. Math., to appear.

W. Rudin, *Fourier Analysis on Groups*, Interscience Tracts in Pure and Applied mathematics, No.12, John Wiley and Sons, 1962.

E. Saksman, *Private communication*, Centre for Advanced Study, Oslo, 2012.

E. Saksman and K. Seip, *Integral means and boundary limits of Dirichlet series*, Bull London Math. Soc. **41** (2009), 411–422.

K. Seip, *Interpolation by Dirichlet series in ${{{\mathscr{H}}^\infty}}$*, Linear and Complex Analysis, 153–164, Amer. Math. Soc. Transl. (2) **226**, Amer. Math. Soc., Providence RI, 2009.

K. Seip, *Zeros of functions in Hilbert spaces of Dirichlet series*, Math. Z. **274** (2013), 1327–1339.

H. S. Shapiro and A. L. Shields, *On some interpolation problems for analytic functions*, Amer. J. Math. **83** (1961), 513–532.

J. H. Shapiro, *Composition Operators and Classical Function Theory*, Universitext: Tracts in Mathematics, Springer-Verlag, New York, 1993.

S. Yamashita, *Criteria for functions to be of Hardy class $H^p$*, Proc. Amer- Math. Soc. **75** (1979), 69–72.

[^1]: The second author is supported by the Research Council of Norway grant 227768. This paper was initiated during the research program *Operator Related Function Theory and Time-Frequency Analysis* at the Centre for Advanced Study at the Norwegian Academy of Science and Letters in Oslo during 2012–2013.

[^2]: We mention without proof that, for lens maps, the choice $T=T_0$ would work as well.
