2025-11-23T08:31:17.127218

Continued fractions and irrationality exponents for modified Engel and Pierce series

Hone, Varona
An Engel series is a sum of reciprocals of a non-decreasing sequence $(x_n)$ of positive integers, which is such that each term is divisible by the previous one, and a Pierce series is an alternating sum of the reciprocals of a sequence with the same property. Given an arbitrary rational number, we show that there is a family of Engel series which when added to it produces a transcendental number $α$ whose continued fraction expansion is determined explicitly by the corresponding sequence $(x_n)$, where the latter is generated by a certain nonlinear recurrence of second order. We also present an analogous result for a rational number with a Pierce series added to or subtracted from it. In both situations (a rational number combined with either an Engel or a Pierce series), the irrationality exponent is bounded below by $(3+\sqrt{5})/2$, and we further identify infinite families of transcendental numbers $α$ whose irrationality exponent can be computed precisely. In addition, we construct the continued fraction expansion for an arbitrary rational number added to an Engel series with the stronger property that $x_j^2$ divides $x_{j+1}$ for all $j$.
academic

संशोधित Engel और Pierce श्रृंखला के लिए सतत भिन्न और अपरिमेयता घातांक

मूल जानकारी

  • पेपर ID: 1810.10127
  • शीर्षक: संशोधित Engel और Pierce श्रृंखला के लिए सतत भिन्न और अपरिमेयता घातांक
  • लेखक: Andrew N. W. Hone (University of Kent), Juan Luis Varona (Universidad de La Rioja)
  • वर्गीकरण: math.NT (संख्या सिद्धांत)
  • प्रकाशन तिथि: 23 अक्टूबर 2018
  • पेपर लिंक: https://arxiv.org/abs/1810.10127

सारांश

यह पेपर संशोधित Engel श्रृंखला और Pierce श्रृंखला के सतत भिन्न विस्तार और उनके अपरिमेयता घातांक का अध्ययन करता है। Engel श्रृंखला धनात्मक पूर्णांकों की गैर-घटती श्रृंखला (xn)(x_n) के व्युत्क्रमों का योग है, जहाँ प्रत्येक पद पूर्ववर्ती पद को विभाजित करता है; Pierce श्रृंखला समान गुणों वाली श्रृंखला के व्युत्क्रमों की प्रत्यावर्ती श्रृंखला है। लेखकों ने प्रमाणित किया कि किसी भी परिमेय संख्या के लिए, Engel श्रृंखला का एक वर्ग मौजूद है, जो उस परिमेय संख्या के साथ जोड़ने पर अनुलेख संख्या α\alpha का सतत भिन्न विस्तार संबंधित श्रृंखला (xn)(x_n) द्वारा स्पष्ट रूप से निर्धारित किया जा सकता है, जो द्वितीय-क्रम अरैखिक पुनरावृत्ति संबंध द्वारा उत्पन्न होता है। लेख परिमेय संख्या और Pierce श्रृंखला को जोड़ने या घटाने के समान परिणाम भी देता है, दोनों स्थितियों में अपरिमेयता घातांक के लिए (3+5)/2(3+\sqrt{5})/2 की निचली सीमा प्रमाणित करता है, और अनंत अनुलेख संख्याओं के परिवार की पहचान करता है जिनके लिए अपरिमेयता घातांक को सटीक रूप से गणना की जा सकती है।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या की पृष्ठभूमि

  1. Engel श्रृंखला और Pierce श्रृंखला: ये दोनों श्रृंखला वर्ग सतत भिन्न के महत्वपूर्ण सामान्यीकरण हैं, जिनमें समान पुनरावर्ती गुण और मापीय गुण हैं
  2. अनुलेख संख्याओं का निर्माण: स्पष्ट सतत भिन्न विस्तार वाली अनुलेख संख्याओं को खोजना संख्या सिद्धांत में एक महत्वपूर्ण समस्या है
  3. अपरिमेयता घातांक सिद्धांत: अपरिमेयता घातांक μ(α)\mu(\alpha) वास्तविक संख्या α\alpha को परिमेय संख्याओं द्वारा अनुमानित करने की कठिनाई को मापता है; Roth प्रमेय बताता है कि बीजगणितीय अपरिमेय संख्याओं का अपरिमेयता घातांक 2 है

अनुसंधान प्रेरणा

  1. पूर्व परिणामों का विस्तार: लेखकों के पूर्व कार्य के आधार पर, शुद्ध Engel/Pierce श्रृंखला को परिमेय संख्या और इन श्रृंखलाओं के संयोजन तक विस्तारित करना
  2. सटीक गणना: न केवल अपरिमेयता घातांक की निचली सीमा देना, बल्कि अनंत परिवार खोजना जिनके लिए अपरिमेयता घातांक को सटीक रूप से गणना की जा सकती है
  3. एकीकृत ढांचा: संशोधित Engel श्रृंखला और Pierce श्रृंखला के लिए एकीकृत सिद्धांत ढांचा प्रदान करना

मूल योगदान

  1. सतत भिन्न निर्माण प्रमेय का विस्तार: किसी भी परिमेय संख्या p/qp/q को Engel श्रृंखला या Pierce श्रृंखला के साथ जोड़कर स्पष्ट सतत भिन्न विस्तार देना
  2. अपरिमेयता घातांक निचली सीमा में सुधार: प्रमाणित किया कि सभी ऐसी अनुलेख संख्याओं का अपरिमेयता घातांक μ(α)≥(3+5)/2≈2.618\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2.618 है
  3. अपरिमेयता घातांक की सटीक गणना: अनंत कई अनुलेख संख्याओं के परिवार की पहचान करना जिनके लिए अपरिमेयता घातांक को सटीक रूप से गणना की जा सकती है
  4. मजबूत विभाजनीयता गुणों वाली श्रृंखला का निर्माण: xj2∣xj+1x_j^2|x_{j+1} की अधिक मजबूत शर्त को संतुष्ट करने वाली Engel श्रृंखला के लिए, पूर्ण सतत भिन्न निर्माण देना

विधि विवरण

कार्य परिभाषा

निम्नलिखित रूप की अनुलेख संख्याओं के सतत भिन्न विस्तार और अपरिमेयता घातांक का अध्ययन करना:

  • संशोधित Engel श्रृंखला: α=pq+∑j=2∞1xj\alpha = \frac{p}{q} + \sum_{j=2}^{\infty} \frac{1}{x_j}
  • संशोधित Pierce श्रृंखला: α=pq±∑j=2∞(−1)jxj\alpha = \frac{p}{q} \pm \sum_{j=2}^{\infty} \frac{(-1)^j}{x_j}

जहाँ श्रृंखला (xn)(x_n) xj∣xj+1x_j|x_{j+1} को संतुष्ट करती है और अरैखिक पुनरावृत्ति संबंध द्वारा उत्पन्न होती है।

मूल पुनरावृत्ति संबंध

श्रृंखला (xn)(x_n) और (yn)(y_n) निम्नलिखित संबंध द्वारा परिभाषित हैं: yj=yj−1(1+ujxj),xj+1=xjyj,j≥1y_j = y_{j-1}(1 + u_j x_j), \quad x_{j+1} = x_j y_j, \quad j \geq 1

जहाँ x1=qx_1 = q, (un)(u_n) धनात्मक पूर्णांकों की श्रृंखला है। यह xnx_n को द्वितीय-क्रम अरैखिक पुनरावृत्ति को संतुष्ट करने के लिए ले जाता है: xn+1xn−1=xn2(1+unxn),n≥2x_{n+1}x_{n-1} = x_n^2(1 + u_n x_n), \quad n \geq 2

मुख्य प्रमेय

प्रमेय 2.1 (संशोधित Engel श्रृंखला): α=pq+∑j=2∞1xj\alpha = \frac{p}{q} + \sum_{j=2}^{\infty} \frac{1}{x_j} के लिए y0=mq+q2k−1+1y_0 = mq + q_{2k-1} + 1 लेते हुए, α\alpha का सतत भिन्न विस्तार है:

  • पहले 2k+12k+1 पद p/qp/q के समान हैं
  • a2k+1=m+u1y0a_{2k+1} = m + u_1 y_0
  • a2k+2j=xja_{2k+2j} = x_j, a2k+2j+1=uj+1yja_{2k+2j+1} = u_{j+1}y_j for j≥1j \geq 1

प्रमेय 2.2 और 2.4 (संशोधित Pierce श्रृंखला): Pierce श्रृंखला के लिए समान सतत भिन्न विस्तार सूत्र देते हैं, लेकिन अधिक जटिल संरचना के साथ, जिसमें 3-आवधिक पैटर्न शामिल हैं।

अपरिमेयता घातांक विश्लेषण

लेम्मा 3.1: श्रृंखला वृद्धि दर संतुष्ट करती है xn+1>xnμ∗−ϵ,μ∗=3+52x_{n+1} > x_n^{\mu^*-\epsilon}, \quad \mu^* = \frac{3+\sqrt{5}}{2}

यह गणितीय आगमन द्वारा प्रमाणित है, पुनरावृत्ति संबंध ρk+1=3−ρk−1\rho_{k+1} = 3 - \rho_k^{-1} का उपयोग करते हुए, जहाँ ρk\rho_k वृद्धि घातांक है।

प्रमेय 3.3: जब unu_n xnx_n का बहुपद हो, तो अपरिमेयता घातांक को सटीक रूप से गणना की जा सकती है: μ(α)=λ=d+2+d(d+4)2\mu(\alpha) = \lambda = \frac{d+2+\sqrt{d(d+4)}}{2} जहाँ dd बहुपद की घात है।

प्रायोगिक सेटअप

सैद्धांतिक सत्यापन

यह पेपर मुख्य रूप से सैद्धांतिक कार्य है, कठोर गणितीय प्रमाण के माध्यम से परिणामों को सत्यापित करता है। मुख्य सत्यापन विधियों में शामिल हैं:

  1. गणितीय आगमन प्रमाण: आंशिक योग को विशिष्ट अभिसारी के बराबर प्रमाणित करना
  2. स्पर्शोन्मुख विश्लेषण: श्रृंखला के वृद्धि व्यवहार का विश्लेषण करना
  3. मैट्रिक्स विधि: सतत भिन्न के मैट्रिक्स प्रतिनिधित्व का उपयोग करना

विशिष्ट उदाहरण

उदाहरण 4.4: q=5q = 5, zj=(j+1)2+1z_j = (j+1)^2 + 1 के लिए, विभिन्न pp मानों के अनुरूप 4 सतत भिन्न विस्तार का निर्माण किया गया, जो विधि के व्यावहारिक अनुप्रयोग को प्रदर्शित करता है।

प्रायोगिक परिणाम

मुख्य परिणाम

  1. अपरिमेयता घातांक निचली सीमा: सभी संशोधित Engel/Pierce श्रृंखला का अपरिमेयता घातांक μ(α)≥(3+5)/2≈2.618\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2.618 है, जो पूर्व की 5/2=2.55/2 = 2.5 निचली सीमा में महत्वपूर्ण सुधार है
  2. सटीक गणना: श्रृंखला (un)(u_n) के विशिष्ट रूपों के लिए, अपरिमेयता घातांक को सटीक रूप से λ=d+2+d(d+4)2\lambda = \frac{d+2+\sqrt{d(d+4)}}{2} के रूप में गणना की जा सकती है
  3. अनंत परिवार निर्माण: प्रमेय 3.4 प्रमाणित करता है कि किसी भी ν≥(3+5)/2\nu \geq (3+\sqrt{5})/2 के लिए, अनंत कई अनुलेख संख्याएं मौजूद हैं जिनका अपरिमेयता घातांक बिल्कुल ν\nu है

सैद्धांतिक खोजें

  1. वृद्धि पैटर्न: श्रृंखला (xn)(x_n) की वृद्धि दर Fibonacci संख्याओं के द्विभाजन द्वारा निर्धारित होती है
  2. सतत भिन्न संरचना: संशोधित Pierce श्रृंखला का सतत भिन्न विस्तार 3-आवधिक पैटर्न प्रदर्शित करता है
  3. पुनरावर्ती निर्माण: मजबूत विभाजनीयता शर्त के तहत सतत भिन्न में लंबाई लगभग दोगुनी होने वाली पुनरावर्ती संरचना होती है

संबंधित कार्य

ऐतिहासिक पृष्ठभूमि

  1. शास्त्रीय सिद्धांत: Engel विस्तार और Pierce विस्तार सतत भिन्न के महत्वपूर्ण सामान्यीकरण हैं
  2. मापीय गुण: ये विस्तार मापीय सिद्धांत में सतत भिन्न के समान हैं
  3. अनुलेखता अनुसंधान: तेजी से बढ़ने वाली श्रृंखला से उत्पन्न श्रृंखला आमतौर पर अनुलेख होती है

पूर्व कार्य

  1. Hone (2015,2016,2017): मूल Engel श्रृंखला सतत भिन्न सिद्धांत की स्थापना की
  2. Varona (2017): Pierce श्रृंखला तक विस्तारित किया
  3. Shallit आदि का कार्य: विशेष रूप की Engel श्रृंखला का अध्ययन किया

इस पेपर की नवीनता

  1. सामान्यीकरण: शुद्ध श्रृंखला से परिमेय संख्या + श्रृंखला तक विस्तार
  2. पैरामीटरीकरण: पैरामीटर mm का परिचय निर्माण की लचीलापन बढ़ाता है
  3. सटीक गणना: केवल निचली सीमा नहीं, बल्कि अपरिमेयता घातांक को सटीक रूप से गणना कर सकते हैं

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. संशोधित Engel/Pierce श्रृंखला से उत्पन्न अनुलेख संख्याओं के पास स्पष्ट सतत भिन्न विस्तार होता है
  2. इन संख्याओं का अपरिमेयता घातांक कम से कम (3+5)/2(3+\sqrt{5})/2 है, और इसे सटीक रूप से गणना की जा सकती है
  3. मनमाने ढंग से बड़े अपरिमेयता घातांक वाली अनुलेख संख्याओं के अनंत परिवार मौजूद हैं

सीमाएं

  1. विशेष रूप: विधि केवल विशिष्ट पुनरावृत्ति संबंध द्वारा उत्पन्न श्रृंखला पर लागू होती है
  2. गणनात्मक जटिलता: सतत भिन्न विस्तार की गणना जटिल हो सकती है
  3. अनुप्रयोग सीमा: मुख्य रूप से सैद्धांतिक परिणाम, व्यावहारिक अनुप्रयोग सीमित हैं

भविष्य की दिशाएं

  1. अन्य श्रृंखला तक सामान्यीकरण: अधिक सामान्य रूप की श्रृंखला का अध्ययन करना
  2. गणनात्मक विधियां: सतत भिन्न गणना के लिए कुशल एल्गोरिदम विकसित करना
  3. अनुप्रयोग अन्वेषण: दिओफैंटाइन सन्निकटन में अनुप्रयोग खोजना

गहन मूल्यांकन

शक्तियां

  1. सैद्धांतिक गहराई: सतत भिन्न सिद्धांत, पुनरावृत्ति संबंध और अनुलेख संख्या सिद्धांत को जोड़ता है
  2. परिणाम पूर्णता: केवल अस्तित्व नहीं, बल्कि रचनात्मक प्रमाण प्रदान करता है
  3. तकनीकी नवीनता: अपरिमेयता घातांक अनुमान तकनीकों में सुधार
  4. एकीकृत ढांचा: Engel और Pierce श्रृंखला के लिए एकीकृत उपचार प्रदान करता है

कमजोरियां

  1. प्रमाण जटिलता: कुछ प्रमाण प्रक्रिया अत्यधिक तकनीकी है, पठनीयता में सुधार की आवश्यकता है
  2. सीमित उदाहरण: विशिष्ट संख्यात्मक उदाहरण अपेक्षाकृत कम हैं
  3. अनुप्रयोग पृष्ठभूमि: सैद्धांतिक रूप से मजबूत, व्यावहारिक अनुप्रयोग मूल्य पर्याप्त नहीं है

प्रभाव

  1. शैक्षणिक योगदान: संख्या सिद्धांत क्षेत्र में अनुलेख संख्या निर्माण की नई विधि प्रदान करता है
  2. सैद्धांतिक मूल्य: अपरिमेयता घातांक सिद्धांत के महत्वपूर्ण परिणामों में सुधार
  3. विस्तारशीलता: आगामी अनुसंधान के लिए ढांचा और उपकरण प्रदान करता है

लागू परिस्थितियां

  1. संख्या सिद्धांत अनुसंधान: अनुलेख संख्या सिद्धांत और दिओफैंटाइन सन्निकटन
  2. सतत भिन्न सिद्धांत: विशेष सतत भिन्न के निर्माण और गुणों का अध्ययन
  3. पुनरावृत्ति श्रृंखला: अरैखिक पुनरावृत्ति संबंधों का अनुप्रयोग

संदर्भ

लेख 17 महत्वपूर्ण संदर्भों का हवाला देता है, जिसमें सतत भिन्न सिद्धांत, Engel/Pierce श्रृंखला, अनुलेख संख्या सिद्धांत और अपरिमेयता घातांक सिद्धांत के शास्त्रीय और नवीनतम अनुसंधान परिणाम शामिल हैं, जो पाठकों को पूर्ण सैद्धांतिक पृष्ठभूमि प्रदान करते हैं।

समग्र मूल्यांकन: यह संशोधित Engel और Pierce श्रृंखला के सतत भिन्न सिद्धांत में महत्वपूर्ण प्रगति प्राप्त करने वाला एक उच्च गुणवत्ता वाला संख्या सिद्धांत सैद्धांतिक पेपर है। यद्यपि सैद्धांतिक रूप से मजबूत है, लेकिन संबंधित क्षेत्र के अनुसंधान के लिए मूल्यवान उपकरण और अंतर्दृष्टि प्रदान करता है।