Banach algebra structure in Hardy-Carleson type tent spaces and Cesàro-like operators

Let \varphi(z)=\overline{w}z. It is easy to check that \varphi:\mathbb{D} \to \mathbb{D} is analytic. Using Lemma 2.2, if

we obtain

Therefore, by Lemma 2.1,

So, we only need to prove that

Using Lemma 2.3, we get

as desired. Here we used the assumption that \alpha>-1 and t> \frac{1}{p}. The proof is complete.

Using Minkowski’s inequality and Lemma 2.4, for t> \frac{1}{p}, we obtain

The proof is complete.

Let z=re^{i\theta} and s=\rho e^{i\theta}, 0\le \rho \le \frac{r}{2}. Then,

Applying Lemma 3.1, we deduce that

Hence, when 1-\frac{\alpha+2}{p} \neq 0, for any t>0, we obtain

When 1-\frac{\alpha+2}{p}=0, for any t>0, we have

as desired. The proof is complete.

Let f,g\in AT^\infty_p(\alpha). Using (\ref{'}) and Remark 3.2, we get

When 1\le p<\infty, using Lemma 2.1 and Minkowski’s inequality, for any t>0, we obtain

Applying Lemma 3.3, we have

The proof is complete.

Let f\in AT_q^\infty(\beta) and g\in AT_p^\infty(\alpha). Using (\ref{'}) and Remark 3.2, we get

Using Lemma 3.1, we obtain

Therefore, when 1-\frac{\beta+2}{q} \neq 0 and p\left(1-\frac{\beta+2}{q} \right)+\alpha+1>-1, for any t>0, by Lemma 2.1 or Lemma 3.10 in [z1] we have

When 1-\frac{\beta+2}{q}=0, for any t>0, we get

Repeating the steps of the proof of Theorem 3.4, for any t>0, we deduce that

Applying Lemma 3.3, it follows that

First we assume that \mathcal{C}_\mu is bounded on AT_p^\infty(\alpha). For 0<\rho<1, let

After calculation, we see that f_{\rho} \in AT_p^\infty(\alpha) and \sup _{0<\rho<1}\left\|f_{\rho}\right\|_{AT_p^\infty(\alpha)} \lesssim 1. This implies that \mathcal{C}_\mu(f_{\rho}) \in AT_p^\infty(\alpha). Using Lemma 3.1, we have

Then, for \frac{1}{2}<\rho<1,

which implies that \mu([\rho, 1)) \lesssim 1-\rho for all \frac{1}{2}<\rho<1. Hence, \mu is a Carleson measure.

Conversely, assume that \mu is a Carleson measure. Let f\in AT_p^\infty(\alpha). Without loss of generality, we may assume f(0)=0. By Lemma 3.1, we get

Using Lemma 4.5 and Minkowski’s inequality, we obtain

To complete the proof, it suffices to prove

Case p > 1. Using the polar coordinate formula and Lemma 4.3 (i), we get

Using the fact that

we obtain

It is easy to see that 1 - r < 1 - tr, 1 - t < 1 - tr and |1-t\overline{b}r^2|\ge 1-t|b|r. Therefore, we can choose a positive real number \epsilon that satisfies

By the choice of \epsilon, it is easy to check that p\epsilon-p> -1 and 2 - (p\epsilon-p) - 1 = 1-p\epsilon+p > 0. Using Lemma 4.4, we get

Since \mu is a Carleson measure, using Lemma 4.1, we have

Subsequently, we focus our efforts on the estimation of J_2.

Let 0 < \delta <1 and 0 < \tau < \frac{1}{p}. We may choose \delta and \tau such that \frac{1}{p} < \delta + \tau < \frac{p+1}{p}. Notice that 1 -r < 1 - |b|r and 1 - |b| < 1 - |b|r. By the choices of \delta and \tau, it is easy to see that p(\delta+\tau)-2> -1 and p-[p(\delta+\tau)-2]-1 = p-p(\delta+\tau)+1> 0. Using Lemma 4.4, it follows that

Since \mu is a Carleson measure, using Lemma 4.1, we get

Therefore,

Case p =1. Using Lemma 4.3 (ii), we have

The estimation of J_3 follows the same procedure as that of J_1 and we obtain

Finally, we estimate J_4. Let 0 < d < \frac{1}{4}. It is obvious that

Since 2d + \frac{1}{2} < 1, we may choose a positive real number \gamma such that 2d + \frac{1}{2} < \gamma < 1. This yields that \gamma-1-2d > -1 and 2-2d - (\gamma-1-2d) - 1 =2-\gamma> 0. Bear in mind that 1 - t < 1 - tr, 1-r<1-tr and 1 - r < 1 - |b|r. Using Lemma 4.4, it follows that

Since \mu is a Carleson measure, using Lemma 4.1 we obtain

Hence,

which implies that \mathcal{C}_\mu is bounded on AT_p^\infty(\alpha). The proof is complete.

First we assume that \mathcal{C}_\mu is compact on AT_p^\infty(\alpha). For \frac{1}{2} < \rho < 1, let

We see that f_\rho \in AT_p^\infty(\alpha) and \sup_{\frac{1}{2} < \rho < 1} \| f_\rho \|_{AT_p^\infty(\alpha)} \lesssim 1. Furthermore, f_\rho\to 0 uniformly on compact subsets of \mathbb{D} as \rho\to 1. Since \mathcal{C}_\mu is compact on AT_p^\infty(\alpha), by virtue of Lemma 4.6, it follows that

Using Lemma 3.1, we have

Thus, for \frac{1}{2}< \rho < 1, by the proof of Theorem 4.7 we have

which implies that

Combining with (Proof), we get that \mu is a vanishing Carleson measure.

Conversely, suppose \mu is a vanishing Carleson measure. Consider a bounded sequence \{f_j\}_{j=1}^\infty in AT_p^\infty(\alpha) that converges uniformly to 0 on every compact subset of \mathbb{D}. We may assume without loss of generality that f_j(0) = 0 for all j \geq 1 and \sup_{j \geq 1} \|f_j\|_{AT_p^\infty(\alpha)} \lesssim 1. Using Lemma 4.6, we need to establish that

Since \mu is a vanishing Carleson measure, for any \epsilon > 0, using Lemma 4.2, we obtain that there exists a \delta \in (0,1) such that

where r>0 and 0 \leq c < 1. Observe that Lemma 4.2 also indicates that \int_0^1 \frac{1}{(1 - t)^c} d\mu(t) < \infty. As a result, there exists a t_0 with 0 < t_0 < 1 for which

Using Lemma 4.5, we get

For H_2, by Theorem 4.7, we obtain that

for some r>0 and 0 \leq c < 1. Furthermore, using (Proof), we get

By virtue of the Cauchy integral theorem, it can be deduced that the sequence \{f_j'\}_{j = 1}^{\infty} converges uniformly to 0 on every compact subset of \mathbb{D}. Hence,

Similar to the proof of Theorem 4.7, we can also show that

for some r>0 and 0 \leq c < 1. By (Proof), we deduce that

Therefore,

The proof is complete.