Aquest article o secció no cita les fonts o necessita més referències per a la seva verificabilitat. |
En matemàtiques, un sistema d'equacions és un conjunt de dues o més equacions amb diverses incògnites que conformen un problema matemàtic consistent en trobar les incògnites que satisfan les equacions. En un sistema d'equacions algebraiques les incògnites són valors numèrics (o més generalment elements d'un cos sobre el qual es plantegen les equacions), mentre que en una equació diferencial les incògnites són funcions o distribucions d'un cert conjunt definit per endavant. Una solució d'aquest sistema és per tant, un valor o una funció que substituïda en les equacions del sistema fa que aquestes es compleixin automàticament sense que s'arribi a una contradicció. En altres paraules el valor que substituïm en les incògnites ha de fer complir la igualtat del sistema. Les incògnites es solen representar utilitzant les últimes lletres de l'alfabet llatí, o si són massa, amb subíndexs.
La forma genèrica d'un sistema de equacions algebraiques i incògnites és la següent:
(1)
on són funcions de les incògnites. La solució, pertanyent a l'espai euclidià , serà tal que el resultat d'avaluar qualsevol expressió amb els valors d'aquesta solució, verifiqui l'equació.
Els sistemes de 2 o 3 incògnites reals admeten representacions gràfiques quan les funcions a ( ) són contínues a trams. A cada equació es representa com una corba o una superfície corba. L'existència de solucions en aquest cas es pot deduir a partir de l'existència d'interseccions comunes a aquestes corbes o superfícies corbes.
Un sistema d'equacions sobre pot classificar d'acord amb el nombre de solucions:
Un sistema lineal és aquell en què les equacions són funcions afins. A diferència del cas general, les solucions dels sistemes d'equacions lineals són fàcils de trobar quan els coeficients de les equacions són nombres reals o complexos. També hi ha mitjans generals quan els coeficients pertanyen a un anell, encara que la recerca de les solucions en aquest cas pot ser una mica més complicada.
Una característica important dels sistemes lineals d'equacions és que admeten l'anomenada forma matricial. Aquesta forma permet representar el sistema usant tres matrius, de la següent manera:
(2)
La primera és la matriu de coeficients, on el terme representa el coeficient que acompanya la j-èsima incògnita de l'equació i-èsima. La segona és la matriu d'incògnites, on cada terme es correspon amb una de les incògnites que volem esbrinar. I la tercera matriu és la de termes independents, on el cada representa el terme independent de l'equació i-èsima.
Aquesta representació matricial facilita l'ús d'alguns mètodes de resolució, com el mètode de Gauss, en el qual, partint de la matriu augmentada (matriu de coeficients a què se li ha acoblat la matriu de termes independents), i aplicant transformacions lineals sobre les equacions, es pretén arribar a una matriu d'aquest tipus:
Un cop la matriu s'ha triangulat, el valor de cada terme es correspondrà amb el de la incògnita . Si ens trobem alguna fila del tipus , amb , el sistema no tindrà solució.
El teorema de la funció inversa proporciona condicions suficients d'existència de solució, d'un sistema com ( ) amb . Si succeeix que la funció vectorial:
És diferenciable amb continuïtat, és a dir, és de classe i el seu jacobià no s'anul·la en cap punt llavors hi ha una única solució del sistema ( ), ja que en aquest cas hi haurà una funció inversa i podrem escriure la solució buscada simplement com:
No obstant això, la condició de diferenciabilitat anterior tot i ser condició suficient, no és una condició necessària, pel que existeixen sistemes d'equacions en què les funcions no són diferenciables i no obstant això, hi ha solucions. Més encara, en casos en què hi ha més d'una solució si la funció és diferenciable llavors el jacobià s'anul·la en algun punt, però això no impedeix que hi hagi diverses solucions.
En casos d'un menor nombre d'equacions que d'incògnites, quan , aleshores el sistema és compatible indeterminat o no té solucions. En aquests casos, el teorema de la funció implícita proporciona condicions suficients, encara que no necessàries, per a l'existència de solucions d'una manera semblant a com el teorema de la funció inversa les proporciona en el cas .
Un sistema d'equacions lineals compatibles i determinats la solució és sempre única. En el cas d'equacions polinòmiques la resposta és més complicada, encara que pot provar que dues corbes polinòmiques en el pla de graus n i m funcionalment independents es tenen com a molt nm solucions diferents. Aquest resultat es desprèn del següent teorema de Bézout:
Si bé per als sistemes d'equacions lineals existeixen multitud de tècniques de l'àlgebra lineal, per als sistemes d'equacions no-lineals el problema és tècnicament bastant més difícil.
Els mètodes analítics es restringeixen gairebé exclusivament a sistemes d'equacions lineals. Ni tan sols es coneix una solució analítica per al sistema d'equacions de segon grau general:
Les aplicacions tècniques generalment recorren a algoritmes numèrics que permeten calcular aproximacions numèriques a les solucions d'un sistema d'equacions.
Un dels mètodes numèrics que pot generalitzar-se a sistemes no-lineals és el mètode de Newton-Raphson. En el cas multidimensional la resolució numèrica del sistema de n equacions es pot fer a partir del coneixement d'una solució aproximada , sempre que l'aplicació anterior sigui diferenciable, mitjançant l'esquema iteratiu:
O més explícitament:
Lamentablement la convergència de l'esquema iteratiu anterior no està garantida i en casos de solucions múltiples la convergència pot donar-se cap a la solució no desitjada.
Els mètodes gràfics són didàctics i aclaridors, encara que en general no tenen interès pràctic en les aplicacions tècniques d'importància. A més estan restringits generalment a sistemes de dues o tres equacions reals.
Dos sistemes d'equacions amb dues incògnites de valor real, solen aparèixer com un dels cinc tipus diferents esmentats a continuació. Tenen una relació amb el nombre de solucions:
L'equació x² + y² = 0 pot ser pensada com l'equació d'un cercle el radi s'ha reduït a zero, pel que representa un únic punt: (x = 0, y = 0), a diferència d'una normal d'un cercle que conté infinit nombre de punts. Aquest i altres casos similars mostren la raó per la qual els dos últims tipus anteriorment descrits necessiten la qualificació de "normalment". Un exemple d'un sistema d'equacions del primer tipus descrit anteriorment, amb un nombre infinit de solucions ve donada per x =|x|, i =|i|(on la notació|•|indica el valor absolut de la funció), les solucions de forma un quadrant de la x - i pla. Un altre exemple és x =|i|, i =|x|, la solució representa un llamp.