ANKARA ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ YÜKSEK LİSANS TEZİ DİFERENSİYEL OPERATÖRLER İÇİN WEYL TEORİSİ İbrahim ERDAL MATEMATİK ANABİLİM DALI ANKARA 2013 Her hakkı saklıdır ÖZET Yüksek Lisans Tezi DI·FERENSI·YEL OPERATÖRLER I·ÇI·N WEYL TEORI·SI· I·brahim ERDAL Ankara Üniversitesi Fen Bilimleri Enstitüsü Matematik Anabilim Dal¬ Dan¬şman: Doç. Dr. Şeyhmus YARDIMCI Bu tez beş bölümden oluşmaktad¬r. I·lk bölüm giriş k¬sm¬na ayr¬lm¬şt¬r. I·kinci bölümde, spektral analiz için gerekli olan baz¬tan¬m ve teoremler verilmiştir. Üçüncü bölümde, simetrik diferensiyel operatörler için Weyl Teorisi’nden bahsedilmiştir. Limit noktas¬, limit çemberi durumlar¬n¬belirleyen baz¬bilinen kriterler verilmiştir. Dördüncü bölümde, simetrik olmayan diferensiyel operatörler için Weyl Teorisi’nden bahsedilmiştir. Klasik Weyl Teorisi’nde benzeri olmayan durum ve di¼ ger durumlar için kriterler anlat¬lm¬şt¬r. Beşinci bölümde, M ( ) fonksiyonunun özelliklerinden bahsedilmiştir. Ocak 2013, 46 sayfa Anahtar Kelimeler : Weyl noktas¬,Weyl çemberi, Weyl fonksiyonu, indis say¬lar¬, Sturm-Liouville operatörleri. i ABSTRACT Master Thesis WEYL THORY FOR DIFFERENTIAL OPERATORS I·brahim ERDAL Ankara University Graduate School of Natural and Applied Sciences Department of Mathematics Supervisor: Assoc. Prof. Dr. Şeyhmus YARDIMCI This thesis consists of …ve chapters. The …rst chapter is introduction. In the second chapter, some de…nitions and theorems which are necessary for spectral analysis have been given. In the third chapter, Weyl Theory for symmetric di¤erential operators has been mentioned. Some known criterias for the cases of limit point and limit circle have been given. In the fourth chapter,Weyl Theory for non-symmetric di¤erential operators has been mentioned. Some criterias for unde…ned case in classical Weyl Theory and other situations have been expressed. In the …fth chapter, the properties of the M ( ) functions have been studied. January 2013, 46 pages Key Words: Weyl point, Weyl circle, Weyl function, index defect, Sturm-Liouville operators. ii TEŞEKKÜR Bu konuda çal¬şmama imkan tan¬yan ve deste¼ gini esirgemeyen dan¬şman hocam Say¬n Doç. Dr. Şeyhmus YARDIMCI’ya ( Ankara Üniversitesi Fen Fakültesi), de¼ gerli bilgi ve önerileriyle beni yönlendiren hocam Say¬n Prof. Dr. Elgiz BAYRAM’a (Ankara Üniversitesi Fen Fakültesi), haftal¬k seminerlerimiz boyunca benimle birlikte olan de¼ gerli hocalar¬m Yrd. Doç. Dr. Murat OLGUN’a ( Ankara Üniversitesi Fen ¼ Fakültesi), Araş. Gör. Yelda AYGAR ’a, Ekin UGURLU’ ya ve sevgili arkadaşlar¬m, Pembe I·PEK’e ve Ça¼ gla CAN’a en içten duygular¬mla teşekkür ederim. Ayr¬ca hayat¬m¬n her aşamas¬nda yan¬mda olup hiçbir fedakarl¬ktan kaç¬nmayan, her an desteklerini hissetti¼ gim sevgili aileme ve arkadaşlar¬m Adem AYDIN ve Enes DANIŞMAZ’a sonsuz minnetlerimi ve teşekkürlerimi sunar¬m. I·brahim ERDAL Ankara, Ocak 2013 iii I·ÇI·NDEKI·LER ÖZET.................................................................................................... i ABSTRACT.......................................................................................... ii TEŞEKKÜR......................................................................................... SI·MGELER DI·ZI·NI·............................................................................ iii v 1. GI·RI·Ş................................................................................................ 1 2. TEMEL KAVRAMLAR................................................................. 3. SI·METRI·K DI·FERENSI·YEL OPERATÖRLER I·ÇI·N 2 WEYL TEORI·SI·.............................................................................. 3.1 Limit Çemberi ve Limit Noktas¬Durumlar¬ I·çin Kriterler....... 5 13 4. SI·METRI·K OLMAYAN DI·FERENSI·YEL OPERATÖRLER I·ÇI·N WEYL TEORI·SI·..................................................................... 18 4.1 Durum I, Durum II ve Durum III I·çin Kriterler......................... 5. M ( ) FONKSI·YONUNUN ÖZELLI·KLERI·................................. KAYNAKLAR..................................................................................... ÖZGEÇMI·Ş.......................................................................................... iv 29 35 44 46 SI·MGELER DI·ZI·NI· R Reel say¬lar kümesi C Kompleks say¬lar kümesi <z z kompleks say¬s¬n¬n reel k¬sm¬ L maksimal operatör L0 minimal operatör L2 Mutlak de¼ gerlerinin karesi Lebesque integrallenebilen fonksiyonlar¬n =z z kompleks say¬s¬n¬n imajiner (sanal) k¬sm¬ kümesi N ;N simetrik operatörün eksiklik uzaylar¬ v 1. GI·RI·Ş I·kinci mertebeden diferensiyel denklemler teorisi önemli bir geçmişe sahiptir. I·yi bilinmektedir ki diferensiyel ifadenin katsay¬lar¬tan¬ml¬oldu¼ gu aral¬g¼¬n her bir noktas¬nda regülerse uygun s¬n¬r koşullar¬, çözümlerin uç noktalarda ald¬klar¬ de¼ gerler ile verilebilir. Ayr¬ca regüler diferensiyel operatörler ile kurulan diferensiyel denklemlerin tüm çözümleri karesel integrallenebilirdir. Fakat singüler operatörler için bu durum genel olarak do¼ gru de¼ gildir. I·lk defa 1910 y¬l¬nda Weyl göstermiştir ki ikinci mertebeden singüler simetrik bir operatör ile kurulan diferensiyel denklemin mutlaka bir çözümü karesel integrallenebilirdir. Bu önemli sonuç neticesinde diferensiyel operatörler ikiye ayr¬labilir: limit çemberi durumunda olanlar ve limit noktas¬ durumunda olanlar. Limit çemberi durumundaki diferensiyel operatörler ile ele al¬nan diferensiyel denklemlerin tüm çözümleri karesel integrallenebilirken, limit noktas¬durumundakiler için lineer ba¼ g¬ms¬z çözümlerden sadece biri karesel integrallenebilirdir. Weyl’in bu analizi yaklaş¬k 35 y¬l kadar sonra Titchmarsh taraf¬ndan tekrar ele al¬nm¬şt¬r. Özel olarak Titchmarsh, Titchmarsh-Weyl fonksiyonu olarak bilinen m-fonksiyonlar¬n¬n baz¬özelliklerini incelemiştir. Literatürde Titchmarsh-Weyl fonksiyonu yard¬m¬yla spektral fonksiyon, s¬n¬r de¼ ger operatörleri, saç¬lma fonksiyonu, karakteristik fonksiyon kurulabilmektedir. Bu teoriler hakk¬nda detayl¬bilgi Coddington ve Levinson (1955), Gorbachuk (1991), Kuzhel’in (1995) kitaplar¬nda ve Malamud’un (2006, 2008) makalelerinde bulunabilir. Ayr¬ca m- fonksiyonlar¬n¬n teorisini destekleyen pek çok başka çal¬şma da literatüre kazand¬r¬lm¬şt¬r. Di¼ ger yandan 1957 y¬l¬nda Sims, Weyl’in ortaya koydu¼ gu bu analiz metodunu kompleks katsay¬l¬diferensiyel operatörlere uygulam¬şt¬r. Sims bu analizinde çok önemli bir sonuç elde etmiştir. Klasik durumda olmayan ancak kompleks katsay¬l¬durumda görülen sonuç şudur: limit noktas¬durumunda lineer ba¼ g¬ms¬z iki çözüm karesel integrallenebilirdir (DurumII). Ayr¬ca Sims, Titchamarsh-Weyl fonksiyonlar¬n¬n özelliklerini de incelemiştir ve baz¬sonuçlar elde etmiştir. Bu tezde ikinci mertebeden simetrik ve simetrik olmayan singüler diferensiyel operatörler için Weyl teorisi incelenmiştir. Bu tez haz¬rlan¬rken temel olarak Coddington ve Levinson’un kitab¬ndan (1955) ve Sims’in makalesinden (1957) faydalan¬lm¬şt¬r. 1 2. TEMEL KAVRAMLAR Bu bölümde spektral analiz için gerekli baz¬tan¬m ve teoremler verilecektir. Tan¬m 2.1 H reel veya kompleks vektör uzay¬ olsun. H üzerinde bir iç çarp¬m H uzay¬ndaki vektörlerin her s¬ral¬çiftini bir skalere eşleyen ve aşa¼ g¬daki özellikleri gerçekleyen (; ) fonksiyonudur: 1. (x1 + x2 ; y) = (x1 ; y) + (x2 ; y) ; 2. ( x; y) = (x; y) ; 3. (y; x) = (x; y); 4. (x; x) 0; (x; x) = 0 () x = 0: Böyle bir iç çarp¬mla belirtilen H uzay¬na bir iç çarp¬m uzay¬denir (Ho¤man 1962). Tan¬m 2.2 H reel veya kompleks vektör uzay¬olsun. H üzerinde bir norm H üzerinde aşa¼ g¬daki özellikleri gerçekleyen, negatif olmayan, reel de¼ gerli k:k fonksiyondur: 1. kxk 0; kxk = 0 () x = 0; 2. kx + yk kxk + kyk 3. k xk = j j kxk : H üzerinde bu şekilde tan¬mlanan bir norm ile birlikte H vektör uzay¬na normlu 1 lineer uzay denir. kxk = (x; x) 2 formülü H üzerinde bir norm belirtir. E¼ ger H bu norma göre tam ise H uzay¬na Hilbert uzay¬denir (Ho¤man 1962). Tan¬m 2.3 Bir L fonksiyonunun tan¬m ve görüntü kümesi ayn¬cisim üzerinde lineer uzaylarsa ve cisimdeki her ve L nin tan¬m uzay¬ndaki her x; y vektör çifti için L (x + y) = Lx + Ly; L ( x) = Lx koşullar¬gerçekleniyorsa L fonksiyonuna lineer operatör denir (Naimark 1968). 2 Tan¬m 2.4 Tüm H uzay¬üzerinde tan¬ml¬L operatörüne kLxk C kxk ; 8x 2 H koşulunu gerçeklemesi durumunda s¬n¬rl¬ operatör denir. En küçük C say¬s¬na L operatörünün normu denir ve kLk ile gösterilir (Naimark 1968). Tan¬m 2.5 H Hilbert uzay¬ve L bu uzayda lineer operatör olmak üzere L n¬n tan¬m kümesi D (L), H Hilbert uzay¬nda yo¼ gun olsun. f 2 D (L) için (Lf; g) = (f; L g) eşitli¼ gini sa¼ glayan L operatörüne L nin adjoint operatörü denir. Bu eşitli¼ gi sa¼ glayan g 2 H vektörler kümesine L in tan¬m kümesi denir ve D (L ) ile gösterilir (Naimark 1968). Tan¬m 2.6 E¼ ger L = L ise L ye self adjoint operatör ad¬verilir (Naimark 1968). Tan¬m 2.7 L operatörünün tan¬m kümesi olan D(L) kümesi H Hilbert uzay¬nda yo¼ gun bir alt küme olsun. E¼ ger her f; g 2 D(L) için (Lf; g) = (f; Lg) gerçekleniyorsa L lineer operatörüne simetrik operatör denir (Naimark 1968). Tan¬m 2.8 Her s¬n¬rl¬kümeyi kompakt kümeye dönüştüren operatöre kompakt operatör denir (Naimark 1968). Teorem 2.9 (Vitali Yak¬nsakl¬k Teoremi) fn (z) ; bir D bölgesinde her biri regüler olan fonksiyonlar¬n bir dizisi olsun. Her n do¼ gal say¬s¬ ve her z 2 D için fn (z) ; j fn (z)j M eşitsizli¼ gini gerçeklesin ve n ! 1 için D bölgesinde bir limit noktas¬na sahip olsun. Bu durumda fn (z) ; D bölgesinin içindeki herhangi bir s¬n¬rl¬bölgede düzgün yak¬nsakt¬r ve düzgün yak¬nsad¬g¼¬limit fonksiyonu z nin analitik fonksiyonudur (Titchmarsh 1939). 3 Tan¬m 2.10 L bir simetrik operatör ve s¬ras¬yla L I ve (L key… bir kompleks say¬olsun. R ve R ile I) operatörlerinin de¼ ger kümeleri gösterilsin. R ve R kümeleri H Hilbert uzay¬n¬n alt kümesidir. Bunlar¬n ortogonal tümleyenleri s¬ras¬ ile (H R ) ve (H R ) ile gösterilsin. N = H R N = H R uzaylar¬na L operatörünün eksiklik uzaylar¬denir (Naimark 1968). Lemma 2.11 N ve N eksiklik uzaylar¬s¬ras¬ile L operatörünün ve özde¼ ger- lerine karş¬l¬k gelen özvektörlerinden oluşur (Naimark 1968). Tan¬m 2.12 m = dim Ni ; n = dim N i say¬lar¬na L opeatörünün eksiklik (indis) say¬lar¬ denir. L operatörü simetrik ise m = n gerçeklenir (Naimark 1968). Tan¬m 2.13 I·kinci mertebeden bir diferensiyel operatör için (1; 1) eksiklik say¬s¬, limit noktas¬durumu; (2; 2) eksiklik say¬s¬durumu ise limit çemberi durumu olarak bilinir (Naimark 1968). Teorem 2.14 Üst yar¬düzlemden olan her kompleks say¬s¬için dim N = dim N dim N = dim Ni sa¼ glan¬r (Naimark 1968). 4 i 3. SI·METRI·K DI·FERENSI·YEL OPERATÖRLER I·ÇI·N WEYL TEORI·SI· Bu bölümde ikinci mertebeden reel katsay¬l¬ simetrik bir diferensiyel operatör için limit çemberi ve limit noktas¬ durumlar¬ incelenecektir. Bu bölüm Coddington ve Levinson’un kitab¬(1955) kaynak al¬narak haz¬rlanm¬şt¬r. Şimdi ` (y) = p (x) y 0 0 + q (x) y; x 2 [0; 1) (3:1) diferensiyel ifadesi ele al¬ns¬n. Burada, p; q; [0; 1) aral¬g¼¬nda reel de¼ gerli, Lebesque ölçülebilir fonksiyonlar ve p 1 ; q 2 L1loc [0; 1) dur. Bu bölümde L ; Ly = p (x) y 0 0 + q (x) y şeklinde tan¬ml¬self-adjoint diferensiyel operatörünü göstersin. Burada x0 key… ol0 mak üzere herhangi bir [0; x0 ] aral¬g¼¬üzerinde p; p ; q fonksiyonlar¬reel, sürekli ve p(x) > 0 kabul edilecektir. f ve g , L nin tan¬m kümesinden seçilen iki fonksiyon ve [x1 ; x2 ] [0; 1) key… aral¬g¼¬ için incelemelerde büyük önemi olan Green formülü aşa¼ g¬daki şekilde ifade edilir: Zx2 gLf f Lg dx = [f g] (x2 ) [f g](x1 ) : x1 Burada 0 [f g](x) = p(x) f (x)g (x) 0 f (x)g(x) şeklindedir. Ayr¬ca 2 C için f ve g ayn¬Ly = y denkleminin çözümleri ise [f g] (x) in sabit olup x den ba¼ g¬ms¬z olaca¼ g¬aç¬kt¬r. Tan¬m 3.1 E¼ ger bir kompleks say¬s¬için Ly = y diferensiyel denkleminin her çözümü L2 (a; b) ( 1 5 a b 1) uzay¬ndansa, L operatörüne limit çemberi durumundad¬r denir. Aksi takdirde L ye limit noktas¬ durumundad¬r denir (Coddington ve Levinson 1955). Regüler diferensiyel operatörlerin limit çemberi durumunda olduklar¬aç¬k oldu¼ gundan bu tezde singiler diferensiyel operatörler incelenecektir. Weyl’in analizinin anlaml¬olmas¬için spektral parametresinin key… seçilmesi önem arz eder. Aşa¼ g¬daki teorem bu durumu aç¬klar. Teorem 3.2 E¼ ger bir 0 kompleks say¬s¬ için Ly = 2 L (0; 1) s¬n¬f¬ndan ise key… 0y denkleminin her çözümü kompleks say¬s¬ için de Ly = y denkleminin her çözümü L2 (0; 1) s¬n¬f¬ndand¬r (Coddington ve Levinson 1955). I·spat Ly = ' ve 0y denkleminin L2 (0; 1) s¬n¬f¬ndan olan iki lineer ba¼ g¬ms¬z çözümü olarak verilsin. ise Ly = y denkleminin key… bir çözümü olsun. Ly = y denklemi Ly 0y =( şeklinde yaz¬labilir. Bu durumda ' ve , Ly 0) y (3:2) 0y = 0 homogen denkleminin iki lineer ba¼ g¬ms¬z çözümü olur. O halde homogen olmayan denklemin özel çözümünü bulmak için paramatrelerin de¼ gişimi yöntemi uygulan¬rsa (3:2) denkleminin bir özel çözümü y (x) = Zx ( 0) ( ) (' (x) ( ) '( ) (x)) d c olarak bulunur. (x), (3:2) denkleminin genel çözümü oldu¼ gundan (x) = c1 ' (x) + c2 (x) + ( 0) Zx (' (x) ( ) c yaz¬l¬r. Burada c; c1 ; c2 sabitlerdir. 0 k kc = @ Zx c notasyonu kullan¬ls¬n. 6 1 12 j j2 dxA '( ) (x)) ( ) d (3:3) 8x c için k'kc Zx (' (x) M; k kc ( ) M oldu¼ gu ve Schwarz eşitsizli¼ gi kullan¬l¬rsa '( ) M (j' (x)j + j (x)j) k kc (x)) ( ) d (3:4) c bulunur. (3:4) eşitsizli¼ gi (3:3) ifadesinde dikkate al¬n¬r ve Minkowski eşitsizli¼ gi kullan¬l¬rsa k kc (jc1 j + jc2 j) M + 2 j 0j M 2 k kc (3:5) elde edilir. E¼ ger c; j ifadesinden 0j M 2 < 1 4 eşitsizli¼ gi sa¼ glanacak şekilde yeterince büyük seçilirse (3:5) k kc 2 (jc1 j + jc2 j) M elde edilir. Eşitsizli¼ gin sa¼ g taraf¬x den ba¼ g¬ms¬z oldu¼ gundan 0 x 1 21 Z lim @ j j2 dxA 2 (jc1 j + jc2 j) M x!1 c gerçeklenir. Buradan 2 L2 (0; 1) bulunur. Böylece teoremin ispat¬tamamlan¬r. Limit noktas¬durumunda Ly = y denkleminin en çok bir lineer ba¼ g¬ms¬z çözümü L2 (0; 1) s¬n¬f¬ndand¬r. Gösterilecektir ki bu durumda = herhangi bir ' ve 6= 0 olacak biçimdeki için Ly = y denkleminin sadece bir çözümü L2 (0; 1) s¬nf¬ndand¬r. ; Ly = y denkleminin 0 olmak üzere < ' (0; ) = sin (0; ) = cos (3.6) 0 p(0)' (0; ) = 0 cos p(0) (0; ) = sin koşullar¬n¬sa¼ glayan iki çözümü olsun. Aç¬kt¬r ki ' ve 0 '; ' ; ; 0 ; n¬n tam fonksiyonlar¬ve x ve lineer ba¼ g¬ms¬z çözümlerdir. de¼ gişkenlerine göre sürekli fonksiyon- lard¬r. Ek olarak (3.6) dan ' olup [' 0 (0) = p (0) ' (0) (0) 0 ' (0) ](x) , x den ba¼ g¬ms¬z oldu¼ gundan her x için [' 7 (0) = 1 ](x) = 1 gerçeklenir. Bu çözümler reel lar için reeldir ve 0 noktas¬nda aşa¼ g¬daki s¬n¬r koşulu sa¼ glar. 0 cos ' (0; ) + sin p(0)' (0; ) = 0 sin 0 (0; ) cos p(0) (0; ) = 0 Ly = y denkleminin lineer ba¼ g¬ms¬z iki çözümü ' ve oldu¼ gundan genel çözüm ya ba¼ gl¬olan her m için (3.7) ='+m şeklinde düşünülebilir. Şimdi 0 < b < 1 olacak şekildeki b noktas¬nda aşa¼ g¬daki reel s¬n¬r koşul gözönüne al¬ns¬n. 0 cos x(b) + sin p(b)x (b) = 0 (0 (3.8) < ) çözümünün (3:8) ifadesini sa¼ glamas¬için: 0 m= cot ' (b; ) + p(b)' (b; ) 0 cot (b; ) + p(b) (b; ) formunda olmal¬d¬r. Bu durumda m = m ( ; b; ) şeklinde ; b; 0 0 fonksiyonu olur. '; ' ; ; fonksiyonudur ve reel E¼ ger z = cot C := ; (3.9) de¼ gişkenlerinin bir n¬n tam fonksiyonlar¬oldu¼ gundan m ; n¬n meromorf lar için reeldir. 0 al¬n¬r ve ; b de¼ gişkenleri sabitlenirse, A := ' (b; ) ; B := p(b)' (b; ); 0 (b; ) ; D := p(b) (b; ) fonksiyonlar¬sabitlenir ve (3.9) eşitli¼ gi m= şeklinde yaz¬labilir. ; 0 ile Az + B Cz + D (3.10) aras¬nda de¼ giştikçe z; reel eksen üzerinde de¼ gerler al¬r. (3:10) daki kesirli lineer dönüşüm z düzlemindeki reel ekseni m düzlemindeki Cb çemberine dönüştürür. Böylece n¬n (3:8) denklemini sa¼ glamas¬için gerek ve yeter koşul m nin Cb çemberi üzerinde olmas¬d¬r. (3.10) denkleminden z= B + Dm A + Cm elde edilir. Reel eksenin görüntüsünün denklemi için =z = 0 oldu¼ gundan 8 z z 2i =0 eşitli¼ gi yard¬m¬yla A + Cm (B + Dm) + (A + Cm) B + Dm 2 2 2 jAj + jCj jmj + 2<(ACm) ! 1 =0 2i sa¼ glan¬p A + Cm (B + Dm) (A + Cm) B + Dm = 0 (3.11) elde edilir. Bu Cb çemberi için bir denklemdir. Kompleks düzlemde yar¬çap¬ r, merkezi c olan bir çember denklemi jz cj = r şeklindedir. Bu durumda cj2 = r2 ) (z jz ) z:z zc c) = r2 c)(z cz + cc r2 = 0 (3.12) olup ayr¬ca (3:11) eşitli¼ gi aç¬l¬rsa jmj2 + m AD CD BC CB +m CD CD AD AB + CD CD AB =0 CD elde edilir. (3:12) ve (3:13) karş¬laşt¬r¬ld¬g¼¬nda Cb çemberinin merkezi, AD CD BC CD jAD CD BCj CD mb = ve yar¬çap¬, rb = şeklinde bulunur. (3.11) denklemi aç¬l¬rsa 0 = (A + mC) B + mD (B + mD) A + mC 0 0 = p(b) (A + mC) ' (b) + m (b) 0 0 = p(b) (' (b) + m (b)) (b) 0 = p(b) (b) (b) = p(b) = [ 0 (b) (b) 0 p(b) ' (b) + m (b) 0 p(b) (b) (b) 0 (B + mD) '(b) + m (b) (b) (b) ](b) 9 (b) (3.13) bulunur. Böylece Cb çemberinin denklemi [ (3.14) ](b) = 0 şeklinde elde edilir. Ayr¬ca [' ](b) = AD BC [ CD ](b) = CD [' ](b) = AD BC = 1 eşitlikleri gerçeklendi¼ ginden Cb çemberinin merkezi ve yar¬çap¬ [' ](b) [ ](b) mb = ; rb = j[ 1 ](b)j (3.15) şeklinde yeniden ifade edilebilir. (3:14) ifadesinde mm teriminin katsay¬s¬[ ](b) oldu¼ gundan m düzleminde Cb nin içi [ [ ](b) <0 ](b) (3.16) ile verilir. Green formülünde f = g = Zb ve x1 = 0 ; x2 = b al¬n¬rsa L L ](0) = p (0) (0) dx = [ ](b) [ ](0) 0 bulunur. [ 0 (0) 0 (0) (0) = 0 ve L dikkate al¬n¬rsa [ ](b) = Zb 2 j j dx ) [ 0 ](b) = 2i= Zb 0 elde edilir. 10 j j2 dx = oldu¼ gu Benzer şekilde yine Green formülünde f = g = [ Zb ](b) = 2i= ve x1 = 0 ; x2 = b al¬n¬rsa j j2 dx + [ ] (0) 0 bulunur. Di¼ ger taraftan [ 2i=m olup bunlar (3.16) ifadesinde yerine ] (0) = yaz¬l¬rsa Zb j j2 dx < 0 =m = (= 6= 0) (3.17) elde edilir. (3.17) ifadesi Cb çemberinin içini tan¬mlar. Yani m noktalar¬n¬n Cb nin içinde olmas¬ için gerek ve yeter koşuldur. Ek olarak m noktalar¬n¬n Cb nin üzerinde olmas¬için gerek ve yeter koşul Zb j j2 dx = 0 =m = (= 6= 0) (3.18) olmas¬d¬r. (3.15) de ifade edilen rb yar¬çap¬, rb = 1 ](b)j j[ ve [ ](b) = 2i= Zb j j2 dx 0 oldu¼ gundan = > 0 için 1 rb = 2= Zb j j2 dx (3.19) 0 ile verilir. Şimdi 0 < a < b < 1 olsun. Bu durumda e¼ ger m noktas¬Cb çemberinin içinde veya üzerinde ise Za 0 2 j j dx < Zb j j2 dx 0 11 =m = oldu¼ gundan m noktas¬Ca çemberinin içinde olur. O halde a < b için Ca çemberi Cb çemberini kapsayacakt¬r. Böylece verilen bir (= > 0) için b ! 1 durumunda Cb çemberleri ya bir C1 çemberine ya da bir m1 noktas¬na yak¬nsar. E¼ ger Cb bir çembere yak¬nsarsa onun yar¬çap¬r1 = lim rb pozitiftir ve (3:19) ifadesinden 2 L2 (0; 1) bulunur. E¼ ger m e 1 , C1 limit çemberi üzerinde herhangi bir nokta ise b > 0 için m e 1 , Cb çemberinin içindedir. Bu nedenle Zb 0 j' + m e 1 j2 dx < (' + m e 1 ) 2 L2 (0; 1) olup b ! 1 için =m e1 = bulunur. Ayn¬ ispat m e 1 n¬n m1 a k¬s¬tlanmas¬durumunda da geçerlidir. Bu nedenle = 6= 0 için Ly = y denkleminin L2 (0; 1) s¬n¬f¬ndan olan daima bir çözümü vard¬r. Cb ! C1 olmas¬ durumunda = Çünkü 6= 0 için tüm çözümler L2 (0; 1) s¬n¬f¬ndand¬r. ve (' + m e 1 ) nin L2 (0; 1) s¬n¬f¬ndan oldu¼ gu gösterildi. Böylece C1 çem- berinin varl¬g¼¬ ile limit çemberi durumu m1 noktas¬n¬n varl¬g¼¬ ile de limit noktas¬ durumu tan¬mlan¬r. Cb ! m1 olmas¬ durumu lim rb = 0 anlam¬na gelir. Böylece (3.19) ifadesinden 2 = L2 (0; 1) elde edilir. Bu durumda = 2 sadece bir tanesi L (0; 1) s¬n¬f¬ndand¬r. 6= 0 için lineer ba¼ g¬ms¬z çözümlerden Limit çemberi durumunda m nin Cb çemberi üzerinde olmas¬için gerek ve yeter koşul (3.18) in sa¼ glanmas¬d¬r. = ' (x; ) + m (x; ) oldu¼ gundan buradan elde edilir ki m nin C1 çemberi üzerinde olmas¬için gerek ve yeter koşul = Z1 j j2 dx = =m 0 olmas¬d¬r. [ ] (0) = 2i=m oldu¼ gundan m nin C1 limit çemberi üzerinde olmas¬ için gerek ve yeter koşul [ ] (1) = 0 olmas¬d¬r. Limit noktas¬durumunda e¼ ger m , Cb üzerinde herhangi bir nokta ise m ! m1 limit noktas¬olur ve bu (3.8) s¬n¬r koşulundaki 12 n¬n seçiminden ba¼ g¬ms¬z olarak sa¼ glan¬r. O halde = 0 için de sa¼ glan¬r ve bu durumda limit noktas¬ ' (b; ) b!1 (b; ) m1 ( ) = (3.20) lim ile verilir. Böylece aşa¼ g¬daki teorem verilebilir. Teorem 3.3 E¼ ger = 6= 0 ve ' ile lineer ba¼ g¬ms¬z çözümleri ise ; Ly = y denkleminin (3.6) koşulunu sa¼ glayan = ' + m çözümünün (3.8) reel s¬n¬r koşulunu sa¼ gla- mas¬ için gerek ve yeter koşul m nin kompleks düzlemde bir Cb çemberi üzerinde olmas¬d¬r. Burada Cb çemberi [ ] (b) = 0 ile verilir. b ! 1 için Cb ; ya bir C1 limit çemberine ya da bir m1 limit nok- tas¬na yak¬nsar. Birinci durumda Ly = y denkleminin tüm çözümleri L2 (0; 1) s¬n¬f¬ndand¬r. I·kinci durumda ise lineer ba¼ g¬ms¬z çözümlerden sadece biri L2 (0; 1) s¬n¬f¬ndand¬r. Ayr¬ca limit çemberi durumunda bir noktan¬n C1 ( ) limit çemberi üzerinde olmas¬ için gerek ve yeter şart [ ] (1) = 0 olmas¬d¬r (Coddington ve Levinson 1955). 3.1 Limit Çemberi ve Limit Noktas¬Durumlar¬ I·çin Kriterler Bu k¬s¬mda L operatörünün limit çemberi veya limit noktas¬durumunda oldu¼ gunu karakterize eden baz¬koşullar verilecektir. Teorem 3.1.1 M , pozitif diferensiyellenebilir bir fonksiyon ve k1 ; k2 pozitif sabitler olsun. Yeterince büyük x ler için q (x) k1 M (x) ; Z1 (pM ) 1 2 dx = 1 x 1 0 p 2 (x) M (x) M 3 2 (x) k2 (3.21) koşullar¬sa¼ glans¬n. Bu durumda L operatörü singüler noktada (sonsuzlukta) limit noktas¬durumundad¬r (Coddington ve Levinson 1955). 13 I·spat I·spat için Ly = 0 denkleminin L2 (0; 1) uzay¬ndan olan iki lineer ba¼ g¬ms¬z çözüme sahip olamayaca¼ g¬ gösterilecektir. Burada Teorem 3.2 gere¼ gince =0 2 al¬nmas¬n¬n bir sak¬ncas¬yoktur. Kabul edelimki ; Ly = 0 denkleminin L (0; 1) s¬n¬f¬ndan reel bir çözümü olsun. (p 0 )0 = q oldu¼ gundan c > 0 için (3.21) koşulundan Zx (p 0 )0 dx = M c Zx q 2 dx M k1 c Zx 2 dx c sa¼ glan¬r. Sol taraftaki integrale k¬smi integrasyon uygulan¬rsa k3 = k1 Zx 2 p (c) dx 0 (c) (c) M (c) c olmak üzere p 0 + M Zx Zx (p 0 )2 dx M c 0 p M0 M2 (3:22) dx < k3 c elde edilir. H (x) = Zx (p 0 )2 dx M c olarak tan¬mlans¬n. (3.21) dikkate al¬n¬r ve Schwarz eşitsizli¼ gi kullan¬l¬rsa Zx 2 p 0 M0 M2 k22 H dx (x) c Zx 2 dx c bulunur. Buradan her iki taraftan karekök al¬n¬rsa 0 k4 = k2 @ olmak üzere Zx p 0 M0 M2 Zx 2 c dx 1 21 dxA 1 k4 H 2 c bulunur. Bu son eşitsizlik (3.22) de göz önüne al¬n¬rsa p 0 +H M 1 (3:23) k4 H 2 < k3 bulunur. Eger x ! 1 için H (x) ! 1 sa¼ glan¬rsa (3.23) eşitsizli¼ ginden 14 p 0 M > H gerçeklenir. H fonksiyonu pozitif oldu¼ gundan fonksiyonlar oldu¼ gundan 0 p 0 M 2 L2 (0; 1) olmas¬ ie çelişir. Bu > 0 d¬r. Bu ise durumda H fonksiyonu sonlu olmal¬d¬r. Yani ; Z1 > 0 sa¼ glan¬r. p ve M pozitif (p 0 )2 dx < 1 M (3:24) c olmal¬d¬r.Şimdi kabul edelim ki ' ve ; Ly = 0 denkleminin L2 (0; 1) s¬n¬fndan olan iki lineer ba¼ g¬ms¬z çözümü olsunlar. Yani L operatörü limit çemberi durumunda olsun. Bu çözümlerin reel ve 0 = p (' ' '0 ) = 1 (3:25) oldu¼ gu kabul edilebilir. 1 (3:25) ifadesinin her iki yan¬(pM ) 2 ye bölünürse 1 ' 1 0 p2 M p 2 '0 1 2 1 2 M 1 = 1 (3:26) (pM ) 2 bulunur. (3:24) ve Schwarz eşitsizli¼ gi dikkate al¬n¬rsa Z1 1 ' c 0 p2 1 M2 1 p 2 '0 1 M2 dx < 1 (3:27) elde edilir. (3:26) ifadesinin sa¼ g taraf¬ndaki ifade (3:21) den dolay¬(0:1) aral¬g¼¬nda integrallenebilir de¼ gildir. Bu ise (3:27) ifadesiyle çelişir. O halde L operatörü limit noktas¬durumundad¬r. 0 x < 1 için M (x) = 1 durumunda Teorem 3.1.1 den aşa¼ g¬daki sonuç elde edilir. Sonuç 3.1.2 E¼ ger k pozitif bir sabit olmak üzere q (x) Z1 k ve p 1 2 dx = 1 ise bu durumda L operatörü sonsuzlukta limit noktas¬durumundad¬r (Coddington ve Levinson 1955). 15 Bir çok ikinci basamaktan diferensiyel denklemde p (t) = 1 dir. Bu durumda Teorem 3.1.1 den aşa¼ g¬daki sonuç elde edilir. Sonuç 3.1.3 E¼ ger 0 x < 1 için p (x) = 1 ve k pozitif sabiti için q (x) kx2 ise bu durumda L operatörü sonsuzlukta limit noktas¬durumundad¬r (Coddington ve Levinson 1955). Teorem 3.1.4 L0 operatörü L2 [0; 1) da (3.1) diferensiyel ifadesi taraf¬ndan üretilen minimal simetrik operatör olsun. E¼ ger a0 6= 0 ve a1 sabitleri için 1 ; q a0 1 p a1 fonksiyonlar¬[0; 1) da integrallenebilir ise L operatörünün eksiklik say¬lar¬(1; 1) dir (Naimark 1968). Teorem 3.1.5 L0 operatörü L2 [0; 1) da (3.1) diferensiyel ifadesi taraf¬ndan üretilen minimal simetrik operatör olsun. E¼ ger q (x) 2 L2 (0; 1) ise L0 operatörünün eksiklik say¬lar¬(1; 1) dir (Naimark 1968). Teorem 3.1.6 L0 operatörü L2 [0; 1) da (3.1) diferensiyel ifadesi taraf¬ndan 0 üretilen minimal simetrik operatör olsun. Kabul edelim ki p; q; q 2 ACloc [0; 1), 0 pp 1 0 00 2 L1 [0; 1), ve q ile q yeterince büyük x0 için ayn¬işaretli olsun. x ! 1 için 0 q ! +1 ve q = O(jqj ); 0 < < 3 2 gerçeklensin. Bu durumda L0 operatörü Z1 jq(x)j 1 2 dx integralinin yak¬nsamas¬ durumunda (2; 2), ¬raksamas¬ durumunda (1; 1) eksiklik say¬lar¬na sahiptir (Naimark 1968). Teorem 3.1.7 L0 operatörü, pozitif yar¬eksen üzerinde `y = y 00 q(x)y diferensiyel ifadesi ile üretilen operatör olarak düşünülsün. Burada q(x) sürekli 16 türevlenebilir bir fonksiyondur. q (x) = inf 8 < d>0 : d 1 :d 1 9 Zx+d = q(t)dt ; x fonksiyonu ele al¬ns¬n. E¼ ger aşa¼ g¬daki koşullar 1) lim q (x) = 1; x!1 0 2) q (x) 0; x R; 0 3) q (x)q (x) = O(q (x))2 ; x R için 0 < < 3=2; Z 1 2 ((q(x) q (x))=q (x)dx, yeterince büyük R için [R; 1) üzerinde integ4) q (x) t rallenebilir, gerçekleniyorsa bu durumda L0 operatörü, Z 1 q 1 (x)dt integralinin yak¬nsamas¬durumunda limit çemberi, ¬raksamas¬durumunda limit noktas¬durumundad¬r ( Sultanaev 1984). 17 SI·METRI·K OLMAYAN DI·FERENSI·YEL OPERATÖRLER I·ÇI·N WEYL TEORI·SI· 4. Bu bölümde ikinci mertebeden kompleks katsaly¬l¬simetrik olmayan bir diferensiyel operatör için limit noktas¬ve limit çemberi durumlar¬anlat¬lacak ve çeşitli kriterler verilecektir. Bu bölüm Sims’in makalesi (1957) kaynak al¬narak haz¬rlanm¬şt¬r. r sonlu b key… singüler nokta olmak üzere ikinci mertebeden kompleks katsay¬l¬diferensiyel eşitlik [r; b) üzerinde 00 y + [q (x) (4.1) ]y = 0 şeklinde ele al¬nacakt¬r. (4.1) denkleminin (r; ) = sin (r; ) = cos (4.2) 0 (r; ) = başlang¬ç koşullar¬na sahip nin genel çözümü ye = noktas¬nda 0 cos (r; ) = sin (x; ) ve (x; ) çözümleri mevcuttur. (4.1) denklemi0 + l formunda düşünülebilir. r < b < b olacak şekilde b 0 bir kompleks say¬olmak üzere cos y b 0 + sin y 0 b 0 =0 s¬n¬r koşulu verilsin. (4.1) denkleminin ye = +l formundaki çözümlerinin yukar¬daki s¬n¬r koşulu sa¼ glamas¬için l; z = cot al¬nmak üzere 0 b; 0 l b ; ;z = şeklinde elde edilir. 0 6= 0 ve b; 0 z+ (b0 ; ) z + 0 0 b; 0 0 0 b; (b0 ; ) (4.3) 6= 0 kabul edilsin. Sabitlenmiş ve b seçimi için (4.3) ifadesi z düzleminden l düzlemine bir kesirli lineer dönüşüm tan¬mlar. (4.3) denkleminde z çekilirse 0 0 z b ; ;` = bulunur. = u + iv , q = q1 + iq2 ve 0 0 0 b; l+ b; 0 (b ; ) l + (b0 ; ) = 1 +i 2 olsun. f ve g, (4.1) diferensiyel denkleminin lineer ba¼ g¬ms¬z çözümleri olmak üzere 18 (4.4) 0 0 f (x) g (x) şeklinde tan¬mlans¬n. i h 0 00 y = 0 denkleminin çözümü ise f (x); (4.1) denkleminin g(x) de y + q(x) Wx [f; g] = f (x) g (x) Zb 0 0 f (x)g(x)dx = 2i r Zb 0 q2 f (x)g(x)dx + Wr [f; g] (4.5) Wb0 [f; g] r h 00 y + q(x) elde edilir. Ek olarak f (x); (4.1) denkleminin g(x) de denkleminin çözümü ise (4.5) ifadesi Zb 0 0 i y = 0 0 f (x)g(x)dx = Wr [f; g] (4.6) Wb0 [f; g] r şekline dönüşecektir. = u + iv olmak üzere (4.5) eşitli¼ ginde 0 = =u iv ve g = f al¬n¬rsa 0 Zb 2 (v q2 ) jf (x)j2 dx = iWr f; f (4.7) iWb0 f; f r gerçeklenir. (4.3) ifadesinin kritik noktas¬n¬n imajiner k¬sm¬ = " 0 0 b; (b0 ; ) # 0 1 = 2i 0 b; + (b0 ; ) şeklinde elde edilir. (4.7) ifadesinde Wr ; 0 0 b; 0 (b ; ) = ! 1 Wb0 ; i 2 j j2 = i sinh 2 2 (4.8) oldu¼ gu yerine yaz¬ld¬g¼¬nda 0 Wb0 ; Zb = 2i (v q2 ) jf (x)j2 dx i sinh 2 (4.9) 2 r bulunur. (4.9) ifadesi (4.8) eşitli¼ ginde dikkate al¬nd¬g¼¬nda = elde edilir. q2 " 0, 0 0 b; (b0 ; ) 2 # 2 0 Zb 1 6 = 4 (v j j2 r q2 ) j j2 dx 1 sinh 2 2 3 7 25 (4.10) 0 ve v > 0 durumunda kritik nokta üst-yar¬z düzlemindedir ve alt-yar¬z düzlemi, l düzleminde bir Cb0 ( ) çemberine dönüşür. Yani, bir l nok- 19 0 tas¬n¬n Cb0 ( ) çemberinin içinde olmas¬ için gerek ve yeter şart = z b ; ; l 0 olmas¬d¬r ve üzerinde olmas¬için gerek ve yeter şart ise = z b ; ; l <0 = 0 olmas¬d¬r. (4.4) eşitli¼ gi son ifadede kullan¬ld¬g¼¬nda l; Cb0 ( ) çemberinin içinde veya üzerindeyse h i 0 ) = z b ; ;l # " 0 0 l+ ) = l+ " 0 0 l+ ) i + l+ 2 2 0 jlj ) i4 ) i jlj2 Wb0 ) iWb0 ; l+ ; sa¼ glanmal¬d¬r. 0 0 0 l+ l+ 0 0 # 0 0 +l 0 0 +l j j2 jlj2 + j j2 + 2< + lWb0 l+ ; + lWb0 0 0 + 3 0 5 l + Wb0 ; 0 ; 0 (4.11) 0 l + , (4.1) diferensiyel denkleminin çözümü olup (4.7) ifadesinden 0 Zb 2 (v q2 ) j l + j2 dx = iWr l+ ; l+ l+ ; iWb0 l+ r eşitli¼ gi elde edilir. Bu eşitlikte (4.11) ifadesi göz önüne al¬nd¬g¼¬nda 0 Zb 2 (v q2 ) j l + j2 dx iWr l+ ; (4.12) l+ r gerçeklenir. Wr ; = i sinh 2 Wr ; = cosh 2 Wr 2 Wb0 2 ; ; = = cosh 2 2 i sinh 2 2 ginden olup l; Cb0 ( ) çemberinin içinde veya üzerindeyse (4.12) eşitsizli¼ 0 Zb 2 (v q2 ) j l + j2 dx 1 + jlj2 sinh 2 r bulunur. 20 2 2=l cosh 2 2 (4.13) h 0 Cb0 ( ) çemberinin merkezi pb0 ( ) = l b ; ; pb 0 ( ) = 0 0 b; Wb0 ; Wb0 ; i 0 = b; veya (4.14) 0 ile verilir. Ayr¬ca z = 0 ¬n l düzlemindeki görüntüsü 0 b; 0 olup bu nokta Cb0 ( ) (b0 ; ) çemberinin üzerinde oldu¼ gundan çemberin yar¬çap¬ rb0 ( ) = Wb0 ; Wb0 ; 0 + 0 0 b; (b0 ; ) 0 = = şeklinde elde edilir. Wb0 [ ; ] Wb0 ; 1 Wb0 ; 0 (4.15) ; (4.1) denkleminin bir çözümü olup (4.7) ifadesinden 0 Wb0 ; = 2i Zb q2 ) j j2 dx + i sinh 2 (v 2 r eşitli¼ gi gerçeklenir. Bu eşitlik (4.15) de dikkate al¬n¬rsa Cb0 ( ) çemberinin yar¬çap¬ 2 6 rb0 ( ) = 4 sinh 2 2 +2 Zb 3 0 (v r 7 q2 ) j j2 dx5 1 (4.16) şeklinde yeniden ifade edilebilir. (4.4) dönüşümü Cb0 ( ) çemberini z düzlemindeki reel eksen üzerine götürür. Bu nedenle (4.4) dönüşümünün kritik noktas¬ 0 b; 0 = b; da Cb0 ( ) çemberinin üzerinde olmal¬d¬r. 0 Şimdi Cb0 ( ) çemberinin üzerinde b; ve (b0 ; ) 21 0 0 0 b; (b0 ; ) noktalar¬elde edildi. Bu durumda 0 ) 0 ) 0 0 0 b; (b0 ; ) b; (b0 ; ) + Wb0 [ ; ] (b0 ; ) (b0 ; ) ) [rb0 ( )] 1 0 2 2rb0 ( ) 2rb0 ( ) 0 0 b; b; 0 ) sinh 2 2 +2 Zb (v q2 ) j j2 dx 2 0 0 0 b; (4.17) b; r 0 gerçeklenir. Şu ana kadar b; 6= 0 ve Şimdi bu k¬s¬tlama kald¬r¬lacak fakat q2 0 0 6= 0 k¬s¬tlamas¬alt¬nda ilerlendi. b; 0, 0 ve v > 0 durumlar¬hala geçerli 2 olacakt¬r. 0 0 0 E¼ ger r < b < b olacak şekildeki key… b için varsa bu durumda 0 b; 0 = 0 olacak biçimde bir ¬n bir N ( 0 ) komşulu¼ gu mevcuttur öyle ki 0 2 N ( 0 ) oldu¼ gu sürece b; sa¼ g taraf¬s¬f¬ra gider. Bu durum q; 6= 0 gerçeklenir. ve ! 0 6= 0 0 ve için (4.17) eşitsizli¼ ginin n¬n imajiner k¬sm¬üzerindeki k¬s¬tlamalar- dan eşitsizli¼ gin sol taraf¬n¬n kesinlikle pozitif olmas¬ ile çelişir. Yani 0 b; s¬f¬ra eşit olamaz. Benzer şekilde r 0 0 6= 0 oldu¼ gu da gösterilebilir. b; 0 0 b < b olacak şekildeki her b için bir Cb0 ( ) çemberi mevcut olup (4.13) eşitsizli¼ gi gerçeklendi¼ ginden Cb00 ( ) Cb0 ( ) olmas¬için gerek ve yeter şart b 00 0 b olmas¬d¬r. 0 Yani b ! b için Cb0 ( ) çemberileri ya bir limit çemberine ya da bir limit noktas¬na yak¬nsar. Her iki durumda da tüm Cb0 ( ) çemberlerinin içinde bir nokta vard¬r. Bu 0 nokta M ( ) olsun. b ! b için (4.13) eşitsizli¼ gi l ile M ( ) yerde¼ giştirdi¼ ginde de sa¼ glanacakt¬r yani Zb j M + j2 (v q2 ) dx < 1 r gerçeklenir. Böylece aşa¼ g¬daki teorem verilebilir. Teorem 4.1 r sonlu b key… singüler nokta olmak üzere [r; b] kapal¬ bir aral¬k ve r x < b için q (x) sürekli olsun. q2 0, 22 2 0 ve v > 0 olsun. Ayr¬ca M ( ) tüm Cb0 ( ) çemberlerinin içinde herhangi bir nokta olsun. Bu durumda (x; ) = (x; ) M ( ) + (x; ) (4.1) denkleminin bir çözümüdür ve Zb j (x; )j2 (v q2 ) dx < 1 r sa¼ glan¬r (Sims 1957). l düzleminin geometrisi aç¬s¬ndan görüldü ki b noktas¬nda ya limit çemberi durumu ya da limit noktas¬durumu vard¬r. E¼ ger b noktas¬nda limit çemberi durumu gerçek0 lenirse b ! b için rb0 ( ) pozitif limite sahip olmal¬d¬r. Böylece (4.16) ifadesinden Zb j (x; )j2 (v q2 ) dx < 1 r elde edilir. Sonuç olarak limit çemberi durumunda (4.1) denkleminin (v q2 ) a¼ g¬rl¬k fonksiyonuna göre [r; b] aral¬g¼¬nda kare integrallenebilen iki lineer ba¼ g¬ms¬z çözümü mevcuttur ( ve çözümleri). E¼ ger b noktas¬nda limit noktas¬durumu gerçekleni- yorsa tüm Cb0 ( ) çemberlerinin içinde sadece bir M ( ) noktas¬ vard¬r. Böylece (4.16) eşitli¼ ginden çözümü (v q2 ) a¼ g¬rl¬k fonksiyonuna göre [r; b] aral¬g¼¬nda kare integrallenemez. Yani bu durumda (4.1) denkleminin sadece bir çözümü (v q2 ) a¼ g¬rl¬k fonksiyonuna göre [r; b] aral¬g¼¬nda kare integrallenebilirdir ( çözümü). Zb Zb j j2 dx < 1 fakat r j j2 (v q2 ) dx = 1 r oldu¼ gunda limit noktas¬ durumunun özel bir alt durumu ortaya ç¬kar. O halde b singüler noktas¬nda 3 farkl¬durum vard¬r. Durum I. Limit noktas¬durumu, sadece bir (x; ) çözümü (v q2 ) a¼ g¬rl¬k fonksiy- onuna göre [r; b] aral¬g¼¬nda kare integrallenebilirdir. Durum II. Limit noktas¬durumu, [r; b] aral¬g¼¬nda kare integrallenebilen iki lineer ba¼ g¬ms¬z çözüm mevcuttur ancak sadece (x; ) çözümü (v yonuna göre [r; b] aral¬g¼¬nda kare integrallenebilirdir. 23 q2 ) a¼ g¬rl¬k fonksi- Durum III. Limit çemberi durumu, (v q2 ) a¼ g¬rl¬k fonksiyonuna göre [r; b] ara- l¬g¼¬nda kare integrallenebilen iki lineer ba¼ g¬ms¬z çözüm mevcuttur. Durum II nin klasik Weyl (q2 = 0) teorisinde benzeri yoktur. Bu durumun varl¬g¼¬na ilişkin aşa¼ g¬daki örnek verilebilir. Örnek 4.2 (Sims 1957) q (x) = 5 x 16 2 1 ix olmak üzere 00 y + q (x) y = 0; x 2 (0; 1) diferensiyel denklemi için x0 = 0 denklemin düzgün ayk¬r¬noktas¬olup çözüm y= 1 X an (x x0 )n+r n=0 Frobenius Serisi şeklinde aranacakt¬r. 1 X y = an xn+r n=0 y y 0 1 X = 00 n=0 1 X = (n + r) an xn+r 1 1) an xn+r (n + r) (n + r 2 n=0 ifadeleri denklemde yerine yaz¬ld¬g¼¬nda (4r + 1) (4r r 5) a0 x + 1 X [(4n + 4r + 5) (4n + 4r 1) an+1 + 16ian ] xn+r+1 = 0 n=0 elde edilir. Burada (4r + 1) (4r 5) a0 = 0; a0 6= 0 ifadesi indisel denklem ve an+1 = 16i (4n + 4r + 5) (4n + 4r 1) an ; (n = 0; 1; 2; :::) ifadesi de genel indirgeme ba¼ g¬nt¬s¬d¬r. y1 = 1 X n=0 an xn+r1 ve y2 = 1 X an xn+r2 olmak üzere denklemin genel çözümü n=0 y = c1 y1 (x) + c2 y2 (x) tipindedir. 24 r1 = 1 için 4 16i an ; n (4n + 4) (4n 2) ( 2)n in = a0 n! ( 1) 1:3:5::: (2n 3) an+1 = an olup y1 = a0 1 X n=0 bulunur. r2 = 5 için 4 ( 2)n in n! ( 1) 1:3:5::: (2n 3) xn 16i an ; n (4n + 10) (4n + 4) ( 2)n in = a0 n!5:7::: (2n + 3) an+1 = an olup y 2 = a0 1 X n=0 0 1=4 0 ( 2)n in xn+5=4 n!5:7::: (2n + 3) elde edilir. Özel olarak a0 = 1 al¬n¬rsa x ! 0 için y1 x 1=4 ve y2 x5=4 lineer ba¼ g¬ms¬z iki çözümü bulunur. Buradan aç¬kt¬r ki çözümlerin ikisi de (0; 1) aral¬g¼¬nda kare integrallenebilirdir. Ancak sadece y2 çözümü (v q2 ) a¼ g¬rl¬k fonksiyonuna göre (0; 1) aral¬g¼¬nda kare integ- rallenebilirdir. Teorem 4.3 Durumlar sadece q (x) katsay¬fonksiyonuna ba¼ gl¬d¬r. E¼ ger Zb j (x; 2 0 )j dx < 1 ve r sa¼ glan¬rsa ayn¬sonuç Zb j (x; 2 0 )j dx < 1 r n¬n tüm di¼ ger de¼ gerleri için de geçerlidir. E¼ ger 25 Zb 2 j (x; 0 )j Zb q2 ) dx < 1 ve (v0 r 2 0 )j j (x; q2 ) dx < 1 (v0 r ise ayn¬sonuç n¬n tüm di¼ ger de¼ gerleri için de geçerlidir (Sims 1957). I·spat 0y (x; Ly = 0) ve (x; 0) denkleminin L2 [r; b] s¬n¬f¬ndan olan iki lineer ba¼ g¬ms¬z çözümü olsun. (x; ) da Ly = y denkleminin key… bir çözümü olsun. Ly = y denklemi Ly 0y şeklinde yaz¬labilir. Bu durumda (x; =( 0) 0) y ve (x; 0 ), Ly 0y = 0 homogen den- kleminin iki lineer ba¼ g¬ms¬z çözümü olur. Homogen olmayan denklemin çözümünü bulmak için parametrelerin de¼ gişimi yöntemi uygulan¬rsa (x; ) = (x; 0) +( ) (x; 0 0) Zx (t; 0) (t; ) dt r (4.18) ( 0 ) (x; 0) Zx (t; 0) (t; ) dt r elde edilir. (4.18) ifadesinde gerekli düzenlemeler yap¬l¬p Schwarz eşitsizli¼ ginden j (x; )j j (x; 0 )j +j 0 j j (x; 0 )j Zx j (t; 0) (t; )j dt r +j 0 j j (x; 0 )j Zx j (t; 0) (t; )j dt r j (x; 0 )j +j 0 0 b Z j j (x; 0 )j @ j (t; r +j 0 11=2 11=2 0 b0 Z C 2 2 A B @ j (t; )j dtA 0 )j dt r 11=2 11=2 0 b0 Zb Z B C j j (x; 0 )j @ j (t; 0 )j2 dtA @ j (t; )j2 dtA 0 r r bulunur. Son eşitsizlikte her iki taraf¬n karesi al¬nd¬g¼¬nda r 26 x 0 b < b olmak üzere j (x; )j2 3 j (x; 2 0 )j 2 0j +3 j 2 0j +3 j + 2 0 )j j (x; 2 0 )j j (x; 0 Zb r Zb 2 j (t; 0 )j dt j (t; )j2 dt + (4.19) Zb Zb 2 j (t; 0 )j dt j (t; )j2 dt r 0 r 00 r 0 00 0 şeklinde elde edilir. b < b olmak üzere (4.19) ifadesinde b den b ye integral al¬n¬rsa 0 Zb b00 Zb 3 j (t; 2 j (t; )j dt 2 0 )j dt + r 2 0j +3 j 2 0j +3 j 0 Zb b00 Zb j (t; 0 )j2 dt j (t; Zb 2 j (t; )j2 dt 0 )j dt Zb Zb 2 j (t; 0 )j dt j (t; Zb 2 j (t; )j2 dt 0 )j dt b00 Zb gerçeklenir. Burada K0 = 3 j (t; r r 2 0 )j r 0 r dt ve r K b 00 = 3j denirse 2 b Z 24 j (t; 0j Zb 2 j (t; 0 )j dt b00 Zb b00 2 0 )j dt + b00 r 0 j (t; )j2 dt Zb K0 + K b Zb 00 Zb j (t; 0 )j2 dt j (t; 0 j (t; )j2 dt r 2 0 )j 3 dt5 (4.20) r 00 eşitsizli¼ gi elde edilir. b ; K b ifadesinden Zb b00 00 < 1 olacak şekilde yeterince büyük seçilirse (4.20) 2 0 j (t; )j2 dt < K0 + 1 2 Zb 0 j (t; )j2 dt r bulunur. Son eşitsizlikte sa¼ g taraftaki integral sola at¬l¬p gerekli düzenlemeler yap¬ld¬k- 27 tan sonra 0 Zb b00 j (t; )j2 dt < 2K0 + Zb 00 j (t; )j2 dt (4.21) r 0 00 elde edilir. (4.21) ifadesinin sa¼ g taraf¬ b den ba¼ g¬ms¬z oldu¼ gundan b sabitlenirse 0 b ! b için Zb j (x; )j2 dx < 1 r bulunur. Benzer bir ispat (x; ) için de geçerlidir. Teoremin ikinci k¬sm¬n¬n ispat¬için birinci k¬sm¬n sonucu (4.19) ifadesinde göz önüne 0 al¬narak eşitsizlikte b yerine b yaz¬labilir. (v0 Zb b0 Ayr¬ca (4.19) ifadesinin her iki yan¬ 0 q2 ) ile çarp¬l¬p b den b ye integral al¬n¬rsa 2 j (t; )j (v0 Zb 3 j (t; q2 ) dt 2 0 )j (v0 q2 ) dt + r + 3j + 3j 2 0j 2 0j Zb b0 Zb b0 j (t; 2 0 )j (v0 Zb q2 ) dt j (t; r j (t; 2 0 )j (v0 Zb q2 ) dt j (t; r Zb j (t; )j2 dt+ 0 )j dt 2 r 2 0 )j Zb j (t; )j2 dt r 0 gerçeklenir. b sabitlenirse eşitsizli¼ gin sa¼ g taraf¬teoremin ikinci k¬sm¬n¬n hipotezinden ve birinci k¬sm¬n¬n hükmünden sonlu bir de¼ ger olup Zb j (x; )j2 (v0 q2 ) dx < 1 r bulunur. Benzer şekilde Zb j (x; )j2 (v0 q2 ) dx < 1 oldu¼ gu da gösterilebilir. r 28 4.1 Durum I, Durum II ve Durum III I·çin Kriterler 00 `y (x) = y (x) + q (x) y (x) ; x<1 0 kompleks katsay¬l¬diferensiyel ifadesi düşünülsün. Bu k¬s¬mda L2 kompleks Hilbert uzay¬L2 (0; 1) u göstersin. D ; f 2 L2 fonksiyonlar¬n¬n kümesi olmak üzere aşa¼ g¬daki koşullar¬sa¼ glas¬n: 0 1. Her X > 0 için f ; [0; X] üzerinde mutlak sürekli, 2. `f 2 L2 : D kümesi üzerinde Lf = `f şeklinde tan¬mlanan L operatörü için bilinen baz¬ kriterler aşa¼ g¬da verilmiştir. Lemma 4.1.1 M kesinlikle pozitif diferensiyellenebilir bir fonksiyon ve x c>0 için 0 M (x) = O M 3=2 (x) olsun. E¼ ger bir k pozitif sabiti için x c oldukça q1 (x) sa¼ glan¬yorsa her f 2 D için M 1 2 kM (x) 0 f 2 L2 (c; 1) gerçeklenir (Evans 1970). I·spat ZX 00 f f dx = M ZX q jf j2 f lf + M M c c ! dx eşitli¼ ginde sol tarafta k¬smi integrasyon uygulan¬rsa ZX c f lf q jf j2 + M M ! 0 ff dx = M X c 29 ZX c 0 f M 2 0 f fM M2 0 ! dx (4.22) bulunur. (4.22) ifadesinde her iki taraf¬n reel k¬s¬mlar¬eşitlenirse ZX < f lf q1 jf j2 + M M c ! " dx = #X 0 < ff M ZX c 0 f M 2 0 < ff M M2 0 c elde edilir. ZX H (X) = 0 ! dx (4.23) 2 f dx M c 0 c için M (x) = O M 3=2 (x) olup Schwarz eşitsizli¼ ginden olsun. f 2 D ve x k1 ; k2 ; k3 pozitif sabitleri mevcuttur öyle ki ZX q1 jf j2 dx M k ZX ZX ZX < f lf dx M c 0 (4.24) k1 c c ZX jf j2 dx f lf dx M (4.25) k2 c ZX 0 < ff M dx M2 c c M M 0 3 2 0 f f M dx 1 2 1 k3 H 2 (X) (4.26) eşitsizlikleri gerçeklenir. (4.24), (4.25) ve (4.26) ifadeleri (4.23) de göz önüne al¬n¬rsa H (X) bulunur. E¼ ger M 1 2 1 2 k3 H (X) " 0 < ff M #X k1 + k2 (4.27) c 0 f 2 = L2 (c; 1) yani X ! 1 için H (X) ! +1 ise (4.27) eşitsizli¼ ginden X ! 1 için 0 < f (X) f (X) ! +1 M (X) 0 1 jf j2 eşitli¼ ginden jf j2 pozitif fonksiyonu tüm büyük 2 x ler için pozitif limite sahiptir. Bu nedenle jf j2 artan olup bu da f 2 L2 olmas¬ile 0 gerçeklenir. Ancak < f f = 30 çelişir. O halde H (X) sonlu olmal¬d¬r yani 1 2 M 0 f 2 L2 (c; 1) (4.28) olmal¬d¬r. Teorem 4.1.2 M kesinlikle pozitif diferensiyellenebilir bir fonksiyon ve x c>0 için 0 M (x) = O M 3=2 (x) olsun. Ayr¬ca bir k pozitif sabiti ve x Z1 M c için q1 (x) 1 2 kM (x) olsun. E¼ ger dx = 1 c ise L operatörü Durum I (limit noktas¬durumu) tipindedir (Evans 1970). I·spat E¼ ger L operatörü Durum I tipinde de¼ gilse = > 0 için Lf = `f denkleminin L2 s¬n¬f¬ndan olan iki lineer ba¼ g¬ms¬z ve çözümleri mevcuttur. Çözümlerin Wrons- kiyenlerinin = 0 0 (4.29) =1 1 oldu¼ gu kabul edilebilir. (4.29) ifadesinin her iki yan¬M 2 ile bölünürse M 1 2 0 M 1 2 0 =M 1 2 (4.30) bulunur. (4.30) ifadesinde (4.28) ve Schwarz eşitsizli¼ gi dikkate al¬n¬rsa Z1 M 1 2 0 M 1 2 0 dx < 1 (4.31) c elde edilir. (4:30) ifadesinin sa¼ g taraf¬ndaki ifade teoremin hipotezinden dolay¬(c:1) aral¬g¼¬nda integrallenebilir de¼ gildir. Bu ise (4:31) ifadesiyle çelişir. O halde L operatörü Durum I tipindedir. Teorem 4.1.3 M kesinlikle pozitif diferensiyellenebilir bir fonksiyon ve kabul edelim ki x c ve en az bir > 0 için aşa¼ g¬daki koşullar gerçeklensin: 31 3 0 Z1 M 1 2 1 0 Z1 dx = 1 c Bu durumda e¼ ger x 1 M (x) = O ( q2 ) 2 M 2 (1+ M (x) = O M 2 (x) c c için q1 (x) ) (4.32) 1 ( q2 ) 2 1 M 2 (1+ ) dx = 1 kM (x) ise L operatörü Durum I tipindedir (Evans 1970). I·spat (4.22) eşitli¼ ginin elde edilmesindeki yöntemde M yerine M al¬n¬p bulunan ifadenin imajiner k¬s¬mlar¬eşitlendi¼ ginde her f 2 D için ZX = f lf q2 jf j2 + M M c ! " #X 0 = ff dx = M + c ZX 0 0 = ff M dx M +1 (4.33) c gerçeklenir. F (X) = ZX ( q2 ) jf j2 dx M c 1 2 olsun. Lemma 4.1.1 den M 0 f 2 L2 (c; 1) olup (4:32) ve Schwarz eşitsizli¼ ginden k1 ; k2 sabitleri mevcuttur öyle ki ZX = f lf dx M (4.34) k1 c ZX c 0 0 = ff M dx M +1 ZX c M 1 2 ( q2 ) M 1 0 0 1 (1+ 2 ) f ( q2 ) 2 jf j M 1 2 M2 ! dx 1 k2 F 2 (X) (4.35) eşitsizlikleri sa¼ glan¬r. (4.33) ifadesinde (4.34) ve (4.35) eşitsizlikleri dikkate al¬nd¬g¼¬nda " 0 = ff k2 F (X) + M 1 2 F (X) 1 bulunur. Kabul edelim ki ( q2 ) 2 M =2 #X c f2 = L2 (c; 1) yani X ! 1 için F (X) ! +1 olsun. Bu durumda (4.36) eşitsizli¼ ginden lim x!1 ( k1 0 = f (X) f (X) M (X) 32 ) = +1 (4.36) olmal¬d¬r. Yani yeterince büyük X0 ve x X0 için 0 = f (x) f (x) > M (x) olur. Böylece X ! 1 için (4:32) den ZX ZX 0 = ff M X0 1 2 dx > 1 2 M dx ! 1 (4.37) X0 elde edilir. Di¼ ger taraftan ZX ZX 0 = ff M X0 1 2 dt jf j f X0 01 1 12 Z 0 2 f kf k @ dtA M 0 1 M2 (4.38) X0 gerçeklenir. Lemma 4.1.1 den (4.38) ifadesinin sa¼ g taraf¬sonlu bir de¼ ger olup bu ise (4.37) eşitsizli¼ gi ile çelişir. Bu nedenle F (X) sonlu olmal¬d¬r. Yani 1 ( q2 ) 2 M =2 f 2 L2 (c; 1) (4.39) sa¼ glanmal¬d¬r. E¼ ger L operatörü Durum I tipinde de¼ gilse = 2 denkleminin L s¬n¬f¬ndan olan iki lineer ba¼ g¬ms¬z 0 0 ve > 0 için Lf = `f çözümleri mevcuttur. (4.40) =1 1 oldu¼ gu kabul edilebilir. (4.40) eşitli¼ ginin her iki taraf¬ ( 1 ( q2 ) 2 M2 )( 0 1 M2 ) ( 0 1 M2 )( ( q2 ) 2 1 M 2 (1+ ) 1 ( q2 ) 2 M2 = ) ile çarp¬l¬rsa 1 ( q2 ) 2 1 M 2 (1+ ) (4.41) elde edilir. (4.39) ve Schwarz eşitsizli¼ ginden (4.41) ifadesinin sol taraf¬ (c; 1) da integrallenebilirdir. Ancak sa¼ g taraf (4:32) gere¼ gi (c; 1) da integrallenemez. Bu nedenle L operatörü Durum I tipindedir. Sonuç 4.1.4 E¼ ger baz¬pozitif k sabitleri için q1 (x) 33 kx ve a2 x q2 (x) = = max 2; 32 + 2 dir (Evans 1970). ise L operatörü Durum I tipindedir. Burada I·spat E¼ ger = 2 ise Teorem 4.1.2 den aç¬kça görülür ki L operatörü Durum I tipindedir. > 2 ve dolay¬s¬yla > 0 durumunda ise M (x) = x ve Teorem 4.1.3 ün hipotezlerinin sa¼ gland¬g¼¬kolayl¬kla görülebilir. = 1 2 1 seçimiyle Teorem 4.1.5 M kesinlikle pozitif diferensiyellenebilir bir fonksiyon ve kabul edelim ki x c için aşa¼ g¬daki koşullar sa¼ glans¬n: 1 0 3 M (x) = O ( q2 (x)) 2 M 2 (x) ; Z1 M 1 2 1 ( q2 ) 2 dx = 1: c E¼ ger x c için q1 (x) kM (x) q2 (x) ise L operatörü Durum III tipinde de¼ gildir (Evans 1970). Teorem 4.1.6 q1 (x) = b2 x ve q2 (x) = olsun. E¼ ger a2 x ( > 0) < 2 + 2 ise L operatörü Durum I tipindedir. = 2 + 2 oldu¼ gunda a2 =b ise L operatörü Durum I tipindedir, a2 =b < operatörü Durum II tipindedir (Evans 1970). 34 ise L 5. M ( ) FONKSI·YONLARININ ÖZELLI·KLERI· Bu bölümde 4. Bölümde bahsedilen M ( ) fonksiyonlar¬n¬n özellikleri anlat¬lacakt¬r. z0 ; =z0 0 olacak şekilde herhangi bir kompleks say¬ ve r < b0 < b olmak üzere 0 0 b0 key… bir nokta olsun. b0 < b < b için (4.3) dönüşümü ile verilen l b ; ; z0 fonksiyonlar¬göz önüne al¬ns¬n. =z0 0 0 oldu¼ gundan = > 0 için l b ; ; z0 anali- tiktir. = > 0 için (4.14) ve (4.16) ifadeleri ile verilen pb0 ( ) ve rb0 ( ) ; n¬n sürekli fonksiyonlar¬d¬r. Bu nedenle pb0 ( ) ve rb0 ( ) üst yar¬ düzleminin her kompakt alt 0 kümesinde düzgün s¬n¬rl¬d¬r. b0 < b < b için 0 l b ; ; z0 < rb0 ( ) + jpb0 ( )j 0 oldu¼ gundan l b ; ; z0 fonksiyonlar¬n¬n kümesi üst yar¬ düzleminin her kompakt alt 0 kümesinde b ye göre düzgün s¬n¬rl¬d¬r. Sonuç olarak üst yar¬ düzleminin herhangi bir kompakt G kümesi için bi ! b olacak şekilde bir dizi mevcuttur öyle ki l (bi ; ; z0 ) ; M ( ) limitine yak¬nsar. Vitali Teoremi’nden M ( ) ; G de analitiktir ve G kümesinin key… olmas¬ndan dolay¬M ( ) tüm üst yar¬ düzlemi boyunca analitiktir. 0 E¼ ger =z0 = 0 ise l b ; ; z0 noktas¬ her bir için Cb0 ( ) çemberinin üzerindedir. Bu yüzden M ( ) noktas¬da Cb ( ) çemberinin üzerindedir. Ek olarak = > 0 için 0 her bir f b ; 0 0 0 analitik ve her b için = f b ; 0 olmas¬şart¬yla z0 ; f b ; fonksiyonu ile yerde¼ giştirebilir. 0 Durum III te M ( ) tek şekilde tan¬ml¬ de¼ gildir. Aksine f b ; fonksiyonlar¬n¬n farkl¬seçimlerine uygun olan analitik M fonksyonlar¬n¬n bir s¬n¬f¬mevcuttur. Örne¼ gin; e¼ ger M0 ; Cb ( 0 ) limit çemberi içinde veya üzerinde bir nokta ise 0 f b; 0 =z b; 0 ; M0 seçimi M ( 0 ) = M0 özelli¼ gine sahip bir analitik M fonksiyonu üretir. Böylece en az M ( ) analitik fonksiyonlar¬n¬n farkl¬seçimleri kadar key… bir limit çemberi üzerinde nokta vard¬r. = 0 > 0 olacak şekildeki key… 0 için Cb ( 0 ) limit çemberi üzerinde bir M0 noktas¬ 0 0 seçilsin. Her bir Cb0 ( 0 ) çemberi üzerinde b ! b için M ! M0 ve 0 M 6= 0 b; 0 35 = 0 b; 0 0 0 0 olacak şekilde bir M noktas¬ al¬ns¬n. Şimdi f b ; = z b; 0; M 0 olsun. M 0 0 üzerindeki k¬s¬tlama f fonksiyonunun analitikli¼ gini garanti eder. Ayr¬ca M nok0 tas¬Cb0 ( 0 ) çemberi üzerinde oldu¼ gundan = f b ; 0 0 l b ; ;f b ; = 0 d¬r. Bunun sonucunda fonksiyonlar¬de¼ gerlerini Cb0 ( ) çemberi üzerinde al¬r ve = > 0 için 0 0 analitiktirler. Daha öncede söylendi¼ gi gibi l b ; ; f b ; fonksiyonlar¬kümesinin bir analitik M fonksiyonuna yak¬nsayan bir alt dizisi mevcuttur ve limit dizisinin elemanlar¬n¬n özelli¼ ginden M ( ) limit fonksiyonu de¼ gerlerini Cb ( ) limit çemberi üzerinde al¬r. Böylece aşa¼ g¬daki teorem verilebilir. Teorem 5.1 Her durumda = > 0 için analitik olan bir M fonksiyonu mevcuttur. Durum III te M0 ; key… bir Cb ( 0 ) limit çemberinin key… bir noktas¬ olmak üzere M ( ) = M0 olacak şekilde bir analitik M fonksiyonu bulunabilir. Ek olarak = > 0 için M ( ) daima Cb ( ) limit çemberinin üzerinde olacak şekilde bir M fonksiyonu bulunabilir (Sims 1957). Teorem 5.2 Durum II de M ( ) meromorftur. Durum III te herhangi bir analitik M fonksiyonu meromorftur. Her iki durumda da 1 noktas¬n¬n M ( ) n¬n kutup noktas¬ olmas¬için gerek ve yeter şart = > 0 olacak şekildeki her 1+( ) 1 Zb (x; ) (x; 1 ) dx için =0 r olmas¬d¬r. E¼ ger 1 ve 2 noktalar¬n¬n ikisi de M ( ) n¬n kutup noktas¬ise Zb (x; 1) (x; 2 ) dx =0 r gerçeklenir (Sims 1957). Teorem 5.2 nin ispat¬için öncelikle aşa¼ g¬daki lemmalar verilmelidir. Lemma 5.3 Tüm durumlarda = > 0 ve = fonksiyonu için Wb sa¼ glan¬r (Sims 1957). h (x; ) ; 36 x; 0 > 0 olmas¬şart¬yla her analitik M 0 i =0 (5.1) 0 I·spat (x; ) + l ( ) (x; ), x = b noktas¬nda dan ba¼ g¬ms¬z bir s¬n¬r koşul sa¼ glad¬g¼¬ndan Wb0 h (x; ) + l ( ) (x; ) ; x; 0 0 +l i 0 x; =0 gerçeklenir. Bu durumda Wb0 h (x; ) + fl ( ) M ( )g (x; ) ; x; n + l 0 0 o 0 M 0 x; i =0 bulunur. Böylece h Wb n + l 0 i 0 h + fl ( ) M ( )g Wb (x; ) ; i h 0 0 (x; ) ; x; Wb0 M n o h 0 0 M ( )g l M Wb0 (x; ) ; x; (x; ) ; x; o 0 + fl ( ) 0 x; 0 i 0 i (5.2) =0 elde edilir. (5.2) ifadesinin ikinci terimi, (4.6) eşitli¼ ginden Wb0 h (x; ) ; i 0 x; Zb 0 = 0 (x; ) 0 x; dx (5.3) r +Wr h (x; ) ; x; 0 i şeklinde bulunur. Schwarz eşitsizli¼ gi yard¬m¬yla 0 Zb 0 (x; ) x; 0 0 dx r 0 B @ 1 21 0 0 Zb r C B j (x; )j2 dxA @ olup Zb 0 0 (x; ) x; r 0 B @ Zb r 1 21 0 C j (x; )j2 dxA 37 0 dx <1 Zb r 0 x; 0 2 1 12 C dxA elde edilir. Son eşitsizlik ve h Wr (x; ) ; oldu¼ gu (5.3) ifadesinde dikkate al¬n¬rsa h Wb0 (x; ) ; x; 0 i x; 0 ve =O bulunur. Limit noktas¬durumunda jl ( ) 8 b <Z : i =1 0 sabitlenip b ! b için j (x; )j2 dx r 2 6 2rb0 = 2 4 sinh 2 M ( )j 0 2 +2 Zb 9 21 = + O (1) ; 3 0 1 7 q2 ) j j2 dx5 (v r 0 olup b ! b için fl ( ) M ( )g Wb h (x; ) ; x; 0 i =0 gerçeklenir. Bu eşitlik limit çemberi durumunda l ( ) ! M ( ) ise Zb j (x; )j2 dx r s¬n¬rl¬oldu¼ gundan sa¼ glan¬r. Benzer iddialar (5.2) nin üç ve dördüncü terimlerine de uygulanarak (5.1) elde edilir. Lemma 5.4 Her durumda = > 0 ve = M( )=M 0 + 0 > 0 için Zb 0 (x; ) x; 0 dx r gerçeklenir (Sims 1957). I·spat (x; ) ve x; 00 0 s¬ras¬yla y + [q (x) y] = 0 ve 38 00 h y + q (x) 0 i y =0 (5.4) diferensiyel denklemlerinin çözümü olmak üzere (4.6) ifadesinden Zb 0 0 (x; ) 0 x; h dx = Wr r (x; ) ; Wb0 h 0 x; (x; ) ; x; i 0 i (5.5) elde edilir. (5.5) eşitli¼ ginde Wr h (x; ) ; i 0 x; =M( ) 0 M 0 oldu¼ gu ve Lemma 5.3 ten b ! b için Wb h (x; ) ; 0 x; i =0 gerçeklendi¼ gi dikkate al¬nd¬g¼¬nda (5.4) elde edilir. Böylece ispat tamamlan¬r. Zb Lemma 5.5 Durum II ve Durum III te 2 j (x; )j dx ve r j (x; )j2 dx fonksiyon- r lar¬ düzleminin her kompakt alt kümesinde I·spat G; Zb ya göre s¬n¬rl¬d¬r (Sims 1957). düzleminde key… kompakt bir küme olsun. Durum II ve Durum III ün 0 her ikisinde de (4.19) eşitsizli¼ ginde b ile b de¼ giştirilebilir. Elde edilen yeni ifadenin her iki taraf¬n¬n key… Zb ve 0 Zb 3 2 j (x; )j dx r için r den b ye integrali al¬n¬rsa x; 2 0 dx r 0 +3 2 Zb x; 0 2 dx r 0 +3 Zb x; dx Zb j (x; )j2 dx dx Zb j (x; )j2 dx 2 0 r r Zb 2 x; r 0 Zb 2 dx 2 0 x; r r bulunur. Buradan K 0 0 = 6@ Zb x; 0 2 r 39 10 dxA @ Zb r x; 0 2 1 dxA olmak üzere Zb Zb 3 2 j (x; )j dx r x; 2 0 dx + K 0 r 0 için K N ( 2 ) ; :::; N ( n) 2 Zb j (x; )j2 dx (5.6) r 0 elde edilir. G kümesindeki her bir 2N 0 0 0 < 1 2 0 bir N komşulu¼ gu oluşturur öyle ki sa¼ glan¬r. G kompakt oldu¼ gundan bir N ( ! ) ; sonlu altörtüsü G kümesini kapsar. Böylece Zb Zb 6 2 j (x; )j dx r Zb bulunur. K0 , 6 j (x; x; 0 2 (5.7) dx r 2 j )j dx; j = 1; 2; :::; n say¬lar¬n¬n maksimumu olsun. Bu r durumda (5.7) eşitsizli¼ ginden Zb j (x; )j2 dx < K0 elde edilir. r Benzer şekilde Zb j (x; )j2 dx fonksiyonunun s¬n¬rl¬l¬g¼¬da gösterilebilir. r Lemma 5.6 Durum II ve Durum III te Zb 2 (x; ) dx; r Zb 2 Zb (x; ) (x; ) dx ve r (x; ) dx fonksiyonlar¬ n¬n tam fonksiyonlar¬d¬r. Ayr¬ca (x; ) ve (x; ) ; r düzleminden L2 [r:b] s¬n¬f¬na (kuvvetli anlamda) tam fonksiyonlard¬r (Sims 1957). I·spat Lemma 5.6 n¬n ispat¬Lemma 5.5 ten elde edilir. Lemma 5.5 , (4.19) eşitsizli¼ ginin sa¼ g taraf¬na uygulan¬rsa key… kompakt G kümesindeki ve (r; b) aral¬g¼¬ndaki her x için j (x; )j düzgün s¬n¬rl¬ olur. Böylece integ0 Zb 2 ralin tan¬m¬ gere¼ gi G kümesinde (x; ) dx fonksiyonuna noktasal yak¬nsayan r Fn ( ) tam fonksiyonlar¬n¬n bir düzgün s¬n¬rl¬ dizisi mevcuttur.bu durumda Vitali 40 0 Teoremi’nden Zb 2 (x; ) dx; G kümesinde analitiktir. Ek olarak r Zb 0 2 (x; ) dx ! r Zb 2 (x; ) dx sa¼ glan¬r. r Zb 0 2 (x; ) dx analitik fonksiyonlar¬n¬n kümesi r Zb Lemma 5.5 ten G kümesinde düzgün s¬n¬rl¬oldu¼ gundan 2 (x; ) dx, G de analitik- r tir. Benzer işlemler Zb (x; ) (x; ) dx ve r Zb 2 (x; ) dx fonksiyonlar¬na da uygu- r lanabilir. Şimdi Teorem 5.2 nin ispat¬na geçilebilir. (5.4) denklemi M ( ) için çözülürse 0 M( ) = M Zb 0 + (x; ) 0 x; dx r 0 = M Zb 0 + [ (x; ) + M ( ) (x; )] x; 0 dx r 0 = M Zb 0 + (x; ) 0 x; dx + r + 0 M( ) Zb (x; ) x; 0 dx r bulunur. Buradan 0 M + Zb 0 (x; ) 0 x; dx r M( )= 1+ Zb 0 (x; ) (5.8) x; 0 dx r elde edilir. (5.8) eşitli¼ gi = > 0 ve = 0 > 0 olacak şekildeki tüm için geçerlidir. Lemma 5.6 dan (5.8) ifadesinin sa¼ g taraf¬= s¬f¬r¬olmad¬g¼¬sürece her 0 > 0 ve için tan¬ml¬d¬r ve analitiktir. (5.8) ifadesi = 41 0 ; çiftleri , paydan¬n 0 > 0 ola- 0 cak biçimdeki key… sabitlenmiş için M ( ) fonksiyonunun genelleştirilmiş tan¬m¬ Zb 0 0 (x; ) x; dx = 0 tam fonksiyonunun olarak al¬nabilir. M ( ) ; 1 + r s¬f¬rlar¬nda oluşan kutup noktalar¬haricinde analitiktir. Böylece = > 0 için M ( ) meromorftur. (5.8) eşitli¼ ginde 1, 0 ; üst yar¬ düzleminden key… kompleks bir say¬yd¬. O halde e¼ ger 0 M ( ) n¬n kutup noktas¬ise = paydas¬ s¬f¬r olmal¬d¬r. Yani e¼ ger 0 şekildeki her 1; için 1+ Zb 0 1 0 > 0 olacak şekildeki her için (5.8) ifadesinin M ( ) n¬n kutup noktas¬ ise = (x; 1) 0 x; 0 > 0 olacak dx = 0 r olur. Di¼ ger yandan baz¬ 1 0 ve = 1+ Zb 0 1 0 > 0 olacak şekildeki her (x; 1) 0 x; için dx = 0 r ise 1 + 0 1 Zb (x; 1) r likten M 0 h 0 x; 0 +M x; 0 i dx = 0 bulunur. Bu eşit- çekilirse 1+ M 0 Zb 0 1 (x; 1) x; 0 r = 0 1 Zb (x; dx (5.9) 1) x; 0 dx r elde edilir. Böylece M görülür ki 1 0 fonksiyonu da 1 de kutup noktas¬na sahiptir. Buradan noktas¬n¬n M ( ) n¬n kutup noktas¬ olmas¬ için gerek ve yeter şart = > 0 olacak şekildeki her 1+( için 1 ) Zb (x; ) (x; r 42 1 ) dx =0 olmas¬d¬r. ! 1 için M ( ) n¬n kutup noktas¬n¬n mertebesi birden büyükse (5.9) ifadesinden Zb 2 (x; 1 ) dx =0 r elde edilir. E¼ ger 1 ve 2 noktalar¬n¬n ikisi de M ( ) n¬n kutup noktalar¬ise (5.9) eşitli¼ ginden Zb (x; 1) (x; r bulunur. Böylece teoremin ispat¬tamamlan¬r. 43 2 ) dx =0 KAYNAKLAR Bairamov, E. and Krall, A. M. 2001. Dissipative operators generated by the SturmLiouville expression in the Weyl limit-circle case. J. Math Anal. Appl., vol. 254, pp. 178-190 Baimarov, E., U¼ gurlu E. 2011. The determinant of dissipative Sturm-Liouville operators with transmission conditions. Mathemetical and Computer Modelling, vol. 53, pp. 805-813. Behrndt, J., Malamud, M., Neidhardt, H. 2008. Scattering matrices and Weyl functions. London Math. Soc. (3), vol. 97, pp. 568-598. Coddington, E. A., Levinson N.1955. Theory of Ordinary Di¤erential Equations. McGraw-Hill, New York. Derkavh, V., Hassi S., Malamud, M., De Snoo, H. 2006. Boundary relations and their Weyl families. Trans. of the American Math. Soc., vol. 358, no. 12, pp. 5351-5400. Evans, W. D.1971. On the limit point, limit circle classi…cation of a second order di¤erential equation with a complex coe¢ cient. J. London Math. Soc. (2), vol.4, pp. 245-256. Gorbachuk, V. I., Gorbachuk M. L., 1991. Boundary Value Problems for Operator Di¤erential Eguations. Kluwer Academic Publishers, London. Ho¤man, K. 1962. Banach Spaces of Analytic Functions. Prentice-Hall, Inc., USA. Kuzhel, A. 1996. Charecteristic Functions and Models of Nonself-adjoint Operators. Kluwer Academic Publishers, London. Naimark, M. A. 1968. Linear Di¤erental Operators (second ed.): Nauka, Moscow English transl. of …rst ed., Parts 1, 2, Ungar, New York. Sims, A.R. 1957. Secondary conditions for linear di¤erential operators of the second order. Journal of Mathematics and Mechanics, vol. 6, no.2. Sultanaev, Y. T. 1984. On the de…ciency indices and the spectrum of a nonsemi bounded Sturm-Liouville operator. Soviet Math. Dokl. vol. 29, No.3,652653. 44 Titchmarsh, E. C. 1939. The Theory of Functions(second ed.). Oxford University Press, London. Titchmarsh, E. C. 1962. Eigenfunction Expansion Associated with Second Order Di¤erential Equations. Part 1 (second ed.), Oxford Univ. Press,Oxford. Zettl, A. 2005. Sturm-Liouville Theory. American Mathematical Society, USA. 45 ÖZGEÇMI·Ş Ad¬Soyad¬ : I·brahim ERDAL Do¼ gum Yeri : Ankara Do¼ gum Tarihi : 21.08.1987 Medeni Hali Yabanc¬Dili : Bekar : I·ngilizce E¼ gitim Durumu (Kurum ve Y¬l) Lise : Halide Edip Lisesi (2005) Lisans : Ankara Üniversitesi Fen Fakültesi Matematik Bölümü (2010) 46