A previous construction of regular rational extensions of the trigonometric Darboux-Pöschl-Teller potential, obtained by one-step Darboux transformations using seed functions associated with the para-Jacobi polynomials of Calogero and Yi, is generalized by considering $m$-step Darboux transformations. As a result, some novel families of exceptional orthogonal polynomials depending on $m$ discrete parameters, as well as $m$ continuous real ones $λ_1$, $λ_2$, \ldots, $λ_m$, are obtained. The restrictions imposed on these parameters by the rational extensions regularity conditions are studied in detail.
논문 ID : 2410.05003제목 : m m m -step rational extensions of the trigonometric Darboux-Pöschl-Teller potential based on para-Jacobi polynomials저자 : Y. Grandati (LPCT UMR 7019, Université de Lorraine), C. Quesne (Université Libre de Bruxelles)분류 : math-ph math.MP nlin.SI quant-ph제출 시간 : 2024년 10월논문 링크 : https://arxiv.org/abs/2410.05003 본 논문은 단일 단계 Darboux 변환을 통해 구성된 삼각 Darboux-Pöschl-Teller 포텐셜의 정규 유리 확장을 m m m -단계 경우로 일반화한다. 이 구성은 Calogero와 Yi의 준-Jacobi 다항식과 관련된 종자 함수를 사용한다. 결과적으로 m m m 개의 이산 매개변수와 m m m 개의 연속 실수 매개변수 λ 1 , λ 2 , … , λ m \lambda_1, \lambda_2, \ldots, \lambda_m λ 1 , λ 2 , … , λ m 에 의존하는 새로운 예외 직교 다항식 족을 얻는다. 본 논문은 유리 확장 정규성 조건이 이들 매개변수에 부과하는 제약을 상세히 연구한다.
예외 직교 다항식(EOPs)의 중요성 : EOP는 Sturm-Liouville 고유값 문제의 고유함수로 나타나는 완전 직교 다항식 족이다. 고전적인 Jacobi, Laguerre 및 Hermite 다항식과의 주요 차이점은 차수 수열에 간격이 있으며, 대응하는 미분방정식이 다항식 계수가 아닌 유리 계수를 포함한다는 점이다.매개변수 의존성의 발전 : 2015년 이전에는 EOP 구성에서 고전 직교 다항식에 대응하는 매개변수 외에 이산 매개변수만 나타난다고 생각했다. 그러나 이후 연속 매개변수에 의존하는 더 일반적인 EOP 족의 가능성이 발견되었다.기존 방법의 한계 : 이전 연구는 주로 단일 단계 Darboux 변환에 집중하여 구성할 수 있는 EOP 족의 복잡성과 일반성을 제한했다.본 논문의 핵심 동기는 문헌 24 의 연구를 완성하는 것이다. 해당 연구는 단일 단계 DT에 국한되었다. 다중 단계 버전을 연구함으로써 임의 개수의 자유 연속 매개변수에 의존하는 새로운 예외 준-Jacobi 다항식 족을 도출할 수 있다.
단일 단계 구성을 m m m -단계로 확장 : 준-Jacobi 다항식 기반의 단일 단계 Darboux 변환을 m m m -단계 경우로 확장하여 구성의 일반성을 크게 확대한다.새로운 EOP 족의 구성 : m m m 개의 이산 매개변수와 m m m 개의 연속 실수 매개변수에 의존하는 예외 직교 다항식의 새로운 족을 얻는다.정규성 조건의 완전한 분석 : 유리 확장 정규성 조건이 매개변수에 부과하는 제약을 상세히 연구하여 각 경우에 명확한 조건을 제공한다.명시적 표현식 : 확장 포텐셜, 고유함수 및 직교 다항식의 명시적 Wronskian 표현식을 제공한다.삼각 Darboux-Pöschl-Teller 포텐셜의 m m m -단계 유리 확장을 구성하여:
확장 포텐셜이 구간 ] 0 , π / 2 [ ]0, \pi/2[ ] 0 , π /2 [ 에서 정규 대응하는 고유함수가 완전 직교 함수 족을 구성 관련 예외 직교 다항식이 연속 매개변수에 의존 m m m -단계 DT 체인 N m = ( − n 1 − 1 , − n 2 − 1 , … , − n m − 1 ) N_m = (-n_1-1, -n_2-1, \ldots, -n_m-1) N m = ( − n 1 − 1 , − n 2 − 1 , … , − n m − 1 ) 에 대해, 변환 수열은:
V ( x ; N , M ) → A ( ψ − n 1 − 1 ) V ( − n 1 − 1 ) → A ( ψ − n 2 − 1 ( − n 1 − 1 ) ) ⋯ → A ( ψ − n m − 1 ( N m − 1 ) ) V ( N m ) V(x;N,M) \xrightarrow{A(\psi_{-n_1-1})} V^{(-n_1-1)} \xrightarrow{A(\psi_{-n_2-1}^{(-n_1-1)})} \cdots \xrightarrow{A(\psi_{-n_m-1}^{(N_{m-1})})} V^{(N_m)} V ( x ; N , M ) A ( ψ − n 1 − 1 ) V ( − n 1 − 1 ) A ( ψ − n 2 − 1 ( − n 1 − 1 ) ) ⋯ A ( ψ − n m − 1 ( N m − 1 ) ) V ( N m )
준-Jacobi 다항식으로 구성된 종자 함수:
ψ − n − 1 ( z ; N , M ; λ ) = ψ − 1 ( z ; N , M ) p n ( − N , − M ) ( z ; λ ) \psi_{-n-1}(z;N,M;\lambda) = \psi_{-1}(z;N,M) p_n^{(-N,-M)}(z;\lambda) ψ − n − 1 ( z ; N , M ; λ ) = ψ − 1 ( z ; N , M ) p n ( − N , − M ) ( z ; λ )
여기서 p n ( − N , − M ) ( z ; λ ) p_n^{(-N,-M)}(z;\lambda) p n ( − N , − M ) ( z ; λ ) 는 실수 매개변수 λ \lambda λ 에 의존하는 준-Jacobi 다항식이다:
p n ( − N , − M ) ( z ; λ ) = ( − 2 ) n ( n − M ) ! n ! ( 2 n − M − N ) ! Θ n , 1 ( − N , − M ) ( z ) + λ ( − 2 ) n ( 2 n − M − N + 1 ) ! ( M + N − n − 1 ) ! ( n − N ) ! Θ n , 2 ( − N , − M ) ( z ) p_n^{(-N,-M)}(z;\lambda) = \frac{(-2)^n (n-M)!n!}{(2n-M-N)!} \Theta_{n,1}^{(-N,-M)}(z) + \lambda \frac{(-2)^n (2n-M-N+1)! (M+N-n-1)!}{(n-N)!} \Theta_{n,2}^{(-N,-M)}(z) p n ( − N , − M ) ( z ; λ ) = ( 2 n − M − N )! ( − 2 ) n ( n − M )! n ! Θ n , 1 ( − N , − M ) ( z ) + λ ( n − N )! ( − 2 ) n ( 2 n − M − N + 1 )! ( M + N − n − 1 )! Θ n , 2 ( − N , − M ) ( z )
m m m -단계 확장의 정규성 요구사항:
sign ( λ 1 ⋯ λ m ) = ( − 1 ) m ( m − 1 ) / 2 ∏ j = 1 m sign ( ( − 1 ) n j − N − M + 1 λ j + ( − 1 ) M λ n j ( N , M ) ) \text{sign}(\lambda_1\cdots\lambda_m) = (-1)^{m(m-1)/2} \prod_{j=1}^m \text{sign}\left((-1)^{n_j-N-M+1}\lambda_j + (-1)^M \lambda_{n_j}^{(N,M)}\right) sign ( λ 1 ⋯ λ m ) = ( − 1 ) m ( m − 1 ) /2 ∏ j = 1 m sign ( ( − 1 ) n j − N − M + 1 λ j + ( − 1 ) M λ n j ( N , M ) )
재귀 관계를 통해, m m m -단계의 조건은 다음으로 단순화된다:
sign ( λ m ) = ( − 1 ) m − 1 sign ( ( − 1 ) n m − N − M + 1 λ m + ( − 1 ) M λ n m ( N , M ) ) \text{sign}(\lambda_m) = (-1)^{m-1}\text{sign}\left((-1)^{n_m-N-M+1}\lambda_m + (-1)^M \lambda_{n_m}^{(N,M)}\right) sign ( λ m ) = ( − 1 ) m − 1 sign ( ( − 1 ) n m − N − M + 1 λ m + ( − 1 ) M λ n m ( N , M ) )
다중 단계 Wronskian 표현 : Wronskian 행렬식의 성질을 사용하여 m m m -단계 확장의 포텐셜과 고유함수를 준-Jacobi 다항식의 Wronskian으로 표현한다.매개변수 제약의 체계적 분석 : 경계 거동 분석을 통해 정규성을 보장하는 매개변수 제약 조건의 완전한 분류를 도출한다.재귀적 구성 : ( m − 1 ) (m-1) ( m − 1 ) -단계에서 m m m -단계 확장으로의 재귀 관계를 확립하여 고차 경우의 분석을 단순화한다.본 논문은 주로 이론 연구이며 다음 방식으로 결과를 검증한다:
명시적 계산 : N = M = 3 N=M=3 N = M = 3 인 경우에 대해 상세 계산을 수행하여 공식의 정확성을 검증한다.경계 조건 검증 : 구성된 포텐셜이 경계에서의 거동이 물리적 요구사항을 만족함을 검증한다.직교성 검증 : 구성된 다항식이 직교 관계를 만족함을 확인한다.N = M = 3 N=M=3 N = M = 3 , ( n 1 , n 2 ) = ( 4 , 3 ) (n_1,n_2)=(4,3) ( n 1 , n 2 ) = ( 4 , 3 ) 인 경우:
준-Jacobi 다항식: p 3 ( − 3 , − 3 ) ( z ; λ ) = z 3 + ( 3 − 2 λ ) z 2 + 3 z + 1 − 2 3 λ p_3^{(-3,-3)}(z;\lambda) = z^3 + (3-2\lambda)z^2 + 3z + 1-\frac{2}{3}\lambda p 3 ( − 3 , − 3 ) ( z ; λ ) = z 3 + ( 3 − 2 λ ) z 2 + 3 z + 1 − 3 2 λ 정규성 조건: − 2 < λ 1 < 0 , 0 < λ 2 < 3 -2 < \lambda_1 < 0, 0 < \lambda_2 < 3 − 2 < λ 1 < 0 , 0 < λ 2 < 3 확장 포텐셜의 명시적 표현식은 Wronskian을 통해 주어진다. 완전한 매개변수 분류 : M M M , n i − N n_i-N n i − N 의 홀짝성에 따라 모든 경우의 정규성 조건을 제시한다:짝수 경우: ( M , n m − N ) ∈ ( 2 N ) 2 (M,n_m-N) \in (2\mathbb{N})^2 ( M , n m − N ) ∈ ( 2 N ) 2 일 때, λ m > λ n m ( N , M ) \lambda_m > \lambda_{n_m}^{(N,M)} λ m > λ n m ( N , M ) 또는 λ m < 0 \lambda_m < 0 λ m < 0 홀수 경우: ( M , n m − N ) ∈ ( 2 N + 1 ) 2 (M,n_m-N) \in (2\mathbb{N}+1)^2 ( M , n m − N ) ∈ ( 2 N + 1 ) 2 일 때, − λ n m ( N , M ) < λ m < 0 -\lambda_{n_m}^{(N,M)} < \lambda_m < 0 − λ n m ( N , M ) < λ m < 0 확장 포텐셜의 명시적 형태 :
V ( N m ) ( x ; N , M ; λ 1 , … , λ m ) = V ( x ; N − m , M − m ) + E − m ( N , M ) + Δ V V^{(N_m)}(x;N,M;\lambda_1,\ldots,\lambda_m) = V(x;N-m,M-m) + E_{-m}(N,M) + \Delta V V ( N m ) ( x ; N , M ; λ 1 , … , λ m ) = V ( x ; N − m , M − m ) + E − m ( N , M ) + Δ V 여기서 Δ V \Delta V Δ V 는 준-Jacobi 다항식의 Wronskian 행렬식의 로그 도함수로 주어진다.
직교 다항식 족 : 구성된 Q k ( n 1 , … , n m ) ( z ; N , M ; λ 1 , … , λ m ) Q_k^{(n_1,\ldots,n_m)}(z;N,M;\lambda_1,\ldots,\lambda_m) Q k ( n 1 , … , n m ) ( z ; N , M ; λ 1 , … , λ m ) 은 ] − 1 , 1 [ ]-1,1[ ] − 1 , 1 [ 에서 측도
μ n 1 ⋯ n m ( − N , − M ) ( z ; λ 1 , … , λ m ) = ( 1 − z ) N − m ( 1 + z ) M − m ( det [ R ( z ; λ 1 , … , λ m ) ] ) 2 \mu_{n_1\cdots n_m}^{(-N,-M)}(z;\lambda_1,\ldots,\lambda_m) = \frac{(1-z)^{N-m}(1+z)^{M-m}}{(\det[R(z;\lambda_1,\ldots,\lambda_m)])^2} μ n 1 ⋯ n m ( − N , − M ) ( z ; λ 1 , … , λ m ) = ( d e t [ R ( z ; λ 1 , … , λ m )] ) 2 ( 1 − z ) N − m ( 1 + z ) M − m
에 대해 직교한다.논문은 V ( − 5 , − 4 ) ( z ; 3 , 3 ; λ 1 , λ 2 ) V^{(-5,-4)}(z;3,3;\lambda_1,\lambda_2) V ( − 5 , − 4 ) ( z ; 3 , 3 ; λ 1 , λ 2 ) 의 3차원 그래프를 제공하여 포텐셜이 매개변수에 따라 연속적으로 변하는 모습을 보여준다.
EOP의 초기 연구 : 수학적 관점에서 영점 성질, 재귀 관계 및 분류 문제 연구물리적 응용 : 정확히 풀 수 있는 양자 포텐셜, Dirac 방정식, 초가적분 시스템과의 연관성연속 매개변수의 출현 : 2015년 이후 발견된 연속 매개변수에 의존하는 EOP 족본 논문은 문헌 24 의 자연스러운 확장으로, 단일 단계에서 다중 단계 Darboux 변환으로의 이론적 프레임워크를 완성하며, 합류 Darboux 변환 25-27 과 쌍대화 방법 28-29 과 상호 보완적이다.
단일 단계 준-Jacobi 다항식 구성을 임의의 m m m -단계 경우로 성공적으로 확장 m m m 개의 연속 매개변수에 의존하는 새로운 EOP 족 획득정규성을 보장하는 매개변수 제약 조건을 완전히 결정 모든 관련 량의 명시적 Wronskian 표현식 제공 매개변수 제약의 복잡성 : 정규성 조건이 여러 매개변수의 홀짝성에 의존하여 실제 응용에서 신중한 검증이 필요하다.계산 복잡도 : 고차 Wronskian 행렬식의 계산은 m m m 이 클 때 복잡해진다.물리적 해석 : 수학적으로는 엄밀하지만 다중 매개변수 족의 물리적 의미는 추가 탐구가 필요하다.논문은 본 결과와 임의 개수의 연속 매개변수에 의존하는 EOP를 생성하는 다른 방법 사이의 가능한 관계를 찾는 개방형 문제를 제시한다.
이론적 완전성 : 단일 단계에서 m m m -단계까지의 완전한 이론 프레임워크를 제공하며 수학적 유도가 엄밀하다.방법론의 체계성 : Wronskian 기법을 통해 다양한 차수의 경우를 통일적으로 처리한다.결과의 일반성 : 획득한 EOP 족은 매우 높은 일반성을 가지며 여러 연속 매개변수를 포함한다.기술적 혁신 : 준-Jacobi 다항식의 성질과 Darboux 변환의 재귀 구조를 교묘하게 활용한다.계산 복잡성 : 고차 경우의 명시적 계산이 매우 복잡해진다.응용 지향성 부족 : 주로 이론적 구성이며 구체적인 물리적 또는 수치적 응용이 부족하다.다른 방법과의 비교 : 합류 방법 등 EOP를 구성하는 다른 방법과의 충분한 비교가 없다.이론적 기여 : 예외 직교 다항식 이론에 중요한 새로운 구성 방법을 제공한다.방법론적 가치 : Wronskian 기법의 체계적 응용은 관련 연구에 패러다임을 제시한다.개방성 : 제시된 개방형 문제는 후속 연구의 방향을 제시한다.수학물리학 : 정확히 풀 수 있는 양자 시스템의 연구특수함수 이론 : 직교 다항식의 분류 및 성질 연구가적분 시스템 : Painlevé 방정식 등 가적분 시스템과의 연관성논문은 35편의 관련 문헌을 인용하며, 주요 내용은:
EOP의 기초 연구 1,20,21 Darboux 변환의 고전 이론 30 준-Jacobi 다항식의 원본 연구 22,23 합류 Darboux 변환의 관련 연구 25-27 본 논문은 예외 직교 다항식과 정확히 풀 수 있는 양자 시스템의 교차 분야에서 중요한 이론적 기여를 하며, 해당 분야의 추가 발전을 위한 견고한 기초를 마련한다.