[논문 리뷰] Construction of frame relative to n-Hilbert space

Prasenjit Ghosh, T. K. Samanta|arXiv (Cornell University)|2021. 01. 05.

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

한 줄 요약

이 논문은 n-힐버트 공간에서의 프레임을 도입하여, 힐버트 공간에서의 프레임 이론을 n-노름 구조로 일반화한다. 일정한 n-힐버트 공간 상에서 수열이 프레임을 이룬다는 것은 그 전-프레임 연산자가 전사임과 동치이며, 유계 선형 연산자에 의한 프레임의 상이 프레임이 되는 것은 그 연산자가 가역임과 동치임을 증명한다.

ABSTRACT

In this paper, our aim is to introduce the concept of a frame in n-Hilbert space and describe some of their properties. We further discuss tight frame relative to n-Hilbert space. At the end, we study the relationship between frame and bounded linear operator in n-Hilbert space.

연구 동기 및 목표

• 표준 힐버트 공간에서의 프레임 이론을 n-내적과 n-노름을 갖춘 n-힐버트 공간으로 일반화한다.
• n-힐버트 공간의 맥락에서 프레임과 타이트 프레임을 정의하고 연구하여, 고차원 구조로 고전적 프레임 개념을 확장한다.
• 특정 조건 하에서 프레임과 유계 선형 연산자 간의 관계를 조사하며, 특히 프레임의 상이 여전히 프레임이 되는 조건을 밝힌다.
• 전-프레임 연산자의 전사성과 의사역행의 존재를 통해 n-힐버트 공간에서의 프레임를 특성화한다.
• 고정된 (n−1)-개의 벡터로 구성된 n-힐버트 공간 상에서 수열이 프레임이 되는 데 필요한 필요 및 충분 조건을 설정한다.

제안 방법

• 선형 공간 위에 n-내적과 n-노름을 정의하고, 선형 종속성의 특성화와 순열 불변성 등의 공리들을 만족시킨다.
• 모든 f ∈ 공간에 대해 A‖f|a₂,…,aₙ‖² ≤ ∑|⟨f,f_i|a₂,…,aₙ⟩|² ≤ B‖f|a₂,…,aₙ‖² 를 만족하는 수열 {f_i}를 n-힐버트 공간에서의 프레임으로 정의한다.
• 전-프레임 연산자 T_F: l²(ℕ) → X_F 를 T_F{c_i} = ∑c_i f_i 로 정의하고, 그 수반 연산자(분석 연산자) T_F^*: H → l²(ℕ) 를 정의한다.
• 프레임 성질을 특성화하기 위해 프레임 연산자 S_F = T_F T_F^* 를 사용하며, 이가 유계, 양의 정부호, 자기수반이고 가역임을 보인다.
• 전-프레임 연산자의 전사성을 특성화하고 프레임 조건을 유도하기 위해 의사역행 연산자 U^† 을 적용한다.
• 코시-슈바르츠 부등식과 연산자 노름 추정을 사용하여 T_F T_F'^* = I_F 와 같은 연산자 관계를 통해 프레임 상한을 도출한다.

실험 결과

연구 질문

• RQ1 고정된 (n−1)-튜플의 벡터에 대해 수열이 n-힐버트 공간에서 프레임이 되기 위해 만족해야 할 조건은 무엇인가?
• RQ2 유계 선형 연산자에 의해 프레임의 상이 타겟 공간에서 프레임이 되는 조건은 무엇인가?
• RQ3 전-프레임 연산자는 n-힐버트 공간에서의 프레임를 특성화하는 데 어떻게 사용될 수 있는가?
• RQ4 의사역행은 n-힐버트 공간에서의 프레임 조건을 설정하는 데 어떤 역할을 하는가?
• RQ5 어떤 조건에서 Bessel 수열이 n-힐버트 공간 설정에서 프레임이 되는가?

주요 결과

• 수열 {f_i}가 (a₂,…,aₙ)에 대해 n-힐버트 공간에서 프레임이 되는 것은 그에 대응하는 전-프레임 연산자 T_F 가 전사임과 동치이다.
• n-힐버트 공간 설정에서 프레임 연산자 S_F = T_F T_F^* 는 유계, 양의 정부호, 자기수반이고 가역이다.
• 유계 선형 연산자 U 에 의해 프레임의 상이 프레임이 되는 것은 U 가 가역임과 동치이다.
• 두 Bessel 수열 {f_i}와 {g_i}의 전-프레임 연산자가 T_F (T_F')^* = I_F 를 만족하면, 각각의 수열은 하한 1/‖T_F'^*‖² 와 1/‖T_F^*‖² 를 갖는 프레임이 된다.
• n-힐버트 공간에서의 프레임 조건은 ‖f|a₂,…,aₙ‖² ≤ ‖T_F'^*‖² ∑|⟨f,f_i|a₂,…,aₙ⟩|² 와 같은 부등식으로 특성화되며, 이는 연산자 노름과 프레임 상한을 연결한다.