Matroids Matheplanet Forum Index
Moderiert von Curufin epsilonkugel
Differentiation » Differentialrechnung in IR » Ableitung nicht Null => Vorzeichenwechsel
Druckversion
Druckversion
Autor
Universität/Hochschule J Ableitung nicht Null => Vorzeichenwechsel
mhipp
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 30.08.2018
Mitteilungen: 320
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Themenstart: 2020-10-19


Hi alle zusammen!
Im Folgenden ein eigentlich trivialer Satz, bei dessen formalem Beweis ich mir allerdings sehr schwer tue:

Sei f eine auf IR definierte, stetige und einmal differenzierbare Funktion mit f(x0)=0 und f'(x0) ungleich Null.
Zu zeigen: f "vollzieht" bei x0 einen Vorzeichenwechsel (VZW).

Was ich also beweisen will, ist:
x0 ist Nullstelle mit Ableitung ungleich Null => f hat VZW bei x0.
(Mir ist bewusst, dass die "Rückrichtung" der Implikation (<=) nicht funktioniert; Gegenbeispiel: f(x)=x^3 mit x0=0.)

Sicherlich kann man diese Bahauptung als trivial ansehen, aber mich interessiert es an dieser Stelle tatsächlich, wie man etwas so Offensichtliches beweisen könnte...

Ich freue mich auf Eure Vorschläge/Ideen :)


Herzliche Grüße
Max Hipp



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
Diophant
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 18.01.2019
Mitteilungen: 5262
Aus: Rosenfeld, BW
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.1, eingetragen 2020-10-19

\(\begingroup\)\(\newcommand{\ba}{\begin{aligned}} \newcommand{\ea}{\end{aligned}} \newcommand{\bpm}{\begin{pmatrix}} \newcommand{\epm}{\end{pmatrix}} \newcommand{\bc}{\begin{cases}} \newcommand{\ec}{\end{cases}} \newcommand{\on}{\operatorname} \newcommand{\ds}{\displaystyle}\)
Hallo,

spontan würde ich sagen: betrachte den Differenzenquotienten

\[\frac{\Delta f}{\Delta x}=\frac{f(x\pm h)-f(x)}{h}\]
für \(h>0\) in einer hinreichend kleinen Umgebung um \(x_0\).


Gruß, Diophant


[Verschoben aus Forum 'Analysis' in Forum 'Differentialrechnung in IR' von Diophant]
\(\endgroup\)


Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PhysikRabe
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 21.12.2009
Mitteilungen: 2274
Aus: Wien / Leipzig
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.2, eingetragen 2020-10-19


Hallo Max,

nimm doch mal (im Widerspruch) an, die Funktion $f$ verschwindet zwar in $x_0$, macht dort aber keinen Vorzeichenwechsel. Was sagt das über das Monotonieverhalten der Funktion in einer Umgebung von $x_0$? (Den trivialen Fall $f=0$ können wir ausschließen.) Wie hängt das mit der Ableitung im Punkt $x_0$ zusammen?

Grüße,
PhysikRabe

[Die Antwort wurde vor Beitrag No.1 begonnen.]


-----------------
"Non est ad astra mollis e terris via" - Seneca
"Even logic must give way to physics." - Spock



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
DerEinfaeltige
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 11.02.2015
Mitteilungen: 2522
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.3, eingetragen 2020-10-19


Wenn die Ableitung existiert, müssen muss der Grenzwert des Differentialquotienten existieren bzw. eindeutig sein.
Betrachte die Grenzwerte bei Annäherung von rechts und links und überlege was dann für die Funktionswerte rechts bzw. links der Nullstelle gelten muss.

[Die Antwort wurde vor Beitrag No.1 begonnen.]


-----------------
Why waste time learning when ignorance is instantaneous?
- Bill Watterson -



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
mhipp
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 30.08.2018
Mitteilungen: 320
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.4, vom Themenstarter, eingetragen 2020-10-19


Danke für Eure vielen Antworten, allerdings stecke ich gerade etwas fest.
Ich habe tatsächlich schon versucht, mit dem Differenzenquotienten zu arbeiten, aber es kommt bei mir nichts Brauchbares raus...



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PhysikRabe
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 21.12.2009
Mitteilungen: 2274
Aus: Wien / Leipzig
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.5, eingetragen 2020-10-19


2020-10-19 16:25 - mhipp in Beitrag No. 4 schreibt:
Danke für Eure vielen Antowrten, allerdings stecke ich gerade etwas fest.
Ich habe tatsächlich schon versucht, mit dem Defferenzenquotienten zu arbeiten, aber es kommt bei mir nichts Brauchbares raus...

Solange du nicht genauer schreibst, was du versucht hast, können wir dir nicht weiterhelfen...

Grüße,
PhysikRabe


-----------------
"Non est ad astra mollis e terris via" - Seneca
"Even logic must give way to physics." - Spock



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
mhipp
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 30.08.2018
Mitteilungen: 320
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.6, vom Themenstarter, eingetragen 2020-10-19


Idee mit Monotoniesatz:

Ist f'(x0) ungleich Null, so ist der Graph von f bei x0 streng monoton (a) fallend oder (b) steigend.
Da f'(x0) ungleich 0 und f' auf IR stetig ist, existiert ein Intervall (eine Umgebung von x0) I=[a;b] mit a<x0<b, sodass für alle i aus I gilt: f'(i) ungleich Null.
Laut Monotoniesatz ist also f auf I streng monoton a) fallend oder (b) steigend. Das heißt:

(a) Für alle i1, i2 aus I mit i1<i2 gilt, dass f(i1)>f(i2) bzw.
(b) Für alle i1, i2 aus I mit i1<i2 gilt, dass f(i1)<f(i2).

Daraus folgt:
Für alle zwei Werte i1 und i2 aus I mit i1<x0<i2, gilt, dass (a) f(i1)>0>f(i2) bzw. (b) f(i1)<0<f(i2), womit nachgewiesen wäre, dass f bei xo einen VZW vollzieht. q.e.d.

Richtig so? :)

[Die Antwort wurde nach Beitrag No.4 begonnen.]



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
Diophant
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 18.01.2019
Mitteilungen: 5262
Aus: Rosenfeld, BW
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.7, eingetragen 2020-10-19


Hallo,

vom Ansatz ist es richtig, aber noch sehr holprig notiert. Dafür war mein Vorschlag mit dem Differenzenquotienten übrigens gedacht...

Es reicht hier weiter aus, o.B.d.A. etwa streng monoton steigende Funktionen zu betrachten und darauf zu verweisen, dass der Beweis für streng monoton fallende F. analog läuft.


Gruß, Diophant



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
mhipp
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 30.08.2018
Mitteilungen: 320
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.8, vom Themenstarter, eingetragen 2020-10-19


Ich bin gerade etwas verloren - wie würde ich es sauber mit dem Differenzenquotienten notieren?



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
Diophant
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 18.01.2019
Mitteilungen: 5262
Aus: Rosenfeld, BW
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.9, eingetragen 2020-10-19

\(\begingroup\)\(\newcommand{\ba}{\begin{aligned}} \newcommand{\ea}{\end{aligned}} \newcommand{\bpm}{\begin{pmatrix}} \newcommand{\epm}{\end{pmatrix}} \newcommand{\bc}{\begin{cases}} \newcommand{\ec}{\end{cases}} \newcommand{\on}{\operatorname} \newcommand{\ds}{\displaystyle}\)
Hallo,

vielleicht so:

Sei \(h>0\), \(f(x_0)=0\) und \(f\) streng monoton steigend. Dann gilt insbesondere mit dem Monotoniesatz: \(f'(x)\ge 0\) (Gleichheit nur an abzählbar vielen Stellen). Also gibt es eine Umgebung \(I(x_0)\), in der

\[\frac{f(x_0\pm h)-f(x_0)}{h}\gtrless 0\]
und damit (wegen \(h>0\))

\[f(x_0\pm h)-f(x_0)\gtrless 0\]
für alle \(x\neq x_0\in I(x_0)\) gilt.

Auf deutsch: links von \(x_0\) ist \(f\) negativ, rechts davon positiv.

Beweis für den streng monoton fallenden Fall erfolgt analog.

Nachtrag: ich hatte da im Kopf etwas verdreht und beim Abfassen des Beitrags fälschlicherweise angenommen, dass für die Funktion \(f\) strenge Monotonie vorausgesetzt wird (sorry). Die kam aber erst nachträglich ins Spiel.

Dann ist Beitrag #3 von Der Einfaeltige hier der zielführende Tipp.


Gruß, Diophant
\(\endgroup\)


Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
zippy
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 24.10.2018
Mitteilungen: 1663
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.10, eingetragen 2020-10-19


2020-10-19 16:46 - Diophant in Beitrag No. 7 schreibt:
Es reicht hier weiter aus, o.B.d.A. etwa streng monoton steigende Funktionen zu betrachten

Man sollte hier gar nicht versuchen, mit Monotonie zu argumentieren, denn für eine in $x_0$ differenzierbare Funktion folgt aus $f'(x_0)>0$ bzw. aus $f'(x_0)<0$ nicht, dass es eine Umgebung von $x_0$ gibt, in der $f$ monton steigend bzw. fallend ist. (Ein Gegenbeispiel findet man z.B. auf mathcounterexamples.net.)

Wie man ohne Monotonie zum Ziel kommt, zeigt Beitrag Nr. 3.



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
mhipp
Aktiv Letzter Besuch: im letzten Monat
Dabei seit: 30.08.2018
Mitteilungen: 320
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.11, vom Themenstarter, eingetragen 2020-10-22


@zippy (Beitrag #10):

Warum?
Das ist doch der Monotoniesatz (bzw. eine Abwandlung):

Sei f stetig, diffbar.
WENN auf I f'(x)>0, DANN ist auf I der Graph von f streng monoton wachsend.

Allgemein gilt für eine beliebige stetige Funktion g: Ist g(x0)>0, so gibt es ein Intervall [a;b] mit a<x0<b, sodass für alle z aus I g(z)>0.
Beweis: Kann ich auf Nachfrage aufschreiben, ist aber eigentlich trivial.

Daher: Ist f'(x0)>0, so gibt es ein Intervall I=[a;b] mit a<x0<b, sodass für alle z aus I f'(z)>0, daher ist f auf I streng monoton wachsend, also insbesondere in x0... oder?!?



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
PhysikRabe
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 21.12.2009
Mitteilungen: 2274
Aus: Wien / Leipzig
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.12, eingetragen 2020-10-22


2020-10-22 15:56 - mhipp in Beitrag No. 11 schreibt:
Sei f stetig, diffbar.

"Stetig und differenzierbar" ist nicht das selbe wie "stetig differenzierbar", und strikt positive Ableitung in einem offenen Intervall (wie im Mittelwertsatz) und strikt positive Ableitung in einem Punkt sind ebenfalls unterschiedlich zu behandeln. Ich empfehle das Gegenbeispiel in zippys Link.

Grüße,
PhysikRabe


-----------------
"Non est ad astra mollis e terris via" - Seneca
"Even logic must give way to physics." - Spock



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
mhipp hat die Antworten auf ihre/seine Frage gesehen.
mhipp hat selbst das Ok-Häkchen gesetzt.
mhipp wird per Mail über neue Antworten informiert.
Neues Thema [Neues Thema]  Druckversion [Druckversion]

 


Wechsel in ein anderes Forum:
 Suchen    
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2020 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]