Thread Rating:
• 1 Vote(s) - 5 Average
• 1
• 2
• 3
• 4
• 5
 open problems survey bo198214 Administrator Posts: 1,375 Threads: 90 Joined: Aug 2007 05/17/2008, 10:03 AM (This post was last modified: 10/24/2010, 07:46 AM by bo198214.) This thread is for mathematicians looking for challenges. Rules for posting in this thread: a) One open problem/conjecture per post (except very closely related problems) b) Put a meaningful title together with a succeeding problem id into the post subject. c) Every problem shall be stated clearly and basicly, if necessary by giving an introduction before and linking to relevant resources. d) Avoid problems like: "find the best algorithm for ...", "investigate more on ...", "is there a connection between ...", etc. Make effort to culminate the problem in a yes/no question or conjecture. e) If you found a proof or have a comment then dont post it here but open a new thread containing the string "TPID n" where n is replaced by the problem number. This way comments and proofs for a problem can by found by searching the forum for that string, while the problems thread stays clean and readable. bo198214 Administrator Posts: 1,375 Threads: 90 Joined: Aug 2007 05/17/2008, 10:23 AM (This post was last modified: 06/29/2008, 10:57 AM by bo198214.) Conjecture Let be the Bell/Carleman matrix of , , truncated to rows and columns. There is an enumeration of the eigenvalues of such that where is the lower real fixed point of . Explanation This is a key question for deciding whether the diagonalization/matrix power method is independent of its development point. A more general question would be under which circumstances the eigenvalues of the Carleman matrix converge to the powers of an attracting fixed point. It seems they dont do for which has an attracting fixed point at and a repelling fixed point at . Also the behaviour of the eigenvalues for seems unclear. However there is only one real repelling fixed point in this case. Notes is the derivative of at : andydude Long Time Fellow    Posts: 509 Threads: 44 Joined: Aug 2007 05/26/2008, 03:24 PM (This post was last modified: 05/26/2008, 06:47 PM by bo198214.) Conjecture (Part 1): The exponential factorial (EF) is uniquely determined by the assumptions: EF(x) is invertible for EF(x) is real analytic for for where S is an open interval on the real line that contains 1 but not 0. For a complex analytic extension, being bounded may be sufficient. Conjecture (Part 2): This is contingent on part 1, and if it is uniquely determined by these conditions, then , the Euler-Macheroni constant. Discussion: Starting with the definition of the exponential factorial , and differentiating we get and evaluating at one, we get . So by finding EF(0) we are really finding the first coefficient of the power series expansion of EF (about x=1). A numerical approximation of the power series of EF using only these first principles will give a value of . Aside from the numerical approximations, if we assume that EF is invertible at one, then that means that EF'(1) is nonzero, which means that EF(0) is nonzero. Here is the first few real solutions. There seems to always be exactly 2 real solutions for every approximation, but the number of complex solutions increases with the approximation number. Code:M = Number of coefficients N = Number of solutions M N Solutions 2 2 {{0.575571, 0.151142}, {10.4244, 19.8489}} 3 2 {{0.575571, 0.229718, 0.0785761}, {10.4244, 39.0172, 19.1683}} 4 6 {{0.570807, 0.232292, 0.114153, 0.0234736}, {4.22694, 18.1158, -0.652778, -11.3147}, ...} These coefficients correspond to the functions: Below I have attached of some graphs made with these approximations. Notice that values of the function for are required to be complex. Attached Files expfac2.pdf (Size: 13.25 KB / Downloads: 581) expfac4.pdf (Size: 45.15 KB / Downloads: 508) bo198214 Administrator Posts: 1,375 Threads: 90 Joined: Aug 2007 06/29/2008, 12:36 PM (This post was last modified: 06/29/2008, 01:32 PM by bo198214.) Conjecture Let be the Carleman matrix of (truncated to N rows and columns), , real. Then the set of eigenvalues of converges to the set for in the sense that there exist an enumeration of the Eigenvalues of such that for each . Discussion This is about the function shifted by . The fixed point 0 is a singularity for (for non-natural ), so has to be developed at the different point . In the particular case we have the fixed point at 0 and the first derivative is . So the Carleman matrix is triangular and we can solve it exactly, getting . The conjecture is again about the independence of the matrix function method with respect to the development point. can even be developed at the fixed point 0 in the particular case . However in this case except and regular iteration can not be applied, which makes sense as can for most t not be developed at 0. bo198214 Administrator Posts: 1,375 Threads: 90 Joined: Aug 2007 10/08/2008, 04:22 PM We know that the recurrence for (1) (2) has as the only entire solution that is bounded on the strip . The image of under is an annulus for and so bounded. We know that for complex the function is not bounded on (the image is kinda infinite spiral) for any . The question remains whether Conjecture There is no entire solution that satisfies (1) and (2) and is bounded on for complex . bo198214 Administrator Posts: 1,375 Threads: 90 Joined: Aug 2007 05/01/2009, 09:20 AM (This post was last modified: 05/01/2009, 09:24 AM by bo198214.) For a discussion of the topic see http://math.eretrandre.org/tetrationforu...11#pid2411 Conjecture Let . Every real function on that satisfies: is not continuous at any point. andydude Long Time Fellow    Posts: 509 Threads: 44 Joined: Aug 2007 10/07/2009, 12:03 AM (This post was last modified: 10/24/2010, 07:48 AM by bo198214.) Conjecture where such that Discussion To evaluate f at real numbers, an extension of tetration is required, but to evaluate f at positive integers, only real-valued exponentiation is needed. Thus the sequence given by the solutions of the equations and so on... is the sequence under discussion. The conjecture is that the limit of this sequence is , also known as eta (). Numerical evidence indicates that this is true, as the solution for x in is approximately 1.44. The conjecture is proven to be true. Search the forum for "TPID 6". andydude Long Time Fellow    Posts: 509 Threads: 44 Joined: Aug 2007 10/23/2009, 05:27 AM (This post was last modified: 10/25/2009, 07:49 AM by andydude.) Conjecture The following holds for regular tetration: for all and 0 < |y| < 1. The following holds for intuitive tetration: for all and 0 < |y| < 1. Discussion This would be interesting in its own right, partly because it is symmetric, but also because it is useful in demonstrating the difference between reciprocal heights and super-roots. Another notable aspect of this set of bounds is that it is very extension-dependent. This does not hold for linear tetration. Appended are several graphs of the function for x = 1.001, 1.1, eta, e, 10. The first three (1.001, 1.1, eta) were calculated with regular tetration, and the last two (e, 10) were calculated with intuitive tetration. More discussion of this is here Attached Files xty-times-xtny-base-1p001.pdf (Size: 6.39 KB / Downloads: 424) xty-times-xtny-base-1p1.pdf (Size: 6.28 KB / Downloads: 419) xty-times-xtny-base-eta.pdf (Size: 6.26 KB / Downloads: 390) xty-times-xtny-base-e.pdf (Size: 6.2 KB / Downloads: 402) xty-times-xtny-base-10.pdf (Size: 6.31 KB / Downloads: 391) bo198214 Administrator Posts: 1,375 Threads: 90 Joined: Aug 2007 04/25/2010, 10:53 AM (This post was last modified: 04/25/2010, 01:48 PM by bo198214.) Is there an elementary real function , such that is a real polynomial of degree at least 2 without real fixed points. bo198214 Administrator Posts: 1,375 Threads: 90 Joined: Aug 2007 07/20/2010, 05:50 AM (This post was last modified: 10/24/2010, 07:55 AM by bo198214.) Let the sequence be defined recursively in the following way for : and for Is ? The conjecture is proven to be true. See http://arxiv.org/abs/1008.1409 and also the discussions: Logarithm reciprocal True or false logarithm There is also a result-less (as of this writing) thread in sci.math.research and sci.math called "Logarithm reciprocal". « Next Oldest | Next Newest »

 Possibly Related Threads... Thread Author Replies Views Last Post open problems / Discussion Gottfried 8 8,000 06/26/2008, 07:20 PM Last Post: bo198214

Users browsing this thread: 2 Guest(s)