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

Click For Summary
SUMMARY

The discussion centers on Problem 167 from Serge Lang's "Complex Analysis," specifically analyzing the function $$f(z) = \frac{1}{z} + \sum_{n = 1}^{\infty}\frac{z}{z^2-n^2}$$. The variable R is clarified as a positive constant, not a radius of convergence, while N is defined as greater than 2R. The function is decomposed into $$g(z)$$ and $$h(z)$$, where $$g(z)$$ is a rational function meromorphic on the complex plane, possessing simple poles at integers $$n$$ such that $$|n| \leq N$$. The discussion emphasizes the significance of the triangle inequality and the behavior of the denominator in the estimates provided.

PREREQUISITES
  • Understanding of complex functions and meromorphic functions.
  • Familiarity with series convergence and the concept of poles.
  • Knowledge of the triangle inequality in complex analysis.
  • Basic principles of rational functions and their properties.
NEXT STEPS
  • Study the properties of meromorphic functions in complex analysis.
  • Learn about the triangle inequality and its applications in complex function estimates.
  • Explore the concept of poles and residues in the context of rational functions.
  • Investigate series convergence criteria and their implications in complex analysis.
USEFUL FOR

Students of complex analysis, mathematicians focusing on function theory, and anyone seeking to deepen their understanding of meromorphic functions and series in complex variables.

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
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · 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
2K
  • · Replies 7 ·
Replies
7
Views
2K