r

(08/10/2009, 06:14 PM)Tetratophile Wrote: [ -> ] (08/10/2009, 11:32 AM)Ansus Wrote: [ -> ]Heh it would be a good idea to introduce an 'arc' or 'inv' operator instead of ugly f^-1, commonly used.

so you might want to consider fractional iterates of functional inversion operator inv[]?

such that inv^2[f] = f (hopefully)

can we assume this f^a)^b = f^(ab) for most cases?

can real or complex iterates of functional inversion be associated with powers of -1?

is []^i=inv^(1/2)[], so that (f^i)^i = f^-1?

how are these complex iterate thingies numerically computed anyway?

If you only mean inverse of f like inv(f) or half-step or even complex-step of this then I think, this is the question of powers of the iterator-parameter:

Code:

`inv(f) = f°[-1](x)`

inv(inv(f)) = f°[-1](f°[-1](x)) = f°[(-1)*(-1)](x) = f°[1](x) = f(x)

As you want to do arithmethic with the "number of parts of inv"-operations, then I think, that this is

inv(inv(...(inv(f(x)))) = f°[(-1)^h](x) \\ where then "inv" occurs h-times

and fractional "iterates of inversion" is then multivalued with complex heights according to the complex roots of -1

inv°[s](f(x)) = f°[(-1)^s](x)

But we already have a concept of complex heights, at least with functions, which can be represented by Bell-matrices: just compute the s'th power of the Bell-matrix and use its entries for the coefficients of the Taylor-series of the new function.

For an easier example than ours (which is the exponential f(x) = exp(x)) you can look at the function f(x) = x+1 and the fractional and complex powers of the Pascal-matrix.

Say , with the vandermonde(column-)vector V(x)= [1,x,x^2,x^3,...]~ and the (lower triangular) pascalmatrix P

Code:

`´`

P * V(x) = V(x+1) implements f(x) = x+1

P^-1 * V(x) = V(x-1) implements inv(f(x)) = x - 1

Generally, using the matrix-logarithm and -exponential

PL = Log(P)

P^s = EXP( PL * s) // for all complex s

Then also

P^((-1)^s) = EXP( PL * (-1)^s) // for complex s

which is what you asking for, and practically

P^((-1)^s) * V(x) = V(x+(-1)^s) implements inv^[s](f(x)) = x + (-1)^s

One nice property of the Pascal-matrix is, that you even don't need the LOG and EXP for fractional powers.

If you define the vandermonde-vector V(x) as diagonal-matrix dV(x), then

Code:

`´`

P^s = dV(s)* P * dV(1/s)

and

P^s * V(x) = dV(s)*P*dV(1/s) * V(x)

= dV(s)* P *V(x/s)

= dV(s) * V(x/s+1)

= V(s*(x/s + 1)

= V(x+s)

So, for the "half-inverse" in this sense, we need P to the (-1)^0.5 = I 'th power

Code:

`´`

PI = P^i = dV(i)*P*dV(1/i)

PI * V(x) = V(x+i)

Now we cannot simply use the iterate

Code:

`´`

PI^2* V(x) = PI * V(x+i) = V(x+2i)

because it were in fact P^(i+i) = P^(2i) but need the i'th power of PI, such that P^(i^2) = P^(-1) is the result.

Thus

Code:

`´`

PII = (P^i)^i = P^(i^2) = P^-1

= dV(i) * PI * dV(1/i)

PII * dV(x) = dV(i) * PI * dV(1/i) *V(x)

= dV(i)* dV(i)*P*dV(1/i) *dV(1/i) *V(x)

= dV(-1) *P* dV(-1) *V(x)

= dV(-1) *P * V(-x)

= dV(-1) * V(-x+1)

= V(-(-x+1))

= V(x - 1)

However, the latter nice and easy computation of arbitrary powers of P by simply multiplication with diagonal-vectors is not available for our exponential-iteration, here we need the matrix-log or eigensystem-decomposition of the bell matrix to get fractional powers and then fractional iterates, or even complex powers steming from complex unit-roots to implement "fractional-step-inversion"...

But I can provide a picture, where I plotted complex heights for the base b =sqrt(2) such that we have the curves for b^^h, where h=(-1)^m, where m is real, thus the "inversion in fractional steps". The graph has four curves, the relevant is the blue one: for h=1 the curve is on the real axis at x=(real,imag)=(sqrt(2),0), for h=-1 is x=(log(1)/log(b), 0) = (0,0), and for the "half-inverse" (having h=(-1)^0.5=I) it is at the thick blue point.

[

attachment=503]

[

attachment=503]