Câmpul vector
În matematică , un câmp vectorial pe un spațiu euclidian este o construcție a calculului vectorial care asociază un vector cu același spațiu la fiecare punct al unei regiuni a unui spațiu euclidian .
Un câmp vector tangent pe o varietate diferențiată este o funcție care asociază fiecărui punct al varietății un vector al tangenței spațiale în acel punct la varietate. Teorema Helmholtz este fundamentală pentru aceste obiecte, întrucât afirmă că cunoașterea divergenței și a rotorului sunt necesare și suficiente pentru cunoașterea câmpului în sine.
Un câmp vectorial pe plan poate fi reprezentat vizual prin gândirea la o distribuție în plan a vectorilor bidimensionali, astfel încât imaginea vectorială a punctului au originea în în sine (în cele din urmă redimensionată pentru o redare vizuală mai bună ca în figură). În mod similar, câmpurile vectoriale pot fi vizualizate pe suprafețe sau în spațiu tridimensional.
Descriere
Definiție
Având în vedere un întreg deschis și conectat cuprins în , un câmp vector este o funcție :
care se cere în general să fie continuu sau diferențiat pentru un anumit număr de ori. Ca o funcție, de exemplu, în cazul suprafeței , putem scrie:
- adică un vector este asociat cu fiecare punct de pe suprafață
în timp ce în cazul spațiului:
- adică un vector este asociat cu fiecare punct din spațiu
Liniile de curgere
Liniile de curgere sunt curbe intuitive care urmează în fiecare punct direcțiile identificate de câmpul vector cu viteza dată de amplitudinea vectorilor câmpului. Interpretând câmpul vector ca un câmp de viteză al unui fluid , aceste linii reprezintă traiectoriile fiecărei particule individuale. În mod formal, o linie de curgere care trece printr-un punct este o curbă diferențiată :
definit pentru unii pozitiv, astfel încât
- Și pentru fiecare .
Dacă câmpul este suficient de „regulat” (de exemplu, dacă este diferențiat sau cel puțin Lipschitzian ), exact o linie de curgere trece prin fiecare punct. Acest lucru se datorează faptului că o linie de curgere este soluția unei probleme Cauchy , a cărei existență și unicitate sunt garantate de teorema existenței și unicității pentru o problemă Cauchy .
Fluxul de fază asociat cu un câmp vector
O linie de curgere este definită pe un interval deschis , dar nu este neapărat definit pe întreaga linie reală . Într-un câmp vector astfel încât toate liniile de flux să fie definite pe întreaga linie reală, este posibil să se definească o aplicație
care se asociază cu un cuplu - dat de un timp și un punct în spațiul de fază - punctul de sosire care se obține urmărind linia de curgere de la care începe pentru o vreme începând de la punct . Această aplicație este fluxul asociat câmpului vector și este obișnuit să scrieți pentru a indica imaginea cuplului .
Formal fluxul asociat cu câmpul vector este identificat printr-o familie de aplicații
care verifică condițiile:
pentru fiecare și pentru orice moment .
Fluxul este un „grup cu un singur parametru”: este un grup deoarece îndeplinește următoarele proprietăți
și definește o acțiune de pe . Proprietățile grupului ne spun în mod informal că evoluția spațiului indusă de flux pentru un timp corespunde lăsării totul așa cum este și că evoluția pentru un timp este echivalent cu aplicarea succesivă a două evoluții pentru timpuri Și .
Puncte critice
Definiție
Un punct critic sau punct singular pentru un câmp vector este un punct în care câmpul dispare sau în care nu este definit deoarece tinde spre infinit (similar cu ceea ce se întâmplă pentru poli ). În general, se presupune că câmpul este suficient de regulat, astfel încât punctele critice să fie izolate .
Punctele critice își datorează numele rolului „special” pe care îl joacă în câmpul vectorial. În vecinătatea oricărui punct non- critic, structura topologică a câmpului vector este întotdeauna aceeași: câmpul restricționat la un mic vecinătate al punctului este difeomorf la un câmp constant (care asociază același vector non-zero la fiecare punct ), ale căror linii sunt, prin urmare, linii paralele, așa cum este stabilit de teorema cutiei de flux . Punctele critice, pe de altă parte, au un istoric de caz mult mai bogat.
Topologie
Posibilele structuri topologice ale câmpului într-un vecinătate al punctului critic izolat pot fi clasificate prin asocierea unui număr întreg numit index punctelor critice.
Tipul și numărul total de puncte critice ale unui câmp vector sunt, de asemenea, legate de structura topologică globală a domeniului pe care este definit câmpul. Această legătură este stabilită de teorema Poincaré-Hopf care afirmă că, dacă câmpul vector este definit pe o varietate compactă diferențiată, atunci suma indicilor punctelor sale critice este egală cu caracteristica Euler a varietății.
Soiuri combabile
Un colector diferențial poate fi pieptănat dacă admite un câmp vectorial (suficient de regulat) care nu este niciodată nul. Prin teorema lui Poincaré-Hopf menționată mai sus, o varietate compactă compactă trebuie să aibă caracteristica Euler zero. Din acest motiv, sfera nu poate fi pieptănată: această afirmație este teorema sferei păroase .
Pe de altă parte, torul și sticla Klein sunt suprafețe cu caracteristica zero Euler și pot fi pieptănate.
Aplicații
Câmpurile vectoriale sunt întâlnite atât în matematică pură, cât și în matematică aplicată:
- În fizică sunt folosite pentru a modela mărimi vectoriale distribuite cu continuitate în spațiu, mărimi caracterizate printr-o intensitate și o direcție, de exemplu deplasarea, viteza și accelerația unui fluid, câmpuri de forțe, ca în cazul unui gravitațional , electric sau magnetic , vânturi în meteorologie etc.
- În analiza și studiul sistemelor dinamice , câmpurile vectoriale sunt strâns legate de ecuații diferențiale .
- În topologia diferențială , studiem legăturile dintre proprietățile câmpurilor vectoriale continue pe o varietate diferențiată și structura topologică a varietății. Un exemplu este teorema bilei păroase care afirmă că pe o sferă (și pe orice suprafață diferită de o sferă) nu este posibil să se definească un câmp vector continuu și niciodată nul.
Exemple
Câmp vector gradient
Având o funcție diferențiată pe
câmpul de gradient al este câmpul vectorial care se asociază fiecăruia în vectorul
dat de gradientul de în .
Un câmp de gradient este conservator , adică rotorul este zero peste tot.
Liniile de flux ale unui câmp de gradient asociat cu o funcție scalară sunt pretutindeni ortogonali față de suprafețele de nivel ale , adică hipersuprafețelor date de ecuația cartesiană dupa cum în .
Câmp vectorial hamiltonian
Având o funcție diferențiată pe un open a planului cartezian :
câmpul hamiltonian al este câmpul vector care se asociază unui punct în vectorul
unde este Și denotați derivatele parțiale ale .
Funcția scalară care generează câmpul hamiltonian se numește hamiltonian .
Bibliografie
- ( EN ) JH Hubbard și BB Hubbard, calcul vectorial, algebră liniară și forme diferențiale. O abordare unificată , Upper Saddle River, NJ, Prentice Hall, 1999, ISBN 0-13-657446-7 .
- ( EN ) Frank Warner, Fundamentele diferitelor varietăți și grupurile Lie , New York-Berlin, Springer-Verlag, 1983 [1971] , ISBN 0-387-90894-3 .
- ( EN ) William Boothby, O introducere la varietăți diferențiate și geometria Riemanniană , Matematică pură și aplicată, volumul 120, al doilea, Orlando, FL, Academic Press, 1986, ISBN 0-12-116053-X .
- ( EN ) Galbis, Antonio & Maestre, Manuel, Vector Analysis Versus Vector Calculus , Springer, 2012, p. 12, ISBN 978-1-4614-2199-3 .
- (EN) You, W. Loring, Vector fields , în An Introduction to Manifolds, Springer, 2010, p. 149, ISBN 978-1-4419-7399-3 .
- ( EN ) Dawber, PG, Vectors and Vector Operators , CRC Press, 1987, p. 29, ISBN 978-0-85274-585-4 .
Elemente conexe
- Câmp vectorial hamiltonian
- Divergenţă
- Gradient
- Rotor (matematică)
- Spațiul tangent
- Teorema mingii păroase
- Teorema lui Helmholtz
- Soi diferențiat
Alte proiecte
- Wikimedia Commons conține imagini sau alte fișiere de câmp vector
linkuri externe
- ( EN ) Eric W. Weisstein, câmp Vector , în MathWorld , Wolfram Research.
- ( EN ) Câmp vectorial , în PlanetMath .
- ( EN ) Paul Falstad, aplicație Java 2D Vector Field Simulation pentru vizualizarea câmpurilor vector 2D
- ( EN ) Paul Falstad, aplicație Java de simulare a câmpului 3D 3D pentru vizualizarea câmpurilor vectoriale 3D