<p>We consider several examples of nonautonomous systems of difference equations coming from semi-classical orthogonal polynomials via recurrence coefficients and ladder operators, with respect to various generalisations of Laguerre and Meixner weights. We identify these as discrete Painlevé equations and establish their types in the Sakai classification scheme in terms of the associated rational surfaces. In particular, we find examples which come from different weights and share a common surface type <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(D_5^{(1)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>D</mi> <mn>5</mn> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msubsup> </math></EquationSource> </InlineEquation> but are inequivalent in two ways. First, their dynamics are generated by non-conjugate elements of <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\widehat{W}(A_3^{(1)})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>W</mi> <mo stretchy="false">^</mo> </mover> <mrow> <mo stretchy="false">(</mo> <msubsup> <mi>A</mi> <mn>3</mn> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msubsup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Second, some of the examples have associated surfaces being non-generic in the sense of having nodal curves. The symmetries of these examples form subgroups of the generic symmetry group, which we compute. In particular, we find <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\((W(A_1^{(1)})\times W(A_1^{(1)}))\rtimes \mathbb {Z}/2\mathbb {Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>W</mi> <mrow> <mo stretchy="false">(</mo> <msubsup> <mi>A</mi> <mn>1</mn> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msubsup> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <mi>W</mi> <mrow> <mo stretchy="false">(</mo> <msubsup> <mi>A</mi> <mn>1</mn> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msubsup> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> <mo>⋊</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">/</mo> <mn>2</mn> <mi mathvariant="double-struck">Z</mi> </mrow> </math></EquationSource> </InlineEquation>. These examples give further weight to the argument that any correspondence between different weights and the Sakai classification should make use of the refined version of the discrete Painlevé equivalence problem, which takes into account not just surface type, but also the group elements generating the dynamics as well as parameter constraints, e.g. those corresponding to nodal curves.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On the discrete Painlevé equivalence problem, non-conjugate translations and nodal curves

  • Anton Dzhamay,
  • Galina Filipuk,
  • Alexander Stokes

摘要

We consider several examples of nonautonomous systems of difference equations coming from semi-classical orthogonal polynomials via recurrence coefficients and ladder operators, with respect to various generalisations of Laguerre and Meixner weights. We identify these as discrete Painlevé equations and establish their types in the Sakai classification scheme in terms of the associated rational surfaces. In particular, we find examples which come from different weights and share a common surface type \(D_5^{(1)}\) D 5 ( 1 ) but are inequivalent in two ways. First, their dynamics are generated by non-conjugate elements of \(\widehat{W}(A_3^{(1)})\) W ^ ( A 3 ( 1 ) ) . Second, some of the examples have associated surfaces being non-generic in the sense of having nodal curves. The symmetries of these examples form subgroups of the generic symmetry group, which we compute. In particular, we find \((W(A_1^{(1)})\times W(A_1^{(1)}))\rtimes \mathbb {Z}/2\mathbb {Z}\) ( W ( A 1 ( 1 ) ) × W ( A 1 ( 1 ) ) ) Z / 2 Z . These examples give further weight to the argument that any correspondence between different weights and the Sakai classification should make use of the refined version of the discrete Painlevé equivalence problem, which takes into account not just surface type, but also the group elements generating the dynamics as well as parameter constraints, e.g. those corresponding to nodal curves.