Эта формула как-нибудь называется?

[max(Im)]

Доброго времени суток.
Есть такая формула:

$$\int P_m(x) e^{inx} dx = -e^{inx} \sum_{k=0}^m \frac{i^{k+1}}{n^{k+1}} \frac{d^kP_m(x)}{dx^k}$$

Здесь $P_m(x)$ --- полином степени $m.$
Имеет ли она какое-нибудь название? Где про нее можно прочитать и как она может применяться? Наверное, есть у нее и обобщения...

[Someone]

Ну, это формула интегрирования произведения - проитерированная $m$ раз формула интегрирования по частям, применённая к конкретной функции:

$$\int uv\,dx=uv_1-u'v_2+u''v_3-u'''v_4+\ldots+(-1)^{m-1}u^{(m-1)}v_m+(-1)^m\int u^{(m)}v_mdx,$$

где $v_1$ - первообразная $v$, $v_2$ - первообразная $v_1$, $v_3$ - первообразная $v_2$, … (у Вас $u=P_m(x)$, $v=e^{inx}$).

[Joker_vD]

(Оффтоп)

Можно поискать в журналах XVIII века — уверен, кто-нибудь да тиснул статью с ней.