数学の分野におけるフレドホルム核(フレドホルムかく、英: Fredholm kernel)とは、あるバナッハ空間上の核で、その空間の核作用素と関連するものである。フレドホルム積分方程式およびフレドホルム作用素の概念の一つの抽象化であり、フレドホルム理論における主要な研究対象の一つとなっている。その名称は、エリック・イヴァル・フレドホルムにちなむ。フレドホルム核に関する抽象理論の多くは、アレクサンドル・グロタンディークによって研究され、その内容は 1955 年の出版物に見られる。
定義
B を任意のバナッハ空間とし、B* をその双対空間、すなわち、B 上の有界線型汎函数からなる空間とする。テンソル積
には、ノルム
![{\displaystyle \Vert X\Vert _{\pi }=\inf \sum _{\{i\}}\Vert e_{i}^{*}\Vert \Vert e_{i}\Vert }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b8e84b05283b93b2ba751e38cfc83caee98a153)
の下での完備化が存在する。但しここで、上式の下限は、すべての有限な表現
![{\displaystyle X=\sum _{\{i\}}e_{i}^{*}e_{i}\in B^{*}\otimes B}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aefc676ce2f7cae8711bb28aa132f810a084aecf)
に関して取られるものとする。
そのようなノルムの下での完備化は、しばしば
![{\displaystyle B^{*}{\widehat {\,\otimes \,}}_{\pi }B}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58a0767a7b2d3dc6adda64850f4d2db9b6342182)
のように記述され、射影位相テンソル積(英語版)と呼ばれる。この空間の元が、フレドホルム核と呼ばれる。
性質
すべてのフレドホルム核は、次のような形式で表現することが出来る:
![{\displaystyle X=\sum _{\{i\}}\lambda _{i}e_{i}^{*}\otimes e_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a724065434fb9ed1b779d8e2288f5d223b774e2)
ここで
および
は
を満たすようなものであり、
![{\displaystyle \sum _{\{i\}}\vert \lambda _{i}\vert <\infty \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7bfa6325981fb5fb39d62a0ca203dc6ee41cd5a0)
が成立している。
そのような核に対応するものは、正準表現
![{\displaystyle {\mathcal {L}}_{X}f=\sum _{\{i\}}\lambda _{i}e_{i}^{*}(f)\otimes e_{i}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d767060636b0616e77cf4041039fbcd460662fa)
の存在する線型作用素
![{\displaystyle {\mathcal {L}}_{X}:B\to B}](https://wikimedia.org/api/rest_v1/media/math/render/svg/553d63b7f6a00b8cc0fc4e6abc9ff1f9692bcbcc)
である。
すべてのフレドホルム核に対応するものは、
![{\displaystyle {\mbox{tr}}X=\sum _{\{i\}}\lambda _{i}e_{i}^{*}(e_{i})\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/014cd51daa2f74045db5fe348f215e9b7cd876c4)
で定義される、トレースである。
p-総和可能な核
フレドホルム核は、
![{\displaystyle \sum _{\{i\}}\vert \lambda _{i}\vert ^{p}<\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/51fde4eb6f81efdd526859b16dfc8d185119717a)
が成立するとき、p-総和可能(p-summable)であると言われる。
フレドホルム核は、それが p-総和可能であるようなすべての
についての下限が q であるとき、次数 q であると言われる。
バナッハ空間上の核作用素
作用素
は、
であるような
が存在するとき、核作用素であると言われる。そのような作用素が p-総和可能あるいは次数 q であるとは、X がそれらの性質を満たすことを言う。一般的に、そのような核作用素の対応する核 X は唯一つであるとは限らない。したがって、そのトレースは一意には定まらない。しかし、次数が
を満たすなら、そのトレースは一意に定まる。これはグロタンディークの定理によるものである。
グロタンディークの定理
をある作用素とする。その次数が
を満たすなら、そのトレースは
![{\displaystyle {\mbox{Tr}}{\mathcal {L}}=\sum _{\{i\}}\rho _{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a403043a17b8fa4444f70238a72fe3d73488e57)
のように定義されうる。ここで、
は
の固有値とする。また、そのフレドホルム行列式は、z の整関数
![{\displaystyle \det \left(1-z{\mathcal {L}}\right)=\prod _{i}\left(1-\rho _{i}z\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/706f35289a51447e4f1d944bc94266b00f141bba)
である。関係式
![{\displaystyle \det \left(1-z{\mathcal {L}}\right)=\exp {\mbox{Tr}}\log \left(1-z{\mathcal {L}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/269331f5f31fea922b0a59d66be3008f327cf402)
も同様に成立する。最後に、
がある複素数値パラメータ w によって関連付けらなら、すなわち、
であり、そのパラメータ付けがある領域上で正則であるなら、
も同じ領域上で正則となる。
例
ある重要な例として、領域
上の正則関数からなるバナッハ空間が挙げられる。この空間においては、すべての核作用素の次数はゼロであり、したがってトレースクラスである。
核空間
核作用素の概念は、フレシェ空間にも適用される。核空間(英語版)とは、その空間から任意のバナッハ空間へのすべての有界写像が核作用素であるようなフレシェ空間のことを言う。
参考文献
- Grothendieck A (1955). “Produits tensoriels topologiques et espaces nucléaires”. Mem. Am. Math.Soc. 16.
- Grothendieck A (1956). “La théorie de Fredholm”. Bull. Soc. Math. France 84: 319–84.
- B.V. Khvedelidze, G.L. Litvinov (2001), “Fredholm kernel”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Fredholm_kernel
- Fréchet M (November 1932). “On the Behavior of the nth Iterate of a Fredholm Kernel as n Becomes Infinite”. Proc. Natl. Acad. Sci. U.S.A. 18 (11): 671–3. doi:10.1073/pnas.18.11.671. PMC 1076308. PMID 16577494. https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1076308/.