저자는 적분이 적분뿐만 아니라 적분 변수의 함수를 인수한다는 점을 고려하여 적분의 총 미분 계산과 관련하여 첫 번째 단계에서 사용한 것과 동일한 규칙을 두 번째 단계에 적용합니다. 변수 자체.
첫 번째 단계는
d[u(x|F)]=d[∫xb0m1+k[1−F(b)]dH(b)]
=m1+k[1−F(x)]dH(x)(1)
다시 정렬하면 첫 번째 결과를 얻습니다. 동일한 논리를 적용하면
(m−u(b1|F))⋅d[G(w)]=kd[∫wb0[F(w)−F(x)]du(x|F)1+k(1−F(w))]
우리는 대한 차이를 고려하고 있는데 , 이것이 함수 의 인수이기 때문 입니다. 이를 명확하게 나타 내기 위해 를 작성 . 그림을 명확히하려면wGdw
kdw[∫wb0[F(w)−F(x)]du(x|F)1+k(1−F(w))]≡kdw(A(w)B(w))=kB(w)dwA(w)−A(w)dwB(w)[B(w)]2
우리는 분모가 저자의 최종 표현과 정확히 일치하므로 걱정할 필요가 없습니다. 우리는 분자를 켭니다. 하나씩,
dwA(w)=dw[∫wb0[F(w)−F(x)]du(x|F)]
=[F(w)−F(w)]du(w|F)+[∫wb0dw[F(w)−F(x)]du(x|F)]
=0+dwF(w)∫wb0du(x|F)+0
우리는 여기서 integrand가 적분 한계의 함수일 때 적분 하의 적분 한계에 대한 Leibniz 규칙을 적용했습니다. 제 제로 결과가된다는 사실에서 비롯 ( 포함하지 않는다 우리가 변경할 수 있도록, 변화 제로 임). 그래서dwF(x)=0F(x)wwF(x)
B(w)dwA(w)=[1+k(1−F(w)]dwF(w)∫wb0du(x|F)
=dwF(w)∫wb0[1+k(1−F(w))]du(x|F)(2)
여기서 우리는 적분 변수 에 의존하지 않기 때문에 적분 안에서 항을 옮겼습니다 .x
두 번째 학기로 가면
dwB(w)=−kdwF(w)
그래서
−A(w)dwB(w)=dwF(w)∫wb0k[F(w)−F(x)]du(x|F)(3)
따라서
B(w)dwA(w)−A(w)dwB(w)=dwF(w)∫wb0[1+k(1−F(w)]du(x|F)+dwF(w)∫wb0k[F(w)−F(x)]du(x|F)
매우 일반적인 요인 두 적분 때문에 선형성 하나로 기록 될 수있다dwF(w)
B(w)dwA(w)−A(w)dwB(w)==dwF(w)∫wb0([1+k(1−F(w)]+k[F(w)−F(x)])du(x|F)
라는 용어가 취소되고kF(w)
B(w)dwA(w)−A(w)dwB(w)=dwF(w)∫wb0[1+k(1−F(x))]du(x|F)
그러나 재정렬 된 하고 대체하여(1)
B(w)dwA(w)−A(w)dwB(w)=dwF(w)∫wb0mdH(x)
=mdwF(w)⋅(H(x)∣∣wb0)=mdwF(w)⋅(H(w)−H(b0))
그러나 는 의 CDF 이므로 입니다.H()(b0,b1)H(b0)=0
그리고 우리는 끝났습니다. 요컨대, 수학적 계산을 진행하는 것을 두려워하지 마십시오.