Is it a well-known sequence of polynomials?

75 Views Asked by At

Let consider $(P_n)_{n\ge 0}$ a sequence of polynomials given by :

$\forall t \in \mathbb{R}$; $\ P_0(t)=1$.

$\forall n\ge 1$; $\ (P_n)'=P_{n-1}$.

$\forall n\ge 1$; $\displaystyle \int_{0}^{1} P_n(t) \mathrm{d}t=0$.

It seems similar to Bernoulli's polynomials.

Moreover for $n=1$, do we have $P_1(1)=P_1(0)$ ? If we use the fact that : $\displaystyle P_1(1)-P_1(0)=\ \int_{0}^{1} P_1'(t) \mathrm{d}t=\int_{0}^{1} P_0(t) \mathrm{d}t=\int_{0}^{1} \mathrm{d}t=1.$ Then $P_1(1)\neq P_1(0)$.

Thanks in advance !