- •4. Elliptik tipli tənliklərə gətirilən məsələlər
- •4.1. Sərhəd məsələlərinin qoyuluşu. Laplas tənliyinin fundamental həlləri
- •4.2. Qrin düsturları. Harmonik funksiyaların bəzi xassələri və sərhəd məsələlərinin həllinin yeganəliyi
- •4.3. Sadə oblastlarda sərhəd məsələlərinin həllinə Furye üsulunun tətbiqi
- •4.4. Elliptik tipli tənliklər üçün sərhəd məsələlərinin Qrin funksiyası üsulu ilə həlli
- •4.5. Laplas tənliyi üçün Qrin funksiyası və onun əsas xassələri
- •4.6. Potensialların sərhəd məsələlərinin həllinə tətbiqi
- •Vahid radiuslu dairənin daxilində harmonik olan və sərhəd şərtini ödəyən funksiyasını tapın.
- •Verilmiş sərhəd şərtlərində Laplas tənliyinin oblastında həllini tapın.
- •Verilmiş sərhəd şərtlərini ödəyən və dairəsinin daxilində harmonik funksiyasını tapın.
4.2. Qrin düsturları. Harmonik funksiyaların bəzi xassələri və sərhəd məsələlərinin həllinin yeganəliyi
Harmonik funksiyaların xassələrini və ümumiyyətlə, elliptik tipli tənliklər üçün sərhəd məsələlərinin həllərini öyrənərkən Qrin düsturlarından istifadə olunur.
Tutaq ki,
və
oblastında
kəsilməz,
-də
I və
II tərtib
kəsilməz
xüsusi
törəmələri
olan
funksiyalardır.
Onda
(4.23)
burada
.
(4.23)-ə Qrinin I düsturu deyilir.
-dən
-nu
çıxsaq,
alınan
(4.24)
bərabərliyinə Qrinin II düsturu deyilir. Birölçülü halda II Qrin düsturu
şəklində olar.
Qrinin II
düsturunda xüsusi
halda
,
funksiyası isə
tənliyinin həlli
olarsa,
(4.25)
alınar.
(4.25) düsturundan belə bir nəticə çıxır ki,
tənliyi üçün ikinci
,
(4.26)
,
(4.27)
sərhəd məsələsinin yalnız
(4.28)
şərti ödənildikdə
həlli vardır.
xüsusi
halda, əgər
,
yəni
harmonik funksiya olarsa, (4.26) – (4.27) məsələsinin
həllinin varlığı üçün
funksiyası
(4.29)
şərtini ödəməlidir.
(4.28) və (4.29) ifadələrinin
fiziki izahını
vermək olar.
Tutaq ki,
- stasionar temperaturun
paylanması,
- istilikkeçirmə əmsalıdır.
onda
(4.28) ifadəsi aşağıdakı
fiziki faktı
ifadə edir:
Temperatur paylanmasının
stasionar olması
üçün D
oblastında
zaman müddətində
daxili istilik
mənbələrinin təsirindən
yaranan istilik
miqdarı bu
zaman müddətində
S səthindən
çıxan istilik
selinə bərabər
olmalıdır. (4.29) ifadəsi
isə onu
göstərir ki,
əgər D
oblastında mənbələr
yoxdursa, stasionar
temperatur paylanmasının
olması üçün
S səthindən
keçən istilik
seli sıfra
bərabər olmalıdır,
yəni S
səthi ətraf
mühitdən izolə
edilməlidir.
Harmonik funksiyaların iki mühüm xassəsini qeyd edək.
Orta qiymət teoremi. hər hansı D oblastında harmonik funksiya, M0 isə həmin oblastın daxilində yerləşən hər hansı nöqtədirsə, onda
,
(4.30)
burada
- mərkəzi
nöqtəsində olan
R radiuslu
və bütünlüklə
D oblastında
yerləşən sferadır.
Bu teorem göstərir ki, harmonik funksiyanın hər hansı nöqtədəki qiyməti, bu funksiyanın harmoniklik oblastında yerləşən, mərkəzi nöqtəsində olan istənilən sferası üzərində aldığı orta qiymətə bərabərdir.
İki sərbəst dəyişənli funksiya üçün də oxşar teorem doğrudur:
,
(4.31)
burada
mərkəzi
nöqtəsində olan
R radiuslu
çevrədir.
Tərs teorem. Əgər bütünlüklə D oblastında yerləşən mərkəzi nöqtəsində və radiusu R olan ixtiyari sferası üçün (4.30) münasibəti doğrudursa, onda D oblastında harmonik funksiyadır.
Ən böyük və ən kiçik qiymətlər haqqında teorem (maksimal və minimal qiymət prinsipi). Qapalı oblastında kəsilməz və D-də harmonik funksiya özünün ən böyük və ən kiçik qiymətlərini S sərhəddi üzərində alır.
Teoremlərin isbatları müvafiq ədəbiyyatlarda verilmişdir ([1],[2]).
Nəticə. D
oblastında harmonik
funksiyasının bu
oblastın daxilində
lokal ekstremumları
ola bilməz.
Maksimal qiymət
prinsipindən
tənliyi üçün
birinci daxili
sərhəd məsələsinin
yeganəliyi alınır.
Yeganəlik teoremi. Puasson tənliyi üçün birinci
sərhəd məsələsinin qapalı oblastında kəsilməz həlli yeganədir.
Tutaq ki,
məsələnin iki
müxtəlif
və
həlli var.
onda
fərqi
oblastında harmonik,
oblastında kəsilməz
funksiyadır və
-də
sıfra bərabərdir.
Ən böyük
və ən
kiçik qiymət
teoreminə görə
bu funksiyanın
ən böyük
və ən
kiçik qiymətləri
sıfra bərabərdir.
Deməli, D
oblastında
.
Maksimal qiymət prinsipindən istifadə edərək, birinci sərhəd məsələsinin həllinin sərhəd şərtlərindən kəsilməz asılı olmasını isbat etmək olar [1].
