$m$-step rational extensions of the trigonometric Darboux-Pöschl-Teller potential based on para-Jacobi polynomials

Basic Information

• Paper ID: 2410.05003
• Title: $m$-step rational extensions of the trigonometric Darboux-Pöschl-Teller potential based on para-Jacobi polynomials
• Authors: Y. Grandati (LPCT UMR 7019, Université de Lorraine), C. Quesne (Université Libre de Bruxelles)
• Classification: math-ph math.MP nlin.SI quant-ph
• Submission Date: October 2024
• Paper Link: https://arxiv.org/abs/2410.05003

Abstract

This paper extends the regular rational extensions of the trigonometric Darboux-Pöschl-Teller potential previously constructed via single-step Darboux transformations to the $m$-step case. The construction employs seed functions related to the para-Jacobi polynomials of Calogero and Yi. The result yields novel families of exceptional orthogonal polynomials depending on $m$ discrete parameters and $m$ continuous real parameters $\lambda_1, \lambda_2, \ldots, \lambda_m$. The paper provides a detailed investigation of the constraints imposed on these parameters by the regularity conditions of the rational extensions.

Research Background and Motivation

Problem Background

1. Importance of Exceptional Orthogonal Polynomials (EOPs): EOPs are complete orthogonal polynomial families appearing as eigenfunctions of Sturm-Liouville eigenvalue problems. Their principal distinction from classical Jacobi, Laguerre, and Hermite polynomials lies in gaps in the degree sequence, with corresponding differential equations containing rational rather than polynomial coefficients.
2. Development of Parameter Dependence: Prior to 2015, it was believed that EOP constructions involved only discrete parameters in addition to those corresponding to classical orthogonal polynomials. Subsequently, the possibility of more general EOP families depending on continuous parameters was discovered.
3. Limitations of Existing Methods: Previous research focused primarily on single-step Darboux transformations, limiting the complexity and generality of constructible EOP families.

Research Motivation

The core motivation of this paper is to complete the research in reference 24, which was restricted to single-step DT. By investigating the multi-step version, novel families of exceptional para-Jacobi polynomials depending on an arbitrary number of free continuous parameters can be derived.

Core Contributions

1. Generalization from single-step to $m$-step construction: Extension of single-step Darboux transformations based on para-Jacobi polynomials to the $m$-step case, significantly broadening the generality of the construction.
2. Construction of novel EOP families: Derivation of new families of exceptional orthogonal polynomials depending on $m$ discrete parameters and $m$ continuous real parameters.
3. Complete analysis of regularity conditions: Detailed investigation of constraints imposed on parameters by regularity conditions of rational extensions, providing explicit conditions for each case.
4. Explicit expressions: Provision of explicit Wronskian expressions for extended potentials, eigenfunctions, and orthogonal polynomials.

Detailed Methodology

Task Definition

Construct $m$-step rational extensions of the trigonometric Darboux-Pöschl-Teller potential such that:

• The extended potential is regular on the interval $]0, \pi/2[$
• The corresponding eigenfunctions form a complete orthogonal function family
• The associated exceptional orthogonal polynomials depend on continuous parameters

Core Methodological Framework

1. Darboux Transformation Chain

For an $m$-step DT chain $N_m = (-n_1-1, -n_2-1, \ldots, -n_m-1)$, the transformation sequence is: $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)}$

2. Para-Jacobi Polynomial Seed Functions

Seed functions constructed from para-Jacobi polynomials: $\psi_{-n-1}(z;N,M;\lambda) = \psi_{-1}(z;N,M) p_n^{(-N,-M)}(z;\lambda)$

where $p_n^{(-N,-M)}(z;\lambda)$ are para-Jacobi polynomials depending on real parameter $\lambda$: $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)$

3. Regularity Conditions

Regularity of the $m$-step extension requires: $\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)$

Through recursive relations, the condition at the $m$-th step simplifies to: $\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)$

Technical Innovations

1. Multi-step Wronskian representation: Utilization of Wronskian determinant properties to express the $m$-step extended potential and eigenfunctions as Wronskians of para-Jacobi polynomials.
2. Systematic analysis of parameter constraints: Derivation of complete classification of parameter constraints ensuring regularity through boundary behavior analysis.
3. Recursive construction: Establishment of recursive relations from $(m-1)$-step to $m$-step extensions, simplifying analysis of higher-order cases.

Experimental Setup

Theoretical Verification

This paper is primarily theoretical work, with results verified through:

1. Explicit calculations: Detailed computations for the case $N=M=3$ to verify formula correctness.
2. Boundary condition verification: Confirmation that constructed potentials satisfy physical requirements at boundaries.
3. Orthogonality verification: Confirmation that constructed polynomials satisfy orthogonality relations.

Specific Examples

Taking $N=M=3$, $(n_1,n_2)=(4,3)$ as an example:

• Para-Jacobi polynomial: $p_3^{(-3,-3)}(z;\lambda) = z^3 + (3-2\lambda)z^2 + 3z + 1-\frac{2}{3}\lambda$
• Regularity conditions: $-2 < \lambda_1 < 0, 0 < \lambda_2 < 3$
• Explicit expression for extended potential given via Wronskian

Experimental Results

Main Results

1. Complete parameter classification: According to parity of $M$ and $n_i-N$, regularity conditions for all cases are provided:
   • Even case: When $(M,n_m-N) \in (2\mathbb{N})^2$, $\lambda_m > \lambda_{n_m}^{(N,M)}$ or $\lambda_m < 0$
   • Odd case: When $(M,n_m-N) \in (2\mathbb{N}+1)^2$, $-\lambda_{n_m}^{(N,M)} < \lambda_m < 0$
2. Explicit form of extended potential: $V^{(N_m)}(x;N,M;\lambda_1,\ldots,\lambda_m) = V(x;N-m,M-m) + E_{-m}(N,M) + \Delta V$

where $\Delta V$ is given by the logarithmic derivative of the Wronskian determinant of para-Jacobi polynomials.

3. Orthogonal polynomial families: The constructed $Q_k^{(n_1,\ldots,n_m)}(z;N,M;\lambda_1,\ldots,\lambda_m)$ are orthogonal on $]-1,1[$ with respect to the measure $\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}$

Visualization Results

The paper provides three-dimensional plots of $V^{(-5,-4)}(z;3,3;\lambda_1,\lambda_2)$, demonstrating continuous variation of the potential with parameters.

Related Work

Historical Development

1. Early EOP research: Mathematical investigation of zero properties, recurrence relations, and classification problems
2. Physical applications: Connections with exactly solvable quantum potentials, Dirac equations, and superintegrable systems
3. Emergence of continuous parameters: Post-2015 discovery of EOP families depending on continuous parameters

Positioning of This Work

This paper is a natural extension of reference 24, completing the theoretical framework from single-step to multi-step Darboux transformations, complementing confluent Darboux transformations 25-27 and dualization methods 28-29.

Conclusions and Discussion

Main Conclusions

1. Successful generalization of single-step para-Jacobi polynomial construction to arbitrary $m$-step case
2. Derivation of novel EOP families depending on $m$ continuous parameters
3. Complete determination of parameter constraints ensuring regularity
4. Provision of explicit Wronskian expressions for all relevant quantities

Limitations

1. Complexity of parameter constraints: Regularity conditions depend on parity of multiple parameters, requiring careful verification in practical applications
2. Computational complexity: Calculation of higher-order Wronskian determinants becomes complex for large $m$
3. Physical interpretation: While mathematically rigorous, the physical significance of multi-parameter families warrants further exploration

Future Directions

The paper raises open questions regarding possible connections between these results and other methods for generating EOPs depending on arbitrary numbers of continuous parameters.

In-Depth Evaluation

Strengths

1. Theoretical completeness: Provides a complete theoretical framework from single-step to $m$-step cases with rigorous mathematical derivations
2. Systematic methodology: Unified treatment of different orders through Wronskian techniques
3. Generality of results: The derived EOP families possess high generality with multiple continuous parameters
4. Technical innovation: Skillful exploitation of para-Jacobi polynomial properties and recursive structure of Darboux transformations

Weaknesses

1. Computational complexity: Explicit calculations for higher-order cases become highly complex
2. Insufficient application orientation: Primarily theoretical construction lacking concrete physical or numerical applications
3. Limited comparison with other methods: Insufficient comparison with confluent methods and other approaches for constructing EOPs

Impact

1. Theoretical contribution: Provides important new construction methods for exceptional orthogonal polynomial theory
2. Methodological value: Systematic application of Wronskian techniques provides a paradigm for related research
3. Open problems: Raised open questions indicate directions for subsequent research

Applicable Scenarios

1. Mathematical physics: Study of exactly solvable quantum systems
2. Special function theory: Classification and property investigation of orthogonal polynomials
3. Integrable systems: Connections with Painlevé equations and other integrable systems

References

The paper cites 35 relevant references, primarily including:

• Foundational work on EOPs 1,20,21
• Classical theory of Darboux transformations 30
• Original work on para-Jacobi polynomials 22,23
• Related research on confluent Darboux transformations 25-27

This paper makes important theoretical contributions at the intersection of exceptional orthogonal polynomials and exactly solvable quantum systems, laying a solid foundation for further development in this field.