Exact Traces for Vector-Valued Morrey Spaces

Abstract

Trace spaces determine exactly which initial values are compatible with an evolution class. We identify the exact trace generated by vector-valued Morrey control in time and show that it differs essentially from the classical $L^p$ theory. For a Banach couple $X_1\hookrightarrow X_0$, the trace of the natural Morrey evolution class is the weak real-interpolation space $(X_0,X_1)_{θ,\infty}$, where $θ=1-(1-λ)/p$. Every element of this space occurs as a trace through a bounded extension operator. The result is sharp in both interpolation parameters: in general the smoothness exponent cannot be increased and the fine index $\infty$ cannot be replaced by any finite index. Thus Morrey control changes the exact trace mechanism rather than merely strengthening an integrability estimate. At the limiting endpoint, bounded mean oscillation (BMO) control yields finite-index interpolation traces together with a logarithmic modulus of continuity. The result isolates the precise initial-data space naturally associated with local, scale-sensitive time regularity and provides a trace framework suited to evolution equations with Morrey-type maximal regularity. \keywords{Morrey spaces \and trace spaces \and real interpolation \and evolution equations \and bounded mean oscillation}