No label defined (Q5460909)

Let \(\mu\) be a signed Borel measure on \(\mathbb{R}^n\) with its Poisson integral \(u(x,y)\), \(x\in\mathbb{R}^n\), \(y>0\). The classical Fatou theorem deduces the results on behaviour of \(u(x,y)\) as \((x,y)\to(\xi,0)\) from the differentiability properties of \(\mu\) at the point \(\xi\in\mathbb{R}^n\). Let \(Q_h(\xi)\) be the cube of side length \(h\) centred at \(\xi\) and let \(Q_h\) be any such cube with a non-specified centre. The derivative of \(\mu\) at \(\xi\) is given by the limit of \(\mu(Q_h)\) normalised by the Lebesgue measure \(| Q_h| \) as \(h\to0\), where \(Q_h\) is any cube that contains \(\xi\). The symmetric derivative considers the same limit for the cubes that are centred at \(\xi\). The measure \(\mu\) is called (resp. small) Zygmund measure if the absolute value of the difference between its values on the neighbouring cubes is \(\mathcal{O}(| Q_h| )\) (resp. \(o(| Q_h| )\)) as \(h\to0\). The author proves the equivalence of both the differentiability concepts for \(\mu\) and the existence of the limit of \(u(x,y)\) for small Zygmund measures. In case of infinite limits the equivalence is shown to hold for all Zygmund measures. These results are valid in the space of any dimension and generalise the earlier results by \textit{J. J.~Carmona} and \textit{J. J.~Donaire} [Pac. J. Math. 191, 207--222 (1999; Zbl 1008.31002)] obtained in dimension \(n=1\).