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













2












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










share|cite|improve this question











$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
















2












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










share|cite|improve this question











$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














2












2








2





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










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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


















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










1 Answer
1






active

oldest

votes


















2












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






share|cite|improve this answer









$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











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%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









2












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






share|cite|improve this answer









$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
















2












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






share|cite|improve this answer









$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














2












2








2





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






share|cite|improve this answer









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







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










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


















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


















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.




draft saved


draft discarded














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





















































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

Nidaros erkebispedøme

Birsay

Was Woodrow Wilson really a Liberal?Was World War I a war of liberals against authoritarians?Founding Fathers...