matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Hochschulmathe
  Status Uni-Analysis
    Status Reelle Analysis
    Status UKomplx
    Status Uni-Kompl. Analysis
    Status Differentialgl.
    Status Maß/Integrat-Theorie
    Status Funktionalanalysis
    Status Transformationen
    Status UAnaSon
  Status Uni-Lin. Algebra
    Status Abbildungen
    Status ULinAGS
    Status Matrizen
    Status Determinanten
    Status Eigenwerte
    Status Skalarprodukte
    Status Moduln/Vektorraum
    Status Sonstiges
  Status Algebra+Zahlentheo.
    Status Algebra
    Status Zahlentheorie
  Status Diskrete Mathematik
    Status Diskrete Optimierung
    Status Graphentheorie
    Status Operations Research
    Status Relationen
  Status Fachdidaktik
  Status Finanz+Versicherung
    Status Uni-Finanzmathematik
    Status Uni-Versicherungsmat
  Status Logik+Mengenlehre
    Status Logik
    Status Mengenlehre
  Status Numerik
    Status Lin. Gleich.-systeme
    Status Nichtlineare Gleich.
    Status Interpol.+Approx.
    Status Integr.+Differenz.
    Status Eigenwertprobleme
    Status DGL
  Status Uni-Stochastik
    Status Kombinatorik
    Status math. Statistik
    Status Statistik (Anwend.)
    Status stoch. Analysis
    Status stoch. Prozesse
    Status Wahrscheinlichkeitstheorie
  Status Topologie+Geometrie
  Status Uni-Sonstiges

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenFunktionenUngleichung beweisen
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Informatik • Physik • Technik • Biologie • Chemie
Forum "Funktionen" - Ungleichung beweisen
Ungleichung beweisen < Funktionen < eindimensional < reell < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Funktionen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Ungleichung beweisen: Kurze Aufgabe
Status: (Frage) beantwortet Status 
Datum: 16:52 Mi 27.09.2006
Autor: DrRobotnik

Hallo,

ich sitze vor folgender Aufgabe …

[mm]| sin x - sin y | \le | x - y |[/mm] [mm](x, y \in \IR)[/mm]

… und habe keinen blassen Schimmer, wie ich da rangehen muss.

Kann mir jemand einen Tipp geben?

        
Bezug
Ungleichung beweisen: Antwort
Status: (Antwort) fertig Status 
Datum: 00:00 Do 28.09.2006
Autor: felixf

Hallo DrRobotnik!

> ich sitze vor folgender Aufgabe …
>  
> [mm]| sin x - sin y | \le | x - y |[/mm] [mm](x, y \in \IR)[/mm]
>  
> … und habe keinen blassen Schimmer, wie ich da
> rangehen muss.
>  
> Kann mir jemand einen Tipp geben?

Schau dir mal den Mittelwertsatz der Differentialrechnung an.

LG Felix


Bezug
                
Bezug
Ungleichung beweisen: Rückfrage
Status: (Frage) beantwortet Status 
Datum: 13:56 Do 28.09.2006
Autor: DrRobotnik

Hallo Felix,

> Schau dir mal den Mittelwertsatz der Differentialrechnung
> an.

Hmm, also wirklich weiter hilft mir Dein Tipp nicht. Der Mittelwertsatz lautet ja:

[mm]f'(x_0) = \bruch{f(b) - f(a)}{b - a}[/mm]

In welcher Hinsicht hat dieser Satz jetzt etwas mit der Aufgabe zu tun? (Sorry, aber ich erkenne da nix.)

VG


Bezug
                        
Bezug
Ungleichung beweisen: Antwort
Status: (Antwort) fertig Status 
Datum: 14:47 Do 28.09.2006
Autor: Gonozal_IX

Wenn du Lipschitzstetigkeit schon hattest, geht das recht  fix.

Wenn eine Funktion Lipschitzstetig ist, muss gelten:

[mm]|f(x) - f(y)| \le L|x-y| [/mm] mit [mm]L = sup[|f'(x)|, x \in \IR][/mm]

Hier gilt also: [mm]f(x) = sinx[/mm]

[mm]\Rightarrow f'(x) = cosx [/mm]

[mm]\Rightarrow L := sup[|cos(x)|, x \in \IR] = 1[/mm]

[mm]\Rightarrow |sinx - siny| \le 1*|x-y|[/mm]

Gruß,
Gono.


Bezug
                                
Bezug
Ungleichung beweisen: Kurze Nachfrage (Aufgabe)
Status: (Frage) beantwortet Status 
Datum: 18:42 Fr 29.09.2006
Autor: DrRobotnik

(Dass mit dem "fehlerhaft" ist natürlich Quark, hatte mich verklickt, sorry.)

Eine Aufgabe dieses Typs kommt mit an Sicherheit grenzender Wahrscheinlichkeit in meiner Klausur vor, weshalb ich gerne wissen möchte, ob folgende Lösung dann richtig wäre (Klausuraufgabe):

Zu zeigen: [mm]|x - sinx| \le \bruch{x^2}{2}[/mm] [mm]x \in \IR[/mm]

[mm]f(x) = x[/mm]
[mm]f'(x) = 1[/mm]

[mm]L := sup[|1|, x \in \IR] = 1[/mm]

Woraus folgt: [mm] |x - sinx| \le 1 \cdot \bruch{x^2}{2}[/mm]

Richtig? (Kann mir ehrlich gesagt nicht vorstellen, dass das hinhaut)

Bezug
                                        
Bezug
Ungleichung beweisen: Antwort
Status: (Antwort) fertig Status 
Datum: 22:27 Fr 29.09.2006
Autor: felixf

Hallo!

> (Dass mit dem "fehlerhaft" ist natürlich Quark, hatte mich
> verklickt, sorry.)
>  
> Eine Aufgabe dieses Typs kommt mit an Sicherheit grenzender
> Wahrscheinlichkeit in meiner Klausur vor, weshalb ich gerne
> wissen möchte, ob folgende Lösung dann richtig wäre
> (Klausuraufgabe):
>  
> Zu zeigen: [mm]|x - sinx| \le \bruch{x^2}{2}[/mm] [mm]x \in \IR[/mm]
>  
> [mm]f(x) = x[/mm]
>  [mm]f'(x) = 1[/mm]
>  
> [mm]L := sup[|1|, x \in \IR] = 1[/mm]
>  
> Woraus folgt: [mm]|x - sinx| \le 1 \cdot \bruch{x^2}{2}[/mm]

Warum sollte das folgen? Daraus folgt nur $|f(x) - f(y)| [mm] \le [/mm] 1 [mm] \cdot [/mm] |x - y|$, was aber sowieso klar ist (wenn man mal $f$ einsetzt).

Diese Aufgabe hat nichts mit der anderen zu tun. Du brauchst hier die Taylor-Entwicklung vom Sinus: Schau dir doch mal die Entwicklung von Grad 1 an. Schau dir insbesondere das Restglied an.

LG Felix


Bezug
                                                
Bezug
Ungleichung beweisen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 18:07 Sa 30.09.2006
Autor: DrRobotnik

Hallo Felix,

> Du brauchst hier die Taylor-Entwicklung vom Sinus: Schau dir
> doch mal die Entwicklung von Grad 1 an. Schau dir
> insbesondere das Restglied an.

Gibt es keine Möglichkeit, um Taylor herum zu kommen? Hier wurde ein direkter Lösungsweg empfohlen, was aber wohl nicht auf meine Aufgabe angewandt werden kann, da [mm]x \in \IR[/mm] und nicht [mm]x \ge \IR[/mm].

VG

Bezug
                                                        
Bezug
Ungleichung beweisen: Antwort
Status: (Antwort) fertig Status 
Datum: 00:58 So 01.10.2006
Autor: felixf

Hallo DrRobotnik!

> > Du brauchst hier die Taylor-Entwicklung vom Sinus: Schau
> dir
> > doch mal die Entwicklung von Grad 1 an. Schau dir
> > insbesondere das Restglied an.
>  
> Gibt es keine Möglichkeit, um Taylor herum zu kommen?

Warum? Mit Taylor ist das ein Zweizeiler.

> Hier wurde ein direkter
> Lösungsweg empfohlen, was aber wohl nicht auf meine Aufgabe
> angewandt werden kann, da [mm]x \in \IR[/mm] und nicht [mm]x \ge \IR[/mm].

Da war ein anderer Loesungsweg wohl auch angebracht, das es mit Taylor nicht direkt ging. Hier aber bist du nach einmal Taylor anwenden fast sofort fertig.

LG Felix


Bezug
                                                                
Bezug
Ungleichung beweisen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 12:59 So 01.10.2006
Autor: DrRobotnik

Hallo Felix,
  

> Warum? Mit Taylor ist das ein Zweizeiler.

Tja, das ist ja mein Problem. ;-) Im Script wird Taylor zwar erwähnt, aber Aufgaben gab's dazu nicht. Und in meinen Mathebüchern werden ähnliche Beispielaufgaben auch nicht aufgeführt. Ich habe zwar den Theorie vor mir liegen, aber überhaupt keine Ahnung, wie ich das anwenden kann.

Wäre wirklich nett, wenn mir das jemand an dieser oder einer anderen, ähnlichen Aufgabe erklären könnte. :-)

VG


Bezug
                                                                        
Bezug
Ungleichung beweisen: tipp ohne Taylor
Status: (Antwort) fertig Status 
Datum: 15:52 So 01.10.2006
Autor: Brinki

Tipp 1:
x und y sind doch zwei Bogenlängen (falls <0 sind sie halt negativ). In der angefügten Skizze ist x grün.
sin x und sin y sind y-Koordinaten der Punkte auf dem Einheitskreis, die durch die Bögen x bzw. y eindeutig vorgegeben sind. (In der Skizze der Punkt im Kreis bei dem schwarz, blau und grün zusammentreffen.)
Tipp 2:
Betrachte die Betragsfunktion als Abstandsfunktion. Dann hast du einmal den Abstand der (ausgerollten) Bogenlängen und im anderen Fall den Abstand der y-Werte der oben beschriebenene Punkte.  
Letztendlich interessant sind nur die x-y-Paare, deren Differenz betragsmäßig kleiner als 2 ist, sonst ist die Ungleichung klar.
Tipp 3:
Die Bögen kann man nach unten auch durch die entsprechende Kreissehne abschätzen. Dann läuft, denke ich , die Arbeit auf den Einsatz der Dreiecksungleichung hinaus.

Hier bleibt für dich noch etwas Arbeit. Vielleicht konnte ich helfen.

Grüße
Brinki

Dateianhänge:
Anhang Nr. 1 (Typ: jpg) [nicht öffentlich]
Bezug
                                                                        
Bezug
Ungleichung beweisen: Loesung mit Taylor
Status: (Antwort) fertig Status 
Datum: 18:47 So 01.10.2006
Autor: felixf

Hallo DrRobotnik!

> > Warum? Mit Taylor ist das ein Zweizeiler.
>  
> Tja, das ist ja mein Problem. ;-) Im Script wird Taylor
> zwar erwähnt, aber Aufgaben gab's dazu nicht.

Dann waer das mal ne schoene Aufgabe, um Taylor zu benutzen ;-)

Da [mm] $\sin [/mm] x$ zweimal stetig diffbar ist, gibt es zu jedem $x$ ein [mm] $\delta$ [/mm] zwischen $0$ und $x$ mit [mm] $\sin [/mm] x = [mm] \sin [/mm] 0 + [mm] (\sin' [/mm] 0) x + [mm] \frac{\sin'' \delta}{2} x^2$ [/mm] (hier ist der Entwicklungspunkt 0). Nun ist [mm] $\sin [/mm] 0 = 0$ und [mm] $\sin' [/mm] 0 = [mm] \cos [/mm] 0 = 1$, und somit hast du [mm] $|\sin [/mm] x - x| = [mm] \left| \frac{-\sin \delta}{2} x^2 \right|$. [/mm] So. Nun ist [mm] $|\sin \delta| \le [/mm] 1$ fuer jedes [mm] $\delta$, [/mm] womit [mm] $|\sin [/mm] x - x| [mm] \le |x^2/2| [/mm] = [mm] \frac{x^2}{2}$ [/mm] fuer jedes $x [mm] \in \IR$ [/mm] gilt.

LG Felix


Bezug
                                                                                
Bezug
Ungleichung beweisen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 19:11 So 01.10.2006
Autor: DrRobotnik

Hallo Felix,

vielen Dank erst einmal für Deine Antwort, welche ich leider (fast) nicht verstanden habe. ;-)

> Da [mm]\sin x[/mm] zweimal stetig diffbar ist, gibt es zu jedem [mm]x[/mm]
> ein [mm]\delta[/mm] zwischen [mm]0[/mm] und [mm]x[/mm] mit [mm]\sin x = \sin 0 + (\sin' 0) x + \frac{\sin'' \delta}{2} x^2[/mm]
> (hier ist der Entwicklungspunkt 0).

Warum muss [mm]sin x[/mm] zweimal stetig diffbar sein? (D.h., warum wähle ich n = 2?)
Wieso ist Dein [mm]x_0[/mm] gleich 0? Wonach suche ich denn [mm]x_0[/mm]?
Vielleicht hast Du ja kurz die Zeit, mir das so zu erklären, als wäre ich 6 Jahre alt. ;-) :-)

VG

Edit: Ist [mm]x_0[/mm] = 0, weil sinx zwischen -1 und 1 liegt und f zwischen [mm](x_0-\delta, x_0+\delta)[/mm] liegen muss?


Bezug
                                                                                        
Bezug
Ungleichung beweisen: Antwort
Status: (Antwort) fertig Status 
Datum: 22:58 So 01.10.2006
Autor: ullim


> Hallo Felix,
>  
> vielen Dank erst einmal für Deine Antwort, welche ich
> leider (fast) nicht verstanden habe. ;-)
>  
> > Da [mm]\sin x[/mm] zweimal stetig diffbar ist, gibt es zu jedem [mm]x[/mm]
> > ein [mm]\delta[/mm] zwischen [mm]0[/mm] und [mm]x[/mm] mit [mm]\sin x = \sin 0 + (\sin' 0) x + \frac{\sin'' \delta}{2} x^2[/mm]
> > (hier ist der Entwicklungspunkt 0).
>  
> Warum muss [mm]sin x[/mm] zweimal stetig diffbar sein? (D.h., warum
> wähle ich n = 2?)

Die Sinus Funktion muss nicht zweimal stetig differenzierbar sein, sondern sie ist unendlich oft differenzierbar. Diese Eigenschaft wird von Felix ausgenutzt um die Taylorreihe überhaupt entwickeln zu können. Da Du eine Abschätzung suchst, die [mm] x^2 [/mm] enthält, bietet sich doch an, die Taylorreihe so zu entwickeln, dass ein quadratisches Restglied bleibt.


>  Wieso ist Dein [mm]x_0[/mm] gleich 0? Wonach suche ich denn [mm]x_0[/mm]?

[mm] x_0 [/mm] wird deshalb 0 gewählt, weil sonst die Taylorreihe Glieder mit [mm] (x-x_0) [/mm] und [mm] x_0\ne [/mm] 0 enthalten würde, z.B (x-1) was bei der gesuchten Abschätzung aber nicht der Fall ist.

>  Vielleicht hast Du ja kurz die Zeit, mir das so zu
> erklären, als wäre ich 6 Jahre alt. ;-) :-)
>  
> VG
>  
> Edit: Ist [mm]x_0[/mm] = 0, weil sinx zwischen -1 und 1 liegt und f
> zwischen [mm](x_0-\delta, x_0+\delta)[/mm] liegen muss?
>  

Nein, damit hat es nichts zu tunn, siehe oben.


mfg ullim

Bezug
                                                                                                
Bezug
Ungleichung beweisen: Ein letztes Mal nachgefragt
Status: (Frage) beantwortet Status 
Datum: 22:02 Mi 04.10.2006
Autor: DrRobotnik

Sorry, aber diese Aufgabe lässt mich nicht los. (Z.Z.: [mm]|x - sinx| \le \bruch{x^2}{2} \quad x \in \IR[/mm] )

Für Taylor gilt: [mm]f(x) = \summe_{k=0}^{\infty} \bruch{f^{(k)}(x_0)}{k!} \cdot (x - x_0)^k[/mm]

Demnach komme ich für [mm]n = 2[/mm] und [mm]x_0 = 0[/mm] auf folgendes:

[mm]sinx = \bruch{sin(0)}{1} + \bruch{cos(0)}{1} \cdot x + \bruch{-sin(0)}{2} \cdot x^2[/mm]

Macht: [mm]sinx = x \quad[/mm](für n = 2)

Entweder, ist hier irgendwo ein Fehler drin, oder ich verstehe einfach nicht, wie Ihr auf [mm]\bruch{x^2}{2}[/mm] kommt.

Es wäre wirklich nett, wenn mir das noch mal jemand kurz erklären könnte.

MERCI!

Bezug
                                                                                                        
Bezug
Ungleichung beweisen: Antwort
Status: (Antwort) fertig Status 
Datum: 23:43 Mi 04.10.2006
Autor: ullim

Hi DrRobotik,

wenn Du die Taylorreihe bis zur ersten Ordnung entwickelst, dann bleibt für den Rest der Reihe ein Restglied in der Form übrig, wie  beschrieben. Das Restglied wird allerdings nicht um 0 sondern um einen Wert aus dem Intervall [0, x] berechnet. Also zu
[mm] \frac{\sin'' \delta}{2} x^2 [/mm]

[mm] \delta \in [/mm] [0,x]

Dieses Restglied ist dann kleiner oder gleich [mm] \bruch{x^2}{2}. [/mm]

Falls [mm] \delta=0 [/mm] gelten sollte wie von Dir angegeben, ist das Restglied übrigens auch [mm] \le \bruch{x^2}{2} [/mm]

mfg ullim


Bezug
                                                                                                                
Bezug
Ungleichung beweisen: Ein allerletztes Mal ;-)
Status: (Frage) beantwortet Status 
Datum: 00:25 Do 05.10.2006
Autor: DrRobotnik

Hallo,

aaaalso, ich hätte da noch eine Frage zum [mm]\delta[/mm]: Hat Felix das [mm]\delta[/mm] so gewählt, dass [mm]sin'' \delta = -sin \delta[/mm] gleich 1 ergibt, so dass wir [mm]\bruch{x^2}{2}[/mm] erhalten?

Und ist die Restgliedberechnung in diesem Fall überhaupt nötig?

Danke schon einmal. :-)

Bezug
                                                                                                                        
Bezug
Ungleichung beweisen: Antwort
Status: (Antwort) fertig Status 
Datum: 05:13 Do 05.10.2006
Autor: felixf

Hallo DrRobotnik!

> aaaalso, ich hätte da noch eine Frage zum [mm]\delta[/mm]: Hat Felix
> das [mm]\delta[/mm] so gewählt, dass [mm]sin'' \delta = -sin \delta[/mm]
> gleich 1 ergibt, so dass wir [mm]\bruch{x^2}{2}[/mm] erhalten?

Nee, waehlen kann man da naemlich nicht viel. Ich hab ausgenutzt, dass [mm] $\sin'' [/mm] = [mm] -\sin$ [/mm] ist und das der Sinus immer hoechstens Betrag 1 hat. Damit kann man [mm] $|\sin'' \delta|$ [/mm] fuer jedes beliebige [mm] $\delta$ [/mm] durch 1 nach oben abschaetzen.

> Und ist die Restgliedberechnung in diesem Fall überhaupt
> nötig?

Ja, weil du ansonsten noch ganz viele andere Reihenglieder hast mit denen du (erstmal) nix anfangen kannst.

Uebrigens: Die Funktion ist im Allgemeinen nicht gleich ihrer Taylorreihe. Das gilt nur bei ganz speziellen Funktionen. Fuer [mm] $\sin$, $\cos$ [/mm] und [mm] $\exp$ [/mm] gilt es aber immer. Und mit der Restgliedformel kann man die Funktion auch hinschreiben, solange sie oft genug stetig differenzierbar ist.

LG Felix


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Funktionen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.unimatheforum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]