关于算子$T:L^2(0,1)\rightarrow L^2(0,1)$的良定性等性质问询

首先要肯定你的思路：完全可行！因为被积函数中的$(x^2+3x+1)$和积分变量$y$无关，所以确实可以把它从积分里提出来，转化为：
$$(Tu)(x) = (x^2+3x+1) \cdot \int_0^1 u(y) dy$$
接下来我们逐个验证你关心的四个性质：

1. 良定性（Well-defined） #

对于任意$u \in L^2(0,1)$，根据Holder不等式：
$$\left| \int_0^1 u(y) dy \right| \leq |u|{L^2(0,1)} \cdot |1|{L^2(0,1)} = |u|_{L^2(0,1)}$$
这说明$\int_0^1 u(y) dy$是一个有限常数。而函数$x \mapsto x^{2+3x+1$在$[0,1]$上连续，自然属于$L}2(0,1)$。两者相乘的结果是$L^2(0,1)$中的元素，因此算子$T$是良定的。

2. 线性（Linearity） #

直接验证线性定义：对任意$u,v \in L^2(0,1)$，以及任意标量$\alpha, \beta$（实数或复数，取决于空间的数域），有：
$$
\begin{align*}
T(\alpha u + \beta v)(x) &= (x^2+3x+1) \int_0^1 (\alpha u(y) + \beta v(y)) dy \
&= \alpha (x^2+3x+1) \int_0^1 u(y) dy + \beta (x^2+3x+1) \int_0^1 v(y) dy \
&= \alpha Tu(x) + \beta Tv(x)
\end{align*}
$$
完全满足线性算子的条件，所以$T$是线性的。

3. 有界性（Boundedness） #

我们需要找到一个常数$C>0$，使得对所有$u \in L^{2(0,1)$，$|Tu|_{L}2(0,1)} \leq C |u|_{L^2(0,1)}$。

利用之前的转化：
$$|Tu|{L^2(0,1)} = \left| \int_0^1 u(y) dy \right| \cdot |x^2+3x+1|_{L2(0,1)}$$
结合Holder不等式的结果$|\int_0^1 u(y) dy| \leq |u|{L^{2(0,1)}$，再计算$|x}2+3x+1|{L^2(0,1)}$：
$$
|x^2+3x+1|_{L2(0,1)} = \sqrt{\int_0^1 (x^2+3x+1)2 dx} = \sqrt{\frac{281}{30}} \approx 3.06
$$
这是一个有限常数，记为$C$，那么$|Tu|{L^2(0,1)} \leq C |u|_{L^2(0,1)}$，因此$T$是有界算子。

4. 紧性（Compactness） #

紧算子的核心特征是：将有界集映射到相对紧集（即像集的闭包是紧集）。观察$T$的值域：所有$Tu$都是函数$x^{2+3x+1$的常数倍，也就是说$T$的值域是$L}2(0,1)$的一维子空间$\text{span}{x^2+3x+1}$。

在有限维赋范空间中，任何有界集都是相对紧的（因为有限维空间的单位球是紧集）。因此，对于$L^2(0,1)$中的任意有界序列${u_n}$，${Tu_n}$是一维子空间中的有界序列，必然存在收敛子列。这就满足了紧算子的定义，所以$T$是紧算子。

内容的提问来源于stack exchange，提问作者james watt