[Paper Review] Muntz type Theorems I

J. M. Almira|ArXiv.org|Oct 18, 2007

Mathematical functions and polynomials24 references17 citations

TL;DR

This paper provides a comprehensive analysis of Müntz-type theorems in the univariate setting under the uniform norm, offering multiple detailed proofs of the classical Müntz theorem and extending it to the Full Müntz Theorem for compact subsets of [0,∞). The key contribution is a characterization of when Müntz spaces spanned by monomials $ x^{ au_k} $ are dense in $ C(K) $, with the critical condition being the divergence of the series $ \sum_{k=1}^\infty \frac{1}{\lambda_k} $.

ABSTRACT

In this paper, we concentrate our attention on the Muntz problem in the univariate setting and for the uniform norm.

Motivation & Objective

• To provide a detailed, self-contained exposition of the classical Müntz theorem in the context of uniform approximation on [0,1].
• To extend the classical result to the Full Müntz Theorem, characterizing the closure of Müntz spaces on arbitrary compact subsets $ K \subset [0,\infty) $.
• To unify and compare multiple proof techniques—functional analysis, complex analysis, Gram determinants, and divided differences—highlighting connections across mathematical fields.
• To lay the foundation for future work on advanced topics such as Müntz theorems on complex domains, integral coefficient polynomials, and p-adic settings.

Proposed method

• Uses the Weierstrass Approximation Theorem to reduce density in $ C[0,1] $ to the uniform convergence of best approximations of monomials $ x^q $ by Müntz polynomials.
• Applies Gram determinant techniques in $ L^2(0,1) $ to estimate $ L^2 $-norm errors, leveraging Cauchy's determinant formula for $ \det(1/(1 + a_i + a_j)) $.
• Employs complex analysis by considering analytic functionals $ \varphi(z) = \sum \alpha_j z^{p_j} $ with $ p_j \to 0 $, and uses the identity theorem to show vanishing of coefficients.
• Analyzes entire functions of exponential type $ \Psi(z) = \sum \alpha_i \exp((\log t_i)z) $ to study zero sets and derive conditions for triviality of functionals vanishing on $ \{x^{\lambda_k}\} $.
• Applies the principle that a holomorphic function vanishing on a set with an accumulation point in its domain must vanish identically, used to prove linear independence and density.
• Uses duality between $ C(K)^* $ and Müntz spaces, showing that if a functional vanishes on all $ x^{\lambda_k} $, then it must be zero, which implies density if the exponent series diverges.

Experimental results

Research questions

• RQ1 Under what conditions on the exponent sequence $ \Lambda = (\lambda_k) $ is the Müntz space $ \Pi(\Lambda) $ dense in $ C[0,1] $ under the uniform norm?
• RQ2 How can the classical Müntz theorem be proven using multiple distinct mathematical frameworks, such as Hilbert space theory, complex analysis, and divided differences?
• RQ3 What is the precise characterization of the closure of $ \Pi(\Lambda) $ in $ C(K) $ when $ \Pi(\Lambda) $ is not dense, for arbitrary compact $ K \subset [0,\infty) $?
• RQ4 Can the Full Müntz Theorem be extended to cases where $ K $ contains 0 and has no increasing sequences, such as $ K = \{0\} \cup \{1/n\} \cup \{1/n + 1/m\} $?
• RQ5 What are the structural properties of zero sets of Müntz-type series $ \varphi(z) = \sum \alpha_j z^{p_j} $ with $ p_j \to 0 $, and of entire functions of exponential type $ \Psi(z) $, in relation to density?

Key findings

• The classical Müntz theorem holds: $ \overline{\Pi(\Lambda)} = C[0,1] $ if and only if $ \sum_{k=1}^\infty \frac{1}{\lambda_k} = \infty $, where $ \lambda_k > 0 $ and $ \lambda_k \to \infty $.
• The Full Müntz Theorem characterizes the closure of $ \Pi(\Lambda) $ in $ C(K) $ for any compact $ K \subset [0,\infty) $: the space is dense if and only if $ \sum_{k=1}^\infty \frac{1}{\lambda_k} = \infty $, provided $ 0 \in K $ or $ K \setminus \{0\} $ is compact.
• For $ K \setminus \{0\} $ compact and $ \Lambda \subset \mathbb{R} $, the Müntz space is dense in $ C(K) $ if and only if $ \sum_{k=1}^\infty \frac{1}{|\lambda_k|} = \infty $, even when $ \lambda_k \to 0 $ or $ \lambda_k < 0 $.
• An elementary proof is given for the case where $ \Lambda $ is bounded: if $ \Lambda $ is bounded and $ \sum |\lambda_k|^{-1} = \infty $, then $ \Pi(\Lambda) $ is dense in $ C(K) $, avoiding reliance on deep complex analysis.
• The paper shows that if a functional $ L \in C^*(K) $ vanishes on all $ x^{\lambda_k} $, then $ L \equiv 0 $, provided $ \sum \frac{1}{\lambda_k} = \infty $, which implies density via the Hahn-Banach theorem.
• The paper identifies open problems: whether there exist Müntz-type series $ \varphi(z) = \sum \alpha_j z^{p_j} $ with $ p_j \to 0 $ and infinitely many zeros accumulating at 0, and whether entire functions of exponential type can have infinite zero sets accumulating at a point.