The Ptolemy-Alhazen problem with source at infinity

यहाँ मसायो फुजिमुरा और मट्टी वुरिनेन के शोध पत्र "The Ptolemy-Alhazen Problem with Source at Infinity" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या की परिभाषा

यह शोध पत्र शास्त्रीय टॉलेमी-अलहाज़ेन (Ptolemy-Alhazen) समस्या के एक विशिष्ट रूपांतर को संबोधित करता है, जो एक गोलाकार दर्पण पर प्रकाश स्रोत और एक प्रेक्षक (observer) दिए जाने पर परावर्तन बिंदु खोजने का प्रयास करती है।

• शास्त्रीय संदर्भ: पारंपरिक रूप से, प्रकाश स्रोत ($z_1$) और प्रेक्षक ($z_2$) दोनों परिमित दूरियों (finite distances) पर होते हैं। इसका समाधान दर्पण की सीमा पर एक बिंदु $w$ खोजने में निहित है ताकि आपतित कोण (angle of incidence) परावर्तन कोण (angle of reflection) के बराबर हो।
• विशिष्ट रूपांतर: यह शोध पत्र उस स्थिति की जांच करता है जहाँ प्रकाश स्रोत अनंत (infinity) पर है। इस परिदृश्य में, प्रकाश की किरणें फैलने के बजाय समानांतर पुंज (parallel beams) के रूप में आती हैं (जैसे कि किसी दूर स्थित तारे या उपग्रह सिग्नल से)।
• प्रेरणा: वी.एच. अल्मेडा जूनियर द्वारा खगोल भौतिकी अनुप्रयोगों (विशेष रूप से जीपीएस सिग्नल ट्रांसमिशन और रडार स्कैटरिंग) के संदर्भ में इस समस्या को रेखांकित किया गया था, जहाँ मौजूदा संख्यात्मक विधियाँ (numerical methods) अस्थिरता या व्यवस्थित विसंगतियाँ दिखाती थीं जब स्रोत की दूरी प्रभावी रूप से अनंत होती थी।

2. गणितीय ढांचा और कार्यप्रणाली

लेखक एक सटीक विश्लेषणात्मक समाधान प्राप्त करने के लिए ज्यामितीय फलन सिद्धांत (geometric function theory), विशेष रूप से त्रिकोणीय अनुपात मीट्रिक (triangular ratio metric) और बीजगणितीय ज्यामिति के उपकरणों का उपयोग करते हैं।

A. त्रिकोणीय अनुपात मीट्रिक

समस्या को एक डोमेन $G$ के लिए त्रिकोणीय अनुपात मीट्रिक $s_G(z_1, z_2)$ का उपयोग करके तैयार किया गया है। एक इकाई डिस्क $B^2$ के लिए, सीमा $\partial B^2$ पर परावर्तन बिंदु $w$ निम्नलिखित अनुपात को अधिकतम करता है:
$$s_{B^2}(z_1, z_2) = \frac{|z_1 - z_2|}{|z_1 - w| + |w - z_2|}$$
ज्यामितीय रूप से, यह $z_1$ और $z_2$ को फोकस मानने वाले एक दीर्घवृत्त (ellipse) को खोजने के अनुरूप है जो $w$ पर इकाई वृत्त के आंतरिक रूप से स्पर्शरेखीय (internally tangent) है। मीट्रिक का मान इस अधिकतम दीर्घवृत्त की उत्केंद्रता (eccentricity) के बराबर है।

B. अनंत पर स्रोत के लिए व्युत्पत्ति

जब स्रोत अनंत पर होता है, तो प्रकाश की किरणें समानांतर होती हैं। लेखक मानते हैं कि किरणें दाईं ओर से वास्तविक अक्ष (real axis) के समानांतर आती हैं।

• सेटअप: मान लीजिए प्रेक्षक $f = re^{i\theta}$ (जहाँ $r > 1$) है और परावर्तन बिंदु इकाई वृत्त पर $w$ है ($|w|=1$)।
• ज्यामितीय गुण: परावर्तन बिंदु $w$, इकाई वृत्त और एक परवलय (parabola) के बीच स्पर्श बिंदु है जिसका फोकस प्रेक्षक $f$ है और जिसकी निर्देशक रेखा (directrix) आने वाली प्रकाश किरणों के लंबवत है।
• बीजगणितीय व्युत्पत्ति: परावर्तन गुण (कोणों की समानता) को लागू करके और सम्मिश्र संयुग्मी गुणों ($w\bar{w}=1$) का उपयोग करके, लेखक एक स्थिति प्राप्त करते हैं जहाँ एक विशिष्ट सम्मिश्र अभिव्यक्ति वास्तविक होनी चाहिए। यह एक चतुर्थ घात (quartic/fourth-degree) बहुपद समीकरण की ओर ले जाता है।

3. मुख्य परिणाम

A. चतुर्थ घात समीकरण (प्रमेय 3.1)

मुख्य परिणाम एक स्पष्ट चतुर्थ घात बहुपद समीकरण है जो परावर्तन बिंदु $w$ को निर्धारित करता है:
$$re^{-i\theta}w^4 - w^3 + w - re^{i\theta} = 0$$

• समाधान: इस समीकरण के मूलों (roots) को कार्डानो के सूत्र (Cardano's formula) (मानक प्रतीकात्मक गणना) का उपयोग करके हल किया जा सकता है।
• चयन: चार मूलों में से, भौतिक रूप से प्रासंगिक समाधान वह है जो प्रेक्षक की स्थिति ($0 \le \phi \le \pi/2$) के अनुरूप इकाई वृत्त पर स्थित है।

B. मूलों के गुण (प्रमेय 3.4)

लेखक सिद्ध करते हैं कि $r > 1$ के लिए, व्युत्पन्न चतुर्थ घात समीकरण के सभी चार मूल सख्ती से इकाई वृत्त पर स्थित हैं।

• प्रमाण रणनीति: वे एक मोबियस रूपांतरण ($z = i\frac{1+w}{1-w}$) के माध्यम से जटिल चतुर्थ घात समीकरण को वास्तविक गुणांकों वाले वास्तविक चतुर्थ घात समीकरण में परिवर्तित करते हैं।
• स्थिरता विश्लेषण: परिणामी वास्तविक बहुपद के विविक्तकर ($\Delta$), मात्रा $P$, और मात्रा $D$ का विश्लेषण करके, वे प्रदर्शित करते हैं कि $\Delta > 0$, $P < 0$, और $D < 0$ है। ये स्थितियाँ गारंटी देती हैं कि समीकरण के चार अलग-अलग वास्तविक मूल हैं, जिससे पुष्टि होती है कि मूल समीकरण के सभी चार सम्मिश्र मूल इकाई वृत्त पर स्थित हैं।

C. निर्देशक रेखाओं का आवरण (अनुभाग 4)

शोध पत्र आगे प्रकाश की बदलती दिशाओं से जुड़े परवलयों की निर्देशक रेखाओं (directrices) के ज्यामितीय पथ की जांच करता है।

• परिणाम: निर्देशक रेखाओं के परिवार का आवरण (envelope) एक लिमासॉन ऑफ पास्कल (Limaçon of Pascal) बनाता है।
• समीकरण: आवरण को $z^2\bar{z}^2 - 2(a^2+2)z\bar{z} + 4a(z+\bar{z}) + a^4 - 4a^2 = 0$ द्वारा दिया गया है।
• आकार: विचार किए गए मापदंडों के लिए, इस वक्र में एक आंतरिक लूप है, जिसे "आँसू की बूंद" (tear drop) के रूप में वर्णित किया गया है। यह अनंत पर स्रोत होने पर परावर्तन ज्यामिति की गहरी ज्यामितीय समझ प्रदान करता है।

4. महत्व और अनुप्रयोग

• संख्यात्मक स्थिरता: टॉलेमी-अलहाज़ेन समस्या को हल करने की पिछली विधियाँ (जैसे पुनरावृत्ति एल्गोरिदम या अन्य सूत्रीकरण) संख्यात्मक अस्थिरता से ग्रस्त थीं जब स्रोत की दूरी बहुत अधिक होती थी ("एक-परिमित" मामला)। यह शोध पत्र एक बंद-रूप बीजगणितीय समाधान (closed-form algebraic solution) प्रदान करता है जो इन अस्थिरताओं से बचता है।
• खगोल भौतिकी और इंजीनियरिंग: समाधान सीधे तौर पर निम्नलिखित के लिए लागू है:
  • जीपीएस सिग्नल ट्रांसमिशन: पृथ्वी की सतह (जिसे गोले के रूप में मॉडल किया गया है) से सिग्नल के परावर्तन को मॉडल करना, जो उपग्रह-से-उपग्रह या उपग्रह-से-जमीन लिंक के लिए उपयोगी है।
  • रडार और ध्वनिकी: उन प्रकीर्णन (scattering) समस्याओं को हल करना जहाँ स्रोत प्रभावी रूप से अनंत पर होते हैं।
  • कंप्यूटर विज़न: उन ड्रोन विज़न सिस्टम को बेहतर बनाना जो दर्पण प्रतिबिंबों पर निर्भर करते हैं।
• सत्यापन: लेखक नोट करते हैं कि उनके पिछले एल्गोरिदम (परिमित स्रोतों के लिए) को पहले से ही खगोल भौतिकी साहित्य (जैसे, DG1, DG2) में मान्य किया जा चुका है, जहाँ उन्होंने सटीकता और स्थिरता में प्रतिस्पर्धियों से बेहतर प्रदर्शन किया। यह नया सूत्र उस मजबूती को अनंत स्रोत मामले तक विस्तारित करता है।

निष्कर्ष

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