[island in the darkness]

Hola amig@s:

Me gustaría plantear una pregunta cuya formulación es muy simple.

¿Qué es una "elemento diferencial" en Matemáticas? ¿Existe tal definición? ¿Cuál es?

Salu2,

island in the darkness.

[Luis Fuentes]

Hola

 De manera intuitiva un elemento diferencial representa o mide, como varía una función al variar una o varias variables de las que depende:

 Por ejemplo para una función de una variable un elemento diferencial es:

\(  \Delta f(x)=f(x+\Delta x)-f(x) \)

ó

\( df(x)=f(x+dx)-f(x) \)

 Cuando hacemos tender \( \Delta x \) a 0 nos acercamos al concepto de derivada.

 Por ejemplo cuando hablas de elemento diferencial de área de una superficie medimos el área del trozo de superficie que aparece al avanzar sobre dos direcciones. En el caso simple del plano:

\(  dA=dx\cdot dy \)

 En fin esto es sólo una idea intuitiva y general. En los casos particulares se darán definiciones más precisas.

Saludos.

[Luis Fuentes]

Hola

 Un añadido.

 El concepto matemáticamente riguroso más parecido a "elemento diferencial" y definido con la mayor generalidad posible es el estudio de las formas diferenciales.

 La idea es estudiar esas variaciones como funciones (multi) lineales entre el espacio de parámetros y los valores de la función. De manera mas precisa entre el tangente al espacio de parámetros y el tangente al espacio de valores de la función.

 Intutivamente los espacios tangente a una variedad reflejan el comportamiento infintesimal de la misma. O dicho de otra forma la linealizan localmente.

 Por ejemplo la aplicación diferencial de una función derivable de una variable es una aplicación lineal de R en R definifida como \( df_{a}(x)=f'(a)x \). Da una medida "local" de la variación de f en a: en puntos cercanos varía de forma lineal con pendiente f'(a).

 La teoría de formas diferenciales generaliza todo esto. Abstrae las propiedades usuales de la derivación y la integración, de manera que se puede llegar a trabajar con "elementos diferenciales" olvídandose completamente incluso del contexto geométrico y trabajando con ellas únicamente formalmente (hablando incluso de "derivada" sin pasar a límite alguno, como un operador que cumple determinadas propiedades). En cualquier caso introducidas así se perderiá mucha intuición y no aclararía cual es el concepto que las motiva.

 Algunas cosas de formas diferenciales pueden leerse aquí:

http://www.branchingnature.org/Formas_Diferenciales_Dario_Sanchez_2004_Matematica.pdf

http://www.ehu.es/~mtpalezp/mundo/ana2/formasdif.pdf

[island in the darkness]

En primer lugar, muchas gracias, el_manco, por tu pronta respuesta.

Sin embargo, el enfoque de mi pregunta era menos teórico y más práctico. Me explico. Seguro que con Matemáticas avanzadas de Geometría Diferencial y Álgebra Lineas se pueden definir estos conceptos y muchos otros también, pero la idea, que antes no expliqué, es poder explicárselo a un chaval que sí entiende el concepto de derivada y de recta tangente a una curva en un punto. Es decir, este chaval cuando está en la clase de mates le cuentan que la diferencial de una función se define matemáticamente como el producto entre la derivada de la función y el incremento de la variable independiente y lo entiende analíticamente y geométricamente. Por cierto, en esta definción no va impplícito lo grande o pequeño que pueden ser tanto la diferencial como el incremento. De hecho, pueden ser negativos o positivos, grandes o pequeños. Esto "contradice" la idea clásica de infinitesimal, infinitésimos, etc., que siempre denotan algo lo más pequeño posible.

No obstante, en la clase de física al mismo chaval le dicen que cuando tiene un cilindro hueco de radio R y altura H, para calcular el volumen, puede coger una rebanada de volumen (elemento diferencial de volumen) de radio también R y espesor diferencial dH e integrarlo entre h=0 y h=H para concluir que el volumen es V=PI·R^2·H, o sea área de la base (círculo) por la altura. Aquí el elemento diferencial sí lleva implícita la idea de lo más pequeño que queramos, puesto que es necesario para que al integrar (paso al límite) todo encaje y se reproduzca el volumen deseado.

La cuestión es cómo puede relacionar este chaval estos dos conceptos. ¿Son el mismo concepto o conceptos diferentes? ¿En qué se parecen y en qué se diferencian? ¿Por qué matemáticamente no importa el tamaño del elemento y físicamente sí? ¿Será que los elementos diferenciales sólo tienen sentido aplicados a magnitudes geométricas o físicas? He aquí la cuestión o cuestiones.



island in the darkness.

[Luis Fuentes]

Hola

Por cierto, en esta definción no va impplícito lo grande o pequeño que pueden ser tanto la diferencial como el incremento. De hecho, pueden ser negativos o positivos, grandes o pequeños. Esto "contradice" la idea clásica de infinitesimal, infinitésimos, etc., que siempre denotan algo lo más pequeño posible.

mmmm... OJO con esto. Efectivamente cuando definimos la aplicaición diferencial como un aplicación lineal, podemos evaluarla sobre números tran grandes como quieramos.

Sin embargo su motivación y su uso SI ESTA FUERTEMENTE relacionado con la idea clásica de inifinitesimos.

Como dije en mi anterior mensaje, la idea de diferencial es dar una aproximación local lineal de la función que tenemos. De manera que en puntos "cercanos" a donde calculamos la diferencial, la función inicial sea muy parecida a la aplicación diferencial. Geométricamente la curva es muy parecida a su recta tangente. Pero eso sólo funciona en puntos cercanos, a medida que nos alejamos aumenta el error.

Por tanto creo que ambas ideas si están claramente relacionadas y no se contradicen en absoluto.

Saludos.

[island in the darkness]

Estoy de acuerdo contigo, el_manco, pero lo que quiero decir es que si coges la definición matemática pura y dura a secas de la diferencial de una función, allí no hay ninguna indicación de lo pequeño o grande que debe ser el incremento. Es la interpretación geométrica (recta tangente a una curva en un punto, linealización, etc.) con la que tiene sentido que los incrementos sean lo más pequeños posibles (la tangente de la curva se confunde con la propia curva).

No obstante, no me negarás que el concepto de infinitésimo que tenía Newton, Euler o Leibniz ya sufrió cambios importantes con la introducción del límite en las definición de derivada de Cauchy. Y al hilo de esto, me gustaría poner la famosa frase de Euler que inlcuyó en su Introductio in Analysis Infinitorum (1748): "... si una cantidad no negativa fuera tan pequeña que resultara menor que cualquier otra dada, ciertamente no podría ser sino cero. A quienes preguntan qué es una cantidad infinitamente pequeña en Matemáticas, nosotros respondemos que es, de hecho, cero. Así pues, no hay tantos misterios ocultos en este concepto como se suele creer. Esos supuestos misterios han convertido el cálculo de los infinitamente pequeño en algo sospechoso para mucha gente. Las dudas que puedan quedar las resolveremos por completo en las páginas siguientes, donde explicaremos este cálculo...".

Y todo esto nos lleva inexorablemente a la siguiente cuestión. Hoy en día en Matemática se define la derivada de una función mediante el límite del cociente incremental:

\( y' = f'(x) = \mathop {lím}\limits_{\Delta x \to 0} \frac{{\Delta y}}{{\Delta x}} = \mathop {lím}\limits_{\Delta x \to 0} \frac{{f(x + \Delta x) - f(x)}}{{\Delta x}} \)

Por otro lado, según la definición de diferencial:

\( dy = f'(x)dx \)

Por tanto, según lo anterior:
\( f'(x) = \frac{{dy}}{{dx}} \)

Entonces, ¿podemos afirmar que la derivada es el límite de un cociente de incrementos a la vez que un cociente de diferenciales? ¿Por qué?

¿Qué le diríamos a un chaval que de lo anterior infiere lo siguiente?:

\(
\begin{array}{l}
 \frac{{dy}}{{dx}} = \mathop {lím}\limits_{\Delta x \to 0} \frac{{\Delta y}}{{\Delta x}} = \left( {{\rm{si}}\,\Delta x \ne 0\,{\rm{y}}\,{\rm{el}}\,{\rm{límite}}\,\exists } \right) = \frac{{\mathop {lím}\limits_{\Delta x \to 0} \Delta y}}{{\mathop {lím}\limits_{\Delta x \to 0} \Delta x}} \\
 {\rm{Entonces}}:\,\,\left\{ \begin{array}{l}
 dy = \mathop {lím}\limits_{\Delta x \to 0} \Delta y,\,\Delta x \ne 0\, \\
 dx = \mathop {lím}\limits_{\Delta x \to 0} \Delta x,\,\Delta x \ne 0\, \\
 \end{array} \right. \\
 \end{array}
 \)



island in the darkness.

[Luis Fuentes]

Hola

 Es que yo creo que lo que no se puede tener es todo.

 Por un lado queremos dar una idea intuitiva de diferencial que "hasta un chaval entienda", pero por otro lado pretendemos que esa idea intuitiva sea manejada por ese chaval rigurosamente.

 No, una idea intuitiva nos dará un manejo intuitivo, más rápido, pero con más posibilidad de equivocarse.

 Una idea rigurosa nos dará un manejo riguroso, más lento, pero más fiable.

 No es mejor una cosa que la otra; depende del caso. En situaciones normales, funcionarán las ideas intuitivas (como referencia el manejo de las diferenciales que se hace en física); en situaciones patológicas, críticas, usamos la rigurosidad (como referencia las formas diferenciales y el formalismo que conllevan).

 Con esto quiero decir que intuitivamente, todo lo que me has dicho que infiere el chaval, pues... no pasa nada... no está intuitivamente mal, aunque si rigurosamente mal.

 La "diferencial de x" es un incremento de x que se hace muy pequeño: SI.
 Esto puede "interpretarse" como un paso al límite: SI.

 Además a mi me da igual que la definición de diferencial no explicite si algo ha de ser grande o pequeño; para entenderla es bueno saber "a que viene".

 De hecho si nos ponemos rigurosos rigurosos. La definición de diferencial no es esta (aunque equivalga):

 df_x=f'(x)dx

 Sino una aplicación lineal de R en R que cumple:

\( \displaystyle\lim_{h \to 0}{h}\displaystyle\frac{f(x+h)-f(x)-df_x(h)}{h}=0 \)

 Lo bueno de esta definición es que se extiende de manera natural a funciones de \( R^n \) en \( R^m \).

 Pero una vez más siendo más papistas que el papa, tampoco esta es la definición más general de diferencial. Si uno quiere trabajar en cualquier tipo de variedad (curvas, superficies, etcétera no necesariamente lineales). Entonces la aplicación diferencial en un punto de una función entre dos variedades es una aplicación entre los espacios tangentes, que de manera intuitiva, nos dice como se transforma el vector tangente de una curva por ese punto, al vector tangente de la curva imagen.

 De nuevo ahí, insisto, está implícito la idea de algo infinitesimal: el tangente a una variedad en un punto, es una propiedad local: describe propiedades infinitesimales de esta en un punto.

 En resumen: si yo quisiese dar una idea intuitiva de elemento diferencial de una magnitud a un chaval, le diría que es una medida de la variación de esa magnitud al aumentar las variables respecto a las cuales está definida. La "gracia del asunto" es que sumando (integrando) esas variaciones infinitesimales (a mi si me apetece usar ese término, con todos los respetos para Euler) ó locales uno obtiene propiedades globales de la magnitud.

 Ahora si me pide rigurosidad, pues según el contexto, le "meto" alguna de las definiciones que di antes. Y en todo caso, que expresiones del tipo "dx" , "dy" ó "df" son NOTACIONES motivadas por la idea intuitiva que le dimos antes, pero en cualquier caso sólo notaciones. Explicándole después las "reglas" para manejarlas.

Saludos.

[island in the darkness]

Estoy de acuerdo contigo, el_manco, no se puede tener todo en esta vida. Créeme con este debate no he pretendido aburrir a nadie. Tú me has entendido y yo te he entendido. En cualquier caso, puede no ser lo habitual pero hay chavales que tienen inquietudes de esta índole, lo cual creo que es motivo de satisfacción para la comunidad científica, ya que quien no tiene inquietud no despierta deseo de aprender. La parte mala de la notación intuitiva es que al final se abusa de ella y a veces se pierde el horizonte (los chavales suelen ver las derivadas parciales como cocientes de diferenciales sin pararse a pensar exactamente que aunque algebraicamente puedan interpretarse así, formalmente no son eso), pero no cabe duda que la potencia de la notación bien vale la pena. Y sí, la mejor manera de explicar una derivada o un elemento diferencial es relacionarlo con la idea de cambio o variación infinitesimal (a mí también me parece el mejor término, aunque sólo sea por rendir honores a los clásicos, a quien yo adoro).

Finalmente y cerrando un poco el círculo (que no cuadrándolo), a mi entender y salvo que alguien demuestre lo contrario, no existe la definición de "elemento diferencial" así tal cual en Matemática, pero curiosamente estas dos palabrejas son la base del resultado de cualquier teoría física que podamos imaginar por no hablar de la propia ingeniería.

Para mí un placer, debatir contigo. Enriquecedor.



island in the darkness.

[island in the darkness]

Hola, el_manco:

Me gustaría, si te parece bien, profundizar más en el tema que inicié y plantear algunas cuestiones más para que déis vuestra opinión.

Siguiendo un poco el hilo, ahora sería interesante preguntar si tiene sentido hablar de "diferencial de orden superior", es decir "diferencial de un diferencial". Me estoy refiriendo a diferenciales de segundo orden, tercero, etc. y más concretamente, ¿existe la definición de diferencial n-ésimo en el mismo sentido que existe la derivada n-ésima?

Todas estas preguntas surgen de la definición de diferencial para una función real de variable real, es decir:

\(
\begin{array}{l}
 df(x) = f'(x)dx \\
 d^2 f(x) = d\left[ {df(x)} \right] = d\left[ {f'(x)dx} \right] = df'(x)dx + f'(x)d(dx) = f''(x)(dx)^2  + f'(x)d^2 x = f''(x)dx^2  + f'(x)d^2 x \\
 \end{array}
(*) \)

Y así sucesivamente.

Ahora, quedándonos con orden 2 y atendiendo a la definición de derivada, sabemos que:

\(
f''(x) = \frac{d}{{dx}}\left( {\frac{{df(x)}}{{dx}}} \right) = \frac{{d^2 f(x)}}{{dx^2 }}
 \)

Por lo tanto, ¿qué ocurre con el segundo sumando de (*)? ¿Es \(
d^2 x
 \) despreciablemente pequeño frente a \(
(dx)^2
 \)? ¿Cómo se puede justificar este desprecio? ¿Hay algún error en todo lo anterior?



island in the darkness.

[Luis Fuentes]

Hola

 mmmm...de nuevo se juega un poco con fuego mezclando intuición, con formalismo, mezclando que sabemos como son las cosas, con como deberían de ser según esa intuición.

 La cosa es: ¿cual es la interpretación intuitiva que le estamos dando a este símbolo?

\(  d^2x  \) ó \( d^2f(x) \)

 Volvamos a los orígenes. La idea de una diferencial es un incremento:

\(  \Delta f(x)=f(x+\Delta x)-f(x) \)

 ó

\(  \Delta f(x)=\displaystyle\frac{f(x+\Delta x)-f(x)}{\Delta x}\Delta x \)

 Cuando ese incremento lo pasamos al límite, "el \( \Delta \) se transforma en d" y en ese cociente aparece la primera derivada.

 Un incremento de segundo orden sería:

\(  \Delta^2 f(x)=\Delta (\Delta f(x))=\Delta f(x+\Delta x)-\Delta f(x)=f(x+2\Delta x)-2f(x+\Delta x)+f(x) \)

 ó

\(  \Delta^2 f(x)=\displaystyle\frac{f(x+2\Delta x)-2f(x+\Delta x)+f(x)}{(\Delta x)^2}(\Delta x)^2 \)

Ahora si tomas el límite cuando \( \Delta x \) tiende a cero, verás que te aparece justo la segunda derivada. Es decir te queda:

\( d^2f(x)=f''(x)(dx)^2 \)

donde \( (dx)^2 \) puede escribirser como \( dx^2 \) (esto es una notación: \( dx^2\neq d(x^2)\neq d^2x \)).

Por otra parte, fíjate que la fórmula del incremento de orden 2 aplicado a la función f(x)=x, es cero. Eso equivale a que la segunda derivada de x es cero. Y a que en tu expresión (*) \( d^2x \) es cero.

Saludos.