गणित में, तीव्रतम अवतरण की विधि या काठी-बिंदु की विधि इंटीग्रल का अनुमान लगाने के लिए लाप्लास की विधि का विस्तार है, जहां स्थिर बिंदु (सैडल बिंदु) के समीप से निकलने के लिए कठोर विमान में समोच्च इंटीग्रल को तीव्रतम अवतरण या स्थिर चरण की दिशा में विकृत किया जाता है। सैडल-पॉइंट सन्पासन का उपयोग कठोर विमान में इंटीग्रल्स के साथ किया जाता है, जबकि लाप्लास की विधि का उपयोग वास्तविक इंटीग्रल्स के साथ किया जाता है।
अनुमान लगाया जाने वाला इंटीग्रल प्रायः रूप का होता है
जहां C समोच्च है, और λ बड़ा है। तीव्रतम अवतरण की विधि का संस्करण एकीकरण C के समोच्च को नवीन पथ एकीकरण C' में विकृत कर देता है जिससे निम्नलिखित स्थितियाँ बनी रहें:
C′ व्युत्पन्न g′(z) के या अधिक शून्य से होकर निकलता है,
g(z) का काल्पनिक भाग C′ पर स्थिर है।
तीव्रतम अवतरण की विधि सर्वप्रथम किसके द्वारा प्रकाशित की गई थी? डेबी (1909) harvtxt error: no target: CITEREF.E0.A4.A1.E0.A5.87.E0.A4.AC.E0.A5.801909 (help), जिन्होंने बेसेल फलन का अनुमान लगाने के लिए इसका उपयोग किया और बताया कि यह हाइपरज्यामितीय फलन के विषय में रीमैन (1863) harvtxt error: no target: CITEREF.E0.A4.B0.E0.A5.80.E0.A4.AE.E0.A5.88.E0.A4.A81863 (help) अप्रकाशित नोट में हुआ था। तीव्रतम अवतरण के समोच्च में न्यूनतम गुण होता है, देखें फेडोर्युक (2001) harvtxt error: no target: CITEREF.E0.A4.AB.E0.A5.87.E0.A4.A1.E0.A5.8B.E0.A4.B0.E0.A5.8D.E0.A4.AF.E0.A5.81.E0.A4.952001 (help) देखें। सीगल (1932) harvtxt error: no target: CITEREF.E0.A4.B8.E0.A5.80.E0.A4.97.E0.A4.B21932 (help) रीमैन के कुछ अन्य अप्रकाशित नोट्स का वर्णन किया, जहां उन्होंने रीमैन-सीगल सूत्र प्राप्त करने के लिए इस विधि का उपयोग किया था।
तीव्रतम अवतरण की विधि प्रपत्र के कठोर इंटीग्रल का अनुमान लगाने की विधि है
बड़े के लिए , जहाँ और , के विश्लेषणात्मक कार्य हैं। क्योंकि इंटीग्रैंड विश्लेषणात्मक है, रूपरेखा नये स्वरूप में इंटीग्रल को परिवर्तित किए बिना विकृत किया जा सकता है। विशेष रूप से, कोई नई रूपरेखा की शोध करता है जिस पर काल्पनिक भाग हो स्थिर है। तब
और शेष इंटीग्रल का अनुमान लाप्लास की विधि जैसी अन्य विधियों से लगाया जा सकता है।[1]
व्युत्पत्ति
विश्लेषणात्मक होने के कारण इस विधि को तीव्रतम अवतरण की विधि कहा जाता है, स्थिर चरण समोच्च तीव्रतम अवरोही समोच्चों के समतुल्य हैं।
यदि का विश्लेषणात्मक कार्य है, यह कॉची-रीमैन समीकरण को संतुष्ट करता है
तब
इसलिए स्थिर चरण की आकृतियाँ भी तीव्रतम अवतरण की आकृतियाँ हैं।
साधारण अनुमान
मान लीजिए f, S : Cn → C और C ⊂ Cn. यदि
जहाँ वास्तविक भाग को दर्शाता है, और धनात्मक वास्तविक संख्या λ0 सम्मिलित है ऐसा है कि
गैर पतित काठी बिंदु, z0 ∈ Cn, होलोमोर्फिक फलन S(z) का महत्वपूर्ण बिंदु है (अर्थात, ∇S(z0) = 0) जहां फलन के हेसियन आव्यूह में गैर-लुप्त होने वाला निर्धारक (अर्थात, ) है।
गैर-अपक्षयी सैडल बिंदु के विषय में इंटीग्रल के एसिम्प्टोटिक्स के निर्माण के लिए निम्नलिखित मुख्य उपकरण है:
कॉम्प्लेक्स मोर्स लेम्मा
वास्तविक-मूल्यवान फलन के लिए मोर्स लेम्मा होलोमोर्फिक फलन के लिए निम्नानुसार सामान्यीकृत करता है[3] गैर-पतित काठी बिंदु के पास z0 होलोमोर्फिक फलन S(z) के गैर-पतित काठी बिंदु z0 के पास, ऐसे निर्देशांक होते हैं जिनके संदर्भ में S(z) − S(z0) सम्पूर्ण द्विघात है। इसे त्रुटिहीन बनाने के लिए S डोमेन W ⊂ Cn के साथ होलोमोर्फिक फलन मान लीजिए, और W में z0 को S का गैर पतित काठी बिंदु मान लीजिए , अर्थात, ∇S(z0) = 0 और , फिर z0 के पड़ोस U ⊂ W और w = 0 के V ⊂ Cn और φ(0) के साथ विशेषण होलोमोर्फिक फ़ंक्शन सम्मिलित है, φ : V → U φ : V → U साथ φ(0) = z0 इस प्रकार है कि
The following proof is a straightforward generalization of the proof of the real Morse Lemma, which can be found in.[4] We begin by demonstrating
Auxiliary statement. Let f : Cn → C be holomorphic in a neighborhood of the origin and f (0) = 0. Then in some neighborhood, there exist functions gi : Cn → C such that
Without loss of generality, we translate the origin to z0, such that z0 = 0 and S(0) = 0. Using the Auxiliary Statement, we have
Since the origin is a saddle point,
we can also apply the Auxiliary Statement to the functions gi(z) and obtain
(1)
Recall that an arbitrary matrix A can be represented as a sum of symmetric A(s) and anti-symmetric A(a) matrices,
The contraction of any symmetric matrix B with an arbitrary matrix A is
(2)
i.e., the anti-symmetric component of A does not contribute because
Thus, hij(z) in equation (1) can be assumed to be symmetric with respect to the interchange of the indices i and j. Note that
hence, det(hij(0)) ≠ 0 because the origin is a non-degenerate saddle point.
Let us show by induction that there are local coordinates u = (u1, ... un), z = ψ(u), 0 = ψ(0), such that
(3)
First, assume that there exist local coordinates y = (y1, ... yn), z = φ(y), 0 = φ(0), such that
(4)
where Hij is symmetric due to equation (2). By a linear change of the variables (yr, ... yn), we can assure that Hrr(0) ≠ 0. From the chain rule, we have
Therefore:
whence,
The matrix (Hij(0)) can be recast in the Jordan normal form: (Hij(0)) = LJL−1, were L gives the desired non-singular linear transformation and the diagonal of J contains non-zero eigenvalues of (Hij(0)). If Hij(0) ≠ 0 then, due to continuity of Hij(y), it must be also non-vanishing in some neighborhood of the origin. Having introduced , we write
Motivated by the last expression, we introduce new coordinates z = η(x), 0 = η(0),
The change of the variables y ↔ x is locally invertible since the corresponding Jacobian is non-zero,
Therefore,
(5)
Comparing equations (4) and (5), we conclude that equation (3) is verified. Denoting the eigenvalues of by μj, equation (3) can be rewritten as
(6)
Therefore,
(7)
From equation (6), it follows that . The Jordan normal form of reads , where Jz is an upper diagonal matrix containing the eigenvalues and det P ≠ 0; hence, . We obtain from equation (7)
If , then interchanging two variables assures that .
एकल गैर-पतित काठी बिंदु के विषय में स्पर्शोन्मुख विस्तार
मान लीजिए
f (z) और S(z)खुले, परिबद्ध ,और जुड़ा हुआ समुच्चय Ωx ⊂ Cn में होलोमोर्फिक फ़ंक्शन हैं जैसे कि Ix = Ωx ∩ Rn जुड़ा हुआ है;;
के x0 ∈ Ix सम्पूर्ण बिंदु के लिए एकल अधिकतम है;
x0 गैर-पतित काठी बिंदु (अर्थात, ∇S(x0) = 0 और ) है,
फिर, निम्नलिखित स्पर्शोन्मुख धारण करता है
(8)
जहाँ μj हेस्सियन आव्यूह और के आइगेनवैल्यू हैं जो तर्कों से परिभाषित किये गये हैं,
(9)
यह कथन फेडोर्युक (1987) में प्रस्तुत अधिक सामान्य परिणामों का विशेष विषय है।[5]
Derivation of equation (8)
An illustration to the derivation of equation (8)
First, we deform the contour Ix into a new contour passing through the saddle point x0 and sharing the boundary with Ix. This deformation does not change the value of the integral I(λ). We employ the Complex Morse Lemma to change the variables of integration. According to the lemma, the function φ(w) maps a neighborhood x0 ∈ U ⊂ Ωx onto a neighborhood Ωw containing the origin. The integral I(λ) can be split into two: I(λ) = I0(λ) + I1(λ), where I0(λ) is the integral over , while I1(λ) is over (i.e., the remaining part of the contour I′x). Since the latter region does not contain the saddle point x0, the value of I1(λ) is exponentially smaller than I0(λ) as λ → ∞;[6] thus, I1(λ) is ignored. Introducing the contour Iw such that , we have
(10)
Recalling that x0 = φ(0) as well as , we expand the pre-exponential function into a Taylor series and keep just the leading zero-order term
(11)
Here, we have substituted the integration region Iw by Rn because both contain the origin, which is a saddle point, hence they are equal up to an exponentially small term.[7] The integrals in the r.h.s. of equation (11) can be expressed as
(12)
From this representation, we conclude that condition (9) must be satisfied in order for the r.h.s. and l.h.s. of equation (12) to coincide. According to assumption 2, is a negatively defined quadratic form (viz., ) implying the existence of the integral , which is readily calculated
समीकरण (8) को इस प्रकार भी लिखा जा सकता है
(13)
की शाखा कहां है
निम्नानुसार चयन किया गया है
महत्वपूर्ण विषयों पर विचार करें:
यदि S(x), Rn (अर्थात, बहुआयामी लाप्लास विधि) में वास्तविक x और x0 के लिए वास्तविक मूल्यवान है, फिर[8]
यदि S(x)x के लिए वास्तव में पूर्णतया काल्पनिक है (अर्थात, सभी के लिए x में Rn) और x0 में Rn (अर्थात, बहुआयामी स्थिर चरण विधि),[9] तब[10]
जहाँ सिल्वेस्टर के जड़त्व के नियम को दर्शाता है प्रमेय का कथन , जो ऋणात्मक आइगेनवैल्यू की संख्या घटाकर धनात्मक आइगेनवैल्यू की संख्या के समान है। यह उल्लेखनीय है कि क्वांटम यांत्रिकी (साथ ही प्रकाशिकी में) में बहुआयामी WKB सन्पासन के लिए स्थिर चरण विधि के अनुप्रयोगों में, Ind मास्लोव सूचकांक से संबंधित है, उदाहरण के लिए, चाइचियन & डेमीचेव (2001) harvtxt error: no target: CITEREF.E0.A4.9A.E0.A4.BE.E0.A4.87.E0.A4.9A.E0.A4.BF.E0.A4.AF.E0.A4.A8.E0.A4.A1.E0.A5.87.E0.A4.AE.E0.A5.80.E0.A4.9A.E0.A5.87.E0.A4.B52001 (help) और शुलमैन (2005) harvtxt error: no target: CITEREF.E0.A4.B6.E0.A5.81.E0.A4.B2.E0.A4.AE.E0.A5.88.E0.A4.A82005 (help) है।
एकाधिक गैर-क्षतिग्रस्त काठी बिंदुओं का विषय
यदि फलन S(x) में कई भिन्न-भिन्न गैर-पतित काठी बिंदु हैं, अर्थात,
जहाँ
Ωx का खुला आवरण है, तो एकता के विभाजन को नियोजित करके इंटीग्रल एसिम्प्टोटिक की गणना को एकल सैडल बिंदु के विषय में कम कर दिया जाता है। एकता का विभाजन हमें निरंतर फलन ρk(x) : Ωx → [0, 1], 1 ≤ k ≤ K, का समुच्चय बनाने की अनुमति देता है जो इस प्रकार है,
जहाँ से,
इसलिए जैसे λ → ∞ हमारे पास है:
जहां अंतिम चरण में समीकरण (13) और पूर्व-घातीय फलन का उपयोग किया गया था f (x) कम से कम निरंतर होना चाहिए।
अन्य विषय
जब ∇S(z0) = 0 और , बिंदु z0 ∈ Cn को किसी फलन S(z) का डीजेनरेट सैडल पॉइंट कहा जाता है।
स्पर्शोन्मुख की गणना
जब λ → ∞, f (x) सतत है, और S(z) में पतित काठी बिंदु है, यह बहुत ही समृद्ध समस्या है, जिसका समाधान अधिकतम सीमा तक आपदा सिद्धांत पर निर्भर करता है। यहां, आपदा सिद्धांत मोर्स लेम्मा की विधि को, S(z) विहित अभ्यावेदन की भीड़ में से में एक में परिवर्तित करने के लिए प्रतिस्थापित करता है जो केवल गैर-पतित विषय में मान्य है। अधिक जानकारी के लिए देखें, उदाहरण, पोस्टन & स्टीवर्ट (1978) harvtxt error: no target: CITEREF.E0.A4.AA.E0.A5.8B.E0.A4.B8.E0.A5.8D.E0.A4.9F.E0.A4.A8.E0.A4.B8.E0.A5.8D.E0.A4.9F.E0.A5.80.E0.A4.B5.E0.A4.B0.E0.A5.8D.E0.A4.9F1978 (help) और फेडोर्युक (1987) harvtxt error: no target: CITEREF.E0.A4.AB.E0.A5.87.E0.A4.A1.E0.A5.8B.E0.A4.B0.E0.A5.8D.E0.A4.AF.E0.A5.81.E0.A4.951987 (help)।
विकृत काठी बिंदुओं वाले इंटीग्रल स्वाभाविक रूप से कास्टिक (प्रकाशिकी) और क्वांटम यांत्रिकी में बहुआयामी डब्ल्यूकेबी सन्पासन सहित कई अनुप्रयोगों में दिखाई देते हैं।
अन्य विषय जैसे f (x) और S(x) असंतत हैं या जब S(x) का चरम एकीकरण क्षेत्र की सीमा पर स्थित है,तो विशेष देखभाल की आवश्यकता है (देखें, उदाहरण के लिए, फेडोर्युक (1987) harvtxt error: no target: CITEREF.E0.A4.AB.E0.A5.87.E0.A4.A1.E0.A5.8B.E0.A4.B0.E0.A5.8D.E0.A4.AF.E0.A5.81.E0.A4.951987 (help) और वोंग (1989) harvtxt error: no target: CITEREF.E0.A4.B5.E0.A5.8B.E0.A4.82.E0.A4.971989 (help))।
विस्तार और सामान्यीकरण
सबसे तीव्र अवतरण विधि का विस्तार तथाकथित अरेखीय स्थिर चरण/सबसे तीव्र अवतरण विधि है। यहां, इंटीग्रल के अतिरिक्त, किसी को रीमैन-हिल्बर्ट फ़ैक्टराइज़ेशन समस्याओं के स्पर्शोन्मुख समाधानों का मूल्यांकन करने की आवश्यकता है।
कठोर क्षेत्र में समोच्च C को देखते हुए, उस समोच्च पर परिभाषित फलन f और विशेष बिंदु, मान लीजिए अनंत, समोच्च C से दूर फलन f C में निर्धारित छलांग के साथ, और अनंत पर दिए गए सामान्यीकरण के साथ होलोमोर्फिक की शोध करता है। यदि f और इसलिए M अदिश के अतिरिक्त आव्यूह हैं तो यह ऐसी समस्या है जो सामान्य रूप से स्पष्ट समाधान स्वीकार नहीं करती है।
तब रैखिक स्थिर चरण/तीव्रतम अवतरण विधि की के विषय पर स्पर्शोन्मुख मूल्यांकन संभव है। विचार यह है कि दी गई रीमैन-हिल्बर्ट समस्या के समाधान को असम्बद्ध रूप से कम करके सरल, स्पष्ट रूप से हल करने योग्य, रीमैन-हिल्बर्ट समस्या बना दिया जाए। कॉची के प्रमेय का उपयोग जम्प समोच्च की विकृतियों को उचित बताने के लिए किया जाता है।
रूसी गणितज्ञ अलेक्जेंडर इट्स के पूर्व कार्य के आधार पर, 1993 में डेफ्ट और झोउ द्वारा नॉनलाइनियर स्थिर चरण का प्रारम्भ किया गया था। लैक्स, लीवरमोर, डेफ्ट, वेनाकिड्स और झोउ के पूर्व कार्य के आधार पर, 2003 में कार्यविसिस, के. मैकलॉघलिन और पी. मिलर द्वारा नॉनलाइनियर स्टीपेस्ट डीसेंट विधि प्रस्तुत की गई थी। जैसा कि रैखिक विषय में होता है, सबसे तीव्र अवरोही आकृतियाँ न्यूनतम-अधिकतम समस्या का समाधान करती हैं। अरैखिक विषय में वे S-वक्र बन जाते हैं (80 के दशक में स्टाल, गोन्चर और राखमनोव द्वारा भिन्न संदर्भ में परिभाषित)।
↑This conclusion follows from a comparison between the final asymptotic for I0(λ), given by equation (8), and a simple estimate for the discarded integral I1(λ).
↑This is justified by comparing the integral asymptotic over Rn [see equation (8)] with a simple estimate for the altered part.
↑Rigorously speaking, this case cannot be inferred from equation (8) because the second assumption, utilized in the derivation, is violated. To include the discussed case of a purely imaginary phase function, condition (9) should be replaced by
Chaichian, M.; Demichev, A. (2001), Path Integrals in Physics Volume 1: Stochastic Process and Quantum Mechanics, Taylor & Francis, p. 174, ISBN075030801X
Deift, P.; Zhou, X. (1993), "A steepest descent method for oscillatory Riemann-Hilbert problems. Asymptotics for the MKdV equation", Ann. of Math., The Annals of Mathematics, Vol. 137, No. 2, vol. 137, no. 2, pp. 295–368, arXiv:math/9201261, doi:10.2307/2946540, JSTOR2946540, S2CID12699956.
Fedoryuk, M. V. (1987), Asymptotic: Integrals and Series, Nauka, Moscow [in Russian].
Kamvissis, S.; McLaughlin, K. T.-R.; Miller, P. (2003), "Semiclassical Soliton Ensembles for the Focusing Nonlinear Schrödinger Equation", Annals of Mathematics Studies, Princeton University Press, vol. 154.
Riemann, B. (1863), Sullo svolgimento del quoziente di due serie ipergeometriche in frazione continua infinita (Unpublished note, reproduced in Riemann's collected papers.)
Siegel, C. L. (1932), "Über Riemanns Nachlaß zur analytischen Zahlentheorie", Quellen und Studien zur Geschichte der Mathematik, Astronomie und Physik, 2: 45–80 Reprinted in Gesammelte Abhandlungen, Vol. 1. Berlin: Springer-Verlag, 1966.
Translated in Deift, Percy; Zhou, Xin (2018), "On Riemanns Nachlass for Analytic Number Theory: A translation of Siegel's Uber", arXiv:1810.05198 [math.HO].
Poston, T.; Stewart, I. (1978), Catastrophe Theory and Its Applications, Pitman.
Schulman, L. S. (2005), "Ch. 17: The Phase of the Semiclassical Amplitude", Techniques and Applications of Path Integration, Dover, ISBN0486445283
Wong, R. (1989), Asymptotic approximations of integrals, Academic Press.