Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Vorlesung 8/kontrolle
- Mechanisch definierte algebraische Kurven
Es sei eine feste Stange
(man denke an ein mechanisches Maschinenteil)
mit zwei fixierten Punkten
(man denke an Gelenke).
Diese Stange kann sich in der Ebene (dem ) bewegen, wobei die beiden Punkte sich jeweils in zwei bestimmten Bahnen
und
(man denke an Schienen)
befinden müssen. Die Bahnen können dabei recht einfach gegeben sein, etwa durch Geraden oder durch Kreise. Bei einer Dampfmaschine hat man ein drehbares Rad und eine gerade Schiene, die durch eine Stange gekoppelt sind. Wie beschreibt man den zugehörigen Bewegungsprozess? Was sind die erlaubten Konfigurationen des Systems?
Da eine solche Konfiguration durch die Lage der beiden Punkte bestimmt ist, und diese jeweils durch zwei Koordinaten der Ebene gegeben sind, handelt es sich insgesamt um eine vierdimensionale Situation.
Wenn man einen Punkt der Stange fixiert (farblich markiert), wie sieht die Bewegungsbahn (oder Trajektorie) dieses Punktes in der Ebene aus?
Für die Extremfälle und sind die Bewegungsbahnen Teilmengen (in der Regel echte!) von und . Für Punkte dazwischen erwartet man eine stetige Deformation der einen Bahn in die andere.
Seien und zwei ebene algebraische Kurven, die durch die Gleichungen und beschrieben werden, . Es sei eine „bewegliche Gerade“ (eine Stange) mit zwei Punkten , , die voneinander den Abstand haben. Das mechanische System, das durch alle Lagen von in der Ebene gegeben ist, bei denen gleichzeitig und ist, wird folgendermaßen beschrieben.
Eine Lage der Stange in der Ebene ist eindeutig bestimmt, wenn für die beiden Punkte die Lage festgelegt ist (dies berücksichtigt noch nicht die Abstandsbedingung), also durch vier Variablen . Eine erlaubte Konfiguration muss dann die folgenden drei algebraischen Bedingungen erfüllen.
- (Abstandsbedingung)
Es handelt sich somit um drei algebraische Gleichungen in vier Variablen, als Lösungsmenge erwartet man also eine Kurve im . Ein Punkt wird durch den Abstand zu bzw. beschrieben. Da sich diese Punkte im mechanischen System bewegen, setzen wir die Koordinaten für den mitbewegten Punkt als
an (der Abstand von zu ist also ) und schreiben seine Koordinaten als
Man kann dann das gesamte mechanische System (durch eine lineare Transformation) in den vier Variablen ausdrücken, indem man bei ()
in den Gleichungen ersetzt. In den neuen Variablen erhält man die drei Gleichungen
- ,
- ,
Die zu gehörende Trajektorie kann man grundsätzlich dadurch erhalten, dass man aus diesem Gleichungssystem die Variablen und „eliminiert“, was eine algebraische Gleichung für und ergibt. Dies ist allerdings leichter gesagt als getan, häufig ist es sinnvoller, durch geschickte Manipulationen das Gleichungssystem zu vereinfachen.
Manchmal interessiert man sich auch für die Situation, wo sich mit der Stange eine ganze Ebene mitbewegt, und für die Trajektorien von solchen Punkten. Dies ist etwa der Fall, wenn auf der Stange weitere Maschinenteile montiert sind. In diesem Fall kann man jeden Punkt der Ebene bezüglich und als
Es wird also der Punkt als Ursprung der bewegten Ebene, die Verbindungsgerade zu als erste Koordinatenachse und die dazu senkrechte Achse als zweite Koordinatenachse genommen.
Das gesamte mechanische (Stangen-)System wird also durch vier Variablen mit drei Gleichungen beschrieben. Die sichtbare Wirkungsweise, nämlich der Bewegungsablauf eines fixierten Punktes auf , liefert aber eine Trajektorie in der affinen Ebene.
Wir betrachten einige Beispiele.
- Zwei Geraden als Bahnen
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äß Situation 8.1 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.
- Gerade und Kreis als Bahnen
Wir betrachten nun den Fall, wo die eine Bahn eine Gerade und die zweite Bahn ein Kreis ist. Dies ist die Situation bei einer Dampfmaschine (insbesondere, wenn die Gerade durch den Kreismittelpunkt verläuft).
Wir können ohne Einschränkung annehmen, dass die Gerade durch gegeben ist. Die Koordinaten des Punktes auf der Geraden sind dann
Für den Kreis kann man annehmen, dass er den Mittelpunkt und den Radius besitzt. Der Kreisbahnpunkt erfüllt dann die Bedingung . Das gesamte mechanische System wird also durch die beiden Bedingungen
beschrieben, wobei wieder der Koppelungsabstand sei. Betrachtet man diese zwei Gleichungen in den Koordinaten und , so sieht man, dass es sich um den Schnitt von zwei Zylindern handelt, ähnlich wie in Beispiel 4.6. Die erlaubten Stangenkonfigurationen des mechanischen Systems lassen sich also in drei geeigneten Koordinaten als der Durchschnitt von zwei Zylindern deuten. Dabei müssen allerdings weder die Radien übereinstimmen noch müssen die Innenachsen der Zylinder sich treffen. Ein solcher Durchschnitt und die zugehörigen Trajektorien können schon relativ kompliziert sein.
In den folgenden Beispielen brauchen wir ein Lemma, das eine einfache Eliminationssituation beschreibt.
Es sei ein Integritätsbereich und seien und zwei quadratische Polynome in einer Variablen über mit und und linear unabhängig. Dann gehört zum Ideal das Element
Wir haben zunächst
Daraus ergibt sich der Ausdruck (dieses Argument ist nicht ganz richtig, es lässt sich aber auch rigoroser durchführen)
Wir setzen das in ein und multiplizieren mit dem Quadrat des Nenners und erhalten
Hier kommt im zweiten Summand und im dritten Summand vor; diese beiden Summanden heben sich weg, in allen übrigen Monomen kommt vor. Wir können also wegkürzen und übrig bleibt
Wir betrachten das mechanische Koppelungssystem, das durch den Einheitskreis und die dazu tangentiale Gerade durch mit dem Koppelungsabstand definiert ist, also durch den Geradenbahnpunkt und Kreisbahnpunkt
mit den beiden Bedingungen
- .
Es handelt sich also um den Schnitt von zwei Zylindern, allerdings mit unterschiedlichen Radien und auch mit Innenachsen, die sich nicht treffen. Interessant sind die beiden Geraden
und
die sich im Punkt
schneiden. Die Gerade liegt auf dem einen Zylinder und schneidet den anderen Zylinder tangential, und umgekehrt. Das geometrische Bild ist, dass der kleinere Zylinder aus dem größeren eine „gebogene Acht“ herausstanzt, wobei der Kreuzungspunkt der Acht ist.
Die erlaubten Stangenkonfigurationen lassen sich folgendermaßen gewinnen. Zu jedem Kreispunkt gibt es zwei Möglichkeiten, wie die Stange liegen kann, mit der Ausnahme des Kreisbahnpunktes , wo der Geradenbahnpunkt sein muss.
Wir starten mit der Situation, wo der Punkt der Kreisbahnpunkt ist, und wo der Geradenbahnpunkt ist (die Stange liegt also links auf der Geraden), und lassen den Kreisbahnpunkt im Uhrzeigersinn um den Kreis wandern. Der Kreisbahnpunkt zieht dann den Geradenbahnpunkt hinter sich her, bis er unten bei angekommen ist. Die Stange ist dann der vertikale Durchmesser des Kreises (der Geradenbahnpunkt ist dann in und der Kreisbahnpunkt ganz unten). Ab dann wandert der Kreisbahnpunkt auf dem linken Kreisbogen nach oben und schiebt dabei die Stange weiter nach rechts, bis der Geradenbahnpunkt bei ankommt.
Die andere Möglichkeit, wo der Punkt der Kreisbahnpunkt ist, ist die, wo die Stange rechts auf der Geraden liegt (mit als Geradenbahnpunkt). Der Kreisbahnpunkt bewegt sich erneut im Uhrzeigersinn. Dabei schiebt er den Geradenbahnpunkt zuerst nach rechts bis zu einem gewissen Extremum, bei dem die Stange senkrecht zum Kreis im Kreisbahnpunkt steht. Von da an zieht der Kreisbahnpunkt den Geradenbahnpunkt zurück nach links, wobei sich die Stange aufrichtet, bis sie den vertikalen Durchmesser des Kreises einnimmt. Weiter wandert der Kreisbahnpunkt auf dem linken Kreisbogen wieder nach oben, wobei er den Geradenbahnpunkt bis zum Extremum nach links schiebt, und im letzten Stück wieder nach zieht.
Insbesondere wird der vertikale Durchmesser des Kreises zweimal von der Stange eingenommen, diese Stangenkonfiguration entspricht also dem Kreuzungspunkt der Acht.
Wir wollen nun die Trajektorie zum Mittelpunkt der Stange berechnen, also zu
Wir interessieren uns für eine Gleichung für und , und führen die Variable ein. Dann ist
und das Gleichungssystem schreibt sich in den neuen Variablen als
wobei man letzteres als schreiben kann bzw. als . Die erste Gleichung ergibt ausgerechnet
Damit ergibt sich nach Lemma 8.4 (mit und ) die Gleichung
Das ist eine Quartik (Kurve vom Grad vier) mit zwei Singularitäten.
Wir betrachten das mechanische System aus Einheitskreis und -Achse, wo der Koppelungsabstand ist. Das mechanische System wird dann durch die beiden Gleichungen
beschrieben. Es handelt sich um den Durchschnitt von zwei Zylindern mit gleichem Radius und sich treffenden Innenachsen, d.h. wir können auf die Ergebnisse von Beispiel 4.6 zurückgreifen. Dort wurde gezeigt, dass der Durchschnitt durch zwei Ellipsen gegeben ist, die sich in zwei Punkten schneiden. Diese Beschreibung muss sich auch im Kontext des mechanischen Systems wiederfinden. Welche Stangenkonfigurationen entsprechen der einen Ellipse, welche der anderen, welche Konfigurationen liegen auf beiden?
Machen wir uns also einen Überblick über die erlaubten Konfigurationen. Wenn der Geradenpunkt (also der Punkt auf der Geradenbahn) der Kreismittelpunkt ist, so ist jeder Punkt des Kreises als Kreisbahnpunkt erlaubt. Die radialen Strahlen des Kreises bilden also eine Schar von erlaubten Stangenkonfigurationen, und diese bilden zusammen die eine Ellipse. Die andere Ellipse entspricht der Menge der Stangenkonfigurationen, bei denen der Geradenbahnpunkt von nach läuft und dabei den Kreisbahnpunkt im oberen oder unteren Kreisbogen vor sich herschiebt bzw. hinterherzieht. Es gibt zwei Stangenkonfigurationen, die zu beiden Familien gehören, nämlich die mit dem Kreismittelpunkt als Geradenbahnpunkt und bzw. als Kreisbahnpunkt. In einer solchen Stangenkonfiguration kann das mechanische System nicht nur vorwärts und rückwärts laufen, sondern wesentlich die Richtung wechseln.
Wie sehen die Trajektorien eines Punktes auf der bewegten Stange aus? Die Gesamttrajektorie ist die Vereinigung der beiden Trajektorien, die zu den beiden irreduziblen Komponenten des Systems gehören. Wie viele Selbstdurchdringungspunkte gibt es?
Für einen Punkt der Koppelungsstange sind die Koordinaten gleich
Bei ist die Trajektorie das reelle Intervall , und bei ist es der Einheitskreis. Es sei also nun . Die Projektion der radialen Komponenten des Sytems ist einfach der Kreis mit Radius . Die Projektion der anderen Ellipse ist wieder eine Ellipse, die den Kreis in unterschiedlicher Weise schneiden kann. Siehe auch Aufgabe 8.22.