Metody matematyczne fizyki/Dystrybucje jako funkcje uogólnione
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, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń. 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ść. |
Podręcznik: Metody matematyczne fizyki.
Funkcja Diraca jest jedną z podstawowych funkcji rozważanych w mechanice kwantowej. Poniżej podamy własności funkcji Diraca i ich dowody. Od naszej funkcji Diraca oczekujemy, by w punkcie zerowym miała wartość niezerową, a w pozostałych punktach przyjmowała wartość równą zero, tak by całka tej funkcji po całej nieskończonej przestrzeni jednowymiarowej miała wartość równą jeden. Stąd wynika, że funkcja ta w punkcie zerowym ma wartość równą plus nieskończoność. Oczywiste jest, że całkowanie po całej przestrzeni rzeczywistej można zawęzić do całkowania do przedziału dowolnie małego zawierający nasz punkt zerowy:
A zatem oczekujemy, by funkcja Diraca dążyła do osobliwości w punkcie x=0.
Własności funkcji Diraca
(1) Podstawowa własność funkcji Diraca: całka iloczynu zwykłej funkcji f(x) i funkcji Diraca jest równa wartości funkcji f(x) obliczonej w punkcie x=0
Dowód: Poza punktem zerowym funkcja Diraca przyjmuje wartość zero, a więc punkty te nie wnoszą nic do całki (12.1) - całkowanie możemy zawęzić do przedziału dążącego do zera i obliczyć wedle naszych wcześniejszych omówień:
Co kończy dowód.
(2) Funkcja Diraca jest równa nieskończoności w punkcie , a w pozostałych punktach jest równa zero. Z własności przesunięcia równoległego o wektor jednowymiarowy wynika, że powinno zachodzić:
(3) Z własności przesunięcia równoległego wynika też, że całka iloczynu funkcji f(x) i funkcji Diraca przesuniętej o wektor jest równa funkcji f(x) w punkcie osobliwym :
(4) Gdy funkcja f(x) jest funkcją Diraca, to z wzoru (12.6) formalnie wynika, że:
Ponadto: Z własności tej wynika, że funkcja jest funkcją parzystą.
Uwaga 1: Wzór (12.6) de facto jest udowodniony dla przypadku, gdy f(x) oznacza w tym wzorze funkcję. Delta Diraca nie jest jednak funkcją, ale tzw. dystrybucją. Formalne podstawienie do tego wzoru zamiast funkcji delty Diraca stanie się dopiero uprawnione, gdy własność ta zostanie rozszerzona na dystrybucje, czego dowód jest pokazany poniżej.
Dowód:
Wzór (12.7) można przedstawić w dwóch równoważnych postaciach:
lub
Na podstawie równości obliczeń (12.8) oraz (12.9) wnioskujemy, że funkcja jest funkcją parzystą względem punktu , bo wartość całki nie może się zmieniać w zależności od sposobu liczenia tejże całki, cnd.
Uwaga 2: O tym, że delta Diraca nie jest "zwykłą funkcją" można przekonać się, podstawiając do wzoru (12.6) wartości delty Diraca oraz - gdy , to formalnie otrzymalibyśmy
w całej przestrzeni jednowymiarowej, co oznaczałoby, że cała całka ma wartość równą zero, w oczywistej sprzeczności z wzorem (12.7)
Wnioski: 1. Całka z iloczynu funkcji i dystrybucji daje w wyniku pojedynczą liczbę, zaś całka z iloczynu dwóch delt Diraca daje w wyniku inną deltą Diraca, która jest nie liczbą, ale dystrybucją określoną na całej przestrzeni.
2. Nie można mnożyć dystrybucji przez siebie w sposób identyczny, jak mnoży się funkcje. Zamiast tego można tworzyć całki z iloczynów dystrybucji - tzw. sploty (por. niżej)
Wprowadzenie do teorii funkcji próbnych w teorii dystrybucji
[edytuj]W teorii dystrybucji pierwszym krokiem jest wprowadzenie zbioru funkcji zwanych próbnymi. Zgodnie z naszymi wymogami, funkcjami próbnymi nazywamy funkcje nieskończenie różniczkowalne i są one różne od zera na ograniczonym obszarze, zbiór tychże funkcji będziemy oznaczać symbolem .
Przykładem funkcji próbnych jest funkcja zdefiniowana:
Zdefiniujemy funkcję , która jest splotem funkcji φ i funkcji , zatem tą naszą funkcję piszemy wedle schematu:
Jeśli w powyższej funkcji dokonamy podstawienia t=x-y, to natychmiast otrzymamy wzór poniżej, co na podstawie tego możemy udowodnić przemienność naszego splotu funkcji f i funkcji , z której wynika różniczkowalność naszego splotu.
Na podstawie ostatniego równania, funkcja jest nieskończenie wiele razy różniczkowalna, co wynika z faktu, że funkcja jest też nieskończenienie wiele razy różniczkowalna, bo ona jest zależna od "x", a funkcja już nie zależy od argumentu x, co tą różniczkowalność wynika z teorii o pochodnej na całce. We wzorze (12.11) dokonajmy podstawienia, które określamy przy pomocy parametru t, czyli y=εt, w takim razie powyższą funkcję piszemy wedle:
Następnym bardzo ważnym krokiem jest policzenie wyrażenia, która jest różnicą funkcji φε(x) i,φ(x), korzystając z faktu o normalizacji delty Diraca (12.1), w takim przypadku dostajemy tożsamość:
W przeprowadzonych obliczeniach (12.13) funkcja podcałkowa dla ε dążącego do zera dąży do zera, zatem cała całka dąży do zera, stąd wynika, że funkcja dla której zdefiniowana jest norma (12.1) jest poprawną definicją tejże naszej rozważanej funkcji.
Ciągłość funkcji próbnych w teorii dystrybucji
[edytuj]W powyższym wzorze funkcja φn jest tak zdefiniowana, by te omawiane funkcje nie wychodziły poza pewien przedział, czyli mają ograniczone nośniki. Funkcje te dążą jednostajnie do funkcji φ0, a także to samo dotyczy ich pochodnych, w takim przypadku mamy:
Matematyczna definicja funkcji próbnej w teorii dystrybucji
[edytuj]Funkcją próbną (dystrybucją) nazywamy funkcjonał liniowy ciągły w pewnej ściśle określonej przestrzeni. Wynik działania dystrybucji określać będziemy symbolem T[φ] lub symbolem ⟨T,φ⟩:
Dystrybucja spełnia również warunki liniowości, którego zapisujemy:
Na sam koniec wprowadźmy warunek ciągłości dla dystrybucji dla n dążącego do nieskończoności:
Przykłady dystrybucji
[edytuj]- Zdefiniujmy całkę, określoną za pomocą dystrybucji, którą zapiszemy jako:
Sposób liczenia całki z odwrotności funkcji x przeprowadzonych w punkcie nazywamy wartością główną tej całki. W tym celu aby z ilustrować wartość główną policzmy dwie te same całki poniżej i przekonamy co to jest wartość główna przy liczeniu tej samej całki dwoma sposobami, w których wychodzą różne wyniki.
Wartością główna całki jest całka policzona wedle schematu (12.19), a wartością główną nie jest całka obliczona wedle schematu (12.20).
- Wzór (12.21) zostanie udowodniony za pomocą obliczeń pokazanych w dalszej treści:
Dowód (12.21) przebiega na podstawie teorii o dystrybucjach, ale najpierw zróbmy tak, by pod całką funkcja posiadała mianownik zawierający wyrażenie rzeczywiste:
W pierwszej całce możemy przejść do granicy, a drugiej całce dokonujemy podstawienia x=εt, i wiedząc, że całka jest równa liczbie π, a także wykorzystując fakt (12.2), w takim razie możemy napisać:
Ciągi zależne od delty ε i zbieżne do pewnej funkcji f(x) przy ε dążącej do zera
[edytuj]Aby utworzyć ciąg deltopodobny należy skonstruować ciąg, który zależy od ε, które jak wiemy dąży do delty Diraca, w takim przypadku ten ciąg definiujemy:
Udowodnimy, że w przypadku granicznym nasz ciąg fε(x) jest dystrybucją, czyli jest równa delcie Diraca. Wynik działania dystrybucji fε(x), który jest ciągiem deltopodobnym (12.17) w przedziale nieskończonym definiujemy wzorem poniżej. W tym samym punkcie w całce wprowadzimy nowe zmienne zapisane wzorem x=tε:
Gdy przejdziemy do granicy ε dążącego do zera dla ciągu zależnego od parametru ε (12.24) i na samym końcu korzystając ze wzoru, którego spełnia funkcja f(x), czyli warunku, tzn. , którego jest własnością ogólnie dystrybucji (12.1), a szczegółowo delty Diraca, w takim przypadku możemy napisać przekształcenia:
Mnożenie dystrybucji przez dowolną funkcję o ograniczonym nośniku
[edytuj]Wprowadźmy sugestię, co do dystrybucji, którą określamy mnożenie dystrybucji przez funkcję należącej do dziedziny liczb zespolonych, zatem dystrybucja jest tak napisana by było spełniona równość:
Jako przykład rozpatrzmy funkcję f=x, która podstawiona do wzoru (12.27) przestawia się wzorem z definicji działania dystrybuanty T:
Z obliczeń przeprowadzonych w punkcie (12.28) możemy wywnioskować, że wyrażenie, która jest iloczynem liczby x i delty Diraca jest równe zero:
Rozpatrzmy następny przypadek, która to funkcja nie jest równa zero dla x=0, a w pozostałych przypadkach jest nierówna zero, w takim przypadku możemy napisać równość:
Gdy delta Diraca jest tylko nierówna zero w punkcie x=a, to równanie (12.30) z warunku przesunięcia równoległego przestawiamy wzorem:
Teraz wykażemy, że delta Diraca δ(x) z dokładnością do stałego czynnika jest rozwiązaniem równości:
Aby udowodnić, że tak jest, należy liczbę <T,φ>, w której definiujemy funkcję ψ(x), która w punkcie x=0 jest równa jeden, co na tej podstawie w drugiej równości w poniższym rozpisaniu pierwszy wyraz jest równy zero, w takim przypadku to nasze wyrażenie piszemy:
Na podstawie obliczeń przeprowadzonych w punkcie (12.33) rozwiązaniem równania (12.32) jest funkcja zdefiniowana wzorem:
Teraz rozpatrzmy jaka jest funkcja T, która jest rozwiązaniem równania, będącego iloczynem funkcji x i T, która jest równa dla naszego przypadku liczbie jeden:
Rozwiązaniem równania (12.35), która jest niejednorodnym równaniem, którego rozwiązaniem szczególnym jest rozwiązanie , ale też korzystając z faktu, że (12.34) jest rozwiązaniem równania jednorodnego (12.32), w takim rozwiązaniem ogólnym równania wspomnianego na samym początku tego zdania jest funkcja w postaci:
Różniczkowanie funkcji uogólnionych
[edytuj]Pochodną dystrybucji nazywamy taką nową dystrybucję, która spełnia tożsamość:
Aby udowodnić tożsamość (12.37) należy przestawić na w sposób całki Riemmanna, i wiedząc, że dystrybucja T jest równa zero w nieskończonościach, zatem całkowanie dokonajmy poprzez części:
Pochodna uogólniona trzech zmiennych i wykorzystanie w tym celu definicji Laplasjanu
[edytuj]Weźmy teraz funkcję T, która jest zależna od promienia ρ, którego to definicję T i ρ definiujemy wzorami:
Mając definicję Laplasjanu, czyli definicję operatora Δ (7.36), to działaniem tegoż operatora na funkcję T (12.29) jest określone przez:
Widzimy, że Laplasjan funkcji T zdefiniowaną w punkcie (12.39) jest równy zero dla ρ nierównej zero, zatem sprawdźmy jaki jest wynik działania operatora Δ, gdy ρ jest równy zero. W tym celu policzmy (12.38)
Całkowanie po całej objętości w przestrzeni trójwymiarowej zapisaną w punkcie (12.42) możemy zapisać jako całkowanie po kuli o promieniu R bez kuli zawartej wewnątrz tej kuli o promieniu ε, co jej promień dąży do zera, czyli w ten sposób wektor normalny dla kuli większej jest zwrócony na zewnątrz kuli, a wektor normalny dla kuli o promieniu ε jest zwrócony do środka tejże omawianej kuli, zatem ostatni wzór zapisujemy:
Funkcję podcałkową występująca w wyrażeniu (12.43), korzystając z definicji o pochodnej iloczynu dwóch funkcji, możemy przestawić:
Ostatni człon w równaniu (12.44) jest równy zero na podstawie tożsamości udowodnionej w punkcie (12.41), wtedy całka (12.42), przy wykorzystaniu twierdzenia (7.67), przestawiamy:
Przy całkowaniu pierwszej całki, przy definicji dS=r2dΩ i r=ε, to pierwsza całka w wyrażeniu (12.45) jest równa zero, w takim przypadku został nam do rozpatrzenia człon drugi:
W wyrażeniu przyjęliśmy, że wektor ma kierunek do środka kuli o promieniu ε i dlatego po prawej stronie w drugiej równości (12.46) występuje znak minus. Wtedy po pewnych rozważaniach równanie (12.45) przyjmuje postać:
Równanie (12.42), na podstawie późniejszych obliczeń i definicji wycinka powierzchni kuli, której powierzchnia jest iloczynem funkcji r2 i kata bryłowego dΩ, przestawia się:
Wedle rozważań przeprowadzonych powyżej dla dowolnych funkcji φ możemy napisać tożsamość wynikającą z przeprowadzonych obliczeń w punkcie (12.48):
Sploty funkcji uogólnionych
[edytuj]Jak wiadomo dystrybucji nie należy mnożyć przez siebie, ale można określić działanie o charakterze splotu. Zatem splotem dwóch funkcji uogólnionych nazywamy funkcję oznaczoną za pomocą oznaczenia *, i zdefiniowaną równoważnymi wzorami:
Sprawdźmy, czy splot zdefiniowany wzorem (12.50) lub wzorem (12.51) są działaniami przemiennymi. W tym celu dokonajmy podstawienia określonego wzorem t=x-y, aby tą przemienność udowodnić:
Inną definicją splotu nazywamy technikę dystrybucyjną napisaną wedle sposobu poniżej. Widzimy, że jest to całka dwóch zmiennych x i y, która określa działanie dystrybucji przy dowolnej funkcję próbnej φ(x) zależnej tylko od jednego parametru.
Jeśli w równaniu (12.53) dokonamy podstawienia określonego wzorem t=x-y, to tą wspomnianą równość można przepisać po tym podstawieniu wedle sposobu:
Widząc wzór (12.54) możemy napisać definicję splotu dwóch dystrybucji, czyli splotu dwóch funkcji uogólnionych wedle schematu:
Iloczyn funkcyjny delty Diraca z pewną ściśle określoną funkcją
[edytuj]Podzielmy funkcję f(x) na mniejsze przedziały, w których ta nasza funkcja jest monotoniczna, te przedziały monotoniczności oznaczamy przez (aj,bj). Dla nasz istotne są te przedziały, w którym funkcja f(x) zmienia znak. Jeśli na jakimś przedziale funkcja nie zmienia znaku, to dystrybucja, która jest złożeniem delty Diraca i funkcji f(x) jest równa zero. Z definicji działania względem dowolnej funkcji φ:
Na każdej z przedziału funkcję f(x) możemy rozwinąć wokół punktu zerowego (miejsca zerowego) w szereg Taylora w sposób:
Naszym krokiem jest dokonanie podstawienia określonego przez t=f'(xj)(x-xj), wtedy wzór (12.56) po dokonaniu tegoż podstawienia możemy przepisać pamiętając, że granicę całkowania zmienią się wedle sposobów pj=|f'(xj)|(aj-xj), qj=|f'(xj)|(bj-xj):
Górna granica całkowania we wzorze (12.58) jest większa od zera, a dolna jest od jego mniejsza, zatem ta nasza rozważana całka jest równa funkcji φ(xj), w takim przypadku ostatnie obliczenia zapisujemy:
Na podstawie obliczeń przeprowadzonych w punkcie (12.59), możemy napisać tożsamość na złożenie funkcji i funkcji f(x):
Dla przykładu wykorzystując wzór (12.60) możemy napisać wzór na złożenie delty Diraca δ(x) i funkcji f(x)=x2-a2 wedle sposobu:
Przykład funkcji (delty) Diraca
[edytuj]Funkcja rozważana przez Diraca, która jest często używana w mechanice kwantowej jest funkcja, którą jak udowodnimy jest też innym przedstawieniem funkcji Diraca.
Funkcja Diraca (12.62) opiera się na całce, którą dowodzimy w analizie w teorii całki:
Funkcja zdefiniowana w (12.62) na podstawie już obliczonej całki (12.63) jest funkcją unormowaną do jedynki, tak samo jak standardowa funkcja Diraca:
Sprawdźmy, czy funkcja przedstawiona przez Diraca (12.62) jest funkcją parzystą, tak jak zwykła definicja tej naszej funkcji:
Funkcja rozważana przez Diraca na podstawie obliczeń (12.65) jest funkcją parzystą jak przypuszczaliśmy.
A zatem przejdźmy do innego dowodu, tzn. że ona jest funkcją osobliwą dla punktu zerowego, czyli dla tego punktu przyjmuje wartość nieskończoną:
Udowodnijmy warunek (12.67) na podstawie przedstawienia naszej funkcji wedle (12.62) zakładając, że , a jest dowolnie małe, zatem:
Funkcja rozważana przez Diraca jest osobliwa w punkcie zerowym i ma okres znikającym wraz ze wzrostem wartości x, ale , czyli ma okres zerowy, czyli średnia wartość funkcji w dowolnym punkcie nierównym zeru jest wartość zero poza punktem x=0, dla którego dąży do nieskończoności, jak udowodniliśmy. Zatem funkcja (12.62) ma wszystkie własności funkcji Diraca, więc jest nią, co można używać ją w tymże sensie jako funkcję uogólnioną.
Funkcja Heaviside'a
[edytuj]Podamy jeszcze inne własności funkcji Diraca. Napiszmy funkcję schodkową i nazwijmy ją funkcją Heaviside'a oraz opisując tą funkcję, że dla liczb dodatnich funkcja przyjmuje wartość jeden, a dla liczb ujemnych wartość zero, a dla zera już jest równa połowie jedynki:
Pochodną funkcji schodkowej (12.69) jest to po prostu delta Diraca, którą jak widzimy, że pochodna naszej omawianej funkcji jest wszędzie równa zero, ale już dla punktu τ=0, dla której już jest równa nieskończoność.