Teorema de Clairaut

Teorema de Clairaut

En matemáticas y más concretamente en cálculo diferencial el teorema de Clairaut, también conocido como teorema de Schwartz o teorema de la igualdad de las derivadas cruzadas es una condición suficiente de la igualdad de las derivadas parciales cruzadas de una función de varias variables. El teorema establece que si las derivadas parciales cruzadas existen y son continuas entonces son iguales.

Contenido

Enunciado

Caso general

Sea :f \colon A \subseteq \Bbb{R}^n \to \Bbb{R} \,, A un abierto, tal que existen las segundas derivadas cruzadas y son continuas en A.

Entonces para cualquier punto (a_1, a_2, \dots, a_n) \in A, se cumple que:

\frac{\partial^2 f}{\partial x_i\, \partial x_j}(a_1, \dots, a_n) = \frac{\partial^2 f}{\partial x_j\, \partial x_i}(a_1, \dots, a_n).

Enunciado del teorema en dos variables

Sea

f : \Omega  \subseteq \mathbb{R}^{2} \longrightarrow \mathbb{R}

una función de dos variables, definida en un abierto Ω del plano \mathbb{R}^{2}. si existen las segundas derivadas cruzadas y son continuas en Ω (f\in \mathcal{C}^2(\Omega)) estas son iguales, es decir:

\frac{\partial^2 f}{\partial x \partial y} \equiv \frac{\partial^2 f}{\partial y \partial x} 
.

Demostración

Sea

 p = (x_0, y_0) \in \Omega \, .

Y sean  \varepsilon \, ,  \delta > 0 \, reales tales que  (x_0 - \varepsilon, x_0 + \varepsilon) \times (y_0 - \delta, y_0 + \delta) \subset \Omega \, . Lo cual es posible, ya que  \Omega \, es un abierto de  \mathbb{R}^2 \, .

Se definen dos funciones  F \, y  G \,

 F : (-\varepsilon, \varepsilon) \subset \mathbb{R} \longrightarrow \mathbb{R} \, ,
 G : (-\delta, \delta) \subset \mathbb{R} \longrightarrow \mathbb{R} \, ,

de modo que:

 F(t) = f(x_0 + t, y_0 + s) - f(x_0 + t, y_0) \qquad \forall s \in (-\delta, \delta) \, ,
 G(s) = f(x_0 + t, y_0 + s) - f(x_0, y_0 + s) \qquad \forall t \in (-\varepsilon, \varepsilon) \, .


Aplicando dos veces el teorema de Lagrange:

 F(t) - F(0) = (t - 0) F'(\xi_1) = t \left[ \frac{\partial f}{\partial x} (x_0 + \xi_1, y_0 + s) - \frac{\partial f}{\partial x} (x_0 + \xi_1, y_0) \right] =
 = t s \frac{{\partial}^2 f}{\partial y \partial x} (x_0 + \xi_1, y_0 + \sigma_1) \, ,

y análogamente:

 G(s) - G(0) = s t \frac{{\partial}^2 f}{\partial x \partial y} (x_0 + \xi_2, y_0 + \sigma_2) \, ,

con  \xi_i \in (0, t) \, ,  \sigma_i \in (0, s) \, , por comodidad de escritura pero sin perder generalidad, se suponen  t, s > 0 \, .

Luego haciendo tender  t \, y  s \, a  0 \, se logra la tesis.


Wikimedia foundation. 2010.

Игры ⚽ Поможем написать реферат

Mira otros diccionarios:

  • Alexis Claude Clairault — Alexis Clairault Alexis Claude Clairault (también conocido como Clairault, a secas) (* 3 de mayo de 1713 † 17 de mayo de 1765) fue un matemático francés. Nacido en París, donde su padre era profesor de matemáticas, fue considerado un niño… …   Wikipedia Español

  • George Gabriel Stokes — George Stokes Sir George Gabriel Stokes, basado en foto de Fradelle y Young. Nacimiento 13 de agosto de 1819 Skreen, Condado de Sligo, Irlanda …   Wikipedia Español

  • Derivada parcial — Saltar a navegación, búsqueda En matemática, una derivada parcial de una función de diversas variables es su derivada respecto a una de esas variables manteniendo las otras, constantes. Las derivadas parciales son útiles en cálculo vectorial y… …   Wikipedia Español

  • Matriz hessiana — En Matemática, la matriz hessiana de una función f de n variables, es la matriz cuadrada de n × n, de las segundas derivadas parciales. Contenido 1 Definición 2 Aplicación de la matriz hessiana 2.1 Concavidad/Convexidad …   Wikipedia Español

  • Operador diferencial — En matemáticas, un operador diferencial es un operador lineal definido como una función del operador de diferenciación. Ayuda, como una cuestión de notación, considerar a la diferenciación como una operación abstracta, que acepta una función y… …   Wikipedia Español

  • Ecuación diferencial ordinaria — Saltar a navegación, búsqueda En matemáticas, una ecuación diferencial ordinaria (comúnmente abreviada EDO ) es una relación que contiene funciones de una sola variable independiente, y una o más de sus derivadas con respecto a esa variable. Las… …   Wikipedia Español

  • Historia de la geometría — La geometría es una de las más antiguas ciencias. Inicialmente, constituía un cuerpo de conocimientos prácticos en relación con las longitudes, áreas y volúmenes. En el Antiguo Egipto estaba muy desarrollada, según los textos de Heródoto,… …   Wikipedia Español

  • Aleksandr Liapunov — Aleksandr Mijáilovich Liapunov (en ruso: Александр Михайлович Ляпунов; 6 de junio (25 de mayo en el calendario juliano) de 1857 – 3 de noviembre de 1918) fue un matemático y físico ruso. Su nombre a menudo se ve transliterado como Lyapunov,… …   Wikipedia Español

  • Geodesia — Modelo digital del terreno del Cantón del Valais. El término Geodesia, del griego γη ( tierra ) y δαιζω ( dividir ) fue usado inicialmente por Aristóteles (384 322 a. C.) y puede significar, tanto divisiones geográficas de la tierra ,… …   Wikipedia Español

  • Quinto postulado de Euclides — Saltar a navegación, búsqueda El quinto postulado de Euclides dice, literalmente: Postúlese... Y que si una recta al incidir sobre dos rectas hace los ángulos internos del mismo lado menores que dos rectos, las dos rectas prolongadas… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”