Infinite tetration and superroot of infinitesimal
#11
Quote:My only problem with this is that I have a deep-seated hatred of Cantor's numbers. I'll save that talk for later.
Heh, guess I'm not alone...
~ Jay Daniel Fox
#12
Then I better even do not start with them. I read a little aboout ordinals, cardinals etc. after Andy's post and I get the same feeling as dealing with limits -I just do not get it.Can it not be simpler? Infinitesimals though feel rather easy and intuitive, as well as graded infinities and different scales and rotations of infinitesimals.
#13
Well, I'm sure everyone has his own way of thinking of infinities and infinitesimals that is unorthodox. Personally, I think of "Big Oh" limits of functions taken to infinity, but using only a power of x.

For example, let's say I have a function f(x), and I want to find a power of x that represents the big oh limit. Well, f(x)=x^2+x will have a power of 2. For f(x)=3x^2-x^1.999, it's still 2.

But what about f(x)=ln(x)*x^2?

It's big oh limit will be greater than 2, but smaller than all real numbers greater than 2. I consider this 2 plus an infinitesimal. YMMV.
~ Jay Daniel Fox
#14
In my notation, it would be (as infinity is 1/i for grade i infinitesimals):

f(1/i) = ln(1/i)*(1/i)^2 = -lni* (-i)^2 = (-i)^3 * pi/2

So its big oh limit would be 3, but pi/2 would appear. This means this limit will be transcending the squared infinity because of extra -i*pi/2. What does it mean to transcend infinity that is created by 1/infinitesimal I do not know yet.

Maybe it is like exausting infinity, since pi continues beyond any infinity in length.... --i*pi/2 is obviously not a usual infinitesimal just multiplied by a finite real because -i^2 * e^-ipi/2 = -k where -k is infinity perpendicular to -i ^2 (not in complex plane, but perpendicular to it).

I would say big oh limit for this function is 2 + (1 turned by 90 degrees). At complex plane, it may look like 2+ infinitesimal, but that would be just a projection of -k on complex plane ( the 3rd i than is infinitesimal multiplied by -pi/2).

Well, not exactly like this, of course....
#15
We have mentioned lots of different kinds of infinities and infinitesimals, just to mention two others: differentials (dx) and singularities (f(x) = infinity). Differentials are probably the most standard way of looking at infinitesimals, and singularities are probably the most standard way of looking at infinities. And of course, both of these things can appear "in different orders". Smile

Andrew Robbins
#16
Sure, but what is dx^(1/dx) or f(x)^(1/f(x)) from Your example?

I know from Euler that ln((1+dx)^(1/dx))= 1 so (1+dx)^(1/dx) = e.

But what about dx^(1/dx)?

Ivars
#17
Ivars Wrote:But what about dx^(1/dx)?

Simple calculus would state that:
\( \frac{d}{dx}\left(x^{1/x}\right) = x^{1/x}(1+\ln(x))\frac{1}{x^2} \)
so moving the dx part, we obtain:
\( d\left(x^{1/x}\right) = x^{1/x}(1+\ln(x))\frac{1}{x^2}dx \)
is this what you are talking about?

If not, then I suppose that \( d\left(x^{1/x}\right) \ne dx^{1/{dx}} \) which means we are no closer to knowing the answer, but since you said \( (1+dx)^{1/dx} = e \) then that means that:
\( dx^{1/dx} = \sum_{k=0}^{1/dx}\left({1/dx \atop k}\right)(-1)^{1/dx} (1+dx)^k = \sum_{k=0}^{1/dx}\frac{1}{k!}(-1)^{1/dx} \)
which means \( dx^{1/dx} \) is indeterminate, since \( (-1)^{\infty} \) is indeterminate.

Andrew Robbins
#18
For complex z, the function z^(1/z) has an essentialy singularity at z=0. For real x, using the primary branch of roots for positive x, the function x^(1/x) goes to 0 from the right. But it's indeterminate from the left, because we're taking a negative number to various fractional and even irrational powers, which forces complex numbers and never gives us a consistent complex argument, even though the modulus consistently goes to infinity.

Either way, dx^(1/dx) must be indeterminate.
~ Jay Daniel Fox
#19
Yes I see, thank You for answers, but:

As an infinitesimal, dx in this expression is always either only positive, or only negative . And never 0. But smaller than any real (bigger if negative) . That is the definition of infinitesimal in non-standard analysis-in hyperreal set. The theory that works in calculus without using limits, so I guess application of limits in this case is misleading , but I do not know what to apply.

dx in this case is not a limit dx->0 as real, but an extension of real set, or, rather set in which reals are just subset. It is a different type of number, so to say- infinitesimal. So is 1/dx = 1/infinitesimal= definition of infinity (also belongs to hyperreals).

http://en.wikipedia.org/wiki/Non-standard_analysis
#20
If you want to treat the infinitesimal as always positive, then it's simply the logical end of the sequence dx, dx^2, dx^3, ..., dx^(1/dx). In ordinal notation, it's 1/(omega^omega), and omega^omega is a rather small ordinal in the hierarchy of countable infinities. (Not that I particularly like the hierarchy.)
~ Jay Daniel Fox


Possibly Related Threads…
Thread Author Replies Views Last Post
  another infinite composition gaussian method clone tommy1729 2 941 01/24/2023, 12:53 AM
Last Post: tommy1729
  Interpolating an infinite sequence ? tommy1729 14 4,829 06/17/2022, 10:41 PM
Last Post: tommy1729
  Improved infinite composition method tommy1729 5 4,335 07/10/2021, 04:07 AM
Last Post: JmsNxn
  [repost] A nowhere analytic infinite sum for tetration. tommy1729 0 4,071 03/20/2018, 12:16 AM
Last Post: tommy1729
  Remark on Gottfried's "problem with an infinite product" power tower variation tommy1729 4 12,005 05/06/2014, 09:47 PM
Last Post: tommy1729
  Problem with infinite product of a function: exp(x) = x * f(x)*f(f(x))*... Gottfried 5 15,609 07/17/2013, 09:46 AM
Last Post: Gottfried
  Wonderful new form of infinite series; easy solve tetration JmsNxn 1 8,121 09/06/2012, 02:01 AM
Last Post: JmsNxn
  Infinite tetration of the imaginary unit GFR 40 112,482 06/26/2011, 08:06 AM
Last Post: bo198214
  Infinite Pentation (and x-srt-x) andydude 20 52,710 05/31/2011, 10:29 PM
Last Post: bo198214
  Infinite tetration fractal pictures bo198214 15 44,347 07/02/2010, 07:22 AM
Last Post: bo198214



Users browsing this thread: 2 Guest(s)