[논문 리뷰] Trace formulae for Schrodinger operators on metric graphs with applications to recovering matching conditions

Yulia Yu. Ershova, Alexander V. Kiselev|arXiv (Cornell University)|2014. 03. 29.

Spectral Theory in Mathematical Physics참고 문헌 23인용 수 3

한 줄 요약

이 논문은 유한한 컴act한 미터릭 그래프 위의 슈뢰딩거 연산자에 대해 δ-유형 매칭 조건을 갖는 경우, Weyl-Titchmarsh M-함수의 점근 전개를 이용하여 트레이스 공식을 유도한다. 두 연산자가 동일한 스펙트럼(중복도 포함)을 갖는다면, 그들의 결합 상수는 반드시 동일해야 하며, 이는 스펙트럼 데이터로부터 매칭 조건을 복원하는 유일성 결과를 제공한다.

ABSTRACT

The paper is a continuation of the study started in \cite{Yorzh1}. Schrodinger operators on finite compact metric graphs are considered under the assumption that the matching conditions at the graph vertices are of $δ$ type. Either an infinite series of trace formulae (provided that edge potentials are infinitely smooth) or a finite number of such formulae (in the cases of $L_1$ and $C^M$ edge potentials) are obtained which link together two different quantum graphs under the assumption that their spectra coincide. Applications are given to the problem of recovering matching conditions for a quantum graph based on its spectrum.

연구 동기 및 목표

• 유량 그래프의 스펙트럼으로부터 매칭 조건을 복원하는 역스펙트럼 문제를 다루는 것.
• 이전의 그래프 라플라스 연산자에 대한 결과를 일반적인 간선 잠재력과 함께 슈뢰딩거 연산자로 확장하는 것.
• 동일한 그래프 위의 두 슈뢰딩거 연산자 간의 스펙트럼 일치 조건을 연결하는 트레이스 공식을 수립하는 것.
• 간선 잠재력의 스무스함이 스펙트럼을 연결하는 가능한 트레이스 공식의 수에 미치는 영향을 조사하는 것.
• δ-유형 매칭 조건에 대해 스펙트럼 동치 조건 하에서 결합 상수의 유일성을 증명하는 것.

제안 방법

• 미터릭 그래프 위의 슈뢰딩거 연산자에 대해 경계 삼중체 이론과 일반화된 Weyl-Titchmarsh M-함수 이론을 활용한다.
• M-함수의 마이너스 무한대에서의 점근 전개를 유도하여, C^M 또는 L1 잠재력의 경우 차수 M까지의 스펙트럼 정보를 포착한다.
• 동일한 스펙트럼을 갖는 두 연산자에 대해 M-함수의 행렬식 로그 전개를 동일시함으로써 트레이스 공식을 구성한다.
• M-함수 점근 전개의 첫 두 항이 간선 잠재력과 무관하다는 사실에 기반하여, 결합 상수의 의존성을 분리한다.
• δ-유형 및 δ′-유형 매칭 조건 모두에 이 방법을 적용하며, 후자는 유사한 방식으로 다뤄진다.
• 행렬식 비율의 로그 점근 전개에서 계수의 소멸을 이용하여 트레이스 항등식을 도출한다.

실험 결과

연구 질문

• RQ1 간선 잠재력이 반드시 스무스하지 않은 경우, δ-유형 매칭 조건을 갖는 미터릭 그래프 위의 슈뢰딩거 연산자에 대해 트레이스 공식을 유도할 수 있는가?
• RQ2 간선 잠재력의 스무스함이 동일한 스펙트럼을 갖는 두 연산자 간의 가능한 트레이스 공식의 수에 어떤 영향을 미치는가?
• RQ3 유한한 미터릭 그래프 위의 슈뢰딩거 연산자의 스펙트럼으로부터 정점에서의 결합 상수를 유일하게 복원할 수 있는가?
• RQ4 M-함수의 점근 전개가 간선 잠재력과 무관하게 매칭 조건에 대한 정보를 얼마나 잘 포착하는가?
• RQ5 경계 삼중체와 M-함수 점근 전개에 기반한 접근법을 δ′-유형 매칭 조건으로 확장할 수 있으며, 동일한 유일성 결과를 도출할 수 있는가?

주요 결과

• 무한히 스무스한 간선 잠재력에 대해, 스펙트럼이 일치하는 두 슈뢰딩거 연산자 간의 무한한 수의 트레이스 공식이 도출된다.
• L1 또는 C^M 간선 잠재력에 대해서는 유한한 수의 트레이스 공식 뿐만이 가능하며, 잠재력의 스무스함이 증가할수록 공식의 수가 증가한다.
• 첫 번째 트레이스 공식(s=1)은 결합 상수에 가중치가 부여된 정점 차수의 합으로 축소되며, 그래프 라플라스 연산자에 대한 결과와 일치한다.
• 모든 정점에서의 결합 상수가 동일한 경우, 스펙트럼의 동일성은 결합 상수의 동일성을 의미한다: σ(A_α̃) = σ(A_α) 이면 α̃ = α 이다.
• 두 연산자의 간선 잠재력이 다를 경우에도 결과가 성립한다. 왜냐하면 M-함수의 첫 두 점근 항이 잠재력과 무관하기 때문이다.
• δ′-유형 매칭 조건에 대해서도 유사한 유일성 결과가 확립되었으며, 동일한 조건 하에서 스펙트럼 동일성은 결합 상수의 동일성을 의미한다.