ベッセル不平等とパーセバル方程式に関するいくつかの注意事項

1.  ベッセル不平等:セットバツ計量ベクトル空間の、Mは= \ {} E_ {N:N \ geqslant 1 \右\} \左標準的な正の交点として、ベッセル次の不等式:

右\ <X、E_ {I}> | | \左\ sum_ {i = 1} ^ {\ inftyのは} | ^ {2} \ leqslant \ \左  X \右\ | ^ {2}

証明された比較的単純な、最初の注文:

 Y = \ sum_ {i = 1} ^ {n}は<X、E_ {I}> E_ {I}

\ forallはX \でX(省略証明)があります。

<Y、X-Y> = ... = 0 \ RIGHTARROW \ \左|  X \右\ | ^ {2} = \左\ |  | ^ {2} + \ \左| \ Y \右  XY \右\ | ^ {2}

だから:| \ \左  | ^ {2} \当量\ \左| \ Y \右  X \右\ | ^ {2}その

\ sum_ ^ {n}が{iは1 =} \左| <X、E_ {I}> \権利| | ^ {2} \ leqslant \ \左  X \右\ | ^ {2}

使用、単調なシーケンスは制限があります有界:

右\ <X、E_ {I}> | | \左\ sum_ {i = 1} ^ {\ inftyのは} | ^ {2} \ leqslant \ \左  X \右\ | ^ {2}

注:\ sum_ {i = 1} ^ {\ inftyの} \左| <X、E_ {I}> \右| ^ {2}よりコンバージェンス\ sum_ {i = 1} ^ {\ inftyの} <X、E_ {I}> E_ {I}少し強いです。それは示すことができヒルベルト、両方同じ下部空間収束、より一般的には、以下のとおりです。

\ Sum_ {I \ GEQ 1} <A_ {I}、E_ {I}>\ sum_ {私はGEQ \ 1} \左|  A_ {I} \権| ^ {2}同じ収束。

2.、すなわち特殊な計量ベクトル空間を考えてみましょヒルベルトスペースを:

  • 以下の無限級数は収束している必要があります。

\ sum_ {i = 1} ^ {\ inftyの} <X、E_ {I}> E_ {I}

  • 場合M正規直交基底(標準完全に直交セット)、次いで式収束にはバツ
  • 場合M正規直交基底であり、不等式はさらにベッセルパーセバル式のように表されます。

\ sum_ {i = 1} ^ {\ inftyの} \左|右\ <X、E_ {I}> | | ^ {2} = \ \左  X \右\ | ^ {2}

3.総合:パーセバル方程式はベッセル不等式完全計量ベクトル空間+標準完全に直交セット特殊なケースの下です。

フーリエ解析の4.アプリケーション。

連続更新。

 

公開された14元の記事 ウォン称賛19 ビュー30000 +

おすすめ

転載: blog.csdn.net/qq_24694761/article/details/84330890