שינויים
חשבו את האינטגרלים הבאים:
===א===
<math>\int\frac{dx}{\sin(x)}</math>
'''פתרון''':
נבצע [[מדיה:09Infi2Universal.pdf|הצבה אוניברסאלית]] <math>t=\tan(\frac{x}{2})</math> לקבל
<math>\int\frac{1+t^2}{2t}\cdot\frac{2}{1+t^2}dt=\ln\bigl(|t|\bigr)+c</math>
===ב===
<math>\int\frac{xdxx\cdot dx}{\cos^2(x)}</math>
נבצע [[אינטגרציה בחלקים]] לקבל
<math>\int\frac{xdxx\cdot dx}{\cos^2(x)}=xtanx\cdot\tan(x)-\int \tan(x) = xtanx\cdot\tan(x)-+\ln\bigl(|\cos(x)|\bigr)+c</math>
===ג===
<math>\int\frac{t^7}{1+2t^4+t^8}dt</math>
ניתן לבצע את ה[[אלגוריתם לביצוע אינטגרל על פונקציה רציונאלית]]
או ההצבה <math>x=t^4</math> באופן הבא:
<math>\int \frac{t^7}{1+2t^4+t^8}dt=\int\frac{x}{4(1+2x+x^2)}dx=\frac{1}{8}frac18\int\frac{2x+2-2}{(1+x)^2}dx=\frac{1}{8}\ln[(1+x)^2]+\frac{1}{4}+\frac{1}frac1{4(1+x)}+cC</math>
==3==
קבעו האם האינטגרל הבא מתכנס או מתבדר:
<math>\int_0int\limits_0^\infty\frac{\arctan(x)}{x}dx</math>
'''פתרון''':
שני האינטגרלים חברים ומתבדרים יחדיו.
===ב===
הוכיחו שאם <math>p(x)</math> פולינום שאינו שווה זהותית לאפסל- <math>0</math>, אזי האינטגרל <math>\int_1displaystyle\int\limits_1^\infty p(x)dx</math> מתבדר.
'''פתרון''':
אם הפולינום אינו זהותית <math>0</math> , האינטגרל הלא-מסוים שלו <math>q(x)=\displaystyle\int\limits p(x)dx</math> בעל מעלה גדולה או שווה לאחד. ולכן
<math>\int_1^\infty p(x)dx=\lim_{b\to\infty}\int_1^b p(x)dx=\lim_{b\to\infty}[q(b)-q(1)]=\pm\infty</math>
האחרון מתבדר כיון שהמעלה של <math>q</math> גדולה או שווה ל- <math>1</math> .
==4==
מצאו את טור מקלורן של הפונקציה <math>f(x)=\cos^2(x)</math> וקבעו את רדיוס ההתכנסות של הטור.
'''פתרון''':
שנית, נזכר או נפתח את הטור <math>\int_1^\infty pcos(x)dx=\lim_sum_{b\rightarrow\inftyn=0}\int_1^b p(x)dx=\lim_{b\rightarrow\infty}[q\frac{(b)-q(1)]=\infty ^n}{(2n)!} x^{2n}</math>
וביחד נקבל
קל לחשב רדיוס התכנסות של טור זה ולהראות שהוא אינסוף.
==45==מצאו את טור מקלורין של הפונקציה נגדיר סדרת פונקציות <math>ff_n(x)=cos\frac{x^2(n}{1+x)^n}</math> וקבעו את רדיוס ההתכנסות של הטור.
===א===
קבעו אם הסדרה מתכנסת במ"ש בקטע <math>\left[0,\frac12\right]</math>
'''פתרון''':
<math>cos^2{\Big(\frac{x^n}{1+x^n}\Big)' =\frac{nx^{n-1}(1+x^n)-nx^{2n-1}[\sumcdot x^{\infin}_{n=0} \frac{(-1)+x^n}{(2n)!} (2x)^{2n2} - 1]=\frac{1}{2}[\sumnx^{\infin}_{n=0-1}} \frac{(-1)+x^n 4)^n2}{(2n)!} x^{2n} - 1]</math>
הנגזרת מתאפסת ב- <math>0</math> , לכן המקסימום הוא בקצוות
<math>f_n(0)=0</math> ,
<math>f_n(\frac12)=\frac1{2^n+1}</math>
ולכן
<math>\lim\limits_{n\to\infty}\Big[\sup_{x\in [0,\frac12]}\bigg|\frac{x^n}{1+x^n}\bigg|\Big]= \lim\limits_{n\to\infty}\frac1{2^n+1}=0</math>
ולכן הסדרה '''מתכנסת במ"ש'''.
===ב===
קבעו אם הסדרה מתכנסת במ"ש בקטע <math>\left[\frac12,\frac32\right]</math>
'''פתרון''':
קל לראות כי פונקצית הגבול בנקודה <math>1</math> היא <math>\frac12</math> , לכל נקודה גדולה מ- <math>1</math> היא <math>1</math> ולכל נקודה קטנה מ- <math>1</math> היא <math>0</math> . לכן פונקצית הגבול אינה רציפה, ולכן ההתכנסות אינה במ"ש (שכן התכנסות במ"ש של פונקציות רציפות היא רציפה).
==6 במבחן של אגרונובסקי==
הוכח כי הפונקציה <math>F(\alpha)=\displaystyle\int\limits_1^\infty x^\alpha e^{-x}dx</math> רציפה בכל הממשיים.
'''פתרון''':
*לפי מבחן השוואה גבולי, קל לראות שכיון שהאינטגרל <math>\displaystyle\int\limits_1^\infty e^{-\frac{x}{2}}dx</math> מתכנס, כך גם האינטגרל <math>F(\alpha)</math> לכל אלפא.
*כמו כן קל לוודא כי הפונקציה <math>F(\alpha)</math> מונוטונית. (זה לבד מוכיח רציפות פרט למספר בן-מניה של נקודות...)
*תהי <math>a</math> נקודה מסוימת. נבחר <math>M</math> כך ש- <math>\displaystyle\int\limits_M^\infty x^{a+1}e^{-x}dx < \frac{\epsilon}{2}</math>
*כעת עבור <math>\Delta a</math> קטן מספיק, <math>F(a+\Delta a)\le \displaystyle\int\limits_1^Mx^{a+\Delta a}e^{-x}dx + \frac{\epsilon}{2}\le M^{\Delta a}F(a) + \frac{\epsilon}{2}\le F(a) + \epsilon</math>
כפי שרצינו...
==6 במבחן של שיין והורוביץ==
(לקוח ממערכי התרגול של אור שחף)
נתונה f פונקציה בעלת השתנות חסומה בקטע, ונתון שקיים <math>\epsilon>0</math> כך ש-<math>f(x)\ge\epsilon</math> לכל <math>x\in[a,b]</math>. הוכיחו <math>\frac1f</math> בעלת השתנות חסומה בקטע.
===פתרון===
# מתקיים <math>\forall x\in[a,b]:\ \frac1{f(x)}\le\frac1\epsilon</math> ולכן
<math>
\begin{align}v(1/f,P)&=\sum_{k=1}^n\left|\frac1{f(x_k)}-\frac1{f(x_{k-1})}\right|\\&=\sum_{k=1}^n\left|\frac{f(x_{k-1})-f(x_k)}{f(x_k)f(x_{k-1})}\right|\\&\le\frac1{\epsilon^2}\sum_{k=1}^n|f(x_k)-f(x_{k-1})|\\&\le\frac1{\epsilon^2}\overset b\underset aV f\\&<\infty\end{align}
</math>