Complex vector functional equations (Q2771516)

Most of the book is about the equation NEWLINE\[NEWLINEf_1(z_1,z_2,\dots ,z_p)+f_2(z_2,\dots ,z_p,z_{p+1})+\dots+f_{n-p+1}(z_{n-p+1}, \dots ,z_n)+NEWLINE\]NEWLINE NEWLINE\[NEWLINE+f_{n-p+2}(z_{n-p+2},\dots ,z_n,z_1)+f_{n-p+3}(z_{n-p+3},\dots ,z_n,z_1,z_2)+ \dots+NEWLINE\]NEWLINE NEWLINE\[NEWLINE+f_n(z_n,z_1,\dots z_{n+p-1})=0,NEWLINE\]NEWLINE its particular cases and similar equations (for instance with more than one cycle of variables) and systems of equations, so the title Cyclic Functional Equations seems more appropriate. (On pages 92-94 also the cocycle equation \(f(x,y)+f(x+y,z)=f(x,y+z)+f(y,z)\) is briefly discussed.) Moreover, many of the equations and their solutions make sense with variables in an arbitrary set of sufficiently large cardinality and with function values in an abelian group (that would make also one equation out of some systems of equations). Later in the book there is addition and sometimes subtraction in some variables, so there they should be elements of a semigroup or of a group, respectively (occasionally the groups need to be abelian and/or divisible). In some equations variables are multiplied by constants or function values are multiplied by constants or by other function values, so a ring may be the appropriate domain or range. At places where continuity is assumed, some topology is needed. But this reviewer could not find anything that justified the restriction to the complex plane as range of the unknown functions and to its Cartesian powers as domain for the variables. Of the many works (none of them among the references in the present book) dealing with functional equations for which sets of complex numbers or complex manifolds as ranges and/or domains are essential two examples are the papers of \textit{A. Smajdor} and \textit{W. Smajdor} [Math. Z. 98, 235-242 (1967; Zbl 0166.12803)] and of \textit{E. Peschl} and \textit{L. Reich} [Arch. Math. 21, 578-582 (1971; Zbl 0223.32003)]. NEWLINENEWLINENEWLINEThe proofs are highly technical. The list of references contains papers that appeared before 1968 or after 1998 (the latter by the authors, some in collaboration with K. G. Trenčevski) and books. Much has been published, however, between 1968 and 1998 about cyclic equations [e.g., \textit{O. E. Gheorghiu}, Bull. Math. Soc. Sci. Math. Répub. Soc. Roum., Nouv. Sér. 17(65), 295-300 (1973; Zbl 0308.39007); \textit{D. S. Mitrinović }and \textit{J. Pečarić}, Cyclic inequalities and cyclic functional equations (1991; Zbl 0731.26010)] and about the cocycle equation [e.g., \textit{B. Jessen, J. Karpf}, and \textit{A. Thorup}, Math. Scand. 22, 257-265 (1968; Zbl 0183.04004); \textit{B. R. Ebanks} and \textit{C. T. Ng}, Aequationes Math. 46, No. 1-2, 76-90 (1993; Zbl 0801.39008); etc.]. NEWLINENEWLINENEWLINERemark: On page 122 the authors state ``In the more general formulation as given by \textit{D. Ž. Djokovič} [Publ. Fac. Electrotech. Univ. Belgrade, Ser. Math. Phys. 143-155, 45-50 (1965; Zbl 0147.12601)] they [Djokovič's theorems] are invalid''. An e-mail message from I. Risteski to D. Ž. Djokovič, dated April 10, 2002, seems to withdraw this claim. Anyway, in this reviewer's opinion such statements should be accompanied by counter example{s}, or the errors in the proofs should be pointed out.