Operatorenrechnung nach Mikusiński
Die Operatorenrechnung nach Mikusiński ist eine Operatorenrechnung der Elektrotechnik und der Systemtheorie der Nachrichtentechnik, die 1950 von Jan Mikusiński ausgearbeitet wurde. Damit begründete er die empirische Operatorenrechnung nach Heaviside durch moderne algebraische Methoden auf der Grundlage des Faltungsproduktes direkt und vollständig neu. Seine Operatorenrechnung geht nicht den „Umweg“ der Laplace-Transformation mit getrenntem Zeit- und Bildbereich. Sie ist weitreichender, logisch einfacher und allgemeingültiger.
Wie alle Operatorenrechnungen dient sie vorrangig dazu, lineare Differentialgleichungen in lineare algebraische Gleichungen umzuformen und damit deren Lösung wesentlich zu vereinfachen. Insbesondere bei der Berechnung linearer Netzwerke der Elektrotechnik können durch den direkten Einsatz des Differentialoperators bei Induktivitäten und Kapazitäten die klassischen Berechnungsmethoden der Gleichstromtechnik auch bei beliebigen Signalformen angewendet werden.
Aus mathematisch-algebraischer Sicht wird der Ring der stetigen Zeitfunktionen mit der Faltungsoperation als Multiplikation durch Bildung seines Quotientenkörpers zum Körper der Mikusiński-Operatoren erweitert, der dadurch als Umkehroperation der Faltung „Brüche“ von Funktionen ermöglicht.
Vor- und Nachteile
[Bearbeiten | Quelltext bearbeiten]Vorteile der Operatorenrechnung nach Mikusiński
- Ein Operator ist unmittelbar ein mathematisches Modell eines Signals oder Systems.
- Es ist kein Umweg über einen Bildbereich (Frequenzbereich) nötig, sondern man arbeitet immer im Originalbereich (Zeitbereich).
- Konvergenzuntersuchungen und daraus folgende Einschränkungen sind nicht notwendig.
- Die Arbeit mit Distributionen zur Beschreibung des Dirac-Impulses (und ähnlicher Signale) ist nicht nötig.
- Es sind keine Kenntnisse der komplexen Analysis aus der Funktionentheorie erforderlich.
Nachteile der Operatorenrechnung nach Mikusiński
- Die algebraische Begründung ist mathematisch sehr abstrakt und für die meist wenig algebraisch ausgebildeten „praktizierenden Ingenieure“ unanschaulich.
- Der Übergang zur in der Praxis oft benutzten „imaginären Frequenz“ und damit die Spektraldarstellung von Signalen sind nicht sofort offensichtlich.
Deshalb und aufgrund der wenigen verfügbaren Literatur zur Operatorenrechnung nach Mikusiński ist sowohl in der Praxis der Ingenieurtätigkeit als auch in der Ingenieursausbildung heute noch die Laplace-Transformation die meist angewandte bzw. gelehrte Methode der Operatorenrechnung.
Voraussetzungen und Schreibweise
[Bearbeiten | Quelltext bearbeiten]Wie alle Operatorenrechnungen ist auch die Operatorenrechnung nach Mikusiński nur für lineare zeitinvariante Systeme anwendbar. Die Signale müssen für t < 0 verschwinden und für t ≥ 0 stetig sein. Die konstruierten Operatoren können allerdings auch Signale mit endlich vielen Unstetigkeitsstellen repräsentieren.
Um eine Zeitfunktion (z. B. x(t)) als solche zu kennzeichnen und von ihrem Wert abzuheben sowie das Verschwinden bei negativer Zeit anzuzeigen, wird sie zwischen geschweifte Klammern geschrieben: . In der Literatur werden oft auch spitze Klammern verwendet: . Manchmal werden auch nur die Funktionsbezeichner ohne „(t)“ geschrieben: .
Konstruktion der Mikusiński-Operatoren
[Bearbeiten | Quelltext bearbeiten]Schritt 1: Der Ring der stetigen Funktionen
[Bearbeiten | Quelltext bearbeiten]Auf der Menge der im Intervall stetigen Funktionen werden folgende Operationen definiert:
Die Addition ordnet den zwei Zeitfunktionen und die durch „gewöhnliche“ Addition der Funktionswerte gewonnene Funktion zu:
- .
Das neutrale Element der Addition ist damit die Nullfunktion .
Die Multiplikation ordnet den zwei Funktionen und deren Faltungsprodukt zu, so dass gilt
- .
Bei der Schreibweise mit geschweiften Klammern wird die Faltung von zwei Funktionen (in der Literatur auch als Funktionenprodukt bezeichnet) üblicherweise durch den einfachen „Malpunkt“ (der auch weggelassen werden kann) symbolisiert, der nicht mit dem „normalen“ Multiplikationsoperator (auch als Werteprodukt bezeichnet) verwechselt werden darf. Beispielsweise gilt für das Funktionenprodukt, also die Faltung
- .
Ein neutrales Element dieser Multiplikation („Eins-Element“) gibt es nicht, denn die Delta-Distribution, die das realisieren würde, ist keine stetige Funktion. Damit wird diese Menge der stetigen Funktionen zu einem kommutativen Ring ohne Einselement, für den gilt:
- Satz von Titchmarsh:[1] Der Ring ist nullteilerfrei (d. h. die Faltung zweier Funktionen ist nur dann gleich , wenn mindestens eine Funktion ist). Damit wird er zum Integritätsbereich (im „weiteren Sinn“, wegen des fehlenden Einselementes[2]).
- Die Sprungfunktion übernimmt die Rolle des Integrationsoperators. Den dazugehörigen Umkehroperator gibt es nicht.
- Nicht jede Gleichung besitzt eine Lösung , die wieder eine stetige Funktion ist. Die Umkehroperation der Faltung („Faltungsdivision“) geht also „nicht immer auf“. Beispielsweise ist nicht als stetige Funktion lösbar.
Diese Situation ist vergleichbar mit der Division der ganzen Zahlen. Dort führt man die Brüche (die nichts weiter als Paare von ganzen Zahlen sind) als neue Zahlen ein und definiert die entsprechenden Operationen so, dass die Menge der ganzen Zahlen in der Menge der Brüche eingebettet ist. Auf die gleiche Weise werden (im nächsten Absatz) die „Brüche von Funktionen“ konstruiert.
Schritt 2: Bildung des Quotientenkörpers
[Bearbeiten | Quelltext bearbeiten]Die Körpertheorie zeigt: Jedem Integritätsbereich lässt sich eindeutig ein Körper zuordnen, in dem dieser isomorph eingebettet ist, der sog. Quotientenkörper. Der aus dem Integritätsbereich der stetigen Funktionen konstruierte Quotientenkörper heißt Körper der Mikusiński-Operatoren. Seine Elemente heißen Operatoren. Dazu werden Paare von Funktionen [{x(t)}, {y(t)}] gebildet und folgende Äquivalenzrelation eingeführt:
Die damit entstehenden Äquivalenzklassen sind die gewünschten Operatoren. Sie werden durch ihre Repräsentanten vertreten, die üblicherweise in Anlehnung an die Bruchrechnung mit „Bruchstrich“, der aber nicht als der der Zahlendivision interpretiert werden darf, geschrieben werden:
Die Addition zweier Operatoren wird (in Anlehnung an die Addition von Brüchen) wie folgt definiert:
Die Multiplikation wird ebenso als getrennte Multiplikationen (d. h. Faltungen) der beiden „Zähler“ bzw. „Nenner“ definiert:
Damit gilt nun schließlich für die Division von Operatoren:
Im Nenner darf niemals die Funktion {0} stehen und der „Malpunkt“ ist immer als Faltungsprodukt zu verstehen.
Ausgewählte Operatoren und ihre Bedeutung
[Bearbeiten | Quelltext bearbeiten]Das Eins-Element
[Bearbeiten | Quelltext bearbeiten]Jeder Operator, der in Zähler und Nenner die gleichen von {0} verschiedenen Funktionen besitzt, repräsentiert das neutrale Element der Multiplikation („1-Element“), den Operator 1 (der aber nicht mit der Sprungfunktion {1} verwechselt werden darf):
Per Definition ändert dieser Operator bei der Multiplikation („Faltung“) die Funktion selbst nicht. Er besitzt damit die Funktionalität der Delta-Distribution . Manche Autoren schreiben deshalb (mathematisch nicht exakt):
Die stetigen Funktionen
[Bearbeiten | Quelltext bearbeiten]Die (ursprünglichen) stetigen Funktionen {f(t)} selbst sind in den Operatoren der folgenden Form als „Unterring“ mit Isomorphie enthalten und können auch weiterhin wie die ursprünglichen Ringelemente geschrieben werden:
Deren „Division“ (also die Umkehrung der Faltung) ist nun im Körper der Operatoren unbegrenzt ausführbar:
Damit können die geschweiften Klammern auch als „Operatorklammern“ betrachtet werden, die aus einer Zeitfunktion einen Operator machen.
Der Integrationsoperator
[Bearbeiten | Quelltext bearbeiten]Die Sprungfunktion {1} spielt weiterhin die Rolle des Integrationsoperators:
Zahlenoperatoren
[Bearbeiten | Quelltext bearbeiten]Als Zahlenoperatoren oder Konstanten bezeichnet man die Elemente folgender Form (wobei k eine beliebige komplexe Zahl darstellt):
Diese Operatoren sind damit ein Unterkörper mit Isomorphie zu den komplexen Zahlen und übernehmen deren Funktion innerhalb der Operatorenrechnung.
Der Differentialoperator
[Bearbeiten | Quelltext bearbeiten]Der Differentialoperator wird ganz natürlich als Umkehrung des Integrationsoperators neu definiert und üblicherweise (in Anlehnung an die Laplace-Transformation) mit s (bei manchen Autoren auch mit p) bezeichnet:
Wird der Integrationsoperator auf die Ableitung einer differenzierbaren Funktion (deren Wert von 0 beim Differenzieren weggefallen ist) angewendet, so wird
- .
Wenn man nun den Integrationsoperator durch 1/s ersetzt und entsprechend auflöst, erhält man die wichtige Regel zur Anwendung des Differentialoperators auf eine differenzierbare Funktion
oder für den Operator eines Differentialquotienten
- .
Das Ergebnis des Differentialoperators setzt sich also aus dem Operator der Ableitung der Funktion und einem Konstanten-Operator zusammen. Dieser Konstanten-Operator repräsentiert eine Anfangsbedingung und stellt einen wesentlichen Unterschied zum Differentialoperator der heavisideschen Operatorenrechnung dar, stimmt aber mit den Regeln der Laplace-Transformation überein.
Die Darstellung von Zeitfunktionen durch Differential-Operatoren
[Bearbeiten | Quelltext bearbeiten]Wesentlich für die praktische Anwendung ist die Möglichkeit der Darstellung von Zeitfunktionen durch Ausdrücke mit dem Differentialoperator s. Im Fall der Mikusiński-Operatoren erhält man damit die genauen Entsprechungen zu den Bildfunktionen der Laplace-Transformation.
- Der Einheitssprung als Integrationsoperator ist der Kehrwert des Differentialoperators:
- Für die Rampenfunktion gilt
- Für die Exponentialfunktion ergibt sich mit der Eigenschaft des Differentialoperators
- Durch Auflösung nach der Exponentialfunktion ergibt sich deren Operatordarstellung
- Verallgemeinert kann folgende „Korrespondenz“ bewiesen werden:
Praktisch können für alle diese „Umrechnungen“ die Korrespondenztabellen der Laplace-Transformation benutzt werden. Das gilt auch für die Berechnung der Zeitfunktionen aus den Operator-Ausdrücken.
Die Interpretation von rationalen Operatorfunktionen
[Bearbeiten | Quelltext bearbeiten]Bei der Arbeit mit Netzwerken aus konzentrierten Bauelementen und anderen Systemen, die sich durch gewöhnliche lineare Differentialgleichungen beschreiben lassen, erhält man eine rationale Operatorfunktion (also einen Bruch aus Polynomen in s), die das System (z. B. als Übertragungsfunktion) beschreibt. Die Interpretation als Zeitfunktion (in der Laplace-Transformation würde man das als Rücktransformation bezeichnen) erfolgt z. B. durch Partialbruchzerlegung und Interpretation der Partialbrüche mit Hilfe von Korrespondenztabellen.
Beispiele zur Lösung von Differentialgleichungen
[Bearbeiten | Quelltext bearbeiten]Ein RLC-Reihenschwingkreis an der idealen Spannungsquelle u(t) lässt sich durch folgendes (lineare) DGL-System (in Zustandsform) beschreiben:
Mit Einführung der Operatorschreibweise erhält man
Üblicherweise führt man bei Schwingkreisen als Abkürzung die Resonanzkreisfrequenz , die Abklingkonstante und die Eigenkreisfrequenz ein. Wir setzen eine geringe Dämpfung (periodischer Fall) voraus, so dass gilt .
Entladung eines Reihenschwingkreises
[Bearbeiten | Quelltext bearbeiten]Der Spezialfall der Entladung des mit geladenen Kondensators durch Kurzschluss () ergibt
Durch Auflösen der ersten Gleichung nach der Kondensatorspannung und Einsetzen in die zweite Gleichung eliminieren wir diese zur Berechnung des Stromes im Schwingkreis:
Umordnen ergibt
Mit den o. g. Abkürzungen und nach Division durch LC kann man die Gleichung umschreiben:
Durch Auflösung nach dem gesuchten Strom, Ermittlung der Wurzeln des Nenners und Partialbruchzerlegung erhält man
- .
Die rechts stehenden Operatorausdrücke sind als die der Exponentialfunktion bekannt (s. o.) und können deshalb entsprechend geschrieben werden
Schließlich schreibt man diese Operatorgleichung wieder in „Zeitform“:
Einschalten eines Reihenschwingkreises
[Bearbeiten | Quelltext bearbeiten]Der Spezialfall des Aufladens des ungeladenen Kondensators durch Einschalten einer Gleichspannung ergibt
Durch Auflösen der ersten Gleichung nach der Kondensatorspannung und Einsetzen in die zweite Gleichung eliminieren wir diese:
Umordnen ergibt
Mit den o. g. Abkürzungen und nach Division durch LC kann man die Gleichung umschreiben:
Der Differentialoperator s und der integrierende Einschaltsprung heben sich zum Konstantenoperator auf:
- .
Damit haben wir praktisch die gleiche Gleichung wie beim Ausschaltvorgang und damit die gleiche Lösung (mit umgekehrten Vorzeichen)
Operatorreihen und Operatorfunktionen
[Bearbeiten | Quelltext bearbeiten]Grenzwert
[Bearbeiten | Quelltext bearbeiten]Für notwendige Grenzübergänge bei der Arbeit mit Operatorreihen, partiellen Differentialgleichungen und nichtrationalen Operatoren wird ein erweiterter Begriff der Konvergenz von Operatorfolgen eingeführt: Falls eine Funktion im klassischen Sinne gegen konvergiert, dann konvergiert auch die Folge der Operatoren gegen den Operator , wobei g ein beliebiger Operator ist. Beispielsweise folgt damit aus der bekannten Konvergenz von
die Konvergenz im Sinne der Operatorenrechnung
- .
Operatorreihen
[Bearbeiten | Quelltext bearbeiten]Mit diesem Konvergenzbegriff können die Gesetzmäßigkeiten und Summenformeln der „klassischen“ Reihenlehre auf Operatorreihen übernommen werden. Ein typisches Beispiel ist die binomische Reihe:
Operatorfunktionen
[Bearbeiten | Quelltext bearbeiten]Ein Operator, der von einer reellen Zahl aus einem bestimmten Intervall abhängt, heißt Operatorfunktion. Insbesondere sind parametrische Operatorfunktionen für jede reelle Zahl definiert. Operatorfunktionen können in Bezug auf den Parameter stetig und differenzierbar sein. Dann definiert man die Ableitung der Operatorfunktion als Operator der partiellen Ableitung der den Operator definierenden Funktion. Ist also beispielsweise , dann gilt .
Der Verschiebungsoperator
[Bearbeiten | Quelltext bearbeiten]Unter dem Verschiebungsoperator versteht man eine vom Parameter T abhängige Operatorfunktion, welche die Funktion, auf welche sie angewendet wird, um die Zeit T „nach rechts“ verschiebt:
Auf Grund der aus der Definition ableitbaren Rechenregeln für die „übliche“ Potenzrechnung und einigen weiteren Definitionen für den Verschiebungsoperator kann man diesen vorteilhaft als Exponentialfunktion in Bezug auf den Differentialoperator s definieren:
- .
Mit Hilfe des Verschiebungsoperators lassen sich nun auch unstetige Funktionen (z. B. die Treppenfunktion) und periodische Funktionen als Operator darstellen. Damit ist die Kompatibilität zur komplexen Wechselstromrechnung und zur Laplace-Transformation hergestellt.
Anmerkung
[Bearbeiten | Quelltext bearbeiten]In der älteren Literatur (z. B. bei Berg) wird als Funktionsprodukt nicht die Faltung, sondern die zeitliche Ableitung des Faltungsproduktes benutzt. Das ist zwar nur ein formaler Unterschied, der jedoch die Kompatibilität zur „modernen“ Laplace-Transformation stört, dafür aber kompatibel zur sogenannten Laplace-Carson-Transformation ist.
Siehe auch
[Bearbeiten | Quelltext bearbeiten]- Komplexe Wechselstromrechnung
- Erweiterte symbolische Methode der Wechselstromtechnik
- Operatorenrechnung nach Heaviside
- Systemtheorie (Ingenieurwissenschaften)
Literatur
[Bearbeiten | Quelltext bearbeiten]- Jan Mikusiński: Operatorenrechnung. Deutscher Verlag der Wissenschaften, Berlin 1957.
- F. H. Lange: Signale und Systeme - Band 1: Spektrale Darstellung. Verlag Technik, Berlin 1965.
- Lothar Berg: Einführung in die Operatorenrechnung. Deutscher Verlag der Wissenschaften, Berlin 1965.
- Manfred Peschel: Moderne Anwendungen algebraischer Methoden. Verlag Technik, Berlin 1971.
- Peter Vielhauer: Theorie der Übertragung auf elektrischen Leitungen. Verlag Technik, Berlin 1970.
- Peter Vielhauer: Lineare Netzwerke. Verlag Technik, Berlin 1982.
- Gerhard Wunsch: Systemtheorie. Akademische Verlagsgesellschaft Geest&Portig K.-G., Leipzig 1975.
- Gerhard Wunsch: Geschichte der Systemtheorie. Akademie-Verlag, Leipzig 1985.
Einzelnachweise
[Bearbeiten | Quelltext bearbeiten]- ↑ E. C. Titchmarsh: Introduction to the Theory of Fourier Integrals. Oxford University Press, Oxford 1937.
- ↑ Gerhard Wunsch: Algebraische Grundbegriffe. Verlag Technik, Berlin 1970, DNB 458706388.