Thread Rating:
  • 2 Vote(s) - 2 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Holomorphic semi operators, using the beta method
#4
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)\)
Reply


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
  "circular" operators, "circular" derivatives, and "circular" tetration. JmsNxn 15 11,365 07/29/2022, 04:03 AM
Last Post: JmsNxn
  The modified Bennet Operators, and their Abel functions JmsNxn 6 531 07/22/2022, 12:55 AM
Last Post: JmsNxn
  The \(\varphi\) method of semi operators, the first half of my research JmsNxn 13 1,096 07/17/2022, 05:42 AM
Last Post: JmsNxn
  The bounded analytic semiHyper-operators JmsNxn 4 7,980 06/29/2022, 11:46 PM
Last Post: JmsNxn
  Hyper operators in computability theory JmsNxn 5 11,052 02/15/2017, 10:07 PM
Last Post: MphLee
  Recursive formula generating bounded hyper-operators JmsNxn 0 3,789 01/17/2017, 05:10 AM
Last Post: JmsNxn
  Rational operators (a {t} b); a,b > e solved JmsNxn 30 76,743 09/02/2016, 02:11 AM
Last Post: tommy1729
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 31,724 08/22/2016, 12:19 AM
Last Post: JmsNxn
  Bounded Analytic Hyper operators JmsNxn 25 44,358 04/01/2015, 06:09 PM
Last Post: MphLee
  Incredible reduction for Hyper operators JmsNxn 0 4,344 02/13/2014, 06:20 PM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)