全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示 Français 版。

Mathématiques · 术语表

什么是 Formes exactes et fermées?

又称: forme exacte · potentiel · forme fermée

Définition 20.5 Mathématiques universitaires — Licence 2 · 第 20 章 — Intégrales curvilignes et intégrales multiples

La forme ω=P  ⁣dx+Q  ⁣dy\omega = P\,\dd x + Q\,\dd y de classe C0\mathcal{C}^0 est exacte sur UU s’il existe f∈C1(U)f \in \mathcal{C}^1(U) (un potentiel) tel que ω= ⁣df\omega = \dd f, c.-à-d. P=fxP = f_x et Q=fyQ = f_y. Une forme C1\mathcal{C}^1 est fermée si Py=QxP_y = Q_x sur UU.

示例

Exemple 20.7 (Reconstruction d’un potentiel)

Soit ω=y exy  ⁣dx+(x exy+2y)  ⁣dy\omega = y\,\eu^{xy}\,\dd x + (x\,\eu^{xy} + 2y)\,\dd y sur R2\R^2. Elle est fermée : les deux dérivées croisées valent exy(1+xy)\eu^{xy}(1 + xy). Pour trouver un potentiel, intégrons PP en xx à yy fixé :

f(x,y)=∫y exy  ⁣dx=exy+c(y),f(x, y) = \int y\,\eu^{xy}\,\dd x = \eu^{xy} + c(y),

puis ajustons cc en identifiant fyf_y : x exy+c′(y)=x exy+2yx\,\eu^{xy} + c'(y) = x\,\eu^{xy} + 2y donne c(y)=y2c(y) = y^2. Donc f(x,y)=exy+y2f(x,y) = \eu^{xy} + y^2, et pour tout arc C1\mathcal C^1 par morceaux de (0,0)(0,0) à (1,1)(1,1),

∫γω=f(1,1)−f(0,0)=(e+1)−1=e,\int_\gamma\omega = f(1,1) - f(0,0) = (\eu + 1) - 1 = \eu ,

indépendamment du chemin — la recette en deux temps (intégrer en xx, corriger en yy) est la réciproque pratique du Théorème 20.6 sur les domaines où les formes fermées sont exactes.

Exemple 20.8 (Fermée n’implique pas exacte)

Sur U=R2∖{0}U = \R^2 \setminus \{0\}, la forme angulaire

ω=−y  ⁣dx+x  ⁣dyx2+y2\omega = \frac{-y\,\dd x + x\,\dd y}{x^2 + y^2}

est fermée (calcul direct : PyP_y et QxQ_x valent tous deux y2−x2(x2+y2)2\frac{y^2 - x^2}{(x^2+y^2)^2}), mais son intégrale le long du cercle unité vaut 2π≠02\pi \neq 0 (même calcul qu’à l’Exemple 20.3, divisé par 11) : ω\omega n’est pas exacte sur UU. Localement, ω= ⁣dθ\omega = \dd\theta pour une détermination θ\theta de l’angle polaire ; l’obstruction est globale — l’angle ne peut pas être défini continûment autour du point retiré. Sur les domaines sans trous, la pathologie disparaît : sur un ouvert étoilé, toute forme C1\mathcal{C}^1 fermée est exacte (lemme de Poincaré, Exercice 20.8).

在原文中阅读 →