Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Auto composition yields exponential
Replies: 5   Last Post: Aug 12, 2010 11:50 AM

 Messages: [ Previous | Next ]
 Nevertheless Posts: 28 From: Norman, Oklahoma Registered: 3/11/08
Re: Auto composition yields exponential
Posted: Aug 11, 2010 6:27 PM

> Rufus Isaacs, "Iterates of fractional order",
> Journal of Mathematics 2 #4 (1950), 409-416.

This reference appears to be what is desired; however, as I work through it to see how it applies, I will show the forum something that I have done which might lead to a solution:

Assuming that g(x) exists and that it has a Maclaurin series:

g(x) = a + bx + cx^2 + dx^3 + ...

g(x)^2 = aa + abx + acx^2 + adx^3 + ...
+ abx + bbx^2 + bcx^3 + ...
+ acx^2 + bcx^3 + ...

= aa + 2abx + (2ac+bb)x^2 + 2(ad+bc)x^3 + ...

g(x) = a + bx + cx^2 + dx^3 + ... (rewritten here to aid in multiplication)

g(x)^3 = aaa + 2aabx + (2aac+abb)x^2 + (2aad+2abc)x^3 + ...
+ aabx + 2abbx^2 + (2abc+bbb)x^3 + ...
+ aacx^2 + 2abcx^3 + ...

= aaa + 3aabx + 3(aac+abb)x^2 + (3aad+6abc+bbb)x^3 + ...

g(g(x)) = a +
bg(x) +
cg(x)^2 +
dg(x)^3 +

= a +
+ ab + bbx + bcx^2 + bdx^3 + ...
+ aac + 2abcx + (2acc+bbc)x^2 + 2(acd+bcc)x^3 + ...

= a + ab + aac + aaad + (bb+2abc+3aabd)x + (bc+2acc+bbc+3aacd+3abbd)x^2 + (bd+2acd+2bcc+3aadd+6abcd+bbbd)x^3 + ...

Since 2^x = e^(x ln 2), by substuting x ln 2 into the Maclaurin series for e^x, we get a series that we can equate to the above expression and then solve for a, b, c, and d using the four equations in four unknowns.

Generating more terms and solving more equations we should be able to extend this as far as we like, although it would be tedious, for sure. It seems to me that a software solution involving these ideas would be a nightmare.

Date Subject Author
8/10/10 Nevertheless
8/11/10 Dave L. Renfro
8/11/10 Nevertheless
8/12/10 Dave L. Renfro
8/12/10 Frederick Williams
8/12/10 Dave L. Renfro