The local structure of the solutions of the multidimensional translation equation

Summary The general solution of the multidimensional translation equation, which was considered by J. Aczél, L. Berg and Z. Moszner under conditions guaranteeing that it exists globally, is considered here locally, under certain differentiability conditions.     

A functional equation of Ih-Ching Hsu

Summary A recent note of Ih-Ching Hsu poses an unsolved problem, to wit, the general solution of the functional equation g(x₁, x₂) + g(₁(x₁), ₂(x₂)) = g(x₁, ₂(x₂)) + g(₁(x₁),x₂), where the _i are given functions. This short paper obtains the general solution. It gives conditions which imply that anycontinuous solution has form g₁(x₁) + g₂(x₂).     

General theory of the translation equation

Summary This paper gives a survey of the results of the general theory of translation equation which appeared after 1973.     

On a functional equation related to income inequality measures

The functional equationg(u, x)+g(v, y)=g(u, y)+g(v, x) for allu, v, x, y>0 withu+v=x+y is initiated by F. A. Cowell and A. F. Shorrocks in their research on the aggregation of inequality indices. We solve the equation by extension theorems.Dedicated to Professor Janos Aczél on his 60th birthday     

An elementary proof of strong normalization for intersection types

We provide a new and elementary proof of strong normalization for the lambda calculus of intersection types. It uses no strong method, like for instance Tait-Girard reducibility predicates, but just simple induction on type complexity and derivation length and thus it is obviously formalizable within first order arithmetic. To obtain this result, we introduce a new system for intersection types whose rules are directly inspired by the reduction relation. Finally, we show that not only the set of strongly normalizing terms of pure lambda calculus can be characterized in this system, but also that a straightforward modification of its rules allows to characterize the set of weakly normalizing terms. Received: 15 June 1998 / Revised version: 15 November 1999 / Published online: 15 June 2001     

A conditional dilatation equation

Summary The following theorem holds true. Theorem. Let X be a normed real vector space of dimension 3 and let k > 0 be a fixed real number. Suppose that f: X X and g: X × X are functions satisfying x – y = k f(x) – f(y) = g(x, y)(x – y) for all x, y X. Then there exist elements and t X such that f(x) = x + t for all x X and such that g(x, y) = for all x, y X with x – y = k.     

The associativity equation revisited

Summary Consideration of the Associativity Equation,x (y z) = (x y) z, in the case where:I × I I (I a real interval) is continuous and satisfies a cancellation property on both sides, provides a complete characterization of real continuous cancellation semigroups, namely that they are topologically order-isomorphic to addition on some real interval: ( – ,b), ( – ,b], –, +), (a, + ), or [a, + ) — whereb = 0 or –1 anda = 0 or 1. The original proof, however, involves some awkward handling of cases and has defied streamlining for some time. A new proof is given following a simpler approach, devised by Páles and fine-tuned by Craigen.     

Generalized fundamental equation of information of multiplicative type

The general solution of the generalized multidimensional fundamental equation of information of multiplicative type on the open domain is obtained. Dedicated to Professor Otto Haupt with best wishes on his 100th birthday.