A simple range characterization for spherical mean transform in odd dimensions and its applications

तकनीकी सारांश: विषम आयामों में गोलाकार माध्य रूपांतरण (Spherical Mean Transform) के लिए एक सरल सीमा लक्षण वर्णन और इसके अनुप्रयोग

समस्या विवरण
यह शोध पत्र विषम आयामों ($n \ge 3$, जहाँ $n$ एक विषम पूर्णांक है) में इकाई बॉल $B \subset \mathbb{R}^n$ में समर्थित (supported) फलनों के लिए गोलाकार माध्य रूपांतरण (SMT), जिसे गोलाकार राडॉन रूपांतरण भी कहा जाता है, की सीमा (range) के लक्षण वर्णन की समस्या को संबोधित करता है। यह रूपांतरण एक फलन $f$ को $S^{n-1}$ (इकाई बॉल की सीमा) पर केंद्रित और विभिन्न त्रिज्याओं $t \in (0, \infty)$ वाले गोलों पर उसके औसत के रूप में मैप करता है। जबकि इस रूपांतरण की इंजेक्टिविटी (injectivity) और विभिन्न व्युत्क्रम सूत्र (inversion formulas) अच्छी तरह से स्थापित हैं, मौजूदा सीमा लक्षण वर्णन (वे स्थितियाँ कि कोई फलन रूपांतरण के प्रतिबिंब में होने के लिए किन शर्तों को पूरा करता है) अक्सर रचनात्मक प्रमाणों (constructive proofs) के लिए अत्यधिक जटिल होते हैं। लेखक विशिष्ट समर्थन गुणों वाले फलनों के निर्माण को सुगम बनाने और SMT के लिए अद्वितीय निरंतरता गुण (Unique Continuation Property - UCP) की जांच करने के लिए एक सरल, अधिक सुलभ सीमा लक्षण वर्णन प्राप्त करने का लक्ष्य रखते हैं।

कार्यप्रणाली
लेखक हार्मोनिक विश्लेषण, विशेष फलन सिद्धांत (special function theory), और अवकल ऑपरेटर तकनीकों के संयोजन का उपयोग करते हैं:

1. गोलाकार हार्मोनिक्स विस्तार (Spherical Harmonics Expansion): समस्या को स्रोत फलन $f$ और रूपांतरण डेटा $g = Rf$दोनों को गोलाकार हार्मोनिक्स में विस्तारित करके विघटित किया जाता है। यह सामान्य समस्या को प्रत्येक हार्मोनिक डिग्री$m$ के लिए रेडियल फलनों के विश्लेषण में बदल देता है।
2. अवकल ऑपरेटर और समरूपता (Differential Operators and Symmetry): रेडियल फलनों के लिए, लेखक $k = (n-3)/2$ क्रम के एक रैखिक अवकल ऑपरेटर $L_k$ से संबंधित एक आवश्यक स्थिति व्युत्पन्न करते हैं। वे स्थापित करते हैं कि एक रेडियल फलन का रूपांतरण, एक वेटिंग फैक्टर (weighting factor) $t^{n-2}$ लागू करने के बाद, $1-t$ और $1+t$ (या समकक्ष रूप से $t$ और $2-t$) के बीच एक विशिष्ट समरूपता संबंध संतुष्ट करता है।
3. संयोजन विश्लेषण (Combinatorial Analysis): सामान्य सीमा शर्त का प्रमाण जटिल कॉम्बिनेटोरियल पहचान (combinatorial identities) पर आधारित है। लेखक द्विपद गुणांकों (binomial coefficients) के लिए एगोर्येव तकनीक (Egorychev technique - contour integrals) और मिश्रित फलनों के डेरिवेटिव को संभालने के लिए $D = \frac{1}{t}\frac{d}{dt}$ ऑपरेटर के लिए फ्या (Faà) दी ब्रुलो फॉर्मूला के एक विशिष्ट संस्करण का उपयोग करते हैं।
4. विशेष फलन (Special Functions): एक केंद्रीय तकनीकी घटक प्रथम प्रकार के गोलाकार बेसेल फलनों ($j_\alpha$) और द्वितीय प्रकार के ($y_\alpha$) के लिए एक "क्रॉस प्रोडक्ट" पहचान का व्युत्पत्ति है। यह पहचान उन फलनों के हँकेल रूपांतरणों (Hankel transforms) को जोड़ती है जो व्युत्पन्न समरूपता स्थितियों को संतुष्ट करते हैं।
5. साधारण अवकल समीकरण (ODEs): UCP के विरुद्ध प्रति-उदाहरणों (counterexamples) को सिद्ध करने के लिए, लेखक गैर-तुच्छ स्मूथ (smooth) फलन निर्मित करते हैं जिनका समर्थन संहत (compact support) होता है, जो व्युत्पन्न सीमा शर्तों को संतुष्ट करते हैं। यह चर गुणांकों वाले रैखिक ODEs को हल करके और विशिष्ट बिंदुओं पर फलन और उसके डेरिवेटिव को शून्य सुनिश्चित करने के लिए सावधानीपूर्वक सीमा स्थितियों को चुनकर प्राप्त किया जाता है।

मुख्य परिणाम

1. रेडियल फलनों के लिए सीमा लक्षण वर्णन (प्रमेय 1.1):
   एक फलन $g \in C^\infty_c((0, 2))$ एक रेडियल फलन $f \in C^\infty_c(B)$ का SMT है यदि और केवल यदि $h(t) = t^{n-2}g(t)$ निम्नलिखित समरूपता संबंध संतुष्ट करता है:
   $$[L_k h](1-t) = [L_k h](1+t) \quad \text{सभी } t \in [0, 1] \text{ के लिए},$$
   जहाँ $L_k$ क्रम $k = (n-3)/2$ का एक विशिष्ट रैखिक अवकल ऑपरेटर है। यह स्थिति पिछले लक्षण वर्णनों की तुलना में काफी सरल है।

2. सामान्य फलनों के लिए सीमा लक्षण वर्णन (प्रमेय 1.4):
   एक सामान्य फलन $g \in C^\infty_c(S^{n-1} \times (0, 2))$ के लिए, मान लीजिए $g_{m,l}(t)$ इसके गोलाकार हार्मोनिक गुणांक हैं। तब $g = Rf$है यदि और केवल यदि प्रत्येक$(m, l)$के लिए, फलन$h_{m,l}(t) = t^{n-2}g_{m,l}(t)$को$h_{m,l} = D^m \phi_{m,l}$के रूप में लिखा जा सकता है, जहाँ$\phi_{m,l} \in C^\infty_c((0, 2))$है, और$\phi_{m,l}$ निम्नलिखित समरूपता संबंध को संतुष्ट करता है:
   $$[L_{m+k} \phi_{m,l}](1-t) = [L_{m+k} \phi_{m,l}](1+t).$$

3. गोलाकार बेसेल फलनों के लिए क्रॉस प्रोडक्ट पहचान (प्रमेय 1.8):
   इसका प्रमाण प्रथम प्रकार के गोलाकार बेसेल फलनों ($j_\alpha$) और द्वितीय प्रकार के ($y_\alpha$) के लिए एक उल्लेखनीय पहचान प्रदान करता है:
   $$\left( \int_0^\infty j_{k+1/2}(\lambda t) t h(t) dt \right) y_{k+1/2}(\lambda) = \left( \int_0^\infty y_{k+1/2}(\lambda t) t h(t) dt \right) j_{k+1/2}(\lambda).$$
   लेखक नोट करते हैं कि यह पहचान विशेष फलनों के सिद्धांत में पहले नहीं पाई गई गोलाकार बेसेल फलनों के क्रॉस-प्रोडक्ट संबंधों का एक अनंत परिवार प्रदान करती है।

4. अद्वितीय निरंतरता (Unique Continuation) के लिए प्रति-उदाहरण (प्रमेय 1.6 और कोरोलरी 1.7):
   सीमा लक्षण वर्णन का उपयोग करते हुए, लेखक स्पष्ट गैर-तुच्छ फलन $f \in C^\infty_c(B)$ का निर्माण करते हैं जो एक खुले सेट $U \subset B$ (विशेष रूप से मूल बिंदु के आसपास एक बॉल या कोई भी खुला उपसमुच्चय) पर शून्य होते हैं, जबकि उनका SMT उन सभी गोलों पर शून्य होता है जो $U$ को प्रतिच्छेद (intersect) करते हैं। यह सिद्ध करता है कि विषम आयामों में SMT के लिए अद्वितीय निरंतरता गुण (UCP) होता नहीं है।

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

लेखक इस परिणाम के दो मुख्य अनुप्रयोगों पर प्रकाश डालते हैं:

• रचनात्मक प्रमाण (Constructive Proofs): शर्तों की सरलता UCP के विरुद्ध प्रति-उदाहरणों के निर्माण को सक्षम बनाती है, जो कि कई अन्य अभिन्न रूपांतरणों (जैसे विषम आयामों में X-ray रूपांतरण) के लिए एक गुण है, लेकिन यहाँ विषम आयामों में SMT के स्थानीय प्रकृति के कारण विफल हो जाता है।
• विशेष फलन सिद्धांत (Special Functions Theory): व्युत्पन्न क्रॉस-प्रोडक्ट पहचान को विशेष फलनों के सिद्धांत में स्वतंत्र रुचि के परिणाम के रूप में प्रस्तुत किया गया है, जो SMT की सीमा में मौजूद फलनों के हँकेल रूपांतरण (Hankel transform) के शून्यों की संरचना पर प्रकाश डालती है।

लेखक स्पष्ट रूप रूप से कहते हैं कि जबकि विषम आयामों में UCP विफल होता है, सम आयामों में SMT के लिए यह लागू होता है या नहीं, यह एक खुला प्रश्न बना हुआ है। वे यह भी नोट करते हैं कि उनका कार्य एक अलग अध्ययन (संदर्भित [8]) का पूरक है जो अवकल ऑपरेटरों के बजाय इंटीग्रल ऑपरेटरों पर आधारित सम आयामों के लिए सीमा लक्षण वर्णन प्रदान करता है।