Weighted Norm Inequalities for the Hardy Maximal Function

The principal problem considered is the determination of all nonnegative functions, $U(x)$, for which there is a constant, C, such that \[ ∫ _J {{{[{f^ }(x)]}^p}U(x)dx C∫ _J {|f(x){|^p}U(x)dx,} } \] where 1 < p < ∞, J is a fixed interval, C is independent of f, and f^ is the Hardy maximal function, \[ {f^ }(x) = y ≠ x;y ∈ J {1}{{y - x}}∫ _x^y {|f(t)|dt.} \] The main result is that $U(x)$ is such a function if and only if \[ [ {∫ _I {U(x)dx} } ]{ [ {∫ _I {{{[U(x)]}- 1/(p - 1)}dx} } ]p - 1} K|I{|^p}\] where I is any subinterval of J, $|I|$ denotes the length of I and K is a constant independent of I. Various related problems are also considered. These include weak type results, the problem when there are different weight functions on the two sides of the inequality, the case when $p = 1$ or p = ∞, a weighted definition of the maximal function, and the result in higher dimensions. Applications of the results to mean summability of Fourier and Gegenbauer series are also given.