Wie begradige ich eine Parabel?

Betrachten Sie die Funktion F ( X ) = A 0 X 2 für einige A 0 R + . Nehmen X 0 R + damit die Bogenlänge L zwischen ( 0 , 0 ) Und ( X 0 , F ( X 0 ) ) Ist repariert. Angesichts einer anderen willkürlich A 1 , wie findet man den Punkt ( X 1 , j 1 ) damit die Bogenlänge gleich ist?

Schematisch,

Geben Sie hier die Bildbeschreibung ein

Mit anderen Worten, ich suche eine Funktion G : R 3 R , G ( A 0 , A 1 , X 0 ) , die einen anfänglichen festen quadratischen Koeffizienten annimmt A 0 und Punkt und gibt den entsprechenden Punkt nach dem "Begradigen" über den neuen Koeffizienten zurück A 1 , wobei die Bogenlänge in Bezug auf beibehalten wird ( 0 , 0 ) . Notiere dass der j Koordinaten werden einfach durch gegeben j 0 = F ( X 0 ) Und j 1 = A 1 X 1 2 . Irgendwelche Ideen?

Mein Ansatz: Zu wissen, dass die Bogenlänge gegeben ist durch

L = 0 X 0 1 + ( F ' ( X ) ) 2 D X = 0 X 0 1 + ( 2 A 0 X ) 2 D X
Wir können die Erhaltung von verwenden L schreiben
0 X 0 1 + ( 2 A 0 X ) 2 D X = 0 X 1 1 + ( 2 A 1 X ) 2 D X
wofür wir auflösen X 1 . Das funktioniert, ist aber rechnerisch nicht sehr schnell und kann (glaube ich) nur numerisch gemacht werden
0 X 1 1 + ( 2 A 1 X ) 2 D X = 1 4 A 1 ( 2 A 1 X 1 1 + ( A 1 X 1 ) 2 + arcsin ( 2 A 1 X 1 ) )
Irgendwelche Ideen, wie man das effizienter machen kann? Vielleicht mit den Tangenten der Parabel?

Allgemeiner gesagt , für feste Bogenlängen, denke ich, meine Frage ist wirklich, was die Ausdrücke der folgenden roten Kurven für feste Bogenlängen sind:

Geben Sie hier die Bildbeschreibung ein

Darüber hinaus konnte dies für jeden bestimmt werden F ?

Edit: Interessanterweise habe ich diesen Clip von 3Blue1Brown gefunden. Der Ursprungspunkt ist nicht wie in meinem Fall festgelegt, aber ich frage mich, wie die Animation erstellt wurde (konnte das Originalvideo nicht finden, nur einen Clip, aber hier ist der Link ) .

Geben Sie hier die Bildbeschreibung ein

Für alle Mathematica- Enthusiasten da draußen wird hier auch eine rechnerische Implementierung des Begradigungseffekts mit einigen Anwendungen diskutiert.

Mir scheint, dass die roten Kurven orthogonal zu den blauen Kurven sind; Das bedeutet, dass Sie an jedem beliebigen Punkt über die Steigung der entsprechenden blauen Kurve eine Gleichung für die Steigung der roten Kurve finden könnten, die eine (hoffentlich nachvollziehbare) Differentialgleichung für die rote Kurve ergeben würde.
@GregMartin, das scheint eine interessante Idee zu sein, aber ich brauche ein bisschen mehr Details dazu. Wie könnten wir die Differentialgleichung aufstellen?
@samwolfe Ich habe die folgende Differentialgleichung erstellt, aber ich konnte sie nicht lösen
@NinadMunshi Danke, ich werde einen Blick darauf werfen. Ich frage mich, warum das schwierig ist. Wenn F ( X ) = A X , zum Beispiel sind diese roten Kurven einfach Kreise mit Radius L .
Die innerste rote Kurve auf der blau-roten Grafik sieht nicht richtig aus. Es scheint mir, dass sein oberster Punkt entlang der ganz linken Parabel etwas tiefer liegen sollte.
@BarryCipra Dies wurde von Hand gemacht, nur als Skizze dessen, was zu erwarten ist. Sie sind definitiv nicht richtig.
@samwolfe, ah gut, also hat mich mein Auge (vielleicht) nicht getäuscht.
Behält die Animation tatsächlich Bogenlängen bei?
Ich mag die Idee orthogonaler Kurven, aber wie beweisen wir, dass sie tatsächlich orthogonal sind?
@TymaGaidash vielleicht, wenn Sie davon ausgehen, dass sie nicht orthogonal sind, können Sie zeigen, dass die Bogenlänge nicht beibehalten werden kann. Dies ist das Bild, das ich im Kopf habe: i.stack.imgur.com/Q7dG3.png Letztendlich verfolgen wir nur die Schnittpunkte dieser roten Linien mit der Parabel, denke ich. Als würde man ein 2D-Nagelbrett biegen/flachdrücken.
@samwolfe Sie können beweisen, dass sie tatsächlich nicht orthogonal sind, denn wenn sie es wären, ist das Skalarprodukt des Gradienten von G ( X , j ) = j X 2 mit dem Gradienten unten wäre Null.
Die orthogonalen Kurven zu einer Parabel sind Ellipsen, wie in diesem Tutorial-Video zu sehen ist .
@samwolfe Möglicherweise finden Sie den Quellcode für dieses Video hier github.com/3b1b/videos . edit: das könnte es sein. Es gibt eine "PullCurveStraight"-Funktion. github.com/3b1b/videos/blob/…
+1. Sehr schöne Frage. Theoretisch ist die Bogenlängenfunktion umkehrbar, aber ihre Umkehrung kann schwer zu berechnen sein. Ich habe ähnliche Probleme versucht ("Finde die Punkte auf der Kurve, die sie gleichmäßig teilt") und Berechnungen sind oft kompliziert.
Die Endpunkte in der Animation scheinen sich in geraden (diagonalen) Linien zu bewegen, daher glaube ich nicht, dass die Ersteller auf etwas Sinnvolles abzielten.
@Ruslan ja, ich glaube, diese Animation ist nicht zuverlässig. Um die Animation mit beibehaltenen Bogenlängen neu zu erstellen, überprüfen Sie die verknüpfte Frage zu Mathematica's StackExchange (am Ende dieser Frage).
"Die Bestimmung der Länge eines unregelmäßigen Bogensegments wird auch als Entzerrung einer Kurve bezeichnet" (Wikipedia). Das von Ihnen verwendete Wort "begradigen" bezieht sich also auf ein formelleres Wort berichtigen , das bei der Berechnung (in irgendeiner Weise) von Bogenlängen verwendet wird.

Antworten (7)

Anders ausgedrückt, was wir wollen, sind die Pegelkurven der Funktion

1 2 F ( X , j ) = 0 X 1 + 4 j 2 T 2 X 4 D T = 1 2 0 2 X 2 + j 2 T 2 D T

die an diesem Punkt immer senkrecht zum Gradienten ist

F = 0 2 D T ( X X 2 + j 2 T 2 , j T 2 X 2 + j 2 T 2 )

Jetzt ist die Zeit für eine natürliche Wiedereinführung A als Parameter für diese Kurven. Wir wollen also die Differentialgleichung lösen

X ' ( A ) = 0 2 A X T 2 1 + A 2 X 2 T 2 D T X ( 0 ) = L

wo wir ersetzen j ( A ) = A X 2 ( A ) , also ergibt das Auflösen nach einer Komponente automatisch die andere.


EDIT: Weitere Untersuchungen haben mich zu einigen interessanten Schlussfolgerungen geführt. Es scheint, als ob j = F A ( X ) ist eine Familie streng monoton steigender kontinuierlicher Funktionen und

lim A 0 + F A ( X ) = lim A F A 1 ( j ) = 0

Dann beginnen und enden die Kurven konstanter Bogenlänge an den Punkten ( 0 , L ) Und ( L , 0 ) . Nehmen Sie zum Beispiel die ähnlich aussehende Kurvenfamilie

j = cosch ( A X ) 1 A L = Sünde ( A X ) A

Die Kurven konstanter Bogenlänge haben die Form

R ( A ) = ( Sünde 1 ( A L ) A , 1 + A 2 L 2 1 A )

Unten ist ein (seitwärts) Diagramm der Bogenlängenkurve L = 1 (zusammen mit der Kurvenschar ausgewertet bei A = 1 2 , 1 , 2 , 4 , Und 10 ), die eine explizite Gleichung der Form hat

X = Tanh 1 j j ( 1 j 2 )
Geben Sie hier die Bildbeschreibung ein

Diese Kurven und die fragliche ursprüngliche Familie von Parabeln haben beide diese Eigenschaft, ebenso wie die perfekten Kreise, die von der Familie erhalten werden F A ( X ) = A X . Der Grund, warum die ursprüngliche Frage schwer zu lösen war, lag an der nicht analytisch umkehrbaren Bogenlängenformel

Die braunen, blauen Parabeln im Plot scheinen mehr als Längen zu haben L = 1 .
@Narasimham, das sind keine Parabeln, noch ist der Maßstab auf diesen Diagrammen 1: 1. Ich habe mein Bestes versucht, mit den Handlungsoptionen herumzuspielen, aber das Programm mag es, automatisch die visuelle Konsistenz zu brechen
Das ist schon ein erstaunlicher Ansatz. Wie sind Sie auf diese parabelähnlichen Kurven gekommen? Interessant, dass der Parabelfall schwer zu lösen ist, aber ich denke, am Ende hängt es immer davon ab, wie schwierig die Bogenlängengleichung ist, wie Sie sagten. In Mathematica können wir ziemlich gute Annäherungen erhalten (siehe verknüpfte Frage).
Sollten die gebogenen/gestreckten Kurven nicht auch Parabeln sein?
@Narasimham Ich denke, Sie sollten meinen Beitrag lesen, um herauszufinden, was los ist. Dies ist eine Familie hyperbolischer Kosinusse. Ich wollte ein Beispiel geben, das nicht rechenintensiv war, also fand ich ähnlich aussehende Kurven, die analytisch invertierbare Bogenlängen hatten.
@samwolfe danke, ich weiß es zu schätzen. Ich habe nur versucht, alles zu nutzen, wo 1 + F 2 schön vereinfacht. Damit bleiben nur wenige Analysemöglichkeiten, wie z Sünde ( A X ) Und bräunen ( A X ) . Wählen Sie dort die enthaltene Stammfunktion aus ( 0 , 0 ) für alle A .
@samwolfe Ich denke, dass ein interessantes Problem darin besteht, den umgekehrten Weg zu gehen - wenn wir eine Kurve hätten, die verbindet ( 0 , L ) Zu ( L , 0 ) , könnten wir eine Familie von Kurven finden, für die sie eine konstante Bogenlänge vom Ursprung entfernt sind? Wie könnte man zum Beispiel bekommen A X aus der Gleichung X 2 + j 2 = L 2 ? oder jede andere Kurve für diese Angelegenheit
Danke. Meine Frage war an OP Sam Wolfe zu seiner Frage.
@NinadMunshi das ist wahrscheinlich eine noch bessere Frage. Auch nur an Polynomfunktionen denken F ( X ) = A 0 + A 1 X + A 2 X 2 + + A N X N , könnte man fragen, welchen Parameter Region machen würde L ( A 0 , A 1 , A 2 , . . . , A N ) "invertierbar" genug damit X 2 + j 2 = L 2 ist analytisch lösbar. Gibt es überhaupt eine invertierbare Lösung von N > 1 ? Interessant, dass Polynome für dieses Problem schwierig sind. Ich mag Ihren Ansatz wirklich, weil ich aus Sicht der Datenanpassung die parabolische Abflachung vermeiden könnte, indem ich meine Datenpunkte mit einer analytisch geeigneteren Funktion wie dieser anpasse.
@NinadMunshi entschuldigt sich dafür, dass ich fast ein Jahr später auf diese Frage zurückgekommen bin, aber könnten Sie bitte die Definition der Funktion klären F ( X , j ) und die Änderung des Integrals im Intervall [ 0 , 2 ] ? Mir muss ein Schritt fehlen.
Ich weiß nicht, wie nützlich ein Tipp sein kann, aber Sie können die Option AspectRatio->1für Ihr Diagramm festlegen (die Standardeinstellung ist 1/GoldenRatiomeiner Meinung nach) und dann PlotRangenach Bedarf anpassen.

L die bekannte Bogenlänge ist, lassen Sie X 1 = T 2 A Und k = 4 A 1 L ; dann musst du nach lösen T Die gleichung

k = T T 2 + 1 + Sünde 1 ( T )
Eine gute Annäherung ist gegeben durch T 0 = k .

Nun, mit einer Taylor-Reihe herum T = T 0 und dann Serienumkehr gibt

T 1 = k + z k 2 ( k + 1 ) z 2 + ( 3 k 1 ) 6 ( k + 1 ) 2 z 3 + ( 13 15 k ) k 24 ( k + 1 ) 3 z 4 +
Wo
z = k ( k + 1 ) + Sünde 1 ( k ) k 2 k + 1

Lassen Sie es uns versuchen k = 10 N

( N schätzen Lösung 0 0,4810185 0,4819447 1 2.7868504 2.7868171 2 9.8244940 9.8244940 3 31.549250 31.549250 4 99.971006 99.971006 5 316.21678 316.21678 6 999,99595 999,99595 )
Das scheint recht anständig zu sein.

Das scheint wirklich gut zu sein, zahlenmäßig würde es ausreichen, so etwas zu haben. Danke

Methode 1:

Hier ist eine rekursive Antwort für G ( A 0 , A 1 , X 1 ) . Bitte sehen Sie sich dieses Diagramm zur Überprüfung der Ergebnisse an. Sie können einen Wert für einfügen X 1 an der RHS von X 1 = G ( X 1 ) = G ( A 0 , A 1 , X 0 ) :

Bogenlänge von 0 bis  X 1 ( A 0 X 2 ) = A R C l e N G T H   F R Ö M   0   T Ö   X 1   ( A 1 X 2 ) , X 0 + C = X 1 2 A 0 X 0 4 A 0 2 X 0 2 + 1 + S ich N H 1 ( 2 A 0 X 0 ) 4 A 0 = 2 A 1 X 1 4 A 1 2 X 1 2 + 1 + S ich N H 1 ( 2 A 1 X 1 ) 4 A 1 A 0 ( X 1 ) = X 1 = A 1 ( X 1 ) = 1 2 A 1 S ich N H ( Sünde 1 ( 2 A 0 X 0 ) 2 A 1 X 0 4 A 0 2 X 0 2 + 1 2 A 1 X 1 4 A 1 2 X 1 2 + 1 )

Dann definieren und erstellen wir die folgende rekursive Beziehung, die zu konvergiert X = X 1 :

A N + 1 ( X 1 ) = 1 2 A 1 S ich N H ( Sünde 1 ( 2 A 0 X 0 ) 2 A 1 X 0 4 A 0 2 X 0 2 + 1 2 A 1 A N ( X 1 ) 4 A 1 2 A N 2 ( X 1 ) + 1 ) X 1 = G ( A 0 , A 1 , X 0 ) = lim N A N ( X 1 ) = A ( X 1 ) = 1 2 A 1 S ich N H ( Sünde 1 ( 2 A 0 X 0 ) 2 A 1 X 0 4 A 0 2 X 0 2 + 1 2 A 1 ( ) 4 A 1 2 ( ) + 1 ) A 2 ( X 1 ) = 1 2 A 1 S ich N H ( Sünde 1 ( 2 A 0 X 0 ) 2 A 1 X 0 4 A 0 2 X 0 2 + 1 2 A 1 1 2 A 1 S ich N H ( Sünde 1 ( 2 A 0 X 0 ) 2 A 1 X 0 4 A 0 2 X 0 2 + 1 2 A 1 X 1 4 A 1 2 X 1 2 + 1 ) 4 A 1 2 1 2 A 1 S ich N H ( Sünde 1 ( 2 A 0 X 0 ) 2 A 1 X 0 4 A 0 2 X 0 2 + 1 2 A 1 X 1 4 A 1 2 X 1 2 + 1 ) 2 + 1 )
Methode 2:

Es gibt auch eine andere rekursive Methode, wie in diesem anderen Diagramm zu sehen ist . Dies bildet eine horizontale Linie bei y= X 1 . Es kann auch einen anderen geben ± Zweig, wo das Vorzeichen nach Bedarf gewählt wird, alle + oder alle -. Beachten Sie, dass das Hauptargument der Quadratwurzel auch eine Differenz von Quadraten ist:

Bogenlänge von 0 bis  X 1 ( A 0 X 2 ) = A R C l e N G T H   F R Ö M   0   T Ö   X 1   ( A 1 X 2 ) , X 0 + C = X 1 2 A 0 X 0 4 A 0 2 X 0 2 + 1 + S ich N H 1 ( 2 A 0 X 0 ) 4 A 0 = 2 A 1 X 1 4 A 1 2 X 1 2 + 1 + S ich N H 1 ( 2 A 1 X 1 ) 4 A 1 B 0 ( X 1 ) = X 1 = B 1 ( X 1 ) = ± 1 2 | A 1 | 1 4 A 1 2 X 1 2 ( 2 A 1 X 0 4 A 0 2 X 0 2 + 1 + A 1 A 0 S ich N H 1 ( 2 A 0 X 0 ) S ich N H 1 ( 2 A 1 X 1 ) ) 2 1
Rekursive Lösung:
X 1 = G ( A 0 , A 1 , X 0 ) = lim N B N ( X 1 ) = B ( X 1 ) = ± 1 2 | A 1 | 1 4 A 1 2 ( ) 2 ( 2 A 1 X 0 4 A 0 2 X 0 2 + 1 + A 1 A 0 S ich N H 1 ( 2 A 0 X 0 ) S ich N H 1 ( 2 A 1 ( ) ) ) 2 1 , B N + 1 ( X 1 ) = ± 1 2 | A 1 | 1 4 A 1 2 B N 2 ( X 1 ) ( 2 A 1 X 0 4 A 0 2 X 0 2 + 1 + A 1 A 0 S ich N H 1 ( 2 A 0 X 0 ) S ich N H 1 ( 2 A 1 B N ( X 1 ) ) ) 2 1 B 2 ( X 1 ) = ± 1 2 | A 1 | 1 4 A 1 2 ( ± 1 2 | A 1 | 1 4 A 1 2 X 1 2 ( 2 A 1 X 0 4 A 0 2 X 0 2 + 1 + A 1 A 0 S ich N H 1 ( 2 A 0 X 0 ) S ich N H 1 ( 2 A 1 X 1 ) ) 2 1 ) 2 ( 2 A 1 X 0 4 A 0 2 X 0 2 + 1 + A 1 A 0 S ich N H 1 ( 2 A 0 X 0 ) S ich N H 1 ( 2 A 1 ± 1 2 | A 1 | 1 4 A 1 2 X 1 2 ( 2 A 1 X 0 4 A 0 2 X 0 2 + 1 + A 1 A 0 S ich N H 1 ( 2 A 0 X 0 ) S ich N H 1 ( 2 A 1 X 1 ) ) 2 1 ) ) 2 1

Methode 3:

Hier ist der grafische Beweis der Lösung. Nun, da wir die restlichen Lösungsmöglichkeiten für eliminiert haben X 1 , ist die letzte und einfachere Methode wie folgt:

Bogenlänge von 0 bis  X 1 ( A 0 X 2 ) = A R C l e N G T H   F R Ö M   0   T Ö   X 1   ( A 1 X 2 ) , X 0 + C = X 1 2 A 0 X 0 4 A 0 2 X 0 2 + 1 + S ich N H 1 ( 2 A 0 X 0 ) 4 A 0 = 2 A 1 X 1 4 A 1 2 X 1 2 + 1 + S ich N H 1 ( 2 A 1 X 1 ) 4 A 1 C 0 ( X 1 ) = X 1 = C 1 ( X 1 ) = 2 A 1 X 0 4 A 0 2 X 0 2 + 1 + A 1 A 0 S ich N H 1 ( 2 A 0 X 0 ) S ich N H 1 ( 2 A 1 X 1 ) 2 A 1 4 A 1 2 X 1 2 + 1

Rekursive Lösung für die dritte Methode, die zu konvergiert X = X 1

X 1 = G ( A 0 , A 1 , X 0 ) = lim N C N ( X 1 ) = C ( X 1 ) , C N + 1 ( X 1 ) = 2 A 1 X 0 4 A 0 2 X 0 2 + 1 + A 1 A 0 S ich N H 1 ( 2 A 0 X 0 ) S ich N H 1 ( 2 A 1 C N ( X 1 ) ) 2 A 1 4 A 1 2 C N 2 ( X 1 ) + 1 = 2 A 1 X 0 4 A 0 2 X 0 2 + 1 + A 1 A 0 S ich N H 1 ( 2 A 0 X 0 ) S ich N H 1 ( 2 A 1 ( ) ) 2 A 1 4 A 1 2 ( ) 2 + 1 C 2 ( X 1 ) = 2 A 1 X 0 4 A 0 2 X 0 2 + 1 + A 1 A 0 S ich N H 1 ( 2 A 0 X 0 ) S ich N H 1 ( 2 A 1 2 A 1 X 0 4 A 0 2 X 0 2 + 1 + A 1 A 0 S ich N H 1 ( 2 A 0 X 0 ) S ich N H 1 ( 2 A 1 X 1 ) 2 A 1 4 A 1 2 X 1 2 + 1 ) 2 A 1 4 A 1 2 ( 2 A 1 X 0 4 A 0 2 X 0 2 + 1 + A 1 A 0 S ich N H 1 ( 2 A 0 X 0 ) S ich N H 1 ( 2 A 1 X 1 ) 2 A 1 4 A 1 2 X 1 2 + 1 ) 2 + 1

Wie du sehen kannst, G ( A 0 , A 1 , X 0 ) = X 1 hat keine einfache Form. Dies ist wie die W-Lambert/Produkt-Logarithmus- Funktion, bei der   ich F   X e X = j ,   T H e N   X = W ( j ) = l N ( j ) l N ( l N ( j ) l N ( X ) ) = . Wir brauchen eine rekursive Definition für W(x), die in diesem Diagramm zu sehen ist . Daher muss möglicherweise eine neue Funktion hergeleitet werden, um rekursiv zu lösen G ( A 0 , A 1 , X 0 ) und diese Definitionen funktionieren definitiv.

Beachten Sie, dass MathJax je nach Computer unterschiedlich dargestellt werden kann. Siehe die Lösung von @Tim Pederick für eine Lösung des Inversen Lagrange-Theorems . Daran kann ich vielleicht weiter arbeiten. Bitte korrigiert mich und gebt mir Feedback!

Methode 4:

Das Problem reduziert sich darauf, die Umkehrung von zu finden X Sünde ( X ) . Sie können bessere Ergebnisse für den Kehrwert der Bogenlänge von erhalten ich X 2 aus

Hier

aber die Umkehrung der Bogenlänge von X 2 kann nur lösen

Bogenlänge ( X 2 ) = ich A , A R

wegen der Domäne von Mathematica's Inverse Beta Regularized ICH S 1 ( A , B ) . Wähle die passenden Zeichen:

Bogenlänge ( X 2 ) = 1 2 4 X 2 + 1 + 1 4 Sünde 1 ( 2 X ) = z ICH  rein imaginär X = | Ich bin ( z ) | π 8 ich 2 ICH ± 8 ich z π 1 ( 1 2 , 3 2 )

Handlung des k R vs ich 2 ICH ± 8 ich z π 1 ( 1 2 , 3 2 ) , z = ich k wobei entgegengesetzte Vorzeichen genommen werden:

Geben Sie hier die Bildbeschreibung ein

Testen Sie hier die Funktion durch Einstecken eines echten k

Hier ist ungefähr das Effizienteste, was ich sehen kann:

Nimm deine Stammfunktion (ersetze sin durch sinh) und definiere A 1 X j so dass

F ( j ) = A 1 ( Bogenlänge ) ,

F ( j ) 1 2 ( j 1 + j 2 + Sünde 1 j ) .

F ( j ) ist monoton und hat einige schöne Näherungen, wenn j 1 , j 1 . In diesen Fällen könnte es möglich sein, es analytisch zu erhalten. Invertieren Sie es im Allgemeinen numerisch. Dann,

X = A 1 1 F 1 ( A 1 ( Bogenlänge ) .

Der Nutzen dieser Vorgehensweise besteht darin, dass Sie nicht für jede neue Funktion eine neue Funktion invertieren müssen A 1 , müssen Sie dies nur einmal tun, um jede gewünschte Parabel abflachen zu können.

Die Notation A B bedeutet oft die Faltung von A Und B . Ich denke, es ist aus dem Kontext klar genug, dass Sie das nicht meinen, aber da die Frage natürlicherweise Integrale zu beinhalten scheint, ist es möglicherweise klarer, sie \cdotanstelle von *oder zu verwenden\ast

TLDR:

Sie wollen lösen v in dieser Gleichung:

v v 2 + 1 + Sünde 1 v = 2 A 1 X 0 u 2 + 1 + Sünde 1 u 2 A 0

Und dann X 1 = v 2 A 1 ist deine Lösung.

Ich hämmere seit Stunden daran herum, nicht weil ich glaube, dass ich dir helfen kann – vieles davon ist neu für mich –, sondern weil ich es interessant fand. Ich habe noch keine (Annäherung an eine) Lösung für ausgearbeitet v , obwohl. Und es sieht so aus, als wäre mir Claudes Antwort sowieso zuvorgekommen.

Aber hier ist meine Arbeit, nur weil ich es nicht ertragen kann, bei dieser ganzen Sache auf Verwerfen zu klicken.


Ich glaube nicht, dass ich jemals zuvor die Länge einer parabolischen Kurve gemacht habe. Während dies wahrscheinlich reibungsloser verlaufen würde, wenn dies anhand der integralen Definition der Bogenlänge erfolgen würde , werde ich den einfachen (?) Ausweg nehmen: Wikipedia hat eine parabolische Formel für die Bogenlänge . Probieren wir es aus!


Wir haben also eine Parabel F ( X ) = A 0 X 2 . Wikipedia sagt uns, dass wir die Bogenlänge vom Scheitelpunkt bei finden können ( 0 , 0 ) zu jedem Punkt ( X , F ( X ) ) auf der Parabel mit diesen Werten:

  • Die Brennweite l der Parabel; in diesem Fall, l = 1 4 A 0
  • Der senkrechte Abstand P zwischen dem Punkt und der Symmetrieachse; in diesem Fall ist es einfach P = X

Dann gegeben H = P 2 Und Q = l 2 + H 2 , die Bogenlänge ist:

S = H Q l + l ln H + Q l

Vereinfachen wir. Angesichts dessen H = X 2

Q = 1 16 A 0 2 + X 2 4 = 4 A 0 2 X 2 + 1 16 A 0 2 = l 4 A 0 2 X 2 + 1

Daher:

S = X 2 4 A 0 2 X 2 + 1 + 1 4 A 0 ln ( 2 A 0 X + 4 A 0 2 X 2 + 1 )


Jetzt haben wir eine weitere Parabel G ( X ) = A 1 X 2 so dass die Bogenlängen von F ( X 0 ) Und G ( X 1 ) sind gleich, dh:

X 0 2 4 A 0 2 X 0 2 + 1 + 1 4 A 0 ln ( 2 A 0 X 0 + 4 A 0 2 X 0 2 + 1 ) = X 1 2 4 A 1 2 X 1 2 + 1 + 1 4 A 1 ln ( 2 A 1 X 1 + 4 A 1 2 X 1 2 + 1 ) X 0 4 A 0 2 X 0 2 + 1 + 1 2 A 0 ln ( 2 A 0 X 0 + 4 A 0 2 X 0 2 + 1 ) = X 1 4 A 1 2 X 1 2 + 1 + 1 2 A 1 ln ( 2 A 1 X 1 + 4 A 1 2 X 1 2 + 1 )

Und wir wollen lösen X 1 bezüglich A 0 , A 1 , Und X 0 . Nichts einfacher! </sarc>


Lassen Sie uns definieren u = 2 A 0 X 0 (daher u 2 = 4 A 0 2 X 0 2 ) Und v = 2 A 1 X 1 (daher v 2 = 4 A 1 2 X 1 2 ). Das verkürzt die Dinge zu:

X 0 u 2 + 1 + 1 2 A 0 ln ( u + u 2 + 1 ) = X 1 v 2 + 1 + 1 2 A 1 ln ( v + v 2 + 1 )

Jetzt sehe ich wo Sünde kommt in die anderen Antworten! Es ist, weil Sünde 1 X = ln ( X + X 2 + 1 ) , also erhalten wir:

X 0 u 2 + 1 + Sünde 1 u 2 A 0 = X 1 v 2 + 1 + Sünde 1 v 2 A 1 2 A 1 X 0 u 2 + 1 + Sünde 1 u 2 A 0 = 2 A 1 X 1 v 2 + 1 + Sünde 1 v = v v 2 + 1 + Sünde 1 v

Diese rechte Seite scheint nicht leicht umzukehren. Ich gebe zu, ich bin abgehauen und habe Wolfram Alpha darum gebeten. Und natürlich sagt es mir: „Kein Ergebnis in Bezug auf mathematische Standardfunktionen gefunden“. [ Seufz …]


Basierend auf der Antwort von Tyma Gaidash habe ich mich mit dem Lagrange-Inversionssatz befasst . Meine ingenieurwissenschaftliche Ausbildung hat das nie abgedeckt, aber ich glaube, ich habe die Grundlagen verstanden. Wie ich es verstehe, zu lösen j = F ( X ) für X , wir wählen einige aus z , so dass F ( z ) definiert ist und F ' ( z ) 0 .

Lassen Sie uns die gesamte linke Seite der Gleichung auf verkürzen w , und definieren w = G ( v ) = v v 2 + 1 + Sünde 1 v . Lassen Sie uns zuerst das Derivat finden … indem wir betrügen und Wolfram Alpha verwenden: G ' ( v ) = 2 v 2 + 1 .

Wir brauchen einen Wert z Wo G ' ( z ) 0 . Praktischerweise ist diese Ableitung nirgends null auf den reellen Zahlen, also ist das trivial. Ich denke (bin mir aber nicht sicher). z sollte sich annähern v , also nehmen wir das zufällig an X 1 1 und so v 2 A 1 = z .

Nun, nach dem Umkehrsatz, die Umkehrfunktion v = G 1 ( w ) Ist:

v = z + N = 1 [ ( w G ( z ) ) N N ! lim T z D N 1 D T N 1 ( T z G ( T ) G ( z ) ) N ] = z + ( w G ( z ) ) lim T z T z G ( T ) G ( z ) + ( w G ( z ) ) 2 2 lim T z D D T ( T z G ( T ) G ( z ) ) 2 +

Sieht diese erste Grenze nicht genauso aus wie der Kehrwert der Ableitung? So wird der zweite Begriff der Reihe w G ( z ) 2 z 2 + 1 .

Und ich arbeite jetzt schon viel zu lange daran, also werde ich hier für die Nacht aufhören.

@TymaGaidash: Dies sollen Anfangswerte sein, keine Einschränkungen - wie die Auswahl von Anfangswerten in der Newton-Methode . Und ich weiß nicht, ob das überhaupt stimmt! (Claudes Antwort scheint so etwas nicht zu haben, aber es scheint derselbe Ansatz zu sein.) Aber ja, das Ziel ist letztendlich, eine Lösung zu haben (oder zumindest eine ungefähre aus den ersten paar Begriffen der Reihe). ) für v , an welcher Stelle die Vereinfachungen v , w etc. können vielleicht entfallen. (Oder vielleicht wird es am Ende klarer, sie drin zu lassen?)
Optionaler Vorschlag. Außerdem gibt es eine Möglichkeit, die Koeffizienten für jede beliebige Funktion zu finden, wie im Abschnitt Bell-Polynome zu sehen ist. Es befindet sich unter der Hauptfunktion, die Sie verwendet haben. Sie brauchen nur eine Reihenentwicklung für die Funktion, von der Sie die Umkehrung nehmen möchten.

Für eine Parabel mit Parametrisierung

(1) X = A T , j = A T 2 / 2 ; X 2 = 2 A j ; Neigung T = bräunen ϕ ;

Unterscheiden X 2 , grundiert bzgl. Bogenlänge

(2) 2 X cos ϕ = 2 A Sünde ϕ ; X = A bräunen ϕ ; X ' = cos ϕ = A Sek 2 ϕ ϕ '

daraus ergibt sich die Krümmung

(3) A ϕ ' = A κ = cos 3 ϕ

Ein einfacherer/direkter Ausweg ist die direkte numerische Integration von ode in(3). Ein Bruchteil k der maximalen Bogenlänge kann als Parameter für erforderliche Integranden (in diesem speziellen Fall k = 2/3) eingestellt werden, wodurch die Teilmengenparabeln durch Einstellen flacher oder tiefer werden A .

Geben Sie hier die Bildbeschreibung ein

Die Gesamtlänge auf einer Seite ist eine gegebene Konstante L

L = 0 ϕ M D ϕ κ ;  Jetzt Krümmung aus (3) einstecken und integrieren 

(4) L A = 0 ϕ M Sek 3 ϕ D ϕ = 1 2 [ Protokoll ( bräunen ( π 4 + ϕ M 2 ) ) + Sek ϕ M bräunen ϕ M ]

Einstecken von (2) X M = A bräunen ϕ M

(5) 2 L A = Protokoll ( bräunen ( π 4 + bräunen 1 ( X M / A ) 2 ) ) + ( X M / A ) ( X M / A ) 2 1

was eine nette implizite Funktion ist F ( A , X M , L ) , aufgetragen unter der Annahme, dass ein Parabelarm eine Bogenlänge gegeben hat = 1.8 , on Mathematica, was flachere oder tiefere Parabeldiagramme ermöglicht.

Geben Sie hier die Bildbeschreibung ein

Es hat sich herausgestellt, dass es zwei Kriterien für die Verbindung gleicher Parabelbogenlängen gibt X M A X Zu  a = 2* Brennweite  .

EDIT 1/2:

Um aus dem scheinbaren Dilemma herauszukommen, habe ich Sonderfälle sorgfältig berechnet/geplottet ( X M A X , A ) Kombinationen:

( 0,4 , 0,0458 ) , ( 0,8 , 0,1948 ) , ( 1.2 , 0,4704 ) , ( 1.6 , 0,8874 ) ( 2.0 , 1.42264 ) , ( 2.4 , 2.0101 ) , ( 2.8 , 2,5825 )

Alle Bögen sind alle gleich lang, aber z ( X M A X = 2.0 , 2.4 , 2.8 ) die Wahl der A scheint auf das zweite Kriterium umgeschaltet worden zu sein. Beziehung ( X M A X , A ) ist nicht eindeutig durch den ersten Plot ... es wird nun weiter untersucht.

Geben Sie hier die Bildbeschreibung ein

Hinzufügen einer weiteren kurzen ODE-Methode, die eine direkte Beziehung zwischen der maximalen Neigung an der Parabelspitze und ihrer Brennweite für eine invariante Bogenlänge beim Biegen findet.

X = 2 F bräunen ϕ ist bezüglich des Bogens differenziert,  2 F Sek 2 ϕ D ϕ D S = cos ϕ

Integrieren Sie den Rücken, aber bzgl. der Neigung ϕ , S = 2 F Sek 3 ϕ D ϕ

S = 2 F ( 1 2 Protokoll cos ( ϕ / 2 ) + Sünde ( ϕ / 2 ) cos ( ϕ / 2 ) Sünde ( ϕ / 2 ) + Sek ϕ + bräunen ϕ ) = Konstante

Berechnete Brennweite F = F ( ϕ M A X ) als Beziehung zwischen Biegevariablen Mathematicafür maximale Steigungen ( 0,2 , 0,5 , 0,8 , 1.1 ) Bogenmaß mit fester Bogenlänge der Parabel 3 Einheiten angenommen und wie gezeigt aufgetragen; ( X , j ) = ( 2 F T , F T 2 ) .

Geben Sie hier die Bildbeschreibung ein