In this note we show that the local Hardy-Littlewood maximal operator
is bounded in the Sobolev space. Thus the maximal function often has p
artial derivatives. We also show that the maximal operator preserves t
he zero boundary values in Sobolev's sense.