EN
The trace space of $W^{1,p(·)}(ℝⁿ × [0,∞))$ consists of those functions on ℝⁿ that can be extended to functions of $W^{1,p(·)}(ℝⁿ × [0,∞))$ (as in the fixed-exponent case). Under the assumption that p is globally log-Hölder continuous, we show that the trace space depends only on the values of p on the boundary. In our main result we show how to define an intrinsic norm for the trace space in terms of a sharp-type operator.