Теорема Грина

Теорема Грина устанавливает связь между криволинейным интегралом по замкнутому контуру $C$$C$ и двойным интегралом по односвязной области $D$$D$, ограниченной этим контуром. Фактически, эта теорема является частным случаем более общей теоремы Стокса. Теорема названа в честь английского математика Джорджа Грина.

ФормулировкаПравить

Пусть $C$$C$  — положительно ориентированная кусочно-гладкая замкнутая кривая на плоскости, а $D$$D$  — область, ограниченная кривой $C$$C$ . Если функции $P=P(x,y)$$P = P(x,y)$ , $Q=Q(x,y)$$Q = Q(x,y)$  определены в области $D$$D$  и имеют непрерывные частные производные $\frac{\mathrm{\partial <!--\; \partial \; -->}P}{\mathrm{\partial <!--\; \partial \; -->}y}$$\frac{\partial P}{\partial y}$ , $\frac{\mathrm{\partial <!--\; \partial \; -->}Q}{\mathrm{\partial <!--\; \partial \; -->}x}$$\frac{\partial Q}{\partial x}$ , то

$\underset{C}{\oint <!--\; \oint \; -->}Pdx+Qdy=\underset{D}{\iint <!--\; \iint \; -->}\left(\frac{\mathrm{\partial <!--\; \partial \; -->}Q}{\mathrm{\partial <!--\; \partial \; -->}x}-<!--\; -\; -->\frac{\mathrm{\partial <!--\; \partial \; -->}P}{\mathrm{\partial <!--\; \partial \; -->}y}\right)dxdy$$\oint\limits_{C} P \,dx + Q \,dy = \iint\limits_{D} \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) \,dx\,dy$ 

На символе интеграла часто рисуют окружность, чтобы подчеркнуть, что кривая $C$$C$  замкнута.

Доказательство для простой областиПравить

 

$D$$D$  — область, правильная в направлении $OY$$OY$ , ограниченная замкнутой кривой $C$$C$ 

Пусть область $D$$D$  — криволинейная трапеция (область, правильная в направлении $OY$$OY$ ):

$D=\{(x,y)|a\le <!--\; \le \; -->x\le <!--\; \le \; -->b,y_1(x)\le <!--\; \le \; -->y\le <!--\; \le \; -->y_2(x)\}$$D = \{ (x,y)|a \le x \le b, y_1(x) \le y \le y_2(x) \}$ 

Для кривой $C$$C$ , ограничивающей область $D$$D$  зададим направление обхода по часовой стрелке.

Тогда:

$\underset{D}{\iint <!--\; \iint \; -->}\frac{\mathrm{\partial <!--\; \partial \; -->}P}{\mathrm{\partial <!--\; \partial \; -->}y}dxdy=\underset{a}{\overset{b}{\int <!--\; \int \; -->}}dx\underset{y_1(x)}{\overset{y_2(x)}{\int <!--\; \int \; -->}}\frac{\mathrm{\partial <!--\; \partial \; -->}P}{\mathrm{\partial <!--\; \partial \; -->}y}dy=\underset{a}{\overset{b}{\int <!--\; \int \; -->}}(P(x,y_2(x))-<!--\; -\; -->P(x,y_1(x)))dx=$$\iint\limits_{D} \frac{\partial P}{\partial y} \,dx\,dy = \int\limits_{a}^{b}dx \int\limits_{y_1(x)}^{y_2(x)} \frac{\partial P}{\partial y} \,dy = \int\limits_{a}^{b} (P(x,y_2(x)) - P(x,y_1(x))) \,dx =$ 

$=\underset{a}{\overset{b}{\int <!--\; \int \; -->}}P(x,y_2(x))dx-<!--\; -\; -->\underset{a}{\overset{b}{\int <!--\; \int \; -->}}P(x,y_1(x))dx(1)$$= \int\limits_{a}^{b} P(x,y_2(x)) \,dx - \int\limits_{a}^{b} P(x,y_1(x)) \,dx \quad (1)$ 

Заметим, что оба полученных интеграла можно заменить криволинейными интегралами:

$\underset{C_1}{\int <!--\; \int \; -->}P(x,y)dx=-<!--\; -\; -->\underset{-<!--\; -\; -->C_1}{\int <!--\; \int \; -->}P(x,y)dx=-<!--\; -\; -->\underset{a}{\overset{b}{\int <!--\; \int \; -->}}P(x,y_1(x))dx(2)$$\int\limits_{C_1} P(x,y) \,dx = -\int\limits_{-C_1} P(x,y) \,dx = -\int\limits_{a}^{b} P(x,y_1(x)) \,dx \quad (2)$ 

$\underset{C_3}{\int <!--\; \int \; -->}P(x,y)dx=\underset{a}{\overset{b}{\int <!--\; \int \; -->}}P(x,y_2(x))dx(3)$$\int\limits_{C_3} P(x,y) \,dx = \int\limits_{a}^{b} P(x,y_2(x)) \,dx \quad (3)$ 

Интеграл по $C_1$$C_{1}$  берётся со знаком «минус», так как согласно ориентации контура $C$$C$  направление обхода данной части — от $b$$b$  до $a$$a$ .

Криволинейные интегралы по $C_2$$C_{2}$  и $C_4$$C_{4}$  будут равны нулю, так как $x=\mathrm{const}$$x = \operatorname{const}$ :

$\underset{C_2}{\int <!--\; \int \; -->}P(x,y)dx=0(4)$$\int\limits_{C_2} P(x,y) \,dx = 0 \quad (4)$ 

$\underset{C_4}{\int <!--\; \int \; -->}P(x,y)dx=0(5)$$\int\limits_{C_4} P(x,y) \,dx = 0 \quad (5)$ 

Заменим в (1) интегралы согласно (2) и (3), а также прибавим (4) и (5), равные нулю и поэтому не влияющие на значение выражения:

$\underset{D}{\iint <!--\; \iint \; -->}\frac{\mathrm{\partial <!--\; \partial \; -->}P}{\mathrm{\partial <!--\; \partial \; -->}y}dxdy=\underset{C_1}{\int <!--\; \int \; -->}P(x,y)dx+\underset{C_3}{\int <!--\; \int \; -->}P(x,y)dx+\underset{C_2}{\int <!--\; \int \; -->}P(x,y)dx+\underset{C_4}{\int <!--\; \int \; -->}P(x,y)dx$$\iint\limits_{D} \frac{\partial P}{\partial y} \,dx\,dy = \int\limits_{C_1} P(x,y) \,dx + \int\limits_{C_3} P(x,y) \,dx + \int\limits_{C_2} P(x,y) \,dx + \int\limits_{C_4} P(x,y) \,dx$ 

Так как обход по часовой стрелке при правой ориентации плоскости является отрицательным направлением, то сумма интегралов в правой части является криволинейным интегралом по замкнутой кривой $C$$C$  в отрицательном направлении:

$\underset{D}{\iint <!--\; \iint \; -->}\frac{\mathrm{\partial <!--\; \partial \; -->}P}{\mathrm{\partial <!--\; \partial \; -->}y}dxdy=-<!--\; -\; -->\underset{C}{\int <!--\; \int \; -->}P(x,y)dx(6)$$\iint\limits_{D} \frac{\partial P}{\partial y} \,dx\,dy = -\int\limits_{C} P(x,y) \,dx \quad (6)$ 

Аналогично доказывается формула:

$\underset{D}{\iint <!--\; \iint \; -->}\frac{\mathrm{\partial <!--\; \partial \; -->}Q}{\mathrm{\partial <!--\; \partial \; -->}x}dxdy=\underset{C}{\int <!--\; \int \; -->}Q(x,y)dy(7)$$\iint\limits_{D} \frac{\partial Q}{\partial x} \,dx\,dy = \int\limits_{C} Q(x,y) \,dy \quad (7)$ 

если в качестве области $D$$D$  взять область, правильную в направлении $OX$$OX$ .

Складывая (6) и (7), получим:

$\underset{C}{\int <!--\; \int \; -->}Pdx+Qdy=\underset{D}{\iint <!--\; \iint \; -->}\left(\frac{\mathrm{\partial <!--\; \partial \; -->}Q}{\mathrm{\partial <!--\; \partial \; -->}x}-<!--\; -\; -->\frac{\mathrm{\partial <!--\; \partial \; -->}P}{\mathrm{\partial <!--\; \partial \; -->}y}\right)dxdy$$\int\limits_{C} P \,dx + Q \,dy = \iint\limits_{D} \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) \,dx\,dy$ 

Формулы ГринаПравить

Если бы в электростатических задачах мы всегда имели дело с дискретным или непрерывным распределением заряда без всяких граничных поверхностей, то общее решение для скалярного потенциала

$\mathrm{\Phi <!--\; \Phi \; -->}(x)=\int <!--\; \int \; -->\frac{\mathrm{\rho <!--\; \rho \; -->}(x^{\prime })}{|x-<!--\; -\; -->x^{\prime }|}{d}^{3}x$$\Phi (x)=\int {\frac {\rho (x')}{|x-x'|}}d^{3}x$ 

было бы самой удобной и непосредственной формой решения таких задач и не нужны были бы ни уравнение Лапласа, ни уравнение Пуассона. Однако в действительности в целом ряде, если не в большинстве, задач электростатики мы имеем дело с конечными областями пространства (содержащими или не содержащими заряд), на граничных поверхностях которых заданы определённые граничные («краевые») условия. Эти граничные условия могут быть заменены некоторым соответственно подобранным распределением зарядов вне рассматриваемой области (в частности, в бесконечности), однако приведённое выше соотношение в этом случае уже непригодно для расчёта потенциала, за исключением некоторых частных случаев (например, в методе изображений).

Для рассмотрения задач с граничными условиями необходимо расширить используемый нами математический аппарат, а именно вывести так называемые формулы, или теоремы Грина (1824 г.). Они получаются непосредственно из теоремы о дивергенции

$\underset{V}{\int <!--\; \int \; -->}\mathrm{div}<!--\; \; -->A{d}^{3}x=\underset{S}{\oint <!--\; \oint \; -->}A\cdot <!--\; \cdot \; -->nda$$\int\limits_V \operatorname{div}~A\,d^3x=\oint\limits_S A \cdot n\,da$ ,

которая справедлива для любого векторного поля А, определённого в объёме V, ограниченном замкнутой поверхностью S. Пусть $A=\mathrm{\phi <!--\; \phi \; -->}\mathrm{grad}<!--\; \; -->\mathrm{\psi <!--\; \psi \; -->}$$A=\varphi \operatorname{grad} ~\psi$ , где $\mathrm{\phi <!--\; \phi \; -->}$$\varphi$  и $\mathrm{\psi <!--\; \psi \; -->}$$\psi$  — произвольные дважды непрерывно-дифференцируемые скалярные функции. Тогда

$\mathrm{div}(\mathrm{\phi <!--\; \phi \; -->}\mathrm{grad}\mathrm{\psi <!--\; \psi \; -->})=\mathrm{\phi <!--\; \phi \; -->}{\mathrm{\nabla <!--\; \nabla \; -->}}^2\mathrm{\psi <!--\; \psi \; -->}+\mathrm{grad}<!--\; \; -->\mathrm{\phi <!--\; \phi \; -->}\cdot <!--\; \cdot \; -->\mathrm{grad}<!--\; \; -->\mathrm{\psi <!--\; \psi \; -->}(1)$$\operatorname{div} \, (\varphi \; \operatorname{grad} \, \psi)=\varphi \nabla^2 \psi + \operatorname{grad} ~\varphi \cdot \operatorname{grad} ~\psi \qquad (1)$ 

и

$\mathrm{\phi <!--\; \phi \; -->}\mathrm{grad}\mathrm{\psi <!--\; \psi \; -->}\cdot <!--\; \cdot \; -->n=\mathrm{\phi <!--\; \phi \; -->}\frac{\mathrm{\partial <!--\; \partial \; -->}\mathrm{\psi <!--\; \psi \; -->}}{\mathrm{\partial <!--\; \partial \; -->}n}(2)$$\varphi \; \operatorname{grad} \, \psi \cdot n=\varphi \frac{\partial \psi}{\partial n} \qquad (2)$ ,

где $\frac{\mathrm{\partial <!--\; \partial \; -->}}{\mathrm{\partial <!--\; \partial \; -->}n}$$\frac{\partial}{\partial n}$  — нормальная производная на поверхности S (по направлению внешней нормали по отношению к объёму V). Подставляя (1) и (2) в теорему о дивергенции, мы придем к первой формуле Грина

$\underset{V}{\int <!--\; \int \; -->}(\mathrm{\phi <!--\; \phi \; -->}{\mathrm{\nabla <!--\; \nabla \; -->}}^2\mathrm{\psi <!--\; \psi \; -->}+\mathrm{grad}\mathrm{\phi <!--\; \phi \; -->}\cdot <!--\; \cdot \; -->\mathrm{grad}\mathrm{\psi <!--\; \psi \; -->})d^{3}x=\underset{S}{\oint <!--\; \oint \; -->}\mathrm{\phi <!--\; \phi \; -->}\frac{\mathrm{\partial <!--\; \partial \; -->}\mathrm{\psi <!--\; \psi \; -->}}{\mathrm{\partial <!--\; \partial \; -->}n}da(3)$$\int\limits_V (\varphi \; \nabla^2 \psi + \operatorname{grad} \, \varphi \cdot \operatorname{grad} \, \psi)\,d^3x = \oint\limits_S \varphi \frac{\partial \psi}{\partial n} \,da \qquad (3)$ .

Напишем такую же формулу, поменяв в ней местами $\mathrm{\phi <!--\; \phi \; -->}$$\varphi$  и $\mathrm{\psi <!--\; \psi \; -->}$$\psi$ , и вычтем её из (3). Тогда члены с произведением $\mathrm{grad}<!--\; \; -->\mathrm{\phi <!--\; \phi \; -->}\cdot <!--\; \cdot \; -->\mathrm{grad}<!--\; \; -->\mathrm{\psi <!--\; \psi \; -->}$$\operatorname{grad} ~\varphi \cdot \operatorname{grad} ~\psi$  сократятся и мы получим вторую формулу Грина, называемую иначе теоремой Грина:

$\underset{V}{\int <!--\; \int \; -->}(\mathrm{\phi <!--\; \phi \; -->}{\mathrm{\nabla <!--\; \nabla \; -->}}^2\mathrm{\psi <!--\; \psi \; -->}-<!--\; -\; -->\mathrm{\psi <!--\; \psi \; -->}{\mathrm{\nabla <!--\; \nabla \; -->}}^2\mathrm{\phi <!--\; \phi \; -->})d^{3}x=\underset{S}{\oint <!--\; \oint \; -->}\left[\mathrm{\phi <!--\; \phi \; -->}\frac{\mathrm{\partial <!--\; \partial \; -->}\mathrm{\psi <!--\; \psi \; -->}}{\mathrm{\partial <!--\; \partial \; -->}n}-<!--\; -\; -->\mathrm{\psi <!--\; \psi \; -->}\frac{\mathrm{\partial <!--\; \partial \; -->}\mathrm{\phi <!--\; \phi \; -->}}{\mathrm{\partial <!--\; \partial \; -->}n}\right]da$$\int\limits_V (\varphi \nabla^2 \psi - \psi \nabla^2 \varphi)\,d^3x = \oint\limits_S \left[\varphi \frac{\partial \psi}{\partial n} - \psi \frac{\partial \varphi}{\partial n}\right] \,da$ .

В физике и математике теорема Грина дает соотношение между криволинейным интегралом простой ограниченной кривой С и двойным интегралом по плоской поверхности D ограниченной кривой С. И в общем виде записывается следующим образом

$\underset{C}{\int <!--\; \int \; -->}Ldx+Mdy=\underset{D}{\iint <!--\; \iint \; -->}\left(\frac{\mathrm{\partial <!--\; \partial \; -->}M}{\mathrm{\partial <!--\; \partial \; -->}x}-<!--\; -\; -->\frac{\mathrm{\partial <!--\; \partial \; -->}L}{\mathrm{\partial <!--\; \partial \; -->}y}\right)dA.$$\int\limits_{C} L\, dx + M\, dy = \iint\limits_{D} \left(\frac{\partial M}{\partial x} - \frac{\partial L}{\partial y}\right)\, dA.$ 

В физике Теорема Грина в основном используется для решения двумерных потоковых интегралов, исходя из того, что сумма исходящих потоков в любой точке области равна результирующему потоку, суммируемому по всей ограничивающей поверхности.

Третья формула Грина получается из второй путём замены $\mathrm{\psi <!--\; \psi \; -->}=\frac{1}{|\mathbf{x}-<!--\; -\; -->\mathbf{y}|}$$\psi = \frac{1}{|\mathbf{x} - \mathbf{y}|}$  и замечания о том, что ${\mathrm{\nabla <!--\; \nabla \; -->}}^2\mathrm{\psi <!--\; \psi \; -->}=-<!--\; -\; -->4\mathrm{\pi <!--\; \pi \; -->}\mathrm{\delta <!--\; \delta \; -->}\left(\mathbf{x}-<!--\; -\; -->\mathbf{y}\right)$$\nabla^2 \psi = - 4 \pi \delta \left( \mathbf{x} - \mathbf{y} \right)$  в ${\mathbb{R}}^3$${{\mathbb{R}}^{3}}$ . Если $\mathrm{\varphi <!--\; \varphi \; -->},$$\phi ,$  дважды дифференцируема на U.

$\underset{\mathrm{\partial <!--\; \partial \; -->}U}{\oint <!--\; \oint \; -->}\left[\frac{1}{|\mathbf{x}-<!--\; -\; -->\mathbf{y}|}\frac{\mathrm{\partial <!--\; \partial \; -->}\mathrm{\varphi <!--\; \varphi \; -->}}{\mathrm{\partial <!--\; \partial \; -->}n}(\mathbf{y})-<!--\; -\; -->\mathrm{\varphi <!--\; \varphi \; -->}(\mathbf{y})\frac{\mathrm{\partial <!--\; \partial \; -->}}{\mathrm{\partial <!--\; \partial \; -->}{n}_{\mathbf{y}}}\frac{1}{|\mathbf{x}-<!--\; -\; -->\mathbf{y}|}\right]d{S}_{\mathbf{y}}-<!--\; -\; -->\underset{U}{\int <!--\; \int \; -->}\left[\frac{1}{|\mathbf{x}-<!--\; -\; -->\mathbf{y}|}{\mathrm{\nabla <!--\; \nabla \; -->}}^2\mathrm{\varphi <!--\; \varphi \; -->}(\mathbf{y})\right]d{V}_{\mathbf{y}}=k$$\oint\limits_{\partial U} \left[ {1 \over |\mathbf{x} - \mathbf{y}|} {\partial \phi \over \partial n} (\mathbf{y}) - \phi(\mathbf{y}) {\partial \over \partial n_\mathbf{y}} {1 \over |\mathbf{x} - \mathbf{y}|}\right]\, dS_\mathbf{y} - \int\limits_U \left[ {1 \over |\mathbf{x} - \mathbf{y}|} \nabla^2 \phi(\mathbf{y})\right]\, dV_\mathbf{y} = k$ 

$k=4\mathrm{\pi <!--\; \pi \; -->}\mathrm{\varphi <!--\; \varphi \; -->}(x),$$k=4\pi \phi (x),$  если $x\in <!--\; \in \; -->IntU$$x \in Int U$  (здесь Int обозначает внутренность множества),

$2\mathrm{\pi <!--\; \pi \; -->}\mathrm{\varphi <!--\; \varphi \; -->}(x),$$2\pi \phi (x),$  если $x\in <!--\; \in \; -->\mathrm{\partial <!--\; \partial \; -->}U$$x \in \partial U$  и в точке $x$$x$  к граничной поверхности имеется касательная плоскость.

См. такжеПравить

• Дельта-функция
• Теорема Стокса
• Формула Остроградского
• Дискретная теорема Грина

ЛитератураПравить

• Д. Ж. Джексон Классическая электродинамика (1965 г.)
• Тихонов А. Н., Самарский А. А. Уравнения математической физики. — М.: Наука, 1977. — 735 с.