Where is the proof of a generalized integral for integer heights?
#1
https://en.wikipedia.org/wiki/List_of_in..._functions

Under "other integrals" it gives the integral of any integer height but provides no proof or citation. I remember seeing a paper with similar formula some time ago, but at the end it said something about its conjecture being unproven. Is there any reference that proves this integral formula?
#2
Are we certain that the form posted on Wikipedia is correctly derived?  Without the proof there may be no way of knowing it's correctness, We could take a look at the first few cases of the integral in order to inspect the forms, and then conjecture about a generalization from there, have you derived the first few forms of the integral? 

\( \int\limits x^x dx = I_1 \)

\( \int\limits x^{x^x} dx = I _2 \) 

\( \dots \) 

That may be a starting point for a proof.  Also, I may be misinterpreting something on the wikipedia page that you posted, but shouldn't there be constants of integration in all of these antiderivatives as they do not have limits? 
This may also be of some use: https://en.wikipedia.org/wiki/Puiseux_series

Thanks for the thought provoking question! 

-Micah
#3
I am not sure it is correct at all, that is why I am asking for the proof. I think it's likely someone found that old paper with the unproven conjecture and stuck it on wikipedia without reading it carefully.


Possibly Related Threads…
Thread Author Replies Views Last Post
  Pictures of some generalized analytical continuations Caleb 18 4,383 03/17/2023, 12:56 AM
Last Post: tommy1729
  Some "Theorem" on the generalized superfunction Leo.W 59 35,069 09/18/2022, 11:05 PM
Last Post: tommy1729
  Frozen digits in any integer tetration marcokrt 2 1,123 08/14/2022, 04:51 AM
Last Post: JmsNxn
Question Closed Forms for non Integer Tetration Catullus 1 886 07/08/2022, 11:32 AM
Last Post: JmsNxn
  Ueda - Extension of tetration to real and complex heights MphLee 4 3,146 05/08/2022, 11:48 PM
Last Post: JmsNxn
  The Generalized Gaussian Method (GGM) tommy1729 2 2,541 10/28/2021, 12:07 PM
Last Post: tommy1729
  Generalized Kneser superfunction trick (the iterated limit definition) MphLee 25 19,846 05/26/2021, 11:55 PM
Last Post: MphLee
  Generalized phi(s,a,b,c) tommy1729 6 5,345 02/08/2021, 12:30 AM
Last Post: JmsNxn
  (almost) proof of TPID 13 fivexthethird 1 6,303 05/06/2016, 04:12 PM
Last Post: JmsNxn
  Tetration series for integer exponent. Can you find the pattern? marraco 20 39,854 02/21/2016, 03:27 PM
Last Post: marraco



Users browsing this thread: 1 Guest(s)