Atomic decomposition of Bergman-Orlicz space on the upper complex half-plane

Extracted source text · arXiv 2503.23570

\documentclass[a4paper,11pt,intlimits,oneside]{amsart}

\usepackage{amssymb,latexsym,amsmath,mathrsfs}
\usepackage{amsfonts,amsbsy,bm}
\usepackage{color}
\usepackage[margin=1.5cm]{geometry}
%\usepackage{showkeys}
\def\pf{\proof}
\def\bpf{\pf}


\def\O{\Omega}
\def\V{\mathcal V}
\def\S{\Sigma}
\def\o{\omega}
\def\la{\lambda}
\def\La{\Lambda}
\def\sa{\sigma}
\def\Sa{\Sigma}
\def\a{\alpha}
\def\da{\delta}
\def\Da{\Delta}
\def\ga{\gamma}
\def\Ga{\Gamma}
\def\eps{\epsilon}
\def\veps{\varepsilon}
\def\ba{\beta}
\def\vphi{\varphi}


\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage{amsthm,amscd}

\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{example}[theorem]{Example}



\theoremstyle{definition}
\newcommand{\comment}[1]{}

\numberwithin{equation}{section}
\newcommand{\bC}{{\mathbb C}}
\newcommand{\bN}{{\mathbb N}}
\newcommand{\bR}{{\mathbb R}}
\newcommand{\bT}{{\mathbb T}}
\newcommand{\bZ}{{\mathbb Z}}
\newcommand{\bS}{{\mathbb S}}
\newcommand{\bB}{{\mathbb B}}
\newcommand{\bD}{{\mathscr D}}

\def\pf{\proof}
\def\bpf{\pf}
\newcommand{\epf}{ $\Box$\medskip}
\def\A{{\mathcal A}}
\def\C{{\mathcal C}}
\def\H{{\mathcal H}}
\def\K{{\mathcal K}}
\def\O{{\mathcal O}}
\def\P{{\mathcal P}}

\def\N{{\mathfrak N}}
\def\h{{\mathfrak h}}
\def\a{{\mathfrak a}}
\def\b{{\mathfrak b}}

\def\M{{\mathcal M}}
\def\S{{\mathcal S}}

\def\m{\textbf{m}}
\def\supp{{\rm supp}}

\def\lsim{\raisebox{-1ex}{$~\stackrel{\textstyle <}{\sim}~$}}
\def\gsim{\raisebox{-1ex}{$~\stackrel{\textstyle >}{\sim}~$}}
\theoremstyle{definition}



\begin{document}
\title[J.M. Tanoh Dje and Beno\^it. F.  Sehba]{Atomic decomposition of Bergman-Orlicz space on the upper complex half-plane}
\author[J.M. Tanoh Dje and Beno\^it. F.  Sehba]{Jean$-$Marcel Tanoh Dje and Beno\^it F. Sehba}
\address{Unit\'e de Recherche et d'Expertise Num\'erique, Universit\'e Virtuelle de C\^ote d'Ivoire, Cocody II-Plateaux - 28 BP 536 ABIDJAN 28}
\email{{\tt tanoh.dje@uvci.edu.ci}}
\address{Department of Mathematics, University of Ghana,  P.O. Box L.G 62 Legon, Accra, Ghana.}
\email{{\tt bfsehba@ug.edu.gh}}




\subjclass{}
\keywords{}

\date{}

\begin{abstract}
In this work, we propose an atomic decomposition of the Bergman-Orlicz spaces on the complex upper half-plane. Using this result, we characterize Carleson embeddings with loss between Bergman-Orlicz spaces and certain Orlicz spaces. We also leverage this last result to control the composition operator between two Bergman-Orlicz spaces.
\end{abstract}

\maketitle


\section{Introduction and results.}

In this paper, a function $\Phi : [0,\infty) \rightarrow [0,\infty)$ is called an growth function if it is nondecreasing, $\lim_{t \to 0} \Phi(t) =\Phi(0)= 0$, $\Phi(t) > 0$
for $t \in (0,\infty)$ and $\lim_{t \to \infty} \Phi(t) = \infty$.  The growth function  $\Phi$ is said to be of upper type (resp. lower type) if there exists  $p \in (0,\infty)$ and a constant $C>1$ such that for all $t \in  [1,\infty)$ (resp. $t \in  [0,1]$) and $s \in  [0,\infty)$,
\begin{equation}\label{eq:sui8n}
\Phi(st)\leq Ct^{p}\Phi(s).\end{equation}
We denote by $\mathscr{U}^{p}$ (resp. $\mathscr{L}_{p}$) the set of all growth functions of upper-type $p \geq 1$ (resp. lower-type $0< p\leq 1$) such that the function 
$t\mapsto \frac{\Phi(t)}{t}$ is non decreasing (resp. non-increasing) on $(0,\infty)$. We put
$   \mathscr{U}:=\bigcup_{p\geq 1}\mathscr{U}^{p}$ (resp. $\mathscr{L}:=\bigcup_{0< p\leq 1}\mathscr{L}_{p}$).

\medskip

Let  $\Phi$ be a growth function. We say that  $\Phi$ satisfies the $\Delta_{2}-$condition (or $\Phi \in \Delta_{2}$) if there exists a constant
$K > 1$ such that
\begin{equation}\label{eq:delta2}
\Phi(2t) \leq K \Phi(t),~ \forall~ t > 0.\end{equation}
When $\Phi$ is convex, we say that $\Phi$ satisfies $\nabla_{2}-$condition (or $\Phi \in \nabla_{2}$)  if $\Phi$ and its complementary function both satisfy $\Delta_{2}-$condition. Note that the complementary function of $\Phi$ is the function $\Psi$ defined by
$$ \Psi(s)=\sup_{t\geq 0}\{st-\Phi(t) \}, ~ \forall~  s \geq 0.       $$

\medskip

We say that two growth functions $\Phi_{1}$ and $\Phi_{2}$ are equivalent (or $\Phi_{1} \sim \Phi_{2}$), if there exists a constant $c > 0$ such that
\begin{equation}\label{eq:equivalent}
c^{-1}\Phi_{1}(c^{-1}t) \leq \Phi_{2}(t)\leq c\Phi_{1}(ct), ~~ \forall~ t > 0.\end{equation} 
We will assume in the sequel that  any element $\Phi$ of $\mathscr{U}$ (resp. $\mathscr{L}$) belongs to $\mathscr{C}^{1}([0,\infty))$ and is  
convex (resp. concave),
(see for example \cite{bonamisehba,  djesehb, djesehaqb, sehbaedgc}).

\medskip

Let $(X, \sum, \mu)$ be a measure space and $\Phi$ a  growth function  of lower type. The Orlicz space on  $X$, $L^{\Phi}(X, d\mu)$ is the space of all equivalent
classes (in the usual sense) of measurable functions $f : X \longrightarrow \mathbb{C}$ which satisfy
$$ \|f\|_{L_{\mu}^{\Phi}}^{lux}:=\inf\left\{\lambda>0 : \int_{X}\Phi\left(\dfrac{| f(x)|}{\lambda}\right)d\mu(x) \leq 1  \right\}< \infty. $$
The space  $L^{\Phi}$  generalizes the Lebesgue space $L^{p}$  for $0< p < \infty$  (see \cite{shuchen, kokokrbec, raoren}).

\medskip


Let  $\mathbb{C}_{+}:=\left\{ z=x+iy \in \mathbb{C} :   y > 0 \right\}$ be the upper complex half$-$plane. Let  $\alpha > -1$ be a real and $\Phi$ a  growth function of lower-type. 
\begin{itemize}
\item[\textbullet] The Bergman$-$Orlicz space on  $\mathbb{C_{+}}$, $A_{\alpha}^{\Phi}(\mathbb{C_{+}})$ is the subspace of  $L^{\Phi}(\mathbb{C_{+}}, dV_{\alpha})$ constituted of analytic functions on $\mathbb{C_{+}}$, here $dV_\alpha(z):=(\Im mz)^\alpha dV(z)$, and $dV(z):=dxdy$ if $z=x+iy$. For $F \in A^{\Phi}_{\alpha}(\mathbb{C_{+}})$, we will simply use the notation $\|F\|_{A^{\Phi}_{\alpha}}^{lux}:= \|F\|_{L_{V_{\alpha}}^{\Phi}}^{lux}$.
\item[\textbullet] The Orlicz space of sequences on  $\mathbb{C}_{+}$,  $\ell_{\alpha}^{\Phi}(\mathbb{C}_{+})$ is the space of all sequences of complex numbers   $\mu=\{\mu_{l,j}\}_{l,j\in \mathbb{Z}}$ on  $\mathbb{C_{+}}$ such that 
$$  \|\mu\|_{\ell^{\Phi}_{\alpha}}^{lux}:= \inf\left\{\lambda>0 : \sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\Phi\left(\dfrac{| \mu_{l,j}|}{\lambda}\right)2^{j\gamma (\alpha +2)}  \leq 1  \right\}< \infty   $$
where   $\gamma$ is a real number such that
 \begin{equation}\label{eq:uaa5aqn}
 \frac{\log\left( \frac{1+\delta^{2}/20}{1-\delta^{2}/20}  \right)}{4 \log 2}< \gamma  < \frac{\log\left( \frac{1+\delta^{2}/4}{1-\delta^{2}/4}  \right)}{4 \log 2},
\end{equation}
with   $0<\delta< 1$.
\end{itemize}
The space $A_{\alpha}^{\Phi}(\mathbb{C_{+}})$ (resp. $\ell_{\alpha}^{\Phi}(\mathbb{C_{+}})$) generalizes  the Bergman space $A_{\alpha}^{p}(\mathbb{C_{+}})$ (resp.  sequence space $\ell_{\alpha}^{p}(\mathbb{C_{+}})$), for $0< p < \infty$ that correspond to the case $\Phi(t)=t^p$. Note that for $F$ to be in the Bergman space $A_{\alpha}^{p}(\mathbb{C_{+}})$, we should have that
$$\|F\|_{\alpha,p}:=\left(\int_{\mathbb{C}_+}\vert F(z)\vert^pdV_\alpha(z)\right)^{\frac 1p}<\infty.$$

\medskip

For $0<\delta< 1$, we call $\delta-$lattice, the sequence of complex numbers $\{z_{l,j}\}_{l,j\in \mathbb{Z}}$ defined by   
\begin{equation}\label{eq:ua5n}
z_{l,j}:= \delta^{2}l2^{\gamma j-3}+i2^{\gamma j},~~ \forall~l,j\in \mathbb{Z},
\end{equation}
where $\gamma$ is the real defined in the Relation (\ref{eq:uaa5aqn}). More on this sequence will be said in Section 3 (see also \cite{gonessa}).
\vskip .2cm
Our result on the atomic decomposition of the Bergman-Orlicz spaces is as follows.

\begin{theorem}\label{pro:mainqaaq6}
Let $\alpha>-1$,  $0<\delta<1$ and  $\Phi \in \mathscr{U} \cap \nabla_{2}$. The following assertions are satisfied.
\begin{itemize}
\item[i)] For   $\mu:=\{\mu_{l,j}\}_{l,j\in \mathbb{Z}} \in \ell^{\Phi}_{\alpha}(\mathbb{C_{+}})$, the function defined by
$$  F_{\mu}(z) =c_{\alpha}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\mu_{l,j}\left(  \frac{z-\overline{z_{l,j}}}{i} \right)^{-\alpha-2}2^{j\gamma (\alpha +2)},~~ \forall~z \in \mathbb{C}_{+},
   $$
belongs to  $A_{\alpha}^{\Phi}(\mathbb{C}_{+})$, where $c_{\alpha}$ is a constant which depends only on $\alpha$. Moreover,  there exists a constant $C_{1}:= C_{\Phi,\delta,\alpha}>0$ such that  
\begin{equation}\label{eq:ineagay}
\|F_{\mu}\|_{A^{\Phi}_{\alpha}}^{lux}\leq C_{1} \left\|\mu\right\|_{\ell^{\Phi}_{\alpha}}^{lux}.
 \end{equation}
\item[ii)] For  $F\in A_{\alpha}^{\Phi}(\mathbb{C}_{+})$and for $\delta$  small enough,  there exists a 
 sequence $\mu:=\{\mu_{l,j}\}_{l,j\in \mathbb{Z}}$ belonging to $\ell^{\Phi}_{\alpha}(\mathbb{C_{+}})$ such that 
$$  F(z) =c_{\alpha}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\mu_{l,j}\left(  \frac{z-\overline{z_{l,j}}}{i} \right)^{-\alpha-2}2^{j\gamma (\alpha +2)},~~ \forall~z \in \mathbb{C}_{+},
   $$
where $c_{\alpha}$ is a constant which depends only on $\alpha$.  Moreover,   there exists a constant $C_{2}:= C_{\Phi,\delta,\alpha}>0$ such that
\begin{equation}\label{eq:inaqaqay}
\|F\|_{A^{\Phi}_{\alpha}}^{lux} \leq C_{2} \left\|\mu\right\|_{\ell^{\Phi}_{\alpha}}^{lux}.
 \end{equation}
\end{itemize}
\end{theorem} 

Atomic decomposition of function spaces is one of the most studied problems in different areas of mathematical analysis. For classical Bergman spaces, we refer the reader to \cite{gonessa,zhu} and the references therein. These atomic decompositions have found applications in various questions in analytic function spaces and their operators (see for example \cite{pauzhao,tchoundja}). For Bergman-Orlicz spaces of the unit ball of $\mathbb{C}^n$, an atomic decomposition was recently obtained in \cite{bekollebonamitchoundja} with some applications to weak factorization of some of these spaces. In \cite{sehba4}, using the atomic decomposition from \cite{bekollebonamitchoundja}, the second author of the present paper obtained a characterization of Carleson embedding with loss for the Bergman-Orlicz spaces of the unit ball of $\mathbb{C}^n$. In the same vein, as application of the above result, we prove a Carleson embedding with loss for Bergman-Orlicz spaces of the upper half-plane. For more on Carlseon embeddings in various domains and their history, we refer the reader to \cite{Carleson1,Carleson2,CharpentierSehba,CW,djesehb,Pduren2,Hastings,Luecking1,Luecking2,Luecking3,Luecking4,Power,sehba4,sehba5,Ueki,Videnskii} and references therein.
\vskip .2cm

In previous works \cite{djesehb, djesehafeuto}, we provided necessary and sufficient conditions for a Bergman-Orlicz space $A_{\alpha}^{\Phi_{1}}$  to be continuously embedded into the Orlicz space $L^{\Phi_{2}}(\mathbb{C}_{+}, d\mu)$ (Carleson embedding),
 under the condition that the function   $t\mapsto \frac{\Phi_{2}(t)}{\Phi_{1}(t)}$  is increasing on  $(0, \infty)$.  When 
 $\Phi_{1}(t)=t^{p}$ and $\Phi_{2}(t)=t^{q}$, with $0<p, q<\infty$, the condition that  $t\mapsto \frac{\Phi_{2}(t)}{\Phi_{1}(t)}$ is increasing is equivalent to  $p\leq q$. We notice that the generalization of the case $q<p$ has not been addressed. In this work, we use the above atomic decomposition of Bergman-Orlicz spaces to investigate this open case. More precisely, we formulate necessary and sufficient conditions for the Bergman-Orlicz space $A_{\alpha}^{\Phi_{1}}$ to be continuously embedded into an Orlicz space  $L^{\Phi_{2}}(\mathbb{C}_{+}, d\mu)$, this time under the condition that   $t\mapsto \frac{\Phi_{1}(t)}{\Phi_{2}(t)}$  is increasing on  $(0, \infty)$ (Carleson embedding with loss). 

\vskip .2cm

Let  $\mu$ be a positive measure on $\mathbb{C}_{+}$. The Berezin transform $\widetilde{\mu}$ of  $\mu$ is the function defined by
$$  \widetilde{\mu}(z)= \int_{\mathbb{C}_{+}}\frac{\mathrm{Im}( z)^{2+\alpha}}{| \omega-\overline{z}|^{2(2+\alpha)}}d\mu(\omega), ~~ \forall~z \in \mathbb{C}_{+}.
   $$

Let $(X, \|.\|_{X})$ and $(Y, \|.\|_{Y})$ be two quasi-normed vector spaces. We say that $X$ is continuously embedded into $Y$, if there exists a constant  $C>0$ such that for all $f \in X$, 
\begin{equation}\label{eq:inaaaqay}
\|f\|_{Y} \leq C\|f\|_{X}.
 \end{equation}


Here is our result on Carleson embedding with loss for Bergman-Orlicz spaces.
\begin{theorem}\label{pro:mainqaaqaq6}
Let $\alpha>-1$,  $\Phi_{1} \in  \mathscr{U}\cap \nabla_{2}$ and $\Phi_{2} \in \mathscr{L} \cup \mathscr{U}$ and,    $\mu$ a positive measure on $\mathbb{C}_{+}$. Suppose that $t\mapsto \frac{\Phi_{1}(t)}{\Phi_{2}(t)}$ is non-decreasing on $(0, \infty)$ and
\begin{equation}\label{eq:inaaaqaay}
\int_{0}^{t}\frac{\Phi_{1}\circ\Phi_{2}^{-1}(s)}{s^{2}}ds\leq C\frac{\Phi_{1}\circ\Phi_{2}^{-1}(t)}{t}, ~~\forall ~t>0, 
 \end{equation}
where $C$ is a constant that depends only on $\Phi_{1}$ and $\Phi_{2}$. The following assertions are equivalent.
\begin{itemize}
\item[i)]  The Bergman$-$Orlicz space $A_{\alpha}^{\Phi_{1}}(\mathbb{C}_{+})$ continuously embeds into  $L^{\Phi_{2}}(\mathbb{C}_{+}, d\mu)$. 
 \item[ii)] The Berezin transform $\widetilde{\mu}$ belongs to $L^{\Phi_{3}}(\mathbb{C}_{+}, dV_{\alpha})$, where $\Phi_{3}$ is the complementary function of $\Phi_{1}\circ\Phi_{2}^{-1}$.
\end{itemize}
\end{theorem} 


\begin{remark}
Condition (\ref{eq:inaaaqaay})  insures that the growth function $\Phi_3$ belongs to $\mathscr{U}$ and it is $\nabla_2$. 
\end{remark}

For $\phi : \mathbb{C}_{+}\longrightarrow \mathbb{C}_{+}$ holomorphic, the composition operator $C_{\phi}$ is the operator defined for any $F$ holomorphic function on $\mathbb{C}_{+}$ by
$$  C_{\phi}(F)(z)= F \circ \phi(z), ~~ \forall~z \in \mathbb{C}_{+}.    $$

Let $\phi$ be as above and $\beta >-1$, we define the measure $\mu_{\phi,\beta}$  by
\begin{equation}\label{eq:inpay}
\mu_{\phi,\beta}(E):= |\phi^{-1}(E)|_{\beta}, 
\end{equation}
for any Borel set $E$ contained in $\mathbb{C}_{+}$. 


Let $(X, \|.\|_{X})$ and $(Y, \|.\|_{Y})$ be two quasi-normed vector spaces. We say that a operator $T$ is bounded from $X$ to $Y$ if there exists a constant $C>0$ such that for all $f \in X$, 
\begin{equation}\label{eq:fo4naqAQ1l}
\|T(f)\|_{X}\leq C\|f\|_{Y}.
\end{equation}


The following follows directly from Theorem \ref{pro:mainqaaqaq6}.
\begin{corollary}\label{pro:mainqaq6}
Let $\alpha, \beta>-1$,   $\Phi_{1} \in  \mathscr{U}\cap \nabla_{2}$ and $\Phi_{2} \in \mathscr{L} \cup \mathscr{U}$ and, let $\phi : \mathbb{C}_{+}\longrightarrow \mathbb{C}_{+}$ be a holomorphic function. Suppose that $t\mapsto \frac{\Phi_{1}(t)}{\Phi_{2}(t)}$ is non-decreasing on $(0, \infty)$ and Relation (\ref{eq:inaaaqaay})  is satisfied. The following assertions are equivalent.
\begin{itemize}
\item[i)] The composition operator $C_{\phi}: A_{\alpha}^{\Phi_{1}}(\mathbb{C}_{+})\longrightarrow A_{\beta}^{\Phi_{2}}(\mathbb{C}_{+}) $ is bounded;
\item[ii)] The Berezin transform $\widetilde{\mu_{\phi,\beta}}$ belongs to $L^{\Phi_{3}}(\mathbb{C}_{+}, dV_{\alpha})$, where $\Phi_{3}$ is  the complementary function of $\Phi_{1}\circ\Phi_{2}^{-1}$.
\end{itemize}
\end{corollary} 

We propose the following abbreviation $\mathrm{ A}\lesssim \mathrm{ B}$ for the inequalities $\mathrm{ A}\leq C\mathrm{ B}$, where $C$ is a positive constant independent of the main parameters. If $\mathrm{ A}\lesssim \mathrm{ B}$ and $\mathrm{ B}\lesssim \mathrm{ A}$, then we write $\mathrm{ A}\sim \mathrm{ B}$.
\medskip

In the next section, we present several useful rwsults needed for the proof our results. The atomic decomposition of our spaces in consideration is proved in Section 3 as well as Theorem \ref{pro:mainqaaqaq6}.

In all what follows, the letter $C$ will be used for nonnegative constants independent of the relevant variables that may change from one occurrence to another. Constants with subscript, such as $C_{s}$, may also change in different occurrences, but depend on the parameters mentioned in it. 

\section{Preliminaries.}

In this section, we present some useful results needed in our presentation.


\subsection{Some properties of growth functions.} 

A growth function  $\Phi$ is equivalent to a convex function if and only if there exists $c > 1$ such that for all  $0<t_{1}<t_{2}$,
\begin{equation}\label{eq:suia8n}
\frac{\Phi(t_{1})}{t_{1}} \leq c\frac{\Phi(ct_{2})}{t_{2}},
 \end{equation}
(see  \cite[Lemma 1.1.1]{kokokrbec}).




\begin{lemma}\label{pro:maiaqaq1q8}
Let  $\Phi$ be a growth function of lower type $p\in (0, \infty)$. The following assertions are satisfied: 
\begin{itemize}
\item[(i)]  $\Phi$ is equivalent to a continuous and increasing  growth function of lower type $p$.
\item[(ii)] The growth function $\Phi_{p}$ defined by
\begin{equation}\label{eq:suiaqaq8n}
\Phi_{p}(t)=\Phi\left( t^{1/p}\right),~~\forall~t\geq 0\end{equation}
is equivalent to a continuous, increasing and convex growth function.
\end{itemize}
\end{lemma}


\begin{proof}
Since $\Phi$ is a growth function of lower type $p$, we have
$$   \Phi(st) \leq cs^{p}\Phi(t), ~~\forall~0<s\leq 1, ~~\forall~t\geq 0, $$
where $c$  is a constant that depends only on $p$. We deduce that $$ \frac{\Phi_{p}(t_{1})}{t_{1}} \leq c \frac{\Phi_{p}(t_{2})}{t_{2}} ,~~\forall~0<t_{1}< t_{2},   $$
where $\Phi_{p}$ is the growth function defined in (\ref{eq:suiaqaq8n}). It follows that $\Phi_{p}$ is equivalent to a convex function on $[0, \infty)$. 
In particular,  $\Phi$ and  $\Phi_{p}$ are equivalent to continuous and increasing functions on  $[0, \infty)$.
\end{proof}


\begin{remark}\label{pro:main 5aqaqq2pl}
In the following, we will assume that any growth function 
$\Phi$ of lower type $p \in (0, \infty)$ is continuous and increasing. Furthermore, the function  $\Phi_{p}$, defined in relation (\ref{eq:suiaqaq8n}), is a continuous and convex  growth function, thanks to Lemma \ref{pro:maiaqaq1q8}.
\end{remark}



Let  $\Phi \in \mathscr{C}^{1}([0, \infty))$  a growth function. The lower and the upper indices of $\Phi$ are respectively defined by
$$ a_\Phi:=\inf_{t>0}\frac{t\Phi'(t)}{\Phi(t)}
  \hspace*{1cm}\textrm{and} \hspace*{1cm} b_\Phi:=\sup_{t>0}\frac{t\Phi'(t)}{\Phi(t)}.          $$
  We refer to \cite[Lemma 3.1]{djesehb} and \cite[Lemma 2.1]{sehbaedgc} for the following.
  \begin{lemma}
Let $\Phi \in \mathscr{C}^{1}([0, \infty))$ be a growth function. The following assertions are satisfied.
\begin{itemize}
\item[(i)] If  $\Phi \in \mathscr{L} \cup \mathscr{U}$  then  $0< a_\Phi\leq b_\Phi <\infty$.
\item[(ii)]  If  $\Phi \in \mathscr{U}$ then  $\Phi \in \nabla_{2}$ if and only if there is a constant  $C:=C_{\Phi}>0$ such that for all $t > 0$,
\begin{equation}\label{eq:saaui8n}
\int_{0}^{t}\frac{\Phi(s)}{s^{2}}ds \leq C \frac{\Phi(t)}{t}.
\end{equation}
\item[(iii)] If  $0< a_\Phi\leq b_\Phi <\infty$ then the function  $t\mapsto \frac{\Phi(t)}{t^{a_\Phi}}$ is increasing on $(0,\infty)$ while the function  $t\mapsto \frac{\Phi(t)}{t^{b_\Phi}}$ is decreasing on $(0,\infty)$.
\end{itemize}
\end{lemma}
We refer to \cite[Corollary 3.3]{djesehafeuto} for the following.
\begin{proposition}\label{pro:main3aaqq7}
Let $s \geq 1$  and   $\Phi \in \mathscr{C}^{1}([0, \infty))$ a growth function such that  $0< a_\Phi \leq b_\Phi < \infty $. Put, for  $t\geq 0$ 
$$  \Phi_{s}(t)=\Phi\left(t^{s/a_\Phi}\right).    $$
The following assertions are satisfied.
\begin{itemize}
\item[(i)] If $s=1$ then $\Phi_{s} \in \mathscr{U}$.
\item[(ii)] If $s>1$ then  $\Phi_{s} \in \mathscr{U} \cap \nabla_{2}$.
\end{itemize}
\end{proposition}


\subsection{Bergman$-$Orlicz spaces on $\mathbb{C}_{+}$.}

Let $\alpha>-1$ and  $0<s< 1$. For a measurable subset  $E$ of $\mathbb{C}_{+}$ and  $z \in \mathbb{C}_{+}$, we will use the following notations
\begin{equation}\label{eq:inpaqmgay}
|E|_{\alpha}:=\int_{E}dV_{\alpha}(z)
 \end{equation}
and 
\begin{equation}\label{eq:inpmgay}
\mathcal{D}_{s}(z):= \mathcal{D}(z,s\mathrm{Im}( z)),  
 \end{equation}
where $\mathcal{D}(a,r)$ is the disk centered at $a\in \mathbb{C}$  with radius $r>0$. We observe that for $z\in \mathbb{C}_{+}$, we have $\mathcal{D}_{s}(z)\subset \mathbb{C}_{+}$.

\medskip


Let $0<s,s', s''  < 1$ and  $\alpha \in \mathbb{R}$ and,  $z, \omega\in \mathbb{C_{+}}$. The following assertions are satisfied.
\begin{itemize}
\item[(i)] For  $\xi \in \mathcal{D}_{s}(z)$, we have
\begin{equation}\label{eq:espeqs1}
  \left[  \frac{1}{\sqrt{2}}\left(1- s \right)  \right] \mathrm{Im}( z) < \mathrm{Im}( \xi) < \left[  \frac{1}{\sqrt{2}}\left(1- s \right)  \right]^{-1} \mathrm{Im}( z).\end{equation}
It follows that,
\begin{equation}\label{eq:espqeqs1}
\mathrm{Im}( z)^{\alpha}\sim \mathrm{Im}( \xi)^{\alpha} \sim |\xi-\overline{z}|^{\alpha} \end{equation} 
and when  $\alpha  >-1$, we have also
\begin{equation}\label{eq:eqas1}
 |\mathcal{D}_{s}(z)|_{\alpha}\sim \mathrm{Im}( z)^{2+\alpha}  \hspace*{0.5cm}\textrm{and} \hspace*{0.5cm}   |\mathcal{D}_{s}(z)|_{\alpha}\sim     |\mathcal{D}_{s'}(\xi)|_{\alpha}.
 \end{equation} 
\item[(ii)] If $(1+ \sqrt{2})s < 1$ and   $s'':=s\left[  \frac{1}{\sqrt{2}}\left(1- s \right)  \right]^{-1}$ then 
\begin{equation}\label{eq:eseqs1}
\chi_{\mathcal{D}_{s}(z)}(\omega)= \chi_{\mathcal{D}_{s''}(\omega)}(z)
 \end{equation}
 and moreover, if  $ |z-\omega| < \frac{s}{2}\mathrm{Im}( z)$, then 
 \begin{equation}\label{eq:iaqnaqea}
  \mathcal{D}_{s/2}(z) \subset \mathcal{D}_{s''}(\omega).
 \end{equation} 
\end{itemize}



\begin{proposition}\label{pro:main1q8}
Let  $\alpha \in \mathbb{R}$ and $\Phi$ a growth function  of lower type. Let $0<s < 1$ such that   $(1+ \sqrt{2})s < 1$ and put $s':=s\left[  \frac{1}{\sqrt{2}}\left(1- s \right)  \right]^{-1}$. For  an analytic function  $F$ on $\mathbb{C_{+}}$ and  $z, \omega\in \mathbb{C_{+}}$,  the following assertions are satisfied.
\begin{itemize}
\item[(i)]  If  $ |z-\omega| < \frac{s}{2}\mathrm{Im}( z)$, then there exists a constant $C_{1}:=C_{s,\alpha} > 0$  such that 
\begin{equation}\label{eq:inehay}
 \Phi(|F(\omega)|)\leq \frac{C_{1}}{\mathrm{Im}( z)^{2+\alpha}}\int \int_{\mathcal{D}_{s'}(z)}\Phi(|F(u+iv)|)v^{\alpha}dudv.
\end{equation}
\item[(ii)] If $ |z-\omega| < \frac{s}{4}\mathrm{Im}( z)$, then  there exists a constant   $C_{2}:=C_{s} > 0$ such that 
\begin{equation}\label{eq:inegqhay}
\Phi(|F(z)-F(\omega)|)\leq C_{2}\int \int_{\mathcal{D}_{s'}(z)}\Phi(|F(u+iv)|)\frac{dudv}{v^{2}}.
 \end{equation}
\end{itemize}
\end{proposition}

\begin{proof}
Suppose $\Phi$ is of lower type $p \in (0, \infty)$ and for  $t\geq 0$, put 
$  \Phi_{p}(t)=\Phi\left(t^{1/p}\right).  $

\medskip


$i)$ Suppose that  $ |z-\omega| < \frac{s}{2}\mathrm{Im}( z)$. Since  $|F|^{p}$ is subharmonic on $\mathbb{C}_ {+}$ and  $\Phi_{p}$ is convex, we have
\begin{align*}
\Phi(|F(\omega)|)=\Phi_{p}(|F(\omega)|^{p}) &\leq  \Phi_{p}\left(  \frac{4}{\pi (s\mathrm{Im}( \omega))^{2}}\int \int_{\mathcal{D}_{s/2}(\omega)}|F(u+iv)|^{p}dudv  \right)  \\
&\leq \frac{4}{\pi( s\mathrm{Im}( \omega))^{2}}\int \int_{\mathcal{D}_{s/2}(\omega)}\Phi_{p}(|F(u+iv)|^{p})dudv, \\
&\leq  \frac{C}{\mathrm{Im}( \omega)^{2+\alpha}}\int \int_{\mathcal{D}_{s/2}(\omega)}\Phi(|F(u+iv)|)v^{\alpha}dudv \\
&\leq \frac{C}{\mathrm{Im}( z)^{2+\alpha}}\int \int_{\mathcal{D}_{s'}(z)}\Phi(|F(u+iv)|)v^{\alpha}dudv, 
\end{align*}
thanks to Jensen's inequality and, relations (\ref{eq:espqeqs1}) and (\ref{eq:iaqnaqea}).


\medskip



$ii)$ Suppose that  $ |z-\omega| < \frac{s}{4}\mathrm{Im}( z)$ and let us prove the inequality (\ref{eq:inegqhay}). Since  $F$ is an analytic function  on $\mathbb{C_{+}}$, we have $$   F(z)-F(\omega)=\int_{[z,\omega]} F'(\zeta)d\zeta, $$
where $[z,\omega]$ is the segment from $z$ to $\omega$.
For  $\zeta \in [z,\omega]$ and  $r=\frac{s}{4}\mathrm{Im}( z)$, we have
$$ |F'(\zeta)| \leq \frac{1}{2\pi r}\int_{0}^{2\pi} |F(\zeta +re^{it})| dt,     $$
according to Cauchy's inequality.     
For all $t \in [0,2\pi]$, we have
$$ |\zeta +re^{it}-z| \leq  |\zeta +re^{it}-\zeta| + |\zeta-z| \leq  r + |\omega-z| \leq \frac{s\mathrm{Im}( z)}{4} + \frac{s\mathrm{Im}( z)}{4} = \frac{s}{2}\mathrm{Im}( z).    $$
Replacing $\alpha$ by $-2$ in relation (\ref{eq:inehay}), we obtain
$$ |F(\zeta +re^{it})| \leq  \Phi^{-1}\left(C_{s}\int \int_{\mathcal{D}_{s'}(z)}\Phi(|F(u+iv)|)\frac{dudv}{v^{2}}\right),      $$
where $C_{s}$ is a constant which depends only on $s$.
It follows that
\begin{align*}
| F(z)-F(\omega)| &\leq  \int_{[z,\omega]} |F'(\zeta)|d\zeta 
\leq  \int_{[z,\omega]} \left( \frac{1}{2\pi r}\int_{0}^{2\pi} |F(\zeta +re^{it})| dt  \right)d\zeta \\
&\leq \frac{1}{ 2\pi}\int_{0}^{2\pi}\left( \Phi^{-1}\left( C_{s} \int \int_{\mathcal{D}_{s'}(z)}\Phi(|F(u+iv)|)\frac{dudv}{v^{2}} \right)\right)dt \\
&= \Phi^{-1}\left( C_{s}\int \int_{\mathcal{D}_{s'}(z)}\Phi(|F(u+iv)|)\frac{dudv}{v^{2}} \right).
\end{align*}
\end{proof}


The following result follows from inequality (\ref{eq:inehay}). Therefore, the proof will be omitted.

 \begin{proposition}\label{pro:main1aq1apaq8}
Let $\alpha>-1$ and  $\Phi$ a growth function  of lower type. There exists a constant $C:=C_{\alpha, \Phi}>0$ such that for 
$ F \in A^{\Phi}_{\alpha}(\mathbb{C_{+}})$, 
 \begin{equation}\label{eq:inegalehay}
 |F(z)|\leq C\Phi^{-1}\left(\frac{1}{ \mathrm{Im}( z)^{2+\alpha}}\right)\|F\|_{A^{\Phi}_{\alpha}}^{lux},~~\forall~z \in \mathbb{C_{+}}.
 \end{equation}
 \end{proposition}





Let us prove the following.
\begin{lemma}\label{pro:main12amq0}
Let $\alpha>-1$ and  $\Phi$ a growth function  of lower type. The Bergman-Orlicz space $(A^{\Phi}_{\alpha}(\mathbb{C_{+}}),  \|.\|_{A^{\Phi}_{\alpha}}^{lux})$ is a closed subspace of the Orlicz space  $(L^{\Phi}(\mathbb{C_{+}}, dV_{\alpha}),  \|.\|_{L^{\Phi}_{\alpha}}^{lux})$.
\end{lemma}

\begin{proof}
Let $(F_{n})_{n}$ be a sequence of elements of $A^{\Phi}_{\alpha}(\mathbb{C_{+ }})$ which converges to $F \in (L^{\Phi}(\mathbb{C_{+}}, dV_{\alpha}),  \|.\|_{L^{\Phi}_{\alpha}}^{lux})$.

\medskip

Let us show that $F$ belongs to $A^{\Phi}_{\alpha}(\mathbb{C_{+ }})$.

\medskip


Let $\varepsilon >0$. Since  $(F_{n})_{n}$ is a Cauchy sequence in  $A^{\Phi}_{\alpha}(\mathbb{C_{+ }})$, there exists $n_{\varepsilon}\in \mathbb{N}$ such that for all $ n,m \geq n_{\varepsilon}$, $\|F_{n}-F_{m}\|_{A ^{\Phi}_{\alpha}}^{lux}\leq \varepsilon$.
Let  $z_{0} \in \mathbb{C_{+ }}$ and $r>0$ such that  $\overline{\mathcal{D}(z_{0}, r)}:=\{z \in \mathbb{C_{+ }} :  |z-z_{0}| \leq r    \}$ is contained in $\mathbb{C_{+ }}$. Put  
$$ A_{r}(z_{0}):=\inf\left\{\mathrm{Im}(z) : z\in \overline{\mathcal{D}(z_{0}, r)}\right\}=\mathrm{Im}(z_{0})-r>0.$$
For $n,m \geq n_{\varepsilon}$ and $z \in \overline{\mathcal{D}(z_{0}, r)}$, we have
$$ |F_{n}(z)-F_{m}(z)| \lesssim \Phi^{-1}\left(\frac{1}{ \mathrm{Im}( z)^{2+\alpha}}\right)\|F_{n}-F_{m}\|_{A^{\Phi}_{\alpha}}^{lux}\lesssim \Phi^{-1}\left(\frac{1}{ ( A_{r}(z_{0}))^{2+\alpha}}\right)\times \varepsilon,   $$
thanks to Proposition \ref{pro:main1aq1apaq8}. We deduce that the sequence $(F_{n})_{n}$ converges uniformly on
$\overline{\mathcal{D}(z_{0}, r)}$. It follows that there exists $G$ an analytic function on $\mathbb{C_{+}}$, such that the sequence  $(F_{n})_{n}$ converges uniformly to $G$ on any compact subset of  $\mathbb{C_{+}}$. 
For $n \geq n_{\varepsilon}$, we have
$$ \int_{\mathbb{C_{+}}}\Phi\left(\frac{|F_{n}(z)-G(z)|}{\varepsilon}\right)dV_{\alpha}(z) \leq  \liminf_{m\to +\infty} \int_{\mathbb{C_{+}}}\Phi\left(\frac{|F_{n}(z)-F_{m}(z)|}{\varepsilon}\right)dV_{\alpha}(z) \leq 1,      $$
thanks to Fatou's lemma. Therefore, the sequence $(F_{n})_{n}$ converges to $G$ in $A^{\Phi}_{\alpha}(\mathbb{C_{+}}).$ As, 
 $$ \|F-G\|_{A^{\Phi}_{\alpha}}^{lux} = \|F-G\|_{L_{\alpha}^{\Phi}}^{lux} \lesssim \|F_{n_{\varepsilon}}-F\|_{L_{\alpha}^{\Phi}}^{lux}+\|F_{n_{\varepsilon}}-G\|_{L_{\alpha}^{\Phi}}^{lux}\lesssim \varepsilon.       $$
It follows that $F\in A^{\Phi}_{\alpha}(\mathbb{C_{+}})$.
\end{proof}

Let $I$ be an interval of nonzero length. The Carleson square associated with $I$, $Q_{I}$ is the subset of $\mathbb{C}_{+}$ defined by
\begin{equation}\label{eq:ualp5rsleson}
Q_{I}:=\left\{x+iy\in \mathbb{C}_{+} : x\in I ~~\text{and}~~ 0<y<|I| \right\}.\end{equation}


Let  $\alpha>-1$ and $F$  a measurable function on $\mathbb{C}_{+}$. The analogue of the Hardy-Littlewood maximal on the upper half-plane of a function $F$ is 
 defined by
$$ \mathcal{M}_{\alpha}(F)(z):= \sup_{I \subset \mathbb{R}}\frac{\chi_{Q_{I}}(z)}{|Q_{I}|_{\alpha}}\int_{Q_{I}}| F(\omega)| dV_{\alpha}(\omega),~~ \forall~ z \in \mathbb{C}_{+},     $$ 
where the supremum is taken over all sub-intervals of $\mathbb{R}$.

\begin{proposition}[Corollary 3.13, \cite{djesehafeuto}  ]\label{pro:mainplaqaqq6}
Let   $\alpha>-1$ and $\Phi \in \mathscr{U}$. The following assertions are equivalent.
\begin{itemize}
\item[(i)] $\Phi \in \nabla_{2}$.
\item[(ii)] $\mathcal{M}_{\alpha}: L^{\Phi}(\mathbb{C}_{+}, dV_{\alpha})\longrightarrow L^{\Phi}(\mathbb{C}_{+}, dV_{\alpha})$ is bounded.
\end{itemize}
\end{proposition} 


Let  $\Phi$ a growth function  of lower type. For $f\in L^{\Phi}(X, d\mu)$, put 
$$ \|f\|_{L_{\mu}^{\Phi}}:= \int_{X}\Phi\left(| F(x)|\right)d\mu(x).   $$
If  $\Phi \in \mathscr{C}^{1}(\mathbb{R}_{+})$ is a growth function such that   $0< a_\Phi\leq b_\Phi <\infty$, then we have the following inequalities:
\begin{equation}\label{eq:inegehay}
\|f\|_{L_{\mu}^{\Phi}} \lesssim \max\left\{ \left(  \|f\|_{L_{\mu}^{\Phi}}^{lux} \right)^{a_\Phi}; \left( \|f\|_{L_{\mu}^{\Phi}}^{lux}\right)^{b_\Phi}\right\}
\end{equation}
and
\begin{equation}\label{eq:inmehay}
\|f\|_{L_{\mu}^{\Phi}}^{lux} \lesssim \max\left\{ \left( \|f\|_{L_{\mu}^{\Phi}}\right)^{1/a_\Phi} ;  \left( \|f\|_{L_{\mu}^{\Phi}}  \right)^{1/b_\Phi}\right\}.
\end{equation}



Wee will simply use the notation  $L^{\Phi}(\mathbb{R}):= L^{\Phi}(\mathbb{R}, dx)$, where $dx$ is the Lebesgue measure on $\mathbb{R}$ and 
$\|F\|_{A^{\Phi}_{\alpha}}:= \|F\|_{L_{\alpha}^{\Phi}},$
when $F \in A^{\Phi}_{\alpha}(\mathbb{C_{+}})$.


\medskip

Let  $\Phi$ a growth function  of lower type. 
The Hardy-Orlicz space on  $\mathbb{C_{+}}$,  $H^{\Phi}(\mathbb{C_{+}})$ consists of all analytic functions $F$ on $\mathbb{C_{+}}$ that satisfy 
$$   \|F\|_{H^{\Phi}}^{lux}:=\sup_{y> 0}\|F(.+iy)\|_{L^{\Phi}}^{lux} < \infty.   $$
If $\Phi$ is  convex  then  $\left(H^{\Phi}(\mathbb{C_{+}}), \|.\|_{H^{\Phi}}^{lux}\right)$ is a Banach space (see \cite{djesehb, Jan, Jan1}).
  

We can find the following result in \cite{djesehafeuto}.

\begin{proposition}\label{pro:main6apmqaalqpqq4}
Let  $\Phi \in \mathscr{L} \cup \mathscr{U}$ and  $ F\in H^{\Phi}(\mathbb{C_{+}})$.  The following assertions are satisfied:  
\begin{itemize}
\item[(i)] The functions $y\mapsto \|F(.+iy)\|_{L^{\Phi}}$ and  $y\mapsto \|F(.+iy)\|_{L^{\Phi}}^{lux}$ are non-increasing on $(0, \infty)$.
\item[(ii)] There exists a unique function 
     $f\in  L^{\Phi}\left(\mathbb{R}\right)$ such that  
  $  f(x)=\lim_{y\to 0}F(x+iy),$
 for almost all $x\in \mathbb{R}$.
 \end{itemize}
 Moreover,
  \begin{equation}\label{eq:sqapq8n}
  \|F\|_{H^{\Phi}}^{lux}=\lim_{y \to 0}\|F(.+iy)\|_{L^{\Phi}}^{lux}=\|f\|_{L^{\Phi}}^{lux}.
  \end{equation}
\end{proposition}


\begin{lemma}\label{pro:main11aaq8}
Let $\alpha>-1$,   $\Phi \in \mathscr{L} \cup \mathscr{U}$ and $ F \in A^{\Phi}_{\alpha}(\mathbb{C_{+}})$.  For $ \varepsilon>0$, put 
\begin{equation}\label{eq:inegalaqehay}
 F_{\varepsilon}(z)=  F(z+i\varepsilon), ~~\forall~x+iy \in \mathbb{C_{+}}.
\end{equation}
The following assertions are satisfied.
\begin{itemize}
\item[(i)] The functions  $y\mapsto \|F(.+iy)\|_{L^{\Phi}}$ and  $y\mapsto \|F(.+iy)\|_{L^{\Phi}}^{lux}$ are non-increasing on $(0,\infty)$;
\item[(ii)] The function $ F_{\varepsilon}$ belongs to $  H^{\Phi}(\mathbb{C}_{+}) \cap A^{\Phi}_{\alpha}(\mathbb{C_{+}})$.  
\end{itemize}
Moreover, 
   \begin{equation}\label{eq:indehay}
   \sup_{\varepsilon>0}\|F_{\varepsilon}\|_{A^{\Phi}_{\alpha}}^{lux}= \|F\|_{A^{\Phi}_{\alpha}}^{lux} \hspace*{0.5cm}\textrm{and} \hspace*{0.5 cm} \lim_{\varepsilon \to 0}\|F_{\varepsilon}-F\|_{A^{\Phi}_{\alpha}}^{lux}=0.
   \end{equation}
\end{lemma}



\begin{proof}
 Assume that $F\not\equiv 0$ because there is nothing to show when $F\equiv 0$. Without loss of generality, we will also assume that $\|F\|_{A^{\Phi}_{\alpha}}^{lux}=1$.
 
 \medskip
 
$i)$ Let $0<s < 1$ such that   $(1+ \sqrt{2})s < 1$ and put $s':=s\left[  \frac{1}{\sqrt{2}}\left(1- s \right)  \right]^{-1}$. For  $y>0$ and $x \in \mathbb{R}$, using Proposition \ref{pro:main1q8}, we have
\begin{align*}
\Phi\left(| F_{\varepsilon}(x+iy)|\right) &=  \Phi\left(| F(x+i(y+\varepsilon))|\right) \\
&\lesssim \frac{1}{( y+\varepsilon)^{2+\alpha}}\int \int_{\mathcal{D}_{s'}(x+i(y+\varepsilon))}\Phi\left(| F(u+iv)|\right)dV_{\alpha}(u+iv) \\
&\lesssim \frac{1}{( y+\varepsilon)^{2+\alpha}}\int_{|x-u|\leq y+\varepsilon} \int_{|y+\varepsilon-v|\leq y+\varepsilon}\Phi\left(| F(u+iv)|\right)v^{\alpha}dudv. 
\end{align*}
Hence using Fubini's theorem, we obtain
\begin{align*}
\int_{-\infty}^{+\infty}\Phi\left(| F_{\varepsilon}(x+iy)|\right)dx 
&\lesssim \frac{1}{( y+\varepsilon)^{2+\alpha}}\int_{-\infty}^{+\infty}\int_{ -y-\varepsilon+u}^{y+\varepsilon+u} \int_{0}^{\infty}\Phi\left(| F(u+iv)|\right)v^{\alpha}dudvdx \\
&= \frac{1}{( y+\varepsilon)^{2+\alpha}}\int_{-\infty}^{+\infty}\left(\int_{ -y-\varepsilon+u}^{y+\varepsilon+u}dx \right) \int_{0}^{\infty}\Phi\left(| F(u+iv)|\right)v^{\alpha}dudv \\
&\lesssim \frac{1}{\varepsilon^{1+\alpha}}\int_{0}^{\infty}\int_{-\infty}^{+\infty} \Phi\left(| F(u+iv)|\right)v^{\alpha}dudv.
\end{align*}
We deduce that 
$$  \sup_{y>0} \int_{\mathbb{R}}\Phi\left(| F_{\varepsilon}(x+iy)|\right)dx < \infty.
  $$
Therefore, $F_{\varepsilon} \in H^{\Phi}(\mathbb{C}_{+})$. We know from Proposition \ref{pro:main6apmqaalqpqq4} that the functions $y\mapsto \|F_{\varepsilon}(.+iy)\|_{L^{\Phi}}$ and  $y\mapsto \|F_{\varepsilon}(.+iy)\|_{L^{\Phi}}^{lux}$ are non-increasing on $(0, \infty)$. Moreover,  there exists a unique function 
     $f_{\varepsilon}\in  L^{\Phi}\left(\mathbb{R}\right)$ such that  
  $$  f_{\varepsilon}(x):=\lim_{y\to 0}F_{\varepsilon}(x+iy)= F(x+i\varepsilon) ,   $$
 for almost all $x\in \mathbb{R}$. It follows that, for all $\varepsilon>0$ and $y>0$, 
\begin{equation}\label{eq:inegaqthay}
 \|F(.+i(y+\varepsilon))\|_{L^{\Phi}}^{lux} \leq  \|F(.+i\varepsilon)\|_{L^{\Phi}}^{lux}.
\end{equation}
For $0<y_{1}<y_{2}$, we can find $\varepsilon >0$ such that $y_{2}=  y_{1}+\varepsilon$. From (\ref{eq:inegaqthay}), we deduce that
 $$  \|F(.+iy_{2})\|_{L^{\Phi}}^{lux} \leq  \|F(.+iy_{1})\|_{L^{\Phi}}^{lux}.    $$
Likewise, we obtain that
$$  \|F(.+iy_{2})\|_{L^{\Phi}} \leq  \|F(.+iy_{1})\|_{L^{\Phi}}.    $$

\medskip


$ii)$ For $ \varepsilon>0$, we deduce that  $F_{\varepsilon} \in A^{\Phi}_{\alpha}(\mathbb{C_{+}})$ and   
\begin{equation}\label{eq:inegthay}
 \|F_{\varepsilon}\|_{A^{\Phi}_{\alpha}}^{lux}\leq \|F\|_{A^{\Phi}_{\alpha}}^{lux}.
 \end{equation}
Indeed, since the function $y\mapsto \|F(.+iy)\|_{L^{\Phi}}$ is non-increasing on $(0, \infty)$, we have
$$  \int_{0}^{\infty} \left\|F_{\varepsilon}(.+iy)\right\|_{L^{\Phi}} y^{\alpha}dy =\int_{0}^{\infty} \left\|F(.+i(y+\varepsilon))\right\|_{L^{\Phi}} y^{\alpha}dy \leq \int_{0}^{\infty} \left\|F(.+iy)\right\|_{L^{\Phi}} y^{\alpha}dy \leq 1. $$
As
$$ 
  F(z) = \lim_{\varepsilon\to 0} F_{\varepsilon}(z),   $$
for almost all $z \in \mathbb{C}_{+}$, using Fatou's lemma, we deduce that 
\begin{equation}\label{eq:inaldehay}
 \|F\|_{A^{\Phi}_{\alpha}}^{lux} \leq \sup_{\varepsilon>0}\|F_{\varepsilon}\|_{A^{\Phi}_{\alpha}}^{lux}. 
   \end{equation}
Indeed, 
$$ \int_{\mathbb{C}_{+}} \Phi\left(|F(z)|\right)dV_{\alpha}(z)  \leq \liminf_{\varepsilon \to 0}\int_{\mathbb{C}_{+}} \Phi\left(|F_{\varepsilon}(z)|\right)dV_{\alpha}(z) \leq \sup_{\varepsilon> 0}\int_{\mathbb{C}_{+}} \Phi\left(|F_{\varepsilon}(z)|\right)dV_{\alpha}(z).  $$
From (\ref{eq:inegthay}) and (\ref{eq:inaldehay}), we deduce that 
\begin{equation}\label{eq:inaldepmhay}
   \sup_{\varepsilon>0}\|F_{\varepsilon}\|_{A^{\Phi}_{\alpha}}^{lux}=\|F\|_{A^{\Phi}_{\alpha}}^{lux}. 
   \end{equation}
Since $\Phi \in \mathscr{L} \cup \mathscr{U}$, we deduce that  $0< a_\Phi \leq b_\Phi < \infty $.  
Put, for  $t\geq 0$ 
$$  \widetilde{\Phi}(t)=\Phi\left(t^{2/a_\Phi}\right).    $$
By construction,  $\widetilde{\Phi} \in \mathscr{U} \cap \nabla_{2}$, according to Proposition \ref{pro:main3aaqq7}. For $\varepsilon>0$ and $z \in \mathbb{C}_{+}$, we have
$$ |F(z)-F_{\varepsilon}(z)| \lesssim \left(\mathcal{M}_{\alpha}\left(|F|^{a_\Phi/2}\right)(z) \right)^{2/a_\Phi}. $$
Since $F\in L^{\Phi}(\mathbb{C}_{+}, dV_{\alpha})$, we deduce that $|F|^{a_\Phi/2}\in L^{\widetilde{\Phi}}(\mathbb{C}_{+}, dV_{\alpha})$. It follows that $\mathcal{M}_{\alpha}\left(|F|^{a_\Phi/2}\right) \in L^{\widetilde{\Phi}}(\mathbb{C}_{+}, dV_{\alpha})$, thanks to Proposition \ref{pro:mainplaqaqq6}. According to the dominated convergence theorem, we have for all  $\lambda>0$,
$$ \lim_{\varepsilon \to 0} \int_{\mathbb{C}_{+}} \Phi\left(\lambda|F(z)-F_{\varepsilon}(z)|\right)dV_{\alpha}(z) = \int_{\mathbb{C}_{+}}\lim_{\varepsilon \to 0} \Phi\left(\lambda|F(z)-F_{\varepsilon}(z)|\right)dV_{\alpha}(z)=0. $$
The proof is complete.
\end{proof}


Denote by $B$  the usual beta function defined by
 $$  B(m,n) =\int_{0}^{\infty}\dfrac{u^{m-1}}{(1+u)^{m+n}}du , ~~\forall~ m, n > 0.   $$
 
 The following results can be found for example in \cite{bansahsehba}.
  
 \begin{lemma}\label{pro:main26}
  Let  $y > 0$ and $\alpha \in \mathbb{R}$. The integral 
 $$ \textit{J}_{\alpha}(y) =\int_{\mathbb{R}}\dfrac{dx}{|x+iy|^{\alpha}},    $$ 
 converges if and only if $\alpha > 1$. In this case,
 $$ \textit{J}_{\alpha}(y)=B\left(\frac{1}{2}, \frac{\alpha-1}{2} \right)y^{1-\alpha}.    $$
\end{lemma} 
 
  
 \begin{lemma}\label{pro:main27}
Let $\alpha, \beta \in \mathbb{R}$ and $t>0$. The integral 	
\begin{equation}\label{eq:alfdyafintgama}
  \textit{I}(t) =\int_{0}^{\infty}\dfrac{y^{\alpha}}{(t+y)^{\beta}}dy, \end{equation}		
converges if and only if $\alpha >- 1$ and  $\beta-\alpha > 1$. In this case,
\begin{equation}\label{eq:alfdybeitete}
\textit{I}(t)=B(1+\alpha, \beta-\alpha-1)t^{-\beta+\alpha+1}.\end{equation}	
  \end{lemma}	


Let us prove the following.
\begin{proposition}\label{pro:main18}
Let $\alpha>-1$ and   $\Phi$ a growth function 
$\Phi$ of lower type $p \in (0, \infty)$.  For $m\geq 0$, $\varepsilon> 0$ and $z \in \mathbb{C_{+}}$, put
\begin{equation}\label{eq:inegalitedaqay}
  G_{\varepsilon,m}(z)=  \frac{1}{(-i\varepsilon z+1)^{m}}.
 \end{equation}
The following assertions are satisfied.
\begin{itemize}
\item[(i)] If  $mp>1$,  then  $G_{\varepsilon,m}\in H^{\Phi}(\mathbb{C}_{+})$,
\item[(ii)] If $mp>(\alpha +2)$, then  $G_{\varepsilon,m}\in A_{\alpha}^{\Phi}(\mathbb{C}_{+})$.  
\end{itemize}
 \end{proposition}
  
\begin{proof}
$(i)$ For  $z \in \mathbb{C_{+}}$, we have 
$$   G_{\varepsilon,m}(z)=  \frac{1}{(-i\varepsilon z+1)^{m}}= \frac{1}{(-i)^{m}(\varepsilon z+i)^{m}}.   $$
Since the function  $t\mapsto \frac{\Phi(t)}{t^{p}}$ is non-decreasing on $(0, \infty)$, we have using Lemma \ref{pro:main26}, that for $y>0$,
\begin{align*}
\int_{\mathbb{R}}\Phi(|G_{\varepsilon,m}(x+iy)|)dx &\lesssim \int_{\mathbb{R}}\frac{dx}{|\varepsilon x+i(1+\varepsilon y)|^{mp}} \\
&\lesssim B\left(\frac{1}{2}, \frac{mp-1}{2} \right)\frac{1/\varepsilon}{(1+\varepsilon y)^{mp-1}} \\
&\lesssim B\left(\frac{1}{2}, \frac{mp-1}{2} \right)\times  \varepsilon^{-1}.
\end{align*}
We conclude that,  $G_{\varepsilon,m}\in H^{\Phi}(\mathbb{C}_{+})$ for $mp>1$.

\medskip


$(ii)$ If $mp>\alpha +2$, then  $G_{\varepsilon,m}\in A_{\alpha}^{\Phi}(\mathbb{C}_{+})$. Indeed, we have
\begin{align*}
\int_{0}^{\infty}\int_{\mathbb{R}}\Phi(|G_{\varepsilon,m}(x+iy)|)y^{\alpha}dx dy  &\lesssim  \int_{0}^{\infty}\left(  \int_{\mathbb{R}}\frac{dx}{|\varepsilon x+i(1+\varepsilon y)|^{mp}} \right) y^{\alpha}dy \\
&=\left(1/\varepsilon\right)^{mp} B\left(\frac{1}{2}, \frac{mp-1}{2} \right)\int_{0}^{\infty}\frac{ y^{\alpha}}{(1/\varepsilon+y)^{mp-1}}dy\\
&=B\left(\frac{1}{2}, \frac{mp-1}{2} \right)B\left(\alpha +1, mp-\alpha-2 \right)\varepsilon^{-2-\alpha}, 
\end{align*}
thanks to Lemma \ref{pro:main26} and Lemma \ref{pro:main27}.
\end{proof}


\begin{lemma}\label{pro:main11aqaaqm8}
Let $\alpha, \beta>-1$ and  $\Phi_{1},\Phi_{2} \in  \mathscr{L} \cup \mathscr{U}$. $A^{\Phi_{1}}_{\alpha}(\mathbb{C_{+}})\cap A^{\Phi_{2}}_{\beta}(\mathbb{C_{+}})$ is a dense subspace of $A^{\Phi_{1}}_{\alpha}(\mathbb{C_{+}})$.
\end{lemma}


\begin{proof}
Since  $\Phi_{j} \in \mathscr{L} \cup \mathscr{U}$, we deduce that  $0< a_{\Phi_{j}}\leq b_{\Phi_{j}} <\infty$.

\medskip

Let  $F\in A^{\Phi_{1}}_{\alpha}(\mathbb{C_{+}})$. Let $m \in \mathbb{R}$ be such that  $ma_{\Phi_{2}} > \beta+2$. For  $\varepsilon>0$ and $z \in \mathbb{C_{+}}$, put 
\begin{equation}\label{eq:inaliedehay}
  F^{(\varepsilon)}(z) = G_{\varepsilon, m}(z)F_{\varepsilon}(z),   
\end{equation}
where $F_{\varepsilon}$ and $G_{\varepsilon, m}$ are the functions defined respectively  in (\ref{eq:inegalaqehay})
 and in (\ref{eq:inegalitedaqay}). 
 
\medskip
 
Let us show that $F^{(\varepsilon)}$ belongs to $A^{\Phi_{1}}_{\alpha}(\mathbb{C_{+}})$. Since  $ F_{\varepsilon} \in  A^{\Phi_{1}}_{\alpha}(\mathbb{C_{+}})$ and $\|F_{\varepsilon}\|_{A^{\Phi_{1}}_{\alpha}}^{lux} \leq \|F\|_{A^{\Phi_{1}}_{\alpha}}^{lux}$, thanks to Lemma \ref{pro:main11aaq8}. As  $|G_{\varepsilon,m}(z)|<1$, for all  $z \in \mathbb{C_{+}}$, we have
$$ \int_{\mathbb{C}_{+}}\Phi_{1}\left( \frac{|F^{(\varepsilon)}(z)|}{\|F\|_{A^{\Phi_{1}}_{\alpha}}^{lux}}  \right)dV_{\alpha}(z) \leq \int_{\mathbb{C}_{+}}\Phi_{1}\left( \frac{|F_{\varepsilon}(z)|}{\|F\|_{A^{\Phi_{1}}_{\alpha}}^{lux}}  \right)dV_{\alpha}(z) \leq 1.     $$
We deduce that
 $F^{(\varepsilon)} \in A^{\Phi_{1}}_{\alpha}(\mathbb{C_{+}})$.

\medskip
 
We still have to prove that $F^{(\varepsilon)} \in A^{\Phi_{2}}_{\beta}(\mathbb{C_{+}})$.  For $z=x+iy \in \mathbb{C_{+}}$, we have 
$$ |F_{\varepsilon}(x+iy)| = |F(x+i(y+\varepsilon))| \lesssim \Phi_{1}^{-1}\left(\frac{1}{ (y+\varepsilon)^{2+\alpha}}\right)\|F\|_{A^{\Phi_{1}}_{\alpha}}^{lux} \lesssim \Phi_{1}^{-1}\left(\frac{1}{ \varepsilon^{2+\alpha}}\right)\|F\|_{A^{\Phi_{1}}_{\alpha}}^{lux},   $$
thanks to Proposition \ref{pro:main1aq1apaq8}. We deduce that 
$$ \Phi_{2}(|F_{\varepsilon}(z)G_{m,\varepsilon}(z)|) \lesssim \Phi_{2}( |G_{m,\varepsilon}(z)|).   $$
Since  $G_{m,\varepsilon} \in A^{\Phi_{2}}_{\beta}(\mathbb{C_{+}})$, thanks to Proposition \ref{pro:main18}, it follows that  $F^{(\varepsilon)} \in A^{\Phi_{2}}_{\beta}(\mathbb{C_{+}})$. 

\medskip

Now, for  $t\geq 0$, put 
$$  \widetilde{\Phi}(t)=\Phi\left(t^{2/a_{\Phi_{1}}}\right).    $$
By construction,  $\widetilde{\Phi} \in \mathscr{U} \cap \nabla_{2}$. Since $F\in L^{\Phi_{1}}(\mathbb{C}_{+}, dV_{\alpha})$, we deduce that $|F|^{a_{\Phi_{1}}/2}\in L^{\widetilde{\Phi}}(\mathbb{C}_{+}, dV_{\alpha})$. It follows that $\mathcal{M}_{\alpha}\left(|F|^{a_{\Phi_{1}}/2}\right) \in L^{\widetilde{\Phi}}(\mathbb{C}_{+}, dV_{\alpha})$, thanks to Proposition \ref{pro:mainplaqaqq6}. As
$$   \lim_{\varepsilon \to 0} F^{(\varepsilon)}(z) = F(z),   
   $$
for all  $z \in \mathbb{C_{+}}$ and
$$ 
 |F(z)-F_{\varepsilon}(z)| \lesssim \left(\mathcal{M}_{\alpha}\left(|F|^{a_{\Phi_{1}}/2}\right)(z) \right)^{2/a_{\Phi_{1}}},    $$
according to the dominated convergence theorem, we have 
 for all  $\lambda>0$,
$$ \lim_{\varepsilon \to 0} \int_{\mathbb{C}_{+}} \Phi_{1}\left(\lambda|F(z)-F^{(\varepsilon)}(z)|\right)dV_{\alpha}(z) = \int_{\mathbb{C}_{+}}\lim_{\varepsilon \to 0} \Phi_{1}\left(\lambda|F(z)-F^{(\varepsilon)}(z)|\right)dV_{\alpha}(z)=0. $$
We conclude that $F^{(\varepsilon)} \in A^{\Phi_{1}}_{\alpha}(\mathbb{C_{+}})\cap A^{\Phi_{2}}_{\beta}(\mathbb{C_{+}})$ and 
$$  \lim_{\varepsilon \to 0}\|F^{(\varepsilon)}-F\|_{A^{\Phi}_{\alpha}}^{lux} =0.  $$
The proof is complete.
\end{proof}
 

Let $\alpha>-1$. The Bergman kernel on $\mathbb{C}_{+}$ is defined by 
\begin{equation}\label{eq:fo4nAQ1l}
K_{\alpha}(z,\omega) =\left(\frac{z-\overline{\omega}}{i}\right)^{-\alpha-2}, ~~ \forall~ z, \omega \in \mathbb{C}_{+}.
\end{equation}
Let  $\alpha>-1$ and $F$  a measurable function on $\mathbb{C}_{+}$. The Bergman projection and positive Bergman operator of $F$ are respectively defined by
$$  \mathcal{P}_{\alpha}(F)(z):= \int_{\mathbb{C}_{+}}K_{\alpha}(z,\omega)F(\omega)dV_{\alpha}(\omega), ~~ \forall~z \in \mathbb{C}_{+}  $$
and
$$  \mathcal{P}_{\alpha}^{+}(F)(z):= \int_{\mathbb{C}_{+}}|K_{\alpha}(z,\omega)|F(\omega)dV_{\alpha}(\omega), ~~ \forall~z \in \mathbb{C}_{+}.  $$

\begin{proposition}\label{pro:mainplaq6}
Let   $\alpha>-1$ and $\Phi \in \mathscr{U} \cap \nabla_{2}$. For $z \in \mathbb{C}_{+}$, the  Bergman kernel $K_{\alpha}(z,.)\in A^{\Phi}_{\alpha}(\mathbb{C_{+}})$. 
\end{proposition} 

\begin{proof}
The proof follows from Lemma \ref{pro:main26} and Lemma \ref{pro:main27}.
\end{proof}

We have the following.
\begin{theorem}\label{pro:mainplaqaaqaaqq6}
Let   $\alpha>-1$ and $\Phi \in \mathscr{U} \cap \nabla_{2}$. The following assertions are satisfied:
\begin{itemize}
\item[(i)]  $\mathcal{P}_{\alpha}: L^{\Phi}(\mathbb{C}_{+}, dV_{\alpha}) \longrightarrow A_{\alpha}^{\Phi}(\mathbb{C}_{+})$ is bounded.
\item[(ii)]  $\mathcal{P}_{\alpha}^{+}: L^{\Phi}(\mathbb{C}_{+}, dV_{\alpha})\longrightarrow L^{\Phi}(\mathbb{C}_{+}, dV_{\alpha})$ is bounded.
\end{itemize}
\end{theorem} 


\begin{proof}
Since 
$$ | \mathcal{P}_{\alpha}(F)(z)| \leq \mathcal{P}_{\alpha}^{+}(|F|)(z), ~~ \forall~ z \in \mathbb{C}_{+}, ~~ \forall~F \in L^{\Phi}(\mathbb{C}_{+}, dV_{\alpha}),   $$
it will suffice to prove that $\mathcal{P}_{\alpha}^{+}$ is bounded from $L^{\Phi}(\mathbb{C}_{+}, dV_{\alpha})$ to $L^{\Phi}(\mathbb{C}_{+}, dV_{\alpha})$ 
\medskip

For $z_{0}=x_{0}+iy_{0} \in \mathbb{C}_{+}$ and $j \in \mathbb{N}$,
consider $I_{j}$ the interval centered $x_{0}$ with $|I_{j}|=2^{j+1}y_{0}$ and $Q_{I_{j}} $ its associated Carleson square. Put $$ E(Q_{I_{j}}):=Q_{I_{j}}\backslash Q_{I_{j-1}},~~\forall ~j\geq 1 ~~~\text{and}~~~ E(Q_{I_{0}})=Q_{I_{0}}.  $$
By construction, the $\{E(Q_{I_{j}})\}_{j\in \mathbb{N}}$ are pairwise disjoint and form a partition of $\mathbb{C}_{+}$. Moreover,
\begin{equation}\label{eq:ualp5rson}
|E(Q_{I_{j}})|_{\alpha} =\left(1-\frac{1}{2^{2+\alpha}}\right) |Q_{I_{j}}|_{\alpha},~~\forall ~j\geq 1 ~~~\text{and}~~~ |E(Q_{I_{0}})|_{\alpha}= |Q_{I_{0}}|_{\alpha}. \end{equation}
Also,
\begin{equation}\label{eq:ualp5n}
|\omega-\overline{z_{0}}|^{2+\alpha} \geq C_{\alpha}|Q_{I_{j}}|_{\alpha},~~\forall ~\omega \in E(Q_{I_{j}}),~~\forall ~j\geq 0.
\end{equation}
For $F \in L^{\Phi}(\mathbb{C}_{+}, dV_{\alpha})$, we have
\begin{align*}
\mathcal{P}_{\alpha}^{+}(|F|)(z_{0})&=\sum_{j\in \mathbb{N}} \int_{E(Q_{I_{j}})} \frac{|F(\omega)|}{|\omega-\overline{z_{0}}|^{2+\alpha}}dV_{\alpha}(\omega) \\
&\lesssim \sum_{j\in \mathbb{N}} \frac{1}{|Q_{I_{j}}|_{\alpha}}\int_{E(Q_{I_{j}})} |F(\omega)|dV_{\alpha}(\omega) \\
&\lesssim  \sum_{j\in \mathbb{N}} \left( \frac{1}{|Q_{I_{j}}|_{\alpha}}\int_{Q_{I_{j}}} |F(\omega)|dV_{\alpha}(\omega) \right)\chi_{Q_{I_{j}}}(z_{0}).
\end{align*}
Let $\Psi$ be the complementary function of  $\Phi$. Since  $\Phi \in \mathscr{U} \cap \nabla_{2}$, we have that   $\Psi \in \mathscr{U} \cap \nabla_{2}$. It follows that $\mathcal{M}_{\alpha}$ is bounded respectively on  $L^{\Phi}(\mathbb{C}_{+}, dV_{\alpha})$ and on  $L^{\Psi}(\mathbb{C}_{+}, dV_{\alpha})$, according to Proposition \ref{pro:mainplaqaqq6}.
Let  $G \in L^{\Psi}(\mathbb{C}_{+}, dV_{\alpha})$ such that $\|G\|_{L_{\alpha}^{\Psi}}^{lux} \leq 1$. We have 
\begin{align*}
\int_{\mathbb{C}_{+}}|\mathcal{P}_{\alpha}^{+}(F)(z)G(z)|dV_{\alpha}(z)&\lesssim \int_{\mathbb{C}_{+}}\sum_{j\in \mathbb{N}} \left( \frac{1}{|Q_{I_{j}}|_{\alpha}}\int_{Q_{I_{j}}} |F(\omega)|dV_{\alpha}(\omega) \right)\chi_{Q_{I_{j}}}(z)|G(z)|dV_{\alpha}(z)\\
&= \sum_{j\in \mathbb{N}} \left( \frac{1}{|Q_{I_{j}}|_{\alpha}}\int_{Q_{I_{j}}} |F(\omega)|dV_{\alpha}(\omega) \right)\left(\frac{1}{|Q_{I_{j}}|_{\alpha}}\int_{Q_{I_{j}}}|G(z)|dV_{\alpha}(z)\right)|Q_{I_{j}}|_{\alpha}\\
&\lesssim \sum_{j\in \mathbb{N}} \int_{E(Q_{I_{j}})}\left( \frac{1}{|Q_{I_{j}}|_{\alpha}}\int_{Q_{I_{j}}} |F(\omega)|dV_{\alpha}(\omega) \right)\left(\frac{1}{|Q_{I_{j}}|_{\alpha}}\int_{Q_{I_{j}}}|G(\omega)|dV_{\alpha}(\omega)\right)dV_{\alpha}(z)\\
&\lesssim \sum_{j\in \mathbb{N}} \int_{E(Q_{I_{j}})}\mathcal{M}_{\alpha}(F)(z)\mathcal{M}_{\alpha}(G)(z)dV_{\alpha}(z)\\
&=\int_{\mathbb{C}_{+}}\mathcal{M}_{\alpha}(F)(z)\mathcal{M}_{\alpha}(G)(z)dV_{\alpha}(z)\\
&\lesssim \|\mathcal{M}_{\alpha}(F)\|_{L_{\alpha}^{\Phi}}^{lux} \|\mathcal{M}_{\alpha}(G)\|_{L_{\alpha}^{\Psi}}^{lux} \\
&\lesssim \|F\|_{L_{\alpha}^{\Phi}}^{lux} \|G\|_{L_{\alpha}^{\Psi}}^{lux} 
\lesssim \|F\|_{L_{\alpha}^{\Phi}}^{lux}.
\end{align*}
\end{proof}


\begin{lemma}\label{pro:mainplaqzepama6}
Let   $\alpha>-1$ and   $\Phi \in  \mathscr{U}\cap \nabla_{2}$. For $F\in A^{\Phi}_{\alpha}(\mathbb{C_{+}})$, we have
$$ F(z)= \mathcal{P}_{\alpha}(F)(z), ~~ \forall~z \in \mathbb{C}_{+}.  $$
\end{lemma} 


\begin{proof}
For $F\in A^{\Phi}_{\alpha}(\mathbb{C_{+}})$, there exists a sequence $\{F_{n}\}_{n}$ in $A^{2}_{\alpha}(\mathbb{C_{+}}) \cap A^{\Phi}_{\alpha}(\mathbb{C_{+}})$ such that $$ \lim_{n \to \infty}\|F_{n}-F\|_{A_{\alpha}^{\Phi}}^{lux}=0,    $$
according to Lemma \ref{pro:main11aqaaqm8}. For $n \geq 1$, since $F_{n} \in A^{2}_{\alpha}(\mathbb{C_{+}})$,  we have 
$$  F_{n}(z)=\mathcal{P}_{\alpha}(F_{n})(z) , ~~ \forall~z \in \mathbb{C}_{+}.    $$
For $z \in \mathbb{C}_{+}$, we have 
\begin{align*}
|F(z)-\mathcal{P}_{\alpha}(F)(z)|&= |F(z)-F_{n}(z)+\mathcal{P}_{\alpha}(F_{n})(z)-\mathcal{P}_{\alpha}(F)(z)| \\
&\leq |F(z)-F_{n}(z)| + |\mathcal{P}_{\alpha}(F-F_{n})(z)| \\
&\leq |F(z)-F_{n}(z)| + 2\|K_{\alpha}(z,.)\|_{A_{\alpha}^{\Psi}}^{lux} \|F-F_{n}\|_{A_{\alpha}^{\Phi}}^{lux}, 
\end{align*}
where  $\Psi$ is the complementary function of $\Phi$. Taking the limit when $n\to\infty$, we deduce that 
$ F(z)=\mathcal{P}_{\alpha}(F)(z)$.
\end{proof}

\begin{theorem}\label{pro:main 5aqk3pl}
Let   $\alpha>-1$ and $\Phi \in \mathscr{U} \cap \nabla_{2}$.  The topological dual   $\left(A_{\alpha}^{\Phi}(\mathbb{C}_{+})\right)^{*}$ of $A_{\alpha}^{\Phi}(\mathbb{C}_{+})$     is isomorphic to $A_{\alpha}^{\Psi}(\mathbb{C}_{+})$, in the sense that, for all  $T\in \left(A_{\alpha}^{\Phi}(\mathbb{C}_{+})\right)^{*}$, there is a unique $G\in A_{\alpha}^{\Psi}(\mathbb{C}_{+})$ such that
 $$ T(F) = T_{G}(F):= \int_{0}^{\infty}\left(\int_{\mathbb{R}}F(x+iy)\overline{G(x+iy)}dx\right)y^{\alpha}dy, ~~ \forall~F\in A_{\alpha}^{\Phi}(\mathbb{C}_{+}), 
   $$
where $\Psi$ is the complementary function of $\Phi$.
\end{theorem}

\begin{proof}
Let  $T\in \left(A_{\alpha}^{\Phi}(\mathbb{C}_{+})\right)^{*}$. By Hahn Banach's theorem, $T$ extends to a bounded linear functional on $L^{\Phi}(\mathbb{C}_{+},dV_{\alpha})$
of the same norm. Since $\left(L^{\Phi}(\mathbb{C}_{+},dV_{\alpha})\right)^{*}=L^{\Psi}(\mathbb{C}_{+},dV_{\alpha})$, there exists a unique function $\widetilde{G}\in L^{\Psi}(\mathbb{C}_{+},dV_{\alpha})$ such that for $F\in A_{\alpha}^{\Phi}(\mathbb{C}_{+})$, 
 $$  T(F)= \int_{0}^{\infty}\left(\int_{\mathbb{R}}F(x+iy)\overline{\widetilde{G}(x+iy)}dx\right)y^{\alpha}dy     $$
and  $\|T\|_{(L_{\alpha}^{\Phi})^{*}}= \|\widetilde{G}\|_{L_{\alpha}^{\Psi}}$, (see \cite{raoren}).
Since $\mathcal{P}_{\alpha}$  is self-adjoint and $F=\mathcal{P}_{\alpha}(F)$, it follows that 
 $$  T(F)= \int_{0}^{\infty}\left(\int_{\mathbb{R}}\mathcal{P}_{\alpha}(F)(x+iy)\overline{\widetilde{G}(x+iy)}dx\right)y^{\alpha}dy = \int_{0}^{\infty}\left(\int_{\mathbb{R}}F(x+iy)\overline{\mathcal{P}_{\alpha}(\widetilde{G})(x+iy)}dx\right)y^{\alpha}dy,   $$
with $\mathcal{P}_{\alpha}(\widetilde{G}) \in A_{\alpha}^{\Psi}(\mathbb{C}_{+})$. Therefore, 
$   T=T_{G}$, with $G=\mathcal{P}_{\alpha}(\widetilde{G})$.
\end{proof}

\subsection{Orlicz space of sequences on  $\mathbb{C}_{+}$.}


Let $0<\delta< 1$ and   $\gamma$ the real number defined in (\ref{eq:uaa5aqn}). For $l,j\in \mathbb{Z}$, put 
\begin{align*}
I_{l,j}&:= \left] \frac{\delta^{2}}{4}\left(-1+\frac{l}{2} \right)2^{\gamma j};  \frac{\delta^{2}}{4}\left(1+\frac{l}{2} \right)2^{\gamma j}   \right[ \\
I_{l,j}'&:= \left] \frac{\delta^{2}}{4}\left(-\frac{1}{5}+\frac{l}{2} \right)2^{\gamma j};  \frac{\delta^{2}}{4}\left(\frac{1}{5}+\frac{l}{2} \right)2^{\gamma j}   \right[ \\
J_{j}&:= \left] \left(1-\frac{\delta^{2}}{4} \right)2^{\gamma j};  \left(1+\frac{\delta^{2}}{4} \right)2^{\gamma j}   \right[ \\
J_{j}'&:= \left] \left(1-\frac{\delta^{2}}{20} \right)^{1/4}2^{\gamma j};  \left(1+\frac{\delta^{2}}{20} \right)^{1/4}2^{\gamma j}   \right[. 
\end{align*}
We have
\begin{equation}\label{eq:5aaqn}
 |J_{j}|=|I_{l,j}|=\frac{\delta^{2}}{2}y_{l,j}, \hspace*{0.5cm} |I_{l,j}'|=\frac{\delta^{2}}{10}y_{l,j} \hspace*{0.5cm}\textrm{and} \hspace*{0.5cm} |J_{j}'|= C_{\delta}y_{l,j},
\end{equation}
where $C_{\delta}$ is a constant which depends only on $\delta$.

\medskip

For $y>0$ and $x \in \mathbb{R}$,  and  $j\in \mathbb{Z}$, put 
\begin{equation}\label{eq:5an}
L=L(y):=\{ j\in \mathbb{Z}: y \in J_{j}   \} \hspace*{0.5cm}\textrm{and} \hspace*{0.5cm} L_{j}=L_{j}(x):=\{ l\in \mathbb{Z}: x \in I_{j,l}   \}.
\end{equation}
We have 
\begin{equation}\label{eq:inpmpy}
\text{Card} (L_{j}(x)) \leq 4 \hspace*{1cm}\textrm{and} \hspace*{1cm} \text{Card} (L(y)) \leq N_{\delta},
\end{equation}
where  $\text{Card}(A)$ is the number of elements contained in the set $A$ and 
$N_{\delta} \geq 1$ is an integer  which depends only on $\delta$. The following properties hold.
 \begin{itemize}
 \item[(i)] $] 0; \infty [ =\cup_{j\in \mathbb{Z}}J_{j}$ and   $\mathbb{R}=\cup_{l\in \mathbb{Z}}I_{l,j}$, for $j\in \mathbb{Z}$ fixed;
 \item[(ii)] For  $j\in \mathbb{Z}$, $J_{j}' \subset J_{j}$ and    $J_{j+1}'\cap J_{j}'=\emptyset$; 
 \item[(iii)] For fixed  $j\in \mathbb{Z}$,  $I_{j,l}' \subset I_{j,l}$ and  $I_{j,l}'\cap I_{j,l+1}'=\emptyset$, for all  $l\in \mathbb{Z}$;
 \item[(iv)] For fixed  $j\in \mathbb{Z}$, each element  $x\in \mathbb{R}$ is in at most four intervals $I_{l,j}$;
 \item[(v)] There exists an integer $N$ such that any $y \in ] 0; \infty [$ is in at most $N$ intervals $J_{j}$.
 \end{itemize}


For $0<\delta< 1$, put 
 \begin{equation}\label{eq:uaa5n}
  s_{\delta}:=-1+ \left( 1+\delta^{2}/20\right)^{1/4}.
 \end{equation}
 We also have the following properties:
 \begin{itemize}
 \item[(a)] $\mathbb{C}_{+}=\cup_{l,j\in \mathbb{Z}} \mathcal{D}_{\delta}(z_{l,j})$;
\item[(b)] For  $l,j\in \mathbb{Z}$, $\mathcal{D}_{s_{\delta}}(z_{l,j}) \subset \mathcal{D}_{\delta}(z_{l,j})$ and $\mathcal{D}_{s_{\delta}}(z_{l,j}) \cap \mathcal{D}_{s_{\delta}}(z_{k,p}) =\emptyset$, for all $(l,j)\not=(k,p)$;
 \item[(c)] There is an integer  $N$ (depending only on $\delta$) such that each point of
 $\mathbb{C}_{+}$ belongs to at most $N$ of the disks $\mathcal{D}_{\delta}(z_{l,j})$.
\end{itemize}

\begin{lemma}\label{pro:mainqaqa6}
Let $\alpha>-1$,  $0<\delta<1$,    $\Phi \in \mathscr{L}\cup\mathscr{U}$ and  $\{z_{l,j}\}_{l,j\in \mathbb{Z}}$, the sequence defined in (\ref{eq:ua5n}).  For  $F\in A_{\alpha}^{\Phi}(\mathbb{C}_{+})$,  the sequence $\{F(z_{l,j})\}_{l,j\in \mathbb{Z}}$ belongs to $\ell^{\Phi}_{\alpha}(\mathbb{C_{+}})$.  Moreover,
\begin{equation}\label{eq:inaqqay}
\left\|\{F(z_{l,j})\}_{l,j\in \mathbb{Z}}\right\|_{\ell^{\Phi}_{\alpha}}^{lux}\leq C_{1} \|F\|_{A^{\Phi}_{\alpha}}^{lux}. 
 \end{equation}
Conversely, for $\delta$  small enough, we have 
\begin{equation}\label{eq:inay}
 \|F\|_{A^{\Phi}_{\alpha}}^{lux}\leq C_{2}\left\|\{F(z_{l,j})\}_{l,j\in \mathbb{Z}}\right\|_{\ell^{\Phi}_{\alpha}}^{lux},
 \end{equation}
where $C_{1}$ and $C_{2}$ are constants which depend only on $\Phi$, $\delta$ and $\alpha$.
\end{lemma} 




\begin{proof}
For  $0\not\equiv F \in A^{\Phi}_{\alpha}(\mathbb{C_{+}})$ and     $j,l\in \mathbb{Z}$, we have 
 $$  \Phi\left(\frac{|F(z_{l,j})|}{\|F\|_{A^{\Phi}_{\alpha}}^{lux}}\right)\lesssim \frac{1}{\left( \mathrm{Im}( z_{l,j})\right)^{2+\alpha}} \int_{\mathcal{D}_{s_{\delta}}\left(z_{l,j}\right)}\Phi\left(\frac{|F(u+iv)|}{\|F\|_{A^{\Phi}_{\alpha}}^{lux}}\right)dV_{\alpha}(u+iv),   $$
where $s_{\delta}$ is  the constant defined in (\ref{eq:uaa5n}), thanks to Proposition \ref{pro:main1q8}.
Since $\{\mathcal{D}_{s_{\delta}}\left(z_{l,j}\right)\}_{l,j\in \mathbb{Z}}$ is a sequence of pairwise disjoint sets, 
it follows that
\begin{align*}
\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\Phi\left(\frac{|F(z_{l,j})|}{\|F\|_{A^{\Phi}_{\alpha}}^{lux}}\right)2^{j\gamma (\alpha +2)}
&\lesssim  \sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}} \int_{\mathcal{D}_{s_{\delta}}\left(z_{l,j}\right)}\Phi\left(\frac{|F(u+iv)|}{\|F\|_{A^{\Phi}_{\alpha}}^{lux}}\right)dV_{\alpha}(u+iv) \\
&\lesssim \int_{\mathbb{C_{+}}}\Phi\left(\frac{|F(u+iv)|}{\|F\|_{A^{\Phi}_{\alpha}}^{lux}}\right)dV_{\alpha}(u+iv) 
\lesssim  1.
\end{align*}
Therefore,  $\{F(z_{l,j})\}_{l,j\in \mathbb{Z}}$ belongs to $\ell^{\Phi}_{\alpha}(\mathbb{C_{+}})$ and 
$$ \left\|\{F(z_{l,j})\}_{l,j\in \mathbb{Z}}\right\|_{\ell^{\Phi}_{\alpha}}^{lux}\lesssim \|F\|_{A^{\Phi}_{\alpha}}^{lux}. 
  $$
Now prove the inverse inequality. 

\medskip

We can assume that $\left\|\{F(z_{l,j})\}_{l,j\in \mathbb{Z}}\right\|_{\ell^{\Phi}_{\alpha}}^{lux}=1$. We have
\begin{align*}
\int_{0}^{+\infty}\int_{-\infty}^{+\infty}\Phi\left( |F(x+iy)|\right)y^{\alpha}dxdy 
&\leq K_{\Phi}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\int_{J_{j}}\int_{I_{l,j}}\Phi\left( |F(z_{l,j})|  \right)y^{\alpha}dxdy \\
&+ K_{\Phi}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\int_{J_{j}}\int_{I_{l,j}}\Phi\left( |F(x+iy)-F(z_{l,j})|  \right)y^{\alpha}dxdy,
\end{align*}
where $K_{\Phi}$ is a constant that depends only on $\Phi$. Put
 $$  I:=\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\int_{J_{j}}\int_{I_{l,j}}\Phi\left( |F(z_{l,j})|  \right)y^{\alpha}dxdy  $$
and 
$$  II:=\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\int_{J_{j}}\int_{I_{l,j}}\Phi\left( |F(x+iy)-F(z_{l,j})|  \right)y^{\alpha}dxdy.   $$

\medskip

Let us give an estimate of $I$. We have
\begin{align*}
\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\int_{J_{j}}\int_{I_{l,j}}\Phi\left( |F(z_{l,j})|  \right)y^{\alpha}dxdy  
&=\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\Phi\left( |F(z_{l,j})|  \right)\int_{J_{j}}\int_{I_{l,j}}y^{\alpha}dxdy \\
&\lesssim \sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\Phi\left( |F(z_{l,j})| \right)2^{\gamma j(\alpha+2)} \lesssim  1.
\end{align*}
We deduce that
\begin{equation}\label{eq:inqay}
I:=\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\int_{J_{j}}\int_{I_{l,j}}\Phi\left( |F(z_{l,j})|  \right)y^{\alpha}dxdy\lesssim 1.
\end{equation}

\medskip

Let us also give an estimate of $II$. The objective is to prove that 
\begin{equation}\label{eq:inqaaqy}
\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\int_{J_{j}}\int_{I_{l,j}}\Phi\left( |F(x+iy)-F(z_{l,j})|  \right)y^{\alpha}dxdy \leq C \int_{0}^{+\infty}\int_{-\infty}^{+\infty}\Phi\left( |F(x+iy)|\right)y^{\alpha}dxdy,  
\end{equation}
where $C$ is a constant such that   $0<C <1$.

\medskip

For $0<\delta <1$ and  $j \in \mathbb{Z}$, we have 
\begin{align*}
\int_{J_{j}'}y^{\alpha}dy&=\frac{2^{\gamma j(\alpha+1)}}{\alpha+1}\left(1+\delta^{2}/20 \right)^{(\alpha+1)/4}\left( 1- \left( \frac{1-\delta^{2}/20}{1+\delta^{2}/20}  \right)^{(\alpha+1)/4}       \right) \\
&\geq \frac{2^{\gamma j(\alpha+1)}}{\alpha+1}\left( 1- \left( \frac{1-\delta^{2}/20}{1+\delta^{2}/20}  \right)^{(\alpha+1)/4}       \right)
\end{align*}
and 
\begin{align*}
\int_{J_{j}}y^{\alpha}dy&=\frac{2^{\gamma j(\alpha+1)}}{\alpha+1}\left(1+\delta^{2}/4 \right)^{\alpha+1}\left( 1- \left( \frac{1-\delta^{2}/4}{1+\delta^{2}/4}  \right)^{\alpha+1}       \right) \\
&\leq\frac{2^{\gamma j(\alpha+1)}}{\alpha+1}\times 2^{\alpha+1}\left( 1- \left( \frac{1-\delta^{2}/4}{1+\delta^{2}/4}  \right)^{\alpha+1}       \right). 
\end{align*}
We deduce that
\begin{equation}\label{eq:inqaaaqy}
\int_{J_{j}}y^{\alpha}dy \leq  C_{1} \int_{J_{j}'}y^{\alpha}dy,
\end{equation}
where 
$$ C_{1}:= 2^{\alpha+1}\left( 1- \left( \frac{1-\delta^{2}/4}{1+\delta^{2}/4}  \right)^{\alpha+1}       \right)\left( 1- \left( \frac{1-\delta^{2}/20}{1+\delta^{2}/20}  \right)^{(\alpha+1)/4}       \right)^{-1}.
   $$
We also have
\begin{equation}\label{eq:inqaaqaqy}
|I_{l,j}|=\frac{\delta^{2}}{2}y_{l,j}=5|I_{l,j}'|,
\end{equation}
for all  $l,j \in \mathbb{Z}$, thanks to relation (\ref{eq:5aaqn}).  

\medskip

Let  $0<\delta<1$ such that $(1+7\sqrt{2})\delta<1$. Put 
$$ s_{1}:=\delta\left[  \frac{1}{\sqrt{2}}\left(1- \delta \right)  \right]^{-1} \hspace*{0.5cm}\textrm{and} \hspace*{0.5cm}  s_{2}:=3s_{1}\left[  \frac{1}{\sqrt{2}}\left(1- s_{1} \right)  \right]^{-1}. $$
Since  $(1+7\sqrt{2})\delta<1$, we deduce that  $\delta<1/4$, $(1+\sqrt{2})\delta<1$ and $0<s_{1}, s_{2}<1$. Let  $l,j \in \mathbb{Z}$. For  $x \in I_{j,l}$ and $y \in J_{j}$,  we have 
\begin{align*}
|x+iy- z_{l,j}| &\leq |x- x_{l,j}|+|y- y_{l,j}| 
\leq | I_{l,j}|+| J_{j}|  \\
&= \frac{\delta^{2}}{2}y_{l,j}+ \frac{\delta^{2}}{2}y_{l,j}= \delta^{2}y_{l,j} 
<\frac{\delta}{4}y_{l,j}, 
\end{align*}
thanks to relation (\ref{eq:espeqs1}). We deduce that,  $x+iy \in \mathcal{D}_{s_{1}}(z_{l,j})$, since $\delta<s_{1}$. It follows that, 
$$  \left[  \frac{1}{\sqrt{2}}\left(1- s_{1} \right)  \right] y < y_{l,j} < \left[  \frac{1}{\sqrt{2}}\left(1- s_{1} \right)  \right]^{-1} y,$$
thanks to Relation (\ref{eq:espqeqs1}). Therefore, the disk $\mathcal{D}_{s_{1}}(z_{l,j})$ is contained in disk $\mathcal{D}_{s_{2}}(x+iy)$. Indeed, for $u+iv \in \mathcal{D}_{s_{1}}(z_{l,j})$, we have
\begin{align*}
|x+iy- (u+iv)| &\leq |x- u|+|y- v| \\
&\leq |x- x_{l,j}|+|u- x_{l,j}|+|y- y_{l,j}|+|y_{l,j}- v| \\
&\leq \frac{\delta^{2}}{2}y_{l,j}+s_{1}y_{l,j}+\frac{\delta^{2}}{2}y_{l,j}+s_{1}y_{l,j} \\
&\leq 3s_{1}y_{l,j} 
\leq 3s_{1}\left[  \frac{1}{\sqrt{2}}\left(1- s_{1} \right)  \right]^{-1} y = s_{2}y.
\end{align*}
According to Proposition \ref{pro:main1q8}, we have
\begin{align*}
\Phi\left( |F(x+iy)-F(z_{l,j})|  \right)
&\leq C_{2}\int \int_{\mathcal{D}_{s_{1}}(z_{l,j})}\Phi\left( |F(u+iv)|  \right)\frac{dudv}{v^{2}} \\
&\leq C_{2}\int \int_{\mathcal{D}_{s_{2}}(x+iy)}\Phi\left( |F(u+iv)|  \right)\frac{dudv}{v^{2}} \\
&\leq C_{2}\int_{|x- u| < s_{2}y}\int_{|y- v| < s_{2}y}\Phi\left( |F(u+iv)|  \right)\frac{dudv}{v^{2}},
\end{align*}
where  $C_{2}$ is the constant independent of $\delta$  appearing in the relation (\ref{eq:inegqhay}). 

For  $0<\delta<1$ such that $(1+7\sqrt{2})\delta<1$, we have
\begin{align*}
II(j,l)&:=\int_{J_{j}}\int_{I_{l,j}}\Phi\left( |F(x+iy)-F(z_{l,j})|  \right)y^{\alpha}dxdy \\
&\leq C_{2} \int_{J_{j}}\int_{I_{l,j}}\left(\int \int_{\mathcal{D}_{s_{1}}(z_{l,j})}\Phi\left( |F(u+iv)|  \right)\frac{dudv}{v^{2}}\right)y^{\alpha}dxdy\\
&\leq 5C_{1}C_{2} \int_{J_{j}'}\int_{I_{l,j}'}\left(\int \int_{\mathcal{D}_{s_{1}}(z_{l,j})}\Phi\left( |F(u+iv)|  \right)\frac{dudv}{v^{2}}\right)y^{\alpha}dxdy \\
&\leq 5C_{1}C_{2} \int_{J_{j}'}\int_{I_{l,j}'}\left(\int_{|x- u| < s_{2}y}\int_{|y- v| < s_{2}y}\Phi\left( |F(u+iv)|  \right)\frac{dudv}{v^{2}}\right)y^{\alpha}dxdy, 
\end{align*}
thanks to the inequality (\ref{eq:inqaaaqy}). It follows that, 
\begin{align*}
II&:= \sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\int_{J_{j}}\int_{I_{l,j}}\Phi\left( |F(x+iy)-F(z_{l,j})|  \right)y^{\alpha}dxdy \\
&\leq 5C_{1}C_{2}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\int_{J_{j}'}\int_{I_{l,j}'}\left(  \int_{|x- u| < s_{2}y}\int_{|y- v| < s_{2}y}\Phi\left( |F(u+iv)|  \right)\frac{dudv}{v^{2}} \right)y^{\alpha}dxdy \\
&=5C_{1}C_{2} \int_{\cup_{j\in \mathbb{Z}}J_{j}'}\int_{\cup_{l\in \mathbb{Z}}I_{l,j}'}\int_{(1-s_{2})y}^{(1+s_{2})y}\Phi\left( |F(u+iv)| \right) \left(\int_{u-s_{2}y}^{u+s_{2}y} dx \right) \frac{dudv}{v^{2}}y^{\alpha}dy \\
&\leq 10s_{2}C_{1}C_{2}\int_{0}^{\infty}\int_{(1-s_{2})y}^{(1+s_{2})y}\left(\int_{-\infty}^{\infty}\Phi\left( |F(u+iv)| \right) du \right)\frac{dv}{v^{2}}y^{\alpha+1}dy \\
&= 10s_{2}C_{1}C_{2}\int_{0}^{\infty}\int_{(1-s_{2})y}^{(1+s_{2})y}\|F(.+iv)\|_{L^{\Phi}}v^{-2}y^{\alpha+1}dvdy.
\end{align*}
Since the function $v\mapsto \|F(.+iv)\|_{L^{\Phi}}$ is non-increasing on $(0, \infty)$, we have
\begin{align*}
\int_{0}^{\infty}\int_{(1-s_{2})y}^{(1+s_{2})y}\|F(.+iv)\|_{L^{\Phi}}v^{-2}y^{\alpha+1}dvdy &\leq \int_{0}^{\infty}\|F(.+i(1-s_{2})y)\|_{L^{\Phi}}\left(\int_{(1-s_{2})y}^{(1+s_{2})y}v^{-2}dv\right)y^{\alpha+1}dy \\
&\leq \frac{2s_{2}}{(1-s_{2})^{2}} \int_{0}^{\infty}\|F(.+i(1-s_{2})y)\|_{L^{\Phi}}y^{\alpha}dy \\
&= \frac{2s_{2}}{(1-s_{2})^{3+\alpha}} \int_{0}^{\infty}\|F(.+iy)\|_{L^{\Phi}}y^{\alpha}dy.
\end{align*}
We deduce that
$$ \sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\int_{J_{j}}\int_{I_{l,j}}\Phi\left( |F(x+iy)-F(z_{l,j})|  \right)y^{\alpha}dxdy \leq \frac{20s_{2}^{2}C_{1}C_{2}}{(1-s_{2})^{3+\alpha}} \int_{0}^{\infty}\|F(.+iy)\|_{L^{\Phi}}y^{\alpha}dy.  $$
Put 
$$  C=C_{\Phi,\alpha,\delta}:=\frac{20s_{2}^{2}C_{1}C_{2}K_{\Phi}}{(1-s_{2})^{3+\alpha}}.     $$
Note that $C$ tends towards zero when $\delta$ is very small. We can therefore choose $\delta$ such that  $0<C<1$. This proves that (\ref{eq:inqaaqy}) holds. The proof is complete.
\end{proof}


\begin{lemma}\label{pro:mainqaqaqq6}
Let $\alpha>-1$,  $0<\delta<1$,  $\Phi \in \mathscr{U} \cap \nabla_{2}$ and  $\mu:=\{\mu_{l,j}\}_{l,j\in \mathbb{Z}} \in \ell^{\Phi}_{\alpha}(\mathbb{C_{+}})$. For $l,j\in \mathbb{Z}$ and  $z \in \mathbb{C}_{+}$,  put 
\begin{equation}\label{eq:imay}
F_{l,j}(z) =2^{\alpha+2}\mu_{l,j}\left(  \frac{z-\overline{z_{l,j}}}{i} \right)^{-\alpha-2}2^{j\gamma (\alpha +2)}.
\end{equation}
Then the functions $F_{l,j}$ and $\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}F_{l,j}$ belong to  $A_{\alpha}^{\Phi}(\mathbb{C}_{+})$. Moreover, 
\begin{equation}\label{eq:inaqqaqqay}
F_{l,j}(z_{l,j})=\mu_{l,j}
 \end{equation}
and
\begin{equation}\label{eq:ingaaaqqy}
 \left\|\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}|F_{l,j}|\right\|_{L^{\Phi}_{\alpha}}^{lux} \sim \left\|\mu\right\|_{\ell^{\Phi}_{\alpha}}^{lux}.
 \end{equation}
\end{lemma} 


\begin{proof}
Assume that $\mu\not\equiv 0$ because there is nothing to show when $\mu \equiv 0$. We can assume also without loss of generality that $\left\|\mu\right\|_{\ell^{\Phi}_{\alpha}}^{lux}=1$.

\medskip

Let  $ 0\not\equiv G \in L^{\Psi}(\mathbb{C}_{+}, dV_{\alpha})$ such that $\|G\|_{L^{\Psi}_{\alpha}}^{lux}= 1$, where  $\Psi$ is the complementary function of $\Phi$. For  $l,j\in \mathbb{Z}$, we have
\begin{align*}
\int_{\mathbb{C}_{+}}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}|F_{lj}(z)G(z)|dV_{\alpha}(z) &\lesssim \sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}} |\mu_{l,j}|2^{j\gamma (\alpha +2)}\int_{\mathbb{C}_{+}}|K_{\alpha}(z_{l,j},z)|G(z)|dV_{\alpha}(z) \\
&\lesssim \sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}} |\mu_{l,j}|\mathcal{P}_{\alpha}^{+}(|G|)(z_{l,j})2^{j\gamma (\alpha +2)} \\
&\lesssim \sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\Phi(|\mu_{l,j}|)2^{j\gamma (\alpha +2)} + \sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}} \Psi\left(  |\mathcal{P}_{\alpha}^{+}(|G|)(z_{l,j}) \right)2^{j\gamma (\alpha +2)} \\
&\lesssim 1 + \sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}} \Psi\left(  |\mathcal{P}_{\alpha}^{+}(|G|)(z_{l,j}) \right)2^{j\gamma (\alpha +2)},
\end{align*}
thanks to Young's inequality in Orlicz spaces. Let us now show that
$$  \sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}} \Psi\left(  |\mathcal{P}_{\alpha}^{+}(|G|)(z_{l,j}) \right)2^{j\gamma (\alpha +2)}  < \infty.   $$
We have
\begin{align*}
\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\Psi\left(|\mathcal{P}_{\alpha}^{+}(|G|)(z_{l,j})|\right)2^{j\gamma (\alpha +2)} &\lesssim \sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}} \int_{\mathcal{D}_{_{s_{\delta}}}\left(z_{l,j}\right)}  \Psi\left(|\mathcal{P}_{\alpha}^{+}(|G|)(z_{l,j})|\right)dV_{\alpha}(z) \\
&= \sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}} \int_{\mathcal{D}_{_{s_{\delta}}}\left(z_{l,j}\right)}  \Psi\left(\int_{\mathbb{C}_{+}}|K_{\alpha}(z_{l,j},\omega)| |G(\omega)|dV_{\alpha}(\omega) \right)dV_{\alpha}(z),
\end{align*}
where $s_{\delta}$ is a constant in (\ref{eq:uaa5n}). Let $l,j\in \mathbb{Z}$. For $z \in \mathcal{D}_{_{s_{\delta}}}\left(z_{l,j}\right)$ and $\omega \in \mathbb{C}_{+}$, we have
\begin{align*}
|z-\overline{\omega}| \leq |z-z_{l,j}|+|z_{l,j}-\overline{\omega}|  &\Rightarrow \frac{|z-\overline{\omega}|}{|z_{l,j}-\overline{\omega}|}\leq  \frac{s_{\delta}\mathrm{Im}(z_{l,j})}{|z_{l,j}-\overline{\omega}|}+1 \leq s_{\delta} + 1 \leq 2 \\
&\Rightarrow \frac{|K_{\alpha}(z_{l,j},\omega)|}{|K_{\alpha}(z,\omega)|}  \leq 2^{\alpha+2}.
\end{align*}
Since $\{\mathcal{D}_{s_{\delta}}\left(z_{l,j}\right)\}_{l,j\in \mathbb{Z}}$  is a sequence of pairwise disjoint sets,   it follows that
\begin{align*}
&\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\int_{\mathcal{D}_{_{s_{\delta}}}\left(z_{l,j}\right)}  \Psi\left(\int_{\mathbb{C}_{+}}|K_{\alpha}(z_{l,j},\omega)| |G(\omega)|dV_{\alpha}(\omega) \right)dV_{\alpha}(z) \\
 &=\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}} \int_{\mathcal{D}_{_{s_{\delta}}}\left(z_{l,j}\right)}  \Psi\left(\int_{\mathbb{C}_{+}}|K_{\alpha}(z,\omega)|\frac{|K_{\alpha}(z_{l,j},\omega)|}{|K_{\alpha}(z,\omega)|}|G(\omega)|dV_{\alpha}(\omega)\right)dV_{\alpha}(z) \\
 &\lesssim\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}} \int_{\mathcal{D}_{_{s_{\delta}}}\left(z_{l,j}\right)}  \Psi\left(\int_{\mathbb{C}_{+}}|K_{\alpha}(z,\omega)||G(\omega)|dV_{\alpha}(\omega)\right)dV_{\alpha}(z) \\
 &= \int_{\cup_{j,l \in \mathbb{Z} }\mathcal{D}_{_{s_{\delta}}}\left(z_{l,j}\right)}  \Psi\left(|\mathcal{P}_{\alpha}^{+}(|G|)(z)\right)dV_{\alpha}(z) \\ 
 &\lesssim \int_{\mathbb{C}_{+}}  \Psi\left(|\mathcal{P}_{\alpha}^{+}(|G|)(z)\right)dV_{\alpha}(z)  \lesssim \int_{\mathbb{C}_{+}} \Psi(|G(z)|) dV_{\alpha}(z) \lesssim 1, 
  \end{align*}
according to Theorem \ref{pro:mainplaqaaqaaqq6}. We deduce that, the function $\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}|F_{l,j}|$ belongs to $L^{\Phi}(\mathbb{C}_{+}, dV_{\alpha})$ and 
$$\left\|\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}|F_{l,j}|\right\|_{L^{\Phi}_{\alpha}}^{lux} \lesssim \left\|\mu\right\|_{\ell^{\Phi}_{\alpha}}^{lux}. $$
Since $F_{l,j}$ and $\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}F_{l,j}$ are analytic functions on  $\mathbb{C}_{+}$, it follows that they belong to  $A_{\alpha}^{\Phi}(\mathbb{C}_{+})$.


\medskip

Conversely,  
since  $F_{l,j}$ is analytic on $\mathbb{C}_{+}$, we have
$$ \Phi\left(|F_{l,j}(z_{l,j})|\right)\lesssim \frac{1}{\mathrm{Im}( z_{l,j})^{2+\alpha}} \int_{\mathcal{D}_{s_{\delta}}\left(z_{l,j}\right)}\Phi\left(|F_{l,j}(\omega)|\right)dV_{\alpha}(\omega),   $$
thanks to Proposition \ref{pro:main1q8}. Moreover, it is easy to verify that $  F_{l,j}(z_{l,j})= \mu_{l,j}.  $ Put
$  \lambda:=  \left\|\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}|F_{l,j}|\right\|_{L^{\Phi}_{\alpha}}^{lux}.$
We have
\begin{align*}
\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\Phi\left(\frac{|\mu_{l,j}|}{\lambda}\right)2^{j\gamma (\alpha +2)} &\lesssim \sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}} \int_{\mathcal{D}_{s_{\delta}}\left(z_{l,j}\right)}  \Phi\left(\frac{\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}|F_{l,j}(\omega)|}{\lambda}\right)dV_{\alpha}(\omega) \\
&\lesssim \int_{\mathbb{C}_{+}}\Phi\left(\frac{\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}|F_{l,j}(\omega)|}{\lambda}\right)dV_{\alpha}(\omega) \lesssim  1, 
\end{align*}
We  deduce that, $ \left\|\mu\right\|_{\ell^{\Phi}_{\alpha}}^{lux}\lesssim \lambda.$
\end{proof}


\begin{proposition}\label{pro:main12am0}
Let $\alpha>-1$,   $0<\delta<1$ and  $\Phi \in  \mathscr{U}\cap \nabla_{2}$. The sequence space $(\ell^{\Phi}_{\alpha}(\mathbb{C_{+}}),  \|.\|_{\ell^{\Phi}_{\alpha}}^{lux})$ is a Banach space.
\end{proposition}

\begin{proof}
Let $(\lambda^{(n)})_{n\in \mathbb{N}}$ be a Cauchy sequence of elements of $\ell^{\Phi}_{\alpha}(\mathbb{C_{+ }})$, where $\lambda^{(n)}:= \{\lambda_{l,j}^{(n)}\}_{l,j\in \mathbb{Z}}$, for all $n\in \mathbb{N}$.
For $\varepsilon >0$,  there exists $n_{\varepsilon}\in \mathbb{N}$ such that for all $ n,m \geq n_{\varepsilon}$, $\|\lambda^{(n)}-\lambda^{(m)}\|_{\ell^{\Phi}_{\alpha}}^{lux}\leq \varepsilon.$
For  $l,j\in \mathbb{Z}$ and $n\in \mathbb{N}$, 
consider the function $F_{l,j}^{(n)}$ defined by
$$  F_{l,j}^{(n)}(z) =2^{\alpha+2}\lambda_{l,j}^{(n)}\left(  \frac{z-\overline{z_{l,j}}}{i} \right)^{-\alpha-2}2^{j\gamma (\alpha +2)},~~ \forall~z \in \mathbb{C}_{+}.
   $$
By construction the function  $F_{l,j}^{(n)}$ belongs to  $A_{\alpha}^{\Phi}(\mathbb{C}_{+})$. Moreover,  $F_{l,j}^{(n)}(z_{l,j})= \lambda_{l,j}^{(n)}$ and 
$$  \left\|\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}|F_{l,j}^{(n)}|\right\|_{L^{\Phi}_{\alpha}}^{lux} \sim \left\|\lambda^{(n)}\right\|_{\ell^{\Phi}_{\alpha}}^{lux},  $$
thanks to Lemma \ref{pro:mainqaqaqq6}. For  $ n,m \geq n_{\varepsilon}$,  we have 
 $$\left\|F_{l,j}^{(n)}-F_{l,j}^{(m)} \right\|_{A^{\Phi}_{\alpha}}^{lux} \lesssim \left\|\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}|F_{l,j}^{(n)}-F_{l,j}^{(m)}|\right\|_{L^{\Phi}_{\alpha}}^{lux}\lesssim \left\|\lambda^{(n)}-\lambda^{(m)}\right\|_{\ell^{\Phi}_{\alpha}}^{lux}\lesssim \varepsilon.$$
We deduce that,   $\left(F_{l,j}^{(n)}\right)_{n}$ is a Cauchy sequence in $A^{\Phi}_{\alpha}(\mathbb{C_{+ }})$. Since $A^{\Phi}_{\alpha}(\mathbb{C_{+ }})$ is a Banach space, there exists $F \in A^{\Phi}_{\alpha}(\mathbb{C_{+ }})$ and  $n_{\varepsilon}'\in \mathbb{N}$ such that for  $ n \geq n_{\varepsilon}'$, 
$   \|F_{l,j}^{(n)}-F\|_{A^{\Phi}_{\alpha}}^{lux} \leq \varepsilon. $
For  $ n \geq n_{\varepsilon}'$, we have
\begin{align*}
\Phi\left( \frac{|\lambda_{l,j}^{(n)}-F(z_{l,j})|}{\varepsilon}  \right)2^{j\gamma (\alpha +2)}&=
\Phi\left( \frac{|F_{l,j}^{(n)}(z_{l,j})-F(z_{l,j})|}{\varepsilon}  \right)2^{j\gamma (\alpha +2)} \\
&\lesssim \int_{\mathcal{D}_{s_{\delta}}\left(z_{l,j}\right)}\Phi\left( \frac{\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}|F_{l,j}^{(n)}(\omega)-F(\omega)|}{\varepsilon} \right)dV_{\alpha}(\omega),
\end{align*}
where $s_{\delta}$ is a constant in (\ref{eq:uaa5n}). It follows that 
\begin{align*}
\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\Phi\left( \frac{|\lambda_{l,j}^{(n)}-F_{l,j}(z_{l,j})|}{\varepsilon}  \right)2^{j\gamma (\alpha +2)}
&\lesssim \sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\int_{\mathcal{D}_{s_{\delta}}\left(z_{l,j}\right)}\Phi\left( \frac{\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}|F_{l,j}^{(n)}(\omega)-F(\omega)|}{\varepsilon} \right)dV_{\alpha}(\omega) \\
&\lesssim \int_{\mathbb{C}_{+}}\Phi\left( \frac{\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}|F_{l,j}^{(n)}(\omega)-F(\omega)|}{\varepsilon} \right)dV_{\alpha}(\omega) \\
&\lesssim \liminf_{m\to \infty}\int_{\mathbb{C}_{+}}\Phi\left( \frac{\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}|F_{l,j}^{(n)}(\omega)-F_{l,j}^{(m)}(\omega)|}{\varepsilon} \right)dV_{\alpha}(\omega) \\
&\lesssim 1,
\end{align*}
thanks to Fatou's Lemma. We deduce that 
$$  \left\|\lambda^{(n)}-\lambda\right\|_{\ell^{\Phi}_{\alpha}}^{lux}\lesssim \varepsilon,    $$
where $\lambda:= \{F(z_{l,j})\}_{l,j\in \mathbb{Z}}$. It follows that the sequence $\lambda$ belongs to $\ell^{\Phi}_{\alpha}(\mathbb{C_{+}})$. Indeed, for  $ n \geq n_{\varepsilon}'$, 
$$ \left\|\lambda\right\|_{\ell^{\Phi}_{\alpha}}^{lux} \lesssim \left\|\lambda^{(n)}\right\|_{\ell^{\Phi}_{\alpha}}^{lux}+  \left\|\lambda^{(n)}-\lambda\right\|_{\ell^{\Phi}_{\alpha}}^{lux}\lesssim \left\|\lambda^{(n)}\right\|_{\ell^{\Phi}_{\alpha}}^{lux}+ \varepsilon < \infty.    $$
We then conclude that the sequence space $(\ell^{\Phi}_{\alpha}(\mathbb{C_{+}}),  \|.\|_{\ell^{\Phi}_{\alpha}}^{lux})$ is a Banach space.
\end{proof}


Let   $\alpha>-1$,  $0<\delta<1$ and $\Phi \in \mathscr{U} \cap \nabla_{2}$. We introduce the following space
$$\mathcal{A}_\alpha^{\Phi}(\mathbb{C}_+):=\left\{F=2^{\alpha+2}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\lambda_{l,j}K_\alpha(z,z_{l,j})2^{j\gamma (\alpha +2)},\textrm{for some}\quad \{\lambda_{l,j}\}_{l,j\in \mathbb{Z}}\in \ell_{\alpha}^{\Phi}(\mathbb{C}_{+})\right\}.$$
For $F\in \mathcal{A}_\alpha^{\Phi}(\mathbb{C}_+)$, we put $$\Vert F\Vert_{\mathcal{A}_\alpha^{\Phi}}:=\inf\Vert \{\lambda_{l,j}\}_{l,j\in \mathbb{Z}}\Vert_{\ell_\alpha^\Phi}^{lux} $$
where the infimum is taken over all sequences $\{\lambda_{l,j}\}_{l,j\in \mathbb{Z}}\in \ell_{\alpha}^{\Phi}(\mathbb{C}_{+})$ such that $$F=2^{\alpha+2}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\lambda_{l,j}K_\alpha(z,z_{l,j})2^{j\gamma (\alpha +2)}.$$ We observe that endowed with the norm $\Vert \cdot \Vert_{\mathcal{A}_\alpha^{\Phi}}$, $\mathcal{A}_\alpha^{\Phi}(\mathbb{C}_+)$ is a Banach space.
\vskip .1cm
Given $F\in \mathcal{A}_\alpha^{\Phi}(\mathbb{C}_+$, we denote by $F_\lambda$ the representation of $F$ associated to the sequence $\lambda=\{\lambda_{l,j}\}_{l,j\in \mathbb{Z}}$. From Lemma \ref{pro:mainqaqaqq6}, we have that $\mathcal{A}_\alpha^{\Phi}(\mathbb{C}_+)$ embeds continuously into ${A}_\alpha^{\Phi}(\mathbb{C}_+)$. From the same Lemma, we have that if $F_\lambda$ and $F_\mu$ are two representations of $F$, then 
$$\Vert\{\mu_{l,j}\}_{l,j\in \mathbb{Z}}\Vert_{\ell_\alpha^\Phi}^{lux}\sim \Vert \{\lambda_{l,j}\}_{l,j\in \mathbb{Z}}\Vert_{\ell_\alpha^\Phi}^{lux}.$$  
%such $\Vert F\Vert_{\mathcal{A}_\alpha^{\Phi}}=\Vert \{\lambda_{l,j}\}_{l,\in \mathbb{Z}}\Vert_{\ell_\alpha^\Phi}$.
\vskip .1cm
We have the following duality result.

\begin{theorem}\label{pro:main 5aqkqa3pl}
Let   $\alpha>-1$,  $0<\delta<1$ and $\Phi \in \mathscr{U} \cap \nabla_{2}$. The topological dual $\left(\ell_{\alpha}^{\Phi}(\mathbb{C}_{+})\right)^{*}$   of $\ell_{\alpha}^{\Phi}(\mathbb{C}_{+})$     is isomorphic to $\ell_{\alpha}^{\Psi}(\mathbb{C}_{+})$, in the sense that, for all  $T\in \left(\ell_{\alpha}^{\Phi}(\mathbb{C}_{+})\right)^{*}$, there is a unique $\mu:=\{\mu_{i,j}\}_{j,l \in \mathbb{Z} }\in \ell_{\alpha}^{\Psi}(\mathbb{C}_{+})$ such that for all $\lambda:=\{\lambda_{i,j}\}_{j,l \in \mathbb{Z} }\in \ell_{\alpha}^{\Phi}(\mathbb{C}_{+})$, 
 $$    T (\lambda)= c_{\alpha}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\lambda_{i,j}\overline{\mu_{i,j}}2^{j\gamma (\alpha +2)} , 
   $$
where $\Psi$ is the complementary function of $\Phi$.
\end{theorem}

\begin{proof}
Let  $T\in \left(\ell_{\alpha}^{\Phi}(\mathbb{C}_{+})\right)^{*}$. Put 
$$   T_{1}(F_\lambda) = T\left(  \lambda\right), ~~ \forall~ \lambda:=\{\lambda_{i,j}\}_{j,l \in \mathbb{Z} } \in \ell_{\alpha}^{\Phi}(\mathbb{C}_{+}), $$
where $F_\lambda$ is the function defined by
$$ F_\lambda(z)=2^{\alpha+2}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\lambda_{l,j}K_{\alpha}(z, z_{l,j})
2^{j\gamma (\alpha +2)},~~ \forall~z \in \mathbb{C}_{+}.   $$
By construction,  $T_{1}\in \left(\mathcal{A}_{\alpha}^{\Phi}(\mathbb{C}_{+})\right)^{*}$. Since  $\mathcal{A}_\alpha^{\Phi}(\mathbb{C}_+)$ embeds continuously into $A_\alpha^{\Phi}(\mathbb{C}_+)$,  then $T_{1}$ can be extended to an element of $\left(A_{\alpha}^{\Phi}(\mathbb{C}_+)\right)^{*}$  with the same operator norm. We still denote this extension $T_{1}$. Thus we have that there exists a unique $G\in A_{\alpha}^{\Psi}(\mathbb{C}_{+})$ such that for any $F\in  A_{\alpha}^{\Phi}(\mathbb{C}_{+})$,
 $$T_{1}(F)=\int_{\mathbb{C}_+}F(z)\overline{G(z)}dV_\alpha(z).$$
In particular, for any $F\in \mathcal{A}_\alpha^{\Phi}(\mathbb{C}_+)$, with $$F=F_{\lambda}(z) =2^{\alpha+2}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\lambda_{l,j}K_{\alpha}(z, z_{l,j})
2^{j\gamma (\alpha +2)},~~ \forall~z \in \mathbb{C}_{+},$$
 since $P_\alpha$ reproduces functions in $A_{\alpha}^{\Psi}(\mathbb{C}_{+})$ (see Lemma \ref{pro:mainplaqzepama6}), we obtain
\begin{align*}
T_{1}(F) &:= \int_{\mathbb{C}_{+}} F_{\lambda}(z)\overline{G(z)}dV_{\alpha}(z)\\  
&=2^{\alpha+2}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\lambda_{l,j}2^{j\gamma (\alpha +2)}\int_{\mathbb{C}_{+}} \overline{K_{\alpha}(z_{l,j},z)G(z)}dV_{\alpha}(z)   \\
&=2^{\alpha+2}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\lambda_{l,j}\overline{\mathcal{P}_{\alpha}(G)(z_{l,j})}2^{j\gamma (\alpha +2)} 
= 2^{\alpha+2}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\lambda_{l,j}\overline{G(z_{l,j})}2^{j\gamma (\alpha +2)}. 
\end{align*}
It follows that, for all $\lambda:=\{\lambda_{i,j}\}_{j,l \in \mathbb{Z} } \in \ell_{\alpha}^{\Phi}(\mathbb{C}_{+})$, we have
$$  T(\lambda)=T_1(F_\lambda)= 2^{\alpha+2}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\lambda_{i,j}\overline{\mu_{i,j}}2^{j\gamma (\alpha +2)}, 
   $$
where $\mu_{i,j}:=G(z_{i,j})$,  for all $i,j\in\mathbb{Z}$.   
\end{proof}



\subsection{Averaging functions and Berezin transform on $\mathbb{C}_{+}$.}
  For $\alpha > -1$ and $\omega \in \mathbb{C}_{+}$, the normalized reproducing kernel at $\omega$ is given by
   \begin{equation}\label{eq:espqaqeqs1}
   k_{\alpha,\omega}(z)= \frac{\mathrm{Im}( \omega)^{(2+\alpha)/2}}{(z-\overline{\omega})^{2+\alpha}}, ~~\forall~z \in \mathbb{C_{+}}.
    \end{equation} 
   It is easy to verify that
   \begin{equation}\label{eq:espqaqs1}
   |k_{\alpha,\omega}(z)|^{2} \leq |K_{\alpha}(z,\omega)| , ~~\forall~z, \omega\in \mathbb{C_{+}},
    \end{equation} 
   where $K_{\alpha}$ is the function  defined in (\ref{eq:fo4nAQ1l}). 
    
 \medskip
  
Let $\mu$ be a positive measure on $\mathbb{C}_{+}$ and  $0<s< 1$. The average function  $\widehat{\mu}_{s}$ of  $\mu$ is the function defined by
 $$  \widehat{\mu}_{s}(z)= \frac{\mu(\mathcal{D}_{s}(z))}{| \mathcal{D}_{s}(z)|_{\alpha}},~~ \forall~z \in \mathbb{C}_{+}.  $$
We recall that the Berezin transform $\widetilde{\mu}$ of the measure $\mu$ is the function defined for any
 $\omega \in \mathbb{C}_{+}$ by
$$ \widetilde{\mu}(\omega) = \int_{\mathbb{C}_{+}}|k_{\alpha,\omega}(z)|^{2}d\mu(z).
 $$
 
 
 We have the following.
 \begin{proposition}\label{pro:main1qaqaqp8}
 Let $\alpha > -1$,   $\mu$ a positive measure on $\mathbb{C}_{+}$ and $z \in \mathbb{C}_{+}$. For  $0<s < 1$, there exists a constant $C_{1}:=C_{s,\alpha}> 0$ such that 
 \begin{equation}\label{eq:espqepmqs1}
 \widehat{\mu}_{s}(z) \leq C_{1}\widetilde{\mu}(z).
 \end{equation} 
 Conversely, for $s$ small enough, there exists a constant $C_{2}:=C_{s,\alpha}> 0$ such that 
 \begin{equation}\label{eq:espqeaqpmqs1}
 \widetilde{\mu}(z) \leq C_{2}\mathcal{P}_{\alpha}^{+}(\widehat{\mu}_{s})(z).
 \end{equation} 
 \end{proposition}
 
 \begin{proof}
 For $z\in \mathbb{C_{+}}$, we have: 
 \begin{align*}
 \widehat{\mu}_{s}(z)&=\frac{\mu(\mathcal{D}_{s}(z))}{| \mathcal{D}_{s}(z)|_{\alpha}}
 =\int_{\mathbb{C_{+}}}\frac{| \mathcal{D}_{s}(z)|_{\alpha}}{\left(| \mathcal{D}_{s}(z)|_{\alpha}\right)^{2}}\chi_{\mathcal{D}_{s}(z)}(\omega) d\mu(\omega)\\
 &\sim\int_{\mathbb{C_{+}}}\frac{\mathrm{Im}( \omega)^{2+\alpha}}{|\omega-\overline{z}|^{2(2+\alpha)}}\chi_{\mathcal{D}_{s}(z)}(\omega) d\mu(\omega) \\
 &\lesssim \int_{\mathbb{C_{+}}}\frac{\mathrm{Im}( \omega)^{2+\alpha}}{|\omega-\overline{z}|^{2(2+\alpha)}} d\mu(\omega) 
 =  \widetilde{\mu}(z).
 \end{align*}
 
 Conversely, let us choose $s$ such that  $(1+ \sqrt{2})s < 1$  and put $s':=s\left[  \frac{1}{\sqrt{2}}\left(1- s \right)  \right]^{-1}$.  We have 
 \begin{align*}
 \widetilde{\mu}(z)
 &\lesssim  \int_{\mathbb{C}_{+}} \left(  \frac{1}{\mathrm{Im}( \omega)^{2+\alpha}}\int \int_{\mathcal{D}_{s}\left(\omega\right)}|k_{\alpha,z}(\xi)|^{2}dV_{\alpha}(\xi)  \right)d\mu(\omega) \\
 &=  \int_{\mathbb{C}_{+}} \left( \int_{\mathbb{C}_{+}} \frac{1}{\mathrm{Im}( \omega)^{2+\alpha}}|k_{\alpha,z}(\xi)|^{2}\chi_{\mathcal{D}_{s}\left(\omega\right)}(\xi)dV_{\alpha}(\xi)  \right)d\mu(\omega) \\
 &\lesssim  \int_{\mathbb{C}_{+}} |k_{\alpha,z}(\xi)|^{2}\left(\frac{1}{\mathrm{Im}( \xi)^{2+\alpha}} \int_{\mathbb{C}_{+}}  \chi_{\mathcal{D}_{s'}\left(\xi\right)}( \omega) d\mu(\omega)\right)dV_{\alpha}(\xi) \\
 &\lesssim  \int_{\mathbb{C}_{+}} |k_{\alpha,z}(\xi)|^{2}\widehat{\mu}_{s'}(\xi)dV_{\alpha}(\xi)
 \lesssim  \int_{\mathbb{C}_{+}} |K_{\alpha}(\xi,z)|\widehat{\mu}_{s'}(\xi)dV_{\alpha}(\xi)=\mathcal{P}_{\alpha}^{+}(\widehat{\mu}_{s'})(z),
 \end{align*}
 thanks to Fubbini's Theorem and,  inequlities (\ref{eq:eseqs1}) and (\ref{eq:espqaqs1}). 
 \end{proof}
 
 
The following result is an immediate consequence of Proposition \ref{pro:main1qaqaqp8} and Theorem \ref{pro:mainplaqaaqaaqq6}. Therefore, the proof will be omitted.

\begin{lemma}\label{pro:main1qppaq8}
Let $0<s < 1$,  $\alpha > -1$,   $\Phi \in \mathscr{U}\cap \nabla_{2}$ and  $\mu$ a positive measure on $\mathbb{C}_{+}$. For $s$ small enough, the following assertions are equivalent: 
\begin{itemize}
\item[(i)] $\widetilde{\mu} \in L^{\Phi}(\mathbb{C_{+}}, dV_{\alpha})$; 
\item[(ii)]  $\widehat{\mu}_{s} \in L^{\Phi}(\mathbb{C_{+}}, dV_{\alpha})$.
\end{itemize}
Moreover,
\begin{equation}\label{eq:inmqqay}
 \|\widehat{\mu}_{s}\|_{L^{\Phi}_{\alpha}}^{lux} \sim \|\widetilde{\mu}\|_{L^{\Phi}_{\alpha}}^{lux}. 
 \end{equation} 
\end{lemma}

 
\begin{lemma}\label{pro:main1qpapqp8}
Let  $\alpha > -1$,  $\Phi \in \mathscr{L}\cup \mathscr{U}$ and  $\mu$ a positive measure on $\mathbb{C}_{+}$. Let   $0<\delta, s < 1$ such that  $0< \delta \leq \frac{s}{2(s+ \sqrt{2})}$. The following assertions are satisfied.
\begin{itemize}
\item[(i)] If   $\widehat{\mu}_{s} \in L^{\Phi}(\mathbb{C_{+}}, dV_{\alpha})$, then   $\{ \widehat{\mu}_{\delta}(z_{l,j}) \}_{l,j \in \mathbb{Z}} \in \ell_{\alpha}^{\Phi}(\mathbb{C}_{+})$.  Moreover, there exists $C_{1}:=C_{\Phi,\alpha,s}>0$ a constant such that
\begin{equation}\label{eq:inaaqay}
\left\|\{ \widehat{\mu}_{\delta}(z_{l,j}) \}\right\|_{\ell^{\Phi}_{\alpha}}^{lux}\leq C_{1}\|\widehat{\mu}_{s}\|_{L^{\Phi}_{\alpha}}^{lux}.
 \end{equation}
\item[(ii)] If $\{ \widehat{\mu}_{s}(z_{l,j}) \}_{l,j \in \mathbb{Z}} \in \ell_{\alpha}^{\Phi}(\mathbb{C}_{+})$, then $\widehat{\mu}_{\delta} \in L^{\Phi}(\mathbb{C_{+}}, dV_{\alpha})$.  Moreover, there exists $C_{2}:=C_{\Phi,\alpha,s}>0$ a constant such that
\begin{equation}\label{eq:inaaqaqay}
\|\widehat{\mu}_{\delta}\|_{L^{\Phi}_{\alpha}}^{lux}\leq C_{2}\left\|\{ \widehat{\mu}_{s}(z_{l,j}) \}\right\|_{\ell^{\Phi}_{\alpha}}^{lux}.
 \end{equation}
\end{itemize}
\end{lemma}






\begin{proof}
$i)$ We suppose that  $\widehat{\mu}_{s} \in L^{\Phi}(\mathbb{C_{+}}, dV_{\alpha})$ and show that  $\{ \widehat{\mu}_{\delta}(z_{l,j}) \}_{l,j \in \mathbb{Z}} \in \ell_{\alpha}^{\Phi}(\mathbb{C}_{+})$. 
We can assume without loss of generality that  $\mu \not\equiv 0$ and $\|\widehat{\mu}_{s}\|_{L^{\Phi}_{\alpha}}^{lux}=1$.

\medskip


Put $\delta_{1}:=\frac{s}{2(s+ \sqrt{2})}.$ Note that  $0<2(1+ \sqrt{2})\delta_{1} < 1$ and $s:=2\delta_{1}\left[  \frac{1}{\sqrt{2}}\left(1- 2\delta_{1} \right)  \right]^{-1}$. Let  $l,j \in \mathbb{Z}$ and $z \in \mathcal{D}_{\delta_{1}} \left(z_{l,j}\right)$, we have
$$  \left[  \frac{1}{\sqrt{2}}\left(1- \delta_{1} \right)  \right] \mathrm{Im}( z) < \mathrm{Im}(z_{l,j}) < \left[  \frac{1}{\sqrt{2}}\left(1- \delta_{1} \right)  \right]^{-1} \mathrm{Im}( z),
   $$
thanks to relation (\ref{eq:espeqs1}). Let  $\omega \in \mathcal{D}_{\delta} \left(z_{l,j}\right)$ and  $\xi \in \mathcal{D}_{\delta} \left(z\right)$, for  $0<\delta \leq \delta_{1}$, we have respectively
$$ |z-\omega|\leq |z-z_{l,j}|+|\omega-z_{l,j}|< 2\delta_{1}\mathrm{Im}( z_{l,j}) < s\mathrm{Im}( z) $$
and 
$$ |\xi-z_{l,j}|\leq |z-\xi|+|z-z_{l,j}|< \delta_{1}\mathrm{Im}( z)+\delta_{1}\mathrm{Im}( z_{l,j})  < s\mathrm{Im}( z_{l,j}). $$
We deduce respectively that
$$\mathcal{D}_{\delta} \left(z_{l,j}\right)  \subset \mathcal{D}_{s} \left(z\right) \hspace*{0.5cm}\textrm{and} \hspace*{0.5cm} \mathcal{D}_{\delta} \left(z\right)  \subset \mathcal{D}_{s} \left(z_{l,j}\right).    $$
Moreover, 
$$  |\mathcal{D}_{\delta}(z_{l,j})|_{\alpha} \sim |\mathcal{D}_{s}\left(z\right)|_{\alpha} \sim
|\mathcal{D}_{\delta}(z)|_{\alpha} \sim |\mathcal{D}_{s}(z_{l,j})|_{\alpha},   $$
thanks to relation (\ref{eq:eqas1}). It follows that
\begin{equation}\label{eq:inaaaqqay}
\widehat{\mu}_{\delta}(z_{l,j})= \frac{\mu(\mathcal{D}_{\delta}(z_{l,j}))}{| \mathcal{D}_{\delta}(z_{l,j})|_{\alpha}} \lesssim  \frac{\mu(\mathcal{D}_{s}\left(z\right))}{| \mathcal{D}_{s}\left(z\right)|_{\alpha}} =\widehat{\mu}_{s}(z)
 \end{equation}
and
\begin{equation}\label{eq:inaaaaqqqay}
\widehat{\mu}_{\delta}(z)= \frac{\mu(\mathcal{D}_{\delta}(z))}{| \mathcal{D}_{\delta}(z)|_{\alpha}} \lesssim  \frac{\mu(\mathcal{D}_{s}\left(z_{l,j}\right))}{| \mathcal{D}_{s}\left(z_{l,j}\right)|_{\alpha}} =\widehat{\mu}_{s}(z_{l,j}).
 \end{equation}

Since the disks  $\mathcal{D}_{s_{\delta}} \left(z_{l,j}\right)$ are pairwise disjoint, and each $\mathcal{D}_{s_{\delta}} \left(z_{l,j}\right)$ is contained in  the disk $\mathcal{D}_{\delta} \left(z_{l,j}\right)$, where $s_{\delta}$ is the constant defined in the relation (\ref{eq:uaa5n}), we have
\begin{align*}
\sum_{j \in \mathbb{Z}}\sum_{l \in \mathbb{Z}}  \Phi\left( |\widehat{\mu}_{\delta}(z_{l,j})|\right)2^{j\gamma (\alpha +2)} &\sim  \sum_{j \in \mathbb{Z}}\sum_{l \in \mathbb{Z}} \int_{\mathcal{D}_{s_{\delta}} \left(z_{l,j}\right)} \Phi\left( |\widehat{\mu}_{\delta}(z_{l,j})| \right) dV_{\alpha}(z) \\
&\lesssim  \sum_{j \in \mathbb{Z}}\sum_{l \in \mathbb{Z}} \int_{\mathcal{D}_{s_{\delta}} \left(z_{l,j}\right)} \Phi\left( |\widehat{\mu}_{s}(z)|\right) dV_{\alpha}(z) \\ 
&\lesssim   \int_{\mathbb{C}_{+}} \Phi\left( |\widehat{\mu}_{s}(z)| \right) dV_{\alpha}(z) 
\lesssim  1.
\end{align*}


$ii)$  Suppose that   $\{ \widehat{\mu}_{s}(z_{l,j}) \}_{l,j \in \mathbb{Z}} \in \ell_{\alpha}^{\Phi}(\mathbb{C}_{+})$, then  $\widehat{\mu}_{\delta} \in L^{\Phi}(\mathbb{C_{+}}, dV_{\alpha})$. We can also assume without loss of generality that  $\mu \not\equiv 0$ and $\left\|\{ \widehat{\mu}_{s}(z_{l,j}) \}\right\|_{\ell^{\Phi}_{\alpha}}^{lux}=1$. We have
\begin{align*}
\int_{\mathbb{C}_{+}}\Phi\left(|\widehat{\mu}_{\delta}(z)|\right)dV_{\alpha}(z)
&\lesssim \sum_{j \in \mathbb{Z}}\sum_{l \in \mathbb{Z}} \int_{\mathcal{D}_{\delta} \left(z_{l,j}\right)}  \Phi\left(|\widehat{\mu}_{\delta}(z)|\right)dV_{\alpha}(z) \\
&\lesssim \sum_{j \in \mathbb{Z}}\sum_{l \in \mathbb{Z}} \int_{\mathcal{D}_{\delta} \left(z_{l,j}\right)}  \Phi\left( |\widehat{\mu}_{s}(z_{l,j})| \right)dV_{\alpha}(z) \\
&\sim \sum_{j \in \mathbb{Z}}\sum_{l \in \mathbb{Z}}\Phi\left( |\widehat{\mu}_{s}(z_{l,j})| \right)2^{j\gamma (\alpha +2)}  
\lesssim 1.
\end{align*}
\end{proof}
 \section{Proof of main results.}
 
 
 \subsection{Proof of Theorem \ref{pro:mainqaaq6}.}
 
 \begin{lemma}\label{pro:mainqaaqaqp6}
 Let $\alpha>-1$,  $0<\delta<1$ and  $\Phi \in \mathscr{U} \cap \nabla_{2}$.  For  $F\in A_{\alpha}^{\Phi}(\mathbb{C}_{+})$, there exists a 
  sequence $\mu:=\{\mu_{l,j}\}_{l,j\in \mathbb{Z}}$ belonging to $\ell^{\Phi}_{\alpha}(\mathbb{C_{+}})$ such that
 $$  F(z) =c_{\alpha}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\mu_{l,j}\left(  \frac{z-\overline{z_{l,j}}}{i} \right)^{-\alpha-2}2^{j\gamma (\alpha +2)},~~ \forall~z \in \mathbb{C}_{+}.
    $$
 Moreover,   there exists a constant $C:= C_{\Phi,\delta,\alpha}>0$ such that
 \begin{equation}\label{eq:inaqay}
 \|F\|_{A^{\Phi}_{\alpha}}^{lux} \leq C \left\|\mu\right\|_{\ell^{\Phi}_{\alpha}}^{lux}.
  \end{equation}
 \end{lemma} 
 
 \begin{proof}
 Consider $T$, the map defined  by
 $$  T\left(\lambda\right) = 2^{\alpha+2}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\lambda_{l,j}\left(  \frac{.-\overline{z_{l,j}}}{i} \right)^{-\alpha-2}2^{j\gamma (\alpha +2)},~~ \forall~\lambda:=\{\lambda_{l,j}\}_{l,j\in \mathbb{Z}}\in  \ell_{\alpha}^{\Phi}(\mathbb{C}_{+}).
   $$
 By construction, $T$ is well defined, linear and continuous from  $\ell_{\alpha}^{\Phi}(\mathbb{C}_{+})$ to $A_{\alpha}^{\Phi}(\mathbb{C}_{+})$, according to Lemma \ref{pro:mainqaqaqq6}.  It just remains to prove the surjectivity of $T$. 
 Consider  $T^{*}$, the map defined  by
 $$  T^{*}(F) =\{F(z_{l,j})\}_{l,j\in \mathbb{Z}},~~ \forall~F \in A_{\alpha}^{\Psi}(\mathbb{C}_{+}), 
   $$
 where  $\Psi$ is the complementary function of $\Phi$. By construction, $T^{*}$ is well defined, linear and continuous from  $A_{\alpha}^{\Psi}(\mathbb{C}_{+})$ to  $\ell_{\alpha}^{\Psi}(\mathbb{C}_{+})$, according to Lemma \ref{pro:mainqaqa6}. Moreover, 
 \begin{equation}\label{eq:ineqqqay}
 \langle  T(\lambda), G \rangle_{A_{\alpha}^{\Phi}, A_{\alpha}^{\Psi}}= 2^{\alpha+2}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\lambda_{i,j}\overline{G(z_{l,j})}2^{j\gamma (\alpha +2)}=\langle  \lambda, T^{*}(G) \rangle_{\ell_{\alpha}^{\Phi}, \ell_{\alpha}^{\Psi}},
 \end{equation}
  for  $\lambda:=\{\lambda_{l,j}\}_{l,j\in \mathbb{Z}}\in  \ell_{\alpha}^{\Phi}(\mathbb{C}_{+})$ and $G \in A_{\alpha}^{\Psi}(\mathbb{C}_{+})$. It follows that,  $T^{*}$ is the adjoint of the operator  $T$. \\
 Let $G \in A_{\alpha}^{\Psi}(\mathbb{C}_{+})$. We obtain using Lemma \ref{pro:mainqaqa6} that
 $$  
 \|G\|_{A^{\Psi}_{\alpha}}^{lux}\lesssim  \left\|\{G(z_{l,j})\}_{l,j\in \mathbb{Z}}\right\|_{\ell^{\Psi}_{\alpha}}^{lux} =  \left\|T^{*}(G)\right\|_{\ell^{\Psi}_{\alpha}}^{lux}.   $$
 We deduce that,  $T$ is surjective from  $\ell_{\alpha}^{\Phi}(\mathbb{C}_{+})$ to $A_{\alpha}^{\Phi}(\mathbb{C}_{+})$. 
 \end{proof}
 
 
 
 
 
 \proof[Proof of Theorem \ref{pro:mainqaaq6}.]
 The proof follows from Lemma \ref{pro:mainqaqaqq6} and Lemma \ref{pro:mainqaaqaqp6}.
 \epf


 
 \subsection{Proof of Theorem \ref{pro:mainqaaqaq6}.}
 
 
 We recall that the Rademacher functions
 $r_{n}$ in $(0, 1]$ are defined as follows
 $$   r_{n}(t)= \textit{sgn}[\sin (2^n\pi t)], ~~n >0.  $$
 
 
 
 
 The following is obtained using Khintchine's double inequality (see \cite{defklaus}) and the ideas in \cite{sehba4}
 \begin{lemma}\label{pro:main2qapAaa}
 For  $\Phi \in \mathscr{L}\cup \mathscr{U}$, there
 exist constants $0 < A_{\Phi} \leq B_{\Phi} < \infty$ such that, for any sequence $\{x_{k,j}\} \in \ell^{2}$,  we have
 \begin{equation}\label{eqoaqbpmaq6}
 A_{\Phi}\left( \sum_{k,j}|x_{k,j}|^{2}   \right)^{1/2} \leq \Phi^{-1}\left(\int_0^1\int_{0}^{1}\Phi\left(\left|  \sum_{k,j}x_{k,j}r_{k}(t)r_j(s)  \right|\right)dtds \right)\leq B_{\Phi}\left( \sum_{k,j}|x_{k,j}|^{2}   \right)^{1/2}. \end{equation}
 \end{lemma}
 
 
 
 \proof[Proof of Theorem \ref{pro:mainqaaqaq6}.]
 
 
 Let us prove the assertion $(ii) \Rightarrow (i)$. 
 
 \medskip
  
 Let $F\in A_{\alpha}^{\Phi_{1}}(\mathbb{C}_{+})$. Assume that $F\not=0$, because there is nothing to show when $F=0$. We can also assume without loss of generality that $\|F\|_{A^{\Phi_{1}}_{\alpha}}^{lux}=1$.
 Let us choose $\delta$ such that  $2(1+ \sqrt{2})\delta < 1$  and put $\delta':=2\delta\left[  \frac{1}{\sqrt{2}}\left(1- 2\delta \right)  \right]^{-1}$.  
 For $z \in \mathbb{C}_{+}$, we have 
 \begin{align*}
 \Phi_{2}\left(|F(z)|\right)
 &\lesssim \frac{1}{\mathrm{Im}( z)^{2+\alpha}} \int_{\mathcal{D}_{\delta}\left(z\right)}\Phi_{2}\left(|F(\omega)|\right)dV_{\alpha}(\omega) \\
 &= \int_{\mathbb{C}_{+}} \Phi_{2}\left(|F(\omega)|\right)\chi_{\mathcal{D}_{\delta}\left(z\right)}(\omega)\frac{dV_{\alpha}(\omega)}{\mathrm{Im}( z)^{2+\alpha}} \\
 &\sim \int_{\mathbb{C}_{+}} \Phi_{2}\left(|F(\omega)|\right)\frac{\chi_{\mathcal{D}_{\delta'}\left(\omega\right)}(z)}{| \mathcal{D}_{\delta'}(\omega)|_{\alpha}}dV_{\alpha}(\omega),
 \end{align*}
 thanks to Proposition \ref{pro:main1q8} and,  relations (\ref{eq:eqas1}) and (\ref{eq:eseqs1}). It follows that
 \begin{align*}
 \int_{\mathbb{C}_{+}}\Phi_{2}\left( |F(z) |\right)d\mu(z)&\lesssim \int_{\mathbb{C}_{+}} \left( \int_{\mathbb{C}_{+}} \Phi_{2}\left(|F(\omega)|\right)\frac{\chi_{\mathcal{D}_{\delta'}\left(\omega\right)}(z)}{| \mathcal{D}_{\delta'}(\omega)|_{\alpha}}dV_{\alpha}(\omega)  \right) d\mu(z) \\ 
 &= \int_{\mathbb{C}_{+}}\Phi_{2}\left(|F(\omega)|\right) \left(\frac{1}{| \mathcal{D}_{\delta'}(\omega)|_{\alpha}}  \int_{\mathbb{C}_{+}}\chi_{\mathcal{D}_{\delta'}\left(\omega\right)}(z)  d\mu(z) \right)dV_{\alpha}(\omega) \\
 &= \int_{\mathbb{C}_{+}}\Phi_{2}\left(|F(\omega)|\right) \widehat{\mu}_{\delta'}(\omega) dV_{\alpha}(\omega)\\
 &\lesssim \int_{\mathbb{C}_{+}}\Phi_{2}\left(|F(\omega)|\right) \widetilde{\mu}(\omega) dV_{\alpha}(\omega),
 \end{align*}
 thanks to Proposition \ref{pro:main1qaqaqp8}. 
 Since  $\widetilde{\mu}$ belongs to $L^{\Phi_{3}}(\mathbb{C}_{+}, dV_{\alpha})$, we have
 \begin{align*}
 \int_{\mathbb{C}_{+}}\Phi_{2}\left( |F(z) |\right)d\mu(z)&\lesssim \int_{\mathbb{C}_{+}}\Phi_{2}\left(|F(\omega)|\right)\widetilde{\mu}(\omega) dV_{\alpha}(\omega) \\ 
 &\lesssim \int_{\mathbb{C}_{+}}\Phi_{1}\circ\Phi_{2}^{-1}\left(\Phi_{2}\left(|F(\omega)|\right) \right)dV_{\alpha}(\omega)+\int_{\mathbb{C}_{+}}\Phi_{3}\left(\widetilde{\mu}(\omega) \right) dV_{\alpha}(\omega)   \\ 
 &= \int_{\mathbb{C}_{+}}\Phi_{1}\left(|F(\omega)|\right) dV_{\alpha}(\omega)+\int_{\mathbb{C}_{+}}\Phi_{3}\left(\widetilde{\mu}(\omega)\right) dV_{\alpha}(\omega)   
 \lesssim 1. 
 \end{align*}
 
 
 
 We are left to prove $(i) \Rightarrow (ii)$. 
 
 \medskip
 
 
 Let  $0<\delta < 1$ and $\nu := \{\nu_{l,j}\}_{l,j\in \mathbb{Z}} \in \ell_{\alpha}^{\Phi_{1}\circ\Phi_{2}^{-1}}(\mathbb{C}_{+})$. Suppose that $\nu \not=0$, because there is nothing to show when $\nu =0$. We can also without loss of generality assume that $\|\nu\|_{\ell_{\alpha}^{\Phi_{1}\circ\Phi_{2}^{-1}}}^{lux}=1$. For $l,j \in \mathbb{Z}$, put 
 $$  \lambda_{l,j}:= \Phi_{2}^{-1}\left( |\nu_{l,j}|\right).    $$
 By construction, the sequence $\lambda := \{\lambda_{l,j}\}_{l,j\in \mathbb{Z}} \in \ell_{\alpha}^{\Phi_{1}}(\mathbb{C}_{+})$. Moreover
 $ \|\lambda\|_{\ell_{\alpha}^{\Phi_{1}}}^{lux} = 1.   $
 For $0 <s,t<1$ and   $z \in \mathbb{C}_{+}$, put
 $$  F_{t,s}(z) =\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}} \lambda_{l,j}r_{l}(t)r_j(s)F_{l,j}(z),   $$
 where 
 $$  F_{l,j}(z)= 2^{\alpha+2}\left(  \frac{z-\overline{z_{l,j}}}{i} \right)^{-\alpha-2}2^{j\gamma (\alpha +2)}.   $$
 By construction,  $F_{t,s} \in A_{\alpha}^{\Phi_{1}}(\mathbb{C}_{+})$ and $  \|F_{t,s}\|_{A^{\Phi_{1}}_{\alpha}}^{lux}\lesssim\|\lambda\|^{lux}_{\ell_{\alpha}^{\Phi_{1}}},   $  
 according to Theorem \ref{pro:mainqaaq6}. Since  $A_{\alpha}^{\Phi_{1}}(\mathbb{C}_{+})$ continuously embeds into  $L^{\Phi_{2}}(\mathbb{C}_{+}, d\mu)$, we obtain the following using Kinchine's inequality (Lemma \ref{pro:main2qapAaa}) and Fubbini's theorem.
 \begin{align*}
 \int_{\mathbb{C}_{+}}\Phi_{2}\left(\left(\sum_{l,j\in \mathbb{Z}}|\lambda_{l,j}|^{2}|F_{l,j}(z)|^{2}\right)^{1/2}\right)d\mu(z) &\lesssim \int_{\mathbb{C}_{+}}\int_{0}^{1}\int_{0}^{1}\Phi_{2}\left(\left|\sum_{l,j\in \mathbb{Z}}\lambda_{l,j}r_{l}(t)r_j(s)F_{l,j}(z)\right|\right)dtdsd\mu(z) \\
 &\lesssim \int_{0}^{1}\int_{0}^{1}\int_{\mathbb{C}_{+}}\Phi_{2}\left( \frac{|F_{t,s}(z)|}{\|F_{t,s}\|_{A^{\Phi_{1}}_{\alpha}}^{lux}} \right)d\mu(z)dtds 
 \lesssim 1. 
 \end{align*}
  We summarize the above as follows.
 \begin{equation}\label{eqoaqmapmq6}
 \int_{\mathbb{C}_{+}}\Phi_{2}\left(\left(\sum_{l,j\in \mathbb{Z}}|\lambda_{l,j}|^{2}|F_{l,j}(z)|^{2}\right)^{1/2}\right)d\mu(z) \lesssim 1.  
 \end{equation}
 For $t\geq 0$, put
  $$  \widetilde{\Phi}_{2}(t)=\Phi_{2}\left(t^{1/a_{\Phi_{2}}}\right).      $$
 By construction, $\widetilde{\Phi}_{2}$ is a convex growth function. For $z \in \mathbb{C}_{+}$, we have:
 \begin{align*}
 \sum_{l,j\in \mathbb{Z}}\Phi_{2}\left(|\lambda_{l,j}|\right)\chi_{\mathcal{D}_{\delta}\left(z_{l,j}\right)}(z)&\sim\sum_{l,j\in \mathbb{Z}}\Phi_{2}\left(|\lambda_{l,j}|\times \frac{2^{j\gamma (\alpha +2)}}{|z-\overline{z_{l,j}}|^{2+\alpha}}\right)\chi_{\mathcal{D}_{\delta}\left(z_{l,j}\right)}(z)\\
 &\sim
 \sum_{l,j\in \mathbb{Z}}\widetilde{\Phi}_{2}\left(\left(|\lambda_{l,j}||F_{l,j}(z)|\chi_{\mathcal{D}_{\delta}\left(z_{l,j}\right)}(z)\right)^{a_{\Phi_{2}}}\right)\\
 &\lesssim \widetilde{\Phi}_{2}\left(\sum_{l,j\in \mathbb{Z}}\left(|\lambda_{l,j}||F_{l,j}(z)|\chi_{\mathcal{D}_{\delta}\left(z_{l,j}\right)}(z)\right)^{a_{\Phi_{2}}}\right).
 \end{align*}
If $a_{\Phi_{2}} \geq 1$ then we have 
\begin{align*}
\sum_{l,j\in \mathbb{Z}}\left(|\lambda_{l,j}||F_{l,j}(z)|\chi_{\mathcal{D}_{\delta}\left(z_{l,j}\right)}(z)\right)^{a_{\Phi_{2}}}&\lesssim \left(\sum_{l,j\in \mathbb{Z}}\left(|\lambda_{l,j}||F_{l,j}(z)|\right)^{2a_{\Phi_{2}}}\right)^{\frac{1}{2}}\left(\sum_{l,j\in \mathbb{Z}}\left(\chi_{\mathcal{D}_{\delta}\left(z_{l,j}\right)}(z)\right)^{2a_{\Phi_{2}}}\right)^{\frac{1}{2}} \\
&=N^{1/2} \left(\sum_{l,j\in \mathbb{Z}}\left(|\lambda_{l,j}||F_{l,j}(z)|\right)^{2a_{\Phi_{2}}}\right)^{\frac{1}{2}} \\
&\lesssim N^{1/2} \left(\sum_{l,j\in \mathbb{Z}}\left(|\lambda_{l,j}||F_{l,j}(z)|\right)^{2}\right)^{\frac{a_{\Phi_{2}}}{2}}, 
\end{align*}
since each  $z \in \mathbb{C}_{+}$ belongs to at most $N$ of the sets $\mathcal{D}_{\delta}\left(z_{l,j}\right)$.
If $a_{\Phi_{2}} \leq 1$ then we have
\begin{align*}
\sum_{l,j\in \mathbb{Z}}\left(|\lambda_{l,j}||F_{l,j}(z)|\chi_{\mathcal{D}_{\delta}\left(z_{l,j}\right)}(z)\right)^{a_{\Phi_{2}}}&\lesssim \left(\sum_{l,j\in \mathbb{Z}}\left(|\lambda_{l,j}||F_{l,j}(z)|\right)^{a_{\Phi_{2}}\times \frac{2}{a_{\Phi_{2}}}}\right)^{\frac{a_{\Phi_{2}}}{2}}\left(\sum_{l,j\in \mathbb{Z}}\left(\chi_{\mathcal{D}_{\delta}\left(z_{l,j}\right)}(z)\right)^{a_{\Phi_{2}}\times \frac{1}{1-\frac{a_{\Phi_{2}}}{2}}}\right)^{1-\frac{a_{\Phi_{2}}}{2}} \\
&\lesssim N^{\left(1-\frac{a_{\Phi_{2}}}{2}\right)} \left(\sum_{l,j\in \mathbb{Z}}\left(|\lambda_{l,j}||F_{l,j}(z)|\right)^{2}\right)^{\frac{a_{\Phi_{2}}}{2}}. 
\end{align*}
We deduce that   
$$  \sum_{l,j\in \mathbb{Z}}\left(|\lambda_{l,j}||F_{l,j}(z)|\chi_{\mathcal{D}_{\delta}\left(z_{l,j}\right)}(z)\right)^{a_{\Phi_{2}}}\lesssim \max\left\{ N^{1/2}; N^{\left(1-\frac{a_{\Phi_{2}}}{2}\right)}    \right\} \left(\sum_{l,j\in \mathbb{Z}}\left(|\lambda_{l,j}||F_{l,j}(z)|\right)^{2}\right)^{\frac{a_{\Phi_{2}}}{2}}. 
   $$
 It follows that
 \begin{equation}\label{eqoamq6}
 \sum_{l,j\in \mathbb{Z}}\Phi_{2}\left(|\lambda_{l,j}|\right)\chi_{\mathcal{D}_{\delta}\left(z_{l,j}\right)}(z) \lesssim \Phi_{2}\left(\left(\sum_{l,j\in \mathbb{Z}}|\lambda_{l,j}|^{2}|F_{l,j}(z)|^{2}\right)^{1/2}\right).
 \end{equation}
 From (\ref{eqoaqmapmq6}) and (\ref{eqoamq6}), we obtain
 \begin{align*}
 |\langle    \{\widehat{\mu}_{\delta}(z_{l,j})\}; \{\nu_{l,j}\} \rangle_{\alpha} |&=
 \left|\sum_{l,j\in \mathbb{Z}}\widehat{\mu}_{\delta}(z_{l,j})\overline{\nu_{l,j}}2^{j\gamma (\alpha +2)} \right|\\
 &\lesssim      \sum_{l,j\in \mathbb{Z}}\Phi_{2}\left(|\lambda_{l,j}|\right)\widehat{\mu}_{\delta}(z_{l,j})2^{j\gamma (\alpha +2)} \\
 &\sim \sum_{l,j\in \mathbb{Z}}\Phi_{2}\left(|\lambda_{l,j}|\right)\mu(\mathcal{D}_{\delta}\left(z_{l,j}\right)) \\
 &\lesssim \int_{\mathbb{C}_{+}}\sum_{l,j\in \mathbb{Z}}\Phi_{2}\left(|\lambda_{l,j}|\right)\chi_{\mathcal{D}_{\delta}\left(z_{l,j}\right)}(z)d\mu(z)\\
 &\lesssim \int_{\mathbb{C}_{+}}\Phi_{2}\left(\left(\sum_{l,j\in \mathbb{Z}}|\lambda_{l,j}|^{2}|F_{l,j}(z)|^{2}\right)^{1/2}\right)d\mu(z) 
 \lesssim 1.
 \end{align*}
 We deduce that,  the sequence $ \{\widehat{\mu}_{\delta}(z_{l,j})\}_{l,j\in \mathbb{Z}} \in \ell_{\alpha}^{\Phi_{3}}(\mathbb{C}_{+})$. It follows that   $\widehat{\mu}_{s} \in L^{\Phi_{3}}(\mathbb{C_{+}}, dV_{\alpha})$, for all  $0< s \leq \frac{\delta}{2(\delta+ \sqrt{2})}$,  according to the Lemma \ref{pro:main1qpapqp8}. We also conclude that $\widetilde{\mu} \in L^{\Phi_{3}}(\mathbb{C_{+}}, dV_{\alpha})$, thanks to Lemma \ref{pro:main1qppaq8}.
 \epf
 
 
 \bibliographystyle{plain}
  \begin{thebibliography}{1}
  
  \bibitem{bansahsehba}
  	\textsc{J.S. Bansah and B.F. Sehba}, \emph{Boundeness of a family of Hilbert-Type operators and its Bergman-Type analogue}, lllinois Journal of Mathematics. Vol(\textbf{59}), (\textbf{2015}),  pp. 949-977.
  	
  %\bibitem{berosim}\textsc{S. Barry}, \emph{Harmonic Analysis: A Comprehensive course in Analysis, part 3}, American Mathematical society, (\textbf{2015}).
  	
  
  	
  %\bibitem{bonamigrellier}\textsc{A. Bonami and S. Grellier}, \emph{Hankel operators and weak factorization for Hardy-Orlicz spaces}, Colloq. Math. \textbf{118} (2010), no. 1, 107–132.
    
 \bibitem{bonamisehba}
    \textsc{A. Bonami and B. Sehba}, \emph{Hankel operators between Hardy-Orlicz spaces and products of holomorphic function}, Rev.U. Mat.Arg. Vol.\textbf{50}.(2009), 183-196.	
 
 \bibitem{bekollebonamitchoundja}  \textsc{D. Be\'koll\'e, A. Bonami and E. Tchoundja}, \emph{Atomic decomposition and weak factorization for Bergman-Orlicz spaces}, Colloq. Math. \textbf{160} (2020), no. 2, 223-245.
 
   
 %\bibitem{brezis} \textsc{H. Brezis,} \emph{ANALYSE FONCTIONNELLE: Th\'eorie et application},Masson,(\textbf{1987}).
 
 \bibitem{Carleson1}
 \textsc{L. Carleson}, An interpolation problem for bounded analytic functions, Amer. Math.  Second Series,{\bf 76} (1962), 547-559.
 
 \bibitem{Carleson2}
 \textsc{L. Carleson}, An interpolation by bounded analytic functions and corona problem, Ann.. J. Math. {\bf 80} (1958), 921-930.
 
 
 \bibitem{CharpentierSehba}
 \textsc{S. Charpentier, B. F. Sehba}, Carleson measure theorems for large Hardy–Orlicz and Bergman Orlicz spaces. J Funct Spaces Appl. 2012;2012. 1–21. Article ID 792763, p. 21.
 
      
 \bibitem{shuchen}
  	\textsc{S. Chen}, \emph{Geometry of Orlicz Spaces}. Institute of mathematics, polish academy of Sciences, (\textbf{1996}).
 
 \bibitem{CW}
 \textsc{J. A. Cima, W. Wogen}, \emph{A Carleson measure theorem for the Bergman space on the unit ball of $\mathbb{C}^n$} J Oper Theor. 1982; \textbf{7} (1):157–165.
 
   
 %\bibitem{DVCruzJMMartell}\textsc{D.V. Cruz-Uribe, J.M. Martell and C. P\'erez}, \emph{Weight, Extrapolation and Theory of Rubio de Francia}, Operator Theory: Advances and Applications, (Vol. \textbf{215}), Founded in \textbf{1979} by Israel Gohberg.
 
 \bibitem{defklaus}	\textsc{A. Defant, F. Klaus}, \emph{ Tensor norms and operator ideals}, North-Holland Math. Stud.,  \textbf{176} North-Holland Publishing Co., Amsterdam, 1993, xii+566 pp. ISBN: 0-444-89091-2.
 
   
  %\bibitem{denhuan}	\textsc{Y. Deng, L. Huang, T. Zhao and D. Zheng}, \emph{Bergman projection and Bergman spaces}, J. Oper. Theor. \textbf{46} (2001), 3–24.
  
   %\bibitem{djesehaqbAZ} \textsc{J.M. Tanoh Dje and J. Feuto}, \emph{A generalization of representation theorems in   Hardy-Orlicz spaces on the upper complex  half-plane}. arXiv:2308.01820v1[math.FA] (3 Aug 2023).
         
         
  %\bibitem{djesehaqbAZaq}   \textsc{J.M. Tanoh Dje and J. Feuto}, \emph{Factorization of Hardy-Orlicz spaces and control of the Hankel operator}. Preprint. 	
 
  %\bibitem{jmtafeuseh}	\textsc{J.M. Tanoh Dje, J. Feuto and B.F. Sehba}, \emph{A generalization of the Carleson lemma and Weighted norm inequaliies for the maximal functions in the Orlicz setting}. J. Math. Anal. Appl. 491 (2020), no. 1, 124248, 24 pp.
 
 \bibitem{djesehb}
      \textsc{J.M. Tanoh Dje and B.F. Sehba}, \emph{Carleson embeddings for Hardy-Orlicz and Bergman-Orlicz spaces of the upper half-plane}. Funct. Approx. Comment. Math. 64 (2021), no. 2, 163–201.
      
 \bibitem{djesehaqb}
      \textsc{J.M. Tanoh Dje and B.F. Sehba}, \emph{Two-weight inequalities for multilinear maximal functions
      in Orlicz spaces}. Banach J. Math. Anal. (2023). https://doi.org/10.1007/s43037-023-00256-3
   
 
   
  \bibitem{djesehafeuto}
         \textsc{J.M. Tanoh Dje and  B.F. Sehba}, \emph{Carleson embeddings and pointwise multipliers between Hardy-Orlicz spaces and Bergman-Orlicz spaces of the upper half-plane.} arXiv:2309.05414v1[math.CA] (11 sep 2023).
         
         
 
 \bibitem{Pduren2}\textsc{P.L. Duren,}
  \emph{Theory of $H^{p}$ Spaces}, Academic Press, (\textbf{1970}).
 
 \bibitem{Hastings}
 \textsc{ W. Hastings}, A Carleson measure theorem for Bergman spaces. Proc Amer Math Soc. 1975;52:237–241.
  
 %\bibitem{Jbgarnett} 	\textsc{J.B. Garnett}, \emph{Bounded Analytic functions}, Academic Press, Inc, Springer (\textbf{2007}).
  	    
  
  \bibitem{gonessa}\textsc{J. Gonessa}, 
   \emph{Espaces de types Bergman dans les domaines homog\`enes de Siegel de type II: D\'ecomposition atomique et interpolation}. Thesis.
   
  
  \bibitem{kokokrbec}
    \textsc{V. Kokilashvili, M. Krbec}, \emph{Weighted Inequalities in Lorentz and Orlicz spaces},World Scientific publishing. C.O.Pte.Ltd (\textbf{1991}).
    
    %\bibitem{pkmlusg}	\textsc{P. Kosmol and D. M$\ddot{u}$ller-Wichards}, \emph{Optimization in Function spaces with stability considerations in Orlicz spaces}. De Gruyter series in nonliniear analysis and applications:13,  (\textbf{2011}).
    	
    	%\bibitem{koossi}\textsc{P. Koosis}, \emph{Introduction to $H^{p}$ Spaces}. Second Edition, Cambridge Tracts No. \textbf{115}, (\textbf{1998}).
  	
    	%\bibitem{javadmas}\textsc{J. Mashreghi}, \emph{Representation th\'eorems in Hardy spaces}, Cambridge University Press, New York, (\textbf{2009}).
 
 \bibitem{Luecking1}
 \textsc{D. Luecking}, Embedding theorems for spaces of analytic functions via Khintchine’s inequality. Michigan Math J. 1993;40(2):333–358.
 
  \bibitem{Luecking2}
  \textsc{D. Luecking}, A technique for characterizing Carleson measures on Bergman spaces. Proc. Amer. Math. Soc. 1983;87:656–660.
 
  \bibitem{Luecking3}
 \textsc{D. Luecking}, Forward and reverse Carleson inequalities for functions in Bergman spaces and their derivatives. Amer J Math. 1985;107(1):85–111.
 
 \bibitem{Luecking4}
 \textsc{D. Luecking}, Multipliers of Bergman spaces into Lebesguespaces.Proc. Edingburgh Math. Soc. 1986;29(2):125–131.
    
   %\bibitem{Mochizuki}  \textsc{N. Mochizuki}, \emph{Nevanlinna and Smirnov classes on the upper half plane},Hokkaido Mathematical Journal Vol. 20 (1991) p. 609-620. 
       
  \bibitem{pauzhao} \textsc{J. Pau and R. Zhao}, \emph{Weak factorization and Hankel forms for weighted Bergman spaces on the unit ball}, Math. Ann. {\bf 363} (2015), no. 1-2, 363-383. 
    
    %\bibitem{marpelosso} \textsc{M.M. Pelesso}, \emph{Classical spaces of holomorphic functions}, Universita di Milano-(October 5, 2015)
 
 \bibitem{Power}
 \textsc{S. C. Power}, \emph{H\"ormander's Carleson theorem for the ball}, Glasgow Math. J., {\bf 26}, no. 1, 13--17, 1985.
 
    
      %\bibitem{fulvioricci} \textsc{Fulvio Ricci}, \emph{Hardy spaces in one complex variable}, A.A. 2004-2005
    
 %\bibitem{Spmcregu}	\textsc{S. Pott and M.C. Reguera}, \emph{Sharp B\'ekoll\'e estimates for the Bergman Projection}. Journal of Functional Analysis (\textbf{265}),  (\textbf{2013}),  pp. 3233-3244. 
 	 
  \bibitem{raoren}
  	\textsc{M.M. Rao and Z.D. Ren}, \emph{Theory of Orlicz Spaces}, Marcel Dekker,INC, \textbf{270}.(\textbf{1991}).
  		
  %\bibitem{rao68ren}	\textsc{M.M. Rao and Z.D. Ren}, \emph{Applications of Orlicz Spaces}, Monographs and Textbooks in Pure and Applied Mathematics \textbf{250}, Marcel Dekker, Inc, New York \textbf{2002}.
  	
  	%\bibitem{fulvioricci}\textsc{F. Ricci}, \emph{Hardy spaces in one complex variable}, A.A. 2004-2005
    
    %\bibitem{wrudin}\textsc{W. Rudin}, \emph{Analyse r\'eelle et complexe}, MASSON et $C^{ie}$, PARIS. (\textbf{1975}). 
  	
  \bibitem{sehba4}
   	\textsc{B.F. Sehba}, \emph{Carleson embedding with loss for Bergman-Orlicz spaces of the unit ball}, arxiv: 2004.01437v1 [math. CA] (3 Apr 2020)
   	
   \bibitem{sehba5}
 \textsc{B. F. Sehba}, $\Phi$-Carleson measures and multipliers between Bergman–Orlicz spaces of the unit ball of Cn. J Aust Math Soc. 2018;{\bf 104} (1):63–79.
 	
  	
  	
  	 
    	%\bibitem{sehbastevic} \textsc{B. F. Sehba and S. Stevic}, \emph{On some product-type operators from Hardy-Orlicz and Bergman-Orlicz spaces to weighted-type spaces}, Appl. Math. Comput. \textbf{233} (2014), 565--581.
    
    \bibitem{sehbaedgc}
      \textsc{B.F. Sehba and E. Tchoundja}, \emph{Duality for large Bergman-Orlicz spaces Boundedness of Hankel operators},Complex variables and Elliptic Equations, Vol(\textbf{62}), \textbf{February 2017}.
      
      %\bibitem{sehbatchoundja1}\textsc{B. F. Sehba and E. Tchoundja}, \emph{Hankel operators on holomorphic Hardy-Orlicz spaces}, Integr. Equ. Oper. Theory. \textbf{73}(2012), 331-349.
    
    %\bibitem{Emstshae}\textsc{ R. Shakarchi  and E.M. Stein}, \emph{REAL ANALYSIS III: Measure theory, integration and Hilbert Spaces}. Princeton University press, 41 William street princeton, New Jersey 08540,  (\textbf{2005}). 
 	  
  \bibitem{Jan}\textsc{J. Szajkowski,}
   \emph{Modular spaces of analytic functions in the half-plane. I}. Functiones et Approximatio * XIII* 1982* UAM.  pp. 39-53.
   
  \bibitem{Jan1}\textsc{J. Szajkowski,}
   \emph{Modular spaces of analytic functions in the half-plane. II}. Functiones et Approximatio * XIII* 1982* UAM.  pp. 55-76.
 
   \bibitem{tchoundja}\textsc{E. Tchoundja, R. Zhao}\emph{Weak factorization and Hankel forms for Bergman-Orlicz spaces on the unit ball} Integr. Equat. Oper. Theory 91 (2019), no. {\bf 2}, Paper No. 16, 17 pp.
 
   \bibitem{Ueki}
 \textsc{S. Ueki}, \emph{Weighted composition operators between weighted Bergman spaces in the unit ball of $\mathbb C^n$}, Nihonkai Math. J., {\bf 16}, no. 1, 31-48, 2005.
 
 
   \bibitem{Videnskii}
 \textsc{I. V. Power}, \emph{An analogue of Carleson measures (Russian)}, Dokl. Akad. Nauk SSSR298(1988), no.5, 1042–1047; translation in Soviet Math. Dokl.{\bf 37} (1988), no.1, 186-190.
 
 \bibitem{zhu}\textsc{Kehe Zhu}, \emph{ Spaces of holomorphic functions in the unit ball}, Grad. Texts in Math., 226 Springer-Verlag, New York, 2005, x+271 pp. ISBN: 0-387-22036-4.
    \end{thebibliography}
 \end{document}





%\section{Introduction.}



%\section{Introduction and results.}


%In this paper, a continuous and nondecreasing function $\Phi$ from $\mathbb{R}_{+}=(0,\infty)$ onto itself is called a growth function. Observe that if $\Phi$ is a growth function, then $\Phi(0)=0$ and $\lim_{t \to +\infty}\Phi(t)=+\infty$. Let  $p>0$ be a real and $\Phi$  a growth function. We say that  $\Phi$ is of upper-type (resp. lower-type) $p>0$ if there exists a constant $C_{p}> 0$ such that for all $t\geq 1$ (resp. $0< t\leq 1$), %\begin{equation}\label{eq:sui8n}
%\Phi(st)\leq C_{p}t^{p}\Phi(s),~~\forall~s>0.\end{equation}
%We denote by $\mathscr{U}^{p}$ (resp. $\mathscr{L}_{p}$) the set of all growth functions of upper-type $p \geq 1$ (resp. lower-type $0< p\leq 1$) such that the function $t\mapsto \frac{\Phi(t)}{t}$ is non decreasing (resp. non-increasing) on $\mathbb{R}_{+}^{*}= \mathbb{R}_{+}\backslash\{0\}$. We put
%$   \mathscr{U}:=\bigcup_{p\geq 1}\mathscr{U}^{p}$ (resp. $\mathscr{L}:=\bigcup_{0< p\leq 1}\mathscr{L}_{p}$). Any element in $\mathscr{L} \cup\mathscr{U}$ is a homeomorphism of $\mathbb{R}_{+}$ onto $\mathbb{R}_{+}$. Let  $\Phi$ be a growth function. We say that  $\Phi$ satisfies the $\Delta_{2}-$condition (or $\Phi \in \Delta_{2}$) if there exists a constant $K > 1$ such that
%\begin{equation}\label{eq:delta2}
%\Phi(2t) \leq K \Phi(t),~ \forall~ t > 0.\end{equation}
%It is obvious that any growth function  $\Phi \in \mathscr{L} \cup \mathscr{U}$ satisfies the  $\Delta_{2}-$condition. Let $\Phi$ be a convex growth function.  The complementary function of $\Phi$ is the function $\Psi$ defined by
%$$ \Psi(s)=\sup_{t\geq 0}\{st-\Phi(t) \}, ~ \forall~  s \geq 0.       $$ Let $\Phi$ be a convex growth function. We say that $\Phi$ satisfies $\nabla_{2}-$condition (or $\Phi \in \nabla_{2}$)  if $\Phi$ and its complementary function both satisfy $\Delta_{2}-$condition. We say that two growth functions $\Phi_{1}$ and $\Phi_{2}$ are equivalent, if there exists a constant $c > 0$ such that
%\begin{equation}\label{eq:equivalent}
%c^{-1}\Phi_{1}(c^{-1}t) \leq \Phi_{2}(t)\leq c\Phi_{1}(ct), ~~ \forall~ t > 0.\end{equation} We will assume in the sequel that  any element $\Phi$ of $\mathscr{U}$ (resp. $\mathscr{L}$) belongs to $\mathscr{C}^{1}(\mathbb{R}_{+})$ and is   convex (resp. concave). Moreover,
%$$  \Phi'(t)\approx \frac{\Phi(t)}{t},~~ \forall~ t > 0,    $$ (see for example \cite{bonamisehba, jmtafeuseh, djesehb, djesehaqb, sehbaedgc}). Let  $\mathbb{C}_{+}:=\left\{ z=x+iy \in \mathbb{C} :   y > 0 \right\}$ be the upper complex half$-$plane. Let  $\alpha > -1$ be a real and $\Phi$ a  growth function. 
%\begin{itemize}
%\item[\textbullet] The Bergman$-$Orlicz space on  $\mathbb{C_{+}}$, $A_{\alpha}^{\Phi}(\mathbb{C_{+}})$ is the set of all analytic functions $F$ on $\mathbb{C_{+}}$ which satisfy 
%$$ \|F\|_{A_{\alpha}^{\Phi}}^{lux}:=\inf\left\{\lambda>0 : \int_{\mathbb{C_{+}}}\Phi\left(\dfrac{| F(x+iy)|}{\lambda}\right)dV_{\alpha}(x+iy) \leq 1  \right\}< \infty, $$
%where $dV_{\alpha}(x+iy):=y^{\alpha}dxdy$.
%\item[\textbullet] The Orlicz space of sequences on  $\mathbb{C}_{+}$,  $\ell_{\alpha}^{\Phi}(\mathbb{C}_{+})$ is the set of all sequences of complex numbers   $\mu=\{\mu_{l,j}\}_{l,j\in \mathbb{Z}}$ on  $\mathbb{C_{+}}$ such that 
%$$  \|\mu\|_{\ell^{\Phi}_{\alpha}}^{lux}:= \inf\left\{\lambda>0 : \sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\Phi\left(\dfrac{| \mu_{l,j}|}{\lambda}\right)2^{j\gamma (\alpha +2)}  \leq 1  \right\}< \infty   $$
%where   $\gamma$ is a real number such that
 %\begin{equation}\label{eq:uaa5aqn}
% \frac{\log\left( \frac{1+\delta^{2}/20}{1-\delta^{2}/20}  \right)}{4 \log 2}< \gamma  < \frac{\log\left( \frac{1+\delta^{2}/4}{1-\delta^{2}/4}  \right)}{4 \log 2},
%\end{equation}
%with   $0<\delta< 1$.
%\end{itemize}
%If $\Phi$ is  convex and  $\Phi(t)> 0$ for all  $t> 0$ (resp.  $\Phi \in \mathscr{U} \cap \nabla_{2}$), then   $(A_{\alpha}^{\Phi}(\mathbb{C_{+}}),  \|.\|_{A_{\alpha}^{\Phi}}^{lux})$ (resp. $(\ell_{\alpha}^{\Phi}(\mathbb{C_{+}}),  \|.\|_{\ell_{\alpha}^{\Phi}}^{lux})$)   is Banach space (see. \cite{djesehb, Jan, Jan1}).  The space $A_{\alpha}^{\Phi}(\mathbb{C_{+}})$ (resp. $\ell_{\alpha}^{\Phi}(\mathbb{C_{+}})$) generalizes  the Bergman space $A_{\alpha}^{p}(\mathbb{C_{+}})$ (resp.  sequence space $\ell_{\alpha}^{p}(\mathbb{C_{+}})$), for $0< p < \infty$ that correspond to the case $\Phi(t)=t^p$. Note that for $F$ to be in the Bergman space $A_{\alpha}^{p}(\mathbb{C_{+}})$, we should have that
%$$\|F\|_{\alpha,p}:=\|F\|_{A_{\alpha}^{\Phi}}^{lux}:=\left(\int_{\mathbb{C}_+}\vert F(x+iy)\vert^pdV_\alpha(x+iy)\right)^{\frac 1p}<\infty.$$

%For $0<\delta< 1$, we call $\delta-$lattice, the sequence of complex numbers $\{z_{l,j}\}_{l,j\in \mathbb{Z}}$ defined by   
%\begin{equation}\label{eq:ua5n}
%z_{l,j}:= \delta^{2}l2^{\gamma j-3}+i2^{\gamma j},~~ \forall~l,j\in \mathbb{Z},
%\end{equation} where $\gamma$ is the real defined in the (\ref{eq:uaa5aqn}). More on this sequence will be said in Section 3 (see also \cite{gonessa}).
%\vskip .2cm
%Our result on the atomic decomposition of the Bergman-Orlicz spaces is as follows.

%\begin{theorem}\label{pro:mainqaaq6}
%Let $\alpha>-1$,  $0<\delta<1$ and  $\Phi \in \mathscr{U} \cap \nabla_{2}$.   The following assertions are satisfied.
%\begin{itemize}
%\item[i)] For   $\mu:=\{\mu_{l,j}\}_{l,j\in \mathbb{Z}} \in \ell^{\Phi}_{\alpha}(\mathbb{C_{+}})$, the function defined by
%$$  F_{\mu}(z) =2^{\alpha+2}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\mu_{l,j}\left(  \frac{z-\overline{z_{l,j}}}{i} \right)^{-\alpha-2}2^{j\gamma (\alpha +2)},~~ \forall~z \in \mathbb{C}_{+},
%   $$
%belongs to  $A_{\alpha}^{\Phi}(\mathbb{C}_{+})$. Moreover,  there exists a constant $C_{1}:= C_{\Phi,\delta,\alpha}>0$ such that  
%\begin{equation}\label{eq:ineagay}
%\|F_{\mu}\|_{A^{\Phi}_{\alpha}}^{lux}\leq C_{1} \left\|\mu\right\|_{\ell^{\Phi}_{\alpha}}^{lux}.
% \end{equation}
%\item[ii)] For  $F\in A_{\alpha}^{\Phi}(\mathbb{C}_{+})$, there exists a  sequence $\mu:=\{\mu_{l,j}\}_{l,j\in \mathbb{Z}}$ belonging to $\ell^{\Phi}_{\alpha}(\mathbb{C_{+}})$ such that 
%$$  F(z) =c_{\alpha}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\mu_{l,j}\left(  \frac{z-\overline{z_{l,j}}}{i} \right)^{-\alpha-2}2^{j\gamma (\alpha +2)},~~ \forall~z \in \mathbb{C}_{+}.
 %  $$
%Moreover,   there exists a constant $C_{2}:= C_{\Phi,\delta,\alpha}>0$ such that
%\begin{equation}\label{eq:inaqaqay}
%\|F\|_{A^{\Phi}_{\alpha}}^{lux} \leq C_{2} %\left\|\mu\right\|_{\ell^{\Phi}_{\alpha}}^{lux}.
 %\end{equation}
%\end{itemize}
%\end{theorem} 
%Atomic decomposition of function spaces is one of the most studied problem in different areas of mathematical analysis. For classical Bergman spaces, we refer the reader to \cite{gonessa,zhu} and the references therein. These atomic decompositions have found applications in various questions in analytic function spaces and their operators (see for example \cite{pauzhao,tchoundja}). For Bergman-Orlicz spaces of the unit ball of $\mathbb{C}^n$, an atomic decomposition was recently obtained in \cite{bekollebonamitchoundja} with some applications to weak factorization to some of these spaces. In \cite{sehba4}, using the atomic decomposition from \cite{bekollebonamitchoundja}, the second author of the present paper obtained a characterization of Carleson embedding with loss. In the same vein, we are going as application of the above result, a Carleson embedding with loss for Bergman-Orlicz spaces of the upper half-plane. For more on Carlseon embeddings in various domains and their history, we refer the reader to \cite{Carleson1,Carleson2,CharpentierSehba,CW,djesehb,Pduren2,Hastings,Luecking1,Luecking2,Luecking3,Luecking4,Power,sehba4,sehba5,Ueki,Videnskii} and references therein.

%In this paper, a function $\Phi : [0,\infty) \rightarrow [0,\infty)$ is called an growth function if it is nondecreasing, $\lim_{t \to 0} \Phi(t) =\Phi(0)= 0$, $\Phi(t) > 0$for $t \in (0,\infty)$ and $\lim_{t \to \infty} \Phi(t) = \infty$.  The growth function  $\Phi$ is said to be of upper type (resp. lower type) if there exists  $p \in (0,\infty)$ and a constant $C>1$ such that for all $t \in  [1,\infty)$ (resp. $t \in  [0,1]$) and $s \in  [0,\infty)$,
%\begin{equation}\label{eq:sui8n}
%\Phi(st)\leq Ct^{p}\Phi(s).\end{equation}
%We denote by $\mathscr{U}^{p}$ (resp. $\mathscr{L}_{p}$) the set of all growth functions of upper-type $p \geq 1$ (resp. lower-type $0< p\leq 1$) such that the function $t\mapsto \frac{\Phi(t)}{t}$ is non decreasing (resp. non-increasing) on $(0,\infty)$. We put$   \mathscr{U}:=\bigcup_{p\geq 1}\mathscr{U}^{p}$ (resp. $\mathscr{L}:=\bigcup_{0< p\leq 1}\mathscr{L}_{p}$).

%\medskip

%Let  $\Phi$ be a growth function. We say that  $\Phi$ satisfies the $\Delta_{2}-$condition (or $\Phi \in \Delta_{2}$) if there exists a constant $K > 1$ such that
%\begin{equation}\label{eq:delta2}
%\Phi(2t) \leq K \Phi(t),~ \forall~ t > 0.\end{equation}
%When $\Phi$ is convex, we say that $\Phi$ satisfies $\nabla_{2}-$condition (or $\Phi \in \nabla_{2}$)  if $\Phi$ and its complementary function both satisfy $\Delta_{2}-$condition. Note that the complementary function of $\Phi$ is the function $\Psi$ defined by
%$$ \Psi(s)=\sup_{t\geq 0}\{st-\Phi(t) \}, ~ \forall~  s \geq 0.       $$

%\medskip

%We say that two growth functions $\Phi_{1}$ and $\Phi_{2}$ are equivalent (or $\Phi_{1} \sim \Phi_{2}$), if there exists a constant $c > 0$ such that
%\begin{equation}\label{eq:equivalent}
%c^{-1}\Phi_{1}(c^{-1}t) \leq \Phi_{2}(t)\leq c\Phi_{1}(ct), ~~ \forall~ t > 0.\end{equation} 
%We will assume in the sequel that  any element $\Phi$ of $\mathscr{U}$ (resp. $\mathscr{L}$) belongs to $\mathscr{C}^{1}([0,\infty))$ and is  
%convex (resp. concave),
%(see for example \cite{bonamisehba, jmtafeuseh, djesehb, djesehaqb, sehbaedgc}).

%\medskip

%Let $(X, \sum, \mu)$ be a measure space and $\Phi$ a  growth function  of lower type. The Orlicz space on  $X$, $L^{\Phi}(X, d\mu)$ is the set of all equivalent
%classes (in the usual sense) of measurable functions $f : X \longrightarrow \mathbb{C}$ which satisfy
%$$ \|f\|_{L_{\mu}^{\Phi}}^{lux}:=\inf\left\{\lambda>0 : \int_{X}\Phi\left(\dfrac{| f(x)|}{\lambda}\right)d\mu(x) \leq 1  \right\}< \infty. $$
%The space  $L^{\Phi}$  generalizes the Lebesgue space $L^{p}$  for $0< p < \infty$  (see \cite{shuchen, kokokrbec, raoren}).

%\medskip


%Let  $\mathbb{C}_{+}:=\left\{ z=x+iy \in \mathbb{C} :   y > 0 \right\}$ be the upper complex half$-$plane. Let  $\alpha > -1$ be a real and $\Phi$ a  growth function of lower-type. \begin{itemize}\item[\textbullet] The Bergman$-$Orlicz space on  $\mathbb{C_{+}}$, $A_{\alpha}^{\Phi}(\mathbb{C_{+}})$ is the subspace of  $L^{\Phi}(\mathbb{C_{+}}, dV_{\alpha})$ constituted of analytic functions on $\mathbb{C_{+}}$, where $dV_\alpha(z):=(\Im mz)^\alpha dV(z)$, and $dV(z):=dxdy$ if $z=x+iy$. For $F \in A^{\Phi}_{\alpha}(\mathbb{C_{+}})$, we will simply use the notation $\|F\|_{A^{\Phi}_{\alpha}}^{lux}:= \|F\|_{L_{V_{\alpha}}^{\Phi}}^{lux}$.\item[\textbullet] The Orlicz space of sequences on  $\mathbb{C}_{+}$,  $\ell_{\alpha}^{\Phi}(\mathbb{C}_{+})$ is the set of all sequences of complex numbers   $\mu=\{\mu_{l,j}\}_{l,j\in \mathbb{Z}}$ on  $\mathbb{C_{+}}$ such that $$  \|\mu\|_{\ell^{\Phi}_{\alpha}}^{lux}:= \inf\left\{\lambda>0 : \sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\Phi\left(\dfrac{| \mu_{l,j}|}{\lambda}\right)2^{j\gamma (\alpha +2)}  \leq 1  \right\}< \infty   $$where   $\gamma$ is a real number such that\begin{equation}\label{eq:uaa5aqn}
 %\frac{\log\left( \frac{1+\delta^{2}/20}{1-\delta^{2}/20}  \right)}{4 \log 2}< \gamma  < \frac{\log\left( \frac{1+\delta^{2}/4}{1-\delta^{2}/4}  \right)}{4 \log 2},
%\end{equation}with   $0<\delta< 1$.
%\end{itemize}The space $A_{\alpha}^{\Phi}(\mathbb{C_{+}})$ (resp. $\ell_{\alpha}^{\Phi}(\mathbb{C_{+}})$) generalizes  the Bergman space $A_{\alpha}^{p}(\mathbb{C_{+}})$ (resp.  sequence space $\ell_{\alpha}^{p}(\mathbb{C_{+}})$), for $0< p < \infty$ that correspond to the case $\Phi(t)=t^p$. Note that for $F$ to be in the Bergman space $A_{\alpha}^{p}(\mathbb{C_{+}})$, we should have that$$\|F\|_{\alpha,p}:=\|F\|_{A_{\alpha}^{\Phi}}^{lux}:=\left(\int_{\mathbb{C}_+}\vert F(z)\vert^pdV_\alpha(z)\right)^{\frac 1p}<\infty.$$

%\medskip

%For $0<\delta< 1$, we call $\delta-$lattice, the sequence of complex numbers $\{z_{l,j}\}_{l,j\in \mathbb{Z}}$ defined by   \begin{equation}\label{eq:ua5n}z_{l,j}:= \delta^{2}l2^{\gamma j-3}+i2^{\gamma j},~~ \forall~l,j\in \mathbb{Z},\end{equation}where $\gamma$ is the real defined in the (\ref{eq:uaa5aqn}). More on this sequence will be said in Section 3 (see also \cite{gonessa}).\vskip .2cmOur result on the atomic decomposition of the Bergman-Orlicz spaces is as follows.\begin{theorem}\label{pro:mainqaaq6}Let $\alpha>-1$,  $0<\delta<1$ and  $\Phi \in \mathscr{U} \cap \nabla_{2}$.   The following assertions are satisfied.\begin{itemize}\item[i)] For   $\mu:=\{\mu_{l,j}\}_{l,j\in \mathbb{Z}} \in \ell^{\Phi}_{\alpha}(\mathbb{C_{+}})$, the function defined by$$  F_{\mu}(z) =c_{\alpha}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\mu_{l,j}\left(  \frac{z-\overline{z_{l,j}}}{i} \right)^{-\alpha-2}2^{j\gamma (\alpha +2)},~~ \forall~z \in \mathbb{C}_{+},  $$belongs to  $A_{\alpha}^{\Phi}(\mathbb{C}_{+})$. Moreover,  there exists a constant $C_{1}:= C_{\Phi,\delta,\alpha}>0$ such that  \begin{equation}\label{eq:ineagay}\|F_{\mu}\|_{A^{\Phi}_{\alpha}}^{lux}\leq C_{1} \left\|\mu\right\|_{\ell^{\Phi}_{\alpha}}^{lux}. \end{equation}\item[ii)] For  $F\in A_{\alpha}^{\Phi}(\mathbb{C}_{+})$, there exists a  sequence $\mu:=\{\mu_{l,j}\}_{l,j\in \mathbb{Z}}$ belonging to $\ell^{\Phi}_{\alpha}(\mathbb{C_{+}})$ such that $$  F(z) =c_{\alpha}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\mu_{l,j}\left(  \frac{z-\overline{z_{l,j}}}{i} \right)^{-\alpha-2}2^{j\gamma (\alpha +2)},~~ \forall~z \in \mathbb{C}_{+}.  $$Moreover,   there exists a constant $C_{2}:= C_{\Phi,\delta,\alpha}>0$ such that\begin{equation}\label{eq:inaqaqay}\|F\|_{A^{\Phi}_{\alpha}}^{lux} \leq C_{2} \left\|\mu\right\|_{\ell^{\Phi}_{\alpha}}^{lux}. \end{equation}\end{itemize}\end{theorem} Atomic decomposition of function spaces is one of the most studied problem in different areas of mathematical analysis. For classical Bergman spaces, we refer the reader to \cite{gonessa,zhu} and the references therein. These atomic decompositions have found applications in various questions in analytic function spaces and their operators (see for example \cite{pauzhao,tchoundja}). For Bergman-Orlicz spaces of the unit ball of $\mathbb{C}^n$, an atomic decomposition was recently obtained in \cite{bekollebonamitchoundja} with some applications to weak factorization to some of these spaces. In \cite{sehba4}, using the atomic decomposition from \cite{bekollebonamitchoundja}, the second author of the present paper obtained a characterization of Carleson embedding with loss. In the same vein, we are going as application of the above result, a Carleson embedding with loss for Bergman-Orlicz spaces of the upper half-plane. For more on Carlseon embeddings in various domains and their history, we refer the reader to \cite{Carleson1,Carleson2,CharpentierSehba,CW,djesehb,Pduren2,Hastings,Luecking1,Luecking2,Luecking3,Luecking4,Power,sehba4,sehba5,Ueki,Videnskii} and references therein.\vskip .2cmLet $\alpha>-1$ and  $0<s< 1$. For a measurable subset  $E$ of $\mathbb{C}_{+}$ and  $z \in \mathbb{C}_{+}$, we will use the following notations in the following\begin{equation}\label{eq:inpaqmgay}|E|_{\alpha}:=\int_{E}dV_{\alpha}(z) \end{equation}and \begin{equation}\label{eq:inpmgay}\mathcal{D}_{s}(z):= \mathcal{D}(z,s\mathrm{Im}( z)),  \end{equation}where $\mathcal{D}(a,r)$ is the disk centered at $a\in \mathbb{C}$  with radius $r>0$. \medskip Let  $\mu$ be a positive measure on $\mathbb{C}_{+}$. 
%\begin{itemize}
%\item[\textbullet] The average function  $\widehat{\mu}_{s}$ of  $\mu$, for  $0<s< 1$ is the function defined by
%\begin{equation}\label{eq:ineaqagay}
%\widehat{\mu}_{s}(z)= \frac{\mu(\mathcal{D}_{s}(z))}{| \mathcal{D}_{s}(z)|_{\alpha}},~~ \forall~z \in \mathbb{C}_{+}.
% \end{equation}
%\item[\textbullet] The Berezin transform $\widetilde{\mu}$ of  $\mu$ is the function defined \begin{equation}\label{eq:igay}\widetilde{\mu}(z)= \int_{\mathbb{C}_{+}}\frac{\mathrm{Im}( z)^{2+\alpha}}{| \omega-\overline{z}|^{2(2+\alpha)}}d\mu(\omega), ~~ \forall~z \in \mathbb{C}_{+}.\end{equation}\end{itemize}The following is not just a result on its own but can be seen as example of applications of the above atomic decomposition (at least through our method of proof).\begin{theorem}\label{pro:mainqaaqaq6}Let $\alpha>-1$,    $\Phi_{1}, \Phi_{2} \in \mathscr{L} \cup \mathscr{U}$ and  $\mu$ a positive measure on $\mathbb{C}_{+}$. Suppose that  $\Phi_{1} \circ \Phi_{2}^{-1} \in \mathscr{U} \cap \nabla_{2}$ and call $\Phi_{3}$ its complementary function. The following assertions are equivalent.\begin{itemize}\item[i)] There exists a constant $C_{1}>0$ such that for any  $F\in A_{\alpha}^{\Phi_{1}}(\mathbb{C}_{+})$,\begin{equation}\label{eq:inaaay}\int_{\mathbb{C}_{+}}\Phi_{2}\left( \frac{|F(z) |}{\|F\|_{A^{\Phi_{1}}_{\alpha}}^{lux}}  \right)d\mu(z) \leq C_{1}. \end{equation}\item[ii)] There exists a constant $C_{2}>0$ such that for all  $0<s< 1$, \begin{equation}\label{eq:inpmay}\int_{\mathbb{C}_{+}}\Phi_{3}\left(|\widehat{\mu}_{s}(z)| \right)dV_{\alpha}(z) \leq C_{2}. \end{equation}\item[iii)] There exists a constant $C_{3}>0$ such that   \begin{equation}\label{eq:inpmmay}\int_{\mathbb{C}_{+}}\Phi_{3}\left( |\widetilde{\mu}(z)| \right)dV_{\alpha}(z) \leq C_{3}.\end{equation}\end{itemize}\end{theorem} For $\phi : \mathbb{C}_{+}\longrightarrow \mathbb{C}_{+}$ holomorphic, the composition operator $C_{\phi}$ is the operator defined for any $F$ holomorphic function on $\mathbb{C}_{+}$ by\begin{equation}\label{eq:inpmpmmay} C_{\phi}(F)(z)= F \circ \phi(z), ~~ \forall~z \in \mathbb{C}_{+}.\end{equation}Let $\phi$ be as above and $\beta >-1$, we define the measure $\mu_{\phi,\beta}$  by\begin{equation}\label{eq:inpay}\mu_{\phi,\beta}(E)= |\phi^{-1}(E)|_{\beta}, \end{equation}for any Borel set $E$ contained in $\mathbb{C}_{+}$. Let $I$ be an interval of nonzero length. The Carleson square associated with $I$, $Q_{I}$ is the subset of $\mathbb{C}_{+}$ defined by\begin{equation}\label{eq:ualp5rsleson}Q_{I}:=\left\{x+iy\in \mathbb{C}_{+} : x\in I ~~\text{and}~~ 0<y<|I| \right\}.\end{equation}The following is consequence of the above Carleson embedding with loss result.\begin{corollaire}\label{pro:mainqaq6}Let $\alpha, \beta>-1$,  $\Phi_{1}, \Phi_{2} \in \mathscr{L} \cup \mathscr{U}$ and  $\phi : \mathbb{C}_{+}\longrightarrow \mathbb{C}_{+}$ holomorphic function. Suppose that  $\Phi_{1} \circ \Phi_{2}^{-1} \in \mathscr{U} \cap \nabla_{2}$ and call $\Phi_{3}$ its complementary function. The following assertions are equivalent.\begin{itemize}\item[i)] There exists a constant $C_{1}:=C_{\Phi_{1},\Phi_{2},\phi,\beta,\alpha}>0$ such that for  $F\in A_{\alpha}^{\Phi_{1}}(\mathbb{C}_{+})$,\begin{equation}\label{eq:inaaqaay}\int_{\mathbb{C}_{+}}\Phi_{2}\left( \frac{|C_{\phi}(F)(z) |}{\|F\|_{A^{\Phi_{1}}_{\alpha}}^{lux}}  \right)dV_{\beta}(z) \leq C_{1}. \end{equation}\item[ii)] There exists a constant $C_{2}:=C_{\Phi_{1},\Phi_{2},\phi,\beta,\alpha}>0$ such that for any interval $I$, \begin{equation}\label{eq:ualleson}\mu_{\phi,\beta}(Q_{I}) \leq \frac{C_{2}}{\Phi_{2}\left( \frac{1}{|I|^{2+\beta}} \right)}.\end{equation}\item[iii)]   There exists a constant $C_{3}>0$ such that  for  $0<s<1$,  \begin{equation}\label{eq:inpaqmay}\int_{\mathbb{C}_{+}}\Phi_{3}\left( \frac{\mu_{\phi,\beta}(\mathcal{D}_{s}(z))}{| \mathcal{D}_{s}(z)|_{\alpha}} \right)dV_{\alpha}(z) \leq C_{3}. \end{equation}\end{itemize}\end{corollaire} 




%




%


%


%


\end{document}



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
We next prove the following.
\begin{theorem}\label{pro:main 5aqkqa3pl}
Let   $\alpha>-1$,  $0<\delta<1$ and $\Phi \in \mathscr{U} \cap \nabla_{2}$. The topological dual $\left(\ell_{\alpha}^{\Phi}(\mathbb{C}_{+})\right)^{*}$   of $\ell_{\alpha}^{\Phi}(\mathbb{C}_{+})$     is isomorphic to $\ell_{\alpha}^{\Psi}(\mathbb{C}_{+})$, in the sense that, for all  $T\in \left(\ell_{\alpha}^{\Phi}(\mathbb{C}_{+})\right)^{*}$, there is a unique $\mu:=\{\mu_{i,j}\}_{j,l \in \mathbb{Z} }\in \ell_{\alpha}^{\Psi}(\mathbb{C}_{+})$ such that for all $\lambda:=\{\lambda_{i,j}\}_{j,l \in \mathbb{Z} }\in \ell_{\alpha}^{\Phi}(\mathbb{C}_{+})$, 
 $$    T (\lambda)= 2^{\alpha+2}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\lambda_{i,j}\overline{\mu_{i,j}}2^{j\gamma (\alpha +2)} , 
   $$
where $\Psi$ is the complementary function of $\Phi$.
\end{theorem}

\begin{proof}
Let  $T\in \left(\ell_{\alpha}^{\Phi}(\mathbb{C}_{+})\right)^{*}$. Put 
$$   T_{1}(F) = T\left(  \{F(z_{l,j})\}_{l,j\in \mathbb{Z}}  \right), ~~ \forall~ F \in A_{\alpha}^{\Phi}(\mathbb{C}_{+}). $$
By construction,  $T_{1}\in \left(A_{\alpha}^{\Phi}(\mathbb{C}_{+})\right)^{*}$. Indeed, using Lemma \ref{pro:mainqaqa6}, we have 
$$ |T_{1}(F)| =|T\left(  \{F(z_{l,j})\}_{l,j\in \mathbb{Z}}  \right)| \lesssim  \|T\|_{\left(\ell_{\alpha}^{\Phi}\right)^{*}} \left\|\{F(z_{l,j})\}_{l,j\in \mathbb{Z}}\right\|_{\ell^{\Phi}_{\alpha}} \lesssim  \|T\|_{\left(\ell_{\alpha}^{\Phi}\right)^{*}} \|F\|_{A^{\Phi}_{\alpha}}.
    $$
 Hence by Theorem \ref{pro:main 5aqk3pl}, there exists a unique function $G\in A_{\alpha}^{\Psi}(\mathbb{C}_{+})$ such that for $F\in A_{\alpha}^{\Phi}(\mathbb{C}_{+})$, 
 $$  T_{1}(F)= \int_{\mathbb{C}_{+}}F(z)\overline{G(z)}dV_{\alpha}(z).    $$
Let  $\lambda:=\{\lambda_{i,j}\}_{j,l \in \mathbb{Z} }\in \ell_{\alpha}^{\Phi}(\mathbb{C}_{+})$ and put
$$F_{\lambda}(z) =2^{\alpha+2}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\lambda_{l,j}K_{\alpha}(z, z_{l,j})
2^{j\gamma (\alpha +2)},~~ \forall~z \in \mathbb{C}_{+}.$$
By construction and following Theorem \ref{pro:mainqaqq6}, the function   $F_{\lambda}\in A_{\alpha}^{\Phi}(\mathbb{C}_{+})$. Moreover,
$$  T_1(F_\lambda)=\int_{\mathbb{C}_{+}} F_{\lambda}(z)\overline{G(z)}dV_{\alpha}(z)=  2^{\alpha+2}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\lambda_{l,j}\overline{G(z_{l,j})}2^{j\gamma (\alpha +2)}.  $$
Indeed, since $P_\alpha$ reproduces functions in $A_{\alpha}^{\Psi}(\mathbb{C}_{+})$ (see Lemma \ref{pro:mainplaqzepama6}), we obtain
\begin{align*}
\int_{\mathbb{C}_{+}} F_{\lambda}(z)\overline{G(z)}dV_{\alpha}(z)  
&=2^{\alpha+2}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\lambda_{l,j}2^{j\gamma (\alpha +2)}\int_{\mathbb{C}_{+}} \overline{K_{\alpha}(z,z_{l,j})G(z)}dV_{\alpha}(z)   \\
&=2^{\alpha+2}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\lambda_{l,j}\overline{\mathcal{P}_{\alpha}(G)(z_{l,j})}2^{j\gamma (\alpha +2)} \\
&= 2^{\alpha+2}\sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\lambda_{l,j}\overline{G(z_{l,j})}2^{j\gamma (\alpha +2)}. 
\end{align*}
As the sequence  $\{G(z_{l,j})\}_{j,l \in \mathbb{Z} }\in \ell_{\alpha}^{\Psi}(\mathbb{C}_{+})$, we deduce that  
$$ T\left(  \{\lambda_{i,j}\}_{l,j\in \mathbb{Z}}  \right)  =2^{\alpha+2} \sum_{j\in \mathbb{Z}}\sum_{l\in \mathbb{Z}}\lambda_{i,j}\overline{\mu_{i,j}}2^{j\gamma (\alpha +2)},   $$
where $\mu_{i,j}:=G(z_{l,j})$, for all  $l,j\in \mathbb{Z}$.
\end{proof}