Is this statement still true with a weaker condition?
$begingroup$
Let $H$ be a complex Hilbert space and let $A:mathrm{dom}(A)to H$ be an unbounded symmetric operator with dense domain. Prove that $A$ is self-adjoint if and only if there is a $lambdainmathbb{C}$ s.t. $lambda I-A:mathrm{dom}(A)to H$ is surjective.
This is an excise, but now I doubt whether the other direction can be achieved. For $A$ self-adjoint, any nonreal $lambda$ will make $lambda I-A$ surjective since the spectrum of $A$ is a subset of $mathbb{R}$. However for the other direction, I can only prove the case $lambda I-A$ and $overline{lambda} I-A$ are both surjective (or at least one surjective one with dense image). I found many other books and they only have similar statement for the case in which both hold. Therefore I am wondering is it really possible that only $lambda I-A$ surjective is sufficient?
Proof for the both-hold case:
Since $A$ is densely defined and symmetric, $A^*$ is an closed extension of $A$. Therefore if we want to show $A$ is self-adjoint, we
just need to show the inclusion from the other direction that $mathrm{dom}(A^*)subsetmathrm{dom}(A)$. Let $xin mathrm{dom}(A^*)$, since $mathrm{Im}(lambda I-A)=H$, there is a $yin mathrm{dom}(A)$
such that $$(lambda I-A)y =(lambda I- A^*)xin H$$ Then for any $zinmathrm{dom}(A)$
we have
$$left<(overline{lambda} I-A)z,xright>=left<z,(lambda I-A^*)x)right>
=left<z,(lambda I-A)yright>=left<(overline{lambda} I-A)z,yright>$$
If $overline{lambda} I-A$ has dense image we will have $x=y$ and so $xinmathrm{dom}(A)$.
I can't think up any amelioration if we remove the condition. Any help will be appreciated.
functional-analysis self-adjoint-operators
$endgroup$
add a comment |
$begingroup$
Let $H$ be a complex Hilbert space and let $A:mathrm{dom}(A)to H$ be an unbounded symmetric operator with dense domain. Prove that $A$ is self-adjoint if and only if there is a $lambdainmathbb{C}$ s.t. $lambda I-A:mathrm{dom}(A)to H$ is surjective.
This is an excise, but now I doubt whether the other direction can be achieved. For $A$ self-adjoint, any nonreal $lambda$ will make $lambda I-A$ surjective since the spectrum of $A$ is a subset of $mathbb{R}$. However for the other direction, I can only prove the case $lambda I-A$ and $overline{lambda} I-A$ are both surjective (or at least one surjective one with dense image). I found many other books and they only have similar statement for the case in which both hold. Therefore I am wondering is it really possible that only $lambda I-A$ surjective is sufficient?
Proof for the both-hold case:
Since $A$ is densely defined and symmetric, $A^*$ is an closed extension of $A$. Therefore if we want to show $A$ is self-adjoint, we
just need to show the inclusion from the other direction that $mathrm{dom}(A^*)subsetmathrm{dom}(A)$. Let $xin mathrm{dom}(A^*)$, since $mathrm{Im}(lambda I-A)=H$, there is a $yin mathrm{dom}(A)$
such that $$(lambda I-A)y =(lambda I- A^*)xin H$$ Then for any $zinmathrm{dom}(A)$
we have
$$left<(overline{lambda} I-A)z,xright>=left<z,(lambda I-A^*)x)right>
=left<z,(lambda I-A)yright>=left<(overline{lambda} I-A)z,yright>$$
If $overline{lambda} I-A$ has dense image we will have $x=y$ and so $xinmathrm{dom}(A)$.
I can't think up any amelioration if we remove the condition. Any help will be appreciated.
functional-analysis self-adjoint-operators
$endgroup$
$begingroup$
You are right, surjectivity of $lambda-A$ for only one $lambdain mathbb{C}setminusmathbb{R}$ is not sufficient. A counterexample can be found here: math.stackexchange.com/questions/893899/…
$endgroup$
– MaoWao
Dec 6 '18 at 19:00
$begingroup$
Thank you so much for that link!
$endgroup$
– Apocalypse
Dec 7 '18 at 12:20
add a comment |
$begingroup$
Let $H$ be a complex Hilbert space and let $A:mathrm{dom}(A)to H$ be an unbounded symmetric operator with dense domain. Prove that $A$ is self-adjoint if and only if there is a $lambdainmathbb{C}$ s.t. $lambda I-A:mathrm{dom}(A)to H$ is surjective.
This is an excise, but now I doubt whether the other direction can be achieved. For $A$ self-adjoint, any nonreal $lambda$ will make $lambda I-A$ surjective since the spectrum of $A$ is a subset of $mathbb{R}$. However for the other direction, I can only prove the case $lambda I-A$ and $overline{lambda} I-A$ are both surjective (or at least one surjective one with dense image). I found many other books and they only have similar statement for the case in which both hold. Therefore I am wondering is it really possible that only $lambda I-A$ surjective is sufficient?
Proof for the both-hold case:
Since $A$ is densely defined and symmetric, $A^*$ is an closed extension of $A$. Therefore if we want to show $A$ is self-adjoint, we
just need to show the inclusion from the other direction that $mathrm{dom}(A^*)subsetmathrm{dom}(A)$. Let $xin mathrm{dom}(A^*)$, since $mathrm{Im}(lambda I-A)=H$, there is a $yin mathrm{dom}(A)$
such that $$(lambda I-A)y =(lambda I- A^*)xin H$$ Then for any $zinmathrm{dom}(A)$
we have
$$left<(overline{lambda} I-A)z,xright>=left<z,(lambda I-A^*)x)right>
=left<z,(lambda I-A)yright>=left<(overline{lambda} I-A)z,yright>$$
If $overline{lambda} I-A$ has dense image we will have $x=y$ and so $xinmathrm{dom}(A)$.
I can't think up any amelioration if we remove the condition. Any help will be appreciated.
functional-analysis self-adjoint-operators
$endgroup$
Let $H$ be a complex Hilbert space and let $A:mathrm{dom}(A)to H$ be an unbounded symmetric operator with dense domain. Prove that $A$ is self-adjoint if and only if there is a $lambdainmathbb{C}$ s.t. $lambda I-A:mathrm{dom}(A)to H$ is surjective.
This is an excise, but now I doubt whether the other direction can be achieved. For $A$ self-adjoint, any nonreal $lambda$ will make $lambda I-A$ surjective since the spectrum of $A$ is a subset of $mathbb{R}$. However for the other direction, I can only prove the case $lambda I-A$ and $overline{lambda} I-A$ are both surjective (or at least one surjective one with dense image). I found many other books and they only have similar statement for the case in which both hold. Therefore I am wondering is it really possible that only $lambda I-A$ surjective is sufficient?
Proof for the both-hold case:
Since $A$ is densely defined and symmetric, $A^*$ is an closed extension of $A$. Therefore if we want to show $A$ is self-adjoint, we
just need to show the inclusion from the other direction that $mathrm{dom}(A^*)subsetmathrm{dom}(A)$. Let $xin mathrm{dom}(A^*)$, since $mathrm{Im}(lambda I-A)=H$, there is a $yin mathrm{dom}(A)$
such that $$(lambda I-A)y =(lambda I- A^*)xin H$$ Then for any $zinmathrm{dom}(A)$
we have
$$left<(overline{lambda} I-A)z,xright>=left<z,(lambda I-A^*)x)right>
=left<z,(lambda I-A)yright>=left<(overline{lambda} I-A)z,yright>$$
If $overline{lambda} I-A$ has dense image we will have $x=y$ and so $xinmathrm{dom}(A)$.
I can't think up any amelioration if we remove the condition. Any help will be appreciated.
functional-analysis self-adjoint-operators
functional-analysis self-adjoint-operators
asked Dec 6 '18 at 16:07
ApocalypseApocalypse
1378
1378
$begingroup$
You are right, surjectivity of $lambda-A$ for only one $lambdain mathbb{C}setminusmathbb{R}$ is not sufficient. A counterexample can be found here: math.stackexchange.com/questions/893899/…
$endgroup$
– MaoWao
Dec 6 '18 at 19:00
$begingroup$
Thank you so much for that link!
$endgroup$
– Apocalypse
Dec 7 '18 at 12:20
add a comment |
$begingroup$
You are right, surjectivity of $lambda-A$ for only one $lambdain mathbb{C}setminusmathbb{R}$ is not sufficient. A counterexample can be found here: math.stackexchange.com/questions/893899/…
$endgroup$
– MaoWao
Dec 6 '18 at 19:00
$begingroup$
Thank you so much for that link!
$endgroup$
– Apocalypse
Dec 7 '18 at 12:20
$begingroup$
You are right, surjectivity of $lambda-A$ for only one $lambdain mathbb{C}setminusmathbb{R}$ is not sufficient. A counterexample can be found here: math.stackexchange.com/questions/893899/…
$endgroup$
– MaoWao
Dec 6 '18 at 19:00
$begingroup$
You are right, surjectivity of $lambda-A$ for only one $lambdain mathbb{C}setminusmathbb{R}$ is not sufficient. A counterexample can be found here: math.stackexchange.com/questions/893899/…
$endgroup$
– MaoWao
Dec 6 '18 at 19:00
$begingroup$
Thank you so much for that link!
$endgroup$
– Apocalypse
Dec 7 '18 at 12:20
$begingroup$
Thank you so much for that link!
$endgroup$
– Apocalypse
Dec 7 '18 at 12:20
add a comment |
0
active
oldest
votes
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
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%2f3028684%2fis-this-statement-still-true-with-a-weaker-condition%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
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%2f3028684%2fis-this-statement-still-true-with-a-weaker-condition%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
$begingroup$
You are right, surjectivity of $lambda-A$ for only one $lambdain mathbb{C}setminusmathbb{R}$ is not sufficient. A counterexample can be found here: math.stackexchange.com/questions/893899/…
$endgroup$
– MaoWao
Dec 6 '18 at 19:00
$begingroup$
Thank you so much for that link!
$endgroup$
– Apocalypse
Dec 7 '18 at 12:20