. \label{eqInt.3ins}$$ The space $L^{2}\left(  \mathbb{T}\right)  $ is from Haar measure on the circle group $\mathbb{T}=\left\{  z\in\mathbb{C}\mathrel{;}\left|  z\right|
=1\right\}  $. It clear that (\[eqInt.1\]) then holds. If $\mathcal{K}=H^{2}\left(  \mathbb{T}\right)  $ is the Hardy space of functions, $f\left(
z\right)  =\sum_{n=0}^{\infty}c_{n}z^{n}$, with $\left\|  f\right\|  ^{2}=\sum_{n=0}^{\infty}\left|  c_{n}\right|  ^{2}<\infty$, then we also have$$PJP\geq0 \label{eqInt.2bis}$$ where $P$ denotes the projection onto $H^{2}\left(  \mathbb{T}\right)  $. In fact$$\left\langle f,Jf\right\rangle =\left|  c_{0}\right|  ^{2}, \label{eqInt.3bis}$$ where $\left\langle \,\cdot\,,\,\cdot\,\right\rangle $ denotes the inner product in $L^{2}\left(  \mathbb{T}\right)  $. While our result applies to the multiplicity-one shift, this is a degenerate situation, and the nontrivial applications are for the case of infinite multiplicity.

There is in fact an infinite-multiplicity version of the above which we proceed to describe. Let $0<s<1$ be given, and let $\mathcal{H}_{s}$ be the Hilbert space whose norm $\left\|  f\right\|  _{s}$ is given by$$\left\|  f\right\|  _{s}^{2}=\int_{\mathbb{R}}\int_{\mathbb{R}}\overline
{f\left(  x\right)  }\,\left|  x-y\right|  ^{s-1}f\left(  y\right)  \,dx\,dy.
\label{eqInt.4}$$ Let $a\in\mathbb{R}_{+}$ be given, and set$$\left(  U\left(  a\right)  f\right)  \left(  x\right)
. \label{eqInt.3ins}$$ The space $ L^{2}\left (  \mathbb{T}\right)   $ is from Haar measure on the circle group $ \mathbb{T}=\left\ {   z\in\mathbb{C}\mathrel{;}\left|   z\right| 
 = 1\right\ }   $. It clear that (\[eqInt.1\ ]) then reserve. If $ \mathcal{K}=H^{2}\left (  \mathbb{T}\right)   $ is the audacious space of functions, $ f\left (
 z\right)   = \sum_{n=0}^{\infty}c_{n}z^{n}$, with $ \left\|   f\right\|   ^{2}=\sum_{n=0}^{\infty}\left|   c_{n}\right|   ^{2}<\infty$, then we besides have$$PJP\geq0 \label{eqInt.2bis}$$ where $ P$ denotes the protrusion onto $ H^{2}\left (  \mathbb{T}\right)   $. In fact$$\left\langle f, Jf\right\rangle = \left|   c_{0}\right|   ^{2 }, \label{eqInt.3bis}$$ where $ \left\langle \,\cdot\,,\,\cdot\,\right\rangle $ denotes the inside intersection in $ L^{2}\left (  \mathbb{T}\right)   $. While our result apply to the multiplicity - one shift, this is a debauched situation, and the nontrivial applications are for the case of infinite numerousness. 

 There is in fact an infinite - numerousness version of the above which we continue to report. Let $ 0 < s<1 $ be given, and let $ \mathcal{H}_{s}$ be the Hilbert quad whose norm $ \left\|   f\right\|   _ { s}$ is given by$$\left\|   f\right\|   _ { s}^{2}=\int_{\mathbb{R}}\int_{\mathbb{R}}\overline 
 { f\left (  x\right)   } \,\left|   x - y\right|   ^{s-1}f\left (  y\right)   \,dx\,dy. 
 \label{eqInt.4}$$ Let $ a\in\mathbb{R}_{+}$ be pass, and set$$\left (  U\left (  a\right)   f\right)   \left (  x\right )
. \lahel{eqInt.3ins}$$ The space $L^{2}\ltft(  \mathbb{T}\right)  $ is fcom Haad measurd on the circle group $\mathbb{V}=\lefr\{  z\ib\mathbb{C}\mathrel{;}\left|  z\fight|
=1\righn\}  $. It clwar uhat (\[eqInt.1\]) then holds. If $\mathcam{N}=H^{2}\leyt(  \mathbb{T}\right)  $ is the Vardy space of fjnetions, $f\left(
z\right)  =\sum_{n=0}^{\infty}c_{n}z^{n}$, wieh $\left\|  v\right\|  ^{2}=\sum_{n=0}^{\insty}\ltft|  c_{n}\dpgmt|  ^{2}<\infty$, then we also have$$PJP\ges0 \label{tqInt.2bis}$$ where $P$ drnotes the projection onto $H^{2}\levt(  \mathbb{T}\right)  $. In fact$$\lefj\mandoe f,Jf\right\rxngle =\left|  c_{0}\right|  ^{2}, \lzbel{eqInt.3bis}$$ where $\left\langle \,\caot\,,\,\cdpt\,\right\rantlw $ fgnotes the iiner pgoduct in $L^{2}\lenn(  \mathtb{T}\righy)  $. While our vesulv applies to the multiplirity-one shift, this if a degenarcte situation, and the nintrieial appuucagiohs ade for thx case of ihfinite mulriplicity.

There is im sqct an infinife-multypjicity version of the above which we prmcesd to describe. Let $0<s<1$ be given, and let $\mathcap{H}_{s}$ be thq Hilbert space whose norm $\left\|  f\right\|  _{s}$ is givan by$$\mdft\|  n\rigfr\|  _{s}^{2}=\int_{\mathbb{R}}\int_{\mathbb{R}}\overline
{f\left(  x\right)  }\,\jsfu|  q-y\right|  ^{s-1}f\left(  n\right)  \,dx\,dy.
\label{eaIjt.4}$$ Jet $a\in\mathbb{T}_{+}$ be girsn, and set$$\left(  U\lefh(  a\rigrt)  f\eight)  \lest(  c\right)
. \label{eqInt.3ins}$$ The space $L^{2}\left( \mathbb{T}\right) $ Haar on the group $\mathbb{T}=\left\{ z\in\mathbb{C}\mathrel{;}\left| that then holds. If \mathbb{T}\right) $ is Hardy space of functions, $f\left( z\right) with $\left\| f\right\| ^{2}=\sum_{n=0}^{\infty}\left| c_{n}\right| ^{2}<\infty$, then we also have$$PJP\geq0 \label{eqInt.2bis}$$ where $P$ the projection onto $H^{2}\left( \mathbb{T}\right) $. In fact$$\left\langle f,Jf\right\rangle =\left| c_{0}\right| ^{2}, \label{eqInt.3bis}$$ $\left\langle $ the product in $L^{2}\left( \mathbb{T}\right) $. While our result applies to the multiplicity-one shift, this is a situation, and the nontrivial applications are for the of infinite multiplicity. There in fact an infinite-multiplicity version the which we to Let be given, and $\mathcal{H}_{s}$ be the Hilbert space whose norm $\left\| f\right\| _{s}$ is given by$$\left\| f\right\| _{s}^{2}=\int_{\mathbb{R}}\int_{\mathbb{R}}\overline {f\left( x\right) x-y\right| ^{s-1}f\left( \label{eqInt.4}$$ Let be and U\left( a\right) f\right)
. \label{eqInt.3ins}$$ The space $L^{2}\lefT(  \mathbb{T}\riGht)  $ is FroM HaAr MeasUre oN the circle grouP $\MathBb{T}=\left\{  z\in\mathbb{C}\mathrEl{;}\lefT|  z\RIght|
=1\RIgHt\}  $. It cLear thaT (\[EqiNT.1\]) thEn HoLds. if $\MAtHcal{K}=h^{2}\leFt(  \mathbB{T}\right)  $ is tHe HArDy space of funCTiOns, $f\left(
z\rIghT)  =\sum_{n=0}^{\infty}c_{n}Z^{n}$, wIth $\lefT\|  f\RigHT\|  ^{2}=\sum_{n=0}^{\InfTy}\lefT|  c_{n}\rigHT|  ^{2}<\infty$, Then we alsO hAVe$$PJP\gEQ0 \label{eQiNt.2Bis}$$ wHere $P$ denotes the prOJeCTion onto $H^{2}\left(  \mAthbb{T}\RiGHt)  $. iN FacT$$\leFt\langle f,JF\rIght\rANgle =\lefT|  C_{0}\rIGHT|  ^{2}, \laBEl{eqInt.3bis}$$ wheRe $\left\langlE \,\CdoT\,,\,\cdot\,\rIgHt\rANgle $ deNotes ThE InnEr product in $l^{2}\lefT(  \mathbb{T}\rIght)  $. WhILe our reSUlt applIes to tHe mUltIpliCItY-oNe sHiFT, thIS iS a dEGenErate sitUaTiOn, and The nONTRIviaL apPlicAtionS are for the casE of InfiNIte MultiPliciTy.

ThErE is in Fact an InfinItE-multiplicity veRsioN of the aboVe wHiCh wE pRoceeD To descRibE. LeT $0<s<1$ be givEn, and leT $\MatHcAL{h}_{S}$ bE the Hilbert space whOsE NOrM $\left\|  f\riGht\|  _{s}$ is GIvEn BY$$\left\|  f\riGhT\|  _{s}^{2}=\iNt_{\maTHBb{R}}\inT_{\matHBb{r}}\overlinE
{f\left(  X\RiGhT)  }\,\left|  x-y\RiGht|  ^{s-1}f\lEfT(  y\rIghT)  \,dx\,dy.
\LAbel{EqInt.4}$$ LEt $a\in\matHbb{R}_{+}$ bE Given, and set$$\lefT(  u\left(  a\right)  f\rIGhT)  \LEfT(  X\rigHt)
. \label{eqInt.3ins}$$ The  space $L^ {2}\l eft ( \m athb b{T} \right)  $ isf romHaar measure on the ci rclegr o up $ \ ma thbb{ T}=\lef t \{ z\i n\ ma thb b{ C }\ mathr el{ ;}\left |  z\right |
= 1\ right\}  $.I tclear that  (\ [eqInt.1\])the n hold s.  If $\mat hca l{K}= H^{2}\ l eft( \mathbb{T }\ r ight)$ is th e Ha rdyspace of function s ,$ f\left(
z\righ t)  =\ su m _{ n = 0}^ {\i nfty}c_{n} z^ {n}$, with $\ l ef t \ |   f \ right\|  ^{2} =\sum_{n=0} ^ {\i nfty}\ le ft|  c_{n} \righ t|  ^{ 2}<\infty$,  the n we also  have$ $ PJP\geq 0  \label {eqInt .2b is} $$ w h er e$P$  d e not e sthe pro jectionon to  $H^{ 2}\l e f t (   \m ath bb{T }\rig ht)  $. In fa ct$ $\le f t\l angle  f,Jf \rig ht \rang le =\l eft| c _{0}\right|  ^{ 2},\label{eq Int .3 bis }$ $ whe r e $\le ft\ lan gle \,\ cdot\,, \ ,\c do t \ , \r ight\rangle $ deno te s th e innerproduc t  i n$ L^{2}\le ft ( \mat h b b{T}\ righ t ) $. Whil e ourr es ul t appli es  to th emul tip licit y -one  shift , this i s a d e generate situa t ion, and then on t r iv i al a ppl ications ar e fo r  the  cas e  o f i n finit e mul ti p li c ity.

There is in f ac t an i nfini te-multiplici ty version o f  the abo ve w h ic h  we proceed to  desc ribe. Let$ 0<s<1$ b e giv en, andlet $\mat h c al{H}_{s }$bethe  Hi l b er t space whose n orm$\ left\| f\ right\|   _ {s} $ i s g iv en by$$\l eft\|  f \r ig ht \|   _ {s}^{ 2 }=\int_{ \m ath bb {R} }\int _ {\math bb{R} }\ov er li n e
{ f\left(  x \ r ight ) } \,\l eft | x-y\ righ t | ^{s-1}f \left(  y \ri g ht) \ ,d x\,dy.\label{eqInt. 4} $$ Let $a\ in \ma thbb{R } _ {+}$ begiven, and set$$\left(U\left(   a \righ t) f\right) \l eft( x\r i ght)
. \label{eqInt.3ins}$$_The space_$L^{2}\left(  \mathbb{T}\right) _$ is_from_Haar measure_on_the circle group_$\mathbb{T}=\left\{  z\in\mathbb{C}\mathrel{;}\left|_ z\right|
=1\right\}  $._It clear that_(\[eqInt.1\])_then holds. If $\mathcal{K}=H^{2}\left(  \mathbb{T}\right)  $ is the Hardy space of functions,_$f\left(
z\right)_ =\sum_{n=0}^{\infty}c_{n}z^{n}$,_with_$\left\|_ f\right\|  ^{2}=\sum_{n=0}^{\infty}\left| _c_{n}\right|  ^{2}<\infty$, then we_also have$$PJP\geq0_\label{eqInt.2bis}$$ where $P$ denotes the projection onto $H^{2}\left(__\mathbb{T}\right)  $._In fact$$\left\langle f,Jf\right\rangle =\left|  c_{0}\right|  ^{2}, \label{eqInt.3bis}$$_where $\left\langle \,\cdot\,,\,\cdot\,\right\rangle $ denotes the_inner product in_$L^{2}\left(__\mathbb{T}\right)  $. While_our result applies to the multiplicity-one_shift, this is a degenerate situation,_and the nontrivial applications are for the_case of infinite multiplicity.

There is in_fact an infinite-multiplicity version of_the above_which we proceed to describe._Let $0<s<1$ be_given, and_let $\mathcal{H}_{s}$ be_the Hilbert space whose norm $\left\|_ f\right\| __{s}$ is given by$$\left\|  f\right\|___{s}^{2}=\int_{\mathbb{R}}\int_{\mathbb{R}}\overline
{f\left(  x\right)__}\,\left|_ x-y\right|_ ^{s-1}f\left( _y\right)_ \,dx\,dy.
\label{eqInt.4}$$_Let_$a\in\mathbb{R}_{+}$ be given, and set$$\left( _U\left(_ a\right)  f\right)  \left( _x\right)