¿Es posible “diferenciar” operadores entre espacios de funciones de la misma manera que se diferencian funciones entre espacios vectoriales euclidianos?

Los operadores entre espacios de funciones son solo otro tipo de mapeo.

Si sus espacios son espacios vectoriales topológicos *, entonces tiene una noción de ‘dirección’ además de ‘posición’. Si tiene la noción de evaluar su mapa en un punto, junto con la noción de evaluarlo en algún lugar cercano en una dirección, puede tener una derivada direccional.

Eso es precisamente lo que es la derivada de Gâteaux.

[matemáticas] \ displaystyle Df (u, \ psi) = \ lim _ {\ tau \ rightarrow} \ frac {F (u + \ tau \ psi) – F (u)} {\ tau} = \ frac {d} { d \ tau} F (u + \ tau \ psi) | _ {\ tau = 0} [/ math]


Hay otra derivada que es aún más estricta si tiene una norma definida. La derivada de Fréchet es un operador lineal muy similar al gradiente.

Un operador es Fréchet diferenciable si existe un operador [matemático] A: V \ rightarrow W [/ matemático] tal que

[matemáticas] \ displaystyle \ lim _ {\ | \ psi \ | \ rightarrow 0} \ frac {\ | F (u + \ psi) – F (u) – A \ psi \ | _W} {\ | \ psi \ | _V} = 0 [/ math]

La diferenciabilidad de Fréchet es más fuerte, ya que implica la diferenciabilidad de Gâteaux.

[matemáticas] A = Df (u) [/ matemáticas]

Al igual que en los espacios dimensionales finitos, es posible que tenga una función donde existan todas las derivadas direccionales, pero no se mezclan bien y, por lo tanto, no tienen una derivada total.

Tenga en cuenta que estos son los tipos de derivados que se utilizan en el cálculo de variaciones. De hecho, el cálculo de variaciones puede verse como un caso especial de análisis funcional.


* En un espacio completo como un espacio de Fréchet, Banach o Hilbert, hay menos complicaciones. Cuanta más estructura tenga, más teoremas del cálculo aún se aplican. Por ejemplo, una vez que tiene un espacio de Banach, tiene los teoremas de función inversa e implícita.

Sí, siempre que los espacios de funciones relevantes sean espacios de Banach. Los derivados de Fréchet y Gateaux (direccionales) son los análogos relevantes. Lo que sobrevive en dimensiones infinitas es el concepto de aproximación lineal local.

Para más detalles, tendrá que recurrir a uno de los analistas funcionales residentes de Quora …

More Interesting

Cómo resolver (2 ^ 262,144) ^ 2 = 1000 ^ x

¿Cómo supero mi miedo a las matemáticas?

¿Cómo sería la gráfica de [matemáticas] x ^ x [/ matemáticas]?

¿Cuáles son algunos juegos de palabras basados ​​en inducción matemática?

¿Cómo puedo explicar la teoría de conjuntos a un adolescente con poco interés en las matemáticas?

¿Cómo se les ocurre a las personas las manipulaciones o sustituciones algebraicas correctas cuando intentan probar una desigualdad, calcular una integral, resolver una ecuación, etc.?

¿Por qué no hay más personas como Elon Musk que se destaquen en múltiples campos?

¿Cuál es el requisito previo para aprender toda la lógica matemática? Solo conozco la tabla de verdad y la teoría de conjuntos.

¿Qué se entiende por la declaración 'Colección contable de intervalos abiertos disjuntos' en la teoría de la medida o en el análisis real, en general, y puede ilustrar cómo un conjunto abierto puede expresarse como una colección contable de intervalos abiertos?

¿Qué conocimiento fundamental necesitas saber para el cálculo?

Si 'e' es igual a 2.7182818, ¿cómo se deriva?

¿[Math] \ pi (n) [/ math] divide [math] n [/ math] para infinitamente [math] n? [/ Math]

Necesito encontrar al menos dos permutaciones [matemática] \ pi \ en S_6 [/ matemática] para las cuales [matemática] \ pi ^ 3 = (12) (34) (56). [/ Matemática] ¿Qué es una explicación de lo apropiado? ¿procedimiento?

Cómo participar en la OMI

¿Cuáles son las fórmulas o conceptos históricos en la historia matemática?