29.12.2014 Views

1. Concepto intrínseco de tensor 2. Ejemplos importantes de ...

1. Concepto intrínseco de tensor 2. Ejemplos importantes de ...

1. Concepto intrínseco de tensor 2. Ejemplos importantes de ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Teoría <strong>de</strong> Campos- Capítulo 1 -<br />

Sección <strong>1.</strong>2 - Álgebra <strong>tensor</strong>ial<br />

intrínseca<br />

<strong>1.</strong>2 ÁLGEBRA TENSORIAL INTRÍNSECA<br />

<strong>1.</strong> <strong>Concepto</strong> <strong>intrínseco</strong> <strong>de</strong> <strong>tensor</strong><br />

Los <strong>tensor</strong>es son tipos especiales <strong>de</strong> aplicaciones lineales <strong>de</strong>finidas en (espacio<br />

inicial), que tienen interés en Física (<strong>de</strong> los medios continuos). Su naturaleza<br />

como apl. lin. viene <strong>de</strong>terminada por el espacio final, que les confiere el llamado<br />

or<strong>de</strong>n <strong>tensor</strong>ial, que les clasifica por categorías como se verá.<br />

<strong>2.</strong> <strong>Ejemplos</strong> <strong>importantes</strong> <strong>de</strong> <strong>tensor</strong>es <strong>de</strong>scritos<br />

intrínsecamente. Producto <strong>tensor</strong>ial <strong>de</strong> vectores<br />

3. Operaciones <strong>de</strong> e.v. entre <strong>tensor</strong>es: los espacios<br />

<strong>tensor</strong>iales<br />

4. Contracción “· “ o producto contraído <strong>de</strong> <strong>tensor</strong>es<br />

5. Producto <strong>tensor</strong>ial “” <strong>de</strong> <strong>tensor</strong>es<br />

Cuadro-resumen §<strong>1.</strong>2<br />

<strong>1.</strong>2 a) <strong>Concepto</strong> <strong>intrínseco</strong> <strong>de</strong> <strong>tensor</strong><br />

<strong>1.</strong> <strong>tensor</strong>es <strong>de</strong> or<strong>de</strong>n 0: son las apl. lineales más simples: las func. f : , <strong>de</strong> la forma f(x) = x. Se<br />

pue<strong>de</strong> i<strong>de</strong>ntificar f con el escalar = f(1), que <strong>de</strong>termina f.<br />

Así se <strong>de</strong>fine : (0) : (;) <br />

Ejemplo: la dilatación térmica lineal <strong>de</strong> un hilo es proporcional al incremento <strong>de</strong> temperatura y a la<br />

longitud inicial, por un coeficiente <strong>de</strong> dilatación: L LT LT αL<br />

0 T<br />

T<br />

0<br />

<strong>2.</strong> <strong>tensor</strong>es <strong>de</strong> or<strong>de</strong>n 1: son las apl. lin. <strong>de</strong> la forma f : .<br />

Así se <strong>de</strong>fine : (1) : (;) = (; (0) ) * 2ó3 (obs: (1) := (; (0) ) )<br />

<strong>Ejemplos</strong>: 1) El incremento <strong>de</strong> cota z <strong>de</strong>s<strong>de</strong> un pto. P <strong>de</strong> una la<strong>de</strong>ra, z = h(x,y), cuando te <strong>de</strong>splazas una<br />

magnitud r = x i + y j es aprox. el prod. esc. <strong>de</strong>l gradiente <strong>de</strong> la la<strong>de</strong>ra, h(P), por el vec.<br />

<strong>de</strong>splazamiento <strong>de</strong>s<strong>de</strong> el punto, r ; o sea: z h(P)·r. La forma lineal h(P)· es un <strong>tensor</strong> <strong>de</strong><br />

primer or<strong>de</strong>n.<br />

2) Asociando un vector cualquiera a con el producto escalar "·" en la forma a· se obtiene un <strong>tensor</strong> <strong>de</strong><br />

or<strong>de</strong>n 1 siempre que <strong>de</strong>finamos (a·)(x) := a·x, que es una acción lineal sobre los x y produce escalares,<br />

luego: a· : → / x → a·x es un <strong>tensor</strong> <strong>de</strong> or<strong>de</strong>n 1, o sea a· (1) y se llama mónada asociada al<br />

vector a (o covector asociado). El ejemplo anterior es un caso particular <strong>de</strong> éste.<br />

Todos los <strong>tensor</strong>es <strong>de</strong> primer or<strong>de</strong>n son en realidad mónadas (o co-vectores) <strong>de</strong>l tipo a· (pues la<br />

asociación a → a· es el isomorfismo canónico entre y * = (1) )<br />

Ejemplo: La proyección (escalar) sobre una dirección dada por su versor e es la mónada e· , ya que e·x<br />

es el valor escalar <strong>de</strong> la proyección <strong>de</strong> x sobre ({e}).<br />

1


Teoría <strong>de</strong> Campos- Capítulo 1 -<br />

Sección <strong>1.</strong>2 - Álgebra <strong>tensor</strong>ial<br />

intrínseca<br />

3.<strong>tensor</strong>es <strong>de</strong> or<strong>de</strong>n 2: (2) := (; (1) ) (;) nn () , (n = 2 ó 3)<br />

Ejemplo 1: díada o prod. <strong>tensor</strong>ial <strong>de</strong> dos vectores: a, b , se <strong>de</strong>fine ab: /<br />

(ab)·x := a (b·x). El <strong>tensor</strong> <strong>de</strong> 2º or<strong>de</strong>n (¿lo es) ab se llama díada <strong>de</strong> antece<strong>de</strong>nte a y <strong>de</strong><br />

consecuente b; la oper. “” se llama producto <strong>tensor</strong>ial.<br />

Por ejemplo, ee es el <strong>tensor</strong> proyección (vector) sobre el eje <strong>de</strong> versor e, o sea ({e})<br />

Ejemplo 2: Tensor unidad o <strong>tensor</strong> métrico: Es la aplicación lineal i<strong>de</strong>ntidad, que se <strong>de</strong>scribe<br />

así: 1 : / "xÎ: 1·x = x. Se tiene 1Î (2) , pq. es lineal y produce vectores.<br />

Ejemplo 3: <strong>tensor</strong> axial: Si un sólido gira en el espacio alre<strong>de</strong>dor <strong>de</strong> un eje e con una<br />

velocidad angular , cada punto P tiene una velocidad v(P) = × r(P) , siendo = e y<br />

r(P) = OP , el vector posición respecto a un punto O <strong>de</strong>l eje, origen. La velocidad <strong>de</strong>l punto<br />

v(P) es el resultado <strong>de</strong> una aplicación lineal, común a todos los puntos <strong>de</strong>l sólido, que actúa<br />

sobre el vector posición <strong>de</strong> cada punto. Omitiendo P se tiene:<br />

v = f(r) = × r → se <strong>de</strong>fine el <strong>tensor</strong>: W := ×<br />

resultando que P : v(P) = W·r = ×r(P)<br />

Así se consi<strong>de</strong>ra el <strong>tensor</strong> W, que actúa linealmente sobre cada r, y será W = × (2) . (*)<br />

Se generaliza el concepto <strong>de</strong> <strong>tensor</strong> axial a× para cualquier vector a, llamado eje o vector<br />

axial <strong>de</strong>l <strong>tensor</strong> a×<br />

Ejemplo 4: Tensor <strong>de</strong> inercia : I(P) / h(P) = I(P)·, con h = mom. cinét. ang. = momento <strong>de</strong><br />

la cantidad <strong>de</strong> mvto. = r×(mv) ; y resultando así que <strong>de</strong>be ser I(P) = m (r 2 1 rr)<br />

Tensores <strong>de</strong> or<strong>de</strong>n superior<br />

El proceso <strong>de</strong> <strong>de</strong>finición <strong>de</strong> espacios <strong>tensor</strong>iales continúa por inducción:<br />

4. <strong>tensor</strong>es <strong>de</strong> or<strong>de</strong>n 3: apl. lin. <strong>de</strong> la forma B : (2) / x → B·x (2)<br />

Así, se <strong>de</strong>fine: (3) := (; (2) )<br />

Ejemplo 1: El <strong>tensor</strong> <strong>de</strong> permutación, E, se <strong>de</strong>fine v por hacer:<br />

E·v := v× (2)<br />

Es un <strong>tensor</strong> <strong>de</strong> tercer or<strong>de</strong>n, pq. es lineal (sobre v) y produce <strong>tensor</strong>es <strong>de</strong> 2º<br />

or<strong>de</strong>n.<br />

Ejemplo 2: Tríadas o prod. <strong>tensor</strong>ial <strong>de</strong> tres vectores: abc, <strong>de</strong>finidas por<br />

actuar así:<br />

x : (abc)·x := ab (c·x). (<strong>de</strong> nuevo, se contrae lo contiguo)<br />

Probar que es un <strong>tensor</strong> <strong>de</strong> 3er. or<strong>de</strong>n.<br />

5. <strong>tensor</strong>es <strong>de</strong> or<strong>de</strong>n arbitrario pÎ: son las apl. lin. <strong>de</strong> L(; (p1) ):<br />

U (p) U : (p1) / U·x (p 1) (lineal)<br />

2


Teoría <strong>de</strong> Campos- Capítulo 1 -<br />

Sección <strong>1.</strong>2 - Álgebra <strong>tensor</strong>ial<br />

intrínseca<br />

<strong>1.</strong>2 b) OPERC. <strong>de</strong> e.v. con <strong>tensor</strong>es: suma y múltiplo esc.<br />

Las operaciones primeras en los esp. tens. son las <strong>de</strong> las apl. lineales. Se recuerda:<br />

b.1) Igualdad <strong>de</strong> <strong>tensor</strong>es (intrínseca): Dos <strong>tensor</strong>es <strong>de</strong>l mismo or<strong>de</strong>n p son iguales si lo son como<br />

aplicaciones, es <strong>de</strong>cir,<br />

S = T uÎ : S·u = T·u<br />

obs.: los <strong>tensor</strong>es se i<strong>de</strong>ntifican intrínsecamente por su actuación sobre un vector genérico, u, v, x , …<br />

b.2) Suma y múltiplo escalar: Las <strong>de</strong>finiciones correspondientes para apl. lin. son:<br />

<strong>1.</strong>Def. <strong>de</strong> S + T : "S, T Î (p) : (S + T)·x := S·x + T·x, "xÎ.<br />

<strong>2.</strong>Def. <strong>de</strong> T : "TÎ (p) , "Î : (T)·x := (T·x), don<strong>de</strong> se supone <strong>de</strong>finido el múltiplo escalar <strong>de</strong><br />

<strong>tensor</strong>es <strong>de</strong> or<strong>de</strong>n p–1 (inducción matemática)<br />

Así se tiene:<br />

Teorema: Todos los conjuntos (p) tienen estructura <strong>de</strong> esp. vect. <strong>de</strong> dim. n p (n = 2 ó 3) sobre con<br />

estas dos operaciones; se llaman espacios <strong>tensor</strong>iales.<br />

<strong>Ejemplos</strong>: 1) formas diádicas = comb. lin. <strong>de</strong> díadas (veremos: todo <strong>tensor</strong> <strong>de</strong> (2) es una forma<br />

diádica).<br />

2) formas triádicas y formas poliádicas: comb. lin. <strong>de</strong> tríadas o políadas: generalizan lo anterior a (3)<br />

y (p).<br />

3) Expresar el <strong>tensor</strong> 1 como una forma diádica (usando una base canónica para formar las díadas<br />

a<strong>de</strong>cuadas). Resulta: 1 = ii + jj + kk (= suma <strong>de</strong> las tres proyecciones a los ejes canónicos)<br />

4) I<strong>de</strong>ntificar (intrínsecamente) el <strong>tensor</strong> A := ab ba . Resulta: ab ba = (b×a)×<br />

<strong>1.</strong>2 b.3) Contracción <strong>tensor</strong>ial o producto contraído<br />

Definición: Si TÎ (p) y UÎ (q) se <strong>de</strong>fine la contracción T·U por inducción<br />

sobre q = or<strong>de</strong>n <strong>tensor</strong>ial <strong>de</strong>l posfactor<br />

<strong>1.</strong> Si q = 1, U es en realidad un vector u y T·u es la imagen <strong>de</strong> u por acción<br />

<strong>de</strong>l <strong>tensor</strong> T. Se llama tb. contracción <strong>de</strong> T con u, como vimos.<br />

<strong>2.</strong> Si q = 2, U Î (2) y la acción <strong>de</strong> T·U se <strong>de</strong>fine sobre "xÎ<br />

(T·U)·x := T·(U·x), esto último ya <strong>de</strong>finido pues U·x Î , "xÎ.<br />

(coinci<strong>de</strong> con la composición <strong>de</strong> las aplicaciones lineales T con U.<br />

3. Si q = 3, U Î (3) y T·U se <strong>de</strong>fine como antes:<br />

(T·U)·x := T·(U·x), esto último ya <strong>de</strong>finido pues U·x Î (2) , "xÎ.<br />

4. Supuesto <strong>de</strong>finido hasta el or<strong>de</strong>n q – 1, se <strong>de</strong>fine análogamente para q<br />

(inducción completa). ¿Cuál es el or<strong>de</strong>n tens. <strong>de</strong> T·U<br />

NOTA Esta <strong>de</strong>finición no es la forma operativa u ordinaria <strong>de</strong> calcular T · U : la teoría tiene<br />

pendiente <strong>de</strong>sarrollar las operaciones en componentes <strong>tensor</strong>iales. Aún así:<br />

<strong>Ejemplos</strong>: Aplicando la <strong>de</strong>f. intrínseca, calcular la contracción en los casos: u · (ab) ,<br />

a · (u×) , (ab) · (uv) , (abc) · (uv). ¿Regla para contraer políadas ¿Or<strong>de</strong>n <strong>tensor</strong>ial<br />

<strong>de</strong>l producto contraído <strong>de</strong> <strong>tensor</strong>es<br />

3


Teoría <strong>de</strong> Campos- Capítulo 1 -<br />

Sección <strong>1.</strong>2 - Álgebra <strong>tensor</strong>ial<br />

intrínseca<br />

Propieda<strong>de</strong>s <strong>de</strong> la contracción <strong>tensor</strong>ial:<br />

<strong>1.</strong> No es conmutativa y sólo es uniforme en (2) : or<strong>de</strong>n (T 1·T 2 ) = p 1 + p 2 2<br />

<strong>2.</strong> ley asociativa: el or<strong>de</strong>n <strong>de</strong> S (el factor reagrupado) <strong>de</strong>be ser 2:<br />

R·(S·T) = (R·S)·T = R·S·T<br />

3. leyes distributivas: R·(S+T) = R·S + R·T ; (R + S)·T = R·T + S·T<br />

4. linealidad frente al múltiplo escalar: R·(S) = (R)·S = (R·S)<br />

N.: las dos anteriores equivalen a la bilinealidad <strong>de</strong> la contracción tens. o pr. contraído.<br />

5. El elemento unidad para el producto contraído es el tens. i<strong>de</strong>ntidad 1 (2)<br />

1·T = T·1 = T , T <strong>de</strong> cualq. or<strong>de</strong>n<br />

6. Elem. inverso sólo <strong>de</strong> tens. regulares o automorf.: {T (2) / kerT = {0}}<br />

Treg. (2) T –1 (2) / T·T –1 = T –1·T = 1<br />

N.: El Grupo Lineal <strong>de</strong> Transformaciones: (n;) := ut() (n = 2ó3)<br />

7. Leyes <strong>de</strong> potenciación: <strong>de</strong>finiendo: T 0 := 1 , y, por inducción sobre m,<br />

T m := T m–1 · T (siendo m y n enteros no negativos), se cumplen:<br />

T m · T n = T m+n ; (T m ) n = T mn<br />

<strong>Ejemplos</strong>: 1) Calcular intrínsecamente (ab) n (potencia n por la contracción) siendo n natural.-<br />

2) Dado un vector unitario e calcular en términos <strong>intrínseco</strong>s el <strong>tensor</strong> T tal que T·x es la<br />

proyección <strong>de</strong> x sobre el plano {e} . N.: Pue<strong>de</strong>n hacerse PR1, ejercicios 1 y <strong>2.</strong><br />

<strong>1.</strong>2 c) Producto <strong>tensor</strong>ial <strong>de</strong> vectores y <strong>de</strong> políadas<br />

Definición: Elproducto <strong>tensor</strong>ial (o directo) <strong>de</strong> dos vectores se <strong>de</strong>fine como la<br />

relación binaria: : (2) /(a, b) ab<br />

Resulta que es una operación bilineal en , o sea:<br />

(a 1 + a 2 )b = a 1 b + a 2 b<br />

y análogo en el posfactor. Sin embargo, no es conmutativa.<br />

Definición: Elproducto <strong>tensor</strong>ial <strong>de</strong> tres vectores a, b, c, entendido como<br />

operación ternaria, se <strong>de</strong>fine mediante las tríadas:<br />

: (3) /(a,b,c) abc<br />

Resulta trilineal y no conmutativa.<br />

Nota: es equivalente <strong>de</strong>finir la tríada como el producto <strong>de</strong> la díada ab por () el vector c, o<br />

<strong>de</strong> a por la díada bc, lo que constituye la propiedad asociativa <strong>de</strong>l producto <strong>tensor</strong>ial:<br />

(ab)c = a(bc)=abc<br />

Generalización: Se pue<strong>de</strong> multipl. cualq. p-íada con cualq. q-íada resultando<br />

una (p+q)-íada. La oper. es multilineal (lineal en cada factor) y asociativa y<br />

pue<strong>de</strong> afectar a un núm. arbitrario <strong>de</strong> pre- y pos-factores. No es conmutativa.<br />

4


Teoría <strong>de</strong> Campos- Capítulo 1 -<br />

Sección <strong>1.</strong>2 - Álgebra <strong>tensor</strong>ial<br />

intrínseca<br />

<strong>1.</strong>2 d) Otros ejemplos<br />

Ejemplo: Tensor <strong>de</strong> inercia : Sea el sólido que gira en el espacio alre<strong>de</strong>dor <strong>de</strong> un eje e con<br />

una velocidad angular , ya consi<strong>de</strong>rado. Sabiendo que el <strong>tensor</strong> <strong>de</strong> inercia, I(P), actúa sobre<br />

el vector velocidad angular <strong>de</strong>l sólido <strong>de</strong> forma que se cumple<br />

h(P) = I(P)·,<br />

siendo<br />

h(P) = r(P)×(dmv(P))<br />

momento cinético angular (o momento <strong>de</strong> la cantidad <strong>de</strong> movimiento) <strong>de</strong> la partícula <strong>de</strong> <strong>de</strong><br />

masa dm ubicada en la posición <strong>de</strong> P, probar que<br />

I(P) = dm (r 2 1 rr)<br />

solución: ...<br />

Práctica 1: pue<strong>de</strong>n hacerse ejercicios 1 y <strong>2.</strong><br />

5

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!