[논문 리뷰] On transformation operators and Riesz basis property of root vectors system for $n imes n$ Dirac type operators. Application to the Timoshenko beam model

Anton A. Lunyov, M. M. Malamud|arXiv (Cornell University)|2021. 12. 14.

Spectral Theory in Mathematical Physics인용 수 4

한 줄 요약

이 논문은 일반 경계 조건을 갖는 n×n 디랙형 시스템에 대해 삼각형 변환 연산자 존재성을 확립하며, 엄격하게 규칙된 경계 조건 하에서 고유벡터 체계가 가중 L²-공간에서 리스 베이시스를 이룬다는 것을 증명한다. 주요 기여는 편항된 시스템의 고유값이 원래 시스템의 고유값으로 수렴함을 보여주는 스펙트럼 점근 공식을 제시하는 것으로, 팀로센 보 모델에의 응용을 포함하여 변수 계수 설정에서도 명시적인 점근적 성질과 리스 베이시스 성질을 제공한다.

ABSTRACT

The paper is concerned with the following $n imes n$ Dirac type equation$$Ly=-iB(x)^{-1}(y'+Q(x)y)=λy, \quad B(x)=B(x)^*,\quad y={ m col}(y_1,\ldots,y_n),\quad x\in[0,\ell],$$ on a finite interval $[0,\ell]$. Here $Q$ is a summable potential $n imes n$ matrix function and $B$ is an invertible self-adjoint diagonal bounded matrix function. If $n=2m$ and $B(x)={ m diag}(-I_m,I_m)$, this equation is equivalent to Dirac equation of order $n$. We show the existence of triangular transformation operators for such equation under additional uniform separation conditions on the entries of the matrix function $B$. Here we apply this result to study direct spectral properties of the boundary value problem (BVP) associated with the above equation subject to the general boundary conditions $U(y)=Cy(0)+Dy(\ell)=0,{ m rank}(C\ D)=n$. We apply this result to show that the deviation of the characteristic determinants of this BVP and the unperturbed BVP (with $Q=0$) is a Fourier transform of some summable function, which in turn yields asymptotic behavior of the spectrum in the case of regular boundary conditions. Namely, $λ_m=λ_m^0+o(1)$ as $m o\infty$, where $\{λ_m\}_{m\in\mathbb{Z}}$ and $\{λ_m^0\}_{m\in\mathbb{Z}}$ are sequences of eigenvalues of perturbed and unperturbed ($Q=0$) BVP, respectively. Further, we prove that the system of root vectors of the above BVP constitutes a Riesz basis in a certain weighted $L^2$-space, provided that the boundary conditions are strictly regular. The main results are applied to establish asymptotic behavior of eigenvalues and eigenvectors, and the Riesz basis property for the dynamic generator of the Timoshenko beam model. We also found a new case when eigenvalues have an explicit asymptotic, which to the best of our knowledge is new even in the case of constant parameters of the model.

연구 동기 및 목표

• 가중 행렬 B의 성분에 대해 균일한 분리 조건이 만족될 경우 n×n 디랙형 시스템에 대한 삼각형 변환 연산자의 존재성을 확립하기.
• 일반적인 경계 조건 하에서 디랙형 시스템과 관련된 경계값문제(BVP)의 스펙트럼 성질을 분석하기.
• 경계 조건이 엄격하게 규칙되어 있을 경우 고유벡터 체계가 가중 L²-공간에서 리스 기저를 이룬다는 것을 증명하기.
• 공간적으로 비균일한 감쇠 팀로센 보 모델의 동적 생성자에 결과를 적용하여 고유값 점근적 성질과 리스 기저 성질을 도출하기.
• 기존 문헌에서 알려지지 않은 새로운 경우를 식별하여, 상수 계수 설정에서도 명시적인 점근적 고유값을 제공하는 것으로, 저자들에 따르면 이는 최초의 발견이다.

제안 방법

• 대각형 가중 행렬 B의 성분에 대해 균일한 분리 조건이 만족될 경우 디랙형 시스템에 대한 삼각형 변환 연산자를 유도하기.
• 변환 연산자를 사용하여 특성 행렬식이 원래 시스템과의 차이를 변환 연산자 핵에서 유도된 함수의 푸리에 변환으로 표현함.
• 특성 행렬식 표현을 통해 고유값의 점근적 행동을 확립하며, m → ∞ 일 때 λₘ = λₘ⁰ + o(1) 이 성립함을 보임.
• 스펙트럼 분석 기법을 사용하여 고유벡터의 완전성, 균일한 최소성 및 점근적 행동을 증명하기.
• 팀로센 보 모델에 결과를 적용하기 위해 시스템을 디랙형 시스템으로 환원하고 그 스펙트럼 성질을 분석하기.
• 일반 조건 하에서 고유벡터 체계가 리스 기저 성질을 가짐을 parentheses와 함께 보여주며, 특수한 경우에 대해 명시적인 점근 공식을 수립하기.

실험 결과

연구 질문

• RQ1 일반적인 경계 조건을 갖는 n×n 디랙형 연산자의 고유벡터 체계가 가중 L²-공간에서 리스 기저를 이룰 수 있는 조건은 무엇인가?
• RQ2 편항된 디랙형 시스템의 스펙트럼은 점근적으로 어떻게 행동하며, 편항된 시스템과 원래 시스템의 고유값 간의 정확한 관계는 무엇인가?
• RQ3 변환 연산자 방법을 사용하여 변수 계수를 갖는 팀로센 보 모델에서 고유값과 고유벡터에 대한 명시적인 점근 공식을 유도할 수 있는가?
• RQ4 팀로센 보 연산자의 고유값이 점근적으로 단순하고 분리되어 있음을 보장하는 조건은 무엇이며, 언제 명시적인 점근적 표현을 가질 수 있는가?
• RQ5 팀로센 보 연산자의 고유벡터 체계가 parentheses와 함께 리스 기저를 이룰 수 있는 경우는 무엇이며, 이는 이전 결과를 어떻게 일반화하는가?

주요 결과

• BVP의 특성 행렬식은 변환 연산자 핵에서 명시적으로 구성된 함수의 푸리에 변환으로부터의 차이를 보이며, 원래 시스템과 다름.
• 편항된 시스템의 고유값은 m → ∞ 일 때 λₘ = λₘ⁰ + o(1) 를 만족하며, 여기서 λₘ⁰ 은 원래 시스템(Q = 0)의 고유값이다.
• 경계 조건이 엄격하게 규칙되어 있을 경우 고유벡터 체계는 가중 L²-공간에서 리스 기저를 이룬다.
• 팀로센 보 모델의 경우 일반 조건 하에서 고유벡터 체계는 parentheses와 함께 리스 기저를 이루며, 이전에 규명되지 않은 새로운 경우에서 고유값에 대해 명시적인 점근 공식이 도출된다.
• 논문은 팀로센 보 모델에 대해 상수 계수 설정에서도 명시적인 점근적 고유값을 제공하는 새로운 경우를 식별하였으며, 이는 저자들에 따르면 최초의 발견이다.
• 결과들은 이전 문헌에서의 주장들을 일반화하고 수정하였으며, 특히 변수 계수 및 더 넓은 경계 조건 하에서 리스 기저 성질과 완전성에 관한 기존 주장들을 보완한다.