**Weird fact of the day: **Suppose , then:

**What does it really mean? **It means: if you take some positive numbers , raise each to the power of n, add them all together, take the n-th root of the sum, then if you start to increase n the result will start to approach the greatest of the numbers you started with.

**Why is that weird? **Because the procedure is symmetric with respect to all the numbers , and the result depends only on one of them, the greatest one (Let’s call it ). All the other k-1 numbers are pretty much completely irrelevant. You can set them all to zero and it will not change the outcome, because all the work is done by , and by alone. How does the procedure “determine” which number is the greatest?

**How do we prove this amazing fact? **Like this:

We already defined . Now:

and

, therefore , the end.

**Does it work with other families of functions or only with powers and roots? **The proof only uses some monotonicity and the fact that , so it should also work, for example, when , meaning that:

I can’t think of a good way to completely characterize the class of functions, for which the proof holds. Can you?

**What does this mean geometrically? **It means that as n increases, level surfaces of a function defined in a k-dimensional space, will start to resemble a k-dimensional cube, because a cube is a level surface of a function . You might remember that we already spoke about this in my previous post titled “On Norms”.

**Have you made a cool-looking but completely pointless animation to demonstrate this phenomenon? **I thought you’d never ask:

(you may or may not need to click on it)

**Does this fact have any useful applications? **Not that I know of, which proves that this is some high quality math, and not same applied rubbish. (Just kidding, applied math can be beautiful too. Once in a thousand years.)

### Like this:

Like Loading...

*Related*

> I can’t think of a good way to completely characterize the class of functions, for which the proof holds. Can you?

Besides something like “locally monotone”, we want .

Obviously, a that is, in some sense yet to be determined, changing fast would result in a smaller change in (think IFT).

But using the normal idea of differentiation entangles us in discussions about the size of and such. It would be much nicer to use the geometric derivative.

In fact, it is fairly clear that we want … something needs to be said about the rate of convergence, but I'm too tired to work out.

Or my jet lag-addled mind has gone crazy. There's some evidence for that in the "it won't let me sleep despite being tired" thing…

Let me formalize what I think you’re thinking. Let us assume that is monotonously growing, and so is . We want to prove that:

, when .

Let us rewrite that as:

which is equivalent to:

We assumed that was growing monotonously, which gives us the bound:

but:

This implies that , if , so we have a sufficient condition.

But is equivalent to , because , where is geometric derivative.

Oh, and I think you made a typo here: , where k is some constant, otherwise you get a completely different problem.

Yeah, the n was a mistake. I blame us using the same variable for the number of dimensions and the term in the sequence. 😛 I thought the issues I had with making the rate exceed n was odd.

In any case, your proof is fairly straight-forward, but I can’t help but feel like it defeats the point of using the geometric derivative…

Again, we have . Consider that, by local approximation with geometric derivatives, is approximately . Let the geometric derivative be monotone and this is an upper bound (if I wasn’t lazy, I’d use some sort of weaker condition — I really just need to rule out the case of a negative second geometric derivative that keeps increasing and pushing it farther and farther back) .

So we have

Now, as , so one ends up with with

, the desired result.

I took the liberty of tweaking and merging two of your comments for the sake of neatness. I hope you don’t mind.

“In any case, your proof is fairly straight-forward, but I can’t help but feel like it defeats the point of using the geometric derivative…”

Oh, it absolutely does. I am a geometric derivatives skeptic. I think that everything that can be proven using them can be proven without them without complicating the proof much. But I may be mistaken about it.

Anyway. It seems that you are trying to construct the same proof I came up with, based on your remarks, but using geometric derivatives. Alright. But it seems that your proof requires

to be growing monotonously, and I only wanted to be growing monotonously. Your condition is stronger (consider ) .

Also, I don’t quite understand why is approximately . It may or may not be correct: I don’t claim to understand geometric calculus perfectly, but it just doesn’t look right to me. Please, clarify. f is , I assume.

Thanks for merging my comments!

>I am a geometric derivatives skeptic.

I know. I got quite a bit of amusement out of resolving this using them, just because of that.

> I think that everything that can be proven using them can be proven without them without complicating the proof much.

It’s a matter of elegance. Perhaps it will be more clear in my solution to

> Also, I don’t quite understand why is approximately .

Actually, I’m going to step back in the proof a bit because I can make things a bit neater.

To prove , let’s solve for in .

Well, consider . We expand to our first term in the geometric approximation: . Some simple algebraic manipulation results in .

All this is a formalization of the fact that a high geometric derivative of a function means that the difference between and is in some sense small. So if it becomes bigger and bigger, they go to the same point (in terms of the value of x that would be needed to achieve the same result…).

The reason I like this a lot more than your approach is that it is conceptually smaller. It’s a result of the basic idea of the geometric derivative,

Ah, I think I see it now! It’s nice, because it allows us to avoid using the formula for the derivative of the inverse function.