0
votes
1answer
27 views

Norms for which every subset of closed unit ball containing the open unit ball is convex

It can be shown without much difficulty that any Euclidean norms satisfies the following condition :$$(P) \quad B \subset X \subset B' \Rightarrow X \, \text{is convex}$$ where $B=\{x \in E / \|x\| ...
1
vote
1answer
18 views

Help proof regarding sequence in subset of Hilbert space

I'm to prove the following: Let $H$ be a Hilbert space, and let $M$ be a non-empty convex subset of $H$. Suppose that $(x_n)$ is a sequence in $M$ such that $ ||x_n|| \to d$, where $d= \inf ...
3
votes
1answer
26 views

Operator norm and Hilbert Schmidt norm

I'm looking for a proof of \begin{equation} ||T||\leq ||T||_{HS}, \end{equation} for which it is sufficient to show \begin{equation} ||Tx|| \leq ||x|| \cdot ||T||_{HS} \forall x\in H, x\not=0 ...
4
votes
0answers
45 views

Find a relationship between $\hat f$ and $\hat g$, given $g(x)=\int^{x+1}_x f(t)\,dt$, $f\in L^2(\mathbb R)$,

Given $f\in L^2(\mathbb R)$ and $g(x)=\int^{x+1}_x f(t)\,dt$ (a) Relate $\hat f$ and $\hat g$ (b) Prove $g\in H^1(\mathbb R)$ Part A: $$\hat g(k)= \int^{\infty}_{-\infty} \int^{x+1}_{x} ...
4
votes
1answer
127 views

Reproducing Kernel Hilbert Space (RKHS) constructed by the summation of positive-definite kernels.

Let $k_1,\ldots,k_p$ be positive definite kernels defined on $\mathcal{X}\times\mathcal{X}$, where $\mathcal{X}$ is a non-empty set. $k_i$ is the reproducing kernel of the Reproducing Kernel Hilbert ...
1
vote
1answer
43 views

Find the norm of functional

Consider the functional from $l_2$. $$ x=(x_n)\mapsto \sum \frac{x_n+x_{n+1}}{2^n}. $$ What is the norm of the functional?
5
votes
1answer
74 views

Is there a useful relationship between pointwise and $L^2$ distance?

It would be really convenient to get a bound on the point-wise closeness of functions by knowing their $L^2$ distance. Clearly, if two functions are close in the $L^2$ sense, you cannot get a general ...
4
votes
2answers
52 views

$\left\{x\in H: 2\leq \|x\|\leq 5\right\}$ is compact?

In a Hilbert space $H$ of dimention infinite, $A=\left\{x\in H:2\leq \|x\|\leq 5\right\}$ is compact? (totally bounded and complete) Thanks in advance.
0
votes
2answers
23 views

Bounding the distance between $L_\infty$ and $L_2$ for a continuous function

Consider a set of continuous (or even differentiable) functions $f_i(x)$, all defined for $x\in [a,b]$ for $i=1\ldots,N$. Can one define a uniform constant $c$ (which may depend on $f$) such that ...
0
votes
1answer
27 views

Check this is a hilbert norm: $ \ell^2 $ with norm $\| \cdot \| := \| \cdot \|_{\ell^2} + \| \cdot \|_{\ell^p}$

Clearly $ p \geq 2 $ so it gains sense calculating the $\ell^p $-norm. According to my calculation this norm is equivalent to the $\ell^2 $ norm, in fact given a cauchy sequence w.r.t $\| \cdot \| $ ...
2
votes
0answers
33 views

Is this dual-spaced norm based on $L_2$ norm

I am reading the book of Claes Johnson about Numerical Solution of Partial Differential Equations by the Finite Element Method and particularly pages 34 and 98. I wrote these notes to my craft Is ...
1
vote
1answer
31 views

The space $\mathcal{D}((0,T);V)$ and its norm/embeddings?

Let $V$ be a Hilbert space. Define $\mathcal{D}((0,T);V)$ to be the set of functions $u:(0,T) \to V$ such $u$ is compactly supported on $(0,T)$ and is a $C^\infty$ test function. What is the norm ...
3
votes
2answers
70 views

Upper bound for norm of Hilbert space operator

It is a standard result that for a bounded self-adjoint operator $T$ on a complex Hilbert space $H$, we have $||T||=\sup_{||x||=1}|\langle Tx,x\rangle|:=M$. It seems that for any bounded operator on ...
2
votes
1answer
64 views

$\lambda_k \to 0$ implies $T$ is compact?

I am doing an exercise which asks to show that if $\{\varphi_k\}$ is an orthonormal basis in a Hilbert space with $T$ a bounded operator satisfying $T\varphi_k = \lambda_k \varphi_k$, then $\lambda_k ...
4
votes
1answer
212 views

How to determine a operator norm?

How to solve following: In Hilbert space $W_2^1=\{f:[0,1]\rightarrow \mathbb{C}|f\in AC[0,1], f'\in L^2[0,1]\}$ with scalar product $(f,g)=\int_0^1 f\overline{g}dx+\int_0^1 f'\overline{g'}dx$ is ...
2
votes
1answer
137 views

Norm of Hilbert's operator $H f(x)= \int_0^{\infty} \frac{f(y)}{x+y}\, dy$ [duplicate]

Hilbert's operator $$H f(x)= \int_0^{\infty} \frac{f(y)}{x+y}\, dy \quad\text{ for all } f \in {L}^2(0,+\infty) \text{ and } x \in(0,+\infty),$$ is regular integral operator on $L^2(0,+\infty)$ ...
5
votes
3answers
205 views

Sequences are Cauchy depending on the norm?

Assume that we have two Banach spaces $B_1, B_2$ with their underlying sets being identical. Is it possible that a Cauchy sequence in one of the spaces would fail to be Cauchy in the other? I am ...
3
votes
0answers
195 views

Prove this equality in a Hilbert Space $H$ with Riesz's Representation Theorem.

For $x \in H$, prove that $\sup_{\|z\| = 1} \langle x , z \rangle= \| x \|$ Here is a quick one. If someone could improve this it would be great Proof By Cauchy Schwarz, $\langle x,z \rangle ...
1
vote
1answer
87 views

Study the equivalence of these norms

I have two Hilbert spaces $H_1$ and $H_2$ and I consider a set of functions $f$ which decompose as $f=g+h$ with $g\in H_1$ and $h\in H_2$. I know that this decomposition is unique. So I define the ...
1
vote
1answer
382 views

Calculating the Norm of an operator in $L^2(0,1)$

If I have the following operator for $H=L^2(0,1)$: $$Tf(s)=\int_0^1 (5s^2t^2+2)(f(t))dt$$ and I wish to calculate $||T||$, how do I go about doing this: I know that in $L^2(0,1)$ we have that ...
2
votes
1answer
91 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 ...
5
votes
1answer
451 views

Using Lax Milgram to find a weak solution in an intersection of Sobolev spaces

I am trying to prove the existence of a weak solution of the problem: $$ -\Delta^2 u = f \in L^2(U)\\ \\ u|_{\partial U}=\Delta u|_{\partial U} = 0 $$ on the bounded open set $U\subset\mathbb{R}^n$ ...
2
votes
1answer
100 views

Operator norm estimate

Let $H$ be a Hilbert space with orthonormal basis $(e_{j})_{j\in\mathbb{N}}$. Furthermore, let $B\colon H\rightarrow C[a,b]$ be a bounded operator. According to the Riesz-Frechet theorem there is ...
1
vote
2answers
119 views

Norm of a function, Smoothness Penalization

I am seeking for some intuition why norm (for any reasonable norm on functions) of a function is smaller if the function is smoother.
2
votes
1answer
204 views

Invertible operator norm bound

Let $H$ be a Hilbert space and that $X$ are bounded. Suppose $X$ is self-adjoint. Show that $Y=X+iI$ is invertible and the inverse $Y^{-1}$ has the norm $\lVert Y^{-1} \rVert \le 1$. I can prove $Y$ ...
3
votes
1answer
131 views

Operator norm and spectrum

Let $L$ be a bounded linear operator on a Hilbert space. Without assuming finite dimensions, can we express the operator norm of $L$ in terms of the spectrum of the positive operator $L^{\dagger}L$? ...
1
vote
1answer
89 views

Norm of element of Hilbert space

How to prove that in a Hilbert space $H$, $$\lVert h \rVert = \sup_{u \in H}\frac{|(h,u)|}{\lVert u \rVert}?$$ Showing that the RHS is $\leq$ the LHS is easy but not sure of the other part. This is ...
1
vote
1answer
135 views

Matrix Trace representation?

For a real, symmetric matrix $A$ and a real, rectangular matrix $X$, am looking for a matrix trace based representation of this simple linear algebraic expression $\sum_{i} A_{ii} ...
0
votes
1answer
126 views

Hilbert norm and Euclidean distance

For real matrix $X$ where $d_{i,j}^2(X)$ indicates the euclidean distance squared between the rows $i,j$ of $X$, if $d_{i,j}^2(X)=||f(X_i.)-f(X_j.)||_H$ then what would the function $f(.)$ be? Is ...
1
vote
1answer
57 views

Norm of two operators

(1) $U(x)=a \langle x,b \rangle +b \langle x,a \rangle $, $a,b\in H\setminus \{0\}$. U is an operator from H to H and a,b are orthogonal elements. I want to calculate $||U||$ For this one I tried the ...
1
vote
1answer
105 views

How to calculate norm of operator in Hilbert space

LEt $H_1,H_2$ are two Hilbert spaces. $\{e_1,\ldots,e_n\}\subseteq H_1$ and $\{f_1,\ldots,f_n\}\subseteq H_2$ two orthonormal systems. $\lambda_1,\ldots,\lambda_n\in\mathbb K$. Let $$ U:H_1\to ...
1
vote
2answers
206 views

Find the norm of an operator on $\ell_2$

Let $(x_n) \subset \ell_2$ and let operator $L:\ell_2\to \mathbb R$ be defined by: $\displaystyle L((x_n)) := \sum_{n=1}^{\infty} \frac{x_n}{\sqrt{n(n+1)}}$. Find the norm of L.
0
votes
1answer
185 views

Solution for a Frobenius norm inequality

Am trying to find a real scalar $\gamma$ such that for a given pair of real rectangular matrices $X,Y$ the following holds: $\frac{||Y||_{F}^{2}}{5} \leq ||\gamma X||_{F}^{2}\leq ||Y||_{F}^{2}$ ...
0
votes
1answer
78 views

Scalar multiplication and Frobenius norm

Was wondering on what would be the real number (scalar) $\gamma$ that needs to be multiplied with each entry in a real rectangular matrix $X_{m\times n}$ such that the Frobenius norm of $X$ equals a ...
1
vote
1answer
180 views

Representing with Hilbert Schmidt Norm

Am trying to see, if the following Trace function can be expressed using a Hilbert Schmidt Norm: $\operatorname{Tr}(X^TAX)$. Here, $X$ is a matrix whose entries take values that are finite and reals ...
2
votes
1answer
159 views

Equivalents norms in Sobolev Spaces

I know that this is classical but I have never do the calculations to show that the norms in the sobolev space $W^{k,p}(\Omega)$ \begin{equation} \|u\|_{k,p,\Omega}= \Bigl(\int_{\Omega} ...
1
vote
1answer
508 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 ...
2
votes
1answer
145 views

A question on norm of error vector

Let $(s_n)_{n \in \mathbb{N}}\in\ell^2(\mathbb{N})$ (i.e. $\displaystyle \sum_{n=0}^{\infty}\vert s_n\vert^2<\infty$). Define vectors $A=[A_1,\ldots,A_M]$ and $B=[B_1,\ldots,B_M]$ with coordinates ...