Past exam of the real and harmonic analysis course of the University of Oxford / 2007 / 4 / a

Use normalized Haar measure $dm=dt/(2\pi )$. A homogeneous Banach space on the circle is a Banach subspace $B\subseteq L^1(\mathbb{T})$ with $\Vert f{\Vert }_1\le \Vert f{\Vert }_B$, such that translations ${\tau }_{s}f(t)=f(t-s)$ preserve $B$, satisfy $\Vert {\tau }_{s}f{\Vert }_B=\Vert f{\Vert }_B$, and obey $\Vert {\tau }_{s}f-f{\Vert }_B\to 0$ as $s\to 0$.

For continuous $g$, the map $s\mapsto g(s){\tau }_{s}f$ is continuous with values in the complete space $B$. Define its Banach-valued Riemann integral, equivalently its Bochner integral, byThe triangle inequality for Riemann sums and passage to their norm limit give the canonical estimateThe continuous inclusion into $L^1$ carries the same Riemann sums to the ordinary convolution, so this definition agrees almost everywhere with $\int f(t-s)g(s)dm(s)$. Density of continuous functions in $L^1$, completeness of $B$, and the estimate extend the operation uniquely to all $g\in L^1$. The ordinary $L^1$ convolution estimate identifies that extension with the same integral formula.