Sistema de ecuaciones

Sistema de ecuaciones

En las matemáticas, un sistema de ecuaciones es un conjunto de dos o más ecuaciones con varias incógnitas que conforman un problema matemático consistente en encontrar las incógnitas que satisfacen dichas ecuaciones.

En un sistema de ecuaciones algebraicas las incógnitas son valores numéricos (o más generalmente elementos de un cuerpo sobre el que se plantean las ecuaciones), mientras que en una ecuación diferencial las incógnitas son funciones o distribuciones de un cierto conjunto definido de antemano. Una solución de dicho sistema es por tanto, un valor o una función que substituida en las ecuaciones del sistema hace que éstas se cumplan automáticamente sin que se llegue a una contradicción. En otras palabras el valor que reemplazamos en las incógnitas debe hacer cumplir la igualdad del sistema.

Las incógnitas se suelen representar utilizando las últimas letras del alfabeto latino, o si son demasiadas, con negras subíndices.

Contenido

Sistema general

La forma genérica de un sistema de m\, ecuaciones algebraicas y n\, incógnitas es la siguiente:

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

donde F_1, \ldots, F_m son funciones de las incógnitas. La solución, perteneciente al espacio euclídeo \R^n , será tal que el resultado de evaluar cualquier expresión F_i\, con los valores de dicha solución, verifique la ecuación.

Representación gráfica

Los sistemas de 2 o 3 incógnitas reales admiten representaciones gráficas cuando las funciones F_i\, en (1) son continuas a tramos. En cada ecuación se representa como una curva o una superficie curva. La existencia de soluciones en ese caso puede deducirse a partir de la existencia de intersecciones comunes a dichas curvas o superficies curvas.

Clasificación de los sistemas

Un sistema de ecuaciones sobre \R^n puede clasificarse de acuerdo con el número de soluciones en:

  • Sistema incompatible cuando no admite ninguna solución. Un ejemplo de sistema incompatible es {54x − 36y = 9, − 54x + 36y = 30}, ya que usando el método reducción y sumando miembro a miembro se obtiene la contradicción 0 = 39.
  • Sistema compatible cuando admite alguna solución que a su vez pueden dividirse en:
    • Sistemas compatibles indeterminados cuando existe un número infinito de soluciones que forman una variedad continua. Un ejemplo de sistema compatible indeterminado es {x + y = 1,2x + 2y = 2} ya que claramente la segunda ecuación es linealmente dependiente de la primera, habiéndo sido multiplicados todos los términos por 2.
    • Sistemas compatibles determinados cuando admiten un conjunto finito de soluciones, o un conjunto infinito de soluciones aisladas con a lo sumo un número finito de puntos de acumulación. Un ejemplo de sistema compatible determinado es {2x + 3y = 9,3x − 2y = 7} cuya solución única es y = 1 y x = 3.

Sistema lineal

Artículo principal: Sistema lineal de ecuaciones

Un sistema como el anterior en que las anteriores ecuaciones son funciones afines. A diferencia del caso general, la solución de los sistemas de ecuaciones lineales son fáciles de encontrar cuando los coeficientes de las ecuaciones son números reales o complejos. También existen medios generales cuando los coeficientes pertenecen a un anillo, aunque la búsqueda de las soluciones en ese caso puede ser un poco más complicada.

Una característica importante de los sistemas lineales de ecuaciones es que admiten la llamada forma matricial. Esa forma permite representar el sistema usando tres matrices, de la siguiente forma:

(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 es la matriz de coeficientes, donde el término a_{ij}\, representa al coeficiente que acompaña a la j-ésima incógnita de la ecuación i-ésima. La segunda es la matriz de incógnitas, donde cada término se corresponde con una de las Y\, incógnitas que queremos averiguar. Y la tercera matriz es la de términos independientes, donde el cada b_i\, representa al término independiente de la ecuación i-ésima.

Esta representación matricial facilita el uso de algunos métodos de resolución, como el método de Gauss, en el que, partiendo de la matriz aumentada (matriz de coeficientes a la que se le ha acoplado la matriz de términos independientes), y aplicando transformaciones lineales sobre las ecuaciones, pretendemos llegar a una matriz de este tipo:

\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}

Una vez la matriz se ha triangulado, el valor de cada término b_i\, se corresponderá con el de la incógnita x_i\,. Si nos encontramos alguna fila del tipo \begin{pmatrix}0 & 0 & 0 & b_X \\\end{pmatrix}, con b_X\ne0\,, el sistema no tendrá solución.

Existencia de soluciones

El teorema de la función inversa proporciona condiciones suficientes de existencia de solución, de un sistema como (1) con m = n\,. Si sucede que la función 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))

Es diferenciable con continuidad, es decir, es de clase C^1(\R^n) y su jacobiano no se anula en ningún punto entonces existe una única solución del sistema (1). Ya que en ese caso existirá una función inversa, y podremos escribir la solución buscada simplemente como:

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

Sin embargo, la condición de diferenciabilidad anterior aún siendo condición suficiente, no es una condición necesaria, por lo que existen sistemas de ecuaciones en que las funciones F_i\, no son diferenciables y sin embargo, existen soluciones. Más aún, en casos en que existe más de una solución si la función es diferenciable entonces el jacobiano se anula en algún punto, pero eso no impide que existan varias soluciones.

En casos de un menor número de ecuaciones que de incógnitas, cuando m < n\,, entonces el sistema es compatible indeterminado o carece de soluciones. En esos casos, el teorema de la función implícita proporciona condiciones suficientes, aunque no necesarias, para la existencia de soluciones de un modo similar a como el teorema de la función inversa las proporciona en el caso m = n\,.

Número de soluciones

Un sistema de ecuaciones lineales compatibles y determinados la solución es siempre única. En el caso de ecuaciones polinómicas la respuesta es más complicada, aunque puede probarse que dos curvas polinómicas en el plano de grados n y m funcionalmente independientes se tienen como mucho nm soluciones diferentes. Ese resultado se desprende del siguiente teorema de Bézout:

Dos curvas del plano proyectivo complejo \mathbb{CP}^2, de grados n y m sin componentes comunes se cortan exactamente en mn puntos contados con multiplicidad.

Métodos de resolución

Si bien para los sistemas de ecuaciones lineales existen multitud de técnicas del álgebra lineal, para los sistemas de ecuaciones no-lineales el problema es técnicamente bastante más difícil.

Métodos analíticos

Los métodos analíticos se restringen casi exclusivamente a sistemas de ecuaciones lineales. Ni siquiera se conoce una solución analítica para el sistema de ecuaciones de segundo grado 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étodos numéricos

Las aplicaciones técnicas generalmente recurren a algoritmos numéricos que permiten calcular aproximaciones numéricas a las soluciones de un sistema de ecuaciones.

Uno de los métodos numéricos que puede generalizarse a sistemas no-lineales es el método de Newton-Raphson. En el caso multidimensional la resolución numérica del sistema de n ecuaciones \scriptstyle \mathbf{f}(\mathbf{x}) = \mathbf{f}(x_1, \dots, x_n)=0 puede hacerse a partir del conocimiento de una solución aproximada \scriptstyle \mathbf{x}^{(0)} = (x_1^{(0)}, \dots, x_n^{(0)}), siempre y cuando la aplicación anterior sea diferenciable, mediante el esquema iterativo:

\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ícitamente:

\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(\mathbf{x}^{(m)})\\ \dots \\ f_n(\mathbf{x}^{(m)}) \end{bmatrix}

Lamentablemente la convergencia del esquema iterativo anterior no está garantizada y en casos de soluciones múltiples la convergencia puede darse hacia la solución no deseada.

Métodos gráficos

Los métodos gráficos son didácticos e ilustrativos, aunque en general carecen de interés práctico en las aplicaciones técnicas de importancia. Además están restringidos generalmente a sistemas de dos o tres ecuaciones reales.

Dos sistemas de ecuaciones con dos incógnitas de valor real, suelen aparecer como uno de los cinco tipos diferentes mencionados a continuación. Tienen una relación con el número de soluciones:

  1. Aquellos sistemas de ecuaciones que representan gráficamente rectas y curvas que se intersecan entre sí. Este tipo de sistema de ecuación es considerado como el normal. Suele tener un número de soluciones finito cada uno formado por las coordenadas de los punto de intersección.
  2. Sistemas que tienen simplificaciones falsas. Por ejemplo: 1 = 0. Gráficamente se representan como un conjunto de líneas que nunca se intersecan entre sí, como líneas paralelas.
  3. Sistemas de ecuaciones en las que ambos simplificar a una identidad (por ejemplo, x = 2x - y o y - x = 0). Cualquier asignación de valores a las variables desconocidas satisface las ecuaciones. Por lo tanto, hay un número infinito de soluciones, que gráficamente, se representa como todos los puntos del plano que representa la solución.
  4. Sistemas en los que las dos ecuaciones representan el mismo conjunto de puntos: son matemáticamente equivalentes (una ecuación general puede ser transformada en otra a través de la manipulación algebraica). Estos sistemas representan completamente la superposición de líneas o curvas, etc Una de las dos ecuaciones es redundante y puede ser desechada. Cada punto de la serie de puntos corresponde a una solución. Generalmente, esto significa que hay un número infinito de soluciones.
  5. Sistemas en los que una (y sólo una) de las dos ecuaciones se simplifica a una identidad. Por lo tanto, es redundante y puede ser descartada, según el tipo anterior. Cada punto de la serie de puntos representados por los demás es una solución de la ecuación de los que hay a continuación, por lo general un número infinito.

La ecuación x2 + y2 = 0 puede ser pensada como la ecuación de un círculo cuyo radio se ha reducido a cero, por lo que representa un único punto: (x = 0, y = 0), a diferencia de una normal de un círculo que contiene infinito número de puntos. Este y otros casos similares muestran la razón por la cual los dos últimos tipos anteriormente descritos necesitan la calificación de "normalmente". Un ejemplo de un sistema de ecuaciones del primer tipo descrito anteriormente, con un número infinito de soluciones viene dada por x = | x |, y = | y | (donde la notación | • | indica el valor absoluto de la función), cuyas soluciones de forma un cuadrante de la x - y plano. Otro ejemplo es x = | y |, y = | x |, cuya solución representa un rayo.

Véase también

  • Sistema lineal de ecuaciones

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Поможем написать реферат

Mira otros diccionarios:

  • Sistema de ecuaciones lineales — En matemáticas y álgebra lineal, un sistema de ecuaciones lineales, también conocido como sistema lineal de ecuaciones o simplemente sistema lineal, es un conjunto de ecuaciones lineales sobre un cuerpo o un anillo conmutativo. Un ejemplo de… …   Wikipedia Español

  • Sistema de ecuaciones diferenciales — Un sistema de ecuaciones diferenciales es un conjunto de varias ecuaciones diferenciales con varias funciones incógnitas y un conjunto de condiciones de contorno. Una solución del mismo es un conjunto de funciones diferenciables que satisfacen… …   Wikipedia Español

  • sistema — (Del lat. systēma, y este del gr. σύστημα). 1. m. Conjunto de reglas o principios sobre una materia racionalmente enlazados entre sí. 2. Conjunto de cosas que relacionadas entre sí ordenadamente contribuyen a determinado objeto. 3. Biol. Conjunto …   Diccionario de la lengua española

  • Sistema lineal de dos ecuaciones con dos incógnitas — Este artículo o sección debería estar en Wikiversidad ya que es una guía de aprendizaje en vez de un verdadero artículo enciclopédico. [ver página en Wikiversidad] Si modificas este artículo dándole una orientación enciclopéd …   Wikipedia Español

  • Sistema — (Del gr. systema.) ► sustantivo masculino 1 Conjunto ordenado de normas o procedimientos que contribuyen a un fin o con que funciona o se hace funcionar una cosa: ■ sistema político; sistema educativo. SINÓNIMO modelo norma 2 Conjunto organizado… …   Enciclopedia Universal

  • ecuaciones, sistema de — o ecuaciones simultáneas En álgebra, dos o más ecuaciones que deben ser resueltas en forma conjunta (i.e., la solución debe satisfacer todas las ecuaciones en el sistema). Para que un sistema tenga una solución única, el número de ecuaciones debe …   Enciclopedia Universal

  • Sistema (desambiguación) — La palabra sistema ha adquirido muchos usos especializados, algunos muy anteriores a la Teoría de sistemas, pero siempre referentes a conjuntos estructurados y organizados, casi siempre en el campo de los sistemas ideales, conceptuales o formales …   Wikipedia Español

  • Ecuaciones de Euler-Lagrange — Saltar a navegación, búsqueda Las ecuaciones de Euler Lagrange son las condiciones bajo las cuales cierto tipo de problema variacional alcanza un extremo. Aparecen sobre todo en el contexto de la mecánica clásica en relación con el principio de… …   Wikipedia Español

  • Ecuaciones dimensionales — Saltar a navegación, búsqueda Las ecuaciones dimensionales son expresiones algebraicas que tienen como variables a las unidades fundamentales y derivadas, las cuales se usan para probar fórmulas, equivalencias o para dar unidades a una respuesta …   Wikipedia Español

  • Ecuaciones de Euler (sólidos) — Saltar a navegación, búsqueda En mecánica, las ecuaciones de Euler describen el movimiento de un sólido rígido en rotación en un sistema de referencia solidario con el sólido. Matemáticamente tienen la forma: donde son las componentes vectoriales …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”