25 votos

¿Por qué necesitamos tensores en la física moderna?

Me pregunto por qué realmente necesitamos el concepto de tensor. Creo que es como los vectores, simplemente una notación de un conjunto de parámetros relacionados. Podría escribir las ecuaciones de Navier-Stokes con escalares, o vectores, o tensores. Si este es el caso, luchamos por aprender las reglas de álgebra y cálculo de tensores solo para simplificar la notación de una ecuación compleja.

Mi pregunta es:

¿Existen algunos ejemplos para mostrar el poder de los tensores en lugar de simplemente simplificar la notación?

Sé que cuando uso tensores de rango 3 o superior, a menudo es difícil usar una matriz (equivalente a un tensor de rango 2). Los tensores realmente hacen la vida más fácil en este tipo de situaciones.

Aquí hay una cita del prefacio de "Análisis tensorial y mecánica de continuum" de Wilhelm Flügge:

Muchos de los libros recientes sobre mecánica de continua están "tensorizados" solo en la medida en que utilizan la notación tensorial cartesiana como una forma conveniente de escribir ecuaciones. Este es un uso bastante inofensivo de los tensores. El tensor general, no cartesiano, es una herramienta de pensamiento mucho más aguda y, como otras herramientas afiladas, puede ser muy beneficiosa y muy peligrosa, según cómo se utilice. Se puede esconder mucho sinsentido detrás de una nube de símbolos tensoriales y se puede arrojar mucha luz sobre un tema difícil. Cuanto más a fondo aprenda la nueva generación de ingenieros a entender y a utilizar los tensores, más útiles serán.

15voto

Febry Ghaisani Puntos 36

Supongo que otros darán respuestas más largas, pero un punto obvio es que la notación tensorial facilita la formación y detección de invariantes escalares (es decir, cantidades que son independientes de las rotaciones del sistema de coordenadas).

Más generalmente, si un fenómeno tiene ciertas simetrías con respecto a cambios de coordenadas, como las rotaciones, entonces debe ser posible expresarlo en ecuaciones donde cada término sea un tensor (de algún rango apropiado). Esta observación a veces facilita deducir la expresión adecuada. Se investiga el fenómeno en una elección de coordenadas donde resulta de forma simple, o al menos de una forma que sepa cómo calcular, y se expresa su forma en ese marco de coordenadas, pero usando tensores elegidos adecuadamente. Se tiene inmediatamente una expresión que en principio puede ser válida en todos los marcos. Solo hace falta comprobar que no haya términos adicionales que resulten ser cero en el primer marco.

12voto

Norman Woodcock Puntos 46

Aquí hay una respuesta desde la perspectiva de un matemático:

Los tensores son necesarios para la geometría diferencial. La geometría diferencial es, por necesidad, el lenguaje de la física.

Explicaré esto al revés. Los físicos necesitan estudiar el espacio, que se descubrió que está curvado, desde dentro de ese espacio.

La geometría diferencial es el estudio de estructuras específicas en objetos específicos.

Los objetos en cuestión son "variedades", objetos tipo espacio que "parecen" espacio plano si te acercas lo suficiente. Nuestro mundo se comporta así, porque el límite clásico funciona. Las estructuras en ellos se llaman "métricas" y codifican información que permite construir algo "similar" a la geometría estándar, definiendo longitudes de curvas en la variedad, ángulos entre vectores tangentes a la variedad, y así sucesivamente. Queremos tener ángulos y longitudes para hacer física, así que estas estructuras también son necesarias.

Críticamente, los matemáticos eligen describir estos objetos de una manera intrínseca, utilizando solo objetos definidos en términos de puntos de la variedad, y no apelando a que la variedad esté "dentro" de algún espacio más grande (esto se llama una superficie embebida, e interesante existen muchas variedades que no pueden ser embebidas en ninguna superficie, por eso los matemáticos eligieron estudiar las variedades intrínsecamente). Esto es muy útil para la física, ya que no podemos observar la estructura del espacio desde afuera.

Para explicar los tensores en la geometría diferencial, uno debe entender los espacios vectoriales duales: un vector dual es una función que toma un vector, y produce un escalar. Un tensor $(r, k)$ es entonces una función de múltiples variables, tomando $r$ vectores normales y $k$ vectores duales y produciendo un escalar.

Por qué esto es útil: para describir la curvatura de una variedad intrínsecamente, sin apelar a círculos tangentes al espacio y otras cosas que uno podría hacer en cálculo 3, los matemáticos utilizan un objeto llamado un tensor de curvatura. Toma dos vectores tangentes (nuevamente definidos de manera intrínseca; es realmente contraintuitivo y no es necesario aquí) a la variedad, y produce un número que corresponde a cuán apretada está doblada la variedad.

Otro ejemplo es el tensor métrico con el que uno está familiarizado en la relatividad general. En las variedades pseudo-riemannianas de 4 dimensiones estudiadas en la RG, esto es la métrica de Minkowski representada como $$\eta = \begin{pmatrix}-1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0\\ 0 & 0 & 0 & 1 \\ \end{pmatrix}$$

Algo importante a tener en cuenta es que la matriz que representa un tensor y el tensor en sí son objetos distintos. Esta confusión se debe a que los científicos naturales no enseñan espacios vectoriales finitos adecuadamente a sus estudiantes de pregrado, pero me estoy desviando. Una matriz es una forma de almacenar información sobre un mapa lineal o tensor, no es el tensor en sí mismo ni en la noción de física (que es compatible con la que estoy mencionando aquí, pero es complicada y requiere apelar a cambiar el llamado atlas de la variedad para tener diferentes funciones de coordenadas) ni en la matemática. Por ejemplo, la métrica de Minkowski mide longitud. Así que no actúa como un mapa lineal, que produce un vector y es lo que probablemente estés acostumbrado a ver representar las matrices. La métrica en realidad actúa como $$\eta(v,w)=v^T\eta w=\begin{pmatrix} v_1 & v_2 & v_3 &v_4 \end{pmatrix} \begin{pmatrix}-1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0\\ 0 & 0 & 0 & 1 \\ \end{pmatrix} \begin{pmatrix} w_1 \\ w_2 \\ w_3 \\ w_4\end{matrix}$$ Entonces, el mapa lineal representado por $\eta_{ij}$ y el tensor representado por $\eta_{ij}$ son dos objetos extremadamente distintos. Uno es un mapa lineal entre dos espacios vectoriales de cuatro dimensiones; el otro es un mapa a partir de pares de elementos de un espacio vectorial de cuatro dimensiones al campo de escalares.

Interesantemente, vi un trabajo de Moon y otra persona definiendo algo llamado "holores"; estaban interesados en estudiar las propiedades de estos arreglos multidimensionales que usamos para almacenar información por sus propios méritos. Por lo que pude entender, no había una cantidad tremenda de trabajo novedoso, pero la exposición era muy buena. Recuerdo que me dio una impresión un tanto excéntrica en algún lugar, pero es muy difícil ser excéntrico en matemáticas, así que aún así sugiero el libro.

EDICIÓN: Como ejemplo general de lo fácil que hace esto la física, actualmente estoy en una clase de QFT matemática de un solo semestre con geometría diferencial como requisito previo. La clase está enseñando a varias personas que pueden recordar fragmentos de la física general de primer año desaparecida hace 8 años, nada más. Sin embargo, el profesor pretende explicar toda la mecánica clásica, toda la mecánica cuántica tradicional, la teoría de calibre, y el formalismo de Batalin-Vilkovsky de la teoría cuántica de campos reuniéndose 3 horas a la semana durante un semestre. Al tratar todo de esta manera muy familiar (para los estudiantes graduados de matemáticas), incluso la mecánica clásica, obtener una comprensión técnicamente respetable de las teorías físicas es muy rápido y fácil.

6voto

Jim Geurts Puntos 220

Los tensores son vectores de dimensiones superiores. Aquí no es la dimensión del ambiente la que es mayor, sino la dimensión de la flecha en sí misma.

Esto significa que un 2-vector tiene dos formas de sumar, mientras que un 5-vector tiene 5 formas de sumar y así sucesivamente.

Son útiles en la mecánica de continumm, la mecánica cuántica y la relatividad general. En esta última, lo que se llaman tensores son en realidad campos tensores.

Incluso en la mecánica clásica necesitamos tensores. Por ejemplo, el momento angular generalmente se expresa mediante el producto cruz de la posición y el momento y es un vector axial. Resulta que esto sólo funciona en 3D, en dimensiones superiores no hay producto cruz (excepto en 7D) y es reemplazado por un tensor anti-simétrico 2D. Esto muestra que los tensores describen naturalmente este concepto en lugar de los vectores axiales. De hecho, en cualquier lugar donde se use un producto cruzado debería ser reemplazado por dicho tensor.

2voto

Ford Galaxie Puntos 1

Para muchas aplicaciones, el uso de la notación tensorial o la notación no tensorial es simplemente una cuestión de conveniencia o preferencia personal. Por ejemplo, si eres un ingeniero calculando algo sobre el movimiento de un automóvil que va rápido alrededor de una curva, puede ser útil trabajar con un tensor de momento de inercia en el espacio cartesiano tridimensional, y escribirlo en expresiones usando notaciones como la convención de suma de Einstein. Pero todo esto es opcional.

Donde se vuelve obligatorio es en la relatividad general. La RG nos dice que el tiempo y el espacio simplemente no funcionan de la forma en que pensamos que lo hacen, y en particular nos dice que ni siquiera existe tal cosa como un marco de referencia global o un conjunto global de coordenadas espacio-temporales que sea única y adecuadamente adecuado para un observador en particular en un estado de movimiento específico.

Además, la RG nos dice que el transporte paralelo de vectores no está bien definido a menos que especifiquemos la trayectoria a lo largo de la cual se transporta el vector. Como ejemplo concreto, el satélite Gravity Probe B transportó un giroscopio a lo largo de cierta trayectoria a través del espacio tiempo, y midió cuánto se había tambaleado el eje de ese giroscopio al final de ese proceso, en relación con un eje de giroscopio como el definido por el eje de rotación de la tierra (lo que equivale a un tambaleo en relación con las "estrellas fijas").

Así que en el contexto donde los efectos de la RG son significativos, podrías decirme acerca de alguna cantidad que has definido que está notada como un "vector", pero si en realidad no es un vector en el sentido de ser un tensor de rango 1, entonces no me has dicho realmente cómo estás definiendo esto. Específicamente, supongamos que apuntamos este "vector" hacia Arcturus, lo sellamos en una caja, y lo transportamos a lo largo de alguna trayectoria a través del espacio-tiempo, luego abrimos la caja nuevamente al final. Queremos saber si seguirá apuntando hacia Arcturus o no, y si no es así, en qué dirección. Si no puedes garantizarme que es un tensor de rango 1, entonces no conocemos la respuesta a esta pregunta, y yo sostendría que en realidad no has definido qué es esta cosa en absoluto.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X