[논문 리뷰] On a family of frames for Krein spaces

Juan I. Giribet, Alejandra Maestripieri외 2명|arXiv (Cornell University)|2011. 12. 07.

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

한 줄 요약

이 논문은 킬린 공간에서의 부정부정적 내적과 호환되는 프레임, 즉 $J$-프레임을 도입한다. 이는 $J$-정규직교 기저의 일반화이며, 반대 성질을 가진 최대 균일 $J$-정의 부분공간 쌍을 유도하고, 힐버트 공간 이론을 부정부정적 내적 공간으로 확장하면서도, 프레임 연산자와 쌍대 쌍과 같은 핵심 힐버트 공간 성질을 유지한다.

ABSTRACT

A definition of frames for Krein spaces is proposed, which extends the notion of $J$-orthonormal basis of Krein spaces. A $J$-frame for a Krein space $(\HH, \K{\,}{\,})$ is in particular a frame for $\HH$ in the Hilbert space sense. But it is also compatible with the indefinite inner product $\K{\,}{\,}$, meaning that it determines a pair of maximal uniformly $J$-definite subspaces with different positivity, an analogue to the maximal dual pair associated to a $J$-orthonormal basis. Also, each $J$-frame induces an indefinite reconstruction formula for the vectors in $\HH$, which resembles the one given by a $J$-orthonormal basis.

연구 동기 및 목표

• 힐버트 공간에서의 프레임 이론을 부정부정적 내적과 호환되는 새로운 프레임 클래스를 정의하여 킬린 공간으로 확장한다.
• 기본 대칭 $J$와의 구조적 호환성을 유지하는 $J$-정규직교 기저의 일반화로 $J$-프레임을 도입한다.
• 힐버트 공간의 프레임 재구성 공식과 유사하지만, 부정부정적 계량에 적응된 킬린 공간에서의 재구성 공식을 수립한다.
• $J$-프레임 연산자를 최대 균일 $J$-정의 부분공간에서의 양성 및 불변 조건을 통해 특성화한다.
• $J$-프레임이 반대 성질을 가진 최대 균일 $J$-정의 부분공간 쌍을 유도함으로써, $J$-정규직교 기저의 쌍대성 구조를 일반화한다.

제안 방법

• $J$-프레임을 킬린 공간에서의 베셀 가족로 정의한다. 여기서 합성 연산자 $T: \ell_2(I) \to \mathcal{H}$는 인덱스 집합의 양성 및 음성 스펙트럴 부분공간을 각각 $\mathcal{H}$의 최대 균일 $J$-양성 및 $J$-음성 부분공간으로 매핑한다.
• 합성 연산자 $T: \ell_2(I) \to \mathcal{H}$를 사용하고, $T_+ = T P_+$ 및 $T_- = T(I - P_+)$로 분해한다. 여기서 $P_+$는 $\ell_2(I_+)$ 위에 정사영되며, $I_+ = \{i : [f_i,f_i] > 0\}$이다.
• 범위 $R(T_+)$와 $R(T_-)$가 각각 최대 균일 $J$-양성 및 $J$-음성 부분공간임을 보이고, 이는 합 분해를 통해 전체 공간을 커버함을 보장한다.
• 부정부정적 재구성 공식을 수립한다: $f = \sum_{i \in I} \sigma_i [f, g_i] f_i = \sum_{i \in I} \sigma_i [f, f_i] g_i$, 여기서 $\sigma_i = \text{sgn}[f_i,f_i]$, 이는 $J$-정규직교 기저 공식을 일반화한다.
• $J$-자기수반성 및 양성 조건을 통해 $J$-프레임 연산자를 특성화한다: 최대 $J$-양성 부분공간 $\mathcal{T}$에서 $[Sf,f] \geq 0$이며, $S(\mathcal{T})^{[\bot]}$에서 $[Sg,g] \leq 0$이며, $S$는 가역적이며 $\text{ind}_\pm(S) = \dim(\mathcal{H}_\pm)$이다.
• $J$-프레임 연산자가 가역적이고 $J$-자기수반인 연산자로서 특정 양성 및 불변 조건을 만족함을 증명하고, 이는 모든 그러한 연산자가 $J$-프레임 연산자인 것은 아니며, 반례를 통해 이를 보여준다.

실험 결과

연구 질문

• RQ1 부정부정적 내적과의 호환성을 유지하면서, 어떻게 프레임 이론을 킬린 공간으로 확장할 수 있는가?
• RQ2 최대 쌍대 쌍의 균일 $J$-정의 부분공간 쌍을 유도하기 위해, 어떤 구조적 조건을 만족해야 하는가? 이 부분공간들은 반대 성질을 가져야 한다.
• RQ3 힐버트 공간의 프레임 재구성과 유사한 공식을 부정부정적 계량에 적응시켜 킬린 공간에서 재구성 공식을 구성할 수 있는가?
• RQ4 양성, 불변성, 스펙트럼 성질에 기반한 $J$-프레임 연산자의 특성화는 무엇인가?
• RQ5 어떤 $J$-자기수반 가역 연산자가 $J$-프레임 연산자이며, 비-$J$-프레임 $J$-자기수반 연산자와를 구별하는 조건은 무엇인가?

주요 결과

• $J$-프레임은 킬린 공간에서의 베셀 가족이며, 그 합성 연산자가 시퀀스 공간의 양성 및 음성 인덱스 부분공간을 각각 $\mathcal{H}$의 최대 균일 $J$-양성 및 $J$-음성 부분공간으로 매핑한다.
• $T_+$와 $T_-$의 범위인 $R(T_+)$와 $R(T_-)$는 반대 성질을 가진 최대 쌍대 균일 $J$-정의 부분공간 쌍을 이룬다. 이는 $J$-정규직교 기저의 쌍대성의 일반화이다.
• 각 $J$-프레임은 부정부정적 재구성 공식을 유도한다: $f = \sum_{i \in I} \sigma_i [f, g_i] f_i = \sum_{i \in I} \sigma_i [f, f_i] g_i$, 여기서 $\sigma_i = \text{sgn}[f_i,f_i]$, 이는 $J$-정규직교 기저 재구성의 일반화이다.
• $J$-프레임 연산자 $S$는 가역적이고 $J$-자기수반인 연산자로 특성화되며, 최대 균일 $J$-양성 부분공간 $\mathcal{T}$가 존재하여 $S(\mathcal{T})$도 최대 균일 $J$-양성이며, 모든 $f \in \mathcal{T}$에 대해 $[Sf,f] \geq 0$이고, 모든 $g \in S(\mathcal{T})^{[\bot]}$에 대해 $[Sg,g] \leq 0$이다. 이 조건은 필수적이고 충분하다.
• 모든 가역적이고 $J$-자기수반인 연산자가 $J$-프레임 연산자인 것은 아니며, 반례로 $S$가 $J$-양성 벡터를 $J$-음성으로 매핑하여 양성 조건을 위반하는 경우가 존재한다.
• $J$-프레임의 합성 연산자는 엄격한 양성 및 음성 연산자로 분해된다. $T_+$와 $T_-$가 엄격한 양성 및 음성 연산자일 필요충분조건은 $T$의 핵이 각각 $\ell_2(I_+)$ 및 $\ell_2(I_-)$와 자명하게 교차한다는 것이다.