🔢 mathematics

Low Stage High Order Explicit Runge--Kutta Methods via Q- and D-Conditions: General Theory and Efficient Recursive Construction

यह शोधपत्र एक सामान्यीकृत $Q$ / $D$ -स्पेस ढांचे को प्रस्तुत करता है जो स्पष्ट रनगे-कुट्टा (Runge--Kutta) विधियों के क्रम की शर्तों (order conditions) को पुनर्गठित करता है, जिससे कुशल योजनाओं के पुनरावर्ती निर्माण को सक्षम बनाया जा सके, जिसमें सम क्रम $p \ge 4$ के लिए $s(p)=(p^2-2p+8)/4$ की बेहतर स्टेज गणना प्राप्त होती है और साथ ही बेहतर स्थिरता एवं सटीकता के लिए मुक्त पैरामीटरों को भी बनाए रखा जाता है।

मूल लेखक: Junyuan He, Jizu Huang

प्रकाशित 2026-05-19

📖 7 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Junyuan He, Jizu Huang

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक बेहतरीन केक (एक जटिल गणितीय समस्या को हल करना) बनाने की कोशिश कर रहे हैं और इसके लिए एक विशिष्ट रेसिपी (एक संख्यात्मक विधि या न्यूमेरिकल मेथड) का उपयोग कर रहे हैं। कंप्यूटर सिमुलेशन की दुनिया में, इस "रेसिपी" को एक्सप्लिसिट रनगे-कुट्टा (ERK) विधि कहा जाता है।

लक्ष्य यह है कि केक का स्वाद एकदम सही हो (उच्च सटीकता/हाई एक्यूरेसी) जबकि कम से कम सामग्रियों (कंप्यूटेशनल स्टेप्स, या "स्टेज") का उपयोग किया जाए। केक जितना जटिल होगा, आमतौर पर आपको उतनी ही अधिक सामग्रियों की आवश्यकता होगी। लंबे समय तक, गणितज्ञों को उच्च-क्रम (हाई-ऑर्डर) के केक बनाने के लिए संघर्ष करना पड़ा क्योंकि उन्हें बहुत अधिक सामग्रियों की आवश्यकता होती थी।

जुनयुआन हे और जिज़ु हुआंग का यह शोध पत्र इन रेसिपीज़ को लिखने का एक नया, स्मार्ट तरीका पेश करता है। यहाँ उनकी खोज का सरल उपमाओं के माध्यम से विवरण दिया गया है:

1. समस्या: "पेड़" का दुःस्वप्न (The "Tree" Nightmare)

पारंपरिक रूप से, यह जाँचने के लिए कि कोई रेसिपी पर्याप्त अच्छी है या नहीं, गणितज्ञों को शर्तों के एक विशाल, तेजी से बढ़ते पारिवारिक पेड़ (जिसे "रूटेड ट्रीज़" कहा जाता है) को देखना पड़ता था। जैसे-जैसे वांछित सटीकता बढ़ती है, यह पेड़ इतनी तेजी से बढ़ता है कि हर शाखा की जाँच करना असंभव हो जाता है। यह एक विशाल ओक के पेड़ को यह सुनिश्चित करने के लिए गिनने जैसा है कि पेड़ स्वस्थ है या नहीं।

लंबे समय तक, इस समस्या से बचने का एकमात्र तरीका "सरलीकृत धारणाएं" (simplifying assumptions) उपयोग करना था—मूल रूप से यह मान लेना कि पेड़ की शाखाएं पूरी तरह से सीधी थीं। लेकिन इस प्रकार की विशिष्ट रेसिपी (एक्सप्लिसिट विधियों) के लिए, वे धारणाएं काम नहीं करतीं। उनकी शाखाएं बहुत टेढ़ी-मेढ़ी होती हैं।

2. समाधान: "Q और D" स्पेस (The "Q and D" Spaces)

लेखकों ने महसूस किया कि उन्हें पेड़ के हर पत्ते को गिनने की आवश्यकता नहीं है। इसके बजाय, उन्होंने दो विशिष्ट "कमरों" या स्पेस का उपयोग करके पेड़ को देखने का एक नया तरीका बनाया:

Q-स्पेस (क्वाड्रचर रूम): यह कमरा यह जाँचता है कि क्या रेसिपी समस्या के "आयतन" (वॉल्यूम) को सही ढंग से मापती है (जैसे आटे की सही मात्रा मापना)।
D-स्पेस (इंटरेक्शन रूम): यह कमरा यह जाँचता है कि क्या रेसिपी के चरण एक-दूसरे के साथ सही ढंग से तालमेल बिठाते हैं (जैसे यह सुनिश्चित करना कि अंडे सही समय पर मिलाए गए हैं)।

पेड़ को पूर्ण बनाने के लिए मजबूर करने के बजाय (जो इस प्रकार की रेसिपी के लिए असंभव है), वे यह मापते हैं कि पेड़ पूर्णता से कितना विचलित होता है। वे इन विचलनों को रेसिडुअल्स (या "q-वेक्टर" और "d-वेक्टर") कहते हैं।

उपमा: कल्पना कीजिए कि आप ब्लॉकों का एक टॉवर बना रहे हैं। हर एक ब्लॉक के बिल्कुल सीधा होने की जाँच करने के बजाय (जो कठिन है), आप केवल दो चीजें जाँचते हैं:

क्या आधार समतल है? (Q-कंडीशन)।
क्या बीच के ब्लॉक बिना डगमगाए एक के ऊपर एक टिके हुए हैं? (D-कंडीशन)।

यदि ये दोनों कमरे "साफ" हैं (अर्थात रेसिडुअल्स शून्य हैं या एक-दूसरे को रद्द कर देते हैं), तो पूरा टॉवर स्थिर है, और आपको हर एक ब्लॉक को जाँचने की आवश्यकता नहीं है।

3. निर्माण: एक रिकर्सिव असेंबली लाइन (The Construction: A Recursive Assembly Line)

यह शोध पत्र केवल यह नहीं बताता कि यह क्यों काम करता है; यह इन रेसिपीज़ को स्वचालित रूप से बनाने के लिए एक चरण-दर-चरण मशीन भी देता है।

प्रक्रिया: वे एक रिकर्सिव (दोहराने वाली) प्रक्रिया का उपयोग करते हैं। वे एक समय में एक परत बनाकर रेसिपी तैयार करते हैं।
जादुई ट्रिक: वे रेसिपी को दो अलग-अलग भागों में विभाजित करते हैं:
1. D-सिस्टम: वे रेसिपी के निचले हिस्से को ठीक करने के लिए रैखिक समीकरणों (linear equations) के एक सेट को हल करते हैं (जैसे एक पहेली)।
2. Q-सिस्टम: वे रेसिपी के ऊपरी हिस्से को ठीक करने के लिए समीकरणों के दूसरे, अलग सेट को हल करते हैं।
यह क्यों खास है: ये दोनों पहेलियाँ इस तरह से संरचित हैं कि उन्हें बहुत तेज़ी से हल किया जा सकता है, लगभग सुडोकू हल करने जैसा जहाँ नंबर पहले से ही व्यवस्थित होते हैं। आपको जटिल, उलझे हुए बीजगणित (algebra) की आवश्यकता नहीं है; आप बस दो साफ और व्यवस्थित सिस्टम को हल करते हैं।

4. परिणाम: छोटी और तेज़ रेसिपी (The Result: Smaller, Faster Recipes)

इस शोध पत्र का सबसे प्रभावशाली दावा इसकी दक्षता के बारे में है।

पुराना तरीका: पिछले तरीकों (जैसे ग्रैग) में चरणों की संख्या लगभग $p^2/4$ (जहाँ $p$ सटीकता है) की दर से बढ़ती थी।
नया तरीका: उनका तरीका भी $p^2/4$ की दर से बढ़ता है, लेकिन यह फॉर्मूले के "लीनियर" (रैखिक) भाग में सुधार करता है।

उपमा: कल्पना कीजिए कि आप एक गंतव्य तक जा रहे हैं।

पुराने तरीके ऐसे कार की तरह थे जो तेज़ चलने पर थोड़ा कम ईंधन-कुशल हो जाती थी।
यह नया तरीका एक ऐसी कार की तरह है जो उतनी ही शीर्ष गति प्राप्त करती है लेकिन समान दूरी के लिए थोड़ा कम ईंधन खर्च करती है। यह गति में कोई क्रांति नहीं है, बल्कि दक्षता में एक मापने योग्य सुधार है।

उदाहरण के लिए, 10वीं-क्रम (बहुत उच्च सटीकता) की रेसिपी प्राप्त करने के लिए, उनके तरीके को 22 चरणों की आवश्यकता होती है। अन्य सामान्य तरीकों को 26 या अधिक चरणों की आवश्यकता हो सकती है। जैसे-जैसे रेसिपी अधिक जटिल होती जाती है, यह बचत बढ़ती जाती है।

5. अतिरिक्त विशेषता: "एम्बेडेड" पेयर (Extra Features: The "Embedded" Pair)

पेपर यह भी दिखाता है कि चूंकि उन्होंने रेसिपी को इतनी सावधानी से बनाया है, इसलिए वे आसानी से एक "जुड़वां" रेसिपी बना सकते हैं जो थोड़ी कम सटीक ( $p-2$ क्रम की) है लेकिन उसी समान सामग्रियों (स्टेज) का उपयोग करती है।

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

6. अनुकूलन: इंजन को ट्यून करना (Optimization: Tuning the Engine)

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

सारांश

संक्षेप में, यह शोध पत्र उच्च-परिशुद्धता वाली गणितीय रेसिपी बनाने के लिए एक नया, स्वच्छ ब्लूप्रिंट प्रदान करता है।

यह नियमों की एक अव्यवस्थित, असंभव सूची को दो व्यवस्थित "कमरों" (Q और D स्पेस) से बदल देता है।
यह इन रेसिपीज़ के निर्माण को रैखिक समीकरणों की एक सरल, चरण-दर-चरण असेंबली लाइन में बदल देता है।
यह पिछले सर्वोत्तम सामान्य तरीकों की तुलना में थोड़ी अधिक कुशल (कम चरणों वाली) रेसिपी बनाता है।
इसमें स्वाभाविक रूप से एक अंतर्निहित त्रुटि-जाँच प्रणाली (एम्बेडेड पेयर) शामिल है।

लेखक दावा करते हैं कि यह एक सामान्य ढांचा है जो किसी भी सम क्रम (even order) के लिए काम करता है, जो हर बार पहिए का पुनरुद्धार किए बिना इन विधियों को उत्पन्न करने का एक व्यवस्थित तरीका प्रदान करता है।

तकनीकी सारांश: Q- और D-शर्तों के माध्यम से लो स्टेज हाई ऑर्डर एक्सप्लिसिट रनगे–कुटा (Runge–Kutta) विधियाँ

समस्या विवरण
एक दिए गए क्रम ( $p$ ) के लिए न्यूनतम चरणों ( $s$ ) वाली एक्सप्लिसिट रनगे–कुटा (ERK) विधियों का निर्माण करना संख्यात्मक विश्लेषण (numerical analysis) की एक शास्त्रीय चुनौती है। बुचर के रूटेड ट्रीज़ (Butcher's rooted trees) पर आधारित मानक 'ऑर्डर थ्योरी', नॉनलीनर बीजगणितीय शर्तों के एक तेजी से बढ़ते संग्रह का परिणाम देती है। इन शर्तों की संख्या $p$ के साथ घातांकीय (exponentially) रूप से बढ़ती है, जिससे मध्यम से उच्च क्रमों के लिए प्रत्यक्ष प्रतीकात्मक प्रवर्तन (symbolic enforcement) अव्यवहारिक हो जाता है। जबकि ग्रैग (Gragg) की एक्सट्रपलेशन-आधारित विधियों (एसिम्प्टोटिक रूप से इष्टतम $s \sim p^2/4$ ) और बुचर के कंस्ट्रक्टिव थ्योरी ( $s \sim 3p^2/8$ ) जैसे कई दृष्टिकोण मौजूद हैं—वर्तमान में ग्रैग के परिणाम से बेहतर चरण संख्या प्रदान करने वाला और किसी भी क्रम की विधि के निर्माण के लिए एक एकीकृत बीजगणितीय ढांचा प्रदान करने वाला कोई सरल, सामान्य तंत्र उपलब्ध नहीं है। इसके अलावा, मौजूदा उच्च-क्रम योजनाएं अक्सर विशिष्ट प्रक्रियाओं पर निर्भर करती हैं या ग्रैग के परिणाम से कम चरण संख्याओं के लिए किसी सामान्य ऊपरी सीमा (upper bound) का अभाव रखती हैं।

कार्यप्रणाली
लेखक Q- और D-शर्तों पर आधारित एक नया सैद्धांतिक ढांचा प्रस्तावित करते हैं, जो शास्त्रीय सरलीकरण धारणाओं ( $B(q), C(q), D(r)$ ) को एक्सप्लिसिट विधियों के संरचनात्मक प्रतिबंधों (स्ट्रिक्टली लोअर-ट्राइएंगुलर कोएफिशिएंट मैट्रिक्स $A$ ) के अनुरूप पुनर्गठित करता है।

रेसिड्यूल्स (Residuals) के माध्यम से पुनर्गठन: चूंकि एक्सप्लिसिट विधियां $q, r \geq 2$ के लिए शास्त्रीय $C(q)$ और $D(r)$ शर्तों को संतुष्ट नहीं कर सकती हैं, इसलिए लेखक अवशेष वेक्टर (residual vectors) $q_n$ और $d_n$ को परिभाषित करते हैं जो इन शर्तों से विचलन को दर्शाते हैं। इन अवशेषों का उपयोग Q-स्पेस और D-स्पेस के निर्माण के लिए किया जाता है, जो स्टेज वैल्यूज और आंतरिक निरंतरता के बीजगणितीय विचलन को ट्रैक करते हैं।
पर्याप्तता प्रमेय (Sufficiency Theorems): यह शोध पत्र स्थापित करता है कि एक ERK विधि क्रम $p$ $p$ प्राप्त करती है यदि वह क्वाड्रैचर स्थिति $B(p)$ $B (p)$ और इन Q- और D-स्पेस पर ऑर्थोगोनैलिटी (orthogonality) और क्लोजर (closure) की शर्तों को संतुष्ट करती है। विशेष रूप से, विधि को निम्नलिखित को संतुष्ट करना चाहिए:
- Q-ऑर्थोगोनैलिटी: $b \cdot Q_m = \{0\}$
- D-ऑर्थोगोनैलिटी: $D_n \cdot c^{\odot(k-1)} = \{0\}$
- पारस्परिक ऑर्थोगोनैलिटी: $Q_m \odot D_n = \{0\}$
- Q-रिंग स्थिति: हैडमर्ड उत्पादों (Hadamard products) के तहत Q-स्पेस का क्लोजर।
- (एक "पिवट रेसिड्यूल" स्थिति से संबंधित एक कमजोर संस्करण भी प्रस्तुत किया गया है)।
पुनरावर्ती निर्माण एल्गोरिदम (Recursive Construction Algorithm): यह ढांचा किसी भी सम क्रम $p \geq 4$ $p \geq 4$ के लिए एक कंस्ट्रक्टिव प्रक्रिया की ओर ले जाता है। निर्माण को दो क्रमिक रैखिक प्रणालियों में विभाजित किया गया है:
- D-सिस्टम: D-स्पेस बाधाओं को संतुष्ट करने के लिए "D-क्षेत्र" (टेबल के निचले-दाएं भाग) में कोएफिशिएंट्स को हल करता है। यह प्रणाली ब्लॉक लोअर-ट्राइएंगुलर है।
- Q-सिस्टम: "Q-क्षेत्र" (ऊपरी-बाएं/मध्य भाग) में कोएफिशिएंट्स को हल करने के लिए, जो Q-स्पेस बाधाओं को संतुष्ट करता है, और D-सिस्टम के परिणामों का उपयोग करता है। यह प्रणाली ब्लॉक डायगोनल है।
- स्टेज अरेंजमेंट: विधि स्टेज नोड्स का एक विशिष्ट विन्यास (लोबटो क्वाड्रैचर और "घोस्ट" नोड्स पर आधारित) और क्लस्टर्स का उपयोग करती है ताकि बाधाओं को स्थानीयकृत किया जा सके, जिससे यह सुनिश्चित हो सके कि रैखिक प्रणालियाँ छोटी और सुव्यवस्थित (well-conditioned) रहें।

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

सामान्य सिद्धांत: Q/D-स्पेस ढांचे का परिचय जो बुचर की सरलीकरण धारणाओं का सामान्यीकरण करता है, जो एक्सप्लिसिट संरचनाओं के अनुकूल $p$ क्रम के लिए पर्याप्त स्थितियाँ प्रदान करता है।
पुनरावर्ती निर्माण: एक ठोस एल्गोरिदम (एल्गोरिदम 1) जो विशाल नॉनलीनर सिस्टम या पेड़ों (trees) की गणना करने के बजाय दो संरचित रैखिक प्रणालियों (एक ब्लॉक लोअर-ट्राइएंगुलर, एक ब्लॉक डायगोनल) को हल करके ERK कोएफिशिएंट्स उत्पन्न करता है।
सुधारित स्टेज अनुमान: सम क्रम $p \geq 4$ के लिए, निर्माण निम्नलिखित चरण संख्या के साथ विधियों को प्रदान करता है:
$s(p) = \frac{p^2 - 2p + 8}{4}$
यह शास्त्रीय ग्रैग अनुमान ( $s \sim p^2/4 + 1$ ) में लीनियर टर्म को कम करके उसमें सुधार करता है, जबकि समान एसिम्प्टोटिक लीडिंग टर्म ( $p^2/4$ ) बनाए रखता है। यह बुचर के बाउंड ( $3p^2/8$ ) में भी सुधार करता है।
संरचनात्मक स्पर्सिटी (Structural Sparsity): परिणामी बुचर टेबलो (Butcher tableaux) एक पदानुक्रमित, स्पर्स संरचना प्रदर्शित करते हैं। गैर-शून्य तत्वों की संख्या $O(s^2)$ के बजाय $O(s^{3/2})$ के रूप में बढ़ती है, जो मूल्यांकन और स्टोरेज के लिए कम्प्यूटेशनल लाभ प्रदान करती है।
एम्बेडेड पेयर्स (Embedded Pairs): यह ढांचा स्वाभाविक रूप से $p(p-2)$ एम्बेडेड पेयर्स के निर्माण का समर्थन करता है (जहाँ निचला-क्रम विधि समान स्टेज वैल्यूज साझा करती है), जो निचले-क्रम के वेट्स को परिभाषित करने के लिए अवशेष वेक्टर $d_1$ का उपयोग करती है।

परिणाम

सत्यापन: लेखक सिम्बोलिक वेरिफिकेशन (रैशनल अंकगणित) और रैखिक समस्याओं पर संख्यात्मक अभिसरण परीक्षणों के माध्यम से क्रम $p=4, 6, 8, 10$ के लिए निर्माण की शुद्धता को सत्यापित करते हैं।
स्थिरता (Stability): संख्यात्मक प्रयोग संकेत देते हैं कि निर्मित विधियों के स्थिरता क्षेत्र (stability regions) आम तौर पर ग्रैग और बुचर की विधियों की तुलना में बड़े होते हैं और मुक्त मापदंडों (free parameters) को ट्यून करके उन्हें और अधिक अनुकूलित किया जा सकता है।
अराजक गतिशीलता (Chaotic Dynamics): लोरेन्ज़-63 सिस्टम पर परीक्षणों से पता चलता है कि इस ढांचे के माध्यम से निर्मित उच्च-क्रम विधियाँ निम्न-क्रम विधियों की तुलना में लंबी "पूर्वानुमेयता समय" (predictability times) (वह समय जब तक संख्यात्मक समाधान संदर्भ समाधान से महत्वपूर्ण रूप से विचलित नहीं होते हैं) प्रदर्शित करती हैं, जो अराजक शासन (chaotic regimes) में उनकी उपयोगिता की पुष्टि करती है।
अनुकूलन (Optimization): ढांचा मुक्त मापदंडों (स्टेज नोड्स और विशिष्ट मैट्रिक्स प्रविष्टियाँ) को बनाए रखता है जो स्थिरता क्षेत्रों और ट्रंकेशन एरर कांस्टेंट के अनुकूलन की अनुमति देते हैं। संख्यात्मक प्रयोगों से पता चलता है कि इन मापदंडों को अनुकूलित करने से स्थिरता अंतराल को काफी बढ़ाया जा सकता है और अग्रणी त्रुटि स्थिरांक (leading error constant) को कम किया जा सकता है।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह उच्च-क्रम ERK विधियों के डिजाइन को सरल बनाने के लिए एक एकीकृत सैद्धांतिक और रचनात्मक ढांचा प्रदान करता है। इसका महत्व निम्नलिखित में निहित है:

बीजगणितीय पारदर्शिता: जटिल नॉनलीनर ट्री स्थितियों को रैखिक बीजगणितीय प्रणालियों से बदलकर, यह किसी भी क्रम की विधियों के निर्माण को व्यवस्थित और व्यवहार्य बनाता है।
एसिम्प्टोटिक इष्टतमता: ग्रैग की एक्सट्रपलेशन विधियों ( $s \sim p^2/4$ ) के समान एसिम्प्टोटिक चरण दक्षता प्राप्त करना, लेकिन एक शुद्ध एक्सप्लिसिट, बीजगणितीय सूत्र के साथ जो रिचर्डसन एक्सट्रपलेशन संरचनाओं पर निर्भर नहीं है।
व्यावहारिक दक्षता: निर्माण की पुनरावर्ती प्रकृति कोएफिशिएंट्स को कुशलतापूर्वक उत्पन्न करने की अनुमति देती है (जटिलता $O(s^4)$ या बेहतर) और ऐसे स्पर्स टेबलो बनाती है जो कार्यान्वयन के लिए उपयुक्त हैं।
भविष्य के कार्य के लिए आधार: लेखक इस ढांचे को स्थिरता और एरर कांस्टेंट के अनुकूलन, एम्बेडेड पेयर्स के डिजाइन, और संभावित रूप से इम्प्लिसिट या IMEX स्कीमों में विस्तार के लिए एक आधार के रूप में देखते हैं।

लेखक विनम्रतापूर्वक नोट करते हैं कि हालांकि निर्माण एक सामान्य ऊपरी सीमा प्रदान करता है जो पिछले परिणामों से बेहतर है, यह आवश्यक रूप से निम्न क्रमों के लिए न्यूनतम चरण संख्या प्रदान नहीं करता है क्योंकि सामान्यीकरण के लिए लगाए गए संरचनात्मक प्रतिबंधों के कारण ऐसा होता है। वे यह भी पहचानते कि Q/D स्थितियों को एक खुला अनुमान (conjecture) माना जाना आवश्यक है और सुझाव देते हैं कि स्पर्सिटी, ऑर्डर और स्थिरता त्रिज्या के बीच सटीक ट्रेड-ऑफ अभी भी व्यवस्थित विश्लेषण का क्षेत्र बना हुआ है।