Why a solution for $c^2 Delta u = u_{tt}$ must have eigenfunctions as its series terms expansion?












0














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:



enter image description here



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 $?










share|cite|improve this question
























  • 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


















0














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:



enter image description here



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 $?










share|cite|improve this question
























  • 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
















0












0








0


1





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:



enter image description here



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 $?










share|cite|improve this question















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:



enter image description here



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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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




















  • 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












1 Answer
1






active

oldest

votes


















3














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.




  1. 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$.

  2. 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)
    $$


  3. 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}$.






share|cite|improve this answer























  • 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











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
});


}
});














draft saved

draft discarded


















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









3














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.




  1. 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$.

  2. 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)
    $$


  3. 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}$.






share|cite|improve this answer























  • 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
















3














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.




  1. 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$.

  2. 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)
    $$


  3. 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}$.






share|cite|improve this answer























  • 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














3












3








3






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.




  1. 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$.

  2. 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)
    $$


  3. 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}$.






share|cite|improve this answer














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.




  1. 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$.

  2. 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)
    $$


  3. 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}$.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








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


















  • 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


















draft saved

draft discarded




















































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.




draft saved


draft discarded














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





















































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







Popular posts from this blog

Bundesstraße 106

Verónica Boquete

Ida-Boy-Ed-Garten