🔢 mathematics

Distance, Normals and Double Normals for Real Plane Curves with Singularrities

यह शोधपत्र विलक्षणताओं (singularities) वाले वास्तविक समतलीय बीजगणितीय वक्रों (real plane algebraic curves) के लिए अभिलंबों (normals), द्वि-अभिलंबों (double normals) और वर्ग दूरी फलन (squared distance function) के क्रांतिक बिंदुओं (critical points) के बीच के संबंध की जांच करता है, जो टोपोलॉजिकल डिस्क्रिमिनेन्ट (topological discriminant) को अभिलक्षणिक बनाता है और ऐसी गणना सूत्र (counting formulas) प्रदान करता है जो इन ज्यामितीय विशेषताओं को दूरी के चरम मानों (distance extrema) से जोड़ते हैं।

मूल लेखक: Dirk Siersma

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

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

CC BY 4.0

मूल लेखक: Dirk Siersma

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

कल्पना कीजिए कि आपके पास एक धागा है जो एक सपाट मेज पर एक वक्र (curve) के रूप में बना हुआ है। यह वक्र हमेशा एकदम सटीक नहीं होता; कभी-कभी इसमें तीखे कोने, झुर्रियां या मोड़ हो सकते हैं, या यह खुद के ऊपर से गुजर सकता है। गणित में, इन "अपूर्ण" स्थानों को सिंगुलैरिटीज़ (singularities) कहा जाता है।

यह शोध पत्र एक जासूसी कहानी की तरह है कि कैसे एक विशिष्ट बिंदु (मान लीजिए एक "लाइटहाउस") से इस टेढ़े-मेढ़े, कभी-कभी टूटे हुए धागे तक की दूरी को मापा जाए। लेखक, डर्क सियर्समा (Dirk Siersma), इस खेल के नियम समझना चाहते हैं, विशेष रूप से जब धागे में ऐसी जटिलताएं या मोड़ हों।

यहाँ इस शोध पत्र के निष्कर्षों का सरल उपमाओं (analogies) के माध्यम से विवरण दिया गया है:

1. "निकटतम और दूरतम" का खेल

कल्पना कीजिए कि आप मेज पर एक बिंदु (लाइटहाउस) पर खड़े हैं। आप धागे के उन बिंदुओं को खोजना चाहते हैं जो आपके सबसे करीब हैं और वे बिंदु जो आपसे सबसे दूर हैं।

नॉर्मल लाइन (The Normal Line): यदि आप अपने लाइटहाउस से धागे तक एक सीधी रेखा खींचते हैं, और वह रेखा धागे से बिल्कुल 90-डिग्री के कोण पर टकराती है (जैसे एक प्लंब लाइन), तो उसे नॉर्मल कहा जाता है।
क्रिटिकल पॉइंट्स (The Critical Points): वे बिंदु जहाँ दूरी स्थानीय न्यूनतम (सबसे कम) या अधिकतम (सबसे अधिक) होती है, उन्हें "क्रिटिकल पॉइंट्स" कहा जाता है। एक आदर्श, चिकनी वक्र में, ये ठीक वहीं होते हैं जहाँ नॉर्मल लाइन टकराती है।

2. "झुर्रियों वाले" धागे की समस्या

यह शोध पत्र उन धागों पर केंद्रित है जो पूरी तरह से चिकने नहीं हैं। इनमें हो सकता है:

तीखे कस्प्स (Sharp Cusps): जैसे किसी तारे की नोक या एक ऐसा तीखा बिंदु जहाँ धागा वापस मुड़ जाता है।
स्वयं-प्रतिच्छेदन (Self-Intersections): जहाँ धागा खुद के ऊपर से गुजरता है।
"C1" स्मूथनेस: धागा नंगी आँखों से देखने पर चिकना लगता है (आप एक स्पर्श रेखा खींच सकते हैं), लेकिन यदि आप गणितीय रूप से ज़ूम इन करें, तो यह थोड़ा "ऊबड़-खाबड़" या वृत्त की तरह पूरी तरह गोल नहीं होता।

लेखक पूछते हैं: क्या "निकटतम बिंदु = 90-डिग्री कोण" वाला नियम तब भी काम करता है जब धागे में ऐसे मोड़ या झुर्रियां हों?

3. "डिस्क्रिमिनेंट" मैप (खतरे का क्षेत्र)

यह शोध पत्र एक अवधारणा पेश करता है जिसे डिस्क्रिमिनेंट (Discriminant) कहा जाता है। इसे अपनी मेज पर एक "खतरे के मानचित्र" या "चेतावनी क्षेत्र" के रूप में सोचें।

यदि आप एक "सुरक्षित" स्थान पर खड़े हैं, तो धागे पर निकटतम/दूरतम बिंदुओं की संख्या स्थिर रहती है।
यदि आप डिस्क्रिमिनेंट में कदम रखते हैं, तो नियम बदल जाते हैं। निकटतम बिंदुओं की संख्या अचानक बदल सकती है, या एक "निकटतम" बिंदु अचानक "दूरतम" बिंदु बन सकता है।

बड़ी खोज:
पुराने समय में, गणितज्ञ केवल इवोल्यूट (Evolute) को देखते थे (एक विशिष्ट वक्र जो वक्र की वक्रता की छाया की तरह कार्य करता है)। यह शोध पत्र कहता है: "यह पूरी कहानी नहीं है!"
खतरे का मानचित्र (डिस्क्रमिनेंट) वास्तव में शामिल करता है:

पारंपरिक इवोल्यूट।
झुर्रियों पर विशेष रेखाएं: यदि धागे में एक तीखा बिंदु (कस्प) है, तो उस बिंदु से सीधे बाहर निकलने वाली रेखा भी "खतरे के क्षेत्र" का हिस्सा है।
"ऊबड़-खाबड़" चिकने स्थानों पर विशेष रेखाएं: भले ही कोई स्थान देखने में चिकना लगे, लेकिन यदि वह गणितीय रूप से "ऊबड़-खाबड़" (C1 लेकिन C2 नहीं) है, तो वहां से निकलने वाली रेखा भी एक "खतरे का क्षेत्र" हो सकती है।

4. "प्रतिस्पर्धा कारक" (The Competition Factor)

लेखक एक तरीका आविष्कार करते हैं जिससे यह मापा जा सके कि एक मोड़ कितना "तीखा" है, जिसे वे प्रतिस्पर्धा कारक (competition factor) (जिसे $\rho$ द्वारा दर्शाया गया है) कहते हैं।

यदि मोड़ बहुत तीखा है: तो "निकटतम बिंदु" का तर्क टूट जाता है, और खतरा क्षेत्र (Danger Zone) मोड़ तक फैल जाता है।
यदि मोड़ हल्का है: तो नियम एक चिकनी वक्र की तरह व्यवहार करते हैं।
फोकल पॉइंट (The Focal Point): यह नॉर्मल लाइन पर वह विशिष्ट स्थान है जहाँ "निकटतम" बिंदु "दूरतम" बिंदु में बदल जाता है। यह शोध पत्र गणना करता है कि हर प्रकार के मोड़ के लिए यह ठीक कहाँ होता है। कभी-कभी यह मोड़ पर ही होता है, कभी बहुत दूर होता है, और कभी अनंत दूरी पर होता है।

5. रेखाओं को गिनना ("कितने?" का प्रश्न)

यह शोध पत्र हमें धागे के आकार के आधार पर इन विशेष रेखाओं (नॉर्मल्स) को गिनने का एक तरीका देता है।

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

6. वास्तविक बनाम जटिल (द "घोस्ट" बनाम द "रियल")

यह शोध पत्र संक्षेप में उल्लेख करता है कि "जटिल" (Complex) दुनिया में (एक गणितीय ब्रह्मांड जिसमें अतिरिक्त आयाम और काल्पनिक संख्याएं हैं), नियम अलग हैं।

जटिल दुनिया में, तीखे बिंदु हमेशा "टूटे हुए" होते हैं।
वास्तविक (Real) दुनिया में (हमारी वास्तविक भौतिक दुनिया), एक तीखा बिंदु कभी-कभी आंखों को चिकना लग सकता है।
शोध पत्र दिखाता है कि क्योंकि ऐसा है, इसलिए "वास्तविक" खतरा मानचित्र (Real Danger Map) "जटिल" (Complex) मानचित्र से अलग है। हमें पूर्ण चित्र प्राप्त करने के लिए उन मोड़ों पर उन अतिरिक्त रेखाओं को शामिल करना होगा।

संक्षेप में (Summary in a Nutshell)

यदि आपके पास एक टेढ़ा-मेढ़ा, झुर्रियों वाला धागा है:

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

लेखक ने अनिवार्य रूप से अपूर्ण आकृतियों तक की दूरी मापने के लिए "उपयोगकर्ता नियमावली" (User Manual) को अपडेट किया है, यह सुनिश्चित करते हुए कि तीखे कोनों और स्वयं-प्रतिच्छेदनों को अनदेखा न किया जाए।

तकनीकी सारांश: वास्तविक समतल वक्रों के लिए दूरी, अभिलंब (Normals), और द्वि-अभिलंब (Double Normals) - विलक्षणताओं (Singularities) सहित

समस्या विवरण
यह शोध पत्र उन वास्तविक बीजगणितीय समतल वक्रों (real algebraic plane curves) के लिए अभिलंबों (normals), द्वि-अभलंबों (double normals), और वर्ग यूक्लिडियन दूरी फलन ( $D_u$ ) के क्रांतिक बिंदुओं (critical points) के बीच संबंध की जांच करता है जिनमें विलक्षणताएं (singularities) मौजूद हैं। जबकि जटिल परिवेश (complex setting) प्यूज़िक्स विस्तार (Puiseux expansions) और ED-डिग्री (नियमित भाग पर अभिलंबों की गणना) के माध्यम से एक विस्तृत विवरण प्रदान करता है, वास्तविक परिवेश विशिष्ट चुनौतियां प्रस्तुत करता है। विशेष रूप से, लेखक इस बात को संबोधित करते हैं कि बीजगणितीय विलक्षणताएं—वे बिंदु जहाँ ग्रेडिएंट शून्य हो जाता है लेकिन वक्र अभी भी स्थानीय रूप से चिकना (जैसे, $C^1$ लेकिन $C^2$ नहीं) हो सकता है—दूरी फलन की टोपोलॉजिकल संरचना को कैसे प्रभावित करती हैं। यह अध्ययन टोपोलॉजिकल ED-डिस्क्रिमिनेंट ( $\Delta_{tED}$ ) को लक्षणित करने का लक्ष्य रखता है, जो स्थिर बिंदुओं और उन बिंदुओं के बीच अंतर करता है जहाँ दूरी फलन का स्थानीय टोपोलॉजिकल प्रकार बदल जाता है, और विलक्षणताओं को ध्यान में रखते हुए अभिलंबों और द्वि-अभलंबों की गणना के सूत्रों को स्थापित करने का प्रयास करता है।

कार्यप्रणाली
लेखक बीजगणितीय ज्यामिति (algebraic geometry), विलक्षणता सिद्धांत (singularity theory), और टोपोलॉजिकल मोर्स थ्योरी (topological Morse theory) के संयोजन का उपयोग करते हैं।

स्थानीय पैरामीट्रिकरण (Local Parametrization): वक्रों का विश्लेषण $x_1(t) = t^p, x_2(t) = c t^q + \sigma(t)$ के रूप में स्थानीय पैरामीट्रिकरण के माध्यम से किया जाता है, जिसमें चिकनी शाखाओं (smooth branches, $p$ विषम) और ज्यामितिक विलक्षणताओं/कस्प्स (geometric singularities/cusps, $p$ सम) के बीच अंतर किया जाता है।
टोपोलॉजिकल क्रिटिकैलिटी (Topological Criticality): केवल अवकल कैलकुलस (differential calculus) पर निर्भर रहने के बजाय (जो गैर- $C^2$ बिंदुओं पर विफल हो जाता है), यह शोध पत्र क्रांतिक बिंदुओं को टोपोलॉजिकल नियमितता के आधार पर परिभाषित करता है। एक बिंदु टोपोलॉजिकल रूप से क्रांतिक है यदि दूरी फलन स्थानीय रूप से एक रैखिक फलन के होमियोमोर्फिक (homeomorphic) नहीं है।
प्रतिस्पर्धा कारक ( $\rho$ - Competition Factor): एक प्रमुख विश्लेषणात्मक उपकरण के रूप में पेश किया गया प्रतिस्पर्धा कारक $\rho = q/2p$ है, जो विलक्षणता पर वर्ग दूरी फलन और वक्र के बीच संपर्क क्रम (contact order) का वर्णन करता है। यह कारक फोकल बिंदुओं (focal points) के अस्तित्व और स्थान को निर्धारित करता है।
बाइफर्केशन विश्लेषण (Bifurcation Analysis): लेखक अवलोकन बिंदु $u$ के वक्र के सापेक्ष हिलने पर क्रांतिक बिंदुओं (न्यूनतम, अधिकतम, सैडल) के बाइफर्केशन (bifurcations) को निर्धारित करने के लिए दूरी फलन के डोमिनेंट टर्म्स पर स्पष्ट गणना करते हैं।
द्वि-अभलंब (Double Normals): अध्ययन दो वक्रों (या एक व 곡 के स्वयं के साथ) के बीच वर्ग दूरी फलन $B(a,b) = |a-b|^2$ का विस्तार करता है, जो नॉर्मलाइजेशन के उत्पाद स्थान (product space of normalizations) पर क्रांतिक बिंदुओं का विश्लेषण करता है।

मुख्य योगदान और परिणाम

1. टोपोलॉजिकल ED-डिस्क्रिमिनेंट ( $\Delta_{tED}$ )
यह शोध पत्र $\Delta_{tED}$ को स्थिर बिंदुओं के पूरक के रूप में लक्षणित करता है। चिकने $C^2$ मामले के विपरीत, जहाँ डिस्क्रिमिनेन्ट केवल इवोल्यूट (evolute/caustic) होता है, विलक्षणताओं की उपस्थिति विशिष्ट घटकों को जोड़ती है:

कॉस्टिक (The Caustic): अभिलंबों का लिफाफा (envelope), जिसे ज्यामितिक विलक्षणताओं पर फोकल बिंदुओं को शामिल करने के लिए विस्तारित किया गया है।
विशिष्ट अभिलंब रेखाएं (Distinguished Normal Lines): डिस्क्रिमिनेन्ट में ज्यामितिक विलक्षण बिंदुओं (कस्प्स) पर सभी अभिलंब रेखाएं शामिल हैं।
स्ट्रिक्ट $C^1$ -बिंदु: उन चिकने बिंदुओं के लिए जो केवल $C^1$ एम्बेडेड हैं (जहाँ $p$ विषम है और $q < 2p$ ), अभिलंब रेखा डिस्क्रिमिनेन्ट का हिस्सा भी हो सकती है, जो एक ऐसी घटना है जो मानक $C^2$ सिद्धांत में अनुपस्थित है।

2. फोकल बिंदु और बाइफर्केशन
अभिलंब रेखाओं पर फोकल बिंदुओं के व्यवहार को $\rho$ द्वारा वर्गीकृत किया गया है:

$\rho > 1$ ( $q > 2p$ ): अभिलंब रेखा पर कोई फोकल बिंदु मौजूद नहीं है; दूरी फलन रेखा पर हर जगह एक न्यूनतम (minimum) रहता है।
$\rho = 1$ ( $q = 2p$ ): एक परिमित फोकल बिंदु (वक्रता का केंद्र) मौजूद है, जहाँ क्रांतिक बिंदु का प्रकार बदल जाता है।
$\rho < 1$ ( $q < 2p$ ): फोकल बिंदु स्वयं विलक्षण बिंदु ( $u=x$ ) के साथ मेल खाता है।
शोध पत्र $\rho$ के आधार पर $p$ और $q$ की समता (parity) और $\rho$ के मान के अनुसार 10 अलग-अलग डिस्क्रिमिनेन्ट प्रकारों और बाइफर्केशनों का विवरण देने वाली एक व्यापक तालिका (तालिका 1) प्रदान करता है।

3. अभिलंबों के लिए गणना सूत्र (Counting Formulas for Normals)
लेखक एक सामान्य बिंदु $u$ से गुजरने वाले अभिलंबों की संख्या ( $N(u)$ ) के लिए निचली सीमाएँ स्थापित करते हैं:

सामान्य सीमा: $N(u) \ge 2$ ।
कस्प्स का योगदान: प्रत्येक कस्पिडल बिंदु कम से कम एक अभिलंब (एक न्यूनतम या अधिकतम) में योगदान देता है। विशेष रूप से, $N(u) \ge N_{\text{cusps}}$ ।
मोर्स काउंटिंग (Morse Counting): कुल अभिलंबों की संख्या अधिकतम और न्यूनतम का योग है। एक कॉम्पैक्ट वक्र के लिए, $m(u) = M(u) \ge 1$ ।

4. द्वि-अभलंब (Double Normals)
यह अध्ययन द्वि-अभलंबों (दो बिंदुओं को जोड़ने वाले खंड जो वक्र के दोनों सिरों पर वक्र के लंबवत होते हैं) तक विस्तृत है।

प्रकार: लेखक द्वि-अभलंबों को $rr $(रेगुलर-रेगुलर),$ rs $(रेगुलर-सिंगुलर),$ ss$ (सिंगुलर-सिंगुलर), और प्रतिच्छेदन बिंदुओं (intersection points) में वर्गीकृत करते हैं।
गणना के परिणाम:
- द्वि-अभलंबों की संख्या कम से कम 2 है।
- प्रत्येक कस्पिडल बिंदु कम से कम एक द्वि-अभलंब में योगदान देता है।
- कस्पिडल बिंदुओं का प्रत्येक जोड़ा उन्हें जोड़ने वाले द्वि-अभलंब में योगदान देता है।
- स्व-प्रतिच्छेदन (Self-intersections) पूर्ण न्यूनतम (absolute minima) के रूप में कार्य करते हैं।
मोर्स थ्योरी का अनुप्रयोग: कॉन्फ़िगरेशन स्पेस की टोपोलॉजी (एकल वक्र के लिए मोबियस बैंड, दो वक्रों के लिए टोरस) का उपयोग करते हुए, शोध पत्र अधिकतम, न्यूनतम और सैडल (saddles) की संख्या से संबंधित मोर्स असमानताओं (Morse inequalities) को व्युत्पन्न करता है। एकल वक्र के लिए, द्वि-अभलंबों की संख्या कम से कम 2 है, जहाँ $\#(\text{Max}) + \#(\text{Min}) = \#(\text{Saddles})$ ।

5. जटिल सिद्धांत के साथ तुलना (Comparison with Complex Theory)
शोध पत्र जटिल ED-डिस्क्रिमिनेंट के साथ वास्तविक मामले की तुलना करता है। जटिल परिवेश में, डिस्क्रिमिनेन्ट अनंत पर बिंदुओं (atypical discriminant) और आइसोट्रोपिक टेंजेंट वाले फ्लेक्स पॉइंट्स (iflex discriminant) से संबंधित घटकों को शामिल करता है। ये घटक वास्तविक मामले में दिखाई नहीं देते हैं। वास्तविक डिस्क्रिमिनेन्ट को जटिल वाले के उपसमुच्चय के रूप में दिखाया गया है, विशेष रूप से $\Delta_{tED} = \Delta_{\text{focal}} \cup \Delta_{\text{sing}}$ , जहाँ $\Delta_{\text{sing}}$ अपने जटिल समकक्ष की तुलना में कम अभिलंब रेखाओं को धारण कर सकता है।

महत्व और दावे
शोध पत्र का दावा है कि वास्तविक परिवेश में अधिकतम और न्यूनतम दूरियों की पूर्ण समझ के लिए विलक्षण बिंदुओं को शामिल करना आवश्यक है, जो कि केवल नियमित भाग के ED-डिग्री पर ध्यान केंद्रित करने वाले दृष्टिकोणों में अक्सर अनदेखा किया जाता है। टोपोलॉजिकल क्रिटिकल पॉइंट्स और प्रतिस्पर्धा कारक $\rho$ को पेश करके, लेखक एक ऐसा ढांचा प्रदान करते हैं जो:

स्मूथ और सिंगुलर बिंदुओं के उपचार को टोपोलॉजिकल मोर्स थ्योरी के तहत एकीकृत करता है।
नई घटनाओं की पहचान करता है, जैसे कि डिस्क्रिमिनेन्ट में स्ट्रिक्ट $C^1$ बिंदुओं पर अभिलंब रेखाओं का समावेश।
स्पष्ट गणना सूत्र प्रदान करता है जो विलक्षणताओं (कस्प्स) की ज्यामिति को सीधे अभिलंबों और द्वि-अभलंबों की संख्या से जोड़ता है।
शास्त्रीय विभेदक ज्यामिति (differential geometry) को विलक्षणताओं वाले बीजगणितीय वक्रों तक विस्तारित करते हुए बाइफर्केशन्स और फोकल सेट्स का विस्तृत स्थानीय विवरण प्रदान करता है।

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