Can Functions Have Complex Poles Beyond Infinitesimal Limits?

  • Context: Undergrad 
  • Thread starter Thread starter dRic2
  • Start date Start date
  • Tags Tags
    Complex Function Pole
Click For Summary

Discussion Overview

The discussion revolves around the possibility of functions having complex poles beyond infinitesimal limits, particularly in the context of integrals and summations involving continuous functions. Participants explore the implications of these mathematical constructs and their behavior in complex analysis.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant questions whether the function defined by an integral can have complex poles of the form ##a + ib## with ##b## not infinitesimal, suggesting that the integral must change rapidly with small changes in ##x##.
  • Another participant argues that if the integral is over the real axis, the presence of an imaginary part in the denominator prevents the existence of poles.
  • A subsequent reply seeks clarification on the reasoning behind the rapid changes required for poles, indicating a need for further explanation of the concept.
  • Further discussion highlights that the condition for poles does not necessarily imply oscillation in the integrand, using the example of a pole in ##\frac{1}{(x-1)^2}##.
  • Another participant introduces the idea that if ##g \in L^1(\mathbb{R})##, there are holomorphic functions in the upper and lower half-planes.
  • There is a mention of the Mittag-Leffler Theorem as a potential related concept, although one participant clarifies that their inquiry stems from considerations of Green's functions in many-body theory.

Areas of Agreement / Disagreement

Participants express differing views on the existence of complex poles in the discussed functions, with no consensus reached on the implications of the integral and summation forms. The discussion remains unresolved regarding the conditions under which complex poles may exist.

Contextual Notes

Participants reference properties of poles and the behavior of functions near these points, but the discussion does not resolve the mathematical conditions or assumptions necessary for establishing the existence of complex poles.

dRic2
Gold Member
Messages
887
Reaction score
225
Suppose I have a function
$$f(x) = \lim_{\eta \rightarrow 0} \int_{-\infty}^{\infty} d \zeta \frac {g(\zeta)}{x - \zeta + i \eta}$$
and suppose ##g(\zeta)## is a continuous (maybe even differentiable) function. Can ##f(x)## have complex poles of the form ##a + ib## with ##b## not an infinitesimal ?

Would a similar result hold if, instead of an integral, I have a summation
$$f(x) = \lim_{\eta \rightarrow 0} \sum_{i}^{\infty} \frac {g_i}{x - \zeta_i + i \eta}$$
?

I'm sorry if I'm not writing any ideas, but I don't have any. It has been quite a while since my last analysis exam and I don't really known where to even start. Btw this is non an exercise, it's just something I'm wondering about.

Thanks
Ric
 
  • Like
Likes   Reactions: Delta2
Physics news on Phys.org
Assuming that integral is over the real axis I don't see how you could get a pole. You would need the integral to change rapidly with arbitrarily small changes of x, but the denominator has an imaginary part that doesn't go away if x is not real.

For the sum, I assume ##\zeta_i## is real, in that case I expect the same result.
 
  • Like
Likes   Reactions: dRic2
mfb said:
You would need the integral to change rapidly with arbitrarily small changes of x, but the denominator has an imaginary part that doesn't go away if x is not real.
Sorry I don't understand this sentence. Can you explain a little more? Thanks for the answer
 
It's one of the properties of pole. More formally, for all ##\epsilon,\delta>0## you can find z and z' within ##\epsilon## of the pole such that ##|f(z)-f(z')|>\delta##. But what could lead to such a rapid change in the integrals if the denominator has an imaginary part that doesn't disappear?
 
I don't see how the condition you just mentioned implies that integrand should oscillate vigorously. $\frac 1 {(x -1)^2}$ has a pole in 1 but doesn't oscillate. A part from this I get your argument and I agree. And what if the numerator is some strange "function" maybe something with a dirac's delta? The only request I have is that the numerator doesn't carry a pole by itself. I would still be tempted to say that only real poles survive
 
If ##g\in L^1(\mathbb{R})## then you have two holomorphic functions: in ##\{\mathrm{Im}\,x>0\}## and in ##\{\mathrm{Im}\,x<0\}##
 
  • Like
Likes   Reactions: dRic2
dRic2 said:
$\frac 1 {(x -1)^2}$ has a pole in 1 but doesn't oscillate.
I'm not talking about oscillations. Approach 1 from the real axis and it goes to infinity, approach it along the imaginary axis and it goes to minus infinity.
dRic2 said:
And what if the numerator is some strange "function" maybe something with a dirac's delta?
That's not a function. For "functions" I don't know.
 
Are you by any chance studying the Mittag-Leffler Theorem? This is a way of doing sums by putting in poles using meromorphic functions. Sort of similar to your question.
 
Thanks for all the replays. I'm sorry if my question looks weird but I started thinking about this as a consequence of thinking about other stuff, but the complete question would be to long to post here. Anyway, I think I solved this particular problem.

hutchphd said:
Are you by any chance studying the Mittag-Leffler Theorem?
no sorry. I started thinking about this after reasoning about some properties of the green function in many body theory. Might be linked though...
 
  • #10
OK When you realize it is all wizardry then you are halfway there. Sure wish I knew it routinely.
 
  • Haha
Likes   Reactions: dRic2
  • #11
hutchphd said:
OK When you realize it is all wizardry then you are halfway there. Sure wish I knew it routinely.
I usually trust those wizards who made the machinery, but I also like to know what I trust them about :D
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
4K