No label defined (Q4937972)

Let \(X_1,\dots,X_n\) and \(Y_1,\dots,Y_n\) be topological spaces, \(X=X_1\times \dots \times X_n\) and \(Y=Y_1\times \dots\times Y_n\). Furthermore let \(K_1,\dots,K_n\) be compact topological spaces equipped with complex Borel measures \(\mu_1,\dots,\mu_n\) such that \(\mu_1(K_1)=\dots=\mu_n(K_n)=1\). Suppose that the continuous mappings \(\Phi_i:X_i\times K_i\times Y_i\to X_i\) \((i=1,\dots,n)\) are given they satisfy the following condition: For each \(i=1,\dots,n\) there exists an \(e_i\in Y_i\) such that \(\Phi_i(x_i,k_i,e_i)=x_i\) for all \(x_i\in X_i\) and \(k_i\in K_i\). The functional equations \[ \int_{K_1\times\dots\times K_n} f(\Phi_1(x_1,k_1,y_1),\dots, \Phi_n(x_n,k_n,y_n)) d\mu_1(k_1)\dots d\mu_n(k_n)= f(x)h_1(y)+h_2(y) \quad \text{and}\tag{1} \] \[ \sum^n_{i=1} \int_{K_i} F(x_1,\dots,\Phi_i(x_i,k_i,y_i),\dots,x_n) d \mu_i(k_i)= F(x)p(y)+q(y), \tag{2} \] which hold for all \(x=(x_1,\dots,x_n)\in X\) and \(y=(y_1,\dots,y_n)\in Y\), are called the generalized rectangular and rhombic functional equation for the triples of unknown functions \((f,h_1,h_2)\) and \((F,p,q)\), respectively. In the paper a bijection of the set of continuous solutions to (1) onto the set of the continuous solutions to (2) is constructed.