How to show that the eigenvalues of this Hermitian operator are non-negative?
$begingroup$
$V$ is the space of infinitely differentiable functions $f:mathbb R to mathbb C$ which are periodic of $2pi$, with the inner product $<f|g> = int_0^{2pi} overline f(t)g(t)dt$. Let $L:Vto V$ be defined as $L=-d^2/dt^2$. It is known that $L$ is self-adjoint, $L=L^*$. How to show that the eigenvalues of $L$ are non-negative? And how to write $L=A^*A$ for an operator $A:Vto V$?
linear-algebra functional-analysis
$endgroup$
add a comment |
$begingroup$
$V$ is the space of infinitely differentiable functions $f:mathbb R to mathbb C$ which are periodic of $2pi$, with the inner product $<f|g> = int_0^{2pi} overline f(t)g(t)dt$. Let $L:Vto V$ be defined as $L=-d^2/dt^2$. It is known that $L$ is self-adjoint, $L=L^*$. How to show that the eigenvalues of $L$ are non-negative? And how to write $L=A^*A$ for an operator $A:Vto V$?
linear-algebra functional-analysis
$endgroup$
$begingroup$
It is straightforward to show that if $A = ifrac{d}{dt}$, then $A^*A = L$.
$endgroup$
– whpowell96
Dec 13 '18 at 4:46
$begingroup$
@whpowell96 How did you come up with that?
$endgroup$
– user398843
Dec 13 '18 at 4:53
$begingroup$
I know that $frac{d}{dt}frac{d}{dt} = frac{d^2}{dt^2}$, so to make it negative I needed to multiply by a constant $alpha$ such that $alpha^2=-1$
$endgroup$
– whpowell96
Dec 13 '18 at 4:54
$begingroup$
@whpowell96 Is there a general method to write a self-adjoint operator like that, i.e., $L=A^*A$?
$endgroup$
– user398843
Dec 13 '18 at 4:57
1
$begingroup$
The spectral theorem guarantees the existence of such an operator if $L$ is bounded and positive semidefinite. I cannot remember off the top of my head if the proof is constructive or not
$endgroup$
– whpowell96
Dec 13 '18 at 5:02
add a comment |
$begingroup$
$V$ is the space of infinitely differentiable functions $f:mathbb R to mathbb C$ which are periodic of $2pi$, with the inner product $<f|g> = int_0^{2pi} overline f(t)g(t)dt$. Let $L:Vto V$ be defined as $L=-d^2/dt^2$. It is known that $L$ is self-adjoint, $L=L^*$. How to show that the eigenvalues of $L$ are non-negative? And how to write $L=A^*A$ for an operator $A:Vto V$?
linear-algebra functional-analysis
$endgroup$
$V$ is the space of infinitely differentiable functions $f:mathbb R to mathbb C$ which are periodic of $2pi$, with the inner product $<f|g> = int_0^{2pi} overline f(t)g(t)dt$. Let $L:Vto V$ be defined as $L=-d^2/dt^2$. It is known that $L$ is self-adjoint, $L=L^*$. How to show that the eigenvalues of $L$ are non-negative? And how to write $L=A^*A$ for an operator $A:Vto V$?
linear-algebra functional-analysis
linear-algebra functional-analysis
asked Dec 13 '18 at 4:38
user398843user398843
648216
648216
$begingroup$
It is straightforward to show that if $A = ifrac{d}{dt}$, then $A^*A = L$.
$endgroup$
– whpowell96
Dec 13 '18 at 4:46
$begingroup$
@whpowell96 How did you come up with that?
$endgroup$
– user398843
Dec 13 '18 at 4:53
$begingroup$
I know that $frac{d}{dt}frac{d}{dt} = frac{d^2}{dt^2}$, so to make it negative I needed to multiply by a constant $alpha$ such that $alpha^2=-1$
$endgroup$
– whpowell96
Dec 13 '18 at 4:54
$begingroup$
@whpowell96 Is there a general method to write a self-adjoint operator like that, i.e., $L=A^*A$?
$endgroup$
– user398843
Dec 13 '18 at 4:57
1
$begingroup$
The spectral theorem guarantees the existence of such an operator if $L$ is bounded and positive semidefinite. I cannot remember off the top of my head if the proof is constructive or not
$endgroup$
– whpowell96
Dec 13 '18 at 5:02
add a comment |
$begingroup$
It is straightforward to show that if $A = ifrac{d}{dt}$, then $A^*A = L$.
$endgroup$
– whpowell96
Dec 13 '18 at 4:46
$begingroup$
@whpowell96 How did you come up with that?
$endgroup$
– user398843
Dec 13 '18 at 4:53
$begingroup$
I know that $frac{d}{dt}frac{d}{dt} = frac{d^2}{dt^2}$, so to make it negative I needed to multiply by a constant $alpha$ such that $alpha^2=-1$
$endgroup$
– whpowell96
Dec 13 '18 at 4:54
$begingroup$
@whpowell96 Is there a general method to write a self-adjoint operator like that, i.e., $L=A^*A$?
$endgroup$
– user398843
Dec 13 '18 at 4:57
1
$begingroup$
The spectral theorem guarantees the existence of such an operator if $L$ is bounded and positive semidefinite. I cannot remember off the top of my head if the proof is constructive or not
$endgroup$
– whpowell96
Dec 13 '18 at 5:02
$begingroup$
It is straightforward to show that if $A = ifrac{d}{dt}$, then $A^*A = L$.
$endgroup$
– whpowell96
Dec 13 '18 at 4:46
$begingroup$
It is straightforward to show that if $A = ifrac{d}{dt}$, then $A^*A = L$.
$endgroup$
– whpowell96
Dec 13 '18 at 4:46
$begingroup$
@whpowell96 How did you come up with that?
$endgroup$
– user398843
Dec 13 '18 at 4:53
$begingroup$
@whpowell96 How did you come up with that?
$endgroup$
– user398843
Dec 13 '18 at 4:53
$begingroup$
I know that $frac{d}{dt}frac{d}{dt} = frac{d^2}{dt^2}$, so to make it negative I needed to multiply by a constant $alpha$ such that $alpha^2=-1$
$endgroup$
– whpowell96
Dec 13 '18 at 4:54
$begingroup$
I know that $frac{d}{dt}frac{d}{dt} = frac{d^2}{dt^2}$, so to make it negative I needed to multiply by a constant $alpha$ such that $alpha^2=-1$
$endgroup$
– whpowell96
Dec 13 '18 at 4:54
$begingroup$
@whpowell96 Is there a general method to write a self-adjoint operator like that, i.e., $L=A^*A$?
$endgroup$
– user398843
Dec 13 '18 at 4:57
$begingroup$
@whpowell96 Is there a general method to write a self-adjoint operator like that, i.e., $L=A^*A$?
$endgroup$
– user398843
Dec 13 '18 at 4:57
1
1
$begingroup$
The spectral theorem guarantees the existence of such an operator if $L$ is bounded and positive semidefinite. I cannot remember off the top of my head if the proof is constructive or not
$endgroup$
– whpowell96
Dec 13 '18 at 5:02
$begingroup$
The spectral theorem guarantees the existence of such an operator if $L$ is bounded and positive semidefinite. I cannot remember off the top of my head if the proof is constructive or not
$endgroup$
– whpowell96
Dec 13 '18 at 5:02
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The associated form for $L$ is
begin{align}
langle Lf,frangle &= int_{0}^{2pi} -f''(t)overline{f(t)}dt\
&= -f'overline{f}|_{0}^{2pi}+int_{0}^{2pi}f'(t)overline{f'(t)}dt \
&= int_{0}^{2pi}|f'(t)|^2dt.
end{align}
So, if $Lf=lambda f$, then $lambda|f|^2=|f'|^2$ forces $lambda$ to be real and non-negative. Furthermore, $lambda =0$ iff $f'=0$ or $f$ is constant.
$endgroup$
add a comment |
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%2f3037603%2fhow-to-show-that-the-eigenvalues-of-this-hermitian-operator-are-non-negative%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The associated form for $L$ is
begin{align}
langle Lf,frangle &= int_{0}^{2pi} -f''(t)overline{f(t)}dt\
&= -f'overline{f}|_{0}^{2pi}+int_{0}^{2pi}f'(t)overline{f'(t)}dt \
&= int_{0}^{2pi}|f'(t)|^2dt.
end{align}
So, if $Lf=lambda f$, then $lambda|f|^2=|f'|^2$ forces $lambda$ to be real and non-negative. Furthermore, $lambda =0$ iff $f'=0$ or $f$ is constant.
$endgroup$
add a comment |
$begingroup$
The associated form for $L$ is
begin{align}
langle Lf,frangle &= int_{0}^{2pi} -f''(t)overline{f(t)}dt\
&= -f'overline{f}|_{0}^{2pi}+int_{0}^{2pi}f'(t)overline{f'(t)}dt \
&= int_{0}^{2pi}|f'(t)|^2dt.
end{align}
So, if $Lf=lambda f$, then $lambda|f|^2=|f'|^2$ forces $lambda$ to be real and non-negative. Furthermore, $lambda =0$ iff $f'=0$ or $f$ is constant.
$endgroup$
add a comment |
$begingroup$
The associated form for $L$ is
begin{align}
langle Lf,frangle &= int_{0}^{2pi} -f''(t)overline{f(t)}dt\
&= -f'overline{f}|_{0}^{2pi}+int_{0}^{2pi}f'(t)overline{f'(t)}dt \
&= int_{0}^{2pi}|f'(t)|^2dt.
end{align}
So, if $Lf=lambda f$, then $lambda|f|^2=|f'|^2$ forces $lambda$ to be real and non-negative. Furthermore, $lambda =0$ iff $f'=0$ or $f$ is constant.
$endgroup$
The associated form for $L$ is
begin{align}
langle Lf,frangle &= int_{0}^{2pi} -f''(t)overline{f(t)}dt\
&= -f'overline{f}|_{0}^{2pi}+int_{0}^{2pi}f'(t)overline{f'(t)}dt \
&= int_{0}^{2pi}|f'(t)|^2dt.
end{align}
So, if $Lf=lambda f$, then $lambda|f|^2=|f'|^2$ forces $lambda$ to be real and non-negative. Furthermore, $lambda =0$ iff $f'=0$ or $f$ is constant.
edited Dec 13 '18 at 4:58
answered Dec 13 '18 at 4:45
DisintegratingByPartsDisintegratingByParts
59.4k42580
59.4k42580
add a comment |
add a comment |
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%2f3037603%2fhow-to-show-that-the-eigenvalues-of-this-hermitian-operator-are-non-negative%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$
It is straightforward to show that if $A = ifrac{d}{dt}$, then $A^*A = L$.
$endgroup$
– whpowell96
Dec 13 '18 at 4:46
$begingroup$
@whpowell96 How did you come up with that?
$endgroup$
– user398843
Dec 13 '18 at 4:53
$begingroup$
I know that $frac{d}{dt}frac{d}{dt} = frac{d^2}{dt^2}$, so to make it negative I needed to multiply by a constant $alpha$ such that $alpha^2=-1$
$endgroup$
– whpowell96
Dec 13 '18 at 4:54
$begingroup$
@whpowell96 Is there a general method to write a self-adjoint operator like that, i.e., $L=A^*A$?
$endgroup$
– user398843
Dec 13 '18 at 4:57
1
$begingroup$
The spectral theorem guarantees the existence of such an operator if $L$ is bounded and positive semidefinite. I cannot remember off the top of my head if the proof is constructive or not
$endgroup$
– whpowell96
Dec 13 '18 at 5:02