Mechanische ebene Kurven/Stangenkoppelung/Zwei Geraden/Beispiel
Es seien und zwei Geraden in der reellen Ebene und sei eine bewegliche Gerade (eine Stange) mit zwei Punkten die voneinander den Abstand haben. Erlaubte Konfigurationen des Systems sind diejenigen Lagen von , für die gleichzeitig und gelten. Die Geraden seien durch und festgelegt.
Die erlaubten Konfigurationen werden dann gemäß der Bemerkung durch die drei Bedingungen festgelegt:
- ,
- ,
- .
Die Lösungsmenge der beiden linearen Gleichungen sind (einzeln betrachtet) dreidimensionale Unterräume. Die Lösungsmenge der dritten Gleichung kann man als das Produkt eines Kreises (in den Variablen und ) mit einer affinen Ebene auffassen. Das ist eine Art von Zylinder, wobei allerdings die Fasern zweidimensional sind. Wie kann man die gemeinsame Nullstellenmenge beschreiben, und wie sieht die Trajektorie des mechanischen Systems aus, die ein Punkt erzeugt?
Durch eine Variablentransformation kann man annehmen, dass die erste Gerade die -Achse ist, also durch die Gleichung definiert ist, und die andere durch . Das liefert für das System die Bedingung , und das bedeutet, dass man die Variable eliminieren kann. Man gelangt dann zu einem System mit den drei Variablen und den zwei Bedingungen
- ,
- .
Parallele Geraden
Wenn die zweite Gerade parallel zur ersten ist, so ist
und man kann die zweite Gleichung nach auflösen und erhält
(,
sonst liegt keine Gerade vor).
Die Zahl ist der Abstand der parallelen Geraden. Man kann nun auch eliminieren, und übrig bleibt die einzige Gleichung
,
also
Bei gibt es hierfür keine Lösung (der konstante Abstand der parallelen Geraden ist größer als der Koppelungsabstand auf der Stange).
Bei ergibt sich die Bedingung . Dies entspricht der Situation, wo der Parallelabstand der Geraden gleich dem Koppelungsabstand ist. Dann sind die einzigen erlaubten Konfigurationen diejenigen, wo die Stange senkrecht zu den beiden Geraden ist. Die Lösungsmenge ist also eine Gerade. Für jeden Punkt auf der Stange ist die Trajektorie einfach eine weitere parallele Gerade.
Es sei nun . Dann ist
Die Lösungsmenge besteht aus zwei disjunkten Geraden. Dies entspricht den beiden unterschiedlichen Einhängungen, die nicht ineinander überführt werden können. Das mechanische System besteht also aus zwei Zusammenhangskomponenten. Für einen Punkt auf der Stange ergibt sich aber bei beiden Einhängungen die gleiche Trajektorie, nämlich eine parallele Gerade, die in gewissem Sinne doppelt durchlaufen wird. Hier besteht also die Lösungsmenge des vollen mechanischen Systems aus zwei (parallelen) affinen Geraden im vierdimensionalen affinen Raum, deren Trajektorien zu einem fixierten Punkt aber nur eine Gerade ist.
Nicht parallele Geraden
Wir betrachten nun den Fall, wo die beiden Geraden nicht parallel sind. Dann treffen sie sich und die Lösungsmenge kann nicht leer sein. Wir können durch eine weitere lineare Transformation annehmen, dass der Schnittpunkt gleich dem Nullpunkt ist. Die zweite Gleichung wird dann durch beschrieben. Damit kann man eliminieren und erhält in den beiden Variablen die einzige Gleichung
Der Konfigurationsraum des mechanischen Systems spielt sich also in einer (durch und definierten) Ebene ab und wird durch eine Quadrik beschrieben. Betrachtet man als eine neue Variable, so sieht man, dass es sich um eine Ellipse (in den Koordinaten ; in den Koordinaten ist es ein Kreis) handelt.
Wie sehen die Trajektorien aus? Es sei derjenige Punkt auf der Stange, der durch gegeben ist. Nach
der Situationsbeschreibung
hat der Punkt die Koordinaten
wobei sein muss. In den Extremfällen und ergeben sich ( beliebig) bzw. ( beliebig) als Lösungsmenge. Hierbei muss nach wie vor erfüllt sein, d.h. es muss zu gegebenem (bzw. ) eine Lösung der Gleichung in der anderen Variablen geben. Die gibt es, wenn (bzw. ) hinreichend klein ist. Insgesamt ergeben sich also gewisse Strecken auf den Ausgangsgeraden. Die Punkte und müssen ja auf ihren Bahnen bleiben, und können sich von der anderen Geraden nicht beliebig weit entfernen.
Es sei also . Aus dem Ansatz
folgt und (das Urbild ist also eindeutig festgelegt). Die Gleichung wird dann zu
was wieder die Gleichung einer Ellipse ist.