Thread Rating:
• 1 Vote(s) - 5 Average
• 1
• 2
• 3
• 4
• 5
 "circular" operators, "circular" derivatives, and "circular" tetration. JmsNxn Long Time Fellow    Posts: 465 Threads: 85 Joined: Dec 2010 06/20/2011, 10:32 PM (This post was last modified: 06/20/2011, 11:00 PM by JmsNxn.) Well, before I can begin our trip into abstract algebra, I must first explain what a "circular" operator is, but to do that, I must first explain what a "hyperbolic" operator is. hyperbolic exponentiation, is what we normally refer to as exponentiation. I've coined it "hyperbolic" because of the following: and then therefore, hyperbolic multiplication is normal multiplication; it being that hyperbolic exponentiation is the super function of hyperbolic multiplication. And also therefore hyperbolic multiplication is the superfunction of hyperbolic addition. Very, simple. Circular exponentiation, is a different form of exponentiation, defined by the following: where is a constant to be revealed shortly. Interestingly, for imaginary arguments, it behaves the same as hyperbolic exponentiation, only reversed. Now that was all fairly simple to understand, but now we come to the part where we must define circular multiplication. It's still fairly simple, but may seem a bit awkward. but seeing as is still unknown to us, we better stick to using therefore and now, to make things simple, since we can say that: and if we let , 1 becomes the identity of circular multiplication and circular exponentiation. Also, we know that circular multiplication, and circular exponentiation behave like normal multiplication and exponentiation. and so therefore we get the beautiful, circular logarithm laws, (cln is taken to mean natural circular logarithm, which is just the circular logarithm base ) The principal branch always returns between : where: And now, with these laws, defining circular multiplication is as simple as: circular division, the inverse of circular multiplication is: And circular exponentiation is as simple as: And now, with all three of these defined, we come to the issue of defining circular addition. Since circular multiplication is it's superfunction we can write the equation as such: and or generally: This gives the very strange equation that "converts" addition into circular addition: , which also implies: Circular addition has identity , therefore: These equations become necessary to observe when defining the circular derivative. Which we shall do now. Therefore: and: and also: We'll probably find: , but I don't want to just state it and I cannot prove it. Therefore, with this, we can now create an infinite termed "circular" polynomial that will be it's own circular derivative. if and If: And this is where I'm stuck and I need help. If J(x) turns out to equal I believe we may have a sort of symmetry between circular tetration and hyperbolic, or normal tetration. We should be able to, by regular iteration (of the normal equation for cxp), create the superfunction of cxp, or "circular" tetration. It should be simpler to do than exp because it has a real fixpoint. I have the equations sort of worked out, but they rely on confirmation that The only way I can properly confirm it is if I had a way of calculating . I tried using Lagrange's inversion theorem to solve for its power series, but this was to no avail. It's necessary that the values work for imaginary numbers as well since the range without imaginary numbers is . If anybody is curious, the test I'd be doing is seeing if: , if it does, then we're in business and there's a whole lot more I can post. mike3 Long Time Fellow    Posts: 368 Threads: 44 Joined: Sep 2009 06/23/2011, 12:58 AM (This post was last modified: 06/23/2011, 01:09 AM by mike3.) This one can be solved via trigonometric identities. We have If we can find a value for which , then we can use division to make the right-hand side equal your "". Solving the equation yields , . Then, , and . Then, the inverse, the "circular logarithm", is given by . Of course, since is not injective (i.e. not "one-to-one"), then this is actually a multivalued "function" (relation). But if we choose the principal branch of , then the above will range in , and the domain is if we interpret as a real-valued function of a real number. The circular logarithm will not return in if taken as a single-valued branch, because is not injective over that interval. JmsNxn Long Time Fellow    Posts: 465 Threads: 85 Joined: Dec 2010 06/24/2011, 07:21 PM (This post was last modified: 06/25/2011, 12:09 AM by JmsNxn.) (06/23/2011, 12:58 AM)mike3 Wrote: This one can be solved via trigonometric identities. We have If we can find a value for which , then we can use division to make the right-hand side equal your "". Solving the equation yields , . Then, , and . Then, the inverse, the "circular logarithm", is given by . Of course, since is not injective (i.e. not "one-to-one"), then this is actually a multivalued "function" (relation). But if we choose the principal branch of , then the above will range in , and the domain is if we interpret as a real-valued function of a real number. The circular logarithm will not return in if taken as a single-valued branch, because is not injective over that interval. Wow that's incredible how you did that. That's awesome that cxp can be a closed form expression of only cos, that means for imaginary arguments it should be purely positive. I thought it would be way harder to solve for it... I guess sometimes the answers just so simple and right infront of you that you can't think of it. Thanks a lot for your help. I'll try to see if this pans out to anything « Next Oldest | Next Newest »

 Possibly Related Threads... Thread Author Replies Views Last Post Isomorphism of newtonian calculus rules for Non-Newtonian (anti)derivatives of hypers Micah 4 4,767 03/02/2019, 08:23 PM Last Post: Micah 1st iterated derivatives and the tetration of 0 Xorter 0 2,510 05/12/2018, 12:34 PM Last Post: Xorter Hyper operators in computability theory JmsNxn 5 8,334 02/15/2017, 10:07 PM Last Post: MphLee Recursive formula generating bounded hyper-operators JmsNxn 0 2,867 01/17/2017, 05:10 AM Last Post: JmsNxn Rational operators (a {t} b); a,b > e solved JmsNxn 30 61,705 09/02/2016, 02:11 AM Last Post: tommy1729 holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 25,623 08/22/2016, 12:19 AM Last Post: JmsNxn The bounded analytic semiHyper-operators JmsNxn 2 6,100 05/27/2016, 04:03 AM Last Post: JmsNxn Bounded Analytic Hyper operators JmsNxn 25 35,000 04/01/2015, 06:09 PM Last Post: MphLee On the binary partition and taking derivatives tommy1729 0 2,672 09/29/2014, 11:34 PM Last Post: tommy1729 Incredible reduction for Hyper operators JmsNxn 0 3,533 02/13/2014, 06:20 PM Last Post: JmsNxn

Users browsing this thread: 1 Guest(s)