Metody matematyczne fizyki/Wprowadzenie do teorii operatorów liniowych
Licencja
|
---|
Autor: Mirosław Makowiecki
Absolwent UMCS Fizyki Komputerowej Uniwersytetu Marii Curie-Skłodowskiej w Lublinie Email: miroslaw(kropka)makowiecki(małpa)gmail(kropka)pl Dotyczy: książki, do której należy ta strona, oraz w niej zawartych stron i w nich podstron, a także w nich kolumn, wraz z zawartościami. Użytkownika książki, do której należy ta strona, oraz w niej zawartych stron i w nich podstron, a także w nich kolumn, wraz z zawartościami nie zwalnia z odpowiedzialności prawnoautorskiej nieprzeczytanie warunków licencjonowania. Umowa prawna: Creative Commons: uznanie autorstwa oraz miejsca pochodzenia książki i jej jakikolwiek części, a także treści, teksty, tabele, wykresy, rysunki, wzory i inne elementy oraz ich części zawarte w książce, i tą książkę, nawet w postaci przerobionej nie można umieszczać w jakikolwiek formie na czasopismach naukowych, archiwach prac, itp. Autor tej książki dołożył wszelką staranność, aby informacje zawarte w książce były poprawne i najwyższej jakości, jednakże nie udzielana jest żadna gwarancja, czy też rękojma. Autor nie jest odpowiedzialny za wykorzystanie informacji zawarte w książce nawet jeśli wywołaby jakąś szkodę, straty w zyskach, zastoju w prowadzeniu firmy, przedsiębiorstwa lub spółki bądź utraty informacji niezależnie, czy autor (a nawet Wikibooks) został powiadomiony o możliwości wystąpienie szkód. Informacje zawarte w książce mogą być wykorzystane tylko na własną odpowiedzialność. |
Tutaj tylko podamy wstęp do teorii operatorów liniowych, które są bardzo potrzebne w analizie funkcjonalnej, ale najpierw zapoznamy się z definicją iloczynu skalarnego, ten obiekt powinien spełniać własności :
Wzór (15.1) mówi nam, jakie warunki powinien spełniać iloczyn skalarny dwóch funkcji skalarnych lub wektorowych ale ogólnie zespolonych, jeśli ten iloczyn jest równy zero, to możemy dojść do wniosku, że funkcja f jest równa zero. Następnym bardzo ważnym postulatem jest, że zamienienie dwóch funkcji miejscami w iloczynie skalarnym, to ten nowy wynik jest sprzężonym zespolono z starym wynikiem przed przestawieniem, w takim przypadku drugi postulat:
Ostatnim warunkiem jest liniowość, że względu na drugi czynnik w tymże obiekcie, co zapisujemy jako:
Jeśli zastosujemy wzór na liniowość drugiego czynnika (15.3) i postulat (15.2), wtedy dostajemy, że istnieje anty-liniowość ze względu na pierwszy czynnik, co obrazujemy:
Gdy mamy iloczyn skalarny dwóch wektorów w przestrzeni kartezjańskiej, to definicja takiego iloczynu jest napisana przez definicję poszczególnych składowych:
W przestrzeni funkcyjnej często przyjmuje się jako definicję iloczynu skalarnego dla dwóch funkcji zapisanych w przestrzeni zespolonej:
Kwadrat normy wektora f zapisujemy wedle nastepującej definicji:
Kwadrat definicji normy funkcji f (15.7), wynikającego z definicji iloczynu skalarnego (15.6), określamy dla przestrzeni jednowymiarowej i trójwymiarowej jako normę wektora:
Odległość dwóch funkcji f i g definiujemy:
Przestrzeń nazywamy zupełną, gdy każdy ciąg pewnych funkcji ma granicę w tej omawianej przestrzeni, w której określamy daną funkcję.
Iloczyn operatorowyEdytuj
Iloczynem dwóch operatorów nazywamy operację, której najpierw operator B działa na funkcję w, a potem w ten sposób otrzymanego obiektu wsadzamy do działania operatora A, co ten wynik zapisujmy:
Jeśli n-ta potęga operatora A działa na funkcję w, wtedy jego działanie jest w postaci:
Funkcja, w której argumentem jest pewien operatorEdytuj
Załóżmy, że mamy pewną funkcję, w której argumentem nie jest pewna liczba, tylko pewnego rodzaju operator. Przykładem takiej funkcji, w której występuje pewien operator:
Ponieważ jest to funkcja gładka, możemy rozpatrzyć szereg Taylora
Zbieżność szeregu (15.14) nie jest automatyczna, aby był szeregiem zbieżnym należy określić normę naszego operatora należy napisać:
Funkcję (15.14) możemy liczyć wedle sposobu poniżej, tak się to dzieje, gdy dokonamy rozwinięcia funkcji f(x)=(1-x)-1 w szereg Taylora i do tego operatora wstawiamy operator , zatem na podstawie tychże rozważań możemy powiedzieć:
A eksponens pewnego operatora liczymy podobnie jak w przykładzie (15.16), ale tym razem mamy do czynienia z funkcją, której jest eksonens, której to naszą funkcję eax rozkładamy w szereg Tayllora, a później do niego podstawiamy operator , co możemy pisać:
Wprowadzenie do teorii komutacji i antykomutacji dwóch operatorówEdytuj
Ogólnie dwa operatory nie są przemiennymi operatorami, tzn. nie zachodzi w ogólności działanie , zatem wprowadźmy definicję komutatora, w których dla dwóch operatorów nazywamy definicję:
Dla przykładu policzmy komutator określony dla dwóch operatorów, tzn. operatora mnożenia przez liczbę i operatora różniczkowania, którego obliczenia przeprowadzimy poniżej:
Naszym następnym krokiem jest udowodnienie twierdzenia, której przestawienie jest wedle poniższego wzoru:
Dowód tożsamości (15.20) przestawimy wedle toku obliczeń poniżej, z którego to udowodnimy, że wychodząc z prawej strony obliczeń wspomnianego wzoru przechodzimy do jego lewej strony:
Definicja operatora sprzężonegoEdytuj
Operatorem sprzężonym do operatora
nazywamy taki operator, którego definicja jest przestawiana przy pomocy pewnych wektorów u i v, w takim razie:
Następnym krokiem bardzo znanym fizyce, gdy operator jest pewną macierzą, a u i v są pewnego rodzaju wektorami pionowymi, jest:
Z obliczeń przeprowadzonych w punkcie (15.23) możemy napisać wniosek:
Iloczyn operatora i pewnego parametru, a tego sprzężenieEdytuj
Wykorzystując definicję operatora sprzężonego (15.24) możemy obliczyć wyrażenie dwoma różnymi sposobami, by potem można by je przyrównać łatwo:
Możemy przyrównać oba powyższe wzory do siebie, bo one oznaczają to samo, stąd wniosek:
Definicja operatora hermitowskiego, czyli operatora samo-sprzężonegoEdytuj
Operatorem samosprzężonym do operatora nazywamy taki operator, który jest równy samemu opisywanemu operatorowi:
Gdy dany operatorem jest zwykłą macierzą, to warunek (15.24) piszemy:
Definicja operatora odwrotnegoEdytuj
Definicją operatora odwrotnego do operatora
nazywamy taki operator spełniający warunek:
Jeśli operator jest zwykłą macierzą, to operator odwrotny tegoż operatora (tutaj macierzy) nazywamy macierzą odwrotną znaną z klasycznego kursu algebry.
Definicja operatora unitarnegoEdytuj
Operatorem unitarnym nazywamy takim operatorem, który po prowadzeniu do iloczynu skalarnego nie zmienia długości norm, wtedy jego definicja jest:
Jeśli wykorzystamy definicję operatora sprzężonego unitarnego określona wedle wzoru (15.22), wtedy wzór (15.31) możemy zapisać:
Ze wzoru (15.31) i (15.32) wynika, że operator sprzężony od jest równy operatorowi odwrotnemu, co przestawiamy:
Elementy macierzowe operatoraEdytuj
Załóżmy, że mamy bazę ortogonalną zdefiniowanej wedle określenia ei, w takim przypadku elementami macierzowymi operatora w naszej bazie nazywamy elementy:
Transformacją wektorów bazy z jednego układu współrzędnych do drugiego przy określeniu, przy definicji operatora , określamy jako:
A dowód unitarności operatora przeprowadzamy w sposób :
Na podstawie obliczeń przeprowadzonych w punkcie (15.36) możemy napisać, że operator sprzężony, który mówi coś o przejściu z jednego układu do drugiego jest równy operatorowi odwrotnemu do , co zapisujemy:
Określmy elementy macierzowe operatora w nowej bazie względem elementów tego samego operatora w starej bazie:
Na podstawie przeprowadzonych obliczeń w punkcie (15.38) możemy powiedzieć, że transformacja operatora z jednego układu współrzędnych do drugiego i po jego odwróceniu, określamy:
Definicja śladu operatoraEdytuj
Śladem operatora nazywamy taką liczbą, która jest sumą jego elementów diagonalnych elementów macierzowych operatora:
Wykażemy, że ślad operatora jest niezmienny od wyboru bazy, w której liczymy elementy macierzowe naszego operatora, możemy to stwierdzenie udowodnić:
Równanie własne, wektory i wartości własne operatoraEdytuj
Równaniem własnym operatora przy oznaczeniach dla wartości własnych λ i wektorów własnych u nazywamy obiekt:
Operatory hermitowskie w zagadnieniu własnymEdytuj
- Wartości własne operatora hermitowskiego mając wartości własne rzeczywiste, co możemy udowodnić pisząc dowód tej własności wedle sposobu:
Wedle dowodu przeprowadzone w punkcie (15.44) udowodniliśmy tezę naszego twierdzenia.
- Wektory własne są do siebie ortogonalne równania własnego (15.44) dla operatora
, wtedy napiszmy dwa równania własne dla różnych wartości własnych naszego tutaj rozważanego operatora.
Równanie (15.41) mnożymy przez lewostronnie, a zaś równanie (15.42) mnożymy przez
prawostronnie, w takim razie te operacje zapisujemy:
Ponieważ operator jest operatorem hermitowskim, i korzystając własności (15.22) możemy powiedzieć, że lewe strony równań (15.47) i (15.48) są sobie równe, wtedy możemy odejmując oba te równania od siebie:
Dla różnych wartości własnych równania własnego (15.43) możemy powiedzieć:
Warunek (15.50) wskazuje, że wektory własne równania (15.43) są do siebie ortogonalne.
Podręcznik: Metody matematyczne fizyki.