k(M).$$

We assume that those exponents $s_i$ having the same real part are ordered such that their imaginary parts are increasing. (The factor of $\rho^{-r}$ in is motived by the fact that $|u|_g = \rho^r |u|_{{\overline}g}$; thus the leading order behavior of $|u|_{ g}$ will be as $\rho^{{\mathrm{Re}}{(s_0)}}(\log\rho)^{p_0}$.)

If $u$ satisfies the definition above, we write $$u\sim \sum_{i=0}^{\infty} \sum_{p=0}^{p_i} \rho^{s_i-r} (\log\rho)^p {\overline}u_{ip}.$$ Let $\mathcal B_{\textup{\normalfont phg}}(M)$ be the collection of all tensor fields on $M$ which are polyhomogeneous as defined above. We furthermore denote by $\mathcal B^{\textup{\normalfont phg}}_\delta(M)$ those polyhomogeneous tensor fields that are of class $\mathcal B_\delta(M)$, and by $C^{k}_{\textup{\normalfont phg}}({\overline}M)$ those polyhomogeneous tensor fields extending to tensor fields of class $C^k$ on ${\overline}M$.

\[PhgSplitting\]

1.  It follows from Lemma \[LinInd\] that if $u\in \mathcal B^{\textup{\normalfont phg}}_\delta(M)$ then we have ${\mathrm{Re}}(s_0)\geq \delta$.

2.  Polyhomogeneous expansions are unique in the sense that if $$v\sim \sum_{i=0}^\infty \sum_{p=0}^{p_i} \rho^{s_i} (\log \rho)^p {\overline}v_{ip} \text{\ \ and \ \ } v\sim \sum_{i=0}^\infty \sum_{q=0}^{q_i} \rho^{t_i} (\log \rho)^p {\overline}w_{ip},$$ then $s_i=t_i$, $p_i=q_i$, and ${\overline}v_{ip}={\overline}w_{jp}$.

3.  Tensor fields $u$ which are smooth on ${\overline}M$ are polyhomogeneous with a Taylor-series like expansion $$u\sim \sum_{n=0}^\
k(M).$$ 

 We assume that those exponents $ s_i$ having the same veridical character are ordered such that their imaginary parts are increase. (The factor of $ \rho^{-r}$ in is motived by the fact that $ |u|_g = \rho^r |u|_{{\overline}g}$; thus the precede club behavior of $ |u| _ { g}$ will be as $ \rho^{{\mathrm{Re}}{(s_0)}}(\log\rho)^{p_0}$.) 

 If $ u$ satisfies the definition above, we publish $ $ u\sim \sum_{i=0}^{\infty } \sum_{p=0}^{p_i } \rho^{s_i - r } (\log\rho)^p { \overline}u_{ip}.$$ Let $ \mathcal B_{\textup{\normalfont phg}}(M)$ be the solicitation of all tensor fields on $ M$ which are polyhomogeneous as defined above. We furthermore denote by $ \mathcal B^{\textup{\normalfont phg}}_\delta(M)$ those polyhomogeneous tensor fields that are of class $ \mathcal B_\delta(M)$, and by $ C^{k}_{\textup{\normalfont phg}}({\overline}M)$ those polyhomogeneous tensor field extending to tensor fields of class $ C^k$ on $ { \overline}M$. 

 \[PhgSplitting\ ] 

 1.   It succeed from Lemma \[LinInd\ ] that if $ u\in \mathcal B^{\textup{\normalfont phg}}_\delta(M)$ then we have $ { \mathrm{Re}}(s_0)\geq \delta$. 

 2.   Polyhomogeneous expansions are singular in the sense that if $ $ v\sim \sum_{i=0}^\infty \sum_{p=0}^{p_i } \rho^{s_i } (\log \rho)^p { \overline}v_{ip } \text{\ \ and \ \ } v\sim \sum_{i=0}^\infty \sum_{q=0}^{q_i } \rho^{t_i } (\log \rho)^p { \overline}w_{ip},$$ then $ s_i = t_i$, $ p_i = q_i$, and $ { \overline}v_{ip}={\overline}w_{jp}$. 

 3.   Tensor fields $ u$ which are smooth on $ { \overline}M$ are polyhomogeneous with a Taylor - series like expansion $ $ u\sim \sum_{n=0}^\
k(M).$$

Wf assume that those expokents $s_i$ having jhw same real lart are ordered such that their imajinaey paets are increasing. (The factor ov $\rho^{-r}$ ib is notived by the facb thaf $|u|_g = \cho^r |u|_{{\overline}g}$; thus the neading order tefarior of $|u|_{ g}$ will be as $\rho^{{\mathrm{Re}}{(s_0)}}(\ljg\rho)^{p_0}$.)

Ig $k$ satisfies thg defpnytioh above, we write $$u\sim \sum_{i=0}^{\infty} \suj_{p=0}^{p_i} \rhm^{s_i-r} (\log\rho)^p {\pverline}u_{ip}.$$ Let $\mathcal B_{\tfxtuo{\normalfont phg}}(M)$ bf the collextiog of all tensur fields on $M$ which ate polyhomogeneous as defined abuve. Wz furthermotz dejmte by $\mathral B^{\tvxtup{\normalfokn phg}}_\denta(M)$ thpse polyhomogekeous tebsor fields that are mf class $\mathcal B_\qelta(M)$, ang yy $C^{k}_{\textup{\normalfont pyg}}({\ovetline}K)$ thuwe oolghpmkgeneoks vensor fielss extendint to tensor fields pf bkass $C^k$ on ${\oberlinq}M$.

\[[hgSplitting\]

1.  It follows from Lemma \[LinPnd\] fhat if $u\in \mathcal B^{\teztup{\normalfont phg}}_\delja(M)$ then wq have ${\mathrm{Re}}(s_0)\geq \delta$.

2.  Polyhomogeneous expanshons erd uulzjw ln the sense that if $$v\sim \sum_{i=0}^\infty \sum_{p=0}^{p_i} \rhj^{a_i} (\lpg \rho)^p {\overlike}v_{ip} \text{\ \ and \ \ } v\dik \sum_{i=0}^\infty \suo_{q=0}^{q_i} \rkk^{t_j} (\log \rho)^p {\overlinf}w_{ip},$$ thgn $s_i=t_u$, $p_i=q_i$, anq ${\ovrrline}v_{ip}={\overline}w_{jp}$.

3.  Tensoe fields $u$ wkicy are smooth on ${\ovzrline}M$ are 'olyhokogenrous with a Taylor-serier liie expansioj $$u\sim \suj_{v=0}^\
k(M).$$ We assume that those exponents $s_i$ same part are such that their factor $\rho^{-r}$ in is by the fact $|u|_g = \rho^r |u|_{{\overline}g}$; thus the order behavior of $|u|_{ g}$ will be as $\rho^{{\mathrm{Re}}{(s_0)}}(\log\rho)^{p_0}$.) If $u$ satisfies the above, we write $$u\sim \sum_{i=0}^{\infty} \sum_{p=0}^{p_i} \rho^{s_i-r} (\log\rho)^p {\overline}u_{ip}.$$ Let $\mathcal B_{\textup{\normalfont phg}}(M)$ the of tensor on $M$ which are polyhomogeneous as defined above. We furthermore denote by $\mathcal B^{\textup{\normalfont phg}}_\delta(M)$ those tensor fields that are of class $\mathcal B_\delta(M)$, by $C^{k}_{\textup{\normalfont phg}}({\overline}M)$ those tensor fields extending to tensor of $C^k$ on \[PhgSplitting\] It from Lemma \[LinInd\] if $u\in \mathcal B^{\textup{\normalfont phg}}_\delta(M)$ then we have ${\mathrm{Re}}(s_0)\geq \delta$. 2. Polyhomogeneous expansions are unique in the that if \sum_{p=0}^{p_i} \rho^{s_i} \rho)^p \text{\ and \ \ \sum_{i=0}^\infty \sum_{q=0}^{q_i} \rho^{t_i} (\log \rho)^p {\overline}w_{ip},$$ and ${\overline}v_{ip}={\overline}w_{jp}$. 3. Tensor fields $u$ which are on ${\overline}M$ polyhomogeneous with a Taylor-series like expansion \sum_{n=0}^\
k(M).$$

We assume that those exponeNts $s_i$ havinG the sAme ReaL pArt aRe orDered such that tHEir iMaginary parts are increaSing. (THe FActoR Of $\Rho^{-r}$ iN is motiVEd BY The FaCt ThaT $|u|_G = \RhO^r |u|_{{\ovErlIne}g}$; thuS the leadinG orDeR behavior of $|u|_{ G}$ WiLl be as $\rho^{{\mAthRm{Re}}{(s_0)}}(\log\rho)^{p_0}$.)

if $u$ SatisfIeS thE DefinItiOn aboVe, we wrITe $$u\sim \Sum_{i=0}^{\infty} \SuM_{P=0}^{p_i} \rho^{S_I-r} (\log\rhO)^P {\OvErliNe}u_{ip}.$$ Let $\mathcal B_{\tEXtUP{\normalfont phg}}(m)$ be the CoLLeCTIon Of aLl tensor fiElDs on $M$ WHich are POlYHOMogENeous as defineD above. We furTHerMore deNoTe bY $\MathcaL B^{\texTuP{\NorMalfont phg}}_\dElta(m)$ those polYhomogENeous teNSor fielDs that Are Of cLass $\MAtHcAl B_\DeLTa(M)$, ANd By $C^{K}_{\TexTup{\normaLfOnT phg}}({\oVerlINE}m)$ ThosE poLyhoMogenEous tensor fieLds ExteNDinG to teNsor fIeldS oF clasS $C^k$ on ${\oVerliNe}m$.

\[PhgSplitting\]

1.  It FollOws from LeMma \[liNInD\] tHat if $U\In \mathCal b^{\teXtup{\norMalfont PHg}}_\dElTA(m)$ ThEn we have ${\mathrm{Re}}(s_0)\gEq \DELtA$.

2.  PolyhomOgeneoUS eXpANsions arE uNiqUe in THE sensE thaT If $$V\sim \sum_{i=0}^\Infty \sUM_{p=0}^{P_i} \Rho^{s_i} (\loG \rHo)^p {\oveRlIne}V_{ip} \Text{\ \ aND \ \ } v\siM \sum_{i=0}^\iNfty \sum_{q=0}^{Q_i} \rho^{T_I} (\log \rho)^p {\overliNE}w_{ip},$$ then $s_i=t_i$, $p_I=Q_i$, AND ${\oVErliNe}v_{Ip}={\overline}w_{Jp}$.

3.  TeNSor fIeldS $U$ wHicH Are smOoth oN ${\oVErLIne}M$ are polyhomogeneOuS with a tayloR-series like exPansion $$u\siM \SUM_{n=0}^\
k(M).$$

We assume that th ose expone nts $ s_i $ h av ingthesame real part areordered such that thei r ima gi n aryp ar ts ar e incre a si n g . ( Th efac to r  o f $\r ho^ {-r}$ i n is motiv edby  the fact th a t$|u|_g = \ rho ^r |u|_{{\ov erl ine}g} $;  th u s the  le ading  order behavi or of $|u |_ {  g}$ w i ll be a s $\ rho^ {{\mathrm{Re}}{(s _ 0) } }(\log\rho)^{p _0}$.) 
I f$ u $ s ati sfies thede finit i on abov e ,w e wri t e $$u\sim \su m_{i=0}^{\i n fty } \sum _{ p=0 } ^{p_i}  \rho ^{ s _i- r} (\log\rh o)^p  {\overli ne}u_{ i p}.$$ L e t $\mat hcal B _{\ tex tup{ \ no rm alf on t  ph g }} (M) $  be  the col le ct ion o f al l t e nsor  fi elds  on $ M$ which arepol yhom o gen eousas de fine dabove . We f urthe rm ore denote by $ \mat hcal B^{\ tex tu p{\ no rmalf o nt phg }}_ \de lta(M)$  thosep oly ho m o g en eous tensor fields  t h a tare of c lass $ \ ma th c al B_\de lt a(M )$,a n d by$C^{ k }_ {\textup {\norm a lf on t phg}} ({ \overl in e}M )$those poly homoge neous te nsorf ields extendin g  to tensor fi e ld s of clas s $ C^k$ on ${\ over l ine} M$.\[ Phg S plitt ing\] 
1 .It follows from Lem ma  \[Lin Ind\]  that if $u\i n \mathcal B ^ {\textup {\no r ma l font phg}}_\de lta(M )$ then we have ${\ mathr m{Re}}(s _0)\geq \ d e lta$.

2 . Pol yho mog e n eo us expansions a re u ni que inthe  sensetha t i f $ $v\ si m \sum_{i =0}^\inf ty  \ su m_ {p= 0}^{p _ i} \rho^ {s _i}  ( \lo g \rh o )^p {\ overl ine} v_ {i p } \ text{\\  a n d  \ \  }  v \sim  \s um _{i=0 }^\i n fty  \sum_{ q=0}^{q_i } \ r ho^{ t_ i}  (\log\rho)^p {\ove rl ine}w_{ip} ,$ $ t hen $s _ i =t_i$, $ p_i=q_i$, and ${\overli n e}v_{ip }={ \over line }w_{jp}$. 

3 .  Ten sor fields  $u$ w hichar e s m o oth o n ${ \ov er line}M$ ar e pol yhomo ge neou s witha Taylor-series li k e e xpansion $$u\ sim  \su m _ {n =0} ^ \
k(M).$$

We assume_that those_exponents $s_i$ having the_same real_part_are ordered_such_that their imaginary_parts are increasing._(The factor of $\rho^{-r}$_in is motived_by_the fact that $|u|_g = \rho^r |u|_{{\overline}g}$; thus the leading order behavior of $|u|_{_g}$_will be_as_$\rho^{{\mathrm{Re}}{(s_0)}}(\log\rho)^{p_0}$.)

If_$u$ satisfies the definition above,_we write $$u\sim \sum_{i=0}^{\infty} \sum_{p=0}^{p_i}_\rho^{s_i-r} (\log\rho)^p_{\overline}u_{ip}.$$ Let $\mathcal B_{\textup{\normalfont phg}}(M)$ be the collection_of_all tensor fields_on $M$ which are polyhomogeneous as defined above. We_furthermore denote by $\mathcal B^{\textup{\normalfont phg}}_\delta(M)$_those polyhomogeneous tensor_fields_that_are of class $\mathcal_B_\delta(M)$, and by $C^{k}_{\textup{\normalfont phg}}({\overline}M)$ those_polyhomogeneous tensor fields extending to tensor_fields of class $C^k$ on ${\overline}M$.

\[PhgSplitting\]

1. _It follows from Lemma \[LinInd\] that_if $u\in \mathcal B^{\textup{\normalfont phg}}_\delta(M)$_then we_have ${\mathrm{Re}}(s_0)\geq \delta$.

2.  Polyhomogeneous_expansions are unique_in the_sense that if_$$v\sim \sum_{i=0}^\infty \sum_{p=0}^{p_i} \rho^{s_i} (\log \rho)^p_{\overline}v_{ip} \text{\ \_and \ \ } v\sim \sum_{i=0}^\infty_\sum_{q=0}^{q_i}_\rho^{t_i} (\log \rho)^p_{\overline}w_{ip},$$_then_$s_i=t_i$, $p_i=q_i$,_and ${\overline}v_{ip}={\overline}w_{jp}$.

3. _Tensor_fields $u$_which_are smooth on ${\overline}M$ are polyhomogeneous_with_a Taylor-series like expansion $$u\sim \sum_{n=0}^\