멱급수 미분 트릭 (Power Series Differentiation)
출발점: 등비급수
∑k=0∞qk=1−q1(∣q∣<1)
핵심 아이디어
양변을 q로 미분하면 새로운 급수 공식이 나온다!
수렴하는 급수는 항별로 미분 가능 (균등수렴 조건):
dqd∑k=0∞fk(q)=∑k=0∞dqdfk(q)
1번 미분
dqd∑k=0∞qk=dqd1−q1
∴∑k=1∞kqk−1=(1−q)21
2번 미분
∴∑k=2∞k(k−1)qk−2=(1−q)32
3번 미분
∴∑k=3∞k(k−1)(k−2)qk−3=(1−q)43!
패턴 정리
| 미분 횟수 | 급수 | 닫힌 형태 |
|---|
| 0번 | ∑k=0∞qk | 1−q1 |
| 1번 | ∑k=1∞kqk−1 | (1−q)21 |
| 2번 | ∑k=2∞k(k−1)qk−2 | (1−q)32 |
| n번 | ∑k=n∞k(k−1)⋯(k−n+1)qk−n | (1−q)n+1n! |
왜 k(k−1)이 나오나?
qk를 미분할 때마다 지수가 앞으로 내려옴:
qk×1kqk−1×2k(k−1)qk−2×3k(k−1)(k−2)qk−3
활용: 기하분포 적률 계산
E(X)
E(X)=p∑k=1∞kqk−1=p⋅(1−q)21=p1
E(X2)
k2=k(k−1)+k 로 분해:
E(X2)=pq⋅p32+p1=p22q+p1=p2q+1
Var(X)
Var(X)=E(X2)−[E(X)]2=p2q+1−p21=p2q
주의사항
- ∣q∣<1 수렴 범위 안에서만 항별 미분 가능
- ∣q∣≥1 이면 발산 → 미분 불가