Professional Documents
Culture Documents
Apunts Complets PDF
Apunts Complets PDF
Espais de Hilbert
Càlcul vectorial
3. Exercicis 124
Bibliografia 183
Definició 1.2. En tot espai prehilbertià (X, h·, ·i), podem definir un nombre real
p
no negatiu associat a cada vector, aixı́ si v ∈ X, associem kvk := + hv, vi.
Aquest nombre real kvk s’anomena norma del vector v associada al producte
escalar. De la mateixa manera, donats v, w ∈ X s’anomena distància associada al
producte escalar entre v i w al nombre real:
p
d(v, w) = kv − wk = + hv − w, v − wi.
1
2 1. Espais amb producte escalar
es comprovarà més tard que aquesta distància és una mètrica sobre X.
n
X
h(z1 , z2 , ..., zn ), (w1 , w2 , ..., wn )i = zi wi .
i=1
h((x1 , x2 , x3 , x4 ), (y1 , y2 , y3 , y4 )i = x1 y1 + x2 y2 + x3 y3 + x4 y4 ,
h(x1 + ix2 , x3 + ix4 ) , (y1 + iy2 , y3 + iy4 )i = (xi + ix2 )(y1 + iy2 ) + (x3 + ix4 )(y3 + iy4 )
= x1 y1 + x2 y2 + x3 y3 + x4 y4 + i(x2 y1 − x1 y2 + x4 y3 − x3 y4 ).
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
1. Introducció a l’espai de Hilbert. 3
És prou senzill provar que l’anterior és un producte escalar sobre C([a, b]).
1.1. Conseqüències directes de la definició. Siga (X, h·, ·i) un espai pre-
hilbertià i siguen v, w ∈ X dels axiomes de producte escalar es dedueixen les següents
propietats:
1. hv, λwi = λhv, wi,
2. hv, u + wi = hv, ui + hv, wi,
3. hv, 0i = h0, vi = 0.
En els espais prehilbertians és fonamental l’anomenada desigualtat de Cauchy-
Schwarz.
Teorema 1.1. Si (X, h·, ·i) és un espai prehilbertià, per a cada x, y ∈ X és
compleix:
|hx, yi| ≤ kxkkyk.
Prova.
Si algún dels dos vectors x o y és el vector nul, aleshores la desigualtat és evident.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
4 1. Espais amb producte escalar
hy, xi
0 ≤ kxk2 − hx, yi.
kyk2
Llavors,
Teorema 1.2. Si (X, h·, ·i) és un espai prehilbertià, la norma associada al pro-
ducte escalar compleix:
Prova.
(1) És conseqüència inmediata de la definició.
(2) És conseqüència de (PE5).
Només cal provar la desigualtat triangluar ja que les altres són trivials.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
1. Introducció a l’espai de Hilbert. 5
Siguen x, y ∈ X, aleshores
(a) k0k = 0.
(b) k − xk = kxk
(c) |kxk − kyk| ≤ kx − yk.
A partir de la desigualtat (c) és inmediat veure que la norma, és a dir, l’aplicació
x 7→ kxk admet la constant de Lipschitz 1, i per tant és uniformement contı́nua en
X.
Proposició 1.1. Si (X, h·, ·i) és un espai prehilbertià, aleshores (X, d) és un
espai mètric si es defineix d : X × X → [0, +∞) per
d(x, y) := kx − yk,
per a qualsevol x, y ∈ X.
Prova.
És clar des de la definició que d(x, y) és un nombre real no negatiu. També
Proposició 1.2. Siga (X, h·, ·i) és un espai prehilbertià, i siga x ∈ X. Aleshores
Prova.
(a) La linealitat de fx és inmediata des de les propietats que defineixen al pro-
ducte escalar. La continuı̈tat és conseqüència de la desigualtat de Cauchy-Schwarz:
Per tant, l’aplicació fx és lipschitziana amb constant de lipschitz igual a kxk, i això
ens diu que és uniformement contı́nua en X.
(b) Si xn → x, aleshores com en tot espai mètric una successió convergent és
fitada, la successió (xn ) és fitada, i per tant també és fitada la successió (kxn k), ja
que kxn k = d(xn ,0). Llavors existeix K > 0 de forma que per a tot n ∈ N, kxn k ≤ K.
Aleshores, per la desigualtat de Cauchy-Schwarz
Teorema 1.3. Siga (X, h·, ·i) és un espai prehilbertià, per a qualsevol x, y ∈ X
es compleix:
kx + yk2 + kx − yk2 = 2kxk2 + 2kyk2 .
Prova.
kx + yk2 + kx − yk2 = hx + y, x + yi + hx − y, x − yi
= hx, x + yi + hy, x + yi + hx, x − yi + h−y, x − yi
= hx, xi + hx, yi + hy, xi + hy, yi
+hx, xi − hx, yi − hy, xi + hy, yi
= 2hx, xi + 2hy, yi
= 2kxk2 + 2kyk2 .
Com x + y i x − y són les diagonals del paral·lelogram construı̈t sobre el costats
x i y, la igualtat del paral·lelogram expressa: la suma dels quadrats de les diagonals
d’un paral·lelogram és igual a la suma dels quadrats dels seus costats.
Si (X, k·k) és un espai normat de manera que la norma k·k verifica la igualtat del
paral·lelogram, aleshores podem introduir un producte escalar sobre X. Ho farem
per a un espai normat real:
En aquest cas definim h·, ·i : X × X → R com
1
hx, yi := (kx + yk2 − kx − yk2 ).
4
Vegem que h·, ·i és un producte escalar real sobre X. En efecte,
Per la definició, tenim que hx, xi = 41 (kx + xk2 − kx − xk2 ) = kxk2 ≥ 0 i a més,
a més, si hx, xi = 0, aleshores x = 0. Per tant, hem vist que els axiomes (PE4) i
(PE5) es compleixen.
Vegem ara que també es compleix (PE1):
1
hx, yi = (kx + yk2 − kx − yk2 ) = hy, xi.
4
Per a provar (PE3) definim la funció de tres variables
(1) Φ(x, y, z) = kx+y +zk2 −kx+y −zk2 −kx+zk2 +kx−zk2 −ky +zk2 +ky −zk2 .
aleshores,
El primer sumant ens dona ky + zk2 + kxk2 i el segon −ky + zk2 − kxk2 . És a
dir,
Φ(x, y, z) = 0.
Per últim hem de veure (PE2). Per a fer-ho, definim la funció ϕ : R → R com
h pq x, yi = ph 1q x, yi = pq qh 1q x, yi
= pq hx, yi,
el que ens diu que ϕ(c) = 0 per a tot c ∈ Q. Com ϕ és una funció contı́nua en R i
els nombres racionals són densos en els reals, es pot concloure que ϕ(λ) = 0 per a
tot λ ∈ R, que és el que voliem provar.
Si l’espai normat és complex, definim:
1 1
hx, yi := (kx + yk2 − kx − yk2 ) + i (kx + iyk2 − kx − iyk2 ).
4 4
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
10 2. Ortogonalitat
2. Ortogonalitat
Definició 1.3. Si (X, h·, ·i) és un espai prehilbertià, es diu que dos vectors x, y ∈
X són ortogonals si hx, yi = 0. Si M és un subconjunt no buit de X, es diu que un
vector x és ortogonal a M si hx, vi = 0 per a tot v ∈ M . En aquest cas escriurem
x ⊥ M. El conjunt de vectors de X que són ortogonals a M s’anomena conjunt
ortogonal a M i el denotarem per M ⊥ := {x ∈ X : x ⊥ M }.
És molt fàcil veure que M ⊥ és un subespai vectorial de X. La relació d’ortogonalitat
és simètrica, és a dir, si x, y són ortogonals si, i només si, y, x també ho són.
Proposició 1.3. Si M 6= ∅ és un subconjunt d’un espai prehilbertià (X, h·, ·i),
aleshores M ⊥ és un suespai tancat de X.
Prova.
Si y ∈ M ⊥ , existeix una successió (vn ) d’elements de M ⊥ amb vn → y, per la
continuı̈tat del producte escalar, per a qualsevol x ∈ M
sent vn ∈ M ⊥ , per a tot enter positiu hvn , xi = 0, per tant hy, xi = 0, i com x és
arbitrari en M , y ∈ M ⊥ . Aixı́ doncs s’obté el resultat.
Proposició 1.4. Si M 6= ∅ és un subconjunt d’un espai prehilbertià (X, h·, ·i),
⊥
aleshores M ⊥ = M .
Prova.
⊥
Com M ⊆ M , és clar que M ⊆ M ⊥ . D’altra banda, si y ∈ M ⊥ , per a tot x ∈ M ,
hx, yi = 0. Si x0 és qualsevol element de M , per a una successió (xn ) d’elements de
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
1. Introducció a l’espai de Hilbert. 11
Teorema 1.4. (Teorema de Pitàgoras) Siga (X, h·, ·i) un espai prehilbertià. Si
x, y són dos vectors ortogonals, aleshores kx + yk2 = kxk2 + kyk2 .
Prova.
kx+yk2 = hx+y, x+yi = hx, x+yi+hy, x+yi = kxk2 +hx, yi+hy, xi+kyk2 = kxk2 +kyk2 .
Per un procés inductiu i aplicant el teorema de Pitàgoras s’arriba a:
3. Espais de Hilbert
Definició 1.4. Un espai prehilbertià (X, h·, ·i) s’anomena espai de Hilbert, si
amb la mètrica associada al producte escalar, és un espai mètric complet.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
12 3. Espais de Hilbert
Exemple 1.8. En l’espai vectorial C([a, b]) pot definir-se un producte escalar:
Rb
(f, g) 7→ hf, gi := a f (t)g(t)dt. La norma associada és:
s
Z b
kf k := + f 2 (t)dt.
a
Suposem ara que existeix f ∈ C([0, 1]) tal que fn → f . Fixem m ∈ N y fiquem
Jm = [0, 1] ∩ ( 12 , 21 + 1
m
). Si n ≥ m
1
Z 1 Z
2
Z Z 1
2 2 2 2
kfn −f k = |fn (t)−f (t)| dt = |0−f (t)| + |fn (t)−f (t)| dt+ |1−f (t)|2 dt.
1 1
0 0 Jm 2
+m
Com kfn − f k → 0, les dues integral que no depenen de n han de ser nul·les. El
raonament és valid per a cada natural m, i com f és contı́nua, si són nul·les les dues
integrals, necessariament f ha de ser nul·la en [0, 21 ] i igual a 1 en [ 12 + 1
m
, 1], el que
significa que f és discontı́nua en t = 12 , una contradicció.
3.1. Espais de Hilbert reals. l’angle format per dos vectors no nuls del plà
o de l’espai tridimensional v i w es defineix com l’angle en radians θ ∈ [0, π] que
formen les semirectes que tenen com a origen l’origen de coordenades i passen pels
punts v y w respectivament.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
1. Introducció a l’espai de Hilbert. 13
p
h = kak sin(θ), kbk = kakcos(θ) + ka − bk2 − h2
kbk2 + kak2 cos2 (θ) − 2kakkbk cos(θ) = kak2 + kbk2 − 2ha, bi − kak2 sin2 (θ)
Definició 1.5. Donats dos vectors no nuls a, b ∈ X s’anomena angle format per
aquests vectors al següent nombre real:
ha, bi
θ := arc cos( ) ∈ [0, π].
kakkbk
La definició anterior ens permet veure que si v i w són dos vectors no nuls,
aleshores hv, wi = kvkkwk cos(θ).
hv, wi
P (v, w) = w.
kwk2
Una de les aplicacions importants del producte escalar i de les projeccions es dóna
en el camp de la fı́sica, quan hi ha que calcular la quantitat de treball realitzada
per una força constant. Es defineix el treball realitzat W per una força constant
de direcció la trajectòria rectilı́nea d’un objecte, com el nombre F d, on F és la
magnitud de la força i d la distància recorreguda.
Anem ara a considerar el cas d’una força que actua en altra direcció.
Experimentalment es comprova que, quan una força F mou un objecte sobre
una recta des de el punt P fins al punt Q, (amb el qual el vector deplaçament ve
donat per P Q, la magnitud del treball realitzat és la norma del vector projecció de
F sobre P Q multiplicat per la distància recorreguda, i.e.,
Exemple 1.10. Suposem que el vent exerceix una força de 2500 newtons sobre
la vela d’un vaixell en direcció 30o NE. Calcular el treball realitzat pel vent quan
desplaça el vaixell 100m cap al nord.
√
F = (2500 cos(60o ), 2500 sin(60o )) = (1250, 1250 3)
√ √
W = h(1250, 1250 3), (0, 100)i = 125000 3 julios
a × b = (a2 b3 − a3 b2 , a3 b1 − a1 b3 , a1 b2 − a2 b1 ),
aquest vector l’anomenem vector producte en creu (o producte vectorial) dels vectors
a i b. Una regla formal per recordar la construcció del producte en creu de vectors
és la de desenvolupar per menors de la primera fila el següent determinant:
e1 e2 e3
a × b = a1 a2 a3 = (a2 b3 − a3 b2 )e1 + (a3 b1 − a1 b3 )e2 + (a1 b2 − a2 b1 )e3
b1 b2 b3
d’on s’obté
ka × bk = kakkbk| sin(θ)|,
però com θ és l’angle que formen els vectors a i b es compleix que θ ∈ [0, π] i per
tant sin(θ) ≥ 0, llavors podem afirmar que
ka × bk = kakkbk sin(θ).
Per l’apartat (2) del teorema anterior es conclou que el vector a × b és un vector
ortogonal al plà generat per a i b, amb longitud kakbk sin(θ). Tanmateix, hi ha
dos vectors que poden complir aquestes condicions. Per a determinar quin dels dos
vectors representa a × b es fa ús de la regla de la mà dreta”: Si se col·loca la palma
de la mà dreta de forma que els seus dits es corben des de a en la direcció de b en
un angle θ, el dit pulgar apuntarà en la direcció de a × b.
Si a i b són colineals ( linealment dependents), sin(θ) = 0, de manera que a×b = 0.
Si a i b són linealment independents, aleshores generen un plà i a × b és un vector
perpendicular a eixe plà. La longitud de a×b, coincideix amb l’àrea del paral·lelogram
que té com costats adjacents els vectors a i b.
e1 e2 e3
a × b = a1 a2 0 = (a1 b2 − a2 b1 )e3 .
b1 b2 0
D’acı́, s’obté que el valor absolut del determinant anterior és l’àrea del paral·lelogram
que té com costats adjacents els vectors a = a1 e1 + a2 e2 , b = b1 e1 + b2 e2 .
El conjunt de totes les successions (xn ) de nombres reals o complexos (que de-
notarem per RN o CN ) té una estructura natural d’espai vectorial real o complex,
amb l’operació suma i el producte d’un escalar donades per
∞
X
`2 (R) := {(xn ) ∈ R : N
|xn |2 < ∞}.
n=1
∞
X
`2 (C) := {(xn ) ∈ C : N
|xn |2 < ∞}.
n=1
d’on
|xn |2 + |yn |2
|xn yn | ≤ ,
2
de la mateixa manera
|xn |2 + |yn |2 |xn |2 + |yn |2
|xn yn | ≤ = .
2 2
19
20 1. L’espai `2 de les successions de quadrat sumable
n
X n
X n
X n
X
|xi + yi |2 ≤ |xi |2 + |yi |2 + 2 |xi yi |2 ,
i=1 i=1 i=1 i=1
s’obté (prenén lı́mits quan n → ∞) que, com les sèries del segon membre són con-
vergents, també ho és la del primer membre, és a dir, x + y ∈ `2 .
Per a veure que `2 és un subespai vectorial, només falta comprovar que si λ és
un escalar, llavors λx = (λxn ) ∈ `2 , el que és trivial.
En aquestes condicions podem definir:
∞
X
h(xn ), (yn )i = xn y n .
n=1
No és difı́cil provar que l’anterior és un producte escalar sobre `2 . La norma associada
a aquest producte és
v
u∞
uX
kxk := +t |xn |2 ,
n=1
Prova.
Siga (xm ) una successió de Cauchy en `2 on xm := (xm m m
1 , x2 , · · · , xn , · · · ).
q
|xm m q
i − xi | ≤ kx − x k,
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
2. Espais de Hilbert de successions i de funcions integrables 21
Donat ε > 0, com (xm ) és de Cauchy, existirà un nombre natural n de forma que si
m, q ≥ n, aleshores
kxm − xq k < ε,
és a dir,
∞
X q 2
|xm 2
i − xi | < ε ,
i=1
d’on per a qualsevol suma parcial
k
X q 2
|xm 2
i − xi | < ε ,
i=1
i d’acı́ s’obté
k
X q 2
lı́m [ |xm 2
i − xi | ] < ε ,
q→∞
i=1
és a dir,
k
X
|xm 2 2
i − yi | < ε .
i=1
P∞ m
Per tant, la sèrie i=1 |xi − yi |2 és convergent amb suma menor que ε2 . A partir
d’acı́ resulta que xm − y ∈ `2 i per tant y = y − xm + xm ∈ `2 . A més, a més,
kxm − yk ≤ ε,
Z
2
L (Ω, C) := {f : Ω → C : f mesurable i |f (t)|2 dt < ∞}.
Ω
1
|f (t)g(t)| ≤ (|f (t)|2 + |g(t)|2 ),
2
R R
per tant, si Ω |f |2 < ∞ i Ω |g|2 < ∞, la funció f g és absolutament integrable en
R
Ω, és a dir, Ω |f g| < ∞. Això ens permet escriure:
Z
hf, gi := f (t)g(t)dt.
Ω
d’on es dedueix que f és zero quasi per totes parts en Ω, però no es pot deduir
que siga identicament igual a zero. Per tant, malgrat la notació, no hem definit un
producte escalar sobre L2 (Ω).
Definim una relació binaria d’equivalència de la següent forma:
El conjunt format per totes les classes d’equivalència, és a dir el conjunt quo-
cient L2 (Ω)/ ∼ s’anomena espai de Lebesgue L2 (Ω). (També s’utilitzen els sı́mbols
L2 (Ω, R) i L2 (Ω, C) si necessitem especificar si es tracta de (classes de) funcions reals
o complexes.
Normalment no distinguirem entre un element de L2 (Ω) i un dels seus represen-
tants.
R R
Si [f ] ∈ L2 (Ω) definim Ω
[|f |]2 := |f (t)|2 dt, i es veu inmediatament que la
Ω
R R
definició és consistent, el que vol dir que si f ∼ g, aleshores Ω |f (t)|2 dt = Ω |g(t)|2 dt.
Per aquesta raó no s’utilitza la notació de classes d’equivalència. De la mateixa
forma, si f1 ∼ f2 i g1 ∼ g2 són parelles de funcions de L2 (Ω), llavors, com la
integral d’una funció no canvia si la modifiquem en els punts d’un conjunt nul,
hf1 , g1 i = hf2 , g2 i.
Això fa que siga consistent definir, per a [f ], [g] ∈ L2 (Ω) el producte escalar:
Z
h[f ], [g]i := f (t)g(t)dt,
Ω
doncs el valor del segon membre no depén dels representants que agafem de les
classes.
Com és habitual no usarem la notació de les classes d’equivalència per a referir-
nos als elements de L2 (Ω). D’aquesta forma, expressions com f ∈ L2 (Ω), s’han
d’entendre com [f ] ∈ L2 (Ω). Per exemple, la definició de norma associada al producte
escalar ens queda:
Z
1
kf k2 := ( |f (t)|2 dt) 2 ,
Ω
Aixı́ doncs, si kf k2 = 0 vol dir que f = 0 q.p.p. i per tant com a classe
d’equivalència és la que coincideix amb [0] i això ens permet identificar-la: f = 0L2 (Ω) .
2.2. Estructura vectorial. És clar que la suma de dues funcions mesura-
bles reals o complexes definides sobre Ω, és també una funció mesurable. També
és clar que el producte d’un escalar per una funció mesurable també és una funció
mesurable. Això fa que el conjunt de les funcions mesurables siga un espai vectorial.
A continuació veurem que L2 (Ω, K) és un subespai vectorial d’aquest espai de
les funcions mesurables.
En efecte, siguen f, g ∈ L2 (Ω, K). Per a cada t ∈ Ω,
Z Z Z Z
2 2
|f (t) + g(t)| dt ≤ 2 (|f (t)| + |g(t)| )dt = 2 ( |f (t)| dt + |g(t)|2 dt) < ∞.
2 2 2 2
Ω Ω Ω Ω
2 2
També L (Ω) té estructura d’espai vectorial. Si f, g ∈ L (Ω) podem definir
correctament la suma de classes d’equivalència, i el producte per un escalarper una
classe:
on λ ∈ K.
Aquestes definicions són correctes perquè no depenen del representant de la clas-
se, és a dir, si [f1 ] = [f2 ], aleshores
ens queda
µ({t ∈ Ω : f1 (t) + g1 (t) 6= f2 (t) + g2 (t)}) ≤
Definició 2.1. Siga (X, k·k) un espai normat, i siga (xn ) una successió d’elements
de X. La sèrie ∞
P
n=1 xn es diu que és absolutament convergent si la sèrie numèrica
∞
X
kxn k
n=1
és convergent.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
26 2. L’espai de Hilbert L2 (Ω)
Teorema 2.2. Siga (X, k · k) un espai normat. Les següents condicions són
equivalents:
P∞
Prova. (a) ⇒ (b) Si la sèrie numèrica n=1 kxn k és convergent, llavors la suc-
cessió de les sumes parcials
k
X
sk = kxn k
n=1
és de Cauchy en R. Aleshores, com per a qualsevol parell d’enters positius p < q
q p q
X X X
k xn − xn k ≤ kxn k = sq − sp
n=1 n=1 n=p+1
Pk
es tindrà que la successió ( n=1 xn ) és de Cauchy en X. Com X és complet, aquesta
successió serà convergent a un determinat x ∈ X que per definició serà la suma de
la sèrie ∞
P
n=1 xn .
1
kxnk − xnk−1 k < .
2k
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
2. Espais de Hilbert de successions i de funcions integrables 27
Com
∞ ∞
X X 1
kxnk − xnk−1 k ≤ k
< ∞,
k=1 k=1
2
P∞ P∞
és a dir, com la sèrie numèrica k=1 kxnk −xnk−1 k és convergent, la sèrie k=1 (xnk −
Però,
m
X
(xnk − xnk−1 ) = (xn1 − xn0 ) + (xn2 − xn1 ) + · · · + (xnm − xnm−1 ) = xnm − xn0 ,
k=1
per tant,
Llavors
Recordem ara una propietat que tenen les successions de Cauchy en espais
mètrics: Si una successió de Cauchy té una subseccessió convergent, ella també és
convergent. D’aquesta manera podem concloure que la successió (xn ) és convergent
en X.
Anem a comprovar que l’espai normat (L2 (Ω), k · k2 ) és complet. Per a fer-ho és
prou demostrar que tota sèrie absolutament convergent en l’espai, és convergent i
després aplicar el teorema anterior.
P∞
Teorema 2.3. Siga (fn ) una successió en L2 (Ω) de forma que la sèrie n=1 kfn k2
és convergent. Aleshores existeix f ∈ L2 (Ω) tal que
∞
X
fn = f,
n=1
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
28 2. L’espai de Hilbert L2 (Ω)
és a dir,
k
X
lı́m kf − fn k2 = 0.
k→∞
n=1
Prova.
Formem la successió (gk ) d’elements de L2 (Ω) de la següent forma:
k
X
gk := |fn |.
n=1
Per a cada enter positiu k, gk = |gk | ∈ L2 (Ω). A més, a més, per a cada t ∈ Ω
és a dir, per a cada t ∈ Ω la successió (|gk (t)|2 ) és monòtona creixent.
D’altra banda, per la desigualtat triangular i la hipòtesi del teorema,
sZ
k
X X∞
2
|gk (t)| dt = kgk k2 ≤ kfn k2 ≤ kfn k2 < ∞.
Ω n=1 n=1
Per tant, la successió (gk2 ) és no negativa i monòtona creixent en L1 (Ω), i les
seues integrals en Ω estàn fitades superiorment:
Z X∞
2
(3) |gk (t)| dt ≤ [ kfn k2 ]2 ,
Ω n=1
k
X p
|fn (t)| → g(t).
n=1
P∞
Això significa que la sèrie d’escalars n=1 fn (t) és absolutament convergent ( i
per tant convergent) per quasi tot t ∈ Ω. Definim per a t ∈ Ω
∞
X
f (t) := fn (t),
n=1
( el que tindrà sentit i donarà un escalar per a quasi tot t, i completem f (t) := 0 en
els punts de Ω on la sèrie no convergeix).
Pk
Vegem que f ∈ L2 (Ω) i que lı́mk→∞ kf − n=1 fn k2 = 0.
En efecte, per a quasi tot t,
Pk
|f (t)| = | lı́mk→∞ n=1 fn (t)|
Pk
= lı́mk→∞ | n=1 fn (t)|
≤ lı́mk→∞ kn=1 |fn (t)|
P
= lı́mk→∞ gk (t)
p
= g(t).
i això implica que |f (t)|2 ≤ g(t) q.p.p.. Com g ∈ L1 (Ω), és té que f ∈ L2 (Ω).
Per a veure que ∞ 2
P
n=1 fn convergeix a f en L (Ω), aplicarem el teorema de la
k
X
hk := |f − fn |2 .
n=1
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
30 2. L’espai de Hilbert L2 (Ω)
Pk Pk
|f (t) − n=1 fn (t)|2 ≤ [|f (t)| + | fn (t)|]2
n=1
Z Z +∞
2 1
|g(t)| dt = dt = π < ∞,
R −∞ 1 + t2
per tant g ∈ L (R). Com M = {f ∈ L (R) : hf, gi = 0} = {g}⊥ , per la proposició
2 2
Recordem que en un espai mètric qualsevol (X, d), si C és un subconjunt no buit
de X i x ∈ X es defineix
Aquest ı́nfim depén de C i de l’espai mètric X i pot no ser un mı́nim. Per exemple,
si C no és tancat hi han punts x ∈ F r(C) que no pertanyen a C i tanmateix
d(x, C) = 0. Aleshores, per aquests punts no hi ha existència de y0 ∈ C de forma
que d(x, C) = d(x, y0 ), és a dir l’ı́nfim no és un mı́nim.
Aixı́ doncs, el problema de l’existència en C d’un punt més pròxim a x té sentit
si el conjunt C és tancat. Un cas on sempre hi ha punts més pròxims és quan C és
compacte: Com la funció ϕ(y) := d(x, y) és contı́nua, si en particular C és compacte
existirà y0 tal que
Exemple 3.1. Considerem l’espai vectorial real R2 i siga C := [−1, 1] × [−1, 1],
clarament C és compacte i convex en R2 . El punt (2, 0) és un punt exterior a C i si
sobre R2 agafem la norma euclidiana, el punt més pròxim és el (1, 0). Tanmateix, si
sobre R2 treballem amb la norma del suprem, per a tot t ∈ [−1, 1], temim
per tant, qualsevol punt del segment vertical {(1, t) : t ∈ [−1, 1]} dista 1 del punt
(2, 0), i
d∞ ((2, 0), C) = 1.
Aixı́ doncs en (R2 , k · k∞ ), el conjunt compacte convex C no té un únic punt més
pròxim a (2, 0).
d(x, C) = d(x, y0 ).
Prova.
Existència i Unicitat.
Siga
d := d(x, C) = ı́nf{d(x, y) : y ∈ C},
si d = 0 podem agafar y0 = x(com C és tancat, és clar que si d(x, C) = 0, llavors
x ∈ C).
1
Suposem doncs que d > 0, donat ε = n
existeix yn ∈ C de forma que
1
d ≤ d(x, yn ) ≤ d + ,
n
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
3. Projecció mètrica sobre conjunts tancat convexos 33
per n = 1, 2, · · · .
Ara considerem els conjunts Cn := B(x, d + n1 ) ∩ C. Com yn ∈ C tenim que
yn ∈ Cn . A més, a més, cada conjunt Cn és tancat i convex. També s’obté de forma
inmediata que Cn+1 ⊆ Cn .
Vegem ara que diam(Cn ) → 0.
Siguen u, v ∈ Cn Per la igualtat del paral·lelogram,
Per tant,
Corol.lari 3.1. Tot conjunt tancat i convex no buit d’un espai de Hilbert (X, k·k)
té un únic element de norma mı́nima.
Prova.
És prou aplicar el resultat anterior per a x = 0 Llavors existeix un únic y0 ∈ C
amb
d(0, C) = d(0, y0 ),
però
està ben definida en els espais de Hilbert. En general aquesta aplicació s’anomena
projecció mètrica sobre C. L’escriurem: y0 = PC (x).
és a dir,
2Rehx − PC (x), v − PC (x)i ≤ tkv − PC (x)k2 .
Per tant,
2Rehx − PC (x), v − PC (x)i ≤ lı́m+ tkv − PC (x)k2 = 0.
t→0
El resultat que acabem de provar, en el cas d’espais de Hilbert reals, té una
interpretació geomètrica senzilla, que l’angle entre els vector x − PC (x) i v − PC (x)
no pot ser agut.
Corol.lari 3.2. Sota les hipòtesi del teorema anterior, per a qualsevol v ∈ C,
Corol.lari 3.3. Sota les hipòtesi del teorema anterior, PC (x) es caracteritza per
ser l’únic vector y de C que verifica:
Rehx − y, v − yi ≤ 0,
per a tot v ∈ C.
Prova.
Vegem la unicitat. Si y1 , y2 ∈ C compleixen la desigualtat per a tot v ∈ C,
aleshores
Rehx − y1 , y2 − y1 i ≤ 0, Rehx − y2 , y1 − y2 i ≤ 0,
per tant,
Rehx − y1 , y2 − y1 i + Rehx − y2 , y1 − y2 i ≤ 0,
és a dir,
Rehx − y1 , y2 − y1 i + Rehy2 − x, y2 − y1 i ≤ 0,
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
36
en conseqüència
kx − yk2 − kx − vk2 = hx − y, x − yi − hx − v, x − vi
= −hy, xi − hx, yi + hy, yi + hx, vi + hv, xi − hv, vi
= −2Rehx, yi + 2Rehx, vi + hy, yi − hy, vi + hy, vi − hv, vi
= 2Rehx, v − yi + hy, y − vi + hy − v, vi
= 2Rehx, v − yi − 2Rehy, v − yi + 2ehy, v − yi
+hy, y − vi + hy − v, xi
= 2Rehx − y, v − yi + 2Rehy, vi − 2hy, yi
+hy, yi − hy, vi + hy, vi − hv, vi
= 2Rehx − y, v − yi − [hy, yi − 2Rehy, xi + hv, vi]
= 2Rehx − y, v − yi − ky − vk2 ≤ 0.
Prova.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
3. Projecció mètrica sobre conjunts tancat convexos 37
En particular, si z, w ∈ X tindrem
és a dir,
kw − zk ≥ kPC (w) − PC (z)k.
3. Per a qualsevol x, y ∈ X,
Prova.
(1). Sabem que, per a tot v ∈ M ,
en particular, si w ∈ M i t ∈ C,
és a dir,
(2). Com donat x, y ∈ X hem vis que x − PM (x), y − PM (y) ∈ M ⊥ , tidrem que
per a qualsevol v ∈ M .
hx − PM (x), vi = 0, hy − PM (y), vi = 0.
sumant
hx + y − (PM (x) + PM (y)), vi = 0,
per a tot v ∈ M . Però l’apartat (1) també en diu que el vector PM (x + y) és l’únic
que compleix:
hx + y − PM (x + y), vi = 0.
hx − PM (x), vi = 0,
Però, l’apartat (1) ens diu que el vector PM (λx) és l’únic que compleix:
hλx − PM (λx), vi = 0, ∀v ∈ M.
hx − PM (x), vi = 0,
en particular
d’on
hx, PM (y)i − hPM (x), PM (y)i = 0, hPM (x), yi − hPM (x), PM (y)i = 0
i per tant,
Recordem que si V i W són subespais vectorials d’un espai vectorial X, es diu
que X és suma directa dels subespais V i W , si tot vector x ∈ X s’escriu de forma
única com x = v + w amb v ∈ V i w ∈ W . En aquest cas escrivim X = V ⊕ W.
Prova.
Si x ∈ X, és clar que x = PM (x) + (x − PM (x)), a més, a més, hem vist que
PM (x) ∈ M i que x − PM (x) ∈ M ⊥ . Per tant, tot vector x ∈ X pot expressar-se com
suma de un vector de M i un altre de M ⊥ . Vegem ara que aquesta suma és única:
x = x 1 + w 1 = x2 + w 2 ,
Prova.
Com M ⊥⊥ := (M ⊥ )⊥ , i els element de M són ortogonals als de M ⊥ és evident
que M ⊆ M ⊥⊥ .
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
3. Projecció mètrica sobre conjunts tancat convexos 41
x = y + z,
Una conseqüència inmediata del producte escalar és que tot element y d’un espai
de Hilbert (X; k · k) dóna lloc a una aplicació lineal fy : X → C ( o be fy : X → R
en el cas real) definint:
Elements diferents y1 , y2 donen aplicacions lineals diferents fy1 , fy2 doncs en cas de
ser iguals per a tot x ∈ X
per tant, hx, y1 − y2 i = 0, en aquest cas s’obté que y1 = y2 per a veure això és prou
agafar x = y1 − y2 .
Per la desigualtat de Cauchy-Schwarz, per a tot x ∈ X és clar que
és a dir, fy és lipschitziana amb constant de lipschitz kyk i per tant és uniformement
contı́nua en X.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
42 2. Formes lineals contı́nues sobre un espai de Hilbert
Un fet important que passa en els espais de Hilbert és que tota aplicació lineal
i contı́nua entre l’espai i el cos on està definit és d’aquesta classe que acabem de
veure.
Prova.
Si ker(f ) = X 1, és prou agafar y = 0.
Si N := ker(f ) 6= X existirà algún vector v ∈ X \ N.
Com f és contı́nua, el seu nucli és un subespai tancat, i té sentit l’aplicació PN
projecció mètrica sobre N . Siga w := v − PN (v). Sabem, per les propietats de la
projecció mètrica sobre subespais tancats, que el vector w és ortogonal a N , i per
tant no està en N i això ens diu que la seua norma és positiva.
Agafem doncs, el vector
f (w)
y= w.
kwk2
En aquest cas,
f (w) f (x)
hx, yi = hx, kwk 2 wi = hx − f (w)
w + ff(w)
(x) f (w)
w, kwk 2 wi
Com x − ff(w)
(x)
w ∈ N , hx − ff(w)
(x)
w, yi = 0 ja que y és colineal amb w que és ortogonal
a N.
D’altra banda,
f (x) f (w) f (x) f (w)
h w, wi = hw, wi = f (x).
f (w) kwk2 f (w) kwk2
El qual ens diu que f (x) = hx, yi. Com a més, a més, hem vist que vectors diferents
defineixen aplicacions diferents, acabem de provar el resultat.
el qual dóna
Z 1 Z 1
tϕ(t)dt − a tG(t)dt = 0,
0 0
o el dit d’altra forma,
Z 1 Z 1
tϕ(t)dt − a t2 dt = 0.
0 0
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
44 3. Els Teoremes de Stampacchia i de Lax-Milgram.
3(e−1)
D’on es dedueix que a = 2e
. Això ens dóna que
3(e − 1)
ϕ= G+h
2e
3(e−1)
amb h ∈ M i ∈ M ⊥ . A més, a més,
2e
G
√
3(e − 1) 3(e − 1) 1 2 1 3(e − 1)
Z Z
1
2
d(ϕ, M ) = kaGk2 = [ (tχ[0,1] (t)) dt] 2 = [ t dt] 2 = .
2e R 2e 0 2e
Definició 3.2. Siga H un espai de Hilbert real. Una forma bilineal a(·, ·) : H ×
H→R
(i) Direm que a(·, ·) és contı́nua si existeix una constant C > 0 de forma que
(b) Direm que a(·, ·) és coerciva si existeix una constant α > 0 de forma que
a(v, v) ≥ αkvk22 ∀v ∈ H.
Teorema 3.5 (Stampacchia). Siga H un espai de Hilbert real i a(·, ·) una forma
bilineal , contı́nua i coerciva. Siga K ⊆ H un subconjunt no buit, convex i tancat.
Donat ϕ ∈ H ∗ , existeix un únic u ∈ K de forma que
Prova.
Pel teorema de representació de Riesz-Fréchet, existeix un únic f ∈ H de forma
que
ϕ(v) = hf, vi ∀v ∈ H
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
3. Projecció mètrica sobre conjunts tancat convexos 45
D’altra banda, per a tot u ∈ H fix, l’aplicació v 7→ a(u, v) és una forma lineal
contı́nua sobre H, i de nou pel teorema de representació de Riesz-Fréchet existeix
un element de H el qual anomenarem Au de forma que a(u, v) = hAu, vi per a tot
v ∈ H. És clar que A és un operador lineal de H en H i què
Com a(·, ·) és contı́nua i coerciva tindrem:
(6) kAuk22 = hAu, Aui = |a(u, Au)| ≤ Ckuk2 kAuk2 ⇒ kAuk2 ≤ Ckuk2 ∀u ∈ H
(9) hf − Au, v − ui ≤ 0 ∀v ∈ K
Siga ρ > 0 una constant que fixarem més endavant. La desigualtat (9) és equi-
valent a
és a dir, si
u = PK (ρf − ρAu + u).
kSv1 −Sv2 k2 = kPK (ρf −ρAv1 +v1 )−PK (ρf −ρAv2 +v2 )k2 ≤ k(v1 −v2 )+ρ(Av1 −Av2 k2
i aleshores
kSv1 − Sv2 k22 = kv1 − v2 k22 − 2ρhAv1 − Av2 , v1 − v2 i + ρ2 kAv1 − Av2 k22
≤ kv1 − v2 k22 (1 − 2ρα + ρ2 C 2 ).
2α
per tant podem agafar 0 < ρ < C2
i aixı́ k 2 = 1 − 2ρα + ρ2 C 2 < 1 el que ens diu
que S : K → K és una contracció estrica i pel teorema de Banach tindrà únic punt
fix que és el què busquem.
Per a provar (5) suposem que a(·, ·) és simètrica. Llavors a(·, ·) defineix un altre
producte escalar sobre H de forma que la seua norma associada és u ∈ H 7→
p
a(u, u) serà equivalent a la norma k · k2 (això és pel fet de que a(·, ·) és contı́nua
i coerciva). Per tant (H, a(·, ·)) també serà un espai de Hilbert. Aplicant el teorema
de representació de Riesz-Fréchet s’obté un g ∈ H de forma que
ϕ(v) = a(g, v) ∀v ∈ H.
(11) a(g − u, v − u) ≤ 0 ∀v ∈ K
i.e., u = PK (g), projecció en el sentit del nou producte escalar definit per a(·, ·). Per
la caracterització de la projecció mètrica (11) és equivalent a trobar u ∈ K de forma
que s’abaste
p
mı́n a(g − v, g − v).
v∈K
Corol.lari 3.6 (Lax-Milgram). Siga (H, h·, ·i) un espai de Hilbert real i a(·, ·)
una forma bilineal, contı́nua i coerciva. Aleshores per a cada ϕ ∈ H ∗ existeix u ∈ H
únic de forma que
Prova
Pel teorema 3.5, prenent K = H, sabem que existeix un únic u ∈ H de forma
que a(u, v − u) ≥ ϕ(v − u) per a tot v ∈ H. Això ens permet afirmar que si agafem
w = v + u tindrem que
(15) − a(u, v) = a(u, −v) = a(u, w − u) ≥ ϕ(w − u) = −ϕ(v) ⇒ ϕ(v) ≥ a(u, v).
Prova.
Siga x0 ∈ M qualsevol i siga {xn } la successió d’iterats definida a l’enunciat.
Notem que és igual definir-la com xn+1 = T xn . Si n, m ∈ N, tenim que:
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
48 3. Els Teoremes de Stampacchia i de Lax-Milgram.
≤ k n (1 + k + k 2 + · · · + k m−1 )ρ(x0 , T x0 )
1 − km m→∞ kn
= kn ρ(x0 , T x0 ) −−−→ ρ(x0 , T x0 )
1−k 1−k
És a dir, s’obté:
kn
(16) ρ(xn , xn+m ) ≤ ρ(x0 , T x0 )
1−k
per a qualsevol n, m ∈ N. Per tant {xn } és una successió de Cauchy i com M és un
n→∞
espai complet ∃x ∈ M de manera que xn −−−→ x. Per tant, tindrem que:
Pel que x = y
1. Sistemes ortonormals
S := {ϕα : α ∈ Λ}
s’anomena ortonormal si
0, i 6= j
hϕi , ϕj i =
1, i = j
per a i, j ∈ Λ.
clar que
∞
X
2 2
kx − sm k = k(0, 0, · · · , 0, xm+1 , xm+2 , · · · )k = |xk |2 .
k=m+1
49
50 1. Sistemes ortonormals
P∞
i sent convergent la sèrie n=1 |xn |2 , es té que
lı́m kx − sm k = 0.
m→∞
D’aquesta manera, podem dir que tot vector de `2 és lı́mit d’una successió de com-
binacions lineals d’elements de S. En altres paraules, podem dir que el subespai
generat per S és dens en `2 .
Exemple 4.3. En l’espai C([a, b]) de les funcions real contı́nues sobre l’interval
[a, b], amb el producte escalar:
Z b
hf, gi := f (t)g(t)dt,
a
1 2nπ 2nπ
, cos( t), sin( t)
2 b−a b−a
Rb
h 12 , cos( b−a
2nπ
t)i = 1
2 a
2nπ
cos( b−a t)dt
= 12 [ b−a
2nπ
2nπ
sin( b−a t)]ba
1 b−a 2nπ 2nπ
= 2 2nπ
(sin( b−a b) − sin( b−a a) = 0
2nπ 2nπ
ja que el senus és una funció 2π-periòdica i b−a
b − b−a
a = 2nπ.
2nπ 2nπ
Rb 2nπ 2nπ
hsin( b−a t), cos( b−a t)i = a
sin( b−a t) cos( b−a t)dt
= 1 b−a
2 2nπ
[sin2 ( b−a
2nπ
t)]ba
=0
això també és conseqüència de ser el senus una funció 2π-periòdica. La resta d’integrals
per a veure que el sistema trigonomètric és ortogonal són similars. Dividint cadas-
cuna d’aquestes funcions per la seua norma s’obté un sistema ortonormal.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
4. Sèrie de Fourier relativa a un sistema ortonormal 51
Prova.
Siga S := {ϕα : α ∈ Λ} un sistema ortonormal i agafem {ϕ1 , · · · , ϕn } un
subconjunt finit d’elements de S. Si suposem que
α1 ϕ1 + · · · + αn ϕn = 0,
0 = hα1 ϕ1 + · · · + αn ϕn , ϕj i = αj
Prova.
Siga S un conjunt ortonormal. Si ϕ, φ ∈ S són elements distints de S, és clar que
√
kϕ − φk = 2. En efecte,
Teorema 4.1. Si (xn ) és una successió de vectors linealment independents d’un
espai prehilbertià X, aleshores existeix en X una successió ortonormal (yn ) de forma
que per a qualsevol n ∈ N
Prova.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
4. Sèrie de Fourier relativa a un sistema ortonormal 53
y1 , · · · , yn−1
de forma que {y1 , · · · , yn−1 } és un conjunt ortonormal i que per a cada k = 1, 2, · · · , n−
1,
[{x1 , · · · , xk }] = [{y1 , · · · , yk }].
Ara anomenem
n−1
X
z := xn − hxn , yk iyk ,
k=1
És clar que z 6= 0 ja que en cas contrari xn seria combinació lineal de {y1 , · · · , yn−1 }
i per hipòtesi d’inducció, també ho seria de {x1 , · · · , xn−1 } el que és absurd, doncs
{x1 , · · · , xn } és un sistema lliure. A més, a més, per a j = 1, · · · , n − 1,
n−1
X
hz, yj i = hxn − hxn , yk iyk , yj i = hxn , yj i − hxn , yj i = 0.
k=1
Si agafem
z
yn := ,
kzk
llavors el conjunt {y1 , · · · , yn } és ortonormal. Per a finalitzar, com el vector yn és
combinació lineal de xn i {y1 , · · · , yn−1 }, tot vector generat per {y1 , · · · , yn } serà de
la forma
αxn + βv
αxn + βw
Corol.lari 4.1. Tot espai prehilbertià X que siga separable, admet un conjunt
ortonormal numerable que genera un espai dens en X.
Prova.
Si(yn ) és una successió densa en X, aleshores podem triar un subconjunt de (yn )
linealment independent {fn : n ∈ J}, (J pot ser finit), llevant de (yn ) els elements
yj que siguen combinació lineal dels vectors que el precedeixen, és a dir dels yr amb
1 ≤ r < j. Aquest conjunt, compleix que
ck := hf, ϕk i.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
4. Sèrie de Fourier relativa a un sistema ortonormal 55
kf − sn k ≤ kf − tn k,
Prova.
Com S és un sistema ortonormal, tindrem:
Pn 2
Pn Pn
kf − k=0 bk ϕk k = hf − k=0 bk ϕk , f − k=0 bk ϕk i
n
X n
X
kf − bk ϕk k2 > kf k2 − |ck |2 = kf − sn k2 .
k=0 k=0
Acabem de provar que en un espai prehilbertià, fixat un sistema ortonormal
numerable S, qualsevol element f ∈ X, genera uns coeficients de Fourier respecte
de S, ck := hf, ϕk i. I això ens permet escriure la sèrie
∞
X
ck ϕk .
k=0
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
56 2. Coeficients abstractes de Fourier
El que farem des d’ara és estudiar sota quines condicions la sèrie de Fourier generada
per f convergeix a f.
En 1807, Fourier va afirmar que una funció arbitraria es podia expressar com
a combinació lineal de senus i cosenus. Aquestes combinacions lineals, anomenades
ara sèries de Fourier, s’han convertit en una eina fonamental en l’anàlisi de certs
fenomens periòdics ( com vibracions, moviments ondulatoris i planetaris) que són
estudiats en Fı́sica i enginyeria. Molts problemes importants matemàtics han surgit
en relació amb aquesta teoria.
L’origen històric de les sèries de Fourier fica de relleu que, malgrat que estem
veient la seua expressió respecte de sistemes ortonormals numerables arbitraris,
l’esmentat sistema trigonomètric tindrà una importància especial.
En aquest cas, en l’espai de Hilbert L2 (I) amb I un interval de longitud 2π, o en
l’espai prehilbertià C(I), l’expressió dels coeficients de Fourier respecte al sistema
trigonomètric {ϕ0 , ϕ1 , · · · }, on
1 cos(nt) sin(nt)
ϕ0 (t) = √ , ϕ2n−1 (t) = √ , ϕ2n (t) = √ ,
2π π π
serà
Z Z
1
c0 = f (t)ϕ0 (t)dt = √ f (t)dt,
I 2π I
Z Z
1
c2n−1 = f (t)ϕ2n−1 (t)dt = √ f (t) cos(nt)dt,
I π I
Z Z
1
c2n = f (t)ϕ2n (t)dt = √ f (t) sin(nt)dt.
I π I
I això dóna la sèrie de Fourier de f
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
4. Sèrie de Fourier relativa a un sistema ortonormal 57
Z Z Z
1 1 1
√ f (t)dtϕ0 (t) + √ f (t) cos(t)dtϕ1 (t) + √ f (t) sin(t)dtϕ2 (t) + · · ·
2π I π I π I
Z
1
an = f (t) cos(nt)dt, n = 0, 2, · · ·
π I
Z
1
bn = f (t) sin(nt)dt, n = 1, 2, · · ·
π I
d’entrada, el segon membre no hi és més que una expressió formal. Però les sumes
parcials de la sèrie del segon membre són funcions definides sobre l’interval I, i poden
convergir (o no) cap a la funció f de diverses maneres ( puntualment, uniformement,
respecte a la norma del producte escalar etc.) Aquesta diversitat de convergències
és caracterı́stica dels espais de funcions. Una de les preguntes que ens podem fer
és: Si la sèrie de Fourier d’una funció f convergeix cap a f en la norma de l’espai
prehilbertià ( convergència en mitja quadràtica). Aquesta convergència, fins a cert
punt, no hi és massa bona ja que no implica ni tan sols la convergència puntual.
(a) La sèrie ∞ 2
P
k=0 |ck | és convergent, i compleix la desigualtat de Bessel
∞
X
|ck |2 ≤ kf k2 ,
k=0
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
58 2. Coeficients abstractes de Fourier
es compleix si, i només si, les sumes parcials (sk ) convergeixen ( en la norma
del producte escalar) a f , és a dir, si, i només si, f és la suma de la sèrie
de Fourier que genera:
∞
X ∞
X
f= ck ϕk ⇔ ksk − f k → 0 ⇔ |ck |2 = kf k2 .
k=0 k=0
Prova.
Per a cada n enter positiu, siga
n
X
sn := ck ϕ k
k=0
des d’acı́,
n
X
|ck |2 ≤ kf k2 − kf − sn k2 ≤ kf k2 ,
k=0
lı́m ksn − f k = 0,
n→∞
llavors
n
X
2
lı́m (kf k − |ck |2 ) = 0,
n→∞
k=0
és a dir,
∞
X
2
kf k = |ck |2 .
k=0
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
4. Sèrie de Fourier relativa a un sistema ortonormal 59
lı́m ksn − f k = 0.
n→∞
ck → 0
Prova.
Pn
Siga sn = k=0 ck ϕk , vegem que existeix un element y ∈ X tal que ksn −yk → 0,
i complint (1). La part (2) serà aleshores conseqüència de la igualtat de Parseval.
En primer lloc vegem que la successió (sn ) és de Cauchy. Si m, n són enters
positius amb m ≥ n,
m
X m
X m
X m
X
2 2
ksm − sn k = k ck ϕ k k = h ck ϕk , ck ϕk i = |ck |2 .
k=n+1 k=n+1 k=n+1 k=n+1
P∞
Com la sèrie k=0 |ck |2 és convergent, llavors serà de Cauchy, y això, per la de-
sigualtat anterior ens diu que (sn ) és de Cauchy en X. Com X és complet, existirà
un y ∈ X de forma que
ksn − yk → 0.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
60 2. Coeficients abstractes de Fourier
Per a provar que els coeficients de Fourier de y són justament els nombres complexos
ck , és prou veure que
ck = hy, ϕk i,
i com el raonament és valid per a tot n ≥ k, al ser ksn − yk → 0, es conclou que
|ck − hy, ϕk i| = 0.
1. Escollit un f d’un espai de Hilbert X, llavors la sèrie del quadrats dels mòduls
dels seus coeficients de Fourier és convergent, amb suma menor o igual que
el quadratat de la norma de f (desigualtat de Bessel).
2. Si escollim una successió de nombres complexos de `2 , pel teorema ante-
rior sabem que aquesta successió representarà els coeficients de Fourier d’un
determinat vector de l’espai de Hilbert.
3. f − y ⊥ [S].
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
4. Sèrie de Fourier relativa a un sistema ortonormal 61
Prova.
(1) és conseqüència de la desigualtat de Bessel i del teorema de Riesz-Fischer, i
(2) és clar des de la definició de sèrie.
Vegem la prova de (3). Fixat k enter no negatiu, per la continuı̈tat del producte
escalar, tenim:
hf − y, ϕk i = hf, ϕk i − hy, ϕk i
= hf, ϕk i − h ∞
P
j=0 hf, ϕj iϕj , ϕk i
= hf, ϕk i − hf, ϕk i = 0.
El que acabem de veure ens diu que f − y ⊥ [S]. Vegem ara que f − y ∈⊥ [S].
Si z ∈ [S] existirà una successió (vn ) d’elements de [S] amb vn → z, per tant
hf − y, zi = lı́m hf − y, vn i = 0,
n→∞
Prova.
(a) ⇒ (b). Si E és maximal i existeix un vector no nul f ortogonal a E, llavors
f
E∪{ }
kf k
és un conjunt ortonormal que conté estrictament a E i això no pot donar-se ja que
E és maximal.
(b) ⇒ (c). En el teorema anterior hem vist que si f és qualsevol element de X,
existeix la suma de la sèrie de Fourier i si anomenem a aquesta suma per y, llavors
f − y ⊥ [E].
Si es compleix (b), tindrem f = y ( és a dir (b) ⇒ (d)), però y, per definició de sèrie,
és lı́mit de combinacions lineals d’elements de E, per tant,
f = y ∈ [E],
X = [E].
kf k2 = hf, f i = hf, ∞
P P∞
k=0 ck ϕk i = k=0 hf, ck ϕk i
P∞ P∞
= k=0 ck ck = k=0 |ck |2 .
Prova.
Si (ϕn ) és una successió ortonormal completa, pel teorema anterior, podem apli-
car la igualtat de Parseval i tindre
∞
X ∞
X
2 2 2
kf + gk = |hf + g, ϕk i| , kf − gk = |hf − g, ϕk i|2 .
k=0 k=0
Restant i reordenant la relació ( és cert en espais de Hilbert reals)
Ens queda,
∞
X ∞
X
2 2
4hf, gi = [|hf + g, ϕk i| − |hf − g, ϕk i| ] = 4 [hf, ϕk ihg, ϕk i].
k=0 k=0
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
64 3. El sistema trigonomètric en L2 (I) és complet
on
Z π
1
an := f (x) cos(nx)dx, n = 0, 1, · · ·
π −π
Z π
1
bn := f (x) sin(nx)dx, n = 1, 2 · · · .
π −π
Tot polinomi trigonomètric pot ser considerat com una funció real periòdica de
perı́ode 2π. Si y és un nombre real, és senzill adornar-se’n que, si T és un polinomi
trigonomètric la funció x 7→ T (x + y) també ho és.
Lema 4.1. Per a qualsevol η > 0 i 0 < δ < π existeix un polinomi trigonomètric
T (x) de forma que
(i) T (x) ≥ 0,
(ii) T és parell (i.e., T (x) = T (−x) per a tot x ∈ [−π, π]).
Rπ
(iii) −π T (x)dx = 1,
(iv) T (x) ≤ η, δ ≤ x ≤ π.
Prova.
És prou agafar
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
4. Sèrie de Fourier relativa a un sistema ortonormal 65
(1 + cos(x))n cos(x/2))2n
Tn (x) := R π = Rπ ,
−π
(1 + cos(x))n dx −π
(cos(x/2))2n dx
funcions que compleixen, per a cada enter positiu n les condicions (i), (ii) i (iii).
δ
A més, a més, si δ ≤ x ≤ π, per tant, 0 < 2
≤ π2 , com la funció x 7→ cos(x/2) és
decreixent en l’interval (0, π), tindrem que:
Si δ ≤ x ≤ π, aleshores (cos(x/2))2n ≤ (cos(δ/2)2n .
Rπ Rδ
D’altra banda, −π (cos(x/2))2n dx ≥ 02 (cos(x/2))2n dx ≥ 2δ (cos(δ/4))2n .
Llavors,
2n
cos(x/2))2n cos(x/2))2n
2 cos(δ/2)
Tn (x) = R π 2n
≤ δ/2
<
(cos(x/2)) dx δ cos(δ/4)
R
−π (cos(x/2))2n dx
0
i aixı́ per a n prou gran, Tn també complirà la condició (iv). Cada Tn és un polinomi
trigonomètric, ja que és senzill escriure les potències
Lema 4.2. Si f és una funció 2π-periòdica i integrable, aleshores per a qualsevol
Rπ R a+π
a ∈ R tenim: −π f (x)dx = a−π f (x)dx
Prova.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
66 3. El sistema trigonomètric en L2 (I) és complet
Com f és 2π-periòdica, ha de complir que f (x+2π) = f (x) i per tant, anomenant
x = τ − 2π ens queda que:
f (τ − 2π + 2π) = f (τ ) = f (τ − 2π),
Z β Z β+2π Z β+2π
(18) f (x)dx = f (τ − 2π)dτ = f (τ )dτ.
α α+2π α+2π
i per tantt,
Z a+π Z π Z a+π Z π
f (x)dx = f (x)dx + f (x)dx = f (x)dx.
a−π a+π −π −π
Lema 4.3. Siga f ∈ C([−π, π]). Si els coeficients de Fourier de f són tots nuls,
aleshores f és identicament nul·la.
Prova.
Podem extendre el domini de f a tota la recta real, per periodicitat, ficant:
f (x + 2π) = f (x)
per a tot x ∈ (−π, π]. Aleshores, per a cada nombre real y i cada polinomi trigo-
nomètric T (x), fent un canvi de variable, tenim:
Z π Z y+π
f (x + y)T (x)dx = f (x)T (x − y)dx,
−π y−π
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
4. Sèrie de Fourier relativa a un sistema ortonormal 67
D’altra banda, com els coeficients de Fourier de f són tots nuls i x 7→ T (x − y) és
un polinomi trigonomètric
Z π
f (x)T (x − y)dx = 0.
−π
Per tant, Z π
f (x + y)T (x)dx = 0.
−π
Si f no és identicament nul·la, exisitrà µ ∈ (−π, π) on f (µ) 6= 0. Podem suposar
que f (µ) = c > 0 (si c < 0 treballariem amb −f ).
Per ser f contı́nua en [−π, π] existeix δ > 0 de forma que (µ − δ, µ + δ) ⊆ (−π, π)
i a més, a més,
c
f (x) > , ∀x ∈ (µ − δ, µ + δ).
2
Ara, agafem η > 0 suficientment xicotet, i apliquem el lema anterior per a obtenir
el polinomi trigonomètric T (x) complint (i), (ii), (iii) i (iv), Llavors:
Z π Z −δ Z δ Z π
0= f (x + µ)T (x)dx = + + f (x + µ)T (x)dx
−π −π −δ δ
a més, a més, x ∈ (−δ, δ) sii x + µ ∈ (µ − δ, µ + δ), com T (x) és no negatiu,
Z δ
c δ
Z
f (x + µ)T (x)dx ≥ T (x)dx.
−δ 2 −δ
Tenint en compte que f és contı́nua en [−π, π], és fitada en eixe interval i per
periodicitat en tota la recta. Aixı́,
Z −δ Z π Z −δ Z π
+ f (x + µ)T (x)dx ≥ −M + T (x)dx
−π δ −π δ
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
68 3. El sistema trigonomètric en L2 (I) és complet
A partir d’aquestes desigualtats i tenint en compte que el polinomi del lema és parell,
i.e.; T (x) = T (−x), s’obté
R
−δ Rδ Rπ
0 = −π
+ −δ + δ f (x + µ)T (x)dx
R R π
c
Rδ −δ
≥ 2 −δ
T (x)dx − M −π
+ T (x)dx
R δ R π
c
Rπ c −δ
= −π
T (x)dx − ( + M ) + T (x)dx
2
R 2 R −π δ
c −δ π
≥ 2
− ( 2c + M ) −π + δ ηdx
c
= 2
− ( 2c + M )2(π − δ)η.
El que és una contradicció sempre que η siga suficientment xicotet.
Les integrals que defineixen els coeficients de Fourier
1 π
Z
an := f (x) cos(nx)dx, n = 0, 1, · · ·
π −π
1 π
Z
bn := f (x) sin(nx)dx, n = 1, 2 · · · ,
π −π
tenen sentit si f ∈ L1 ([−π, π]). Provarem que si una funció real f ∈ L1 ([−π, π]) té
tots els seus coeficients de Fourier nuls, aleshores és una funció identicament nul·la.
Això és més del que necessitem per a veure que el sistema trigonomètric és complet
en L2 ([−π, π]), (ja que L2 ([−π, π]) ⊆ L1 ([−π, π])) (veure l’apartat (b) del teorema
4.6), però aquest fet és també un resultat important.
Prova.
Siguen a0 , a1 , · · · , b1 , b2 , · · · els coeficients de Fourier de f i suposem que tots són
nuls. Definim, per a x ∈ [−π, π],
R
[0,x]
f (t)dt, x≥0
F (x) := R
[x,0]
−f (t)dt, x < 0
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
4. Sèrie de Fourier relativa a un sistema ortonormal 69
Es senzill veure que F és absolutament contı́nua en [−π, π], i que per a quasi tot
x ∈ [−π, π], F 0 (x) = f (x). 1. A més, a més, fent un canvi de variable es pot veure
que F (π) = F (−π).
Si A0 , A1 , · · · , B1 , B2 , · · · són els coeficients de Fourier de F , per a cada n ≥ 1,
1 π
Z
An = F (x) cos(nx)dx
π −π
Rx
podem aplicar integració per parts, tenint, per a G(x) = −π cos(nx)dx = sin(nx) n
1
Rπ
An = π −π
F (x) cos(nx)dx
1
Rπ
= [F (π)G(π) − F (−π)G(−π)] − n −π
f (x) sin(nx)dx
= − bnn = 0.
4. Qüestions i exercicis
Exercici 4.1.
Siga (X, k · k) un espai de Hilbert. Si els vecctors u, v ∈ X compleixen |hu, vi| =
kukvk. Què podem saber de u i v?. Estudiar la mateixa qüestio per a la igualtat
ku + vk = kuk + kvk.
1Això es pot trobar a [10, pag.379]
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
70 4. Qüestions i exercicis
ku − ((1 − t)v + tw)k2 + t(1 − t)kv − wk2 = (1 − t)ku − vk2 + tku − wk2 .
Provar que M = `2 , és a dir que M és dens en `2 i a partir d’acı́ proveu que
`2 6= M ⊕ M ⊥ .
Exercici 4.8. Siga Y un subespai de L2 (R) format per les funcions que s’anul·len
en quasi tots els punt de (0, ∞). Calcular d(g, Y ) on g(x) = e−|x| .
Integrals de Lı́nia
1. Parametrització de corbes
1.1. trajectòries.
Definició 5.1. Donat un interval tancat i fitat [a, b], anomenarem trajectòria o
camı́ en Rn a tota funció contı́nua α : [a, b] → Rn .
Exemple 5.1. Si f : [a, b] → R és una funció contı́nua, llavors G(f ) és un arc
en R2 que ve parametritzat pel següent camı́:
√
α : [0, 2] → R2 α(x) = (x, + 4 − x2 )
π
β : [0, ] → R2 β(θ) = (2 cos(θ), 2 sin(θ))
2
és clar que β([0, π2 ]) = A.
π
γ : [0, ] → R2 γ(θ) = (2 sin(θ), 2 cos(θ))
2
és clar que γ([0, π2 ]) = A.
Definició 5.2. Direm que un arc C = α([a, b]) és simple si α es injectiva en
[a, b].
Teorema 5.1. Considerem els intervals tancats i fitats I = [a, b] i J = [c, d].
Suposem que f : I → Rn , g : J → Rn són funcions contı́nues les quals són parame-
tritzacions del mateix arc simple. Llavors existeix una funció contı́nua i estrictament
monòtona s : I → J tal que
f (t) = g(s(t)), ∀t ∈ I.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
5. Integrals de Lı́nia 73
Prova. Com g és injectiva, es compleix que g : J → g(J) és bijectiva i per tant
existeix la funció inversa g −1 : g(J) → J. Vegem que g −1 és contı́nua.
Siga y ∈ g(J) i siga yn ∈ g(J) tal que yn → y. Hem de demostrar que g −1 (yn ) →
g −1 (y).
Ara be, existeixen xn , x ∈ J de forma que yn = g(xn ), y = g(x). Llavors hem de
provar que xn → x, sabent que g(xn ) → g(x).
Suposem, per a obtenir una contradicció, que (xn ) no convergeix a x. Com la
successió (xn ) és fitada, pel teorema de Bolzano-Weierstrass, existirà una subsucces-
sió (xnk ) convergent a z 6= x. Com g és contı́nua, aleshores g(xnk ) → g(z) 6= g(x).
El qual és una contradicció. És a dir, g −1 és contı́nua en g(J). Finalment definim
s : I → J com:
s = g −1 ◦ f.
Això té sentit ja que f i g defineixen el mateix arc simple f (I) = g(J).
Com s és composició de funcions contı́nues, aleshores és contı́nua. A més, a més,
és injectiva per ser composició de funcions injectives.
Per últim, aplicant el lema anterior, s’arriba a que s és estrictament monòtona.
Definició 5.4. Una corba és una classe d’equivalència de representacions pa-
ramètriques.
n
X
l(α) := sup L(α, P ), on L(α, P ) := kα(ti ) − α(ti−1 )k,
i=1
Prova. Pel Teorema 5.1, sabem que existeix una funció contı́nua i estrictament
monòtona s de forma que α = β ◦ s. Siguen P = {t0 , ..., tn } i Q = {τ0 , ..., τm } dues
particions de I i J respectivament. Anomenem
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
5. Integrals de Lı́nia 75
n
X m
X
Lα = kα(ti ) − α(ti−1 )k, Lβ = kβ(τi ) − β(τi−1 )k.
i=1 i=1
En el cas (i) está clar que β(τi ) = α(ti ) per a i = 0, 2, ..., n.. En el cas (ii),
β(τi ) = α(tn−i ).
En ambdos casos les sumes Lα i Lβ són iguals i per tant, l(α) = l(β).
Hi han trajectòries les quals no són rectificables, ara veurem un exemple:
x cos( π ), x 6= 0
2x
f (x) :=
0 x = 0,
i definim la trajectòria α : [0, 1] → R2 com α(x) := (x, f (x)). Si prenem les parti-
cions
1 1 1 1
Pn := {0, . , · · · , , , 1}
2n 2n − 1 3 2
no és difı́cil veure que L(α, Pn ) → ∞.
Quan les trajectòries són prou diferenciable els mètodes del càlcul poden usar-se
per a obtenir la seua longitud.
Donat un camı́ en Rn , i.e.; una funció contı́nua γ : [a, b] → Rn . Escriurem
γ(h) − γ(t)
γ 0 (t) := lı́m ,
h→t, h∈[a,b] h−t
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
76 1. Parametrització de corbes
si eixe lı́mit existeix. Observem que si t ∈]a, b[ llavors γ 0 (t) existeix si, i només si, γ
és diferenciable en el punt t.
Ara, anem a estendre el concepte de funció de classe C q a intervals tancats.
Definició 5.6. (i) Siga α : [a, b] → Rn una trajectòria. Direm que α és de
classe C q en [a, b] si existeix α(q) (t) i α(q) és contı́nua en [a, b].
(ii) Direm que α és de classe C q a trossos, si existeix {a = t0 < t1 < ... < tn−1 <
tn = b} de forma que α és de classe C q en cada interval [ti−1 , ti ].
Lema 5.2. Siga P = {tp0 , ..., tpm(p) } una partició de l’interval [a, b] i denotem
per kP k la longitud del subinterval més llarg de P . Per a qualsevol funció contı́nua
f : [a, b] → R i per a cada selecció upj ∈ [tpj−1 , tpj ] es té que
m(p) Z b
X
lı́m f (upi )(tpi − tpi−1 ) = f (t)dt.
kP k→0 a
i=1
|f (x) − f (y)| ≤
sempre que |x − y| < δ amb x, y ∈ [a, b]. Ara considerem una partició P amb
0 < kP k < δ. Aleshores
m(p) R tpi
P Rb P
m(p) p p p p
i=1 f (ui )(ti − ti−1 ) − a f (t)dt = i=1 tp (f (ui ) − f (t))dt
Ri−1tpi
≤ m(p) |f (upi ) − f (t)|dt
P
i=1 tpi−1
Pm(p) p
≤ i=1 (ti − tpi−1 ) = (b − a)
Prova.
Per definició de longitud sabem que
n
X
l(α) := sup{ kα(ti ) − α(ti−1 )k : P = {t0 , ..., tn } ∈ P([a, b])}.
i=1
Z b
kα0 (t)kdt < ∞.
a
Llavors, pel lema anterior, donat ε > 0 existirà δ > 0 tal que si kP k < δ, aleshores
n Z b
X
kα0 (ξi )k(ti − ti−1 ) − kα0 (t)kdt < ε
i=1 a
m m n
!1/2
X X X
kα(ti ) − α(ti−1 )k = (αk0 (ξki ))2 (ti − ti−1 ).
i=1 i=1 k=1
Ara tenint en compte el teorema de Heine-Cantor sabem que les funcions coor-
denades αk són uniformement contı́nues y per tant, si la norma de la partició és
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
78 1. Parametrització de corbes
prou xicoteta, es complirá que αk (x) u αk (y) quan x, y ∈ [ti−1 , ti ]. Amb el qual, per
a particions prou fines es podrá trobar ξi ∈ [ti−1 , ti [ tal que
m n
!1/2 m n
!1/2
X X X X
(αk0 (ξki ))2 (ti − ti−1 ) u (αk0 (ξi ))2 (ti − ti−1 ).
i=1 k=1 i=1 k=1
El que acabem de veure és que si P és una partició prou fina es té que
m
X m
X Z b
0
l(α) u kα(ti ) − α(ti−1 )k u kα (ξi )k(ti − ti−1 ) u kα0 (t)kdt.
i=1 i=1 a
Prova alternativa.
Definim F : [a, b]n → R com
v
u n
uX
F (s1 , · · · , sn ) = t |αj0 (sj )|2 ,
j=1
llavors F (t, · · · , t) = kα0 (t)k. A més, a més, donada una partició P = {a = t1 <
· · · < tk = b}. Podem aplicar el teorema del valor mitjà per a obtenir: per a cada
1 ≤ i ≤ k − 1 i 1 ≤ j ≤ n exisitirà sij ∈ [ti , ti+1 ] de forma que
Pk−1 qPn
L(α, P ) = k−1
P 2
i=1 kα(t i+1 ) − α(t i )k = i=1 j=1 (αj (ti+1 ) − αj (ti ))
= k−1
P
i=1 F (s1i , · · · , sni )(ti+1 − ti )
Pk−1 R ti+1
= i=1 ti F (s1i , · · · sni )dt.
Com F és una funció contı́nua sobre el compacte [a, b]n , aleshores, pel teorema
de Heine-Cantor, F serà uniformement contı́nua en [a, b]n , és a dir, dontat ε > 0
existeix δ > 0 de forma que si x, y ∈ [a, b]n i kx − yk ≤ δ es té que
Per finalitzar fixem una partició P0 amb norma menor que √δ . Si P és una
n
Z b
L(α) ≥ L(α, P0 ) ≥ kα0 (t)kdt − ε(b − a).
a
Prenent lı́mits quan ε → 0 s’obté el resultat.
Prova. Siga P = {t0 , ..., tm } una partició de [a, b] tal que αj := α|[tj−1 ,tj ] és de
classe C 1 per a cada j = 1, 2, ..., m. Pel teorema anterior
Z tj
l(αj ) = kα0 (t)kdt.
tj−1
m
X m Z
X tj
l(α) = l(αj ) = kα0 (t)kdt.
j=1 j=1 tj−1
Com la funció t → kα0 (t)k está ben definida en cada punt de l’interval excepte
com a molt en un nombre finit de punts i és fitada i contı́nua en el seu domini de
definició. Pel teorema de Lebesgue-Vitali eixa funció és integrable Riemann en [a, b].
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
80 2. Integració de camps.
Definició 5.7. Siga α : [a, b] → Rn una trajectòria. Direm que α és suau si α
és de classe C 1 i α0 (t) 6= 0 per a tot t ∈ [a, b].
Per tant,
Z 2π Z 2π
l(α) = k(−R sin(θ), R cos(θ))kdθ = R dθ = 2πR.
0 0
2. Integració de camps.
Assigna un vector a un punt. Els camps vectorials són d’utilitat per a representar
camps de força o camps de velocitat.
Suposem que α : [a, b] → R3 és suau de forma que l’arc parametritzat per α está
contingut en un obert U. Si volem avaluar el treball fet sobre un objecte movent en
un camp de forces F : U ⊆ R3 → R3 al llarg de l’arc α∗ des del punt α(a) fins a
α(b), hem de tindre en compte els següents principis bàsics:
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
5. Integrals de Lı́nia 81
Recordem que
α0 (t)
T (t) :=
kα0 (t)k
és un vector unitari, tangent a l’arc en el punt α(t) i la longitud de α|[tj−1 ,tj ] és
aproximadament kα(tj ) − α(tj−1 )k ≈ kα0 (tj )k(tj − tj−1 ).
Aleshores, si considerem una partició P prou fina de l’interval [a, b], el treball fet
per a moure la partı́cula des de α(tj−1 ) fins a α(tj ) és, aproximadament
Per tant, una bona aproximació del treball realitzat per a moure una partı́cula
al llarg de α∗ és:
m
X
hF (α(tj )), T (tj )ikα0 (tj )k(tj − tj−1 ).
i=1
Tenint en compte el Lema 5.2, és raonable definir el treball realitzat per la força
F sobre la partı́cula que es mou al llarg de α com:
Z b
W := hF (α(t)), α0 (t)idt.
a
Z Z b
F := hF (α(t)), α0 (t)idt.
α a
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
82 2. Integració de camps.
Exemple 5.6. Cacular la integral de lı́nia del camp vectorial F (x, y, z) = (x, y, z)
al llarg de la trajectòria α : [0, 2π] → R3 definida per α(t) = (sin(t), cos(t), t).
Z Z 2π
F ds = h(sin(t), cos(t), t), (cos(t), − sin(t), 1)idt =
α 0
Z 2π Z 2π
(sin(t) cos(t) − sin(t) cos(t) + t)dt = tdt = 2π 2 .
0 0
D’aquesta manera podem identificar vectors amb formes lineals, amb el qual, és
prou natural identificar camps vectorials sobre un conjunt U ⊆ Rn amb aplicacions
que associen a cada punt de U una forma lineal.
ω : U ⊆ Rn → (Rn )∗ .
n n
!
X X
ω(x)(h) = fi (x)hi = fi (x)dxi (h).
i=1 i=1
Pn
Aleshores ω(x) = i=1 fi (x)dxi per a cada x ∈ U. Ho abreugem escrivint:
n
X
ω= fi dxi .
i=1
Una 1-forma diferencial ω es dirà que és contı́nua o de classe C q si les seues
componenets fi són totes funcions contı́nues o funcions de classe C q . Des d’ara
assumirem que les 1-formes són sempre contı́nues.
Observem que si ω(x) és la forma lineal associada amb el vector
estudiar la 1-forma ω és equivalent a estudiar el camp vectorial F. És a dir, inter-
pretarem les 1-formes diferencials i els camps vectorials com dues formes diferents
de visualitzar un mateix objecte matemàtic. Quan formulem problemes que venen
de la Fı́sica o enginyeria usar camps vectorials sembla el camı́ més correcte. Tanma-
teix, per a resoldre problemes amb eines matemàtiques és més freqüent expressar-les
mitjançant formes diferencials.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
84 2. Integració de camps.
dg(x) : Rn → R
donada per
n n
X ∂g X ∂g
dg(x)(h) = (x)hi = (x)dxi (h),
i=1
∂xi i=1
∂xi
per tant
n
X ∂g
dg = dxi .
i=1
∂xi
Com cada derivada parcial de g és una funció contı́nua, concloem que l’aplicació
x ∈ U → dg(x) és una 1-forma diferencial contı́nua que la representem per ω =
dg. Aixı́ que, l’exemple anterior mostra que la noció de 1-forma diferencial és una
generalització del concepte de diferencial d’una funció.
Definició 5.11. Siga ω una 1-forma diferencial contı́nua sobre l’obert U i siga
α : [a, b] → Rn una trajectòria de classe C 1 a trossos tal que α∗ ⊆ U. Aleshores
Z Z b
ω := ω(α(t))(α0 (t))dt.
α a
Pn
Observem el següent: Si ω = i=1 fi dxi tenim:
Z Z b Xn n
Z bX Z
0 0
ω= ( fi (α(t))dxi (α (t))dt = fi (α(t))(αi (t))dt = F
α a i=1 a i=1 α
Com ϕ és una bijecció estrictament creixent es tindrà que ϕ(a) = c i ϕ(b) = d.
Per tant, de la definició anterior s’obté que si α v β, llavors β v α ficant β = α◦ϕ−1 .
Prova.
Suposem que β és C 1 a trossos. Considerem en aquest cas P = {u0 < u1 < ... <
um } una partició de l’interval [c, d] tal que β|[ui−1 ,ui ] és C 1 , i = 1, 2, ...m. Agafem
per a j ∈ {0, 1, ..., m} tj := ϕ−1 (uj ). És clar que Q = {t0 , ..., tm } és una partició
de l’interval [a, b]. Com sabem que ϕ és estrictament creixent i de classe C 1 i la
composició de funcions de classe C 1 és una funció de classe C 1 , podem concloure
que α|[ti−1 ,ti ] = β ◦ ϕ|[ti−1 ,ti ] és de classe C 1 .
D’altra banda, és conegut que
Z d m Z
X ui
0
l(β) = kβ (u)kdu = kβ 0 (u)kdu.
c i=1 ui−1
Z ϕ(ti ) Z ti
0
kβ (u)kdu = kβ 0 (ϕ(t))kϕ0 (t)dt
ϕ(ti−1 ) ti−1
Z ti Z ti
0 0
kβ (ϕ(t))ϕ (t)kdt = k(β ◦ ϕ)0 (t)kdt
ti−1 ti−1
Prova.
Per a simplificar, ho farem per a trajectòries de classe C 1 . En aquest cas tenim:
R ϕ(b)
ω(β(u))(β 0 (u))du
R
β
ω = ϕ(a)
Rb
= a
ω(β(ϕ(t)))(β 0 (ϕ(t)))ϕ0 (t)dt
Rb .
= a
ω(β(ϕ(t)))((β ◦ ϕ)0 (t))dt
Rb 0
R
= a
ω(α(t))(α (t))dt = α
ω
La trajectòria oposada defineix el mateix arc, però aquest és recorregut en sentit
contrari,i.e., el punt inicial d’una passa a ser el final de l’altra i vice-versa.
es pot comprovar de forma senzilla que si agafem ϕ : [a, b] → [−b, −a] definida per
ϕ(t) = t − (a + b), aleshores αop = −α ◦ ϕ és a dir αop ∼ −α.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
5. Integrals de Lı́nia 87
ξ|[e,r] ∼ α y ξ|[r,f ] ∼ β
α(2t(b − a) + a), 1
0≤t≤ 2
ξ(t) =
β((2t − 1)(d − c) + c), 1
2
≤t≤1
Prova.
R −a
ω(γ(−t))(−γ 0 (−t))dt, fent el canvi de variable u = −t queda:
R
−γ
ω = −b
Z Z b Z
0
− ω= ω(γ(u))(γ (u))du = ω.
−γ a γ
També tenim:
Rr Rf
ω(ξ(t))(ξ 0 (t))dt + ω(ξ(t))(ξ 0 (t))dt
R
α∪β
ω= e r
R R
= ξ|[e,r] ω + ξ|[r,f ] ω
R R
= α ω + β ω.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
88 3. Camps conservatius. Formes diferencials exactes.
Z Z 1 Z 1
F = h(t, t), (1, 1)idt = 2tdt = 1.
α 0 0
Z Z 1 Z 1
2
F = h(t, t ), (1, 2t)idt = (t + 2t3 )dt = 1.
β 0 0
Z Z 1 Z 1
3 1 1 1
F = h(−t + , t − ), (1, 1)idt = − dt = − .
α 0 8 2 0 8 8
Z Z 1 Z 1
3 1 3 1 1
F = h(−t2 + , t − ), (1, 2t)idt = (t2 − t + )dt = − .
β 0 8 2 0 8 3 8
Definició 5.15. Siga F = (f1 , ..., fn ) un camp vectorial sobre un obert U de
Rn o be la 1-forma diferencial associada ω = f1 dx1 + ... + fn dxn Si existeix una
funció f : U → R de classe C 1 tal que ∇f = F ( o, equivalentement df = ω) sobre
U , llavors el camp F s’anomena conservatiu i la 1-forma diferencial ω s’anomena
exacta. La funció escalar f és el potencial del camp conservatiu F.
Prova.
És clar que dg és la 1-forma associada al camp vectorial ∇g. A més, a més,
n
X ∂
dg = gdxi ,
i=1
∂x i
n
0
X ∂ 0
(g ◦ γ) (t) = h∇g(γ(t)), γ (t)i = g(γ(t))γi0 (t).
i=1
∂xi
Excepte en un nombre finit de punts. Amb el qual,
n
!
Z Z b Z b
X ∂ 0
dg = g(γ(t))γi (t) dt = (g ◦ γ)0 (t)dt.
γ a i=1
∂x i a
Finalment, agafem la partició P = {a = t0 < ... < tm = b} de forma que γ|[ti−1 ,ti ]
és de classe C 1 per a 1 ≤ i ≤ m. La regla de Barrow ens dona:
Z m Z
X ti
dg = (g ◦ γ)0 (t)dt = g(γ(b)) − g(γ(a)).
γ i=1 ti−1
1. F es conservatiu,
2. Si γ és de classe C 1 a trossos i γ ∗ ⊆ U tancada, aleshores
Z
F = 0,
γ
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
90 3. Camps conservatius. Formes diferencials exactes.
Prova.
(1) ⇒ (2). Per hipòtesi F és conservatiu, aleshores existirà f : U ⊆ Rn → R de
classe C 1 tal que F = ∇f .
Siga γ : [a, b] → U una trajectòria de classe C 1 a trossos tancada. Pel teorema
anterior
Z
∇f = f (γ(b)) − f (γ(a)) = 0.
γ
(2) ⇒ (3). Si γ1 i γ2 tenen els mateixos punts inicials i finals, llavors la trajectòria
γ = γ1 ∪ (−γ2 ) serà tancada i aplicant (2) es tindrà que
Z Z Z
0 = ∇f = ∇f + ∇f.
γ γ1 −γ2
(3) ⇒ (1). Com U és un obert connex de Rn , aleshores U és connex per poligonals.
Fixem, x0 ∈ U i definim les funcions potencial de la forma següent:
Per a cada x ∈ U , siga γx la poligonal continguda en U que uneix el punt x0
amb x, i definim
Z
g(x) := F.
γx
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
5. Integrals de Lı́nia 91
Z Z Z
g(x + tej ) − g(x) = F− F = F.
γx ∪[x,x+tej ] γx [x,x+tej ]
Z t Z t
g(x + tej ) − g(x) = hF (x + sej ), ej ids = Fj (x + sej )ds.
0 0
Per últim,
R
g(x+tej )−g(x) 1 t
− F (x) = (F (x + se ) − F (x))ds
t j t 0 j j j
t
≤ 1t 0 |Fj (x + sej ) − Fj (x)|ds
R
{αa + βx + γy : 0 ≤ α, β, γ y α + β + γ = 1}.
Prova.
Provarem que (4) ⇒ (1). Definim la funció potencial per
Z
g(x) = F.
[a,x]
Per a cada x ∈ U agafem R > 0 tal que B(x, R) ⊆ U. Pel lema anterior, per a
cada 1 ≤ j ≤ n i per a cada t ∈ R amb |t| < R, el triangle amb vertex {a, x, x + tej }
està contingut en U. Amb el qual, de la condició (4) es dedueix que
Z Z Z
g(x + tej ) − g(x) = F− = F.
[a,x+tej ] [a,x] [x,x+tej ]
Vegem que F no hi és conservatiu. Siga γ : [0, 2π] → R2 , on γ(t) := (cos(t), sin(t)),.
És clar que aquesta trajectòria és tancada i el seu arc està contingut en U. Tanmateix,
Z
F = 2π.
γ
Per tant, pel Teorema 5.5, F no pot ser conservatiu.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
5. Integrals de Lı́nia 93
y
g(x, y) = arctan( ),
x
aleshores F = ∇g
L’exemple anterior fica de relleu que el ser o no ser conservatiu depèn tant de
l’expressió del camp com del seu domini de definició.
GM m
F (x, y, z) := − p (x, y, z).
(x + y 2 + z 2 )3
2
On G és la constant gravitacional. És a dir, F (x, y, z) apunta cap a l’origen i, com
la magnitud de la força és la mateixa en tots els punts equidistants des de l’origen
sembla raonable esperar que passe el mateix per la seua funció potencial.
p
Conseqüentment busquem una funció de r = x2 + y 2 + z 2 de forma que les
seues derivades siguen − GM
r2
. Un exemple d’una funció d’aquest tipus és GM
r
. Amb
això és fàcil comporvar que
GM m
f (x, y, z) = p
x2 + y 2 + z 2
compleix que ∇f = F, és a dir, f és una funció potencial per al camp gravitacional.
És de destacar que en fı́sica s’anomena potencial gravitacional a la funció V := f.
Amb el qual, el treball realitzat per a moure una partı́cula des d’un punt A fins a un
punt B és independient de la trajectòria de la partı́cula i el seu valor és la diferència
dels potencials V (B) − V (A).
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
94 3. Camps conservatius. Formes diferencials exactes.
El següent resultat ens dona una condició que han de complir els camps conser-
vatius.
Prova.
Com F és conservatiu i de classe C 1 , existirà una funció de classe C 2 g : U → R
de manera que F = ∇g. Calculant les derivades parcials de les funcions coordenades
del camp F s’observa que:
∂fj ∂ 2g
(x) = (x),
∂xk ∂xk ∂xj
i
∂fk ∂ 2g
(x) = (x)
∂xj ∂xj ∂xk
per a tot x ∈ U . Ara tenint en compte el teorema de Schwartz de les derivades
creuades obtenim el resultat.
En particular, si F = (P, Q) és un camp vectorial en el plà definit en un obert
U i a més, a més, és de classe C 1 , aleshores si és conservatiu haurà de complir:
∂P ∂Q
(x, y) = (x, y),
∂y ∂x
per a cada (x, y) ∈ U.
En el cas de camps vectorials de classe C 1 en l’espai F = (f1 , f2 , f3 ). Per a
l’estudi dels camps conservatius té interés el camp rotacional, el qual ve donat de la
següent forma:
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
5. Integrals de Lı́nia 95
i j k
∂ ∂ ∂
rot(F ) = ∂x
∂y ∂z
F1 F2 F3
Nota 5.2. Si un fluid es mou en una regió del plà xy, es pot imaginar el ro-
tacional com la circulació del fluid. Una bona manera de mesurar l’efecte de la
circulació (mòdul, direcció i sentit) és col·locar una roda xicoteta amb aspes en
el fluid. El rotacional mesura la taxa de rotació del fluid en el punt P, en el que
es col·loca la roda amb aspes, en la direcció del seu eix. El rotacional és positiu
per a la rotació en sentit anti-horari, i negatiu en sentit horari. Siga V (x, y, z) =
(F1 (x, y, z), F2 (x, y, z), F3 (x, y, z)) la velocitat de un fluid i suposem que introduı̈m
una roda amb aspes en el fluid, de tal forma que l’eix és l’eix z. El fluid tendeix
a arremolinar-se al voltant de l’eix z fent que giren les aspes. Podem estudiar el
moviment del fluid mitjançant el de les aspes. Es pot veure que la velocitat angular
del lı́quid
al voltant de l’eix x és proporcional a ( ∂F
∂y
3
− ∂F2
∂z
)
Al voltant de l’eix y és proporcional a ( ∂F
∂z
1
− ∂F3
∂x
)
Al voltant de l’eix z és proporcional a ( ∂F
∂x
2
− ∂F1
∂y
)
Ai xı́ la tendència del fluid a formar un remolı́ ve donada per rot(V ). En el cas
particular en que rot(V ) = 0, el fluid no té moviment rotacional.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
96 3. Camps conservatius. Formes diferencials exactes.
∂fj ∂fk
(x) = (x),
∂xk ∂xj
Prova.
Definim g : U → R per
Z 1 Z 1 n
X
g(x) := hF (a + t(x − a), x − aidt = fj (a + t(x − a))(xj − aj )dt.
0 0 j=1
Es segueix dels resultats sobre integració paramètrica que g és una funció de
classe C 1 sobre U i
∂g P R1∂fj
∂xk
(x) = j6=k (xj − aj ) 0 ∂xk
(a + t(x − a))tdt
R 1 n ∂fk o
+ 0 ∂xk (a + t(x − a))t(xk − ak ) + fk (a + t(x − a)) dt
R 1 hPn ∂fk
i
= 0 (x
j=1 j − a )
j ∂xj (a + t(x − a))t + f k (a + t(x − a)) dt
R1
= 0 dtd (fk (a + t(x − a))t)dt = fk (x),
per a cada x ∈ U. Això prova que F = ∇g, i per tant F és conservatiu.
Z t
s(t) := kα0 (u)kdu.
a
Z Z b
f= f (α(t))kα0 (t)kdt.
α a
Z
M= f
α
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
98 4. Teorema de Green
Exemple 5.12. Calcular la massa total d’un fil d’aram que té la forma α([0, 2π])
on α(t) = (cos(t), sin(t), t), sabent que la seua densitat ve donada per f (x, y, z) =
x2 + y 2 + z 2 .
Com hem vist,
Z Z 2π p
M= f= (cos2 (t) + sin2 (t) + t2 ) (− sin(t))2 + cos2 (t) + 1dt =
α 0
√
Z 2π √ 2
√ t3 2π 2 2π
(1 + t ) 2dt = 2[t + ]0 = (3 + 4π 2 )
0 3 3
3.3. Interpretació geomètrica. Agafem una corba plana que té una para-
metrització α : [a, b] → R2 injectiva i f : R2 → R és un camp escalar tal que
f (x, y) ≥ 0, llavors podem considerar la tanca que sobre el plà té la forma de
α([a, b]) i en cada punt de la corba α(t) la seua altura és de f (α(t)). Llavors,
Z
f
α
4. Teorema de Green
Definició 5.20. Un compacte K es diu que és una regió de tipus I si es pot
descriure de la següent forma:
on
γ1 (t) = (t, f1 (t)), γ3 (t) = (t, f2 (t))
Lema 5.4. Siga K un compacte el qual és una regió de tipus I. Siga P una funció
contı́nua sobre K admetent derivada contı́nua ∂P
∂y
sobre un entorn de K. Aleshores
Z Z Z
∂P
P dx = − dxdy.
γ K ∂y
Prova.
Com γ20 (t) = γ40 (t) = (0, 1), γ10 (t) = (1, f10 (t)) i γ30 (t) = (1, f20 (t)). Tenim
Z Z Z Z b Z b
P dx = P dx − P dx = P (t, f1 (t))dt − P (t, f2 (t))dt.
γ γ1 γ3 a a
D’altra banda, el teorema de Lebesgue-Vitali ens assegura que tota funció contı́nua
sobre un compacte és integrable. Per tant, el teorema de Fubini ens diu que:
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
100 4. Teorema de Green
!
Z Z Z b Z f2 (x) Z b
∂P ∂P
dxdy = dy dx = (P (t, f2 (t)) − P (t, f1 (t))) dt.
K ∂y a f1 (x) ∂y a
Conseqüentment,
Z Z Z
∂P
P dx = − dxdy.
γ K ∂y
Definició 5.21. Un compacte K es diu que és una regió de tipus II si es pot
descriure:
γ = (−γ1 ) ∪ γ2 ∪ γ3 ∪ (−γ4 ),
on
Lema 5.5. Siga K un compacte el qual és una regió de tipus II. Siga Q una
∂Q
funció contı́nua sobre K admetent derivada contı́nua ∂x
sobre un entorn de K.
Aleshores
Z Z Z
∂Q
Qdy = dxdy.
γ K ∂x
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
5. Integrals de Lı́nia 101
Teorema 5.10. Siga K un compacte el qual és una regió de tipus I o de tipus
II i siga ω = P dx + Qdy una 1-forma de classe C 1 sobre algún rectangle contenint
a K. Aleshores
Z Z Z
∂Q ∂P
P dx + Qdy = − dxdy.
γ K ∂x ∂y
Prova.
Suposem que K está contingut en el rectangle R := [a, b] × [c, d] i suposem que ω
és una 1-forma de classe C 1 sobre un altre rectangle obert T que conté a R. Farem
la prova per al cas en que K és una regió de tipus I. En el cas en que K és una regió
de tipus II la prova és similar.
Ja hem vist que
Z Z Z
∂P
P dx = − dxdy.
γ K ∂y
Per tant, només necessitem veure que
Z Z Z
∂Q
Qdy = dxdy.
γ K ∂x
Hi ha que observar que acı́ no podem aplicar el lema previ ja que K pot que no siga
de tipus II.
Per a cada (x, y) ∈ T definim:
Z y
V (x, y) := Q(x, t)dt,
c
Conseqüentment Z Z Z
∂Q
Q(x, y)dy = (x, y)dxdy,
γ K ∂x
el qual ens permet concloure que
Z Z Z
∂Q ∂P
ω= − dxdy.
γ K ∂x ∂y
El teorema de Green pot usar-se per obtenir l’àrea d’una regió fitada per un arc
tancat simple.
x2 y2
Exemple 5.13. Calcular l’àrea de l’el·lipse a2
+ b2
= 1.
Donem l’orientació positiva de l’el·lipse:
Z
1
Ar(El) = −ydx + xdy =
2 ∂D+
Z 2π
1
(−b sin(t))(−a sin(t)) + a cos(t)b cos(t)dt =
2 0
Z 2π
1
badt = baπ
2 0
1
n= p 0 (α20 (t), −α10 (t)),
(α1 (t))2 + (α20 (t))2
Siga F = (P, Q) : U ⊆ R2 → R2 un camp vectorial de classe C 1 amb D ⊆ U.
Aleshores Z Z
hF, ni = div(F )dxdy.
∂D D
1 0 1
hF, ni = p 0 0
α 2 (t)P − p
0 0
α10 (t)Q.
2
(α1 (t)) + (α2 (t))2 2
(α1 (t)) + (α2 (t))2
Prova.
Com α0 (t) = (α10 (t), α20 (t)) és tangent a ∂D, resulta clar que hn, α0 i = 0, de
manera que n és normal a la frontera. El signe de n s’escull per fer que siga en la
direcció exterior. D’altra banda, la definició de integral de trajectòria ens permet
escriure:
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
104 4. Teorema de Green
Z Z b
1
hF, ni = (α20 (t)P (α1 (t), α2 (t)) − α10 (t)Q(α1 (t), α2 (t))) kα0 (t)kdt.
α a kα0 (t)k
Per tant,
Z Z b
hF, ni = (α20 (t)P (α1 (t), α2 (t)) − α10 (t)Q(α1 (t), α2 (t)) dt.
α a
És a dir,
Z Z
hF, ni = P dy − Qdx
α α
Z Z Z
∂P ∂Q
P dy − Qdx = ( + )dxdy = div(F )dxdy.
α D ∂x ∂y D
Suposem que U és un obert de R2 i f : U → R és un camp escalar de classe
C 1 (U ). Si K és un compacte contingut en U tal que ∂K = α∗ . La derivada normal de
∂
f sobre ∂K, que es designarà per ∂n
f, és la derivada direccional de f en la direcció
de la normal cap a fora de K. En altres paraules,
∂
f = h∇f, ni.
∂n
Exemple 5.14. Suposem que f és un camp escalar de classe C 2 sobre una regió
D de tipus III. Si la frontera de D és una corba suau a trossos α+ , vegem que
Z Z Z
∂
4f (x, y)dxdy = f,
D α ∂n
∂2 ∂2
on 4f (x, y) = ∂x2
f (x, y) + ∂y 2
f (x, y) és el laplacià de f .
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
5. Integrals de Lı́nia 105
Z Z b
∂ ∂
P dx + Qdy = f (α(t))α10 (t) +
(− f (α(t))α20 (t))dt
α a ∂y ∂x
l’última integral es pot expressar de la següent forma:
Z Z b Z b
0 0
P dx + Qdy = h∇f (α(t)), (α2 (t) − α1 (t)idt = h∇f (α(t)), niknkdt,
α a a
Z Z Z Z
∂f
4f (x, y)dxdy = h∇f, ni = .
D α α ∂n
5. Exercicis
Exercici 5.2. Suposem que el vent exerceix una força de 5000 newtons sobre
la vela d’un vaixell en direcció 600 NO. Calcula el treball realitzat pel vent quan
desplaça el vaixell 50m cap al nord.
Exercici 5.4. Calcular l’àrea del triangle de vertex en els punts (1, 1), (0, 2), (3, 2).
Exercici 5.7. Siga α : [a, b] → Rn una trajectòria de forma que α0 (t) 6= 0 per
a tot t ∈ [a, b] i siga p ∈ Rn \ α([a, b]). Suposem que q ∈ α(]a, b[) compleix que
kp − qk ≤ kp − α(t)k per a tot t ∈ [a, b]. Provar que el vector p − q és ortogonal a
α0 (t0 ) on q = α(t0 ).
Exercici 5.9. Siga σ : [0, 1] → R3 la trajectòria σ(t) = (t2 , t, 3). Calcular l(σ).
Exercici 5.11. Siga el camp de força F (x, y, z) = (x, y, xz−y). Calcula el treball
realitzat per aquesta força el moure una partı́cula des del punt (0, 0, 0) a (1, 2, 4) al
llarg del segment de recta que uneix aquests punts.
està definida per 12 mkv(t)k2 . Provar que la variació de l’energia cinètica en qualsevol
interval de temps és igual al treball realitzat per F durant eixe interval de temps. És
a dir, si anomenem r(t) a la posició de la partı́cula en l’instant t. El treball realitzat
R
per F durant l’interval de temps [a, b] és r F i hem de provar que
Z
1 1
F = mkv(b)k2 − mkv(a)k2
r 2 2
Exercici 5.13. Considerem C el perı́metre del quadrat unitari de R2 , orientat
R
en sentit anti-horari. Avaluar la integral C x2 dx + xydy.
∂ ∂
Provar que F
∂x 2
= F
∂y 1
però que, tanmateix, F no és conservatiu en el seu domini.
Exercici 5.19. Siga D una regió per a la qual es pot aplicar el teorema de Green.
Suposem que f és una funció harmònica, és a dir,
∂2 ∂2
4f := f + f =0
∂x2 ∂y 2
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
108 5. Exercicis
en D. Provar que Z
∂ ∂
f dx − f dy = 0.
∂D+ ∂y ∂x
k-Superfı́cies regulars en Rn
Els objectes que tractarem en aquest capı́tol solen denominar-se en els llibres de
geometria diferencial com k-subvarietats de Rn .
ϕ : A → M,
de forma que
s’anomena un atles de M.
La condició (S1) és equivalent a:
ϕ(B) = V ∩ M 2.
En efecte, suposem que la condició (S1) és certa i fixem un obert B ⊆ A. Com
ϕ : A → ϕ(A) és un homeomorfisme, llavors el conjunt ϕ(B) serà obert en ϕ(A).
Per tant, podrem trobar un obert W en Rn complint que
ϕ(B) = ϕ(A) ∩ W = M ∩ V,
on V = W ∩ U és un obert de Rn .
Suposem ara que (S1)’ es compleix. Donat un obert B ⊆ A agafem V com en
(S1)’. Aleshores
(ϕ−1 )−1 (B) = ϕ(B) = V ∩ ϕ(A),
és contı́nua. Aquest fet junt amb la condició (S1)’ ens dóna la condició (S1).
La condició (S1)’ és, en general, més forta que suposar que ϕ−1 : ϕ(A) → A siga
una funció contı́nua.
La condició (S2) és equivalent a que la matriu jacobiana ϕ0 (t) tinga rang màxim,
i.e., k per a cada t ∈ A. Si denotem ϕ := (ϕ1 , ..., ϕn ), on les ϕi són les funcions
2això ens diu que ϕ(B) és un obert relatiu de M
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
6. k-Superfı́cies regulars en Rn 111
(19) x0 ∈ ϕ(A) ⊆ M,
en cada punt de A. Pel teorema de la funció inversa, per a cada t ∈ A existeixen dos
oberts Wt ⊆ A i Zt ⊆ Rn de forma que t ∈ Wt i ϕ : Wt → Zt és bijectiva. A més, a
més,
[
ϕ(A) = Zt
t∈A
és un conjunt obert de Rn . Des de la condició (19) és té que M és la unió d’una
familia de conjunts oberts. En particular, M és obert. A més, a més, cada obert
és una n superfı́cie regular de classe C 1 és prou considerar la carta (A, ϕ) on A és
l’obert en qüestió i ϕ : A → Rn és l’aplicació identitat, ϕ(x) = x per a x ∈ A.
és una k-superfı́cie regular de classe C 1 amb el sistema de coordenades (A, ϕ), on
ϕ(t) = (t, g(t)).
En efecte, considerem l’aplicació ϕ : A → Rn donada per ϕ(t) = (t, g(t)).
És clar que ϕ és injectiva i si B ⊆ A és obert, aleshores
1 0 0 ... 0
0 1 0 ... 0
... ... ... ... ...
0
ϕ (t) =
0 0 0 ... 1
∂g1 (t) ∂g1 (t)
∂t1
... ... ... ∂tk
... ... ... ... ...
∂gn−k (t) ∂gn−k (t)
∂t1
... ... ... ∂tk
Com les primeres k files són precisament les files de la matriu identitat en Rk
queda clar que ϕ0 (t) té rang màxim, i.e. k per a cada t ∈ A.
Exemple 6.3. La circunferència unitat del pla és una corba regular.
En efecte, S1 ((0, 0)) := {(x, y) ∈ R2 : x2 + y 2 = 1}. Per veure que S1 ((0, 0)) és
una corba regular raonem de la forma següent:
Definim ϕ :]0, 2π[→ R2 per ϕ(θ) = (cos(θ), sin(θ)). És clar que si (x, y) ∈
S1 ((0, 0)) \ {(1, 0)}, llavors
A més, a més, ϕ és injectiva, contı́nua i la seua inversa és contı́nua ϕ−1 (x, y) =
arctan( xy ) ∈]0, 2π[. També és clar que ϕ0 (θ) = (− sin(θ), cos(θ)) és injectiva.
Per tant, (]0, 2π[, ϕ) és una carta que cobreix tota la circunferència menys el
punt (1, 0). Per a cobrir eixe punt fem el següent:
Definim ϕ1 :] − π2 , π2 [→ R2 per ϕ1 (θ) = (cos(θ), sin(θ)). En aquest cas agafem
l’obert
U = R2 \ {(x, y) : x ≤ 0, x2 + y 2 = 1},
Aleshores
Raonant com abans veiem que (] − π2 , π2 [, ϕ1 ) és una carta de forma que (1, 0) ∈
ϕ1 (] − π2 , π2 [). Per tant,
π π
S((0, 0), 1) = ϕ(]0, 2π[) ∪ ϕ1 (] − , [).
2 2
És a dir, S((0, 0), 1) és una corba regular.
ϕ(A) = M ∩ U.
Ara be, com U ∩ B és connex i ϕ−1 és contı́nua, llavors ϕ−1 (B ∩ U ) =]a, b[⊆ A. De
la mateixa manera, ϕ−1 (C ∩ U ) =]c, d[⊆ A.
Com (0, 0) ∈ B ∩ U y (0, 0) ∈ C ∩ U, aleshores
Però això significa que ϕ(]h, r[) = B ∩ C = {(0, 0)}, el qual és absurd ja que ϕ ha
de ser injectiva.
és clar que (A, ϕ1 ) és una carta que recobreix la semiesfera oberta que queda per
dalt del plà z = 0.
Si ara considerem
ϕ2 (s, t) = (s, t, −f (s, t)),
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
6. k-Superfı́cies regulars en Rn 115
és clar que (A, ϕ2 ) és una carta que recobreix la semiesfera oberta que queda por
baix del plà z = 0. És a dir, mitjançant aquestes dues cartes hem recobert tota
l’esfera excepte l’ecuador.
Per a recobrir l’ecuador és prou considerar les següents cartes:
ϕ3 (s, t) = (s, f (s, t), t), ϕ4 (s, t) = (s, −f (s, t), t),
El que veurem en aquesta secció és sota quines condicions els conjunts de nivell
d’una funció de dues variables és una corba regular en el pla i els conjunts de nivell
d’una funció de tres variables és una superfı́cie regular en l’espai.
Φ : U ⊆ Rn → Rn−k
1. M ∩ U = Φ−1 (0),
2. El rang de la diferencial de Φ i.e., rang de Φ0 (x) es n−k per a cada x ∈ M ∩U.
g : A ⊆ Rk → Rn−k
Llavors M ∩V = ϕ(A). Com (A, ϕ) és una carta, es conclou que M és una k-superfı́cie
regular.
El resultat anterior significa que, sota certes condicions, la intersecció d’un con-
junt obert del plà amb una corba de nivell és una 1-superfı́cie regular i que la
intersecció d’un obert de l’espai amb una superfı́cie de nivell es una 2-superfı́cie
regular.
és un conjunt no buit i que ∇f (x, y) 6= (0, 0) per a tot (x, y) ∈ Γ. Aleshores Γ és
una corba regular de classe C 1 . Ens referirem a Γ com la corba de nivell de la funció
f. Per a demostrar-ho és prou aplicar la proposició 6.1 a la funció
Les corbes de nivell són la projecció sobre el plà z = 0 de la intersecció del gràfic de
f amb el plà horizontal z = c.
x2 y2 z2
Exemple 6.8. l’el·lipsoide S := {(x, y, z) ∈ R3 : a2
+ b2
+ c2
= 1} és una
superfı́cie regular.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
118 2. Vectors tangents i normals
Definim la funció
x2 y 2 z 2
Φ : R3 → R por Φ(x, y, z) = + 2 + 2 − 1.
a2 b c
Com
S = Φ−1 (0),
i
2x 2y 2z
∇Φ(x, y, z) = ( , , ) 6= (0, 0, 0), si (x, y, z) ∈ S.
a2 b 2 c 2
S’obté de l’exemple 6.7 que S és una superfı́cie regular.
Entendrem per vector tangent a una superfı́cie en un punt, com un vector tangent
a una corba continguda en la superfı́cie que continga a eixe punt. Pot semblar obvi
que el conjunt de tots els vectors tangents a una k-superfı́cie regular en un punt
formen un espai vectorial de dimensió k, tanmateix aquest fet no és fácil de provar.
L’objectiu d’aquesta secció consisteix en demostrar-ho, i en particular estudiar el
pla tangent a un punt donat d’una superfı́cie regular en R3 .
α :] − δ, δ[→ M
α(0) = x0 i α0 (0) = h.
Lema 6.1. Siga M una k-superficie regular de classe C 1 en Rn , (A, ϕ) una carta
de M i α : (−δ, δ) → M una aplicació. Si α és diferenciable en u0 i α(u0 ) ∈ ϕ(A),
aleshores ϕ−1 ◦ α és diferenciable en u0 .
Prova.
L’únic que hem de fer és provar que Tx0 M = dϕ(t0 )(Rk ). Per aquest proposit,
primer agafem un vector fix v ∈ Rk i provarem que dϕ(t0 )(v) ∈ Tx0 M.
Siga δ > 0 prou xicotet per a que t0 + sv ∈ A sempre que |s| < δ i considerem
A més, a més,
α(s) − α(0)
α0 (0) = lı́m = Dv ϕ(t0 ) = dϕ(t0 )(v),
s→0 s
el que mostra que
dϕ(t0 )(v) ∈ Tx0 M.
ϕ(A) = M ∩ U.
Aleshores
β := ϕ−1 ◦ α : I → Rk
β(0) = t0 i α = ϕ ◦ β,
amb el qual,
∂ϕ
dϕ(t0 )(ej ) = (t0 ), j ∈ {1, 2, ..., k}.
∂tj
El teorema 6.2 explica per què necessitem en la definició de k-superfı́cie regular
que la diferencial dϕ tinga rang k en cada punt, ja que aquesta condició ens permet
provar que l’espai tangent en cada punt és un subespai vectorial de dimensió k.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
6. k-Superfı́cies regulars en Rn 121
S := {(x, y, z) 6= (0, 0, 0) : x2 + y 2 = 2z 2 }
és una superfı́cie regular de classe C 1 . Ara triem l’atles per al con:
ρ
ϕ : A ⊂ R2 → R3 ; ϕ(ρ, θ) = (ρ cos(θ), ρ sin(θ), √ ),
2
on
A := {(ρ, θ) : ρ > 0, 0 < θ < 2π}.
Aleshores,
∂ϕ 1
(ρ, θ) = (cos(θ), sin(θ), √ ),
∂ρ 2
i
∂ϕ
(ρ, θ) = (−ρ sin(θ), ρ cos(θ), 0).
∂θ
Per tant,
e1 e2 e3
∂ϕ ∂ϕ
(ρ, θ) × (ρ, θ) = cos(θ) sin(θ) √1 .
∂ρ ∂θ 2
−ρ sin(θ) ρ cos(θ) 0
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
122 2. Vectors tangents i normals
És a dir,
∂ϕ ∂ϕ ρ ρ
(ρ, θ) × (ρ, θ) = (− √ cos(θ), − √ sin(θ), ρ).
∂ρ ∂θ 2 2
∂ϕ ∂ϕ
Amb el qual, el vector normal ∂ρ
(ρ, θ) × ∂θ
(ρ, θ) és no nul, el que significa que els
vectors,
∂ϕ ∂ϕ
{ (ρ, θ), (ρ, θ)}
∂ρ ∂θ
són linealment independents per a cada (ρ, θ).
A més, a més, és fácil veure que ϕ és injectiva. Llavors (A, ϕ) és una carta de la
√
superfı́cie. Com (1, 1, 1) = ϕ( 2, π4 ), es dedueix que un vector normal al plà tangent
és:
∂ϕ √ π ∂ϕ √ π 1
( 2, ) × ( 2, ) = √ (−1, −1, 2).
∂ρ 4 ∂θ 4 2
Per últim, l’equació del plà tangent serà
1
√ (−1, −1, 2), (x − 1, y − 1, z − 1) = 0,
2
o equivalentment,
x + y − 2z = 0.
Com a conseqüència dels resultats de la part de Hilbert, corol·lari 3.4, sabem que
Nx0 és un subespai vectorial i a més, a més, com Rn = Tx0 (M ) Nx0 , la dimensió
L
Prova. Per la Proposició 6.1 s’obté que M és una k-superfı́cie regular de classe
C 1 . Si α :] − δ, δ[→ M és una funció diferenciable en t = 0 i α(0) = x0 , aleshores,
φj ◦ α(t) = 0
per a j = 1, 2, ..., n − k. És a dir, cada vector ∇φj (x0 ) està en Nx0 . Com el rang de
dΦ(x0 ) és n − k, llavors els n − k vectors anteriors són linealment independents i
com la dimensió de Nx0 és justament n − k obtenim el resultat.
∇f (x0 , y0 , z0 )
és normal a S en el punt (x0 , y0 , z0 ). De fet, és prou aplicar la proposició 6.2 a la
funció Φ := f − c.
3. Exercicis
Integral de superfı́cie
K := [a, b] × [c, d]
está contingut en A.
Siga a = s0 < s1 < ... < sm = b una partició de l’interval [a, b] en subintervals de
longitud h i c = t0 < t1 < ... < tl = d una partició de l’interval [c, d] en subintervals
de longitud k. Anomenem
aleshores
Lema 7.1. Siga K := [a, b] × [c, d]. Siga a = s0 < s1 < ... < sm = b una
partició de l’interval [a, b] en subintervals de longitud h i c = t0 < t1 < ... < tl = d
una partició de l’interval [c, d] en subintervals de longitud k. Si F : K → R és una
funció contı́nua, llavors
m−1
XX l−1 Z
lı́m hkF (si , tj ) = F (s, t)dsdt.
(h,k)→(0,0) K
i=0 j=0
Prova.
Denotem Ii,j := [si , si+1 ] × [tj , tj+1 ]. Aleshores
Z m−1
XX l−1 Z
F (s, t)dsdt = F (s, t)dsdt
K i=0 j=0 Ii,j
i Z
hkF (si , tj ) = F (si , tj )dsdt.
Ii,j
Amb el qual
m−1
X l−1
X Z
hkF (si , tj ) − F (s, t)dsdt
i=0 j=0 K
és menor o igual que
m−1
XX l−1 Z
(21) |F (si , tj ) − F (s, t)|dsdt.
i=0 j=0 Ii,j
Com
m−1
XX l−1 Z m−1
XX l−1
dsdt = (tj+1 − tj )(si+1 − si ) = (b − a)(d − c),
i=0 j=0 Ii,j i=0 j=0
Pel lema que acabem de provar, el lı́mit quan h i k tendeixen a zero de l’expressió
(20) és la integral Z
∂ϕ ∂ϕ
(s, t) ×k (s, t)kdsdt.
K ∂s ∂t
D’aquesta manera estem preparats per a introduir el concepte d’àrea d’una superfı́cie
regular.
Definició 7.1. Siga (A, ϕ) una carta d’una superfı́cie regular S i siga K un
compacte contingut en A. L’àrea de (K, ϕ) es defineix com
Z
∂ϕ ∂ϕ
Ar(K, ϕ) := k (s, t) × (s, t)kdsdt.
K ∂s ∂t
Seguidament discutirem cóm fer per avaluar l’àrea d’una superfı́cie regular la
qual no pot cobrir-se amb només una carta.
Lema 7.2. Siga M una superfı́cie regular amb un atles finit {(Ai , ϕi )}m
i=1 . Ales-
Prova.
Per la definició de superfı́cie regular, sabem que per a cada j = 1, ..., m existeix
un conjunt obert Uj de R3 de forma que
ϕj (Aj ) = M ∩ Uj .
Alguns dels conjunts Bj podrien ser buits, però els no buits d’eixa familia són
una partició de M i, com Bj ⊆ ϕj (Aj ), podem ficar-los com: Bj = ϕj (Kj ), on
K1 = A1 i, per a cada j 6= 1 amb Bj 6= ∅,
!
[
Kj = ϕ−1
j Uj ∩ (R3 \ Ui ) .
1≤i<j
Per a finalitzar, és prou observar que Kj és un subconjunt mesurable de Aj ja que
és la intersecció d’un conjunt obert i d’un conjunt tancat.
Definició 7.2. Siga M una superfı́cie regular de R3 la qual admet una partició
finita en subconjunts {Bj } (1 ≤ j ≤ m) tal que Bj = ϕj (Kj ), on (Aj , ϕj ) és un atles
de M i Kj és un subconjunt mesurable de Aj . l’àrea de M es defineix com:
m
X
Ar(M ) := Ar(Kj , ϕj ).
j=1
És clar que (A, ϕ) és una carta de l’esfera, però per a obtenir tota l’esfera ens falten
els dos pols i un meridià. Com tant el meridià com els dos pols es poden obtenir
a partir de conjunts nuls en R2 no aportaràn res a l’àrea de la superfı́cie aixı́ que
podem dir que
Com
∂ϕ ∂ϕ
k × k = r2 sin(s)
∂s ∂t
Obtenim que
Z π Z 2π
Ar(U, ϕ) = r sin(s)dt ds = 4πr2 .
2
0 0
∂ϕ ∂ϕ ∂g ∂g
(s, t) × (s, t) = (− (s, t), − (s, t), 1).
∂s ∂t ∂s ∂t
Per tant,
r
∂ϕ ∂ϕ ∂g 2 ∂g
k (s, t) × (s, t)k = 1+( ) + ( )2 .
∂s ∂t ∂s ∂t
Llavors
Z r
∂g ∂g
Ar(G(g)) = 1 + ( )2 + ( )2 dsdt.
A ∂s ∂t
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
132 1. Àrea d’una superfı́cie regular en R3
A continuiacı́o farem alguns exemples que ens fiquen de relleu sota quin context
s’utilitzen les integrals de superfı́cie per a camps escalars.
Exemple 7.3 (Àrea d’una superfı́cie). Quan el camp escalar és f (x, y, z) = 1
ens queda que
Z Z Z
∂ϕ ∂ϕ
f := k (s, t) × (s, t)kdsdt = Ar(ϕ(A)).
ϕ(A) A ∂s ∂t
El seu centre de gravetat és el punt (x, y, z) determinat per les fòrmules
Z Z Z
1 1 1
x= xf, y = yf, z = zf.
m M m M m M
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
7. Integral de superfı́cie 133
kF0 k · ar(S).
−kF0 k · ar(S),
on el signe menys vol dir que el fluid travessa la superfı́cie en el sentit contrari al
que indica el vector N.
Sota la condició més general, és a dir, quan F0 és un vector arbitrari, el descom-
ponem de la forma següent:
F0 = hF0 , N i · N + G0
on G0 és un vector paral·lel al pla que conté a la superfı́cie S. És prou intuitiu que
el moviment en una direcció paral·lela a la superfı́cie no contribueixi a la quantitat
total de fluid que travessa la superfı́cie, per tant, és prou natural pensar que la
quantitat de fluid creuant S per unitat de temps siga:
hF0 , N i · ar(S).
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
134 2. Flux d’un camp vectorial.
Suposem ara que F és camp vectorial en R3 que representa la velocitat d’un fluid
en el qual es sumergeix una superfı́cie regular S. Per raons de simplicitat, suposem
que S ve representat per una sola carta (A, ϕ), i.e., S = ϕ(A). També suposem que
K = [a, b] × [c, d] está contingut en A. En el punt ϕ(s, t) considerem el vector normal
unitari a S el següent:
∂ϕ ∂ϕ
∂s
(s, t) × ∂t
(s, t)
N := N (s, t) = ∂ϕ ∂ϕ
k ∂s (s, t) × ∂t
(s, t)k
A parir de l’anterior construim els rectangles Ii,j := [si , si+1 ] × [tj , tj+1 ], aixı́ tenim
que
m−1
[ l−1
[
ϕ(K) = ϕ(Ii,j ).
i=0 j=0
∂ϕ ∂ϕ
hF (ϕ(si , tj )), N (si , tj )i · hk · k (si , tj ) × (si , tj )k.
∂s ∂t
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
7. Integral de superfı́cie 135
El flux del camp F que creua la superfı́cie S en la direcció del vector N es defineix
per
Z
∂ϕ ∂ϕ
Flux := hF (ϕ(s, t)), N (s, t)ik (s, t) × (s, t)kdsdt,
A ∂s ∂t
quan la integral anterior existeix.
3. Canvi de paràmetre
Suposem que una funció r aplica una regió A del plà uv sobre una superfı́cie
paramètrica r(A). Suposem també que A es l’imatge d’una regió B del pla st a
través d’una aplicación injectiva de classe C 1 , G : B → A sent G = (U, V ) i amb
det(JG) 6= 0. Considerem la funció R definida sobre B mitjançant la equació
Prova.
Com R = r ◦ G. Aplicant la regla de la cadena, per a cada i = 1, 2, 3. Obtenim
Teorema 7.1. La definició d’integral de superfı́cie d’un camp escalar és inde-
pendent de la carta triada ( sempre que les cartes siguen regularment equivalents)
Prova. Siguen (A, ϕ) i (B, ψ) dues cartes que regularment equivalents de forma
que ϕ(A) = ψ(B). Això significa que existeix G : B → A sent G és injectiva de
classe C 1 .
Segons la definició d’integral de superfı́cie d’un camp escalar tenim:
Z Z
∂ϕ(u, v) ∂ϕ(u, v)
f= f (ϕ(u, v))k × kdudv.
ϕ(A) A ∂u ∂v
Ara com l’aplicació G està sota les condicions del lema anterior, apliquem el
canvi de variable per a la integral doble i obtenim:
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
7. Integral de superfı́cie 137
Teorema 7.2. La definició d’integral de superfı́cie d’un camp vectorial és inde-
pendent de la carta triada ( sempre que les cartes siguen regularment equivalents i
det(JG) > 0)
Prova.
Siguen (A, ϕ) i (B, ψ) dues cartes que regularment equivalents de forma que
ϕ(A) = ψ(B). Això significa que existeix G : B → A sent G injectiva de classe C 1 i
a més, a més, amb det(JG) > 0.
Segons la definició d’integral de superfı́cie d’un camp vectorial tenim:
Z Z
∂ϕ(u, v) ∂ϕ(u, v)
F = hF (ϕ(u, v)), × idudv.
ϕ(A) A ∂u ∂v
Ara com l’aplicació G està sota les condicions del lema anterior, apliquem el
canvi de variable per a la integral doble i obtenim:
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
138 4. Exercicis
4. Exercicis
x y z
Exercici 7.2. Esbrina l’àrea de la part del plà a
+ b
+ c
= 1 (a, b, c constants
positives) que es troba en el primer octant.
Z Z
f=
Gr(g)
Z Z s
∂ ∂
f (x, y, g(x, y)) 1 + ( g(x, y))2 + ( g(x, y))2 ))dxdy.
A ∂x ∂y
Exercici 7.5. Determina el flux del camp vectorial F (x, y, z) = (x, y, 2z) que
creua la part de l’esfera x2 + y 2 + z 2 = 1 que està al primer octant.
Z Z
F =
Gr(g)
Z Z
∂ ∂
−F1 (x, y, g(x, y)) g(x, y) − F2 (x, y, g(x, y)) g(x, y) + F3 (x, y, g(x, y)) dxdy.
A ∂x ∂y
Com hem vist en el capı́tol anterior per avaluar el flux d’un camp vectorial que
travessa una superfı́cie regular S, necessitem triar un vector normal unitari en cada
punt de la superfı́cie de forma que el corresponent camp vectorial que apareix siga
contı́nuo. Per exemple, si sumergim una esfera permeable en un fluid i triem el camp
de vector normal cap a fora de l’esfera, aloshores el flux del camp velocitat del fluid
que travessa l’esfera ens dóna la quantitat de fluid que ix de l’esfera per unitat de
temps. Tanmateix, si triem el camp de vectors normals unitaris que apunten cap a
dins de l’esfera, aleshores el flux ens donarà la quantitat de fluid que entra en l’esfera
por unitat de temps. Per tant, és natural preguntar-se si qualsevol superfı́cie regular
admet un camp contı́nuo de vectors normals unitaris. Les superfı́cies regulars que
admeten un camp contı́nuo d’aquest tipus s’anomenen orientables. La majoria de
les superfı́cies regulars són orientables. Tanmateix, hi han exemples de superfı́cies
regulars que no ho són.
Definició 8.1. Siga V un espai vectorial real de dimensió n. Les bases (vi )ni=1
i (wi )ni=1 es diu que tenen la mateixa orientació, denotada per (vi )ni=1 ∼ (wi )ni=1 , si
l’únic isomorfisme lineal F : V → V tal que F (vi ) = wi té determinant positiu.
Exemple 8.1. En l’espai vectorial R2 agafem la base canònica {(1, 0), (0, 1)} i
la base {(1, 1), (1, 0)}. És clar que
139
140 1. Orientació d’un espai vectorial.
que té determinant negatiu i això ens diu que les dues bases no tenen la mateixa
orientació.
Tanmateix si agafem les bases {(1, 0), (0, 1)} i {(1, 0), (1, 1)}. La matriu de canvi
de base serà
1 1
0 1
que té determinat positiu i això ens diu que tenen la mateixa orientació.
Definició 8.2. Un espai vectorial orientat és un parell (V, O), on V és un espai
vectorial real i O és una de les dues possibles orientacions. Una base B = (vj ) es
diu que està positivament orientada si B ∈ O. En aquest cas, normalment s’escriu
O = [v1 , ..., vn ].
Prova.
La matriu, respecte a la base canònica, de la transformació F : R3 → R3 definida
per
F (e1 ) = v1 × v2 , F (e2 ) = v1 , F (e3 ) = v2 ,
té com vectors columna [v1 ×v2 , v1 , v2 ]. Como el determinant d’una matriu coincideix
amb el de la seua matriu trasposada, es té que
v1 × v2
det(F ) = det([v1 × v2 , v1 , v2 ]) = det( v1 ).
v2
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
142 1. Orientació d’un espai vectorial.
Amb el qual, el det(F ) coincideix amb el tripe producte escalar dels vectors {v1 ×
v2 , v1 , v2 }.
Prova.
Els vectors v1 ×v2 i w1 ×w2 són ortogonals a V , amb el qual, han de ser paral·lels,
i.e., existirà λ 6= 0 tal que v1 × v2 = λ(w1 × w2 ). Si denotem per
b11 b12
B=
b21 b22
Observem que una base B = {v1 , v2 } d’un subespai de dimensión 2 de R3 defineix
un vector unitari normal a aquest subespai:
v1 × v2
N := .
kv1 × v2 k
Tenint en compte el resultat anterior, dues bases de V defineixen la mateixa orien-
tació si, i només si, tenen el mateix vector normal unitari. En altres paraules, per a
definir una orientació en un subespai vectorial de dimensió 2 de R3 és prou triar un
vector normal al subespai.
L : V → W,
Prova.
Denotem per f : V → V i g : W → W els següents isomorfismes lineals:
per a i = 1, 2, llavors es té que f = L−1 ◦g ◦L, ara per la propietat dels determinants
s’obté que
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
144 2. Orientació d’una superfı́cie
Prova.
Anomenem L := dϕ(t0 ) : R2 → Tx0 M, T := dψ(u0 )R2 → Tx0 M,, R := d(ϕ−1 ◦
ψ)(u0 ). On, pel teorema 6.2, sabem que aquestes aplicacions linials són isomorfismes.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
8. Superfı́cies orientables. 2-formes en R3 145
Com
B1 = {L(e1 ), L(e2 )}
mentres que
Pel Lema 8.1, es dedueix que B1 ∼ B2 si, i només si, {e1 , e2 } i {R(e1 ), R(e2 )} són
dues bases de R2 amb la mateixa orientació. Això ens porta a que
Definició 8.3. Una superfı́cie regular M de classe C 1 en R3 es diu que és orien-
table si existeix un atles {(Ai , ϕi ) : i ∈ I} de forma que per a cada x ∈ M hi ha
una orientació θx en Tx M amb la següent propietat:
Sempre que (A, ϕ) siga una carta de l’atles amb x = ϕ(r), llavors θx =
[ ∂ϕ
∂s
(r), ∂ϕ
∂t
(r)]
Definició 8.4. Sota les condicions de la definició anterior, diem que l’atles de-
fineix una orientació sobre M . A més, a més, una carta (B, ψ) de M es diu que
és compatible amb l’orientació donada per l’atles si, per a cada r ∈ B, la base de
l’espai tangent Tx M amb x = ψ(r), la qual ve donada per { ∂ψ
∂s
(r), ∂ψ
∂t
(r)} pertany a
l’orientació θψ(r) .
Teorema 8.1. Siga M una superfı́cie regular en R3 . M és orientable si, i només
si, existeix un atles {(Ai , ϕi ) : i ∈ I} de forma que per a cada parell de cartes
(A1 , ϕ1 ) i (A2 , ϕ2 ) del atles amb D = ϕ1 (A1 ) ∩ ϕ2 (A2 ) 6= ∅ es té que J(ϕ−1
1 ◦ ϕ2 ) > 0
Des d’ara el proposit de la resta d’aquesta secció serà veure que les superfı́cies
regulars orientables són justament aquelles que admeten un camp vectorial contı́nuo
de vectors unitaris normals.
Prova.
Per a cada x0 ∈ A existeix j ∈ {1, 2, ..., n} tal que gj (x0 ) 6= 0 i, per continuı̈tat,
podrem trobar r > 0 amb gj (x) 6= 0 per a tot x ∈ B(x0 , r). Aleshores
fj (x)
h(x) = para todo x ∈ B(x0 , r).
gj (x)
el qual ens diu que h és contı́nua sobre tota la bola B(x0 , r) ja que és quocient de
funcions contı́nues.
Lema 8.3. Siga (A; ϕ) una carta d’una superfı́cie regular M i definim L : R2 →
R2 per L(s, t) = (t, s). Si B = L−1 (A) i ψ = ϕ ◦ L, aleshores (B, ψ) és una carta de
M , ϕ(A) = ψ(B) i (B, ψ) canvia l’orientació induida per (A; ϕ).
Prova.
Denotem per S := ϕ(A) = ψ(B). Per a cada x = ϕ(s, t) ∈ S l’orientació definida
en Tx M per la carta (A, ϕ) és
∂ϕ ∂ϕ
θx = [ (s, t), (s, t)].
∂s ∂t
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
8. Superfı́cies orientables. 2-formes en R3 147
Fiquem (t, s) = L−1 (s, t), llavors l’orientació definida per (B, ψ) en Tx M és
∂ψ ∂ψ ∂ϕ ∂ϕ
νx = [ (t, s), (t, s)] = [ (s, t), (s, t)] = −θx .
∂t ∂s ∂t ∂s
0 1
∇ψ(t, s) = ∇ϕ(s, t) .
1 0
Teorema 8.2. Siga M una superfı́cie regular. M és orientable si, i només si,
existeix una funció contı́nua F : M → R3 tal que F (x) és ortonormal a Tx M para
cada x ∈ M .
Prova.
(⇒) Suposem que M és una superfı́cie orientable i siga {(Ai , ϕi ) : i ∈ I} l’atles
S
del teorema 8.2. D’aquesta manera tindrem que M = i∈I ϕi (Ai ). Ara definim
Fi : ϕi (Ai ) → R3 de la següent forma:
Fi (x) := Gi (ϕ−1
i (x)) per a x ∈ ϕi (Ai ).
Si x = ϕi (s, t), és clar que Fi (x) és un vector normal unitari al Tx (M ). També
com Fi = Gi ◦ ϕ−1 3
i , podem concloure que Fi : ϕi (Ai ) → R és una funció contı́nua.
Per la Proposició 8.2 sabem que si Fi1 i Fi2 coincideixen sobre ϕi1 (Ai1 ) ∩ ϕi2 (Ai2 ).
Com els conjunts ϕi1 (Ai1 ) i ϕi2 (Ai2 ) són oberts en M , podem definir F : M → R3
de forma que F (x) := Fi (x) sempre que x ∈ ϕi (Ai ).
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
148 2. Orientació d’una superfı́cie
(⇐) Suposem ara que hi ha una funció contı́nua F : M → R3 de forma que F (x)
és ortogonal a Tx (M ) per a cada x ∈ M i kF (x)k = 1. Per a cada x ∈ M triem una
base {v1 , v2 } de l’espai tangent Tx (M ) amb
v1 × v2
(22) F (x) =
kv1 × v2 k
∂ϕ(s,t) ∂ϕ(s,t)
∂s
× ∂t
N (s, t) := ∂ϕ(s,t) ∂ϕ(s,t)
.
k ∂s × ∂t
k
Com N (s, t) i F (ϕ(s, t)) són dos vectors normal unitaris a l’espai tangent a M
en el punt ϕ(s, t), tindrem que per a cada (s, t) ∈ B,
Pel lema 8.2 es té que la funció λ és també contı́nua sobre B. Com la bola B és un
conjunt connex i la funció prèn dos valors, llavors a de ser constant sobre B.
Estudiem primer què passa si λ(s, t) = 1 per a tot (s, t) ∈ B. En aquest cas,
N (s, t) = F (ϕ(s, t)) per a tot (s, t) ∈ B, el que vol dir que
∂ϕ ∂ϕ
θx = [ (s, t), (s, t)]
∂s ∂t
x = ψ(t, s) = ϕ(s, t)
les bases
∂ϕ ∂ϕ ∂ψ ∂ψ
{ (s, t), (s, t)} i { (t, s), (t, s)}
∂s ∂t ∂t ∂s
defineixen orintacions diferents en Tx (M ). És a dir,
∂ψ ∂ψ
θx = [ (t, s), (t, s)],
∂t ∂s
i d’acord amb la definició 8.3, M és orientable.
on {v1 (x), v2 (x)} és una base de Tx M tal que la base de R3 donada per
Aquesta última condició és equivalent a que F (x) siga un múltiple positiu de
v1 (x) × v2 (x).
A més, a més, donat (x0 , y0 , z0 ) ∈ S sabem que ∇Φ(x0 , y0 , z0 ) és un vector normal
a T(x0 ,y0 ,z0 ) S amb el qual, si agafem
F : M → R3
1
definida per F (x, y, z) = R
(x, y, z) ens defineix un camp vectorial de vectors norma-
les unitaris contı́nuo. Ara aplicant el teorema 8.2 s’obté que S és orientable.
3. 2-Formes diferencials en R3
Z Z
∂ϕ ∂ϕ
Flux = F = hF (ϕ(s, t), (s, t) × (s, t)idsdt.
S A ∂s ∂t
Expressant el producte escalar anterior mitjançant determinants:
Z Z f1 (ϕ(s, t)) f2 (ϕ(s, t)) f3 (ϕ(s, t))
∂ϕ1 ∂ϕ2 ∂ϕ3
Flux = F = ∂s (s, t) (s, t) (s, t) dsdt
∂s ∂s
S A
∂ϕ1 ∂ϕ2 ∂ϕ3
∂t (s, t) (s, t) (s, t)
∂t ∂t
definida per
f1 (x) f2 (x) f3 (x)
dados u = (u1 , u2 , u3 ), v = (v1 , v2 , v3 ), F (x)(u, v) = u1 u2 u3
v1 v2 v3
Definició 8.6. Denotarem per Λ2 (R3 ) a l’espai vectorial de totes les aplicacions
bilineales alternades α : R3 × R3 → R, i.e., que compleixen:
On u, v, w ∈ R3 y λ ∈ R.
u1 v1
(dx ∧ dy)(u, v) = = −(dy ∧ dx)(u, v)
u2 v2
u2 v2
(dy ∧ dz)(u, v) = = −(dz ∧ dy)(u, v)
u3 v3
u1 v1
(dx ∧ dz)(u, v) = = −(dz ∧ dx)(u, v)
u3 v3
Teorema 8.3. El sistema {(dy ∧ dz), (dz ∧ dx), (dx ∧ dy)} és una base de l’espai
vectorial Λ2 (R3 ).
Prova.
Vegem primer que {(dy ∧ dz), (dz ∧ dx), (dx ∧ dy)} és un sistema lliure.
Siguen a, b, c ∈ R de forma que a · (dy ∧ dz) + b · dz ∧ dx + c · dx ∧ dy = 0.
L’anterior significa que si agafem els elements de la base canònica de R3 {e1 , e2 }
es tindrà:
0 = a · (dy ∧ dz))(e2 , e3 ) = a.
Vegem ara que {(dy ∧ dz), (dz ∧ dx), (dx ∧ dy)} és un sistema generador.
Agafem α ∈ Λ2 (R3 ). Anomenem a = α(e1 , e2 ), b = α(e1 , e3 ), c = α(e2 , e3 ).
Aleshores és fácil comprovar que
α = a · dx ∧ dy − b · dz ∧ dx + c · dy ∧ dz
Definició 8.7. Una forma de grau 2 (2-forma ) sobre R3 és una aplicació
ω : U ⊆ R3 → Λ2 (R3 ).
on fi : U → R són funcions. ω es diu que és contı́nua si cada fi és contı́nua. Si U és
un conjunt obert i cada fi és de classe C 1 en U , llavors direm que ω és una 2-forma
diferencial de classe C 1 en U .
Sabem, vist en el capı́tulo anterior, que hi ha una bijección entre els camps
vectorials i les 1-formes contı́nuas que ve donada per
F = (f1 , f2 , f3 ) : U → R3 ω = f1 dx + f2 dy + f3 dz : U → (R3 )∗ .
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
154 3. 2-Formes diferencials en R3
F = (f1 , f2 , f3 ) : U → R3 ω = f1 dy ∧ dz + f2 dz ∧ dx + f3 dx ∧ dy : U → Λ2 (R3 ).
ω1 = f1 dx + f2 dy + f3 dz, ω2 = g1 dx + g2 dy + g3 dz.
1. ω ∧ (α + β) = ω ∧ α + ω ∧ β,
2. ω ∧ α = −(α ∧ ω).
Prova.
Siguen ω = ω1 dx+ω2 dy +ω3 dz, α = α1 dx+α2 dy +α3 dz, β = β1 dx+β2 dy +β3 dz.
És clar que α + β = (α1 + β1 )dx + (α2 + β2 )dy + (α3 + β3 )dz.
Si ara calculem el producte exterior, ens queda:
ω ∧ (α + β) = ω ∧ α + ω ∧ β.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
8. Superfı́cies orientables. 2-formes en R3 155
es desprèn que
ω ∧ α = −(α ∧ ω).
ω(x) = P dx + Qdy.
Aleshores,
dω = dP ∧ dx + dQ ∧ dy = ( ∂P
∂x
dx + ∂P
∂y
dy) ∧ dx
∂Q ∂Q
+( ∂x dx + ∂y dy) ∧ dy
= ∂P
∂y
dy ∧ dx + ∂Q ∂x
dx ∧ dx
= ( ∂Q
∂x
− ∂P
∂y
)dx ∧ dy.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
156 3. 2-Formes diferencials en R3
És a dir:
∂f3 ∂f2 ∂f1 ∂f3 ∂f2 ∂f1
RotF = ( − , − , − )
∂y ∂z ∂z ∂x ∂x ∂y
ω = f1 dx + f2 dy + f3 dz.
Obtenim
dω = df1 ∧ dx + df2 ∧ dy + df3 ∧ dz
= ( ∂f
∂x
1
dx + ∂f1
∂y
dy + ∂f
∂z
1
dz) ∧ dx
+( ∂f
∂x
2
dx + ∂f2
∂y
dy + ∂f
∂z
2
dz) ∧ dy
+( ∂f
∂x
3
dx + ∂f3
∂y
dy + ∂f
∂z
3
dz) ∧ dz
Amb el qual,
∂f3 ∂f2 ∂f1 ∂f3 ∂f2 ∂f1
dω = ( − )dy ∧ dz + ( − )dz ∧ dx + ( − )dx ∧ dy.
∂y ∂z ∂z ∂x ∂x ∂y
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
8. Superfı́cies orientables. 2-formes en R3 157
Finalment, podem observar que dω és la 2-forma que està associada amb el camp
vectorial RotF = ∇ × F.
De la mateixa manera que s’ha fet amb les 2-formes diferencials es pot introduir
el concepte de 3-forma. Per a fer-ho, primer definim les formes trilineals alternades
de la següent manera:
Definició 8.9. Denotarem per Λ3 (R3 ) a l’espai vectorial de totes les aplicacions
trilineals alternades α : R3 × R3 × R3 → R, i.e., que compleixen:
On u, v, w ∈ R3 .
Com hem vist amb les formes bilineals alternades podem considerar la seua base
canònica, la qual ve representada per {dy ∧ dz, dz ∧ dx, dx ∧ dy}. A partir d’aquesta
base podem definir la 3-forma canònica de la següent manera:
Donats els vectors u = (u1 , u2 , u3 ), v = (v1 , v2 , v3 ) y w = (w1 , w2 , w3 ) es definei-
xen:
u1 v1 w1
(dx ∧ dy ∧ dz)(u, v, w) = u2 v2 w2
u3 v3 w3
Definició 8.10. Una forma de grau 3 (3-forma ) sobre R3 és una aplicació
ω : U ⊆ R3 → Λ3 (R3 ).
on f : U → R és una funció. ω es diu que és contı́nua si f és contı́nua. Si U és un
conjunt obert i f és de classe C 1 en U , llavors direm que ω és una 3-forma diferencial
de classe C 1 en U .
Segons s’ha vist hi ha una bijección entre les 2-formes contı́nues i els camps
vectorials:
F = (f1 , f2 , f3 ) : U → R3 ω = f1 dy ∧ dz + f2 dz ∧ dx + f3 dx ∧ dy : U → Λ2 (R3 ).
ω : M → Λ2 (R3 )
Prova.
Per definició d’integral de superfı́cie d’una 2-forma es tindrà:
R R
ϕ(Ω)
w = Ω
(f1 (ϕ(s, t)dy ∧ dz+
f2 (ϕ(s, t)dz ∧ dx+
∂ϕ(s,t) ∂ϕ(s,t
f3 (ϕ(s, t)dx ∧ dy) ∂s
, ∂t dsdt.
D’on s’obté que
Z Z f1 (ϕ(s, t)) f2 (ϕ(s, t)) f3 (ϕ(s, t))
Z
∂ϕ1 ∂ϕ2 ∂ϕ3
ω= ∂s (s, t) (s, t) (s, t) dsdt = F.
∂s ∂s
ϕ(Ω) Ω ϕ(Ω)
∂ϕ1 ∂ϕ2 ∂ϕ3
∂t (s, t) (s, t) (s, t)
∂t ∂t
Teorema 8.4. La definició d’integral de superfı́cie d’un camp vectorial és in-
dependent de la carta elegida ( sempre que siga compatible amb l’orientació de la
superfı́cie).
Prova.
Siguen (A, ϕ) i (B, ψ) dues cartes que preserven la mateixa orientació de forma
que ϕ(A) = ψ(B). Això significa que anomenant G = ϕ−1 ◦ ψ : B → A, llavors G és
injectiva de classe C 1 i a més, a més, det(JG) > 0. Per tant aplicant el teorema 7.2
s’arriba al resultat.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
160 5. Exercicis
5. Exercicis
Exercici 8.1. Si V és un espai vectorial de dimensió 2 i B : {v1 , v2 } és una base
de V . La base C := {v1 + v2 , v1 − v2 } té la mateixa orientació que B?
M := {(x, y, z) ∈ R3 : x2 + y 2 = 1, 0 ≤ z ≤ 1}.
M2 := {(x, y, z) ∈ M : z = 0, o z = 1}
ϕ : A → R3
(s, t) + h(0, 1) ∈ A
∂ϕ ϕ(s, t + h) − ϕ(s, t)
(s, t) = lı́m .
∂t h→0 h
∂ϕ ϕ(s + h, t) − ϕ(s, t)
(s, t) = lı́m .
∂s h→0 h
quan s < 0 i
∂ϕ ϕ(h, t) − ϕ(0, t)
(0, t) = lı́m− .
∂s h→0 h
ϕ : A ⊆ H2 → M ⊆ R3
Definició 9.4. Siga M una superfı́cie regular amb vora. Un punt x0 ∈ M es diu
que està en la vora de M ( denotada per ∂M ) si per alguna carta (A, ϕ) hi ha un
punt (0, t0 ) ∈ A tal que
x0 = ϕ(0, t0 ).
Prova. Siga x0 ∈ M, com M és una superfı́cie regular. Considerem (A, ψ) una
carta de M tal que (s0 , t0 ) ∈ A i ψ(s0 , t0 ) = x0 . Com A és un obert, podem trobar
B :=]s0 − r, s0 + r[×]t0 − r, t0 + r[⊂ A de forma que (B, ψ) és una carta de M.
Anomenem A :=] − 2r, 0[×]t0 − r, t0 + r[⊂ H2 . Sobre aquest conjunt definim:
És clar que (A, ϕ) és una carta de M i a més, a més, x0 = ϕ(−r, t0 ). Amb el qual,
x0 ∈
/ ∂M.
R : R2 → R2
Prova.
Donat el semi-plà S = {(s, t) ∈ R2 : π(s, t) ≤ a}, on π : R2 → R és una
aplicació lineal no nul·la. Considerem {v1 , v2 } una base ortonormal de R2 de forma
que π(v1 ) > 0 i {v2 } és la base de π −1 (0). Agafem
L : R2 → R2
i
R(∂H2 ) = ∂S.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
9. Superfı́cies amb vora 165
Com una conseqüència inmediata del lema anterior el semi-plà S és una 2-
superfı́cie regular amb vora en R2 .
ϕ:A⊆S→M
Prova.
Per a cada x0 ∈ M1 , no tindrem ningún problema ja que M1 és una superfı́cie
regular. Ara, ens concentrarem sobre els punts de M2 . Siga x0 ∈ M2 i agafem
ϕ:A→M
una aplicació de classe C 1 complint les condicions (1), (2) i (3). També considerem
R : R2 → R2 com en el lema anterior. Finalment, definim
B := R−1 (A) ⊆ H2 ,
ψ : B → M, ψ = ϕ ◦ R.
És fácil comprovar que (B, ψ) és una carta per a M i ψ −1 (x0 ) = (0, t0 )
∂M = {x ∈ S : f (x) = 0}
és la vora de M.
Prova.
Escribim M = M1 ∪M2 , on M1 = {x ∈ S : f (x) < 0} i M2 = {x ∈ S : f (x) = 0}.
És clar que M1 és una superficie regular ja que és la intercecció de S amb l’obert
f −1 ((−∞, 0)). Per a utilitzar la proposició 9.2 fixem x0 ∈ S amb f (x0 ) = 0. Agafem
una carta (B, ψ) de S de forma que x0 = ψ(s0 , t0 ), i considerem la funció
Φ : B × R → R, Φ(s, t, r) := (f ◦ ψ)(s, t) − r.
Llavors Φ(s0 , t0 , 0) = 0. També, com ∇f (x0 ) no és ortogonal a TS (x0 ) i els vectors
∂ψ ∂ψ
{ (s0 , t0 ), (s0 , t0 )}
∂s ∂t
són una base de TS (x0 ), podem dir que (si és necessari fariem una permutació de
variables)
∂ψ
h∇f (x0 ), 6 0
(s0 , t0 )i =
∂s
aleshores aplicant la regla de la cadena ens queda que:
∂Φ ∂(f ◦ ψ) ∂ψ
(s0 , t0 , 0) = (s0 , t0 ) = h∇f (x0 ), 6 0,
(s0 , t0 )i =
∂s ∂s ∂s
Ara pel teorema de la funció impı́cita, existeix un obert W ⊆ B × R que conté
al punt (s0 , t0 , 0), també existeix un obert A ⊆ R2 que conté al punt (s0 , 0) i una
funció g : A → R de forma que les següents afirmacions són certes:
1. g(s0 , 0) = t0 ,
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
9. Superfı́cies amb vora 167
f (x) − r = 0.
Això i la injectivitat de ψ ens diu que la funció ϕ és injectiva i que ϕ(A) ⊆ M. A
més, a més,
ϕ(s0 , 0) = ψ(s0 , t0 ) = x0 .
Per tant, només ens queda per veure que (A, ϕ) és una carta. Per a fer-ho considerem
l’aplicació
i observem que
ϕ = ψ ◦ β|A .
Llavors, per arribar al resultat és prou veure que β admet una inversa local de
classe C 1 en un entorn del punt u = (s0 , 0) ∈ A. Avaluant la derivada parcial de
(23)amb respecte a r i tenin en compte que
∂Φ
(s, t, r) = −1
∂r
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
168 1. Funcions de classe C 1 en un semiplà
M := {x ∈ U : Φ(x) = 0, f (x) ≤ 0}
Prova.
Per les hipòtesi donades sobre la funció Φ, l’exemple 6.7 assegura que el conjunt
S = {x ∈ U : Φ(x) = 0}
∂M = {(x, y, 0) : x2 + y 2 = 1}.
Llavors,
té rang 2 excepte en els punts de l’eix Z. Com l’eix Z no intersecta amb la circun-
ferència unitat x2 + y 2 = 1, z = 0 El criteri anterior ens assegura que M és una
superfı́cie regular amb vora.
ara considerem un punt u ∈ F r(M ) és evident que podem trobar δ > 0 tal que si
0 < r < δ aleshores
Definició 9.6. Siga x0 ∈ F r(M ). Un vector normal N a Tx0 (F r(M )) es diu que
és un vector normal exterior si existeix δ > 0 tal que
x0 + tN ∈ R3 \ M
En aquest cas, anomenem N := ∇Φ(x0 ), aquest vector és normal a l’espai tan-
gent Tx0 (F r(M )). Aquest espai tangent divideix a R3 en dues parts disjuntes: una
d’elles té tots els vectors v ∈ R3 de manera que hN, vi > 0 i l’altra té tots els v ∈ R3
de manera que hN, vi < 0.
Siga v ∈ R3 de manera que hN, vi > 0. Aleshores,
Φ(x0 + tv)
0 < hN, vi = Dv Φ(x0 ) = lı́m .
t→0 t
El qual prova que
sempre que t siga positiu i suficientment xicotet, el que vol dir que x0 + tv ∈ V.
És a dir, el vector v apunta cap l’exterior de M. Si ∇Φ(x0 ) 6= (0, 0, 0) es té que
hN, N i > 0 i pel comentari anterior podem assegurar que N és un vector normal
exterior a F r(M ).
El mateix argument demostra que si
hN, vi < 0,
llavors x0 + tv ∈ U sempre que t > 0 siga suficientment xicotet. És a dir, v apunta
cap l’interior de M.
Exemple 9.3. Un cas simple que il·lustra l’anterior és el següent. Siga M =
{(x, y, z) : x ≤ 0}. Considerem la funció Φ(x, y, z) = x en aquest cas
M = {(x, y, z) : Φ(x, y, z) ≤ 0}
El següent lema que es pot trobar en [9, proposició 8.2.1] serà d’interés per a
provar l’equivalència de superfı́cie amb vora orientable.
Lema 9.2. Siga M una superfı́cie regular amb vora de classe C 1 . Si (A, ϕ) és
una carta de M i φ : B ⊆ H2 → M és una funció de classe C 1 de forma que
D := ϕ(A) ∩ φ(B) 6= ∅,
és de classe C 1 en φ−1 (D). A més, a més, si (B, φ) és una carta, llavors
J(ϕ−1 ◦ φ)(s, t) 6= 0
Proposició 9.4. Siga M una superfı́cie regular amb vora en R3 . M és orientable
si, i només si, M \ ∂M ho és.
Prova.
Si M és orientable, agafem l’atles (Ai , ϕi )i∈I que determina la seua orientació.
Aleshores en M \ ∂M , podem agafar l’orientació determinada per l’atles
((A)i , ϕi )i∈I ,
Recı́procament, suposem que M \∂M és una superfı́cie orientable i siga (Ai , ϕi )i∈I
un altles arbitari de M de forma que cadascun dels (A)i és connex. Suposem que
hem triat una orientació en M \ ∂M , El nostre objectiu ara serà obtenir un nou
atles de M de forma que compleixi les condicions de la definició 9.7. Ho farem de
la següent forma: Primer considerem l’aplicació lineal L : R2 → R2 definida per
L(s, t) = (t, s).
Ara per a cada i ∈ I analitzem si la carta ((A)i , ϕi ) de M \ ∂M és compatible
amb l’orientació que hem triat per a M \ ∂M. Si és aixı́, definim
(Bi , φi ) := (Ai , ϕi )
Com hem vist al lema 8.3, la carta ((B)i , φi ) és compatible amb l’orientació de
M \ ∂M . Per a finalitzar, hem de provar que l’atles
{(Bi , φi ) : i ∈ I}
defineix una orientació en M . Suposem que (B1 , φ1 ) i (B2 , φ2 ) són dues cartes de
forma que
D := φ1 (B1 ) ∩ φ2 (B2 ) 6= ∅
Com que les cartes ((B)1 , φ1 ) i ((B)2 , φ2 ) són compatibles amb l’orientació de M \∂M
i
φ1 ((B)1 ) ∩ φ2 ((B)2 ) = D \ ∂M,
J(φ−1
1 ◦ φ2 ) > 0
sobre φ−1
2 (D)
Siga M un subconjunt compacte de Rn amb frontera topològica (F r(M )) sent
una (n − 1)-superfı́cie regular de classe C 1 . S’ha vist que l’elecció d’una orientació
sobre M és equivalent a una orientació sobre U := M \F r(M ). Direm que l’orientació
sobre M és positiva si per a cada x ∈ M \F r(M ) la carta que cobreix a x (anomenem-
la (A, ϕ) verifica que si ϕ(t) = x, aleshores el jacobià de ϕ(t) té determinant positiu.
2. Teorema de Stokes
aquest conjunt és un entorn obert de t0 en R. Siga ]a, b[ un interval obert tal que
t0 ∈]a, b[⊂ A.
b Notem que
és una trajectoria de classe C 1 de forma que l’arc que defineix està contingut en
F r(M ) i conté a (x0 , y0 ). A més, a més, (]a, b[, γ) és una carta de F r(M ) compatible
amb l’orientació. El vector tangent a γ ∗ en el punt γ(t0 ) = (x0 , y0 ) és:
∂ϕ
v2 := γ 0 (t0 ) = (0, t0 ).
∂t
D’altra banda, per a cada s < 0 tal que (s, t0 ) ∈ A tenim que
∂ϕ ∂ϕ
{ (s, t0 ), (s, t0 )}
∂s ∂t
té determinant positiu (M està positivament orientat).
∂ϕ
Agafem, v1 := ∂s
(0, t0 ), aleshores per la continuı̈tat de les derivades parcials es
complirà que
det[v1 , v2 ] > 0.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
9. Superfı́cies amb vora 175
Això significa que la base {v1 , v2 } està positivament orientada en R2 . Això significa
el següent:
Si descomposem el plà per dos semiplàns separats per la lı́nia tangent a F r(M ) i
ens menegem al llarg d’aquesta lı́nia en la direcció donada pel vector v2 llavors −v1
apunta cap a la part esquerra del semiplà. A més, a més, el vector −v1 apunta cap el
conjunt M. En efecte, per a s > 0, |s| suficientment xicotet, tenim que ϕ(−s, t0 ) ∈ M
i també, des de la definició de diferencial es tindrà que
Definició 9.8. Siga M una superfı́cie regular orientable amb vora de tal forma
que M \ ∂M està definida per un atles finit. Si ω : M → Λ2 (R3 ) és una 2-forma
diferenciable contı́nua. Aleshores es defineix
Z Z
ω := ω.
M M \∂M
Proposició 9.5. Suposem que T ⊆ R2 és una 2-superfı́cie regular amb vora en
R2 en el sentit de la definició 9.5 i siga r : U → R3 tal que r és injectiva, de classe
C 1 i amb dr(s, t) : R2 → R3 injectiva per a tot (s, t) ∈ U on U és un obert que
conté a T. Aleshores r(T ) és una superfı́cie regular amb vora de R3 , i a més, a més,
∂r(T ) = r(∂T ).
Prova. Com T és una 2-superfı́cie regular amb vora en R2 . Siga {(Ai , ϕi ) : i ∈ I}
un atles de T , és clar que si considerem la familia {(Ai , ψi ) : i ∈ I} on ψi = r ◦ ϕi
aleshores, aquesta familia és un atles de r(T ), el que prova que r(T ) és una superficie
regular amb vora.
D’altra banda, es té que si x0 ∈ ∂T , podem trobar (0, t0 ) ∈ Ai amb x0 = ϕi (0, t0 )
i per tant, r(x0 ) = ψi (0, t0 ) el que ens diu que r(x0 ) ∈ ∂r(T ). Tanmateix si x1 ∈
/ ∂T ,
sempre que ϕi (r, t) = x1 sabem que r < 0 i això ens permet afirmar que si r(x1 ) =
ψi (r, s), llavors r < 0, per tant r(x1 ) ∈
/ ∂r(T ).
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
176 2. Teorema de Stokes
Prova.
Suposem que ω := P dx + Qdy + Rdz i que M = r(T ) on T es una 2-superfı́cie
regular en R2 compacta amb frontera de classe C 2 orientada positivament i r també
de classe C 2 .
Per a demostrar el teorema és prou establir les tres fòrmulas següents,
R R R ∂P ∂P
∂M
P dx = M
− ∂y
dx ∧ dy + ∂z
dz ∧ dx ,
− ∂Q dy ∧ dz + ∂Q
R RR
(25) ∂M
Qdy = M ∂z ∂x
dx ∧ dy ,
∂R ∂R
R RR
∂M
Rdz = M
− ∂x dz ∧ dx + ∂y dy ∧ dz .
La suma d’aquestes tres equacions ens dóna la tesi del teorema. Ja que les tres
són paregudes, només demostrarem la primera. El pla de la demostració consisteix en
expressar la integral de superfı́cie com una integral doble sobre T. Llavors s’aplica el
teorema de Green para expressar la integral doble sobre T com una integral de lı́nia
R
sobre ∂T . Per últim, demostrarem que aquesta integral de lı́nia és igual a ∂M P dx.
Escrivim,
r(s, t) = X(s, t)e1 + Y (s, t)e2 + Z(s, t)e3
∂P ∂(X, Y ) ∂P ∂(Z, X) ∂ ∂X ∂ ∂X
(26) − + = (p ) − (p ).
∂y ∂(s, t) ∂z ∂(s, t) ∂s ∂t ∂t ∂s
Aplicant a la integral doble sobre T el teorema de Green obtim:
Z Z Z
∂ ∂X ∂ ∂X ∂X ∂X
(p ) − (p ) dsdt = p ds + p dt,
T ∂s ∂t ∂t ∂s ∂T ∂s ∂t
on ∂T es recorre en sentit positiu. Parametritzem ∂T mitjançant una funció γ defi-
nida en un interval [a, b] i siga
α(u) = r(γ(u))
El teorema de Stokes expressa una relació entre una integral extesa a una su-
perfı́cie i una integral de lı́nia agafada sobre la corba que forma la frontera de la
superfı́cie. El teorema de la divergència expressa una relació entre una integral triple
extesa sobre un sòlid compacte i una integral de superfı́cie agafada sobre la frontera
del sòlid.
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
178 3. Teorema de la divergència (Teorema de Gauss)
Teorema 9.4. Si V és una 3-superfı́cie compacta en R3 limitada per una su-
perfı́cie orientable S, si n és la normal unitaria exterior a S i si F és un camp
vectorial de classe C 1 en un obert que conté V , aleshores
Z Z
(27) Div(F )dxdydz = hF, ni.
V S
Prova.
És prou establir les tres equacions
1. Z Z Z Z Z
∂P
dxdydz = P n1 dS,
V ∂x S
2. Z Z Z Z Z
∂Q
dxdydz = Qn2 dS,
V ∂y S
3. Z Z Z Z Z
∂R
dxdydz = Rn3 dS.
V ∂z S
Començarem per la tercera d’aquestes fòrmules i la demostració per a sòlids de
tipus especial.
Suposem que V és de la forma següent:
sent T una regió connexa i compacta del pla, i f, g són dues funcions de clas-
se C 1 definides sobre T, amb la condició g(x, y) ≤ f (x, y) per a cada punt de T.
Geomètricamente, això significa que T és la projecció de V en el pla xy. Tota recta
Anàlisi III Departament d’Anàlisi Matemàtica
J. Garcia-Falset
9. Superfı́cies amb vora 179
paral·lela a l’eix z que travessa T talla al sòlid V al llarg d’un segment rectilini que
uneix la superfı́cie z = g(x, y) a la z = f (x, y). La superfı́cie frontera S consta d’un
casquet superior S1 , donat de forma explı́cita per z = f (x, y), altre inferior S2 donat
per z = g(x, y), i en alguns casos per una porció de cilindre S3 engendrat per una
recta que es mou al llarg de la frontera de T mantenint-se paral·lela a l’eix z. La
normal exterior a S té component z no negativa sobre S1 i no positiva sobre S2 i és
paral·lela al pla horizontal en S3 . Els sòlids d’aquest tipus s’anomenen ”projectables-
xy”. Aquest tipus inclou a tots els sòlids convexos ( per exemple, esferes, el·lipsoides,
cubs) i motls altres que no són convexos (per exemple, el torus amb eix paral·lel al
z).
La idea de la demostració és la següent: Expressem la integral triple com una
doble extesa a la projecció T. Aleshores demostrem que aquesta integral doble té el
mateix valor que la integral de superfı́cie citada en l’enunciat. Comencem amb la
fòrmula
Z Z Z Z Z "Z f (x,y)
#
∂R ∂R
dxdydz = dz dxdy.
V ∂z T g(x,y) ∂z
La integral unidimensional respecte de z pot calcular-se mitjançant el segon teorema
fonamental del càlcul, donant
Z Z Z Z Z
∂R
(29) dxdydz = {R(x, y, f (x, y)) − R(x, y, g(x, y))}dxdy.
V ∂z T
i sobre S2 la representació
∂s ∂s
En S2 la normal n té la direcció oposada a la de ∂x
× ∂y
, amb el qual,
Z Z Z Z Z Z
Rn3 dS = − Rdx ∧ dy = − R(x, y, g(x, y))dxdy.
S2 S2 T
és cierta.
En la demostració anterior l’hipòtisi de que V és projectable-xy ens permet
expressar la integral triple extesa a V com una integral doble sobre al seua projecció
T sobre el plà horizontal. És evident que si V és projectable-yz podem raonar de la
mateixa manera i demostrar que
Z Z Z Z Z
∂P
(32) dxdydz = P n1 dS.
V ∂x S
Aixı́ veiem que el teorema de la divergència es vàlid per a tots els sòlids projec-
tables sobre els tres plans coordenats; en particular, per a tot sòlid convex.
4. Exercicis
∂
En el següent exercici ∂n
f indica la derivada direccional del camp escalar f en
la direcció de la normal unitaria exterior n a una superfı́cie tancada S que és la
vora d’un sòlid V on es pot aplicar el teorema de la divergència. Es pot suposar la
continuı̈tat de totes les derivadades parcials que apareixen.
183