Betrachten Sie dieses Problem mit einer Differentialgleichung und Randbedingungen. Ich muss eine differenzierbare Funktion finden so dass es die folgenden Bedingungen erfüllt:
Differentialgleichungen sind wirklich nicht mein Gebiet und ich weiß wirklich nicht, wie ich diese Funktion finden soll (insbesondere wie man diese Differentialgleichung löst), also hoffe ich, dass mir jemand einen Weg aufzeigt, wie ich vorgehen kann.
Wie ich in den Kommentaren sagte, ergibt sich dieses Problem aus der Riemannschen Geometrie: Dies sind die Bedingungen, die eine Komponente einer Geodäte erfüllen muss.
Ich habe versucht, die Differentialgleichung imposant zu lösen . Auf diese Weise bekomme ich
Danke schön.
EDIT: Benutzer zwim hat eine Lösung gefunden was auscheckt. Meine Frage ist nun: Wie kann ich sicher sein, dass es keine anderen Lösungen gibt? Wenn es andere Lösungen gibt, welche sind das?
Lassen Sie eine andere Änderung versuchen
.
Somit erhalten wir: .
Die neue Gleichung ist
Laut diesem Link: So lösen ?
Wenn wir dies ableiten und integrieren, erhalten wir .
Lassen Sie uns in der Anfangsgleichung berichten [...] und ich bekomme , Lass uns anrufen was willkürlich ist.
Wir bekommen
Und schlussendlich
Hinweis: Es gibt eine Menge fragwürdiger Dinge, die auf dem Weg gemacht werden gelöst ist, also haben wir möglicherweise einige Lösungen übersehen, aber spätestens seit wir diese gefundenen Gleichungen in der Anfangsgleichung angegeben haben, sind wir sicher, dass das, was wir gefunden haben, zumindest korrekt ist.
Nachtrag Jan. 02:
Die Substitution stellt kein Problem dar, da es bereits vorhanden ist am Nenner im ursprünglichen Ausdruck. Das einzig heikle, was es gibt, kommt von der Auflösung weil wir ableiten (angenommen ist 3 mal ableitbar). Wir dividieren auch durch aber das ist kein Problem, weil .
Wie von Han.d.Bruijn angegeben, erhalten wir dann eine lineare ODE, sodass der Eindeutigkeitssatz gilt.
Noch hat einen Ausdruck, der nur von abhängt So besteht wenn existiert, aber selbst hat einen Ausdruck, der nur von abhängt so können wir die Ableitung fortsetzen. Durch den gleichen Prozess, wenn man annimmt Ist dann wird es automatisch und das tut es auch . Folglich können wir ziemlich zuversichtlich sein, dass wir zumindest alle Lösungen gefunden haben und die nicht annullieren.
Dr. Sonnhard Graubner
Benutzer9464
Benutzer29983