[논문 리뷰] Systems formed by translates of one element in $L_p(\mathbb R)$

Edward Odell, Bünyamin Sarı외 2명|ArXiv.org|2009. 06. 05.

Advanced Banach Space Theory참고 문헌 7인용 수 3

한 줄 요약

이 논문은 실수축 $\mathbb{R}$ 위의 $L_p(\mathbb{R})$에서 한 개의 함수 $f\in L_p(\mathbb{R})$의 이동으로 생성된 닫힌 부분공간 $X_p(f,\Lambda)$의 구조를 조사한다. 여기서 $\Lambda\subseteq\mathbb{R}$는 균일하게 산재한 집합이다. 기하학적 바나흐 공간 기법을 사용하여, $1\leq p\leq 2$일 때, 이동의 무조건적 기저는 $\ell_p$ 기저와 동치임을 입증한다. $2<p\leq 4$일 때는 해당 공간이 $\ell_p$에 통합되지만, 반드시 $\ell_p$와 동형이 되는 것은 아니다. $p>4$일 때는 이러한 체계가 $L_p(\mathbb{R})$의 동형 복사본을 포함할 수 있으며, 이는 번역 체계 이론에서 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

Let $1\le p 4$, there exists $f\in L_p( eal)$ and $Λ\subseteq \zed$ so that $\{f_{(λ)} :λ\inΛ\}$ is unconditional basic and $L_p( eal)$ embeds isomorphically into $X_p (f,Λ)$.

연구 동기 및 목표

• 한 함수 $f\in L_p(\mathbb{R})$가 균일하게 산재한 집합 $\Lambda\subseteq\mathbb{R}$ 위에서 이동으로 생성하는 부분공간 $X_p(f,\Lambda)$의 기하학적 구조를 규명하는 것.
• 이러한 체계가 $L_p(\mathbb{R})$에서 무조건적 기저, 최소 체계 또는 프레임을 이루는 조건을 조사하는 것.
• $L_p(\mathbb{R})$에서의 이러한 이동 체계가 $\ell_p$나 $\ell_p$에 통합되는 정도를 규명하는 것.
• $1<p<\infty$인 $L_p(\mathbb{R})$에서 이동으로 구성된 기저나 프레임의 존재와 관련된 미해결 문제를 다루는 것.

제안 방법

• 기하학적 바나흐 공간 이론, 특히 무조건적 기저와 통합의 성질을 활용하여 $X_p(f,\Lambda)$의 구조를 분석하는 것.
• 쌍대성과 이중수반 함수를 사용하여 반사적 공간 $X$에 대해 $\ell_p(\mathbb{Z}, X)$와 $\ell_q(\mathbb{Z}, X^*)$에서 이동 체계의 행동을 연구하는 것.
• 위너의 타우버리안 정리와 푸리에 변환의 성질과 같은 조화 분석 결과를 활용하여 $X_p(f,\Lambda)=L_p(\mathbb{R})$가 되는 조건을 특성화하는 것.
• $p>4$인 경우에 대해 명시적인 예를 구성하여 $X_p(f,\Lambda)$가 $L_p(\mathbb{R})$의 동형 복사본을 포함할 수 있음을 보이며, 무조건적 기본 수열의 성질을 활용하는 것.
• 유한차원 $X$에 대해 $\ell_p(\mathbb{Z}, X)$에서 이러한 이동 체계가 기저를 이룬다는 가정에서 모순을 이끌어내기 위해 약한*-밀도 추론과 사영을 사용하는 것.
• 지식이 있는 결과, 즉 지수 체계 $\mathcal{E}(\Lambda)$의 밀도와 양수 $R(\Lambda)$를 활용하여 $L_1(\mathbb{R})$ 함수가 조밀한 이동 체계를 생성하는 조건을 특성화하는 것.

실험 결과

연구 질문

• RQ1 For $1\leq p\leq 2$, is an unconditional basic sequence of translates of $f\in L_p(\mathbb{R})$ equivalent to the unit vector basis of $\ell_p$?
• RQ2 For $2<p\leq 4$, does $X_p(f,\Lambda)$ embed isomorphically into $\ell_p$ when the translates form an unconditional basic sequence?
• RQ3 For $p>4$, can $X_p(f,\Lambda)$ contain an isomorphic copy of $L_p(\mathbb{R})$ when the translates form an unconditional basic sequence?
• RQ4 Does there exist $f\in L_p(\mathbb{R})$ and a uniformly discrete $\Lambda$ such that $\{f_{(\lambda)}\}_{\lambda\in\Lambda}$ forms a basis or frame for $L_p(\mathbb{R})$?
• RQ5 Can $X_1(f,\Lambda)$ embed into $\ell_1$ when $\{f_{(\lambda)}\}$ is a bounded minimal system or frame?

주요 결과

• For $1\leq p\leq 2$, if $\{f_{(\lambda)}\}_{\lambda\in\Lambda}$ is an unconditional basic sequence in $L_p(\mathbb{R})$, then it is equivalent to the unit vector basis of $\ell_p$.
• For $2<p\leq 4$, if $\{f_{(\lambda)}\}_{\lambda\in\Lambda}$ is an unconditional basic sequence, then $X_p(f,\Lambda)$ embeds isomorphically into $\ell_p$, though the sequence need not be equivalent to the $\ell_p$ basis.
• For $p>4$, there exists $f\in L_p(\mathbb{R})$ and a uniformly discrete $\Lambda\subseteq\mathbb{Z}$ such that $\{f_{(\lambda)}\}_{\lambda\in\Lambda}$ is an unconditional basic sequence and $X_p(f,\Lambda)$ contains an isomorphic copy of $L_p(\mathbb{R})$, hence of $L_p[0,1]$.
• For $p=1$, if $\{f_{(\lambda)}\}_{\lambda\in\Lambda}$ is a bounded minimal system, then $X_1(f,\Lambda)$ embeds almost isometrically into $\ell_1$, and the same holds if it is a frame.
• In $L_1(\mathbb{R})$, no such system can generate the full space: $X_1(f,\Lambda)\neq L_1(\mathbb{R})$ for any uniformly discrete $\Lambda$, confirming a folk theorem.
• For $2<p<\infty$, if $\{f_{(\lambda)}\}_{\lambda\in\Lambda}$ is an unconditional basic sequence in $L_p(\mathbb{R})\cap L_2(\mathbb{R})$, then it is equivalent to the unit vector basis of $\ell_2$.