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 Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

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
Dt. Schulen im Ausland: Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenReelle Analysis mehrerer VeränderlichenProdukregel im R^n
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Philosophie • Religion • Kunst • Musik • Sport • Pädagogik
Forum "Reelle Analysis mehrerer Veränderlichen" - Produkregel im R^n
Produkregel im R^n < mehrere Veränderl. < reell < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Reelle Analysis mehrerer Veränderlichen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Produkregel im R^n: Hilfe im Beweis
Status: (Frage) beantwortet Status 
Datum: 19:50 Mi 07.05.2014
Autor: xxgenisxx

Aufgabe
Zeigen Sie: Sind f; g : Rn -> R in x0 aus Rn differenzierbar, so auch das Produkt fg.
Berechnen Sie dessen Ableitung.

Nun ja ich habs es mit Hilfe der Definiton der Differenzierbarkeit versucht:
f diffbar bedeutet:
f(x)=f(x0)+f´(x0)(x-x0)+rest(der in x0 null ist)
Analog:
g(x)=g(x0)+g´(x0)(x-x0)
(abermals ist der rest immer 0 da sie in allen x0 Diffbar sind)

Ich setze nun f mal g:
fg(x)=fg(x0)+ f´(x0)(x-x0)g(x0)+g´(x)(x-x0)f(x0)+f´(x0)(x-x0)g´(x)(x-x0)

Der erste Summand gefällt mir schon gut, aber mir feht die Idee, wie ich die Restlichen so umformen kann, dass ich ne schöne lineare Funktion bekomm (also die Ableitung).

Ich wäre für jeden Tipp dankbar und habe die Frage sonst nirgends gestellt ;)

        
Bezug
Produkregel im R^n: Antwort
Status: (Antwort) fertig Status 
Datum: 00:54 Do 08.05.2014
Autor: Marcel

Hallo,

> Zeigen Sie: Sind f; g : Rn -> R in x0 aus Rn
> differenzierbar, so auch das Produkt fg.
>  Berechnen Sie dessen Ableitung.
>  Nun ja ich habs es mit Hilfe der Definiton der
> Differenzierbarkeit versucht:
>  f diffbar bedeutet:
>  f(x)=f(x0)+f´(x0)(x-x0)+rest(der in x0 null ist)
>  Analog:
>  g(x)=g(x0)+g´(x0)(x-x0)
>  (abermals ist der rest immer 0 da sie in allen x0 Diffbar
> sind)

das ist Schmierzetteltauglich, aber auch nicht mehr. (Das heißt nicht, dass
die Schmierzettelüberlegungen sinnlos sind - es heißt nur, dass Du das so
niemals irgendwo abgeben solltest, sofern ein Mindestanspruch auf
Präzision gelegt wird.)

    []Definition 19.6

Da steht vor allem drin, dass die "Restfunktion" stetig in [mm] $x_0$ [/mm] sein soll -
und eigentlich steht nach dieser "Restfunktion" auch noch ein Faktor; man
sollte dieses Ding vielleicht daher eher "Rest-Faktor-Funktion" nennen...
(Und bei Deiner Notation müsste man schon aufpassen, denn es gibt nicht
eine [gemeinsame] "Rest-Faktor-Fkt." für [mm] $f\,$ [/mm] und [mm] $g\,,$ [/mm] sondern es gibt
eine solche für [mm] $f\,$ [/mm] und eine für [mm] $g\,.$) [/mm] Und vor allem steht da was anders
wie das, was bei Dir steht...
  

> Ich setze nun f mal g:

Du meinst: Du berechnest [mm] $f*g\,$ [/mm] mit obigem Ansatz (der zu korrigieren ist!)

>  fg(x)=fg(x0)+
> f´(x0)(x-x0)g(x0)+g´(x)(x-x0)f(x0)+f´(x0)(x-x0)g´(x)(x-x0)
>  
> Der erste Summand gefällt mir schon gut, aber mir feht die
> Idee, wie ich die Restlichen so umformen kann, dass ich ne
> schöne lineare Funktion bekomm (also die Ableitung).

Ich sag's mal so:
Wenn Du doch (aber dafür korrigiere insbesondere Deine obigen Formeln)

    $(f * [mm] g)(x)=\underbrace{(f*g)(x_0)}_{=f(x_0)*g(x_0)}+f(x_0)*(x-x_0)g(x_0)+f(x_0)g'(x_0)(x-x_0)+...$ [/mm]
    (Du hattest da einmal [mm] $(x-x_0)$ [/mm] zuviel (rotmarkiert) - und der Faktor
    [mm] $|x-x_0|$ [/mm] steht bei Dir nicht, was aber evtl. an Eurer Definition liegt...)

hast (beachte übrigens, dass da [mm] $(x-x_0)$ [/mm] eine "Vektordifferenz" ist: Eigtl.
schreibt man nämlich nicht "Vektor Mal Skalar" - sondern umgekehrt, wobei
sich daran aber auch sicher niemand wirklich stören würde...),
so schaust Du erst nochmal in die Definition 19.6 von oben und wirst wohl
auch intuitiv - mit Erinnerung an die Schule - vermuten, dass wohl

    [mm] $\red{(f*g)'(x_0)=f'(x_0)*g(x_0)+f(x_0)*g'(x_0)}$ [/mm]

sein wird, also schreibst Du (das ist ja nur eine einfache Umformung)

   $(f * [mm] g)(x)=\underbrace{(f*g)(x_0)}_{=f(x_0)*g(x_0)}+(\red{f'(x_0)g(x_0)+f(x_0)g'(x_0)})*(x-x_0)+...$ [/mm]

Jetzt hast Du ja einen Ausdruck bei den ... am Ende stehen:
Diesen solltest Du dann (wenn wir nach obiger Def. 19.6 arbeiten) in die
Form

    [mm] $...=\tilde{\varepsilon}(x)*|x-x_0|$ [/mm]

bringen können, und hast dann noch zu begründen, dass

    die Funktion [mm] $\tilde{\varepsilon}(x)$ [/mm] stetig in [mm] $x_0$ [/mm] mit [mm] $\tilde{\varepsilon}(x_0)=0$ [/mm]

ist. Dann bist Du fertig.

Damit es vielleicht klarer wird:
Du müsstest bspw. anfangen, dass gilt

    [mm] $f(x)=f(x_0)+f'(x_0)*(x-x_0)+\varepsilon_f(x)*|x-x_0|\,,$ [/mm]

wobei

    [mm] $\red{\varepsilon_f(x)}$ [/mm] eine in [mm] $x_0$ [/mm] STETIGE Funktion MIT ZUDEM [mm] $\red{\varepsilon_f(x_0)=0}$ [/mm] ist!
(Den ersten Teil, die Stetigkeit der "Rest-Faktor-Funktion", wurde bei Dir
nämlich komplett unterschlagen!)

P.S. Vielleicht steht bei Euch "wirklich" eine "Restfunktion", aber dann
habt ihr sicher noch irgendeine Ergänzung mit etwa dem Landau-Symbol
dabeistehen. Daher wäre es eigentlich am Besten so:
Schreibe genau Eure Definition der Diff'barkeit und verwende diese, um
genau hinzuschreiben, welche Voraussetzungen Du per Definitionem an
[mm] $f\,$ [/mm] und [mm] $g\,$ [/mm] kennst.
Schreibe Dir mal auf, was Du per Definitionem nachzuweisen hast. Und
dann rechne (so, wie Du es oben getan hast) und schau' nach, was es
dann noch zu begründen gibt, um den Beweis zu vervollständigen. Die
Formel hast Du dann insbesondere mit drin stehen!

Gruß,
  Marcel

Bezug
                
Bezug
Produkregel im R^n: Danke
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 14:06 Do 08.05.2014
Autor: xxgenisxx

Puh das ist eine Lange Antwort, danke ;)

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Reelle Analysis mehrerer Veränderlichen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


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