• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Bounded Analytic Hyper operators JmsNxn Long Time Fellow Posts: 291 Threads: 67 Joined: Dec 2010 04/01/2015, 03:20 PM (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. 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. « Next Oldest | Next Newest »

 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 fivexthethird - 03/25/2015, 07:29 AM 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 tommy1729 - 03/27/2015, 09:02 AM RE: Bounded Analytic Hyper operators - by MphLee - 03/27/2015, 07:09 PM RE: Bounded Analytic Hyper operators - by tommy1729 - 03/27/2015, 11:20 PM RE: Bounded Analytic Hyper operators - by fivexthethird - 03/28/2015, 06:46 AM RE: Bounded Analytic Hyper operators - by tommy1729 - 03/28/2015, 08:59 PM RE: Bounded Analytic Hyper operators - by fivexthethird - 03/29/2015, 03:35 AM RE: Bounded Analytic Hyper operators - by tommy1729 - 03/29/2015, 04:36 PM RE: Bounded Analytic Hyper operators - by MphLee - 03/29/2015, 10:55 AM RE: Bounded Analytic Hyper operators - by tommy1729 - 03/29/2015, 04:22 PM RE: Bounded Analytic Hyper operators - by tommy1729 - 03/29/2015, 04:56 PM RE: Bounded Analytic Hyper operators - by MphLee - 03/29/2015, 07:08 PM RE: Bounded Analytic Hyper operators - by tommy1729 - 03/29/2015, 07:14 PM RE: Bounded Analytic Hyper operators - by tommy1729 - 03/29/2015, 09:37 PM RE: Bounded Analytic Hyper operators - by tommy1729 - 03/29/2015, 09:41 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 Thoughts on hyper-operations of rational but non-integer orders? VSO 2 410 09/09/2019, 10:38 PM Last Post: tommy1729 [repost] A nowhere analytic infinite sum for tetration. tommy1729 0 1,086 03/20/2018, 12:16 AM Last Post: tommy1729 Analytic matrices and the base units Xorter 2 2,280 07/19/2017, 10:34 AM Last Post: Xorter Hyper-volume by integration Xorter 0 1,330 04/08/2017, 01:52 PM Last Post: Xorter Non-analytic Xorter 0 1,356 04/04/2017, 10:38 PM Last Post: Xorter A conjectured uniqueness criteria for analytic tetration Vladimir Reshetnikov 13 10,687 02/17/2017, 05:21 AM Last Post: JmsNxn Hyper operators in computability theory JmsNxn 5 3,841 02/15/2017, 10:07 PM Last Post: MphLee Recursive formula generating bounded hyper-operators JmsNxn 0 1,455 01/17/2017, 05:10 AM Last Post: JmsNxn Is bounded tetration is analytic in the base argument? JmsNxn 0 1,282 01/02/2017, 06:38 AM Last Post: JmsNxn Are tetrations fixed points analytic? JmsNxn 2 2,798 12/14/2016, 08:50 PM Last Post: JmsNxn

Users browsing this thread: 1 Guest(s)