 P_{d}]\psi= \sum_{j=0}^{d} [x_{d}, \psi P_{d}\psi] =\sum_{j=0}^{d}[\chi x_{d}, \psi P_{d}\psi].  
     \label{eq:Traces.commutators.vanishing-cP}$$ In particular $P$ is a sum of commutators in ${\ensuremath{\Psi_{H,{\operatorname{c}}}}}^{{\ensuremath{\mathbb{Z}}}}({\ensuremath{{\ensuremath{\mathbb{R}}}^{d+1}}})$.

\(ii) Let $\Gamma_{0}\in {\ensuremath{\Psi_{H}}}^{-(d+2)}$ have kernel $k_{\Gamma_{0}}(x,y)=-\log\|\phi_{x}(y)\|$ and suppose that $P=c \Gamma_{0} \psi$ where $c\in 
C^{\infty}_{c}({\ensuremath{{\ensuremath{\mathbb{R}}}^{d+1}}})$ is such that $\int c(x)dx=0$ and $\psi \in C^{\infty}_{c}({\ensuremath{{\ensuremath{\mathbb{R}}}^{d+1}}})$ is such that $\psi=1$ near ${{\operatorname{supp}}}c$. First, we have:

If $c\in C^{\infty}_{c}({\ensuremath{{\ensuremath{\mathbb{R}}}^{d+1}}})$ is such that $\int c(x)dx=0$, then there exist $c_{0}, \ldots,c_{d}$ in $C_{c}^{\infty}({\ensuremath{{\ensuremath{\mathbb{R}}}^{d+1}}})$ such that $c=\partial_{x_{0}}c_{0}+\ldots+\partial_{x_{d}}c_{d}$.

We proceed by induction on the dimension $d+1$. In dimension $1$ the proof follows from the the fact that if $c\in 
    C^{\infty}_{c}({\ensuremath{\mathbb{R}}})$ is such that $\int_{-\infty}^{\infty}c(x_{0})dx_{0}=0$, then $\tilde{c}(x_{0})=\int_{-\infty}^{x_{0}}c(t)dt$ is an antiderivative of $c$ with compact support.

Assume now that the claim is true in dimension $d$ and under this assumption let us prove it in dimension $d+1$. Let $c\in C^{\infty}_{c}({\ensuremath{\mathbb{R}}}^{
P_{d}]\psi= \sum_{j=0}^{d } [ x_{d }, \psi P_{d}\psi ] = \sum_{j=0}^{d}[\chi x_{d }, \psi P_{d}\psi ].  
      \label{eq: Traces.commutators.vanishing - cP}$$ In particular $ P$ is a sum of commutators in $ { \ensuremath{\Psi_{H,{\operatorname{c}}}}}^{{\ensuremath{\mathbb{Z}}}}({\ensuremath{{\ensuremath{\mathbb{R}}}^{d+1}}})$. 

 \(ii) Let $ \Gamma_{0}\in { \ensuremath{\Psi_{H}}}^{-(d+2)}$ have kernel $ k_{\Gamma_{0}}(x, y)=-\log\|\phi_{x}(y)\|$ and presuppose that $ phosphorus = c \Gamma_{0 } \psi$ where $ c\in 
 C^{\infty}_{c}({\ensuremath{{\ensuremath{\mathbb{R}}}^{d+1}}})$ is such that $ \int c(x)dx=0 $ and $ \psi \in C^{\infty}_{c}({\ensuremath{{\ensuremath{\mathbb{R}}}^{d+1}}})$ is such that $ \psi=1 $ near $ { { \operatorname{supp}}}c$. First, we have: 

 If $ c\in C^{\infty}_{c}({\ensuremath{{\ensuremath{\mathbb{R}}}^{d+1}}})$ is such that $ \int c(x)dx=0 $, then there exist $ c_{0 }, \ldots, c_{d}$ in $ C_{c}^{\infty}({\ensuremath{{\ensuremath{\mathbb{R}}}^{d+1}}})$ such that $ c=\partial_{x_{0}}c_{0}+\ldots+\partial_{x_{d}}c_{d}$. 

 We continue by generalization on the dimension $ d+1$. In dimension $ 1 $ the validation follows from the the fact that if $ c\in 
     C^{\infty}_{c}({\ensuremath{\mathbb{R}}})$ is such that $ \int_{-\infty}^{\infty}c(x_{0})dx_{0}=0 $, then $ \tilde{c}(x_{0})=\int_{-\infty}^{x_{0}}c(t)dt$ is an antiderivative of $ c$ with compact support. 

 bear now that the claim is on-key in dimension $ d$ and under this assumption get us rise it in dimension $ d+1$. Let $ c\in C^{\infty}_{c}({\ensuremath{\mathbb{R}}}^ {
 P_{d}]\osi= \sum_{j=0}^{d} [x_{d}, \psi P_{d}\psi] =\smm_{j=0}^{d}[\chi x_{d}, \psi P_{b}\psi].  
     \lagel{eq:Trazes.commutators.vanishing-cP}$$ In pqrticylar $P$ is a sum of comoutators pn ${\ensurenath{\Ksi_{H,{\operatorname{c}}}}}^{{\xhsuremabk{\mathgn{Z}}}}({\ensbrxmath{{\ensuremath{\kathbb{R}}}^{d+1}}})$.

\(ii) Let $\Gamma_{0}\in {\etsjrzmath{\Psi_{H}}}^{-(d+2)}$ have kernel $k_{\Gamma_{0}}(x,y)=-\log\|\phy_{x}(y)\|$ and skppose that $P=c \Gamkw_{0} \psj$ where $c\in 
C^{\infty}_{c}({\ensuremath{{\ensursmath{\mauhbb{R}}}^{d+1}}})$ is such thay $\int c(x)dx=0$ and $\psi \in C^{\infhy}_{c}({\ejsuremath{{\ensurematj{\mathbb{R}}}^{d+1}}})$ iw susy that $\psi=1$ ndar ${{\operatorname{supp}}}c$. Rirst, we have:

If $c\in C^{\infty}_{c}({\ensufematk{{\ensuremath{\narhbh{T}}}^{d+1}}})$ is such tiat $\inn c(x)dx=0$, then tmvre exivt $c_{0}, \ldpts,c_{d}$ in $C_{c}^{\infby}({\ensnremqth{{\ensuremath{\mathbb{R}}}^{d+1}}})$ such that $c=\partiaj_{x_{0}}c_{0}+\ldots+\pdrcial_{x_{d}}c_{d}$.

We proceed by ibducthon mn tfw dkmehsmon $d+1$. In fimxnsion $1$ the proof folliws from the the favt nnat if $c\in 
    C^{\instr}_{c}({\ensuremath{\mathbb{R}}})$ is such that $\int_{-\infuy}^{\inffy}c(x_{0})dx_{0}=0$, then $\tilde{c}(x_{0})=\int_{-\ibfty}^{x_{0}}c(t)dt$ is an antidgrivative jf $c$ with compact support.

Assume now that the claik is vrje nk aumfnsion $d$ and under this assumption let us prods ot in dimension $b+1$. Let $c\in C^{\infty}_{v}({\ejsitemath{\mathbb{R}}}^{
P_{d}]\psi= \sum_{j=0}^{d} [x_{d}, \psi P_{d}\psi] =\sum_{j=0}^{d}[\chi x_{d}, \label{eq:Traces.commutators.vanishing-cP}$$ particular $P$ a sum of $\Gamma_{0}\in have kernel $k_{\Gamma_{0}}(x,y)=-\log\|\phi_{x}(y)\|$ suppose that $P=c \psi$ where $c\in C^{\infty}_{c}({\ensuremath{{\ensuremath{\mathbb{R}}}^{d+1}}})$ is such $\int c(x)dx=0$ and $\psi \in C^{\infty}_{c}({\ensuremath{{\ensuremath{\mathbb{R}}}^{d+1}}})$ is such that $\psi=1$ near ${{\operatorname{supp}}}c$. First, have: If $c\in C^{\infty}_{c}({\ensuremath{{\ensuremath{\mathbb{R}}}^{d+1}}})$ is such that $\int c(x)dx=0$, then there exist $c_{0}, in such $c=\partial_{x_{0}}c_{0}+\ldots+\partial_{x_{d}}c_{d}$. proceed by induction on the dimension $d+1$. In dimension $1$ the proof follows from the the that if $c\in C^{\infty}_{c}({\ensuremath{\mathbb{R}}})$ is such that $\int_{-\infty}^{\infty}c(x_{0})dx_{0}=0$, $\tilde{c}(x_{0})=\int_{-\infty}^{x_{0}}c(t)dt$ is an antiderivative $c$ with compact support. Assume that claim is in $d$ under this assumption us prove it in dimension $d+1$. Let $c\in C^{\infty}_{c}({\ensuremath{\mathbb{R}}}^{
 P_{d}]\psi= \sum_{j=0}^{d} [x_{d}, \psi P_{d}\psi] =\sum_{j=0}^{d}[\Chi x_{d}, \psi P_{d}\Psi].  
     \laBel{Eq:TRaCes.cOmmuTators.vanishinG-CP}$$ In Particular $P$ is a sum of comMutatOrS In ${\enSUrEmath{\psi_{H,{\opeRAtORNamE{c}}}}}^{{\EnSurEmATh{\MathbB{Z}}}}({\eNsuremaTh{{\ensuremaTh{\mAtHbb{R}}}^{d+1}}})$.

\(ii) Let $\GaMMa_{0}\In {\ensuremaTh{\PSi_{H}}}^{-(d+2)}$ have kernEl $k_{\gamma_{0}}(x,Y)=-\lOg\|\pHI_{x}(y)\|$ anD suPpose That $P=c \gAmma_{0} \psI$ where $c\in 
c^{\iNFty}_{c}({\enSUremath{{\ENSuRemaTh{\mathbb{R}}}^{d+1}}})$ is such tHAt $\INt c(x)dx=0$ and $\psi \in c^{\infty}_{C}({\eNSuREMatH{{\enSuremath{\maThBb{R}}}^{d+1}}})$ iS Such thaT $\PsI=1$ NEAr ${{\oPEratorname{supP}}}c$. First, we haVE:

If $C\in C^{\inFtY}_{c}({\eNSuremaTh{{\ensUrEMatH{\mathbb{R}}}^{d+1}}})$ is Such That $\int c(x)Dx=0$, then THere exiST $c_{0}, \ldots,C_{d}$ in $C_{c}^{\InfTy}({\eNsurEMaTh{{\EnsUrEMatH{\MaThbB{r}}}^{d+1}}})$ sUch that $c=\PaRtIal_{x_{0}}c_{0}+\LdotS+\PARTial_{X_{d}}c_{D}$.

We pRoceeD by induction oN thE dimENsiOn $d+1$. In DimenSion $1$ ThE prooF folloWs froM tHe the fact that if $C\in 
    C^{\Infty}_{c}({\ensUreMaTh{\mAtHbb{R}}})$ iS Such thAt $\iNt_{-\iNfty}^{\infTy}c(x_{0})dx_{0}=0$, tHEn $\tIlDE{C}(X_{0})=\iNt_{-\infty}^{x_{0}}c(t)dt$ is an anTiDERiVative of $C$ with cOMpAcT Support.

ASsUme Now tHAT the cLaim IS tRue in dimEnsion $D$ AnD uNder thiS aSsumptIoN leT us Prove IT in dImensiOn $d+1$. Let $c\iN C^{\infTY}_{c}({\ensuremath{\maTHbb{R}}}^{
 P_{d}]\psi= \sum_{j=0}^{d } [x_{d},\psiP_{ d}\ ps i] = \sum _{j=0}^{d}[\ch i  x_{ d}, \psi P_{d}\psi]. 
    \ l abel { eq :Trac es.comm u ta t o rs. va ni shi ng - cP }$$ I n p articul ar $P$ isa s um  of commutat o rs  in ${\ens ure math{\Psi_{H ,{\ operat or nam e {c}}} }}^ {{\en surema t h{\mat hbb{Z}}}} ({ \ ensure m ath{{\e n s ur emat h{\mathbb{R}}}^{d + 1} } })$.

\(ii) Le t $\Ga mm a _{ 0 } \in  {\ ensuremath {\ Psi_{ H }}}^{-( d +2 ) } $  ha v e kernel $k_{ \Gamma_{0}} ( x,y )=-\lo g\ |\p h i_{x}( y)\|$  a n d s uppose that  $P= c \Gamma_ {0} \p s i$ wher e  $c\in
C^{\i nft y}_ {c}( { \e ns ure ma t h{{ \ en sur e mat h{\mathb b{ R} }}^{d +1}} } ) $ is s uch  tha t $\i nt c(x)dx=0$and  $\p s i \ in C^ {\inf ty}_ {c }({\e nsurem ath{{ \e nsuremath{\math bb{R }}}^{d+1} }}) $issu ch th a t $\ps i=1 $ n ear ${{ \operat o rna me { s u pp }}}c$. First, we h av e : 
If $c\in  C^{\i n ft y} _ {c}({\en su rem ath{ { \ ensur emat h {\ mathbb{R }}}^{d + 1} }} )$ is s uc h that  $ \in t c (x)dx = 0$,then t here exi st $c _ {0}, \ldots,c_ { d}$ in $C_{c} ^ {\ i n ft y }({\ ens uremath{{\e nsur e math {\ma t hb b{R } }}^{d +1}}} )$ su c h that $c=\partial_ {x _{0}}c _{0}+ \ldots+\parti al_{x_{d}} c _ { d}$.

We  pro c ee d  by inductionon th e dimensio n  $d+1$.In di mension$1$ the p r o of follo wsfro m t het h efact that if$ c \in
   C^{\ inf ty}_{c} ({\ ens ure mat h{ \mathbb{R }}})$ is  s uc hth at$\int _ {-\infty }^ {\i nf ty} c(x_{ 0 })dx_{ 0}=0$ , th en  $ \ til de{c}(x _ {0 } ) =\in t_ {- \inf ty} ^{ x_{0} }c(t ) dt$  is anantideriv ati v e of  $ c$  with c ompact suppor t. 

Assume n ow  th at the c laim istrue in dimension $d$ a n d under  th is as sump tion letusproveiti n dime nsion$d+1$ .Let $ c\inC ^ {\ inf ty }_{c}({\en s u rem ath{\ ma thbb {R}}}^{ 
 P_{d}]\psi=_\sum_{j=0}^{d} [x_{d},_\psi P_{d}\psi] =\sum_{j=0}^{d}[\chi x_{d},_\psi P_{d}\psi].__
 __  \label{eq:Traces.commutators.vanishing-cP}$$_In particular $P$_is a sum of_commutators in ${\ensuremath{\Psi_{H,{\operatorname{c}}}}}^{{\ensuremath{\mathbb{Z}}}}({\ensuremath{{\ensuremath{\mathbb{R}}}^{d+1}}})$.

\(ii)_Let_$\Gamma_{0}\in {\ensuremath{\Psi_{H}}}^{-(d+2)}$ have kernel $k_{\Gamma_{0}}(x,y)=-\log\|\phi_{x}(y)\|$ and suppose that $P=c \Gamma_{0} \psi$ where $c\in 
C^{\infty}_{c}({\ensuremath{{\ensuremath{\mathbb{R}}}^{d+1}}})$_is_such that_$\int_c(x)dx=0$_and $\psi \in C^{\infty}_{c}({\ensuremath{{\ensuremath{\mathbb{R}}}^{d+1}}})$ is_such that $\psi=1$ near ${{\operatorname{supp}}}c$._First, we_have:

If $c\in C^{\infty}_{c}({\ensuremath{{\ensuremath{\mathbb{R}}}^{d+1}}})$ is such that $\int c(x)dx=0$,_then_there exist $c_{0},_\ldots,c_{d}$ in $C_{c}^{\infty}({\ensuremath{{\ensuremath{\mathbb{R}}}^{d+1}}})$ such that $c=\partial_{x_{0}}c_{0}+\ldots+\partial_{x_{d}}c_{d}$.

We proceed by induction_on the dimension $d+1$. In dimension_$1$ the proof_follows_from_the the fact that_if $c\in 
   _C^{\infty}_{c}({\ensuremath{\mathbb{R}}})$ is such that $\int_{-\infty}^{\infty}c(x_{0})dx_{0}=0$, then_$\tilde{c}(x_{0})=\int_{-\infty}^{x_{0}}c(t)dt$ is an antiderivative of $c$ with_compact support.

Assume now that the claim_is true in dimension $d$_and under_this assumption let us prove_it in dimension_$d+1$. Let_$c\in C^{\infty}_{c}({\ensuremath{\mathbb{R}}}^{