बर्नूली प्रमेय

गणित में, बरनौली बहुपद, याकूब बरनौली के नाम पर, बरनौली संख्या और द्विपद गुणांक का सम्मिश्रण है। उनका उपयोग फलन (गणित) के श्रृंखला विस्तार के लिए और यूलर-मैकलॉरिन सूत्र के साथ किया जाता है।

ये बहुपद कई विशेष कार्यों के अध्ययन में पाए जाते हैं और विशेष रूप से, रीमैन जीटा फलन और हर्विट्ज़ जीटा फलन वे एक अपील अनुक्रम हैं (अर्थात साधारण व्युत्पन्न ऑपरेटर के लिए एक शेफ़र अनुक्रम)। बरनौली बहुपदों के लिए, इकाई अंतराल में एक्स-अक्ष के क्रॉसिंग की संख्या डिग्री के साथ नहीं बढ़ती है। बड़ी डिग्री की सीमा में, वे संपर्क करते हैं, जब उचित रूप से बढ़ाया जाता है, साइन और कोसाइन कार्य करता है। जनरेटिंग फलन के आधार पर बहुपदों का एक समान समुच्चय, यूलर बहुपदों का परिवार है।

प्रतिनिधित्व
बरनौली बहुपद Bn जनरेटिंग फलन द्वारा परिभाषित किया जा सकता है। वे विभिन्न प्रकार के व्युत्पन्न अभ्यावेदन भी स्वीकार करते हैं।

फलनों का निर्माण
बरनौली बहुपदों के लिए जनक फलन है


 * $$\frac{t e^{xt}}{e^t-1}= \sum_{n=0}^\infty B_n(x) \frac{t^n}{n!}.$$

यूलर बहुपदों के लिए जनक फलन है
 * $$\frac{2 e^{xt}}{e^t+1}= \sum_{n=0}^\infty E_n(x) \frac{t^n}{n!}.$$

स्पष्ट सूत्र

 * $$B_n(x) = \sum_{k=0}^n {n \choose k} B_{n-k} x^k,$$
 * $$E_m(x)=

\sum_{k=0}^m {m \choose k} \frac{E_k}{2^k} \left(x-\frac{1}{2}\right)^{m-k} \,.$$ n ≥ 0 के लिए, जहाँ Bk बरनौली संख्या हैं, और Ek यूलर संख्या हैं।

एक अंतर ऑपरेटर द्वारा प्रतिनिधित्व
बरनौली बहुपद भी द्वारा दिया जाता है


 * $$B_n(x)={D \over e^D -1} x^n$$

जहां डी = डी/डीएक्स एक्स के संबंध में भेदभाव है और अंश औपचारिक शक्ति श्रृंखला के रूप में विस्तारित है। यह इस प्रकार है कि
 * $$\int _a^x B_n (u) ~du = \frac{B_{n+1}(x) - B_{n+1}(a)}{n+1}   ~.$$

सी एफ #इंटीग्रल्स। उसी टोकन से, यूलर बहुपदों द्वारा दिया जाता है


 * $$ E_n(x) = \frac{2}{e^D + 1} x^n. $$

एक अभिन्न ऑपरेटर द्वारा प्रतिनिधित्व
बरनौली बहुपद भी द्वारा निर्धारित अद्वितीय बहुपद हैं


 * $$\int_x^{x+1} B_n(u)\,du = x^n.$$

अभिन्न परिवर्तन


 * $$(Tf)(x) = \int_x^{x+1} f(u)\,du$$

बहुपद च पर, बस के बराबर है

\begin{align} (Tf)(x) = {e^D - 1 \over D}f(x) & {} = \sum_{n=0}^\infty {D^n \over (n+1)!}f(x) \\ & {} = f(x) + {f'(x) \over 2} + {f(x) \over 6} + {f'(x) \over 24} + \cdots ~. \end{align} $$ इसका उपयोग उलटा उत्पन्न करने के लिए किया जा सकता है।

एक और स्पष्ट सूत्र
बरनौली बहुपदों के लिए एक स्पष्ट सूत्र द्वारा दिया गया है


 * $$B_m(x)=

\sum_{n=0}^m \frac{1}{n+1} \sum_{k=0}^n (-1)^k {n \choose k} (x+k)^m.$$ यह जटिल विमान में हर्विट्ज़ जीटा फलन के लिए श्रृंखला अभिव्यक्ति के समान है। दरअसल, रिश्ता है


 * $$B_n(x) = -n \zeta(1-n,x)$$

जहां ζ(s, q) हर्विट्ज़ जीटा फलन है। उत्तरार्द्ध बरनौली बहुपदों को सामान्यीकृत करता है, जो एन के गैर-पूर्णांक मानों की अनुमति देता है। दूसरे प्रकार के ψn(x) के बर्नौली बहुपद, जिसे फोंटाना-बेसेल बहुपद के रूप में भी जाना जाता है, निम्नलिखित जनरेटिंग फलन द्वारा परिभाषित बहुपद हैं: पहले पांच बहुपद हैं: और उनके लिए एक अलग संकेतन का भी उपयोग कर सकते हैं (सबसे अधिक उपयोग किया जाता है) वैकल्पिक संकेतन बीएन (एक्स)) है। बरनौली बहुपदों के लिए फूरियर श्रृंखला का उपयोग एक से अधिक पूर्णांक तर्कों के लिए Riemann zeta फ़ंक्शन के मानों के बारे में जानकारी प्राप्त करने के लिए किया जाता है। यदि तर्क समान है तो हम सुप्रसिद्ध सटीक मानों को पुनः प्राप्त करते हैं, यदि तर्क विषम है तो हम अभिन्न निरूपण और तेजी से अभिसरण श्रृंखला पाते हैं

आंतरिक योग को x का nवाँ आगे का अंतर समझा जा सकता हैमी; वह है,


 * $$\Delta^n x^m = \sum_{k=0}^n (-1)^{n-k} {n \choose k} (x+k)^m$$

जहां Δ आगे अंतर ऑपरेटर है। इस प्रकार, कोई लिख सकता है


 * $$B_m(x)= \sum_{n=0}^m \frac{(-1)^n}{n+1} \,\Delta^n x^m. $$

यह सूत्र ऊपर दिखाई देने वाली पहचान से निम्नानुसार प्राप्त किया जा सकता है। चूंकि आगे अंतर ऑपरेटर Δ बराबर है


 * $$\Delta = e^D - 1$$

जहां डी एक्स के संबंध में भेदभाव है, हमारे पास मर्केटर श्रृंखला से है,


 * $${D \over e^D - 1} = {\log(\Delta + 1) \over \Delta} = \sum_{n=0}^\infty {(-\Delta)^n \over n+1}.$$

जब तक यह xm जैसे mth-डिग्री बहुपद पर संचालित होता है, कोई n को 0 से केवल m तक जाने दे सकता है।

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

यूलर बहुपदों के लिए एक स्पष्ट सूत्र द्वारा दिया गया है


 * $$E_m(x)=

\sum_{n=0}^m \frac{1}{2^n} \sum_{k=0}^n (-1)^k {n \choose k} (x+k)^m\,.$$ उपर्युक्त इस तथ्य का उपयोग करते हुए समान रूप से अनुसरण करता है


 * $$ \frac{2}{e^D + 1} = \frac{1}{1 + \Delta/2} = \sum_{n = 0}^\infty \Bigl(-\frac{\Delta}{2}\Bigr)^n. $$

पीटीएच शक्तियों का योग
ऊपर दिए गए अभ्यावेदन में से किसी एक का इंटीग्रल ऑपरेटर द्वारा उपयोग करना $$x^n$$ या अंतर और डेरिवेटिव $$ B_n(x + 1) - B_n(x) = nx^{n-1}$$, अपने पास


 * $$\sum_{k=0}^x k^p = \int_0^{x+1} B_p(t) \, dt = \frac{B_{p+1}(x+1)-B_{p+1}}{p+1} $$

(माना 00 = 1).

बरनौली और यूलर संख्या
बरनौली संख्याएँ किसके द्वारा दी जाती हैं $$\textstyle B_n=B_n(0).$$

यह परिभाषा देता है $$\textstyle \zeta(-n) = \frac{(-1)^n}{n+1}B_{n+1} $$ के लिए $$\textstyle n=0, 1, 2, \ldots$$.

एक वैकल्पिक फलन बरनौली संख्या को इस प्रकार परिभाषित करती है $$\textstyle B_n=B_n(1).$$

दो सम्मेलन केवल के लिए भिन्न होते हैं $$n=1$$ तब से $$B_1(1)= \tfrac{1}{2} = -B_1(0)$$.

यूलर संख्या किसके द्वारा दिए जाते हैं $$E_n=2^nE_n(\tfrac{1}{2}).$$

कम डिग्री के लिए स्पष्ट अभिव्यक्तियाँ
पहले कुछ बरनौली बहुपद हैं:



\begin{align} B_0(x) & =1 \\[8pt] B_1(x) & =x-\frac{1}{2} \\[8pt] B_2(x) & =x^2-x+\frac{1}{6} \\[8pt] B_3(x) & =x^3-\frac{3}{2}x^2+\frac{1}{2}x \\[8pt] B_4(x) & =x^4-2x^3+x^2-\frac{1}{30} \\[8pt] B_5(x) & =x^5-\frac{5}{2}x^4+\frac{5}{3}x^3-\frac{1}{6}x \\[8pt] B_6(x) & =x^6-3x^5+\frac{5}{2}x^4-\frac{1}{2}x^2+\frac{1}{42}. \end{align} $$ पहले कुछ यूलर बहुपद हैं:



\begin{align} E_0(x) & =1 \\[8pt] E_1(x) & =x-\frac{1}{2} \\[8pt] E_2(x) & =x^2-x \\[8pt] E_3(x) & =x^3-\frac{3}{2}x^2+\frac{1}{4} \\[8pt] E_4(x) & =x^4-2x^3+x \\[8pt] E_5(x) & =x^5-\frac{5}{2}x^4+\frac{5}{2}x^2-\frac{1}{2} \\[8pt] E_6(x) & =x^6-3x^5+5x^3-3x. \end{align} $$

अधिकतम और न्यूनतम
उच्च n पर, B में भिन्नता की मात्राn(x) x = 0 और x = 1 के बीच बड़ा हो जाता है। उदाहरण के लिए,


 * $$B_{16}(x)=x^{16}-8x^{15}+20x^{14}-\frac{182}{3}x^{12}+\frac{572}{3}x^{10}-429x^8+\frac{1820}{3}x^6

-\frac{1382}{3}x^4+140x^2-\frac{3617}{510}$$ जो दर्शाता है कि x = 0 (और x = 1) पर मान -3617/510 ≈ −7.09 है, जबकि x = 1/2 पर, मान 118518239/3342336 ≈ +7.09 है। डीएच लेहमर दिखाया गया है कि बी का अधिकतम मूल्यn(x) 0 और 1 के बीच पालन करता है


 * $$M_n < \frac{2n!}{(2\pi)^n}$$

जब तक n 2 मॉड्यूल 4 नहीं है, किस प्रकरण में


 * $$M_n = \frac{2\zeta(n)n!}{(2\pi)^n}$$

(जहाँ $$\zeta(x)$$ रीमैन ज़ेटा फलन है), जबकि न्यूनतम पालन करता है


 * $$m_n > \frac{-2n!}{(2\pi)^n}$$

जब तक कि n 0 मॉड्यूल 4 न हो, किस प्रकरण में


 * $$m_n = \frac{-2\zeta(n)n!}{(2\pi)^n}.$$

ये सीमाएँ वास्तविक अधिकतम और न्यूनतम के काफी करीब हैं, और लेह्मर अधिक सटीक सीमाएँ भी देता है।

अंतर और डेरिवेटिव्स
बरनौली और यूलर बहुपद अम्ब्रल कैलकुलस से कई संबंधों का पालन करते हैं:


 * $$\Delta B_n(x) = B_n(x+1)-B_n(x)=nx^{n-1},$$
 * $$\Delta E_n(x) = E_n(x+1)-E_n(x)=2(x^n-E_n(x)).$$

(Δ आगे अंतर ऑपरेटर है)। भी,


 * $$ E_n(x+1) + E_n(x) = 2x^n.$$

ये बहुपद अनुक्रम अपील अनुक्रम हैं:


 * $$B_n'(x)=nB_{n-1}(x),$$
 * $$E_n'(x)=nE_{n-1}(x).$$

अनुवाद

 * $$B_n(x+y)=\sum_{k=0}^n {n \choose k} B_k(x) y^{n-k}$$
 * $$E_n(x+y)=\sum_{k=0}^n {n \choose k} E_k(x) y^{n-k}$$

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

समरूपता

 * $$B_n(1-x)=(-1)^nB_n(x),\quad n \ge 0,$$
 * $$E_n(1-x)=(-1)^n E_n(x)$$
 * $$(-1)^n B_n(-x) = B_n(x) + nx^{n-1}$$
 * $$(-1)^n E_n(-x) = -E_n(x) + 2x^n$$
 * $$B_n\left(\frac{1}{2}\right) = \left(\frac{1}{2^{n-1}}-1\right) B_n, \quad n \geq 0\text{ from the multiplication theorems below.} $$

निम्नलिखित आश्चर्यजनक समरूपता संबंध स्थापित किया: यदि $r + s + t = n$ और $x + y + z = 1$, तब


 * $$r[s,t;x,y]_n+s[t,r;y,z]_n+t[r,s;z,x]_n=0,$$

जहाँ


 * $$[s,t;x,y]_n=\sum_{k=0}^n(-1)^k{s \choose k}{t\choose {n-k}}

B_{n-k}(x)B_k(y).$$

फूरियर श्रृंखला
बर्नोली बहुपदों की फूरियर श्रृंखला भी एक डिरिचलेट श्रृंखला है, जो विस्तार द्वारा दी गई है


 * $$B_n(x) = -\frac{n!}{(2\pi i)^n}\sum_{k\not=0 }\frac{e^{2\pi ikx}}{k^n}= -2 n! \sum_{k=1}^{\infty} \frac{\cos\left(2 k \pi x- \frac{n \pi} 2 \right)}{(2 k \pi)^n}.$$

उपयुक्त रूप से स्केल किए गए त्रिकोणमितीय कार्यों के लिए साधारण बड़ी n सीमा पर ध्यान दें।

यह हर्विट्ज़ जेटा फलन के अनुरूप रूप का एक विशेष प्रकरण है


 * $$B_n(x) = -\Gamma(n+1) \sum_{k=1}^\infty

\frac{ \exp (2\pi ikx) + e^{i\pi n} \exp (2\pi ik(1-x)) } { (2\pi ik)^n }. $$ यह विस्तार केवल 0 ≤ x ≤ 1 जब n ≥ 2 के लिए मान्य होता है और 0 < x < 1 जब n = 1 के लिए मान्य होता है।

यूलर बहुपदों की फूरियर श्रृंखला की भी गणना की जा सकती है। कार्यों को परिभाषित करना


 * $$C_\nu(x) = \sum_{k=0}^\infty

\frac {\cos((2k+1)\pi x)} {(2k+1)^\nu}$$ और


 * $$S_\nu(x) = \sum_{k=0}^\infty

\frac {\sin((2k+1)\pi x)} {(2k+1)^\nu}$$ के लिए $$\nu > 1$$, यूलर बहुपद में फूरियर श्रृंखला है


 * $$C_{2n}(x) = \frac{(-1)^n}{4(2n-1)!}

\pi^{2n} E_{2n-1} (x)$$ और


 * $$S_{2n+1}(x) = \frac{(-1)^n}{4(2n)!}

\pi^{2n+1} E_{2n} (x).$$ ध्यान दें कि $$C_\nu$$ और $$S_\nu$$ क्रमशः विषम और सम हैं:


 * $$C_\nu(x) = -C_\nu(1-x)$$

और


 * $$S_\nu(x) = S_\nu(1-x).$$

वे लीजेंड्रे ची फलन से संबंधित हैं $$\chi_\nu$$ जैसा


 * $$C_\nu(x) = \operatorname{Re} \chi_\nu (e^{ix})$$

और


 * $$S_\nu(x) = \operatorname{Im} \chi_\nu (e^{ix}).$$

उलटा
बहुपदों के संदर्भ में एकपद को व्यक्त करने के लिए बरनौली और यूलर बहुपदों को व्युत्क्रम किया जा सकता है।

विशेष रूप से, उपरोक्त खंड से स्पष्ट रूप से प्रतिनिधित्व पर एक अभिन्न ऑपरेटर द्वारा, यह इस प्रकार है
 * $$x^n = \frac {1}{n+1}

\sum_{k=0}^n {n+1 \choose k} B_k (x) $$ और


 * $$x^n = E_n (x) + \frac {1}{2}

\sum_{k=0}^{n-1} {n \choose k} E_k (x). $$

गिरते फैक्टोरियल से संबंध
बरनौली बहुपदों को गिरते क्रमगुणों के संदर्भ में विस्तारित किया जा सकता है $$(x)_k$$ जैसा


 * $$B_{n+1}(x) = B_{n+1} + \sum_{k=0}^n

\frac{n+1}{k+1} \left\{ \begin{matrix} n \\ k \end{matrix} \right\} (x)_{k+1} $$ जहाँ $$B_n=B_n(0)$$ और


 * $$\left\{ \begin{matrix} n \\ k \end{matrix} \right\} = S(n,k)$$

दूसरी तरह की स्टर्लिंग संख्या को दर्शाता है। बरनौली बहुपदों के संदर्भ में गिरते क्रमगुणों को व्यक्त करने के लिए उपरोक्त को व्युत्क्रम किया जा सकता है:


 * $$(x)_{n+1} = \sum_{k=0}^n

\frac{n+1}{k+1} \left[ \begin{matrix} n \\ k \end{matrix} \right] \left(B_{k+1}(x) - B_{k+1} \right) $$ जहाँ
 * $$\left[ \begin{matrix} n \\ k \end{matrix} \right] = s(n,k)$$

पहली तरह की स्टर्लिंग संख्या को दर्शाता है।

गुणन प्रमेय
1851 में जोसेफ लुडविग राबे द्वारा गुणन प्रमेय दिए गए थे:

एक प्राकृतिक संख्या के लिए $m&ge;1$,


 * $$B_n(mx)= m^{n-1} \sum_{k=0}^{m-1} B_n \left(x+\frac{k}{m}\right)$$
 * $$E_n(mx)= m^n \sum_{k=0}^{m-1}

(-1)^k E_n \left(x+\frac{k}{m}\right) \quad \mbox{ for } m=1,3,\dots$$
 * $$E_n(mx)= \frac{-2}{n+1} m^n \sum_{k=0}^{m-1}

(-1)^k B_{n+1} \left(x+\frac{k}{m}\right) \quad \mbox{ for } m=2,4,\dots$$

इंटीग्रल्स
बरनौली और यूलर बहुपदों को बरनौली और यूलर संख्याओं से संबंधित दो निश्चित समाकल हैं: एक अन्य अभिन्न सूत्र बताता है के लिए विशेष प्रकरण के साथ $$y=0$$ \frac{(-1)^{n-1}(2n-1)!}{\pi^{2n}}\left( 2-2^{-2n} \right)\zeta(2n+1)$$ \frac{(-1)^{n-1}}{\pi^{2n}}\frac{2^{2n-2}}{(2n-1)!}\sum_{k=1}^{n}( 2^{2k+1}-1 )\zeta(2k+1)\zeta(2n-2k)$$
 * $$\int_0^1 B_n(t) B_m(t)\,dt = (-1)^{n-1} \frac{m!\; n!}{(m+n)!} B_{n+m} \quad \text{for } m,n \geq 1 $$
 * $$\int_0^1 E_n(t) E_m(t)\,dt = (-1)^{n} 4 (2^{m+n+2}-1)\frac{m!\;n!}{(m+n+2)!} B_{n+m+2}$$
 * $$\int_0^{1}E_{n}\left( x +y\right)\log(\tan \frac{\pi}{2}x)\,dx= n! \sum_{k=1}^{\left\lfloor\frac {n+1}2\right\rfloor} \frac{(-1)^{k-1}}{ \pi^{2k}}  \left( 2-2^{-2k} \right)\zeta(2k+1) \frac{y^ {n+1-2k}}{(n +1- 2k)!}$$
 * $$\int_0^{1}E_{2n-1}\left( x \right)\log(\tan \frac{\pi}{2}x)\,dx=
 * $$\int_0^{1}B_{2n-1}\left( x \right)\log(\tan \frac{\pi}{2}x)\,dx=
 * $$\int_0^{1}E_{2n}\left( x \right)\log(\tan \frac{\pi}{2}x)\,dx=\int_0^{1}B_{2n}\left( x \right)\log(\tan \frac{\pi}{2}x)\,dx=0$$
 * $$\int_{0}^{1}{{{B}_{2n-1}}\left( x \right)\cot \left( \pi x \right)dx}=\frac{2\left( 2n-1 \right)!}\zeta \left( 2n-1 \right)$$

आवधिक बरनौली बहुपद
एक आवधिक बरनौली बहुपद $P_{n}(x)$ एक बरनौली बहुपद है जिसका मूल्यांकन तर्क के भिन्नात्मक भाग पर किया जाता है $x$. इन कार्यों का उपयोग यूलर-मैकलॉरिन सूत्र में शेष शब्द प्रदान करने के लिए किया जाता है, जो योगों को समाकलित करता है। पहला बहुपद एक साउथूथ तरंग है।

सख्ती से ये कार्य बहुपद नहीं हैं और अधिक उचित रूप से आवधिक बरनौली कार्यों को कहा जाना चाहिए, और $P_{0}(x)$ एक कार्य भी नहीं है, एक सॉटूथ और एक डायराक कॉम्ब के व्युत्पन्न होने के नाते इसका प्रयोग किया जाता है।

निम्नलिखित गुण रुचि के हैं, सभी के लिए मान्य हैं $$ x $$:



\begin{align} &P_k(x) \text{ is continuous for all } k > 1 \\[5pt] &P_k'(x) \text{ exists and is continuous for } k > 2 \\[5pt] &P'_k(x) = kP_{k-1}(x), k > 2 \end{align} $$

यह भी देखें

 * बरनौली संख्या
 * दूसरी तरह के बरनौली बहुपद
 * स्टर्लिंग बहुपद
 * अंकगणितीय प्रगति की शक्तियों के योग की गणना करने वाले बहुपद

संदर्भ

 * Milton Abramowitz and Irene A. Stegun, eds. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, (1972) Dover, New York. (See Chapter 23)
 * (See chapter 12.11)
 * (Reviews relationship to the Hurwitz zeta function and Lerch transcendent.)
 * (Reviews relationship to the Hurwitz zeta function and Lerch transcendent.)
 * (Reviews relationship to the Hurwitz zeta function and Lerch transcendent.)

बाहरी संबंध

 * A list of integral identities involving बरनौली polynomials from NIST