Exhibit Function f w/ Weierstrass Product Theorem

  • Thread starter Thread starter Dustinsfl
  • Start date Start date
  • Tags Tags
    Function
Click For Summary
SUMMARY

The discussion focuses on using the Weierstrass Product Theorem to construct a function \( f \) that has poles of order \( n \) at each positive integer \( n \) while remaining analytic and nonzero elsewhere in the complex plane. The function is represented as \( f = \prod_{n=1}^{\infty}\left(1 - \frac{z}{z_n}\right)^{-1}e^{-P_n(z/z_n)} \), where \( z_n \) is defined by the sequence 1, 2, 2, 3, etc. The convergence of the series \( \sum_{n=1}^{\infty}\frac{1}{|z_n|^3} \) is established as a p-series of degree two, confirming the function's properties.

PREREQUISITES
  • Understanding of the Weierstrass Product Theorem
  • Familiarity with complex analysis concepts, particularly poles and analytic functions
  • Knowledge of infinite products and series convergence
  • Basic proficiency in mathematical notation and sequences
NEXT STEPS
  • Study the simplification techniques for infinite products in complex analysis
  • Explore the properties of analytic functions and their poles in greater depth
  • Investigate the convergence criteria for p-series and their applications
  • Learn about the implications of the Weierstrass Product Theorem in function theory
USEFUL FOR

Mathematicians, particularly those specializing in complex analysis, as well as students and researchers interested in the properties of analytic functions and infinite products.

Dustinsfl
Messages
2,217
Reaction score
5
Use the Weierstrass Product Theorem to exhibit a function [itex]f[/itex] such that each positive integer [itex]n[/itex], [itex]f[/itex] has a pole of order [itex]n[/itex], and [itex]f[/itex] is analytic and nonzero at every other complex number

For [itex]f[/itex] to have a pole of order [itex]n[/itex], we have that [itex]f = \prod\limits_{n = 1}^{\infty}\left(1 - \frac{z}{z_n}\right)^{-1}e^{-P_n(z/z_n)}[/itex].
Let [itex]z_n[/itex] be the [itex]\text{n}^{\text{th}}[/itex] term in the sequence, i.e. [itex]1, 2, 2, 3,\ldots[/itex].
So taking [itex]k_n[/itex] to be 3, we have that (why is it 3?)
$$
\sum_{n = 1}^{\infty}\frac{1}{\left|z_n\right|^3} = \sum_{n = 1}^{\infty}\frac{1}{n^2} < \infty
$$
which converges since we have a p-series of degree two.
Now [itex]P_n\left(\dfrac{z}{z_n}\right) = \dfrac{z}{z_n} + \dfrac{\left(\frac{z}{z_n}\right)^2}{2} + \cdots + \dfrac{\left(\frac{z}{z_n}\right)^{k - 1}}{k - 1}[/itex] so the Weierstrass Product for [itex]k_n = 3[/itex] is

$$
\prod_{n = 1}^{\infty}\left(1 - \frac{z}{z_n}\right)^{-1}e^{-\left[\frac{z}{z_n} + \left(\frac{z}{z_n}\right)^2/2\right]}
$$

I was told that the above product can be simplified down. How?
 
Last edited:
Physics news on Phys.org
So looking at the product, we have
$$
\left[\left(1-\frac{z}{1}\right)^{-1}\left(1-\frac{z}{2}\right)^{-2}\cdots\left(1-\frac{z}{n}\right)^{-n}\cdots\right]\exp\left[-z-\frac{z}{2}-\cdots -\frac{z}{n} - \cdots + \frac{z^2}{2^2}+ \frac{z^2}{6} + \frac{z^2}{8}\cdots\right]
$$

So can this be written as a different infinite product then from the final one I obtained?

All I see is
$$
\prod_{n=1}^{\infty}\left(1-\frac{z}{n}\right)^{-n}\exp\left[-\frac{z}{n}+\frac{z^2}{2^n}\right]
$$
but is this even the right observation?
 
Last edited:

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K