Wyklad20, Psychologia, biologia, Matematyka


Opracowanie: Aleksander Pohl

WYKŁAD 20

DEFINICJA 20.1

0x01 graphic

L2 [a,b] - zbiór funkcji całkowalnych z kwadratem

UWAGA 20.1

Funkcje różniące się na zbiorze miary zero będziemy utożsamiać.

UWAGA 20.2

(L2[a,b], +, R, *) - jest przestrzenią wektorową.

TWIERDZENIE 20.1

Odwzorowanie :

0x01 graphic

jest iloczynem skalarnym w L2[a,b].

Dowód:

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic
0x01 graphic

0x01 graphic

A zatem takie odwzorowanie określa iloczyn skalarny w przestrzeni funkcji całkowalnych z kwadratem.

WNIOSEK 20.1

0x01 graphic
- przestrzeń unitarna

0x01 graphic
- jest przestrzenią unormowaną, przy czym

0x01 graphic

0x01 graphic
przestrzeń metryczna, gdzie

0x01 graphic

UWAGA 20.3

Zbieżność w sensie metryki d nazywa się zbieżnością przeciętną z kwadratem.

DEFINICJA 20.2 (CIĄG ORTOGONALNY)

Niech 0x01 graphic

0x01 graphic
- ortogonalny0x01 graphic

0x01 graphic
ortonormalny0x01 graphic

0x01 graphic

DEFINICJA 20.3 (SZEREG ORTOGONALNY)

Niech 0x01 graphic
- ciąg ortogonalny

0x01 graphic

wówczas 0x01 graphic
- nazywamy szeregiem ortogonalnym

TWIERDZENIE 20.2 (WSPÓŁCZYNNIKI EULERA - FOURIERA)

0x08 graphic
Z:

0x01 graphic
szereg ortogonalny zbieżny jednostajnie do funkcji0x01 graphic

T:

0x01 graphic
- współczynniki Eulera - Fouriera

Dowód:

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic
- wszystkie poza k - tym zerują się

0x01 graphic

0x01 graphic

Dane : 0x01 graphic
- ciąg ortogonalny

Dla funkcji f:

0x01 graphic
- współczynniki Eulera - Fouriera względem ciągu 0x01 graphic
, wtedy 0x01 graphic

DEFINICJA 20.4

0x08 graphic
f - rozwijalna w szereg ortogonalny (uogólniony Fouriera) względem ciągu ortogonalnego 0x01 graphic

0x01 graphic

tzn. 0x01 graphic
jest zbieżny punktowo do f na [a,b]

TWIERDZENIE 20.3 (NIERÓWNOŚĆ BESSELA)

Z:

0x01 graphic
- ciąg ortogonalny

0x01 graphic

T:

0x01 graphic

Dowód:

Niech 0x01 graphic
- ciąg sum częściowych szeregu0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

Pokazaliśmy, że

0x01 graphic

TWIERDZENIE 20.4 (TOŻSAMOŚĆ PARSEVALA)

Z: 0x01 graphic

T: 0x01 graphic
- zbieżny przeciętnie z kwadratem do f 0x01 graphic

Dowód:

- bezpośredni wniosek z twierdzenia 20.3

0x01 graphic
- zbieżny przeciętnie z kwadratem do f

0x01 graphic
0x01 graphic

DEFINICJA 20.5 (CIĄG ZUPEŁNY)

Niech 0x01 graphic
- ortogonalny

0x01 graphic
- zupełny0x01 graphic

WNIOSEK 20.2

Z: 0x01 graphic
- zupełny

0x01 graphic

T: 0x01 graphic
- jest zbieżny przeciętnie z kwadratem do f na [a,b]

Niech L2[-l,l] - zbiór funkcji całkowalnych z kwadratem w przedziale [-l,l]

Niech (1)

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

TWIERDZENIE 20.5

Ciąg 0x01 graphic
określony wzorem (1) jest ciągiem ortogonalnym

Dowód:

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic
- ciąg ortogonalny

TWIERDZENIE 20.6 (ZUPEŁNOŚĆ CIĄGU (1))

Ciąg (1) jest zupełny (bez dowodu).

TWIERDZENIE 20.7 (O POSTACI SZEREGU TRYGONOMETRYCZNEGO FOURIERA)

Z: 0x01 graphic

T: 0x01 graphic

gdzie: 0x01 graphic

0x01 graphic

Dowód:

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic



Wyszukiwarka