DOĞRUSAL OLMAYAN PROGRAMLAMA -I-



Benzer belgeler
DOĞRUSAL OLMAYAN PROGRAMLAMA -II- Tek değişkenli doğrusal olmayan karar modelinin çözümü

KONU 4: DOĞRUSAL PROGRAMLAMA MODELİ İÇİN ÇÖZÜM YÖNTEMLERİ I

YÖNEYLEM ARAŞTIRMASI - III

TÜREV VE UYGULAMALARI

HESSİEN MATRİS QUADRATİK FORM MUTLAK ve BÖLGESEL MAKS-MİN NOKTALAR

İÇİNDEKİLER ÖNSÖZ Bölüm 1 SAYILAR 11 Bölüm 2 KÜMELER 31 Bölüm 3 FONKSİYONLAR

İktisat bilimi açısından optimizasyon, amacımıza en uygun olan. seçeneğin belirlenmesidir. Örneğin bir firmanın kârını

YÖNEYLEM ARAŞTIRMASI - III

Şimdi de [ ] vektörünün ile gösterilen boyu veya büyüklüğü Pisagor. teoreminini iki kere kullanarak

EM302 Yöneylem Araştırması 2 Doğrusal Olmayan Programlamaya Giriş. Dr. Özgür Kabak

Zeki Optimizasyon Teknikleri

EŞİTLİK KISITLI TÜREVLİ YÖNTEMLER

İleri Diferansiyel Denklemler

x e göre türev y sabit kabul edilir. y ye göre türev x sabit kabul edilir.

KUADRATİK FORM. Tanım: Kuadratik Form. Bir q(x 1,x 2,,x n ) fonksiyonu

YÖNEYLEM ARAŞTIRMASI-II

SİMPLEKS ALGORİTMASI! ESASLARI!

YÖNEYLEM ARAŞTIRMASI - III

ÖRNEKLER-VEKTÖR UZAYLARI 1. Çözüm: w=k 1 u+k 2 v olmalıdır.


LYS MATEMATİK DENEME - 1

Soru 1. Soru 5. Soru 2. Soru 6. Soru 3. Soru 7.

7. BÖLÜM İÇ ÇARPIM UZAYLARI İÇ ÇARPIM UZAYLARI İÇ ÇARPIM UZAYLARI İÇ ÇARPIM UZAYLARI .= Genel: Vektörler bölümünde vektörel iç çarpım;

Lineer Cebir. Doç. Dr. Niyazi ŞAHİN TOBB. İçerik: 1.1. Lineer Denklemlerin Tanımı 1.2. Lineer Denklem Sistemleri 1.3. Matrisler

TÜREVİN UYGULAMALARI. Maksimum ve Minimum Değerler. Tanım : f bir fonksiyon ve D, f nin tanım kümesi olsun.

Temel Kavramlar. (r) Sıfırdan farklı kompleks sayılar kümesi: C. (i) Rasyonel sayılar kümesi: Q = { a b

İleri Diferansiyel Denklemler

Optimal Kontrol. Optimizasyonun Temelleri

4.3. Türev ile İlgili Teoremler

YÖNEYLEM ARAŞTIRMASI - III

SİMPLEKS ALGORİTMASI Yapay değişken kullanımı

Temel Kavramlar 1 Doğal sayılar: N = {0, 1, 2, 3,.,n, n+1,..} kümesinin her bir elamanına doğal sayı denir ve N ile gösterilir.

( ) v = 3i -4j vektörünün boyu kaç birimdir? r r r r A) 5 B) 4 C) 3 D) 2 E ) 1. Çözüm: v = 3i -4j Vektörün boyu ω olsun.

İÇİNDEKİLER. Bölüm 1 MATEMATİKSEL İKTİSADA GİRİŞ İktisat Hakkında İktisatta Grafik ve Matematik Kullanımı 13

Yrd. Doç. Dr. A. Burak İNNER

TÜREV VE UYGULAMALARI

Artan-Azalan Fonksiyonlar Ekstremumlar. Yard. Doç. Dr. Mustafa Akkol

Bu tanım aralığı pozitif tam sayılar olan f(n) fonksiyonunun değişim aralığı n= 1, 2, 3,, n,

SÜREKLİLİK. 9.1 Süreklilik ve Süreksizlik Kavramları

Kısıtsız Optimizasyon OPTİMİZASYON Kısıtsız Optimizasyon

METASEZGİSEL YÖNTEMLER

YAZILI SINAV SORU ÖRNEKLERİ MATEMATİK

4. BÖLÜM DOĞRUSAL DENKLEM SİSTEMLERİ

Matris Cebiriyle Çoklu Regresyon Modeli

KONU 8: SİMPLEKS TABLODA KARŞILAŞILAN BAZI DURUMLAR - II 8.1. İki Evreli Yöntem Standart biçime dönüştürülmüş min /max Z cx (8.1)

T I M U R K A R A Ç AY - H AY D A R E Ş C A L C U L U S S E Ç K I N YAY I N C I L I K A N K A R A

8.Konu Vektör uzayları, Alt Uzaylar

EŞİTSİZLİKLER. 5. x 2 + 4x + 4 > x 2 0. eşitsizliğinin çözüm kümesi. eşitsizliğinin çözüm kümesi. aşağıdakilerden hangisidir?

Yöneylem Araştırması II

fonksiyonu için in aralığındaki bütün değerleri için sürekli olsun. in bu aralıktaki olsun. Fonksiyonda meydana gelen artma miktarı

ÖZDEĞERLER- ÖZVEKTÖRLER

MIT Açık Ders Malzemeleri Bu materyallerden alıntı yapmak veya Kullanım Koşulları hakkında bilgi almak için

YÖNEYLEM ARAŞTIRMASI - III

AYRIK YAPILAR. ARŞ. GÖR. SONGÜL KARAKUŞ- FıRAT ÜNIVERSITESI TEKNOLOJI FAKÜLTESI YAZıLıM MÜHENDISLIĞI BÖLÜMÜ, ELAZIĞ

(m+2) +5<0. 7/m+3 + EŞİTSİZLİKLER A. TANIM

sonlu altörtüsü varsa bu topolojik uzaya tıkız diyoruz.

f fonksiyonuna bir üç değişkenli fonksiyon adı verilir. Daha çok değişkenli fonksiyonlar benzer şekilde tanımlanır.

Lineer Dönüşümler ÜNİTE. Amaçlar. İçindekiler. Yazar Öğr. Grv.Dr. Nevin ORHUN

Ders 2: Manifold, kritik noktaları ve indisleri

2(1+ 5 ) b = LYS MATEMATİK DENEMESİ. işleminin sonucu kaçtır? A)2 5 B)3 5 C)2+ 5 D)3+ 5 E) işleminin sonucu kaçtır?

DOĞU AKDENİZ ÜNİVERSİTESİ MATEMATİK BÖLÜMÜ 23. LİSELERARASI MATEMATİK YARIŞMASI

1. BÖLÜM Polinomlar BÖLÜM II. Dereceden Denklemler BÖLÜM II. Dereceden Eşitsizlikler BÖLÜM Parabol

x 1,x 2,,x n ler bilinmeyenler olmak üzere, doğrusal denklemlerin oluşturduğu;

10.Konu Tam sayıların inşası

EM302 Yöneylem Araştırması 2 Çok değişkenli DOP ların çözümü. Dr. Özgür Kabak

MATM 133 MATEMATİK LOJİK. Dr. Doç. Çarıyar Aşıralıyev

Bu kısımda işlem adı verilen özel bir fonksiyon çeşidini ve işlemlerin önemli özelliklerini inceleyeceğiz.

Kaynak: A. İŞLİER, TESİS PLANLAMASI, 1997

Doğrusal Programlamada Grafik Çözüm

İleri Diferansiyel Denklemler

1 Vektör Uzayları 2. Lineer Cebir. David Pierce. Matematik Bölümü, MSGSÜ mat.msgsu.edu.tr/~dpierce/

OPTİMİZASYON TEKNİKLERİ-2. Hafta

1994 ÖYS. 6. x, y, z sıfırdan büyük birer tam sayı ve 2x+3y-z=94 olduğuna göre, x in en küçük değeri kaçtır?

ÖĞRENME ALANI TEMEL MATEMATİK BÖLÜM TÜREV. ALT ÖĞRENME ALANLARI 1) Türev 2) Türev Uygulamaları TÜREV

DOĞUŞ ÜNİVERSİTESİ 8. İSTANBUL MATEMATİK YARIŞMASI LİSELER KATEGORİSİ TAKIM YARIŞMASI

3. BÖLÜM MATRİSLER 1

Özdeğer ve Özvektörler

30 NİSAN-14 MAYIS ZEYNEP KAYAR. 1) L : R 3 R 2, L(x 1, x 2, x 3 ) = ( 3x 1 + 2x 3 4x 2, 2x 1 + x 2 3x 3 )

7.2 Fonksiyon ve Fonksiyon Tanımları (I) Fonksiyon ve Fonksiyon Tanımları (II)

Temelleri. Doç.Dr.Ali Argun Karacabey

Çalışma Soruları 1. a) x > 5 b) y < -3 c) xy > 0 d) x 3 < y e) (x-2) 2 + y 2 > 1. ( ) 2x

MATRİS - DETERMİNANT Test -1

Motivasyon Matrislerde Satır İşlemleri Eşelon Matris ve Uygulaması Satırca İndirgenmiş Eşelon Matris ve Uygulaması Matris Tersi ve Uygulaması Gauss

DOĞRUSAL PROGRAMLAMADA DUALİTE (DUALITY)


Cebirsel Fonksiyonlar

Matematiksel Optimizasyon ve Yapay Öğrenme

yöneylem araştırması Nedensellik üzerine diyaloglar I

Ö.S.S MATEMATĐK II SORULARI ve ÇÖZÜMLERĐ

Bir değişkenin bir sabite mümkün olduğu kadar çok yaklaşması durumu ancak onun limitiyle ifade edilebilir.

Anadolu Üniversitesi Endüstri Mühendisliği Bölümü İST328 Yöneylem Araştırması 2 Dersi Bahar Dönemi. Hazırlayan: Doç. Dr.


MATEMATİK ÖĞRETMENLİK ALAN BİLGİSİ - DENEME SINAVI DENEME. Diğer sayfaya geçiniz.

9. BÖLÜM. Özel Tanımlı Fonksiyonlar ÇİFT VE TEK FONKSİYONLAR: ÖRNEK ÖRNEK ÇÖZÜM ÇÖZÜM. M A T E M A T İ K

Türev Uygulamaları ÜNİTE. Amaçlar. İçindekiler. Yazar Prof.Dr. Vakıf CAFEROV

Simpleks Yönteminde Kullanılan İlave Değişkenler (Eşitliğin yönüne göre):

ÖZEL EGE LİSESİ 10. OKULLARARASI MATEMATİK YARIŞMASI 10. SINIFLAR SORULARI

1. Fonksiyonlar Artan, Azalan ve Sabit Fonksiyon Alıştırmalar Çift ve Tek Fonksiyon

VEKTÖR UZAYLARI 1.GİRİŞ

Transkript:

DOĞRUSAL OLMAYAN PROGRAMLAMA -I- Dışbükeylik / İçbükeylik Hazırlayan Doç. Dr. Nil ARAS Anadolu Üniversitesi, Endüstri Mühendisliği Bölümü İST38 Yöneylem Araştırması Dersi 0-0 Öğretim Yılı

Doğrusal olmayan programlama Gerçek hayatta karşılaşılan çoğu problem için geliştirilen karar modellerinin kısıtlarında ve amaç fonksiyonunda doğrusal ilişkileri gözlemek zordur. Karar modelinin kısıtlarından en az biri veya amaç fonksiyonunun doğrusal olmadığı durumlar için geliştirilen kavram ve teknikler Doğrusal Olmayan Programlama başlığı altında incelenmektedir.

Doğrusal Olmayan Karar Modelinin Genel Yapısı X : Karar değişkenleri vektörü, X(,, 3,, n ), g i () : i. Kısıtın ifadesi (i,,,m), b i : i. Kısıtın sağ taraf sabiti (i,,,m), f(x) : Amaç fonksiyonu ve en az bir g i (X) ve/veya f(x) doğrusal olmayan vektör fonksiyonları olmak üzere; f(x) fonksiyonunu eniyileyen X vektörünün bulunması. g i (X ) b i i,,..., m kısıtları altında Enyi Z f(x ) 3

DİKKAT! Doğrusal olmayan karar modellerinin çözümü için genel bir algoritma ve etkin bir yöntem geliştirilmemiştir. Amaç fonksiyonu ve kısıtların yapılarına göre, özel modellerin çözüm teknikleri söz konusudur. 4

Doğrusal Olmayan Karar Modeline Örnek Uygun Çözüm Alanı Eniyi nokta 5

Doğrusal Olmayan Karar Modeline Örnek Uygun Çözüm Alanı Eniyi nokta 6

Doğrusal Olmayan Karar Modeline Örnek 3 Maimize f() ( ) + ( ) subject to 3 6 + 3 + 7 3 4 5 4 3 3 4 5 7

Doğrusal Olmayan Karar Modeline Örnek 4 8

Doğrusal Olmayan Karar Modeline Örnek 5 8 Ma f(, ) s.t. 4 + 8, 0 f(, ) f(, ) 9

DIŞBÜKEY KÜME Verilen bir S kümesinin farklı her iki noktasının dışbükey bileşimiyle bulunan nokta (farklı her iki noktayı birleştiren doğru parçası) S kümesinin bir öğesi ise, S ye dışbükey küme denir. i, j S, 0 λ iken, 0 λ i + (- λ) j, i j için 0 S dışbükey dışbükey içbükey 0

Dışbükey bir uygun çözüm alanı Maimize f() ( ) + ( ) subject to 3 6 + 3 + 7 3 4 5 4 3 3 4 5

Dışbükey olmayan bir uygun çözüm alanı S {(, ) : (0.5 0.6) ; ( ) + 3( ) 7;, 0}

DIŞBÜKEY / İÇBÜKEY FONKSİYONLAR 3

DIŞBÜKEY FONKSİYON X(X, X,..., X n ); f(x), verilen bir S kümesinde tanımlı bir fonksiyon olsun., S,, 0 λ iken, izleyen eşitsizlik gerçekleşiyorsa f(x) dışbükey bir fonksiyondur. f [λ + (- λ) ] λf( )+ (- λ)f( ) f [λ + (- λ) ] < λf( )+ (- λ)f( ) ise, kesin dışbükey fonksiyon 4

f [λx + (- λ)x ] λf(x )+ (- λ)f(x ) f(x ) λf(x )+(- λ)f(x ) f(x ) f(λx +(- λ)x ) X λx +(- λ)x X 5

6

İÇBÜKEY FONKSİYON X(X, X,..., X n ) f(x), verilen bir S kümesinde tanımlı bir fonksiyon., S,, 0 λ iken, izleyen eşitsizlik gerçekleşiyorsa f(x) içbükey bir fonksiyondur. f [λ + (- λ) ] λf( )+ (- λ)f( ) f [λ + (- λ) ] > λf( )+ (- λ)f( ) ise, kesin içbükey fonksiyon 7

f [λx + (- λ)x ] λf(x )+ (- λ)f(x ) f(λx +(- λ)x ) f(x ) λf(x )+(- λ)f(x ) f(x ) X λx +(- λ)x X 8

f () 9

f() Ne dışbükey ne de içbükey olan fonksiyon 0

ÇALIŞMA KONUSU! f(x)ax+b şeklinde verilen bir doğrusal fonksiyonun hem içbükey hem de dışbükey bir fonksiyon olduğunu ispatlayınız. f(x)ax fonksiyonunun a nın pozitif değerleri için dışbükey, negatif değerleri için içbükey bir fonksiyon olduğunu ispatlayınız. İPUCU f(x )ax ; f(x )ax f [λx + (- λ)x ]a. ( λx + (- λ)x )

ÖZELLİKLER Doğrusal bir fonksiyon hem içbükey, hem dışbükey bir fonksiyondur. Dışbükey fonksiyonların toplamı da dışbükey bir fonksiyon, içbükey fonksiyonların toplamı da içbükey bir fonksiyondur. f(x) dışbükey iken, -f(x) içbükey bir fonksiyondur. f(x) içbükey iken, -f(x) dışbükeydir. Bir fonksiyon, belirli bir alt kümede dışbükey iken, başka bir alt kümede içbükey olabilir.

YEREL ENİYİLERLE BÜTÜNSEL ENİYİLER ARASINDAKİ İLİŞKİ 3

DIŞBÜKEYLİK ENİYİLİK İLİŞKİSİ Doğrusal olmayan programlamada, ele alınan fonksiyonun dışbükey veya içbükey olduğunun belirlenebilmesi son derece önemlidir. f() in tanımlı olduğu S kümesi içinde, X 0 in δ komşuluğu A olsun. Bu durumda,. Eğer f(), X 0 da yerel enküçük değerini alıyorsa, f(x), A kümesinde dışbükeydir.. Eğer f(), X 0 da yerel enbüyük değerini alıyorsa, f(x), A kümesinde içbükeydir. 4

f(), A kümesi içerisinde X 0 da yerel enbüyük değerini aldığından, f(x), A kümesinde içbükeydir. X 0 A 5

TEOREM X(,, 3,, n ) ve f(x) dışbükey bir kümede tanımlı fonksiyon olsun. Eğer f(x) dışbükey bir fonksiyon ve X 0, f(x) in yerel enküçük noktası ise, f(x), X 0 noktasında bütünsel enküçük değerini alır. Eğer f(x) içbükey bir fonksiyon ve X 0, f(x) in yerel enbüyük noktası ise, f(x), X 0 noktasında bütünsel enbüyük değerini alır. 6

Çok değişkenli içbükey bir fonksiyon, A noktası enbüyük nokta 7

Çok değişkenli dışbükey bir fonksiyon, B noktası enküçük nokta 8

Yerel eniyilerle bütünsel eniyiler arasındaki özellikler Bu iki özellik, dışbükey kümede tanımlı bir fonksiyonun dışbükey veya içbükey olması halinde, yerel eniyi (enküçük veya enbüyük) noktanın bütünsel eniyi nokta olduğunu belirtmektedir. Ancak, bunun tersi her zaman doğru değildir. Yani fonksiyonun bir yerel eniyi noktası varsa, bu nokta bütünsel eniyi olmayabilir, bu fonksiyon da dışbükey veya içbükey bir fonksiyon olmayabilir. 9

Fonksiyonun tanım aralığı içinde A, B ve C noktaları yerel enbüyük noktalar, C noktası bütünsel enbüyük nokta. Fonksiyon ne içbükey ne dışbükey. 30

Tanım aralığı içinde bir bütünsel enbüyük ve bir bütünsel enküçük noktaya sahip fonksiyon, fakat fonksiyon ne dışbükey ne içbükey. 3

Min {f() sin() : 0 5π} Birden fazla enbüyük ve enküçük noktaya sahip fonksiyon, fakat fonksiyon ne dışbükey ne içbükey. 3

Fonksiyon, her için, dışbükey veya içbükey değildir. Belirtilen eniyi çözümler, X S Eniyi f(x) modelinindir. Bu nedenle, bütünsel eniyi noktalar, fonksiyonun değil, modelin eniyi çözümleridir. Fonksiyonun bütünsel eniyi çözümü olduklarını belirtebilmek için, eniyi çözümlerin, X R Eniyi f(x) için geçerli olduğunun gösterilmesi gerekmektedir. 33

TÜREVİN ANLAMI (Hatırlatma) 34

35

36

37 Örnek: f() +9+3 fonksiyonunun 7 noktasında türevi? 3 3 h lim h 3h h lim h 5 3] 9h) (63 ) h 4h [(49 lim h 3] 9.7 [7 3] h) 9(7 h) [(7 lim h f(7) h) f(7 lim 0 h 0 h 0 h 0 h 0 h + + + + + + + + + + + + + +

Tanım f(x) fonksiyonunun a daki sağdan türevi soldan türevine eşitse fonksiyonun a da türevi vardır. 38

f (a) varsa, f fonksiyonu a da sürekli fonksiyondur. Tersi doğru olmayabilir! a da fonksiyon sürekli olup, türevi olmayabilir. f fonksiyonu a da sürekli değilse, türevli de değildir. 39

Örnek: f() fonksiyonunun 0 daki türevi? (0 da türevi olmayan fakat sürekli olan fonksiyon) ; ; < > 0 0 lim h 0+ f(0 + h) h f(0) lim h 0+ 0 + h h 0 lim h 0+ (0 + h) h (0) lim h 0+ h h lim h 0 f(0 + h) h f(0) lim h 0 0 + h h 0 lim h 0+ (0 + h) h (0) lim h 0 h h 40

4 Örnek: f() -4 fonksiyonunun deki türevi? ( de türevi olmayan fakat sürekli olan fonksiyon) 4 ) lim ( ) ( ) )( ( lim 0 4) ( lim 4 4 4 lim f() f() lim + + + + + + + > < 4); ( 4); ( 4 4 ) ( lim - ) ( ) )( ( lim 0 4) ( lim 4 4 4 lim f() f() lim + +

Örnek: İşaretli noktada türevli değil, sürekli değil. 4

Birinci türev (a, f(a)) f (a)0 (b, f(b)) f (b)0 a: Yerel enbüyük b: Dönüm noktası c: Yerel enküçük yf() (c, f(c)) f (c) YOK! f ()>0 a b c f ()<0 f ()<0 f ()>0 43

yf() fonksiyonunun birinci türevi 0 noktasında sıfıra eşitse ve; Türevin işareti, 0 ın solundan sağına giderken pozitiften negatife doğru işaret değiştiriyorsa yerel enbüyük, Türevin işareti, 0 ın solundan sağına giderken negatiften pozitife doğru işaret değiştiriyorsa yerel enküçük, Türevin işareti, 0 ın solundan sağına giderken işaret değiştirmiyorsa ne yerel enbüyük ne de yerel enküçük nokta vardır. 44

ÖRNEK b noktasında yerel enküçük f (b)0 f (b)>0 d noktasında yerel enbüyük f (d)0 f (d)<0 45

[a,b] aralığında f() azalan f ()<0 b noktasında yerel enküçük f (b)0 [b,d] aralığında f() artan f ()>0 d noktasında yerel enbüyük f (d)0 46

[a,c] aralığında f() dışbükey f ()>0 b noktasında yerel enküçük f ()>0 [c, ] aralığında f() içbükey f ()<0 d noktasında yerel enbüyük f ()<0 47

ÖRNEK f ()0 eşitliğini sağlayan 0 değerine kritik değer (yerel enbüyük veya dönüm noktası olabilir), f( 0 ) değerine de durağan değer (durgunluk değeri) denir. A, B,C ve D noktalarında birinci türev sıfır olup, fonksiyon bu noktalarda birer durgunluk değerine sahiptir. Ancak tüm durgunluk noktaları, birer uç değer anlamına gelmez. Şekil (a) ve (b) de birer durgunluk noktası olmasına rağmen, bir yerel eniyi yoktur. Buna karşın şekil (c) ve (d) deki durgunluk noktalarında sırasıyla bir enküçük ve enbüyük vardır. 48

49

50

ÖRNEK Üzerinde çalışılan yf() fonksiyonunun, sürekli ve türevlenebilir olduğu varsayılmaktadır.bazı durumlarda fonksiyonun birinci türevinin alınamadığı bir noktada da uçdeğer olabilir. (a) şeklinde, A ve B noktaları birer uçdeğer olmakla birlikte bu noktada fonksiyonun tanımlı türevi yoktur. (b) şeklinde ise C ve D noktalarında birer uçdeğer vardır ve bunu birinci ve ikinci türev sınamalarıyla anlayabiliriz. 5

(a) (b) (c) Sabit fonksiyon. Fonksiyonun üzerinde farklı değerlerine karşılık yer alan tüm y değerleri aynı olduğundan, bu değerleri eniyi değer olarak söyleyemeyiz. D noktası enküçük noktadır. Fonksiyon monotonik artan olduğundan, bir enbüyük noktaya sahip değildir. Fonksiyonun bir enbüyük noktası (E) bir de enküçük noktası (F), yani iki uç değeri vardır. 5

ÖRNEK 53

54

TEK DEĞİŞKENLİ FONKSİYONLARIN DIŞBÜKEY / İÇBÜKEYLİĞİNİN BELİRLENMESİ 55

Teorem f(), verilen bir S dışbükey kümesinde tanımlı ve S için ikinci türevi alınabilir bir fonksiyon olsun. f() dışbükey bir fonksiyon S için f () 0 f() kesin dışbükey bir fonksiyon S için f ()>0 f() içbükey bir fonksiyon S için f () 0 f() kesin içbükey bir fonksiyon S için f ()<0 56

f() :tek değişkenli bir fonksiyon d f d 0 dışbükey fonksiyon d f d 0 içbükey fonksiyon 57

f() :tek değişkenli bir fonksiyon Hem içbükey hem dışbükey Ne içbükey ne dışbükey fonksiyon 58

ÖRNEK- f(), SR fonksiyonu f () f () S için f () 0 olduğundan fonksiyon dışbükey bir fonksiyondur. 59

ÖRNEK- f()e, SR fonksiyonu f () e f () e S için f () 0 olduğundan fonksiyon dışbükey bir fonksiyondur. 60

ÖRNEK-3 f (), S(0, ) fonksiyonu f '() f''() 4 3 / S için f () 0 olduğundan fonksiyon içbükey bir fonksiyondur. 6

ÖRNEK-4 f()a+b, SR fonksiyonu f () a f () 0 S için f () 0 olduğundan fonksiyon hem dışbükey hem içbükey bir fonksiyondur. 6

ÖRNEK-5 f()(-), 0 f ()3-8+4 f ()6-8 Bazı 0 için f () 0, bazı 0 için f () 0 olduğundan fonksiyon ne içbükey ne dışbükey bir fonksiyondur. 63

ÇOK DEĞİŞKENLİ FONKSİYONLARIN DIŞBÜKEY / İÇBÜKEYLİĞİNİN BELİRLENMESİ 64

TANIM: Kısmi türev X(,,..., n ), bir S R n kümesinde tanımlı olan f(x) sürekli ve ikinci derece kısmi türevleri alınabilir bir fonksiyon olsun. f(x) fonksiyonunun i ye göre kısmi türevi izleyen şekilde tanımlanır: f() i Lim h 0 f (,,..., i + h,..., n ) h - f(,,..., i,..., n ) 65

66 TANIM: Hessian Matrisi X(,,..., n ), bir S R n kümesinde tanımlı olan f(x) sürekli ve ikinci derece kısmi türevleri alınabilir bir fonksiyon olsun. f(x) fonksiyonunun Hessian matrisi izleyen şekilde tanımlanır. n n j i f f H

67 n n j i f f H n n n n n n n n f f... f f............ f... f f f... f f ),...,, H( H

Eğer verilen bir noktada f(x) in ikinci kısmi türevleri var ve f(x) bu noktalarda sürekli ise, i ve j için; i f j j f i Hf, simetrik ve kare bir matristir. 68

69 ÖRNEK: f(, ) 3 + + f 3 f + + 6 ), H(

Tanım: Asal minör Bir nn boyutlu kare matrisin k. asal minörü, son (n-k) satırın ve (n-k) sütunun matristen çıkarılmasıyla elde edilen (kk) boyutlu matrisin determinantıdır. 70

7 ÖRNEK- 4 A A minör asal Birinci 3 4 A minör asal İkinci 6 4 A minör asal Üçüncü 3

ÖRNEK- f(, ) 3 + + H(, ) 6 Birinci asal minör H (, ) 6 6 6 H İkinci asal minör (, ) 4 7

Tanım : Bir matrisin belirliliği A, nn boyutlarında kare ve simetrik bir matris olsun. A matrisi pozitif belirlidir A nın tüm asal minörleri >0 A matrisi pozitif yarı belirlidir A nın tüm asal minörleri 0 A matrisi negatif belirlidir A nın k. mertebe asal minörü (-) k ile aynı işareti taşıyorsa (Asal minörlerin işareti (-, +, -, +,...) şeklinde ise) A matrisi negatif yarı belirlidir A nın her tek sıralı asal minörü 0 ve her çift sıralı asal minörün işareti 0 ise ( Sıfırdan farklı her asal minörün işareti (-) k ile aynı) Yukarıdakilerin dışında bir durum varsa, A matrisi belirsizdir. 73

Tanım: Çok değişkenli bir fonksiyonun dışbükey / içbükeyliği X(,,..., n ), bir S R n kümesinde tanımlı olan f(x) sürekli ve X S için ikinci derece kısmi türevleri alınabilir bir fonksiyon olsun. f(x) dışbükey bir fonksiyon X S için H f pozitif belirli/pozitif yarı belirli ise. f(x) içbükey bir fonksiyon X S için H f negatif belirli/negatif yarı belirli ise. 74

75 ÖRNEK-: f(,, 3 ) + + 3 - - 3-3 ; SR 3 4 f 3 3 3 i 4 H f 0 H > 0 3 4 H > 0 6 4 H 3 > X S için H f pozitif belirli olduğundan f(x) fonksiyonu DIŞBÜKEY bir fonksiyondur.

76 ÖRNEK-: f(, )- - - ; SR 4 f i 4 H f 0 H < 0 7 8 4 H > X S için H f negatif belirli olduğundan f(x) fonksiyonu İÇBÜKEY bir fonksiyondur. (Asal minörlerin işareti : -, +)

ÖRNEK-3: f(, ) + -3 ; SR f i 4 3 3 H f 3 3 4 H > 0 3 H 8 9 < 3 4 0 Asal minörlerin işareti : +, - olduğundan f(x) fonksiyonu belirli değildir. (Ne içbükey ne dışbükey) 77

ÖRNEK-4: f(, ) + + ; SR f i + + H f H > 0 H 4 4 0 X S için H f pozitif yarı belirli olduğundan f(x) fonksiyonu DIŞBÜKEY bir fonksiyondur. 78

ÖRNEK-5: 79

ÖRNEK-6: " $ $ H f $ $ # $ 0 0 0 % ' ' ' ' &' 80

ÖRNEK-7: İkinci kısmi türevlerin hepsi sıfırdır. Hf(X) hem pozitif yarı belirli, hem de negatif yarı belirli olduğundan, f(x) fonksiyonu hem içbükey hem dışbükey bir fonksiyon yani doğrusal bir fonksiyondur. 8