On the Calderón problem with piecewise polynomial anisotropic conductivities and many-flat-face interfaces

तकनीकी सारांश: खंडित बहुपदीय अनिसोट्रोपिक चालकता के लिए कैलडेरॉन समस्या की विशिष्टता

समस्या विवरण
यह शोध पत्र आयाम $n \ge 3$ में व्युत्क्रम चालकता समस्या (कैलडेरॉन समस्या) को संबोधित करता है। इसका उद्देश्य एक परिबद्ध डोमेन $\Omega \subset \mathbb{R}^n$ के भीतर एक सममित, समान रूप से दीर्घवृत्तीय (uniformly elliptic) मैट्रिक्स क्षेत्र $\sigma(x)$ को निर्धारित करना है, जो अनिसोट्रोपिक चालकता का प्रतिनिधित्व करता है। यह निर्धारण एक स्थानीय डिरिचलेट-टू-नेमन (DN) मानचित्र, $\Lambda_{\Omega, \Sigma}$ पर आधारित है, जो $\Sigma \subset \partial \Omega$ के एक सापेक्ष खुले उपसमुच्चय पर परिभाषित है।

सामान्य अनिसोट्रोपिक मामले में, विशिष्टता केवल सीमा-स्थिर विरूपणों (boundary-fixing diffeomorphisms) के मॉड्यूल (modulo) ही मान्य मानी जाती है, क्योंकि इन रूपांतरणों द्वारा संबंधित विभिन्न चालकताएँ समान सीमा मापन प्रदान करती हैं। इस गेज (gauge) से निपटने के लिए, यह शोध पत्र विशिष्ट संरचनात्मक धारणाएँ लागू करता है:

1. ज्ञात विभाजन (Known Partition): डोमेन को ज्ञात सीमित पृथक लिप्सीत्ज़ (Lipschitz) कोशिकाओं $\{D_\alpha\}$ में विभाजित किया गया है।
2. खंडित बहुपदीय संरचना (Piecewise Polynomial Structure): प्रत्येक सेल $D_\alpha$ पर, चालकता $\sigma$, एक ज्ञात-डिग्री के सममित मैट्रिक्स-मान वाले बहुपद $P_\alpha$ का प्रतिबंध (restriction) है।
3. असंततता (Discontinuity): चालकता को कोशिकाओं के बीच के इंटरफेस (interfaces) पर असंतत होने की अनुमति है।

व्युत्क्रम समस्या का लक्ष्य बहुपद मैट्रिसेस $\{P_\alpha\}$ के गुणांकों को स्थानीय DN मानचित्र $\Sigma$ से अद्वितीय रूप से पुन: प्राप्त करना है।

कार्यप्रणाली (Methodology)
विशिष्टता का प्रमाण एक "लेयर-स्ट्रिपिंग" (layer-stripping) तर्क और एकल सेल के लिए स्थानीय रिकवरी प्रमेय के संयोजन पर आधारित है। कार्यप्रणाली मुख्य रूप से दो चरणों में आगे बढ़ती है:

1. स्थानीय सेल रिकवरी (सपाट-फल निर्धारण - Flat-Face Determination):
   शोध पत्र यह स्थापित करता है कि यदि किसी एकल सेल पर चालकता अधिकतम $N$ डिग्री का बहुपद है, और यदि DN मानचित्र उस सेल के पर्याप्त रूप से कई सपाट फल (flat faces) पर ज्ञात है, तो बहुपद अद्वितीय रूप से निर्धारित होता है।

   • शूर रूप (Schur Forms): सीमा डेटा प्रत्येक सपाट इंटरफेस पर चालकता के "कोनॉर्मल शूर रूप" (conormal Schur form) को निर्धारित करता है। यह शूर रूप एक गेज-इनवेरिएंट मात्रा है जो DN मानचित्र के प्रिंसिपल सिंबल (principal symbol) से व्युत्पन्न होती है।
   • बहुपदीय प्रसार (Polynomial Propagation): चूंकि चालकता बहुपद है, इसलिए इसके सपाट फल पर इसका शूर रूप भी एक बहुपद होता है। एक फल के छोटे खुले पैच पर शूर रूप का ज्ञान, बहुपदों के 'आइडेंटिटी थ्योरम' (identity theorem) के माध्यम से संपूर्ण सहायक हाइपरप्लेन (supporting hyperplane) तक विस्तृत हो जाता है।
   • बिंदुवार रिकवरी (Pointwise Recovery): उन बिंदुओं पर जहाँ तीन सहायक हाइपरप्लेन रैखिक रूप से स्वतंत्र कोनॉर्मल्स के साथ प्रतिच्छेद करते हैं, वे तीन संगत शूर रूप चालकता मैट्रिक्स को उस बिंदु पर अद्वितीय रूप से निर्धारित करते हैं।
   • बीजगणितीय तर्क (Algebraic Argument): पर्याप्त संख्या में जेनेरिक सपाट फलों (विशेष रूप से $N+3$ फल जो उनके प्रतिच्छेदन के संबंध में जेनेरिकिटी की स्थिति को पूरा करते हैं) पर शूर रूपों के सहमत होने की आवश्यकता को लागू करके, शोध पत्र एक विभाज्यता तर्क (divisibility argument) का उपयोग करता है ताकि यह दिखाया जा सके कि दो संभावित बहुपद चालकताओं के बीच का अंतर सर्वथा शून्य होना चाहिए।

2. वैश्विक रिकवरी (लेयर स्ट्रिपिंग और आंतरिक विस्तार - Global Recovery):
   वैश्विक विशिष्टता को कोशिकाओं को क्रमिक रूप से पुन: प्राप्त करके प्राप्त किया जाता है, जो एक "अनुमेय सपाट-फल रिकवरी क्रम" (admissible flat-face recovery order) का पालन करता है।

   • अनुमेयता (Admissibility): यह क्रम यह आवश्यक बनाता है कि प्रत्येक चरण में, अगले सेल को पर्याप्त जेनेरिक सपाट फल (या तो बाहरी या पहले से प्राप्त किए गए सेल्स के आंतरिक इंटरफेस) तक पहुँच प्राप्त हो, और पुन: प्राप्त क्षेत्र प्रारंभिक मापित सीमा के साथ 'फेस-कनेक्टेड' बना रहे।
   • आंतरिक विस्तार (Inner Extension): एक बार जब कोशिकाओं का एक क्षेत्र पुन: प्राप्त हो जाता है, तो वह एक "ज्ञात क्षेत्र" के रूप में कार्य करता है। शोध पत्र रनगे सन्निकटन (Runge approximation) तर्क (जो अनिक्यन (unique continuation) और होल्मग्रेन प्रमेय पर आधारित है) का उपयोग यह दिखाने के लिए करता है कि मूल सीमा $\Sigma$ पर स्थानीय DN मानचित्र, अप्राप्त क्षेत्र के आंतरिक इंटरफेस पर स्थानीय DN मानचित्र को निर्धारित करता है।
   • प्रसार (Propagation): यह अनुक्रम में अगले सेल के लिए स्थानीय रिकवरी प्रमेय को पुनरावर्ती रूप से लागू करने की अनुमति देता है, जिससे विशिष्टता सीमा से भीतर की ओर प्रसारित होती है।

मुख्य परिणाम

• प्रमेय 1.4 (विशिष्टता): ज्ञात सीमित फ्लैट लिप्सीत्ज़ उपविभाजन, खंडित बहुपदीय चालकताओं की धारणाओं और एक अनुमेय सपाट-फल रिकवरी क्रम के अस्तित्व के तहत, स्थानीय DN मानचित्र $\Omega$ में चालकता $\sigma$ को अद्वितीय रूप से निर्धारित करता है। विशेष रूप से, यदि $\Lambda_{\Omega, \Sigma}^{\sigma(1)} = \Lambda_{\Omega, \Sigma}^{\sigma(2)}$, तो $\sigma(1) = \sigma(2)$ पूरे $\Omega$ में।
• उपप्रमेय 1.5 (स्थिरता): पैरामीटर स्पेस की परिमित-आयामी प्रकृति (बहुपदों के गुणांकों के कारण) के कारण, शोध पत्र एक हॉल्डर स्थिरता अनुमान (Hölder stability estimate) प्राप्त करता है। स्वीकार्य पैरामीटर्स के कॉम्पैक्ट सेटों पर, बहुपद गुणांकों में अंतर, DN मानचित्रों के अंतर के हॉल्डर पावर द्वारा सीमित होता है।

महत्व और दावे
शोध पत्र खंडित चालकताओं वाले एक परिमित-आयामी अनिसोट्रोपिक कैलडेरॉन समस्या के लिए एक कठोर विशिष्टता परिणाम प्रदान करने का दावा करता है। इसकी महत्ता निम्नलिखित में निहित है:

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

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