Why is $x=4$ as a fixed point of a map $sqrt{2}^{x}$ unstable?
$begingroup$
My question is motivated by this What is wrong with this funny proof that 2 = 4 using infinite exponentiation? discussion, namely an example of a map $x mapsto f(x)$ is given, with $$f(x)= (sqrt{2})^{x}.$$ In that thread, it is stated the map has 2 fixed points, at $x = 2$ and $x=4$. Now to examine their stability we look at the derivative $$f'(x) = (sqrt{2})^{x} log sqrt{2}.$$
Now we have $f'(4) <1$, so $x=4$ should be stable. However, it is claimed, on the contrary, that $x=4$ is, in fact, $textbf{unstable}$. Why is this?
dynamical-systems exponentiation fixed-point-theorems power-towers
$endgroup$
add a comment |
$begingroup$
My question is motivated by this What is wrong with this funny proof that 2 = 4 using infinite exponentiation? discussion, namely an example of a map $x mapsto f(x)$ is given, with $$f(x)= (sqrt{2})^{x}.$$ In that thread, it is stated the map has 2 fixed points, at $x = 2$ and $x=4$. Now to examine their stability we look at the derivative $$f'(x) = (sqrt{2})^{x} log sqrt{2}.$$
Now we have $f'(4) <1$, so $x=4$ should be stable. However, it is claimed, on the contrary, that $x=4$ is, in fact, $textbf{unstable}$. Why is this?
dynamical-systems exponentiation fixed-point-theorems power-towers
$endgroup$
1
$begingroup$
Around $x=4$? The derivative is $2 log 2$, or roughly $1.4$.
$endgroup$
– Patrick Stevens
Nov 7 '18 at 21:40
$begingroup$
My apologies! Was doing computations in terms of logs to base 10, rather than natural logarithms. May close the thread. @PatrickStevens
$endgroup$
– Alex
Nov 7 '18 at 21:48
$begingroup$
I'd like to have the question closed/deleted because it's on a false premise. For the case this is not wanted I added a formal answer which is "acceptable" for closing the case.
$endgroup$
– Gottfried Helms
Dec 26 '18 at 10:26
add a comment |
$begingroup$
My question is motivated by this What is wrong with this funny proof that 2 = 4 using infinite exponentiation? discussion, namely an example of a map $x mapsto f(x)$ is given, with $$f(x)= (sqrt{2})^{x}.$$ In that thread, it is stated the map has 2 fixed points, at $x = 2$ and $x=4$. Now to examine their stability we look at the derivative $$f'(x) = (sqrt{2})^{x} log sqrt{2}.$$
Now we have $f'(4) <1$, so $x=4$ should be stable. However, it is claimed, on the contrary, that $x=4$ is, in fact, $textbf{unstable}$. Why is this?
dynamical-systems exponentiation fixed-point-theorems power-towers
$endgroup$
My question is motivated by this What is wrong with this funny proof that 2 = 4 using infinite exponentiation? discussion, namely an example of a map $x mapsto f(x)$ is given, with $$f(x)= (sqrt{2})^{x}.$$ In that thread, it is stated the map has 2 fixed points, at $x = 2$ and $x=4$. Now to examine their stability we look at the derivative $$f'(x) = (sqrt{2})^{x} log sqrt{2}.$$
Now we have $f'(4) <1$, so $x=4$ should be stable. However, it is claimed, on the contrary, that $x=4$ is, in fact, $textbf{unstable}$. Why is this?
dynamical-systems exponentiation fixed-point-theorems power-towers
dynamical-systems exponentiation fixed-point-theorems power-towers
asked Nov 7 '18 at 21:37
AlexAlex
71248
71248
1
$begingroup$
Around $x=4$? The derivative is $2 log 2$, or roughly $1.4$.
$endgroup$
– Patrick Stevens
Nov 7 '18 at 21:40
$begingroup$
My apologies! Was doing computations in terms of logs to base 10, rather than natural logarithms. May close the thread. @PatrickStevens
$endgroup$
– Alex
Nov 7 '18 at 21:48
$begingroup$
I'd like to have the question closed/deleted because it's on a false premise. For the case this is not wanted I added a formal answer which is "acceptable" for closing the case.
$endgroup$
– Gottfried Helms
Dec 26 '18 at 10:26
add a comment |
1
$begingroup$
Around $x=4$? The derivative is $2 log 2$, or roughly $1.4$.
$endgroup$
– Patrick Stevens
Nov 7 '18 at 21:40
$begingroup$
My apologies! Was doing computations in terms of logs to base 10, rather than natural logarithms. May close the thread. @PatrickStevens
$endgroup$
– Alex
Nov 7 '18 at 21:48
$begingroup$
I'd like to have the question closed/deleted because it's on a false premise. For the case this is not wanted I added a formal answer which is "acceptable" for closing the case.
$endgroup$
– Gottfried Helms
Dec 26 '18 at 10:26
1
1
$begingroup$
Around $x=4$? The derivative is $2 log 2$, or roughly $1.4$.
$endgroup$
– Patrick Stevens
Nov 7 '18 at 21:40
$begingroup$
Around $x=4$? The derivative is $2 log 2$, or roughly $1.4$.
$endgroup$
– Patrick Stevens
Nov 7 '18 at 21:40
$begingroup$
My apologies! Was doing computations in terms of logs to base 10, rather than natural logarithms. May close the thread. @PatrickStevens
$endgroup$
– Alex
Nov 7 '18 at 21:48
$begingroup$
My apologies! Was doing computations in terms of logs to base 10, rather than natural logarithms. May close the thread. @PatrickStevens
$endgroup$
– Alex
Nov 7 '18 at 21:48
$begingroup$
I'd like to have the question closed/deleted because it's on a false premise. For the case this is not wanted I added a formal answer which is "acceptable" for closing the case.
$endgroup$
– Gottfried Helms
Dec 26 '18 at 10:26
$begingroup$
I'd like to have the question closed/deleted because it's on a false premise. For the case this is not wanted I added a formal answer which is "acceptable" for closing the case.
$endgroup$
– Gottfried Helms
Dec 26 '18 at 10:26
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The question was based on a false premise and is superflous now (see comments below question) as based on a simple error as understood by the OP.
$endgroup$
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%2f2989133%2fwhy-is-x-4-as-a-fixed-point-of-a-map-sqrt2x-unstable%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 question was based on a false premise and is superflous now (see comments below question) as based on a simple error as understood by the OP.
$endgroup$
add a comment |
$begingroup$
The question was based on a false premise and is superflous now (see comments below question) as based on a simple error as understood by the OP.
$endgroup$
add a comment |
$begingroup$
The question was based on a false premise and is superflous now (see comments below question) as based on a simple error as understood by the OP.
$endgroup$
The question was based on a false premise and is superflous now (see comments below question) as based on a simple error as understood by the OP.
answered Dec 26 '18 at 10:30
Gottfried HelmsGottfried Helms
23.5k24599
23.5k24599
add a comment |
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%2f2989133%2fwhy-is-x-4-as-a-fixed-point-of-a-map-sqrt2x-unstable%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$
Around $x=4$? The derivative is $2 log 2$, or roughly $1.4$.
$endgroup$
– Patrick Stevens
Nov 7 '18 at 21:40
$begingroup$
My apologies! Was doing computations in terms of logs to base 10, rather than natural logarithms. May close the thread. @PatrickStevens
$endgroup$
– Alex
Nov 7 '18 at 21:48
$begingroup$
I'd like to have the question closed/deleted because it's on a false premise. For the case this is not wanted I added a formal answer which is "acceptable" for closing the case.
$endgroup$
– Gottfried Helms
Dec 26 '18 at 10:26