ArXiv 9704211
ArXiv 9704211
Abstract. The best constant in the usual Lp norm inequality for the
centered Hardy-Littlewood maximal function on R1 is obtained for the
class of all “peak-shaped” functions. A function on the line is called “peak-
shaped” if it is positive and convex except at one point. The techniques
we use include variational methods.
AMS Classification (1991): 42B25
0. Introduction.
Let
x+δ
1
Z
(0.1) (M f )(x) = sup |f (t)| dt
δ>0 2δ x−δ
Council.
Typeset by AMS-TEX
1
for 1 < p < ∞. It turns out that the best such C(p) is the unique number
cp which satisfies the equality
Note that the function |x|−1/p is locally integrable, so the left-hand side of
(0.3) is well-defined. Strictly speaking, the function |x|−1/p doesn’t belong
to the space P ∩ Lp . It is, however, the pointwise limit of a sequence of
functions in P ∩ Lp and the norm ratio of this sequence converges to cp .
Here is our main result.
Theorem. The smallest possible constant C(p) in the inequality
is
p−1 p−1
(τ + 1) p + (τ − 1) p
(0.4) cp = sup ,
τ >1 2τ p−1
p
kf kL1
|{x : (M f )(x) > λ}| ≤ C1
λ
Convexity shows us that ξx′ (t) ≥ 0 for t ∈ (0, |x|), and the third condition
on f shows us that ξx′ (t) > 0 for t close to |x|. Thus we see that ξx (t) is
non-decreasing for t in some open neighborhood of (0, |x|].
The global maximum of ξx over [0, ∞) is equal to (M f )(x). This
maximum is attained on some set of real numbers Bx = {t : ξx (t) =
supu≥0 ξx (u)}. Set δ(x) = max Bx . Since Bx is a closed set, it contains
δ(x). Note that δ(x) > |x| for x 6= 0. Thus
x+δ(x)
1
Z
(1.1) (M f )(x) = f (t) dt.
2δ(x) x−δ(x)
f (x + δ(x)) + f (x − δ(x))
(1.2) (M f )(x) = ,
2
and
f (x + δ(x)) − f (x − δ(x))
(1.3) (M f )′ (x) = .
2δ(x)
(1 + δ ′ (x)) (1 − δ ′ (x))
(1.4) (M f )′ (x) = f ′ (x + δ(x)) + f ′ (x − δ(x))
2 2
(1.5)
(1 + δ ′ (x)) (1 − δ ′ (x))
(M f )′ (x)δ ′ (x) + δ(x)(M f )′′ (x) = f ′ (x + δ(x)) − f ′ (x − δ(x)) .
2 2
4
If q 6= 0 were an inflection point, then (M f )′′ (q) = 0, and by (1.4) and
(1.5) it would follow that
and
Raise both sides of (2.1) to the power p, multiply them by 1 + s′ (x), and
integrate from −∞ to ∞ to obtain
Z +∞
(g(x) + g ′ (x)s(x))p (s′ (x) + 1) dx
−∞
Z+∞
= f (x + s(x))p (s′ (x) + 1) dx
−∞
Z+∞
(2.3) = f (x)p dx = kf kpLp
−∞
Similarly, raise both sides of (2.2) to the power p, multiply them by s′ (x)−
1, and integrate from −∞ to ∞. We obtain
Z +∞
(g(x) − g ′ (x)s(x))p (s′ (x) − 1) dx
−∞
Z+∞
= f (x − s(x))p (s′ (x) − 1) dx
−∞
Z+∞
(2.4) = f (−x)p dx = kf kpLp
−∞
At this point, we remark that the calculation above will not work for
general functions f , because in that case the function s(x) will have many
discontinuities, and above formulae will have to include terms needed to
account for these discontinuities. These discontinuities are generally rather
unpredictable, and we have not been able to find a way to deal with this
problem.
Let 12 < α < 1 be a real number to be selected later to depend on p
only. Let F be the following function of three variables:
d
(∂3 F )(x, φ(x), φ′ (x)) = (∂2 F )(x, φ(x), φ′ (x)).
(2.7)
dx
irrespectively of the order of x and y. Next observe that for all x and all
z > 1 the function F (x, y, z) is convex in y. This is because when z > 1,
(∂22 F )(x, y, z) > 0 for all x, y.
Let x 6= 0. Then by Lemma 2, s′ (x) = |δ ′ (x)| > 1 and
8
Setting y = s0 (x) in (2.12) we obtain that
(1 + β)p−1
α= .
(1 + β)p−1 + (1 − β)p−1
We have now proved that the function (∂2 F )(x, s0 (x), z) is constant in z.
The proof of (2.9) is now complete if we replace s′ (x) by s′0 (x) in the first
summand of (2.11). QED.
where r(α) = γ1 (α) + pβ(α)γ2 (α) with γ1 (α) = α(1 − β)p − (1 − α)(1 + β)p
and γ2 (α) = α(1−β(α))p +(1−α)(1+β(α))p . We also have the inequality
As a → 0, we have the explicit formula for g(a) = c2p |a|−1/2p which tells
p+1
us that g(a) g ′ (a) → 0. When b is very large, we note that f (b + δ(b)) = 0
(because
f has compact support), and hence by (1.2) and (1.3) we have
that gg(b)
′ (b) = δ(b). Furthermore, |b + inf(support(f))| ≤ δ(b) ≤ |b +
g ′ (b) → 0 as b → +∞. We
9
obtain a similar result if −∞ < a < b < 0. Since 0 < β < 1, we obtain
that s0 is in the domain of I, and that I(s0 ) = r(α)kgkpLp .
Now let us consider I(s), which we already know is equal to kf kpLp . It
is here that estimate (2.9) plays its crucial role. If 0 < a < b < ∞, then
Z b
F (x, s(x), s′(x)) dx
a
Z b Z b
′
= [F (x, s(x), s (x)) − F (x, s0 (x), s′0 (x))] dx + F (x, s0 (x), s′0 (x)) dx
a a
Z b
≥ [(∂2 F )(x, s0 (x), s′0 (x))(s(x) − s0 (x)) + (∂3 F )(x, s0 (x), s′0 (x))(s′ (x) − s′0 (x))] dx
a
Z b
(3.3) + F (x, s0 (x), s′0 (x)) dx,
a
p−1 p−1
(t + 1) p + (t − 1) p
h(t) = p−1 .
2 p t
We see that h′ (t) is monotonically decreasing on (1, +∞) and attains its
only zero at the unique τ satisfying
p
p+τ τ +1
(3.4) = .
p−τ τ −1
Let
(p + τ )p−1
(3.5) α0 =
(p + τ )p−1 + (p − τ )p−1
2 (p − 1) τ (p + τ )p−1 (p − τ )p−1
r(α0 ) =
pp [(p + τ )p−1 + (p − τ )p−1 ]
2p (p − 1) τ
= p−τ p+τ p−1
p ( p+τ + 1)p−1 (( p−τ ) + 1)
2p (p − 1) τ
= 1 1 p−1 p−1
p [(τ − 1)− p + (τ + 1)− p ]p−1 [(τ + 1) p + (τ − 1) p ]
2τ p−1
p
p
(3.6) = p−1 p−1 = h(τ )−p = c−p
p ,
(τ − 1) p + (τ + 1) p
11
References
12