Unbounded self-adjoint operator with compact resolvent: Expansion
up vote
0
down vote
favorite
Given an unbounded self-adjoint operator $Tcolon H supset mathrm{dom}(T) to H$ on a Hilbert space $H$ with compact resolvent, i.e. $T$ has a purely discrete spectrum, the eigenfunctions $e_n$ form an orthonormal basis of $H,$ the eigenvalues $lambda_n in mathbb R$ with $|lambda_n | to infty$ and $Te_n = lambda_n e_n$ for $n in mathbb N.$ My question: Does a representation
$$Tx = sum_{n=1}^infty lambda_n (x,e_n)_H e_n$$
for $x in mathrm{dom}(T) subset H$ hold as for compact operators?
Thanks!
EDIT: I think that the answer is quite simple:
Let $x in mathrm{dom}(T) subset H$ be fixed. It holds $Tx in H$ and hence $Tx$ can be represented by
$$Tx = sum_{n=1}^infty (Tx,e_n)_H e_n = sum_{n=1}^infty (x,Te_n)_H e_n = sum_{n=1}^infty lambda_n (x,e_n)_H e_n.$$
Is this correct?
spectral-theory compact-operators unbounded-operators
add a comment |
up vote
0
down vote
favorite
Given an unbounded self-adjoint operator $Tcolon H supset mathrm{dom}(T) to H$ on a Hilbert space $H$ with compact resolvent, i.e. $T$ has a purely discrete spectrum, the eigenfunctions $e_n$ form an orthonormal basis of $H,$ the eigenvalues $lambda_n in mathbb R$ with $|lambda_n | to infty$ and $Te_n = lambda_n e_n$ for $n in mathbb N.$ My question: Does a representation
$$Tx = sum_{n=1}^infty lambda_n (x,e_n)_H e_n$$
for $x in mathrm{dom}(T) subset H$ hold as for compact operators?
Thanks!
EDIT: I think that the answer is quite simple:
Let $x in mathrm{dom}(T) subset H$ be fixed. It holds $Tx in H$ and hence $Tx$ can be represented by
$$Tx = sum_{n=1}^infty (Tx,e_n)_H e_n = sum_{n=1}^infty (x,Te_n)_H e_n = sum_{n=1}^infty lambda_n (x,e_n)_H e_n.$$
Is this correct?
spectral-theory compact-operators unbounded-operators
It should be exactly the content of the spectral theorem in this particular case. Also, $xinmathrm{dom}(T)$ should be equivalent to the sum $sum |lambda_n (x, e_n)|^2$ being finite. I say "should" because I am not really checking it, I am just relying on my memory and intuition.
– Giuseppe Negro
Nov 22 at 12:21
I think so too, because the Spectral Theorem states with the unique spectral measure $E_T$ that $$ T = int_{mathbb R} lambda mathrm d E_T(lambda).$$
– eierkopf
Nov 22 at 21:09
For $x in mathrm{dom} (T)$ this gives $$ Tx = int_{mathbb R} lambda , mathrm d E_T(lambda)x = sum_{n=1}^infty lambda_n (x,e_n)_H e_n.$$ Right?
– eierkopf
Nov 22 at 21:15
That's what I thought.
– Giuseppe Negro
2 days ago
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Given an unbounded self-adjoint operator $Tcolon H supset mathrm{dom}(T) to H$ on a Hilbert space $H$ with compact resolvent, i.e. $T$ has a purely discrete spectrum, the eigenfunctions $e_n$ form an orthonormal basis of $H,$ the eigenvalues $lambda_n in mathbb R$ with $|lambda_n | to infty$ and $Te_n = lambda_n e_n$ for $n in mathbb N.$ My question: Does a representation
$$Tx = sum_{n=1}^infty lambda_n (x,e_n)_H e_n$$
for $x in mathrm{dom}(T) subset H$ hold as for compact operators?
Thanks!
EDIT: I think that the answer is quite simple:
Let $x in mathrm{dom}(T) subset H$ be fixed. It holds $Tx in H$ and hence $Tx$ can be represented by
$$Tx = sum_{n=1}^infty (Tx,e_n)_H e_n = sum_{n=1}^infty (x,Te_n)_H e_n = sum_{n=1}^infty lambda_n (x,e_n)_H e_n.$$
Is this correct?
spectral-theory compact-operators unbounded-operators
Given an unbounded self-adjoint operator $Tcolon H supset mathrm{dom}(T) to H$ on a Hilbert space $H$ with compact resolvent, i.e. $T$ has a purely discrete spectrum, the eigenfunctions $e_n$ form an orthonormal basis of $H,$ the eigenvalues $lambda_n in mathbb R$ with $|lambda_n | to infty$ and $Te_n = lambda_n e_n$ for $n in mathbb N.$ My question: Does a representation
$$Tx = sum_{n=1}^infty lambda_n (x,e_n)_H e_n$$
for $x in mathrm{dom}(T) subset H$ hold as for compact operators?
Thanks!
EDIT: I think that the answer is quite simple:
Let $x in mathrm{dom}(T) subset H$ be fixed. It holds $Tx in H$ and hence $Tx$ can be represented by
$$Tx = sum_{n=1}^infty (Tx,e_n)_H e_n = sum_{n=1}^infty (x,Te_n)_H e_n = sum_{n=1}^infty lambda_n (x,e_n)_H e_n.$$
Is this correct?
spectral-theory compact-operators unbounded-operators
spectral-theory compact-operators unbounded-operators
edited Nov 22 at 12:11
asked Nov 21 at 22:48
eierkopf
113
113
It should be exactly the content of the spectral theorem in this particular case. Also, $xinmathrm{dom}(T)$ should be equivalent to the sum $sum |lambda_n (x, e_n)|^2$ being finite. I say "should" because I am not really checking it, I am just relying on my memory and intuition.
– Giuseppe Negro
Nov 22 at 12:21
I think so too, because the Spectral Theorem states with the unique spectral measure $E_T$ that $$ T = int_{mathbb R} lambda mathrm d E_T(lambda).$$
– eierkopf
Nov 22 at 21:09
For $x in mathrm{dom} (T)$ this gives $$ Tx = int_{mathbb R} lambda , mathrm d E_T(lambda)x = sum_{n=1}^infty lambda_n (x,e_n)_H e_n.$$ Right?
– eierkopf
Nov 22 at 21:15
That's what I thought.
– Giuseppe Negro
2 days ago
add a comment |
It should be exactly the content of the spectral theorem in this particular case. Also, $xinmathrm{dom}(T)$ should be equivalent to the sum $sum |lambda_n (x, e_n)|^2$ being finite. I say "should" because I am not really checking it, I am just relying on my memory and intuition.
– Giuseppe Negro
Nov 22 at 12:21
I think so too, because the Spectral Theorem states with the unique spectral measure $E_T$ that $$ T = int_{mathbb R} lambda mathrm d E_T(lambda).$$
– eierkopf
Nov 22 at 21:09
For $x in mathrm{dom} (T)$ this gives $$ Tx = int_{mathbb R} lambda , mathrm d E_T(lambda)x = sum_{n=1}^infty lambda_n (x,e_n)_H e_n.$$ Right?
– eierkopf
Nov 22 at 21:15
That's what I thought.
– Giuseppe Negro
2 days ago
It should be exactly the content of the spectral theorem in this particular case. Also, $xinmathrm{dom}(T)$ should be equivalent to the sum $sum |lambda_n (x, e_n)|^2$ being finite. I say "should" because I am not really checking it, I am just relying on my memory and intuition.
– Giuseppe Negro
Nov 22 at 12:21
It should be exactly the content of the spectral theorem in this particular case. Also, $xinmathrm{dom}(T)$ should be equivalent to the sum $sum |lambda_n (x, e_n)|^2$ being finite. I say "should" because I am not really checking it, I am just relying on my memory and intuition.
– Giuseppe Negro
Nov 22 at 12:21
I think so too, because the Spectral Theorem states with the unique spectral measure $E_T$ that $$ T = int_{mathbb R} lambda mathrm d E_T(lambda).$$
– eierkopf
Nov 22 at 21:09
I think so too, because the Spectral Theorem states with the unique spectral measure $E_T$ that $$ T = int_{mathbb R} lambda mathrm d E_T(lambda).$$
– eierkopf
Nov 22 at 21:09
For $x in mathrm{dom} (T)$ this gives $$ Tx = int_{mathbb R} lambda , mathrm d E_T(lambda)x = sum_{n=1}^infty lambda_n (x,e_n)_H e_n.$$ Right?
– eierkopf
Nov 22 at 21:15
For $x in mathrm{dom} (T)$ this gives $$ Tx = int_{mathbb R} lambda , mathrm d E_T(lambda)x = sum_{n=1}^infty lambda_n (x,e_n)_H e_n.$$ Right?
– eierkopf
Nov 22 at 21:15
That's what I thought.
– Giuseppe Negro
2 days ago
That's what I thought.
– Giuseppe Negro
2 days ago
add a comment |
1 Answer
1
active
oldest
votes
up vote
0
down vote
Are there any other suggestions?
This does not provide an answer to the question. To critique or request clarification from an author, leave a comment below their post. - From Review
– mrtaurho
1 hour ago
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
0
down vote
Are there any other suggestions?
This does not provide an answer to the question. To critique or request clarification from an author, leave a comment below their post. - From Review
– mrtaurho
1 hour ago
add a comment |
up vote
0
down vote
Are there any other suggestions?
This does not provide an answer to the question. To critique or request clarification from an author, leave a comment below their post. - From Review
– mrtaurho
1 hour ago
add a comment |
up vote
0
down vote
up vote
0
down vote
Are there any other suggestions?
Are there any other suggestions?
answered 2 hours ago
eierkopf
113
113
This does not provide an answer to the question. To critique or request clarification from an author, leave a comment below their post. - From Review
– mrtaurho
1 hour ago
add a comment |
This does not provide an answer to the question. To critique or request clarification from an author, leave a comment below their post. - From Review
– mrtaurho
1 hour ago
This does not provide an answer to the question. To critique or request clarification from an author, leave a comment below their post. - From Review
– mrtaurho
1 hour ago
This does not provide an answer to the question. To critique or request clarification from an author, leave a comment below their post. - From Review
– mrtaurho
1 hour ago
add a comment |
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3008489%2funbounded-self-adjoint-operator-with-compact-resolvent-expansion%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
It should be exactly the content of the spectral theorem in this particular case. Also, $xinmathrm{dom}(T)$ should be equivalent to the sum $sum |lambda_n (x, e_n)|^2$ being finite. I say "should" because I am not really checking it, I am just relying on my memory and intuition.
– Giuseppe Negro
Nov 22 at 12:21
I think so too, because the Spectral Theorem states with the unique spectral measure $E_T$ that $$ T = int_{mathbb R} lambda mathrm d E_T(lambda).$$
– eierkopf
Nov 22 at 21:09
For $x in mathrm{dom} (T)$ this gives $$ Tx = int_{mathbb R} lambda , mathrm d E_T(lambda)x = sum_{n=1}^infty lambda_n (x,e_n)_H e_n.$$ Right?
– eierkopf
Nov 22 at 21:15
That's what I thought.
– Giuseppe Negro
2 days ago