Thread Rating:
  • 2 Vote(s) - 2 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Holomorphic semi operators, using the beta method
#71
(06/12/2022, 10:05 PM)JmsNxn Wrote:
(06/12/2022, 01:50 PM)tommy1729 Wrote: Dear James your 2 last posts are inspirational but I cannot accept them at the moment - maybe later -.

Here is why : it is not shown to be analytic in x,s,y and at the same time satisfy the superfunction property where x <s+1> y is in a way the super of x <s> y.

I am not convinced that they can be united with x <s> f(x) = x for some analytic f(x) and that that f(x) is almost free to choose.
 ( the integers have to match with the defintions of x<0>y and x<1>y etc ofcourse * unless you let those be free to choose as well )

Not trying to be annoying  Big Grin

regards

tommy1729


You have misinterpreted the notation.

There is no solution \(x <s> f(x) = x\)... At least, not in the purview of this solution. By construction I'm assuming \(x > e\) and \(y > e\), and there's no value \(x <s> y = x\) for these values.

You asked if there is a value \(\varphi\) such that \(x [s]_{\varphi} y = x\). Which there is. This is just:

$$
x[s]_{\varphi} y = \exp^{\circ s}_{y^{1/y}}\left(\log^{\circ s}_{y^{1/y}}(x) + y + \varphi\right)\\
$$

By which the answer is \(\varphi = - y\) for the equation you asked to solve. This would not happen when we solve for the actual semi-operator, as there is no solution...

I think you're mixing things up. Remember that \(x [s] y\) is absolutely analytic in all variables. It just equals \(\exp^{\circ s}_{y^{1/y}}\left(\log^{\circ s}_{y^{1/y}}(x) + y\right)\)--which is absolutely analytic in all variables... The question is whether \(x <s> y\) can be found in a neighborhood of \(x [s] y\) and be analytic. I understand I haven't shown this yet. But you're mixing things up.

I know this thread is a mess, and very disorganized. I plan on writing up much more fluidly the observations, but I'm waiting until I have something concrete.

oh yes.

then we agree.

but then the question becomes prove that there is NO solution : quote : " There is no solution \(x <s> f(x) = x\)... ".

For me that is cruxial to the actual hyperoperator.

 regards

tommy1729
Reply
#72
(06/12/2022, 11:13 PM)tommy1729 Wrote:
(06/12/2022, 10:05 PM)JmsNxn Wrote:
(06/12/2022, 01:50 PM)tommy1729 Wrote: Dear James your 2 last posts are inspirational but I cannot accept them at the moment - maybe later -.

Here is why : it is not shown to be analytic in x,s,y and at the same time satisfy the superfunction property where x <s+1> y is in a way the super of x <s> y.

I am not convinced that they can be united with x <s> f(x) = x for some analytic f(x) and that that f(x) is almost free to choose.
 ( the integers have to match with the defintions of x<0>y and x<1>y etc ofcourse * unless you let those be free to choose as well )

Not trying to be annoying  Big Grin

regards

tommy1729


You have misinterpreted the notation.

There is no solution \(x <s> f(x) = x\)... At least, not in the purview of this solution. By construction I'm assuming \(x > e\) and \(y > e\), and there's no value \(x <s> y = x\) for these values.

You asked if there is a value \(\varphi\) such that \(x [s]_{\varphi} y = x\). Which there is. This is just:

$$
x[s]_{\varphi} y = \exp^{\circ s}_{y^{1/y}}\left(\log^{\circ s}_{y^{1/y}}(x) + y + \varphi\right)\\
$$

By which the answer is \(\varphi = - y\) for the equation you asked to solve. This would not happen when we solve for the actual semi-operator, as there is no solution...

I think you're mixing things up. Remember that \(x [s] y\) is absolutely analytic in all variables. It just equals \(\exp^{\circ s}_{y^{1/y}}\left(\log^{\circ s}_{y^{1/y}}(x) + y\right)\)--which is absolutely analytic in all variables... The question is whether \(x <s> y\) can be found in a neighborhood of \(x [s] y\) and be analytic. I understand I haven't shown this yet. But you're mixing things up.

I know this thread is a mess, and very disorganized. I plan on writing up much more fluidly the observations, but I'm waiting until I have something concrete.

oh yes.

then we agree.

but then the question becomes prove that there is NO solution : quote : " There is no solution \(x <s> f(x) = x\)... ".

For me that is cruxial to the actual hyperoperator.

 regards

tommy1729

Oh yes, this would follow from monotone in \(s\). I'd need to show that \(x <s> y\) is monotone in \(s\) then we're good. Because there's no solution at \(s=0\) or at \(s=1\) and at \(s=2\). That's because this looks like \(x +y = x\) and \(x\cdot y = x\) and \(x^y = x\), while \(x,y > e\). But yes, not a proof, need monotone.
Reply


Possibly Related Threads…
Thread Author Replies Views Last Post
  The \(\varphi\) method of semi operators, the first half of my research JmsNxn 7 233 06/29/2022, 11:57 PM
Last Post: JmsNxn
  The bounded analytic semiHyper-operators JmsNxn 4 7,474 06/29/2022, 11:46 PM
Last Post: JmsNxn
  Hyper operators in computability theory JmsNxn 5 10,579 02/15/2017, 10:07 PM
Last Post: MphLee
  Recursive formula generating bounded hyper-operators JmsNxn 0 3,604 01/17/2017, 05:10 AM
Last Post: JmsNxn
  Rational operators (a {t} b); a,b > e solved JmsNxn 30 74,003 09/02/2016, 02:11 AM
Last Post: tommy1729
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 30,614 08/22/2016, 12:19 AM
Last Post: JmsNxn
  Bounded Analytic Hyper operators JmsNxn 25 42,558 04/01/2015, 06:09 PM
Last Post: MphLee
  Incredible reduction for Hyper operators JmsNxn 0 4,190 02/13/2014, 06:20 PM
Last Post: JmsNxn
  interpolating the hyper operators JmsNxn 3 9,470 06/07/2013, 09:03 PM
Last Post: JmsNxn
  Number theory and hyper operators JmsNxn 7 14,474 05/29/2013, 09:24 PM
Last Post: MphLee



Users browsing this thread: 1 Guest(s)