MN12LAB

Liniowe zadanie najmniejszych kwadratów

<<< Powrót do strony głównej przedmiotu Metody numeryczne

Oglądaj wskazówki i rozwiązania __SHOWALL__
Ukryj wskazówki i rozwiązania __HIDEALL__

Ćwiczenie: Rozszerzony układ równań dla zadania najmniejszych kwadratów

Inną, oprócz sprowadzenia do układu równań normalnych, metodą transformacji zadania najmniejszych kwadratów do zadania rozwiązywania układu równań z macierzą kwadratową, jest zapisanie w formie układu dwóch układów równań (sic!). Dokładniej, możemy scharakteryzować zadanie wygładzania jako znalezienie dwóch wektorów $x\in R^n$ oraz $r\in R^m$ takich, że

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned r &= b - Ax,\\ A^T r &= 0. \endaligned}

Zapisz macierzowo ten układ równań. Wskaż, kiedy mogłoby być opłacalne stosowanie takiego podejścia. Porównaj koszt rozwiązania tego układu wprost metodą eliminacji Gaussa, z kosztem innych metod rozwiązywania zadania najmniejszych kwadratów.

Wskazówka

Układy równań można rozwiązywać nie tylko eliminacją Gaussa...

Rozwiązanie

Macierzowo, układ zapisuje się w postaci

$\left(\begin{array}{cc}I& A\\ A^T& 0\end{array}\right)\left(\begin{array}{c}r\\ x\end{array}\right)=\left(\begin{array}{c}b\\ 0\end{array}\right).$

Koszt rozwiązywania takiego układu równań to oczywiście $O((m+n{)}^3)$, dużo więcej niż innych poznanych metod. Ale zalety takiego podejścia mogą objawić się, gdy macierz $A$ jest rozrzedzona wielkiego wymiaru (i $m\approx n$), bo wtedy możemy zastosować znany nam arsenał metod iteracyjnych.

Ćwiczenie

W twierdzeniu o uwarunkowaniu zadania najmniejszych kwadratów mówi się, że

$\frac{||b-A{x}^{*}|{|}_2}{||b|{|}_2}<1.$

Wyjaśnij, dlaczego rzeczywiście tak jest.

Rozwiązanie

Rozwiązanie zadania najmniejszych kwadratów minimalizuje $||b-Ax|{|}_2$, tzn. dla każdego $x$,

$||b-A{x}^{*}|{|}_2\le ||b-Ax|{|}_2.$

W szczególności dla $x=0$ dostajemy $||b-A{x}^{*}|{|}_2\le ||b-A\cdot 0|{|}_2=||b|{|}_2$. Ostra nierówność wynika z jednoznaczności: $A^{T}A{x}^{*}=A^{T}b\ne 0$, stąd $x^{*}\ne 0$.

Ćwiczenie: Dopasowanie liniowych parametrów funkcji do danych

Znajdź $a$ i $b$ takie, że funkcja $f(x)=a+b{e}^{-x}$ minimalizuje błąd średniokwadratowy dla danych:

x	f(x)
0.00	4.00000000000000e+00
1.25	3.28650479686019e+00
2.50	3.08208499862390e+00
3.75	3.02351774585601e+00
5.00	3.00673794699909e+00
6.25	3.00193045413623e+00
7.50	0.00055308437015e+00
8.75	3.00015846132512e+00
10.00	3.00004539992976e+00

Wskazówka

Musisz zadanie wyrazić w terminach liniowego zadania najmniejszych kwadratów. Zauważ, że $x_{i+1}=x_i+1.25$.

Rozwiązanie

Ma być

$\sum _{i=0}^{10}|a+b{e}^{-x_i}-f(x_i){|}^2\to \min !$

A więc, macierzowo,

$||\left(\begin{array}{cc}1& e^{-x_0}\\ ⋮\\ 1& e^{-x_{10}}\end{array}\right)\cdot \left(\begin{array}{c}a\\ b\end{array}\right)-\left(\begin{array}{c}f(x_0)\\ ⋮\\ f(x_{1}0)\end{array}\right)|{|}_2^2\to \min !$

A więc mamy sformułowane zadanie w języku liniowego zadania najmniejszych kwadratów. Reszta jest liczeniem...

Wyznaczone najlepsze dopasowanie naszego modelu do danych. Jak widzisz, dane punkty pasują --- za wyjątkiem "dziwnego" $x=7.5$ --- do modelu $f^{*}(x)=3+e^{-x}$. Duże i niespodziewane zaburzenie w $x=7.5$ spowodowało, że dopasowanie w sensie najmniejszych kwadratów ma istotnie inne parametry od $f^{*}$. Sposobem zmniejszenia wpływu takiego zaburzenia na ogólny wynik może być wprowadzenie do zadania wag (relatywnie małej dla $x=7.5$), i minimalizacja $\sum _{i=0}^{10}{\omega }_i\cdot |a+b{e}^{-x_i}-f(x_i){|}^2\to \min !$. Zobacz też następne zadanie.

Ćwiczenie: Ważone zadanie najmniejszych kwadratów

Niech $A$ będzie macierzą $m\times n$ pełnego rzędu, przy czym $m\ge n$. Podaj algorytm rozwiązywania ważonego zadania najmniejszych kwadratów:

$\sum _{i=1}^n{\omega }_i|b_i-(Ax{)}_i{|}^2\to \min !,$

gdzie zakładamy, że $0<{\omega }_i\le 1$ są danymi wagami. (Gdy wszystkie ${\omega }_i=1$, zadanie sprowadza się do zwykłego zadania najmniejszych kwadratów.)

Rozwiązanie

Innymi słowy, szukamy $x$, minimalizującego

$\sum _{i=1}^n|\sqrt{{\omega }_i}(b_i-(Ax{)}_i){|}^2=\sum _{i=1}^n|({\tilde{b}}_i-(\tilde{A}x{)}_i){|}^2,$

gdzie $\tilde{b}=Db$, $\tilde{A}=DA$ i

$D=\left(\begin{array}{ccc}{\omega }_1& & \\ & \ddots & \\ & & {\omega }_n\end{array}\right).$

A więc, zadanie sprowadza się do zadania najmniejszych kwadratów bez wag dla zmodyfikowanej macierzy i wektora prawej strony, $||\tilde{b}-\tilde{A}x|{|}_2\to \min !$.

Ćwiczenie

Opisz szczegółowo sposób rozwiązywania układu $N$ równań z $N$ niewiadomymi

$Ax=b,$

korzystający z rozkładu QR metodą Householdera.

Rozwiązanie

Stosując rozkład QR metodą Householdera do macierzy $A$, dostajemy w rezultacie

$A=QR=H_{N-1}\cdot H_{N-2}\cdots H_{1}R.$

Ponieważ $H_j^{-1}=H_j^T=H_j$, to $Q^{-1}=H_1\cdots H_{N-2}\cdot H_{N-1}$. Dlatego

$x=A^{-1}b=R^{-1}{Q}^{-1}=R^{-1}\cdot H_1\cdots H_{N-2}\cdot H_{N-1}b.$

Powyższą równość implementujemy korzystając z operacji mnożenia $H_j$, opisanej w poprzednim zadaniu. W szczególności pamiętamy, by nie wyznaczać pełnej macierzy $H_j$. Pseudokod procedury byłby następujący:

Algorytm Metoda rozwiązywania układu równań przy użyciu przekształceń Householdera

---

wyznacz macierze Householdera <math>\displaystyle H_1,\ldots, H_{N-1}</math> oraz macierz trójkątną <math>\displaystyle R</math>,
	okreslające rozkład QR macierzy <math>\displaystyle A</math>;

y = b;
for i = 1:N-1
	 y = <math>\displaystyle H_{N-i}</math>*y;
end
	 
rozwiąż układ z macierzą trójkątną <math>\displaystyle Rx = y</math>;

Ćwiczenie: Obroty Givensa

Innym sposobem wyzerowania wybranych elementów zadanego wektora $x$ za pomocą przekształceń ortogonalnych jest zastosowanie tzw. obrotów Givensa,

$\left(\begin{array}{cc}c& s\\ -s& c\end{array}\right)\left(\begin{array}{c}{x}_1\\ x_2\end{array}\right)=||x|{|}_2\left(\begin{array}{c}1\\ 0\end{array}\right).$

Wskaż jak dobrać $c$ i $s$ tak, by macierz

$G=\left(\begin{array}{cc}c& s\\ -s& c\end{array}\right)$

była ortogonalna i przekształcała $x$ w zadany wyżej sposób. Jak zastosować sekwencję obrotów Givensa tak, by zadany wektor $N$-wymiarowy przeprowadzić na wektor o kierunku wektora jednostkowego? Porównaj koszt tej operacji z kosztem przekształcenia Householdera. Kiedy opłaca się stosować obroty Givensa w miejsce odbić Householdera?

Rozwiązanie

Prosty rachunek pokazuje, że

$c=\frac{x_1}{||x|{|}_2},s=\frac{x_2}{||x|{|}_2}.$

(Zauważ, że $c^2+s^2=1$, więc $G$ faktycznie można traktować jako macierz obrotu o kąt $\theta$ taki, że $c=\cos (\theta )$ i $s=\sin (\theta )$.)

Jak widać, występuje tu zadanie obliczania normy euklidesowej i w związku z tym ryzyko niepotrzebnego nadmiaru bądź niedomiaru. Dlatego w praktyce obliczeniowej rozpatrujemy dwa przypadki:

Algorytm Wyznaczenie obrotu Givensa

---

if ( \PIPEREAD <math>\displaystyle x_1</math>\PIPEREAD  > \PIPEREAD <math>\displaystyle x_2</math>\PIPEREAD  )
{
	t = <math>\displaystyle x_2</math> / <math>\displaystyle x_1</math>;
	c = 1 / sqrt(1+t*t);
	s = t * c;
}
else
{
	t = <math>\displaystyle x_1</math> / <math>\displaystyle x_2</math>;
	s = 1 / sqrt(1+t*t);
	c = t * s;
}

Chcąc obrotami Givensa wyzerować wszystkie --- z wyjątkiem pierwszej --- współrzędne danego wektora $N$-wymiarowego, musimy zastosować sekwencję obrotów dotyczących kolejno: pierwszej i drugiej współrzędnej, pierwszej i trzeciej, itp. Po $N-1$ krokach dostaniemy wektor, o który nam chodziło.

Koszt jednego obrotu Givensa to 4 działania arytmetyczne i jedno pierwiastkowanie, zatem koszt wyzerowania wszystkich $N-1$ (tzn. oprócz pierwszej) współrzędnych wektora jest równy $4N-4$ działań arytmetycznych oraz $N-1$ pierwiastkowań, a więc jest wyższy niż analogicznego przekształcenia Householdera (ech, te pierwiastki!...). Istnieje jednak sprytna modyfikacja, tzw. algorytm Gentlemana, praktycznie zrównujący koszty implementacji sekwencji obrotów Givensa i odbić Householdera.

Ponadto, jest ważna klasa macierzy, dla których stosowanie obrotów Givensa jest znacznie tańsze od odbić Householdera: gdy w wektorze $x$ już na starcie jest wiele współrzędnych zerowych, bo wtedy wystarczy obrotami Givensa wyzerować pozostałe niezerowe współrzędne.

Takim przypadkiem jest np. konstrukcja rozkładu QR dla macierzy Hessenberga, czyli macierzy górnej trójkątnej uzupełnionej o jedną niezerową poddiagonalę --- precyzyjniej, dla takiej macierzy $A$, której elementy spełniają $a_{ij}=0$ dla $i-j>1$. Rzeczywiście, wtedy w każdej kolumnie wystarczy wyzerować tylko jeden element! Zadanie znalezienia rozkładu QR niedużej i prawie-kwadratowej macierzy Hessenberga jest częścią składową metody GMRES iteracyjnego rozwiązywania wielkich układów równań liniowych z macierzą niesymetryczną.