- Research
- Open Access
New applications of the existence of solutions for equilibrium equations with Neumann type boundary condition
- Zhaoqi Ji^{1},
- Tao Liu^{2},
- Hong Tian^{3} and
- Tanriver Ülker^{4}Email author
https://doi.org/10.1186/s13660-017-1357-4
© The Author(s) 2017
- Received: 29 December 2016
- Accepted: 31 March 2017
- Published: 22 April 2017
Abstract
Using the existence of solutions for equilibrium equations with a Neumann type boundary condition as developed by Shi and Liao (J. Inequal. Appl. 2015:363, 2015), we obtain the Riesz integral representation for continuous linear maps associated with additive set-valued maps with values in the set of all closed bounded convex non-empty subsets of any Banach space, which are generalizations of integral representations for harmonic functions proved by Leng, Xu and Zhao (Comput. Math. Appl. 66:1-18, 2013). We also deduce the Riesz integral representation for set-valued maps, for the vector-valued maps of Diestel-Uhl and for the scalar-valued maps of Dunford-Schwartz.
Keywords
- Neumann type boundary condition
- set-valued measures
- integral representation
- topology
1 Introduction
The Riesz-Markov-Kakutani representation theorem states that, for every positive functional L on the space \(C_{c}(T)\) of continuous compact supported functional on a locally compact Hausdorff space T, there exists a unique Borel regular measure μ on T such that \(L(f) =\int f \,d\mu\) for all \(f \in C_{c}(T)\). Riesz’s original form [3] was proved in 1909 for the unit interval \((T = [0; 1 ] )\). Successive extensions of this result were given, first by Markov in 1938 to some non-compact space (see [4]), by Radon for compact subset of \(\mathbb{R}^{n}\) (see [5]), by Banach in note II of Saks’ book (see [6]) and by Kakutani in 1941 to a compact Hausdorff space [7]. Other extensions for locally compact spaces are due to Halmos [8], Hewith [9], Edward [10] and Bourbaki [11]. Singer [12, 13], Dinculeanu [14, 15] and Diestel-Uhl [16] gave an integral representation for functional on the space \(C(T,E)\) of vector-valued continuous functions. Recently Leng, Xu and Zhao (see [2]) gave the integral representation for continuous functionals defined on the space \(C(T)\) of all continuous real-valued functions on T; as an application, Shi and Liao (see [1]) also gave short solutions for the full and truncated K-moment problem. The set-valued measures, which are natural extensions of the classical vector measures, have been the subject of many theses. In the school of Pallu De La Barriere we have the ones of Thiam [17], Cost [18], Siggini [19], in the school of Castaing the one of Godet-Thobie [20], and in the school of Thiam the ones of Dia [21] and Thiam [22]. Investigations are undertaken for the generalization of results for set-valued measures in particular the Radon-Nikodym theorem for weak set-valued measures [2, 23] and the integral representation for additive strictly continuous set-values maps with regular set-valued measures. The work of Rupp in the two cases, T arbitrary non-empty set and T compact, allowed one to generalize the Riesz integral representation of additive and σ-additive scalar measures to the case of additive and σ-additive set-valued measures (see [24, 25]). He has proved among others that if T is a non-empty set and \(\mathfrak{A}\) the algebra of subsets of T, for all continuous linear maps l defined on the space \(\mathcal{B}(T;\mathbb{R})\) of all uniform limits of finite linear combinations of characteristic functions of sets in \(\mathfrak{A}\) associated with an additive set-valued map with values in the space \(\operatorname{ck}(\mathbb{R}^{n})\) of convex compact non-empty subsets of \(\mathbb{R}_{n}\), there exists a unique bounded additive set-valued measure M from \(\mathfrak{A}\) to the space \(\operatorname{ck}(\mathbb{R}^{n})\) such that \(\delta^{*}(\cdot |l(f))=\delta^{*}(\cdot |\int fM)\) and conversely. In this paper we extend this result to the case of any Banach space E. We deduce the Riesz integral representation for additive set-valued maps with values in the space of all closed bounded convex non-empty subsets of E; for vector-valued maps (see [16], Theorem 13, p.6) and for scalar-valued maps (see [26]).
2 Notations and definitions
Definition 2.1
3 Lemmas
In order to prove our main results, we need the following lemmas.
Lemma 3.1
Let \(M : \mathfrak{A}\rightarrow \operatorname {cfb}(E)\) be an additive set-valued measure. Then M is bounded if and only if it is finite semivariation.
Proof
Lemma 3.2
Let \(C_{0}\) be the set \(\{\delta^{*}(\cdot |B);B\in \operatorname {cfb}(E) \}\) and let \(l : \mathcal{B}(T;\mathbb{R} )\rightarrow C^{h}(E^{\prime})\) be a continuous linear map. Then l is associated with an additive, positively homogeneous and continuous set-valued map if and only if \(l(f) \in C_{0}\) for all \(f \in\mathcal {B}_{+}(T,\mathbb{R})\).
Proof
Lemma 3.3
Let \(\mathcal{M}(\mathfrak{A},\operatorname {cfb}(E))\) be the space of all bounded additive set-valued from \(\mathfrak{A}\) to \(\operatorname {cfb}(E)\). Let \(l\in\mathcal{L}_{0}(\mathcal{B}(T,\mathbb{R}), C^{h}(E^{\prime}))\). Then there exists a unique set-valued measure \(M \in\mathcal {M}(\mathfrak{A}, \operatorname {cfb}(E))\) such that \(l(f) = \delta^{*}(\cdot |\int fM)\) for all \(f\in\mathcal{B}_{+}(T,\mathbb{R})\). Conversely for all \(M \in\mathcal{M}(\mathfrak{A}, \operatorname {cfb}(E))\), the mapping: \(f\mapsto\delta^{*}(\cdot |\int f^{+}M)-\delta^{*}(\cdot |\int f^{-}M)\) from \(\mathcal{B}(T,\mathbb{R})\) to \(C^{h}(E^{\prime})\) is an element of \(\mathcal{L}_{0}(\mathcal{B}(T,\mathbb{R}), C^{h}(E^{\prime}))\). Moreover, \(\Vert l \Vert = \Vert M \Vert (M)\).
Proof
4 Main results and their proofs
Theorem 4.1
Proof
The following corollary is partly known (see [16], Theorem 13, p.6).
Theorem 4.2
Let \(\mathcal{L}(\mathcal{B}(T,\mathbb{R}),E)\) be the space of all continuous linear maps from \(\mathcal{B}(T,\mathbb{R})\) to E and let \(\mathcal{M}(\mathfrak{A},E)\) be the space of all bounded additive vector measures from \(\mathfrak{A}\) to E. Let \(l \in\mathcal{L}(\mathcal{B}(T,\mathbb{R}),E)\). Then there exists a unique vector measure \(m \in\mathcal{M}(\mathfrak{A},E)\) such that \(l(f) =\int fm\) for all \(f \in\mathcal{B}(T,\mathbb{R})\). Conversely, given a vector measure \(m \in\mathcal{M}(\mathfrak {A},E)\), the mapping \(f \mapsto\int fm \) from \(\mathcal{B}(T,\mathbb {R})\) to E is an element of \(\mathcal{L}(\mathcal{B}(T,\mathbb{R}),E)\). Moreover, \(\Vert l \Vert = \Vert m \Vert (T)\).
Proof
Put \(\widetilde{E_{0}} = \{ \{x \}; x \in E \}\). Then \(\widetilde{E_{0}}\) is a closed subspace of \(\operatorname {cfb}(E)\). Let \(j_{1}\) be the map from E to \(\widetilde{E_{0}}\) defined by \(j_{1}(x) = \{x \} \). Then \(j_{1}\) is an isomorphism more a homeomorphism. Let \(l^{\prime}\) be the restriction of \(j_{1}\circ l\) to \(\mathcal{B_{+}}(T,\mathbb{R})\). Then \(l^{\prime}\) is additive, positively homogeneous and continuous. Therefore by Lemma 3.3 there exists a unique set-valued measure \(m^{\prime}\in\mathcal{M}(\mathfrak{A}, \operatorname {cfb}(E))\) such that \(l^{\prime}(f) =\int fm^{\prime}\) for all \(f \in\mathcal {B_{+}}(T,\mathbb{R})\). It follows from this equality that \(m^{\prime}(A)\in\widetilde{E_{0}}\) for all \(A\in\mathfrak{A}\). Put \(m = j_{1}^{-1}\circ m^{\prime}\). Then \(m \in\mathcal{M}(\mathfrak {A};E)\) and verifies \(m^{\prime}(A) = j_{1}(m(A))\) for all \(A\in\mathfrak {A}\). We deduce that \(\int fm^{\prime}= j_{1}(\int fm)\) for all \(f \in\mathcal{B_{+}}(T,\mathbb {R})\); then \(\int fm = j_{1}^{-1}\circ l^{\prime}(f) = l(f)\) for all \(f \in\mathcal {B_{+}}(T,\mathbb{R})\) and consequently \(l(f) =\int fm \) for all \(f \in\mathcal{B}(T,\mathbb{R})\). The second part of corollary is proved as in Lemma 3.3. The equality \(\Vert l \Vert = \Vert m \Vert (T)\) is a particular case of Theorem 4.1. □
By putting \(E = \mathbb{R}\), we have the following result.
Theorem 4.3
[23], Theorem 1, p.68
Let \(\mathcal{M}(\mathfrak{A},\mathbb{R})\) be the space of all bounded additive real-valued measures defined on \(\mathfrak{A}\). Let l be a continuous linear functional defined on \(\mathcal{B}(T,\mathbb{R})\). Then there exists a unique measure \(\mu\in\mathcal{M}(\mathfrak {A},\mathbb{R})\) such that \(l(f) =\int f\,d\mu\) for all \(f\in\mathcal{B}(T,\mathbb{R})\). Conversely, for all measure \(\mu\in\mathcal{M}(\mathfrak{A},\mathbb {R})\), the mapping: \(f \mapsto\int f\,d\mu\) is a continuous linear functional defined on \(\mathcal{B}(T,\mathbb{R})\). Moreover, \(\Vert l \Vert = \vert \mu \vert (T)\).
5 Conclusions
In this paper, we discussed the Riesz integral representation for continuous linear maps associated with additive set-valued maps only using the existence of solutions for equilibrium equations with a Neumann type boundary condition. They inherited the advantages of the Shi-Liao type conjugate gradient methods for solving solutions for equilibrium equations with values in the set of all closed bounded convex non-empty subsets of any Banach space, but they had a broader application scope. Moreover, we also deduced the Riesz integral representation for set-valued maps, for the vector-valued maps of Diestel-Uhl and for the scalar-valued maps of Dunford-Schwartz (see [28]).
Declarations
Acknowledgements
The authors would like to thank the Editor, the Associate Editor and the anonymous referees for their careful reading and constructive comments, which have helped us to significantly improve the presentation of the paper.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Authors’ Affiliations
References
- Shi, J, Liao, Y: Solutions of the equilibrium equations with finite mass subject. J. Inequal. Appl. 2015, 363 (2015) MathSciNetView ArticleMATHGoogle Scholar
- Leng, J, Xu, G, Zhao, Y: Medical image interpolation based on multi-resolution registration. Comput. Math. Appl. 66, 1-18 (2013) MathSciNetView ArticleMATHGoogle Scholar
- Riesz, F: Sur les opérations fonctionnelles linéaires. C. R. Acad. Sci. Paris 149, 974-977 (1909) MATHGoogle Scholar
- Markov, A: On mean values and exterior densities. Rec. Math. Moscou, n. Ser. 4, 165-190 (1938) Google Scholar
- Radon, J: The theorie und anwendungen der absolut additiven mengenfunktionen. S.-B. Akad. Wiss 122, 1295-1438 (1913) MATHGoogle Scholar
- Saks, S: Theory of the Integral. Instytut Matematyczny Polskiej Akademi Nauk, Warsaw (1937) MATHGoogle Scholar
- Kakutani, S: Concrete representation of abstract (m)-spaces (a characterization of the space of continuous functions). Ann. Math. 42(2), 994-1024 (1941) MathSciNetView ArticleMATHGoogle Scholar
- Halmos, PR: Measure Theory. Springer, New York (1956) MATHGoogle Scholar
- Hewitt, E: Integration on locally compact spaces I. Univ. Wash. Publ. Math. 3, 71-75 (1952) MathSciNetGoogle Scholar
- Edwards, RE: A theory of Radon measures on locally compact spaces. Acta Math. 89, 133-164 (1953) MathSciNetView ArticleMATHGoogle Scholar
- Bourbaki, N: Integration, Chapters I-VI. Hermann, Paris (1952, 1956, 1959) Google Scholar
- Singer, I: Linear functionals on the space of continuous mappings of compact space into a Banach space. Rev. Math. Pures Appl. 2, 301-315 (1957) (in Russian) MathSciNetGoogle Scholar
- Singer, I: Les duals de certains espaces de Banach de champs de vecteurs, I, II. Bull. Sci. Math. 82(29-40), 73-96 (1959) MathSciNetGoogle Scholar
- Dinculeanu, N: Sur la representation integrale de certaines opérations lin’eaires III. Proc. Am. Math. Soc. 10, 59-68 (1959) MATHGoogle Scholar
- Dinculeanu, N: Measures vectorielles et opérations linéaires. C. R. Acad. Sci. Paris 245, 1203-1205 (1959) MATHGoogle Scholar
- Diestel, J, Uhl, JJ Jr: Vector Measures. Am. Math. Soc., Providence (1979) MATHGoogle Scholar
- Thiam, M: Thèse de troisième Cycle, Universitée de Dakar (1979) Google Scholar
- Costé, A: Contribution a la théorie de l’intégration multivoque, thèse d’état, Paris 6 (1977) Google Scholar
- Siggini, KK: Sur les proriétées de regularitédes mesures vectorielles et multivoques sur des espaces topologiques généraux, th ‘ese de doctorat, Paris 6 (1992) Google Scholar
- Godet-Thobie, C: Multimesures et multimesures de transition, thèse d’état, Montpellier (1975) Google Scholar
- Dia, G: Thèse de troisième Cycle, Université de Dakar (1978) Google Scholar
- Thiam, DS: Intégration dans les espaces ordonnés et intégration multivoque, thèse d’état (1976) Google Scholar
- Pan, G: Strong convergence of the empirical distribution of eigenvalues of sample covariance matrices with a perturbation matrix. J. Multivar. Anal. 101, 1330-1338 (2010) MathSciNetView ArticleMATHGoogle Scholar
- Rupp, W: Riesz-presentation of additive and σ-additive set-valued measures. Math. Ann. 239, 111-118 (1979) MathSciNetView ArticleMATHGoogle Scholar
- Drewnowski, L: Additive and countably additive correspondences. Ann. Soc. Pol. Math. 19, 25-54 (1976) MathSciNetMATHGoogle Scholar
- He, H, Huang, J, Zhu, S: Strong convergence theorems for finite equilibrium problems and Bregman totally quasi-asymptotically nonexpansive mapping in Banach spaces. Ann. Appl. Math. 31, 372-382 (2015) MathSciNetMATHGoogle Scholar
- Hörmander, L: Sur la fonction d’appui des ensembles convexes dans un espace localement convexe. Ark. Mat. 3, 181-186 (1954) MathSciNetView ArticleMATHGoogle Scholar
- Dunford, N, Schwartz, J: Linear Operators. Interscience, New York (1958) MATHGoogle Scholar