CALCULUS III TWEE- EN DRIEVOUDIGE INTEGRALEN ACHTERGROND 0.1 LIJNEN IN DE RUIMTE 1 Een lijn in de ruimte kan worden vastgesteld door een punt en een richtingsvector. Een VECTORVERGELIJKING voor de lijn ๐ฟ door ๐0 (๐ฅ0 , ๐ฆ0 , ๐ง0 ) parallel aan ๐ is2 ๐ซ(๐ก) = ๐ซ0 + ๐ก๐ฏ, −∞ < ๐ก < ∞ waarin ๐ de POSITIEVECTOR is voor een punt ๐(๐ฅ, ๐ฆ, ๐ง) op lijn L en ๐0 de positievector van ๐0 (๐ฅ0 , ๐ฆ0 , ๐ง0 ). De vectorvergelijking kan ook worden geschreven als ๐ฅ0 ๐ฃ1 ๐ฅ0 + ๐ก๐ฃ1 ๐ฅ ๐ฆ ๐ฃ (๐ฆ) = ( 0 ) + ๐ก ( 2 ) = (๐ฆ0 + ๐ก๐ฃ2 ) ๐ง0 ๐ฃ3 ๐ง0 + ๐ก๐ฃ3 ๐ง Deze vergelijking geeft ons de standaard parametrisering van de lijn. Wanneer we enkel een lijnsegment willen parametriseren, dan begrenzen we het DEFINITIEGEBIED (DOMEIN) door te stellen dat de functie alleen geldt voor bepaalde waarden van ๐ก. 0.2 HET UITPRODUCT 3 Het UITPRODUCT ๐ × ๐ van 2 vectoren is een vector. Wanneer ๐ = (๐1 , ๐2 , ๐3 ) en ๐ = (๐1 , ๐2 , ๐3 ), dan geldt: ๐1 ๐2 ๐3 ๐2 ๐3 − ๐3 ๐2 ๐2 ๐3 ๐1 ๐3 ๐1 ๐2 ๐ × ๐ = [ ๐3 ๐1 − ๐1 ๐3 ] = |๐ ๐ | ๐1 − |๐ ๐ | ๐2 + |๐ ๐ | ๐3 = |๐1 ๐2 ๐3 | 2 3 1 3 1 2 ๐1 ๐2 ๐3 ๐1 ๐2 − ๐2 ๐1 e Hoewel de 1 rij in deze laatste matrix uit vectoren bestaat, wordt de determinant uitgerekend alsof het getallen zouden zijn. Voor uitproducten gelden de volgende rekenregels: ๏ท ๐ × ๐ = −๐ × ๐ ๏ท (๐๐) × ๐ = ๐(๐ × ๐) = ๐ × (๐๐) ๏ท ๐ × (๐ + ๐) = ๐ × ๐ + ๐ × ๐ ๏ท (๐ + ๐) × ๐ = ๐ × ๐ + ๐ × ๐ ๏ท ๐ โ (๐ × ๐) = (๐ × ๐) โ ๐ ๏ท ๐ × (๐ × ๐) = (๐ โ ๐)๐ − (๐ โ ๐)๐ HOOFDSTUK 1: MEERVOUDIGE INTEGRALEN 4 1.1 DUBBELE EN HERHAALDE INTEGRALEN OVER RECHTHOEKEN We gaan uit van een functie ๐(๐ฅ, ๐ฆ) die is gedefinieerd op een rechthoekig gebied ๐ , ๐ : ๐ ≤ ๐ฅ ≤ ๐, ๐ ≤ ๐ฆ ≤ ๐ 1 Oorspronkelijk paragraaf 12.5 van Thomas’ Calculus Voor variabelen en functies met beeldruimte ๐ worden cursieve letters gebruikt. Voor vectoren en vectorfuncties worden dikgedrukte, rechte letters gebruikt. 3 Oorspronkelijk paragraaf 12.4 van Thomas’ Calculus 4 Oorspronkelijk Hoofdstuk 15 uit Thomas’ Calculus 2 We delen ๐ op in ๐ kleine rechthoekjes door middel van een netwerk van lijnen parallel aan de ๐ฅ-as en de ๐ฆ-as. Ieder rechthoekje heeft oppervlak โ๐ด = โ๐ฅโ๐ฆ. We kunnen nu een Riemann som vormen door in elk k de rechthoekje een punt (๐ฅ๐ , ๐ฆ๐ ) te kiezen, de waarde van ๐ in dit punt te vermenigvuldigen met het oppervlak โ๐ด๐ en de producten van alle rechthoekjes bij elkaar op te tellen. ๐ ๐๐ = ∑ ๐(๐ฅ๐ , ๐ฆ๐ )โ๐ด๐ ๐=1 Hoe meer rechthoekjes, hoe beter de benadering. Wanneer de integraal ๐ lim ∑ ๐(๐ฅ๐ , ๐ฆ๐ )โ๐ด๐ ๐→∞ ๐=1 bestaat, dan is de functie ๐ INTEGREERBAAR over ๐ . Bovenstaande limiet wordt dan ook wel de DUBBELE INTEGRAAL van ๐ over ๐ genoemd. Wanneer ๐(๐ฅ, ๐ฆ) een positieve functie is over een rechthoekig gebied ๐ in het ๐ฅ๐ฆ-vlak, dan kan de dubbele integraal van ๐ over ๐ geïnterpreteerd worden als het volume van het driedimensionale gebied tussen het ๐ฅ๐ฆvlak en het oppervlak. Elke term ๐(๐ฅ๐ , ๐ฆ๐ )โ๐ด๐ in de som ๐๐ = ∑๐๐=1 ๐(๐ฅ๐ , ๐ฆ๐ )โ๐ด๐ is het volume van een verticale balk die het volume boven de basis โ๐ด๐ benadert. De som ๐๐ benadert dan het totale volume. We definiëren het volume als ๐ Volume = lim ∑ ๐(๐ฅ๐ , ๐ฆ๐ )โ๐ด๐ = โฌ ๐(๐ฅ, ๐ฆ)๐๐ด = โฌ ๐(๐ฅ, ๐ฆ)๐๐ฅ๐๐ฆ ๐→∞ ๐ ๐=1 ๐ waarin โ๐ด๐ → 0 als ๐ → ∞. STELLING VAN FUBINI (simpele variant): Wanneer ๐(๐ฅ, ๐ฆ) een continue functie is over het rechthoekige gebied ๐ : ๐ ≤ ๐ฅ ≤ ๐, ๐ ≤ ๐ฆ ≤ ๐, dan geldt ๐ ๐ ๐ ๐ โฌ ๐(๐ฅ, ๐ฆ)๐๐ด = ∫ ∫ ๐(๐ฅ, ๐ฆ)๐๐ฅ ๐๐ฆ = ∫ ∫ ๐(๐ฅ, ๐ฆ)๐๐ฆ ๐๐ฅ ๐ ๐ ๐ ๐ ๐ De laatste twee uitdrukkingen zijn HERHAALDE INTEGRALEN.. Je integreert eerst ๐(๐ฅ, ๐ฆ) ten opzichte van ๐ฆ van ๐ฆ = ๐ tot ๐ฆ = ๐ waarbij ๐ฅ blijft en vervolgens integreer je het resultaat, een uitdrukking in ๐ฅ, ten opzichte van ๐ฅ van ๐ฅ = ๐ tot ๐ฅ = ๐. 1.2 DUBBELE INTEGRALEN OVER ALGEMENE GEBIEDEN Wanneer we een functie ๐(๐ฅ, ๐ฆ) integreren over niet-rechthoekig oppervlak gaat dat eigenlijk hetzelfde als bij een rechthoekig oppervlak. Weer wordt het oppervlak verdeeld in ๐ kleine rechthoekjes en geldt5 ๐ Volume = lim ∑ ๐(๐ฅ๐ , ๐ฆ๐ )โ๐ด๐ = โฌ ๐(๐ฅ, ๐ฆ)๐๐ด ๐→∞ 5 ๐=1 ๐ Het oppervlak ๐ wordt benaderd, de rechthoekjes vormen niet exact ๐ . Voor de functies die bij dit vak aan bod komen is dit echter geen problem. Het gebied ๐ in het ๐ฅ๐ฆ-vlak wordt nu echter niet meer gedefinieerd door de lijnen ๐ฅ = ๐, ๐ฅ = ๐, ๐ฆ = ๐ en ๐ฆ = ๐, maar bijvoorbeeld door de krommen ๐ฆ = ๐1 (๐ฅ) en ๐ฆ = ๐2 (๐ฅ) aan de boven- en onderkant en door de lijnen ๐ฅ = ๐ en ๐ฅ = ๐ aan de zijkanten. STELLING VAN FUBINI (sterkere variant): Wanneer ๐(๐ฅ, ๐ฆ) continu is over een gebied ๐ ๏ท en ๐ is gedefinieerd door ๐ ≤ ๐ฅ ≤ ๐, ๐1 (๐ฅ) ≤ ๐ฆ ≤ ๐2 (๐ฅ) waarbij ๐1 en ๐2 continu zijn op [๐, ๐], dan geldt ๐2 (๐ฅ) ๐ โฌ ๐(๐ฅ, ๐ฆ)๐๐ด = ∫ ∫ ๏ท ๐ ๐ ๐(๐ฅ, ๐ฆ)๐๐ฆ ๐๐ฅ ๐1 (๐ฅ) en ๐ is gedefinieerd door ๐ ≤ ๐ฆ ≤ ๐, โ1 (๐ฆ) ≤ ๐ฅ ≤ โ2 (๐ฆ) waarbij โ1 en โ2 continu zijn op [๐, ๐], dan geldt โ2 (๐ฅ) ๐ โฌ ๐(๐ฅ, ๐ฆ)๐๐ด = ∫ ∫ ๐ ๐ ๐(๐ฅ, ๐ฆ)๐๐ฅ ๐๐ฆ โ1 (๐ฅ) Wanneer we eerst integreren naar ๐ฆ, integreren we over een verticale lijn door ๐ en integreren we vervolgens van links naar recht om alle verticale lijnen in ๐ te omvatten. Wanneer we eerst integreren naar ๐ฅ, integreren we over horizontale lijnen. Beide manieren leiden altijd tot hetzelfde antwoord, maar in sommige gevallen is de integraal op de ene manier (veel) gemakkelijker uit te werken. De algemene werkwijze voor het uitwerken van de integraal โฌ๐ ๐(๐ฅ, ๐ฆ)๐๐ด bestaat uit drie stappen. Wanneer we integreren over verticale lijnen gelden de volgende drie stappen: 1. Schetsen: Schets het integreergebied en label de begrenzende krommen. 2. Vind de ๐-limieten: Stel je een verticale lijn ๐ฟ voor die ๐ in de richting van toenemende ๐ฆ doorsnijdt. Beschrijf de ๐ฆ-waarden waar ๐ฟ de grenzen van het gebied overschrijdt als functie van ๐ฅ of als constante. 3. Vind de ๐-limieten: Kies ๐ฅ-limieten die alle verticale lijnen in ๐ omvatten. Wanneer we integreren over horizontale lijnen gelden dezelfde stappen maar dan met ๐ฅ en ๐ฆ omgewisseld. Voor dubbele integralen gelden de volgende eigenschappen: ๏ท Constante veelvoud: โฌ๐ ๐๐(๐ฅ, ๐ฆ)๐๐ด = ๐ โฌ๐ ๐(๐ฅ, ๐ฆ)๐๐ด ๏ท Som en verschil: โฌ๐ (๐(๐ฅ, ๐ฆ) ± ๐(๐ฅ, ๐ฆ))๐๐ด = โฌ๐ ๐(๐ฅ, ๐ฆ)๐๐ด ± โฌ๐ ๐(๐ฅ, ๐ฆ)๐๐ด ๏ท Ongelijkheden: wanneer ๐(๐ฅ, ๐ฆ) ≥ 0 in ๐ โฌ๐ ๐(๐ฅ, ๐ฆ)๐๐ด ≥ 0 wanneer ๐(๐ฅ, ๐ฆ) ≥ ๐(๐ฅ, ๐ฆ) in ๐ โฌ๐ ๐(๐ฅ, ๐ฆ)๐๐ด ≥ โฌ๐ ๐(๐ฅ, ๐ฆ)๐๐ด ๏ท Optelbaarheid: โฌ๐ ๐(๐ฅ, ๐ฆ)๐๐ด = โฌ๐ ๐(๐ฅ, ๐ฆ)๐๐ด + โฌ๐ ๐(๐ฅ, ๐ฆ)๐๐ด 1 2 wanneer ๐ de verzameling is van twee gebieden ๐ 1 en ๐ 2 die elkaar niet overlappen 1.3 OPPERVLAKTE EN GEMIDDELDE WAARDE BEREKENEN DOOR DUBBELE INTEGRATIE Wanneer we in de definitie voor de dubbele integraal over een gebied ๐ ๐(๐ฅ, ๐ฆ) = 1 invullen, dan berekenen we in plaats van een volume een oppervlak. ๐ Oppervlakte = lim ∑ โ๐ด๐ = โฌ ๐๐ด ๐→∞ ๐=1 ๐ De gemiddelde waarde van een integreerbare functie van één variabele op een gesloten interval is de integraal van de functie over het interval gedeeld door de lengte van het interval. Voor een integreerbare functie van twee variabelen gedefinieerd over een gesloten gebied is de gemiddelde waarde de integraal over het gebied gedeeld door het oppervlak van het gebied. 1 ๐ ๐๐ฆ๐ข๐๐๐๐ฅ๐๐ ๐ฐ๐๐๐ซ๐๐ van ๐ over ๐ = โฌ ๐ ๐๐ด oppervlakte van ๐ ๐ 1.4 DUBBELE INTEGRALEN IN POOLCOÖRDINATEN Wanneer we een dubbele integraal definiëren over een gebied ๐ in het ๐ฅ๐ฆ-vlak, dan verdelen we het gebied in rechthoekjes evenwijdig aan beide coördinatenassen. De rechthoekjes hebben dezelfde ๐ฅ- of dezelfde ๐ฆwaarde als de aanliggende rechthoekjes. Wanneer we gebruik maken van POOLCOÖRDINATEN, zijn niet ๐ฅ en ๐ฆ, maar ๐ en ๐ constant. Stel je een functie ๐(๐, ๐) is gedefinieerd als het gebied ๐ dat wordt begrensd door de stralen bij hoek ๐ = ๐ผ en ๐ = ๐ฝ en door de continue krommen ๐ = ๐1 (๐) en ๐ = ๐2 (๐). Wanneer voor elke ๐ tussen ๐ผ en ๐ฝ geldt dat 0 ≤ ๐1 (๐) ≤ ๐2 (๐) ≤ ๐, dan ligt ๐ in een waaiervormig gebied ๐ dat is gedefinieerd door de ongelijkheden 0 ≤ ๐ ≤ ๐ en ๐ผ ≤ ๐ ≤ ๐ฝ. We kunnen nu een Riemann som vormen door in elk kde rechthoekje een punt (๐๐ , ๐๐ ) te kiezen, de waarde van ๐ in dit punt te vermenigvuldigen met het oppervlak โ๐ด๐ en de producten van alle rechthoekjes bij elkaar op te tellen. ๐ ๐๐ = ∑ ๐(๐๐ , ๐๐ )โ๐ด๐ ๐=1 Hoe meer rechthoekjes, hoe beter de benadering. Wanneer de integraal ๐ lim ∑ ๐(๐๐ , ๐๐ )โ๐ด๐ ๐→∞ ๐=1 bestaat, dan is de functie ๐ INTEGREERBAAR over ๐ . Bovenstaande limiet wordt dan ook wel de DUBBELE INTEGRAAL van ๐ over ๐ genoemd. Voordat deze limiet kan worden uitgewerkt, moet โ๐ด๐ worden uitgedrukt in โ๐ en โ๐. We kiezen ๐๐ als gemiddelde straal van de binnenste en de buitenste boog. De straal van de binnenste boog is dan ๐๐ − โ๐⁄2 en die van de buitenste boog ๐๐ + โ๐ ⁄2. De oppervlakte van een wigvormige 1 gebiedje is ๐ด = ๐ โ ๐ 2 . Dit volgt door de oppervlakte van een cirkel, ๐๐ 2 , te delen ๐⁄2๐ . De oppervlakte van 2 de wigvormige gebieden die zijn begrensd door de bogen ๐๐ − โ๐ ⁄2 en ๐๐ + โ๐⁄2 is 1 โ๐ 2 1 โ๐ 2 (๐๐ − ) โ๐ ๐๐๐ ๐๐๐๐ก๐๐๐ฃ๐๐๐๐๐ (๐๐ + ) โ๐ 2 2 2 2 Hieruit volgt voor het oppervlak van het door deze bogen ingesloten gebiedje โ๐ โ๐ 2 โ๐ 2 โ๐ (2๐๐ โ๐) = ๐๐ โ๐โ๐ โ๐ด๐ = ((๐๐ + ) − (๐๐ − ) ) = 2 2 2 2 Hieruit volgt voor de eerder gedefinieerde dubbele integraal van ๐ over ๐ ๐ ๐→∞ ๐=๐2 (๐) ๐=๐ฝ lim ∑ ๐(๐๐ , ๐๐ )โ๐ด๐ = โฌ ๐(๐, ๐)๐ ๐๐ ๐๐ = ∫ ๐ ๐=1 ๐=๐ผ ∫ ๐(๐, ๐)๐ ๐๐ ๐๐ ๐=๐1 (๐) De algemene werkwijze voor het uitwerken van de integraal โฌ๐ ๐(๐, ๐)๐๐ด bestaat uit drie stappen. 1. Schetsen: Schets het integreergebied en label de begrenzende krommen. 2. Vind de ๐-limieten: Stel je een straal ๐ฟ voor vanuit de oorsprong die ๐ in de richting van toenemende ๐ doorsnijdt. Beschrijf de ๐-waarden waar ๐ฟ de grenzen van het gebied overschrijdt als functie van ๐ of als constante. 3. Vind de ๐ฝ-limieten: Vind de kleinste en grootste waarde voor ๐ die het gebied ๐ begrenzen. 1.5 DRIEVOUDIGE INTEGRALEN IN RECHTHOEKIGE COÖRDINATEN Wanneer ๐น(๐ฅ, ๐ฆ, ๐ง) een functie is gedefinieerd op een gesloten, begrensd gebied ๐ท in de ruimte, dan kan de integraal van ๐น over ๐ท bepaald worden door ๐ท in ๐ kleine, rechthoekige blokjes te delen. Elk blokje heeft volume โ๐ = โ๐ฅโ๐ฆโ๐ง. We kunnen nu een Riemann som vormen door in elk k de blokje een punt (๐ฅ๐ , ๐ฆ๐ , ๐ง๐ ) te kiezen, de waarde van ๐น in dit punt te vermenigvuldigen met het volume โ๐๐ en de producten van alle blokjes bij elkaar op te tellen. ๐ ๐๐ = ∑ ๐น(๐ฅ๐ , ๐ฆ๐ , ๐ง๐ )โ๐๐ ๐=1 Hoe meer blokjes, hoe beter de benadering. Wanneer ๐น continu is en het gebogen oppervlak van ๐ท wordt gevormd uit een eindig aantal vloeiende oppervlaktes die aan elkaar zijn verbonden langs vloeiende krommen, dan is ๐น INTEGREERBAAR. De limiet ๐ lim ∑ ๐น(๐ฅ๐ , ๐ฆ๐ , ๐ง๐ )โ๐๐ ๐→∞ ๐=1 wordt dan ook wel de DRIEVOUDIGE INTEGRAAL van ๐น over ๐ท genoemd. ๐ lim ∑ ๐น(๐ฅ๐ , ๐ฆ๐ , ๐ง๐ )โ๐๐ = โญ ๐น(๐ฅ, ๐ฆ, ๐ง)๐๐ฅ ๐๐ฆ ๐๐ง ๐→∞ ๐ท ๐=1 Wanneer ๐น een constante is met waarde 1, dan kan bovenstaande integraal gereduceerd worden tot ๐ lim ∑ โ๐๐ = โญ ๐๐ฅ ๐๐ฆ ๐๐ง = โญ ๐๐ ๐→∞ ๐=1 ๐ท ๐ท Dit is het volume van het gesloten, begrensde gebied ๐ท. De algemene werkwijze voor het uitwerken van de integraal โญ๐ท ๐น(๐ฅ, ๐ฆ, ๐ง)๐๐ bestaat uit vier stappen. De werkwijze lijkt op die van tweevoudige integralen en is gebaseerd op een driedimensionale versie van de stelling van Fubini. Het maakt niet uit in welke volgorde je integreert. Wanneer we eerst integreren naar ๐ง, dan naar ๐ฆ en dan naar ๐ฅ gelden de volgende vier stappen: 1. Schetsen: Schets het integreergebied ๐ท en zijn ‘schaduw’ ๐ in het ๐ฅ๐ฆ-vlak. Label de begrenzende oppervlaken van ๐ท en de begrenzende krommen van ๐ . 2. Vind de ๐-limieten: Stel je een lijn ๐ voor door een punt (๐ฅ, ๐ฆ) evenwijdig aan de ๐ง-as in de richting van toenemende ๐ง. De punten ๐ง = ๐1 (๐ฅ, ๐ฆ) en ๐ง = ๐2 (๐ฅ, ๐ฆ) waar ๐ de grenzen van het gebied ๐ท overschrijdt, beschrijven de ๐ง-limiet. Vind de ๐-limieten: Stel je een lijn ๐ฟ voor door een punt (๐ฅ, ๐ฆ) evenwijdig aan de ๐ฆ-as in de richting van toenemende ๐ฆ. De punten ๐ฆ = ๐1 (๐ฅ) en ๐ฆ = ๐2 (๐ฅ) waar ๐ฟ de grenzen van het oppervlak ๐ overschrijdt, beschrijven de ๐ง-limiet. 4. Vind de ๐-limieten: Kies ๐ฅ-limieten die alle lijnen in ๐ evenwijdig aan de ๐ฆ-as omvatten. Dit zijn de ๐ฅlimieten. De integraal is 3. ๐ฆ=๐2 (๐ฅ) ๐ฅ=๐ ∫ ๐ฅ=๐ ∫ ๐ง=๐2 (๐ฅ,๐ฆ) ∫ ๐ฆ=๐1 (๐ฅ) ๐น(๐ฅ, ๐ฆ, ๐ง)๐๐ง ๐๐ฆ ๐๐ฅ ๐ง=๐1 (๐ฅ,๐ฆ) De gemiddelde waarde van een integreerbare functie van drie variabelen binnen een gesloten gebied is de integraal van de functie over het interval gedeeld door het volume van het gebied 1 ๐ ๐๐ฆ๐ข๐๐๐๐ฅ๐๐ ๐ฐ๐๐๐ซ๐๐ van ๐น over ๐ท = โญ ๐น ๐๐ volume van ๐ท ๐ท 1.6 MOMENTEN EN MASSAMIDDELPUNTEN Wanneer ๐ฟ(๐ฅ, ๐ฆ, ๐ง) de dichtheid is van een object ter grootte van een bepaald gebied ๐ท, dan geeft de integraal van ๐ฟ over ๐ท de MASSA van het object. Dit volgt uit onderstaande figuur waar een object is verdeeld in kleine elementjes. ๐ ๐ ๐ = lim ∑ โ๐๐ = lim ∑ ๐ฟ(๐ฅ๐ , ๐ฆ๐ , ๐ง๐ )โ๐๐ = โญ ๐ฟ(๐ฅ, ๐ฆ, ๐ง)๐๐ ๐→∞ ๐=1 ๐→∞ ๐ท ๐=1 Het EERSTE MOMENT van het object rondom een bepaald vlak is gedefinieerd als de drievoudige integraal over ๐ท van de afstand van een punt (๐ฅ, ๐ฆ, ๐ง) in ๐ท tot het vlak vermenigvuldigd met de dichtheid in dat punt. De eerste momenten rondom respectievelijk het ๐ฆ๐ง-, het ๐ฅ๐ง- en het ๐ฅ๐ฆ-vlak zijn ๐๐ฆ๐ง = โญ ๐ฅ ๐ฟ(๐ฅ, ๐ฆ, ๐ง)๐๐ ๐ท ๐๐ฅ๐ง = โญ ๐ฆ ๐ฟ(๐ฅ, ๐ฆ, ๐ง)๐๐ ๐ท ๐๐ฅ๐ฆ = โญ ๐ง ๐ฟ(๐ฅ, ๐ฆ, ๐ง)๐๐ ๐ท De coördinaten van het MASSAMIDDELPUNT (๐ฅฬ , ๐ฆฬ , ๐งฬ ) kunnen aan de hand van bovenstaande momenten en de massa worden berekend. ๐๐ฆ๐ง ๐๐ฅ๐ฆ ๐๐ฅ๐ง ๐ฅฬ = ๐ฆฬ = ๐งฬ = ๐ ๐ ๐ Wanneer de dichtheid constant is, wordt het massamiddelpunt ook wel het ZWAARTEPUNT genoemd. De formules voor de massa, de eerste momenten en het massamiddelpunt van een tweedimensionaal object volgen uit die van een driedimensionaal object simpelweg door het ๐ง-coördinaat weg te laten. ๐ = โฌ ๐ฟ(๐ฅ, ๐ฆ) ๐๐ด ๐ ๐๐ฅ = โฌ ๐ฅ ๐ฟ(๐ฅ, ๐ฆ) ๐๐ด ๐ ๐๐ฆ = โฌ ๐ฆ ๐ฟ(๐ฅ, ๐ฆ) ๐๐ด ๐๐ฆ ๐ฅฬ = ๐ ๐ ๐ฆฬ = ๐๐ฅ ๐ 1.7 DRIEVOUDIGE INTEGRALEN IN CILINDER- EN BOLCOÖRDINATEN CILINDERCOÖRDINATEN (๐, ๐, ๐ง) geven een punt ๐ in de ruimte aan door middel van een combinatie van de poolcoördinaten in het ๐ฅ๐ฆ-vlak en het gebruikelijke ๐ง-coördinaat. De waardes van ๐ฅ, ๐ฆ, ๐ en ๐ zijn aan elkaar gerelateerd via de relaties ๐ฅ = ๐ cos ๐ , ๐ฆ = ๐ sin ๐ ๐ฆ 2 2 2 ๐ =๐ฅ +๐ฆ , tan ๐ = ๐ฅ Het volume van een wigvormig elementje โ๐๐ kan worden verkregen door het in paragraaf 1.4 bepaalde oppervlakte-elementje โ๐ด๐ te vermenigvuldigen met de hoogte โ๐ง. De Riemann som van ๐ over ๐ท heeft de vorm ๐ ๐๐ = ∑ ๐(๐๐ , ๐๐ , ๐ง๐ ) โ๐ง๐ ๐๐ โ๐๐ โ๐๐ ๐=1 De limiet van deze functie is de drievoudige integraal van ๐ over ๐ท. lim ๐๐ = โญ ๐(๐, ๐, ๐ง) ๐๐ง ๐๐ ๐๐ ๐→∞ ๐ท Deze integraal kan worden uit via het in paragraaf 1.5 gegeven stappenplan voor herhaalde integralen. 1. Schetsen: Schets het integreergebied ๐ท en zijn ‘schaduw’ ๐ in het ๐ฅ๐ฆ-vlak. Label de begrenzende oppervlaken van ๐ท en de begrenzende krommen van ๐ . 2. Vind de ๐-limieten: Stel je een lijn ๐ voor door een punt (๐, ๐) evenwijdig aan de ๐ง-as in de richting van toenemende ๐ง. De punten ๐ง = ๐1 (๐, ๐) en ๐ง = ๐2 (๐, ๐) waar ๐ de grenzen van het gebied ๐ท overschrijdt, beschrijven de ๐ง-limiet. Vind de ๐-limieten: Stel je een lijn ๐ฟ voor door een punt (๐, ๐) vanuit de oorsprong. De punten ๐ = โ1 (๐) en ๐ = โ2 (๐) waar ๐ฟ de grenzen van het oppervlak ๐ overschrijdt, beschrijven de ๐ง-limiet. 4. Vind de ๐ฝ-limieten: Wanneer je ๐ฟ om de ๐ง-as wentelt maakt het zodanig dat het gebied ๐ท er net in past, dan loopt de hoek ๐ die ๐ฟ maakt met de ๐ฅ-as van ๐ = ๐ผ tot ๐ = ๐ฝ. Dit zijn de limieten van ๐. De integraal is 3. ๐=โ2 (๐) ๐=๐ โญ ๐(๐, ๐, ๐)๐๐ = ∫ ๐ท ∫ ๐=๐ ๐ง=๐2 (๐,๐) ∫ ๐=โ1 (๐) ๐(๐, ๐, ๐ง)๐๐ง ๐ ๐๐ ๐๐ ๐ง=๐1 (๐,๐) BOLCOÖRDINATEN (๐, ๐, ๐) geven een punt ๐ in de ruimte aan door middel van een combinatie van de afstand van ๐ tot de oorsprong, ๐, de hoek die โโโโโ ๐๐ maakt met de positieve ๐ง-as, ๐, en het cilindercoördinaat ๐. Er geldt 0 ≤ ๐ ≤ ๐ en 0 ≤ ๐ ≤ 2๐. De vergelijking ๐ = ๐ beschrijft een bol met radius ๐ rondom de oorsprong, ๐ = ๐0 beschrijft een kegel met zijn top in de oorsprong en ๐ = ๐0 beschrijft het halfvlak dat de ๐งas bevat en ee hoek ๐0 maakt met de positieve ๐ฅ- as. Poolcoördinaten, cilindercoördinaten en poolcoördinaten zijn aan elkaar gerelateerd via de volgende relaties. ๐ = ๐ sin ๐ ๐ฅ = ๐ cos ๐ = ๐ sin ๐ cos ๐ , ๐ฆ = ๐ sin ๐ = ๐ sin ๐ sin ๐ , ๐ง = ๐ cos ๐ 2 2 2 2 2 ๐ = √๐ฅ + ๐ฆ + ๐ง = √๐ + ๐ง Het volume van een wigvormig elementje โ๐๐ is โ๐๐ = ๐๐2 sin ๐๐ โ๐๐ โ๐๐ โ๐๐ voor een punt (๐๐ , ๐๐ , ๐๐ ) in het elementje. De Riemann som van ๐ over ๐ท heeft de vorm ๐ ๐๐ = ∑ ๐(๐๐ , ๐๐ , ๐๐ ) ๐๐2 sin ๐๐ โ๐๐ โ๐๐ โ๐๐ ๐=1 De limiet van deze functie is de drievoudige integraal van ๐ over ๐ท. lim ๐๐ = โญ ๐(๐, ๐, ๐) ๐2 sin ๐ ๐๐ ๐๐ ๐๐ ๐→∞ ๐ท Deze integraal kan worden uit via het in paragraaf 1.5 gegeven stappenplan voor herhaalde integralen. 1. Schetsen: Schets het integreergebied ๐ท en zijn ‘schaduw’ ๐ in het ๐ฅ๐ฆ-vlak. Label de begrenzende oppervlaken van ๐ท en de begrenzende krommen van ๐ . 2. Vind de ๐-limieten: Stel je een lijn ๐ voor vanuit de oorsprong die een hoek ๐ maakt met de positieve ๐ง-as. Stel je ook de projectie van ๐ op het ๐ฅ๐ฆ-vlak voor en noem deze projectie ๐ฟ. De straal ๐ฟ maakt een hoek ๐ met de positieve ๐ฅ-as. Wanneer ๐ toeneemt overschrijdt het de grenzen van ๐ท in de punten ๐ = ๐1 (๐, ๐) en ๐ = ๐2 (๐, ๐). Dit zijn de limieten voor ๐. 3. Vind de ๐-limieten: Voor een gegeven ๐ loopt hoek ๐ die ๐ maakt met de ๐ง-as van ๐ = ๐๐๐๐ tot ๐ = ๐๐๐๐ฅ . Dit zijn de limieten voor ๐. 4. Vind de ๐ฝ-limieten: Wanneer je ๐ฟ om de ๐ง-as wentelt maakt het zodanig dat het gebied ๐ท er net in past, dan loopt de hoek ๐ die ๐ฟ maakt met de ๐ฅ-as van ๐ = ๐ผ tot ๐ = ๐ฝ. Dit zijn de limieten van ๐. De integraal is ๐=๐ โญ ๐(๐, ๐, ๐)๐๐ = ∫ ๐ท ๐=๐ ๐=๐2 (๐,๐,๐) ๐=๐๐๐๐ฅ ∫ ๐=๐๐๐๐ ∫ ๐=๐1 (๐,๐,๐) 1.8 SUBSTITUTIE IN MEERVOUDIGE INTEGRALEN ๐(๐, ๐, ๐) ๐2 sin ๐ ๐๐ ๐๐ ๐๐ De substitutie van polaire coördinaten in paragraaf 1.4 is een speciaal geval van een algemene substitutiemethode voor dubbele integralen. Stel je een gebied ๐บ in het ๐ข๐ฃ-vlak voor dat één-op-één wordt getransformeerd naar het gebied ๐ op het ๐ฅ๐ฆ-vlak door de vergelijkingen ๐ฅ = ๐(๐ข, ๐ฃ), ๐ฆ = โ(๐ข, ๐ฃ) ๐ is nu de AFBEELDING van ๐บ en ๐บ de VOORAFBEELDING van ๐ . Elke functie ๐(๐ฅ, ๐ฆ) kan worden geschreven als ๐(๐(๐ข, ๐ฃ), โ(๐ข, ๐ฃ)). Wanneer ๐, ๐ en โ continue partiële afgeleides hebben en ๐ฝ(๐ข, ๐ฃ) nul is in enkel geïsoleerde punten, dan geldt โฌ ๐(๐ฅ, ๐ฆ)๐๐ฅ ๐๐ฆ = ∫ ๐(๐(๐ข, ๐ฃ), โ(๐ข, ๐ฃ)) |๐ฝ(๐ข, ๐ฃ)| ๐๐ข ๐๐ฃ ๐ ๐บ De factor ๐ฝ(๐ข, ๐ฃ) is de JACOBIAAN van de coördinatentransformatie ๐ฅ = ๐(๐ข, ๐ฃ), ๐ฆ = โ(๐ข, ๐ฃ). ๐๐ฅ ๐๐ฅ ๐๐ฅ ๐๐ฆ ๐๐ฆ ๐๐ฅ ๐ฝ(๐ข, ๐ฃ) = |๐๐ข ๐๐ฃ | = − ๐๐ฆ ๐๐ฆ ๐๐ข ๐๐ฃ ๐๐ข ๐๐ฃ ๐๐ข ๐๐ฃ Dit wordt ook wel genoteerd als ๐(๐ฅ, ๐ฆ) ๐ฝ(๐ข, ๐ฃ) = ๐(๐ข, ๐ฃ) De substitutie van cilinder- en bolcoördinaten in paragraaf 1.7 zijn speciale gevallen van een algemene substitutiemethode voor drievoudige integralen. Stel je een gebied ๐บ voor in de ๐ข๐ฃ๐ค-ruimte dat één-op-één wordt getransformeerd nar het gebied ๐ท in de ๐ฅ๐ฆ๐ง-ruimte door de vergelijkingen ๐ฅ = ๐(๐ข, ๐ฃ, ๐ค), ๐ฆ = โ(๐ข, ๐ฃ, ๐ค), ๐ง = ๐(๐ข, ๐ฃ, ๐ค) Elke functie ๐น(๐ฅ, ๐ฆ, ๐ง) kan nu worden geschreven als ๐น(๐(๐ข, ๐ฃ, ๐ค), โ(๐ข, ๐ฃ, ๐ค), ๐(๐ข, ๐ฃ, ๐ค)) = ๐ป(๐ข, ๐ฃ, ๐ค) Wanneer ๐, โ en ๐ continue partiële afgeleides hebben, dan is de integraal van ๐น(๐ฅ, ๐ฆ, ๐ง) over ๐ท gerelateerd aan de integraal van ๐ป(๐ข, ๐ฃ, ๐ค) over ๐บ volgens de volgende vergelijking โญ ๐น(๐ฅ, ๐ฆ, ๐ง)๐๐ฅ ๐๐ฆ ๐๐ง = โญ ๐ป(๐ข, ๐ฃ, ๐ค) |๐ฝ(๐ข, ๐ฃ, ๐ค)| ๐๐ข ๐๐ฃ ๐๐ค ๐ท ๐บ De Jacobiaan is nu de absolute waarde van de volgende determinant ๐๐ฅ ๐๐ฅ ๐๐ฅ ๐๐ข ๐๐ฃ ๐๐ค | | ๐(๐ฅ, ๐ฆ, ๐ง) ๐๐ฆ ๐๐ฆ ๐๐ฆ ๐ฝ(๐ข, ๐ฃ, ๐ค) = = ๐(๐ข, ๐ฃ, ๐ค) |๐๐ข ๐๐ฃ ๐๐ค | ๐๐ง ๐๐ง ๐๐ง ๐๐ข ๐๐ฃ ๐๐ค Deze determinant geeft aan hoe veel het volume bij een punt in ๐บ wordt uitgerekt of samengedrukt tijdens de transformatie van (๐ข, ๐ฃ, ๐ค) naar (๐ฅ, ๐ฆ, ๐ง) coördinaten. HOOFDSTUK 2: INTEGRATIE IN VECTORVELDEN 6 2.1 LIJNINTEGRALEN Wanneer we integreren over een kromme ๐ถ in plaats van over een interval [๐, ๐] is er sprake van een LIJNINTEGRAAL of PADINTEGRAAL. Stel je een reële waarde-functie ๐(๐ฅ, ๐ฆ, ๐ง) voor die je wilt integreren over de kromme ๐ถ in het domein van ๐ die wordt geparametriseerd door ๐(๐ก) = ๐(๐ก)๐ + โ(๐ก)๐ + ๐(๐ก)๐, ๐ ≤ ๐ก ≤ ๐. De waardes van ๐ langs de kromme worden gegeven door de samengestelde functie ๐(๐(๐ก), โ(๐ก), ๐(๐ก)). Wanneer we deze functie integreren over de booglengte van ๐ก = ๐ tot ๐ก = ๐ moet de kromme ๐ถ verdeeld worden in ๐ subkrommes met lengte โ๐ ๐ . We kunnen nu een Riemann som vormen door in elk k de subkromme een punt (๐ฅ๐ , ๐ฆ๐ , ๐ง๐ ) te kiezen, de waarde van ๐ in dit punt te vermenigvuldigen met de lengte โ๐ ๐ en de producten van alle rechthoekjes bij elkaar op te tellen. ๐ ๐๐ = ∑ ๐(๐ฅ๐ , ๐ฆ๐ , ๐ง๐ )โ๐ ๐ ๐=1 Hoe meer subkrommes, hoe beter de benadering. De integraal 6 Oorspronkelijk Hoofdstuk 16 uit Thomas’ Calculus ๐ lim ∑ ๐(๐ฅ๐ , ๐ฆ๐ , ๐ง๐ )โ๐ ๐ = ∫ ๐(๐ฅ, ๐ฆ, ๐ง)๐๐ ๐→∞ ๐ถ ๐=1 bestaat wanneer ๐ถ een vloeiende kromme is voor ๐ ≤ ๐ก ≤ ๐ en ๐ een continue functie is op ๐ถ. De functie ๐ is dan integreerbaar over ๐ถ. Bovenstaande limiet wordt dan ook wel de LIJNINTEGRAAL van ๐ over ๐ถ genoemd.7 Aangezien geldt ๐๐ = |๐(๐ก)| ๐๐ก kan deze integraal ook worden geschreven als ๐ ∫ ๐(๐(๐ก), โ(๐ก), ๐(๐ก)) |๐(๐ก)| ๐๐ก ๐ Lijnintegralen hebben de nuttige eigenschap dat wanneer een kromme ๐ถ bestaat uit een eindig aantal verbonden vloeiende deelkrommes ๐ถ1 , ๐ถ2 , …, ๐ถ๐ , dan is de integraal van een functie over ๐ถ de som van de integralen over de deelkrommes. ∫ ๐ ๐๐ = ∫ ๐ ๐๐ + ∫ ๐ ๐๐ + โฏ + ∫ ๐ ๐๐ ๐ถ ๐ถ1 ๐ถ2 ๐ถ๐ De massa van een draadje dat het pad van een kromme ๐ถ in de ruimte beschrijft kan berekend worden door middel van integratie. door het Wanneer de kromme ๐ถ is geparametriseerd door ๐(๐ก) = ๐(๐ก)๐ + โ(๐ก)๐ + ๐(๐ก)๐, ๐ ≤ ๐ก ≤ ๐ dan zijn ๐ฅ, ๐ฆ en ๐ง funties van ๐ก en kan de dichtheid beschreven worden door de functie ๐ฟ(๐ฅ(๐ก), ๐ฆ(๐ก), ๐ง(๐ก)). De booglengtedifferentiaal is dan ๐๐ = √( ๐๐ฅ 2 ๐๐ฆ 2 ๐๐ง 2 ) + ( ) + ( ) ๐๐ก ๐๐ก ๐๐ก ๐๐ก Voor de massa geldt ๐๐ฅ 2 ๐๐ฆ 2 ๐๐ง 2 √ ๐ = ∫ ๐ฟ ๐๐ = ∫ ๐ฟ(๐ฅ(๐ก), ๐ฆ(๐ก), ๐ง(๐ก)) ( ) + ( ) + ( ) ๐๐ก ๐๐ก ๐๐ก ๐๐ก ๐ถ ๐ Op basis van deze vergelijking kunnen de vergelijkingen voor de eerste momenten om de coördinatenassen, de coördinaten van het massamiddelpunt bepaald worden. ๐ ๐๐ฆ๐ง = ∫ ๐ฅ ๐ฟ ๐๐ , ๐๐ฅ๐ง = ∫ ๐ฆ ๐ฟ ๐๐ , ๐ถ ๐ถ ๐๐ฆ๐ง ๐ฅฬ = , ๐ ๐๐ฅ๐ง ๐ฆฬ = , ๐ ๐๐ฅ๐ฆ = ∫ ๐ง ๐ฟ ๐๐ ๐๐ฅ๐ฆ ๐งฬ = ๐ ๐ถ 2.2 VECTORVELDEN EN LIJNINTEGRALEN: ARBEID, CIRCULATIE EN FLUX Een VECTORVELD is een functie die een vector voor elk punt van zijn domein een vector voorschrijft. In een driedimensionaal domein kan de formule er als volgt uitzien 8 ๐ญ(๐ฅ, ๐ฆ, ๐ง) = ๐(๐ฅ, ๐ฆ, ๐ง)๐ + ๐(๐ฅ, ๐ฆ, ๐ง)๐ + ๐(๐ฅ, ๐ฆ, ๐ง)๐ Het veld is continu wanneer de componentfuncties ๐, ๐ en ๐ continu zijn en differentieerbaar wanneer de componentfuncties differentieerbaar zijn. De tangentiele vectoren ๐ป en de normaalvectoren ๐ต van een kromme in de ruimte vormen beide vectorvelden langs de kromme. Langs een kromme ๐(๐ก) hebben ze een componentformule gelijk aan de uitdrukking van een snelheidsveld ๐(๐ก) = ๐(๐ก)๐ + ๐(๐ก)๐ + โ(๐ก)๐ De gradiëntvector ∇๐ van een differentieerbare scalaire functie ๐(๐ฅ, ๐ฆ, ๐ง) in een punt geeft de richting van de grootste toename van de functie. De gradiëntvectoren van alle punten binnen een bepaald gebied vormen een GRADIËNTVELD. ๐๐ ๐๐ ๐๐ ๐๐ = ๐+ ๐+ ๐ ๐๐ฅ ๐๐ฆ ๐๐ง Stel je een vectorveld ๐ญ(๐ฅ, ๐ฆ, ๐ง) = ๐(๐ฅ, ๐ฆ, ๐ง)๐ + ๐(๐ฅ, ๐ฆ, ๐ง)๐ + ๐(๐ฅ, ๐ฆ, ๐ง)๐ voor met continue componenten en een kromme ๐ถ met een vloeiende parametrisering ๐(๐ก) = ๐(๐ก)๐ + โ(๐ก)๐ + ๐(๐ก)๐, ๐ ≤ ๐ก ≤ ๐. De paramtrisering ๐(๐ก) definieert een VOORWAARTSE RICHTING of oriëntatie langs ๐ถ. In elk punt langs het pad ๐ถ 7 De waarde van een lijnintegraal langs een pad tussen twee punten kan veranderen wanneer het pad verandert. Dit is het verschil van padfuncties ten opzichte van toestandsfuncties. 8 Het veld van tweedimensionale vectoren kan worden beschreven door de functie ๐ญ(๐ฅ, ๐ฆ) = ๐(๐ฅ, ๐ฆ)๐ + ๐(๐ฅ, ๐ฆ)๐ is de tangentvector ๐ป = ๐๐⁄๐๐ = ๐⁄|๐| een eenheidsvector evenwijdig aan het pad en in voorwaartse richting. De lijnintegraal van het vectorveld is de lijnintegraal van de tangentiële component van ๐ญ langs ๐ถ. Deze tangentiële component wordt gegeven door het volgende inproduct ๐๐ ๐ญโ๐ป= ๐ญโ ๐๐ De lijnintegraal van ๐น langs ๐ถ is nu ๐๐ ∫ ๐ญ โ ๐ป ๐๐ = ∫ (๐ญ โ ) ๐๐ = ∫ ๐ญ โ ๐๐ ๐๐ ๐ถ ๐ถ ๐ถ Het uitwerken van lijnintegralen ven vectorvelden gaat op dezelfde manier als bij lijnintegralen van scalaire functies. 1. Druk het vectorveld ๐น uit in dezelfde variabelen als de kromme ๐ถ door de componenten ๐ฅ = ๐(๐ก), ๐ฆ = โ(๐ก) en ๐ง = ๐(๐ก) van ๐ in te vullen in de scalaire componenten ๐(๐ฅ, ๐ฆ, ๐ง), ๐(๐ฅ, ๐ฆ, ๐ง) en ๐(๐ฅ, ๐ฆ, ๐ง) van ๐ญ, oftewel, bepaal ๐น(๐(๐ก)). 2. Bepaal de afgeleide vector ๐๐⁄๐๐ก. 3. Werk de lijnintegraal uit met betrekking tot de parameter ๐ก ๐ ๐๐ ∫ ๐ญ โ ๐๐ = ∫ ๐ญ(๐(๐ก)) โ ๐๐ก ๐๐ก ๐ถ ๐ Soms is het nuttig om een lijnintegraal van een scalaire functie te schrijven met betrekking tot een van de coördinaten, zoals ∫๐ถ ๐ ๐๐ฅ . We specificeren een vectorveld ๐ญ = ๐(๐ฅ, ๐ฆ, ๐ง)๐ over de kromme ๐ถ die is geparametriseerd door ๐(๐ก) = ๐(๐ก)๐ + โ(๐ก)๐ + ๐(๐ก)๐, ๐ ≤ ๐ก ≤ ๐. In deze notatie geldt ๐ฅ = ๐(๐ก) en ๐๐ฅ = ๐′ (๐ก)๐๐ก. Invullen levert ๐๐ ๐ญ โ ๐๐ = ๐ญ โ ๐๐ก = ๐(๐ฅ, ๐ฆ, ๐ง)๐′ (๐ก)๐๐ก = ๐(๐ฅ, ๐ฆ, ๐ง)๐๐ฅ ๐๐ก Hieruit volgt voor de lijnintegraal van ๐ over ๐ถ ten opzichte van het ๐ฅ-coördinaat ๐ ∫ ๐(๐ฅ, ๐ฆ, ๐ง)๐๐ฅ = ∫ ๐ญ โ ๐๐ = ∫ ๐(๐(๐ก), โ(๐ก), ๐(๐ก))๐′ (๐ก)๐๐ก ๐ถ ๐ถ ๐ Op dezelfde manier kunnen de integralen ∫๐ถ ๐(๐ฅ, ๐ฆ, ๐ง)๐๐ฆ en ∫๐ถ ๐(๐ฅ, ๐ฆ, ๐ง)๐๐ง bepaald worden op basis van de vectorvelden ๐ญ = ๐(๐ฅ, ๐ฆ, ๐ง)๐ en ๐ญ = ๐(๐ฅ, ๐ฆ, ๐ง)๐. ๐ ∫ ๐(๐ฅ, ๐ฆ, ๐ง)๐๐ฆ = ∫ ๐(๐(๐ก), โ(๐ก), ๐(๐ก))โ′ (๐ก) ๐๐ก ๐ถ ๐ ๐ ∫ ๐(๐ฅ, ๐ฆ, ๐ง)๐๐ง = ∫ ๐(๐(๐ก), โ(๐ก), ๐(๐ก))๐ ′ (๐ก) ๐ถ ๐ Een kromme in het ๐ฅ๐ฆ-vlak is simpel wanneer hij zichzelf niet kruist. Wanneer een kromme in hetzelfde punt begint en eindigt, is het een gesloten kromme. Wanneer ๐ถ een vloeiende kromme is geparametriseerd door ๐(๐ก), ๐ ≤ ๐ก ≤ ๐ en ๐ญ een continu krachtveld is over een gebied dat ๐ถ bevat, dan is de ARBEID die verricht wordt om een object van punt ๐ด = ๐(๐) naar punt ๐ต = ๐(๐) te verplaatsen langs ๐ถ ๐ ๐๐ ๐ = ∫ ๐ญ โ ๐ป ๐๐ = ∫ ๐ญ(๐(๐ก)) โ ๐๐ก ๐๐ก ๐ถ ๐ Wanneer ๐ถ een vloeiende kromme is geparametriseerd door ๐(๐ก), ๐ ≤ ๐ก ≤ ๐ en ๐ญ een continu snelheidsveld is over een gebied dat ๐ถ bevat, dan is de STROMING tussen punt ๐ด = ๐(๐) en punt ๐ต = ๐(๐) langs ๐ถ ๐น๐๐๐ค = ∫ ๐ญ โ ๐ป ๐๐ ๐ถ Wanneer de kromme eindigt en begint in hetzelfde punt, dan spreken we van CIRCULATIE. Wanneer ๐ถ een vloeiende kromme is in het domein van een continu vectorveld ๐ญ = ๐(๐ฅ, ๐ฆ)๐ + ๐(๐ฅ, ๐ฆ)๐ in het vlak en wanneer ๐ de naar buiten wijzende eenheidsnormaalvector van ๐ถ is, dan is de FLUX van ๐น op ๐ถ ๐๐๐ข๐ฅ = ∫ ๐ญ โ ๐ ๐๐ = โฎ ๐ ๐๐ฆ − ๐ ๐๐ฅ ๐ถ ๐ถ De flux geeft aan hoe snel een medium een gebied binnenkomt of uitgaat. 2.3 PADONAFHANKELIJKHEID, CONSERVATIEVE VELDEN EN POTENTIAALFUNCTIES Stel ๐น is een vectorveld gedefinierd op een open gebied ๐ท in de ruimte. Wanneer voor twee willekeurige punten ๐ด en ๐ต in ๐ท de lijnintegraal ∫๐ถ ๐ญ โ ๐๐ langs een pad ๐ถ hetzelfde is langs elke pad tussen ๐ด en ๐ต, dan is de integraal ∫๐ถ ๐ญ โ ๐๐ PADONAFHANKELIJK in ๐ท en is het veld ๐ญ CONSERVATIEF op ๐ท.9 Een veld ๐ญ is conservatief dan en slechts dan als het de gradiëntvector van een scalaire functie ๐ is, oftewel wanneer ๐ญ = ๐๐ (bewijs volgt). De functie ๐ is de POTENTIAALFUNCTIE van ๐ญ. Wanneer we een potentiaalfunctie ๐ voor een veld ๐น hebben gevonden, kunnen we de lijnintegraal in het domein van ๐น over elk pad tussen ๐ด en ๐ต heel gemakkelijk bereken. ๐ต ๐ต ∫ ๐ญ โ ๐๐ = ∫ ๐๐ โ ๐๐ = ๐(๐ต) − ๐(๐ด) ๐ด ๐ด Wanneer ๐ een functie is van één variabele is bovenstaande formule gelijk aan de tweede hoofdwet van de calculus. ๐ต ∫ ๐ ′ (๐ฅ)๐๐ฅ = ๐(๐ต) − ๐(๐ด) ๐ด Voor een punt A met coördinaten (x0 , y0 , z0 ) in D geldt f(A) = 0. Uitgaande van een conservatief vectorveld ๐ = M๐ข + N๐ฃ + P๐ค moet de waarde van f in elk ander punt B met coördinaten (x, y, z)in D gelijk zijn aan ∫C ๐ โ d๐ซ, waarin C een willekeurig vloeiend pad is van A naar B. Om te bewijzen dat geldt ๐f = ๐ moeten we aantonen dat ∂f⁄∂x = M, ∂f⁄∂y = N en ∂f⁄∂z = P. De waarde van de functie f in een nabijgelegen punt B0 met coördinaten (x0 , y, z) is ∫C ๐ โ d๐ซ, waarin C0 het pad is van punt A naar punt B0 . Pad C wordt nu gevormd 0 door pad C0 en pad L, het pad tussen punt B0 en punt B. Voor de waarde van f in punt B geldt f(x, y, z) = ∫ ๐ โ d๐ซ = ∫ ๐ โ d๐ซ + ∫ ๐ โ d๐ซ C C0 L Wanneer we dit differentiëren naar x volgt de vergelijking ∂ ∂ f(x, y, z) = (∫ ๐ โ d๐ซ + ∫ ๐ โ d๐ซ) ∂x ∂x C0 L Alleen de laatste term is afhankelijk van x. ∂ ∂ f(x, y, z) = ∫ ๐ โ d๐ซ ∂x ∂x L Wanneer we L parametriseren als ๐ซ(t) = t๐ข + y๐ฃ + z๐ค, x0 ≤ t ≤ x, dan geldt d๐ซ⁄dt = ๐ข. Hieruit volgt ∂ ∂ x f(x, y, z) = ∫ M(t, y, z)dt = M(x, y, z) ∂x ∂x x0 Op dezelfde manier kan worden afgeleid dat geldt ∂f⁄∂y = N en ∂f⁄∂z = P. Hiermee is bewezen dat voor een conservatief vectorveld ๐ geldt ๐ = ๐f. We weten nu hoe je een lijnintegraal kunt uitwerken door middel van potentiaalfuncties wanneer een vectorveld conservatief is. De vraag is hoe je weet of een vectorveld conservatief is en hoe je in dat geval de potentiaalfunctie van het vectorveld bepaalt. Een vectorveld ๐ = ๐(๐ฅ, ๐ฆ, ๐ง)๐ข + ๐(๐ฅ, ๐ฆ, ๐ง)๐ฃ + ๐(๐ฅ, ๐ฆ, ๐ง)๐ค is conservatief dan en slechts dan als geldt 10 ๐๐ ๐๐ ๐๐ ๐๐ ๐๐ ๐๐ = , = , en = ๐๐ฆ ๐๐ง ๐๐ง ๐๐ฅ ๐๐ฅ ๐๐ฆ Deze relatie volgt uit de relaties ∂f⁄∂x = M, ∂f⁄∂y = N en ∂f⁄∂z = P voor potentiaalfuncties. ∂P ∂ ∂f ∂2 f ∂2 f ∂ ∂f ∂N = ( )= = = ( )= ∂y ∂y ∂z ∂y ∂z ∂z ∂y ∂z ∂y ∂z De potentiaalfunctie kan vervolgens op basis van de partiële afgeleiden worden bepaald. Eerst integreer je één van de partiële afgeleiden, bijvoorbeeld die naar ๐ฅ. De constante in deze afgeleide mag niet meer afhankelijk zijn van ๐ฅ.11 ๐๐ ๐(๐ฅ, ๐ฆ, ๐ง) = ∫ ๐๐ฅ + ๐(๐ฆ, ๐ง) ๐๐ฅ 9 Voor een conservatief veld ๐ญ geldt dat elke integral over een gesloten pad in ๐ท nul is. Wanneer het veld ๐น conservatief is, is het ook exact. 11 De formules in dit verhaal maken het allemaal niet veel duidelijker. Het bepalen van de potentiaalfunctie kun je het best leren door gewoon te oefenen. 10 Vervolgens moet je deze vergelijking kloppend maken met één van de andere partiële afgeleiden, bijvoorbeeld die naar ๐ฆ. Dit doe je door ∫ ๐๐ ๐๐ฅ te differentiëren naar ๐ฆ en ๐(๐ฆ, ๐ง) nader te bepalen zodat geldt ๐ ๐๐ ๐๐ ๐๐ ∫ ๐๐ฅ + = ๐๐ฆ ๐๐ฅ ๐๐ฆ ๐๐ฆ De constante in de nieuwe uitdrukking voor ๐ mag alleen nog afhankelijk zijn van ๐ง. ๐๐ ๐๐ ๐(๐ฅ, ๐ฆ, ๐ง) = ∫ ๐๐ฅ + ∫ ๐๐ฆ + โ(๐ง) ๐๐ฅ ๐๐ฆ Maak tot slot de vergelijking kloppend voor de laatste partiële afgeleide, in dit geval die naar ๐ง. Dit doe je door ๐ ๐๐ ๐๐ฅ ๐๐ ∫ (๐๐ฆ ∫ ๐๐ฅ ๐๐ฅ) ๐๐ฆ + ∫ ๐๐ฆ ๐๐ฆ te differentiëren naar ๐ง en โ(๐ง) nader te bepalen zodat geldt ๐ ๐๐ ๐ ๐๐ ๐โ ๐๐ ∫ + ∫ ๐๐ฆ + = ๐๐ง ๐๐ฅ ๐๐ง ๐๐ฆ ๐๐ง ๐๐ง Hieruit volgt voor ๐ ๐๐ ๐๐ ๐โ ๐(๐ฅ, ๐ฆ, ๐ง) = ∫ ๐๐ฅ + ∫ ๐๐ฆ + ∫ ๐๐ง + ๐ถ ๐๐ฅ ๐๐ฆ ๐๐ง Voor krommen, oppervlakken, domeinen en vectorvelden worden een aantal aannames gedaan om de gebruikte formules te doen gelden. Tenzij anders vermeld gelden deze aannames voor alle opgaven. De krommen zijn STUKSGEWIJS VLOEIEND. Dit wil zeggen dat ze bestaan uit een eindig aantal krommes die aan de uiteinden aan elkaar verbonden zijn. De componenten van de vectorvelden ๐ญ heeft continue eerste partiële afgeleiden. De domeinen ๐ท zijn open gebieden in de ruimte, oftewel, elk punt in ๐ท is het middelpunt van een open bal die volledig in ๐ท ligt. Ook is aangenomen dat ๐ท verbonden is, wat wil zeggen dat twee willekeurige punten in ๐ท kunnen worden VERBONDEN door een vloeiende kromme in het gebied. Tot slot nemen we aan dat ๐ท EENVOUDIG VERBONDEN is, wat wil zeggen dat elke lus in ๐ท kan worden ingekrompen tot een punt in ๐ท zonder ๐ท te verlaten. 2.4 OPPERVLAKTE VAN EEN OPPERVLAK 12 Stel je een vectorfunctie ๐ซ(๐ข, ๐ฃ) = ๐(๐ข, ๐ฃ)๐ข + ๐(๐ข, ๐ฃ)๐ฃ + โ(๐ข, ๐ฃ)๐ค voor die is gedefinieerd op een gebied ๐ in het ๐ข๐ฃ-vlak. Het bereik van ๐ซ is het oppervlak ๐. De vectorfunctie ๐ซ moet één-op-één binnen zijn ๐ , wat betekent dat het oppervlak zichzelf niet kruist. De vectorfunctie ๐ซ en het gebied ๐ vormen de parametrisering van het oppervlak. De variabelen ๐ข en ๐ฃ zijn de PARAMETERS en ๐ is het PARAMETERDOMEIN. Om het makkelijk te houden wordt ๐ gedefinieerd als een rechthoek door de ongelijkheden ๐ ≤ ๐ข ≤ ๐, ๐ ≤ ๐ฃ ≤ ๐. Het oppervlak ๐ซ(๐ข, ๐ฃ) is vloeiend wanneer ๐ซ๐ข en ๐ซ๐ฃ continu zijn en ๐ซ๐ข × ๐ซ๐ฃ nooit nul binnen het parameterdomein.13 Hierin zijn ๐ซ๐ข en ๐ซ๐ฃ de partiële afgeleiden van ๐ซ naar ๐ข en ๐ฃ. ๐๐ซ ๐๐ ๐๐ ๐โ ๐ซ๐ข = = ๐ข+ ๐ฃ+ ๐ค ๐๐ข ๐๐ข ๐๐ข ๐๐ข ๐๐ซ ๐๐ ๐๐ ๐โ ๐ซ๐ฃ = = ๐ข+ ๐ฃ+ ๐ค ๐๐ฃ ๐๐ฃ ๐๐ฃ ๐๐ฃ De eigenschap dat ๐ซ๐ข × ๐ซ๐ฃ nooit nul is, betekent dat de vectoren ๐ซ๐ข en ๐ซ๐ฃ nooit langs dezelfde lijn liggen, oftewel, ze vormen samen altijd een vlak dat raakt aan het oppervlak ๐ in een bepaald punt. De oppervlakte van het oppervlak ๐ kan worden bepaald door het oppervlak te verdelen in ๐ oppervlakteelementjes. Deze elementjes โ๐ ๐ข๐ฃ worden begrensd door de lijnen ๐ข = ๐ข0 , ๐ข = ๐ข0 + โ๐ข, ๐ฃ = ๐ฃ0 en ๐ฃ = ๐ฃ0 + โ๐ฃ. De oppervlakte van één zo’n oppervlakte-elementje โ๐ ๐ข๐ฃ wordt benaderd door de oppervlakte van het paralellogram dat wordt gevormd door de vectoren โ๐ข๐ซ๐ข en โ๐ฃ๐ซ๐ฃ . De oppervlakte van dit parallellogram is |โ๐ข๐ซ๐ข × โ๐ฃ๐ซ๐ฃ | = |๐ซ๐ข × ๐ซ๐ฃ | โ๐ข โ๐ฃ De oppervlakte van het oppervlak ๐ wordt benaderd door de som ∑|๐ซ๐ข × ๐ซ๐ฃ | โ๐ข โ๐ฃ ๐ 12 13 Oorspronkelijk paragraaf 15.5 van Thomas’ calculus. Aan de rand van het domein mag wel gelden ๐๐ข × ๐๐ฃ = 0. De werkelijke oppervlakte wordt bereikt wanneer โ๐ข en โ๐ฃ oneindig klein zijn en ๐ oneindig groot. Bovenstaande som wordt dan een dubbele integraal. Wanneer ๐ซ is gedefinieerd als ๐ซ(๐ข, ๐ฃ) = ๐(๐ข, ๐ฃ)๐ข + ๐(๐ข, ๐ฃ)๐ฃ + โ(๐ข, ๐ฃ)๐ค, ๐ ≤ ๐ข ≤ ๐, ๐ ≤ ๐ฃ ≤ ๐ geldt voor de oppervlakte van het geparametriseerde oppervlak ๐ ๐ ๐ด = โฌ |๐ซ๐ข × ๐ซ๐ฃ | ๐๐ด = ∫ ∫ |๐ซ๐ข × ๐ซ๐ฃ | ๐๐ข ๐๐ฃ = โฌ ๐๐ ๐ ๐ ๐ ๐ 2.5 OPPERVLAKTE-INTEGRALEN 14 Wanneer we integreren over een oppervlak ๐ is er sprake van een OPPERVLAKTTE-INTEGRAAL. Stel je een reële waarde-functie ๐บ(๐ฅ, ๐ฆ, ๐ง) voor die je wilt integreren over het oppervlak ๐ in het domein van ๐ dat wordt geparametriseerd door ๐(๐ข, ๐ฃ) = ๐(๐ข, ๐ฃ)๐ + ๐(๐ข, ๐ฃ)๐ + โ(๐ข, ๐ฃ)๐, (๐ข, ๐ฃ) ∈ ๐ . Wanneer we deze functie integreren over het oppervlak moet het oppervlak verdeeld worden in ๐ deeloppervlakjes met oppervlakte โ๐๐ . We kunnen nu een Riemann som vormen door in elk kde deeloppervlak een punt (๐ฅ๐ , ๐ฆ๐ , ๐ง๐ ) te kiezen, de waarde van ๐บ in dit punt te vermenigvuldigen met het oppervlak โ๐ ๐ en de producten bij elkaar op te tellen. ๐ ∑ ๐บ(๐ฅ๐ , ๐ฆ๐ , ๐ง๐ )โ๐๐ ๐=1 Hoe meer deeloppervlakjes, hoe beter de benadering. De integraal ๐ lim ∑ ๐บ(๐ฅ๐ , ๐ฆ๐ , ๐ง๐ )โ๐๐ = โฌ ๐บ(๐ฅ, ๐ฆ, ๐ง)๐๐ ๐→∞ ๐ ๐=1 bestaat wanneer ๐บ continu is over ๐. De functie ๐บ is dan integreerbaar over ๐. Bovenstaande limiet wordt dan ook wel de OPPERVLAKTE-INTEGRAAL van ๐บ over ๐ genoemd. Aangezien geldt ๐๐ = |๐ซ๐ข × ๐ซ๐ฃ | ๐๐ข ๐๐ฃ kan deze integraal ook worden geschreven als โฌ ๐บ(๐(๐ข, ๐ฃ), ๐(๐ข, ๐ฃ), โ(๐ข, ๐ฃ)) |๐ซ๐ข × ๐ซ๐ฃ | ๐๐ข ๐๐ฃ ๐ Een vloeiend oppervlak ๐ is ORIËNTEERBAAR of TWEEZIJDIG wanneer het mogelijk is om een veld ๐ง van eenheidsnormaalvectoren op ๐ te definiëren. Oftewel, wanneer ๐ง gedefinieerd kan worden, hebben we te maken met een oriënteerbaar veld. De vector ๐ง in elk punt geeft de positieve richting in dat punt. Een voorbeeld van een oppervlak dat niet-oriënteerbaar is, is een Möbiusband. De integraal van ๐ โ ๐ง over S is de flux van ๐ langs ๐ in de positieve richting. Oftewel, de flux is de integraal over ๐ van de scalaire component van ๐ in de richting van ๐ง. ๐๐๐ข๐ฅ = ∫ ๐ญ โ ๐ ๐๐ ๐ถ Wanneer ๐ het snelheidsveld is van een driedimensionale vloeistofstroom, dan is de flux van ๐ langs ๐ de netto snelheid waarmee de vloeistof ๐ doorkruist in de positieve richting. De massa en het massamiddelpunt van een dunne schaal (‘shell’) kunnen berekend worden op dezelfde manier als in paragraaf 2.1, waar de formules voor de massa en het massamiddelpunten van een draadje in de ruimte werden afgeleid. ๐ = โฌ ๐ฟ ๐๐ ๐ ๐๐ฆ๐ง = โฌ ๐ฅ ๐ฟ ๐๐ , ๐ 14 ๐๐ฅ๐ง = โฌ ๐ฆ ๐ฟ ๐๐ , ๐๐ฆ๐ง ๐ฅฬ = , ๐ Oorspronkelijk paragraaf 16.6 uit Thomas’ Calculus. ๐ ๐๐ฅ๐ง ๐ฆฬ = , ๐ ๐๐ฅ๐ฆ = โฌ ๐ง ๐ฟ ๐๐ ๐๐ฅ๐ฆ ๐งฬ = ๐ ๐