s}{d}$. Now recall that ${\mathcal F}^{-1} : L^1 \to L^{\infty}$ and ${\mathcal F}^{-1} : L^2 \to L^2$. Therefore, by real interpolation $$\begin{aligned}
{\mathcal F}^{-1} : (L^1, L^2)_{\theta, 2} \to (L^{\infty}, L^2)_{\theta, 2}\end{aligned}$$ which, by is exactly the statement that $$\begin{aligned}
{\mathcal F}^{-1} : L^{{\alpha}, 2}({\mathbb R}^d) \to L^{{\beta},2}({\mathbb R}^d)\end{aligned}$$ where $\frac{1}{{\alpha}} = 1 - \frac{\theta}{2}$ and $\frac{1}{{\beta}} = \frac{\theta}{2}$ and we notice that $\frac{1}{{\alpha}}+ \frac{1}{{\beta}} =1$. Hence, with $\frac{1}{{\gamma}} = \frac{1}{2} + \frac{s}{d}$ we have that ${\mathcal F}f \in L^{{\gamma}, 2}({\mathbb R}^d)$ which implies that $f \in L^{{\gamma}^{\prime}, 2}({\mathbb R}^d)$ where $\frac{1}{{\gamma}^{\prime}} =\frac{1}{2} - \frac{s}{d}$ which is exactly.

The $L^p$ and Besov space versions of this statement are slightly more complicated to prove as they require additional facts from real interpolation theory and we refer the reader to [@Tar] for a detailed proof.

We also need the following version of the Calderon-Zygmund theorem for Lorentz spaces.

\[CZ\] Let $T$ be a Calderon-Zygmund operator. Then $T: L^{p,r} \to L^{p,r}$ for $1<p<\infty$ and $1\le r\le \infty$, $$\begin{aligned}
\|T f\|_{L^{p,r}} \lesssim \|f\|_{L^{p,r}}\end{aligned}$$ where the constant above does not depend on $r$.

This extension of the Calderon-Zygmund theorem is an easy consequence of the $L^p$ version given the following interpolation theorem of Calderon, see  [@Ber-Lof Theorem 5.3.4].

\[CZ I\]
s}{d}$. Now recall that $ { \mathcal F}^{-1 }: L^1 \to L^{\infty}$ and $ { \mathcal F}^{-1 }: L^2 \to L^2$. Therefore, by real interjection $ $ \begin{aligned } 
 { \mathcal F}^{-1 }: (L^1, L^2)_{\theta, 2 } \to (L^{\infty }, L^2)_{\theta, 2}\end{aligned}$$ which, by is precisely the statement that $ $ \begin{aligned } 
 { \mathcal F}^{-1 }: L^{{\alpha }, 2}({\mathbb R}^d) \to L^{{\beta},2}({\mathbb R}^d)\end{aligned}$$ where $ \frac{1}{{\alpha } } = 1 - \frac{\theta}{2}$ and $ \frac{1}{{\beta } } = \frac{\theta}{2}$ and we notice that $ \frac{1}{{\alpha}}+ \frac{1}{{\beta } } = 1$. therefore, with $ \frac{1}{{\gamma } } = \frac{1}{2 } + \frac{s}{d}$ we have that $ { \mathcal F}f \in L^{{\gamma }, 2}({\mathbb R}^d)$ which incriminate that $ f \in L^{{\gamma}^{\prime }, 2}({\mathbb R}^d)$ where $ \frac{1}{{\gamma}^{\prime } } = \frac{1}{2 } - \frac{s}{d}$ which is exactly. 

 The $ L^p$ and Besov outer space versions of this statement are slenderly more complicated to rise as they require extra facts from real interpolation theory and we denote the reader to [ @Tar ] for a detailed proof. 

 We also need the following adaptation of the Calderon - Zygmund theorem for Lorentz spaces. 

 \[CZ\ ] Let $ T$ be a Calderon - Zygmund operator. Then $ triiodothyronine: L^{p, r } \to L^{p, r}$ for $ 1 < p<\infty$ and $ 1\le r\le \infty$, $ $ \begin{aligned } 
 \|T f\|_{L^{p, r } } \lesssim \|f\|_{L^{p, r}}\end{aligned}$$ where the constant above does not depend on $ r$. 

 This extension of the Calderon - Zygmund theorem is an comfortable consequence of the $ L^p$ version give the following interpolation theorem of Calderon, see   [ @Ber - Lof Theorem 5.3.4 ]. 

 \[CZ I\ ]
s}{d}$. Jow recall that ${\mathcal N}^{-1} : L^1 \to L^{\infty}$ aue ${\mathral F}^{-1} : M^2 \to L^2$. Tferefore, by real interpolatiln $$\begib{aligned}
{\mathcal F}^{-1} : (L^1, L^2)_{\gheta, 2} \to (L^{\infty}, O^2)_{\theua, 2}\end{aligned}$$ whirg, by is exactmn the wtatement that $$\begin{aligted}
{\mathcal F}^{-1} : N^{{\aupka}, 2}({\mathbb R}^d) \to L^{{\beta},2}({\mathbb R}^d)\end{alidned}$$ whrrf $\frac{1}{{\alpha}} = 1 - \frab{\treta}{2}$ and $\frac{1}{{\beta}} = \frac{\theta}{2}$ and we nofice thet $\frac{1}{{\alpha}}+ \frsc{1}{{\beta}} =1$. Hence, with $\frac{1}{{\gamla}} = \vrac{1}{2} + \frac{s}{d}$ we hage that ${\matycal D}f \in L^{{\gamma}, 2}({\mathbb R}^d)$ which impligs that $f \in L^{{\gamma}^{\prime}, 2}({\mathbb F}^d)$ whzre $\frac{1}{{\gamna}^{\prilg}} =\frac{1}{2} - \frac{w}{d}$ whpch is exactln.

Nhe $L^p$ dnd Bespv space versipns of this statement are snightly more complycated to pxove as they require qdeitiotal xactr frum deel jnterpllavion theory and we refwr the reader to [@Tat] sir a detailed proof.

Re also need the following version of the Camderon-Zygmund theorem fir Lorentz spaces.

\[CZ\] Lgt $T$ be a Salderon-Zygmund operator. Then $T: L^{p,r} \to L^{p,r}$ for $1<p<\itfty$ ena $1\lt v\jd \ijfty$, $$\begin{aligned}
\|T f\|_{L^{p,r}} \lesssim \|f\|_{L^{p,r}}\end{aligneq}$$ wnege the constant anove does not depemd om $r$.

This extenskon of ths Calderon-Zygmund hheorem is ab easy cogseqience of the $L^p$ version givwn the follocint interpolation thzorem of Calberon, xee  [@Brr-Lof Theorem 5.3.4].

\[CZ I\]
s}{d}$. Now recall that ${\mathcal F}^{-1} : L^{\infty}$ ${\mathcal F}^{-1} L^2 \to L^2$. {\mathcal : (L^1, L^2)_{\theta, \to (L^{\infty}, L^2)_{\theta, which, by is exactly the statement $$\begin{aligned} {\mathcal F}^{-1} : L^{{\alpha}, 2}({\mathbb R}^d) \to L^{{\beta},2}({\mathbb R}^d)\end{aligned}$$ where $\frac{1}{{\alpha}} = - \frac{\theta}{2}$ and $\frac{1}{{\beta}} = \frac{\theta}{2}$ and we notice that $\frac{1}{{\alpha}}+ \frac{1}{{\beta}} =1$. with = + we have that ${\mathcal F}f \in L^{{\gamma}, 2}({\mathbb R}^d)$ which implies that $f \in L^{{\gamma}^{\prime}, 2}({\mathbb where $\frac{1}{{\gamma}^{\prime}} =\frac{1}{2} - \frac{s}{d}$ which is exactly. $L^p$ and Besov space of this statement are slightly complicated prove as require facts real interpolation theory we refer the reader to [@Tar] for a detailed proof. We also need the following version of Calderon-Zygmund theorem spaces. \[CZ\] $T$ a operator. Then $T: L^{p,r}$ for $1<p<\infty$ and $1\le r\le f\|_{L^{p,r}} \lesssim \|f\|_{L^{p,r}}\end{aligned}$$ where the constant above does depend on This extension of the Calderon-Zygmund theorem an easy consequence of the $L^p$ version given following interpolation theorem of Calderon, see [@Ber-Lof Theorem 5.3.4]. \[CZ I\]
s}{d}$. Now recall that ${\mathcal F}^{-1} : L^1 \tO L^{\infty}$ and ${\MathcAl F}^{-1} : l^2 \to l^2$. THereFore, By real interpolATion $$\Begin{aligned}
{\mathcal F}^{-1} : (L^1, L^2)_{\Theta, 2} \To (l^{\InftY}, l^2)_{\tHeta, 2}\eNd{alignED}$$ wHICh, bY iS eXacTlY ThE statEmeNt that $$\bEgin{aligneD}
{\maThCal F}^{-1} : L^{{\alpha}, 2}({\maTHbB R}^d) \to L^{{\beta},2}({\MatHbb R}^d)\end{aligNed}$$ Where $\fRaC{1}{{\alPHa}} = 1 - \fraC{\thEta}{2}$ anD $\frac{1}{{\bETa}} = \frac{\Theta}{2}$ and wE nOTice thAT $\frac{1}{{\alPHA}}+ \fRac{1}{{\bEta}} =1$. Hence, with $\frac{1}{{\gAMmA}} = \Frac{1}{2} + \frac{s}{d}$ we haVe that ${\MaTHcAL f}f \iN L^{{\gAmma}, 2}({\mathbb r}^d)$ Which IMplies tHAt $F \IN l^{{\gaMMa}^{\prime}, 2}({\mathbb r}^d)$ where $\frac{1}{{\GAmmA}^{\prime}} =\FrAc{1}{2} - \fRAc{s}{d}$ whIch is ExACtlY.

The $L^p$ and BeSov sPace versiOns of tHIs stateMEnt are sLightlY moRe cOmplICaTeD to PrOVe aS ThEy rEQuiRe additiOnAl Facts From REAL InteRpoLatiOn theOry and we refer The ReadER to [@tar] foR a detAileD pRoof.

WE also nEed thE fOllowing version Of thE Calderon-zygMuNd tHeOrem fOR LorenTz sPacEs.

\[CZ\] Let $t$ be a CalDEroN-ZYGMUnD operator. Then $T: L^{p,r} \tO L^{P,R}$ FoR $1<p<\infty$ aNd $1\le r\lE \InFtY$, $$\Begin{aliGnEd}
\|T F\|_{L^{p,r}} \LESssim \|F\|_{L^{p,r}}\ENd{Aligned}$$ wHere thE CoNsTant aboVe Does noT dEpeNd oN $r$.

ThiS ExteNsion oF the CaldEron-ZYGmund theorem is AN easy consequeNCe OF ThE $l^p$ veRsiOn given the fOlloWIng iNterPOlAtiON theoRem of caLDeROn, see  [@Ber-Lof Theorem 5.3.4].

\[Cz I\]
s}{d}$. Now recall that ${ \mathcal F }^{-1 } :  L^ 1\toL^{\ infty}$ and ${ \ math cal F}^{-1} : L^2 \toL^2$.  T h eref o re , byreal in t er p o lat io n$$\ be g in {alig ned }
{\mat hcal F}^{- 1}:(L^1, L^2)_{ \ th eta, 2} \t o ( L^{\infty},L^2 )_{\th et a,2 }\end {al igned }$$ wh i ch, by  is exact ly the st a tementt h at  $$\ begin{aligned}
{\ m at h cal F}^{-1} :L^{{\a lp h a} , 2}( {\m athbb R}^d )\to L ^ {{\beta } ,2 } ( { \ma t hbb R}^d)\end {aligned}$$ whe re $\f ra c{1 } {{\alp ha}}=1  -\frac{\thet a}{2 }$ and $\ frac{1 } {{\beta } } = \fr ac{\th eta }{2 }$ a n dwe  no ti c e t h at  $\ f rac {1}{{\al ph a} }+ \f rac{ 1 } { { \bet a}}  =1$ . Hen ce, with $\fr ac{ 1}{{ \ gam ma}}= \fr ac{1 }{ 2} +\frac{ s}{d} $we have that ${ \mat hcal F}f\in  L ^{{ \g amma} ,  2}({\ mat hbb  R}^d)$  whichi mpl ie s t ha t $f \in L^{{\gamm a} ^ { \p rime}, 2 }({\ma t hb bR }^d)$ wh er e $ \fra c { 1}{{\ gamm a }^ {\prime} } =\fr a c{ 1} {2} - \ fr ac{s}{ d} $ w hic h ise xact ly.

T he $L^p$  andB esov space ver s ions of thiss ta t e me n t ar e s lightly mor e co m plic ated to  pr o ve as  they  r e qu i re additional facts  f rom re al in terpolation t heory andw e refer th e re a de r  to [@Tar] for  a de tailed pro o f.

We a lso n eed thefollowing v ersion o f t heCal der o n -Z ygmund theore m forLo rentz s pac es.

\[ CZ\ ] L et$T$  b e a Calde ron-Zygm un dop er ato r. Th e n $T: L^ {p ,r}  \ toL^{p, r }$ for  $1<p <\in ft y$ and  $1\ler \l e \inf ty $,  $$\ beg in {alig ned} \|T  f\|_{L ^{p,r}} \ les s sim\| f\ |_{L^{p ,r}}\end{alig ne d}$$ where  t heconsta n t  above d oes not depend on $r$.This ex ten sionof t he Calder on- Zygmun d t h eoremis aneasyco nse q u enceo f  t he$L ^p$ versio n giv en th efoll owing i nterpolation theor e m o f Calderon, s ee [@B e r -L ofT he o rem  5 . 3.4 ] . 

\[CZ I\]
s}{d}$. Now_recall that_${\mathcal F}^{-1} : L^1_\to L^{\infty}$_and_${\mathcal F}^{-1}_:_L^2 \to L^2$._Therefore, by real_interpolation $$\begin{aligned}
{\mathcal F}^{-1} :_(L^1, L^2)_{\theta, 2}_\to_(L^{\infty}, L^2)_{\theta, 2}\end{aligned}$$ which, by is exactly the statement that $$\begin{aligned}
{\mathcal F}^{-1} : L^{{\alpha},_2}({\mathbb_R}^d) \to_L^{{\beta},2}({\mathbb_R}^d)\end{aligned}$$_where $\frac{1}{{\alpha}} = 1 -_\frac{\theta}{2}$ and $\frac{1}{{\beta}} = \frac{\theta}{2}$_and we_notice that $\frac{1}{{\alpha}}+ \frac{1}{{\beta}} =1$. Hence, with $\frac{1}{{\gamma}}_=_\frac{1}{2} + \frac{s}{d}$_we have that ${\mathcal F}f \in L^{{\gamma}, 2}({\mathbb R}^d)$_which implies that $f \in L^{{\gamma}^{\prime},_2}({\mathbb R}^d)$ where_$\frac{1}{{\gamma}^{\prime}}_=\frac{1}{2}_- \frac{s}{d}$ which is_exactly.

The $L^p$ and Besov space versions_of this statement are slightly more_complicated to prove as they require additional_facts from real interpolation theory and_we refer the reader to_[@Tar] for_a detailed proof.

We also need_the following version_of the_Calderon-Zygmund theorem for_Lorentz spaces.

\[CZ\] Let $T$ be a_Calderon-Zygmund operator. Then_$T: L^{p,r} \to L^{p,r}$ for $1<p<\infty$_and_$1\le r\le \infty$,_$$\begin{aligned}
\|T_f\|_{L^{p,r}}_\lesssim \|f\|_{L^{p,r}}\end{aligned}$$_where the constant_above_does not_depend_on $r$.

This extension of the Calderon-Zygmund_theorem_is an easy consequence of the $L^p$_version given the following_interpolation_theorem of Calderon, see_ [@Ber-Lof Theorem 5.3.4].

\[CZ I\]