D'Alembert's functional equation on restricted domains

Summary In the class of functionalsf:X , whereX is an inner product space with dimX 3, we study the D'Alembert functional equationf(x + y) + f(x – y) = 2f(x)f(y) (1) on the restricted domainsX ₁ = {(x, y) X ²/x, y = 0} andX ₂ = {(x, y) X ²/x = y}. In this paper we prove that the equation (1) restricted toX ₁ is not equivalent to (1) on the whole spaceX. We also succeed in characterizing all common solutions if we add the conditionf(2x) = 2f²(x) – 1. Using this result, we prove the equivalence between (1) restricted toX ₂ and (1) on the whole spaceX. This research follows similar previous studies concerning the additive, exponential and quadratic functional equations.     

On an alternative functional equation related to the Cauchy equation

We consider the following problem: Let (G, +) be an abelian group,B a complex Banach space,a, bB,b0,M a positive integer; find all functionsf:G B such that for every (x, y) G ×G the Cauchy differencef(x+y)–f(x)–f(y) belongs to the set {a, a+b, a+2b, ...,a+Mb}. We prove that all solutions of the above problem can be obtained by means of the injective homomorphisms fromG/H intoR/Z, whereH is a suitable proper subgroup ofG.     

Stability of the Cauchy congruence on restricted domain

Let S be a real interval with , and be a function satisfying We show that if h is Lebesgue or Baire measurable, then there exists such that That result is motivated by a question of E. Manstaviius. Received: 11 February 2003     

Wilson's functional equation on C

Summary We find the complete set of continuous solutionsf, g of Wilson's functional equation _{n = 0} ^{N – 1} f(x + wⁿy) = Nf(x)g(y), x, y C, given a primitiveN ^th rootw of unity.Disregarding the trivial solutionf = 0 andg any complex function, it is known thatg satisfies a version of d'Alembert's functional equation and so has the formg(z) = g (z) = N^–1 _{n = 0} ^{N – 1} E(wⁿz) for some C². HereE ₍₁, ₂)(x + iy) = exp( ₁x + ₂).For fixedg = g the space of solutionsf of Wilson's functional equation can be decomposed into theN isotypic subspaces for the action of Z _N on the continuous functions on C. We prove that ther ^th component, wherer {0, 1, ,N – 1}, of any solution satisfies the signed functional equation _{n = 0} ^{N – 1} f(x + wⁿy)w^nr = Ng(x)f(y), x, y C. We compute the solution spaces of each of these signed equations: They are 1-dimensional and spanned byz _{n = 0} ^{N – 1} w^nr E(wⁿz), except forg = 1 andr 0 where they are spanned by andz ^{N – r}. Adding the components we get the solution of Wilson's equation. Analogous results are obtained with the action ofZ _N on C replaced by that ofSO(2).The case ofg = 0 in the signed equations is special and solved separately both for Z _N andSO(2).     

Jensen's functional equation on groups

Summary A natural extension of Jensen's functional equation on the real line is the equationf(xy) + f(xy ^–1 ) = 2f(x), wheref maps a groupG into an abelian groupH. We deduce some basic reduction formulas and relations, and use them to obtain the general solution on special groups.     

On Jensen's functional equation

Summary Letf be a map from a groupG into an abelian groupH satisfyingf(xy) + f(xy ^–1) = 2f(x), f(e) = 0, wherex, y G ande is the identity inG. A set of necessary and sufficient conditions forS(G, H) = Hom(G, H) is given whenG is abelian, whereS(G, H) denotes all the solutions of the functional equation. The case whenG is non-abelian is also discussed.     

On the Baxter functional equation

Summary A new shorter proof is given for the Theorem of P. Volkmann and H. Weigel determining the continuous solutionsf:R R of the Baxter functional equationf(f(x)y + f(y)x – xy) = f(x)f(y). The proof is based on the well known theorem of J. Aczél describing the continuous, associative, and cancellative binary operations on a real interval.