टेलर और मैकलॉरिन श्रृंखला: बहुपदों के साथ जटिल कार्यों को अनुमानित करने का जादू

परिचय

गणित, भौतिकी और यहां तक कि कंप्यूटर विज्ञान की दुनिया में, टेलर श्रृंखला (Taylor series) और मैकलॉरिन श्रृंखला (Maclaurin series) अविश्वसनीय रूप से शक्तिशाली उपकरण हैं। ये घातीय और त्रिकोणमितीय कार्यों जैसे “गणना करने में कठिन जटिल कार्यों” को “सरल बहुपदों जिन्हें केवल जोड़ और गुणा का उपयोग करके गणना की जा सकती है” के अनंत योग के रूप में व्यक्त करने के तरीके हैं।

जिस कारण से कैलकुलेटर और कंप्यूटर $\sin(37^\circ)$ या $e^{2.5}$ जैसे मूल्यों की तुरंत गणना कर सकते हैं, वह यह है कि वे आंतरिक रूप से इन विस्तारों को लागू करके सन्निकटन गणना करते हैं। इस लेख में, हम इस जादुई गणितीय तकनीक को इसके सहज अर्थ से लेकर इसके कठोर सूत्रों और इसके वास्तविक अनुप्रयोगों तक विस्तार से समझाएंगे।

बहुपदों के साथ कार्यों का अनुमान क्यों लगाएं?

शुरुआत के लिए, किसी फ़ंक्शन को बहुपद ( $a + bx + cx^2 + \dots$ ) के रूप में निरूपित करना क्यों आवश्यक है?

  flowchart LR
    A["जटिल कार्य"] -->|"टेलर विस्तार"| B["बहुपदों का अनंत योग"]
    B -->|"सीमित पदों पर काटना"| C["बहुपद सन्निकटन"]
    C -->|"केवल बुनियादी अंकगणित"| D["उच्च गति कंप्यूटर गणना"]

प्राकृतिक घटनाओं का वर्णन करने वाले कई कार्य अरेखीय होते हैं, जिससे उन्हें सीधे हाथ से या केवल कंप्यूटर के CPU निर्देशों के साथ गणना करना मुश्किल हो जाता है। हालाँकि, क्योंकि बहुपदों में केवल जोड़ और गुणा होते हैं, इसलिए उन्हें कंप्यूटर द्वारा संभालना बेहद आसान होने का फायदा है।

मैकलॉरिन श्रृंखला की सहज समझ

सबसे पहले, आइए मैकलॉरिन श्रृंखला पर विचार करें, जो एक विशिष्ट बिंदु $x = 0$ के आसपास एक फ़ंक्शन का अनुमान लगाती है। मान लीजिए कि हमारे पास एक अज्ञात फ़ंक्शन $f(x)$ है। हम इस फ़ंक्शन को $x = 0$ के पास निम्नलिखित जैसे बहुपद $P(x)$ के साथ अनुमानित करना चाहते हैं:

$$ P(x) = c_0 + c_1 x + c_2 x^2 + c_3 x^3 + \dots $$

सन्निकटन की सटीकता में सुधार के लिए शर्तें इस प्रकार हैं:

0वें क्रम का सन्निकटन : $x=0$ पर फ़ंक्शन का मान मेल खाता है ( $P(0) = f(0)$ )। इसके परिणामस्वरूप $c_0 = f(0)$ होता है।
प्रथम-क्रम सन्निकटन : $x=0$ पर ढलान (प्रथम व्युत्पन्न) मेल खाता है ( $P'(0) = f'(0)$ )। इसके परिणामस्वरूप $c_1 = f'(0)$ होता है। एक ग्राफ पर, यह $x=0$ पर फ़ंक्शन $f(x)$ की स्पर्शरेखा है।
द्वितीय-क्रम सन्निकटन : $x=0$ पर वक्रता (द्वितीय व्युत्पन्न) मेल खाता है ( $P''(0) = f''(0)$ )। चूंकि $P''(x) = 2 c_2$ है, हमारे पास $c_2 = \frac{f''(0)}{2}$ है।
$n$वें क्रम का सन्निकटन : सामान्य तौर पर, $n$-वें व्युत्पन्न तक मिलान करके, हम $x=0$ के आसपास के व्यवहार की अधिक सटीक रूप से नकल कर सकते हैं।

मैकलॉरिन श्रृंखला का सूत्र और व्युत्पत्ति

उपरोक्त सहज ज्ञान युक्त स्थितियों को असीम रूप से दोहराकर, हम फ़ंक्शन के प्रत्येक क्रम के व्युत्पन्न गुणांक का उपयोग करके एक सुंदर श्रृंखला प्राप्त करते हैं। इसे मैकलॉरिन श्रृंखला कहा जाता है।

$$ f(x) = f(0) + f'(0)x + \frac{f''(0)}{2!}x^2 + \frac{f^{(3)}(0)}{3!}x^3 + \dots $$

सिग्मा संकेतन का उपयोग करके लिखा गया, यह इस तरह दिखता है:

$$ f(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(0)}{n!} x^n $$

यहाँ, $f^{(n)}(0)$ फ़ंक्शन $f(x)$ को $n$ बार विभेदित करके और $x=0$ को प्रतिस्थापित करके प्राप्त मान है, और $n!$, $n$ ( $n \times (n-1) \times \dots \times 1$ ) के फैक्टोरियल का प्रतिनिधित्व करता है।

विशिष्ट कार्यों की मैकलॉरिन श्रृंखला

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

1. घातीय फलन $e^x$

घातीय फ़ंक्शन $f(x) = e^x$, $e^x$ ही रहता है, चाहे इसे कितनी भी बार विभेदित किया जाए। इसलिए, जब $x=0$ को प्रतिस्थापित किया जाता है, तो सभी आदेशों के व्युत्पन्न गुणांक $1$ ( $f^{(n)}(0) = 1$ ) हो जाते हैं।

$$ e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \dots = \sum_{n=0}^{\infty} \frac{x^n}{n!} $$

2. त्रिकोणमितीय फलन $\sin x$ और $\cos x$

जब $\sin x$ को बार-बार विभेदित किया जाता है, तो यह चक्रीय रूप से बदलता है: $\cos x, -\sin x, -\cos x, \sin x, \dots$। $x=0$ को प्रतिस्थापित करके, केवल विषम कोटि के व्युत्पन्न गुणांक शेष रहते हैं, और सम कोटि $0$ हो जाते हैं।

$$ \sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \dots = \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)!} x^{2n+1} $$

इसी तरह, $\cos x$ के लिए, केवल सम कोटि के पद शेष रहते हैं।

$$ \cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \dots = \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n)!} x^{2n} $$

टेलर श्रृंखला का विस्तार

जबकि मैकलॉरिन श्रृंखला $x=0$ के आसपास एक सन्निकटन है, इसे मनमाने बिंदु $x=a$ के आसपास एक सन्निकटन के लिए सामान्यीकृत करने पर टेलर श्रृंखला प्राप्त होती है।

$$ f(x) = f(a) + f'(a)(x-a) + \frac{f''(a)}{2!}(x-a)^2 + \dots = \sum_{n=0}^{\infty} \frac{f^{(n)}(a)}{n!} (x-a)^n $$

यह सूत्र अपनी शक्ति को प्रदर्शित करता है जब आप किसी फ़ंक्शन के मूल्य की भविष्यवाणी करना चाहते हैं जो $x=a$ ( $x = a + \Delta x$ ) से थोड़ा दूर है।

टेलर श्रृंखला के अनुप्रयोग

भौतिकी में रैखिक सन्निकटन

भौतिकी में, गति के समीकरणों को हल करने में आसान बनाने के लिए टेलर श्रृंखला का उपयोग करके सन्निकटन का अक्सर उपयोग किया जाता है। उदाहरण के लिए, एक पेंडुलम की गति में, यदि स्विंग कोण $\theta$ पर्याप्त रूप से छोटा है, तो हम $\sin \theta$ के लिए मैकलॉरिन श्रृंखला के केवल पहले क्रम के पद को निकालते हैं और इसे निम्नानुसार अनुमानित करते हैं:

$$ \sin \theta \approx \theta \quad (\text{जब } \theta \text{ काफी छोटा हो}) $$

यह एक जटिल अरेखीय अवकल समीकरण को एक आसानी से हल करने योग्य रैखिक अवकल समीकरण में बदल देता है, जिससे एक साधारण पेंडुलम का समकालिकता प्राप्त होता है।

प्रोग्रामिंग और संख्यात्मक गणना

कंप्यूटर के मानक पुस्तकालयों (जैसे math मॉड्यूल) के अंदर, कार्यों की गणना करने के लिए टेलर श्रृंखला (या चेबीशेव सन्निकटन जैसे इसके उन्नत संस्करण) का उपयोग किया जाता है। नीचे पायथन में $\sin x$ का अनुमान लगाने का एक सरल उदाहरण दिया गया है।

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
import math

def approx_sin(x, terms=10):
    """
    मैकलॉरिन श्रृंखला का उपयोग करके sin(x) का अनुमान लगाने के लिए फ़ंक्शन
    x: रेडियन में कोण
    terms: गणना किए जाने वाले पदों की संख्या
    """
    result = 0.0
    for n in range(terms):
        # प्रत्येक पद की गणना करें: (-1)^n * x^(2n+1) / (2n+1)!
        sign = (-1) ** n
        numerator = x ** (2 * n + 1)
        denominator = math.factorial(2 * n + 1)
        result += sign * (numerator / denominator)
    return result

# परीक्षण: x = 1.0 रेडियन (लगभग 57.3 डिग्री)
x_val = 1.0
print(f"अनुमानित मूल्य: {approx_sin(x_val)}")
print(f"सही मूल्य: {math.sin(x_val)}")

अभिसरण की त्रिज्या और टेलर का प्रमेय

सभी कार्यों को प्रत्येक $x$ पर टेलर श्रृंखला द्वारा सटीक रूप से प्रस्तुत नहीं किया जा सकता है। वह सीमा जिसके भीतर अनंत श्रृंखला एक परिमित मूल्य में परिवर्तित होती है उसे अभिसरण की त्रिज्या कहा जाता है। उदाहरण के लिए, $\ln(1+x)$ के लिए मैकलॉरिन श्रृंखला केवल $-1 < x \le 1$ सीमा में मान्य है।

इसके अलावा, टेलर का प्रमेय (शेष पद का मूल्यांकन) यह अनुमान लगाने के लिए एक प्रमेय है कि परिमित पदों ( $n$-वें क्रम तक) पर काटे जाने पर सही मान और अनुमानित मान के बीच कितनी त्रुटि होगी। यह हमें गणितीय रूप से गारंटी देने की अनुमति देता है कि “आवश्यक सटीकता के आधार पर हमें किस क्रम तक विस्तार करना चाहिए।”

निष्कर्ष

टेलर श्रृंखला और मैकलॉरिन श्रृंखला, जटिल दुनिया को बहुपद नामक आसानी से प्रबंधनीय रूप में अनुवाद करने के लिए, कहने के लिए, “गणितीय अनुवादक” हैं। विभेदन की अवधारणा से शुरू होने और अनंत परिवर्धन के माध्यम से मूल फ़ंक्शन को पूरी तरह से बहाल करने की प्रक्रिया गणित की सुंदरता का प्रतीक है। भौतिकी में सन्निकटन से लेकर एआई में अनुकूलन एल्गोरिदम तक, इसके अनुप्रयोगों की सीमा अथाह है। हर तरह से, गणित और प्रोग्रामिंग की अपनी समझ को गहरा करने के लिए इस शक्तिशाली उपकरण का उपयोग करें।