Gleichung

Unter einer Gleichung versteht man in der Mathematik eine Aussage über die Gleichheit zweier Terme, die mit Hilfe des Gleichheitszeichens („=“) symbolisiert wird. Formal hat eine Gleichung die Gestalt

${\displaystyle T_{1}=T_{2}}$,

wobei der Term ${\displaystyle T_{1}}$ die linke Seite und der Term ${\displaystyle T_{2}}$ die rechte Seite der Gleichung genannt wird. Gleichungen sind entweder wahr beziehungsweise erfüllt (beispielsweise ${\displaystyle 1=1}$) oder falsch (beispielsweise ${\displaystyle 1=2}$). Wenn zumindest einer der Terme ${\displaystyle T_{1},T_{2}}$ von Variablen abhängig ist, liegt nur eine Aussageform vor; ob die Gleichung wahr oder falsch ist, hängt dann von den konkreten eingesetzten Werten ab. Die Werte der Variablen, für die die Gleichung erfüllt ist, heißen Lösungen der Gleichung. Liegen zwei oder mehr Gleichungen vor, spricht man auch von einem Gleichungssystem. Eine Lösung eines Gleichungssystems muss alle Gleichungen zugleich erfüllen.

Typen von Gleichungen

Gleichungen werden in vielen Zusammenhängen verwendet; dementsprechend gibt es verschiedene Möglichkeiten, die Gleichungen nach unterschiedlichen Gesichtspunkten einzuteilen. Die jeweiligen Einteilungen sind zu einem großen Teil unabhängig voneinander, eine Gleichung kann in mehrere dieser Gruppen fallen. So ist es etwa sinnvoll, von einem System linearer partieller Differentialgleichungen zu sprechen.

Einteilung nach Gültigkeit

Identitätsgleichungen

→ Hauptartikel: Identitätsgleichung

Gleichungen können allgemeingültig sein, also durch Einsetzen aller Variablenwerte aus einer gegebenen Grundmenge oder zumindest aus einer vorher definierten Teilmenge davon wahr sein. Solche Gleichungen werden als Identitätsgleichungen oder Identitäten bezeichnet. Die Allgemeingültigkeit kann entweder aus anderen Axiomen gefolgert werden oder selber als Axiom vorausgesetzt werden.

Beispiele sind:

• Der Satz des Pythagoras: ${\displaystyle a^{2}+b^{2}=c^{2}}$ ist wahr für rechtwinklige Dreiecke, falls ${\displaystyle c}$ die dem rechten Winkel gegenüberliegende Seite (Hypotenuse) und ${\displaystyle a,b}$ die Katheten bezeichnen.
• Das Assoziativgesetz: ${\displaystyle (a+b)+c=a+(b+c)}$ ist wahr für alle natürlichen Zahlen ${\displaystyle a,b,c}$ und allgemein für beliebige Elemente ${\displaystyle a,b,c}$ einer Gruppe (als Axiom).
• Die erste binomische Formel: ${\displaystyle (a+b)^{2}=a^{2}+2ab+b^{2}}$ ist wahr für alle reellen Zahlen ${\displaystyle a,b}$.
• Die eulersche Identität: ${\displaystyle e^{i\varphi }=\cos \left(\varphi \right)+i\sin \left(\varphi \right)}$ ist wahr für alle reellen Zahlen ${\displaystyle \varphi }$.

In diesem Zusammenhang spricht man auch von einem mathematischen Satz oder Gesetz. Zur Unterscheidung von nicht allgemeingültigen Gleichungen wird bei Identitäten statt des Gleichheitszeichens auch das Kongruenzzeichen („≡“) verwendet.

Bestimmungsgleichungen

Häufig besteht eine Aufgabenstellung darin, alle Werte zu bestimmen, welche die Gleichung erfüllen. Diesen Vorgang bezeichnet man als Lösen der Gleichung. Zur Unterscheidung von Identitätsgleichungen werden solche Gleichungen als Bestimmungsgleichungen bezeichnet. Werte, welche die Gleichung erfüllen, bezeichnet man als Lösung der Gleichung; die Menge aller Lösungen heißt folglich Lösungsmenge der Gleichung. Wenn es keine Lösung gibt (d. h., die Lösungsmenge ist leer), so bezeichnet man die Gleichung als unlösbar oder unerfüllbar.

Ob eine Gleichung lösbar ist oder nicht, kann von der betrachteten Grundmenge abhängen, zum Beispiel gilt:

• Die Gleichung ${\displaystyle x^{2}=2}$ hat keine Lösung in den natürlichen und den rationalen Zahlen, besitzt jedoch in den reellen Zahlen die beiden Lösungen ${\displaystyle {\sqrt {2}}}$ und ${\displaystyle -{\sqrt {2}}}$.
• Die Gleichung ${\displaystyle x^{2}=-2}$ hat keine Lösung in den reellen Zahlen, jedoch hat sie in den komplexen Zahlen die beiden Lösungen ${\displaystyle i{\sqrt {2}}}$ und ${\displaystyle -i{\sqrt {2}}}$.

Bei Bestimmungsgleichungen treten mitunter Variablen auf, die nicht gesucht sind, sondern als bekannt vorausgesetzt werden. Solche Variablen werden als Parameter bezeichnet. Beispielsweise lautet die Lösungsformel für die quadratische Gleichung

${\displaystyle x^{2}+px+q\;=\;0}$

bei gesuchter Unbekannte ${\displaystyle x}$ und gegebenen Parametern ${\displaystyle p}$ und ${\displaystyle q}$

${\displaystyle x_{1,2}\;=\;-{\frac {p}{2}}\pm {\sqrt {{\frac {p^{2}}{4}}-q}}}$.

Setzt man eine der beiden Lösungen ${\displaystyle x_{1},x_{2}}$ in die Gleichung ein, so verwandelt sich die Gleichung in eine Identität, wird also für eine beliebige Wahl von ${\displaystyle p}$ und ${\displaystyle q}$ zur wahren Aussage. Für ${\displaystyle 4q\leq p^{2}}$ sind hier die Lösungen reell, ansonsten komplex.

Definitionsgleichungen

Gleichungen können auch verwendet werden, um ein neues Symbol zu definieren. In diesem Fall wird das zu definierende Symbol links geschrieben, und das Gleichheitszeichen oft durch das Definitionszeichen („${\displaystyle :=}$“) ersetzt oder über das Gleichheitszeichen „def“ geschrieben.

Zum Beispiel ist die Ableitung einer Funktion ${\displaystyle f}$ an einer Stelle ${\displaystyle x_{0}}$ durch

${\displaystyle f'(x_{0}):=\lim _{x\to x_{0}}{\frac {f(x)-f(x_{0})}{x-x_{0}}}}$

definiert. Im Gegensatz zu Identitäten sind Definitionen keine Aussagen; sie sind also weder wahr noch falsch, sondern nur mehr oder weniger zweckmäßig.

Einteilung nach rechter Seite

Homogene Gleichungen

Eine Bestimmungsgleichung der Form

${\displaystyle T(x)=0}$

heißt homogene Gleichung. Ist ${\displaystyle T}$ eine Funktion, nennt man eine Lösung ${\displaystyle x}$ auch Nullstelle der Funktion. Homogene Gleichungen spielen bei der Lösungsstruktur linearer Gleichungssysteme und linearer Differentialgleichungen eine wichtige Rolle. Ist die rechte Seite einer Gleichung ungleich null, heißt die Gleichung inhomogen.

Fixpunktgleichungen

→ Hauptartikel: Fixpunkt (Mathematik)

Eine Bestimmungsgleichung der Form

${\displaystyle T(x)=x}$

heißt Fixpunktgleichung und jede Lösung ein Fixpunkt der Gleichung. Genaueres über die Lösungen solcher Gleichungen sagen Fixpunktsätze aus.

Eigenwertprobleme

→ Hauptartikel: Eigenwertproblem

Eine Bestimmungsgleichung der Form

${\displaystyle T(x)=\lambda x}$

heißt Eigenwertproblem, wobei die Konstante ${\displaystyle \lambda }$ (der Eigenwert) und die Unbekannte ${\displaystyle x\neq 0}$ (der Eigenvektor) gemeinsam gesucht werden. Eigenwertprobleme besitzen vielfältige Anwendungen in der linearen Algebra, beispielsweise bei der Analyse und Zerlegung von Matrizen, und in Anwendungsgebieten, beispielsweise der Strukturmechanik und der Quantenmechanik.

Einteilung nach Linearität

Lineare Gleichungen

→ Hauptartikel: Lineare Gleichung und Lineares Gleichungssystem

Eine Gleichung heißt linear, wenn sie in die Form

${\displaystyle T\left(x\right)=a}$

gebracht werden kann, wobei der Term ${\displaystyle a}$ unabhängig von ${\displaystyle x}$ ist und der Term ${\displaystyle T(x)}$ linear in ${\displaystyle x}$ ist, also

${\displaystyle T\left(\lambda x+\mu y\right)=\lambda T\left(x\right)+\mu T\left(y\right)}$

für alle Koeffizienten ${\displaystyle \lambda ,\mu }$ gilt. Sinnvollerweise müssen die passenden Operationen definiert sein, es ist also notwendig, dass ${\displaystyle T(x)}$ und ${\displaystyle a}$ aus einem Vektorraum ${\displaystyle V}$ sind, und die Lösung ${\displaystyle x}$ aus dem gleichen oder einem anderen Vektorraum ${\displaystyle W}$ gesucht wird.

Lineare Gleichungen sind normalerweise wesentlich einfacher zu lösen als nichtlineare. So gilt für lineare Gleichungen das Superpositionsprinzip: Die allgemeine Lösung einer inhomogenen Gleichung ist die Summe einer Partikulärlösung der inhomogenen Gleichung und der allgemeinen Lösung der zugehörigen homogenen Gleichung.

Wegen der Linearität ist zumindest ${\displaystyle x=0}$ eine Lösung einer homogenen linearen Gleichung. Hat eine homogene Gleichung also eine eindeutige Lösung, so hat auch eine entsprechende inhomogene Gleichung höchstens eine Lösung. Eine verwandte, aber wesentlich tiefer gehende Aussage in der Funktionalanalysis ist die Fredholmsche Alternative.

Nichtlineare Gleichungen

Nichtlineare Gleichungen werden oft nach der Art der Nichtlinearität unterschieden. Insbesondere in der Schulmathematik werden die nachfolgenden Grundtypen von nichtlinearen Gleichungen behandelt.

Algebraische Gleichungen

→ Hauptartikel: Algebraische Gleichung

Handelt es sich bei dem Gleichungsterm um ein Polynom, spricht man von einer algebraischen Gleichung. Ist dabei das Polynom mindestens vom Grad zwei, so bezeichnet man die Gleichung als nichtlinear. Beispiele sind allgemeine quadratische Gleichungen der Form

${\displaystyle ax^{2}+bx+c=0}$

oder kubische Gleichungen der Form

${\displaystyle ax^{3}+bx^{2}+cx+d=0}$.

Für Polynomgleichungen bis zum Grad vier gibt es allgemeine Lösungsformeln.

Bruchgleichungen

→ Hauptartikel: Bruchgleichung

Enthält eine Gleichung einen Bruchterm, bei dem die Unbekannte zumindest im Nenner vorkommt, spricht man von einer Bruchgleichung, zum Beispiel

${\displaystyle {\frac {x+2}{x^{2}+3}}={\frac {2}{x+1}}}$.

Durch Multiplikation mit dem Hauptnenner, im Beispiel ${\displaystyle (x^{2}+3)(x+1)}$, lassen sich Bruchgleichungen auf algebraische Gleichungen zurückführen. Eine solche Multiplikation ist im Regelfall keine Äquivalenzumformung und es muss eine Fallunterscheidung vorgenommen werden, im Beispiel ist ${\displaystyle x=-1}$ nicht im Definitionsbereich der Bruchgleichung enthalten.

Wurzelgleichungen

→ Hauptartikel: Wurzelgleichung

Bei Wurzelgleichungen steht die Unbekannte mindestens einmal unter einer Wurzel, beispielsweise

${\displaystyle {\sqrt {x}}=1-x}$.

Wurzelgleichungen sind spezielle Potenzgleichungen mit Exponent ${\displaystyle {\tfrac {1}{n}}}$. Wurzelgleichungen lassen sich lösen, indem eine Wurzel isoliert wird und dann die Gleichung mit dem Wurzelexponenten ${\displaystyle n}$ (im Beispiel ist ${\displaystyle n=2}$) potenziert wird. Dieses Vorgehen wird wiederholt, bis keine Wurzel mehr in der Gleichung steht. Potenzieren mit geradzahligem Exponenten stellt keine Äquivalenzumformung dar und daher ist in diesen Fällen bei der Ermittlung der Lösung eine entsprechende Fallunterscheidung vorzunehmen. Im Beispiel führt Quadrieren zu der quadratischen Gleichung ${\displaystyle x=(1-x)^{2}}$, deren negative Lösung nicht im Definitionsbereich der Ausgangsgleichung liegt.

Exponentialgleichungen

Bei Exponentialgleichungen steht die Unbekannte mindestens einmal im Exponenten, zum Beispiel:

${\displaystyle 2^{3x+2}=4^{x+1}}$

Exponentialgleichungen lassen sich durch Logarithmieren lösen. Umgekehrt sind Logarithmusgleichungen - also Gleichungen, bei denen die Unbekannte als Numerus (Argument einer Logarithmusfunktion) auftritt - durch Exponenzieren lösbar.

Trigonometrische Gleichungen

→ Hauptartikel: Trigonometrische Gleichung

Treten die Unbekannten als Argument mindestens einer Winkelfunktion auf, so spricht man von einer trigonometrischen Gleichung, beispielsweise

${\displaystyle \sin(x)=\cos(x)}$.

Die Lösungen trigonometrischer Gleichungen wiederholen sich im Allgemeinen periodisch, sofern die Lösungsmenge nicht auf ein bestimmtes Intervall, etwa ${\displaystyle [0,2\pi )}$, beschränkt wird. Alternativ können die Lösungen durch eine ganzzahlige Variable ${\displaystyle k}$ parametrisiert werden. Beispielsweise sind die Lösungen der obigen Gleichung gegeben als

${\displaystyle x={\frac {\pi }{4}}+\pi k}$   mit   ${\displaystyle k\in \mathbb {Z} }$.

Einteilung nach gesuchten Unbekannten

Diophantische Gleichungen

→ Hauptartikel: Diophantische Gleichung

Sucht man ganzzahlige Lösungen einer skalaren Gleichung mit ganzzahligen Koeffizienten, so spricht man von einer Diophantischen Gleichung. Ein Beispiel einer kubischen Diophantischen Gleichung ist

${\displaystyle 2x^{3}-x^{2}-8x=-4}$,

bei der ganzzahlige ${\displaystyle x}$ gesucht werden, welche die Gleichung erfüllen, hier die Zahlen ${\displaystyle x=\pm 2}$.

Differenzengleichungen

→ Hauptartikel: Differenzengleichung

Ist die Unbekannte eine Folge, so spricht man von einer Differenzengleichung. Ein bekanntes Beispiel einer linearen Differenzengleichung zweiter Ordnung ist

${\displaystyle x_{n}-x_{n-1}-x_{n-2}=0}$,

deren Lösung für Startwerte ${\displaystyle x_{0}=0}$ und ${\displaystyle x_{1}=1}$ die Fibonacci-Folge ${\displaystyle 1,1,2,3,5,8,13,\ldots }$ ist.

Funktionalgleichungen

→ Hauptartikel: Funktionalgleichung

Ist die Unbekannte der Gleichung eine Funktion, die ohne Ableitungen auftritt, so spricht man von einer Funktionalgleichung. Ein Beispiel für eine Funktionalgleichung ist

${\displaystyle f(x+y)=f(x)f(y)}$,

deren Lösungen gerade die Exponentialfunktionen ${\displaystyle f(x)=a^{x}}$ sind.

Differentialgleichungen

→ Hauptartikel: Differentialgleichung

Wird in der Gleichung eine Funktion gesucht, die mit Ableitungen auftritt, so spricht man von einer Differentialgleichung. Differentialgleichungen treten bei der Modellierung von naturwissenschaftlichen Problemen sehr häufig auf. Die höchste auftretende Ableitung wird dabei Ordnung der Differentialgleichung genannt. Man unterscheidet:

• gewöhnliche Differentialgleichungen, bei denen nur Ableitungen nach einer einzigen Variablen auftreten, zum Beispiel die lineare gewöhnliche Differentialgleichung erster Ordnung

${\displaystyle f'(x)+xf(x)=0}$

• partielle Differentialgleichungen, bei denen partielle Ableitungen nach mehreren Variablen auftreten, zum Beispiel die lineare Transportgleichung erster Ordnung

${\displaystyle {\frac {\partial f(x,t)}{\partial t}}+{\frac {\partial f(x,t)}{\partial x}}=0}$

• differential-algebraische Gleichungen, bei denen Differentialgleichungen und Gleichungen ohne Ableitung gemeinsam auftreten, beispielsweise die Euler-Lagrange-Gleichungen für ein mathematisches Pendel

${\displaystyle {\begin{aligned}{\ddot {x}}_{1}&=2x_{1}\lambda \\{\ddot {x}}_{2}&=2x_{2}\lambda -1\\0&=x_{1}^{2}+x_{2}^{2}-1\end{aligned}}}$

• stochastische Differentialgleichungen, bei denen neben deterministischen auch stochastische Ableitungsterme vorkommen, beispielsweise die Black-Scholes-Gleichung der Finanzmathematik zur Modellierung von Wertpapierkursen

${\displaystyle {\rm {d}}S_{t}=rS_{t}{\rm {d}}t+\sigma S_{t}{\rm {d}}W_{t}}$

Integralgleichungen

→ Hauptartikel: Integralgleichung

Tritt die gesuchte Funktion in einem Integral auf, so spricht man von einer Integralgleichung. Ein Beispiel einer linearen Integralgleichung 1. Art ist

${\displaystyle \int _{0}^{x}(x-t)f(t)~\mathrm {d} t=x^{3}}$.

Gleichungsketten

Bei einer Gleichungskette sind mehrere Terme durch Gleichheitszeichen miteinander verbunden. Formal hat eine Gleichungskette die Form

${\displaystyle T_{1}=T_{2}=\cdots =T_{n}}$.

Eine Gleichungskette ist genau dann erfüllt, wenn alle Einzelgleichungen erfüllt sind, das heißt, wenn ${\displaystyle T_{1}=T_{2}}$, ${\displaystyle T_{2}=T_{3}}$ etc. gilt. Beispielsweise ist die Gleichungskette

${\displaystyle 17+3=20=10+7}$

falsch, weil die Einzelgleichung ${\displaystyle 20=10+7}$ falsch ist. Wahr ist dagegen zum Beispiel

${\displaystyle 17+3=20=10+10}$.

Gleichungsketten sind insbesondere wegen der Transitivität der Gleichheitsrelation sinnvoll interpretierbar. Gleichungen werden oft auch mit Ungleichungen aneinandergereiht, so gilt beispielsweise für ${\displaystyle n\geq 3}$

${\displaystyle 2n^{2}=n^{2}+n^{2}\geq n^{2}+3n>n^{2}+2n+1=(n+1)^{2}}$.

Gleichungssysteme

Bei einem Gleichungssystem sind mehrere Gleichungen gegeben, in denen typischerweise auch mehrere Unbekannte vorkommen. Gesucht sind dann häufig die Lösungen des Gleichungssystems, also konkrete Werte für die Unbekannten, so dass alle Gleichungen zugleich erfüllt sind.

Lineare Gleichungssysteme

→ Hauptartikel: Lineares Gleichungssystem

Sind alle Gleichungen eines Gleichungssystems linear, so spricht man von einem linearen Gleichungssystem. Beispielsweise ist

${\displaystyle {\begin{aligned}x+y+z&=5\\2x-z&=13\end{aligned}}}$

ein lineares Gleichungssystem, bestehend aus zwei Gleichungen und drei Unbekannten ${\displaystyle x,y}$ und ${\displaystyle z}$. Fasst man die Koeffizienten zu einer Koeffizientenmatrix ${\displaystyle A}$ zusammen, die Unbekannten zu einem Vektor ${\displaystyle {\vec {x}}}$ und die Zahlen der rechten Seiten zu einem Vektor ${\displaystyle {\vec {b}}}$ (rechte Seite) zusammen, so lässt sich ein Gleichungssystem auch als eine einzelne Vektorgleichung

${\displaystyle A\cdot {\vec {x}}={\vec {b}}}$

auffassen, wobei ${\displaystyle (\cdot )}$ das Matrix-Vektor-Produkt ist. In obigem Beispiel sind

${\displaystyle A={\begin{pmatrix}1&1&1\\2&0&-1\end{pmatrix}}}$,   ${\displaystyle {\vec {x}}={\begin{pmatrix}x\\y\\z\end{pmatrix}}}$   und   ${\displaystyle {\vec {b}}={\begin{pmatrix}5\\13\end{pmatrix}}}$.

Die lineare Algebra stellt allgemeine Verfahren zur Lösung von linearen Gleichungssystemen bereit.

Nichtlineare Gleichungssysteme

Gleichungssysteme, deren Gleichungen nicht alle linear sind, werden nichtlineare Gleichungssysteme genannt. Beispielsweise ist

${\displaystyle \left\{{\begin{array}{rcl}3x^{2}+2xy&=&1\\\sin(x)\cdot \ln(y)&=&e^{x}\end{array}}\right.}$

ein nichtlineares Gleichungssystem mit den Unbekannten ${\displaystyle x}$ und ${\displaystyle y}$. Für solche Gleichungssysteme gibt es keine allgemeingültigen Lösungsverfahren. Oftmals hat man nur die Möglichkeit, näherungsweise Lösungen mit Hilfe numerischer Verfahren zu bestimmen. Ein mächtiges Näherungsverfahren ist beispielsweise das Newton-Verfahren.

Eine Faustregel besagt, dass gleich viele Gleichungen wie Unbekannte benötigt werden, damit ein Gleichungssystem eindeutig lösbar ist. Das ist aber tatsächlich nur eine Faustregel, bis zu einem gewissen Grad gilt sie wegen des Hauptsatzes über implizite Funktionen für reelle Gleichungen mit reellen Unbekannten.

Lösen von Gleichungen

→ Hauptartikel: Lösen von Gleichungen

Analytische Lösung

Unter einer analytischen Lösung versteht man eine allgemeine Umformung einer Gleichung, sodass die gesuchte Variable alleine auf einer Gleichungsseite steht und die Lösung exakt ermittelt werden kann. Wichtigstes Hilfsmittel dabei sind Äquivalenzumformungen, durch die eine Gleichung schrittweise in andere äquivalente Gleichungen (die also dieselbe Lösungsmenge haben) umgeformt wird. Eine analytische Lösung ist nur bei speziellen Gleichungen möglich.

Numerische Lösung

Viele Gleichungen, insbesondere aus naturwissenschaftlichen Anwendungen, können nicht analytisch gelöst werden. In diesem Fall versucht man mithilfe eines Computers, näherungsweise eine numerische Lösung zu berechnen. Solche Verfahren werden in der numerischen Mathematik behandelt. Viele nichtlineare Gleichungen lassen sich approximativ lösen, indem die in der Gleichung auftretenden Nichtlinearitäten linear angenähert und dann die entstehenden linearen Probleme gelöst werden (beispielsweise im Newton-Verfahren). Für andere Problemklassen, etwa bei der Lösung von Gleichungen in unendlich-dimensionalen Räumen, wird die Lösung in geeignet gewählten endlich-dimensionalen Unterräumen gesucht (beispielsweise in der Galerkin-Methode).

Qualitative Analyse

Auch wenn eine Gleichung nicht analytisch gelöst werden kann, ist es dennoch oft möglich, mathematische Aussagen über die Lösung zu treffen. Insbesondere interessieren Fragestellungen, ob eine Lösung überhaupt existiert, ob sie eindeutig ist, und ob sie stetig von den Parametern der Gleichung abhängt. Ist dies der Fall spricht man von einem korrekt gestellten Problem. Eine qualitative Analyse ist auch bzw. gerade bei der numerischen Lösung einer Gleichung wichtig, damit sichergestellt ist, dass die numerische Lösung tatsächlich eine Näherungslösung der Gleichung liefert.

Siehe auch

• Gleichungsarten ökonomischer Modelle
• Zugeschnittene Größengleichung