Vector-valued Lizorkin-Triebel spaces and sharp trace theory for functions in Sobolev spaces with mixed Lp-norm for parabolic problems

The trace problem on the hypersurface yn = 0 is investigated for a function u = u(y,t) is an element of L-q(0,T;W-p(m)(R-+(n))) with atu partial derivative(t)u is an element of L-q(0,T;L-p(R-+(n))), that is, Sobolev spaces with mixed Lebesgue norm Lp,q (R-+(n) x (0, T)) = Lq (0,T; L-p(R-+(n))) are considered; here p = (p(1),...,p(n)) is a vector and R-+(n) = Rn-1 x (0, infinity). Such function spaces are useful in the context of parabolic equations. They allow, in particular, different exponents of summability in space and time. It is shown that the sharp regularity of the trace in the time variable is characterized by the Lizorkin-Triebel space F-q,pn(1-1)/((pnma))(0,T; L (p) over tilde $ (Rn-1)), p = ((p) over tilde ,p(n)). A similar result is established for first order spatial derivatives of u. These results allow one to determine the exact spaces for the data in the inhomogeneous Dirichlet and Neumann problems for parabolic equations of the second order if the solution is in the space L-q(0,T; W-p(2)(Omega)) boolean AND W-q(1)(0,T; L-p(Omega)) with p <= q.