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

Let $f(x)$ be a continuous and locally bounded function on $\mathbb R$, then the local maximum function is defined by $$ f^{\#}(x)=\sup_{y\in[x-1,x+1]}|f(y)| $$

Can we find a relation between the $L^{2}$ norm of $f^{\#}$ and the $L^{2}$ norm of $f$ ? (if we know that $\|f\|_{L^{2}(\mathbb R)}<\infty$)

(I'm not sure if this is related to the the Amalgam space $W(L^{\infty},L^{2})$ !!)

I don't know exactly the next step for $$\int_{-\infty}^{\infty}|f^{\#}(x)|^{2}dx=\int_{-\infty}^{\infty}\big|\sup_{y\in[x-1,x+1]}|f(y)| \big|^{2}dx$$

share|cite|improve this question
$\| f^{\#} \|_{L^2(\mathbb R)} > \| f \|_{L^2(\mathbb R)}$ if $f \neq f^{\#}$? I fear it is the only thing we can say in general, but then again I haven't given much thought about it. – Patrick Da Silva May 5 '12 at 19:30
My fears are mostly caused by the fact that the supremum can behave very strangely if $f$ can oscillate. – Patrick Da Silva May 5 '12 at 19:36
But $f$ is locally bounded on $\mathbb R$, does this imply anything! – Kinda May 5 '12 at 19:50
Perhaps you could try bounding the norm of $\| f^{\#} \|$ by above, but the fact that $f$ is locally bounded, for me, only means that $f^{\#}$ is well-defined (at least for the moment, that is all I see). – Patrick Da Silva May 5 '12 at 19:54
Yes you'r right! In fact I expect something like $\|f^{\#}\|_{L^{2}}\leq M \|f\|_{L^{2}}$, for some $M$. – Kinda May 5 '12 at 19:59

Around each integer $n$ consider the interval $I_n=(n-\frac{1}{2n^2},n+\frac{1}{2n^2})$ and build the triangles given by the endpoints of $I_n$ and the point $(n,1)$ in the plane. We have then a piecewise function which can be extended by zero outside the $I_n$. This gives us the graph of a continuous, square integrable function $f$ for which $f^{\#}\equiv 1$.

share|cite|improve this answer
Yes, my fears are confirmed by your example! I had faith that oscillations would be a problem. Your peaks in the triangles exhibit what I felt very clearly. +1! – Patrick Da Silva May 5 '12 at 20:47
I found that $\|f\|_{W(L^{\infty},L^{2})}=\|f^{\#}\|_{L^{2}}$, I'm confusing??!! – Kinda May 5 '12 at 21:01
@Kinda What is that first norm? – Jose27 May 5 '12 at 21:29
It is the Amalgam space norm. – Kinda May 6 '12 at 16:12
So, do you mena that if the function doesn't oscillate or have peaks like above then the result will be true? – Kinda May 7 '12 at 19:54

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.