Kurba integralo: Malsamoj inter versioj

El Vikipedio, la libera enciklopedio
[kontrolita revizio][kontrolita revizio]
Enhavo forigita Enhavo aldonita
SieBot (diskuto | kontribuoj)
e roboto modifo de: zh:曲线积分
Linio 124: Linio 124:
[[sv:Kurvintegral]]
[[sv:Kurvintegral]]
[[tr:Çizgi integrali]]
[[tr:Çizgi integrali]]
[[zh:路径积分]]
[[zh:曲线积分]]

Kiel registrite je 15:10, 5 jul. 2009

Ĉi tiu artikolo temas pri "vojaj integraloj" en la ĝenerala matematika senco, kaj ne pri la voja integrala formulaĵo de fiziko studita de Richard Feynman.

En matematiko, kurba integralovoja integralolinia integralo estas integralo kie la funkcio integralota estas komputita laŭ vojo aŭ kurbo. Diversaj malsamaj vojaj integraloj estas uzataj. Ĉe fermita voja ĝi estas ankaŭ nomita kontura integralo.

Kompleksa analitiko

La voja integralo estas fundamenta ilo en kompleksa analitiko. Supozu, ke U estas malfermita subaro de C, γ : [a, b] → U estas rektifebla kurbo kaj f : UC estas funkcio. Tiam la voja integralo

povas esti difinita per subdividado de la intervalo [a, b] en a = t0 < t1 < ... < tn = b kaj konsideranta la esprimo

La integralo estas tiam la limigo de tiu sumo, ĉar la longoj de la subdividaj intervaloj proksimiĝas al nulo.

Se γ estas kontinue diferencialebla kurbo, la voja integralo povas esti komputita kiel integralo de funkcio de reela variablo:

Kiam γ estas fermita kurbo, tio estas, ĝia komenca kaj fina punktoj koincidas, la notacio

estas ofte uzita por la voja integralo de f laŭ γ.

Gravaj propozicioj pri vojaj integraloj estas la koŝia integrala teoremo kaj koŝia integrala formulo.

Pro la _residue_ teoremo, oni povas ofte uzi konturajn integralojn en la kompleksa ebeno por trovi integralojn de reel-valoraj funkcioj de reela variablo (vidu _residue_ teoremo por ekzemplo).

Ekzemplo

Konsideri la funkcio f(z)=1/z, kaj lasu, ke la konturo C estu la unuobla cirklo pri 0, kiu povas esti parametrigita per emit, kun t en [0, 2π]. Anstataŭigante, ni trovas

kiu povas esti ankaŭ kontrolita per la Koŝia integrala formulo.

Vektora kalkulo

En kvalitecaj terminoj, voja integralo en vektora kalkulo povas esti penso de kiel mezuri de la efiki de donita vektora kampo laŭ donita kurbo.

Difino

Por iu skalara kampo f : RnR, la vojo (aŭ linio) integralo sur kurbo C, parametrigita kiel r(t) kun t ∈ [a, b], estas difinita per

Simile, por vektora kampo F : RnRn, la voja integralo sur kurbo C, parametrigita kiel r(t) kun t ∈ [a, b], estas difinita per

Voja sendependeco

Se vektora kampo F estas la gradiento de skalara kampo G, tio estas,

tiam la derivaĵo de la komponaĵo de G kaj r(t) estas

kiu estas la integralato por la voja integralo de F sur r(t). Sekvas, ke donita vojo C , tiam

En vortoj, la integralo de F super C dependas nure de la valoroj de la punktoj r(b) kaj r(a) kaj estas tial sendependa de la vojo inter ilin.

Por ĉi tiu kaŭzo, vektora kampo kiu estas la gradiento de skalara kampo estas nomata kiel voje sendependa.

Aplikoj

La voja integralo havas multajn aplikon en fiziko. Ekzemple, la laboro farita sur partiklo vojaĝanta sur kurbo C ene forta kampo prezentita kiel vektora kampo F estas la voja integralo de F sur C.

Interrilato kun la voja integralo en kompleksa analitiko

Vidantaj kompleksaj nombroj kiel 2D-vektoroj, la voja integralo en 2D de vektora kampo korespondas al la reela parto de la voja integralo de la kompleksa konjugito de la respektiva kompleksa funkcio de kompleksa variablo.

Pro al la koŝio-rimanaj ekvacioj la kirlo de la vektora kampo respektiva al la konjugito de holomorfa funkcio estas nulo. Tio rilatas per Hejtas teoremo — ambaŭ tipoj de voja integralo estas nulo.

Kvantummekaniko

La "voja integrala formulaĵo" de kvantummekaniko reale signifas ne vojajn integralojn en ĉi tiu senco, sed (funkcionala, funkcia)jn integralojn, tio estas, integraloj super spaco de vojoj, de funkcio de ebla vojo. Tamen, vojaj integraloj en la senco de ĉi tiu artikolo estas grava en kvantummekaniko; ekzemple, kompleksa kontura integralado estas ofte uzata dum kiam oni komputas amplitudojn de probabloa en kvantuma verŝada teorio.

Vidu ankaŭ

Eksteraj ligoj

greke Solvis problemojn pri vojaj integraloj