Früheste Instanzen eines Neigungs-/Richtungsfelds für eine ODE erster Ordnung

Hintergrund

Wenn die Schüler zum ersten Mal auf Steigungsfelder in Analysis oder elementaren Differentialgleichungen stoßen, fragen sie oft: "Was ist der Zweck?"

Eine kurze Antwort ist, dass Steigungsfelder eine Möglichkeit bieten, eine ODE erster Ordnung der Form y' = f(x, y) grafisch darzustellen. Grafische Darstellungen können auf einen Blick eine Reihe von Einblicken in das Gesamtverhalten von Lösungen liefern. Dasselbe kann oft nicht über symbolische Repräsentationen gesagt werden.

Diese Antwort wäre überzeugender, wenn es möglich wäre, auf Beispiele für die Nutzung von Hangfeldern im Laufe der Geschichte hinzuweisen. Ich hatte jedoch einige Schwierigkeiten, diese Geschichte aufzuzeichnen.

Die grundlegende Idee eines Steigungsfeldes, nämlich dass y' = f(x, y) die Steigung der Lösung angibt, die durch ein von uns gewähltes (x, y) geht, muss seit Beginn des Kalküls klar gewesen sein. Unterstützende Beispiele finden Sie in diesem Twitter-Austausch .

Das früheste Beispiel (oder Hinweis auf) ein tatsächliches Hangfeld, das ich bisher gefunden habe, stammt jedoch aus der Mitte des 20. Jahrhunderts. Siehe zum Beispiel diese Notiz von 1944 über die Lehre von Differentialgleichungen aus dem American Mathematical Monthly.

Abgesehen von dem obigen Twitter-Austausch habe ich das Internet, Google Scholar und meine persönliche Bibliothek durchsucht (darunter viele Lehrbücher und ein paar mathematische Geschichtsbücher).

Hinweis: Ich habe die Stack Exchange-Frage zur "Erfindung des Konzepts des Vektorfelds" gesehen, aber das Konzept des Vektorfelds ist allgemeiner, und es ist schwierig, einen Verweis auf Steigungsfelder aus der Antwort auf diese Frage zu isolieren.

Frage

Was ist die früheste Instanz eines Steigungsfeldes als grafische Darstellung der Differentialgleichung erster Ordnung y' = f(x, y)?

Hier beziehe ich mich nicht auf die zugrunde liegende Idee eines Steigungsfeldes, sondern eher auf ein tatsächliches Bild, ähnlich dem, was heute üblicherweise in einführenden Lehrbüchern zu elementaren Differentialgleichungen zu finden ist.

Ich würde mich freuen, frühe Beispiele zu sehen, nicht unbedingt die allerfrühesten. Ich würde mich auch über frühe Vorkommen des Begriffs "Steigungsfeld" oder "Richtungsfeld" freuen, da diese auf die Existenz tatsächlicher Bilder hinweisen.

Aktualisieren

Fortschritt! Die Frage ist noch nicht geklärt, aber ich habe einige neue Beweise entdeckt. Ausgehend von Referenzen in dem von Blåsjö unten veröffentlichten Artikel von Tournès konnte ich die folgenden zwei Quellen finden, die die Erzählung ergänzen.

Betrachten Sie zunächst das Buch Graphische Methoden von Carl Runge (basierend auf Vorlesungen von 1909-1910, veröffentlicht 1912). Ab S. 134 (nummeriert als S. 120 in der physischen Kopie) diskutiert er die grafische Lösung von ODEs erster Ordnung.

In Abbildung 88 zeigt er die gleiche Methode wie Bernoulli in Blåsjös Antwort, mit einem Zusatz: Er zeichnet einen "Strahlenstift", der im Grunde aus einem Satz von Vektoren besteht. Da der durch die Differentialgleichung angegebene Richtungsvektor für jeden Punkt auf einer gegebenen Isokline gleich ist, entspricht diese Isokline einem eindeutigen Richtungsvektor. Das Strahlenbüschel stellt genau diese Vektoren dar, und sie sind beschriftet, um die Isoklinen anzuzeigen, denen sie entsprechen.

Während Runge offensichtlich einen Grund dafür hat (er verwendet das Strahlenbündel, um später eine Koordinatenänderung zu bewirken), ist es schwieriger, mehrere Lösungskurven durch visuelle Inspektion mit dieser grafischen Darstellung schnell zu skizzieren als mit einem modernen Neigungsfeld , bei dem die Richtungen über den Isoklinen gezeichnet oder gleichmäßig über ein rechteckiges Gitter angeordnet sind. Ich habe kein Vorkommen eines Neigungsfeldes in seiner modernen Form gefunden, und weder „Neigungsfeld“ noch „Richtungsfeld“ kommen im Text vor.

Betrachten Sie zweitens das Buch Guide to Graphical Computing von Rudolf Mehmke , das fünf Jahre später im Jahr 1917 veröffentlicht wurde. Mehmke kannte Runges Buch (er zitiert eine Ausgabe von 1914 auf S. 98). Er schreibt Folgendes (übersetzt aus dem Deutschen mit Google Translate, mit einer kleinen Bearbeitung - ich lese und schreibe kein Deutsch).

P. 116 (Ich habe Gleichungsnummern im Originaltext durch Gleichungen ersetzt):

...Differentialgleichung F ( X , j , D j D X ) = 0 Und D j D X = F ( X , j ) dem geometrischen Sinn zu entnehmen ist, dass sie (allgemein gesprochen) jedem Punkt der Ebene eine bestimmte Richtung zuordnen, die die Tangente der durch den dortigen Punkt gehenden Integralkurve haben muss, oder die vorgestellte Differentialgleichung verlangt, wie man sagen kann , ein "Richtungsfeld".

P. 121 (Fußnote hier weggelassen):

Wenn die Stromrichtung für genügend viele Punkte durch kurze Striche auf ... einer Reihe von Isoklinen angezeigt wird (siehe Abb. 107), dann können schon beliebig viele Integralkurven für das Auge einigermaßen korrekt gezeichnet werden.

Dies ist genau die moderne Idee (mit Hilfe von Computern verteilen wir diese "Striche" oft gleichmäßig entlang eines rechteckigen Gitters, aber ich nehme an, dass es auch als modern angesehen werden kann, sie nur entlang von Isoklinien zu zeichnen). Darüber hinaus wird moderne Terminologie verwendet (vielleicht sogar geprägt).

Die oben präsentierten Beweise scheinen darauf hinzudeuten, dass die moderne Konzeption eines Hangfeldes zwischen 1912 und 1917 entstand. Natürlich besteht die (etwas unwahrscheinliche) Möglichkeit, dass Runge die moderne Form verwendet, sie aber nicht in seinem Buch über grafische Methoden dargestellt hat. Es besteht auch die Möglichkeit, dass Runge Hangfelder in ihrer modernen Form nicht verwendet hat, andere jedoch.

Aktualisierte Fragen

  1. Kann jemand einen Fall vor 1917 oder andere bestätigende Beweise dafür finden, dass moderne Hangfelder tatsächlich um das Jahr 1917 entstanden sind? Die Beweise sind suggestiv, aber noch nicht überzeugend.

  2. Der Vollständigkeit halber wäre es schön, frühere Fälle von Hangfeldern mit gleichmäßig über ein rechteckiges Gitter verteilten Segmenten zu sehen, wie es heute üblich ist.

Danke für die bisherige Hilfe aller!

Ich sah mir ein paar ältere (vor 1910er) ODE-Bücher in meinen Regalen an und fand dieses von 1897 (siehe auch Abb. 4 auf S. 48 der Ausgabe von 1902 ). Ältere Mathematikbücher, insbesondere vor 1900, enthielten nur sehr wenige Diagramme außer denen, die notwendig waren, um der Textdiskussion zu folgen. Wenn es hilft, enthalten alte Bücher über Differentialgleichungen oft Diagramme, in denen Einhüllende und singuläre Lösungen diskutiert werden. Ich habe in Booles bekannter (in der 2. Hälfte des 19. Jahrhunderts) ODE-Abhandlung nachgesehen und nichts gesehen.
@DaveLRenfro Danke! Klingt so, als ob die Verwendung zumindest bis 1900 ungewöhnlich war. In Abschnitt 5 Ihrer Referenz mit dem Titel "Geometrische Bedeutung ..." heißt es: "Durch jeden Punkt auf der Ebene verläuft eine bestimmte Kurve, für jeden Punkt davon x, y, dy/dx wird die Gleichung erfüllen." Dies kommt einer expliziten Beschreibung eines Neigungs-/Richtungsfelds nahe, aber der Begriff wird nicht verwendet. Ich habe gerade Boole überprüft; habe keine solche Diskussion gesehen. Wir scheinen es einzugrenzen! Ich beginne zu vermuten, dass Bilder von Hangfeldern und vielleicht der Begriff selbst ziemlich neu sind.
Ich denke, wir sollten die Idee von Hangfeldern von den modern aussehenden Bildern davon unterscheiden. Die Idee taucht wohl zumindest in Poincares bahnbrechenden Arbeiten aus den 1880er Jahren über die qualitative Theorie der ODE auf (ich hatte keine Zeit, nach Bildern zu suchen). Ich würde nicht erwarten, dass es viel früher erscheint. "Vektorfeld" erleichtert die Dinge nur, wenn es sich um eine bekannte Entität mit verstandenem Verhalten handelt, und das geschah nicht, bis Gibbs und Heaviside in den 1880er Jahren ein Zuhause dafür bauten. Dies ist wahrscheinlich der Grund, warum D'Alambert, Euler, Poisson et al. sie nicht einmal in der Strömungsmechanik haben, die (für uns) nach ihnen zu schreien scheint.
@Conifold Es ist möglich, kleine Segmente mit Steigungen zu zeichnen, die durch y' = f (x, y) gegeben sind, ohne eine vollständig entwickelte Vorstellung von einem Vektorfeld (oder sogar von einem Vektor) zu haben. Mehmke (siehe fraglicher Link) spricht beispielsweise davon, mit "kurzen Strichen" die Richtung anzugeben. Bei Poincaré bin ich mir nicht sicher; Ich denke, Sie beziehen sich auf diese Arbeit .
Stimmt, danke. Aus diesem Grund war ich so beeindruckt von dem Fehlen von Segmenten oder Pfeilen vor 1900, wo sie uns so natürlich erschienen. Neben der Strömungsmechanik gibt es seit Huygens eine lange Tradition, Kennlinien für (wir würden sagen) PDE erster Ordnung zu zeichnen, was natürlich äquivalent zu ODE-Steigungsfeldern ist. Hamilton und Jacobi haben es perfektioniert, und Hamilton hat "Vektor" erfunden , aber die Verbindung ODE / Vektorfeld / Flusslinie ist mir dort weder im Text noch bildlich bekannt.

Antworten (1)

Johann Bernoulli erklärt die Idee eines Richtungsfeldes recht explizit (Modus generalis construendi omnes aequationes differentielles primi gradus, Acta Eruditorum, November 1694). Er konzentriert sich eher auf das Zeichnen von Isoklinen als auf Neigungssegmente. Es gibt keine Figur in dieser Arbeit, aber Bernoulli zeichnete in seiner Korrespondenz ein Beispiel:

Geben Sie hier die Bildbeschreibung ein

Korrespondierend zu:

Geben Sie hier die Bildbeschreibung ein

Dominique Tournès, Résolution graphique des équations différentielles , diskutiert dieses und viele andere historische Beispiele.

Dies ist sicherlich eine grafische Darstellung einer ODE und eine nützliche Antwort, aber ich persönlich würde davor zurückschrecken, Bernoullis "Directrices" als Hangfeld zu bezeichnen. Aber ich habe den Artikel von Bernoullis, den Sie zitieren, nicht gelesen, also erklärt er dort vielleicht tatsächlich das Steigungsfeld in Worten.
@MichaelBächtold Ja. Sehr relevant - der Artikel weist darauf hin, dass das, was wir heute als Isokline bezeichnen, 1694 von Johann Bernoulli eingeführt und von Van der Pol in seiner berühmten Gleichung angewendet wurde. Es scheint jedoch nicht, Hangfelder direkt zu behandeln. Ich frage mich immer noch, wann Hangfelder mit Segmenten entstanden oder populär wurden . Wenn jemand auf die Referenz von 1944 in meinem ursprünglichen Beitrag zugreifen kann, um eine Obergrenze für die Einführung von Steigungsfeldern festzulegen, würde das helfen (dieser Artikel bezieht sich auf ein "Richtungsfeld", aber ich konnte noch nicht auf eine vollständige Kopie zugreifen um die Zahlen zu sehen).
Die Kurven in der Bernoulli-Figur werden konstruiert, indem Liniensegmente von einem Isoklinenkreis zum nächsten gezogen werden, wobei die Steigungen der Segmente durch den Steigungswert bestimmt werden, der der fraglichen Isokline zugeordnet ist. Sie funktionieren also sehr ähnlich wie ein Hangfeld, und das ist Bernoullis Grund, sie einzuführen. Der Unterschied zu einem modernen Pistenfeld ist meiner Meinung nach kosmetischer Natur.
Aus heutiger Sicht erscheinen viele Unterschiede, sobald man die Dinge verstanden hat, kosmetisch. Ich denke, dass es einen wirklich nicht trivialen Schritt gibt, von den Directrices zu den Hangfeldern zu gelangen. Um eine Analogie zu machen: Der Unterschied zwischen der Visualisierung einer Funktion zweier Variablen durch eine Fläche in 3D oder der Darstellung durch Isoklinien in 2D mag kosmetisch erscheinen, aber ich bezweifle, dass es so offensichtlich war, als die Leute zum ersten Mal diese Visualisierungen entwickelten.
Was beim Stöbern in Tournes 'Artikel sowie anderen anderen frühen Beispielen von "Vektorfeldern" (in Euler, D'Alambert, Poisson usw.) auffällt, ist das Fehlen dieser Felder. Was wir Flusslinien nennen würden, ist in den Zeichnungen ebenso wie die Komponenten im Text hervorzuheben, aber sie sind nicht zu Ganzen gebündelt, noch gibt es Pfeile in den Zeichnungen, um diese Ganzen zu verbinden. Das früheste derartige Ding in Tournes scheint in Schreiber von ... 1922 zu sein. Ich wollte Poincares Papiere aus den 1880er Jahren überprüfen, kam aber nicht dazu. Gibt es frühere Beispiele?
@ Conifold Einverstanden. Bernoulli hat die geometrische Bedeutung von y ' = f (x, y) klar verstanden, aber ich würde argumentieren, dass das Hinzufügen von Neigungssegmenten mehr als kosmetisch ist: Die visuelle Inspektion von Isoklinen allein (beschriftet oder nicht) zeigt kein Gesamtlösungsverhalten an, sondern eine visuelle Inspektion mit Segmenten tut. Das Hinzufügen von Segmenten ist nicht wie das Ändern einer Farbe; es ist eine inkrementelle Verbesserung der Benutzerfreundlichkeit. Van der Pol fügt Isoklinen in seinem Artikel von 1926 (S. 19 in Tournès) wohl aus diesem Grund Segmente hinzu. Das ist ein Hangfeld. Ich habe jedoch gerade eine frühere Instanz gefunden. Siehe aktualisierten Beitrag dazu mit aktualisierter Frage.
Zur Verdeutlichung verwendete van der Pol Isoklinen, um ein System erster Ordnung zu analysieren, und nicht eine einzelne ODE erster Ordnung der Form dy/dx = f(x, y). Die Idee ist jedoch im Grunde die gleiche. Ich habe es verwendet, um die Isoklinen aus einem seiner Diagramme hier in einem Desmos-Diagramm zu reproduzieren .