|  |
| --- |
| 관련 문서 둘러보기 |
| 미적분학 |
| * 미적분학의 기본정리

* 함수의 극한
* 연속 함수

* 평균값 정리
* 롤의 정리

 |
| 미분

| 
정의 |
| --- |
| 
* 미분
	+ 일반화
	+ 무한소
	+ 주요 부분
	+ 전미분

 |
| 
개념 |
| 
* 미분 표기법
* 고계 도함수
* 변수 변환
* 테일러 정리

 |
| 법칙과 항등식 |
| 
* 합 규칙
* 곱 규칙
* 몫 규칙
* 멱 규칙
* 연쇄 법칙
* 역함수의 미분
* 음함수의 미분

 |

 |
| 적분

|  |
| --- |
| * 적분표
 |
| 
정의 |
| * 부정적분
* 적분 (이상적분)
* 리만 적분
* 르베그 적분
* 경로적분
 |
| 
적분법 |
| * 부분적분
* 디스크 방법
* 원통셸 방법
* 치환적분 (삼각 치환)
* 부분분수 적분법
* 적분 순서
* 적분의 점화식
 |

 |
| 수열과 급수

|  |
| --- |
| * 기하급수 (산술-기하 수열)
* 조화급수
* 교대급수
* 멱급수
* 이항급수
* 테일러 급수
 |
| 수렴판정법 |
| * 일반항 판정법
* 비판정법
* 근판정법
* 적분판정법
* 비교판정법
* 극한비교판정법
* 교대급수판정법
* 코시 응집판정법
* 디리클레 판정법
* 아벨 판정법
 |

 |
| 벡터 미적분학

|  |
| --- |
| * 기울기
* 발산
* 회전
* 라플라시안
* 방향도함수
* 벡터 미적분표
 |
| 
정리 |
| * 발산정리
* 기울기정리
* 그린 정리
* 켈빈-스토크스 정리
 |

 |
| 다변수 미적분학

| 
형식 |
| --- |
| * 행렬
* 텐서
* 외미분
* 기하
 |
| 
정의 |
| * 편미분
* 중적분
* 선적분
* 면적분
* 삼중적분
* 야코비안
* 헤세 행렬
 |

 |
| 특수한 경우
* 분수계 미적분학
* 말리아빈 미적분
* 확률미적분학
* 변분법

 |
| * v
* t
* e
 |

미적분학에서 함수의 **미분**(微分, 영어: differential)은 함수의 증분의 주요 선형 부분이다. 일반적으로 도함수가 존재하는 일변수 함수 y=f(x)의 증분 \Delta y는 다음 관계를 만족한다.

\Delta y=f'(x)\Delta x+\alpha\Delta x,\ \alpha\to 0\ (\Delta x\to 0)
여기서 f'(x)는 일계 도함수, \alpha 는 \Delta x가 0으로 갈 때의 무한소이다. 이로부터 \Delta x에 대해 선형인 부분인 dy=f'(x)\Delta x를 함수 y=f(x)의 **미분**이라고 정의한다. 이때 함수 y=x의 미분은

dy=dx=(x)'\Delta x=1\Delta x=\Delta x
이므로 \Delta x를 dx로 다시 쓰면 다음 관계를 얻는다.

dy=f'(x)dx
f'(x)는 이러한 이유로 \frac{dy}{dx}로 쓰여지기도 한다:

dy=\frac{dy}{dx}dx
미분의 개념은 때로 엄밀하지 않게 서술된다. 이 경우, 미분 dy는 함수 y=f(x)의 무한히 작은 변화값이다(미분소). 이러한 논법은 비표준 해석학에서 엄밀한 방식으로 처리된다. 미분의 (엄밀한) 정의법은 위에 적은 선형성에 의한 것과 비표준 해석학적 정의 이외에, 미분 형식, 멱영원, 초실수 등에 의한 것이 있다.

일변수 함수
------

### 정의

위에서 적었듯이, 일변수 함수의 점 x에서의 미분 dy는 독립 변수의 변화량 dx=\Delta x에 대한 선형 함수이다:

dy(x,dx)=f'(x)dx
이러한 dy가 존재할 필요충분조건은 그 점에서 미분 가능, 즉 f'(x)=\frac{dy}{dx}가 존재한다는 것이다.

조금 더 자세히 말해, 어떤 상수 c가 존재하여

\Delta y=c\Delta x+\alpha\Delta x,\ \alpha\to 0\ (\Delta x\to 0)
일 필요충분조건은, 그 점에서 y=f(x)의 도함수를 구할 수 있다는 것이다. 이때 c=f'(x)가 된다.

### 성질

#### 연산 성질

함수 u와 v의 미분 du와 dv가 같은 점에서 존재할 때, 도함수와 비슷한 연산 성질들을 만족한다:

* 선형성
d(u+v)=du+dv
d(cu)=cdu (*c*는 상수)
* 곱셈
d(uv)=vdu+udv
* 나눗셈
d(\frac{u}{v})=\frac{vdu-udv}{v^2}

#### 형식 일치

함수 y=f(u)를 생각하자. 여기서 u는 독립 변수이다. 그의 미분은 다음과 같다.

dy=f'(u)du
한편 함수 y=f(u)와 u=g(x)에 의하여 얻어지는 y의 x에 대한 함수 y=f(g(x))를 미분해 보면 다음과 같다. (u는 x에 대한 종속 변수이다)

dy=f'(g(x))g'(x)dx
이때 g'(x)dx는 곧 du이고, f'(g(x))는 {\displaystyle f'(u)}이므로, 위의 식은 아래와 같이 다시 쓸 수 있다.

dy=f'(u)du
이는 u를 독립 변수로 놓고 y를 미분한 결과와 일치한다. 즉, 일변수 함수의 (그뿐만은 아니다) 일계 미분 dy의 형식은 u가 독립 변수인지 종속 변수인지에 따라 변하지 않는다. 따라서, 예컨대 아래와 같은 미분들을 자유자재로 사용하여도 무방하다.

d(\sin(\ln x))=\cos(\ln x)d(\ln x)=\cos(\ln x)\cdot\frac{1}{x}dx
dx=cdy\Longrightarrow dy=\frac{1}{c}dx
이러한 결론은 다변수 함수의 미분에서도 성립한다. 고계 미분에서는 성립하지 않는다는 점은 주의할 가치가 있다.

### 선형 근사

(*a*, *f*(*a*))에서의 접선(tangent).
 이 부분의 본문은 선형 근사입니다.
함수의 증가량에서 그 점에서의 미분을 제외하고 나면 \Delta x에 비하면 매우 작은 무한소 \alpha\Delta x만 남는다:

\Delta y=dy+\alpha\Delta x,\ \alpha\to 0\ (\Delta x\to 0)
따라서 함수의 미분은 그 점과 가까운 곳에서의 증가량을 근사하는 데에 사용된다:

\Delta y\approx dy=f'(x)\Delta x
즉

f(x')\approx f(x)+f'(x)\Delta x,\ x'=x+\Delta x
이는 결과적으로 임의의 함수를 선형 함수로 근사한 것이 된다. 예를 들어, e^{0.1}의 값을 어림잡기 위하여, 다음의 근사를 사용할 수 있다.

e^x\approx e^0+(e^x)'(x-0)=1+x,\ x\ll 1
이렇게 추정한 e^{0.1}의 값은 1.1이다. (정확한 값은 1.1051709...)

다변수 함수
------

 이 부분의 본문은 전미분입니다.
### 정의

### 성질

고계 미분
-----