Vektorianalyysi on matematiikan ala, joka käsittelee vektori­kenttien differentiointia ja integrointia, pääasiassa kolmi­ulotteisessa euklidisessa avaruudessa Termiä vektori­analyysi käytetään joskus myös laajemmassa merkityksessä tarkoittamaan useamman muuttujan differentiaali- ja integraalilaskentaa, johon varsinaisen vektori­analyysin lisäksi kuuluvat myös osittaisderivaatat sekä integrointi useamman muuttujan suhteen. Vektori­analyysillä on tärkeä merkitys differentiaaligeometriassa ja osittaisdifferentiaaliyhtälöiden teoriassa. Sillä on runsaasti sovelluksia esimerkiksi tekniikassa, fysiikassa ja tilasto­tieteessä. Fysiikassa sitä käytetään varsinkin sähkö­magneettisten kenttien ja gravitaatiokenttien kuvailuun sekä virtaus­dynamiikassa.

Vektori­analyysin kehittivät kvaternioiden teorian pohjalta J. Willard Gibbs ja Oliver Heaviside lähellä 1800-luvun loppua. Suuren osan sen termino­logiasta ja merkinnöistä vakiinnutti Gibbsin ja Edwin Bidwell Wilsonin vuonna 1901 ilmestynyt kirja Vector Analysis. Tavan­omaisessa muodossaan, jossa käytetään ristituloja, vektorianalyysiä ei voida laajentaa useampiin ulottuvuuksiin, kun taas vaihto­ehtoisessa geometriseen algebraan perustuvassa lähestymis­tavassa, jossa ristitulon sijasta käytetään ulkoista tuloa, niin voidaan tehdä.

Peruskäsitteet

Skalaarikentät

Skalaarikenttä on funktio, joka liittää avaruuden jokaiseen pisteeseen jonkin skalaariarvon. Skalaari voi olla joko pelkkä matemaattinen lukuarvo tai jokin fysikaalinen suure. Sovellus­esimerkkeinä skalaarikentistä voidaan mainita lämpötila avaruuden kussakin pisteessä, paine nesteen tai kaasun eri kohdissa ja spin-nolla-kvanttikentät kuten Higgsin kenttä. Tällaisia kenttiä käsittelee skalaarikenttäteoria.

Vektorikentät Vektorikenttä on funktio, joka liittää avaruuden jonkin osajoukon jokaiseen pisteeseen jonkin vektoriarvon. Esimerkiksi tasossa vektorikenttää voidaan havainnollistaa joukolla eripituisia ja erisuuntaisia nuolia, jotka alkavat tason eri pisteistä. Vektorikentillä voidaan mallintaa esimerkiksi tuulen nopeutta ja suuntaa tai muuta nesteen tai kaasun virtausta taikka voimia, esimerkiksi magneettikenttää tai gravitaatiota, jotka eri paikoissa ovat eri suuruisia ja eri suuntaisia.

Vektorit ja pseudovektorit Kehittyneemmällä tasolla erotetaan omiksi luokikseen pseudovektorikentät ja pseudoskalaarikentät, jotka ovat muutoin vektori- ja skalaarikenttien kaltaisia paitsi että ne vaihtavat etumerkkiään kuvauksessa, joka muuttaa orientaation, esimerkiksi peilikuvasa. Esimerkiksi vektorikentän roottori on pseudovektorikenttä, ja jos vektorikenttä peilataan tason suhteen, roottori osoittaa päinvastaiseen suuntaan. Tätä eroa selventää ja täsmentää geometrinen algebra jäljempänä selitetyllä tavalla.

Vektorien laskutoimitukset

Algebralliset laskutoimitukset Vektorien ei-differentiaalisia algebrallisia peruslaskutoimituksia, joita tarvitaan myös vektorianalyysissä, nimitetään vektorialgebraksi. Ne on määritelty jokaisessa vektoriavaruudessa, ja niitä voidaan soveltaa myös jokaiseen vektorikenttään. Niitä ovat seuraavat: skalaarilla kertominen: skalaarikentän ja vektorikentän kertolasku, jonka tuloksena on vektorikenttä: vektorien yhteenlasku: kahden vektorikentän yhteenlasku, jonka tuloksena on vektorikenttä: pistetulo: kahden vektorikentän kertolasku, jonka tuloksena on skalaarikenttä: ristitulo: kahden vektorikentän kertolasku, jonka tuloksena on vektorikenttä: .

Näistä yhdistämällä voidaan muodostaa myös kaksi kolmituloa: skalaarikolmitulo, pistetulo, jonka tekijöinä ovat vektorikenttä ja kahden muun vektorikentän ristitulo: ; vektorikolmitulo, ristitulo, jonka tekijöinä ovat vektorikenttä ja kahden muun vektorikentän ristitulo: tai .

Näitä kuitenkin käytetään harvemmin kuin peruslaskutoimituksia.

Joskus määritellään laskutoimituksena lisäksi kohtisuora pistetulo (

joka itse asiassa on kahden vektorin pistetulo, kun toista niitä on kierretty 90 astetta vastapäivään. Samalla se on näiden vektorien ristitulon itseisarvo: ,

missä θ on vektorien v1 ja v2 välinen kulma. Sitä kuitenkin harvemmin käytetään, koska se voidaan esittää myös piste- tai ristitulon avulla.

Differentiaalioperaattorit

Vektorianalyysi tutkii erilaisia skalaari- ja vektorikentille määriteltyjä differentiaali­operaattoreita, joista monet voidaan esittää nabla- eli del -operaattorin avulla (. Vektori­analyysin viisi tärkeintä differentiaali­operaattoria ovat: OperaattoriMerkintäKuvausMäärittelyjoukon tyyppiArvojoukon tyyppiGradienttiSkalaarikentän paikallinen muutosnopeus siinä suunnassa, jossa se on suurinSkalaarikenttäVektorikenttäRoottori (curl)Mittaa vektorikentän pyörteisyyttä kunkin pisteen ympärilläVektorikenttä(Pseudo)vektorikenttä.Divergenssi Mittaa sitä, missä määrin vektorikentän kenttäviivoja alkaa tai päättyy kunkin pisteen ympärillä. Vektorikenttä SkalaarikenttäLaplacen operaattori vektorikentilleMittaa vektorikentän tietyssä pisteessä saaman arvon ja sen tätä pistettä ympäröivässä infinitesimaalisessa kuulassa saamien arvojen keskiarvon erotusta.VektorikenttäVektorikenttäLaplacen operaattoriMittaa skalaarikentän tietyssä pisteessä saaman arvon ja sen tätä pistettä ympäröivässä infinitesimaalisessa kuulassa saamien arvojen keskiarvon erotusta.SkalaarikenttäSkalaarikenttä Nämä kaikki voidaan muodollisesti esittää käsittelemällä nabla-operaattorin komponentteja lukujen tavoin ja itse operaattoria vektorin tavoin. Esimerkiksi roottori käsitetään nablan ja vektorikentän ristituloksi, divergenssi taas nablan ja vektorikentän pistetuloksi. Käsiteltäessä funktioita, joiden sekä määrittely- että arvojoukko koostuvat useiden muuttujien yhdistelmistä, käytetään usein apuna Jacobin matriisia ja determinanttia. Tämä tulee kysymykseen esimerkiksi integrointiin liittyvässä muuttujanvaihdossa.

Teoreemoja

Vektorianalyysissä on useita tärkeitä teoreemoja, jotka yleistävät analyysin peruslauseen useampaan ulottuvuuteen:

Teoreeman nimi Yhtälö Sanallinen muotoilu Gradienttilause Skalaarikentän gradientin käyräintegraali käyrän yli on yhtä suuri kuin niiden arvojen erotus, jotka skalaarikenttä saa käyrän päätepisteissä. Greenin lause Vektorikentän skalaarisen roottorin integraali tasoalueen yli on yhtä suuri kuin vektorikentän käyräintegraali pintaa rajoittavan käyrän yli, kun se kierretään tasoalueen ympäri vastapäivään. Stokesin lause Vektorikentän roottorin pintaintegraali :ssa olevan pinnan yli on yhtä suuri kuin vektorikentän käyräintegraali pintaa rajoittavan käyrän yli. Divergenssilause x44px|alt=\oiint|link= Vektorikentän divergenssin avaruusintegraali jonkin kappaleen yli on yhtä suuri kuin kentän vuon integraali kappaleen rajapinnan yli.

Sovelluksia

Lineaarinen approksimointi Lineaarisia approksimaatioita käytetään korvaamaan monimutkaisia funktioita lineaarisilla funktioilla, jotka saavat kaikkialla lähes samat arvot. Mitä tahansa differentioituvaa reaaliarvoista funktiota voidaan alueella, joka on lähellä pistettä , approksimoida kaavan

avulla.

Yhtälön oikealla puolella oleva lauseke on funktion at kuvaajana olevan pinnan tangenttitason yhtälö.

Optimointi Jatkuvasti differentioituvan useamman muuttujan reaalifunktion kannalta piste P (toisin sanoen joukko arvoja kullekin muuttujalle, joka käsitetään pisteeksi avaruudessa ) on kriittinen, jos funktion kaikki osittais­derivaatat pisteessä P ovat nollia, mikä on yhtäpitävää sen kanssa, että sen gradientti tässä pisteessä on nolla. Funktion kriittisiksi arvoiksi sanotaan sen arvoja kriittisissä pisteissä.

Jos funktio on sileä tai vähintään kaksi kertaa jatkuvasti differentioituva, kriittinen piste voi olla joko funktion paikallinen maksimikohta, paikallinen minimikohta tai satulapiste. Nämä eri tapaukset voidaan erottaa toisistaan tarkastelemalla sen toisten derivaattojen Hessin matriisin ominaisarvoja.

Fermat'n lauseen mukaan kaikki differentioituvan funktion paikalliset maksimi- ja minimikohdat ovat kriittisiä pisteitä. Niinpä maksimi- ja minimikohtien löytämiseksi riittää teoreettisesti määrittää gradientin nollakohdat ja Hessin matriisin ominaisarvot näissä nollakohdissa.

Fysiikka ja teknologia

Fysiikassa ja teknologiassa vektorianalyysiä käytetään varsinkin seuraavissa yhteyksissä: systeemin massakeskipisteen määrittäminen kenttäteoria kinematiikka.

Yleistyksiä

Erilaiset 3-monistot Vektorianalyysi määriteltiin alun perin kolmiulotteisessa euklidisessa avaruudessa, joka ei ole ainoastaan kolmiulotteinen vektori­avaruus vaan samalla myös normiavaruus. normi merkitsee geometrisesti janan pituutta, ja se määritellään sisätulon, tarkemmin sanottuna pistetulon avulla, joka samalla määrittelee myös kulman. Lisäksi siinä on määritelty orientaation käsite, jolla oikea- ja vasen­kätisyys erotetaan toisistaan. Näiden struktuurien avulla voidaan johtaa tilavuusmuoto ja samalla määritellä vektorien ristitulo, jota vektori­analyysissä runsaasti käytetään.

Gradientin ja divergenssin määrittelyyn riittää sisätulo, kun taas roottori ja ristitulo edellyttävät, että koordinaatiston kätisyys on otettava huomioon.

Vektorianalyysi voidaan määritellä muillekin kolmiulotteisille reaalisille vektori­avaruuksille, jos niissä on sisätulo, tai yleisemmin symmetrinen ei-degeneroitunut muoto ja orientaatio. Tällainen avaruus ei välttämättä ole isomorfinen euklidisen avaruuden kanssa, sillä siinä ei tarvitse olla koordinaatistoa mikä toisaalta osoittaa, että vektori­analyysi on invariantti avaruuden rotaatioissa, jotka muodostavat erityisen ortogonaalisen ryhmän SO(3).

Yleisemmin vektorianalyysi voidaan määritellä missä tahansa kolmiulotteisessa orientoituvassa Riemannin monistossa sekä myös pseudo-Riemannin monistoissa. Tämä rakenne merkitsee yksinkertaisesti, että sen jokaista pistettä vastaavassa tangenttiavaruudessa on määritelty sisätulo (tai ainakin symmetrinen ei-degeneroitunut muoto) ja orientaatio, tai globaalimmin, että siinä on symmetrinen ei-degeneroitunut metrinen tensori ja orientaatio. Tällöin vektorianalyysi toimii, koska se on määritelty avaruuden kuhunkin pisteeseen liittyvien tangenttivektorien avulla.

Muut ulottuvuudet Useimmat analyyttiset tulokset on yleisemmässä muodossa helppo ymmärtää käyttämällä differentiaaligeometrian menetelmiä, joista vektorianalyysi muodostaa osajoukon. Gradientin ja divergenssin määritelmät voidaan sellaisenaan yleistää kuinka moneen ulottuvuuteen tahansa, samoin Laplacen operaattori, joka johtaa harmoniseen analyysiin. Myös gradienttilause ja divergenssilause pätevät ulottuvuuksien lukumäärästä riippumatta. Sen sijaan roottori ja ristitulo eivät yleisty yhtä suoraviivaisesti.

Yleisemmältä kannalta erilaiset kentät kolmiulotteisessa vektori­analyysissä voidaan kaikki käsittää k-vektorikentiksi: skalaarikentät ovat 0-vektorikenttiä, vektorikentät 1-vektorikenttiä, pseudovektori­kentät 2-vektorikenttiä ja pseudoskalaarikentät 3-vektorikenttiä. Useampi­ulotteisessa avaruudessa kenttä­tyyppejäkin on enemmän.

Missä tahansa useampi­ulotteisessa avaruudessa, jossa on ei-degeneroitu muoto, skalaarifunktionn gradientti on vektorikenttä ja vektorikentän divergenssi skalaarifunktio, mutta vain 3 ja 7 ulottuvuudessa (sekä triviaalisti 0 ulottuvuudessa) vektorikentän roottori on vektorikenttä, ja vain kolmi- tai seitsenulotteisessa avaruudessa voidaan vektorien ristitulo määritellä. Muissa tapauksissa tarvitaan joko vektoria, jotta saadaan tulokseksi yksi vektori, tai kyseessä ovat vaihto­ehtoiset Lien algebrat, jotka ovat yleisempiä antisymmetrisiä bilineaarisia tuloja. Yleisesti roottori on bivektorikenttä, joka voidaan tulkita infinitesimaalisten rotaatioiden erityiseksi ortogonaaliseksi Lien algebraksi. Sitä ei kuitenkaan voida samastaa vektorikentän kanssa, koska sillä on eri määrä ulottuvuuksia: kolmiulotteisen avaruuden rotaatioavaruuskin on kolmiulotteinen, mutta esimerkiksi neliulotteisen avaruuden rotaatio­avaruus on kuusiulotteinen (ja yleisesti n-ulotteisen avaruuden rotaatioavaruus on -ulotteinen).