Suppose D (υ) is the Dirichlet integral of a function υ defined on the unit disc U in the complex plane. It is well known that if υ is a harmonic function in U with D (υ) < ∞, then for each p, 0 < p < ∞, |υ|p has a harmonic majorant in U.
We define the “iterated” Dirichlet integral Dn (υ) for a function υ on the polydisc Un of Cn and prove the polydisc version of the well known fact above:
If υ is an n-harmonic function in Un with Dn (υ) < ∞, then for each p, 0 < p < ∞, |υ|p has an n-harmonic majorant in Un.