Mehrfache Ableitungsnotation

Die offizielle Leibniz-Notation für die doppelte Ableitung lautet:

D 2 S D T 2

Dieser Begriff erscheint widersprüchlich. Zwei Überlegungen:

  1. Wir haben eine unendlich kleine Entfernungsänderung D S pro infinitesimaler Zeitänderung D T : D S / D T . Beide Terme sind ein winziger Wert/Intervall. Weil das D Differenz symbolisiert , würde ich als Änderung der Abstandsänderung zur Zeit intuitiv schreiben:

    D ( D S / D T ) D T = ( D S 2 / D T 2 ) D T = D S 2 D T 3
    wo das extra D sagt, dass beide Terme jetzt "doppelte" infinitesimale Differenzen sind.

  2. Vielleicht eher der mathematischen Logik folgend und nicht meiner Intuition, das D könnte an sich als "freie" Variable angesehen werden, die damit multipliziert werden kann D S / D T Bruchzähler:

    D ( D S / D T ) D T = ( D 2 S / D T ) D T = D 2 S D T 2
    Das stimmt mit der eigentlichen Notation überein, macht aber jetzt physikalisch keinen Sinn. D bedeutet (infinitesimaler) Unterschied, so dass D S = S F ich N A l S S T A R T , und daher macht es keinen physikalischen Sinn, die zu betrachten D und das S getrennt. Der D S ist physikalisch nur ein "Name"/"Symbol" für einen Begriff, der genauso gut hätte heißen können X oder A oder irgendetwas anderes.

Nun, auf der Suche nach einer Erklärung neigen die Antworten immer dazu, zu überlegen D D T als ein Symbol für sich, so dass eine doppelte Ableitung ist D D T D D T S = D 2 D T 2 S = D 2 S D T 2 - was physikalisch noch weniger Sinn macht, da die D T Begriff muss ein trennbarer Begriff sein, bevor wir behandeln können D S D T als normaler Bruch (wie zB bei der Integration). D D T kann unmöglich nur "ein Symbol" sein.

Warum ist D 2 S D T 2 das richtige in einem physikalischen Kontext, wo D S bedeutet eigentlich den unendlich kleinen Unterschied in S ? Sind meine Überlegungen in Punkt 2 richtig, und ich kann diese Aufteilung einfach nicht herausfinden D Und S ist erlaubt?


Aktualisieren

Die zu diesem Zeitpunkt bereits gegebenen Antworten weisen beide auf die Verwendung von hin D / D T als bloßes Symbol. Also, keiner meiner beiden oben genannten Vorschläge ist der Fall. Klar, das kann ich akzeptieren. Aber es bleibt die Frage, warum und wie kommt es, dass wir sie dann immer noch als Variablen behandeln, zB in der Integration ?

Lassen Sie mich diese beiden Punkte klarstellen:

Erstens , ob es tatsächlich so ist D / D T nur ein Symbol ist und nur als Symbol betrachtet werden sollte, dann verstehe ich die Motivation für dieses Symbol nicht.

  • Warum hat Leibniz gewählt D / D T als Symbol, das die in der obigen Frage beschriebene Verwirrung und Widersprüchlichkeit verursacht?
  • Warum nicht, sagen Sie, D / D , in diesem Fall würden wir einen Schreibstil erhalten, der zumindest etwas "konsistenter" aussieht:
    D D S T = D S D T D D D D S T = D 2 S D 2 T D D D D D D S T = D 3 S D 3 T
  • Oder noch besser, wenn die beiden D daran beteiligt D / D T Das Symbol hat weder als Variable noch als Indikator für eine Änderung des Parameters eine Bedeutung, warum dann überhaupt diesen Buchstaben verwenden? Warum bleiben Sie beispielsweise nicht durchgehend bei der Primzahl und springen niemals in die Leibniz-Notation:
    S T ' S T S T

Und zweitens , wenn die D / D T wirklich nur ein Symbol ist, und das war's, wie kommt es dann, dass wir es plötzlich wieder als Bruch behandeln können, der wiederum eine Reihe von Variablen enthält? D S Und D T dass wir uns zum Beispiel bei der Integration trennen können? Wie hier:

D S D T = v D S = v D T 1 D S = v D T S = v D T

Ich hoffe, dass dieser Begriff geklärt wird, und freue mich über alle Kommentare und Antworten, die helfen können.

Ich denke, letzteres macht am meisten Sinn
@Karl Ich denke, "Sinn" hat dann eine andere Bedeutung für mich, wenn ich im physischen Kontext denke. Wie kannD UndS getrennt und behandelt werden, als wären sie zwei unterschiedliche Variablen?
Ich bin mir nicht ganz sicher, ob sie es sind. Beziehen Sie sich auf das Lösen von variablen trennbaren Gleichungen? Die Notationen verbergen praktischerweise die Mathematik hinter den Kulissen.
DDT ist ein Symbol: es ist der Name der Operation "Differenzierung". Siehe Zweite Ableitung: Notation .
Vielen Dank für die Antworten und Kommentare an dieser Stelle. Es hat meinem Einblick in dieses Thema geholfen, aber ich habe die Frage leider noch nicht vollständig geklärt. Ich habe ein Update vorgenommen, um die neuen Informationen, die ich erhalten habe, zu verdeutlichen.
Warum willst du schreibenD( ds / dt ) = dS2/ dT2 ? Eine Mengenänderung ist nicht das Quadrat der Menge! Zum Beispiel, wenns = 3t _ , DannDs / dt = 3 , UndD3 = 0 , AberDS2/ dT2= 9 .
Wie fürD2s /D2T , ist der Nenner eine Änderung in einem Zeitschrittintervall. Aber wir sollten in der Lage sein, über Beschleunigung mit konstanten Zeitschritten zu sprechen (1 zweite,1 zweite,1 zweitens, ...) woD2t = 0 .
Tatsächlich liegt es daranD2t = 0 , oderDT ist konstant, dass wir schreiben könnenD( ds / dt ) = ( d( ds ) ) / dT ...
@mr_e_man Vielen Dank für die Kommentare. Mir ist nicht klar, was du meinst. Würde es Ihnen etwas ausmachen, es als vollständige Antwort zu schreiben?
Was ist nicht klar?
@mr_e_man Deine beiden letzten Kommentare sind mir nicht ganz klar. Die Geschwindigkeit ist gleich der momentanen Positionsänderung zur Zeit:
v =ds _dt _
Wenn sich auch die Geschwindigkeit ändert, soDvDT , dann geben wir den obigen Ausdruck für einv , und bekomme:
DvDT=d ( d s / d t)dt _
Ihr letzter Kommentar sagt das jetztd ( d s / d t)= d ( d s) / d t=D2s / dt _ , und so wird es passen, aber wie rechtfertigen Sie diesen letzten Schritt? Sie können nicht einfach behandelnD wie war es eine Variable, wie wird dieser Schritt durchgeführt?
1 / dT ist eine KonstanteC , und eine Änderung incx _ IstC mal die Änderung inX . ...Hilft das? en.wikipedia.org/wiki/Second_derivative#Limit Es zeigt, dass wir (dt)^2 brauchen( dT)2 statt d(dt) , und dass wir d(ds) brauchen statt (ds)^2 .
@mr_e_man Ich könnte jetzt dorthin kommen. \mathrm d(\mathrm ds/\mathrm dt) ist natürlich gleich \mathrm d(\mathrm ds)/\mathrm dt , wenn wir unsere Zeitschritte \mathrm dt definiert haben konstant sein. Aber nun, da wir durch mathematische Operationen bei der eigentlichen Notation enden: \frac{\mathrm dv}{\mathrm dt}=\frac{\mathrm d(\mathrm ds/\mathrm dt)}{\mathrm dt} =\frac{\mathrm d(\mathrm ds)/\mathrm dt}{\mathrm dt}=\frac{\mathrm d^2s/\mathrm dt}{\mathrm dt}=\frac{\mathrm d^2s }{\mathrm dt^2}
warum wird mir dann gesagt, dass \mathrm d/\mathrm dt Begriff sollte als Symbol an sich betrachtet werden?
Wir behandeln dt als endliche reelle Zahl, aber schließlich müssen wir eine Grenze dt\to0 nehmen , also dt kann nicht mehr alleine verwendet werden. Übrig bleibt die Operation \frac{d}{dt}s(t)=\lim_{h\to0}\frac{s(t+h)-s(t)}{h}=s'(t).
@mr_e_man Ich danke dir für deine Hilfe und ich glaube, die Verwirrung ist jetzt beseitigt. Wenn Sie dies in einer Antwort zusammenfassen würden, werde ich das Kopfgeld annehmen und vergeben.

Antworten (5)

Ich denke, die Antwort auf die erste Frage ist ziemlich einfach: das Symbol D S D T ist kurz für die Grenze δ T 0 von

δ S δ T = S ( T + δ T ) S ( T ) δ T .

Wann immer Sie sehen D denk an die Veränderung δ in Anbetracht dessen, dass die Grenze von δ auf null genommen wird.

Nun ist die zweite Ableitung der Grenzwert δ T 0 von

S ( T + 2 δ T ) S ( T + δ T ) δ T S ( T + δ T ) S ( T ) δ T δ T = ( S ( T + 2 δ T ) S ( T + δ T ) ) δ S ( T + δ T ) ( S ( T + δ T ) S ( T ) ) δ S ( T ) δ T 2 = δ ( δ S ) δ T 2 .
und daher das Symbol D 2 S D T 2 .

Bei der zweiten Frage gibt es zwei Antworten. Die offizielle Antwort ist die D S D T ist nur ein Symbol für Ableitung, und Sie sollten nicht trennen D S Und D T , und die Tatsache, dass es funktioniert, ist nur ein Zufall, ...

Ich glaube nicht an Zufälle, also lasst uns tiefer graben, um zu sehen, ob es einen Grund dafür gibt, dass das funktioniert. Beginnen wir mit

D S D T = v
Das heißt an jedem Punkt T , δ S ist circa v δ T . Und diese Annäherung ist umso genauer, je kleiner die ist δ T . Nun, wenn Sie wissen wollen, wie viel S ändert sich über ein gewisses Zeitintervall [ 0 , T ] , addieren Sie einfach alle kleinen Änderungen in δ S für alle kleineren Zeitintervalle δ T . Jetzt haben wir
S δ S v δ T
wo Annäherungen genau wann werden δ T geht auf null. Das Limit δ T 0 von
v δ T
ist als Integral definiert
v D T

Also im Grunde, wenn Sie sich trennen D S Und D T , verschieben Sie die Einnahme der Grenze δ T 0 .

Siehe auch meine Antwort auf eine relevante Frage.

D 2 S D T 2 ist die Änderungsrate der Entfernungsänderungsrate. Es ist ein Differentialoperator, der auf etwas einwirkt, das bereits eine Ableitung ist.

Während Leibnitz ursprünglich dachte D S D T als Quotient von Infinitesimalen, das praktisch in jeder Hinsicht ein Bruch war, bedeutet dies heute nicht mehr.

D D T ist in der Tat ein Symbol!

D S D T ist der Differentialoperator, D D T auf die Funktion angewendet S ( T ) dh D S D T = D D T S ( T )

D 2 S D T 2 ist der Differentialoperator, auf den angewendet wird D S D T oder D D T D S D T

So D 2 S D T 2 = ( D D T ) ( D D T ) S ( T )

Außerdem, D S 2 D T 2 könnte interpretiert werden ( D S D T ) 2

Aha, danke für diese Antwort. Nachtrag: Also D S D T wurde als interpretiert D D T S - warum nicht so etwas wie D D S T , was dann zur zweiten Ableitung führen würde D D D D S T = D 2 S D 2 T ? Eine solche Notation würde zumindest überall einheitlich aussehen.
Es wäre kein linearer Operator mehr, der per Definition auf Funktionen operiert
Hallo @Bernard, danke für den Kommentar. Ich möchte auf diese Frage zurückkommen und fragen, ob es Ihnen nichts ausmacht, auf das von Ihnen erwähnte Problem einzugehen, da dies kein "linearer Operator" mehr ist. Wenn D / D T ist nur ein Symbol, weil wir es als Symbol gewählt haben und es als Variable keine Bedeutung hat D Und D T , warum hätten wir dann nicht genauso gut wählen können D / D als Symbol gemäß meinem ersten Kommentar? Gibt es eine "Regel", wenn man diesen Begriff als Symbol betrachtet, die berücksichtigt werden muss?
@Steeven: drin D / D F , Die T legt fest, dass die Variable in der Funktion ist T (nur für den Fall, dass es von anderen Variablen/Parametern abhängt. Es ist das Äquivalent der Notation von Lagrange F T ' oder Arbogasts D T .

Die mathematische Antwort lautet, wie von anderen in Kommentaren und Antworten angemerkt wurde D / D T ist im modernen Sprachgebrauch ein einzelnes Symbol, und daher ist es sinnvoll, dass der Operator zweimal angewendet wird ( D / D T ) 2 = D 2 D T 2 .

Der Physiker behandelt oft so etwas wie D S / D T als Verhältnis zwischen kleinen Mengen - zumindest intuitiv. Rein mathematisch gesehen ist das irgendwo zwischen schlampig und falsch. In vielen Fällen funktioniert es aber funktionstüchtig und der Physiker macht gerne mit. Das scheint eher dem zu entsprechen, was Sie fragen.

In diesem Fall (wobei noch einmal darauf hingewiesen wird, dass dies mathematisch überhaupt nicht streng ist), könnten Sie es so betrachten. Vielleicht haben Sie

v ( T ) = D S D T A ( T ) = D v D T

So weit so gut, denn jeder hat die Form, die Ihre Intuition verlangte - Der erste "sieht" aus wie ein Verhältnis zwischen kleinen Positionsänderungen und kleinen zeitlichen Änderungen. Das zweite "sieht" aus wie ein Verhältnis zwischen kleinen Geschwindigkeitsänderungen und kleinen Zeitänderungen. Wenn Sie ersetzen, dann bekommen Sie

A ( T ) = D D T D S D T = D 2 S D T 2

Ich werde noch einmal betonen, dass es mathematisch schlampig und / oder falsch ist, diese als separate Symbole zu betrachten, aber es stimmt mit dem überein, was Sie in Ihrer Frage als "physikalische Intuition" bezeichnet haben. Der D 2 im Zähler kam, weil Sie den Bruch "vereinfacht" haben - Wenn Sie ihn in Form von Infinitesimalen sehen möchten, müssen Sie die letzte Gleichung von rechts nach links ausführen, um sie in eine andere Form zu bringen.

Ich werde einige Ideen zusammenfassen, die in diesem Papier vorgestellt werden: http://online.watsci.org/abstract_pdf/2019v26/v26n3a-pdf/4.pdf

Die beste Art zu denken D D T ist wie zwei getrennte Dinge. (1) die Spitze D ist Differentialoperator (linear) auf was auch immer auf der rechten Seite ist und (2) die D T ist ein Infinitesimal, dh in diesem Fall wird derselbe Differentialoperator auf eine einzelne Variable angewendet T (z.B, D ( X 2 ) = 2 X D X und dividieren durch D X Erträge 2 X , dh die Ableitung von X 2 ). Infinitesimals werden durch die hyperreellen Zahlen ( https://en.wikipedia.org/wiki/Hyperreal_number ) der Nicht-Standard-Analyse unterstützt , die in https://www.math.wisc.edu/~keisler/calc einführend behandelt werden .html .

In der Originalarbeit habe ich auf die Notation verwiesen D 2 S D T 2 wird anhand der Beschreibung erklärt, die ich für die Erstbestellungsversion gegeben habe. Barletts Argument führt zum tatsächlichen mathematischen Äquivalent zweiter Ordnung von D D T Sein (unter Verwendung der prägnanteren Arbogast-Notation auf der linken Seite, die auch von Euler bevorzugt wird)

D T 2 = D 2 S D T 2 D S D T D 2 T D T 2

wo normalerweise T als unabhängige Variable angenommen wird und somit die rechte Hälfte der Gleichung Null wird. Diese Erklärung ist allgemeiner als Fälle, in denen die unabhängige Variable dies ist T und ermöglicht die algebraische Manipulation der Leibniz-Notation zweiter Ordnung. In Summe, D T ist nicht "nur ein Symbol", es ist ein unendlich kleines und D D T ist ein Differentialoperator oben mit dem D T eine algebraische Division durch ein Infinitesimal ist.

Die Notation entstand, indem zuerst die endlichen Differenzen betrachtet wurden, bevor zu den infinitesimalen Differenzen übergegangen wurde.

Also der erste Unterschied in S = S ( T ) Ist Δ S = S ( T + Δ T ) S ( T ) , was gibt

Δ S Δ T = S ( T + Δ T ) S ( T ) Δ T ,
und der zweite Unterschied ist
Δ Δ S = Δ ( S ( T + Δ T ) S ( T ) ) = Δ S ( T + Δ T ) Δ S ( T ) = S ( T + 2 Δ T ) 2 S ( T + Δ T ) + S ( T ) .
Somit ist der zweite Differenzenquotient
Δ Δ S Δ T Δ T S ( T + 2 Δ T ) 2 S ( T + Δ T ) + S ( T ) Δ T Δ T .

Beachten Sie, dass wir normalerweise schreiben Δ Δ S = Δ 2 S Und Δ T Δ T = Δ T 2 .

Dies zeigt, warum diese Wahl der Notation von Leibniz getroffen wurde.

Und jetzt noch ein Wort zu Differenzialen. Ein Differential ist eine infinitesimale Änderung einer Funktion, und ein Infinitesimal ist sozusagen eine unendlich kleine Größe. Man kann es sich halbformell als eine Menge vorstellen, die sich Null nähert. Nicht die Quantität allein oder die Nullgrenze, der sie sich nähert, sondern die Quantität und ihre Annäherung an Null. Somit sieht diese halbformale Definition aus wie die der Vektorgrößen der Physik, die einen Begriff gerichteter Größen erfassen. Das ist es, was der Begriff des Infinitesimal einfängt – unsere Intuition von Zeitpunkten, Punkten auf einer Linie usw.

Abgesehen davon ist klar, dass wir Differentiale separat behandeln und Operationen an ihnen durchführen können - und so wurden sie von Anfang an verwendet (daher die Differentialrechnung, Differentialgleichungen usw.). Insbesondere wenn wir an Größen denken, die von einer einzigen unabhängigen Variablen abhängen, dann können wir die Differenzen solcher Größen addieren, subtrahieren, multiplizieren, um ähnliche Differenzen zu erhalten. Bei der Division müssen wir jedoch vorsichtig sein, auch wenn das Differential im Nenner nicht das einer konstanten Funktion ist, da das Ergebnis nicht mehr immer ein Differential ist. In vielen Fällen ist es eine Funktion, und deshalb geht es in der Differentialrechnung darum, diese Art von Verhältnis von Differentialen zu berechnen.

Wenn wir zur Integration kommen, sammeln wir einen kontinuierlichen Strom von Differenzen, um eine Menge zu erhalten.

Das Ergebnis von all dem ist, dass Sie Recht haben. Auch wer die Rede von Differentialen (auch nach ihrer Berechtigung in der sogenannten Nichtstandardanalyse) verbannen würde, kommt nicht umhin, sie bei der Berechnung von Integralen zu verwenden. Und ich kann mir nicht vorstellen, dass sie noch so reden, wenn sie zum Beispiel über beliebige Mannigfaltigkeiten integrieren wollen. Mit Sorgfalt und Verständnis kann man also mit Differentialen rechnen, sobald man ihre Herkunft und Verhaltensregeln versteht – es sind nur unendlich kleine Unterschiede, das heißt, wir können uns das vorstellen D als das Paar ( Δ , Δ 0 ) , und sie gehorchen vielen der üblichen Regeln eines Rings (sobald Sie es nur mit einer unabhängigen Variablen zu tun haben). Bei mehr als einer unabhängigen Variablen werden die Dinge ein wenig komplizierter, und man muss möglicherweise zur multilinearen Algebra greifen, um Hilfe zu erhalten. Aber das ist eine andere Geschichte.