View source for विचरण-कलन

{{Short description|Differential calculus on function spaces}}
{{Calculus |specialized}}
भिन्नरूपों की कलन (या रूपांतर कलन) [[गणितीय विश्लेषण]] का क्षेत्र है जो विविधताओं का उपयोग करता है, जो कि फलन (गणित) में छोटे परिवर्तन हैं और [[कार्यात्मक (गणित)]], कार्यों के उच्चिष्ठ और निम्निष्ठ को खोजने के लिए: फलन(गणित) के समूह से [[वास्तविक संख्या]] तक का तलरूप-मिति (गणित) हैं।{{efn|Whereas [[Calculus|elementary calculus]] is about [[infinitesimal]]ly small changes in the values of functions without changes in the function itself, calculus of variations is about infinitesimally small changes in the function itself, which are called variations.<ref name='CourHilb1953P184'>{{harvnb|Courant|Hilbert|1953|p=184}}</ref>}} कार्यात्मक प्रायः कार्यों और उनके [[यौगिक]] से जुड़े निश्चित अभिन्न के रूप में व्यक्त किए जाते हैं। प्रकार्यों के कलन के यूलर-लैग्रेंज समीकरण का उपयोग करके कार्यात्मकताओं के उच्चिष्ठ और निम्निष्ठ फलन पाए जा सकते हैं।

ऐसी समस्या का सरल उदाहरण दो बिंदुओं को जोड़ने वाली सबसे छोटी लंबाई का वक्र ज्ञात करना है। यदि कोई बाधाएँ नहीं हैं, तो समाधान बिंदुओं के बीच [[सीधी रेखा]] है। ऐसे समाधानों को [[Index.php?title=अल्पान्तरी|अल्पान्तरी]] के रूप में जाना जाता है। एक संबंधित समस्या फ़र्मेट के सिद्धांत द्वारा उत्पन्न होती है: प्रकाश दो बिंदुओं को जोड़ने वाली सबसे छोटी [[ऑप्टिकल लंबाई|चाक्षुष लंबाई]] के पथ का अनुसरण करता है, जो माध्यम की सामग्री पर निर्भर करता है। [[यांत्रिकी]] में संगत अवधारणा का सिद्धांत है।

कई महत्वपूर्ण समस्याओं में कई चरों के कार्य सम्मिलित होते हैं। [[लाप्लास समीकरण]] के लिए [[सीमा मूल्य समस्या]]ओं के समाधान डिरिक्लेट के सिद्धांत को संतुष्ट करते हैं। पठार की समस्या के लिए न्यूनतम क्षेत्र की सतह खोजने की आवश्यकता होती है जो अंतरिक्ष में दिए गए समोच्च को फैलाती है: एक समाधान प्रायः साबुन के पानी में ढांचा को डुबो कर पाया जा सकता है। हालांकि इस तरह के प्रयोग करना अपेक्षाकृत आसान है, उनका गणितीय सूत्रीकरण सरल से बहुत दूर है: एक से अधिक स्थानीय रूप से न्यूनतम करने वाली सतह हो सकती है, और उनके पास नगण्य [[टोपोलॉजी|सांस्थिति]] हो सकती है।

== इतिहास ==

कहा जा सकता है कि विविधताओं की गणना 1687 में न्यूटन की न्यूनतम प्रतिरोध समस्या से प्रारंभ हुई, इसके बाद [[जोहान बर्नौली]](1696) द्वारा उठाई गई [[ब्राचिस्टोक्रोन वक्र]] समस्या आई।<ref name=GelfandFominP3>{{cite book| last1=Gelfand|first1=I. M.|author-link1=Israel Gelfand|last2=Fomin|first2=S. V.|author-link2=Sergei Fomin|title=विविधताओं की गणना| year=2000|publisher=Dover Publications|location=Mineola, New York|isbn=978-0486414485|page=3| url=https://books.google.com/books?id=YkFLGQeGRw4C|edition=Unabridged repr.|editor1-last=Silverman| editor1-first=Richard A.}}</ref> इसने तुरंत [[जैकब बर्नौली]] और गिलाउम डे ल'हॉपिटल का ध्यान आकर्षित किया। लेकिन [[लियोनहार्ड यूलर]] ने पहली बार इस विषय को विस्तृत किया, जो 1733 में प्रारंभ हुआ। [[जोसेफ-लुई लाग्रेंज]] सिद्धांत के लिए महत्वपूर्ण योगदान देने के लिए यूलर के काम से प्रभावित थे। यूलर द्वारा 19 वर्षीय लैग्रेंज के 1755 के काम को देखने के बाद, यूलर ने लैग्रेंज के विशुद्ध रूप से विश्लेषणात्मक दृष्टिकोण के पक्ष में अपना आंशिक रूप से ज्यामितीय दृष्टिकोण छोड़ दिया और अपने 1756 के व्याख्यान एलिमेंटा कैलकुली वेरिएशनम में इस विषय का नाम बदल दिया।<ref name=Thiele>{{cite book |last=Thiele |first=Rüdiger |editor-last1=Bradley |editor-first1=Robert E. |editor-last2=Sandifer |editor-first2=C. Edward |title=लियोनहार्ड यूलर: जीवन, कार्य और विरासत|publisher=Elsevier |year=2007 |page=249 |chapter=Euler and the Calculus of Variations |chapter-url=https://books.google.com/books?id=75vJL_Y-PvsC&pg=PA249 |isbn=9780080471297}}</ref><ref name=Goldstine>{{cite book |last=Goldstine |first=Herman H. |year=2012 |title=17वीं से 19वीं सदी के दौरान विभिन्नताओं की कलन का इतिहास|url=https://books.google.com/books?id=_iTnBwAAQBAJ&q=%22Indeed+after%22&pg=110 |publisher=Springer Science & Business Media |page=110 |isbn=9781461381068 |author-link=Herman Goldstine }}</ref>{{ref|"Euler waited until Lagrange had published on the subject in 1762 ... before he committed his lecture ... to print, so as not to rob Lagrange of his glory. Indeed, it was only Lagrange's method that Euler called Calculus of Variations."<ref name=Thiele/>}}

[[एड्रियन मैरी लीजेंड्रे]](1786) उच्चिष्ठ और निम्निष्ठ के भेदभाव के लिए, पूरी तरह से संतोषजनक विधि निर्धारित की। [[आइजैक न्यूटन]] और [[गॉटफ्रीड लीबनिज]] ने भी इस विषय पर कुछ शुरुआती ध्यान दिया।<ref name="brunt">{{cite book |last=van Brunt |first=Bruce |title=विविधताओं की गणना|publisher=Springer |year=2004 |isbn=978-0-387-40247-5}}</ref> इस भेदभाव के लिए [[विन्सेन्ज़ो ब्रुनाची]](1810), [[कार्ल फ्रेडरिक गॉस]](1829), सिमोन पॉइसन(1831), [[मिखाइल ओस्ट्रोग्रैडस्की]](1834), और [[कार्ल गुस्ताव जैकब जैकोबी]](1837) योगदानकर्ताओं में से हैं। एक महत्वपूर्ण सामान्य कार्य पियरे फ्रेडरिक सर्रस(1842) का है जिसे [[कॉची]](1844) द्वारा संघनित और सुधारा गया था। अन्य मूल्यवान ग्रंथ और संस्मरण [[झाड़ी]](1849), [[जॉन हेविट जेललेट]](1850), [[ओटो हेस्से]](1857), [[अल्फ्रेड क्लेब्सच]](1858), और लुईस बफेट कार्ल(1885) द्वारा लिखे गए हैं, लेकिन शायद सदी का सबसे महत्वपूर्ण काम [[विअरस्ट्रास]] का है। सिद्धांत पर उनका प्रसिद्ध पाठ्यक्रम युगांतरकारी है, और यह दावा किया जा सकता है कि वह इसे एक दृढ़ और निर्विवाद नींव पर रखने वाले पहले व्यक्ति थे। 1900 में प्रकाशित हिल्बर्ट की बीसवीं समस्या और हिल्बर्ट की तेईसवीं समस्या हिल्बर्ट समस्याओं ने आगे के विकास को प्रोत्साहित किया।<ref name="brunt" />

20वीं सदी में [[डेविड हिल्बर्ट]], [[ऑस्कर बोल्ज़ा]], [[गिल्बर्ट एम्स ब्लिस]], [[एमी नोथेर]], [[लियोनिडा टोनेली]], [[हेनरी लेबेस्ग्यू]] और [[जैक्स हैडमार्ड]] सहित अन्य ने महत्वपूर्ण योगदान दिया।<ref name="brunt" />[[मारस्टन मोर्स]] ने विविधताओं की कलन को लागू किया जिसे अब [[मोर्स सिद्धांत]] कहा जाता है।<ref name="ferguson">{{cite arXiv |last=Ferguson |first=James |eprint=math/0402357 |title= विविधताओं और उसके अनुप्रयोगों की कलन के इतिहास का संक्षिप्त सर्वेक्षण|year=2004 }}</ref> [[लेव पोंट्रीगिन]], आर. टाइरेल रॉकफेलर और एफ.एच. क्लार्क ने [[इष्टतम नियंत्रण सिद्धांत]] में विविधताओं की कलन के लिए नए गणितीय उपकरण विकसित किए।<ref name="ferguson" />[[रिचर्ड बेलमैन]] की [[गतिशील प्रोग्रामिंग]] विविधताओं की कलन का एक विकल्प है।<ref>[[Dimitri Bertsekas]]. Dynamic programming and optimal control. Athena Scientific, 2005.</ref><ref name="bellman">{{cite journal |last=Bellman |first=Richard E. |title= विविधताओं की गणना में गतिशील प्रोग्रामिंग और एक नई औपचारिकता|year=1954 |journal= Proc. Natl. Acad. Sci. | issue=4 | pages=231–235|pmc=527981 |pmid=16589462 |volume=40 |doi=10.1073/pnas.40.4.231|bibcode=1954PNAS...40..231B |doi-access=free }}</ref><ref>{{cite web |title=रिचर्ड ई. बेलमैन कंट्रोल हेरिटेज अवार्ड|year=2004 |url=http://a2c2.org/awards/richard-e-bellman-control-heritage-award |work=American Automatic Control Council |access-date=2013-07-28}}</ref>{{efn|See '''[[Harold J. Kushner]] (2004)''': regarding Dynamic Programming, "The calculus of variations had related ideas (e.g., the work of Caratheodory, the Hamilton-Jacobi equation). This led to conflicts with the calculus of variations community."}}
== एक्स्ट्रेमा ==

भिन्नरूपों की गणना कार्यात्मकताओं के उच्चिष्ठ और निम्निष्ठ से संबंधित है। एक कार्यात्मक मानचित्र कार्य से स्केलर तक कार्यात्मक कार्यों के रूप में वर्णित किया गया है। कार्यात्मक तत्वों के संबंध में एक्स्ट्रेमा <math>y</math> है जो किसी फलन के किसी दिए गए डोमेन पर परिभाषित फलन स्थान है। कार्यात्मक <math>J[y]</math> कहा जाता है कि समारोह में चरम है <math>f</math> यदि <math>\Delta J = J[y] - J[f]</math> सभी के लिए एक ही चिन्ह(गणित) है <math>y</math> के एक मनमाने ढंग से छोटे पड़ोस में <math>f.</math>{{efn|The neighborhood of <math>f</math> is the part of the given function space where <math>|y - f| < h</math> over the whole domain of the functions, with <math>h</math> a positive number that specifies the size of the neighborhood.<ref name='CourHilb1953P169'>{{cite book |last1=Courant |first1=R |author-link1=Richard Courant |last2=Hilbert |first2=D |author-link2=David Hilbert |title = Methods of Mathematical Physics |volume=I |edition=First English |publisher=Interscience Publishers, Inc. |year=1953 |location=New York |page=169 |isbn=978-0471504474}}</ref>}} कार्यक्रम <math>f</math> एक्स्ट्रीमल फलनया एक्स्ट्रीमल कहा जाता है।{{efn|name=ExtremalVsExtremum| Note the difference between the terms extremal and extremum. An extremal is a function that makes a functional an extremum.}} समाप्त <math>J[f]</math> स्थानीय अधिकतम कहा जाता है यदि <math>\Delta J \leq 0</math> मनमाने ढंग से छोटे पड़ोस में हर जगह <math>f,</math> और एक स्थानीय न्यूनतम अगर <math>\Delta J \geq 0</math> वहां। निरंतर कार्यों के एक कार्य स्थान के लिए, संबंधित कार्यों के एक्स्ट्रेमा को मजबूत एक्स्ट्रेमा या कमजोर एक्स्ट्रेमा कहा जाता है, यह इस बात पर निर्भर करता है कि निरंतर कार्यों के पहले व्युत्पन्न क्रमशः सभी निरंतर हैं या नहीं।<ref name='GelfandFominPP12to13'>{{harvnb|Gelfand|Fomin|2000|pp=12–13}}</ref>

कार्यात्मकता के मजबूत और कमजोर एक्स्ट्रेमा दोनों निरंतर कार्यों के स्थान के लिए हैं, लेकिन मजबूत एक्स्ट्रेमा की अतिरिक्त आवश्यकता है कि अंतरिक्ष में कार्यों का पहला व्युत्पन्न निरंतर हो। इस प्रकार एक मजबूत चरम भी एक कमजोर चरम है, लेकिन [[बातचीत (तर्क)|बातचीत(तर्क)]] धारण नहीं कर सकती है। कमजोर एक्स्ट्रेमा को खोजने की तुलना में मजबूत एक्स्ट्रेमा को खोजना अधिक कठिन है।<ref name="GelfandFominP13">{{harvnb | Gelfand|Fomin| 2000 | p=13 }}</ref> [[आवश्यकता और पर्याप्तता]] का एक उदाहरण जिसका उपयोग कमजोर एक्स्ट्रेमा को खोजने के लिए किया जाता है, वह है यूलर-लैग्रेंज समीकरण।<ref name="GelfandFominPP14to15">{{harvnb | Gelfand|Fomin| 2000 | pp=14–15 }}</ref>{{efn|name=SectionVarSuffCond| For a sufficient condition, see section [[#Variations and sufficient condition for a minimum|Variations and sufficient condition for a minimum]].}}
== यूलर-लैग्रेंज समीकरण ==
{{main|यूलर-लैग्रेंज समीकरण}}

कार्यात्मकताओं का एक्स्ट्रेमा ढूँढना फलन के उच्चिष्ठ और निम्निष्ठ को खोजने के समान है। किसी फलन के उच्चिष्ठ और निम्निष्ठ का पता उन बिंदुओं को ज्ञात करके किया जा सकता है जहां इसका व्युत्पन्न लुप्त हो जाता है(अर्थात, शून्य के बराबर है)। कार्यात्मकताओं का एक्स्ट्रेमा उन कार्यों को ढूंढकर प्राप्त किया जा सकता है जिनके लिए [[कार्यात्मक व्युत्पन्न]] शून्य के बराबर है। यह संबद्ध यूलर-लैग्रेंज समीकरण को हल करने की ओर ले जाता है।{{efn|The following derivation of the Euler–Lagrange equation corresponds to the derivation on pp. 184–185 of Courant & Hilbert (1953).<ref>{{cite book |author=Courant, R. |author-link=Richard Courant |author2=Hilbert, D. |author2-link= David Hilbert |title=Methods of Mathematical Physics |volume=I |edition=First English |publisher=Interscience Publishers, Inc. |year=1953 |location=New York |isbn=978-0471504474}}</ref>}}
कार्यात्मक पर विचार करें<math display="block">J[y] = \int_{x_1}^{x_2} L\left(x,y(x),y'(x)\right)\, dx \, .</math>जहां पे
*<math>x_1, x_2</math> स्थिर हैं(गणित),
*<math>y(x)</math> दो बार लगातार अवकलनीय है,
*<math>y'(x) = \frac{dy}{dx},</math>
*<math>L\left(x, y(x), y'(x)\right)</math> अपने तर्कों के संबंध में लगातार दो बार अवकलनीय है <math>x, y,</math> तथा <math>y'.</math>
यदि कार्यात्मक <math>J[y]</math> पर एक [[स्थानीय न्यूनतम]] प्राप्त करता है <math>f,</math> तथा <math>\eta(x)</math> एक मनमाना कार्य है जिसमें कम से कम एक व्युत्पन्न होता है और समापन बिंदुओं पर गायब हो जाता है <math>x_1</math> तथा <math>x_2,</math> फिर किसी भी संख्या के लिए <math>\varepsilon</math> 0 के करीब,<math display="block">J[f] \le J[f + \varepsilon \eta] \, .</math>शब्द <math>\varepsilon \eta</math> फलन का परिवर्तन कहा जाता है <math>f</math> और द्वारा दर्शाया गया है <math>\delta f.</math><ref name="CourHilb1953P184" />{{efn|Note that <math>\eta(x)</math> and <math>f(x)</math> are evaluated at the {{em|same}} values of <math>x,</math> which is not valid more generally in variational calculus with non-holonomic constraints.}}


स्थानापन्न <math>f + \varepsilon \eta</math> के लिये <math>y</math> कार्यात्मक में <math>J[y],</math> परिणाम का एक कार्य है <math>\varepsilon,</math><math display="block">\Phi(\varepsilon) = J[f+\varepsilon\eta] \, .</math>कार्यात्मक के बाद से <math>J[y]</math> के लिए न्यूनतम है <math>y = f</math> कार्यक्रम <math>\Phi(\varepsilon)</math> कम से कम है <math>\varepsilon = 0</math> और इस तरह,{{efn|The product <math>\varepsilon \Phi'(0)</math> is called the first variation of the functional <math>J</math> and is denoted by <math>\delta J.</math>  Some references define the [[first variation]] differently by leaving out the <math>\varepsilon</math> factor.}}<math display="block">\Phi'(0) \equiv \left.\frac{d\Phi}{d\varepsilon}\right|_{\varepsilon = 0} = \int_{x_1}^{x_2} \left.\frac{dL}{d\varepsilon}\right|_{\varepsilon = 0} dx = 0 \, .</math>का [[कुल व्युत्पन्न]] लेना <math>L\left[x, y, y'\right],</math> कहाँ पे <math>y = f + \varepsilon \eta</math> तथा <math>y' = f' + \varepsilon \eta'</math> के कार्य माने जाते हैं <math>\varepsilon</math> इसके बजाय <math>x,</math> पैदावार<math display="block">\frac{dL}{d\varepsilon}=\frac{\partial L}{\partial y}\frac{dy}{d\varepsilon} + \frac{\partial L}{\partial y'}\frac{dy'}{d\varepsilon}</math>और क्योंकि <math>\frac{dy}{d \varepsilon} = \eta</math> तथा <math>\frac{d y'}{d \varepsilon} = \eta',</math><math display="block">\frac{dL}{d\varepsilon}=\frac{\partial L}{\partial y}\eta + \frac{\partial L}{\partial y'}\eta'.</math>इसलिए,<math display="block">\begin{align}
\int_{x_1}^{x_2} \left.\frac{dL}{d\varepsilon}\right|_{\varepsilon = 0} dx
 & = \int_{x_1}^{x_2} \left(\frac{\partial L}{\partial f} \eta + \frac{\partial L}{\partial f'} \eta'\right)\, dx \\
 & = \int_{x_1}^{x_2} \frac{\partial L}{\partial f} \eta \, dx + \left.\frac{\partial L}{\partial f'} \eta \right|_{x_1}^{x_2} - \int_{x_1}^{x_2} \eta \frac{d}{dx}\frac{\partial L}{\partial f'} \, dx \\
 & = \int_{x_1}^{x_2} \left(\frac{\partial L}{\partial f} \eta - \eta \frac{d}{dx}\frac{\partial L}{\partial f'} \right)\, dx\\
\end{align}</math>जहां पे <math>L\left[x, y, y'\right] \to L\left[x, f, f'\right]</math> जब <math>\varepsilon = 0</math> और हमने दूसरे कार्यकाल में [[भागों द्वारा एकीकरण]] का उपयोग किया है। दूसरी पंक्ति पर दूसरा शब्द गायब हो जाता है क्योंकि <math>\eta = 0</math> पर <math>x_1</math> तथा <math>x_2</math> परिभाषा से। इसके अलावा, जैसा कि पहले बताया गया है कि समीकरण के बाईं ओर शून्य है ताकि<math display="block">\int_{x_1}^{x_2} \eta (x) \left(\frac{\partial L}{\partial f} - \frac{d}{dx}\frac{\partial L}{\partial f'} \right) \, dx = 0 \, .</math>[[विविधताओं की कलन की मौलिक लेम्मा]] के अनुसार, कोष्ठक में समाकलन का हिस्सा शून्य है, अर्थात<math display="block">\frac{\partial L}{\partial f} -\frac{d}{dx} \frac{\partial L}{\partial f'}=0</math>जिसे यूलर-लैग्रेंज समीकरण कहा जाता है। इस समीकरण के बाईं ओर के कार्यात्मक व्युत्पन्न कहा जाता है <math>J[f]</math> और निरूपित किया जाता है <math>\delta J/\delta f(x).</math>


सामान्य तौर पर यह एक दूसरे क्रम का [[साधारण अंतर समीकरण]] देता है जिसे चरम फलन प्राप्त करने के लिए हल किया जा सकता है <math>f(x).</math> यूलर-लैग्रेंज समीकरण एक आवश्यक स्थिति है, लेकिन एक चरम सीमा के लिए [[पर्याप्त स्थिति]] नहीं है <math>J[f]</math>।
=== उदाहरण ===
इस प्रक्रिया को स्पष्ट करने के लिए, चरम फलन को खोजने की समस्या पर विचार करें <math>y = f(x),</math> जो दो बिंदुओं को जोड़ने वाला सबसे छोटा वक्र है <math>\left(x_1, y_1\right)</math> तथा <math>\left(x_2, y_2\right).</math> वक्र की चाप लंबाई किसके द्वारा दी गई है<math display="block">A[y] = \int_{x_1}^{x_2} \sqrt{1 + [ y'(x) ]^2} \, dx \, ,</math>साथ<math display="block">y'(x) = \frac{dy}{dx} \, , \ \ y_1=f(x_1) \, , \ \ y_2=f(x_2) \, .</math>मान लीजिए {{mvar|y}} का एक कार्य है {{mvar|x}} सामान्यता खो देता है; आदर्श रूप से दोनों को किसी अन्य पैरामीटर का कार्य होना चाहिए। यह दृष्टिकोण केवल शिक्षाप्रद उद्देश्यों के लिए अच्छा है।


यूलर-लैग्रेंज समीकरण का उपयोग अब एक्सट्रीमल फंक्शन को खोजने के लिए किया जाएगा <math>f(x)</math> जो क्रियाशीलता को कम करता है <math>A[y].</math><math display="block">\frac{\partial L}{\partial f} -\frac{d}{dx} \frac{\partial L}{\partial f'}=0</math>साथ<math display="block">L = \sqrt{1 + [ f'(x) ]^2} \, .</math>तब से <math>f</math> में स्पष्ट रूप से प्रकट नहीं होता है <math>L,</math> यूलर-लैग्रेंज समीकरण में पहला शब्द सभी के लिए गायब हो जाता है <math>f(x)</math> और इस तरह,<math display="block">\frac{d}{dx} \frac{\partial L}{\partial f'} = 0 \, .</math>के लिए प्रतिस्थापन <math>L</math> और व्युत्पन्न लेना,<math display="block">\frac{d}{dx} \ \frac{f'(x)} {\sqrt{1 + [f'(x)]^2}} \ = 0 \, .</math>इस प्रकार<math display="block">\frac{f'(x)}{\sqrt{1+[f'(x)]^2}} = c \, ,</math>कुछ स्थिर के लिए <math>c.</math> फिर<math display="block">\frac{[f'(x)]^2}{1+[f'(x)]^2} = c^2 \, ,</math>जहां पे<math display="block">0 \le c^2<1.</math>हल करने पर, हमें प्राप्त होता है<math display="block">[f'(x)]^2=\frac{c^2}{1-c^2}</math>जिसका तात्पर्य है<math display="block">f'(x)=m</math>एक स्थिर है और इसलिए सबसे छोटा वक्र है जो दो बिंदुओं को जोड़ता है <math>\left(x_1, y_1\right)</math> तथा <math>\left(x_2, y_2\right)</math> है<math display="block">f(x) = m x + b \qquad \text{with} \ \ m = \frac{y_2 - y_1}{x_2 - x_1} \quad \text{and} \quad b = \frac{x_2 y_1 - x_1 y_2}{x_2 - x_1}</math>और हमने इस प्रकार चरम कार्य पाया है <math>f(x)</math> जो क्रियाशीलता को कम करता है <math>A[y]</math> ताकि <math>A[f]</math> न्यूनतम है। सीधी रेखा के लिए समीकरण है <math>y = f(x).</math> दूसरे शब्दों में, दो बिंदुओं के बीच की सबसे छोटी दूरी एक सीधी रेखा होती है।{{efn|name=ArchimedesStraight| As a historical note, this is an axiom of [[Archimedes]]. See e.g. Kelland (1843).<ref>{{cite book |last=Kelland |first=Philip |author-link=Philip Kelland| title=Lectures on the principles of demonstrative mathematics |year=1843 |page=58 |url=https://books.google.com/books?id=yQCFAAAAIAAJ&pg=PA58 |via=Google Books}}</ref>}}

== बेल्ट्रामी की पहचान ==
भौतिकी के प्रश्नों में ऐसा हो सकता है <math>\frac{\partial L}{\partial x} = 0,</math> जिसका अर्थ है कि एकीकृत का कार्य है <math>f(x)</math> तथा <math>f'(x)</math> लेकिन <math>x</math> अलग से दिखाई नहीं देता। उस मामले में, बेलट्रामी पहचान के लिए यूलर-लग्रेंज समीकरण को सरल बनाया जा सकता है<ref>{{cite web |author=Weisstein, Eric W. | url=http://mathworld.wolfram.com/Euler-LagrangeDifferentialEquation.html |title=यूलर-लैग्रेंज डिफरेंशियल इक्वेशन| website=mathworld.wolfram.com |publisher=Wolfram |at=Eq.&nbsp;(5)}}</ref><math display="block">L - f' \frac{\partial L}{\partial f'} = C \, ,</math>जहां हाँ पे <math>C</math> एक स्थिरांक है।बाएं हाथ की ओर का [[लेजेंड्रे परिवर्तन]] है <math>L</math> इसके संबंध में <math>f'(x).</math><br />इस परिणाम के पीछे अंतर्ज्ञान यह है कि, यदि चर <math>x</math> वास्तव में समय है, तो बयान <math>\frac{\partial L}{\partial x} = 0</math> तात्पर्य यह है कि लाग्रंगियन समय-स्वतंत्र है। नोएदर के प्रमेय के अनुसार, एक संबद्ध संरक्षित मात्रा है। इस मामले में, यह मात्रा हैमिल्टनियन है, लैग्रैंगियन का लीजेंड्रे परिवर्तन, जो(प्रायः) प्रणाली की ऊर्जा के साथ मेल खाता है। यह बेल्ट्रामी की पहचान में स्थिर(ऋण) है।

== यूलर-पॉइसन समीकरण ==
यदि <math>S</math> के उच्च-व्युत्पन्न पर निर्भर करता है <math>y(x),</math> वह है, अगर<math display="block">S = \int_{a}^{b} f(x, y(x), y'(x), \dots, y^{(n)}(x)) dx,</math>फिर <math>y</math> यूलर-सिमोन डेनिस पोइसन समीकरण को संतुष्ट करना चाहिए,<ref>{{Cite book |last=Kot |first=Mark |title=विविधताओं की गणना में पहला कोर्स| publisher=American Mathematical Society | year=2014 |isbn=978-1-4704-1495-5 | chapter=Chapter 4: Basic Generalizations}}</ref><math display="block">\frac{\partial f}{\partial y} - \frac{d}{dx} \left( \frac{\partial f}{\partial y'} \right) + \dots + (-1)^{n} \frac{d^n}{dx^n} \left[ \frac{\partial f}{\partial y^{(n)}} \right]= 0.</math> 

== डु बोइस-रेमंड का प्रमेय ==

इस प्रकार अब तक की चर्चा ने माना है कि चरम कार्यों में दो निरंतर व्युत्पन्न होते हैं, हालांकि अभिन्न का अस्तित्व <math>J</math> परीक्षण कार्यों के केवल पहले व्युत्पन्न की आवश्यकता होती है। शर्त यह है कि पहली भिन्नता एक चरम सीमा पर गायब हो जाती है, उसे यूलर-लैग्रेंज समीकरण का कमजोर रूप माना जा सकता है। डु बोइस-रेमंड के प्रमेय का दावा है कि यह कमजोर रूप मजबूत रूप का तात्पर्य है। यदि <math>L</math> इसके सभी तर्कों के संबंध में निरंतर पहला और दूसरा व्युत्पन्न है, और यदि<math display="block">\frac{\partial^2 L}{\partial f'^2} \ne 0,</math>फिर <math>f</math> इसके दो निरंतर व्युत्पन्न हैं, और यह यूलर-लैग्रेंज समीकरण को संतुष्ट करता है।

== लवरेंटिव घटना ==

हिल्बर्ट पहले व्यक्ति थे जिन्होंने स्थिर समाधान देने के लिए यूलर-लग्रेंज समीकरणों के लिए अच्छी स्थितियाँ प्रदान कीं। उत्तल क्षेत्र के भीतर और एक सकारात्मक तीन बार अलग-अलग लाग्रंगियन समाधान वर्गों के गणनीय संग्रह से बने होते हैं जो या तो सीमा के साथ जाते हैं या आंतरिक भाग में यूलर-लग्रेंज समीकरणों को संतुष्ट करते हैं।

हालांकि 1926 में [[मिखाइल लावेरेंटिव]] ने दिखाया कि ऐसी परिस्थितियां हैं जहां कोई इष्टतम समाधान नहीं है, लेकिन वर्गों की संख्या बढ़ाकर मनमाने ढंग से निकटता से संपर्क किया जा सकता है। लैवेंटिएव फेनोमेनन स्वीकार्य कार्यों के विभिन्न वर्गों में एक न्यूनीकरण समस्या के न्यूनतम में अंतर की पहचान करता है। उदाहरण के लिए 1934 में मनिआ द्वारा प्रस्तुत निम्नलिखित समस्या:<ref>{{Cite journal|last=Manià|first=Bernard|date=1934|title=Lavrentieff के उदाहरण के ऊपर| journal=Bollenttino dell'Unione Matematica Italiana|volume=13|pages=147–153}}</ref><math display="block">L[x] = \int_0^1 (x^3-t)^2 x'^6,</math><math display="block">{A} = \{x \in W^{1,1}(0,1) : x(0)=0,\ x(1)=1\}.</math>स्पष्ट रूप से, <math>x(t) = t^{\frac{1}{3}}</math>कार्यात्मक को कम करता है, लेकिन हम कोई भी कार्य पाते हैं <math>x \in W^{1, \infty}</math> एक मूल्य देता है जो कि अनंतिम से बंधा हुआ है<br />उदाहरण (एक-आयाम में) परंपरागत रूप से प्रकट होते हैं <math>W^{1,1}</math> तथा <math>W^{1,\infty},</math> लेकिन बॉल और मिज़ेल<ref>{{Cite journal|last=Ball & Mizel|date=1985|title=एक-विम परिवर्तनशील समस्याएँ जिनके मिनिमाइज़र यूलर-लैग्रेंज समीकरण को संतुष्ट नहीं करते हैं।|journal=Archive for Rational Mechanics and Analysis|volume=90|issue=4|pages=325–388| doi=10.1007/BF00276295|bibcode=1985ArRMA..90..325B|s2cid=55005550}}</ref> लावेंटिएव के फेनोमेनन को प्रदर्शित करने वाले पहले कार्यात्मक की खरीद की <math>W^{1,p}</math> तथा <math>W^{1,q}</math> के लिये <math>1 \leq p < q < \infty.</math> ऐसे कई परिणाम हैं जो मापदंड देते हैं जिसके तहत घटना घटित नहीं होती है - उदाहरण के लिए 'मानक वृद्धि', दूसरे चर पर कोई निर्भरता नहीं रखने वाला लैग्रैन्जियन, या केसरी की स्थिति(डी) को संतुष्ट करने वाला एक अनुमानित अनुक्रम - लेकिन परिणाम प्रायः विशेष होते हैं, और कार्यों के एक छोटे वर्ग के लिए लागू होते हैं।

लावेंटिएव घटना के साथ जुड़ा हुआ प्रतिकर्षण गुण है: लावेंटिएव की घटना को प्रदर्शित करने वाला कोई भी कार्यात्मक कमजोर प्रतिकर्षण गुण प्रदर्शित करेगा।<ref>{{Cite journal|last=Ferriero|first=Alessandro|date=2007|title=कमजोर प्रतिकर्षण संपत्ति| journal=Journal de Mathématiques Pures et Appliquées|volume=88|issue=4|pages=378–388| doi=10.1016/j.matpur.2007.06.002 | doi-access=free}}</ref>
== चर के फलन    ==

उदाहरण के लिए, यदि <math>\varphi(x, y)</math> डोमेन के ऊपर एक झिल्ली के विस्थापन को दर्शाता है <math>D</math> में <math>x,y</math> फलन, तो इसकी संभावित ऊर्जा इसकी सतह क्षेत्र के समानुपाती होती है:<math display="block">U[\varphi] = \iint_D \sqrt{1 +\nabla \varphi \cdot \nabla \varphi} \,dx\,dy.</math>पठार की समस्या में एक ऐसा कार्य खोजना सम्मिलित है जो की सीमा पर निर्धारित मान मानते हुए सतह क्षेत्र को कम करता है <math>D</math>; समाधानों को न्यूनतम सतह कहा जाता है। इस समस्या के लिए यूलर-लैग्रेंज समीकरण अरैखिक है:<math display="block">\varphi_{xx}(1 + \varphi_y^2) + \varphi_{yy}(1 + \varphi_x^2) - 2\varphi_x \varphi_y \varphi_{xy} = 0.</math>विवरण के लिए कुरेंट(1950) देखें।

=== डिरिक्लेट का सिद्धांत ===
यह प्रायः झिल्ली के केवल छोटे विस्थापनों पर विचार करने के लिए पर्याप्त होता है, जिनके विस्थापन से ऊर्जा अंतर अनुमानित होता है<math display="block">V[\varphi] = \frac{1}{2}\iint_D \nabla \varphi \cdot \nabla \varphi \, dx\, dy.</math>कार्यात्मक <math>V</math> सभी परीक्षण कार्यों के बीच न्यूनतम किया जाना है <math>\varphi</math> जो की सीमा पर निर्धारित मान मानते हैं <math>D.</math> यदि <math>u</math> न्यूनतम कार्य है और <math>v</math> एक मनमाना सुचारू कार्य है जो की सीमा पर गायब हो जाता है <math>D,</math> फिर की पहली भिन्नता <math>V[u + \varepsilon v]</math> गायब होना चाहिए:<math display="block">\left.\frac{d}{d\varepsilon} V[u + \varepsilon v]\right|_{\varepsilon=0} = \iint_D \nabla u \cdot \nabla v \, dx\,dy = 0.</math>बशर्ते कि यू के दो व्युत्पन्न हों, हम विचलन प्रमेय को प्राप्त करने के लिए लागू कर सकते हैं<math display="block">\iint_D \nabla \cdot (v \nabla u) \,dx\,dy =
\iint_D \nabla u \cdot \nabla v + v \nabla \cdot \nabla u \,dx\,dy = \int_C v \frac{\partial u}{\partial n} \, ds,</math>जहां पे <math>C</math> की सीमा है <math>D,</math> <math>s</math> चापलम्बाई के साथ है <math>C</math> तथा <math>\partial u / \partial n</math> का सामान्य व्युत्पन्न है <math>u</math> पर <math>C.</math> तब से <math>v</math> पर गायब हो जाता है <math>C</math> और पहली भिन्नता गायब हो जाती है, परिणाम है<math display="block">\iint_D v\nabla \cdot \nabla u \,dx\,dy =0 </math>सभी चिकने कार्यों के लिए v जो की सीमा पर लुप्त हो जाते हैं <math>D.</math> एक विमीय समाकल के मामले के प्रमाण को इस मामले में यह दर्शाने के लिए अनुकूलित किया जा सकता है<math display="block">\nabla \cdot \nabla u= 0 </math>इस तर्क के साथ कठिनाई यह धारणा है कि न्यूनीकरण समारोह यू में दो व्युत्पन्न होने चाहिए। रीमैन ने तर्क दिया कि भौतिक समस्या के संबंध से एक चिकनी न्यूनतम कार्य के अस्तित्व का आश्वासन दिया गया था: झिल्ली वास्तव में न्यूनतम संभावित ऊर्जा के साथ विन्यास ग्रहण करते हैं। रीमैन ने इस विचार को अपने शिक्षक [[पीटर गुस्ताव लेज्यून डिरिचलेट]] के सम्मान में [[डिरिचलेट सिद्धांत]] का नाम दिया। हालाँकि वीयरस्ट्रैस ने बिना किसी समाधान के परिवर्तनशील समस्या का उदाहरण दिया: न्यूनतम करें<math display="block">W[\varphi] = \int_{-1}^{1} (x\varphi')^2 \, dx</math>सभी कार्यों के बीच <math>\varphi</math> जो संतुष्ट करता है <math>\varphi(-1)=-1</math> तथा <math>\varphi(1)=1.</math><br /><math>W</math> मूल के एक छोटे से पड़ोस में -1 और 1 के बीच संक्रमण करने वाले टुकड़ों के रैखिक कार्यों को चुनकर मनमाने ढंग से छोटा किया जा सकता है। हालाँकि, ऐसा कोई कार्य नहीं है जो बनाता है <math>W=0.</math>{{efn|The resulting controversy over the validity of Dirichlet's principle is explained by Turnbull.<ref>{{cite web |url=http://turnbull.mcs.st-and.ac.uk/~history/Biographies/Riemann.html |title=Riemann biography |publisher=U. St. Andrew |place=UK |author=Turnbull}}</ref>}} आखिरकार यह दिखाया गया कि डिरिचलेट का सिद्धांत मान्य है, लेकिन इसके लिए [[अण्डाकार आंशिक अंतर समीकरण]]ों के लिए नियमितता सिद्धांत के एक परिष्कृत अनुप्रयोग की आवश्यकता है; जोस्ट और ली-जोस्ट(1998) देखें।

=== अन्य सीमा मान समस्याओं का सामान्यीकरण ===
झिल्ली की संभावित ऊर्जा के लिए एक अधिक सामान्य अभिव्यक्ति है<math display="block">V[\varphi] = \iint_D \left[ \frac{1}{2} \nabla \varphi \cdot \nabla \varphi + f(x,y) \varphi \right] \, dx\,dy \, + \int_C \left[ \frac{1}{2} \sigma(s) \varphi^2 + g(s) \varphi \right] \, ds.</math>यह बाहरी बल घनत्व के अनुरूप है <math>f(x,y)</math> में <math>D,</math> एक बाहरी बल <math>g(s)</math> सीमा पर <math>C,</math> और मापांक के साथ लोचदार बल <math>\sigma(s)</math>अभिनय कर रहे <math>C.</math> वह फलन जो संभावित ऊर्जा को उसके सीमा मानों पर बिना किसी प्रतिबंध के न्यूनतम करता है, द्वारा निरूपित किया जाएगा <math>u.</math> उसे उपलब्ध कराया <math>f</math> तथा <math>g</math> निरंतर हैं, नियमितता सिद्धांत का अर्थ है कि न्यूनतम कार्य <math>u</math> दो व्युत्पन्न होंगे। पहला बदलाव लेने में, वेतन वृद्धि पर कोई सीमा शर्त लगाने की जरूरत नहीं है <math>v.</math> की पहली भिन्नता <math>V[u + \varepsilon v]</math> द्वारा दिया गया है<math display="block">\iint_D \left[ \nabla u \cdot \nabla v + f v \right] \, dx\, dy + \int_C \left[ \sigma u v + g v \right] \, ds = 0. </math>यदि हम विचलन प्रमेय लागू करते हैं, तो परिणाम है<math display="block">\iint_D \left[ -v \nabla \cdot \nabla u + v f \right] \, dx \, dy + \int_C v \left[ \frac{\partial u}{\partial n} + \sigma u + g \right] \, ds =0. </math>अगर हम पहले समूह करते हैं <math>v = 0</math> पर <math>C,</math> सीमा अभिन्न गायब हो जाता है, और हम पहले की तरह निष्कर्ष निकालते हैं<math display="block">- \nabla \cdot \nabla u + f =0 </math><math>D.</math>में फिर अगर हम अनुमति दें <math>v</math> मनमाना सीमा मान ग्रहण करने के लिए, इसका तात्पर्य है कि <math>u</math> सीमा शर्त को पूरा करना चाहिए<math display="block">\frac{\partial u}{\partial n} + \sigma u + g =0, </math>यह सीमा की स्थिति की संपत्ति को कम करने का एक परिणाम है <math>u</math>: यह पहले से थोपा नहीं जाता है। ऐसी स्थितियों को प्राकृतिक सीमा स्थिति कहा जाता है।<br />पूर्ववर्ती तर्क मान्य नहीं है यदि <math>\sigma</math> पर समान रूप से गायब हो जाता है <math>C.</math> ऐसे में हम ट्रायल फंक्शन की अनुमति दे सकते हैं <math>\varphi \equiv c,</math> कहाँ पे <math>c</math> एक स्थिरांक है। ऐसे परीक्षण समारोह के लिए,<math display="block">V[c] = c\left[ \iint_D f \, dx\,dy + \int_C g \, ds \right].</math>के उपयुक्त चयन द्वारा <math>c,</math> <math>V</math> जब तक कोष्ठक के अंदर की मात्रा गायब नहीं हो जाती, तब तक कोई भी मान ग्रहण कर सकता है। इसलिए, परिवर्तनशील समस्या तब तक अर्थहीन है जब तक<math display="block">\iint_D f \, dx\,dy + \int_C g \, ds =0.</math>इस स्थिति का तात्पर्य है कि सिस्टम पर शुद्ध बाहरी बल संतुलन में हैं। यदि ये बल संतुलन में हैं, तो परिवर्तनशील समस्या का समाधान है, लेकिन यह अद्वितीय नहीं है, क्योंकि एक मनमाना स्थिरांक जोड़ा जा सकता है। अधिक विवरण और उदाहरण कुरेंट और हिल्बर्ट(1953) में हैं।

== आइगेनवैल्यू समस्याएं ==

एक-आयामी और बहु-आयामी दोनों आइगेनवैल्यू समस्याओं को परिवर्तनशील समस्याओं के रूप में तैयार किया जा सकता है।

=== स्टर्म-लिउविल समस्याएं ===
{{See also| स्टर्म-लिउविल सिद्धांत}}

स्टर्म-लिउविल आइगेनवैल्यू समस्या में सामान्य द्विघात रूप सम्मिलित है<math display="block">Q[\varphi] = \int_{x_1}^{x_2} \left[ p(x) \varphi'(x)^2 + q(x) \varphi(x)^2 \right] \, dx, </math>जहां पे <math>\varphi</math>सीमा शर्तों को पूरा करने वाले कार्यों तक ही सीमित है<math display="block">\varphi(x_1)=0, \quad \varphi(x_2)=0. </math><math>R</math> सामान्यीकरण<math display="block">R[\varphi] =\int_{x_1}^{x_2} r(x)\varphi(x)^2 \, dx.</math>कार्य <math>p(x)</math> तथा <math>r(x)</math> हर जगह सकारात्मक होना और शून्य से दूर होना आवश्यक है। प्राथमिक परिवर्तनशील समस्या अनुपात को कम करना है <math>Q/R</math> इन सब में <math>\varphi</math> समापन बिंदु की शर्तों को पूरा करना। यह नीचे दिखाया गया है कि न्यूनीकरण के लिए यूलर-लैग्रेंज समीकरण <math>u</math> है<math display="block">-(p u')' +q u -\lambda r u = 0, </math>जहां पे <math>\lambda</math> भागफल है<math display="block">\lambda = \frac{Q[u]}{R[u]}. </math>यह दिखाया जा सकता है (गेलफैंड और फोमिन1963 देखें) कि न्यूनतम <math>u</math> दो व्युत्पन्न हैं और यूलर-लैग्रेंज समीकरण को संतुष्ट करते हैं। जुड़े <math>\lambda</math> द्वारा दर्शाया जाएगा <math>\lambda_1</math>; यह इस समीकरण और सीमा स्थितियों के लिए सबसे कम आइगेनवैल्यू है। संबंधित न्यूनीकरण समारोह द्वारा निरूपित किया जाएगा <math>u_1(x).</math> ईजेनवेल्यूज के इस परिवर्तनशील लक्षण वर्णन रेले-रिट्ज विधि की ओर जाता है: एक सन्निकटन चुनें <math>u</math> आधार कार्यों के एक रैखिक संयोजन के रूप में(उदाहरण के लिए त्रिकोणमितीय कार्यों) और ऐसे रैखिक संयोजनों के बीच एक परिमित-आयामी न्यूनीकरण करते हैं। यह विधि प्रायः आश्चर्यजनक रूप से सटीक होती है।<br />अगला सबसे छोटा ईगेनवैल्यू और ईजेनफंक्शन न्यूनतम करके प्राप्त किया जा सकता है <math>Q</math> अतिरिक्त प्रतिबंध के तहत<math display="block">\int_{x_1}^{x_2} r(x) u_1(x) \varphi(x) \, dx = 0. </math>समस्या के लिए ईगेनवैल्यू और ईजेनफंक्शन का पूरा अनुक्रम प्राप्त करने के लिए इस प्रक्रिया को बढ़ाया जा सकता है।


परिवर्तनशील समस्या अधिक सामान्य सीमा स्थितियों पर भी लागू होती है। इसकी आवश्यकता के बजाय <math>\varphi</math> समापन बिंदुओं पर गायब हो जाते हैं, हम समापन बिंदुओं पर कोई शर्त नहीं लगा सकते हैं और समूह कर सकते हैं<math display="block">Q[\varphi] = \int_{x_1}^{x_2} \left[ p(x) \varphi'(x)^2 + q(x)\varphi(x)^2 \right] \, dx + a_1 \varphi(x_1)^2 + a_2 \varphi(x_2)^2, </math>जहां पे <math>a_1</math> तथा <math>a_2</math> मनमाना हैं। अगर हम समूह करते हैं <math>\varphi = u + \varepsilon v</math>अनुपात के लिए पहला बदलाव <math>Q/R</math> है<math display="block">V_1 = \frac{2}{R[u]} \left( \int_{x_1}^{x_2} \left[ p(x) u'(x)v'(x) + q(x)u(x)v(x) -\lambda r(x) u(x) v(x) \right] \, dx + a_1 u(x_1)v(x_1) + a_2 u(x_2)v(x_2) \right), </math>जहां λ अनुपात द्वारा दिया जाता है <math>Q[u]/R[u]</math> पहले के रूप में।


भागों द्वारा एकीकरण के बाद,<math display="block">\frac{R[u]}{2} V_1 = \int_{x_1}^{x_2} v(x) \left[ -(p u')' + q u -\lambda r u \right] \, dx + v(x_1)[ -p(x_1)u'(x_1) + a_1 u(x_1)] + v(x_2) [p(x_2) u'(x_2) + a_2 u(x_2)]. </math>अगर हमें पहले इसकी आवश्यकता है <math>v</math> समापन बिंदुओं पर गायब हो जाते हैं, ऐसे सभी के लिए पहला बदलाव गायब हो जाएगा <math>v</math> केवल<math display="block">-(p u')' + q u -\lambda r u =0 \quad \hbox{for} \quad x_1 < x < x_2.</math>यदि <math>u</math> इस स्थिति को संतुष्ट करता है, तो मनमानी के लिए पहला बदलाव गायब हो जाएगा <math>v</math> केवल<math display="block">-p(x_1)u'(x_1) + a_1 u(x_1)=0, \quad \hbox{and} \quad p(x_2) u'(x_2) + a_2 u(x_2)=0.</math>ये बाद की स्थितियाँ इस समस्या के लिए प्राकृतिक सीमा की स्थितियाँ हैं, क्योंकि वे न्यूनीकरण के लिए परीक्षण कार्यों पर नहीं लगाई जाती हैं, बल्कि इसके बजाय न्यूनीकरण का परिणाम हैं।

=== कई आयामों में आइगेनवैल्यू समस्याएं ===
उच्च आयामों में ईगेनवैल्यू समस्याओं को एक आयामी मामले के अनुरूप परिभाषित किया गया है। उदाहरण के लिए, एक डोमेन <math>D</math> सीमा के साथ <math>B</math> तीन आयामों में हम परिभाषित कर सकते हैं<math display="block">Q[\varphi] = \iiint_D p(X) \nabla \varphi \cdot \nabla \varphi + q(X) \varphi^2 \, dx \, dy \, dz + \iint_B \sigma(S) \varphi^2 \, dS, </math>तथा<math display="block">R[\varphi] = \iiint_D r(X) \varphi(X)^2 \, dx \, dy \, dz.</math> <math>Q[\varphi] / R[\varphi],</math>


सीमा पर निर्धारित कोई शर्त नहीं है <math>B.</math> यूलर-लैग्रेंज समीकरण द्वारा संतुष्ट <math>u</math> है<math display="block">-\nabla \cdot (p(X) \nabla u) + q(x) u - \lambda r(x) u=0,</math>जहां पे<math display="block">\lambda = \frac{Q[u]}{R[u]}.</math>न्यूनतम करने वाला <math>u</math> प्राकृतिक सीमा की स्थिति को भी पूरा करना चाहिए<math display="block">p(S) \frac{\partial u}{\partial n} + \sigma(S) u = 0,</math>सीमा पर <math>B.</math>, यह परिणाम अण्डाकार आंशिक अंतर समीकरणों के लिए नियमितता सिद्धांत पर निर्भर करता है; विवरण के लिए जोस्ट और ली-जोस्ट(1998) देखें। पूर्णता के परिणाम सहित कई विस्तार, ईगेनवैल्यू के स्पर्शोन्मुख गुण और ईजेनफंक्शन के नोड्स से संबंधित परिणाम कुरेंट और हिल्बर्ट(1953) में हैं।

== अनुप्रयोग ==

=== प्रकाशिकी ===
फर्मेट के सिद्धांत में कहा गया है कि प्रकाश एक पथ लेता है जो(स्थानीय रूप से) अपने समापन बिंदुओं के बीच ऑप्टिकल लंबाई को कम करता है। अगर <math>x</math>-निर्देशांक को पथ के साथ पैरामीटर के रूप में चुना जाता है, और <math>y=f(x)</math> पथ के साथ, तो ऑप्टिकल लंबाई द्वारा दिया जाता है<math display="block">A[f] = \int_{x_0}^{x_1} n(x,f(x)) \sqrt{1 + f'(x)^2} dx, </math>जहां अपवर्तक सूचकांक <math>n(x,y)</math> सामग्री पर निर्भर करता है।
अगर हम कोशिश करें <math>f(x) = f_0 (x) + \varepsilon f_1 (x)</math> फिर की [[पहली भिन्नता]] <math>A</math>(की व्युत्पत्ति <math>A</math> ε के संबंध में) है<math display="block">\delta A[f_0,f_1] = \int_{x_0}^{x_1} \left[ \frac{ n(x,f_0) f_0'(x) f_1'(x)}{\sqrt{1 + f_0'(x)^2}} + n_y (x,f_0) f_1 \sqrt{1 + f_0'(x)^2} \right] dx.</math>कोष्ठक के भीतर पहले पद के कुछ हिस्सों के एकीकरण के बाद, हम यूलर-लैग्रेंज समीकरण प्राप्त करते हैं<math display="block">-\frac{d}{dx} \left[\frac{ n(x,f_0) f_0'}{\sqrt{1 + f_0'^2}} \right] + n_y (x,f_0) \sqrt{1 + f_0'(x)^2} = 0. </math>इस समीकरण को एकीकृत करके प्रकाश किरणों का निर्धारण किया जा सकता है। यह औपचारिकता [[Lagrangian प्रकाशिकी]] और [[हैमिल्टनियन प्रकाशिकी]] के संदर्भ में प्रयोग किया जाता है।

==== स्नेल का नियम ====
जब प्रकाश किसी लेंस में प्रवेश करता है या छोड़ता है तो अपवर्तक सूचकांक की एक असततता होती है।<math display="block">n(x,y) = \begin{cases}
n_{(-)} & \text{if} \quad x<0, \\
n_{(+)} & \text{if} \quad x>0,
\end{cases}</math>जहां पे <math>n_{(-)}</math> तथा <math>n_{(+)}</math> स्थिरांक हैं। तब यूलर-लैग्रेंज समीकरण उस क्षेत्र में पहले की तरह रहता है जहां <math>x < 0</math> या <math>x > 0,</math> और वास्तव में पथ वहाँ एक सीधी रेखा है, क्योंकि अपवर्तक सूचकांक स्थिर है। पर <math>x = 0,</math> <math>f</math> निरंतर होना चाहिए, लेकिन <math>f'</math> अनिरंतर हो सकता है। अलग-अलग क्षेत्रों में भागों द्वारा एकीकरण और यूलर-लग्रेंज समीकरणों का उपयोग करने के बाद, पहली भिन्नता रूप लेती है<math display="block">\delta A[f_0,f_1] = f_1(0)\left[ n_{(-)}\frac{f_0'(0^-)}{\sqrt{1 + f_0'(0^-)^2}} - n_{(+)}\frac{f_0'(0^+)}{\sqrt{1 + f_0'(0^+)^2}} \right].</math>गुणा करने वाला कारक <math>n_{(-)}</math> के साथ आपतित किरण के कोण की ज्या है <math>x</math> अक्ष, और गुणन कारक <math>n_{(+)}</math> के साथ अपवर्तित किरण के कोण की ज्या है <math>x</math> एक्सिस। अपवर्तन के लिए स्नेल के नियम के लिए आवश्यक है कि ये शर्तें समान हों। जैसा कि यह गणना प्रदर्शित करती है, स्नेल का नियम ऑप्टिकल पथ की लंबाई की पहली भिन्नता के गायब होने के बराबर है। 

==== तीन आयामों में फर्मेट का सिद्धांत ====
वेक्टर संकेतन का उपयोग करना समीचीन है: चलो <math>X = (x_1,x_2,x_3),</math> होने देना <math>t</math> एक पैरामीटर बनें, चलो <math>X(t)</math> एक वक्र का पैरामीट्रिक प्रतिनिधित्व हो <math>C,</math> और जाने <math>\dot X(t)</math> इसका स्पर्शरेखा वेक्टर बनें। वक्र की ऑप्टिकल लंबाई किसके द्वारा दी गई है<math display="block">A[C] = \int_{t_0}^{t_1} n(X) \sqrt{ \dot X \cdot \dot X} \, dt. </math>ध्यान दें कि यह अभिन्नके पैरामीट्रिक प्रतिनिधित्व में परिवर्तन के संबंध में अपरिवर्तनीय है <math>C.</math> न्यूनीकरण वक्र के लिए यूलर-लैग्रेंज समीकरणों का सममित रूप है<math display="block">\frac{d}{dt} P = \sqrt{ \dot X \cdot \dot X} \, \nabla n, </math>जहां पे<math display="block">P = \frac{n(X) \dot X}{\sqrt{\dot X \cdot \dot X} }.</math>यह उस परिभाषा <math>P</math> से अनुसरण करता है<math display="block">P \cdot P = n(X)^2. </math>इसलिए, समाकलन को इस रूप में भी लिखा जा सकता है<math display="block">A[C] = \int_{t_0}^{t_1} P \cdot \dot X \, dt.</math>यह प्रपत्र सुझाव देता है कि यदि हम कोई फलन खोज सकते हैं जिसका <math>\psi</math> ग्रेडिएंट द्वारा दिया गया है <math>P,</math> फिर अभिन्न <math>A</math> के अंतर से दिया जाता है <math>\psi</math> एकीकरण के अंतराल के अंत बिंदुओं पर। इस प्रकार समाकल स्थिर बनाने वाले वक्रों के अध्ययन की समस्या की समतल सतहों के अध्ययन से संबंधित हो सकती है <math>\psi.</math>ऐसा फलन ज्ञात करने के लिए, हम तरंग समीकरण की ओर मुड़ते हैं, जो प्रकाश के संचरण को नियंत्रित करता है। यह औपचारिकता लाग्रंगियन प्रकाशिकी और हैमिल्टनियन प्रकाशिकी के संदर्भ में प्रयोग किया जाता है।

===== [[तरंग समीकरण]] से संबंध =====
एक विषम माध्यम के लिए तरंग समीकरण है<math display="block">u_{tt} = c^2 \nabla \cdot \nabla u, </math>जहां पे <math>c</math> वेग है, जो आम तौर पर निर्भर करता है <math>X.</math> प्रकाश के लिए वेव फ्रंट इस आंशिक अंतर समीकरण के लिए विशिष्ट सतह हैं: वे संतुष्ट करते ह<math display="block">\varphi_t^2 = c(X)^2 \, \nabla \varphi \cdot \nabla \varphi. </math>हम फॉर्म में समाधान खोज सकते हैं<math display="block">\varphi(t,X) = t - \psi(X). </math>उस मामले में, <math>\psi</math> संतुष्ट<math display="block">\nabla \psi \cdot \nabla \psi = n^2, </math>जहां पे <math>n=1/c.</math> [[प्रथम-क्रम आंशिक अंतर समीकरण]]ों के सिद्धांत के अनुसार, यदि <math>P = \nabla \psi,</math> फिर <math>P</math> संतुष्ट<math display="block">\frac{dP}{ds} = n \, \nabla n,</math>कर्व्स (प्रकाश किरणों) की एक प्रणाली के साथ जो इसके द्वारा दी गई है<math display="block">\frac{dX}{ds} = P. </math>प्रथम-क्रम आंशिक अंतर समीकरण के समाधान के लिए ये समीकरण यूलर-लैग्रेंज समीकरणों के समान हैं यदि हम पहचान करते हैं<math display="block">\frac{ds}{dt} = \frac{\sqrt{ \dot X \cdot \dot X} }{n}. </math>हम निष्कर्ष निकालते हैं कि फलन <math>\psi</math> मिनिमाइजिंग अभिन्नका मान है <math>A</math> ऊपरी अंत बिंदु के एक समारोह के रूप में। यही है, जब कम से कम घटता का एक परिवार बनाया जाता है, तो ऑप्टिकल लंबाई के मान तरंग समीकरण के अनुरूप विशेषता समीकरण को संतुष्ट करते हैं। इसलिए, पहले क्रम के संबद्ध आंशिक अवकल समीकरण को हल करना परिवर्तनशील समस्या के समाधान के परिवारों को खोजने के बराबर है। यह हैमिल्टन-जैकोबी सिद्धांत की आवश्यक सामग्री है, जो अधिक सामान्य परिवर्तनशील समस्याओं पर लागू होती है।

=== यांत्रिकी ===
{{main| क्रिया (भौतिकी)}}
शास्त्रीय यांत्रिकी में, क्रिया, <math>S,</math> लाग्रंगियन के समय अभिन्न के रूप में परिभाषित किया गया है, <math>L.</math>लाग्रंगियन ऊर्जाओं का अंतर है,<math display="block">L = T - U, </math>जहां पे <math>T</math> एक यांत्रिक प्रणाली की [[गतिज ऊर्जा]] है और <math>U</math> इसकी [[संभावित ऊर्जा]]। हैमिल्टन के सिद्धांत(या क्रिया सिद्धांत) में कहा गया है कि एक रूढ़िवादी होलोनोमिक(पूर्ण बाधा) यांत्रिक प्रणाली की गति ऐसी है कि क्रिया अभिन्न<math display="block">S = \int_{t_0}^{t_1} L(x, \dot x, t) \, dt</math>पथ में भिन्नता के संबंध में स्थिर है <math>x(t).</math>इस प्रणाली के लिए यूलर-लैग्रेंज समीकरणों को लैग्रेंज के समीकरणों के रूप में जाना जाता है:<math display="block">\frac{d}{dt} \frac{\partial L}{\partial \dot x} = \frac{\partial L}{\partial x}, </math>और वे न्यूटन के गति के समीकरणों(ऐसी प्रणालियों के लिए) के समतुल्य हैं।


संयुग्मी क्षण <math>P</math> द्वारा परिभाषित किया गया है<math display="block">p = \frac{\partial L}{\partial \dot x}. </math>उदाहरण के लिए, यदि<math display="block">T = \frac{1}{2} m \dot x^2, </math>फिर<math display="block">p = m \dot x. </math>[[हैमिल्टनियन यांत्रिकी]] के परिणाम अगर संयुग्म संवेग के स्थान पर पेश किए जाते हैं <math>\dot x</math> लाग्रंगियन के लीजेंड्रे परिवर्तन द्वारा <math>L</math> हैमिल्टनियन में <math>H</math> द्वारा परिभाषित<math display="block">H(x, p, t) = p \,\dot x - L(x,\dot x, t).</math>हैमिल्टनियन प्रणाली की कुल ऊर्जा है: <math>H = T + U.</math>


फ़र्मेट के सिद्धांत के साथ समानता से पता चलता है कि लैग्रेंज के समीकरणों(कण प्रक्षेपवक्र) के समाधान को कुछ कार्यों के स्तर की सतहों के संदर्भ में वर्णित किया जा सकता है। <math>X.</math> यह फलनहैमिल्टन-जैकोबी समीकरण का समाधान है:<math display="block">\frac{\partial \psi}{\partial t} + H\left(x,\frac{\partial \psi}{\partial x},t\right) = 0.</math>

=== अनुप्रयोग ===

विविधताओं की कलन के आगे के अनुप्रयोगों में निम्नलिखित सम्मिलित हैं:

* [[ज़ंजीर का]] आकार की व्युत्पत्ति
* न्यूटन की न्यूनतम प्रतिरोध समस्या का समाधान
* ब्रचिस्टोक्रोन वक्र समस्या का समाधान
* [[टौटोक्रोन वक्र]] का समाधान
* [[Index.php?title=आइसपेरमेट्रिक|आइसपेरमेट्रिक]] समस्याओं का समाधान
* जियोडेसिक्स की गणना
* [[न्यूनतम सतह]] ढूँढना और पठार की समस्या को हल करना
* [[इष्टतम नियंत्रण]]
* [[विश्लेषणात्मक यांत्रिकी]], या न्यूटन के गति के नियमों के सुधार, सबसे विशेष रूप से लग्रांगियन यांत्रिकी और हैमिल्टनियन यांत्रिकी;
* ज्यामितीय प्रकाशिकी, विशेष रूप से लाग्रंगियन और हैमिल्टनियन प्रकाशिकी;
* [[परिवर्तनशील विधि (क्वांटम यांत्रिकी)|परिवर्तनशील विधि(क्वांटम यांत्रिकी)]], निम्नतम ऊर्जा ईजेनस्टेट या ग्राउंड स्टेट और कुछ उत्तेजित अवस्थाओं के सन्निकटन खोजने का तरीका;
* परिवर्तनशील बायेसियन विधियाँ, बायेसियन अनुमान और मशीन लर्निंग में उत्पन्न होने वाले अट्रैक्टिव अभिन्नको अनुमानित करने के लिए तकनीकों का एक परिवार;
* सामान्य सापेक्षता में परिवर्तनशील विधियाँ, आइंस्टीन के सापेक्षता के सामान्य सिद्धांत में समस्याओं को हल करने के लिए विविधताओं की कलन का उपयोग करने वाली तकनीकों का एक परिवार;
* परिमित तत्व विधि अंतर समीकरणों में सीमा-मूल्य समस्याओं के संख्यात्मक समाधान खोजने के लिए एक परिवर्तनशील विधि है;
* [[Index.php?title=कुल भिन्नता डीनोइज़िंग|कुल भिन्नता डीनोइज़िंग]], हाई वेरियंस या नॉइज़ सिग्नल्स को फिल्टर करने के लिए एक [[मूर्ति प्रोद्योगिकी]] मेथड।

== विविधताएं और न्यूनतम के लिए पर्याप्त स्थितित ==
विविधताओं की गणना कार्यात्मकताओं की विविधताओं से संबंधित है, जो कि फलनमें छोटे बदलावों के कारण कार्यात्मक के मूल्य में छोटे परिवर्तन हैं जो इसका तर्क है। पहली भिन्नता{{efn|name=AltFirst| The first variation is also called the variation, differential, or first differential.}} कार्यात्मक में परिवर्तन के रैखिक भाग और दूसरी भिन्नता के रूप में परिभाषित किया गया है{{efn|name=AltSecond| The second variation is also called the second differential.}} द्विघात भाग के रूप में परिभाषित किया गया है।<ref name="GelfandFominP11–12,99">{{harvnb|Gelfand|Fomin|2000|pp=11–12, 99}}</रेफरी>

उदाहरण के लिए, यदि <math>J[y]</math> समारोह के साथ एक कार्यात्मक है <math>y = y(x)</math> इसके तर्क के रूप में, और इसके तर्क में एक छोटा सा परिवर्तन है <math>y</math> प्रति <math>y + h,</math> कहाँ पे <math>h = h(x)</math> के रूप में एक ही कार्य स्थान में एक समारोह है <math>y,</math><nowiki> तो कार्यात्मक में इसी परिवर्तन है{{efn|name=SimplifyNotation|Note that </nowiki><math>\Delta J[h]</math> and the variations below, depend on both <math>y</math> and <math>h.</math> The argument <math>y</math> has been left out to simplify the notation. For example, <math>\Delta J[h]</math> could have been written <math>\Delta J[y; h].</math><nowiki><ref name='GelfandFominP12FN6'></nowiki>{{harvnb | Gelfand|Fomin|2000 | p=12, footnote 6}}</ref><nowiki>}}</nowiki><math display="block">\Delta J[h] = J[y+h] - J[y].</math>कार्यात्मक <math>J[y]</math> अलग-अलग कहा जाता है अगर<math display="block">\Delta J[h] = \varphi [h] + \varepsilon \|h\|,</math>जहां पे <math>\varphi[h]</math> एक रैखिक कार्यात्मक है,{{efn|name=Linear|A functional <math>\varphi[h]</math> is said to be '''linear''' if <math>\varphi[\alpha h] = \alpha \varphi[h]</math> &nbsp; and &nbsp; <math>\varphi\left[h + h_2\right] = \varphi[h] + \varphi\left[h_2\right],</math> where <math>h, h_2</math> are functions and <math>\alpha</math> is a real number.<ref name='GelfandFominP8'>{{harvnb | Gelfand|Fomin| 2000 | p=8 }}</ref>}} <math>\|h\|</math> का आदर्श है <math>h,</math>{{efn|name=Norm| For a function <math>h = h(x)</math> that is defined for <math>a \leq x \leq b,</math> where <math>a</math> and <math>b</math> are real numbers, the norm of <math>h</math> is its maximum absolute value, i.e. <math>\|h\| = \displaystyle\max_{a \leq x \leq b} |h(x)|.</math><ref name='GelfandFominP6'>{{harvnb | Gelfand|Fomin| 2000 | p=6 }}</ref>}} तथा <math>\varepsilon \to 0</math> जैसा <math>\|h\| \to 0.</math> रैखिक कार्यात्मक <math>\varphi[h]</math> का प्रथम रूपांतर है <math>J[y]</math> और इसे <ref name="GelfandFominP11–12"> द्वारा प्रदर्शित किया जाता है{{harvnb | Gelfand|Fomin| 2000 | pp=11–12}}</रेफरी>
<math display="block">\delta J[h] = \varphi[h].</math>
कार्यात्मक <math>J[y]</math> कहा जाता है कि अगर दो बार अलग-अलग हो
<math display="block">\Delta J[h] = \varphi_1 [h] + \varphi_2 [h] + \varepsilon \|h\|^2,</math>
कहाँ पे <math>\varphi_1[h]</math> एक रैखिक कार्यात्मक (पहला बदलाव) है, <math>\varphi_2[h]</math><nowiki> एक द्विघात कार्यात्मक है,{{efn|name=Quadratic| A functional is said to be </nowiki>'''quadratic''' if it is a bilinear functional with two argument functions that are equal. A '''bilinear functional''' is a functional that depends on two argument functions and is linear when each argument function in turn is fixed while the other argument function is variable.<nowiki><ref name='GelfandFominP97–98'></nowiki>{{harvnb | Gelfand|Fomin| 2000 | pp=97–98 }}</ref><nowiki>}} तथा </nowiki><math>\varepsilon \to 0</math> जैसा <math>\|h\| \to 0.</math> द्विघात कार्यात्मक <math>\varphi_2[h]</math> का दूसरा रूपांतर है <math>J[y]</math> और द्वारा दर्शाया गया है,<ref name="GelfandFominP99">{{harvnb | Gelfand|Fomin| 2000 | p=99 }}</ref><math display="block">\delta^2 J[h] = \varphi_2[h].</math>दूसरा रूपांतर <math>\delta^2 J[h]</math> दृढ़ता से सकारात्मक कहा जाता है अगर<math display="block">\delta^2J[h] \ge k \|h\|^2,</math>सभी के लिए <math>h</math> और कुछ स्थिर के लिए <math>k > 0</math>.<ref name="GelfandFominP100">{{harvnb | Gelfand|Fomin| 2000 | p=100 }}</ref>


उपरोक्त परिभाषाओं का उपयोग करना, विशेष रूप से पहली भिन्नता, दूसरी भिन्नता, और दृढ़ता से सकारात्मक की परिभाषाएं, न्यूनतम कार्यात्मक के लिए निम्न पर्याप्त स्थिति बताई जा सकती है।{{quote box|align=left |fontsize=100% |border=2px |quote='''Sufficient condition for a minimum:'''

{{block indent | em = 1.5 | text = The functional <math>J[y]</math> has a minimum at <math>y = \hat{y}</math> if its first variation <math>\delta J[h] = 0</math> at <math>y = \hat{y}</math> and its second variation <math>\delta^2 J[h]</math> is strongly positive at <math>y = \hat{y}.</math><ref name='GelfandFominP100Theorem2'>{{harvnb | Gelfand|Fomin| 2000 | p=100 |loc=Theorem 2}}</ref> {{efn|name=sufficient| For other sufficient conditions, see in {{harvnb|Gelfand|Fomin|2000}},
* '''Chapter{{nbsp}}5: "The Second Variation. Sufficient Conditions for a Weak Extremum" – ''' Sufficient conditions for a weak minimum are given by the theorem on p.{{nbsp}}116.
* '''Chapter{{nbsp}}6: "Fields. Sufficient Conditions for a Strong Extremum" – ''' Sufficient conditions for a strong minimum are given by the theorem on p.{{nbsp}}148.}}{{efn|name=FuncMin| One may note the similarity to the sufficient condition for a minimum of a function, where the first derivative is zero and the second derivative is positive.}} }}}}
{{clear}}
== यह भी देखें ==
{{Div col|colwidth=25em}}
* पहला बदलाव
* [[आइसोपेरिमेट्रिक असमानता]]
* [[परिवर्तनशील सिद्धांत]]
* [[परिवर्तनशील द्विजटिल]]
* फर्मेट का सिद्धांत
* [[कम से कम कार्रवाई का सिद्धांत]]
* [[अनंत-आयामी अनुकूलन]]
* सीमित तत्व विधि
* [[कार्यात्मक विश्लेषण]]
* एकलैंड का परिवर्तनशील सिद्धांत
* [[लाग्रंगियन यांत्रिकी के लिए व्युत्क्रम समस्या]]
*बाधा समस्या
* व्यवधान के तरीके
* [[युवा उपाय]]
* इष्टतम नियंत्रण
* [[विविधताओं की गणना में प्रत्यक्ष विधि]]
* नोथेर की प्रमेय
* डी डोनर-वेइल सिद्धांत
* परिवर्तनशील बायेसियन तरीके
* [[चैपलिन समस्या]]
*नेहारी बहुगुणा
* हू-वाशिज़ू सिद्धांत
* ल्यूक का परिवर्तनशील सिद्धांत
* [[माउंटेन पास प्रमेय]]
* {{cat|श्रेणी:संक्रमणात्मक विश्लेषक}}
*केंद्रीय प्रवृत्ति#परिवर्तनीय समस्याओं का समाधान
* [[प्रिंटकिया मेडल]]
* [[फर्मेट पुरस्कार]]
* [[सुविधाजनक वेक्टर स्थान]]
{{div col end}}
== टिप्पणियाँ ==
{{notelist|1}}


== संदर्भ ==
{{reflist|25em}}
== अग्रिम पठन ==
* Benesova, B. and Kruzik, M.: [http://epubs.siam.org/doi/abs/10.1137/16M1060947 "Weak Lower Semicontinuity of Integral Functionals and Applications"]. ''SIAM Review'' 59(4)(2017), 703–766.
* [[Oskar Bolza|Bolza, O.]]: [http://quod.lib.umich.edu/cgi/t/text/text-idx?c=umhistmath;idno=ACM2513 Lectures on the Calculus of Variations]. Chelsea Publishing Company, 1904, available on Digital Mathematics library. 2nd edition republished in 1961, paperback in 2005, {{isbn|978-1-4181-8201-4}}.
* Cassel, Kevin W.: [https://books.google.com/books?id=pNHFJTKixisC Variational Methods with Applications in Science and Engineering], Cambridge University Press, 2013.
* Clegg, J.C.: [https://books.google.com/books/about/Calculus_of_variations.html?id=qTnvAAAAMAAJ Calculus of Variations], Interscience Publishers Inc., 1968.
* [[Richard Courant|Courant, R.]]: [https://books.google.com/books?id=GCDSBwAAQBAJ Dirichlet's principle, conformal mapping and minimal surfaces]. Interscience, 1950.
* [[Bernard Dacorogna|Dacorogna, Bernard]]: "[http://www.worldscientific.com/doi/suppl/10.1142/p967/suppl_file/p967_chap01.pdf Introduction]" ''[http://www.worldscientific.com/worldscibooks/10.1142/p967 Introduction to the Calculus of Variations]'', 3rd edition. 2014, World Scientific Publishing, {{isbn|978-1-78326-551-0}}.
* Elsgolc, L.E.: [https://books.google.com/books?id=MAU_AwAAQBAJ Calculus of Variations], Pergamon Press Ltd., 1962.
* Forsyth, A.R.: [https://archive.org/stream/CalculusOfVariations/Forsyth-CalculusOfVariations#page/n3/mode/2up Calculus of Variations], Dover, 1960.
* Fox, Charles: [https://books.google.com/books/about/An_Introduction_to_the_Calculus_of_Varia.html?id=PV2IovCWTcYC An Introduction to the Calculus of Variations], Dover Publ., 1987.
* Giaquinta, Mariano; Hildebrandt, Stefan: Calculus of Variations I and II, Springer-Verlag, {{ISBN|978-3-662-03278-7}} and {{ISBN|978-3-662-06201-2}}
* Jost, J. and X. Li-Jost: [https://books.google.com/books?id=QN8Iw7fUA-8C Calculus of Variations]. Cambridge University Press, 1998.
* Lebedev, L.P. and Cloud, M.J.: [https://books.google.com/books?id=_T3ez-32YVsC The Calculus of Variations and Functional Analysis with Optimal Control and Applications in Mechanics], World Scientific, 2003, pages 1–98.
* Logan, J. David: [https://books.google.com/books?id=nUk_AQAAIAAJ Applied Mathematics], 3rd edition. Wiley-Interscience, 2006
* {{cite book|chapter-url=http://www.mpri.lsu.edu/textbook/Chapter8-b.htm|chapter=Chapter 8: Calculus of Variations| url=http://www.mpri.lsu.edu/bookindex.html|title=Optimization for Engineering Systems| first=Ralph W. |last=Pike |publisher=[[Louisiana State University]]|archive-url=https://web.archive.org/web/20070705141725/http://www.mpri.lsu.edu/bookindex.html|url-status=dead|archive-date=2007-07-05}}
* Roubicek, T.: "[https://web.archive.org/web/20150510023928/http://www.wiley-vch.de/books/sample/3527411887_c17.pdf Calculus of variations]". Chap.17 in: ''[https://web.archive.org/web/20150510021514/http://www.wiley-vch.de/publish/en/books/forthcomingTitles/MA00/3-527-41188-7/?sID=nrgsqk516u2v9ffab8u7io1dq4 Mathematical Tools for Physicists]''.(Ed. M. Grinfeld) J. Wiley, Weinheim, 2014, {{isbn|978-3-527-41188-7}}, pp.&nbsp;551–588.
* Sagan, Hans: [https://books.google.com/books/about/Introduction_to_the_Calculus_of_Variatio.html?id=abhS8PgpBskC Introduction to the Calculus of Variations], Dover, 1992.
* Weinstock, Robert: [https://books.google.com/books?id=6wSVuWH1PrsC Calculus of Variations with Applications to Physics and Engineering], Dover, 1974(reprint of 1952 ed.).
==इस पेज में लापता आंतरिक लिंक की सूची==

*नक्शा(गणित)
*समारोह(गणित)
*समाकलन परिभाषित करें
*हिल्बर्ट समस्याएं
*अदिश(गणित)
*किसी फलनका डोमेन
*समारोह स्थान
*साइन(गणित)
*निरंतर(गणित)
*आवश्यक शर्त
*वक्राकार लंबाई
*बेल्ट्रामी पहचान
*परिवर्तनशील बायेसियन तरीके
*सीमित तत्व विधि
*सामान्य सापेक्षता में परिवर्तनशील तरीके
*Lagrangian यांत्रिकी
*बाधा की समस्या
*कई गुना बर्तन के साथ
*गड़बड़ी के तरीके
== बाहरी संबंध ==
* [https://www.encyclopediaofmath.org/index.php/Variational_calculus Variational calculus]. ''[[Encyclopedia of Mathematics]]''.
* [http://planetmath.org/calculusofvariations calculus of variations]. ''[[PlanetMath]]''.
* [http://mathworld.wolfram.com/CalculusofVariations.html Calculus of Variations]. ''[[MathWorld]]''.
* [https://web.archive.org/web/20170609215523/http://www.exampleproblems.com/wiki/index.php/Calculus_of_Variations Calculus of variations]. Example problems.
* [https://www.youtube.com/playlist?list=PL521C2DFD15FF568C Mathematics - Calculus of Variations and Integral Equations]. Lectures on [[YouTube]].
* Selected papers on Geodesic Fields. [http://neo-classical-physics.info/uploads/3/0/6/5/3065888/geodesic_fields_-_pt._1.pdf Part I], [http://neo-classical-physics.info/uploads/3/0/6/5/3065888/geodesic_fields_-_pt._2.pdf Part II].

{{Analysis-footer}}
{{Authority control}}

[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with short description]]
[[Category:CS1 français-language sources (fr)]]
[[Category:CS1 maint]]
[[Category:CS1 Ελληνικά-language sources (el)]]
[[Category:Citation Style 1 templates|W]]
[[Category:Collapse templates]]
[[Category:Created On 25/11/2022]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Multi-column templates]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages that use a deprecated format of the math tags]]
[[Category:Pages using div col with small parameter]]
[[Category:Pages using sidebar with the child parameter]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates based on the Citation/CS1 Lua module]]
[[Category:Templates generating COinS|Cite web]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates used by AutoWikiBrowser|Cite web]]
[[Category:Templates using TemplateData]]
[[Category:Templates using under-protected Lua modules]]
[[Category:Wikipedia fully protected templates|Div col]]
[[Category:Wikipedia metatemplates]]
[[Category:विविधताओं की गणना| ]]
[[Category:वेक्टर रिक्त स्थान में अनुकूलन]]