Kupera funktio
Konveksi funktio ( kupera ylöspäin suuntautuva funktio ) on funktio , jonka graafin minkä tahansa kahden pisteen välinen jana vektoriavaruudessa ei ole korkeampi kuin graafin vastaava kaari. Vastaavasti: konveksi on funktio, jonka osagraafi on konveksi joukko .
Kovera funktio ( alaspäin kupera funktio ) on funktio, jonka jänne minkä tahansa kaavion kahden pisteen välillä ei ole pienempi kuin graafin muodostettu kaari, tai vastaavasti jonka epigrafi on kupera joukko.
Konveksin ja koveran funktion käsitteet ovat duaalisia , lisäksi jotkut kirjoittajat määrittelevät konveksin funktion koveraksi ja päinvastoin [1] . Joskus väärinkäsitysten välttämiseksi käytetään selkeämpiä termejä: alaspäin kupera funktio ja ylöspäin kupera funktio.
Konsepti on tärkeä klassiseen matemaattiseen analyysiin ja funktionaaliseen analyysiin , jossa konveksifunktioita tutkitaan erityisesti , sekä sovelluksissa, kuten optimointiteoriassa , jossa erikoistunut alaosa on erottuva- konveksi analyysi .
Määritelmät
Tietylle välille (yleensä jonkin vektoriavaruuden kuperalle osajoukolle ) määritetty numeerinen funktio on konveksi, jos millä tahansa kahdella argumentin arvolla ja mille tahansa luvulle Jensenin epäyhtälö pätee :
![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)
Muistiinpanot
- Jos tämä epäyhtälö on tiukka kaikille ja , funktion sanotaan olevan tiukasti kupera .
![{\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)
- Jos käänteinen epäyhtälö pätee, funktion sanotaan olevan kovera (vastaavasti tiukasti koveraksi ).
- Jos joillekin vahvempi epätasa-arvo pätee
![\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)
silloin funktion sanotaan olevan vahvasti kupera .
Ominaisuudet
- Funktio , joka on kupera välissä, on jatkuva kaikessa , differentioituva kaikessa paitsi korkeintaan laskettavassa pistejoukossa ja kahdesti differentioituva melkein kaikkialla .
![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)
- Mikä tahansa konveksi funktio on alidifferentioitavissa (sillä on alidifferentiaali ) koko määritelmän alueella.
- Kuperalla funktiolla on minkä tahansa pisteen läpi kulkeva tukihypertaso .
- Jatkuva funktio on konveksi, jos ja vain jos epäyhtälö
![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)
- Yhden muuttujan jatkuvasti differentioituva funktio on konveksi välissä silloin ja vain, jos sen kuvaaja ei ole tähän kuvaajaan piirretyn tangentin ( viitehypertason ) alapuolella missään konveksiteettivälin kohdassa.
- Intervallin yhden muuttujan konveksilla funktiolla on vasen ja oikea derivaatta; vasen derivaatta pisteessä on pienempi tai yhtä suuri kuin oikea derivaatta; konveksin funktion derivaatta on ei-pienevä funktio.
- Yhden muuttujan kahdesti differentioituva funktio on konveksi välissä silloin ja vain, jos sen toinen derivaatta on ei-negatiivinen tällä välillä. Jos kahdesti differentioituvan funktion toinen derivaatta on tiukasti positiivinen, niin tällainen funktio on tiukasti konveksi, mutta käänteinen ei pidä paikkaansa (esimerkiksi funktio on tiukasti konveksi kohdassa , mutta sen toinen derivaatta pisteessä on nolla) .
![{\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)
- Jos funktiot , ovat kuperia, niin mikä tahansa niiden lineaarinen yhdistelmä positiivisilla kertoimilla on myös kupera.
![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)
- Konveksin funktion paikallinen minimi on myös globaali minimi (vastaavasti ylöspäin konvekseille funktioille paikallinen maksimi on globaali maksimi).
- Mikä tahansa konveksin funktion kiinteä piste on globaali ääriarvo.
Muistiinpanot
- ↑ Klyushin V. L. Korkeampi matematiikka taloustieteilijöille / toim. I. V. Martynova. - Koulutuspainos. - M. : Infra-M, 2006. - S. 229. - 448 s. — ISBN 5-16-002752-1 .
Kirjallisuus