# 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:
orthogonally additive polynomials; C(K)
Full Text:
##### References:
  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  Y. Benyamini, S. Lasalle, J.G. Llavona, A representation theorem for orthogonally-additive polynomials on Banach lattices, preprint  Bombal, F.; Villanueva, I., Multilinear operators on spaces of continuous functions, Funct. approx. comment. math., 26, 117-126, (1998) · Zbl 0919.46020  Diestel, J.; Uhl, J.J., Vector measures, Math. surveys, vol. 15, (1977), Amer. Math. Soc. Providence, RI · Zbl 0369.46039  Dineen, S., Complex analysis on infinite dimensional spaces, (1999), Springer-Verlag Berlin · Zbl 1034.46504  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  Friedman, N.; Katz, M., Additive functionals of $$L_p$$ spaces, Canad. J. math., 18, 1264-1271, (1966) · Zbl 0145.38903  Friedman, N.; Katz, M., A representation theorem for additive functionals, Arch. rational mech. anal., 21, 49-57, (1966) · Zbl 0138.09401  Sundaresam, K., Geometry of spaces of polynomials on Banach lattices, (), 571-586 · Zbl 0745.46028  Villanueva, I., Completely continuous multilinear operators on $$C(K)$$ spaces, Proc. amer. math. soc., 128, 793-801, (1999) · Zbl 0946.46026  Villanueva, I., Remarks on a theorem of taskinen on spaces of continuous functions, Math. nachr., 250, 98-103, (2003) · Zbl 1026.47023
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.