Функция Грина

Материал из testwiki
Перейти к навигации Перейти к поиску
Интуитивная анимация, показывающая, как функции Грина, решающие дифференциальное уравнение с точечным источником, могут быть наложены друг на друга для решения его с произвольным источником.

Фу́нкция Гри́на — функция, используемая для решения линейных неоднородных дифференциальных уравнений с граничными условиями (неоднородной краевой задачи). Названа в честь английского математика Джорджа Грина, который первым развил соответствующую теорию в 1830-е годы.

Функции Грина полезны в электростатике — для решения уравнения Пуассона; в теории конденсированных сред — они позволяют решить уравнение диффузии (и совпадающее с ним уравнение теплопроводности); в квантовой механике — функция Грина гамильтониана является одной из ключевых функций и связана с плотностью состояний. Функции Грина, используемые в этих областях, очень похожи, поскольку уравнения диффузии и уравнение Шрёдингера в некотором смысле подобны. Все области математической и теоретической физики, где крайне полезны функции Грина, пожалуй, трудно даже перечислить. Они помогают находить стационарные и нестационарные решения, в том числе при разнообразных граничных условиях.

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

Определение и использование

Функция Грина G(x,s) линейного дифференциального оператора L=L(x), действующего на обобщённых функциях на подмножестве евклидового пространства n в точке s, — это любое решение уравнения

LG(x,s)=δ(xs),

где  δ — это дельта-функция Дирака. Это свойство функции Грина может использоваться для решения дифференциального уравнения вида

Lu(x)=f(x),

Функция Грина — это обратный оператор к L, поэтому её нередко символически обозначают как L1.

Если ядро оператора L нетривиально, то функция Грина не единственна. Однако на практике использование принципа симметрии, граничных условий или других дополнительных условий позволяет определить конкретную функцию Грина. Вообще говоря, функция Грина — не обычная, а обобщённая функция, то есть она может выпадать из класса обычных функций, например, иметь особенности вида дельта-функции или её производных.

Функция Грина — это также полезный инструмент для решения волнового уравнения, уравнения диффузии и квантовомеханических уравнений, где функция Грина оператора Гамильтона играет важнейшую роль и связана с плотностью состояний. В физике функция Грина обычно определяется с противоположным знаком:

LG(x,s)=δ(xs),

что не меняет существенно её свойства.

Если оператор трансляционно инвариантен, то есть если L имеет постоянные коэффициенты по отношению к x, то функция Грина может быть выбрана в виде конволюционного оператора

G(x,s)=G(xs).

В таком случае она совпадает с импульсной переходной функцией из теории линейных стационарных систем.

Замечание

Иногда, когда неоднородное уравнение содержит в правой части постоянный коэффициент, то есть имеет вид Lf=κh, функция Грина g(x,s) также определяется с учётом этого коэффициента, то есть в этом случае она по определению является решением уравнения[1]

Lf1(x)=κδ(xs).

В этом случае решение исходного неоднородного уравнения Lf=κh с произвольной функцией h в правой части записывается как

f(x)=κh(s)g(x,s)ds.

Шаблон:Примечания

Функция Грина оператора Штурма — Лиувилля (одномерный случай)

Постановка задачи

Пусть L — оператор Штурма — Лиувилля, линейный дифференциальный оператор вида:

L=ddx[p(x)ddx]q(x),

и пусть D — оператор краевых условий:

Du=(α1u(0)+β1u(0)α2u(l)+β2u(l).)

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

Пусть f(x) — непрерывная функция на промежутке [0,l]. Предположим также, что задача

Lu=f,Du=0

регулярна, то есть существует только тривиальное решение однородной задачи.

Тогда существует единственное решение u(x), удовлетворяющее системе

Lu=f,Du=0,,

которое задаётся выражением

u(x)=0lf(s)g(x,s)ds,

где g(x,s) — функция Грина, которая удовлетворяет следующим требованиям (они же — свойства функции Грина):

  1. g(x,s) непрерывна по x и s.
  2. Для xs, Lg(x,s)=0.
  3. Для s0,l, Dg(x,s)=0.
  4. Скачок производной: g(s+0,s)g(s0,s)=1/p(s).
  5. Симметрична: g(x,s)=g(s,x).

Нахождение функции Грина

В виде ряда через собственные функции оператора

Если множество собственных векторов (собственных функций) Ψn дифференциального оператора L 

(то есть набор таких функций Ψn(x), что для каждой найдётся число λn0, что LΨn=λnΨn)

полно, то можно построить функцию Грина с помощью собственных векторов Ψn и собственных значений λn.

Под полнотой системы функций Ψn(x) подразумевается выполнение соотношения

δ(xx)=n=0Ψn(x)Ψn(x).

Можно показать, что

G(x,x)=n=0Ψn(x)Ψn(x)λn.

Действительно, подействовав оператором L на эту сумму, мы получим дельта-функцию (в силу соотношения полноты).

(Чертой сверху, Ψ, обозначено комплексное сопряжение; если Ψn — вещественные функции, его можно не делать).

Для параболических уравнений

Шаблон:Mainref

Уравнение теплопроводности, уравнение Шрёдингера и уравнения диффузии можно представить в виде уравнения в частных производных:

Шаблон:Нумерованная формула

где H — эрмитов оператор, x=𝒻x1,x2,...,xn - пространственные координаты

  • для уравнения теплопроводности ΔT=ckTt

T — температура, β=kct.

  • для уравнения Шрёдингера Hψ=iψt

ψ — волновая функция, β=i2mt.

  • для уравнения диффузии 2ψ=1λψt

ψ — концентрация вещества, β=λt.

Собственные функции φm оператора H образуют полную ортонормированную систему и удовлетворяют уравнению

Hφm=λmφm.

Предположим, что решение уравнения (1) можно представить в виде:

Шаблон:Нумерованная формула

Подставляя в уравнение (1) предполагаемую форму решения, получаем:

Hψ=m=0Am(β)Hφm(x)=m=0φm(x)βAm(β).

Таким образом:

m=0[λmAm(β)+βAm(β)]φm(x)=0.

Это уравнение должно выполняться для всех m. Получаем уравнение:

λmAm(β)=Am(β)β,

откуда

Am(β)=Am(0)eλmβ.

Следовательно, решение исходного уравнения (1) можно представить в виде:

ψ(x,β)=m=0Am(0)eλmβφm(x).

Считая ряд (2) равномерно сходящимся, можно найти, что:

Am(β)=φm*(x)ψ(x,β)dτ,

где dτ=dx1dx2...dxn — элемент объёма.

Из этой формулы следует:

Am(0)=φm*(x)ψ(x,0)dτ

Итак, если задано начальное состояние, то

ψ(x,β)=m=0ψ(x,0)φm*(x)φm(x)eλmβdτ

Это уравнение можно представить в более удобной форме:

ψ(x,β)=x|G(β)|xψ(x,0)dτ,

где:

x|G(β)|x=m=0φm*(x)φm(x)eλmβ.

Это выражение называется функцией Грина для уравнения (1).

Функция Грина для лапласиана

Функция Грина для лапласиана может быть получена из теоремы Грина.

Для получения теоремы Грина начнём с закона Гаусса:

VA^ dV=SA^dσ^.

Примем A=φψψφ и подставим в закон Гаусса. Вычислим A^ и применим цепное правило для оператора :

A^=(φψψφ)=
=(φ)(ψ)+φ2ψ(φ)(ψ)ψ2φ=φ2ψψ2φ.

Подставляя результат в теорему Гаусса, мы получаем теорему Грина:

V(φ2ψψ2φ) dV=S(φψψφ)dσ^.

Предполагая, что наш линейный дифференциальный оператор L Лапласиан, 2, и то, что у нас имеется для него функция Грина G. Определение функции Грина в этом случае запишется в виде:

LG(x,x)=2G(x,x)=δ(xx).

Положим ψ=G в теореме Грина. Тогда получим:

V(φ(x)δ(xx)G(x,x)2φ(x)) d3x=
=S(φ(x)G(x,x)G(x,x)φ(x))dσ^.

Используя выражение, мы можем решить уравнение Лапласа (2φ(x)=0) и уравнение Пуассона (2φ(x)=4πρ(x)) с граничными условиями Неймана или Дирихле. Другими словами, мы можем найти решение φ(x) всюду внутри заданной области, если (1) значение φ(x) задано на границе этой области (граничные условия Дирихле), или (2) нормальная производная φ(x) задана на границе этой области (граничные условия Неймана).

Пусть нас интересует решение φ(x) внутри области. В этом случае интеграл Vφ(x)δ(xx) d3x упрощается до φ(x) в силу основного свойства дельта-функции, и мы имеем:

φ(x)=VG(x,x)ρ(x) d3x+S(φ(x)G(x,x)G(x,x)φ(x))dσ^.

Эта формула выражает известное свойство гармонических функций, состоящее в том, что если известно значение нормальной производной на границе области, то известны и все значения функции в любой внутренней точке этой области.

В электростатике φ(x) понимается как электростатический потенциал, ρ(x) как плотность электрического заряда, а нормальная производная φ(x)dσ^ как нормальная составляющая электрического поля.

При решении краевой задачи Дирихле функция Грина выбирается в виде G(x,x). Эта функция обращается в нуль, когда x или x находится на границе раздела; и наоборот, решая краевую задачу Неймана, следует выбирать функцию Грина так, чтобы на поверхности обращалась в нуль её нормальная производная. Таким образом в интеграле по поверхности остаётся только одно из двух слагаемых.

При отсутствии граничных условий функция Грина для лапласиана имеет вид:

G(x^,x^)=1|x^x^|.

Считая граничную поверхность бесконечно большой и подставляя в это выражение функцию Грина, мы придём к аналогичному выражению для электрического потенциала через электрическую плотность заряда.

φ(x)=Vρ(x)|x^x^| d3x.

Пример

(Этот пример служит иллюстрацией к параграфу Функция Грина оператора Штурма — Лиувилля (одномерный случай), причём описанные здесь соображения иллюстрируют пункты теоремы из соответствующего параграфа, ссылки на пункты которой присутствуют в тексте ниже).

Дана задача

Lu=u+u=f(x);
u(0)=0,u(π2)=0.

Найти функцию Грина.

Первый шаг: Функция Грина g(x,s) в данном случае по определению должна быть решением уравнения Шаблон:Нумерованная формула

где двумя штрихами обозначена вторая производная по x.

Для xs, где δ-функция равна нулю, это уравнение сводится к однородному (пункт 2 упомянутой теоремы):

g+g=0,

то есть для всех точек, кроме s, функция Грина будет решением такого однородного уравнения.

Общее решение такого уравнения

g=Acosx+Bsinx,

где A и B — константы (не зависят от x).

Таким образом, g(x,s) должно иметь именно такой вид всюду, кроме точки s, причём слева и справа от неё коэффициенты A и B могут (и будут) иметь разное значение.

Наложим на функцию Грина граничные условия, совпадающие с граничными условиями исходной задачи (пункт 3 упомянутой во вводном замечании теоремы). Функция Грина с наложенными так граничными условиями удобна тем, что конструируемые суммированием или интегрированием таких функций Грина решения автоматически будут удовлетворять этим граничным условиям.

Из левого граничного условия: u(0)=0 — налагаемого на функцию Грина мы видим, что для x<s коэффициент A общего решения должен быть нулём, то есть для x<s

g(x,s)=Bsinx.

Точно так же из правого граничного условия: u(π2)=0 — получаем равенство нулю коэффициента B, то есть для x>s

g(x,s)=Acosx.

В итоге, учитывая, что коэффициенты A и B вообще говоря могут зависеть от s, можем записать:

g(x,s)={B(s)sinx,x<sA(s)cosx,s<x

Второй шаг:

Нужно определить A(s) и B(s).

Проинтегрировав дважды левую и правую часть уравнения (3) с дельта-функцией в правой части, мы увидим, что функция Грина должна быть непрерывна (пункт 1 упомянутой теоремы), а отсюда условие сшивки решения x<s и x>s:

B(s)sins=A(s)coss.

Проинтегрировав же левую и правую часть того же уравнения от x=sε до x=s+ε получим условие на скачок первой производной (пункт 4 теоремы), и используя его, получим:

g(s+0,s)g(s0,s)=A(s)sinsB(s)coss=1.

Используя правило Крамера или просто угадывая решение системы из двух этих уравнений, получим, что

A(s)=sins;B(s)=coss.

Эти выражения удовлетворяют условию пункта 5 теоремы.

Тогда функция Грина задачи:

g(x,s)={1cosssinx,x<s1sinscosx,s<x,

что можно записать как

g(x,s)=12(sin|xs|sin(x+s)).

Таблица с функциями Грина

В данной таблице представлены функции Грина для часто встречающихся дифференциальных операторов, где r=x2+y2+z2, ρ=x2+y2, Θ(t) — функция Хевисайда, Jν(z) — функция Бесселя, Iν(z)модифицированная функция Бесселя первого рода и Kν(z) — модифицированная функция Бесселя второго рода.[2] Где время (Шаблон:Math) появляется в первой колонке и показаны причинные функции Грина GA.

Дифференциальный оператор Шаблон:Mvar Функция Грина Шаблон:Mvar Пример применения
tn+1 tnn!Θ(t)
t+γ Θ(t)eγt
(t+γ)2 Θ(t)teγt
t2+2γt+ω02 Θ(t)eγtsin(ωt)ω, ω=ω02γ2 Гармонический осциллятор
Δ2D=x2+y2 12πlnρ, ρ=x2+y2 Уравнение Пуассона
Δ3D=x2+y2+z2 14πr, r=x2+y2+z2 Уравнение Пуассона
Δ3D+k2 eikr4πr=ik32πrH1/2(2)(kr)=ik4πh0(2)(kr) стационарное 3D уравнение Шрёдингера для свободной частицы
Δk2 в пространстве с n измерениями (2π)n/2(kr)n/21Kn/21(kr) Потенциал Юкавы, Пропагатор
t2c2x2 12cΘ(t|x/c|) 1D волновое уравнение
t2c2Δ2D 12πcc2t2ρ2Θ(tρ/c) 2D волновое уравнение
=1c2t2Δ3D δ(trc)4πr 3D волновое уравнение
tkx2 Θ(t)(14πkt)1/2ex2/4kt 1D уравнение диффузии
tkΔ2D Θ(t)(14πkt)eρ2/4kt 2D уравнение диффузии
tkΔ3D Θ(t)(14πkt)3/2er2/4kt 3D уравнение диффузии
1c2t2x2+μ2 12[(1sinμct)(δ(ctx)+δ(ct+x))+μΘ(ct|x|)J0(μu)],u=c2t2x2 1D уравнение Клейна — Гордона
1c2t2Δ2D+μ2 14π[(1+cos(μct))δ(ctρ)ρ+μ2Θ(ctρ)sinc(μu)],u=c2t2ρ2 2D уравнение Клейна — Гордона
+μ2 14π[δ(trc)r+μcΘ(ctr)J1(μu)u],u=c2t2r2 3D уравнение Клейна — Гордона
t2+2γtc2x2 12eγt[δ(ctx)+δ(ct+x)+Θ(ct|x|)(γcI0(γuc)+γtuI1(γuc))],u=c2t2x2 телеграфное уравнение
t2+2γtc2Δ2D eγt4π[(1+eγt+3γt)δ(ctρ)ρ+Θ(ctρ)(γsinh(γuc)cu+3γtcosh(γuc)u23ctsinh(γuc)u3)],u=c2t2ρ2 2D релятивистское уравнение теплопроводности
t2+2γtc2Δ3D eγt20π[(83eγt+2γt+4γ2t2)δ(ctr)r2+γ2cΘ(ctr)(1cuI1(γuc)+4tu2I2(γuc))],u=c2t2r2 3D релятивистское уравнение теплопроводности

Другие примеры

  • Пусть дано множество и оператор  L равен  d/dx. Тогда функция Хевисайда  H(xx0) является функцией Грина для  L при  x0.
  • Пусть многообразие задаётся первой четвертью плоскости (x,y):x,y0 и  L — оператор Лапласа. Также предположим, что при  x=0 наложены краевые условия Дирихле, при  y=0 — краевые условия Неймана. Тогда функция Грина примет вид
G(x,y,x0,y0)=12π[ln(xx0)2+(yy0)2ln(x+x0)2+(yy0)2]+
+12π[ln(xx0)2+(y+y0)2ln(x+x0)2+(y+y0)2].

См. также

Примечания

Шаблон:Примечания

Литература

  • Eyges, Leonard, The Classical Electromagnetic Field, Dover Publications, New York, 1972. ISBN 0-486-63947-9. (5-я глава содержит очень понятное изложение использования функций Грина для решения краевых задач в электростатике.)
  • A. D. Polyanin and V. F. Zaitsev, Handbook of Exact Solutions for Ordinary Differential Equations (2nd edition), Chapman & Hall/CRC Press, Boca Raton, 2003. ISBN 1-58488-297-2
  • A. D. Polyanin, Handbook of Linear Partial Differential Equations for Engineers and Scientists, Chapman & Hall/CRC Press, Boca Raton, 2002. ISBN 1-58488-299-9

Шаблон:Rq Шаблон:Математическая физика

  1. Ясно, что описанное в этом разделе отличие в определении функции Грина от данного в статье выше касается не сути дела, а всего лишь предпочитаемой формы записи
  2. Некоторые примеры взяты из книги Schulz, Hermann: Physik mit Bleistift. Frankfurt am Main: Deutsch, 2001. Шаблон:ISBN (German)