De Hölder: $$ I=\int_{a}^{b}(x-x_1)^2\ldots(x-x_n)^2 dx \leq \left(\int_{a}^{b}(x-x_1)^4 dx \right)^{1/2}\left(\int_{a}^{b}(x-x_2)^4 \ldots (x-x_n)^4dx \right)^{1/2} \leq \\ \leq \left(\int_{a}^{b}(x-x_1)^4 dx \right)^{1/2}\left(\int_{a}^{b}(x-x_2)^8 dx \right)^{1/4}\left(\int_{a}^{b}(x-x_3)^{8}\ldots(x-x_n)^8 dx\right)^{1/4} \leq \ldots \\ \leq \left(\int_{a}^{b}(x-x_1)^4 dx \right)^{1/2}\left(\int_{a}^{b}(x-x_2)^{8} \right)^{1/4} \left(\int_{a}^{b}(x-x_3)^{16}dx \right)^{1/8}\ldots \left(\int_{a}^{b} (x-x_n)^{2^{n+1}} dx\right)^{1/2^n} = \\ =\prod_{i=1}^{n}\left(\int_{a}^{b}(x-x_i)^{2^{i+1}}dx \right)^{2^{-i}} $$
Tenemos que evaluar $\int_{a}^{b}(x-x_i)^{2^{i+1}}dx$ . Realización de la sustitución $x-x_i = y$ tenemos: $$ \left(\int_{a-x_i}^{b-x_i}y^{2^{i+1}}dy \right)^{1/2^{i}}=\left(\frac{(b-x_i)^{2^{i+1}+1}-(a-x_i)^{2^{i+1}+1}}{2^{i+1}+1} \right)^{1/2^{i}} $$
Entonces, si $0\leq a \leq b$ , $$ I\leq \left(\frac{(b-x_1)^{5}-(a-x_1)^{5}}{5} \right)^{1/2} \ldots \left(\frac{(b-x_n)^{2^{n+1}+1}-(a-x_n)^{2^{n+1}+1}}{2^{n+1}+1} \right)^{1/2^n} \leq \\ \leq \left(\frac{b^5 - a^5}{5} \right)^{1/2}\ldots \left(\frac{b^{2^{n+1}+1}-a^{2^{n+1}+1}}{2^{n+1}+1} \right)^{1/2^{n}} $$
Comprobemos si esto es realmente decente. Supongamos que $[a,b]=[0,1]$ y tomar $x_1 = 1/3$ y $x_2 = 2/3$ . La integral es: $$ I=\int_{0}^{1}\left(x-\frac{1}{3}\right)^2 \left(x-\frac{2}{3}\right)^2 dx = \frac{7}{810} \approx 0.008642 $$
El límite que obtuviste fue $1$ ( $(b-a)^{2n+1}=1^3 = 1$ ). Nuestro da: $$ I\leq \left(\frac{1}{5} \right)^{1/2}\left(\frac{1}{9} \right)^{1/4} \approx 0.26 $$
¡Así que, no es tan grande, y tal vez se complicó demasiado, pero creo que esto es divertido! Tal vez esto despierta algunas otras ideas.
0 votos
Para un factor el máximo parece ocurrir cuando $x_1$ está en el punto medio de $[a,b]$ donde la integral es $(b-a)^3/12.$ Esto supera su resultado $(b-a)^3$ por un factor de $1/12$ -- No sé si se generaliza fácilmente para más factores.
0 votos
@coffemath Para un factor que puede tomar $a$ en lugar del punto medio $\frac{a+b}{2}$ y se obtiene $\frac{(b-a)^3}{3}$ Así que no creo que tu límite superior sea correcto.
0 votos
Gracias por señalarlo, sin embargo, el $x_i$ no son arbitrarios, son puntos fijos elegidos como ceros de una determinada clase de polinomios (nodos de integración numérica), por lo que el caso de que uno de ellos esté en el punto medio no tiene por qué ser cierto. @coffeemath
0 votos
También me retracto de mi afirmación comentada, en el sentido de que el máximo real occus cuando $x_1$ está en un punto final de $[a,b]$ y es como dijo Martin, Pero como ahora OP dejó claro el $x_i$ se arreglan, hay que hacer más.