Obratnye zadachi v astrofizike
A.M.ChEREPAShUK
Gosudarstvennyi astronomicheskii institut im. P.K. Shternberga Moskovskogo gosudarstvennogo universiteta im. M.V. Lomonosova
Bol'shinstvo zadach interpretacii astronomicheskih nablyudatel'nyh dannyh yavlyayutsya obratnymi i nekorrektno postavlennymi. Sovremennye nauchno obosnovannye metody, osnovannye na predlozhennoi A.N.Tihonovym idee regulyariziruyushego algoritma, pozvolyayut poluchat' ustoichivye priblizhennye resheniya nekorrektnyh zadach. Primenenie etih metodov k obratnym zadacham astrofiziki pozvolyaet delat' vazhnye vyvody o prirode astronomicheskih ob'ektov. |
Vvedenie
Astrofizika yavlyaetsya nablyudatel'noi naukoi, poskol'ku issledovatel' v podavlyayushem bol'shinstve sluchaev ne imeet vozmozhnosti pryamogo vozdeistviya na izuchaemyi ob'ekt. Vyvody o prirode issleduemyh ob'ektov astrofiziki delayut na osnove analiza kosvennoi informacii, kotoraya zaklyuchena v postupayushih iz Kosmosa razlichnyh izlucheniyah: elektromagnitnom (ot gamma-kvantov do radiovoln), neitrinnom, korpuskulyarnom (kosmicheskie luchi), gravitacionno-volnovom (registraciya kotorogo namechaetsya v blizhaishei perspektive). Harakteristiki etih izluchenii (intensivnost', spektr, polyarizaciya, peremennost' i t.p.) yavlyayutsya sledstviyami teh processov, o prirode kotoryh dolzhen sudit' astrofizik. Lish' v redkih sluchayah astrofiziki mogut neposredstvenno vozdeistvovat' na izuchaemyi ob'ekt: eto issledovanie meteoritnogo veshestva, kotoroe vypadaet na Zemlyu iz mezhplanetnogo prostranstva (upomyanem v etoi svyazi nedavnee otkrytie amerikanskimi uchenymi sledov zhiznedeyatel'nosti mikroorganizmov v marsianskom meteorite), a takzhe izuchenie poverhnostei planet s pomosh'yu aktivnyh kosmicheskih apparatov, spuskaemyh na ih poverhnost'. V podavlyayushem zhe bol'shinstve sluchaev astrofiziki vynuzhdeny po sledstviyam nekotoryh processov, protekayushih na nebesnyh telah, sudit' o prichinah, ih porodivshih, to est' reshat' obratnye zadachi.
Reshenie pryamoi zadachi svyazano s otyskaniem sledstviya nekotorogo processa po ego izvestnoi prichine. Naprimer, mozhno na lyuboi moment vremeni rasschitat' polozheniya planet Solnechnoi sistemy, znaya glavnuyu prichinu, kotoraya lezhit v osnove ih dvizheniya, - zakon vsemirnogo tyagoteniya N'yutona s popravkami za effekty obshei teorii otnositel'nosti (kotorye sil'nee vsego skazyvayutsya na progressivnom smeshenii perigeliya Merkuriya 43 uglovyh sekundy v stoletie). Odnako, kogda N'yuton reshal obratnuyu zadachu - vyvodil svoi znamenityi zakon vsemirnogo tyagoteniya iz nablyudaemogo dvizheniya planet, obobshennogo v izvestnyh zakonah Keplera, on stolknulsya so znachitel'no bolee slozhnoi problemoi. I tol'ko ogromnyi nablyudatel'nyi material po mnogim planetam v sochetanii s genial'nost'yu i tonkoi fizicheskoi intuiciei pozvolil N'yutonu uspeshno reshit' etu tipichnuyu obratnuyu zadachu.
V otlichie ot pryamyh zadach trudnosti resheniya obratnyh zadach svyazany s tem, chto odin i tot zhe effekt mozhet byt' porozhden raznymi prichinami. Naprimer, izvestno, chto esli nagret' vodu pri atmosfernom davlenii do temperatury 100°C, to ona zakipit. Odnako iz togo fakta, chto voda kipit, vovse ne sleduet, chto ona nagreta do temperatury 100°C, poskol'ku voda mozhet kipet' i pri komnatnoi temperature, no pri dostatochno nizkom atmosfernom davlenii. Horosho izvestno, chto v gorah nevozmozhno svarit' risovuyu kashu, poskol'ku voda tam kipit pri temperature okolo 80°C. Takim obrazom, effekt kipeniya vody mozhet byt' vyzvan raznymi prichinami: libo vysokoi temperaturoi, libo nizkim davleniem.
Privedennyi primer naglyadno illyustriruet, kakoi tonkoi i delikatnoi proceduroi yavlyaetsya reshenie obratnoi zadachi interpretacii nablyudatel'nyh dannyh. Esli dlya resheniya pryamoi zadachi dostatochno znat' odnu prichinno-sledstvennuyu svyaz', to dlya uspeshnogo resheniya obratnoi zadachi etogo yavno nedostatochno i neobhodimo uchityvat' mnogie prichinno-sledstvennye svyazi, soprovozhdayushie izuchaemyi process, i, sledovatel'no, imet' gorazdo bolee bogatyi opyt i eksperimental'nyi material, chem dlya resheniya pryamoi zadachi.
V matematike horosho izvestno, chto podavlyayushee bol'shinstvo obratnyh zadach yavlyayutsya nekorrektno postavlennymi - malym vozmusheniyam ishodnyh dannyh (dannyh nablyudenii) mogut sootvetstvovat' skol' ugodno bol'shie vozmusheniya resheniya. Kak otmecheno francuzskim uchenym Zh. Adamarom v 1939 godu, zadacha nazyvaetsya korrektno postavlennoi (korrektnoi), esli:
- ee reshenie sushestvuet,
- reshenie edinstvenno i
- reshenie nepreryvno zavisit ot vhodnyh dannyh, to est' ustoichivo po otnosheniyu k malym vozmusheniyam (oshibkam) dannyh nablyudenii.
Esli hotya by odno iz etih treh uslovii ne vypolnyaetsya, zadacha nazyvaetsya nekorrektno postavlennoi.
Naibolee chasto v sluchae obratnyh zadach narushaetsya uslovie 3, to est' uslovie ustoichivosti resheniya. V etom sluchae voznikaet paradoksal'naya situaciya: nesmotrya na to chto zadacha matematicheski sformirovana, ee reshenie nevozmozhno poluchit' obychnymi metodami. Deistvitel'no, kakoi smysl imeet reshenie, kotoroe ispytyvaet formal'no beskonechno bol'shie vozmusheniya pri malyh vozmusheniyah rezul'tatov nablyudenii, kotorye vsegda poluchayutsya s nekotoroi neopredelennost'yu (oshibkoi). Imenno poetomu Adamar i prishel k zaklyucheniyu, chto nekorrektnye zadachi ne imeyut prakticheskogo smysla. No tragediya zaklyuchaetsya v tom, chto po sushestvu vse zadachi obrabotki i interpretacii dannyh astronomicheskih nablyudenii, kak, vprochem, i rezul'tatov mnogih fizicheskih eksperimentov, yavlyayutsya obratnymi i, sledovatel'no, nekorrektno postavlennymi. Do poyavleniya sovremennyh nauchno obosnovannyh metodov issledovatel' libo, ispol'zuya detal'nuyu fizicheskuyu model' izuchaemogo yavleniya, svodil obratnuyu zadachu k nahozhdeniyu nebol'shogo chisla parametrov, libo, osnovyvayas' na fizicheskoi intuicii, otbiral iz mnozhestva dopustimyh reshenii to, kotoroe luchshe vsego sootvetstvuet zdravomu smyslu. Odnako takie rezul'taty resheniya obratnoi zadachi vsegda ostavlyayut chuvstvo neudovletvorennosti: v pervom sluchae chasto byvaet, chto detal'naya fizicheskaya model', dopuskayushaya zhestkuyu parametrizaciyu resheniya, neadekvatna ispol'zuemym nablyudatel'nym dannym (chto privodit k bol'shim ostatochnym ukloneniyam nablyudatel'nyh dannyh ot teoreticheskih predskazanii), vo vtorom sluchae vybor resheniya sub'ektiven, chto neharakterno dlya nauchnogo metoda issledovanii.
Matematicheski pod obratnoi zadachei ponimaetsya zadacha otyskaniya funkcii z(s) po funkcii u(x), poluchaemoi iz eksperimenta ili nablyudenii, iz uravneniya vida
(1) |
gde A est' nekotoryi operator, ustanavlivayushii prichinno-sledstvennuyu svyaz' mezhdu z(s) i u(x). V uravnenii (1) po nablyudaemym sledstviyam u(x) processa my dolzhny sudit' o prichinah z(s), porodivshih ego.
Vo mnogih sluchayah obratnaya zadacha (1) mozhet byt' predstavlena integral'nym uravneniem Fredgol'dma 1-go roda
(2) |
gde K(x, s) - yadro (nepreryvnoe ili kvadratichno summiruemoe po peremennym x, s), kotoroe opisyvaet konkretnuyu model' issleduemogo processa.
Matematicheskie trudnosti resheniya obratnyh zadach svyazany s tem, chto obratnyi operator A-1 (sm. uravnenie (1)) ne yavlyaetsya nepreryvnym. Poetomu esli dannye nablyudenii u(x) polucheny s nekotoroi oshibkoi (oboznachim priblizhennye dannye simvolom ), to sootvetstvuyushee priblizhennoe reshenie, poluchennoe standartnym metodom,
(3) |
budet skol' ugodno sil'no otklonyat'sya ot resheniya, sootvetstvuyushego ideal'no tochnym vhodnym dannym u(x).
Predlagaemye ranee metody resheniya obratnyh nekorrektnyh zadach osnovyvalis' prezhde vsego na intuicii avtorov, i hotya v ryade obratnyh zadach udavalos' poluchit' vazhnuyu fizicheskuyu informaciyu, neobhodimost' v strogoi matematicheskoi postanovke i razrabotke chislennyh metodov resheniya etogo vazhneishego dlya sovremennogo estestvoznaniya kruga problem ostro nazrela k 60-m godam, osobenno v svyazi s shirokim vnedreniem komp'yuterov v praktiku nauchnyh issledovanii.
Metody resheniya nekorrektnyh zadach poluchili intensivnoe razvitie v 60-e gody. Opredelyayushuyu rol' zdes' sygrali raboty A.N. Tihonova, M.M. Lavrent'eva, V.K. Ivanova i drugih matematikov. Seichas mozhno govorit' o nauchnoi shkole A.N. Tihonova, kotoraya sozdala matematicheskuyu teoriyu nekorrektno postavlennyh zadach, razrabotala effektivnye metody ih resheniya (regulyariziruyushie algoritmy).
Sut' dela sostoit v tom, chto nekorrektno postavlennye zadachi rassmatrivayutsya kak fizicheski nedoopredelennye. Oni ploho postavleny, mnozhestva ih priblizhennyh reshenii ochen' shiroki, dazhe neogranichenny. Poetomu nekorrektnye zadachi nuzhno doopredelit'. Dlya etogo neobhodima dopolnitel'naya informaciya ob iskomom reshenii z(s), vytekayushaya iz obshirnogo opyta vsestoronnih issledovanii dannogo processa. Vazhno podcherknut', chto eta dopolnitel'naya informaciya ob iskomom reshenii dolzhna byt' izvestna a priori, do resheniya sootvetstvuyushei nekorrektnoi zadachi. Apriornaya informaciya pozvolyaet sformulirovat' kriterii otbora priblizhennogo resheniya iz mnozhestva priblizhennyh reshenii uravneniya (1) i postroit' regulyariziruyushii algoritm.
Takoi informaciei mogut sluzhit' apriornye svedeniya o gladkosti iskomogo resheniya z(s), ego monotonnosti, vypuklosti, neotricatel'nosti, prinadlezhnosti k konechno-parametricheskomu semeistvu i t. p.
Na ris. 1a, privedeno tochnoe i priblizhennoe reshenie nekorrektnoi zadachi - integral'nogo uravneniya Fredgol'ma 1-go roda (2) prichem priblizhennoe reshenie polucheno s pomosh'yu regulyariziruyushego algoritma - suzheniya mnozhestva dopustimyh reshenii do mnozhestva vypuklyh funkcii. Popytka resheniya etoi zhe zadachi bez regulyarizacii yavlyaetsya bezuspeshnoi (ris. 1b).
Ris. 1. Rezul'taty resheniya obratnoi zadachi, opisyvaemoi integral'nym uravneniem (2) s yadrom K(x,s)=1/(1+100(x-s)2). Sploshnoi liniei predstavleno tochnoe reshenie z(s), kotoroe bylo zadano zaranee. Eto reshenie podstavlyalos' pod znak integrala v uravnenie (2) i vychislyalas' sootvetstvuyushaya emu funkciya u(x) - ideal'no tochnye "vhodnye dannye" obratnoi zadachi (2). Zatem v poluchennuyu funkciyu u(x) vnosilas' pogreshnost' = 3% ot maksimal'nogo znacheniya i reshalas' obratnaya zadacha: po vozmushennoi funkcii nahodilos' priblizhennoe reshenie . Priblizhennoe reshenie (tochki), predstavlennoe na ris. 1a, polucheno s pomosh'yu regulyariziruyushego algoritma, ispol'zuyushego apriornuyu informaciyu o vypuklosti iskomogo resheniya . Pri popytke reshit' etu zhe zadachu bez regulyarizacii (ris. 1b) poluchayutsya skol' ugodno bol'shie otkloneniya "priblizhennogo resheniya" (tochki) ot istinnogo. Tak proyavlyaetsya nekorrektnost' obratnoi zadachi (2) |
V nastoyashee vremya razvitaya teoriya resheniya nekorrektno postavlennyh zadach uspeshno primenyaetsya dlya resheniya mnogih obratnyh zadach astrofiziki, a takzhe zadach optiki i spektroskopii, optimal'nogo planirovaniya i t.p.
Vazhno otmetit', chto regulyariziruyushie algoritmy garantiruyut shodimost' posledovatel'nosti priblizhennyh reshenii k tochnomu resheniyu obratnoi zadachi, to est' pri stremlenii oshibki nablyudenii k nulyu priblizhennoe reshenie stremitsya k tochnomu. Eto daet veskie osnovaniya schitat', chto priblizhennoe reshenie nekorrektnoi zadachi, poluchennoe s pomosh'yu regulyariziruyushego algoritma, blizko k resheniyu, sootvetstvuyushemu ideal'no tochnym dannym nablyudenii u(x). Stihiinye intuitivnye metody resheniya obratnyh nekorrektnyh zadach, otmechennye vyshe, ne obladayut etim dostoinstvom.
V stat'e rassmotreny primery primeneniya regulyariziruyushih algoritmov k resheniyu obratnyh zadach astrofiziki.