미분
수학에서, 미분(, 微分) 또는 도함수(導函數)는 어떤 함수의 정의역 속 각 점에서의 함숫값의 변화량과 독립 변숫값의 변화량의 비의 극한 혹은 극한들로 치역이 구성되는 새로운 함수이다. 어떤 함수의 미분 계수를 구하는 것을 의미하며 미분 계수는 독립 변수 x의 증분에 대한 함숫값 ƒ(x)의 증분의 비가 한없이 일정한 값에 가까워질 때의 그 일정한 값 즉, 함수에서 변수 x값의 변화량에 대한 함숫값 ƒ(x)의 변화량의 비가 한없이 일정한 값에 가까워질 때의 그 일정한 값 dy/dx로 나타낸다.
동사로서의 미분()은 이러한 극한이나 도함수를 구하는 일 즉 미분법을 뜻하기도 한다. 도함수로부터 미분의 역연산을 통해 원시함수(antiderivative)를 구하는 것 역시 미분법(differential calculus)의 주요주제이다. 역사적으로나 직관적으로나, 미분의 개념은 주어진 변위의 물체의 순간 속도를 구하는 물리학 문제 및 주어진 곡선의 접선의 기울기를 구하는 기하학 문제와 연관 있다. 즉, 순간 속도는 평균 속도의 극한이며, 접선의 기울기는 할선의 기울기의 극한인데, 서로 다른 이 두 문제의 수학적 실질은 미분으로 서로 같다. 전자는 아이작 뉴턴이, 후자는 고트프리트 빌헬름 라이프니츠가 연구하였다.
함수의 미분은 존재하지 않을 수 있다. 미분이 모든 곳에서 존재하는 함수를 미분 가능 함수라고 한다. 미분 가능 함수는 반드시 연속 함수(=독립 변수의 변화가 미세할 때 함숫값의 변화 역시 미세한 함수)이어야 한다. 그러나 연속 함수가 반드시 미분 가능 함수이지는 않다. 함수의 미분을 정의역 속 각 점에 그 점에서의 미분을 대응시키는 함수(도함수)로 여길 수 있다. 따라서, 함수의 도함수의 도함수, 함수의 도함수의 도함수의 도함수 따위를 생각할 수 있으며, 이들을 그 함수의 고계 도함수(高階導函數, ) 또는 고계 미분(高階微分)이라고 한다. 예를 들어, 변위의 도함수는 순간 속도, 이계 도함수는 순간 가속도이다. 미적분학의 기본 정리에 따르면 원시함수는 부정적분과 같아서 정적분을 미분법의 역연산을 통해 구할 수 있으므로 미분과 적분은 대략 서로 역연산의 관계이다.
미분은 여러 분야의 여러 문제에서 응용된다. 미분을 통해 함수의 단조성·극값·볼록성을 판정할 수 있다. 미분계수는 함수의 선형 근사의 계수이며, 고계미분계수는 함수의 테일러 급수의 계수에 나타난다.
미분의 개념에 대한 여러 가지 일반화가 존재한다. 벡터 미적분학의 기울기, 다변수 미적분학의 야코비 행렬, 함수해석학의 프레셰 도함수 따위가 있다. 또한, 미분을 주어진 함수에 새 함수를 대응시키는 연산자(미분 연산자)로 생각할 수 있다.
어떤 물체의 시간에 따른 변위 formula_1가 주어졌을 때, 시간 formula_2 동안의 평균 속도 formula_3는 이동한 거리와 소모한 시간의 비이며, 식을 써서 나타내면 다음과 같다.
등속 운동의 경우 각 시점의 빠르기는 서로 같으며, 이는 아무 부분의 평균 속도와도 같다. 하지만, 일반적인 물체의 운동은 변속 운동이므로, 빠르기가 시간에 따라 변화한다. 이 경우 평균 속도는 각 시점의 빠르기를 정확하게 반영하지 못하므로, 순간 속도라는 개념이 필요하게 된다. 평균 속도를 구하는 과정의 시간 formula_5가 짧아질수록 평균 속도가 순간 속도와 가까워진다는 점에 주의하여, 순간 속도를 평균 속도의 formula_6일 때의 극한으로 정의할 수 있으며, 식을 써서 나타내면 다음과 같다.
일반적인 함수에 대하여, 미분은 그 함수의 변화량과 독립 변수의 변화량의 비가, 변화량이 0에 가까워질 때 갖는 극한으로 정의된다. 이에 따라, 순간 속도 formula_8는 변위 formula_9의 (시간 formula_10에 대한) 미분이며, 이를
또는
와 같이 표기할 수 있다.
예를 들어, 다리위에서 손에 쥐었던 농구공을 가만히 놓아 떨어뜨렸을 때, 공기 저항이나 바람의 영향이 크지 않다면, 농구공의 운동은 자유 낙하이며, 그 변위는 다음과 같다.
따라서, 그 순간 속도를 다음과 같이 구할 수 있다.
기하학적 관점에서, 미분은 주어진 곡선의 접선을 구하는 문제와 동치이다. 접선의 기하학적 의미는 곡선과 스치듯이 만나는 직선이다. 즉, 접선에 미세한 변화를 가하면 곡선과의 교점의 개수가 변화하게 된다. 예를 들어, 직선 formula_15과 formula_16 모두 포물선 formula_17과 유일한 교점을 갖지만, 전자는 약간 흔들었을 때 교점을 잃거나 얻으므로 접선이며, 후자는 약간 흔들어도 유일한 교점을 가지므로 접선이 아니다.
평면 곡선 formula_18의 점 formula_19에서의 접선을 구하려면, 그 기울기를 구하기만 하면 된다. 우선, 점 formula_20 (formula_21)을 하나 더 취했을 때, 이 두 점을 지나는 할선의 기울기 formula_22는 다음과 같다.
점 formula_20가 점 formula_19에 가까워질수록, 소폭의 변화를 가했을 때 곡선과의 교점의 개수가 변화하는 효과가 더 뚜렷해지며, 또한 할선은 실제 접선의 위치에 더 가까워진다. 따라서, 접선을 할선의 극한으로 정의할 수 있다. 이 경우 접선의 기울기는 할선의 기울기의 극한이며, 다음과 같이 나타낼 수 있다.
접선의 기울기 역시 함수의 변화량과 독립 변수의 변화량의 비의 극한이므로, 함수의 미분과 같다. 즉,
이다.
일반적인 함수 formula_18에 대하여, 증분(增分, )은 독립 변숫값의 변화량
및 함숫값의 변화량
을 뜻하는 용어이며, 평균 변화율(平均變化率, )은 두 증분의 비
를 뜻하는 용어이다. 미분 또는 미분 계수(微分係數, ) 또는 순간 변화율(瞬間變化率, )은 평균 변화율의 극한
을 뜻하는 용어이다. 여기서 극한 대신 좌극한을 사용하면 좌미분 또는 좌미분 계수(左微分係數)의 개념을 얻으며, 우극한을 사용하면 우미분 또는 우미분 계수(右微分係數)의 개념을 얻는다.
함수 formula_33 (formula_34는 열린구간)의 점 formula_35에서의 미분 formula_36은 다음과 같은 극한이다.
이러한 극한은 존재하지 않을 수 있다. 이 극한이 존재하는 경우, formula_38가 formula_39에서 미분 가능하다고 한다. 미분의 기호는 formula_36, formula_41, formula_42와 같이 여러 가지가 있다.
함수 formula_43의 점 formula_39에서의 좌미분(左微分, ) formula_45은 다음과 같은 좌극한이다.
마찬가지로, 함수 formula_47의 점 formula_39에서의 우미분(右微分, ) formula_49은 다음과 같은 우극한이다.
미분과 좌미분과 우미분의 관계는 극한과 좌극한과 우극한의 관계와 유사하다. 좌미분과 우미분은 존재하지 않을 수 있으며, 모두 존재하더라도 서로 같지 않을 수 있다. 만약 좌미분과 우미분이 모두 존재하며 서로 같다면, 그 점에서의 미분 역시 존재하게 된다.
열린구간 formula_51에 정의된 함수 formula_52가 다음 조건을 만족시키면, formula_38를 formula_51에서의 미분 가능 함수라고 한다.
닫힌구간 formula_57에 정의된 함수 formula_58가 다음 조건들을 만족시키면, formula_38를 formula_57에서의 미분 가능 함수라고 한다.
비슷하게, 임의의 유형의 구간에서의 미분 가능 함수를 정의할 수 있다. 즉, 구간에서의 미분 가능 함수는 내부점에서 미분 가능하며, 구간에 속하는 왼쪽 끝점에서 우미분이 존재하며, 구간에 속하는 오른쪽 끝점에서 좌미분이 존재하는 함수이다.
미분 가능 함수 formula_33 (formula_34는 구간)가 주어졌다고 하자. 그렇다면, 임의의 점 formula_69에 formula_38의 formula_71에서의 미분(구간에 속하는 끝점의 경우 좌미분 또는 우미분) formula_72를 대응시키는 함수를 생각할 수 있다. 이 함수를 formula_38의 도함수라고 하거나, 똑같이 미분이라고 한다. 즉, formula_38의 도함수 formula_75는 다음과 같은 함수이다.
함수 formula_38의 미분의 기호는 formula_75, formula_80, formula_81 등이 있다.
함수 formula_33 (formula_34는 구간)가 다음과 같은 formula_84중 극한 formula_85을 가진다면, 이를 formula_38의 formula_84계 도함수(formula_84階導函數) 또는 formula_84계 미분(formula_84階微分, )이라고 한다.
즉, 이는 다음과 같다.
이러한 formula_85 (formula_122)을 통틀어 formula_38의 고계 도함수 또는 고계 미분라고 한다.
함수 formula_33 (formula_34는 구간)가 도함수 formula_75를 가지며, formula_75가 formula_34에서의 연속 함수라면, formula_38를 formula_34에서의 연속 미분 가능 함수 또는 formula_131 함수라고 한다. 보다 일반적으로, formula_38가 연속 formula_133계 도함수 formula_134를 가진다면, formula_38를 formula_136 함수라고 한다. 또한, formula_38가 임의의 고계 도함수 formula_138를 가진다면, formula_38를 매끄러운 함수 또는 formula_140 함수라고 한다. 이보다 강한 개념인 해석 함수 또는 formula_141 함수는 테일러 급수가 자기 자신으로 수렴하는 함수이다. 이 경우, formula_133계 도함수의 존재는 formula_143 함수보다 강하고 formula_136 함수보다는 약한 조건이다.
고트프리트 빌헬름 라이프니츠는 도함수를 미분 계수를 통해 표기하였다. 이 표기에서, 도함수의 표기는 다음 가운데 하나이다.
또한, 점에서의 미분의 표기는 다음 가운데 하나이다.
또한, 고계 도함수의 표기는 다음 가운데 하나이다.
어떤 미분 법칙들은 라이프니츠 표기법으로 표기할 경우 더 기억하기 쉽다. 예를 들어, 연쇄 법칙을 다음과 같이 표기할 수 있다.
기호 formula_149의 의미는 문맥에 따라 다를 수 있다. 미적분학에서, 이는 선형 주요 부분을 뜻한다. 비표준 해석학에서, 이는 일종의 무한소로 정의된다. 미분기하학에서, 이는 외미분을 뜻한다.
조제프루이 라그랑주는 도함수를 함수 기호의 오른쪽 위에 프라임 부호를 써서 표기하였다. 즉, 도함수·이계 도함수·삼계 도함수·고계 도함수의 표기는 각각 다음과 같다.
아이작 뉴턴은 도함수를 함수 위에 점을 찍어 표기하였다. 즉, 일계·이계·삼계·사계·고계 도함수의 표기는 각각 다음과 같다.
뉴턴의 표기법은 주로 물리학에서 시간 변수에 대한 미분을 표기하는 데 사용된다. 이는 고계 도함수를 나타내기 힘겨운 표기법이지만, 시간에 대한 미분은 보통 이계를 넘지 않는 편이다.
레온하르트 오일러는 도함수를 미분 연산자를 통해 표기하였다. 즉, 일계·고계 도함수의 표기는 각각 다음과 같다.
미분 가능 함수는 항상 연속 함수이다. (이는 연속 함수가 아니라면, 독립 변숫값이 0에 가까워질 때 함숫값이 0에 가까워지지 않으므로, 이 둘의 비가 유한한 값으로 수렴하지 못하기 때문이다.) 그러나 연속 함수는 미분 가능 함수가 아닐 수 있다.
열린구간 formula_34에 정의된 함수 formula_33 및 점 formula_35에 대하여, 다음 세 조건이 서로 동치이다.
미분 가능 함수에 대하여, 다음과 같은 미분 법칙들이 성립한다.
라이프니츠 표기법을 사용하면 다음과 같다.
함수의 일부 성질은 도함수 또는 고계 도함수를 통해 판정할 수 있다. 예를 들어, 단조성과 도함수의 관계는 다음과 같다.
또한, 극값과 도함수의 관계는 다음과 같다.
또한, 볼록성과 도함수의 관계는 다음과 같다.
도함수는 연속 함수가 아닐 수 있지만, 도함수는 충분히 좋은 성질들을 갖췄으며, 다음과 같다.
함수 formula_267의 미분을 정의에 따라 계산하면 다음과 같다.
몇 가지 기본적인 실수 초등 함수의 (자연 정의역에서의) 미분은 다음과 같다.
바이어슈트라스 함수는 연속 함수이지만, 어디서도 미분 가능하지 않다.
절댓값 함수 formula_299는 립시츠 연속 함수이며, 0이 아닌 어디서나 미분 가능하지만, 0이 첨점(좌미분과 우미분이 존재하지만 서로 다른 점)이므로 0에서 미분 가능하지 않다.
세제곱근 함수 formula_303는 연속 함수이며, 0이 아닌 어디서나 미분 가능하지만, 0에서 수직선 접선을 가지므로 미분 가능하지 않다.
함수
는 연속 함수이며, 0이 아닌 어디서나 미분 가능하지만, 극한
가 존재하지 않으므로 0에서 미분 가능하지 않다.
미분 가능 함수가 아닌 절대 연속 함수와 모든 부분 구간에서 단조 함수가 아닌 미분 가능 함수가 존재한다.
미분은 최적화(변분법)·미분 방정식·테일러 급수에서 응용된다.
일변수 실숫값 함수의 미분의 개념을 일반화하여 다변수 벡터 함수의 편미분·전미분·기울기·헤세 행렬·야코비 행렬의 개념을 얻을 수 있다.
두 바나흐 공간 formula_307에 대하여, 함수 formula_308 (formula_309는 열린집합)의 점 formula_310에서의 프레셰 도함수는 다음 조건을 만족시키는 연속 선형 변환 formula_311이다.
이러한 연속 선형 변환 formula_313는 존재하지 않을 수 있으며, 존재한다면 formula_38를 formula_39에서 프레셰 미분 가능하다고 한다. 특히, formula_316가 실수선이며, formula_317가 실수 바나흐 공간인 경우, 다음 두 조건이 서로 동치이다.
또한, 이 경우 formula_38의 formula_39에서의 프레셰 도함수 formula_323은 다음과 같다.
그 밖의 미분의 일반화에는 미분 연산자·미분 대수·두 매끄러운 다양체 사이의 미분 가능 함수 따위가 있다.
미분적분학에서 다루는 구적법과 같은 계산 방식은 고대 그리스의 아르키메데스가 구와 원기둥의 부피를 계산한 때부터 전해왔다. 그러나, 무한의 개념을 수학에 도입하여 계산하기 시작한 것은 17세기 이탈리아의 수학자 에반젤리스타 토리첼리 때 부터이다. 토리첼리는 무한소의 개념(무한히 작은 단위량)을 도입하여 포물선 일부 구간의 면적을 구하는 방법을 정리하였다. 또한 거리와 속도의 관계를 밝혔고 넓이를 구하는 문제가 접선을 구하는 문제와 역관계가 있다는 것을 밝혔다.
아이작 뉴턴과 라이프니츠는 각각 독자적인 방법으로 미분적분학을 수립하였다. 뉴턴은 기하학을 바탕으로 순간적인 변화량을 구하는 방법을 발견하고 이를 유율법()이라고 불렀다. 뉴턴은 유율법을 곡선에 대한 접선과 곡률의 견지에서 파악하였다. 뉴턴은 1687년 《자연 철학의 수학적 원리》에 유율법을 발표하였다. 한편, 라이프니츠는 함수 f(x)에서 x가 무한히 작은 증분인 미분()의 변화량을 가질 때 f(x)의 변화량을 구하는 방법으로서 미분을 발견하였다. 라이프니츠는 1677년 무렵에는 미분의 계산방법과 표기법을 완성하였다. 오늘날에는 보다 수학적으로 효율적인 라이프니츠의 방법이 주로 쓰인다.
뉴턴과 라이프니츠는 미분의 발견 공로를 놓고 오랫동안 다투었으며 이로 인해 유럽의 수학계는 둘 중 누구를 지지하는 가를 놓고 심한 대립을 보이기도 하였다. 뉴턴과 라이프니츠는 서로 상대방이 자신의 아이디어를 훔쳤다고 비난하였다. 이러한 대립은 라이프니츠가 사망한 이후에도 계속되었다. 오늘날에는 뉴턴과 라이프니츠가 각자 독자적인 방법으로 미분을 발견했다고 본다.