Quelltext der Seite Kurvendiskussion

[[Datei:Funktionsgraph delle1.svg|mini|hochkant=1.25|'''Abb. 1:''' Plot der Funktion ''f'' im Ausschnitt:<br/>  −1 < ''x'' < 5,<br/> 0 < ''y'' < 12]]
[[Datei:Funktionsgraph delle2.svg|mini|hochkant=1.25|'''Abb. 2:''' Plot der Funktion ''f'' im Ausschnitt:<br/>  1,995 < ''x'' < 2,005,<br/> 1,999999999995 < ''y'' < 2,000000000005]]

Unter '''Kurvendiskussion''' versteht man in der [[Mathematik]] die Untersuchung des [[Funktionsgraph|Graphen]] einer [[Funktion (Mathematik)|Funktion]] auf dessen geometrische Eigenschaften, wie zum Beispiel Schnittpunkte mit den Koordinatenachsen, [[Extremwert|Hoch- und Tiefpunkte]], [[Wendepunkt]]e, gegebenenfalls [[Sattelpunkt|Sattel-]] und [[Flachpunkt]]e, [[Asymptote]]n, Verhalten im [[Unendlich]]en usw. Diese Informationen erlauben es, eine [[Skizze]] des Graphen anzufertigen, aus der all diese für die Funktion charakteristischen Eigenschaften unmittelbar ablesbar sind.

Es ist heute hingegen ''nicht'' mehr das Ziel einer Kurvendiskussion, den Menschen dabei zu unterstützen, eine möglichst genaue Zeichnung des Graphen der Funktion zu produzieren: das kann inzwischen jeder [[Funktionenplotter|Funktionsplotter]] (etwa ein [[grafikfähiger Taschenrechner]], ein [[Smartphone]] mit entsprechender Software, ein [[Tabellenkalkulation]]sprogramm oder [[Computeralgebrasystem|Computeralgebra-Software]]) besser.

Ziel der Kurvendiskussion ist vielmehr,
* die Koordinaten der charakteristischen Punkte des Graphen ''exakt'' zu bestimmen (aus einem Funktionsplot lassen sich lediglich ungefähre Werte ablesen);
* charakteristische Eigenschaften wie Symmetrie oder Verhalten im Unendlichen zu ''beweisen''. Aus einem Funktionsplot kann man immer nur Aussagen über den abgebildeten Ausschnitt des Koordinatensystems ablesen, z.&nbsp;B. für den Bereich <math>-6 \leq x \leq 6</math>, <math>-4 \leq y \leq 10</math>. Ob der Graph einer Funktion aber z.&nbsp;B. bei <math>x=10.000</math> noch einmal einen „Schlenker“ macht oder nicht, darüber kann nur auf der Grundlage einer Kurvendiskussion eine zuverlässige Aussage getroffen werden.
* ''genauer'' hinzusehen: ein augenscheinliches globales Minimum kann sich – bei entsprechender Vergrößerung – als ein lokales Maximum herausstellen. Man vergleiche etwa die beiden Plots der Funktion
:<math> f(x) = 2 \cdot (x-2)^4 - 0{,}000005 \cdot (x-2)^2 + 2 </math>
: in Abbildung 1 bzw. Abbildung 2. Eine Kurvendiskussion deckt solche Phänomene stets auf, ob sie sich im Molekülbereich oder in astronomischen Dimensionen abspielen: weil eine Kurvendiskussion nicht – wie ein Funktionsplot – von der Auflösung abhängt.

Zudem lässt sich eine Kurvendiskussion auch ganz ähnlich bei Funktionen durchführen, die von vielen Variablen abhängen (also z.&nbsp;B. von <math>x_1</math>, <math>x_2</math> und <math>x_3</math> anstelle von nur <math>x</math>). Eine Visualisierung einer derartigen Funktion mit mehr als zwei Variablen ist nicht mehr einfach möglich.

Die Bedeutung der Kurvendiskussion wird auch deutlich vor dem Hintergrund, dass in [[Entscheidungsunterstützungssystem|entscheidungsunterstützenden Systemen]] Hoch- bzw. Tiefpunkte ''automatisch'', d.&nbsp;h. ohne Benutzerinteraktion, zu berechnen sind. Soll beispielsweise die Auswirkung der Veränderung einer Randbedingung auf die zu [[Optimierung (Mathematik)|optimierende]] Größe untersucht werden, so würde solch ein System den jeweiligen Extremwert anzeigen bzw. grafisch visualisieren, während ein Wert, der die Randbedingung beschreibt (etwa die Höhe einer Ressource), variiert wird.

== Definitionsbereich ==
Bei einer Kurvendiskussion wird fast immer die Menge <math>\R</math> aller [[Reelle Zahl|reellen Zahlen]] als [[Grundmenge]] vorausgesetzt. Der maximale [[Definitionsmenge|Definitionsbereich]] einer Funktion <math>f</math> ist also die [[Menge (Mathematik)|Menge]] aller reellen Zahlen <math>x</math>, für welche die Funktion definiert ist. Für [[ganzrationale Funktion]]en (Polynomfunktionen) ist der maximale Definitionsbereich gleich <math>\R</math>. Bei [[Gebrochenrationale Funktion|gebrochenrationalen Funktionen]] gehören alle reellen Zahlen mit Ausnahme der Nullstellen des Nenners zum maximalen Definitionsbereich.

Beispiele:

* <math>f(x) = \frac{1}{x(x-3)}; \quad D = \R \setminus \{0;3\}</math>
Der Nenner des [[Bruchrechnung|Bruchs]] darf nicht gleich 0 sein. Daher sind die <math>x</math>-Werte 0 und 3 ausgeschlossen.
* <math>f(x) = \sqrt{25-x^2}; \quad D = \{ x \in \R | -5 \le x \le 5 \} = [-5;5]</math>
Der Radikand, also der Rechenausdruck unter der [[Quadratwurzel]], muss größer oder gleich 0 sein. Diese Bedingung ist genau für die Zahlen erfüllt, deren [[Betragsfunktion|Betrag]] kleiner oder gleich 5 ist.
* <math>f(x) = \ln(x+4); \quad D = \{ x \in \R | x > -4 \} = \left]-4;\infty\right[</math>
Die natürliche [[Logarithmus]]funktion <math>\ln</math> ist nur für positive Argumente definiert. Also muss <math>x > -4</math> gelten.

== Schnittpunkte mit den Koordinatenachsen ==
Die Schnittpunkte des Graphen von <math>f</math> mit der <math>x</math>-Achse sind die Nullstellen von <math>f</math>. Um diese zu finden, wird die [[Lösungsmenge]] der [[Gleichung]] <math>f(x) = 0</math> bestimmt. Die genaue Vorgehensweise hängt davon ab, welche Funktion untersucht wird. Ist <math>f</math> beispielsweise eine quadratische Funktion, so muss eine [[quadratische Gleichung]] gelöst werden, etwa durch [[quadratische Ergänzung]] oder mithilfe einer Lösungsformel.

Um den Schnittpunkt des Funktionsgraphen mit der <math>y</math>-Achse zu bestimmen, wird in der Funktionsgleichung für <math>x</math> der Wert 0 eingesetzt. Der [[y-Achsenabschnitt]] liegt dann folglich bei <math>(0 | f(0))</math>.

== Symmetrieeigenschaften ==
Bei der Beantwortung der Frage, ob der Graph der gegebenen Funktion in irgendeiner Weise [[Symmetrie (Geometrie)|symmetrisch]] ist, müssen mehrere Fälle berücksichtigt werden.

=== Achsensymmetrie bezüglich der ''y''-Achse ===
* Der Graph einer Funktion <math>f</math> ist genau dann achsensymmetrisch bezüglich der <math>y</math>-Achse, wenn für beliebige <math>x</math>-Werte des Definitionsbereiches gilt:
:<math>f(-x) = f(x)</math>
Bei ganzrationalen Funktionen bedeutet diese Bedingung, dass nur gerade Exponenten auftreten.

=== Punktsymmetrie bezüglich des Ursprungs ===
* Der Graph einer Funktion <math>f</math> ist genau dann [[Punktsymmetrische Funktion|punktsymmetrisch]] bezüglich des Ursprungs, wenn für beliebige <math>x</math>-Werte des Definitionsbereiches gilt:
:<math>f(-x) = -f(x)</math>
Der Graph einer ganzrationalen Funktion ist genau dann punktsymmetrisch bezüglich des Ursprungs, wenn nur ungerade Exponenten vorkommen.

=== Achsensymmetrie bezüglich einer beliebigen Achse ===
* Achsensymmetrie in Bezug auf die Gerade mit der Gleichung <math>x = x_0</math> (parallel zur <math>y</math>-Achse) lässt sich überprüfen mithilfe der Bedingung
:<math>f(x_0-h) = f(x_0+h).</math>
Achsensymmetrisch sind unter anderem die Graphen der [[Quadratische Funktion|quadratischen Funktionen]]. Die Symmetrieachse ergibt sich in diesem Fall aus der <math>x</math>-Koordinate des ([[Parabel (Mathematik)|Parabel]]-)Scheitels.

=== Punktsymmetrie bezüglich eines beliebigen Zentrums ===
* Die Bedingung für Punktsymmetrie bezüglich des Punktes <math>(x_0|y_0)</math> lautet
:<math>f(x_0-h) + f(x_0+h) = 2 y_0</math>
oder (äquivalent)
:<math>f(x_0+h) - y_0 = y_0 - f(x_0-h).</math>
Die Graphen aller [[Kubische Funktion|kubischen Funktionen]] sind punktsymmetrisch. Symmetriezentrum ist jeweils der (einzige) Wendepunkt (siehe unten).

== Extrempunkte ==
{{Hauptartikel|Extrempunkt}}

Um die Extrempunkte – das heißt Hoch- und Tiefpunkte – einer stetig differenzierbaren Funktion <math>f</math> zu bestimmen, wird die erste [[Differentialrechnung|Ableitung]] von <math>f</math> gleich 0 gesetzt und die dadurch entstehende Gleichung <math>f'(x) = 0</math> aufgelöst. Alle Lösungen dieser Gleichung sind mögliche sogenannte ''Extremstellen''.

Die Bedingung <math>f'(x) = 0</math> ist allerdings nur eine [[Notwendige und hinreichende Bedingung|notwendige]] Bedingung für Extremstellen.
Eine Stelle mit der Steigung 0 könnte auch ein [[Sattelpunkt]] sein. Das Standardbeispiel ist <math>f(x)=x^3</math> an der Stelle 0. Obwohl <math>f'(0) = 0</math> gilt, ist der Punkt <math>(0|0)</math> kein Extrempunkt, sondern ein Sattelpunkt.

Zum Nachweis der Extrempunkteigenschaft benötigt man daher eine der weiter unten genannten [[Notwendige und hinreichende Bedingung|hinreichenden]] Bedingungen.

=== Notwendige Bedingung ===
Es leuchtet anschaulich ein, dass die [[Tangente]] an einen Funktionsgraphen in einem Extrempunkt parallel zur <math>x</math>-Achse verlaufen muss. Die [[Steigung]] einer solchen Tangente muss also den Wert 0 haben. Präziser gilt:

*<math>f</math> sei eine reelle Funktion, die auf einem [[Intervall (Mathematik)|offenen Intervall]] <math>I</math> definiert und an der Stelle <math>x_0</math> (mit <math>x_0 \in I</math>) differenzierbar ist. Nimmt <math>f</math> an der Stelle <math>x_0</math> ein relatives Extremum (also ein relatives Maximum oder Minimum) an, so gilt <math>f'\,(x_0) = 0</math>.

Am Rand des Definitionsbereichs und an Stellen, an denen die gegebene Funktion nicht differenzierbar ist, sind die Voraussetzungen dieser Bedingung nicht erfüllt. Relative Extrema an solchen Stellen lassen sich also im Allgemeinen nicht durch Nullsetzen der Ableitung bestimmen.

=== Hinreichende Bedingung: Wert der zweiten Ableitung ===
Die folgende [[Notwendige und hinreichende Bedingung|hinreichende Bedingung]] bietet oft eine bequeme Möglichkeit, den Nachweis für ein relatives Extremum zu führen und zugleich die Art (Maximum oder Minimum) zu bestimmen. Da auch die zweite Ableitung benötigt wird, spricht man gelegentlich vom <math>f''</math>-Test.

* <math>f</math> sei eine reelle Funktion, die in einem offenen Intervall <math>I</math> definiert und zweimal differenzierbar ist.

Gilt an einer Stelle <math>x_0 \in I</math> zugleich
# <math>f '(x_0) = 0</math> und
# <math>f ''(x_0) > 0</math>,
so hat <math>f</math> an dieser Stelle ein relatives Minimum.

Gilt dagegen zugleich
# <math>f '(x_0) = 0</math> und
# <math>f ''(x_0) < 0</math>,
so hat <math>f</math> an dieser Stelle ein relatives Maximum.

Beispiel:
:<math>\begin{align}
f(x) & = -x^2 + 8x\\
f'(x) & = -2x + 8\\
f''(x) & = -2
\end{align}</math>

Durch Nullsetzen der ersten Ableitung (<math>-2x+8 = 0</math>) erhält man <math>x = 4</math>. Einsetzen in die zweite Ableitung ergibt <math>f''(4) = -2 < 0</math> (Bedingung für ein relatives Maximum). Der Graph von <math>f</math> hat also genau einen Extrempunkt, nämlich einen Hochpunkt mit der <math>x</math>-Koordinate 4.

Gelegentlich gilt sowohl <math>f'(x_0) = 0</math> als auch <math>f''(x_0) = 0</math>. In diesem Fall sind weitere Untersuchungen nötig, um zu entscheiden, ob eine Extremstelle vorliegt oder nicht. Das bedeutet konkret, dass solange abgeleitet werden muss, bis eine Ableitung gerader Ordnung – vierter, sechster, … Ordnung – vorliegt, die an dieser Stelle ungleich 0 ist.

Das einfachste Beispiel ist <math>f(x) = x^4</math>. Die ersten drei Ableitungen an der Stelle <math>x_0 = 0</math>, also <math>f'(0)</math>, <math>f''(0)</math> und <math>f'''(0)</math> haben jeweils den Wert 0. Erst die vierte Ableitung <math>f^{(4)}(x) = 24</math> ermöglicht wegen <math>f^{(4)}(0) = 24 \ne 0</math> den Nachweis des Extremums. Das positive [[Vorzeichen (Zahl)|Vorzeichen]] lässt erkennen, dass sich an der Stelle <math>x_0=0</math> ein relatives Minimum befindet.

In seltenen Fällen versagt auch dieses allgemeinere Kriterium, nämlich dann, wenn alle Ableitungen an der Stelle <math>x_0</math> gleich 0 sind.

=== Hinreichende Bedingung: Vorzeichen der ersten Ableitung ===
Ein weiteres Verfahren zum Nachweis der Extrempunkteigenschaft kommt ohne die Berechnung der zweiten Ableitung aus. Es wird untersucht, ob die erste Ableitung <math>f'(x)</math> an der betrachteten Stelle <math>x_0</math> ihr Vorzeichen wechselt. Diese Methode, gelegentlich als [[Vorzeichenwechsel]]-Verfahren (VZW-Verfahren) bezeichnet, lässt sich folgendermaßen anschaulich deuten:

Durchläuft man den Funktionsgraphen in der Umgebung eines Hochpunkts von links nach rechts, so lässt sich das Aussehen dieser Kurve wie folgt beschreiben:

# Links vom Hochpunkt steigt der Funktionsgraph an. Die Steigung ist positiv.
# Im Hochpunkt selbst verläuft die Tangente waagerecht. Die Steigung ist 0.
# Rechts vom Hochpunkt fällt der Funktionsgraph. Die Steigung ist negativ.

Entsprechendes, nur umgekehrt, gilt für Tiefpunkte.

* <math>f</math> sei eine reelle Funktion, die in einem offenen Intervall <math>I</math> definiert und differenzierbar ist.

Gilt an einer Stelle <math>x_0 \in I</math> zugleich
# <math>f'(x_0) = 0</math>,
# <math>f'(x) < 0</math> für <math>x < x_0, \, x \in I</math> und
# <math>f'(x) > 0</math> für <math>x > x_0, \, x \in I</math>,
so hat <math>f</math> an dieser Stelle ein relatives Minimum.

Gilt an einer Stelle <math>x_0 \in I</math> zugleich
# <math>f'(x_0) = 0</math>,
# <math>f'(x) > 0</math> für <math>x < x_0, \, x \in I</math> und
# <math>f'(x) < 0</math> für <math>x > x_0, \, x \in I</math>,
so hat <math>f</math> an dieser Stelle ein relatives Maximum.

Beispiel:

:<math>f(x) = x^4</math>
:<math>f'(x) = 4x^3</math>

Nullsetzen der Ableitung (<math>4x^3 = 0</math>) liefert als Stelle mit waagerechter Tangente und damit als Kandidaten für eine Extremstelle <math>x = 0</math>. Beim VZW-Test betrachtet man <math>x</math>-Werte, die kleiner bzw. größer als 0 sind.
:<math>f'(x) = 4x^3 < 0</math> für <math>x < 0</math>
:<math>f'(x) = 4x^3 > 0</math> für <math>x > 0</math>
zeigt, dass ein Tiefpunkt vorliegt.

Ein Problem des VZW-Tests besteht darin, dass das Vorzeichen der Ableitung nicht nur für eine einzige Stelle ermittelt werden muss, sondern für ein ganzes Intervall. In der Schulmathematik bestimmt man daher oft nur für eine einzelne Stelle des Intervalls das Vorzeichen und schließt daraus, dass dieses Vorzeichen im ganzen Intervall gilt. Diese Vorgehensweise ist erlaubt, wenn die Funktion im Intervall <math>I</math> stetig differenzierbar ist und die Intervalllänge hinreichend klein ist.

Historische Randbemerkung: Die Bestimmung der Extrema aus der Tangentensteigung wurde erstmals von [[Fermat]] in einem Brief an [[Descartes]] vorgeschlagen – bevor es den Ableitungsbegriff gab.

== Wendepunkte ==
{{Hauptartikel|Wendepunkt}}

Als Wendepunkte bezeichnet man diejenigen Punkte, in denen der gegebene Funktionsgraph zwischen Links- und Rechtskrümmung wechselt. Die Art der [[Krümmung]] lässt sich – unter gewissen Voraussetzungen – am Vorzeichen der zweiten Ableitung <math>f''(x)</math> erkennen. Positives Vorzeichen lässt auf Linkskrümmung schließen, negatives Vorzeichen auf Rechtskrümmung. Beim Standardverfahren zur Bestimmung der Wendepunkte setzt man daher die zweite Ableitung gleich 0. Die Lösungen der Gleichung <math>f''(x) = 0</math> (siehe notwendige Bedingung) kommen als Wendestellen in Frage. Mit einer der unten aufgeführten hinreichenden Bedingungen weist man anschließend nach, dass tatsächlich ein Wendepunkt vorliegt.

=== Notwendige Bedingung ===
* <math>f</math> sei eine reelle Funktion, die in einem offenen Intervall <math>I</math> definiert und zweimal stetig differenzierbar ist. Hat der Graph von <math>f</math> an der Stelle <math>x_0 \in I</math> einen Wendepunkt, so gilt
: <math>f''(x_0) = 0.</math>

=== Hinreichende Bedingung: Wert der dritten Ableitung ===
Die zuletzt genannte Bedingung ist nicht hinreichend, sodass weitere Untersuchungen durchzuführen sind. Eine häufig zum Nachweis von Wendepunkten verwendete hinreichende Bedingung beruht auf der dritten Ableitung:

* <math>f</math> sei eine reelle Funktion, die in einem offenen Intervall <math>I</math> definiert und dreimal differenzierbar ist. Gilt an einer Stelle <math>x_0 \in I</math> zugleich
# <math>f''(x_0) = 0</math> und
# <math>f'''(x_0) \ne 0,</math>
so hat der Graph von <math>f</math> an der Stelle <math>x_0</math> eine Wendestelle.

=== Hinreichende Bedingung: Vorzeichen der zweiten Ableitung ===
Ist an der Stelle <math>x_0</math> neben der zweiten Ableitung auch die dritte Ableitung gleich 0, so versagt das zuletzt genannte Kriterium. In diesem Fall untersucht man, ob die zweite Ableitung bei <math>x_0</math> das Vorzeichen wechselt. Zu diesem Zweck wählt man sich einen Wert kleiner und einen größer als die [[Nullstelle]] der zweiten Ableitung (also der <math>x</math>-Koordinate des Wendepunktes). Diese beiden Werte werden in die zweite Ableitung eingesetzt. Unterscheiden sich die Vorzeichen der Werte der zweiten Ableitung an diesen Stellen, so liegt ein
Wendepunkt vor.
Wechselt das Vorzeichen von Minus nach Plus, so handelt es sich um eine Wendestelle mit einem Übergang von einer Rechts- in eine Linkskrümmung. Wechselt das Vorzeichen
von Plus nach Minus, so handelt es sich um eine Wendestelle mit einem Übergang von einer Links- in eine Rechtskrümmung.

* <math>f</math> sei eine reelle Funktion, die im offenen Intervall <math>I</math> definiert und zweimal differenzierbar ist. Gilt an der Stelle <math>x_0 \in I</math> zugleich
# <math>f''(x_0) = 0</math>,
# <math>f''(x) < 0</math> für <math>x < x_0</math>, <math>x \in I</math> und
# <math>f''(x) > 0</math> für <math>x > x_0</math>, <math>x \in I</math>
oder zugleich
# <math>f''(x_0) = 0</math>,
# <math>f''(x) > 0</math> für <math>x < x_0</math>, <math>x \in I</math> und
# <math>f''(x) < 0</math> für <math>x > x_0</math>, <math>x \in I</math>,
so hat der Graph von <math>f</math> an der Stelle <math>x_0</math> eine Wendestelle.

=== Spezialfall: Sattelpunkte ===
Einen Wendepunkt mit zugleich waagerechter Tangente nennt man einen ''Sattelpunkt'' oder ''Terrassenpunkt''. Für ihn gilt demnach <math>f'(x)=0</math> und <math>f''(x) = 0</math>, wie im Beispiel der Funktion mit der Gleichung

:<math> f(x) = {x^3} </math>

an der Stelle <math>x = 0</math>.

[[Datei:X hoch 3.svg|mini|links|400px|]]
<div style="clear:both;"></div>

Allerdings ist das kein hinreichendes Kriterium, es kann auch <math>f'(x)=0</math> und <math>f''(x) = 0</math> werden, ohne dass ein Sattelpunkt auftritt, wie im nachfolgenden Beispiel gezeigt wird:

:<math> f(x) = {x^4} </math>

[[Datei:X hoch 4.svg|mini|links|400px|]]
<div style="clear:both;"></div>

Erst wenn <math>f ''' \ne 0</math> ist, ist ein Sattelpunkt erwiesen; allgemeiner gilt: Es liegt ein Wendepunkt vor, wenn der Grad der ersten von 0 verschiedenen Ableitung ungerade ist; ist der Grad gerade, so handelt es sich um ein Extremum.
In Fällen wie
:<math> f(x) = {x^5} </math>
ist allerdings die dritte Ableitung unnütz, da auch diese an der Stelle 0 verschwindet. Hier hilft das Vorzeichenwechselkriterium weiter.

== Polstellen ==
Eine [[Polstelle]] liegt bei gebrochen-rationalen Funktionen genau dann an einer Stelle <math>p</math> vor, wenn das Nennerpolynom eine Nullstelle bei <math>p</math> hat und das Zählerpolynom eine Nullstelle einer niedrigeren Ordnung bei <math>p</math> oder keine Nullstelle bei <math>p</math> hat.

Haben sowohl das Zähler- als auch das Nennerpolynom bei <math>p</math> eine Nullstelle und ist die Ordnung der Nullstelle im Zählerpolynom ''nicht'' kleiner als die des Nennerpolynoms, handelt es sich um eine stetig behebbare [[Definitionslücke]].

In der Hochschulmathematik gibt es noch weitere Arten von nicht definierten Stellen, die weder hebbare Lücken noch Polstellen sind.

== Lücke ==
Im Falle von gebrochenrationalen Funktionen liegt an einer Stelle <math>x_0</math> eine stetig behebbare [[Definitionslücke]] vor, falls <math>x_0</math> nicht nur eine Nullstelle des Nenners, sondern auch eine Nullstelle des Zählers von mindestens gleich großem Grad ist. In diesem Fall lässt sich der zugehörige Linearfaktor <math>(x - x_0)</math> herauskürzen.

Beispiel: <math>\tfrac{x^2-4}{x-2}</math> hat an der Stelle <math>x = 2</math> eine behebbare Definitionslücke. Durch Kürzen des Faktors <math>(x-2)</math> entsteht:

:<math>\frac{x^2-4}{x-2} = \frac{(x+2) \cdot (x-2)}{x-2} = x+2</math> &nbsp; (für <math>x \ne 2</math>).

Eine andere Möglichkeit zu testen, ob an der Stelle <math>x_0</math> eine stetig behebbare Definitionslücke vorliegt, besteht darin, den Grenzwert <math>\lim_{x \rightarrow x_0} f(x)</math> zu berechnen. Wenn dieser [[Grenzwert (Funktion)|Limes]] existiert und endlich ist, liegt eine stetig behebbare Lücke vor.

== Verhalten im Unendlichen ==
Um das Verhalten im Unendlichen herauszufinden, wird der Funktionswert der Funktion <math>f(x)</math> untersucht, wenn <math>x</math> über alle Grenzen wächst, also gegen <math>\infty</math> geht:

<math>\lim_{x \to \infty}f(x) \;;</math>

Entsprechendes für <math>-\infty</math>.

== Übersicht über Kriterien ==
{|
|-
|colspan="3" style="font-size:14pt" | Diskutiert wird <math>f\colon x \mapsto f(x)</math>
|- style="background:#E0E0E0"
| '''Untersuchungsaspekt'''
|colspan="2" | '''Kriterium'''
|-
|style="background:lightblue" | '''Nullstelle'''
| <math>f(x_N) = 0 \,</math>
|-
|style="background:lightyellow" rowspan="2" | '''Extremstelle'''
| <math>f'(x_E) = 0 \,</math>
| (notwendiges Kriterium)
|-
| <math>f'(x_E) = 0 \land f''(x_E) \ne 0</math>
| (hinreichendes Kriterium)
|-
|style="background:lightyellow" rowspan="2" | Minimalstelle
| <math>f'(x_E) = 0 \,</math>
| (notwendiges Kriterium)
|-
| <math>f'(x_E) = 0 \land f''(x_E) > 0</math>
| (hinreichendes Kriterium)
|-
|style="background:lightyellow" rowspan="2" | Maximalstelle
| <math>f'(x_E) = 0 \,</math>
| (notwendiges Kriterium)
|-
| <math>f'(x_E) = 0 \land f''(x_E) < 0</math>
| (hinreichendes Kriterium)
|-
|style="background:lightblue" rowspan="2" | '''Wendestelle'''
| <math>f''(x_W) = 0 \,</math>
| (notwendiges Kriterium)
|-
| <math>f''(x_W) = 0 \land f'''(x_W) \ne 0</math>
| (hinreichendes Kriterium)
|-
|style="background:lightblue" rowspan="2" | Sattelstelle
| <math>f'(x_W) = 0 \land f''(x_W) = 0</math>
| (notwendiges Kriterium)
|-
| <math>f'(x_W) = 0 \land f''(x_W) = 0 \land f'''(x_W) \ne 0</math>
| (hinreichendes Kriterium)
|-
|style="background:lightyellow" | '''Verhalten im Unendlichen'''
| <math>\lim_{x \to \infty} f(x)</math>,
| <math>\lim_{x \to - \infty} f(x)</math>
|-
|style="background:lightblue" | '''Symmetrie'''
|-
|style="background:lightblue" | Achsensymmetrie zur Koordinatenachse
| <math>f(x)=f(-x) \,</math>
|-
|style="background:lightblue" | Punktsymmetrie zum Koordinatenursprung
| <math>-f(x)=f(-x) \,</math>
|-
|style="background:lightyellow" | '''Monotonie'''
|-
|style="background:lightyellow" | steigend/streng steigend
| <math>f'(x) \ge 0</math>
| <math>f'(x) > 0 \,</math>
|-
|style="background:lightyellow" | fallend/streng fallend
| <math>f'(x) \le 0</math>
| <math>\, f'(x) < 0 </math>
|-
|style="background:lightblue" | '''Krümmung'''
|-
|style="background:lightblue" | Linkskrümmung/Konvexbogen (nach oben offen)
| <math>f''(x) > 0 \,</math>
|-
|style="background:lightblue" | Rechtskrümmung/Konkavbogen (nach unten offen)
| <math>f''(x) < 0 \,</math>
|-
|style="background:lightyellow" | '''Periodizität'''
| <math>f(x+p) = f(x) \,</math>
|-
|colspan="3" style="font-size:14pt" | Diskutiert wird <math>f\colon x \mapsto \frac{p(x)}{q(x)}</math>
|- style="background:#E0E0E0"
| '''Untersuchungsaspekt'''
|colspan="2" | '''Kriterium'''
|-
|style="background:lightblue" | '''Definitionsbereich'''
| <math>\mathbb{D} = \mathbb{R} \setminus \lbrace x_0 \mid q(x_0) = 0 \rbrace</math>
|-
|style="background:lightyellow" rowspan="2" | '''Polstelle'''
| <math>q(x_p) = 0 \,</math>
| (notwendiges Kriterium)
|-
| <math>q(x_p) = 0 \land p(x_p) \ne 0</math>
| (hinreichendes Kriterium)
|}

== Beispiel: Ganzrationale Funktion ==
[[Datei:Kurvendiskussion.svg|420px|mini|Graphen der Funktionen ''f'' (schwarz), ''f ''<nowiki>'</nowiki> (rot) und ''f ''<nowiki>''</nowiki> (blau)]]

Die zu untersuchende Funktion sei:
:<math> f(x) = 3x^3-5x^2+8 </math>
Der Graph der Funktion <math>f</math> ist im Bild schwarz dargestellt, zudem sind die erste (rot) und zweite (blau) Ableitung eingetragen:

=== Nullstellen ===
Durch Ausprobieren (zum Beispiel durch Anfertigen einer [[Wertetabelle]]) oder gemäß der Folgerung mit dem Wissen nach [[Lemma von Gauß|Gauß]], dass jede ganzzahlige Nullstelle Teiler des absoluten Gliedes&nbsp;8 sein muss, lässt sich die Nullstelle <math>x = -1</math> finden. Gäbe es keine derart einfach erkennbare Nullstelle, so ließe sich die [[Cardanische Formeln|Formel von Cardano]] für Gleichungen 3.&nbsp;Grades oder das [[Newton-Verfahren|newtonsche Näherungsverfahren]] anwenden.

Zur Nullstelle <math>x = -1</math> gehört der Linearfaktor <math>(x - (-1)) = (x + 1)</math>. Um die weiteren Nullstellen zu finden, wird eine [[Polynomdivision]] durch diesen Linearfaktor durchgeführt und das Ergebnis gleich 0 gesetzt. Etwas schneller erhält man das Ergebnis mit dem [[Horner-Schema]]. Auf diese Weise reduziert sich der Grad der Gleichung um 1.

:<math>(3x^3 - 5x^2 + 8) : (x + 1) = 3x^2 - 8x + 8</math>

Die neue Gleichung <math>3x^2 - 8x + 8 = 0</math> hat keine Lösung. <math>x = -1</math> ist folglich die einzige reelle Nullstelle.

=== Extrempunkte ===
Die erste Ableitungsfunktion ist
:<math> f '(x) = 9 x^2 - 10 x = 9x (x - \tfrac{10}{9}) \,</math>.
Diese besitzt Nullstellen bei <math>x_1 = 0</math> und bei <math>x_2 = \tfrac{10}{9}</math>. Dies bedeutet, dass hier Extremstellen vorliegen können.

Die zweite Ableitungsfunktion
:<math> f ''(x) = 18 x - 10 \,</math>
hat an obigen Stellen die Funktionswerte
:<math>f''(x_1) = 18 \cdot 0 - 10 = -10 < 0</math>
bzw.
:<math>f''(x_2) = 18 \cdot \tfrac{10}{9} - 10 = 10 > 0.</math>
Daher hat der Funktionsgraph bei <math>x_1</math> einen Hochpunkt (erste Ableitung gleich 0, zweite Ableitung negativ) und bei <math>x_2</math> einen Tiefpunkt (erste Ableitung gleich 0, zweite Ableitung positiv). Die <math>y</math>-Koordinaten der beiden Extrempunkte ergeben sich durch Einsetzen der <math>x</math>-Koordinaten in <math>f(x)</math>.
:<math>\begin{align}
y_1 & = f(0) = 3 \cdot 0^3 - 5 \cdot 0^2 + 8 = 8\\
y_2 & = f(\tfrac{10}{9}) = 3 \cdot \left(\tfrac{10}{9}\right)^3 - 5 \cdot \left(\tfrac{10}{9}\right)^2 + 8 = 5\tfrac{229}{243}
\end{align}</math>

: '''Hochpunkt:''' <math>(0|8)</math>

: '''Tiefpunkt:''' <math>(\tfrac{10}{9}|5\tfrac{229}{243})</math>

=== Wendepunkte ===
Zur Bestimmung der Wendestellen wird die zweite Ableitung <math>f''(x) = 18x - 10</math> gleich null gesetzt:
:<math>18x - 10 = 0</math>
Die einzige Lösung dieser Gleichung ist <math>x_3 = \tfrac{5}{9}</math>. Zur Bestätigung, dass tatsächlich ein Wendepunkt vorliegt, kann man die dritte Ableitung <math>f'''(x) = 18</math> verwenden. Wegen
:<math>f'''(x_3) = f'''(\tfrac{5}{9}) = 18 \ne 0</math>
ist die Wendepunkteigenschaft gesichert. Die <math>y</math>-Koordinate des Wendepunkts ergibt sich zu
:<math>y_3 = f(x_3) = 3 \cdot \left(\tfrac{5}{9}\right)^3 - 5 \cdot \left(\tfrac{5}{9}\right)^2 + 8 = 6\tfrac{236}{243}.</math>

: '''Wendepunkt:''' <math>(\tfrac{5}{9}|6\tfrac{236}{243})</math>

=== Polstellen und Verhalten im Unendlichen ===
Polstellen gibt es bei Polynomen nicht. Als Polynom ungeradzahliger Ordnung (höchster Exponent bei <math>x^3</math>) geht die Funktion gegen <math>+\infty</math> bzw. <math>-\infty</math>, wenn <math>x</math> gegen <math>+\infty</math> bzw. <math>-\infty</math> geht.

== Beispiel: Gebrochen-rationale Funktion ==
[[Datei:Kurvendiskussion detailed example.svg|hochkant=2.0|mini|Graphen der Funktionen ''f'' (rot), ''f ''<nowiki>'</nowiki> (blau) und ''f ''<nowiki>''</nowiki> (grün)]]

Gegeben ist die Funktion mit der Gleichung

:<math> { f ( x ) } = \frac{x^3 - 4x^2 + 4x}{4x^2-8x+4} </math>

=== Definitionsbereich ===
Die Funktion ist nur dort definiert, wo der Nenner ungleich 0 ist. Die Untersuchung des Nenners auf Nullstellen ergibt:

:<math>4x^2 - 8x + 4 = 0</math>

:<math>x^2 - 2x + 1= 0</math>

:<math>x = 1 + \sqrt {1-1} = 1 </math> oder <math>x = 1 - \sqrt {1-1} = 1 </math>

Die [[quadratische Gleichung]] hat eine doppelte Lösung bei <math> x = 1 </math>. Nur bei <math> x = 1 </math> wird also der Nenner 0. Der Definitionsbereich ist folglich

:<math> \mathbb{D} = \mathbb{R}\setminus\{1\},</math>

die Menge der reellen Zahlen, ausgenommen die 1. Der Nenner kann – in Linearfaktoren zerlegt – als

:<math>4(x-1)(x-1)</math> oder <math>4(x-1)^2</math>

geschrieben werden.

=== Nullstellen ===
Die Bedingung für Nullstellen ist <math> f(x_N) = 0\,</math>. Hierzu genügt es, dass der Zähler 0 wird, solange nicht zugleich der Nenner 0 wird. Untersuchung des Zählers auf Nullstellen ergibt:

:<math>x^3 - 4x^2 + 4x = 0 </math>

:<math>x ( x^2 - 4x + 4 ) = 0 </math>

:<math> x = 0 </math> oder <math> x = 2 + \sqrt {4-4} = 2 </math> oder <math> x = 2 - \sqrt {4-4} = 2 </math>

Der Zähler hat eine einfache Nullstelle bei <math> x=0 </math> und eine doppelte bei <math> x=2 </math>. Beide Stellen liegen im Definitionsbereich. <math>f(x) </math> hat also die Nullstellen <math> x_1 = 0 </math> sowie <math> x_2 = x_3 = 2 </math>.

Der Zähler kann – in Linearfaktoren zerlegt – als

:<math>x(x-2)(x-2) = x(x-2)^2</math>

geschrieben werden.

Im Rahmen der Schulmathematik wird häufig darauf Wert gelegt, dass bei jedem <math>x</math> der Index <math> N </math> für „Nullstelle“ dazugeschrieben wird: <math> x_N\,</math>.

=== Polstellen ===
An der Stelle <math>x=1</math> hat der Nenner eine zweifache Nullstelle, ohne dass zugleich der Zähler 0 wird. Es liegt also eine Polstelle bei <math>x=1</math> vor. Sollte der Zähler auch 0 werden, so muss für eine Polstelle die Ordnung der Nennernullstelle größer als die Ordnung der Zählernullstelle sein.

Sofern der Nenner einer gebrochenrationalen Funktion an einer Stelle <math>x=a</math> gleich 0 ist, ist die Funktion an dieser Stelle nicht definiert. Ist der Nenner gleich 0, der Zähler aber ungleich 0, so besitzt die Funktion an dieser Stelle einen Pol („Unendlichkeitsstelle“).

=== Symmetrie ===
Der Graph der Funktion wird an dieser Stelle auf Symmetrie untersucht. Oft erfolgt nur eine Untersuchung auf Achsensymmetrie zur <math>y</math>-Achse (Bedingung <math>f(-x) = f(x)</math>) und auf Punktsymmetrie zum Ursprung des Koordinatensystems (Bedingung <math>f(-x) = -f(x)</math>).

Im Beispiel wird in
:<math> { f ( x ) } = {{x^3 - 4x^2 + 4x} \over {4x^2-8x+4}} </math>
<math>x</math> ersetzt durch <math>-x</math>. Nach dem Ausmultiplizieren entsteht
:<math> { f ( -x ) } = {{(-x)^3 - 4(-x)^2 + 4(-x)} \over {4(-x)^2-8(-x)+4}} = {{-x^3 - 4x^2 - 4x} \over {4x^2+8x+4}} </math>.
Da <math>f(-x)</math> weder mit <math>f(x)</math> noch mit <math>-f(x)</math> übereinstimmt, ist der Graph von <math>f</math> weder achsensymmetrisch zur <math>y</math>-Achse noch punktsymmetrisch zum Ursprung.

Etwas schwieriger gestaltet sich die Untersuchung auf Achsensymmetrie bezüglich einer beliebigen Achse beziehungsweise auf Punktsymmetrie bezüglich eines beliebigen Punktes. Wegen <math>\textstyle \lim_{x\to-\infty} f(x) = -\infty</math> und <math>\textstyle \lim_{x\to\infty} f(x) = +\infty</math> lässt sich Achsensymmetrie ausschließen. Als Symmetriezentrum (Punktsymmetrie) käme höchstens der Schnittpunkt der [[Asymptote]]n (siehe unten), also der Punkt <math>(1|-\tfrac{1}{4})</math> in Frage. Da aber beispielsweise die Punkte <math>(0|0)</math> und <math>(2|0)</math> nicht symmetrisch bezüglich <math>(1|-\tfrac{1}{4})</math> liegen, ist der Graph auch nicht punktsymmetrisch.

=== Ableitungen ===
Zu bilden sind die Ableitungen von

:<math> { f ( x ) } = {{ x ( x - 2 )^2 } \over {4 (x-1)^2 }}.</math>

Die Darstellung in Linearfaktoren ist zweckmäßiger, da sie das Ausklammern und Kürzen vereinfacht. Dies ergibt zunächst

:<math>
\begin{align}
{ f ' ( x ) } & = {{ ( 2 x ( x-2) + (x-2)^2 )4(x-1)^2 - x (x-2)^2 \cdot 8 (x-1) } \over { 16(x-1)^4 }} \\
& = {{ ( 2 x ( x-2) + (x-2)^2 )(x-1) - 2 x (x-2)^2 } \over { 4(x-1)^3 }} \\
& = {{ ( x - 2 )( ( 2 x + (x-2))(x-1) - 2 x (x-2) ) } \over { 4(x-1)^3 }} \\
& = {{ ( x - 2 )( ( 3 x - 2)(x-1) - 2 x (x-2) ) } \over { 4(x-1)^3 }} \\
& = {{ ( x - 2 )( 3 x^2 - 3x - 2x + 2 - 2 x^2 + 4x ) } \over { 4(x-1)^3 }} \\
& = {{ ( x - 2 )( x^2 - x + 2 ) } \over { 4(x-1)^3 }}
\end{align}
</math>

für die erste Ableitung. Dann wird die zweite

:<math>
\begin{align}
{ f ''(x) } & = {{ ((x-2)(2x-1)+(x^2-x+2))(x-1)^3 - (x-2)(x^2-x+2) \cdot 3(x-1)^2  } \over { 4(x-1)^6 }} \\
& = {{ ((x-2)(2x-1)+(x^2-x+2))(x-1) - 3(x-2)(x^2-x+2) } \over { 4(x-1)^4 }} \\
& = {{ (2x^2-x-4x+2+x^2-x+2)(x-1) - (3x-6)(x^2-x+2) } \over { 4(x-1)^4 }} \\
& = {{ (3x^2-6x+4)(x-1) - (3x^3-3x^2+6x-6x^2+6x-12) } \over { 4(x-1)^4 }} \\
& = {{ 3x^3-3x^2-6x^2+6x+4x-4-3x^3+3x^2-6x+6x^2-6x+12 } \over { 4(x-1)^4 }} \\
& = {{  -2x + 8 } \over { 4(x-1)^4 }} \\
& = {{4-x} \over {2(x-1)^4 }}
\end{align}
</math>

und die dritte Ableitung

:<math>
\begin{align}
{ f '''(x) } & = {- { (x-1)^4 - (4-x)4(x-1)^3 } \over { 2(x-1)^8 }} \\
& = {-{ (x-1)-4(4-x) } \over {2(x-1)^5}} \\
& = { - {x+1-16+4x} \over {2(x-1)^5}} \\
& = {{3x-15} \over {2(x-1)^5}}
\end{align}
</math>

gebildet.

=== Extrempunkte ===
Hierfür muss <math> f '(x)=0 \,</math> werden. Es genügt, die Nullstellen des Zählers zu untersuchen:

:<math> {( x - 2 )( x^2 - x + 2 )} = 0 \,</math>

hat die Lösung <math> x=2 </math>. Die zweite Klammer hat keine reellen Lösungen. <math> x=2 </math> liegt im Definitionsbereich. Der Funktionswert an dieser Stelle ist <math> f(2) = 0 \,</math>, da hier eine Nullstelle vorliegt. Die zweite Ableitung ist an dieser Stelle <math> f''(2)=1 > 0 \,</math>, es handelt sich also um einen ''Tiefpunkt bei (2/0)''.

=== Wendepunkte ===
Der Wendepunkt wird ermittelt, indem die zweite Ableitung gleich 0 gesetzt wird. Aus diesem Ansatz ergibt sich <math>x_W = 4</math>. Einsetzen dieses Wertes in die dritte Ableitung ergibt <math>f'''(4) = -\tfrac{1}{162} \ne 0</math>. Es liegt also tatsächlich ein Wendepunkt vor. Die Berechnung von <math>f(4)</math> ergibt schließlich die <math>y</math>-Koordinate <math>y_W = \tfrac{4}{9}</math>. Der gesuchte Wendepunkt ist somit <math>(4|\tfrac{4}{9})</math>.

=== Asymptoten ===
An der Polstelle, also bei <math> x = 1 </math>, liegt eine senkrechte [[Asymptote]]. Da der Grad des Zählers (3) um 1 größer ist als der des Nenners (2), wird <math> f(x) </math> gegen <math> \infty </math> gehen für <math> x </math> gegen <math> \infty </math>. Die Differenz <math>3-2 = 1</math> gibt an, dass sich der Graph an eine [[lineare Funktion]] (Gerade) asymptotisch annähern wird. Die Geradengleichung folgt durch [[Polynomdivision]]:

:<math> (x^3 - 4x^2 + 4x) : (4x^2-8x+4) = {{ 1 \over 4 }x - {1 \over 2} + {{-1x+2} \over {4x^2-8x+4}}}</math>

Für <math> x </math> gegen <math> \infty </math> geht der letzte Term gegen 0. Die Gleichung der Asymptote ist also

:<math> {a(x)} = {{ 1 \over 4 }x - {1 \over 2}}</math>

Allgemein:
* Ist der Nennergrad größer als der Zählergrad, ist die Asymptote die <math>x</math>-Achse.
* Ist der Nennergrad gleich dem Zählergrad, ist die Asymptote eine Parallele zur <math>x</math>-Achse.
* Ist der Nennergrad um 1 kleiner als der Zählergrad, ist die Asymptote schräg.
* Ist der Nennergrad um mehr als 1 kleiner als der Zählergrad, ist die Asymptote keine Gerade, sondern gekrümmt. (Asymptotische Näherungskurve)

== Didaktische Fragen ==
In der [[Mathematikdidaktik]] wird seit spätestens den 1990er Jahren diskutiert, inwieweit die Kurvendiskussion durch die Verfügbarkeit von [[Grafikfähiger Taschenrechner|grafikfähigen Taschenrechnern]] und dedizierter Software ([[Funktionenplotter]]) überholt ist.<ref>Steffen Hahn, Susanne Prediger: [http://www.mathematik.uni-dortmund.de/~prediger/veroeff/04-BzMU-lang-qualitative-kurvendiskussion.pdf ''Vorstellungsorientierte Kurvendiskussion – Ein Plädoyer für das Qualitative''] (PDF; 306&nbsp;kB) Universität Bremen, auf mathematik.uni-dortmund.de (archiviert)</ref>

Kritisiert wird, dass die Kurvendiskussion eine rein rechnerische Routine ist, die wenig Verständnis vermittelt. Andererseits ist sie gerade deshalb als relativ sicher vorzubereitendes Prüfungsthema bei schwächeren Schülern und Studenten vergleichsweise beliebt.

In den zentralen Abiturprüfungen hat es sich deshalb durchgesetzt, dass solch schematische Aufgaben nur sehr selten gestellt werden. Beliebter sind eingekleidete Aufgaben oder Aufgaben, in denen Zusammenhangswissen abgefragt wird, zum Beispiel über Zusammenhänge zwischen Ableitungsfunktion und Ausgangsfunktion.

Eine didaktische Methode wird in [[Gebietseinteilung]] beschrieben.

== Literatur ==
* [[Harald Scheid]], Wolfgang Schwarz: ''Elemente der Linearen Algebra und der Analysis''. Springer, 2009, ISBN 978-3-8274-2255-2, S. 316–322.
* [[Harro Heuser]]: ''Lehrbuch der Analysis.'' Teil 1. Vieweg + Teubner, Wiesbaden 1980, ISBN 3-519-02221-4, S. 293–295.
* ''Kurvendiskussion'' In: ''Schülerduden – Mathematik II''. Bibliographisches Institut & F.A. Brockhaus, 2004, ISBN 3-411-04275-3, S.&nbsp;235–241.
* ''Mathematik – Analysis''. Cornelsen, 2002, ISBN 978-3-464-57216-0, S. 108–142.

== Weblinks ==
{{Wiktionary}}
* [http://members.chello.at/gut.jutta.gerhard/kurs/kd.htm Verständlicher Text zur Kurvendiskussion]
* [http://www.matheplanet.com/matheplanet/nuke/html/article.php?sid=966&mode=&order=0 Exemplarische Kurvendiskussionen]
* [http://matheguru.com/rechner/kurvendiskussion/ Online Rechner zur Kurvendiskussion mit Rechenweg]

== Einzelnachweise ==
<references />

{{Normdaten|TYP=s|GND=4219674-7}}

[[Kategorie:Analysis]]