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

가중 Wiener-Lévy 정리에 관하여: 유클리드 공간에서의 유사 정리, LCA 군에서의 강한 역정리 및 조절 공간으로의 응용

기본 정보

논문 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

초록

본 논문은 $L^q_\omega(G,\mathcal{X})$ 의 함수들의 푸리에 변환으로 구성된 가중 푸리에 대수 $A^q_\omega(\Gamma,\mathcal{X})$ 에서 바나흐 대수값 함수 공간을 연구한다. 여기서 $\omega$ 는 이산 아벨 군 $G$ 위의 Beurling-Domar 형 가중함수이고, $\Gamma$ 는 $G$ 의 쌍대군이며, $\mathcal{X}$ 는 단위 교환 바나흐 대수이다. 저자들은 벡터값 가중 환경에서 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$ 위에서 실해석적이어야 한다. 본 논문은 또한 다변수 유사 결과와 국소 컴팩트 아벨 군의 경우를 확립하고, 결과를 가중 조절 공간, Wiener 합성 공간 및 푸리에 합성 공간에 적용한다.

연구 배경 및 동기

문제 배경

고전적인 Wiener 정리는 $f \in A(\mathbb{T})$ (단위원 위의 절대수렴 푸리에 급수 함수류)이고 $f$ 가 거의 모든 곳에서 0이 아니면, $1/f \in A(\mathbb{T})$ 임을 나타낸다. Lévy는 이를 다음과 같이 일반화했다: $F$ 가 $f$ 의 치역을 포함하는 어떤 근방에서 해석적이면, $F \circ f \in A(\mathbb{T})$ 이다. 이 결과의 역정리는 Katznelson 등에 의해 확립되어 유명한 Wiener-Lévy-Katznelson 정리를 형성한다.

연구 동기

가중함수의 중요성: 분석에서 가중함수는 증가 및 감소 조건을 정량화하는 데 광범위하게 적용되며, 신호 이론, 프레임 이론, 샘플링 이론, Gabor 분석 등의 분야에서 중요한 응용을 가진다.
벡터값 경우: 연산자 이론에서는 바나흐 공간 또는 힐베르트 공간 위의 연산자값 함수를 연구할 필요가 자주 있으므로, 벡터값 유사 결과는 중요한 의미를 가진다.
비선형 사상: 합성 연산자는 비선형 사상의 단순한 예이며, 이 지식은 비선형 편미분 방정식 연구에서 핵심적인 역할을 한다.
기존의 한계: 가중 공간의 Wiener-Lévy 정리가 연구되었지만, 벡터값 가중 환경에서의 강한 역정리는 아직 확립되지 않았다.

핵심 기여

벡터값 가중 환경에서 Wiener-Lévy 정리의 강한 역정리 확립: 이는 제시된 가중함수 하에서 Helson, Kahane, Katznelson 및 Rudin의 고전 정리를 일반화한 첫 번째 사례이다.
매개변수 $q$ 의 범위가 최적임을 증명: $q=2$ 일 때 결론이 성립하지 않으며, 함수 $F(z)=|z|$ (실해석적이 아님)이 반례로 작용한다.
유클리드 푸리에 대수에서의 유사 결과 확립: 정규 증가 가중함수 $\omega$ 에 대해, $A^q_\omega(\mathbb{R}^d)$ 에서 Wiener-Lévy 정리의 유사 결과를 확립한다.
시간-주파수 분석 공간으로의 응용: 결과를 가중 조절 공간, Wiener 합성 공간 및 푸리에 합성 공간에 적용하여 관련 분야의 연구를 보완한다.
분산 편미분 방정식의 비선형 현상 규명: 결과는 이들 공간에서 분산 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$ -대수 가중함수는 준 합성곱 조건과 적분 조건을 만족한다

가중 푸리에 대수: $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$ 가 국소 컴팩트 비컴팩트 아벨 군이며, $\Gamma$ 가 그 쌍대군이고, $\omega$ 가 허용 가능한 가중함수이며, $\mathcal{X}$ 가 단위 교환 바나흐 대수라고 하자. 합성 연산자 $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})$ 에서 작용한다.

증명 기법

핵심 보조정리:

국소 유계성 (보조정리 3.1): Domar의 Urysohn 보조정리와 평행이동 불변성을 이용하여 $T_F$ 가 각 점에서 국소 유계임을 증명한다.
근방 사상 (보조정리 3.2): 단위 분할과 Bochner-Phillips 결과를 통해 $T_F$ 가 원점의 어떤 근방을 유계 집합으로 사상함을 증명한다.
하한 추정 (보조정리 3.3): Katznelson-Rudin의 하한 추정을 개선하여 삼각 다항식 $f$ 에 대해 $\|e^{if}\|_{A^q}$ 의 하한을 제공한다.

증명 전략:

먼저 이산 군의 경우를 증명한 후, 군 구조 이론을 이용하여 국소 컴팩트 군으로 확장
$F$ 의 연속성 확립
푸리에 급수 분석을 통해 실해석성 확립
스케일링 성질을 이용하여 유클리드 경우 처리

실험 설정

이론적 검증

이것이 순수 수학 이론 논문이므로, 주로 엄밀한 수학적 증명을 통해 결과를 검증하며, 수치 실험은 아니다.

가중함수 예시

논문은 여러 종류의 가중함수에 대한 구체적인 예를 제공한다:

다항식 가중함수: $\omega_s(x) = (1+|x|)^s$
지수 가중함수: $\omega(x) = e^{|x|^b}$ ( $0 < b < 1$ )
일본식 가중함수: $\omega(x) = (1+|x|^2)^{s/2}$

응용 검증

시간-주파수 분석 공간에 결과를 적용하여 이론의 실용성을 검증한다.

실험 결과

주요 결과

최적성: $q < 2$ 의 제한이 최적임을 증명하였으며, $q=2$ 일 때 함수 $F(z)=|z|$ 이 반례를 제공한다.

일반화: 결과는 여러 고전 정리를 일반화한다:

$\omega \equiv 1$ 이고 $\mathcal{X} = \mathbb{C}$ 일 때 Rudin의 정리를 회복
$q=1$ 일 때 Helson 등의 정리를 회복

응용 결과: 정리 1.7: 시간-주파수 분석 공간에 대해, $T_F$ 가 $X$ 를 $Y$ 로 사상하면, $(X,Y)$ 가 다음 중 하나일 수 있다:

$(M^{p,1}_\omega, M^{p,q})$ (조절 공간)
$(W^{p,1}_\omega, W^{p,q})$ (Wiener 합성 공간)
$(FW(L^p,\ell^1_\omega), FW(L^p,\ell^q))$ (푸리에 합성 공간)

그러면 $F$ 는 그 정의역 내에서 실해석적이어야 한다.

이론적 돌파: 벡터값 가중 환경에서 Wiener-Lévy 정리의 강한 역정리를 처음으로 확립하여 해당 분야의 이론적 공백을 메웠다.
기술적 혁신: 가중 공간에서 합성 연산자를 다루기 위한 새로운 기법을 개발했으며, 특히 하한 추정 방법을 개선했다.
응용 가치: 결과는 시간-주파수 분석 및 분산 PDE 이론에서 중요한 응용을 가지며, 비선형 현상을 이해하기 위한 새로운 도구를 제공한다.