ResponseEve, a responsive template by SiGa

Aproksymacja (łac. approximare – przybliżać) – budowanie rozwiązań przybliżonych^[1], zwłaszcza wtedy, gdy ścisłego rozwiązania nie da się przedstawić dokładnie w postaci analitycznej^[2].

Przykład to zastąpienie pewnej funkcji ${\displaystyle f(x)}$ inną, zazwyczaj prostszą ${\displaystyle \varphi (x),}$ umożliwiającą efektywne rozwiązanie postawionego problemu. Przykłady takich sytuacji to:

• obliczanie całek oznaczonych z funkcji, które nie dają się scałkować ściśle;
• rozwiązywanie równań różniczkowych – zarówno zwyczajnych, jak i cząstkowych – kiedy poszukuje się niewiadomych funkcji;
• opracowywanie wyników pomiarów znanych tylko na dyskretnym zbiorze punktów, np. w meteorologii.

Aproksymacja może być dokonywana na różne sposoby i dlatego można poszukiwać aproksymacji optymalnej w ściśle określonym sensie.

Sformułowanie uproszczone

Ogólnie rzecz ujmując, aproksymacja polega na przybliżaniu pewnej funkcji ${\displaystyle f(x),}$ w obszarze ${\displaystyle \Omega }$ jej określoności, za pomocą innej, prostszej funkcji przybliżającej ${\displaystyle \varphi (x),}$ określonej w tym samym obszarze, której wartości zależą od pewnej liczby parametrów. Najczęściej jako funkcje ${\displaystyle \varphi (x),}$ stosuje się wielomiany uogólnione w postaci

${\displaystyle \varphi (x)=a_{1}\varphi _{1}(x)+a_{2}\varphi _{2}(x)+\,\dots \,+a_{n}\varphi _{n}(x),}$

(a)

w której funkcje ${\displaystyle \varphi _{i}(x)}$ tworzą tzw. bazę aproksymacji

${\displaystyle \mathbf {B} (x)=[\varphi _{1}(x),\,\varphi _{2}(x),\,\dots \,\varphi _{n}(x)],}$

zaś ${\displaystyle a_{i}}$ są liczbowymi współrzędnymi funkcji ${\displaystyle \varphi (x)}$ względem przyjętej bazy. Dobór tych współczynników może się odbywać na różne sposoby, przy czym powinien on być taki, aby błąd aproksymacji był jak najmniejszy.

Jednym z praktycznych sposobów budowania aproksymacji w pewnym sensie optymalnej, jest metoda minimalizacji błędu przybliżenia, określonego iloczynem skalarnym różnicy funkcji ${\displaystyle \varphi (x),\,f(x)}$

${\displaystyle R(a_{1},\,a_{2},\,\dots \,a_{n})={\Big \langle }{\big [}\varphi (x)-f(x){\big ]}\cdot {\big [}\varphi (x)-f(x){\big ]}{\Big \rangle }={\Big \langle }{\big [}\varphi (x)-f(x){\big ]}^{2}{\Big \rangle },}$

(b)

przy czym ten iloczyn może być definiowany na dwa sposoby^[3]:

${\displaystyle \langle g\cdot h\rangle =\int _{\Omega }g(x)h(x)d\Omega \quad {}}$ lub ${\displaystyle {}\quad \langle g\cdot h\rangle =\sum _{i=1}^{n}g(x_{i})h(x_{i}),\;\;x_{i}\in \Omega .}$

(c)

Minimalizacja tak określonego błędu wymaga, aby

${\displaystyle {\begin{aligned}{\tfrac {1}{2}}{\tfrac {\partial R}{\partial a_{k}}}&={\tfrac {\partial }{\partial a_{k}}}\langle (\varphi -f)^{2}\rangle \\&={\big \langle }(\varphi -f)\cdot {\tfrac {\partial }{\partial a_{k}}}\varphi {\big \rangle }\\&={\big \langle }(\varphi -f)\cdot \varphi _{k}{\big \rangle }\\&=\langle \varphi \cdot \varphi _{k}\rangle -\langle f\cdot \varphi _{k}\rangle \\&=\sum _{i=1}^{n}\langle \varphi _{k}\cdot \varphi _{i}\rangle a_{i}-\langle \varphi _{k}\cdot f\rangle =0,\quad k=1,\,2,\,\dots \,n.\end{aligned}}}$

(d)

Opisany powyżej sposób aproksymacji funkcji ${\displaystyle f(x)}$ za pomocą wielomianu ${\displaystyle \varphi (x)}$ polegał na sformułowaniu i wykorzystaniu konkretnych warunków minimalizacji błędu określonego wzorem (b). Warunki te przybrały postać układu równań (d), w których współczynniki przy niewiadomych ${\displaystyle a_{i}}$ określone zostały funkcjonałami ${\displaystyle \langle \varphi _{k}\cdot \varphi _{i}\rangle ,\;\langle \varphi _{k}\cdot f\rangle }$ ze względu na funkcje ${\displaystyle \varphi _{k}.}$

Sformułowanie ogólne

Ogólne sformułowanie aproksymacji w przestrzeni liniowej ${\displaystyle F}$ wymaga określenia warunków, jakie ta aproksymacja ma spełniać. Jeżeli przez ${\displaystyle {\bar {F}}}$ oznaczymy podzbiór ${\displaystyle ({\bar {F}}\subset F)}$ zbioru ${\displaystyle F,}$ będący również przestrzenią liniową, to aproksymacja będzie polegać na tym, aby dla każdego elementu ${\displaystyle f\in F}$ znaleźć taki element ${\displaystyle {\bar {f}}\in {\bar {F}},}$ dla którego zachodzą równości

${\displaystyle l_{k}({\bar {f}})=l_{k}(f),\quad {}}$ dla ${\displaystyle {}\quad k=1,\,2,\,\dots \,n,}$

w których ${\displaystyle l_{k}}$ są pewnymi funkcjonałami liniowymi, określającymi warunki dokonywanej aproksymacji.

Zatem zagadnienie aproksymacji wymaga określenia trzech zbiorów:

• funkcji ${\displaystyle F,}$ funkcji aproksymowanych,
• funkcji ${\displaystyle {\bar {F}},}$ funkcji aproksymujących,
• ciągu ${\displaystyle l_{1},\,l_{2},\,\dots \,l_{n}}$ funkcjonałów liniowych.

Najczęściej jako ${\displaystyle {\bar {F}},}$ wybiera się zbiór wielomianów uogólnionych o postaci

${\displaystyle \varphi (x)=\sum _{i=1}^{n}a_{i}\varphi _{i}(x)}$

utworzonej z funkcji bazowych ${\displaystyle \varphi _{1},\,\varphi _{2},\,\dots \,\varphi _{n}\in F.}$ W tym przypadku ${\displaystyle {\bar {F}}}$ staje się n-wymiarową podprzestrzenią ${\displaystyle F.}$

Poszukiwanie elementu ${\displaystyle {\bar {f}}\in {\bar {F}},}$ aproksymującego ${\displaystyle f\in F}$ polega na zbudowaniu takiego wielomianu ${\displaystyle \varphi \in {\bar {F}}}$

${\displaystyle \varphi =a_{1}\varphi _{1}+a_{2}\varphi _{2}+\,\dots \,+a_{n}\varphi _{n},}$

(e)

który spełnia równości

${\displaystyle l_{k}(\varphi )=\sum _{i=1}^{n}l_{k}(\varphi _{i})a_{i}=l_{k}(f),\quad k=1,\,2,\,\dots \,n.}$

(f)

tworzące układ równań służących do określenia współczynników kombinacji liniowej (e).

Jeżeli za ${\displaystyle \varphi _{i}(x)\in F}$ przyjmiemy dowolne funkcje liniowo niezależne, to macierz układu równań najczęściej będzie bardzo pełna. W celu wygenerowania takiego układu równań, który odznaczałby się macierzą rzadką, budujemy aproksymację w ${\displaystyle {\bar {f}}\in {\bar {F}}}$ zawężoną do interpolacji^[4], w następującej postaci

${\displaystyle {\bar {f}}=c_{1}\phi _{1}(x)+c_{2}\phi _{2}(x)+\,\dots \,c_{n}\phi _{n}(x),}$

(g)

w której bazę takiej aproksymacji stanowią funkcje ${\displaystyle \phi _{i}(x)}$ o tej własności, że ${\displaystyle l_{k}\phi _{i}=\delta _{ki}.}$ Stąd wynika

${\displaystyle l_{k}{\bar {f}}=l_{k}\left(\sum _{i=1}^{n}c_{i}\phi _{i}\right)=\sum _{i=1}^{n}c_{i}l_{k}\phi _{i}=c_{k}\quad {}}$ oraz ${\displaystyle {}\quad {\bar {f}}=\sum _{k=1}^{n}(l_{k}{\bar {f}})\phi _{k}.}$

(h)

Funkcję ${\displaystyle \phi _{s}(x),\;s=1,\,2,\,\dots \,n}$ otrzymuje się na podstawie kombinacji (e)

${\displaystyle \phi _{s}(x)=\sum _{k=1}^{n}a_{i}^{(s)}\varphi _{s}(x),}$

której współczynniki ${\displaystyle a_{i}^{(s)}}$ są określone równaniami (f), w których funkcja ${\displaystyle f(x)}$ zostaje zastąpiona przez kolejne funkcje ${\displaystyle \phi _{s}(x),\;s=1,\,2,\,\dots \,n.}$ Funkcje te nazywane są funkcjami bazowymi Lagrange’a.

Przykład 1

Funkcję ${\displaystyle f(x)=x^{2}}$ można aproksymować w przedziale ${\displaystyle (0,\,1)\in R^{1},}$ funkcją liniową przyjmując, że

${\displaystyle \varphi (x)=a_{1}\varphi _{1}(x)+a_{2}\varphi _{2}(x)=a_{1}+a_{2}x}$

i definiując dwa funkcjonały, na przykład w postaci iloczynów skalarnych

${\displaystyle l_{k}(\varphi )=\langle \varphi _{k}\cdot \varphi \rangle =\int _{0}^{1}\!\!\varphi _{k}(x)\cdot \varphi (x)\,dx,\quad k=1,\,2.}$

Warunki (f) przyjmują postać

${\displaystyle \langle \varphi _{k}\cdot \varphi _{1}\rangle a_{1}+\langle \varphi _{k}\cdot \varphi _{2}\rangle a_{2}=\langle \varphi _{k}\cdot f\rangle ,\quad k=1,\,2.}$

Dla obliczenia współczynników ${\displaystyle a_{1},\,a_{2}}$ otrzymujemy układ równań

${\displaystyle {\begin{bmatrix}1&{\tfrac {1}{2}}\\{\tfrac {1}{2}}&{\tfrac {1}{3}}\end{bmatrix}}{\begin{bmatrix}a_{1}\\a_{2}\end{bmatrix}}={\begin{bmatrix}{\tfrac {1}{3}}\\{\tfrac {1}{4}}\end{bmatrix}}\quad \to \quad a_{1}=-{\tfrac {1}{6}},\;a_{2}=1.}$

Przykład 2

Aproksymację funkcji ${\displaystyle f(x)}$ określonej w przedziale ${\displaystyle [a,\,b]}$ można zastąpić aproksymacją funkcji ${\displaystyle F(\xi ),\;(x={\tfrac {b+a}{2}}+{\tfrac {b-a}{2}}\xi )}$ w przedziale standardowym ${\displaystyle [-1,\,1].}$ Bazę aproksymacji zbudujemy w postaci uogólnionego wielomianu stopnia ${\displaystyle n}$

${\displaystyle \varphi (\xi )=a_{0}w_{0}(\xi )+a_{1}w_{1}(\xi )+\,\dots \,+a_{n}w_{n}(\xi ),}$

utworzonego z funkcji dowolnych, ale wzajemnie ortogonalnych, spełniających w przedziale standardowym, warunki

${\displaystyle \int _{-1}^{1}\!\!w_{k}(\xi )w_{i}(\xi )d\xi =0,\quad {}}$ gdy ${\displaystyle {}\;i\neq k.}$

Funkcjonał ${\displaystyle l_{k},}$ występujący w (f) przyjmiemy w postaci

${\displaystyle l_{k}(F)=\langle w_{k}\cdot F\rangle =\int _{-1}^{1}w_{k}(\xi )F(\xi ),\quad k=0,\,1,\,\dots \,n.}$

Mamy również

${\displaystyle {\begin{aligned}l_{k}(\varphi )&=\langle w_{k}\cdot \varphi \rangle \\&=\int _{-1}^{1}w_{k}(\xi )\varphi (\xi )\\&=\int _{-1}^{1}\!\!w_{k}(\xi )\sum _{i=1}^{n}a_{i}w_{i}(\xi )d\xi \\&=\int _{-1}^{1}\!\!a_{k}w_{k}^{2}(\xi )d(\xi )\\&=\langle w_{k}\cdot w_{k}\rangle a_{k},\quad k=0,\,1,\,\dots \,n.\end{aligned}}}$

Układ równań (f) redukuje się do najprostszej postaci

${\displaystyle \langle w_{k}\cdot F\rangle =\langle w_{k}\cdot w_{k}\rangle a_{k}\quad \to \quad a_{k}={\tfrac {\langle w_{k}\cdot F\rangle }{\langle w_{k}\cdot w_{k}\rangle }},\;\;k=0,\,1,\,\dots \,n.}$

Funkcjonały ${\displaystyle \langle w_{k}\cdot w_{k}\rangle ,\;k=0,\,1,\,2,\,\dots \,n}$ mają przykładowo wartości

• ${\displaystyle \langle w_{k}\cdot w_{k}\rangle ={\tfrac {2}{2k+1}},\quad {}}$ gdy funkcje ${\displaystyle w_{k}(x)}$ są wielomianami Legendre’a^[3] stopnia ${\displaystyle k,}$
• ${\displaystyle \langle w_{k}\cdot w_{k}\rangle =1,\quad {}}$ gdy ${\displaystyle {}\;w_{0}(\xi )={\tfrac {1}{\sqrt {2}}},\;\;w_{k}(\xi )=\cos(k\pi \xi ),\;k=1,\,2,\,\dots ,\,n,}$
• ${\displaystyle \langle w_{0}\cdot w_{0}\rangle =\pi ,\;\;\langle w_{k}\cdot w_{k}\rangle ={\tfrac {\pi }{2}},\;k=1,\,2,\,\dots \,n,\quad {}}$ gdy funkcje ${\displaystyle w_{k}(x)}$ są wielomianami Czebyszewa^[3] stopnia ${\displaystyle k.}$

Zdefiniowanie najlepszej aproksymacji

• W przestrzeniach unormowanych

Niech dana będzie przestrzeń liniowa ${\displaystyle X}$ z normą ${\displaystyle \|\cdot \|}$ i niech ${\displaystyle V\subset X}$ będzie podprzestrzenią liniową ${\displaystyle X}$ skończonego wymiaru. Zadanie najlepszej aproksymacji polega na znalezieniu takiego ${\displaystyle v^{*}\in V}$ (elementu najlepszej aproksymacji dla danego ${\displaystyle x\in X}$), że zachodzi:

${\displaystyle \forall {v\in V}\quad \|x-v^{*}\|\leqslant \|x-v\|}$

Należy przez to rozumieć, że element ${\displaystyle v^{*}}$ jest elementem „najbliższym” do aproksymowanego ${\displaystyle x}$ spośród wszystkich elementów ${\displaystyle v\in V.}$

Zadanie najlepszej aproksymacji jest zawsze rozwiązywalne, tzn. dla każdego ${\displaystyle x\in X}$ istnieje element najlepszej aproksymacji ${\displaystyle v^{*},}$ ale niekoniecznie jest on jedyny. Należy zauważyć, że element najlepszej aproksymacji zależy od normy, jaka została przyjęta w przestrzeni ${\displaystyle X.}$

• W przestrzeniach unitarnych

Niech ${\displaystyle X}$ będzie przestrzenią z iloczynem skalarnym ${\displaystyle \langle \cdot ,\cdot \rangle }$ i niech norma w ${\displaystyle X}$ będzie generowana tym iloczynem: ${\displaystyle \|x\|={\sqrt {\langle x,x\rangle }}.}$

Wtedy dla danego ${\displaystyle x\in X}$ element najlepszej aproksymacji ${\displaystyle v^{*}}$ jest jedyny i jest określony następująco:

${\displaystyle \forall {v\in V}\ \ \langle x-v^{*},v\rangle =0.}$

Zagadnienia aproksymacji funkcji

Aproksymację stosuje się w sytuacjach, gdy nie istnieje analityczna postać funkcji, która pozwalałaby na wyznaczenie wartości dla dowolnego z jej argumentów, a jednocześnie wartości tej nieznanej funkcji są dla pewnego zbioru jej argumentów znane. Z przypadkiem takim mamy do czynienia np. w meteorologii przy sporządzaniu map synoptycznych na podstawie wyników pomiarów terenowych.

Aproksymowanie funkcji może polegać na przybliżaniu jej za pomocą kombinacji liniowej tzw. funkcji bazowych^[5]. Od funkcji aproksymującej, przybliżającej daną funkcję nie wymaga się, aby przechodziła ona przez jakieś konkretne punkty, tak jak to ma miejsce w interpolacji. Z matematycznego punktu widzenia aproksymacja funkcji ${\displaystyle f}$ w pewnej przestrzeni Hilberta ${\displaystyle H}$ jest zagadnieniem polegającym na poszukiwaniu pewnej funkcji ${\displaystyle g\in G,}$ gdzie ${\displaystyle G}$ jest podprzestrzenią ${\displaystyle H\,(G\subset H)}$ takiej, by odległość (w sensie obowiązującej w ${\displaystyle H}$ normy) między ${\displaystyle f}$ a ${\displaystyle g}$ była jak najmniejsza.

Aproksymacja funkcji powoduje pojawienie się błędów, zwanych błędami aproksymacji^[6]. Dużą zaletą aproksymacji w stosunku do interpolacji jest to, że aby dobrze przybliżać, funkcja aproksymująca nie musi być wielomianem wysokiego stopnia (w ogóle nie musi być wielomianem). Przybliżenie w tym wypadku rozumiane jest jako minimalizacja pewnej funkcji błędu. Prawdopodobnie najpopularniejszą miarą tego błędu jest średni błąd kwadratowy, ale możliwe są również inne funkcje błędu, jak choćby błąd średni.

Istnieje wiele metod aproksymacyjnych. Jednymi z najbardziej popularnych są: aproksymacja średniokwadratowa i aproksymacja jednostajna oraz aproksymacja liniowa, gdzie funkcją bazową jest funkcja liniowa.

Funkcja aproksymująca może być przedstawiona w różnej postaci. Najczęściej jest to postać:

• wielomianu (tzw. aproksymacja wielomianowa),
• funkcji sklejanych,
• funkcji matematycznych uzyskanych na drodze statystyki matematycznej (przede wszystkim regresji),
• sztucznych sieci neuronowych.

Aproksymację można formułować również przy rozwiązywaniu zagadnień dwu- i trójwymiarowych.

Zobacz też

• aproksymacja diofantyczna
• aproksymacja punktowa
• krzywa Béziera
• metoda Sheparda
• zaokrąglanie

Przypisy

Bibliografia

• Zenon Fortuna, Bohdan Macukow, Janusz Wąsowski: Metody numeryczne. Warszawa: Wydawnictwa Naukowo-Techniczne, 1993. ISBN 83-204-1551-9.brak strony w książce