关于L²(Ω)空间中乘法双线性算子的有界性问询
我有一个关于泛函分析中双线性算子有界性的问题，设定如下：
设$\Omega$是$\mathbb{R}^n$（$n\geq1$）中的有界开子集，考虑双线性算子$B: L^2(\Omega) \times L^2(\Omega) \to L^2(\Omega)$，定义为$B(y_1, y_2) = y_1 \cdot y_2$，其中$y_1,y_2 \in L^2(\Omega)$。
$L^2(\Omega)$中的范数为$$|y| = \left(\int_{\Omega}y^2(x) \ \mathrm dx\right)^{1/2}.$$
我的问题是：算子$B$是否是有界算子？
我原本以为答案很直接，但总感觉自己可能忽略了什么，希望能得到一些见解或解释，提前感谢！
这个问题其实挺经典的，结论是一般情况下这个乘法双线性算子不是有界的，我给你拆解一下原因：
首先回忆双线性算子有界的核心定义：存在一个固定的常数$C>0$，使得对所有$y_1,y_2 \in L^2(\Omega)$，都满足
$$|B(y_1,y_2)|{L^2(\Omega)} \leq C |y_1|{L^2(\Omega)} |y_2|_{L^2(\Omega)}$$
我们可以通过构造反例来证明不存在这样的常数$C$：
假设$\Omega=(0,1)$（n=1的情况，其他维度可以类似构造），考虑序列函数$y_k(x) = x^{-1/4} \chi_{(0,1/k)}(x)$，其中$\chi$是集合的指示函数（在$(0,1/k)$上取1，其余地方取0）。
先计算$y_k$的$L^2$范数：
$$|y_k|{L2}2 = \int_0^{1/k} x^{-1/2} dx = 2x{1/2}\bigg|_0{1/k} = 2k^{-1/2}$$
因此$|y_k|{L^2} = \sqrt{2} k^{-1/4}$再计算$y_k \cdot y_k = y_k2$的$L2$范数：
$$|y_k2|_{L2}^2 = \int_0^{1/k} x^{-1} dx = \ln x \bigg|_0^{1/k} = \ln k$$
因此$|y_k2|_{L2} = (\ln k)^{1/2}$
现在看比值$\frac{|B(y_k,y_k)|}{|y_k| |y_k|} = \frac{(\ln k){1/2}}{2k{-1/2}} = \frac{(\ln k)^{1/2} k^{1/2}}{2}$，当$k \to \infty$时，这个比值会趋向于无穷大，这就说明不存在固定的常数$C$能满足有界性的不等式。
额外补充几个相关的知识点，帮你理清容易混淆的点：
- 如果把算子的值域换成$L^1(\Omega)$，那$B: L^2 \times L^2 \to L^1$是有界的，这可以直接由柯西-Schwarz不等式推导：
$$|y_1 y_2|{L^1} = \int\Omega |y_1 y_2| dx \leq |y_1|{L^2} |y_2|{L^2}$$ - 从$Lp$空间的乘法映射规律来看：$Lp(\Omega) \times L^q(\Omega) \to L^r(\Omega)$是有界双线性算子的充要条件是$\frac{1}{p} + \frac{1}{q} = \frac{1}{r}$（当$\Omega$测度有限时）。这里$p=q=2$，对应的$r=1$而不是2，所以自然无法满足到$L^2$的有界性。
你觉得自己可能忽略的点，大概率是混淆了不同函数空间之间乘法算子的有界性条件——毕竟$L2$中的函数相乘，结果不一定还属于$L2$，更别说满足双线性有界的强不等式了。
备注：内容来源于stack exchange，提问作者elmas
