MASTER’S THESIS
2005:329 CIV
ERIC SETTERQVIST
Unitary Equivalence
A new approach to the Laplace transform and the Hardy operator
MASTER OF SCIENCE PROGRAMME
Luleå University of TechnologyDepartment of Mathematics
Unitary Equivalence: A New Approach to the Laplace transform and the Hardy operator
Eric Setterqvist
Master’s Thesis Supervisor: Natan Kruglyak
Department of Mathematics
Lule˚ a University of Technology
Abstract
The thesis consists of three parts. In Part 1 we compose the Laplace transform L,
L(f (x))(s) = Z∞
0
f(x)e−sxdx,
with the involution T f (x) = 1xf(x1) on L2(0, ∞) and show that the re- sulting operators T L and LT are unitary equivalent to multiplication by, respectively, the gamma functions Γ(12+ iw) and Γ(12 − iw) on L2(R).
Further, with the unitary equivalence between the composition T L and multiplication by Γ( 12+ iw) we are able to derive the exact constant of the norm of the Laplace transform on L2(0, ∞). We end Part 1 with an estimate for the Laplace transform on Lp(0, ∞), 1 ≤ p ≤ 2.
In Part 2 it is shown that the Hardy operator, Hf (x) =1x Rx
0
f(s)ds, on L2(0, ∞) is unitary equivalent to multiplication by the function 11
2+iw on L2(R). We then consider the Hardy minus Identity operator,
(H −I)f (x) =1x Rx
0
f(s)ds−f (x), and with the unitary equivalence between H and multiplication by 1 1
2+iw we prove the equality kαI + (1 − α)(H − I)kL2→L2 = 1, 0 ≤ α ≤ 1.
Thus, the unit sphere of the space of all bounded linear operators on L2(0, ∞) contains an interval with the ends I and H − I.
In addition, we show that I − H = −(H − I) on L2(0, ∞) is unitary equivalent to I − AΩ, where AΩ is a convolution operator, on L2(R).
Moreover, I − AΩis a shift isometry in an orthonormal basis {kn},
kn(u) =
ln(u)χ(0,∞), n≥ 0, l−n+1(−u)χ(−∞,0), n <0,
constituted of Laguerre functions lm. In this basis we have the simple shift
(I − AΩ)kn= kn+1, n∈ Z.
Finally, in Part 3 we derive a sharp estimate of H − I on the cone of decreasing functions in Lp(0, ∞).
Contents
1 Introduction 1
2 The Laplace transform and the Gamma function 2 2.1 The Laplace transform and related unitary equivalent op-
erators . . . 2 2.2 An estimate for the Laplace transform on Lp(0, ∞) . . . 6 3 The Hardy minus Identity operator onL2(0, ∞) 8 3.1 An unitary equivalent form of the Hardy operator . . . 8 3.2 Laguerre functions and the Identity minus Hardy operator . 10 4 Estimates of the Hardy minus Identity operator on the
cone of decreasing functions 13
4.1 Operator norms of H − I and (H − I)−1 on cones in Lp(0, ∞) 13 4.2 Further estimates of H − I and (H − I)−1 . . . 19
5 Future work 23
Appendix: The Laplace transform as a convolution on the multiplicative group and the Mellin transform 24
References 26
Acknowledgements
First of all I am grateful to my supervisor Professor Natan Kruglyak for the excellent guidance and the inspiration he has provided throughout the completion of this thesis.
Also, I express my appreciation to Professor Svante Janson and Pro- fessor Lars-Erik Persson who read preliminary versions of the thesis and suggested some valuable improvements of it. Finally, I would like to ac- knowledge Professor Sten Kaijser whose paper, see [6], influenced the di- rection of research.
1 Introduction
This thesis is devoted to the study of some aspects of and interactions between the Laplace transform, Hardy operators and Laguerre polynomials. We give in this section a short introduction to these subjects.
The Laplace transform, defined by
L(f (x))(s) = Z∞
0
f (x)e−sxdx,
is a widely used tool in science and engineering. Its perhaps most significant gain in practice is the transform of linear dynamical systems, which arise in different areas like control theory, signal processing and mechanics, to algebraic equations. Therefore it is important not only for mathematicans to understand the Laplace transform and its properties beyond the elementary level.
The Hardy operator H, defined by
Hf (x) = 1 x
Zx
0
f (s)ds,
and generalizations of this operator have been the object of extensive studies in mathematical analysis during the last century. Closely related to the Hardy operator is the Hardy inequality which in its original form states that for non- negative functions in Lp(0, ∞) and p > 1 we have
Z∞
0
1 x
Zx
0
f (s)ds
p
dx ≤
p
p − 1
p ∞Z
0
(f (x))pdx.
In this thesis we consider in principal the Hardy minus Identity operator;
(H − I)f(x) = Hf(x) − f(x) = 1 x
Zx
0
f (s)ds − f(x).
This operator was shown in [7] to satisfy the relation k(H − I)fkL2 = kfkL2, ∀f ∈ L2(0, ∞).
Moreover, in [8] the result above is generalized to weighted L2-spaces.
The classical Laguerre polynomials and functions, whose origins go back to the nineteenth century, are used in different areas such as quantum physics and electrical engineering. One example is the quantum-mechanical description of the hydrogen atom. In this model the Laguerre polynomials are part of the eigenfunctions that corresponds to the bounded states of the atom.
2 The Laplace transform and the Gamma func- tion
Let L denote the Laplace transform defined by
L(f (x))(s) = Z∞
0
f (x)e−sxdx.
In this section we show that the compositions of a specified involution T and the Laplace transform on L2(0, ∞) are unitary equivalent to multiplication by the gamma functions Γ(12± iw) on L2(R). We then give a new proof of the known fact that the Laplace transform is a bounded transformation from L2(0, ∞) to L2(0, ∞) and, more specific, show that the operator norm of L is
kLkL2→L2 = π1/2.
In addition, we interpret the compositions of L and T as convolutions on R and derive, due to these interpretations, the following result:
kLfkLp′ ≤ (p(2 − p))(2−p)/2p(π(p − 1))(p−1)/pkfkLp, 1 ≤ p ≤ 2, 1 p+ 1
p′ = 1.
2.1 The Laplace transform and related unitary equivalent operators
Let us start with some necessary definitions.
Definition 2.1 (Surjective isometry) Let X and Y be normed spaces. An operator A from X onto Y is said to be a surjective isometry if
kAxkY = kxkX, ∀x ∈ X.
Note that when A is a surjective isometry then the inverse A−1 exists and A−1 is also a surjective isometry.
Definition 2.2 (Unitary operator) A surjective isometry U : X → Y , where X and Y are Hilbert spaces, we will call an unitary operator.
From the definition one can derive that for an unitary operator U we have U∗= U−1 where U∗ is the adjoint operator.
Definition 2.3 (Unitary equivalence) Let X and Y be Hilbert spaces and let A : X → X and B : Y → Y be bounded linear operators. We say that B is unitary equivalent to A if there exists an unitary operator U : X → Y such that B = U AU−1.
Notation 2.1 (Unitary equivalence) B ∼uA.
It is clear from definition that if A ∼uB and B ∼uC then A ∼uC.
Definition 2.4 Let the operator T be defined by T f (x) = 1xf (1x).
It is easy to show that T is an unitary operator from L2(0, ∞) onto L2(0, ∞) and T∗= T−1= T and hence that T , in addition, is an involution.
Definition 2.5 (Gamma function) The gamma function Γ(z), z ∈ C, Re z > 0, is defined by
Γ(z) = ∞R
0
tz−1e−tdt.
For more information about the gamma function see e.g. [1].
Let MΓ(1/2+iw)and MΓ(1/2−iw)be operators corresponding to multiplication by, respectively, Γ(12+ iw) and Γ(12− iw) on R. We are now ready to state our main theorem in this section:
Theorem 2.1 T L ∼uMΓ(1/2+iw) and LT ∼uMΓ(1/2−iw). Proof. Let f ∈ L2(0, ∞). We have
T Lf (s) = 1 s
Z∞
0
f (x)e−xsdx.
We introduce the operator V defined by V f (u) = eu/2f (eu). It is straight- forward to show that V is an unitary operator from L2(0, ∞) onto L2(R). Now, we have
V T Lf (u) = eu/2 eu
Z∞
0
f (x)e−e−uxdx = [x = ev] =
= Z∞
−∞
ev/2f (ev)e−e−(u−v)−(u−v)/2dv =
= Z∞
−∞
V f (v)Ω(u − v)dv = (V f ∗ Ω) (u),
where Ω(u) = e−e−u−u/2. Thus, we arrive at a convolution. Next, we introduce the Fourier transform F defined by
Ff (w) = 1
√2π Z∞
−∞
f (x)e−iwxdx.
It is well-known, by the Plancherel theorem, that F is an unitary operator on L2(R). We now consider FV T Lf :
FV T Lf (w) = F (V f ∗ Ω) (w) =√
2πFV f (w)FΩ(w).
Let us calculate the Fourier transform of Ω:
√2πFΩ(w) = Z∞
−∞
e−e−x−x/2e−iwxdx =
y = e−x
= Z∞
0
e−yy−1/2+iwdy ≡
≡ Γ(1 2 + iw).
Note that Γ(1
2+ iw)
2
= Γ(1
2 + iw)Γ(1
2 − iw) = π(cosh(wπ/2))−1≤ π which gives
kFV T LfkL2(R)≤ π1/2kFV fkL2(R)
or, because F and V are unitary operators;
kT LfkL2(0,∞)≤ π1/2kfkL2(0,∞). This shows that T L is a bounded operator on L2(0, ∞).
The boundedness of T L combined with the fact that the composition FV : L2(0, ∞) → L2(R) is an unitary operator gives that T L on L2(0, ∞) is unitary equivalent to multiplication by Γ(12+ iw) on L2(R). The result for LT can be proved in a similar manner.
One interesting remark:
Remark 2.1 If we consider the Carleman integral operator S on L2(0, ∞) de- fined by
Sf (x) = Z∞
0
f (y) x + ydy
it is not difficult (see e.g. [2]) to verify that the unitary operator U = FV , which we used in Theroem 2.1, transform the operator S to multiplication by the function π(cosh(wπ/2))−1 on L2(R).
Then, from the equality Γ(1
2 + iw)Γ(1
2− iw) = π(cosh(wπ/2))−1 and Theorem 2.1 it follows that
S = LL∗= L2.
Definition 2.6 (Operator norm) The norm of a bounded linear operator T : X → Y is defined by kT kX→Y= sup
kxkX=1kT xkY.
The result of the corollary below seems to first appear in the papers [3] and [4] by G.H. Hardy. However, our proof is different and based on Theorem 2.1.
Corollary 2.1 The Laplace transform L is a bounded transformation from L2(0, ∞) to L2(0, ∞) and more precisely kLkL2→L2= π1/2.
Proof. We first consider kT LkL2→L2. From Theorem 2.1 we have the estimate
kT LfkL2(0,∞)≤ π1/2kfkL2(0,∞), ∀f ∈ L2(0, ∞), which gives
kT LkL2→L2 ≤ π1/2. (2.1)
The unitary equivalence between T L on L2(0, ∞) and MΓ(1/2+iw) on L2(R) gives that
kT LkL2→L2 =
MΓ(1/2+iw)
L2→L2. We can construct a function eg ∈ L2(R) given by
eg(w) = 1
p2δ(ε)χ(1/2−δ(ε),1/2+δ(ε)),
for every 0 < ε < π1/2. χ(a,b)is the characteristic function on (a, b) and δ(ε) denote the minimum distance between w = 1/2 and roots to the equation Γ(12+ iw) = π1/2− ε. Observe that kegkL2(R)= 1.
We then are able to derive, because
Γ(12+ iw)
is a continuous function, the following inequality:
MΓ(1/2+iw)
L2→L2 = sup
kgkL2(R)=1
Γ(
1 2+ iw)g
L2
(R)
≥ (π1/2− ε) kegkL2(R)
= π1/2− ε. (2.2)
Let ε → 0+ and we arrive, in view of (2.1) and (2.2), at the equality kT LkL2→L2 = π1/2.
Finally, the fact that T is an isometry from L2(0, ∞) onto L2(0, ∞) results in
kLkL2→L2 = π1/2.
2.2 An estimate for the Laplace transform on L
p(0, ∞)
We recall the classic Young’s convolution inequality:
Let 1 ≤ p, q, r ≤ ∞, 1/p + 1/q − 1/r = 1, f ∈ Lpand g ∈ Lq. Then kf ∗ gkLr ≤ kfkLpkgkLq.
This inequality is sharp only for the case p = 1 or q = 1. W. Beckner stated and proved in [5] the following sharp form of Young’s inequality:
Let 1 ≤ p, q, r ≤ ∞, 1/p + 1/q − 1/r = 1, f ∈ Lpand g ∈ Lq. Then kf ∗ gkLr ≤ ApAqAr′kfkLpkgkLq
where Am=
m1/m m′ 1/m′
1/2
and m1 +m1′ = 1. The sharp Young’s inequality will be used in a generalization of Corollary 2.1:
Theorem 2.2 Let f ∈ Lp(0, ∞), 1 ≤ p ≤ 2 and 1p+p1′ = 1.Then kLfkLp′ ≤ (p(2 − p))(2−p)/2p(π(p − 1))(p−1)/pkfkLp.
Proof. We introduce the operators Tr and Vr, 1 ≤ r < ∞, defined by Trf (x) = 1
x2/rf (1 x), and
Vrf (u) = eu/rf (eu).
One can show that Tris an isometry from Lr(0, ∞) onto Lr(0, ∞) and that Vr
is an isometry from Lr(0, ∞) onto Lr(R). Now,
Tp′Lf (s) = 1 s2/p′
Z∞
0
f (x)e−xsdx,
and
Vp′Tp′Lf (u) = eu/p′ e2u/p′
Z∞
0
f (x)e−e−uxdx = [x = ev] =
= Z∞
−∞
ev/pf (ev)e−e−(u−v)−(u−v)/p′dv =
= Z∞
−∞
Vpf (v)Ωp′(u − v)dv = (Vpf ∗ Ωp′) (u). (2.3)
where Ωr(u) = e−e−u−u/r.
We recall the sharp form of Young’s inequality and apply it to (2.3):
kVpf ∗ ΩqkLp′ ≤ ApAqA(p′)′kVpf kLp
Ωp′
Lq = A2pAqkVpf kLp
Ωp′
Lq. Now, kVpf kLp(R)= kfkLp(0,∞)because Vp is an isometry and
Ωp′
q Lq =
Z∞
−∞
e−e
−u
−u/p′
q
du = Z∞
−∞
e−qe−u−qu/p′du =
y = qe−u
=
= q−q/p′ Z∞
0
e−yyq/p′−1dy = q−q/p′Γ(q/p′).
Further, the constraints 1/p + 1/p′ = 1 and 1/p + 1/q − 1/p′ = 1 gives that q = p2′ and therefore
kΩp′kLq =
2 p′
1/p′
(Γ(1/2))2/p
′
=
2π p′
1/p′
=
2π(p − 1) p
(p−1)/p
. Also, some algebraic manipulations gives
A2pAq = p1/2(2 − p)(2−p)/2p 2(p−1)/p . With some further calculations we derive
A2pAqkΩp′kLq = (p(2 − p))(2−p)/2p(π(p − 1))(p−1)/p.
From the isometric properties of Vp′ and Tp′ it follows that kVp′Tp′Lf kLp′(R)= kLfkLp′(0,∞). The condition q ≥ 1 and q = p2′ implies that p′≥ 2 which in turn gives 1 ≤ p ≤ 2. Altogether, we have the result
kLfkLp′ ≤ (p(2 − p))(2−p)/2p(π(p − 1))(p−1)/pkfkLp, 1 ≤ p ≤ 2.
Hardy proved in [4] the following, less sharp, result:
kLfkLp′ ≤
2π p′
1/p′
kfkLp, 1 ≤ p ≤ 2, 1 p+ 1
p′ = 1.
The proof of Hardy is based on a generalized form of H¨older’s inequality. Note that if we apply the classic form of Young’s inequality in our proof of Theorem 2.2 we obtain the same constant as in Hardy’s result.
3 The Hardy minus Identity operator on L
2(0, ∞)
In this section we show that the Hardy operator H on L2(0, ∞), defined by
Hf (x) = 1 x
Zx
0
f (s)ds,
is unitary equivalent to a multiplicative operator on L2(R). A paper by S. Kai- jser, see [6], where the Hardy operator is interpreted as a convolution initiated our research in this direction.
For the Hardy minus Identity operator H − I, where
(H − I)f(x) = 1 x
Zx
0
f (s)ds − f(x),
we are able, with an unitary equivalent mulitplicative operator, to give new and elementary proofs of the following properties:
i) kαI + (1 − α)(H − I)kL2→L2= 1, 0 ≤ α ≤ 1, ii) k(H − I)fkL2 = kfkL2, ∀f ∈ L2(0, ∞).
For result ii) see [7] for orignal statement and proof and [8] for the weighted case.
Finally, in Section 3.2 we show that an operator I − AΩ, where I − AΩ∼u I − H = −(H − I), is a shift isometry in an orthonormal basis in L2(R).
Moreover, this basis is constituted by Laguerre functions.
3.1 An unitary equivalent form of the Hardy operator
Let f ∈ L2(0, ∞) and V denote the operator defined by V f(x) = ex/2f (ex).
From Section 2.1 we know that V is an unitary operator from L2(0, ∞) onto L2(R). Also, we introduce the operator M11
2+iw which corresponds to mulipli- cation by 1 1
2+iw on L2(R).
Now to our main result:
Theorem 3.1 H ∼u M11
2+iw. Proof. Let V act on Hf :
V Hf (u) = eu/2 1 eu
eu
Z
0
f (s)ds = [s = ev] = Zu
−∞
f (ev)ev/2e−(u−v)/2du.
Let Ω(u) = e−u/2χ(0,∞). We get
V Hf (u) = Z∞
−∞
V f (v)Ω(u − v)du = V f ∗ Ω(u).
Thus, we arrive at a convolution. Next, we Fourier transform the expression above:
FV Hf (w) = F(V f ∗ Ω)(w) =√
2πFV f (w)FΩ(w).
An easy calculation gives
√2πFΩ(w) = 1
1 2+ iw.
Since both F and V are unitary operators the theorem is proved.
We proceed with corollaries to Theorem 3.1:
Corollary 3.1 Let the operator H − I be defined by (H − I)f(x) = x1
Rx
0 f (s)ds − f(x) and 0 ≤ α ≤ 1.
Then kαI + (1 − α)(H − I)kL2→L2 = 1.
Proof. As for H we let V and F act on H − I :
FV (H − I)f(w) = FV Hf(w) − FV f(w).
From Theorem 3.1 we have
FV Hf (w) = 1
1
2+ iwFV f (w).
Thus,
FV (H − I)f(w) =
1 2− iw
1
2+ iwFV f (w), and we see that H − I ∼u
1 2−iw
1
2+iw. This implies that kαI + (1 − α)(H − I)kL2→L2 = sup
kfkL2(0,∞)=1kαf + (1 − α)(H − I)fkL2(0,∞)
= sup
kgkL2(R)=1
αg + (1 − α)
1 2− iw
1 2+ iwg
L2(R)
= sup
kgkL2(R)=1
1
2+ (2α − 1)iw
1 2+ iw
g
L2(R)
≤
1
2+ (2α − 1)iw
1 2+ iw
L∞(R)
sup
kgkL2(R)=1kgkL2(R)
=
1
2+ (2α − 1)iw
1 2+ iw
L∞(R)
= 1. (3.1)
We construct a function eg ∈ L2(R) given by eg(w) = 1
p2δ(ε)χ(−δ(ε),δ(ε))
for every 0 < ε < 1 where δ(ε) denote the minimum distance between w = 0 and roots to the equation
1
2+(2α−1)iw
1 2+iw
= 1 − ε. Note that kegkL2(R)= 1.
We then are able to derive, because
1
2+(2α−1)iw
1 2+iw
is a continuous function, the following inequality:
kαI + (1 − α)(H − I)kL2→L2 = sup
kgkL2 (R)=1
1
2+ (2α − 1)iw
1 2+ iw
g
L2(R)
≥ (1 − ε) kegkL2(R)= 1 − ε. (3.2) Let ε → 0+ and we arrive, in view of (3.1) and (3.2), at the equality:
kαI + (1 − α)(H − I)kL2→L2 = 1.
Hence, by Corollary 3.1, the unit sphere of the space of all bounded linear operators on L2(0, ∞) contains an interval with the ends I and H − I.
The special case α = 0 in Corollary 3.1 above could be developed to the following result:
Corollary 3.2 Let the operator H − I be defined by (H −I)f(x) = x1
Rx
0 f (s)ds−f(x). Then k(H − I)fk2= kfk2, ∀f ∈ L2(0, ∞).
Proof. H − I ∼u
1 2−iw
1
2+iw gives k(H − I)fkL2(0,∞) =
1 2 − iw
1
2 + iwFV f
L2(R)
= kFV fkL2(R)=
= kfkL2(0,∞).
3.2 Laguerre functions and the Identity minus Hardy op- erator
Let Ln denote the Laguerre polynomial of degree n defined by Ln(x) = ex
n!
dn
dxn(xne−x)
and let ln denote the n:th Laguerre function defined by ln(x) = e−x/2Ln(x).
It can be shown that {Ln}∞n=0 is an orthonormal basis in L2(0, ∞) with measure e−xdx and {ln}∞n=0 is an orthonormal basis in L2(0, ∞) with measure dx. For more information about Laguerre functions and polynomials see e.g.
[9].
In [10] the following sequences of functions are considered:
en(x) = −Ln(ln x)
x χ(1,∞), n ≥ 0, fn(x) = Ln(− ln x)χ(0,1), n ≥ 0.
It is shown in [10] that the union {en}∪{fn} is an orthonormal basis in L2(0, ∞) with measure dx. Moreover, the authors derive that the Identity minus Hardy operator
(I − H)f(x) = −(H − I)f(x) = f(x) − 1 x
Zx
0
f (s)ds is a shift operator in this basis:
(I − H)en= en+1, n ≥ 0, (I − H)f0= e0,
(I − H)fn= fn−1, n ≥ 1.
Now we construct an orthonormal basis in L2(R) based on the Laguerre function ln. Let gn and hn be defined by
gn(u) = ln(u)χ(0,∞), n ≥ 0, hn(u) = ln(−u)χ(−∞,0), n ≥ 0.
It follows from the properties of the Laguerre functions that {gn} and {hn} are orthonormal bases with measure du in L2(0, ∞) and L2(−∞, 0) respectively.
Since the sequences {gn} and {hn} have disjoint supports we conclude that the union {gn} ∪ {hn} is an orthonormal basis in L2(R).
Let U denote the shift operator defined by the formulas:
U gn = gn+1, n ≥ 0, (3.3)
U h0 = g0, (3.4)
U hn = hn−1, n ≥ 1. (3.5)
Also, we introduce the operator
(I − AΩ)ϕ(u) = ϕ(u) − Ω ∗ ϕ(u) where Ω(u) = e−u/2χ(0,∞).
Now, our main result in this section reads
Theorem 3.2 The operator I − AΩ on L2(R), which is unitary equivalent to I − H on L2(0, ∞), is a shift isometry in the basis {gn} ∪ {hn} and the shifting property is given by (3.3)-(3.5) above.
Proof. To prove I − AΩ∼uI − H we recall the unitary operator V f(u) = eu/2f (eu) from L2(0, ∞) onto L2(R) and Theorem 3.1 where we showed that V Hf (u) = V f ∗ Ω(u). Now, let V act on (I − H)f :
V (I − H)f(u) = V f(u) − V f ∗ Ω(u) ≡ (I − AΩ)V f (u). (3.6) The unitary equivalence follows from (3.6) and the fact that V is an unitary operator which also proves the isometric property of I − AΩ.
What remains to prove is that V en = gn and V fn = hn. The shifting property of I − AΩis then given by the unitary equivalence I − AΩ∼uI − H .
Let us consider V en :
V en(u) = e−u/2Ln(u)χ(0,∞) = ln(u)χ(0,∞) ≡ gn(u).
Similary V fn:
V fn(u) = eu/2Ln(−u)χ(−∞,0) = ln(−u)χ(−∞,0) ≡ hn(u) which ends the proof.
Finally, we observe that we can state the result in Theorem 3.2 in a different and perhaps more convenient manner. Let kn, n ∈ Z, be defined by
kn(u) =
gn(u), n ≥ 0, h−n−1(u), n ≤ −1.
From the properties of {gn} ∪ {hn} it follows that the sequence {kn} is an orthonormal basis in L2(R). The properties (3.3) − (3.5) of the operator I − AΩ
translated to the basis {kn} gives the simple shift (I − AΩ)kn= kn+1, n ∈ Z.
4 Estimates of the Hardy minus Identity oper- ator on the cone of decreasing functions
As mentioned in Section 3 the identity k(H − I)fkL2 = kfkL2 is true for every f ∈ L2(0, ∞). In this section we are concerned with estimates for H − I and its inverse (H − I)−1 on certain cones of functions in Lp(0, ∞), 1 < p < ∞.
4.1 Operator norms of H − I and (H − I)
−1on cones in L
p(0, ∞)
We start with the definitions of the distribution function µf of a function f and its decreasing rearrangement f∗.
Definition 4.1 Let f be a measurable function on a measure space (Ω, µ). The distribution function µf : [0, ∞) → [0, ∞] is defined by
µf(λ) = µ({x ∈ Ω : |f(x)| > λ}).
Now the definition of the decreasing rearrangement of f :
Definition 4.2 The decreasing rearrangement f∗ : [0, ∞) → [0, ∞] is defined by f∗(x) = inf{λ ≥ 0 : µf(λ) ≤ x}.
Let f∗∗ be defined by
f∗∗(x) = Hf∗(x) = 1 x
Zx
0
f∗(s)ds.
Observe that if f is a decreasing nonnegative function we have almost every- where; f∗ = f and f∗∗= Hf . Hence, f∗∗− f∗ = (H − I)f almost everywhere in this case.
The following equivalence in Lorentz Lp,q-spaces is proved in [11, Proposition 7.12] :
kfkLp,q :=
Z∞
0
x1/pf∗(x)qdx x
1/q
≈
Z∞
0
x1/p(f∗∗(x) − f∗(x)q dx x
1/q
(4.1) where f ∈ Lp,q, f∗∗(∞) = lim
x→∞f∗∗(x) = 0, 1 < p < ∞ and 1 ≤ q ≤ ∞. Note that when q = p in (4.1) above we achieve the Lp-norm of f∗and f∗∗− f∗and if f , in addition, is a decreasing nonnegative function we have the equivalence
Z∞
0
(f (x))pdx
1/p
≈
Z∞
0
((H − I)f(x))pdx
1/p
. (4.2)
We will next consider the case q = p and search for a sharp estimate in (4.2) above.
Now, f is a decreasing nonnegative function and we therefore restrict our investigation to the following subset of Lp(0, ∞):
Definition 4.3 Cp= {f ∈ Lp(0, ∞) : f is a decreasing nonnegative function}.
We also define the operator norm of H − I on Cp: Definition 4.4 kH − IkCp= sup
f ∈Cp,kfkLp=1k(H − I)fkLp.
Note that determine kH − IkCp is equal to derive a sharp estimate in (4.2).
We will next give an expression for the operator norm kH − IkCp,
p ∈ {2, 3, 4, ...}. To get a nice survey of the result we start with the case p = 3.
Theorem 4.1 kH − IkC3 = √31
2.
Proof. With the fact that f ∈ C3 we know that there exists a simple function g such that kf − gkL3 < ε, ∀ε > 0, because simple functions are dense in L3(0, ∞). Thus, it suffices to consider the case of simple functions which on C3 can be written as
g(x) = Xn i=1
ciχ(0,ai)(x), ci≥ 0, i = 1, 2, ..., n, 0 < a1< a2< ... < an. (4.3)
Straightforward calculations gives
(H − I)g(x) =
0 , 0 < x < a1 c1a1
x , a1< x < a2 c1a1+c2a2
x , a2< x < a3
... ...
c1a1+c2a2+...+cnan
x , an< x.
Let us calculate the norm of g :
kgk3L3 = Z∞
0
|g(x)|3dx =
= (c1+ c2+ ... + cn)3a1+ (c2+ c3+ ... + cn)3(a2− a1) + ... + +(cn−1+ cn)3(an− an−1) + c3n(an− an−1). (4.4) Similary, the norm of √3
2(H − I)g :
√3
2(H − I)f
3 L3 =
Z∞
0
√3
2(H − I)f(x)
3
dx =
= c31a31( 1 a21 − 1
a22) + (c1a1+ c2a2)3(1 a22 − 1
a23) + ... + +(c1a1+ c2a2+ ... + cn−1an−1)3( 1
a2n−1 − 1 a2n) + +(c1a1+ c2a2+ ... + cn−1an−1+ cnan)3 1
a2n (4.5) We interpret kgk3L3 and √3
2(H − I)g 3L3 as polynomials in ci. To make a comparison of kgk3L3 and √3
2(H − I)g 3L3 we then simply compare the coeffi- cients for different powers of ci:
kgk3L3
√3
2(H − I)g 3
L3
c3i : ai ai
c2icj, i < j : 3ai 3aa2ij cic2j, i < j : 3ai 3ai
cicjck, i < j < k : 6ai 6aaiakj
To obtain these coefficients we use the multinomial theorem and note that in the case of kgk3L3only the last term in (4.4) with the presence of cigives a contri- bution to the coefficient of the considered power. In the case of √3
2(H − I)g 3
L3
only the first term in (4.5) with the presence of cj or ck gives a contribution to the coefficient of the considered power.
We see that the coefficients for c2icj and cicjck differ between kgk3L3 and √3
2(H − I)g 3L3. For c2icj we have a2i aj
< ai
because 0 < ai< aj and for cicjck the inequality aiaj
ak < ai
is true because 0 < aj < ak. Hence, all coefficients for kgk3L3are bigger or equal than those for √3
2(H − I)g 3
L3. This gives the inequality k(H − I)gkL3 ≤ 1
√3
2kgkL3
where g is of the form (4.3). The fact that simple functions are dense in L3(0, ∞) gives that this result is true for a general function f ∈ C3. Further, an easy
calculation shows that the case of equality is obtained when g(x) = χ(0,a). We therefore have
kH − IkC3 = 1
√3
2.
For a general integer p ≥ 2 the calculations become more involving but in principle the same method as in Theorem 4.1 could be applied to prove the following result:
Corollary 4.1 kH − IkCp=(p−1)11/p , p ∈ {2, 3, 4, ...}.
Proof. Simple functions are dense in Lp(0, ∞). In analogy with Theorem 4.1 it suffices to consider simple functions which in Cp can be written in the form:
g(x) = Xn i=1
ciχ(0,ai)(x), ci≥ 0, i = 1, 2, ..., n, 0 < a1< a2< ... < an. (4.6) The calculations are in principle the same as in Theorem 4.1 and the ob- servations about the contributions to the coefficients are valid also in this case.
In short we obtain the following coefficients for a general term cji11cji22...cjimm in the polynomials kgkpLpand
(p − 1)1/p(H − I)g p
Lp with use of the multinomial theorem
kgkpLp
(p − 1)1/p(H − I)g
p
Lp
cji11cji22...cijmm: j1!j2p!!...jm!ai1
p!
j1!j2!...jm!
aj1i1aj2i2...ajmim ap−1im
where i1< i2< ... < im, j1+ j2+ ... + jm= p, j1> 0 and j2, j3,..., jm≥ 0.
cji11cji22...cjimm accounts for all possible terms in the polynomials kgkpLp and
(p − 1)1/p(H − I)g
p
Lp because i1, i2,..., im, j1, j2,..., jm and m are chosen arbitrary.
We see that
aji11aji22...ajimm ap−1im ≤ ai1
for all possible choices of i1, i2,..., im, j1, j2,..., jmand m.
This gives the inequality
k(H − I)gkLp≤ 1
(p − 1)1/pkgkLp
where g is of the form (4.6). Simple functions are dense in Lp(0, ∞) and the case of equality is obtained when g(x) = χ(0,a). Altogether this gives the result
kH − IkCp= 1
(p − 1)1/p, p ∈ {2, 3, 4, ...}.
With the result of Corollary 4.1 we have derived a sharp estimate in the equivalence (4.1) when f ∈ Cp and q = p ∈ {2, 3, 4, ...}.
The restriction to functions in Cp, or more precisely that the function is decreasing on (0, ∞), is essential for the estimate
k(H − I)fkLp≤ 1
(p − 1)1/pkfkLp
to be true. We illustrate with a counterexample:
Example 4.1 Let f (x) = χ(1,3/2). This function is not decreasing on (0, ∞).
Straightforward calculations gives:
1
√3
2kfkL3= √31
4 and k(H − I)fkL3 =q3
11 36
Hence, k(H − I)fkL3> √31
2kfkL3.
We proceed with an estimate for the inverse operator (H − I)−1. This operator is, see [12] for derivation, the following:
(H − I)−1f (x) = Z∞
x
f (s)
s ds − f(x).
Let us introduce the subset eCp ⊂ Lp(0, ∞) defined by Definition 4.5
Cep= {f ∈ Lp(0, ∞) : xf(x) is an increasing nonnegative function}.
In analogy with Cp we define the operator norm of (H − I)−1 on eCp: Definition 4.6
(H − I)−1 Cep= sup
f ∈ eCp,kfkLp=1
(H − I)−1f Lp.
From [8] we know that H − I is an unitary operator on L2(0, ∞). Hence, (H − I)∗ = (H − I)−1 where (H − I)∗ is the adjoint operator.
Also, the theorem below is implicitly used in our proof of the main result for
(H − I)−1 e
Cp:
Theorem 4.2 Let f ∈ Lp(a, b), −∞ < a < b < ∞, q = p−1p , 1 < p < ∞.
Then there exists a function g ∈ Lq(a, b) such that
kfkLp= sup
kgkLq=1
Zb
a
f (x)g(x)dx
The proof can be found in a textbook in functional analysis, e.g. in [13, pp.
144-145].
Now to our main result for
(H − I)−1 e
Cp: Theorem 4.3
(H − I)−1 Cep = (q−1)q−1q , where q = p−1p and p ∈ {2, 3, 4, ...}.
Proof. First we construct a function g that fulfills the requirements in Theorem 4.2 and use the fact that (H − I)∗ = (H − I)−1.
Let us consider g(x) = λ
(H − I)−1f (x)q−1sgn((H − I)−1f (x))
where λ is a real constant, sgn is the signum function and f ∈ eCq. Some calculations gives
λ =
Z∞
0
(H − I)−1f (x)qdx
−1/p
in order to fulfill kgkLp= 1.
Next, we verify that
∞R
0((H − I)−1f (x))g(x)dx =
(H − I)−1f Lq :
R∞
0((H − I)−1f (x))g(x)dx =
= λ∞R
0((H − I)−1f (x))
(H − I)−1f (x))q−1sgn((H − I)−1f (x)) dx =
=
∞R
0
(H − I)−1f (x)qdx
1/q
=
(H − I)−1f
Lq. We now show that g ∈ Cp where p =q−1q .
1) g ∈ Lp(0, ∞) which follows immediately from the definition of g.
2)
(H − I)−1f (x) = Z∞
x
f (s)
s ds − f(x) = Z∞
x
sf (s)
s2 ds − f(x) ≥
≥ xf(x) Z∞
x
1
s2ds − f(x) = 0
where we use the fact that f ∈ eCq. Moreover, (H − I)−1f (x) ≥ 0 implies g(x) ≥ 0.
3) Let 0 < x1< x2.
(H − I)−1f (x1) = Z∞
x1
f (s)
s ds − f(x1) =
x2
Z
x1
f (s) s ds +
Z∞
x2
f (s)
s ds − f(x1) =
=
x2
Z
x1
sf (s) s2 ds +
Z∞
x2
f (s)
s ds − f(x1) ≥
≥ x1f (x1)
x2
Z
x1
1 s2ds +
Z∞
x2
f (s)
s ds − f(x1) =
= −x1 x2
f (x1) + Z∞
x2
f (s)
s ds ≥ −f(x2) + Z∞
x2
f (s) s ds =
= (H − I)−1f (x2)
where we use the fact that f ∈ eCq. Hence, (H − I)−1f is a decreasing function on (0, ∞) which gives that g is a decreasing function on (0, ∞).
Altogether 1), 2) and 3) gives that g ∈ Cp.
Next, it follows by use of the definition of an adjoint operator, H¨older’s inequality and Corollary 4.1:
(H − I)−1f
Lq = Z∞
0
((H − I)−1f (x))g(x)dx = Z∞
0
f (x)((H − I)g(x))dx ≤
≤
Z∞
0
((H − I)g(x))pdx
1/p
Z∞
0
(f (x))qdx
1/q
=
= k(H − I)gkLpkfkLq ≤ 1
(p − 1)1/pkgkLpkfkLq =
= 1
(p − 1)1/p kfkLq = (q − 1)q−1q kfkLq, ∀f ∈ eCq. We note, by straightforward calculations, that we have equality above when
f (x) = 1
xχ(a,∞) ∈ eCq
and therefore
(H − I)−1 Ceq = (q − 1)q−1q .
4.2 Further estimates of H − I and (H − I)
−1We proceed with a lemma:
Lemma 4.1 H − I is a bijective mapping between Cp and eCp for p > 1.
Proof. We investigate the properties for (H −I)−1f where f is an arbitrary function in eCp. In Theorem 4.3 it was derived that (H − I)−1f is a decreasing and nonnegative function on (0, ∞). Let us now show that
(H − I)−1f ∈ Lp(0, ∞) which then implies (H − I)−1f ∈ Cp. With the use of Minkowski’s inequality and the inequality;
Z∞
0
Z∞
x
f (s) s ds
p
dx ≤ pp Z∞
0
|f(x)|pdx,
see [14, p. 244] for derivation, we get
(H − I)−1f
Lp =
Z∞
0
Z∞
x
f (s)
s ds − f(x)
p
dx
1/p
≤
Z∞
0
Z∞
x
f (s) s ds
p
dx
1/p
+
Z∞
0
|f(x)|pdx
1/p
≤ p
Z∞
0
|f(x)|pdx
1/p
+
Z∞
0
|f(x)|pdx
1/p
= (p + 1)
Z∞
0
|f(x)|pdx
1/p
= (p + 1) kfkLp
Hence, (H − I)−1f ∈ Lp(0, ∞). Together with the results in Theorem 4.3 this gives that (H − I)−1f ∈ Cp. Let g(x) = (H − I)−1f (x). This relation can be written as (H − I)g(x) = f(x). Now f was chosen arbitrary, thus H − I maps Cp onto eCp. The injective property follows from the existence of the inverse operator and H − I is therefore a bijective mapping between Cp and eCp.
Now to some consequences of Lemma 4.1.
Corollary 4.2 Let f ∈ eCp and p ∈ {2, 3, 4, ...}.
Then
(H − I)−1f
Lp≥ (p − 1)1/pkfkLp. Proof. We recall Corollary 4.1 which stated
k(H − I)kCp= 1
(p − 1)1/p, p ∈ {2, 3, 4, ...},
or
k(H − I)gkLp≤ 1
(p − 1)1/p kgkLp, ∀g ∈ Cp, p ∈ {2, 3, 4, ...}. (4.7) From Lemma 4.1 we know that H − I is a bijection between Cp and eCp. Let (H − I)g = f in (4.7) above. We arrive at the inequality
(p − 1)1/pkfkLp≤
(H − I)−1f
Lp, ∀f ∈ eCp, p ∈ {2, 3, 4, ...}.
and the corollary is proved.
Also, with Lemma 4.1 we can derive the following result:
Corollary 4.3 Let f ∈ Cq where q = p−1p and p ∈ {2, 3, 4, ...}.
Then kfkLq ≤ (q − 1)q−1q k(H − I)fkLq. Proof. From Theorem 4.3 above we have
(H − I)−1g
Lq ≤ (q − 1)q−1q kgkLq, ∀g ∈ eCq. (4.8) Because H − I is a bijective mapping between Cq and eCq by Lemma 4.1 we can write (4.8) in terms of:
kfkLq ≤ (q − 1)q−1q k(H − I)fkLq, ∀f ∈ Cq . The proof is complete.
Corollary 4.1 is proved for integers bigger or equal than 2. The question is if this result is true for all real numbers p ≥ 2. This leads us to
Conjecture 4.1 kH − IkCp= 1
(p−1)1/p, p ≥ 2.
The conjecture gives the following generalizations of the results above:
Remark 4.1 If Conjecture 4.1 is true, then we have the following generaliza- tion of Theorem 4.3:
(H − I)−1 Cep= (q − 1)q−1q where 1 < q ≤ 2.
Remark 4.2 If Conjecture 4.1 is true, then we have the following generaliza- tion of Corollary 4.2:
Let f ∈ eCp, p ≥ 2. Then
(H − I)−1f
Lp≥ (p − 1)1/pkfkLp.
Remark 4.3 If Conjecture 4.1 is true, then we have the following generaliza- tion of Corollary 4.3:
Let f ∈ Cq where 1 < q ≤ 2. Then kfkLq≤ (q − 1)q−1q k(H − I)fkLq.