A partir de las ecuaciones $$\int^1_0f(x)\,dx=\lambda_1\int^1_0f''(x)\,dx=\lambda_1(f'(1)-f'(0))=0\\\int^1_0g(x)\,dx=\lambda_2\int^1_0g''(x)\,dx=\lambda_2(g'(1)-g'(0))=0$$ Así, $$\int^1_0f(x)g(x)\,dx=\int^x_0f(u)\,du\cdot g(x)\Big|^1_0-\int^1_0g'(x)\int^x_0f(u)\,du\,dx\\=\lambda_1(f'(1)-f'(0))g(1)-\lambda_1\int^1_0g'(x)(f'(x)-f'(0))\,dx\\=-\lambda_1\int^1_0g'(x)(f'(x)-f'(0))\,dx$$ En cuanto a la última integral $$\int^1_0g'(x)(f'(x)-f'(0))\,dx\\=\int^x_0(f'(u)-f'(0))\,du\cdot g'(x)\Big|^1_0-\int^1_0g''(x)\int^x_0(f'(x)-f'(0))\,du\,dx\\=(f(x)-f(0)-xf'(0))g'(x)\Big|^1_0-\int^1_0g''(x)(f(x)-f(0)-xf'(0))\,dx\\=(f(1)-f(0)-f'(0))g'(1)-\int^1_0g''(x)f(x)\,dx+f(0)\int^1_0g''(x)\,dx+f'(0)\int^1_0xg''(x)\,dx\\=-f'(0)g'(1)-\frac{1}{\lambda_2}\int^1_0g(x)f(x)\,dx+f'(0)g'(1)-f'(0)\int^1_0g'(x)\,dx\\=-\frac{1}{\lambda_2}\int^1_0g(x)f(x)\,dx$$ En total tenemos $$\int^1_0f(x)g(x)\,dx=\frac{\lambda_1}{\lambda_2}\int^1_0g(x)f(x)\,dx$$ Desde $\lambda_1\neq\lambda_2$ Por supuesto, la afirmación es la siguiente $$\int^1_0f(x)g(x)\,dx=0$$
0 votos
¿Qué ha intentado?
0 votos
@AndrewLi : Estoy entrando en un bucle llegando a donde empecé. Estoy utilizando la integración por partes para capitalizar las condiciones dadas.
0 votos
Quiero probar usando sólo la integración por partes. Quiero hacerlo sin resolver explícitamente esas EDOs.
3 votos
"entrar en un bucle" suena como si hubieras integrado por partes, cambiado tu $u$ y $v$ y el integrado por partes de nuevo. Siempre que hagas eso, entrarás en un bucle y volverás al punto de partida. El truco en esas situaciones es seguir con la segunda integración por partes.