Dışbükey fonksiyon

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

Tek değişkenli bir fonksiyon en az iki kez türevlenebilir ise, o zaman bu fonksiyonun dışbükeyliği ancak ve ancak ikinci türev (fonksiyonun tanım kümesinde) negatif değilse mümkündür. Tek değişkenli dışbükey fonksiyonların iyi bilinen örnekleri arasında c gerçel olmak üzere f(x) = cx biçimindeki doğrusal fonksiyonlar bulunur. c negatif olmayan bir gerçel sayı olmak üzere cx^2 biçimindeki kuadratik fonksiyonlar ve ce^x biçimindeki üstel fonksiyonlar da örnek olarak alınabilir.

Dışbükey fonksiyonlar matematiğin birçok alanında önemli bir rol oynar. Özellikle, optimizasyon problemlerinde kullanışlı özellikleriyle önemlidirler. Örneğin, açık bir küme üzerindeki kesin dışbükey bir fonksiyonun birden fazla minimumu yoktur. Sonsuz boyutlu uzaylarda bile, uygun ek hipotezler altında, dışbükey fonksiyonlar bu tür özellikleri sağlamaya devam eder ve sonuç olarak, varyasyonlar hesabında en çok anlaşılmış fonksiyoneller dışbükey olanlardır. Olasılık teorisinde, bir rassal değişkenin beklenen değerine uygulanan bir dışbükey fonksiyon, her zaman rastgele değişkenin dışbükey fonksiyonunun beklenen değeri ile üstten sınırlıdır. Jensen eşitsizliği olarak bilinen bu sonuç, aritmetik-geometrik ortalama eşitsizliği ve Hölder eşitsizliği gibi eşitsizlikleri çıkarmak için kullanılabilir.

## Tanım
X gerçel bir vektör uzayın dışbükey altkümesi olsun ve f: X \to \R bir fonksiyon olsun. Aşağıda verilen ve birbirine denk olanr koşullardan biri f tarafından sağlandığında, f'ye **dışbükey fonksiyon** denir.

Her 0 \leq t \leq 1 ve her x_1, x_2 \in X için
f\left(t x_1 + (1-t) x_2\right) \leq t f\left(x_1\right) + (1-t) f\left(x_2\right).

Eşitsizliğin sağındaki ifâde, fnin grafiğinde \left(x_1, f\left(x_1\right)\right) ve \left(x_2, f\left(x_2\right)\right) arasındaki doğruyu tnin fonksiyonu olarak belirtir. Soldaki ifâdede ise, f fonksiyonunun argümanı Xteki x_1 ve x_2 elemanları arasındaki doğruyu belirtir. Demek ki, bu koşul ile fnin grafiğindeki iki noktayı bağlayan doğrunun ya grafiğin üzerinde ya da üstünde olması istenmektedir.
Her 0  ve x_1 \neq x_2 sağlayan bütün x_1, x_2 \in X için
f\left(t x_1 + (1-t) x_2\right) \leq t f\left(x_1\right) + (1-t) f\left(x_2\right).
Bu ikinci tanım şartının birinci tanım şartından temel farkı alınan doğru ile grafiğin kesişmesini istememesidir. Birinci koşulda t=1 alırsak, f\left(x_1\right) \leq f\left(x_1\right), t=0 alırsak f\left(x_2\right) \leq f\left(x_2\right) olacaktır ki bu ifâdeler zâten doğrudur. Yine, 
x_1 = x_2 alırsak her zaman doğru olan ifâdeler ortaya çıkar. O yüzden, bu koşulları tanımdan çıkarmanın bir zararı yoktur.


Gerçel sayı doğrusu \Rde değer alan dışbükey fonksiyonları karakterize eden ikinci ifade ayrıca genişletilmiş gerçel sayı doğrusunda, yâni, [-\infty, \infty] = \R \cup \{\pm\infty\} kümesinde, değer alan dışbükey fonksiyonları tanımlamak için de kullanılan ifadedir. Diğer deyişle, bir f  fonksiyonu \pm\infty değerleri alıyorsa, o zaman ikinci ifâdeyi kullanmak daha elverişlidir. Birinci ifâdenin kullanılmamasının ilk sebebi tnin  0 veya 1 değeri almasına izin verilmesidir ki bu durumda sırasıyla f\left(x_1\right) = \pm\infty veya f\left(x_2\right) = \pm\infty olursa, 0 \cdot \infty and 0 \cdot (-\infty) ifâdelerinin tanımsızlığından dolayı t f\left(x_1\right) + (1 - t) f\left(x_2\right) ifâdesi de tanımsız olur. Yine, -\infty + \infty  ifâdesi de tanımsızdır. Bu yüzden, genişletilmiş gerçel sayı doğrusunda değer alan dışbükey fonksiyonların -\infty ve +\infty değerlerinden genelde sadece bir tanesini almasına izin verilir.

### Kesin dışbükeylik
İkinci ifade, *kesin dışbükeyliğin* tanımını elde etmek için de değiştirilebilir ki burada eşitliğe de izin veren *küçük eşittir* gösterimi 
(\leq) yerini eşitliğe izin vermeyen *küçüktür* gösterimine ( bırakır. Daha matematiksel bir ifâdeyle, her 
0  ve x_1 \neq x_2 olan bütün x_1, x_2 \in X için 
f\left(t x_1 + (1-t) x_2\right) 
özelliğini sağlayan fonksiyonlara **kesin dışbükey** denir.

Kesin dışbükey fonksiyonların grafiğindeki iki farklı noktayı birleştiren doğru parçasının üç noktaları hariç geriye kalan bütün noktaları fonksiyonun grafiğinin üstünde kalır. Dışbükey olup da kesin dışbükey olmayan bir fonksiyona f(x,y) = x^2 + y örneği verilebilir.

Bir fonksiyonun negatifi dışbükeyse (ya da kesin dışbükeyse), o zaman fonksiyona **içbükey fonksiyon** (ya da **kesin içbükey fonksiyon**) denir.

### Dışbükeyimsi fonksiyon

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)\leq \max(f(x), f(y)) 
eşitsizliğini tanım kümesindeki her x ve y için sağlıyorsa, o zaman fonksiyona **dışbükeyimsi fonksiyon** denir.

## Özellikler
Dış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
* Bir aralık üzerinde tanımlı ve gerçel değişkenli bir f fonksiyonunu ele alalım ve 
R(x_1, x_2) = \frac{f(x_2) - f(x_1)}{x_2 - x_1}
fonksiyonunu tanımlayalım. R fonksiyonunda x_1 ve x_2 nin yerleri değiştirildiğinde fonksiyonun değeri aynı kaldığı için, R fonksiyonu (x_1, x_2) değişkeninde bakışık (simetrik) olur. O zaman, f fonksiyonunun dışbükeyliği için gerekli ve yeterli şart R(x_1, x_2) fonksiyonunun sabitlenmiş x_2 değerleri için x_1 değişkeninde kesin azalmayan olmasıdır.
* Bir C açık aralığı üzerinde tanımlı ve bir gerçel değişkenli bir fonksiyon dışbükeyse, o zaman bu aralık üzerinde süreklidir. Fonksiyonun aynı zamanda soldan ve sağdan türevleri de vardır ve türevler kesin azalmayandır. Ayrıca, sol türev soldan sürekli, sağ türev ise sağdan süreklidir. Sonuç olarak, fonksiyon en fazla sayılabilir bir küme haricinde türevlidir. Yine de, fonksiyonun türevli olmadığı noktalar yoğun olabilir. Eğer C kapalı aralıksa, Cnin başlangıç ve bitiş noktalarında fonksiyonun sürekliliği olmayabilir.
* Türevlenebilir bir fonksiyonun bir aralıkta dışbükey olması için gerekli ve yeterli şart türevinin aynı aralıkta kesin azalmayan olmasıdır. Bir fonksiyon hem dışbükey hem de türevlenebilirse, o zaman, sürekli türevlenebilirdir; yâni, türevi de süreklidir.
* Bir gerçel değişkenli ve türevlenebilir bir fonksiyonun dışbükey olması için gerekli ve yeterli şart fonksiyonun grafiğinin bütün teğet doğrularının üstünde yer almasıdır; yâni, her x ve y için
f(x) \geq f(y) + f'(y) (x-y) 
:olmalıdır.
* Bir gerçel değişkenli ve iki kere türevlenebilir bir fonksiyonun dışbükey olması için gerekli ve yeterli şart ikinci türevinin negatif olmamasıdır. 
* Dışbükey bir f fonksiyonu için  f(0)\le 0 varsa, o zaman, bütün pozitif a ve b için f(a + b) \geq f(a) + f(b) sağlanır.
:Kanıt: f dışbükey olduğu için, dışbükeylik tanımında x_2 = 0 alarak bütün 0 \leq t \leq 1 için 

\begin{align}
f(tx_1) & = f(t x_1 + (1-t) \cdot 0) \\
    & \leq t f(x_1) + (1-t) f(0) \\
    & \leq t f(x_1) \\
\end{align}
 
:elde edilir. f(tx_1)\leq t f(x_1)  olduğu için 

\begin{align}
f(a) + f(b) & = f \left((a+b) \frac{a}{a+b} \right) + f \left((a+b) \frac{b}{a+b} \right) \\
& \leq \frac{a}{a+b} f(a+b) + \frac{b}{a+b} f(a+b) \\
& = f(a+b).\\
\end{align} 
:Böylece, f(a) + f(b) \leq f(a+b) olur.

* 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) \leq \frac{f(x_1) + f(x_2)}{2}
:özelliğini sağlıyorsa bu fonksiyon *orta nokta dışbükeyliği*ni sağlıyordur. Bu özellik, dışbükeylikten daha zayıf bir özelliktir ve elbette bütün dışbükey fonksiyonlar bu özelliği sağlar. Tersi yönde ise Sierpiński'nin bir teoremi geçerlidir: Orta nokta dışbükeyliğini sağlayan bütün Lebesgue ölçülebilir fonksiyonlar aynı zamanda dışbükeydir. Daha da özelde, sürekli bir fonksiyon orta nokta dışbükeyliğini sağlıyorsa dışbükeydir.

### Çok değişkenli fonksiyonlar
* Herbir değişkeninde ayrı ayrı dışbükey olan bir fonksiyon genel olarak dışbükey olmak zorunda değildir. Mesela, f(x, y) = x yfonksiyonu her bir değişkende (diğeri sabit tutularak) doğrusallıktan dolayı dışbükeydir ancak fonksiyonda tüm değişkenler aynı anda hesaba katıldığında dışbükey değildir.
* Genişletilmiş gerçel sayılar doğrusu [-\infty, \infty] = \R \cup \{\pm\infty\} kümesinde değerler alan bir f : X \to [-\infty, \infty] fonksiyonunun dışbükeyliği için  fonksiyonun \{(x, r) \in X \times \R ~:~ r \geq f(x)\} 
:biçiminde yazılabilen epigrafının dışbükey olması gerekli ve yeterlidir.
* Türevlenebilir bir f fonksiyonunun dışbükey olması için f(x) \geq f(y) + \nabla f(y)^T \cdot (x-y) eşitsizliğinin fonksiyonun tanım kümesindeki bütün x, y elemanları için sağlanması gerekli ve yeterlidir.
* İki kere türevlenebilen bir fonksiyonun bir dışbükey küme üzerinde dışbükey olması için Hesse matrisinin dışbükey kümenin içinde kesin pozitif matris olması gerekli ve yeterlidir.
* Bir f fonksiyonu dışbükeyse, o zaman a \in \R için \{x : f(x)  ve \{x : f(x) \leq a\} altseviye kümeleri dışbükey kümedir. Bu tür özellikleri sağlayan fonksiyonlara dışbükeyimsi fonksiyon adı verilir ve her zaman dışbükey olmayabilirler.
* Bir dışbükey fonksiyonun yerel minimumu aynı zamanda mutlak minimumudur. Kesin dışbükey fonksiyonun en fazla bir tane mutlak minimumu olabilir.
* Jensen eşitsizliği bütün dışbükey fonksiyonlara uygulanabilir. Eğer X ile gösterilen bir rassal değişkenin değer kümesi, dışbükey bir f fonksiyonunun tanım kümesindeyse \operatorname{E}(f(X)) \geq f(\operatorname{E}(X)) olur. Burada, \operatorname{E} beklenen değerdir. Gerçekten de, Jensen eşitsizliğinin hipotezini sağlayan fonksiyonlar dışbükey fonksiyonlardır.
* f(a x, a y) = a f(x, y) eşitliğini bütün a, x, y > 0 için sağlayan birinci mertebeden iki değişkenli homojen fonksiyonlar, bir değişkeninde dışbükey ise diğer değişkende de dışbükeydir.

## Dışbükeyliği koruyan işlemler
* Bir f fonksiyonun dışbükeyliği -f fonksiyonunun içbükeyliğine denktir.
* Herhangi bir r gerçel sayısı için, r+f ancak ve ancak f dışbükeyse dışbükeydir.
* w_1, \ldots, w_n \geq 0 ise ve f_1, \ldots, f_n fonksiyonlarının hepsi dışbükeyse, o zaman  w_1 f_1 + \cdots + w_n f_n de dışbükeydir. Özellikle, iki dışbükey fonksiyonun toplamı yine dışbükeydir. Bu özellik, tanımlı oldukları sürece sonsuz toplamlara, integrallere ve beklenen değerlere de genişletilebilir.
* Dışbükey fonksiyonların bir noktadaki supremumu üzerinden tanımlanan fonksiyon da dışbükeydir. Diğer deyişle, I bir endis kümesi ise ve \{f_i\}_{i \in I} kümeleri de bu fonksiyonların bu endis kümesine göre dışbükey bir ailesi ise, o zaman g(x) := \sup\nolimits_{i \in I} f_i(x) fonksiyonu da dışbükeydir. Bu özelliğin özel bir durumu olarak,
** Dışbükey fonksiyonların maksimumu yine dışbükeydir. Yâni, f_1, \ldots, f_n dışbükey fonksiyonlar ise, o zaman g(x) := \max \left\{f_1(x), \ldots, f_n(x)\right\} fonksiyonu da dışbükeydir.
**Danskin teoremi: f(x,y) fonksiyonu x değişkeninde dışbükey ise, o zaman g(x) := \sup\nolimits_{y\in C} f(x,y) fonksiyonu da, C kümesi dışbükey olmasa bile, dışbükeydir.
* f(x,y) fonksiyonu (x,y) değişkeninde dışbükeyse, o zaman  g(x) := \inf\nolimits_{y\in C} f(x,y) fonksiyonu x değişkeninde C kümesi dışbükey ve g(x) \neq -\infty olduğu sürece dışbükeydir. 
* f ve g fonksiyonları dışbükey fonksiyonlar ise ve g gerçel doğru üzerindeki bir kümede azalmıyor ise, o zaman h(x) = g(f(x)) fonksiyonu da dışbükeydir. Örneğin, f dışbükeyse  e^{f(x)} de dışbükeydir çünkü e^x dışbükeydir ve kesin artandır. Benzer bir özellik ise şu durumda çıkar. Eğer f içbükeyse, g dışbükeyse ve g gerçel doğru üzerindeki bir kümede artmıyor ise, o zaman h(x) = g(f(x)) de dışbükeydir. 
* Dışbükeylik afin gönderimler altında değişmez bir özelliğe sahiptir. Diğer deyişle, f fonksiyonu bir D_f \subseteq \mathbf{R}^m kümesi üzerinde dışbükey ise, o zaman, g(x) = f(Ax+b) kümesi de dışbükeydir. Burada, A \in \mathbf{R}^{m \times n}, b \in \mathbf{R}^m ve g'nin tanım kümesi D_g \subseteq \mathbf{R}^n alınmıştır.
* f dışbükeyse, tanım kümesi \left\{(x,t) : \tfrac{x}{t} \in \operatorname{Dom}(f), t > 0 \right\} olan g(x, t) = t f \left(\tfrac{x}{t} \right) fonksiyonu da dışbükeydir.
* X bir vektör uzayı olsun. f : X \to \mathbf{R} fonksiyonun dışbükey olması ve f(0) \leq 0 eşitsizliğini sağlaması ancak ve ancak x, y \in X ve a + b \leq 1 özelliğini sağlayan her a, b \ge 0 için 
:f(ax+by) \leq a f(x) + bf(y)
:özelliği sağlanıyorsa mümkündür.

## Güçlü dışbükey fonksiyonlar
Kesin dışbükeylik kavramını bir paramatre aracılığıyla genelleştiren güçlü dışbükeylik kavramı da mevcuttur. Sezgisel olarak, güçlü dışbükey bir fonksiyon, en az ikinci dereceden bir fonksiyon kadar hızlı büyüyen bir fonksiyondur. Güçlü dışbükey bir fonksiyon kesin dışbükeydir; ancak, bu ifâdenin tersi her zaman doğru değildir. Tek gerçel değişkene bağlı ve tanım kümesi reel sayı doğrusu olan bir f fonksiyonu iki kez sürekli türevlenebilirse dışbükeyliği şu şekilde karakterize edebilir:
* f nin dışbükeyliği ancak ve ancak her x için f*(x) \ge 0</math> ise mümkündür.
* Her <math>x</math> için  <math>f*(x) > 0 ise f kesin dışbükeydir; ancak, bu yeterli bir koşuldur ve gerekli değildir. 
* fnin güçlü dışbükeyliği ancak ve ancak her x için f*(x) \ge m > 0</math> sağlayan pozitif gerçel bir <math>m</math> sayısı ile mümkündür.

Örneğin, <math>f</math>  kesin dışbükey olsun ve diyelim ki <math>f*(x_n) = \tfrac{1}{n} özelliğinin sağlandığı bir (x_n) noktalar dizisi olsun.f*(x_n) > 0</math> olmasına rağmen fonksiyon yine de güçlü dışbükey değildir çünkü <math>f*(x) keyfi olarak küçük olup sıfıra yaklaşacaktır.

Daha genel olarak, türevlenebilir bir f fonksiyonunun bir m > 0 parametresi aracılığıyla güçlü dışbükeyliği şu şekilde tanımlanabilir. Fonksiyonun tanım kümesindeki her x, y sayısı için
(\nabla f(x) - \nabla f(y) )^T (x-y) \ge m \|x-y\|_2^2 
sağlanıyorsa fonksiyona **güçlü dışbükey** denilir.

Daha genel bir ifâdeyle, \langle \cdot, \cdot\rangle herhangi bir iç çarpımı temsil etsin ve \|\cdot\| ise bu iç çarpım tarafından doğurulan bir norm olsun. f fonksiyonunun tanım kümesindeki her x, y sayısı için
\langle \nabla f(x) - \nabla f(y), x-y \rangle \ge m \|x-y\|^2 
sağlanıyorsa fonksiyona **güçlü dışbükey** denilir. Bazı yazarlar, örneğin , bu eşitsizliği sağlayan fonksiyonlara eliptik fonksiyonlar olarak da adlandırırlar.

Yukarıda verilen şartlara eşdeğer bir şart da şöyle tanımlanabilir:
f(y) \ge f(x) + \nabla f(x)^T (y-x) + \frac{m}{2} \|y-x\|_2^2 .

Bir fonksiyonun güçlü dışbükey olması için türevlenebilir olması gerekli değildir. Bir fonksiyonun m parametreli güçlü dışbükeyliliği için üçüncü bir tanım şöyle verilebilir: tanım kümesindeki her x, y ve her t \in [0,1] için
f(tx+(1-t)y) \le t f(x)+(1-t)f(y) - \frac{1}{2} m t(1-t) \|x-y\|_2^2
sağlanıyorsa fonksiyon m parametreli güçlü dışbükeydir. Gerçekten de, m \to 0 iken tanım güçlü dışbükeylilik tanımına yaklaşmaktadır ve m = 0 olduğuğunda da dışbükeylik tanımına özdeştir. Yine de, herhangi bir m > 0 sayısı için kesin dışbükey olup da güçlü dışbükey olmayan fonksiyonlar da vardır.

Bir f fonksiyonu iki kez türevlenebilirse, o zaman bir m parametresine bağlı güçlü dışbükeyliliği ancak ve ancak tanım kümesindeki her x için \nabla^2 f(x) \succeq mI ise mümkündür. Burada, I birim matristir, \nabla^2f ise Hesse matrisidir; \succeq ile kastedilen ise \nabla^2 f(x) - mI matrisinin kesin pozitif matris olmasıdır ki bu da her x için \nabla^2 f(x) matrisinin en küçük özdeğerinin en az  m olması demektir. Eğer tanım kümesi gerçel sayı doğrusu ise  \nabla^2 f(x) ifadesi ikinci türeve denk gelir. Böylece, güçlü dışbükeylilik için gerekli ve yeterli şart f*(x) \ge m</math>  olmasıdır. <math>m = 0</math> olursa, o zaman bu durumda Hesse matrisi yarı-kesin pozitif matris olur (ya da tanım kümesi gerçel doğru ise <math>f*(x) \ge 0 olur) ki bu durumda da fonksiyon dışbükey olur. Aynı durumda, fonksiyon kesin dışbükey olabilir ama güçlü dışbükey değildir.

Fonksiyonun iki kez sürekli olarak türevlenebilir olduğunu varsayarak \nabla^2 f(x) ifadesinin alt sınırının güçlü dışbükeyliliği verdiğini şu şekilde gösterilebiliriz: Taylor teoremi kullanarak
f(y) = f(x) + \nabla f(x)^T (y-x) + \frac{1}{2} (y-x)^T \nabla^2f(z) (y-x)
eşitliğini sağlayan bir z \in \{ t x + (1-t) y : t \in [0,1] \} bulunabilir. Özdeğer varsayımından hareketle 
(y-x)^T \nabla^2f(z) (y-x) \ge m (y-x)^T(y-x) 
elde edilir. Yukarıdaki eşitlik kullanılarak yukarıdaki ikinci güçlü dışbükeylik koşulunun sağlandığı gösterilmiş olur.

Yine, bir f fonksiyonunun m parametresine bağlı güçlü dışbükeyliliği
x\mapsto f(x) -\frac m 2 \|x\|^2
gönderiminin dışbükeyliliği aracılığıyla da tanımlanabilir.

Tanım kümesi tıkız bir  X olan ve iki kez sürekli türevlenebilen bir f fonksiyonu için  f*(x)>0</math> ifadesi her <math>x\in X</math> için sağlanıyorsa, o zaman <math>f</math> fonksiyonu güçlü dışbükeydir. Bu sonucun ispâtı tıkız bir küme üzerinde sürekli bir fonksiyonun bir maksimum ve bir minimuma sahip olduğunu belirten [[uç değer teoremi]] kullanılarak verilebilir.

Güçlü dışbükey fonksiyonlar sınıfı daha küçük olduğu için bu tür fonksiyonlarla çalışılması dışbükey veya kesin dışbükey fonksiyonlara göre genellikle daha kolaydır. Kesin dışbükey fonksiyonlar gibi, güçlü dışbükey fonksiyonların da tıkız kümelerde biricik minimumu vardır.

=== Güçlü-dışbükey fonksiyonların özellikleri ===
Bir <math>m</math> parametresine bağlı güçlü dışbükey olan bir  <math>f</math> fonksiyonunu ele alalım. O zaman,

* Tüm gerçel <math>r</math> sayıları için <math>\{x | f(x) \le r\}</math>  [[seviye kümesi|seviye küme]]leri [[tıkız uzay|tıkız]]dır. 
* <math>f</math> fonksiyonun <math>\R^n</math> üzerinde bir mutlak ve biricik minimumu vardır.

== Düzgün dışbükey fonksiyonlar ==
<math>\phi</math> negatif olmayan ve <math>\phi(0)=0</math> olan bir fonksiyon olsun. Bir <math>f</math> fonksiyonu tanım kümesindeki her <math>x, y</math>  ve her <math>t \in [0, 1]</math> için
<math display="block">f(tx+(1-t)y) \le t f(x)+(1-t)f(y) - t(1-t) \phi(\|x-y\|)</math>
özelliğini sağlıyorsa, <math>f</math>'ye modülü <math>\phi</math> olan *'düzgün dışbükey fonksiyon*' denir.. <math>\phi(\alpha) = \tfrac{m}{2} \alpha^2</math> alarak güçlü dışbükeylik tanımı buradan elde edilebildiği için bu tanım güçlü dışbükeyliğin daha genel bir tanımı olmaktadır. 
Literatürde bazı yazarlar, <math>\phi</math> fonksiyonunun artan olmasını da koşul olarak koyarlar; ancak, yine de bu koşul her yazar tarafından benimsenmemiştir.

== Örnekler ==
=== Bir değişkenli fonksiyonlar ===
* <math>f(x)=x^2</math> fonksiyonu için <math>f*(x)=2>0 elde edilir. Bu yüzden,  dışbükey fonksiyondur. Aynı zamanda güçlü dışbükeydir (ki bu yüzden kesin dışbükeydir); güçlü dışbükeylik parametresi de 2 olur.
*  f(x)=x^4 fonksiyonu için f*(x)=12x^2\ge 0</math> olur. Bu yüzden,  dışbükey fonksiyondur. İkinci türevi bir noktada sıfır değeri alsa da, fonksiyon, yine de kesin dışbükeydir. Ancak, fonksiyon güçlü dışbükey değildir.
* [[Mutlak değer]] fonksiyonu dışbükeydir ki gösterimi [[üçgen eşitsizliği]]nden kolaylıkla elde edilir. Fonksiyonun grafiğinde <math>x = 0</math> noktasınde görülen sivri uç türevin varlığına engeldir. Ayrıca, fonksiyon, kesin dışbükey değildir.
* <math>f(x)=|x|^p</math> fonksiyonu <math>p \ge 1</math> için dışbükeydir.
* [[Üstel fonksiyon]] <math>f(x)=e^x</math> dışbükeydir. <math>f*(x)=e^x >0  olduğu için kesin dışbükeydir. Ancak, ikinci türev sıfıra keyfi derecede yakın olduğu için güçlü dışbükey değildir. Daha genel olarak, f fonksiyonu dışbükey olduğunda g(x) = e^{f(x)} fonksiyonu logaritmik dışbükey fonksiyon olur.
* [0,1] aralığında f(0) = f(1) = 1, f(x) = 0 olarak tanımlı fonksiyon 0  aralığında  dışbükeydir. (0, 1) açık aralığında süreklidir ama 0 and&nbsp;1 noktalarında süreklilik yoktur.
* x^3 fonksiyonunun ikinci türevi  6 x olur. Bu yüzden, x \geq 0 olan noktalarda dışbükeydir, x \leq 0 olan noktalarda ise içbükeydir.
* Kesin artan ve dışbükey olmayan fonksiyonlara f(x)=\sqrt{x} ve g(x)=\log x fonksiyonları örnek olarak verilebilir.
* f(x) = \tfrac{1}{x} fonksiyonun ikinci türevi f''(x)=\tfrac{2}{x^3} olur. x > 0 iken ikinci türev pozitif olur; böylece, (0, \infty) aralığında f(x) dışbükeydir. (-\infty, 0) aralığında ise fonksiyon içbükeydir.
* f(x)=\tfrac{1}{x^2} fonksiyonu f(0)=\infty olarak tanımlansın. O zaman, fonksiyon (0, \infty) ve (-\infty, 0) aralıklarında dışbükeydir. Ancak, (-\infty, \infty) aralığında fonksiyonun dışbükeyliğinden bahsedilemez; çünkü, x = 0 nokasındaki tekillik bu dışbükeylik özelliğine izin vermez.

### Çok değişkenli fonksiyonlar
* LogSumExp fonksiyonu dışbükeydir.
* Kesin pozitif bir matris olan X için -\log\det(X) fonksiyonu dışbükeydir.
* Gerçel değerli her doğrusal dönüşüm dışbükeydir ama kesin dışbükey değildir. Gerçekten, f doğrusalsa, o zaman f(a + b) = f(a) + f(b) olur. Aynı ifâde, dışbükeyliği içbükeylikle değiştirdiğimizde de doğrudur.
* Gerçel değerli her afin fonksiyon, yâni f(x) = a^T x + b biçimindeki fonksiyonlar, hem dışbükey hem de içbükeydir.
* Norm, üçgen eşitsizliği ve mutlak homojenlik özelliği sayesinde dışbükeydir. 
* Negatif olmayan bir matrisin spektral yarıçapı köşegen elemanlarının dışbükey fonksiyonudur.

## Ayrıca bakınız

* İçbükey fonksiyon
* Dışbükey analiz
* Dışbükey conjugate
* Dışbükey curve
* Dışbükey optimization
* Jeodezik dışbükeylik
* Hahn-Banach teoremi
* Hermite-Hadamard eşitsizliği
* Inveks fonksiyon
* Jensen eşitsizliği
* K-dışbükey fonksiyon
* Kaçurovskiy teoremi
* Karamata eşitsizliği
* Logaritmik dışbükey fonksiyon
* Sözde dışbükey fonksiyon
* Dışbükeyimsi fonksiyon
* Alttürev

## Kaynakça