Some functional equations in the space of uniform distribution functions

In this paper various functional equations which arise in the study of binary operations on the set of uniform probability distribution functions are considered and solved.     

Regularity properties of functional equations and inequalities

Summary By a well-known theorem of Lebesgue and Fréchet every measurable additive real function is continuous. This result was improved by Ostrowski who showed that a (Jensen-) convex real function must be continuous if it is bounded above on a set of positive Lebesgue measure. Recently, R. Trautner provided a short and elegant proof of the Lebesgue—Fréchet theorem based on a representation theorem for sequences on the real line.We consider here a locally compact topological groupX with some Haar measure. Then the following generalizes Trautner's theorem: Theorem.Let M be a measurable subset of X of positive finite Haar measure. Then there is a neighbourhood W of the identity e such that for each sequence (z _n )in W there is a subsequence (z _nk )and points y and x _k in M with z _nk =x _k ·y ^–1 for k . Using this theorem we obtain the following extensions of the theorems of Lebesgue and Fréchet and of Ostrowski. Theorem.Let R and T be topological spaces. Suppose that R has a countable base and that X is metrizable. If g: X R and H: R × X T are mappings where g is measurable on a set M of positive finite Haar measure and H is continuous in its first variable, then any solution f: X T of f(x · y) = H(g)(x), y) for x, yX is continuous. Theorem.Let G: X × X be a mapping. If there is a subset M of X of positive finite Haar measure such that for each yX the mapping x G(x, y) is bounded above on M, then any solution f: x of f(x · y) G(x, y) for x, yX is locally bounded above. We also prove category analogues of the above results and obtain similar results for general binary mappings in place of the group operation in the argument off.     

On two mean value properties and functional equations associated with them

Summary Motivated by different mean value properties, the functional equationsf(x) – f(y)/x–y=[(x, y)], (i)xf(y) – yf(x)/x–y=[(x, y)] (ii) (x y) are completely solved when, are arithmetic, geometric or harmonic means andx, y elements of proper real intervals. In view of a duality between (i) and (ii), three of the results are consequences of other three.The equation (ii) is also solved when is a (strictly monotonic) quasiarithmetic mean while the real interval contains 0 and when is the arithmetic mean while the domain is a field of characteristic different from 2 and 3. (A result similar to the latter has been proved previously for (i).)     

Supernumary polylogarithmic ladders and related functional equations

Summary The nature of the polylogarithmic ladder is briefly reviewed, and its close relationship to the associated cyclotomic equation explained. Generic results for the base determined by the family of equationsu ^p +u ^q = 1 are developed, and many new supernumary ladders, existing for particular values ofp andq, are discussed in relation to theirad hoc cyclotomic equations. Results for ordersn from 6 through 9, for which no relevant functional equations are known, are reviewed; and new results for the base , where ³ + = 1, are developed through the sixth order.Special results for the exponentp from 4 through 6 are determined whenever a new cyclotomic equation can be constructed. Only the equationu ⁵+u ³ = 1 has so far resisted this process. The need for the constraint (p,q) = 1 is briefly considered if redundant formulas are to be avoided.The equationu ^6m+1 +u ^6r–1 = 1 is discussed and some valid results deduced. This equation is divisible byu ² –u + 1, and the quotient polynomial is useful for constructing cyclotomic equations. The casem = 1,r = 2 is the first example encountered for which no valid ladders have yet been found.New functional equations to give the supernumary -ladders of index 24 are developed, but their construction runs into difficulty at the third order, apparently requiring the introduction of an adjoint set of variables that blocks the extension to the fourth order.A demonstration, based on the indices of existing accessible and supernumary ladders, indicates that functional equations based on arguments ±z ^m (1–z) ^r (1 +z) ^s are not capable of extension to the sixth order.There are some miscellaneous supernumary ladders that seem incapable, at this time, of analytic proof, and these are briefly discussed. In conclusion, applications of ladders are considered, and attention drawn to the existence of ladders with the base on the unit circle giving rise to Clausenfunction formulas which may play an important role inK-theory.     

On approximate solutions of the Pexider equation

Summary LetX be an abelian (topological) group andY a normed space. In this paper the following functional inequality is considered: {ie143-1} This inequality is a similar generalization of the Pexider equation as J. Tabor's generalization of the Cauchy equation (cf. [3], [4]). The solutions of our inequality have similar properties as the solutions of the Pexider equation. Continuity and related properties of the solutions are investigated as well.Dedicated to the memory of Alexander M. Ostrowski on the occasion of the 100th anniversary of his birth.     

Characteristic functional equations of polynomials and the morera-carleman theorem

Several characteristic functional equations satisfied by classes of polynomials of bounded degree are examined in connection with certain generalizations of the Morera-Carleman Theorem. Certain functional equations which have nonanalytic polynomial solutions are also considered.     

On an application of hypoellipticity to solutions of functional equations

Summary We study the regularity of solutions of functional equations of a generalized mean value type. In this paper we give sufficient conditions for the regularity by using hypoellipticity which is a concept of the theory of partial differential equations. We also give an affirmative answer to a conjecture of H. wiatak. A part of the results was announced in the comprehensive paper [8] on our joint works. To prove the regularity of solutions of functional equations is one of the central problems in the theory of functional equations (see [1]).