2차 미분 연산자를 규정하는 새로운 연산자 방정식

초록

본 논문은 함수 공간 (C^{k}(\Omega)) 위에서 정의된 연산자 (D)가 삼중 곱에 대해 만족하는 식
(D(fgh)-fD(gh)-gD(fh)-hD(fg)+fgD(h)+fhD(g)+ghD(f)=0) 을 이용해 2차 미분 연산자를 특징짓는다. 기존의 2차 레이비츠 규칙과 달리 선형성이나 비퇴화 조건을 요구하지 않으며, 해의 전형적인 형태를 완전히 기술한다.

상세 분석

논문은 먼저 전통적인 1차 레이비츠 법칙이 미분 연산자를 완전히 규정한다는 König‑Milman 정리를 소개하고, 2차 레이비츠 법칙( (d^{2}(fg)=f,d^{2}g+2,df,dg+g,d^{2}f) )이 동일하게 작용하는 연산자 쌍 ((T,A))에 대한 기존 결과를 검토한다. 그러나 식 (3)에서는 1차와 2차 미분 연산자가 혼재해 해석이 복잡해진다. 저자들은 이를 개선하기 위해 식 (5)라 불리는 삼중 곱 식을 제안한다.

핵심 아이디어는 (5)를 만족하는 연산자 (D)가 “구간에 국한된(localized on intervals)” 성질을 갖는다는 점이다. Lemma 1에서 (D(1)=D(-1)=0)을 보이고, 두 함수가 동일한 열린 구간에서 일치하면 (D)도 그 구간에서 동일하게 작용함을 증명한다. 이 성질을 이용해 Proposition 1을 적용하면 (D)는 점별적으로 표현될 수 있음을 얻는다:
\