On best approximation and estimates of Bohr--Favard type on the sphere for functions with bounded Laplacian

तकनीकी सारांश: सीमित लाप्लासियन (Bounded Laplacian) वाले फलनों के लिए गोलाकार सतह पर बोहर-फवार्ड प्रकार के सर्वोत्तम सन्निकटन और अनुमान

समस्या विवरण
यह कार्य इकाई गोले $S^d$ ($d \ge 2$) पर उन फलनों के एकरूप ($L^\infty$) मानक के लिए तीक्ष्ण स्थिरांकों (sharp constants) के निर्धारण को संबोधित करता है जिनका लाप्लासियन सीमित है ($\|\Delta f\|_\infty \le 1$)। यह अध्ययन दो अलग लेकिन संबंधित समस्याओं पर केंद्रित है, जो आवर्ती फलनों (periodic functions) के शास्त्रीय बोहर और फवार्ड प्रमेयों के अनुरूप हैं:

1. बोहर समस्या (The Bohr Problem): उन फलनों के मानक का अनुमान लगाना जिनके पहले $n-1$ गोलाकार हार्मोनिक घटक शून्य हैं ($f \perp \mathcal{H}_{<n}$)। लक्ष्य असमिका $\|f\|_\infty \le H(n, S^d) \|\Delta f\|_\infty$ में तीक्ष्ण स्थिरांक $H(n, S^d)$ को खोजना है।
2. फवार्ड समस्या (The Favard Problem): ऐसे फलनों के सर्वोत्तम एकरूप सन्निकटन त्रुटि $E_{n-1}(f)_{L^\infty}$ का अनुमान लगाना, जो अधिकतम $n-1$ घात के गोलाकार बहुपदों द्वारा दर्शाए गए हों। लक्ष्य असमिका $E_{n-1}(f)_{L^\infty} \le K(n, S^d) \|\Delta f\|_\infty$ में तीक्ष्ण स्थिरांक $K(n, S^d)$ को खोजना है।

यह शोध निश्चित $n$ के लिए इन स्थिरांकों के सटीक मान और $n \to \infty$ के रूप में उनके अनंत व्यवहार को निर्धारित करने का प्रयास करता है, विशेष रूप से यह जांचते हुए कि क्या सन्निकटन समस्या ($K$) के स्थिरांक, मानक समस्या ($H$) के स्थिरांकों के समान हैं या उनसे स्पष्ट रूप से छोटे हैं, जो कि शास्त्रीय आवर्ती मामले से भिन्न है।

कार्यप्रणाली
प्राथमिक कार्यप्रणाली व्युत्क्रम लाप्लासियन (inverse Laplacian) के ग्रीन प्रतिनिधित्व (Green representation) पर आधारित है। शून्य माध्य वाले फलनों के लिए, $f$ को अपने लाप्लासियन $g = -\Delta f$ के $G_d$ नामक ज़ोनल ग्रीन कर्नेल के साथ अभिसरण (convolution) के रूप में व्यक्त किया जा सकता है:
$$f(x) = \int_{S^d} G_d(x \cdot y) g(y) \, d\sigma_d(y).$$
$\|f\|_\infty$ या सन्निकटन त्रुटि को बांधने की समस्या ग्रीन कर्नेल $G_d$ के $n-1$ घात तक के बहुपदों द्वारा प्रेरित माप के सापेक्ष सर्वोत्तम $L^1$ सन्निकटन खोजने में बदल जाती है।

मुख्य तकनीकी चरण शामिल हैं:

• कर्नेल इंटरपोलेशन (Kernel Interpolation): यह पहचानना कि ग्रीन कर्नेल का सर्वोत्तम $L^1$ सन्निकटन, एक विशिष्ट मोनिक एक्सट्रीमल बहुपद $q_{n,d}$ के शून्य पर इंटरपोलेटिंग बहुपद है। ये शून्य गोलाकार माप द्वारा प्रेरित भार (weight) के विरुद्ध लुप्त मोमेंट स्थितियों (vanishing moment conditions) द्वारा निर्धारित होते हैं।
• एक्सट्रीमल बहुपद (Extremal Polynomials): भारित $L^1$ मानक को न्यूनतम करने वाले मोनिक बहुपद की उपस्थिति और अद्वितीयता स्थापित करने के लिए लेम्मा 4.1 का उपयोग करना। सन्निकटन त्रुटि का चिह्न इस एक्सट्रीमल बहुपद के चिह्न के समान दिखाया गया है, जो बाउंड प्राप्त करने के लिए एक्सट्रीमल फलनों (बोहर एक्सट्रीमल्स) के निर्माण की अनुमति देता है।
• विमीय विश्लेषण (Dimensional Analysis):
  • $S^2$: समस्या को समान रूप से वितरित ग्रिड पर एक त्रिकोणमितीय $L^1$ सन्निकटन समस्या में मैप किया जाता है, जिससे चेबिशेव नोड्स (Chebyshev nodes) को शामिल करते हुए स्पष्ट श्रेणी सूत्र प्राप्त होते हैं।
  • $S^3$: इंटरपोलेशन नोड्स एक भारित $L^1$ एक्सट्रीमल समस्या द्वारा निर्धारित होते हैं। $n \to \infty$ के रूप में समस्या को पुनर्गठित (rescaling) करने से हॉर्मैंडर-बर्नहार्डसन फलन (Hörmander–Bernardsson function) प्राप्त होता है, जो $\mathbb{R}$ पर $L^1$ मानक को न्यूनतम करने वाला घातीय प्रकार (exponential type) एक का एक अद्वितीय संपूर्ण फलन (entire function) है।
  • उच्च आयाम ($S^4, S^6$): सम आयामों में ग्रीन कर्नेल को ध्रुवों (poles) और लघुगणक (logarithms) के परिमित योगों के रूप में व्यक्त किया जाता है। अनंत स्थिरांकों को पुनर्गठित एक्सट्रीमल बहुपदों के सीमित व्यवहार का विश्लेषण करके निकाला जाता है, जो भारित संपूर्ण एक्सट्रीमल्स की ओर अभिसरित होते हैं।
• द्वैतता और सख्त असमानता (Duality and Strict Inequality): $K(n, S^d) < H(n, S^d)$ को सिद्ध करने के लिए, पेपर $\mathcal{H}_{<n}$ को शून्य करने वाले मापों (measures) से संबंधित एक द्वैत प्रारूप का उपयोग करता है। यह दर्शाता है कि स्थिरांकों की समानता के लिए कर्नेल सन्निकटन त्रुटियों के चिह्न का विभिन्न ध्रुवों पर पूर्णतः संरेखित होना आवश्यक है, जिसे साइन-चेंज सेट (अक्षांश गोलों) के ज्यामितीय प्रतिच्छेदन गुणों के कारण $n \ge 2$ के लिए असंभव दिखाया गया है।

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

1. निश्चित $n$ के लिए सटीक स्थिरांक:

   • $S^2$: स्थिरांक $H(n, S^2)$ एक स्पष्ट अभिसारी श्रेणी (Theorem 7.1) द्वारा दिया गया है। अनंत अनुमान के लिए सर्वोत्तम गुणांक $H(S^2) = \frac{7\zeta(3)}{4}$ है।
   • $S^3$: स्थिरांक $H(n, S^3)$ को $q_n$ के एक्सट्रीमल बहुपद के समाकलन (integral) के माध्यम से व्यक्त किया गया है। अनंत स्थिरांक $H(S^3)$ को हॉर्मैंडर-बर्नहार्डसन फलन $\phi$ से जुड़े एक धनात्मक समाकलन के रूप में पहचाना गया है, जिसका संख्यात्मक मान $\beta \approx 2.850999$ है (Theorem 9.2)।
   • $S^4$ और $S^6$: अनंत स्थिरांकों को भारित संपूर्ण एक्सट्रीमल फलनों के न्यूनतम मानक के रूप में निकाला गया है (Theorem 13.1)। $S^4$ के लिए, सीमा $M_4/4$ है; $S^6$ के लिए, इसमें एक भारित मानक और शून्य पर एक्सट्रीमल फलन का दूसरा अवकलज (second derivative) शामिल है।

2. एकसमान सीमाएँ (Uniform Bounds):
   पेपर यह सिद्ध करता है कि प्राप्त अनंत सीमाएँ वास्तव में वे सर्वोत्तम गुणांक हैं जो सभी $n$ के लिए समान रूप से मान्य हैं। विशेष रूप से, $S^3, S^4,$ और $S^6$ के लिए, $n^2 H(n, S^d)$ का सुप्रीमम (supremum) $n \to \infty$ की सीमा के बराबर है (Theorems 10.1, 14.1)।

3. बोहर और फवार्ड स्थिरांकों के बीच सख्त असमानता:
   एक केंद्रीय निष्कर्ष यह है कि $S^2$ और $S^3$ पर प्रत्येक निश्चित $n \ge 2$ के लिए, सर्वोत्तम सन्निकटन स्थिरांक बोहर स्थिरांक से स्पष्ट रूप से छोटा है:
   $$K(n, S^d) < H(n, S^d).$$
   यह शास्त्रीय आवर्ती मामले के विपरीत है जहाँ स्थिरांक समान होते हैं। पेपर $S^2$ पर बड़े $n$ के लिए एक मात्रात्मक अंतर प्रदान करता है और मापों के स्थान पर एक कॉम्पैक्टनेस तर्क (compactness argument) का उपयोग करके सख्त असमानता को सिद्ध करता है (Theorems 15.2 और 18.1)।

4. रचनात्मक सन्निकटन (Constructive Approximation):
   पेपर $S^2$ पर फलनों को सन्निकटन के लिए एक स्पष्ट रैखिक ऑपरेटर प्रदान करता है जो $\mathcal{H}_{<n}$ तक मानचित्रण करने वाले सभी रैखिक विधियों में इष्टतम है। इस विधि में ग्रीन कर्नेल के सर्वोत्तम $L^1$ सन्निकटन के साथ लाप्लासियन का अभिसरण (convolution) शामिल है (Theorem 15.1, Section 16)।

महत्व और दावे
पेपर यह दावा करता है कि यह सीमित लाप्लासियन वाले फलनों के लिए गोलों पर तीक्ष्ण बोहर-प्रकार के स्थिरांकों के निर्धारण को हल करता है, जिन्हें भारित $L^1$ एक्सट्रीमल बहुपदों के माध्यम से व्यक्त किया गया है। सबसे महत्वपूर्ण अवलोकन, जिसे "अप्रत्याशित" बताया गया है, वह है $S^2$ और $S^3$ पर प्रत्येक निश्चित $n \ge 2$ के लिए बोहर स्थिरांक (लुप्त हार्मोनिक्स वाले फलनों का मानक) और फवार्ड स्थिरांक (सर्वोत्तम सन्निकटन त्रुटि) के बीच का स्पष्ट अलगाव है।

यह कार्य स्थापित करता है कि जबकि शास्त्रीय आवर्ती सेटिंग में इन स्थिरांकों की समानता बनी रहती है, यह गोलों पर विफल हो जाती है। पेपर $S^2$ के लिए स्पष्ट सूत्र, $S^3$ के लिए हॉर्मैंडर-बर्नहार्दसन फलन वाले समाकलन प्रतिनिधित्व, और $S^4$ एवं $S^6$ के लिए अनंत सूत्र प्रदान करता है। यह इस खुले प्रश्न को छोड़ देता है कि क्या सख्त असमानता सीमा में भी बनी रहती है (अर्थात, क्या $\limsup n^2 K(n, S^d) < \lim n^2 H(n, S^d)$), और यह $n \ge 2$ के लिए $K(n, S^d)$ के सटीक मानों को निर्धारित नहीं करता है, केवल निचली सीमाएं प्रदान करता है और यह सिद्ध करता है कि सख्त असमानता मौजूद है।