• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Where is the proof of a generalized integral for integer heights? Chenjesu Junior Fellow Posts: 18 Threads: 3 Joined: May 2016 03/03/2019, 06:05 AM (This post was last modified: 03/03/2019, 06:35 AM by Chenjesu.) 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? Micah Junior Fellow Posts: 9 Threads: 2 Joined: Feb 2019 03/03/2019, 07:29 AM (This post was last modified: 03/03/2019, 07:31 AM by Micah. Edit Reason: found source of interest ) 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 Chenjesu Junior Fellow Posts: 18 Threads: 3 Joined: May 2016 03/03/2019, 08:55 AM (This post was last modified: 03/03/2019, 08:57 AM by Chenjesu.) 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. « Next Oldest | Next Newest »

 Possibly Related Threads... Thread Author Replies Views Last Post holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 14,310 08/22/2016, 12:19 AM Last Post: JmsNxn (almost) proof of TPID 13 fivexthethird 1 1,839 05/06/2016, 04:12 PM Last Post: JmsNxn Tetration series for integer exponent. Can you find the pattern? marraco 20 13,823 02/21/2016, 03:27 PM Last Post: marraco Lit: f(x)=log(x) iff x is integer Gottfried 3 4,200 03/17/2015, 11:35 PM Last Post: tommy1729 Tommy's conjecture : every positive integer is the sum of at most 8 pentatope numbers tommy1729 0 1,813 08/17/2014, 09:01 PM Last Post: tommy1729 Generalized arithmetic operator hixidom 16 11,194 06/11/2014, 05:10 PM Last Post: hixidom Could be tetration if this integral converges JmsNxn 41 34,390 05/13/2014, 01:58 PM Last Post: JmsNxn [integral] How to integrate a fourier series ? tommy1729 1 2,126 05/04/2014, 03:19 PM Last Post: tommy1729 Generalized Bieberbach conjectures ? tommy1729 0 1,458 08/12/2013, 08:11 PM Last Post: tommy1729 Proof Ackermann function extended to reals cannot be commutative/associative JmsNxn 1 2,650 06/15/2013, 08:02 PM Last Post: MphLee

Users browsing this thread: 1 Guest(s)