משתמש:אור שחף/133 - תרגול/29.5.11 - היסטוריית גרסאות

אור שחף: /* סכומי טורים */

2011-10-20T15:41:09Z

סכומי טורים

→ הגרסה הקודמת		גרסה מ־15:41, 20 באוקטובר 2011
שורה 2:		שורה 2:
	'''תזכורת:''' (אינטגרציה איבר איבר בסדרות) אם <math>f_n</math> סדרת פונקציות רציפות המתכנסות במ"ש לפונקציה f ב-<math>[a,b]</math>, אז f אינטגרבילית ומתקיים <math>\lim_{n\to\infty}\int\limits_a^b f_n=\int\limits_a^b f</math>. באופן דומה ננסח עבור גזירה איבר-איבר בסדרות: <math>f_n</math> סדרת פונקציות גזירות ורציפות ב-<math>[a,b]</math> המתכנסת בנקודה אחת לפחות <math>x_0\in[a,b]</math> ל-<math>f(x_0)</math>. אם <math>f_n'</math> סדרת פונקציות המתכנסות במ"ש ב-<math>[a,b]</math> אז <math>f</math> גזירה <math>\lim_{n\to\infty} f_n'(x)=f'(x)=\left(\lim_{n\to\infty}f_n(x)\right)'</math>.		'''תזכורת:''' (אינטגרציה איבר איבר בסדרות) אם <math>f_n</math> סדרת פונקציות רציפות המתכנסות במ"ש לפונקציה f ב-<math>[a,b]</math>, אז f אינטגרבילית ומתקיים <math>\lim_{n\to\infty}\int\limits_a^b f_n=\int\limits_a^b f</math>. באופן דומה ננסח עבור גזירה איבר-איבר בסדרות: <math>f_n</math> סדרת פונקציות גזירות ורציפות ב-<math>[a,b]</math> המתכנסת בנקודה אחת לפחות <math>x_0\in[a,b]</math> ל-<math>f(x_0)</math>. אם <math>f_n'</math> סדרת פונקציות המתכנסות במ"ש ב-<math>[a,b]</math> אז <math>f</math> גזירה <math>\lim_{n\to\infty} f_n'(x)=f'(x)=\left(\lim_{n\to\infty}f_n(x)\right)'</math>.

	באופן דומה נגדיר עבור טורים. עבור אינטגרציה, לדוגמה: יהי <math>\sum_{n=1}^\infty f_n(x)</math> טור של פונקציות רציפות ב-<math>[a,b]</math> המתכנס במ"ש בקטע לפונקצית סכום <math>S(x)</math>, אזי טור המספרים מתכנס ומתקיים <math>\sum_{n=0}^\infty \int\limits_a^b f_n=\int\limits_a^b \sum_{n=0}^\infty=\int\limits_a^b S</math>.		באופן דומה נגדיר עבור טורים. עבור אינטגרציה, לדוגמה: יהי <math>\sum_{n=1}^\infty f_n(x)</math> טור של פונקציות רציפות ב-<math>[a,b]</math> המתכנס במ"ש בקטע לפונקצית סכום <math>S(x)</math>, אזי טור המספרים מתכנס ומתקיים <math>\sum_{n=1}^\infty \int\limits_a^b f_n=\int\limits_a^b \sum_{n=1}^\infty f_n=\int\limits_a^b S</math>.

	גזירה איבר איבר של טורי פונקציות: יהיו <math>f_n</math> פונציות גזירות רציפות ב-<math>[a,b]</math> כך שהטור <math>\sum_{n=0}^\infty f_n(x)</math> מתכנס ב-<math>x_0\in[a,b]</math> ל-<math>S(x_0)</math> אם טור הנגזרות <math>\sum_{n=0}^\infty f_n'(x)</math> מתכנס במידה שווה בקטע אז מתקיים <math>\sum_{n=0}^\infty f_n'(x)=S'(x)=\left(\sum_{n=0}^\infty f_n(x)\right)'</math>.		גזירה איבר איבר של טורי פונקציות: יהיו <math>f_n</math> פונציות גזירות רציפות ב-<math>[a,b]</math> כך שהטור <math>\sum_{n=1}^\infty f_n(x)</math> מתכנס ב-<math>x_0\in[a,b]</math> ל-<math>S(x_0)</math>. אם טור הנגזרות <math>\sum_{n=1}^\infty f_n'(x)</math> מתכנס במידה שווה בקטע אז מתקיים <math>\sum_{n=1}^\infty f_n'(x)=S'(x)=\left(\sum_{n=1}^\infty f_n(x)\right)'</math>.

	==דוגמה 1==		==דוגמה 1==

אור שחף: /* פתרון */

2011-08-30T15:32:18Z

פתרון

→ הגרסה הקודמת		גרסה מ־15:32, 30 באוגוסט 2011
שורה 31:		שורה 31:
	ראשית נוכיח שהטור <math>\sum_{n=1}^\infty x^n</math> מתכנס במ"ש ב-<math>(0,1)</math>. יהי <math>0<x_0<1</math> ולכן <math>\left\|x^n\right\|\le x_0^n</math> לכל <math>x\in[0,x_0]</math>. כמו כן <math>\sum_{n=1}^\infty x_0^n</math> מתכנס כי <math>0<x_0<1</math> והטור הנדסי, לכן, ממבחן ה-M של ויירשראס, הטור <math>\sum_{n=1}^\infty x^n=\frac1{1-x}</math> מתכנס במ"ש ב-<math>[0,x_0]</math>. עתה נוכל לעשות אינטגרציה איבר-איבר: <math>\int\limits_0^x\frac{\mathrm dt}{1-t}=\int\limits_0^x\sum_{n=1}^\infty t^n\mathrm dt=\sum_{n=1}^\infty\int\limits_0^x t^n\mathrm dt=\sum_{n=1}^\infty\frac{x^{n+1}}{n+1}</math>. כמו כן, ברור כי <math>\int\limits_0^x\frac{\mathrm dt}{1-t}=[-\ln\|1-t\|]_{t=0}^x=-\ln(1-x)</math>, ולכן <math>\sum_{n=1}^\infty \frac{x^n}{n+1}=-\frac1x\ln(1-x)</math>.		ראשית נוכיח שהטור <math>\sum_{n=1}^\infty x^n</math> מתכנס במ"ש ב-<math>(0,1)</math>. יהי <math>0<x_0<1</math> ולכן <math>\left\|x^n\right\|\le x_0^n</math> לכל <math>x\in[0,x_0]</math>. כמו כן <math>\sum_{n=1}^\infty x_0^n</math> מתכנס כי <math>0<x_0<1</math> והטור הנדסי, לכן, ממבחן ה-M של ויירשראס, הטור <math>\sum_{n=1}^\infty x^n=\frac1{1-x}</math> מתכנס במ"ש ב-<math>[0,x_0]</math>. עתה נוכל לעשות אינטגרציה איבר-איבר: <math>\int\limits_0^x\frac{\mathrm dt}{1-t}=\int\limits_0^x\sum_{n=1}^\infty t^n\mathrm dt=\sum_{n=1}^\infty\int\limits_0^x t^n\mathrm dt=\sum_{n=1}^\infty\frac{x^{n+1}}{n+1}</math>. כמו כן, ברור כי <math>\int\limits_0^x\frac{\mathrm dt}{1-t}=[-\ln\|1-t\|]_{t=0}^x=-\ln(1-x)</math>, ולכן <math>\sum_{n=1}^\infty \frac{x^n}{n+1}=-\frac1x\ln(1-x)</math>.

	עתה, אם <math>x>1</math> אזי <math>\frac1x\in(0,1)</math> ולבסוף {{left\|<math>\begin{align}\sum_{n=1}^\infty\frac n{(n+1)x^n}&=\sum_{n=1}^\infty \frac1{x^n}-\sum_{n=1}^\infty \frac1{(n+1)x^n}\\&=\frac1{1-\tfrac1x}-\left(-\frac1{1/x}\ln\left(1-\frac1x\right)\right)\\&=\frac x{x-1}-x\ln\left(\frac{x-1}x\right)\end{align}</math>}} {{משל}}		עתה, אם <math>x>1</math> אזי <math>\frac1x\in(0,1)</math> ולבסוף {{left\|<math>\begin{align}\sum_{n=1}^\infty\frac n{(n+1)x^n}&=\sum_{n=1}^\infty \frac1{x^n}-\sum_{n=1}^\infty \frac1{(n+1)x^n}\\&=\frac1{1-\tfrac1x}-\left(-\frac1{1/x}\ln\left(1-\frac1x\right)\right)\\&=\frac x{x-1}+x\ln\left(\frac{x-1}x\right)\end{align}</math>}} {{משל}}

	==דוגמה 3==		==דוגמה 3==

אור שחף: /* פתרון */

2011-08-30T15:31:13Z

פתרון

→ הגרסה הקודמת		גרסה מ־15:31, 30 באוגוסט 2011
שורה 27:		שורה 27:

	===פתרון===		===פתרון===
	נשים לב כי <math>\frac n{(n+1)x^n}=\frac1{x^n}-\frac1{(n+1)x^n}</math>, ומכיוון שהטור המקורי הוא טור חזקות של <math>\frac1x</math>, הוא מתכנס בהחלט בתחום ההתכנסות שלו (למעט, אולי, בקצוות). לפיכך, מספיק לחשב את <math>\sum_{n=1}^\infty \frac1{x^n}-\sum_{n=1}^\infty \frac1{(n+1)x^n}</math>.		נשים לב כי <math>\frac n{(n+1)x^n}=\frac1{x^n}-\frac1{(n+1)x^n}</math>, ולפיכך מספיק לחשב את <math>\sum_{n=1}^\infty \frac1{x^n}-\sum_{n=1}^\infty \frac1{(n+1)x^n}</math>.

	ראשית נוכיח שהטור <math>\sum_{n=1}^\infty x^n</math> מתכנס במ"ש ב-<math>(0,1)</math>. יהי <math>0<x_0<1</math> ולכן <math>\left\|x^n\right\|\le x_0^n</math> לכל <math>x\in[0,x_0]</math>. כמו כן <math>\sum_{n=1}^\infty x_0^n</math> מתכנס כי <math>0<x_0<1</math> והטור הנדסי, לכן, ממבחן ה-M של ויירשראס, הטור <math>\sum_{n=1}^\infty x^n=\frac1{1-x}</math> מתכנס במ"ש ב-<math>[0,x_0]</math>. עתה נוכל לעשות אינטגרציה איבר-איבר: <math>\int\limits_0^x\frac{\mathrm dt}{1-t}=\int\limits_0^x\sum_{n=1}^\infty t^n\mathrm dt=\sum_{n=1}^\infty\int\limits_0^x t^n\mathrm dt=\sum_{n=1}^\infty\frac{x^{n+1}}{n+1}</math>. כמו כן, ברור כי <math>\int\limits_0^x\frac{\mathrm dt}{1-t}=[-\ln\|1-t\|]_{t=0}^x=-\ln(1-x)</math>, ולכן <math>\sum_{n=1}^\infty \frac{x^n}{n+1}=-\frac1x\ln(1-x)</math>.		ראשית נוכיח שהטור <math>\sum_{n=1}^\infty x^n</math> מתכנס במ"ש ב-<math>(0,1)</math>. יהי <math>0<x_0<1</math> ולכן <math>\left\|x^n\right\|\le x_0^n</math> לכל <math>x\in[0,x_0]</math>. כמו כן <math>\sum_{n=1}^\infty x_0^n</math> מתכנס כי <math>0<x_0<1</math> והטור הנדסי, לכן, ממבחן ה-M של ויירשראס, הטור <math>\sum_{n=1}^\infty x^n=\frac1{1-x}</math> מתכנס במ"ש ב-<math>[0,x_0]</math>. עתה נוכל לעשות אינטגרציה איבר-איבר: <math>\int\limits_0^x\frac{\mathrm dt}{1-t}=\int\limits_0^x\sum_{n=1}^\infty t^n\mathrm dt=\sum_{n=1}^\infty\int\limits_0^x t^n\mathrm dt=\sum_{n=1}^\infty\frac{x^{n+1}}{n+1}</math>. כמו כן, ברור כי <math>\int\limits_0^x\frac{\mathrm dt}{1-t}=[-\ln\|1-t\|]_{t=0}^x=-\ln(1-x)</math>, ולכן <math>\sum_{n=1}^\infty \frac{x^n}{n+1}=-\frac1x\ln(1-x)</math>.

אור שחף ב־15:24, 30 באוגוסט 2011

2011-08-30T15:24:01Z

→ הגרסה הקודמת		גרסה מ־15:24, 30 באוגוסט 2011
שורה 24:		שורה 24:

	==דוגמה 2==		==דוגמה 2==
	~~יטופל בהמשך:~~
	~~<div style="opacity:0.5;">~~
	חשבו את סכום הטור <math>\sum_{n=1}^\infty\frac n{(n+1)x^n}</math> עבור <math>x>1</math>.		חשבו את סכום הטור <math>\sum_{n=1}^\infty\frac n{(n+1)x^n}</math> עבור <math>x>1</math>.

	===פתרון===		===פתרון===
	ראשית נוכיח שהטור <math>\sum_{n=1}^\infty x^n</math> מתכנס במ"ש ב-<math>(0,1)</math>. יהי <math>0<x_0<1</math> ולכן <math>\left\|x^n\right\|\le x_0^n</math> לכל <math>~~\frac1x~~\in[0,x_0]</math>. כמו כן <math>\sum_{n=1}^\infty x_0^n</math> מתכנס כי <math>0<x_0<1</math> והטור הנדסי, לכן, ממבחן ה-M של ~~ויירשטראס~~, הטור <math>\sum_{n=1}^\infty x^n=\frac1{1-x}</math> מתכנס במ"ש ב-<math>[0,x_0]</math>. עתה נוכל לעשות אינטגרציה איבר-איבר: <math>\int\limits_0^x\frac{\mathrm dt}{1-t}=\int\limits_0^x\sum_{n=1}^\infty t^n\mathrm dt=\sum_{n=1}^\infty\int\limits_0^x t^n\mathrm dt=\sum_{n=2}^\infty\frac{x^{n+1}}{n+1}</math>. כמו כן, ברור כי <math>\int\limits_0^x\frac{\mathrm dt}{1-t}=[-\ln(1-t)]_{t=0}^x=-\ln(1-x)</math>~~. נשאר לחלק ב~~-x ~~ואז לגזור~~.		נשים לב כי <math>\frac n{(n+1)x^n}=\frac1{x^n}-\frac1{(n+1)x^n}</math>, ומכיוון שהטור המקורי הוא טור חזקות של <math>\frac1x</math>, הוא מתכנס בהחלט בתחום ההתכנסות שלו (למעט, אולי, בקצוות). לפיכך, מספיק לחשב את <math>\sum_{n=1}^\infty \frac1{x^n}-\sum_{n=1}^\infty \frac1{(n+1)x^n}</math>.
	</~~div~~>
			ראשית נוכיח שהטור <math>\sum_{n=1}^\infty x^n</math> מתכנס במ"ש ב-<math>(0,1)</math>. יהי <math>0<x_0<1</math> ולכן <math>\left\|x^n\right\|\le x_0^n</math> לכל <math>x\in[0,x_0]</math>. כמו כן <math>\sum_{n=1}^\infty x_0^n</math> מתכנס כי <math>0<x_0<1</math> והטור הנדסי, לכן, ממבחן ה-M של ויירשראס, הטור <math>\sum_{n=1}^\infty x^n=\frac1{1-x}</math> מתכנס במ"ש ב-<math>[0,x_0]</math>. עתה נוכל לעשות אינטגרציה איבר-איבר: <math>\int\limits_0^x\frac{\mathrm dt}{1-t}=\int\limits_0^x\sum_{n=1}^\infty t^n\mathrm dt=\sum_{n=1}^\infty\int\limits_0^x t^n\mathrm dt=\sum_{n=1}^\infty\frac{x^{n+1}}{n+1}</math>. כמו כן, ברור כי <math>\int\limits_0^x\frac{\mathrm dt}{1-t}=[-\ln\|1-t\|]_{t=0}^x=-\ln(1-x)</math>, ולכן <math>\sum_{n=1}^\infty \frac{x^n}{n+1}=-\frac1x\ln(1-x)</math>.

			עתה, אם <math>x>1</math> אזי <math>\frac1x\in(0,1)</math> ולבסוף {{left\|<math>\begin{align}\sum_{n=1}^\infty\frac n{(n+1)x^n}&=\sum_{n=1}^\infty \frac1{x^n}-\sum_{n=1}^\infty \frac1{(n+1)x^n}\\&=\frac1{1-\tfrac1x}-\left(-\frac1{1/x}\ln\left(1-\frac1x\right)\right)\\&=\frac x{x-1}-x\ln\left(\frac{x-1}x\right)\end{align}</math>}} {{משל}}

	==דוגמה 3==		==דוגמה 3==
שורה 55:		שורה 56:

	===פתרון===		===פתרון===
	נשים לב כי הטור הנתון אינו טור חזקות, ולכן "נתקן" אותו. נגדיר <math>a_n=\begin{cases}n&\exists k:\ n=k!\\0&\text{else}\end{cases}</math>. נקבל את הטור <math>\sum_{n=0}^\infty a_n x^n</math>. ~~נשים לב שאכן~~ במקרה הזה נצטרך לחשב <math>\limsup</math> (ולא סתם <math>\lim</math>). <math>1/\limsup_{n\to\infty}\sqrt[n]{a_n}=1/\lim_{n\to\infty}\sqrt[n]n=1/1=1</math> ולכן רדיוס ההתכנסות הוא 1. נבדוק בקצוות: ב-1 הטור הוא <math>\sum_{n=0}^\infty n!\cdot 1^{n!}\to\infty</math>. עבור <math>x=-1</math> הטור הוא <math>\sum_{n=0}^\infty n!(-1)^{n!}</math>, שגם שואף לאינסוף כי <math>n!</math> זוגי לכל <math>n>1</math>. לסיכום, תחום ההתכנסות הוא <math>(-1,1)</math>. {{משל}}		נשים לב כי הטור הנתון אינו טור חזקות, ולכן "נתקן" אותו. נגדיר <math>a_n=\begin{cases}n&\exists k:\ n=k!\\0&\text{else}\end{cases}</math>. נקבל את הטור <math>\sum_{n=0}^\infty a_n x^n</math>. במקרה הזה נצטרך לחשב <math>\limsup</math> (ולא סתם <math>\lim</math>). <math>1/\limsup_{n\to\infty}\sqrt[n]{a_n}=1/\lim_{n\to\infty}\sqrt[n]n=1/1=1</math> ולכן רדיוס ההתכנסות הוא 1. נבדוק בקצוות: ב-1 הטור הוא <math>\sum_{n=0}^\infty n!\cdot 1^{n!}\to\infty</math>. עבור <math>x=-1</math> הטור הוא <math>\sum_{n=0}^\infty n!(-1)^{n!}</math>, שגם שואף לאינסוף כי <math>n!</math> זוגי לכל <math>n>1</math>. לסיכום, תחום ההתכנסות הוא <math>(-1,1)</math>. {{משל}}

אור שחף: /* פתרון */

2011-07-01T15:12:00Z

פתרון

→ הגרסה הקודמת		גרסה מ־15:12, 1 ביולי 2011
שורה 49:		שורה 49:

	===פתרון===		===פתרון===
	אכן מדובר על טור חזקות כי כאשר המקדם הכללי הוא <math>a_n=\frac1\sqrt[3]n</math>. לכן רדיוס ההתכנסות הוא <math>R=\frac1{\displaystyle\limsup_{n\to\infty}\sqrt[n]\tfrac1\sqrt[3]n}=\left(1/\~~limsup_~~{n\to\infty}\sqrt[n]n\right)^{-3}=1</math>. ז"א כאשר <math>\|x\|<1</math> הטור מתכנס. נשאר לבדוק האם יש התכנסות בקצוות <math>x=\pm1</math>. עבור <math>x=1</math> הטור הוא <math>\sum_{n=1}^\infty \frac{1^n}\sqrt[3]n</math>, שמתבדר כי הוא גדול מ-<math>\sum_{n=1}^\infty\frac1n=\infty</math>. עבור <math>x=-1</math> ברור שהטור מתכנס, לפי משפט לייבניץ. לסיכום, תחום ההתכנסות הוא <math>[-1,1)</math>. {{משל}}		אכן מדובר על טור חזקות כי כאשר המקדם הכללי הוא <math>a_n=\frac1\sqrt[3]n</math>. לכן רדיוס ההתכנסות הוא <math>R=\frac1{\displaystyle\limsup_{n\to\infty}\sqrt[n]\tfrac1\sqrt[3]n}=\left(1/\lim_{n\to\infty}\sqrt[n]n\right)^{-3}=1</math>. ז"א כאשר <math>\|x\|<1</math> הטור מתכנס. נשאר לבדוק האם יש התכנסות בקצוות <math>x=\pm1</math>. עבור <math>x=1</math> הטור הוא <math>\sum_{n=1}^\infty \frac{1^n}\sqrt[3]n</math>, שמתבדר כי הוא גדול מ-<math>\sum_{n=1}^\infty\frac1n=\infty</math>. עבור <math>x=-1</math> ברור שהטור מתכנס, לפי משפט לייבניץ. לסיכום, תחום ההתכנסות הוא <math>[-1,1)</math>. {{משל}}

	==דוגמה 5==		==דוגמה 5==

אור שחף: /* פתרון */

2011-07-01T14:56:35Z

פתרון

→ הגרסה הקודמת		גרסה מ־14:56, 1 ביולי 2011
שורה 38:		שורה 38:
	נשים לב שאם נגדיר<math>f_n(x)=\frac1{x^n}</math> אזי <math>f_n'(x)=(x^{-n})'=-n\cdot x^{-n-1}=\frac{-n}{x^{n+1}}</math>. כמו כן <math>\sum_{n=1}^\infty f_n(x)=\sum_{n=1}^\infty \frac1{x^n}=\frac{1/x}{1-1/x}=\frac1{x-1}</math>. נבדוק את התנאים לגזירה איבר-איבר. דרוש ש-<math>\sum f_n'(x)</math> יתכנס במ"ש.		נשים לב שאם נגדיר<math>f_n(x)=\frac1{x^n}</math> אזי <math>f_n'(x)=(x^{-n})'=-n\cdot x^{-n-1}=\frac{-n}{x^{n+1}}</math>. כמו כן <math>\sum_{n=1}^\infty f_n(x)=\sum_{n=1}^\infty \frac1{x^n}=\frac{1/x}{1-1/x}=\frac1{x-1}</math>. נבדוק את התנאים לגזירה איבר-איבר. דרוש ש-<math>\sum f_n'(x)</math> יתכנס במ"ש.

	נעזר במבחן ה-M של ויירשראס. אם <math>x>1</math> אז יש <math>1<a<x</math> ~~שם מתקיים~~ <math>\left\|\frac{-n}{x^{n+1}}\right\|\le\frac n{a^{n+1}}</math>. הטור <math>\sum_{n=1}^\infty \frac n{a^{n+1}}</math> טור מתכנס עפ"י מבחן המנה של ד'לאמר (או מבחן השורש של קושי).		נעזר במבחן ה-M של ויירשראס. אם <math>x>1</math> אז יש <math>1<a<x</math> ולכן <math>\left\|\frac{-n}{x^{n+1}}\right\|\le\frac n{a^{n+1}}</math>. הטור <math>\sum_{n=1}^\infty \frac n{a^{n+1}}</math> טור מתכנס עפ"י מבחן המנה של ד'לאמר (או מבחן השורש של קושי).

	נסיק שהטור <math>\sum_{n=1}^\infty\frac{-n}{x^{n+1}}</math> מתכנס במ"ש ולכן <math>\left(\sum_{n=1}^\infty \frac1{x^n}\right)'=\sum_{n=1}^\infty \left(\frac1{x^n}\right)'=\sum_{n=1}^\infty \frac{-n}{x^{n+1}}</math> וגם <math>\left(\sum_{n=1}^\infty \frac1{x^n}\right)'=\left(\frac1{x-1}\right)'=\frac{-1}{(x-1)^2}</math>. לסיכום <math>\sum_{n=1}^\infty \frac{-n}{x^{n+1}}=\frac{-1}{(x-1)^2}</math>, ולפיכך <math>\sum_{n=1}^\infty\frac n{x^n}=\frac x{(x-1)^2}</math>. {{משל}}		נסיק שהטור <math>\sum_{n=1}^\infty\frac{-n}{x^{n+1}}</math> מתכנס במ"ש ולכן <math>\left(\sum_{n=1}^\infty \frac1{x^n}\right)'=\sum_{n=1}^\infty \left(\frac1{x^n}\right)'=\sum_{n=1}^\infty \frac{-n}{x^{n+1}}</math> וגם <math>\left(\sum_{n=1}^\infty \frac1{x^n}\right)'=\left(\frac1{x-1}\right)'=\frac{-1}{(x-1)^2}</math>. לסיכום <math>\sum_{n=1}^\infty \frac{-n}{x^{n+1}}=\frac{-1}{(x-1)^2}</math>, ולפיכך <math>\sum_{n=1}^\infty\frac n{x^n}=\frac x{(x-1)^2}</math>. {{משל}}

אור שחף ב־14:55, 1 ביולי 2011

2011-07-01T14:55:32Z

הצגת שינויים

77.125.124.137: /* דוגמה 1 */

2011-05-29T22:17:13Z

דוגמה 1

→ הגרסה הקודמת		גרסה מ־22:17, 29 במאי 2011
שורה 5:		שורה 5:
	# חשב <math>\sum_{n=0}^\infty (-1)^n \frac1{2^nn}</math>. פתרון: נעזר בתרגיל בטור הנדסי, ידוע ש-<math>\ln(1+t)=\int\limits_0^t\frac{\mathrm dx}{1+x}</math>. בנוסף ידוע שמתקיים <math>\sum_{n=0}^\infty (-1)^nx^n=\frac1{1+x}</math> (לפי סדרה הנדסית). מספיק להראות שהטור הנ"ל מתכנס במ"ש בקטע סגור מהצורה <math>[-a,a]</math>. נשתמש במבחן ה-M של וירשטרס <math>\|(-1)^nx^n\|\le a^n</math> (עבור הקטע הסגור הנ"ל <math>[-a,a]</math>) אם <math>0<a<1</math> ברור ש-<math>\sum_{n=0}^\infty a^<math>formula</math></math> מתכנס ולכן לפי מבחן ה-M הטור המקורי מתכנס במ"ש.		# חשב <math>\sum_{n=0}^\infty (-1)^n \frac1{2^nn}</math>. פתרון: נעזר בתרגיל בטור הנדסי, ידוע ש-<math>\ln(1+t)=\int\limits_0^t\frac{\mathrm dx}{1+x}</math>. בנוסף ידוע שמתקיים <math>\sum_{n=0}^\infty (-1)^nx^n=\frac1{1+x}</math> (לפי סדרה הנדסית). מספיק להראות שהטור הנ"ל מתכנס במ"ש בקטע סגור מהצורה <math>[-a,a]</math>. נשתמש במבחן ה-M של וירשטרס <math>\|(-1)^nx^n\|\le a^n</math> (עבור הקטע הסגור הנ"ל <math>[-a,a]</math>) אם <math>0<a<1</math> ברור ש-<math>\sum_{n=0}^\infty a^<math>formula</math></math> מתכנס ולכן לפי מבחן ה-M הטור המקורי מתכנס במ"ש.

	יהי <math>t\in(-1,1)</math>, נסתכל על הקטע מהצורה <math>[0,t]</math> שם <math>\ln(1+t)=\int\limits_0^t\frac{\mathrm dx}{1-(-x)}=\int\limits_0^t \sum_{n=0}^\infty (-1)^nx^n \mathrm dx=\sum_{n=0}^\infty \int\limits_0^t (-1)^nx^n\mathrm dx</math> (הראנו שהטור מתכנס במ"ש לפי וירשטרס, נחליף בין האינטגרציה לסכימה). זה שווה ל-<math>\left[\sum_{n=0}^\infty(-1)^n\frac{x^{n+1}}{n+1}\right]_{x=0}^1=\sum_{n=0}^\infty \frac{(-1)^nt^{n+1}}{n+1}=\sum_{n=1}^\infty\frac{(-1)^{n+1}t^n}n</math>		יהי <math>t\in(-1,1)</math>, נסתכל על הקטע מהצורה <math>[0,t]</math> שם <math>\ln(1+t)=\int\limits_0^t\frac{\mathrm dx}{1-(-x)}=\int\limits_0^t \sum_{n=0}^\infty (-1)^nx^n \mathrm dx=\sum_{n=0}^\infty \int\limits_0^t (-1)^nx^n\mathrm dx</math> (הראנו שהטור מתכנס במ"ש לפי וירשטרס, נחליף בין האינטגרציה לסכימה). זה שווה ל-<math>\left[\sum_{n=0}^\infty(-1)^n\frac{x^{n+1}}{n+1}\right]_{x=0}^t=\sum_{n=0}^\infty \frac{(-1)^nt^{n+1}}{n+1}=\sum_{n=1}^\infty\frac{(-1)^{n+1}t^n}n</math>

	ב. ברור כי <math>t=\frac12</math> נמצא בקטע, שם יש התכנסות (כי תחום ההתכנסות טור הנדסי) <math>\sum_{n=1}^\infty\frac{(-1)^{n+1}\left(\frac12\right)^n}n=\sum_{n=1}^\infty\frac{(-1)^{n+1}}{2^nn}=-\ln\left(1+\frac12\right)</math>		ב. ברור כי <math>t=\frac12</math> נמצא בקטע, שם יש התכנסות (כי תחום ההתכנסות טור הנדסי) <math>\sum_{n=1}^\infty\frac{(-1)^{n+1}\left(\frac12\right)^n}n=\sum_{n=1}^\infty\frac{(-1)^{n+1}}{2^nn}=-\ln\left(1+\frac12\right)</math>

77.125.124.137: /* דוגמה 1 */

2011-05-29T22:13:33Z

דוגמה 1

→ הגרסה הקודמת		גרסה מ־22:13, 29 במאי 2011
שורה 3:		שורה 3:
	==דוגמה 1==		==דוגמה 1==
	# הוכח שלכל <math>t\in(0,1)</math> מתקיים <math>\ln(1+t)=\sum_{n=1}^\infty (-1)^n\frac{t^n}n</math>.		# הוכח שלכל <math>t\in(0,1)</math> מתקיים <math>\ln(1+t)=\sum_{n=1}^\infty (-1)^n\frac{t^n}n</math>.
	# חשב <math>\sum_{n=0}^\infty (-1)^n \frac1{2^nn}</math>. פתרון: נעזר בתרגיל בטור הנדסי, ידוע ש-<math>\ln(1+t)=\int\limits_0^t\frac{\mathrm dx}{1+x}</math>. בנוסף ידוע שמתקיים <math>\sum_{n=0}^\infty (-1)^nx^n=\frac1{1+x}</math> (לפי סדרה הנדסית). מספיק להראות שהטור הנ"ל במ"ש בקטע סגור מהצורה <math>[-a,a]</math>. נשתמש במבחן ה-M של וירשטרס <math>\|(-1)^nx^n\|\le a^n</math> (עבור הקטע הסגור הנ"ל <math>[-a,a]</math>) אם <math>0<a<1</math> ברור ש-<math>\sum_{n=0}^\infty a^<math>formula</math></math> מתכנס ולכן לפי מבחן ה-M הטור המקורי מתכנס במ"ש.		# חשב <math>\sum_{n=0}^\infty (-1)^n \frac1{2^nn}</math>. פתרון: נעזר בתרגיל בטור הנדסי, ידוע ש-<math>\ln(1+t)=\int\limits_0^t\frac{\mathrm dx}{1+x}</math>. בנוסף ידוע שמתקיים <math>\sum_{n=0}^\infty (-1)^nx^n=\frac1{1+x}</math> (לפי סדרה הנדסית). מספיק להראות שהטור הנ"ל מתכנס במ"ש בקטע סגור מהצורה <math>[-a,a]</math>. נשתמש במבחן ה-M של וירשטרס <math>\|(-1)^nx^n\|\le a^n</math> (עבור הקטע הסגור הנ"ל <math>[-a,a]</math>) אם <math>0<a<1</math> ברור ש-<math>\sum_{n=0}^\infty a^<math>formula</math></math> מתכנס ולכן לפי מבחן ה-M הטור המקורי מתכנס במ"ש.

	יהי <math>t\in(-1,1)</math>, נסתכל על הקטע מהצורה <math>[0,t]</math> שם <math>\ln(1+t)=\int\limits_0^t\frac{\mathrm dx}{1-(-x)}=\int\limits_0^t \sum_{n=0}^\infty (-1)^nx^n \mathrm dx=\sum_{n=0}^\infty \int\limits_0^t (-1)^nx^n\mathrm dx</math> (הראנו שהטור מתכנס במ"ש לפי וירשטרס, נחליף בין האינטגרציה לסכימה). זה שווה ל-<math>\left[\sum_{n=0}^\infty(-1)^n\frac{x^{n+1}}{n+1}\right]_{x=0}^1=\sum_{n=0}^\infty \frac{(-1)^nt^{n+1}}{n+1}=\sum_{n=1}^\infty\frac{(-1)^{n+1}t^n}n</math>		יהי <math>t\in(-1,1)</math>, נסתכל על הקטע מהצורה <math>[0,t]</math> שם <math>\ln(1+t)=\int\limits_0^t\frac{\mathrm dx}{1-(-x)}=\int\limits_0^t \sum_{n=0}^\infty (-1)^nx^n \mathrm dx=\sum_{n=0}^\infty \int\limits_0^t (-1)^nx^n\mathrm dx</math> (הראנו שהטור מתכנס במ"ש לפי וירשטרס, נחליף בין האינטגרציה לסכימה). זה שווה ל-<math>\left[\sum_{n=0}^\infty(-1)^n\frac{x^{n+1}}{n+1}\right]_{x=0}^1=\sum_{n=0}^\infty \frac{(-1)^nt^{n+1}}{n+1}=\sum_{n=1}^\infty\frac{(-1)^{n+1}t^n}n</math>

אור שחף: יצירת דף עם התוכן "=סכומי טורים= '''תזכורת:''' (אינטגרציה איבר איבר בסדרות) אם $f_n$ סדרת פונקציות רציפות המת..."

2011-05-29T15:49:32Z

יצירת דף עם התוכן "=סכומי טורים= '''תזכורת:''' (אינטגרציה איבר איבר בסדרות) אם <math>f_n</math> סדרת פונקציות רציפות המת..."

דף חדש

=סכומי טורים=
'''תזכורת:''' (אינטגרציה איבר איבר בסדרות) אם <math>f_n</math> סדרת פונקציות רציפות המתכנסות במ"ש לפונקציה f ב-<math>[a,b]</math>, אז f אינטגרבילית ומתקיים <math>\lim_{n\to\infty}\int\limits_a^b f_n=\int\limits_a^b f</math>. באופן דומה ננסח עבור גזירה איבר-איבר בסדרות: <math>f_n</math> סדרת פונקציות גזירות ורציפות ב-<math>[a,b]</math> המתכנסת בנקודה אחת <math>x_0\in[a,b]</math> ל-<math>f(x_0)</math>. אם <math>f_n'</math> סדרת פונקציות המתכנסות במ"ש ב-<math>[a,b]</math> אז <math>f</math> גזירה <math>\lim_{n\to\infty} f_n'(x)=f'(x)=\left(\lim_{n\to\infty}f_n(x)\right)'</math>. באופן דומה נגדיר עבור טורים. '''עבור אינטגרציה לדוגמה''': יהי <math>\sum_{n=1}^\infty f_n(x)</math> טור של פונקציות רציפות ב-<math>[a,b]</math> המתכנס במ"ש בקטע לפונקצית סכום <math>S(x)</math> אז טור המספרים מתכנס ומתקיים <math>\sum_{n=0}^\infty \int\limits_a^b f_n=\int\limits_a^b \sum_{n=0}^\infty=\int\limits_a^b S</math>.
==דוגמה 1==
# הוכח שלכל <math>t\in(0,1)</math> מתקיים <math>\ln(1+t)=\sum_{n=1}^\infty (-1)^n\frac{t^n}n</math>.
# חשב <math>\sum_{n=0}^\infty (-1)^n \frac1{2^nn}</math>. פתרון: נעזר בתרגיל בטור הנדסי, ידוע ש-<math>\ln(1+t)=\int\limits_0^t\frac{\mathrm dx}{1+x}</math>. בנוסף ידוע שמתקיים <math>\sum_{n=0}^\infty (-1)^nx^n=\frac1{1+x}</math> (לפי סדרה הנדסית). מספיק להראות שהטור הנ"ל במ"ש בקטע סגור מהצורה <math>[-a,a]</math>. נשתמש במבחן ה-M של וירשטרס <math>|(-1)^nx^n|\le a^n</math> (עבור הקטע הסגור הנ"ל <math>[-a,a]</math>) אם <math>0<a<1</math> ברור ש-<math>\sum_{n=0}^\infty a^<math>formula</math></math> מתכנס ולכן לפי מבחן ה-M הטור המקורי מתכנס במ"ש.

יהי <math>t\in(-1,1)</math>, נסתכל על הקטע מהצורה <math>[0,t]</math> שם <math>\ln(1+t)=\int\limits_0^t\frac{\mathrm dx}{1-(-x)}=\int\limits_0^t \sum_{n=0}^\infty (-1)^nx^n \mathrm dx=\sum_{n=0}^\infty \int\limits_0^t (-1)^nx^n\mathrm dx</math> (הראנו שהטור מתכנס במ"ש לפי וירשטרס, נחליף בין האינטגרציה לסכימה). זה שווה ל-<math>\left[\sum_{n=0}^\infty(-1)^n\frac{x^{n+1}}{n+1}\right]_{x=0}^1=\sum_{n=0}^\infty \frac{(-1)^nt^{n+1}}{n+1}=\sum_{n=1}^\infty\frac{(-1)^{n+1}t^n}n</math>

ב. ברור כי <math>t=\frac12</math> נמצא בקטע, שם יש התכנסות (כי תחום ההתכנסות טור הנדסי) <math>\sum_{n=1}^\infty\frac{(-1)^{n+1}\left(\frac12\right)^n}n=\sum_{n=1}^\infty\frac{(-1)^{n+1}}{2^nn}=-\ln\left(1+\frac12\right)</math>

גזירה איבר איבר של טורי פונקציות: יהיו <math>f_n</math> פונציות גזירות רציפות ב-<math>[a,b]</math> כך שהטור <math>\sum_{n=0}^\infty f_n(x)</math> מתכנס ב-<math>x_0\in[a,b]</math> ל-<math>S(x_0)</math> אם טור הנגזרות <math>\sum_{n=0}^\infty f_n'(x)</math> מתכנס במידה שווה בקטע אז מתקיים <math>\sum_{n=0}^\infty f_n'(x)=S'(x)=\left(\sum_{n=0}^\infty f_n(x)\right)'</math>.

==דוגמה 2==
<math>\sum_{n=0}^\infty\frac n{(-n+1)x^n}</math>. חשבו את סכום הטור עבור <math>x>1</math>.
===פתרון===
נתייחס לטור הבא <math>\sum_{n=0}^\infty\frac1{x^n}</math> שידוע שמתכנס עבור <math>x>1</math>.

יש להראות כי הטור מתכנס במ"ש. ברור שע"י הצבה <math>t=\frac1x</math> באופן דומה לתרגיל נקבל התכנסות במ"ש.

<math>S_n(x)=\sum_{n=0}^\infty \frac n{-n+1}\frac1{x^n}</math>.

הראנו בשאלת הכנה כי הטור מתכנס במ"ש, נשאר לעשות אינטגרציה <math>\int\sum_{n=0}^\infty x^{-n}\mathrm dx=\sum_{n=0}^\infty \int x^{-n}\mathrm dx=\sum_{n=0}^\infty\frac{x^{-n+1}}{-n+1}=\frac1{1-1/x}</math>. עד כאן <math>\sum_{n=0}^\infty \frac{x^{-n+1}}{-n+1}=\frac1{1-1/x}=\frac x{x-1}</math>. צריך להגיע לטור המבוקש. ברור כי <math>\int\frac x{x-1}\mathrm dx=\int\frac{x-1+1}{x-1}\mathrm dx=\int\left(1+\frac1{x-1}\right)\mathrm dx=x+\ln|x-1|+c</math>. נשאר לחלק ב-x ואז לגזור.

==דוגמה 2.5 {{הערה|(המטרה להסביר את דוגמה 2)}}==
מהו סכום הטור <math>\sum_{n=1}^\infty\frac n{x^n}</math> עבור <math>x<1</math>.
===פתרון===
נשים לב שאם נגדיר <math>f_n'(x)=\left(\frac1{x^n}\right)'=(x^{-n})'=-n\cdot x^{-n-1}=\frac{-n}{x^{n+2}}</math> ז"א <math>f_n(x)=\frac1{x^n}</math>. אם <math>\sum_{n=1}^\infty f_n=\sum_{n=1}^\infty \frac1{x^n}=\frac{1/x}{1-1/x}=\frac1{1-x}</math>. נבדוק את התנאים למשפט "גזירה איבר-איבר של טור פונקציות". דרוש ש-<math>\sum f_n'(x)</math> יתכנס במ"ש.

נעזר במבחן ה-M של וירשטרס. אם <math>x>1</math> אז יש <math>1<a<x</math> שם מתקיים <math>\left|\frac{-n}{x^{n+1}}\right|\le\left|\frac n{a^{n+1}}</math>. הטור <math>\sum_{n=1}^\infty \frac n{a^{n+1}}</math> טור מתכנס עפ"י מבחן דלאמר או מבחן השורש).

נסיק לפי מבחן ה-M של וירשטרס שהטור <math>\sum_{n=1}^\infty\frac{-n}{x^{n+1}}</math> מתכנס במ"ש ולכן אפשר להחליף סדר גזירה. <math>\left(\sum_{n=1}^\infty \frac1{x^n}\right)'=\sum_{n=1}^\infty \left(\frac1{x^n}\right)'=\sum_{n=1}^\infty \frac{-n}{x^{n+1}}=\left(\frac1{x-1}\right)'=\frac{-1}{(x-1)^2}</math> לסיכום <math>\sum_{n=1}^\infty \frac{-n}{x^{n+1}}=\frac{-1}{(x-1)^2}</math>.

=טור חזקות=
רדיוס ההתכנסות של טור חזקות <math>\sum_{n=1}^\infty a_nx^n</math> הוא <math>\frac1{\limsup_{n\to\infty}\sqrt[n]{|a_n|}}</math> ןקצוות הטור נבדוק בנפרד.
==דוגמה 3==
מצא תחום התכנסות של הטור <math>\sum_{n=1}^\infty\frac{x^n}\sqrt[3]n</math>
===פתרון===
אכן מדובר על חזקות כי <math>\sum=\sum_{n=1}^\infty \frac1\sqrt[3]nx^n</math> ולכן <math>a_n=\frac1\sqrt[3]n</math> ואז רדיוס ההתכנסות הוא <math>R=\frac1{\limsup_{n\to\infty}\sqrt[n]\frac1\sqrt[3]n}=1</math>. ז"א <math>|x|<1</math> נשאר לבדוק האם יש התכנסות בקצוות <math>\pm1</math>. עבור <math>x=1</math>: <math>\sum_{n=1}^\infty \frac{1^n}\sqrt[3]n</math> שמתבדר כי <math>\sum>\sum_{n=1}^\infty\frac1n</math> ולכן לפי מבחן ההשוואה מתבדר.

עבור <math>x=-1</math>: ברור שהטור מתכנס לפי טור לייבניץ. לסיכום תחום ההתכנסות הוא <math>[-1,1)</math>.
==דוגמה 4==
חשבו את תחום ההתכנסות של <math>\sum_{n=0}^\infty n!x^{n!}</math>. נשים לב כי הטור הנתון לא טור חזקות. "נתקן" את הטור לטור חזקות. נסתכל קודם על המקור. נסמן <math>a_n=n!</math> ונגדיר <math>b_k=\begin{cases}n!&k=n!\\0&\text{else}\end{cases}</math>. ברגע זה נקבל את הטור <math>\sum_{k=0}^\infty b_k x^k</math>.נשים לב שאכן במקרה הזה נצטרך את ה-<math>\limsup</math>.<math>\limsup_{n\to\infty}\frac1\sqrt[n]{b_k}=\lim_{n\to\infty}\sqrt[n]n=1</math> ולכן רדיוס ההתכנסות הוא 1. נבדוק בקצוות: ב-1 הטור הוא <math>\sum_{n=0}^\infty n!\cdot 1^{n!}\to\infty</math>. ועבור <math>x=-1</math> הטור הוא <math>\sum_{n=0}^\infty n!(-1)^{n!}</math> גם אינסוף כי <math>n!</math> זוגי לכל <math>n>1</math>.

משתמש:אור שחף/133 - תרגול/29.5.11 - היסטוריית גרסאות

אור שחף: /* סכומי טורים */

אור שחף: /* פתרון */

אור שחף: /* פתרון */

אור שחף ב־15:24, 30 באוגוסט 2011

אור שחף: /* פתרון */

אור שחף: /* פתרון */

אור שחף ב־14:55, 1 ביולי 2011

77.125.124.137: /* דוגמה 1 */

77.125.124.137: /* דוגמה 1 */

אור שחף: יצירת דף עם התוכן "=סכומי טורים= '''תזכורת:''' (אינטגרציה איבר איבר בסדרות) אם f_n סדרת פונקציות רציפות המת..."

אור שחף: יצירת דף עם התוכן "=סכומי טורים= '''תזכורת:''' (אינטגרציה איבר איבר בסדרות) אם $f_n$ סדרת פונקציות רציפות המת..."