Continuity properties of polynomials on locally compact abelian groups (Q2373344): Difference between revisions

There exists an extensive literature on ``improvimg regularity of solutions of functional equations'' (say, proving that all measurable solutions of an equation are continuous or even differentiable), see e.g. \textit{A. Járai} [Regularity properties of functional equations in several variables, Springer, New York (2005; Zbl 1081.39022)]. This paper is based rather on the results of \textit{L. Székelyhidi} [Convolution type functional equations on topological abelian groups, World Scientific, Singapore-London (1991; Zbl 0748.39003)]. On an abelian group \(X,\) an algebraic polynomial is a functon \(f:X\to\mathbb{R},\) that is solution of the Fréchet functional equation \(\Delta_h^{n+1}f(x)=0,\) where \(\Delta_h f(x)=f(x+h)-f(x)\) and \(\Delta_h^{k+1}=\Delta_h(\Delta_h^k).\) The author offers the following main results for locally compact abelian groups \(X=\mathbb{R}^m\times G \;(m\geq 0,\: G\) contains a compact open subgroup): An algebraic polynomial on \(X\) is continuous iff zero has a neighborhood in \(X\) consisting of elements of finite order. If all elements of \(G\) are compact and each neighborhood of zero in \(X\) contains an element of infinite order then all algebraic polynomials, measurable on a set of finite positive measure, are continuous. If, however, \(G\) contains a noncompact element then there exists an algebraic polynomial on X that is measurable on a set of finite positive measure, but is not continuous.