# zbMATH — the first resource for mathematics

Orthogonally additive polynomials on spaces of continuous functions. (English) Zbl 1076.46035
Given a Banach lattice $$X$$ and a Banach space $$Y,$$ a function $$\varphi:X \to Y$$ is said to be orthogonally additive if for every disjointly supported pair $$f, g \in X,$$ we have $$\varphi(f + g) = \varphi(f) + \varphi(g).$$ In [DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 4, 571–586 (1991; Zbl 0745.46028)], K. Sundaresan showed that for finite $$p$$ and $$n \in \mathbb{N}, 1 \leq n < p,$$ every scalar-valued $$n$$-homogeneous orthogonally additive polynomial $$P:L_p(\mu) \to \mathbb{K}$$ is determined by some $$g \in L_{\frac{p}{p-n}}$$ via the formula $$P(f) = \int f^ng d\mu.$$
In their main result, the authors prove the following analogous result for $$\mathcal{C}(K)$$ spaces. Theorem: Let $$P:\mathcal{C}(K) \to Y$$ be an orthogonally additive $$n$$-homogeneous polynomial and let $$T:\mathcal{C}(K) \times \cdots \times \mathcal{C}(K) \to Y$$ be the unique associated symmetric multilinear operator. Then there exists a linear operator $$S:\mathcal{C}(K) \to Y$$ such that $$\| S \| = \| T \|$$ and there exists a finitely additive measure $$\nu:\Sigma \to Y^{\ast\ast}$$ such that for every $$f \in \mathcal{C}(K),$$ we have $$P(f) = S(f^n) = \int_K f^n d\nu.$$ Here, $$\Sigma$$ is the Borel $$\sigma$$-algebra of $$K.$$ The proof consists of a characterization of orthogonally additive homogeneous polynomials on $$\mathcal{C}(K).$$
The paper concludes with the remark that if $$P$$ is an orthogonally additive $$n$$-homogeneous polynomial on $$\mathcal{C}(K),$$ then the associated linearization, defined on $$\mathcal{C}(K) \otimes_\epsilon \cdots \otimes_\epsilon \mathcal{C}(K)$$ is continuous; as the authors observe, the converse is false. Finally, the authors comment that using different techniques, Y. Benyamini, S. Lassalle and J. G. Llavona have proven the analogue of the Sundaresan result for general Banach lattices [“Homogeneous orthogonally-additive polynomials on Banach lattices,” Bull. Lond. Math. Soc. (to appear)].

##### MSC:
 46G25 (Spaces of) multilinear mappings, polynomials 46G20 Infinite-dimensional holomorphy 46B42 Banach lattices
##### Keywords:
 [1] Aron, R.M.; Cole, B.J.; Gamelin, T.W., Spectra of algebras of analytic functions on a Banach space, J. reine angew. math., 415, 51-93, (1991) · Zbl 0717.46031 [2] Y. Benyamini, S. Lasalle, J.G. Llavona, A representation theorem for orthogonally-additive polynomials on Banach lattices, preprint [3] Bombal, F.; Villanueva, I., Multilinear operators on spaces of continuous functions, Funct. approx. comment. math., 26, 117-126, (1998) · Zbl 0919.46020 [4] Diestel, J.; Uhl, J.J., Vector measures, Math. surveys, vol. 15, (1977), Amer. Math. Soc. Providence, RI · Zbl 0369.46039 [5] Dineen, S., Complex analysis on infinite dimensional spaces, (1999), Springer-Verlag Berlin · Zbl 1034.46504 [6] Drewnowski, L.; Orlicz, W., Continuity and representation of orthogonally additive functionals, Bull. acad. polon. sci. ser. sci. math. astronom. phys., 17, 647-653, (1969) · Zbl 0198.19302 [7] Friedman, N.; Katz, M., Additive functionals of $$L_p$$ spaces, Canad. J. math., 18, 1264-1271, (1966) · Zbl 0145.38903 [8] Friedman, N.; Katz, M., A representation theorem for additive functionals, Arch. rational mech. anal., 21, 49-57, (1966) · Zbl 0138.09401 [9] Sundaresam, K., Geometry of spaces of polynomials on Banach lattices, (), 571-586 · Zbl 0745.46028 [10] Villanueva, I., Completely continuous multilinear operators on $$C(K)$$ spaces, Proc. amer. math. soc., 128, 793-801, (1999) · Zbl 0946.46026 [11] Villanueva, I., Remarks on a theorem of taskinen on spaces of continuous functions, Math. nachr., 250, 98-103, (2003) · Zbl 1026.47023