Differentiaalinen inkluusio (matematiikka)

Differentiaalinen inkluusio on yleistys differentiaaliyhtälön käsitteestä :

jossa oikea puoli (*) on moniarvoinen mappaus , joka liittää jokaisen muuttujaparin ei-tyhjään avaruudessa olevaan kompaktiin joukkoon . Differentiaalisen inkluusion (*) ratkaisua kutsutaan yleensä ehdottoman jatkuvaksi funktioksi , joka täyttää tietyn inkluusion Lähes kaikille arvoille.. Tällainen ratkaisun määritelmä liittyy ensisijaisesti differentiaalien inkluusioiden sovelluksiin ohjausteoriassa.

Differentiaalien sulkeumien teorian alkuperä yhdistetään yleensä ranskalaisen matemaatikon Marchaud'n ja puolalaisen matemaatikon Stanislaw Zaremban nimiin (1930-luvun puolivälin teoksia), mutta laaja kiinnostus niitä kohtaan heräsi vasta Pontryaginin maksimiperiaatteen löytämisen jälkeen. ja siihen liittyvän optimaalisen ohjauksen teorian intensiivinen kehittäminen. Differentiaalisulkeuksia käytetään myös työkaluna tutkittaessa differentiaaliyhtälöitä, joissa on epäjatkuva oikea puoli ( A.F. Filippov ) ja differentiaalipelien teoriassa ( N.N. Krasovskii ).

Differentiaalisulkujen kytkentä ohjattuihin järjestelmiin

Harkitse ohjattua järjestelmää

jossa on pieni osajoukko. Järjestelmä (**) voidaan kirjoittaa differentiaalisisällykseksi (*) asettamalla . Melko yleisillä olettamuksilla hallittu järjestelmä (**) vastaa differentiaalista inkluusiota (*), ts. jokaiselle inkluusioratkaisulle (*) on sellainen sallittu ohjaus , että funktio on järjestelmän (**) liikerata tällä säätimellä. Tätä lausuntoa kutsutaan A.F:n lemmaks. Filippov.

Aiheeseen liittyvät käsitteet

Satunnaisuus ( kontingenttijohdannainen ) ja paratingenssi ovat yleistyksiä 1930-luvulla käyttöönotetusta derivaatan käsitteestä .

Vektorifunktion satunnaisuus pisteessä on sarjan kaikkien rajapisteiden joukko

Vektorifunktion paratingenssi pisteessä on sarjan kaikkien rajapisteiden joukko

Kontingenssi ja paratingenssi ovat esimerkkejä moniarvoisista kartoituksista . Esimerkiksi funktiolle pisteessä joukko koostuu kahdesta pisteestä: ja joukko on jana

Yleensä aina . Jos on tavallinen derivaatta, niin ja jos tavallinen derivaatta on jossain pisteen naapurustossa ja on jatkuva tässä pisteessä itse, niin .

Kirjallisuus