 \N} \cE^M_{\ell}(K,\R^m) 
  \\
  \text{where }\quad  \cE^M_\rh(K,\R^m) := \{f \in C^\infty(K,\R^m) : \|f\|^M_{K,\rh} < \infty \}\end{gathered}$$ We will need the following inclusion relations (cf. [@RainerSchindl12]): $$\begin{aligned}
 \cE^{[M]} \subseteq \cE^{[N]} \quad &\Leftrightarrow \quad 
 M \preceq N \quad :\Leftrightarrow \quad  \exists C,\rh > 0 ~\forall k : M_k \le C \rh^k N_k   \\ 
 \cE^{\{M\}} \subseteq \cE^{(N)} \quad &\Leftrightarrow \quad 
 M \lhd N \quad :\Leftrightarrow \quad \forall \rh>0 ~\exists C>0 ~\forall k : M_k \le C \rh^k N_k    \end{aligned}$$ In particular, $C^\om(U) \subseteq \cE^{\{M\}}(U) \Leftrightarrow \cH(\C^n) \subseteq \cE^{(M)}(U) 
  \Leftrightarrow \varliminf M_k^{\frac{1}{k}}>0$ and $C^\om(U) \subseteq \cE^{(M)}(U) \Leftrightarrow \lim M_k^{\frac{1}{k}} = \infty$.

Ultradifferentiable functions defined by weight functions {#ssec:wf}
---------------------------------------------------------

Let $\om$ be a weight function (hence satisfying,, and ). The *Young conjugate* of $\vh(t) = \om(e^t)$, given by $$\vh^*(t):=\sup \{st-\vh(s) : s \ge 0\}, \quad t \ge 0,$$ is convex, increasing, and satisfies $\vh^*(0)=0$, $\vh^{**}=\vh$, and $\lim_{t\to \infty} t/\vh^*(t)=0$. Moreover, the functions $t \mapsto \vh(t)/t$ and $t \mapsto \vh^*(t)/t$ are increasing; see e.g. [@BMT90]. For non-empty open $U
\N } \cE^M_{\ell}(K,\R^m) 
   \\ 
   \text{where } \quad   \cE^M_\rh(K,\R^m): = \{f \in C^\infty(K,\R^m): \|f\|^M_{K,\rh } < \infty \}\end{gathered}$$ We will need the following inclusion relations (californium.   [ @RainerSchindl12 ] ): $ $ \begin{aligned } 
  \cE^{[M ] } \subseteq \cE^{[N ] } \quad & \Leftrightarrow \quad 
  M \preceq N \quad: \Leftrightarrow \quad   \exists C,\rh > 0 ~\forall thousand: M_k \le C \rh^k N_k    \\ 
  \cE^{\{M\ } } \subseteq \cE^{(N) } \quad & \Leftrightarrow \quad 
  M \lhd N \quad: \Leftrightarrow \quad \forall \rh>0 ~\exists C>0 ~\forall k: M_k \le C \rh^k N_k     \end{aligned}$$ In particular, $ C^\om(U) \subseteq \cE^{\{M\}}(U) \Leftrightarrow \cH(\C^n) \subseteq \cE^{(M)}(U) 
   \Leftrightarrow \varliminf M_k^{\frac{1}{k}}>0 $ and $ C^\om(U) \subseteq \cE^{(M)}(U) \Leftrightarrow \lim M_k^{\frac{1}{k } } = \infty$. 

 Ultradifferentiable functions define by weight functions { # ssec: wf } 
 --------------------------------------------------------- 

 permit $ \om$ be a weight function (therefore hearty, , and). The * Young conjugate solution * of $ \vh(t) = \om(e^t)$, given by $ $ \vh^*(t):=\sup \{st-\vh(s): s \ge 0\ }, \quad t \ge 0,$$ is convex, increasing, and satisfies $ \vh^*(0)=0 $, $ \vh^{**}=\vh$, and $ \lim_{t\to \infty } t/\vh^*(t)=0$. furthermore, the functions $ t \mapsto \vh(t)/t$ and $ metric ton \mapsto \vh^*(t)/t$ are increasing; see for example   [ @BMT90 ]. For non - empty open $ U
 \N} \fE^M_{\ell}(K,\R^m) 
  \\
  \text{where }\duad  \cE^M_\rh(K,\R^m) := \{f \in C^\mnfty(K,\R^j) : \|f\|^M_{K,\rh} < \infty \}\end{gathered}$$ We will ieed the dollowing inclusion reuations (cv. [@RainerSxhinvl12]): $$\begin{aligned}
 \rS^{[M]} \subscceq \cS^{[K]} \quab &\Oeftrightarrow \quad 
 M \pseceq N \quad :\Lafgrnghtarrow \quad  \exists C,\rh > 0 ~\forall h : M_k \lr F \rh^k N_k   \\ 
 \cG^{\{M\}} \sunfetes \cE^{(N)} \quad &\Leftrightarrow \quad 
 M \mhd N \qlad :\Leftrightarroe \quad \forall \rh>0 ~\exists C>0 ~\vorapl k : M_k \le C \rh^k J_k    \end{alugneq}$$ In particulxr, $C^\om(U) \subseteq \cE^{\{M\}}(U) \Meftrightarrow \cH(\C^n) \subseteq \cE^{(O)}(U) 
  \Keftrightatxiw \gdrliminf M_k^{\hrac{1}{k}}>0$ wnd $C^\om(U) \subseteq \cE^{(K)}(U) \Lefttightarrow \lim M_k^{\hrac{1}{j}} = \infty$.

Ultradifferenviable functions defyned by waiyht functions {#ssec:wf}
---------------------------------------------------------

Lwt $\om$ bg a waighg fuvctjoi (hsnce swtiafying,, and ). The *Young conjugate* of $\vh(t) = \pm(q^n)$, given by $$\vh^*(f):=\sup \{se-\vr(s) : s \ge 0\}, \quad t \ge 0,$$ is convex, increasitg, znd satisfies $\vh^*(0)=0$, $\vh^{**}=\vh$, abd $\lim_{t\to \infty} t/\vh^*(t)=0$. Loreover, ehe functions $t \mapsto \vh(t)/t$ and $t \mapsto \vh^*(t)/t$ are incrxariny; see d.t. [@BLT90]. For non-empty open $U
\N} \cE^M_{\ell}(K,\R^m) \\ \text{where }\quad \cE^M_\rh(K,\R^m) := C^\infty(K,\R^m) \|f\|^M_{K,\rh} < \}\end{gathered}$$ We will (cf. $$\begin{aligned} \cE^{[M]} \subseteq \quad &\Leftrightarrow \quad \preceq N \quad :\Leftrightarrow \quad \exists > 0 ~\forall k : M_k \le C \rh^k N_k \\ \cE^{\{M\}} \subseteq \quad &\Leftrightarrow \quad M \lhd N \quad :\Leftrightarrow \quad \forall \rh>0 ~\exists C>0 k M_k C N_k \end{aligned}$$ In particular, $C^\om(U) \subseteq \cE^{\{M\}}(U) \Leftrightarrow \cH(\C^n) \subseteq \cE^{(M)}(U) \Leftrightarrow \varliminf M_k^{\frac{1}{k}}>0$ and $C^\om(U) \cE^{(M)}(U) \Leftrightarrow \lim M_k^{\frac{1}{k}} = \infty$. Ultradifferentiable functions by weight functions {#ssec:wf} Let $\om$ be a weight (hence and ). *Young of = \om(e^t)$, given $$\vh^*(t):=\sup \{st-\vh(s) : s \ge 0\}, \quad t \ge 0,$$ is convex, increasing, and satisfies $\vh^*(0)=0$, $\vh^{**}=\vh$, $\lim_{t\to \infty} the functions \mapsto and \mapsto \vh^*(t)/t$ are e.g. [@BMT90]. For non-empty open $U
 \N} \cE^M_{\ell}(K,\R^m) 
  \\
  \text{where }\quad  \cE^m_\rh(K,\R^m) := \{f \in C^\Infty(k,\R^m) : \|F\|^M_{K,\Rh} < \InftY \}\end{Gathered}$$ We will NEed tHe following inclusion reLatioNs (CF. [@RaiNErschinDl12]): $$\begin{ALiGNEd}
 \ce^{[M]} \SuBseTeQ \CE^{[n]} \quad &\lefTrightaRrow \quad 
 M \pRecEq n \quad :\LeftrigHTaRrow \quad  \exIstS C,\rh > 0 ~\forall k : M_K \le c \rh^k N_k   \\ 
 \CE^{\{m\}} \suBSeteq \CE^{(N)} \Quad &\LEftrigHTarrow \Quad 
 M \lhd N \QuAD :\LeftrIGhtarroW \QUaD \forAll \rh>0 ~\exists C>0 ~\foralL K : M_K \Le C \rh^k N_k    \end{aliGned}$$ In PaRTiCULar, $c^\om(u) \subseteq \ce^{\{M\}}(u) \LeftRIghtarrOW \ch(\c^N) \SubSEteq \cE^{(M)}(U) 
  \LeftrIghtarrow \vaRLimInf M_k^{\fRaC{1}{k}}>0$ aND $C^\om(U) \sUbsetEq \Ce^{(M)}(U) \leftrightarRow \lIm M_k^{\frac{1}{k}} = \Infty$.

ULTradiffERentiabLe funcTioNs dEfinED bY wEigHt FUncTIoNs {#sSEc:wF}
---------------------------------------------------------

Let $\om$ be A wEiGht fuNctiON (HENce sAtiSfyiNg,, and ). the *Young conjuGatE* of $\vH(T) = \om(E^t)$, givEn by $$\vH^*(t):=\suP \{sT-\vh(s) : s \Ge 0\}, \quad T \ge 0,$$ is CoNvex, increasing, aNd saTisfies $\vh^*(0)=0$, $\Vh^{**}=\vH$, aNd $\lIm_{T\to \inFTy} t/\vh^*(t)=0$. morEovEr, the fuNctions $T \MapStO \VH(T)/t$ And $t \mapsto \vh^*(t)/t$ are iNcREAsIng; see e.g. [@bMT90]. For NOn-EmPTy open $U
 \N} \cE^M_{\ell}(K,\R^m)
  \\
  \t ext{w her e } \q uad \cE ^M_\rh(K,\R^m) := \ {f \in C^\infty(K,\R^m ) : \ |f \ |^M_ { K, \rh}< \inft y  \ } \ end {g at her ed } $$  We w ill  need t he followi ngin clusion rela t io ns (cf. [@ Rai nerSchindl12 ]):  $$\be gi n{a l igned }
\cE^{ [M]} \ s ubsete q \cE^{[N ]} \quad& \Leftri g h ta rrow  \quad 
 M \prece q  N \quad :\Leftri ghtarr ow \q u a d \ex ists C,\rh  >  0 ~\ f orall k :M _ k  \l e  C \rh^k N_k  \\ 
 \cE^ { \{M \}} \s ub set e q \cE^ {(N)}  \ q uad  &\Leftrigh tarr ow \quad
 M \l h d N \qu a d :\Lef tright arr ow\qua d  \ fo ral l\ rh> 0  ~ \ex i sts  C>0 ~\f or al l k :  M_k \ l e  C \ rh^ k N_ k   \end{aligned} $$In p a rti cular , $C^ \om( U)  \sub seteq\cE^{ \{ M\}}(U) \Leftri ghta rrow \cH( \C^ n)  \s ub seteq \cE^{( M)} (U)  
  \Le ftright a rro w\ v a rl iminf M_k^{\frac{1 }{ k } }> 0$ and $ C^\om( U )\s u bseteq \ cE ^{( M)}( U )  \Lef trig h ta rrow \li m M_k^ { \f ra c{1}{k} }= \inf ty $.
Ul tradi f fere ntiabl e functi ons d e fined by weigh t  functions {# s se c : wf } 
--- --- ----------- ---- - ---- ---- - -- --- - ----- ----- -- - -- - ----

Let $\om$ beaweight  func tion (hence s atisfying, , a nd ). Th e *Y o un g  conjugate* of  $\vh (t) = \om( e ^t)$, gi ven b y $$\vh^ *(t):=\su p \{st-\vh (s)  :s \ ge0 \ },  \quad t \ge0 , $$ i sconvex,  in creasin g,and  sa tis fi es $\vh^* (0)=0$,$\ vh ^{ ** }=\ vh$,a nd $\lim _{ t\t o\in fty}t /\vh^* (t)=0 $. M or eo v er,  the fu n ct i o ns $ t\m apst o \ vh (t)/t $ an d  $t  \mapst o \vh^*(t )/t $  are  i nc reasing ; see e.g. [@ BM T90]. Forno n-e mpty o p e n $U
 \N}_\cE^M_{\ell}(K,\R^m) 
_ \\
  \text{where_}\quad _\cE^M_\rh(K,\R^m)_:= \{f_\in_C^\infty(K,\R^m) : \|f\|^M_{K,\rh}_< \infty \}\end{gathered}$$_We will need the_following inclusion relations_(cf. [@RainerSchindl12]):_$$\begin{aligned}
 \cE^{[M]} \subseteq \cE^{[N]} \quad &\Leftrightarrow \quad 
 M \preceq N \quad :\Leftrightarrow \quad__\exists C,\rh_>_0_~\forall k : M_k \le_C \rh^k N_k  _\\ 
_\cE^{\{M\}} \subseteq \cE^{(N)} \quad &\Leftrightarrow \quad 
 M_\lhd_N \quad :\Leftrightarrow_\quad \forall \rh>0 ~\exists C>0 ~\forall k : M_k_\le C \rh^k N_k  _ \end{aligned}$$ In_particular,_$C^\om(U)_\subseteq \cE^{\{M\}}(U) \Leftrightarrow \cH(\C^n)_\subseteq \cE^{(M)}(U) 
  \Leftrightarrow \varliminf_M_k^{\frac{1}{k}}>0$ and $C^\om(U) \subseteq \cE^{(M)}(U) \Leftrightarrow_\lim M_k^{\frac{1}{k}} = \infty$.

Ultradifferentiable functions defined by_weight functions {#ssec:wf}
---------------------------------------------------------

Let $\om$ be a_weight function (hence satisfying,, and_). The_*Young conjugate* of $\vh(t) =_\om(e^t)$, given by_$$\vh^*(t):=\sup \{st-\vh(s)_: s \ge_0\}, \quad t \ge 0,$$ is_convex, increasing, and_satisfies $\vh^*(0)=0$, $\vh^{**}=\vh$, and $\lim_{t\to \infty}_t/\vh^*(t)=0$._Moreover, the functions_$t_\mapsto_\vh(t)/t$ and_$t \mapsto \vh^*(t)/t$_are_increasing; see_e.g. [@BMT90]._For non-empty open $U