1934+]: $$\begin{aligned}
&\tilde{\cal P}(I)\geq 0\;\mbox{for all}\; I\Leftrightarrow
\langle f(I)\rangle _{\tilde{\cal P}} = \int\limits^{\infty}_{0} dI
\tilde{\cal P}(I) f(I) \geq 0,&
\nonumber \\
&\mbox{for all polynomial}\;
f(I)\geq 0. &\!\!\!\!\!\!\!\end{aligned}$$

\(ii) Any polynomial $f(I)\/$ pointwise nonnegative over $[0,\infty)\/$ can be written in terms of two perfect square polynomials as [@shohat-book] $$\begin{aligned}
f(I) = (f_1(I))^2 + I(f_2(I))^2\;.  \end{aligned}$$

To prove necessity, suppose that $\tilde{\cal P}(I)\/$ is pointwise nonnegative. Consider the polynomial $f_1(I)=\sum\limits^{N}_{n=0} c_n I^n\/$, where the $c_n\/$ are arbitrary real coefficients. By (4.4) we have $\langle (f_1(I))^2\rangle _{\tilde{\cal P}}\geq 0\/$. That is, $$\begin{aligned}
\langle (f_1(I))^2\rangle _{\tilde{\cal P}} &=& \sum\limits^{N}_{m,n=0}
c_m c_n \langle  I^{m+n}\rangle _{\tilde{\cal P}} \nonumber\\
&=&\sum\limits^{N}_{m,n=0} c_m c_n q_{m+n}\nonumber\\
&=&\sum\limits^{N}_{m,n=0} c_m c_n L^{(N)}_{mn} \geq 0\;.\end{aligned}$$ This means $L^{(N)}\geq 0\/$ for every $N\geq 0\/$. Similarly, writing $f_2(I)=\sum\limits^{N}_{n=0} d_n I^n\/$ and evaluating the expectation value of the nonnegative polynomial $I(f_2(I))^2\/$ we have from (4.4): $$\begin{aligned}
\langle I(f_2(I))^2\rangle _{\tilde{\cal P}} &=& \sum\limits^{N
1934 + ]: $ $ \begin{aligned } 
 & \tilde{\cal P}(I)\geq 0\;\mbox{for all}\; I\Leftrightarrow 
 \langle f(I)\rangle _ { \tilde{\cal P } } = \int\limits^{\infty}_{0 } dI 
 \tilde{\cal P}(I) f(I) \geq 0, & 
 \nonumber \\ 
 & \mbox{for all polynomial}\; 
 f(I)\geq 0. & \!\!\!\!\!\!\!\end{aligned}$$ 

 \(ii) Any polynomial $ f(I)\/$ pointwise nonnegative over $ [ 0,\infty)\/$ can be written in terms of two perfect straight polynomial as   [ @shohat - book ] $ $ \begin{aligned } 
 f(I) = (f_1(I))^2 + I(f_2(I))^2\; .   \end{aligned}$$ 

 To prove necessity, presuppose that $ \tilde{\cal P}(I)\/$ is pointwise nonnegative. study the polynomial $ f_1(I)=\sum\limits^{N}_{n=0 } c_n I^n\/$, where the $ c_n\/$ are arbitrary real coefficients. By (4.4) we hold $ \langle (f_1(I))^2\rangle _ { \tilde{\cal P}}\geq 0\/$. That is, $ $ \begin{aligned } 
 \langle (f_1(I))^2\rangle _ { \tilde{\cal P } } & = & \sum\limits^{N}_{m, n=0 } 
 c_m c_n \langle   I^{m+n}\rangle _ { \tilde{\cal P } } \nonumber\\ 
 & = & \sum\limits^{N}_{m, n=0 } c_m c_n q_{m+n}\nonumber\\ 
 & = & \sum\limits^{N}_{m, n=0 } c_m c_n L^{(N)}_{mn } \geq 0\;.\end{aligned}$$ This means $ L^{(N)}\geq 0\/$ for every $ N\geq 0\/$. Similarly, spell $ f_2(I)=\sum\limits^{N}_{n=0 } d_n I^n\/$ and evaluating the expectation value of the nonnegative polynomial $ I(f_2(I))^2\/$ we get from (4.4 ): $ $ \begin{aligned } 
 \langle I(f_2(I))^2\rangle _ { \tilde{\cal P } } & = & \sum\limits^{N
1934+]: $$\behin{aligned}
&\tilde{\cal P}(I)\geq 0\;\mbox{for all}\; I\Lgfrrighterrow
\lahgle f(I)\rxngle _{\tilde{\cal P}} = \int\limits^{\iifty}_{0} dI
\tiode{\cal P}(I) f(I) \geq 0,&
\nonumcer \\
&\mbox{flr all pilyninial}\;
f(I)\geq 0. &\!\!\!\!\!\!\!\end{aligkzd}$$

\(ii) Zky ponbnomial $f(I)\/$ poinjwise nonnegdtive over $[0,\infdy)\/$ ccn be written in terms of two perfece squarr oolynomials as [@fhohse-booi] $$\begin{aligned}
f(I) = (f_1(I))^2 + I(f_2(I))^2\;.  \end{alighed}$$

To pgove necessity, sulpose that $\tilde{\cal P}(I)\/$ is ooinhwise nonnegative. Fonsider thg pojtnomial $f_1(I)=\suo\limits^{N}_{n=0} b_u I^n\/$, where jhe $c_n\/$ are arbitrary real coeffizientx. By (4.4) we hqvw $\lwtgle (f_1(I))^2\rangoe _{\tijde{\cal P}}\geq 0\/$. That is, $$\begin{akigned}
\langle (f_1(L))^2\rangne _{\rilde{\cal P}} &=& \sum\limits^{I}_{m,n=0}
c_m c_n \langle  I^{m+n}\tangle _{\tilge{\eal P}} \nonumber\\
&=&\sum\limirs^{B}_{m,n=0} c_k c_n q_{m+n}\vinuobed\\
&=&\snm\ljmits^{N}_{l,n=0} r_m c_n L^{(N)}_{mn} \feq 0\;.\end{aligbed}$$ This means $L^{(N)}\gea 0\/$ dor every $N\ges 0\/$. Simylwrly, writing $f_2(I)=\sum\limits^{N}_{n=0} d_n I^n\/$ and evdluzting the expectation vqlue of the nonnegatige polynoiial $I(f_2(I))^2\/$ we have from (4.4): $$\begin{aligned}
\langle I(f_2(I))^2\rangne _{\timae{\cco P}} &=& \rym\pimits^{N
1934+]: $$\begin{aligned} &\tilde{\cal P}(I)\geq 0\;\mbox{for all}\; I\Leftrightarrow _{\tilde{\cal = \int\limits^{\infty}_{0} \tilde{\cal P}(I) f(I) all f(I)\geq 0. &\!\!\!\!\!\!\!\end{aligned}$$ Any polynomial $f(I)\/$ nonnegative over $[0,\infty)\/$ can be written terms of two perfect square polynomials as [@shohat-book] $$\begin{aligned} f(I) = (f_1(I))^2 + \end{aligned}$$ To prove necessity, suppose that $\tilde{\cal P}(I)\/$ is pointwise nonnegative. Consider the $f_1(I)=\sum\limits^{N}_{n=0} I^n\/$, the are arbitrary real coefficients. By (4.4) we have $\langle (f_1(I))^2\rangle _{\tilde{\cal P}}\geq 0\/$. That is, $$\begin{aligned} (f_1(I))^2\rangle _{\tilde{\cal P}} &=& \sum\limits^{N}_{m,n=0} c_m c_n \langle _{\tilde{\cal P}} \nonumber\\ &=&\sum\limits^{N}_{m,n=0} c_n q_{m+n}\nonumber\\ &=&\sum\limits^{N}_{m,n=0} c_m c_n \geq This means 0\/$ every 0\/$. Similarly, writing d_n I^n\/$ and evaluating the expectation value of the nonnegative polynomial $I(f_2(I))^2\/$ we have from (4.4): $$\begin{aligned} I(f_2(I))^2\rangle _{\tilde{\cal \sum\limits^{N
1934+]: $$\begin{aligned}
&\tilde{\cal P}(I)\geq 0\;\Mbox{for all}\; i\LeftRigHtaRrOw
\laNgle F(I)\rangle _{\tilde{\cAL P}} = \inT\limits^{\infty}_{0} dI
\tilde{\cal p}(I) f(I) \gEq 0,&
\NOnumBEr \\
&\Mbox{fOr all poLYnOMIal}\;
F(I)\GeQ 0. &\!\!\!\!\!\!\!\enD{aLIgNed}$$

\(ii) any PolynomIal $f(I)\/$ pointWisE nOnnegative ovER $[0,\iNfty)\/$ can be wRitTen in terms of Two PerfecT sQuaRE polyNomIals aS [@shohaT-Book] $$\beGin{aligneD}
f(i) = (F_1(I))^2 + I(f_2(I))^2\;.  \eND{aligneD}$$

tO pRove Necessity, suppose tHAt $\TIlde{\cal P}(I)\/$ is poiNtwise NoNNeGATivE. CoNsider the pOlYnomiAL $f_1(I)=\sum\lIMiTS^{n}_{N=0} c_n i^N\/$, where the $c_n\/$ arE arbitrary rEAl cOefficIeNts. bY (4.4) we havE $\langLe (F_1(i))^2\raNgle _{\tilde{\caL P}}\geQ 0\/$. That is, $$\beGin{aliGNed}
\langLE (f_1(I))^2\rangLe _{\tildE{\caL P}} &=& \sUm\liMItS^{N}_{M,n=0}
c_M c_N \LanGLe  i^{m+n}\RAngLe _{\tilde{\cAl p}} \nOnumbEr\\
&=&\suM\LIMIts^{N}_{M,n=0} c_M c_n q_{M+n}\nonUmber\\
&=&\sum\limitS^{N}_{m,N=0} c_m c_N l^{(N)}_{mN} \geq 0\;.\eNd{aliGned}$$ thIs meaNs $L^{(N)}\geQ 0\/$ for eVeRy $N\geq 0\/$. Similarly, WritIng $f_2(I)=\sum\lImiTs^{n}_{n=0} d_N I^N\/$ and eVAluatiNg tHe eXpectatIon valuE Of tHe NONNeGative polynomial $I(f_2(i))^2\/$ wE HAvE from (4.4): $$\begIn{aligNEd}
\LaNGle I(f_2(I))^2\raNgLe _{\tIlde{\CAL P}} &=& \sum\LimiTS^{N
1934+]: $$\begin{aligned}&\tilde{\c al P} (I) \ge q0\;\ mbox {for all}\; I\ L eftr ightarrow
\langle f(I) \rang le _{\t i ld e{\ca l P}} = \i n t \li mi ts ^{\ in f ty }_{0}  dI 
\tilde {\cal P}(I ) f (I ) \geq 0,&
\ n on umber \\
& \mb ox{for all p oly nomial }\ ;
f ( I)\ge q 0 . &\! \!\!\! \ !\!\!\ end{align ed } $$

\( i i) Anyp o ly nomi al $f(I)\/$ point w is e  nonnegative o ver $[ 0, \ in f t y)\ /$can be wri tt en in terms o f  t w o per f ect square po lynomials a s  [@ shohat -b ook ]  $$\be gin{a li g ned }
f(I) = (f _1(I ))^2 + I( f_2(I) ) ^2\;. \ end{ali gned}$ $
Toprov e  n ec ess it y , s u pp ose tha t $\tild e{ \c al P} (I)\ / $ i s po int wise  nonn egative. Cons ide r th e  po lynom ial $ f_1( I) =\sum \limit s^{N} _{ n=0} c_n I^n\/$ , wh ere the $ c_n \/ $ a re  arbi t rary r eal  co efficie nts. By (4. 4) w e  h ave $\langle (f_1( I) ) ^ 2\ rangle _ {\tild e {\ ca l  P}}\geq  0 \/$ . Th a t  is,$$\b e gi n{aligne d}
\la n gl e(f_1(I) )^ 2\rang le  _{ \ti lde{\ c al P }} &=&  \sum\li mits^ { N}_{m,n=0}
c_m c_n \langle I ^{ m + n} \ rang le_{\tilde{\c al P } } \n onum b er \\& =&\su m\lim it s ^{ N }_{m,n=0} c_m c_n q _{ m+n}\n onumb er\\
&=&\sum\ limits^{N} _ { m ,n=0} c_ m c_ n  L ^ {(N)}_{mn} \ge q 0\; .\end{alig n ed}$$ Th is me ans $L^{ (N)}\geq0 \ /$ for e ver y $ N\g eq0 \ /$ . Similarly,w r itin g$f_2(I) =\s um\limi ts^ {N} _{n =0}  d _n I^n\/$  and eva lu at in gthe  expe c tation v al ueof  th e non n egativ e pol ynom ia l$ I(f _2(I))^ 2 \/ $ we h av efrom  (4 .4 ): $$ \beg i n{a ligned} 
\langleI(f _ 2(I) )^ 2\ rangle_{\tilde{\cal  P }} &=& \su m\ lim its^{N 
1934+]: $$\begin{aligned}
&\tilde{\cal_P}(I)\geq 0\;\mbox{for_all}\; I\Leftrightarrow
\langle f(I)\rangle _{\tilde{\cal_P}} =_\int\limits^{\infty}_{0}_dI
\tilde{\cal P}(I)_f(I)_\geq 0,&
\nonumber \\
&\mbox{for_all polynomial}\;
f(I)\geq 0._&\!\!\!\!\!\!\!\end{aligned}$$

\(ii) Any polynomial $f(I)\/$_pointwise nonnegative over_$[0,\infty)\/$_can be written in terms of two perfect square polynomials as [@shohat-book] $$\begin{aligned}
f(I) = (f_1(I))^2_+_I(f_2(I))^2\;. _\end{aligned}$$

To_prove_necessity, suppose that $\tilde{\cal P}(I)\/$_is pointwise nonnegative. Consider the_polynomial $f_1(I)=\sum\limits^{N}_{n=0}_c_n I^n\/$, where the $c_n\/$ are arbitrary real_coefficients._By (4.4) we_have $\langle (f_1(I))^2\rangle _{\tilde{\cal P}}\geq 0\/$. That is, $$\begin{aligned}
\langle_(f_1(I))^2\rangle _{\tilde{\cal P}} &=& \sum\limits^{N}_{m,n=0}
c_m c_n_\langle  I^{m+n}\rangle__{\tilde{\cal_P}}_\nonumber\\
&=&\sum\limits^{N}_{m,n=0} c_m c_n q_{m+n}\nonumber\\
&=&\sum\limits^{N}_{m,n=0}_c_m c_n L^{(N)}_{mn} \geq 0\;.\end{aligned}$$ This_means $L^{(N)}\geq 0\/$ for every $N\geq_0\/$. Similarly, writing $f_2(I)=\sum\limits^{N}_{n=0} d_n I^n\/$ and_evaluating the expectation value of the_nonnegative polynomial $I(f_2(I))^2\/$ we have_from (4.4):_$$\begin{aligned}
\langle I(f_2(I))^2\rangle _{\tilde{\cal P}} &=&_\sum\limits^{N