Orthonormal basis for L2 (0,1) by using Laplacian's eigenfunctions.
$begingroup$
A standard orthonormal basis for L2 (0,1) is given by the Fourier expansion, as described here, for example (Orthonormal Basis of $L^2$). On the other hand, it seems a standard result that the Laplacians eigenfunctions form an orthonormal basis, too.
Since I needed that basis for speeding-up a numerical simulation, I computed them directly: $phi_j (x) = sqrt{2} sin( j pi x )$ for positive natural $j$, eigenvalues $-(pi j)^2$.
On the other hand, the standard basis previously linked works very well in my script, while $phi$ causes some troubles. So, before digging into many lines of code, let's start from a simple point. I am honestly not to sure that $phi$ truly consituted a basis, maybe I just misunderstood this informal claim I remember from some past course. So I ask:
Does the family $phi$ constitutes a basis for L2(0,1)?
real-analysis numerical-methods approximation-theory laplacian
$endgroup$
add a comment |
$begingroup$
A standard orthonormal basis for L2 (0,1) is given by the Fourier expansion, as described here, for example (Orthonormal Basis of $L^2$). On the other hand, it seems a standard result that the Laplacians eigenfunctions form an orthonormal basis, too.
Since I needed that basis for speeding-up a numerical simulation, I computed them directly: $phi_j (x) = sqrt{2} sin( j pi x )$ for positive natural $j$, eigenvalues $-(pi j)^2$.
On the other hand, the standard basis previously linked works very well in my script, while $phi$ causes some troubles. So, before digging into many lines of code, let's start from a simple point. I am honestly not to sure that $phi$ truly consituted a basis, maybe I just misunderstood this informal claim I remember from some past course. So I ask:
Does the family $phi$ constitutes a basis for L2(0,1)?
real-analysis numerical-methods approximation-theory laplacian
$endgroup$
add a comment |
$begingroup$
A standard orthonormal basis for L2 (0,1) is given by the Fourier expansion, as described here, for example (Orthonormal Basis of $L^2$). On the other hand, it seems a standard result that the Laplacians eigenfunctions form an orthonormal basis, too.
Since I needed that basis for speeding-up a numerical simulation, I computed them directly: $phi_j (x) = sqrt{2} sin( j pi x )$ for positive natural $j$, eigenvalues $-(pi j)^2$.
On the other hand, the standard basis previously linked works very well in my script, while $phi$ causes some troubles. So, before digging into many lines of code, let's start from a simple point. I am honestly not to sure that $phi$ truly consituted a basis, maybe I just misunderstood this informal claim I remember from some past course. So I ask:
Does the family $phi$ constitutes a basis for L2(0,1)?
real-analysis numerical-methods approximation-theory laplacian
$endgroup$
A standard orthonormal basis for L2 (0,1) is given by the Fourier expansion, as described here, for example (Orthonormal Basis of $L^2$). On the other hand, it seems a standard result that the Laplacians eigenfunctions form an orthonormal basis, too.
Since I needed that basis for speeding-up a numerical simulation, I computed them directly: $phi_j (x) = sqrt{2} sin( j pi x )$ for positive natural $j$, eigenvalues $-(pi j)^2$.
On the other hand, the standard basis previously linked works very well in my script, while $phi$ causes some troubles. So, before digging into many lines of code, let's start from a simple point. I am honestly not to sure that $phi$ truly consituted a basis, maybe I just misunderstood this informal claim I remember from some past course. So I ask:
Does the family $phi$ constitutes a basis for L2(0,1)?
real-analysis numerical-methods approximation-theory laplacian
real-analysis numerical-methods approximation-theory laplacian
asked Dec 4 '18 at 15:36
user233650user233650
48128
48128
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Assuming you are restricting yourself to functions which vanish at the endpoints: Yes. Indeed, in this case, the Laplacian eigenfunctions coincide with the fourier basis (the cosines are excluded because they do not satisfy the boundary conditions). But the same fact holds in general.
$endgroup$
$begingroup$
Excellent answer, thank you so much. I forgot these boundary conditions. To drop them I can use the full Fourier basis, which actually is the Laplacian eigenfunction expansion. In other words, the two basis I am comparing, standard Fourier and Laplacian, are the same. Did I understand correctly?
$endgroup$
– user233650
Dec 4 '18 at 16:44
1
$begingroup$
@ user233650: Yes
$endgroup$
– Mike Hawk
Dec 4 '18 at 17:29
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%2f3025714%2forthonormal-basis-for-l2-0-1-by-using-laplacians-eigenfunctions%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$
Assuming you are restricting yourself to functions which vanish at the endpoints: Yes. Indeed, in this case, the Laplacian eigenfunctions coincide with the fourier basis (the cosines are excluded because they do not satisfy the boundary conditions). But the same fact holds in general.
$endgroup$
$begingroup$
Excellent answer, thank you so much. I forgot these boundary conditions. To drop them I can use the full Fourier basis, which actually is the Laplacian eigenfunction expansion. In other words, the two basis I am comparing, standard Fourier and Laplacian, are the same. Did I understand correctly?
$endgroup$
– user233650
Dec 4 '18 at 16:44
1
$begingroup$
@ user233650: Yes
$endgroup$
– Mike Hawk
Dec 4 '18 at 17:29
add a comment |
$begingroup$
Assuming you are restricting yourself to functions which vanish at the endpoints: Yes. Indeed, in this case, the Laplacian eigenfunctions coincide with the fourier basis (the cosines are excluded because they do not satisfy the boundary conditions). But the same fact holds in general.
$endgroup$
$begingroup$
Excellent answer, thank you so much. I forgot these boundary conditions. To drop them I can use the full Fourier basis, which actually is the Laplacian eigenfunction expansion. In other words, the two basis I am comparing, standard Fourier and Laplacian, are the same. Did I understand correctly?
$endgroup$
– user233650
Dec 4 '18 at 16:44
1
$begingroup$
@ user233650: Yes
$endgroup$
– Mike Hawk
Dec 4 '18 at 17:29
add a comment |
$begingroup$
Assuming you are restricting yourself to functions which vanish at the endpoints: Yes. Indeed, in this case, the Laplacian eigenfunctions coincide with the fourier basis (the cosines are excluded because they do not satisfy the boundary conditions). But the same fact holds in general.
$endgroup$
Assuming you are restricting yourself to functions which vanish at the endpoints: Yes. Indeed, in this case, the Laplacian eigenfunctions coincide with the fourier basis (the cosines are excluded because they do not satisfy the boundary conditions). But the same fact holds in general.
answered Dec 4 '18 at 16:03
Mike HawkMike Hawk
1,500110
1,500110
$begingroup$
Excellent answer, thank you so much. I forgot these boundary conditions. To drop them I can use the full Fourier basis, which actually is the Laplacian eigenfunction expansion. In other words, the two basis I am comparing, standard Fourier and Laplacian, are the same. Did I understand correctly?
$endgroup$
– user233650
Dec 4 '18 at 16:44
1
$begingroup$
@ user233650: Yes
$endgroup$
– Mike Hawk
Dec 4 '18 at 17:29
add a comment |
$begingroup$
Excellent answer, thank you so much. I forgot these boundary conditions. To drop them I can use the full Fourier basis, which actually is the Laplacian eigenfunction expansion. In other words, the two basis I am comparing, standard Fourier and Laplacian, are the same. Did I understand correctly?
$endgroup$
– user233650
Dec 4 '18 at 16:44
1
$begingroup$
@ user233650: Yes
$endgroup$
– Mike Hawk
Dec 4 '18 at 17:29
$begingroup$
Excellent answer, thank you so much. I forgot these boundary conditions. To drop them I can use the full Fourier basis, which actually is the Laplacian eigenfunction expansion. In other words, the two basis I am comparing, standard Fourier and Laplacian, are the same. Did I understand correctly?
$endgroup$
– user233650
Dec 4 '18 at 16:44
$begingroup$
Excellent answer, thank you so much. I forgot these boundary conditions. To drop them I can use the full Fourier basis, which actually is the Laplacian eigenfunction expansion. In other words, the two basis I am comparing, standard Fourier and Laplacian, are the same. Did I understand correctly?
$endgroup$
– user233650
Dec 4 '18 at 16:44
1
1
$begingroup$
@ user233650: Yes
$endgroup$
– Mike Hawk
Dec 4 '18 at 17:29
$begingroup$
@ user233650: Yes
$endgroup$
– Mike Hawk
Dec 4 '18 at 17:29
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%2f3025714%2forthonormal-basis-for-l2-0-1-by-using-laplacians-eigenfunctions%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