प्रतिलोम समस्या

For जियोडेसी में उपयोग, see व्युत्क्रम जियोडेटिक समस्या.

विज्ञान में प्रतिलोम समस्या अवलोकनों के सेट से गणना करने की प्रक्रिया है, जो उन्हें उत्पन्न करने वाले कारण कारक हैं: उदाहरण के लिए, एक्स-रे कंप्यूटेड टोमोग्राफी में छवि की गणना, ध्वनिकी में ध्वनि स्रोत पुनर्निर्माण, या माप से पृथ्वी के घनत्व की गणना इसके गुरुत्वाकर्षण क्षेत्र से की जाती है। इसे प्रतिलोम समस्या कहा जाता है क्योंकि यह प्रभावों से प्रारंभ होता है और फिर कारणों की गणना करता है। यह आगे की समस्या का विपरीत है, जो कारणों से प्रारंभ होती है और फिर प्रभावों की गणना करती है।

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

इतिहास

कारणों की खोज के लिए प्रभावों के साथ प्रारंभ करना सदियों से भौतिकविदों को चिंतित करता रहा है। ऐतिहासिक उदाहरण जॉन काउच एडम्स और शहरी ले वेरियर की गणना है, जिसने अरुण ग्रह के परेशान प्रक्षेपवक्र से नेपच्यून की खोज की। चूंकि, 20वीं शताब्दी तक प्रतिलोम समस्याओं का औपचारिक अध्ययन प्रारंभ नहीं किया गया था।

प्रतिलोम समस्या के समाधान के प्रारंभिक उदाहरणों में से हरमन वेइल द्वारा खोजा गया था और 1911 में प्रकाशित किया गया था, जिसमें लाप्लास-बेल्ट्रामी ऑपरेटर के आइजनवैल्यूज़ के स्पर्शोन्मुख व्यवहार का वर्णन किया गया था। आज वेइल के नियम के रूप में जाना जाता है, यह संभवतया इस प्रश्न के जवाब के रूप में सबसे सरलता से समझा जा सकता है कि क्या ड्रम के आकार को सुनना संभव है। वेइल ने अनुमान लगाया कि ड्रम की आइजनफ्रीक्वेंसी विशेष समीकरण द्वारा ड्रम के क्षेत्र और परिधि से संबंधित होगी, जिसके परिणामस्वरूप बाद के गणितज्ञों द्वारा संशोधन किया गया।

प्रतिलोम समस्याओं के क्षेत्र को बाद में सोवियत संघ-अर्मेनियाई भौतिक विज्ञानी, विक्टर अम्बर्टसुमियन द्वारा छुआ गया था।

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

फिर भी, द्वितीय विश्व युद्ध के अंत की ओर, 20 वर्षीय अंबार्टसुमियन द्वारा लिखित यह लेख स्वीडिश गणितज्ञों द्वारा पाया गया और प्रतिलोम समस्याओं पर शोध के पूरे क्षेत्र के लिए प्रारंभिक बिंदु बन गया, जो संपूर्ण अनुशासन की नींव बन गया था।

तब विशेष रूप से सोवियत संघ में मार्चेंको समीकरण द्वारा प्रतिलोम बिखरने की समस्या के प्रत्यक्ष समाधान के लिए महत्वपूर्ण प्रयास समर्पित किए गए हैं। उन्होंने समाधान का निर्धारण करने के लिए विश्लेषणात्मक रचनात्मक विधि प्रस्तावित की थी। जब कंप्यूटर उपलब्ध हो गए, तो कुछ लेखकों ने समान समस्याओं के लिए अपने दृष्टिकोण को प्रयुक्त करने की संभावना की जांच की, जैसे कि 1D तरंग समीकरण में प्रतिलोम समस्या। लेकिन यह तेजी से निकला कि प्रतिलोम अस्थिर प्रक्रिया है: रव और त्रुटियों को अद्भुत रूप से बढ़ाया जा सकता है जिससे प्रत्यक्ष समाधान संभवतया ही व्यावहारिक हो सके।

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

वैचारिक समझ

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

• इसका वर्णन करने वाले भौतिक मापदंडों से प्रणाली की स्थिति का निर्धारण
• प्रणाली की अनुमानित स्थिति के लिए अवलोकन ऑपरेटर का अनुप्रयोग जिससे हम जो निरीक्षण करना चाहते हैं उसके व्यवहार की भविष्यवाणी कर सकें।

इससे दूसरे ऑपरेटर (गणित) $F$ का परिचय होता है ($F$ आगे के लिए खड़ा है) जो $p$ मॉडल मापदंडों को $F(p)$ में मैप करता है, वह $p$ डेटा जो मॉडल भविष्यवाणी करता है कि इस दो-चरणीय प्रक्रिया का परिणाम है। ऑपरेटर $F$ फॉरवर्ड ऑपरेटर या फॉरवर्ड मैप कहा जाता है।

इस दृष्टिकोण में हम मूल रूप से कारणों को जानकर प्रभावों की भविष्यवाणी करने का प्रयास करते हैं।

नीचे दी गई तालिका दिखाती है, पृथ्वी को भौतिक प्रणाली के रूप में माना जाता है और विभिन्न भौतिक घटनाओं के लिए, मॉडल पैरामीटर जो प्रणाली का वर्णन करते हैं, भौतिक मात्रा जो भौतिक प्रणाली की स्थिति का वर्णन करती है और सामान्यतः प्रणाली की स्थिति पर किए गए अवलोकन।

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

प्रतिलोम समस्या दृष्टिकोण में हम, मोटे तौर पर बोलते हुए, दिए गए प्रभावों के कारणों को जानने का प्रयास करते हैं।

प्रतिलोम समस्या का सामान्य कथन

प्रतिलोम समस्या आगे की समस्या का प्रतिलोम है: विशेष मॉडल मापदंडों द्वारा उत्पादित डेटा का निर्धारण करने के अतिरिक्त, हम डेटा उत्पन्न करने वाले मॉडल मापदंडों को $d_{\text{obs}}$ निर्धारित करना चाहते हैं, यह वह अवलोकन है जिसे हमने रिकॉर्ड किया है (सबस्क्रिप्ट ऑब्जर्व का अर्थ मनाया जाता है)।

हमारा लक्ष्य, दूसरे शब्दों में, मॉडल पैरामीटर $p$ निर्धारित करना है, जैसे कि (कम से कम लगभग)

$$d_{\text{obs}}=F(p)$$

जहाँ $F$ आगे का मानचित्र है। हम इसे $M$ द्वारा निरूपित करते हैं (संभवतः अनंत) मॉडल मापदंडों की संख्या, और $N$ द्वारा रिकॉर्ड किए गए डेटा की संख्या है।

हम कुछ उपयोगी अवधारणाओं और संबंधित संकेतन प्रस्तुत करते हैं जिनका उपयोग नीचे किया जाएगा:

• $P$ द्वारा निरूपित मॉडल का स्थान: मॉडल पैरामीटर द्वारा फैला सदिश स्थल $M$ आयाम है;
• $D$ द्वारा निरूपित डेटा का स्थान: यदि हम मापे गए नमूनों को सदिश $D=\mathbb {R} ^{N}$ में व्यवस्थित करते हैं, ($N$ घटक हमारे माप में कार्य सम्मिलित हैं, $D$ अनंत आयामों वाला सदिश स्थान है);
• $F(p)$: मॉडल की $p$ प्रतिक्रिया; इसमें मॉडल द्वारा अनुमानित डेटा सम्मिलित है $p$;
• $F(P)$: $P$ की छवि आगे के मानचित्र से, $D$ का उपसमुच्चय है (लेकिन उप-स्थान नहीं जब तक $F$ रैखिक है) सभी मॉडलों की प्रतिक्रियाओं से बना है;
• $d_{\text{obs}}-F(p)$: मॉडल से जुड़ा डेटा मिसफिट (या अवशिष्ट)। $p$: $D$ के तत्व को उनके सदिश के रूप में व्यवस्थित किया जा सकता है।

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

जब ऑपरेटर $F$ रैखिक है, प्रतिलोम समस्या रैखिक है। अन्यथा, यह सबसे अधिक बार होता है, प्रतिलोम समस्या अरैखिक होती है। साथ ही, मॉडलों को सदैव परिमित संख्या में पैरामीटर द्वारा वर्णित नहीं किया जा सकता है। यह स्थिति है, जब हम वितरित पैरामीटर प्रणाली (उदाहरण के लिए तरंग-गति का वितरण) की खोज करते हैं: ऐसी स्थितियों में प्रतिलोम समस्या का लक्ष्य एक या कई कार्यों को पुनः प्राप्त करना है। ऐसी प्रतिलोम समस्याएँ अनंत आयाम वाली प्रतिलोम समस्याएँ हैं।

लीनियर इनवर्स प्रॉब्लम

रेखीय आगे के मानचित्र की स्थिति में और जब हम मॉडल मापदंडों की सीमित संख्या से निपटते हैं, तो आगे के मानचित्र को रेखीय प्रणाली के रूप में लिखा जा सकता है

$$d=Fp$$

जहाँ $F$ आव्यूह (गणित) है, जो आगे के मानचित्र की विशेषता है।

प्रारंभिक उदाहरण: पृथ्वी का गुरुत्वाकर्षण क्षेत्र

मॉडल पैरामीटर के संबंध में केवल कुछ भौतिक प्रणालियां वास्तव में रैखिक हैं। भूभौतिकी से ऐसी ही प्रणाली पृथ्वी के गुरुत्वाकर्षण क्षेत्र की है। पृथ्वी का गुरुत्वाकर्षण क्षेत्र उपसतह में पृथ्वी के घनत्व वितरण द्वारा निर्धारित किया जाता है। क्योंकि पृथ्वी की लिथोलॉजी में अत्यधिक परिवर्तन आया है, हम पृथ्वी की सतह पर पृथ्वी के गुरुत्वाकर्षण क्षेत्र में सूक्ष्म अंतर देखने में सक्षम हैं। गुरुत्वाकर्षण (न्यूटन के गुरुत्वाकर्षण के नियम) की हमारी समझ से, हम जानते हैं कि गुरुत्वाकर्षण के लिए गणितीय अभिव्यक्ति है:

$$d={\frac {Gp}{r^{2}}};$$

यहाँ $d$ स्थानीय गुरुत्वाकर्षण त्वरण का उपाय है, $G$ गुरुत्वाकर्षण त्वरण है, $p$ उपसतह में चट्टान का स्थानीय द्रव्यमान (जो घनत्व से संबंधित है) है और $r$ द्रव्यमान से अवलोकन बिंदु की दूरी है।

उपरोक्त अभिव्यक्ति को असतत करके, हम पृथ्वी की सतह पर असतत डेटा टिप्पणियों को उपसतह में असतत मॉडल मापदंडों (घनत्व) से संबंधित करने में सक्षम हैं, जिसके बारे में हम और जानना चाहते हैं। उदाहरण के लिए, उस स्थिति पर विचार करें जहां हमने पृथ्वी की सतह पर 5 स्थानों पर मापन किया है। इस स्थिति में, हमारा डेटा सदिश, $d$ आयाम का स्तंभ सदिश (5×1) है: इसका $i$-वाँ घटक, $i$-वाँ अवलोकन स्थान से जुड़ा हुआ है। हम यह भी जानते हैं कि हमारे पास केवल पाँच अज्ञात द्रव्यमान हैं, $p_{j}$ ज्ञात स्थान के साथ उपसतह में अवास्तविक लेकिन अवधारणा को प्रदर्शित करने के लिए उपयोग किया जाता है: $i$-वें अवलोकन स्थान और $j$-वाँ द्रव्यमान के बीच की दूरी हम $r_{ij}$ द्वारा निरूपित करते हैं। इस प्रकार, हम पाँच अज्ञात द्रव्यमानों को पाँच डेटा बिंदुओं से संबंधित रैखिक प्रणाली का निर्माण इस प्रकार कर सकते हैं:

$$d=Fp,$$

$$d={\begin{bmatrix}d_{1}\\d_{2}\\d_{3}\\d_{4}\\d_{5}\end{bmatrix}},\quad p={\begin{bmatrix}p_{1}\\p_{2}\\p_{3}\\p_{4}\\p_{5}\end{bmatrix}},$$

$$F={\begin{bmatrix}{\frac {G}{r_{11}^{2}}}&{\frac {G}{r_{12}^{2}}}&{\frac {G}{r_{13}^{2}}}&{\frac {G}{r_{14}^{2}}}&{\frac {G}{r_{15}^{2}}}\\{\frac {G}{r_{21}^{2}}}&{\frac {G}{r_{22}^{2}}}&{\frac {G}{r_{23}^{2}}}&{\frac {G}{r_{24}^{2}}}&{\frac {G}{r_{25}^{2}}}\\{\frac {G}{r_{31}^{2}}}&{\frac {G}{r_{32}^{2}}}&{\frac {G}{r_{33}^{2}}}&{\frac {G}{r_{34}^{2}}}&{\frac {G}{r_{35}^{2}}}\\{\frac {G}{r_{41}^{2}}}&{\frac {G}{r_{42}^{2}}}&{\frac {G}{r_{43}^{2}}}&{\frac {G}{r_{44}^{2}}}&{\frac {G}{r_{45}^{2}}}\\{\frac {G}{r_{51}^{2}}}&{\frac {G}{r_{52}^{2}}}&{\frac {G}{r_{53}^{2}}}&{\frac {G}{r_{54}^{2}}}&{\frac {G}{r_{55}^{2}}}\end{bmatrix}}$$

हमारे डेटा में फिट होने वाले मॉडल मापदंडों को हल करने के लिए, हम आव्यूह को उलटने में सक्षम हो सकते हैं $F$ माप को सीधे हमारे मॉडल पैरामीटर में बदलने के लिए। उदाहरण के लिए:

$$p=F^{-1}d_{\text{obs}}$$

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

चूंकि, वर्ग आव्यूह में भी कोई प्रतिलोम नहीं हो सकता है: आव्यूह $F$ रैंक (रैखिक बीजगणित) की कमी हो सकती है (अर्थात् शून्य आइजनवैल्यूज़ ​​​​है) और प्रणाली का समाधान $p=F^{-1}d_{\text{obs}}$ अद्वितीय नहीं है। तब प्रतिलोम समस्या का समाधान अनिर्धारित होगा। यह पहली कठिनाई है। अति-निर्धारित प्रणालियों (अज्ञात से अधिक समीकरण) में अन्य उद्देश्य हैं। साथ ही रव हमारे प्रेक्षणों को दूषित कर सकता है $d$ संभवतः अंतरिक्ष के बाहर $F(P)$ मॉडल मापदंडों के लिए संभावित प्रतिक्रियाओं की जिससे प्रणाली का समाधान $p=F^{-1}d_{\text{obs}}$ उपस्थित नहीं हो सकता है। यह एक और कठिनाई है।

पहली कठिनाई दूर करने के उपाय

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

इस अतिरिक्त जानकारी का एकीकरण मूल रूप से आँकड़ों की समस्या है। यह अनुशासन वह है जो प्रश्न का उत्तर दे सकता है: विभिन्न प्रकृति की मात्राओं को कैसे मिलाया जाए? हम नीचे दिए गए बायेसियन दृष्टिकोण के अनुभाग में अधिक स्पष्ट होंगे।

वितरित मापदंडों के संबंध में, उनके स्थानिक वितरण के बारे में पूर्व सूचना में अधिकांशतः इन वितरित मापदंडों के कुछ डेरिवेटिव के बारे में जानकारी होती है। इसके अतिरिक्त, यह सामान्य अभ्यास है, चूंकि कुछ हद तक कृत्रिम, सबसे सरल मॉडल की खोज करना जो डेटा से उचित रूप से मेल खाता हो। यह सामान्यतः एलपी स्पेस पेनल्टी विधि $L^{1}$ द्वारा प्राप्त किया जाता है, मानकों के ढाल (या कुल भिन्नता) का मानदंड (इस दृष्टिकोण को एंट्रॉपी के अधिकतमकरण के रूप में भी जाना जाता है)। पैरामीट्रिजेशन के माध्यम से मॉडल को सरल भी बना सकता है, जो आवश्यक होने पर ही स्वतंत्रता की डिग्री प्रस्तुत करता है।

मॉडल पैरामीटर या उनके कुछ कार्यों पर असमानता बाधाओं के माध्यम से अतिरिक्त जानकारी भी एकीकृत की जा सकती है। मापदंडों के लिए अवास्तविक मूल्यों (उदाहरण के लिए नकारात्मक मान) से बचने के लिए ऐसी बाधाएं महत्वपूर्ण हैं। इस स्थिति में, मॉडल मापदंडों द्वारा फैला हुआ स्थान अब सदिश स्थान नहीं होगा, बल्कि स्वीकार्य मॉडल का अगली कड़ी में उपसमूह होगा जिसे $P_{\text{adm}}$ निरूपित किया जाएगा।

दूसरी कठिनाई दूर करने के उपाय

जैसा कि ऊपर उल्लेख किया गया है, रव ऐसा हो सकता है कि हमारे माप किसी मॉडल की छवि नहीं हैं, जिससे हम उस मॉडल की खोज न कर सकें जो डेटा उत्पन्न करता है बल्कि मॉडल चयन की खोज करता है | सबसे अच्छा (या इष्टतम) मॉडल: अर्थात्, जो डेटा से सबसे अच्छा मेल खाता है। यह हमें उद्देश्य फलन को कम करने की ओर ले जाता है, अर्थात् कार्यात्मक (गणित) जो यह निर्धारित करता है कि अवशेष कितने बड़े हैं या अनुमानित डेटा प्रेक्षित डेटा से कितनी दूर हैं। निस्संदेह, जब हमारे पास सही डेटा (अर्थात् कोई रव नहीं) होता है, तो बरामद मॉडल को देखे गए डेटा को पूरी तरह से फिट करना चाहिए। मानक उद्देश्य फलन, $\varphi$, रूप है:

$\varphi (p)=\|Fp-d_{\text{obs}}\|^{2}$

जहाँ $\|\cdot \|$ यूक्लिडियन मानदंड है (यह $L^{2}$ एलपी स्पेस होगा आदर्श जब माप अवशेषों के नमूने के अतिरिक्त कार्य होते हैं)। यह दृष्टिकोण कम से कम वर्गों का उपयोग करने के बराबर है, दृष्टिकोण जो आंकड़ों में व्यापक रूप से उपयोग किया जाता है। चूंकि, यूक्लिडियन मानदंड आउटलेयर के प्रति बहुत संवेदनशील माना जाता है: इस कठिनाई से बचने के लिए हम अन्य दूरियों का उपयोग करने के बारे में सोच सकते हैं, उदाहरण के लिए $L^{1}$ मानदंड के प्रतिस्थापन में $L^{2}$ मानदंड।

बायेसियन दृष्टिकोण

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

हमारे प्रारंभिक उदाहरण का संख्यात्मक समाधान

यहाँ हम यूक्लिडियन मानदंड का उपयोग डेटा मिसफिट को निर्धारित करने के लिए करते हैं। जैसा कि हम रैखिक प्रतिलोम समस्या से निपटते हैं, उद्देश्य फलन द्विघात होता है। इसके न्यूनीकरण के लिए, समान तर्काधार का उपयोग करके इसके ग्रेडिएंट की गणना करना मौलिक है (जैसा कि हम केवल चर के फलन को कम करना चाहते हैं)। इष्टतम मॉडल पर $p_{\text{opt}}$, यह ग्रेडिएंट लुप्त हो जाता है, जिसे इस प्रकार लिखा जा सकता है:

$$\nabla _{p}\varphi =2(F^{\mathrm {T} }Fp_{\text{opt}}-F^{\mathrm {T} }d_{\text{obs}})=0$$

जहां F^T F के आव्यूह स्थानान्तरण को दर्शाता है। यह समीकरण इसे सरल करता है:

$$F^{\mathrm {T} }Fp_{\text{opt}}=F^{\mathrm {T} }d_{\text{obs}}$$

इस व्यंजक को सामान्य समीकरण के रूप में जाना जाता है और यह हमें प्रतिलोम समस्या का संभावित समाधान देता है।

हमारे उदाहरण आव्यूह में $F^{\mathrm {T} }F$ सामान्यतः पूर्ण रैंक निकलता है, जिससे उपरोक्त समीकरण समझ में आता है और विशिष्ट रूप से मॉडल पैरामीटर निर्धारित करता है: हमें अद्वितीय समाधान के साथ समाप्त करने के लिए अतिरिक्त जानकारी को एकीकृत करने की आवश्यकता नहीं है।

गणितीय और कम्प्यूटेशनल पहलू

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

अनुकूलन समस्या का संख्यात्मक समाधान

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

सामान्य तौर पर, प्रतिलोम समस्या के समाधान के लिए परिष्कृत अनुकूलन एल्गोरिदम की आवश्यकता होती है। जब मॉडल को बड़ी संख्या में पैरामीटर द्वारा वर्णित किया जाता है (कुछ विवर्तन टोमोग्राफी अनुप्रयोगों में सम्मिलित अज्ञात की संख्या एक अरब तक पहुंच सकती है), सामान्य समीकरणों से जुड़े रैखिक प्रणाली को हल करना बोझिल हो सकता है। अनुकूलन समस्या को हल करने के लिए उपयोग की जाने वाली संख्यात्मक विधि विशेष रूप से $Fp$ आगे की समस्या के समाधान की गणना के लिए आवश्यक व्यय पर निर्भर करती है। एक बार आगे की समस्या को हल करने के लिए उपयुक्त एल्गोरिदम चुना गया (सीधा आव्यूह-सदिश गुणन पर्याप्त नहीं हो सकता है जब आव्यूह $F$ बहुत बड़ा है), न्यूनीकरण करने के लिए उपयुक्त एल्गोरिदम रैखिक प्रणालियों के समाधान के लिए संख्यात्मक विधियों से निपटने वाली पाठ्यपुस्तकों में और द्विघात कार्यों के न्यूनीकरण के लिए पाया जा सकता है (उदाहरण के लिए सियारलेट देखें या नोसेडल)।

साथ ही, उपयोगकर्ता मॉडलों में भौतिक बाधाओं को जोड़ना चाह सकते हैं: इस स्थिति में, उन्हें प्रतिबंधित अनुकूलन से परिचित होना होगा, जो कि स्वयं में एक विषय है। सभी स्थितियों में, अनुकूलन समस्या के समाधान के लिए उद्देश्य फलन के ढाल की गणना करना अधिकांशतः महत्वपूर्ण तत्व होता है। जैसा कि ऊपर उल्लेख किया गया है, पैरामीट्रिजेशन के माध्यम से वितरित पैरामीटर के स्थानिक वितरण के बारे में जानकारी प्रस्तुत की जा सकती है। अनुकूलन के समय कोई भी इस पैरामीट्रिजेशन को अपनाने के बारे में सोच सकता है। क्या उद्देश्य फलन यूक्लिडियन मानदंड के अतिरिक्त किसी अन्य मानदंड पर आधारित होना चाहिए, हमें द्विघात अनुकूलन के क्षेत्र को छोड़ना होगा। परिणामस्वरूप, अनुकूलन समस्या अधिक कठिन हो जाती है। विशेष रूप से, जब $L^{1}$ मानदंड का उपयोग डेटा मिसफिट को मापने के लिए किया जाता है, उद्देश्य फलन अब अलग नहीं होता है: इसका ढाल अब और समझ में नहीं आता है। समर्पित विधियाँ (उदाहरण के लिए लेमारेचल देखें) नॉन डिफरेंशियल ऑप्टिमाइज़ेशन से आते हैं।

एक बार इष्टतम मॉडल की गणना हो जाने के बाद हमें इस प्रश्न का समाधान करना होगा: क्या हम इस मॉडल पर विश्वास कर सकते हैं? प्रश्न को निम्नानुसार तैयार किया जा सकता है: मॉडल का सेट कितना बड़ा है जो डेटा के साथ-साथ इस मॉडल से भी मेल खाता है? द्विघात उद्देश्य कार्यों की स्थिति में, यह सेट हाइपर-एलिप्सिड, सबसेट $R^{M}$ में समाहित है ($M$ अज्ञात की संख्या है), जिसका आकार इस बात पर निर्भर करता है कि हम लगभग साथ ही क्या अर्थ रखते हैं, जो कि रव के स्तर पर है। इस दीर्घवृत्ताभ के सबसे बड़े अक्ष की दिशा $F^{T}F$) खराब निर्धारित घटकों की दिशा है: यदि हम इस दिशा का पालन करते हैं, तो हम उद्देश्य फलन के मूल्य में महत्वपूर्ण परिवर्तन किए बिना मॉडल में मजबूत गड़बड़ी ला सकते हैं और इस तरह अलग अर्ध-इष्टतम मॉडल के साथ समाप्त हो सकते हैं। हम स्पष्ट रूप से देखते हैं कि प्रश्न का उत्तर क्या हम विश्वास कर सकते हैं कि यह मॉडल रव के स्तर और ऑब्जेक्टिव फलन के हेसियन आव्यूह के ईगेनवेल्यूज़ द्वारा या समकक्ष रूप से नियंत्रित किया जाता है, उस स्थिति में जहां कोई नियमितीकरण के एकवचन मानों द्वारा $F$ आव्यूह एकीकृत नहीं किया गया है। निस्संदेह, नियमितीकरण (या अन्य प्रकार की पूर्व सूचना) का उपयोग लगभग इष्टतम समाधानों के सेट के आकार को कम करता है और बदले में, हम गणना किए गए समाधान में विश्वास बढ़ा सकते हैं।

अनंत आयाम में स्थिरता, नियमितीकरण और मॉडल विवेकीकरण

हम यहां वितरित पैरामीटर की पुनर्प्राप्ति पर ध्यान केंद्रित करते हैं। वितरित मापदंडों की खोज करते समय हमें इन अज्ञात कार्यों को अलग करना होगा। ऐसा करने से, हम समस्या के आयाम को कुछ सीमित कर देते हैं। लेकिन अब, प्रश्न यह है: क्या हमारे द्वारा गणना किए गए समाधान और प्रारंभिक समस्या में से एक के बीच कोई संबंध है? फिर एक और प्रश्न: प्रारंभिक समस्या के समाधान से हमारा क्या तात्पर्य है? चूंकि डेटा की सीमित संख्या अज्ञात की अनंतता के निर्धारण की अनुमति नहीं देती है, समाधान की विशिष्टता सुनिश्चित करने के लिए मूल डेटा मिसफिट कार्यात्मक को नियमित किया जाना चाहिए। कई बार, अज्ञात को परिमित-आयामी स्थान में कम करने से पर्याप्त नियमितीकरण मिलेगा: गणना किया गया समाधान उस समाधान के असतत संस्करण की तरह दिखेगा जिसकी हम खोज कर रहे थे। उदाहरण के लिए, भोली विवेकशीलता अधिकांशतः विसंक्रमण समस्या को हल करने के लिए काम करेगी: यह तब तक काम करेगी जब तक हम लापता आवृत्तियों को संख्यात्मक समाधान में दिखाने की अनुमति नहीं देते हैं। लेकिन कई बार, नियमितीकरण को वस्तुनिष्ठ कार्य में स्पष्ट रूप से एकीकृत करना पड़ता है।

यह समझने के लिए कि क्या हो सकता है, हमें यह ध्यान में रखना होगा कि इस तरह की रैखिक प्रतिलोम समस्या को हल करना पहली तरह के फ्रेडहोम इंटीग्रल समीकरण को हल करने के बराबर है:

$$d(x)=\int _{\Omega }K(x,y)p(y)dy$$

जहाँ $K$ कर्नेल है, $x$ और $y$ $R^{2}$ के सदिश हैं, और $\Omega$ में डोमेन $R^{2}$ है। यह 2D अनुप्रयोग के लिए है। 3D अनुप्रयोग के लिए, हम $x,y\in R^{3}$ मानते हैं। ध्यान दें कि यहां मॉडल पैरामीटर $p$ फलन से मिलकर बनता है और मॉडल की प्रतिक्रिया में फलन भी होता है जिसे $d(x)$ से निरूपित किया जाता है। यह समीकरण आव्यूह समीकरण के अनंत आयाम $d=Fp$ का विस्तार है, यह असतत समस्याओं की स्थिति में दिया गया।

पर्याप्त चिकनाई के लिए $K$ ऊपर परिभाषित ऑपरेटर उचित बनच रिक्त स्थान जैसे Lp स्पेस पर कॉम्पैक्ट ऑपरेटर है$L^{2}$. कॉम्पैक्ट ऑपरेटर | एफ। रिज़्ज़ सिद्धांत कहता है कि इस तरह के ऑपरेटर के एकवचन मूल्यों के सेट में शून्य होता है (इसलिए शून्य-स्थान का अस्तित्व), परिमित या सबसे अधिक गणना योग्य होता है, और, बाद की स्थिति में, वे अनुक्रम बनाते हैं जो शून्य तक जाता है। सममित कर्नेल के स्थिति में, हमारे पास आइजनवैल्यूज़ ​​​​की अनंतता है और संबद्ध आइजन वैक्टर हिल्बर्टियन आधार का गठन करते हैं $L^{2}$. इस प्रकार इस समीकरण का कोई भी समाधान शून्य-स्थान में योगात्मक कार्य के लिए निर्धारित होता है और, एकवचन मूल्यों की अनंतता की स्थिति में, समाधान (जिसमें इच्छानुसार छोटे आइजनवैल्यूज़ ​​​​का प्रतिलोम सम्मिलित होता है) अस्थिर होता है: दो अवयव जो समाधान बनाते हैं इस अभिन्न समीकरण की विशिष्ट बीमार समस्या! चूंकि, हम सामान्यीकृत प्रतिलोम के माध्यम से समाधान को परिभाषित कर सकते हैं। आगे के मानचित्र के छद्म-प्रतिलोम (फिर से इच्छानुसार ढंग से योगात्मक कार्य तक)। जब आगे का मानचित्र कॉम्पैक्ट होता है, तो मौलिक तिखोनोव नियमितीकरण काम करेगा यदि हम इसका उपयोग पूर्व सूचना को एकीकृत करने के लिए करते हैं, जिसमें कहा गया है कि $L^{2}$ समाधान का मानदंड जितना संभव हो उतना छोटा होना चाहिए: यह प्रतिलोम समस्या को अच्छी तरह से प्रस्तुत करेगा। फिर भी, जैसा कि परिमित आयाम की स्थिति में है, हमें उस विश्वास पर प्रश्न उठाना होगा जिसे हम संगणित समाधान में डाल सकते हैं। फिर से, मूल रूप से, जानकारी हेस्सियन ऑपरेटर के आइजनवैल्यूज़ ​​​​में निहित है। यदि समाधान की गणना के लिए छोटे आइजनवैल्यू से जुड़े आइजनसदिश वाले उप-स्थानों का पता लगाया जाना चाहिए, तो समाधान पर संभवतया ही विश्वास किया जा सकता है: इसके कुछ घटकों को खराब विधियों से निर्धारित किया जाएगा। सबसे छोटा आइजनवेल्यू तिखोनोव नियमितीकरण में प्रस्तुत किए गए वजन के बराबर है।

अनियमित गुठली आगे का मानचित्र उत्पन्न कर सकती है जो कॉम्पैक्ट नहीं है और यहां तक ​​कि असीमित ऑपरेटर भी है अगर हम $L^{2}$ मानदंड मॉडल के स्थान को भोलेपन से लैस करते हैं। ऐसी स्थितियों में, हेस्सियन परिबद्ध संकारक नहीं है और आइजनवैल्यू की धारणा का अब कोई अर्थ नहीं रह गया है। इसे परिबद्ध संचालक बनाने और अच्छी तरह से प्रस्तुत समस्या को डिजाइन करने के लिए गणितीय विश्लेषण की आवश्यकता होती है: इसमें एक उदाहरण पाया जा सकता है। फिर से, हमें उस विश्वास पर प्रश्न उठाना होगा जो हम गणना किए गए समाधान में डाल सकते हैं और हमें उत्तर पाने के लिए आइजनवेल्यू की धारणा को सामान्य बनाना होगा।

हेसियन ऑपरेटर के स्पेक्ट्रम का विश्लेषण इस प्रकार यह निर्धारित करने के लिए महत्वपूर्ण तत्व है कि गणना समाधान कितना विश्वसनीय है। चूंकि, ऐसा विश्लेषण सामान्यतः बहुत भारी काम होता है। इसने कई लेखकों को उस स्थिति में वैकल्पिक दृष्टिकोणों की जांच करने के लिए प्रेरित किया है जहां हम अज्ञात फलन के सभी घटकों में रुचि नहीं रखते हैं, लेकिन केवल उप-अज्ञात में जो रैखिक ऑपरेटर द्वारा अज्ञात फलन की छवियां हैं। इन दृष्टिकोणों को बैकस और गिल्बर्ट विधि कहा जाता है, जैक्स-लुई लायंस प्रहरी दृष्टिकोण, और सोला विधि: जैसा कि चावेंट में समझाया गया है, ये दृष्टिकोण एक दूसरे के साथ दृढ़ता से जुड़े हुए हैं अंत में, ऑप्टिकल संकल्प की अवधारणा, जिसे अधिकांशतः भौतिकविदों द्वारा प्रयुक्त किया जाता है, इस तथ्य का विशिष्ट दृष्टिकोण है कि कुछ खराब निर्धारित घटक समाधान को दूषित कर सकते हैं। लेकिन, सामान्यतः बोलते हुए, मॉडल के इन खराब निर्धारित घटकों को उच्च आवृत्तियों से जरूरी नहीं जोड़ा जाता है।

वितरित मापदंडों की वसूली के लिए कुछ मौलिक रैखिक प्रतिलोम समस्याएं

नीचे बताई गई समस्याएं फ्रेडहोम इंटीग्रल के विभिन्न संस्करणों के अनुरूप हैं: इनमें से प्रत्येक विशिष्ट कर्नेल $K$ से जुड़ा हैहै

विखंडन

डीकनवोल्यूशन का लक्ष्य मूल छवि या सिग्नल $p(x)$ का पुनर्निर्माण करना है, जो डेटा $d(x)$ पर नॉइज़ और ब्लर के रूप में दिखाई देता है। गणितीय दृष्टिकोण से, कर्नल $K(x,y)$ यहाँ केवल $x$ और $y$ के बीच के अंतर पर निर्भर करता है।

टोमोग्राफिक विधियाँ

इन विधियों में हम वितरित पैरामीटर को पुनर्प्राप्त करने का प्रयास करते हैं, इस पैरामीटर के इंटीग्रल के माप में सम्मिलित अवलोकन लाइनों के परिवार के साथ किया जाता है। हम इसे माप बिंदु से जुड़ी इस परिवार की रेखा $x$ पर $\Gamma _{x}$ द्वारा निरूपित करते हैं। $x$ पर अवलोकन इस प्रकार लिखा जा सकता है:

$$d(x)=\int _{\Gamma _{x}}w(x,y)p(y)\,dy$$

जहाँ $s$ ${\Gamma _{x}}$ के साथ में चाप-लंबाई है और $w(x,y)$ ज्ञात भार फलन है। उपरोक्त फ्रेडहोम इंटीग्रल के साथ इस समीकरण की तुलना करते हुए, हम देखते हैं कि कर्नेल $K(x,y)$ एक प्रकार का डिराक डेल्टा फलन है, जो ${\Gamma _{x}}$ लाइन पर चरम पर होता है। ऐसे कर्नेल के साथ, आगे का मानचित्र कॉम्पैक्ट नहीं होता है।

कंप्यूटेड टोमोग्राफी

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

विवर्तन टोमोग्राफी

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

डॉपलर टोमोग्राफी (खगोल भौतिकी)

यदि हम घूमने वाली तारकीय वस्तु पर विचार करते हैं, तो वर्णक्रमीय रेखाएँ जिन्हें हम वर्णक्रमीय प्रोफ़ाइल पर देख सकते हैं, डॉपलर प्रभाव के कारण स्थानांतरित हो जाएंगी। डॉपलर टोमोग्राफी का उद्देश्य तारकीय वातावरण के उत्सर्जन (रेडियल वेग और आवधिक रोटेशन आंदोलन में चरण के फलन के रूप में) की 2 डी छवि में वस्तु की वर्णक्रमीय निगरानी में निहित जानकारी को परिवर्तित करना है। जैसा कि टॉम मार्श (खगोलविद) द्वारा समझाया गया है यह रेखीय प्रतिलोम समस्या टोमोग्राफी है जैसे: हमें वितरित पैरामीटर को पुनर्प्राप्त करना होगा जिसे रिकॉर्डिंग में इसके प्रभाव उत्पन्न करने के लिए लाइनों के साथ एकीकृत किया गया है।

प्रतिलोम ऊष्मा चालन

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

गैर-रैखिक प्रतिलोम समस्याएं

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

कुछ मौलिक गैर-रैखिक प्रतिलोम समस्याएं

प्रतिलोम बिखरने की समस्या

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

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

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

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

तेल और गैस जलाशयों में पारगम्यता मिलान

लक्ष्य डिफ्यूजन समीकरण में प्रसार गुणांक को पुनर्प्राप्त करना है जो झरझरा मीडिया में एकल चरण द्रव प्रवाहित करता है। सत्तर के दशक के प्रारंभ में किए गए अग्रणी कार्य के बाद से यह समस्या कई अध्ययनों का विषय रही है। दो-चरण प्रवाह के संबंध में महत्वपूर्ण समस्या सापेक्ष पारगम्यता और केशिका दबावों का अनुमान लगाना है।

तरंग समीकरण में प्रतिलोम समस्याएं

लक्ष्य तरंग-गति (पी और एस तरंगों) और घनत्व वितरण को सीस्मोग्राम से पुनर्प्राप्त करना है। इस तरह की प्रतिलोम समस्याएं भूकंप विज्ञान और अन्वेषण भूभौतिकी में प्रमुख रुचि हैं। हम मूल रूप से दो गणितीय मॉडल पर विचार कर सकते हैं:

• वेव समीकरण (जिसमें अंतरिक्ष आयाम 2 या 3 होने पर एस तरंगों को अनदेखा कर दिया जाता है)
• रैखिक लोच जिसमें P और S तरंग वेग लेमे पैरामीटर और घनत्व से प्राप्त किए जा सकते हैं।

इन मूलभूत अतिशयोक्तिपूर्ण आंशिक अंतर समीकरण को क्षीणन, असमदिग्वर्ती होने की दशा, को सम्मिलित करके उन्नत किया जा सकता है ...

1D तरंग समीकरण में प्रतिलोम समस्या का समाधान कई अध्ययनों का विषय रहा है। यह बहुत कम अरैखिक प्रतिलोम समस्याओं में से एक है जिसके लिए हम समाधान की अद्वितीयता को सिद्ध कर सकते हैं। समाधान की स्थिरता का विश्लेषण अन्य चुनौती थी। कम से कम वर्ग दृष्टिकोण का उपयोग करते हुए व्यावहारिक अनुप्रयोग विकसित किए गए थे।

80 के दशक से 2डी या 3डी समस्याओं और इलास्टोडायनामिक्स समीकरणों के विस्तार का प्रयास किया गया था लेकिन यह बहुत मुश्किल सिद्ध हुआ! इस समस्या को अधिकांशतः फुल वेवफॉर्म इनवर्जन (एफडब्ल्यूआई) के रूप में संदर्भित किया जाता है, अभी तक पूरी तरह से हल नहीं हुई है: मुख्य कठिनाइयों में सीस्मोग्राम में गैर-गाऊसी रव का अस्तित्व, साइकिल-स्किपिंग उद्देश्य (चरण अस्पष्टता के रूप में भी जाना जाता है), और अराजक हैं। डेटा मिसफिट फलन का व्यवहार। कुछ लेखकों ने प्रतिलोम समस्या को संशोधनने की संभावना की जांच की है, जिससे डेटा मिसफिट फलन की तुलना में उद्देश्य फलन को कम अराजक बनाया जा सके।

यात्रा-समय टोमोग्राफी

तरंग समीकरण में प्रतिलोम समस्या कितनी कठिन है, यह समझते हुए, भूकम्प विज्ञानियों ने ज्यामितीय प्रकाशिकी का उपयोग करते हुए एक सरल दृष्टिकोण की जांच की थी। विशेष रूप से वे प्रसार वेग वितरण के लिए प्रतिलोम करने के उद्देश्य से थे, जो सिस्मोग्राम पर तरंग-मोर्चों के आगमन के समय को जानते थे। ये तरंग-मोर्चों को प्रत्यक्ष आगमन या परावर्तकों से जुड़े प्रतिबिंबों से जोड़ा जा सकता है जिनकी ज्यामिति निर्धारित की जानी है, संयुक्त रूप से वेग वितरण के साथ।

आगमन समय वितरण ${\tau }(x)$ ($x$ भौतिक स्थान में एक बिंदु है) एक बिंदु स्रोत से जारी तरंग-मोर्चे का, इकोनल समीकरण को संतुष्ट करता है:

$$\|\nabla \tau (x)\|=s(x),$$

जहाँ $s(x)$ धीमेपन (भूकम्प विज्ञान) (वेग का प्रतिलोम) वितरण को दर्शाता है। $\|\cdot \|$ की उपस्थिति इस समीकरण को अरैखिक बनाता है। यह बिंदु स्रोत से रे ट्रेसिंग (भौतिकी) (प्रक्षेपवक्र जिसके बारे में आगमन का समय स्थिर है) की शूटिंग करके मौलिक रूप से हल किया जाता है।

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

गणितीय पहलू: हैडमार्ड के प्रश्न

प्रश्नों का संबंध अच्छी स्थिति से है: क्या कम से कम वर्गों की समस्या का अनूठा समाधान है, जो निरंतर डेटा (स्थिरता की समस्या) पर निर्भर करता है? यह पहला प्रश्न है, लेकिन इसकी गैर-रैखिकता $F$ के कारण यह कठिन भी है।

यह देखने के लिए कि कठिनाइयाँ कहाँ से उत्पन्न होती हैं, चावेंट अवधारणात्मक रूप से डेटा मिसफिट फलन के न्यूनीकरण को निरंतर दो चरणों में विभाजित करने का प्रस्ताव है ($P_{\text{adm}}$ स्वीकार्य मॉडल का सबसेट है):

• प्रोजेक्शन स्टेप: दिया गया $d_{\text{obs}}$ पर प्रक्षेपण $F(P_{\text{adm}})$ खोजें (निकटतम बिंदु पर $F(P_{\text{adm}})$ उद्देश्य फलन की परिभाषा में सम्मिलित दूरी के अनुसार)
• इस प्रक्षेपण को देखते हुए पूर्व-छवि खोजें जो मॉडल है, जिसकी छवि ऑपरेटर $F$ द्वारा है क्या यह प्रक्षेपण है।

कठिनाइयाँ - और सामान्यतः - दोनों चरणों में उत्पन्न हो सकती हैं:

1. ऑपरेटर $F$ एक-से-एक होने की संभावना नहीं है, इसलिए एक से अधिक पूर्व-छवि हो सकती हैं,
2. यहां तक ​​कि जब $F$ एक-से-एक है, इसका प्रतिलोम $F(P)$ निरंतर नहीं हो सकता है,
3. प्रक्षेपण $F(P_{\text{adm}})$ प्रारंभ हो सकता है उपस्थित न हो, क्या यह सेट बंद नहीं होना चाहिए,
4. प्रक्षेपण $F(P_{\text{adm}})$ प्रारंभ गैर-अद्वितीय हो सकता है और निरंतर नहीं हो सकता है क्योंकि यह गैर-रैखिकता $F$ के कारण गैर-उत्तल हो सकता है।

इन बिंदुओं के गणितीय विश्लेषण के लिए, हम चावेंट का उल्लेख करते हैं।

कम्प्यूटेशनल पहलुओं

गैर-उत्तल डेटा मिसफिट फलन

आगे का मानचित्र अरैखिक होने के कारण, डेटा मिसफिट फलन के गैर-उत्तल होने की संभावना है, जिससे स्थानीय न्यूनीकरण तकनीक अक्षम हो जाती है। इस कठिनाई को दूर करने के लिए कई दृष्टिकोणों की जांच की गई है:

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

उद्देश्य फलन के ग्रेडिएंट की गणना

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

अनुप्रयोग

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

अर्धचालक उपकरण निर्माण के लिए फोटो मास्क डिजाइन में प्रतिलोम लिथोग्राफी का उपयोग किया जाता है।

यह भी देखें

• वायुमंडलीय ध्वनि
• बैकस-गिल्बर्ट विधि
• परिकलित टोमोग्राफी
  • बीजगणितीय पुनर्निर्माण तकनीक
  • फ़िल्टर्ड बैकप्रोजेक्शन
  • पुनरावृत्त पुनर्निर्माण
• डेटा आत्मसात
• इंजीनियरिंग अनुकूलन
• ग्रे बॉक्स मॉडल
• गणितीय भूभौतिकी
• इष्टतम अनुमान
• भूकंपीय प्रतिलोम
• तिखोनोव नियमितीकरण
• संकुचित संवेदन

शैक्षणिक पत्रिकाएं

चार मुख्य अकादमिक पत्रिकाएँ सामान्य रूप से प्रतिलोम समस्याओं को कवर करती हैं:

• प्रतिलोम समस्याएं
• जर्नल ऑफ़ इनवर्स एंड इल-पोज़्ड प्रॉब्लम्स
• विज्ञान और इंजीनियरिंग में प्रतिलोम समस्याएं
• प्रतिलोम समस्याएं और इमेजिंग

मेडिकल इमेजिंग, भूभौतिकी, गैर-विनाशकारी परीक्षण आदि पर कई पत्रिकाओं में उन क्षेत्रों में प्रतिलोम समस्याओं का बोलबाला है।

संदर्भ

• Chadan, Khosrow & Sabatier, Pierre Célestin (1977). Inverse Problems in Quantum Scattering Theory. Springer-Verlag. ISBN 0-387-08092-9
• Aster, Richard; Borchers, Brian, and Thurber, Clifford (2018). Parameter Estimation and Inverse Problems, Third Edition, Elsevier. ISBN 9780128134238, ISBN 9780128134238
• Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007). "Section 19.4. Inverse Problems and the Use of A Priori Information". Numerical Recipes: The Art of Scientific Computing (3rd ed.). New York: Cambridge University Press. ISBN 978-0-521-88068-8.

अग्रिम पठन

• Bunge, Mario. 2006. “From Z to A: Inverse Problems," in Mario Bunge, Chasing Reality: Strife over Realism (Toronto: University of Toronto Press).
• Bunge, Mario. 2019. “Inverse Problems.” Foundations of Science 24(3): 483-525.
• C. W. Groetsch (1999). Inverse Problems: Activities for Undergraduates. Cambridge University Press. ISBN 978-0-88385-716-8.

बाहरी संबंध

• Inverse Problems International Association
• Eurasian Association on Inverse Problems
• Finnish Inverse Problems Society
• Inverse Problems Network
• Albert Tarantola's website, includes a free PDF version of his Inverse Problem Theory book, and some online articles on Inverse Problems
• Inverse Problems page at the University of Alabama Archived 2014-04-05 at the Wayback Machine
• Inverse Problems and Geostatistics Project, Niels Bohr Institute, University of Copenhagen
• Andy Ganse's Geophysical Inverse Theory Resources Page
• Finnish Centre of Excellence in Inverse Problems Research