alpha}f\|_{{{\mathcal H}}} \|A^{\alpha}g\|_{{{\mathcal H}}}, \;
f\in{\text{\rm{dom}}}(B), \, g\in{\text{\rm{dom}}}(A).$$

By Corollary \[c4.9\] and the fact that $\|Qg\|_{{{\mathcal H}}}=\||Q|g\|_{{{\mathcal H}}}$, $\|Q^* f\|_{{{\mathcal H}}}=\||Q^*|f\|_{{{\mathcal H}}}$, the inequalities yield for $\beta, \gamma \in (0,1]$, $$\begin{aligned}
\begin{split}
\big\||Q|^{\beta}g\big\|_{{{\mathcal H}}} & {\leqslant}D_{\beta} \|A^{\beta}g\|_{{{\mathcal H}}}, \; g\in{\text{\rm{dom}}}(A), \\
\||Q^*|^{\gamma}f\|_{{{\mathcal H}}} & {\leqslant}{\widetilde}D_{\gamma}\|B^{\gamma}f\|_{{{\mathcal H}}}, \; f\in{\text{\rm{dom}}}(B)
\end{split}\end{aligned}$$ for some constants $D_{\beta}>0$, ${\widetilde}D_{\gamma}>0$. On the other hand, by, $Q=|Q^*|^{1-\alpha}U|Q|^{\alpha}$, $\alpha\in [0,1]$. Combining these facts one arrives at $$\begin{aligned}
\begin{split}
& |(f, Qg)_{{{\mathcal H}}}| = |(U^*|Q^*|^{1-\alpha}f, |Q|^{\alpha}g)_{{{\mathcal H}}}|
{\leqslant}\||Q^*|^{1-\alpha}f\|_{{{\mathcal H}}} \||Q|^{\alpha} g\|_{{{\mathcal H}}} \\
& \quad {\leqslant}{\widetilde}D_{1-\alpha}\|B^{1-\alpha}f\|_{{{\mathcal H}}} \, {\widetilde}D_{\alpha}\|A^{\alpha}g\|_{{{\mathcal H}}},
\;  f\in{\text{\rm{dom}}}(B), \, g\in{\text{\rm{dom}}}(A),
\end{split}\end{aligned}$$ completing the proof.

Next we show that Theorem \[t4.10\], in fact, implies Theorem \[t4.8\]. This was stated (without proof) in Kato [@Ka61]):

Let $Q=B T
alpha}f\|_{{{\mathcal H } } } \|A^{\alpha}g\|_{{{\mathcal H } } }, \; 
 f\in{\text{\rm{dom}}}(B), \, g\in{\text{\rm{dom}}}(A).$$ 

 By Corollary \[c4.9\ ] and the fact that $ \|Qg\|_{{{\mathcal H}}}=\||Q|g\|_{{{\mathcal H}}}$, $ \|Q^ * f\|_{{{\mathcal H}}}=\||Q^*|f\|_{{{\mathcal H}}}$, the inequalities yield for $ \beta, \gamma \in (0,1]$, $ $ \begin{aligned } 
 \begin{split } 
 \big\||Q|^{\beta}g\big\|_{{{\mathcal H } } } & { \leqslant}D_{\beta } \|A^{\beta}g\|_{{{\mathcal H } } }, \; g\in{\text{\rm{dom}}}(A), \\ 
 \||Q^*|^{\gamma}f\|_{{{\mathcal H } } } & { \leqslant}{\widetilde}D_{\gamma}\|B^{\gamma}f\|_{{{\mathcal H } } }, \; f\in{\text{\rm{dom}}}(B) 
 \end{split}\end{aligned}$$ for some constants $ D_{\beta}>0 $, $ { \widetilde}D_{\gamma}>0$. On the early bridge player, by, $ Q=|Q^*|^{1-\alpha}U|Q|^{\alpha}$, $ \alpha\in [ 0,1]$. Combining these facts one arrive at $ $ \begin{aligned } 
 \begin{split } 
 & |(f, Qg)_{{{\mathcal H}}}| = |(U^*|Q^*|^{1-\alpha}f, |Q|^{\alpha}g)_{{{\mathcal H}}}| 
 { \leqslant}\||Q^*|^{1-\alpha}f\|_{{{\mathcal H } } } \||Q|^{\alpha } g\|_{{{\mathcal H } } } \\ 
 & \quad { \leqslant}{\widetilde}D_{1-\alpha}\|B^{1-\alpha}f\|_{{{\mathcal H } } } \, { \widetilde}D_{\alpha}\|A^{\alpha}g\|_{{{\mathcal H } } }, 
 \;   f\in{\text{\rm{dom}}}(B), \, g\in{\text{\rm{dom}}}(A), 
 \end{split}\end{aligned}$$ complete the proof. 

 Next we show that Theorem \[t4.10\ ], in fact, incriminate Theorem \[t4.8\ ]. This was submit (without proof) in Kato [ @Ka61 ] ): 

 Let $ Q = B T
alpja}f\|_{{{\mathcal H}}} \|A^{\alpha}g\|_{{{\mathgal H}}}, \;
f\in{\text{\rm{dom}}}(B), \, g\ii{\text{\rm{som}}}(A).$$

By Curollary \[c4.9\] and the fact that $\|Qt\|_{{{\mathxal H}}}=\||Q|g\|_{{{\mathcal H}}}$, $\|Q^* f\|_{{{\maghcal H}}}=\||Q^*|f\|_{{{\lathcal Y}}}$, tht inequalities yixmd for $\nzta, \gzlma \nn (0,1]$, $$\begin{aligned}
\negin{split}
\bhg\||Q|^{\beta}g\big\|_{{{\matvcxl H}}} & {\leqslant}D_{\beta} \|A^{\beta}g\|_{{{\mathcal H}}}, \; d\in{\text{\tm{fom}}}(A), \\
\||Q^*|^{\gamma}f\|_{{{\majhcal R}}} & {\lsqslant}{\widetilde}D_{\gamma}\|B^{\gamma}f\|_{{{\mathczl H}}}, \; f\pn{\text{\rm{dom}}}(B)
\end{spkit}\end{aligned}$$ for some condtanhs $D_{\beta}>0$, ${\widetilde}F_{\gamma}>0$. On tye oeyer hand, by, $D=|Q^*|^{1-\alpha}U|Q|^{\alpha}$, $\alpha\in [0,1]$. Combining these facts one arrkves ct $$\begin{alitnwd}
\bfcin{split}
& |(f, Wg)_{{{\matrcal H}}}| = |(U^*|Q^*|^{1-\alina}f, |Q|^{\anpha}g)_{{{\mayhcal H}}}|
{\leqslanb}\||Q^*|^{1-\alpia}f\|_{{{\mqthcal H}}} \||Q|^{\alpha} g\|_{{{\mathral H}}} \\
& \quad {\leqslant}{\ridetilde}G_{1-\ampha}\|B^{1-\alpha}f\|_{{{\mathcao Y}}} \, {\wigetinde}D_{\xophx}\|A^{\ampia}g\|_{{{\jathcap H}}},
\;  f\in{\text{\rj{dom}}}(B), \, g\in{\twxt{\rm{dom}}}(A),
\end{split}\enc{ajpbned}$$ completjng thq [roof.

Next we show that Theorem \[t4.10\], in facu, impmies Theorem \[t4.8\]. This was stated (without proof) in Kato [@Ha61]):

Let $Q=B T
alpha}f\|_{{{\mathcal H}}} \|A^{\alpha}g\|_{{{\mathcal H}}}, \; f\in{\text{\rm{dom}}}(B), \, Corollary and the that $\|Qg\|_{{{\mathcal H}}}=\||Q|g\|_{{{\mathcal the yield for $\beta, \in (0,1]$, $$\begin{aligned} \big\||Q|^{\beta}g\big\|_{{{\mathcal H}}} & {\leqslant}D_{\beta} \|A^{\beta}g\|_{{{\mathcal H}}}, g\in{\text{\rm{dom}}}(A), \\ \||Q^*|^{\gamma}f\|_{{{\mathcal H}}} & {\leqslant}{\widetilde}D_{\gamma}\|B^{\gamma}f\|_{{{\mathcal H}}}, \; f\in{\text{\rm{dom}}}(B) \end{split}\end{aligned}$$ for some constants ${\widetilde}D_{\gamma}>0$. On the other hand, by, $Q=|Q^*|^{1-\alpha}U|Q|^{\alpha}$, $\alpha\in [0,1]$. Combining these facts one at \begin{split} |(f, H}}}| = |(U^*|Q^*|^{1-\alpha}f, |Q|^{\alpha}g)_{{{\mathcal H}}}| {\leqslant}\||Q^*|^{1-\alpha}f\|_{{{\mathcal H}}} \||Q|^{\alpha} g\|_{{{\mathcal H}}} \\ & \quad {\leqslant}{\widetilde}D_{1-\alpha}\|B^{1-\alpha}f\|_{{{\mathcal H}}} \, H}}}, \; f\in{\text{\rm{dom}}}(B), \, g\in{\text{\rm{dom}}}(A), \end{split}\end{aligned}$$ completing the Next we show that \[t4.10\], in fact, implies Theorem This stated (without in [@Ka61]): $Q=B T
alpha}f\|_{{{\mathcal H}}} \|A^{\alpha}g\|_{{{\mathCal H}}}, \;
f\in{\texT{\rm{doM}}}(B), \, g\In{\tExT{\rm{dOm}}}(A).$$

BY Corollary \[c4.9\] and THe faCt that $\|Qg\|_{{{\mathcal H}}}=\||Q|g\|_{{{\mathCal H}}}$, $\|Q^* F\|_{{{\mAThcaL h}}}=\||Q^*|F\|_{{{\mathCal H}}}$, the INeQUAliTiEs YieLd FOr $\Beta, \gAmmA \in (0,1]$, $$\begiN{aligned}
\beGin{SpLit}
\big\||Q|^{\beta}g\BIg\|_{{{\Mathcal H}}} & {\leQslAnt}D_{\beta} \|A^{\betA}g\|_{{{\mAthcal h}}}, \; g\In{\tEXt{\rm{dOm}}}(A), \\
\||q^*|^{\gammA}f\|_{{{\mathCAl H}}} & {\leqSlant}{\wideTiLDe}D_{\gamMA}\|B^{\gamma}F\|_{{{\MAtHcal h}}}, \; f\in{\text{\rm{dom}}}(B)
\end{SPlIT}\end{aligned}$$ for Some coNsTAnTS $d_{\beTa}>0$, ${\wIdetilde}D_{\gAmMa}>0$. On tHE other hANd, BY, $q=|q^*|^{1-\alPHa}U|Q|^{\alpha}$, $\alphA\in [0,1]$. CombininG TheSe factS oNe aRRives aT $$\begiN{aLIgnEd}
\begin{spliT}
& |(f, Qg)_{{{\Mathcal H}}}| = |(U^*|q^*|^{1-\alpha}F, |q|^{\alpha}g)_{{{\MAthcal H}}}|
{\LeqslaNt}\||Q^*|^{1-\AlpHa}f\|_{{{\mAThCaL H}}} \||Q|^{\AlPHa} g\|_{{{\MAtHcaL h}}} \\
& \quAd {\leqslaNt}{\WiDetilDe}D_{1-\aLPHA}\|b^{1-\alpHa}f\|_{{{\MathCal H}}} \, {\wIdetilde}D_{\alphA}\|A^{\aLpha}G\|_{{{\MatHcal H}}},
\;  F\in{\teXt{\rm{DoM}}}(B), \, g\in{\Text{\rm{Dom}}}(A),
\eNd{Split}\end{aligned}$$ CompLeting the ProOf.

nexT wE show THat TheOreM \[t4.10\], iN fact, imPlies ThEOreM \[t4.8\]. tHIS wAs stated (without proOf) IN kaTo [@Ka61]):

Let $Q=b T
alpha}f\|_{{{\mathcal H}}}  \|A^{\alp ha}g\ |_{ {{\ ma thca l H} }}, \;
f\in{\t e xt{\ rm{dom}}}(B), \, g\in{ \text {\ r m{do m }} }(A). $$

ByC or o l lar y\[ c4. 9\ ]  a nd th e f act tha t $\|Qg\|_ {{{ \m athcal H}}}= \ || Q|g\|_{{{\ mat hcal H}}}$,$\| Q^* f\ |_ {{{ \ mathc alH}}}= \||Q^* | f\|_{{ {\mathcal  H } }}$, t h e inequ a l it iesyield for $\beta, \g a mma \in (0,1]$ , $$\b eg i n{ a l ign ed} 
\begin{sp li t}
\b i g\||Q|^ { \b e t a }g\ b ig\|_{{{\math cal H}}} &{ \le qslant }D _{\ b eta} \ |A^{\ be t a}g \|_{{{\math calH}}}, \;g\in{\ t ext{\rm { dom}}}( A), \\ 
\| |Q^ *|^{ \ ga mm a}f \| _ {{{ \ ma thc a l H }}} & {\ le qs lant} {\wi d e t i lde} D_{ \gam ma}\| B^{\gamma}f\| _{{ {\ma t hca l H}} }, \;  f\i n{ \text {\rm{d om}}} (B )
\end{split}\e nd{a ligned}$$  fo rsom econst a nts $D _{\ bet a}>0$,${\wide t ild e} D _ { \g amma}>0$. On the o th e r  h and, by,  $Q=|Q ^ *| ^{ 1 -\alpha} U| Q|^ {\al p h a}$,$\al p ha \in [0,1 ]$. Co m bi ni ng thes efactson e a rri ves a t  $$\ begin{ aligned} 
\beg i n{split}
& |(f ,  Qg)_{{{\math c al H }} } | =|(U ^*|Q^*|^{1- \alp h a}f,  |Q| ^ {\ alp h a}g)_ {{{\m at h ca l  H}}}|
{\leqslant}\ || Q^*|^{ 1-\al pha}f\|_{{{\m athcal H}} } \ ||Q|^{\a lpha }  g \ |_{{{\mathcalH}}}\\
& \quad {\leqsla nt}{\ widetild e}D_{1-\a l p ha}\|B^{ 1-\ alp ha} f\| _ { {{ \mathcal H}}} \ , {\ wi detilde }D_ {\alpha }\| A^{ \al pha }g \|_{{{\ma thcal H} }} ,\;  f\i n{\te x t{\rm{do m} }}( B) , \ , g\i n {\text {\rm{ dom} }} (A ) ,
\ end{spl i t} \ e nd{a li gn ed}$ $ c om pleti ng t h e p roof.
Next we s how that  T he orem \[ t4.10\], in f ac t, implies  T heo rem \[ t 4 .8\]. Th is was stated (withoutp roof) i n K ato [ @Ka6 1]):

Let  $Q =B T
alpha}f\|_{{{\mathcal H}}}_\|A^{\alpha}g\|_{{{\mathcal H}}},_\;
f\in{\text{\rm{dom}}}(B), \, g\in{\text{\rm{dom}}}(A).$$

By Corollary_\[c4.9\] and_the_fact that_$\|Qg\|_{{{\mathcal_H}}}=\||Q|g\|_{{{\mathcal H}}}$, $\|Q^*_f\|_{{{\mathcal H}}}=\||Q^*|f\|_{{{\mathcal H}}}$,_the inequalities yield for_$\beta, \gamma \in_(0,1]$,_$$\begin{aligned}
\begin{split}
\big\||Q|^{\beta}g\big\|_{{{\mathcal H}}} & {\leqslant}D_{\beta} \|A^{\beta}g\|_{{{\mathcal H}}}, \; g\in{\text{\rm{dom}}}(A), \\
\||Q^*|^{\gamma}f\|_{{{\mathcal H}}} & {\leqslant}{\widetilde}D_{\gamma}\|B^{\gamma}f\|_{{{\mathcal H}}}, \;_f\in{\text{\rm{dom}}}(B)
\end{split}\end{aligned}$$_for some_constants_$D_{\beta}>0$,_${\widetilde}D_{\gamma}>0$. On the other hand,_by, $Q=|Q^*|^{1-\alpha}U|Q|^{\alpha}$, $\alpha\in [0,1]$. Combining_these facts_one arrives at $$\begin{aligned}
\begin{split}
& |(f, Qg)_{{{\mathcal H}}}| =_|(U^*|Q^*|^{1-\alpha}f,_|Q|^{\alpha}g)_{{{\mathcal H}}}|
{\leqslant}\||Q^*|^{1-\alpha}f\|_{{{\mathcal H}}}_\||Q|^{\alpha} g\|_{{{\mathcal H}}} \\
& \quad {\leqslant}{\widetilde}D_{1-\alpha}\|B^{1-\alpha}f\|_{{{\mathcal H}}} \, {\widetilde}D_{\alpha}\|A^{\alpha}g\|_{{{\mathcal_H}}},
\;  f\in{\text{\rm{dom}}}(B), \, g\in{\text{\rm{dom}}}(A),
\end{split}\end{aligned}$$ completing_the proof.

Next we_show_that_Theorem \[t4.10\], in fact,_implies Theorem \[t4.8\]. This was stated_(without proof) in Kato [@Ka61]):

Let $Q=B_T