Let $\alpha\in ]0,1[,k\in\mathbb{N}.$Let $\Omega$ be a open and bounded subset or $\mathbb{R}^n$ of class $C^{k+\alpha}$.


As one could find in G.M. Troianello "Elliptic Differential Equations and Obstacles Problems" (lem. 1.5) there exists a linear and continuos extension operator of $C^{k+\alpha}(\partial\Omega)$ to $C^{k+\alpha}(\bar B)$, with $B$ open ball of $\mathbb{R}^N$ containing $\bar\Omega$.


I need a similar result for parabolic Hölder spaces.


I mean, there exists a linear and continuos extension operator of $C^{\frac{k+\alpha}{2};k+\alpha}([0,T]\times\partial\Omega)$ to $C^{\frac{k+\alpha}{2};k+\alpha}([0,T]\times\bar B)$, with $B$ open ball containing $\bar\Omega$? 



Extensions in parabolic Hölder spaces
It is possible to extend the function first to $ Q=[0,T]\times \Omega$ and then to $\mathbb{R}^{N+1}$. The second step is covered by a general statement for anisotropic Besov spaces, theorem 18.5 in [*O. V.Besov, V. I.Il'in, S. M.Nikolskii, Integral representations of functions and imbedding theorems*]. 


To extend a function $\varphi\in C^{\frac{k+\alpha}{2};k+\alpha}([0,T]\times\partial\Omega)$ to $C^{\frac{k+\alpha}{2};k+\alpha}(\bar Q)$ one can use a solution of some auxiliary BVP problem for the heat operator $L=\partial\_t-\Delta$, since for solutions the required smooothnes is known. First let's extend $\varphi$ to $\tilde\varphi\in C^{\frac{k+\alpha}{2};k+\alpha}([-T,T]\times\partial\Omega)$ for $t<0$ as a linear combination of functions of the form $\varphi(x,-t/i)$, $i=1,\ldots,k+1$. This construction is in effect one-dimensional and is described in Lemma 6.37 in [*D. Gilbarg, N. Trudinger. Elliptic Partial Differential Equations of Second Order*]. Let $\varkappa\in C^\infty\_0(\mathbb R) $ be s.t. $\varkappa(t)=1$ for $t\ge0$ and $\varkappa(t)=0$ for $t\le -T/2$. Put $\hat \varphi=\tilde\varphi\varkappa$. Now the solution of thw BVP
$$\left\{
\begin{eqnarray}
Lu&=&0,\\
u|\_{[-T,T]\times\partial\Omega}&=&\hat\varphi,\\
u|\_{t=-T}&=&0,
\end{eqnarray}
\right.
$$
belongs to $C^{\frac{k+\alpha}{2};k+\alpha}([-T,T]\times\Omega)$. The compatibility conditions hold because initial and boundary conditions (for $t<-T/2$) are zero.


