Banach function norms via Cauchy polynomials and applications

Let X-1,...,X-k be quasinormed spaces with quasinorms vertical bar.vertical bar(j), j = 1,..., k, respectively. For any f = (f(1),...,f(k)) is an element of X-1 x...x X-k let rho(f) be the unique non-negative root of the Cauchy polynomial p(f)(x) = x(k) - Sigma(k)(j=1) vertical bar f(j)vertical bar(j)(j) x(k-j). We prove that rho(.) (which in general cannot be expressed by radicals when k >= 5) is a quasinorm on X-1 x...x X-k, which we call root quasinorm, and we find a characterization of this quasinorm as limit of ratios of consecutive terms of a linear recurrence relation. If X-1,...,X-k are normed, Banach or Banach function spaces, then the same construction gives respectively a normed, Banach or a Banach function space. Norms obtained as roots of polynomials are already known in the framework of the variable Lebesgue spaces, in the case of the exponent simple function with values 1,..., k. We investigate the properties of the root quasinorm and we establish a number of inequalities, which come from a rich literature of the past century.