Käänteisongelma on usein monilla tieteenaloilla esiintyvä ongelma , kun malliparametrien arvot täytyy saada havainnoista.
Esimerkkejä käänteisongelmista löytyy seuraavilta aloilta: geofysiikka , tähtitiede , lääketieteellinen kuvantaminen , tietokonetomografia , maan kaukokartoitus , spektrianalyysi , sirontateoria ja NDT -ongelmat .
Käänteiset ongelmat ovat huonosti esitettyjä ongelmia. Hyvin asetetun ongelman kolmesta ehdosta (ratkaisun olemassaolo, ratkaisun ainutlaatuisuus ja sen stabiilisuus ) viimeinen rikotaan useimmiten käänteisongelmissa. Funktionaalisessa analyysissä käänteisongelma esitetään metristen avaruuksien välisenä mappauksena . Käänteisongelmat muotoillaan yleensä äärettömässä -ulotteisessa avaruudessa, mutta mittausten äärellisyyden rajoitus ja äärellisen määrän tuntemattomia parametreja laskemisen tarkoituksenmukaisuus johtavat ongelman muutokseen diskreetissä muodossa. Tässä tapauksessa käytetään regularisointimenetelmää välttämiseksiuudelleenkoulutus .
Lineaarista käänteisongelmaa voidaan kuvata seuraavasti:
,jossa on lineaarinen operaattori , joka kuvaa eksplisiittisiä suhteita tietojen ja malliparametrien välillä ja edustaa fyysistä järjestelmää. Diskreetin lineaarisen käänteisen ongelman tapauksessa, joka kuvaa lineaarista järjestelmää ja ovat vektoreita , mikä mahdollistaa seuraavan ongelman esityksen käyttämisen:
,missä on matriisi .
Esimerkki lineaarisesta käänteisongelmasta on ensimmäisen kertaluvun Fredholmin integraaliyhtälö .
Pohjimmiltaan sujuvalle operaattorille edellä määritelty operaattori on kompakti sellaisissa Banach-avaruuksissa kuin Spaces . Vaikka kartoitus olisi yksi yhteen , käänteisfunktio ei ole jatkuva . Näin ollen pienetkin virheet tiedoissa suurentuvat huomattavasti ratkaisussa . Tässä suhteessa mitatuista tiedoista määritettävä käänteinen ongelma on virheellinen.
Numeerisen ratkaisun saamiseksi integraali on tarpeen approksimoida numeerisen integroinnin ja diskreetin datan avulla. Tuloksena oleva lineaarinen yhtälöjärjestelmä on huonosti esitetty ongelma.
Radon-muunnos on myös esimerkki lineaarisesta käänteisongelmasta.
Epälineaarisissa käänteisongelmissa asetetaan datan ja mallin välille monimutkaisempia suhteita, joita kuvataan yhtälöllä:
Tässä on epälineaarinen operaattori, jota ei voida pelkistää lineaariseksi kuvaukseksi, joka muuttuu dataksi. Lineaariset käänteisongelmat ratkaistiin teoreettisesta näkökulmasta täysin 1800- luvun lopulla , epälineaarisista, vuoteen 1970 asti vain yksi ongelmaluokka ratkaistiin - takaisinsirontaongelma. Merkittävä panos oli venäläisellä matemaattisella koululla ( Kerin , Gelfand , Levitan ) .