Generic Algebra (2D) Mandelbrots.

[kram1032]

If you are not familiar with matrix notation, don't worry, I expanded it out during the thread.

Previously, I evilly hijacked a thread  with my idea of doing Matrix-based Mandelbrot sets.

In the last two days, I finally started playing around with different matrix configurations to find the ones that reproduce behaviour of the complex, the split complex and the dual numbers. - Later I looked it up at Wikipedia and found that I was correct, which is somewhat satisfying already

First, I'll show you the three kinds of matrices that do this and then I'll state the obvious and show a way, how to extend that to a generic algebra

So here comes the complex matrix which behaves just like complex numbers:
Here is the Split complex one:
And there you have the dual one:

Note, that in the upper right corner, the 2,1-position, you find the imaginary part multiplied by the square of the imaginary unit in either case.
So you could also write those as:
Complex:
Split complex:
Dual

So the obvious way to extend this is to do
- where n² is what ever value your additional dimension's unit should square to.

Adding two matrices together is done component-wise, so that's very straight forward.
To multiply them, you simply multiply the rows of one matrix with the collumns of the other and place the result into the corresponding position of the matrix. So in the general 2x2-case, that means:



For our general algebra matrix, that means:



Note, how for the ns i,j or epsilon, the real part of the multiplication would come out true.
Also note how the n²Im still is intact - the n can be taken out - and how also the Im in the lower left corner still is intact.

That means, any Mbrot, based on an algebra defined by that, has the form:

Where c is the constant for each dimension, that's altered for the Mset and indeed constant for the Jset.
So, you just take the upper left and the lower left results and use those to define your iteration

One of the nice properties of this class of matrices is, that all of them have a general inverse:

- which if you just look at the left part of the matrix and compare with the inverse of complex numbers, can easily be tested to turn out true

*/ to be continued with even more general but maybe (maybe as not yet tried) less interesting extensions.

[kram1032]

Ok, the next thing I tried is exponentiation.
How would you define e^[matrix]? - simple:
Matrix powers are defined and so are matrix additions. So what could be more natural than using the taylor series?

Apparently, Wolfram Alpha can't really deal with the sum of the powers of a generic 2x2 matrix but it works perfectly fine for a matrix of the form, I showed up there.



Note how the real diagonal still stood the same and how the other diagonal still is different by n². So it's still the same: The Real value is the top left part and the imaginary value is the bottom left part.

However, previously I defined n² being the value, that your additional dimension with the unit n squares to.
n in that formla now should be the "usual sqrt(n²)" and not your imaginary unit. - I hope. If you want to experiment with actual imaginary units in that place, what you need to do is probably define sinh and cosh for this. And/Or replace n by yet an other matrix, upgrading this rather simple 2x2 matrix to a 4x4 one.

So, for a generic 2D vector algebra, with the imaginary unit squaring to n, your exponation is defined by

Real part:
Imaginary part:

With that, we have a definition of the unit circle, which isn't necessarily a circle

If I can fit the logarithm into this picture, we actually have matrix powers of matrices. The main problem with that is, that ln has a lot of different power series which all only partially work for the whole field of complex numbers. So depending on the choice I make, there might be different versions of ln...

[kram1032]

Ok, here is the generic sine and cosine, as defined by the taylor series. Generic tan and ln will hopefully follow soon

[kram1032]

Ok, ln is a bit complicated. if abs(x-1)<1, you get the first Definition. If abs(x-1)>1, you get the second definition, which involves the first definition.

So, here you go:
The first definition:
, if |Re-1+nIm|<1

And the second one:
, if |Re-1+nIm|>1

[kram1032]

some experiments you could do, involve making the unit dependend on the real or imaginary part or on both...

This works by replacing:

n²Im -> +/- Im³ - the imaginary unit is directly dependend on the current imaginary value

n²Im -> +/- Re²Im - the imaginary unit is directly dependend on the current real value

And now the craziest part:

n²Im -> (Re²+n²Im²)Im - which is equivalent to n²->Re²+n²Im²
- Suddenly the imaginary unit itself becomes an iterated function.
I wonder if that converges in the limit... - if it does, the result might be very interesting. It would be the fractional imaginary unit

The first two are easy to solve and can be written in component form as:

dependend on imaginary:
x->x²+/-y⁴+c_x
y->2xy+c_y

dependend on real:
x->(1+/-y²)x²+c_x
y->2xy+c_y

Note, however, that this is only properly defined in case of pure powers (or, luckily, power series) - if you do a "simple" multiplication, you end up with two different possible real values.
So in that case, you need to iterate through both real values, which leads to 3 instead of 2 equations. And then, when you draw them, you need to descide, what to do.
Possibilities include:
-Ommit one real part
-Take one of the several possible averages
-Take their vector length ((r₁²+r₂²)^1/2)
- Go 3D and basically have 2 different real parts. - maybe an actual new candidate for a "true" 3D Mset

that also leads to a possible 3D or 4D Mset of the general 2x2-Matrix space.

However, the solution in that case wouldn't be 2 or 3 imaginary and 1 real parts but rather 1 or 2 imaginary and 2 real parts!

[kram1032]

Here is an experiment with that

It's a buddhabrot which randomly samples through any algebra which's additional dimension square to anything between -1 and 1. So, it includes the complex, split complex and dual numbers but also anything in between

Download here to see the full resolution: http://kram1032.deviantart.com/#/d2wmwag

[kram1032]

Here is an experiment with the imaginary unit being dependend on the current imaginary part:
http://www.deviantart.com/download/176258070/Royal_Imagination_by_kram1032.png