3
votes
2answers
50 views

How to show that $\|a+b+c\|^2\leq 3\|a\|^2+3\|b\|^2+3\|c\|^2$

Show that $$\|a+b+c\|^2\leq 3\|a\|^2+3\|b\|^2+3\|c\|^2$$ where $a,b,c$ are in some Hilbert space $(H,\langle\cdot,\cdot \rangle)$? I see that we have $$\|a+b\|^2\leq2\|a\|^2 +2 \|b\|^2$$ due to the ...
1
vote
2answers
31 views

Can we show that $E\|X-Y\|^2 \leq E\|X-Z\|^2 + E\|Z-Y\|^2$

Let $X,Y,Z$ be some random elements on some Hilbert space $(H,\langle\cdot,\cdot\rangle)$. Can we show that $$E\|X-Y\|^2 \leq E\|X-Z\|^2 + E\|Z-Y\|^2$$ I can clearly see that $$E\|X-Y\|^2 \leq ...
3
votes
1answer
49 views

Inequalities with $\|x-y\|$, $|\langle x,y\rangle|$, and $\sqrt{\|x\|^{2}+\|y\|^{2}}$ in a Hilbert space

Let $H$ be a Hilbert space, and let $\|x\|$ denote the norm of $x\in H$, and $\langle x,y\rangle$ denote the inner product of $x,y\in H$. For $x,y\in H$ let us denote $\alpha(x,y)=\|x-y\|$, ...
1
vote
0answers
24 views

Convergence of this priori error in FEM?

Problem My attempt I think h is the size of the mesh. C is a constant which probably depends on the size of the mesh, I think. I think the error converges linearly and dependent on the size of ...
1
vote
1answer
37 views

Galerkin Orthogonality in this FEM?

Problem Galerkin orthogonality is but I am not sure if it is in the right form. How can you use this orthogonality here? I think I should expand the last inequality first somehow.
1
vote
1answer
73 views

Do there exist two vectors in a Hilbert space such that $(x,y)\geqslant k\|x-y\|^{-2}$?

Let $H$ be a Hilbert space, $(x,y)$ denote the inner product of the elements $x,y\in H$, $\|x\|$ denote the norm of $x\in H$, and $k>0$. Do there exist such $x,y\in H$ that $$ ...
1
vote
1answer
51 views

Strengthened Cauchy-Schwarz inequality

I'm looking for some simple proof of the following consequence of the "strengthened" Cauchy-Schwarz inequality: Let $\mathcal{H}$ be a real Hilbert space such that ...
1
vote
0answers
30 views

Want to prove an inequality of two norms in a Hilbert space

So here is my problem, Let $D:=[-d,d]\times[-d,d]$ and $C_0^{\infty}$(D) be the set of all smooth functions with compact support in $D$ which are zero on the boundary of $D$. Moreover we have the ...
0
votes
1answer
26 views

Nonexpansive Affine Operators in Hilbert spaces

Let $H$ be a Hilbert space with real inner product $\langle \cdot, \cdot \rangle : H \times H \rightarrow \mathbb{R}$. Let $T$ be an affine operator. Show that $T$ is nonexpansive, i.e., $\left\| ...
2
votes
1answer
72 views

Poincaré inequality for a subspace of $H^2(\Omega)$

Suppose that $\Omega\subset\mathbb{R}^d$ is a smooth, bounded, and connected domain. Let \begin{equation} H=\{u\in H^2(\Omega):\int_\Omega u(x) dx=0 ~\text{and}~ \nabla u\cdot v=0~ ...
3
votes
1answer
115 views

How is the inner product in $H^{-1/2}$ defined?

Since $H^{1/2}$ is a Hilbert space, $H^{-1/2}$ must also be a Hilbert space by the isomorphism of Riesz representation theorem. How is the inner product defined there? We know there is a nice ...
2
votes
1answer
89 views

Two inequalities related to norm

We have some difficulties in the following problem: Let $H$ be a real Hilbert space. Find $\alpha>0$ such that $$ \langle\frac{u}{\sqrt{\|u\|}}-\frac{v}{\sqrt{\|v\|}}, u-v\rangle\geq ...
1
vote
1answer
149 views

Orthonormal Family in a Hilbert Space

If we have an orthonormal family, $\{u_n\}_{i=1}^\infty$ in a Hilbert Space $H$, I need to show that for $x\in H$ we have the following inequality: $$\left|\left\{n|\langle x, u_n \rangle > ...
1
vote
1answer
486 views

Poincaré inequality in unbounded domain

Help me please, how can I to show that Poincaré inequality in unbounded domain doesn't holds? Thanks a lot! If $\Omega$ is a bounded domain and $u \in H_{0}^{1}(\Omega)$ the following inequality ...
1
vote
1answer
412 views

Proof by induction of triangle inequality in Hilbert space.

I've made proof by induction over $n$ for triangle inequality : $\left \| x+y \right \|_{e}\leq \left \| x \right \|_{e}+\left \| y \right \|_{e}$ ,where $\left \| x \right ...
8
votes
2answers
521 views

Proving an inequality with Cauchy-Schwarz

In the "User's guide to viscosity solutions" by Crandall, Ishii and Lions (link), they make the following claim (inequality (A.4) p. 58) : Given $x$, $\xi$ $\in \mathbb{R}^n$, $A \in \cal{S}(n)$ ...
9
votes
1answer
340 views

How to prove Halmos’s Inequality

How to prove Halmos’s Inequality? If $A$ and $B$ are bounded linear operators on a Hilbert space such that $A$, or $B$, commutes with $AB-BA$ then $$\|I-(AB- BA)\|\ge 1.$$ I found it from ...
7
votes
2answers
771 views

Contexts For Bessel's Inequality?

Bessel's inequality appears to be about orthonormal sequences. But (in the context of inner product spaces), I've thought of this inequality as being a demonstration that the hypotenuse of triangles ...