Green teoremi

Matematikte, Green kuramı basit, kapalı bir C eğrisi etrafındaki çizgi integrali ile  C eğrisinin sınırlandırdığı D düzlem bölgesi üzerindeki çift katlı integral arasındaki ilişkiyi verir. Teorem adını matematikçi George Green'denGeorge Green, An Essay on the Application of Mathematical Analysis to the Theories of Electricity and Magnetism (Nottingham, England:  T. Wheelhouse, 1828). Green aslında makalesinde Green teoremi’ni değil diverjans teoremi’nin bir biçimini türetti. Makalesi şuradan görülebilir; sayfa 10-12 .
1846 yılında, Green teoremi’nin asıl formu Augustin Cauchy’nin bir yazısıyla ilk kez yayımlandı ancak ispatsız bir şekilde verildi. A. Cauchy (1846) "Sur les intégrales qui s'étendent à tous les points d'une courbe fermée"  (Kapalı bir eğrinin tüm noktaları üzerine uzanan integraller üzerine), Comptes rendus, 23: 251-255. (Denklem sayfa 254’ün alt tarafında görünmektedir. Sayfada (S), k fonksiyonuna bağlı, S alanını kapsayan s eğrisi etrafındaki çizgi integralini ifade etmektedir.)
Teorem için bir ispat sonunda 1851 yılında Bernhard Riemann tarafından verildi:  Bernhard Riemann (1851) Grundlagen für einen allgemeine Theorie der Functionen einer veränderlichen complexen Grösse  (Karmaşık sayı değişkenli fonksiyonların genel teorisi için temel), (Göttingen, (Germany):  Adalbert Rente, 1867); sayfa 8 - 9. almıştır ve daha genel hâli olan Stokes teoreminin iki boyuttaki özel durumudur.

Teorem
C düzlemde saat yönünün tersi yönünde, parçalı olarak düzgün, basit ve kapalı bir eğri olsun ve D de C eğrisinin sınırlandırdığı bölge olsun. Eğer L ve M (x, y)'ye bağlı, Dyi de içeren açık bir bölgede tanımlanmış ve aynı bölgede sürekli kısmî türevlere sahip fonksiyonlar ise, o zaman;Mathematical methods for physics and engineering, K.F. Riley, M.P. Hobson, S.J. Bence, Cambridge University Press, 2010, ISBN 978-0-521-86153-3Vector Analysis (2nd Edition), M.R. Spiegel, S. Lipschutz, D. Spellman, Schaum’s Outlines, McGraw Hill (USA), 2009, ISBN 978-0-07-161545-7

deriz ve burada integrasyon döngüsü C saat yönünün tersi yönündedir.

Fizikte, Green teoremi çoğunlukla iki boyutlu akış integrallerinin çözümünde kullanılır. Akış integrallerinde, bir hacim içinde bulunan herhangi bir noktadaki dışarıya akan akışkan toplamı çevreleyen alan etrafındaki toplam dışarıya akana eşittir. Düzlem geometrisinde, özellikle de alan incelemede, Green teoremi alan hesaplamak ve sadece çevre üzerinde integrasyon ile düzlem şekillerinin ağırlık merkezlerinin bulunmasında kullanılabilir.

 D basit bir bölge olduğunda ispatı
küçükresim|upright=1.36|sağ|D basit bir bölge ise ve sınırları C1, C2, C3, C4 eğrilerinden oluşuyorsa, Green teoremi’nin yarısı kanıtlanabilir.

Aşağıdaki ispat basitleştirilmiş D bölgesi için teoremin yarısının ispatıdır. D bölgesi 1. tip bir bölge olup, D bölgesinde C2 ve C4 dikey doğruları bulunmaktadır. (muhtemelen sıfır uzunlukta). Teoremin diğer yarısı için de benzer bir ispat vardır. Bu durumda D 2. tip bir bölge olup, D bölgesinde C1 ve C3 yatay doğruları bulunmaktadır. (gene muhtemelen sıfır uzunlukta). Bu iki kısmı birleştirerek, teorem 3. tip (hem 1. tip hem de 2. tip olan bölgeler olarak tanımlanmışlardır) bölgeler için ispatlanabilir. Daha sonra, D bölgesi 3. tip bölgeler kümesine ayrıştırılarak, özel hâlden genel hâle geçilebilir.

Eğer;

ve

eşitliklerinin doğru olduğunu gösterebilirsek, Green teoremi  D bölgesi için türetilebilir. (1) denklemini 1. tip bölgeler için ve (2) denklemini 2. tip bölgeler için ispatlayabiliriz. Green teoremi de 3. tip bölgeler için türetilebilir.

Varsayalım ki D 1. tip bir bölge ve böylelikle aşağıdaki şekilde tanımlanabilir, sağda resmedildiği gibi,

Burada g1 ve g2 [a, b] aralığı üzerinde sürekli fonksiyonlardır. (1) denklemindeki çift katlı integrali hesaplayalım:



Şimdi (1) denklemindeki çizgi integralini hesaplayalım. C eğrisi 4 eğrinin birleşimi şeklinde yeniden yazılabilir: C1, C2, C3, C4.

C1 için x = x, y = g1(x), a ≤ x ≤ b parametrik denklemleri kullanılabilir. Böylece,

C3 için x = x, y = g2(x), a ≤ x ≤ b parametrik denklemleri kullanılabilir. Böylece,

C eğrisi saat yönünün tersi yönünde olduğundan ve C3 b noktasından a noktasına saat yönünde gittiğinden, C3 üzerindeki integral eksi ile çarpılmıştır. C2 ve C4 üzerinde x sabit kalır ve şu anlama gelir;

Bu nedenle,

(3) ile (4) denklemlerini bir araya getirerek (1) denklemini 1. tip bölgeler için elde edebiliriz. Benzer bir yaklaşımla (2) denklemini 2. tip bölgeler için elde edebiliriz. Bu ikisini birleştirerek, 3. tip bölgeler için olan sonucu elde ederiz.

Stokes teoremi ile ilişkisi
xy-düzlemindeki bir bölgeye uygulandığında, Green teoremi Kelvin-Stokes teoreminin özel bir durumudur.

İki boyutlu alana her zaman sıfıra eşit olan z bileşenini ekleyerek üç boyutlu alanı elde edebiliriz. F''' için vektör-değerli fonksiyon ’i yazalım. Green teoreminin sol tarafıyla başlayalım:

Kelvin–Stokes Teoremi:

 yüzeyi  düzleminde birim normal vektörleri  yukarı yönde olan(pozitif z ekseni yönünde) bir bölgedir. Birim normallerinin pozitif z'' ekseni yönünde olmasının nedeni her iki teoremin tanımlanırının "pozitif yönlendirme" gerektirmesindendir.

İntegralin içerisindeki integral şuna dönüşür;


Böylelikle Green teoremi'nin sağ tarafını elde ederiz


Diverjans teoremi ile ilişkisi
Sadece iki boyutlu vektör alanlarını düşünürsek,
Green teoremi diverjans teoremi'nin iki boyutlu hâline denktir:

Burada  iki boyutlu vektör alanı 'te diverjansı ifade eder ve  sınır üzerinde dışarı-yöndeki birim normal vektörüdür.

Bunu anlamak için, birim normal vektörü olan 'ünü eşitliğin sağ tarafında düşünelim. Green teoremi'nde  vektörü eğri boyunca teğetsel yönde bir vektör olduğundan ve C eğrisi sınır boyunca pozitif yönde (yani saat yönünün tersi yönünde) olan bir eğri olduğundan, dışarı yönlü bir normal vektörü bu vektörün 90° sağını gösteren bir vektör olur; örnek olarak  vektörü seçilebilir. Bu vektörün uzunluğu ds ile gösterilirse;  Böylece; 

Green teoremi'nin sol tarafıyla başlayalım:

İki-boyutlu diverjans teoremini  ile uygulayarak Green teoremi'nin sağ tarafını elde ederiz.


Alan hesabı
Green teoremi çizgi integralleri tarafından alan hesaplama için kullanılabilir. Aşağıdaki ifade D'nin alanını verir:

L'yi ve M'yi aşağıdaki gibi seçmemiz şartıyla;

Alan aşağıdaki ifade ile bulunabilir:

Ayrıca aşağıdaki formüller de D'nin alanını veren diğer olası formüllerdir:

Kaynakça

Kategori:Matematik teoremleri
Kategori:Vektör hesabı
Kategori:İntegral hesabı