<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11464_2023_158_Article_IEq1.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="143" /> </InlineMediaObject> <EquationSource Format="TEX">\(1 &lt; k &lt; {7 \over 6},{\lambda _1},{\lambda _2},{\lambda _3}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mn>1</mn> <mo>&lt;</mo> <mi>k</mi> <mo>&lt;</mo> <mrow> <mfrac> <mn>7</mn> <mn>6</mn> </mfrac> </mrow> <mo>,</mo> <mrow> <msub> <mi>λ</mi> <mn>1</mn> </msub> </mrow> <mo>,</mo> <mrow> <msub> <mi>λ</mi> <mn>2</mn> </msub> </mrow> <mo>,</mo> <mrow> <msub> <mi>λ</mi> <mn>3</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> and λ<sub>4</sub> be non-zero real numbers, not all of the same sign such that <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11464_2023_158_Article_IEq2.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\({{{\lambda _1}} \over {{\lambda _2}}}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mfrac> <mrow> <mrow> <msub> <mi>λ</mi> <mn>1</mn> </msub> </mrow> </mrow> <mrow> <mrow> <msub> <mi>λ</mi> <mn>2</mn> </msub> </mrow> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation> is irrational and let <i>ω</i> be a real number. We prove that the inequality <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11464_2023_158_Article_IEq3.gif" Format="GIF" Height="28" Rendition="HTML" Resolution="72" Type="Linedraw" Width="366" /> </InlineMediaObject> <EquationSource Format="TEX">\(\left| {{\lambda _1}p_1^2 + {\lambda _2}p_2^2 + {\lambda _3}p_3^2 + {\lambda _4}p_4^k - \omega} \right| \le {\left({{{\max}_j}{p_j}} \right)^{- {{7 - 6k} \over {14k}} + \varepsilon}}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mo>∣</mo> <mrow> <mrow> <msub> <mi>λ</mi> <mn>1</mn> </msub> </mrow> <msubsup> <mi>p</mi> <mn>1</mn> <mn>2</mn> </msubsup> <mo>+</mo> <mrow> <msub> <mi>λ</mi> <mn>2</mn> </msub> </mrow> <msubsup> <mi>p</mi> <mn>2</mn> <mn>2</mn> </msubsup> <mo>+</mo> <mrow> <msub> <mi>λ</mi> <mn>3</mn> </msub> </mrow> <msubsup> <mi>p</mi> <mn>3</mn> <mn>2</mn> </msubsup> <mo>+</mo> <mrow> <msub> <mi>λ</mi> <mn>4</mn> </msub> </mrow> <msubsup> <mi>p</mi> <mn>4</mn> <mi>k</mi> </msubsup> <mo>−</mo> <mi>ω</mi> </mrow> <mo>∣</mo> </mrow> <mo>≤</mo> <mrow> <msup> <mrow> <mo>(</mo> <mrow> <mrow> <msub> <mrow> <mo form="prefix" movablelimits="true">max</mo> </mrow> <mi>j</mi> </msub> </mrow> <mrow> <msub> <mi>p</mi> <mi>j</mi> </msub> </mrow> </mrow> <mo>)</mo> </mrow> <mrow> <mo>−</mo> <mrow> <mfrac> <mrow> <mn>7</mn> <mo>−</mo> <mn>6</mn> <mi>k</mi> </mrow> <mrow> <mn>14</mn> <mi>k</mi> </mrow> </mfrac> </mrow> <mo>+</mo> <mi>ε</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> has infinitely many solutions in prime variables <i>p</i><sub>1</sub>, <i>p</i><sub>2</sub>, <i>p</i><sub>3</sub>, <i>p</i><sub>4</sub> for any <i>ε</i> &gt; 0.</p>

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

Diophantine Approximation with a Quaternary Problem

  • Alessandro Gambini

摘要

Let \(1 < k < {7 \over 6},{\lambda _1},{\lambda _2},{\lambda _3}\) 1 < k < 7 6 , λ 1 , λ 2 , λ 3 and λ4 be non-zero real numbers, not all of the same sign such that \({{{\lambda _1}} \over {{\lambda _2}}}\) λ 1 λ 2 is irrational and let ω be a real number. We prove that the inequality \(\left| {{\lambda _1}p_1^2 + {\lambda _2}p_2^2 + {\lambda _3}p_3^2 + {\lambda _4}p_4^k - \omega} \right| \le {\left({{{\max}_j}{p_j}} \right)^{- {{7 - 6k} \over {14k}} + \varepsilon}}\) λ 1 p 1 2 + λ 2 p 2 2 + λ 3 p 3 2 + λ 4 p 4 k ω ( max j p j ) 7 6 k 14 k + ε has infinitely many solutions in prime variables p1, p2, p3, p4 for any ε > 0.