परिवर्तनशील संपूर्नकर्ता

वेरिएशनल इंटीग्रेटर्स हैमिल्टनियन प्रणाली के लिए संख्यात्मक साधारण अंतर समीकरण  हैं, जो एक पृथक हैमिल्टन के सिद्धांत के यूलर-लग्रेंज समीकरणों से प्राप्त हुए हैं। परिवर्तनशील इंटीग्रेटर्स संवेग-संरक्षण और  सहानुभूतिपूर्ण इंटीग्रेटर  हैं।

एक साधारण परिवर्तनशील संपूर्न
की व्युत्पत्ति

Lagrangian द्वारा वर्णित स्वतंत्रता की एक कण डिग्री के साथ एक यांत्रिक प्रणाली पर विचार करें


 * $$L(t,q,v) = \frac 1 2 m v^2 - V(q),$$

कहाँ $$m$$ कण का द्रव्यमान है, और $$V$$ एक संभावना है। इस प्रणाली के लिए एक वैरिएबल इंटीग्रेटर का निर्माण करने के लिए, हम असतत Lagrangian बनाकर शुरू करते हैं। असतत Lagrangian थोड़े समय के अंतराल पर सिस्टम के लिए क्रिया का अनुमान लगाता है:



\begin{align} L_d(t_0, t_1, q_0, q_1) & = \frac{t_1 - t_0}{2} \left[ L\left(t_0, q_0, \frac{q_1-q_0}{t_1-t_0}\right) + L\left(t_1, q_1, \frac{q_1-q_0}{t_1-t_0}\right) \right] \\ & \approx \int_{t_0}^{t_1} \, dt\, L(t, q(t), v(t)). \end{align} $$ यहां हमने समलम्बाकार विधि का उपयोग करते हुए समय अभिन्न का अनुमान लगाने के लिए चुना है, और हम प्रक्षेपवक्र के लिए एक रेखीय सन्निकटन का उपयोग करते हैं,


 * $$q(t) \approx \frac{q_1 - q_0}{t_1-t_0}(t - t_0) + q_0$$

बीच में $$t_0$$ और $$t_1$$, जिसके परिणामस्वरूप एक निरंतर वेग होता है $$v \approx \left(q_1 - q_0 \right)/\left(t_1 - t_0 \right)$$. प्रक्षेपवक्र और समय अभिन्न के सन्निकटन के लिए अलग-अलग विकल्प अलग-अलग परिवर्तनशील इंटीग्रेटर्स देते हैं। इंटीग्रेटर की सटीकता का क्रम कार्रवाई के हमारे सन्निकटन की सटीकता से नियंत्रित होता है; तब से


 * $$L_d(t_0, t_1, q_0, q_1) = \int_{t_0}^{t_1} \, dt\, L(t,q(t),v(t)) + \mathcal{O}(t_1 - t_0)^2,$$

हमारा इंटीग्रेटर दूसरे क्रम का सटीक होगा।

असतत प्रणाली के लिए विकास समीकरण स्थिर-क्रिया सिद्धांत से प्राप्त किए जा सकते हैं। एक विस्तारित समय अंतराल पर असतत क्रिया कई उप-अंतरालों पर असतत Lagrangians का योग है:


 * $$S_d = L_d(t_0, t_1, q_0, q_1) + L_d( t_1, t_2, q_1, q_2) + \cdots.$$

स्थिर कार्रवाई के सिद्धांत में कहा गया है कि निर्देशांक की विविधताओं के संबंध में कार्रवाई स्थिर है जो निश्चित प्रक्षेपवक्र के समापन बिंदुओं को छोड़ देती है। तो, समन्वय अलग करना $$q_1$$, अपने पास


 * $$\frac{\partial S_d}{\partial q_1} = 0 = \frac{\partial}{\partial q_1} L_d\left(t_0, t_1, q_0, q_1 \right) + \frac{\partial}{\partial q_1} L_d\left( t_1, t_2, q_1, q_2 \right).$$

प्रारंभिक स्थिति दी गई है $$(q_0, q_1)$$, और समय का एक क्रम $$(t_0,t_1,t_2)$$ यह एक ऐसा संबंध प्रदान करता है जिसे हल किया जा सकता है $$q_2$$. समाधान है


 * $$q_2 = q_1 + \frac{t_2 - t_1}{t_1 - t_0}(q_1 - q_0) - \frac{(t_2 - t_0) (t_2 - t_1)}{2m} \frac{d}{dq_1} V(q_1).$$

हम इसे सरल रूप में लिख सकते हैं यदि हम असतत संवेग को परिभाषित करें,


 * $$p_0 \equiv -\frac{\partial}{\partial q_0} L_d(t_0, t_1, q_0, q_1)$$

और


 * $$p_1 \equiv \frac{\partial}{\partial q_1} L_d(t_0, t_1, q_0, q_1).$$

प्रारंभिक स्थिति दी गई है $$(q_0,p_0)$$, स्थिर क्रिया की स्थिति इन समीकरणों में से पहले को हल करने के बराबर है $$q_1$$, और फिर निर्धारित करना $$p_1$$ दूसरे समीकरण का उपयोग करना। यह विकास योजना देता है


 * $$q_1 = q_0 + \frac{t_1 - t_0}{m} p_0 - \frac{(t_1 - t_0)^2}{2m} \frac{d}{dq_0} V(q_0)$$

और


 * $$p_1 = m \frac{q_1 - q_0}{t_1 - t_0} - \frac{t_1 - t_0} 2 \frac{d}{dq_1} V(q_1).$$

यह सिस्टम के लिए लीपफ्रॉग एकीकरण  स्कीम है; इस विकास के दो चरण उपरोक्त सूत्र के बराबर हैं $$q_2$$

यह भी देखें

 * लेट ग्रुप इंटीग्रेटर

संदर्भ

 * E. Hairer, C. Lubich, and G. Wanner. Geometric Numerical Integration. Springer, 2002.
 * J. Marsden and M. West. Discrete mechanics and variational integrators. Acta Numerica, 2001, pp. 357–514.