Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp
#1
Logarithms were invented in response to the need to deal numerically and later analytically with numbers that were too big/too small for calculation abilities of that time.

Similar situation arises when dealing with tetration and higher operations today. One can try to generalize the usefulness of exp, log functions to increase/reduce order of operations by 1. We denote summation with [1], multiplication with [2], exponentiation with [3] and tetration with [4] etc.

Let us call normal logarithm 2_log, and normal exponentiation 2_exp. Then:

2_exp(a+b) = 2_exp(a[1]b)=2_exp(a)*2_exp(b) = 2_exp(a)[2]2_exp(b)

2_log (a*b) = 2_log(a)+2_log(b) = (2_log(a))[1](2_log(b))

We can form now more logarithms and exponetiations, requiring:

3_log(a^b) =3_log(a[3]b)= 3_log(a)*3_log(b) = 3_log(a)[2]3_log(b)

4_log(a[4]b)= 4_log(a)[3]4_log(b) = (4_log(a))^(4_log(b))

n_log(a[n]b)=n_log(a)[n-1] n_log(b)

This 3 log will have the same value for a^b, and b^a which would only be true for roots of equation a^b=b^a. Otherwise, 3_log must have either sign difference or index to indicate order of a and b.

Inversely, 3_exp, 4_exp and n_exp:

3_exp(a*b) =3_exp(a[2]b) = (3_exp(a))^(3_exp(b)) = 3_exp(a)[3]3_exp(b)

4_exp(a^b) = 4_exp(a[3]b)=4_exp(a)[4]4_exp(b)

n_exp(a[n-1]b)=n_exp(a)[n]n_exp(b)

Since operations above and including tetration are all too fast for numerical analysis, n_log defined in such way as above would not help much, but we could look for (3, 2) - log which reduces the order of infinity by 2 and generally for log that reduces order of infinity by as much as we need (e.g. - m). So far we stick to integer (n,m) values of orders of infinity since iteration to intermediate should be possible once the properties of functions are figured out.

(3, 2)_log (a^b) = (3, 2)_log (a[3]b)= (3,2)_log (a)+(3,2)_log (b)= (3,2)_log(a)[1](3,2)_log(b)

(4, 2)_log (a[4]b) = (4, 2)_log (a[4]b)= (4,2)_log (a)*(4,2)_log (b)= (4,2)_log(a)[2](4,2)_log(b)

In general:

(n,m)_log(a[n]b)=(n,m)_log(a) [n-m] (n,m)_log(b)

(n,m)_exp(a[n]b)=(n,m)_exp(a)[n+m] (n,m)_exp(b)

We may ask if there exists natural basis for such logarithms and exponentials, series expansion of some kind, is it related to n-factorials, and how to deal with noncommmutative/non-associative and multivalue properties of these functions arising from that.The development of the nature of such basis itself, (even if only to jump over one order of infinity, but more so over 2 or more) should be very informative.

After that we may form a 2-d table of few available values arising from (n,m) as corresponding natural basis and some values of numbers in those basis along 3rd d.

But most useful would probably be the possibility to have rules for dealing with those functions analogous to rules dealing with log ,exp based on calculus.

Which might mean most likely generalization of calculus and infinitesimal analysis-similarly how its basic form appeared soon after logarithms were invented.
Reply


Messages In This Thread
Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by Ivars - 06/01/2008, 01:54 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  The AB functions ! tommy1729 0 1,451 04/04/2017, 11:00 PM
Last Post: tommy1729
  the inverse ackerman functions JmsNxn 3 5,667 09/18/2016, 11:02 AM
Last Post: Xorter
  Look-alike functions. tommy1729 1 1,914 03/08/2016, 07:10 PM
Last Post: hixidom
  Inverse power tower functions tommy1729 0 1,792 01/04/2016, 12:03 PM
Last Post: tommy1729
  [2014] composition of 3 functions. tommy1729 0 1,703 08/25/2014, 12:08 AM
Last Post: tommy1729
  Intresting functions not ? tommy1729 4 4,862 03/05/2014, 06:49 PM
Last Post: razrushil
  generalizing the problem of fractional analytic Ackermann functions JmsNxn 17 21,296 11/24/2011, 01:18 AM
Last Post: JmsNxn
  Discrete-analytic functions Ansus 4 5,508 07/30/2011, 04:46 PM
Last Post: tommy1729
  product functions tommy1729 5 6,173 06/01/2011, 05:38 PM
Last Post: tommy1729
  Periodic functions that are periodic not by addition JmsNxn 0 2,654 04/17/2011, 09:54 PM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)