Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If $g\in L^p(\mathbb{R}^n)$ and $1\leq p<\infty$ then show $$\lim_{|t|\to \infty}\lVert g_{(t)}+g\rVert_p=2^{1/p}\lVert g\rVert_p,$$

where $g_{(t)}(x):=g(t+x)$.

Any hints? Try to give me only hints/outlines not complete solutions

Not sure where to go from there?

share|cite|improve this question
You can try to prove it for characteristic function of hypercube , and then for characteristic function of any set, with using iterated limits, starting from t. An example of using iterated limits is here:… ,you can also consider inequality described here:…, or some tricks from this document: – Darius Apr 23 '14 at 18:44

Hint: Prove this for compactly supported functions.

share|cite|improve this answer
This $2^{1/p}$ thing is throwing me off...if it was a plain $2$ it would have been easier i think. – said Oct 29 '12 at 1:21
said: This might be because you forgot that the $L^p$ norm is the power $1/p$ of an integral. Hence the factor $2^{1/p}$ is only natural. – Did Oct 29 '12 at 8:59


  1. First show it for characteristic functions $\chi_I$ where $I$ is some interval.

  2. Using 1. prove this for simple functions (i.e. finite sums $\sum \alpha_I\chi_I$).

  3. Prove the general statement by approximating a general function $g\in L^p$ by those of 2.

share|cite|improve this answer


Let's introduce $B_r(P)$ as it is defined and $\|\ f\|_{L_{p}{\{\text{Area of integrating}\}}}=\left(\int\limits_{\text{Area of integrating}}|f(x)|^p dx\right)^{\frac{1}{p}}$. The key to solving the problem are triangle inequalities as it is shown below: $$\|g\|_{L_{p}\{B_{0.5|t|}(0)\}}\leqslant\|g_{(t)}+g\|_{L_{p}\{B_{0.5|t|}(0)\}}+\|g_{(t)}\|_{L_{p}\{B_{0.5|t|}(0)\}}$$

and: $$\|g_{(t)}+g\|_{L_{p}\{B_{0.5|t|}(0)\}}\leqslant \|g\|_{L_{p}\{B_{0.5|t|}(0)\}}+\|g_{(t)}\|_{L_{p}\{B_{0.5|t|}(0)\}}$$

Notice that: $$\|g_{(t)}+g\|_{L_p}=\left(\|g_{(t)}+g\|_{L_{p}\{B_{0.5|t|}(0)\}}^p+\|g_{(t)}+g\|_{L_{p}\{B_{0.5|t|}(-t)\}}^p+\|g_{(t)}+g\|_{L_{p}\{\overline{B_{0.5|t|}(0)\cup B_{0.5|t|}(-t)}\}}^p\right)^{\frac{1}{p}}$$

share|cite|improve this answer

Your Answer


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.