Kirchhoff-formeln är ett analytiskt uttryck för att lösa en hyperbolisk partiell differentialekvation (den så kallade "vågekvationen") i hela det tredimensionella rummet. Genom nedstigningsmetoden (d.v.s. dimensionsreduktion) kan man erhålla lösningar av de tvådimensionella ( Poissons formel ) och endimensionella ( D'Alemberts formel ) ekvationer från den.
Tänk på ekvationen
, där funktionerna och är definierade på , och är Laplace-operatorn .Denna ekvation definierar utbredningen av en vandringsvåg i ett dimensionellt homogent medium med en hastighet ibland .
För att lösningen ska vara entydig är det nödvändigt att bestämma de initiala förhållandena. Initiala förhållanden bestämmer tillståndet i rymden (eller, de säger, "initial störning") vid tidpunkten :
Sedan ger den generaliserade Kirchhoff-formeln en lösning på detta problem i det tredimensionella fallet:
där ytintegralerna tas över sfären .
Kirchhoff själv övervägde bara det tredimensionella fallet.
En enkel härledning av lösningen på huvudproblemet använder Fouriertransformen .
Låt det uppstå en lokal störning ( och/eller ) på något kompakt set vid det första ögonblicket . Om vi är vid någon tidpunkt kommer vi, som framgår av formeln (integrationsområdet), att känna störningen efter tiden .
Utanför tidsintervallet , där , är funktionen lika med noll.
Således orsakar den initiala störningen, lokaliserad i rymden, vid varje punkt i rymden en åtgärd lokaliserad i tiden, det vill säga störningen fortplantar sig i form av en våg med ledande och efterföljande fronter, vilket uttrycker Huygens-principen ). På planet bryts denna princip. Motiveringen till detta är det faktum att störningsbäraren, som är kompakt vid , inte längre kommer att vara kompakt vid , utan kommer att bilda en oändlig cylinder, och följaktligen kommer störningen att vara obegränsad i tid (cylindriska vågor har ingen bakkant) . [ett]
Lösning av ekvationen av vibrationer i membranet (tvådimensionellt utrymme)
(funktionen motsvarar att driva yttre kraft)med initiala villkor
ges av formeln:
.Lösning av den endimensionella vågekvationen
(funktionen motsvarar att driva yttre kraft)med initiala villkor
har formen [2]
När du använder d'Alembert-formeln bör man ta hänsyn till att lösningen ibland inte är unik i hela det aktuella området . Lösningen av vågekvationen representeras som summan av två funktioner: , det vill säga den bestäms av två familjer av egenskaper: . Exemplet som visas i figuren till höger illustrerar vågekvationen för en semi-oändlig sträng, och initialvillkoren i den ges endast på den gröna linjen . Man kan se att både -egenskaper och -egenskaper kommer till domänen medan det bara finns -karakteristika i domänen. Det vill säga att d'Alembert-formeln inte fungerar i regionen.
I allmänhet är Kirchhoff-formeln ganska besvärlig, och därför är det vanligtvis svårt att lösa problem med matematisk fysik med dess hjälp. Däremot kan man använda vågekvationens linjäritet med initiala villkor och leta efter en lösning i form av summan av tre funktioner: , som uppfyller följande villkor:
I sig förenklar inte en sådan operation användningen av Kirchhoff-formeln, men för vissa problem är det möjligt att välja en lösning eller reducera ett flerdimensionellt problem till ett endimensionellt genom att ändra variabler. Låt till exempel . Sedan, efter ersättningen , kommer ekvationen för problem "C" att ha formen:
Därmed kom vi fram till en endimensionell ekvation, vilket betyder att vi kan använda d'Alemberts formel:
På grund av det initiala tillståndets paritet kommer lösningen att behålla sin form i hela regionen .