Intereting Posts

What does the continuum hypothesis imply?
Choosing two random numbers in $(0,1)$ what is the probability that sum of them is more than $1$?
Estimate $\displaystyle\int_0^\infty\frac{t^n}{n!}e^{-e^t}dt$ accurately.
Expectation of the maximum of gaussian random variables
Understanding cohomology with compact support
Principal value of the singular integral $\int_0^\pi \frac{\cos nt}{\cos t – \cos A} dt$
difficulty understanding branch of the logarithm
Online MathJaX editor
Writing number as sum of reciprocals of factorial
How to show that $ \sum_{n = 0}^{\infty} \dfrac {1}{n!} = e $
Three-dimensional simple Lie algebras over the rationals
Central limit theorem and convergence in probability from Durrett
Orthogonal polynomials and Gram Schmidt
Drunkards walk on a sphere.
How does $e^{i x}$ produce rotation around the imaginary unit circle?

let’s see if someone can help me with this proof.

Let $\Omega\subset\mathbb{R}^n$ be a bounded domain. And let $L^2\left(\Omega\right)$ be the space of equivalence classes of square integrable functions in $\Omega$ given by the equivalence relation $u\sim v \iff u(x)=v(x)\, \text{a.e.}$ being a.e. almost everywhere, in other words, two functions belong to the same equivalence classes if they only are different in a zero meassure set.

This space is a Hilbert space and its norm is:

- Show the Volterra Operator is compact using only the definition of compact
- Proving the closed unit ball of a Hilbert space is weakly sequentially compact
- Is the closure of a symmetric operator unique?
- Given two basis sets for a finite Hilbert space, does an unbiased vector exist?
- $C$ is NOT a Banach Space w.r.t $\|\cdot\|_2$
- $\ell_{p}$ space is not Hilbert for any norm if $p\neq 2$

$$ \Vert v \Vert ^2_{L^2 \left( \Omega \right) }= \int_\Omega v(x)^2\,\mathrm{d}x $$

Let $H^1\left(\Omega\right)=\left\{ v\in L^2\left( \Omega \right);\,\vert\mathbf{grad}(v)\vert \in L^2\left( \Omega \right ) \right\}$ be also a Hilbert space and its norm :

$$ \Vert v \Vert ^2_{H^1 \left( \Omega \right) }= \Vert v \Vert ^2_{L^2 \left( \Omega \right) } + \Vert \vert\mathbf{grad}(v)\vert \Vert ^2_{L^2 \left( \Omega \right) } $$

I’ve been asked to proove that:

$$ \Vert v \Vert ^2_{H^1 \left( \Omega \right) } \le C\left( \Omega\right) \left( \Vert \vert\mathbf{grad}(v)\vert \Vert ^2_{L^2 \left( \Omega \right) } + \int_\Gamma \left ( \gamma v(x) \right) ^2\,\mathrm{d}\sigma \right) \quad \forall v\in H^1 \left( \Omega \right) $$

where $\Gamma = \partial \Omega $, $\Omega $ is smooth enough, $\mathrm{d}\sigma$ is a meassure on the boundary of $\Omega$, and the operator $\gamma: L^2\left( \Omega\right )\mapsto L^2\left( \Gamma\right )$ is the trace operator. ( if it is needed I can define it also )

Sincerely, I just don’t know how to begin, and maybe someone could give me some clue about it.(by the way the $C$ is a positive constant depending only on the domain $\Omega$).

Thank you very much!

- Proof of an inequality about $\frac{1}{z} + \sum_{n=1}^{\infty}\frac{2z}{z^2 - n^2}$
- Are positive real numbers $x,y$ allowed to be taken out during this proof?
- Inequality. $\frac{1}{16}(a+b+c+d)^3 \geq abc+bcd+cda+dab$
- inequality using Lagrange Multipliers and Cauchy Schwarz inequality
- Geometric mean never exceeds arithmetic mean
- Proving an inequality: $|1-e^{i\theta}|\le|\theta|$
- Could this approximation be made simpler ? Solve $n!=a^n 10^k$
- Properties of $\liminf$ and $\limsup$ of sum of sequences: $\limsup s_n + \liminf t_n \leq \limsup (s_n + t_n) \leq \limsup s_n + \limsup t_n$
- Proving the inequality $4\ge a^2b+b^2c+c^2a+abc$
- A proof for Landau inequality and similar cases

One way is by contradiction: suppose that for all $n\in\mathbb N$, there exists $u_n\in H^1(\Omega)$ such that $$\|u_n\|_{L^2(\Omega)}> n\|\nabla u_n\|_{L^2(\Omega)}+n\|u_n\|_{L^2(\partial\Omega)}.$$ Then $\|u_n\|_{L^2(\Omega)}>0$ for all $n$, and if we set $v_n=u_n/\|u_n\|_{L^2(\Omega)}$, then $\|v_n\|_{L^2(\Omega)}=1$ for all $n$, and also $$n\|\nabla v_n\|_{L^2(\Omega)}+n\|v_n\|_{L^2(\partial\Omega)}<1,$$ which implies that $$\|\nabla v_n\|_{L^2(\Omega)}<\frac{1}{n}.$$ Therefore $\nabla v_n\to 0$ in $L^2(\Omega)$.

Now, $(v_n)$ is bounded in $H^1(\Omega)$, so there exists a subsequence, denoted by $(v_n)$, that converges weakly in $H^1(\Omega)$ to some $v$. Then $\nabla v_n\to \nabla v$, weakly in $L^2$, therefore $\nabla v=0$, which shows that $v$ is a constant $c$ in $\Omega$ (if $\Omega$ is also connected). In addition, from the Rellichâ€“Kondrachov theorem, a further subsequence, still denoted by $v_n$, converges to $c$, strongly in $L^2(\Omega)$, if $\Omega$ is nice enough. Hence, $$1=\|v_n\|_{L^2(\Omega)}\xrightarrow[n\to\infty]{}\|c\|_{L^2(\Omega)}.$$ This shows that $c\neq 0$. Since the trace operator is continuous, we also obtain that $$\|v_n\|_{L^2(\partial\Omega)}\xrightarrow[n\to\infty]{}\|c\|_{L^2(\partial\Omega)}.$$ But, $$\|v_n\|_{L^2(\partial\Omega)}<1/n,$$ therefore $c=0$, which is a contradiction.

This shows that, for a constant $C$, $$\|u\|_{L^2(\Omega)}\leq C\|\nabla u\|_{L^2(\Omega)}+C\|u\|_{L^2(\partial\Omega)}$$ for all $u\in H^1(\Omega)$. Adding $\|\nabla u\|_{L^2(\Omega)}$ to both sides shows the inequality.

- Prove that for any element $b$, $|b|$ divides $|a|$ (order of $b$ divides order of $a$).
- A tricky infinite sum— solution found numerically, need proof
- What is the most rigorous proof of the irrationality of the square root of 3?
- Conjecture involving semi-prime numbers of the form $2^{x}-1$
- Is $\det(I+aAVV^*A^*)$ increasing function in $a$.
- How to develop intuition in topology?
- Finding vertices of regular polygon
- What's the difference between $(\mathbb Z_n,+)$ and $(\mathbb Z_n,*)$?
- $\int_X |f_n – f| \,dm \leq \frac{1}{n^2}$ for all $n \geq 1$ $\implies$ $f_n \rightarrow f$ a.e.
- Show that $x^2 + x + 12 = 3y^5$ has no integer solutions.
- Additive functional inequality
- Where we have used the condition that $ST=TS$, i.e, commutativity?
- Finite set of zero-divisors implies finite ring
- A map which commutes with Hodge dual is conformal?
- Is a norm a continuous function?