Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm working through a proof and one of the comments is that for a function $f\in L_p (\mathbb{T})$:

$$\lim_{t\to \infty}\;\|f(\cdot + t) - f\|_p = 0.$$

Should this read as $t\to 0$?

If so, how do I prove it? I think it is intuitively clear if $f$ is a step function, but what about for an arbitrary $p$ integrable function?

share|improve this question
5  
Prove it for continuous functions first, using that they are uniformly continuous, then use that they are dense. See Jonas's answer here for the $L^1$-case and adapt the argument to $L^p$, $p \lt \infty$. And yes, it should be $t \to 0$. –  t.b. Oct 4 '11 at 3:15

1 Answer 1

up vote 10 down vote accepted

Yes, it should definitely be $\lim\limits_{t \to 0}\|f(\cdot+t)-f\|_p = 0$, not $t \to \infty$. Note also that the restriction $1 \leq p \lt \infty$ is necessary here. For $p = \infty$ just consider a characteristic function of a proper subinterval of $\mathbb{T}$. Your idea with characteristic functions can be made into an argument for $p \lt \infty$ but the following seems simpler to me:

  1. Since $\mathbb{T}$ is compact, every continuous function is uniformly continuous. This means: for every continuous function $g$ and every $\varepsilon \gt 0$ there is $\delta = \delta(g,\varepsilon) \gt 0$ such that for all $|t| \lt \delta$ the estimate $|g(x+t) - g(x)| \lt \varepsilon$ holds. Integrating this over $\mathbb{T}$ we see that $\|g(\cdot+t) - g\|_p \leq \varepsilon$ for all $|t|\lt \delta$.

  2. Now for every $f \in L^p(\mathbb{T})$ and $\varepsilon \gt 0$ there is a continuous $g$ such that $\|f-g\|_p \lt \varepsilon$. Using 1., this gives $$\|f(\cdot+t)-f\|_p \leq \|f(\cdot+t) - g(\cdot+t)\|_p + \|g(\cdot+t)-g\|_p + \|g-f\|_p \leq 3\varepsilon$$ for all $|t| \lt \delta(g,\varepsilon)$.

share|improve this answer
    
Thank you very much. I feel pretty thick for not being able to answer these questions myself. Your explanation makes it seem dead obvious. Thank you. –  Kyle Schlitt Oct 4 '11 at 3:55
6  
Don't worry too much, Kyle, one needs to get the hang of this, and it takes some time... I saw your question in which you said that you're lagging behind the course and when you're feeling under pressure the mind usually can't focus as well as it usually does. Keep your head up and use the site for what it's for, good luck! –  t.b. Oct 4 '11 at 4:07

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.