According to I Ching, hexagram 10, when we are innocent, the tiger will not bite us even when we step on tiger’s tail.
There is a danger. Tigers are wild animals.
But, if we examine the signs carefully, there will be great good fortune.
A couple of days ago, when writing the post Jacobi Elliptic SN – The case of inverted modulus, and then writing Jacobi amplitude- realism or cubism, I stepped on tiger’s tail. Fortunately the tiger just looked at me with a forgiving smile and did not bite. I was lucky. Sure, I will have to correct the misleading pieces in those previous posts. But, thanks to good qcomments from BJAB, I have progressed with my understanding. The reading in Hexagram 10 includes:
Trading: Stepping on the tail of a tiger.
But it does not bite one. Success.
The heaven above and the lake below.
The superior man differentiates between high and low,
And thus fixes the minds of people.
Well, differentiating between high and low means making it clear how to define Jacobi elliptic functions for in terms of those with However, before fixing the mind of people I surely had to fix my own mind. This post is about how I did it …. till now. I must say that I was searching through all the available sources, and could not find a clear formulation. Perhaps it is one of those things that all experts know but do not bother to explain. Which would be however hard to understand, because in textbooks they often explain so many completely elementary issues…
Let us recall from Jacobi Elliptic SN – The case of inverted modulus:
The original name of Jacobi elliptic sn function was sinus amplitudinis. One contemplates the integral
and calls the amplitude of where Then is defined as that is as – that is how sinus amplitudinis was invented.
First let us contemplate the integral 1. If the integral is well defined (produces a finite number) for all finite values of The integrand is always positive, therefore is strictly increasing function of The inverse function exists, is well defined.
So far, so good, but then I continued with
But what if ? From the definition we see that is antisymmetric function of therefore let us restrict ourselves to nonnegative. If is smaller that the critical value defined by , the integral is finite and is an increasing function of For approaching the integral becomes infinite. Therefore the inverse function is well defined for all also for
holds, except that we have derived it for such that
In order to be sure that this is what Wolfram’s Mathematica software “knows”, I checked:
I do not know which algorithm is being used by Mathematica for calculating sn function for (I suspect it is using complex Weierstrass functions), but evidently our definition above is correct (up to negligible numerical errors).
Once we are done with the sn function, we can now define the am function for :
We verify if this definition can be used for reproducing the plot of am in Jacobi amplitude- realism or cubism
And again we see that the definition above agrees with the one used by Mathematica – the difference between the two is zero. Our plot was correct. In fact, to be sure I asked to do the same plot by Maple. Here is the result:
Maple is using the notation JacobiAM(u,k), where
Still good. Finally, what about Jacobi elliptic cosinus amplitudinis? Can we define it as also for ?
Again checking with Mathematica:
Good. Of course one can ask: since when Mathematica is a judge of what is a good definition of a mathematical function? It should not be so. But here we have to take into account the fact that mathematical monographs are surprisingly silent on the subject. It is like a conspiracy! Much like with UFO!
Now, I will have to fix the misleading parts in previous posts while hoping that I am on the right track now.