Mathwiki:ארגז חול

שאלה 1

נניח כי f פונקציה רציפה ב- $[0,\infty)$, גזירה ב- $(0,\infty)$. בנוסף נתון כי $f(0)=0$ והנגזרת $f'$מונוטונית עולה ב- $(0,\infty)$.

א. הוכיחו כי $f'(x)\geq \frac{f(x)}{x}$ ב- $(0,\infty)$.

ב. הוכיחו כי הפונקציה $g(x)=\frac{f(x)}{x}$ מונוטונית עולה ב- $(0,\infty)$.

פתרון

א. יהי $x>0$. נפעיל את משפט לגראנג' על הפונקציה f בקטע $[0,x]$. לכן קיימת נקודה $0<c<x$ כך ש:

$f'(c)=\frac{f(x)-f(0)}{x-0}=\frac{f(x)}{x}$

אבל מתוך מונוטוניות הנגזרת, אנו מקבלים:

$f'(x)\geq f'(c) = \frac{f(x)}{x}$

כפי שרצינו.

ב. נוכיח כי הנגזרת חיובית ולכן הפונקציה מונוטונית עולה

$g'(x)=\frac{xf'(x)-f(x)}{x^2}$

כיוון שהמכנה חיובי תמיד, סימן הנגזרת נקבע על ידי המונה. אבל לפי סעיף א':

$xf'(x)-f(x)\geq x\frac{f(x)}{x}-f(x)=0$

טיילור

כיוון שכפל וחיבור הן פעולות שקל לחשבן, פולינומים הן פונקציות שקל לחשבן את ערכן בכל נקודה. לכן, בהנתן פונקציה כללית f, היינו שמחים למצוא פולינום קרוב אליה. כלומר, היינו רוצים למצוא פולינום p כך שהשארית

$R(x)=f(x)-p(x)$

תהא "מינימלית". שימו לב כי הגדרת המינמליות תלוייה בצורך. לדוגמא ייתכן ונרצה כי השארית תהא חסומה על כל הממשיים או תשאף לאפס בנקודה מסויימת.

פולינום טיילור

פולינום טיילור סביב נקודה a מדרגה n הינו פולינום מהצורה:

$P_n(x)=\sum_{i=1}^n\frac{f^{(i)}(a)}{i!}(x-a)^i$

כאשר $f^{(n)}$ היא הנגזרת ה-n של f

שימו לב שבאופן ברור מההגדרה קיום פולינום טיילור מדרגה n דורש שהפונקציה תהא גזירה לפחות n פעמים בנקודה a. אנחנו נראה מיד שעל מנת להעריך את השגיאה של הפולינום נדרוש כי הפונקציה תהא גזירה לפחות n+1 פעמים באיזור הנקודה a.

פולינום טיילור משמש לקירוב פונקציות מסיבות שנראה בהמשך (טור חזקות), ובזכות משפט טיילור עם שארית לגראנז'

שארית לגראנז'

תהי f פונקציה ממשית הגזירה n+1 פעמים בסביבה מסויימת של נקודה a. אזי לכל x בסביבה קיימת נקודה c בין x לבין a כך ש:

$R_n(x)=f(x)-P_n(x)=\frac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1}$

כאשר $P_n$ הינו פולינום טיילור מדרגה n

שימו לב כי הנקודה c תלוייה ב-x

שאלה 1

תהי f פונקציה בעלת חמש נגזרת רציפות על הממשיים. נניח ש $f(0)=f'(0)=...=f^{(4)}(0)=0$ וגם $f^{(5)}(0)>0$. עוד נניח שלכל $x\neq 0$ מתקיים $f'(x)\neq 0$. הוכיחו שלכל $x>0$ מתקיים $f(x)>0$

הוכחה

מכיוון שהפונקציה ו4 נגזרותיה מתאפסות באפס, פולינום טיילור מסדר 4 בסביבת הנקודה אפס שווה זהותית לאפס. השארית היא מהצורה $\frac{f^{(5)}(c)}{5!}x^5$ כאשר $0<c<x$.

מכיוון ש$f^{(5)}(0)>0$ והנגזרת החמישית רציפה, אז קיימת סביבה של אפס בה $f^{(5)}>0$. לכן בסביבה ימנית של אפס מתקיים $f(x)=\frac{f^{(5)}(c)}{5!}x^5>0$.

נותר להוכיח ש$f(x)>0$ עבור $x>0$ גם מחוץ לסביבה הימנית הזו. נניח בשלילה ש $f(x)\leq 0$ אזי לפי משפט ערך הביניים $f(x)=0$ עבור איזה $x>0$. אבל גם $f(0)=0$ ולכן לפי משפט רול הנגזרת מתאפסת עבור נקודה גדולה מאפס בסתירה.