Calderón's inverse problem via Vekua theory

तकनीकी सारांश: वेकुआ सिद्धांत के माध्यम से कैलडेरॉन की व्युत्क्रम समस्या (Calderón's Inverse Problem via Vekua Theory)

समस्या विवरण
यह कार्य एक सीमित डोमेन $\Omega \subset \mathbb{R}^n$ ($n \geq 3$) में, जिसकी सीमा लिप्सचिट्ज़ (Lipschitz) है, कैलडेरॉन की व्युत्क्रम चालकता (inverse conductivity) समस्या को संबोधित करता है। इसका उद्देश्य डिरिचलेट-टू-नेमन (DtN) मानचित्र $\Lambda_\sigma$ से एक गैर-शून्य चालकता फलन $\sigma \in W^{1,\infty}(\Omega)$ को पुन: प्राप्त करना है। DtN मानचित्र चालकता समीकरण $\text{div}(\sigma \nabla u_0) = 0$ के समाधान $u_0$ के सीमा मानों द्वारा परिभाषित किया जाता है, जो विशेष रूप से डिरिचलेट डेटा $\phi_0$ को नेमन डेटा $\sigma \nabla u_0 \cdot \eta$ में मैप करता है। केंद्रीय प्रश्न यह है कि क्या मानचित्र $\sigma \mapsto \Lambda_\sigma$ एकैकी (injective) है, अर्थात क्या $\Lambda_f = \Lambda_g$ होने पर $\Omega$ में $f = g$ होता है।

कार्यप्रणाली
यह शोध वेकुआ समीकरण के समाधानों के विश्लेषण के लिए क्लिफर्ड विश्लेषण (Clifford analysis) के ढांचे का उपयोग करता है। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

1. क्लिफर्ड विश्लेषण और वेकुआ समीकरण: लेखक वास्तविक क्लिफर्ड बीजगणित $Cl_{0,n}$ और मोइसिल-टीओडोरेसक (Moisil-Teodorescu) ऑपरेटर $D$ का उपयोग करते हैं। वे सामान्यीकृत वेकुआ समीकरण $Dw = \alpha w$ (और इसके संयुग्मी संस्करणों) का अध्ययन करते हैं, जहाँ $\alpha$ चालकता से संबंधित है। विशेष रूप से, "मुख्य" वेकुआ समीकरण के लिए, $\alpha = \nabla f / f$ है, जहाँ $f$ चालकता है।
2. हॉज अपघटन (Hodge Decomposition): पिछले कार्य [16] पर आधारित होते हुए, यह शोध सामान्यीकृत वेकुआ स्थानों के लिए एक डोज अपघटन का उपयोग करता है। यह $L^2(\Omega, Cl_{0,n})$ के हिल्बर्ट स्पेस को वेकुआ समीकरण के समाधानों के स्थान और एक विशिष्ट ऑपरेटर (जिसमें टीओडोरेसक ट्रांसफॉर्म शामिल है) के प्रतिबिंब के बीच एक लंबवत अपघटन स्थापित करता है।
3. इंटीग्रल प्रतिनिधित्व सूत्र (Integral Representation Formulas): एक मुख्य तकनीकी योगदान सामान्यीकृत बोरेल-पोम्पिएयू (Borel-Pompeiu) और आंशिक कॉची (partial Cauchy) इंटीग्रल सूत्रों का व्युत्पन्न है। ये सूत्र वेकुआ समाधान के अदिश भाग (scalar part) को संबद्ध ऑपरेटरों ($D - M_{\alpha}C$ और $D - \alpha C$) के मौलिक समाधानों से जुड़े सीमा समाकलनों (boundary integrals) से जोड़ते हैं।
4. श्रोडिंगर और चालकता समीकरणों से संबंध: यह शोध मुख्य वेकुआ ऑपरेटर को श्रोडिंगर ऑपरेटर $-\Delta + q$ से जोड़ने वाले एक गुणनखंड (factorization) को स्थापित करता है, जहाँ विभव (potential) $q = \Delta f / f$ है। यह सुनिश्चित करता है कि वेकुआ समाधान का अदिश भाग चालकता समीकरण का पालन करता है।
5. कॉम्प्लेक्स ज्योमेट्रिकल ऑप्टिक्स (CGO) समाधान: विशिष्टता प्रमाण (uniqueness proof) के लिए, लेखक $W^{1,\infty}$ चालकताओं के लिए CGO समाधानों (मूल रूप से प्विवारिंटा, पैनचेंको और उलमैन [26] द्वारा निर्मित) के निर्माण को अनुकूलित करते हैं। ये समाधान $u = e^{x \cdot \zeta}(f^{-1} + \psi)$ के रूप में होते हैं, जहाँ $\psi$ एक भारित सोबोलेव स्थान (weighted Sobolev space) में क्षय (decay) होता है।

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

• वेकुआ समाधानों के लिए इंटीग्रल सूत्र: शोध वेकुआ समाधानों के अदिश भाग को उनके सीमा मानों से पुन: प्राप्त करने वाले इंटीग्रल प्रतिनिधित्व सूत्र (प्रमेय 2, कोरोलरी 3) व्युत्पन्न करता है। ये सूत्र शास्त्रीय कॉची सूत्रों को क्लिफर्ड सेटिंग में सामान्यीकृत करते हैं और स्पष्ट रूप से चालकता और श्रोडिंगर दोनों समीकरणों से जुड़े DtN मानचित्रों को शामिल करते हैं।
• सामान्यीकृत ग्रीन-वेकुआ पहचान (Generalized Green-Vekua Identity): प्रपोजिशन 12 विभवों के अंतर ($\Delta g/g - \Delta f/f$) को संबद्ध श्रोडिंगर समीकरणों के समाधानों के अंतर से संबंधित एक सामान्यीकृत पहचान प्रस्तुत करता है। यह पहचान सीमा मापों और चालकताओं के आंतरिक गुणों के बीच एक सेतु के रूप में कार्य करती है।
• $W^{2,\infty}$ और $W^{1,\infty}$ चालकताओं के लिए विशिष्टता:
  • $W^{2,\infty}(\Omega)$ में चालकताओं के लिए, शोध यह दिखाकर विशिष्टता का एक वैकल्पिक प्रमाण प्रदान करता है कि यदि $\Lambda_f = \Lambda_g$, तो विभव $\Delta f/f$ और $\Delta g/g$ समान हैं, जो सीमा नियमितता (लेम्मा 11) को देखते हुए $f=g$ को दर्शाता है।
  • अधिक सामान्य मामले (लिप्सचिट्ज़ चालकता $W^{1,\infty}(\Omega)$) के लिए, लेखक सिद्ध करते हैं कि DtN मानचित्र डोमेन के भीतर चालकता समीकरण के समाधानों को अद्वितीय रूप से निर्धारित करता है (प्रपोजिशन 14)।
• मुख्य प्रमेय (Theorem 1): यह शोध सिद्ध करता है कि $n \geq 3$ के लिए, यदि $f, g \in W^{1,\infty}(\Omega)$ चालकताएँ शून्य से दूर (bounded away from zero) हैं और $\Lambda_f = \Lambda_g$ है, तो $\Omega$ में $f = g$ है। प्रमाण इंटीग्रल सूत्रों से प्राप्त समाधानों की समानता और $|\zeta| \to \infty$ के रूप में CGO समाधानों के स्पर्शोन्मुखी व्यवहार (asymptotic behavior) पर निर्भर करता है।

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

लेखक का कहना है कि उनकी विधियाँ निम्नलिखित प्रदान करती हैं:

1. $W^{2,\infty}$ और $W^{1,\infty}$ चालकताओं के लिए सुस्थापित विशिष्टता परिणामों का एक वैकल्पिक प्रमाण।
2. एक ढांचा जो संबंधित व्युत्क्रम समस्याओं, जैसे कि एनिसोट्रोपिक मैक्सवेल समीकरण (anisotropic Maxwell equation) के लिए अनुकूलित किया जा सकता है।
3. एक प्रदर्शन कि $H^1(\Omega)$ में समाधानों का अद्वितीय विस्तार सीमा मापों द्वारा निर्धारित होता है, जो बाहरी डोमेन में जटिल ज्यामितीय समाधानों के संबंध में मौजूदा पहचान परिणामों का पूरक है।

यह कार्य व्युत्क्रम समस्याओं और क्लिफर्ड विश्लेषण के गणितीय ढांचे के विकास पर ध्यान केंद्रित रखते हुए, नए प्रयोगात्मक अनुप्रयोगों या भविष्य के विस्तार का प्रस्ताव नहीं करता है।