정의
코시 곱(Cauchy product)은 두 무한 급수
$$
\sum_{n=0}^{\infty} a_n \quad \text{와} \quad \sum_{n=0}^{\infty} b_n
$$
의 항들을 서로 곱해 새로운 급수를 구성하는 연산이다. 구체적으로는
$$
\left(\sum_{n=0}^{\infty} a_n\right)!\left(\sum_{n=0}^{\infty} b_n\right)
= \sum_{n=0}^{\infty} c_n,\qquad
c_n = \sum_{k=0}^{n} a_k,b_{,n-k}.
$$
개요
코시 곱은 급수의 곱을 전개할 때 나타나는 항들의 합을 체계적으로 정리한 방법으로, 유한 급수에서는 일반적인 다항식 곱과 동일하게 동작한다. 무한 급수의 경우, 각 항 $c_n$은 원래 두 급수의 계수들을 ‘대각선’ 방식으로 결합한 결과이며, 이 연산을 통해 두 급수의 곱이 다시 급수 형태로 표현될 수 있다.
어원/유래
‘코시’는 프랑스 수학자 오귀스트 루이 코시(Augustin‑Louis Cauchy, 1789–1857)의 이름에서 유래한다. 코시는 19세기 초에 급수와 적분의 수렴 이론을 체계화하면서, 두 급수의 곱을 현재와 같은 형태로 정의하고 그 수렴 조건을 연구하였다. 따라서 ‘코시 곱’이라는 용어는 그의 이름을 한국어식으로 표기한 ‘코시’와 ‘곱’(product)이라는 뜻의 한글 단어가 결합된 형태이다.
특징
-
수렴 조건
- 두 급수가 모두 절대수렴하면 코시 곱 역시 절대수렴하며, 원래 급수의 곱과 같은 값에 수렴한다.
- 한쪽이 절대수렴하고 다른 쪽이 단순히 수렴하는 경우에도 코시 곱은 수렴한다(코시‑무어 정리).
- 두 급수가 모두 단순히 수렴하지만 절대수렴이 아닐 경우, 코시 곱이 반드시 수렴한다는 보장은 없으며, 발산하거나 원래 곱과 다른 값에 수렴할 수 있다.
-
연산적 성질
- 코시 곱은 결합법칙과 분배법칙을 만족한다. 즉, $(A\cdot B)\cdot C = A\cdot (B\cdot C)$와 $A\cdot (B+C)=A\cdot B + A\cdot C$가 성립한다.
- 항들의 재배열에 따라 결과가 달라질 수 있으므로, 수렴성을 판단할 때는 원래 급수의 순서를 유지하는 것이 중요하다.
-
응용 분야
- 거듭제곱 급수, 테일러 급수, 푸리에 급수 등에서 함수의 곱을 급수 형태로 전개할 때 활용된다.
- 수론에서는 디리클레 곱(Dirichlet convolution)과 유사한 구조를 갖는 경우가 있다.
- 복소해석학·실해석학에서 멱급수의 곱을 다루는 기본 도구로 쓰인다.
관련 항목
- 코시 수열 (Cauchy sequence)
- 멱급수 (Power series)
- 푸리에 급수 (Fourier series)
- 디리클레 곱 (Dirichlet convolution)
- 멱함수와 수렴 반경 (Radius of convergence)
- 멱급수의 곱에 관한 메르센 정리 (Mertens' theorem)
※ 본 항목은 수학 분야에서 널리 인정받는 개념이며, 주요 교과서와 학술 자료에 서술된 내용에 기반한다.