[논문 리뷰] Decay estimates of discretized Green's functions for Schrödinger type operators

Lin Lin, Jianfeng Lu|arXiv (Cornell University)|2015. 11. 25.

Spectral Theory in Mathematical Physics참고 문헌 17인용 수 4

한 줄 요약

이 논문은 유한차분 및 미온화된 가짜 스펙트럴 이산화 방법을 사용하여 슈뢰딩거형 연산자의 이산화 그린 함수에 대한 붕괴 추정을 수립한다. 이는 비대칭 성분이 지수적으로 붕괴(유한차분) 또는 초대수적으로 붕괴(미온화된 가짜 스펙트럴)함을 증명하며, 붕괴 속도는 도메인 크기와 이산화 파라미터에 영향을 받지 않는다. 이는 1차원에서 수치적으로 확인되었다.

ABSTRACT

For a sparse non-singular matrix $A$, generally $A^{-1}$ is a dense matrix. However, for a class of matrices, $A^{-1}$ can be a matrix with off-diagonal decay properties, i.e. $\lvert A^{-1}_{ij} vert$ decays fast to $0$ with respect to the increase of a properly defined distance between $i$ and $j$. Here we consider the off-diagonal decay properties of discretized Green's functions for Schrödinger type operators. We provide decay estimates for discretized Green's functions obtained from the finite difference discretization, and from a variant of the pseudo-spectral discretization. The asymptotic decay rate in our estimate is independent of the domain size and of the discretization parameter. We verify the decay estimate with numerical results for one-dimensional Schrödinger type operators.

연구 동기 및 목표

• 유한차분 및 가짜 스펙트럴 이산화 방법을 통한 슈뢰딩거형 연산자의 이산화 그린 함수에 대한 엄밀한 붕괴 추정을 수립하기 위해.
• 비대칭 성분의 점 渐진 붕괴 속도가 도메인 크기와 이산화 파라미터(예: 격자 간격)에 영향을 받지 않는 것을 보여주기 위해.
• 주기적 경계 조건을 가진 1차원 연산자에 대해 수치 실험을 수행하여 이론적 붕괴 행동을 검증하기 위해.
• 표준 가짜 스펙트럴 방법이 푸리에 격자 경계에서의 비연속성으로 인해 초래하는 한계를 명확히 하여 다항식 붕괴만을 초래함을 밝혀내기 위해.
• 이산화 역행렬의 비대칭 성분 붕괴에 대한 이론적 기초를 제공함으로써 효율적인 수치 방법 설계를 지원하기 위해.

제안 방법

• 균일 격자 위에서 유한차분 이산화를 사용하여 슈뢰딩거형 연산자의 역행렬에 대한 붕괴 추정을 유도한다.
• 지배 현상과 스펙트럼 정확도 향상을 위해 미온화된 가짜 스펙트럴 방법을 적용하여 비대칭 붕괴 분석이 가능하도록 한다.
• 복소해석 기법을 사용하여 리졸베트 노름을 활용해 행렬 성분의 붕괴를 유계화하며, 하밀토니안 연산자의 리졸베트 집합 조건을 활용한다.
• 매트릭스 희박성 패턴에 의해 유도된 그래프 상의 지오데식 거리를 사용하여 공간적 분리에 따른 붕괴를 정의한다.
• 수치적으로 지수 붕괴 행동을 정량화하기 위해 붕괴 속도 추정기 γ = −(log G(x₂,0) − log G(x₁,0))/(x₂ − x₁) 를 도입한다.
• 주기적 경계 조건을 가진 1차원 슈뢰딩거 연산자에 대해 도메인 크기 L과 격자 간격 Δx 를 변화시키며 수치 실험을 수행하여 붕괴 속도의 강건성을 테스트한다.

실험 결과

연구 질문

• RQ1 유한차분 방법에 의한 이산화 그린 함수는 도메인 크기와 격자 세분화에 영향을 받지 않는 점 渐진 붕괴 속도를 보이는가?
• RQ2 미온화된 가짜 스펙트럴 이산화 방법은 표준 가짜 스펙트럴 방법보다 슈뢰딩거형 연산자에 대해 향상된 붕괴 성질을 제공하는가?
• RQ3 다른 수치적 방법에 대해 붕괴 속도는 이산화 파라미터(Δx)와 도메인 크기(L)에 어떻게 의존하는가?
• RQ4 왜 표준 가짜 스펙트럴 방법은 지수 붕괴를 달성하지 못하며, 미온화가 이 문제를 어떻게 완화하는가?
• RQ5 이론적 붕괴 추정은 주기적 경계 조건을 가진 1차원에서 수치적으로 검증될 수 있는가?

주요 결과

• 유한차분 이산화 방법은 도메인 크기 L과 격자 간격 Δx 가 변화하더라도 안정적인 지수 붕괴를 보이는 그린 함수의 비대칭 성분을 제공한다.
• 미온화된 가짜 스펙트럴 방법은 초대수 붕괴를 초래하며, Δx 가 감소하고 k_c 가 증가할수록 점점 지수 붕괴에 가까워진다.
• 표준 가짜 스펙트럴 방법의 경우, 푸리에 격자 경계에서 라플라시안의 비연속성으로 인해 붕괴가 다항식 수준에 그치며, 지수 붕괴보다 느리다.
• 수치 실험 결과, 유한차분 방법의 붕괴 속도 γ 는 L 과 Δx 의 변화에 거의 영향을 받지 않아 강건성을 보여준다.
• Δx 가 감소함에 따라(즉, k_c 가 증가함에 따라) 미온화된 가짜 스펙트럴 방법의 붕괴 속도는 향상되며 지수 행동에 가까워지며, 이는 이론적 예측을 검증한다.
• 붕괴 추정은 도메인 크기 L 과 이산화 파라미터 Δx 양쪽에 대해 점 渐진적으로 독립적이며, 이는 확장 가능한 수치 방법에 있어 핵심적인 결과이다.