A Riesz decomposition theorem on harmonic spaces without positive potentials (Q928418)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A Riesz decomposition theorem on harmonic spaces without positive potentials
scientific article

    Statements

    A Riesz decomposition theorem on harmonic spaces without positive potentials (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    18 June 2008
    0 references
    Let \((\mathcal H,\Omega)\) be a Brelot harmonic space with no positive potentials, in which constants are harmonic (called a BS-space by the authors of the paper under review, the references below are taken from there). Under the above mentioned settings, \textit{V. Anandam} [Ann. Inst. Fourier 22, No.~4, 97--160 (1972; Zbl 0235.31015); Bull. Math. Soc. Sci. Math. Répub. Soc. Roum., Nouv. Sér. 18(66), 233--248 (1974; Zbl 0337.31011)] studied the behaviour of a superharmonic function defined outside of a compact set in order to give the notion of flux for such function. By using the Harnack inequality, \textit{H. Guessous} gave in [Potential theory, Proc. Colloq., Copenhagen 1979, Lect. Notes Math. 787, 121--143 (1980; Zbl 0436.31004)] a direct proof of the following: ``Given a superharmonic function \(\mathcal V\) defined outside of a compact set of \(\Omega\), then \(\mathcal V\) admits either a superharmonic extension all over \(\Omega\) or a minorant belonging to \(\mathcal H\).'' The above result permits Guessous to generalize the notion of flux of Anandam. Let \(\mathcal U\) be harmonic outside of a given compact set \(K_0 (\subset\Omega)\) such that, \[ \begin{cases}\lim_\omega H^\omega_u = - \infty,\\ \text{where \(\lim_\omega\) denotes the limit along a filter of neighborhoods of \(K_0\)}\\ \text{which increases to \(\Omega\), and \(H^\omega_u\) the Dirichlet solution in \(\omega\)}\\ \text{associated with the restriction of \(\mathcal U\) on \(\partial\omega\)}. \end{cases}\tag{1} \] Let \(\mathcal V\) be a function superharmonic outside of \(K_0\), we call the flux of \(\mathcal V\) (relative to \(\mathcal U\)) the real number, \[ \begin{cases} \Phi (\mathcal V;\mathcal U) &= \inf \{\lambda\in R,\exists h\in {\mathcal H},\;{\mathcal V}\geq\lambda u + h \text{ outside of } K_0 \},\\ &= \sup \{\mu \in R,\exists s \text{ superhamonic in }\Omega,\;s = {\mathcal V} - \mu {\mathcal U}\text{ outside of } K_0 \}.\end{cases}\tag{2} \] Remarks. 1) If \(\Phi(\mathcal V ;\mathcal U )\) is finite then \(\mathcal V\) admit an harmonic minorant outside of \(K_0\), a such function \(\mathcal V\) is called admissible. 2) By convention we put \(\Phi(\mathcal V ;\mathcal U ) = +\infty\) if a such constant \(\lambda\) (resp. \(\mu\)) does not exist in (2). In this case \(\mathcal V\) admits an extension which is superharmonic in \(\Omega\). The following summary is extracted from the introduction of the paper under review. ``In this article, we give a Riesz decomposition theorem for the class of admissible superharmonic functions on a harmonic space without positive potentials\dots In this paper, we give a new definition of the flux of a function that is superharmonic outside a compact set which is equivalent to the various definitions of the flux in the works of Anandam. It also encompasses the definitions of flux in the discrete setting (see for instance [\textit{K. Abodayeh} and \textit{V. Anandam}, Hiroshima Math. J. 35, No.~3, 413--424 (2005; Zbl 1101.31011)]. We then introduce a new class of potentials (called H-potentials) in the axiomatic setting that was first introduced in the recurrent tree and the complex plane settings in [\textit{J. M. Cohen, F. Colonna} and \textit{D. Singman}, J. Lond. Math. Soc., II. Ser. 75, No.~1, 1--17 (2007; Zbl 1129.31004)] and [``Riesz decomposition and flux in potential theory'' (preprint of the authors)]. This new class allows us to obtain a global Riesz decomposition\dots We also give a characterization of the local axiom of proportionality in terms of a global condition on the space. ''
    0 references

    Identifiers