#HL-Maximum function

23 messages · Page 1 of 1 (latest)

rustic owl
#

Hey does someone know how to solve this problem. Mf(x) is the Hardy Littlewood max function.

humble dune
rustic owl
#

yes

humble dune
#

doesn't c/|x|^d not belonging to L^1 directly prove M f doesn't belong to L^1

#

please tell me if I'm wrong

rustic owl
#

I think so but the main part that I dont understand is showing that the inequation is valid.

humble dune
#

the inequation is valid right?

rustic owl
#

yeah but I need to show it

humble dune
#

oh it's pretty easy

#

wait shit

#

I'm pretty sure that inequality is supposed to be reversed

#

but idk

rustic owl
#

could be a mistake I suppose

humble dune
#

I found this one stackexchange answer that says otherwise but I don't understand it fully

#

step 2 seems weird, everything else is aight

#

oh I get it

#

pretty cool proof

rustic owl
#

why B(x,2|x|))?

humble dune
#

so they assume that a is an arbitrary real > 0 and < |x|

humble dune
#

and so they can translate the ball to the origin so that B(0,a) is a subset of B(0,2|x|)