[논문 리뷰] On the fine spectrum of the second order difference operator over the sequence spaces \ell_p and bv_p, (1 < p < \infty)

Vatan Karakaya, Manaf Dzh. Manafov외 1명|arXiv (Cornell University)|2011. 05. 24.

Approximation Theory and Sequence Spaces참고 문헌 8인용 수 4

한 줄 요약

이 논문은 $1 < p < \infty$ 인 $\ell_p$ 및 $bvp$ 수열 공간에서 대칭 삼대각 행렬 연산자 $U(s, r, s)$의 미세 스펙트럼을 결정한다. 스펙트럼 이론과 재귀 관계를 사용하여, 점 스펙트럼과 잔여 스펙트럼이 공집합임을 증명하고, 연속 스펙트럼은 닫힌 구간 $[r - 2s, r + 2s]$임을 보이며, 이는 두 공간에 대해 미세 스펙트럼을 완전히 특징짓는다.

ABSTRACT

In general, it is well known the behaviors of the symmetric tri-band matrices on the Hilbert spaces. But the symmetric tri-band matrices have different the behavior on the Banach spaces. The main purpose of this work is to determine the fine spectra of the operator U(s, r, s) defined by symmetric tri-band matrix over the sequence spaces {\ell}_p and bvp.

연구 동기 및 목표

• 모든 $1 < p < \infty$ 에 대해 수열 공간 $\ell_p$ 및 $bvp$ 에서 두 번째 차수의 차분 연산자 $U(s, r, s)$의 미세 스펙트럼을 결정하는 것.
• 바나흐 공간에서 대칭 삼대각 행렬의 행동을 분석하여, 힐베르트 공간에서의 스펙트럼 성질과의 차이를 밝히는 것.
• 이 연산자에 대해 $\ell_p$ 및 $bvp$ 공간에서 스펙트럼을 점, 연속, 잔여 스펙트럼으로 완전히 분해하는 것.
• 기존의 차분 및 케사로 연산자의 스펙트럼 결과를 대칭 삼대각 행렬의 경우로 확장하는 것.

제안 방법

• 해리티지 집합, 스펙트럼 및 그 점, 연속, 잔여 스펙트럼으로의 분해 개념을 포함한 스펙트럼 이론을 활용한다.
• 재귀 관계와 특성 방정식을 적용하여 고유값을 분석하고, $q = (r - \lambda)/s$ 인 $x_{k+2} + qx_{k+1} + x_k = 0$ 을 풀며.
• 민코프스키 부등식을 사용하여 $bvp$ 공간에서 $U(s, r, s)$의 유계성을 증명하며, $\|U(s, r, s)x\|_{bvp} \leq (2|s| + |r|)\|x\|_{bvp}$ 를 보임.
• 쌍대성과 수반 연산자 성질을 활용하며, $U^*(s, r, s) = U(s, r, s)$ 이므로 $p^{-1} + q^{-1} = 1$ 인 조건 하에 $\ell_p$ 및 $\ell_q$ 공간에서의 스펙트럼을 연결한다.
• $\lambda \notin [r - 2s, r + 2s]$ 인 경우, $(U(s, r, s) - \lambda I)^{-1}$ 의 해리티지 연산자가 $\ell_p$ 에서 유계임을 분석하고, 이를 증명한다.
• $\lambda = r$ 일 때 비가역성이 발생하고, $\lambda \in [r - 2s, r + 2s]$ 인 경우, 역연산자가 유계이거나 조밀하게 정의되지 않음을 증명한다.

실험 결과

연구 질문

• RQ1 $1 < p < \infty$ 인 $\ell_p$ 공간에서 대칭 삼대각 행렬 연산자 $U(s, r, s)$의 완전한 미세 스펙트럼은 무엇인가요?
• RQ2 $bvp$ 공간에서 $U(s, r, s)$의 스펙트럼은 $\ell_p$ 공간에서의 스펙트럼과 어떻게 비교될 수 있나요?
• RQ3 $\ell_p$ 및 $bvp$ 공간에서 $U(s, r, s)$의 점 스펙트럼과 잔여 스펙트럼이 공집합인 이유는 무엇인가요?
• RQ4 특성 방정식 $x^2 + qx + 1 = 0$ 이 $U(s, r, s)$의 스펙트럼 성질을 결정하는 데 어떤 역할을 하나요?
• RQ5 바나흐 공간에서 대칭 삼대각 행렬의 스펙트럼 행동은 힐베르트 공간과 어떻게 다릅니까?

주요 결과

• 점 스펙트럼 $\sigma_p(U(s, r, s), \ell_p)$ 는 공집합이며, 이는 $\ell_p$ 공간에서 연산자에 고유값이 존재하지 않음을 의미한다.
• 잔여 스펙트럼 $\sigma_r(U(s, r, s), \ell_p)$ 도 공집합이며, 이는 범위가 조밀하지 않은 $\lambda$ 가 존재하지 않음을 의미한다.
• 연속 스펙트럼 $\sigma_c(U(s, r, s), \ell_p)$ 는 닫힌 구간 $[r - 2s, r + 2s]$이며, 이는 스펙트럼을 완전히 특징짓는다.
• 같은 스펙트럼 분해는 $bvp$ 공간에도 적용되며, $\sigma_p(U(s, r, s), bvp) = \emptyset$, $\sigma_r(U(s, r, s), bvp) = \emptyset$, $\sigma_c(U(s, r, s), bvp) = [r - 2s, r + 2s]$ 이다.
• $\ell_p$ 및 $bvp$ 공간에서 $U(s, r, s)$의 스펙트럼은 정확히 $[r - 2s, r + 2s]$이며, 다른 스펙트럼 성분은 존재하지 않는다.
• 수반 연산자 $U^*(s, r, s)$ 는 $p^{-1} + q^{-1} = 1$ 인 $\ell_q$ 공간에서 점 스펙트럼이 공집합이며, 이는 쌍대성 일致성의 확인을 의미한다.