Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Algebra y Analisis Tensorial PDF
Algebra y Analisis Tensorial PDF
PROLOGO 1
TABLA DE CONTENIDO I
ALGEBRA TENSORIAL 1
A.- GENERALIDADES. 1
ANALISIS TENSORIAL 95
APENDICE 169
II
ALGEBRA TENSORIAL
A.- GENERALIDADES.
1
Si esto ocurre con más de un índice, habrá que sumar
los monomios obtenidos dando a estos índices todos los valores
posibles.
→ = v 1v
viv → + v2v
→ + ..... + vnv
→
i 1 2 n
aijbji = a11b11+a12b21+..+a21b12+a22b22+....+an1b1n+an2b2n+..
2
B.- FUNDAMENTOS DEL ALGEBRA TENSORIAL INTRINSECA A
DESARROLLAR
→e
e →j = e
→je
→ = δj (símbolo de Kronecker).
i i i
→ } como base
Si no se indica lo contrario tomaremos {e i
principal y en consecuencia los coeficientes escalares se
denominan:
Contravariantes: tij..s
3
Covariantes: tij..s
→b → →→ →→ → →
1 1)(a 2b 2)...(a mb m) [a m+1⊗...⊗a n]
= (a
1º.- →
π = →τ⊗σ
→ = [t k(e
→i⊗e
→j⊗e
→ )] ⊗ [slm(e
→ ⊗e→ )] =
ij k l m
→i⊗e
= tijkslm(e →j⊗e
→ ⊗e→ ⊗e
→)
k l m
pijklm = tijkslm
2º.- →
ρ = →τ→ →i⊗e
σ = [tijk(e →j⊗e
→ )][slm(e
→ ⊗e→ )] =
k l m
→ie
= tijkslm(e → )(e
→je
→ )e→ =t ksije
→
l m k ij k
rk = tijksij
tendremos:
→τ→ →b→ →→ →→ → →
1 1)(a 2b 2)...(a rb r)[b r+1⊗...⊗b s]
σ = (a
→
σ⊗µ→ = a
→ ⊗a→ ⊗...⊗a → ⊗c
→ ⊗c → ⊗...⊗c →
1 2 r 1 2 t
5
y por consiguiente:
→→ → = (a
→b → → → )...(a
→b → → → → → ⊗....⊗c
→]
r →r)[b r+1⊗...⊗b s][c 1⊗c
(τ σ)µ 1 →1)(a 2b
→ →2 →t
→ → → → → 2
→ → → →
(σ⊗µ)τ= (a b )(a b )...(a b )[c ⊗c ⊗....⊗c ][b ⊗...⊗b ]
1 1 2 2 r r 1 2 t r+1 s
y por consiguiente:
→ → → → )...(a → → → → →
σ→τ⊗µ
→ →b
= (a 1 →1)(a 2b
→
→b
r →r)[b
→ r+1⊗...⊗b
→s⊗c
→
1⊗c 2⊗....⊗c t]
→τ⊗µ→)σ→ = (a
→ b )(a → b )...(a
2
→ b )[b ⊗...⊗b → →
⊗c ⊗c ⊗....⊗c →]
1 1 2 2 r r r+1 s 1 2 t
Pues →τ→τ’=τ
→’τ
→ es un escalar, y podremos escribir:
→→τ’)(σ
(τ →→ →’τ
µ) = [(τ →)σ
→]µ
→
y por el teorema 1º:
→→τ’)(σ
(τ →→ →’(τ
µ) = [τ →⊗σ → = (τ
→)]µ →⊗σ
→)(τ
→’⊗µ
→)
→ e
= ti'j'k'(e →i)(e
→ e →j)(e
→k'e
→) = tijk
i' j' k
6
→ → →g →h
Sea por ejemplo →τ= tirst(e → ⊗e
i
→ ⊗e
r
→s⊗e
→t)= tvw (f
gh v⊗f w⊗f ⊗f )
→ → → →
tvwgh= →τ(fv⊗fw⊗fg⊗fh) = →τ([βive
→i]⊗[βwe →r]⊗[αse
→ t→
r g s]⊗[αhe t])=
= βivβrwαgsαht →τ(e
→i⊗e
→r⊗e
→ ⊗e
s
→ ) = βvβwαsαttir
t i r g h st
3.01.- (s+m)
Los productos contractos de un tensor →
π
⊗ ⊗s
determinado dem E por los distintos vectores de E , son
vectores de E⊗ que varían linealmente con ellos. Por lo tantos
dichos productos son las imágenes de una aplicación lineal de E⊗
en E representada por el tensor →
⊗m
π.
7
→i⊗g
(g → )a→ = (g
→ia
→)g
→ = aig
→ = a
→
i i i
→i} y {e
con {e → } bases duales de E.
i
→
El producto contracto de I por un producto tensorial
→⊗b
(a →) cualquiera de dos vectores de E, es el producto escalar de
ambos. Pues tenemos:
→ → → →→ → →b→
I(a ⊗b) = (Ia )b = a
→
3.03.- Coeficientes de I.
→
Los coeficientes tensoriales de I contravariantes
constituyen las matrices de cambio de→ base de una base a su dual
y los coeficientes covariantes de I forman las matrices del
cambio inverso. Los coeficientes mixtos forman la matriz unidad.
Pues podemos escribir:
→ → ⊗e
→) = →
I= gij(e
→ eii⊗gije→jj = → →i
eii⊗e ⇒ →i = gije
e →
→i
i →j
→ →
I= g (e ⊗e ) = e ⊗g e = e ⊗e
j → → ⇒ →
e = g e →jj
ij ij i i ij
→ i → →j
I= g jj(eii⊗e ) = → →k
ek⊗e ⇒ g jj = δ jj (símbolo de Kronecker)
i i
→ → ⊗e→) = → →k
I= gi (e j ek⊗e ⇒ gi = δi (símbolo de Kronecker)
8
la contracción 2,4 será:
→τ’ = tijk (e →e →l)(e
→ ⊗e→ ⊗..⊗e
→m) = (j=l): tijk → → →m
l..m j i k l..m (e i⊗ek⊗..⊗e )
5.- Observaciones.
10
C.- TENSORES EN GENERAL.
Consecuencias.
a) Si →τ=tij..p(e
→ ⊗e
i
→ ⊗..⊗e
j
→)
p es la representación
einsteniana del tensor en base del espacio fundamental, su norma
valdrá:
→τ→τ= tij..p(e
→ ⊗e→ ⊗..⊗e
→ )t →i' →j' →p'
i'j'..p'(e ⊗e ⊗..⊗e )= t
ij..p
i j p tij..p
b) Si el tensor →τ= (τ
→ ⊗τ
1
→ ⊗..⊗τ
2
→ ) está expresado por un
m
producto tensorial de tensores, su norma es el producto de las
normas de los factores. Aplicando las leyes del producto
contracto, tendremos:
→τ→τ = (τ
→ ⊗τ ⊗..τ
→ )(τ
→ ⊗τ ⊗..τ
→ ) = (τ
→ →τ )(τ
→ →τ )...(τ
→ →τ )
1 2 m 1 2 m 1 1 2 2 m m
puesto que los productos con subíndices distintos son nulos por
ortogonalidad.
Sustituyendo →
µ por →τ→
σ de igual orden, se verificará
también la siguiente desigualdad:
11
→→
[(τ →→
σ)(τ →→
σ)][(τ →→
σ)(τ →→τ)(σ
σ)] ≤ (τ →→ →→
σ)[(τ →→
σ)(τ σ)]
(q=nr-p): →τ(λ1→
σ1+...+λq→
σq) = λ1→τ→
σ1+...+λq→τ→
σq
Como ningún →
σi pertenece al núcleo, el miembro primero
de la ecuación solo puede anularse cuando todos los λ sean nulos,
y por lo tanto el 2º miembro se anulará si y sólo si todos los λ
son nulos.
→’i} contiene
1.07.- El subespacio A generado por los {σ
al subespacio N suplementario ortogonal de Nucr→τ.
→’ } contiene a
1.08.- El subespacio B generado por {µ
Ims-r→τ.
i
→
Pues los tensores de Ims-r→τ son los productos →τλ de →τ con
13
→
cualquier tensor λ de orden r y siempre pueden expresarse como
función lineal i→ de los {µ →’ }, ya que siendo escalares las
→
expresiones (σ’ λ) se verifica:
i
(1) →τ→λ = (σ
→’i⊗µ →
→’ )λ →’i→λ)µ
= (σ →’
i i
(2) →τ = → →
σi⊗µ i
(3) →τ = →
σi ⊗ →τ→
σi
→i} y {σ
de utilización general cuando {σ → } son bases duales.
i
Si los tensores →
σ son productos tensoriales de un tipo
determinado, es fácil ver que →τ representa asimismo la aplicación
multilineal que hace corresponder, a cada conjunto ordenado de
tensores factores, un tensor de orden s-r determinado.
→ } = Base Im →τ.
{µ i s-r
15
2.- Simetrías y antisimetrías en los tensores.
2.01.- Transposición.
→
→ λ’un tensor producto tensorial cualquiera de s
Sea
vectores y λ’ un tensor producto tensorial de los mismos s
vectores que antes pero en un orden distinto, que solamente
difiere del anterior en que se hallan permutados
→ → los factores de
lugares de orden m y p. Diremos que λ y λ’ son tensores
transpuestos m,p.
→τ~(2,4) = ∑[α (a
→ ⊗d → → → →
i i i⊗c i⊗b i⊗e i)]
→ → → → →
Para cualesquiera vectores h,u ,v,w,q se tiene;
→ ⊗b→ → → → → → → → → →→ →→ →→ →→ →→
i⊗ci⊗d i⊗e i)](h ⊗u ⊗v ⊗w ⊗q )=∑[αi(a ih )(b iu )(c iv )(d iw )(e iq )]
[∑(αia i
→ ⊗d→ → → → → → → → → →→ →→ →→ →→ →→
i⊗ci⊗b i⊗e i)](h ⊗w ⊗v ⊗u ⊗q )=∑[αi(a ih )(d iw )(c iv )(b iu )(e iq )]
[∑(αia i
17
3.- Simetría y antisimetría m,p
18
→τ→ →→
σ = -τ σ ⇔ →τ→
σ = 0
⎛ n +1⎞ r-2
⎜⎜ ⎟⎟ n
⎝ 2 ⎠
⎛ n ⎞ r-2
⎜⎜ ⎟⎟ n
⎝ 2⎠
19
4.- Simetría y antisimetría 1,2.
→ un vector y →
siendo v σ un tensor de cualquier orden.
tendremos
→τ = v
→ ⊗ w
→ ⊗ →
µ
i
i
→
y por ser b un vector cualquiera:
(∀i): →a
(v →)w
→ = (a
→w→ )v
→
i i
Tendremos análogamente:
20
→τ = ∑(r
→’ ⊗v →
→⊗h →)
i ’i⊗v
→ cualquier vector.
lo que es imposible al ser a
21
5.- Tensores totalmente antisimétricos
lo que implica:
→a → →
→)(b →) = -(τ
→b→ → → →)
(τ ⊗c⊗..⊗r )(a⊗c⊗..r
(4) →τ = tij..r(e
→ ⊗e→ ⊗..⊗e
→ ) = ti ..r(e
→ ⊗e→j⊗..⊗e
→ ) = .....
i j r j i r
23
⎛n⎞
Dimensión = ⎜⎜ ⎟⎟
⎝q ⎠
→ ∧e
→τ = t(ij..r)(e → ) = 1 tij..r(e
→ ∧..∧e → ∧e→ ∧..∧e
→)
i j r i j r
q!
→ ∧e
Si en la primera ecuación sustituimos (e → ∧..∧e
→ ) por
→
[e(ij..r)], tendremos:
i j r
(9) →τ = t(ij..r)e
→
(ij..r)
t(ij..r) = →τe
→(ij..r); t(ij..r) = →τe
→
(ij..r)
→=mie
(m → ;..s
→=ske
→ ): → →∧n
π = m →∧..∧s
→ = p(ij..r)e
→
i k (ij..r)
se verifica:
mi ni .. si
(ij..r) mj nj .. sj
p = = Det {V m Vn .. Vs}
. . .. .
mr nr .. sr
La expresión de →τ en bases {e
→ } y {e
i
→i} duales, es
→τ = tij..r(e
→ ⊗e→ ⊗..⊗e
→ ) = t(ij..r)e
→
i j r (ij..r)
→τ = t (e →i⊗e
→j⊗..⊗e
→r) = t →(ij..r)
ij..r (ij..r)e
y por lo tanto:
(11) →
e →(ij..r) = q!
(ij..r)e
t(ij..r)t(ij..r)
1→ → → →) = 1 → →⊗b→ →) - ∑ p(a →
→⊗b →)]=
(12) σ(a∧b∧..∧r σ[∑p∈Pp(a ⊗..⊗r p∈I ⊗..⊗r
q! q!
→
= → →⊗b
σ(a →)
⊗..⊗r
(13) → → ∧v
π = v → ∧..v
→ = →τe
→ ∧τ→e
→ ∧..∧τ
→e→ = (Det{t i})e
→
1 2 n 1 2 n j (12..n)
(14) → ∧v
(v → ∧..∧v
→ )’ = (Det {V V .. V })(e
→ ∧e→ ∧..∧e
→ )’
1 2 n 1 2 n 1 2 n
26
→i) podremos escribir:
segundo con la base dual {e
→ ∧v
(v → ∧..∧v
→ )’ = (Det {V V .. V })(e
→ ∧e→ ∧..∧e
→ )’
1 2 n 1 2 n 1 2 n
⎧ W1 ~⎫
⎪ 2 ⎪
r 1 r2 r ⎪ W ~⎪ r1 r 2 rn
(w ∧ w ∧..∧ w )' = Det⎨
n
⎬(e ∧ e ∧..∧ e )'
⎪ ..⎪
⎪ n ⎪
⎩W ~⎭
Pero tenemos:
⎧ W1 ~⎫ ⎧ ⎧ W1 ~⎫ ⎫
⎪ 2 ⎪ ⎪ ⎪ 2 ⎪ ⎪
⎪ W ~⎪ ⎪ ⎪ W ~⎪ ⎪
[Det⎨ ⎬][Det{V1 V2 ..Vn}] = Det⎨ ⎨ ⎬{V1 V2 ..Vn }⎬ =
⎪ ..⎪ ⎪ ⎪ .. ⎪ ⎪
⎪ n ⎪ ⎪ ⎪ n ⎪ ⎪
⎩W ~⎭ ⎩ ⎩W ~⎭ ⎭
→jv
~jV } = Det {w
= Det{W →}
i i
(15) → ∧v
(v → ∧..∧v
→ )’(w
→1∧w
→2∧..∧w
→n)’ = Det{w
→jv
→}
1 2 n i
(16) →ε(e
→ ⊗e → ) = 1 →ε(e
→ ⊗..⊗e → ∧e→ ∧..∧e
→)
1 2 s 1 2 s
s!
→ ∧e
El denominador es el inverso de (e → ∧..∧e
→ )’
1 2 n
→ε(e
→ ⊗e → ) = 1 →ε(e
→ ⊗..⊗e → ∧e→ ∧..∧e
→ ) = (e
→ ∧e→ ∧..∧e
→ )’
1 2 n 1 2 n 1 2 n
n!
y los dos últimos miembros nos indican una utilización del tensor
→ε para la obtención del escalar polar de un producto exterior de
orden n.
(20) → ∧e
(e → )’ = 1 →ε(e
→ ∧..∧e → ∧e→ ∧..∧e
→ ) = →ε(e
→ ⊗e→ ⊗..⊗e
→) =
1 2 s 1 2 s 1 2 s
s!
→s+1 →s+2 → → →
=(e ∧e ∧..∧e )(e ∧e ∧..∧e )’
n →
1 2 n
Sustituyendo tenemos:
→ ∧e
(e → ∧..∧e
→ )’=(e
→s+1∧..∧e
→n)(e
→ ⊗..⊗e
→ )(e → ∧e
→ ∧..∧e
→ )’=
1 2 s+r s+1 s+r 1 2 n
(21) → ∧e
(e → ∧..∧e
→ )’=(e
→ ∧e→ ∧..∧e
→ )’(e
→ ⊗..⊗e
→ )
1 2 s+r 1 2 s s+1 s+r
→ ∧e
(e → )’ = 1 (e
→ ∧..∧e → ∧e→ ∧..∧e
→ )’(e
→ ∧..∧e
→ )
1 2 s+r 1 2 s s+1 s+r
r!
1º.- s+r = n.
30
La última ecuación podremos escribirla así:
→ ∧e
(e → ∧..∧e
→ )’(e
→ ∧e → ∧..∧e
→ ) = (n-s)! (e
→ ∧e→ ∧..∧e
→ )’
1 2 s s+1 s+2 n 1 2 n
→ ∧e
de donde deducimos que el vector (e → ∧..∧e
→ )’ es el que con
→
cualquier vector a verifica:
1 2 n-1
→ ∧e
(e → ∧..∧e
→ )’a → =(e
→ ∧e→ ∧..∧e
→ ∧a →)’
1 2 n-1 1 2 n-1
1ª.- Sean →τ y →
σ tensores totalmente antisimétricos del
mismo orden s, y α y β escalares. Se verifica que la
determinación del tensor polar es una aplicación lineal:
Cuando →τ = e
→ ∧e→ ∧..∧e
→ es un producto exterior, en el
párrafo anterior se ha calculado →τ’ y por tanto:
1 2 s
(→τ’)’ = [(e
→s+1∧e
→s+2∧..∧e
→n)(e
→ ∧e
1
→ ∧..∧e )’]’
2 n
31
(→τ’)’ = (e
→s+1∧e
→s+2∧..∧e
→n)’(e
→ ∧e
1
→ ∧..∧e )’
2 n
→s+1∧e
Pero el valor de (e →s+2∧..∧e
→n)’ calculado en dicho
último párrafo es:
→ ∧e
(e → ∧..∧e
→ )(e
→s+1∧..∧e
→n∧e
→1∧..e
→s)’ = →τ(e
→s+1∧..∧e
→n∧e
→1∧..∧e
→s)’
1 2 s
y sustituyendo:
(→τ’)’ = →τ[(e
→s+1∧..∧e
→n∧e
→1∧..e
→s)’(e
→ ∧e
1
→ ∧..∧e )’] =
2 n
= →τ[±(e
→1∧e
→2∧..∧e
→n)’](e
→ ∧e
1
→ ∧..∧e
2
→ )’ = ±→τ
n
±→τ = (→τ’)’ = (s
→ )’ = (s
1
→2∧s
→3∧..∧s
→n)(s
→ ∧s
1
→ ∧..∧s
2
→ )’
n
→2,s
y como todos los factores s →3,..,s→n del producto exterior son
→ tendremos también;
ortogonales a s 1
→τs
→ = 0→
1
→
σ(a
→
→⊗b →) = 1 →
⊗..⊗r
→
→∧b
σ(a →)
∧..∧r
q!
1 → → →)
(a∧b∧..∧r
q!
será
r 1 ij..r r r r → ∧e→ ∧..∧e
→)
τa = t (ei ∧ ej ∧ .. ∧ er)= t(ij..r)(e i j r
q!
y se verificará:
→
σ→τ = →
σ→τa
Los coeficientes estrictos de →τa son:
1
t(ij..r) = (∑ p ∈ P tp(ij..r) - ∑ p ∈ I tp(ij..r))
q!
rr r r 1 r r r r 1 r rr
ε τ = ε τ a = q! ε τ a = q! τ a ’; τa = ε(ετ)
q! q!(n - q)!
i}.
→ → forman un sistema
Los vectores hi junto→ con el a
→ 1
ortogonal. Si hi es el módulo de hi y ei es el vector que verifica
→ =h e
h → → } resulta ser una base ortonormal del
i i,
i el conjunto {e i
espacio fundamental y podremos escribir:
(22) →τ = a
→ ∧a→ ∧..∧a
→ = a h h ..h (e
→ ∧e→ ∧..∧e
→)
1 2 n 1 2 3 n 1 2 n
→ ∧a
(a → ∧..∧a
→ )’ = a h h ..h (e
→ ∧e→ ∧..∧e
→ )’ = ±a h h ..h = V
1 2 n 1 2 3 n 1 2 n 1 2 3 n
→ ∧e
pues por '5.16 sabemos que el escalar (e → ∧..∧e
→ )’ vale 1 ó -1
1 2 n
según que la base sea positiva o negativa.
→τ’ = (a
→ ∧a→ ∧..∧a
→ )’ = V = ± ( (ij..r))(
(23) 1 2 n t t(ij..r))
34
y siempre V es el tensor (escalar) polar de →τ.
Vq = (t(ij..r))(t(ij..r))
→
Al mismo tensor →τq le llamaremos tensor volumen Vq del
paralelepípedo generado.
5.30.- Superficies.
S = ∑[t (ij..r) 2
]
S = ∑(s )k
2
→ de un tensor
5.31.- Definimos como vector superficie s
→
σ totalmente antisimétrico de orden n-1, que expresado en una
base cualquiera es:
→ →∧b
σ = a →∧..∧m
→ = s(ij..r)(e
→ ∧e→ ∧..∧e
→)
i j r
a su vector polar →
σ’.
Por tanto, si ek corresponde al vector base omitido en
→ ∧e
(ij..r), haciendo Vk=(e → ∧..∧e
→ ∧e→ )’, por (20) tendremos:
i j r k
→ = →
s → ∧e
σ’ = s(ij..r)(e → ∧..∧e
→ )’ = s(ij..r)e
→k(e
→ ∧e→ ∧..∧e
→ ∧e→ )’ =
i j r i j r k
→k
= s(ij..r)Vke
→ ∧e
y para V=(e → ∧..∧e
→ )’ tendremos:
1 2 n
a1 a2 ... an
b1 b2 ... bn
. . ... .
∆ =
. . ... .
m1 m2 ... mn
r1 V r 2 ... V r n
Ve e e
Mk = s(ij..r)
→i} dual
Vamos a demostrar que los vectores de la base {e
de la anterior, pueden expresarse del modo siguiente:
(α≠n): →α = - 1 (e
e → ∧e→ ∧..∧e
→ ∧e → ∧e
→ ∧..e→ )’
1 2 α-1 n α+1 n-1
V
(α=n): →n = 1 (e
e → ∧e→ ∧..∧e
→ )’
1 2 n-1
V
(α≠n): →α = - 1 e
e →α(e
→ ∧e→ ∧..∧e
→ ∧e → ∧e
→ ∧..e→ ∧e → )’
1 2 α-1 n α+1 n-1 α
V
(α≠n): →α = - 1 e
e →α[-(e
→ ∧e → )’] = - 1 e
→ ∧..∧e →α(-V) = e
→α
1 2 n
V V
→n = 1 →n → → → ∧e → )’ = 1 e
→nV = e
→n
(α=n): e e (e1∧e2∧..∧e n-1 n
V V
37
6.- Tensores totalmente simétricos y h-simétricos.
6.01.- Definición.
(p∈P):
→
→⊗b
→τ(a →) = →τ[p(a
⊗..⊗r
→
→⊗b →)] = 1 rτ ∑ [p(a
⊗..⊗r
→
→⊗b →)]
⊗..⊗r
p ∈P
q!
⎛ n + q −1⎞
⎜⎜ ⎟⎟
⎝ q ⎠
→ ⊗b
→τ = ∑ (a → → r 1 r r r
i i i⊗..⊗ri); τs = ∑i{ ∑p∈P[p(ai⊗ bi⊗..⊗ri)]}
q!
Sea →
σ cualquier tensor h-simétrico de orden s=m+h, →y
→ ,..,t
los dos tensores siguientes de orden s y com el conjunto ri i
que consta de h vectores.
→τ=(a→⊗b
→ ⊗..q
→ )⊗(r →
→ ⊗..⊗t
i i i i i);
40
∑ ⎢⎣(s-h)![∑ ]
r ⎡ 1 r r r r r⎤
τhs = [p(ai ⊗ bi ⊗..⊗qi)]⊗ri ⊗..⊗ti⎥
p∈P
i
⎦
41
7.- Tensores isótropos.
7.01.- Definición.
t1124 = →τ(e
→ ⊗e
1
→ ⊗e
1
→ ⊗e
2
→)
4
→
y las propiedades del tensor I mencionadas en B'2.10:
→ →i⊗e
→; →→ →; → → → →b→
I = e i Iv = v I(a ⊗b ) = a
Sea → π un tensor isótropo. Como para hallar un
coeficiente de →
π en una base ortonormal, debemos multiplicar este
tensor por un producto tensorial de vectores de tal base, ningún
vector base puede figurar en número impar pues de lo contrario,
al cambiar tal vector base por el opuesto, el producto tensorial
sería opuesto y el coeficiente correspondiente también sería el
opuesto. Esto es imposible para un tensor isótropo dada su
definición.
o lo que es igual:
→i⊗e
→ ⊗f →j → →k⊗g→
e i ⊗fj⊗...⊗g k
→
→ },{f },...,(g →
(en cuya expresión {e →j i} son→k bases cualesquiera del
i
→
i i
espacio n-dimensional, y (e },{f },...,{g } sus bases duales)
42
sino por todos los tensores distintos que resultan de cada
permutación de sus factores vectoriales, y además por todos los
tensores del espacio vectorial generado por dichos tensores
distintos.
43
8.- Particularidades del espacio tridimensional.
→×b
→ = 1→ → → →
(25) a ε(a∧b) = →ε(a
→⊗b )
2
(27) → ×e
e → = (e
→ ∧e→ )’ = e
→t(e
→ ∧e→ ∧e
→ )’ = e
→3(e
→ ∧e→ ∧e
→ )’
1 2 1 2 1 2 t 1 2 3
44
→ ×e
(e → )×c
→
1 2
→ es un vector cualquiera.
en que c
resultando así:
→ ×e
(e → )× c
→ = [e
→3(e
→ ∧e→ ∧e
→ )’]×[(c
→e→ )e
→n] =
1 2 1 2 3 n
→ ∧e
= (e → ∧e
→ )’ (e
→3×e
→n)(c
→e→) =
1 2 3 n
a → = (→εa
→’b → = →ε(a
→)b →⊗b
→) = a
→×b
→
→ = 1→ε(→εa
a →)
2
→’)’ = 1→ε(a
→ = (a
a →’) = 1→ε(→εa
→)
2 2
→τ = 1 tij(e
→ ∧e→)
a i j
2
→τ = 1 tij[(e
→ ×e→ )×] ⇒ → = 1 tij(e
ω → ×e→)
a i j i j
2 2
→e
ωs = ω → = 1 tij(e
→ ×e→ )e
→
s i j s
2
y por (26):
1 ij → → →
t (ei∧ej∧es)’
ωs =
2
El coeficiente para s=3 será:
1 ij → → →
ω3 = t (ei∧ej∧e3)’
2
y tendrá dos términos:
1 12 → → → 1 12
(i=1;j=2): t (e1∧e2∧e3)’ = t V
2 2
1 21 → → → 1
(i=2;j=1): t (e2∧e1∧e3)’ = - t21V
2 2
1 12 21
ω3 = (t -t )V
2
y análogamente
46
1 23 32
ω1 = (t -t )V
2
1 31 13
ω2 = (t -t )V
2
47
9.- Particularidades del espacio bidimensional.
→ ,e
9.01.- Si {e → ) es una base ortonormal positiva, el
tensor de Ricci tendrá ahora por expresión →ε = e→ ∧e
→.
1 2
1 2
Pues tenemos:
→
→∧b 1 → → 1 → → →
V = (a )’ = →ε(a ∧b) = →ε[(a→⊗b )-(b ⊗a )] =
2 2
1 → → → → → 1 →→ → → → 1 → → → →
= [ε(a⊗b) - →ε(b ⊗a )] = [(εa)b - (→εb)a ] = (a’b-b’a)
2 2 2
1 → → →
→’b →
→’b →
V = (a'b + a ) = a = (→εa
→)b
2
→ ⊗e
(e → )e
→ - (e
→ ⊗e→ )e
→ = (e
→e → → →→ → →
1 2 1 2 1 1 1 1)e 2 - (e 2e 1)e 1 = e 2
48
⎧0 - 1⎫
{ε}’ = ⎨ ⎬
⎩1 0⎭
→ ,a
9.06,- Sea una base {a → } positiva con V=(a
→ ∧a→ )’
1 2 1 2
r 1 r 1 r r
a1 = - a2 ’ = - ε a2
V V
r 1 r 1 r r
a2 = a1 ’ = ε a1
V V
49
10.- Polinomios tensoriales.
Cuando →p en lugar de
no cabe confusión, escribimos x
→⊗ .
escribir x p
→ y se
Grado0 del monomio es el exponente tensorial de x
→
conviene que x es siempre uno cualquiera que sea x. Por este
→
motivo, los monomios que no vienen afectados por ningún factor x
los consideraremos monomios de grado 0, y en general no
escribiremos el factor x→0.
(i de 0 a p): → x
A = Στ →i
m+i
50
Dos polinomios o monomios decimos que son equivalentes
ó iguales, cuando corresponden al mismo tensor. La diferencia
entre dos polinomios equivalentes es el tensor nulo.
10.03.- Propiedades.
→)(∀λ) →τ x → + λτ x →2 + .. + λn-1→τ x → →
⇔ (∀ x m+1 m+2 m+p p = 0
→)(∀z
(∀x →): →τ[z
→r + r(z →) + 1 r(r-1)(z
→r-1⊗x →r-2⊗x
→2) + .. + x →
→r]= 0
2
→)(∀z
(∀ x →): →τz
→r + r→τ(z →) + 1 r(r-1)→τ(z
→r-1⊗x →r-2⊗x
→2) + .. + →τx →
→r = 0
2
ó también:
→)(∀z
(∀ x →): →τz
→r + (r→τz → + [ 1 r(r-1)→τz
→r-1)x →r-2]x
→2. + .. + →τx →
→r = 0
2
52
Aplicando a este polinomio nulo en x → la propiedad
deducida en '10.06, tendremos que todos sus monomios deben ser
nulos.
53
D.- TENSORES E⊗2 DE 2º ORDEN
1.- Generalidades.
55
1.06.- La expresión del componente antisimétrico de
→τ = tij(e
→ ⊗e→ ), (ver C'5,25), será:
i j
→τ = 1 tij(e
→ ∧e→ ) =t (ij)(e
→ ∧e→ )= t ij(e
→ ⊗e→)
a i j a i j a i j
2
1 ij ji
ta(ij)= (t -t )
2
Pues se verifica:
1.09.- Se verifica:
56
y →τw
→ es cualquier vector de Im →τ
y por '1.01:
→i
{f } = Base Im →τ
a) →w
v → = {v
→}’{w
→} = v wi
→w
v → = {w
→}’{v
→} = wivi
i
b) → = →τv
w → ⇔ {→τ}’{v
→} ⇔ wj = tijvii
→ →
w = τv→ ⇔ {v}’{→τ}
→ ⇔ wj = vit j
c) →=→
w σ(→τv
→) ⇔ →}= {→
{w σ}’{→τ}’{v
→} ⇔ j i
wj = si tkk vik
→ → →
w=σ(τv→) ⇔ {w}’= {w}’{τ}{→
→ → → σ} ⇔ wj = vkt is j
d) →⊗w
{v →}’ = {w
→}{v
→}’ ⇔ →⊗w
(v →) j = wjv
i i
e) →⊗w
{v →} →}{w
= {v →}’ ⇔ →⊗w
(v →)i = viw
j j
tij = tij
58
vi = vi ⇔ →}’ = {v
{v →}~;
{tij} = {→τ(e
→i⊗e
→j)} = {(→τe
→i)e
→j}
S=AT ⇔ ajit i
i kk
= skji ó bien ajiitikk = sjik
S=TA ⇔ tk aj = sj ó bien t kaj = s j
59
Cuando uno de los factores es una matriz T de
coeficientes tensoriales covariantes o contravariantes ya no
sucederá siempre lo de los casos anteriores. En primer lugar será
necesaria una convención para individualizar los elementos de
estas matrices, y ésta consistirá, por ejemplo, que el primer
índice señala la fila, y el segundo la columna.
~
ij
T={t }; S=TA ⇔ t a = sik
ij k
j
y por lo tanto:
→ →
t’ij= →τ(fi⊗fj)= →τ(λkie
→ ⊗µj e
k m
→m)= λk→τ(e
i
→ ⊗e
k
→m)µj= λkt mµj
m i k m
60
{λki} = A; {µjm} = A-1; AA-1 = I
⎧ t’11 t’21 .. t’n1⎫ ⎧ µ11 µ12 .. µ1n ⎫ ⎧ t11 t21 .. tn1⎫ ⎧ λ11 λ12 .. λ1n ⎫
⎪ ⎪ ⎪ ⎪⎪ ⎪ ⎪ ⎪
⎪ t’12 t’22 .. t’n2⎪ ⎪ µ2 µ2 .. µ2 ⎪ ⎪ t12 t 2 .. tn2⎪ ⎪ λ12 λ22 .. λ2n ⎪
⎪ ⎪ ⎪⎪ 1 2 n
⎪⎪ ⎪ 2
⎪ ⎪ ⎪
⎨ . . .. .⎬ = ⎨ . . .. .⎬ ⎨ . . .. .⎬ ⎨ . . .. .⎬
⎪ ⎪ ⎪ ⎪⎪ ⎪ ⎪ ⎪
⎪ . . .. .⎪ ⎪ . . .. .⎪ ⎪ . . .. .⎪ ⎪ . . .. .⎪
⎪ n n⎪ ⎪ n n ⎪⎪ n ⎪ ⎪ n n .. n ⎪
⎩t’1 t’2 .. t’n ⎭
n
⎪⎩µ1 µ2 .. µnn ⎪⎭ ⎩t1 t2
n
.. tnn ⎭ ⎩λ1 λ2 λn ⎭
b) Coeficientes tkm.
Llamando {t’ij} a la nueva matriz de coeficientes,
resultante del mismo cambio de bases supuesto anteriormente, y
por un proceso análogo, hallaremos que se verifica:
→ → → ⊗λm e
t’ij =→τ(fi⊗fj)= →τ(λki e k j
→ )= λm →τ(e
m j
→ ⊗e
k
→ )λk= λm t λk
m i j km i
⎧t’11 t’12 .. t’1n ⎫ ⎧ λ11 λ12 .. λ1n ⎫ ⎧t11 t12 .. t1n ⎫ ⎧ λ11 λ12 .. λ1n ⎫
⎪ ⎪ ⎪ ⎪⎪ ⎪ ⎪ ⎪
⎪t’21 t’22 .. t’2n ⎪ ⎪ λ12 λ22 .. λ2n ⎪ ⎪t21 t22 .. t2n ⎪ ⎪ λ12 λ22 .. λ2n ⎪
⎪ ⎪ ⎪ ⎪⎪ ⎪ ⎪ ⎪
⎨ . . .. .⎬ = ⎨ . . .. .⎬ ⎨ . . .. .⎬ ⎨ . . .. .⎬
⎪ ⎪ ⎪ ⎪⎪ ⎪ ⎪ ⎪
⎪ . . .. .⎪ ⎪ . . .. .⎪ ⎪ . . .. .⎪ ⎪ . . .. .⎪
⎪t’n1 t’n2 .. t’nn ⎪⎭ ⎪ 1 2 .. n ⎪ ⎪t t .. tnn ⎪⎭ ⎪ n n .. n ⎪
⎩ ⎩λ n λ n λn ⎭ ⎩ n1 n2 ⎩λ1 λ2 λn ⎭
km
c) Coeficientes t .
Si {t’ij} es la nueva matriz de coeficientes con el
mismo cambio de bases anterior, siguiendo el mismo proceso,
encontraremos:
así como
{t’ij} = A-1{tmk}[A-1]~
61
2.08.- En el apartado a) del párrafo anterior, hemos
visto que para los coeficientes mixtos de →τ existe la relación:
{t’ij} = A-1{tkm}A
queda:
→
→⊗b → →
→⊗d →d→ → → →
[(a )∗(c )]v = [(a )(c⊗b)]v
→ es cualquier vector, es cierta la igualdad que se
y como v
62
pretendía demostrar.
→
→
3.02.- Cuando los factores son tensores cualesquiera,
→ →i → →ρj
y σ, que siempre se pueden expresar en la forma ai⊗b y cj⊗d
respectivamente, tendremos:
→ → ⊗b
→ = (a →i → ⊗d→j →d →j → →i
ρ∗σ i )∗(c j ) = (a i )(cj⊗b )
{→ →}’ = {→
ρ∗σ ρ}’{→
σ}’; {→ →} = {→
ρ∗σ σ}{→
ρ}
3.04.- Potencia matricial.
[→ →]~ = ~
ρ∗σ ~
σ∗ρ
Bastará demostrarlo para la multiplicación matricial
de dos productos tensoriales. Efectivamente:
→⊗b→ →
→⊗d →d→ → → →d→ → → → → → →
[(a )∗(c )]~ = (a )[c⊗b]~ = (a )(b⊗c)= (d⊗c )∗(b⊗a )
63
1º.- Producto matricial → → de dos tensores ambos
ρ∗σ
simétricos ó ambos antisimétricos.
[→τ∗τ ~ = →τ∗τ
~]~ = (~τ)~∗τ ~
Nuc (→τ∗τ
~) ⊃ Nuc ~τ
→
Im (τ∗τ ~) ⊂ Im →τ
64
En cuanto a Im(→τ∗τ
~) = Im →τ, se deduce de la igualdad
anterior, pues es la expresión de igualdad de los subespacios
ortogonales a dos subespacios iguales.
65
4.- Tensor fundamental.
→):
(∀v →j⊗e
(e → )v→ = (e
→jv
→)e
→ = vje
→ = v
→
j j j
→ → →j →→ →j →e → = δ
g i = gi = I(ei⊗e ) = (Iei)e = e
j j j i
i j
⎧1 0 0 .. 0⎫
⎪ ⎪
⎪0 1 0 .. 0⎪
⎪ ⎪
⎨0 0 1 .. 0⎬
⎪ ⎪
⎪: : : :: :⎪
⎪⎩0 0 0 .. 1⎪⎭
4.03.- Se verifica
→ → →
I∗I = I
→ →j →j → → ⊗e
→ ) = gije→ ⊗ e → ⇔ e →j = gije→
(I=e ⊗e ): I= gij(e i j i j i
→ → →
(I∗I= I) ⇔ im m
{g }{gki} = {gk } (Símbolo de Kronecker)
→e → → → →
i j} = [(e 1∧e 2∧..∧e n)’]
2 2 (ij..r)
g = Det {gij} = Det {e = V = t(ij..r)t
1 1
Det {gij} = = 2; Det {gij} = Det {gij} = 1
g V
ij → → → → ij → → →→
i⊗e j)](e k⊗e m) = t (e ie k)(eje m) = t gkigjm
ij
b) tkm = [t (e
→ ⊗e
c) tkm = [tij(e → )](e
→k⊗e
→ ) = tij(e
→e →k)(e
→e → kj
i j m i j m) = t gjm
→ ⊗e
d) tkm = [tij(e → )](e
→ ⊗e→m) = tij(e
→e → → →m im
i j k i k)(eje ) = t gki
timkl = gjmtijkl
y por lo tanto:
1
Det {tkm} = Det {tkm} = g Det {tkj} = Det {tkm}
g
→ } alguna base de E, {e →j
→i} su base dual y {f
siendo {ei } = {→τ→
ej} otra
base de E.
68
5.- Tensores isótropos.
→ij = e
e →i⊗e
→j⊗e
→ ⊗e→
ji j i
→i j = e
e →i⊗e
→ ⊗e→j⊗e
→
i j i j
1 → → → 1 →→ 1 → ~
(τ1+τ2)σ = (τ1σ + →τ2→
σ) = (σ+σ)
2 2 2
69
b) Tensor ½(→τ1-→τ2). Transforma un tensor en su
componente antisimétrico:
1 → → → 1 →→ 1 → ~
(τ1-τ2)σ = (τ1σ - →τ2)→
σ = (σ -σ )
2 2 2
70
6.- Invariantes de un tensor.Traza.
1 rr rr rr r r r
(29) δq = (τei ∧ τej∧..∧ τer)(ij..r) (ei ∧ ej∧..∧ er)(ij..r)
q!
δ1 = (→τe
→ )e
i
→i
y por lo tanto:
→
δ1 = →τ(e
→ ⊗ e
i
→i) = →τI
4ª.- La traza de un
→ tensor antisimétrico es nula, pues su
producto contracto con I simétrico debe ser nulo.
71
→
I→τ = (e
→m⊗e
→ )ti (e
m j
→ ⊗e
i
→j) = ti (e
j
→me
→ )(e
i
→e
m
→j) = tm
m
→
I→τ = (e
→m⊗e
→ )tij(e
→ ⊗e→ ) = tij(e
→me
→ )(e
→e → ij
m i j i m j) = t gij
→
I→τ = (e
→m⊗e
→ )t (e
m ij
→i⊗e→j) = t (e
ij
→me
→i)(e
→e
m
→j) = t gji
ij
→τ~ → ⊗b →i →j → →d →j →i→
σ = (a i )(d ⊗cj) = (a i )(b cj)
72
7.- Determinante de un tensor.
1 rr rr rr r r r
Det →τ = δn = (τe1 ∧ τe2 ∧..∧ τen)(e1 ∧ e2 ∧..∧ en)
n!
1 r rr rr rr rr r r
Det →τ= [ε(τe1 ∧ τe2 ∧..∧ τen)’][ε(e1 ∧ e2 ∧..∧ en)’]
n!
y por consiguiente:
(→τe
→ ∧→τe
1
→ ∧..∧→τe
2
→ )’(v
n
→1∧v
→2∧..∧vn)’=(→τv
→1∧→τv
→2∧..∧→τv
→n)’(e
→ ∧e
1
→ ∧..∧e
2
→ )’
n
rr rr rr r r r
(τ e1 ∧ τ e2 ∧..∧ τ en)’ (τ vr 1 ∧ τ vr 2 ∧..∧ τ vr n)’ →
r r r
(e1 ∧ e2 ∧..∧ en)’
=
(v r 1 ∧ r 2 ∧..∧ r n)’ = Det τ
v v
74
8.- Valores y vectores propios de un tensor.
tij=→τ(e
→ ⊗e
i
→ )=(→τe )e
j i
→ =α e
j
→→
i ie j
tii=αi; (i≠j): tij = 0
76
8.05.- Tensores antisimétricos.
Como estos valores sabemos por '8.03c que deben ser los
cuadrados de los valores propios correspondientes a →τ, estos
últimos, según a), deben ser nulos ó complejos y en el segundo
caso, por '8.03d, deberán ser pares de complejos conjugados, que
en este caso habrán de tener la forma:
±α -1
con α real no nulo, pues su cuadrado ha de ser un número real no
nulo. Este número real, ahora tendrá que ser negativo.
Pues se verifica:
→τ[λa
→+µ(→τa
→)] = λτ
→a→+ µτ
→(→τa
→) = λτ
→a→ - α2µa
→
→τ[→τ(λa
→+µτ
→a→)]= λτ
→(→τa
→) -µτ
→∗2(→τa
→)= -α2λa
→ -α2µτ
→a→= -α2(λa
→+µτ
→a→)
de →τ generado por a
→ y →τa
→, tal que A⊂F.
(→τv
→)(→τv
→) = →τ[v
→⊗(→τv
→)] = -→τ[(→τv
→)⊗v
→] = -[→τ(→τv
→)]v
→ = α2v
→v→ = (αv)2
1 r*2 r 1 r r
2 τ ei
= 2(-αi2ei) = -ei
αi αi
79
9.- Grupos de tensores. Potencias matriciales.
1ª. Im →τ = A
→ } podamos considerar, en
Ello nos permite que para {e i
lugar de una base de A, una base de E tal, que incluya una base
de A así como una base de A’.
(∀→τT)(∀→
σT): Im (→
σ+→τ) ⊂ A
(∀→τT)(∀→
σT): Nuc (→
σ+→τ) ⊃ A’
El conjunto T es cerrado para la transposición, dado
que el transpuesto de un tensor →τ, tiene su imagen ortogonal a
Nuc →τ y su núcleo ortogonal a Im →τ.
(∀→
σT)(∀→τT): →
σ∗→τ ∈T
Pues evidentemente se verifica:
Nuc (→
σ∗→τ) ⊃ Nuc →τ; Im (→
σ∗→τ) ⊂ Im →τ
Ahora bien, si un vector →
v de Nuc (→
σ∗→τ) no perteneciera también a
80
Nuc →τ, tendríamos:
r r r r r rr r rr r
⎧(σ* τ)v =r 0 ⎧σ(τv)= r0 ⎧ τv r εr Nuc
r σ
⎨ rτvr ≠ 0 ⇔ ⎨ rτvr ≠ 0 ⇔ ⎨ τv ≠ 0
⎩ ⎩ ⎩
Por consiguiente:
Núc (→
σ∗→τ) = Nuc →τ = Nuc →
σ ⇒ Dim Im (→
σ∗→τ) = Dim Im →
σ
y como siempre se verifica Im (→
σ∗→τ) ⊂ Im →
σ, tendremos:
Im (→
σ∗→τ) = Im →
σ = Im →τ
b) Como ya hemos visto que existe la asociatividad para
el producto matricial de tensores en general, también existe
entre los tensores de T.
Vamos a suponer,
→ que por analogía con lo estudiado
respecto al tensor I fundamental, →τo puede representarse así:
→τo = e
→ ⊗e →j →
→i = f
i ⊗f j
→ } y {f→ →i →j
siendo {e j} bases cualesquiera de A, y {e } y {f } sus
i
→
respectivas bases duales respecto al subespacio A = Im τ.
→τoa
→ = (e
→ ⊗e→i)a
→ = (a
→e→ )e
→i = a e→i = →
a
i i i
→∈A', tendremos e
Si a →a→
i =0 y por tanto:
→τoa
→ = (e
→ ⊗e→i)a
→ = (a
→e→ )e →
→i = 0
i i
81
→τo = →
σo
d) Los elementos de T admiten inverso.
→ →i
El inverso de →τ = e → ⊗f
→i es →τ-1 = f
i⊗e , cuyos factores
pertenecen a las bases duales de las consideradas para →τ, como
i
→
y I-→τo es el tensor de la aplicación proyección ortogonal de un
vector sobre Nuc →τ.
Un vector propio →
v del tensor →τ, con valor propio α≠0,
→
es vector propio de τ con valor propio α-1:
-1
→τ-1∗→τ=→τo ⇔ →τ-1(→τv
→)=→τov
→ ⇒ →τ-1(αv
→)=v
→ ⇔ →τ-1v
→=α-1v
→
9.09.- Observaciones.
83
En todo lo que acabamos de decir relativo a potencias
negativas o nulas de un tensor →τ, se presupone que el tensor las
admite tal como se han definido, y es evidente que esto ocurre si
y sólo si Im →τ y Nuc →τ son ortogonales y suplementarios ya que
esta es la única condición exigida para que →τ pueda formar parte
de algún grupo del tipo estudiado.
A 0
0 0
84
→
→τ(→τr-1 - δ →τr-2 + ... ±[δ →τ0 - δ →τ-1]) = 0
1 r-1 r
que exige:
→
→τr-1 - δ →τr-2 + ... ±[δ →τ0 - δ →τ-1] = 0
1 r-1 r
al llamar →
µ el tensor tal que {µ}’=A+, tendremos:
r
→τ∗→ → r µ
µ = I(det →τ) ⇔ →
µ = →τ-1(det →τ) ⇔ τ-1 = r
det τ
b) r<n.
Adoptaremos una base de E que sea una reunión de
cualquier base de Im →τ y de cualquier base de Nuc →τ, y así, con
la debida ordenación de los vectores base, la matriz {→τ}’
presenta la forma explicada en '9.09.
c) r=n-1.
85
r r
r r r r µ
P(µ) = µ - δn-1µ0 = 0 ⇒ µ0 =
δn-1
Pero como el subespacio imagen de → µ es ortogonal y
suplementario del de →τ, tendremos:
r
r0 + µr 0 = Ir ⇒ r0 = Ir - µ
τ τ
δn-1
d) r=1.
r r r r0 r
r
τ - α rτ0 = 0 ⇒ r0 = τ ⇒ r-1 = r-1 τ = τ = τ
τ τ τ
α α α α2
86
9.12.- Potencias y raíces de tensores simétricos.
→τ =
∑ → ⊗e→ )]; →τq =
∑ → ⊗e→ )]
r r
1
[αi(e i i 1
[(αi)q(e i i
9.13.- Raíces.
Al tensor →τ=∑αi(e→ ⊗e
i
→ ) corresponderán diversos tensores raíz
i
cuadrada:
r r r r r r r
( τ )1 = + α1(e1 ⊗e1) + α2(e2⊗e2) + α3(e3⊗e3)+...
r r r r r r r
( τ )2 = - α1(e1 ⊗e1) + α2(e2⊗e2) + α3(e3 ⊗e3)+...
etc.
88
10.- Tensores ortogonales.
Definiciones:
y esto equivale a:
→w
v2 + w2 + 2v → = (ω
→v→)2 + (ω
→w→)2 + 2(ω
→v→)(ω
→w→)
10-01.- Propiedades:
89
11.- Tensores semejantes.
11.02.- Si →
σ es semejante a →τ y la semejanza viene dada
→
por ω, se verifica que al vector propio v → de →τ con valor propio
α, corresponde el vector propio ωv de σ con la misma norma que →
→→ → v
e igual valor propio α:
→∗→τ∗ω
(ω →v
~)ω → = (ω
→∗→τ∗ω →)v
~∗ω → = (ω
→∗→τ)v
→ = ω
→(→τv
→) = α(ω
→v→)
→i ~ → →i ~→ ~→ → →i
[→ → ⊗b
µ∗(a i )∗λ]v = → → ⊗b
µ[(a i )(λv)] = →
µ{[(λv )ai]b } =
y por lo tanto:
→ → ⊗b→i ~ →→ →→i
µ∗(a i )∗λ = λa i⊗µb
90
12.- Tensores simétricos definidos positivos.
(i≠j): →τ(e
→ ⊗e→ ) = (→τe
→ )e→) = αe→→
i j i j i ie j = 0
92
13.- Tensores simétricos semidefinidos positivos.
13.01.- Definición.
93
ANALISIS TENSORIAL
95
Para su estudio elegiremos un punto O cualquiera de
referencia, y consideraremos al conjunto O×E de los pares de
puntos de E que tienen en común el primer punto O, como un
espacio vectorial EO constituído por los vectores de E ligados al
punto O. Este último conjunto, de con '1.02b, vemos que
→ acuerdo
corresponde a E, verificándose ŌO
→
= 0.
que explicita → es la
la aplicación de EO' sobre EO por la que ŌA
→
¯A.
imagen de Ō’
(O, base de E)
1.06.- Advertencia.
1ª.- La aplicación
→∈∆ es
2ª.- Para todo X
biunívoca.
la aplicación L también es biunívoca.
98
(∀O): → - r
r → = f(dx
→) = dx →
→ = X̄X̄’
X’ X
(∀O)(∀O’): →τ - →τ = →τ →
ON OA O’N - τO’A
⎡N r r N
r ⎤
lim ⎢∑[τ OX′ − τ OX ] − ∑L (dx) X X ⎥ =0
⎣A A ⎦
r r N r r
τ ON − τ OA = lim ∑ λ (dx)
A
X X
Quedará así:
99
r r N r r
(3) τN - τA = ∫
A
λdx
→
y el sumatorio del 2º miembro se lee: integral de λ desde A a N.
1.15.- Otras observaciones sobre las aplicaciones
diferenciables.
a) El campo de →
τ O y el campo de →
τ O' difieren en un campo
uniforme, pues tenemos:
→
τ OA-→
τ OB = →
τ O’A-→ →
τ OA-→
τ O’B τ O’A = →
⇒ τ OB-→
τ O’B = →τ OO’-→
τ O’O’ = Cte.
→
y esta constante, en el caso de tener → τ O’O’=0, valdrá → τ OO’.
b) Hemos hablado de campos y variables ó magnitudes en
'1.07. Conviene señalar que, cuando existe una aplicación
contínua y diferenciable de E en F de imágenes →
τ , existen tantos
campos de →τ como puntos origen es posible adoptar, pero se
conviene que la magnitud → τ es común y una sola. En cuanto al
campo L determinado por f, hemos visto que es uno sólo, el mismo
con cualquier origen que se considere, y por lo tanto con
cualquier campo de → τ . Finalmente acabamos de ver que la
diferencia entre dos campos de →τ es un campo uniforme.
1.16.- Diferenciales.
(4) →) = →
d→τ = LX(dx →
λXdx
cuyo valor depende no solamente de f y de X, por sucederle esto a
L, sino también de la elección de X’, de la que depende dx →. Por
otra parte, no se altera con un cambio de origen en la
identificación de X.
El orden tensorial de d→
τ coincide con el de →τ.
Podremos escribir:
100
r r N r
τN - τA = ∫ A
dτ
101
rr ∂ r
λei = r τ
∂ei
→→ →→i
d→τ = dxiλe i = dxiλ e ⇒
r r
r i ∂τ ∂τ
(5) dτ = dx r = dxi r i
∂ei ∂e
1.18.- Vector ∇.
102
tendremos:
(7) →i∂ = e
∇ = e → ∂i
i i
→ = dx e
dx →i = dxie
→
i i
r rr ∂ r r rr ∂ r
∂i τ = λei = r τ; ∂i τ = λei = r τ
∂ei ∂ei
103
2.- Utilización del vector ∇.
∂(α+β) = ∂α + ∂β
Por consiguiente, para cualquier operación entre
tensores, expresada por • tendremos:
(∇α)⊗(∇β)
(∇⊗∇)(αβ)
∇⊗∇⊗→τ; (∇⊗∇⊗∇)(αβ)
2.07.- Operadores.
a) Campo escalar α:
1. → ó Div v
Divergencia de v → = →
∇v
2. Tensor rotacional de v→ = ∇∧v→
3. (n=3) Tensor rotacional de v→ = [(∇×v→)×]
4. → →
(n=3) Vector rotacional de v ó Rot v = → →
(∇∧v)’ = ∇×v
∇ ⊗ (→τ+→
σ) = ∇⊗→τ + ∇⊗→
σ
b) Derivada de un producto de escalares αβ.
Ejemplos:
∇ (α +β ) = ∇ α + ∇ β
∇(αβ) = α(∇β) + β(∇α)
α β(∇α)- α(∇β)
∇ =
β β2
∇(sen α) = (cos α)(∇α)
3.03.- Algunas expresiones generales fundamentales.
Sea →
r la variable independiente, n la dimensión de E, y
→
I el tensor de la aplicación idéntica. Para →τ=r→ resulta:
→=I→; ∇r
→=n; ∇∧r
→=0→; (∇∇)r →
→=0 →r→)=2r
→; ∇r=r-1r
→
(16) ∇⊗r ; ∇(r
Efectivamente:
→ = ∇⊗r
→ - (∇⊗r →- I
→)~ = I →
→ = 0
Por AT D'1.13: ∇∧r
107
→=unif. y simº)
(I → = ∇(∇⊗r
(∇∇)r →) = ∇I→ = 0
→r
∇(r →) = 2∇(r→r
→) = 2(r→⊗∇)r
→ = 2I→r
→ = 2r
→
→r
∇r = ∇(r →)2 = 2(r
→r→)-2∇(r
→r→) = 2r-1(2r
→) = r-1r
→
∇⊗(→τm+px
→p) = p→τx
→p-1
∇(→τpx
→p)= ∇[→τ(x
→⊗x→⊗..⊗x →)]= p∇[→τ(x
→⊗x →⊗..x→)] =p∇[(→τx
→p-1)x
→]=
∇⊗(→τm+px
→p)= ∇⊗(→τxp) =(p∇)⊗[(→τx
→p-1)x
→]
[∇⊗(→τm+px
→p)]v →∇)[(→τx
→= p(v →] =p(→τx
→p-1)x →p-1)[(v
→∇)x→] =
(17) ∇⊗(→τm+px
→p) = p→τx
→p-1
[∇⊗(→
σs⊗→τp+m)]m = [(∇⊗→
σs)⊗→τp+m]m + [→
σs⊗(∇⊗→τp+m)]m
Puesto que tenemos:
[∇⊗(→
σs⊗→τp+m)]a →∇)[(→
→1+s+p = (a →s)(→τ a
σsa p+m
→p)] =
→∇)(→
= [(a →s)](→τ a
σsa →p) + (→ →s)[(a
σsa →∇)(→τ a →p)] =
p+m p+m
σs)⊗→τp+m]a
= [(∇⊗→ →1+s+p + [→
σs⊗(∇⊗→τp+m)]a
→1+s+p
109
→k, cuya expresión es:
si examinamos los coeficientes de ∇k⊗x
∂i∂j...∂p(xqxr...xw) = ∂ij..p(xqxr...xw)
ó qsea la de k derivadas direccionales sucesivas del producto
→, veremos que cuando
(x xr...xw) de coeficientes de la variable x
el conjunto de valores (i,j,..,p) coincide con el de los valores
(q,r,...,w), la expresión vale 1 y que en los demás casos se
anula. Podemos convenir en representar estas expresiones por:
(qr..w)
δ (ij..p)
(símbolo de Kronecker múltiple)
→k refiriéndolos a
Consideremos ahoraj los tensores ∇k⊗x
→ →
una base {ei} y a su dual {e }. Tendremos:
→k = ∂ (xqxr..xw)(e
∇ k⊗ x →ij..p⊗e
→ ) =δ (qr..w) →ij..p⊗e
(e → )=
ij..p qr..w (ij..p) qr..w
→ij..p⊗∑ e
= e →
P ij..p
a) Son isótropos.
b) Existe simetría total entra los k primeros índices así
como entre los k últimos índices.
c) Existe la siguiente simetría:
→k = x
∇ k⊗ x →k⊗∇k
→
d) Para k=1, obtenemos el tensor fundamental I.
→
3.10.- Los tensores ∇k⊗xk son los que multiplicados por
cualquier tensor de orden k, lo convierten, salvo un factor k! en
su componente 0-simétrico o sea completamente simétrico.
(∇⊗P→) = →
τ1 + 2→ →
τ 2x + .....+ m→ →m-1
τ mx
2 →
(∇ ⊗P) = 2→
τ2 + .....+ m(m-1)→ →m-2
τ mx
110
... = ............
→)
(∇m⊗P = m!→
τm
Los valores de → →
→s la s-derivadas para x=a, divididos por
s! y multiplicados por b , resultan:
r ⎛1⎞ r r ⎛ 2⎞ r r ⎛ 3⎞ r r ⎛ m ⎞r r
Par = τ0 + ⎜ ⎟ τ1a + ⎜ ⎟ τ2a2 + ⎜ ⎟ τ3a3 + ... + ⎜ ⎟ τ m am
⎝ 0⎠ ⎝ 0⎠ ⎝ 0⎠ ⎝ 0⎠
1 r r ⎛1⎞ r r ⎛ 2⎞ r r r ⎛ 3⎞ r r r ⎛ m ⎞r r r
(∇ ⊗P)ar b = ⎜ ⎟ τ1 b + ⎜ ⎟ τ2(a⊗ b) + ⎜ ⎟ τ3(a2⊗ b) + ... + ⎜ ⎟ τ m(am-1 ⊗ b)
1! ⎝1⎠ ⎝1⎠ ⎝1⎠ ⎝ 1⎠
1 2 r r2 ⎛ 2⎞ r r 2 ⎛ 3⎞ r r ⎛ m ⎞ r m-2 r 2
(∇ ⊗P)ar b = ⎜ ⎟ τ2 b + ⎜ ⎟ rτ3(a⊗ b2) + . . . + ⎜ ⎟ rτ m(a ⊗b )
2! ⎝ 2⎠ ⎝ 2⎠ ⎝ 2⎠
...... ...............
1 m r rm ⎛ m ⎞r r m
(∇ ⊗P)ar b = ⎜ ⎟τmb
m! ⎝m⎠
r 1 r r 1 2 r r2 1 m r rm
Par + (∇ ⊗P)ar b + (∇ ⊗P)ar b + ... + (∇ ⊗P)ar b =
1! 2! m!
r r r r r r r r r r r
= τ0 + τ1(a+b) + τ2(a+b)2 + ... + τ m(a+b)m = Par+br
Queda pues:
r r 1 r r 1 2 r r2 1 m r rm
Par +br = Par + (∇ ⊗P)ar b + (∇ ⊗P)ar b + ... + (∇ ⊗P)ar b
1! 2! m!
→
→=0 →
→ de b
Para a y para cualquier valor x , tenemos:
r r 1 r r 1 r r2 1 r rm
P = P0 + (∇1 ⊗P)0x + (∇2⊗P)0x + ... + (∇ m ⊗P)0x
1! 2! m!
→ original,
y como esta expresión ha de ser igual a la de P
comprobamos que se verifica:
r = r; r = 1 ( s⊗Pr
τ0 P0 τs ∇ )0
s!
111
5.- Integrabilidad espacial.
→
5.01.- Sea una magnitud tensorial λ de un orden s mayor
que O (o sea una magnitud no escalar), dependiente del punto X y
por consiguiente de una variable vectorial r →.
→, si y
Esta magnitud será integrable en un dominio→ de r
λ = ∇⊗τ
sólo si, en tal dominio puede expresarse en la forma → →. Ya
hemos visto que entonces la integral espacial de λ es τ más →
→ de integración, y se verificará:
cualquier tensor uniforme ϕ
→ →; r r → →
λ = ∇⊗τ ∫ dr = τ + ϕ
λ
5.03.- Consecuencias.
112
→ es potencial ó
y cuando se cumple, decimos que el campo de v
irrotacional.
εijk(∂iσjs) = 0
y la segunda condición por:
εrst(∂rσjs) = 0
A la vista de las condiciones anteriores resulta que la
condición necesaria y suficiente para que → σ pueda ponerse como
función lineal de las dos formas anteriores es:
113
εijkεrst(∂i∂rσjs) = 0
ó condición de congruencia de St. Vénant.
a) Si → v, un tensor →
v⊗∇ es el tensor transpuesto de ∇⊗→ σ
→ →
se puede expresar por ∇⊗v + v⊗∇ si, y sólo si, es un tensor
simétrico que cumple la condición de St. Vénant.
b) Si → v, un tensor →
v⊗∇ es el tensor transpuesto de ∇⊗→ σ
→ → →
se puede expresar por ∇∧v = ∇⊗v - v⊗∇ si, y sólo si, es un
tensor antisimétrico que cumple la condición de St. Vénant.
114
→.
6.- Funciones de función de x
Tendremos:
Derivación respecto a →:
y d→τ = (∇’⊗τ
→)dy
→
Derivación respecto a →
x: → →
dy = (∇ ⊗y)dx→
y por lo tanto:
d→τ = (∇’⊗τ
→)[(∇⊗y
→)dx
→]
a) →τ es un vector v
→.
→ y ∇’⊗τ
Como ∇⊗y → son de 2º orden, se verificará:
→ = (∇’⊗v
dv →)[(∇⊗y
→)dx
→] ⇔ → = (∇’⊗v
∇⊗v →)∗(∇⊗y
→)
b) →τ es un escalar α.
→)dx
dα = (∇’α)[(∇⊗y →] = (∇⊗y
→)(dx
→ ⊗ ∇’α) =
→)~}(∇’α ⊗ dx
= {(∇⊗y →) = [{(∇⊗y
→)~}(∇’α)]dx
→
→)~}(∇’α)
∇α = {(∇⊗y
c) →τ es cualquiera. Si tenemos →=kx
y →+v
→ con v
→ constante, se
verificará:
∇⊗y→ = k(∇⊗x
→) = kI→ ⇒
d→τ = (∇’⊗τ
→)[(∇⊗y
→)dx
→] = (∇’⊗τ →dx
→)(kI →)dx
→) = k(∇’⊗τ → ⇔
→ = k(∇’⊗τ
∇⊗τ →) ⇒ ∇ = k∇ ’
d) Aplicación del caso anterior a →τ= →
σy→p = → →+v
σ(kx →)p con →
σ
m-simétrico de orden m+p.
115
→ = ∇'⊗(→
∇’⊗τ σy→p) = p→
σy→p-1
∇⊗[→ →+v
σ(kx →) = kp→
→)p] = k(∇’⊗τ →+v
σ(kx →)p-1
y también tendremos:
∇⊗m⊗[→ →+v
σ(kx →)p] = kpp!→
σ
116
7.- Campos vectoriales particulares en un espacio
puntual afín n-dimensional.
ó ecuación de Laplace.
7.04.- →rs.
Campo vectorial r
117
Para ello calcularemos la divergencia del vector, y
teniendo en cuenta las ecuaciones (16) obtenemos:
→] = r
∇[rsr →[∇rs] + rs[∇r
→] = r
→[srs-1(∇r)] + rsn =
→[srs-1r-1r
= r →] + rsn = srs + rsn = rs(s+n)
(19) →r-n) = 0
∇(r
En consecuencia, el campo vectorial r-n→
r es solenoidal,
→ por ser un punto singular.
excepto para el origen de r
(20) → = -(n-2)-1∇r-(n-2)
r-nr
118
B. VARIEDADES. INTEGRACION.
119
2.- Politopos y tensores totalmente antisimétricos.
(21) → = e
V → ∧e
→ ∧..∧e
→
s 1 2 s
1 r r r
(23) (e1 ∧ e2 ∧...∧ es)′
s!
121
r 1 r r r r r
νi = e1 ∧...∧ ei-1 ∧ es ∧ ei+1 ∧...∧ es-1
(s-1)!
→:
Cara opuesta a e s
r 1 r r r
νs = - e1 ∧ e2 ∧...∧ es-1
(s-1)!
Base:
r 1 r r r r r r
ν = (e1-es)∧(e2-es)∧...∧(es-1-es)
(s-1)!
r 1 ⎡r r r s-1
r r r r r ⎤
ν =
(s-1)! ⎢
⎣
e1 ∧ e2 ∧..∧ e s-1 - ∑1
(e1 ∧...∧ ei-1 ∧ es ∧ ei+1 ∧..∧ es-1)⎥
⎦
s-l
r r
= - νs - ∑ νi
1
s-1
r r ri →
(26) ν + νs + ∑ν
1
= 0
→ ∧→ → ∧→ → ∧→ →; → ⊗→ →
i v 2 v s v
e 1
= e 2
= ... = e s
= ±sV e i vi = ±sV
→ el tensor volumen del politopo, ó sea:
siendo V
r 1 r r r
sV = e1 ∧ e2 ∧...∧ es
(s-1)!
Pues se verifica:
→ ∧→ r 1 r r r r r r
1 v = e1 ∧ es ∧ e2 ∧ e3 ∧...∧ es-1 = (−1)×(−1) sV = (−1) sV
0 s-2 s-2
1
e
(s-1)!
→ ∧→ r 1 r r r r r r
2 v = e2 ∧ e1 ∧ es ∧ e3 ∧...∧ es-1 = (−1) ×(−1) sV = (−1) sV
1 s-3 s-2
2
e
(s-1)!
y así sucesivamente.
→
Por otra parte, una vez descompuesto sVen sumandos
→ son
productos tensoriales, tendremos que los que empiezan por e
→ → → → → 1
los de e1⊗v , los que empiezan por e2 son los de e2⊗v , y así
1 2
(27) → ⊗→
r →⊗→
vi + r v = ±V→
i
y por lo tanto:
→' ⊗→
r →'⊗→
vi + r → +a
v = (r →)⊗→ →+a
vi + (r →)⊗→
vi =
i i
→ ⊗→
= r →⊗→
vi + r →⊗[∑→
v + a vi+→ → ⊗→
v] = r →⊗→
vi + r v
i i
TEOREMA 4.- Si →
vj es el tensor volumen de una cara del
poliedro, → el vector de posición del baricentro de esta cara y
r
→ j
V es la suma de los tensores volumen V → de los (s+1)-topos
j
considerados, se verifica:
r → = r
∑V j = V → ⊗→
j vj
→ ⊗→
y como por el párrafo anterior, ∑(r vi)j es nulo, queda:
i
→ = r
V ∑V j
→ ⊗→
= r j vj
→ no varía con el origen elegido, es
Como el valor de V
un invariante de la superficie cerrada y del poliedro, al que
denominaremos tensor volumen del poliedro.
125
3.- Magnitudes de volumen.
→i, alcon
→τ dV
tensor volumen dV , se demuestra que el sumatorio
aumentar indefinidamente el número →de fracciones, y
i i
disminuir → al mismo tiempo el valor de cada dV tendiendo todos
ellos a 0, tiende a su vez a un límite, que es independiente de
la posición del punto escogido en cada fracción. Escribiremos:
→ = →τ dV
→i = r r → = τdV
→
Q i ∫ Π
τdV ; dQ
→ Para
volumen V
este tipo de definición, en vez de un tensor
m-dimensional, también podríamos haber utilizado su
tensor polar V →’ ó el volumen escalar V. En el último caso, la
→.
magnitud →τ corresponde a la densidad puntual de Q
126
4.- Fórmulas de Stokes y de Ostrogradski.
→τ -→τ = B r r
B A ∫ (∇ ⊗ τ)dr
A
127
r r r r
(29') ∫ αdl = ∫ (ds×∇)α
S
= ∫ ds×(∇α)
S
= ∫ ds×(Grad α)
S
correspondientes.
r 1 r r r r r
(i de 1 a n-1): νi = e1 ∧..∧ ei-1 ∧ en ∧ ei+1 ∧..∧ en-1
(n-1)!
r 1 r r r
νn = - e1 ∧ e2 ∧...∧ en-1
(n-1)!
r r
(i de 1 a n): ν = -∑ νi
1 r r r
V = (e1 ∧ e2 ∧...∧ en)’
n!
r 1 r r r r r r
(i de 1 a n-1):si = (e1 ∧..∧ ei-1 ∧ en ∧ ei+1 ∧..∧ en-1)’= -nVei
(n-1)!
r 1 r r r r
sn = - (e1 ∧ e2 ∧...∧ en-1)’ = -nVen
(n-1)!
r
(i de 1 a n) s = ∑ nVeri
(i de 1 a n): → ⊗s
r →i + r
→⊗s →
→ = VI
i
→ el tensor unidad.
siendo I
128
r
r r
r ⊗ ri + r ⎛ r ei ⎞ ri + rr ⊗nV( ri)= V(r ⊗ ri) = VIr
ri s ⊗s = -⎜ r- ⎟ ⊗nVe
⎝ n⎠
∑e ei e
→i = [→τ + (∇⊗τ
→τ ds → ]ds
→)r →i = →τ (∑ds→i) + [(∇⊗τ →i]ds
→)r →i =
i 0 i 0
= (∇⊗τ → ⊗ds
→)(r →i) = (∇⊗τ →)dV I→ = (∇τ
→)dV
i
→ se suman.
pues al agregarse superficies los ds
(32) →r
(v → )(→τd→ → ⊗d→
vi) = (r vi)(v →(v
→⊗→τ) = V →⊗→τ) = (v
→V→)→τ
i i
129
(33) (→
σr→ )(→τd→
vi) = (d→ → )(→τ⊗→
vi⊗r →(→τ⊗→
σ) = ±V → →τ)→
σ) = ±(V σ
i i
→ ⊗d→
y el signo variará si (r vi) es de signo opuesto a (d→ → ).
vi⊗r
i i
(36) → )(→
(→τr i
→i) = V→τ→
σds σ
Pues si descomponemos ambos tensores en sumatorios de
productos tensoriales vector-tensor, podremos escribir:
→τ = v→ ⊗→ µj; →
σ = w → ⊗→ λk
j k
→ )(→
(→τr →i) = [(v
σds → ⊗→µj)r→ ][(w → ⊗→ →i] = (v
λk)ds →r→ → →i →j→k =
i j i k j i)(w kds )µ λ
Para →τ y ó →
σ variables continuas, solo será válida la
fórmula cuando todos los r→ tiendan a cero.
i
130
5.- Integraciones en general.
5.01.- Cuerpos.
Recordaremos
r r que relaciona una integral abierta de
volumen ∫ λdV de un cuerpo m-dimensional (1<m≤n), con una
V
r r
integral cerrada de volumen ∫ τdν correspondiente a su frontera
(m-1)-dimensional, de esta manera:
→ r r r r
(37) (λ=∇⊗→τ): ∫ τdν = ∫ λdV
V
→ r r r
(λ=∇⊗→τ): ∫ λdV = 0
131
→
ó sea que en un cuerpo
→ cualquiera, la integral de un tensor λ, en
su frontera, si λ es integrable, es siempre nula.
→
Ejemplo 1º.- λ= Tensor de la aplicación idéntica para
tensores de orden m.
r 1r r 1r r r
(39) ∫ ′=
dV ∫ m!ε dV =
m! ∫
ε dV = 0
2 A
1
A
1
→ r r r r r r
(λ=∇⊗→τ): ∫ λdV = ∫ λ dV − ∫ λ dV
A 2 1
→
Designando
→ → por Ψ ó flujo de λ a través de V, a las
integrales ∫VλdV, podremos escribir:
132
r r 2
(40) Ψ A = ∫(A∆ ⊗ τ)dV = Ψ2 - Ψ1 = ∫ 1
dΨ
→[∇⊗→τ]=∇→τ): r r r
(41) (→
µ=I ∫ τ ds = ∫ µdV
V
Si a un tensor →
µ determinado corresponde un tensor → τ,
evidentemente también corresponderá otro tensor →τ’ cualquiera
mientras cumpla la condición ∇→ τ =∇→
τ ’, ó sea que verifique:
→
∇(→τ-→τ’) = 0
5.06,- En →el caso de un campo tensorial →τ que verifique
uniformemente →µ=∇→τ=0 en todos los puntos del interior de un
cuerpo, la ecuación (41) se transforma en la siguiente:
133
v r r
∫ τds = 0
1
A
→ r r r r r r
(∇→τ=0): ∫ τds = ∫ τds − ∫ τ ds
A 2 1
r r 2
(42) ΦA = ∫ A
τds = Φ2 - Φ1 = ∫ 1
dΦ
134
C.- INTEGRALES Y CAMPOS PARTICULARES.
→r-n.
1.- Integrales de volumen relativas a r
1.01.- Generalidades.
→r
dω = ds →r-n = (ds
→r→r-1)r-(n-1) = ds r-(n-1)
1
a) Punto exterior: ωe = 0
b) Punto interior: ωi = nkn = Sr-(n-1) = nVr-n
135
→ →r-n]
1.03.- Integral Ω=∫S[ds r en una superficie
esférica.
ŌĀ·ŌĀ’ = R2
N α
→
→’
r
r
β
α β
O A’ A
→’
c
→
c
r →; r
→=ĀN →’= Ā’
¯N→
veremos que son semejantes los triángulos OAN y OA’N, con lo que
son iguales los dos ángulos señalados con α así como
ángulos señalados con β y designando por c → ylos
→ al vector ĀO por
dos
→’
c
→
¯O, también podremos escribir:
al vector Ā’
r c R c c′
= = ; r = r′; r′ = r
r′ R c′ R R
c’ -(n-1)
-(n-1) ∫
Ω’ = [ds cos α r-(n-1)]
R
Pero por una propiedad elemental del producto escalar,
se verifica:
r’ds cos β = r →;
→’d̄s r ds cos α = r →
→d̄s
c-(n-1) r c’ -(n-1) r
-(n-1) ∫ -(n-1) ∫
Ω = [(r’ds)r’ -n]; Ω′ = [(rds)r-n]
R R
Las dos integrales que aquí figuran, hemos visto en
'1.01, que son las expresiones de los ángulos sólidos con que se
ve la superficie esférica de volumen escalar S desde los puntos
A' y A respectivamente. Sabemos también por '1.01, que el
correspondiente al punto A exterior es nulo y que el
correspondiente al punto A' interior es el cociente de S dividido
por R(n-1).
Resulta pues:
c-(n-1) S
Ω’ = 0; Ω = -(n-1) (n-1)
= Sc-(n-1)
R R
y queda finalmente:
→ →
(43) Punto interior: Ω→’ = 0; -n
(44) Punto exterior: Ω = Sc→c
→ = µ →r-n = µdρ →
→r-n = µdρΩ
dD ∫ S
dVρr ∫ S
ds r
137
y podremos despreciar el efecto de la esfera hueca superficial.
4
En un espacio tridimensional: k3= π
3
138
→ → -n
1.06.- Tensor →
π = ∫l(d̄l∧r r ).
→ → →
l d̄l m
N A
→
a
→
r β
dβ
pero se verifica:
rdβ a a dβ
dl = ; r = ⇒ dl = ; r-n = a-n cosn β
cos β cos β cos β
2
Sustituyendo, tendremos:
cos(n-2)β dβ
-n -(n-1)
(dl r ) = a
con lo que al integrar para toda la recta resulta: (Ver Apéndice)
⎡ +
π
nkn ⎤
⎢α n =
⎣
∫
0
2 cosn-2βdβ = ⎥:
2(n-1)kn-1 ⎦
π
+
2
r r r r
π = (m ∧ a)a −n(−1) ∫cos
n −2
(45) β dβ = (m ∧ a)a −(n −1)2α n
π
−
2
139
En el caso de n=3 tenemos α3=1 y resultaría:
r r
→ -2 → → 2(mxa)
(46) π = 2a (m∧a) = ×
a2
→
→=N̄P
1.08.- Línea cualquiera con origen P exterior y a
infinitamente pequeño.
→ →∧[ (dlr
→r-n)] = 2α (m
→∧a
→)a-(n-1) = 2α m
→ → -(n-1)]
π = m ∫ l
n n ∧[a a
140
→
y sustituyendo la integral del último miembro por Ω tal como
vimos en '1.05 2, quedará:
→ →Ω→
(47) πS = 2αnm
→
De acuerdo con los valores de Ω indicados en '1.03,
resulta finalmente:
→ →
(48) a) Punto interior: πS = 0
(49) b) Punto exterior: → →∧S c
πS = 2αnm → -(n-1)
e c
→ →
→dρ = 2α m
(50) →
πV = ∫
→ →∧[
πsdρ = m ∫∫∫
→r-ndldsdρ)]= 2α m
(r →
n ∧∫ Ω n ∧D 1
ρ ρ S l
(51) → →∧Vc
πV = 2αnm →c-(n-1)
→ el vector de
siendo V el volumen escalar de toda la esfera, y c
posición del centro de la esfera.
141
→ →∧V’c
→c-(n-1) = 2α m
→ →
n ∧(kn-1c )
(52) πV = 2αnm
siendo V’ el volumen escalar de la esfera (n-1)-dimensional en
cuya superficie se halla el origen, c → el radio ó vector de
posición del centro de la esfera, y kn-1=V'c-(n-1) una constante
escalar que sólo depende de n.
→
Del mismo modo que Ω es nulo para los puntos
interiores a una superficie, ahora es nulo πv para los puntos
interiores de un tubo.
→ →r-ndldsdρ)
(53) H = ∫∫∫
ρ S l
(r
142
→ para cualquier cuerpo.
2.- Valor de ∇D
2.01.- Generalidades.
→’=-r
→): → (→ →r-n)d→ (→ →’r-n)d→
(r σ = ∫ V
µr λ = - ∫ V
µr λ
→ →
en que V es un cuerpo m-dimensional, dλ una función de dV
infinitesimal, →
µ el valor de una magnitud de→ punto determinada
→, r
correspondiente a un punto N de cada dV →=ĀN →=-r
→'=N̄A
y r →.
→ (∇⊗σ
Para calcular ∇•σ →, ∇σ
→, etc.), también en A,
tendremos en cuenta:
que para →
µ escalar queda así:
→ →r-ndV.
2.02.- Cálculo de ∇D=∇∫Vµr
→ y µ referidos al punto A.
para los valores de ∇D
→
al multiplicar miembro a miembro por ∇, y cambiando para ello c
→ →
por c’=-c:
→ →’
∇D = -knµ∇c
→’=n, al pasar nuevamente al origen A queda:
y como ∇c
→ = k µn
∇D n
144
3.- Campos solenoidales.
i1 = i2 = i
→
y decimos que los flujos de un campo solenoidal S que atraviesan
145
dos secciones cualesquiera de un tubo de campo, son iguales.
di r di
⇒ k = ⇒ S = dl ⇒
dV dV
→
→dV = di d̄l
(58) ⇒ S
_
→ y dl→ tienen el versor m
→ común, si ds es el escalar de
y como S 1
la sección ortogonal, podremos escribir:
(59) di m →ds
→ = S
1
→→γdV = →
→γd̄l
∫ V
S ∫i
di ∫
l
→
→dV = 0
∫ V
S
se verifica:
2
→ = r -(n-2) - r -(n-2) = 0
∫ 1
∇r-(n-2)dr 2 1
147
2 →
→r-ndl
∫ 1
r = 0
→r→r-ndV →
→r-nd̄l
∫V
S = ∫ i
di ∫
l
r = 0
→∧r
→r-n)dV → → →τ
∫ ∫ ∫ (d̄l∧rr
-n
(61) (S = di ) =
V i l
→ → -n
(62) d→τ = di ∫ (d̄l∧r r )
l
148
pero se verifica:
→ →r-n) = [∇⊗(r →
→r-n)]d̄l
(d̄l∇)(r
→
→r-n)]d̄l
[∇(r = 0
→.
3.11.- Cálculo de ∇τ
∇ ∫ d→τ = ∫ ∇d→τ
l l
→ → -n → → -n →
∇d→τ = ∇di ∫ (d̄l∧r ’r ) = di ∫ [∇(d̄l∧r ’r )] = di ∫
→’r-n)d̄l
[(∇⊗r ]
l l l
∇d→τ = di([r
→’r-n] - [r
2
→’r-n] ) = 0
1
→ = -∇ → → → →
∇τ ∫ (S ∧r’r ∫ ∇(S ∧r’r
-n -n
2 )dV = - )dV
V 2
→ = - → → →
∇τ ∫ (S ∧r’r
-n
2 )d̄s
S
→ = - → → → → →)d̄s
→ =
∇τ ∫ (S ⊗r’r ∫ ([r’r ]⊗S
-n -n
2 )d̄s +
S S
→ → → → → →)
∫ (Sd̄s)r’r ∫ S(r’r
-n n-1
= - + d̄s
S S
→
→ = S → →= -S
→(nk )
∇τ ∫ r’r
-n
d̄s n
S
3.14.- c) Resumen.
(65) ∇τ →
→ = -nk S
n
⎡ 4π ⎤ r r
⎢⎣n = 3; kn = 3 ⎥⎦: ∇τ = -4πS
150
3.15.- El resultado de (65), también podríamos haberlo
deducido de la fórmula (52) relativa al valor → πV de un cilindro
de revolución infinitamente largo, tomando un origen interior A,
→=c
y siendo el vector ĀO → la proyección ortogonal de A sobre el eje
del cilindro.
Calcularemos ∇(S→ ∧c
→'):
→ ∧c
∇(S →’) = ∇(S→ ⊗c
→’) - ∇(c→’⊗ S→) = S→(∇⊗c
→’) - (∇c →
→’)S
→
→’=I →’=n:
y teniendo en cuenta que ∇⊗c (tensor idéntico) y que ∇c
→ ⊗c
∇(S → - nS
→’) = S → = -(n-1)S
→
2σnkn-1(n-1) = nkn
151
4.- Campos irrotacionales,
→
→d̄l
(66) ∫ w = 0
→ también lo será
Recordaremos que si U es integral de w
U' si y sólo si se diferencia de U en un escalar uniforme.
dU r dU r
k = ⇒ w = ds
dV dV
(67) ⇒ w →
→dV = dUd̄s
153
→ y d
Como w →s→ para cada punto tienen el versor m
→ común,
si dl1 es allí la distancia ortogonal entre superficies, también
se verifica en el punto:
(68) →dU = w
m →dl
1
→dV = dU _→ →
∫ V
w ∫ S
ds = 0
→
→dV = 0
(69) ∫ V
w
→γw
→dV = →
→γd̄s
(70) ∫ V ∫ U
dU ∫ S
→γw
→dV = 0
(71) ∫ V
→γw
→dV = (U -U )nk
∫ V
2 1 n
Sea el tensor
→χ = →∧r
→r-n)dV → ∧r
→r-n)
∫ V
(w = ∫ U
dU ∫ (d̄s
→ →
Análogamente a '3.10, podemos sustituir d̄l por d̄s
obteniendo:
_→ → -n _→ → -n
∇[ds ∧(rr )] = ∇[ds ⊗(rr )]
→
→ en lugar de S
y operando con capas en lugar de tubos, y con w
llegamos al resultado:
→ = -nk w
∇χ →
n
155
5.- Campos armónicos.
→ que
5.01.- Llamamos armónico a todo campo vectorial v
sea a un tiempo irrotacional y solenoidal, ó sea que verifica
tanto la relación característica del uno, como la del otro:
→ = 0;
∇v → = 0
∇∧v
y tendrá por tanto, a la vez, las propiedades de ambos campos.
→ irrotacional tendremos que será la derivada
Por ser v
∇U de una variable U escalar, y por ser también solenoidal, su
producto contracto por ∇ habrá de ser nulo. La condición de
armonicidad para la derivada de algún escalar U, es pues:
ó ecuación de Laplace.
que normalmente
→ se→ referirán a elementos de volumen rectangulares
en los que d̄l, d̄s → son vectores de igual dirección.
y v
→=0 en
5.03.- Vamos a ver en qué condiciones tendremos v
un campo armónico.
di = v ds; dU = v dl ⇒
di dU di dU di dU
v= = ⇒ v2 = =
ds dl ds dl dV
→)]dV = →.
→)d̄s
∫ V
[∇(Uv ∫ S
(Uv
157
Esta expresión, cuando U es uniforme en la frontera y →
v
es solenoidal, se anula por (56):
→)]dV = U → = 0
→d̄s
∫ V
[∇(Uv ∫ S
v
→)]dV =
∫ V
[∇(Uv ∫ V
v2dV
→)]dV = 0 =
∫ V
[∇(Uv ∫ V
v2dV
158
D.- ECUACIONES DIFERENCIALES
Son de la forma:
r r r r
r dn τ d2 τ dτ r
A = kn n +...+ k2 2 + k1 + k0 τ = 0
dt dt dt
→
Ensayando una solución de la forma →τ=λeβt, con →
a
constante y e número de Euler, se obtiene:
r r
k0 τ = k0λeβt
r
dτ d r βt r
k1 = k1 (λe ) = k1λeβtβ
dt dt
r r
d2 τ d dτ d r r
k2 2 = k2 = k2 (λeβt) = k2λeβtβ2
dt dt dt dt
. . . . . . . . .
r r
dn τ n
kn n = kn λeβtβ
dt
Sustituyendo en la ecuación, resulta:
→ βt →
λe [knβn + ... + k2β2 + k1β + k0] = 0
Serán válidas las soluciones correspondientes a los
valores de β que anulan el corchete, es decir, las soluciones de
la ecuación:
1.02.- 2º ejemplo.
Con →τ1=v
→ y →τ = k, son de la forma:
0
→τ (∇⊗n⊗σ
→) + .. + →τ (∇⊗∇⊗σ
→) + v →) + k→
→(∇⊗σ →
n 2 σ = 0
159
→ →→ →
Ensayaremos una solución de la forma →
σ = λea x siendo λ
→ →
un tensor uniforme del orden de σ y a un vector uniforme. Se
obtiene:
→→
→ea→x→
∇(ea x ) = a
y por lo tanto:
→ →→
k→
σ = kλea x
→(∇⊗σ
v →(∇⊗ →
→) = v →→
→[(∇ea→x→)⊗ →
λea x ) = v →⊗ →
→(a
λ] = v
→→
λ)ea x
→τ (∇⊗∇⊗σ
→)= →τ [∇⊗(∇⊗σ →⊗ →
→)]= →τ (∇⊗a →→
λ)ea x = →τ2(a →⊗ →
→⊗a →→
λ)ea x
2 2 2
. . . . . . . .
→τ (∇n⊗σ →n⊗ →
→) = →τ (a →→
→n) →
λ)ea x = (→τna
→→
λea x
n n
[→τna
→n + ... + →τ (a
→⊗a
→) + v
→a→ + k] → →→ →
λea x = 0
2
→τ a→n + ... + →τ (a
→⊗a
→) + v
→a→ + k = 0
n 2
160
en cuya expresión t es la única variable independiente, ft es la
→
derivada parcial respecto t, fx la derivada parcial respecto a x
→
y fx’ la derivada parcial respecto x’. Por razón de homogeneidad
estarán representadas por una magnitud escalar y dos vectoriales
respectivamente. Escribiremos en consecuencia:
→ → → →
df = ftdt + fxdx + fx’dx ’
→,x
→’)dt
I = ∫ AB
f(t,x
→(t) entre A y
y veamos qué condiciones necesita reunir la curva x
B para que esta integral sea extremal, es decir, para que toda
variación en la curva entre A y B cambie su valor en el mismo
sentido, sea de aumentar o disminuir.
→+αv
→, x
→’+αv
→’)dt
I = ∫AB
f(t, x
→, obtenemos
Dando distintos valores a α para un mismo v
una familia de curvas que pasan por A y B, siendo la curva
primitiva la que corresponde a α=0. Si esta curva primitiva es
extremal se habrá de verificar:
⎛ dI ⎞
⎜ ⎟ = 0
⎝ dα ⎠α=0
→ determinado,
Obtendremos pues la condición para un v
derivando I respecto a α para α=0, considerando v → fijo, e
igualando a cero el resultado que se obtenga:
→→ → v → →→ → →
0 = ∫ AB
(fxv + f x’ ’)dt = ∫ AB
fxv dt + ∫ AB
fx’v ’dt
pero se verifica:
r
r r rr b
fx′ v ′ dt = [vfx′ ] −
r dfx′
∫ AB a
∫AB v dt dt
Como el término integrado es nulo por serlo → v en A y en
B, al sustituir el primer miembro en la ecuación anterior, se
tendrá: r r
r r r dfx′ r dfx′ r
0 = ∫ fx v dt − ∫ v dt = ∫ (fx − )vdt
AB AB dt AB dt
161
Como si la curva primitiva es extremal,esto se habrá de
verificar para cualquier v → que se anule en A y B, resulta
finalmente que es condición necesaria para ello la siguiente:
r
→ d →
fx - fx’ = 0
dt
162
E.- SERIES POLINOMICAS.
Admitiremos
→ también que µ y ∇µ varían en forma continua
desde a→ hasta b a lo largo del segmento rectilíneo AB que
→
→ y b
determinan a .
→
µB - µA = ∫ AB
(∇µ)dr
La fórmula es la siguiente:
r r
r = r + 1 (∇ ⊗ rτ (b 1 r r r
τB τA )A -a) + (∇⊗2⊗ τ)A(b-a)⊗2 + ....
1! 2!
163
1 ⊗m r r r ⊗m r
.... + (∇ ⊗ τ)A(b-a) + ε
m!
r ⎡r 1 r r r 1 r r r
(72) µ = σ ⎢ τ + (∇ ⊗ τ)(b-x) + (∇⊗2⊗ τ)(b-x)⊗2 + ...
⎣ 1! 2!
r r r
1 ⊗m r r r ⊗m r ν(b-x)⊗(m+1)⎤
....+ (∇ ⊗ τ)(b-x) + ε r r r ⊗(m+1)⎥
m! ν(b-a) ⎦
µa = µb = →
σ→τB
y que por tanto cumple la condición exigida a la función µ que ha
intervenido en la demostración del teorema de Rolle.
Por consiguiente podemos establecer que en algún punto
C del segmento AB, distinto de A y de B, se verifica:
→ →
(73) (∇µ)C(b-a ) = 0
r 1 r r r
(75) ε = (∇⊗(m+1)⊗ τ)C(b-a)⊗(m+1)
(m +1)!
164
Si además de ser escalar →τ, tenemos que el espacio es
unidimensional, esta expresión de →ε queda reducida al conocido
término complementario de Lagrange.
Sea →
ρC el tensor siguiente:
r 1 r r r
ρC = (∇⊗(m+1)⊗ τ)C(b-a)⊗(m+1)
(m +1)!
(e →j)→ε = (e
→i⊗e →j)→
→i⊗e ρC
y por tanto habrá la siguiente relación de coeficientes:
εij = (rij)C
que determina el coeficiente εij de →ε correspondiente al vector
base elegido.
165
r r
r = r + 1 (∇ ⊗ rτ (b 1 r r r
τB τA )A -a) + (∇⊗2⊗ τ)A(b-a)⊗2 + ....
1! 2!
1 ⊗m r r r ⊗m
.... + (∇ ⊗ τ)A(b-a) + ...
m!
r = r + 1 (∇ ⊗ rτ br 1 r r 1 r r
τB τ0 )0 + (∇⊗2⊗ τ)0 b⊗2 + .. + (∇⊗ m ⊗ τ)0 b⊗ m + ..
1! 2! m!
r - r = 1 (∇ ⊗ rτ dxr 1 ⊗2 r r ⊗2 1 r r ⊗m
+ (∇ ⊗ τ)A d x + .. + (∇⊗ m ⊗ τ)A d x + ..
τB τA )A
1! 2! m!
166
1 r r rr r r
α m+1 = {∇[∇ m(b-x)m](στ)}C(b-a)
m!
1 r r r r
αi+1 =
i!
{
[∇(b-a)][∇i(b-x)i](στ)}c
rr
1 r r r r r r 1 r r r r r r
α’i+1 = [∇i ⊗∇ ⊗ τ]C [(b-c)i ⊗(b-a)⊗ σ]= [∇i+1 ⊗ τ]c[(b-c)i ⊗(b-a)⊗ σ]
i! i!
1 i+1 r i r r i+1 r 1 r r r r
α’i+1 = [∇ ⊗ τ]c[k (b-a) ⊗ σ] = [ (∇i+1 ⊗ τ)cki(b-a)i+1]σ
i! i!
1 r r r r rr
α ′i′+1 = {∇[∇i(b-x)i]}c(b-a)(στ)C
i!
→-x
Pero ∇[∇i(b →)i] es la derivada de un monomio en (b→-x
→)
i → → i-1
y sustituyendo por su valor -i∇ (b-x) dado por (17) y A'6.03c,
se tiene:
1 r r r r rr
α ′i′+1 = - i{[∇i(b-x)i-1](b-a)(στ)}C =
i!
i r r r r rr 1 r r r r r r
= - {∇i[(b-x)i-1 ⊗(b-a)](στ)}C = - (∇i ⊗ τ)C[(b-c)i-1 ⊗(b-a)⊗ σ]
i! (i-1)!
y por consiguiente:
α”i+1 = - α’i
1.12.- Cálculo del último término β.
{∇[→
v(b →)m+1]} = -(m+1)→
→-x
C
→-c
v(b →)m
tendremos sustituyendo:
r r r r r r r r r r
r r [(m +1)ν(b-c)m](b-a) r r ν[(b-c)m ⊗(b-a)]
β = -(εσ) r r r = -(m +1)(εσ) r r r
ν(b-a)m+1 ν(b-a)m+1
r r r
r r m ν(b-a)m+1 rr
β = -(m +1)(εσ)k r r r m+1 = -(m +1)(εσ)km
ν(b-a)
→-a
1.13.- Resumiendo, los términos de {(∇µ)(b →)} , son:
C
α1 = α’1
α2 = α’2 – α’1
α3 = α’3 – α’2
. . . . . . . .
1 r r r r
αm+1 = α’m+1 - α’m = [ (∇ m+1 ⊗ τ)C km(b-a)m+1]σ - α’m
m!
β = - (m+1)(→ σ→ε)km.
Sumando miembro a miembro, queda:
1 r r r r rr
0 = [ (∇ m+1 ⊗ τ)C km(b-a)m+1]σ - (m +1)(σε)km
m!
de donde se deduce:
rr 1 r r r r
σε = [(∇ m+1 ⊗ τ)C(b-a)m+1]σ
(m +1)!
168
APENDICE
π
+ 2·4·6····(2p)
∫ 0
2 cos2p+1 xdx =
1·3·5····( 2p +1)
2p
V2p-1 = π p-1r2p-1
(2p-1)(2p-3)····5·3·1
1 p 2p
V2p = πr
p!
2.2p
V2p+1 = π pr2p+1
(2p+1)(2p-1)····5·3·1
2p
k2p-1 = π p-1
(2p-1)(2p-3)····5·3·1
1 p
k2p = π
p!
2.2p
k2p+1 = πp
(2p+1)(2p-1)····5·3·1
π
k2p 2(2p-1)(2p-3)···3·1 π 2(2p-1) + 2
k2p-1
=
2p (2p-2)···4·2 2
=
2p ∫0
cos2p-2xdx
170
INDICE DE EQUACIONES
171