Phrase verte – Wikipedia

before-content-x4

Le Set de vert (aussi Formule de Green-Riemann ou Lemme de vert , parfois aussi Phrase de Gauß-Green ) permet à l’intégrale d’exprimer l’intégrale sur une surface plane à travers une intégrale d’angle. La peine est un cas particulier de la peine Stokes. Pour la première fois, il a été formulé et prouvé en 1828 par George Green Un essai sur l’application de l’analyse mathématique aux théories de l’électricité et du magnétisme .

Compact D Au niveau xy avec des sections d’un bord lisse C .
after-content-x4

Peut être

D {displayStyle d}

Un compact au niveau xy avec des sections d’un bord lisse

D = C {displayStyle partiel d = c}

(voir figure). Continuer

F , g : D R {DisplayStyle F, gcolon dto mathbb {r}}

Fonctions constantes avec le également sur

D {displayStyle d}

Dérivations partielles stables

after-content-x4
fy( X , et ) {displayStyle {tfrac {partiel f} {partial y}} (x, y)}

et

gx( X , et ) {displayStyle {tfrac {partial g} {partiel x}} (x, y)}

. Ensuite, ce qui suit s’applique:

Ça veut dire

CF ( X , et ) d X {displaystyle textstyle oint _ {c} f (x, y), mathrm {d} x}

Le long de l’intégrale du coin

C {DisplayStyle C}

depuis

F ( X , et ) C’est X {displayStyle f (x, y) cdot e_ {x}}

, aussi

CF ( X , et ) d X = abF ( c x( t ) , c y( t ) ) γ˙x( t ) d t {displaystyle textstyle oint _ {c} f (x, y), mathrm {d} x = int _ {a} ^ {b} f (gamma _ {x} (t), gamma _ {y} (t)) CDOT {dot {gamma}} _ {x} (t) mathrm {d}

, chutes

C {DisplayStyle C}

Par un morceau de différentes façons de différencier la courbe

c = ( c X , c et ) : [ un , b ]] C {displayStyle gamma = (gamma _ {x}, gamma _ {y}): [a, b] à c}

est décrit. Analogique devient

Cg ( X , et ) d et {DisplayStyle Text Style Oint _ {C} g (x, y), Mathrm {d} y}

Sont définis.

Pour le cas spécial que l’intégrand

F ( X , et ) d X + g ( X , et ) d et {displayStyle f (x, y), mathrm {d} x + g (x, y), mathrm {d} y}

Dans la courbe intégrale à droite, le différentiel total

d dans ( X , et ) {displayStyle Mathrm {d} u (x, y)}

une fonction scalaire

dans ( X , et ) {displayStyle u (x, y)}

représente, d. H. C’est

F ( X , et ) = ux( X , et ) {displayStyle f (x, y) = {tfrac {partial u} {partiel x}} (x, y)}

et

g ( X , et ) = uy( X , et ) {displayStyle g (x, y) = {tfrac {partial u} {partiel y}} (x, y)}

suit après
Ensemble de noir (interchangeabilité de l’ordre des dérivations de

dans ( X , et ) {displayStyle u (x, y)}

après

X {displaystyle x}

et

et {displaystyle y}

), ce

doit être. Avec cela devient

gx( X , et ) = fy( X , et ) {displayStyle {tfrac {partiel g} {partiel x}} (x, y) = {tfrac {partial f} {partial y}} (x, y)}

, de sorte que l’intégrale de surface à gauche et donc l’intégrale de la courbe à droite sur le chemin fermé devient nulle, i. H. La valeur de la fonction

dans ( X , et ) {displayStyle u (x, y)}

n’a pas changé.

De tels changements fonctionnels à deux dimensions indépendants se produisent, par exemple, dans la thermodynamique lors de l’examen des processus circulaires, où

dans {displaystyle u}

Appuyez ensuite sur l’énergie intérieure ou l’entropie du système.

Pour les champs de potentiel scalaire à trois dimensions

dans ( X , et , Avec ) {DisplayStyle u (x, y, z)}

, comme ils sont en mécanique z. B. Le champ de puissance conservateur d’un potentiel gravitationnel newtonien

Phi {displaystyle phi}

Décrivez, l’indépendance du chemin peut être prouvée de manière similaire à la phrase plus générale de Stokes.

Zone [ Modifier | Modifier le texte source ]]

Tu choisis

F ( X , et ) = 0 {displayStyle f (x, y) = 0,}

et

g ( X , et ) = X {displayStyle g (x, y) = x,}

, les dérivations partielles sont

fy( X , et ) = 0 {displayStyle {tfrac {partiel f} {partiel y}} (x, y) = 0}

et

gx( X , et ) = d’abord {displayStyle {tfrac {partiel g} {partiel x}} (x, y) = 1}

. Les intégrales décrivent ensuite la zone de la zone de

D {displayStyle d}

, qui est clairement déterminé par le cours de la courbe de bord et peut être calculé par une intégrale d’angle au lieu d’une double intégrale:

Tu choisis

F ( X , et ) = et {displayStyle f (x, y) = – y,}

et

g ( X , et ) = 0 {displayStyle g (x, y) = 0,}

Alors tu as analogue

Si vous ajoutez les deux résultats, vous obtenez la formule sectorielle de Leibniz pour une courbe fermée:

Zone de la zone [ Modifier | Modifier le texte source ]]

Tu choisis

F ( X , et ) = 0 {displayStyle f (x, y) = 0,}

et

g ( X , et ) = X 2 / / 2 {displayStyle g (x, y) = x ^ {2} / 2,}

, les dérivations partielles sont

fy( X , et ) = 0 {displayStyle {tfrac {partiel f} {partiel y}} (x, y) = 0}

et

gx( X , et ) = X {displayStyle {tfrac {partiel g} {partiel x}} (x, y) = x}

. Alors vous pouvez faire le

X {displaystyle x}

-Coordonnée de la zone de la région

D {displayStyle d}

Calculez par une intégrale d’angle:

Par conséquent

F ( X , et ) = et 2 / / 2 {displayStyle f (x, y) = – y ^ {2} / 2,}

et

g ( X , et ) = 0 {displayStyle g (x, y) = 0,}

pour le

et {displaystyle y}

-Coordonnée de la zone de la région

D {displayStyle d}

:

Ce principe est également utilisé dans les planifications ou les intégrants pour déterminer la zone de l’espace et une zone d’ordre supérieur.

  • Otto Forster: Analyse. Bande 3: Théorie de la mesure et de l’intégration, les taux intégraux dans R n et applications , 8. édition améliorée. Springer Spectrum, Wiesbaden, 2017, ISBN 978-3-658-16745-5.
after-content-x4