A Kirchhoff-képlet egy analitikai kifejezés egy hiperbolikus parciális differenciálegyenlet (az úgynevezett "hullámegyenlet") megoldására a teljes háromdimenziós térben. A leszármazási módszerrel (azaz dimenziócsökkentéssel) a kétdimenziós ( Poisson-képlet ) és az egydimenziós ( D'Alembert -képlet ) egyenletek megoldásait kaphatjuk meg belőle.
Tekintsük az egyenletet
, ahol a és függvények a -n vannak definiálva , és ez a Laplace operátor .Ez az egyenlet egy haladó hullám terjedését határozza meg egy dimenziós homogén közegben, időnként sebességgel .
Ahhoz, hogy a megoldás egyértelmű legyen, meg kell határozni a kezdeti feltételeket. A kezdeti feltételek határozzák meg a tér állapotát (vagy azt mondják, "kezdeti perturbáció") az idő pillanatában :
Ekkor az általánosított Kirchhoff-képlet megoldást ad erre a problémára háromdimenziós esetben:
ahol a felületi integrálokat átveszi a gömb .
Kirchhoff maga csak a háromdimenziós esetet vette figyelembe.
A fő probléma megoldásának egyszerű levezetése a Fourier-transzformációt használja .
Legyen helyi perturbáció ( és/vagy ) valamilyen kompakt halmazon a kezdeti időpillanatban . Ha egy ponton vagyunk , akkor a képletből (integrációs terület) látható módon idővel érezni fogjuk a zavarást .
Az időintervallumon kívül , ahol , a függvény egyenlő nullával.
Így a kezdeti, térben lokalizált perturbáció a tér minden pontjában időben lokalizált cselekvést vált ki, vagyis a perturbáció egy hullám formájában terjed, amelynek vezető és záró frontja van, ami a Huygens-elvet fejezi ki . A repülőn ez az elv megsérül. Ezt az indokolja, hogy a -kor kompakt perturbációhordozó már nem lesz kompakt , hanem végtelen hengert alkot, és ebből következően a perturbáció időben korlátlan lesz (a hengeres hullámoknak nincs kilépő éle) . [egy]
A membrán rezgési egyenletének megoldása (kétdimenziós tér)
(a funkció a külső hajtóerőnek felel meg)kezdeti feltételekkel
képlettel megadva:
.Az egydimenziós hullámegyenlet megoldása
(a funkció a külső hajtóerőnek felel meg)kezdeti feltételekkel
a következő formában van : [2]
A d'Alembert-képlet alkalmazásakor figyelembe kell venni, hogy a megoldás néha nem egyedi a teljes vizsgált területen . A hullámegyenlet megoldását két függvény összegeként ábrázoljuk: , azaz két jellemzőcsalád határozza meg: . A jobb oldali ábrán látható példa a hullámegyenletet szemlélteti egy félig végtelen húrra, és a benne szereplő kezdeti feltételek csak a zöld vonalon vannak megadva . Látható, hogy a -characteristics és a -characteristics is a tartományba érkezik , míg a tartományban csak -karakterisztikák vannak. Vagyis a d'Alembert-képlet nem működik a régióban.
Általában a Kirchhoff-képlet meglehetősen nehézkes, ezért a matematikai fizika problémáinak megoldása segítségével általában nehéz. Használhatjuk azonban a hullámegyenlet linearitását a kezdeti feltételekkel , és kereshetünk megoldást három függvény összege formájában: , amelyek teljesítik a következő feltételeket:
Egy ilyen művelet önmagában nem egyszerűsíti le a Kirchhoff-képlet használatát, de bizonyos problémákra lehetőség van megoldás kiválasztására, vagy egy többdimenziós probléma egydimenziósra redukálására változók változtatásával. Például hagyjuk . Ezután a csere után a "C" probléma egyenlete a következő formában jelenik meg:
Így egy egydimenziós egyenlethez jutottunk, ami azt jelenti, hogy használhatjuk a d'Alembert-képletet:
A kiindulási feltétel paritása miatt a megoldás az egész régióban megtartja formáját .