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

Abstract

The trace problem on the hypersurface is investigated for a function with , that is, Sobolev spaces with mixed Lebesgue norm are considered; here is a vector and . 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 , . A similar result is established for first order spatial derivatives of . 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 with .