Bounded Analytic Hyper operators
#25
(03/31/2015, 09:16 PM)MphLee Wrote:
(03/31/2015, 08:50 PM)JmsNxn Wrote: The goal is to do it in a much more general setting. I am working very hard on cleaning it up and making sure all the proofs pop out like clock work from the more general schema.
[...]
I'm just trying to rigorize everything now. The skeleton is there, I just need to prop it up with some muscular rigor.
I can't really follow some of the step but I think I got what your going for. The complex analysis that youre using is really crazy for me atm.
Anyways I always believed that one of the ways to reach the solution was inside operator theory (aka application of the analysis to higher order functions).
Quote:\( \mathcal{C}_\phi \) is a contraction operator, this proves invaluable to the generalization.



About the contraction operator, the concept is new for me (Operator theory is still new for me) but maybe I'm missing something...Did you present a normed space of functions in your paper? Because the contraction op. need the operator norm in order to be defined, and operator norm is defined using the norm(s) of the space(s) (if I recall correctly it is the operator norm is the smallest number that bounds the operator on its domain). Wich norm is used usually in these kind of frameworks? (sorry if the question is stupid).

To answer your question:
Quote:Wich norm is used usually in these kind of frameworks?

It is usually defined formally on any metric space. This can be generalized to many different types of mathematical objects. Sometimes they're functions, sometimes they're points on a plane, sometimes they're operators themselves acting on more operators.

The normed space part can be cleverly avoided. We do not need a complicated metric for the functions we are investigating. It's a certain type of contraction operator--namely one that works on points on a plane, not on the functions themselves.

For example in the paper we note that \( \phi^{\circ n} (\xi) \to \xi_0 \) as \( n\to\infty \) for all \( \xi \) in the immediate basin of attraction. This is equivalent to the statement that \( |\phi(\xi) - \phi(\xi') |< q|\xi - \xi'| \) in the basin for some \( 0<q<1 \). We are contracting the points, based off the operator \( \mathcal{C}_\phi \). It's a little tricky to wrap your head around but I'll explain it much more clearly in the next paper.

We do not have to create a normed space that the super function operator acts on, but we do have to talk about values converging to a fixed point under the super function operator. This will be equivalent to the values "contracting" under the point wise norm. Namely the family of functions we use are those such that \( \uparrow^{n} f \to Constant \) as \( n\to\infty \), with some additional conditions attached to \( f \). The \( \uparrow \) notation is the notation for the super function operator that I am using. This also implies under the pointwise norm it is a type of contraction mapping. We don't need to induce a metric anymore than the traditional one, but again, the trick is hidden. I'm close to getting a well rounded rough copy out. I don't want to give away all the details at the moment but it's simpler than it seems.

I just have to make sure I don't have any holes in my ideas. I'm going to talk to some of my professors to make sure it all makes sense and the advanced theorems I need to reference are not used incorrectly. This is going to be more complicated than my last two papers, and at a few parts I feel like I'm out of my depth, but I'll manage. It will probably take a month or two to get this out well enough that I'm willing to post it.


Messages In This Thread
Bounded Analytic Hyper operators - by JmsNxn - 03/23/2015, 02:12 AM
RE: Bounded Analytic Hyper operators - by MphLee - 03/24/2015, 08:34 PM
RE: Bounded Analytic Hyper operators - by marraco - 03/25/2015, 01:48 PM
RE: Bounded Analytic Hyper operators - by MphLee - 03/25/2015, 07:43 PM
RE: Bounded Analytic Hyper operators - by MphLee - 03/26/2015, 11:08 PM
RE: Bounded Analytic Hyper operators - by MphLee - 03/27/2015, 07:09 PM
RE: Bounded Analytic Hyper operators - by MphLee - 03/29/2015, 10:55 AM
RE: Bounded Analytic Hyper operators - by MphLee - 03/29/2015, 07:08 PM
RE: Bounded Analytic Hyper operators - by JmsNxn - 03/29/2015, 11:25 PM
RE: Bounded Analytic Hyper operators - by JmsNxn - 03/31/2015, 08:50 PM
RE: Bounded Analytic Hyper operators - by MphLee - 03/31/2015, 09:16 PM
RE: Bounded Analytic Hyper operators - by JmsNxn - 04/01/2015, 03:20 PM
RE: Bounded Analytic Hyper operators - by MphLee - 04/01/2015, 06:09 PM

Possibly Related Threads…
Thread Author Replies Views Last Post
  Is successor function analytic? Daniel 6 2,522 11/28/2022, 12:03 PM
Last Post: JmsNxn
  How could we define negative hyper operators? Shanghai46 2 1,472 11/27/2022, 05:46 AM
Last Post: JmsNxn
Question Base Pi Hyper-Operations Catullus 3 2,477 11/08/2022, 06:51 AM
Last Post: Catullus
Question Hyper-Operational Salad Numbers Catullus 9 4,457 09/17/2022, 01:15 AM
Last Post: Catullus
Question Rank-Wise Approximations of Hyper-Operations Catullus 48 26,468 09/08/2022, 02:52 AM
Last Post: JmsNxn
  "circular" operators, "circular" derivatives, and "circular" tetration. JmsNxn 15 17,740 07/29/2022, 04:03 AM
Last Post: JmsNxn
  The modified Bennet Operators, and their Abel functions JmsNxn 6 3,108 07/22/2022, 12:55 AM
Last Post: JmsNxn
  The \(\varphi\) method of semi operators, the first half of my research JmsNxn 13 5,865 07/17/2022, 05:42 AM
Last Post: JmsNxn
Question Octonion Hyper-Operations Catullus 3 2,394 07/05/2022, 08:53 AM
Last Post: Catullus
  Thoughts on hyper-operations of rational but non-integer orders? VSO 4 7,261 06/30/2022, 11:41 PM
Last Post: MphLee



Users browsing this thread: 1 Guest(s)