De Spivak
Encontrar todas las funciones continuas tales que f(x)2=∫x0f(ξ)ξ1+ξ2dξ.
f(x)2 es claramente diferenciables. Me gustaría escribir ddxf(x)2=2f(x)f′(x). a fin De justificar esto, quiero decir que √|∫x0f(ξ)ξ1+ξ2dξ|, which is equal to |f|, is differentiable everywhere except where the value of the integral is zero. So at every point at which f(x)≠0, f is differentiable, and 2f(x)f′(x)=f(x)x1+x2⟹4f′(x)=2x1+x2⟹f(x)=14(log(1+x2)+C).
Ahora, cualquier solución debe tener el valor cero en x=0. El comportamiento de la solución a la izquierda del cero y el derecho de cero debe ser analizado por separado ya que no afecta a la otra. Además, el análisis que sigue es simétrica en ambos lados (nota: ξ1+ξ2 es impar), y así podemos determinar las posibles soluciones en x≥0 y, a continuación, todas las mismas soluciones son igual de buenas (hacia atrás) en x≤0 (y podemos cortar y pegar los dos de cada lado).
Así que vamos a considerar x≥0. El "primero" f lo hace después de ser cero durante un período de tiempo no puede ser negativo, ya que, a continuación, f(x)2=∫x0f(ξ)ξ1+ξ2dξ sería negativo para algunos x, una contradicción. Por lo tanto, el "primero" no debe de ser positivo. Pero, a continuación, debe seguir las log sobre una trayectoria ascendente para siempre, por lo que su comportamiento está determinado por todos los tiempos.
Para poner este párrafo anterior en más riguroso del lenguaje, tenga en cuenta que log(1+x2)+C, una vez que ha positiva derivada en algún momento, debe tener positivos derivados de los siguientes puntos. Desde f(x)2=∫x0f(ξ)ξ1+ξ2dξ, no puede ser que f(x) sólo toma valores negativos en cualquier intervalo de [0,a], por lo que si se toma un valor distinto de cero, podemos utilizar el valor medio el teorema de encontrar un punto donde se ha positivos derivados, y, a continuación, su comportamiento está determinado por todo el tiempo después de ese punto. Así que la única pregunta es cuando (si alguna vez) se convierte en positivo. Esto es equivalente a la elección de una solución de la familia
{0x≤√e−C−114(log(1+x2)+C)x>√e−C−1 where C≤0.
Elegir una función de la anterior familia de x>0 e (el reflejo de uno por x<0 (o tomar el cero de la función para cualquiera de los dos), y tiene una solución.
Ahora podemos comprobar que ∫x0f(ξ)ξ1+ξ2dξ=116(log(1+x2)−C)2=f(x)2,∀x s.t. f>0, de modo que todas las soluciones de la forma anterior, efectivamente satisfacer la diffEQ.
Es mi análisis correcto? ¿Puede alguien ver un impermeable manera?