Geomania.Org Forumları
Fantezi Cebir => Analiz-Cebir => Konuyu başlatan: Lokman Gökçe - Aralık 25, 2019, 11:33:53 ös
-
Birçok klasik eşitsizliğin integraller için verilmiş formları vardır. Sanırım bunlardan en temeli üçgen eşitsizliğidir.
Üçgen Eşitsizliği: $x,y \in \mathbb R $ ise $|x+y| \leq |x| + |y|$ dir.
İntegraller İçin Üçgen Eşitsizliği: $f:[a,b] \to \mathbb R $ fonksiyonu $[a,b]$ aralığında integrallenebilir olsun. Bu durumda
$$\left| \int_{a}^{b} f(x)dx \right| \leq \int_{a}^{b}\left|f(x) \right| dx$$
olur.
Bunlar birbirine pek benzemedi değil mi? Biz integraller için üçgen eşitsizliğini ispatlayalım.
İpucu: Klasik üçgen eşitsizliğimiz, integral formundaki eşitsizliğin ispatında belki lazım olur. (Yoksa sadece isim benzerliği mi var?)
-
İspat: $a_1, a_2, \dots ,a_n$ gerçel sayıları için $$ | a_1+a_2 + \dots + a_n | \leq |a_1| + |a_2| + \dots + |a_n| $$ üçgen eşitsizliğini biliyoruz. (Klasik üçgen eşitsizliğine tümevarım uygulanarak ispatlanabilir. Meraklılarının bunu denemesinde fayda var.)
$[a,b]$ aralığının bir parçalanışı $[x_0,x_1], [x_1,x_2], \dots , [x_{n-1}, x_n]$ ve $|P|=\max \{ x_i - x_{i-1} : i=1,2,\dots , n \} $ olsun. Her $ i=1,2,\dots , n $ için bir $x_i' \in [x_{i-1},x_i]$ noktası alarak $$ \sum_{i=1}^{n}f(x_i')(x_i - x_{i-1}) = \sum_{i=1}^{n}f(x_i')\Delta x_i $$ Riemann toplamını oluşturalım. Üçgen eşitsizliğinden, limit özelliklerinden ve $f$ integrallenebilir iken $|f|$ nin de integrallenebilir oluşundan $$ \left| \int_{a}^{b} f(x)dx \right| = \left| \lim_{|P|\to 0} \sum_{i=1}^{n}f(x_i')\Delta x_i \right| \leq \lim_{|P|\to 0} \sum_{i=1}^{n} \left |f(x_i') \right |\Delta x_i = \int_{a}^{b} \left| f(x) \right| dx $$ elde edilir.
Birçok eşitsizliğin geometrik yorumunu vermekte, öğretme yöntemi bakımından büyük yarar var. Biz de bu kısmı pas geçmeyelim. Çok temel bir gerçekten hareket edilerek bu eşitsizlik elde edilmiştir.
Geometrik Yorumu: $f$ fonksiyonunun grafiği ile $x$ ekseninin sınırladığı bölgelerden; $x$ ekseninin üstünde kalan alanların toplamı $A_1$, $x$ ekseninin altında kalan alanların toplamı $A_2$ olmak üzere $$ \left| \int_{a}^{b} f(x)dx \right| = |A_1-A_2|$$ ve $$ \int_{a}^{b}\left| f(x) \right| dx = A_1+A_2 $$ olup integral eşitsizliği, $$ |A_1-A_2| \leq A_1 + A_2 $$ alan eşitsizliğine denktir.
(https://geomania.org/forum/index.php?action=dlattach;topic=6659.0;attach=15376;image)
Uyarı: $f$ integrallenebilir iken $|f|$ fonksiyonunun da integrallenebilir olduğunu bir teorem olarak kullandık. Bunun ispatını da başka bir zaman verebiliriz. Forumda bu teoremle ilgili şuraya (http://geomania.org/forum/index.php?topic=6662.0) bir başlık açtım.
-
Mehmet Toktaş bey'in hatırlatması üzere integraller için üçgen eşitsizliği ile ilgili şunları da yazabiliriz:
Teorem: $f$ ve $g$, $[a,b]$ aralığında integrallenebilir iki fonksiyon olsun.
$$\left |\int_a^b(f(x)+g(x))dx\right|\leq \left |\int_a^bf(x)dx\right|+\left |\int_a^bg(x)dx\right| \tag{1}$$
$$ \int_a^b\left|f(x)+g(x)\right|dx \leq \int_a^b\left|f(x)\right|dx+\int_a^b\left|g(x)\right|dx \tag{2}$$
eşitsizlikleri vardır.
Bu eşitsizliklerin de ispatlarını sunalım:
İspat: $(1)$ eşitsizliği ile başlayalım: $|x+y| \leq |x| + |y|$ üçgen eşitsizliğinde $x$ yerine $$\int_{a}^{b}f(x)dx$$ $y$ yerine de $$\int_{a}^{b}g(x)dx $$ yazılırsa, $$ \int_{a}^{b}f(x)dx + \int_{a}^{b}g(x)dx = \int_{a}^{b}(f(x)+g(x))dx$$ lineerlik özelliğini de kullanarak
$$ \left| \int_{a}^b (f(x)+g(x))dx \right| = \left| \int_{a}^{b}f(x)dx + \int_{a}^{b}g(x)dx\right| \leq \left| \int_{a}^{b}f(x)dx \right| + \left| \int_{a}^{b}g(x)dx \right|$$
bulunur.
Şimdi de $(2)$ eşitsizliğine bakalım: $|x+y| \leq |x| + |y|$ üçgen eşitsizliğinde $x$ yerine $f(x)$, $y$ yerine de $g(x)$ yazılırsa $|f(x)+g(x)| \leq |f(x)| + |g(x)|$ olup $$\int_{a}^{b} |f(x) + g(x)| dx \leq \int_{a}^{b} \left(|f(x)| + |g(x)|\right) dx = \int_{a}^{b} |f(x)| dx + \int_{a}^{b} |g(x)|dx$$ elde edilir.
Ayrıca bu son adımda her $x\in [a,b]$ için $h(x)\leq k(x)$ ise $$\int_a^{b}h(x)dx \leq \int_a^{b}k(x)dx $$ eşitsizliğini de ispatsız olarak kullanıyoruz. (Konunun meraklılarının bu eşitsizliği de alıştırma olarak ispatlamalarında fayda var.)