Why a solution for $c^2 Delta u = u_{tt}$ must have eigenfunctions as its series terms expansion?
I'm reading this which explains how to arrive at a solution for $u$ as a series expansion involving $J_0, J_1,cdots$ which are Bessel Functions.
It concludes at page 5 saying that $u$ is the following:
and that the terms $J_0$ and $J_i$ for $i=1,cdots$ are eigenfunctions of the Laplacian Operator. But why?
It isn't clear to me why the process of separating variables and arriving at a soluton will give me an expansion in terms of eigenfunctions. Maybe it's a theorem? Are the eigenvalues the terms multiplying $J_0, J_1,cdots$?
UPDATE:
Can you explain it better why the equation is $u_{tt}-c^2nabla u = 0 $? If we were to find eigenvectors of the laplacian wouldn't I need to search for solutions of $cu-nabla u = 0 $?
real-analysis sequences-and-series pde bessel-functions wave-equation
add a comment |
I'm reading this which explains how to arrive at a solution for $u$ as a series expansion involving $J_0, J_1,cdots$ which are Bessel Functions.
It concludes at page 5 saying that $u$ is the following:
and that the terms $J_0$ and $J_i$ for $i=1,cdots$ are eigenfunctions of the Laplacian Operator. But why?
It isn't clear to me why the process of separating variables and arriving at a soluton will give me an expansion in terms of eigenfunctions. Maybe it's a theorem? Are the eigenvalues the terms multiplying $J_0, J_1,cdots$?
UPDATE:
Can you explain it better why the equation is $u_{tt}-c^2nabla u = 0 $? If we were to find eigenvectors of the laplacian wouldn't I need to search for solutions of $cu-nabla u = 0 $?
real-analysis sequences-and-series pde bessel-functions wave-equation
you can expand the initial condition into the eigenfunction expansion. You can make the above informed guess for one solution, and then differentiate to verify it is indeed a solution. Then you can use a uniqueness theorem(conservation of energy) to show that its the only solution in some class of solutions
– Calvin Khor
Nov 26 at 19:05
@CalvinKhor what do you mean by 'expand the initial condition into the eigenfunciton expansion'?
– Lucas Zanella
Nov 26 at 19:13
@CalvinKhor I don't know about eigenfunction expansions, I want to understand why the above gives an eigenfunction expansion
– Lucas Zanella
Nov 26 at 19:14
its written as a linear combination of eigenfunctions?
– Calvin Khor
Nov 26 at 19:42
The separation parameters become eigenvalues, and the separated solutions are eigenfunctions of the separated ODES.
– DisintegratingByParts
Nov 27 at 4:29
add a comment |
I'm reading this which explains how to arrive at a solution for $u$ as a series expansion involving $J_0, J_1,cdots$ which are Bessel Functions.
It concludes at page 5 saying that $u$ is the following:
and that the terms $J_0$ and $J_i$ for $i=1,cdots$ are eigenfunctions of the Laplacian Operator. But why?
It isn't clear to me why the process of separating variables and arriving at a soluton will give me an expansion in terms of eigenfunctions. Maybe it's a theorem? Are the eigenvalues the terms multiplying $J_0, J_1,cdots$?
UPDATE:
Can you explain it better why the equation is $u_{tt}-c^2nabla u = 0 $? If we were to find eigenvectors of the laplacian wouldn't I need to search for solutions of $cu-nabla u = 0 $?
real-analysis sequences-and-series pde bessel-functions wave-equation
I'm reading this which explains how to arrive at a solution for $u$ as a series expansion involving $J_0, J_1,cdots$ which are Bessel Functions.
It concludes at page 5 saying that $u$ is the following:
and that the terms $J_0$ and $J_i$ for $i=1,cdots$ are eigenfunctions of the Laplacian Operator. But why?
It isn't clear to me why the process of separating variables and arriving at a soluton will give me an expansion in terms of eigenfunctions. Maybe it's a theorem? Are the eigenvalues the terms multiplying $J_0, J_1,cdots$?
UPDATE:
Can you explain it better why the equation is $u_{tt}-c^2nabla u = 0 $? If we were to find eigenvectors of the laplacian wouldn't I need to search for solutions of $cu-nabla u = 0 $?
real-analysis sequences-and-series pde bessel-functions wave-equation
real-analysis sequences-and-series pde bessel-functions wave-equation
edited Nov 28 at 14:25
asked Nov 26 at 18:40
Lucas Zanella
93111330
93111330
you can expand the initial condition into the eigenfunction expansion. You can make the above informed guess for one solution, and then differentiate to verify it is indeed a solution. Then you can use a uniqueness theorem(conservation of energy) to show that its the only solution in some class of solutions
– Calvin Khor
Nov 26 at 19:05
@CalvinKhor what do you mean by 'expand the initial condition into the eigenfunciton expansion'?
– Lucas Zanella
Nov 26 at 19:13
@CalvinKhor I don't know about eigenfunction expansions, I want to understand why the above gives an eigenfunction expansion
– Lucas Zanella
Nov 26 at 19:14
its written as a linear combination of eigenfunctions?
– Calvin Khor
Nov 26 at 19:42
The separation parameters become eigenvalues, and the separated solutions are eigenfunctions of the separated ODES.
– DisintegratingByParts
Nov 27 at 4:29
add a comment |
you can expand the initial condition into the eigenfunction expansion. You can make the above informed guess for one solution, and then differentiate to verify it is indeed a solution. Then you can use a uniqueness theorem(conservation of energy) to show that its the only solution in some class of solutions
– Calvin Khor
Nov 26 at 19:05
@CalvinKhor what do you mean by 'expand the initial condition into the eigenfunciton expansion'?
– Lucas Zanella
Nov 26 at 19:13
@CalvinKhor I don't know about eigenfunction expansions, I want to understand why the above gives an eigenfunction expansion
– Lucas Zanella
Nov 26 at 19:14
its written as a linear combination of eigenfunctions?
– Calvin Khor
Nov 26 at 19:42
The separation parameters become eigenvalues, and the separated solutions are eigenfunctions of the separated ODES.
– DisintegratingByParts
Nov 27 at 4:29
you can expand the initial condition into the eigenfunction expansion. You can make the above informed guess for one solution, and then differentiate to verify it is indeed a solution. Then you can use a uniqueness theorem(conservation of energy) to show that its the only solution in some class of solutions
– Calvin Khor
Nov 26 at 19:05
you can expand the initial condition into the eigenfunction expansion. You can make the above informed guess for one solution, and then differentiate to verify it is indeed a solution. Then you can use a uniqueness theorem(conservation of energy) to show that its the only solution in some class of solutions
– Calvin Khor
Nov 26 at 19:05
@CalvinKhor what do you mean by 'expand the initial condition into the eigenfunciton expansion'?
– Lucas Zanella
Nov 26 at 19:13
@CalvinKhor what do you mean by 'expand the initial condition into the eigenfunciton expansion'?
– Lucas Zanella
Nov 26 at 19:13
@CalvinKhor I don't know about eigenfunction expansions, I want to understand why the above gives an eigenfunction expansion
– Lucas Zanella
Nov 26 at 19:14
@CalvinKhor I don't know about eigenfunction expansions, I want to understand why the above gives an eigenfunction expansion
– Lucas Zanella
Nov 26 at 19:14
its written as a linear combination of eigenfunctions?
– Calvin Khor
Nov 26 at 19:42
its written as a linear combination of eigenfunctions?
– Calvin Khor
Nov 26 at 19:42
The separation parameters become eigenvalues, and the separated solutions are eigenfunctions of the separated ODES.
– DisintegratingByParts
Nov 27 at 4:29
The separation parameters become eigenvalues, and the separated solutions are eigenfunctions of the separated ODES.
– DisintegratingByParts
Nov 27 at 4:29
add a comment |
1 Answer
1
active
oldest
votes
It arises from the Neumann spectral theorem which guarantees that Laplacian operator has basis of eigenfunctions and that basis is full and orthogonal. So every function in Hilbert space can be represented as a linear sum of eigenfunctions and that representation is unique. And since the time operator is linear too, all eigenfunctions evolve independently.
So the logic is the following.
- At each point $t$ the solution $tilde u$ can be uniquely represented as a sum of series of eigenfunctions $f_i(mathbf{r})$ with coefficients $a_i$.
- Thus, coefficients are some functions of $t$: $a_i = a_i(t)$ and the solution can be uniquely represented as a sum
$$
tilde u(mathbf r, t) = sum_i a_i(t)f_i(mathbf r)
$$
- Since both Laplacian and second time derivative are linear, then all terms $a_i(t)f_i(mathbf r)$ must satisfy original equation.
The eigenvalues are those $lambda_{n,m}$.
Can you explain it better why the equation is $u_{tt}-c^2nabla u = 0 $? If we were to find eigenvectors of the laplacian wouldn't I need to search for solutions of $cu-nabla u = 0 $?
– Lucas Zanella
Nov 28 at 14:24
Equation $u_{tt}=c^2Delta u$ is what we a trying to solve. To find eigenfucntions of Laplacian operator we indeed need to solve $Delta u - lambda u = 0$
– Vasily Mitch
Nov 28 at 14:57
But in the PDF he solves $u_{tt} = c^2 nabla u$ and says that the solution for that are the laplacian eigenvalues. Why exactly?
– Lucas Zanella
Nov 28 at 14:59
I explained it in the answer. What part of it is confusing?
– Vasily Mitch
Nov 28 at 15:04
I think the 3rd step is where you explained, right? If so, what I understood is that each term of the series must satisfy $u_{tt}-c^2nabla u=0$ which is not $nabla u - cu = 0$
– Lucas Zanella
Nov 28 at 15:12
|
show 1 more 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%2f3014742%2fwhy-a-solution-for-c2-delta-u-u-tt-must-have-eigenfunctions-as-its-serie%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
It arises from the Neumann spectral theorem which guarantees that Laplacian operator has basis of eigenfunctions and that basis is full and orthogonal. So every function in Hilbert space can be represented as a linear sum of eigenfunctions and that representation is unique. And since the time operator is linear too, all eigenfunctions evolve independently.
So the logic is the following.
- At each point $t$ the solution $tilde u$ can be uniquely represented as a sum of series of eigenfunctions $f_i(mathbf{r})$ with coefficients $a_i$.
- Thus, coefficients are some functions of $t$: $a_i = a_i(t)$ and the solution can be uniquely represented as a sum
$$
tilde u(mathbf r, t) = sum_i a_i(t)f_i(mathbf r)
$$
- Since both Laplacian and second time derivative are linear, then all terms $a_i(t)f_i(mathbf r)$ must satisfy original equation.
The eigenvalues are those $lambda_{n,m}$.
Can you explain it better why the equation is $u_{tt}-c^2nabla u = 0 $? If we were to find eigenvectors of the laplacian wouldn't I need to search for solutions of $cu-nabla u = 0 $?
– Lucas Zanella
Nov 28 at 14:24
Equation $u_{tt}=c^2Delta u$ is what we a trying to solve. To find eigenfucntions of Laplacian operator we indeed need to solve $Delta u - lambda u = 0$
– Vasily Mitch
Nov 28 at 14:57
But in the PDF he solves $u_{tt} = c^2 nabla u$ and says that the solution for that are the laplacian eigenvalues. Why exactly?
– Lucas Zanella
Nov 28 at 14:59
I explained it in the answer. What part of it is confusing?
– Vasily Mitch
Nov 28 at 15:04
I think the 3rd step is where you explained, right? If so, what I understood is that each term of the series must satisfy $u_{tt}-c^2nabla u=0$ which is not $nabla u - cu = 0$
– Lucas Zanella
Nov 28 at 15:12
|
show 1 more comment
It arises from the Neumann spectral theorem which guarantees that Laplacian operator has basis of eigenfunctions and that basis is full and orthogonal. So every function in Hilbert space can be represented as a linear sum of eigenfunctions and that representation is unique. And since the time operator is linear too, all eigenfunctions evolve independently.
So the logic is the following.
- At each point $t$ the solution $tilde u$ can be uniquely represented as a sum of series of eigenfunctions $f_i(mathbf{r})$ with coefficients $a_i$.
- Thus, coefficients are some functions of $t$: $a_i = a_i(t)$ and the solution can be uniquely represented as a sum
$$
tilde u(mathbf r, t) = sum_i a_i(t)f_i(mathbf r)
$$
- Since both Laplacian and second time derivative are linear, then all terms $a_i(t)f_i(mathbf r)$ must satisfy original equation.
The eigenvalues are those $lambda_{n,m}$.
Can you explain it better why the equation is $u_{tt}-c^2nabla u = 0 $? If we were to find eigenvectors of the laplacian wouldn't I need to search for solutions of $cu-nabla u = 0 $?
– Lucas Zanella
Nov 28 at 14:24
Equation $u_{tt}=c^2Delta u$ is what we a trying to solve. To find eigenfucntions of Laplacian operator we indeed need to solve $Delta u - lambda u = 0$
– Vasily Mitch
Nov 28 at 14:57
But in the PDF he solves $u_{tt} = c^2 nabla u$ and says that the solution for that are the laplacian eigenvalues. Why exactly?
– Lucas Zanella
Nov 28 at 14:59
I explained it in the answer. What part of it is confusing?
– Vasily Mitch
Nov 28 at 15:04
I think the 3rd step is where you explained, right? If so, what I understood is that each term of the series must satisfy $u_{tt}-c^2nabla u=0$ which is not $nabla u - cu = 0$
– Lucas Zanella
Nov 28 at 15:12
|
show 1 more comment
It arises from the Neumann spectral theorem which guarantees that Laplacian operator has basis of eigenfunctions and that basis is full and orthogonal. So every function in Hilbert space can be represented as a linear sum of eigenfunctions and that representation is unique. And since the time operator is linear too, all eigenfunctions evolve independently.
So the logic is the following.
- At each point $t$ the solution $tilde u$ can be uniquely represented as a sum of series of eigenfunctions $f_i(mathbf{r})$ with coefficients $a_i$.
- Thus, coefficients are some functions of $t$: $a_i = a_i(t)$ and the solution can be uniquely represented as a sum
$$
tilde u(mathbf r, t) = sum_i a_i(t)f_i(mathbf r)
$$
- Since both Laplacian and second time derivative are linear, then all terms $a_i(t)f_i(mathbf r)$ must satisfy original equation.
The eigenvalues are those $lambda_{n,m}$.
It arises from the Neumann spectral theorem which guarantees that Laplacian operator has basis of eigenfunctions and that basis is full and orthogonal. So every function in Hilbert space can be represented as a linear sum of eigenfunctions and that representation is unique. And since the time operator is linear too, all eigenfunctions evolve independently.
So the logic is the following.
- At each point $t$ the solution $tilde u$ can be uniquely represented as a sum of series of eigenfunctions $f_i(mathbf{r})$ with coefficients $a_i$.
- Thus, coefficients are some functions of $t$: $a_i = a_i(t)$ and the solution can be uniquely represented as a sum
$$
tilde u(mathbf r, t) = sum_i a_i(t)f_i(mathbf r)
$$
- Since both Laplacian and second time derivative are linear, then all terms $a_i(t)f_i(mathbf r)$ must satisfy original equation.
The eigenvalues are those $lambda_{n,m}$.
edited Nov 27 at 11:32
answered Nov 26 at 19:43
Vasily Mitch
1,32837
1,32837
Can you explain it better why the equation is $u_{tt}-c^2nabla u = 0 $? If we were to find eigenvectors of the laplacian wouldn't I need to search for solutions of $cu-nabla u = 0 $?
– Lucas Zanella
Nov 28 at 14:24
Equation $u_{tt}=c^2Delta u$ is what we a trying to solve. To find eigenfucntions of Laplacian operator we indeed need to solve $Delta u - lambda u = 0$
– Vasily Mitch
Nov 28 at 14:57
But in the PDF he solves $u_{tt} = c^2 nabla u$ and says that the solution for that are the laplacian eigenvalues. Why exactly?
– Lucas Zanella
Nov 28 at 14:59
I explained it in the answer. What part of it is confusing?
– Vasily Mitch
Nov 28 at 15:04
I think the 3rd step is where you explained, right? If so, what I understood is that each term of the series must satisfy $u_{tt}-c^2nabla u=0$ which is not $nabla u - cu = 0$
– Lucas Zanella
Nov 28 at 15:12
|
show 1 more comment
Can you explain it better why the equation is $u_{tt}-c^2nabla u = 0 $? If we were to find eigenvectors of the laplacian wouldn't I need to search for solutions of $cu-nabla u = 0 $?
– Lucas Zanella
Nov 28 at 14:24
Equation $u_{tt}=c^2Delta u$ is what we a trying to solve. To find eigenfucntions of Laplacian operator we indeed need to solve $Delta u - lambda u = 0$
– Vasily Mitch
Nov 28 at 14:57
But in the PDF he solves $u_{tt} = c^2 nabla u$ and says that the solution for that are the laplacian eigenvalues. Why exactly?
– Lucas Zanella
Nov 28 at 14:59
I explained it in the answer. What part of it is confusing?
– Vasily Mitch
Nov 28 at 15:04
I think the 3rd step is where you explained, right? If so, what I understood is that each term of the series must satisfy $u_{tt}-c^2nabla u=0$ which is not $nabla u - cu = 0$
– Lucas Zanella
Nov 28 at 15:12
Can you explain it better why the equation is $u_{tt}-c^2nabla u = 0 $? If we were to find eigenvectors of the laplacian wouldn't I need to search for solutions of $cu-nabla u = 0 $?
– Lucas Zanella
Nov 28 at 14:24
Can you explain it better why the equation is $u_{tt}-c^2nabla u = 0 $? If we were to find eigenvectors of the laplacian wouldn't I need to search for solutions of $cu-nabla u = 0 $?
– Lucas Zanella
Nov 28 at 14:24
Equation $u_{tt}=c^2Delta u$ is what we a trying to solve. To find eigenfucntions of Laplacian operator we indeed need to solve $Delta u - lambda u = 0$
– Vasily Mitch
Nov 28 at 14:57
Equation $u_{tt}=c^2Delta u$ is what we a trying to solve. To find eigenfucntions of Laplacian operator we indeed need to solve $Delta u - lambda u = 0$
– Vasily Mitch
Nov 28 at 14:57
But in the PDF he solves $u_{tt} = c^2 nabla u$ and says that the solution for that are the laplacian eigenvalues. Why exactly?
– Lucas Zanella
Nov 28 at 14:59
But in the PDF he solves $u_{tt} = c^2 nabla u$ and says that the solution for that are the laplacian eigenvalues. Why exactly?
– Lucas Zanella
Nov 28 at 14:59
I explained it in the answer. What part of it is confusing?
– Vasily Mitch
Nov 28 at 15:04
I explained it in the answer. What part of it is confusing?
– Vasily Mitch
Nov 28 at 15:04
I think the 3rd step is where you explained, right? If so, what I understood is that each term of the series must satisfy $u_{tt}-c^2nabla u=0$ which is not $nabla u - cu = 0$
– Lucas Zanella
Nov 28 at 15:12
I think the 3rd step is where you explained, right? If so, what I understood is that each term of the series must satisfy $u_{tt}-c^2nabla u=0$ which is not $nabla u - cu = 0$
– Lucas Zanella
Nov 28 at 15:12
|
show 1 more 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%2f3014742%2fwhy-a-solution-for-c2-delta-u-u-tt-must-have-eigenfunctions-as-its-serie%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
you can expand the initial condition into the eigenfunction expansion. You can make the above informed guess for one solution, and then differentiate to verify it is indeed a solution. Then you can use a uniqueness theorem(conservation of energy) to show that its the only solution in some class of solutions
– Calvin Khor
Nov 26 at 19:05
@CalvinKhor what do you mean by 'expand the initial condition into the eigenfunciton expansion'?
– Lucas Zanella
Nov 26 at 19:13
@CalvinKhor I don't know about eigenfunction expansions, I want to understand why the above gives an eigenfunction expansion
– Lucas Zanella
Nov 26 at 19:14
its written as a linear combination of eigenfunctions?
– Calvin Khor
Nov 26 at 19:42
The separation parameters become eigenvalues, and the separated solutions are eigenfunctions of the separated ODES.
– DisintegratingByParts
Nov 27 at 4:29