6
$\begingroup$

Let $\Omega$ be a bounded Lipschitz domain in $\mathbb{R}^n$.

What is the meaning of $u_n \rightharpoonup^\star u$ in $L^{\infty}(0,T;H^1(\Omega))$?

Thank you!

$\endgroup$
4
$\begingroup$

Let $X$ be a Banach space and $X^\star$ its dual. Consider the weak star topology $\sigma (X^\star,X)$ in $X^\star$ (see Brezis - Functional Analysis book for reference).

We say that a sequence $u_n\in X^\star$ converge in the weak star topology to some $u\in X^\star$, denoted by $u_n \rightharpoonup^\star u$, if $u_n(x)\to u(x)$ for all $x\in X$.

For $u,v\in H^1(\Omega)$, let $\langle u,v\rangle=\int_ \Omega uv+\int_\Omega \nabla u\nabla v$.

One can prove that $$(L^1(0,T;H^1(\Omega)))^\star=L^\infty(0,T;H^1(\Omega)),$$

by noting that the function $$T:(L^1(0,T;H^1(\Omega)))^\star\to L^\infty(0,T;H^1(\Omega)),$$

defined by $T(f)=u$ is an isomorphism, where $u$ is such that $$f(v)=\int_0^T\langle u(t),v(t)\rangle dt,\ \forall\ v\in L^1(0,T;H^1(\Omega)),$$

therefore, by taking $X=L^1(0,T;H^1(\Omega))$, we have that, $u_n \rightharpoonup^\star u$ if and only if $$\int_0^T \langle u_n(t),v(t)\rangle dt\to \int_0^T \langle u(t),v(t)\rangle dt,\ \forall\ v\in L^1(0,T;H^1(\Omega)).$$

$\endgroup$
  • $\begingroup$ Please check your answer. There seem to be some typos in the notion of the spaces. Moreover, you should specify the integrals in the last three lines. Also note that the question is about $H^1(\Omega)$ and not $H_0^1(\Omega)$. $\endgroup$ – gerw Sep 6 '16 at 6:55
  • $\begingroup$ Thank you @gerw for your observations. I have fixed it accordingly. $\endgroup$ – Tomás Sep 6 '16 at 11:09
  • 1
    $\begingroup$ I have fixed some other small typos. $\endgroup$ – gerw Sep 6 '16 at 11:44

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.