[논문 리뷰] An example of an almost greedy uniformly bounded orthonormal basis for $L_p([0,1])$

Morten Nielsen|ArXiv.org|2006. 11. 28.

Mathematical Analysis and Transform Methods참고 문헌 6인용 수 4

한 줄 요약

이 논문은 $L_p([0,1])$, $1<p<\infty$에 대해 균일 유계인 정규직교 기저를 구성하며, 이 기저는 거의 탐욕스럽다. 이는 Orlicz의 정리(즉, $L_p$, $p\neq2$에 대해 균일 유계인 무조건적 기저가 존재하지 않음)가 거의 탐욕스러운 기저의 더 넓은 범주로까지 확장되지 않음을 보여준다. 구성 방법은 블록 구조를 가진 정규화된 하르 유사 함수와 유사한 수정된 라데마처 유사 체계를 사용하며, 히친키 부등식과 민주적 성질을 활용하여 준탐욕스러운 수렴을 보장한다.

ABSTRACT

We construct a uniformly bounded orthonormal almost greedy basis for $L_p([0,1])$, $1

연구 동기 및 목표

• 균일 유계인 정규직교 기저를 $L_p([0,1])$, $1<p<\infty$에 대해 구성함으로써, 이 기저가 거의 탐욕스럽다는 것을 보여주어 오르리츠의 정리가 이 기저의 범주로까지 확장될 수 없음을 도전한다.
• 균일 유계인 정규직교 기저가 $L_p$, $p\neq2$에 대해 무조건적이지 않더라도, 준탐욕스럽고 심지어 거의 탐욕스럽게 작용할 수 있음을 보여준다.
• $L_p$에서 수렴하는 탐욕적 근사에 기여하는 민주적, 균일 유계, 정규직교 체계의 구체적 예를 제공한다.
• 삼각함수 체계나 워쇼프 체계와 같은 고전적 체계가 준탐욕스럽지 않다는 실패가, $L_p$에서 이러한 기저의 존재를 막지 못한다는 것을 보여준다.

제안 방법

• 구성은 하르 함수와 라데마처 유사 함수를 기반으로 한 블록 구조를 가진 정규직교 체계를 사용하며, $L_p$-유계성에 맞게 정규화된다.
• 기저는 부분합 함수 $\phi_k / \sqrt{N_k}$와 내적 $\langle f, \psi_j^{(k)} \rangle$에서 유도된 계수를 조합하여 형성된다.
• 히친키 부등식을 적용하여, 라데마처 함수를 포함하는 랜덤 합의 $L_p$-노름을 제어함으로써 민주적 성질을 확보한다.
• 계수 감쇠와 블록 구조를 이용한 계수의 $\ell_p$-노름 추정을 통해, 같은 크기의 집합에 대한 부분합의 노름을 비교함으로써 체계가 민주적임을 보였다.
• 근사 오차를 세 부분으로 분해함: $T$, $T'$, $T''$로 나누어, 내림차순 재배열 조건 하에 각각이 $L_p$에서 수렴함을 보였다.
• 증명은 쌍대성에 기반한다: $1<q<2$일 때 $1/p + 1/q = 1$이 되도록 $p$를 선택하고, 이중 민주적 성질을 활용하여 준탐욕스러운 수렴을 $L_q$로 확장한다.

실험 결과

연구 질문

• RQ1 균일 유계인 정규직교 기저가 $L_p([0,1])$, $1<p<\infty$, $p\neq2$에 대해 무조건적이지 않더라도, 거의 탐욕스러울 수 있는가?
• RQ2 오르리츠의 정리에 따르면 $L_p$, $p\neq2$에 대해 균일 유계인 무조건적 기저가 존재하지 않지만, 이는 거의 탐욕스러운 기저의 범주로까지 확장되는가?
• RQ3 민주적, 균일 유계, 정규직교 체계가 $L_p$에서 수렴하는 탐욕적 근사에 기여할 수 있는가?
• RQ4 제어된 $L_p$-노름을 가진 수정된 라데마처 또는 하르 체계를 사용하여 이러한 기저를 구성할 수 있는가?

주요 결과

• 균일 유계인 정규직교 기저가 $L_p([0,1])$, $1<p<\infty$에 존재하며, 이는 거의 탐욕스럽다. 이는 오르리츠의 정리의 잠재적 확장과 직접적으로 모순된다.
• 같은 크기의 집합에 대한 부분합의 $\ell_p$-노름에 대한 균일한 상한을 통해, 구성된 기저가 민주적임을 보였다.
• 탐욕적 근사 알고리즘이 모든 $f \in L_p$에 대해 $L_p$에서 수렴함을 보여, 기저가 준탐욕스럽다는 것을 입증하였다.
• 수렴은 세 부분으로 분해하여 증명되었으며, $T$, $T'$, $T''$ 각각이 $L_p$에서 절대적 또는 조건적 수렴을 보였다.
• $L_p$와 $L_q$에서 이중 민주적 성질을 가지며, $1<q<2$, $1/p + 1/q = 1$일 때, 준탐욕스러운 수렴이 $L_q$로 확장됨을 보였다.
• 각 블록당 $N_k$개의 원소를 가지는 블록 구조를 가진 체계를 사용하였으며, $N_k$가 급격히 증가함으로써 계수 감쇠와 민주적 성질이 보장된다.