최근 수정 시각 : 2022-04-10 00:54:28

차분(연산자)

해석학 · 미적분학
Analysis · Calculus
{{{#!wiki style="word-break: keep-all; margin:0 -10px -5px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin:-6px -1px -11px; letter-spacing: -1px"
<colbgcolor=#8f76d6> 함수 합성 · 항등원 · 역원 · 멱함수( 비례·반비례 ) · 초등함수( 대수함수 · 초월함수) · 특수함수 · 범함수 · 다변수 ( 동차 · 숨은 함수( 다가 함수 )) · 그래프 · 대칭 · 증감표 · 극값 · 연속 · 매끄러움 · 계단형 · 미끄럼틀형 · 볼록/오목 · 닮은꼴 함수 · 병리적 함수 · 해석적 연속 · 로그함수 · 지수함수 · 삼각함수
정리 · 토픽 좌표계 · 중간값 정리 · 최대·최소 정리 · 부동점 정리 · 오일러 동차함수 정리 · 립시츠 규칙
극한 부정형 · 어림( 유효숫자 ) · 근방 · 수열의 극한 · 엡실론-델타 논법 · 수렴 ( 균등수렴 ) · 발산 · 점근선 · 무한대 · 무한소 · 스털링 근사
정리 · 토픽 로피탈의 정리 · 슈톨츠-체사로 정리
수열
급수
규칙과 대응 · 단조 수렴 정리 · 멱급수 · 테일러 급수 ( 일람 ) · 조화급수 · 그란디 급수 · 망원급수 ( 부분분수분해 ) · 오일러 수열 · 베르누이 수열 · 파울하버의 공식 · 리만 재배열 정리
정리 · 토픽 바젤 문제 · 라마누잔합 · 0.999…=1 · 콜라츠 추측미해결
미적분 미분 도함수 일람 · 차분 · 유율법 · 변화량 · 변분법 · 도함수 ( 편도함수 ) · 곱미분 · 몫미분 · 연쇄 법칙 · 역함수 정리 · 임계점 ( 변곡점 · 안장점 ) · 미분형식 · 미분방정식 ( 풀이 ) · [math(boldsymbolnabla)] · 라그랑주 승수법
적분 역도함수 일람 · 부분적분 ( LIATE 법칙 · 도표적분법 · 예제 ) · 치환적분 · 정적분 ( 예제 ) · 이상적분 · 중적분 ( 선적분 · 면적분 · 야코비안 ) · 르베그 적분 · 스틸체스 적분 · 코시 주요값
정리 · 토픽 평균값 정리 ( 롤의 정리 ) · 스토크스 정리 ( 발산 정리 · 그린 정리 ) · 라플라스 변환 · 푸리에 해석 ( 푸리에 변환 ) · 아다마르 변환 · 미적분의 기본정리 · 2학년의 꿈 · 리시 방법

해석
측도론 ( 측도 · 르베그 측도 ) · 유계( 콤팩트성 ) · 칸토어 집합 · 비탈리 집합
정리 · 토픽
복소
해석
복소평면 · 편각 · 코시-리만 방정식
정리 · 토픽 오일러 공식 ( 드 무아브르 공식 ) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
여타 하위 학문 수치해석학 ( FEM ) · 미분기하학 · 해석기하학 · 해석적 정수론 ( 소수 정리 ) · 벡터 미적분학 · 확률론 ( 중심극한정리 )
기타 뉴턴-랩슨 방법 · 디랙 델타 함수 · 리만 가설미해결 · 카오스 이론미해결 · merry=x-mas
응용 수리물리학 · 수리경제학( 경제수학) · 공업수학 }}}}}}}}}

1. (사전지식) 내림 차례곱2. 개요

1. (사전지식) 내림 차례곱

양의 정수 n에 대해
[math(\displaystyle x^{\underline{n}} = \prod_{k=0}^{n-1} (x-k))]
이라 정의한다.

2. 개요

이산적인 세계(정수)에서의 미분으로 우리가 알고 있는 미분과는 조금씩 다르다. 일단 차분을 설명하기 위해서는 이산적일 때의 다항식을 설명해야 하는데, 이산적일 때의 다항식은 [math(x^{\underline{1}} = x)], [math(x^{\underline{2}} = x(x-1))], ..., [math(x^{\underline{n}} = x(x-1)\cdots(x-(n-1)))]와 같이 내림 차례곱을 통해 정의한다. 여기서 차분을 시키면 우리가 알고 있는 미분 공식과 같이 나오고, 나온 다항식은 위에서처럼 내림 차례곱을 해야 한다. 예를들어 [math(x^{\underline{3}})]를 차분시키게 되면 우리가 알고 있는 미분 공식대로 [math(3x^{\underline{2}})]가 나오고 이는 [math(3x^{\underline{2}} = 3x(x-1))]가 된다. 이것을 일반화시키면 [math(x^{\underline{n}})]를 차분하면 [math(nx^{\underline{n-1}} = nx(x-1)(x-2)\cdots(x-(n-2)))]가 된다.

이뿐만 아니라, 상술했듯이 연속적인 세계를 설명하는 연산이 미분, 이산적인 세계를 설명하는 연산이 차분이라면 미분의 역연산인 적분도 이산적인 세계에 대응될 거라 생각할 수 있을 텐데, 그것은 다름아닌 시그마이다. 이것은 어찌보면 당연한게, 고등학교 미적분 과목을 이수했다면 알겠지만 그 유명한 구분구적법이 다음과 같이 나타내진다.

[math(\displaystyle \lim_{x→∞}\sum_{k=1}^{n}f(x_{k})\Delta x=\int_{a}^{b}f(x)dx)]

여기서 좌변은 이산적인 세계의 시그마이고, (구분구적법이 애초에 구간을 이산적으로 쪼개는 것이므로), 우변이 연속적인 세계의 정적분이다.
이렇게 직관적으로 이해하는 것도 좋지만, 앞에서 보았던 내림 차례곱을 써서 대표적인 미분과 차분의 관계식을 유도해 보자.
먼저, 미분에서의 지수함수 [math(e^x)] 는 차분에서 어떻게 변환되는지를 알아보려고 한다.

[math(f(x)=e^x)] 라고 하면
[math(f'(x)=e^x)] 이므로 차분을 사용해도 같은 결과[1] 가 나와야 하므로 이에 대응하는 함수를 E(x)라 하자. 이 E(x)를 x에 대한 닫힌 식으로 표현하는 것이 목표이다.

앞에서 한 미분의 결과에 의해 [math(\Delta E(x) = E(x))] 가 성립한다. 차분의 정의(내림 차례곱) 에 의해 좌변을
[math(E(x+1)-E(x)=E(x))] 이므로 [math(E(x+1)=2E(x))] 라는 점화식 이 나온다.
이것은 간단한 일계 미분방정식으로 풀어도 되고, 점화식으로 풀어도 되지만 그냥 직관적으로 [math(E(x)=2^x)] 임을 알 수 있다. 왜 이런 결과가 나오는지는 후술하고, 이제 적분-시그마의 관계로 넘어가 보자. 이 둘의 관계는 훨씬 눈에 잘 보일 것이다.

이번에는 예로 적분에서의 로그함수 [math(\ln x)] 는 어떻게 표현되는지 알아보자. 이번에는 f(x)=ln x로 정의한다. [2]
[math(\displaystyle f'(x)=1/x)] 에서 이에 대응되는 함수 L(x)는 [math(\displaystyle \Delta L(x) = x^{\underline{-1}})] 의 차분방정식을 만족한다.

다시 한 번 내림 차례곱의 정의를 생각해 보면, 양의 정수 n에 대해 [math(\displaystyle \bar{x}= (x-0)(x-1)(x-2) ... (x-(n-1)))]로 내림 차례곱을 정의했었는데, 이것을 지수의 확장 비슷하게 '양의 정수 n' 이란 조건을 '임의의 정수 n' 으로 바꿔보자. [3] 그렇다면 다음과 같이 논의를 확장할 수 있다.

[math(x^{\underline{3}} = (x-0)(x-1)(x-2))]
[math(x^{\underline{2}} = (x-0)(x-1))]
[math(x^{\underline{1}} = (x-0))]

이 방식대로 0 이하 지수를 정의하면

[math(\displaystyle x^{\underline{0}} = 1)]
[math(\displaystyle x^{\underline{-1}} = 1/(x+1))]
[math(\displaystyle x^{\underline{-2}} = 1/(x+1)(x+2))]
와 같은 식으로 정의할 수 있다.

따라서 [math(\displaystyle \Delta L(x) = 1/(x+1))] 이고, 차분 연산자의 정의에 의해 [math(\displaystyle L(x+1)-L(x) = 1/(x+1))]이 성립한다.

이것은 그 유명한 리만 제타 함수에 1을 대입했을 때에 나오는 무한급수의 점화식과 완전히 일치한다.
즉, [math(\displaystyle L(x)=\sum_{k=1}^{x}\frac{1}{k})] 임이 도출된다.

잘 따라왔다면 알겠지만 적분과 시그마는 계산 과정만 다를 뿐 결과는 완전히 똑같다. 이는 구분구적법의 관점에서 한쪽(적분)은 미적분의 기본정리를 이용해서 연속적으로 계산한 것이고, 다른 한쪽(시그마)는 구분구적법에 의거해 하나하나씩 이산적으로 쌓고, 그 값에 리미트를 취함으로서 결론적으로 같은 값을 내는 것이라 볼 수 있다.

지금까지 유도한 것들은 무엇을 의미하는가? 라고 묻는다면, 이것은 미분과 차분의, 연속적인 관점에서의 자연로그와 이산적인 관점에서의 조화수가 대응함을 입증하는 아주 좋은 예시이다. 물론 단 하나의 예시만으로는 증명이 될 수 없지만, 위 내용들을 다 이해했다면 한번 임의의 함수를 써 보며 실험해 보자.

위 내용들이 잘 이해가 안 된다면 유키 히로시 수학 걸 6장, 8장을 참조할 것.


[1] 그 함수를 차분했을 때 본래의 함수와 같아야 한다. [2] 사실 우리는 답을 이미 알고 있다. 앞에서 말했듯이([math(\displaystyle \lim_{x→∞}\sum_{k=1}^{n}f(x_{k})\Delta x=\int_{a}^{b}f(x)dx)]) 적분과 시그마는 항상 같은 함수로 대응된다. [3] 이렇게 해도 수학적으로 오류가 없는지에 대한 증명은 지수의 확장 증명에 버금갈 정도로 복잡하므로 생략.

분류