Another thing I would like to talk about is the following property.
I will start with an example.
Let x be a real.
Consider \( f(n,x)=sin(n^2 x)/n \). If n goes to oo the limit gives \( f(oo,x)=f(x)=0 \).
Now intuitively one would expect about the derivative with respect to x that \( D f(x) dx = \) lim n-> oo \( D f(n,x) dx = 0. \)
Clearly \( D f(x) dx = D 0 dx = 0. \)
However \( D sin(n^2 x)/n = n cos(n^2 x) \) so lim n-> oo \( D f(n,x) dx \) =/= 0 !
This is an important and classic lesson in math.
So many of our iterations used here require formal and carefull analysis.
If you are not convinced notice F(n,x) = g^[n](Q(n,x)) IS something that occurs in the majority of limits related to tetration including e.g. tommysexp , basechange , interpolation methods , matrix methods , iterations to improve on riemann mappings , ... !
I do not know if \( D^m F(n,x) dx = D^m F(x) dx \) has been proven here for any method ?
Also note that I took x to be a real. So this is about Coo functions defined over the reals but for analytic functions defined over the complex number the issue is even bigger.
Also note that in my example both f(n,x) and f(x) were Coo , in fact even analytic. So being analytic or Coo does not solve this issue.
I think we need to work on this.
---
For those clueness on how to such things , I point out that putting boundaries on values or signs and using the intermediate value theorem frequently does miracles.
I will start with an example.
Let x be a real.
Consider \( f(n,x)=sin(n^2 x)/n \). If n goes to oo the limit gives \( f(oo,x)=f(x)=0 \).
Now intuitively one would expect about the derivative with respect to x that \( D f(x) dx = \) lim n-> oo \( D f(n,x) dx = 0. \)
Clearly \( D f(x) dx = D 0 dx = 0. \)
However \( D sin(n^2 x)/n = n cos(n^2 x) \) so lim n-> oo \( D f(n,x) dx \) =/= 0 !
This is an important and classic lesson in math.
So many of our iterations used here require formal and carefull analysis.
If you are not convinced notice F(n,x) = g^[n](Q(n,x)) IS something that occurs in the majority of limits related to tetration including e.g. tommysexp , basechange , interpolation methods , matrix methods , iterations to improve on riemann mappings , ... !
I do not know if \( D^m F(n,x) dx = D^m F(x) dx \) has been proven here for any method ?
Also note that I took x to be a real. So this is about Coo functions defined over the reals but for analytic functions defined over the complex number the issue is even bigger.
Also note that in my example both f(n,x) and f(x) were Coo , in fact even analytic. So being analytic or Coo does not solve this issue.
I think we need to work on this.
---
For those clueness on how to such things , I point out that putting boundaries on values or signs and using the intermediate value theorem frequently does miracles.