11. İntegral

    MatematikKalkülüs

    Yol boyunca hızımız değişiyorsa toplamda ne kadar ilerlediğimizi nasıl buluruz? İntegral, sürekli değişen küçük katkıları bir araya getirerek toplamı hesaplamamızı sağlar. Aynı fikirle bir eğrinin altında kalan işaretli alanı ve sürekli bir olasılık dağılımında belirli bir aralığa düşme olasılığını da bulabiliriz. Bu makalede integrali dikdörtgen toplamlarından başlayarak kuracağız. Ardından belirli ve belirsiz integrali, Kalkülüsün Temel Teoremi’ni, temel hesaplama kurallarını ve sayısal yaklaşımları adım adım inceleyip integralin yapay zekâda nasıl kullanıldığını göreceğiz.

    Değişim Hızını Biliyorsak Toplamı Nasıl Buluruz?

    Türev makalesinde konumun zamana göre değişiminden hızı, hızın değişiminden de ivmeyi bulmuştuk. Elimizde hız bilgisi varsa bu kez ne kadar yol gidildiğini hesaplamak isteriz.

    Bir araç üç saat boyunca sabit olarak saatte 60 kilometre hızla giderse hesap kolaydır:

    $$ \begin{aligned} \text{Yol} &=\text{Hız}\times\text{Zaman}\\ &=60\ \text{km/saat}\times3\ \text{saat}\\ &=180\ \text{km}. \end{aligned} $$

    Hız bütün süre boyunca aynı kaldığı için bu çarpım yeterlidir. Araç sürekli hızlanıyorsa tek bir hız seçmek yanıltır: Başlangıç hızını kullanmak yolu olduğundan az, bitiş hızını kullanmak ise olduğundan fazla gösterebilir.

    Zamanı kısa aralıklara bölelim. Her aralıkta hızın neredeyse sabit kaldığını varsayarak alınan yolu yaklaşık hesaplayabilir, sonra bu yolları toplayabiliriz. Aralıklar daraldıkça toplam belirli bir değere yaklaşıyorsa, integral bize o değeri verir.

    Bir depoya saniyede ne kadar su girdiğini biliyorsak toplam suyu da bu yolla buluruz. Gücün zaman boyunca birikimi enerjiyi, bir malzemenin uzunluğu boyunca değişen yoğunluğun birikimi ise kütleyi verir.

    Önce Yaklaşalım: Küçük Dikdörtgenler

    Şimdi hızın saniye cinsinden zamana bağlı olarak değiştiği bir araç düşünelim:

    $$ v(t)=2t $$

    Buradaki \(t\) geçen saniyeyi, \(v(t)\) ise o andaki hızı gösterir. Araç \(t=0\)'da duruyor, \(t=1\)'de hızı 2'ye, \(t=2\)'de 4'e, \(t=3\)'te 6'ya çıkıyor. Amacımız 0 ile 3 saniye arasında ne kadar yol aldığını bulmaktır.

    Önce üç saniyeyi birer saniyelik üç parçaya ayıralım. Her parçanın başındaki hızı kullanırsak:

    $$ \begin{aligned} \text{Yaklaşık yol} &=v(0)\cdot1+v(1)\cdot1+v(2)\cdot1\\ &=0+2+4\\ &=6 \end{aligned} $$

    sonucunu elde ederiz. Hız sürekli arttığı için her aralığın başındaki değer düşük kalır; dolayısıyla 6, gerçek yolun altındadır. Bu kez her parçanın sonundaki hızları kullanırsak:

    $$ \begin{aligned} \text{Yaklaşık yol} &=v(1)\cdot1+v(2)\cdot1+v(3)\cdot1\\ &=2+4+6\\ &=12 \end{aligned} $$

    buluruz. Bu da gerçek yolun üstünde kalır. Şimdilik yalnızca şu aralığı biliyoruz:

    $$ 6<\text{Gerçek yol}<12 $$

    Parçaları küçülttüğümüzde iki tahmin birbirine yaklaşır:

    Parça genişliği Sol uç toplamı Sağ uç toplamı
    1612
    0,57,510,5
    0,18,79,3
    0,018,979,03

    Sol toplamlar aşağıdan, sağ toplamlar yukarıdan 9'a yaklaşmaktadır. Parça genişliğini gerçekten sıfır yapmıyoruz; genişlik sıfıra yaklaşırken toplamların hangi değere yöneldiğini soruyoruz. Bu nedenle integralin temelinde de limit vardır.

    Hız fonksiyonu artmasaydı sol toplamın mutlaka alttan, sağ toplamın mutlaka üstten yaklaşacağını söyleyemezdik. Buradaki sıralama \(v(t)=2t\) fonksiyonunun 0 ile 3 arasında artmasından kaynaklanır.

    Yaklaşık Toplamdan Riemann Toplamına

    Bu düşünceyi genel bir \(f(x)\) fonksiyonuna uygulayalım. \(a\) ile \(b\) arasını \(n\) eşit parçaya bölersek her parçanın genişliği:

    $$ \Delta x=\frac{b-a}{n} $$

    olur. “Delta x” diye okunan \(\Delta x\), her küçük aralığın genişliğidir. Her aralığın içinden “x i yıldız” diye okuyabileceğimiz bir \(x_i^*\) örnek noktası seçelim. Bu aralıktaki yaklaşık katkı, yükseklik ile genişliğin çarpımıdır:

    $$ f(x_i^*)\Delta x $$

    Bütün katkıları topladığımızda:

    $$ \sum_{i=1}^{n}f(x_i^*)\Delta x $$

    ifadesini elde ederiz. Büyük sigma işareti \(\sum\), “\(i=1\)'den \(n\)'ye kadar bütün terimleri topla” anlamına gelir. Bu sonlu toplama Riemann toplamı denir.

    Parça sayısını artırıp en geniş parçayı sıfıra yaklaştırdığımızda Riemann toplamı tek bir değere ulaşıyorsa, belirli integral tanımlanır:

    $$ \int_a^b f(x)\,dx = \lim_{n\to\infty} \sum_{i=1}^{n}f(x_i^*)\Delta x $$

    İntegralde sıfır olmayan küçük parçaların katkılarını toplar, sonra parçalar daraldıkça bu toplamın limitini alırız. Bunu “sonsuz sayıda sıfır genişlikli dikdörtgeni toplamak” diye hayal edebiliriz; fakat hesapta kullanılan dikdörtgenlerin genişliği her adımda sıfırdan büyüktür.

    \(a\) ve \(b\) gibi iki sonlu sınır arasındaki kapalı bir aralıkta sürekli olan her fonksiyon bu anlamda integrallenebilir. Az sayıda sıçrama bulunan, fakat bu sıçramaların arasında sürekli davranan fonksiyonlar da çoğu uygulamada integrallenebilir. Fakat sınırsız büyüyen veya aşırı düzensiz davranan fonksiyonlarda ayrıca dikkat gerekir.

    İntegral Gösterimindeki Her Parça

    Bu işlemi yazarken her sembolün ayrı bir görevi vardır:

    $$ \int_a^b f(x)\,dx $$
    • \(\int\), integral sembolüdür. Uzatılmış bir “S” harfine benzer ve toplama fikrini hatırlatır.
    • \(a\), birikimin başladığı alt sınırdır.
    • \(b\), birikimin bittiği üst sınırdır.
    • \(f(x)\), katkılarını biriktirdiğimiz integrali alınan ifadedir; bazı kaynaklarda buna integrand denir.
    • \(dx\), birikimin \(x\) değişkenine göre yapıldığını ve Riemann toplamındaki küçük \(x\) aralıklarını belirtir.

    Örneğin:

    $$ \int_0^3 2t\,dt $$

    ifadesi, “\(2t\) fonksiyonunun 0 ile 3 arasındaki küçük katkılarını \(t\)'ye göre biriktir” diye okunabilir. Burada \(dt\), tek başına sıradan bir sayı değildir; hangi değişkene göre ve hangi küçük aralıklar boyunca toplama yaptığımızı gösteren integral yazımının parçasıdır.

    Birden fazla değişken içeren ifadelerde \(dx\), \(dt\) veya başka bir diferansiyel yazmak özellikle önemlidir. Örneğin \(\int 2t\,dt\) ifadesinde değişen değişken \(t\)'dir; aynı ifadeyi \(x\)'e göre integre etseydik \(t\), \(x\)'e göre sabit kabul edilirdi.

    Geometrik Yorum: İşaretli Alan

    Analitik Düzlem üzerinde \(f(x)\) grafiğini çizdiğimizi düşünelim. Fonksiyon \(a\) ile \(b\) arasında x ekseninin üstündeyse \(\int_a^b f(x)\,dx\), grafik ile x ekseni arasında kalan alanı verir.

    Örneğin sabit \(f(x)=3\) fonksiyonunun 0 ile 4 arasındaki grafiği, yüksekliği 3 ve genişliği 4 olan bir dikdörtgen oluşturur:

    $$ \int_0^4 3\,dx=3\cdot4=12 $$

    \(f(x)=x\) fonksiyonunun 0 ile 4 arasındaki grafiğinin altında ise tabanı ve yüksekliği 4 olan bir üçgen bulunur:

    $$ \int_0^4 x\,dx =\frac{4\cdot4}{2} =8 $$

    Grafik x ekseninin altına indiğinde katkılar negatif sayılır. İntegralin verdiği işaretli alan ya da net birikim bu yüzden pozitif geometrik alandan farklı olabilir.

    \(f(x)=x\) fonksiyonunu \(-1\) ile \(1\) arasında inceleyelim:

    $$ \int_{-1}^{1}x\,dx =-\frac{1}{2}+\frac{1}{2} =0 $$

    Sol taraftaki negatif üçgen ile sağ taraftaki pozitif üçgen birbirini götürür. Oysa iki bölgenin gerçek geometrik alanlarının toplamı 1'dir. Geometrik alanı istiyorsak negatif katkıları pozitife çevirmeliyiz:

    $$ \int_{-1}^{1}|x|\,dx=1 $$

    Hareket problemlerinde aynı ayrım yer değiştirme ile toplam yol arasında ortaya çıkar. Hız negatif olduğunda araç seçtiğimiz pozitif yönün tersine gidiyor demektir. Hızın integrali net yer değiştirmeyi, hızın mutlak değerinin integrali ise toplam gidilen yolu verir:

    $$ \text{Yer değiştirme}=\int_a^b v(t)\,dt \qquad \text{Toplam yol}=\int_a^b |v(t)|\,dt $$

    Belirli İntegral ile Belirsiz İntegral

    İntegral sembolünü hem sınırları belli bir birikim için hem de türevi bilinen bir fonksiyonu bulmak için kullanırız.

    Belirli İntegral

    Alt ve üst sınırı bulunan:

    $$ \int_a^b f(x)\,dx $$

    ifadesi belirli integraldir. Sonucu bir sayıdır ve \(a\) ile \(b\) arasındaki net birikimi anlatır.

    Belirsiz İntegral

    Sınırları bulunmayan:

    $$ \int f(x)\,dx $$

    ifadesi ise belirsiz integraldir. Burada tek bir sayı aramayız; türevi \(f(x)\) olan bütün fonksiyonları ararız. Böyle bir fonksiyona ilkel fonksiyon veya ters türev denir.

    Örneğin \(x^2\)'nin türevi \(2x\) olduğu için:

    $$ \int 2x\,dx=x^2+C $$

    yazarız. Bu denklem “integral işareti ile eşitliğin sağındaki tek bir fonksiyon tamamen aynıdır” anlamına gelmez; sağ taraf, türevi \(2x\) olan bütün fonksiyon ailesini temsil eder.

    Neden Sonuca \(+C\) Ekliyoruz?

    Türev sabit sayıları ortadan kaldırır:

    $$ \begin{aligned} \frac{d}{dx}(x^2)&=2x,\\ \frac{d}{dx}(x^2+3)&=2x,\\ \frac{d}{dx}(x^2-10)&=2x. \end{aligned} $$

    Yalnızca \(2x\) türevini görürsek başlangıçtaki sabitin 0, 3, \(-10\) veya başka bir sayı olduğunu anlayamayız. Bu kayıp bilgiyi herhangi bir sabit sayıyı temsil eden \(C\) ile gösteririz:

    $$ \int 2x\,dx=x^2+C $$

    Ek bir başlangıç koşulu verilirse \(C\)'yi bulabiliriz. Örneğin birikim fonksiyonumuz \(F'(x)=2x\) koşulunu sağlasın ve \(F(0)=5\) olsun:

    $$ \begin{aligned} F(x)&=x^2+C,\\ F(0)&=0^2+C=5,\\ C&=5. \end{aligned} $$

    Böylece bu özel durum için \(F(x)=x^2+5\) elde ederiz. Fizikte \(C\), cismin başlangıç konumu; bir depoda başlangıçta bulunan su miktarı gibi gerçek bir bilgiyi taşıyabilir.

    \(+C\), belirsiz integralin parçasıdır. Belirli integralin sonunda ayrıca \(+C\) yazmayız; çünkü üst ve alt sınırda aynı sabit birbirini götürür: \([F(b)+C]-[F(a)+C]=F(b)-F(a)\).

    Temel İntegral Kurallarını Türevden Geri Kuralım

    Bulduğumuz ilkel fonksiyonun türevini alarak hesabı kontrol edebiliriz. Türev, başladığımız fonksiyonu vermelidir.

    Sabit ve Kuvvet Kuralı

    \(kx\)'in türevi \(k\) olduğu için:

    $$ \int k\,dx=kx+C $$

    Kuvvet kuralında ise türevde yaptığımız işlemi tersine çeviririz. Üssü bir artırır, sonra yeni üssün değerine böleriz:

    $$ \int x^n\,dx =\frac{x^{n+1}}{n+1}+C \qquad(n\ne-1) $$

    Neden çalıştığını türevle doğrulayalım:

    $$ \frac{d}{dx} \left(\frac{x^{n+1}}{n+1}\right) =\frac{n+1}{n+1}x^n =x^n $$

    Örneğin:

    $$ \int x^2\,dx =\frac{x^3}{3}+C $$

    Çünkü \(x^3/3\)'ün türevi \(x^2\)'dir.

    Sabit Katsayı, Toplama ve Çıkarma

    İntegral doğrusal bir işlemdir. Sabit katsayı dışarı alınabilir; toplam ve fark terim terim integre edilebilir:

    $$ \begin{aligned} \int kf(x)\,dx&=k\int f(x)\,dx,\\ \int[f(x)+g(x)]\,dx&=\int f(x)\,dx+\int g(x)\,dx,\\ \int[f(x)-g(x)]\,dx&=\int f(x)\,dx-\int g(x)\,dx. \end{aligned} $$

    Polinom Fonksiyonları makalesindeki bilgileri kullanarak bir örnek çözelim:

    $$ \begin{aligned} \int(3x^2-4x+5)\,dx &=3\frac{x^3}{3}-4\frac{x^2}{2}+5x+C\\ &=x^3-2x^2+5x+C. \end{aligned} $$

    Kontrol için sonucu türevleyelim:

    $$ \frac{d}{dx}(x^3-2x^2+5x+C) =3x^2-4x+5 $$

    Kuvvet Kuralının Önemli İstisnası

    Kuvvet kuralında \(n=-1\) değerini kullanamayız. Çünkü yeni üs \(n+1=0\) olur ve sıfıra bölme ortaya çıkar:

    $$ x^{-1}=\frac{1}{x} $$

    Bu özel fonksiyonun ilkel fonksiyonu logaritmadır:

    $$ \int\frac{1}{x}\,dx=\ln|x|+C \qquad(x\ne0) $$

    Mutlak değer önemlidir. Gerçek sayılarda \(\ln(x)\) yalnızca pozitif \(x\) için tanımlıyken \(1/x\), sıfır dışında hem pozitif hem negatif bölgelerde tanımlıdır. \(\ln|x|\)'in türevi bu bölgelerin her ikisinde de \(1/x\)'tir.

    Bununla birlikte \(1/x\)'in tanım kümesi sıfırda iki ayrı parçaya ayrılır. Bu nedenle en genel ilkel fonksiyon ailesinde \(x<0\) ve \(x>0\) bölgelerinde farklı sabitler seçilebilir. Başlangıç düzeyindeki hesaplarda genellikle tek bir aralık üzerinde çalışır ve bu ayrıntıyı \(x\ne0\) koşuluyla hatırlarız.

    Üstel, Logaritmik ve Trigonometrik İntegraller

    Daha önce incelediğimiz Üstel ve Logaritmik Fonksiyonlar ile Trigonometri konularından bazı temel integraller gelir:

    Fonksiyon Belirsiz integrali
    \(e^x\)\(e^x+C\)
    \(a^x\)\(\dfrac{a^x}{\ln a}+C,\ a>0,\ a\ne1\)
    \(\dfrac{1}{x}\)\(\ln|x|+C,\ x\ne0\)
    \(\sin x\)\(-\cos x+C\)
    \(\cos x\)\(\sin x+C\)

    Trigonometrik formüllerde \(x\)'in radyan cinsinden olduğu kabul edilir. Her satır türev alınarak doğrulanabilir. Örneğin \(-\cos x\)'in türevi \(\sin x\), \(\sin x\)'in türevi ise \(\cos x\)'tir.

    Bir fonksiyonun içinde başka bir fonksiyon varsa veya iki karmaşık ifade çarpılıyorsa tablodaki kurallar tek başına yetmeyebilir. Böyle durumlarda yerine koyma ya da parçalı integrasyon gibi, türev ilişkilerine dayanan yöntemler kullanılır.

    Çarpımın integrali genel olarak integrallerin çarpımı değildir. Yani \(\int f(x)g(x)\,dx\) ifadesini \(\left(\int f(x)\,dx\right)\left(\int g(x)\,dx\right)\) biçiminde ayıramayız. Doğrusallık yalnızca toplama, çıkarma ve sabit katsayı için geçerlidir.

    İki İntegral Fikrini Birleştiren Temel Teorem

    Belirli integral küçük katkıları toplarken belirsiz integral ilkel fonksiyon arıyor. İkisini aynı sembolle yazmamızın nedeni Kalkülüsün Temel Teoremi: Birikim ile türev arasındaki ilişkiyi gösterir.

    Birinci düşünce: Birikimin türevi

    \(f\) fonksiyonunun \(a\)'dan \(x\)'e kadar biriken değerini yeni bir fonksiyonla gösterelim:

    $$ A(x)=\int_a^x f(t)\,dt $$

    Burada integral içindeki \(t\), toplama sırasında kullanılan geçici değişkendir. Üst sınırdaki \(x\) değiştikçe birikim de değişir. \(x\)'i küçük bir \(\Delta x\) kadar artırdığımızda birikime ince bir şerit eklenir. Bu şeridin değeri yaklaşık olarak:

    $$ \Delta A\approx f(x)\Delta x $$

    olur. İki tarafı \(\Delta x\)'e bölersek:

    $$ \frac{\Delta A}{\Delta x}\approx f(x) $$

    elde ederiz. \(\Delta x\) sıfıra yaklaşırken ve \(f\) bu noktada sürekliyken yaklaşık eşitlik kesin sonuca dönüşür:

    $$ A'(x) =\frac{d}{dx}\int_a^x f(t)\,dt =f(x) $$

    Yani birikmiş toplamın o andaki değişim hızı, tam o anda biriktirdiğimiz fonksiyonun değeridir. Bir depoya o anda saniyede 4 litre su giriyorsa, depodaki toplam su miktarı da o anda saniyede 4 litre artar.

    İkinci düşünce: Belirli integrali ilkel fonksiyonla hesaplamak

    \(F'(x)=f(x)\) olacak biçimde bir \(F\) ilkel fonksiyonu bulabiliyorsak:

    $$ \int_a^b f(x)\,dx =F(b)-F(a) $$

    olur.

    Bu sonuç, binlerce küçük dikdörtgeni tek tek toplamaya çalışmak yerine yalnızca ilkel fonksiyonun iki değerini birbirinden çıkararak sonuca ulaşmamızı sağlar.

    Birikmiş toplamın türevi bizi anlık değişime götürür. Anlık değişimin integralini aldığımızda ise birikimi buluruz. Temel Teorem, iki işlemi bu şekilde birbirine bağlar.

    Başlangıçtaki Yol Problemini Kesin Çözelim

    \(v(t)=2t\) hızıyla giden aracın 0 ile 3 saniye arasındaki yolunu Riemann toplamlarıyla 9'a yaklaştırmıştık. İlkel fonksiyon bulursak aynı sonucu doğrudan hesaplayabiliriz.

    Önce \(2t\)'nin bir ilkel fonksiyonunu buluruz:

    $$ \int 2t\,dt=t^2+C $$

    Ardından üst sınırdaki değerden alt sınırdaki değeri çıkarırız:

    $$ \begin{aligned} \int_0^3 2t\,dt &=[t^2]_0^3\\ &=3^2-0^2\\ &=9. \end{aligned} $$

    Köşeli parantezle yazılan \([t^2]_0^3\), “önce 3'ü, sonra 0'ı yaz ve ikinci sonucu birinciden çıkar” demektir. Belirli integralin sonucu bir sayıdır; \(+C\) eklenmez.

    Bir polinom örneği daha çözelim:

    $$ \int_1^3(3x^2-4x+5)\,dx $$

    İlkel fonksiyon \(F(x)=x^3-2x^2+5x\)'tir. Değerleri tek tek hesaplayalım:

    $$ \begin{aligned} F(3)&=27-18+15=24,\\ F(1)&=1-2+5=4,\\ \int_1^3(3x^2-4x+5)\,dx &=F(3)-F(1)\\ &=24-4\\ &=20. \end{aligned} $$

    Fonksiyon bu aralıkta pozitiftir; dolayısıyla integralin de pozitif çıkması gerekir. İşaretini ve yaklaşık büyüklüğünü kontrol etmek, hesap hatalarını yakalamaya yardım eder.

    Belirli İntegralin Temel Özellikleri

    Birikimi bir aralık boyunca düşündüğümüzde şu özellikler ortaya çıkar:

    Aynı noktada başlayıp bitmek
    $$ \int_a^a f(x)\,dx=0 $$

    Başlangıç ve bitiş aynıysa arada birikecek bir katkı yoktur.

    Sınırların yönünü değiştirmek
    $$ \int_a^b f(x)\,dx =-\int_b^a f(x)\,dx $$

    Başlangıç ve bitiş yönünü ters çevirdiğimizde birikimin işareti değişir.

    Aralığı parçalara ayırmak
    $$ \int_a^c f(x)\,dx =\int_a^b f(x)\,dx +\int_b^c f(x)\,dx $$

    Aralığı bir ara noktada bölersek iki bölümün birikimini ayrı ayrı hesaplayıp toplayabiliriz.

    Toplam ve sabit katsayı
    $$ \int_a^b[\alpha f(x)+\beta g(x)]\,dx =\alpha\int_a^b f(x)\,dx +\beta\int_a^b g(x)\,dx $$

    Buradaki \(\alpha\) ve \(\beta\) sabit sayılardır. İki katkının toplamını biriktirmek, katkıları ayrı ayrı biriktirip toplamaya eşdeğerdir.

    Büyüklük için sınır koymak

    \(a<b\) ve aralık boyunca \(m\le f(x)\le M\) ise:

    $$ m(b-a) \le\int_a^b f(x)\,dx \le M(b-a) $$

    olur. Çünkü fonksiyonun oluşturduğu birikim, yüksekliği \(m\) olan dikdörtgen ile yüksekliği \(M\) olan dikdörtgenin birikimleri arasında kalır. Bu özellik, hesap sonucu için hızlı bir akla yatkınlık kontrolü sağlar.

    Sürekli Değişen Bir Büyüklüğün Ortalaması

    Birkaç değerin ortalamasını almak için onları toplar ve değer sayısına böleriz. Değerler sürekli bir aralık boyunca değişiyorsa toplamı integral verir; bu toplamı aralığın uzunluğuna böleriz.

    \(f(x)\) fonksiyonunun \(a\) ile \(b\) arasındaki ortalama değeri:

    $$ f_{\text{ortalama}} =\frac{1}{b-a}\int_a^b f(x)\,dx $$

    formülüyle bulunur. \(v(t)=2t\) hızının 0 ile 3 saniye arasındaki integrali 9 olduğuna göre ortalama hız:

    $$ v_{\text{ortalama}} =\frac{1}{3-0}\int_0^3 2t\,dt =\frac{9}{3} =3 $$
    Doğrusal olarak 0'dan 6'ya çıkan hızın ortalamasının 3 olması sezgimize de uygundur. Fakat integral formülü yalnızca doğrusal değişimde değil, eğri biçiminde değişen fonksiyonlarda da çalışır.

    Birimler Bize Sonucun Anlamını Söyler

    Türev alırken çıktı birimini girdi birimine böleriz. Konum metre, zaman saniye ise hızın birimi metre/saniyedir. İntegral alırken bu ilişki tersine döner; fonksiyonun birimi küçük aralığın birimiyle çarpılır:

    $$ \frac{\text{metre}}{\text{saniye}} \times\text{saniye} =\text{metre} $$

    Bu nedenle hızın zamana göre integrali yer değiştirme birimine sahiptir. Benzer biçimde:

    • litre/saniye cinsinden akış hızının zamana göre integrali litre cinsinden toplam suyu verir;
    • watt cinsinden gücün zamana göre integrali enerji verir;
    • kilogram/metre cinsinden doğrusal yoğunluğun uzunluğa göre integrali kilogram cinsinden kütleyi verir.

    Bir integral sonucu yorumlanamıyor veya beklenmeyen birime sahipse formülde yanlış değişkene göre integral almış, aralık genişliğini unutmuş ya da yanlış büyüklüğü biriktirmiş olabiliriz.

    Formül Olmasa da Olur: Sayısal İntegral

    Bazen elimizde fonksiyonun formülü değil, belirli zamanlarda alınmış sensör ölçümleri vardır. İlkel fonksiyon aramak yerine ölçümler arasındaki küçük katkıları yaklaşık toplarız.

    En basit yöntemler sol veya sağ uç dikdörtgenleridir. İki komşu ölçümün ortalamasını yükseklik olarak kullanırsak yamuk yöntemini (trapezoidal rule) elde ederiz:

    $$ \int_a^b f(x)\,dx \approx \sum_{i=0}^{n-1} \frac{f(x_i)+f(x_{i+1})}{2} (x_{i+1}-x_i) $$

    \(f(x)=x^2\) fonksiyonunun 0 ile 2 arasındaki integralini yalnızca \(x=0,1,2\) noktalarını kullanarak yaklaşık hesaplayalım. İki yamuğun katkısı:

    $$ \begin{aligned} T &=\frac{0^2+1^2}{2}\cdot1 +\frac{1^2+2^2}{2}\cdot1\\ &=\frac{1}{2}+\frac{5}{2}\\ &=3 \end{aligned} $$

    Kesin değer ise:

    $$ \int_0^2x^2\,dx =\left[\frac{x^3}{3}\right]_0^2 =\frac{8}{3} \approx2{,}667 $$

    İki geniş yamukla bulduğumuz 3, gerçek değerden büyüktür. Ölçüm aralıklarını yarıya indirip \(0, 0{,}5, 1, 1{,}5, 2\) noktalarını kullandığımızda yaklaşık sonuç \(2{,}75\)'e iner ve gerçek değere yaklaşır.

    Daha küçük aralıklar çoğu düzgün fonksiyonda yaklaşımı iyileştirir; fakat ölçüm gürültüsü, eksik veri ve bilgisayarın sayı hassasiyeti sonucu etkileyebilir. Ayrıca aralığı küçültmeden önce verinin gerçekten o aralıktaki davranışı temsil edip etmediğini düşünmeliyiz.

    Her İntegralin Basit Bir Formülü Var mıdır?

    Bazı integraller temel kurallarla kolayca bulunur:

    $$ \int x^5\,dx=\frac{x^6}{6}+C $$

    Bazıları yerine koyma veya parçalı integrasyon gibi ek yöntemler ister. Örneğin \(\int xe^x\,dx\), yalnızca kuvvet kuralıyla çözülemez. Daha da önemlisi, bazı düzgün fonksiyonların ilkel fonksiyonu bildiğimiz temel fonksiyonlarla sonlu bir formül halinde yazılamaz. Ünlü bir örnek:

    $$ \int e^{-x^2}\,dx $$

    ifadesidir. Bunun ilkel fonksiyonunu bildiğimiz temel fonksiyonlarla yazamayız; yine de belirli aralıklardaki integralini sayısal yöntemlerle yüksek doğrulukta hesaplayabilir veya özel bir fonksiyonla gösterebiliriz.

    Bazen integral sınırlarından biri sonsuz olabilir veya fonksiyon aralığın bir noktasında sınırsız büyüyebilir. Böyle ifadelere uygunsuz integral denir ve değerleri ayrıca bir limit yardımıyla tanımlanır. Her uygunsuz integral sonlu bir değere yaklaşmaz. Bu ayrıntı ileri konular için önemli olsa da burada aklımızda tutmamız gereken nokta, integral işaretinin tek başına sonlu bir sonuç garantilemediğidir.

    Yapay Zekâda İntegral: Olasılıkları Biriktirmek

    Sinir ağı eğitiminde türev kadar görünür olmasa da integral, yapay zekânın olasılık ve istatistik temelinde sıkça karşımıza çıkar. Sürekli olasılıkları hesaplarken bunun nasıl çalıştığını görebiliriz.

    Sürekli bir büyüklüğün olasılık yoğunluğunu \(p(x)\) ile gösterelim. Yoğunluk eğrisinin bütün olası değerler boyunca birikimi 1 olmalıdır:

    $$ \int_{-\infty}^{\infty}p(x)\,dx=1 $$

    Bu 1 sayısı yüzde 100 olasılık demektir. \(X\) değişkeninin \(a\) ile \(b\) arasında kalma olasılığı ise:

    $$ P(a\le X\le b) =\int_a^b p(x)\,dx $$

    ile bulunur. Burada \(p(x)\), tek bir noktanın olasılığı değil, o noktanın çevresindeki olasılığın ne kadar yoğun olduğunu anlatır. Sürekli bir dağılımda tek bir kesin değerin olasılığı genellikle sıfırdır; anlamlı olasılık bir aralık altındaki alanla oluşur.

    Yoğunluk değeri bazı noktalarda 1'den büyük olabilir. Bu bir hata değildir; 0 ile 1 arasında kalması gereken şey yoğunluğun kendisi değil, bir aralık üzerindeki integralden elde edilen olasılıktır.

    Beklenen Değer ve Ortalama Kayıp

    Bir sürekli değişkenin uzun vadeli ortalamasını anlatan beklenen değer, var olduğu durumlarda integral ile hesaplanır:

    $$ \operatorname{E}[X] =\int_{-\infty}^{\infty}x\,p(x)\,dx $$

    Burada her olası \(x\) değerini kendi yoğunluğu \(p(x)\) ile ağırlıklandırır, sonra bütün değerler boyunca biriktiririz. Bu, sürekli dünyadaki ağırlıklı ortalamadır.

    Aynı düşünceyi bir modelin hatasına uygulayabiliriz. Modelin ayarlarını Yunan alfabesindeki “teta” harfiyle, yani \(\theta\) ile gösterelim. Modelin \(x\) verisindeki kaybına “el” harfiyle gösterilen \(\ell(\theta;x)\), gerçek dünyadaki veri yoğunluğuna da \(p(x)\) diyelim. Teorik ortalama kayıp:

    $$ L(\theta) =\int \ell(\theta;x)p(x)\,dx $$

    biçiminde düşünülebilir. Bütün olası verilerdeki hatayı, o verilerin görülme yoğunluğuna göre ağırlıklandırıp biriktiriyoruz.

    Gerçekte \(p(x)\) dağılımını çoğu zaman bilmeyiz. Elimizde bu dünyadan alınmış \(n\) veri örneği bulunur. Bu nedenle integrali örnek ortalamasıyla yaklaşık hesaplarız:

    $$ L(\theta) \approx \frac{1}{n} \sum_{i=1}^{n}\ell(\theta;x_i) $$

    Eğitim verisindeki ortalama kayıp, gerçek dünyadaki beklenen kaybı sonlu bir örneklemle tahmin eder. Örnekler gerçek dağılımı iyi temsil etmiyorsa eğitim ortalaması düşük olsa bile model yeni verilerde aynı sonucu vermeyebilir.

    İntegralde Sık Yapılan Hatalar

    • İntegrali her zaman pozitif alan sanmak: Belirli integral işaretli alanı ve net birikimi verir. Geometrik alan veya toplam yol için işaret değişen noktalarda mutlak değer gerekebilir.
    • Belirli ve belirsiz integrali karıştırmak: Belirli integralin sonucu bir sayı, belirsiz integralin sonucu ise ilkel fonksiyon ailesidir.
    • \(+C\)'yi unutmak veya yanlış yerde kullanmak: Belirsiz integralde \(+C\) gerekir; belirli integralin sonuna eklenmez.
    • Kuvvet kuralını \(n=-1\)'de kullanmak: \(\int x^{-1}\,dx\) için sonuç kuvvet kuralından değil, \(\ln|x|+C\) biçiminden gelir.
    • Üssü artırıp yeni üsse bölmeyi karıştırmak: \(\int x^n\,dx\) işleminde önce \(n+1\) bulunur ve terim bu yeni sayıya bölünür.
    • Çarpım veya bölümü terim terim ayırmak: İntegralin doğrusallığı toplam, fark ve sabit katsayı için geçerlidir; çarpım ve bölüm için böyle bir kural yoktur.
    • İntegrasyon değişkenini unutmak: \(dx\), hangi değişkenin biriktirildiğini belirtir ve özellikle çok değişkenli ifadelerde anlamı değiştirir.
    • Üst ve alt sınırı yanlış sırada kullanmak: Temel Teorem'de her zaman \(F(b)-F(a)\), yani üst sınırdaki değerden alt sınırdaki değer çıkarılır.
    • Birimleri kontrol etmemek: İntegralin birimi, integrandın birimi ile aralık değişkeninin biriminin çarpımıdır.
    • Her integralin temel fonksiyonlarla yazılacağını düşünmek: Bazı integraller ancak sayısal yöntemlerle veya özel fonksiyonlarla ifade edilebilir.
    • Olasılık yoğunluğunu olasılıkla karıştırmak: Sürekli durumda olasılık, tek bir yoğunluk değerinden değil, bir aralıktaki integralden elde edilir.

    Bir İntegral Sorununda İzlenecek Yol

    1. Neyin biriktiğini belirleyin. Alan mı, yer değiştirme mi, toplam yol mu, enerji mi, olasılık mı arıyorsunuz?
    2. Değişkeni ve birimleri yazın. \(dx\) veya \(dt\)'nin neyi temsil ettiğini açıkça belirleyin.
    3. Aralığı ve yönü kontrol edin. Alt ve üst sınırların doğru sırada olduğundan emin olun.
    4. İşaret değişimlerini bulun. Net birikim ile toplam büyüklük arasında seçim yapın.
    5. Uygun yöntemi seçin. İlkel fonksiyon bulunabiliyorsa Temel Teorem'i, yalnızca ölçüm verileri varsa sayısal yaklaşımı kullanın.
    6. Belirsiz integralde \(+C\)'yi ekleyin. Başlangıç koşulu varsa bu sabiti belirleyin.
    7. Sonucu doğrulayın. İlkel fonksiyonun türevini alın; işareti, yaklaşık büyüklüğü ve birimleri kontrol edin.

    Sonuç: Küçük Katkılardan Bütüne

    Hızı değişen aracın yolunu hesaplarken kısa zaman aralıklarında alınan yolları topladık. Sol ve sağ uçları kullanan tahminler, aralıklar daraldıkça 9'a yaklaştı. Belirli integrali de bu yaklaşık toplamların limiti olarak tanımladık.

    Grafikte integral işaretli alanı verir: Eksenin altındaki ve üstündeki katkılar birbirini götürebilir. Harekette de hızın integrali net yer değiştirmeyi, mutlak hızın integrali toplam yolu verir. Belirli integralin sonucu bir sayıdır; belirsiz integral ise bir ilkel fonksiyon ailesini ve türevde kaybolan sabiti, yani \(+C\)'yi içerir.

    Kalkülüsün Temel Teoremi sayesinde belirli integrali \(F(b)-F(a)\) ile hesapladık. İlkel fonksiyonları türev alarak kontrol ettik; birimleri izleyip sürekli bir fonksiyonun ortalama değerini bulduk. Elimizde yalnızca ölçümler olduğunda ise yamuk yöntemiyle yaklaşık bir sonuç elde ettik.

    Sürekli bir dağılımda olasılığı bir aralık boyunca, beklenen kaybı ise olası veriler boyunca biriktiririz. Eğitim verisindeki ortalama kayıp, gerçek dünyadaki bu birikimin yaklaşık bir hesabıdır.

    Limit ile yaklaşmayı, türev ile anlık değişimi, integral ile birikimi inceledik. Bir sonraki Gradyan ve Kısmi Türevler makalesinde bir yapay zekâ modelindeki her parametrenin sonuca etkisini ayrı ayrı ölçecek, değişim yönlerini bir vektörde birleştireceğiz.

    Yazar: Levent KARAGÖL

    Makaleyi Paylaş:

    İlgili Makaleler