双奇异权方程：研究对象

这条档案解决一个入口问题：研究对象到底是什么，两个奇异权为什么会让证明路线变得更敏感。

核心公式

$$\begin{cases} |x|^{-s_1}u_t-\Delta u_t-\Delta u = |x|^{-s_2}|u|^{p-2}u, & (x,t)\in \Omega\times(0,T),\\ u(x,0)=u_0(x), & x\in\Omega,\\ u(x,t)=0, & (x,t)\in\partial\Omega\times(0,T). \end{cases}$$

这里的异常来自两个位置：(|x|^{-s_1}) 作用在时间项上，(|x|^{-s_2}) 作用在非线性源项上。它们都在原点附近放大信号，所以每一步估计都要确认可积性和边界条件没有失控。

参数节点

$$0\le s_1\le 2,\qquad 2N+p-pN\le s_2\le N+p-\frac12pN,\qquad 2<p\le \frac{2N}{N-1}.$$

两个辅助指数经常出现：

$$q=\frac{pN}{N-s_2+p},\qquad a=\frac{N(p-2)}{p-s_2}.$$

它们不是装饰变量，而是为了把带权非线性项重新放进可估计的 Lebesgue 与 Sobolev 框架。简单说：参数条件是在告诉我们“这个异常信号还能被梯度范数压住”。

人话解释

拟抛物方程和热方程相似，都有扩散味道；但它多了 (-\Delta u_t)，时间演化和空间结构被绑在一起。双奇异权进一步提高难度：一个权重影响演化项，一个权重影响源项，证明时需要同时处理局部奇性、非线性增长和极限过程。

证明路线

1. 先把奇异权截断，避免原点附近的系数直接爆开。
2. 用 Galerkin 近似把无限维问题压到有限维。
3. 建立与维数无关的能量估计。
4. 用紧性工具取极限，把截断问题送回原问题。
5. 对稳态方程，转入变分框架寻找非平凡解。

继续阅读：
Galerkin：把无限维压成有限维
Mountain Pass：能量地形里的山口