We provide two new characterizations of bounded orthogonally additive polynomials from a uniformly complete vector lattice into a convex bornological space using separately two polynomial identities of Kusraeva involving the root mean power and the geometric mean. Furthermore, it is shown that a polynomial on a vector lattice is orthogonally additive whenever it is orthogonally additive on the positive cone. These results improve recent characterizations of bounded orthogonally additive polynomials by G. Buskes and the author.
We derive formulas for characterizing bounded orthogonally additive polynomials in two ways. Firstly, we prove that certain formulas for orthogonally additive polynomials derived in \cite{Kusa} actually characterize them. Secondly, by employing complexifications of the unique symmetric multilinear maps associated with orthogonally additive maps we derive new characterizing formulas.
We consider $C$-compact orthogonally additive operators in vector lattices. After providing some examples of $C$-compact orthogonally additive operators on a vector lattice with values in a Banach space we show that the set of those operators is a projection band in the Dedekind complete vector lattice of all regular orthogonally additive operators. In second part of the article we introduce a new class of vector lattices, called $C$-complete, and show that any laterally-to-norm continuous $C$-compact orthogonally additive operator from a $C$-complete vector lattice to a Banach space is narrow…
We study orthogonally additive operators between Riesz spaces without the Dedekind completeness assumption on the range space. Our first result gives necessary and sufficient conditions on a pair of Riesz spaces $(E,F)$ for which every orthogonally additive operator from $E$ to $F$ is laterally-to-order bounded. Second result provides sufficient conditions on a pair of orthogonally additive operators $S$ and $T$ to have $S \vee T$, as well as to have $S \wedge T$, and consequently, for an orthogonally additive operator $T$ to have $T^+$, $T^-$ or $|T|$ without any assumption on the domain and …
The aim of this article is to prove a representation theorem for orthogonally additive polynomials in the spirit of the recent theorem on representation of orthogonally additive polynomials on Banach lattices but for the setting of Riesz spaces. To this purpose the notion of $p$--orthosymmetric multilinear form is introduced and it is shown to be equivalent to the orthogonally additive property of the corresponding polynomial. Then the space of positive orthogonally additive polynomials on an Archimedean Riesz space taking values on an uniformly complete Archimedean Riesz space is shown to be …
We present a new proof of a Sundaresan's result which shows that the space of orthogonally additive polynomials $\mathcal{P}_o(^k\ell_p)$ is isometrically isomorphic to $\ell_{p/p-k}$ if $k<p<\infty$ and to $\ell_\infty$ if $1\leq p\leq k$.
The aim of this article is to extend results of M.~Popov and second named author about orthogonally additive narrow operators on vector lattices. The main object of our investigations are an orthogonally additive narrow operators between lattice-normed spaces. We prove that every $C$-compact laterally-to-norm continuous orthogonally additive operator from a Banach-Kantorovich space $V$ to a Banach lattice $Y$ is narrow. We also show that every dominated Uryson operator from Banach-Kantorovich space over an atomless Dedekind complete vector lattice $E$ to a sequence Banach lattice $\ell_p(Γ)$ o…
We study the space of orthogonally additive $n$-homogeneous polynomials on $C(K)$. There are two natural norms on this space. First, there is the usual supremum norm of uniform convergence on the closed unit ball. As every orthogonally additive $n$-homogeneous polynomial is regular with respect to the Banach lattice structure, there is also the regular norm. These norms are equivalent, but have significantly different geometric properties. We characterise the extreme points of the unit ball for both norms, with different results for even and odd degrees. As an application, we prove a Banach-St…
We consider the stability of the orthogonal Jensen additive and quadratic equations in $F$-spaces, through applying and extending the approach to the proof of a 2010 result of W.Frchner and J.Sikorska, we presenting a new method to get the stability. Moreover, we work in a more general and natural condition than considered before by other antuors.
Let $X$ and $Y$ be Banach spaces, let $\mathcal{A}(X)$ stands for the algebra of approximable operators on $X$, and let $P\colon\mathcal{A}(X)\to Y$ be an orthogonally additive, continuous $n$-homogeneous polynomial. If $X^*$ has the bounded approximation property, then we show that there exists a unique continuous linear map $Φ\colon\mathcal{A}(X)\to Y$ such that $P(T)=Φ(T^n)$ for each $T\in\mathcal{A}(X)$.
Let $E$ be a Banach lattice, $λ_1,λ_2,\ldots,λ_k$ non-zero scalars and $φ_1,φ_2,\ldots,φ_k$ pairwise independent linear functionals on $E$. We show that if $k<m$ then $\sum_{j=1}^kλ_jφ_j^m$ is orthogonally additive if and only if $φ_j$ or $-φ_j$ is a lattice homomorphism for each $j$, $1\le j\le k$. Moreover, for each $m\ge 2$, we provide an example to show that this result does not extend to the case where $k=m$.
Let $G$ be a compact group, let $X$ be a Banach space, and let $P\colon L^1(G)\to X$ be an orthogonally additive, continuous $n$-homogeneous polynomial. Then we show that there exists a unique continuous linear map $Φ\colon L^1(G)\to X$ such that $P(f)=Φ\bigl(f\ast\stackrel{n}{\cdots}\ast f \bigr)$ for each $f\in L^1(G)$. We also seek analogues of this result about $L^1(G)$ for various other convolution algebras, including $L^p(G)$, for $1< p\le\infty$, and $C(G)$.
We extend the notion of narrow operators to nonlinear maps on vector lattices. The main objects are orthogonally additive operators and, in particular, abstract Uryson operators. Most of the results extend known theorems obtained by O. Maslyuchenko, V. Mykhaylyuk and the second named author published in Positivity 13 (2009), pp. 459--495, for linear operators. For instance, we prove that every orthogonally additive laterally-to-norm continuous C-compact operator from an atomless Dedekind complete vector lattice to a Banach space is narrow. Another result asserts that the set U_{on}^{lc}(E,F) o…
In this paper, we study the representation of orthogonally additive mappings acting on Hilbert $C^*$-modules and Hilbert $H^*$-modules. One of our main results shows that every continuous orthogonally additive mapping $f$ from a Hilbert module $W$ over $\K(\H)$ or $\H§(\H)$ to a complex normed space is of the form $f(x)=T(x)+Φ(< x, x >)$ for all $x\in W$, where $T$ is a continuous additive mapping, and $Φ$ is a continuous linear mapping.
It is known that all $k$-homogeneous orthogonally additive polynomials $P$ over $C(K)$ are of the form $$ P(x)=\int_K x^k dμ. $$ Thus $x\mapsto x^k$ factors all orthogonally additive polynomials through some linear form $μ$. We show that no such linearization is possible without homogeneity. However, we also show that every orthogonally additive holomorphic functions of bounded type $f$ over $C(K)$ is of the form $$ f(x)=\int_K h(x) dμ$$ for some $μ$ and holomorphic $h\colon C(K) \to L^1(μ)$ of bounded type.
The "Up-and-down" theorem which describes the structure of the Boolean algebra of fragments of a linear positive operator is the well known result of the operator theory. We prove an analog of this theorem for a positive abstract Uryson operator defined on a vector lattice and taking values in a Dedekind complete vector lattice. This result we apply to prove that for an order narrow positive abstract Uryson operator $T$ from a vector lattice $E$ to a Dedekind complete vector lattice $F$, every abstract Uryson operator $S:E\to F$, such that $0\leq S\leq T$ is also order narrow.
We use a localisation technique to study orthogonally additive polynomials on Banach lattices. We derive alternative characterisations for orthogonal additivity of polynomials and orthosymmetry of $m$-linear mappings. We prove that an orthogonally additive polynomial which is order continuous at one point is order continuous at every point and we give an example to show that this result does not extend to regular polynomials in general. Finally, we prove a Nakano Carrier theorem for orthogonally additive polynomials, generalising a result of Kusraev.
Let $H:M_m\to M_m$ be a holomorphic function of the algebra $M_m$ of complex $m\times m$ matrices. Suppose that $H$ is orthogonally additive and orthogonally multiplicative on self-adjoint elements. We show that either the range of $H$ consists of zero trace elements, or there is a scalar sequence $\{λ_n\}$ and an invertible $S$ in $M_m$ such that $$ H(x) =\sum_{n\geq 1} λ_n S^{-1}x^nS, \quad\forall x \in M_m,%\eqno{(‡)} $$ or $$ H(x) =\sum_{n\geq 1} λ_n S^{-1}(x^t)^nS, \quad\forall x \in M_m. $$ Here, $x^t$ is the transpose of the matrix $x$. In the latter case, we always have the first repre…
We study holomorphic maps between C$^*$-algebras $A$ and $B$. When $f:B_A (0,\varrho) \longrightarrow B$ is a holomorphic mapping whose Taylor series at zero is uniformly converging in some open unit ball $U=B_{A}(0,δ)$ and we assume that $f$ is orthogonality preserving on $A_{sa}\cap U$, orthogonally additive on $U$ and $f(U)$ contains an invertible element in $B$, then there exist a sequence $(h_n)$ in $B^{**}$ and Jordan $^*$-homomorphisms $Θ, \widetildeΘ : M(A) \to B^{**}$ such that $$ f(x) = \sum_{n=1}^\infty h_n \widetildeΘ (a^n)= \sum_{n=1}^\infty Θ (a^n) h_n,$$ uniformly in $a\in U$. W…
Let $\mathcal{M}$ be a von Neumann algebra with a normal semifinite faithful trace $τ$. We prove that every continuous $m$-homogeneous polynomial $P$ from $L^p(\mathcal{M},τ)$, with $0<p<\infty$, into each topological linear space $X$ with the property that $P(x+y)=P(x)+P(y)$ whenever $x$ and $y$ are mutually orthogonal positive elements of $L^p(\mathcal{M},τ)$ can be represented in the form $P(x)=Φ(x^m)$ $(x\in L^p(\mathcal{M},τ))$ for some continuous linear map $Φ\colon L^{p/m}(\mathcal{M},τ)\to X$.
Let $A,B$ be C*-algebras, $B_A(0;r)$ the open ball in $A$ centered at $0$ with radius $r>0$, and $H:B_A(0;r)\to B$ an orthogonally additive holomorphic map. If $H$ is zero product preserving on positive elements in $B_A(0;r)$, we show, in the commutative case when $A=C_0(X)$ and $B=C_0(Y)$, that there exist weight functions $h_n$'s and a symbol map $φ: Y\to X$ such that $$ H(f)=\sum_{n\geq1} h_n (f\circφ)^n, \quad\forall f\in B_{C_0(X)}(0;r). $$ In the general case, we show that if $H$ is also conformal then there exist central multipliers $h_n$'s of $B$ and a surjective Jordan isomorphism $J:…
We provide two new characterizations of bounded orthogonally additive polynomials from a uniformly complete vector lattice into a convex bornological space using harmonic means and completely partitioned weighted geometric means. Our result involving completely partitioned weighted geometric means generalizes a recent theorem on bounded orthogonally additive polynomials by Z.A. Kusraeva as well as parts of related theorems by G. Buskes and the author.
Projections onto several special subsets in the Dedekind complete vector lattice of orthogonally additive, order bounded (called abstract Uryson) operators between two vector lattices $E$ and $F$ are considered and some new formulas are provided.
The aim of this note is to establish two Radon--Nikodym type theorems for nonnegative Hermitian forms defined on a real or complex vector space. We apply these results to prove the known Radon--Nikodym theorems of the theory of representable positive functionals, $σ$-additive and finitely additive measures.
We study the collection of finite elements $Φ_{1}(\mathcal{U}(E,F))$ in the vector lattice $\mathcal{U}(E,F)$ of orthogonally additive, order bounded (called abstract Uryson) operators between two vector lattices $E$ and $F$, where $F$ is Dedekind complete. In particular, for an atomic vector lattice $E$ it is proved that for a finite element in $ϕ\in \mathcal{U}(E,\mathbb{R})$ there is only a finite set of mutually disjoint atoms, where $ϕ$ does not vanish and, for an atomless vector lattice the zero-vector is the only finite element in the band of $σ$-laterally continuous abstract Uryson fun…
It is shown that an ordered vector space $X$ is Archimedean if and only if $\inf\limits_{τ\in\{τ\}, y\in L}(x_τ-y) \ = 0$ for any bounded decreasing net $x_τ\downarrow$ in $X$, where $L$ is the collection of all lower bounds of $\{x_τ\}_τ$. We give also a characterization of the almost Archimedean property of $X$ in terms of existence of a linear extension of an additive mapping $T:Y_+\to X_+$ of the positive cone $Y_+$ of an ordered vector space $Y$ into $X_+$.
In this paper we introduce a new class of operators on vector lattices. We say that a linear or nonlinear operator $T$ from a vector lattice $E$ to a vector lattice $F$ is atomic if there exists a Boolean homomorphism $Φ$ from the Boolean algebra $\mathfrak{B}(E)$ of all order projections on $E$ to $\mathfrak{B}(F)$ such that $Tπ=Φ(π)T$ for every order projection $π\in\mathfrak{B}(E)$. We show that the set of all atomic operators defined on a vector lattice $E$ with the principal projection property and taking values in a Dedekind complete vector lattice $F$, is a band in the vector lattice of…
