Was ist das numerische Verfahren, um die nächstnächste Annäherung zwischen zwei Körpern auf Keplerbahnen zu finden?

Wie ist das Verfahren, um bei zwei Körpern auf Kepler-Umlaufbahnen die nächstnächste Annäherung der beiden Körper zu finden? Die Körper wären praktisch masselose Objekte wie zwei Raumschiffe, die um einen einheitlichen zentralen Körper kreisen. Die Umlaufbahnen können durch Zustandsvektoren oder die sechs keplerschen Elemente oder jede beliebige Darstellung von Elementen gegeben sein, die zur einfachsten Lösung führt.

Beachten Sie, dass ich mit "nächster Annäherung" das unmittelbar nächste Mal meine, wenn die Umlaufbahnen von Annäherung zu weiterem Abstand wechseln (was im Vergleich zur optimalen engsten Annäherung der beiden Umlaufbahnen möglicherweise überhaupt nicht sehr eng ist).

Ich gehe davon aus, dass es sich um ein numerisches Wurzelfindungsproblem handelt, gefolgt von einer Art zweiter Ableitungsprüfung.

Ich denke, ein einfacher Weg, dies zu tun, wäre, eine Funktion zu schreiben, die die Zustandsvektoren nimmt, sie zur Zeit t fortpflanzt und dann die Entfernung berechnet, die dann einfach mit Brents eindimensionalem Minimierungsalgorithmus (z. B. fminbnd von Matlab) umhüllt und dann hat eine Heuristik, um einen begrenzten Bereich zu finden, in dem sich das Minimum befindet, oder den Suchradius zu erweitern, wenn dies fehlschlägt. Es wäre jedoch schön, eine Methode mit besseren Konvergenzeigenschaften zu finden.

Aktualisiert. Die Darstellung der Bahnen sollte wohl als am einfachsten zu lösendes Problem gewählt werden, allerdings nicht beobachtend.
Das allgemeine Verfahren zum Auffinden von Minima einer Funktion besteht darin, in der ersten Ableitung nach Nullstellen zu suchen , und für diese Nullstellen ist eine positive zweite Ableitung erforderlich. Hier wäre es nicht anders. Sie könnten es numerisch tun, oder Sie könnten es analytisch tun, wenn Sie einige analytische Gleichungen hätten. Keplersche Bahnen haben exakte Lösungen, wenn sie geschrieben werden T ( θ ) aber umgekehrt θ ( T ) erfordert entweder unendliche Reihenlösungen oder numerische Lösungen.
Wenn die beiden Körper irrationale Perioden haben, müssen Sie möglicherweise eine willkürlich lange Zeit warten, bis sie beide gleichzeitig an den Punkten sind, an denen die elliptischen Bahnen den geringsten Abstand haben. Nur diese beiden Punkte zu finden, klingt nicht sehr einfach, geschweige denn herauszufinden, wo sich die beiden Körper zufällig auf ihren Umlaufbahnen befinden. - Gute Frage.
Ah, ich muss vielleicht klarstellen, dass dies nur der „nächste Punkt der geringsten Trennung“ ist, nicht DER Punkt der geringsten Trennung.
(Obwohl ich sicherlich nicht gegen breitere Antworten bin, lerne gerne Sachen)
@RogerWood Ich bin auf die Beine gegangen und habe eine Teilantwort hinzugefügt

Antworten (4)

Nur Teilantwort: Ich hoffe, dass auch eine spezifischere Antwort gepostet wird!


Ich sehe, Sie haben Ihre Frage gut aktualisiert. Es ist sicherlich immer noch ein Thema hier, aber ich denke, Sie können es auch ein wenig abstrahieren und eine verwandte Frage auch in Math SE oder SciComp SE stellen.

Eine mathematische Frage könnte so aussehen:

Gegeben sind zwei Periodenfunktionen G 1 , G 2 der unabhängigen Variablen T wie können alle Minima einer parametrischen Funktion F ( G 1 , G 2 ) in einem Bereich zu finden T 1 T T 2 ?

Analytische Ansätze

Wenn Sie wissen G 1 , G 2 Und F analytisch (in diesem Fall X 1 ( T ) ,   X 2 ( T ) Und | X 2 X 1 | ) dann kannst du einfach mit der Kettenregel analytisch differenzieren und dann alles anwenden, was Mathematik und Numerik zu bieten haben, um nach Nullstellen zu suchen.

Aber für Keplersche Bahnen gibt es keine einfachen analytischen Lösungen für X ( T ) .

Diese Antwort auf Was ist die analytische geschlossene Lösung des Zweikörperproblems, um seine numerischen Integrationsergebnisse zu überprüfen? erklärt, dass es eine analytische Lösung für das inverse Problem gibt, finde die Zeit für eine gegebene Zeit θ (oder die zwei Zeiten für eine bestimmte R ) innerhalb eines Zeitraums, und das kann hilfreich sein oder auch nicht.

Unendliche Serie

Es gibt jedoch unendliche Reihenlösungen für X ( T ) und für leicht exzentrische Bahnen könnten Sie in Betracht ziehen, die ersten paar Terme als analytische Lösungen zu verwenden und dann mit der Nullfindung fortzufahren.

Fortgeschrittene Techniken

Eine grundlegende Beziehung in der Himmelsmechanik ist die Kepler-Gleichung, die die mittlere Anomalie einer Umlaufbahn mit ihrer exzentrischen Anomalie und Exzentrizität verbindet. Da die Gleichung transzendental ist, kann sie durch herkömmliche Behandlungen nicht direkt für exzentrische Anomalien gelöst werden; Näherungsverfahren wurde viel Arbeit gewidmet. Hier geben wir eine explizite integrale Lösung unter Verwendung von Methoden, die kürzlich auf das "geometrische Ziegenproblem" und auf die Dynamik des sphärischen Kollapses angewendet wurden. Die Lösung wird als Verhältnis von Konturintegralen angegeben; diese können effizient durch numerische Integration für beliebige Exzentrizitäten berechnet werden. Die Methode hat sich in der Praxis als sehr genau erwiesen, wobei unsere C++-Implementierung herkömmliche Wurzelfindungs- und Reihenansätze um einen Faktor von mehr als zwei übertrifft.

[...] Aus diesem Grund ist die Entwicklung automatisierter Tools, die potenzielle Kollisionsereignisse (Konjunktionen) vorhersagen, von entscheidender Bedeutung. Wir führen einen Bayes'schen Deep-Learning-Ansatz für dieses Problem ein und entwickeln rekurrente neuronale Netzwerkarchitekturen (LSTMs), die mit Zeitreihen von Konjunktionsdatennachrichten (CDMs) arbeiten, einem Standarddatenformat, das von der Weltraumgemeinschaft verwendet wird. Wir zeigen, dass unsere Methode verwendet werden kann, um alle CDM-Merkmale gleichzeitig zu modellieren, einschließlich der Ankunftszeit zukünftiger CDMs, und liefert Vorhersagen über die Entwicklung von Konjunktionsereignissen mit den damit verbundenen Unsicherheiten.

Siehe auch:

Youtube:

Lissajous-Muster und sich wiederholende/nicht wiederholende Muster

Es ist bemerkenswert, dass der Wikipedia-Artikel über parametrische Gleichungen mit einer Diskussion der Schmetterlingskurve beginnt und einen ganzen Abschnitt über Lissajous-Kurven enthält .

@RogerWood weist darauf hin , dass es wichtig ist zu entscheiden, ob Sie das Verhältnis der beiden Perioden als vernünftig große rationale Zahl (z. B. 42:137) behandeln können oder ob sie auf einfache Weise nicht miteinander verbunden und im Grunde unabhängig sind.

Wer macht sowas?

Das Weltraumkommando und jede satellitenbesitzende oder abhängige Organisation tut dies!

Wenn der Mindestabstand zwischen zwei erdumkreisenden Satelliten für Komfort zu eng wird, was ein Vielfaches der Unsicherheit in der Umlaufbahn jedes Satelliten bedeutet, spricht man von einer Konjunktion .

Bei Millionen von Satelliten ist es ein großes Geschäft, potenzielle Konjunktionen in der Zukunft zu berechnen und zu bestimmen, wann Maßnahmen ergriffen werden müssen (z. B. Tweets generieren und vielleicht einige Satelliten verschieben).

Weitere Informationen dazu finden Sie im Folgenden:

Aber was ist, wenn ich versuchen möchte, das selbst zu lösen?

Definieren Sie Ihr Problem auf praktische Weise.

Interessieren Sie sich für jedes Minimum oder nur für diejenigen, die tatsächlich nah beieinander liegen, wie beim Konjunktionsfinden?

Wenn sie sich auf gegenüberliegenden Seiten des Zentralkörpers befinden, werden sie kurze Zeit später nicht direkt nebeneinander liegen.

Ich denke, eine Art Teile-und-Herrsche -Ansatz könnte hilfreich sein. Teilen Sie die Zeit in Kästchen auf, die klein genug sind, dass sie null oder ein Minimum enthalten, aber nicht zwei. Dann teilen Sie diese wieder in zwei Hälften. Überprüfen Sie die Ableitungen an den Kanten, wenn es das Vorzeichen ändert, dann ist vielleicht ein Minimum in der Nähe.

Was kommt als nächstes?

Ich denke immer noch, dass eine sorgfältig geschriebene Frage in Math SE oder SciComp SE sehr fruchtbar sein wird.

Dies ist eine Antwort, aber definitiv keine gute Antwort. Wenn, D , der Abstand zwischen den beiden Satelliten ist, dann können wir die Newton-Methode auf die Zeitableitungen anwenden D ' Und D um das Minimum iterativ zu finden.

Angesichts der 12 Orbitalelemente finden wir zuerst die Trennung, D und die relative Geschwindigkeit und Beschleunigung zwischen den beiden Satelliten. Wir lösen dann die Komponenten parallel zur Richtung von auf D und orthogonal zu _ D mit der Schreibweise ( v P , v Ö ) Und ( A P , A Ö ).

Für die erste Ableitung von D , haben wir einfach D ' = v P . Die zweite Ableitung D schließt offensichtlich die Beschleunigungskomponente mit ein D , aber es ist auch eine Funktion der orthogonalen Geschwindigkeitskomponente, die wie eine Beschleunigung wirkt, indem sie bewirkt, dass der Abstand quadratisch zunimmt. Der Ausdruck für die zweite Ableitung lautet somit D = A P + ( 1 / 2 ) v Ö 2 / D . Wenn wir uns einem Minimum nähern, v P muss negativ sein und A P + ( 1 / 2 ) v Ö 2 / D muss positiv sein. Jedoch, A P ist immer negativ, da beide Satelliten kontinuierlich auf die zentrale Masse zubeschleunigen. Die Relativgeschwindigkeit muss also mindestens sein v > ( 2 A P D ) am Punkt der engsten Annäherung.

Nahezu ein Minimum an Trennung, D ist wahrscheinlich eine halbwegs quadratische Funktion der Zeit und Newtons Methode wird sehr gut funktionieren. An anderen Stellen bricht die Hölle los! Leider vermeidet nichts davon die Notwendigkeit einer guten Methode zur rechtzeitigen Ausbreitung der Umlaufbahnen (gemäß @uhoh-Kommentaren).

Dies ist keine tatsächliche Antwort, aber Sie könnten sie von Interesse finden. ;)

Wie uhoh bereits erwähnt hat, besteht die zentrale Schwierigkeit bei einer analytischen Lösung dieses Problems darin, dass es keine Möglichkeit gibt, die Kepler-Gleichung mit elementaren Funktionen umzukehren. Die Gleichung ist

M = E e Sünde E

Wo M ist die mittlere Anomalie , E ist die exzentrische Anomalie , und e ist die Exzentrizität.

Es ist einfach genug, es mit ein paar Runden der Newton-Methode zu lösen (es sei denn e ist sehr nahe an 1), aber das ist bei einem analytischen Ansatz nicht sehr hilfreich, und Ihr Problem muss es zweimal lösen, einmal für jeden Körper. Der traditionelle analytische Ansatz besteht darin, ihn mit wenigen Termen einer Reihe zu approximieren; Im Wikipedia-Artikel werden mehrere Optionen angegeben.

Die Alternative ist, einfach numerisch nach Lösungen zu suchen. Wenn Sie den Zeitpunkt der letzten größten Annäherung kennen, können Sie eine vernünftige erste Schätzung des Zeitpunkts der nächsten vornehmen, indem Sie einfach die relative synodische Periode der beiden Körper addieren.

Lassen T 1 < T 2 seien die Perioden der Körper. Dann ist die synodische Periode

T S = T 1 T 2 T 2 T 1

Wenn beide Umlaufbahnen kreisförmig sind, ergibt dies die exakte Lösung. Bei exzentrischen Umlaufbahnen erhalten Sie die mittlere Zeit zwischen engsten Annäherungen.

Beachten Sie, dass die relative Geschwindigkeit der beiden Körper bei der engsten (und weitesten) Annäherung Null ist, sodass sich die relative Entfernung zu diesem Zeitpunkt nicht wesentlich ändert.


Ich gehe davon aus, dass Sie eine allgemeine Lösung für dieses Problem wünschen. OTOH, wenn Sie es für tatsächliche Körper des Sonnensystems lösen möchten, können Sie JPL Horizons dazu bringen, die Umlaufbahnberechnungen durchzuführen. Es kann Ihnen leicht die Entfernung (und seine Änderungsrate) zwischen jedem Paar von Objekten in seinem System geben, und es kennt viele Objekte : 1130203 Asteroiden, 3757 Kometen, 209 Planetensatelliten, 8 Planeten, die Sonne, L1, L2 , ausgewählte Raumfahrzeuge und System-Baryzentren. 

Hier ist ein Diagramm der Entfernung zwischen Mars und Merkur im Zeitraum vom 4. Februar 2000 bis zum 30. Dezember 2003. Ich habe sie ausgewählt, weil sie die Planeten mit den exzentrischsten Umlaufbahnen sind. Die Exzentrizität von Merkur beträgt 0,20563, die von Mars 0,0934. Ihre Perioden betragen 87,9691 Tage bzw. 686,98 Tage, sodass ihre relative synodische Periode ~100,888 Tage beträgt, was ~1,1469 Merkurperioden und ~0,1469 Marsperioden entspricht. Sie hatten eine enge Annäherung innerhalb eines Tages nach der Startzeit der Grafik. Das Intervall zwischen den vertikalen Datumslinien beträgt 100 Tage.

Entfernung Mars-Merkur

Wie Sie sehen können, liegt der Zeitraum zwischen aufeinanderfolgenden engen Annäherungen ziemlich nahe bei 100 Tagen, obwohl es eine kleine Abweichung gibt.


Hier ist ein Link zu einer Live-Version des Sage / Python-Programms, mit dem ich diese Grafik erstellt habe. Es kann in SVG- und PNG-Formaten geplottet werden. Sie können es für alle Objekte verwenden, die Horizons kennt. Es kann verwendet werden, um "manuell" nach Lösungen für Ihr Problem zu suchen, und vielleicht ist es nützlich, um andere Lösungsmethoden zu validieren.

Ausführliche Informationen zur Angabe von Körper-IDs, Zeiten und Zeitschritten finden Sie in der Horizons-Dokumentation . Kurz gesagt, eine Zahl von 1 bis 9 identifiziert einen Planeten-Schwerpunkt (einschließlich Pluto), z. B. 1 ist Merkur, 4 ist Mars. Anhängen 99, um die Körpermitte anzugeben. Sie müssen der Beobachtungsstelle das Präfix voranstellen @, sonst wird die Nummer als ID einer Sternwarte behandelt. targetWenn Sie eine Zeichenfolge in die Felder oder eingeben center, antwortet Horizons mit einer Liste von IDs, die mit dieser Zeichenfolge übereinstimmen.

Horizons akzeptiert zahlreiche Datums- und Zeitformate. Um eine julianische Tageszahl einzugeben, stellen Sie ihr das Präfix voran jd.

Der datestepParameter meines Programms legt den Abstand der vertikalen Gitterlinien im Diagramm fest. Ein datestepWert von 10 bedeutet, dass diese Linien alle 10 Datenpunkte gezeichnet werden.

Um die Anzahl der Horizons-Anfragen zu reduzieren, speichert das Programm die letzten 3 Datensätze, die es abruft, im Cache. Wenn Sie "kosmetische" Änderungen an der Grafik vornehmen, ohne die Ziel-, Mittelpunkt- oder Zeitparameter zu ändern, werden die alten Daten wiederverwendet.

FWIW, die nächstnächste Annäherung zwischen Erde und Mars (399, 499) findet am JD 2459914,59564 = 2022-Dec-01 02:17:43 in einer Entfernung von 81452213,932 km statt.

Ich würde einen numerischen Ansatz mit grundlegenden technischen Ansätzen versuchen. Richten Sie zuerst 2 beliebige keplersche Umlaufbahnen mit r- und v-Daten oder elementaren Daten ein. Wenn Umlaufbahnen tatsächlicher Objekte von Interesse sind, verwenden Sie genaue Sonnensystemdaten.

Wählen Sie zweitens beliebige Startpositionen für jedes Objekt aus.

Drittens: Richten Sie die Berechnung des Abstands zwischen den beiden Objekten in zylindrischen (oder sphärischen) Koordinaten oder durch Transformation in kartesische Koordinaten ein.

Viertens: Richten Sie ein Verfahren ein, um die Objekte für einen kurzen Zeitraum (höchstwahrscheinlich einige Minuten) im Orbit zu verbreiten, und berechnen Sie dann die Entfernung zwischen ihnen neu.

Fünfte. das System für ein paar Computerstunden laufen lassen (verbreiten) (wahrscheinlich Zehntausende von Umlaufbahnen), ein Protokoll der Zeit und Entfernung zwischen den Objekten und anderer Parameter erstellen, die für die Analyse der Ergebnisse von Interesse sein könnten.

Sechs. Zeigen Sie den Abstandsparameter gegenüber der Zeit an und untersuchen Sie auf Minimumpunkte und Zeit zwischen Minima und anderen interessierenden Parametern. Wenn die Daten nicht ausreichen, lassen Sie es einige Stunden länger laufen.

An einer geschlossenen Formlösung hierfür zu arbeiten scheint den Aufwand nicht zu lohnen.

Sparen Sie etwas Rechenzeit und führen Sie die Simulation nur für das kleinste gemeinsame Vielfache (LCM) der Umlaufzeiten der beiden Objekte aus (zu diesem Zeitpunkt kehren sie in die Ausgangspositionen zurück).