Is $u(x,t)=e^{-9t}sin(3x)-e^{-t}sin(x)$ has separable variable?
$begingroup$
I had to solve the equation $u_t(t,x)=u_{xx}(t,x)$ with $xin (0,pi), t>0$ s.t. $u(t,0)=u(t,pi)=0$ for $t>0$ and $u(0,x)=sin(3x)-sin(x)$ for $xin (0,pi)$. So I tried to find solutions with separable variable, i.e. of the form $$u(x,t)=h(x)f(t).$$
Then I have to solve the equation $h''(x)=alpha h(x)$ with $h(0)=h(pi)=0$. I found $h_n(x)=sin(nx)$ for all $n$. Then, I solved $f'(t)=-n^2f(t)$ what $f_n(t)=alpha _ne^{-n^2t}$. At the end, $$u_n(t,x)=alpha _n f_n(t)h_n(x)$$ solve $u_{t}=u_{xx}$ with $u_n(t,0)=u_n(t,pi)=0$. To use the last condition, I proved that $u(t,x)=sum_{k=0}^infty u_n(t,x)$ solve the system and is s.t. $u(t,0)=u(t,pi)=0$. Then I found the $alpha _n$ to get $u(0,x)=sin(3x)-sin(x)$, and I derived $alpha _1=-1$, $alpha _3=1$ and $alpha _n=0$ for all $nneq 1,3$. So finally, $$u(t,x)=e^{-9t}sin(3x)-e^{-t}sin(x).$$
Question : But is it with separable variable ? What are $h$ and $f$ s.t. $u(t,x)=h(x)f(t)$ ? More generaly, does $f_1(t)g_1(x)+f_2(t)g_2(x)$ can be written as $f(t)g(x)$ ?
real-analysis pde
$endgroup$
|
show 2 more comments
$begingroup$
I had to solve the equation $u_t(t,x)=u_{xx}(t,x)$ with $xin (0,pi), t>0$ s.t. $u(t,0)=u(t,pi)=0$ for $t>0$ and $u(0,x)=sin(3x)-sin(x)$ for $xin (0,pi)$. So I tried to find solutions with separable variable, i.e. of the form $$u(x,t)=h(x)f(t).$$
Then I have to solve the equation $h''(x)=alpha h(x)$ with $h(0)=h(pi)=0$. I found $h_n(x)=sin(nx)$ for all $n$. Then, I solved $f'(t)=-n^2f(t)$ what $f_n(t)=alpha _ne^{-n^2t}$. At the end, $$u_n(t,x)=alpha _n f_n(t)h_n(x)$$ solve $u_{t}=u_{xx}$ with $u_n(t,0)=u_n(t,pi)=0$. To use the last condition, I proved that $u(t,x)=sum_{k=0}^infty u_n(t,x)$ solve the system and is s.t. $u(t,0)=u(t,pi)=0$. Then I found the $alpha _n$ to get $u(0,x)=sin(3x)-sin(x)$, and I derived $alpha _1=-1$, $alpha _3=1$ and $alpha _n=0$ for all $nneq 1,3$. So finally, $$u(t,x)=e^{-9t}sin(3x)-e^{-t}sin(x).$$
Question : But is it with separable variable ? What are $h$ and $f$ s.t. $u(t,x)=h(x)f(t)$ ? More generaly, does $f_1(t)g_1(x)+f_2(t)g_2(x)$ can be written as $f(t)g(x)$ ?
real-analysis pde
$endgroup$
$begingroup$
The point is that you need to find $N$ solutions $u_n$, $n=1,2,cdots N$, each of which has the form $u_n=h_n(x) f_n(t)$.
$endgroup$
– rafa11111
Dec 7 '18 at 13:23
$begingroup$
I have the solution, it's not the problem. I was looking for separable variable solution, and the solution I found doesn't look with separable variable... but is it ? @rafa11111
$endgroup$
– user623855
Dec 7 '18 at 13:33
1
$begingroup$
The final solution is not separable, but it's not the final solution that needs to be separable, only each of its "bits" (those bits are called eigenfunctions). The eigenfunctions are "special" because they alone solve the PDE with boundary conditions (but not the initial condition). Since the PDE is linear you can sum all eigenfunctions and find the coefficients to satisfy the initial conditions (as you did). When you separate the variables, you are not looking for the final solution already, but only for the eigenfunctions.
$endgroup$
– rafa11111
Dec 7 '18 at 13:40
$begingroup$
@rafa11111: I would be surprise that $u_n(t,x)$ solve the PDE... for example, $u_0(t,x)=0$ and thus $u_0(0,x)neq sin(3x)-sin(x)$. Also $u_1(t,x)=-e^{-t}sin(x)$ and thus $u(0,x)neq sin(3x)-sin(x)$...
$endgroup$
– user623855
Dec 7 '18 at 13:43
1
$begingroup$
As I said, the eigenfunctions satisfy individually the PDE with boundary conditions, but they do not satisfy the initial conditions. See that each eigenfunction satisfy $u(t,0)=u(t,pi)=0$. From the boundary conditions, you will find that this family of eigenfunctions satisfy the PDE with B.C.'s: $$u_n(t,x)=A_n e^{-n^2 t} sin (nx)$$ From the principle of superposition (the PDE is linear), the final solution must be $$u(t,x)=sum_{n=0}^infty A_n e^{-n^2 t} sin (nx),$$ and you did find $A_1 = -1$, $A_3 = 1$ and $A_n=0$ for the remaining terms.
$endgroup$
– rafa11111
Dec 7 '18 at 13:46
|
show 2 more comments
$begingroup$
I had to solve the equation $u_t(t,x)=u_{xx}(t,x)$ with $xin (0,pi), t>0$ s.t. $u(t,0)=u(t,pi)=0$ for $t>0$ and $u(0,x)=sin(3x)-sin(x)$ for $xin (0,pi)$. So I tried to find solutions with separable variable, i.e. of the form $$u(x,t)=h(x)f(t).$$
Then I have to solve the equation $h''(x)=alpha h(x)$ with $h(0)=h(pi)=0$. I found $h_n(x)=sin(nx)$ for all $n$. Then, I solved $f'(t)=-n^2f(t)$ what $f_n(t)=alpha _ne^{-n^2t}$. At the end, $$u_n(t,x)=alpha _n f_n(t)h_n(x)$$ solve $u_{t}=u_{xx}$ with $u_n(t,0)=u_n(t,pi)=0$. To use the last condition, I proved that $u(t,x)=sum_{k=0}^infty u_n(t,x)$ solve the system and is s.t. $u(t,0)=u(t,pi)=0$. Then I found the $alpha _n$ to get $u(0,x)=sin(3x)-sin(x)$, and I derived $alpha _1=-1$, $alpha _3=1$ and $alpha _n=0$ for all $nneq 1,3$. So finally, $$u(t,x)=e^{-9t}sin(3x)-e^{-t}sin(x).$$
Question : But is it with separable variable ? What are $h$ and $f$ s.t. $u(t,x)=h(x)f(t)$ ? More generaly, does $f_1(t)g_1(x)+f_2(t)g_2(x)$ can be written as $f(t)g(x)$ ?
real-analysis pde
$endgroup$
I had to solve the equation $u_t(t,x)=u_{xx}(t,x)$ with $xin (0,pi), t>0$ s.t. $u(t,0)=u(t,pi)=0$ for $t>0$ and $u(0,x)=sin(3x)-sin(x)$ for $xin (0,pi)$. So I tried to find solutions with separable variable, i.e. of the form $$u(x,t)=h(x)f(t).$$
Then I have to solve the equation $h''(x)=alpha h(x)$ with $h(0)=h(pi)=0$. I found $h_n(x)=sin(nx)$ for all $n$. Then, I solved $f'(t)=-n^2f(t)$ what $f_n(t)=alpha _ne^{-n^2t}$. At the end, $$u_n(t,x)=alpha _n f_n(t)h_n(x)$$ solve $u_{t}=u_{xx}$ with $u_n(t,0)=u_n(t,pi)=0$. To use the last condition, I proved that $u(t,x)=sum_{k=0}^infty u_n(t,x)$ solve the system and is s.t. $u(t,0)=u(t,pi)=0$. Then I found the $alpha _n$ to get $u(0,x)=sin(3x)-sin(x)$, and I derived $alpha _1=-1$, $alpha _3=1$ and $alpha _n=0$ for all $nneq 1,3$. So finally, $$u(t,x)=e^{-9t}sin(3x)-e^{-t}sin(x).$$
Question : But is it with separable variable ? What are $h$ and $f$ s.t. $u(t,x)=h(x)f(t)$ ? More generaly, does $f_1(t)g_1(x)+f_2(t)g_2(x)$ can be written as $f(t)g(x)$ ?
real-analysis pde
real-analysis pde
asked Dec 7 '18 at 13:14
user623855user623855
1507
1507
$begingroup$
The point is that you need to find $N$ solutions $u_n$, $n=1,2,cdots N$, each of which has the form $u_n=h_n(x) f_n(t)$.
$endgroup$
– rafa11111
Dec 7 '18 at 13:23
$begingroup$
I have the solution, it's not the problem. I was looking for separable variable solution, and the solution I found doesn't look with separable variable... but is it ? @rafa11111
$endgroup$
– user623855
Dec 7 '18 at 13:33
1
$begingroup$
The final solution is not separable, but it's not the final solution that needs to be separable, only each of its "bits" (those bits are called eigenfunctions). The eigenfunctions are "special" because they alone solve the PDE with boundary conditions (but not the initial condition). Since the PDE is linear you can sum all eigenfunctions and find the coefficients to satisfy the initial conditions (as you did). When you separate the variables, you are not looking for the final solution already, but only for the eigenfunctions.
$endgroup$
– rafa11111
Dec 7 '18 at 13:40
$begingroup$
@rafa11111: I would be surprise that $u_n(t,x)$ solve the PDE... for example, $u_0(t,x)=0$ and thus $u_0(0,x)neq sin(3x)-sin(x)$. Also $u_1(t,x)=-e^{-t}sin(x)$ and thus $u(0,x)neq sin(3x)-sin(x)$...
$endgroup$
– user623855
Dec 7 '18 at 13:43
1
$begingroup$
As I said, the eigenfunctions satisfy individually the PDE with boundary conditions, but they do not satisfy the initial conditions. See that each eigenfunction satisfy $u(t,0)=u(t,pi)=0$. From the boundary conditions, you will find that this family of eigenfunctions satisfy the PDE with B.C.'s: $$u_n(t,x)=A_n e^{-n^2 t} sin (nx)$$ From the principle of superposition (the PDE is linear), the final solution must be $$u(t,x)=sum_{n=0}^infty A_n e^{-n^2 t} sin (nx),$$ and you did find $A_1 = -1$, $A_3 = 1$ and $A_n=0$ for the remaining terms.
$endgroup$
– rafa11111
Dec 7 '18 at 13:46
|
show 2 more comments
$begingroup$
The point is that you need to find $N$ solutions $u_n$, $n=1,2,cdots N$, each of which has the form $u_n=h_n(x) f_n(t)$.
$endgroup$
– rafa11111
Dec 7 '18 at 13:23
$begingroup$
I have the solution, it's not the problem. I was looking for separable variable solution, and the solution I found doesn't look with separable variable... but is it ? @rafa11111
$endgroup$
– user623855
Dec 7 '18 at 13:33
1
$begingroup$
The final solution is not separable, but it's not the final solution that needs to be separable, only each of its "bits" (those bits are called eigenfunctions). The eigenfunctions are "special" because they alone solve the PDE with boundary conditions (but not the initial condition). Since the PDE is linear you can sum all eigenfunctions and find the coefficients to satisfy the initial conditions (as you did). When you separate the variables, you are not looking for the final solution already, but only for the eigenfunctions.
$endgroup$
– rafa11111
Dec 7 '18 at 13:40
$begingroup$
@rafa11111: I would be surprise that $u_n(t,x)$ solve the PDE... for example, $u_0(t,x)=0$ and thus $u_0(0,x)neq sin(3x)-sin(x)$. Also $u_1(t,x)=-e^{-t}sin(x)$ and thus $u(0,x)neq sin(3x)-sin(x)$...
$endgroup$
– user623855
Dec 7 '18 at 13:43
1
$begingroup$
As I said, the eigenfunctions satisfy individually the PDE with boundary conditions, but they do not satisfy the initial conditions. See that each eigenfunction satisfy $u(t,0)=u(t,pi)=0$. From the boundary conditions, you will find that this family of eigenfunctions satisfy the PDE with B.C.'s: $$u_n(t,x)=A_n e^{-n^2 t} sin (nx)$$ From the principle of superposition (the PDE is linear), the final solution must be $$u(t,x)=sum_{n=0}^infty A_n e^{-n^2 t} sin (nx),$$ and you did find $A_1 = -1$, $A_3 = 1$ and $A_n=0$ for the remaining terms.
$endgroup$
– rafa11111
Dec 7 '18 at 13:46
$begingroup$
The point is that you need to find $N$ solutions $u_n$, $n=1,2,cdots N$, each of which has the form $u_n=h_n(x) f_n(t)$.
$endgroup$
– rafa11111
Dec 7 '18 at 13:23
$begingroup$
The point is that you need to find $N$ solutions $u_n$, $n=1,2,cdots N$, each of which has the form $u_n=h_n(x) f_n(t)$.
$endgroup$
– rafa11111
Dec 7 '18 at 13:23
$begingroup$
I have the solution, it's not the problem. I was looking for separable variable solution, and the solution I found doesn't look with separable variable... but is it ? @rafa11111
$endgroup$
– user623855
Dec 7 '18 at 13:33
$begingroup$
I have the solution, it's not the problem. I was looking for separable variable solution, and the solution I found doesn't look with separable variable... but is it ? @rafa11111
$endgroup$
– user623855
Dec 7 '18 at 13:33
1
1
$begingroup$
The final solution is not separable, but it's not the final solution that needs to be separable, only each of its "bits" (those bits are called eigenfunctions). The eigenfunctions are "special" because they alone solve the PDE with boundary conditions (but not the initial condition). Since the PDE is linear you can sum all eigenfunctions and find the coefficients to satisfy the initial conditions (as you did). When you separate the variables, you are not looking for the final solution already, but only for the eigenfunctions.
$endgroup$
– rafa11111
Dec 7 '18 at 13:40
$begingroup$
The final solution is not separable, but it's not the final solution that needs to be separable, only each of its "bits" (those bits are called eigenfunctions). The eigenfunctions are "special" because they alone solve the PDE with boundary conditions (but not the initial condition). Since the PDE is linear you can sum all eigenfunctions and find the coefficients to satisfy the initial conditions (as you did). When you separate the variables, you are not looking for the final solution already, but only for the eigenfunctions.
$endgroup$
– rafa11111
Dec 7 '18 at 13:40
$begingroup$
@rafa11111: I would be surprise that $u_n(t,x)$ solve the PDE... for example, $u_0(t,x)=0$ and thus $u_0(0,x)neq sin(3x)-sin(x)$. Also $u_1(t,x)=-e^{-t}sin(x)$ and thus $u(0,x)neq sin(3x)-sin(x)$...
$endgroup$
– user623855
Dec 7 '18 at 13:43
$begingroup$
@rafa11111: I would be surprise that $u_n(t,x)$ solve the PDE... for example, $u_0(t,x)=0$ and thus $u_0(0,x)neq sin(3x)-sin(x)$. Also $u_1(t,x)=-e^{-t}sin(x)$ and thus $u(0,x)neq sin(3x)-sin(x)$...
$endgroup$
– user623855
Dec 7 '18 at 13:43
1
1
$begingroup$
As I said, the eigenfunctions satisfy individually the PDE with boundary conditions, but they do not satisfy the initial conditions. See that each eigenfunction satisfy $u(t,0)=u(t,pi)=0$. From the boundary conditions, you will find that this family of eigenfunctions satisfy the PDE with B.C.'s: $$u_n(t,x)=A_n e^{-n^2 t} sin (nx)$$ From the principle of superposition (the PDE is linear), the final solution must be $$u(t,x)=sum_{n=0}^infty A_n e^{-n^2 t} sin (nx),$$ and you did find $A_1 = -1$, $A_3 = 1$ and $A_n=0$ for the remaining terms.
$endgroup$
– rafa11111
Dec 7 '18 at 13:46
$begingroup$
As I said, the eigenfunctions satisfy individually the PDE with boundary conditions, but they do not satisfy the initial conditions. See that each eigenfunction satisfy $u(t,0)=u(t,pi)=0$. From the boundary conditions, you will find that this family of eigenfunctions satisfy the PDE with B.C.'s: $$u_n(t,x)=A_n e^{-n^2 t} sin (nx)$$ From the principle of superposition (the PDE is linear), the final solution must be $$u(t,x)=sum_{n=0}^infty A_n e^{-n^2 t} sin (nx),$$ and you did find $A_1 = -1$, $A_3 = 1$ and $A_n=0$ for the remaining terms.
$endgroup$
– rafa11111
Dec 7 '18 at 13:46
|
show 2 more comments
1 Answer
1
active
oldest
votes
$begingroup$
If a sum of separated heat equation solutions of the form $T(t)X(x)$ were again such a solution, then the technique of separation of variables would not produce general solutions of heat equation. So don't worry about trying to find a final solution that is separated. Your final solution is correct because it satisfies the heat equation and the boundary conditions, and the solution is unique.
$endgroup$
$begingroup$
f a sum of separated heat equation solutions of the form T(t)X(x) were again such a solution, then the technique of separation of variables would not produce general solutions of heat equation. Could you tell me why ? I don't understand why.
$endgroup$
– user623855
Dec 8 '18 at 15:25
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%2f3029890%2fis-ux-t-e-9t-sin3x-e-t-sinx-has-separable-variable%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$
If a sum of separated heat equation solutions of the form $T(t)X(x)$ were again such a solution, then the technique of separation of variables would not produce general solutions of heat equation. So don't worry about trying to find a final solution that is separated. Your final solution is correct because it satisfies the heat equation and the boundary conditions, and the solution is unique.
$endgroup$
$begingroup$
f a sum of separated heat equation solutions of the form T(t)X(x) were again such a solution, then the technique of separation of variables would not produce general solutions of heat equation. Could you tell me why ? I don't understand why.
$endgroup$
– user623855
Dec 8 '18 at 15:25
add a comment |
$begingroup$
If a sum of separated heat equation solutions of the form $T(t)X(x)$ were again such a solution, then the technique of separation of variables would not produce general solutions of heat equation. So don't worry about trying to find a final solution that is separated. Your final solution is correct because it satisfies the heat equation and the boundary conditions, and the solution is unique.
$endgroup$
$begingroup$
f a sum of separated heat equation solutions of the form T(t)X(x) were again such a solution, then the technique of separation of variables would not produce general solutions of heat equation. Could you tell me why ? I don't understand why.
$endgroup$
– user623855
Dec 8 '18 at 15:25
add a comment |
$begingroup$
If a sum of separated heat equation solutions of the form $T(t)X(x)$ were again such a solution, then the technique of separation of variables would not produce general solutions of heat equation. So don't worry about trying to find a final solution that is separated. Your final solution is correct because it satisfies the heat equation and the boundary conditions, and the solution is unique.
$endgroup$
If a sum of separated heat equation solutions of the form $T(t)X(x)$ were again such a solution, then the technique of separation of variables would not produce general solutions of heat equation. So don't worry about trying to find a final solution that is separated. Your final solution is correct because it satisfies the heat equation and the boundary conditions, and the solution is unique.
answered Dec 7 '18 at 17:47
DisintegratingByPartsDisintegratingByParts
58.9k42580
58.9k42580
$begingroup$
f a sum of separated heat equation solutions of the form T(t)X(x) were again such a solution, then the technique of separation of variables would not produce general solutions of heat equation. Could you tell me why ? I don't understand why.
$endgroup$
– user623855
Dec 8 '18 at 15:25
add a comment |
$begingroup$
f a sum of separated heat equation solutions of the form T(t)X(x) were again such a solution, then the technique of separation of variables would not produce general solutions of heat equation. Could you tell me why ? I don't understand why.
$endgroup$
– user623855
Dec 8 '18 at 15:25
$begingroup$
f a sum of separated heat equation solutions of the form T(t)X(x) were again such a solution, then the technique of separation of variables would not produce general solutions of heat equation. Could you tell me why ? I don't understand why.
$endgroup$
– user623855
Dec 8 '18 at 15:25
$begingroup$
f a sum of separated heat equation solutions of the form T(t)X(x) were again such a solution, then the technique of separation of variables would not produce general solutions of heat equation. Could you tell me why ? I don't understand why.
$endgroup$
– user623855
Dec 8 '18 at 15:25
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%2f3029890%2fis-ux-t-e-9t-sin3x-e-t-sinx-has-separable-variable%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
$begingroup$
The point is that you need to find $N$ solutions $u_n$, $n=1,2,cdots N$, each of which has the form $u_n=h_n(x) f_n(t)$.
$endgroup$
– rafa11111
Dec 7 '18 at 13:23
$begingroup$
I have the solution, it's not the problem. I was looking for separable variable solution, and the solution I found doesn't look with separable variable... but is it ? @rafa11111
$endgroup$
– user623855
Dec 7 '18 at 13:33
1
$begingroup$
The final solution is not separable, but it's not the final solution that needs to be separable, only each of its "bits" (those bits are called eigenfunctions). The eigenfunctions are "special" because they alone solve the PDE with boundary conditions (but not the initial condition). Since the PDE is linear you can sum all eigenfunctions and find the coefficients to satisfy the initial conditions (as you did). When you separate the variables, you are not looking for the final solution already, but only for the eigenfunctions.
$endgroup$
– rafa11111
Dec 7 '18 at 13:40
$begingroup$
@rafa11111: I would be surprise that $u_n(t,x)$ solve the PDE... for example, $u_0(t,x)=0$ and thus $u_0(0,x)neq sin(3x)-sin(x)$. Also $u_1(t,x)=-e^{-t}sin(x)$ and thus $u(0,x)neq sin(3x)-sin(x)$...
$endgroup$
– user623855
Dec 7 '18 at 13:43
1
$begingroup$
As I said, the eigenfunctions satisfy individually the PDE with boundary conditions, but they do not satisfy the initial conditions. See that each eigenfunction satisfy $u(t,0)=u(t,pi)=0$. From the boundary conditions, you will find that this family of eigenfunctions satisfy the PDE with B.C.'s: $$u_n(t,x)=A_n e^{-n^2 t} sin (nx)$$ From the principle of superposition (the PDE is linear), the final solution must be $$u(t,x)=sum_{n=0}^infty A_n e^{-n^2 t} sin (nx),$$ and you did find $A_1 = -1$, $A_3 = 1$ and $A_n=0$ for the remaining terms.
$endgroup$
– rafa11111
Dec 7 '18 at 13:46