تفاضل محدود (انگلیسی: Finite difference) تفاضل محدود بیان ریاضی عبارت (f(x + b) − f(x + a می‌باشد. اگر یک تفاضل محدود بر b – a تقسیم شود، خارج قسمت تفاضلی خواهیم داشت. تقریب مشتقات در تفاضل محدود نقش مهمی را در روش‌های تفاضل محدود گرفتن برای راه حل عددی معادلات دیفرانسیل، به خصوص مسائل مقدار مرزی، ایفا می‌کند. روابط بازگشتی معین را می‌توان به صورت معادلات تفاضلی با جایگزین کردن نمادگذاری تکراری با تفاضلات محدود نوشت. امروزه، اصطلاح «تفاضل محدود» به عنوان مترادف تقریبات تفاضل محدود مشتقات، مخصوصاً در زمینه روش‌های عددی می‌باشد. تقریبات تفاضل محدود، در واقع همان خارج قسمت‌های تفاضلی محدود در اصطلاحات به کار رفته در بالا می‌باشد.[۱][۲][۳] تفاضلات محدود، موضوع مطالعه اشیای ریاضی خود-اتکای مطلق می‌باشد و افرادی چون: جورج بول(۱۸۶۰)، مایلن تامسون(۱۹۳۳) و کارلی جوردن(۱۹۳۹)، که اصول آن به ایساک نیوتون برمیگردد، در این زمینه کار کردند. در این دیدگاه، احتساب رسمی تفاضل محدود همانند احتساب چیزهای بی‌نهایت کوچک است.

تفاضل پیشین، پسین و مرکزی (در بازه)

ویرایش

۳ شکل متداول وجود دارد:تفاضل پیشین، پسین و مرکزی. تفاضل پیشین بیانگر عبارت زیر می‌باشد.

 

در کاربرد، ناحیه h می‌تواند ثابت یا متغیر باشد. اگر حذف شده باشد، باید h را ۱ در نظر بگیریم:  .

تفاضل پسین، از مقادیر تابعی x و x – h به جای x+h و x استفاده می‌کند:

 

و در نهایت، تفاضل مرکزی به صورت زیر داده می‌شود:

 

رابطه با مشتق

ویرایش

مشتق تابع f در نقطه x به صورت حد تعریف می‌شود:

 

اگر h یک مقدار ثابت (غیر صفر) داشته باشد، در عوض نزدیک شدن به صفر [حدی]، آنگاه سمت راست رابطه فوق به صورت زیر نوشته می‌شود:

 

بنابراین، تفاضل پیشین تقسیم شده بر h، وقتی h کوچک باشد تقریب مشتق خواهد بود. خطای این تقریب را می‌توان با نظریه تیلور مشخص کرد. فرض کنید که f دیفرانسیل‌پذیر باشد، آنگاه خواهیم داشت:

 

فرمول مشابه برای تفاضل پسین:

 

با این حال، تفاضل مرکزی تقریب دقیق‌تری را داراست. اگر f دو بار دیفرانسیل‌پذیر باشد، داریم:

 

مشکل اصلی در روش تفاضل مرکزی، این است که توابع نوسانی مشتق صفر را دارند. اگر f(nh)=۱ که n فرد می‌باشد، و f(nh)=۲ که n زوج می‌باشد، آنگاه f’(nh)=۰ که به صورت تفاضل مرکزی محاسبه می‌شود. حال اگر دامنه تابع f گسسته باشد، مشکلاتی خواهیم داشت. کسانی که تفاضلات محدود به معنای تقریبات تفاضل محدود می‌باشد، تفاضلات مرکزی/پسین/پیشین را همانند خارج قسمت داده شده در این بخش تعریف کنند (در عوض به کار گرفتن تعریف داده شده در بخش قبلی)[۱][۲][۳]

تفاضلات مراتب بالاتر

ویرایش

به‌طور متشابه می‌توان تقریبات تفاضل محدود را به مشتقات مراتب بالاتر و عملگرهای دیفرانسیلی تعمیم داد. به عنوان مثال، با استفاده از فرمول تفاضل مرکزی برای (f ' (x+h/2 و (f ' (x-h/2 و به کارگیری فرمول تفاضل محدود مرکزی برای مشتق 'f در نقطه x، می‌توان تقریب تفاضل محدود مشتق دوم f را به دست آورد: مرتبه دوم مرکزی:

 

و همچنین می‌توان از فرمول‌های تفاضلی دیگر نیز در به شیوه گذشته استفاده کرد: مرتبه دوم پیشین:

 

به‌طور کلی تر، تفاضل مرتبه nام پیشین، پسین و مرکزی به صورت زیر بیان می‌شود: پیشین:

 

برای h=۱:

 

پسین:

 

مرکزی:

 

در این روابط از ضریب ۲ جمله ای بعد ازعلامت مجموع به صورت | استفاده شده‌است. هریک از سطور مثلث پاسکال یک ضریب را به ازای هر i ایجاد می‌کند. توجه داشته باشید که تفاضل مرکزی ضریب غیر صحیح h(برای nفرد) را دارا خواهد بود. این یک مسئله است؛ زیرا مقداری می‌گیرد که ورود گسسته را تغییر می‌دهد. این مشکل را می‌توان به محاسبه میانگین | و | اصلاح نمود. تفاضلات پیشین در دنباله، همان تبدیل ۲جمله آن دنباله، ویژگی‌های ترکیبی جالب زیادی دارد. تفاضلات پیشین را می‌توان با انتگرال خاص نورلاند-رایس سنجید. اراده انتگرال برای این گوونه سری‌ها جالب است! زیرا انتگرال را می‌توان با استفاده از بسط مجانب یا نقطه زینی شکل، مورد ارزیابی قرار داد. در مقابل، سنجش عددی سری‌های تفاضل پیشین، کار بسیار مشکلی است؛ زیرا بسط ۲ جمله ای برای nهای بزرگ رشد سریعی دارد. ارتباط تفاضلات مراتب بالاتر و مشتقات نسبی به ترتیب زیر می‌باشد:

 

از تفاضلات مراتب بالاتر می‌توان برای تقریبات بهتر بهره برد. همان‌طور که در بالا بیان شد، تفاضل مرتبه اول مشتق مرتبه اول را تا مرتبه h تقریب می‌زند. با این حال ترکیب

 

f'(x) را تا مرتبه h2 تقریب می‌زند. این را می‌توان با بسط دادن سری تیلور عبارت بالا ثابت کرد، یا با احتساب تفاضلات محدود که در زیر بیان شد. اگر لازم باشد، تفاضل محدود را می‌توان در هر نقطه مرکزی کرد با ترکیب تفاضلات مرکزی، پیشین و پسین.

هسته‌هایی با اندازه تصادفی

ویرایش

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

ویژگی‌ها

ویرایش
  • برای هر k و n مثبت:
 
  • قانون لایب نیتز:
 

روش‌های تفاضل محدود

ویرایش

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

سری‌های نیوتون

ویرایش

سری‌های نیوتون دربردارنده جملات معادله تفاضل پیشین نیوتون است که بعد از نیوتون نام‌گذاری شد. در ماهیت، این فرمول الحاقی نیوتون می‌باشد، که اولین بار اصول ریاضی خود در سال ۱۶۸۷ چاپ شد. اسما آنالوگ گسستهٔ بسط تیلور پیوسته نیز می‌باشد.[۴]

 

که هر تابع چندجمله‌ای و تحلیلی (نه همهٔ آن‌ها) را پوشش می‌دهد. بسط زیر

 

ضریب ۲ جمله ای نام دارد، و

 

فاکتوریل نزولی می‌باشد، درحالی حاصل صفر ۱ تعریف می‌شود. در این مثال خاص، فرض پله‌های واحد برای تغییرات در مقادیر x و h=۱ در کل وجود دارد. به تناظر این نتیجه با نظریه تیلور توجه داشته باشید. مورخا، همانند مفهوم چو-واندرموند، (تعمیم این رابطه و متناظر نظریه ۲ جمله ای)

 

دیدگاه‌های تعمیم یافته سامانه حسابی آمبرال شامل شده‌است. برای بیان این که چطور یک نفر از فرمول نیوتون در تمرینات خود استفاده می‌کند، دوبرابر جملات اول و کوتاه دنباله فیبوناتچی را در نظر بگیرید. f = ۲, ۲, ۴, …. هرکسی می‌تواند چندجمله‌ای از این مقادیر را پیدا کند. در ابتدا جدول تفاضلی را حساب کنیم و سپس تفاضلات را جایگزین کنیم متناظر x0 در فرمول همانند زیر:

 

برای حالتی که واحدهای مقادیر x یک اندازه نیستند، نیوتون قدر نسبت را محاسبه می‌کند.

 

حاصل سری‌ها

 

و چندجمله ای نهایی حاصل اسکالر می‌باشد.   .[۵]

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

 

محاسبهٔ تفاضلات محدود

ویرایش

تفاضل پیشین را می‌توان همانند عملگر تفریق در نظر گرفت،[۶][۷] به طوری که تابع f بر Δh[f ] مپ می‌شود. برای این عملگر داریم:

 

Th عملگر جابجایی به اندازه h واحد، که به صورت Th[f ](x) = f(x+h) تعریف شده و I عملگر همانی می‌باشد. تفاضل محدود مراتب بالاتر را می‌توان به شکل بازگشتی Δhn ≡ Δhhn−1) نوشت. تعریف معادل دیگر نیز بدین صورت می‌باشد: Δhn = [ThI]n عملگر تفاضل Δh یک عملگر خطی بوده و با استفاده از قانون ویژه لایب نیتز که در بالا اشاره شد:

Δh(f(x)g(x)) = (Δhf(x)) g(x+h) + f(x) (Δhg(x)). جملات مشابه در تفاضلات پسین و مرکزی را می‌توان به دست آورد.

با استفاده از '''سری‌های تیلور''' نسبت به h، فرمول زیر به دست می‌آید:

 

که D عملگر مشتق پیوسته می‌باشد که f را به مشتق خود f' مپ می‌کند. بسط زمانی قابل قبول است که هر دو وجه برای h به اندازه کافی کوچک دارای توابع تحلیلی باشند؛ بنابراین Th=ehD و با تبدیل توان داریم:

 

این فرمول بیانگر این است که هردو عملگر نتیجه یکسانی در به کارگیری چندجمله ای دارند. هم چنین برای توابع تحلیلی، سری سمت راست الزاماً همگرا نیست و ممکن است که یک سری مجانب باشد. با این حال، می‌توان از آن برای تقریبات دقیق مشتقات بهره برد. برای مثال، نگه داشتن دو جمله از سری، بیانگر مرتبه دوم بودن تقریب f’(x) است که در انتهای قسمت تفاضلات مراتب بالاتر بیان شد. فرمول‌های مشابه، برای عملگرهای تفاضلات محدود پسین و مرکزی:

 

محاسبهٔ تفاضلات محدود مربوط محاسبه آمبرال تعداد راه‌های انجام آن]ترکیب[می‌باشد. در ارتباط سیستمی، سبب مفهوم کاموتاتورهای مقادیر آمبرال به آنالوگ پیوسته خود می‌باشد (حد h→۰)

 

تعداد زیادی محاسبه استاندارد رابطه‌های دیفرانسیلی قراردادی شامل توابع f(x) می‌باشد؛ بنابراین نظیرهای تفاضل محدود آمبرالی شامل f(xTh−1) را به‌طور جزء به جزء مپ می‌کنیم. برای مثال، نظیر آمبرالی تک جمله ای xn، تعمیم فاکتوریل نزولی می‌باشد.

 

بنابراین:

 

پس فرمول الحاقی نیوتون در بالا (با نظیر کردن جملات در بسط یک تابع متغیر f(x))و به همین ترتیب به دست می‌آید. برای مثال، آمبرال (هم ارز) سینوس به صورت زیر است:

 

همانند حد پیوسته، تابع مشخصهٔ Δh /h نیز به شکل تواندار ظاهر می‌شود،

 

و بنابراین، مجموع فوریهٔ توابع پیوسته بر آمبرال (هم ارز) مجموع فوریه، کاملاً مپ شده‌اند؛ که شامل جملات فوریه مشابه ضرب شده در این نماهای پایه ای آمبرال (هم ارز) می‌باشد. این نماهای آمبرال، تابع مولد نمایی مرتبط با نماد گزاری‌های ویژه آن را مقداردهی می‌کند.[۸] بنابراین، به عنوان مثال، تابع دیراک دلتا، بر متناظر آمبرال (هم ارز) خود مپ می‌شود. تابع سینوس کاردینال:

 

نیز به همین ترتیب خواهد بود. معادلات تفاضلی را می‌توان با تکنیک‌های معادلات دیفرانسیل حل کرد.[۹] عملگر وارون در وارون تفاضل پیشین، که همان انتگرال آمبرال می‌شود، مجموع نامعین یا عملگر پادتفاضلی است.

قوانین محاسبه عملگرهای تفاضل محدود

ویرایش

همانند قوانین مشتق، داریم:

  • اصل ثابت عددی: اگر c یک ثابت عددی باشد، آنگاه
 
  • خطی بودن: اگرa و b ثابت عددی باشند،
 

همهٔ قوانین بالا، به‌طور معادل برای عملگر تفریق (تفاضل) شامل   و   نیز استفاده می‌شوند

  • قانون توزیع پذیری:
 
 
  • اصل خارج قسمت:
 
or
 
 
  • قوانین جمع سری:
 
 


[۱۰][۱۱][۱۲][۱۳]

تعمیم‌ها

ویرایش
  • تعمیم تفاضل محدود به صورت زیر تعریف می‌شود:
 

که   بردار ضریب آن می‌باشد. یک تفاضل نامحدود، تعمیم دیگری می‌باشد، که جمع سری بالا با یک سری نامحدود جایگزین می‌شود. راه دیگر تعمیم، ضرایب | را به نقطه   وابسته کنیم؛ بنابراین تفاضل محدود وزنی را در نظر می‌گیریم. هم چنین هرکدام بسته به نقطه x, h واحد را می‌توانند برگزینند:  

  • این تعمیم‌ها برای ساخت انواع قدرمطلق پیوستگی مفید هستند.
  • تعمیم تفاضل ممکن است به صورت چندجمله‌ای   دیده شوند؛ که منتهی تفریق جبری می‌شود.
  • تعمیمات عملگر تفریق به وارون موبیوس روی مجموعه خوش ترتیب می‌رسد.
  • در عملگر پیچش: با ظاهر شدن عبارات جبری، عملگرهای تفاضل و دیگر وارون‌های موبیوس را می‌توان با پیچش یک تابع بر برداری که تابع موبیوس μ نامیده می‌شود، بیان کرد. برای عملگر تفریق، μ یک دنباله بدین شکل می‌باشد: (۱, −۱, ۰, ۰, ۰, ...).

تفاضلات متناهی چند متغیره

ویرایش

تفاضلات محدود را می‌توان با بیش از یک متغیر در نظر گرفت. آن‌ها همانند مشتقات نسبی چند متغیره هستند. بعضی از تغریبات مشتقات نسبی بدین صورت هستند (با استفاده از روش مرکزی):

 
 
 
 
 

بعضاً، برای برنامه‌هایی که در آن‌ها محاسبه مستقیم تابع f میسر نیست، می‌توان مشتق اول و دوم را محاسبه کرد. فرمول کارآمدتر حالت آخر به صورت زیر می‌باشد:

 

زیرا تنها مقادیری نیاز به چهار معادله گذشته را ندارند و می‌توان محاسبه کرد f(x+h, y+k) و f(xh, yk) می‌باشند. منابع و متعلقات در ویکی‌پدیا انگلیسی.

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

ویرایش

منابع

ویرایش
  1. ۱٫۰ ۱٫۱ Paul Wilmott; Sam Howison; Jeff Dewynne (1995). The Mathematics of Financial Derivatives: A Student Introduction. Cambridge University Press. p. 137. ISBN 978-0-521-49789-3.
  2. ۲٫۰ ۲٫۱ Peter Olver (2013). Introduction to Partial Differential Equations. Springer Science & Business Media. p. 182. ISBN 978-3-319-02099-0.
  3. ۳٫۰ ۳٫۱ M Hanif Chaudhry (2007). Open-Channel Flow. Springer. p. 369. ISBN 978-0-387-68648-6.
  4. Newton, Isaac, (1687). Principia, Book III, Lemma V, Case 1
  5. Richtmeyer, D. and Morton, K.W. , (1967). Difference Methods for Initial Value Problems, 2nd ed. , Wiley, New York.
  6. Boole, George, (1872). A Treatise On The Calculus of Finite Differences, 2nd ed. , Macmillan and Company. On line. Also, [Dover edition 1960]
  7. Jordan, Charles, (1939/1965). "Calculus of Finite Differences", Chelsea Publishing. On-line: [۱]
  8. Zachos, C. (2008). "Umbral Deformations on Discrete Space-Time". International Journal of Modern Physics A. 23 (13): 2005–2014. doi:10.1142/S0217751X08040548.
  9. . doi:10.3389/fphy.2013.00015. {{cite journal}}: Cite journal requires |journal= (help); Missing or empty |title= (help); Text "noedit" ignored (help)
  10. Levy, H.; Lessman, F. (1992). Finite Difference Equations. Dover. ISBN 0-486-67260-3.
  11. Ames, W. F. , (1977). Numerical Methods for Partial Differential Equations, Section 1.6. Academic Press, New York. ISBN 0-12-056760-1.
  12. Hildebrand, F. B., (1968). Finite-Difference Equations and Simulations, Section 2.2, Prentice-Hall, Englewood Cliffs, New Jersey.
  13. Flajolet, Philippe; Sedgewick, Robert (1995). "Mellin transforms and asymptotics: Finite differences and Rice's integrals". Theoretical Computer Science. 144 (1–2): 101–124. doi:10.1016/0304-3975(94)00281-M{{cite journal}}: نگهداری CS1: پست اسکریپت (link)[پیوند مرده].