Additive solvability and linear independence of the solutions of a system of functional equations
The aim of this paper is twofold. On one hand, the additive solvability of the system of functional equations dk(xy)=∑i=0kΓ(i,k−i)di(x)dk−i(y)(x,y∈R,k∈{0,…,n}) is studied, where $Δ_n:=\big\{(i,j)\in\Z\times\Z\mid 0\leq i,j\mbox{and}i+j\leq n\big\}$ and Γ:Δn→R is a symmetric function such that Γ(i,j)=1 whenever i⋅j=0. On the other hand, the linear dependence and independence of the additive solutions d0,d1,…,dn:R→R of the above system of equations is characterized. As a consequence of the main result, for any nonzero real derivation d:R→R, the iterates d0,d1,…,dn of d are shown to be linearly independent, and the graph of the mapping x↦(x,d1(x),…,dn(x)) to be dense in Rn+1.