Sistema d'equacions

De Viquipèdia
Dreceres ràpides: navegació, cerca

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.

Sistema general[modifica | modifica el codi]

La forma genèrica d'un sistema de  m \, equacions algebraiques i  n \, incògnites és la següent:

(1)

\left\{\begin{matrix}F_1(x_1,...,x_n)=0 \\
\vdots \\
F_m(x_1,...,x_n)=0\end{matrix}\right.

on  F_1, \ldots, F_m són funcions de les incògnites. La solució, pertanyent al espai euclidià  \R^n , serà tal que el resultat d'avaluar qualsevol expressió  f_i \, amb els valors d'aquesta solució, verifiqui l'equació.

Representació gràfica[modifica | modifica el codi]

Els sistemes de 2 o 3 incògnites reals admeten representacions gràfiques quan les funcions  f_i \, a(1)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.

Classificació dels sistemes[modifica | modifica el codi]

Un sistema d'equacions sobre  \R^n pot classificar d'acord amb el nombre de solucions a:

  • Sistema incompatible quan no admet cap solució. Un exemple de sistema incompatible és  \{54x-36y = 9,-54x+36y = 30 \}, ja que utilitzar el mètode reducció i sumant membre a membre s'obté la contradicció 0 = 39.
  • Sistema compatible quan admet alguna solució que al seu torn poden dividir-se en:
    • Sistemes compatibles indeterminats quan hi ha un nombre infinit de solucions que formen una varietat contínua. Un exemple de sistema compatible indeterminat és  \{x 'y = 1, 2x+2y = 2 \}, ja que claramene la segona equació és linealment dependent de la primera, havent estat multiplicats tots els termes per 2.
    • Sistemes compatibles determinats quan admeten un conjunt finit de solucions, o un conjunt infinit de solucions aïllades amb com a màxim un nombre finit de punts d'acumulació. Un exemple de sistema complatible determinat és  \{2x+3y = 9, 3x-2y = 7 \} la solució única és  y = 1 i  x = 3 .

Sistema lineal[modifica | modifica el codi]

Article principal: Sistema d'equacions lineals

Un sistema com l'anterior en què les anteriors equacions són funcions afins. A diferència del cas general, la solució 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)


\begin{pmatrix}
a_{11} & a_{12} & \cdots & a_{1Y} \\
a_{21} & a_{22} & \cdots & a_{2Y} \\
\vdots & \vdots & \ddots & \vdots \\
a_{X1} & a_{X2} & \cdots & a_{XY} \end{pmatrix}

\begin{pmatrix}
x_1 \\
x_2 \\
\vdots \\
x_Y
\end{pmatrix}
=
\begin{pmatrix}
b_1 \\
b_2 \\
\vdots \\
b_X
\end{pmatrix}

La primera és la matriu de coeficients, on el terme  a_{ij}\, 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  I \, incògnites que volem esbrinar. I la tercera matriu és la de termes independents, on el cada  b_i \, 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, pretenem arribar a una matriu d'aquest tipus:


\begin{pmatrix}
1 & 0 & \cdots & 0 & b_1 \\
0 & 1 & \cdots & 0 & b_2 \\
\vdots & \vdots & \ddots & \vdots & \vdots \\
0 & 0 & \cdots & 1 & b_X \end{pmatrix}

Un cop la matriu s'ha triangulat, el valor de cada terme  b_i \, es correspondrà amb el de la incògnita  x_i \, . Si ens trobem alguna fila del tipus  \begin{pmatrix}0 & 0 & 0 & b_X \\\end{pmatrix}, amb  b_X \ne0 \, , el sistema no tindrà solució.

Existència de solucions[modifica | modifica el codi]

El teorema de la funció inversa proporciona condicions suficients d'existència de solució, d'un sistema com(1)amb  m = n \, . Si succeeix que la funció vectorial:


 \mathbf{F}: \R^n \longrightarrow \R^n, \qquad
(X_1, \dots, x_n) \mapsto (F_1 (x_1, \dots, x_n), \dots, F_n (x_1, \dots, x_n))

És diferenciable amb continuïtat, és a dir, és de classe  C^1 (\R^n) i el seu jacobià no s'anul en cap punt llavors hi ha una única solució del sistema(1). Ja que en aquest cas hi haurà una funció inversa, i podrem escriure la solució buscada simplement com:


 (x_1, \dots, x_n) = \mathbf{F}^{-1}(\mathbf{0})

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  f_i \, 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 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  m <n \, , 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  m = n \, .

Nombre de solucions[modifica | modifica el codi]

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:

Dues corbes del pla projectiu complex  \mathbb{CP}^2 , de graus n i m sense components comuns es tallen exactament en mn punts comptats amb multiplicitat.

Mètodes de resolució[modifica | modifica el codi]

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.

Mètodes analítics[modifica | modifica el codi]

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:


\begin{matrix}
a_{1,11}x^2_1 + a_{1,12}x_1x_2 + \dots + a_{1,nn}x_n^2 + b_{1,1}x_1 + \dots + b_{1,n}x_n + c_1= 0 \\

a_{2,11}x^2_1 + a_{2,12}x_1x_2 + \dots + a_{2,nn}x_n^2 + b_{2,1}x_1 + \dots + b_{2,n}x_n + c_2= 0 \\
\dots \\
a_{n,11}x^2_1 + a_{n,12}x_1x_2 + \dots + a_{n,nn}x_n^2 + b_{n,1}x_1 + \dots + b_{n,n}x_n + c_n= 0
\end{matrix}

Mètodes numèrics[modifica | modifica el codi]

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  \scriptstyle \mathbf{f}(\mathbf{x}) = \mathbf{f}(x_1, \dots, x_n) = 0 es pot fer a partir del coneixement d'una solució aproximada  \scriptstyle \mathbf{x}^{(0)}= (x_1^{(0)}, \dots, x_n^{(0 )}), sempre que l'aplicació anterior sigui diferncia, mitjançant l'esquema iteratiu:


 \mathbf{x}^{(m+1)}= \mathbf{x}^{(m)}- [D \mathbf{f}(\mathbf{x}^{(m)})]^{-1}(\mathbf{f}(\mathbf{x}^{(m ))}), \qquad \mathbf{f}: \R^n \to \R^n, \ \mathbf{f}\in C^{(1)}(\R^n; \R^n)

O més explícitament:


 \begin{bmatrix}x^{(m+1)}_1 \\\dots \\x^{(m+1)}_n \end{bmatrix}=
\begin{bmatrix}x^{(m)}_1 \ \\dots \\x^{(m)}_n \end{bmatrix}-
\begin{bmatrix}D_1f_1 & \dots & D_nf_1 \\\dots \\D_1f_n & \dots & D_nf_n \end{bmatrix}^{-1}
\begin{bmatrix}F_1 (\vec{x}^{(m)}) \\\dots \\f_n (\vec{x}^{(m)}) \end{bmatrix}

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.

Mètodes gràfics[modifica | modifica el codi]

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:

  1. Aquells sistemes d'equacions que representen gràficament rectes i corbes que s'intersequen entre si. Aquest tipus de sistema d'equació és considerat com el normal. Sol tenir un nombre de solucions finit cadascun format per les coordenades dels punt d'intersecció.
  2. Sistemes que tenen simplificacions falses. Per exemple: 1 = 0. Gràficament es representen com un conjunt de línies que mai s'intersequen entre si, com a línies paral·leles.
  3. Sistemes d'equacions en les que ambdós simplificar a una identitat (per exemple, x = 2x - yoy - x = 0). Qualsevol assignació de valors a les variables desconegudes satisfà les equacions. Per tant, hi ha un nombre infinit de solucions, que gràficament, es representa com tots els punts del pla que representa la solució.
  4. Sistemes en què les dues equacions representen el mateix conjunt de punts: són matemàticament equivalents (una equació general pot ser transformada en una altra a través de la manipulació algebraica). Aquests sistemes representen completament la superposició de línies o corbes, etc Una de les dues equacions és redundant i pot ser rebutjada. Cada punt de la sèrie de punts correspon a una solució. Generalment, això significa que hi ha un nombre infinit de solucions.
  5. Sistemes en què una (i només una) de les dues equacions es simplifica a una identitat. Per tant, és redundant i pot ser descartada, segons el tipus anterior. Cada punt de la sèrie de punts representats pels altres és una solució de l'equació dels que hi ha a continuació, en general un nombre infinit.

L'equació x 2 'i 2 = 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.

Enllaços externs[modifica | modifica el codi]