🔢 mathematics

Constructing Discontinuous but Locally Bounded Rational Functions using \L ojasiewicz Inequalities

यह शोधपत्र यह प्रदर्शित करता है कि वास्तविक बहुचर बहुपदों (multivariate polynomials) $P$ और $Q$ के लिए, जो एक ऐसे बिंदु पर शून्य होते हैं जहाँ $Q$ का शून्य समुच्चय (zero set) $P$ के शून्य समुच्चय में समाहित है, $P^p/Q^q$ के रूप के एक स्थानीय रूप से परिबद्ध (locally bounded) परिमेय फलन का अस्तित्व है जिसका $Q$ के शून्य समुच्चय तक का सतत विस्तार (continuous extension) अनिवार्य रूप से असंतत (discontinuous) होता है, एक ऐसा परिणाम जिसे लोजासिएविक्स असमानताओं (Lojasiewicz inequalities) का उपयोग करके स्थापित किया गया है।

मूल लेखक: Adam Coffman, Yifei Pan

प्रकाशित 2026-06-02

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Adam Coffman, Yifei Pan

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक नदी पार करने की कोशिश कर रहे हैं। आमतौर पर, यदि आपके पास एक पुल (एक गणितीय फलन/function) है, तो आप उस पर सुचारू रूप से चल सकते हैं। लेकिन कभी-कभी, पुल के बीच में एक छेद होता है। यदि आप उस छेद के ऊपर चलने की कोशिश करते हैं, तो आप गिर सकते हैं, या रास्ता इतना खड़ा हो सकता है कि आप उस पर चढ़ न सकें।

गणित की दुनिया में, विशेष रूप से परिमेय फलनों (rational functions) के साथ (जो केवल बहुपदों (polynomials) से बने भिन्न हैं, जैसे $\frac{x^2}{y}$ ), गणितज्ञ अक्सर ऐसे "छेद" की तलाश करते हैं जहाँ नीचे वाली संख्या (हर/denominator) शून्य हो जाती है। आमतौर पर, यदि ऊपर वाली संख्या (अंश/numerator) भी उस स्थान पर शून्य है, तो हम शायद उस छेद को भरकर सुचारू रूप से पार कर सकते हैं।

एडम कॉफ़मैन और यिफ़ेई पान का यह शोध पत्र, एक बहुत ही विशिष्ट, जटिल प्रकार के छेद को खोजने के बारे में है। वे ऐसे पुलों की तलाश कर रहे हैं जो चलने के लिए सुरक्षित हैं (सीमित/bounded) लेकिन सुचारू रूप से पार करने के लिए असंभव हैं (असंतत/discontinuous)।

यहाँ उनकी खोज का सरल उपमाओं (analogies) का उपयोग करके विवरण दिया गया है:

1. "सुरक्षित लेकिन ऊबड़-खाबड़" पुल

एक ऐसे पुल की कल्पना करें जो पूरी तरह से समतल और खड़े होने के लिए सुरक्षित है, लेकिन यदि आप बीच में एक विशिष्ट बिंदु की ओर बढ़ने की कोशिश करते हैं, तो ज़मीन अचानक बदल जाती है। आप केंद्र के अत्यंत निकट पहुँच सकते हैं, और आप किनारे से कभी नहीं गिरेंगे (फलन सीमित/bounded है), लेकिन आप केंद्र बिंदु पर कदम रखने के लिए ज़मीन के ऊपर या नीचे कूदने के बिना कभी भी उस पर नहीं उतर पाएंगे (फलन असंतत/discontinuous है)।

क्लासिक उदाहरण: फलन $f(x,y) = \frac{xy}{x^2+y^2}$ के बारे में सोचें। यदि आप एक सीधी रेखा में केंद्र (0,0) की ओर बढ़ते हैं, तो आप 0.5 की ऊँचाई पर पहुँच सकते हैं। लेकिन यदि आप एक अलग सीधी रेखा में चलते हैं, तो आप 0 पर पहुँचते हैं। यदि आप एक वक्र (curve) में चलते हैं, तो आप 1 पर पहुँच सकते हैं। पुल "सुरक्षित" है (यह अनंत तक नहीं जाता), लेकिन यह एक गड़बड़ी है क्योंकि ऊँचाई पूरी तरह से आपकी दिशा पर निर्भर करती है।

2. बड़ा सवाल

लेखक पूछते हैं: क्या हम हमेशा ऐसा पुल बना सकते हैं?
वे दो आकृतियों (बहुपदों) से शुरुआत करते हैं, जिन्हें वे $P$ (अंश) और $Q$ (हर) कहते हैं। दोनों आकृतियाँ एक विशिष्ट बिंदु पर ज़मीन को छूती हैं (शून्य के बराबर होती हैं)। वे जानते हैं कि $Q$ में जो "छेद" है, वह $P$ के "छेद" के पूरी तरह अंदर है।

वे जानना चाहते हैं: क्या इन आकृतियों की घातों (powers) को इस तरह से बदलना हमेशा संभव है ताकि परिणामी भिन्न सुरक्षित (सीमित) हो लेकिन ऊबड़-खाबड़ (असंतत) भी हो?

3. जादुई उपकरण: "लोजासिएविक असमानता" (Lojasiewicz Inequality)

इस प्रश्न का उत्तर देने के लिए, लेखक एक शक्तिशाली गणितीय उपकरण का उपयोग करते हैं जिसे लोजासिएविक असमानता कहा जाता है।

इस असमानता को एक गति सीमा संकेत (speed limit sign) के रूप में सोचें जो यह बताती है कि एक आकृति दूसरी आकृति की तुलना में कितनी तेज़ी से सिकुड़ सकती है।

कल्पना करें कि $P$ और $Q$ दो गुब्बारे हैं जो केंद्र की ओर बढ़ते हुए पिचक रहे हैं।
यह असमानता हमें बताती है कि $P$ , $Q$ की तुलना में बहुत अधिक तेज़ी से नहीं पिचक सकता, अन्यथा यह ज्यामिति के नियमों को तोड़ देगा।
एक विशिष्ट "अनुपात" या "घातांक" (जैसे एक गियर सेटिंग) है जहाँ $P$ ठीक उतना ही सिकुड़ता है जिससे भिन्नता विस्फोट न करे (सीमित रहे), लेकिन इतना भी नहीं कि वह ऊबड़-खाबड़पन को पूरी तरह से चिकना कर दे (असंतत रहे)।

4. मुख्य खोज

यह शोध पत्र सिद्ध करता है कि हाँ, ऐसा जटिल पुल हमेशा मौजूद होता है।

आप चाहे जिन भी दो आकृतियों ( $P$ और $Q$ ) से शुरुआत करें (जब तक कि वे दोनों शून्य न हों और $Q$ का छेद $P$ के अंदर हो), आप हमेशा उन्हें मिलाने के लिए एक विशिष्ट "गियर अनुपात" (एक परिमेय संख्या) पा सकते हैं।

यदि आप इस अनुपात के साथ उन्हें मिलाते हैं, तो फलन सुरक्षित सीमाओं के भीतर रहता है (यह अनंत तक नहीं जाएगा)।
हालाँकि, यदि आप केंद्र बिंदु तक फलन का विस्तार करने का प्रयास करते हैं, तो यह अभी भी ऊबड़-खाबड़ और असंतत रहेगा।

यह कॉफी में चीनी की सही मात्रा डालने जैसा है: इतनी कि यह बहुत कड़वी न हो (सीमित), लेकिन इतनी भी नहीं कि इसका स्वाद पानी जैसा हो जाए (सतत/continuous)।

5. वे इन पुलों का निर्माण कैसे करते हैं

लेखक इन "सुरक्षित लेकिन ऊबड़-खाबड़" फलनों के निर्माण के दो मुख्य तरीके दिखाते हैं:

विधि A: ग्रेडिएंट ट्रिक (ढलान का पता लगाने वाला)
वे एक आकृति $P$ लेते हैं और उसके "ग्रेडिएंट" (जो ढलान के स्तर को मापने जैसा है) को देखते हैं। वे एक ऐसा भिन्न बनाते जहाँ ऊपर की संख्या पहाड़ की ऊँचाई ( $P$ ) है और नीचे की संख्या ढलान का वर्ग ( $|\nabla P|^2$ ) है।
- उपमा: एक पहाड़ की कल्पना करें। ऊपर की संख्या ऊँचाई है, नीचे की संख्या ढलान की तीव्रता है। शिखर के पास, ऊँचाई और ढलान एक विशिष्ट तरीके से संबंधित होते हैं। "गियर अनुपात" (घातांक) को समायोजित करके, वे एक ऐसा फलन बनाते जो सीमित रहता है लेकिन बिल्कुल शिखर पर चिकना होने से इनकार कर देता है।
विधि B: कॉम्प्लेक्स नंबर ट्रिक (परछाई)
वे वास्तविक दुनिया के फलनों को बनाने के लिए सम्मिश्र संख्याओं (complex numbers - जिनमें एक "काल्पनिक" भाग होता है) का उपयोग करते हैं।
- उपमा: कल्पना करें कि एक 3D वस्तु पर रोशनी डालना जिससे 2D परछाई बनती है। वे एक सम्मिश्र फलन लेते हैं, उसके "वास्तविक" और "काल्पनिक" भागों को अलग करते हैं, और उन दोनों को अंश और हर के रूप में उपयोग करते हैं। यह एक ऐसा फलन बनाता है जो केंद्र के चारों ओर घूमता है। जैसे-जैसे आप केंद्र के करीब पहुँचते हैं, मान बेतहाशा घूमता है, एक एकल ऊँचाई पर स्थिर नहीं होता, भले ही वह कभी भी अनंत तक न जाए।

6. यह क्यों महत्वपूर्ण है (शोध पत्र के अनुसार)

यह शोध पत्र यह दावा नहीं करता कि यह वास्तविक दुनिया में पुलों को ठीक करेगा या बीमारियों का इलाज करेगा। इसके बजाय, यह वास्तविक बीजगणितीय ज्यामिति (Real Algebraic Geometry) में एक पहेली को हल करता है।

यह पुष्टि करता है कि इन गणितीय फलनों का व्यवहार हमारी सोच से कहीं अधिक जटिल है। भले ही कोई फलन इतना "व्यवस्थित" हो कि वह एक बॉक्स के भीतर रहे (सीमित), फिर भी वह इतना "अव्यवस्थित" हो सकता है कि एक बिंदु पर सुचारू रूप से जुड़ने से इनकार कर दे।

संक्षेप में: लेखकों ने सिद्ध किया है कि आप हमेशा एक ऐसा गणितीय भिन्न इंजीनियर कर सकते हैं जो अनंत से सुरक्षित है लेकिन सुचारू होने से इनकार करता है, और इसके लिए वे एक विशिष्ट "गति सीमा" नियम (लोजासिएविक असमानता) का उपयोग करके एक सटीक रेसिपी पाते हैं।

तकनीकी सारांश: विच्छिन्न (Discontinuous) लेकिन स्थानीय रूप से परिबद्ध (Locally Bounded) परिमेय फलनों का निर्माण

समस्या विवरण
यह शोध पत्र उन बिंदुओं के पास वास्तविक बहुचर परिमेय फलनों $f = P/Q$ के व्यवहार को संबोधित करता है जहाँ अंश $P$ और हर $Q$ दोनों शून्य होते हैं (अनिश्चितता सेट/indeterminacy set)। विशेष रूप से, लेखक स्थानीय परिबद्धता (local boundedness) और निरंतरता (continuity) के बीच संबंध की जांच करते हैं। यह सुस्थापित तथ्य है कि परिमेय फलन परिबद्ध (bounded) हो सकते हैं परंतु विच्छिन्न भी हो सकते हैं (उदाहरण के लिए, मूल बिंदु के पास अलग-अलग पथों के अनुदिश), यह शोध पत्र एक सामान्य रचनात्मक विधि खोजने का प्रयास करता है जिससे यह प्रदर्शित किया जा सके कि विशिष्ट ज्यामितीय स्थितियों के तहत ऐसे फलन हमेशा अस्तित्व में रहते हैं। मुख्य प्रश्न यह है: यदि बहुपद $P$ और $Q$ , $\vec{0}$ पर शून्य होते हैं और $Q$ का शून्य सेट $P$ के शून्य सेट में समाहित है ( $Z(Q) \subseteq Z(P)$ ), तो क्या हमेशा एक परिमेय घात वाला फलन, विशेष रूप से $P^{2p}/Q^{2e}$ के रूप में, अस्तित्व में होगा जो स्थानीय रूप से परिबद्ध है लेकिन जिसका विस्तार (जिसे $Z(Q)$ पर 0 के रूप में परिभाषित किया गया है) विच्छिन्न है?

कार्यप्रणाली
लेखक वास्तविक बीजगणितीय ज्यामिति (real algebraic geometry) और अर्ध-बीजगणिक समुच्चयों (semi-algebraic sets) के सिद्धांत से जुड़े उपकरणों का उपयोग करते हैं। कार्यप्रणाली मुख्य रूप से निम्नलिखित पर निर्भर करती है:

लोजासिएविक असमानताएँ (Lojasiewicz Inequalities): प्रमाण लोजासिएविक असमानता और लोजासिएविक ग्रेडिएंट असमानता का उपयोग करते हैं। ये असमानताएँ बहुपदों और उनके ग्रेडिएंट्स (या अन्य बहुपदों) के बीच के मानों और उनके शून्य सेट के निकट संबंधों पर सीमाएँ प्रदान करती हैं। विशेष रूप से, एक न्यूनतम परिमेय घातांक $\beta_0$ (या $\theta_0$ ) का अस्तित्व ऐसा कि $|P|^\beta \le C|Q|$ , तर्क के केंद्र में है।
अर्ध-बीजगणिक ज्यामिति (Semi-algebraic Geometry): लेखक बहुपद मानचित्रों के प्रतिबिंब की संरचना और शून्य सेट्स की ज्यामिति का विश्लेषण करते हैं। वे वास्तविक बीजगणितीय वक्रों के स्थानीय विवरण (प्रस्तावना 3.4) और अनिश्चितता सेट्स की विमा (dimension) सहित अर्ध-बीजगणिक समुच्चयों के गुणों का उपयोग करते हैं।
रचनात्मक घातांक चयन (Constructive Exponent Selection): लेखक न्यूनतम लोजासिएविक घातांक से प्राप्त विशिष्ट परिमेय घातांक $p/e$ का निर्माण करते हैं। रणनीति यह दिखाने की है कि न्यूनतम सीमा से थोड़े बड़े घातांकों के लिए, फलन अनबाउंड (unbounded) हो जाता है, जबकि न्यूनतम सीमा पर, फलन परिबद्ध होता है लेकिन विशिष्ट पथों (अक्सर प्यूज़ एक्सपेंशन/Puiseux expansions से प्राप्त) के अनुदिश भिन्न सीमाओं के कारण विच्छिन्न रहता है।
जटिल निर्माण (Complex Constructions): खंड 6 में, एक वैकल्पिक निर्माण प्रस्तुत किया गया है जिसमें जटिल बहुपदों का उपयोग किया गया है। समग्रतः होलोमोर्फिक बहुपदों के अनुपात (जैसे, $f(z)^\nu / \overline{g(z)}^\mu$ ) के वास्तविक या काल्पनिक भागों को लेकर, लेखक बिना मुख्य प्रमेयों में प्रयुक्त विशिष्ट वास्तविक बीजगणितीय ज्यामिति के तंत्र पर निर्भर हुए, परिबद्ध वास्तविक परिमेय फलन उत्पन्न करते हैं।

प्रमुख योगदान और परिणाम
शोध पत्र कई प्रमेयों और लेम्मा (lemmas) को स्थापित करता है जो इन फलनों के अस्तित्व और निर्माण को स्पष्ट करते हैं:

मुख्य अस्तित्व प्रमेय (प्रमेय 5.2): यदि $P$ और $Q$ शून्य पर शून्य होने वाले बहुपद हैं और $Z(Q) \subseteq Z(P)$ , तो धनात्मक पूर्णांक $p$ और $e$ मौजूद हैं ताकि परिमेय फलन $P^{2p}/Q^{2e}$ $\vec{0}$ के पास स्थानीय रूप से परिबद्ध है, लेकिन $Z(Q)$ तक इसका विस्तार (मान को 0 निर्धारित करना) विच्छिन्न है। अनुपात $p/e$ अद्वितीय है और $P$ तथा $Q$ के बीच न्यूनतम लोजासिएविक घातांक के अनुरूप है।
ग्रेडिएंट-आधारित निर्माण (प्रमेय 7.4): एक विशिष्ट और सुदृढ़ विधि प्रदान की गई है जहाँ हर को अंश के वर्ग के नॉर्म (norm) की घात के रूप में चुना जाता है, अर्थात $Q = |\nabla P|^{2q}$ । प्रमेय 7.4 सिद्ध करता है कि यदि $p/q$ एक क्रांतिक बिंदु (critical point) पर $P$ के लिए न्यूनतम लोजासिएविक घातांक $\theta_0$ के बराबर है, तो परिणामी फलन परिबद्ध लेकिन विच्छिन्न होता है।
अनिश्चितता सेट्स की विमा (प्रमेय 7.10): लेखक दर्शाते हैं कि यह निर्माण केवल पृथक शून्य (isolated zeros) तक सीमित नहीं है। वे दिखाते हैं कि किसी भी वास्तविक बीजगणितीय सेट $A$ के लिए, जो एक हाइपरप्लेन में सख्ती से समाहित है, एक ऐसा परिबद्ध परिमेय फलन बनाया जा सकता है जिसका अनिश्चितता सेट ठीक $A$ है। यह सामान्य मामले के विपरीत है जहाँ परिबद्ध परिमेय फलनों के अनिश्चितता सेट अक्सर कोडायमेंशन (codimension) 2 या अधिक होते हैं; यहाँ, अनिश्चितता सेट की विमा $n-2$ या अधिक हो सकती है।
जटिल चर निर्माण (खंड 6): शोध पत्र $h(z)/\overline{h(z)}$ जैसे व्यंजल (expressions) के वास्तविक या काल्पनिक भागों को लेकर $\mathbb{R}^{2m}$ में परिबद्ध, विच्छिन्न परिमेय फलन उत्पन्न करने की एक विधि प्रदान करता है, जहाँ $h$ एक होलोमोर्फिक बहुपद है। यह $2m-2$ विमा वाले अनिश्चितता सेट वाले फलन उत्पन्न करता है।

महत्व और दावे
शोध पत्र यह दावा करता है कि यह एक सामान्य, प्रारंभिक (इस अर्थ में कि यह मूलभूत वास्तविक बीजगणितीय ज्यामिति का उपयोग करता है) प्रमाण प्रदान करता है कि "परिबद्ध लेकिन विच्छिन्न" की घटना कोई विसंगति नहीं है, बल्कि नेस्टेड शून्य सेट्स वाले बहुपदों के युग्मों द्वारा परिभाषित व्यापक श्रेणी के परिमेय फलनों के लिए एक गारंटीकृत गुण है।

लेखक इस बात पर जोर देते हैं कि उनका दृष्टिकोण निरंतरता के सटीक दहलीज (threshold) को स्पष्ट करता है। वे दिखाते हैं कि $P^{2p}/Q^{2e}$ के रूप में एक परिबद्ध, विच्छिन्न परिमेय फलन का अस्तित्व $(P, Q)$ के लिए लोजासिएविक असमानता के एक सशक्त संस्करण के समतुल्य है। यह कार्य निरंतरता के विश्लेषणात्मक गुण को न्यूनतम लोजासिएविक घातांक के बीजगणितीय गुण से जोड़ता है।

यह शोध पत्र कंप्यूटर बीजगणित या इंजीनियरिंग में नए अनुप्रयोग प्रस्तावित नहीं करता है, लेकिन यह नोट करता है कि बहुचर परिमेय फलनों के सीमाओं (limits) की गणना करने की समस्या कंप्यूटर बीजगणित में प्रासंगिक बनी हुई है। इसका महत्व सैद्धांतिक निर्माण में निहित है: यह दिखाने के लिए एक व्यवस्थित तरीका प्रदान करना कि "परिबद्धता और निरंतरता" (या यह कि क्या सरल विस्तार द्वारा निरंतरता बहाल की जा सकती है) के बीच का अंतर एक सहज अंतर्ज्ञान नहीं है। परिणाम निरंतरता और परिबद्धता के बीच के "अंतराल" की समझ को परिष्कृत करते हैं, यह दिखाते हुए कि ऐसे किसी भी बहुपद युग्म के लिए, एक विशिष्ट परिमेय घात मौजूद है जो ठीक निरंतरता की सीमा पर स्थित है।