}\end{aligned}$$ since both square brackets in the last equality in are bounded operators and by hypothesis at least one of them is compact. Employing again completes the proof of.

Equation extends [@RS78 Problem 73(a), p. 373], since $B$ is not assumed to be symmetric.

In a completely analogous manner one proves membership of the operators in in the Schatten–von Neumann classes ${{\mathcal B}}_p({{\mathcal H}})$, $p{\geqslant}1$; we omit further details.

[r3.6]{} We conclude this section by recalling a well-known example, where $A$ and $B$ are self-adjoint, $B$ is $A$-form bounded and even $A$-form compact, but $B$ is not $A$-bounded (let alone $A$-compact): Denote by ${{\mathcal R}}$ the class of Rollnik potentials in ${{\mathbb{R}}}^3$, that is, $${{\mathcal R}}= \bigg\{V\colon{{\mathbb{R}}}^3 \to {{\mathbb{C}}}\,\bigg|
\int_{{{\mathbb{R}}}^6} d^3x \, d^3y \, {\frac}{|V(x)| |V(y)|}{|x-y|^2} < \infty\bigg\},$$ and by $H_0$ the $L^2({{\mathbb{R}}};d^3x)$-realization of (minus) the Laplacian $-\Delta$ defined on the Sobolev space $H^{2,2}({{\mathbb{R}}}^3)$. Then there exist potentials $0 \leq V_0 \in L^1({{\mathbb{R}}}^3;d^3x)\cap{{\mathcal R}}$ such that $$V_0^{1/2} \big(H_0 + I_{L^2({{\mathbb{R}}}^3;d^3x)}\big)^{-1/2} 
\in {{\mathcal B}}_4\big(L^2({{\mathbb{R}}}^3;d^3x)\big),$$ (cf. Simon [@Si71], Theorem I.22 and Example 4 in Sect. I.6) and hence $V_0$ is $H_0$-form compact, but $${\text{\rm{dom}}}(V_0) \cap {\text{\rm{dom}}}(H_0) =\{0\},$$ and thus $V_0$ is not $H_0
} \end{aligned}$$ since both square brackets in the last equality in are bounded operator and by guess at least one of them is compact. Employing again dispatch the validation of. 

 Equation extends [ @RS78 Problem   73(a), p.   373 ], since $ B$ is not assumed to be symmetric. 

 In a wholly analogous manner one rise membership of the operator in in the Schatten – von Neumann classes $ { { \mathcal B}}_p({{\mathcal H}})$, $ p{\geqslant}1 $; we omit further detail. 

 [ r3.6 ] { } We conclude this section by recall a well - know example, where $ A$ and $ B$ are self - adjoint, $ B$ is $ A$ -form bounded and even $ A$ -form compact, but $ B$ is not $ A$ -bounded (let alone $ A$ -compact ): announce by $ { { \mathcal R}}$ the class of Rollnik potentials in $ { { \mathbb{R}}}^3 $, that is, $ $ { { \mathcal R}}= \bigg\{V\colon{{\mathbb{R}}}^3 \to { { \mathbb{C}}}\,\bigg| 
 \int_{{{\mathbb{R}}}^6 } d^3x \, d^3y \, { \frac}{|V(x)| |V(y)|}{|x - y|^2 } < \infty\bigg\},$$ and by $ H_0 $ the $ L^2({{\mathbb{R}}};d^3x)$-realization of (minus) the Laplacian $ -\Delta$ define on the Sobolev space $ H^{2,2}({{\mathbb{R}}}^3)$. Then there exist potentials $ 0 \leq V_0 \in L^1({{\mathbb{R}}}^3;d^3x)\cap{{\mathcal R}}$ such that $ $ V_0^{1/2 } \big(H_0 + I_{L^2({{\mathbb{R}}}^3;d^3x)}\big)^{-1/2 } 
 \in { { \mathcal B}}_4\big(L^2({{\mathbb{R}}}^3;d^3x)\big),$$ (californium.   Simon [ @Si71 ], Theorem I.22 and Example 4 in Sect.   I.6) and hence $ V_0 $ is $ H_0$-form compendious, but $ $ { \text{\rm{dom}}}(V_0) \cap { \text{\rm{dom}}}(H_0) = \{0\},$$ and thus $ V_0 $ is not $ H_0
}\end{wligned}$$ since both squart brackets in the last exualitg in are bounded operators and by hy'othwsis qt least one of them ir compact. Employibg ajain completes tis proof of.

Equzbion zxvends [@RS78 Problek 73(a), p. 373], since $B$ is not assukea co be symmetric.

In a completely analodous mamnfr one proves iembtrsrip kf the operators in in the Schatteh–von Nelmann classes ${{\matncal B}}_p({{\mathcal H}})$, $p{\geqslant}1$; we lmit further detaips.

[r3.6]{} We concoude rhis section by recallpug a well-knkwn example, where $A$ and $B$ are sdlf-adloint, $B$ is $Q$-firm tounded and even $A$-form compagn, but $B$ is not $A$-bounded (let sloie $A$-xompact): Denote by ${{\matical R}}$ the class of Tollnik podeutials in ${{\mathbb{R}}}^3$, thar us, $${{\majhcal R}}= \bktg\{V\zolkn{{\kafhbb{R}}}^3 \ho {{\jathbb{C}}}\,\bigf|
\int_{{{\mathbb{R}}}^6} d^3x \, d^3y \, {\frac}{|V(x)| |V(y)|}{|x-u|^2} < \pmfty\bigg\},$$ and by $H_0$ ehq $L^2({{\mathbb{R}}};d^3x)$-realization of (minus) the Laklacizn $-\Delta$ defined on the Sobolev space $H^{2,2}({{\mathbh{R}}}^3)$. Then trere exist potentials $0 \leq V_0 \in L^1({{\mathbb{R}}}^3;d^3x)\cap{{\mathwal R}}$ ruck that $$C_0^{1/2} \hig(H_0 + I_{L^2({{\mathbb{R}}}^3;d^3x)}\big)^{-1/2} 
\in {{\mathcal B}}_4\big(L^2({{\mathbb{R}}}^3;d^3v)\gib),$$ (bf. Simon [@Si71], Theorei I.22 and Exakppe 4 in Sect. I.6) and hence $V_0$ js $H_0$-form compact, bkt $${\text{\tm{dom}}}(V_0) \cap {\text{\wm{dok}}}(H_0) =\{0\},$$ and thus $V_0$ is not $H_0
}\end{aligned}$$ since both square brackets in the in bounded operators by hypothesis at compact. again completes the of. Equation extends Problem 73(a), p. 373], since $B$ not assumed to be symmetric. In a completely analogous manner one proves membership the operators in in the Schatten–von Neumann classes ${{\mathcal B}}_p({{\mathcal H}})$, $p{\geqslant}1$; we further [r3.6]{} conclude section by recalling a well-known example, where $A$ and $B$ are self-adjoint, $B$ is $A$-form bounded even $A$-form compact, but $B$ is not $A$-bounded alone $A$-compact): Denote by R}}$ the class of Rollnik in that is, R}}= \to \int_{{{\mathbb{R}}}^6} d^3x \, \, {\frac}{|V(x)| |V(y)|}{|x-y|^2} < \infty\bigg\},$$ and by $H_0$ the $L^2({{\mathbb{R}}};d^3x)$-realization of (minus) the Laplacian $-\Delta$ defined on Sobolev space there exist $0 V_0 L^1({{\mathbb{R}}}^3;d^3x)\cap{{\mathcal R}}$ such \big(H_0 + I_{L^2({{\mathbb{R}}}^3;d^3x)}\big)^{-1/2} \in {{\mathcal B}}_4\big(L^2({{\mathbb{R}}}^3;d^3x)\big),$$ Theorem I.22 and Example 4 in Sect. I.6) hence $V_0$ $H_0$-form compact, but $${\text{\rm{dom}}}(V_0) \cap {\text{\rm{dom}}}(H_0) and thus $V_0$ is not $H_0
}\end{aligned}$$ since both square Brackets in The laSt eQuaLiTy in Are bOunded operatorS And bY hypothesis at least one oF them Is COmpaCT. EMployIng agaiN CoMPLetEs ThE prOoF Of.

equatIon Extends [@rS78 Problem 73(a), P. 373], siNcE $B$ is not assumED tO be symmetrIc.

IN a completely AnaLogous MaNneR One prOveS membErship OF the opErators in In THe SchaTTen–von NEUMaNn clAsses ${{\mathcal B}}_p({{\matHCaL h}})$, $p{\geqslant}1$; we omIt furtHeR DeTAIls.

[R3.6]{} We Conclude thIs SectiON by recaLLiNG A WelL-Known example, wHere $A$ and $B$ arE SelF-adjoiNt, $b$ is $a$-Form boUnded AnD EveN $A$-form compaCt, buT $B$ is not $A$-bOunded (LEt alone $a$-Compact): denote By ${{\mAthCal R}}$ THe ClAss Of rOllNIk PotENtiAls in ${{\matHbB{R}}}^3$, That iS, $${{\matHCAL r}}= \bigG\{V\cOlon{{\MathbB{R}}}^3 \to {{\mathbb{C}}}\,\biGg|
\iNt_{{{\maTHbb{r}}}^6} d^3x \, d^3y \, {\Frac}{|V(X)| |V(y)|}{|x-Y|^2} < \iNfty\bIgg\},$$ and By $H_0$ thE $L^2({{\Mathbb{R}}};d^3x)$-realizAtioN of (minus) tHe LApLacIaN $-\DeltA$ DefineD on The sobolev Space $H^{2,2}({{\mAThbB{R}}}^3)$. tHEN tHere exist potentialS $0 \lEQ v_0 \iN L^1({{\mathbb{r}}}^3;d^3x)\cap{{\MAtHcAL R}}$ such thAt $$v_0^{1/2} \biG(H_0 + I_{L^2({{\MAThbb{R}}}^3;D^3x)}\biG)^{-1/2} 
\In {{\Mathcal B}}_4\Big(L^2({{\maTHbB{R}}}^3;D^3x)\big),$$ (cf. siMon [@Si71], THeOreM I.22 aNd ExaMPle 4 iN Sect. I.6) And hence $v_0$ is $H_0$-fORm compact, but $${\teXT{\rm{dom}}}(V_0) \cap {\texT{\Rm{DOM}}}(H_0) =\{0\},$$ ANd thUs $V_0$ Is not $H_0
}\end{aligned}$$ since bot h square b racke tsinth e la st e quality in are boun ded operators and by h ypoth es i s at le ast o ne of t h em i s c om pa ct.  E m pl oying  ag ain com pletes the  pr oo f of.

Equat i on  extends [ @RS 78 Problem 7 3(a ), p.37 3], since  $B $ isnot as s umed t o be symm et r ic.

I n  a comp l e te ly a nalogous manner o n ep roves membersh ip ofth e  o p e rat ors  in in the  S chatt e n–von N e um a n n  cl a sses ${{\math cal B}}_p({ { \ma thcalH} })$ ,  $p{\g eqsla nt } 1$;  we omit fu rthe r details .

[r3 . 6]{} We conclud e this  se cti on b y  r ec all in g  aw el l-k n own  example ,wh ere $ A$ a n d $ B$ a reself -adjo int, $B$ is $ A$- form bou ndedand e ven$A $-for m comp act,bu t $B$ is not $A $-bo unded (le t a lo ne$A $-com p act):Den ote  by ${{ \mathca l  R} }$ t h eclass of Rollnik p ot e n ti als in $ {{\mat h bb {R } }}^3$, t ha t i s, $ $ { {\mat hcal R} }= \bigg \{V\co l on {{ \mathbb {R }}}^3\t o { {\m athbb { C}}} \,\big g|
\int_ {{{\m a thbb{R}}}^6} d ^ 3x \, d^3y \, {\ f r ac } {|V( x)|  |V(y)|}{|x -y|^ 2 } <\inf t y\ big g \},$$  andby $H _ 0$ the $L^2({{\math bb {R}}}; d^3x) $-realization  of (minus ) t he Lapla cian $- \ Delta$ defined  on t he Sobolev space $H ^{2,2 }({{\mat hbb{R}}}^ 3 ) $. Thenthe reexi stp o te ntials $0 \le q V_0\i n L^1({ {\m athbb{R }}} ^3; d^3 x)\ ca p{{\mathc al R}}$su ch  t ha t $ $V_0^ { 1/2} \bi g( H_0  +  I_ {L^2( { {\math bb{R} }}^3 ;d ^3 x )}\ big)^{- 1 /2 } 
\in  { {\ math cal  B }}_4\ big( L ^2( {{\math bb{R}}}^3 ;d^ 3 x)\b ig ), $$ (cf.  Simon [@Si71 ],  Theorem I .2 2 a nd Exa m p le 4 inSect. I.6) and hence $V _ 0$ is $ H_0 $-for m co mpact, bu t $ ${\tex t{\ r m{dom} }}(V_0 ) \ca p{\t e x t{\rm { d om }}} (H _0) =\{0\} , $ $ a nd th us  $V_ 0$ is n ot $H_0
}\end{aligned}$$ since_both square_brackets in the last_equality in_are_bounded operators_and_by hypothesis at_least one of_them is compact. Employing_again completes the_proof_of.

Equation extends [@RS78 Problem 73(a), p. 373], since $B$ is not assumed to be symmetric.

In a_completely_analogous manner_one_proves_membership of the operators in_in the Schatten–von Neumann classes_${{\mathcal B}}_p({{\mathcal_H}})$, $p{\geqslant}1$; we omit further details.

[r3.6]{} We conclude_this_section by recalling_a well-known example, where $A$ and $B$ are self-adjoint,_$B$ is $A$-form bounded and even_$A$-form compact, but_$B$_is_not $A$-bounded (let alone_$A$-compact): Denote by ${{\mathcal R}}$ the_class of Rollnik potentials in ${{\mathbb{R}}}^3$,_that is, $${{\mathcal R}}= \bigg\{V\colon{{\mathbb{R}}}^3 \to {{\mathbb{C}}}\,\bigg|
\int_{{{\mathbb{R}}}^6}_d^3x \, d^3y \, {\frac}{|V(x)| |V(y)|}{|x-y|^2}_< \infty\bigg\},$$ and by $H_0$_the $L^2({{\mathbb{R}}};d^3x)$-realization_of (minus) the Laplacian $-\Delta$_defined on the_Sobolev space_$H^{2,2}({{\mathbb{R}}}^3)$. Then there_exist potentials $0 \leq V_0 \in_L^1({{\mathbb{R}}}^3;d^3x)\cap{{\mathcal R}}$ such_that $$V_0^{1/2} \big(H_0 + I_{L^2({{\mathbb{R}}}^3;d^3x)}\big)^{-1/2} 
\in_{{\mathcal_B}}_4\big(L^2({{\mathbb{R}}}^3;d^3x)\big),$$ (cf. Simon [@Si71],_Theorem_I.22_and Example_4 in Sect. I.6)_and_hence $V_0$_is_$H_0$-form compact, but $${\text{\rm{dom}}}(V_0) \cap {\text{\rm{dom}}}(H_0)_=\{0\},$$_and thus $V_0$ is not $H_0