İçbükey fonksiyon

Bir aralık üzerinde içbükey fonksiyonun grafiği, fonksiyonun bu aralığın başlangıç ve bitiş noktasında aldığı değerleri birleştiren doğru parçasının üstünde kalır.

Matematikte, gerçel değerli bir fonksiyonun grafiğindeki herhangi iki ayrı nokta arasındaki doğru parçası, grafiğin altında veya üzerinde yer alıyorsa, bu fonksiyona içbükey fonksiyon ya da konkav fonksiyon denir. Eşdeğer bir ifâdeyle, bir fonksiyonun hipografı (fonksiyonun grafiğinin üzerinde veya altındaki noktaların kümesi) bir dışbükey küme ise fonksiyon içbükeydir. Yine grafik üzerinden basitçe tarif etmek gerekirse, dışbükey bir fonksiyonun grafiği bir fincan ∪ veya doğrusal bir fonksiyonda olduğu gibi düz bir çizgi şeklindedir. İçbükey bir fonksiyonun grafiği ise bir şapka ∩ gibi şekle sahiptir.

Tanım

Bir aralıkta (veya daha genel olarak vektör uzayındaki bir dışbükey kümede) tanımlı ve gerçel değerli bir $f$ fonksiyonu eğer her $\alpha \in [0,1]$ için

$f((1-\alpha )x+\alpha y)\ge (1-\alpha )f(x)+\alpha f(y)$

eşitsizliğini tanım kümesindeki her $x$ ve $y$ için sağlıyorsa, o zaman fonksiyona içbükey fonksiyon denir.

Kesin içbükeylik

Eğer $\alpha \in (0,1)$ ve $x\ne y$ için kesin eşitsizlik varsa, yani,

$f((1-\alpha )x+\alpha y)>(1-\alpha )f(x)+\alpha f(y)$

ise, fonksiyona kesin içbükey fonksiyon denir.

İçbükeyimsi fonksiyon

Şablon:Ana Bir aralıkta (veya daha genel olarak vektör uzayındaki bir dışbükey kümede) tanımlı ve gerçel değerli bir $f$ fonksiyonu eğer her $\alpha \in [0,1]$ için

$f((1-\alpha )x+\alpha y)\ge \min (f(x),f(y))$

eşitsizliğini tanım kümesindeki her $x$ ve $y$ için sağlıyorsa, o zaman fonksiyona içbükeyimsi fonksiyon denir.

Özellikler

içbükey fonksiyonların birçok özelliği, tek değişkenli fonksiyonlar için olduğu gibi çok değişkenli fonksiyonlar için de basitlikle ifâde edilebilir ve genelde de aynı formülasyona sahiptir. Bu yüzden, çok değişkenli fonksiyonlar için aşağıda verilen özelliklere de bakınız; bu özelliklerden bir değişkenli fonksiyonlar kısmında ayrıca bahsedilmemiştir.

Bir değişkenli fonksiyonlar

• En az bir kere türevlenebilen bir fonksiyonun içbükey (ya da kesin içbükey) olması için gerekli ve yeterli şart fonksiyonun türevinin artmayan (ya da kesin azalan) olması lazımdır. Diğer deyişle, içbükey bir fonksiyonun artmayan (ya da kesin azalan) bir eğimi vardır.
• İçbükeylikten dışbükeyliğe ya da dışbükeylikten içbükeyliğe geçilen noktalar büküm noktalarıdır.
• Bir Şablon:Mvar fonksiyonu en az iki kere türevlenebilir ise, o zaman Şablon:Mvar'nin içbükeyliği ancak ve ancak Şablon:Mvar pozitif değilse mümkündür. Eğer Şablon:Mvar negatifse, o zaman Şablon:Mvar kesin içbükeydir. Ancak, bunun tersi Şablon:Math örneğinden anlaşılacağı üzere doğru değildir.
• Bir Şablon:Mvar fonksiyonu içbükey ve türevlenebilir ise, o zaman, birinci dereceden Taylor yaklaştırımı ile yukarıdan sınırlıdır:

$$f(y)\le f(x)+f^{\prime }(x)[y-x]$$

• Bir $C$ aralığında tanımlı $f$ fonksiyonu her $x_1,x_2\in C$ için

$$f\left(\frac{x_1+x_2}{2}\right)\ge \frac{f(x_1)+f(x_2)}{2}$$

özelliğini sağlıyorsa bu fonksiyon orta nokta içbükeyliğini sağlıyordur. Bu özellik, içbükeylikten daha zayıf bir özelliktir ve elbette bütün içbükey fonksiyonlar bu özelliği sağlar. Tersi yönde ise Sierpiński'nin dışbükeylik üzerine olan bir teoremi kullanılarak şu ifade verilebilir: Orta nokta içbükeyliğini sağlayan bütün Lebesgue ölçülebilir fonksiyonlar aynı zamanda içbükeydir. Daha da özelde, sürekli bir fonksiyon orta nokta içbükeyliğini sağlıyorsa içbükeydir.

• Eğer bir Şablon:Mvar fonksiyonu içbükeyse ve Şablon:Math ise, o zaman Şablon:Mvar $[0,\mathrm{\infty })$ üzerinde alttoplamsal fonksiyondur. Gerrçekten,

• Şablon:Mvar içbükey ve Şablon:Math olduğundan, Şablon:Math alırsak,

$$f(tx)=f(tx+(1-t)\cdot 0)\ge tf(x)+(1-t)f(0)\ge tf(x)$$

elde ederiz.

• $a,b\in [0,\mathrm{\infty })$ için

$$f(a)+f(b)=f((a+b)\frac{a}{a+b})+f((a+b)\frac{b}{a+b})\ge \frac{a}{a+b}f(a+b)+\frac{b}{a+b}f(a+b)=f(a+b)$$

elde edilir.

Çok değişkenli fonksiyonlar

• Bir $f$ fonksiyonun dışbükey bir küme üzerinde dışbükeyliği $-f$ fonksiyonunun aynı küme üzerinde içbükeyliğine denktir.
• İki içbükey fonksiyonun toplamı yine içbükeydir ve aynı şekilde iki içbükey fonksiyonun noktasal minimumu da içbükeydir. Yani, belirli bir bölgede tanımlı içbükey fonksiyonların kümesi bir yarıcisim oluşturur.
• Bir fonksiyonun tanım bölgesinin iç kısmındaki kesin yerel maksimum noktasının etrafında fonksiyon içbükey olmalıdır; kısmî tersi olarak, kesin içbükey bir fonksiyonun türevi bir noktada sıfırsa, o nokta yerel bir maksimum noktasıdır.
• İçbükey bir fonksiyonun herhangi bir yerel maksimumu aynı zamanda mutlak bir maksimumdur. Kesin içbükey bir fonksiyonun en fazla bir mutlak maksimumu olacaktır.

Örnekler

• $f(x)=-x^2$ ve $g(x)=\sqrt{x}$ fonksiyonları tanım bölgelerinde $f^{″}(x)=-2$ ve $g^{″}(x)=-\frac{1}{4x^{3/2}}$ olduğu için; daha ayrıntılı bir ifadeyle, her iki türev her zaman negatif olduğu için içbükeydir.
• $f(x)=\log x$ fonksiyonu tanım kümesi $(0,\mathrm{\infty })$ üzerinde, türevi $\frac{1}{x}$ kesin azalan bir fonksiyon olduğu için, içbükeydir.
• $f(x)=ax+b$ afin fonksiyonu hem içbükey hem de dışbükeydir; ancak, kesin içbükey ya da kesin dışbükey değildir.
• Sinüs fonksiyonu $[0,\pi ]$ aralığında içbükeydir.
• Kesin negatif olmayan bir B matrisinin determinantı $|B|$ olmak üzere, $f(B)=\log |B|$ fonksiyonu içbükeydir.