बर्नौली बहुपद

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

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

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

कार्य उत्पन्न करना
बर्नौली बहुपद के लिए जनक फलन है


 * $$\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 बर्नौली संख्याएं हैं, और ईk यूलर संख्याएँ हैं।

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


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

जहां D = d/dx, x के संबंध में विभेदन है और अंश को औपचारिक शक्ति श्रृंखला के रूप में विस्तारित किया जाता है। यह इस प्रकार है कि
 * $$\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$$

बहुपद f पर, बस इसका योग है

\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 का 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, x के संबंध में विभेदन है, हमारे पास मर्केटर श्रृंखला से है,


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

जब तक यह x जैसे 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 है। डी.एच. लेहमर दिखाया कि B का अधिकतम मान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}.$$

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

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


 * $$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 Bernoulli polynomials from NIST