x - Süleyman Demirel Üniversitesi

T.C.
SÜLEYMAN DEMİREL ÜNİVERSİTESİ
FEN BİLİMLERİ ENSTİTÜSÜ
SİNGÜLER ADİ DİFERANSİYEL DENKLEMLER İÇİN SINIR
DEĞER PROBLEMLERİ
Pakize Neval ZEYNELGİL
Danışman: Prof. Dr. Bilender PAŞAOĞLU
YÜKSEK LİSANS TEZİ
MATEMATİK ANABİLİM DALI
ISPARTA – 2008

İÇİNDEKİLER
i
Sayfa
İÇİNDEKİLER………………………………………………………………………i
ÖZET………………………………………………………………………………..iii
ABSTRACT………………………………………………………………………....iv
TEŞEKKÜR………………………………………………………………………….v
SİMGELER DİZİNİ………………………………………………………………....vi
1. GİRİŞ………………………………………………………………………………1
2. TEMEL KAVRAMLAR…...……...………………………………………………3
3.BESSEL DİFERANSİYEL DENKLEMİ VE BESSEL DİFERANSİYEL
DENKLEMİN ÇÖZÜMÜ…………………….……………………………………...6
3.1. Bessel Diferansiyel Denklemi……………………………………………………6
3.2. Bessel Diferansiyel Denkleminin Çözümü………………………………………8
3.3. Bessel Fonksiyonlarının İndirgeme Formülleri………………………………...14
3.4. Hankel Fonksiyonları…………………………………………………………...15
3.5. ν Tek Tam Sayının Yarısı İken Jν (x)
Bessel fonksiyonu……………………..16
3.6. Jν (x)
ile J − ν (x)
in Lineer Bağımsızlığı……………………………………….17
3.7. Değiştirilmiş ( Modifiye ) Bessel Denklemi……………………………………20
3.8. Jacobi Açılımı ve Bessel İntegrali………...……………………………………21
3.9. Bessel Denklemine Dönüşebilen Denklemler………………………………….24
3.10. Bessel-Fourier Açılımı………………………………………………………...27
4. BESSEL KARESİ DENKLEMİNİN ÇÖZÜMLERİ VE BU DENKLEM İÇİN
LİM-4 DURUMU…………………………………………………………………...28
4.1. Hamilton Sistem Formülü ve Regüler Sınır Koşulları………………………….29
4.2. ‘S’ Dönüşümü ve Plücker Özdeşliği……………………………………………38
4.3. Lim-4 Durumu Genel Teori…………………………………………………….40

4.4. Bessel Karesi Denkleminin Çözümleri…………………………………………44
4.5. Lim-4 Durumunun Bessel Karesi Denklemine Uygulanması………………….52
5. KAYNAKLAR…………………………………………………………………...57
ÖZGEÇMİŞ…………………………………………………………………………59
ii

ÖZET
Yüksek Lisans Tezi
SİNGÜLER ADİ DİFERANSİYEL DENKLEMLER İÇİN SINIR DEĞER
PROBLEMLERİ
Pakize Neval ZEYNELGİL
Süleyman Demirel Üniversitesi Fen Bilimleri Enstitüsü
Matematik Anabilim Dalı
Bu tez dört bölümden oluşmaktadır.
Jüri : Prof. Dr. Bilender PAŞAOĞLU (Danışman)
Prof. Dr. Sadulla JAFAROV
Prof. Dr. A. Ceylan ÇÖKEN
Birinci bölümde konunun tarihsel gelişimi verilmiştir.
İkinci bölümde bazı temel kavramlar verilmiştir.
Üçüncü bölümde Laplace denkleminin silindirik koordinatlardaki ifadesinden
yararlanarak Bessel denklemi elde edilmiştir. Bessel denkleminin çözümleri olan
Bessel fonksiyonları ve onların özellikleri üzerinde durulmuştur. Daha sonra Bessel
denklemine dönüşebilen denklemler incelenmiş ve son olarak da Bessel fourier
açılımı verilmiştir.
Dördüncü bölümde Bessel karesi denklemi incelenmiştir. Dördüncü mertebeden
diferansiyel denklem için Hamilton sistem formülü ve regüler sınır koşulları
incelenmiştir. Son olarak da lim-4 durumunun genel teorisi verilerek, Bessel karesi
denklemi çözülmüş ve Bessel karesi denklemi için lim-4 durumu incelenmiştir.
Anahtar Kelimeler: Laplace Denklemi, Bessel Denklemi, Dördüncü Mertebeden
Diferansiyel Denklem, Bessel Karesi Denklemi
2008, 59 sayfa
iii

ABSTRACT
M. Sc. Thesis
BOUNDARY VALUE PROBLEMS FOR SINGULAR ORDINARY
DIFFERENTİAL EQUATİONS
Pakize Neval ZEYNELGİL
Süleyman Demirel University Graduate School of Applied and Natural Sciences
Mathematics Department
Thesis Committee: Prof. Dr. Bilender PAŞAOĞLU (Supervisor)
Prof. Dr. Sadulla JAFAROV
Prof. Dr. A. Ceylan ÇÖKEN
This thesis consists of four chapters.
In the first chapter, the historical progress of the subject is considered.
In the second chapter, some essential definitios is given.
In the third chapters, Bessel equation is obtained through the cylindrical coordinates
of Laplace equation. In addition, Bessel functions which are the solutions of Bessel
equation and their proporties are studied. At the end Fourier-Bessel expansions are
obtained.
In the fourth chapter, Bessel-squared equation is obtained. Hamiltonian system
formulation and regular boundary condiations are studied for fourth order differential
equation. At the end we obtain independent solutions of the Bessel-squared equation
and wish to apply the teory to the Bessel-sqared operator that lim-4 case
Key Words: Laplace Equation, Bessel Equation, Fourth Order Symmetric
Differential Equation, Bessel-Squared Equation
2008, 59 pages
iv

TEŞEKKÜR
Bu çalışmayı bana öneren, çalışmalarım süresince yakın ilgi ve yardımlarını
esirgemeyen, değerli hocam Sayın Prof. Dr. Bilender PAŞAOĞLU’na teşekkür
ederim.
Ayrıca tezimin her aşamasında maddi ve manevi desteklerini devamlı hissettiğim
aileme en içten saygı ve teşekkürlerimi sunarım.
v
Pakize Neval ZEYNELGİL
ISPARTA, 2008

R Reel sayılar kümesi
C Kompleks sayılar kümesi
D (A)
A’nın tanım kümesi
L Maksimal operatör
2
∇ Laplace operatörü
SİMGELER DİZİNİ
J v (x)
ν inci basamaktan 1 inci çeşit Bessel fonksiyonu
I v (x)
ν inci basamaktan 1 inci çeşit değiştirilmiş Bessel fonksiyonu
γ Euler sabiti
Yv (x)
ν inci basamaktan 2 inci çeşit Bessel fonksiyonu (Weber Fonksiyonu)
H v (x)
ν inci basamaktan 3 üncü çeşit Bessel fonksiyonu (Hankel)
Γ (v)
Gamma fonksiyonu
ω (λ)
Özdeğer
f (x)
Özfonksiyon
G ( x,.,
λ)
Green fonksiyonu
vi

1.GİRİŞ
Doğada gerçekleşen fiziksel olayların incelenmesi, kuantum mekanik ve kuantum
fiziğin konularının oluşmasına yol açmıştır. Fizik alanındaki bu bilimsel gelişmeler
matematik biliminin gelişmesinde büyük ölçüde etkili olmuştur.
Tezde singüler adi diferansiyel denklemlerden biri olan Bessel denklemlerine yer
verilmiştir. Bessel denklemleri ile matematiğin birçok dallarında matematiksel fizik,
temel bilimler ve mühendislik bilimlerinin uğraşlarına giren pek çok problemin
çözümünde karşılaşılır. Bessel fonksiyonlarına göre seri açılımı hem diferansiyel
denklemler teorisi hem de fonksiyonlar ve seriler teorisi gibi dallarda sıkça
kullanılmaktadır. Bessel fonksiyonları üzerindeki çalışmalar 19. yüzyılda Alman
matematikçi Freidrich Wilhelm Bessel (1784-1846) tarafından yapılmıştır.
Astronomik bir problem olan yerkürenin güneş etrafında dönme yörüngesinin
bulunması ile uğraşırken Bessel denklemini ortaya çıkarmıştır. Zaman geçtikçe telin
ve zarın titreşimleri gibi fiziksel olaylarda Bessel denklemine getirilmiştir. 20.
yüzyılda ise bu denklem, kuantum mekanik ve kuantum fizik problemlerinde de sık
sık kullanılmıştır.
Ayrıca fiziğin ve mekaniğin pek çok problemi adi diferansiyel denklemler için sınır
değer problemi ile bağlantılıdır. Bu problemler genellikle kısmi türevli denklemlerde
değişkenleri ayrılması yöntemi (Fourier yöntemi) kullanıldıktan sonra adi
diferansiyel denklemler için sınır değer problemine dönüşmektedir. Bu problemlerin
singüler (tekil) diferansiyel denklemler için daha da önemli olduğu son yıllarda
ortaya çıkmıştır. Tanım kümesi sınırlı ve katsayıları sürekli fonksiyonlar olan
diferansiyel operatörlere regüler; tanım bölgesi sınırsız veya katsayıları (bazıları veya
tamamı) integrallenebilir olmayan (veya her ikisi sağlanacak biçimde) diferansiyel
operatörlere ise singüler denir. Singüler operatörler için spektral teori ilk olarak Weyl
tarafından incelenmiştir. Daha sonra Rietsz, Neumann ve diğer matematikçiler
tarafından simetrik ve self-adjoint operatörlerin genel spektral teorisi
oluşturulmuştur.
1

Dördüncü mertebeden Bessel denklemleri, Bessel denklemlerine ait sınır değer
problemini ve Bessel karesi denklemini Everitt (2006-2007) ve Fulton (1988) yapmış
oldukları çalışmalarında incelemişlerdir.
Bu tezde Bessel karesi denklemi ele alınmış daha sonra bu denklem için özfonksiyon
elde etme noktasına kadar analizler yapılmıştır. Son olarak da Lim-4 durumunun
genel teorisi verilerek Bessel karesi denklemi için Lim-4 durumu incelenmiştir.
2

2.TEMEL KAVRAMLAR
Tanım 2.1: f ( x)
ve g ( x)
fonksiyonları bir x x ≤ a
3
− 0 aralığında birinci türevlere
sahip olsunlar. Bu durumda W ( f , g)
= f ( x)
g′
( x)
− f ′ ( x)
g(
x)
ifadesine ( x)
g ( x)
fonksiyonlarının wronskiyeni denir (Marchenko, 1986).
f ve
Tanım 2.2: (Hilbert uzayı) x , y,
z elemanlarından oluşan herhangi bir cümle H
olsun ve aşağıdaki aksiyomları sağlasın.
1. H lineer kompleks uzay olsun
2. H nin her x, y ikili elemanına karşılık gelen < x, y > kompleks sayısı için
a) < x , y >= < y,
x >
b) x + x , y >=< x , y > + < x , y > , ( x , x ∈ H )
< 1 2
1
2
1 2
c) < λ x , y >= λ < x,
y > (Her kompleks λ sayısı için)
3. d( x,
y)
= x − y metriği anlamında H tamdır.
4. Her n doğal sayısı için H de n sayıda lineer bağımsız eleman vardır. Yani
H sonsuz boyutludur. Bu durumda, 1− 4 şartlarını sağlayan uzaya Soyut Hilbert
Uzayı, 1− 3 şartlarını sağlayan uzaya ise Üniter Hilbert uzayı denir (Liusternik,
1961).
Tanım2.3: (Lineer Operatör) H Hilbert uzayının herhangi bir D ⊆ H lineer alt
uzayı ve bir A operatörü için,
A : D ⊆ H → H
dönüşümü verilsin. Eğer α ∈ C ve her D x x , ∈ için
1 2 ,α
( α 1x1
+ α 2 x2
) = α1
Ax1
+ 2 Ax2
A α
eşitliği sağlanıyorsa A dönüşümüne lineer operatör, D ye ise A operatörünün tanım
bölgesi denir ve D ( A ) ile gösterilir. A operatörünün değer kümesi de Im(A ) veya
R (A)
ile gösterilir (Naimark, 1968).
Tanım2.4: H Hilbert uzayında tanımlanan bir lineer A operatörü için, her
x ∈ H olmak üzere
1
2

Ax ≤ C
eşitliğini sağlayacak şekilde bir C sayısı varsa A ya sınırlı operatör denir. Bu C
sayılarının en küçüğüne A sınırlı operatörünün normu denir ve A ile gösterilir.
4
x
A = sup Ax = sup
x ≤1
x ≠0
eşitliği yardımı ile de normu hesaplayabiliriz (Naimark, 1968).
Tanım:2.5: (Eşlenik Operatör) H hilbert uzayı ve A bu uzayda lineer bir operatör
olmak üzere, A nın tanım kümesi D (A)
, H kompleks Hilbert uzayında yoğun
olsun. f , g ∈ D(
A)
için,
eşitliğini sağlayan
Af , g
= f , A
∗
g
Ax
x
∗
A operatörüne A nın adjoint (eşlenik) operatörü denir. Bu
eşitliği sağlayan g ∈ H vektörler kümesine
gösterilir (Naimark, 1968).
Eşlenik operatörü aşağıdaki şartları sağlar:
∗∗
(i ) A = A
(ii )
(iii )
(iv )
∗
( λ A) = λA
( A )
( BA)
∗ ∗ ∗
+ B = A + B
∗
∗ ∗ ∗
= B A
∗
(v ) A = A
( A sınırlı ise) (Naimark, 1968).
∗
Tanım 2.6: (Self-adjoint Operatör) Eğer A = A
operatör denir (Naimark, 1968).
∗
∗
A ın tanım kümesi denir ve ( A )
D ile
ise, A ya self-adjoint (kendine eş)
Tanım 2.7: L ( a,
b)
uzayı) ( a , b)
aralığında karesi integrallenebilen fonksiyonların
( 2
Hilbert uzayına L ( a,
b)
2 uzayı denir.
L
2
b ⎧
= ⎨ ∫
⎩ a
( a,
b)
x()
t : [ x()
t ]
2
⎫
dt〈∞⎬
⎭

Bu uzay reel ise iç çarpım
f ( x),
g(
x)
= f ( x)
g(
x)
dx
şeklinde tanımlanır. Burada, f ( x)
ve g( x)
reel fonksiyonlarıdır (Naimark, 1968).
Tanım 2.8: (Özdeğer, özfonksiyon) L lineer bir operatör olsun. Bu durumda A
operatörünün tanım kümesinde
Ay = λy
olacak şekilde bir y ≠ 0 vektörü varsa λ sayısına A operatörünün özdeğeri, y
vektörüne ise λ özdeğerine karşılık gelen özvektör denir.
5
b
∫
a

3. BESSEL DİFERANSİYEL DENKLEMİ VE BESSEL DİFERANSİYEL
DENKLEMİNİN ÇÖZÜMÜ
Frobenius seri metodu ile çözülebilen ikinci mertebeden değişken katsayılı
diferansiyel denklemler arasında Bessel diferansiyel denkleminin önemi büyüktür.
Matematiksel fizik, temel bilimler ve mühendislik bilimlerinin uğraşı alanına giren
birçok problemin çözümünde bu denklem ve çözümü ile çok karşılaşılır. Bu
bakımdan Bessel denklemi ve Bessel fonksiyonlarının incelenmesi oldukça önem
taşımaktadır.
3.1. Bessel Diferansiyel Denklemi
Bessel diferansiyel denklemi,
2 2 2
2 ∂ V ∂ V ∂ V
∇ V ≡ + + = 0
(3.1)
2 2 2
∂x
∂y
∂z
eşitliği ile verilen üç boyutlu Laplace denklemi için ( x , y,
z)
düzleminde ( u ,φ , z)
silindirik koordinatları kullanılmak suretiyle elde edilebilir. Burada x, y ve z
değişkenleri u ve φ ye bağlı olarak;
x = u cosφ
, y = u sinφ
, z = z
şeklinde tanımlanır ve bu dönüşümler ile ( u , z)
6
,φ silindirik koordinatlarına geçilirse;
2
2 2
2 ∂ V 1 ∂V
1 ∂ V ∂ V
∇ V ≡ + + + = 0
2
2 2 2
∂u
u ∂u
u ∂φ
∂z
(3.2)
denklemi elde edilir. Bu denklemlerin çözüm yollarından biri olan, değişkenlerine
ayırma yöntemi uygulanırsa, yani çözümün;
( u,
φ, z)
= U ( u)
Φ(
) Z(
z)
V φ
olduğu farz edilerek gerekli türevler alınırsa; türevler
∂V
=
∂u
2 2
dU ∂ V d U
ΦZ
; = ΦZ
;
2 2
du ∂u
du
2 2
2 2
∂ V d Φ ∂ V d Z
= UZ ; = UΦ
2 2
2 2
∂φ
dφ
∂z
dz
olarak bulunur. Bu türevler yukarıdaki (3.2) denkleminde yerine yazılırsa;

2
2
2
d U 1 dU 1 d Φ d Z
ΦZ + ΦZ
+ UZ + UΦ
=0
2
2 2
2
du u du u dφ
dz
denklemi elde edilir. ( u)
Φ( ) Z(
z)
≠ 0
denklemin her iki tarafı UΦ Z ile bölünürse;
U φ olduğundan bulunan yukarıdaki son
2
2
2
1 d U 1 1 dU 1 1 d Φ 1 d z
+ + + = 0
2
2 2
2
U du U u du u Φ dφ
Z dz
U ′
1 U ′ 1
+ + 2
U u U u
7
Φ ′
Z ′
+ = 0
Φ Z
U ′
1 U ′ 1 Φ ′
Z ′
+ + = −
(3.3)
2
U u U u Φ Z
eşitliği elde edilir. Bu eşitliğin sağ tarafı yalnız z ye ve sol tarafı da yalnız u ve φ
ye bağlı olması nedeniyle
Z ′
2
= + λ
Z
olacağından
2
− λ gibi bir sabite eşit olabilir. Buradan;
U ′
1 U ′ 1
+ + 2
U u U u
Z ′ − λ Z
Φ ′
2
= −λ
Φ
2 =
0
2
u ile çarpılırsa;
(3.4)
elde edilir. (3.4) de verilen denklemin her iki tarafı
2 U ′
U ′ Φ ′
2 2
u + u + = −λ
u
U U Φ
bulunur. Burada gerekli düzenlemeler yapılırsa,
2 U ′ U ′ 2 2 Φ ′
u + u + λ u = −
U U
Φ
elde edilir. Bu ifade de
(3.5)
şeklinde yazılabilir. Burada,
Φ ′
Φ
= −V
2
olacağından
2
V sabitine eşit seçilsin. Bu durumda yukarıdaki denklem;
U ′
U
U ′
U
2
2 2 2
u + u + λ u = −V
(3.6)
Φ ′ + V
2
Φ = 0
elde edilir. Böylece son olarak elde edilen (3.6) denklemi
2 2 2 ( u − ) = 0
′ ′ λ U
(3.7)
2
u U + uU
+ ν

şeklinde yazılabilir. Burada λ u = x dönüşümü yapılırsa
8
x
u = olması nedeniyle,
λ
U (u ) da y (x ) şeklini alabilir. U (u ) fonksiyonunun birinci ve ikinci türevleri
alınırsa türevler;
dU
du
=
dU
dx
dx
du
dU dy
= λ = λ
dx dx
2
2
d U d ⎛ dU ⎞ d ⎛ dy ⎞ dx 2 d y
= 2 ⎜ ⎟ = ⎜λ
⎟ = λ 2
du dx ⎝ du ⎠ dx ⎝ dx ⎠ du dx
olarak bulunur. Bu türevler (3.7) denkleminde yerine yazılırsa;
d y
dx
bulunur. Yukarıdaki denklemden de;
2 2
2
x ⎛ 2 d y ⎞ x ⎛ dy ⎞ ⎛ 2 x 2 ⎞
+
= 0
2 ⎜
⎜λ
2 ⎟ + ⎜λ
⎟ ⎜
⎜λ
−ν
2 ⎟
⎟y
λ ⎝ dx ⎠ λ ⎝ dx ⎠ ⎝ λ ⎠
dy
dx
2 2 ( x − ) = 0
2
2
x + x 2 + ν y
(3.8)
2
x y + xy
+ ν
2 2 ( x − ) = 0
′ ′ y
denklemi elde edilir. Bu denklem Bessel denklemi olarak bilinir ve çözümleri olan
fonksiyonlara ν inci dereceden Bessel fonksiyonları veya silindirik fonksiyonlar
denir.
3.2. Bessel Diferansiyel Denkleminin Çözümü
ν sabit sayı olmak üzere Bessel diferansiyel denklemi;
2 2 ( x − ) = 0
′ ′ y
2
x y + xy
+ ν (3.9)
şeklinde ifade edilir. Bessel denkleminde x = 0 noktası singüler (tekil) yani düzgün
aykırı nokta olduğundan, bu denklemin çözümünü Frobenius metodu ile
genelleştirilmiş kuvvet serisi şeklinde bulunur. Yani;
p
y x ∑
k
∞
=
= 0
a
k
x
k
( a o ≠ 0)
(3.10)
serisi ile çözüm bulunabilir. Burada y nin birinci ve ikinci türevleri alınırsa;
y
′ = x
p
∞
k = 0
k −1
( p k)
a x
∑ +
k

y ′
= x
p
∞
∑
k = 0
k −2
( p + k)(
p + k −1)
a x
eşitlikleri bulunur. Bu türevler Bessel diferansiyel denkleminde yerlerine yazılırsa;
2
x
∞
∞
ν
∞
k = 0
k = 0
k = 0
∞
∑ p + k
∞
k + p
p + k −1
ak
x + ∑
∞
∞
k + p
k + p+
2 2
p + k ak
x + ∑ ak
x −ν
∑
k = 0
k = 0
k = 0
k = 0
k + p−2
k + p−1
2 2
k + p
∑(
p + k)(
p + k −1)
ak
x + x∑
( p + k)
ak
x + ( x − ) ∑ ak
x = 0
k + p
( )( ) ( ) a x = 0
elde edilir. Buradan da;
0
2 2 p ( p ) x + a ( p + 1)
2 2 p+
1 p
2 2
k
[ −ν
] x + x { [ ( p + k)
− ] a + a } x = 0
a ν ν
(3.11)
− 1
∑
2
∞
k =
eşitliği bulunur. Yukarıdaki eşitliğin sağlanması için x in kuvvetlerinin tüm
katsayıları sıfıra eşit olmalıdır. Yani;
k
a
1
a
0
2 2 ( p −ν ) = 0
2 2
[ ( p + 1)
−ν
] = 0
2 2
[ ( p k)
− ] + a = 0
a ν
+ k−2
bağlantıları sağlanmalıdır. İlk eşitlikte a o sıfırdan farklı seçilebileceğinden
2 2
p −ν = 0 dan p = mν
bulunur. Buradan a 0 ve
9
1 =
2 2
[ ( k)
− ] a + a = 0;
p ν k ≥ 2
+ k k −2
indirgeme formülü elde edilir ve k = 2,
3...
için
k
k
k −2
2 2
[ ( p + 2) −ν
] a2
+ a0
= 0 ⇒ ( p + ν + 2)(
p −ν
+ 2)
a2
= −a0
2 ( p + 3) −
2
a + a = 0 ⇒ p + ν + 3 p −ν
+ 3 a = −a
[ ] 3 1 ( )( ) 3 1
2 2
[ ( p + 4) −ν
] a4
+ a2
= 0 ⇒ ( p + ν + 4)(
p −ν
+ 4)
a4
= −a2
2 [ ( p + 5) 2
−ν
] a5
+ a3
= 0 ⇒ ( p + ν + 5)(
p −ν
+ 5)
a5
= −a3
ν (3.12)
eşitlikleri yazılabilir. Bu ifadelerde görüldüğü gibi a , a ,...
bağımsızdır. Bu durumda
a
.
.
.
3 = a5
= ... = a2n
−1
= ... = 0
a 1,
3 5 katsayıları 0
k
a dan

olur. Diğer katsayılar ise,
a
2k
= +
şeklinde 0
= +
a
2
= −
( p + ν + 2)(
p −ν
+ 2)
10
a
0
a
0
a 4
(3.13)
( p + ν + 2)
( p + ν + 4)
( p −ν
+ 2)
( p −ν
+ 4)
.
.
.
k ( −1)
a0
( p + ν + 2)(
p + ν + 4)
... ( p + ν − 2k)(
p −ν
+ 2)(
p −ν
+ 4)(
p −ν
+ 2k)
a katsayısına bağlı olarak bulunur. p = ν olarak alınırsa, katsayılar;
a
4
a
2
= −
a2 k = − 2k
2
= −
2 4
k!
olarak elde edilir. Bu durumda çözüm;
2 2
2!
1!
a
0
( ν + 1)
a
0
( ν + 1)(
ν + 2)
.
.
.
2k
( −1)
a0
( ν + 1)(
ν + 2)
... ( ν + k)
2
4
ν ⎧ x
x
y = a0
x ⎨1
− +
− ...
⎩ 2
( ) ( )( ) ⎭ ⎬⎫
2ν
+ 2 2.
4 2ν
+ 2 2ν
+ 4
( ) ( )( ) ⎭ ⎬⎫
2
4
ν ⎧ x
x
y = a0
x ⎨1
− +
− ...
(3.14)
2
4
⎩ 2 ν + 1 2 2!
ν + 1 ν + 2
olarak bulunur. Burada a 0 katsayısı için özel bir değer seçilir. Bu özel değer Gamma
fonksiyonudur. Faktöriyel fonksiyonunun genelleştirmesi olan Gamma fonksiyonu;
( + 1) = ν Γ ( ν ) = ν ( ν − 1)
Γ ( − 1)...
Γ ν ν (ν reel)
olarak tanımlanır (Karaoğlu, 1998). Tamsayılı argüman için Gamma fonksiyonu
faktöriyele dönüşür. Yani;

Γ
( ν + 1) = ν Γ ( ν ) = ν ( ν − 1)
Γ ( ν − 2 ) = ... = ν !
olarak yazılabilir. Buna göre a 0 özel olarak,
1
a 0 = ν
(3.15)
2 Γ
( ν + 1)
biçiminde seçilirse, yukarıda a2 k ile verilen ifade de a 0 yerine yazılırsa diğer
katsayılar bulunur. Bu durumda diğer katsayılar;
a2k = − 2k
2
ν
2 k!
Γ
k ( −1)
( ν + 1)(
ν + 1)(
ν + 2)
... ( ν + k)
11
= 2k
+ ν
2
k
k ( −1)
! Γ(
k + ν + 1)
şeklinde ifade edilir. Gamma fonksiyonu, tüm pozitif ν değerleri ve tüm pozitif
kompleks değerler için belirlenir. Γ ( ν ) fonksiyonu integralle;
Γ
∞
−x
ν −1
( ν ) = e x dx
∫
0
olarak da ifade edilir. (3.15) eşitliği ile gösterilen a 0 değeri (3.14) ile ifade edilen
çözümde yerine yazılırsa;
ν
2
4
x ⎧ x
x
y = 1−
+
− ...
ν
2 Γ ⎩
( ) ( ) ( )( ) ⎭ ⎬⎫
⎨ 2
4
ν + 1 2 ν + 1 2 2!
ν + 1 ν + 2
çözümü elde edilir. Buradan Jν ( x)
fonksiyonu;
∑ ∞
=
k = 0
2k
+ ν
k ⎛ x ⎞
( −1)
⎜ ⎟
( ) ⎝ 2
J
⎠
ν x
(3.16)
k!
Γ
( k + ν + 1)
şeklinde bulunur. Bu fonksiyona birinci çeşit ν inci dereceden Bessel fonksiyonu
denir ve Jν ( x)
ile gösterilir. Burada ν > 0 olup x in her sonlu değeri için (3.16)
yakınsaktır. İkinci çözümü bulmak için; (3.13) ifadelerinde p = −ν
alınarak
katsayılar elde edilir ve bu katsayılar (3.14) ile ifade edilen çözümde yerine
yazıldığında;
bulunur.
y = a
ν < 0 için çözüm;
⎧
⎨ −
⎩ 2
2
−ν
0 x 1 2 + 4
1
a 0 = olarak alınırsa
−ν
2 Γ
( −ν
+ 1)
x
− ...
( ) ( )( ) ⎭ ⎬⎫
−ν
+ 1 2 2!
−ν
+ 1 −ν
+ 2
x
4

∑ ∞
=
k = 0
12
2k
−ν
k ⎛ x ⎞
( −1)
⎜ ⎟
− ( ) ⎝ 2
J
⎠
ν x
(3.17)
k!
Γ
( −ν
+ k + 1)
şeklinde elde edilir. Eğer ν tamsayı değilse bu iki çözüm birbiriyle lineer
bağımsızdır. O halde ν ∉ Ζ iken A ve B keyfi sabitler olmak üzere Bessel
denkleminin genel çözümü;
şeklinde ifade edilebilir.
( x)
= AJ ( x)
+ BJ ( x)
y ν −ν
ν =0 İken Bessel Denkleminin Çözümü
ν = 0 için (3.9) ile ifade edilen Bessel denklemi;
şekline dönüşür. (3.14) den de çözüm,
x
2
( 0 ) 0
2 2
x − =
y′
′ + xy′
+ y
x
2
2
y′
′ + xy′
+ x y = 0
( ) ( ) ( ) ⎭ ⎬⎫
2
p ⎧ x
y = a0
x ⎨1
−
2
⎩ p + 2
4
x
+
−...
2 2
p + 2 p + 4
(3.18)
2 2
olarak bulunur. p −ν = 0 dan ν = 0 için p = 0 bulunur. Yukarıdaki denklemde
p = 0 yazılırsa,
2 4
⎧ x x ⎫
y = a0
⎨1
− + − ...
2 2 2 ⎬
⎩ 2 2 4 ⎭
= a
= a
0
⎧
⎨
⎩
∑ ∞
0
k = 0
y =
a0
J 0
2
4
x x ⎫
− + − ...
2
⎬
1!
2 2!
22 ⎭
1 2
2 k
k ⎛ x ⎞
( −1)
⎜ ⎟
⎝ 2 ⎠
k!
Γ(
k + 1)
( x)

elde edilir. Burada J 0 ( x)
fonksiyonu 0 ıncı dereceden 1 inci çeşit Bessel
dy
fonksiyonudur. p 1 = 0, p2
= 0 ise ikinci çözüm, y( x)
= dan bulunur (Uyhan,
dp
13
p=
0
1999). (3.18) eşitliğinin her iki yanının p ye göre türevi alınırsa,
dy d ⎪⎧
⎡ p
= ⎨a0x
⎢1−
dp dp⎪⎩
⎣
⎧ p
= a0x
lnx⎨1
−
⎩
⎧ p
+ a0x
⎨
⎩
x
2
2
2
( p+
2)
( p+
2)
( p+
4)
2
2
( p+
2)
( p+
2)
( p+
4)
2
x
x
2
2
−
+
+
x
4
⎞
⎟+
...
⎠
( ) ( ) ( ) ⎭ ⎬⎫
2
2 2
p+
2 p+
2 p+
2 p+
4 p+
2 p+
4
x
x
4
4
⎛
⎜
⎝
2
2
2
⎤⎪⎫
−...
⎥⎬
⎦⎪⎭
⎫
−...
⎬
⎭
bulunur (Uyhan,1999). Burada p = 0 değeri yerine konursa,
2 4
2 4
dy ⎧ x x ⎫ ⎧x
2 x ⎛ 2 2⎞
⎫
= a0
lnx⎨1 − + −...
⎬+
a ⎨ − ⎜ + ⎟+
...
2 2 2
0 2 2 2 ⎬
dp ⎩ 2 2 4 ⎭ ⎩2
2 2 4 ⎝2
4⎠
⎭
elde edilir. J 0 ( x)
fonksiyonu;
2 4
⎧ x x ⎫
J 0 ( x)
= a0
⎨1
− + − ...
2 2 2 ⎬
⎩ 2 2 4 ⎭
şeklinde ifade edilmektedir ve Y0 ( x)
fonksiyonu da;
+
2
(3.19)
2 4 ⎧ x x ⎛ 1 ⎞ ⎫
Y 0 ( x)
= ln xJ 0 ( x)
+ ⎨ − ⎜1+
⎟ + ...
2 2 2 ⎬
(3.20)
⎩2
2 4 ⎝ 2 ⎠ ⎭
olduğundan (3.19) ifadesi
⎛ dy ⎞
⎜ ⎟
⎝ dp ⎠
olur. Bu durumda,
p=
0
= a
xJ
( x)
⎧ x
+ a0
⎨
⎩2
4
x
− 2
2 4
0 ln 0
2 2
⎛
⎜
⎝
dy
dp
⎞
⎟
⎠
p=
0
2
= a Y
0
0
( x)
⎛ 1 ⎞ ⎫
⎜1+
⎟ + ... ⎬
⎝ 2 ⎠ ⎭
bulunur (Uyhan, 1999). Y0 ( x)
fonksiyonuna 0 ıncı dereceden 2 inci çeşit Bessel
fonksiyonu denir. ν tamsayı iken Bessel denkleminin genel çözümünün

ulunabilmesi için ikinci lineer bağımsız özel çözümün bulunması gerekir. Bu çözüm
Yν (x)
ile gösterilir ve Yν (x)
fonksiyonu;
cosνπJν ( x)
− J −ν
( x)
Yν
( x)
=
sinνπ
(3.21)
şeklinde tanımlanmıştır. Yν ( x)
fonksiyonu Jν ( x)
ve J − ν ( x)
fonksiyonlarının bir
lineer birleşimi olduğundan Bessel denkleminin çözümü olduğu görülür. (3.21) ile
tanımlanan Yν ( x)
fonksiyonuna 2 inci cins ν dereceden Bessel fonksiyonu veya
Weber fonksiyonu denilir (Yıldız, 2000). Sonuç olarak A ve B keyfi sabitler olmak
üzere Bessel denkleminin genel çözümü;
şeklinde ifade edilir.
( x)
= AJ ( x)
+ BY ( x)
y ν
ν
3.3. Bessel Fonksiyonlarının İndirgeme Formülleri
Bessel fonksiyonları arasındaki bazı indirgeme formülleri aşağıda verilmiştir.
ν ( x)
= ( −1)
J ( x)
− ν = 1,
2,
3...
dir. (3.22)
J ν
ν
d
dx
d
dx
ν
ν
{ x J ( x)
} x J ( x)
ν
= ν −1
−ν
−ν
{ x J ( x)
} −x
J ( x)
ν
= ν + 1
( x)
= J ( x)
− J ( x)
J ′ ν −1
ν 1
14
(3.23)
(3.24)
2 ν +
(3.25)
J ′ = −J
(3.26)
0
1
2ν
− 1 ( x)
+ Jν
+ 1(
x)
= J
x
( x)
(3.27)
x J x = 2J
′ x
Jν ν
( ) − ν + 1(
) ( )
( x)
− J ( x)
= xJ
( x)
Jν −1
ν
(3.28)
xJν ν ′
ν
ν
−1 (3.29)
( r −1)
( r)
r.
Jν ( x)
= Jν
−r
( x)
− rJν
−r
+ 2 ( x)
+ Jν
−r
+
ν + r
2!
r
2 4
Benzer indirgeme bağıntıları ( x)
J ν
r
( x)
− ... + ( −1)
J ( x)
− Bessel fonksiyonu içinde elde edilebilir.
(3.30)

3.4. Hankel Fonksiyonları
Hankel fonksiyonları üçüncü çeşit Bessel fonksiyonları olarak isimlendirilir. Hankel
fonksiyonları birinci çeşit Bessel fonksiyonu Jν ( x)
ve ikinci çeşit Bessel fonksiyonu
Yν ( x)
ye bağlı olarak;
H
( 1)
ν
( x)
J ( x)
+ iY
( x)
15
( x)
− J ( x)
−νπi
e Jν
−ν
= ν
ν = i
(3.31)
sinνπ
( x)
− J ( x)
νπi
( 2)
e Jν
−ν
Hν
( x)
= Jν
( x)
− iYν
( x)
= −i
sinνπ
(3.32)
şeklinde ifade edilir (Koronev, 2002). Yukarıdaki fonksiyonlar sırasıyla ν inci
dereceden birinci ve ikinci çeşit Hankel fonksiyonları olarak isimlendirilir (Koronev,
2002). Ayrıca bu fonksiyonlar Bessel denkleminin lineer bağımsız çözümleridir.
Özellikle büyük x ler ( x → ∞)
için asimptotik tanımların basitliği nedeniyle birçok
uygulamada kullanılır. Yukarıda ifade edilen ν inci dereceden birinci ve ikinci çeşit
Hankel fonksiyonları kullanılarak aşağıdaki bağıntılar elde edilebilir.
( x)
1 (
ν ve H ( x)
) 2 (
H )
ν ile ifade edilen fonksiyonlar taraf tarafa toplanırsa;
( 2)
( x)
+ H ( x)
= 2J
( x)
( 1)
Hν ν
ν
[ ]
1 ( 1)
( 2)
Jν
( x)
= Hν
( x)
+ Hν
( x)
(3.33i)
2
ifadesi elde edilir. Taraf tarafa çıkarılırlarsa da;
( 2)
( x)
− H ( x)
= 2iY
( x)
( 1)
Hν ν
ν
[ ]
1 ( 1)
( 2)
Yν
( x)
= Hν
( x)
− Hν
( x)
(3.33ii)
2i
iνπ
elde edilir. Yine burada ν inci mertebeden birinci çeşit Hankel fonksiyonu e ve
ikinci çeşit Hankel fonksiyonu da
elde edilir. ≠ n
J
e
− ν
iνπ
H
ν ( N )
iνπ
e −
ile çarpılıp taraf tarafa toplanırsa;
( 1)
−iνπ
( 2)
( x)
+ e H = 2J
( x)
ν
ν
−ν
[ ]
1
= ν
ν
(3.33iii)
2
i νπ ( 1)
−iνπ
( 2)
( x)
e H ( x)
+ e H ( x)
n ∈ için burada elde edilen fonksiyonlarda Bessel
0
denkleminin bir temel çözüm sistemini oluşturur (Tuncer, 1997).

3.5. ν tek Tamsayının Yarısı iken Jν ( x)
Bessel Fonksiyonu
(3.16) ile ifade edilen Jν ( x)
fonksiyonunda
J
1
2
( x)
( −1)
16
1
ν = alınırsa,
2
∞
⎛ x ⎞
= ∑
⎜ ⎟
k = 0 ⎛ 3 ⎞ 2
k!
Γ k
⎝ ⎠
⎜ + ⎟
⎝ 2 ⎠
fonksiyonu elde edilir. Burada Gamma fonksiyonu;
k
1
+ 2k
2
⎛ 1 ⎞ ⎛ 1 ⎞⎛
1 ⎞⎛
1 ⎞ ⎛ 1 ⎞
Γ⎜k + 1 + ⎟ = Γ⎜1+
⎟⎜
+ 1⎟⎜
+ 2⎟...
⎜ + k ⎟
⎝ 2 ⎠ ⎝ 2 ⎠⎝
2 ⎠⎝
2 ⎠ ⎝ 2 ⎠
olarak yazılır.
⎛ 3 ⎞
Γ ⎜ ⎟ =
⎝ 2 ⎠
π
olduğu göz önünde bulundurulsun. Bu durumda
2
yukarıdaki Gamma fonksiyonu;
( 2k
+ 1)
⎛ 1 ⎞ 1.
2.
3...
Γ⎜k
+ 1+
⎟ = π
⎝ 2 ⎠ 2.
2.
2...
2
şeklinde ifade edilir. Yukarıdaki eşitliğin pay ve paydası 2. 4.
6...(
2k
) = 2k.
k!
ile
çarpılırsa;
⎛ 1 ⎞
Γ⎜ + + ⎟ = π
⎝ 2 ⎠
( 2k
+ 1)
k 1 2k
+ 1
eşitliği elde edilir (Tuncer, 1997). Bu eşitlik J ( x)
J
1
2
( x)
2
π x
= ∑ ∞
k = 0
2
k 2k
( −1)
x
( 2k
+ 1)
fonksiyonu elde edilir. Bu fonksiyonun türevi alınırsa;
fonksiyonu elde edilir.
J
dx
2
!
k!
1 fonksiyonunda yerine yazılırsa;
+ 1
!
=
2
sin x
πx
(3.34)
2 1 2
J ′ 1 ( x)
= cos x − cos x
(3.35)
π x x 2πx
2
( x)
ν J
= ν −1 − formülü kullanılarak
x
d ν
ν ( x)
J ( x)
1
d 2
1 ( x)
= J 1 ( x)
−
2
−1
x
2
J
dx
1
2
J
( x)

J ′
1
2
( x)
= J ( x)
− J ( x)
1
−
2
17
1
2x
eşitliği bulunur (Koronev, 2002). Bu eşitlik x ile çarpılırsa;
x J ′
1
2
1
2
( x)
= x J ( x)
− J ( x)
1
−
2
1
2
1
2
1
x J ′ 1 ( x)
+ J 1 ( x)
= x J 1 ( x)
(3.36)
2
−
2
2
eşitliği elde edilir. (3.34) ve (3.35) fonksiyonları, yukarıda yerine yazılırsa, ( )
fonksiyonu;
⎛
x⎜
⎜
⎝
2 1
cos x −
πx
x
1 ⎞ 1
cos x⎟
+
2πx
⎟
⎠ 2
2
2
sin x = xJ
πx
2 1 1 1 2
cos x − cos x + sin x = J 1
πx
x 2πx
2x
πx
−
2
olarak bulunur. ν ∈ Z olmak üzere
fonksiyonları cinsinden;
J
J
( x)
=
2
J 1 cos
− πx
2
( x)
= x
1
ν +
2
ν ( −1)
( 2x)
1
−
2
( x)
( x)
J 1 x
−
2
J Bessel fonksiyonları sinüs ve cosinüs
1
ν +
2
2 ( dx )
⎛ sin x ⎞
⎜ ⎟
⎝ ⎠
1
ν +
ν
x
2 π
( x)
şeklinde elde edilir (Koronev, 2002).
=
ν ( −1)
( 2x)
1
ν +
2
d
ν
2 ( dx )
⎛ cos x ⎞
⎜ ⎟
⎝ ⎠
1
−ν −
ν
x
2 π
3.6. Jν ( x)
ile J − ν ( x)
in lineer bağımsızlığı
1 = J ( x)
ile y = J −ν
( x)
y ν
d
ν
2 fonksiyonlarının lineer bağımsızlığı için wronskiyenin
sıfırdan farklı olması gerekir. Wronskiyen;

W ( y1
, y2
) =
y1
y′
1
y2
y′
2
ile ifade edilir. Bu durumda Jν ( x)
ve J − ν ( x)
fonksiyonları için wronskiyen;
W ( y1
, y2
) = W [ Jν
( x)
, J −ν
( x)
]
Jν
( x)
=
J ′ ν ( x)
J −ν
( x)
J ′ −ν
( x)
J ( x)
J ′ ν − ν ( x)
− J ν ( x)
J ′ − −ν
( x)
şeklinde bulunur. J − ν ( x)
ve ( x)
olduğundan (3.9) denklemi sağlanmalıdır. J − ν ( x)
ve ( x)
denkleminde yerine yazılırsa;
= . (3.37)
J ν fonksiyonları, Bessel denkleminin çözümü
18
J ν fonksiyonları, (3.9)
2
1 ⎛ ν ⎞
J ′′ ′
−ν + J −ν
+ ⎜
⎜1−
= 0
2 ⎟
⎟J
−ν
(3.38i)
x ⎝ x ⎠
2
1 ⎛ ν ⎞
J ′′ + ′ + ⎜
⎜1−
= 0
2 ⎟
ν Jν
Jν
(3.38ii)
x ⎝ x ⎠
denklemleri elde edilir. Yukarıdaki denklemlerden birincisi ν J ile ikincisi de −ν
ile çarpılırsa,
J ′
1
+ J ′ −
x
2 ⎛ ν ⎞
+ ⎜
⎜1−
2 ⎟
⎟J
⎝ x ⎠
′ −ν Jν
ν Jν
−ν
Jν
= 0
2
1 ⎛ ν ⎞
J ′ ′
ν J −ν + Jν
J −ν
+ ⎜
⎜1−
= 0
2 ⎟
⎟Jν
J −ν
x ⎝ x ⎠
denklemleri bulunur. Bu denklemler taraf tarafa çıkarılırsa da;
[ J J ′ − J J ′ ] = 0
J ′ − ′
ν J ν J −ν
Jν
denklemi elde edilir. Bu da;
1
+
x
ν −ν
−
d
dx
− ν ν
1
x
[ J J − J J ′ ] + [ J J ′ − J ′ J ] = 0
ν
′ −ν −ν
ν
ν −ν
−ν
ν
dw w
demektir. Buna göre + = 0 olup integrasyonla
dx x
w
( x)
( ν )
J
(3.39)
C
= (3.40i)
x

( ν ) x[
J J ′ − J J ]
C ′
= ν − ν −ν
ν
(3.40ii)
eşitlikleri yazılır. Burada x → 0 yapılarak C ( ν ) belirlenebilir (Tuncer, 1997).
Bunun için,
ve x → 0 için,
ve benzer biçimde
J
ν
∞
( x)
( −1
)
= ∑
k = 0
ν
k
k!
Γ
1
( k + ν + 1)
∞
⎛ x ⎞ 1
= ⎜ ⎟ +
⎝ ⎠ Γ(
ν + ) ∑
2 1 k = 1
ν
19
( −1)
⎛ x ⎞
⎜ ⎟
⎝ 2 ⎠
k
2k
+ ν
k!
Γ
2 ( 1 0(
x )
1
( k + ν + 1)
⎛ x ⎞
⎜ ⎟
⎝ 2 ⎠
2k
+ ν
⎛ x ⎞ 1
J ν ( x)
= ⎜ ⎟ +
(3.41)
⎝ 2 ⎠ Γ(
ν + 1)
ν −1
2 ( 1 0(
x )
⎛ x ⎞
J ′ ν ( x)
= ⎜ ⎟
⎝ 2 ⎠
1
2Γ(
ν )
+
(3.42)
yazılabilir. x = ν yerine –ν almakla x → 0 için
−ν
2 ( 1 0(
x )
⎛ x ⎞ 1
J −ν
( x)
= ⎜ ⎟
+
(3.43)
⎝ 2 ⎠ Γ(
1−ν
)
−ν
−1
2 ( 1 0(
x )
x
J ′
⎛ ⎞
−ν
( x)
= ⎜ ⎟
⎝ 2 ⎠
1
2Γ(
−ν
)
+
(3.44)
dir (Koronev, 2002). (3.41), (3.42), (3.43), (3.44) ifadeleri (3.40ii) de yerine konursa;
ν ⎡⎛
x ⎞ 1
⎢⎜
⎟
⎢⎝
2 ⎠ Γ 1
C (v)
= x⎢
−ν
⎢ ⎛ x ⎞ 1
− ⎜ ⎟
⎢
⎣ ⎝ 2 ⎠ Γ 1
⎡⎛
x⎞
= x⎢⎜
⎟
⎢⎣
⎝ 2⎠
−1
Γ
( + ν )
( −ν
)
1
2 ( 1+
O(
x )
( 1+
ν ) 2Γ(
−ν
)
−ν
−1
⎛ x ⎞ 1
⎜ ⎟
⎝ 2 ⎠ 2Γ
ν −1
⎛
⎜
2 ⎛ x ⎞ 1
1+
O(
x ) ⎜
⎜ ⎟
⎝ ⎝ 2 ⎠ 2Γ
2 ( 1+
0(
x )
2
⎛ x⎞
− ⎜ ⎟
⎝ 2⎠
( −ν
)
( ν )
−1
Γ
2 ( 1+
O(
x )
⎤
( ( ) ⎥
⎥ ⎥⎥⎥ ⎞ 2
1+
O x ⎟
1
( 1−ν
) 2Γ(
ν )
⎟
⎠⎦
⎤
2 2
( 1+
0(
x ) ⎥
⎥
eşitliği elde edilir. Burada x → 0 yapılırsa 0( ) 0
2 x = olur. Bu durumda C ( ν )
fonksiyonu;
1
1
C ( ν ) =
−
(3.45)
Γ
( 1+
ν ) Γ(
−ν
) Γ(
1−ν
) Γ(
ν )
⎦

olarak bulunur. Diğer yandan ( x)
Γ(
− x)
(3.45) den
C
( ν )
π
Γ 1 = de x = −ν
ve x = ν yazılırsa
sin πx
sinνπ
sinνπ
2sinνπ
= − − = −
π π π
2sinνπ
W [ Jν
( x)
, J − ν ( x)
] = −
πx
elde edilir. ν tamsayı olmamak üzere sinνπ ≠ 0 olduğundan W [ Jν
( x)
, J −ν ( x)
] ≠ 0
dır. Jν ( x)
ile ( x)
fonksiyonları lineer bağımsız olup, dolayısıyla bir temel
J −ν
çözüm sistemi oluşturur (Tuncer, 1997).
3.7. Değiştirilmiş (modifiye) Bessel Denklemi
2
x y + xy
+ ν
2 2 ( x − ) = 0
′ ′ y
ile ifade edilen Bessel denkleminde x = ± ix değişken değişimi yapılırsa,
2 ( ) ⎜ ⎟ + ( ix)
+ ( ix)
20
2 2 ( − ) = 0
⎞
ix ⎜ ⎟
ν
⎝ dx ⎠ ⎝ dx ⎠
2 ⎛ d y ⎛ dy ⎞
− 2 ⎜ ⎟
y
⎛ d y ⎞
⎜−
⎟
⎝ dx ⎠
dy
⎝ dx ⎠
2 2 ( − x − ) = 0
2
2
⎛ ⎞
− x ⎜ ⎟ + x +
2 ⎜ ⎟ ν y
⎛ d y ⎞
⎜
⎝ dx
⎟
⎠
dy
⎝ dx ⎠
2 2 ( x + ) y = 0
2
2 ⎛ ⎞
x ⎜ ⎟ + x −
2 ⎜ ⎟ ν
2 2 ( x + ) = 0
′ ′ y
2
x y + xy
− ν (3.46)
denklemi elde edilir. Bu denklem Değiştirilmiş (modifiye) Bessel denklemi olarak
bilinir. Değiştirilmiş (modifiye) Bessel denkleminin çözümleri
K
ν
−ν
Iν ( x)
= i Jν
( ix)
π I −ν
( x)
− Iν
( x)
( x)
=
2
sinνπ
olarak tanımlanmıştır. ν nin tamsayı olması durumunda ( x)
= I ( x)
I ν ν
− olduğundan
Modified Bessel denkleminin ikinci çözümü Kν ( x)
fonksiyonudur (Yıldız, 2000). ν

nin tamsayı olmaması durumunda ise bu denkleminin çözümleri I − ν ( x)
ile Iν ( x)
fonksiyonlarıdır.
3.8. Jacobi Açılımı ve Bessel İntegrali
x⎛
1 ⎞
t−
⎜ ⎟
2⎝
t ⎠
t ≠ 0 için ϕ ( x,
t)
= e fonksiyonunu gözönüne alalım.
ϕ
( x,
t)
= e
= e
x⎛
1 ⎞
⎜ t−
⎟
2⎝
t ⎠
x
t
2
e
x
− t
2
s
r
⎛ ⎞⎛
⎞
⎜ ⎛ x ⎞ ⎟⎜
⎛ x ⎞
⎜−
⎟ ⎟
∞ ⎜ ⎟ ∞
⎜ ⎝ 2 ⎠ s ⎟⎜
⎝ 2 ⎠ ⎟
= ⎜∑
t ⎟⎜∑
r ⎟
s=
0 s!
s=
0
⎜ ⎟⎜
r!
t
⎟
⎜ ⎟⎜
⎟
⎝ ⎠⎝
⎠
bulunur (Tuncer, 1997). m 1
t ve nin katsayılarını belirlenirse;
m
t
ϕ
( , t)
21
x
e , Maclaurin serisinden
m+
k
k
k
m+
k
m+
r ⎛ x ⎞ ⎛ x ⎞ ⎛ x ⎞ ⎛ x ⎞
t ∞ ∞ ⎜ ⎟ ⎜−
⎟ ∞ ∞ ⎜ ⎟ ⎜−
⎟
x
⎝ 2 ⎠ ⎝ 2 ⎠
+
⎝ 2 ⎠ ⎝ 2
=
⎠
∑∑ ∑∑
+
m= 0 k=
0
m= 1 k=
0
!
=
=
∞
m k
( m + k)
! r!
k!
( m + r)
t
2k
+ m
2k
+ m
⎛ x ⎞
⎛ x ⎞
∞ k ⎜ ⎟
∞
∞ k ⎜ ⎟
m ( −1)
2 1
( )
( 1)
2
t
⎝ ⎠
m −
+ 1
⎝ ⎠
m
0 0 k!
( m k)
∑ − ∑
= + ! m= 1tk= 0 k!
( m + k)!
∑ ∑
m= k
∞
∑
m=
0
−m
( x)
+ t J ( x)
∑
m
t J m
m
m=
1
m
elde edilir (Tuncer, 1997). ( ) ( x)
= J ( x)
ϕ
∞
−1 olduğundan
J m
−m
x
∞
∑ m
∞
∑ −m
m=
0
m=
1
m
−m
( , t)
= t J ( x)
+ t J ( x)
ϕ
x
m
∑
m
m
+∞ =
= −∞
m
( , t)
= t J ( x)
(3.47)

elde edilir. (3.47) ifadesi ( x,
t)
1997). t yerine
( x,
t)
= ϕ⎜
x,
⎟
⎝ t ⎠
1
− konursa;
t
x⎛
1 ⎞
⎜ t−
⎟
2⎝
t ⎠
ϕ = e nin t = 0 da Laurent açılımıdır (Tuncer,
ϕ
( x,
t)
⎛ 1⎞
ϕ − olur. Buradan
ϕ
elde edilir. Açılımın tekniğinden
olarak bulunur.
= e
= e
= e
x⎛
1 ⎞
⎜ t−
⎟
2⎝
t ⎠
⎛ ⎞
⎜ ⎟
x
⎜
1 1
− − ⎟
2⎜
t 1 ⎟
⎜ − ⎟
⎝ t ⎠
x⎛
1 ⎞
⎜ t−
⎟
2⎝
t ⎠
22
= e
x⎛
1 ⎞
⎜ − + t ⎟
2⎝
t ⎠
⎛ 1⎞
= ϕ ⎜ x,
− ⎟
⎝ t ⎠
x
+∞
∑ −
m=
−∞
−m
m
( , t)
= ( 1)
J ( x)
m
−m
m
( 1 ) ( x)
= ( −1)
J ( x)
= ( −1)
J ( x)
= J ( x)
− J −m
−m
−m
m
x
x
t
∑
m
m
+∞
⎛ 1 ⎞
−
= −∞
⎜ ⎟
2⎝
t ⎠
m
( , t)
= e = t . J ( x)
ϕ (3.48)
Fonksiyonuna, Bessel fonksiyonuna ilişkin doğurucu fonksiyon denir. (3.47)
eşitliğinde
t ± e
iθ
= olarak alınırsa,
x⎛ iθ
1 ⎞ x
⎜ e − ⎟
iθ
−iθ
i ( e −e
)
2 θ
⎝ e ⎠ 2
imθ
e = e = e J m
∑
m
+∞
= −∞
iθ
−iθ
e − e
θ
olur. Burada sinθ
= ve e mθ
i mθ
2i
im
= cos + sin olduğundan
bulunur. Buradan
( x)
( cos mθ
+ i sin m ) J ( x)
ix
e ∑
m
m
∞
sinθ
=
= −∞
θ
−1
ix sinθ
e = ∑
m 0
∞
∑
m
m=
−∞
m=
1
( cos mθ
+ i sin mθ
) J ( x)
+ J ( x)
+ ( cos mθ
+ i sin mθ
) J ( x)

=
J 0
∞
∑
−m
∞
∑
m
n=
1
m=
1
( x)
+ ( cos mθ
− i sin mθ
) J ( x)
+ ( cos mθ
+ i sin mθ
) J ( x)
m
şeklinde yazılabilir. ( x)
= ( −1)
J ( x)
J m
m
− olduğundan
m
( cos sin mθ
) J ( x)
m
( x)
+ mθ
+ ( −1)
cos mθ
+ i sin mθ
− i(
−1)
∑
m
∞
= 1
ix sinθ
e = J
m
0
J 0
∞
∑ 2
m=
1
2m
2m+
1
( x)
+ ( cos(
2mθ
) J ( x)
+ 2i
sin(
( 2m
+ 1)
) ) J ( x)
= θ
∞
( x)
+ 2 J ( x)
cos 2m
± 2i
J ( x)
sin(
2m
+ 1)
∑
m=
1
23
∞
∑
= J θ θ (3.49)
0
2m
elde edilir. e x i x
ix
= cos + sin olduğundan (3.49) eşitliğinin reel ve sanal kısımları
ayrılırsa
m=
0
2m+
1
( sin ) = J ( x)
+ 2 J ( x)
0
∑ ∞
m=
1
cos x θ cos 2mθ
(3.50i)
sin
2m
( sin ) = 2 J ( x)
sin(
2m
+ 1)
∑ ∞
m=
0
x θ θ
(3.50ii)
2m+
1
π
olarak elde edilir. (3.50i) eşitliğinde θ yerine −θ
yazılırsa
2
( ) ∑ ( )
∞
⎛ ⎛ π ⎞⎞
⎛ π ⎞
cos⎜
xsin⎜ −θ
⎟⎟
= J 0 x + 2 J 2m
x cos 2m⎜
−θ
⎟
⎝ ⎝ 2 ⎠⎠
m=
1
⎝ 2 ⎠
cos
( x cosθ
) = J ( x)
+ 2 J ( x)
cos(
mπ
− 2mθ
)
0
∑ ∞
m=
1
2m
m
( cos ) = J ( x)
+ 2 ( −1)
J ( x)
0
∑ ∞
m=
1
cos x θ cos 2mθ
(3.51i)
π
elde edilir. (3.50ii) eşitliğinde de θ yerine −θ
yazılırsa
2
2m
∑ ( ) ( )
∞
⎛ ⎛ π ⎞⎞
⎛ π ⎞
sin⎜
xsin⎜ −θ
⎟⎟
= 2 J 2m+
1 x sin 2m
+ 1 ⎜ −θ
⎟
⎝ ⎝ 2 ⎠⎠
n=
0
⎝ 2 ⎠
sin
m
( cos ) = 2 ( −1)
J ( x)
cos(
2m
+ 1)
∑ ∞
n=
0
x θ θ
(3.51ii)
elde edilir. (3.50i), (3.50ii), (3.51i) ve (3.51ii) açılımlarına Jacobi açılımı adı verilir.
(3.50i) ifadesinde m yerine k alınır, eşitliğin her iki yanı cos mθ
ile çarpılır ve 0
dan π ye kadar integrali alınırsa,
2m+
1

π π
∞ ⎡
⎤
∫cos ∫⎢0∑2k⎥ 0 0⎣k= 1
⎦
( xsinθ
) cos mθdθ
= J ( x)
+ 2 J ( x)
cos( 2kθ
) cos mθdθ
=
π
∫
0
0
24
π ∞
∫∑
0 k = 1
2k
( x)
cos(
2kθ
)
J ( x)
cos mθdθ
+ 2 J
cos mθdθ
∫∑ ∞ π
0 = 1
= 2
k
cos
( x)
( 2k
θ ) J ( x)
2k
cos mθdθ
⎧πJ
m
= ⎨
⎩ 0
m = 2k⎫
⎬
m ≠ 2k⎭
(3.52)
elde edilir (Korenev, 2002). Benzer şekilde (3.50ii) eşitliğinde m yerine k alınır,
eşitliğin her iki yanı sin mθ
ile çarpılır ve 0 dan π ye kadar integrali alınırsa,
π
∫
0
∞
∫∑
0 k = 0
2k
+ 1
( x)
sin(
2k
+ 1)
sin( xsinθ
) sin mθdθ
= 2 J
θ sin mθdθ
⎧ 0 m = 2k
+ 1 ise
= ⎨
⎩πJ
m ( x)
m ≠ 2k
−1
ise
elde edilir (Korenev, 2002). (3.52) ve (3.53) eşitlikleri taraf tarafa toplanırsa,
π
( x)
= [ cos( xsinθ
) cos mθ
sin( xsinθ
) sin mθ
] dθ
π J m ∫ +
=
0
π
∫
0
cos( m θ − xsinθ
) dθ
π
(3.53)
1
J m ( x)
= θ θ θ
π ∫ cos( m − xsin
) d
(3.54)
0
elde edilir (Korenev, 2002). Burada m sıfır ya da pozitif tamsayıdır. (3.54) eşitliğine
Bessel integrali denir.
3.9. Bessel Denklemine Dönüşebilen Denklemler
Bessel denkleminin kanonik şekilde yazılışı;
2 2 ( x − ) = 0
2
x y′
′ + xy′
+ ν y
şeklindedir. Bu denklemdeki x ve y değişkenleri, yeni bir t değişkeni ve u ( t)
fonksiyonuna bağlı olarak tanımlansın. Yani;

β
α
x = γ t ve y t u(
t)
25
= (3.55)
özel dönüşümleri yapılsın. Burada β , γ ≠ 0 olmak üzere α, β ve γ sabitlerdir
(Yıldız, 2000). Bessel denklemi bu dönüşümler altında tekrar düzenlenirse,
bulunur. Yani,
dx
dt
= γ β t
β −1
dy 1−β
dy dt 1
= = t
dx dt dx βγ
2
y d ⎛ 1
= ⎜ t
2
dx dx ⎝ βγ
d 1−β
=
=
1 d ⎛
⎜t
βγ dt ⎝
1
t 2 2
β γ
1−β
1−β
⎛
⎜
⎝
dy
dt
dy ⎞
⎟
dt ⎠
dy ⎞ dt
⎟
dt ⎠ dx
2
y
= 2
dx
1 1−β
⎛
t ⎜
2 2
β γ ⎝
dy
dt
elde edilir. (3.55) dönüşümlerinin ikincisinden,
yani,
dy
dt
d β
2
y d ⎛ dy ⎞
= = t
2 ⎜ ⎟ α
dt dt ⎝ dt ⎠
= t
dx
2
d y ⎞
2
dt ⎠
( ) ⎟ −β
1−β
1−
β t + t
2
d y ⎞
2
dt ⎠
( ) ⎟ −β
1−
1−
β t + t
dy α
1
du
+ t
dt
(3.56)
du α −
+ α t u()
t
(3.57)
dt
d α −1
α
α −1
2
d u
+ α 2
dt
α −2
( α −1)
t u(
t)
+ α t
2
2
d y α d u α −1
du
α −2
= t + 2α
t + α(
α −1)
t u(
t)
(3.58)
2
2
dt dt dt
elde edilir (Yıldız, 2000). (3.55)-(3.56) ifadeleri, kanonik tipli Bessel diferansiyel
denkleminde yerine yazılır ve yeniden düzenlenirse;
veya,
2β
t
t 2
β
1−β
⎛
⎜
⎝
dy
dt
2
d y ⎞
2
dt
⎟
⎠
β
t
β
dy
dt
du
dt
−β
1−β
1−β
2 2β
2
( 1−
β ) t + t ⎟ + t + ( γ t −ν
) y = 0
2 2 2β
2 2
[ β γ t − β ] = 0
d y dy
+ y
dt dt
2
2
t 2 t +
ν
(3.59)

şeklinde yazılabilir. (3.57) ve (3.58) ifadeleri yukarıdaki son denklemde yerlerine
yazılırsa,
t
2
⎡
⎢t
⎣
α
⎡
+ t
⎢
t
⎣
α
2
d u
+ 2α
t
2
dt
du
+ α t
dt
α −1
α −1
⎤
u
⎥
+
⎦
du
+ α
dt
elde edilir (Yıldız, 2000). Bu ifade düzenlenirse,
26
( α −1)
t
α −2
⎤
u⎥
⎦
2 2 2β
2 2 α
[ β γ t − β ν ] t u = 0
2
2 d u du 2 2 2 2 2 2β
t + ( 2α
+ 1)
t + ( α − β ν + β γ t ) u = 0 (3.60)
2
dt
dt
2 2 2
2 2
elde edilir. Bu denklemde; a = 2 α + 1,
b = α − β ν , c = β γ , m = 2β
alınırsa,
m ( b + ct ) = 0
2
2 d u du
t + at +
2
dt dt
u
(3.61)
elde edilir. Burada a ≠ 0, b ≠ 0,
c ≠ 0 dır. Kanonik tipli Bessel denkleminin genel
çözümü
( x)
c J ( x)
+ c J ( x)
y = 1 ν 2 −ν
şeklindedir. Sonuç olarak (3.55) özel dönüşümü göz önüne alınarak, (3.60)
şeklindeki Bessel denklemine dönüşen bir denklem sınıfının çözümü, kanonik tipli
Bessel denkleminin çözümü vasıtasıyla,
şeklinde bulunur (Yıldız, 2000).
−α
−α
β −α
β
() t t y(
x)
= c t J ( γ t ) + c t J ( γ t )
u = 1 ν
2 −ν
(3.62)
2
2 d y dy ⎛ 1 6 ⎞
Örnek3.1. t + 3t
+ = 0
2 ⎜ + t ⎟y
denklemi verilsin. Bu denklemin genel
dt dt ⎝ 9 ⎠
çözümünü bulunuz.
Çözüm:
Burada, (3.61) ile verilen denklemden; a , b,
c ve m ifadeleri;
b
a = 2 α + 1 = 3
2 2 2
= α − β ν
c
2 2
= β γ
m
= 2 β =
=
= 1
6
1
9

olur. Yukarıdaki denklemler çözüldüğünde α , β,
γ , m değerleri;
1 2 2
α = 1 , β = 3,
γ = , m =
3 9
olarak bulunur. (3.62) den denklemin çözümü,
−1 ⎛ 1 3 ⎞ −1
⎛ 1 3 ⎞
y () t = c1t
J ⎜ t ⎟ + c
2 2
2t
J 2 2 ⎜ t ⎟
⎝ 9 ⎠
− ⎝ 3 ⎠
şeklinde bulunur.
3.10: Fourier-Bessel Açılımları
Bir f (x)
fonksiyonu seri şeklinde;
9
∑ ∞
⎛ x ⎞
f ( x)
= ak
Jν
⎜ µ k ⎟
(3.63)
k = 1 ⎝ λ ⎠
olarak verilsin. Burada ν > −1
ve µ µ , µ ... ; Jν ( x)
= 0 denkleminin pozitif
1 , 2 3
⎛ x ⎞
kökleridir. a k katsayılarını belirlemek için (3.63) açılımının her iki tarafı xJν ⎜ µ k ⎟
⎝ λ ⎠
ile çarpılır ve [ , λ]
0 aralığında integrali alınırsa;
λ λ
⎛ x ⎞ ⎛ x ⎞ ⎛ x ⎞
( dx
∫xf x)
Jν
⎜ µ k ⎟dx
= ∫akJν⎜µ k ⎟Jν
⎜ µ k ⎟
⎝ λ ⎠ ⎝ λ ⎠ ⎝ λ ⎠
0 0
elde edilir. Burada Bessel fonksiyonlarının aşağıdaki ortogonallik özelliğinden
yararlanılır.
λ
⎛ x ⎞ ⎛ x ⎪
⎧ 0
⎞
2
2
⎜ µ k ⎟Jν
⎜ µ i ⎟dx
= ⎨λ
λ
⎝ λ ⎠ ⎝ λ ⎠ ′
⎪⎩
Jν
µ
2
27
9
k ≠ i
⎪
⎫
⎬
∫ xJν
i
0 2
( µ k ) = Jν
+ 1(
i ) k =
⎪⎭ (3.64)
(3.64) eşitliği ν ye göre Bessel fonksiyonlarının ortogonallik şartıdır. (3.64) eşitliği
göz önüne alındığında a i katsayıları;
2
⎛ x ⎞
i =
xf x J dx
J ( ) ∫ ( ) ν ⎜ µ
2 2
⎟
µ ⎝ λ ⎠
a k
λ ν + 1 k 0
λ
(3.65)
şeklinde bulunur. (3.63) formülündeki a i katsayıları (3.65) formülü ile belirlenir ve
f (x)
fonksiyonuna Fourier Bessel seri ayrışımı denir.

4.BESSEL KARESİ DENKLEMİNİN ÇÖZÜMLERİ VE BU DENKLEM İÇİN
LİM-4 DURUMU
Aşağıdaki dördüncü mertebeden diferansiyel denklemi göz önüne alalım;
Ly ⎡ + λ
r x ⎢⎣
⎥⎦
′
1 ″
= 2
1
0
( )
( q y′
′ ) − ( q y′
) q y⎤
= y
28
a < x < b , (4.1)
burada q0, q1 , 1 q′ , q2 , q′ 2 , q ′ 2 nin q2 > 0 olmak üzere bu fonksiyonların ( a , b)
aralığında sürekli ve reel değerli olduğu farz edilir. Buradaki amaç Bessel
diferansiyel denkleminin karesi için öz fonksiyon açılım elde etme noktasına kadar
analizler yapmaktır. ν inci dereceden Bessel denklemi ;
2
d y
2
dx
şeklindedir. Bu denklemde s = λ alınırsa,
elde edilir. Burada ;
2
d y
2
dx
2
1 dy 2 ν
+ + ( s - ) y = 0 (4.2)
2
x dx x
2
d y
dx
- 2
1
+
x dx
2
dy ν
+ λ y - y = 0
2
2
1 dy ν
- + y = λ y
2
x dx x
2
2
1 d y dy ν
(- x - + y ) = λ y
2
x dx dx x
2
d y dy ′
- x - = - ( x y′
) 2
dx dx
olduğundan yukarıda yerine yazılırsa;
2
1 ν
My = (- ( x y′
) ′ + y) = λ y (4.3)
x
x
denklemi elde edilir. Bu denkleme Bessel diferansiyel denklemi denir. Bu denkleme
M işlemi tekrar uygulanırsa;
( ) ⎟ 2
1 ⎛
ν ⎞
My = ⎜
⎜−
xy′
′ + y′
+ y
x ⎝
x ⎠
2
y′
ν
My =
− y′
′ − + y 2
x x
x

⎧
′
2
2
2
2 ⎫
1 ⎪ ⎡ ⎛ y′
′ y′
ν 2ν
⎞⎤
⎡ν
⎛ y′
ν ⎞⎤⎪
y = ⎨−
⎢x
⎜
⎜−
y′
′
− + + y′
− y ⎟
⎟⎥
+ ⎢ ⎜
⎜−
y′
′ − + y ⎟
2 2
3
⎥⎬
x ⎪ ⎣ ⎝ x x x x ⎠⎦
⎣ x ⎝ x x ⎠⎦
⎩
⎪
⎭
2
M 2
⎧
2
2 ′
2
2 4 ⎫
1 ⎪ ⎡
y′
ν 2ν
⎤ ⎡ ν ν ν ⎤⎪
= ⎨−
⎢−
xy′
′
− y′
′ + + y′
− y⎥
+ ⎢−
y′
′ − y′
+ y
2
2 3 ⎥⎬
x ⎪ ⎣
x x x ⎦ ⎣ x x x ⎦
⎩
⎪
⎭
2
2
2
2
⎧ ⎡
y′
′ y′
ν ν 2ν
4ν
⎤⎫
⎪−
⎢−
y′
′
− xy′
′
′ − y′
′
+ − + y′
′ − y′
− y′
+ y
2
2
2
3 ⎥⎪
1 ⎪ ⎣
x x x x x x ⎦⎪
= ⎨
⎬
x
2
2 4
⎪ ⎡ ν ν ν ⎤
⎪
⎪
+ ⎢−
y′
′ − y′
+ y
2 3 ⎥
⎪
⎩ ⎣ x x x ⎦
⎭
2
2
2
2
⎧
y′
′ y′
ν ν 2ν
4ν
⎫
⎪
⎪xy′
′
′ + 2y′
′
− + − y′
′ + y′
+ y′
− y
2
2
3
1
⎪
x x x x x x
= ⎨ 2
2 4
⎬
x ⎪ ν ν ν
− y′
′ − y′
+ y
⎪
⎪
2 3
⎩ x x x
⎪⎭
⎨
x ⎩
′
⎜
⎝ x x ⎟
⎠
⎜ 2
⎝ x
2
x
⎟
⎠
⎜
⎝
3
x
⎞ ⎫
⎟
⎟y⎬
⎠ ⎭
elde edilir. Burada gerekli düzenlemeler yapılarak ;
2
2
2 2
1 ⎧
⎛ 1 2ν
⎞ ⎛ 1 2ν
⎞ ⎛ν ( ν − 4)
= xy
′
′ + 2y′
′
− ⎜ + ⎟y′
′ + ⎜ + ⎟y′
+ ⎜
⎡
2 ′ 2 2 ⎤
2 1
ν ν ν
M y ⎢ ″ ⎛1
+ 2 ⎞ ( − 4)
= λ
x ⎢ ⎜ x ⎟
3
⎝ ⎠ x ⎥
⎣
⎦
( xy′
′ ) − ⎜ y′
⎟ + y⎥
= y
29
(4.4)
denklemi elde edilir. Burada elde edilen dördüncü merteben diferansiyel denkleme
de Bessel karesi denklemi denir. (4.1) ve (4.4) denklemleri aynı olduğundan
bulunur.
r ( x)
= x , q ( x)
= x
2 , 1( ) x
2
1+ 2ν
q =
x
2 2
q 0 x = 3
, ( )
4.1 Hamilton Sistem Formülü ve Regüler Sınır Koşulları
ν ( ν − 4)
x
Dördüncü mertebeden diferansiyel denklemi Hamilton sistem şekline çevirmek için
⎡ y1
⎤ ⎡ y ⎤
⎡Y
⎢ ⎥
1 ⎤
Y= ⎢ ⎥ = ⎢
y
⎢
⎥
2 ⎥ = ⎢
y′
⎥
⎣Y2
⎦ ⎢ y ⎥ ⎢
⎥
3 − ( q ′
′ ′
2 y ) + q1
y
⎢ ⎥ ⎢
⎥
⎣y
4 ⎦ ⎣ q y′
′ 2 ⎦
(4.5)

eşitliği kullanılarak (4.1) dördüncü mertebeden diferansiyel denklemi;
⎡
r x
⎛−
q
⎤
⎢
⎛ ( ) 0 0 0⎞
0 0 0 0 ⎞
⎜
⎟
⎜
⎟⎥
⎢
⎜ − q ⎟⎥
JY ′
⎜ 0 0 0 0
0 1 0 0
⎟
= ( λ A+B) Y = ⎢λ
⎜
⎟ + ⎜ 0 1 0 0 ⎟⎥Y
(4.6)
⎢ 0 0 0 0
⎜
⎟
⎜
1 ⎟⎥
⎢ ⎜
⎟
⎜ 0 0 0 ⎥
⎣
q ⎟
⎝ 0 0 0 0⎠
⎝
2 ⎠⎦
şeklinde ifade edilebilir. Burada hem A hem de B reel ve simetrik matrislerdir. J
matrisi
J = ⎟ ⎛0
⎜
⎛ 0 − I 2 ⎞ ⎜0
⎜ =
⎝ I 2 0 ⎜
⎠ 1
⎜
⎝0
30
0
0
0
1
−1
0
0
0
0 ⎞
⎟
−1⎟
0 ⎟
⎟
0 ⎟
⎠
(4.7)
şeklinde tanımlanmıştır (Fulton, 1988). Dördüncü mertebeden diferansiyel
denklemin çözümleri φ 1 , φ 2 sembolleri ile ve (4.5) den elde edilen vektörler de
( 1)
( 2)
Φ ,Φ sembolleri ile gösterilsin. (4.1) dördüncü mertebeden diferansiyel
denklemin çözümleri y ( x,
λ)
ve z ( x,
µ ) olsun; bu durumda denklemin Green
formülü;
olarak bulunur (Fulton, 1988). Burada [ , z]
( x)
b
[ y, z](
x)
= ( zLy yLz)
r(
x)
=
∫ −
a
b
∫
a
b
b
∫
a
[ y,
z]
b
( zLy − yLz)
r(
x)
dx = ( x)
Ι
(4.8)
dx
⎧ z ⎡ ″ ′
⎨
+
⎩r
x ⎢⎣
2
1
( )
y ;
( q y′
′ ) − ( q y′
) q y⎤
− ( q z′
′ ) − ( q z′
)
0
⎥⎦
a
⎡ ⎫
+ ⎤
⎢⎣
⎥⎦
⎬
⎭
′
y ″
2
1 q0
z dx
r(
x)
∫ ( ) ( ) ( ) ( )
⎭ ⎬⎫
⎧ ⎡ ⎡ ″ ′ ⎤
⎨
+ ⎤ − ′
− ′ +
⎩ ⎢⎣
⎥⎦ ⎢⎣
⎥⎦
′ ″
= z q ′
− ′
2 y q1
y q0
y y q2
z q1z
q0
z dx
a
q y′
′
′
′
z − q y′
′ z′
+ q y′
′ z − q y′
z − q yz′
′
+ q y′
z′
′ − q yz′
′ + q yz′
= 2
2
2
1 2
2
2
1
[ ( y′
′
z − yz′
′
) − ( y′
′ z′
− y′
z′
′ ) ] − q [ y′
z − yz′
] + q′
[ y′
′ z − yz′
]
= 2 1
2
(4.9)
q ′
olarak elde edilir. Z ( x,
λ)
ve Y ( x,
λ)
, (4.5) in yöndeş vektörleri ise Green
formülünün;

T
T b
− ( µ − λ)∫
Z AYdx = Z JY |
(4.10)
versiyonu elde edilir (Fulton, 1988). (4.5) kullanılarak;
Z
T
⎡
⎢
JY = ⎢
⎢−
⎢
⎣
z
z′
′
⎤
⎥
⎥
a
⎡0
⎢
⎢
0
( q z′
′ ) + q z′
⎥ ⎢1
0 0 0 ⎥⎢−
( q y′
′ )
2
q z′
′
= z z′
− ( q z′
′ )
2
1
⎥
⎦
T
⎢
⎣0
0
0
1
−1
⎡
⎢⎣
2
′
+ q ′ 1z
⎡0
⎢
q z′
′ ⎤⎢
0
2 ⎥⎦ ⎢1
⎢
⎣0
= − ( q z′
′ )
bulunur. Buradan da;
0
0
31
0 ⎤⎡
⎥⎢
−1
⎥⎢
⎥⎢
0 ⎦⎣
⎡
⎢⎣
2
′
+ q ′ 1z
q ′
2 z − z
⎡
⎢
− z′
⎤⎢
⎥⎦ ⎢−
⎢
⎣
0
0
0
1
a
2
−1
0
0
0
( q y′
′ )
2
y ⎤
y′
⎥
⎥
′
+ q ′ ⎥ 1 y
⎥
q y′
′ 2 ⎦
0 ⎤⎡
⎢
−1
⎥
⎥⎢
0 ⎥⎢−
⎥⎢
0 ⎦⎣
y ⎤
y′
⎥
⎥
′
+ q ′ ⎥ 1 y
⎥
q y′
′ 2 ⎦
= y ( q z′
′
′
′
) + yq z′
+ q z′
′ y′
+ z(
q y′
′ ) − zq y′
− z′
q y′
′
− 2
1 2
2
1
2
y ⎤
y′
⎥
⎥
′
+ q ′ ⎥ 1 y
⎥
q y′
′ 2 ⎦
( q y′
′ )
= y q z q z yq z q z y z⎜
⎛ ′
⎜
⎛ ′
− ′
+ ′
⎟
⎞ + ′ + ′
′ + q y′
′ + q y′
′
⎟
⎞ − zq y′
− z′
q y′
′
2 2
1 2
2 2
1
2
⎝
⎠
⎝
⎠
= y ( q z′
′
′ ) + yq z′
+ q z′
′ y′
+ z(
q y′
′
′ ) − zq y′
− z′
q y′
′
− 2
1 2
2
1
2
= q [ ( y ′
z − yz′
′
) − ( y′
′ z′
− y′
z′
′ ) ] − q [ y′
z − yz′
] + q [ y′
′ z − yz′
′ ]
2
′ 1
2
[ y,
z]
′
2
=[y,z](x)
Z JY x
T
( )( ) = (4.11)
eşitliğinin sağlandığı görülür. (4.1) dördüncü mertebeden diferansiyel denkleminin
dört çözümünün wronskiyenlerini değerlendirmek için bir özdeşliğe ihtiyaç vardır.
Bu özdeşlik; üçüncü mertebeden türevleri sürekli olan, dört fonksiyonu
u , u , u , u } şeklinde tespit edilen cebirsel bir niceliktir. Dördüncü merteben
{ 1 2 3 4
diferansiyel denklem için wronskiyen;
W x
( u , u , u , u )
1
2
3
4
u1
u′
u′
′ 1
u′
′
1 2 3 4
= (4.12)
1
u2
u′
u′
′ 2
u′
′
2
u3
u′
u′
′ 3
u′
′
3
u4
u′
u′
′ 4
u′
′
4

şeklinde tanımlanır. Bu durumda;
q
2
2
W
x
[ u1,
u2
] ( ) [ u ] x 3,
u4
( x)
[ u1,
u3
] ( ) [ u ] x 2 , u4
( x)
[ u1,
u4
] ( ) [ u u ] x 2 , 3 ( x)
⎧−
⎫
⎪
⎪
( u1,
u2
, u3
, u4
) = ⎨+
⎬
(4.13)
⎪
⎪
⎩
−
⎭
eşitliği elde edilir (Fulton,1988). ( a , b)
aralığındaki dördüncü mertebeden
diferansiyel denklem ile ilişkisi olan maksimal L 1 operatörünün tanım kümesi;
3
D( L ) = { f ∈ L (( a,
b);
r | f ∈ C ( a,
b)
ve
1
2
32
( 4)
f nün ( , b)
a deki öz alt kümeleri
mutlak süreklidir, Lf ∈ L (( a,
b);
r)}
(4.14)
2
şeklinde ifade edilsin. Eğer x = a regüler bir uç noktası olursa, o zaman x = a da iki
sınır koşulu verilebilir. α 1 ve α 2 reel 2 x 2 matrisleri;
α α + α α = I
(4.15i)
1
T
1
2
T
2
2
T T
α α − α α = 0
(4.15ii)
1
koşullarını sağlasın. Bu matrisler yukarıdaki koşullara denk olan;
T
1
2
1
2
T
2
1
α α + α α = I
(4.15iii)
T
α α −α α = 0
T
1
2
2
2
1
2
(4.15iv)
koşullarını da sağlar. f ∈ D L ) ve F nin (4.5) değişkenler değişimi adı altında
( 1
yöndeş vektörler oldukları düşünülürse, x = a daki iki regüler sınır koşulları;
( α 1 , α 2 ) F (a) = α1 F 1(a)
+ α 2 2
F (a)
⎡ f ( a)
⎤ ⎡−
( q ′
′ ′
2 f ) ( a)
+ q1
f ( a)
⎤ ⎡0
⎤
= α1 ⎢ ⎥ + α 2
⎣ f ′ ( a)
⎢
⎥ =
⎦ ⎣ q ′
2 f ( a)
⎢ ⎥ (4.16)
⎦ ⎣0⎦
olarak yazılabilir. Benzer bir şekilde, eğer x = b regüler bir uç noktası olursa β 1 ve
β 2 reel 2 x 2 matrisleri seçilsin. Bu matrisler
β β + β β = I
(4.17i)
1
T
1
2
T
2
2
T
T
β β − β β = 0
(4.17ii)
koşullarını sağlasın. Buradan da iki regüler sınır koşulları;
( β 1 , β 2 ) F (b) = β1 1 F (b) + β 2 2
= 1
1
2
⎡ f ( b)
⎤
β ⎢ ⎥
⎣ f ′ ( b)
⎦
2
1
F (b)
⎡−
( q ′
′ ′
2 f ) ( b)
+ q1
f ( b)
⎤ ⎡0
⎤
β ⎢
⎥ =
⎣ q ′
2 f ( b)
⎢ ⎥⎦ (4.18)
⎦ ⎣0
+ 2

olarak yazılır. Burada x = a ve x = b deki regüler sınır koşulları (4.6) Hamilton
sistemi için self-adjoint sınır değer problemini ifade etmektedir. Diğer bir alternatifte
dördüncü mertebeden (4.1) diferansiyel denklemi x = a ve x = b deki regüler sınır
koşulları ile birlikte bir sınır değer problemi olarak kabul edilebilir (Fulton, 1988).
Bu da hem sistem formülünü hem de özdeğer probleminin skaler dördüncü
mertebeden formülünü elde etmeye yardımcı olur. Buradaki amaç Bessel karesi
denkleminin açılım teorisini ele almak için nasıl genişletilebileceğini göstermektir.
α i ve β i matrisleri
( i)
⎛α11
α = ⎜ i ⎜ ( i)
⎝α
21
( i)
( i)
α ⎞ ⎛
12
β11
⎟
( i)
α ⎟
, β ⎜ i =
⎜ ( i)
22 ⎠ ⎝ β 21
( i)
β ⎞ 12 ⎟
( i)
β ⎟
i = 1,2 (4.19)
22 ⎠
şeklinde tanımlansın. Bu durumda α 1 ve α 2 matrisleri;
( 1)
⎛α11
α = ⎜ 1 ⎜ ( 1)
⎝α
21
( 1)
( 2)
α ⎞ ⎛
12
α11
⎟
( 1)
α ⎟
, α ⎜ 2 =
⎜ ( 2)
22 ⎠ ⎝α
21
( 2)
α ⎞ 12 ⎟
( 2)
α ⎟
22 ⎠
olarak ifade edilir. Burada da (4.15ii) koşulunda α 1 ve α 2 matrisleri yerine yazılırsa;
( 1)
⎛α11
α
⎜
( 1)
⎝α
21 α
⎛
⎜
⎝
( ⎛α
⎜
(
⎝α
1)
11
1)
21
( ⎛α
⎜
(
⎝α
1)
11
1)
21
α
α
( 1)
12
( 1)
22
α
α
( ⎞ ⎛α
⎟ ⎜
⎟ ⎜ (
⎠ ⎝α
( 1)
12
( 1)
22
2)
11
2)
21
⎞⎛α
⎟⎜
⎟⎜
⎠⎝α
α
α
( 2)
12
( 2)
22
⎞
⎟
⎠
( 2)
( 2)
11
( 2)
( 2)
12
α
α
( 2)
( 1)
( 2)
( 1)
( 2)
( 1)
( 2)
11
( 2)
( 1)
( 2)
( 1)
( 2)
( 1)
( 2)
11
+ α
+ α
12
22
α
α
12
12
α
α
0
11
21
α
α
21
21
+ α
+ α
12
22
21
22
α
α
T
( ⎛α
-⎜
⎜ (
⎝α
⎞ ⎛α
⎟ − ⎜
⎟ ⎜
⎠ ⎝α
( 1)
( 2)
( 1)
( 2)
( 2)
( 1)
( 2)
( 1)
( α α + α α ) − ( α α + α α )
21
11
22
12
bulunur. Böylelikle;
21
11
22
22
22
12
2)
11
2)
21
33
α
α
( 2)
12
( 2)
22
( 2)
( 2)
11
( 2)
( 2)
21
⎞ ⎛α
⎟ − ⎜
⎟ ⎜
⎠ ⎝α
α
α
12
22
( ⎞ ⎛α
⎟ ⎜
⎟ ⎜ (
⎠ ⎝α
⎞⎛α
⎟⎜
⎟⎜
⎠⎝α
1)
11
1)
21
α
α
( 1)
12
( 1)
22
⎞
⎟
⎠
T
⎛0
0⎞
= ⎜ ⎟
⎝0
0⎠
( 1)
( 1)
⎞ ⎛0
0
11 α 21 ⎞
⎟ ⎜ ⎟
() () =
1 1
12
α
( 2)
( 1)
( 2)
( 1)
11
( 2)
21
α
α
11
( 1)
11
+ α
+ α
12
( 2)
22
α
α
12
( 1)
12
22
⎟
⎠
α
α
( 2)
11
( 2)
21
⎝0
α
α
( 1)
21
( 1)
21
0⎠
+ α
+ α
( 2)
12
( 2)
22
α
α
( 1)
22
( 1)
22
( 1)
( 2)
( 1)
( 2)
( 2)
( 1)
( 2)
( 1)
( α α + α α ) − ( α α + α α )
11
( ( 1)
( 2)
( 1)
( 2)
( 2)
( 1)
11 α 21 + α12
α 22 ) − ( α11
α 21
( 2)
( 1)
+ α12
α 22 ) = 0
( ( 1)
( 2)
( 1)
( 2)
( 2)
( 1)
α + α α ) − ( α α
( 2)
( 1)
+ α α ) = 0
21
12
22
0
11
21
12
22
⎞
⎟
= 0
⎠
⎞
⎟
= 0
⎠
α (4.20i)
α (4.20ii)
21
11
22
12
koşulları elde edilir. Bu da (Everit, 1957) tarafından kullanılan self-adjoint sınır
koşuluna denktir. Uygun başlangıç koşullarıyla a ve b deki iki sınır koşulunu
sağlayan lineer bağımsız çözümü bulmak için; ( x,
λ)
de tanımlanan çözümler olsun, başlangıç koşulları;
21
11
22
12
Φ ve ( x,
λ)
Ψ sırasıyla a ve b

⎛− α
Φ (a, λ ) = ⎜
T
⎝ α1
T
2
( 2 ⎛−
α11
⎜
( 2 ⎞ ⎜−
α12
⎟
= ⎜ ( 1)
⎠ ⎜
α11
⎜ ( 1)
⎝ α12
34
)
)
(
−α
ve (4.21)
( 2 ⎛−
β11
⎜
T
( 2
⎛− β ⎞ 2 ⎜−
β12
Ψ (b, λ ) = ⎜ ⎟
⎜ T ⎟
= ⎜ ( 1)
⎝ β1
⎠ ⎜
β11
⎜ ( 1)
⎝ β12
)
)
α
α
α
2)
21
( 2)
22
( 1)
21
( 1)
22
⎞
⎟
⎟
⎟
⎟
⎠
( 2)
− β ⎞ 21 ⎟
( 2)
β 22 ⎟
( 1)
⎟
β 21 ⎟
( 1)
β ⎟
22 ⎠
olarak verilirsin. Burada Φ nin a da ki sınır koşulları, Ψ nin de b deki sınır
koşullarını sağladığı kolaylıkla gösterilir. Yukarıdaki başlangıç koşulları ile verilen
çözüm
ve
⎡
⎢
Φ = ⎢
⎢−
⎢
⎢⎣
( 1)
( 2)
Φ (x, λ ) = ( ,Φ )
⎡
⎢
Ψ = ⎢
⎢−
⎢
⎣
( 1)
( 2)
Ψ (x, λ ) = ( ,Ψ )
φ1
φ′
′
′
( q φ′
′ ) + q φ′
− ( q φ′
′ )
2
1
q φ′
′
2
1
1
χ ′ 1
′
1
1
( q χ ′
) + q χ − ( q χ ′
)
2
χ
1
2
1
q χ′
′
1
1
1
2
2
φ2
⎤
φ′
⎥
2 ⎥
+ ′ ⎥
2 q1φ
2
⎥
q ′
2φ2
⎥⎦
χ 2 ⎤
χ′
′
⎥
2 ⎥
′
+ ⎥
2 q1χ
2
⎥
q ′
2 χ 2 ⎦
(4.22)
(4.23)
olarak yazılabilir. Bu Φ nın her bir bileşeninin a da ki sınır koşullarının her ikisini
de sağladığı ve Ψ nin de b deki sınır koşullarının her ikisini de sağladığını gösterir.
(4.21) deki başlangıç koşullarında lineer bağımsız { } ) 2 ( ) 1 (
, Φ
bağımsız çözümlerdir. Aynı durum { } ) 2 ( ) 1 (
Ψ ,Ψ ve { }
Φ ve { }
1 , χ 2
φ ; lineer
1 ,φ2
χ içinde geçerlidir
(Fulton, 1988). Dördüncü mertebeden (4.1) diferansiyel denklemin çözümleri
{ , φ , χ , χ }
φ olarak gösterilir. (4.11) eşitliği ve (4.21) başlangıç koşulları
1
2
1
kullanılarak
2
( x,
λ ) JΦ(
x,
λ)
T
Φ =
⎡
⎢
⎣
[ ]( ) [ ]( )
[ ]( ) [ ]( ) ⎥ φ1,
φ1
x φ2
, φ1
x ⎤
φ1,
φ2
x φ2
, φ2
x ⎦
⎡0
0⎤
= ⎢ ⎥
⎣0
0⎦
(4.24i)

ve
( x,
λ ) JΨ(
x,
λ)
T
Ψ =
⎡
⎢
⎣
[ ]( ) [ ]( )
[ ]( ) [ ]( ) ⎥ χ1,
χ1
x χ 2 , χ1
x ⎤
χ1,
χ 2 x χ 2 , χ 2 x ⎦
35
⎡0
0⎤
= ⎢ ⎥
⎣0
0⎦
T
Φ ( a,
λ ) JΦ(
a,
λ′
)
T
Ψ ( b,
λ ) JΨ(
b,
λ′
)
bağıntıları elde edilir (Fulton, 1988). Burada [ φ ]( x)
= [ ]( ) x , χ
(4.24ii)
= 0 ∀ λ , λ′ ∈C (4.25i)
= 0 ∀ λ , λ′ ∈C (4.25ii)
1 2 ,φ
görülür. (4.16) ve (4.18) sınır koşulları Φ ve Ψ kullanılarak;
( a,
λ)
JF(
a)
T
Φ =
[ f , φ ]( a)
χ = 0 olduğu
[ ]( )⎟ ⎟
⎛ 1 ⎞ ⎛0
⎞
⎜
= ⎜ ⎟
(4.26)
⎝ f , φ2
a ⎠ ⎝0
⎠
[ f , χ ]( b)
T
Ψ ( b,
λ)
JF(
b)
=
[ ]( )⎟ ⎟
⎛ 1 ⎞ ⎛0
⎞
⎜
= ⎜ ⎟
(4.27)
⎝ f , χ 2 b ⎠ ⎝0
⎠
olarak yazılabilir. İki regüler (4.16) ve (4.18) sınır koşulu için ara durumlar
özetlenirse; İlk önce öz değerler, aşağıdaki fonksiyonun kökleri olarak belirlenir.
2 ( λ)
q x)
W ( φ , φ , χ , χ )
Yukarıdaki eşitlik de (4.13) eşitliği kullanılarak;
W
α , β
( λ)
α , β
W = 2 ( x 1 2 1 2
(4.28)
⎧−
2
⎪
= q2
( x)
Wx
( φ1,
φ2
, χ1,
χ 2 ) = ⎨+
⎪
⎩−
[ φ1,
φ2
] ( λ)
[ χ1,
χ 2 ] ( λ)
⎫
⎪
[ φ1,
χ1
] ( λ)
[ φ2
, χ 2 ] ( λ)
⎬
[ φ , ] ( ) [ , ] ( ) ⎪
1 χ 2 λ φ2
χ1
λ ⎭
yazılabilir. Burada birinci satır (4.24i) ve (4.24ii) bağıntılarından 0 a eşit olur. Bu
durumda;
W
α , β
( λ)
⎧ φ1
⎪+
⎪ φ′
1
= ⎨
⎪
φ1
−
⎪
⎩ φ′
1
= ( )( )
χ1
φ2
χ ′ ′ 1 φ2
χ 2 φ2
χ′
φ′
2
2
χ 2 ⎫
⎪
χ′
2 ⎪
⎬
χ1
⎪
χ′
⎪ 1 ⎭
⎧ φ ′ ′ ′ ′
1χ1
− φ1χ
1 φ2
χ 2 −φ
2χ
2
⎨
⎩−
φ ′ − ′ ′ − ′
1χ
2 φ1χ
2 φ2
χ1
φ2
χ1
( )( ) ⎭ ⎬ ⎫
φ1χ
′ 1 −φ
′ 1χ1
=
φ χ′
−φ
′ χ
1
2
1
2
φ χ′
−φ
′ χ
2
2
1
2
2
φ χ′
−φ
′ χ
φ
, χ ( λ)
φ , χ ( λ)
= [ ] [ ]
1 1
2 1
[ φ , χ ] ( λ)
[ φ , χ ] ( λ)
1
2
2
2
2
1
2
1
2

=
[ ]
[ ]
⎟ ⎛[
φ1,
χ1](
λ)
det ⎜
⎝ φ1,
χ 2 ( λ)
φ2
, χ1
( λ)
⎞
[ φ2
, χ 2 ]( λ)
⎠
şeklinde yazılabilir. Bu eşitliğinde (4.24) den
T ( x,
λ ) JΦ(
x,
λ)
biliniyor. Bu durumda;
36
Ψ ye eşit olduğu
α , β
T
W ( λ)
= det( Ψ ( x,
λ ) JΦ(
x,
λ)
) (4.29)
yazılabilir. Hamilton sistemi formülüne yardımcı olan 4× 2 matrisleri için Φ ve Ψ
nin başka sembolleri kullanılır. φ 1 ve φ 2 hem de onların türevlerini içeren 2× 2
matrisleri Φ ( , λ)
ve ( ) λ ,
1 x
Φ ;
2 x
⎡Φ1(x,
λ)
⎤
Φ ( x,
λ)
= ⎢ ⎥ (4.30)
⎣Φ
2 (x, λ)
⎦
olarak tanımlanır. Benzer tanımlama Ψ ( x,
λ)
için de yapılır. Yukarıdaki tanımlama
kullanılarak öz değerleri belirleyen 2x2 matrisi ;
T
T
ω λ = Ψ ( x,
λ)
JΦ
x,
λ
( ) ( )
⎛ω
11(
λ)
= ⎜
⎝ω12
( λ)
ω21(
λ)
⎞
⎟
ω22
( λ)
⎠
= [ ]( ) [ ]( )
[ ]( ) [ ]( ) ⎟⎟
⎛ φ1,
χ1
λ
⎜
⎝ φ1,
χ 2 λ
φ2
, χ1
λ ⎞
φ2
, χ 2 λ ⎠
= β Φ b, λ)
+ β Φ ( b,
λ)
1
1(
2 2
= ( ) ( ) T
T T
T
− Φ , λ α − Ψ a,
λ α
1
a 1 2
2
= ( ) ( ) T
− α Ψ a , λ + α Ψ a,
λ )
(4.31)
( 1 1
2 2
olarak yazılabilir (Fulton, 1988). φ ve χ fonksiyonlarını Titchmarsh’ın
fonksiyonları “φ ve χ ’’ ile kıyaslayınca, φ ve χ ;
φ ( x , λ)
: = ⎟ ⎛φ1(x,
λ)
⎞
⎜
ve χ ( x , λ)
: =
⎝φ
2 (x, λ)
⎟
⎠
⎟
⎛ χ1(x,
λ)
⎞
⎜
(4.32)
⎝ χ 2 (x, λ)
⎠
olarak tanımlanır. (4.1) dördüncü mertebeden diferansiyel denklemi , x = a ve x = b
deki sınır koşullarıyla elde edilen sınır değer problemi için Green fonksiyonunun
x = ξ da bulunan 3 üncü mertebeden türevdeki sıçrayan süreksizliği ;
ω( λ)
matrisiyle;

G(x, ξ , λ ) =
⎧x
⎨
⎩x
olarak ifade edilir (Fulton, 1988). ( ) 0
operatör
şeklindedir (Fulton, 1988). Buradaki
R
T
T
−1
( ξ,
λ)
ω φ(
x,
λ),
a ≤ x p ξ ⎫
−
⎬
(4.33)
1
( x,
λ)
ω φ(
ξ,
λ),
ξ p x ≤ b⎭
α , β
W λ ≠ sağlayan her λ için rezolvent
b
α , β ( λ; L ) f : = ∫ G(
x,
ξ;
λ)
f ( ξ ) r(
ξ ) dξ
a
37
(4.34)
α , β
L ; sınır koşulları (4.16) ve (4.18) ile verilen
ve L 1 in kısıtlanması olarak belirlenen self-adjoint operatördür.
r (λ ) = rank ω(
λ)
; k ( λ ), [ a,
b]
üzerinde lineer bağımsız olan λ nın öz fonksiyon
sayısı olarak tanımlansın. (4.35)
Teorem 4.1: (i) λ nın bütün değerleri için r ( λ ) + k ( λ ) = 2
(ii) λ n ,
α , β
W nin bir basit sıfırı ise , r ( n ) = k ( λ n ) = 1
λ dir.
normal durumdaki reel değere sahip bir öz fonksiyon için
1
2
⎛ k ⎞
Ψ n ( x) =
⎜
[ ω22
( λn
) φ1(
x,
λn
) − ω12
( λn
) φ2
( x,
λn
) ]
ω22
( λn
) W ( λn
) ⎟
(4.36)
⎝ ′ ⎠
elde edilir. Burada “ k ” lineer bağımlılık ilişkisi tarafından belirlenen bir reel sabit
katsayıdır.
( λ ) χ ( x λ ) ω χ ( x,
λ ) = k[
ω ( λ ) φ ( x,
λ ) − ω ( λ ) φ ( x λ ) ]
ω − , (4.37)
22
Burada ( λ)
≠ 0
22
n
1
, n 21 2 n
22 n 1 n 12 n 2
ω kabulü yapılırsa, yukarıdaki öz fonksiyon
olarak elde edilir.
(iii) Eğer r ( λ ) = 0 ve ( ) = 2
lineer bağımlı olursa;
n
b
∫
a
Ψ
n
2
( ) r(
x)
x dx = 1
k λ n ise ve hem χ 1 hem de 2
( x , λ)
c1φ1
( x,
λ)
+ c2φ2
( x λ)
( x λ)
d φ ( x,
λ)
+ d φ ( x λ)
n
(4.38)
χ , φ 1 ve φ 2 üzerinde
χ = ,
(4.39i)
1
χ = ,
(4.39ii)
2
, 1 1
2 2
şeklinde sabitler oluşur. ∆ = c d − c d ≠ 0 olur.
Bu durumda Schmidt ortagonalleştirme yöntemi ile;
1
2
2
1

Ψ
2n
elde edilir.
(iv)
1
2
1n ( )
d 2ω11(
λn
) c2ω12
( λn
) ⎟ ⎛ ∆ ⎞
=
⎜
′ − ′
38
( x,
)
Ψ x φ1
λn
(4.40i)
⎝
⎠
{ } ⎟ ⎟⎟
⎛
⎞
⎜(
c ′ ′
′ ′
1ω12(
λn)
−d1ω
11(
λn))
φ1(
x,
λn)
−(
d2ω11(
λn)
−c2ω12(
λn))
φ2(
x,
λn)
( x)
=
⎜
1
⎝ ( d ′ − ′ ′ ′ − ′ ′ 2
2ω11(
λn)
c2ω12(
λn))(
ω11(
λn)
ω22(
λn)
ω12(
λn)
ω21(
λn))
⎠
α , β
L , self-adjoint operatöre karşılık gelen öz fonksiyon açılımı da;
şeklinde elde edilir. (Fulton, 1988)
⎛
Ψ
⎝
4.2 ‘ S ’ Dönüşümü ve Plücker Özdeşliği
b
f = ∑ ⎜∫
n
⎟ n
∀λn
a
( x)
⎜ ( x)
f ( x)
r(
x)
dx⎟Ψ
( x)
⎞
⎠
(4.40ii)
(4.41)
S– dönüşümü, Bessel karesi denkleminin Lim-4 durumu için yardımcıdır. (4.1)
dördüncü mertebeden diferansiyel denklemin temel çözümleri u , u , u , u } olarak
alınsın bu durumda
⎡
⎢
⎢
⎢
⎢
⎣
[ ] [ ] [ ] [ ]
[ ] [ ] [ ] [ ]
[ ] [ ] [ ] [ ]
[ ] [ ] [ ] [ ] ⎥⎥⎥⎥
u1,
u1
u2
, u1
u3,
u1
u4
, u1
⎤
u1,
u2
u2
, u2
u3,
u2
u4
, u2
u1,
u3
u2
, u3
u3,
u3
u4
, u3
u , u u , u u , u u , u
1
4
2
4
3
4
4
4
⎦
=
⎡0
⎢
⎢
0
⎢1
⎢
⎣0
0
0
0
1
−1
0
0
0
{ 1 2 3 4
0 ⎤
−1
⎥
⎥
0 ⎥
⎥
0 ⎦
(4.42)
normal koşulu yazılabilir (Fulton, 1988). Yukarıda yazılan koşul ve (4.13) eşitliği
kullanılarak;
elde edilir ve
⎧−
2
⎪
q 2 Wx
( u1,
u2
, u3
, u4
) = ⎨+
⎪
⎩
−
2
2
[ u1,
u2
] ( ) [ u3
, u ] x
4 ( x)
[ u1,
u3
] ( ) [ u2
, u4
] x
( x)
[ u1,
u4
] ( ) [ u2
, u3
] x
( x)
( x)
W u , u , u , u ) = 1
( 1 2 3 4
⎫ ⎧0⎫
⎪ ⎪ ⎪
⎬ = ⎨1⎬
= 1
⎪ ⎪0⎪
⎭ ⎩ ⎭
q x (4.43)
olduğu görülür. (4.5) altındaki u , u , u , u } den elde edilen vektörleri
U , U , U , U } ile ifade edilerek ;
{ 1 2 3 4
{ 1 2 3 4
0 ( x)
JU 0 ( x)
= J
(4.44)
U T

normal koşulu yazılabilir. U 0 ;
0
[ U , U , U , U ]
U = (4.45)
1
olarak ifade edilen 4x4 matrisidir (Fulton, 1988). Bu da U 0 ın üçüncü ve dördüncü
satırlarını takip ederek detU 0 = 1 olan (4.42) normal koşulunu kullanarak devam
ediyor. f ∈ D L ) için, (4.5) vasıtasıyla Hamilton sistemleri için yöndeş
( 1
elementlerle bağlantı kurulursa ;
f ↔ F =
elde edilir. Buradan S dönüşümü;
⎡
⎢
⎢
⎢−
( q
⎢
⎣
2
2
39
3
4
f ⎤
f ′
⎥
⎥
f ′
) ′ + q ′ ⎥ 1 f
⎥
q f ′
2 ⎦
(SF) (x) = ⎟ 2 ⎡q
⎤
2Wx(
f , u2
, u3
, u4
)
⎢ 2
⎥
⎛ ( SF)
1(
x)
⎞ −1
⎜ = U 0 F = ⎢q
2Wx(
u1,
f , u3
, u4
) ⎥
⎝(
SF)
2 ( x)
⎠ ⎢ 2
q ( , , , ) ⎥
2Wx
u1
u2
f u4
⎢ 2
⎥
⎢⎣
q2Wx(
u1,
u2
, u3
, f ) ⎥⎦
(4.46)
olarak tanımlanır. Bu eşitliğin sağ tarafı, Cramer kuralı uygulanarak ve U ( SF)
= F
formülü kullanılarak kolayca bulunabilir (Fulton,1988). Yukarıdaki eşitliğin sağ
kısmı (4.12) kullanılarak sadeleştirilebilir; böylelikle
(SF) (x) =
⎡
⎢
⎢
⎢
⎢
⎣
[ f , u3
]
[ f , u4
]
[ u1,
f ]
[ u , f ]
2
( x)
⎤ ⎡
⎥ ⎢
( x)
⎥ = ⎢
( x)
⎥ ⎢
⎥ ⎢
( x)
⎦ ⎢⎣
( )
( )
( )
( ) ⎥ ⎥⎥⎥⎥
T
U ⎤
3 JF ( x)
T
U 4 JF ( x)
T
F JU1
( x)
T
F JU ( x)
2
⎦
0
(4.47)
elde edilir. Bu eşitlik ikinci mertebeden denklemlerdeki duruma benzer bir Plücker
özdeşliğidir (Fulton,1988).
Lemma4.1 : ( ) L D g ∀ f ∈ için
, 1
Sağlanır (Fulton, 1988).
T
T
[ f , g]
( x)
G JF = ( SG)
J ( SF)
= (4.48)
−1
İspat: Eğer (4.44) normalleştirmesi kullanılıp ve V0= U yerine yazılırsa ;
elde edilir. Buradan ;
V T
0
0 JV0
= J
(4.49)

ulunur.
T
−1
T −1
T T
T
( SG)
J ( SF ) = ( U G)
J ( U F ) = G ( V JV ) F = G JF
4.3: Lim-4 Durumu Genel Teori
(4.6) denklemi;
şeklinde yazılabilir. (4.42-45) ün U 0 matrisinin
0
0
40
0
0
J F′
= ( λ A+B) F (4.50)
J U ′ = BU
(4.51)
0
formülünü sağladığını varsayalım. (4.50) sisteminin çözümleri için S dönüşümünü
uygularsak;
0
−1
Y ( x)
= ( SF)(
x)
= U F(
x)
(4.52)
−1
olduğu görülür. V = U için, (4.44) ve (4.49) kullanarak V 0 ın
0
0
0
T
JV
′ = −U
B
(4.53)
0
denklemini sağladığı görülür. Bu eşitlik kullanılarak; yukarıdaki değişken
değişiminin,(4.50) ifadesini;
T
JY
′ = λ(
U AU )Y
(4.54)
eşitliği ile ifade edilen modifiye şekle dönüştürdüğü görülür. Burada
T
U 0 AU 0 i j
0
0
0
= [ u u r]
(4.55)
alınmıştır. x = b deki lim-4 önermesi altında, r (x)
e göre tüm çözümlerin
integrallenebilir fonksiyonlar olması koşulu sağlanır. Böylece U AU L ( a b)
T
,
0 0 ∈ 1 ve
(4.54) denkleminin bu çözümleri de, singüler lim-4 uç noktasındaki başlangıç
koşulları ile tanımlanabilir. Regüler uç noktasında da x = b , self-adjoint sınır
koşulları ifade edilebilir (Fulton, 1988). γ 1 ve γ 2 reel 2x2 matrisleri;
koşullarını sağlasın. x = b deki Lim-4 koşulları
( )
γ γ + γ γ = I
(4.56i)
1
T
1
2
T
2
1 2 ,γ γ (SF)(b)= γ 1 (SF)1(b) + 2
2
T T
γ γ + γ γ = 0
(4.56ii)
1
2
2
1
γ (SF)2(b)

[ ]
[ ] ⎟ f , u3
( b)
⎞
f , u ( b)
⎛
= γ 1 ⎜
⎝ 4
+ γ 2
⎠ [ ] ⎟ ⎛ u1,
f ( b)
⎞
⎜ = 0 (4.57)
⎝ u2
, f ( b)
⎠
olarak yazılabilir. Burada ( ) L D f deki keyfi bir vektör ve f , F de (4.46) – (4.47)
; 1
41
[ ]
ile ilişkilidir. Lim-4 önermesi altında ui , i = 1,
4 çözümleri x = b de r ye göre
integrallenebilir fonksiyonlardır (Fulton, 1988). Bu durumda bu da Green’nin (4.8)
formülünü
⎛
⎜
⎜
lim( SF)(
x)
= lim
x→b
x→b
⎜
⎜
⎝
[ ]
[ ]
[ ]
[ ] ⎟ ⎟⎟⎟⎟
f , u3
( x)
⎞
f , u4
( x)
u1,
f ( x)
u , f ( x)
2
⎠
(4.58)
olarak takip eder, bu ifade de ∀ f ∈ D L ) için geçerlidir. Bu şekilde (4.57) da
( 1
belirtilen limitler var olur ve x = b de dört lineer bağımsız sınır değeri ifade edilir
(Dunford and Schwarlz, 1963). Yb ( x,
λ)
, x = b deki sınır koşullarını sağlayan (4.54)
denkleminin tek çözümü olsun. O halde
olmak üzere
limY
x→b
b
T ⎛− γ ⎞
λ
⎜
(4.59)
T
⎝ γ 1 ⎠
( ) ⎟ 2
x,
= ⎜
Ψ ( , λ) = U ( x)
Y ( x,
λ)
: (4.60)
x o b
alalım. (4.52) değişken değişimi altında, Ψ ( x,
λ)
; (4.50) denkleminin bir çözümüdür
ve bu yüzden dördüncü mertebeden (4.1) denklemin iki skaler çözümü χ 1 ve χ 2 nin
terimleri (4.23) şeklinde yazılabilir (Fulton, 1988). Bu durumda;
Y b
( x,
λ) = ( SΨ)(
x,
λ)
elde edilir. Burada (4.54) modifiye edilmiş denklemi ihmal edip, (4.50) denkleminin
tek çözümü Ψ yi gözlemleyerek sınır koşullarıyla;
( ) ⎟ T ⎛− γ ⎞ 2
lim(
S Ψ)
X , λ = ⎜
→
⎜
(4.61)
x b
⎝ γ 1 ⎠
yazılabilir. Burada (4.57) koşulları yerine yazılırsa, Ψ nin b deki sınır koşullarını
sağladığı görülür. (4.59) ve (4.60) deki iki sütun vektörde lineer bağımsız
olduklarından,
() 1 ( 2)
, Ψ )
Ψ = ( Ψ , (4.50) denkleminin iki lineer bağımsız çözümünü

verir ve skaler çözümlerden { χ 1 , χ 2 } de lineer bağımsızdır. (4.11) ve (4.61) sınır
koşulları kullanıldığında
ve
Ψ
T
( x,
) JΨ(
x,
λ)
[ χ1,
χ1
] ( x)
[ χ 2 , χ1
] ( x)
⎤ ⎡0
0⎤
=
[ χ , ] ( ) [ , ] ( )
⎥ ⎢
0 0
⎥
1 χ 2 x χ 2 χ 2 x ⎦
⎡
λ = ⎢
(4.62)
⎣
⎦ ⎣
( x,
λ ) JΨ(
x,
λ′
) = 0∀λ,
λ′
∈ C
T
lim Ψ
(4.63)
x→b
bağıntıları elde edilir (Fulton,1988). Bu bağıntıları kanıtlamak için (4.48) de Plücker
özdeşliği kullanılarak ,
T
( x,
λ ) JΨ(
x,
λ′
) = lim(
SΨ)
( x,
λ)
J ( SΨ)(
, λ′
)
T
lim Ψ
x
x→b
x→b
= ( ) ⎟ T ⎛− γ ⎞ 2
− γ ⎜
2 , γ 1 J
⎜
(4.64)
T
⎝ γ 1 ⎠
elde edilir. (4.57) singüler sınır koşulu Ψ nin terimleri ile ifade edilirse;
42
[ f , χ1
]( b)
⎞ ⎛0
⎞
= ⎜ ⎟
[ ]( ) ⎟
f , b
T
⎛
lim Ψ ( x,
λ ) JF(
x)
= ⎜
x→b ⎝ χ 2 ⎠
(4.65)
⎝0
⎠
elde edilir (Fulton, 1988). Bu da kolaylıkla Plücker özdeşliğini ve (4.61) sınır
α , γ
koşullarını kullanarak saptanabilir. L operatörünün tanım kümesi
{ f ∈ D(
L ) | α F ( a)
+ α F ( a)
= 0,
γ ( SF)
( b)
+ ( SF)
( ) = 0}
α,
γ
D( L ) = 1 1 1 2 2
1 1 γ 2 2 b
olarak tanımlansın.
durumda olduğu gibi, öz değerler aşağıdaki fonksiyonun kökleriyle belirlenir
Buradan
(4.66)
α , γ
L operatörü bir self-adjoint (kendine eş) operatördür. Regüler
2 ( λ)
q W ( φ φ , χ , χ ) = det(
( x)
)
α , γ
W = x ω . (4.67)
2
1,
2 1 2
⎛ω
( λ)
⎜
⎝ω12
( λ)
ω ( λ)
⎞
ω22
( λ)
⎠
( ) ( ) ( ) ⎟ T
11
21
λ = Ψ x,
λ JΦ
, λ = ⎜
T
ω x
= [ ] [ ]
[ ] [ ] ⎟ ⎛ φ1,
χ1
( λ)
φ2
, χ1
( λ)
⎞
⎜
⎝ φ1,
χ 2 ( λ)
φ2
, χ 2 ( λ)
⎠
= γ 1 (S Φ )1 (b, λ ) + γ 2 (S Φ )2 (b, λ )
= ( ( ) ( ) ) T
α Ψ a λ + α Ψ a,
λ
− (4.68)
1
1
, 2 2
elde edilir. (4.31) den kaynaklanan tek değişiklik, Plücker özdeşliği ve sınır
koşullarının (4.61) kullanımını gerektiren x = b deki ω (λ)
nın değerlendirilmesidir.

Green fonksiyonu, rezolvent operatörü ve (4.32) – (4.41) deki öz fonksiyon açılımı
için olan formüller aynı kalır (Fulton, 1988).
α , γ
Lemma 4.1. , g D(
L )
sağlanır (Fulton, 1988).
α , γ
İspat : D(
L )
f ∈ ve F, G (4.5) in yöndeş vektörleri olsun. Bu durumda;
f ∈ ise;
olduğu biliniyor. A sabit vektörü;
γ
1
[ f , g](
x)
0
lim =
x→b
şeklinde tanımlansın. Bu denklemler;
( SF ) ( b)
+ γ ( SF )( b)
= 0
1
2
( SF ) ( b)
γ ( SF ) ( b)
A = γ 1 1 + 2 2
( SF ) 1(
b)
⎞ ⎛ 0 ⎞
= ⎜ ⎟
( ) ( ) ⎟
SF b
⎛ γ 1
⎜
⎝−
γ 2
γ 2 ⎞⎛
⎟
⎜
γ 1 ⎠⎝
2 ⎠ ⎝ A⎠
şeklinde yazılabilir. Burada 4× 4 matrisinin tersi;
⎛ γ 1
⎜
⎝−
γ 2
γ 2 ⎞
⎟
γ 1 ⎠
T ⎛γ 1
= ⎜
T
⎝γ
2
T
− γ ⎞ 2 ⎟
T
γ ⎟
1 ⎠
olarak elde edilir. Yukarıdaki eşitlik 4× 4 matrisinin tersi ile çarpılırsa;
−1
( SF ) 1(
b)
( SF ) ( b)
⎛
⎜
⎝ 2
T
⎞ ⎛− γ ⎞ 2
⎟ = ⎜ ⎟
⎜
A T ⎟
⎠ ⎝ γ 1 ⎠
bulunur. Benzer şekilde G için bir 2-vektör vardır. G için de;
( SG)
1(
b)
( SG)
( b)
⎛
⎜
⎝ 2
T
⎞ ⎛− γ ⎞ 2
⎟ = ⎜ ⎟
⎜
B T ⎟
⎠ ⎝ γ 1 ⎠
eşitliği yazılır. Bu sonuçlar kullanılarak;
T
T
T
T ⎛− γ ⎞ 2
lim[
f , g](
x)
= lim(
G JF )( x)
= ( SG)
( b)
J ( SF )( b)
= B ( − γ 2 , γ 1 ) J⎜
⎟
⎜ ⎟
A = 0
x→b x→b
T
⎝ γ 1 ⎠
elde edilir.
43

4.4. Bessel – Karesi Denkleminin Çözümleri
Bessel diferansiyel denkleminin (4.3) ;
2
1 ⎡ ′ ν ⎤
Ly = ⎢−
( xy′
) + y⎥
= λy
x ⎣ x ⎦
şeklinde ifade edildiği biliniyor. Bu denklemi Bessel denklemine çevirmek için
gerekli düzenlemeler yapılırsa (4.3) denklemi
44
2 2 ( λ x − ) = 0
d y dy
+ y
dx dx
2
2
x 2 x + ν
şekline dönüşür. Burada s = λ x dönüşümü yapılırsa
s
2
2 2 ( s − ) = 0
2
d y dy
+ s + ν
2
ds ds
denklemi elde edilir. Bu denklem Bessel diferansiyel denklemidir. Bu denklemin
genel çözümü :
= AJ ( s)
+ BJ ( s)
(4.69)
y ν −ν
olarak elde edilir. Burada A ve B sabitlerdir. Yukarıdaki genel çözümde s yerine
λ x yazılırsa (4.3) denkleminin genel çözümü;
y = AJ ( x)
+ BJ ( λ x)
ν λ −ν
olarak elde edilir. Bessel karesi denkleminin dört çözümü; x = 0 singüler bir nokta
olduğu için, x = 0 ın yakınındaki Frobenius teorisinin uygulanması ile elde
edilebilir. Daha kolay bir yaklaşım da z ( x,
λ)
ikinci dereceden Bessel denkleminin
çözümü ise bunu yorumlamaktır (Fulton,1988). Bessel diferansiyel denkleminde y
yerine z yazılırsa;
2
1 ⎡ ′ ν ⎤
Az = ⎢−
( xz′
) + z⎥
= λz
x ⎣ x ⎦
elde edilir. Bu denkleminin iki çözümü;
2
z ( x,
) = λ J ( λ x)
1
ν
−
λ ν
ν
− ⎡
2 = λ ⎢
⎢
⎣
∞
∑
k = 0
k
(
−1)
⎛
⎜
k!
Γ(
ν + k + 1)
⎜
⎝
λ x ⎞
⎟
2 ⎟
⎠
2k
+ ν
⎤
⎥
⎥
⎦

ν
⎛ x ⎞
= ⎜ ⎟
⎝ 2 ⎠
⎡
⎢
⎢⎣
∑ ∞
k = 0
2
z ( x,
) = λ J ( λ x)
2
ν
λ −ν
ν ⎡
2 = λ ⎢
⎢
⎣
⎛ x ⎞
= ⎜ ⎟
⎝ 2 ⎠
∞
∑
k = 0
−ν
45
k k
( −1)
λ ⎛ x ⎞
⎜ ⎟
k!
Γ(
ν + k + 1)
⎝ 2 ⎠
k
( −1)
⎛
⎜
k!
Γ(
−ν
+ k + 1)
⎜
⎝
⎡
⎢
⎢⎣
∑ ∞
k = 0
2k
λ x ⎞
⎟
2 ⎟
⎠
k k
( −1)
λ ⎛ x ⎞
⎜ ⎟
k!
Γ(
−ν
+ k + 1)
⎝ 2 ⎠
⎤
⎥
⎥⎦
2k
−ν
2k
⎤
⎥
⎥⎦
⎤
⎥
⎥
⎦
(4.70i)
(4.70ii)
olarak alınır. Bu çözümler, sabit x ∈ ( 0,
∞)
için λ ya göre tam fonksiyonlardır.
Yukarıdaki yorumdan Ly = A y = λy
2
denkleminin çözümleri y ( x,
λ ) = z(
x,
± λ )
dır. Buradan dördüncü mertebeden Bessel karesi denkleminin çözümleri ;
y x,
λ ) = z ( x,
+ λ ) y x,
λ) = z ( x,
− λ ) (4.71i)
11(
1
12 ( 1
y x,
λ ) = z ( x,
+ λ ) y x,
λ) = z ( x,
− λ ) (4.71ii)
21(
2
22 ( 2
şeklinde yazılabilir. Yukarıdaki çözümler, λ nin kesirli üslerinin oluşumundan
dolayı λ ya göre tam fonksiyon değildirler. Ancak uygun lineer kombinasyonlarla,
kesirli üsler yok edilebilir. Bu şekilde dört lineer bağımsız çözüm ;
1
⎛ x ⎞
w 1(
x,
λ ) = [ y21
+ y22
] = ⎜ ⎟
2
⎝ 2 ⎠
−ν
1
⎛ x ⎞
w 2 ( x,
λ ) = [ y11
+ y12
] = ⎜ ⎟
2
⎝ 2 ⎠
- y11
+ y12
w3
( x,
λ)
=
2 λ
ν
⎛ x ⎞
= ⎜ ⎟
⎝ 2 ⎠
ν
⎡
⎢
⎢⎣
⎡
⎢
⎢⎣
∑ ∞
k = 0
⎡
⎢
⎢⎣
∑ ∞
k = 0
∞
∑
k = 1
1,
2
k
λ ⎛ x ⎞
⎜ ⎟
( 2k)!
Γ(
−ν
+ 2k
+ 1)
⎝ 2 ⎠
k
λ ⎛ x ⎞
⎜ ⎟
( 2k)!
Γ(
ν + 2k
+ 1)
⎝ 2 ⎠
k −1
λ ⎛ x ⎞
⎜ ⎟
( 2k
−1)!
Γ(
ν + 2k)
⎝ 2 ⎠
4k
4k
4k
−2
⎤
⎥
⎥⎦
⎤
⎥
⎥⎦
⎤
⎥
⎥⎦
(4.72i)
(4.72ii)
(4.72iii)
−ν
- y21
+ y22
⎛ x ⎞ ⎡ ∞
k −1
4k
−2
λ ⎛ x ⎞ ⎤
w4
( x,
λ)
=
= ⎜ ⎟ ⎢∑
⎜ ⎟ ⎥ (4.72iv)
2 λ ⎝ 2 ⎠ ⎢⎣
k = 1 ( 2k
−1)!
Γ(
−ν
+ 2k)
⎝ 2 ⎠ ⎥⎦
olarak bulunur. Yukarıdaki teorinin uygulanması için, normal çözümleri (4.42) ve
(4.43) koşullarını sağlayan λ = 0 için dört lineer bağımsız çözümü seçmek gerekli
olacaktır. Dört çözümü elde etmek için (4.4) Bessel karesi denkleminde λ = 0
yazılarak elde edilen Cauchy-Euler denklemi çözülebilir (Fulton, 1988). (4.4) Bessel
karesi denkleminde paydalar eşitlenip gerekli düzenlemeler yapılırsa;

4
3
2 2
2
2 2
x y′
′
′ + 2x
y′
′
− ( 1+
2ν
) x y′
′ + ( 1+
2ν
) xy′
+ ν ( ν − 4)
y = 0
Cauchy-Euler denklemi elde edilir.
yapılırsa;
t
x = e dönüşümü yapılarak gerekli düzenlemeler
2
2 2 2
[ D( D −1)( D − 2)(
D −3)
+ 2D(
D −1)(
D − 2)
− ( 1+
2ν
) D(
D −1)
+ ( 1+
2ν
) D + ν ( ν − 4)
] y = 0
2
2 2 2
[ D( D − 2)(
D − 2D
− 2ν
) + ν ( ν − 4)
] y = 0
bulunur. Buradan karakteristik denklemin çözümleri m = v m = −ν
, m = ν + 2 ve
46
1
, 2
3
m = −ν
+ 2 olarak elde edilir. Bu durumda denklemin dört çözümü
4
−ν ν ν + 2
x , x , x ve
2−ν
x olarak elde edilir. Plücker özdeşliğinin gerekliliği ve (4.42) normalleştirmesine
ulaşmak için, (4.9) eşitliği kullanılarak lineer olmayan sonuçlar hesaplanabilir.
Buradan
−ν ν+
2 [ , x ]
x =
ν 2−ν
[ ,x ]
x =
⎡−ν
( ν + 1)(
ν + 2)
x⎢
⎢ ⎣−ν
( ν + 1)(
ν + 2)
x
x
x
−ν
−3
ν + 2
x
−ν
−2
ν + 1
−ν
( ν + 1)(
ν + 2)
x
−ν
( ν + 1)(
ν + 2)
x
−ν
x
−ν
−1
ν + 1
2
1 + 2ν
−ν
−1
ν + 2
−ν
ν + 1
- [ −νx
x − ( ν + 2)
x x ]
x
−ν
−2
ν + 2
+ 1[
ν ( ν + 1)
x x
−ν
ν
− ( ν + 1)(
ν + 2)
x x ]
3 2
=[ − 4ν
−12ν
3 2
− 8ν
] − [ − 4ν
− 4ν
− 2ν
− 2]
+ [ − 2ν
− 2]
3 2
3 2
= − 4ν
−12ν
− 8ν
+ 4ν
+ 4ν
+ 2ν
+ 2 − 2ν
− 2
= 8ν 8ν
2 − −
= − 8 ν ( ν + 1)
⎡−ν
( ν −1)(
ν − 2)
x
x⎢
⎢ ⎣−ν
( ν −1)(
2 −ν
) x
ν −3
ν −2
x
x
2−ν
1−ν
−ν
( 2 −ν
)( 1−ν
) x x
ν −1
+ ν ( 1−ν
)( 2 −ν
) x x
x
−ν
−ν
⎤
⎥
⎦
⎤
⎥
⎦
ν −ν
−1
2
1+
2ν
ν −1
2−ν
ν 1−ν
- [ νx
x − ( 2 −ν
) x x ]
x
ν −2
2−ν
−ν
ν
+ 1[
ν ( ν −1)
x x − ( 2 −ν
)( 1−ν
) x x ]
3 2
3 2
=[ 4ν
−12ν + 8ν
] − [ 4ν
− 4ν
+ 2ν
− 2]
+ [ 2ν
− 2]
3 2
3 2
= − 4ν
−12ν
+ 8ν
− 4ν
+ 4ν
− 2ν
+ 2 + 2ν
− 2
= 8ν 8ν
2 − +
= − 8ν ( ν −1)
elde edilir. (4.43) koşulunun sağlanması için; { , u , u , u }
u fonksiyonları;
1
2
3
4

47
ν
ν
−
= x
x
u
2
1
)
(
1
(4.73i)
ν
ν x
x
u
2
1
)
(
2 = (4.73ii)
2
3
)
1
(
4
1
)
(
+
+
−
=
ν
ν
x
x
u (4.73iii)
2
4
)
1
(
4
1
)
(
+
−
−
−
=
ν
ν
x
x
u (4.73iv)
şeklinde seçilebilir. Bu fonksiyonlar (4.4) Bessel karesi denkleminin çözümüdür ve
dolayısıyla bu denklemi sağlar. Bu fonksiyonların her biri yukarıdaki Cauchy-Euler
denkleminde yerine yazılırsa;
0
2
)
4
(
2
)
2
1
(
2
)
1
)(
2
1
(
2
)
2
)(
1
(
2
2
)
3
)(
2
)(
1
(
2
2
1
2
2
2
2
3
3
4
4
=
−
+
+
−
+
+
−
+
+
−
+
+
+ −
−
−
−
−
−
−
−
− ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
x
xx
x
x
x
x
x
x
0
2
)
4
(
2
)
2
1
(
2
)
1
)(
2
1
(
2
)
2
)(
1
(
2
2
)
3
)(
2
)(
1
(
2
2
1
2
2
2
2
3
3
4
4
=
−
+
+
+
−
+
−
−
−
+
−
−
− −
−
−
− ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
x
xx
x
x
x
x
x
x
0
)
1
(
4
)
4
(
)
1
(
4
)
2
)(
2
1
(
)
1
(
4
)
2
)(
1
)(
2
1
(
)
1
(
4
)
2
)(
1
(
2
)
1
(
4
)
1
)(
2
)(
1
( 2
2
2
1
2
2
2
1
3
2
4
=
+
−
−
+
+
+
−
+
+
+
+
+
+
+
+
−
+
−
+
+
− +
+
−
− ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
x
xx
x
x
x
x
x
x
0
)
1
(
4
)
4
(
)
1
(
4
)
2
)(
2
1(
)
1
(
4
)
2
)(
1
)(
2
1(
)
1
(
4
)
2
)(
1
(
2
)
1
(
4
)
1
)(
2
)(
1
( 2
2
2
1
2
2
2
1
3
2
4
=
−
−
−
−
−
+
+
−
−
−
+
+
−
−
−
+
−
+
−
−
− +
−
+
−
−
−
−
−
− ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
x
xx
x
x
x
x
x
x
bulunur. Bu da { }
4
3
2
1
,
,
, u
u
u
u fonksiyonlarının Bessel karesi denkleminin çözümleri
olduğunu gösterir. Bu çözümlerin wronskiyeni için (4.43) koşulu, (4.12) in
kullanımıyla kanıtlanabilir. Bu durumda (4.43) koşulu;
⎪
⎭
⎪
⎬
⎫
⎪
⎩
⎪
⎨
⎧
′′
′′
′′
′
′
′
′′′
−
+
′′′
′′′
′′′
′
′
′
′′
−
+
′′′
′′′
′′′
′′
′′
′′
′
−
+
′′′
′′′
′′′
′′
′′
′′
′
′
′
−
=
+
+
+
+
4
3
2
4
3
2
4
3
2
1
1
4
4
3
2
4
3
2
4
3
2
1
1
3
4
3
2
4
3
2
4
3
2
1
1
2
4
3
2
4
3
2
4
3
2
1
1
1
2
)
1
(
)
1
(
)
1
(
)
1
(
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
x
4
3
2
1
4
3
2
1
4
3
2
1
4
3
2
1
2
4
3
2
1
2
2
)
,
,
,
(
)
(
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
x
u
u
u
u
W
x
q x
′
′
′
′
′
′
′
′
′
′
′
′
′
′
′
′
′
′
′
′
′
′
′
′
=

48
şeklinde açılır. Buradaki her bir determinant birinci satıra göre ayrı ayrı açılırsa;
⎭
⎬
⎫
⎩
⎨
⎧
′
′
′
′
′
′
′
′
′
′
′
−
+
′
′
′
′
′
′
′
′
′
′
′
−
+
′
′
′
′
′
′
′
′
′
′
′
−
=
′
′
′
′
′
′
′
′
′
′
′
′
′
′
′
′
′
′
−
+
+
+
+
3
2
3
2
4
3
1
4
2
4
2
3
2
1
4
3
4
3
2
1
1
1
4
3
2
4
3
2
4
3
2
1
1
1
)
1
(
)
1
(
)
1
(
)
1
(
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
⎭
⎬
⎫
⎩
⎨
⎧
−
−
+
−
−
+
+
−
+
−
+
+
+
−
=
−
−
−
− 2
2
2
2
3
2
3
)
1
(
16
)
2
)(
2
(
)
1
(
16
)
2
5
4
)(
2
(
16
4
2
1 ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
x
x
x
x
2
2
3
)
1
)(
1
(
16
8
8
2
2 −
−
+
−
+
+
−
= x
ν
ν
ν
ν
ν
⎭
⎬
⎫
⎩
⎨
⎧
′
′
′
′
′
′
′
′
′
′
−
+
′
′
′
′
′
′
′
′
′
′
−
+
′
′
′
′
′
′
′
′
′
′
−
′
−
=
′
′
′
′
′
′
′
′
′
′
′
′
′
′
′
′
−
+
+
+
+
3
2
3
2
4
3
1
4
2
4
2
3
2
1
4
3
4
3
2
1
1
1
4
3
2
4
3
2
4
3
2
1
1
2
)
1
(
)
1
(
)
1
(
)
1
(
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
⎭
⎬
⎫
⎩
⎨
⎧
−
−
+
+
+
−
+
−
+
−
−
=
−
−
−
−
− 1
2
1
2
3
1
2
1
)
1
(
16
)
2
(
)
1
(
16
)
2
5
4
(
16
)
4
(
2
1 ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
x
x
x
x
2
2
3
)
1
)(
1
(
16
2
4
8
2 −
−
+
−
−
+
−
= x
ν
ν
ν
ν
ν
⎭
⎬
⎫
⎩
⎨
⎧
′
′
′
′
′
′
′
′
−
+
′
′
′
′
′
′
′
′
−
+
′
′
′
′
′
′
′
′
−
′
′
=
′
′
′
′
′
′
′
′
′
′
′
′
′
′
−
+
+
+
+
3
2
3
2
4
3
1
4
2
4
2
3
2
1
4
3
4
3
2
1
1
1
4
3
2
4
3
2
4
3
2
1
1
3
)
1
(
)
1
(
)
1
(
)
1
(
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
⎭
⎬
⎫
⎩
⎨
⎧
−
+
−
+
+
+
−
+
−
+
−
+
=
−
− ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
x
x
x
x
)
1
)(
1
(
16
)
2
3
2
(
)
1
(
16
2
)
1
)(
1
(
16
)
4
(
2
)
1
(
2
2
2
2
2
)
1
(
16
2
2 −
−
−
= x
ν
ν
⎭
⎬
⎫
⎩
⎨
⎧
′
′
′
′
′
′
−
+
′
′
′
′
′
′
−
+
′
′
′
′
′
′
−
′
′
′
−
=
′
′
′
′
′
′
′
′
′
′
′
′
−
+
+
+
+
3
2
3
2
4
3
1
4
2
4
2
3
2
1
4
3
4
3
2
1
1
1
4
3
2
4
3
2
4
3
2
1
1
4
)
1
(
)
1
(
)
1
(
)
1
(
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
⎭
⎬
⎫
⎩
⎨
⎧
−
+
+
+
−
+
−
+
−
+
−
+
−
+
+
=
+
+
+
−
− 1
1
2
1
2
3
)
1
)(
1
(
16
2
)
1
)(
1
(
16
2
3
)
1
)(
1
(
16
)
4
(
2
)
2
)(
1
( ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
ν
x
x
x
x
2
2
)
1
(
16
4
2
2 −
−
−
+
= x
ν
ν
ν

elde edilir. Bu değerler yukarıda yerine yazılırsa;
3 2
3 2
2
2
2 ⎧ 2ν
+ 2ν
+ 8ν
− 8 2 − 2ν
+ 8ν
− 4ν
− 2 −2
2ν
− 2 −2
2ν
+ 2ν
− 4
x ⎨
x +
x + x +
x
⎩ 16(
ν + 1)(
ν −1)
16(
ν + 1)(
ν −1)
16(
ν −1)
16(
ν −1)
=1
bulunur. Bu da (4.43) koşulunun sağlandığını gösterir. Bessel karesi operatörünün
− − −2
0

1 −ν
4
= x [ 1+
0(
x ) ]
2ν
ν 1
y 2 x,
λ)
= 2 Γ(
1+
ν ) w
2ν
( 2
( x,
λ)
ν
ν 1 ⎛ x ⎞ 1
4
= 2 Γ(
1+
ν ) ⎜ ⎟ ( 1+
0(
x ))
2ν
⎝ 2 ⎠ Γ(
ν + 1)
1 ν
4
= x [ 1+
0(
x ) ]
2ν
ν + 2
1
y3
( x,
λ)
= 2 Γ(
ν + 2)(
− ) w3
4(
ν + 1)
50
( x,
λ)
ν + 2
ν + 2 ⎛ 1 ⎞⎛
x ⎞ 1
4
= 2 Γ(
ν + 2)
⎜−
⎟⎜
⎟ ( 1+
0(
x ))
⎝ 4(
ν + 1)
⎠⎝
2 ⎠ Γ(
ν + 2)
1 ν + 2
4
= − x [ 1+
0(
x ) ]
4(
ν + 1)
2−ν
1
y4
( x,
λ)
= 2 Γ(
−ν
+ 2)(
− ) w4
4(
ν −1)
( x,
λ)
−ν
+ 2
2−ν
⎛ 1 ⎞⎛
x⎞
1
4
= 2 Γ(
−ν
+ 2)
⎜−
⎟⎜
⎟
( 1+
0(
x ))
⎝ 4(
ν −1)
⎠⎝
2⎠
Γ(
−ν
+ 2)
1 −ν + 2
4
= − x [ 1+
0(
x ) ]
(4.74i)
(4.74ii)
(4.74iii)
(4.74iv)
4(
ν −1)
şeklinde elde edilir. (4.47) eşitliğini uygulayıp, (4.46) deki S – dönüşümünde (4.73)
deki çözümü kullanarak, yukarıdaki her bir çözüm içinde (4.9) u, kullanıp lineer
bağımlı olmayan sonuçlar hesaplanabilir. x → 0 gibi y , u ]( x)
için (4.9)
[ 1 3
uygulanırsa;
y , u ]( x)
= q [( y′
′ u′
− y u′
′
) − ( y′
′ u′
− y′
u′
′ )] − q y′
u − y u′
] + q ′ y′
′ u − y u′
′ ]
[ 1 3
2 1 3 1 3 1 3 1 3
elde edilir. Burada değerler yerine yazılırsa;
⎡⎛
−(
ν + 1)(
ν + 2)
[ y 1,
u3](
x)
= x⎢
⎜
x
⎣⎝
2
⎡ ν + 1)
− x⎢
x
⎣ 2
4 −1
[ 1+
0(
x )] x
4(
ν + 1)
1[
1 3 1 3
1
− x
2ν
2[
1 3 1 3
4 −ν(
ν + 1)(
ν + 2)
[ 1+
0(
x )]
x
4(
ν + 1)
−ν −3
ν+
2 −ν
ν−1
4 − ( ν + 2)
[ 1+
0(
x ) x
4(
ν + 1)
−1
− x
2
⎞⎤
⎟
⎟⎥
⎠⎦
− ( ν + 1)(
ν + 2)
⎤
[ 1+
0(
x )]
x
4(
ν + 1)
⎥
⎦
( −ν −2
ν + 1
−ν
−1
4
ν
2
1+ 2ν
⎡ 1 ν −1
4 −1
ν : + 2 1 −ν
4 − ( ν + 2)
ν
− ⎢−
x [ 1+
0(
x )] x − x [ 1+
0(
x )] x
x
⎣ 2
4(
ν + 1)
2ν
4(
ν + 1)
− + 1
⎤
⎥
⎦

⎡(
ν + 1)
+ 1⎢
x
⎣ 2
4 −1
[ 1+
0(
x )] x
4(
ν + 1)
51
1
− x
2ν
4 − ( ν + 1)(
ν + 2)
⎤
[ 1+
0(
x )]
x
4(
ν + 1)
⎥
⎦
−ν −2
ν + 2
−ν
ν
2 ( 1+
2ν
) [
4
⎡ ( ν + 2)[
1+
0(
x )] ⎤ ⎡ 1+
0(
x
= ⎢
⎥ − ⎢
⎣ 2 ⎦ ⎣ 4ν
2
4 ⎡ν
+ 2 1+
2ν
1 ⎤
= [ 1+
0(
x )] ⎢ − + ⎥
⎣ 2 4ν
4ν
⎦
2
2
4 ⎡ 2ν
+ 4ν
−1
− 2ν
+ 1⎤
= [ 1+
0(
x )] ⎢
⎥
⎣ 4ν
⎦
= [ 1+
0(
x
4
)]
)] ⎤
⎥ +
⎦
4
⎡ 2[
1+
0(
x
⎢
⎣ 8ν
bulunur. Aynı yolla diğer değerlerde elde edilip yerine yazılırsa;
[ ]
[ ]
[ ]
[ ] ⎟ ⎟⎟⎟⎟
y1,
u3
( x)
⎞
y1,
u4
( x)
u1,
y1
( x)
u , y ( x)
4
⎛
⎛ 1+
0(
x ) ⎞
⎜
⎜ ⎟
−2ν
+ 4
⎜
⎜0(
x ) ⎟
( SY1 )( x,
λ ) = ⎜ = ⎜ −2ν
+ 2 ⎟
⎜
⎜
0(
x )
⎟
⎜
⎜ 2 ⎟
⎝ 2 1 ⎠ ⎝ 0(
x ) ⎠
[ ]
[ ]
[ ]
[ ] ⎟ ⎟⎟⎟⎟
y2
, u3
( x)
⎞
y2
, u4
( x)
u1,
y2
( x)
u , y ( x)
2ν
+ 4
⎛
⎛ 0(
x ) ⎞
⎜
⎜ ⎟
4
⎜
⎜1+
0(
x ) ⎟
( SY2 )( x,
λ ) = ⎜ = ⎜ 2 ⎟
⎜
⎜
0(
x )
⎟
⎜
⎜ 2ν
+ 2 ⎟
⎝ 2 2 ⎠ ⎝ 0(
x ) ⎠
[ ]
[ ]
[ ]
[ ] ⎟ ⎟⎟⎟⎟
y3
, u3
( x)
⎞
y3
, u4
( x)
u1,
y3
( x)
u , y ( x)
2ν
+ 6
⎛
⎛ 0(
x ) ⎞
⎜
⎜ ⎟
6
⎜
⎜ 0(
x ) ⎟
( SY3 )( x,
λ ) = ⎜ = ⎜ 4 ⎟
⎜
⎜
1+
0(
x )
⎟
⎜
⎜ 2ν
+ 4 ⎟
⎝ 2 3 ⎠ ⎝ 0(
x ) ⎠
[ ]
[ ]
[ ]
[ ] ⎟ ⎟⎟⎟⎟
y4
, u3
( x)
⎞
y4
, u4
( x)
u1,
y4
( x)
u , y ( x)
6
⎛
⎛ 0(
x ) ⎞
⎜
⎜ ⎟
−2ν
+ 6
⎜
⎜0(
x ) ⎟
( SY4 )( x,
λ ) = ⎜ = ⎜ −2ν
+ 4 ⎟
⎜
⎜
0(
x )
⎟
⎜
⎜ 4 ⎟
⎝ 2 4 ⎠ ⎝1
+ 0(
x ) ⎠
4
)] ⎤
⎥
⎦
(4.75i)
(4.75ii)
(4.75iii)
(4.75iv)
sonuçları bulunur. Buradaki Y i vektörleri, (4.5) in değişken değişimleri altında y i ,
i = 1,
4 den elde edilir.

4.5. Lim-4 Durumu 0

çözümleri ortaya çıkarmak hiç de doğal olmaz. Bu sebepten dolayı, Bessel karesi
denkleminin çözümlerinin terimlerindeki; x = b de (4.21) başlangıç koşullarıyla
tanımlanan Ψ çözümünü ifade etmeye çalışmaktan kaçınılır. Bunun yerine (4.77)
uç koşulları ile tanımlanan Φ çözümüyle bağlantılı skaler { φ1 ,φ2
} fonksiyonlarını
belirlenir. Böylelikle ω ( λ)
fonksiyonunu kullanarak, öz fonksiyon teorisinin tüm
detayları çözülebilir (Fulton, 1988). Bu çözümler için
elde edilir. { }
1 ,φ2
( λ)
= β Φ ( b λ)
+ β Φ ( b λ)
, 2 2
T
ω ,
1
1
⎡φ1
( b)
φ2
( b)
⎤
= β 1 ⎢
⎥
⎣φ
′ ( ) ′
1 b φ2
( b)
⎦
⎡(
q ′′ ′ ′ ′′ ′ ′
2φ1)
( b)
+ ( q1φ1
)( b)
− ( q2φ2
) ( b)
+ ( q1φ2
)( b)
⎤
+ β 2 ⎢
⎥
⎣ ( q ′′ )( ) ( ′′
2φ1
b q2φ2
)( b)
⎦
53
(4.80)
φ fonksiyonlarının her biri (4.74) da yi , i = 1,
4 dört çözümünün
lineer bir birleşimi olmalı. (4.5) değişken değişimi altında y = 1,
4 yöndeş vektörlerin
terimleri, ν ∈ ( 0,
1)
için (4.75) dan takip edilirse,
elde edilir. (4.26) için
formülü veya
ve
[ )( 0),
( SY )( 0),
( SY )( 0),
( SY )( 0)
]
( 1
2
3
4
SY = 1 ∀λ ∈C
(4.81)
γ 1 =
( ⎛γ
⎜
(
⎝γ
1)
11
1)
21
γ
γ
( 1)
12
( 1)
22
⎞
⎟
⎠
4
∑
j=
1
, γ 2 =
( ⎛γ
⎜
(
⎝γ
2)
11
2)
21
γ
γ
( 2)
12
( 2)
22
φ ( x, λ)
= c y ( x,
λ)
i = 1,
2
i
Φ
( i)
ij
4
∑
j=
1
j
( x, λ ) = c Y ( x,
λ)
i = 1,
2
ij
j
⎞
⎟
⎠
(4.82)
formülleri kullanılır. S dönüşümünü her iki tarafa uygulayıp, bilinmeyen sabit cij yi
bulmak için (4.77) sınır koşulları ve (4.81) eşitliği uygulanabilir. Buradan da ;
( x λ)
( 2)
−γ
11 y1
( 2)
( 1)
− γ 12 y2
+ γ 11 y3
( 1)
γ 12 4
( x λ)
( 2)
( 2)
( 1)
−γ
21 y1
− γ 22 y2
+ γ 21 y3
( 1)
γ 22 4
φ 1 , = + y
(4.83i)
φ 2 , = + y
(4.83ii)

elde edilir. (4.78) deki 2x2 matrisi ω ( λ)
; (4.80) de (4.83) eşitliği göz önünde
bulundurularak, x = b de değerlendirilen yi , i = 1,
4 çözümlerinin terimleriyle
yazılabilir. Bu da 1 2 ,γ γ ve β 1, β 2 matrisleri ile ifade edilen tüm on altı sınır koşulu
katsayıları üzerindeki ω ( λ)
nin açık ifadesini verir (Fulton, 1988).
1
Örnek: Bessel karesi denklemini ν = için çözüp, Lim-4 durumunu uygulayınız.
2
Çözüm: Bessel karesi denkleminin çözümünü bulmak için Bessel fonksiyonlarından
1
yararlanılabilir. Bu durumda ν = durumu için; Jν (x)
ve J − ν (x)
fonksiyonları;
2
2
J 1
sin
πx
2
( x)
= x
olarak ifade edilmektedir. Burada x yerine λ x yazılarak,
54
1
2
2
J 1 cos
− πx
2
( x)
= x
⎛ 2 ⎞
J 1 ( λ x)
= ⎜ ⎟ sin( λ x)
(4.84i)
⎝ π λ x ⎠
2
J 1 (
2
⎛ 2 ⎞
λ x)
= ⎜ ⎟
⎝ π λ x ⎠
cos( λ x)
(4.84ii)
şeklinde elde edilir. (4.74) de verilen Bessel karesi denklemlerinin dört çözümü ;
1 1
1
1
1 −
2 4
4
2
y 1 ( x,
λ) = x (cos( λ x)
+ cosh( λ x))
= x
2
⎟ ∞ k ⎛ λ 4k
⎞
⎜
⎜∑
x
⎝ k=0
( 4k)!
⎠
1 1 1
1
1
1 − −
4 2 4
4
2
y 2 ( x,
λ) = λ x (sin( λ x)
+ sinh( λ x))
= x
2
⎟ ⎛
⎞
⎜
⎜∑
⎝ + ⎠
∞ k
λ 4k
x
k =0 ( 4k
1)!
1
2
(4.85i)
(4.85ii)
3 1
1
1
1
1 − −
4 2
4
4
2
y3 ( x,
λ) = − λ x (sinh( λ x)
− sin( λ x))
= −x
2
⎟ ⎛
⎞
⎜
⎜∑
⎝ − ⎠
∞ k−1
λ 4k
−2
x (4.85iii)
k=
1 ( 4k
1)!
1 1
1
1
1
1 − −
−
2 2
4
4
2
y4 ( x,
λ) = λ x (cosh( λ x)
− cos( λ x))
= x
2
⎟ ⎛
⎞
⎜
⎜∑
⎝ − ⎠
∞ k−1
λ 4k
−2
x (4.85iv)
k=
1 ( 4k
2)!

olarak bulunur. Bir örnek olarak ikinci mertebeden öz değer problemiyle birleşmiş öz
fonksiyon ve öz değerlerin karesini almayla sonuçlanan öz fonksiyon açılımını
düşünülebilir. Bu durumda
⎛ 1 ⎞
⎜ ⎟
x + ⎜−
4 + λ x⎟
y = 0
(4.86i)
⎜ x ⎟
⎜ ⎟
⎝ ⎠
( ) ′
y′
lim xWx x→0
1 ⎛ ⎞
⎜ 2 , ⎟
⎜
x y
⎟
= 0
⎝ ⎠
(4.86ii)
y ( b)
= 0
(4.86iii)
eşitlikleri yazılabilir. (4.85) ile bağlantılı öz değer ve öz fonksiyonlar;
2
⎛ kπ
⎞
λ k = ⎜ ⎟
⎝ b ⎠
, =
⎛ ⎞
⎜ ⎟
⎝ ⎠
−
yk x
kπx
sin
b
olarak tanımlanabilir. Buradaki öz fonksiyonu koruyan Bessel karesi denklemi için
uygun sınır koşullarına ulaşılırken ikinci mertebeden denklemin sınır koşullarının
nasıl alınması gerektiği açık değildir. Ancak bazı deneyimlerden sonra
⎛1
γ 1 = ⎜
⎝0
0⎞
⎟
0⎠
⎛0
, γ 2 = ⎜
⎝0
0 ⎞
⎟
(4.87i)
−1⎠
β 1 =
⎛1
⎜
⎜0
⎝
0 ⎞
1 ⎟
⎟
2 ⎠
55
1
2
, β 2 =
⎛0
⎜
⎜0
⎝
0 ⎞
1 ⎟
⎟
2 ⎠
(4.87ii)
sınır koşullarının uygun olduğu görülür. γ 1 , γ 2 , β 1 ve β 2 matrisleri (4.76) ve (4.18)
de yerine yazılarak ;
⎛1
⎜
⎝0
0⎞⎛
⎟ ⎜
0⎠⎝
[ f , u3
]
[ f , u ]
4
( 0)
⎞ ⎛0
⎟ + ⎜
( 0)
⎠ ⎝0
⎛1
⎜
⎜0
⎝
0 ⎞⎛
⎟ ⎜
−1⎠⎝
[ u1,
f ] ( 0)
⎞ ⎛[
f , u3
]( 0)
⎞ ⎛ 0 ⎞ ⎛0
⎞
= ⎜ ⎟ +
= ⎜ ⎟
[ ] ⎟
⎜
⎟
u , f ( 0)
0 − [ u , f ]( 0)
0
2
[ ]
[ ] ⎟ f , u3
( 0)
⎞
u , f ( 0
⎠
⎛
⎛
⎜
=
⎝−
2 ) ⎜
⎠ ⎝
0 ⎞ ⎛
⎟⎛
f ( b)
⎞
0
1 ⎜ ⎟ +
⎜
⎟
⎝ f ′ ( b)
⎠
⎜0
2 ⎠ ⎝
⎝
[ ]
[ ] ⎟ f , y3
( 0)
⎞
f , y ( 0)
2
2
⎠
⎠
⎝
2
⎛0
⎞
= ⎜ ⎟
(4.88i)
⎝0⎠
0 ⎞
⎟⎛−
( bf
′
) ′ ( b)
+ bf
′ ( b)
⎞ ⎛0
1
⎞
⎜
⎟ = ⎜ ⎟
⎟
⎝ bf
′
( b)
⎠
⎠ ⎝0
2
⎠
⎛ f ( b)
⎞
⎜
⎟ ⎛0
⎞
1
⎜ ( f ′ ( b)
+ bf
′
( b))
⎟
= ⎜ ⎟
(4.88ii)
⎝ 2
⎠
⎝0⎠
⎠
⎝
⎠

yöndeş sınır koşulları elde edilir. Buradaki sınır koşulları uygulanarak
φ x , λ)
= y ( x,
λ)
φ x , λ)
= y ( x,
λ)
(4.89)
1(
3
56
2 ( 2
elde edilir. Bessel karesi probleminin, ω ( λ)
matrisini belirleyen (4.78) kullanılarak
(4.88);
⎛
T ⎜
ω ( λ ) =
⎜
⎝
φ1(
b)
φ2
( b)
⎞
1
1
⎟
[ φ′
( ) + ′
( )] [ ′ ( ) + ′
( )] ⎟
1 b bφ1
b φ2
b bφ2
b
2
2
⎠
(4.90)
formülü ile verilir. (4.89) ve (4.85) yi kullanarak yapılan hesaplama daha sonra tüm
fonksiyonun sıfırları olarak öz değerleri verir.
γ , β
W ( λ)
nın sıfırları
W
γ , β
λ k =
( λ)
= det( ω(
λ))
⎛
⎜
⎝
=
kπ
b
1
1
1
− ⎛
⎞
2 ⎜ 4 λ ⎟
⎜
sinh( λ b) sin( λ b)
2
⎟
(4.91)
⎝
⎠
1 4
4
⎞
⎟
⎠
olup, bunların tümü basittir. ( λ ) ≠ 0
22
n
, k = 1,2 … (4.92)
ω olduğundan, (4.36) – (4.37) in
normalleştirilmiş öz fonksiyonu hesaplamak için kullanılabilir. Buradan
2 − ⎛ kπx
2 ⎞
ψ k ( x)
= x sin⎜
⎟
b ⎝ b ⎠
1
(4.93)
1
bulunur. (4.88) sınır koşulları ile bağlantılı ν = için öz fonksiyon açılım formülü
2
olarak elde edilir.
∑ ∞
=
k = 1
k
k
k
b
f ( x)
c Ψ ( x),
∫ Ψ = c f ( x)
dx
(4.94)
0
k

ÖZGEÇMİŞ
Adı Soyadı : Pakize Neval ZEYNELGİL
Doğum Yeri ve Yılı : Isparta 1981
Medeni Hali : Bekâr
Yabancı Dili : İngilizce
Eğitim Durumu (Kurum ve Yıl)
Lise : 1995 - 1999, Gürkan Süper Lisesi
Lisans : 1999 - 2003, Dokuz Eylül Üniversitesi
Buca Eğitim Fakültesi, İlköğretim Matematik Öğretmenliği
Çalıştığı Kurumlar ve Yıl
Budur – Bucak Kocaaliler İlköğretim Okulu (2003 - 2005)
Isparta – Atabey 75. Yıl Y.İ.B.O (2005 - 2008)
59