INSTITUTO POLITCNICO NACIONAL CENTRO DE ESTUDIOS CIENTFICOS Y TECNOLGICOS JUAN DE DIOS BTIZ PAREDES ACADEMIA DE MATEMTICAS CLCULO DIFERENCIAL

E INTEGRAL FSICO-MATEMTICO GILBERTO GAMALIEL DAZ MONROY LA DIFERENCIAL El presente artculo tiene como propsito fundamental, la definicin e interpretacin precisa de la diferencial, cada uno de los detalles desarrollados en torno a ella sern la base para su distincin frente a la derivada, dado que es habitual tener cierta confusin entre estos dos elementos dentro del clculo infinitesimal. Asimismo contextualizaremos a este objeto matemtico con miras a sus aplicaciones dentro de la matemtica misma como en la fsica. Agradezco en sobremanera las observaciones y comentarios oportunos y bastante profundos del profesor Hermenegildo Barrera, los cuales me permitieron hacer ms rica la reflexin y por supuesto aterrizar mejor los conceptos e interpretaciones aqu presentados. 1. La Derivada La derivada es en principio un clculo estrictamente puntual, esto se concluye de su definicin, es decir, la derivada es un lmite, y por tanto nos referimos a ella en un punto especfico: Consideremos una funcin sea , la derivada de continua en el intervalo en se define como: , y diferenciable al menos en ,

O bien

Sin embargo podemos llevar las expresiones anteriores a algo ms general, es decir, que el punto sea cualquiera dentro de , en tal caso la derivada puede constituir una funcin. Y es este proceso, el cual realizamos habitualmente mencionndolo con la frase hallar la derivada de. Por lo anterior decimos que la derivada se convierte en un operador. Pasemos ahora a la interpretacin de la derivada, en este sentido hablemos del aspecto geomtrico, el cual errneamente se ha tomado como definicin de esta herramienta: La derivada de una funcin a nivel geomtrico se entiende como la pendiente de la recta tangente en un punto dentro del intervalo donde la funcin es diferenciable

Pero la interpretacin geomtrica no es la nica, aprendimos tambin en razones de cambio relacionadas que precisamente la derivada indica una taza de variacin de cierta cantidad respecto a otra(s). Como ejemplo, tenemos a la velocidad, que se entiende como la variacin de la distancia recorrida por unidad de tiempo por un mvil. Este breve resumen sobre la derivada dar lugar a la definicin de la diferencial, como veremos a continuacin.

2. La Diferencial Comenzamos definiendo un elemento esencial previo a nuestro objetivo. Definicin: La variacin de una cantidad, es todo cambio en su magnitud, el cual puede ser positivo o negativo. En el caso de una variable dependiente, la variacin queda descrita por la forma en como se define la relacin con la variable independiente. Ejemplos: Sea en este caso la variable se dice que vara linealmente respecto a . vara bajo una forma cuadrtica respecto a vara en forma exponencial donde el nmero

Por otro lado, si

Finalmente si definimos se conoce como la base natural.

decimos que

Las variaciones suelen denotarse con la letra griega delta , esto no es algo nuevo en realidad dado que fue la base en la definicin de la derivada, sin embargo quiero insistir en que stas poseen un signo y por ello es un error llamar incremento a las notaciones o . Diremos concretamente que son variaciones sobre las variables etc. Hemos llegado al punto en el cual tenemos todos los elementos necesarios para saltar de la derivada a la diferencial En el modelo de la derivada de la funcin en el punto :

El denominador como sabemos es la variacin de la variable independiente, pero vayamos ms all, este cambio en la variable a nivel geomtrico describe una recta; en el caso de la variable dependiente, la cantidad es determinada como la distancia entre las ordenadas de los puntos y , aunque el lugar geomtrico descrito por el movimiento del punto al punto no es una recta sino como hemos dicho, depende de cmo est definida la funcin, por tanto no necesariamente es una variacin lineal. Consideremos la figura 1, en la cual se puede observar que el punto al proyectarse hacia arriba genera dos puntos de interseccin: uno sobre la recta tangente y el otro sobre la curva ; hemos exagerado a con el fin de observar la diferencia entre y una nueva cantidad que llamaremos la cual es simplemente distancia que va de la ordenada del punto de tangencia en a la ordenada del punto sobre la recta tangente tambin; el nombre formal de es precisamente la diferencial de la variable , y se define de la siguiente manera:

Donde es la diferencial de la variable independiente, cuyo valor coincide con , y como mencionamos en el prrafo anterior (esta es la razn por la cual exageramos a en la figura). Es decir:

Siempre que la funcin sea convexa, pero en el caso de ser cncava, la desigualdad se invierte (ver la figura 2)

Pero podemos dar un significado ms profundo a ? Por supuesto! Sabemos de nuestro curso de Geometra Analtica que la ecuacin de la recta tangente en :

La ordenada del punto sobre la recta tangente es , entonces es la diferencia entre esta ordenada y , pero de la misma figura se puede ver que el recorrido entre estos dos puntos si constituye una variacin lineal, ya que todo el movimiento se realiza sobre la recta tangente! Y esto es algo bastante profundo porque podemos concluir lo siguiente: La diferencial de la variable es la variacin lineal sobre la recta tangente en el punto

Consideremos ahora el tringulo formado por los puntos A, B y C, sea el ngulo de inclinacin de la recta sobre el eje , los catetos son los nmeros y , bajo este precepto podemos decir que:

Pero de la interpretacin geomtrica , y es por esta razn que algunos autores se refieren a la derivada como un cociente de diferenciales y por tanto podramos incluso despejar a cualquiera de los nmeros o . Cuando es infinitamente pequeo, es posible tomar el cociente . Es decir: como un valor

aproximado de

Pero

Este resultado es la base de las aplicaciones de la diferencial ya que al ser una variacin lineal, puede utilizarse como una aproximacin a cualquier curva alrededor del punto de tangencia, y esto no es de sorprendernos debido a que es congruente con el hecho de que es infinitamente pequeo. Lo anterior se resume en que la diferencial puede concebirse como una aproximacin lineal. Por otro lado, al igual que la derivada podemos extender el concepto de clculo puntual explcito a la obtencin de una expresin diferencial, es decir, tomar al punto ya no como un valor explicito sino como cualquier punto dentro del intervalo de diferenciacin de la funcin, entonces en lugar de obtener un valor numrico explcito, lo que tendremos es una expresin para calcular la diferencial sobre cualquier punto de la curva donde exista la derivada. Por tanto hablamos tambin de la diferencial como un operador y no slo como un nmero, y es precisamente esta concepcin lo que fundamentar el desarrollo del clculo integral, ya que nos abre la puerta a identificar una operacin inversa a la derivada: la integral.

Finalmente quiero hacer un comentario bastante pertinente sobre la concepcin de la diferencial en la fsica; en matemticas todo lo desarrollado ha sido con una tendencia al anlisis de funciones, las cuales a su vez se han asociado a ciertas aplicaciones para tener una descripcin de algn proceso o fenmeno, por ejemplo la cinemtica, en la cual hemos aprendido que la posicin como funcin del tiempo al ser diferenciada una vez nos devuelve un modelo que describe el comportamiento de la velocidad en un tiempo especfico; si ahora la funcin vuelve a derivarse, lo que obtenemos es la expresin de la aceleracin. Sin embargo, la fsica es ms que cinemtica, por ello quiero destacar a algunas de las propiedades intrnsecas de la materia, las cuales son en general la esencia de ramas como la dinmica, teora electromagntica, etc. Sir Isaac Newton nos hered la Ley de la Gravitacin Universal, la cual nos revela la interaccin entre dos masas que se encuentran separadas por cierta distancia, esa interaccin denominada Fuerza Gravitacional se analiza considerando (en ciertos casos ideales) a las masas como partculas (objetos puntuales), y la literatura comnmente indica para esos casos ideales que la fuerza se ejerce de centro a centro, pero en general lo que ocurre es que cada porcin de masa de un cuerpo ejerce una fuerza sobre una porcin de masa ubicada en el otro cuerpo. Y entonces nos preguntamos lo siguiente de que tamao son esas porciones interactuantes? Para no perder de vista nuestro objetivo, diremos que stas porciones pueden tomarse tan pequeas como se desee, pero sin llegar al nivel atmico, por tanto es razonable decir que son infinitamente pequeas comparadas con la masa del cuerpo total, y esto nuevamente es digno de resaltar porque la frase infinitamente pequeas tiene que traernos instantneamente a la cabeza el concepto de la diferencial, es decir, decimos que las porciones son elementos diferenciales de masa! y aunque en principio no se visualice a la masa como una funcin, en realidad puede serlo, digamos por ejemplo tener una dependencia de las coordenadas espaciales, o incluso del tiempo, que son los llamados sistemas de masa variable. En la teora electro-magntica tenemos un caso completamente anlogo: una carga elctrica genera un campo de la misma naturaleza, al igual que en gravitacin, los anlisis ms simples son sobre cargas puntuales, sin embargo, para cuerpos cuyas dimensiones no son despreciables y que adems se encuentren cargados, el clculo del campo elctrico requiere de determinar primeramente el campo elctrico generado por una porcin de carga y entonces sumar todas las contribuciones; a la porcin de carga le llamamos entonces un elemento diferencial de carga el cual puede ser funcin tambin de las coordenadas espaciales ya sea en forma lineal, superficial o volumtrica; as pues la diferencial se presenta como un elemento matemtico con un toque de fsica! Un ltimo mencionamos es la temperatura, la cual puede aparecer tambin como una funcin de coordenadas espaciales en cierta regin, la descripcin de las variaciones que puede tener en dicho espacio depende sin embargo de una operacin ligeramente ms compleja: el gradiente, dicho operador se basa en clculo multivariable, pero por ahora podemos darnos por satisfechos A bien tt! REVISIN TCNICA: FSICO-MATEMTICO HERMENEGILDO BARRERA HERNNDEZ. FSICO-MATEMTICO IGNACIO LINAREZ GARCIA ING. JOS ANTONIO CORTS PREZ.