Krivuljni integral je v matematikiintegral, pri katerem se funkcija, ki se jo želi integrirati, izračuna vzdolž krivulje.[1] Rabijo se tudi izrazi krivuljski integral, črtni integral, linijski integral, integral po poti, krivočrtni integral in krivolinijski integral. Rabi se tudi konturni integral, čeprav je to običajno rezervirano za krivuljne integrale v kompleksni ravnini.
Funkcija, ki jo je treba integrirati, je lahko skalarno ali vektorsko polje. Vrednost krivuljnega integrala je vsota vrednosti polja v vseh točkah na krivulji, utežena z neko skalarno funkcijo na krivulji (običajno ločno dolžino ali za vektorsko polje skalarni produkt vektorskega polja z diferencialnimvektorjem na krivulji). To uteževanje loči krivuljni integral od enostavnejših integralov, definiranih na intervalih. Mnoge preproste formule v fiziki, kot je definicija dela:
imajo naravne zvezne analoge v smislu krivuljnih integralov, v tem primeru:
V kvalitativnem smislu se krivuljni integral v vektorskem računu razume kot mero celotnega učinka danega tenzorskega polja vzdolž dane krivulje. Krivuljni integral po skalarnem polju (tenzor ranga 0) se lahko na primer interpretira kot površino pod poljem, ki ga izreže določena krivulja. To se lahko predstavlja kot površino, ki jo ustvarita ploskev in krivulja v ravnini. Krivuljni integral bi bil površina ustvarjene »zavese«– ko so točke površine, ki so neposredno nad , izrezane.
Krivuljni integral nad skalarnim poljem se lahko predstavlja kot površino pod krivuljo vzdolž ploskve, ki jo opisuje polje. Končni točki krivulje sta pri in .
Funkcija se imenuje integrand, krivulja je domena integracije, simbol pa se lahko intuitivno interpretira kot elementarno ločno dolžino krivulje (tj. diferencialno dolžino ). Krivuljni integrali skalarnih polj nad krivuljo niso odvisni od izbrane parametrizacije krivulje .[3]
Geometrično gledano, ko je skalarno polje definirano nad ravnino , je njegov graf ploskev v prostoru, krivuljni integral pa poda (predznačeno) površino prečnega prereza, omejeno s krivuljo in grafom . Glej animacijo na desni.
Za krivuljni integral nad skalarnim poljem se lahko integral skonstruira iz Riemannove vsote z rabo zgornjih definicij , in parametrizacije za . To se lahko naredi tako, da se interval razdeli na podintervalov dolžine, nato označuje neko točko na krivulji , ki se imenuje vzorčna točka. Množico vzorčnih točk se lahko rabi za aproksimacijo krivulje kot poligonske poti z uvedbo premice med vsako od vzorčnih točk in . (Aproksimacija krivulje v poligonsko pot se imenuje rektifikacija krivulje, za več podrobnosti glej dolžina loka.) Nato se označi razdaljo odseka premice med sosednjimi vzorčnimi točkami na krivulji kot . Produkt in se lahko poveže s predznačeno ploščino pravokotnika z višino in širino oziroma . Če se vzame limitovsote členov, ko se dolžina razdelkov približuje ničli, se dobi:
Za vektorsko polje je krivuljni integral vzdolž po delih gladke krivulje v smeri definiran kot:[2]
kjer je skalarni produkt in regularna parametrizacija (to je ) , tako da in dajeta končni točki krivulje .
Krivuljni integral skalarnega polja je torej krivuljni integral vektorskega polja, kjer so vektorji vedno tangentni na integracijsko premico.
Krivuljni integrali vektorskih polj so neodvisni od parametrizacije v absolutni vrednosti, vendar so odvisni od njene usmerjenosti. Natančneje, obrat v usmerjenosti parametrizacije spremeni predznak krivuljnega integrala.[3]
Krivuljni integral vektorskega polja se lahko izpelje na zelo podoben način kot v primeru skalarnega polja, vendar tokrat z vključitvijo skalarnega produkta. Ponovno z uporabo zgornjih definicij , in njene parametrizacije se s konstruira integral iz Riemannove vsote. Interval (ki je območje vrednosti parametra) se razdeli na intervalov dolžine . Če je -ta točka na , da lego -te točke na krivulji. Vendar pa je treba namesto izračuna razdalj med naslednjimi točkami izračunati njihove vektorje premikov. Kot prej vrednotenje v vseh točkah na krivulji in izračun skalarnega produkta z vsakim vektorjem premikov da infinitezimalni prispevek vsake particije na . Če se pusti, da velikost particij pade na nič, se dobi vsoto:
Z izrekom o povprečni vrednosti se vidi, da je vektor premika med sosednjima točkama na krivulji:
Če se to vstavi v zgornjo Riemannovo vsoto, izhaja:
kar je Riemannova vsota za zgoraj definirani integral.
kar je integrand za krivuljni integral na . Iz tega sledi, da je glede na pot :
Z drugimi besedami, integral nad je odvisen izključno od vrednosti v točkah in in je torej neodvisen od poti med njima. Zaradi tega se krivuljni integral konservativnega vektorskega polja imenuje neodvisen od poti.
Krivuljni integral ima v fiziki veliko rab. Delo, opravljeno na telesu, ki se giblje po krivulji znotraj polja sil, predstavljenega kot vektorsko polje , je na primer krivuljni integral na .[4]
Pretok se izračuna v usmerjenem smislu: krivulja ima določeno smer naprej od do , pretok pa se šteje za pozitivnega, ko je na strani vektorja hitrosti naprej v smeri urinega kazalca.
se lahko definira tako, da se interval razdeli na in upošteva izraz:
Integral je potem limita te Riemannove vsote, ko se dolžine intervalov delitve približujejo ničli.
Če je parametrizacija zvezno odvedljiva, se lahko krivuljni integral ovrednoti kot integral funkcije realne spremenljivke:
Ko je zaprta krivulja (začetna in končna točka se ujemata), se krivuljni integral pogosto označuje kot , včasih v inženirstvu imenovan tudi ciklični integral.
Da bi se vzpostavilo polno analogijo s krivuljnim integralom vektorskega polja, se je treba vrniti k definiciji odvedjljivosti v računu več spremenljivk. Gradient je definiran z Rieszevim reprezentacijskim izrekom, skalarni produkti v kompleksni analizi pa vključujejo konjugacijo (gradient funkcije pri nekem bi bil , kompleksni skalarni produkt pa bi v definiciji krivuljnega integrala vektorskega polja pridodal dvakrat konjugirano funkcijo ).
Krivuljne integrale kompleksnih funkcij je mogoče ovrednotiti z rabo mnogih tehnik. Najbolj neposredna je razdelitev na realni in imaginarni del, s čimer se problem reducira na vrednotenje dveh realnih krivuljnih integralov. Cauchyjev integralski izrek se lahko rabi za enačenje krivuljnega integrala analitične funkcije z istim integralom na priročnejši krivulji. Prav tako pomeni, da je na zaprti krivulji, ki obdaja območje, kjer je funkcija analitična brez singularnosti, vrednost integrala preprosto enaka nič, ali pa, če območje vključuje singularnosti, izrek o ostankih izračuna integral v smislu singularnosti. To pomeni tudi neodvisnost kompleksnega krivuljnega integrala od poti za analitične funkcije.
Če se kompleksna števila obravnava kot dvorazsežne vektorje, ima krivuljni integral funkcije s kompleksnimi vrednostmi realni in kompleksni del, ki sta enaka krivuljnemu integralu in integralu pretoka vektorskega polja. To ustreza konjugirani funkciji . Natančneje, če parametrizira in ustreza vektorskemu polju , potem je:
Po Cauchyjevem integralskem izreku je levi integral enak nič, ko je analitična (zadovoljuje Cauchy-Riemannovi enačbi) za poljubno gladko zaprto krivuljo . Ustrezno sta po Greenovem izreku desna integrala enaka nič, ko je nesučno (brez rotorjev) in nestisljivo (brez divergenc). Pravzaprav sta Cauchy-Riemannovi enačbi za identični izginotju rotorja in divergence za .
Po Greenovem izreku je površina območja, ki ga omejuje gladka, zaprta, pozitivno usmerjena krivulja , podana z integralom . To dejstvo se rabi na primer pri dokazu izreka o površini.