If $\partial_t u_n -\Delta u_n = f_n$ , $\partial_t u -\Delta u =f$ and $f_n \to f$ in $L_t^p L_x^q$, do we have $u_n \to u$ in $W^{1,p}_t L^q_x$?

27 Views Asked by At

The question is summarized in the title.

For each $n \in \mathbb{N}$, let us consider the Cauchy problem \begin{equation} \partial_t u_n -\Delta u_n = f_n \text{ on } [0,T] \times \mathbb{T}^4 \text{ with } u_n(t=0,x)=u_n(x) \end{equation} where $f_n(t,x) \in L^p_t\bigl( [0,T], L^q_x(\mathbb{T}^4) \bigr)$ for some fixed $p,q \in (1,\infty)$ and $u_n(x) \in W^{2,q}(\mathbb{T}^4)$. $T \in (0,\infty)$ is assumed to be fixed and $\mathbb{T}^4=(\mathbb{R}/\mathbb{Z})^4$ is the $4$-torus.

Then, it is well-known that there exists a unique weak solution, denoted as $u_n(t,x)$ for the above Cauchy problem.

Now, suppose that $u_n \to u_0$ in $W^{2,q}(\mathbb{T}^4)$ and $f_n \to f$ in $L^p_t\bigl( [0,T], L^q_x(\mathbb{T}^4) \bigr)$. Denote by $u(t,x)$ the unique weak solution of the Cauchy problem \begin{equation} \partial_t u -\Delta u = f \text{ on } [0,T] \times \mathbb{T}^4 \text{ with } u(t=0,x)=u_0(x) \end{equation}

My question is that, do we have \begin{equation} u_n \to u \text{ in } W^{1,p}_t\bigl([0,T], L^q_x(\mathbb{T}^4) \bigr)? \end{equation}

I strongly suspect so, but cannot find a way to prove using maximal regularity or well-posedness. Could anyone please help me?