Greenova funkce

MathWorld Přispěvatelé > Stover >

Stáhnout Mathematica NotebookGreensFunctionPointDisplacement

Všeobecně řečeno, Greenova funkce je integrální jádro, které lze použít k řešení diferenciálních rovnic z velkého počtu rodin, včetně jednodušších příkladů, jako jsou obyčejné diferenciální rovnice s počátečními nebo okrajovými podmínkami, i složitějších příkladů, jako jsou nehomogenní parciální diferenciální rovnice (PDE) s okrajovými podmínkami. Greenovy funkce, které jsou důležité z řady důvodů, umožňují názornou interpretaci dějů spojených se zdrojem síly nebo s nábojem soustředěným v bodě (Qin 2014), a jsou tak obzvláště užitečné v oblastech aplikované matematiky. Konkrétně jsou metody Greenových funkcí hojně využívány např, fyzice a inženýrství.

Přesněji řečeno, je dán lineární diferenciální operátor L=L(x) působící na kolekci rozdělení nad podmnožinou Omega nějakého euklidovského prostoru R^n, Greenova funkce G=G(x,s) v bodě s v Omega odpovídajícím L je libovolné řešení

 LG(x,s)=delta(x-s)
(1)

kde delta označuje delta funkci. Motivace pro definici takové funkce je široká, ale vynásobením výše uvedené identity funkcí f(s) a integrací vzhledem k s dostaneme

 intLG(x,s)f(s)ds=intdelta(x-s)f(s)ds.
(2)

Pravá strana se díky vlastnostem delta funkce redukuje pouze na f(x), a protože L je lineární operátor působící pouze na x a ne na s, lze levou stranu přepsat jako

 L(intG(x,s)f(s)ds).
(3)

Tato redukce je užitečná zejména při řešení u=u(x) v diferenciálních rovnicích tvaru

 Lu(x)=f(x),
(4)

kde výše uvedená aritmetika potvrzuje, že

 Lu(x)=L(intG(x,s)f(s)ds)
(5)

a z čehož vyplývá, že u má konkrétní integrální tvar

 u(x)=intG(x,s)f(s)ds.
(6)

Výše uvedený obrázek ilustruje jak intuitivní fyzikální interpretaci Greenovy funkce, tak i relativně jednoduchou přidruženou diferenciální rovnici, se kterou lze výše uvedenou definici porovnat (Hartmann 2013). Konkrétně je na něm znázorněno napnuté lano délky l zavěšené mezi dvěma stěnami, které je drženo na místě stejnou vodorovnou silou H působící na každém z jeho konců, a boční zatížení F umístěné v nějakém vnitřním bodě x na laně. Nechť x^' je bod odpovídající x na vychýleném laně, předpokládejme, že dolů působící síla F je konstantní, řekněme F=1, a nechť u(x) označuje výchylku lana. Této fyzikální soustavě odpovídá diferenciální rovnice

 -Hu^('')(x)=F(x)
(7)

pro 0xl s u(0)=u(l)=0, systém, jehož jednoduchost umožňuje explicitní zápis jak jeho řešení u(x), tak jeho Greenovy funkce G(x,y):

 u(x)=F/(2H)(lx-x^2)
(8)

a

 G(x,y)=1/(Hl){y(l-x) pro y=x; x(l-y) pro x=y,
(9)

resp. Jak ukazuje výše uvedený obrázek, posunuté lano má po částech lineární tvar daný výše uvedeným vztahem G=G(x,y), čímž se potvrzuje tvrzení, že Greenova funkce G přiřazená této soustavě představuje působení vodorovného lana odpovídající působení síly F.

Greenova funkce, která bere dvojici argumentů (x,s), se někdy označuje jako dvoubodová Greenova funkce. To je rozdíl od vícebodových Greenových funkcí, které mají význam zejména v oblasti teorie mnoha těles.

Jako elementární příklad dvoubodové funkce definované výše uvažujme problém určení potenciálu psi(r) generovaného rozložením náboje, jehož hustota náboje je rho(r), přičemž aplikace Poissonovy rovnice a Coulombova zákona na potenciál při r_1 vytvořený každým prvkem náboje rho(r_2)d^3r_2 dává řešení

 psi(r_1)=1/(4piepsilon_0)intd^3r_2(rho(r_2))/(|r_1-r_2|)
(10)

což platí, za určitých podmínek v oblasti, kde rho(r_2)!=0. Protože na pravou stranu lze pohlížet jako na integrální operátor převádějící rho na psi, lze toto řešení přepsat v termínech Greenovy funkce G=G(r_1,r_2) mající tvar

 G(r_1,r_2)=1/(4piepsilon_0)1/(|r_1-r_2|),
(11)

kde lze řešení přepsat:

 psi(r_1)=intd^3r_2G(r_1,r_2)rho(r_2)
(12)

(Arfken 2012).

GreensFunctionExample

Výše uvedený obrázek ukazuje Greenovu funkci spojenou s řešením výše diskutované rovnice psirho, kde zde, epsilon_0=4 a r_1, respektive r_2, je vynesena na ose x-, respektive y-.

Někdy vyčerpávající seznam Greenových funkcí odpovídajících různým diferenciálním rovnicím vede na internetu Kevin Cole (Cole 2000).

Vzhledem k množství literatury napsané o Greenových funkcích může vzniknout několik různých zápisů a definic, z nichž některé se aktuálně liší od výše uvedených, ale které obecně nemají vliv na důležité vlastnosti výsledků. Jak ukazuje výše uvedený příklad, někteří autoři například dávají přednost označování proměnných x a s pomocí vektorů r_1 a r_2, aby zdůraznili skutečnost, že jde o prvky R^n pro některé n, které mohou být větší než 1 (Arfken 1985). Poměrně často se také setkáváme s definicí se záporným znaménkem, takže G je definována funkce, pro kterou

 LG(x,s)=-delta(x-s),
(13)

ale vzhledem k tomu, že tato čistě fyzikální úvaha nemá žádný vliv na základní matematiku, je toto hledisko obvykle přehlíženo. Je známo i několik dalších zápisů Greenovy funkce, z nichž některé zahrnují použití malého písmene g=g(x,s) namísto G(x,s) (Stakgold 1979), stejně jako zařazení svislé čáry namísto čárky, např,G(x,s)=G(x|s) (Duffy 2001).

V jiných případech literatura uvádí definice, které jsou úzce spjaty s kontexty, v nichž jsou prezentovány. Někteří autoři například definují Greenovy funkce jako funkce, které splňují určitý soubor podmínek, např. existenci na zvláštním druhu oboru, spojení s velmi konkrétním diferenciálním operátorem L nebo splnění přesného souboru okrajových podmínek. Jeden z nejčastějších takových příkladů lze nalézt v poznámkách např, Specka, kde je Greenova funkce definována tak, aby splňovala Delta_sG(x,s)=delta(x) pro body (x,s) v Omega×Omega a G(x,sigma)=0 pro všechny body sigma ležící na hranici partialOmega z Omega (Speck 2011). Tato konkrétní definice představuje integrální jádro odpovídající řešení zobecněné Poissonovy rovnice, a proto by při adaptaci na obecnější prostředí narazila na zjevná omezení. Na druhou stranu takové příklady nejsou bez výhod. Například v případě výše uvedeného zobecněného Poissonova příkladu lze každou takovou Greenovu funkci G rozdělit tak, že

 G(x,s)=g_f(x,s)+u_R(x,s)
(14)

kde -Deltag_f(x,s)=delta(x-s) a -Deltau_R(x,s)=0 pro regulární Laplacián Delta=Delta_s (Hartman 2013). V takových situacích se g_f=g_f(x,s) označuje jako fundamentální řešení základní diferenciální rovnice a u_R=u_R(x,s) jako její regulární řešení; g_f a u_R se proto někdy nazývají fundamentální, resp. regulární část G.

Několik základních vlastností obecné Greenovy funkce vyplývá bezprostředně (nebo téměř bezprostředně) z její definice a přenáší se na všechny konkrétní případy. Například pokud je jádro operátoru L netriviální, pak může být s jedním operátorem spojeno několik Greenových funkcí; v důsledku toho je třeba projevit opatrnost, když se mluví o „této“ Greenově funkci. Greenovy funkce splňují ve svých dvou argumentech adjungovanou symetrii, takže

 G(x,s)=G^*(s,x)
(15)

kde je zde G^* definováno jako řešení rovnice

 L^*G^*(s,x)=delta(x-s).
(16)

Zde platí, že L^* je adjunktem L. Jedním z bezprostředních důsledků tohoto faktu je, že pro samoadjungované operátory L je G symetrický:

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

Tato identita se často nazývá princip reciprocity a fyzikálně říká, že odezva na x způsobená jednotkovým zdrojem na s je stejná jako odezva na s způsobená jednotkovou silou na x (Stakgold 1979).

Základní vlastností každé Greenovy funkce je, že poskytuje způsob, jak popsat odezvu řešení libovolné diferenciální rovnice na nějaký druh zdrojového členu za přítomnosti určitého počtu okrajových podmínek (Arfken et al. 2012). Někteří autoři se domnívají, že Greenova funkce plní v teorii parciálních diferenciálních rovnic zhruba analogickou úlohu jako Fourierovy řady při řešení obyčejných diferenciálních rovnic (Mikula a Kos 2006).

Pro abstraktnější scénáře existuje řada pojmů, které slouží jako kontextově specifické analogie pojmu Greenova funkce. Například ve funkcionální analýze je často užitečné uvažovat o tzv. zobecněné Greenově funkci, která má mnoho analogických vlastností při abstraktní integraci vůči funkcionálům, nikoliv funkcím. Taková zobecnění skutečně přinesla zcela analogické odvětví teoretické analýzy PDE a sama jsou předmětem velkého množství výzkumů.

.

Leave a Reply