Many tricky exercises concern the quest for functions that satisfy particular conditions. For example, let us consider the spaces $C_p( \mathbb R), 1 \leq p < \infty$, of continuous functions on $\mathbb R$ such that $\int_{\mathbb R} \lvert f(x) \rvert^p \mbox{d}x < \infty$. I found the following exercises rather demanding:
- Find a function $f\in C_1(\mathbb R)$ such that $f$ is unbounded;
- Find a function $f \in C_1(\mathbb R) \backslash C_2(\mathbb R)$.
so one can deduce that $C_p \not\subset C_q$ if $p < q$.
I'm quite sure that a function defined to be zero everywhere except for triangular peaks of height $k$ and base $1/k^3$ centered on positive integers $k$ is a solution for both the exercises. (it's a simple matter to give to this function an explicit form, but I think it would be rather unclear.)
Is it correct?
Can anyone give other examples? (for the one or the other exercise, not necessary a solution of both of them!)
Best Answer
Yes, that's correct. You can change the spacing, the widths, heights, and shape of the peaks, you can add an integrable bounded strictly positive function, but the principle is the same, you need narrow high peaks marching off to infinity.