We study the regularity of the bilinear maximal operator when applied to
Sobolev functions, proving that it maps W1,p(R)×W1,q(R)→W1,r(R) with 1<p,q<∞ and r≥1, boundedly and continuously. The same result holds on Rn when
r>1. We also investigate the almost everywhere and weak convergence under the
action of the classical Hardy-Littlewood maximal operator, both in its global
and local versions.Comment: 10 page