No label defined (Q4946759)

Define \(h^\infty(E)\) to be the subspace of \(C^\infty(\overline B,E)\) consisting of all harmonic functions in \(B\), where \(B\) is the ball in the \(n\)-dimensional Euclidean space and \(E\) is any Banach space. It is provided with the topology of \(C^\infty(\overline B,E)\), namely, with the system of norms \[ P_m(f)=\sup_{|\alpha|\leq m,x\in B}\|\partial^\alpha f(x)\|. \] Further, define \(h^{-m}(E^*)\) as the subspace of \(W^{-m}(E^*)\) consisting of harmonic functions and define \(h^{-\infty}(E^*)\) as the space of all harmonic \(E^*\)-valued functions \(f\) such that \((1-|x|)^mf\) is bounded for some \(m>0\). The authors prove that \(h^{-\infty}(E^*)=\bigcup_{m\in{\mathbf N}}h^{-m} (E^*)\). The main theorem in this paper which extends the results of S. Bell in the scalar case is the following: (a) For every \(g\in h^{-m}(E^*)\), the limit \[ \langle u,g \rangle_0 = \lim_{r\to 1}\int_B u(x)g_r(x) dx \tag{1} \] exists and defines a continuous linear functional on \(h^\infty(E)\). Moreover, \(\langle u,g \rangle_0=\langle L^su,g\rangle_s\) for every \(s\geq m\). (b) Every \(T\in h^\infty(E)^*\) can be represented as in (1) by a unique \(g\in h^{-\infty}(E^*)\). Here \(L^s\) is Bell's operator.