Talk:Meromorphic function

message: must the set of poles be finite? -- Tarquin
Nope. 1/sin(z) is meromorphic. AxelBoldt
I don't think I completely understand the definition.
Can there be an infinite number of poles?
And if so, do they have to be countable?  --anon
: Yes, they can be an infinite set. Hopefully my rewrite shows that.
They really do have to be isolated? --anon
Yes, by definition. If they are not isolated, it is impossible to prove that a meromorphic function is a ratio of two holomorphic functions. Oleg Alexandrov 17:28, 11 August 2005 (UTC)
thread_title:  how big can the set of poles be 

message: http://mathworld.wolfram.com/MeromorphicFunction.html
here they speak of 
if this a different definition or is it some non trivial theorem that if your definition is true, the number of poles is countable
thanks --anon
: I don't see any contradiction between our page and mathworld. The poles of a meromorphic function must be isolated, by definition. Now, one can prove a theorem saying that a set of isolated points is finite or countable. So, is it the proof of this theorem that you are interested in? Oleg Alexandrov 20:44, 11 August 2005 (UTC)
thread_title:  the number of poles of a meromorphic function must not be countable? 

message: Outside of every neighbourhood of origin the function sin(1/z) is bounded in bounded sets. Thus origin cannot be it's accumulation
point of poles. Perhaps here is a typo and it should be 1/sin(1/z)?  —Preceding unsigned comment added by J Kataja (talk • contribs) 10:01, 9 January 2008 (UTC)
replies: text: You're right. The function \sin(1/z) is actually not meromorphic in the origin, but for a different reason. -- EJ (talk) 12:00, 9 January 2008 (UTC)
thread_title:  Poles of sin(1/z) 

message: The statement concerning elliptic functions and elliptic curves sounds wrong. What "elliptic curves" did the author have in mind? An ellipse in the plane? Then it is simply wrong: elliptic functions are the inverse functions of the functions used to calculate the area of an ellipse.
Also elliptic functions are defined on a "period parallelogram", i.e. a fundamental region of a discrete lattice in the complex plane. That does not look like an "elliptic curve" to me.  —Preceding unsigned comment added by 204.119.233.250 (talk) 21:16, 8 February 2008 (UTC)
replies: text: See elliptic function. Is is not about ellipses. Oleg Alexandrov (talk) 04:11, 9 February 2008 (UTC)
thread_title:  Elliptic Functions 

message: The article states:
* Somewhat similarly, the function
:: f(z) = \frac{z}{e^z - 1}
: has singularities at all points in the form z = 2 n \pi i, for n \in \mathbb{Z}. However, it is not meromorphic on all of \mathbb{C}, since the singularity at z = 0 is removable: \lim_{z \rightarrow 0} f(z) = 1.
Why cancellation of a zero of denominator by the zero of the numerator breaks the meromorphicity?
I would say, such f is meromorphic. dima (talk) 00:54, 30 September 2008 (UTC)
replies: text: Well, the definition as given in the article indeed requires all singularities to be poles, disallowing removable singularities. (OTOH, the extension of f obtained by putting f(0) = 1 is meromorphic on \mathbb C.) For a more striking example, if you take the function which is constant 0 on \mathbb C\setminus\{0\}, and undefined in 0, it is not meromorphic on \mathbb C according to the definition. I also find this convention counterintuitive, but I am not in a position to judge which definition is more standard. — Emil J. 11:30, 3 October 2008 (UTC)
replies: text:  But a removable singularity is a pole, namely a pole of order 0. See e.g. the article on poles, which states: A pole of order 0 is a removable singularity. And there is no requirement for the poles of a meromorphic function to have order of at least 1. Furthermore, this restriction would contradict the statement, that all rational functions are meromorphic (x/x is certainly rational and has a removable singularity at 0). I think this example is wrong and should be removed. -- (ezander) 134.169.77.186 (talk) 07:58, 14 September 2009 (UTC)

text: Sorry, but your reformulation does not make any sense. If the function is defined in all of D, then it is holomorphic on D, not just meromorphic. The whole point of the concept is that a function meromorphic on D can be undefined in some points of D (which are isolated singularities). The only question is whether it is required to have poles (of positive order) in all these undefined points, or whether it can have removable singularities there. As for the poles of order 0 issue: removable singularities can also be zeros of positive order, and these are not poles of order 0, they would have to be "poles of negative order". Somehow I do not think that introducing those is a terribly good idea. — Emil J. 12:01, 17 September 2009 (UTC)
replies: text: Well, yes I see what you mean, and I did not express what I was trying to say accurately. Certainly it is possible to make what I said correct by taking the range of the function to be the extended complex plane, which personally I think is by far the best treatment, but I accept this is probably not the usual approach. Would it be acceptable to say "holomorphic on all D except a set of isolated points, which are poles or removable singularities"? Whatever the form of words it seems to me that removable singularities do not stop a function from being meromorphic. JamesBWatson (talk) 16:07, 17 September 2009 (UTC)
replies: text: Fine with me. — Emil J. 17:22, 17 September 2009 (UTC)
thread_title:  Strange statement 

message: I dimly remember that there is a theorem which states that you can expand any meromorphic function into a summation over its poles and the residues at those poles. Surely this article here should mention such an important theorem? --173.180.169.187 (talk) 16:06, 19 April 2013 (UTC)
thread_title:  Series expansion of a meromorphic function 

message: If someone knows about that or perhaps could provide a reference for it at the bottom of the pae, that would be great.2601:7:6580:5E3:7D6D:997D:F92D:729D (talk) 11:37, 21 January 2015 (UTC)
thread_title:  algebraic closure of field of meromorphuc functions? 

message: "By using analytic continuation to eliminate removable singularities": Removable singularities are by definition isolated singularities that can be eliminated by extending the function holomorphically. Mentioning the general concept of analytic continuation makes this seem more complicated than it is. Maybe one should mention Removable singularity#Riemann's theorem instead.
BSpringborn (talk) 09:19, 16 June 2017 (UTC)
thread_title:  Analytic continuation 

message: For example, I propose replacing the paragraph
> On a non-compact Riemann surface, every meromorphic function can be realized as a quotient of two (globally defined) holomorphic functions. In contrast, on a compact Riemann surface, every holomorphic function is constant, while there always exist non-constant meromorphic functions. 
with
> On a non-compact Riemann surface, every meromorphic function into the complex plane can be realized as a quotient of two (globally defined) holomorphic functions. In contrast, on a compact Riemann surface, every holomorphic function into the complex plane is constant, while there always exist non-constant meromorphic functions.
I had to double check the original paragraph because it didn't pass my smell test.
I haven't made this change. I'm concerned my version might be too wordy.  — Preceding unsigned comment added by Svennik (talk • contribs) 21:21, 25 August 2019 (UTC)
thread_title:  In the subsection on Riemann surfaces, it may be worth clarifying what the domains and codomains are 

message: What is the reference for this, what does it mean to have "functions on an elliptic curve" and is the statement even true? Kotika98 (talk) 12:53, 26 August 2021 (UTC)
thread_title:  "Meromorphic functions on an elliptic curve are also known as elliptic functions" ?