परिमित अंतर

परिमित अंतर रूप की गणितीय अभिव्यक्ति है f (x + b) − f (x + a)। यदि एक परिमित अंतर b − a से विभाजित किया जाता है, अंतर भागफल मिलता है। परिमित भिन्नताओं द्वारा अवकलज का अनुमान अवकल समीकरण के संख्यात्मक विश्लेषण समाधान के लिएपरिमित अंतर विधि यों में एक केंद्रीय भूमिका निभाता है विशेष रूप से सीमा मूल्य समस्या के लिए निभाता है।

अंतरसंकारक, सामान्यतः $\Delta$ के रूप में जाना जाता है, वह संकारक (गणित) है जो किसी फलन f को $\Delta [f]$ द्वारा परिभाषित करता है।

$\Delta [f](x)=f(x+1)-f(x).$

अवकल समीकरण एक फलनिक समीकरण है जिसमें परिमित अंतर संकारक उसी तरह सम्मलित होता है जैसे एक अवकल समीकरण में अवकलज सम्मलित होते हैं। अवकल समीकरण और अवकल समीकरण के बीच कई समानताएं हैं, विशेष रूप से हल करने के तरीकों में। कुछ पुनरावृत्ति संबंधों को परिमित अंतरों के साथ पुनरावृत्ति संकेतन को बदलकर अवकल समीकरण के रूप में लिखा जा सकता है।

संख्यात्मक विश्लेषण में, अवकलज का अनुमान लगाने के लिए परिमित अंतर का व्यापक रूप से उपयोग किया जाता है, और "परिमित अंतर" शब्द का उपयोग अधिकांशतः "अवकलज के परिमित अंतर सन्निकटन" के संक्षिप्त रूप में किया जाता है। परिमित अंतर सन्निकटन ऊपर नियोजित शब्दावली में परिमित अंतर भागफल हैं।

1715 में ब्रुक टेलर द्वारा परिमित अंतर पेश किए गए थे और जॉर्ज बूले(1860), एल.एम. मिल्ने-थॉमसन (1933), और केरोली जॉर्डन (1939) द्वारा फलन में सार स्व-स्थायी गणितीय वस्तुओं के रूप में भी अध्ययन किया गया है। परिमित अंतर अपनी उत्पत्ति को जोस्ट बर्गी के एल्गोरिदम (c. 1592) में से एक में खोजते हैं और आइजैक न्यूटन सहित अन्य लोगों द्वारा काम करते हैं। परिमित अंतरों की औपचारिक गणना को अत्युणु की गणना के विकल्प के रूप में देखा जा सकता है।

मूल प्रकार

सामान्यतः तीन बुनियादी प्रकारों पर विचार किया जाता है: अग्र, पश्च और केंद्रीय परिमित अंतर।

अग्रांतर सूत्र, $\Delta _{h}[f],$ एक फलन f के रूप में परिभाषित फलन है

$\Delta _{h}[f](x)=f(x+h)-f(x).$

अनुप्रयोग के आधार पर, रिक्ति h परिवर्तनशील या स्थिर हो सकता है। जब छोड़ा गया, h 1 लिया जाता है, वह है,

$\Delta [f](x)=\Delta _{1}[f](x)=f(x+1)-f(x).$

पश्च अंतर फलन मानों x और x − h का उपयोग करता है , x + h औरx के मानों के अतिरिक्त::

$\nabla _{h}[f](x)=f(x)-f(x-h)=\Delta _{h}[f](x-h).$

अंत में, केंद्रीय अंतर द्वारा दिया जाता है

$\delta _{h}[f](x)=f(x+{\tfrac {h}{2}})-f(x-{\tfrac {h}{2}})=\Delta _{h/2}[f](x)+\nabla _{h/2}[f](x).$

अवकलज के साथ संबंध

परिमित अंतर अधिकांशतः व्युत्पन्न के सन्निकटन के रूप में प्रयोग किया जाता है, सामान्यतः संख्यात्मक अवकलन में।

फलन का व्युत्पन्न f एक बिंदु पर x फलन की सीमा द्वारा परिभाषित किया गया है।

$f'(x)=\lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}}.$

यदि h शून्य के करीब पहुंचने के अतिरिक्त निश्चित (गैर-शून्य) मान है, तो उपरोक्त समीकरण के दाहिने हाथ की ओर लिखा जाएगा

${\frac {f(x+h)-f(x)}{h}}={\frac {\Delta _{h}[f](x)}{h}}.$

इसलिए, जब h छोटा है अग्र के अंतर से विभाजित h अवकलज का अनुमान लगाता है। इस सन्निकटन में त्रुटि टेलर के प्रमेय से प्राप्त की जा सकती है। ये मानते हुए f दो बार अवकलनीय है, हमारे पास है

${\frac {\Delta _{h}[f](x)}{h}}-f'(x)=O(h)\to 0\quad {\text{as }}h\to 0.$

पश्च अंतर के लिए समान सूत्र है:

${\frac {\nabla _{h}[f](x)}{h}}-f'(x)=O(h)\to 0\quad {\text{as }}h\to 0.$

चूंकि, केंद्रीय (जिसे केंद्रित भी कहा जाता है) अंतर अधिक सटीक सन्निकटन पैदा करता है। यदि f तीन गुना अवकलनीय है,

${\frac {\delta _{h}[f](x)}{h}}-f'(x)=O\left(h^{2}\right).$

मुख्य समस्या केंद्रीय अंतर विधि के साथ, चूंकि, यह है कि दोलन कार्य शून्य व्युत्पन्न प्राप्त कर सकते हैं। यदि f (nh) = 1, n विषम के लिए, और f (nh) = 2, n के लिए भी फिर भी f ′(nh) = 0 यदि इसकी गणना केंद्रीय अंतर योजना से की जाती है। यदि f का प्रांत असतत है तो यह विशेष रूप से कठिन है। सममित व्युत्पन्न भी देखें

लेखक जिनके लिए परिमित अंतर का अर्थ है परिमित अंतर सन्निकटन अग्र/पश्च/केंद्रीय अंतर को इस खंड में दिए गए भागफल के रूप में परिभाषित करता है (पिछले खंड में दी गई परिभाषाओं को नियोजित करने के अतिरिक्त)।

उच्च-क्रम अंतर

 एक समान तरीके से, उच्चतर क्रम अवकलज और अंतर संकारक के लिए परिमित अंतर सन्निकटन प्राप्त कर सकते हैं। उदाहरण के लिए, उपरोक्त केंद्रीय अंतर सूत्र का उपयोग करके f ′(x + h/2) और f ′(x − h/2) और x पर f ′ के अवकलज के लिए केंद्रीय अंतर सूत्र लागू करते हुए, हम f  के दूसरे अवकलज का केंद्रीय अंतर सन्निकटन प्राप्त करते हैं:

दूसरा क्रम केंद्रीय

$f''(x)\approx {\frac {\delta _{h}^{2}[f](x)}{h^{2}}}={\frac {{\frac {f(x+h)-f(x)}{h}}-{\frac {f(x)-f(x-h)}{h}}}{h}}={\frac {f(x+h)-2f(x)+f(x-h)}{h^{2}}}.$

इसी तरह हम अन्य भिन्न सूत्रों को पुनरावर्ती तरीके से लागू कर सकते हैं।

दूसरा क्रम अग्र

$f''(x)\approx {\frac {\Delta _{h}^{2}[f](x)}{h^{2}}}={\frac {{\frac {f(x+2h)-f(x+h)}{h}}-{\frac {f(x+h)-f(x)}{h}}}{h}}={\frac {f(x+2h)-2f(x+h)+f(x)}{h^{2}}}.$

दूसरा क्रम पश्च

$f''(x)\approx {\frac {\nabla _{h}^{2}[f](x)}{h^{2}}}={\frac {{\frac {f(x)-f(x-h)}{h}}-{\frac {f(x-h)-f(x-2h)}{h}}}{h}}={\frac {f(x)-2f(x-h)+f(x-2h)}{h^{2}}}.$

अधिक सामान्यतः,n वें क्रम अग्र, पश्च, और केंद्रीय अंतर क्रमशः द्वारा दिए गए हैं,

अग्र

$\Delta _{h}^{n}[f](x)=\sum _{i=0}^{n}(-1)^{n-i}{\binom {n}{i}}f{\bigl (}x+ih{\bigr )},$

या h = 1 के लिए,

$\Delta ^{n}[f](x)=\sum _{i=0}^{n}{\binom {n}{i}}(-1)^{n-i}f(x+i)$

पश्च

$\nabla _{h}^{n}[f](x)=\sum _{i=0}^{n}(-1)^{i}{\binom {n}{i}}f(x-ih),$

केंद्रीय

$\delta _{h}^{n}[f](x)=\sum _{i=0}^{n}(-1)^{i}{\binom {n}{i}}f\left(x+\left({\frac {n}{2}}-i\right)h\right).$

इन समीकरणों में योग चिह्न के बाद द्विपद गुणांक का उपयोग किया जाता है, जैसा कि दिखाया गया है (ⁿ
_i)। पास्कल के त्रिभुज की प्रत्येक पंक्ति i के प्रत्येक मान के लिए गुणांक प्रदान करती है।

ध्यान दें कि केंद्रीय अंतर, विषम n के लिए, h को गैर-पूर्णांक से गुणा करेगा। यह अधिकांशतः एक समस्या होती है क्योंकि यह विवेक के अंतराल को बदलने के बराबर होती है। δⁿ[ f ](x − h/2) और δⁿ[ f ](x + h/2) का औसत लेकर समस्या का समाधान किया जा सकता है

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

संबंधित अवकलज के साथ इन उच्च-क्रम के अंतरों का संबंध सीधा है,

${\frac {d^{n}f}{dx^{n}}}(x)={\frac {\Delta _{h}^{n}[f](x)}{h^{n}}}+O(h)={\frac {\nabla _{h}^{n}[f](x)}{h^{n}}}+O(h)={\frac {\delta _{h}^{n}[f](x)}{h^{n}}}+O\left(h^{2}\right).$

बेहतर सन्निकटन बनाने के लिए उच्च-क्रम के अंतर का भी उपयोग किया जा सकता है। जैसा कि ऊपर उल्लेख किया गया है, प्रथम-क्रम अंतर क्रम h की अवधि तक प्रथम-क्रम व्युत्पन्न का अनुमान लगाता है। हालाँकि, संयोजन

${\frac {\Delta _{h}[f](x)-{\frac {1}{2}}\Delta _{h}^{2}[f](x)}{h}}=-{\frac {f(x+2h)-4f(x+h)+3f(x)}{2h}}$

अनुमानित f ′(x) क्रम h² की अवधि तक। यह टेलर श्रृंखला में उपरोक्त अभिव्यक्ति का विस्तार करके या परिमित अंतरों के कलन का उपयोग करके सिद्ध किया जा सकता है, जिसे नीचे समझाया गया है।

यदि आवश्यक हो, तो अग्र, पश्च और केंद्रीय अंतरों को मिलाकर परिमित अंतर को किसी भी बिंदु पर केंद्रित किया जा सकता है।

बहुपद

घात के दिए गए बहुपद के लिए n ≥ 1 फलन P(x) में व्यक्त किया, वास्तविक संख्या के साथ a ≠ 0 और b और निचले क्रम की शर्तें (यदि कोई हो) के रूप में चिह्नित l.o.t.:

$P(x)=ax^{n}+bx^{n-1}+l.o.t.$

n युग्‍मानूसार अंतरों के बाद, निम्न परिणाम प्राप्त किया जा सकता है, जहाँ h ≠ 0 अंकगणितीय अंतर को चिह्नित करने वाली एक वास्तविक संख्या है:

$\Delta _{h}^{n}[P](x)=ah^{n}n!$

केवल उच्चतम-क्रम पद का गुणांक रहता है। चूंकि यह परिणाम x के संबंध में स्थिर है , किसी भी युग्‍मानूसार अंतर का मान 0 होगा।

आगमनात्मक प्रमाण

आधार मामले

मान लीजिए Q(x) घात 1का एक बहुपद है:

$\Delta _{h}[Q](x)=Q(x+h)-Q(x)=[a(x+h)+b]-[ax+b]=ah=ah^{1}1!$यह इसे आधार मामले के लिए सिद्ध करता है।

स्टेप केस

मान लें कि R(x) घात m-1 का बहुपद है जहाँ m ≥ 2 और उच्चतम क्रम वाले पद का गुणांक a ≠ 0 है। यह मानते हुए कि घात m-1 के सभी बहुपदों के लिए निम्नलिखित सही है:

$\Delta _{h}^{m-1}[R](x)=ah^{m-1}(m-1)!$

मान लीजिए कि S(x) घात m का एक बहुपद है। एक युग्‍मानूसार अंतर के साथ:

$\Delta _{h}[S](x)=[a(x+h)^{m}+b(x+h)^{m-1}+l.o.t.]-[ax^{m}+bx^{m-1}+l.o.t.]=ahmx^{m-1}+l.o.t.=T(x)$ ahm ≠ 0,के रूप में, इसका परिणाम m-1 घात के बहुपद T(x) में होता है, जिसमें ahm उच्चतम-क्रम पद का गुणांक होता है। उपरोक्त धारणा और m-1 युग्‍मानूसार अंतरों को देखते हुए (परिणामस्वरूप S(x) के लिए कुल m युग्‍मानूसार अंतर), यह पाया जा सकता है कि:

$\Delta _{h}^{m-1}[T](x)=ahm\cdot h^{m-1}(m-1)!=ah^{m}m!$

यह प्रमाण को पूरा करता है।

अनुप्रयोग

इस पहचान का उपयोग सबसे कम-घात वाले बहुपद को खोजने के लिए किया जा सकता है जो कई बिंदुओं (x, y) को रोकता है जहाँ x-अक्ष पर एक बिंदु से दूसरे बिंदु का अंतर एक स्थिरांकh ≠ 0 है, उदाहरण के लिए, निम्नलिखित बिंदु दिए गए हैं:

x	y
1	4
4	109
7	772
10	2641
13	6364

हम अंतर तालिका का उपयोग कर सकते हैं, जहां पहले y, के दाईं ओर सभी सेल, कॉलम में सेल के लिए निम्न संबंध तुरंत बाईं ओर सेल (a+1, b+1) के लिए सम्मलित है, सबसे ऊपर-बाएं सेल निर्देशांक पर है (0, 0):

$(a+1,b+1)=(a,b)-(a,b+1)$

पहला पद ज्ञात करने के लिए, निम्न तालिका का उपयोग किया जा सकता है:

x	y	Δy	Δ2y	Δ3y
1	4
4	109	105
7	772	663	558
10	2641	1869	1206	648
13	6364	3723	1854	648

यह स्थिरांक 648 पर आता है। अंकगणितीय अंतर h=3 है, जैसा कि ऊपर स्थापित किया गया है। स्थिरांक तक पहुँचने के लिए युग्‍मानूसार अंतरों की संख्या को देखते हुए, यह अनुमान लगाया जा सकता है कि यह घात 3 का बहुपद है। इस प्रकार, उपरोक्त पहचान का उपयोग करना:

$648=a\cdot 3^{3}\cdot 3!=a\cdot 27\cdot 6=a\cdot 162$

a को हल करने पर, इसका मान 4 पाया जा सकता है। इस प्रकार, बहुपद का पहला पद है 4x³.

फिर, पहले पद को घटाकर, जो बहुपद की घात को कम करता है, और परिमित अंतर को फिर से ज्ञात करता है:

x	y	Δy	Δ2y
1	4 - 4(1)3 = 4 - 4 = 0
4	109 - 4(4)3 = 109 - 256 = -147	-147
7	772 - 4(7)3 = 772 - 1372 = -600	-453	-306
10	2641 - 4(10)3 = 2641 - 4000 = -1359	-759	-306
13	6364 - 4(13)3 = 6364 - 8788 = -2424	-1065	-306

यहाँ, स्थिरांक केवल 2 युग्‍मानूसार अंतरों के बाद प्राप्त किया जाता है, इस प्रकार निम्न परिणाम:

$-306=a\cdot 3^{2}\cdot 2!=a\cdot 18$

a को हल करने पर, जो -17 है, बहुपद का दूसरा पद -17x² है .

दूसरे पद को घटाकर, अगले पद पर जाना:

x	y	Δy
1	0 - (-17(1)2) = 0 + 17 = 17
4	-147 - (-17(4)2) = -147 + 272 = 125	108
7	-600 - (-17(7)2) = -600 + 833 = 233	108
10	-1359 - (-17(10)2) = -1359 + 1700 = 341	108
13	-2424 - (-17(13)2) = -2424 + 2873 = 449	108

इस प्रकार स्थिर केवल 1 युग्‍मानूसार अंतर के बाद प्राप्त किया जाता है:

$108=a\cdot 3^{1}\cdot 1!=a\cdot 3$

यह पाया जा सकता है a = 36 और इस प्रकार बहुपद का तीसरा पद36x है, तीसरे पद को घटाना:

x	y
1	17 - 36(1) = 17 - 36 = -19
4	125 - 36(4) = 125 - 144 = -19
7	233 - 36(7) = 233 - 252 = -19
10	341 - 36(10) = 341 - 360 = -19
13	449 - 36(13) = 449 - 468 = -19

बिना किसी युग्मवार अंतर के, यह पाया जाता है कि बहुपद का चौथा और अंतिम पद अचर -19 है, इस प्रकार, पहली तालिका में सभी बिंदुओं को अंतर्रोधक करने वाला निम्नतम-घात बहुपद पाया जाता है:

$4x^{3}-17x^{2}+36x-19$

अव्यवस्थित आकार मूल

Main article: परिमित अंतर गुणांक

Further information: पांच सूत्री स्टैंसिल

रेखीय बीजगणित का उपयोग करके परिमित अंतर सन्निकटन का निर्माण किया जा सकता है जो किसी भी क्रम व्युत्पन्न के लिए बाईं ओर बिंदुओं की अव्यवस्थित संख्या और मूल्यांकन बिंदु के दाईं ओर (संभवतः भिन्न) अंकों की संख्या का उपयोग करता है। इसमें रेखीय प्रणाली को हल करना सम्मलित है जैसे कि मूल्यांकन बिंदु के चारों ओर उन बिंदुओं के योग का टेलर विस्तार वांछित व्युत्पन्न के टेलर विस्तार का सबसे अच्छा अनुमान लगाता है। इस तरह के सूत्रों को हेक्सागोनल या हीरे के आकार के ग्रिड पर रेखांकन के रूप में दर्शाया जा सकता है।

यह ग्रिड पर फलन को अलग करने के लिए उपयोगी है, जहां एक ग्रिड के किनारे तक पहुंचता है, उसे एक तरफ कम और कम बिंदुओं का नमूना लेना चाहिए।

विवरण इन नोट्स में दिए गए हैं।

परिमित अंतर गुणांक कैलक्यूलेटर गैर-मानक (और यहां तक ​​कि गैर-पूर्णांक) स्टेंसिल के लिए परिमित अंतर सन्निकटन का निर्माण करता है जिसे अव्यवस्थित स्टैंसिल और वांछित व्युत्पन्न क्रम दिया जाता है .

गुण

• सभी घनात्मक k और n के लिए
  $$\Delta _{kh}^{n}(f,x)=\sum \limits _{i_{1}=0}^{k-1}\sum \limits _{i_{2}=0}^{k-1}\cdots \sum \limits _{i_{n}=0}^{k-1}\Delta _{h}^{n}\left(f,x+i_{1}h+i_{2}h+\cdots +i_{n}h\right).$$
• लीबनिज नियम (सामान्यीकृत उत्पाद नियम) :
  $$\Delta _{h}^{n}(fg,x)=\sum \limits _{k=0}^{n}{\binom {n}{k}}\Delta _{h}^{k}(f,x)\Delta _{h}^{n-k}(g,x+kh).$$

अवकल समीकरण में

Main article: परिमित अंतर विधि

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

कम्प्यूटेशनल विज्ञान और इंजीनियरिंग विषयों में परिमित अंतर विधि के सामान्य अनुप्रयोग हैं, जैसे ऊष्मा इंजीनियरी, द्रव यांत्रिकी, आदि।

न्यूटन की श्रृंखला

न्यूटन बहुपद में न्यूटन अग्रांतर समीकरण की शर्तें सम्मलित हैं, जिसका नाम इसहाक न्यूटन के नाम पर रखा गया है, संक्षेप में, यह न्यूटन अंतर्वेशन सूत्र है, जो पहली बार 1687 में उनके 'फिलोसोफी नेचुरेलिस प्रिंसिपिया मैथेमेटिका' में प्रकाशित हुआ था। अर्थात् निरंतर टेलर विस्तार का असतत अनुरूप,

$f(x)=\sum _{k=0}^{\infty }{\frac {\Delta ^{k}[f](a)}{k!}}\,(x-a)_{k}=\sum _{k=0}^{\infty }{\binom {x-a}{k}}\,\Delta ^{k}[f](a),$

जो किसी भी बहुपद फलन f के लिए और कई (लेकिन सभी नहीं) विश्लेषणात्मक फलन के लिए है। (यह धारण नहीं करता है जब f चरघातांकी प्रकार $\pi$ है ,इसे आसानी से देखा जा सकता है, क्योंकि $\pi$, संबंधित न्यूटन श्रृंखला समान रूप से शून्य है, क्योंकि इस मामले में सभी परिमित अंतर शून्य हैं। फिर भी स्पष्ट रूप से, ज्या फलन शून्य नहीं है।) यहाँ, व्यंजक

${\binom {x}{k}}={\frac {(x)_{k}}{k!}}$

द्विपद गुणांक है, और

$(x)_{k}=x(x-1)(x-2)\cdots (x-k+1)$

"फॉलिंग फैक्टोरियल" या "लोअर फैक्टोरियल" है, जबकि खाली उत्पाद (x)₀ को 1 के रूप में परिभाषित किया गया है। इस विशेष मामले में, x, h = 1 के मान में परिवर्तन के लिए इकाई चरणों की धारणा है। नीचे दिए गए सामान्यीकरण का।

टेलर के प्रमेय के इस परिणाम के औपचारिक पत्राचार पर ध्यान दें। ऐतिहासिक रूप से, यह, साथ ही चू-वंडरमोंड पहचान हैं,

$(x+y)_{n}=\sum _{k=0}^{n}{\binom {n}{k}}(x)_{n-k}\,(y)_{k},$

(इससे अनुसरण करते हुए, और द्विपद प्रमेय के अनुरूप), उन टिप्पणियों में सम्मलित हैं जो अम्ब्रल कैलकुलस की प्रणाली के लिए परिपक्व हैं।

न्यूटन श्रृंखला विस्तार टेलर श्रृंखला विस्तार से बेहतर हो सकता है जब क्वांटम स्पिन (होल्स्टीन-प्रिमाकॉफ परिवर्तन देखें), बोसोनिक ऑपरेटर फलन या असतत गिनती सांख्यिकी जैसी असतत मात्राओं पर लागू किया जाता है।

वास्तविक अभ्यास में कोई न्यूटन के सूत्र का उपयोग कैसे कर सकता है, यह समझाने के लिए, फाइबोनैचि अनुक्रम को दोगुना करने के पहले कुछ शब्दों पर विचार करें। f = 2, 2, 4, ... कोई बहुपद खोज सकता है जो पहले एक अंतर तालिका की गणना करके, और फिर x₀ (रेखांकित) के अनुरूप अंतर को सूत्र में निम्नानुसार प्रतिस्थापित करना,${\begin{matrix}{\begin{array}{|c||c|c|c|}\hline x&f=\Delta ^{0}&\Delta ^{1}&\Delta ^{2}\\\hline 1&{\underline {2}}&&\\&&{\underline {0}}&\\2&2&&{\underline {2}}\\&&2&\\3&4&&\\\hline \end{array}}&\quad {\begin{aligned}f(x)&=\Delta ^{0}\cdot 1+\Delta ^{1}\cdot {\dfrac {(x-x_{0})_{1}}{1!}}+\Delta ^{2}\cdot {\dfrac {(x-x_{0})_{2}}{2!}}\quad (x_{0}=1)\\\\&=2\cdot 1+0\cdot {\dfrac {x-1}{1}}+2\cdot {\dfrac {(x-1)(x-2)}{2}}\\\\&=2+(x-1)(x-2)\\\end{aligned}}\end{matrix}}$

x के मानों में असमान चरणों के मामले में, न्यूटन विभाजित अंतरों की गणना करता है,

$\Delta _{j,0}=y_{j},\qquad \Delta _{j,k}={\frac {\Delta _{j+1,k-1}-\Delta _{j,k-1}}{x_{j+k}-x_{j}}}\quad \ni \quad \left\{k>0,\;j\leq \max \left(j\right)-k\right\},\qquad \Delta 0_{k}=\Delta _{0,k}$

उत्पादों की श्रृंखला,

${P_{0}}=1,\quad \quad P_{k+1}=P_{k}\cdot \left(\xi -x_{k}\right),$

और परिणामी बहुपद अदिश गुणनफल है,

$f(\xi )=\Delta 0\cdot P\left(\xi \right)$ .

पी-एडिक संख्याओं के विश्लेषण में, महलर के प्रमेय में कहा गया है कि यह धारणा कि f बहुपद फलन है इस धारणा के लिए सभी तरह से कमजोर हो सकती है कि f केवल निरंतर है।

कार्लसन की प्रमेय न्यूटन श्रृंखला के अद्वितीय होने के लिए आवश्यक और पर्याप्त शर्तें प्रदान करती है, यदि यह सम्मलित है। हालाँकि, न्यूटन श्रृंखला सामान्य रूप से सम्मलित नहीं है।

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

एक संकुचित और थोड़ा अधिक सामान्य रूप और समदूरस्थ नोड्स में सूत्र पढ़ता है

$f(x)=\sum _{k=0}{\binom {\frac {x-a}{h}}{k}}\sum _{j=0}^{k}(-1)^{k-j}{\binom {k}{j}}f(a+jh).$

परिमित अंतरों की गणना

अग्र के अंतर को संकारक (गणित) के रूप में माना जा सकता है, जिसे अंतरसंकारक कहा जाता है, जो फलन को f को Δ_h[ f ] मैप करता है इस संकारक की राशि है

$\Delta _{h}=T_{h}-I,$

जहाँ T_h चरण hवाला शिफ्ट ऑपरेटर है जिसे T_h[ f ](x) = f (x + h) द्वारा परिभाषित किया गया है, और I पहचान ऑपरेटर है।

उच्च आदेशों के परिमित अंतर को पुनरावर्ती तरीके से परिभाषित किया जा सकता है Δⁿ
_h ≡ Δ_h(Δ^{n − 1}
_h), एक अन्य समकक्ष परिभाषा है Δⁿ
_h = [T_h − I]ⁿ.

अंतरसंकारक Δ_h रैखिक संकारक है, इसलिए यह संतुष्ट करता है Δ_h[αf + βg](x) = α Δ_h[ f ](x) + β Δ_h[g](x).

यह ऊपर बताए गए विशेष लीबनिज़ नियम (सामान्यीकृत उत्पाद नियम) को भी संतुष्ट करता है,

Δ_h(f (x)g(x)) = (Δ_hf (x)) g(x+h) + f (x) (Δ_hg(x)), इसी तरह के बयान पश्च और केंद्रीय अंतर के लिए हैं।

h के संबंध में टेलर श्रृंखला को औपचारिक रूप से लागू करने से सूत्र प्राप्त होता है

$\Delta _{h}=hD+{\frac {1}{2!}}h^{2}D^{2}+{\frac {1}{3!}}h^{3}D^{3}+\cdots =\mathrm {e} ^{hD}-I,$

जहाँ D निरंतर व्युत्पन्न संकारक, मैपिंग को दर्शाता है f को इसके डेरिवेटिव f ′ मैपिंग करता है। विस्तार तब मान्य होता है जब दोनों पक्ष पर्याप्त रूप से छोटे h के लिए विश्लेषणात्मक फलन पर कार्य करते हैं। इस प्रकार, T_h = e^hD, और औपचारिक रूप से घातांकीय प्रतिफल को उलटा करना

$hD=\log(1+\Delta _{h})=\Delta _{h}-{\tfrac {1}{2}}\Delta _{h}^{2}+{\tfrac {1}{3}}\Delta _{h}^{3}-\cdots .$

यह सूत्र इस अर्थ में है कि बहुपद पर लागू होने पर दोनों संकारक समान परिणाम देते हैं।

विश्लेषणात्मक फलन के लिए भी, दाईं ओर की श्रृंखला को अभिसरण की गारंटी नहीं है, यहस्पर्शोन्मुख श्रृंखला हो सकती है। चूंकि, इसका उपयोग व्युत्पन्न के लिए अधिक सटीक सन्निकटन प्राप्त करने के लिए किया जा सकता है। उदाहरण के लिए, श्रृंखला के पहले दो शब्दों को बनाए रखने से खंड उच्च-क्रम के अंतर के अंत में उल्लिखित f ′(x) के लिए दूसरे क्रम का सन्निकटन प्राप्त होता है।

पश्च और केंद्रीय अंतर संकारक के लिए समान सूत्र हैं

$hD=-\log(1-\nabla _{h})\quad {\text{and}}\quad hD=2\operatorname {arsinh} \left({\tfrac {1}{2}}\delta _{h}\right).$

परिमित अंतरों की गणना कॉम्बिनेटरिक्स के अम्ब्रल कैलकुलस से संबंधित है। यह उल्लेखनीय रूप से व्यवस्थित पत्राचार अम्ब्रल मात्रा के कम्यूटेटरों की पहचान के कारण उनके निरंतर अनुरूप है (h → 0 सीमाएं),

$\left[{\frac {\Delta _{h}}{h}},x\,T_{h}^{-1}\right]=[D,x]=I.$

फलन f (x) वाले मानक कैलकुलस के औपचारिक अंतर संबंधों की बड़ी संख्या इस प्रकार व्यवस्थित रूप से f (xT⁻¹
_h) वाले अम्ब्रल परिमित-अंतर एनालॉग के लिए मैप करती है

उदाहरण के लिए, एकपद xⁿ का उम्ब्रल एनालॉग उपरोक्त फॉलिंग फैक्टोरियल (पोचममेर के-प्रतीक) का सामान्यीकरण है,

$~(x)_{n}\equiv \left(xT_{h}^{-1}\right)^{n}=x(x-h)(x-2h)\cdots {\bigl (}x-(n-1)h{\bigr )},$ जिससे कि

${\frac {\Delta _{h}}{h}}(x)_{n}=n(x)_{n-1},$

इसलिए उपरोक्त न्यूटन अंतर्वेशन सूत्र (इस तरह के प्रतीकों में मनमाने फलन f (x) के विस्तार में गुणांक मिलान करके), और इसी तरह।

उदाहरण के लिए, उम्ब्रल ज्या है

$\sin \left(x\,T_{h}^{-1}\right)=x-{\frac {(x)_{3}}{3!}}+{\frac {(x)_{5}}{5!}}-{\frac {(x)_{7}}{7!}}+\cdots$

सातत्य सीमा के रूप में, का आइजनफंक्शन Δ_h/h भी घातीय होता है,

${\frac {\Delta _{h}}{h}}(1+\lambda h)^{\frac {x}{h}}={\frac {\Delta _{h}}{h}}e^{\ln(1+\lambda h){\frac {x}{h}}}=\lambda e^{\ln(1+\lambda h){\frac {x}{h}}},$

और इसलिए निरंतर फलन के फूरियर योगों को आसानी से अंब्रल फूरियर योगों के लिए मैप किया जाता है, अर्थात, समान फूरियर गुणांकों को सम्मलित करते हुए इन अम्ब्रल आधार घातांकों को गुणा करते हैं। यह उम्ब्रल घातीय इस प्रकार पोचममेर प्रतीकों के घातीय जनरेटिंग फलन की मात्रा है।

इस प्रकार, उदाहरण के लिए, डिराक डेल्टा फलन मैप्स को इसके उम्ब्रल संवाददाता, कार्डिनल साइन फ़ंक्शन ,

$\delta (x)\mapsto {\frac {\sin \left[{\frac {\pi }{2}}\left(1+{\frac {x}{h}}\right)\right]}{\pi (x+h)}},$

इत्यादि। अवकल समीकरण को अधिकांशतः उन तकनीकों के साथ हल किया जा सकता है जो अवकल समीकरण को हल करने के लिए बहुत समान हैं।

अग्रांतर संकारक का व्युत्क्रम संकारक, इसलिए फिर उम्ब्रल इंटीग्रल, अनिश्चित योग या प्रतिपक्ष संकारक है।

परिमित अंतर संकारक की गणना के लिए नियम

अवकलजों की सूची के अनुरूप, हमारे पास है:

• निरंतर नियम : यदि c स्थिरांक (गणित) है, तब

$\Delta c=0$

• भेदन की रैखिकता: यदि a और b स्थिर हैं (गणित),

$\Delta (af+bg)=a\,\Delta f+b\,\Delta g$

उपरोक्त सभी नियम किसी भी अंतरसंकारक पर समान रूप से अच्छी तरह से लागू होते हैं, जिनमें ∇ के रूप में Δ सम्मलित हैं

• गुणन नियम :

${\begin{aligned}\Delta (fg)&=f\,\Delta g+g\,\Delta f+\Delta f\,\Delta g\\\nabla (fg)&=f\,\nabla g+g\,\nabla f-\nabla f\,\nabla g\end{aligned}}$

• भागफल नियम :

$\nabla \left({\frac {f}{g}}\right)={\frac {1}{g}}\det {\begin{bmatrix}\nabla f&\nabla g\\f&g\end{bmatrix}}\left(\det {\begin{bmatrix}g&\nabla g\\1&1\end{bmatrix}}\right)^{-1}$

या

$\nabla \left({\frac {f}{g}}\right)={\frac {g\,\nabla f-f\,\nabla g}{g\cdot (g-\nabla g)}}$

• कलन का मौलिक प्रमेय :

${\begin{aligned}\sum _{n=a}^{b}\Delta f(n)&=f(b+1)-f(a)\\\sum _{n=a}^{b}\nabla f(n)&=f(b)-f(a-1)\end{aligned}}$

सामान्यीकरण

• सामान्यीकृत परिमित अंतर को सामान्यतः इस रूप में परिभाषित किया जाता है
  $$\Delta _{h}^{\mu }[f](x)=\sum _{k=0}^{N}\mu _{k}f(x+kh),$$
  जहाँ μ = (μ₀, …, μ_N) इसका गुणांक सदिश है। अनंत अंतर एक और सामान्यीकरण है, जहां ऊपर परिमित योग को अनंतश्रृंखला (गणित) से बदल दिया जाता है। सामान्यीकरण का अन्य तरीका गुणांक बना रहा है μ_k बिन्दु पर निर्भर है x: μ_k = μ_k(x), इस प्रकार भारित परिमित अंतर पर विचार किया जाता है। साथ ही कोई चरण h को बिंदु x: h = h(x) पर निर्भर कर सकता है। इस तरह के सामान्यीकरण निरंतरता के विभिन्न मापांकों के निर्माण के लिए उपयोगी होते हैं।
• सामान्यीकृत अंतर को बहुपद के रिंग R[T_h] के रूप में देखा जा सकता है, यह अंतर बीजगणित की ओर जाता है।
• अंतरसंकारक आंशिक ऑर्डर समुच्चय पर मोबियस इनवर्जन का सामान्यीकरण करता है।
• घुमाव संकारक के रूप में: आपतन बीजगणित की औपचारिकता के माध्यम से, अंतरसंकारक और अन्य मोबियस व्युत्क्रम को पोसेट पर फलन के साथ संवलन द्वारा दर्शाया जा सकता है, जिसे मोबियस फलन कहा जाता है μ, अंतरसंकारक के लिए μ क्रम (1, −1, 0, 0, 0, …)है।

बहुभिन्नरूपी परिमित अंतर

परिमित अंतरों को एक से अधिक चरों में माना जा सकता है। वे कई चरों में आंशिक अवकलज के अनुरूप हैं।

कुछ आंशिक व्युत्पन्न सन्निकटन हैं:

${\begin{aligned}f_{x}(x,y)&\approx {\frac {f(x+h,y)-f(x-h,y)}{2h}}\\f_{y}(x,y)&\approx {\frac {f(x,y+k)-f(x,y-k)}{2k}}\\f_{xx}(x,y)&\approx {\frac {f(x+h,y)-2f(x,y)+f(x-h,y)}{h^{2}}}\\f_{yy}(x,y)&\approx {\frac {f(x,y+k)-2f(x,y)+f(x,y-k)}{k^{2}}}\\f_{xy}(x,y)&\approx {\frac {f(x+h,y+k)-f(x+h,y-k)-f(x-h,y+k)+f(x-h,y-k)}{4hk}}.\end{aligned}}$

वैकल्पिक रूप से, उन अनुप्रयोगों के लिए जिनमें की गणना f सबसे महंगा कदम है, और पहले और दूसरे अवकलज दोनों की गणना की जानी चाहिए, अंतिम मामले के लिए अधिक कुशल सूत्र है

$f_{xy}(x,y)\approx {\frac {f(x+h,y+k)-f(x+h,y)-f(x,y+k)+2f(x,y)-f(x-h,y)-f(x,y-k)+f(x-h,y-k)}{2hk}},$

चूंकि गणना करने के लिए केवल वही मान हैं जिनकी पहले से ही पिछले चार समीकरणों f (x + h, y + k) और f (x − h, y − k) के लिए आवश्यकता नहीं है

यह भी देखें

• असतत कलन
• विभाजित अंतर
• परिमित-अंतर समय-डोमेन विधि (एफडीटीडी)
• परिमित मात्रा विधि
• एफटीसीएस योजना
• एफटीसीएस योजना
• शेफर अनुक्रम
• भागों द्वारा योग
• समय पैमाने की गणना
• संवहन के लिए अपविंड विभेदक योजना

संदर्भ

• Richardson, C. H. (1954): An Introduction to the Calculus of Finite Differences (Van Nostrand (1954) online copy
• Mickens, R. E. (1991): Difference Equations: Theory and Applications (Chapman and Hall/CRC) ISBN 978-0442001360

बाहरी कड़ियाँ

• "Finite-difference calculus", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• Table of useful finite difference formula generated using Mathematica
• D. Gleich (2005), Finite Calculus: A Tutorial for Solving Nasty Sums
• Discrete Second Derivative from Unevenly Spaced Points