関数解析学
(函数解析学 から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/03/14 01:57 UTC 版)
関数解析学(かんすうかいせきがく、英: functional analysis、仏: Analyse fonctionnelle、函数解析学とも書かれる。別名は位相解析学。)は数学(特に解析学)の一分野で、フーリエ変換や微分方程式、積分方程式などの研究に端を発している[1][2][3][4]。特定のクラスの関数からなるベクトル空間にある種の位相構造を定めた関数空間や、その公理化によって得られる線形位相空間の構造が研究される[1][2][3][4]。主な興味の対象は、様々な関数空間上で積分や微分によって定義される線型作用素の振る舞いを通じた積分方程式や微分方程式の線型代数学的取り扱いであり、無限次元ベクトル空間上の線型代数学と捉えられることも多い[1][2][3]。また、無限次元空間上での微分 (フレシェ微分など) を扱うため、無限次元空間上での微分積分学という捉え方も可能である[4]。
- ^ a b c Functional analysis at nLab
- ^ a b c Weisstein, Eric W. "Functional Analysis." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/FunctionalAnalysis.html
- ^ a b c Functional analysis from Encyclopedia of Mathematics
- ^ a b c 関数解析の基礎-次元の微積分-, 堀内利郎 & 下村勝孝, 内田老鶴圃.
- ^ 新井朝雄, 関数解析学と量子物理学
- ^ 原隆, 数学者のための量子力学入門
- ^ 大石進一 et. al. (2018), 精度保証付き数値計算の基礎, コロナ社.
- ^ 中尾充宏, & 山本野人. (1998). 精度保証付き数値計算 チュートリアル: 応用数理最前線.
- ^ 中尾充宏, & 渡部善隆. (2011). 実例で学ぶ精度保証付き数値計算, サイエンス社.
- ^ Nakao, Mitsuhiro T; Plum, Michael; Watanabe, Yoshitaka (2019). Numerical verification methods and computer-assisted proofs for partial differential equations. Springer. doi:10.1007/978-981-13-7669-6
- ^ 桂田祐史、Poisson方程式に対する有限要素法の解析超特急
- ^ Sam Power, Functional Analysis meets Deep Learning.
- 1 関数解析学とは
- 2 関数解析学の概要
- 3 参考文献
- 4 外部リンク
函数解析学
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/01/04 07:24 UTC 版)
「フレドホルムの交代定理」の記事における「函数解析学」の解説
フレドホルム作用素に関する結果は、無限次元ベクトル空間、バナッハ空間に対して前述の結果を一般化するものである。 上記の積分方程式は、作用素の記法では以下のように定式化できる。(少々乱暴な書き方になるが) T = λ − K {\displaystyle T=\lambda -K} と書けば、 T ( x , y ) = λ δ ( x − y ) − K ( x , y ) {\displaystyle T(x,y)=\lambda \;\delta (x-y)-K(x,y)} を意味するものとする。ここで δ(x − y) はシュヴァルツ超函数あるいはもっとほかの超函数として考えたディラックのデルタ函数である。畳み込みにより、T は函数からなるバナッハ空間 V に作用する線型作用素を誘導する。それも同じく T と書くことにすると、線型作用素 T : V → V ; ϕ ↦ ψ {\displaystyle T\colon V\to V;\;\phi \mapsto \psi } は ψ ( x ) = ∫ a b T ( x , y ) ϕ ( y ) d y = λ ϕ ( x ) − ∫ a b K ( x , y ) ϕ ( y ) d y {\displaystyle \psi (x)=\int _{a}^{b}T(x,y)\phi (y)\,dy=\lambda \;\phi (x)-\int _{a}^{b}K(x,y)\phi (y)\,dy} で与えられる。 このように書けば、積分方程式に対するフレドホルムの択一定理が、線型代数学の節で述べた有限次元の場合のフレドホルムの択一定理の無限次元の場合の対応物であることが見て取れる。 上述のような、ある L2 の核との畳み込みで与えられる作用素 K は、ヒルベルト=シュミット積分作用素として知られる。そのような作用素は常にコンパクトである。より一般に、K が任意のコンパクト作用素のときもフレドホルムの択一定理は成立する。フレドホルムの択一定理を「λ がゼロでないならば、それは K の固有値であるか、レゾルベント作用素 R ( λ ; K ) = ( K − λ Id ) − 1 {\displaystyle R(\lambda ;K)=(K-\lambda \operatorname {Id} )^{-1}} の定義域に属するかのいずれか一方が成り立つ。」と言いなおすことができる。
※この「函数解析学」の解説は、「フレドホルムの交代定理」の解説の一部です。
「函数解析学」を含む「フレドホルムの交代定理」の記事については、「フレドホルムの交代定理」の概要を参照ください。
- 函数解析学のページへのリンク