En cálculo multivariable, una misma función puede parecer distinta según el orden en que la derivas. El teorema de Schwarz aclara cuándo las derivadas parciales mixtas coinciden y por qué la continuidad de las segundas derivadas no es un detalle menor. En este artículo explico la idea con ejemplos, las condiciones que sí conviene verificar y cómo usarla bien en ejercicios de examen.
Lo esencial para orientarte en pocos segundos
- Si una función es C² en un entorno, las derivadas cruzadas de segundo orden coinciden.
- La igualdad f_xy = f_yx implica que la Hessiana sea simétrica.
- No basta con que las derivadas existan en un punto; la continuidad alrededor del punto es la parte decisiva.
- En polinomios y funciones suaves, puedes elegir el orden de derivación que más te convenga.
- En funciones a trozos, con singularidades o con un punto de empalme, hay que revisar hipótesis antes de intercambiar el orden.
Qué dice el teorema de Schwarz
La idea es simple: si una función de dos variables tiene derivadas parciales de segundo orden continuas en un entorno de un punto, entonces el orden de derivación no altera el resultado. Dicho de forma compacta, f_xy(a,b) = f_yx(a,b). También se suele presentar como teorema de Clairaut o como igualdad de derivadas cruzadas.
Yo suelo explicarlo así: no se trata de un truco algebraico, sino de una propiedad de regularidad. Si la función pertenece a la clase C² en un entorno, las derivadas mixtas “conmutan”. Esa conmutatividad es la que luego simplifica muchas cuentas en cálculo y en física matemática.
La consecuencia práctica aparece enseguida: cuando sabes que estás en ese escenario, puedes elegir el orden de derivación que te resulte más cómodo sin miedo a cambiar el valor final. Y precisamente por eso merece la pena comprobar bien las hipótesis antes de lanzarte a derivar.
Cuándo se puede aplicar sin errores
La parte delicada no es la fórmula, sino la hipótesis. No basta con que las derivadas existan en el punto; lo que se pide, en la práctica, es que existan y sean continuas en un entorno abierto alrededor del punto. Ese matiz es el que separa un ejercicio rutinario de uno donde el teorema no te autoriza a saltarte pasos.
| Situación | Lo normal | Qué reviso yo |
|---|---|---|
| Polinomio o suma de polinomios | Las derivadas mixtas coinciden | Derivo con el orden que me simplifique la cuenta |
| Función racional sin denominador cero cerca del punto | Suele poder aplicarse | Compruebo que no hay singularidad en el entorno |
| Función definida a trozos | Puede fallar en el punto de unión | Analizo continuidad y derivabilidad alrededor de ese punto |
| Derivadas de segundo orden discontinuas | No hay garantía | No intercambio el orden sin justificarlo |
En resumen, yo haría tres comprobaciones rápidas: 1) la función está bien definida en el entorno, 2) las segundas derivadas existen ahí, y 3) esas segundas derivadas son continuas. Si una de las tres piezas falla, el teorema deja de ser un atajo fiable.
Con ese filtro ya claro, toca ver cómo se reconoce el resultado en un ejercicio real y cómo se usa para ahorrar tiempo sin perder rigor.
Cómo reconocerlo en ejercicios de cálculo
Un ejemplo limpio ayuda más que diez definiciones. Toma f(x,y)=x²y³+4xy, que es un polinomio y, por tanto, tiene todas sus derivadas parciales continuas. Si yo calculo primero respecto de x y luego respecto de y, obtengo:
f_x = 2xy³ + 4y
f_xy = 6xy² + 4
Si cambio el orden:
f_y = 3x²y² + 4x
f_yx = 6xy² + 4
La igualdad salta a la vista. Lo interesante aquí no es solo el resultado, sino la estrategia: cuando una de las dos rutas da una expresión más corta, yo la elijo sin problema, porque la regularidad de la función me protege. En cambio, si ves una expresión con denominadores delicados, valor absoluto o definición por tramos, conviene frenar y revisar las hipótesis antes de asumir nada.
- Primero identifico la zona donde la función puede perder suavidad.
- Después miro si las segundas derivadas siguen siendo continuas en torno al punto.
- Solo entonces decido qué orden me ahorra trabajo.
Ese hábito es especialmente útil en exámenes, porque evita dos errores opuestos: perder tiempo derivando por una vía larga cuando había un atajo válido, o dar por buena una igualdad que no está justificada. Y esa segunda parte conecta directamente con la Hessiana, donde la simetría ya no es un detalle menor.
Qué cambia en la Hessiana y en funciones de varias variables
Cuando el resultado se cumple, la Hessiana gana una propiedad muy útil: es simétrica. En dos variables, la matriz queda formada por f_xx, f_xy, f_yx y f_yy, y la igualdad f_xy=f_yx hace que los elementos fuera de la diagonal coincidan. Esa simetría simplifica tanto el trabajo manual como la interpretación del comportamiento local de la función.
| Elemento | Qué describe | Por qué importa |
|---|---|---|
| f_xx y f_yy | Curvatura en cada dirección | Ayudan a distinguir máximos, mínimos y puntos de silla |
| f_xy y f_yx | Cómo se mezcla una variable con la otra | Si coinciden, la Hessiana es simétrica |
| Hf | Resumen de todas las segundas derivadas | Es la base del test de la segunda derivada y de la aproximación de Taylor |
En más de dos variables pasa lo mismo: cualquier par de derivadas cruzadas de segundo orden coincide si la función es suficientemente regular. Yo lo considero una de esas propiedades que parecen puramente teóricas, pero que en realidad hacen el cálculo más limpio y menos propenso a errores cuando estudias varias variables a la vez.
La pregunta siguiente es obvia: ¿qué suele salir mal cuando esta simetría no aparece o cuando el ejercicio está mal planteado?
Los fallos más comunes al usar derivadas mixtas
El error más frecuente es confundir existencia con continuidad. Dos derivadas mixtas pueden existir en un punto y, aun así, el teorema no aplicarse porque faltan las hipótesis en un entorno. Ese matiz no es académico de más; es justo lo que decide si puedes intercambiar el orden sin justificarlo o no.
- Revisar solo el punto y olvidar el entorno.
- Dar por bueno el resultado en funciones a trozos sin comprobar el punto de unión.
- Asumir que una singularidad aislada no cambia nada.
- Confundir la notación y derivar en el orden contrario al que se cree.
- Pensar que “si existen, entonces son iguales”, que es falso sin regularidad suficiente.
Un contraejemplo clásico es una función de Peano construida con una fracción del tipo xy(x²−y²)/(x²+y²) fuera del origen y definida como 0 en el punto singular: ahí las derivadas cruzadas en (0,0) pueden salir distintas, precisamente porque la continuidad falla. Ese tipo de ejemplo no aparece para complicarte la vida, sino para recordarte que la hipótesis de suavidad es la que sostiene toda la regla.
Cuando yo corrijo o resuelvo ejercicios, la idea que más me interesa fijar es esta: no basta con derivar, hay que saber por qué se puede derivar así. Ese criterio evita la mayoría de los tropiezos en cálculo multivariable.
Antes de entregar un ejercicio de derivadas mixtas
- Si la función es suave, usa el orden de derivación que simplifique la cuenta.
- Si hay un punto singular o una definición especial, trátalo aparte.
- Si vas a escribir la Hessiana, comprueba si las derivadas cruzadas coinciden.
- Si no puedes justificar continuidad, no des por hecho la simetría.
Mi consejo práctico es sencillo: en examen, una justificación corta pero correcta vale más que una cadena de derivadas sin contexto. Cuando la función es C² en un entorno, el orden de las derivadas mixtas deja de importar; cuando no lo es, primero diagnostica la regularidad y luego decide el camino más cómodo.
