Feynman-Kac- formeln är en matematisk formel som upprättar ett samband mellan partiella differentialekvationer (av en speciell typ) och slumpmässiga processer. Uppkallad efter fysikern Richard Feynman och matematikern Mark Katz .
I synnerhet ger denna formel en metod för att lösa en partiell differentialekvation med hjälp av banorna för en slumpmässig process (den så kallade Monte Carlo-metoden ). Omvänt kan den matematiska förväntan av en slumpmässig process beräknas som en lösning på motsvarande partiella differentialekvation.
Tänk på differentialekvationen
med en okänd funktion , där och är oberoende variabler, är kända funktioner. Feynman-Kac-formeln anger att lösningen av ekvationen (*) med initialtillståndet (i omvänd tid)
kan uttryckas som en villkorad förväntan
där är ett sannolikhetsmått så att den slumpmässiga processen är en Itô-process som beskrivs av den stokastiska ekvationen
var är Wienerprocessen , med initialvillkoret
.Feynman-Katz-formeln har en flerdimensionell motsvarighet när variabeln .
I detta fall har differentialekvationen (*) formen
och n -dimensionell slumpmässig process beskrivs av den stokastiska ekvationen
där är en kolumnvektor , är en n - dimensionell wienerprocess , är en kvadratisk matris av ordningen n, relaterad till matrisen med formeln
asterisken betyder transponera.