Super-logarithm

Super-logarithm

In mathematics, the super-logarithm is one of the two inverse functions of tetration. Just as exponentiation has two inverse functions: roots and logarithms, likewise tetration has two inverse functions: super-roots and super-logarithms. There are several ways of interpreting super-logarithms:

* As the Abel function of exponential functions,
* As the inverse function of tetration with respect to the height,
* As the number of times a logarithm must be iterated to get to 1,
* As the continuous extension of the iterated logarithm to the real numbers (see above),
* As a generalization of Robert Munafo's [http://www.mrob.com/pub/math/largenum.html large number class system] ,
* As an unbounded version of the logistic function, or
* As a function with a pathologically slow rate of growth.

One of the reasons why the super-logarithm has been slow to become standard is that there are several competing definitions. Each of these definitions complement each other in some way, and are all "correct" in some sense. So determining which definition is more "correct" has led to some confusion and debate amongst the mathematical community investigating the super-logarithm.

Definitions

The super-logarithm, written ,mathrm{slog}_b(z), is defined implicitly by

:,mathrm{slog}_b(b^z) = mathrm{slog}_b(z) + 1 and:,mathrm{slog}_b(1) = 0.

Notice that this definition can only have integer outputs, and will only accept values that will produce integer outputs. The only numbers that this definition will accept are of the form b, b^b, b^{b^b} and so on. In order to extend the domain of the super-logarithm from this sparse set to the real numbers, several approaches have been pursued. These usually include a third requirement in addition to those listed above, which vary from author to author. These approaches are:

* The linear approximation approach by Rubstov and Romerio,
* The quadratic approximation approach by Andrew Robbins,
* The regular Abel function approach by George Szekeres,
* The iterative functional approach by Peter Walker, and
* The natural matrix approach by Peter Walker, and later generalized by Andrew Robbins.

Approximations

Usually, the special functions are defined not only for the real values of argument(s), but to complex plane, and differential and/or integral representation, as well as expansions in convergent and asymptotic series. Yet, no such representations are available for the slog function. Nevertheless, the simple approximations below are suggested.

Linear approximation

The linear approximation to the super-logarithm is:

:mathrm{slog}_b(z) approx egin{cases}mathrm{slog}_b(b^z) - 1 & ext{if } z le 0 \-1 + z & ext{if } 0 < z le 1 \mathrm{slog}_b(log_b(z)) + 1 & ext{if } 1 < z \end{cases}

which is a piecewise-defined function with a linear "critical piece". This function has the property that it is continuous for all real "z" (C^0 continuous). The first authors to recognize this approximation were Rubstov and Romerio, although it is not in [http://forum.wolframscience.com/showthread.php?s=&threadid=579 their paper] , it can be found in [http://forum.wolframscience.com/showthread.php?threadid=956 their algorithm] that is used in their software prototype. The linear approximation to tetration, on the other hand, had been known before, for example by Ioannis Galidakis. This is a natural inverse of the linear approximation to tetration.

Authors like Holmes recognize that the super-logarithm would be a great use to the next evolution of computer floating-point arithmetic, but for this purpose, the function need not be infinitely differentiable. Thus, for the purpose of representing large numbers, the linear approximation approach provides enough continuity (C^0 continuity) to ensure that all real numbers can be represented on a super-logarithmic scale.

Quadratic approximation

The quadratic approximation to the super-logarithm is:

:mathrm{slog}_b(z) approx egin{cases}mathrm{slog}_b(b^z) - 1 & ext{if } z le 0 \-1 + frac{2log(b)}{1+log(b)}z + frac{1-log(b)}{1+log(b)}z^2 & ext{if } 0 < z le 1 \mathrm{slog}_b(log_b(z)) + 1 & ext{if } 1 < zend{cases}

which is a piecewise-defined function with a quadratic "critical piece". This function has the property that it is continuous and differentiable for all real "z" (C^1 continuous). The first author to publish this approximation was Andrew Robbins in [http://tetration.itgo.com/paper.html this paper] .

This version of the super-logarithm allows for basic calculus operations to be performed on the super-logarithm, without requiring a large amount of solving beforehand. Using this method, basic investigation of the properties of the super-logarithm and tetration can be performed with a small amount of computational overhead.

Approaches to the Abel function

The Abel function is any function that satisfies Abel's functional equation::,A_f(f(x)) = A_f(x) + 1Given an Abel function A_{f}(x) another solution can be obtained by adding any constant A'_{f}(x) = A_{f}(x) + c. Thus given that the super-logarithm is defined by mathrm{slog}_b(1) = 0 and the third special property that differs between approaches, the Abel function of the exponential function could be uniquely determined.

Regular approach

Szekeres defines the "regular" Abel function as the logarithm of the regular Schroeder function. The regular Schroeder function is defined as :S_f(x) = lim_{n ightarrowinfty} frac{f^n(x)}{(f'(x_0))^n} (where f^n(x) is functional iteration, and x_0 = f(x_0) is a fixed point of f(x)) so as to satisfy the functional equation (called Schroeder's functional equation):,S_f(f(x)) = (f'(x_0))S_f(x) So using this, the regular Abel function is defined by :A_f(x) = frac{log(S_f(x))}{log(f'(x_0))} so as to satisfy the functional equation (called Abel's functional equation):,A_f(f(x)) = A_f(x) + 1

Using this approach, the super-logarithm is defined as mathrm{slog}_b(z) = A_{(exp_b)}(x), the regular Abel function of b^x. This is one of the oldest approaches, and as such it is called the "regular" approach. So the super-logarithm based on this approach is called the regular super-logarithm. Since the regular approach depends upon a fixed point x_0, this is also called the regular super-logarithm about x_0, for clarity.

Other approaches

Other approaches to the super-logarithm do exist, as mentioned above. For example, Peter Walker's approaches, both his iterative approach and his matrix approach are apt at discovering more about the super-logarithm. Until more papers are published on these methods, many aspects of these techniques remain unknown. For more information about these methods, the reader is encouraged to see the references below.

Properties

Other equations that the super-logarithm satisfies are::,mathrm{slog}_b(z) = mathrm{slog}_b(log_b(z)) + 1 :,mathrm{slog}_b(z) > -2 for all real z

log as inverse of tetration

As tetration (or super-exponential) ~{ m sexp}_b(z)~ is suspected to be an analytic functioncite journal
author=Peter Walker
title=Infinitely Differentiable Generalized Logarithmic and Exponential Functions
journal=Mathematics of Computation,
volume=57
issue=196
year=1991
pages=723-733
url=http://www.jstor.org/pss/2938713
] , at least for some values of ~b~, the inverse functionslogb=sexpb-1 may also be analytic.Behavior of~{ m slog}_b(z)~, defined in such a way, the complex ~z~ plane is sketched in Figure 1for the case ~b=e~. Levels of integer values of real and integer valuesof imaginary parts of the slog functions are shown with thick lines.If the existence and uniqueness of the analytic extension of tetration is provided by the condition of itsasymptotic approach to the fixed points L approx 0.318131505204764135312654 + 1.33723570143068940890116{!~ m i} and L^* approx 0.318131505204764135312654 - 1.33723570143068940890116{!~ m i} of L=ln(L) cite journal
journal=Journal für die reine und angewandte Mathematik
author=H.Kneser
title=Reelle analytische Losungen der Gleichung varphiBig(varphi(x)Big)={ m e}^x und verwandter Funktionalgleichungen
volume=187
pages=56-67
year=1950
] in the upper and lower parts of the complex plane, then the inverse function should also be unique.Such a function is real at the real axis. It has two branch points at~z=L~ and~z=L^*. It approaches its limiting value -2 in vicinity of the negative part of the realaxis (all the strip between the cuts shown with pink lines in the figure), and slowly grows up along the positivedirection of the real axis.As the derivative at the real axis is positive, the imaginary part of slog remains positivejust above the real axis and negative just below the real axis.The existence, uniqueness and generalizations are under discussionTetration forum, http://math.eretrandre.org/tetrationforum/index.php] .

ee also

* Iterated logarithm
* Tetration

References

* Ioannis Galidakis, [http://ioannis.virtualcomposer2000.com/math/ Mathematics] , published online (accessed Nov 2007).
* W. Neville Holmes, [http://portal.acm.org/citation.cfm?id=620661 Composite Arithmetic: Proposal for a New Standard] , IEEE Computer Society Press, vol. 30, no. 3, pp. 65-73, 1997.
* Robert Munafo, [http://home.earthlink.net/~mrob/pub/math/largenum.html Large Numbers at MROB] , published online (accessed Nov 2007).
* C. A. Rubtsov and G. F. Romerio, [http://forum.wolframscience.com/showthread.php?s=&threadid=579 Ackermann's Function and New Arithmetical Operation] , published online (accessed Nov 2007).
* Andrew Robbins, [http://tetration.itgo.com/paper.html Solving for the Analytic Piecewise Extension of Tetration and the Super-logarithm] , published online (accessed Nov 2007).
* George Szekeres, [http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.em/1048515657 Abel's equation and regular growth] : variations on a theme by Abel, Experiment. Math. Volume 7, Issue 2 (1998), 85-100.
* Peter Walker, [http://links.jstor.org/sici?sici=0025-5718(199110)57%3A196%3C723%3AIDGLAE%3E2.0.CO%3B2-B Infinitely Differentiable Generalized Logarithmic and Exponential Functions] , Mathematics of Computation, Vol. 57, No. 196 (Oct., 1991), pp. 723-733.

External links

* Rubstov and Romerio, [http://forum.wolframscience.com/showthread.php?threadid=956 Hyper-operations Thread 1]
* Rubstov and Romerio, [http://forum.wolframscience.com/showthread.php?threadid=579 Hyper-operations Thread 2]


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Logarithm — The graph of the logarithm to base 2 crosses the x axis (horizontal axis) at 1 and passes through the points with coordinates (2, 1), (4, 2), and (8, 3) …   Wikipedia

  • Iterated logarithm — In computer science, the iterated logarithm of n , written log* n (usually read log star ), is the number of times the logarithm function must be iteratively applied before the result is less than or equal to 1. The simplest formal definition is… …   Wikipedia

  • Tetration — In mathematics, tetration (also known as hyper 4) is an iterated exponential, the first hyper operator after exponentiation. The portmanteau word tetration was coined by English mathematician Reuben Louis Goodstein from tetra (four) and iteration …   Wikipedia

  • Order of magnitude — An order of magnitude is the class of scale or magnitude of any amount, where each class contains values of a fixed ratio to the class preceding it. In its most common usage, the amount being scaled is 10 and the scale is the (base 10) exponent… …   Wikipedia

  • List of mathematical functions — In mathematics, several functions or groups of functions are important enough to deserve their own names. This is a listing of pointers to those articles which explain these functions in more detail. There is a large theory of special functions… …   Wikipedia

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • Slog (disambiguation) — A slog is a type of shot in the game cricket.Slog may also be: * A super logarithm, the inverse function of super exponentiation * A creature of fictional Oddworld * An acronym for Swanley Light Opera Group …   Wikipedia

  • Decimal superbase — Many numeral systems with base 10 use a superimposed larger base of 100, 1000, 10000 or 1000000. It is a power of 10 and might be called a superbase or superradix of the numeral system. The superbase is mainly used in the spoken/written language… …   Wikipedia

  • List of commonly misused English words — This is a list of English words which are commonly misused. It is meant to include only words whose misuse is deprecated by most usage writers, editors, and other professional linguists of Standard English. It is possible that some of the… …   Wikipedia

  • Metallicity — The globular cluster M80. Stars in globular clusters are mainly older metal poor members of Population II. In astronomy and physical cosmology, the metallicity (also called Z[1]) of an object is the proportion of its matter made …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”