Encontrar todos los polinomios $P(x) \in \mathbb{R}[x]$ satisfaciendo
$$ P(x+1)-2P(x)+P(x-1)=6x $$
Mi intento :
Desde $ P(x+1)+P(x-1)-2P(x)=6x $ Así que $P(x)$ no es polinomio constante.
Sea $P(x+1)-P(x)= Q(x)$
así que $Q(x)-Q(x-1)=6x, \;\; \forall x \in \mathbb{R}$
por inducción, $Q(x+n)-Q(x)= 6((x+n)+(x+n-1)+...+(x+1))$
Continúa a partir de la respuesta de dxiv,
$Q(n)-Q(0) = 6(n+(n-1)+...+1)$
$Q(n)=Q(0) + 6(n+(n-1)+...+1)=Q(0) + 3n(n+1) $
así que $P(n) = Q(n-1) + Q(n-2)+ ...+Q(0)+P(0)$
$= \displaystyle\sum^{n-1}_{i=1}3i(i+1) + nQ(0)+P(0)$
$= \displaystyle\sum^{n-1}_{i=1}3i(i+1) + nP(1)- nP(0)+P(0)$
$= \displaystyle\sum^{n-1}_{i=1}3i(i+1) + nP(1)-(n-1)P(0)$
$= 3\displaystyle\sum^{n-1}_{i=1}(i^2+i) + nP(1)-(n-1)P(0)$
$= n^3-n + nP(1)-(n-1)P(0)\;\; \forall x \in \mathbb{N}$
Desde $P(x)-x^3-x(P(1)-1)+(n-1)P(0)$ tiene infinitas raíces por lo que
$P(x)-x^3-x(P(1)-1)+(n-1)P(0) = 0$ obtenemos
$P(x)=x^3+x(P(1)-1)-(n-1)P(0)\;\; \forall x \in \mathbb{R}$
En $P(1)-1$ y $(n-1)P(0)$ están en $\mathbb{R}$ obtenemos
$P(x)=x^3+cx+d,\; \forall x \in \mathbb{R}$ y $c,d$ son constantes reales.
0 votos
$P$ debe ser de grado $3$ .
1 votos
@carat
How to proceed and how to extend from N to R?
Dos polinomios reales que coinciden en un conjunto infinito (como $\mathbb{N}$ ) son necesariamente idénticos. Eso es porque su diferencia, que obviamente es un polinomio, tiene infinitas raíces, por lo tanto sólo puede ser el $0$ polinómico.0 votos
@dxiv, tengo problema en escribir prueba en expansión a $\mathbb{R}$ porque $\sum$ es de 1 a n.
1 votos
@carat Simplemente calcula esa suma: $$\,\sum_{i=1}^{n-1}i(i+1)=\sum_{i=1}^{n-1}i^2+\sum_{i=1}^{n-1}i=\cdots=\frac{n^3}{3}-\frac{n}{3}$$ Entonces obtendrá $\,P(n)=n^3-n+nP(1)-(n-1)P(0)\,$ así que $\,P(n)=n^3 + an + b\,$ después de redefinir las constantes.
0 votos
@dxiv, ¿es correcta mi prueba escrita más arriba?
0 votos
@carat A mí me parece bien. Dependiendo del contexto y el nivel de detalle requerido, es posible que desee añadir la justificación para saltar de $\forall x \in \mathbb{N}$ a $\forall x \in \mathbb{R}\,$ y para fusionar las constantes en $c,d\,$ .
0 votos
@dxiv, ¿es correcto mi razonamiento anterior, respecto a tu último comentario? :)
0 votos
@carat
has infinite roots
Yo lo redactaría como " tiene infinitas raíces "pero esa es la idea, sí.1 votos
@dxiv, editado. Perdón por el mal inglés. Muchas gracias.