What is Problem 167 in Serge Lang's Complex Analysis about?

Click For Summary

Discussion Overview

The discussion revolves around Problem 167 from Serge Lang's "Complex Analysis," focusing on the function defined by a series involving poles and convergence. Participants explore the properties of the function, including its decomposition into rational and infinite series components, the nature of its poles, and estimates related to convergence and bounds.

Discussion Character

  • Technical explanation
  • Conceptual clarification
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants question whether R represents the radius of convergence, with one asserting it is a positive constant whose significance will emerge later in the proof.
  • There is a discussion about the decomposition of the function into g(z) and h(z), where g is a rational function meromorphic on C, with participants exploring why rational functions are considered meromorphic.
  • Participants discuss the nature of the poles of g, noting that they occur at points where z^2 - n^2 = 0 for integers n such that |n| ≤ N, leading to confusion about the use of n in different contexts.
  • One participant provides an estimate for the function's behavior for |z| < R, questioning the validity of certain inequalities and assumptions regarding n being greater than N.
  • There is a clarification that the denominator satisfies a specific inequality for n > N > 2R, with one participant asserting that this follows from the condition R/n < 1/2.
  • Another participant raises a question about the summation only cycling through positive values, prompting a discussion about the dual use of n as both positive integers in the summation and negative values when discussing poles.

Areas of Agreement / Disagreement

Participants express differing views on the interpretation of R and N, the nature of the poles, and the validity of certain mathematical estimates. The discussion remains unresolved with multiple competing interpretations and clarifications being offered.

Contextual Notes

There are limitations regarding the assumptions made about R and N, the conditions under which certain inequalities hold, and the dual interpretation of n in different contexts. These aspects contribute to the complexity of the discussion without reaching a consensus.

Dustinsfl
Messages
2,217
Reaction score
5
I am trying to understand a problem in my book (for reference pr 167 Serge Lang Complex Analysis).

$$
f(z) = \frac{1}{z} + \sum_{n = 1}^{\infty}\frac{z}{z^2-n^2}
$$

Let R>0 (is this R representing the radius of convergence?) and let N>2R (where did this come from and why?).

Write $f(z) = g(z)+h(z)$ where
$$
g(z) = \frac{1}{z}+\sum_{n = 1}^{N}\frac{z}{z^2-n^2} \quad\text{and}\quad
h(z) = \sum_{N+1}^{\infty}\frac{z}{z^2-n^2}
$$
g is a rational function and is meromorphic on C (why are rational functions automatically meromorphic?).
We see that g has simple poles at the integers n such that $|n|\leq N$ (why are we looking at the absolute value of n?)

For $|z|<R$ we have the estimate
$$
\left|\frac{z}{z^2-n^2}\right|\leq\frac{R}{n^2-R^2}=\frac{1}{n^2}\frac{R}{1-\left(R/n)\right)^2}
$$
(\frac{R}{n^2-R^2} why is that?)

The denominator satisfies $1-\left(R/n\right)^2\geq 3/4$ for $n>N>2R$ (Why is this?).
 
Last edited:
Physics news on Phys.org
dwsmith said:
I am trying to understand a problem in my book (for reference pr 167 Serge Lang Complex Analysis).

$$
f(z) = \frac{1}{z} + \sum_{n = 1}^{\infty}\frac{z}{z^2-n^2}
$$

Let R>0 (is this R representing the radius of convergence?) and let N>2R (where did this come from and why?).
R is not a radius of convergence, it is a positive constant whose significance will only emerge later in the proof. Ditto for N.

Write $f(z) = g(z)+h(z)$ where
$$
g(z) = \frac{1}{z}+\sum_{n = 1}^{N}\frac{z}{z^2-n^2} \quad\text{and}\quad
h(z) = \sum_{N+1}^{\infty}\frac{z}{z^2-n^2}
$$
g is a rational function and is meromorphic on C (why are rational functions automatically meromorphic?).
A rational function is analytic everywhere except where its denominator is zero. The denominator is a polynomial, so it has only finitely many zeros, each of which is a pole of g. Thus g is analytic except at finitely many poles, and is therefore meromorphic.

We see that g has simple poles at the integers n such that $|n|\leq N$ (why are we looking at the absolute value of n?)
The poles of g occur at points where $\color{blue}z^2-n^2=0$ for some n with $\color{blue}n\leqslant N.$ Thus $\color{blue}z=\pm n.$ So the poles occur at negative as well as positive points on the real axis.

For $|z|<R$ we have the estimate
$$
\left|\frac{z}{z^2-n^2}\right|\leq\frac{R}{n^2-R^2}=\frac{1}{n^2}\frac{R}{1-\left(R/n)\right)^2}
$$
(\frac{R}{n^2-R^2} why is that?)
It doesn't say so, but at this stage we must be assuming that $\color{blue}|n|>N.$ Thus $\color{blue}n^2>N^2>R^2>|z|^2$, and so $\color{blue}|z^2-n^2| > n^2-R^2$ (triangle inequality).

The denominator satisfies $1-\left(R/n\right)^2\geq 3/4$ for $n>N>2R$ (Why is this?).
That follows trivially from the fact that $\color{blue}R/n<1/2.$
...[/color]
 
Since the summation is only cycling through positive values, how would n every be negative?

So for the triangle inequality, $z^2 < R^2\iff z^2-n^2+n^2<R^2\iff z^2-n^2<R^2-n^2\iff |n^2-z^2|<|n^2-R^2|$.
 
Last edited:
dwsmith said:
Since the summation is only cycling through positive values, how would n every be negative?
The reason this is confusing is that $n$ is being used in two different senses. In the summation, $n$ is a positive integer. But when indicating the points where $g$ has a pole, it also takes negative values.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K