Obla integralo

dekstra|eta|Duobla integralo donas volumenon sub surfaco z=x2-y2+2. La ortangula regiono je la fundo de la korpo estas la domajno de integralado, la surfaco estas grafikaĵo de la duvariabla funkcio kiu estas integralata.
La obla integralo estas difinita integralo etendita al funkcioj de pli ol unu reela variablo.

Simile al tio ke la difinita integralo de pozitiva funkcio de unu variablo prezentas areon de la regiono inter la grafikaĵo de la funkcio kaj la x-akso, la duobla integralo de pozitiva funkcio de du variabloj prezentas volumenon de la regiono inter la surfaco difinita per la funkcio z = f(x, y) kaj la ebeno de x-akso kaj y-akso kiu enhavas ĝian argumentaron.

La samaj areo kaj volumeno povas esti ricevitaj ankaŭ alimaniere per la duobla integralo kaj triobla integralo respektive. La areo estas donita per integralo de konstanta funkcio de du variabloj f(x, y) = 1 tra la supremenciita regiono inter la grafikaĵo kaj la x-akso. La volumeno estas donita per integralo de konstanta funkcio de tri variabloj f(x, y, z) = 1 tra la supremenciita regiono inter la surfaco kaj la ebeno.

Se estas pli multaj variabloj, obla integralo prezentas hipervolumenon de la regiono donita per la funkcioj.

Obla integralado de funkcio en n variabloj: f(x1, x2, ..., xn) super argumentaro D estas ofte prezentita per n integralsignoj (la alia varianto estas skribi nur unu integralsignon nedepende de n).



Laŭ konvencio, la kvanto de integralsignoj egalas al dimensio de la domajno. Ĉi tiu estas skribmaniero kiu estas oportuna se kalkuli oblan integralon kiel ripetita integralo (vidu sube pri la kondiĉoj).

Se T estas en  R2, la integralo



estas la duobla integralo de f sur T, kaj se T estas en  R3 la integralo



estas la triobla integralo de f sur T.

Pro tio ke ne eblas kalkuli la malderivaĵo de funkcio de pli ol unu variablo, nedifinitaj oblaj integraloj ne ekzisti. Pro tiaj ĉiuj oblaj integraloj estas difinitaj integraloj.

 Difino 
Estu n entjero pli granda ol 1. Estu duono-malfermita n-dimensia hiperortangulo (plu nomata simple kiel ortangulo), sur kiu estas farata integralado. Por ebeno, n=2, la hiperortangulo estas kutima ortangulo, kaj la obla integralo estas duobla integralo.

Oni disdividu la ortangulon en malgrandajn subortangulojn, tranĉante je multaj pecoj laŭ ĉiu dimensio.

Pli formale, la ortangulo estas



Dividu ĉiun intervalon (ai, bi) en finian kvanton mi da ne-interkovrantaj subintervaloj, kun ĉiu subintervalo fermita je la maldekstra fino, kaj malfermita je la dekstra fino. Skribu ĉi tiun subintervalon je i-a dimensio, la pi-an laŭ kalkulo, per Ii, pi, kie ĉiu pi estas en limigoj 1 ... mi. Tiam, la familio de subortanguloj de formo

 Ck=I1, p1× I2, p2× ... ×n, pn

estas dispartigo de T, kio estas ke la subortanguloj Ck estas ne-interkovrantaj kaj ilia unio estas T. La entuta kvanto de malsamaj subortanguloj estas produto de kvantoj de la subintervaloj en malsamaj dimensioj m=m1m2 ... mn.

La diametro de subortangulo Ck estu difinita kiel la plej granda el la longoj de la intervaloj kies produto estas Ck, kaj la diametro de donita dispartigo de T estu difinita kiel la plej granda de la diametroj de la subortanguloj en la dispartigo.

Estu f: T → R  funkcio difinita sur ortangulo T. Konsideru disdividon



de T difinitan kiel pli supre. Rimana sumo estas sumo de formo



kie por ĉiu k la punkto Pk estas en Ck kaj v(Ck) estas la hipervolumeno de Ck, kiu egalas al produto de la longoj de la intervaloj kies kartezia produto estas Ck.

La funkcio f estas rimane integralebla se la limigo



ekzistas, kie la limigo estas prenita super ĉiuj ebla dispartigoj de T de diametro maksimume δ. Se f estas rimane integralebla, S estas nomata kiel la rimana integralo de f super T kaj estas skribata kiel



La rimana integralo de funkcio difinita super ajna barita n-dimensia aro estas difinita per etendado de ĉi tiu funkcio al funkcio difinita super duono-malfermita ortangulo kies valoro estas nulo ekster la domajno de la originala funkcio. Tiam, la integralo de la originala funkcio super la originala domajno estas difinita al esti la integralo de la etendita funkcio super ĝia ortangula domajno, se ĝi ekzistas.

 Propraĵoj 
Oblaj integraloj havas multajn la samajn propraĵojn kiel integraloj de funkcioj de unu variablo: lineareco, adicieco, monotoneco, kaj tiel plu.





kie v estas n-dimensia vektoro,
 c estas konstanto nedependa de v,
 la integraloj ekzistas.

 Integralo laŭ subdomajnoj 


kie D1 kaj D2 estas la subdomajnoj kies unio estas D :  kaj kiuj ne interkovriĝas ,

La formulo



veras ankaŭ en okazo kiam la subdomajnoj D1 kaj D2 interkovriĝas nur en aro de mezuro 0 kaj la funkcio f(v) estas normala. En ĉi tiu okazo ĉi tiu formulo povas esti malvera sen taŭga konsidero se la diraka delta funkcio estas uzata en subintegrala esprimo.

 Konservado de neegalaĵoj 
Se ekzistas  kaj  kaj por ĉiu v en D veras neegalaĵo f(v)≤g(v). Tiam la neegalaĵo veras ankaŭ por integraloj

 Integrala neegalaĵo de triangulo 
La sekva propraĵo povas esti konsiderata kiel ĝeneraligo de la neegalaĵo de triangulo:

 Integralo de konstanta funkcio 
Ĉe konstanta funkcio, la rezulto de integralado egalas al produto de mezuro de la aro per la konstanta funkcio c. Se c=1, kaj estas integralado super subregiono de R2 la produto donas areon de la regiono, dum en R3 ĝi donas volumenon de la regiono.

 Averaĝo de funkcio 
Simile al la okazo de unu variablo, la obla integralo donas la averaĝon de la funkcio super donita aro. Se estas donita aro D en Rn kaj integralebla funkcio f super D, do la averaĝo de f super la domajno D estas donita per

kie v estas n-dimensia vektoro kaj m(D) estas la mezuro de D.

 Obla nepropra integralo 
eta|dekstra|140px|Ekzemplo de nepropra domajno

En la okazo de nebarita domajno aŭ nebarita funkcio estas la obla nepropra integralo.

 Obla kaj ripetita integraloj 
La teoremo de Fubini statas ke se estas



kio estas ke la integralo estas absolute konverĝa, do la obla integralo estas de la sama valoro kiel la ripetitaj integraloj por ĉiuj ordoj de integralado



La okazo estas se |f(x,y)| estas barita funkcio kaj A kaj B estas baritaj aroj.

Se la integralo estas ne absolute konverĝa, zorgo estas bezonata por ne konfuzi la konceptojn de obla integralo kaj ripetita integralo, aparte pro tio ke la sama skribmaniero estas ofte uzita por ĉu koncepto. La skribmaniero



signifas, en iuj okazoj, ripetitan integralon anstataŭ vera duobla integralo. En ripetita integralo, la ekstera integralo



estas la integralo kun respekto al x de jena funkcio de x:



Duobla integralo, aliflanke, estas difinita kun respekto al areo en la xy-ebeno. Se la duobla integralo ekzistas, tiam ĝi estas egala al ĉiu el la ripetitaj integraloj (... dy dx kaj ... dx dy). Oni ofte komputas duobla integralo per komputado de la ripetita integralo. Sed iam la du ripetitaj integraloj ekzistas kiam la duobla integralo ne ekzistas, kaj en iuj ĉi tiaj okazoj la du ripetitaj integraloj estas de malsamaj valoroj, kio estas ke



Ĉi tiu estas apero de reordigo de kondiĉe konverĝa integralo.

La skribmaniero

povas esti uzata por emfazi ke estas duobla integralo sed ne ripetita integralo.

Ĉi ĉio estas vera ankaŭ por obla integralo tra domajno de ajna kvanto de dimensioj.

 Prezento de domajno en ripetita integralado 
Se la domajno T ne estas ortangulo, prezento de ĝi en ripetita integralo bezonas apartan zorgon. La trairo povas esti malsimpla aŭ eĉ praktike neebla; sube donitaj formuloj respektivas al okazoj de sufiĉe simpla formo de la domajno.

Se la domajno T estas tia ke perpendikulare al la x-akso ĝi estas rekta streko en intersekco kun ĉiu rekto x=x0 por a<x0<b kaj tiel ĝiaj randoj estas donitaj per kontinuaj funkcioj α(x) kaj β(x) difinitaj en intervalo [a, b], do la intergralo super T povas esti kalkulita kiel:

Se D estas mezurebla domajno perpendikulara al la y-akso kaj  estas kontinua funkcio; tiam α(y) kaj β(y) (difinitaj en la [a, b] intervalo) estas la du funkcioj kiuj difinas D. Tiam:



eta|160px|dekstra|Ekzemplo de domajno en R3

Ĉi tiuj formuloj povas esti ĝeneraligitaj al pli multaj dimensioj. Ekzemple por trioblaj integraloj:

T estas domajno tia ke perpendikulare al la xy-ebeno, la randoj je z estas donitaj per la funkcioj α (x, y) kaj β(x, y), kaj la areo en la xy-ebeno, al kiu projekciiĝas T, estas D. Tiam:

La nedependa variablo, randoj je kiu estas donataj per la du funkcioj, povas esti ajna.

Ekzemplo
eta|180px|dekstra|Ekzemplo de regiono de integralado

Estu regiono: . Kalkulu



Tiam

 α(x) = x2
 β(x) = 1
 a = 0
 b = 1

kaj



(komence la ena integralo estas kalkulita konsiderante x kiel konstanto). Plu



La alia ebleco estas kalkuli kun uzo de la radoj α(y) kaj β(y) kiel



kaj ricevi la saman valoron.

 Ŝanĝo de variabloj 
Oni povas fari ŝanĝon de la nedependaj variabloj. Ĉi tio estas ĝeneraligo de integralado per anstataŭo al okazo de multaj variabloj.

Al la subintegrala funkcio estas tiam aldonata multiplikato kiu estas la determinanto de jakobia matrico enhavanta la partajn derivaĵojn de la transformo esprimanta la novajn variablojn.

Iuj el kutimaj ŝanĝoj de variabloj estas tiuj surbaze de diversaj polusaj koordinatoj en diversaj kvantoj de dimensioj.

 Polusaj koordinatoj en 2 dimensioj 
eta|270px|dekstra|Transformo de kartezia al polusaj koordinatoj.

En  R2 se la domajno havas cirklan simetrion aŭ la funkcio estas pli simpla en polusaj koordinatoj, la transformo al polusaj koordinatoj povas plisimpligi la integraladon.

La polusaj koordinatoj estas

 x = ρ cos (φ)
 y = ρ sin (φ)

kaj

 f(x, y) = f(ρ cos (φ), ρ sin (φ))

La jakobia determinanto de la transformo estas



kiu havas estas ricevata per meto de la partaj derivaĵoj de x = ρ cos(φ), y = ρ sin(φ) en la unuan kolumnon kun respekto al ρ kaj en la duan kun respekto al φ.

Tiam



Por kovri la tutan  R2 de la fontaj koordinatoj, la variablo φ ŝanĝiĝas tra intervalo de longo 2π, ekzemple [-π, π] aŭ [0, 2π]; ρ ŝanĝiĝas tra nenegativaj valoroj. Pluaj limigoj je ŝanĝiĝo de la koordinatoj estas donataj per randoj de la domajno.

eta|230px|dekstra|Ekzemplo de domajna transformo de kartezia al polusa.

Ekzemplo

La funkcio estas . Tiam



kaj la funkcio sub integralo estas pli simpla

Ekzemplo

La domajno estas , tio estas cirklo de radiuso 2. Gi povas kovrita se φ varias ekde 0 ĝis 2π kaj r ekde 0 ĝis 2.

 Cilindraj koordinatoj en 3 dimensioj 
eta|dekstra|190px|Cilindraj koordinatoj.

La cilindraj koordinatoj en 3 dimensioj estas

 x = ρ cos (φ)
 y = ρ sin (φ)

kaj la variablo z estas daŭre uzata neŝanĝita. Tiam

 f(x, y, z) = f(ρ cos (φ), ρ sin (φ), z)

La jakobia determinanto de la transformo estas

Tiam



Por kovri la tutan  R3 de la fontaj koordinatoj, la variablo φ ŝanĝiĝas tra intervalo de longo 2π, ekzemple [-π, π] aŭ [0, 2π]; ρ ŝanĝiĝas tra nenegativaj valoroj; z ŝanĝiĝas tra ĉiuj reelaj nombroj. Pluaj limigoj je ŝanĝiĝo de la koordinatoj estas donataj per randoj de la domajno.

Ekzemplo

La funkcio estas  kaj kiel integralada domajno ĉi tiu cilindro:

 .

La transformo de D en cilindrajn koordinatojn estas jena



La funkcio en cilindraj koordinatoj estas



La integralo estas







 Sferaj koordinatoj en 3 dimensioj 
eta|dekstra|190px|Sferaj koordinatoj

En  R3 se la domajno havas sferan simetrion aŭ la funkcio estas pli simpla en sferaj koordinatoj, la transformo al sferaj koordinatoj povas plisimpligi la integraladon.

La sferaj koordinatoj en 3 dimensioj estas

 x = ρ cos (θ) sin (φ)
 y = ρ sin (θ) sin (φ)
 z = ρ cos (φ)

 f(x, y, z) = f(ρ cos (θ) sin (φ), ρ sin (θ) sin (φ), ρ cos (φ))

La jakobia determinanto de la transformo estas



Tiam



Por kovri la tutan  R3 de la fontaj koordinatoj, la variablo θ ŝanĝiĝas tra intervalo de longo 2π, ekzemple [-π, π] aŭ [0, 2π]; φ ŝanĝiĝas inter 0 kaj π; ρ ŝanĝiĝas tra nenegativaj valoroj. Pluaj limigoj je ŝanĝiĝo de la koordinatoj estas donataj per randoj de la domajno.

Ekzemplo

La domajno estu  (sfero kun radiuso 4 kaj centro en la fonto); aplikante la transformon rezultas regiono .

La funkcio estu .

Ĝia transformo estas



Pro la integralo estas:



kaj





 Uzoj 
Kiel estas skribite pli supre, oblaj integraloj estas uzataj por kalkuli areojn, volumenojn kaj hipervolumenojn.

Ekzemplo: Cirkla cilindro

Estu la domajno kiel la cirkla bazo de radiuso R kaj la funkcio estu konstanto egala al la alto h. Tiam eblas kalkuli la integralon en polusaj koordinatoj:

Oblaj integraloj estas uzataj en fiziko.

En mekaniko la momanto de inercio estas kalkulita kiel volumena integralo (tio estas triobla integralo) de la denseco pezita per la kvadrato de la distanco de la akso:

En elektromagnetismo, ekvacioj de Maxwell povas esti skribitaj per oblaj integraloj por kalkuli la tutecajn magnetan kaj elektran kampojn. En jena ekzemplo, la elektra kampo produktita per distribuo de elektra ŝargo estas ricevata per triobla integralo de vektora funkcio:



 Vidu ankaŭ 
 Surfaca integralo
 Volumena integralo
 Diverĝenca teoremo
 Teoremo de Stokes
 Teoremo de Green
 Polusa koordinata sistemo
 Nabla en cilindraj kaj sferaj koordinatoj
 Integralado per anstataŭo

 Eksteraj ligiloj 

 Matematika prelego de Berkeley pri duoblaj integraloj
 Obla integralo
 Surlinia pritakso de duoblaj integraloj en karteziaj kaj polusaj koordinatoj

Kategorio:Integrala kalkulo

de:Integralrechnung#Mehrdimensionale Integration