최근 수정 시각 : 2024-09-10 13:23:16

멱급수


해석학· 미적분학
Analysis · Calculus
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"
<colbgcolor=#26455A>실수와 복소수 실수( 실직선 · 아르키메데스 성질) · 복소수( 복소평면 · 극형식 · 편각) · 근방 · 유계 · 콤팩트성 · 완비성
함수 함수 · 조각적 정의 · 항등함수 · 역함수 · 멱함수 · 다변수함수( 동차함수 · 음함수) · 다가 함수 · 함수의 그래프 · 좌표계 · 닮은꼴 함수 · 극값 · 볼록/오목 · 증감표
초등함수( 대수함수 · 초월함수 · 로그함수 · 지수함수 · 삼각함수) · 특수함수 · 범함수( 변분법 · 오일러 방정식) · 병리적 함수
극한·연속 함수의 극한 · 수열의 극한 · 연속함수 · ε-δ 논법 · 수렴( 균등수렴) · 발산 · 부정형 · 점근선 · 무한대 · 무한소 · 특이점 · 0.999…=1
중간값 정리 · 최대·최소 정리 · 부동점 정리 · 스털링 근사 · 선형근사( 어림)
수열· 급수 수열( 규칙과 대응) · 급수( 멱급수 · 테일러 급수( 일람) · 조화급수 · 그란디 급수( 라마누잔합) · 망원급수( 부분분수분해)) · 그물
오일러 수열 · 베르누이 수열 · 월리스 곱
단조 수렴 정리 · 슈톨츠-체사로 정리 · 축소구간정리 · 급수의 수렴 판정 · 리만 재배열 정리 · 바젤 문제 · 파울하버의 공식 · 오일러-매클로린 공식 · 콜라츠 추측미해결
미분 미분 · 도함수( 이계도함수 · 도함수 일람) · 곱미분 · 몫미분 · 연쇄 법칙 · 임계점( 변곡점 · 안장점) · 매끄러움
평균값 정리( 롤의 정리) · 테일러 정리 · 역함수 정리 · 다르부 정리 · 로피탈 정리
립시츠 규칙 · 뉴턴-랩슨 방법 · 유율법 · 경사하강법
적분 적분 · 정적분( 예제) · 스틸체스 적분 · 부정적분( 부정적분 일람) · 부분적분( LIATE 법칙 · 도표적분법 · 예제) · 치환적분 · 이상적분( 코시 주요값)
미적분의 기본정리 · 적분의 평균값 정리
리시 방법 · 2학년의 꿈
다변수· 벡터 미적분 편도함수 · 미분형식 · · 중적분( 선적분 · 면적분 · 야코비안) · 야코비 공식
라그랑주 승수법 · 오일러 동차함수 정리 · 선적분의 기본정리 · 스토크스 정리( 발산 정리 · 그린 정리 변분법
미분방정식 미분방정식( 풀이) · 라플라스 변환
측도론 측도 · 가측함수 · 곱측도 · 르베그 적분 · 절대 연속 측도 · 라돈-니코딤 도함수
칸토어 집합 · 비탈리 집합
복소해석 코시-리만 방정식 · 로랑 급수 · 유수 · 해석적 연속 · 오일러 공식( 오일러 등식 · 드 무아브르 공식) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
함수해석 공간 위상 벡터 공간 · 국소 볼록 공간 · 거리공간 · 프레셰 공간 · 노름공간 · 바나흐 공간 · 내적공간 · 힐베르트 공간 · Lp 공간
작용소 수반 작용소 · 에르미트 작용소 · 정규 작용소 · 유니터리 작용소 · 컴팩트 작용소
대수 C*-대수 · 폰 노이만 대수
정리 한-바나흐 정리 · 스펙트럼 정리 · 베르 범주 정리
이론 디랙 델타 함수( 분포이론)
조화해석 푸리에 해석( 푸리에 변환 · 아다마르 변환)
관련 분야 해석 기하학 · 미분 기하학 · 해석적 정수론( 1의 거듭제곱근 · 가우스 정수 · 아이젠슈타인 정수 · 소수 정리 · 리만 가설미해결) · 확률론( 확률 변수 · 중심극한정리) · 수치해석학 · 카오스 이론 · 분수계 미적분학 · 수리물리학( 양-밀스 질량 간극 가설미해결 · 나비에 스토크스 방정식의 해 존재 및 매끄러움미해결) · 수리경제학( 경제수학) · 공업수학
기타 퍼지 논리 · 합성곱
}}}}}}}}} ||

1. 개요2. 상세3. 등차수열 등비수열로 이루어진 멱급수4. 응용5. 관련 문서

1. 개요

power series ·

변수 [math(x_1)], [math(x_2)], [math(x_3)], [math(\cdots)], [math(x_n)]에 대하여

[math(\displaystyle \sum_{(k_1,\,k_2,\,\cdots,\,k_{n}) \in \mathbb N^{n}} a_{k_1,\, k_2,\, ,\,\cdots,\, k_n }\prod_{i=1}^n (x_i - x'_i)^{k_i} )]

을 [math((x_1,\,x_2,\,x_{3},\,\cdots,\,x_{n}))]에서의 멱급수라 한다.

2. 상세

[math(\mathbb F)]를 생각하자. 보통의 경우 [math(\mathbb{F}=\mathbb{R}\, \textsf{ or }\,\mathbb{C})]인 경우를 생각한다. 멱급수는 급수이므로

[math(\displaystyle\sum_{k=0}^\infty a_k (x-x')^k)]

는 [math(\mathbb F)]의 어떤 원소들에 대해서 수렴할 것이다. 이때 수렴하는 원소의 모임을 그 멱급수의 수렴 영역이라고 한다. 예를 들어

[math(\displaystyle\sum_{k=0}^\infty \frac{x^k}{k!})]

복소평면 전체에서 [math(exp x)]로 수렴한다. 어떤 경우에는 급수의 수렴성을 생각하지 않을 필요가 있는데, 수렴 여부와 상관없이

[math(\displaystyle\sum_{k=0}^\infty a_k x^k)]

의 형태를 띄는 함수를 형식적 멱급수(formal power series)라 하고, 체 [math(\mathbb K)] 위의 변수가 [math((x_0,\,x_1,\,\cdots))]인 모든 형식적 멱급수의 집합을

[math(\mathbb{K}[\![x_0,\,x_1,\,\cdots]\!]=\mathbb{K}[\![x_0]\!][\![x_1]\!]\cdots)]

로 나타낸다. 간단히 생각해서 실수체 [math(\mathbb R)] 위의 형식적 멱급수들을 생각하자. 이는 다음과 같은 연산을 주면 벡터 공간을 이룬다
  • [math(\displaystyle \sum_{k=0}^\infty a_k x^k+\sum_{k=0}^\infty b_k x^k = \sum_{k=0}^\infty (a_k+b_k)x^k)]
  • [math(\displaystyle c\sum_{k=0}^\infty a_k x^k= \sum_{k=0}^\infty ca_k x^k)]

곱연산의 경우는 다음과 같이 정의한다.

[math(\displaystyle \biggl(\sum_{k=0}^\infty a_k x^k\biggr)\biggl(\sum_{k=0}^\infty b_k x^k\biggr)=\sum_{n=0}^\infty c_n x^n)] [math(\biggl()]여기서 [math(\displaystyle c_n=\sum_{l+m \geq 0}^{n}a_l b_{m})][math(\biggl))][1]

3. 등차수열 등비수열로 이루어진 멱급수

등차수열 [math(\{a_{n}\})]과 등비수열 [math(\{b_{n}\})]에 대하여 다음의 멱수열

[math(\displaystyle c_{n}=a_{n}b_{n})]

을 고려하자. 예를 들어
  • 등차수열: [math(1 \quad 2 \quad 3 \quad \cdots)]
  • 등비수열: [math(2 \quad 2^2 \quad 2^3 \quad \cdots)]
의 멱수열은 다음과 같다.

[math(\displaystyle 1 \cdot 2 \quad 2 \cdot 2^2 \quad 3\cdot 2^3 \quad \cdots)]


이러한 멱수열의 합, 멱급수는

[math(\displaystyle S_{n}=\sum_{k=1}^{n} c_{k})]

으로 고려될 수 있다.

이러한 멱급수의 합을 구하는 방법은 다음과 같다.
[math(S_{n})]에서 [math(\{b_n\})]의 공비 [math(r)]과 [math(S_n)]의 곱의 차 [math((1-r)S_{n})]을 구한 뒤 [math(S_{n})]을 구한다.

4. 응용

4.1. 테일러 급수

테일러 급수는 멱급수의 대표적인 예로, 다음과 같이 주어진다.

[math(\displaystyle f(x)=\sum_{n=0}^{\infty} \frac{f^{(n)}(x_{0})}{n!}(x-x_{0})^{n} )]

이며 이를 [math(f(x))]의 [math(x=a)]에서의 테일러 급수라 한다. 초월함수 [math(f)]의 값을 구하기 곤란하거나 함수의 극한을 구할 때 사용한다. 여러 함수의 테일러 급수는 테일러 급수 목록 참고.

4.2. 로랑 급수

로랑 급수는 테일러 급수의 일반화로,

[math(\displaystyle c_{n}=\frac{1}{2 \pi i} \oint_{C} \frac{f(z)}{(z-z_{0})^{n+1}}\,{\rm d}z )] (단, [math(n)]은 정수)

적분 영역 [math(C)]는 [math(z_{0})]을 포함하는 적당한 폐구간이다.

이때, [math(f(z))]의 [math(z=z_0)]에서의 로랑 급수는 다음과 같이 주어진다.

[math(\displaystyle \sum_{k=-\infty}^{\infty} c_{k}(z-z_0)^k )]

4.3. 멱급수의 미분 적분

멱급수의 미분은 다음과 같이 주어진다.

[math(\displaystyle \frac{{\rm d}}{{\rm d}x}\sum_{k=0}^{\infty} a_{k}x^{k}=\sum_{k=1}^{\infty} ka_{k}x^{k-1} )]

멱급수의 부정적분은 다음과 같이 주어진다.

[math(\displaystyle \int \biggl(\sum_{k=0}^{\infty} a_{k}x^{k} \biggr) \,{\rm d}x=\sum_{k=0}^{\infty} \frac{a_k x^{k+1}}{k+1}+\textsf{const.} )]

멱급수의 정적분은 다음과 같이 주어진다.

[math(\displaystyle \int_{a}^{b} \biggl(\sum_{k=0}^{\infty} a_{k}x^{k} \biggr) \,{\rm d}x=\sum_{k=0}^{\infty} \frac{a_k (b^{k+1}-a^{k+1})}{k+1}+\textsf{const.} )]

4.4. 미분 방정식

위의 성질을 이용하여 미분 방정식의 근을

[math(\displaystyle y=\sum_{k=0}^{\infty} a_k x^k )]

로 가정하고, 각 [math(a_k)]를 구할 수 있다. 이를 프로베니우스 해법이라 한다.

이를 이용하여 간단한 미분방정식

[math(\displaystyle y'-y=0)]

을 풀어보자. 우선 해를 위와 같이 급수해로 가정한다. 양변에 대입하면,

[math(\displaystyle \sum_{k=1}^{\infty}k a_{k} x^{n-1} +\sum_{k=0}^{\infty} a_k x^k =0 )]

여기서 상수항에 대하여

[math(a_{0}-a_{1}=0)]

임을 얻는다. 각 차수의 계수를 맞추면,

[math(\displaystyle (k+1)a_{k+1}-a_{k}=0 \quad (k \geq 1) )]

따라서

[math(\displaystyle \frac{a_{k+1}}{a_{k}}=\frac{1}{k+1}\quad (k \geq 1) )]

이러한 꼴은 쉽게

[math(\displaystyle \begin{aligned} a_{k}&=\frac{1}{k} \cdot \frac{1}{k-1} \cdot \frac{1}{k-2} \cdots \frac{1}{2} \cdot \frac{1}{1} a_{1} \\ &=\frac{1}{k!}a_{1} \end{aligned} )]

참고적으로 [math(1/1)]은 곱셈에 대한 항등원으로 필요에 의해 삽입된 것이다. 그런데, 위에서 [math(a_1=a_0)]이므로

[math(\displaystyle \begin{aligned} a_{k}&=\frac{1}{k!}a_{0} \quad (k \geq 0) \end{aligned} )]

따라서 다음을 얻는다.

[math(\displaystyle \begin{aligned} y&=a_{0}\sum_{k=0}^{\infty} \frac{x^{k}}{k!} \\&=a_{0}e^{x} \end{aligned} )]

5. 관련 문서


[1] 이런 형태의 정의를 코시곱(Cauchy Product)이라고 한다.