CODICT

Introduction to Ordinary Differential Equations 미분 방정식과 관련된 내용은 다른 카테고리에서 심도있게 다룰 예정이긴 하지만, differential을 사용하기 적당한 예제라고 생각되어 지금 잠시 다뤄볼까 합니다. 미분 방정식의 가장 간단한 형태는 다음과 같습니다. $$\frac{dy}{dx}=f(x)$$ 이 방정식에 대한 해답은 역도함수를 구하는 것(적분)인데, 다음과 같죠. $$y=\int f(x) dx$$ 다음의 예제를 통해 조금 더 알아보겠습니다. $$(\frac{d}{dx} + x)y = 0$$ (d/dx + x)는 양자역학에서 소멸자로 알려져 있습니다. 위 방정식은 바닥 상태에서의 조화 진동자에 관한 방정식인데 솔직히 뭐 이 정도 지식까지는 필요 없죠. 위..

Differentials 미분에서 적분으로 넘어가기에 앞서, differentials에 대해 알 필요가 있습니다. 함수 y = f(x)에 대해 y의 differential는 다음과 같습니다. $$dy = f'(x)dx$$ y = f(x)이기 때문에 f의 differential이라고 부르기도 합니다. dy와 f'(x)dx는 differentials라고 불립니다. $$\frac{dy}{dx}=f'(x)$$ 위와 같이 differentials의 분수 형태로 생각할 수도 있습니다. 이 발상에 익숙해져야 할 필요가 있는데, 이 카테고리인 일변수 미적분학을 비롯하여 다변수 미적분학에서 다루게 될 것입니다. Differentials and Linear Approximation 선형 근사는 f(x)와 f'(x)의 값을..

Rolle's Theorem S ⊂ R이고, 함수 f : S → R가 있을 때 x∈X의 근방 x∈U⊆X가 임의의 y∈U에 대하여 f(y) ≤ f(x)이면 x는 f의 극대점이라 하고, f(x)를 f의 극댓값이라 합니다. 반대로 f(y) ≥ f(x)이면 x는 f의 극소점이라 하고, f(x)를 f의 극솟값이라 합니다. 그리고 f: [a, b] → R이 c∈(a, b)에서 극댓값 또는 극솟값을 갖고 c에서 미분이 가능하다면 f'(c) = 0입니다. 증명은 다음과 같습니다. f가 c∈(a, b)에서 극댓값을 갖고, (c−δ, c+δ) ⊂ (a, b)를 만족하는 0 이상의 δ가 존재하고 ∀x ∈ (c−δ, c+δ), f(x) ≤ f(c)이면 x_n을 다음과 같이 쓸 수 있습니다. $$x_n=c - \frac{\de..

Another Moving Exponent 다음의 값을 구해봅시다. $$\lim_{n \to \infty}(1 + \frac{1}{n})^n$$ 엄밀히 말하자면 이는 미적분학 문제가 아닙니다. 하지만 값을 구하는 과정에서 미적분학이 사용이 되는데, 이 값을 구하려고 하는 2가지 이유가 있습니다. 첫 번째 이유는 값이 매우 흥미롭다는 것이고, 두 번째 이유는 n이 극한을 통해 무한대로 간다는 점입니다. 이처럼 지수가 변화하는 형태면 양변에 로그를 취해 지수를 끌어내렸습니다. $$\ln (1 + \frac{1}{n})^n=n\ln (1 + \frac{1}{n})$$ 이제, 생각을 달리하여 n이 무한대라는 극한값을 취한다는 생각 대신 Δx = 1/n이라 가정하고 Δx가 0으로 간다고 생각하여 식을 바꾸어 보겠..

이제 마지막으로 지수함수와 로그함수의 도함수에 대해 이야기를 하고자 합니다. 아직까지 미분한 적이 없는 함수지만, 삼각함수만큼 기본적인 함수들이기 때문에 필수적인 함수들입니다. a^x and the Definition of the Derivative 우리의 목표는 a^x의 도함수를 구하는 것입니다. 우선, 도함수의 정의를 채워 넣는 것으로 시작을 하겠습니다. $$\frac{d}{dx}a^x=\lim_{\Delta x \to 0}\frac{a^{x + \Delta x}-a^x}{\Delta x}$$ 이때, 합의 형태로 표현된 지수는 곱을 통해 분리할 수 있기 때문에, 분자는 다음과 같이 바꿀 수 있습니다. $$\begin{align*} \frac{d}{dx}a^x &= \lim_{\Delta x \to 0..