초함수의 곱의 미분법
📂초함수론초함수의 곱의 미분법
정리
T∈D∗를 초함수, f∈C∞를 스무스 함수라고 하자. 그러면 아래의 식이 성립한다.
(fT)′=f′T+fT′
설명
기존의 곱의 미분법과 찰떡같이 잘 맞으니 초함수의 미분과 초함수의 곱이 그럴듯하게 정의됐음을 느낄 수 있다.
증명
초함수 미분과 곱의 정의에 의해 다음이 성립한다.
D(fT(ϕ))=D(T(fϕ))=T((fϕ)′)=T(f′ϕ+fϕ′)=T(f′ϕ)+T(fϕ′)=f′T(ϕ)+fT(ϕ′)=f′T(ϕ)+fT′(ϕ)
따라서 다음을 얻는다.
(fT)′=f′T+fT′
■