Was haben Beschleunigungs-Apps mit der Quadratur des Kreises zu tun?

Transkript

1 Was aben Bescleunigungs-Apps mit der Quadratur des Kreises zu tun? Teilnemer: Jonatan Geuter Leonard Hackel Paul Hagemann Maximilian Kuc Amber Lucas Tobias Tieme Tobias Tiesse Niko Wolf Gruppenleiter: Caren Tiscendorf René Lamour Herder-Oberscule, Berlin Herder-Oberscule, Berlin Herder-Oberscule, Berlin Herder-Oberscule, Berlin Andreas-Oberscule, Berlin Heinric-Hertz-Oberscule, Berlin Heinric-Hertz-Oberscule, Berlin Herder-Oberscule, Berlin Humboldt-Universität zu Berlin Mitglied im Forscungszentrum Mateon Humboldt-Universität zu Berlin Mitglied im Forscungszentrum Mateon Sensoren in Smartpones können deren Bescleunigung messen. Uns interessieren die Gescwindigkeiten und Wegstrecken. Mitilfe numeriscer Integration (Quadratur) lassen sic die gesucten Werte für beliebige Messkurven approximieren. Durc Experimente und einige Vorüberlegungen können wir daraus versciedene Berecnungsmetoden ableiten. Mitilfe von Pyton wurden diese auc implementiert und erfolgreic getestet. Dabei aben wir uns folgende Fragen gestellt: (1) Wie siet eine App aus, die die Bescleunigung messen kann? () Wie ängen diese Größen pysikalisc zusammen? (3) Welce Möglickeiten der Berecnung gibt es? (4) Wie lassen sic diese in Pyton implementieren? 45

2 1 Accelogger & Experiment Die App Accelogger für Android misst die Bescleunigung mitilfe der Bescleunigungssensoren. In den obigen Bildern lassen sic versciedene Kurven und versciedene Werte in der Tabelle erkennen. Diese sind unterteilt in die Bescleunigungskomponenten in x, y, z-rictung und die Gesamtkoordinate mag. Accelogger nimmt standardmäßig mit einer Frequenz von 1Hz auf, sie bietet aber auc die Option an, diese Frequenz zu ändern. Accelogger ist kostenlos im Google Play Store erältlic. Die Zeit und Bescleunigungswerte werden in einem txt-file gespeicert, wobei die Zeit in Nanosekunden gespeicert wird. Wir aben die App beim Farradfaren einer Teststrecke von ca. m getestet. Dazu aben wir das Smartpone auf dem Gepäckträger befestigt und aben die Bescleunigung mitilfe von Accelogger gemessen. Weg, Gescwindigkeit, Bescleunigung Ziel ist es, aus der Bescleunigung den Weg und die Gescwindigkeit zu berecnen. Dabei ist die Ableitung des Weges nac der Zeit die Gescwindigkeit und 46

3 die Ableitung der Gescwindigkeit nac der Zeit die Bescleunigung: s (t) = d s(t) = v(t), dt v (t) = d v(t) = a(t). dt Entsprecend ist das Integral über der Bescleunigung die Gescwindigkeit und das über der Gescwindigkeit der Weg: v(t ) v() = s(t ) s() = T T a(t) dt, v(t) dt. Bei einer bescleunigten Bewegung berecnet man die Fläce unter dem Grapen der Funktion, um die Gescwindigkeit zu eralten. Dazu nutzen wir die nacfolgend erläuterte Trapezregel. 3 Trapezregel Allgemein lässt sic das Integral durc Trapeze annäern. Dabei gilt für den Fläceninalt eines einzelnen Trapezes folgende Formel, wobei a(t) die Bescleunigung ist: A t = a(t i 1) + a(t i ) (t i t i 1 ). Um das gesamte Integral zu berecnen, müssen alle Trapeze addiert werden: T a(t i 1 ) + a(t i ) v(t ) v() = a(t)dt (t i t i 1 ). 47

4 Analog kann aus der Gescwindigkeit die Strecke berecnet werden. Nac dem Hauptsatz der Integral- und Differentialrecnung lässt sic das Integral aus v(t) als s(t ) s() screiben: s(t ) s() + v(t i 1 ) + v(t i ) (t i t i 1 ). Das Integral wird mit 1 multipliziert, um die partielle Integration anwenden zu können: t i 1 f(t)dt = mit g(t) = t c und c = t i 1 + t i. Es gilt allgemein für die partielle Integration: b [ ] b u v = uv a t i 1 f(t)g (t)dt a b a uv. Die partielle Integration angewandt auf das Integral: [ ] f(t)g ti (t)dt = f(t)g(t) f (t)g(t)dt t i 1 t i 1 t i 1 mit t i 1 f (t)g(t)dt = R i und R i = R ergibt = f(t i) + f(t i 1 ) (t i t i 1 ) R. Durc die eingesetzten Grenzen und die umgeformte Gleicung ergibt sic die Trapezregel: T f(t i ) + f(t i 1 ) f(t)dt = (t i t i 1 ) R. 3.1 Iterierte Trapezregel Die iterierte Trapezregel ist ein Spezialfall der Trapezregel, bei dem eine äquidistante Unterteilung vorgenommen wird. Der Abstand zwiscen zwei Punkten ist konstant, sodass man in durc ein ersetzen kann. Beim Summieren der Einzeltrapeze wird dann ausgeklammert. T () = f i 1 + f i = (f + f 1 + f 1 + f + f f n ). 48

5 Da dann alle Punkte zwiscen den Randpunkten doppelt vorkommen, wird die Gleicung wie folgt zusammengefasst T () = (f n 1 + f i + f n ). 4 Implementierung der Trapezregel for i in range (b): # in sec umwandeln t=( float ( datentxt [i,1]) - float ( datentxt [,1]))/1. vektor_t [i]=t Abbildung 1: Import der Messpunkte in Sekunden for i in range (b): # Korrekturwert = -r/( vektor_t [b -1]) a= float ( datentxt [i,]. replace (",","."))#+K vektor_a [i]=a Abbildung : Erstellen des Bescleunigungsvektors r= vek = zeros (b) for i in range (1,b) : r=r +(( vektor_a [i -1]+ vektor_a [i ])/)* ( vektor_t [i]- vektor_t [i -1]) vek [i]=r Abbildung 3: Integration mit Trapezregel Als erstes werden die Messwerte aus der Datei daten.txt importiert. Nun werden die Zeiten in Sekunden umgewandelt und als Differenz zum Anfangswert in einem Vektor gespeicert (siee Abb. 1). Als näcstes erfolgt die Umrecnung der Bescleunigungswerte in float-zalen (siee Abb. ). Diese werden zunäcst in einem Bescleunigungsvektor gespeicert. Diese Bescleunigungswerte werden nun mitilfe der Trapezregel integriert (siee Abb. 3). Anscließend wird der 49

6 Weg als Integral der Gescwindigkeit nac der Zeit nac dem selben Muster berecnet. Ausgeend von den Messungenauigkeiten des Smartpones ist noc ein Korrekturwert nötig. Aufgrund der Tatsace, dass die Gescwindigkeit am Ende Null ist, kann man diesen über die Abweicung der berecneten Gescwindigkeit ermitteln (siee Abb. ). Hier lässt sic klar erkennen, dass die Bescleunigungswerte große Sprünge aufweisen, jedoc siet der Weg dabei ser realistisc aus. Die Ergebnisse beider Versuce sind relativ dict am eigentlicen Ergebnis von m; s 1 = 184m und s = 169m. 5 Bernoulli-Polynome 5.1 Allgemeine Definition Das k-te Bernoulli Polynom B k (x) ist das Polynom, das auf [;1] mit Werten in R definiert ist und folgende Eigenscaften besitzt: B (x) = 1 x [; 1] (5.1) B k(x) = k B k 1 (x) x [; 1] k 1 (5.) B k (x) dx = k 1 (5.3) Die Eigenscaften (5.1)-(5.3) sind eine Bildungsvorscrift für weitere Bernoulli- Polynome, wobei stets aus einem B n (x) das näcste Glied B n+1 (x) bestimmt wird. 5

7 5. Berecnung der Polynome = B 1 (x) = x + c [ x (x + c) dx = + xc c = 1. Hier wird B 1 (x) gebildet. Es gilt B (x) = x + c. Um die Konstante c zu bestimmen, muss das Polynom integriert werden (nac Eigenscaft (5.3)). ] 1 B = = ( x 1 B (x) = B 1 (x) ) dx = [ x x + c ] 1 [ x 3 3 x + c (x x + c) dx = c = 1 6. Aus B 1 (x) wird nun das näcste Polynom B (x) ermittelt. Die Bernoulli-Zal bezeicnet die Konstante c, welce im 3. Bernoulli-Polynom c = 1 6 beträgt. B 3(x) bis B 5 (x) sind die näcsten Bernoulli-Polynome: B 3 (x) = x 3 3 x + 1 x, B 4 (x) = x 4 x 3 + x 1 3, B 5 (x) = x 5 5 x x3 1 6 x. ] Eigenscaften Für alle k > 1 mit k ungerade, gilt C = und folglic B =. Für alle j gilt B j (1) = B j () bezieungsweise B j (1) B j () =. Dies lässt sic mittels des Hauptsatzes der Infinitesimalrecnung und Eigenscaft (5.) zeigen. 51

8 5.4 Weitere Anwendung Da B (x) = 1 gilt, lässt sic ein Integral über einer Funktion g(x) mit Hilfe partieller Integration umformen zu: = g(x)dx = [ ] 1 g(x)b 1 (x) g (x)b 1 (x)dx =... [ ] 1 1 i! g(i 1) (x)b i (x) ( 1) i+1 + ( 1) n 1 n! B n(x)g (n) (x)dx. Dabei wurde partielle Integration n mal angewandt; das am Ende steende Integral stellt das Restglied dar. 6 Reienentwicklung in für Trapezregel Um das Romberg-Verfaren anwenden zu können, benötigen wir eine weitere Formel, welce für T () einen Term mit geraden Potenzen von, der äquidistanten Scrittweite beim Trapezverfaren, und Koeffizienten a n ausgibt: T () = a + a 1 + a 4 + a Beweis der Existenz dieser Darstellung von T () Es gilt T f(t)dt = t i 1 f(t)dt. Nun sei x = t t i 1 und = t i t i 1. Wir definieren eine Funktion g i (x): g i (x) = f(t) = f(t i 1 + x). Nac Integration durc Substitution gilt: t i 1 f(t)dt = = = j=1 f(t i 1 + x)dx g i (x)dx ( 1) j+1 [ 1 j! g(j 1) i ] 1 (x)b j (x) + R i. 5

9 Setzt man in die Grenzen und die (j-1)te Ableitung von g i (x) ein, so erält man: g i (x)dx = ( 1) j+1 1 ( j! j f (j 1) (t i )B j (1) f (j 1) (t i 1 )B j () ) + R i. j=1 Aus den Eigenscaften der Bernoulli-Polynome folgt nun: [ f(ti ) g i (x)dx = + f(t ] i 1) m k (k)! b ( k f (k 1) (t i ) f (k 1) (t i 1 ) ) + R i. k=1 [ f(ti ) Dabei stellt der Term + f(t ] i 1) den Term T () dar. Betractet man nun anstelle des Integrals g i(x)dx das ursprünglice gesamte Integral T f(t)dt, so kürzen sic die meisten der Faktoren f (k 1) (t i ) f (k 1) (t i 1 ) raus und die Reste R i addieren sic zu dem Gesamtrestglied R: T f(t)dt = T () m k=1 k (k)! b ( k f (k 1) (T ) f (k 1) (t ) ) + R. Get m gegen, so get R gegen. Die Umstellung nac T () ergibt: T () =a + m k=1 k (k)! b ( k f (k 1) (T ) f (k 1) (t ) ) =a + a 1 + a 4 + a Hierbei lässt sic die obige Summe als Summe aus Produkten mit Potenzen von und von unabängigen Faktoren darstellen. Damit eralten wir die geforderte Darstellung von T (). 7 Romberg-Verfaren Aus der Reienentwicklung folgt, dass die Trapezformel auc als Reie, abängig von der äquidistanten Scrittweite, gescrieben werden kann. Hierbei ist T () der Wert der Trapezformel, a der Wert des Integrals und die restlicen Terme sind Felerterme. T () = T [] = a + a 1 + a T [] = a + a 1 ( ) + a ( )

10 Da a 1 der größte Feler ist, wird dieser durc gescicktes Umformen eliminiert. Dabei werden T () und T ( ) mitilfe von q (=.5) verrecnet, sodass bei der Subtraktion beider Gleicungen a 1 mit multipliziert wird. T [] q T [] = a q a + a 1 ( 4 4 ) + a 3( ) +... Nun teilen wir durc (1 q ), damit wir wieder a als Ergebnis eralten und definieren es als T [1] T [] q T [] = a 1 q a 1 + a 4 + a =: T [1]. Somit fällt der größte Felerterm (a 1 ) eraus, sodass wir einen genaueren Wert erreicen. Diese Metode lässt sic beliebig oft fortsetzen, um Feler zu eliminieren und einen genaueren Wert zu erreicen, solange es genügend Startwerte (z.b. T [] ) gibt. Es ergibt sic folgende Tabelle, wobei zwei Werte nac erwänter Metode einen neuen ergeben. T [] T [] T [] 4 T [1] T [1] T []... Ein weiterer Vorteil des Romberg-Verfarens ist, dass es gleiczeitig auc eine gute Felerabscätzung liefert, indem man jeweils die zwei genauesten Werte, den neu erzeugten und den vorer genaueren Wert, subtraiert. So würde man z.b., um die Genauigkeit des Ergebnisses zu testen, T [] von T [1] subtraieren. Dabei entfällt der Wert des Integrals a, sodass lediglic die Differenz des Felers übrigbleibt. Beispiel: T [] T [1] = a a + a 1 4 a Implementierung am Beispiel Um das Romberg-Verfaren in Pyton zu implementieren, definieren wir uns eine Funktion. Da wir als Ergebnis π eralten möcten, macen wir das in 1. mit der Kreisfunktion, welce sic über Umformen des Satzes des Pytagoras erleiten lässt. 54

11 1. Definition der Funktion: def f(x): return sqrt(1-x**) Diese Funktion übergeben wir mit folgenden Parametern an unsere Funktion unser_romberg: unser_romberg(vorer angegebene Funktion, untere Grenze, obere Grenze, Toleranz).. Ausfürung der Funktion: unser_romberg(f,.,1.,1e-1) Die Grenzen müssen in Dezimalscreibweise angegeben werden, da sie sonst als int interpretiert und dementsprecend gerundet werden. Dies möcten wir aber verindern, wesalb wir sie in dieser Weise als float angeben. Die Werte werden nun von unserer Funktion unser_romberg verarbeitet, sodass wir ein genaues Ergebnis eralten. 3. Funktion Definieren: def unser_romberg(f,a,b,tol): if TOL<1e-1: TOL=1e-1 q=.5; n=;t=zeros(n);t[]=;t[1]=*tol wile ((abs(t[]-t[1]))>tol): T=zeros(n) for i in range(n): T[i]=Tt(f,a,b,(**i)) for j in range(n-1): Tz=zeros(n-j-1) for k in range(n-j-1): Tz[k]=(T[k+1]-((q**)*T[k]))/(1-q**) for k in range(n-j-1): T[k]=Tz[k] n=n+1 Dabei wird als erstes die Toleranz korrigiert, wenn diese zu oc ist, da sonst der Recenaufwand zu oc wäre. Danac wird die oben bereits angesprocene Konstante q definiert und in den folgenden Zeilen ein Vektor T konstruiert, welcer nur den Sinn at, in die wile-scleife zu gelangen. Nun wird als erstes ein neuer n-dimensionaler Vektor T erzeugt, welcer dann als Speicer für die durc das Trapez-Verfaren errecneten Werte genutzt wird. In der näcsten Scleife wird ein neuer Vektor Tz für den näcsten Iterationsscritt erzeugt. Dieser wird dann mitilfe des Rombergverfarens wie oben bescrieben. 55

12 Danac werden die alten Vektoren T mit den Werten aus Tz überscrieben, damit die aktuellen Werte weiter genutzt werden können. Dabei bleibt einer der Werte aus den alten T-Vektoren übrig, was genutzt wird, wenn danac für die wile- Scleife kontrolliert wird, ob die Toleranz erreict ist. Falls dem so ist, wird der Wert ausgegeben (nict im Quelltext zu seen) oder die Scleife wiederolt, wobei vorer n = n + 1 gesetzt wurde, also diesmal eine Ebene mer berecnet wird. 8 Quadratur des Kreises Abscließend wurden diese Verfaren mit Hilfe der Kreisfunktion 1 x im Intervall [,1] getestet: π(t rapez) = ; bei =1e-5 π(romberg) = ; bei 3 Iterationen π = Am Ende stellt sic natürlic noc die Frage, was diese Verfaren nun mit der Quadratur des Kreises und mit der Berecnung von π zu tun at. Es lässt sic sagen, dass das Romberg-Verfaren bei ungefär gleicem Recenaufwand deutlic genauer ist. Außerdem kann man mit dem Romberg-Verfaren, im Gegensatz zum Trapez-Verfaren, genau abscätzen, wie groß der Feler am Ende ist. 56