حساب المتغيرات

حساب التغيرات هو من مجالات التحليل الرياضي الذي يتعامل مع زيادة أو تقليل تابعي الدوال التي هي عبارة عن تعيينات من مجموعة من الدوال إلى أعداد حقيقية. غالباً ما يتم التعبير عن تابعات الدوال هذه بتكاملات محددة تشمل الدوال ومشتقاتها. ويكون الاهتمام بالمتغيرات التي تجعل الدوال تصل إلى قيمة عظمى أو صغرى  التي يكون فيها معدل التغير صفر.
مثال بسيط لهذه المشكلة هو إيجاد منحنى له أقصر طول يربط بين نقطتين. إذا لم يكن هناك أية قيود، فمن الواضح أن الحل خط مستقيم بين نقطتين. ومع ذلك، إذا كان المنحنى مقيد بأن يقع على سطح في الفضاء، إذا فالحل أقل وضوحاً، وربما العديد من الحلول قد تكون موجودة. هذه الحلول معروفة باسم الخطوط الجيوديسية . ومن المشاكل ذات الصلة يعرضها مبدأ فيرما : الضوء يتبع طريق أقصر طول ضوئي يربط بين نقطتين ، حيث أن الطول الضوئي يعتمد على المادة المكونة للوسط .من المفاهيم في الميكانيكا هو مبدأ أقل عمل.
العديد من المشاكل الهامة تشمل دوال بها عدة متغيرات. حلول المشاكل التي بها قيمة للحدود لمعادلة لابلاس تلبي  مبدأ ديريتشليت. مشكلة بلاتو تتطلب إيجاد مساحة أقل منطقة التي تمتد في محيط معين في الفضاء. على الرغم من أن مثل هذه التجارب سهلة نسبياً للتنفيذ، فإن تفسيرها الرياضي أبعد ما يكون عن البساطة: قد يكون هناك واحد أو أكثر من الأسطح ذي مساحة دنيا.

التاريخ

حساب المتغيرات يمكن القول أنه بدء مع مشكلة منحنى براتشيستوتشروني التي أثارتها يوهان بيرنولي (1696). احتل فورا انتباه ياكوب بيرنولي وغييوم دي لوبيتال، ولكنليونارد أويلر  الذي بدأت اسهاماته عام 1733 شرح أولا هذا الموضوع. ساهم لاجرانج إلى حد كبير في النظرية، و ليجاندر (1786) وضع نظرية ولكنها ليست بالكامل مرضية للتفريق بين القيمة القصوى والدنيا. إسحاق نيوتن وجوتفريد لايبنتز أعطوا أيضا بعض الاهتمام المبكر لهذا الموضوع. لهذا التمييز فينتشنزو بروناكسي (1810)، كارل فريدريش جاوس (1829)، سيميون بواسون (1831)، وميخائيل أوستروجرادسكي (1834)،و كارل جاكوبي (1837) كانو من بين المساهمين. وكان هناك عمل هام من ساروس (1842) الذي كثف وتم تحسينه بواسطة كوشي (1844). ومن بعض الاطروحات القيمة كتبت بواسطة ستراك (1849)، جيليت (1850)، أوتو هيس (1857)، الفريد كليبش (1858)، و كارل ((1885 ، ولكن ربما كان أهم أعمال القرن هو الذي قام به ويرستراس. احتفل بالطبع بالنظرية لكونها صانعة عهداَ جديداً، وأنه قد أكد أنه كان أول من وضع النظرية على أساس راسخ ولا يرقى إليه الشك. مشكلة هيلبرت العشرين والثالثة والعشرين نشرت في عام 1900 شجعت على زيادة التطوير.[2] في القرن العشرين قام دايفيد هيلبرت , إيمي نويثر، ليونيد تونيلي، هنري ليبيسج وجاك هادامارد بين أخرين ممن قدموا مساهمات كبيرة. طبق مارستون مورس حساب المتغيرات في ما يسمى الآن بنظرية مورس. ليف بونترياجين، رالف روكافيلرو كلارك طوروا أداه رياضية جديدة لحساب المتغيرات في نظرية التحكم الأمثل. البرمجة الديناميكية للريتشارد بيلمان هي بدله لحساب المتغيرات.

القيم القصوى

حساب المتغيرات معني بالحدود العظمى أو الدنيا للدوال، التي تسمى مجتمعة القيم القصوى. تعتمد تابعة الدالة الرياضية على دالة، مشابهة إلى حد ما للطريقة التي يمكن أن تعتمد بها دالة على متغير عددي، وهكذا تم وصف تابعة الدالة الرياضية كدالة لدالة. تابعات الدوال لها قيم قصوى سواء عظمى أو دنيا بالنسبة للعناصر y لفضاء دالة معطاة ومعرفة عبر مجال معطى.
الدالة J [ y ]  يقال أن يكون لها قيمة قصوى في الدالة f     إذا كانΔJ = J [ y ]  - J [ f]  له نفس الإشارة لكل y في أحد الأحياء العشوائية الصغيرة المجاورة عند  f .  والدالة  f تسمى دالة قصوى. والقيم القصوى للدالة J [ f ]  تكون عظمى إذا كان ΔJ ≤ 0  في كل مكان في أحد الاحياء العشوائية الصغيرة المجاورة،ودنيا إذا كان ΔJ ≥ 0  . لفضاء دالة متصلة ، قيم قصوى مقابلة لتابعة دالة تسمى ضعيفة او قوية اعتماداً على إذا كان المشتقات الأولى للدالة المتصلة هيه أيضا متصلة أم لا.
لتعريف أكثر تفصيلاً لقيم القصوى الضعيفة والقوية يشتمل على مفهوم المعيار لدالة في فضاء الدالة، الذي له دور مشابه لطول متجه في فضاء المتجه. إذا كان y عنصر من عناصر فضاء الدالة C(a,b) لجميع  الدوال المتصلة التي تم تعريفها في فترة زمنية مغلقة [a,b] ، فالمعيار norm  || y ||₀ المعرف على C(a,b)  هو قيمة الحد الأقصى المطلق y (x)  عند  a ≤ x ≤ b.
وبالمثل، إذا كان y عنصر من عناصر فضاء الدالة  D₁(a,b)  لجميع دوال من C(a,b)  التي لديها المشتقات الأولى متصلة، فالمعيار'norm  || y ||₁  المعرف في D₁(a,b)  هو مجموع قيمة الحد الأقصى المطلق y (x)  وقيمة الحد الأقصى المطلق للمشتقة الاولى المطلقة y ′(x) عند a ≤ x ≤ b.
الدالة J [ y ] يقال أن لها قيم قصوى ضعيفة في الدالة  f  إذا وجد بعض δ> 0 ، حيث أن  J [ y ] - J [ f]  لها نفس الإشارة لكل الدوال  y ∈ D₁(a,b)  مع   || y - f ||₁ <δ. وبالمثل، الدالة J [ y ]  يقال أن لها قيم قصوى عظمى في الدالة f  إذا وجد δ> 0  حيث أن  J [ y ] - J [ f] لها نفس الإشارة لكل الدوال y ∈ C (a,b)  مع || y - f ||₀ <δ.
كلا القيم القصوى القوية والضعيفة على حد سواء لدالة هم لفضاء دالة متصلة ولكن القيم القصوى الضعيفة لها احتياجات إضافية حيث تكون المشتقات الأولى للدالة في الفضاء متصلة . ولذا القيم القصوى العظمى هي أيضاً  قصوى ضعيفة ،ولكن لا يجوز إجراء العكس. إيجاد القيم القصوى العظمى أصعب من العثور على القيم القصوى الضعيفة. مثال على الشرط الضروري الذي يتم استخدامها للعثور على القيم القصوى الضعيفة هي معادلة أويلر – لاغرانج.