이계도함수 문서 원본 보기

{{위키데이터 속성 추적}}
[[파일:4_fonctions_du_second_degré.svg|오른쪽|섬네일|200x200픽셀|[[이차함수]]의 이계도함수는 [[상수함수]]이다.]]
미적분학에서, [[함수]] f의 '''이계도함수'''란 f의 도함수의 [[도함수]]이다. 대략적으로, 이계도함수는 변화율 자체가 어떻게 변하는지를 측정하는데, 예를 들면 차량의 위치의 이계도함수는 그 차량의 시간에 관한 [[가속도]], 즉 시간에 따른 그 시점의 속도의 변화율을 의미한다. [[라이프니츠의 표기법]]에서 마지막 항이 이계도함수의 표현이다:

: <math>\mathbf{a} =  \frac{d\mathbf{v}}{dt} = \frac{d^2\boldsymbol{x}}{dt^2},</math>



[[함수의 그래프]]에서, 이계도함수는 그래프의 [[곡률]] 또는 [[볼록 함수|볼록성]]과 관계있다. 양의 값의 이계도함수를 갖는 함수의 그래프는 아래로 오목하고, 반면에 음의 값의 이계도함수를 갖는 함수의 그래프는 그와 반대이다.

== 이계도함수에서 멱의 법칙 ==
일계도함수에 대한 [[멱의 법칙]]을 두 번 적용하면 다음과 같은 이계도함수에 대한 멱의 법칙을 얻을 수 있다.

<math>\frac{d^2}{dx^2}[x^n]=\frac{d}{dx}\frac{d}{dx}[x^n]=\frac{d}{dx}[nx^{n-1}]=n\frac{d}{dx}[x^{n-1}]=n(n-1)x^{n-2}.</math>

== 표기법 ==
함수 <math>f(x)</math> <math>f''(x)</math>. 즉:

: <math>f'' = (f')'</math>

도함수에 대한 [[라이프니츠의 표기법]]을 사용하면, 독립변수 x에 관한 [[자유 변수와 종속 변수|종속변수]] y의 이계도함수는 다음과 같이 나타난다.

: <math>\frac{d^2y}{dx^2}.</math>

이 표기법은 다음과 같은 식에서 얻어진다.

: <math>\frac{d^2y}{dx^2} \,=\, \frac{d}{dx}\left(\frac{dy}{dx}\right).</math>

== 예 ==
주어진 함수

: <math>f(x) = x^3,</math>

의 도함수는

: <math>f'(x) = 3x^2.</math>

f의 이계도함수는 f의 도함수의 도함수이다. 즉,

: <math>f''(x) = 6x.</math>

== 그래프와의 관계 ==
[[파일:Animated_illustration_of_inflection_point.gif|섬네일|500x500픽셀|<math>f(x) = \sin(2x)</math> <math>-\pi/4</math> <math>5\pi/4</math>. 파란색으로 나타난 접선은 곡선이 위로 오목한 구간이고, 초록색으로 나타난 접선은 아래로 오목한 구간이며, 빨간색으로 나타난 접선은 변곡점이다. (0, <math>\pi</math>/2, and <math>\pi</math>).]]

=== 오목성 ===
f의 이계도함수는 f의 그래프의 '''오목성'''을 측정한다. f의 이계도함수가 양의 값을 가지면 [[볼록 함수|위로 오목]](볼록함수라고도 한다.)하게 되는데, 이는 [[접선]]이 함수의 그래프 아래쪽에 위치함을 의미한다. 유사하게, 이계도함수가 음의 값을 가지면 [[오목함수|아래로 오목]](오목함수라고도 한다.)하게 되는데, 이는 접선이 함수의 그래프의 위쪽에 위치함을 의미한다.

=== 변곡점 ===
이계도함수의 부호가 바뀌면, 함수의 그래프는 아래로 오목에서 위로 오목으로 바뀌거나 그 반대가 된다. 이러한 경우가 일어나는 점을 '''변곡점'''이라고 부른다. 이계도함수가 연속이라고 하면, 비록 이계도함수가 0이 되는 모든 점이 변곡점인 것은 아니지만, 변곡점에서 이계도함수의 값은 0이 된다.

=== 이계도함수 판정법 ===
이계도함수와 그래프의 관계는 함수의 임계점 (즉, <math>f'(x)=0</math>)이 [[극값|극대]] 또는 [[극값|극소]]인지를 판정하는데 사용될 수 있다. 구체적으로,

* <math>\ f^{\prime\prime}(x) < 0</math><math>\ f</math><math>\ x</math>.
* <math>\ f^{\prime\prime}(x) > 0</math><math>\ f</math><math>\ x</math>.
* <math>\ f^{\prime\prime}(x) = 0</math><math>\ x</math>

이계도함수가 이러한 결과를 만드는 이유는 실세계와의 비유를 통해 볼 수 있다. 처음에는 최대속도로 앞으로 나아가지만 음의 가속도를 갖는 차를 생각해보자. 분명히 차의 위치는 속도가 0이 되는 지점에서 시작점으로부터 가장 멀리 떨어져 있을 것이다. - 이후, 속도가 음의 값을 가지면 차는 후진할 것이다. 최솟값에 대해서도 마찬가지인데, 이는 처음에는 가장 큰 음의 속도로 출발하지만 양의 가속도를 갖는 차량을 생각해보면 된다.

== 극한 ==
이계도함수를 단일의 [[극한]]으로 쓰면 다음과 같이 쓸 수 있다:

: <math>f''(x) = \lim_{h \to 0} \frac{f(x+h) - 2f(x) + f(x-h)}{h^2}.</math>

이 극한은 [[이계대칭도함수]]라 불린다.<ref name="Zygmund2002">{{서적 인용|제목=Trigonometric Series|성=A. Zygmund|연도=2002|출판사=Cambridge University Press|쪽=22–23|isbn=978-0-521-89053-3}}</ref><ref>{{서적 인용|제목=Symmetric Properties of Real Functions|url=https://archive.org/details/symmetricpropert0000thom|성=Thomson|이름=Brian S.|연도=1994|출판사=Marcel Dekker|쪽=[https://archive.org/details/symmetricpropert0000thom/page/n26 1]|isbn=0-8247-9230-0}}</ref> 이 이계대칭도함수는 (통상적인) 이계도함수가 존재하지 않을 때도 존재할 수 있다는 것에 주목하자.

오른쪽의 표현은 평균변화율의 [[평균변화율]]로 나타낼 수 있다.

: <math>\frac{f(x+h) - 2f(x) + f(x-h)}{h^2} = \frac{\frac{f(x+h) - f(x)}{h} - \frac{f(x) - f(x-h)}{h}}{h}.</math>

이 극한은 [[수열|열]]에 대한 [[이계 차분]]의 연속 버젼으로 간주할 수 있다.

위의 극한이 존재한다는 것이 <math>f</math> 이 극한은 이계도함수를 계산하는 것에 대한 가능성을 줄 뿐이지 정의를 주는 것은 아니다. 반례로 다음과 같이 정의된 [[부호 함수]] <math>\sgn(x)</math>

: <math>\sgn(x) = \begin{cases}
-1 & \text{if } x < 0, \\
0 & \text{if } x = 0, \\
1 & \text{if } x > 0. \end{cases}</math>

이 부호함수는 0에서 연속이 아니므로 <math>x=0</math> 하지만 <math>x=0</math>

: <math>\begin{align}
\lim_{h \to 0} \frac{\sgn(0+h) - 2\sgn(0) + \sgn(0-h)}{h^2} &= \lim_{h \to 0} \frac{1 - 2\cdot 0 + (-1)}{h^2} \\
&= \lim_{h \to 0} \frac{0}{h^2} \\
&= 0 \end{align}</math>

== 이차 근사 ==
일계도함수가 [[선형근사|선형 근사]]와 관련있는 것처럼, 이계도함수는 함수 f에 대한 최적화된 [[이차 근사]]와 관련있다. 이는 곧 주어진 점에서 f의 일계도함수와 이계도함수의 값과 같은 [[이차함수]]이다. x=a 주변에서 f의 최적화된 이차 근사식은 다음과 같다.

: <math>f(x) \approx f(a) + f'(a)(x-a) + \tfrac12 f''(a)(x-a)^2.</math>

이 이차 근사는 함수의 x=a에서의 이차 [[테일러 급수|테일러 다항식]]이다.

== 이계도함수의 고윳값과 고유벡터 ==
<math>x \in [0,L]</math> [[디리클레 경계 조건]]을 가정하자, 즉, <math> v(0)=v(L)=0</math>, [[고윳값]]은 <math> \lambda_j = -\frac{j^2 \pi^2}{L^2}</math> <math> v_j(x) = \sqrt{\frac{2}{L}} \sin\left(\frac{j \pi x}{L}\right) </math>. 여기서, <math> v''_j(x) = \lambda_j v_j(x), \, j=1,\ldots,\infty.</math>

다른 잘 알려진 케이스에 대해서는, [[이계도함수의 고윳값과 고유벡터]]를 참조하라.

== 고차원으로의 일반화 ==

=== 헤세 행렬 ===
이계도함수는 이계 [[편도함수]]의 개념을 통해 고차원으로 일반화될 수 있다.예를 들어, ''f'':'''R'''<sup>3</sup>&nbsp;&#x2192;&nbsp;'''R'''는 세 변수의 이계 편도함수

: <math>\frac{\partial^2 f}{\partial x^2}, \; \frac{\partial^2 f}{\partial y^2}, \text{ and }\frac{\partial^2 f}{\partial z^2}</math>

와 이들이 섞인 편도함수

: <math>\frac{\partial^2 f}{\partial x \, \partial y}, \; \frac{\partial^2 f}{\partial x \, \partial z}, \text{ and }\frac{\partial^2 f}{\partial y \, \partial z}.</math>

만약 함수의 상과 [[정의역]] 둘 다 고차원이 된다면, 이는 '''헤세 행렬'''이라 알려진 [[대칭행렬]]과 들어맞는다. 이 행렬의 [[고윳값]]은 다변수의 이계도함수 판정법을 유사하게 함의한다. ([[이계 편도함수 판정법]]을 보아라.)

=== 라플라스 작용소 ===
또다른 이계도함수의 일반화는 '''라플라스 작용소'''이다. 이는 다음과 같이 정의되는 미분 연산자 <math>\nabla^2</math>

: <math>\nabla^2 f = \frac{\partial^2 f}{\partial x^2}+\frac{\partial^2 f}{\partial y^2}+\frac{\partial^2 f}{\partial z^2}.</math>

함수의 라플라스 작용소는 [[그래디언트]]의 [[발산 (벡터)|발산]], 헤세 행렬의 [[대각합]]과 같다.

== 같이 보기 ==

* Chirpyness,  instantaneous phase의 이계도함수

== 각주 ==
{{각주}}

== 더 읽을 거리 ==

=== Print ===
*{{인용
 | last = Anton
 | first = Howard
 | last2 = Bivens
 | first2 = Irl
 | last3 = Davis
 | first3 = Stephen
 | date = February 2, 2005
 | title = Calculus: Early Transcendentals Single and Multivariable
 | place = New York
 | publisher = Wiley
 | edition = 8th
 | isbn = 978-0-471-47244-5
}}
*{{인용
 | last = Apostol
 | first = Tom M.
 | date = June 1967
 | title = Calculus, Vol. 1: One-Variable Calculus with an Introduction to Linear Algebra
 | publisher = Wiley
 | edition = 2nd
 | volume = 1
 | isbn = 978-0-471-00005-1
}}
*{{인용
 | last = Apostol
 | first = Tom M.
 | date = June 1969
 | title = Calculus, Vol. 2: Multi-Variable Calculus and Linear Algebra with Applications
 | publisher = Wiley
 | edition = 2nd
 | volume = 1
 | isbn = 978-0-471-00007-5
}}
*{{인용
 | last = Eves
 | first = Howard
 | date = January 2, 1990
 | title = An Introduction to the History of Mathematics
 | edition = 6th
 | publisher = Brooks Cole
 | isbn = 978-0-03-029558-4
}}
*{{인용
 | last = Larson
 | first = Ron
 | last2 = Hostetler
 | first2 = Robert P.
 | last3 = Edwards
 | first3 = Bruce H.
 | date = February 28, 2006
 | title = Calculus: Early Transcendental Functions
 | edition = 4th
 | publisher = Houghton Mifflin Company
 | isbn = 978-0-618-60624-5
}}
*{{인용
 | last = Spivak
 | first = Michael
 | author-link = Michael Spivak
 | date = September 1994
 | title = Calculus
 | publisher = Publish or Perish
 | edition = 3rd
 | isbn = 978-0-914098-89-8
}}
*{{인용
 | last = Stewart
 | first = James
 | date = December 24, 2002
 | title = Calculus
 | publisher = Brooks Cole
 | edition = 5th
 | isbn = 978-0-534-39339-7
}}
*{{인용
 | last = Thompson
 | first = Silvanus P.
 | authorlink = Silvanus P. Thompson
 | date = September 8, 1998
 | title = [[Calculus Made Easy]]
 | edition = Revised, Updated, Expanded
 | place = New York
 | publisher = St. Martin's Press
 | isbn = 978-0-312-18548-0
}}

=== Online books ===

*{{인용
 | last = Crowell
 | first = Benjamin
 | title = Calculus
 | year = 2003
 | url = http://www.lightandmatter.com/calc/
}}
*{{인용
 | last = Garrett
 | first = Paul
 | year = 2004
 | title = Notes on First-Year Calculus
 | url = http://www.math.umn.edu/~garrett/calculus/
}}
*{{인용
 | last = Hussain
 | first = Faraz
 | year = 2006
 | title = Understanding Calculus
 | url = http://www.understandingcalculus.com/
}}
*{{인용
 | last = Keisler
 | first = H. Jerome
 | year = 2000
 | title = Elementary Calculus: An Approach Using Infinitesimals
 | url = http://www.math.wisc.edu/~keisler/calc.html
}}
*{{인용
 |last        = Mauch
 |first       = Sean
 |year        = 2004
 |title       = Unabridged Version of Sean's Applied Math Book
 |url         = http://www.its.caltech.edu/~sean/book/unabridged.html
 |url-status     = dead
 |archiveurl  = https://web.archive.org/web/20060415161115/http://www.its.caltech.edu/~sean/book/unabridged.html
 |archivedate = 2006-04-15
 |df          = 
}}
*{{인용
 | last = Sloughter
 | first = Dan
 | year = 2000
 | title = Difference Equations to Differential Equations
 | url = http://synechism.org/drupal/de2de/
}}
*{{인용
 | last = Strang
 | first = Gilbert
 | year = 1991
 | title = Calculus
 | url = http://ocw.mit.edu/ans7870/resources/Strang/strangtext.htm
}}
*{{인용
 |last        = Stroyan
 |first       = Keith D.
 |year        = 1997
 |title       = A Brief Introduction to Infinitesimal Calculus
 |url         = http://www.math.uiowa.edu/~stroyan/InfsmlCalculus/InfsmlCalc.htm
 |url-status     = dead
 |archiveurl  = https://web.archive.org/web/20050911104158/http://www.math.uiowa.edu/~stroyan/InfsmlCalculus/InfsmlCalc.htm
 |archivedate = 2005-09-11
 |df          = 
}}
*{{인용
 | last = Wikibooks
 | title = Calculus
 | url = http://en.wikibooks.org/wiki/Calculus
}}

== 외부 링크 ==
* [http://mathformeremortals.wordpress.com/2013/01/12/a-numerical-second-derivative-from-three-points/ Discrete Second Derivative from Unevenly Spaced Points]
{{전거 통제}}

[[분류:미분학]]
[[분류:함수와 사상]]
[[분류:해석학 (수학)]]