Konvex funktion
En konvex funktion ( konvex funktion uppåt ) är en funktion för vilken segmentet mellan två punkter i dess graf i vektorrymden inte ligger högre än motsvarande båge i grafen. Motsvarande: konvex är en funktion vars subgraf är en konvex mängd .
En konkav funktion ( nedåt konvex funktion ) är en funktion vars korda mellan två punkter i grafen inte ligger lägre än den formade bågen på grafen, eller, på motsvarande sätt, vars epigraf är en konvex uppsättning.
Begreppen konvexa och konkava funktioner är dubbla , dessutom definierar vissa författare en konvex funktion som konkav, och vice versa [1] . Ibland, för att undvika missförstånd, används mer explicita termer: nedåtkonvex funktion och uppåtkonvex funktion.
Konceptet är viktigt för klassisk matematisk analys och funktionell analys , där konvexa funktionaler studeras särskilt , samt för tillämpningar som optimeringsteori , där en specialiserad underavdelning särskiljs - konvex analys .
Definitioner
En numerisk funktion definierad på ett visst intervall (i allmänhet på en konvex delmängd av något vektorrum ) är konvex om för två valfria värden i argumentet och för vilket tal som helst gäller Jensens olikhet :
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![y](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8a6208ec717213d4317e666f1ae872e00620a0d)
![{\displaystyle t\in\left[0,1\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fd270c3bd356bcd89e081db8a147db4ac9552d8)
Anteckningar
- Om denna ojämlikhet är strikt för alla och sägs funktionen vara strikt konvex .
![{\displaystyle t\in\left(0,1\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e350f4ef48111031fa58617534a89b0ee0bef110)
![x\ney](https://wikimedia.org/api/rest_v1/media/math/render/svg/f51b711ca7f932963cdb268b0817dc72d6258733)
- Om den omvända ojämlikheten håller, sägs funktionen vara konkav (respektive strikt konkav i det strikta fallet).
- Om för vissa den starkare ojämlikheten håller
![\varepsilon >0](https://wikimedia.org/api/rest_v1/media/math/render/svg/e04ec3670b50384a3ce48aca42e7cc5131a06b12)
![{\displaystyle f{\big (}tx+\left(1-t\right)y{\big )}\leqslant tf\left(x\right)+\left(1-t\right)f\left(y \right)-\varepsilon t\left(1-t\right)\left|xy\right|^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/120539c09f73e84de8572bef128c19f3e5574d9b)
då sägs funktionen vara starkt konvex .
Egenskaper
- En funktion som är konvex på ett intervall är kontinuerlig på allt , differentierbar på allt utom för högst en uppräkningsbar uppsättning punkter, och två gånger differentierbar nästan överallt .
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![{\mathbb {I}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8205f06e0d279689ed04a1ac04a3d9c249c637df)
![{\mathbb {I}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8205f06e0d279689ed04a1ac04a3d9c249c637df)
![{\mathbb {I}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8205f06e0d279689ed04a1ac04a3d9c249c637df)
- Varje konvex funktion är subdifferentierar (har en subdifferentiell ) över hela definitionsdomänen.
- En konvex funktion har ett stödhyperplan av sin epigraf som passerar genom vilken punkt som helst .
- En kontinuerlig funktion är konvex på om och endast om ojämlikheten
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![{\mathbb {I}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8205f06e0d279689ed04a1ac04a3d9c249c637df)
![x,y\in {\mathbb {I}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7ef8d3dd4743c5c5015f53eb81621ecebe533c0)
![{\displaystyle f\left({\dfrac {x+y}{2}}\right)\leqslant {\frac {f\left(x\right)+f\left(y\right)}{2}} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd6f901eb60fb47a5ccb6d932bf2aa9078f26bc3)
- En kontinuerligt differentierbar funktion av en variabel är konvex på ett intervall om och endast om dess graf inte ligger under tangenten ( referenshyperplan ) som ritas till denna graf vid någon punkt i konvexitetsintervallet.
- En konvex funktion av en variabel i ett intervall har vänster- och högerderivator; den vänstra derivatan vid en punkt är mindre än eller lika med den högra derivatan; derivatan av en konvex funktion är en icke-minskande funktion.
- En två gånger differentierbar funktion av en variabel är konvex på ett intervall om och endast om dess andraderivata är icke-negativ på detta intervall. Om andraderivatan av en två gånger differentierbar funktion är strikt positiv, så är en sådan funktion strikt konvex, men det omvända är inte sant (till exempel är funktionen strikt konvex på , men dess andraderivata vid en punkt är lika med noll) .
![{\displaystyle f\left(x\right)=x^{4))](https://wikimedia.org/api/rest_v1/media/math/render/svg/76e8100ded3f5f5418ffd5d499249309ae217f55)
![{\displaystyle \left[-1,1\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/79566f857ac1fcd0ef0f62226298a4ed15b796ad)
![x=0](https://wikimedia.org/api/rest_v1/media/math/render/svg/953917eaf52f2e1baad54c8c9e3d6f9bb3710cdc)
- Om funktionerna är konvexa, är någon av deras linjära kombinationer med positiva koefficienter också konvexa.
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![af+bg](https://wikimedia.org/api/rest_v1/media/math/render/svg/931e560ae86b8b00e497dce6eb2d6c14bd3b9cc1)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
- Det lokala minimumet för en konvex funktion är också det globala minimumet (för uppåtriktade konvexa funktioner är det lokala maximumet det globala maximumet).
- Varje stationär punkt i en konvex funktion kommer att vara ett globalt extremum.
Anteckningar
- ↑ Klyushin V. L. Högre matematik för ekonomer / ed. I. V. Martynova. - Utbildningsupplaga. - M. : Infra-M, 2006. - S. 229. - 448 sid. — ISBN 5-16-002752-1 .
Litteratur