Poll: Do you believe this conjecture is true?You do not have permission to vote in this poll. Yes 66.67% 2 66.67% No 33.33% 1 33.33% Total 3 vote(s) 100%
 * You voted for this item.

 A conjectured uniqueness criteria for analytic tetration Vladimir Reshetnikov Junior Fellow Posts: 12 Threads: 3 Joined: Dec 2011 10/30/2016, 11:02 PM (This post was last modified: 10/30/2016, 11:08 PM by Vladimir Reshetnikov.) After some study of different approaches to an extension of tetration to fractional or complex heights, and many numeric experiments, I came to the following conjecture, that I am currently trying to prove: Let $a$ be a fixed real number in the interval $1 < a < e^{1/e}$. There is a unique function $f(z)$ of a complex variable $z$, defined on the complex half-plane $\Re(z) > -2$, and satisfying all of the following conditions: * $f(0) = 1$. * The identity $f(z+1) = a^{f(z)}$ holds for all complex $z$ in its domain (together with the first condition, it implies that $f(n) = {^n a}$ for all $n \in \mathbb N$). * For real $x > -2, \, f(x)$ is a continuous real-valued function, and its derivative $f'(x)$ is a completely monotone function (this condition alone implies that the function $f(x)$ is real-analytic for $x > -2$). * The function $f(z)$ is holomorphic on its domain. Please kindly let me know if this conjecture has been already proved, or if you know any counter-examples to it, or if you have any ideas about how to approach to proving it. sheldonison Long Time Fellow Posts: 684 Threads: 24 Joined: Oct 2008 11/01/2016, 02:08 AM (This post was last modified: 11/01/2016, 07:46 PM by sheldonison.) (10/30/2016, 11:02 PM)Vladimir Reshetnikov Wrote: After some study of different approaches to an extension of tetration to fractional or complex heights, and many numeric experiments, I came to the following conjecture, that I am currently trying to prove: Let $a$ be a fixed real number in the interval $1 < a < e^{1/e}$. There is a unique function $f(z)$ of a complex variable $z$, defined on the complex half-plane $\Re(z) > -2$, and satisfying all of the following conditions: * $f(0) = 1$. * The identity $f(z+1) = a^{f(z)}$ holds for all complex $z$ in its domain (together with the first condition, it implies that $f(n) = {^n a}$ for all $n \in \mathbb N$). * For real $x > -2, \, f(x)$ is a continuous real-valued function, and its derivative $f'(x)$ is a completely monotone function (this condition alone implies that the function $f(x)$ is real-analytic for $x > -2$). * The function $f(z)$ is holomorphic on its domain. Please kindly let me know if this conjecture has been already proved, or if you know any counter-examples to it, or if you have any ideas about how to approach to proving it.There is a proof framework for how to show that the standard solution from the Schröder equation is completely monotonic. The framework only applies to tetration bases 1exp(1/e), which is a different analytic function. http://math.stackexchange.com/questions/...-tetration The conjecture would be that the completely monotonic criteria is sufficient for uniqueness as well; that there are no other completely monotonic solutions. It looks like there is a lot of theorems about completely monotone functions but I am not familiar with this area of study. Can you suggest a reference? I found https://en.wikipedia.org/wiki/Bernstein%..._functions Also, is the inverse of a completely monotone function also completely monotone? no, that doesn't work. So what are the requirements for the slog for bases

 Possibly Related Threads… Thread Author Replies Views Last Post double functional equation , continuum sum and analytic continuation tommy1729 6 187 03/05/2023, 12:36 AM Last Post: tommy1729 Iteration with two analytic fixed points bo198214 62 7,323 11/27/2022, 06:53 AM Last Post: JmsNxn Qs on extension of continuous iterations from analytic functs to non-analytic Leo.W 18 2,737 09/18/2022, 09:37 PM Last Post: tommy1729 Constructing an analytic repelling Abel function JmsNxn 0 445 07/11/2022, 10:30 PM Last Post: JmsNxn Is tetration analytic? Daniel 6 891 07/08/2022, 01:31 AM Last Post: JmsNxn Uniqueness of fractionally iterated functions Daniel 7 1,229 07/05/2022, 01:21 AM Last Post: JmsNxn Universal uniqueness criterion? bo198214 57 115,940 06/28/2022, 12:00 AM Last Post: JmsNxn A question concerning uniqueness JmsNxn 4 10,429 06/10/2022, 08:45 AM Last Post: Catullus Brute force tetration A_k(s) is analytic ! tommy1729 9 4,844 03/22/2021, 11:39 PM Last Post: JmsNxn [Exercise] A deal of Uniqueness-critrion:Gamma-functionas iteration Gottfried 6 7,914 03/19/2021, 01:25 PM Last Post: tommy1729

Users browsing this thread: 1 Guest(s)