Traces of some weighted function spaces and related non-standard real interpolation of Besov spaces

We study traces of weighted Triebel-Lizorkin spaces Fp,qs(Rn,w)$F<^>s_{p,q}(\mathbb {R}<^>n,w)$ on hyperplanes Rn-k$\mathbb {R}<^>{n-k}$, where the weight is of Muckenhoupt type. We concentrate on the example weight w alpha(x)=|xn|alpha$w_\alpha (x) = {\big\vert x_n\big\vert }<^>\alpha$ when |xn|<= 1$\big\vert x_n\big\vert \le 1$, x is an element of Rn$x\in \mathbb {R}<^>n$, and w alpha(x)=1$w_\alpha (x)=1$ otherwise, where alpha>-1$\alpha >-1$. Here we use some refined atomic decomposition argument as well as an appropriate wavelet representation in corresponding (unweighted) Besov spaces. The second main outcome is the description of the real interpolation space (Bp1,p1s1(Rn-k),Bp2,p2s2(Rn-k))theta,r$\big (B<^>{s_1}_{p_1,p_1}\big (\mathbb {R}<^>{n-k}\big ), B<^>{s_2}_{p_2,p_2}{\big (\mathbb {R}<^>{n-k}\big )\big )}_{\theta ,r}$, 00$s>0$ sufficiently large, 0<theta<1$0<\theta <1$, 0<r <=infinity$0<r\le \infty$. Apart from the case 1/r=(1-theta)/p1+theta/p2$1/r= (1-\theta )/{p_1}+ {\theta }/{p_2}$ the question seems to be open for many years. Based on our first result we can now quickly solve this long-standing problem. Here we benefit from some very recent finding of Besoy, Cobos and Triebel.