MakarovSuites
Polski
EnglishDeutschРусскийУкраїнськаFrançaisEspañolItalianoPolski
Kontakt i licencje

Math

Dlaczego obliczona trajektoria kłamie

Komputer nie potrafi podążać za trajektorią; potrafi tylko robić kroki. Zmniejszenie kroku o połowę dzieli błąd przez dwa, cztery albo szesnaście zależnie od metody - dopóki kroków nie zrobi się tyle, że zaokrąglenie przeważy i mniejszy krok pogorszy odpowiedź. Na orbicie najdokładniejsza z czterech metod i tak traci energię po prostej, podczas gdy mniej dokładna jedynie kołysze się bez końca: dokładność i szacunek dla niezmiennika to różne cnoty. A w układzie chaotycznym trajektoria jest stracona przy każdej metodzie: przeżywa atraktor.

Dlaczego obliczona trajektoria kłamie — Obraz z aplikacji
Obraz z aplikacji

Co się dzieje

Komputer nie potrafi śledzić trajektorii; potrafi zrobić krok, spojrzeć na siły tam, gdzie wylądował, i zrobić następny. Wszystko, co potem idzie źle, bierze się stąd. Krok Eulera rozkręca oscylator na zewnątrz, zyskując energię, do której nie ma prawa; zamień kolejność dwóch linii, a ta sama metoda pierwszego rzędu trzyma energię ograniczoną na zawsze - to znaczy symplektyczna. Verlet jest drugiego rzędu i symplektyczny, integrator planet; Runge-Kutta 4 jest znacznie dokładniejsza na krok, a i tak dryfuje, powoli. Połów krok i odczytaj zmierzony rząd; potem uruchom atraktor Lorenza i patrz, jak dwie metody rozchodzą się w tej samej chwili.

Równania modułu
Równania
Euler: y' = y + h f(y), rząd 1, energia dryfuje
symplektyczna metoda Eulera: q' = q + hv, v' = v + h a(q'), rząd 1, energia ograniczona
prędkościowa metoda Verleta: rząd 2, symplektyczna
metoda Rungego-Kutty 4: rząd 4, energia dryfuje powoli

Inne eksperymenty

Wróć do katalogu
Długość i pole to nie to, jak figura wygląda — Obraz z aplikacji

Math

Długość i pole to nie to, jak figura wygląda

Przybliżenie może przylegać do krzywej dowolnie blisko i mieć złą długość: schody zbiegające do przekątnej są o 41 % za długie przy każdym zagęszczeniu, na zawsze. O wymiar wyżej jest gorzej. Latarnia Schwarza ma każdy wierzchołek na walcu i trójkąty dowolnie małe, a jej pole całkowite dąży do prawdziwych 2π, do pięciokrotności tego, albo do nieskończoności - zależnie wyłącznie od tego, jak ścigają się oba zagęszczenia. Decyduje nie rozmiar kawałków, lecz ich nachylenie, a panel je mierzy.

Wyścig dokładności — Obraz z aplikacji

Math

Wyścig dokładności

Dokładność kupuje się pracą, a kurs wymiany nie jest cechą metody. Cztery reguły całkują tę samą funkcję, a walutą jest liczba odczytów funkcji: wyścig toczy się na wykresie błędu wobec liczby obliczeń z linią tolerancji, którą ustawiasz ty, po przewidzeniu zwycięzcy. Na gładkiej funkcji Gauss dochodzi do precyzji maszynowej w ośmiu odczytach, a trapezom potrzeba sześćdziesięciu pięciu tysięcy; wstaw w funkcję jedno załamanie, a każda reguła wysokiego rzędu wpada w to samo pełzanie. A po dziesięciu milionach składników same dodawania tracą sześć cyfr.

Grupy tapetowe i Penrose — Obraz z aplikacji

Math

Grupy tapetowe i Penrose

Siedemnaście grup tapetowych, każda zbudowana z jednego lub dwóch generatorów i przyłożona do motywu, który przeciągasz; kopie odbite w drugim kolorze, by obroty, odbicia i odbicia z poślizgiem dało się rozróżnić gołym okiem. Rząd grupy, jej obroty i lustra odczytane z elementów, nie z nazwy. I osiemnasty wzór - romby Penrose'a - z liczbą grubych i cienkich zmierzającą do złotej liczby.