[논문 리뷰] An inverse spectral problem for second-order functional-differential pencils with two delays

Sergey Buterin, M.A. Malyugina외 1명|arXiv (Cornell University)|2020. 10. 27.

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

한 줄 요약

이 논문은 두 개의 일정한 지연을 가진 이阶 함수미분 피복의 역스펙트럼 문제를 해결하며, 공통의 경계 조건을 공유하는 두 스펙트럼으로부터 계수를 복원하는 유일성과 구조적 알고리즘을 증명한다. 주요 기여는 해법 가능성에 대한 필요 및 충분 조건과 완전한 재구성 절차를 제시하며, 지연 연산자 분야에서 오랫동안 미해결이었던 열린 질문을 해결한다.

ABSTRACT

We consider a second order functional-differential pencil with two constant delays of the argument and study the inverse problem of recovering its coefficients from the spectra of two boundary value problems with one common boundary condition. The uniqueness theorem is proved and a constructive procedure for solving this inverse problem along with necessary and sufficient conditions for its solvability is obtained. Moreover, we give a survey on the contemporary state of the inverse spectral theory for operators with delay. The pencil under consideration generalizes Sturm-Liouville-type operators with delay, which allows us to illustrate essential results in this direction, including recently solved open questions.

연구 동기 및 목표

• 두 개의 일정한 지연을 가진 이계 함수미분 피복의 역스펙트럼 문제를 다루며, 지연이 있는 스투름-리우빌 연산자의 일반화를 목적으로 한다.
• 공통 경계 조건을 공유하는 두 경계값 문제의 스펙트럼으로부터 미분 피복의 계수를 결정한다.
• 역문제의 해법 가능성에 대한 필요 및 충분 조건을 수립하고, 구조적 재구성 절차를 제공한다.
• 특히 잠재력의 유일성과 식별 가능성에 관해, 지연이 있는 연산자에 대한 역스펙트럼 이론에서 열려 있던 질문을 해결한다.

제안 방법

• 스펙트럼 매개변수를 포함하는 미분 방정식에서 두 개의 일정한 지연을 포함하는 스투름-리우빌 형식의 함수미분 피복을 수립한다.
• 경계값 문제와 관련된 특성 함수의 점근 전개를 유도하여 스펙트럼 자료를 분석한다.
• 변형된 함수를 사용하여 스펙트럼 자료의 적분 표현을 유도하고, 스펙트럼과 계수를 연결하기 위해 보조 함수를 도입한다.
• 스펙트럼과 계수를 포함하는 방정식계를 구성하여, 스펙트럼 자료를 통해 잠재력 함수를 복원할 수 있도록 한다.
• 문제를 레지-형 문제로 축소하기 위해 변환 방법을 적용하여 특성 함수 표현의 사용을 가능하게 한다.
• 스펙트럼 자료를 이용하여 적분 방정식계를 통한 계수 재구성 절차를 수립하고, 유도된 조건 하에서 해가 유일함을 증명한다.

실험 결과

연구 질문

• RQ1 두 개의 일정한 지연을 가진 이계 함수미분 피복의 계수는 공통 경계 조건을 공유하는 두 경계값 문제의 스펙트럼으로부터 유일하게 재구성될 수 있는가?
• RQ2 이 역스펙트럼 문제의 해법 가능성에 대한 필요 및 충분 조건은 무엇인가?
• RQ3 지연가 π/2 이하일 경우, 특히 (0, π/2) 범위에서 잠재력 함수의 유일성 결과가 유지되는가?
• RQ4 두 개의 서로 다른 지연이 존재할 때, 두 경계값 문제의 스펙트럼이 두 잠재력 함수를 유일하게 결정할 수 있는가?
• RQ5 다른 잠재력 함수가 동일한 스펙트럼을 생성하는 경우가 존재하여, 역문제에서 비유일성이 발생하는가?

주요 결과

• 논문은 두 개의 일정한 지연을 가진 이계 함수미분 피복의 계수를 공통 경계 조건을 공유하는 두 스펙트럼으로부터 복원하는 역스펙트럼 문제에 대해 유일성 정리를 증명한다.
• 스펙트럼 자료와 특성 함수의 적분 표현을 바탕으로 한 역문제를 해결하기 위한 구조적 절차를 제시한다.
• 역문제의 해법 가능성에 대한 필요 및 충분 조건을 유도하여, 이러한 조건이 충족될 때에만 재구성이 가능하다는 것을 보장한다.
• 논문은 지연가 (0, π/2) 범위일 경우, 두 스펙트럼만으로는 잠재력을 유일하게 결정할 수 없다는 점을 반례를 통해 보여주며, 열린 질문을 해결한다. 이 반례는 일차원 매개변수를 가진 등스펙트럼 잠재력의 가족이 존재함을 시사한다.
• 반례는 서로 다른 지연이 존재하더라도 두 경계값 문제의 스펙트럼이 개별적인 잠재력 함수를 유일하게 결정하지 못함을 보여주며, [19] 및 [20]에서 이전에 제기된 주장들을 반박한다.
• 기존에 최대라고 여겨졌던 잠재력 함수의 유일성 부분 영역이 실제로는 개선될 수 없음을 증명하며, 동일한 스펙트럼을 갖는 서로 다른 잠재력의 일차원 매개변수 가족이 존재함을 보여준다.