Metoda de regularizare a lui Tikhonov este un algoritm care permite găsirea unei soluții aproximative la problemele de operator prost puse de forma . A fost dezvoltat de A.N. Tikhonov în 1965 [1] . Ideea principală este de a găsi o soluție aproximativă a ecuației sub forma , unde este operatorul de regularizare. El trebuie să se asigure că atunci când se apropie de valoarea exactă a , soluția aproximativă ar tinde către soluția exactă dorită a ecuației . [2]
Un operator care depinde de parametru se numește operator de regularizare pentru ecuație dacă are următoarele proprietăți:
Pentru o clasă largă de ecuații , A. N. Tikhonov a arătat că soluția problemei minimizării funcționalei poate fi considerată ca rezultat al aplicării unui operator de regularizare care depinde de parametru . Funcționalul se numește stabilizator de sarcini .
Să găsim o soluție normală (cea mai apropiată de origine) a sistemului de ecuații liniare cu o precizie corespunzătoare preciziei de setare a elementelor matricei și coloanei în cazul în care valorile elementelor matricei și ale coloanei de termeni liberi sunt date doar aproximativ.
Se consideră un sistem de ecuații liniare sub formă de matrice: . Să numim norme sferice de cantitate . Să notăm ca cunoscute valori aproximative ale elementelor matricei și coloanei . O matrice și o coloană vor fi numite o -aproximare a unei matrice și a unei coloane dacă inegalitățile sunt satisfăcute . Să introducem funcționalitatea . Teorema lui Tihonov reduce problema găsirii soluției normale aproximative a unui sistem de ecuații la găsirea elementului pe care această funcțională atinge valoarea minimă.
Fie matricea și coloana să îndeplinească condițiile care asigură compatibilitatea sistemului , este o soluție normală a acestui sistem, este o -aproximare a matricei , este o -aproximare a coloanei și sunt orice funcții crescătoare care tind spre zero la și astfel încât . Atunci pentru oricare există un număr pozitiv astfel încât pentru oricare și pentru orice care îndeplinește condiția , elementul care furnizează minimumul funcționalului satisface inegalitatea [3] [4] .