超関数としての定義とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 超関数としての定義の意味・解説 

超関数としての定義

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/02/17 04:25 UTC 版)

フーリエ変換」の記事における「超関数としての定義」の解説

上記可積分関数の定義では、次のような関数は ∫ − ∞ ∞ | f ( x ) | d x = ∞ {\displaystyle \int _{-\infty }^{\infty }|f(x)|dx=\infty } のため可積分ではなくフーリエ変換が定義できない。 ・ f ( x ) = c {\displaystyle f(x)=c} ( c {\displaystyle c} はゼロ以外の定数) ・ f ( x ) = x n {\displaystyle f(x)=x^{n}} ( n {\displaystyle n} は自然数) ・周期関数f ( x ) = 0 {\displaystyle f(x)=0} を除く) このように周期関数のようなフーリエ級数展開が可能な関数が、可積分関数の意味フーリエ変換できないことは非常に不便であり、またフーリエ変換理解難しくしている。 そこで、フーリエ変換の定義を超関数拡張することが行われる。 超関数とは、急減少関数シュワルツ空間の元である関数)の列 { f n ( x ) } n = 1 ∞ {\displaystyle \{f_{n}(x)\}_{n=1}^{\infty }} であって任意の急減少関数 ϕ ( x ) {\displaystyle \phi (x)} について lim n → ∞ ∫ − ∞ ∞ f n ( x ) ϕ ( x ) d x {\displaystyle \lim _{n\to \infty }\int _{-\infty }^{\infty }f_{n}(x)\phi (x)dx} が存在するものを言い2つ急減少関数の列 { f n ( x ) } n = 1 ∞ {\displaystyle \{f_{n}(x)\}_{n=1}^{\infty }} 、 { g n ( x ) } n = 1 ∞ {\displaystyle \{g_{n}(x)\}_{n=1}^{\infty }} が、任意の急減少関数 ϕ ( x ) {\displaystyle \phi (x)} について lim n → ∞ ∫ − ∞ ∞ f n ( x ) ϕ ( x ) d x = lim n → ∞ ∫ − ∞ ∞ g n ( x ) ϕ ( x ) d x {\displaystyle \lim _{n\to \infty }\int _{-\infty }^{\infty }f_{n}(x)\phi (x)dx=\lim _{n\to \infty }\int _{-\infty }^{\infty }g_{n}(x)\phi (x)dx} が成り立つとき、 { f n ( x ) } {\displaystyle \{f_{n}(x)\}} と { g n ( x ) } {\displaystyle \{g_{n}(x)\}} は同一超関数を表すものとするイメージとしては、超関数関数列の極限であるが、関数自体超関数であり、 lim n → ∞ f n ( x ) {\displaystyle \lim _{n\to \infty }f_{n}(x)} が収束値を持つ必要はない。 急減少関数可積分関数であるため、可積分関数としてのフーリエ変換定義されるが、急減少関数フーリエ変換急減少関数になるという性質がある。この性質利用し次のように超関数フーリエ変換定義される。 定義: 急減少関数の列である超関数 { f n ( x ) } n = 1 ∞ {\displaystyle \{f_{n}(x)\}_{n=1}^{\infty }} のフーリエ変換は、急減少関数の列 { ∫ − ∞ ∞ f n ( x ) e − 2 π i x ξ d x } n = 1 ∞ {\displaystyle \{\int _{-\infty }^{\infty }f_{n}(x)e^{-2\pi ix\xi }dx\}_{n=1}^{\infty }} からなる超関数定義される。 ・ f ( x ) = c {\displaystyle f(x)=c} ( c {\displaystyle c} はゼロ以外の定数)については、急減少関数の列である超関数 { c exp ⁡ ( − x 2 / n ) } {\displaystyle \{c\exp(-x^{2}/n)\}} を考えlim n → ∞ c exp ⁡ ( − x 2 / n ) = c {\displaystyle \lim _{n\to \infty }c\exp(-x^{2}/n)=c} のため、任意の急減少関数 ϕ ( x ) {\displaystyle \phi (x)} について lim n → ∞ ∫ − ∞ ∞ c exp ⁡ ( − x 2 / n ) ϕ ( x ) d x = ∫ − ∞ ∞ c ϕ ( x ) d x {\displaystyle \lim _{n\to \infty }\int _{-\infty }^{\infty }c\exp(-x^{2}/n)\phi (x)dx=\int _{-\infty }^{\infty }c\phi (x)dx} となり広い意味で同一視可能)、そのフーリエ変換急減少関数の列である超関数 { ∫ − ∞ ∞ c exp ⁡ ( − x 2 / n − 2 π i x ξ ) d x } = { c exp ⁡ ( − n π 2 ξ 2 ) ∫ − ∞ ∞ exp ⁡ ( − ( x + n π i ξ ) 2 / n ) d x } = { c n π exp ⁡ ( − n π 2 ξ 2 ) } {\displaystyle \{\int _{-\infty }^{\infty }c\exp(-x^{2}/n-2\pi ix\xi )dx\}=\{c\exp(-n\pi ^{2}\xi ^{2})\int _{-\infty }^{\infty }\exp(-(x+n\pi i\xi )^{2}/n)dx\}=\{c{\sqrt {n\pi }}\exp(-n\pi ^{2}\xi ^{2})\}} となる。 ここで、 ξ ≠ 0 {\displaystyle \xi \neq 0} のときは lim n → ∞ n π exp ⁡ ( − n π 2 ξ 2 ) = 0 {\displaystyle \lim _{n\to \infty }{\sqrt {n\pi }}\exp(-n\pi ^{2}\xi ^{2})=0} 、 ξ = 0 {\displaystyle \xi =0} のときは lim n → ∞ n π exp ⁡ ( − n π 2 ξ 2 ) = ∞ {\displaystyle \lim _{n\to \infty }{\sqrt {n\pi }}\exp(-n\pi ^{2}\xi ^{2})=\infty } であり、 ∫ − ∞ ∞ n π exp ⁡ ( − n π 2 ξ 2 ) d ξ = 1 {\displaystyle \int _{-\infty }^{\infty }{\sqrt {n\pi }}\exp(-n\pi ^{2}\xi ^{2})d\xi =1} である。これはデルタ関数と言われf ( x ) = c {\displaystyle f(x)=c} のフーリエ変換は、 c δ ( ξ ) {\displaystyle c\delta (\xi )} となる。

※この「超関数としての定義」の解説は、「フーリエ変換」の解説の一部です。
「超関数としての定義」を含む「フーリエ変換」の記事については、「フーリエ変換」の概要を参照ください。

ウィキペディア小見出し辞書の「超関数としての定義」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「超関数としての定義」の関連用語

超関数としての定義のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



超関数としての定義のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのフーリエ変換 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS