Eigenvalues and Eigenfunctions of Integral Equation
Compute the eigenvalues and eigenfunctions of
$$
varphi(x) - lambda int_0^1 e^{x+s} varphi(s) ds = f(x)
$$
Are there functions $f$ such that the inhomogenous equation has for every real $lambda$ at least one solution?
Attempt at my solution: I have to solve
$$
int_0^1 e^{x+s} varphi(s) ds = frac{1}{lambda} varphi(x)
$$
with
$$
int_0^1 e^{x+s} varphi(s) ds = e^x int_0^1 e^s varphi(s) ds
$$
we have the eigenvalue $1/lambda = int_0^1 e^s varphi(s) ds$ and the eigenfunctions
$$
varphi(x) = C cdot e^x
$$
for some constant $C$. Is this correct? I just derived it with looking at the equation, is there some theory by which I get this result? And are that all eigenvalues/eigenfunctions? And how to solve the question for functions $f$ such that there always exists eigenfunctions for real $lambda$?
integration analysis functional-analysis pde
bumped to the homepage by Community♦ 16 hours ago
This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.
add a comment |
Compute the eigenvalues and eigenfunctions of
$$
varphi(x) - lambda int_0^1 e^{x+s} varphi(s) ds = f(x)
$$
Are there functions $f$ such that the inhomogenous equation has for every real $lambda$ at least one solution?
Attempt at my solution: I have to solve
$$
int_0^1 e^{x+s} varphi(s) ds = frac{1}{lambda} varphi(x)
$$
with
$$
int_0^1 e^{x+s} varphi(s) ds = e^x int_0^1 e^s varphi(s) ds
$$
we have the eigenvalue $1/lambda = int_0^1 e^s varphi(s) ds$ and the eigenfunctions
$$
varphi(x) = C cdot e^x
$$
for some constant $C$. Is this correct? I just derived it with looking at the equation, is there some theory by which I get this result? And are that all eigenvalues/eigenfunctions? And how to solve the question for functions $f$ such that there always exists eigenfunctions for real $lambda$?
integration analysis functional-analysis pde
bumped to the homepage by Community♦ 16 hours ago
This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.
1
Wait, what is exactly the operator of which you are searching the eigenvectors? Is it $phi(x)mapstophi(x)-lambdaint_0^1e^{x+s}phi(s)dx$?
– Daniel Robert-Nicoud
Jul 26 '14 at 23:40
I bet it is $$phi(x)to int_{0}^{1}e^{x+s}phi(s),ds$$. In this case, the only eigenfunctions are the constant functions and they all belong to the $lambda=frac{2}{e^2-1}$ eigenspace.
– Jack D'Aurizio
Jul 26 '14 at 23:46
Yes Jack D'Aurizio wrote the right operator. But why the constant functions? On the RHS we have $int_0^1 e^{x+s} varphi(s)ds = e^x int_0^1 e^svarphi(s) ds$ which is $e^x$ times a constant, so $varphi(x)$ must also be $e^x$ times a constant, and not constant, or what is wrong with my reasoning?
– StefanH
Jul 26 '14 at 23:56
Nothing wrong, I mean "constant times $e^x$".
– Jack D'Aurizio
Jul 27 '14 at 1:42
add a comment |
Compute the eigenvalues and eigenfunctions of
$$
varphi(x) - lambda int_0^1 e^{x+s} varphi(s) ds = f(x)
$$
Are there functions $f$ such that the inhomogenous equation has for every real $lambda$ at least one solution?
Attempt at my solution: I have to solve
$$
int_0^1 e^{x+s} varphi(s) ds = frac{1}{lambda} varphi(x)
$$
with
$$
int_0^1 e^{x+s} varphi(s) ds = e^x int_0^1 e^s varphi(s) ds
$$
we have the eigenvalue $1/lambda = int_0^1 e^s varphi(s) ds$ and the eigenfunctions
$$
varphi(x) = C cdot e^x
$$
for some constant $C$. Is this correct? I just derived it with looking at the equation, is there some theory by which I get this result? And are that all eigenvalues/eigenfunctions? And how to solve the question for functions $f$ such that there always exists eigenfunctions for real $lambda$?
integration analysis functional-analysis pde
Compute the eigenvalues and eigenfunctions of
$$
varphi(x) - lambda int_0^1 e^{x+s} varphi(s) ds = f(x)
$$
Are there functions $f$ such that the inhomogenous equation has for every real $lambda$ at least one solution?
Attempt at my solution: I have to solve
$$
int_0^1 e^{x+s} varphi(s) ds = frac{1}{lambda} varphi(x)
$$
with
$$
int_0^1 e^{x+s} varphi(s) ds = e^x int_0^1 e^s varphi(s) ds
$$
we have the eigenvalue $1/lambda = int_0^1 e^s varphi(s) ds$ and the eigenfunctions
$$
varphi(x) = C cdot e^x
$$
for some constant $C$. Is this correct? I just derived it with looking at the equation, is there some theory by which I get this result? And are that all eigenvalues/eigenfunctions? And how to solve the question for functions $f$ such that there always exists eigenfunctions for real $lambda$?
integration analysis functional-analysis pde
integration analysis functional-analysis pde
asked Jul 26 '14 at 23:37
StefanH
8,06652161
8,06652161
bumped to the homepage by Community♦ 16 hours ago
This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.
bumped to the homepage by Community♦ 16 hours ago
This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.
1
Wait, what is exactly the operator of which you are searching the eigenvectors? Is it $phi(x)mapstophi(x)-lambdaint_0^1e^{x+s}phi(s)dx$?
– Daniel Robert-Nicoud
Jul 26 '14 at 23:40
I bet it is $$phi(x)to int_{0}^{1}e^{x+s}phi(s),ds$$. In this case, the only eigenfunctions are the constant functions and they all belong to the $lambda=frac{2}{e^2-1}$ eigenspace.
– Jack D'Aurizio
Jul 26 '14 at 23:46
Yes Jack D'Aurizio wrote the right operator. But why the constant functions? On the RHS we have $int_0^1 e^{x+s} varphi(s)ds = e^x int_0^1 e^svarphi(s) ds$ which is $e^x$ times a constant, so $varphi(x)$ must also be $e^x$ times a constant, and not constant, or what is wrong with my reasoning?
– StefanH
Jul 26 '14 at 23:56
Nothing wrong, I mean "constant times $e^x$".
– Jack D'Aurizio
Jul 27 '14 at 1:42
add a comment |
1
Wait, what is exactly the operator of which you are searching the eigenvectors? Is it $phi(x)mapstophi(x)-lambdaint_0^1e^{x+s}phi(s)dx$?
– Daniel Robert-Nicoud
Jul 26 '14 at 23:40
I bet it is $$phi(x)to int_{0}^{1}e^{x+s}phi(s),ds$$. In this case, the only eigenfunctions are the constant functions and they all belong to the $lambda=frac{2}{e^2-1}$ eigenspace.
– Jack D'Aurizio
Jul 26 '14 at 23:46
Yes Jack D'Aurizio wrote the right operator. But why the constant functions? On the RHS we have $int_0^1 e^{x+s} varphi(s)ds = e^x int_0^1 e^svarphi(s) ds$ which is $e^x$ times a constant, so $varphi(x)$ must also be $e^x$ times a constant, and not constant, or what is wrong with my reasoning?
– StefanH
Jul 26 '14 at 23:56
Nothing wrong, I mean "constant times $e^x$".
– Jack D'Aurizio
Jul 27 '14 at 1:42
1
1
Wait, what is exactly the operator of which you are searching the eigenvectors? Is it $phi(x)mapstophi(x)-lambdaint_0^1e^{x+s}phi(s)dx$?
– Daniel Robert-Nicoud
Jul 26 '14 at 23:40
Wait, what is exactly the operator of which you are searching the eigenvectors? Is it $phi(x)mapstophi(x)-lambdaint_0^1e^{x+s}phi(s)dx$?
– Daniel Robert-Nicoud
Jul 26 '14 at 23:40
I bet it is $$phi(x)to int_{0}^{1}e^{x+s}phi(s),ds$$. In this case, the only eigenfunctions are the constant functions and they all belong to the $lambda=frac{2}{e^2-1}$ eigenspace.
– Jack D'Aurizio
Jul 26 '14 at 23:46
I bet it is $$phi(x)to int_{0}^{1}e^{x+s}phi(s),ds$$. In this case, the only eigenfunctions are the constant functions and they all belong to the $lambda=frac{2}{e^2-1}$ eigenspace.
– Jack D'Aurizio
Jul 26 '14 at 23:46
Yes Jack D'Aurizio wrote the right operator. But why the constant functions? On the RHS we have $int_0^1 e^{x+s} varphi(s)ds = e^x int_0^1 e^svarphi(s) ds$ which is $e^x$ times a constant, so $varphi(x)$ must also be $e^x$ times a constant, and not constant, or what is wrong with my reasoning?
– StefanH
Jul 26 '14 at 23:56
Yes Jack D'Aurizio wrote the right operator. But why the constant functions? On the RHS we have $int_0^1 e^{x+s} varphi(s)ds = e^x int_0^1 e^svarphi(s) ds$ which is $e^x$ times a constant, so $varphi(x)$ must also be $e^x$ times a constant, and not constant, or what is wrong with my reasoning?
– StefanH
Jul 26 '14 at 23:56
Nothing wrong, I mean "constant times $e^x$".
– Jack D'Aurizio
Jul 27 '14 at 1:42
Nothing wrong, I mean "constant times $e^x$".
– Jack D'Aurizio
Jul 27 '14 at 1:42
add a comment |
1 Answer
1
active
oldest
votes
Suppose $int_{0}^{1}f(s)e^{s},ds=0$. Then your equation always has the solution $varphi = f$ which holds for all $lambda$. So this condition is sufficient. Actually, this condition is also necessary in order to have a solution for all real $lambda$, but I'll leave that to you to see. (Hint: choose $lambda = 1/int_{0}^{1}e^{2x},dx$, and show that $h(x)=varphi(x)-lambdaint_{0}^{1}varphi(s)e^{s+x},ds$ satisfies $int_{0}^{1}h(x)e^{x},dx=0$.)
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%2f879116%2feigenvalues-and-eigenfunctions-of-integral-equation%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
Suppose $int_{0}^{1}f(s)e^{s},ds=0$. Then your equation always has the solution $varphi = f$ which holds for all $lambda$. So this condition is sufficient. Actually, this condition is also necessary in order to have a solution for all real $lambda$, but I'll leave that to you to see. (Hint: choose $lambda = 1/int_{0}^{1}e^{2x},dx$, and show that $h(x)=varphi(x)-lambdaint_{0}^{1}varphi(s)e^{s+x},ds$ satisfies $int_{0}^{1}h(x)e^{x},dx=0$.)
add a comment |
Suppose $int_{0}^{1}f(s)e^{s},ds=0$. Then your equation always has the solution $varphi = f$ which holds for all $lambda$. So this condition is sufficient. Actually, this condition is also necessary in order to have a solution for all real $lambda$, but I'll leave that to you to see. (Hint: choose $lambda = 1/int_{0}^{1}e^{2x},dx$, and show that $h(x)=varphi(x)-lambdaint_{0}^{1}varphi(s)e^{s+x},ds$ satisfies $int_{0}^{1}h(x)e^{x},dx=0$.)
add a comment |
Suppose $int_{0}^{1}f(s)e^{s},ds=0$. Then your equation always has the solution $varphi = f$ which holds for all $lambda$. So this condition is sufficient. Actually, this condition is also necessary in order to have a solution for all real $lambda$, but I'll leave that to you to see. (Hint: choose $lambda = 1/int_{0}^{1}e^{2x},dx$, and show that $h(x)=varphi(x)-lambdaint_{0}^{1}varphi(s)e^{s+x},ds$ satisfies $int_{0}^{1}h(x)e^{x},dx=0$.)
Suppose $int_{0}^{1}f(s)e^{s},ds=0$. Then your equation always has the solution $varphi = f$ which holds for all $lambda$. So this condition is sufficient. Actually, this condition is also necessary in order to have a solution for all real $lambda$, but I'll leave that to you to see. (Hint: choose $lambda = 1/int_{0}^{1}e^{2x},dx$, and show that $h(x)=varphi(x)-lambdaint_{0}^{1}varphi(s)e^{s+x},ds$ satisfies $int_{0}^{1}h(x)e^{x},dx=0$.)
edited Jul 28 '14 at 1:50
answered Jul 27 '14 at 17:37
DisintegratingByParts
58.5k42579
58.5k42579
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.
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%2f879116%2feigenvalues-and-eigenfunctions-of-integral-equation%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
Wait, what is exactly the operator of which you are searching the eigenvectors? Is it $phi(x)mapstophi(x)-lambdaint_0^1e^{x+s}phi(s)dx$?
– Daniel Robert-Nicoud
Jul 26 '14 at 23:40
I bet it is $$phi(x)to int_{0}^{1}e^{x+s}phi(s),ds$$. In this case, the only eigenfunctions are the constant functions and they all belong to the $lambda=frac{2}{e^2-1}$ eigenspace.
– Jack D'Aurizio
Jul 26 '14 at 23:46
Yes Jack D'Aurizio wrote the right operator. But why the constant functions? On the RHS we have $int_0^1 e^{x+s} varphi(s)ds = e^x int_0^1 e^svarphi(s) ds$ which is $e^x$ times a constant, so $varphi(x)$ must also be $e^x$ times a constant, and not constant, or what is wrong with my reasoning?
– StefanH
Jul 26 '14 at 23:56
Nothing wrong, I mean "constant times $e^x$".
– Jack D'Aurizio
Jul 27 '14 at 1:42