The bilinear maximal operator defined below maps L p × L q into L r provided 1 < p, q < ∞, 1/p + 1/q = 1/r and 2/3 < r ≤ 1.In particular M f g is integrable if f and g are square integrable, answering a conjecture posed by Alberto Calderón.
Principal resultsIn 1964 Alberto Calderón defined a family of maximal operators bywhich have come to be known as bisublinear maximal functions. He raised the striking conjecture that M f g is integrable if f and g are square integrable. A proof of this and more is provided in this paper.1.1. Theorem. Let α = 0, 1, and let 1 < p, q < ∞ and setNow, if r > 1, M maps into L r , as follows from an application of Hölder's inequality in the y variable. Thus the interest is in the case 2/3 < r ≤ 1. That r can be less than one is intriguing and unexpected.