Se puede resolver el problema del PO aplicando el siguiente resultado
Proposición: Supongamos que $(\Omega,\mathscr{F},\mu)$ es un espacio de medidas finito y $f\in L_\infty$ . Defina $\alpha_p =\int_X |f|^p\,d\mu$ . Entonces $$\frac{\alpha_{p+1}}{\alpha_p}\xrightarrow{p\rightarrow\infty}\|f\|_\infty$$
al caso $([0,\pi/2],\mathscr{B}([0,\pi/2]),\mu)$ donde $\mu(dx)=\mathbb{1}_{[0,\pi/2]}(x)\,\sin(x)\,dx$ y $f(x)=x$ . En este caso, tras una aplicación de la integración por partes, obtenemos $$ \lim_{r\to \infty}\frac{\int_{0}^{\pi/2}x^{r+1}\sin x\,dx}{\int_{0}^{\pi/2}x^r\sin x\,dx} = \lim_{r\to\infty} \frac{(r+1)\int^{\pi/2}_0 x^r\cos x\,dx}{\int^{\pi/2}_0 x^r\sin x\,dx}=\|f\|_\infty=\frac{\pi}{2} $$
Esto da valores posibles $L=\frac{2}{\pi}$ y $C=-1$ .
Nota:
- Se puede encontrar una prueba de la proposición anterior aquí . La demostración se basa en la desigualdad de Holder junto con el conocido límite $\lim_{p\rightarrow\infty}\|f\|_p=\|f\|_\infty$ .
0 votos
¿No dependerá el límite del valor de $C$ ?
0 votos
Esa es la cuestión. Se supone que tienes que obtener el valor de C para que el límite sea una cantidad finita (que es igual a L, que también tienes que encontrar).
0 votos
Es demasiado trabajo para una sola pregunta.
0 votos
Las integrales salen en términos de funciones hipergeométricas así que yo no le dedicaría mucho tiempo. La respuesta es 3 pero no tengo ni idea de cómo hacerlo sin hacer trampas.
0 votos
@G-Man Lo sé, pero creo que es una pregunta muy bien pensada.
0 votos
@IanMiller Esta pregunta está ahí en mi cuadernillo para preparar un examen de acceso. No creo que haya que usar hipergeometría porque no nos han enseñado nada de eso. Aunque sí, efectivamente la respuesta es 3.
0 votos
Para $r \rightarrow \infty$ Obsérvese que las integrales también pueden evaluarse sobre $[1, \frac{\pi}{2}]$ en lugar de sobre $[0, \frac{\pi}{2}]$ . El cociente de las integrales es definitivamente positivo. También $x^r \sin (x) > x^r \sin(1) $ y $x^r cos(x) < cos(1)x^r$ . De ello se deduce que el cociente de las integrales es superior a $\tan(1)$ . Para $C > 0$ por lo tanto $\pi L - C$ tiende definitivamente al infinito.
0 votos
Integrar por partes para aislar las contribuciones dominantes en el $r->\infty $ límite
0 votos
@vnd, el valor no tiende a infinito. El valor es 3.
0 votos
Para que el límite siga siendo finito necesitamos $C=-1$ si no me equivoco
0 votos
Si es 3, entonces debe serlo para algún valor especial de $C$ no cualquier valor.