• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Mittag-Leffler series for generating continuum sum? bo198214 Administrator Posts: 1,391 Threads: 90 Joined: Aug 2007 11/17/2009, 09:20 PM (This post was last modified: 11/17/2009, 09:21 PM by bo198214.) (11/17/2009, 08:44 PM)mike3 Wrote: Does it refer to some other book/paper/etc. within it when it discusses the formula and its coefficients? Could you chase after that? Its a self contained proof, no further references. Quote:What about the 1977 one? I dont possess it and didnt find it in the web. mike3 Long Time Fellow Posts: 368 Threads: 44 Joined: Sep 2009 11/17/2009, 11:22 PM (This post was last modified: 11/17/2009, 11:50 PM by mike3.) (11/17/2009, 09:20 PM)bo198214 Wrote: (11/17/2009, 08:44 PM)mike3 Wrote: Does it refer to some other book/paper/etc. within it when it discusses the formula and its coefficients? Could you chase after that? Its a self contained proof, no further references. Mmm. And I suppose it's just an "existence" as opposed to a "construction" proof, then? Yet the site says: "The degrees of the polynomials and their coefficients , are independent of the form of f(z) and can be evaluated once and for all." and references sources [2] and [3] which are the 1977 thing you mentioned you didn't have, and one that's in French. And the 1965 one didn't say how to get the values... Quote:Quote:What about the 1977 one? I dont possess it and didnt find it in the web. I thought you went to a library to get this stuff. I suppose not, then, or the library did not have it? So it seems the trail has run cold on this one, then? Or perhaps the answer is there, but it's in French bo198214 Administrator Posts: 1,391 Threads: 90 Joined: Aug 2007 11/18/2009, 08:05 AM (11/17/2009, 11:22 PM)mike3 Wrote: I thought you went to a library to get this stuff. I suppose not, then, or the library did not have it? Mike, you didnt read what I wrote (again!, why do I give all the extra information?), I clearly said that I found the djvu on the web. And if you are really interested then you type "A.I. Markushevich, Theory of functions of a complex variable, djvu" in the google field and get it too and can read the 1965 edition yourself. In its construction it mentions the Runge polynomial approximation, perhaps there you can find the coefficients. See, for me it takes off 2 hours from my sparse time to go to a library. And this for a book I am not even sure whether it contains the needed information. mike3 Long Time Fellow Posts: 368 Threads: 44 Joined: Sep 2009 11/18/2009, 09:55 AM (This post was last modified: 11/18/2009, 09:59 AM by mike3.) (11/18/2009, 08:05 AM)bo198214 Wrote: Mike, you didnt read what I wrote (again!, why do I give all the extra information?), I clearly said that I found the djvu on the web. And if you are really interested then you type "A.I. Markushevich, Theory of functions of a complex variable, djvu" in the google field and get it too and can read the 1965 edition yourself. In its construction it mentions the Runge polynomial approximation, perhaps there you can find the coefficients. See, for me it takes off 2 hours from my sparse time to go to a library. And this for a book I am not even sure whether it contains the needed information. Ah. I guess I just missed the bit where you said "internet". I looked at it and I'm not sure what to make of what's there. The locations of the singularities seem to be involved in the proof, but given the "universality" of the coefficients mentioned, it appears they may not be needed for their construction (as different functions have different singularities). It still doesn't seem to give anything useful for the construction. I also found a limited book preview for the 1977 edition on Google, the second page of the proof is omitted and it seems the section ends right after that page. Given the length of the proof (2 pages) in the 1965 book, I'm also not sure if this 1977 book would contain the method either, so yeah, I could understand your concern about taking the time to go to the library! Though I wonder then why it was referenced on the website, but perhaps maybe that's just because the book may, like the 1965 edition, just mention the fact they are universal, not actually construct them, and the actual construction may be in the French-language paper by Borel, or something it references. bo198214 Administrator Posts: 1,391 Threads: 90 Joined: Aug 2007 11/18/2009, 10:43 AM (11/18/2009, 09:55 AM)mike3 Wrote: I looked at it and I'm not sure what to make of what's there. The locations of the singularities seem to be involved in the proof, but given the "universality" of the coefficients mentioned, it appears they may not be needed for their construction (as different functions have different singularities). Yes, there you are right (and i was wrong). If I remember correctly you only need the Runge approximation for 1/(z-w) or so. So if you have the coefficients of the Runge approximation maybe you can deduce the Star-expansion coefficients following the proof. But I really wonder why the coefficients are not given in the Springer online reference. I was inclined to think that they are quite complicated. Quote:Though I wonder then why it was referenced on the website Indeed I wonder too. It mentions Painlevé having explicitely found the coefficients, but the given references are not by Painlevé, not even mentioned in [2]. I think it is just an oversight, forgetting/or being to lazy to give the proper references. In wikipedia the Mittag-Leffler expansion is also mentioned but with rather soft text-book references, which surely dont contain the coefficient computations. mike3 Long Time Fellow Posts: 368 Threads: 44 Joined: Sep 2009 11/18/2009, 11:01 PM (This post was last modified: 11/18/2009, 11:06 PM by mike3.) Even if it is fairly complicated, one should still be able to find it somewhere, no? I find it strange that this would be so obscure, given the relevance to a fundamental part of complex analysis -- analytic continuation. How would one go about finding the right reference? mike3 Long Time Fellow Posts: 368 Threads: 44 Joined: Sep 2009 11/28/2009, 10:36 PM (This post was last modified: 11/28/2009, 10:44 PM by mike3.) (11/18/2009, 10:43 AM)bo198214 Wrote: Yes, there you are right (and i was wrong). If I remember correctly you only need the Runge approximation for 1/(z-w) or so. So if you have the coefficients of the Runge approximation maybe you can deduce the Star-expansion coefficients following the proof. Hmm. I was emailed a snippet of the 1977 book for Complex analysis (the one by Markushevich mentioned on the website), showing the missing other page of the proof you couldn't see in Google's book preview, with which had this: (the comment in "[]"s is mine) Quote:The function $\frac{1}{1 - w}$ is single-valued and analytic on G [described as "the domain G bounded by the segment u >= 1, v = 0 (the part of the real axis going from 1 to $\infty$", which sounds like the Mittag-Leffler star of that function], and hence, by Runge's theorem (Theorem 3.5) there exists a sequence of polynomials $P_n(w) = c_0^{(n)} + c_1^{(n)} w + ... + c_{k_n}^{(n)} w^{k_n}$ such that $lim_{n \rightarrow \infty} P_n(w) = \frac{1}{1 - w}$ where the convergence is uniform inside G, in particular on the compact set $E(F, L) \subset G$. It mentions "Runge's theorem", does that have to do with "Runge approximations"? Can this be useful in determining the polynomials (and so the magic coefficients)? If so, how would one do it? bo198214 Administrator Posts: 1,391 Threads: 90 Joined: Aug 2007 11/28/2009, 10:56 PM (11/28/2009, 10:36 PM)mike3 Wrote: Quote:The function $\frac{1}{1 - w}$ is single-valued and analytic on G [described as "the domain G bounded by the segment u >= 1, v = 0 (the part of the real axis going from 1 to $\infty$", which sounds like the Mittag-Leffler star of that function], and hence, by Runge's theorem (Theorem 3.5) there exists a sequence of polynomials $P_n(w) = c_0^{(n)} + c_1^{(n)} w + ... + c_{k_n}^{(n)} w^{k_n}$ such that $lim_{n \rightarrow \infty} P_n(w) = \frac{1}{1 - w}$ where the convergence is uniform inside G, in particular on the compact set $E(F, L) \subset G$. yes thats the same as in the 1967 edition. There you will also find Runge's theorem. mike3 Long Time Fellow Posts: 368 Threads: 44 Joined: Sep 2009 11/29/2009, 03:48 AM (This post was last modified: 11/29/2009, 03:48 AM by mike3.) (11/28/2009, 10:56 PM)bo198214 Wrote: yes thats the same as in the 1967 edition. There you will also find Runge's theorem. I just found that, but how do you use that to actually construct the necessary sequence of polynomials? bo198214 Administrator Posts: 1,391 Threads: 90 Joined: Aug 2007 12/11/2009, 11:16 AM (This post was last modified: 12/11/2009, 11:18 AM by bo198214.) So I had a look at E. Borel: Leçons sur les séries divergentes (1901) In chapter V, page 156 he explains the Mittag-Leffler expansion. Mostly I fighted my way through the text with an online translator. I found the following interesting formulas, where $\phi$ is the function we search the expansion of: $g_n(x)=\sum_{\lambda_1=0}^{n^{2n}}\sum_{\lambda_2=0}^{n^{2n-2}} \dots\sum_{\lambda_n=0}^{n^2} \frac{\phi^{(\lambda_1+\dots+\lambda_n)}(0)}{\lambda_1!\dots\lambda_n!} \left(\frac{x}{n}\right)^{\lambda_1+\dots+\lambda_n}$ $G_0(x)=g_0(x)=\phi(0)$ $G_n(x)=g_n(x)-g_{n-1}(x)$ for $n>0$, $\phi(x)=\sum_{n=0}^\infty G_n(x)$ « Next Oldest | Next Newest »

 Possibly Related Threads... Thread Author Replies Views Last Post Perhaps a new series for log^0.5(x) Gottfried 3 3,616 03/21/2020, 08:28 AM Last Post: Daniel Taylor series of i[x] Xorter 12 20,804 02/20/2018, 09:55 PM Last Post: Xorter Recursive formula generating bounded hyper-operators JmsNxn 0 2,865 01/17/2017, 05:10 AM Last Post: JmsNxn An explicit series for the tetration of a complex height Vladimir Reshetnikov 13 21,720 01/14/2017, 09:09 PM Last Post: Vladimir Reshetnikov Complaining about MSE ; attitude against tetration and iteration series ! tommy1729 0 2,904 12/26/2016, 03:01 AM Last Post: tommy1729 2 fixpoints , 1 period --> method of iteration series tommy1729 0 2,957 12/21/2016, 01:27 PM Last Post: tommy1729 Taylor series of cheta Xorter 13 22,741 08/28/2016, 08:52 PM Last Post: sheldonison Tetration series for integer exponent. Can you find the pattern? marraco 20 27,115 02/21/2016, 03:27 PM Last Post: marraco 2015 Continuum sum conjecture tommy1729 3 6,011 05/26/2015, 12:24 PM Last Post: tommy1729 [AIS] (alternating) Iteration series: Half-iterate using the AIS? Gottfried 33 60,532 03/27/2015, 11:28 PM Last Post: tommy1729

Users browsing this thread: 2 Guest(s)