Applying a function a non-integer amount of times
$begingroup$
Taking the principal log of a real or complex number an infinite number of times converges one of two particular values in the complex plane. These values are $-W(-1)^*$ given a seed value with $Im(z) ge 0$, and $-W(-1)$ otherwise (with $W$ being the principal branch of the Lambert W function.)
While converging these values appear to "spiral" around this number in a way reminiscent of certain systems of differential equations.
However, function application is a discrete operation, so relating the two might be a bit of a fool's errand. I'm aware that it is possible to extend the differentiation operator in this manner. But that may be specific to differentiation, and it might not be possible with general function application.
So, is there a method for a general function? What about the specific function log? Is there a class of functions for which this works?
functions
$endgroup$
add a comment |
$begingroup$
Taking the principal log of a real or complex number an infinite number of times converges one of two particular values in the complex plane. These values are $-W(-1)^*$ given a seed value with $Im(z) ge 0$, and $-W(-1)$ otherwise (with $W$ being the principal branch of the Lambert W function.)
While converging these values appear to "spiral" around this number in a way reminiscent of certain systems of differential equations.
However, function application is a discrete operation, so relating the two might be a bit of a fool's errand. I'm aware that it is possible to extend the differentiation operator in this manner. But that may be specific to differentiation, and it might not be possible with general function application.
So, is there a method for a general function? What about the specific function log? Is there a class of functions for which this works?
functions
$endgroup$
$begingroup$
A sign error in your two fixed points. The one in the plot is $approx 0.31+1.33i$ but $W(-1)approx -0.31+1.33i$.
$endgroup$
– Somos
Jan 24 at 23:04
$begingroup$
Ah, that's true. Fixed.
$endgroup$
– OmnipotentEntity
Jan 24 at 23:53
add a comment |
$begingroup$
Taking the principal log of a real or complex number an infinite number of times converges one of two particular values in the complex plane. These values are $-W(-1)^*$ given a seed value with $Im(z) ge 0$, and $-W(-1)$ otherwise (with $W$ being the principal branch of the Lambert W function.)
While converging these values appear to "spiral" around this number in a way reminiscent of certain systems of differential equations.
However, function application is a discrete operation, so relating the two might be a bit of a fool's errand. I'm aware that it is possible to extend the differentiation operator in this manner. But that may be specific to differentiation, and it might not be possible with general function application.
So, is there a method for a general function? What about the specific function log? Is there a class of functions for which this works?
functions
$endgroup$
Taking the principal log of a real or complex number an infinite number of times converges one of two particular values in the complex plane. These values are $-W(-1)^*$ given a seed value with $Im(z) ge 0$, and $-W(-1)$ otherwise (with $W$ being the principal branch of the Lambert W function.)
While converging these values appear to "spiral" around this number in a way reminiscent of certain systems of differential equations.
However, function application is a discrete operation, so relating the two might be a bit of a fool's errand. I'm aware that it is possible to extend the differentiation operator in this manner. But that may be specific to differentiation, and it might not be possible with general function application.
So, is there a method for a general function? What about the specific function log? Is there a class of functions for which this works?
functions
functions
edited Jan 24 at 23:54
OmnipotentEntity
asked Jan 24 at 21:34
OmnipotentEntityOmnipotentEntity
534318
534318
$begingroup$
A sign error in your two fixed points. The one in the plot is $approx 0.31+1.33i$ but $W(-1)approx -0.31+1.33i$.
$endgroup$
– Somos
Jan 24 at 23:04
$begingroup$
Ah, that's true. Fixed.
$endgroup$
– OmnipotentEntity
Jan 24 at 23:53
add a comment |
$begingroup$
A sign error in your two fixed points. The one in the plot is $approx 0.31+1.33i$ but $W(-1)approx -0.31+1.33i$.
$endgroup$
– Somos
Jan 24 at 23:04
$begingroup$
Ah, that's true. Fixed.
$endgroup$
– OmnipotentEntity
Jan 24 at 23:53
$begingroup$
A sign error in your two fixed points. The one in the plot is $approx 0.31+1.33i$ but $W(-1)approx -0.31+1.33i$.
$endgroup$
– Somos
Jan 24 at 23:04
$begingroup$
A sign error in your two fixed points. The one in the plot is $approx 0.31+1.33i$ but $W(-1)approx -0.31+1.33i$.
$endgroup$
– Somos
Jan 24 at 23:04
$begingroup$
Ah, that's true. Fixed.
$endgroup$
– OmnipotentEntity
Jan 24 at 23:53
$begingroup$
Ah, that's true. Fixed.
$endgroup$
– OmnipotentEntity
Jan 24 at 23:53
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
The simplest case of fractional iteration is when $,f(x) := ccdot x,$ with fixed point $0$, convergence is linear and the converging factor $,0<c<1.,$ Then the fractional iteration $,f^{(t)}(x) = c^tcdot x.,$ Complications arise if $c$ does not satisfy the bounds. That is, the exponentiation $,c^t,$ is multivalend. The general case reduces to the simplest case using conjugation of composition with the convergence factor still the first derivative at the fixed point. Similarly for quadratic or higher orders of convergence.
In the example of $,f(x):=log(x),,$
$,f(w + x) approx w + c,x,$ where $,wapprox 0.318+1.337i,$ and the convergence factor $, c := f'(w),$ is
$approx 0.168-0.707i.,$ Now we want an expansion for $g(x)$ so that
$$log(w+g(x)) = w+g(ccdot x)$$ where the conjugating function
$g(x)$ has a power series expansion
$$g(x) approx x + (-0.151 -0.296i)x^2 +(-0.036+0.098i)x^3 + (-.025-0.017i)x^4 + O(x^5).$$
$endgroup$
$begingroup$
How do you arrive at the convergence factor?
$endgroup$
– OmnipotentEntity
Jan 25 at 1:27
add a comment |
$begingroup$
It's called fractional iteration. There are papers on it and some research, among other things in the domain of fractals, but it's not a widely known subject. There are quite some restrictions on what properties the functions needs to have. The simplest case is to consider behaviour of a function between two stationary points (intersect the $f(x)$ and $x$ curves). On every such a bump, between two stationary points (assuming the function there is also monotonic), fractional iteration is well defined, as you have nicely behaved flow from one stationary point to the other. Of course, this operation has to satisfy rules, such as $f^{1/2}(f^{1/2}(x))=f(x)$ and so on. I don't know enough about the topic to state it with certainty, but I think there is no generally accepted rule for computing it for an arbitrary function, especially not in closed form (I once tried to compute it numerically for a few noninteger "powers", with mixed results). I do know that the question may be rewritten in terms of Schröder's equation, which looks more like a normal equation than asking "what happens if we apply a function noninteger number of times".
This is also somewhat related to the concept of fractional differentiation.
$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%2f3086387%2fapplying-a-function-a-non-integer-amount-of-times%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The simplest case of fractional iteration is when $,f(x) := ccdot x,$ with fixed point $0$, convergence is linear and the converging factor $,0<c<1.,$ Then the fractional iteration $,f^{(t)}(x) = c^tcdot x.,$ Complications arise if $c$ does not satisfy the bounds. That is, the exponentiation $,c^t,$ is multivalend. The general case reduces to the simplest case using conjugation of composition with the convergence factor still the first derivative at the fixed point. Similarly for quadratic or higher orders of convergence.
In the example of $,f(x):=log(x),,$
$,f(w + x) approx w + c,x,$ where $,wapprox 0.318+1.337i,$ and the convergence factor $, c := f'(w),$ is
$approx 0.168-0.707i.,$ Now we want an expansion for $g(x)$ so that
$$log(w+g(x)) = w+g(ccdot x)$$ where the conjugating function
$g(x)$ has a power series expansion
$$g(x) approx x + (-0.151 -0.296i)x^2 +(-0.036+0.098i)x^3 + (-.025-0.017i)x^4 + O(x^5).$$
$endgroup$
$begingroup$
How do you arrive at the convergence factor?
$endgroup$
– OmnipotentEntity
Jan 25 at 1:27
add a comment |
$begingroup$
The simplest case of fractional iteration is when $,f(x) := ccdot x,$ with fixed point $0$, convergence is linear and the converging factor $,0<c<1.,$ Then the fractional iteration $,f^{(t)}(x) = c^tcdot x.,$ Complications arise if $c$ does not satisfy the bounds. That is, the exponentiation $,c^t,$ is multivalend. The general case reduces to the simplest case using conjugation of composition with the convergence factor still the first derivative at the fixed point. Similarly for quadratic or higher orders of convergence.
In the example of $,f(x):=log(x),,$
$,f(w + x) approx w + c,x,$ where $,wapprox 0.318+1.337i,$ and the convergence factor $, c := f'(w),$ is
$approx 0.168-0.707i.,$ Now we want an expansion for $g(x)$ so that
$$log(w+g(x)) = w+g(ccdot x)$$ where the conjugating function
$g(x)$ has a power series expansion
$$g(x) approx x + (-0.151 -0.296i)x^2 +(-0.036+0.098i)x^3 + (-.025-0.017i)x^4 + O(x^5).$$
$endgroup$
$begingroup$
How do you arrive at the convergence factor?
$endgroup$
– OmnipotentEntity
Jan 25 at 1:27
add a comment |
$begingroup$
The simplest case of fractional iteration is when $,f(x) := ccdot x,$ with fixed point $0$, convergence is linear and the converging factor $,0<c<1.,$ Then the fractional iteration $,f^{(t)}(x) = c^tcdot x.,$ Complications arise if $c$ does not satisfy the bounds. That is, the exponentiation $,c^t,$ is multivalend. The general case reduces to the simplest case using conjugation of composition with the convergence factor still the first derivative at the fixed point. Similarly for quadratic or higher orders of convergence.
In the example of $,f(x):=log(x),,$
$,f(w + x) approx w + c,x,$ where $,wapprox 0.318+1.337i,$ and the convergence factor $, c := f'(w),$ is
$approx 0.168-0.707i.,$ Now we want an expansion for $g(x)$ so that
$$log(w+g(x)) = w+g(ccdot x)$$ where the conjugating function
$g(x)$ has a power series expansion
$$g(x) approx x + (-0.151 -0.296i)x^2 +(-0.036+0.098i)x^3 + (-.025-0.017i)x^4 + O(x^5).$$
$endgroup$
The simplest case of fractional iteration is when $,f(x) := ccdot x,$ with fixed point $0$, convergence is linear and the converging factor $,0<c<1.,$ Then the fractional iteration $,f^{(t)}(x) = c^tcdot x.,$ Complications arise if $c$ does not satisfy the bounds. That is, the exponentiation $,c^t,$ is multivalend. The general case reduces to the simplest case using conjugation of composition with the convergence factor still the first derivative at the fixed point. Similarly for quadratic or higher orders of convergence.
In the example of $,f(x):=log(x),,$
$,f(w + x) approx w + c,x,$ where $,wapprox 0.318+1.337i,$ and the convergence factor $, c := f'(w),$ is
$approx 0.168-0.707i.,$ Now we want an expansion for $g(x)$ so that
$$log(w+g(x)) = w+g(ccdot x)$$ where the conjugating function
$g(x)$ has a power series expansion
$$g(x) approx x + (-0.151 -0.296i)x^2 +(-0.036+0.098i)x^3 + (-.025-0.017i)x^4 + O(x^5).$$
edited Jan 25 at 20:29
answered Jan 25 at 0:16
SomosSomos
14.5k11336
14.5k11336
$begingroup$
How do you arrive at the convergence factor?
$endgroup$
– OmnipotentEntity
Jan 25 at 1:27
add a comment |
$begingroup$
How do you arrive at the convergence factor?
$endgroup$
– OmnipotentEntity
Jan 25 at 1:27
$begingroup$
How do you arrive at the convergence factor?
$endgroup$
– OmnipotentEntity
Jan 25 at 1:27
$begingroup$
How do you arrive at the convergence factor?
$endgroup$
– OmnipotentEntity
Jan 25 at 1:27
add a comment |
$begingroup$
It's called fractional iteration. There are papers on it and some research, among other things in the domain of fractals, but it's not a widely known subject. There are quite some restrictions on what properties the functions needs to have. The simplest case is to consider behaviour of a function between two stationary points (intersect the $f(x)$ and $x$ curves). On every such a bump, between two stationary points (assuming the function there is also monotonic), fractional iteration is well defined, as you have nicely behaved flow from one stationary point to the other. Of course, this operation has to satisfy rules, such as $f^{1/2}(f^{1/2}(x))=f(x)$ and so on. I don't know enough about the topic to state it with certainty, but I think there is no generally accepted rule for computing it for an arbitrary function, especially not in closed form (I once tried to compute it numerically for a few noninteger "powers", with mixed results). I do know that the question may be rewritten in terms of Schröder's equation, which looks more like a normal equation than asking "what happens if we apply a function noninteger number of times".
This is also somewhat related to the concept of fractional differentiation.
$endgroup$
add a comment |
$begingroup$
It's called fractional iteration. There are papers on it and some research, among other things in the domain of fractals, but it's not a widely known subject. There are quite some restrictions on what properties the functions needs to have. The simplest case is to consider behaviour of a function between two stationary points (intersect the $f(x)$ and $x$ curves). On every such a bump, between two stationary points (assuming the function there is also monotonic), fractional iteration is well defined, as you have nicely behaved flow from one stationary point to the other. Of course, this operation has to satisfy rules, such as $f^{1/2}(f^{1/2}(x))=f(x)$ and so on. I don't know enough about the topic to state it with certainty, but I think there is no generally accepted rule for computing it for an arbitrary function, especially not in closed form (I once tried to compute it numerically for a few noninteger "powers", with mixed results). I do know that the question may be rewritten in terms of Schröder's equation, which looks more like a normal equation than asking "what happens if we apply a function noninteger number of times".
This is also somewhat related to the concept of fractional differentiation.
$endgroup$
add a comment |
$begingroup$
It's called fractional iteration. There are papers on it and some research, among other things in the domain of fractals, but it's not a widely known subject. There are quite some restrictions on what properties the functions needs to have. The simplest case is to consider behaviour of a function between two stationary points (intersect the $f(x)$ and $x$ curves). On every such a bump, between two stationary points (assuming the function there is also monotonic), fractional iteration is well defined, as you have nicely behaved flow from one stationary point to the other. Of course, this operation has to satisfy rules, such as $f^{1/2}(f^{1/2}(x))=f(x)$ and so on. I don't know enough about the topic to state it with certainty, but I think there is no generally accepted rule for computing it for an arbitrary function, especially not in closed form (I once tried to compute it numerically for a few noninteger "powers", with mixed results). I do know that the question may be rewritten in terms of Schröder's equation, which looks more like a normal equation than asking "what happens if we apply a function noninteger number of times".
This is also somewhat related to the concept of fractional differentiation.
$endgroup$
It's called fractional iteration. There are papers on it and some research, among other things in the domain of fractals, but it's not a widely known subject. There are quite some restrictions on what properties the functions needs to have. The simplest case is to consider behaviour of a function between two stationary points (intersect the $f(x)$ and $x$ curves). On every such a bump, between two stationary points (assuming the function there is also monotonic), fractional iteration is well defined, as you have nicely behaved flow from one stationary point to the other. Of course, this operation has to satisfy rules, such as $f^{1/2}(f^{1/2}(x))=f(x)$ and so on. I don't know enough about the topic to state it with certainty, but I think there is no generally accepted rule for computing it for an arbitrary function, especially not in closed form (I once tried to compute it numerically for a few noninteger "powers", with mixed results). I do know that the question may be rewritten in terms of Schröder's equation, which looks more like a normal equation than asking "what happens if we apply a function noninteger number of times".
This is also somewhat related to the concept of fractional differentiation.
edited Jan 24 at 22:29
answered Jan 24 at 22:21
orionorion
13.7k11837
13.7k11837
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%2f3086387%2fapplying-a-function-a-non-integer-amount-of-times%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$
A sign error in your two fixed points. The one in the plot is $approx 0.31+1.33i$ but $W(-1)approx -0.31+1.33i$.
$endgroup$
– Somos
Jan 24 at 23:04
$begingroup$
Ah, that's true. Fixed.
$endgroup$
– OmnipotentEntity
Jan 24 at 23:53