2 Wielomiany ortogonalne

Podobne dokumenty
13 Równanie struny drgającej. Równanie przewodnictwa ciepła.

Funkcja kwadratowa. f(x) = ax 2 + bx + c,

Funkcja kwadratowa. f(x) = ax 2 + bx + c = a

Zaawansowane metody numeryczne

Dystrybucje. Marcin Orchel. 1 Wstęp Dystrybucje Pochodna dystrybucyjna Przestrzenie... 5

Informacja o przestrzeniach Sobolewa

ANALIZA MATEMATYCZNA Z ELEMENTAMI STATYSTYKI MATEMATYCZNEJ

VI. Równania różniczkowe liniowe wyższych rzędów

Informacja o przestrzeniach Hilberta

Równania różniczkowe liniowe wyższych rzędów o stałych współcz

5. Równania różniczkowe zwyczajne pierwszego rzędu

Układy równań i równania wyższych rzędów

Funkcje wymierne. Jerzy Rutkowski. Działania dodawania i mnożenia funkcji wymiernych określa się wzorami: g h + k l g h k.

Maciej Grzesiak Instytut Matematyki Politechniki Poznańskiej. Całki nieoznaczone

2 Równania różniczkowe zwyczajne o rozdzielonych zmiennych

Biotechnologia, Chemia, Chemia Budowlana - Wydział Chemiczny - 1

Wykład 14 i 15. Równania różniczkowe. Równanie o zmiennych rozdzielonych. Definicja 1. Równaniem różniczkowym zwyczajnym rzędu n nazywamy równanie

Przestrzeń unitarna. Jacek Kłopotowski. 23 października Katedra Matematyki i Ekonomii Matematycznej SGH

Równania różnicowe. Dodatkowo umawiamy się, że powyższy iloczyn po pustym zbiorze indeksów, czyli na przykład 0

15 Potencjały sferycznie symetryczne

O geometrii semialgebraicznej

Matematyczne Metody Fizyki II

Liczby zespolone. x + 2 = 0.

Szeregi funkcyjne. Szeregi potęgowe i trygonometryczne. Katedra Matematyki Wydział Informatyki Politechnika Białostocka

III. Funkcje rzeczywiste

Zestaw zadań z Równań różniczkowych cząstkowych I 18/19

Ciała i wielomiany 1. przez 1, i nazywamy jedynką, zaś element odwrotny do a 0 względem działania oznaczamy przez a 1, i nazywamy odwrotnością a);

VII. Elementy teorii stabilności. Funkcja Lapunowa. 1. Stabilność w sensie Lapunowa.

Elementy metod numerycznych

Zadania z Analizy Funkcjonalnej I Które z poniższych przestrzeni metrycznych są przestrzeniami unormowanymi?

Wykład z równań różnicowych

4 Równania różniczkowe w postaci Leibniza, równania różniczkowe zupełne

1 Formy hermitowskie. GAL (Informatyka) Wykład - formy hermitowskie. Paweł Bechler

Pierścień wielomianów jednej zmiennej

n=0 (n + r)a n x n+r 1 (n + r)(n + r 1)a n x n+r 2. Wykorzystując te obliczenia otrzymujemy, że lewa strona równania (1) jest równa

5 Równania różniczkowe zwyczajne rzędu drugiego

Równania różniczkowe. Notatki z wykładu.

SIMR 2016/2017, Analiza 2, wykład 1, Przestrzeń wektorowa

Całka podwójna po prostokącie

III. RÓWNANIA RÓŻNICZKOWE ZWYCZAJNE

Matematyka 2. Równania różniczkowe zwyczajne rzędu drugiego

Wykład 3 Równania rózniczkowe cd

2. Kombinacja liniowa rozwiązań zeruje się w pewnym punkcie wtedy i tylko wtedy, gdy zeruje się w każdym punkcie.

Dystrybucje, wiadomości wstępne (I)

W przestrzeni liniowej funkcji ciągłych na przedziale [a, b] można określić iloczyn skalarny jako następującą całkę:

Przestrzenie wektorowe

Zadania z Analizy Funkcjonalnej I Które z poniższych przestrzeni metrycznych są przestrzeniami unormowanymi?

Funkcje analityczne. Wykład 12

RÓWNANIA RÓŻNICZKOWE WYKŁAD 2

1 + x 1 x 1 + x + 1 x. dla x 0.. Korzystając z otrzymanego wykresu wyznaczyć funkcję g(m) wyrażającą liczbę pierwiastków równania.

Układy równań i nierówności liniowych

Operatory samosprzężone

1.1 Przegląd wybranych równań i modeli fizycznych. , u x1 x 2

CAŁKI NIEOZNACZONE C R}.

Krzywe Freya i Wielkie Twierdzenie Fermata

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

Dwa równania kwadratowe z częścią całkowitą

1. Wielomiany Podstawowe definicje i twierdzenia

1. Liczby zespolone Zadanie 1.1. Przedstawić w postaci a + ib, a, b R, następujące liczby zespolone (1) 1 i (2) (5)

Wielomiany podstawowe wiadomości

Interpolacja. Marcin Orchel. Drugi przypadek szczególny to interpolacja trygonometryczna

Indukcja matematyczna

Równanie przewodnictwa cieplnego (II)

8 Całka stochastyczna względem semimartyngałów

1 Elementy logiki i teorii mnogości

Zagadnienia brzegowe dla równań eliptycznych

Równania wielomianowe

1 Równania różniczkowe drugiego rzędu

Całki nieoznaczone. 1 Własności. 2 Wzory podstawowe. Adam Gregosiewicz 27 maja a) Jeżeli F (x) = f(x), to f(x)dx = F (x) + C,

Równania różniczkowe wyższych rzędów

Przestrzenie liniowe

Notatki z Analizy Matematycznej 3. Jacek M. Jędrzejewski

Wielomiany Legendre a

1. Liczby zespolone Stwierdzić kiedy kwadrat liczby zespolonej jest liczbą. (i) rzeczywistą, (ii) ujemną, (iii) tylko urojoną?

Analiza I.2*, lato 2018

Algebra liniowa z geometrią

Jak łatwo zauważyć, zbiór form symetrycznych (podobnie antysymetrycznych) stanowi podprzestrzeń przestrzeni L(V, V, K). Oznaczamy ją Sym(V ).

Równania różniczkowe cząstkowe drugiego rzędu

Funkcje wymierne. Funkcja homograficzna. Równania i nierówności wymierne.

11 Równania różniczkowe cząstkowe. Równania różniczkowe cząstkowe pierwszego rzędu.

Układy równań liniowych

Całkowanie numeryczne przy użyciu kwadratur

Aproksymacja. j<k. L 2 p[a, b] l 2 p,n X = Lemat 1. Wielomiany ortogonalne P 0,P 1,...,P n tworza przestrzeni liniowej Π n. Dowód.

Równanie przewodnictwa cieplnego (I)

Rozdział 5. Szeregi liczbowe. 5.1 Szeregi liczbowe. Definicja sumy częściowej ciągu. Niech dany będzie ciąg liczbowy (a n ) n=1.

Przykładowe zadania z teorii liczb

Analiza funkcjonalna 1.

Algebra liniowa II. Lista 1. 1 u w 0 1 v 0 0 1

Wielomiany. dr Tadeusz Werbiński. Teoria

Zadania z Rachunku Prawdopodobieństwa III - 1

Matematyka i Statystyka w Finansach. Rachunek Różniczkowy

IX. Rachunek różniczkowy funkcji wielu zmiennych. 1. Funkcja dwóch i trzech zmiennych - pojęcia podstawowe. - funkcja dwóch zmiennych,

Projekt Era inżyniera pewna lokata na przyszłość jest współfinansowany przez Unię Europejską w ramach Europejskiego Funduszu Społecznego

Twierdzenia Rolle'a i Lagrange'a

1. Liczby zespolone Stwierdzić kiedy kwadrat liczby zespolonej jest liczbą. (i) rzeczywistą, (ii) ujemną, (iii) tylko urojoną?

Grupy. Permutacje 1. (G2) istnieje element jednostkowy (lub neutralny), tzn. taki element e G, że dla dowolnego a G zachodzi.

Rozdział 9. Funkcja pierwotna. 9.1 Funkcja pierwotna

x = cos θ. (13.13) P (x) = 0. (13.14) dx 1 x 2 Warto zauważyć, że miara całkowania w zmiennych sferycznych przyjmuje postać

Metody numeryczne I Równania nieliniowe

Metody numeryczne. Równania nieliniowe. Janusz Szwabiński.

Transkrypt:

Wielomiany ortogonalne 2 1 2 Wielomiany ortogonalne Niech będzie przedziałem otwartym a, b) niewykluczone, że nieograniczonym). Rozważmy równanie różniczkowe zwyczajne liniowe drugiego rzędu 2.1) px)u x) + qx)u x) + rx)ux) = fx), gdzie p, q, r, f : R są co najmniej ciągłe. Ponadto zakładamy, że px) > 0 dla wszystkich x. Równanie 2.1) można przekształcić na wiele sposobów. Jednym z nich jest cechowanie: zapisujemy ux) = ϕx)vx), gdzie ϕ: R jest funkcją klasy C 2 taką, że ϕx) 0 dla wszystkich x. Zachodzi u x) = ϕ x)vx)+ϕx)v x), u x) = ϕ x)vx)+2ϕ x)v x)+ϕx)v x), co po podstawieniu do równania 2.1) daje ) px)v x)+ 2px) ϕ x) ϕx) +qx) v x)+ px) ϕ x) x) ϕx) +qx)ϕ ϕx) +rx) ) vx) = fx) qx). Przy pomocy odpowiedniego cechowania możemy, na przykład, usunąć wyrazy rzędu pierwszego w równaniu. stotnie, zauważmy, że biorąc ϕ takie, że ϕ ϕ = q 2p na przykład, ϕx) = exp x x 0 ) qξ) 2pξ) dξ, gdzie x 0 jest ustalone), w równaniu na vx) współczynnik przy wyrazach rzędu pierwszego jest stale równy zeru. 2.1 Twierdzenie Sturma 1) Rozważmy równanie różniczkowe zwyczajne liniowe jednorodne drugiego rzędu 2.2) px)u x) + qx)u x) + rx)ux) = 0. 1) Jacques-)Charles-François Sturm 1803 1855), matematyk francuski.

2 2 Skompilował Janusz Mierczyński Twierdzenie 2.1 Twierdzenie Sturma). Niech u 1, u 2 będą nietrywialnymi rozwiązaniami równań px)u j x) + qx)u jx) + r j x)u j x) = 0, j = 1, 2, gdzie r 1 x) < r 2 x) dla wszystkich x. Wówczas, jeśli dla pewnych c, d, c < d, zachodzi u 1 c) = u 1 d) = 0, to istnieje x c, d) takie, że u 2 x) = 0. Dowód. Poprzez cechowanie i podzielenie przez px) można założyć, że równania mają postać u j x) + r j x)u j x) = 0, j = 1, 2. Załóżmy, że u 1 nie ma miejsc zerowych na c, d) w przeciwnym razie, za d bierzemy pierwsze miejsce zerowe na prawo od c). Załóżmy nie wprost, że u 2 nie ma miejsc zerowych na c, d). Dla ustalenia uwagi można założyć, że u 1 i u 2 są dodatnie na c, d). Oznaczmy przez W wrońskian układu funkcji u 1, u 2 ), Zachodzi u W := 1 u 2 u 1 u = u 1u 2 u 1u 2. 2 W = u 1u 2+u 1 u 2 u 1u 2 u 1u 2 = u 1 r 2 u 2 +r 1 u 1 u 2 = r 1 r 2 )u 1 u 2 < 0 na c, d). Ponieważ miejsca zerowe nietrywialnego rozwiązania równania różniczkowego liniowego jednorodnego drugiego rzędu są proste 2), musi zachodzić u 1c) > 0 i u 1d) < 0, zatem W c) = u 1c)u 2 c) 0 i W d) = u 1d)u 2 d) 0. Doszliśmy zatem do sprzeczności. 2.2 Operatory różniczkowe z równaniem różniczkowym li- Operatorem różniczkowym stowarzyszonym niowym jednorodnym drugiego rzędu 2.3) px)u x) + qx)u x) + rx)ux) = 0 nazywamy odwzorowanie liniowe zdefiniowane jako L := px) d2 dx 2 + qx) d dx + rx), 2) Miejsce zerowe funkcji jednej zmiennej, klasy C 1, nazywamy prostym, gdy pochodna jest tam niezerowa.

Wielomiany ortogonalne 2 3 którego dziedziną jest pewna podprzestrzeń liniowa przestrzeni liniowej funkcji rzeczywistych określonych na. Niech w : R będzie funkcją ciągłą w praktyce, znacznie bardziej regularną) taką, że wx) > 0 dla wszystkich x. Taką funkcje w nazywamy wagą. Dla wagi w na przedziale oznaczmy L 2 w := { f : R, mierzalne, fx)) 2 wx) dx < }. Dla f, g L 2 w definiujemy f, g) w := fx)gx)wx) dx. L 2 w jest rzeczywistą) przestrzenią Hilberta, z iloczynem skalarnym, ) w. Definicja 2.2. Operator różniczkowy L stowarzyszony z równaniem 2.2) jest symetryczny względem wagi w, gdy Lu, v) w = Lv, u) w dla dowolnych u, v klasy C 2, o nośnikach zawartych w zwartym podprzedziale przedziału. 3) Od tej pory zakładamy, że wszystkie współczynniki równań, wagi, itp., są tak regularne, by występujące w dowodach operacje różniczkowania i całkowania miały sens. Lemat 2.3. Operator różniczkowy L stowarzyszony z równaniem 2.2) jest symetryczny względem wagi w wtedy i tylko wtedy, gdy L = p d2 dx + pw) 2 w d dx + r = 1 w d pw d ) + r. dx dx Dowód. Załóżmy dodatkowo, że waga w jest klasy C 1. Niech L będzie operatorem symetrycznym. Dla dowolnych u i v jak w definicji operatora symetrycznego zachodzi pu + qu + ru)vw dx = pv + qv + rv)uw dx, 3) Zauważmy, że takie funkcje u, v należą do przestrzeni Hilberta L 2 w.

2 4 Skompilował Janusz Mierczyński czyli pwu v v u) + qwu v v u) ) dx = 0, i dalej pu v uv ) + qu v uv ) ) w dx = 0. Ale więc 2.4) pw)u v uv ) dx = pw) u v uv ) dx, u v uv ) qw pw) ) dx = 0. Dla dowolnej, lecz ustalonej, funkcji v klasy C 2 o zwartym nośniku zawartym w weźmy za u funkcję klasy C 2, o zwartym nośniku zawartym w, przyjmującą wartość 1 na pewnym przedziale zwartym zawierającym nośnik funkcji v w swym wnętrzu. ux) vx) ) Dla każdej funkcji vx) można znaleźć funkcję ux) taką, że u x)vx) ux)v x) = v x) na Z 2.4) wynika, po scałkowaniu przez części, 0 = v qw pw) ) dx = v qw pw) ) dx. Skoro powyższa równość zachodzi dla dowolnej funkcji v klasy C 2 o zwartym nośniku zawartym w, zachodzi qw pw) = c, gdzie c jest stałą. Znów niech v będzie funkcją klasy C 2, o zwartym nośniku zawartym w. Weźmy za u funkcję klasy C 2, o zwartym nośniku zawartym w, i taką że ux) = x na pewnym przedziale zwartym zawierającym nośnik funkcji v w swym wnętrzu.

Wielomiany ortogonalne 2 5 vx) ux) ) 0 Dla każdej funkcji vx) można znaleźć funkcję ux) taką, że u x)vx) ux)v x) = vx) xv x) na Na podstawie wzoru 2.4) zachodzi, po scałkowaniu przez części, 0 = c vx) xv x)) dx = 2c vx) dx. Ponieważ zachodzi to dla dowolnej funkcji nieujemnej i nierównej stale zero, wynika stąd, że c = 0. Wniosek. Dla operatora różniczkowego L stowarzyszonego z równaniem 2.2) istnieje waga w, określona jednoznacznie z dokładnością do mnożenia przez stałą dodatnią, taka, że L jest symetryczny względem w. Dowód. pw) /w = q, czyli pw) /pw) = q/p, a zatem wx) = C px) exp gdzie x 0 jest ustalonym punktem z. x x 0 qy) py) dy, x, Dla danego operatora różniczkowego L stowarzyszonego z równaniem 2.2) można postarać się rozszerzyć jego dziedzinę w taki sposób, by był on wciąż symetryczny względem wagi w. Przykład. Niech = a, b), gdzie < a < b <. Załóżmy ponadto, że p, p, q, q, w, w rozszerzają się w sposób ciągły na [a, b]. Możemy powiedzieć, że operator L jest symetryczny względem wagi w, gdy dla dowolnych u, v L 2 w takich, że u, u, v, v są ciągłe na [a, b] zachodzi Lu, v) w = Lv, u) w. Zauważmy jednak, że przy takich u i v zachodzi Lu, v) w Lv, u) w = pwu v pwuv ) b a.

2 6 Skompilował Janusz Mierczyński Zatem przy powyższej definicji operatora symetrycznego, oprócz warunku qw = pw) trzeba jeszcze założyć coś więcej. Na przykład, warunkiem dostatecznym jest, by pa)wa) = pb)wb) = 0. Dla danego operatora L przez klasę funkcji dopuszczalnych rozumiemy odpowiednio dużą klasę funkcji, zawartą w L 2 w i zawierającą funkcje klasy C 2 o zwartych nośnikach zawartych w, dla których spełniony jest warunek Lu, v) w = Lv, u) w. W powyższym przykładzie gdy jest przedziałem ograniczonym, qw = pw) oraz pa)wa) = pb)wb) = 0), funkcje dopuszczalne to funkcje dające sie przedłużyć do funkcji klasy C 1 na [a, b]. Dopuszczalna funkcja u 0 jest funkcją własną dla operatora L, odpowiadającą wartości własnej λ, gdy Lu + λu = 0. Załóżmy, że u 1, u 2 są funkcjami własnymi symetrycznego operatora L odpowiadającymi wartościom własnym λ 1 λ 2. Zachodzi zatem Lu 1, u 2 ) w = λ 1 u 1, u 2 ) w i u 1, Lu 2 ) w = λ 2 u 1, u 2 ) w. Ale Lu 1, u 2 ) w = Lu 2, u 1 ) w, zatem u 1, u 2 ) w = 0. 2.2.1 Wielomiany Hermite a, Laguerre a i Jacobiego Zastanówmy się, kiedy w skład rodziny funkcji własnych symetrycznego operatora L = p d2 dx + pw) d 2 w dx + r na = a, b) wchodzą pewne) wielomiany dowolnego stopnia. Dla każdego n = 0, 1, 2, 3,... istnieje wielomian stopnia n będący funkcją własną operatora L. Wynika stąd, że dla każdego takiego n operator L przeprowadza przestrzeń liniową wielomianów stopnia co najwyżej n w siebie. Dalej, skoro funkcje własne należą do L 2 w, musi zachodzić 2.5) x n wx) dx < dla wszystkich n = 0, 1, 2,.... W szczególności, 2.6) wx) dx <. Dalej, L1 = λ oraz L1 = r, zatem współczynnik rzędu zerowego r musi być stały. Przesuwając wartości własne można założyć, że r 0.

Wielomiany ortogonalne 2 7 L przeprowadza przestrzeń liniową wielomianów stopnia co najwyżej jeden w siebie. Dla ux) = x zachodzi zatem Lu = pw) w = p + p w w, 2.7) p + p w w jest wielomianem stopnia 1. L przeprowadza przestrzeń liniową wielomianów stopnia co najwyżej dwa w siebie. Dla ux) = 1 2 x2 zachodzi zatem Lu = p + x p + p w w 2.8) p jest wielomianem stopnia 2. Skoro L jest operatorem symetrycznym w rozszerzonym znaczeniu), musi zachodzić 2.9) b a ) pwu v uv ) ) dx = 0 dla dowolnych dopuszczalnych u, v, w szczególności dla u i v będących wielomianami. A) p jest funkcją stałą. Weźmy p 1. Zatem w /w jest wielomianem stopnia co najwyżej jeden. Wynika stąd, że w jest eksponentą pewnego wielomianu stopnia co najwyżej dwa. Dokonując afinicznej zmiany zmiennej niezależnej i dzieląc przez stałą dodatnią, można założyć, że albo wx) 1, albo wx) = e x, albo wx) = e ±x2. Jeśli wx) 1, z warunku 2.6) wynika, że musi być przedziałem ograniczonym. Lecz warunek 2.9) nie może być spełniony. Załóżmy, że wx) = e x. Warunek 2.6) wymusza, że nie może być równy, ). Lecz wtedy warunek 2.9) nie może być spełniony w skończonych krańcach przedziału. W przypadku wx) = e ±x2 warunek 2.9) wymusza, że =, ), zaś z warunku 2.6) wynika, że wx) = e x2. Operator L ma zatem postać L = d2 dx 2 2x d dx

2 8 Skompilował Janusz Mierczyński na, ), z wagą wx) = e x2. Zauważmy, że operator L przeprowadza, dla każdego n = 0, 1, 2,..., przestrzeń wielomianów stopnia co najwyżej n w siebie. Wynika stąd, że dla każdego n istnieje wielomian stopnia n będący funkcją własną operatora L. Taki, odpowiednio znormalizowany 4), wielomian nazywamy n-tym wielomianem Hermite a 5), i oznaczamy przez H n. Łatwo wykazać, że n-ty wielomian Hermite a H n odpowiada wartości własnej 2n: LH n + 2nH n = 0. Wielomiany Hermite a są ortogonalne w przestrzeni Hilberta L 2 R, e x2 dx). Funkcje H n x)e 1 2 x2 są ortogonalne w przestrzeni L 2 R). Są one funkcjami własnymi operatora d 2 dx 2 + 1 x2 ). B) p jest funkcją liniową. Dokonując afinicznej zmiany zmiennej niezależnej i dzielenia przez stałą dodatnią można założyć, że px) = x. Z 2.7) wynika, że w /w = β + α/x. Zatem wx) = x α e βx. Z 2.9) wynika, że =, 0) lub = 0, ). Wybierzmy to drugie. Warunek 2.6) implikuje, że β < 0 i α > 1. Po przeskalowaniu i podzieleniu przez stałą dodatnią możemy założyć, że β = 1. Operator L ma zatem postać L = x d2 dx 2 + α + 1) x ) d dx na 0, ), z wagą wx) = x α e x, gdzie α > 1 Zauważmy, że operator L przeprowadza, dla każdego n = 0, 1, 2,..., przestrzeń wielomianów stopnia co najwyżej n w siebie. Wynika stąd, że dla każdego n istnieje wielomian stopnia n będący funkcją własną operatora L. Taki, odpowiednio znormalizowany 6), wielomian nazywamy n-tym wielomianem Laguerre a 7), i oznaczamy przez L α) n. 4) W tym przypadku oznacza to, że współczynnik przy najwyższej potędze jest równy 2 n. 5) Charles Hermite 1822 1901), matematyk francuski. 6) W tym przypadku oznacza to, że współczynnik przy najwyższej potędze jest równy 1) n /n!. 7) Edmond Laguerre 1834 1886), matematyk francuski.

Wielomiany ortogonalne 2 9 Łatwo wykazać, że n-ty wielomian Laguerre a L α) n własnej n: LL α) n + nl α) n = 0. odpowiada wartości Wielomiany Laguerre a są ortogonalne w przestrzeni Hilberta L 2 0, ), x α e x dx). Funkcje L α) n x)x 1 2 α e 1 2 x są ortogonalne w przestrzeni L 2 0, )). Są one funkcjami własnymi operatora x d2 dx + d 2 dx x 4 α2 4x + α + 1. 2 C) p jest funkcją kwadratową, z wyróżnikiem dodatnim. Dokonując afinicznej zmiany zmiennej niezależnej i dzielenia przez stałą dodatnią można założyć, że px) = 1 x 2. Z 2.7) wynika, że w /w = β/1+x) α/1 x). Zatem wx) = 1 x) α 1+ x) β. Z 2.9) wynika, że = 1, 1), lub =, 1), lub = 1, ). Dwa ostatnie przypadki są wykluczone, gdyż wtedy x n dla dostatecznie dużych n nie należałyby do L 2 w, co przeczy 2.5). Zatem = 1, 1). Warunek 2.6) implikuje, że α > 1 i β > 1. Operator L ma zatem postać L = 1 x 2 ) d2 dx 2 + β α α + β + 2)x ) d dx na 1, 1), z wagą wx) = 1 x) α 1 + x) β, gdzie α, β > 1. Zauważmy, że operator L przeprowadza, dla każdego n = 0, 1, 2,..., przestrzeń wielomianów stopnia co najwyżej n w siebie. Wynika stąd, że dla każdego n istnieje wielomian stopnia n będący funkcją własną operatora L. Taki, odpowiednio znormalizowany 8), wielomian nazywamy n-tym wielomianem Jacobiego 9), i oznaczamy przez P n α,β). Łatwo wykazać, że n-ty wielomian Jacobiego P n α,β) odpowiada wartości własnej nn + α + β + 1): LP α,β) n + nn + α + β + 1)P α,β) n = 0. Wielomiany Jacobiego są ortogonalne w przestrzeni Hilberta L 2 1, 1), 1 x) α 1 + x) β dx). D) p jest funkcją kwadratową, z wyróżnikiem ujemnym. 8) Tutaj normalizacja jest bardziej skomplikowana. 9) Carl Gustav Jacob Jacobi 1804 1851), matematyk niemiecki.

2 10 Skompilował Janusz Mierczyński Dokonując afinicznej zmiany zmiennej niezależnej i dzielenia przez stałą dodatnią można założyć, że px) = 1 + x 2. Z 2.7) wynika, że wx) = 1+x 2 ) a. Z 2.9) wynika, że =, ). Lecz wtedy, jakiekolwiek a weźmiemy, x n dla dostatecznie dużych n nie należą do L 2 w, co przeczy 2.5). E) p jest funkcją kwadratową, z wyróżnikiem równym zeru. Dokonując afinicznej zmiany zmiennej niezależnej i dzielenia przez stałą dodatnią można założyć, że px) = x 2. Z 2.7) wynika, że wx) = x a e b/x. Z 2.9) wynika, że = 0, ) dla ustalenia uwagi). Lecz wtedy, jakiekolwiek a weźmiemy, x n dla dostatecznie dużych n nie należą do L 2 w, co przeczy 2.5). Wykazaliśmy, że z dokładnością do dodania wyrazu rzędu zerowego o stałym współczynniku), afinicznej zamiany zmiennej niezależnej i pomnożenia przez stałą dodatnią, równania różniczkowe zwyczajne liniowe jednorodne rzędu drugiego, mające wielomiany dowolnego stopnia jako funkcje własne, to równania odpowiadające wielomianom Hermite a, Laguerre a i Jacobiego czyli tzw. klasycznym wielomianom ortogonalnym). 2.3 Ogólna teoria wielomianów ortogonalnych Niech = a, b). Niech w : 0, ) będzie funkcją ciągłą taką, że A n := x n wx) dx < dla wszystkich n = 0, 1, 2,.... Oznaczmy 1 := 1, A 0 A 1... A n A 1 A 2... A n+1 n :=....., n = 0, 1, 2,..... A n A n+1... A 2n Lemat 2.4. n > 0 dla każdego n = 0, 1, 2,.... Dowód. Forma kwadratowa n n A j+k a j a k = x j+k n ) 2wx) a j a k )wx) dx = a j x j dx j,k=0 j,k=0 jest dodatnio określona, zatem n > 0. j=0

Wielomiany ortogonalne 2 11 Zdefiniujmy wielomiany A 0 A 1... A n 1 1 A 1 A 2... A n x Q n x) :=........ A n A n+1... A 2n 1 x n Wykorzystując rozwinięcie Laplace a względem n + 1)-szej kolumny otrzymujemy, że co daje A 0 A 1... A n 1 A m Q n x), x m A 1 A 2... A n A m+1 ) w =.....,.. A n A n+1... A 2n 1 A m+n Q n x), x m ) w = 0 dla m = 0, 1,..., n 1, Q n x), x n ) w = n. W szczególności, wielomiany Q n są ortogonalne. Dalej, Q n x), Q n x)) w = Q n x), n 1 x n ) w = n 1 Q n x), x n ) w = n 1 n, zatem wielomiany P n x) := 1 n 1 n Q n x) są ortonormalne. Oznaczmy przez h n współczynnik przy x n w wielomianie P n x). Zachodzi h n = n 1 n 1 n = n 1 n. Wielomian xp n x) ma stopień n + 1, i jest ortogonalny do x m dla m = 0, 1,..., n 2, zatem dla takich m zachodzi Mnożąc skalarnie równość xp n x) = xp n x), P m x)) w = 0. = α n+1 P n+1 x)+α n P n x)+α n 1 P n 1 x)+α n 2 P n 2 x)+...+α 1 P 1 x)+α 0 P 0 x)

2 12 Skompilował Janusz Mierczyński przez P m x) otrzymujemy, że α n 2 =... = α 0 = 0. Zatem istnieją a n, b n, c n takie, że 2.10) xp n x) = a n P n+1 x) + b n P n x) + c n P n 1 x). Powyższy wzór nazywamy formułą trójczłonową. Wyliczmy a n = h n h n+1, c n = xp n x), P n 1 x)) w = P n x), xp n 1 x)) w = h n 1 h n = a n 1. Po prostych manipulacjach otrzymujemy, dla x, y, x y, x y)p n x)p n y) = = a n Pn+1 x)p n y) P n x)p n+1 y) ) a n 1 Pn x)p n 1 y) P n 1 x)p n y) ), i ostatecznie otrzymujemy wzór Christoffela 10) Darboux 11) : 2.11) a n P n+1 x)p n y) P n x)p n+1 y) x y n = P j x)p j y). j=0 Lewą stronę wzoru Christoffela Darboux nazywamy jądrem Dirichleta 12), i oznaczamy przez K n x, y). Twierdzenie 2.5. Dla wielomianu q stopnia n zachodzi qx) = K n x, y)qy)wy) dy, x. Dowód. q jest kombinacją liniową wielomianów P k, k = 0, 1,..., n. Z ortonormalności wynika, że n q = q, P j ) w P j. j=0 Stosujemy teraz wzór Christoffela Darboux. Gdy y x, otrzymujemy ze wzoru Christoffela Darboux 2.11), że 2.12) a n P n+1 x)p n x) P n+1 x)p nx) ) n = P j x)) 2. j=0 Wynika stąd następujący 10) Elwin Bruno Christoffel 1829 1900), matematyk niemiecki. 11) Jean) Gaston Darboux 1842 1917), matematyk francuski. 12) Johann Peter Gustav Lejeune) Dirichlet 1805 1859), matematyk niemiecki.

Wielomiany ortogonalne 2 13 Wniosek. Pierwiastki wielomianów P n należące do są pojedyncze. Dowód. P 0 jest różną od zera funkcją stałą, zatem nie ma pierwiastków. Załóżmy nie wprost, że x 0 jest pierwiastkiem pewnego P n, n 1, krotności większej niż 1. Lecz wtedy lewa strona wzoru 2.12) jest równa zeru, podczas gdy prawa strona jest co najmniej równa P 0 ) 2 > 0. Lemat 2.6. P n ma n pierwiastków rzeczywistych, wszystkie w przedziale. Dowód. Niech x 1 <... < x m będą wszystkimi pierwiastkami wielomianu P n w przedziale. Oznaczmy m qx) := x x j ) gdy m > 0, qx) : 1 gdy m = 0. j=1 x 1,..., x m są pierwiastkami krotności jeden zarówno wielomianu P n jak i q, więc P n i q zmieniają znak w tych samych punktach przedziału. Zatem qp n ma stały znak poza pierwiastkami. Wynika stąd, że q, P n ) w 0. Lecz P n jest ortogonalny do wszystkich x k, k = 0, 1,..., n 1, więc q musi być wielomianem stopnia co najmniej n. Zatem m = n. Lemat 2.7. Pomiędzy kolejnymi pierwiastkami wielomianu P n znajduje się pierwiastek wielomianu P n 1 Dowód. Niech n 2. Zachodzi P nx)p n 1 x) P n x)p n 1x) > 0. Dla x 1 < x 2, kolejnych pierwiastków wielomianu P n, powyższa nierówność implikuje, że P nx 1 )P n 1 x 1 ) > 0, P nx 2 )P n 1 x 2 ) > 0. P nx 1 ) i P nx 2 ) muszą mieć różne znaki, zatem P n 1 x 1 ) i P n 1 x 2 ) mają różne znaki. 2.3.1 Zupełność wielomianów ortogonalnych Twierdzenie 2.8. Załóżmy, że dla pewnego c > 0 zachodzi e 2c x wx) dx <. Wówczas P 0, P 1, P 2,... ) jest bazą ortonormalną w L 2 w.

2 14 Skompilował Janusz Mierczyński Dowód. Niech f L 2 w. Ciąg f n ) n=0, gdzie n f n = f, P j ) w P j, j=0 jest ciągiem Cauchy ego w L 2 w. Oznaczmy jego granicę przez g. Dla każdego n N {0} zachodzi f, P n ) w = g, P n ) w. zatem h := f g jest ortogonalna do każdego P m. Rozszerzamy h i w na całe R kładąc zero poza. Z nierówności Schwarza hx)wx) dx R R hx) wx) ) ) 2 1/2 dx Transformata Fouriera, Hξ), funkcji hw, Hξ) = ĥwξ) = 1 2π jest holomorficzna w pasie { m ξ < c }. Zachodzi H n) 0) = i)n 2π R R R e ixξ hx)wx) dx, x n hx)wx) dx. wx) ) 2 dx ) 1/2 <. Lecz z h, P n ) w = 0 wynika, że h jest ortogonalne do x n, czyli H n) 0) = 0, dla każdego n. Zatem H 0. 2.3.2 Wzór Rodriguesa Powracamy teraz do klasycznych wielomianów ortogonalnych. Rozważmy równanie na wartości własne: 2.13) px)ψ nx) + px)wx)) ψ wx) nx) + λ n ψ n x) = 0. Różniczkując je po x otrzymujemy 2.14) pψ n) + q + p )ψ n) + q + λ n )ψ n = 0. Ale q + p = pw) w zatem pw jest wagą dla 2.14). + p = p2 w + 2pp w pw = ppw) ) pw,

Wielomiany ortogonalne 2 15 Otrzymaliśmy, że ψ n są wielomianami ortogonalnymi stopnia n 1 dla wagi pw, z wartościami własnymi λ n q. Dalej, ψ n są wielomianami ortogonalnymi stopnia n 2 dla wagi p 2 w, z wartościami własnymi λ n q p + q) = λ n 2q p. Ogólnie, ψ n m) są wielomianami ortogonalnymi stopnia n m dla wagi p m w, z wartościami własnymi λ n mq 1 2 mm 1)p. ψ n) n to stała odpowiadająca wartości własnej zero. Otrzymujemy stąd λ n = nq 1 2 nn 1)p. Równanie 2.13) daje 2.15) wψ n = 1 λ n pwψ n), ale, z 2.14), λ n + q )pwψ n = p 2 wψ n + p 2 w ψ n + 2pp wψ n) = = p 2 wψ n) + p 2 ) wψ n)) = p 2 wψ n), stąd 2.16) pwψ n) = 1 λ n + q p2 wψ n). Z 2.15) i 2.16) wynika, że wψ n = 1 λ n λ n + q ) p2 wψ n). Powtarzając powyższe rozumowanie otrzymujemy, że n 1 wψ n = 1) n Zauważmy, że ψ n) n m=0 to stała. λn + mq + 1 2 mm 1)p ) 1 p n wψ n) n ) n)

2 16 Skompilował Janusz Mierczyński W szczególności, otrzymujemy ogólny) wzór Rodriguesa 13) 2.17) ψ n x) = c n px) n wx) ), wx) dx n d n gdzie c n 0. Przy tradycyjnej normalizacji klasycznych wielomianów ortogonalnych mamy wzór Rodriguesa dla wielomianów Hermite a 2.18) H n x) = 1) n dn x2 e dx n e x2 ), wzór Rodriguesa dla wielomianów Laguerre a 2.19) L α) n x) = 1 n! x α e x dn dx n e x x n+α ), wzór Rodriguesa dla wielomianów Jacobiego 2.20) P n α,β) x) = 1)n n!2 n 1 x) α β dn 1+x) 1 x) n+α 1+x) n+β). dx n 2.3.3 Funkcje tworzące Funkcją tworzącą dla klasycznych) wielomianów ortogonalnych ψ n nazwijmy funkcję ψ n x) Gx, s) := s n. n! Rozważmy wzór Rodriguesa n=0 ψ n x) = 1 d n px) n wx) ). wx) dx n Ustalmy x, i niech Γ C będzie zorientowanym dodatnio okręgiem o środku w x i promieniu tak małym, by był zawarty wraz ze swym wnętrzem w dziedzinie funkcji p i w. Zachodzi ψ n x) = n! 2πi Γ wz) wx) pz) n dz z x) n z x. 13) Benjamin-)Olinde Rodrigues-Henriques) 1795 1851), matematyk, filozof i bankier francuski.

Wielomiany ortogonalne 2 17 Podstawiając powyższe do wzoru na funkcję tworzącą otrzymujemy Gx, s) = 1 2πi Γ n=0 s n pz) n wz) z x) n wx) dz z x = 1 2πi Γ wz) wx) dz z x spz). Oznaczmy przez ζx, s) rozwiązanie względem z) równania z x = spz), zbieżne do x przy s 0. Z postaci p mianowicie, pz) 1, lub pz) = z lub pz) = 1 z 2 ) wynika, że rozwiązanie to jest jednoznacznie określone. Jako że pochodna po z funkcji z x spz), czyli 1 sp z) jest różna od zera dla s dostatecznie małych, więc ζ = ζx, s) jest biegunem rzędu jeden funkcji podcałkowej, i residuum w tym punkcie jest równe wz) lim z ζ wx) z ζ z x spz) = wζ) wx) 1 1 sp ζ). ζ Γ ) x Przy dostatecznie małym s i dostatecznie małym promieniu okręgu Γ, wewnątrz Γ znajduje się tylko jeden biegun ζ funkcji podcałkowej Zatem Gx, s) = wζ) wx) 1, ζ spζ) = x, s małe. 1 sp ζ) 2.3.4 Więcej o wielomianach Hermite a Przypomnijmy, że wielomiany Hermite a spełniają równanie 2.21) H nx) 2xH nx) + 2nH n x) = 0, są ortogonalne na, ) względem wagi e x2, i spełniają wzór Rodriguesa H n x) = 1) n e x2 dn dx n e x2 ).

2 18 Skompilował Janusz Mierczyński Powyższy wzór można zapisać jako H n x) = 2x d ) n 1). dx Wynika zeń, w szczególności, że współczynnik przy najwyższej potędze w H n x) jest równy 2 n, H nx) = 2nH n 1 x), H nx) 2xH n x) = H n+1 x). Formuła trójczłonowa 2.10) przybiera teraz postać H n+1 x) = 2xH n x) 2nH n 1 x). Wielomian Hermite a stopnia n jest funkcją parzystą dla n parzystych, i nieparzystą dla n nieparzystych. Zapisując wielomiany Hermite a jako n H n x) = c k x k, k=0 z równania na wartości własne 2.21) otrzymujemy, że z czego wynika, że k + 2)k + 1)c k+2 = 2k n)c k, H n x) = 1) j n! j!n 2j)! 2x)n 2j. 2j n Funkcję tworzącą dla wielomianów Hermite a definiujemy jako Gx, s) = n=0 H n x) s n. n! Zastosujmy wyliczenia z poprzedniego podrozdziału, pamiętając o tym, że w przypadku wielomianów Hermite a występuje współczynnik 1) n. Odpowiada to zastąpieniu s przez s. Wówczas ζx, s) = x s, i otrzymujemy Gx, s) = e x s)2 e x2 = e 2xs s2.

Wielomiany ortogonalne 2 19 Zauważmy, że m,n=0 co daje i dalej, Zatem s m t n m! n! H m x)h n x)e x2 dx = Gx, s)gx, t)e x2 dx = = e 2st e x s t)2 dx = e 2st π = 2st) n π, n=0 n! t n H m, H n ) w s m ) = t n π n=0 n! m=0 m! n=0 n! 2n s n, m=0 H m, H n ) w s m m! = π2 n s n. H m, H n ) w = 0 dla m n, H n, H n ) w = n! 2 n π. Znormalizowane wielomiany Hermite a definiujemy jako H n x) = 1 4 π n! 2 n H nx). Przypomnijmy, że dla f L 2 w współczynniki rozwinięcia w bazie ortonormalnej H n ) n=0 są równe f n = f, H n ) w. Załóżmy teraz, że funkcja f ma wszystkie pochodne wykładniczego wzrostu. Wtedy dla n = 0, 1, 2,... zachodzi fx)h n x)e x2 dx = = 1) n fx)e x2 d n dx n e x2 ) ) 1) n fx) dn dx n e x2 ) dx = e x2 dx = f n) x)e x2 dx. Wynika stąd w szczególności, że x m, H n ) w = 0 gdy m < n co już wiemy), a także, że x m, H n ) w 0 co najwyżej, gdy m i n mają tę samą parzystość. Gdy m = n + 2k, otrzymujemy x m, H n ) w = m! m n)! e x2 x m n m! dx = 2 m n)! 0 e x2 x m n dx,

2 20 Skompilował Janusz Mierczyński co po zamianie zmiennych t = x 2 dx = 1 2 t 1/2 dt, x m n = t m n)/2 ) daje m! e t t m n)/2 t 1/2 m! dt = m n)! m n)! Γ 1 m n + 1)). 2 0 Analogicznie można wyliczyć, dla a C, e ax, H n ) w = a n e ax x2 dx = a n e x a/2)2 e a2 /4 dx = = a n e a2 /4 e x2 dx = a n e a2 /4 π. Oznaczając zmienną x przez t i podstawiając następnie a = 2ix, otrzymujemy e x2 = 1 π e 2ixt t2 dt. Z powyższego wzoru można otrzymać, wykorzystując wzór Rodriguesa, że H n x) = 1) n ex2 π 2it) n e 2ixt t2 dt. Pierwiastki wielomianów Hermite a mają następujące własności: Twierdzenie 2.9. Wielomian Hermite a H n x) ma n pierwiastków pojedynczych, leżących w przedziale Można nawet powiedzieć więcej: 2n + 1 < x < 2n + 1. Twierdzenie 2.10. Dodatnie pierwiatki x 1,n < x 2,n <... wielomianu Hermite a H n x) spełniają następujące oszacowania: dla n = 2m, 2k 1)π 2 2n + 1 < x k,n < 4k + 1, k = 1, 2,..., m; 2n + 1 dla n = 2m + 1, kπ 2 2n + 1 < x k,n < 4k + 3 2n + 1, k = 1, 2,..., m. Zachodzi następujący wzór asymptotyczny 2.22) H n x) = 2 n/2 21/4 n!) 1/2 ) ) e x2 /2 1 cos 2n + 1 x nπ) 1/2 2 nπ + On 1/2 ) przy n, jednostajnie na przedziałach ograniczonych.

Wielomiany ortogonalne 2 21 2.3.5 Rozwinięcia w szeregi względem wielomianów Hermite a Oznaczmy, dla funkcji rzeczywistej f określonej na, ) gdzie c n = fx) c n H n x), n=0 1 2 n n! π fx)h n x)e x2 dx. Wiemy już Twierdzenie 2.8), że dla f L 2 w zbieżne do f w normie L 2 w. sumy częściowe szeregu są Twierdzenie 2.11. Załóżmy, że f L 2 w. Niech x będzie takie, że dla pewnych δ > 0 i C > 0 zachodzi fξ) fx) C gdy 0 < ξ x < δ. ξ x Wówczas szereg n=0 c n H n x) jest zbieżny do fx). 2.3.6 Wielomiany Legendre a i Czebyszewa Wielomiany Legendre a 14) to wielomiany Jacobiego dla α = β = 0: P n x) = P n 0,0) x). Waga to wx) 1, równanie na wartości własne to i funkcja tworząca to 1 x 2 )P n x) 2xP nx) + nn + 1)P n x) = 0, P n x)s n = 1 2xs + s 2 ) 1/2. n=0 Wielomiany Czebyszewa 15) można zdefiniować jako T n x) = 2 4 6... 2n) 3 5... 2n 1) P n 1/2, 1/2) x), 4 6... 2n + 2) U n x) = 1 3 5... 2n + 1) P n 1/2,1/2) x). 14) Adrien-Marie Legendre 1752 1833), matematyk francuski. 15) Pafnutij Lwowicz Czebyszew powinno być: Czebyszow) 1821 1894), matematyk rosyjski.

2 22 Skompilował Janusz Mierczyński ch funkcje tworzące to T n x)s n = n=0 U n x)s n = n=0 1 xs 1 2xs + s 2, 1 1 2xs + s 2. Wielomiany Gegenbauera 16), zwane też wielomianami ultrasferycznymi, definiowane są jako C λ nx) = 2λ) 2λ + 1)... 2λ + n 1) λ + 1 2 ) λ + 3 2 )... λ + n 1 2 λ 1/2,λ 1/2) n )P x). 2.3.7 nformacja o dyskretnych wielomianach ortogonalnych W poprzednich podrozdziałach rozważaliśmy wielomiany, które są ortogonalne względem iloczynu skalarnego wyznaczonego przez ciągłą wagę: całkowanie odbywało się po mierze absolutnie ciągłej względem miary Lebesgue a, z gęstością wx). Zamiast takiej miary możemy wziąć miarę dyskretną na przykład, sumę przeliczalnie wielu delt Diraca w punktach całkowitych). Dokładniej, niech w = w n ) n= będzie ciągiem liczb nieujemnych. loczyn skalarny definiujemy wzorem a normę wzorem f, g) w := f 2 w := k= k= fm)gm)w m, fm)) 2 w m. Wielomiany mają skończoną normę wtedy i tylko wtedy, gdy momenty rzędu parzystego sa skończone: k= m 2n w m <. W takim przypadku można skonstruować wielomiany ortogonalne analogicznie jak w przypadku ciągłej wagi. Zachodzą wtedy odpowiedniki formuły trójczłonowej 2.10) i wzoru Christoffela Darboux 2.11). Ponadto, jeśli istnieje c > 0 takie, że e 2c m w m <, k= 16) Leopold Bernhard Gegenbauer 1849 1903), matematyk austriacki.

Wielomiany ortogonalne 2 23 to wielomiany ortogonalne tworzą bazę odpowiedniej przestrzeni Hilberta. Zamiast liniowego operatora różniczkowego drugiego rzędu rozpatrujemy teraz tzw. liniowy operator różnicowy drugiego rzędu. Rozpocznijmy od zdefiniowania operatorów przesunięcia wzorem Operator różnicowy drugiego rzędu to S ± f)m) := fm ± 1). L := p + S + + p S + r, gdzie p +, p i r to funkcje. Operator L jest symetryczny względem w wtedy i tylko wtedy, gdy S p + w) = p w, co jest równoważne S + p w) = p + w. Z symetrii wynika, że funkcje własne odpowiadające różnym wartościom własnym sa ortogonalne. Można spytać, kiedy operator L ma jako funkcje własne pewne wielomiany stopni zero, jeden i dwa. Okazuje się, że odpowiada to tzw. klasycznym dyskretnym wielomianom ortogonalnym: wielomiany Charliera 17) zwane też wielomianami Poissona Charliera), wielomiany Krawczuka 18), wielomiany Meixnera 19), wielomiany Hahna 20). 17) Carl Vilhelm Ludwig Charlier 1862 1934), astronom szwedzki. 18) Mychajło Pyłypowicz Krawczuk 1892 1942), matematyk ukraiński używana jest też forma rosyjska: Michaił Filippowicz Krawczuk). 19) Josef Meixner 1908 1992), niemiecki fizyk teoretyk. 20) Wolfgang Hahn 1911 1998), matematyk niemiecki nie mylić z matematykiem austriackim Hansem Hahnem 1879 1934), znanym np. z twierdzenia Hahna Banacha).