Tetration Forum

Full Version: Taylor series of i[x]
You're currently viewing a stripped down version of our content. View the full version with proper formatting.
Pages: 1 2
Hi, again!
Maybe I have found something related to the Nth derivative of i[x] (I may or may not know how to get the derivative of a non-analytic function like y = 1 if x=rational otherwise -1). Really interesting. But first of all, I would like to check it myself. But I will need your help.
Here is a produktum:

I would like to interpolate this expression/function, but how? Any idea?
(If I will be able to get the expansion of the Taylor series of i[x], then I promise I will share it with you.)
First of all, I am afraid, that it is necessary to get the derivatives of the logical gates.

[Image: BitXor_1000.gif]

That would the 0th step to our target.
Okey, it is not hard to make contiously, just like this:
x xor y = lim (2^h x xor 2^h y)/2^h
And we know that
x xor y = (x and -y) or (-x and y)
But how to derivate?
Okay, let us sign i[x] to just i and I[x] to just I where I[x] = int i[x] dx.
D := d/dx

So
D I = i
D i = i'
D  i I = i' I + i^2 = i' I - 1
D I i = i^2 + I i' = I i' - 1


Therefore
i' I = 1 + (i I)'
and
I i' = 1 + (I i)'

D 1 I = D I 1 = 0 + i = i

But
D i÷I = (i' I - i^2)÷I^2 = (i' I + 1)÷I^2 = (2 + (i I)')÷I^2
D I÷i = (i^2 - I i')÷i^2 = I i' = 1 + (I i)'
D I÷i = -D i I = 1 - i' I
Thus
D I i = - i' I = I i' - 1
furthermore
i' I = 1 - I i'

I do not have to talk about i' I is not I i', right?


D 1÷I = (0 - i)÷I^2 = - i÷I^2

What is next?
The only useful information is that 1 ÷ i = -i ... or anything else?
Pages: 1 2