Finding spectrum of an integral operator
up vote
0
down vote
favorite
Hello I'm wondering about how to deal with a situation like this:
I have $mathcal{H} = L^2(0,pi /2)$ and
begin{equation}
Tf(x) = int_0^{pi/2} f(y)cos(y)sin(x),dy
end{equation}
First I have to show that $T$ belongs to the space of finite rank operators , but this is trivial cause I can identify Im$(T)$ as span of $h(x) := sin(x)|_{(0,pi/2)}$ (right?). Then I have to determine its spectrum. So I know that
begin{equation}
lambda in sigma_p (T) Leftrightarrowexists fin L^2(0,pi /2), f neq 0
end{equation}
such that $Tf = lambda f$. In this case I have
begin{equation}
sin(x)int_0^{pi/2} f(y)cos(y),dy = lambda f(x)
end{equation}
Should I now derive both sides of equation, assuming $f in C^1 (0,pi/2)$?
functional-analysis spectral-theory
|
show 3 more comments
up vote
0
down vote
favorite
Hello I'm wondering about how to deal with a situation like this:
I have $mathcal{H} = L^2(0,pi /2)$ and
begin{equation}
Tf(x) = int_0^{pi/2} f(y)cos(y)sin(x),dy
end{equation}
First I have to show that $T$ belongs to the space of finite rank operators , but this is trivial cause I can identify Im$(T)$ as span of $h(x) := sin(x)|_{(0,pi/2)}$ (right?). Then I have to determine its spectrum. So I know that
begin{equation}
lambda in sigma_p (T) Leftrightarrowexists fin L^2(0,pi /2), f neq 0
end{equation}
such that $Tf = lambda f$. In this case I have
begin{equation}
sin(x)int_0^{pi/2} f(y)cos(y),dy = lambda f(x)
end{equation}
Should I now derive both sides of equation, assuming $f in C^1 (0,pi/2)$?
functional-analysis spectral-theory
1
You don't need to assume $f in C^1$. For eignevectors you know that already because if $f$ is an eigenvector then $f in operatorname{Im}(T) = operatorname{span}(sin) subset C^infty$.
– Rhys Steele
Nov 27 at 14:10
right.. but how should I isolate $f$?
– James Arten
Nov 27 at 14:14
Well try plugging $f = alpha sin$ into your equation since you know that's what $f$ must be if it is an eigenvector. What happens? (in fact you don't even need to know that $f in C^1$ for this)
– Rhys Steele
Nov 27 at 14:19
well I get $lambda = frac{int_0^{pi /2} f(y) cos(y),dy}{alpha}$.. is that right?
– James Arten
Nov 27 at 14:25
1
Yes. What you've done is assumed that $lambda$ is an eigenvalue with eigenvector $f$ and shown that $lambda = 1/2$. Taking $f = sin$ shows that $lambda = 1/2$ is in fact an eigenvalue.
– Rhys Steele
Nov 27 at 16:34
|
show 3 more comments
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Hello I'm wondering about how to deal with a situation like this:
I have $mathcal{H} = L^2(0,pi /2)$ and
begin{equation}
Tf(x) = int_0^{pi/2} f(y)cos(y)sin(x),dy
end{equation}
First I have to show that $T$ belongs to the space of finite rank operators , but this is trivial cause I can identify Im$(T)$ as span of $h(x) := sin(x)|_{(0,pi/2)}$ (right?). Then I have to determine its spectrum. So I know that
begin{equation}
lambda in sigma_p (T) Leftrightarrowexists fin L^2(0,pi /2), f neq 0
end{equation}
such that $Tf = lambda f$. In this case I have
begin{equation}
sin(x)int_0^{pi/2} f(y)cos(y),dy = lambda f(x)
end{equation}
Should I now derive both sides of equation, assuming $f in C^1 (0,pi/2)$?
functional-analysis spectral-theory
Hello I'm wondering about how to deal with a situation like this:
I have $mathcal{H} = L^2(0,pi /2)$ and
begin{equation}
Tf(x) = int_0^{pi/2} f(y)cos(y)sin(x),dy
end{equation}
First I have to show that $T$ belongs to the space of finite rank operators , but this is trivial cause I can identify Im$(T)$ as span of $h(x) := sin(x)|_{(0,pi/2)}$ (right?). Then I have to determine its spectrum. So I know that
begin{equation}
lambda in sigma_p (T) Leftrightarrowexists fin L^2(0,pi /2), f neq 0
end{equation}
such that $Tf = lambda f$. In this case I have
begin{equation}
sin(x)int_0^{pi/2} f(y)cos(y),dy = lambda f(x)
end{equation}
Should I now derive both sides of equation, assuming $f in C^1 (0,pi/2)$?
functional-analysis spectral-theory
functional-analysis spectral-theory
edited Nov 27 at 13:43
MisterRiemann
5,7031624
5,7031624
asked Nov 27 at 13:34
James Arten
579
579
1
You don't need to assume $f in C^1$. For eignevectors you know that already because if $f$ is an eigenvector then $f in operatorname{Im}(T) = operatorname{span}(sin) subset C^infty$.
– Rhys Steele
Nov 27 at 14:10
right.. but how should I isolate $f$?
– James Arten
Nov 27 at 14:14
Well try plugging $f = alpha sin$ into your equation since you know that's what $f$ must be if it is an eigenvector. What happens? (in fact you don't even need to know that $f in C^1$ for this)
– Rhys Steele
Nov 27 at 14:19
well I get $lambda = frac{int_0^{pi /2} f(y) cos(y),dy}{alpha}$.. is that right?
– James Arten
Nov 27 at 14:25
1
Yes. What you've done is assumed that $lambda$ is an eigenvalue with eigenvector $f$ and shown that $lambda = 1/2$. Taking $f = sin$ shows that $lambda = 1/2$ is in fact an eigenvalue.
– Rhys Steele
Nov 27 at 16:34
|
show 3 more comments
1
You don't need to assume $f in C^1$. For eignevectors you know that already because if $f$ is an eigenvector then $f in operatorname{Im}(T) = operatorname{span}(sin) subset C^infty$.
– Rhys Steele
Nov 27 at 14:10
right.. but how should I isolate $f$?
– James Arten
Nov 27 at 14:14
Well try plugging $f = alpha sin$ into your equation since you know that's what $f$ must be if it is an eigenvector. What happens? (in fact you don't even need to know that $f in C^1$ for this)
– Rhys Steele
Nov 27 at 14:19
well I get $lambda = frac{int_0^{pi /2} f(y) cos(y),dy}{alpha}$.. is that right?
– James Arten
Nov 27 at 14:25
1
Yes. What you've done is assumed that $lambda$ is an eigenvalue with eigenvector $f$ and shown that $lambda = 1/2$. Taking $f = sin$ shows that $lambda = 1/2$ is in fact an eigenvalue.
– Rhys Steele
Nov 27 at 16:34
1
1
You don't need to assume $f in C^1$. For eignevectors you know that already because if $f$ is an eigenvector then $f in operatorname{Im}(T) = operatorname{span}(sin) subset C^infty$.
– Rhys Steele
Nov 27 at 14:10
You don't need to assume $f in C^1$. For eignevectors you know that already because if $f$ is an eigenvector then $f in operatorname{Im}(T) = operatorname{span}(sin) subset C^infty$.
– Rhys Steele
Nov 27 at 14:10
right.. but how should I isolate $f$?
– James Arten
Nov 27 at 14:14
right.. but how should I isolate $f$?
– James Arten
Nov 27 at 14:14
Well try plugging $f = alpha sin$ into your equation since you know that's what $f$ must be if it is an eigenvector. What happens? (in fact you don't even need to know that $f in C^1$ for this)
– Rhys Steele
Nov 27 at 14:19
Well try plugging $f = alpha sin$ into your equation since you know that's what $f$ must be if it is an eigenvector. What happens? (in fact you don't even need to know that $f in C^1$ for this)
– Rhys Steele
Nov 27 at 14:19
well I get $lambda = frac{int_0^{pi /2} f(y) cos(y),dy}{alpha}$.. is that right?
– James Arten
Nov 27 at 14:25
well I get $lambda = frac{int_0^{pi /2} f(y) cos(y),dy}{alpha}$.. is that right?
– James Arten
Nov 27 at 14:25
1
1
Yes. What you've done is assumed that $lambda$ is an eigenvalue with eigenvector $f$ and shown that $lambda = 1/2$. Taking $f = sin$ shows that $lambda = 1/2$ is in fact an eigenvalue.
– Rhys Steele
Nov 27 at 16:34
Yes. What you've done is assumed that $lambda$ is an eigenvalue with eigenvector $f$ and shown that $lambda = 1/2$. Taking $f = sin$ shows that $lambda = 1/2$ is in fact an eigenvalue.
– Rhys Steele
Nov 27 at 16:34
|
show 3 more comments
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',
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%2f3015771%2ffinding-spectrum-of-an-integral-operator%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
active
oldest
votes
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3015771%2ffinding-spectrum-of-an-integral-operator%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
1
You don't need to assume $f in C^1$. For eignevectors you know that already because if $f$ is an eigenvector then $f in operatorname{Im}(T) = operatorname{span}(sin) subset C^infty$.
– Rhys Steele
Nov 27 at 14:10
right.. but how should I isolate $f$?
– James Arten
Nov 27 at 14:14
Well try plugging $f = alpha sin$ into your equation since you know that's what $f$ must be if it is an eigenvector. What happens? (in fact you don't even need to know that $f in C^1$ for this)
– Rhys Steele
Nov 27 at 14:19
well I get $lambda = frac{int_0^{pi /2} f(y) cos(y),dy}{alpha}$.. is that right?
– James Arten
Nov 27 at 14:25
1
Yes. What you've done is assumed that $lambda$ is an eigenvalue with eigenvector $f$ and shown that $lambda = 1/2$. Taking $f = sin$ shows that $lambda = 1/2$ is in fact an eigenvalue.
– Rhys Steele
Nov 27 at 16:34