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 Schulmathe
  Status Primarstufe
  Status Mathe Klassen 5-7
  Status Mathe Klassen 8-10
  Status Oberstufenmathe
    Status Schul-Analysis
    Status Lin. Algebra/Vektor
    Status Stochastik
    Status Abivorbereitung
  Status Mathe-Wettbewerbe
    Status Bundeswettb. Mathe
    Status Deutsche MO
    Status Internationale MO
    Status MO andere Länder
    Status Känguru
  Status 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
StartseiteMatheForenIntegrationstheorieGreen
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Deutsch • Englisch • Französisch • Latein • Spanisch • Russisch • Griechisch
Forum "Integrationstheorie" - Green
Green < Integrationstheorie < Maß/Integrat-Theorie < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Integrationstheorie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Green: Beweis
Status: (Frage) überfällig Status 
Datum: 16:33 Sa 30.07.2011
Autor: mikexx

Aufgabe
Hallo, liebe Helferinnen & Helfer!
Ich benötige mal wieder Eure Hilfe!

Die Aufgabe:

Sei [mm]A\subset\mathbb R^n[/mm] ein Kompaktum mit glattem Rand. Angenommen, [mm]\partial A[/mm] ist wegzusammenhängend, also das Bild einer geschlossenen (stetig differenzierbaren) Kurve [mm]\alpha[/mm]. Wir nehmen an, daß [mm]\alpha[/mm] den Rand von A gegen den Uhrzeigersinn durchläuft, daß also A immer links von [mm]\alpha[/mm] liegt. Sei [mm]f=(f_1,f_2)[/mm] ein [mm]C^1[/mm] - Vektorfeld. Zeigen Sie mit Hilfe des Gaußschen Integralsatzes, daß:

[mm]\int_{A}rotf=\int_{\alpha}f[/mm], wobei [mm]rotf:=\frac{\partial f_2}{\partial x}-\frac{\partial f_1}{\partial y}[/mm], also

[mm]\int_{A}\left(\frac{\partial f_2}{\partial x}-\frac{\partial f_1}{\partial y}\right)d(x,y)=\int_{\alpha}f_1dx+f_2dy[/mm].

Ich habe darüber ein bisschen schon nachgedacht und bin (bis jetzt) zu Folgendem gekommen:

Zunächst gilt doch mit der orthogonalen Matrix

[mm]M:=\begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix}[/mm], daß

[mm]\int_A \left(\frac{\partial f_2}{\partial x}-\frac{\partial f_1}{\partial y}\right)=\int_A \operatorname{div}(Mf)=\int_{\partial A} dS[/mm], wobei hier v der äußere Einheitsnormalenvektor sein soll. Hier wird der Integralsatz von Gauß angewandt.

Jetzt steht ich ein bisschen auf dem Schlauch!
Insbesondere frage ich mich, ob es relevant ist, dass die Kurve [mm]\alpha[/mm] den Rand gegen den Uhrzeigersinn parametrisiert.

Intuitiv würde ich jetzt so weiter machen, wobei ich nicht genau weiß, ob vor das Integral eventuell ein Minus gehört (wegen "gegen den Uhrzeigersinn"):

[mm] = \int_{\alpha}<(Mf)(\alpha(t)),v(\alpha(t))> dt[/mm]

Weiter gilt meiner Meinung nach:

[mm]v(\alpha(t))=M\alpha'(t) [/mm], da ja der äußere Einheitsnormalenvektor sozusagen durch eine 90 Grad - Drehung aus dem Tangentialvektor [mm]\alpha'(t)[/mm] hervorgeht. Auch hier bin ich mir nicht sicher! Denn der Tangentialvektor ist ja nicht normiert, der äußere Einheitsnormalenvektor schon, also reicht wohl schlichtes Drehen nicht aus, um aus dem Tangentialvektor den äußeren Einheitsnormalenvektor zu erhalten...

Weiter würde ich dann - wenn ich diese offenen Fragen mal außer Betracht lasse - die Behauptung erhalten, denn der Integrand (das Skalarprodukt) ist ja nichts Anders als

[mm]f_2(\alpha(t))\alpha_2'(t)+f_1(\alpha(t))\alpha_1'(t)[/mm] und das Kurvenintegral einer Pfaffschen Form ist ja gerade so definiert.



Wer kann bitte für mehr Klarheit sorgen?

Vielen Dank für jede Mühe!



        
Bezug
Green: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:20 Mo 01.08.2011
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Integrationstheorie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


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