Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » f diffbar, nur endlich viele Nullstellen

f diffbar, nur endlich viele Nullstellen

Universität / Fachhochschule

Differentiation

Funktionen

Tags: Differentiation, Funktion

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Schurli

Schurli aktiv_icon

16:26 Uhr, 23.11.2013

Antworten
Sei f:[a,b] auf [a,b] differenzierbar.
Es gelte: x[a,b]:f(x)+fʹ(x)0
Man zeige, dass f in [a,b] nur endlich viele Nullstellen hat.

Die einzige Möglichkeit für unendlich viele Nullstellen wäre, wenn f=0 wäre, dann wäre aber auch fʹ=0 und damit die Summe =0, ein Widerspruch zur Voraussetzung.
Famit kann in dem Intervall nur f<0f>0 gelten, was hieße, dass es in diesem Intervall 0 Nullstellen und damit nur endlich viele gäbe...

Frage: Ist das wirklich so einfach oder habe ich viel übersehen?

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Hierzu passend bei OnlineMathe:
Funktion (Mathematischer Grundbegriff)
Nullstellen (Mathematischer Grundbegriff)
Vielfachheit einer Nullstelle (Mathematischer Grundbegriff)

Online-Übungen (Übungsaufgaben) bei unterricht.de:
 
Online-Nachhilfe in Mathematik
Antwort
Shipwater

Shipwater aktiv_icon

16:47 Uhr, 23.11.2013

Antworten
Deine Idee ist falsch, denn f0 ist lange nicht die einzige Möglichkeit für unendlich viele Nullstellen. Denn das Intervall [a,b] enthält (falls a<b und das ist hier gemeint) unendlich viele Zahlen! Ich würde die Aussage per Widerspruch beweisen. Also nehme an f hat unendlich viele Nullstellen und versuche daraus einen Widerspruch zu konstruieren. Tipp: Satz von Bolzano-Weierstraß
Schurli

Schurli aktiv_icon

16:57 Uhr, 23.11.2013

Antworten
Hallo Shipwater,

erstmal danke für deine Antwort.

Ich kann deinem Einwand gut folgen, muss aber sagen, dass er nicht (zwingend) beweist, dass meine Idee falsch ist (so sehe ich das zumindest), denn ich hatte ja behauptet, dass unter OBIGER Vor. die Nullfunktion die einzige Kandidatin ist um bei f unendlich viel Nullstellen hervorzurufen, das habe ich ja durch meine Fallunterscheidungen dargestellt.
Meine Frage war, was unter meinen Fallunterscheidungen falsch ist?
Wenn f0, dann muss ja f immer >0 oder <0 sein (in dem Intervall). Dazu führen ja die Betragsstriche. Ich sehe leider nicht was ich da falsch gemacht haben könnte. Kannst du mir das kurz noch erklären? :-)


Antwort
Shipwater

Shipwater aktiv_icon

17:03 Uhr, 23.11.2013

Antworten
Welche Fallunterscheidungen? Es stimmt einfach nicht, dass f0 die einzige Möglichkeit für unendlich viele Nullstellen ist. Nimm das Intervall [0,2] dann hat zum Beispiel auch folgende (von der Nullfunktion verschiedene) Funktion unendlich viele Nullstellen: f(x)={1,x[0,1]0,x(1,2]
Schurli

Schurli aktiv_icon

17:08 Uhr, 23.11.2013

Antworten
Ja, aber ich meinte die Voraussetzung, dass f(x)+f´(x)>0 gelten muss. Ist schon klar, dass in einem von der Länge 0 verschiedenen Intervall es auch andere Funktionen als die Nullfunktion gibt, die unendlich viele Nullstellen hat. Ich meinte, dass obige Bedingung die Sache erheblich einschränkt...
Antwort
Apfelkonsument

Apfelkonsument aktiv_icon

17:10 Uhr, 23.11.2013

Antworten
Ist denn nun > 0 oder 0 gefordert? Das hast du jetzt unterschiedlich gepostet.

Edit: Sorry, das war Schwachsinn, beides ist natürlich äquivalent.
Schurli

Schurli aktiv_icon

17:10 Uhr, 23.11.2013

Antworten
Es ist >0 gefordert.
Schurli

Schurli aktiv_icon

17:15 Uhr, 23.11.2013

Antworten
Momentmal, die Summe von Beträgen ist stets größer 0, wenn sie nicht gleich 0 sein darf. In der Angabe steht 0, ich schloss daraus >0.
Antwort
Apfelkonsument

Apfelkonsument aktiv_icon

17:24 Uhr, 23.11.2013

Antworten
Ja, war mir auch noch aufgefallen ;-) Hatte meinen Beitrag schon editiert.

Zu deinem Beitrag davor. Wie begründest du denn, dass alle Funktionen mit unendlich vielen Nullstellen durch die Bedingung ∣f(x)∣+∣f´(x)∣>0 rausfliegen? Das kannst du doch nicht so einfach postulieren, denn genau das sollst du ja zeigen.

Für nicht kompakte Intervalle ist die Aussage übrigens nicht richtig.

Schurli

Schurli aktiv_icon

17:49 Uhr, 23.11.2013

Antworten
Ich muss also zeigen, dass, wenn es unendlich viele Nullstellen gibt bei f, dass dann sowohl f(x)=0, als auch fʹ(x)=0 für alle x ist. Wäre nämlich einer von beiden ungleich 0, dann wären die Summe der Beträge größer 0, was dem Kontrapositionsprinzip widersprechen würde.

Es reduziert sich also zu zeigen, dass gilt f(x)=0, womit wir wieder bei unserer Nullfunktion wären... :/// Was mach ich da falsch? irgendwie verwirrt mich das :(
Antwort
Shipwater

Shipwater aktiv_icon

17:54 Uhr, 23.11.2013

Antworten
Nein. Zu zeigen ist, wenn f unendlich viele Nullstellen hat dann gibt es ein x[a,b] mit f(x)=f'(x)=0.
Schurli

Schurli aktiv_icon

17:56 Uhr, 23.11.2013

Antworten
Diese Frage muss noch sein:
Meinst du irgendein festes x0[a,b]? Oder meinst du, dass das für alle Werte x gelten muss?
Antwort
Shipwater

Shipwater aktiv_icon

18:03 Uhr, 23.11.2013

Antworten
Ersteres natürlich. Schau dir nochmal an wie man Aussagen negiert. Die Negation von "Jeder Mensch lacht gerne" ist doch auch "Es gibt einen Menschen, der nicht gerne lacht" und nicht "Kein Mensch lacht gerne". Du darfst "Negation" nicht mit dem, was man üblicherweise unter "Gegenteil" versteht, verwechseln.
Schurli

Schurli aktiv_icon

16:06 Uhr, 24.11.2013

Antworten
Hallo Shipwater,

etwas zu deinem Hinweis: Der Satz von Bolzano-Weierstraß besagt doch nur, dass beschränkte FOLGEN mindestens einen Häufungspunkt besitzen. Natürlich könnte man nun eine Restriktion von f auf vornehmen, um den kontinuierlichen Graphen in eine Folge zu verwandeln, doch passiert hier ein unangenehmer Widerspruch zur Annahme, denn dann verschwinden doch die unendlich vielen Nullstellen. Die Nullfunktion hätte auf dem Intervall etwa lediglich maximal b-a Nullstellen, wenn sie als Folge aufgefasst werden würde...

Du hast vermutlich den Satz verwechselt mit dem Mittelwertsatz - genauer - dem Satz von Rolle. Da es unendlich viele i gibt mit f(αi)=f(βi)=0 gibt es nach dem Satz von Rolle auch unendlich viele i sodass f´(xi)=0. Jetzt fehlt "nur noch" ein Argument dafür, dass das genau die i sind, wo auch f(xi)=0 gilt. Rein anschaulich ist jedoch klar, dass in einem beschränkten Intervall nur dann unendlich oft eine waagrechte Tangente an einen Graphen gezeichnet werden kann, wenn es immer wieder Intervalle [u,v][a,b] gibt, sodass f´(x)=f(x)=0x[u,v] gilt. Kann mir da jemand einen Tipp für ein formales Argument geben?
Antwort
Apfelkonsument

Apfelkonsument aktiv_icon

16:27 Uhr, 24.11.2013

Antworten
Da Shipwater gerade nicht da ist, antworte ich mal:

"Du hast vermutlich den Satz verwechselt mit dem Mittelwertsatz - genauer - dem Satz von Rolle. "

Grundsätzlich solltest du erstmal davon ausgehen, dass das nicht passiert ist und du den Hinweis bloß nicht richtig umsetzen konntest ;-)

Wenn f unendlich viele Nullstellen hat, gibt es eine Folge von Nullstellen von f. Darauf einmal Bolzano Weierstraß und selbst weiter überlegen.


"Rein anschaulich ist jedoch klar, dass in einem beschränkten Intervall nur dann unendlich oft eine waagrechte Tangente an einen Graphen gezeichnet werden kann, wenn es immer wieder Intervalle [u,v]⊆[a,b] gibt, sodass f´(x)=f(x)=0∀x∈[u,v] gilt."

NEIN, das ist falsch. Ich sagte dir doch oben, dass man bei einem nicht kompakten Intervall Gegenbeispiele findet. Ich finde es schade, dass du das offensichtlich garnicht wahrgenommen hast. Was ist zum Beispiel mit f:(0,1),xsin(1x).

Das Intervall ist beschränkt, die Funktion ist differenzierbar, es gibt keinen Punkt x mit f(x)+fʹ(x)=0 und f hat außerdem unendlich viele Nullstellen.
Schurli

Schurli aktiv_icon

16:48 Uhr, 24.11.2013

Antworten
Ohh :O

Eine ganz blöde Frage mal an dein Gegenbeispiel:
Wenn man das Intervall [0,1] nehmen würde, dann gäbe es schon einen Punkt x0, sodass f(x0)=f´(x0)=0 gilt, oder?
Antwort
Apfelkonsument

Apfelkonsument aktiv_icon

16:51 Uhr, 24.11.2013

Antworten
Die Funktion ist in 0 bei beliebiger Fortsetzung garnicht stetig geschweige denn differenzierbar.
Schurli

Schurli aktiv_icon

16:58 Uhr, 24.11.2013

Antworten
Sry, Apfelkonsument, aber jetzt bin ich verwirrt. Das müsste jetzt aber dann ein Gegenbeispiel zu der zu beweisenden Aussagen liefern, oder? Oder darf man da nur Punkte heranziehen, die auch im Definitionsbereich von f liegen?

Und nun noch etwas zum Bolzano-Weierstraß;
Sei N:={xD(f):f(x)=0}. Du meinst also, dass die zu betrachtenden Folgen alle in N liegen sollen?!? Sry, steh grad auf der Leitung. Dann wüßte ich ja nur, dass in jeder Umgebung eines Punktes x0N unendlich viele Folgenglieder liegen. Daraus kann ich aber lange noch nicht schließen, dass dort auch die Ableitung verschwindet...
Kannst du mir das noch kurz erklären?:-)
Antwort
Apfelkonsument

Apfelkonsument aktiv_icon

17:06 Uhr, 24.11.2013

Antworten
Mein Gegenbeispiel sagt aus, dass die Aussage nicht für beliebige beschränkte Intervalle gilt. Natürlich spricht man von Differenzierbarkeit nur im Definitionsbereich. Es macht ja schließlich auch nicht Sinn, wenn ich frage, ob f an der Stelle "Mond" differenzierbar ist.


"Du meinst also, dass die zu betrachtenden Folgen alle in N liegen sollen?!?"

Was meinst du damit? Warum auf einmal mehrere Folgen?

Es ist doch klar, dass du dir eine Folge paarweise verschiedener Nullstellen von f konstruieren kannst, wenn f derer unendlich viele hat oder nicht?


Schurli

Schurli aktiv_icon

17:11 Uhr, 24.11.2013

Antworten
Achso, du meinst also, dass ich genau eine Folge (xn)n betrachte, die in N liegt und dort auch ihren Grenzwert hat (aufgrund der Kompaktheit des zugrunde liegenden Intervalls). Ich denke, jetzt leuchtet mir mehr Licht, oder? :-)


Antwort
Apfelkonsument

Apfelkonsument aktiv_icon

17:14 Uhr, 24.11.2013

Antworten
Ja. Achte aber darauf, dass die Folge aus paarweise verschiedenen Nullstellen besteht.
Schurli

Schurli aktiv_icon

17:16 Uhr, 24.11.2013

Antworten
"Achte darauf,... Nullfolgen besteht"

Also jetzt doch mehrere Folgen? :-O

Du meintest wohl Nullstellen, oder? ;-)
Schurli

Schurli aktiv_icon

17:31 Uhr, 24.11.2013

Antworten
Sei also (xn) eine Folge in N mit paarweise verschiedenen Folgegliedern. (was eigentlich schon aus der Abbildungseigenschaft von f folgen sollte, denn o.B.d.A. zweimal die gleiche Nullstelle wäre ein Verstoß gegen die eindeutige Zuordnung eines Elements aus dem Definitionsbereich in den Zielbereich von f ).
Wir wollen nun zeigen: xk(xn):fʹ(xk)=0 Das sollte aber nun aus dem Satz von Rolle folgen. Eine anderen Vorschlag hätte ich da leider nicht... :/
Ist das richtig so?
Antwort
Apfelkonsument

Apfelkonsument aktiv_icon

17:36 Uhr, 24.11.2013

Antworten
Ja, hatte mich oben verschrieben, tut mir Leid.


Ich sehe nicht, wie das aus dem Satz von Rolle folgen soll, das müsstest du näher erläutern.

"(was eigentlich schon aus der Abbildungseigenschaft von f folgen sollte"
Nein tut es nicht. Sehe nicht, wie du darauf kommst, nirgendwo wird dadurch irgendwelche Eindeutigkeit verletzt. Was soll da auch nicht funktionieren. Man kann doch einfach eine konstante Folge in N wählen. Ganz im Gegenteil muss man sogar die Existenz einer Folge sichern, für die eben die Folgenglieder paarweise verschieden sind. Das geht dann halt dadurch, dass N unendlich ist.

"Eine anderen Vorschlag hätte ich da leider nicht... :/ "
Benutze doch mal den Satz von Bolzano Weierstraß, was gibt der uns?
Schurli

Schurli aktiv_icon

17:42 Uhr, 24.11.2013

Antworten
Bolzano - Weierstraß schenkt uns eine in N konvergente Teilfolge. Wie daraus etwas über die Steigung der Tangente in irgendeinem Punkt aus N gesagt werden soll, ist mir ein großes Rätsel. Hast du vielleicht noch einen kleinen Tipp ohne die Lösung zu verraten? :-)
Antwort
Apfelkonsument

Apfelkonsument aktiv_icon

17:46 Uhr, 24.11.2013

Antworten
Ok, sei x0 Grenzwert dieser Teilfolge. x0 liegt auch in [a,b], warum ?
Zeige erstmal, dass x0 auch Nullstelle von f sein muss.

Nutze dann aus, dass der Grenzwert des Differnzenquotienten limxx0f(x0)-f(x)x0-x existiert. (Charakterisierung über Folgen)
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.