2025-11-19T13:40:25.420717

On the weighted Wiener-LÃ©vy theorem: analogue on Euclidean space, strong converse on LCA group and applications to modulation spaces

Bhimani, Solanki

We consider the space (weighted Fourier algebra) of Banach algebra valued functions $A^q_Ï(Î,\cX),$ which consists of all Fourier transforms of functions in $L^q_Ï(G,\cX)$. Here $Ï$ is a Beurling-Domar type weight on a discrete abelian group $G$, $Î$ is the dual of $G$, and $\cX$ is a unital commutative Banach algebra. We shall prove a strong converse of the Wiener-LÃ©vy theorem in vector valued weighted setting. Specifically, we proved that if $F$ is a $\cX-$valued function defined on $\mathbb{C}$ such that the composition $F\circ f:Î\to\cX$ is in $A^q(Î,\cX)$ ($1\leq q <2$) for all $f\in A^1_Ï(Î,\mathbb{C})$, then $F$ must be real analytic on $\mathbb R^2$. Here the range of $q$ is sharp. Further, its multivariate analogue and analogue for locally compact abelian $G$ are also established. This is the first result which generalizes the classic theorems of Helson, Kahane, Katznelson and Rudin \cite{helson,rud} in the presence of proposed weight. On the other hand, we established the analogue of Wiener-LÃ©vy theorem in Euclidean Fourier algebra $A_Ï^q(\mathbb R^d)$ for a weight $Ï$ of regular growth. As an application, we establish similar results for weighted modulation, Wiener amalgam and Fourier amalgam spaces. This complements the work of Bhimani-Ratnakumar \cite{bhimani2016functions} and Feichtinger-Kobayashi-Sato \cite{HGWL1, HGWL2}; and enables us to shed light on nonlinearity while understanding the dynamics of dispersive PDE in these spaces.

academic

On the weighted Wiener-Lévy theorem: analogue on Euclidean space, strong converse on LCA group and applications to modulation spaces

基本信息

论文ID: 2507.16516
标题: On the weighted Wiener-Lévy theorem: analogue on Euclidean space, strong converse on LCA group and applications to modulation spaces
作者: Divyang G. Bhimani, Karishman B. Solanki
分类: math.FA (函数分析)
发表时间: 2025年7月30日提交至arXiv，2025年10月14日修订
论文链接: https://arxiv.org/abs/2507.16516v2

摘要

本文研究加权Fourier代数 $A^q_\omega(\Gamma,\mathcal{X})$ 中的Banach代数值函数空间，该空间由 $L^q_\omega(G,\mathcal{X})$ 中函数的Fourier变换构成。这里 $\omega$ 是离散Abel群 $G$ 上的Beurling-Domar型权重， $\Gamma$ 是 $G$ 的对偶群， $\mathcal{X}$ 是单位交换Banach代数。作者证明了向量值加权环境下Wiener-Lévy定理的强逆定理：如果 $F$ 是定义在 $\mathbb{C}$ 上的 $\mathcal{X}$ 值函数，使得对所有 $f\in A^1_\omega(\Gamma,\mathbb{C})$ ，复合函数 $F\circ f:\Gamma\to\mathcal{X}$ 属于 $A^q(\Gamma,\mathcal{X})$ （ $1\leq q <2$ ），则 $F$ 必须在 $\mathbb{R}^2$ 上实解析。文章还建立了多变量类似结果以及局部紧Abel群的情形，并将结果应用到加权调制空间、Wiener合成空间和Fourier合成空间中。

研究背景与动机

问题背景

经典的Wiener定理指出，如果 $f \in A(\mathbb{T})$ （单位圆上绝对收敛Fourier级数的函数类）且 $f$ 处处非零，则 $1/f \in A(\mathbb{T})$ 。Lévy将此推广为：如果 $F$ 在包含 $f$ 值域的某个邻域内解析，则 $F \circ f \in A(\mathbb{T})$ 。这一结果的逆定理由Katznelson等人建立，形成了著名的Wiener-Lévy-Katznelson定理。

研究动机

权重的重要性：在分析中，权重函数被广泛应用于量化增长和衰减条件，在信号理论、框架理论、采样理论、Gabor分析等领域有重要应用。
向量值情形：在算子理论中，经常需要研究Banach空间或Hilbert空间上的算子值函数，因此向量值类似结果具有重要意义。
非线性映射：复合算子是非线性映射的简单例子，这一知识在研究非线性偏微分方程中起到关键作用。
现有局限性：虽然加权空间的Wiener-Lévy定理已有研究，但在向量值加权环境下的强逆定理尚未建立。

核心贡献

建立了向量值加权环境下Wiener-Lévy定理的强逆定理：这是首次在所提权重存在下推广Helson, Kahane, Katznelson和Rudin的经典定理。
证明了参数 $q$ 的范围是尖锐的：当 $q=2$ 时结论不成立，函数 $F(z)=|z|$ （非实解析）可作为反例。
建立了欧几里得Fourier代数中的类似结果：对于正则增长权重 $\omega$ ，在 $A^q_\omega(\mathbb{R}^d)$ 中建立了Wiener-Lévy定理的类似结果。
应用到时频分析空间：将结果应用到加权调制空间、Wiener合成空间和Fourier合成空间，补充了相关领域的工作。
揭示了色散偏微分方程中的非线性现象：结果有助于理解这些空间中色散PDE的动力学。

方法详解

基本设置和定义

权重函数定义：

权重 $\omega: G \to [1,\infty)$ 满足次乘性条件： $\omega(x+y) \leq \omega(x)\omega(y)$
可容许权重满足Beurling-Domar条件： $\sum_{n\in\mathbb{N}} \frac{\log\omega(nx)}{n^2} < \infty$
$q$ -代数权重满足次卷积性和积分条件

加权Fourier代数： $A^q_\omega(\Gamma,\mathcal{X}) = \{\hat{f} : \Gamma \to \mathcal{X} : f \in L^q_\omega(G,\mathcal{X})\}$

主要定理

定理1.4（强逆定理）：设 $1 \leq q < 2$ ， $G$ 为局部紧非紧Abel群， $\Gamma$ 为其对偶群， $\omega$ 为可容许权重， $\mathcal{X}$ 为单位交换Banach代数。如果复合算子 $T_F$ 满足以下条件之一：

$T_F$ 将 $A^1_\omega(\Gamma,\mathbb{C}^2)$ 映射到 $A^q(\Gamma,\mathbb{C}^2)$
$T_F$ 将 $A^1_\omega(\Gamma,\mathbb{C})$ 映射到 $A^q(\Gamma,\mathcal{X})$
$T_F$ 作用在 $A^q_\omega(\Gamma,\mathbb{C}^2)$ 上
$T_F$ 作用在 $A^q_\omega(\Gamma,\mathcal{X})$ 上

则 $F$ 在其定义域内实解析，且当 $G$ 非离散时 $F(0)=0$ 。

定理1.5（充分条件）：设 $\omega$ 为 $\mathbb{R}^d$ 上正则增长的可容许权重。如果 $F: I \to \mathcal{X}$ （ $I \subset \mathbb{C}$ ）实解析且 $F(0)=0$ ，则 $T_F$ 作用在 $A^q_\omega(\mathbb{R}^d,\mathcal{X})$ 上。