Dice Question Streamline Icon: https://streamlinehq.com

Nonnegative Schauder bases in L^p(R) for p = 1 and p = 2

Determine whether L^p(R) admits a Schauder basis consisting entirely of nonnegative functions for p = 1 and p = 2.

Information Square Streamline Icon: https://streamlinehq.com

Background

The literature has produced nonnegative Schauder bases in certain settings (e.g., L1(0,∞) and L2 spaces), and this paper constructs Schauder frames of translates with nonnegative generators. However, the existence of nonnegative Schauder bases specifically on L1(R) and L2(R) remains unresolved.

This question concerns the stronger demand of a basis (uniqueness of expansion) with the added structural constraint of pointwise nonnegativity of basis elements.

References

The existence of such a basis in L (R), p = 1,2, remains open.

Schauder frames of discrete translates in $L^p(\mathbb{R})$ (2402.09915 - Lev et al., 15 Feb 2024) in Section 5.1