הלמה של גרנוול

מתוך המכלול, האנציקלופדיה היהודית
(הופנה מהדף הלמה של גרינוול)
קפיצה לניווט קפיצה לחיפוש

במתמטיקה, הלמה של גרנוול (על שמו של המתמטיקאי השוודי תומאס ה. גרנוול - Grönwall) היא אי-שוויון, המשמש בין היתר להוכחת היחידות במשפט הקיום והיחידות עבור הפתרונות של משוואה דיפרנציאלית רגילה.

ניסוח הלמה

תהי הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ f(x) \ge 0} פונקציה רציפה ואי-שלילית, המקיימת עבור קבוע הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ A} ועבור הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ x > x_0} את האי-שוויון הבא: הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle f(x) \le A \int_{x_0}^x f(t)dt } אזי פונקציה זו היא בהכרח פונקציית האפס - .

הוכחה

ברור שמתקיים כי אם לא נקבל באגף ימין ביטוי שלילי, כעת על ידי העברת אגף ימין ניתן לראות כי:

הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ f(x) - A \int_{x_0}^x f(t)dt \le 0}
זוהי משוואה דיפרנציאלית עבור:
  • הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ g(x) = \int_{x_0}^x f(t)dt}
  • (לפי המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי)

על ידי כפל בגורם אינטגרציה הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ e^{-Ax}} תתקבל המד"ר הבאה:

על ידי ביצוע אינטגרציה על שני צידי האי שוויון נקבל:

הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ e^{-Ax}g(x) = e^{-Ax} \int_{x_0}^x f(t)dt \le 0}

פונקציית האקספוננט היא אי-שלילית ( לכל ) ולכן המסקנה היא:


ולפי ההנחה מתקיים:

אבל ההנחה היא גם כי הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ f(x) \ge 0} ולכן בהכרח הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ f(x) = 0}
סמל המכלול גמרא 2.PNG
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0