[논문 리뷰] Harmonic analysis of weighted $L^p$-algebras

Yulia Kuznetsova, Carine Molitor–Braun|arXiv (Cornell University)|2011. 03. 18.

Mathematical Analysis and Transform Methods참고 문헌 32인용 수 8

한 줄 요약

이 논문은 다항성장의 국소적으로 컴act한, 컴팩트 생성 군인 $G$ 위에서의 가중치 $L^p$-대수의 조화해석적 성질을 조사한다. $L^p(G, \omega)$가 바나흐 $*$-대수를 이룰 조건을 설정하고, 이러한 대수에 대해 대칭성, 함수해석학적 계산 가능성, 약한 위너 성질을 증명하며, 주요 결과로는 기약 표현과 구성된 대수의 비정규성에 관하여 기술한다.

ABSTRACT

Let $G$ be a locally compact, compactly generated group of polynomial growth and let $ω$ be a weight on $G$. Under proper assumptions on the weight $ω$, the Banach space $L^p(G,ω)$ is a Banach \ast-algebra. In this paper we give examples of such weighted $L^p$-algebras and we study some of their harmonic analysis properties, such as symmetry, existence of functional calculus, regularity, weak Wiener property, Wiener property, existence of minimal ideals of a given hull.

연구 동기 및 목표

• 다항성장의 국소적으로 컴팩트한, 컴팩트 생성 군 $G$에 대해 가중치 $L^p$-대수 $L^p(G, \omega)$의 조화해석적 성질을 조사한다.
• 가중치 $\omega$에 대한 조건을 규명하여 $L^p(G, \omega)$가 바나흐 $*$-대수가 되도록 한다.
• 이 대수들에서 대칭성, 정규성, 약한 위너 성질, 위너 성질, 주어진 홀의 최소 이상수의 존재성을 분석한다.
• 구체적인 예시를 구성하여 스펙트럼 분석을 통해 이러한 대수들의 비정규성을 보여준다.
• 일부 실수선 $\mathbb{R}$ 위의 가중치 $L^p$-대수에 대해 무한차원 기약 표현의 존재를 확립한다.

제안 방법

• 군 $G$ 위에서의 하위곱셈적이고 대칭적인 가중치 $\omega$를 이용하여, 노름 $\|f\|_{p,\omega} = \left(\int_G |f(x)|^p \omega(x)^p dx\right)^{1/p}$을 갖는 가중치 $L^p$-공간 $L^p(G, \omega)$를 정의한다.
• 가중치 $\omega$가 하위곱셈적이며, 모든 $\varepsilon > 0$에 대해 $\omega(x) = \mathcal{O}(\exp(\varepsilon|x|))$를 만족함을 조건으로 삼아, 대수가 대칭이 되도록 보장한다.
• $f \in L^p(\mathbb{R}, \omega_1)$에 대해 표현 $U(f) = \int_{\mathbb{R}} e^{xT} f(x) dx$를 구성하며, 연속성과 준동형 성질을 보인다.
• 대수 $T$에 대한 불변 부분공간이 항상 $U$에 대해 불변임을 보여, 표현의 위상적 기약성을 증명한다.
• $\|T^n\|$에 대한 渐近적 추정을 통해 $\omega(x) = \mathcal{O}(\exp(\varepsilon|x|))$ for all $\varepsilon > 0$임을 보이고, 알려진 정리들을 통해 대칭성을 유도한다.
• 가중치가 $\omega(x) > C \exp(x / \ln x)$임을 보여, 이는 정규성 조건을 위반하므로 구성된 대수가 비정규임을 입증한다.

실험 결과

연구 질문

• RQ1 다항성장의 국소적으로 컴팩트한, 컴팩트 생성 군 $G$에 대해, 가중치 $\omega$가 어떤 조건을 만족할 경우 $L^p(G, \omega)$가 바나흐 $*$-대수가 되는가?
• RQ2 가중치 $L^p$-대수 $L^p(G, \omega)$는 약한 위너 성질 또는 위너 성질을 만족하는가?
• RQ3 실수선 $\mathbb{R}$ 위의 가중치 $L^p$-대수에 대해 무한차원 기약 표현을 구성할 수 있는가?
• RQ4 주어진 가중치 조건 하에서, 가중치 $L^p$-대수 $L^p(\mathbb{R}, \omega)$는 대칭적인가?
• RQ5 구성된 가중치 $L^p$-대수들은 정규적인가? 그리고 가중치 $\omega$의 성장 행동은 어떠한가?

주요 결과

• 가중치 $\omega$가 다항성장의 컴팩트 생성 국소적으로 컴팩트한 군 $G$ 위에서 양수이며 대칭적이며 하위곱셈적일 경우, 가중치 $L^p(G, \omega)$는 바나흐 $*$-대수이다.
• 모든 $\varepsilon > 0$에 대해, $x \to \infty$일 때 $\omega(x) = \mathcal{O}(\exp(\varepsilon|x|))$를 만족하며, 이는 $L^1(\mathbb{R}, \omega)$와 $L^p(\mathbb{R}, \omega_1)$가 대칭임을 의미한다.
• 무한차원 기약 표현 $U$가 $L^p(\mathbb{R}, \omega_1)$ 위에 존재하며, $U(f) = \int_{\mathbb{R}} e^{xT} f(x) dx$로 정의되며, $T$는 $\|T^n\| < \varepsilon^n$을 만족하는 유계 연산자이다.
• 표현 $U$는 위상적으로 기약적이며, $U$에 대해 불변인 임의의 닫힌 부분공간은 반드시 $T$에 대해서도 불변이므로, 부분공간이 자명해짐을 유도한다.
• 구성된 대수들은 비정규적이다. 가중치가 $\omega(x) > C \exp(x / \ln x)$를 만족하기 때문이며, 이는 정규성 조건 $\omega(x) = \mathcal{O}(\exp(\varepsilon|x|))$를 위반한다.
• $L^p(\mathbb{R}, \omega_1)$ 대수는 가중치 $\omega_1$의 대칭성과 성장 통제 덕분에 약한 위너 성질과 위너 성질을 모두 만족한다.