In der Literatur wird zum Beweis der Existenz der Green-Funktion für lineare Systeme argumentiert, dass wenn für eine lineare Differentialgleichung wie
wenn wir die Antwort des Delta-Eingangs kennen wir können die Antwort für eine beliebige zeitabhängige Eingabe konstruieren und hier ist die Beweisskizze:
Angenommen, wir kennen eine Funktion das ist die Antwort der Gleichung
und erfüllt dann alle Randbedingungen für jede beliebige Eingabe, da wir können sagen, verwenden Sie die Linearität von und sag
Bis hierher ist alles klar, aber ich sehe nicht, wie sich die Anfangsbedingung auf die Antwort auswirken wird . Mit anderen Worten, ich denke, für eine vollständige Antwort müssen wir den folgenden Ausdruck angeben:
Diese zusätzlichen Einschränkungen , die durch Anfangsbedingungen erzwungen werden, werden nie diskutiert, wenn die Anfangsbedingungen nicht Null sind (wenn alle Null sind, werden diese Gleichungen automatisch erfüllt).
Jetzt bin ich völlig verwirrt, weil diese Einschränkungen eine Art Normalisierung der Funktion auferlegen Und was kein sinn ist. Ich freue mich über jede Hilfe, die die letzten Ausdrücke, ihre Intuition und die Art und Weise, wie Menschen damit umgehen, erklärt.
Dank der Hinweise und ein wenig Recherche bin ich in Sadri Hassanis Buch Mathematische Physik fündig geworden . Ich versuche Schritt für Schritt zu erklären.
Da die ODE inhomogen ist und auch inhomogene Anfangswerte hat, besteht die Konvention zunächst darin, sie (dank der Linearität) in zwei Funktionen zu zerlegen Und welche die homogene bzw. inhomogene Antwort des Problems sind. Bei dieser Zerlegung müssen wir uns auch um Anfangswerte kümmern.
Hier kommt die zweite Konvention, die die Anfangswerte umfasst. Wir bitten um die Anfangswerte für null (homogen), aber ungleich null (nicht homogen) sein für .
Also das ursprüngliche Problem von
wird transformiert, um a zu finden Und so dass Und
Das erste Problem ist einfach. Man kann die charakteristische Gleichung lösen, um die Potenzen der Exponentialterme zu erhalten, und ein lineares System lösen, um die Koeffizienten zu finden, die die allgemeine Lösung bilden Passen Sie die Anfangswerte an. Notiere dass der ist eine Funktion von nur.
Die zweite kann dank der Magic of Green-Funktion gelöst werden. dh wir können nach a suchen das erfüllt den zweiten Ausdruck, der in der Praxis viel einfacher ist als das, was ich in der Frage erwähnt hatte, die alle Anfangsbedingungen erfüllen würde. Vorausgesetzt, wir finden solche , wir können die schreiben wie nachstehend:
und seit jetzt sind alle Null, und alle Ableitungen sind Null, konsistent mit der obigen Gleichung.
PS: Ich war mehr an einer allgemeinen Routine interessiert, die für alle Anfangs- / Randbedingungen unter Verwendung der Green-Funktionstechnik die allgemeine Antwort für beliebige Eingaben erzeugt. Obwohl dieses Rezept für dieses spezifische Problem funktioniert, ist es irgendwie gut konstruiert und ich denke, es ist vielleicht nicht der allgemeinste Fall. Der Grund, warum ich dieses Rezept nicht allgemein fand, ist, dass die Zerlegung, die ich an erster Stelle durchgeführt habe, für andere Fälle möglicherweise nicht nützlich ist.
Und um zu zeigen, was ich mit einem allgemeinen Fall meine, möchte ich lieber das folgende Problem ansprechen. Nehmen Sie das gleiche Problem an, aber diesmal mit Randbedingungen anstelle von Anfangswerten:
Können wir die Antwort mit ähnlichen Maschinen konstruieren? Was ist, wenn die BCs Derivate enthalten (ob erster Ordnung oder höher)?
PSS: Ich habe noch nicht darüber nachgedacht, aber ich freue mich, wenn mir jemand in den Kommentaren einen Hinweis darauf gibt.
Wladimir Kalitwjanski
arash
Wladimir Kalitwjanski
arash
Wladimir Kalitwjanski
QMechaniker
arash