www.wikidata.de-de.nina.az
Lineare gewohnliche Differentialgleichungen bzw lineare gewohnliche Differentialgleichungssysteme sind eine wichtige Klasse von gewohnlichen Differentialgleichungen Inhaltsverzeichnis 1 Definition 2 Beispiele 2 1 Differentialgleichungen mit variablen Koeffizienten 2 2 Anharmonischer Oszillator 2 3 Rechenbeispiel fur den anharmonischen Oszillator 3 Globale Existenz und Eindeutigkeit 4 Losungsstruktur 4 1 Homogene Probleme 4 2 Inhomogene Probleme 4 3 Spezielle Verfahren zum Auffinden einer partikularen Losung 5 Periodische Systeme 6 LiteraturDefinition BearbeitenLineare gewohnliche Differentialgleichungen sind Differentialgleichungen der Form y n x k 0 n 1 a k x y k x g x displaystyle y n x sum k 0 n 1 a k x y k x g x nbsp in denen eine unbekannte auf einem Intervall I displaystyle I nbsp definierte reell komplex oder vektorwertige Funktion y displaystyle y nbsp gesucht wird die die vorgelegte Gleichung erfullt Dabei bezeichnet y k displaystyle y k nbsp die k displaystyle k nbsp te Ableitung der gesuchten Funktion Ist g displaystyle g nbsp gleich der Nullfunktion spricht man von einer homogenen anderenfalls von einer inhomogenen Gleichung Die Funktion g displaystyle g nbsp wird auch Inhomogenitat genannt Sie ist wie auch die Koeffizientenfunktionen a k displaystyle a k nbsp eine stetige auf ganz I displaystyle I nbsp definierte Funktion Im vektorwertigen Fall sind die a k displaystyle a k nbsp quadratische Matrizen und die Gleichung stellt ein lineares Differentialgleichungssystem fur die Komponenten y y 1 y m displaystyle y y 1 ldots y m nbsp der Losungsfunktion dar Im wichtigen Spezialfall dass die a k displaystyle a k nbsp nicht von x displaystyle x nbsp abhangen wird die Gleichung eine lineare Differentialgleichung mit konstanten Koeffizienten genannt Eine wesentliche Eigenschaft linearer Gleichungen ist das Superpositionsprinzip Lost y x displaystyle y x nbsp die Gleichung mit Inhomogenitat g x displaystyle g x nbsp und z x displaystyle z x nbsp mit Inhomogenitat h x displaystyle h x nbsp dann lost die Linearkombination a y x b z x displaystyle alpha y x beta z x nbsp die Gleichung mit Inhomogenitat a g x b h x displaystyle alpha g x beta h x nbsp Insbesondere sind im homogenen Fall Summen und Vielfache von Losungen stets wieder Losungen Das liegt daran dass eine hohere Ableitung y n displaystyle y n nbsp in linearer Weise von niederen Ableitungen y y n 1 displaystyle y ldots y n 1 nbsp abhangt Beispiele BearbeitenDifferentialgleichungen mit variablen Koeffizienten Bearbeiten Das lineare Differentialgleichungssystem erster Ordnung aus m displaystyle m nbsp Gleichungen y A x y g x displaystyle y A x y g x nbsp dd worin A I R m m displaystyle A colon I rightarrow mathbb R m times m nbsp und g I R m displaystyle g colon I rightarrow mathbb R m nbsp stetige Funktionen sind Das zugehorige homogene System lautet y A x y displaystyle y A x y nbsp dd Die lineare Differentialgleichung n displaystyle n nbsp ter Ordnung i 0 n a i x y i g x displaystyle sum i 0 n a i x y i g x nbsp dd worin a i g I R displaystyle a i g colon I rightarrow mathbb R nbsp stetige Funktionen sind Die zugehorige homogene Gleichung lautet i 0 n a i x y i 0 displaystyle sum i 0 n a i x y i 0 nbsp dd Unter letztere Gruppe fallen weiter die folgenden Differentialgleichungen Airysche Differentialgleichung y l x y 0 displaystyle y lambda xy 0 nbsp dd Besselsche Differentialgleichung x 2 y x y x 2 n 2 y 0 n R displaystyle x 2 y xy x 2 n 2 y 0 n in mathbb R nbsp dd Eulersche Differentialgleichung i 0 n b i c x d i y i x 0 displaystyle sum i 0 n b i cx d i y i x 0 nbsp dd Hermitesche Differentialgleichung y 2 x y 2 n y 0 n Z displaystyle y 2xy 2ny 0 n in mathbb Z nbsp dd Hypergeometrische Differentialgleichung x x 1 y a b 1 x g y a b y 0 a b g R displaystyle x x 1 y left alpha beta 1 x gamma right y alpha beta y 0 alpha beta gamma in mathbb R nbsp dd Laguerresche Differentialgleichungx y 1 x y n y 0 n N 0 displaystyle x y 1 x y ny 0 n in mathbb N 0 nbsp dd Legendresche Differentialgleichung 1 x 2 y 2 x y n n 1 y 0 displaystyle 1 x 2 y 2xy n n 1 y 0 nbsp dd Tschebyschowsche Differentialgleichung 1 x 2 y x y n 2 y 0 displaystyle 1 x 2 y xy n 2 y 0 nbsp dd In der klassischen Mechanik ist die unabhangige Variable der Differentialgleichungen haufig die Zeit Die Differentialgleichung des harmonischen Oszillatorsy w 0 2 y 0 displaystyle ddot y omega 0 2 y 0 nbsp dd Anharmonischer Oszillator Bearbeiten Im nun Folgenden wird die Standardform des anharmonischen Oszillators behandelt Fur eine lineare Differentialgleichung zweiter Ordnung mit den Koeffizienten 1 0 und 1 vor den Ableitungsordnungen der unbekannten Funktion gilt generell die nun folgende Losungsformel f x f x g x displaystyle color blue f x f x g x nbsp f x x 0 a displaystyle f x x 0 a nbsp f x x 0 b displaystyle f x x 0 b nbsp f x a cos x b sin x cos x 0 1 x sin x y g x y d y sin x 0 1 x cos x y g x y d y displaystyle color green f x a cos x b sin x cos x int 0 1 x sin xy g xy mathrm d y sin x int 0 1 x cos xy g xy mathrm d y nbsp Die Richtigkeit dieser Aussage kann durch Bildung der Ableitungen des Losungsausdrucks bestatigt werden Fur die Ableitungen der genannten Integralausdrucke gelten diese beiden Formeln d d x 0 1 x cos x y g x y d y cos x g x displaystyle frac mathrm d mathrm d x int 0 1 x cos xy g xy mathrm d y cos x g x nbsp d d x 0 1 x sin x y g x y d y sin x g x displaystyle frac mathrm d mathrm d x int 0 1 x sin xy g xy mathrm d y sin x g x nbsp Gegeben ist diese soeben erwahnte Losung f x a cos x b sin x cos x 0 1 x sin x y g x y d y sin x 0 1 x cos x y g x y d y displaystyle f x a cos x b sin x cos x int 0 1 x sin xy g xy mathrm d y sin x int 0 1 x cos xy g xy mathrm d y nbsp Durch Anwenden der Produktregel kommen so die folgenden Ableitungsfunktionen hervor f x a sin x b cos x sin x 0 1 x sin x y g x y d y cos x sin x g x displaystyle f x a sin x b cos x biggl sin x int 0 1 x sin xy g xy mathrm d y cos x sin x g x biggr nbsp cos x 0 1 x cos x y g x y d y sin x cos x g x displaystyle biggl cos x int 0 1 x cos xy g xy mathrm d y sin x cos x g x biggr nbsp f x a sin x b cos x sin x 0 1 x sin x y g x y d y cos x 0 1 x cos x y g x y d y displaystyle f x a sin x b cos x sin x int 0 1 x sin xy g xy mathrm d y cos x int 0 1 x cos xy g xy mathrm d y nbsp f x a sin x b cos x cos x 0 1 x sin x y g x y d y sin x 2 g x displaystyle f x a sin x b cos x biggl cos x int 0 1 x sin xy g xy mathrm d y sin x 2 g x biggr nbsp sin x 0 1 x cos x y g x y d y cos x 2 g x displaystyle biggl sin x int 0 1 x cos xy g xy mathrm d y cos x 2 g x biggr nbsp f x a cos x b sin x cos x 0 1 x sin x y g x y d y sin x 0 1 x cos x y g x y d y g x displaystyle f x a cos x b sin x cos x int 0 1 x sin xy g xy mathrm d y sin x int 0 1 x cos xy g xy mathrm d y g x nbsp Somit wird die genannte Bedingung aus der Differentialgleichung in der Tat erfullt f x f x g x displaystyle f x f x g x nbsp Rechenbeispiel fur den anharmonischen Oszillator Bearbeiten Aus dem Fundamentalsatz der Analysis resultieren diese beiden Ableitungen Die gezeigten Integrale selbst verlaufen durch den Koordinatenursprung Deswegen verlauft f x nach dem genannten Ausdruck durch den Punkt P 0 a mit der Steigung b Beispielsweise wird die nun folgende Differentialgleichung so gelost f x f x sinh x displaystyle color blue f x f x sinh x nbsp f x x 0 1 displaystyle f x x 0 1 nbsp f x x 0 0 displaystyle f x x 0 0 nbsp Das ist fur diese Differentialgleichung die Losung f x cos x cos x 0 1 x sin x y sinh x y d y sin x 0 1 x cos x y sinh x y d y displaystyle color green f x cos x cos x int 0 1 x sin xy sinh xy mathrm d y sin x int 0 1 x cos xy sinh xy mathrm d y nbsp f x cos x 1 2 sin x 1 2 sinh x displaystyle underline f x cos x tfrac 1 2 sin x tfrac 1 2 sinh x nbsp Globale Existenz und Eindeutigkeit BearbeitenSeien x 0 I displaystyle x 0 in I nbsp und y 0 y n 1 R m displaystyle y 0 dotsc y n 1 in mathbb R m nbsp beliebig Dann besitzt das Anfangswertproblem eines linearen Differentialgleichungssystems y n x k 0 n 1 a k y k x g x y i x 0 y i i 0 n 1 displaystyle left begin array l y n x sum k 0 n 1 a k y k x g x y i x 0 y i i 0 dotsc n 1 end array right nbsp gemass der globalen Version des Satzes von Picard Lindelof genau eine globale Losung y I R m displaystyle y colon I rightarrow mathbb R m nbsp Losungsstruktur BearbeitenHomogene Probleme Bearbeiten Hauptartikel Lineare homogene Differentialgleichung Jede Linearkombination von Losungen eines homogenen Problems ist wieder eine Losung dies wird als Superpositionsprinzip bezeichnet Somit ist die Menge aller Losungen ein Vektorraum Bei einer linearen homogenen Differentialgleichung n displaystyle n nbsp ter Ordnung und einem linearen homogenen Differentialgleichungssystem erster Ordnung von n displaystyle n nbsp Gleichungen ist er n displaystyle n nbsp dimensional Jede Basis des Losungsraums heisst ein Fundamentalsystem Inhomogene Probleme Bearbeiten Die Kenntnis von Fundamentalsystem und einer speziellen Losung y s p displaystyle y sp nbsp reicht aus um die Gesamtheit der Losungen des inhomogenen Problems zu bestimmen Es ist namlich y y h y s p y h L o s u n g d e s h o m o g e n e n P r o b l e m s displaystyle y y h y sp y h mathrm L ddot o sung des homogenen Problems nbsp die Menge aller Losungen des inhomogenen Problems Spezielle Verfahren zum Auffinden einer partikularen Losung Bearbeiten Hat man bereits ein Fundamentalsystem des zugehorigen homogenen Problems bestimmt so kann man eine spezielle Losung y s p displaystyle y sp nbsp des inhomogenen Problems durch die Methode der Variation der Konstanten oder das dort beschriebene Grundlosungsverfahren konstruieren Wenn die Inhomogenitat eine besondere Struktur ausweist kann man gelegentlich mit dem Exponentialansatz schneller zu einer partikularen Losung gelangen Falls man kein Fundamentalsystem konstruiert hat funktioniert gelegentlich ein Potenzreihenansatz Eine weitere Moglichkeit bietet die Laplace Transformation Die Laplace Transformation eignet sich aufgrund ihres Differentiationssatzes unter anderem dazu Anfangswertprobleme zu linearen Differentialgleichungen mit konstanten Koeffizienten zu losen Vorausgesetzt man kennt die Laplace Transformierte der Inhomogenitat erhalt man aus dem Differentiationssatz die Laplace Transformierte der Losung Unter Umstanden kennt man dann die Inverse davon so dass man die untransformierte Losung zuruckgewinnen kann Im Spezialfall eines Differentialgleichungssystems erster Ordnung mit konstanten Koeffizienten kann man die allgemeine Losung unter Zuhilfenahme der Matrixexponentialfunktion bestimmen sofern man die jordansche Normalform der Koeffizientenmatrix herstellen kann Periodische Systeme BearbeitenSeien A R R m m displaystyle A colon mathbb R rightarrow mathbb R m times m nbsp die stetige matrixwertige Abbildung und b R R m displaystyle b colon mathbb R rightarrow mathbb R m nbsp die Inhomogenitat des Systems y A x y b x displaystyle y A x y b x nbsp Die beiden Abbildungen A displaystyle A nbsp und b displaystyle b nbsp seien ausserdem periodisch mit der Periode w R displaystyle omega in mathbb R nbsp das heisst es gilt A x w A x displaystyle A x omega A x nbsp und b x w b x displaystyle b x omega b x nbsp Zwar kann man im Allgemeinen kein Fundamentalsystem des zugehorigen homogenen Problems explizit konstruieren jedoch kennt man deren Struktur aufgrund des Satzes von Floquet Es stellt sich bei periodischen Systemen die Frage nach der Existenz von periodischen Losungen mit der gleichen Periode w displaystyle omega nbsp Zunachst ist man am Losungsraum L w y C 1 R R m y x A x y x und y w periodisch displaystyle L omega y in C 1 mathbb R mathbb R m y x A x y x textrm und y omega textrm periodisch nbsp der w displaystyle omega nbsp periodischen Losungen des zugehorigen homogenen Problems interessiert Sei F displaystyle Phi nbsp eine Fundamentalmatrix des homogenen Problems y A x y displaystyle y A x y nbsp Dann heissen die Eigenwerte von F w F 0 1 displaystyle Phi omega Phi 0 1 nbsp Floquet Multiplikatoren beziehungsweise charakteristische Multiplikatoren von y A x y displaystyle y A x y nbsp und sind unabhangig von der Wahl der Fundamentalmatrix Es gilt Das homogene System y A x y displaystyle y A x y nbsp besitzt genau dann eine nichttriviale w displaystyle omega nbsp periodische Losung wenn 1 ein Floquet Multiplikator von y A x y displaystyle y A x y nbsp ist Fur das inhomogene Problem betrachtet man den Raum der w displaystyle omega nbsp periodischen Losungen vom adjungierten Problem y A x T y displaystyle y A x T y nbsp L w y C 1 R R m y x A x T y x und y w periodisch displaystyle L omega star y in C 1 mathbb R mathbb R m y x A x T y x textrm und y omega textrm periodisch nbsp Dann besitzt das inhomogene Problem y A x y b x displaystyle y A x y b x nbsp genau dann eine w displaystyle omega nbsp periodische Losung wenn 0 w y s b s d s 0 displaystyle int 0 omega langle y s b s rangle rm d s 0 nbsp fur alle y L w displaystyle y in L omega star nbsp gilt Man zeigt dim L w dim L w displaystyle dim L omega dim L omega star nbsp Also besitzt y A x y b x displaystyle y A x y b x nbsp fur jede Inhomogenitat b displaystyle b nbsp eine w displaystyle omega nbsp periodische Losung falls 1 kein Floquet Multiplikator von y A x y displaystyle y A x y nbsp ist Literatur BearbeitenHerbert Amann Gewohnliche Differentialgleichungen 2 Auflage de Gruyter Lehrbucher Berlin New York 1995 ISBN 3 11 014582 0 Carmen Chicone Ordinary Differential Equations with Applications 2 Auflage Texts in Applied Mathematics 34 Springer Verlag 2006 ISBN 0 387 30769 9 Wolfgang Walter Gewohnliche Differentialgleichungen 3 Auflage Springer Verlag 1985 ISBN 3 540 16143 0 Abgerufen von https de wikipedia org w index php title Lineare gewohnliche Differentialgleichung amp oldid 229244935