Vektorianalyysi

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ä.

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.

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 lokaali maksimikohta, lokaali minimikohta tai satulapiste. Nämä eri tapaukset voidaan erottaa toisistaan tarkastelemalla sen toisten derivaattojen Hessin matriisin ominaisarvoja.
Fermat'n lauseen mukaan kaikki differentioituvan funktion lokaalit 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.

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).
Vektorianalyysille on kaksi merkittävää vaihto­ehtoista yleistystä. Ensimmäinen, geometrinen algebra, käyttää k-vektorikenttiä vektori­kenttien sijasta (enintään kolmiulotteisessa avaruudessa jokainen k-vektorikenttä voidaan samastaa skalaari- tai vektori­kentän kanssa, mutta useammassa ulottuvuudessa tämä ei käy päinsä.)  Tämä korvaa vain kolmi­ulotteisessa avaruudessa käyvän ristitulon ulkoisella tulolla, joka on määritelty kaikissa ulottuvuuksissa. Kahden vektorikentän ulkoinen tulo on tällöin bivektorikenttä eli 2-vektorikenttä.  Algebralliselta struktuuriltaan vektoriavaruudet ovat tällöin Cliffordin algebroja, joissa on myös orientaatio ja ei-degeneroitunut muoto. Geometrista algebraa käytetään enimmäkseen fysiikan ja muiden sovellettujen kenttien yleistyksiin korkeammissa ulottuvuuksissa.
Toinen yleistys käyttää differentiaalimuotoja (k-kovektorikenttiä) vektorikenttien tai
k-vektorikenttien sijasta, ja sitä käytetään laajalti matematiikassa, varsinkin differentiaaligeometriassa, geometrisessa topologiassa ja harmonisessa analyysissa. Se johtaa erityisesti Hodgen teoriaan, joka käsittelee orientoituvia pseudo-Riemannin monistoja. Tältä kannalta gradientti, roottori ja divergenssi vastaavat 0-muotojen, 1-muotojen ja 2-muotojen ulkoisia derivaattoja, ja vektorianalyysin peruslauseet ovat kaikki erikois­tapauksia Stokesin lauseen yleisimmästä muodosta.
Molempien yleistysten kannalta tavanomainen vektori­analyysi samastaa implisiittisesti käsitteitä, jotka näissä yleistyksissä on toisistaan selvästi erotettava. Tämä tekeekin sen muodollisesti  yksin­kertaisemmaksi mutta sen perustana olevan matemaattisen struktuurin ja yleistykset vähemmän selviksi. Geometrisen algebran kannalta vektori­analyysi samastaa k-vektorikentät vektorikenttien tai skalaarifunktioiden kanssa: 0-vektorit ja 3-vektorit skalaarien, 1-vektorit ja 2-vektorit vektorien kanssa. Differentiaali­muotojen kannalta vektori­analyysi taas samastaa k-muodot skalaari- tai vektori­kenttien kanssa: 0-muodot ja 3-muodot skalaari­kenttien, 1- ja 2-muodot taas vektori­kenttien kanssa. Niinpä esimerkiksi roottorin argumenttina on luonnollisesti vektori­kenttä, mutta tuloksena 2-vektori­kenttä tai 2-muoto ja näin ollen pseudo­vektori­kenttä, joka sitten tulkitaan vektori­kentäksi sen sijaan että tuloksena saataisiin suoraan vektori­kenttä. Sen sijaan useammassa ulottuvuudessa vektori­kentän roottoria ei voida tulkita vektorikentäksi.