Riemann İntegrali Nedir? Ne İşe Yarar?
Riemann integrali, ilk olarak Bernhard Riemann tarafından oluşturulan, tanımlı bir aralık üzerindeki bir fonksiyonun integralinin ilk geçerli tanımıdır. Bu tanım 1854 yılında Göttingen Üniversitesi öğretim üyelerine sunulmuş, ancak ilk defa 1868 yılında bir dergide yayınlanmıştır. Birçok fonksiyon ve pratik uygulama için Riemann integrali, kalkülüsün temel teoremi ile birlikte değerlendirilebilir. Sayısal integrasyon ile yaklaşık olarak hesaplanabilir veya Monte Carlo integrasyonu kullanılarak simüle edilebilir.[1]
Riemann İntegrali Nasıl Hesaplanır?
Bir dikdörtgenin alanını herkes hesaplayabilir. Karşılıklı olmayan 2 kenarın çarpımını alarak alanı bulabilirsiniz. Üçgen içinse taban ile yüksekliği çarpıp ikiye bölmek yeterlidir. Diğer düzgün çokgenlerin alanlarını da benzer şekilde hesaplayabilirsiniz. Peki aşağıdaki gibi bir şeklin alanı nasıl hesaplanır?
Aslında bu alanı yaklaşık olarak bulmak mümkün. Şeklin alanı SS olsun. Şeklin içinde kalan bir dikdörtgen çizelim:
Bu dikdörtgenin alanına AA diyelim. Bir de alanı kapsayan bir dikdörtgen çizelim:
Bu dikdörtgenin alanına da BB diyelim. Şimdi şunu söyleyebiliriz: SS, AA'dan büyük BB'den küçüktür. Yani ∣A∣<∣S∣<∣B∣|A|<|S|<|B| denebilir, fakat bu SS'nin değer aralığını yeterince daraltmadığı için ideal değil. Daha yakın değerler elde etmek ve aralığı daraltmak için ilk şekli şöyle düzenleyelim:
Bu şekilde, ilk denememizden daha fazla dikdörtgen kullandık. Böylece gerçek alana daha fazla yaklaştık. Şimdi diğeri için de benzer bir şey yapalım. Bu sefer kenarlara yaklaşacağız:
Şimdi aralığımız daha çok daraldı. Yani elimizdeki dikdörtgenlerin alanları toplamı SS'ye daha yakın ama eşit değil. İşte AA ve BB değerleri birbirlerine yaklaşırsa ve sonunda ∣A∣=∣B∣|A|=|B| olursa SS alanına ulaşılır, çünkü SS de bu iki alana eşit olmalıdır. Bu noktada AA için en büyük alt sınır, BB için en küçük üst sınır deriz. İşte Riemann integrali bunu fonksiyonlar için kullanarak fonksiyonların altında kalan alanı hesaplar. O zaman fonksiyonlarda bunu uygulamaya geçelim.
Öncelikle bir [a,b][a,b] aralığında pozitif ve tanımlı bir f(x)f(x) fonksiyonu alalım. Şimdilik bu fonksiyonu [a,b][a,b] aralığında pozitif kabul edelim. Şimdi de bu [a,b][a,b] aralığına bir göz atalım.
Şimdi bu doğru üstünden a=x0<x1<x2<⋯<xi<⋯<xn=b a = x_0 < x_1 < x_2 < \dots < x_i < \dots < x_n = b özelliklerini sağlayan xx noktaları alalım. Şimdi bir PP kümesi oluşturalım ve şu şekilde tanımlayalım:
P={x0,x1,x2,…xi,…,xn}P=\{x_0,x_1,x_2, \dots x_i, \dots, x_n \}
Bu PP kümesine [a,b][a,b] aralığının parçalanması veya bölüntüsü denir. Şimdi aşağıdaki özelliği sağlayan bir Δxi\Delta x_i tanımlayalım:
Aslında maddi destek istememizin nedeni çok basit: Çünkü Evrim Ağacı, bizim tek mesleğimiz, tek gelir kaynağımız. Birçoklarının aksine bizler, sosyal medyada gördüğünüz makale ve videolarımızı hobi olarak, mesleğimizden arta kalan zamanlarda yapmıyoruz. Dolayısıyla bu işi sürdürebilmek için gelir elde etmemiz gerekiyor.
Bunda elbette ki hiçbir sakınca yok; kimin, ne şartlar altında yayın yapmayı seçtiği büyük oranda bir tercih meselesi. Ne var ki biz, eğer ana mesleklerimizi icra edecek olursak (yani kendi mesleğimiz doğrultusunda bir iş sahibi olursak) Evrim Ağacı'na zaman ayıramayacağımızı, ayakta tutamayacağımızı biliyoruz. Çünkü az sonra detaylarını vereceğimiz üzere, Evrim Ağacı sosyal medyada denk geldiğiniz makale ve videolardan çok daha büyük, kapsamlı ve aşırı zaman alan bir bilim platformu projesi. Bu nedenle bizler, meslek olarak Evrim Ağacı'nı seçtik.
Eğer hem Evrim Ağacı'ndan hayatımızı idame ettirecek, mesleklerimizi bırakmayı en azından kısmen meşrulaştıracak ve mantıklı kılacak kadar bir gelir kaynağı elde edemezsek, mecburen Evrim Ağacı'nı bırakıp, kendi mesleklerimize döneceğiz. Ama bunu istemiyoruz ve bu nedenle didiniyoruz.
Δxi=xi−xi−1\Delta x_i = x_i -x_{i-1}
Bu durumda [a,b][a,b] aralığının da uzunluğu b−ab-a olur ve bu da şu eşitliği sağlar:
[a,b]=b−a=Δx1+Δx2+Δx3+⋯+Δxi+⋯+Δxn[a,b]=b-a=\Delta x_ 1 +\Delta x_ 2+\Delta x_ 3 + \dots + \Delta x_i +\dots+\Delta x_n
Bu aralıklardan en büyüğüne PP bölüntüsünün normu denir ve genelde ∣∣P∣∣||P|| olarak gösterilir. Eğer en büyük aralığa eşit birden fazla aralık varsa hepsi norm kabul edilir.[4], [3], [2]
Şimdi hesaplamaya geçelim. P={x0,x1,x2,…xi,…,xn}P=\{x_0,x_1,x_2, \dots x_i, \dots, x_n \} kümesi de [a,b][a,b]'nin bölüntüsü olsun. Her Δxi\Delta x_i için mim_i en büyük alt sınır, MiM_i ise en küçük üst sınır olsun. Ayrıca ti∈Δxit_i \in \Delta x_i olsun, böylece şunu söyleyebiliriz:
mi<f(ki)<Mim_i<f(k_i)<M_i
Şimdi eşitliğin her tarafını Δxi\Delta x_i ile çarpalım. Bu eşitliği bozmaz: Δxi\Delta x_i her zaman pozitiftir, çünkü uzunluk ifade eder:
Δxi⋅mi<Δxi⋅f(ki)<Δxi⋅Mi\Large \Delta x_i \cdot m_i<\Delta x_i \cdot f(k_i)<\Delta x_i\cdot M_i
Şimdi de bunların ii'ye göre toplamını alalım:
∑i=1nΔxi⋅mi<∑i=1nΔxi⋅f(ki)<∑i=1nΔxi⋅Mi\Large \displaystyle\sum_{i=1}^n \Delta x_i \cdot m_i< \displaystyle\sum_{i=1}^n \Delta x_i \cdot f(k_i)< \displaystyle\sum_{i=1}^n \Delta x_i \cdot M_i
Biraz da bu formüllerin geometrik anlamlarına göz atalım. Önce ∑i=1nΔxi⋅mi\displaystyle\sum_{i=1}^n \Delta x_i \cdot m_i için bakalım.
Buradaki nn tane sütunun alanları toplamı bize alt sınırı verir. Genelde bunu A(f,P)A(f,P) olarak gösteririz. Anlaşılacağı üzere PP kümesinin ne kadar çok elemanı olursa alt sınır gerçek alana o kadar yaklaşır. Şimdi üst sınıra yani ∑i=1nΔ⋅xiMi\displaystyle\sum_{i=1}^n \Delta \cdot x_iM_i bakalım.
Bunu da U¨(f,P)Ü(f,P) şeklinde gösteririz, bu da üst toplam olur. Bunda da kutucuk sayısı ne kadar artarsa gerçek alana o kadar yaklaşılır. Peki gerçek alan nasıl bulunur? Bu dikdörtgenlerin sayısını sonsuza yaklaştırarak tabii ki. Ama sadece sonsuza yaklaştırmak yetmez. Aynı zamanda Δxi\Delta x_i'leri de 00'a yaklaştırmamız gerekir. Bunu şu şekilde gösterelim:
- Dış Sitelerde Paylaş
lim∣∣P∣∣→0A(f,P)≤lim∣∣P∣∣→0R(f,P)≤lim∣∣P∣∣→0U¨(f,P)\displaystyle{\lim_{||P|| \to 0}} A(f,P)\le\displaystyle{\lim_{||P|| \to 0}} R(f,P)\le \displaystyle{\lim_{||P|| \to 0}} Ü(f,P)
Buradaki R(f,P)R(f,P) gerçek alan anlamındadır. Bunu az önceki ∑i=1nΔxi⋅f(ki)\displaystyle\sum_{i=1}^n \Delta x_i \cdot f(k_i) ile karıştırmayın, çünkü bu size gerçek alanı vermez.
Az önceki eşitsizlikte limit 00'a gittikçe A(f,P)A(f,P) ve U¨(f,P)Ü(f,P) birbirine yaklaşacaktır. Eğer aşağıdaki sonuca ulaşılırsa Sandviç teoremi gereğince artık gerçek alanı yani R(f,P)R(f,P)'i bulmuş oluruz:
lim∣∣P∣∣→0A(f,P)=lim∣∣P∣∣→0U¨(f,P)\displaystyle{\lim_{||P|| \to 0}} A(f,P)= \displaystyle{\lim_{||P|| \to 0}} Ü(f,P)
İşte buna Riemann integrali deriz. Riemann ise bunu şöyle göstermiştir:
lim∣∣P∣∣→0R(f,P)=lim∣∣P∣∣→0[∑i=1nΔxi⋅f(ki)]=∫abf(x)dx\displaystyle{\lim_{||P|| \to 0}} R(f,P)=\displaystyle{\lim_{||P|| \to 0}}\bigg[\displaystyle\sum_{i=1}^n \Delta x_i \cdot f(k_i)\bigg]=\displaystyle\int_a^bf(x)dx
Gelin ∣∣P∣∣||P||'yi 00'a götürmek yerine bütün aralıkları eşit varsayalım. Yani her Δxi\Delta x_i eşit olsun. Şimdi aralık sayısını, yani nn'ni sonsuza götürelim:
limn→∞[∑i=1nΔxi⋅f(ki)]=∫abf(x)dx\displaystyle{\lim_{n \to \infty}}\bigg[\displaystyle\sum_{i=1}^n \Delta x_i \cdot f(k_i)\bigg]=\displaystyle\int_a^bf(x)dx
İşte bu şekilde bir fonksiyonun grafiğinin altında kalan alanı hesaplayabilirsiniz.[7], [6], [5], [4]
İntegralden Riemann Toplamı Bulmak
Gelin aşağıdaki integralden Riemann toplamını bulalım:
∫04x2dx\displaystyle\int_0^4 x^2dx
Öncelikle bu aralığın uzunluğunu bulalım. 4−04-0'dan 44 gelir. Aralığı nn eşit parçaya bölelim. Her bir parçanın uzunluğu 4n=Δxi{4 \over n}=\Delta x_i olur. Şimdi tit_i'yi bulmak için şu formülü uygulayalım:
ti=a+i⋅Δxit_i=a+i \cdot \Delta x_i
Burada a=0a=0 ve ve Δxi=4n\Delta x_i={4 \over n} olduğu için ti=0+i⋅3nt_i=0+i \cdot {3 \over n} olur. Bulduklarımızı yerine koyalım:
limn→∞[∑i=1nΔxi⋅f(ki)]=∫abf(x)dx\displaystyle{\lim_{n \to \infty}}\bigg[\displaystyle\sum_{i=1}^n \Delta x_i \cdot f(k_i)\bigg]=\displaystyle\int_a^bf(x)dx
limn→∞[∑i=1n4n⋅(i⋅4n)2]=∫04x2dx\displaystyle{\lim_{n \to \infty}}\bigg[\displaystyle\sum_{i=1}^n {4 \over n} \cdot \bigg(i \cdot {4 \over n}\bigg)^2\bigg]=\displaystyle\int_0^4x^2dx
Şimdi ilk toplamı hesaplayalım. Bunun için parantezden kurtulalım:
limn→∞[∑i=1n4n⋅(i⋅4n)2]\displaystyle{\lim_{n \to \infty}}\bigg[\displaystyle\sum_{i=1}^n {4 \over n} \cdot \bigg(i \cdot {4 \over n}\bigg)^2\bigg]
limn→∞[∑i=1n4n⋅(i2⋅42n2)]\displaystyle{\lim_{n \to \infty}}\bigg[\displaystyle\sum_{i=1}^n {4 \over n} \cdot \bigg(i^2 \cdot {4^2 \over n^2}\bigg)\bigg]
limn→∞[∑i=1n43⋅i2n3]\displaystyle{\lim_{n \to \infty}}\bigg[\displaystyle\sum_{i=1}^n {4^3\cdot i^2 \over n^3} \bigg]
Şimdi 43n34^3 \over n^3 kısmını dışarı alalım:
limn→∞43n3[∑i=1ni2]\displaystyle{\lim_{n \to \infty}} {4^3 \over n^3}\bigg[\displaystyle\sum_{i=1}^n i^2 \bigg]
Kareler toplamı (İng: "Sum of Squares") formülünü uygulayalım:
limn→∞43n3⋅n(n+1)(2n+1)6\displaystyle{\lim_{n \to \infty}} {4^3 \over n^3} \cdot{n(n+1)(2n+1) \over 6}
Sadeleştirelim:
limn→∞32(n+1)(2n+1)3n2\displaystyle{\lim_{n \to \infty}}{32 (n+1) (2n+1) \over 3 n^2}
limn→∞64n2+96n+323n2\displaystyle{\lim_{n \to \infty}} {64n^2 +96n +32 \over 3n^2}
İfadeyi şöyle yazalım:
limn→∞64n23n2+96n3n2+323n2\displaystyle{\lim_{n \to \infty}} {64n^2 \over 3n^2} +{96n \over 3n^2} +{32 \over 3n^2}
Sadeleştirmeleri yapalım:
limn→∞643+32n+323n2\displaystyle{\lim_{n \to \infty}} {64 \over 3} +{32 \over n} +{32 \over 3n^2}
Paydalarında nn olanlar limitte 00'a yaklaştığı için 00 olurlar. Bu yüzden sadece 64364 \over 3 kalır ve cevabımız 64364 \over 3 olur.
Riemann Toplamından İntegrali Bulmak
Aşağıdaki ifadeyi ele alalım:
limn→∞(19+29+39+49+⋯+n9n10)\displaystyle{\lim_{n \to \infty}} \bigg ( {1^9+2^9+3^9+4^9+\dots+n^9 \over n^{10}}\bigg )
Önce 1n1 \over n'i dışarı alalım:
limn→∞(1n)(19+29+39+49+⋯+n9n9)\displaystyle{\lim_{n \to \infty}} \bigg ({1 \over n} \bigg) \bigg ( {1^9+2^9+3^9+4^9+\dots+n^9 \over n^{9}}\bigg )
Bölümü toplam olarak ayıralım:
limn→∞(1n)(19n9+29n9+39n9+⋯+n9n9)\displaystyle{\lim_{n \to \infty}} \bigg ({1 \over n} \bigg) \bigg ( {1^9 \over n^{9}}+{2^9 \over n^{9}}+{3^9 \over n^{9}} +\dots+{n^9 \over n^9}\bigg )
Hepsini toplam olarak yazalım:
limn→∞(1n)[∑i=1n(in)9]\displaystyle{\lim_{n \to \infty}} \bigg ({1 \over n} \bigg) \bigg [ \displaystyle\sum_{i=1}^n\bigg ( {i \over n}\bigg )^9\bigg ]
Şimdi 1n1 \over n kısmını içeri alalım.
limn→∞[∑i=1n(1n)(in)9]\displaystyle{\lim_{n \to \infty}} \bigg [ \displaystyle\sum_{i=1}^n\bigg ({1 \over n} \bigg)\bigg( {i \over n}\bigg )^9\bigg ]
Şimdi bu toplama bakalım. 1n1 \over n aralığımız yani Δxi\Delta x_i'miz. (in)9\bigg( {i \over n}\bigg )^9ise a+iΔxia+i \Delta x_i . Δxi\Delta x_i'nin 1n{1 \over n} olduğunu biliyoruz. Yani a=0a=0 oldu. b−an=1n{b-a \over n}={1 \over n} yani b=1b=1.f(in)=(in)9 f({i \over n})=\bigg( {i \over n}\bigg )^9 yani f(x)=x9f(x)=x^9 gelir. O zaman integralimiz bu olmalı:
∫01x9dx\displaystyle\int_0^1 x^9dx
Yani sonuç budur:
limn→∞(19+29+39+49+⋯+n9n10)=limn→∞[∑i=1n(1n)(in)9]=∫01x9dx\displaystyle{\lim_{n \to \infty}} \bigg ( {1^9+2^9+3^9+4^9+\dots+n^9 \over n^{10}}\bigg )=\displaystyle{\lim_{n \to \infty}} \bigg [ \displaystyle\sum_{i=1}^n\bigg ({1 \over n} \bigg)\bigg( {i \over n}\bigg )^9\bigg ]=\displaystyle\int_0^1 x^9dx
İşte bu şekilde! İlk başta bu yöntem size dezavantajlı gelebilir. Ama aslında avantajlı olduğu kısımlar vardır. Mesela Riemann integrali kullanarak neredeyse her fonksiyonu toplama çevirip alan bulabilirsiniz.
Buna karşın klasik integral metotları için birçok farklı kural öğrenilmesi gerekir. Riemann integrali ise bunu basit kurallar ve daha çeşitli fonksiyonlar ile yapar, diğer yandan integrali olmayan veya olsa bile hesaplaması çok zor olan fonksiyonların hesaplanması için de bir alternatiftir.
İçeriklerimizin bilimsel gerçekleri doğru bir şekilde yansıtması için en üst düzey çabayı gösteriyoruz. Gözünüze doğru gelmeyen bir şey varsa, mümkünse güvenilir kaynaklarınızla birlikte bize ulaşın!
Bu içeriğimizle ilgili bir sorunuz mu var? Buraya tıklayarak sorabilirsiniz.
Soru & Cevap Platformuna Git- 2
- 1
- 1
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- ^ Bernhard Riemann. (1868). Ueber Die Darstellbarkeit Einer Function Durch Eine Trigonometrische Reihe. Yayınevi: Dietrich, 1867. sf: 87-132.
- ^ D. A. Brannan. (2006). A First Course In Mathematical Analysis. ISBN: 9781139458955. Yayınevi: Cambridge University Press. sf: 262.
- ^ O. Hijab. Introduction To Calculus And Classical Analysis (Undergraduate Texts In Mathematics). ISBN: 9781441994882. sf: 60.
- ^ a b V. A. Z. R. Cooke. Mathematical Analysis Ii (Universitext). ISBN: 9783540406334. sf: 108.
- ^ S. R. Ghorpade. (2006). A Course In Calculus And Real Analysis. ISBN: 9780387364254. Yayınevi: Springer Science & Business Media. sf: 213.
- ^ R. M. Dudley. Concrete Functional Calculus (Springer Monographs In Mathematics). ISBN: 9781441969507. sf: 2.
- ^ E. W. Swokowski. (1979). Calculus With Analytic Geometry. ISBN: 9780871502681. Yayınevi: Taylor & Francis.
Evrim Ağacı'na her ay sadece 1 kahve ısmarlayarak destek olmak ister misiniz?
Şu iki siteden birini kullanarak şimdi destek olabilirsiniz:
kreosus.com/evrimagaci | patreon.com/evrimagaci
Çıktı Bilgisi: Bu sayfa, Evrim Ağacı yazdırma aracı kullanılarak 18/12/2024 22:00:37 tarihinde oluşturulmuştur. Evrim Ağacı'ndaki içeriklerin tamamı, birden fazla editör tarafından, durmaksızın elden geçirilmekte, güncellenmekte ve geliştirilmektedir. Dolayısıyla bu çıktının alındığı tarihten sonra yapılan güncellemeleri görmek ve bu içeriğin en güncel halini okumak için lütfen şu adrese gidiniz: https://evrimagaci.org/s/17944
İçerik Kullanım İzinleri: Evrim Ağacı'ndaki yazılı içerikler orijinallerine hiçbir şekilde dokunulmadığı müddetçe izin alınmaksızın paylaşılabilir, kopyalanabilir, yapıştırılabilir, çoğaltılabilir, basılabilir, dağıtılabilir, yayılabilir, alıntılanabilir. Ancak bu içeriklerin hiçbiri izin alınmaksızın değiştirilemez ve değiştirilmiş halleri Evrim Ağacı'na aitmiş gibi sunulamaz. Benzer şekilde, içeriklerin hiçbiri, söz konusu içeriğin açıkça belirtilmiş yazarlarından ve Evrim Ağacı'ndan başkasına aitmiş gibi sunulamaz. Bu sayfa izin alınmaksızın düzenlenemez, Evrim Ağacı logosu, yazar/editör bilgileri ve içeriğin diğer kısımları izin alınmaksızın değiştirilemez veya kaldırılamaz.