Skip to main content
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
Source Link

Let $u_n \to u$ in $C^0([0,T];H^{-1}(\Omega))$ and suppose $\lVert u_n \rVert_{L^\infty(0,T;L^\infty(\Omega))} \leq C$ for all $n$.

It follows that for almost all $t$, $u_n(t)$ is bounded in $L^\infty(\Omega)$, so we can extract a weak-* convergent subsequence and after a bit of work we can show that $$\text{for almost all $t$} \qquad u_n(t) \rightharpoonup u(t) \text{ in $L^q(\Omega)$} \qquad\text{for all $q < \infty$.}$$

I want to show that this weak convergence holds for all $t$.

From personal correspondence, I have been told that

The key point is that one already has convergence in the larger space. So one already knows that pointwise, i.e. for all $t$, $u(t)$ converges in this larger space. But since it is also bounded in $L^\infty$, $u(t)$ [for almost all $t$ -- riem's note] will also converge weak-* up to a subsequence, and the limit is the same are identified as distributions. The same is true for any $L^q$, $q<\infty$.

Simply put, I don't get why it must hold for all $t$. I think we need to exploit the continuity of $u_n$ and $u$ wrt. $t$ in the larger space $H^{-1}$ but once again $L^q$ is a stronger space than this..

Originally posted on MSEon MSE.

Let $u_n \to u$ in $C^0([0,T];H^{-1}(\Omega))$ and suppose $\lVert u_n \rVert_{L^\infty(0,T;L^\infty(\Omega))} \leq C$ for all $n$.

It follows that for almost all $t$, $u_n(t)$ is bounded in $L^\infty(\Omega)$, so we can extract a weak-* convergent subsequence and after a bit of work we can show that $$\text{for almost all $t$} \qquad u_n(t) \rightharpoonup u(t) \text{ in $L^q(\Omega)$} \qquad\text{for all $q < \infty$.}$$

I want to show that this weak convergence holds for all $t$.

From personal correspondence, I have been told that

The key point is that one already has convergence in the larger space. So one already knows that pointwise, i.e. for all $t$, $u(t)$ converges in this larger space. But since it is also bounded in $L^\infty$, $u(t)$ [for almost all $t$ -- riem's note] will also converge weak-* up to a subsequence, and the limit is the same are identified as distributions. The same is true for any $L^q$, $q<\infty$.

Simply put, I don't get why it must hold for all $t$. I think we need to exploit the continuity of $u_n$ and $u$ wrt. $t$ in the larger space $H^{-1}$ but once again $L^q$ is a stronger space than this..

Originally posted on MSE.

Let $u_n \to u$ in $C^0([0,T];H^{-1}(\Omega))$ and suppose $\lVert u_n \rVert_{L^\infty(0,T;L^\infty(\Omega))} \leq C$ for all $n$.

It follows that for almost all $t$, $u_n(t)$ is bounded in $L^\infty(\Omega)$, so we can extract a weak-* convergent subsequence and after a bit of work we can show that $$\text{for almost all $t$} \qquad u_n(t) \rightharpoonup u(t) \text{ in $L^q(\Omega)$} \qquad\text{for all $q < \infty$.}$$

I want to show that this weak convergence holds for all $t$.

From personal correspondence, I have been told that

The key point is that one already has convergence in the larger space. So one already knows that pointwise, i.e. for all $t$, $u(t)$ converges in this larger space. But since it is also bounded in $L^\infty$, $u(t)$ [for almost all $t$ -- riem's note] will also converge weak-* up to a subsequence, and the limit is the same are identified as distributions. The same is true for any $L^q$, $q<\infty$.

Simply put, I don't get why it must hold for all $t$. I think we need to exploit the continuity of $u_n$ and $u$ wrt. $t$ in the larger space $H^{-1}$ but once again $L^q$ is a stronger space than this..

Originally posted on MSE.

Source Link
riem
  • 266
  • 3
  • 6

Pointwise (in time) convergence in $H^{-1}$ implies pointwise weak convergence in $L^q$, why?

Let $u_n \to u$ in $C^0([0,T];H^{-1}(\Omega))$ and suppose $\lVert u_n \rVert_{L^\infty(0,T;L^\infty(\Omega))} \leq C$ for all $n$.

It follows that for almost all $t$, $u_n(t)$ is bounded in $L^\infty(\Omega)$, so we can extract a weak-* convergent subsequence and after a bit of work we can show that $$\text{for almost all $t$} \qquad u_n(t) \rightharpoonup u(t) \text{ in $L^q(\Omega)$} \qquad\text{for all $q < \infty$.}$$

I want to show that this weak convergence holds for all $t$.

From personal correspondence, I have been told that

The key point is that one already has convergence in the larger space. So one already knows that pointwise, i.e. for all $t$, $u(t)$ converges in this larger space. But since it is also bounded in $L^\infty$, $u(t)$ [for almost all $t$ -- riem's note] will also converge weak-* up to a subsequence, and the limit is the same are identified as distributions. The same is true for any $L^q$, $q<\infty$.

Simply put, I don't get why it must hold for all $t$. I think we need to exploit the continuity of $u_n$ and $u$ wrt. $t$ in the larger space $H^{-1}$ but once again $L^q$ is a stronger space than this..

Originally posted on MSE.