-1
votes
1answer
31 views

Need help proving the equivalence of two norms !

Hey I could use alot of help with this problem please! Let (X, <-,->) be a Hilbert space over R. Then, let A: X -> X be a linear operator. Suppose that A is symettric and positive definite. Let ...
2
votes
1answer
21 views

Fast argument to see that the dual map of a projection is a projection

If $X$ is a Banach space and $U,V$ are closed subspaces, such that $X \cong U \oplus V$, then a continuous linear map $P:X \rightarrow X$ is called a projection if $P|_U =id$ and ker(P)=V. Now we ...
1
vote
0answers
26 views

Boundedness of a closed operator

Can I get any help with this problem: Let $X, Y$ be Banach spaces, let $D$ be a subspace of $X$, and let $A \colon D \to Y$ be a closed linear operator. If $D$ is a closed subspace of $X$, ...
5
votes
1answer
71 views

Spectral theorem in Quantum Mechanics

In Quantum Mechanics one often looks at self-adjoint(unbounded and closed) linear operators $A,B$ that are defined dense on $L^2$. My question is: Is it true that if we have $[A,B]=0$, where $[,]$ is ...
7
votes
1answer
139 views

True/False: Self-adjoint compact operator

Let $H$ be a hilbert space and $T$ a compact self-adjoint operator on it. T is also injective on a dense subspace $U \subset H$ and we also have that $T(H) \subset U$. Now I am asked whether it is ...
3
votes
1answer
57 views

Compact kernel operator on $L^p$ space

Let $\displaystyle U_1 \subset \mathbb R^{n_1}$ and $\displaystyle U_2 \subset \mathbb R^{n_2} $ measurable sets, $\displaystyle 1 < p,q < \infty $ and consider the measurable function ...
0
votes
1answer
76 views

Proof Riesz representation theorem

I have a question regarding the proof of the Riesz representation theorem. Why do we declare the isomorphism $\Phi: H \rightarrow H'$ in an antilinear way? I mean if, this isomorphism would pick the ...
0
votes
1answer
87 views

Linear Operator and isomorphism

I wanted to be sure about the following: Let's say we have vector spaces normed spaces $X$ and $Y$ and a linear operator $T:X \rightarrow Y$. My idea was to reduce the properties that I need to show ...
0
votes
1answer
59 views

Question about step in proof of Schauder's theorem

The statement is the following: Let $X,Y$ be Banach spaces and $T:X \rightarrow Y$ be a continuous linear operator. Then is $T'$ compact iff $T$ is compact. I have already understood the implication ...
2
votes
0answers
78 views

Troublesome proof in Functional Analysis with dual vector space

Greetings to all of you I have tried to prove the following theorem but I am having some troubles with it. Let $X$ be a separable normed space and $(x_n')$ a bounded sequence in $X'$, then there is a ...
2
votes
2answers
60 views

Conjugate convex functions property

$E$ is normed vector space.Let $f\in E^*$ in a bounded linear functional from $E$ to $C$ and fix $x\in E$. We have $$\forall y\in E;\ \ \ \ f(y-x)\leq \frac{1}{2}\|y\|^2-\frac{1}{2}\|x\|^2$$ And I ...
2
votes
1answer
83 views

Relationship between adjoint operators, trace-class operators, compact operators and density operators in Quantum-Mechanics

I don't know much about Functional Analysis, but I was wondering about the following: In Banach spaces it is possible to define for every continuous opertor $T:X \rightarrow Y$ an adjoint Operator ...
0
votes
1answer
44 views

Minkowski functional and strange theorem

I have a theorem that says the following: Let X be a normed space and $U\subset X$ a convx subset with $0 \in \text{int(U)}$, then we have: $U$ is absorbing and if $\{x;||x|| < \epsilon\} \subset ...
1
vote
1answer
35 views

Pulling Operator Inside Integral

Say $Y$ is a Banach space and you have a family of continuous/bounded operators $L_{x}: Y \rightarrow Y$ for $x\in \mathbb{R}$ and say you have an bounded, smooth map $f(x):\mathbb{R}\rightarrow Y$. ...
2
votes
1answer
38 views

questions about norm of integral operator

The following is a question I came up with when I was studying the same problem in dimension 1 (for which also I have the questions that follows) but I put in generality. Let $U_1, U_2 \subset ...
0
votes
3answers
56 views

Positive unbounded operator with zero not as an eigenalue

I am currently doing Quantum Mechanics and I am supposed to show that zero is an eigenvalue of a positive operator. I have no knowledge of Functional Analysis at that kind of level, so I was wondering ...
2
votes
2answers
42 views

Compact operator and limit

I was wondering about something related to compact operators. If we have a compact operator $T:X \mapsto Y$ and a bounded sequence $(x_n)n$, then we know that there is a convergent subsequence ...
3
votes
1answer
69 views

Compactness of integral operator

I need some help with this exercise. Let $f\in C^0_b(R^2)$ and consider the operator $[T(v)](x)=\int_0^x f(x,y)v(y)dy$ for every $x\in R$. Is this a compact operator $T:C^0[0,1]\rightarrow C^1[0,1]$? ...
0
votes
0answers
36 views

Are these linear operators continuous?

For every polynomial $p(t)= \sum_{k=0}^{n} a_k t^k$ we declare its norm by $||a_k||=\sum_{k=0}^{n}|a_k|$. Now, I am supposed to check whether these maps are continuous and in case that they are I ...
5
votes
0answers
121 views

Dyadic approach to Marcinkiewicz interpolation for Lorentz Spaces

In Exercise 21 , in a note for professor Terrence Tao on his own blog http://terrytao.wordpress.com/2009/03/30/245c-notes-1-interpolation-of-lp-spaces/ Exercise 21 Suppose we are in the ...
1
vote
1answer
76 views

Calculate the norm of this operator

$C[0,1]=\{ f : [0,1]\to [0,1], f$ continuous$\}$ $||f||_\infty=\max_{t\in [0,1]} |f(t)|$ $T:C[0,1]\to C[0,1]$ defined by $$(Tf)(t)=\int_0^1e^{s+t}f(s)ds$$ Find $||T||$ The usual way to do this ...
0
votes
2answers
78 views

Norm space, linear operator exercise, help please!

$f \in L_2[a,b]$ $Uf(s):=\int_a^bk(s,t)f(t)dt$ $k(s,t):[a,b]^2\to R $ continuous. show 1) $U:L_2[a,b]\to L_2[a,b]$, in other words, $Uf(s)\in L_2[a,b] \quad \forall f$ 2) $U$ is linear and ...
2
votes
1answer
72 views

Is the inclusion map in the Sobolev embedding theorem a surjective map?

Let $W^{k,p}(\mathbb{R}^n)$ be the Sobolev space of all real valued functions on $\mathbb{R}^n$ whose first $k$ weak derivatives are in $L^p(\mathbb{R}^n)$. Assume that $$ \frac{1}{q} = \frac{1}{p} ...
2
votes
1answer
50 views

Restriction to $\mathbb{R}^{d-1}$ as an operator on $L^2(\mathbb{R}^d)$

Identify $\mathbb{R}^{d-1}$ with $\mathbb{R}^{d-1}\times \{0\}\subseteq \mathbb{R}^d$. Is there a bounded operator $T: L^2(\mathbb{R}^d)\rightarrow L^2(\mathbb{R}^{d-1})$ such that $T(\phi)=\phi ...
2
votes
2answers
144 views

Strong convergence of operators

I'm working through the functional analysis book by Milman, Eidelman, and Tsolomitis, and I have a question. The book states a lemma that I'm a bit confused about: A sequence of operators $T_n\in ...
2
votes
0answers
49 views

Relationship of two generalizations of the real/complex calculus

On the one hand, one has the various functional calculi from Operator Algebras. The continuous functional calculus for C* algebras, the bounded borel functional calculus for Von Neumann Algebras, the ...
1
vote
1answer
90 views

Product and Quotient rule for Fréchet derivatives

Does anyone know whether the product/quotient rule for Fr├ęchet derivatives still hold? For example, consider the evaluation operator: $$\rho_x : (C[a,b],\|\cdot\|_\infty) \rightarrow ...
0
votes
2answers
115 views

Self adjoint operator

I am looking in the space of test functions $ \{f \in C^\infty|f^{(n)}(a)=f^{(n)}(b)=0\};n \in \mathbb{N}_0\} $whether the n-th derivative is a self adjoint operator. the dot product is given by ...
2
votes
1answer
113 views

Extension of a Bounded Operator on $L^p$ to $L^r$

Let $1<p\leq \infty$, and let $p^{-1} + q^{-1} = 1$. Let $T$ be a bounded operator on $L^p$ such that $\int(Tf)g = \int f(Tg)$ for all $f,g \in L^p \cap L^q.$ Show that $T$ uniquely extends to a ...
0
votes
1answer
373 views

Find norm of the integral operator

Find norm of the following bounded linear operator $$Ax(t)=\int_0^1e^{-ts}x(s)ds$$ where $x\in C[0,1]$ and $t\in[0,1]$. Please help me.
2
votes
0answers
44 views

Prove that the sequence is in $\ell^{2}$. [duplicate]

Let $(a_{n})$ be a sequence of complex numbers such that for every $(b_{n})\in \ell^{2}$the series $\sum_{1}^{\infty}a_{n}b_{n}$ converges. Prove that $(a_{n})\in \ell^{2}.$ What I've tried so far is ...
3
votes
1answer
168 views

Hilbert's Inequality

Could you help me to show the following: The operator $$ T(f)(x) = \int _0^\infty \frac{f(y)}{x+y}dy $$ satisfies $$\Vert T(f)\Vert_p \leq C_p \Vert f\Vert_p $$ for $1 <p< \infty$ where ...
4
votes
0answers
144 views

Prove that the integral operator is bounded [duplicate]

Prove that the following operator is bounded on $L^{2}(0, \infty)$: $Af(x)$ = $\frac{1}{\pi} \int_{0}^{\infty} \frac{f(y)}{x+y}dy$ with $||A|| \le 1$. Attempt at Solution It can be shown that: ...
2
votes
1answer
60 views

What does this phrase about the weak topology of bounded operators mean?

Can somenone remind me of the meaning of the following statement: the family of operator valued functions $A(\omega)$ converges to $A(\omega ')$ in the weak topology of bounded operators from ...
1
vote
1answer
70 views

Convergence in norm operator

If I have an operator valued functions $A(z):H_1\to H_2$ such that the following limit $$\lim_{z\to z'}A(z)=A(z')$$ exists in the uniform topology of $B(H_1,H_2)$, that is $$\Vert ...
2
votes
3answers
219 views

Norm of bounded operator on a complex Hilbert space.

It is fairly easy to show that for a bounded linear operator $T$ on a Hilbert space $H$ $$||T||=\sup_{||x||=1,||y||=1}|\langle y, Tx \rangle |.$$ If $H$ is a complex Hilbert space, can you show that ...
7
votes
1answer
594 views

$T$ surjective iff $T^*$ injective in infinite-dimensional Hilbert space?

Let $T:H_1\rightarrow H_2$ be a bounded linear operator where $H_1$ and $H_2$ are Hilbert spaces. The Hilbert-adjoint is defined to the the operator $T^*:H_2\rightarrow H_1$ such that $\langle ...
4
votes
2answers
398 views

Norm inequality for sum and difference of positive-definite matrices

If $X_{1}$ and $X_{2}$ are positive definite matrices, how to show that $\left\Vert X_{1}-X_{2}\right\Vert \le\left\Vert X_{1}+X_{2}\right\Vert$ for the spectral norm? and how about for the nuclear ...
5
votes
1answer
252 views

boundedness of an operator

Define $T: L^2(\mathbb{R})\to L^2(\mathbb{R})$ by $(Tf)(x)=\int_{\mathbb{R}}\frac{f(y)}{1+|x|+|y|}dy$. Is this operator bounded? If it is, then is it also compact? I got stuck in simply applying ...
1
vote
1answer
51 views

Operator defined via a sequence of weights

Let the linear operator $T:l^2\rightarrow l^2$ be defined by $y=Tx$ where $x=\{\xi_j\}$, $y=\{\eta_j\}$, and $\eta_j = \alpha_j \xi_j$, where $\{\alpha_j\}$ is a dense sequence in $[0,1]$. Does ...
2
votes
0answers
64 views

Convergence of a series in the $C^\infty$ topology

I am struggeling to understand the following argument given by F.Treves in the book "Introduction to Pseudodifferential Operators". The motivating problem for this is to find an approximate kernel ...
1
vote
2answers
197 views

operator norm of this multiplier operator

I am having some trouble with some basic properties of a given operator. Firstly, the operator T is defined as taking the fourier inverse transform of the function ...
3
votes
1answer
208 views

eigenvalue question

I think this question isn't that hard, but I am a bit confused. Define the linear operator $T_k:H\mapsto H$ by \begin{align} T_ku=\sum^\infty_{n=1}\frac{1}{n^3}\langle u,e_n\rangle e_n+k\langle ...
2
votes
1answer
127 views

Finding a linear mapping in a special Hilbert space

Let $H=\ell_2$, the real Hilbert space whose elements are the square-summable sequences of real scalars, i.e., $$ H=\left\{u=(u_1,u_2,\ldots,u_i,\ldots): ...
5
votes
1answer
426 views

Distinct eigenvalues for integral operator?

Is there some sufficient condition on the kernel $K$ of a (say, finite rank, to simplify) integral operator $$ \mathcal K:f(x)\in L^2(\mathbb R)\mapsto \int K(x,y)f(y)dy $$ so that it has all its ...
0
votes
1answer
81 views

Continuity of powers in a Banach algebra.

There are some theorems that say in a unital C* algebra $A$ when one can deduce that the functional calculus of a continuous function f is continuous as map from some subset of $A$ to $A$. In the ...
3
votes
1answer
765 views

Compactness and boundedness of integral operator

I got some trouble with my homework question : Let $B$ be the unit ball in $\mathbb{R}^d$, and let $T$ be an integral operatpor on $L^2(B)$ with kernel $K(x,y)$. Suppose that $\sup_x \int_B ...
1
vote
1answer
44 views

Vanishing ratio of norms implies vanishing ratio of individual elements?

Consider two vectors $x,y \in \mathbb{R}^n$ be parameterized by a value $t>0$, and suppose that $$\lim_{t \rightarrow 0} \frac{|x(t)|}{|y(t)|}=0,$$ where $|\cdot|$ denotes the standard Euclidean ...
6
votes
3answers
444 views

A compact operator in $L^2(\mathbb R)$

Let $g \in L^{\infty}(\mathbb R)$. Consider the operator $$ \begin{split} T_g\colon & L^2(\mathbb R)\to L^2(\mathbb R) \\ & f \mapsto gf \end{split} $$ Prove that $T_g$ is compact ...
7
votes
2answers
290 views

Proof that operator is compact

Prove that the operator $T:\ell^1\rightarrow\ell^1$ which maps $x=(x_1,x_2,\dots)$ to $\left(x_1,\frac{x_2}{2},\frac{x_3}{3},\dots\right)$ is compact. For an arbitrary sequence $x^{(N)}\in\ell^1$ ...