what is the significance of $kappa$ in the proof of inconditional stability of the Crank-Nicolson scheme
$begingroup$
When using a centered difference approximation
$$
frac{partial}{partial t}u(t,x) = frac{u(t + Delta t/2,x) - u(t - Delta t/2, x)}{Delta t} + O((Delta t)^2)
$$
It is an approximation of the differential equation $dot{u} = ku''$ at the midpoint $(frac{t_i + t_{i+1}}{2}, x_j)$. The scheme is consistent with the error $ O((Delta t)^2) + O((Delta x)^2)$.
$$
frac{u_{i+1, j}-u_{i,j}}{kappa Delta t} = frac{u_{i,j-1} - 2u_{i,j} + u_{i,j + 1}}{2(Delta x)^2} + frac{u_{i+1,j-1} - 2u_{i+1,j} + u_{i+1,j + 1}}{2(Delta x)^2}
$$
The matrix notation leads to
$$
vec{u}_{i+1} - vec{u}_i = -frac{kappa Delta t}{2}(textbf{A}_n cdot vec{u}_{i+1} + textbf{A}_n cdot vec{u}_i)
$$
or
$$
Big(mathbb{I}_n + frac{kappa Delta t}{2}textbf{A}_nBig) cdot vec{u}_{i+1} = Big(mathbb{I}_n - frac{kappa Delta t}{2}textbf{A}_nBig) cdot vec{u}_i
$$
If the values $vec{u}_i$ at a given time are known we have to multiply the vector with a matrix and then solve a system of linear equations to determine the values $vec{u}_{i+1}$ at the next time level. We have an implicit method. We can use the eigenvalues and vectors of $textbf{A}_n$ to examine stability of the scheme. We are lead to examine the inequality
$$Bigg|frac{2 - kappa Delta t lambda_k}{2 + kappa Delta t lambda_k}Bigg|^2 < 1
$$
Since $lambda_k > 0$ we find that this scheme is $textbf{unconditionally stable.}$
My question
what is the significance of the $kappa$ in that proof? is it a condition number of a matrix? if yes which one?
pde finite-differences condition-number
$endgroup$
add a comment |
$begingroup$
When using a centered difference approximation
$$
frac{partial}{partial t}u(t,x) = frac{u(t + Delta t/2,x) - u(t - Delta t/2, x)}{Delta t} + O((Delta t)^2)
$$
It is an approximation of the differential equation $dot{u} = ku''$ at the midpoint $(frac{t_i + t_{i+1}}{2}, x_j)$. The scheme is consistent with the error $ O((Delta t)^2) + O((Delta x)^2)$.
$$
frac{u_{i+1, j}-u_{i,j}}{kappa Delta t} = frac{u_{i,j-1} - 2u_{i,j} + u_{i,j + 1}}{2(Delta x)^2} + frac{u_{i+1,j-1} - 2u_{i+1,j} + u_{i+1,j + 1}}{2(Delta x)^2}
$$
The matrix notation leads to
$$
vec{u}_{i+1} - vec{u}_i = -frac{kappa Delta t}{2}(textbf{A}_n cdot vec{u}_{i+1} + textbf{A}_n cdot vec{u}_i)
$$
or
$$
Big(mathbb{I}_n + frac{kappa Delta t}{2}textbf{A}_nBig) cdot vec{u}_{i+1} = Big(mathbb{I}_n - frac{kappa Delta t}{2}textbf{A}_nBig) cdot vec{u}_i
$$
If the values $vec{u}_i$ at a given time are known we have to multiply the vector with a matrix and then solve a system of linear equations to determine the values $vec{u}_{i+1}$ at the next time level. We have an implicit method. We can use the eigenvalues and vectors of $textbf{A}_n$ to examine stability of the scheme. We are lead to examine the inequality
$$Bigg|frac{2 - kappa Delta t lambda_k}{2 + kappa Delta t lambda_k}Bigg|^2 < 1
$$
Since $lambda_k > 0$ we find that this scheme is $textbf{unconditionally stable.}$
My question
what is the significance of the $kappa$ in that proof? is it a condition number of a matrix? if yes which one?
pde finite-differences condition-number
$endgroup$
1
$begingroup$
It is most probably that $kappa = k$ in the PDE $$dot{u} = color{red}{kappa}u''$$ and that the $1/(Delta x)^{2}$ term has been absorbed into the A matrix.
$endgroup$
– Mattos
Dec 3 '18 at 1:41
add a comment |
$begingroup$
When using a centered difference approximation
$$
frac{partial}{partial t}u(t,x) = frac{u(t + Delta t/2,x) - u(t - Delta t/2, x)}{Delta t} + O((Delta t)^2)
$$
It is an approximation of the differential equation $dot{u} = ku''$ at the midpoint $(frac{t_i + t_{i+1}}{2}, x_j)$. The scheme is consistent with the error $ O((Delta t)^2) + O((Delta x)^2)$.
$$
frac{u_{i+1, j}-u_{i,j}}{kappa Delta t} = frac{u_{i,j-1} - 2u_{i,j} + u_{i,j + 1}}{2(Delta x)^2} + frac{u_{i+1,j-1} - 2u_{i+1,j} + u_{i+1,j + 1}}{2(Delta x)^2}
$$
The matrix notation leads to
$$
vec{u}_{i+1} - vec{u}_i = -frac{kappa Delta t}{2}(textbf{A}_n cdot vec{u}_{i+1} + textbf{A}_n cdot vec{u}_i)
$$
or
$$
Big(mathbb{I}_n + frac{kappa Delta t}{2}textbf{A}_nBig) cdot vec{u}_{i+1} = Big(mathbb{I}_n - frac{kappa Delta t}{2}textbf{A}_nBig) cdot vec{u}_i
$$
If the values $vec{u}_i$ at a given time are known we have to multiply the vector with a matrix and then solve a system of linear equations to determine the values $vec{u}_{i+1}$ at the next time level. We have an implicit method. We can use the eigenvalues and vectors of $textbf{A}_n$ to examine stability of the scheme. We are lead to examine the inequality
$$Bigg|frac{2 - kappa Delta t lambda_k}{2 + kappa Delta t lambda_k}Bigg|^2 < 1
$$
Since $lambda_k > 0$ we find that this scheme is $textbf{unconditionally stable.}$
My question
what is the significance of the $kappa$ in that proof? is it a condition number of a matrix? if yes which one?
pde finite-differences condition-number
$endgroup$
When using a centered difference approximation
$$
frac{partial}{partial t}u(t,x) = frac{u(t + Delta t/2,x) - u(t - Delta t/2, x)}{Delta t} + O((Delta t)^2)
$$
It is an approximation of the differential equation $dot{u} = ku''$ at the midpoint $(frac{t_i + t_{i+1}}{2}, x_j)$. The scheme is consistent with the error $ O((Delta t)^2) + O((Delta x)^2)$.
$$
frac{u_{i+1, j}-u_{i,j}}{kappa Delta t} = frac{u_{i,j-1} - 2u_{i,j} + u_{i,j + 1}}{2(Delta x)^2} + frac{u_{i+1,j-1} - 2u_{i+1,j} + u_{i+1,j + 1}}{2(Delta x)^2}
$$
The matrix notation leads to
$$
vec{u}_{i+1} - vec{u}_i = -frac{kappa Delta t}{2}(textbf{A}_n cdot vec{u}_{i+1} + textbf{A}_n cdot vec{u}_i)
$$
or
$$
Big(mathbb{I}_n + frac{kappa Delta t}{2}textbf{A}_nBig) cdot vec{u}_{i+1} = Big(mathbb{I}_n - frac{kappa Delta t}{2}textbf{A}_nBig) cdot vec{u}_i
$$
If the values $vec{u}_i$ at a given time are known we have to multiply the vector with a matrix and then solve a system of linear equations to determine the values $vec{u}_{i+1}$ at the next time level. We have an implicit method. We can use the eigenvalues and vectors of $textbf{A}_n$ to examine stability of the scheme. We are lead to examine the inequality
$$Bigg|frac{2 - kappa Delta t lambda_k}{2 + kappa Delta t lambda_k}Bigg|^2 < 1
$$
Since $lambda_k > 0$ we find that this scheme is $textbf{unconditionally stable.}$
My question
what is the significance of the $kappa$ in that proof? is it a condition number of a matrix? if yes which one?
pde finite-differences condition-number
pde finite-differences condition-number
edited Dec 3 '18 at 1:35
Mattos
2,73921321
2,73921321
asked Dec 2 '18 at 18:22
ecjbecjb
1618
1618
1
$begingroup$
It is most probably that $kappa = k$ in the PDE $$dot{u} = color{red}{kappa}u''$$ and that the $1/(Delta x)^{2}$ term has been absorbed into the A matrix.
$endgroup$
– Mattos
Dec 3 '18 at 1:41
add a comment |
1
$begingroup$
It is most probably that $kappa = k$ in the PDE $$dot{u} = color{red}{kappa}u''$$ and that the $1/(Delta x)^{2}$ term has been absorbed into the A matrix.
$endgroup$
– Mattos
Dec 3 '18 at 1:41
1
1
$begingroup$
It is most probably that $kappa = k$ in the PDE $$dot{u} = color{red}{kappa}u''$$ and that the $1/(Delta x)^{2}$ term has been absorbed into the A matrix.
$endgroup$
– Mattos
Dec 3 '18 at 1:41
$begingroup$
It is most probably that $kappa = k$ in the PDE $$dot{u} = color{red}{kappa}u''$$ and that the $1/(Delta x)^{2}$ term has been absorbed into the A matrix.
$endgroup$
– Mattos
Dec 3 '18 at 1:41
add a comment |
0
active
oldest
votes
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%2f3023009%2fwhat-is-the-significance-of-kappa-in-the-proof-of-inconditional-stability-of%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3023009%2fwhat-is-the-significance-of-kappa-in-the-proof-of-inconditional-stability-of%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
1
$begingroup$
It is most probably that $kappa = k$ in the PDE $$dot{u} = color{red}{kappa}u''$$ and that the $1/(Delta x)^{2}$ term has been absorbed into the A matrix.
$endgroup$
– Mattos
Dec 3 '18 at 1:41