$L^\infty(0,T;L^2(\Omega))$中的弱*收敛与逐点弱极限相关问题

先把已给出的关键条件清晰梳理出来：

• 设$\Omega$是$\mathbb{R}^n$中的有界区域；
• 我们有一列函数$u_n: [0,T] \to L^2(\Omega)$，且对任意正整数$n$、所有$t \in [0,T]$，$u_n(t)$的$L^{2$范数一致有界：$|u_n(t)|_{L}2(\Omega)} \leq C$（这里$C$是与$n$无关的常数）；
• 这列$u_n$在$L^\infty(0,T;L2(\Omega))$中弱*收敛到某个函数$u \in L^\infty(0,T;L2(\Omega))$，具体收敛定义为：
  $$
  \int_0^T \int_\Omega u_n(t,x) v(t,x) ,dxdt \to \int_0^T \int_\Omega u(t,x) v(t,x) ,dxdt
  $$
  对所有属于$L^1(0,T;L2(\Omega))$的测试函数$v$均成立。

虽然你后续的“同时，对每个...”内容未补充完整，但从现有框架来看，这类问题通常围绕弱*收敛的衍生性质展开——比如$u_n$是否能在其他拓扑下收敛、$u$是否继承$u_n$的某些约束条件等。

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