uge 8
uge 8
uge 8
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
MM502+4 forelæsningsslides<br />
<strong>uge</strong> 8, 2010<br />
Produceret af Hans J. Munkholm, delvis på baggrund af lignende<br />
materiale udarbejdet af Mikael Rørdam<br />
1
Egentlige og uegentlige dobbeltintegraler:<br />
Definition (Egentlige dobbeltintegraler): Dobbeltintegralet ∫∫ f(x, y) dA<br />
D<br />
er egentligt, hvis begge betingelser nedenfor er opfyldt:<br />
• Domænet D er begrænset (og “pænt”, f.eks. regulært).<br />
• f(x, y) er begrænset på D (og f(x, y) er integrabel på D).<br />
Betingelse 2 er automatisk opfyldt hvis f(x, y) er kontinuert og hvis D er afsluttet<br />
(altså D indeholder alle sine randpunkter).<br />
Definition (Uegentlige dobbeltintegraler): Dobbeltintegralet ∫∫ f(x, y) dA<br />
D<br />
er uegentligt, hvis mindst en af følgende betingelser er opfyldt:<br />
• Domænet D er ubegrænset.<br />
• f(x, y) er ubegrænset på D.<br />
Theorem: Antag, at f(x, y) er en kontinuert og positiv funktion på et domæne<br />
D. Vi tillader, at domænet D kan være ubegrænset eller at funktionen f(x, y)<br />
kan være ubegrænset. Hvis D er et y-simpel, da gælder<br />
∫ ∫<br />
∫ b ∫ d(x)<br />
f(x, y) dA = dx f(x, y) dy.<br />
Hvis D er x-simpel, da gælder<br />
∫ ∫<br />
f(x, y) dA =<br />
Bemærkninger:<br />
D<br />
D<br />
a<br />
∫ d<br />
c<br />
dy<br />
c(x)<br />
∫ b(y)<br />
a(y)<br />
f(x, y) dx.<br />
• De nedre grænser a, a(y), c, c(x) kan være −∞, og de øvre grænser<br />
b, b(y), d, d(x) kan være +∞.<br />
• De to integraler på højresiderne vil (normalt) være uegentlige (enkelt)<br />
integraler.<br />
• Integralet kan antage værdien +∞.<br />
Definition: Hvis f(x, y) er positiv, så siger vi, at<br />
∫ ∫<br />
∫ ∫<br />
def<br />
f(x, y) dA er konvergent ⇐⇒<br />
D<br />
∫ ∫<br />
∫ ∫<br />
def<br />
f(x, y) dA er divergent ⇐⇒<br />
D<br />
2<br />
D<br />
D<br />
f(x, y) dA < ∞,<br />
f(x, y) dA = ∞.
Theorem (Tonelli): Hvis D er et domæne, som både er x-simpelt og y-simpelt,<br />
og hvis f(x, y) er en kontinuert og positiv funktion på D, da er<br />
∫ b<br />
a<br />
dx<br />
∫ d(x)<br />
c(x)<br />
f(x, y) dy =<br />
∫ d<br />
c<br />
dy<br />
∫ b(y)<br />
a(y)<br />
f(x, y) dx.<br />
Vi må altså ombytte integrationsrækkefølgen når f(x, y) er positiv.<br />
Definition: Hvis f(x, y) er reel (ikke nødvendigvis positiv), så siger vi, at<br />
∫ ∫<br />
∫ ∫<br />
def<br />
f(x, y) dA er konvergent ⇐⇒ |f(x, y)| dA < ∞<br />
D<br />
D<br />
∫ ∫<br />
(<br />
⇐⇒ |f(x, y)| dA er konvergent )<br />
D<br />
Definition: Hvis f(x, y) er integrabel på domænet D, og hvis<br />
0 < areal(D) < ∞, da sættes<br />
∫ ∫<br />
1<br />
f =<br />
f(x, y) dA.<br />
areal(D)<br />
Størrelsen f kaldes middelværdien for f (over D).<br />
Theorem 3: Hvis f(x, y) er en kontinuert funktion defineret på domænet D,<br />
og hvis D er sammenhængende, afsluttet og begrænset (og areal(D) > 0), da<br />
findes (x 0 , y 0 ) ∈ D så<br />
f = f(x 0 , y 0 ).<br />
D<br />
Med andre ord: middelværdien for f(x, y) antages i et punkt (x 0 , y 0 ) ∈ D.<br />
3
Skift af variable til polære koordinater: Lad D være et område i (x, y)-<br />
planen og lad R være det tilsvarende område i (r, θ)-planen under hensyn til<br />
koordinatskiftet:<br />
x = r cos(θ), y = r sin(θ).<br />
Lad f(x, y) være en integrabel funktion på D. Da er<br />
∫ ∫<br />
D<br />
∫ ∫<br />
f(x, y) dxdy =<br />
R<br />
g(r, θ)r drdθ,<br />
hvor<br />
g(r, θ) = f(r cos(θ), r sin(θ)).<br />
Tre trin:<br />
• Skift område D (mht. rektangulære koordinater) ud med nyt område R<br />
(mht. polære koordinater).<br />
• Skift f(x, y) ud med g(r, θ) = f(r cos(θ), r sin(θ)).<br />
• Skift dA = dxdy ud med rdrdθ.<br />
4
Generelt variabelskift: Lad D være et område i (x, y)-planen. Antag at<br />
x = x(u, v), y = y(u, v)<br />
er glatte funktioner, og at der er et område S i (u, v)-planen således, at der til<br />
hvert (x, y) i D svarer netop et punkt (u, v) i S så x = x(u, v) og y = y(u, v). 1<br />
Lad f(x, y) være en integrabel funktion på D. Da er<br />
∫ ∫<br />
D<br />
∫ ∫<br />
f(x, y) dxdy =<br />
S<br />
g(u, v)<br />
∂(x, y)<br />
∣∂(u, v) ∣ dudv,<br />
hvor<br />
og hvor<br />
∣<br />
∂(x, y) ∣∣∣∣ ∂x<br />
∂(u, v) = ∂u<br />
∂y<br />
∂u<br />
∂x<br />
∂v<br />
∂y<br />
∂v<br />
∣ = ∂x ∂y<br />
∂u ∂v − ∂x ∂y<br />
∂v ∂u ,<br />
g(u, v) = f(x(u, v), y(u, v)).<br />
Fire trin:<br />
• Find et smart koordinatskifte u = u(x, y) og v = v(x, y).<br />
• Skift område D (mht. rektangulære koordinater) ud med nyt område S<br />
(mht. nye koordinater (u, v)).<br />
• Skift f(x, y) ud med g(u, v) = f(u(x, y), v(x, y)).<br />
∣<br />
• Skift dA = dxdy ud med ∣ dudv.<br />
∣ ∂(x,y)<br />
∂(u,v)<br />
Hvis man istedet har givet<br />
u = u(x, y),<br />
v = v(x, y),<br />
da kan vi benytte:<br />
( ) −1<br />
∂(x, y) ∂(u, v)<br />
∂(u, v) = =<br />
∂(x, y)<br />
∣<br />
∂u<br />
∂x<br />
∂v<br />
∂x<br />
∂v<br />
∂y<br />
∣<br />
∂u −1<br />
∂y<br />
.<br />
Højresiden vil være en funktion i (x, y), som man så må lave om til en funktion<br />
i (u, v).<br />
1 Undertiden kan der være en kurve i S, som svarer til et enkelt punkt i D (eller omvendt)<br />
uden at det ødelægger formlen. F. eks giver alle polære koordinater (0, θ) anledning til samme<br />
punkt i x − y planen, nemlig punktet (0, 0).<br />
5
Egenskaber for trippel integralet:<br />
(a)<br />
(b)<br />
∫∫∫<br />
∫∫∫<br />
B<br />
B<br />
f(x, y, z) dV = 0, hvis volumenet af B er nul.<br />
1 dV = volumen(B).<br />
(c) Hvis f(x, y, z) ≥ 0, da er ∫∫∫ f(x, y, z) dV “hypervolumenet” af det 4-<br />
B<br />
dimensionale område, som ligger over B og under den 3-dimensionale flade<br />
v = f(x, y, z).<br />
(e1)<br />
(e2)<br />
(f)<br />
∫∫∫<br />
B (f(x, y, z) + g(x, y, z)) dV = ∫∫∫ B f(x, y, z) dV + ∫∫∫ g(x, y, z) dV .<br />
B<br />
∫∫∫<br />
B tf(x, y, z) dV = t ∫∫∫ f(x, y, z) dV .<br />
B<br />
∣ ∫∫∫ B f(x, y, z) dV ∣ ≤ |f(x, y, z)| dV .<br />
∫∫∫B<br />
(g)<br />
∫∫∫B f(x, y, z) dV = ∑ k<br />
∫∫∫<br />
j=1 B j<br />
f(x, y, z) dV , hvis B 1 , B 2 , . . . , B k er en<br />
“inddeling” af B i k deldomæner, som højst overlapper hinanden i nogle<br />
fladestykker eller kurver eller punkter. De må altså ikke have noget<br />
egentlig rumfang til fælles.<br />
Trippelintegraler ved iteration: Antag R er området i R 3 givet ved<br />
a 1 ≤ x ≤ b 1 , a 2 (x) ≤ y ≤ b 2 (x), a 3 (x, y) ≤ z ≤ b 3 (x, y), (∗)<br />
og at f(x, y, z) er kontinuert på R. Da er<br />
∫ ∫ ∫<br />
f(x, y, z) dV =<br />
∫ b1<br />
dx<br />
∫ b2(x)<br />
dy<br />
∫ b3(x,y)<br />
R<br />
a 1 a 2(x) a 3(x,y)<br />
f(x, y, z) dz.<br />
Noget tilsvarende gælder hvis rækkefølgen af x, y, z i (∗) er byttet om.<br />
6
Skift af variable i trippel integraler: Lad D være et område i det 3-<br />
dimensionale (x, y, z)-rum. Antag at<br />
x = x(u, v, w), y = y(u, v, w), z = z(u, v, w)<br />
er glatte funktioner, og at der er et område S i (u, v, w)-rummet således, at<br />
der til hvert (x, y, z) i D svarer netop et punkt (u, v, w) i S så x = x(u, v, w),<br />
y = y(u, v, w) og z = z(u, v, w).<br />
Lad f(x, y, z) være en integrabel funktion på D. Da er<br />
∫ ∫ ∫<br />
∫ ∫ ∫<br />
f(x, y, z) dxdydz = g(u, v, w)<br />
∂(x, y, z)<br />
∣∂(u, v, w) ∣ dudvdw,<br />
hvor<br />
og hvor<br />
D<br />
S<br />
∣ ∣∣∣∣∣∣∣ ∂x<br />
∂u<br />
∂(x, y, z)<br />
∂(u, v, w) = ∂y<br />
∂u<br />
∂z<br />
∂u<br />
∂x<br />
∂v<br />
∂y<br />
∂v<br />
∂z<br />
∂v<br />
∂x<br />
∂w<br />
∂y<br />
∂w<br />
∂z<br />
∂w<br />
,<br />
∣<br />
g(u, v, w) = f(x(u, v, w), y(u, v, w), z(u, v, w)).<br />
Skift af variable til cylinder koordinater: Lad R være et område i (x, y, z)-<br />
rummet, og lad S være det tilsvarende område i (r, θ, z)-rummet under hensyn<br />
til cylinder koordinatskiftet:<br />
x = r cos(θ), y = r sin(θ), z = z.<br />
Lad f(x, y, z) være en integrabel funktion på R. Da er<br />
∫ ∫ ∫<br />
∫ ∫ ∫<br />
f(x, y, z) dxdydz = g(r, θ, z)r drdθdz,<br />
hvor<br />
R<br />
g(r, θ, z) = f(r cos(θ), r sin(θ), z).<br />
Skift af variable til sfæriske koordinater: Lad R være et område i (x, y, z)-<br />
rummet, og lad S være det tilsvarende område i (r, θ, z)-rummet under hensyn<br />
til det sfæriske koordinatskift:<br />
x = ρ sin(φ) cos(θ), y = ρ sin(φ) sin(θ), z = ρ cos(φ).<br />
Lad f(x, y, z) være en integrabel funktion på R. Da er<br />
∫ ∫ ∫<br />
∫ ∫ ∫<br />
f(x, y, z) dxdydz = g(ρ, φ, θ)ρ 2 sin(φ) dρdφdθ,<br />
hvor<br />
R<br />
g(ρ, φ, θ) = f(ρ sin(φ) cos(θ), ρ sin(φ) sin(θ), ρ cos(φ)).<br />
NB: Variablen φ skal ligge i intervallet [0, π], mens variablen θ kan ligge i [0, 2π]<br />
eller i [−π, π] afhængigt af, hvad der er mest praktisk. Endelig: ρ ≥ 0.<br />
S<br />
S<br />
7