통합 상수

Constant of integration

미적분학에서 적분 상수(C C는 f)\displaystyle f의 적분이 f( f즉, f의 모든 반파생물의 집합임을 나타내기 위해 fx f(x)의 반파생물에 추가되는 상수항이다.가법 [1][2][3]상수까지만 정의됩니다.이 상수는 반파생물의 구성에 내재된 모호성을 나타낸다.

구체적으로 함수 { f가 간격에 정의되어 있고 F { F가 f의 역도함수인 f { f의 역도함수 은 f + displaystyle f에 의해 지정됩니다. C C는 임의의 상수입니다(C C의 값은 F F를 유효한 반파생으로 ).이러한 이유로, 무한 적분은 종종f ( ) () + { f[4]적분 목록에서 적분 상수가 생략되는 경우가 있다.

기원.

상수 함수의 도함수는 0입니다. f에 대해 하나의 F { F를 찾으면 C(\F(를 더하거나 빼면 d + F + F( D F(x) = D Fx) = F(x)에 대한 역도함수 C를 얻을 수 .param )=상수는 적어도 하나의 역도함수를 갖는 모든 함수에 무한대의 역도함수가 있다는 것을 표현하는 방법입니다.

: {\ F \ : R {\G:\ \ {을(를) 구분 가능한 함수라고 합니다.모든 실수 x에 대해 F ( ) () { F)=라고 합니다.다음으로 실수 x마다 F - - G(x) = C { F)-) }가 되는 C { C가 존재합니다.

이를 증명하기 [(x )- G( )] { ( ) - ( x ) ]' 입니다.F(\ F)는F G(\ F-G로 대체하고 G G는 0 0 style로 대체하면 .ve는 항상 0이어야 합니다.

a를 선택하고 C 로 . 임의의 x에 대해F(\ F의 도함수가 사라진다는 가정과 함께 미적분의 기본정리는 다음과 같은 의미를 내포합니다.

F F가 상수 함수임을 나타냅니다.

이 증거에는 두 가지 사실이 중요하다.먼저, 실제 회선이 연결됩니다.실제 회선이 연결되어 있지 않은 경우 고정 a에서 특정 x로 항상 통합할 수 없습니다.예를 들어 구간 [0,1]과 [2,3]의 조합으로 정의된 함수를 요청하고 a가 0인 경우 함수는 1과 2 사이에 정의되어 있지 않기 때문에 0에서3까지 통합할 수 없습니다.여기에서는 도메인의 연결된 각 구성 요소에 대해 하나씩 두 개의 상수가 있습니다.일반적으로, 상수를 국소 상수 함수로 대체함으로써, 우리는 이 정리를 단절된 영역으로 확장할 수 있다.예를 들어,d x / \ dx에는 2개의 적분 상수가 있고 tan† x(\ x에는 무한히 많은 적분 상수가 있습니다.따라서 1/x의 일반적인 형식은 다음과 같습니다.[5][6]

둘째, F디스플레이 스타일 와 G G는 어디에서나 구별된다고 가정했다.디스플레이 스타일 와 G G가 한 점이라도 구분이 되지 않으면 정리가 실패할 수 있습니다.예를 들어 x {x)}를 Heaviside 스텝 함수(x)로 하고, G {G)=x)로 F()의 도함수는 정의및 G의 도함수이다.항상 제로입니다.그러나와는 어디에서나 이고 거의 어디에서나 구별할 수 있는정리가 여전히 실패한다고 가정하더라도와상수로 다르지 않다는 은 분명하다.예를 들어 F F를 Cantor 함수로 사용하고 다시 G G으로 .

를 들어 cos () \ ( )。이러한 반파생 중 가 sin (x ) \(x )입니다.다른 하나는 sin () + ( \ style \ ( ) +. sin - x ) style \ sin ( \ sin ( x ) \ ( \ sin ( \ sin )) ( )。x이므로 모두 cos ( x)\의 역파생입니다.

상수의 덧셈과 뺄셈이 같은 함수의 서로 다른 반파생물을 찾는 유일한 유연성이라는 것이 밝혀졌습니다.즉, 모든 반파생물은 상수까지 동일합니다.cos () \ ()에 이 사실을 표현하기 위해 다음과 같이 기술합니다.

C C를 숫자로 하면 파생물이 생성됩니다.단, 숫자 대신 C를 입력하면 cos( ( 의 가능한 모든 반파생물에 대한 간략한 설명을 얻을 수 있습니다. C는 적분 상수라고 불립니다.이들 함수는 모두 cos ( 의역도함수라고 쉽게 판단할 수 있습니다.

필요성

상수는 0으로 설정할 수 있기 때문에 언뜻 보기에는 불필요하다고 생각될 수 있습니다.게다가 미적분학의 기본정리를 이용하여 확실한 적분을 평가할 때, 상수는 항상 그 자체로 소거된다.

그러나 상수를 0으로 설정하려고 해도 항상 의미가 있는 것은 아닙니다.를 들어, sin ( x ) ( ){ 2 \ ( )\ ( x)}는 적어도3가지 방법으로 통합할 수 있습니다.

따라서 C C를 0으로 해도 상수는 유지됩니다.즉, 주어진 함수에 대해 "가장 간단한 역도함수"는 존재하지 않습니다.

C C를 0으로 하는 경우의 또 다른 문제는 (초기값 문제처럼) 특정 포인트에서 특정 값을 갖는 역파생물을 찾는 것입니다.예를 들어, x = ,에서 값 100을 갖는 cos ( 의 역도함수를 구하려면C {\ C의 값 1개만 동작합니다( 경우 C { C 100}).

이 제한은 미분방정식의 언어로 바꿀 수 있다. f의 무한 적분을 찾는 것은 미분 d d ( {flacx}{f(x)}{textstyle}}{f(x}}}}{f(x}}}}}}}}를 푸는 것과 같습니다. 모든 미분 방정식은 많은 해답을 가지며, 각 상수는 잘 정의된 초기 값의 고유한 해답을 나타냅니다.역도함수가 x = is에서 값 100을 취하는 조건을 부과하는 것이 초기 조건이다.각 초기 조건은C의 (\ C을 1개만 지원하므로 C C가 문제를 해결할 수 없습니다.

추상대수에서 나온 또 다른 명분이 있다.실수의 모든 (적합한) 실수값 함수의 공간은 벡터 공간이며, 미분 d {\는 선형 연산자이다. 는 함수가 일정한 경우에만 함수를 0으로 매핑합니다. d dx})의 커널은 모든 상수 함수의 공간입니다.무한 통합 프로세스는 주어진 함수의 사전 이미지를 찾는 것과 같습니다.주어진 함수에 대한 표준 사전 이미지는 없지만 이러한 모든 사전 이미지 집합이 코셋을 형성합니다.상수를 선택하는 것은 코셋의 원소를 선택하는 것과 같습니다.이 문맥에서 초기값 문제를 해결하는 것은 초기 조건에 의해 주어진 하이퍼플레인에 놓여 있는 것으로 해석됩니다.

레퍼런스

  1. ^ Stewart, James (2008). Calculus: Early Transcendentals (6th ed.). Brooks/Cole. ISBN 0-495-01166-5.
  2. ^ Larson, Ron; Edwards, Bruce H. (2009). Calculus (9th ed.). Brooks/Cole. ISBN 0-547-16702-4.
  3. ^ "Definition of constant of integration Dictionary.com". www.dictionary.com. Retrieved 2020-08-14.
  4. ^ Weisstein, Eric W. "Constant of Integration". mathworld.wolfram.com. Retrieved 2020-08-14.
  5. ^ "Reader Survey: log x + C", Tom Leinster, The n-category Cafe, 2012년 3월 19일
  6. ^ Banner, Adrian (2007). The calculus lifesaver : all the tools you need to excel at calculus. Princeton [u.a.]: Princeton University Press. p. 380. ISBN 978-0-691-13088-0.