[[분류: 대수학]][[분류:해석학(수학)]][[분류:삼각함수]]
[include(틀:대수학)]
[include(틀:해석학·미적분학)]
[목차]

== 개요 ==
{{{+1 Weierstraßscher Produktsatz / Weierstrass [[分]][[解]] [[定]][[理]]}}}

독일의 수학자 [[카를 바이어슈트라스]]가 정립한 바이어슈트라스 분해 정리 또는 바이어슈트라스 곱 정리는 '''전해석 함수(entire function)[* [[복소평면]]의 모든 점에서 해석적, 즉 [[적분]]이 가능한 함수]는 [[절편#s-2|영점]]을 포함한 무한곱으로 표기될 수 있다'''는 정리이다. 또한 모든 다항함수가 각근에서의 한 선형인수로 분해가 되므로 [[대수학의 기본 정리]]의 확장으로도 볼 수 있는 정리이다. 

바이어슈트라스 분해 정리는 유리형 함수(meromorphic function)로까지 일반화하여 확장할 수 있으며, 유리형 함수가 세 가지 요소, 즉 함수의 극점 및 영점이 인수인 식, 0이 아닌 정칙함수(holomorphic function)[* [[연속함수|연속]]이고, [[멱급수]]로 쪼갤 수 있으며, 복소평면에서 [[미분]]이 가능한 함수.]의 곱으로 나타낼 수 있다는 것을 보여준다. 

또한 극점을 가진 함수를 유리형 함수의 무한합으로 표현하는 [[미타그레플레르 정리]]와 유사한 점이 있다. 

== 상세 ==
정리에 앞서 기본 인자(elementary factor)를 짚고 넘어가야 한다. 대수학의 기본 정리를 전해석 함수로 확장하는 데에 아주 중요한 역할을 하기 때문.
정리에는 두 가지 형태가 있는데, 하나는 특정 영점을 갖는 전해석 함수가 존재함을 보이는 정리이며 나머지 하나는 그 반대, 전해석 함수가 존재할 때 특정 영점을 인수로 갖는 무한곱으로 나타낼 수 있음을 보이는 정리이다. 보통 후자를 바이어슈트라스 분해 정리라고 한다.

=== 기본 인자 ===
Elementary factor. 주요 인자(primary factor)라고도 한다.
[[범자연수]] [math(n)], [math(|z|<1)]에 대해 다음과 같이 기본 인자를 정의하자.
||<tablealign=center><table bordercolor=#fff,#1f2023><bgcolor=#fff,#1f2023> [math(E_n(z) = \begin{cases} 1-z && (n=0) \\ (1-z)\exp\left(\displaystyle \sum_{k=1}^n\frac{z^k}k\right) && (n\ge1)\end{cases})] ||
식을 잘 보면 [math(1-z = e^{\ln(1-z)})]이고 [math(\ln(1-z))]는 [[매클로린 전개]]에 의해
||<tablealign=center><table bordercolor=#fff,#1f2023><bgcolor=#fff,#1f2023>  [math(\displaystyle \ln(1-z) = -\int\frac{{\rm d}z}{1-z} = -\int\sum_{n=0}^\infty z^n{\rm d}z = -\sum_{n=0}^\infty\frac{z^{n+1}}{n+1} = -\sum_{n=1}^\infty\frac{z^n}n)] ||
으로 나타낼 수 있으므로 [math(n\ge1)], [math(|z|<1)]일 때
||<tablealign=center><table bordercolor=#fff,#1f2023><bgcolor=#fff,#1f2023> [math(\displaystyle E_n(z) = (1-z)\exp\left(\sum_{k=1}^n\frac{z^k}k\right) = \exp\left(-\sum_{k=1}^\infty\frac{z^{n+k}}{n+k}\right))] ||
로도 나타낼 수 있다.

=== 특정 영점을 갖는 전해석 함수의 존재 정리 ===
>[math(a_n\ne0)]인 복소수 수열이 [math(|a_n|\to\infty)]이고, 정수 수열 [math(p_n)]이 모든 [math(r>0)]에 대해, [math(\displaystyle\sum_{n=1}^\infty\left(\frac r{|a_n|}\right)^{1+p_n}<\infty)]를 만족할 때, 다음 함수
>||<tablealign=center><bgcolor=#eee,#2D2F34><tablebordercolor=#eee,#2D2F34> [math(\displaystyle f(z) = \prod_{n=1}^\infty E_{p_n}\left(\frac z{a_n}\right))] ||
>은 [math(a_n)]에서만 영점을 갖는 전해석 함수이다. 복소수 [math(z_0)]가 수열 [math(a_n)]에 [math(m)]개 있다면 함수 [math(f)]는 [math(z=z_0)]에서 다중도가 [math(m)]인 영점을 갖는다.

=== 바이어슈트라스 분해 정리 ===
>전해석 함수 [math(f)]에 관하여, 수열 [math(a_n\ne0)]이 [math(f)]의 영점이며, [math(m\ge0)]인 정수 [math(m)]에 대해 [math(\begin{cases} m>0 \Rightarrow f(0)=0 \\ m=0 \Rightarrow f(0)\ne0\end{cases})]이라고 하자. 정수 수열 [math(p_n)]과 전해석 함수 [math(g)]는 바이어슈트라스 분해 정리에 의해 다음과 같은 관계를 만족한다.
>||<tablealign=center><bgcolor=#eee,#2D2F34><tablebordercolor=#eee,#2D2F34> [math(\displaystyle f(z) = z^m e^{g(z)} \prod_{n=1}^\infty E_{p_n}\left(\dfrac z{a_n}\right))] ||

== 계기 ==
[[대수학의 기본 정리]]의 결과로부터 2가지 사실을 알 수 있다.
 * 복소 평면에서의 유한 수열 [math(c_n)]에 관하여, [math(c_n)]이 영점인 다항식 [math(p(z))]가 존재하며, 그 꼴은 다음과 같다.
||<tablealign=center><table bordercolor=#fff,#1f2023><bgcolor=#fff,#1f2023> [math(\displaystyle p(z) = \prod_n(z-c_n))] ||
 * 복소 평면 내의 모든 다항함수 [math(p(z))]는 [math(a\ne0)]인 상수, 영점 [math(c_n)]을 이용하여 다음과 같은 인수분해식으로 나타낼 수 있다.
||<tablealign=center><table bordercolor=#fff,#1f2023><bgcolor=#fff,#1f2023> [math(\displaystyle p(z) = a \prod_n(z-c_n))] ||

바이어슈트라스 분해 정리의 두 가지 형태는 위 사실을 전해석 함수로 확장한 것이라고 볼 수 있다. 이때 [math(c_n)]이 유한 수열이 아닐 경우 그 무한곱 [math(\displaystyle \prod_n(z-c_n))]은 수렴하지 않기 때문에 전해석 함수를 정의할 수 없고, 따라서 이를 보완하기 위한 추가적인 수학적 논리가 필요했다. 일반적으론 미리 정해진 영점 수열로부터 전해석 함수를 정의하거나, 대수학의 기본 정리에 의해 유도되는 영점으로 전해석 함수를 표현하는 것은 불가능하다.

이 경우 무한곱이 수렴하기 위한 필요조건은 [math((z-c_n))]과 같이 표현된 인수들이 [math(n\to\infty)]일 때 [math(1)]로 수렴하는 것이다. 따라서 주어진 점에서 [math(0)]이 되는 것은 물론, 그 점 이외에는 [math(1)]로 수렴하게 하면서 주어진 개수보다 많은 영점을 가지면 안 되는 조건을 모두 충족해야한다. 바이어슈트라스의 기본 인자 [math(E_n(z))]는 이 조건을 모두 충족하며 상기한 대수학의 기본 정리의 인수 [math((z-c_n))]과 똑같은 역할을 한다.

== 예시 ==
=== [[삼각함수]]·[[쌍곡선 함수|쌍곡선함수]] ===
[include(틀:삼각함수·쌍곡선함수)]
||<table align=center><table bgcolor=#ffffff,#000000><colbgcolor=#efefef,#555555> [math(\boldsymbol{\sin({\pi}z)})] ||[math(\begin{aligned} \displaystyle \pi z \prod_{n\ne0}\left(1-\dfrac zn\right)e^{z/n} = \pi z \prod_{n=1}^{\infty} \left\{1-\left(\dfrac zn\right)^2\right\} \end{aligned})] ||
|| [math(\boldsymbol{\cos({\pi}z)})] ||[math(\begin{aligned} \displaystyle \prod_{q=2n+1,\,n\in\mathbb Z}\left(1-\dfrac{2z}q\right)e^{2z/q} = \prod_{n=1}^\infty \left\{1-\left(\dfrac {2z}{2n-1}\right)^2\right\} \end{aligned})] ||
|| [math(\boldsymbol{\sinh(z)})] ||[math(\begin{aligned} \displaystyle z \prod_{n=1}^\infty \left\{1+\left(\dfrac {z}{nπ}\right)^2\right\} \end{aligned})][* [[쌍곡선 함수|[math(\sinh)] 함수]]의 무한곱 분해는 [math(\sinh{z} = -i\sin{iz})]를 활용해 구할수있다.] ||

=== [[감마 함수]] ===
[[감마 함수]] [math(\Gamma(z))]에 관하여, [math(f(z) = \dfrac1{\Gamma(z)})]일때,
||<tablealign=center><table bordercolor=#fff,#1f2023><bgcolor=#fff,#1f2023> [math(\displaystyle f(z)=e^{\gamma z}z \prod_{n=1}^\infty\left(1+\dfrac zn\right)e^{-z/n})] ||

여기서 [math(\gamma)]는 [[오일러-마스케로니 상수]]이다. 

==== 증명 방법 ====
바이어슈트라스는 감마 함수의 단순항꼴을 정리해서 오일러-마스케로니 상수가 포함된 새로운 [[감마 함수]]의 형태를 증명했다.
||<tablealign=center><table bordercolor=#fff,#1f2023><bgcolor=#fff,#1f2023> [math(\displaystyle \Gamma(z)=\lim_{n\to\infty}\frac{n!\,n^z}{\displaystyle \prod_{i=0}^n (z+i)})] ||
에서 [math(n^z = e^{\ln n^z} = e^{z\ln n})]이고 [math(\displaystyle \prod_{i=0}^n (z+i) = z \prod_{i=1}^n (z+i))] 이므로
||<tablealign=center><table bordercolor=#fff,#1f2023><bgcolor=#fff,#1f2023> [math(\begin{aligned}\displaystyle \Gamma(z) &= \lim_{n\to\infty}\frac{n!\,e^{z\ln n}}{z\displaystyle \prod_{i=1}^n (z+i)} = \lim_{n \to \infty} \frac 1z \frac{n!\,e^{z\ln n}}{\displaystyle \prod_{i=1}^n \left\{ i \left(1+\dfrac zi \right) \right\}} \\ &= \lim_{n \to \infty} \frac 1z \frac{\cancel{n!}\,e^{z \ln n}}{\displaystyle \cancel{n!} \prod_{i=1}^n \left(1+\dfrac zi \right)} = \lim_{n \to \infty} \frac 1z \frac{e^{z \ln n}}{\displaystyle \prod_{i=1}^n \left(1+\dfrac zi \right)}\end{aligned})] ||
[math(\displaystyle \prod_{i=1}^n e^{\frac zi} = e^{z \sum\limits_{i=1}^n \frac1i})] 이므로, 위 식에 [math(1 = \dfrac{\displaystyle \prod_{i=1}^n e^{\frac zi}}{e^{z\sum\limits_{i=1}^n \frac1i}})]을 곱한다.
||<bgcolor=#fff,#1f2023><table width=100%><tablebordercolor=#fff,#1f2023><:>{{{#!wiki style="text-align: center"
[math(\displaystyle \begin{aligned}
\Gamma(z) &= \lim_{n\to\infty} \frac1z \frac{e^{z\ln n}}{e^{z \sum\limits_{i=1}^n \frac1i}} \frac{\displaystyle \prod_{i=1}^n e^{\frac zi}}{\displaystyle \prod_{i=1}^n \Bigl( 1+\dfrac zi \Bigr)} \\
&= \lim_{n\to\infty} \frac1z e^{z \Bigl( \ln n -\sum\limits_{i=1}^n \frac1i \Bigr)} \prod_{i=1}^n \frac{e^{\frac zi}}{1+\cfrac zi} \\
&= \frac1z e^{-\gamma z} \prod_{n=1}^\infty \frac{e^{\frac zn}}{1+\dfrac zn}
\end{aligned} )]}}}||
이를 역수로 취하면, 바이어슈트라스 분해 정리의 기본꼴이 다음과 같이 나타난다.
||<tablealign=center><table bordercolor=#fff,#1f2023><bgcolor=#fff,#1f2023> [math(\displaystyle \dfrac1{\Gamma(z)}=e^{\gamma z}z \prod_{n=1}^\infty\left(1+\dfrac zn\right)e^{-z/n})] ||

== 참고 문헌 ==
 * [[https://en.wikipedia.org/wiki/Weierstrass_factorization_theorem]]
 
 * G. B. Arfken et al., Mathematical Method for Physicists : A Comprehensive Guide