سلسلة ميركاتور

التقريب متعدد الحدود للوغاريتم مع n=1، 2، 3، و 10 في الفترة (0،2).

في الرياضيات ، تُعرف متسلسلة ميركاتور أو متسلسلة نيوتن-ميركاتور بأنها متسلسلة تايلور للوغاريتم الطبيعي :

ln(1+x)=x-x22+x33-x44+{\displaystyle \ln(1+x)=x-{\frac {x^{2}}{2}}+{\frac {x^{3}}{3}}-{\frac {x^{4}}{4}}+\cdots }

في تدوين الجمع ،

ln(1+x)=ن=1(-1)ن+1نxن.{\displaystyle \ln(1+x)=\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}x^{n}.}

تتقارب المتسلسلة إلى اللوغاريتم الطبيعي (بعد إزاحته بمقدار 1) كلما-1<x1{\displaystyle -1<x\leq 1}.

تاريخ

اكتُشفت المتسلسلة بشكل مستقل من قِبل يوهانس هود (1656) [ 1 ] وإسحاق نيوتن (1665)، لكن لم ينشر أي منهما النتيجة. كما اكتشفها نيكولاس ميركاتور بشكل مستقل، وأدرج قيم المتسلسلة للأعداد الصغيرة في أطروحته "لوغاريتموتكنيا " عام 1668 ؛ وقد أُدرجت المتسلسلة العامة في مراجعة جون واليس للكتاب عام 1668 في " المعاملات الفلسفية" . [ 2 ]

الاشتقاق

يمكن الحصول على المتسلسلة عن طريق حساب متسلسلة تايلور لـln(x){\displaystyle \ln(x)}فيx=1{\displaystyle x=1}:

ln(x)=(x-1)-(x-1)22+(x-1)33-،{\displaystyle \ln(x)=(x-1)-{\frac {(x-1)^{2}}{2}}+{\frac {(x-1)^{3}}{3}}-\cdots ,}

واستبدال كلx{\displaystyle x}معx+1{\displaystyle x+1}أو بدلاً من ذلك، يمكن البدء بالمتسلسلة الهندسية المنتهية (ت-1{\displaystyle t\neq -1})

1-ت+ت2-+(-ت)ن-1=1-(-ت)ن1+ت{\displaystyle 1-t+t^{2}-\cdots +(-t)^{n-1}={\frac {1-(-t)^{n}}{1+t}}}

مما يعطي

11+ت=1-ت+ت2-+(-ت)ن-1+(-ت)ن1+ت.{\displaystyle {\frac {1}{1+t}}=1-t+t^{2}-\cdots +(-t)^{n-1}+{\frac {(-t)^{n}}{1+t}}.}

ويترتب على ذلك أن

0xدت1+ت=0x(1-ت+ت2-+(-ت)ن-1+(-ت)ن1+ت) دت{\displaystyle \int _{0}^{x}{\frac {dt}{1+t}}=\int _{0}^{x}\left(1-t+t^{2}-\cdots +(-t)^{n-1}+{\frac {(-t)^{n}}{1+t}}\right)\ dt}

وبالتكامل على أساس كل مصطلح،

ln(1+x)=x-x22+x33-+(-1)ن-1xنن+(-1)ن0xتن1+ت دت.{\displaystyle \ln(1+x)=x-{\frac {x^{2}}{2}}+{\frac {x^{3}}{3}}-\cdots +(-1)^{n-1}{\frac {x^{n}}{n}}+(-1)^{n}\int _{0}^{x}{\frac {t^{n}}{1+t}}\ dt.}

لو-1<x1{\displaystyle -1<x\leq 1}، يؤول حد الباقي إلى الصفر عندمان{\displaystyle n\to \infty }.

يمكن إجراء التكامل التكراري لهذا التعبير k مرة أخرى للحصول على

-xأك(x)+بك(x)ln(1+x)=ن=1(-1)ن-1xن+كن(ن+1)(ن+ك)،{\displaystyle -xA_{k}(x)+B_{k}(x)\ln(1+x)=\sum _{n=1}^{\infty }(-1)^{n-1}{\frac {x^{n+k}}{n(n+1)\cdots (n+k)}},}

أين

أك(x)=1ك!م=0ك(كم)xمل=1ك-م(-x)ل-1ل{\displaystyle A_{k}(x)={\frac {1}{k!}}\sum _{m=0}^{k}{k \choose m}x^{m}\sum _{l=1}^{km}{\frac {(-x)^{l-1}}{l}}}

و

بك(x)=1ك!(1+x)ك{\displaystyle B_{k}(x)={\frac {1}{k!}}(1+x)^{k}}

هي كثيرات حدود في x . [ 3 ]

حالات خاصة

جلسةx=1{\displaystyle x=1}ينتج عن متسلسلة ميركاتور سلسلة توافقية متناوبة

ك=1(-1)ك+1ك=ln(2).{\displaystyle \sum _{k=1}^{\infty }{\frac {(-1)^{k+1}}{k}}=\ln(2).}

سلسلة معقدة

متسلسلة القوى المعقدة

ن=1zنن=z+z22+z33+z44+{\displaystyle \sum _{n=1}^{\infty} {\frac {z^{n}}{n}}=z+{\frac {z^{2}}{2}}+{\frac {z^{3}}{3}}+{\frac {z^{4}}{4}}+\cdots }

سلسلة تايلور لـ-سجل(1-z){\displaystyle -\log(1-z)}حيث يرمز log إلى الفرع الرئيسي للوغاريتم المركب . تتقارب هذه المتسلسلة بدقة لجميع الأعداد المركبة.|z|1،z1{\displaystyle |z|\leq 1,z\neq 1}في الواقع، كما يتضح من اختبار النسبة ، فإن نصف قطر تقاربها يساوي 1، وبالتالي فهي تتقارب تقاربًا مطلقًا على كل قرص B (0, r ) بنصف قطر r < 1. علاوة على ذلك، فإنها تتقارب تقاربًا منتظمًا على كل قرص مقسم إلى أجزاء.   ب(0،1)¯ب(1،دلتا){\textstyle {\overline {B(0,1)}}\setminus B(1,\delta )}، حيث δ  >  0. وهذا يتبع مباشرة من المتطابقة الجبرية:

(1-z)ن=1مzنن=z-ن=2مzنن(ن-1)-zم+1م،{\displaystyle (1-z)\sum _{n=1}^{m}{\frac {z^{n}}{n}}=z-\sum _{n=2}^{m}{\frac {z^{n}}{n(n-1)}}-{\frac {z^{m+1}}{m}},}

مع ملاحظة أن الجانب الأيمن متقارب بشكل منتظم على القرص المغلق بأكمله.

انظر أيضاً

مراجع

  1. ^ فيرميج ، رينك (3 فبراير 2012). "Bijdrage tot de biobibliografie van Johannes Hudde" . جوينا / TGGNWT (باللغة الهولندية). 18 (1): 25 – 35. HDL : 1874/251283 . ISSN 0928-303X . 
  2. روي، رانجان (2021) [الطبعة الأولى 2011]. المتسلسلات والمنتجات في تطور الرياضيات . المجلد 1 ( الطبعة الثانية). مطبعة جامعة كامبريدج. الصفحات 107، 167.   
  3. ميدينا، لويس أ.؛ مول، فيكتور هـ .؛ رولاند، إريك س. (2011). "العناصر الأولية المتكررة للقوى اللوغاريتمية". المجلة الدولية لنظرية الأعداد . 7 (3): 623-634 . arXiv : 0911.1325 . doi : 10.1142/S179304211100423X . S2CID 115164019 .