[논문 리뷰] Commutation properties of the form sum of positive, symmetric operators

Bálint Farkas, Máté Matolcsi|ArXiv.org|2006. 12. 01.

Holomorphic and Operator Theory참고 문헌 3인용 수 8

한 줄 요약

이 논문은 완비화된 범위 공간 간의 밀도 있는 정의역을 갖는 연산자에 대한 연환의 수반을 이용하여 양의 대칭 연산자의 형식 합에 대한 새로운 구성법을 제안한다. 이는 자명한 자기수반 연산자에 대한 표준 형식 합을 일반화한 것으로, 주요 기여는 이 확장이 유계 연산자와 가환성을 가지는 조건을 규명하고, 특정 정의역 조건 하에서 형식 합이 가환성을 유지함을 보이며, 대수적 합의 크라인 및 프리드리히스 확장과 다를 수 있는 반례를 제시하는 것이다.

ABSTRACT

A new construction for the form sum of positive, selfadjoint operators is given in this paper. The situation is a bit more general, because our aim is to add positive, symmetric operators. With the help of the used method, some commutation properties of the form sum extension are observed.

연구 동기 및 목표

• 양의 자기수반 연산자에 대한 형식 합 구성법을 정의역이 밀도가 아닐 수 있는 양의 대칭 연산자로 일반화한다.
• 형식 합 확장이 유계 연산자와 언제 가환성을 가지는지 조사한다.
• 형식 합과 다른 연산자 확장(예: 크라인-폰 뉴만 및 프리드리히스 확장) 간의 관계를 명확히 한다.
• 두 자기수반 연산자의 형식 합이 그들의 대수적 합의 크라인 또는 프리드리히스 확장과 다를 수 있는 명시적 반례를 제공한다.

제안 방법

• 양의 대칭 연산자 $a$에 대해 형식 도메인 $\mathrm{D_{\ast}}(a)$를 $\mathrm{dom}\,a$에 모든 $x$에 대해 $|(ax,y)|^2 \leq m_y (ax,x)$ 를 만족하는 벡터 $y$의 집합으로 정의한다.
• 연산자 $J: \mathfrak{H}_a \oplus \mathfrak{H}_b \to \mathfrak{H}$를 $\mathrm{ran}\,a \oplus \mathrm{ran}\,b$ 위에서 $J(ax \oplus by) = ax + by$ 로 정의하며, $\mathfrak{H}_a$ 는 내적 $\langle ax, ay \rangle = (ax, y)$ 에서 $\mathrm{ran}\,a$ 의 완비화이다.
• 형식적으로 $\mathrm{dom}\,J^* = \mathrm{D_{\ast}}(a) \cap \mathrm{D_{\ast}}(b)$ 이며, $u \in \mathrm{dom}\,a \cap \mathrm{dom}\,b$ 이면 $J^*u = au \oplus bu$ 임을 보이며, 이는 수반 연산자가 밀도 있는 정의역을 갖음을 보장한다.
• $J^{**}J^*$ 가 양의 자기수반 연산자임을 증명하고, $\mathrm{dom}\,a \cap \mathrm{dom}\,b$ 에서 $a + b$ 를 확장함을 보이며, 이로써 형식 합을 정의한다.
• 표현 정리를 이용하여 $J^{**}J^*$ 를 형식 합 $a \stackrel{.}{+} b$ 로 식별하고, $a$ 와 $b$ 가 자기수반일 경우 표준 형식 합으로 축소됨을 검증한다.
• 정의도메인의 교차 조건 하에서, 만약 $T$ 가 $a$ 와 $b$ 를 모두 가환시키면 $T$ 는 $J^{**}J^*$ 와도 가환시킴을 보여 유계 연산자와의 가환성을 입증한다.

실험 결과

연구 질문

• RQ1 두 양의 대칭 연산자의 형식 합 확장이 유계 연산자와 언제 가환성을 가지는가?
• RQ2 이 새로운 형식 합 구성법은 자명한 자기수반 연산자에 대한 고전적 형식 합과 어떻게 관련이 있는가?
• RQ3 형식 합 $a \stackrel{.}{+} b$ 는 대수적 합 $a + b$ 의 크라인-폰 뉴만 또는 프리드리히스 확장과 다를 수 있는가?
• RQ4 어떤 조건이 $a \stackrel{.}{+} b \neq (a + b)_{\mathsf{K}}$ 또는 $a \stackrel{.}{+} b \neq (a + b)_{\mathsf{F}}$ 를 보장하는가?
• RQ5 형식 합이 대수적 합의 확장과 다를 수 있는 명시적 예를 구성하는 것은 가능한가?

주요 결과

• 형식 합 $a \stackrel{.}{+} b$ 는 $J^{**}J^*$ 를 통해 $\mathrm{dom}\,a \cap \mathrm{dom}\,b$ 에서 $a + b$ 를 확장하며, $\mathrm{D_{\ast}}(a) \cap \mathrm{D_{\ast}}(b)$ 가 밀도가 있을 경우 자기수반이다.
• 이 구성법은 자기수반 연산자에 대한 표준 형식 합을 일반화하며, $J^{**}J^*$ 가 자기수반인 경우 $a \stackrel{.}{+} b$ 와 일치함을 보여준다.
• 유계 연산자 $T$ 가 $a$ 와 $b$ 둘 다와 가환하고 $\mathrm{D_{\ast}}(a) \cap \mathrm{D_{\ast}}(b)$ 가 $T$ 에 대해 불변이면, $T$ 는 $a \stackrel{.}{+} b$ 와도 가환한다.
• 형식 합이 크라인 확장과 다를 수 있는 반례가 존재한다. 예를 들어, 비영인 결함 지수를 갖는 대칭 연산자의 크라인 확장 $a_{\mathsf{K}}$ 와 프리드리히스 확장 $a_{\mathsf{F}}$ 가 존재할 경우 그러한 반례가 존재한다.
• 유사하게, 중간 확장 $a_{\mathsf{M}}$ 이 사용되고 $a_{\mathsf{M}}$ 의 형식이 $a_{\mathsf{K}}$ 의 형식의 제한이 아닐 경우, $a \stackrel{.}{+} b \neq (a + b)_{\mathsf{F}}$ 가 발생할 수 있다.
• 형식 합이 대수적 합의 확장과 다를 수 있음을 보여주는 명시적 구성은 $\ker a^*$ 위의 양의 닫힌 형식을 이용하여 제공되며, 이는 $\dim(\ker a^*) > 0$ 이면 항상 존재함을 보여준다.