Difference between revisions of "Infinite product"
| Line 7: | Line 7: | ||
of a [[sequence]] of numbers ''a''<sub>1</sub>, ''a''<sub>2</sub>, ''a''<sub>3</sub>, ... is defined to be the [[limit (mathematics)|limit]] of the partial products ''a''<sub>1</sub>''a''<sub>2</sub>...''a''<sub>''n''</sub> as ''n'' goes to infinity. The infinite product is said to [[convergence|converge]] when the limit exists and is not zero. Otherwise the product is said to [[diverge]]. | of a [[sequence]] of numbers ''a''<sub>1</sub>, ''a''<sub>2</sub>, ''a''<sub>3</sub>, ... is defined to be the [[limit (mathematics)|limit]] of the partial products ''a''<sub>1</sub>''a''<sub>2</sub>...''a''<sub>''n''</sub> as ''n'' goes to infinity. The infinite product is said to [[convergence|converge]] when the limit exists and is not zero. Otherwise the product is said to [[diverge]]. | ||
| − | ==Infinite Product | + | ==Infinite Product representation of entire functions== |
[[Karl Weierstrass]] proved that every [[entire function]] ''f''(''z'') with a divergent sequence (λ<sub>''n''</sub>) of zeros, can be factored into an infinite product of the form | [[Karl Weierstrass]] proved that every [[entire function]] ''f''(''z'') with a divergent sequence (λ<sub>''n''</sub>) of zeros, can be factored into an infinite product of the form | ||
:<math> | :<math> | ||
| Line 18: | Line 18: | ||
[[category:mathematics]] | [[category:mathematics]] | ||
| + | [[category:complex analysis]] | ||
Revision as of 05:09, April 15, 2007
An infinite product
- <math>
\prod_{n=1}^{\infty} a_n = a_1 \; a_2 \; a_3 \cdots </math>
of a sequence of numbers a1, a2, a3, ... is defined to be the limit of the partial products a1a2...an as n goes to infinity. The infinite product is said to converge when the limit exists and is not zero. Otherwise the product is said to diverge.
Infinite Product representation of entire functions
Karl Weierstrass proved that every entire function f(z) with a divergent sequence (λn) of zeros, can be factored into an infinite product of the form
- <math>
f(z) = z^m \; e^{\phi(z)} \; \prod_{n=1}^{\infty} \left(1 - \frac{z}{\lambda_n} \right) \; \exp \left [ \frac{z}{\lambda_n} + \frac12\left(\frac{z}{\lambda_n}\right)^2 + \cdots + \frac1{m_n}\left(\frac{z}{\lambda_n}\right)^{m_n} \right ] </math>
where m is the multiplicity of the zero of f(z) at the origin, and φ(z) is some entire function.