<p>We study the monodromy of the following third order linear differential equation <Equation ID="Equ119"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3099_Article_Equ119.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="349" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned}y'''(z)-(\alpha \wp (z;\tau )+B)y'(z)+\beta \wp '(z;\tau )y(z)=0, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msup> <mi>y</mi> <mrow> <mo>′</mo> <mo>′</mo> <mo>′</mo> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mrow> <mo stretchy="false">(</mo> <mi>α</mi> <mi>℘</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo>;</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>B</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mi>y</mi> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>β</mi> <msup> <mi>℘</mi> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo>;</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> <mi>y</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3099_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(B\in \mathbb {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>B</mi> <mo>∈</mo> <mi mathvariant="double-struck">C</mi> </mrow> </math></EquationSource> </InlineEquation> is a parameter, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3099_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(\wp (z;\tau )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>℘</mi> <mo stretchy="false">(</mo> <mi>z</mi> <mo>;</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is the Weierstrass <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3099_Article_IEq3.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\wp \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>℘</mi> </math></EquationSource> </InlineEquation>-function with periods 1 and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3099_Article_IEq4.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3099_Article_IEq5.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha ,\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>,</mo> <mi>β</mi> </mrow> </math></EquationSource> </InlineEquation> are constants such that the local exponents at the singularity 0 are three distinct integers, which can always be written as <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3099_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="173" /> </InlineMediaObject> <EquationSource Format="TEX">\(-n-l, 1-l, n+2l+2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mi>n</mi> <mo>-</mo> <mi>l</mi> <mo>,</mo> <mn>1</mn> <mo>-</mo> <mi>l</mi> <mo>,</mo> <mi>n</mi> <mo>+</mo> <mn>2</mn> <mi>l</mi> <mo>+</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> after a dual transformation, where <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3099_Article_IEq7.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(n,l\in \mathbb {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>,</mo> <mi>l</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation>. This ODE can be seen as the third order version of the well-known Lamé equation <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3099_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="283" /> </InlineMediaObject> <EquationSource Format="TEX">\(y''(z)-(m(m+1)\wp (z;\tau )+B)y(z)=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>y</mi> <mrow> <mo>′</mo> <mo>′</mo> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mi>℘</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo>;</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>B</mi> <mo stretchy="false">)</mo> </mrow> <mi>y</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. We say that the monodromy is unitary if the monodromy group is conjugate to a subgroup of the unitary group. We show that <OrderedList> <ListItem> <ItemNumber>(i)</ItemNumber> <ItemContent> <p>if <i>n</i>,&#xa0;<i>l</i> are both odd, then the monodromy can not be unitary;</p> </ItemContent> </ListItem> <ListItem> <ItemNumber>(ii)</ItemNumber> <ItemContent> <p>if <i>n</i> is odd and <i>l</i> is even, then there exist finite values of <i>B</i> such that the monodromy is the Klein four-group and hence unitary;</p> </ItemContent> </ListItem> <ListItem> <ItemNumber>(iii)</ItemNumber> <ItemContent> <p>if <i>n</i> is even, then whether there exists <i>B</i> such that the monodromy is unitary depends on the choice of the period <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3099_Article_IEq9.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation>.</p> </ItemContent> </ListItem> </OrderedList> The methods of studying the second order Lamé equation cannot work here, and we need to develop different approaches to treat these different cases separately. These results have interesting applications to the integrable <i>SU</i>(3) Toda system in another work (Chen and Lin in J Differ Geom 127:899–943, 2024).</p>

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

Monodromy of a generalized Lamé equation of third order

  • Zhijie Chen,
  • Chang-Shou Lin

摘要

We study the monodromy of the following third order linear differential equation \(\begin{aligned}y'''(z)-(\alpha \wp (z;\tau )+B)y'(z)+\beta \wp '(z;\tau )y(z)=0, \end{aligned}\) y ( z ) - ( α ( z ; τ ) + B ) y ( z ) + β ( z ; τ ) y ( z ) = 0 , where \(B\in \mathbb {C}\) B C is a parameter, \(\wp (z;\tau )\) ( z ; τ ) is the Weierstrass \(\wp \) -function with periods 1 and \(\tau \) τ , and \(\alpha ,\beta \) α , β are constants such that the local exponents at the singularity 0 are three distinct integers, which can always be written as \(-n-l, 1-l, n+2l+2\) - n - l , 1 - l , n + 2 l + 2 after a dual transformation, where \(n,l\in \mathbb {N}\) n , l N . This ODE can be seen as the third order version of the well-known Lamé equation \(y''(z)-(m(m+1)\wp (z;\tau )+B)y(z)=0\) y ( z ) - ( m ( m + 1 ) ( z ; τ ) + B ) y ( z ) = 0 . We say that the monodromy is unitary if the monodromy group is conjugate to a subgroup of the unitary group. We show that (i)

if nl are both odd, then the monodromy can not be unitary;

(ii)

if n is odd and l is even, then there exist finite values of B such that the monodromy is the Klein four-group and hence unitary;

(iii)

if n is even, then whether there exists B such that the monodromy is unitary depends on the choice of the period \(\tau \) τ .

The methods of studying the second order Lamé equation cannot work here, and we need to develop different approaches to treat these different cases separately. These results have interesting applications to the integrable SU(3) Toda system in another work (Chen and Lin in J Differ Geom 127:899–943, 2024).