On $L_p$-integrability of functions with general monotone Fourier coefficients

Basic Information

• Paper ID: 2510.14458
• Title: On $L_p$-integrability of functions with general monotone Fourier coefficients
• Authors: A. Mukanov, E. Nursultanov
• Classification: math.CA (Classical Analysis and ODEs)
• Publication Date: October 16, 2025
• Paper Link: https://arxiv.org/abs/2510.14458v1

Abstract

This paper introduces new classes of general monotone sequences and investigates their properties. Hardy-Littlewood type theorems are established for functions whose Fourier coefficients belong to these classes.

Research Background and Motivation

Core Problem

The core problem addressed in this research is establishing the relationship between integrable functions $f(x)$ and their Fourier coefficient sequences, particularly Hardy-Littlewood type theorems in the case of complex coefficients.

Problem Significance

The Hardy-Littlewood theorem is a classical result in harmonic analysis, providing equivalence between the $L^p$ norm of a function and the Paley-type functional of its Fourier coefficients. This theorem has important applications in function approximation theory, harmonic analysis, and partial differential equations.

Limitations of Existing Methods

1. Strict coefficient restrictions: Traditional Hardy-Littlewood theorems require Fourier coefficients to be non-negative, non-increasing sequences
2. Difficulty with complex coefficients: Existing generalizations primarily address real coefficients or complex coefficients within specific sectors
3. Condition separability: For series of the form $\sum_{k=1}^{\infty}(a_k\cos kx + b_k\sin kx)$, both $\{a_k\}$ and $\{b_k\}$ must satisfy general monotonicity

Research Motivation

The authors aim to define new sequence classes $\{a_k\}_{k=-\infty}^{\infty}$ such that for any $1 < p < \infty$, we have $\|f\|_{L^p([-\pi,\pi])} \asymp J_p(f)$, where $J_p(f)$ is a Paley-type functional.

Core Contributions

1. Introduction of new general monotone classes: Two new classes of general monotone sequences $GM^*$ and $\overline{GM}$ are defined
2. Establishment of Hardy-Littlewood type theorems: Hardy-Littlewood type equivalences are proven for sequences in these new classes
3. Extended applicability:
   • Allows complex Fourier coefficients
   • Imposes no additional restrictions beyond general monotonicity
   • Valid for the entire range $1 < p < \infty$
4. Compensation effects: The newly defined classes possess compensation effects, allowing certain parts of sequences to perform poorly
5. Alternating series treatment: Equivalences for alternating series are established using Fourier $L^p$-multipliers

Detailed Methodology

Problem Formulation

For integrable functions $f(x) \sim \sum_{k=-\infty}^{\infty} a_k e^{ikx}$ defined on $[-\pi,\pi]$, establish equivalence between $\|f\|_{L^p}$ and the Paley-type functional $J_p(f) := \left(\sum_{k=-\infty}^{\infty} (|k|+1)^{p-2}|a_k|^p\right)^{1/p}$

Core Definitions

Definition 3 ($GM^*$ class)

A sequence $\{a_m\}_{m=-\infty}^{\infty}$ belongs to the $GM^*$ class if there exists $C > 0$ such that for all $n \geq 0$: $\sum_{[2^{n-1}] \leq |m| < 2^n} |\Delta a_m| \leq C \sup_{k \in \mathbb{N}_0} \min(1, 2^{k-n})\tilde{a}_{2^k}$

where $\tilde{a}_{2^k} = \sup_{w \in \mathcal{W}, |w| \geq 2^k} \frac{1}{|w|}\left|\sum_{j \in w} a_j\right|$

Definition 4 ($\overline{GM}$ class)

A sequence $\{a_m\}_{m=-\infty}^{\infty}$ belongs to the $\overline{GM}$ class if there exists $C > 0$ such that for all $n \geq 0$: $\sum_{[2^{n-1}] \leq |m| < 2^n} |\Delta a_m| \leq C \sup_{k \in \mathbb{N}_0} \min(1, 2^{k-n})\hat{a}_{2^k}$

where $\hat{a}_{2^k} = \sup_{2^k \leq |m| < 2^{k+1}} \frac{1}{|m|+1}\left|\sum_{j=0}^m a_j\right|$

Technical Innovations

1. Net space methodology: Utilizes net spaces $n^{p,q}$ as the primary tool, a new concept introduced by Nursultanov
2. Bidirectional averaging: The newly defined averages $\tilde{a}_{2^k}$ and $\hat{a}_{2^k}$ simultaneously involve sequence elements with positive and negative indices
3. Compensation mechanism: Through averaging effects, allows certain parts of sequences to violate traditional monotonicity requirements

Experimental Framework

Theoretical Verification Framework

This paper is primarily theoretical work, with results verified through rigorous mathematical proofs. Main components include:

1. Lemma verification: Establishes fundamental inequalities in net spaces
2. Theorem proofs: Proves main theorems through constructive methods
3. Counterexample construction: Demonstrates advantages of new classes through concrete examples

Comparative Analysis

Comparison with existing general monotone classes:

• $GM_R$ (real-valued general monotone class)
• $GM_{\alpha,\beta}$ (complex class within sectors)
• Traditional monotone decreasing classes

Experimental Results

Main Theorems

Theorem 1

Let $1 < p < \infty$ and $f \in L^1([-\pi,\pi])$ with Fourier series $\sum_{k=-\infty}^{\infty} a_k e^{ikx}$. If $a = \{a_k\}_{k=-\infty}^{\infty} \in GM^*$, then $\|f\|_{L^p([-\pi,\pi])} \asymp J_p^*(f)$

where $J_p^*(f) = \left(\sum_{k=-\infty}^{\infty} (|k|+1)^{p-2}(a_k^*)^p\right)^{1/p}$ and $\{a_k^*\}$ is the symmetric non-increasing rearrangement of $\{a_k\}$.

Theorem 2

Let $1 < p < \infty$ and $f \in L^1([-\pi,\pi])$ with Fourier series $\sum_{k=-\infty}^{\infty} a_k e^{ikx}$. If $a = \{a_k\}_{k=-\infty}^{\infty} \in \overline{GM}$, then $\|f\|_{L^p([-\pi,\pi])} \asymp J_p(f)$

Class Relationships

The following inclusion relationships are rigorously established:

• $\overline{GM} \subseteq GM^*$
• $GM_R \subsetneq \overline{GM}$
• $GM_{\alpha,\beta} \subset \overline{GM}$

Compensation Effect Examples

Proposition 2

There exist sequences $\{a_k\}_{k=1}^{\infty} \notin GM_R$, $\{b_k\}_{k=1}^{\infty} \in GM_R$ such that $\{c_k\}_{k=-\infty}^{\infty} \in \overline{GM}$, where $c_k = \begin{cases} a_k + ib_k, & k > 0 \\ 0, & k \leq 0 \end{cases}$

This demonstrates that the newly defined classes extend the applicable range through compensation effects.

Related Work

Classical Hardy-Littlewood Theorem

The original Hardy-Littlewood theorem requires non-negative, non-increasing coefficients. This paper represents an important generalization of this classical result.

General Monotonicity Concepts

The concept of general monotonicity and weak monotonicity introduced by Tikhonov provides the theoretical foundation for this work. Related contributions include:

• Multiple studies by Dyachenko and Tikhonov
• Work by Grigoriev et al. on complex coefficients
• Survey work by Belov et al.

Net Space Theory

Nursultanov's net space theory serves as the primary technical tool in this paper and has been widely applied to:

• Fourier analysis
• Approximation theory
• Fourier multiplier theory

Conclusions and Discussion

Main Conclusions

1. Validity of new classes: The $GM^*$ and $\overline{GM}$ classes provide a broader framework for Hardy-Littlewood type theorems
2. Complex coefficient treatment: Successfully handles general complex coefficients without additional restrictions
3. Compensation mechanism: New definitions possess compensation effects, allowing sequences to locally violate traditional conditions

Limitations

1. Technical complexity: The newly defined conditions are relatively complex, making practical verification potentially difficult
2. Computational complexity: Involved averaging calculations may be computationally intensive in practical applications
3. Boundary cases: Cases $p = 1$ and $p = \infty$ are not addressed

Future Directions

1. Multidimensional generalizations: Extend results to multidimensional settings
2. Application exploration: Applications in partial differential equations and approximation theory
3. Algorithm implementation: Develop effective numerical algorithms to verify new conditions

In-Depth Evaluation

Strengths

1. Strong theoretical innovation: The introduced new classes possess significant theoretical value
2. Rigorous and complete proofs: Mathematical proofs are rigorous with clear logic
3. Significant generalization: Substantially extends the applicability of the Hardy-Littlewood theorem
4. Advanced technical methods: Application of net space methodology reflects the technical level of modern harmonic analysis

Weaknesses

1. Limited practical utility: Primarily theoretical results; practical application value requires further verification
2. Complex conditions: New definitions may be difficult to verify in practical problems
3. Insufficient examples: While counterexamples are provided, positive application examples are relatively limited

Impact

This work has significant impact on the harmonic analysis field:

1. Theoretical contribution: Provides new theoretical framework for Fourier series theory
2. Methodological value: Application of net space methodology offers new perspectives for related problems
3. Foundation for future research: Establishes foundation for further generalizations

Applicable Scenarios

1. Theoretical research: Theoretical research in harmonic and Fourier analysis
2. Function approximation: Function approximation problems with special Fourier coefficient structures
3. Partial differential equations: Solving partial differential equations involving Fourier methods

References

The paper cites 37 related references, primarily including:

• Classical works by Hardy and Littlewood
• Series of studies by Tikhonov on general monotonicity
• Nursultanov's net space theory
• Important recent literature on related generalizations

Overall Assessment: This is a high-quality theoretical mathematics paper with significant contributions to harmonic analysis. While primarily theoretical, its innovative concepts and rigorous proofs provide important impetus for the development of the field.