Collect. Math.

DOI 10.1007/s13348-013-0086-3

Inequalities for the truncated Hilbert transform and the segment multiplier

Adam Osekowski

Received: 18 November 2012 / Accepted: 13 May 2013

© The Author(s) 2013. This article is published with open access at Springerlink.com

Abstract The paper is devoted to the study of LlogL inequalities and other related bounds for two classical operators on the real line: the truncated Hilbert transform and the segment multiplier. Using duality, these estimates are deduced from corresponding sharp exponential-type bounds, the proofs of which rest on the construction of appropriate harmonic functions on the strip [-1, 1] x R and transference-type arguments.

Keywords Hilbert transform • Truncated Hilbert transform • Segment multiplier • LlogL inequality • Best constants

Mathematics Subject Classification (2000) 42B10 • 31H05

1 Introduction

Our motivation comes from the question concerning logarithmic estimates for some classical Fourier multipliers on the real line. However, to introduce the background and indicate the connections with other celebrated results from the literature, we start with the periodic setting. Suppose that f (Z) = XneZ f (n)Zn is a complex-valued integrable function defined on the unit circle T = {Z e C : | | = 1}. Here the symbol f (n) = ¿ f (ei0)e-in0d0 denotes the n-th Fourier coefficient of f. For a given p > 1, let Hp (T, C), the Hardy space, consist of all f e Lp (T, C) satisfying f(n) = 0 for n < 0. Then Hp (T, C) is a closed subspace of Lp (T, C) and can be identified with the class of analytic functions on the unit disc D. The Riesz projection (or analytic projection) P+ : Lp (T, C) ^ Hp (T, C), is the operator given by the formula

A. Os§kowski (B)

Faculty of Mathematics, Informatics and Mechanics, University of Warsaw, Banacha 2, 02-097 Warsaw, Poland e-mail: ados@mimuw.edu.pl

Published online: 31 May 2013

1 Springer

P+ f (Z) = f+(Z) = X f(n)Zn, Z e T.

The complementary operator P— = I — P+ is called the co-analytic projection. These two operators are strictly connected to another classical object, the Hilbert transform (conjugate function) on the unit circle, which is defined by

HT f (Z) = —i X sgn(n) f(n)Zn, Z e T.

Here sgn(n) = n/|n | for n = 0 and sgn(0) = 0. An alternative definition of HT is by the use of the singular integral

HT f (e") = p-v-/ f (e")cot9-—T dt. (!)

A fundamental result of Riesz [19] asserts that the operator P+ (equivalently, the Hilbert transform HT) is bounded on Lp (T, C) for 1 < p < ro. The question about the precise value of the norms of these operators has gathered a lot of interest in the literature. Gohberg and Krupnik [9] determined the norm of the Hilbert transform for p = 2k, k = 1, 2,.... Namely, we have

I|Ht||lp (j,C)^LP (t,c) = cot(n/(2 p)).

For the remaining p's, the norms of HT acting on real Lp spaces were found by Pichorides [18] and, independently, by Cole (unpublished; consult Gamelin [8]):

I|Ht||lp (t,V)^lp (T,R) = cot(n/(2 p*)),

where p* = max{p, p/(p — 1)}. See also Essen [5] and Verbitsky [21]. These norms do not change while passing to the complex Lp spaces (see e.g. Pelczynski [17]):

I|Ht||lp(t,C)^lp(T,C) = cot(n/(2p*)), 1 < p < ro.

For the Riesz projection, Hollenbeck and Verbitsky [11] (see also [12]) proved that

IIP±IIlp(t,c)^lp(T,C) = csc(n/p), 1 < p < ro.

The above facts have their non-periodic counterparts. For a given f : R ^ C, let

f ($) = J f (x)e—2ndx, $ e R,

denote the Fourier transform of f. Then the non-periodic analytic and co-analytic projections PR, P—and Hilbert transform HR on the line are given by

P+ f (x) = J f($)X[0,ro)($)e2n lx$ PR f (x) = J f ($)x(—ro,0]($)e2n lx$ d$

HR f (x) = — i J f ($) (—X(—ro,0] + X[0,ro)($)) e2nx d$.

Using the standard argument known as "blowing up the circle", which is due to Zygmund ([22], Chapter XVI, Theorem 3.8), it can be shown that the corresponding Lp norms of these operators are the same as in the periodic setting.

We will be interested in related Fourier multipliers on the line: the so-called truncated Hilbert transform Hr and the segment multiplier S[a^]; here r is an arbitrary positive number and [a, b]c R is a given subinterval. The formal definition of these operators is as follows: for any function f on R and any x e R,

Hrf (x) = -i J (-X(-ro,-r )(f) + X(r,ro)(f)) f(f)e2n x df

S[a,b] f (x) = J f (f)X[a,b]e2niX df.

The action of these operators on Lp spaces were studied by De Carli and Laeng in [3] and [4]. One can find there the proofs of the identities

||Hr IIlp (T,R)^Lp(T,R) = I |S[a,b] || LP (T,R)^Lp (T,R) = cot(n/(2 p*)) (2)

for 1 < p < ro; moreover, it was shown that the norms are the same on complex Lp spaces. We will be interested in obtaining an appropriate version of this result for p = 1. Neither of Hr and S[a,b] is bounded on Ll(T, R), but, as usual, we can inspect the corresponding localized LlogL estimate (cf. [10]). Let us formulate this bound in a more general context. Suppose that * : [0, ro) ^ [0, ro) is a given nondecreasing convex function (for example, *(x) = Kxlog+x or *(x) = K ((x + 1)log(x + 1) — x), where K > 0 is a fixed number). There is a question about a constant L = L^ depending only on ^ such that for any Borel function f : R ^ C and any set A c R,

J IHrf (x)| dx <y *(|f (x)|) dx + L* • |A|. (3)

Analogous problem can be posed for S[a,b]. As with any inequality of this type, the following two questions can be asked:

1° For which * there is an absolute finite L* such that (3) holds? 2° For * as in 1°, what is the optimal (least possible) value of L*? We study these questions in a much wider, vector-valued case. Consider the Hilbert space ¿C with norm | • | and scalar product (•, •). Then Hr and S[a,b] can be extended to the operators acting on ¿C-valued functions. Indeed, we may define them coordinatewise, or simply note that the previous definitions make sense in this new setting.

Throughout, C will be the class of all convex and strictly increasing functions ® : [0, ro) ^ [0, ro) such that

(i) ® is continuously differentiable on (0, ro),

(ii) is convex on (0, ro),

(iii) ®(0) = ®'(0+) = 0.

Examples: ®(t) = tp for p > 2; ® (t) = el - 1 - t. Next, C* will stand for the dual of C in the sense of Cramer transform. That is, * : [0, ro) ^ [0, ro) belongs to C* if and only if there is ® e C such that

*(s) = ®*(s) := sup{ts - ®(t) : t > 0} for s > 0.

The main results of the paper can be stated as follows. Theorem 1.1 Let r > 0 be fixed and ^ = be a given element of C*. Then for any Borel

function f : R ^ ¿C and any Borel subset A of R we have

J \Hrf (x)| dx < J *(|f (x)|) dx + C(®) • |A|, (4)

i 7 m dnlog|r|i)

C(®) = -/ ";dr. (5)

n J r2 + 1

For any r and ^, the constant C (®) is the best possible.

Theorem 1.2 Let [a, b] C R and ^ = be a given element of C*. Then for any Borel function f : R ^ ¿C and any Borel subset A of R we have

J S[a,b] f (x)| dx <y ¥(| f (x)|) dx + Cm • |A|, (6)

where C (®) is given by (5).

A few remarks are in order. First, we do not know whether the constant C (®) in (6) is the best possible, but we will present some lower bounds for this constant in Sect. 4 below. Next, straightforward limiting arguments (put b = 0 and let a ^ —7, or put a = 0 and let b ^ 7, and use Fatou's lemma) imply that (6) holds for the operators P® as well. The final remark concerns some exemplary choices for ^:

(i) We start with the natural choice ^(t) = tlog+t. Unfortunately, this function is not in C*; in fact, neither of the inequalities (4), (6) holds with some finite C. Indeed, otherwise Hr or S[a,b] would send functions bounded by 1 to bounded functions, which is false (because it is not true for HR and PR).

(ii) One of the right choices for the LlogL functions is given by the formula ^(x) = K ((x + 1) log(x + 1) — x) for a fixed K > 0. Then ^ = where ® e C is defined by

m(t) = K {et/K — 1 — t/K^J , t > 0,

and, directly from (5), we see that C (®) < 7 if and only if K > 2/n.

(iii) There is a different choice for a LlogL function. If we pick K > 0 and put ®(t) = K(cosh(t/K) — 1), then some straightforward computations give

) = m*(t) = K [t arcsinh t — Vt2 + 1 + 1]

and, as previously, C (®) < 7 if and only if K > 2/n.

(iv) Lastly, we mention here another application of the above results. Let ^ (t) = tp be a power function, 1 < p < 2. Then ^ = where ®(t) = tq, 2 < q < 7, and the bounds (4), (6) lead to weak-type estimates for Hr and S[a,b]. To see this, apply (4) to cf (where c is a given positive parameter) and optimize over c to get

i Hrf {x )| dx

| A | 1— 1/ p

(p — P)1—1/pC (m)1—1/p w f w p

It remains to note that the left-hand side defines a norm on the space Lp,ro (cf. [10]).

We would like to point out here that various versions of (4) and (6) concerning Hilbert transform and (co-)analytic projection, as well as other related operators, have been studied in depth in the literature. We refer the interested reader to the papers by Bennett [1], Essen, Shea and Stanton [6,7], Laeng [13], O'Neil and Weiss [14], the author [15,16], Pichorides [18], Zygmund [22] and references therein.

A few words about our approach and the organization of the paper. The key object is a family of certain special harmonic functions on the strip [-1, 1]x R. These functions enable us to establish a novel ^-estimate for the Hilbert transform when restricted to bounded functions. This inequality is proved in Sect. 2. In Sect. 3 we combine this bound with some duality arguments to deduce the estimates of Theorems 1.1 and 1.2. The final part of the paper is devoted to the sharpness: we provide lower bounds for the constants C(®) in (4) and (6).

2 Sharp ^-estimates for the Hilbert transform

We start this section with a well-known fact from complex analysis (see e.g. Theorem4.13 in [20]), which will be needed in our further considerations. For z = (z1, z2, ■■■) e ¿C,wedefine the conjugation by z = (z1 z2,..); then, for any w, z e ¿C, we have (w, z) = wjzj.

Theorem 2.1 Suppose that D is a given subdomain of C and let D' = {(w, z) e ¿C x ¿C : (w, z) e D}. If 0 : D ^ R is harmonic, then U : D' ^ R given by U(w, z) = 0((w, z)) is pluriharmonic.

It will be convenient to work with the following family of special functions. For any t > 0 let ' : R+ ^ R+ be given by ^ (s) = (max{s - t, 0})2. It is easy to see that these are precisely the extremal elements of the class C (see the identity (19) below).

Now we turn to the introduction of the main object in this paper, a certain class {V(t^>0 of special harmonic functions. Let H = {(x, y) : y > 0} denote the upper half-space and let S = {(x, y) e R2 : |x| < 1} stand for the vertical strip in R2. Fix t > 0 and define V(t} : H ^ R by the formula

V»W) = 1/ dr - C(.»). (7)

n J (a - r)2 + p2

The constant C(®(t)) [see (5)] guarantees that V(t)(0, 1) = 0. As a Poisson integral, V(t^ is a harmonic function on H; furthermore, it has the following behavior at the lower boundary of the halfplane:

lim V(t }(a,ß) = ®(t M I -log |r |l) - C (®(t(8)

(a,ß)^(r,0) VI n \J

Consider a conformal map 0(z) = i exp(-inz/2), or, in real coordinates,

0(x, y) = (eny/2sin(nx/2), eny/2cos(nx/2)) . We easily check that this function maps S onto H. Finally, introduce V(t) : S ^ R by

V (t)(x, y) =

®(t)(|y|) - C(®(t)) if |x| = 1, V(t)($(x, y)) if |x | < 1.

It is not difficult to verify that for (x, y) e S,

(t) 1 i cos(2x) )(n21°g |s| + y) (,)

V(t)(x, y) = - / -V22 > V \ ds - C(®(t)). (9)

n J s2 - 2s sin 2x) + 1

-TO V2 '

The function V(t) is harmonic on S, as a composition of a harmonic function with a conformal mapping. Therefore, it can be expressed as a real part of a certain holomorphic function G(t):

V(t) = Re G(t \ (10)

Moreover, by (8), V(t) is a continuous function on the closure of S. It satisfies the symmetry condition

V(t)(x, y) = V(t)(x, -y) = V(t)(-x, y) for all (x, y) e S. (11)

Indeed, this can be rewritten in the equivalent form

v(t)(a, p) = v(t)(-a, p) = v(t) (-2^2, -ot) '

\a2+p2 a2 +p2/

which can be verified by substitution r := -r and r := 1/r in (7).

In the lemma below, we study further properties of V(t), to be needed later.

Lemma 2.2 (i) We have V(t) (x, 0) < 0 for all x e[-1, 1].

(ii) Ifx e (-1, 1) and y > 0, then V$y(x, y) > 0.

(iii) Ifx e [0, 1) and y > 0, then yV(t) (x, y) + xV() (x, y) < 0.

(iv) For each t > 0 there are a0, a\, a2,... e C such that the holomorphic function G(t) given by (10) satisfies G(t) (z) = XTO0 anz2n for all z e S.

Proof (i) Since ®(t' is convex, (9) implies that for a fixed x e [-1, 1], the function V(t)(x, ■) is also convex. Hence, by the harmonicity of V(t), we have V^x < 0 on S and it remains to apply (11) to get V(t)(x, 0) < V(t)(0, 0) = V(t)(0, 1) = 0. (ii) We have

V (t)(x y) = L i cos(2 x )(&'))' (12log |s| + y|) sgn (^og \s\+y) ds y ' n -L (s - sin (§x))2 + cos2 (f x)

Therefore, for e e (0, y) we have

2V(t) (x, y) - V(t) (x, y-e) - V(t) (x, y+e) = 1 J ^di^ft^I^ ds = /, ' ' * n -L (s - sin (§x))2 + cos2 (§x) '

fy,e(h) = 2(®(t))'(|y + h|)sgn( y + h)

-(®(t))'(|y - e + h|)sgn(y - e + h) - (®(t))'(|y + e + h|)sgn(y + e + h).

The expression /, after splitting it into integrals over the nonpositive and nonnegative halfline, and substitution s = ±er, can be rewritten in the form

1 = U f-(§r)gx (r) dr

cos(n x)er cos(jx)er

gx (r) = ---h

<5 V' > , r . \2 ,___2i n „\ 1

(er - sin(§x))2 + cos2(f x) (er + sin(§x))2 + cos2(nx)'

Observe that fy,e(h) < 0 for h > -y and that we have fy,e(-y + h) = -fy,e(-y - h) for all h. Furthermore, gx is even and, for r > 0,

cos(nx)er (1 - er) cos(f x)er (1 - er)

-2--1--2- <

[(er - sin(§x))2 + cos2(§x)]2 [(er + sin(§x))2 + cos2(f x)]2 "

This implies I < 0 and, since e e (0, x) was arbitrary, the function y ^ V(^ (x, y) is convex on (0, ro).

(iii) First note that

V(y < 0 for x e [0, 1), y > 0. (12)

Indeed, by (11), we have V(t}(0, y) = 0 for any y e R; this implies V^ (0, y) = 0 for all y. Furthermore, by (ii) and the fact that V(t) is harmonic, we have = -V^y < 0 on [0, 1) x [0, ro) and hence (12) follows. Next, fix y > 0 and let F (x) = yV(t) (x, y) + xV(\x, y), x e [0, 1).Since F (0) = 0, we will be done if we show that F is nonincreasing. Using the harmonicity of V(t), we get

F'(.x) = yV«x)(x, y) + V(\x, y) + xV^^x, y)

= (-yVyy(x, y) + V(Hx, y)) + xV$(x, y) < 0,

in virtue of (12) and (ii).

(iv) By (11), the partial derivatives of V(t) of odd order vanish at (0, 0) and hence so do those of ImG(t\ by Cauchy-Riemann equations. This implies (G(t))(2«+D(0) = 0 and the claim follows. □

Consider the region D = {z e C : |2Rez1/21 < 1}.

Lemma 2.3 The function z ^ V(t)(2z1/2), z e D, is harmonic.

Proof First notice that the function is well defined: in view of (11) it does not matter which square root of z we take. The assertion is an immediate consequence of Lemma 2.2(iv): the function z ^ G(f) (2z1/2) is holomorphic and hence its real part is harmonic. □

For a given t > 0, let W(t> : {(w, z) e ¿C x ¿C : |w + z| < 1} ^ R be defined by the formula W(t^(w, z) = V(t\2((w, z))1/2). The definition makes sense, in view of the following simple fact.

Lemma 2.4 For any w, z e ¿C we have

2|Re((w, z))1/21 <|w + z| and 2|Im((w, z))1/2| < |w - z|. (13)

Proof It suffices to establish the first estimate; the second follows by the substitution -z in the place of z. We have

|w + z|2 = (w + z) ■ (w + z)

= |w|2 + |z|2 + 2Re«w, z)) > 2|w ■ z| + 2Re«w,z))

= [((w, z))1/2 + ((w, z))1/2f

= (2Re((w, z))1/2)2.

The proof is complete. □

Lemma 2.5 We have V(t)(x, y) > ®(t)(|y|) - C(0(t))|x| onS.

Proof We have decided to split the reasoning into two parts.

Step 1. We will show the pointwise estimate

®(t)(\a + b|) + ®(t)(\a - b|) > 2®(t)(|a|) + 2®(t)(|b|) (14)

for any t > 0 and any a, b e R. By symmetry, we may assume that |a| > |b| and, replacing a, b by -a and - b if necessary, we may restrict ourselves to nonnegative a and b.We consider four cases. Suppose first that a - b > t and b > t. Then the inequality takes the form

(a + b - t)2 + (a - b - t)2 > 2(a - t)2 + 2(b - t)2,

or 2b > t. This is clearly true, because of the assumption on b we have just imposed. If a - b > t, but b < t, then (14) is equivalent to 2b2 > 0. Next, suppose that a - b < t and b > t. Then (14) can be rewritten in the form 2at + 2bt > 3t2 + (a - b)2. But

2(a + b)t > 4bt > 4t2 > 3t2 + (a - b)2,

as desired. Finally, assume that both a - b and b are smaller than t .If a < t, then the right-hand side of (14) vanishes and there is nothing to prove; otherwise, the estimate takes the form (a + b - t)2 > 2(a - t)2. But this is evident: we have a - b < t, so b > a - t and a + b - t > 2(a - t).

Step 2. We turn to the assertion of the lemma. By (11), it suffices to establish the majoriza-tion for x e [0, 1]. In fact, we will be done if we do this for x e {0, 1} (the left-hand side is a concave function of x, while the right-hand side is linear in x). If x = 1, then both sides are equal. To deal with the case x = 0, we apply (14) to get

®(t) ^|n2 log |s| + y|) + ®(t) (12 log |s|-y|) > |-2 log |s+ 2®(t)(|y|).

Multiply both sides by (n(s2 + 1))-1 and integrate over R with respect to the variable s to obtain

[V(t)(0, y) + C(®(t))] + [V(t)(0, -y) + C(®(t))] > 2 [V(t)(0, 0) + C(®(t))^ + 2®(t)(|y|).

Combining this with (11) and the equality V(t)(0, 0) = 0, we get the desired majorization on the y-axis. □

Lemma 2.6 For any w, z e ¿C such that |w + z| < 1, we have

W(t)(w, z) > ®(t)(|w - z|) - C(Q(t))|w + z|. (15)

Proof Fix s e R and consider the function Fs (x) = V(t) (Vx2 + s, x), defined for nonnegative x satisfying x2 + s > 0. By Lemma2.2(iii), this function is nonincreasing: indeed, we have

F's(x) = ^ x V(^Vx2 + s, x) + V(t^Vx2 + s, x) < 0.

Therefore, by the previous lemma and (13),

®(t)(|w - z\/K) - C(Q(t>)|w + z|

< V(t)(|w + z|,\w - z|) = F|w+z|2-|w-z|2(|w - z|)

< F|w+z|2-|w-z|2(2|Im({w, z»1/2|) = V(t)(2({w, z))1/2), where the latter follows from the definition of F|w+z|2_|w-z|2 and the identity

(2|Re({w, z))1/2|)2 + |w - z|2 |w + z|2 = (2|Im({w, z))1/2|)2.

We are ready to establish the ^-inequality for the Hilbert transform. First we prove it for the special functions ®(t).

Theorem 2.7 For any t > 0 and any function g on R taking values in the unit ball of ¿C> we have

J ®(t\\HKg(x)|) dx < C(®(t))||g||i1(Ri£2). (16)

Proof We begin by showing an analogous statement in the periodic setting. Let f be a

Borel function on T taking values in the unit ball of ¿C and let f+, f- denote the harmonic

extensions of P+ f - \ f (0) and P- f + 1 f (0) to the unit disc D. By Theorem2.1, the function W(t) is pluriharmonic and thus W(t)(f+, f-) is harmonic on D (note that | f | = | f+ + f-| < 1 guarantees that W(t) (f+, f-) is well defined). Apply the mean-value property and Lemma 2.2(i) to get

¿/ W(t)(f+(Z), f-(Z)) dZ = W(t) (1 f (0), f)^ = V(t) (| fm, 0) < 0.

Combine this with (15) to obtain

f ®(t)WT f (Z)|) dZ < C(Q^U f W^T^y (17)

Let us turn to (16), the nonperiodic version of the above estimate. Pick an -^-valued function g = (g1, g2, ...) on the line and let uj = Re gj, vj = Imgj, j = 1, 2,.... Introduce the functions hn = (hi, h2, ...), kn = (k\, kk2,...) by

n' n •

1i x — t hn (x) = -— u (t) cot — dt, 2n n J 2n

—n n n n

1 f x — t kn (x) = -— v■> (t) cot — dt, 2n n J 2n

—n n

for j, n > 1. As shown by Zygmund [22], for any fixed j we have hn ^ HRuj and kl ^ HKvj a.e. as n ^ ro. On the other hand, the function x ^ hn (nx) + ik{ (nx) is precisely the periodic Hilbert transform of the function x ^ gj (nx), |x | < n [see (1)]. Therefore, by (17),

J ®(t)(lhn(x) + ikn(x)|) dx = nj ®(t)(HTg(nx)) dx

-nn -n

< nC(®(t)) J lg(nx)| dx

- n n n

= C(®(t">) i lg(x)| dx.

It remains to let n ^ ro to obtain (16), in view of Lebesgue's monotone convergence theorem. □

Now we extend the estimate (16) to the class C (see Sect. 1). Namely, we will prove the following fact.

Theorem 2.8 Assume that ® e C. Then for any function g on R taking values in the unit ball of ¿C, we have

j 0(|HRg(x)|) dx < C(®)llgllL1(R,£C). (18)

Proof Let / be the unique nonnegative measure on R+ satisfying /¿((a, b]) = (b) - (a) for all 0 < a < b. Here stands for the right-hand derivative of the convex function Integrating by parts, we get the identity

tro (0)t2 1 f 2 (0) (0) 1 f ®(t) = + 2 + (s - t)2d//(s) = ^^®(0)(t) + ®(s)(t) d//(s). (19)

00 Thus the claim follows from (16) and Fubini's theorem:

J 0(|HRg(x)|) dx

(0) f 1 if = ^^ J ®(0)(|HRg(x)|) dx + J ®(s)(lHRg(x)l) dxd//(s)

®"(0+) 0 1 { s

C(®°) + C(®(s)) d/(s) = crn.

The proof is finished. □

We conclude this section by saying that both (16) and (18) are sharp. This will be shown in Sect. 4 below.

—n n

3 Estimates for the truncated Hilbert transform and the segment multiplier

In this section we will show how to deduce the inequalities (4) and (6) from the results presented in Sect. 2. In fact, we will first establish appropriate versions of (18) for Hr and S[a,b], and then proceed using duality arguments. We start from several simple observations.

linear operator Ms by

First, assume that f is a function on R taking values in ¿C and, for a given s e R, define the

Msf (x) = e2nisxf (x), x e R. Then it can be easily computed that the Fourier transform of this object equals

MSf (*) = J f (x)e2nisxe-2ni*x dx = f(* - s)

and therefore we have the identity

MsHfiM-sf (*) = -isgn (* - s) f (*).

Consequently,

Hrf (x) = -i J (-x(-<x>,-r )(*) + Xir^m f(*)e2n ix* d*

= -2 J (sgn(* - r) + sgn (* + r)) f(*)e2n ix* d*

= 1 (Mr HR M-r + M-r HR Mr) f (x).

Fix a function f on R taking values in the unit ball of ¿j and let r be a given positive number. The functions Mr f, M-r f are also bounded by 1 and therefore, by Jensen inequality,

J ®(\Hrf (x)|) dx < iy ®(\(MrHRM-r f)(x)|) dx + iy ®(\(M-rHRMrf)(x)|) dx

= 2/Mrf)(x)\) dx + 2f ®(\(HR M-rf)(x)\) dx

\\M-rf\\L1(RA) + \\Mrf \\¿1(R,¿C ) < C (®)-^-—

= C m\\f \\l1 (R^c) '

Next, we turn to the dual estimate. Let ^ = be a given element of C*. For any Borel

f : R ^ ¿C and any A C R with | A| < œ, we write

J Hrf (x )| dx = J Hrf (x )g(x ) dx,

where g(x ) = x A Hrf (x )/IHrf (x )| (if Hr f (x ) = 0, we put g(x ) = 0). We have also

used the more convenient notation ab = {a, b) for a, b e ¿¡j. Consequently, by Parseval's

relation and Young's inequality (i.e., the bound st < ® (t) + ^(s) for nonnegative s, t: see the definition of C* in the introductory section),

Hrf (x)g(x)dx = J Hrf (t)g(t) dt

= -i J f (^(-xi-^-r m + xir^m) g(t) dt

- f (t)Hrg(t) dt

= - J f (x)Hrg(x) dx

<y ¥(|f (x)|) dx + J ®(mrg(x)|) dx

< y ¥(|f (x)|) dx + C(®)||g||L1CR,ie).

It remains to observe that the Lx-norm of g does not exceed the measure of A. The reasoning leading to the estimate (6) for the segment multiplier S is similar. Fix an interval [a, b] and note that

S[a,b] f (x) = J f (t)e2ndt

2nUs J f(t - s)e2jtdt

-2n ixs

= e- ixsS[a+s,b+s] Msf (x). (20)

Taking s = - (a + b)/2, we see that the line segment [a + s, b + s] = [(a - b)/2, (b - a)/2] is symmetric about 0. Such symmetric multipliers admit the following convenient form: for any r > 0 and any f we have

S[-r,r] f (x) = J f (t)X[-r,r] (t)e2ltlxt dt

1 r e2nir(x-t) _ e-2nir(x-t)

= ^ f (t)---dt

2n J x - t

= 1 (MrHRM-rf)(x) - 2(M-rHRMrf)(x).

The two facts above allow us to show an appropriate version of (18) for the segment multiplier. Let f be a given function on the real line, taking values in the unit ball of ¿C, and let [a, b] be a fixed subinterval of R. For any s e R, the function Msf is also bounded by 1 and therefore,

by Jensen inequality, f ^Ci^Ea,»] f (x)|) dx = j ® {\(S[(a-b)/2,(b-a)/2]M-(a+b)/2 f)(x)|) dx

(\(M(b-a)/2HRM(a-b)/2M-(a+b)/2f)(x)|) dx -2 J ® (\(M(a-b)/2HRM(b-a)/2M-(a+b)/2 f)(x)|) dx

+ ® (|(M(a-b)/2HRM[b-a)

1 | | 1

2 J ® (|wRM-bf)(x}|) dx + 2 J ® (|wRM-af)(x}|) dx

II M-bf Hl1(R,£c) + WM-af\\L 1(R,4) < C (®)-^-—

= C m \ \ f \ \ l1(r ,*Cy

Next, we turn to (6). For any Borel f : R ^ ¿C and any A C R with \ A \ < ro, we write

\ S[a,b] f (x) \ dx = j S[ab] f (x)g(x) dx,

where g(x) = xaS[a,b] f (x)/iS[a,b] f (x)i (if S[ab] f (x) = 0, we put g(x) = 0). An application of Parseval's relation and Young's inequality yields

J S[a,b] f (x)gx) dx = J S^f ($)№

= y f(Z)X[a,b](Z)g(Z) dZ

= J f(Z)S[a,b]g(Z) dZ

= j f (x)S[a,b]g(x) dx

< J *(if (x)|) dx + J 0(iSla,b]g(x)l) dx

<j *(if (x )i) dx + C (®)iigiiL1(R,4)-

Since the L*-norm of g does not exceed the measure of A, the proof is complete. 4 Sharpness of (4) and a lower bound related to (6)

For the sake of convenience and clarity of the exposition, we have decided to split this section into three parts.

Sharpness of (16) and (18). We will exploit Davis' argument from [2]. Let D be the unit disc of C and let H denote the upper halfplane. Consider a function K (z) = (1 + z)2/4z, which maps the half disc D n H onto H, and the boundary of D n H onto R. Let L be the inverse of K. Then L maps [0, 1] onto the half circle {ei9 : 0 < 9 < n}, and R \ [0, 1] onto (-1, 1):

L (x) =

1 - 2x - 2Vx2 - x if x < 0, (21)

1 - 2x + 2 x2 - x if x > 1.

Let dn be the density of Ln ([0, 1]) on T with respect to the normalized Lebesgue's measure, i.e. for any -n < a < f < n,

J dn e9) 29 = |{r e [0, 1]: Ln (r) e {ei9 : a<9< f }}|.

Then (see Lemma 3 in [2]) dn ^ 1 uniformly on T. Next we introduce a conformal mapping F of D onto the strip {z : |Rez| < 1} by

F(z) = (2i/n) log[(iz - 1)/(z - i)] - 1.

For a fixed integer n, define fn : R ^ [-1, 1] by the formula fn(x) = Re(F(Ln (x))). By (21) and the equality F (0) = 0, the function f converges rapidly to 0 on each set of the form R \ [-e, 1 + e],e > 0, and consequently

limsupn^J! fn Wl 1 (R,R) < 1 (22)

The mapping z ^ F(Ln (z)) is conformal and satisfies limz^TO F(Ln (z)) = 0, so HR fn = ImF(Ln(■)). Therefore,

J 0(|HR fn(x)|) dx = J ®(|ImF(Ln(x))|) dx

> J ®(|ImF(Ln(x))|) dx 0

= I ®(|ImF(el9))dn(ei9)

^ ®(|ImF (e' 9)|) 2n = C (Q),

The latter equality follows from the identity Im F(ei9) = (2/n) log | sin 9/(1 - cos9) | and the substitution t = sin 9/(1 - cos9) under the integral.

Sharpness of (4). Let r0 be a fixed positive number and let ^ be a given element of the class C*. Assume that the inequality (4) holds with a certain constant C. For any s > 0 and any f we have Hrf = DsHr/sD\/sf, where Ds stands for the dilation operator: Dsf (x) = f (sx)

for all x € R. This identity implies that (4) holds with the constant C for all r: indeed,

J \Hrf (x)| dx = y | Dr/r0Hro Dro/rf (x)| dx A A

= j J |HroDrQ/rf (x)\ dx

< ro J ^(\Dro/rf (x)\) dx + C • ro\rA/ro|

= J *(\f (x)\) dx + C • \A\. (23)

On the other hand, suppose that f : R ^ R is a square-integrable function. By Plancherel's theorem and Lebesgue's dominated convergence theorem, we have

lim fUf = H^f

in L2(R). Therefore, there is a sequence (rn)n>1 decreasing to 0 such that Hrnf ^ HRf almost everywhere and thus, by Fatou's lemma and (23), for any real-valued function f €

L 2(R),

J \HRf (x)\dx <y *(\f (x)\)dx + C • \A\.

By a standard approximation, we obtain that this inequality holds for all real-valued integrable f. Therefore, C cannot be smaller than the optimal constant for the Hilbert transform, which is precisely C (®), in view of the reasoning presented above. Consequently, C (®) is indeed the best in (4).

Lower bound related to (6). We turn to the analysis of the segment multiplier S[a,b]. Let ^ be a fixed element of the class C* and let C be the best constant in (6). In view of (20), this constant does not change if we replace [a, b] by any interval of the same length. Furthermore, we easily check that for any s > 0 we have DsS[a,b] Di/s = S[sa,sb] which, by the same reasoning as above, gives that the best constants for S[a,b] and S[sa,sb] coincide. In conclusion, all the multipliers corresponding to segments of finite length satisfy (6) with the constant C. Repeating the above argument using Plancherel's theorem and Fatou's lemma, we get the analogues of (6) for PR and therefore,

J \ HR f (x)\ dx = y \ PR f (x) - PR f (x)\ dx < 2 J V(\ f (x)\ ) dx + 2C • \ A\ .

This gives the lower bound C > C((2^)*)/2. To give a concrete example, consider the inequality

J \ S[a,b] f (x)\ dx < kJ[( \ f (x)\ + 1) log(\ f (x) \ + 1) - \ f (x) \ ] dx + C • \ A \ (24)

(this corresponds to the choice ^(t) = K ((t + 1) log(t + 1) — t): see example (ii) in Sect. 1). An analogous inequality holds for HR (with some finite C) if and only if K > 2/n. Thus, the above arguments imply that (24) does not hold with any finite C when K < 1/n.

Acknowledgments The author would like to thank an anonymous referee for the careful reading of the first version of the paper and for several helpful comments and suggestions. The research was partially supported by Polish Ministry of Science and Higher Education (MNiSW) grant IP2011 039571 'Iuventus Plus'.

Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.

References

1. Bennett, C.: A best constant for Zygmund's conjugate function inequality. Proc. Am. Math. Soc. 56, 256-260 (1976)

2. Davis, B.: On the weak type (1, 1) inequality for conjugate functions. Proc. Am. Math. Soc. 44, 307-311

(1974)

3. de Carli, L., Laeng, E.: On the (p, p) norm of monotonic Fourier multipliers. C. R. Acad. Sci. Paris Ser. I Math. 330(8), 657-662 (2000)

4. de Carli, L., Laeng, E.: Sharp Lp estimates for the segment multiplier. Collect. Math. 51(3), 309-326 (2000)

5. Essen, E.M.: A superharmonic proof of the M. Riesz conjugate function theorem. Ark. Mat. 22, 241-249 (1984)

6. Essen, M., Shea, D.F., Stanton, C.S.: Best constants in Zygmund's inequality for conjugate functions. In: Heinonen, Kilpelainen, Koskela (eds.) A volume dedicated to Olli Martio on his 60th birthday. Report 83. Department of Mathematics, University of Jyvaskila, pp. 73-80 (2001)

7. Essen, M., Shea, D.F., Stanton, C.S.: Sharp L loga L inequalities for conjugate functions. Ann. Inst. Fourier Grenoble 52(2), 623-659 (2002)

8. Gamelin, T.W.: Uniform Algebras and Jensen measures. London Mathematical Society. Lecture Notes Series, vol. 32. Cambridge University Press, Cambridge (1978)

9. Gohberg, I., Krupnik, N.: Norm of the Hilbert transformation in the Lp space. Funct. Anal. Pril. 2, 91-92 [in Russian; English translation in Funct. Anal. Appl. 2, 180-181 (1968)]

10. Grafakos, L.: Classical Fourier Analysis, 2nd edn. Graduate Texts in Mathematics, vol. 249. Springer, New York (2008)

11. Hollenbeck, B., Verbitsky, I.E.: Best constants for the Riesz projection. J. Funct. Anal. 175, 370-392 (2000)

12. Hollenbeck, B., Verbitsky, I.E.: Best constant inequalities involving the analytic and co-analytic projections. Oper. Theory Adv. Appl. 202, 285-296 (2010)

13. Laeng, E.: Sharp norm inequalities for the truncated Hilbert transform. J. Math. Inequal. 3(1), 123-127 (2009)

14. O'Neil, R., Weiss, G.: The Hilbert transform and rearrangement of functions. Studia Math. 23, 189-198 (1963)

15. Osekowski, A.: Logarithmic estimates for the Hilbert transform and the Riesz projection. Arch. Math. 98, 153-161 (2012)

16. Osekowski, A.: Sharp logarithmic inequalities for Riesz transforms. J. Funct. Anal. 263, 89-108 (2012)

17. Pelczyiiski, A.: Norms of classical operators in function spaces. In: Colloque en l'honneur de Laurent Schwartz, vol. 1. Asterisque 131, pp. 137-162 (1985)

18. Pichorides, S.K.: On the best values of the constants in the theorems of M. Riesz, Zygmund and Kol-mogorov. StudiaMath. 44, 165-179 (1972)

19. Riesz, M.: Sur les fonctions conjugees. Math. Z. 27, 218-244 (1927)

20. Range, R.M.: Holomorphic Functions and Integral Representations in Several Complex Variables. Graduate Texts in Mathematics, vol. 108. Springer, New York (1986)

21. Verbitsky, I.E.: Estimate of the norm of a function in a Hardy space in terms of the norms of its real and imaginary part. Mat. Issled. 54, 16-20 (1980). [in Russian; English translation in Am. Math. Soc. Transl. (2) 124, 11-15 (1984)]

22. Zygmund, A.: Sur les fonctions conjugees. Fund. Math. 13, 284-303 (1929)