 on both sides of Identity  and because of Identity , we get $$(\beta\circ\partial_{\sqrt{q}}\circ\mathcal A^{-1}\circ\mathcal B)(f_1\star_B f_2)=(\beta\circ\partial_{\sqrt{q}}\circ\mathcal A^{-1}\circ\mathcal B)(f_1)\cdot (\beta\circ\partial_{\sqrt{q}}\circ\mathcal A^{-1}\circ\mathcal B)(f_2)\ \text{modulo $\mathrm U(\mathfrak g)\cdot \mathfrak k^{-\delta+\frac{1}4\mathrm{tr}_\mathfrak g\circ\mathrm{ad}}$},$$ for $f_i$ in $\mathrm S(\mathfrak p)^\mathfrak k$, $i=1,2$.

We introduce the function $J$ on $\mathfrak p$ defined [*via*]{} $$j(x)=\underset{\mathfrak p}\det\!\left(\frac{\sinh(\mathrm{ad}(x))}{\mathrm{ad}(x)}\right),\ x\in\mathfrak p.$$ This function is the determinant of the exponential map for the symmetric pair $(\mathfrak g,\sigma)$: it can be written as a formal power series of traces in $\mathfrak p$ of even powers of the restriction to $\mathfrak p$ of the adjoint representation of $\mathfrak g$. Similarly to what has been done before, we define $\partial_{\sqrt{j}}$ as the invertible, translation-invariant, $\mathfrak k$-invariant differential operator of infinite order on $\mathrm S(\mathfrak p)$, whose symbol is exactly the square root of $j$.

We define a modified version of the previously introduced Rouvière’s product [*via*]{} $$\beta\!\left(\partial_{\sqrt{j}}(f_1\# f_2)\right)=\beta(\partial_{\sqrt{j}}(f_1))\cdot\beta(\partial_{\sqrt{j}}(f_2))\ \text{modulo $\mathrm U(\mathfrak g)\cdot\mathfrak k^{-\delta+\frac{1}4\mathrm{tr}_\mathfrak g\circ\mathrm{ad}}$.}$$ We observe that the left-hand side of the previous Identity is well-defined, because of the $\mathfrak k$-invariance and invertibility of $\partial_{\sqrt{j}}$.

The key point is now the following identity, which puts into relationship the functions $q$, $J$, $j_\mathcal A$ and $j_\mathcal
on both sides of Identity    and because of Identity  , we get $ $ (\beta\circ\partial_{\sqrt{q}}\circ\mathcal A^{-1}\circ\mathcal B)(f_1\star_B f_2)=(\beta\circ\partial_{\sqrt{q}}\circ\mathcal A^{-1}\circ\mathcal B)(f_1)\cdot (\beta\circ\partial_{\sqrt{q}}\circ\mathcal A^{-1}\circ\mathcal B)(f_2)\ \text{modulo $ \mathrm U(\mathfrak g)\cdot \mathfrak k^{-\delta+\frac{1}4\mathrm{tr}_\mathfrak g\circ\mathrm{ad}}$},$$ for $ f_i$ in $ \mathrm S(\mathfrak p)^\mathfrak k$, $ i=1,2$. 

 We introduce the function $ J$ on $ \mathfrak p$ define [ * via * ] { } $ $ j(x)=\underset{\mathfrak p}\det\!\left(\frac{\sinh(\mathrm{ad}(x))}{\mathrm{ad}(x)}\right),\ x\in\mathfrak p.$$ This affair is the determinant of the exponential map for the symmetric couple $ (\mathfrak g,\sigma)$: it can be written as a formal power serial of tracing in $ \mathfrak p$ of even powers of the limitation to $ \mathfrak p$ of the adjoint theatrical performance of $ \mathfrak g$. Similarly to what has been done before, we specify $ \partial_{\sqrt{j}}$ as the invertible, translation - invariant, $ \mathfrak k$-invariant differential operator of countless order on $ \mathrm S(\mathfrak p)$, whose symbol is exactly the straight root of $ j$. 

 We define a modify version of the previously introduced Rouvière ’s product [ * via * ] { } $ $ \beta\!\left(\partial_{\sqrt{j}}(f_1\ # f_2)\right)=\beta(\partial_{\sqrt{j}}(f_1))\cdot\beta(\partial_{\sqrt{j}}(f_2))\ \text{modulo $ \mathrm U(\mathfrak g)\cdot\mathfrak k^{-\delta+\frac{1}4\mathrm{tr}_\mathfrak g\circ\mathrm{ad}}$.}$$ We respect that the left - hand side of the previous Identity is well - specify, because of the $ \mathfrak k$-invariance and invertibility of $ \partial_{\sqrt{j}}$. 

 The key point is now the following identity, which puts into relationship the routine $ q$, $ J$, $ j_\mathcal A$ and $ j_\mathcal
 on both sides of Identity  xnd because of Neentitb , we gef $$(\beta\cifc\partial_{\sqrt{q}}\circ\mathcal A^{-1}\cmrc\mqthcao B)(f_1\star_B f_2)=(\beta\circ\pargial_{\sqrt{q}}\birc\mathcql A^{-1}\rirc\mathcal B)(f_1)\cdot (\beta\clxc\parflal_{\sqxt{w}}\circ\mathcal A^{-1}\girc\mathcal B)(f_2)\ \text{modulo $\mxtkrm U(\mathfrak g)\cdot \mathfrak k^{-\delta+\fwac{1}4\mathtm{hr}_\mathfrak g\citc\matnwm{ad}}$},$$ for $f_i$ in $\mathrm S(\mathfrak p)^\mathfdak k$, $i=1,2$.

Xe introduce thr function $J$ on $\mathfrak p$ deflned [*via*]{} $$j(x)=\underseh{\mathfrak p}\eet\!\lqdt(\frac{\sinh(\maghrm{ad}(x))}{\mathrm{ad}(x)}\right),\ s\in\mathfrak p.$$ This function is ghe dzterminant if thf exponentiao map for the symmetric pdir $(\matnfrak g,\sigma)$: ib can be written as a formal 'ower series of tracgs in $\mathxrck p$ of even powers od rhe rgstriwtiov to $\mauhfcak p$ of hhe adjoint rspresentatiin of $\mathfrak g$. Sikijqrly to what gas beqn done before, we define $\partial_{\sqrt{j}}$ as uhe ihvertible, translation-incariant, $\mathfrak k$-invwriant disferential operator of infinite order on $\mathrm S(\kathfcay p)$, wmose wylbol is exactly the square root of $j$.

We define z kocified version of the prefiluxjy introduced Rouvièxs’s product [*via*]{} $$\beta\!\lfft(\partyal_{\sqet{j}}(f_1\# f_2)\rigrt)=\beya(\partial_{\sqrt{j}}(f_1))\cdot\beta(\partual_{\sqrt{j}}(f_2))\ \teqt{moeulo $\mathrm U(\mathfxak g)\cdot\matkfrak l^{-\delts+\frac{1}4\mathrm{tr}_\mathfrak g\eirc\mafhrm{ad}}$.}$$ We ohserve thzg the left-hand skde ox the prtxious Identity is well-defiied, bzcause ow thg $\mathfwak k$-invarlance and invertibility lf $\pattial_{\sxrt{j}}$.

The kej point is now the following idxitity, which pots inno relatijnshii the functions $q$, $J$, $j_\mathcal C$ and $j_\mcthcal
on both sides of Identity and because , get $$(\beta\circ\partial_{\sqrt{q}}\circ\mathcal B)(f_1\star_B f_2)=(\beta\circ\partial_{\sqrt{q}}\circ\mathcal A^{-1}\circ\mathcal $\mathrm g)\cdot \mathfrak k^{-\delta+\frac{1}4\mathrm{tr}_\mathfrak for $f_i$ in S(\mathfrak p)^\mathfrak k$, $i=1,2$. We introduce function $J$ on $\mathfrak p$ defined [*via*]{} $$j(x)=\underset{\mathfrak p}\det\!\left(\frac{\sinh(\mathrm{ad}(x))}{\mathrm{ad}(x)}\right),\ x\in\mathfrak p.$$ This function the determinant of the exponential map for the symmetric pair $(\mathfrak g,\sigma)$: it be as formal series of traces in $\mathfrak p$ of even powers of the restriction to $\mathfrak p$ of adjoint representation of $\mathfrak g$. Similarly to what been done before, we $\partial_{\sqrt{j}}$ as the invertible, translation-invariant, k$-invariant operator of order $\mathrm p)$, whose symbol exactly the square root of $j$. We define a modified version of the previously introduced Rouvière’s product $$\beta\!\left(\partial_{\sqrt{j}}(f_1\# f_2)\right)=\beta(\partial_{\sqrt{j}}(f_1))\cdot\beta(\partial_{\sqrt{j}}(f_2))\ U(\mathfrak g)\cdot\mathfrak g\circ\mathrm{ad}}$.}$$ observe the left-hand side previous Identity is well-defined, because of and invertibility of $\partial_{\sqrt{j}}$. The key point is the following which puts into relationship the functions $J$, $j_\mathcal A$ and $j_\mathcal
 on both sides of Identity  and bEcause of IdEntitY , we Get $$(\BeTa\ciRc\paRtial_{\sqrt{q}}\circ\MAthcAl A^{-1}\circ\mathcal B)(f_1\star_B f_2)=(\Beta\cIrC\PartIAl_{\Sqrt{q}}\Circ\matHCaL a^{-1}\CirC\mAtHcaL B)(F_1)\CdOt (\betA\ciRc\partiAl_{\sqrt{q}}\cirC\maThCal A^{-1}\circ\mathCAl b)(f_2)\ \text{moduLo $\mAthrm U(\mathfrAk g)\Cdot \maThFraK K^{-\deltA+\frAc{1}4\matHrm{tr}_\mAThfrak G\circ\mathRm{AD}}$},$$ for $f_i$ IN $\mathrm s(\MAtHfraK p)^\mathfrak k$, $i=1,2$.

We intROdUCe the function $J$ On $\mathFrAK p$ DEFinEd [*vIa*]{} $$j(x)=\undersEt{\MathfRAk p}\det\!\lEFt(\FRAC{\siNH(\mathrm{ad}(x))}{\matHrm{ad}(x)}\right),\ X\In\mAthfraK p.$$ thiS FunctiOn is tHe DEteRminant of thE expOnential mAp for tHE symmetRIc pair $(\mAthfraK g,\sIgmA)$: it cAN bE wRitTeN As a FOrMal POweR series oF tRaCes in $\MathFRAK P$ of eVen PoweRs of tHe restriction To $\mAthfRAk p$ Of the AdjoiNt rePrEsentAtion oF $\mathFrAk g$. Similarly to wHat hAs been donE beFoRe, wE dEfine $\PArtial_{\SqrT{j}}$ aS the invErtible, TRanSlATIOn-Invariant, $\mathfrak k$-InVARiAnt diffeRentiaL OpErATor of infInIte OrdeR ON $\mathRm S(\mAThFrak p)$, whoSe symbOL iS eXactly tHe Square RoOt oF $j$.

WE defiNE a moDified Version oF the pREviously introdUCed Rouvière’s pROdUCT [*vIA*]{} $$\betA\!\leFt(\partial_{\sqRt{j}}(f_1\# F_2)\RighT)=\betA(\PaRtiAL_{\sqrt{J}}(f_1))\cdoT\bETa(\PArtial_{\sqrt{j}}(f_2))\ \text{modUlO $\mathrM U(\matHfrak g)\cdot\matHfrak k^{-\deltA+\FRAc{1}4\mathrm{Tr}_\maTHfRAk g\circ\mathrm{aD}}$.}$$ We obServe that tHE left-hanD side Of the preVious IdenTITy is well-DefIneD, beCauSE Of The $\mathfrak k$-iNVAriaNcE and invErtIbility Of $\pArtIal_{\SqrT{j}}$.

the key poiNt is now tHe FoLlOwIng IdentITy, which pUtS inTo RelAtionSHip the FunctIons $Q$, $J$, $J_\mAThcAl A$ and $j_\MAtHCAl
 on both sides of Identity   and beca use o f I den ti ty ,  weget $$(\beta\c i rc\p artial_{\sqrt{q}}\circ \math ca l  A^{ - 1} \circ \mathca l  B ) ( f_1 \s ta r_B  f _ 2) =(\be ta\ circ\pa rtial_{\sq rt{ q} }\circ\mathc a lA^{-1}\cir c\m athcal B)(f_ 1)\ cdot ( \b eta \ circ\ par tial_ {\sqrt { q}}\ci rc\mathca lA ^{-1}\ c irc\mat h c al  B)( f_2)\ \text{modul o  $ \ mathrm U(\math frak g )\ c do t \ma thf rak k^{-\d el ta+\f r ac{1}4\ m at h r m {tr } _\mathfrak g\ circ\mathrm { ad} }$},$$  f or$ f_i$ i n $\m at h rmS(\mathfrak  p)^ \mathfrak  k$, $ i =1,2$.We intr oducethe  fu ncti o n$J $ o n$ \ma t hf rak p$defined[* vi a*]{}  $$j ( x ) = \und ers et{\ mathf rak p}\det\!\ lef t(\f r ac{ \sinh (\mat hrm{ ad }(x)) }{\mat hrm{a d} (x)}\right),\ x \in\ mathfrakp.$ $Thi sfunct i on isthe  de termina nt of t h e e xp o n e nt ial map for the sy mm e t ri c pair $ (\math f ra kg ,\sigma) $:  it  can b e wri tten as  a forma l powe r  s er ies oftr aces i n$\m ath frakp $ of  evenpowers o f the restriction to $\mathfrak p$ of t he adjo int  representa tion of $ \mat h fr akg $. Si milar ly to what has been donebe fore,we de fine $\partia l_{\sqrt{j } } $  as theinve r ti b le, translatio n-inv ariant, $\ m athfrakk$-in variantdifferent i a l operat orofinf ini t e  o rder on $\mat h r m S( \m athfrak  p) $, whos e s ymb olisex actly the  squarero ot  o f$j$ .

We define a  m odi fi edversi o n of t he pr evio us ly int roduced Ro u v ière ’s  p rodu ct[* via*] {} $ $ \be ta\!\le ft(\parti al_ { \sqr t{ j} }(f_1\#  f_2)\right)= \b eta(\parti al _{\ sqrt{j } } (f_1))\c dot\beta(\partial_{\sqr t {j}}(f_ 2)) \ \te xt{m odulo $\m ath rm U(\ mat h frak g )\cdot \math fr akk ^ {-\de l t a+ \fr ac {1}4\mathr m { tr} _\mat hf rakg\circ\ mathrm{ad}}$.}$$ W e  ob serve that th e l eft- h a nd  si d eo f t he pre v i ous Identity is  well-defi ne d ,because of the  $ \mathfr ak k$-i nvari a nce and  invertib ility of$\ part i a l_{ \sqrt{j}}$ .

The k ey pointi s now th e fol low ing id en tit y, wh ich pu t s i nto r elatio ns hip th e fun ct ions $q$ , $J$, $j_\mathcal A$ a nd $j_ \math cal 
 on_both sides_of Identity  and because_of Identity ,_we_get $$(\beta\circ\partial_{\sqrt{q}}\circ\mathcal_A^{-1}\circ\mathcal_B)(f_1\star_B f_2)=(\beta\circ\partial_{\sqrt{q}}\circ\mathcal A^{-1}\circ\mathcal_B)(f_1)\cdot (\beta\circ\partial_{\sqrt{q}}\circ\mathcal A^{-1}\circ\mathcal_B)(f_2)\ \text{modulo $\mathrm U(\mathfrak_g)\cdot \mathfrak k^{-\delta+\frac{1}4\mathrm{tr}_\mathfrak_g\circ\mathrm{ad}}$},$$_for $f_i$ in $\mathrm S(\mathfrak p)^\mathfrak k$, $i=1,2$.

We introduce the function $J$ on $\mathfrak_p$_defined [*via*]{}_$$j(x)=\underset{\mathfrak_p}\det\!\left(\frac{\sinh(\mathrm{ad}(x))}{\mathrm{ad}(x)}\right),\_x\in\mathfrak p.$$ This function is_the determinant of the exponential_map for_the symmetric pair $(\mathfrak g,\sigma)$: it can be_written_as a formal_power series of traces in $\mathfrak p$ of even_powers of the restriction to $\mathfrak_p$ of the_adjoint_representation_of $\mathfrak g$. Similarly_to what has been done before,_we define $\partial_{\sqrt{j}}$ as the invertible,_translation-invariant, $\mathfrak k$-invariant differential operator of infinite_order on $\mathrm S(\mathfrak p)$, whose_symbol is exactly the square_root of_$j$.

We define a modified version_of the previously_introduced Rouvière’s_product [*via*]{} $$\beta\!\left(\partial_{\sqrt{j}}(f_1\#_f_2)\right)=\beta(\partial_{\sqrt{j}}(f_1))\cdot\beta(\partial_{\sqrt{j}}(f_2))\ \text{modulo $\mathrm U(\mathfrak g)\cdot\mathfrak k^{-\delta+\frac{1}4\mathrm{tr}_\mathfrak_g\circ\mathrm{ad}}$.}$$ We observe_that the left-hand side of the_previous_Identity is well-defined,_because_of_the $\mathfrak_k$-invariance and invertibility_of_$\partial_{\sqrt{j}}$.

The key_point_is now the following identity, which_puts_into relationship the functions $q$, $J$, $j_\mathcal_A$ and $j_\mathcal