Home   Science Page   Data Stream Momentum   Directionals   Root Beings   The Experiment

24.1 The General Inverse Function

Introduction

     In the last part of this book we will explore a few related areas of mathematics; tie up a few loose ends; reach some dead-ends; and include some research upon ¹. Because of this hodgepodge of topics we call this Notebook Leftovers. The following topics will be dealt with herein:

     1. First we extend the research of our square root paper looking at the Inverse Function of our Root Equations. 2. In searching for the slope of the Line of the Higher Roots, we reach some Dead Ends, which are exhibited and commented upon here. 3. Then we explore parallels between the Mandelbrot set and our Root Beings. 4. This exploration leads to an examination of the In-between Fractional Root and its significance. 5. This leads us into the unique properties of the Binomial Root System developed in these pages. 6. Finally we connect ¹ and other ÔpatternedÕ transcendentals with the infinite continued fraction system. If the Reader has any curiosity left, read on. ItÕs worth it.

In search of the Logarithmic slope for the higher Roots

In Part I, Square Root Family, we succeeded in finding an ÔordinaryÕ equation that would emulate our iterative expression for square roots. Intoxicated with success, we now delve into the higher roots. We remember from Part III, Root Beings, that the Difference Series for the Higher Roots is logarithmically linear in a similar way to the Difference Series for Square Roots. We would love to find the slope of these lines and we would love to write another complex equation to describe them.

A. Proof: The Slope of the Difference Series for Square Roots

Steps 1->7: Reproving the Divine Ratio as the slope

Let us see how we discovered the slope, i.e. the divine ratio, for our square Root Series.

This is the relation that we are trying to discover. It is the ratio between consecutive members of the Difference Series for square roots.

In our Notebook on the F& D Series for Square Roots we proved step 2. We called it the 7th Theorem.

Simple algebra transforms it into step 3. We substitute this expression for Ä(N) back into equation 1 to arrive at step 4.

Some simple algebra yields the next steps. In step 5 we multiply the top and bottom of the equation by ÄÕ(N-1). In step 6 we factor an ÔxÕ out of the denominator. In step 7 we factor a Ô-1Õ out of the denominator.

Theorem: Ä(N)-x = ÄÕ(N)-xÕ for square roots

To move forward we need to introduce an intermediate theorem. We already proved the following two relations in the past Notebook.

First we subtract the two equations from each other.

This yields the intriguing result of equation 4. In words it states that the difference between the F Series and its limit, x, equals the difference between the inverse series, ÄÕ(N) and its limit, xÕ.

Finishing off the Proof: Steps 8 &9

We substitute this result into equation 7 above. The two factors on the right equal each other and therefore cancel each other out, equaling one. This yields step 8 below.

From the Square Root Notebook, we know that the limit of the inverse Series, ÄÕ is xÕ. We substitute this below.

Thus as the number of iterations, N, approaches infinity, the ratio between consecutive members of the difference series for square roots approaches the negative divine ratio, -d2. Bingo. ThatÕs it.

Need inverse function, ÄÕ, with limit, xÕ, for the higher roots

This is the proof that we need to emulate to find the slope, i.e. the divine ratio, for the higher roots. We notice two elements that exist in this proof that we donÕt have so far: the inverse series, ÄÕ, and its limit, xÕ. Thinking simplistically, as always, we assume that if we can only find the inverse root and its limit that the Slope for our Higher Root Beings will immediately fall out from there. Then our complex spiral will emerge quickly from there. Therefore this section focuses upon the search for the inverse function and its limit for the higher roots.

B. Iterative functions are weird

Our General Root Formula consists of a single iterative fraction. The numerator, a constant, is a real number and the answer, the Root minus one is also real. Both of these are ÔnormalÕ numbers. However, combined with these ÔnormalÕ algebraic expressions is a weird denominator. It is the sum of an infinitesimal and generator raised to the N power. It creates the iterative expression. This section is going to focus upon that weird denominator.

Proper and improper speech

WhatÕs weird about it. It represents an iterative process rather than a static state. As opposed to ÔnormalÕ functions, one cannot speak specifically about what this iterative process equals. One can speak about what it equals after a specific amount of iterations. One can also say that the iterative function approaches or doesnÕt approach a certain value. For instance it is proper to say: ÒWhat is the value of our function after 20 iterations?Ó or ÒWhat value does the function approach?Ó or ÒDoes it approach a Limit?Ó It is improper to say: ÒWhat does the function equal?Ó Our iterative functions are always in process. While they may approach a destination incredibly rapidly, they never reach it. Indeed as we showed in a previous paper, the approach to this mythical Limit by the iterative functions that we are studying is actually erratically linear on a logarithmic scale. Hence from a logarithmic perspective their approach is quite steady and regular.

The Pattern dominates the elements

Another weird aspect to these iterative functions is that they cannot be treated with standard algebraic procedures. Because they feed upon themselves, i.e. past results, the pattern of regeneration is everything. Because this Pattern is so dominant in the process, anything that changes the Pattern changes the subsequent results in strange and seemingly unpredictable ways. One word that has been applied to dynamical functions is counter-intuitive.

ÔOnesÕ never added casually to iterative expressions

We will explore some counter-intuitive properties of our iterative system later on. But for now let us examine an easy example on the most elementary level of one layer of feedback. Suppose our iterative equation is X1 = X02. If X is a positive number less than one, 1>X0>0, then the limit of our iteration is zero, X(°) = 0. However if a simple one is added to the same expression, X1 = X02+1, the iterative result goes to infinity, X(°) = °. Thus a simple one could easily drive the orbit from finite to infinite when added to an iterated function. The simplest operation of addition because of continual feedback can drastically change the results. The point here is only that the weird denominator turns the expression into an iterative function. Let us look a little more closely at this weird element.

C. The Inverse Limit, xÕ

Remembering prior results

Before our next exploration let us look at a few of the Theorems that we have proved.

This is our famous iterated Infinite Continued Fraction Series, which we mentioned above with its ÔweirdÕ denominator. The information is found in the F Series Theorem, Theorem 1, found in Higher Roots.

X equals the infinite limit of the F Series

Let us return once again to the derivation of this F Series. We begin with the Given that L is any positive rational number, a/b. We call L the Root Number. We then Let X+1 equal the Root Number, L raised to the rational power, M/N. M & N, a & b are all positive integers. We call M/N the Power. The Root Number raised to the Power is called the Root, which we call R.

In a previous paper we derived a well-tested General Root Formula. This is shown below.

Our Formula is written in terms of X, which equals the General Root, R, minus one. The F Series is an iterative series based upon infinite continued fractions with the Root minus one as its limit. As the number of iterations approaches infinity, the limit of the series is X. The iterative expression is shown in its simplified binomialized form on the right. The approximation sign, Å, in this case and throughout our Notebooks, indicates that after a finite number of iterations the answer is only approximate, while after an infinite number of iterations the result is exact.

F Series Expression with constant, c

Below is another equivalent representation with the constant, c, replacing the numerator. This is the constant we have used for simplification in other parts of our exploration. F raised to the Power is the limit of the iterative series. Remember the finite iterative series is only an approximation of X.

Creating XÕ, a real number

Now let us create an XÕ, which equals c/X.

We see that XÕ equals a fraction. We know that XÕ is a real number because c, the numerator of the fraction, is a constant, which is a real number, and that X, the denominator, is a positive root plus one, which is also a real number. Therefore XÕ has a real value which can be computed and we will.

The relation between X and XÕ

This creates the following interesting relations.

The first states that the limit of the F Series, which equals X, is also equal to c, our constant, divided by XÕ. Also the product of X and XÕ is c.

Theorem 5: X*XÕ = c

Although this relation follows immediately from the definition, we will grace it with a theorem for ease of reference. This is the fifth iterative theorem, derived in the Square Root Family Notebook, Part I.

DonÕt jump to conclusions! XÕ not equal to Root Generator

Lest we get carried away with parallels, and jump to some unjustified conclusions, let us note that although XÕ holds an identical position to the Root Generator in the following equation, that they are not equal.

The Root Generator only exists as part of the whole iterative expression. It is not separate from it. If the Root Generator could become something it would become XÕ. But it doesnÕt exist separately. While the musical notes make the music, one canÕt isolate out the notes and find the music. Thus our Root Generator is the music, while XÕ is its endnote. While XÕ is the end limit it is not the music.

An elementary example of the square roots

To illustrate some of the problems of equivalency, let us look at the following simple example, when Q =2. Expanding the Root Generator in the normal way we come up with the following expression:

F(0) = 2 + F(1)

In the previous treatments of this simple expression, i.e. when it was in the denominator, it didnÕt matter what the seed was, because the series would always produce the appropriate square root. However in this example it is easily apparent that if the right hand side is treated as an independent iterative expression equal to F(0) that it will quickly move to infinity with any seed greater than -1. In no way or under any circumstance will it approach the value of XÕ, which we proved in the square root paper equals the Root plus one

Thus while XÕ seems to equal the Root Generator or at least its Limit, in reality it only equals what the Root Generator could equal if it could have a separate limit, which it canÕt.

D. What does xÕ equal

Let us see what XÕ equals.

Notational subscripts and superscripts

First we need some notational clarifications. In order to differentiate the order of the Xs and XÕs we will use the same subscript, superscript method that we used with the F Series. It is assumed that each of these expressions has the same Root Number, L. The different Powers have different X and XÕ expressions which we will explore.

To further simplify matters and see where weÕve been, let us assume that M=1 in the following explorations. Then this is the notational shortcut that we will use.

Notice as is normal with ones, they disappear.

Theorem 5.2: A computational formula for simple roots of XÕ

Let derive a usable expression to determine the value of XÕ. Following are the definitional extensions of XÕ when we are finding simple roots, i.e. when M =1.

Following is the simple theorem, for easy reference.

XÕ for Square Roots, an old friend

First let us look at the XÕ for square roots and we discover an old friend. Employing the above theorem, we derive the expression for XÕ for square roots that we derived in the earlier paper, i.e. the square root of the Root Number plus one, that we mentioned earlier.

A simple confirmation: X * XÕ = c

Remembering that X equals the Root minus one, we multiply X and XÕ together to arrive at L-1, which equals c, confirming our algebra.

The value of XÕ for fourth Roots

Let us tackle something a little more difficult, XÕ for fourth roots. Remembering that X4 equals the fourth root of the Root Number minus one, we substitute in the Theorem 5.2 from above.

Using the same technique as for square roots, we multiply the denominator by its reciprocal, twice, in order to simplify the expression. The L-1 expression that appears in the denominator cancels the L-1 expression in the numerator, leaving us with an intriguing product.

Fourth roots as a function of square roots

We notice that XÕ for fourth roots is a function of XÕ for square roots. This is written below.

Or we could just expand the product in normal fashion and arrive at the following patterned result.

We could factor this expression in the following way to get an expression that is very similar to the expression for the Mandelbrot equation, as we shall see.

XÕ for 8th roots

Now let us look at the XÕ for 8th roots to expose the pattern for what it is.

Using the same technique of reciprocals, we find the expression for XÕ for 8th roots. We notice that within it are the expressions for the XÕ for 2nd roots and XÕ for 4th roots, shown below.

If we simply expand the product like we did before we get the similar intriguing result.

16th root of XÕ

Using the same techniques we could also find the 16th root of XÕ. Shown below.

It is easily seen that it too is a function of the 8th root of XÕ.

Each XÕ greater than the one that went before

The positive Root of any positive number is always positive. This positive added to one makes all of the multipliers greater than one. If they are greater than one then they expand a product. Because all the roots of XÕ are all successive products of themselves, it would be easy to derive the following result.

3rd root of XÕ

Now let us look at the 3rd root of XÕ.

This is the same expression that we could so easily manipulate with reciprocals, before. However cube roots donÕt break into reciprocals like multiples of 2. So we go with long division.

Amazing! It came out even. Thus along with the previously established pattern we arrive at this expression for the cube root of XÕ.

We canÕt break this expression into a binomial expression like before, unless we invoke imaginary numbers, which donÕt reveal any recognizable patterns. However we can turn it into a Mandelbrot type expression, like we did with the 4th root. This is shown below.

The Nth Root of XÕ

It is easy to generalize to the Nth root of XÕ. Basically we are looking for a reciprocal function, XÕ, that when multiplied times X yields L-1. Let us assume from our pattern so far that XÕ takes the following form.

Now if we multiply X*XÕ we should arrive at L-1=c. LetÕs do it. X equals the Nth root of L minus one. This is the right hand column. The left column is the expression for XÕ.

If we multiply both parts of X times XÕ and then add these parts together we will arrive at their product. This is shown below.

Multiplying the Root of L times XÕ yields the top expression. Notice that 1/N is added to the exponent of each part of XÕ. Multiplying Ô-1Õ times XÕ only turns the addition sign on the left into a subtraction sign. Finally we subtract the top from the bottom and arrive at L-1, which equals c. Thus our educated guess for XÕ was accurate.

Theorem 5.3: XÕ equals

This is expressed in the theorem below.

Factoring out as before we arrive at the following Mandelbrot type expression.

Thus once more we arrive at a nested version of these iterated equations. There are (N-1) L expressions and also (N-1) Ô+1Õ expressions in the equation.

Comparison with the Mandelbrot equation

For comparison let us look briefly at the Mandelbrot nested equation, which we will develop in a following section.

We have the same series of constants in the beginning of the expression. In one case for the Mandelbrot equation the constant is c. While for the xÕ equation the constant multiplier is the Nth root of L. Each of the expressions also end with a bunch of Ô+1)Õs. The only difference worth noting, and an extremely crucial one, is that the Ô+1)Õ expressions are all squared for the Mandelbrot equation while they are not for xÕ. Intriguing similarities with no connection.

E. The Inverse Fraction Series, FÕ

Now that we have discovered what XÕ equals let us look at the inverse Fraction Series.

Remembering the ÔÆÕ notation

Let us remember the general expression for our constant ÔcÕ. Let us introduce a Æ constant and a bÕ constant for simplification. Then c simply equals the ratio between the two.

Remembering the Denominator Series

Let us now remember the general expression for the F series in terms of the Denominator Series, the D series.

We defined d(N) specifically in past Notebooks. It is not relevant to the present treatment. The ratio of consecutive members of this series treated as above yields the F Series.

Defining an inverse series, ÄÕ

Let us now define an inverse series, ÄÕ, based on the inversion of the fraction. The last member of the D series is now in the numerator while the preceding member is on the bottom. This is shown below.

Theorem 6: Ä(N)*ÄÕ(N-1)=c

If this were the definition for ÄÕ(N) then ÄÕ(N-1) would equal the following.

Multiplying Ä(N) times ÄÕ(N-1) would equal our good friend, the constant c. Shown below.

This is our next theorem.

We call it Theorem 6, as in the Square Root Theorems. Notice that it is identical except for the bÕ = bM, which allows this expression to include all fractional roots. When M = 1 as in square roots, our inverse function is identical to the Square Root Theorem #6.

Theorem 7: Infinite reciprocal product equals finite product

Combining Theorem 6 and Theorem 5 we arrive at the next theorem.

Since both the reciprocal product of finite series and infinite series both equal c, they obviously equal each other.

This is Theorem 7. It is identical to Theorem 7 for square roots.

Remember that this is for all fractional dimensions, not just square roots or cube roots.

Theorem 4: the limit of the inverse series, FÕ, is XÕ.

Dividing both sides of Theorem 7 by Ä(N) we get the top equation. We know that the limit as N approaches infinity of Ä(N) is x. Therefore as N approaches infinity in the first equation, X/Ä(N) approaches one. This leaves us with the third equation.

The inverse function approaches XÕ as N, the number of iterations, approaches infinity. This is shown below in Theorem 4. Again it is identical to Theorem 4 for square roots.

Although we have left the superscripts and subscripts out for economy of statement, remember again that these formulas apply to all fractional Roots. These relations are reiterated below with their complete superscripts and subscripts.

Summary of Inverse Theorems

This section has established the universality of the Inverse F Series Theorems for all rational roots. The Inverse F Series Theorems numbered 4 through 7 hold for all rational roots, not just square roots. Through these theorems the inverse F Series is defined in terms of the D Series. While the F Series is a ratio of consecutive members of the D Series, the inverse F Series is the inverted ratio of consecutive members. Both the F Series and Inverse F Series have limits. The product of these limits is our constant c. Further the product of specified finite members of both series also equals the same c. The finite product equals the product of the infinite Limits. Thus our System revolves around these polarities of finite and infinite, right-side-up and inverted. These polarities are contained in the Inverse Series Theorems.

On to glory

Well now that weÕve achieved our goals of determining the inverse F Series with its Limit, we can now move on to the glory of finding the Slope of the Line for Higher Roots by using the same techniques we did when we discovered the Slope for the Square Root Line. Will it work? We donÕt know. You must read on into the next section to find out.

 

Home   Science Page   24. Leftovers   Next Section