Funcție cvasi-convexă
Versiunea actuală a paginii nu a fost încă examinată de colaboratori experimentați și poate diferi semnificativ de
versiunea revizuită la 19 martie 2017; verificările necesită
3 modificări .
O funcție cvasi-convexă este o generalizare a conceptului de funcție convexă , care și-a găsit o aplicație largă în optimizarea neliniară , în special, atunci când se aplică optimizarea în economie .
Definiție
Fie X o submulțime convexă a . O funcție se numește cvasi-convexă sau unimodală dacă următoarea inegalitate este valabilă pentru elementele arbitrare și :
![{\displaystyle f:X\to \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/669fa4832da4b0b229d77eadb270e95188f2eb10)
![{\displaystyle x,y\in X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d72f66ab332ed430aa9b34ff18c9723c4fea2a1)
![{\displaystyle \lambda \in [0,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/010c0ee88963a09590dd07393d288edd83786b91)
Dacă, de asemenea:
pentru și atunci se spune că funcția este strict cvasi-convexă .
![{\displaystyle x\neq y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f51b711ca7f932963cdb268b0817dc72d6258733)
![{\displaystyle \lambda \in(0,1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f17279bd1146846540229cfca8a2fd9bed8b8bcb)
O funcție se numește cvasi- concavă (strict cvasi-concavă) dacă este cvasi-convexă (strict cvasi-convexă).
![{\displaystyle f:X\to \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/669fa4832da4b0b229d77eadb270e95188f2eb10)
![{\displaystyle -f}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0edfedee3fca0a26dd6f515e7ed9517a4e2cd04)
În mod similar, o funcție este cvasi-concava dacă
şi strict cvasi-concav dacă
O funcție care este atât cvasi-convexă, cât și cvasi-concavă se numește cvasi -liniară .
Exemple
- O funcție convexă arbitrară este cvasi-convexă, o funcție concavă arbitrară este cvasi-concavă.
- Funcția este cvasiliniară pe mulțimea numerelor reale pozitive .
![{\displaystyle f(x)=\ln x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e75b5f02e93730d64d3b72fe9db2e0be096cf3a)
- Funcția este cvasi-concavă pe mulțime (mulțimea perechilor de numere nenegative), dar nu este nici convexă, nici concavă.
![{\displaystyle f(x_{1},x_{2})=x_{1}x_{2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1564091a126efa137e7faa6c91ac69adcd5553f)
![{\displaystyle \mathbb {R} _{+}^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc7d986e9e061be94134919a006d0758ee73bff9)
- Funcția este cvasi-convexă și nu este nici convexă, nici continuă .
![{\displaystyle x\mapsto \lfloor x\rfloor }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f3b60078378682c77f591f9e387cbea7151dbe8)
Proprietăți
- Funcția , unde este o mulțime convexă , este cvasi-convexă dacă și numai dacă pentru toată mulțimea
![{\displaystyle f:X\to \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/669fa4832da4b0b229d77eadb270e95188f2eb10)
![{\displaystyle X\subset \mathbb {R} ^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23a6b446fb9736703b3fe09ff010de5ef2e75f38)
![{\displaystyle \beta \in \mathbb {R} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6a3a2f5bc2d4e8b49a63cdeb8f20706681ed5cf)
convex
Dovada. Fie mulțimea convexă pentru orice β. Fixăm două puncte arbitrare și luăm în considerare punctul Puncte la . Deoarece mulțimea este convexă, atunci , și, prin urmare, adică inegalitatea dată în definiție este satisfăcută, iar funcția este cvasi-convexă.
![{\displaystyle X_{\beta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36658fcff95d879db60a621991903affe80e810e)
![x_1, x_2\în X](https://wikimedia.org/api/rest_v1/media/math/render/svg/76d4c89c2ce9c73010afa018f789e0fcad31c1ad)
![{\displaystyle x=\lambda x_{1}+(1-\lambda )x_{2},\quad \lambda \in (0,1).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5521b649327074f06b24a0446a17cc0cac8a7ba)
![{\displaystyle x_{1},x_{2}\in X_{\beta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca7e0aae28a181a473973da8188190f9c3ba8141)
![{\displaystyle \beta =\max\{f(x_{1}),f(x_{2})\))](https://wikimedia.org/api/rest_v1/media/math/render/svg/e33fd8e9ed81ef91719a9ce5653e70a0f13e7e2a)
![{\displaystyle X_{\beta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36658fcff95d879db60a621991903affe80e810e)
![{\displaystyle \;x\in X_{\beta }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/43aadd2dd442dbce87844f45a42d5cc072f98ea2)
![{\displaystyle f(x)\leqslant \beta =max\{f(x_{1}),f(x_{2})\},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c38b0240bfc5b4560fea685d9e3839939f27e3d)
Fie funcția f cvasi-convexă. Pentru unii fixăm puncte arbitrare Apoi . Deoarece X este o mulțime convexă, atunci pentru orice punct . Din definiția cvasi-convexității rezultă că , adică . Otzhe, este o mulțime convexă.
![{\displaystyle \beta \in \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/33b33a167a556c5f643b7053261072ccef00c2e6)
![{\displaystyle x_{1},x_{2}\in X_{\beta }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42efeb67b0ef6a46906bac264ad8f054f4a0acb9)
![{\displaystyle \max\{f(x_{1}),f(x_{2})\}\leqslant \beta}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fffc8a4db3d768a4f72a39639e9ea8e9b4bbec36)
![{\displaystyle \lambda \in(0,1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f17279bd1146846540229cfca8a2fd9bed8b8bcb)
![{\displaystyle x=\lambda x_{1}+(1-\lambda )x_{2}\in X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b3844a78736394c2ab7142973c4d3f43d7906e1)
![{\displaystyle f(x)\leqslant max\{f(x_{1}),f(x_{2})\}\leqslant \beta}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af3274ef5ff649980180be01bd58dc010b3b5b4b)
![{\displaystyle x\in X_{\beta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71104bf83ce7f4a7573f3fbfa99c7b489afab5fc)
- O funcție continuă , unde X este o mulțime convexă în , este cvasi-convexă dacă și numai dacă una dintre următoarele condiții este îndeplinită:
![{\displaystyle f:X\to \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/669fa4832da4b0b229d77eadb270e95188f2eb10)
![\mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
- f este nedescrescătoare;
- f - necrescător;
- există un punct astfel încât pentru toate funcția f este necrescătoare, iar pentru toate funcția f este nedescrescătoare.
![{\displaystyle c\in X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20a6fd8987f71d0e8b6f844f05339748989a1267)
![{\displaystyle t\in X,t\leqslant c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/642791a3400861c61f2a0d6c5f874f76cac10bd7)
![{\displaystyle t\in X,t\geqslant c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/673f86f527dbf659fb7fd451b10fc41101060f75)
Funcții cvasi-convexe diferențiabile
![{\displaystyle f(y)\leqslant f(x)\Rightarrow \left\langle f^{'}(x), yx\right\rangle \leqslant 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/539fd084d4811cd95dccd3cfeec94c7a058f129e)
pentru toată lumea .
- Fie f o funcție de două ori diferențiabilă. Dacă f este cvasi-convex pe X, atunci următoarea condiție este îndeplinită:
![{\displaystyle \left\langle f^{'}(x), y\right\rangle =0\Rightarrow \left\langle f^{''}(x)y,y\right\rangle \geqslant 0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/305ab3897892a024e285c29591e646ad2e71d61c)
pentru toată lumea .
- Condițiile necesare și suficiente pentru cvasi-convexitate și cvasi-concavitate pot fi date și în ceea ce privește așa-numita matrice hessiană mărginită . Pentru funcție definim determinanții pentru :
![{\displaystyle f(x_{1},\ldots,x_{m})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4dbc2dc0215fe6983f6908217691f2e214c3c2b)
Atunci afirmațiile sunt adevărate:
- Dacă funcția f este cvasi-convexă pe o mulțime X , atunci D n (x) ≤ 0 pentru tot n și toți x din X .
- Dacă funcția f este cvasi-concavă pe mulțimea X , atunci D 1 (x) ≤ 0, D 2 (x) ≥ 0, …, (-1) m D m (x) ≤ 0 pentru tot x cu X .
- Dacă D n (x) ≤ 0 pentru tot n și toți x cu X , atunci funcția f este cvasi-convexă pe mulțimea X .
- Dacă D 1 (x) ≤ 0, D 2 (x) ≥ 0, …, (-1) m D m (x) ≤ 0 pentru tot x cu X , funcția f este cvasi-concavă pe mulțimea X .
Operații care păstrează cvasi-convexitatea
- Maximul de funcții cvasi-convexe ponderate cu ponderi nenegative, i.e.
![{\displaystyle f=\max \left\lbrace w_{1}f_{1},\ldots ,w_{n}f_{n}\right\rbrace }](https://wikimedia.org/api/rest_v1/media/math/render/svg/226ad3661a5c1c636f8b74d9afb5932b982ee021)
Unde
- o compoziție cu funcție nedescrescătoare (dacă este cvasi-convexă, este nedescrescătoare, atunci este cvasi-convexă).
![{\displaystyle g:\mathbb {R} ^{n}\rightarrow \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/cdd0676a3fc6d7adae5f265a8b398fd3d96cd587)
![{\displaystyle h:\mathbb {R} \rightarrow \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7132bad98312911aeb02354f0c9038ffc1704591)
![{\displaystyle f=h\circ g}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8bf9ecaafec0e79beaba94302aa824e2c7de682)
- minimizarea (dacă f(x, y) este cvasi-convex, C este o mulțime convexă, atunci este cvasi-convexă).
![{\displaystyle h(x)=\inf _{y\in C}f(x,y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b53c3acd719c4cd7b62f73b0af885fd08de0fff9)
Link -uri
Literatură
- Alpha C Chiang, Metode fundamentale ale economiei matematice, ediția a treia, McGraw Hill Book Company, 1984.