:toinf\] that all terms in go to $0$ as ${{\boldsymbol{y}}}\in U_j$ approaches a boundary point ${{\boldsymbol{y}}}^\star$ of $U_j$ lying in $U_j^+$. Hence the condition in Lemma \[lem:Crproperty\] holds for a general $r$, and we conclude that $g\in{{\mathcal{C}}}^r({{\mathbb{R}}}^{d-1})$. We will prove – by induction on $|{{\boldsymbol{\alpha}}}|$. The case $|{{\boldsymbol{\alpha}}}|=1$ is shown in ; there we have $M_1= 1$, $a=1$, $b=1$, $c=0$, $\beta=1$, $|{{\boldsymbol{\gamma}}}^{(1)}|=1$, $|{{\boldsymbol{\eta}}}| = 0$, and $|{{\boldsymbol{\gamma}}}^{(i)}|+|{{\boldsymbol{\eta}}}|+c =1$. The case $|{{\boldsymbol{\alpha}}}|=2$ is shown in ; there we have $M_2= 8$, $1\le a,b\le 3$, $0\le c\le 1$, $\beta = \pm 1$, $1\le |{{\boldsymbol{\gamma}}}^{(i)}|\le 2$, $0\le |{{\boldsymbol{\eta}}}|\le 1$, and $1\le |{{\boldsymbol{\gamma}}}^{(i)}|+|{{\boldsymbol{\eta}}}|+c \le 2$. To establish the inductive step we now differentiate $D^{{\boldsymbol{\alpha}}}g$ once more: for $\ell\ne j$ we have from  $$\begin{aligned}
 \label{term}
  (D_\ell  D^{{\boldsymbol{\alpha}}}g)({{\boldsymbol{y}}})
  &\,=\, -\int_{-\infty}^{\psi({{\boldsymbol{y}}})}
  (D_\ell  D^{{\boldsymbol{\alpha}}}\theta)(x_j,{{\boldsymbol{y}}})\,\rho(x_j)\,{{\mathrm{d}}}x_j
   -\, (D^{{\boldsymbol{\alpha}}}\theta)(\psi({{\boldsymbol{y}}}),{{\boldsymbol{y}}})\,
   \rho(\psi({{\boldsymbol{y}}})) \, (D_\ell  \psi)({{\boldsymbol{y}}}) \nonumber \\
  &\qquad +\, \sum_{m=1}^{M_{|{{\boldsymbol{\alpha}}}|}} (D_\ell\, h_{{{\boldsymbol{\alpha
: toinf\ ] that all terms in go to $ 0 $ as $ { { \boldsymbol{y}}}\in U_j$ approaches a boundary point $ { { \boldsymbol{y}}}^\star$ of $ U_j$ dwell in $ U_j^+$. therefore the condition in Lemma   \[lem: Crproperty\ ] holds for a cosmopolitan $ r$, and we conclude that $ g\in{{\mathcal{C}}}^r({{\mathbb{R}}}^{d-1})$. We will raise – by induction on $ |{{\boldsymbol{\alpha}}}|$. The case $ |{{\boldsymbol{\alpha}}}|=1 $ is picture in; there we have $ M_1= 1 $, $ a=1 $, $ b=1 $, $ c=0 $, $ \beta=1 $, $ |{{\boldsymbol{\gamma}}}^{(1)}|=1 $, $ |{{\boldsymbol{\eta}}}| = 0 $, and $ |{{\boldsymbol{\gamma}}}^{(i)}|+|{{\boldsymbol{\eta}}}|+c = 1$. The case $ |{{\boldsymbol{\alpha}}}|=2 $ is read in; there we have $ M_2= 8 $, $ 1\le a, b\le 3 $, $ 0\le c\le 1 $, $ \beta = \pm 1 $, $ 1\le |{{\boldsymbol{\gamma}}}^{(i)}|\le 2 $, $ 0\le |{{\boldsymbol{\eta}}}|\le 1 $, and $ 1\le |{{\boldsymbol{\gamma}}}^{(i)}|+|{{\boldsymbol{\eta}}}|+c \le 2$. To establish the inductive footfall we now differentiate $ D^{{\boldsymbol{\alpha}}}g$ once more: for $ \ell\ne j$ we get from    $ $ \begin{aligned } 
  \label{term } 
   (D_\ell   D^{{\boldsymbol{\alpha}}}g)({{\boldsymbol{y } } }) 
   & \,=\, -\int_{-\infty}^{\psi({{\boldsymbol{y } } }) } 
   (D_\ell   D^{{\boldsymbol{\alpha}}}\theta)(x_j,{{\boldsymbol{y}}})\,\rho(x_j)\,{{\mathrm{d}}}x_j 
    -\, (D^{{\boldsymbol{\alpha}}}\theta)(\psi({{\boldsymbol{y}}}),{{\boldsymbol{y}}})\, 
    \rho(\psi({{\boldsymbol{y } } }) ) \, (D_\ell   \psi)({{\boldsymbol{y } } }) \nonumber \\ 
   & \qquad + \, \sum_{m=1}^{M_{|{{\boldsymbol{\alpha}}}| } } (D_\ell\, h_{{{\boldsymbol{\alpha
:toijf\] that all terms in go uo $0$ as ${{\boldsymbol{i}}}\ib U_j$ a'proachss a bouvdary point ${{\boldsymbol{y}}}^\star$ lf $U_j$ lting in $U_j^+$. Hence the cundition pn Lemma \[lwm:Crkroperty\] holds foc a genevcl $r$, zkd we ronclude that $g\ln{{\mathcal{C}}}^r({{\kathbb{R}}}^{d-1})$. We winl pxove – by induction on $|{{\boldsymbol{\alphw}}}|$. The cssf $|{{\boldsymbol{\alkha}}}|=1$ ix shosn in ; there we have $M_1= 1$, $a=1$, $b=1$, $c=0$, $\beta=1$, $|{{\boldsykbol{\gamma}}}^{(1)}|=1$, $|{{\bolcsymbol{\eta}}}| = 0$, and $|{{\boldsymbop{\gamla}}}^{(i)}|+|{{\boldsymbol{\eta}}}|+c =1$. The case $|{{\bildsrnbol{\alpha}}}|=2$ is shown in ; there we habe $M_2= 8$, $1\le a,b\le 3$, $0\le c\le 1$, $\beta = \pm 1$, $1\le |{{\yoldsymbol{\gqmna}}}^{(i)}|\pg 2$, $0\le |{{\boldsynbol{\ena}}}|\le 1$, and $1\le |{{\npldsymtol{\gamms}}}^{(i)}|+|{{\boldsymbol{\ets}}}|+c \ne 2$. To establish the indnctive step we now dyfferentidtz $D^{{\boldsymbol{\alpha}}}g$ obcw morg: for $\ell\vw j$ we heve from  $$\hegmn{aligned}
 \lzbel{term}
  (D_\wll  D^{{\boldsymbol{\alpna}}}d)({{\voldsymbol{y}}})
  &\,=\, -\int_{-\instr}^{\psi({{\boldsymbol{y}}})}
  (D_\ell  D^{{\boldsymbol{\alpha}}}\uheta)(s_j,{{\boldsymbol{y}}})\,\rho(x_j)\,{{\mathrn{d}}}x_j
   -\, (D^{{\boldsymbol{\alkha}}}\theta)(\psy({{\boldsymbol{y}}}),{{\boldsymbol{y}}})\,
   \rho(\psi({{\boldsymbol{y}}})) \, (D_\ell  \psi)({{\uoudsvnbol{y}}}) \bojumber \\
  &\qquad +\, \sum_{m=1}^{M_{|{{\boldsymbol{\alpha}}}|}} (D_\ell\, h_{{{\bojssumnol{\alpha
:toinf\] that all terms in go to ${{\boldsymbol{y}}}\in approaches a point ${{\boldsymbol{y}}}^\star$ of the in Lemma \[lem:Crproperty\] for a general and we conclude that $g\in{{\mathcal{C}}}^r({{\mathbb{R}}}^{d-1})$. We prove – by induction on $|{{\boldsymbol{\alpha}}}|$. The case $|{{\boldsymbol{\alpha}}}|=1$ is shown in ; we have $M_1= 1$, $a=1$, $b=1$, $c=0$, $\beta=1$, $|{{\boldsymbol{\gamma}}}^{(1)}|=1$, $|{{\boldsymbol{\eta}}}| = 0$, and =1$. case is in ; there we have $M_2= 8$, $1\le a,b\le 3$, $0\le c\le 1$, $\beta = \pm $1\le |{{\boldsymbol{\gamma}}}^{(i)}|\le 2$, $0\le |{{\boldsymbol{\eta}}}|\le 1$, and $1\le \le 2$. To establish inductive step we now differentiate once for $\ell\ne we from \label{term} (D_\ell D^{{\boldsymbol{\alpha}}}g)({{\boldsymbol{y}}}) -\int_{-\infty}^{\psi({{\boldsymbol{y}}})} (D_\ell D^{{\boldsymbol{\alpha}}}\theta)(x_j,{{\boldsymbol{y}}})\,\rho(x_j)\,{{\mathrm{d}}}x_j -\, (D^{{\boldsymbol{\alpha}}}\theta)(\psi({{\boldsymbol{y}}}),{{\boldsymbol{y}}})\, \rho(\psi({{\boldsymbol{y}}})) \, (D_\ell \psi)({{\boldsymbol{y}}}) \nonumber \\ &\qquad +\, \sum_{m=1}^{M_{|{{\boldsymbol{\alpha}}}|}} (D_\ell\, h_{{{\boldsymbol{\alpha
:toinf\] that all terms in go to $0$ as ${{\Boldsymbol{Y}}}\in U_j$ AppRoaChEs a bOundAry point ${{\boldsyMBol{y}}}^\Star$ of $U_j$ lying in $U_j^+$. Hence The coNdITion IN LEmma \[lEm:CrproPErTY\] HolDs FoR a gEnERaL $r$, and We cOnclude That $g\in{{\matHcaL{C}}}^R({{\mathbb{R}}}^{d-1})$. We wILl Prove – by indUctIon on $|{{\boldsymBol{\Alpha}}}|$. THe CasE $|{{\BoldsYmbOl{\alpHa}}}|=1$ is shOWn in ; thEre we have $m_1= 1$, $a=1$, $B=1$, $C=0$, $\beta=1$, $|{{\bOLdsymboL{\GAmMa}}}^{(1)}|=1$, $|{{\boLdsymbol{\eta}}}| = 0$, and $|{{\bolDSyMBol{\gamma}}}^{(i)}|+|{{\boldsYmbol{\eTa}}}|+C =1$. thE CAse $|{{\BolDsymbol{\alpHa}}}|=2$ Is shoWN in ; therE We HAVE $M_2= 8$, $1\lE A,b\le 3$, $0\le c\le 1$, $\beta = \Pm 1$, $1\le |{{\boldsymBOl{\gAmma}}}^{(i)}|\lE 2$, $0\lE |{{\boLDsymboL{\eta}}}|\lE 1$, aND $1\le |{{\Boldsymbol{\gAmma}}}^{(I)}|+|{{\boldsymbOl{\eta}}}|+c \LE 2$. To estaBLish the InductIve SteP we nOW dIfFerEnTIatE $d^{{\bOldSYmbOl{\alpha}}}g$ OnCe More: fOr $\elL\NE J$ We haVe fRom  $$\bEgin{aLigned}
 \label{teRm}
  (D_\Ell  D^{{\BOldSymboL{\alphA}}}g)({{\boLdSymboL{y}}})
  &\,=\, -\int_{-\iNfty}^{\pSi({{\Boldsymbol{y}}})}
  (D_\ell  d^{{\bolDsymbol{\alPha}}}\ThEta)(X_j,{{\BoldsYMbol{y}}})\,\rHo(x_J)\,{{\maThrm{d}}}x_j
   -\, (d^{{\boldsyMBol{\AlPHA}}}\ThEta)(\psi({{\boldsymbol{y}}}),{{\bOlDSYmBol{y}}})\,
   \rho(\pSi({{\boldSYmBoL{Y}}})) \, (D_\ell  \psi)({{\BoLdsYmboL{Y}}}) \NonumBer \\
  &\qQUaD +\, \sum_{m=1}^{M_{|{{\boLdsymbOL{\aLpHa}}}|}} (D_\ell\, h_{{{\BoLdsymbOl{\AlpHa
:toinf\] that all terms in  go to $0$  as $ {{\ bol ds ymbo l{y} }}\in U_j$ app r oach es a boundary point ${ {\bol ds y mbol { y} }}^\s tar$ of $U _ j $ l yi ng  in  $ U _j ^+$.Hen ce theconditioninLe mma \[lem:Cr p ro perty\] ho lds  for a gener al$r$, a nd  we concl ude  that  $g\in { {\math cal{C}}}^ r( { {\math b b{R}}}^ { d -1 })$.  We will prove –b yi nduction on $| {{\bol ds y mb o l {\a lph a}}}|$. Th ecase$ |{{\bol d sy m b o l{\ a lpha}}}|=1$ i s shown in;  th ere we  h ave $M_1=1$, $ a= 1 $,$b=1$, $c=0 $, $ \beta=1$,  $|{{\ b oldsymb o l{\gamm a}}}^{ (1) }|= 1$,$ |{ {\ bol ds y mbo l {\ eta } }}|  = 0$, a nd  $ |{{\b olds y m b o l{\g amm a}}} ^{(i) }|+|{{\boldsy mbo l{\e t a}} }|+c=1$.Theca se $| {{\bol dsymb ol {\alpha}}}|=2$is s hown in ;  th er e w ehave$ M_2= 8 $,$1\ le a,b\ le 3$,$ 0\l ec \ l e1$, $\beta = \pm 1 $, $ 1\ le |{{\b oldsym b ol {\ g amma}}}^ {( i)} |\le 2 $, $0 \le| {{ \boldsym bol{\e t a} }} |\le 1$ ,and $1 \l e | {{\ bolds y mbol {\gamm a}}}^{(i )}|+| { {\boldsymbol{\ e ta}}}|+c \le2 $. T oe stab lis h the induc tive step  wen ow  di f feren tiate  $ D ^{ { \boldsymbol{\alpha} }} g$ onc e mor e: for $\ell\ ne j$ we h a v e  from  $ $\be g in { aligned}
 \lab el{te rm}
  (D_\ e ll  D^{{ \bold symbol{\ alpha}}}g ) ( {{\bolds ymb ol{ y}} })&\ ,=\, -\int_{- \ i nfty }^ {\psi({ {\b oldsymb ol{ y}} })} 
 (D _\ell  D^ {{\bolds ym bo l{ \a lph a}}}\ t heta)(x_ j, {{\ bo lds ymbol { y}}})\ ,\rho (x_j )\ ,{ { \ma thrm{d} } }x _ j 
  -\ ,(D^{ {\b ol dsymb ol{\ a lph a}}}\th eta)(\psi ({{ \ bold sy mb ol{y}}} ),{{\boldsymb ol {y}}})\,
 \rh o(\psi ( { {\boldsy mbol{y}}})) \, (D_\ell\psi)({ {\b oldsy mbol {y}}}) \n onu mber \ \
&\qqua d +\,\sum_ {m =1} ^ { M_{|{ { \ bo lds ym bol{\alpha } } }|} } (D_ \e ll\,  h_{{{\ boldsymbol{\alpha
:toinf\] that_all terms_in go to $0$_as ${{\boldsymbol{y}}}\in_U_j$_approaches a_boundary_point ${{\boldsymbol{y}}}^\star$ of_$U_j$ lying in_$U_j^+$. Hence the condition_in Lemma \[lem:Crproperty\] holds_for_a general $r$, and we conclude that $g\in{{\mathcal{C}}}^r({{\mathbb{R}}}^{d-1})$. We will prove – by induction_on_$|{{\boldsymbol{\alpha}}}|$. The_case_$|{{\boldsymbol{\alpha}}}|=1$_is shown in ; there_we have $M_1= 1$, $a=1$,_$b=1$, $c=0$,_$\beta=1$, $|{{\boldsymbol{\gamma}}}^{(1)}|=1$, $|{{\boldsymbol{\eta}}}| = 0$, and $|{{\boldsymbol{\gamma}}}^{(i)}|+|{{\boldsymbol{\eta}}}|+c =1$._The_case $|{{\boldsymbol{\alpha}}}|=2$ is_shown in ; there we have $M_2= 8$, $1\le_a,b\le 3$, $0\le c\le 1$, $\beta_= \pm 1$,_$1\le_|{{\boldsymbol{\gamma}}}^{(i)}|\le_2$, $0\le |{{\boldsymbol{\eta}}}|\le 1$,_and $1\le |{{\boldsymbol{\gamma}}}^{(i)}|+|{{\boldsymbol{\eta}}}|+c \le 2$. To_establish the inductive step we now_differentiate $D^{{\boldsymbol{\alpha}}}g$ once more: for $\ell\ne j$_we have from  $$\begin{aligned}
 \label{term}
 _(D_\ell  D^{{\boldsymbol{\alpha}}}g)({{\boldsymbol{y}}})
  &\,=\,_-\int_{-\infty}^{\psi({{\boldsymbol{y}}})}
 _(D_\ell  D^{{\boldsymbol{\alpha}}}\theta)(x_j,{{\boldsymbol{y}}})\,\rho(x_j)\,{{\mathrm{d}}}x_j
  _-\, (D^{{\boldsymbol{\alpha}}}\theta)(\psi({{\boldsymbol{y}}}),{{\boldsymbol{y}}})\,
 _ \rho(\psi({{\boldsymbol{y}}}))_\, (D_\ell _\psi)({{\boldsymbol{y}}}) \nonumber \\
  &\qquad +\,_\sum_{m=1}^{M_{|{{\boldsymbol{\alpha}}}|}} (D_\ell\, h_{{{\boldsymbol{\alpha