arxiv: v1 [math.ca] 23 Oct 2018

Transcription

1 A REMARK ON THE ARCSINE DISTRIBUTION AND THE HILBERT TRANSFORM arxiv:80.08v [math.ca] 3 Oct 08 RONALD R. COIFMAN AND STEFAN STEINERBERGER Abstract. We prove that if fx) ) /4 L,) and its Hilbert transform Hf vanishes on,), then the function f is a multiple of the arcsine distribution c fx) χ,) where c R. This characterization of the arcsine distribution explains why roots of orthogonal polynomials tend to follow an arcsine distribution at a great level of generality. Conversely, if fx) x ) /4 L,) and fx) has mean value 0 on,), then Hf)x) dx fx) dx.. Introduction.. Introduction. This paper introduces a new characterization of the arcsine distribution fx) π χ,). Various characterization, usually in terms of probabilistic terms the behavior of sums of random variables etc.) were given by Arnold & Groeneveld [], Kemperman & Skibinsky [6], Norton [8, 9] and Shantaram [, 3]. A fascinating analytic characterization was given by Schmidt & Zhigljavsky []: they show that if ξ is a random variable ξ on,), then it follows the arcsine distribution if and only if Elogξ x) has the same value for almost all x, ). We give another characterization in terms of integral operators: as usual, we denote the Hilbert transform of a function f L R) by Hf)x) π R x y dy. Theorem. Let fx) ) /4 L,). If the Hilbert transform Hf vanishes identically on,), then fx) c χ,) where c R. 00 Mathematics Subject Classification. 44A5, 60E99 primary) and 33C45 secondary). Key words and phrases. Hilbert transform, Arcsine distribution, Integral Operators. C. R. is partially supported by grants from the NIH. S.S. is partially supported by the NSF DMS ) and the Alfred P. Sloan Foundation.

2 .. Orthogonal polynomials. It is well understood that, given a nonnegative weight on, ), the associated family of orthogonal polynomials has roots whose distribution tend to the arcsine distribution this dates back to Erdős & Turan [4] in 940, see also Erdős & Freud [5], Ullman [5] and Van Assche [6]). Our main result provides a fairly natural way to explain why that this is indeed the only natural smooth distribution that could have that property. If p n is a polynomial having roots {x,...,x n },), then p nx) n p n x) k x x k can be used to derive information about the distribution of the roots of p n. If the quantity was very big in absolute values) in a region, then it would repel any roots from locating there. This suggeststhat the only wayto havethe rootsofp n followthe samedistribution as the roots of p n is for the sum to somewhat cancel out; conversely, the sum is approximated by the Hilbert transform of the probability measure of the distribution of roots which we would thus like to see vanish everywhere. It was this consideration, motivated by a recent dynamical interpretation [4] of roots, that lead us to conjecture Theorem..3. Integral Operators. There is a secondary motivation: while upper bounds on integral operators are well understood, there is no such corresponding theory for lower bounds. One simple question one could ask is the following: let f Cc,), how big does the Hilbert transform have to be on, say, the interval,3)? A sharp result was given by Alaifari, Pierce and the second author in [] see also Rüland [0]) and reads f ) L Hf L,3) c exp c,) f L f,), L,) Theproofisfarfromstableinthesensethatitisnotclearhowtoestablishargumentsofthis type for more general integral operators); indeed, the problem is completely open for general integral operatorswe refer to [7] for sharp results for the Laplace transform and the Fourier transform). When dealing with the Hilbert transform, the identity Hf L R) f L R) suggests a rephrasing of the question: how does the Hilbert transform move the L mass of a function around? Our main result in that direction reads as follows. Theorem. Let fx) ) /4 L,). If fx) has mean value 0, then Hf)x) dx fx) dx. This is a nice addition to the classical global L isometry Hf L R) f L R) for compactly supported functions; it again shows a connection between the Hilbert transform and the arcsine distribution. Are there similar statements perhaps not identities but maybe inequalities) for more general singular integral operators of convolution type?

3 3. Proofs.. A real-variable approach to Theorem and Theorem. Before giving a rigorous proof in., we sketch an argument that is not entirely rigorous we do not specify the regularity of the function and freely interchange summation and integration). Sketch of an argument. We introduce the function fx) which reduces the problem to showing that if the Hilbert transform of that function vanishes on,), then that function is constant. We expand it into Chebychev polynomials fx) a k T k x) and write k0 π x y dy y π x y) y dy a k T k y) π x y) y dy. k0 We want to show that this quantity vanishing implies that fx) a 0. The key ingredient is the identity a k T k y) π x y) y dy a ku k x) where U l denotes the Chebychev polynomials of the second kind given by U 0 x),u x) x and U l+ x) xu l x) U l x). Writing we have that fx) fx) dx a k T k x), k0 fx) ) dx k,l0 k,l0 π k0 k0 a k dx a k T k x)a l T l x) dx a k T k x)a l T l x) a k T kx) dx

4 4 and the identity above shows that Hf)x) dx π resulting in the desired identity a k U k x)) dx k k,l k k fx) dx a k a k U k x)a l U l x) dx a k U kx) dx Hf)x) dx whenever fx) has mean value 0. The sketch of the argument has perhaps a somewhat uneasy feel to it: it is not a priori clear that integration and summation can be exchanged like that and the algebraic identities seem to be coming out of nowhere. The next section contains a more illuminating proof which, simultaneously, explains the origin of the identities used above)... Proof of Theorem and Theorem. The main idea is a substitution that can be found in a paper of Coifman & Weiss [3] relating the Hilbert transform on,) to the conjugate function on the boundary of the disk the trick is surely older than that); as such, the proof is algebraic in nature and unlikely to generalize to other integral operators. Proof. Let fx) ) /4 L,) be given. We define a function g : [ π,π] R via gθ) fcosθ) cosθ). We want to make sure that g L π,π), a simple substitution x cosψ shows that π π gθ) dθ π π fcosθ) cosθ) )dθ fx) dx which is finite by assumption. The, however, a simple substitution carried out in [3]) shows that with x cosψ p.v. π x y dy π ) ψ θ sinψ p.v. gθ) cot dθ. π π However, that last principial value is merely the formula for the conjugate function of g. If g has mean value 0 this being the orthogonality to the arcsine distribution), then the conjugate function has the same L norm as the function g. This implies the result.

5 5 References [] R. Alaifari, L. B. Pierce and S. Steinerberger. Lower bounds on the truncated Hilbert transform. Revista Matematica Iberoamericana 3 ), 06, [] B. Arnold and R. Groeneveld, Some properties of the arcsine distribution. J. Amer. Statist. Assoc ), no. 369, [3] R. Coifman and G. Weiss, Extensions of Hardy spaces and their use in analysis. Bull. Amer. Math. Soc ), no. 4, [4] P. Erdős and P. Turán, On interpolation. III. Interpolatory theory of polynomials. Ann. of Math. ) 4, 940) [5] P. Erdős and G. Freud, On orthogonal polynomials with regularly distributed zeros. Proc. London Math. Soc. 3) 9 974), [6] J. H. B. Kemperman and M. Skibinsky, On the characterization of an interesting property of the arcsin distribution. Pacific J. Math ), no., [7] R. Lederman and S. Steinerberger, Stability Estimates for Truncated Fourier and Laplace Transforms, Integral Equations and Operator Theory, 87, ). [8] R. Norton, On properties of the arc sine law. Sankhya Ser. A ), no., [9] R. Norton, Moment properties and the arc sine law. Sankhya Ser. A ), no., [0] A. Ruland, Quantitative Invertibility and Approximation for the Truncated Hilbert and Riesz Transforms, arxiv: [] K. M. Schmidt and A. Zhigljavsky, A characterization of the arcsine distribution. Statist. Probab. Lett ), no. 4, [] R. Shantaram, A characterization of the arc sine law. Sankhya Ser. A ), no., [3] R. Shantaram, On a conjecture of Norton s. SIAM J. Appl. Math. 4 98), no. 4, [4] S. Steinerberger, Electrostatic interpretation of zeros of orthogonal polynomials, Proc. Amer. Math. Soc ), [5] J. L. Ullman, On the regular behaviour of orthogonal polynomials. Proc. London Math. Soc. 3) 4 97), [6] W. Van Assche, Asymptotics for orthogonal polynomials. Lecture Notes in Mathematics, 65. Springer- Verlag, Berlin, 987 Department of Mathematics, Yale University, New Haven, CT 065, USA address: ronald.coifman@yale.edu, stefan.steinerberger@yale.edu