[论文解读] A characterization of unbounded Fredholm operators

А. Г. Рамм|ArXiv.org|Jan 31, 2003

Matrix Theory and Algorithms参考文献 6被引用 6

一句话总结

本文通过证明闭的、定义稠密的线性算子 $ A $ 是 Fredholm 算子当且仅当其可表示为 $ A = B - F $，其中 $ B $ 是定义域与 $ A $ 相同、值域为全空间的闭双射算子，$ F $ 是有限秩算子，从而对巴拿赫空间中的无界 Fredholm 算子给出了刻画。该结果将有界 Fredholm 算子的刻画推广至无界情形，并建立了此类算子的 Fredholm 互反性。

ABSTRACT

This paper is a continuation of the paper (A.G.Ramm, Amer. Math. Monthly, 108, N 9, (2001), 855-860), where bounded Fredholm operators are studied. The theory of bounded linear Fredholm-type operators is presented in many texts. This paper is written for a broad audience and the author tries to give simple and short arguments.

研究动机与目标

• 将 Fredholm 算子的刻画从有界情形推广至巴拿赫空间中的无界闭线性算子。
• 为无界闭的、定义稠密的算子成为 Fredholm 算子建立必要且充分条件。
• 证明无界 Fredholm 算子满足 Fredholm 互反性。
• 通过双正交系与有限秩扰动，提供一种分析无界 Fredholm 算子的构造性框架。
• 通过正式处理通常被有界情形所忽视的无界 Fredholm 算子，弥合文献中的空白。

提出的方法

• 将 $ A \in \text{Fred}(X,Y) $ 定义为闭的、定义稠密的线性算子，其值域闭，且核与余核均为有限维。
• 利用 $ A $ 与 $ A^* $ 的核的双正交系，构造一个定义域为 $ D(B) = D(A) $、值域为 $ Y $、核为 $ \{0\} $ 的双射闭算子 $ B $。
• 定义一个有限秩算子 $ F $，使得 $ A = B - F $，其中 $ F $ 由 $ X $ 与 $ Y $ 中的双正交系构造，确保 $ F $ 的秩有限。
• 通过闭图像定理证明 $ B $ 可逆且其逆有界，利用 $ B $ 的双射性与闭性。
• 利用 $ B^{-1}F $ 的紧致性（因 $ F $ 为有限秩）来建立收敛性与有界性性质，用于证明值域闭性与闭性。
• 通过有限维核与余核的 $ I - T $（其中 $ T = B^{-1}F $）应用 Fredholm 互反性，确认 $ A $ 的 Fredholm 性质。

实验结果

研究问题

• RQ1 能否将有界 Fredholm 算子的刻画推广至巴拿赫空间中的无界闭线性算子？
• RQ2 无界 Fredholm 算子在双射算子与有限秩扰动下的精确结构分解是什么？
• RQ3 Fredholm 互反性是否对无界 Fredholm 算子成立？如何通过算子分解来证明？
• RQ4 $ A $ 与 $ A^* $ 的核与余核如何与双射算子 $ B $ 及有限秩算子 $ F $ 的构造相关联？
• RQ5 扰动的有限秩性质在确保 $ A $ 的闭性与 Fredholm 性质中起什么作用？

主要发现

• 无界闭的、定义稠密的算子 $ A $ 是 Fredholm 算子当且仅当其可表示为 $ A = B - F $，其中 $ B $ 是闭的、双射的，满足 $ D(B) = D(A) $，$ R(B) = Y $，且 $ F $ 为有限秩算子。
• 通过 $ A $ 与 $ A^* $ 的核的双正交系构造的算子 $ B $ 有下界且具有有界逆，从而保证其双射性。
• 值域 $ R(A) $ 是闭的，因为若序列 $ Au_n \to f $ 收敛，则 $ u_n $ 有界且收敛于某 $ u \in D(A) $，故 $ f \in R(A) $。
• 核 $ \dim N(A) $ 为有限维，因为其同构于 $ I - T $ 的核，其中 $ T = B^{-1}F $ 为有限秩算子，且 $ \dim N(I - T) < \infty $。
• 余核亦为有限维，因为 $ \dim N(A^*) = \dim N(I - T^*) < \infty $，其中 $ T^* $ 为有限秩算子 $ T $ 的共轭。
• Fredholm 互反性对无界 Fredholm 算子成立，因为方程 $ Au = f $ 有解当且仅当 $ f \perp N(A^*) $，这由 $ N(A^*) $ 的有限维性所保证。