حساب دیفرانسیل

نمودار تابع به رنگ سیاه و خط مماس بر تابع به رنگ قرمز. شیب خط مماس باجهت مثبت محور طول هامعادل مشتق تابع در نقطهٔ مشخص‌شده‌است.

{{این مطلب از واژگان تازه فارسی شده استفاده می کند بی انکه معادل جهانی یا حتی انگلیسی آن را آورده باشد. بنابراین مطلب غیر قابل فهم می شود. اینجانب بیش از ۵۵ سال سن دارم و در حیطه ادبیات فارسی یک خواننده و مخاطب حرفه‌ای هستم. در نویسندگی مقالات هنری، فلسفی و تاریخی دستی بر آتش دارم اما این مطلب برای اولین بار گزاره های فارسی غیر قابل فهم برایم داشت. در جستجوی گوگل هم حتی نمیتوان این معادل سازی را پیدا کرد. انگار کن به هزوارش نوشته شده است. }} در ریاضیات، حساب دیفرانسیل (دگرسانه ایی) یکی از زیرگردآورشهای حسابان است که به پرهانش نرخ تغییرات کمی ها می‌پردازد. این حساب یکی از دو بخش سنتی حسابان است که بخش دیگر آن، حساب انتگرال است.

هدف اصلی پرهانش حساب دیفرانسیل، محاسبهٔ تغیرات یک تابع و کاربردهای آن است. مشتق تابع در یک نقطهٔ دلخواه، نرخ تغییرات تابع در آن نقطه را بیان میکند و یا می استاهد (explain). فراروند یافتن مشتق، مشتق‌گیری نامیده می‌شود. از نظر هندسی، مشتق در یک نقطه شیب خط مماس روی نمودار تابع با جهت مثبت محور طول‌ها در همان نقطه است؛ به شرطی که مشتق در آن نقطه موجود باشد. مشتق تابع حقیقی یک‌متغیره در هر نقطه، بهترین تقریب خطی برای تابع در آن نقطه است.

حساب دیفرانسیل و حساب انتگرال با قضیهٔ اساسی حسابان به یکدیگر مرتبط می‌شوند. این قضیه بیان می‌کند که مشتق‌گیری همان وارون انتگرال‌گیری است.

مشتق‌گیری تقریباً در همهٔ علوم کمّی کاربرد دارد. برای نمونه، در فیزیک، مشتق جابجایی یک جسم متحرک برحسب زمان نشان دهندهٔ سرعت آن جسم و مشتق سرعت برحسب زمان بیانگر شتاب است. مشتق زمان تکانهٔ P یک جسم برابر با نیروی وارد بر آن جسم است و بازنویسی این مشتق‌گیری هموگش آشنای $F = m a$ را، که هم-پتواز coresponding با قانون دوم حرکت نیوتن است، به دست می‌دهد. نرخ واکنش یک واکنش شیمیایی، یک مشتق است. مشتقات در تحقیق در عملیات، پربازده‌ترین روش‌های حمل مواد و طراح کارخانه‌ها را تعیین می‌کنند.

مشتقات برای یافتن بیشینه و کمینهٔ یک تابع نیز به کار می‌روند. هموگشهای دربرگیرندهٔ مشتقها، معادلات دیفرانسیل (هموگشان دگرسانه ایی) نامیده می‌شوند و در استاهیدن پدیده‌های زاستاری (natur زا و زایش) دارای اهمیت هستند. از مشتقات و هروین generalize آن‌ها در بسیاری از شاخه‌های ریاضیات، مانند آنالیز مختلط، آنالیز تابعی، هندسهٔ دیفرانسیل، نظریهٔ اندازه و جبر مجرد بهره برده می‌شود.

مشتق

فرض کنید x و y دو عدد حقیقی هستند و y تابعی از x است، یعنی برای هر اندازه x یک اندازه هم-پتواز y هست. این رابطه را می‌توان به صورت $y = f (x)$ نوشت. اگر $f (x)$ معادلهٔ خط راست باشد، دو عدد حقیقی m و b وجود دارند که $y = mx + b$ . در این رابطه، m شیب نامیده می‌شود و از رابطهٔ زیر محاسبه پذیر است:

m={\frac {{\text{change in }}y}{{\text{change in }}x}}={\frac {\Delta y}{\Delta x}}

که در آن Δ (حرف یونانی بزرگ دلتا) نماد تغییرات است. عبارت بالا نتیجه می‌دهد که $Δ y = m Δ x$ .

تابع‌ها عموماً خطی نیستند، یعنی شیب ثابت ندارند. از نظر هندسی، مشتق f در نقطهٔ x=a شیب خط مماس بر تابع f در نقطهٔ a است که معمولاً به صورت $f'(a)$ در نمادگذاری لاگرانژی یا $/* start https://fa.wikipedia.org/ */ .mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px} /* end https://fa.wikipedia.org/ */ dy/dx|x = a$ در نمادگذاری لایبنیتزی نمایش داده می‌شود. از آنجایی که مشتق همان شیب تقریب خطی f در نقطهٔ a است، مشتق بهترین تقریب خطی f در نزدیکی a را به دست می‌دهد.

اگر همهٔ نقاط a در دامنهٔ f مشتق‌پذیر باشند، تابعی هست، که برای هر نقطهٔ a مشتق f را برمی‌گرداند. برای نمونه اگر $f (x) = x 2$ آنگاه تابع مشتق برابر است با $f'(x) = dy / dx = 2 x$ .

تاریخ مشتق

مفهوم مشتق در شکل خط مماس تاریخ بسیار کهنی دارد و برای هندسه‌دانان یونانی از جمله اقلیدس، ارشمیدس و آپولونیوس شناخته‌شده بوده‌است.^[۱] ارشمیدس مفهوم بی‌نهایت کوچک را معرفی کرد، هرچند که این مفهوم برای پرهانش سطح‌ها و حجم‌ها به کار می‌رفت و توجهی به مشتق‌ها و مماس‌ها نمی‌شد.

می‌توان بهره‌گیری از بی‌نهایت کوچک‌ها برای پرهانش نرخ تغییرات را در ریاضیات هند از حدود سال ۵۰۰ میلادی مشاهده کرد. آریابهاتا که اخترشناس و ریاضی‌دان بود، از این بگرت (از گرفتن) concept برای پرهانش حرکت ماه استفاده کرد.^[۲] باسکارای دوم توسعهٔ قابل توجهی در استفاده از بی‌نهایت کوچک‌ها برای محاسبهٔ نرخ تغییرات ایجاد کرد. می‌توان گفت^[۳] که بسیاری از تعریف‌های کلیدی در حساب دیفرانسیل از جمله قضیهٔ رل، در کارهای او دیده می‌شود.^[۴] شرف‌الدین طوسی، ریاضی‌دان ایرانی، نخستین کسی بود که مشتق چندجمله‌ای‌های درجه سه را کشف کرد.^[۵] کتاب فی المعادلات او، بگرتهایی از جمله تابع مشتق و بیشینه و کمینهٔ منحنی را برای حل هموگشها درجه سه که ممکن است جواب مثبت نداشته باشند، توسعه داد.^[۶]

توسعهٔ نوین حسابان مدیون آیزاک نیوتن و گوتفرید لایبنیتس است که رویکردهای مستقل و یکسانی را برای مشتق‌گیری و مشتقات فراهم کردند. نکتهٔ اصلی که این اعتبار را به آن‌ها داد، قضیهٔ اساسی حسابان بود که مشتق و انتگرال را به یکدیگر مرتبط می‌کرد. این قضیه، بسیاری از روش‌های پیشین برای محاسبهٔ سطح‌ها و حجم‌ها را که از دوران ابن هیثم توسعهٔ چندانی نیافته بودند، منسوخ کرد.^[۷] نیوتن و لایبنیتس پژوهشهای خود دربارهٔ مشتق را بر کارهای مهم انجام شده توسط ریاضی‌دانان پیشین از جمله پیر دو فرما، آیزاک بارو، رنه دکارت، کریستیان هویگنس، بلز پاسکال و جان والیس بنا کردند. نیوتن نخستین کسی بود که از مشتق در فیزیک نظری بهره گرفت. لایبنیتس بسیاری از نمادها را گسترش داد که اکنون نیز به کار می‌روند.

از سدهٔ هفدهم میلادی بسیاری از ریاضی‌دانان در زمینهٔ مشتق پژوهش کرده‌اند. در سدهٔ نوزدهم، ریاضی‌دانان دیگری از جمله آگوستین لویی کوشی، برنهارت ریمان و کارل وایرشتراس پژوهش در این زمینه را تکمیل کردند. در همین دوره، مشتق به فضای اقلیدسی و صفحهٔ مختلط هروین داده شد.

کاربردهای مشتقات

بهینه‌سازی

اگر f تابعی مشتق‌پذیر در دامنهٔ ℝ (یا روی یک بازهٔ باز) باشد و x یک بیشینه و کمینه موضعی f باشد، مشتق f در x صفر است. نقاطی که در آن‌ها مشتق f صفر است، نقاط بحرانی یا نقاط مانا نامیده می‌شوند. برای بررسی وضعیت نقطهٔ بحرانی، مشتق دوم محاسبه می‌شود:

اگر مثبت باشد، x کمینهٔ محلی است؛
اگر منفی باشد، x بیشینهٔ محلی است؛
اگر صفر باشد، وضعیت آن با بررسی مشتق دوم مشخص نمی‌شود.

این روش، آزمون مشتق دوم نامیده می‌شود. در روشی دیگر که آزمون مشتق اول نامیده می‌شود، علامت $f'$ در دو سوی نقطهٔ بحرانی بررسی می‌شود.

غالباً مشتق‌گیری و تعیین نقاط بحرانی، روش ساده‌ای برای یافتن کمینه‌ها و بیشینه‌های محلی است و در بهینه‌سازی قابل استفاده است. بر پایهٔ قضیهٔ مقدار نهایی، یک تابع پیوسته روی یک بازهٔ بسته باید دست‌کم یک مقدار بیشینه و کمینه داشته باشد. اگر تابع مشتق‌پذیر باشد، کمینه و بیشینه تنها می‌توانند در نقاط بحرانی یا نقاط انتهایی ظاهر شوند.

هم‌چنین در رسم نمودار، از این مفهوم استفاده می‌شود. پس از به دست آوردن نقاط بحرانی یک تابع مشتق‌پذیر، می‌توان نمودار تقریبی را با بررسی فرازان یا فرودان (ascendant and descendant) بودن تابع میان نقاط بحرانی رسم کرد.

در ابعاد بالاتر، نقطهٔ بحرانی تابع اسکالر نقطه‌ای است که گرادیان صفر باشد. آزمون مشتق دوم می‌تواند برای واکاوی نقاط بحرانی قابل بهره‌گیری باشد. به این منظور، مقدارهای ویژهٔ ماتریس هشین مشتقات جزئی دوم تابع در نقطهٔ بحرانی محاسبه می‌شوند. اگر همهٔ ویژ-ارزه ها Eigenvalue مثبت باشند، کمینهٔ محلی و اگر همه منفی باشند، بیشینهٔ محلی است. اگر برخی مثبت و برخی منفی باشند، نقطهٔ زینی است و اگر هیچ‌یک از موارد بالا نباشد (مثلاً برخی از ویژ-ارزه ها صفر باشند) آزمون بی‌نتیجه است.

حساب تغییرات

نمونه‌ای از مسائل بهینه‌سازی، یافتن کوتاه‌ترین مسیر میان دو نقطه روی یک سطح، با شرط قرار داشتن مسیر روی سطح است. اگر سطح مورد نظر یک صفحه باشد، کوتاه‌ترین مسیر خط راست است؛ ولی در سطح‌های دیگر، نمی‌توان کوتاه‌ترین مسیر را به سرعت مشخص کرد. این مسیرها ژئودزیک نامیده می‌شوند و یکی از ساده‌ترین مسائل حساب تغییرات، محاسبهٔ ژئودزیک‌ها است. نمونهٔ دیگر، یافتن کوچک‌ترین سطح پر شده توسط یک خم بسته در فضا است. این سطح، سطح کمینه نامیده می‌شود و می‌توان آن را با حساب تغییرات محاسبه کرد.

فیزیک

حسابان در فیزیک دارای اهمیت حیاتی است. بسیاری از فرایندهای فیزیکی با معادلات شامل مشتقات توصیف می‌شوند و معادلات دیفرانسیل خوانده می‌شوند. فیزیک به‌ویژه با تغییرات کمیت‌ها در زمان سر و کار دارد و مفهوم مشتق زمانی (نرخ تغییر در زمان) برای تعریف دقیق چند مفهوم مهم، ضروری است. به‌طور خاص، مشتقات زمانی موقعیت جسم در فیزیک نیوتنی دارای اهمیت هستند:

سرعتلحظه‌ای یک جسم، مشتق جابجایی آن برحسب زمان است.
شتابلحظه ای یک جسم، مشتق سرعت آن برحسب زمان و مشتق دوم جابجایی جسم است

برای نمونه، موقعیت جسم روی خط مستقیم به صورت زیر است:

x(t)=-16t^{2}+16t+32

بنابراین سرعت آن برابر است با:

{\dot {x}}(t)=x'(t)=-32t+16

و شتاب آن برابر است با:

{\ddot {x}}(t)=x''(t)=-32

که مقداری ثابت است.

معادلات دیفرانسیل

معادلهٔ دیفرانسیل (هموگش دگرسانه ایی)، رابطه‌ای میان گردآورشی از تابع‌ها و مشتقات آن‌ها است. معادلهٔ دیفرانسیل معمولی گونه‌ای از معادلهٔ دیفرانسیل است که رابطهٔ میان تابع‌هایی از یک متغیر و مشتقات آن‌ها را نشان می‌دهد. معادلهٔ دیفرانسیل جزئی نوعی معادلهٔ دیفرانسیل است که رابطهٔ تابع‌هایی با بیش از یک متغیر و مشتقات جزئی آن‌ها را بیان می‌کند. معادلات دیفرانسیل در علوم فیزیکی، مدل‌سازی ریاضی و ریاضیات دیده می‌شوند. برای نمونه، می‌توان قانون دوم نیوتن که رابطهٔ میان شتاب و نیرو را توصیف می‌کند، به صورت معادلهٔ دیفرانسیل معمولی نوشت:

F(t)=m{\frac {d^{2}x}{dt^{2}}}

معادلهٔ گرمای یک‌بعدی که انتشار گرما در میلهٔ راست را توصیف می‌کند، گونه‌ای از معادلات دیفرانسیل جزئی است:

{\frac {\partial u}{\partial t}}=\alpha {\frac {\partial ^{2}u}{\partial x^{2}}}

که در آن $u (x, t)$ دمای میله در موقعیت x و زمان t است و a ثابتی است که وابسته به سرعت انتشار گرما در میله است.

قضیهٔ مقدار میانگین

قضیهٔ مقدار میانگین رابطه‌ای میان مقادیر مشتق و مقادیر تابع اصلی را به دست می‌دهد. اگر $f (x)$ تابعی حقیقی باشد و a و b دو عدد باشند که $a < b$ ، قضیهٔ مقدار میانگین بیان می‌کند که شیب میان دو نقطهٔ $(a, f (a))$ و $(b, f (b))$ برابر با شیب خط مماس بر f در نقطه‌ای مانند c میان دو نقطهٔ a و b است. به عبارت دیگر:

f'(c)={\frac {f(b)-f(a)}{b-a}}

کاربرد قضیهٔ مقدار میانگین، وارسی تابع با استفاده از مشتق آن است.

چندجمله‌ای‌های تیلور و سری تیلور

مشتق تابع $f (x)$ ، بهترین تقریب خطی ممکن آن را در نقطهٔ دلخواه $x 0$ ارائه می‌دهد؛ ولی این تقریب می‌تواند بسیار متفاوت از مقدار واقعی باشد. یکی از شیوه‌های بهبود تقریب، بهره‌گیری از تقریب درجه دوم است. به بیان ریاضی، تقریب خطی تابع حقیقی به صورت $a + b (x - x 0)$ است، در حالی که ممکن است چندجمله‌ای درجه دوم به صورت $a + b (x - x 0) + c (x - x 0) 2$ تقریب دقیق‌تری از تابع باشد. با افزایش درجهٔ چندجمله‌ای می‌توان تقریب‌های بهتری را نیز به دست آورد. برای این چندجمله‌ای‌ها باید بهترین گزینهٔ ممکن برای تعیین ضرایب a و b و غیره موجود باشد که تقریب را تا جای ممکن بهبود بخشد.

در همسایگی $x 0$ ، همواره بهترین تقریب برای a مقدار تابع $f (x 0)$ و برای b مقدار $f' (x 0)$ است. برای درجه‌های بالاتر نیز می‌توان این ضرایب را برحسب مشتقات مرتبه‌های بالاتر f محاسبه کرد. با این روش می‌توان ضرایب چندجمله‌ای تیلور را به دست آورد. قضیهٔ تیلور کران دقیقی را برای کیفیت تقریب می‌دهد.

حد چندجمله‌ای تیلور در بی‌نهایت، بسط تیلور نامیده می‌شود. بسط تیلور تقریب بسیار خوبی برای تابع اصلی است. تابع‌هایی که برابر با بسط تیلور خود هستند، تابع تحلیلی خوانده می‌شوند. توابع دارای ناپیوستگی یا گوشه‌های تیز، هرگز نمی‌توانند تحلیلی باشند؛ ولی برخی توابع نرم نیز تحلیلی نیستند.

جستارهای وابسته

منابع

↑ کتاب اصول اقلیدس و O'Connor, John J.; Robertson, Edmund F., "Apollonius of Perga", MacTutor History of Mathematics archive, University of St Andrews را ببینید.
↑ O'Connor, John J.; Robertson, Edmund F., "Aryabhata the Elder", MacTutor History of Mathematics archive, University of St Andrews.
↑ Ian G. Pearce. Bhaskaracharya II. بایگانی‌شده در ۱ سپتامبر ۲۰۱۶ توسط Wayback Machine
↑ Broadbent, T. A. A.; Kline, M. (October 1968). "Reviewed work(s): The History of Ancient Indian Mathematics by C. N. Srinivasiengar". The Mathematical Gazette. 52 (381): 307–8. doi:10.2307/3614212. JSTOR 3614212.
↑ J. L. Berggren (1990). "Innovation and Tradition in Sharaf al-Din al-Tusi's Muadalat", Journal of the American Oriental Society 110 (2), p. 304-309.
↑ O'Connor, John J.; Robertson, Edmund F., "Sharaf al-Din al-Muzaffar al-Tusi", MacTutor History of Mathematics archive, University of St Andrews
↑ Victor J. Katz (1995), "Ideas of Calculus in Islam and India", Mathematics Magazine 68 (3): 163-174 [165-9 & 173-4]

[1] کتاب اصول اقلیدس و O'Connor, John J.; Robertson, Edmund F., "Apollonius of Perga", MacTutor History of Mathematics archive, University of St Andrews را ببینید.

[2] O'Connor, John J.; Robertson, Edmund F., "Aryabhata the Elder", MacTutor History of Mathematics archive, University of St Andrews.

[3] Ian G. Pearce. Bhaskaracharya II. بایگانی‌شده در ۱ سپتامبر ۲۰۱۶ توسط Wayback Machine

[4] Broadbent, T. A. A.; Kline, M. (October 1968). "Reviewed work(s): The History of Ancient Indian Mathematics by C. N. Srinivasiengar". The Mathematical Gazette. 52 (381): 307–8. doi:10.2307/3614212. JSTOR 3614212.

[5] J. L. Berggren (1990). "Innovation and Tradition in Sharaf al-Din al-Tusi's Muadalat", Journal of the American Oriental Society 110 (2), p. 304-309.

[Sharaf-6] O'Connor, John J.; Robertson, Edmund F., "Sharaf al-Din al-Muzaffar al-Tusi", MacTutor History of Mathematics archive, University of St Andrews

[Katz-7] Victor J. Katz (1995), "Ideas of Calculus in Islam and India", Mathematics Magazine 68 (3): 163-174 [165-9 & 173-4]

[۱]

[۲]

[۳]

[۴]

[۵]

[۶]

[۷]