■オイラー・マクローリンの和公式とトッド作用素(その11)

 計算を再開する.第1項,第2項にライプニッツの公式を適用する.

===================================

[1]第1項

  Td(∂/∂h)(n+h2)^m+1log(n+h2)|h2=0

=ΣBj/j!(∂/∂h2)^j(n+h2)^m+1log(n+h2)|h2=0

{(n+h2)^m+1log(n+h2)}^(j)

=ΣjCk((n+h2)^m+1)^(j-k)(log(n+h2))^(k)

((n+h2)^m+1)^(j-k)

=(m+1)!/(m+1−j+k)!・(n+h2)^m+1-j+k

=(m+1,j−k)(n+h2)^m+1-j+k

(log(n+h2))^(k)

はk=0のときlog(n+h2)であるが,それ以外のときは

  (−1)^k+1(n+h2)^-k

jCk((n+h2)^m+1)^(j-k)(log(n+h2))^(k)

はk=0のとき(m+1,j−k)(n+h2)^m+1-jlog(n+h2),それ以外のとき,

  (−1)^k+1(m+1,j−k)(n+h2)^m+1-j

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

[2]第2項

  Td(∂/∂h)(−h1)^m+1log(−h1)|h1=0

=ΣBj/j!(∂/∂h1)^j(−h1)^m+1log(−h1)|h1=0

=(−1)^m+1ΣBj/j!(∂/∂h1)^jh1^m+1log(−h1)|h1=0

{h1^m+1log(−h1)}^(j)

=ΣjCk(h1^m+1)^(j-k)(log(−h1))^(k)

(h1^m+1)^(j-k)

=(m+1)!/(m+1−j+k)!・h1^m+1-j+k

=(m+1,j−k)h1^m+1-j+k

(log(−h1))^(k)

はk=0のときlog(−h1)であるが,それ以外のときは

  (−1)^kh1^-k

jCk((h1)^m+1)^(j-k)(log(−h1))^(k)

はk=0のとき(m+1,j)h1^m+1-jlog(−h1),それ以外のとき,

  (−1)^k(m+1,j−k)h1^m+1-j

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

[3]|h=0

jCk((n+h2)^m+1)^(j-k)(log(n+h2))^(k)|h2=0

はk=0のとき(m+1,j−k)(n)^m+1-jlog(n),それ以外のとき,

  (−1)^k+1(m+1,j−k)(n)^m+1-j

はいいとしても

jCk((h1)^m+1)^(j-k)(log(−h1))^(k)|h1=0

にはlog(−h1)があるが,どうすべきか? 宿題としたい.

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

[雑感]計算力が鈍っていること,時間を細切れにしか使えないことから,ある程度しかたないにせよ,まだまだ間違いはあると思われるが,式の概形はできたようである.

===================================