<p>Let <i>q</i> be a Pisot or Salem number. Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1548_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="151" /> </InlineMediaObject> <EquationSource Format="TEX">\(f_j(x) \quad (j=1,2,\dots)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mi>j</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="1em" /> <mrow> <mo stretchy="false">(</mo> <mi>j</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mo>⋯</mo> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be integer-valued polynomials of degree <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1548_Article_IEq2.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ge2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> with positive leading coefficients, and let <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1548_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="192" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{a_j (n)\}_{n\ge1} \quad (j=1,2,\dots)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mo stretchy="false">{</mo> <msub> <mi>a</mi> <mi>j</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>n</mi> <mo>≥</mo> <mn>1</mn> </mrow> </msub> <mspace width="1em" /> <mrow> <mo stretchy="false">(</mo> <mi>j</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mo>⋯</mo> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be sequences of algebraic integers in the field <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1548_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(Q(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Q</mi> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with suitable growth conditions. In this paper, we investigate linear independence over <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1548_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(Q(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Q</mi> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of the numbers<Equation ID="Equ1"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1548_Article_Equ1.gif" Format="GIF" Height="48" Rendition="HTML" Resolution="72" Type="Linedraw" Width="218" /> </MediaObject> <EquationSource Format="TEX">\(1,\quad \sum_{n=1}^{\infty} \frac{a_j (n)}{q^{f_j (n)}} \quad (j=1,2,\dots).\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mn>1</mn> <mo>,</mo> <mspace width="1em" /> <munderover> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </munderover> <mfrac> <mrow> <msub> <mi>a</mi> <mi>j</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> <msup> <mi>q</mi> <mrow> <msub> <mi>f</mi> <mi>j</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msup> </mfrac> <mspace width="1em" /> <mrow> <mo stretchy="false">(</mo> <mi>j</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mo>⋯</mo> <mo stretchy="false">)</mo> </mrow> <mo>.</mo> </mrow> </math></EquationSource> </Equation> In particular, when <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1548_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="151" /> </InlineMediaObject> <EquationSource Format="TEX">\(a_j(n) \quad (j=1,2,\dots)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>a</mi> <mi>j</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="1em" /> <mrow> <mo stretchy="false">(</mo> <mi>j</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mo>⋯</mo> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> are polynomials of <i>n</i>, we give a linear independence criterion for the above numbers.</p>

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

A linear independence criterion for certain infinite series with polynomial orders

  • S. Kudo

摘要

Let q be a Pisot or Salem number. Let \(f_j(x) \quad (j=1,2,\dots)\) f j ( x ) ( j = 1 , 2 , ) be integer-valued polynomials of degree \(\ge2\) 2 with positive leading coefficients, and let \(\{a_j (n)\}_{n\ge1} \quad (j=1,2,\dots)\) { a j ( n ) } n 1 ( j = 1 , 2 , ) be sequences of algebraic integers in the field \(Q(q)\) Q ( q ) with suitable growth conditions. In this paper, we investigate linear independence over \(Q(q)\) Q ( q ) of the numbers \(1,\quad \sum_{n=1}^{\infty} \frac{a_j (n)}{q^{f_j (n)}} \quad (j=1,2,\dots).\) 1 , n = 1 a j ( n ) q f j ( n ) ( j = 1 , 2 , ) . In particular, when \(a_j(n) \quad (j=1,2,\dots)\) a j ( n ) ( j = 1 , 2 , ) are polynomials of n, we give a linear independence criterion for the above numbers.