[논문 리뷰] Adjoint of Pair Frames

Abolhassan Fereydooni, Ahmad Safapour외 1명|arXiv (Cornell University)|2012. 08. 09.

Mathematical Analysis and Transform Methods참고 문헌 12인용 수 3

한 줄 요약

이 논문은 반사적 바나흐 공간에서 $(p,q)$-쌍 프레임의 개념을 $(\ell,\ell^*)$-쌍 프레임으로 일반화하고, 바나흐 공간의 쌍대 공간에 대한 쌍 프레임의 수반(공액)을 도입한다. 수반의 존재 조건을 확립하며, $(G,F)$가 바나흐 공간 $\mathrm{X}$에 대한 $(\ell,\ell^*)$-쌍 베셀 또는 프레임이면, $(F,G)$는 쌍대 공간 $\mathrm{X^*}$에 대한 대응하는 쌍 베셀 또는 프레임을 이룬다는 것을 증명한다. 또한 적절한 연산자 조건 하에 가역성이 유지됨을 보인다.

ABSTRACT

The concept of (p,q)-pair frames is generalized to (l,l^*)-pair frames. Adjoint (conjugate) of a pair frames for dual space of a Banach space is introduced and some conditions for the existence of adjoint (conjugate) of pair frames are presented.

연구 동기 및 목표

• 반사적 바나흐 공간에서 $(p,q)$-쌍 프레임의 개념을 $(\ell,\ell^*)$-쌍 프레임으로 일반화하는 것.
• 바나흐 공간의 쌍대 공간에 대한 쌍 프레임의 수반(공액)을 정의하고 조사하는 것.
• $(\ell,\ell^*)$-쌍 프레임의 수반이 존재하는 조건을 확립하고, 베셀 수열 및 가역성과 같은 프레임 성질이 유지되는지 확인하는 것.
• 수반 구성에 의해 바나흐 공간의 쌍 프레임과 그 쌍대 공간의 대응 프레임 간의 이중성 관계를 탐색하는 것.
• 스카우더 프레임, 원자 분해, 바나흐 프레임에 대한 기존 결과를 쌍 프레임과 그 수반의 맥락으로 확장하는 것.

제안 방법

• 바나흐 수열 공간 $\ell$를 기반으로 유계 선형 연산자 $T: \ell \to \mathrm{X}$와 분석 연산자 $U_G: \mathrm{X} \to \mathbb{C}^\mathbb{I}$를 사용하여 $(\ell,\ell^*)$-쌍 베셀 및 $(\ell,\ell^*)$-쌍 프레임의 개념을 도입한다.
• 합성 연산자 $T^*$와 분석 연산자 $U_G^*$의 수반을 통해 쌍 프레임의 수반을 정의하고, 쌍대 공간에서 새로운 쌍 $(\{W^*g_i\}, \{Vf_i\})$을 구성한다.
• $\ell$가 BK-공간 또는 스카우더 수열 공간일 경우, $\ell$와 $\ell^*$ 간의 이중성 관계를 활용하여 쌍대 공간의 연속성과 등장사상 등이 보장됨을 보장한다.
• 무조건 수렴과 순열 불변성 이론을 적용하여 쌍 프레임의 무조건적 및 일반적 경우를 다룬다.
• 유계성, 가역성, 연산자의 합성과 같은 연산자 이론적 도구를 활용하여 수반 변환 하에서 프레임 성질이 유지됨을 보장한다.
• 함수해석학의 기존 결과에 기반하여, $\ell^*$를 $\ell$ 위의 함수형에 대한 리스 표현 정리에 의해 계수 수열 공간 $\ell^{\circledast}$와 동일시함을 이용한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 바나흐 공간의 쌍대 공간에서 $(\ell,\ell^*)$-쌍 프레임의 수반이 존재하는가?
• RQ2 바나흐 공간 $\mathrm{X}$에 대한 쌍 프레임을 수반 연산을 통해 그 쌍대 공간 $\mathrm{X^*}$에 대한 대응하는 쌍 프레임으로 구성할 수 있는가?
• RQ3 베셀 수열 및 프레임 연산자의 성질이 수반 구성 하에서 어떻게 변하는가?
• RQ4 프레임 연산자 $S_{FG}$의 가역성과 그 수반 $S^*_{TG}$의 가역성 간의 관계는 무엇인가?
• RQ5 스카우더 프레임 또는 원자 분해의 수반이 쌍대 공간에서 여전히 스카우더 프레임 또는 원자 분해로 유지되는 경우는 언제인가?

주요 결과

• 만약 $(G,F)$가 바나흐 공간 $\mathrm{X}$에 대한 $(\ell,\ell^*)$-쌍 베셀이면, $(F,G)$는 쌍대 공간 $\mathrm{X^*}$에 대한 $(\ell^*,\ell)$-쌍 베셀이 되며, 프레임 연산자 $S_{FG}^*$는 잘 정의되고 유계이다.
• 유계 연산자 $V, W$에 대해 $\{W^*g_i\}$와 $\{Vf_i\}$를 통해 구성된 쌍 프레임 $(G,F)$의 수반은 $V$와 $W$가 가역일 경우 여전히 쌍 프레임을 이룬다.
• $\ell$가 스카우더 수열 공간(CB-공간) 또는 RCB-공간이면, $\ell^*$는 $\ell^{\circledast}$와 등장사상적으로 이sovolumetric하다. 이는 이중성 관계를 확립하는 데 핵심적인 정규화를 가능하게 한다.
• 만약 $T: \ell \to \mathrm{X}$가 유계 연산자이고 $(G,T)$가 $\mathrm{X}$에 대한 바나흐 프레임이면, $\mathrm{X^*}$에 속하는 $H = \{h_i\}$의 가속이 존재하여 $\ell^*$에 대해 $(H, T_G)$는 $\mathrm{X^*}$에 대한 바나흐 프레임이 된다.
• $(\ell,\ell^*)$-원자 분해가 $\mathrm{X}$에 존재하는 것은, 동일한 조건 하에 쌍대 쌍 $(F,G)$가 $\mathrm{X^*}$에 대해 $(\ell^*,\ell)$-원자 분해를 이룬다는 것과 필요충분조건이다.
• 수반 구성은 무조건성을 유지한다. $\ell$가 무조건적인 바나흐 수열 공간이면, $(G,F)$가 무조건적인 쌍 프레임이면 $(F,G)$는 $\mathrm{X^*}$에 대해 무조건적인 쌍 프레임이 된다.