Solving the heat equation with robin boundary conditionsHeat equation with time dependent boundary...
How much character growth crosses the line into breaking the character
How should I respond when I lied about my education and the company finds out through background check?
Melting point of aspirin, contradicting sources
What if a revenant (monster) gains fire resistance?
Does an advisor owe his/her student anything? Will an advisor keep a PhD student only out of pity?
Travelling outside the UK without a passport
Non-trope happy ending?
Which one is correct as adjective “protruding” or “protruded”?
It grows, but water kills it
Why did the EU agree to delay the Brexit deadline?
250 Floor Tower
What does chmod -u do?
Intuition of generalized eigenvector.
GraphicsGrid with a Label for each Column and Row
copy and scale one figure (wheel)
What should you do when eye contact makes your subordinate uncomfortable?
Is it safe to use olive oil to clean the ear wax?
How do you make your own symbol when Detexify fails?
How do you respond to a colleague from another team when they're wrongly expecting that you'll help them?
Redundant comparison & "if" before assignment
Is it possible to have a strip of cold climate in the middle of a planet?
Count the occurrence of each unique word in the file
Not using 's' for he/she/it
What was this official D&D 3.5e Lovecraft-flavored rulebook?
Solving the heat equation with robin boundary conditions
Heat equation with time dependent boundary conditions?1D Heat equation $xin(0,L)$ with mixed boundary conditions $u_x(t, 0)=-1$, $u(t, L)=0$Heat equation with nonhomogeneous boundary conditionsHeat equation with mixed boundary conditionsSolving Laplace's equation in a sphere with mixed boundary conditions on the surface.Heat equation with unusual boundary conditionsSolving the heat equation with Dirichlet boundary conditionsSolving the wave equation with Neumann boundary conditionsSolution of heat equation.Problem with satisfying Boundary conditions for 1D heat PDE
$begingroup$
I have a coupled non-dimensional diffusion system in $v(z,tau)$, formulated by the following equations
begin{align}
frac{partial v}{partial tau} &= Deltafrac{partial^2 v}{partial z^2},
%
qquad &text{for} zin[0,1], tau>0 \
%%%
frac{partial v}{partial z} &= Ev,
%
qquad &text{for} z=0, tau>0,\
%%%
frac{partial v}{partial z} &= -D v,
%
qquad &text{for} z=1, tau>0
end{align}
where $Delta,E,D>0$
We next proceed with separation of variables, let
begin{align}
v = Z(z)T(tau)
end{align}
Substitution yields the following
begin{align}
frac{1}{Delta}frac{dot{T}}{T} &= frac{Z''}{Z} = -lambda^2
end{align}
Therefore we find
begin{align}
T &propto exp{left(-Deltalambda^2tauright)},\
Z &= a cos(lambda z) + bsin(lambda z),\
Z' &= lambda left( bcos(lambda z) -a sin(lambda z) right)
end{align}
WLOG we may set $a=1$, as we will later take a linear superposition of these solution functions. Therefore we have
begin{align}
Z &= cos(lambda z) + bsin(lambda z),\
Z' &= lambda left( bcos(lambda z) - sin(lambda z) right)
end{align}
Therefore via our boundary condition at $z=0$ we find
begin{align}
lambda b &= E
quadRightarrowquad
b = frac{E}{lambda}
end{align}
and via our second
begin{align}
lambda left( frac{E}{lambda}cos(lambda) - sin(lambda) right) &= -Dleft(cos(lambda) + frac{E}{lambda}sin(lambda)right)\
%%%
Rightarrowquad
Elambdacos(lambda) - lambda^2sin(lambda) &= -Dcos(lambda) - EDsin(lambda)\
%%%
Rightarrowquad
left(Elambda+Dright)cos(lambda)
&=
left( lambda^2- EDright)sin(lambda)\
%%%
Rightarrowquad
tan(lambda)
&=
frac{Elambda+D}{lambda^2- ED}
end{align}
This has countably infinite solutions $lambda_i$ for $iinmathbb{N}$. Therefore we have the following solution for $v(z,tau)$
begin{align}
v(z,tau) &=
sum_{i=1}^infty C_n
left(
cos(lambda_i z)
+
left(frac{E}{lambda_i}right)sin(lambda_i z)
right)
exp{left(-Deltalambda_i^2tauright)}
end{align}
Therefore at $tau=0$
begin{align}
v(z,0) &=
sum_{i=1}^infty C_i
left(
cos(lambda_i z)
+
left(frac{E}{lambda_i}right)sin(lambda_i z)
right)
= 1
end{align}
How can I find $C_i$?.
EDIT: If we define $Z_i(z)$ as follows
begin{align}
Z_i(z) =
cos(lambda_i z)
+
left(frac{E}{lambda_i}right)sin(lambda_i z)
end{align}
then am I correct in thinking we use the following relation to find $C_i$?
begin{align}
int_0^1 Z_i(z)Z_j(z) text{d}z = c_idelta_{ij}
end{align}
I'm not sure if this is the case, see this link. Does this mean my spatial basis is not orthogonal?
ordinary-differential-equations pde mathematical-modeling heat-equation linear-pde
$endgroup$
add a comment |
$begingroup$
I have a coupled non-dimensional diffusion system in $v(z,tau)$, formulated by the following equations
begin{align}
frac{partial v}{partial tau} &= Deltafrac{partial^2 v}{partial z^2},
%
qquad &text{for} zin[0,1], tau>0 \
%%%
frac{partial v}{partial z} &= Ev,
%
qquad &text{for} z=0, tau>0,\
%%%
frac{partial v}{partial z} &= -D v,
%
qquad &text{for} z=1, tau>0
end{align}
where $Delta,E,D>0$
We next proceed with separation of variables, let
begin{align}
v = Z(z)T(tau)
end{align}
Substitution yields the following
begin{align}
frac{1}{Delta}frac{dot{T}}{T} &= frac{Z''}{Z} = -lambda^2
end{align}
Therefore we find
begin{align}
T &propto exp{left(-Deltalambda^2tauright)},\
Z &= a cos(lambda z) + bsin(lambda z),\
Z' &= lambda left( bcos(lambda z) -a sin(lambda z) right)
end{align}
WLOG we may set $a=1$, as we will later take a linear superposition of these solution functions. Therefore we have
begin{align}
Z &= cos(lambda z) + bsin(lambda z),\
Z' &= lambda left( bcos(lambda z) - sin(lambda z) right)
end{align}
Therefore via our boundary condition at $z=0$ we find
begin{align}
lambda b &= E
quadRightarrowquad
b = frac{E}{lambda}
end{align}
and via our second
begin{align}
lambda left( frac{E}{lambda}cos(lambda) - sin(lambda) right) &= -Dleft(cos(lambda) + frac{E}{lambda}sin(lambda)right)\
%%%
Rightarrowquad
Elambdacos(lambda) - lambda^2sin(lambda) &= -Dcos(lambda) - EDsin(lambda)\
%%%
Rightarrowquad
left(Elambda+Dright)cos(lambda)
&=
left( lambda^2- EDright)sin(lambda)\
%%%
Rightarrowquad
tan(lambda)
&=
frac{Elambda+D}{lambda^2- ED}
end{align}
This has countably infinite solutions $lambda_i$ for $iinmathbb{N}$. Therefore we have the following solution for $v(z,tau)$
begin{align}
v(z,tau) &=
sum_{i=1}^infty C_n
left(
cos(lambda_i z)
+
left(frac{E}{lambda_i}right)sin(lambda_i z)
right)
exp{left(-Deltalambda_i^2tauright)}
end{align}
Therefore at $tau=0$
begin{align}
v(z,0) &=
sum_{i=1}^infty C_i
left(
cos(lambda_i z)
+
left(frac{E}{lambda_i}right)sin(lambda_i z)
right)
= 1
end{align}
How can I find $C_i$?.
EDIT: If we define $Z_i(z)$ as follows
begin{align}
Z_i(z) =
cos(lambda_i z)
+
left(frac{E}{lambda_i}right)sin(lambda_i z)
end{align}
then am I correct in thinking we use the following relation to find $C_i$?
begin{align}
int_0^1 Z_i(z)Z_j(z) text{d}z = c_idelta_{ij}
end{align}
I'm not sure if this is the case, see this link. Does this mean my spatial basis is not orthogonal?
ordinary-differential-equations pde mathematical-modeling heat-equation linear-pde
$endgroup$
$begingroup$
I'm confused. Are the last four equations boundary conditions? i.e $$frac{partial u}{partial z} = Az quad text{for $z = -delta$} implies frac{partial u(-delta, tau)}{partial z} = Az$$
$endgroup$
– Mattos
Jan 16 '18 at 14:13
$begingroup$
@Mattos: You are correct, those are boundary conditions.
$endgroup$
– Freeman
Jan 16 '18 at 14:17
$begingroup$
Just for completeness, how do you know, $v(z,0)=1$? Do you have an initial condition for $v$? I guess so...
$endgroup$
– Andras Vanyolos
Mar 13 at 21:32
add a comment |
$begingroup$
I have a coupled non-dimensional diffusion system in $v(z,tau)$, formulated by the following equations
begin{align}
frac{partial v}{partial tau} &= Deltafrac{partial^2 v}{partial z^2},
%
qquad &text{for} zin[0,1], tau>0 \
%%%
frac{partial v}{partial z} &= Ev,
%
qquad &text{for} z=0, tau>0,\
%%%
frac{partial v}{partial z} &= -D v,
%
qquad &text{for} z=1, tau>0
end{align}
where $Delta,E,D>0$
We next proceed with separation of variables, let
begin{align}
v = Z(z)T(tau)
end{align}
Substitution yields the following
begin{align}
frac{1}{Delta}frac{dot{T}}{T} &= frac{Z''}{Z} = -lambda^2
end{align}
Therefore we find
begin{align}
T &propto exp{left(-Deltalambda^2tauright)},\
Z &= a cos(lambda z) + bsin(lambda z),\
Z' &= lambda left( bcos(lambda z) -a sin(lambda z) right)
end{align}
WLOG we may set $a=1$, as we will later take a linear superposition of these solution functions. Therefore we have
begin{align}
Z &= cos(lambda z) + bsin(lambda z),\
Z' &= lambda left( bcos(lambda z) - sin(lambda z) right)
end{align}
Therefore via our boundary condition at $z=0$ we find
begin{align}
lambda b &= E
quadRightarrowquad
b = frac{E}{lambda}
end{align}
and via our second
begin{align}
lambda left( frac{E}{lambda}cos(lambda) - sin(lambda) right) &= -Dleft(cos(lambda) + frac{E}{lambda}sin(lambda)right)\
%%%
Rightarrowquad
Elambdacos(lambda) - lambda^2sin(lambda) &= -Dcos(lambda) - EDsin(lambda)\
%%%
Rightarrowquad
left(Elambda+Dright)cos(lambda)
&=
left( lambda^2- EDright)sin(lambda)\
%%%
Rightarrowquad
tan(lambda)
&=
frac{Elambda+D}{lambda^2- ED}
end{align}
This has countably infinite solutions $lambda_i$ for $iinmathbb{N}$. Therefore we have the following solution for $v(z,tau)$
begin{align}
v(z,tau) &=
sum_{i=1}^infty C_n
left(
cos(lambda_i z)
+
left(frac{E}{lambda_i}right)sin(lambda_i z)
right)
exp{left(-Deltalambda_i^2tauright)}
end{align}
Therefore at $tau=0$
begin{align}
v(z,0) &=
sum_{i=1}^infty C_i
left(
cos(lambda_i z)
+
left(frac{E}{lambda_i}right)sin(lambda_i z)
right)
= 1
end{align}
How can I find $C_i$?.
EDIT: If we define $Z_i(z)$ as follows
begin{align}
Z_i(z) =
cos(lambda_i z)
+
left(frac{E}{lambda_i}right)sin(lambda_i z)
end{align}
then am I correct in thinking we use the following relation to find $C_i$?
begin{align}
int_0^1 Z_i(z)Z_j(z) text{d}z = c_idelta_{ij}
end{align}
I'm not sure if this is the case, see this link. Does this mean my spatial basis is not orthogonal?
ordinary-differential-equations pde mathematical-modeling heat-equation linear-pde
$endgroup$
I have a coupled non-dimensional diffusion system in $v(z,tau)$, formulated by the following equations
begin{align}
frac{partial v}{partial tau} &= Deltafrac{partial^2 v}{partial z^2},
%
qquad &text{for} zin[0,1], tau>0 \
%%%
frac{partial v}{partial z} &= Ev,
%
qquad &text{for} z=0, tau>0,\
%%%
frac{partial v}{partial z} &= -D v,
%
qquad &text{for} z=1, tau>0
end{align}
where $Delta,E,D>0$
We next proceed with separation of variables, let
begin{align}
v = Z(z)T(tau)
end{align}
Substitution yields the following
begin{align}
frac{1}{Delta}frac{dot{T}}{T} &= frac{Z''}{Z} = -lambda^2
end{align}
Therefore we find
begin{align}
T &propto exp{left(-Deltalambda^2tauright)},\
Z &= a cos(lambda z) + bsin(lambda z),\
Z' &= lambda left( bcos(lambda z) -a sin(lambda z) right)
end{align}
WLOG we may set $a=1$, as we will later take a linear superposition of these solution functions. Therefore we have
begin{align}
Z &= cos(lambda z) + bsin(lambda z),\
Z' &= lambda left( bcos(lambda z) - sin(lambda z) right)
end{align}
Therefore via our boundary condition at $z=0$ we find
begin{align}
lambda b &= E
quadRightarrowquad
b = frac{E}{lambda}
end{align}
and via our second
begin{align}
lambda left( frac{E}{lambda}cos(lambda) - sin(lambda) right) &= -Dleft(cos(lambda) + frac{E}{lambda}sin(lambda)right)\
%%%
Rightarrowquad
Elambdacos(lambda) - lambda^2sin(lambda) &= -Dcos(lambda) - EDsin(lambda)\
%%%
Rightarrowquad
left(Elambda+Dright)cos(lambda)
&=
left( lambda^2- EDright)sin(lambda)\
%%%
Rightarrowquad
tan(lambda)
&=
frac{Elambda+D}{lambda^2- ED}
end{align}
This has countably infinite solutions $lambda_i$ for $iinmathbb{N}$. Therefore we have the following solution for $v(z,tau)$
begin{align}
v(z,tau) &=
sum_{i=1}^infty C_n
left(
cos(lambda_i z)
+
left(frac{E}{lambda_i}right)sin(lambda_i z)
right)
exp{left(-Deltalambda_i^2tauright)}
end{align}
Therefore at $tau=0$
begin{align}
v(z,0) &=
sum_{i=1}^infty C_i
left(
cos(lambda_i z)
+
left(frac{E}{lambda_i}right)sin(lambda_i z)
right)
= 1
end{align}
How can I find $C_i$?.
EDIT: If we define $Z_i(z)$ as follows
begin{align}
Z_i(z) =
cos(lambda_i z)
+
left(frac{E}{lambda_i}right)sin(lambda_i z)
end{align}
then am I correct in thinking we use the following relation to find $C_i$?
begin{align}
int_0^1 Z_i(z)Z_j(z) text{d}z = c_idelta_{ij}
end{align}
I'm not sure if this is the case, see this link. Does this mean my spatial basis is not orthogonal?
ordinary-differential-equations pde mathematical-modeling heat-equation linear-pde
ordinary-differential-equations pde mathematical-modeling heat-equation linear-pde
edited Mar 13 at 22:38
Andras Vanyolos
17211
17211
asked Jan 16 '18 at 13:37
FreemanFreeman
94592264
94592264
$begingroup$
I'm confused. Are the last four equations boundary conditions? i.e $$frac{partial u}{partial z} = Az quad text{for $z = -delta$} implies frac{partial u(-delta, tau)}{partial z} = Az$$
$endgroup$
– Mattos
Jan 16 '18 at 14:13
$begingroup$
@Mattos: You are correct, those are boundary conditions.
$endgroup$
– Freeman
Jan 16 '18 at 14:17
$begingroup$
Just for completeness, how do you know, $v(z,0)=1$? Do you have an initial condition for $v$? I guess so...
$endgroup$
– Andras Vanyolos
Mar 13 at 21:32
add a comment |
$begingroup$
I'm confused. Are the last four equations boundary conditions? i.e $$frac{partial u}{partial z} = Az quad text{for $z = -delta$} implies frac{partial u(-delta, tau)}{partial z} = Az$$
$endgroup$
– Mattos
Jan 16 '18 at 14:13
$begingroup$
@Mattos: You are correct, those are boundary conditions.
$endgroup$
– Freeman
Jan 16 '18 at 14:17
$begingroup$
Just for completeness, how do you know, $v(z,0)=1$? Do you have an initial condition for $v$? I guess so...
$endgroup$
– Andras Vanyolos
Mar 13 at 21:32
$begingroup$
I'm confused. Are the last four equations boundary conditions? i.e $$frac{partial u}{partial z} = Az quad text{for $z = -delta$} implies frac{partial u(-delta, tau)}{partial z} = Az$$
$endgroup$
– Mattos
Jan 16 '18 at 14:13
$begingroup$
I'm confused. Are the last four equations boundary conditions? i.e $$frac{partial u}{partial z} = Az quad text{for $z = -delta$} implies frac{partial u(-delta, tau)}{partial z} = Az$$
$endgroup$
– Mattos
Jan 16 '18 at 14:13
$begingroup$
@Mattos: You are correct, those are boundary conditions.
$endgroup$
– Freeman
Jan 16 '18 at 14:17
$begingroup$
@Mattos: You are correct, those are boundary conditions.
$endgroup$
– Freeman
Jan 16 '18 at 14:17
$begingroup$
Just for completeness, how do you know, $v(z,0)=1$? Do you have an initial condition for $v$? I guess so...
$endgroup$
– Andras Vanyolos
Mar 13 at 21:32
$begingroup$
Just for completeness, how do you know, $v(z,0)=1$? Do you have an initial condition for $v$? I guess so...
$endgroup$
– Andras Vanyolos
Mar 13 at 21:32
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The equation in $Z$ is
$$
-Z'' = lambda^2 Z, \
Z'(0)-EZ(0)=0 \
Z'(1)+DZ(1)=0.
$$
If $Z_1$ is a solution for $lambda_1$ and $Z_2$ is a solution for $lambda_2$, then
begin{align}
(lambda_2^2-lambda_1^2)int_{0}^{1}Z_1(z)Z_2(z)dz & = int_{0}^{1}Z_1Z_2''-Z_1''Z_2 dz \
& = int_{0}^{1}frac{d}{dz}(Z_1Z_2'-Z_1'Z_2)dz \
& = Z_1Z_2'-Z_1'Z_2|_{0}^{1} \
& = left.left|begin{array}{cc}Z_1 & Z_2 \ Z_1' & Z_2'end{array}right|right|_{0}^{1} = 0.
end{align}
The determinants at $0$ and at $1$ are individually $0$ because the matrices have non-trivial null spaces:
$$
left[begin{array}{cc} Z_1(0) & Z_1'(0) \ Z_2(0) & Z_2'(0)end{array}right]left[begin{array}{c}1 \ -Eend{array}right] = 0, \
left[begin{array}{cc} Z_1(1) & Z_1'(1) \ Z_2(1) & Z_2'(1)end{array}right]left[begin{array}{c}1 \ ;;Dend{array}right] = 0.
$$
Therefore, if $lambda_1nelambda_2$,
$$
int_{0}^{1}Z_1(z)Z_2(z)dz = 0.
$$
$endgroup$
$begingroup$
Thank you! This is a really helpful explanation! How do I go from here to find $C_i$?
$endgroup$
– Freeman
Jan 22 '18 at 9:11
$begingroup$
@Freeman : You'll just have to brute force the trig integrals, and everything will end up depending on the $lambda_i$, which are solutions of a transcendental equation. You'll probably be able to simplify the final expressions somewhat by using the form of the transcendental equations for the $lambda_i$. But that's about all you can do.
$endgroup$
– DisintegratingByParts
Jan 22 '18 at 16:05
$begingroup$
Thank you! I just got this working :)
$endgroup$
– Freeman
Jan 22 '18 at 16:14
$begingroup$
@Freeman : You're welcome. :)
$endgroup$
– DisintegratingByParts
Jan 22 '18 at 17:55
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%2f2607742%2fsolving-the-heat-equation-with-robin-boundary-conditions%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$
The equation in $Z$ is
$$
-Z'' = lambda^2 Z, \
Z'(0)-EZ(0)=0 \
Z'(1)+DZ(1)=0.
$$
If $Z_1$ is a solution for $lambda_1$ and $Z_2$ is a solution for $lambda_2$, then
begin{align}
(lambda_2^2-lambda_1^2)int_{0}^{1}Z_1(z)Z_2(z)dz & = int_{0}^{1}Z_1Z_2''-Z_1''Z_2 dz \
& = int_{0}^{1}frac{d}{dz}(Z_1Z_2'-Z_1'Z_2)dz \
& = Z_1Z_2'-Z_1'Z_2|_{0}^{1} \
& = left.left|begin{array}{cc}Z_1 & Z_2 \ Z_1' & Z_2'end{array}right|right|_{0}^{1} = 0.
end{align}
The determinants at $0$ and at $1$ are individually $0$ because the matrices have non-trivial null spaces:
$$
left[begin{array}{cc} Z_1(0) & Z_1'(0) \ Z_2(0) & Z_2'(0)end{array}right]left[begin{array}{c}1 \ -Eend{array}right] = 0, \
left[begin{array}{cc} Z_1(1) & Z_1'(1) \ Z_2(1) & Z_2'(1)end{array}right]left[begin{array}{c}1 \ ;;Dend{array}right] = 0.
$$
Therefore, if $lambda_1nelambda_2$,
$$
int_{0}^{1}Z_1(z)Z_2(z)dz = 0.
$$
$endgroup$
$begingroup$
Thank you! This is a really helpful explanation! How do I go from here to find $C_i$?
$endgroup$
– Freeman
Jan 22 '18 at 9:11
$begingroup$
@Freeman : You'll just have to brute force the trig integrals, and everything will end up depending on the $lambda_i$, which are solutions of a transcendental equation. You'll probably be able to simplify the final expressions somewhat by using the form of the transcendental equations for the $lambda_i$. But that's about all you can do.
$endgroup$
– DisintegratingByParts
Jan 22 '18 at 16:05
$begingroup$
Thank you! I just got this working :)
$endgroup$
– Freeman
Jan 22 '18 at 16:14
$begingroup$
@Freeman : You're welcome. :)
$endgroup$
– DisintegratingByParts
Jan 22 '18 at 17:55
add a comment |
$begingroup$
The equation in $Z$ is
$$
-Z'' = lambda^2 Z, \
Z'(0)-EZ(0)=0 \
Z'(1)+DZ(1)=0.
$$
If $Z_1$ is a solution for $lambda_1$ and $Z_2$ is a solution for $lambda_2$, then
begin{align}
(lambda_2^2-lambda_1^2)int_{0}^{1}Z_1(z)Z_2(z)dz & = int_{0}^{1}Z_1Z_2''-Z_1''Z_2 dz \
& = int_{0}^{1}frac{d}{dz}(Z_1Z_2'-Z_1'Z_2)dz \
& = Z_1Z_2'-Z_1'Z_2|_{0}^{1} \
& = left.left|begin{array}{cc}Z_1 & Z_2 \ Z_1' & Z_2'end{array}right|right|_{0}^{1} = 0.
end{align}
The determinants at $0$ and at $1$ are individually $0$ because the matrices have non-trivial null spaces:
$$
left[begin{array}{cc} Z_1(0) & Z_1'(0) \ Z_2(0) & Z_2'(0)end{array}right]left[begin{array}{c}1 \ -Eend{array}right] = 0, \
left[begin{array}{cc} Z_1(1) & Z_1'(1) \ Z_2(1) & Z_2'(1)end{array}right]left[begin{array}{c}1 \ ;;Dend{array}right] = 0.
$$
Therefore, if $lambda_1nelambda_2$,
$$
int_{0}^{1}Z_1(z)Z_2(z)dz = 0.
$$
$endgroup$
$begingroup$
Thank you! This is a really helpful explanation! How do I go from here to find $C_i$?
$endgroup$
– Freeman
Jan 22 '18 at 9:11
$begingroup$
@Freeman : You'll just have to brute force the trig integrals, and everything will end up depending on the $lambda_i$, which are solutions of a transcendental equation. You'll probably be able to simplify the final expressions somewhat by using the form of the transcendental equations for the $lambda_i$. But that's about all you can do.
$endgroup$
– DisintegratingByParts
Jan 22 '18 at 16:05
$begingroup$
Thank you! I just got this working :)
$endgroup$
– Freeman
Jan 22 '18 at 16:14
$begingroup$
@Freeman : You're welcome. :)
$endgroup$
– DisintegratingByParts
Jan 22 '18 at 17:55
add a comment |
$begingroup$
The equation in $Z$ is
$$
-Z'' = lambda^2 Z, \
Z'(0)-EZ(0)=0 \
Z'(1)+DZ(1)=0.
$$
If $Z_1$ is a solution for $lambda_1$ and $Z_2$ is a solution for $lambda_2$, then
begin{align}
(lambda_2^2-lambda_1^2)int_{0}^{1}Z_1(z)Z_2(z)dz & = int_{0}^{1}Z_1Z_2''-Z_1''Z_2 dz \
& = int_{0}^{1}frac{d}{dz}(Z_1Z_2'-Z_1'Z_2)dz \
& = Z_1Z_2'-Z_1'Z_2|_{0}^{1} \
& = left.left|begin{array}{cc}Z_1 & Z_2 \ Z_1' & Z_2'end{array}right|right|_{0}^{1} = 0.
end{align}
The determinants at $0$ and at $1$ are individually $0$ because the matrices have non-trivial null spaces:
$$
left[begin{array}{cc} Z_1(0) & Z_1'(0) \ Z_2(0) & Z_2'(0)end{array}right]left[begin{array}{c}1 \ -Eend{array}right] = 0, \
left[begin{array}{cc} Z_1(1) & Z_1'(1) \ Z_2(1) & Z_2'(1)end{array}right]left[begin{array}{c}1 \ ;;Dend{array}right] = 0.
$$
Therefore, if $lambda_1nelambda_2$,
$$
int_{0}^{1}Z_1(z)Z_2(z)dz = 0.
$$
$endgroup$
The equation in $Z$ is
$$
-Z'' = lambda^2 Z, \
Z'(0)-EZ(0)=0 \
Z'(1)+DZ(1)=0.
$$
If $Z_1$ is a solution for $lambda_1$ and $Z_2$ is a solution for $lambda_2$, then
begin{align}
(lambda_2^2-lambda_1^2)int_{0}^{1}Z_1(z)Z_2(z)dz & = int_{0}^{1}Z_1Z_2''-Z_1''Z_2 dz \
& = int_{0}^{1}frac{d}{dz}(Z_1Z_2'-Z_1'Z_2)dz \
& = Z_1Z_2'-Z_1'Z_2|_{0}^{1} \
& = left.left|begin{array}{cc}Z_1 & Z_2 \ Z_1' & Z_2'end{array}right|right|_{0}^{1} = 0.
end{align}
The determinants at $0$ and at $1$ are individually $0$ because the matrices have non-trivial null spaces:
$$
left[begin{array}{cc} Z_1(0) & Z_1'(0) \ Z_2(0) & Z_2'(0)end{array}right]left[begin{array}{c}1 \ -Eend{array}right] = 0, \
left[begin{array}{cc} Z_1(1) & Z_1'(1) \ Z_2(1) & Z_2'(1)end{array}right]left[begin{array}{c}1 \ ;;Dend{array}right] = 0.
$$
Therefore, if $lambda_1nelambda_2$,
$$
int_{0}^{1}Z_1(z)Z_2(z)dz = 0.
$$
answered Jan 20 '18 at 20:19
DisintegratingByPartsDisintegratingByParts
59.9k42681
59.9k42681
$begingroup$
Thank you! This is a really helpful explanation! How do I go from here to find $C_i$?
$endgroup$
– Freeman
Jan 22 '18 at 9:11
$begingroup$
@Freeman : You'll just have to brute force the trig integrals, and everything will end up depending on the $lambda_i$, which are solutions of a transcendental equation. You'll probably be able to simplify the final expressions somewhat by using the form of the transcendental equations for the $lambda_i$. But that's about all you can do.
$endgroup$
– DisintegratingByParts
Jan 22 '18 at 16:05
$begingroup$
Thank you! I just got this working :)
$endgroup$
– Freeman
Jan 22 '18 at 16:14
$begingroup$
@Freeman : You're welcome. :)
$endgroup$
– DisintegratingByParts
Jan 22 '18 at 17:55
add a comment |
$begingroup$
Thank you! This is a really helpful explanation! How do I go from here to find $C_i$?
$endgroup$
– Freeman
Jan 22 '18 at 9:11
$begingroup$
@Freeman : You'll just have to brute force the trig integrals, and everything will end up depending on the $lambda_i$, which are solutions of a transcendental equation. You'll probably be able to simplify the final expressions somewhat by using the form of the transcendental equations for the $lambda_i$. But that's about all you can do.
$endgroup$
– DisintegratingByParts
Jan 22 '18 at 16:05
$begingroup$
Thank you! I just got this working :)
$endgroup$
– Freeman
Jan 22 '18 at 16:14
$begingroup$
@Freeman : You're welcome. :)
$endgroup$
– DisintegratingByParts
Jan 22 '18 at 17:55
$begingroup$
Thank you! This is a really helpful explanation! How do I go from here to find $C_i$?
$endgroup$
– Freeman
Jan 22 '18 at 9:11
$begingroup$
Thank you! This is a really helpful explanation! How do I go from here to find $C_i$?
$endgroup$
– Freeman
Jan 22 '18 at 9:11
$begingroup$
@Freeman : You'll just have to brute force the trig integrals, and everything will end up depending on the $lambda_i$, which are solutions of a transcendental equation. You'll probably be able to simplify the final expressions somewhat by using the form of the transcendental equations for the $lambda_i$. But that's about all you can do.
$endgroup$
– DisintegratingByParts
Jan 22 '18 at 16:05
$begingroup$
@Freeman : You'll just have to brute force the trig integrals, and everything will end up depending on the $lambda_i$, which are solutions of a transcendental equation. You'll probably be able to simplify the final expressions somewhat by using the form of the transcendental equations for the $lambda_i$. But that's about all you can do.
$endgroup$
– DisintegratingByParts
Jan 22 '18 at 16:05
$begingroup$
Thank you! I just got this working :)
$endgroup$
– Freeman
Jan 22 '18 at 16:14
$begingroup$
Thank you! I just got this working :)
$endgroup$
– Freeman
Jan 22 '18 at 16:14
$begingroup$
@Freeman : You're welcome. :)
$endgroup$
– DisintegratingByParts
Jan 22 '18 at 17:55
$begingroup$
@Freeman : You're welcome. :)
$endgroup$
– DisintegratingByParts
Jan 22 '18 at 17:55
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%2f2607742%2fsolving-the-heat-equation-with-robin-boundary-conditions%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$
I'm confused. Are the last four equations boundary conditions? i.e $$frac{partial u}{partial z} = Az quad text{for $z = -delta$} implies frac{partial u(-delta, tau)}{partial z} = Az$$
$endgroup$
– Mattos
Jan 16 '18 at 14:13
$begingroup$
@Mattos: You are correct, those are boundary conditions.
$endgroup$
– Freeman
Jan 16 '18 at 14:17
$begingroup$
Just for completeness, how do you know, $v(z,0)=1$? Do you have an initial condition for $v$? I guess so...
$endgroup$
– Andras Vanyolos
Mar 13 at 21:32