Martin boundary of a harmonic space with adjoint structure and its applications (Q803332)

For \(\hat L=(L+L^*)/2\) with the parabolic operator \[ Lu(x,t)=a(x)\partial u/\partial t-\Delta_ xu+<b(x,t),\nabla_ xu>+c(x,t)u \] and its adjoint operator \(L^*\) Green's formula implies \[ (1)\quad \int_{D}<\nabla_ xf,\nabla_ xg>dx dt+\int_{D}fg \hat L1 dx dt=\int_{D}g\hat Lfdx dt \] (with \(D\subset {\mathbb{R}}^ n\times {\mathbb{R}}\), \(f,g\in C^ 2(\bar D)\) and \(g=0\) on \(\partial_ sG).\) The paper establishes a corresponding formula on a harmonic space (X,\({\mathcal H})\) with adjoint structure \({\mathcal H}^*\), as an application of the theory of Martin boundary of X with respect to the structures and \({\mathcal H}^*.\) Therefore the author develops a theory of Martin boundary of such a harmonic space, following the classical approaches by Martin-Brelot-Naim and their ``parabolic'' counterparts discussed by \textit{J. L. Doob} [Classical potential theory and its probabilistic counterpart (1984; Zbl 0549.31001)]. He introduces a class of functions on X for which one can naturally define boundary values on the Martin boundary, shows that ``energy finite'' bounded functions belong to this class and finally establishes formulas of type (1) for an energy finite bounded function f and an energy finite function g of potential type.