부품별 통합

Integration by parts

미적분학에서, 그리고 더 일반적으로 수학적 분석에서, 부품에 의한 통합이나 부분적 통합은 그 파생상품반분제의 생산물의 적분이라는 관점에서 함수산물적분을 찾는 과정이다. 그것은 기능 산물의 해독제를 용액을 더 쉽게 찾을 수 있는 해독제로 변환하기 위해 자주 사용된다. 그 규칙은 차별화제품 규칙의 필수적인 버전이라고 생각할 수 있다.

부품 공식에 의한 통합은 다음과 같다.

Or, letting and while and , the formula can be written more compactly:

수학자 브룩 테일러는 부분별 통합을 발견했고, 1715년에 처음으로 이 아이디어를 발표했다.[1][2] 리만-스티엘트제스 르베그-스티엘트제스 통합에는 보다 일반적인 부품별 통합 형식이 존재한다. 시퀀스에 대한 이산 아날로그를 부품별 합계라고 한다.

정리

두 가지 기능의 제품

그 정리는 다음과 같이 도출할 수 있다. u(x)와 v(x)의 두 가지 연속적으로 다른 기능에 대해 제품 규칙은 다음과 같이 명시한다.

양쪽을 x에 대해 통합하고,

그리고 무기한 적분은 해독제라는 것을 알아채고

통합의 상수 글쓰기를 소홀히 하는 곳 이는 부품별 통합 공식을 산출한다.

또는 차등 =u = dx {\'(x =v( ) d {\'(x의 관점에서 dv = u }

이것은 불특정 상수가 양쪽에 추가된 기능의 동일성으로 이해되기 위함이다. x = ax = b 사이의 각 변의 차이를 취하고 미적분의 기본 정리를 적용하면 다음과 같은 확실한 적분 버전이 나온다.

원래의 적분 uv uv uv uv dx파생 v′을 포함하고 있다; 정리를 적용하려면 v'의 반분제인 v를 찾은 다음 결과 적분 ∫ dx를 평가해야 한다.

덜 매끄러운 기능에 대한 유효성

uv가 계속 다를 필요는 없다. 부품별 통합은 u절대적으로 연속적이고, v′라는 함수가 르베그 통합 가능(그러나 반드시 연속되는 것은 아님)[3]인 경우에 효과가 있다. (v′가 불연속성을 갖는다면, 그것의 반분해 v는 그 시점에 파생상품을 가지고 있지 않을 수 있다.)

만약 통합의 간격이 작지 않다면, uv가 (uv가 연속적이고 연속적으로 다른) 몇 가지 예시처럼 전체 간격에서 절대적으로 연속적일 필요가 없다. 예를 들어, 다음과 같다.

u는 [1, ∞] 간격으로 절대적으로 연속되지 않지만, 그럼에도 불구하고

so long as is taken to mean the limit of as and so long as the two terms on the right-hand side are finite. ( )=- - x. 를 선택하는 경우에만 해당된다. 유사한 경우

v′는 [1, ∞] 간격에 따라 르베그 통합이 가능하지 않지만, 그럼에도 불구하고

같은 해석으로

또한 u와 v가 계속 다를 수 없는 비슷한 예를 쉽게 생각해 낼 수 있다.

또한, ( ){\ f(가 세그먼트 [, ( 의 경계 변동 함수인 경우, 에서 서로 다른 기능을 사용할 수 있다.

where denotes the signed measure corresponding to the function of bounded variation , and functions 은(는) , (를) 까지 확장한 것으로, 각각 경계 변동을 가지며 구별이 가능하다.[citation needed]

여러 기능의 제품

u(x), v(x), w(x)의 세 가지 곱한 기능에 대한 제품 규칙을 통합하면 다음과 유사한 결과가 나온다.

일반적으로 n개의 요인에 대해

그 결과로 이어지다

시각화

정리의 그래픽 해석. 그림 곡선은 변수 t에 의해 파라메트릭된다.

모수 곡선 기준(x, y) = (f(t), g(t))을 고려하십시오. 곡선이 국소적으로 일대일이고 통합이 가능하다고 가정하면, 우리는 정의할 수 있다.

푸른 지방의 면적은

마찬가지로 적색 지역의 면적은

총 면적 A1 + A2 큰 직사각형의 면적 xy에서22 작은 직사각형의 면적 xy와 동일하다11.

아니면 t로 따지면

또는, 무기한 통합의 관점에서, 이것은 다음과 같이 쓰여질 수 있다.

재배열:

따라서 부품별 통합은 직사각형 영역과 적색 영역의 영역에서 청색 영역의 영역을 도출하는 것으로 생각할 수 있다.

또한 이 시각화는 f(x) 함수의 적분을 알 때 부품별 통합이 역함수−1 f(x)의 적분을 찾는 데 도움이 되는 이유를 설명한다. 실제로 함수 x(y)와 y(x)는 inverses이며, 적분 dy x dy는 적분 y y dx를 알고 위와 같이 계산할 수 있다. 특히, 이것로그와 역삼각계 함수를 통합하기 위한 부품별 통합의 사용을 설명한다. 실제로 (가) 간격마다 다른 일대일 함수인 경우, 부품별 통합을 사용하여 f 적분 공식을 f의 적분 측면에서 도출할 수 있다. 이것은 역함수의 적분이라는 글에서 증명된다.

적용들

해독제 찾기

부품별 통합은 통합을 해결하기 위한 순수 기계적인 과정이 아니라 경험적 접근법이다. 통합하기 위한 단일 함수를 감안할 때, 일반적인 전략은 이 단일 함수를 두 함수의 제품으로 조심스럽게 분리하여 부품 공식에 의한 통합의 잔여 적분을 평가하기 쉽도록 하는 것이다(x(x)v(x)제 기능을 하다 다음 양식은 취할 수 있는 최선의 전략을 설명하는 데 유용하다.

오른쪽은 u를 구분하여 v를 통합하므로, u를 구별할 때 단순화하는 기능으로 선택하거나, 통합할 때 단순화하는 기능으로 v를 선택하는 것이 유용하다. 간단한 예로 다음을 고려하십시오.

ln(x)의 파생상품은 다음과 같기 때문에 1/x, part u를 만든다(ln(x) part u; 1/x2 해독제가 -1/x이므로2 1/xdx part dv를 만든다. 이 공식은 이제 다음을 산출한다.

-1/x2 해독제는 전원 규칙으로 찾을 수 있으며 1/x이다.

또는 제품 u′(∫v dx)이 취소로 인해 단순화되도록 uv를 선택할 수 있다. 예를 들어, 다음과 같이 통합하고자 한다고 가정합시다.

u(x) = ln(sin(x) ) 및 v(x) = secx를2 선택하면 체인 규칙을 사용하여 1/tan x로 구별되고 v는 tann x에 통합되므로 공식은 다음을 제공한다.

통합과 단순화는 1로 단순화되므로 해독제는 x이다. 단순화 조합을 찾는 것은 종종 실험을 수반한다.

일부 응용 프로그램에서는 부품별 통합에 의해 생산된 적분이 단순한 형태를 갖도록 보장할 필요가 없을 수 있다. 예를 들어, 수치 분석에서는 크기가 작아서 작은 오차항만 기여하는 것으로 충분할 수 있다. 다른 특별한 기법들은 아래의 예에서 설명된다.

다항식 및 삼각함수

계산하기 위해

허용:

다음:

여기서 C통합의 상수다.

폼에 있는 x의 상위 파워용

부품에 의한 통합을 반복적으로 사용하는 것은 이것과 같은 통합을 평가할 수 있다; 정리의 각 적용은 x의 힘을 하나씩 떨어뜨린다.

지수 및 삼각 함수

부품별 통합의 작업을 조사하기 위해 일반적으로 사용되는 예는 다음과 같다.

여기서는 부품별 통합을 두 번 실시한다. 먼저 하자

다음:

이제, 나머지 적분을 평가하기 위해 우리는 다음과 같은 부품별 통합을 다시 사용한다.

다음:

이것들을 종합해 보면

이 방정식의 양면에는 동일한 적분이 나타난다. 통합은 단순히 양쪽에 추가되어

로 재배열되는.

여기서 다시 C( C′ = C/2)는 통합의 상수다.

와 유사한 방법을 사용하여 차등 입자의 적분을 찾는다.

함수에 일치를 곱함

다른 잘 알려진 두 가지 예는 부품에 의한 통합이 1과 그 자체로 표현된 함수에 적용되는 경우다. 이것은 함수의 파생상품이 알려져 있고, 이 파생상품 타임즈 x의 적분 또한 알려져 있는 경우에 작용한다.

첫 번째 예는 ∫ ln(x) dx이다. 이를 다음과 같이 기록한다.

허용:

다음:

여기서 C통합의 상수다.

번째 예는 역 접선 함수 아크탄(x):

로 다시 쓰십시오.

이제 다음 작업을 수행하십시오.

그때

역사슬 규칙 방법과 자연 로그 적분 조건의 조합 사용.

LIATE 규칙

u로서 다음 목록에서 먼저 오는 기능을 선택하는 것으로 구성되는 경험칙이 제안되었다.[4]

L로그 함수: ( ), ( ),
I역삼각 함수(중복 아날로그 포함): x ), ( ) , ( ), ), }, } 등.
A대수 함수: ,3 x
T삼각 함수( 쌍곡 아날로그 ): ( x), ( ), ( x), (.
E지수 함수: x , e

dv가 될 기능은 목록에서 가장 마지막에 나오는 것이다. 그 이유는 리스트에서 낮은 기능들은 일반적으로 그 위에 있는 기능들보다 해독 작용이 더 쉽기 때문이다. 규칙은 Ddv를 의미하고 목록의 맨 위는 dv로 선택한 함수인 "DETAIL"로 기록되기도 한다.

LIATE 규칙을 시연하려면 통합 요소를 고려하십시오.

LIATE 규칙에 따라 u = x, dv = cos(x) dx, 따라서 du = dx, v = sin(x)은 적분이 된다.

어느 것이 같은가.

일반적으로 u를 선택하려고 하며 dvu보다 단순하고 dv는 통합하기 쉽다. 대신 cos(x)가 u로, x dxdv로 선택되었다면, 우리는 그 일체형(integrated)을 가질 것이다.

부품 공식에 의한 통합의 재귀적 적용 후, 무한 재귀가 발생하여 아무 곳에서도 이어질 수 없다.

유용한 경험 법칙이긴 하지만 LIATE 규칙에는 예외가 있다. 일반적인 대안은 "ILATE" 순서의 규칙을 대신 고려하는 것이다. 또한 경우에 따라서는 다항어를 비종교적인 방법으로 분할할 필요가 있다. 예를 들어, 통합하기 위해

정했을 것이다

하도록

그러면

마지막으로, 이 결과는 다음과 같다.

부품별 통합은 수학 분석에서 이론들을 증명하는 도구로 자주 사용된다.

월리스 제품

무한 ({\displaystyle

부품에 의한 통합을 이용하여 도출할 수 있다.

감마함수정체

감마 함수> 0 대한 부적절한 적분으로 정의되는 특수 함수의 예로서 부품별 통합은 이를 요인 함수의 확장으로 나타낸다.

이후

(가) 자연수인 경우, z= N { 이 공식을 반복적으로 하면 :(+ ) n

조화 분석에 사용

부품별 통합은 조화 분석, 특히 푸리에 분석에서 충분히 부드러운 통합으로 빠르게 진동을 하는 통합이 빠르게 붕괴한다는 것을 보여주기 위해 종종 사용된다. 이것의 가장 일반적인 예는 기능 푸리에 변환의 붕괴가 아래에 설명된 대로 그 기능의 부드러움에 달려 있다는 것을 보여주는 그것의 사용이다.

푸리에 변환 파생 모델

만약 f가 k-time 연속적으로 다른 함수이고 k번째 함수까지의 모든 파생상품이 무한대에서 0으로 붕괴한다면, 그것의 푸리에 변환은 만족한다.

여기서 f(k) f.의 k번째 파생상품이다(우리의 정확한 상수는 사용되는 푸리에 변환의 관례에 따라 달라진다). 라는 점에 주목함으로써 이를 증명한다.

Fourier 변환의 부품별 통합을 통해

인덕티브를 적용하면 일반 k에 대한 결과가 나온다. 유사한 방법을 사용하여 함수의 파생상품의 라플라스 변환을 찾을 수 있다.

푸리에 변환의 붕괴

위의 결과는 FF(k) 통합될 수 있다면 F와 F가 통합될 수 있기 때문에 푸리에 변환의 붕괴에 대해 말해준다.

즉, f가 이러한 조건을 만족하면 푸리에 변환은 적어도 1/ ξ만큼 빠르게 무한대로 분해된다. 특히, k 2이면 푸리에 변환은 통합이 가능하다.

그 증거는 푸리에 변혁의 정의에서 바로 나온 이 사실을 다음과 같이 사용한다.

이 하위 섹션의 시작 부분에 명시된 동등성에 대해 동일한 아이디어를 사용하는 것은 다음과 같다.

이 두 불평등을 합산한 다음 1 + 2 ξk 나누면 명시된 불평등이 나타난다.

연산자 이론에서 사용

연산자 이론에서 부품에 의한 통합의 한 가지 용도는 -∆(여기서 ∆은 라플라스 연산자)이 L2 대한 양성 연산자임을 보여주는 것이다(Lp 공간 참조). 그때 f가 매끄럽고 압축적으로 지원된다면, 부품별 통합을 통해 우리는

기타 응용 프로그램

부품별 반복적인 통합

부분 통합 공식의 LHS 적분에서 의 두 번째 파생 모델을 고려하면 RHS 적분:

이러한 반복적인 부분적 통합의 개념을 정도 n의 파생상품으로 확장하면 다음과 같은 결과를 얻을 수 있다.

개념은 v( v의 연속적인 통합을 쉽게 구할 수 있을 때(예: 라플라스틱 또는 푸리에 변환에서처럼 일반 지수 또는 사인 및 코사인)와 의 n번째 파생형이 소멸할: n- 1) . . 후자의 조건은 RHS 통합이 사라지기 때문에 부분 통합의 반복을 중단한다.

위의 부분적 통합의 반복 과정에서 통합은

and and

친척이 되다 이는 통합체 내 사이의 파생상품을 임의로 "전환"하는 것으로 해석될 수 있으며, 유용하다는 것도 입증된다(로드게스의 공식 참조).

부품별 표 통합

위의 공식의 필수 과정은 표에 요약할 수 있다; 그 결과의 방법은 "표적 통합"[5]이라고 불리며 영화 "표적 통합"에 실렸다.[6]

예를 들어, 적분을 고려하십시오.

x x x x를) 가져가고 = 3,() = x x{\ x

()= 및 그 이후의 파생상품 (을 0에 도달할 때까지 열거하기 시작하십시오. 그런 다음 열 B의 크기가 A 과 같을 때까지 함수 = × x와 그 이후의 통합 v( )n - i ){\ v^{(을 열 B에 나열하십시오. 그 결과는 다음과 같다.

# I 서명 A: 파생상품 u(i) B: 통합(ni) v
0 +
1
2 +
3
4 +

A열B열의 i열 항목과 각 부호는 부품별로 반복적으로 통합되는 과정에서 i단계의 관련 통합을 제공한다. 단계 i = 0은 원래 적분을 산출한다. For the complete result in step i > 0 the ith integral must be added to all the previous products (0 ≤ j < i) of the jth entry of column A and the (j + 1)st entry of column B (i.e., multiply the 1st entry of column A with the 2nd entry of column B, the 2nd entry of column A with the 3rd entry of column B, etc. ...) with the given jth sign. 이 과정은 적분을 산출하는 제품이 0일 때(예의 i = 4) 자연적으로 중단된다. 전체 결과는 다음과 같다(각 항에 교대 기호가 있음).

이것은 생산된다.

반복적인 부분 통합은 기능 ( v( i을 각각 차별화하고 통합하는 과정에서 제품이 원래 통합의 배수로 나타날 때 유용하게 나타난다. 이 경우 반복은 또한 이 지수 i로 종료될 수 있다.이것은 예상대로 지수함수와 삼각함수로 일어날 수 있다. 예를 들면 다음과 같다.

# I 서명 A: 파생상품 u(i) B: 통합(ni) v
0 +
1
2 +

이 경우, 지수 i = 2에 대한 적절한 기호가 있는 A와 B의 항의 곱은 원래 통합의 음을 산출한다(compare row i = 0, i = 2).

RHS의 적분자가 자체적인적분 {\ C를) 가질 수 있음을 관찰하고 추상 적분을 반대편에 가져오는 것은 다음과 같은 효과를 준다.

마지막으로,

여기서 C = C′/2.

상위 치수

부품별 통합은 적절한 제품 규칙에 미적분학의 기본 정리 버전을 적용함으로써 여러 변수의 함수로 확장할 수 있다. 다변량 미적분학에는 스칼라 값 함수 u와 벡터 값 함수(벡터 필드) V를 포함하는 여러 쌍이 가능하다.[7]

다양성에 대한 제품 규칙은 다음과 같다.

Suppose is an open bounded subset of with a piecewise smooth boundary . Integrating over with respect to the standard volume form , and app다양성 정리를 하는 것은 다음을 제공한다.

여기서 n 은(는) 경계로의 외부 단위 정규 벡터로서, 표준 리만 볼륨 형식 }과(는에 대해 통합된다 재배열은 다음을 제공한다.

또는 다시 말하면

정리의 규칙성 요건은 완화할 수 있다. 예를 들어 경계 = 은(는) 립스키츠 연속형이어야 하며, 함수 u, vSobolev spaceH1(Ω)에만 있어야 한다.

그린의 첫 번째 정체성

Consider the continuously differentiable vector fields and , where = , …, 에 대한 i번째 표준 기준 벡터 이제 위의 통합을 각 벡터 필드 v e 에 적용하십시오

i를 요약하면 부품 공식에 의한 새로운 통합:

사례 = 여기서 Ω bar {\\\Green의 번째 ID로 알려져 있다.

참고 항목

메모들

  1. ^ "Brook Taylor". History.MCS.St-Andrews.ac.uk. Retrieved May 25, 2018.
  2. ^ "Brook Taylor". Stetson.edu. Retrieved May 25, 2018.
  3. ^ "Integration by parts". Encyclopedia of Mathematics.
  4. ^ Kasube, Herbert E. (1983). "A Technique for Integration by Parts". The American Mathematical Monthly. 90 (3): 210–211. doi:10.2307/2975556. JSTOR 2975556.
  5. ^ Thomas, G. B.; Finney, R. L. (1988). Calculus and Analytic Geometry (7th ed.). Reading, MA: Addison-Wesley. ISBN 0-201-17069-8.
  6. ^ Horowitz, David (1990). "Tabular Integration by Parts" (PDF). The College Mathematics Journal. 21 (4): 307–311. doi:10.2307/2686368. JSTOR 2686368.
  7. ^ Rogers, Robert C. (September 29, 2011). "The Calculus of Several Variables" (PDF).

추가 읽기

외부 링크