www.matheraum.de
Das Matheforum.
Das Matheforum des MatheRaum.

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
Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenReelle Analysis mehrerer VeränderlichenDifferenzierbarkeit 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" - Differenzierbarkeit im R^n
Differenzierbarkeit im R^n < mehrere Veränderl. < reell < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Reelle Analysis mehrerer Veränderlichen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Differenzierbarkeit im R^n: Verständnisfrage
Status: (Frage) beantwortet Status 
Datum: 15:57 Mo 19.07.2010
Autor: Mathenator

Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.


Hallo @ all,

ich habe eine Frage zum differenzieren im [mm] R^n: [/mm]
Es gibt ja (zumindest soweit wir es bei uns in der Vorlesung hatten) 3 Arten von differenziationen: Die parielle Ableitung, die totale Ableitung und die stetig partielle Ableitung.
Die partielle Ableitung am Pkt a in Richtung [mm] \vec{v} [/mm] ist, wenn ich das richtig verstanden habe, genau dann vorhanden, wenn [mm] \limes_{t\rightarrow 0} (f(a+t*\vec{v})-f(a))/t [/mm] existiert und dieser Grenzwert ist dann auch die Ableitung. Hier meine erste Frage: Muss f in a stetig sein, damit die partielle Ableitung existiert?
Dann gibt es die totale Ableitung. Damit die totale Ableitung in einem Punkt a existiert, muss die Funktion f in a stetig sein und die partielle Ableitung in alle Richtungen existieren. Stimmt das soweit? Wie berechne ich dann die totale Ableitung?
Als drittes gibt es noch die stetig partielle Ableitung. f ist in a stetig partiell ableitbar, wenn die partiellen Ableitungen in a in richtung [mm] x_{i} [/mm] stetig sind. Ist das so richtig?
Als letzte Frage (oh Gott, ist das schon viel) möchte ich noch wissen, was i.A. gemeint ist, wenn da steht "ist f in a differenzierbar?" Welche Differenzierbarkeit ist damit gemeint?

Vielen Dank an alle, die versuchen, mir weiterzuhelfen.

Liebste Grüße
der Mathenator

        
Bezug
Differenzierbarkeit im R^n: Antwort
Status: (Antwort) fertig Status 
Datum: 16:14 Mo 19.07.2010
Autor: fred97


> Ich habe diese Frage in keinem Forum auf anderen
> Internetseiten gestellt.
>  
>
> Hallo @ all,
>  
> ich habe eine Frage zum differenzieren im [mm]R^n:[/mm]
>  Es gibt ja (zumindest soweit wir es bei uns in der
> Vorlesung hatten) 3 Arten von differenziationen: Die
> parielle Ableitung, die totale Ableitung und die stetig
> partielle Ableitung.
>  Die partielle Ableitung am Pkt a in Richtung [mm]\vec{v}[/mm] ist,
> wenn ich das richtig verstanden habe, genau dann vorhanden,
> wenn [mm]\limes_{t\rightarrow 0} (f(a+t*\vec{v})-f(a))/t[/mm]
> existiert und dieser Grenzwert ist dann auch die Ableitung.


  aber nicht die totale Ableitung von f in a, sondern die Richtungsableitung von f in a  in [mm] Richtung\vec{v} [/mm]



> Hier meine erste Frage: Muss f in a stetig sein, damit die
> partielle Ableitung existiert?

Nein. Beispiel:

                  $f(x,y) = [mm] \bruch{xy}{x^2+y^2}$ [/mm] für (x,y) [mm] \ne [/mm] (0,0) und f(0,0)=0

f ist in (0,0) nicht stetig, aber die partiellen Ableitungen [mm] f_x(0,0) [/mm] und [mm] f_y(0,0) [/mm] existieren

>  Dann gibt es die totale Ableitung. Damit die totale
> Ableitung in einem Punkt a existiert, muss die Funktion f
> in a stetig sein und die partielle Ableitung in alle
> Richtungen existieren. Stimmt das soweit?



Ja, man kann zeigen : ist f in a total differenzierbar [mm] \Rightarrow [/mm] f ist in a stetig und f hat in a Richtungsableitungen in jeder Richtung. Aber Vorsicht: die Umkehrung hiervon ist i.a. nicht richtig

>  Wie berechne ich
> dann die totale Ableitung?

Wenn Du mal festgestellt hast, dass f in a total differenzierbar ist, so gilt: $f'(a)= gradf(a)$







>  Als drittes gibt es noch die stetig partielle Ableitung. f
> ist in a stetig partiell ableitbar, wenn die partiellen
> Ableitungen in a in richtung [mm]x_{i}[/mm] stetig sind. Ist das so
> richtig?


Ja


>  Als letzte Frage (oh Gott, ist das schon viel) möchte ich
> noch wissen, was i.A. gemeint ist, wenn da steht "ist f in
> a differenzierbar?" Welche Differenzierbarkeit ist damit
> gemeint?

Die totale


FRED

>  
> Vielen Dank an alle, die versuchen, mir weiterzuhelfen.
>  
> Liebste Grüße
>  der Mathenator


Bezug
                
Bezug
Differenzierbarkeit im R^n: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 16:19 Mo 19.07.2010
Autor: Mathenator

Vielen Dank erstmal soweit. Eine Frage noch:

> >  Wie berechne ich

> > dann die totale Ableitung?
>  
> Wenn Du mal festgestellt hast, dass f in a total
> differenzierbar ist, so gilt: [mm]f'(a)= gradf(a)[/mm]

Wie zeige ich denn, dass die totale Ableitung existiert? Wir hatten in der Vorlesung nur eine sehr praxisfremde Definition :(

Gruß
Mathenator

Bezug
                        
Bezug
Differenzierbarkeit im R^n: Antwort
Status: (Antwort) fertig Status 
Datum: 16:20 Mo 19.07.2010
Autor: fred97


> Vielen Dank erstmal soweit. Eine Frage noch:
>  
> > >  Wie berechne ich

> > > dann die totale Ableitung?
>  >  
> > Wenn Du mal festgestellt hast, dass f in a total
> > differenzierbar ist, so gilt: [mm]f'(a)= gradf(a)[/mm]
>  
> Wie zeige ich denn, dass die totale Ableitung existiert?
> Wir hatten in der Vorlesung nur eine sehr praxisfremde
> Definition :(


Na dann mal her damit ................


FRED

>  
> Gruß
>  Mathenator


Bezug
                                
Bezug
Differenzierbarkeit im R^n: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 16:45 Mo 19.07.2010
Autor: Mathenator

Unsere Definition:
Seien [mm] B\subset \IR^{m} [/mm] offene Teilmenge und f: [mm] B\to \IR^{n} [/mm] eine Abbildung.
Sei a [mm] \in [/mm] B. Eine Abbildung f ist in a (total) differenzierbar, falls es eine lineare Abbildung L: [mm] \IR^{m} \to \IR^{n} [/mm] gibt und eine Abbildung r: B [mm] \to \IR^{n} [/mm] gibt, so dass gilt:
1) f(x)-f(a)=L(x-a)+r(x), [mm] x\in [/mm] B
2) [mm] \limes_{x\rightarrow a} (r(x))/\parallel [/mm] x-a [mm] \parallel=0 [/mm]
Und dann f ist total diffbar, wenn es in allen Punkten [mm] a\in [/mm] B total diffbar ist.

Bezug
                                        
Bezug
Differenzierbarkeit im R^n: Antwort
Status: (Antwort) fertig Status 
Datum: 16:53 Mo 19.07.2010
Autor: fred97


> Unsere Definition:
> Seien [mm]B\subset \IR^{m}[/mm] offene Teilmenge und f: [mm]B\to \IR^{n}[/mm]
> eine Abbildung.
>  Sei a [mm]\in[/mm] B. Eine Abbildung f ist in a (total)
> differenzierbar, falls es eine lineare Abbildung L: [mm]\IR^{m} \to \IR^{n}[/mm]
> gibt und eine Abbildung r: B [mm]\to \IR^{n}[/mm] gibt, so dass
> gilt:
>  1) f(x)-f(a)=L(x-a)+r(x), [mm]x\in[/mm] B
>  2) [mm]\limes_{x\rightarrow a} (r(x))/\parallel[/mm] x-a
> [mm]\parallel=0[/mm]



Diese lineare Abbildung L hat (bezgl. der Standardbasen im [mm] \IR^n [/mm] bzw. [mm] \IR^m) [/mm] die Abbildungsmatrix  A

Es ist A = f'(a) = Jacobimatrix von f in a


FRED

>  Und dann f ist total diffbar, wenn es in allen Punkten
> [mm]a\in[/mm] B total diffbar ist.


Bezug
                                                
Bezug
Differenzierbarkeit im R^n: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:00 Mo 19.07.2010
Autor: Mathenator

Okay, vielen Dank erstmal. Werde mir das später nochmal in Ruhe angucken, muss erstmal ein paar andere Dinge erledigen. Hast mir aber soweit schon viel weitergeholfen :)

Gruß
Mathenator

Bezug
                                                
Bezug
Differenzierbarkeit im R^n: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 17:44 Mo 19.07.2010
Autor: gfm


> > Unsere Definition:
> > Seien [mm]B\subset \IR^{m}[/mm] offene Teilmenge und f: [mm]B\to \IR^{n}[/mm]
> > eine Abbildung.
>  >  Sei a [mm]\in[/mm] B. Eine Abbildung f ist in a (total)
> > differenzierbar, falls es eine lineare Abbildung L: [mm]\IR^{m} \to \IR^{n}[/mm]
> > gibt und eine Abbildung r: B [mm]\to \IR^{n}[/mm] gibt, so dass
> > gilt:
>  >  1) f(x)-f(a)=L(x-a)+r(x), [mm]x\in[/mm] B
>  >  2) [mm]\limes_{x\rightarrow a} (r(x))/\parallel[/mm] x-a
> > [mm]\parallel=0[/mm]
>  
>
>
> Diese lineare Abbildung L hat (bezgl. der Standardbasen im
> [mm]\IR^n[/mm] bzw. [mm]\IR^m)[/mm] die Abbildungsmatrix  A
>  
> Es ist A = f'(a) = Jacobimatrix von f in a

Wenn f total diff'bar ist, stimmen die Einträge der Abbildungmatrix von L mit [mm] (\partial_if^{k})(a) [/mm] überein. Und das tut Sie genau dann, wenn die [mm] \partial_if^{k} [/mm] in einer Umgebung von a existieren und bei a stetig sind, richtig?

Und damit muss man nicht den Weg über das Auswerten von f(x)-f(a)=L(x-a)+r(x) gehen, richtig?

LG

gfm

Bezug
                                                        
Bezug
Differenzierbarkeit im R^n: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 18:13 Mo 19.07.2010
Autor: gfm


> Wenn f total diff'bar ist, stimmen die Einträge der
> Abbildungmatrix von L mit [mm](\partial_if^{k})(a)[/mm] überein.
> Und das tut Sie genau dann, wenn die [mm]\partial_if^{k}[/mm] in
> einer Umgebung von a existieren und bei a stetig sind,
> richtig?
>
> Und damit muss man nicht den Weg über das Auswerten von
> f(x)-f(a)=L(x-a)+r(x) gehen, richtig?
>  

Was ist wenn dieses Verfahren für ein [mm] \partial_{i_0}f^{k_{0}} [/mm] fehlschlägt, aber so dass noch nicht die totale Diff'barkeit in Frage gestellt ist, also wenn [mm] \partial_{i_0}f^{k_{0}} [/mm] bei a existiert und stetig ist, aber jede Umgebung Punkte enthält, in denen sie nicht existiert. Geht so etwas? Muss man dann die Matrix von L komplett anders bestimmen?

LG

gfm



Bezug
                                                                
Bezug
Differenzierbarkeit im R^n: Antwort
Status: (Antwort) fertig Status 
Datum: 08:55 Di 20.07.2010
Autor: fred97

Vorgehensweise:

(I) Ist f in a partiell differenzierbar nach allen Variablen ?

Wenn nein, so ist f in a nicht total differenzierbar.

Wenn ja, weiter mit (II)


(II) Mit L:= jacobimatrix von f in a, setze

                    $r(x):=f(x)-f(a)-L(x-a)$

Existiert der Grenzwert   [mm] $\limes_{x\rightarrow a}\bruch{r(x)}{||x-a||} [/mm] $ und ist dieser =0 ?

Wenn ja, so ist f in a total differenzierbar.

Wenn nein, so ist f in a nicht total differenzierbar.


FRED

Bezug
                                                                        
Bezug
Differenzierbarkeit im R^n: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 09:03 Di 20.07.2010
Autor: gfm


> Vorgehensweise:
>  
> (I) Ist f in a partiell differenzierbar nach allen
> Variablen ?
>  
> Wenn nein, so ist f in a nicht total differenzierbar.
>  
> Wenn ja, weiter mit (II)
>  
>
> (II) Mit L:= jacobimatrix von f in a, setze
>  
> [mm]r(x):=f(x)-f(a)-L(x-a)[/mm]
>  
> Existiert der Grenzwert   [mm]\limes_{x\rightarrow a}\bruch{r(x)}{||x-a||}[/mm]
> und ist dieser =0 ?
>  
> Wenn ja, so ist f in a total differenzierbar.
>  
> Wenn nein, so ist f in a nicht total differenzierbar.
>  
>

Danke.

LG

gfm

Bezug
                                                        
Bezug
Differenzierbarkeit im R^n: Antwort
Status: (Antwort) fertig Status 
Datum: 18:18 Mo 19.07.2010
Autor: Marcel

Hallo,

> > > Unsere Definition:
> > > Seien [mm]B\subset \IR^{m}[/mm] offene Teilmenge und f: [mm]B\to \IR^{n}[/mm]
> > > eine Abbildung.
>  >  >  Sei a [mm]\in[/mm] B. Eine Abbildung f ist in a (total)
> > > differenzierbar, falls es eine lineare Abbildung L: [mm]\IR^{m} \to \IR^{n}[/mm]
> > > gibt und eine Abbildung r: B [mm]\to \IR^{n}[/mm] gibt, so dass
> > > gilt:
>  >  >  1) f(x)-f(a)=L(x-a)+r(x), [mm]x\in[/mm] B
>  >  >  2) [mm]\limes_{x\rightarrow a} (r(x))/\parallel[/mm] x-a
> > > [mm]\parallel=0[/mm]

vll. ist Dir die []Definition 19.6 von hier zugänglicher? Sie sagt allerdings nicht wirklich etwas anderes aus (erinnere Dich mal an die Lineare Algebra).
  

> >
> >
> > Diese lineare Abbildung L hat (bezgl. der Standardbasen im
> > [mm]\IR^n[/mm] bzw. [mm]\IR^m)[/mm] die Abbildungsmatrix  A
>  >  
> > Es ist A = f'(a) = Jacobimatrix von f in a
>  
> Wenn f total diff'bar ist, stimmen die Einträge der
> Abbildungmatrix von L mit [mm](\partial_if^{k})(a)[/mm] überein.

Siehe etwa []Satz 19.10.

> Und das tut Sie genau dann, wenn die [mm]\partial_if^{k}[/mm] in
> einer Umgebung von a existieren und bei a stetig sind,
> richtig?

Ich tue mich mit dem "genau dann" gerade etwas schwer. Dass Deine Aussage mit den partiellen Ableitungen hinreichend für totale Diff'barkeit ist, entnimmst Du etwa []Satz 19.13. (Dort steht auch "nur" etwas von Stetigkeit der partiellen Ableitungen im Punkt [mm] $x^{(0)}\,,$ [/mm] was schon weniger ist als die Stetigkeit in einer Umgebung.)
Bei der Umkehrung dieser Aussage bin ich skeptisch (sowohl bzgl. der "Umgebungsvariante" als auch der "Punktvariante"). Mit etwas Recherche bin ich zudem auf
[]dieses hier
gestoßen, d.h. es gibt also in der Tat eine (im Nullpunkt) (total) diff'bare Funktion, deren partiellen Ableitungen dort nicht alle stetig sind. Also notwendig ist Deine Aussage mit den partiellen Ableitungen nicht!

> Und damit muss man nicht den Weg über das Auswerten von
> f(x)-f(a)=L(x-a)+r(x) gehen, richtig?
>  
> LG
>  
> gfm

P.S.:
[]Schöner Link zum Nachlesen

Beste Grüße,
Marcel

Bezug
                                                                
Bezug
Differenzierbarkeit im R^n: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 18:47 Mo 19.07.2010
Autor: gfm


> Hallo,
>  
> > > > Unsere Definition:
> > > > Seien [mm]B\subset \IR^{m}[/mm] offene Teilmenge und f: [mm]B\to \IR^{n}[/mm]
> > > > eine Abbildung.
>  >  >  >  Sei a [mm]\in[/mm] B. Eine Abbildung f ist in a (total)
> > > > differenzierbar, falls es eine lineare Abbildung L: [mm]\IR^{m} \to \IR^{n}[/mm]
> > > > gibt und eine Abbildung r: B [mm]\to \IR^{n}[/mm] gibt, so dass
> > > > gilt:
>  >  >  >  1) f(x)-f(a)=L(x-a)+r(x), [mm]x\in[/mm] B
>  >  >  >  2) [mm]\limes_{x\rightarrow a} (r(x))/\parallel[/mm] x-a
> > > > [mm]\parallel=0[/mm]
>  
> vll. ist Dir die
> []Definition 19.6 von hier
> zugänglicher? Sie sagt allerdings nicht wirklich etwas
> anderes aus (erinnere Dich mal an die Lineare Algebra).
>    
> > >
> > >
> > > Diese lineare Abbildung L hat (bezgl. der Standardbasen im
> > > [mm]\IR^n[/mm] bzw. [mm]\IR^m)[/mm] die Abbildungsmatrix  A
>  >  >  
> > > Es ist A = f'(a) = Jacobimatrix von f in a
>  >  
> > Wenn f total diff'bar ist, stimmen die Einträge der
> > Abbildungmatrix von L mit [mm](\partial_if^{k})(a)[/mm] überein.
>
> Siehe etwa
> []Satz 19.10.
>  
> > Und das tut Sie genau dann, wenn die [mm]\partial_if^{k}[/mm] in
> > einer Umgebung von a existieren und bei a stetig sind,
> > richtig?
>
> Ich tue mich mit dem "genau dann" gerade etwas schwer. Dass
> Deine Aussage mit den partiellen Ableitungen hinreichend
> für totale Diff'barkeit ist, entnimmst Du etwa
> []Satz 19.13.
> (Dort steht auch "nur" etwas von Stetigkeit der partiellen
> Ableitungen im Punkt [mm]x^{(0)}\,,[/mm] was schon weniger ist als
> die Stetigkeit in einer Umgebung.)
>  Bei der Umkehrung dieser Aussage bin ich skeptisch (sowohl
> bzgl. der "Umgebungsvariante" als auch der
> "Punktvariante"). Mit etwas Recherche bin ich zudem auf
>  []dieses hier
>  
> gestoßen, d.h. es gibt also in der Tat eine (im Nullpunkt)
> (total) diff'bare Funktion, deren partiellen Ableitungen
> dort nicht alle stetig sind. Also notwendig ist Deine
> Aussage mit den partiellen Ableitungen nicht!
>  

Ja, da hast Du recht. Man hat also:

Total diff'bar an [mm] Punkt\Rightarrow [/mm] partiell diff'bar an Punkt
Partiell diff'bar in Umgebung um Punkt und stetig partiell diff'bar an [mm] Punkt\Rightarrow [/mm] Total diff'bar an Punkt

In beiden Fällen liefert die Jacobimatrixx die Abbildungmatrix.

LG und Danke

gfm


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


^ Seitenanfang ^
www.matheforum.net
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]