7
$\begingroup$

I'm reading through the Sobolev Spaces section in Evans's Partial Differential Equations book, and I was stuck on a theorem characterizing the $H^{-1}$ norm. On page 299 Theorem 1 (in the second edition), he proves that for $f \in H^{-1}(U)$, $\begin{multline}\|f\|_{H^{-1}(U)} = \inf \Big\{ \left( \int_U \sum_{i=0}^n |f^i|^2 dx \right): \langle f, v \rangle = \int_U f^0 v + \sum_{i=1}^n f^i v_{x_i} dx,\\ \;f^0,\ldots,f^n \in L^2(U), \; \forall v \in H^1(U)\Big\}. \end{multline}$

Here $\langle \cdot, \cdot \rangle$ denotes the dual pairing of $H^{-1}$ and $H_0^1$.

To show this, he first states that given $f \in H^{-1}(U)$, we can apply to the Riesz Representation Theorem to get an element $u \in H_0^1$ such that $(u,v)_{H_0^1} = \langle f,v \rangle \; \forall v \in H_0^1$, where $(u,v)_{H_0^1} = \int Du \cdot Dv + uv dx$ is an inner product on $H_0^1$. Then we can define $f^0=u$ and $f^i = u_{x_i}$ for each $i$.

Now, if $\langle f, v \rangle = \int_U g^0 v + \sum_{i=1}^n g^i v_{x_i} dx$, for $g^0,\ldots,g^n \in L^2(U)$, then by choosing $v=u$, we can see that $\int_U |Du|^2 +|u|^2 dx \leq \int_U \sum_{i=0}^n |g^i|^2 dx.$

How does he get this inequality?

When you let $v=u$, you get $\int_U |Du|^2 +|u|^2 dx = \int_U g^0 u + \sum_{i=1}^n g^i u_{x_i} dx$ and I don't see how you can get the $\{u,u_{x_i}\}$ terms to disappear on the right side.

  • 0
    A simple application of $|ab|\leq (a^2+b^2)/2$ would be enough.2016-10-05

2 Answers 2

4

It's an application of Cauchy-Schwarz inequality(ies). Since $u$, $u_{x_i}$ and $g^i$are in $L^2(U)$ we have $\int_ug^0udx\leq \sqrt{\int_U|g^0|^2dx}\sqrt{\int_U|u|^2dx}$ and for all $i\in\{1,\ldots, n\}:\int g^iu_{x_i}\leq \sqrt{\int_U|g^i|^2dx}\sqrt{\int_U|u_{x_i}|^2dx}$, hence \begin{align*} \lVert u\rVert_{H_0^1(U)}^2&=\int_U g^0udx+\sum_{i=0}^ng^iu_{x_i}dx\\ &\leq \sqrt{\int_U|g^0|^2dx}\sqrt{\int_U|u|^2dx}+\sum_{i=1}^n\sqrt{\int_U|g^i|^2dx}\sqrt{\int_U|u_{x_i}|^2dx} \\ &\leq \sqrt{\int_U|g^0|^2dx+\sum_{i=1}^n\int_U |g^i|^2dx}\sqrt{\int_U|u|^2dx+\sum_{i=1}^n\int_U|u_{x_i}|^2dx}, \end{align*} applying this time Cauchy-Schwarz inequality for sums, namely $\displaystyle\sum_{i=0}^n a_ib_i\leq\sqrt{\sum_{i=0}^n|a_i|^2}\sqrt{\sum_{i=0}^n|b_i|^2}$, for $\displaystyle a_0=\sqrt{\int_U|g^0|^2dx}$, $\displaystyle b_0=\sqrt{\int_U|u|^2dx}$, $\displaystyle a_i=\sqrt{\int_U|g^i|^2dx}$ and $\displaystyle b_i=\sqrt{\int_U|u_{x_i}|^2dx}$ for $1\leq i\leq n$. If $u=0$, the inequality we have to show is obvious, and if it's not the case we can divide by $\displaystyle\sqrt{\int_U|u|^2dx+\sum_{i=1}^n\int_U|u_{x_i}|^2dx}$.

  • 0
    Ah, the square clears things up now. Than$k$s again!2011-10-14
0

As Evans says in the book, setting (3) and using (5), one has $ \int_U|Du|^2+|u|^2\ dx\leq\int_U |g^0 u|+\sum_{i=1}^n |g^iu_{x_i}|\ dx=:I\tag{1} $ All you need now is just $ |ab|\leq\frac{1}{2}(a^2+b^2). $ Applying this to each term of the integrand on the RHS of (1), we have $ I\leq \frac{1}{2}\int_U\sum_{i=0}^n|g^i|^2+|u|^2+|Du|^2\ dx\tag{2} $ Combining (1) and (2), we are done.


(3) and (5) are as the following in the book: enter image description here enter image description here