Przestrzeń Orlicza
W analizie matematycznej, a zwłaszcza w analizie harmonicznej, przestrzeń Orlicza jest klasą przestrzeni funkcyjnych, która uogólnia przestrzenie Lp. Podobnie jak przestrzenie przestrzenie Orlicza są przestrzeniami Banacha. Zostały nazwane na cześć Władysława Orlicza, który jako pierwszy zdefiniował ją w 1932 roku.
Oprócz przestrzeni wiele różnorodnych przestrzeni funkcyjnych powstających naturalnie w analizie to przestrzenie Orlicza. Jedną z takich przestrzeni jest która pojawia się w rozważaniu nierówności maksymalnej Hardy’ego-Littlewooda. Składa się ona z mierzalnych funkcji takich, że całka
jest zbieżna ( oznacza tutaj dodatnią część logarytmu naturalnego, tj. ). Do klasy przestrzeni Orlicza zalicza się również wiele ważnych przestrzeni Sobolewa.
Nazewnictwo
[edytuj | edytuj kod]Przestrzenie te przez zasadniczą większość matematyków i przez wszystkie opisujące je monografie nazywane są przestrzeniami Orlicza, ponieważ to Władysław Orlicz był pierwszym, który je wprowadził w 1932 roku[1]. Niewielka mniejszość matematyków, w tym Wojbor Woyczyński, Edwin Hewitt i Władimir Mazja – podaje również nazwisko Zygmunta Birnbauma, nawiązując do jego wcześniejszej wspólnej pracy z Władysławem Orliczem, pomimo tego, że w artykule Birnbauma i Orlicza przestrzeń nazywana tutaj przestrzenią Orlicza nie jest w ogóle wprowadzona, ani jawnie, ani pośrednio, stąd ta konwencja nazewnicza jest niepoprawna. Z tych samych powodów ta nazwa była również otwarcie krytykowana przez innego matematyka (i znawcę historii przestrzeni Orlicza) Lecha Maligrandę[2]. Orlicz został wskazany jako osoba, która wprowadziła przestrzenie Orlicza już przez Stefana Banacha w jego monografii z 1932 roku[3].
Definicja formalna
[edytuj | edytuj kod]Załóżmy, że jest miarą σ-skończoną na zbiorze i jest funkcją Younga, czyli taką funkcją wypukłą, że
Niech będzie zbiorem funkcji mierzalnych takich, że całka
jest skończona, a do tego, jak zwykle, utożsamia się ze sobą funkcje równe prawie wszędzie.
Tak zdefiniowana przestrzeń nie musi być przestrzenią liniową (może nie być zamknięta przez mnożenie przez skalar). Wobec tego rozważamy przestrzeń rozpinaną przez funkcje z Nazywamy ją przestrzenią Orlicza oznaczamy
W celu zdefiniowania normy na przestrzeni niech będzie dopełnieniem Younga funkcji to znaczy
Zauważmy, że zachodzi nierówność Younga:
Norma przestrzeni jest wtedy dana wzorem
Ponadto przestrzeń jest przestrzenią wszystkich funkcji mierzalnych, dla których powyższa norma jest skończona.
Równoważna norma, zwana normą Luxemburga, jest zdefiniowana na wzorem
i analogicznie jest wtedy przestrzenią wszystkich funkcji mierzalnych, dla których powyższa norma jest skończona[4].
Przykład
[edytuj | edytuj kod]Pokażemy przykład przestrzeni z miarą dla której nie jest przestrzenią liniową i jest ściśle mniejsza (w sensie zawierania) niż Ustalmy niech będzie miarą Lebesgue’a na i niech dla Wtedy ale tylko dla
Własności
[edytuj | edytuj kod]- Przestrzenie Orlicza uogólniają przestrzenie (dla ) w tym sensie, że jeśli to więc
- Przestrzeń Orlicza jest zupełną unormowaną przestrzenią liniową, czyli przestrzenią Banacha.
Norma Orlicza zmiennej losowej
[edytuj | edytuj kod]Podobnie możemy zdefiniować normę Orlicza dla zmiennych losowych. Niech będzie zmienną losową na przestrzeni probabilistycznej wtedy normę Orlicza dla zadanej funkcji spełniającej wcześniej wypisane warunki, definiujemy wzorem:
Ta norma jest jednorodna i jest dobrze określona wtedy i tylko wtedy, gdy powyższy zbiór jest niepusty.
Gdy norma Orlicza pokrywa się z p-tym momentem zmiennej losowej. Inne szczególne przypadki są rozważane w odniesieniu do funkcji o wzorze (dla ). Zmienna losowa o skończonej -normie jest określana jako subgaussowska i zmienna losowa o skończonej -normie jest nazywana podwykładniczą. Istotnie, z ograniczoności -normy wynika graniczne zachowanie funkcji gęstości zmiennej losowej
Nazwy subgaussowski i podwykładniczy biorą się z tego, że funkcja gęstości prawdopodobieństwa jest asymptotycznie równa lub ograniczona przez
Normę związaną z funkcją można łatwo obliczyć korzystając ze ściśle monotonicznej funkcji tworzącej momenty. Dla przykładu funkcja tworząca momenty zmiennej losowej o rozkładzie chi-kwadrat z stopniami swobody to więc odwrotność -norma jest związana z funkcją odwrotną do funkcji tworzącej momenty:
Przypisy
[edytuj | edytuj kod]- ↑ Über eine gewisse Klasse von Räumen vom Typus B, Bull. Internat. Acad. Polon. Sci. Lett., Class. Sci. Math. Natur.: Sér. A, Sci. Math. 1932:8/9, 207--220.
- ↑ Lech Maligranda, Osiągnięcia polskich matematyków w teorii interpolacji operatorów: 1910–1960, 2015, „Wiadomości matematyczne”, 51, 239-281.
- ↑ Stefan Banach, 1932, Théorie des opérations linéaires, Warszawa (p. 202).
- ↑ M.M. Rao, Z.D. Ren: Theory of Orlicz Spaces. Marcel Dekker, § 3.3, 1991, seria: Pure and Applied Mathematics. ISBN 0-8247-8478-2.
Bibliografia
[edytuj | edytuj kod]- Z.W. Birnbaum, W. Orlicz. Über die Verallgemeinerung des Begriffes der zueinander Konjugierten Potenzen. „Studia Mathematica”. 3, s. 1–67, 1931. PDF.
- Iracema Bund. Birnbaum–Orlicz spaces of functions on groups. „Pacific Mathematics Journal”. 58 (2), s. 351–359, 1975.
- Edwin Hewitt, Karl Stromberg: Real and abstract analysis. Springer-Verlag.
- M.A. Krasnosel’skii, Ya.B. Rutickii: Convex Functions and Orlicz Spaces. Groningen: P.Noordhoff Ltd, 1961.
- M.M. Rao, Z.D. Ren: Theory of Orlicz Spaces. Marcel Dekker, 1991, seria: Pure and Applied Mathematics. ISBN 0-8247-8478-2.
- Chapter IV: Classes of functions and Fourier series. W: Antoni Zygmund: Trigonometric Series, Volume 1. Wyd. 3. Cambridge University Press.
- Michel Ledoux, Michel Talagrand: Probability in Banach Spaces. Springer-Verlag.
- „Orlicz space” – Encyclopedia of Mathematics. [dostęp 2021-04-12]. (ang.).