Holomorphic semi operators, using the beta method
It's hard to follow for me. It is my fault. I'm not even remotely familiar with perturbation methods and those theta mappings. Some points are really obscure: again my fault. Let's see if you can drop some candies for me.

Quote:I should've clarified, that first of all, this is just intended for \(0 \le \Re(s) \le 2\). This would not make Tetration, or the job of finding inbetween tetration in any meaningful way. This is why I don't even like this solution, But it is doable. It's essentially just run Bennet's commutative hyperoperations, but paste them together in a meaningful way to give a hyper-operator structure.

Ok lets start: how far this is from this

\[\begin{align}x<s>y&=x\odot_s y &&0\le \Re(s)\le 2\\
x<s+1>y+1&=x<s>(x<s+1>y)&&{\rm otherwise}\end{align},\\\]
modulo some perturbation business you use to force the Goodstein equation over that domain?

The following point is particularly obscure. We can say that \(x<s>\omega\) are a family of functions \({\mathbb C}/{\mathcal E}\times \mathcal{W}\to \mathbb C\), as the rank varies, where \(\mathcal{W}\) contains all the fixed points associated to \(\mu\) s.t. \(e^\mu\) is in the ST-region, i.e. if I remember well, when it's infinite tower converges (to the fixed point). You tell me to compute em by \(F(x,s,\mu)\), a function that we know how to compute using a tetration function with base \(b=e^\mu\).

Then what do you mean by

Quote:We can delineate an equivalence class for the Goodstein functional equation so we have a bunch of functions that \(x<s>\omega \pm k\) must equal for \(1 \le \Re(s) \le 2\). Now we play the implicit function game...

Also is \(F(s+1)\) intended to be \(F(x,s+1,\mu\)?

Quote:For brevity's sake's, let's assume we can find where \(F(s+1) \in \mathcal{W}\) (the domain of fixed points). Then \(x <s> F\) is a valid operation--it can now be assigned the value \(x<s+1>\omega +1 = x<s> \omega'\).

The starting point, if I'm following you, is to extend \({\mathbb C}/{\mathcal E}\times \mathcal{W}\to \mathbb C\) outside \(W\), somewhere in \(\mathcal{W}+\mathbb Z\), whenever \(F(x,s+1,\mu)\) still lands in \(\mathcal{W}\). But what if the new fixed point is associated with another ST-base? The holomorphic semi operators are expected to agree across all bases \(b\) only for rank 0 (addition) and rank 1 (multiplication) but to "ramify" for the other ranks. So I don't understand how all the pieces can fit.

I stop here because I don't have time to parse the theta mapping part atm.

MSE MphLee
Mother Law \((\sigma+1)0=\sigma (\sigma+1)\)
S Law \(\bigcirc_f^{\lambda}\square_f^{\lambda^+}(g)=\square_g^{\lambda}\bigcirc_g^{\lambda^+}(f)\)

Messages In This Thread
RE: Holomorphic semi operators, using the beta method - by MphLee - 03/24/2022, 11:13 AM

Possibly Related Threads…
Thread Author Replies Views Last Post
  How could we define negative hyper operators? Shanghai46 2 661 11/27/2022, 05:46 AM
Last Post: JmsNxn
  "circular" operators, "circular" derivatives, and "circular" tetration. JmsNxn 15 13,887 07/29/2022, 04:03 AM
Last Post: JmsNxn
  The modified Bennet Operators, and their Abel functions JmsNxn 6 1,614 07/22/2022, 12:55 AM
Last Post: JmsNxn
  The \(\varphi\) method of semi operators, the first half of my research JmsNxn 13 3,011 07/17/2022, 05:42 AM
Last Post: JmsNxn
  The bounded analytic semiHyper-operators JmsNxn 4 8,975 06/29/2022, 11:46 PM
Last Post: JmsNxn
  Hyper operators in computability theory JmsNxn 5 12,061 02/15/2017, 10:07 PM
Last Post: MphLee
  Recursive formula generating bounded hyper-operators JmsNxn 0 4,129 01/17/2017, 05:10 AM
Last Post: JmsNxn
  Rational operators (a {t} b); a,b > e solved JmsNxn 30 82,849 09/02/2016, 02:11 AM
Last Post: tommy1729
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 33,906 08/22/2016, 12:19 AM
Last Post: JmsNxn
  Bounded Analytic Hyper operators JmsNxn 25 48,422 04/01/2015, 06:09 PM
Last Post: MphLee

Users browsing this thread: 1 Guest(s)