Numerical method for nonlinear Kolmogorov PDEs via sensitivity analysis
Pith reviewed 2026-05-24 03:18 UTC · model grok-4.3
The pith
Nonlinear Kolmogorov PDEs equal a baseline linear PDE plus ε times a second linear PDE as the neighborhood size shrinks to zero.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
As ε tends to zero the solution of the nonlinear Kolmogorov PDE equals the solution of the linear Kolmogorov PDE with the baseline coefficients plus ε times the solution of an auxiliary linear Kolmogorov PDE whose coefficients are again built from the baseline process; the two linear equations are solved by Monte Carlo sampling of the associated diffusion.
What carries the argument
First-order sensitivity expansion of the nonlinear PDE value function with respect to the neighborhood radius ε, obtained by solving one auxiliary linear Kolmogorov PDE.
If this is right
- The nonlinear PDE is approximated to order ε by solving two linear Kolmogorov equations.
- Feynman-Kac Monte Carlo sampling yields a dimension-independent numerical scheme.
- Error and complexity bounds follow from standard estimates on the two linear PDEs.
- The method is demonstrated to remain stable in dimensions up to 100.
Where Pith is reading between the lines
- The same expansion technique could be applied to other small perturbations of linear generators beyond the ε-neighborhood construction.
- The two-step Monte Carlo procedure may be reused for related nonlinear problems in stochastic control whenever the nonlinearity admits a comparable first-order characterization.
- Higher-order terms in the expansion could be derived by differentiating the auxiliary linear PDE again with respect to ε.
Load-bearing premise
The nonlinearity must arise exactly as the pointwise supremum of the generator over the ε-neighborhood of the baseline coefficients.
What would settle it
Compute the true nonlinear PDE solution for successively smaller ε and check whether the difference from the baseline linear solution divided by ε converges to the auxiliary linear solution.
Figures
read the original abstract
We examine nonlinear Kolmogorov partial differential equations (PDEs). Here the nonlinear part of the PDE comes from its Hamiltonian where one maximizes over all possible drift and diffusion coefficients which fall within a $\varepsilon$-neighborhood of pre-specified baseline coefficients. Our goal is to quantify and compute how sensitive those PDEs are to such a small nonlinearity, and then use the results to develop an efficient numerical method for their approximation. We show that as $\varepsilon\downarrow 0$, the nonlinear Kolmogorov PDE equals the linear Kolmogorov PDE defined with respect to the corresponding baseline coefficients plus $\varepsilon$ times a correction term which can be also characterized by the solution of another linear Kolmogorov PDE involving the baseline coefficients. As these linear Kolmogorov PDEs can be efficiently solved in high-dimensions by exploiting their Feynman-Kac representation, our derived sensitivity analysis then provides a Monte Carlo based numerical method which can efficiently solve these nonlinear Kolmogorov equations. We establish an error and complexity analysis for our numerical method. Moreover, we provide numerical examples in up to 100 dimensions to empirically demonstrate the applicability of our numerical method.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper examines nonlinear Kolmogorov PDEs whose nonlinearity arises from a Hamiltonian that takes the pointwise supremum of the generator over an ε-neighborhood of given baseline drift and diffusion coefficients. It derives an asymptotic expansion showing that, as ε↓0, the nonlinear solution equals the solution of the corresponding linear Kolmogorov PDE plus ε times a correction term that itself solves a linear Kolmogorov PDE driven by the directional derivative of the Hamiltonian. This expansion is then used to construct a Monte Carlo numerical method based on Feynman-Kac representations of the two linear PDEs; error and complexity bounds are established for the method, and numerical experiments are reported in dimensions up to 100.
Significance. If the expansion and its numerical realization hold under the stated assumptions, the work supplies a practical route to high-dimensional nonlinear Kolmogorov equations by reducing them to two linear problems that admit efficient Monte Carlo solution. The combination of a parameter-free first-order expansion, explicit error/complexity analysis, and empirical tests in 100 dimensions constitutes a concrete contribution to the numerical analysis of high-dimensional nonlinear PDEs.
major comments (2)
- [§3] §3 (derivation of the first-order term): the envelope differentiation step that produces the inhomogeneous term for the correction PDE v requires explicit verification that the directional derivative of the Hamiltonian exists and is continuous at the baseline coefficients; the manuscript should state the precise regularity (e.g., Lipschitz or C^1) assumed on the coefficients to justify differentiation under the supremum.
- [§5] §5 (numerical error tables): the complexity analysis claims an overall cost of order ε^{-2} or better, yet the reported experiments do not include a table that juxtaposes observed L^2 errors against the predicted rates for successive values of ε and dimension; without such a table the empirical support for the complexity claim remains incomplete.
minor comments (2)
- [Abstract] The abstract states that the correction term 'can be also characterized by the solution of another linear Kolmogorov PDE' but does not name the inhomogeneous source term; adding a one-line description of this source would improve readability.
- [Introduction] Notation for the baseline coefficients (a0,b0) and the ε-ball is introduced only in the problem formulation; repeating the definition once in the statement of the main theorem would aid readers who skim the introduction.
Simulated Author's Rebuttal
We thank the referee for the positive evaluation and the constructive comments on our manuscript. We address each major comment below, indicating the revisions we plan to incorporate.
read point-by-point responses
-
Referee: [§3] §3 (derivation of the first-order term): the envelope differentiation step that produces the inhomogeneous term for the correction PDE v requires explicit verification that the directional derivative of the Hamiltonian exists and is continuous at the baseline coefficients; the manuscript should state the precise regularity (e.g., Lipschitz or C^1) assumed on the coefficients to justify differentiation under the supremum.
Authors: We agree that an explicit statement of the required regularity is needed to rigorously justify the envelope differentiation. In the revised manuscript we will insert a new remark immediately after the statement of the Hamiltonian in Section 3. The remark will assume that the baseline drift and diffusion coefficients are Lipschitz continuous in the state variable (uniformly in the control) and continuous in the control parameters, and will verify that these conditions guarantee the existence and continuity of the directional derivative of the Hamiltonian at the baseline point, thereby justifying differentiation under the supremum. revision: yes
-
Referee: [§5] §5 (numerical error tables): the complexity analysis claims an overall cost of order ε^{-2} or better, yet the reported experiments do not include a table that juxtaposes observed L^2 errors against the predicted rates for successive values of ε and dimension; without such a table the empirical support for the complexity claim remains incomplete.
Authors: We concur that a dedicated table would provide clearer empirical support for the complexity bounds. In the revised version we will add a new table in Section 5 that reports observed L^2 errors for successive values of ε (0.1, 0.05, 0.01) across dimensions 10, 50 and 100, together with the theoretically predicted rates, allowing direct comparison with the complexity analysis. revision: yes
Circularity Check
No significant circularity; derivation self-contained
full rationale
The paper defines the nonlinear Hamiltonian explicitly as the pointwise supremum of the generator over an ε-neighborhood of baseline coefficients. The claimed first-order expansion as ε↓0 is obtained by standard directional differentiation of this definition, yielding a linear Kolmogorov PDE for the correction whose inhomogeneous term is the directional derivative of the Hamiltonian. This step uses only the well-posedness already assumed for the linear equations and does not invoke fitted parameters, self-citations for uniqueness theorems, or ansatzes smuggled from prior work. The Monte Carlo method follows directly from the Feynman-Kac representations of the resulting linear PDEs. No load-bearing step reduces to its own inputs by construction.
Axiom & Free-Parameter Ledger
Forward citations
Cited by 1 Pith paper
-
Robust SGLD algorithm for solving non-convex distributionally robust optimisation problems
Develops robust SGLD with non-asymptotic convergence bounds for non-convex DRO and applies it to neural network regression under adversarial corruption.
Reference graph
Works this paper leans on
-
[1]
G. Barles. Convergence of numerical schemes for degenerate parabolic equations arising in finance theory. In Rogers L. C. G., Talay D. eds. Numerical Methods in Finance
- [2]
- [3]
- [4]
-
[5]
D. Bartl and J. Wiesel. Sensitivity of multiperiod optimization problems with respect to the adapted Wasserstein distance.SIAM J. Financial Math., 14(2):704–720, 2023
work page 2023
-
[6]
C. Beck, S. Becker, P. Cheridito, A. Jentzen, and A. Neufeld. Deep splitting method for parabolic PDEs. SIAM J. Sci. Comput, 43(5):A3135–A3154, 2021
work page 2021
-
[7]
F. Black and M. Scholes. The pricing of options and corporate liabilities.J. Polit. Econ., 81(3):637–654, 1973
work page 1973
-
[8]
J. Blanchet and K. Murthy. Quantifying distributional model risk via optimal transport.Math. Oper. Res., 44(2):565–600, 2019
work page 2019
-
[9]
V. I. Bogachev, N. V. Krylov, M. Röckner, and S. V. Shaposhnikov.Fokker–Planck–Kolmogorov Equations, volume 207 of Mathematical Surveys and Monographs. American Mathematical Society, 2022
work page 2022
-
[10]
Cerrai.Second Order PDE’s in Finite and Infinite Dimension: A Probabilistic Approach
S. Cerrai.Second Order PDE’s in Finite and Infinite Dimension: A Probabilistic Approach. Lecture Notes in Math.Springer, Berlin, 2001
work page 2001
-
[11]
P. Cheridito, H. M. Soner, N. Touzi, and N. Victoir. Second-order backward stochastic differential equations and fully nonlinear parabolic PDEs.Comm. Pure Appl. Math., 60(7):1081–1110, 2007
work page 2007
- [12]
-
[13]
M. G. Crandall, H. Ishii, and P.-L. Lions. User’s guide to viscosity solutions of second order partial differ- ential equations.Bull. Amer. Math. Soc., 27(1):1–67, 1992
work page 1992
-
[14]
C. Dellacherie and P. Meyer. Probabilities and Potential, B: Theory of Martingales
- [15]
-
[16]
Y. Dolinsky, M. Nutz, and H. M. Soner. Weak approximation ofG-expectations. Stoch. Process. Appl., 122(2):664–675, 2012
work page 2012
-
[17]
N. El Karoui and X. Tan. Capacities, measurable selection and dynamic programming part ii: application in stochastic control problems.arXiv preprint arXiv:1310.3364, 2013
-
[18]
L. C. Evans.Partial Differential Equations, volume 19. American Mathematical Society, 2010
work page 2010
- [19]
-
[20]
W. H. Fleming and H. M. Soner.Controlled Markov processes and viscosity solutions, volume 25. Springer Science & Business Media, 2006
work page 2006
- [21]
-
[22]
S. Fuhrmann, M. Kupper, and M. Nendel. Wasserstein perturbations of Markovian transition semigroups. Ann. Inst. Henri Poincaré Probab. Stat., 59(2):904–932, 2023
work page 2023
-
[23]
R. Gao, X. Chen, and A. J. Kleywegt. Wasserstein distributionally robust optimization and variation regularization. Oper. Res., 2022
work page 2022
- [24]
-
[25]
M. B. Giles. Multilevel Monte Carlo path simulation.Oper. Res., 56(3):607–617, 2008
work page 2008
-
[26]
E. Gobet. Monte-Carlo methods and stochastic processes: from linear to non-linear. Chapman and Hal- l/CRC, 2016
work page 2016
-
[27]
C. Graham and D. Talay.Stochastic simulation and Monte Carlo methods: mathematical foundations of stochastic simulation, volume 68. Springer Science & Business Media, 2013. 30 DANIEL BARTL, ARIEL NEUFELD, AND KYUNGHYUN PARK
work page 2013
-
[28]
J. Han, A. Jentzen, and W. E. Solving high-dimensional partial differential equations using deep learning. Proc. Natl. Acad. Sci., 115(34):8505–8510, 2018
work page 2018
-
[29]
K. Hasselmann. Stochastic climate models part I. Theory.Tellus, 28(6):473–485, 1976
work page 1976
-
[30]
S. Herrmann and J. Muhle-Karbe. Model uncertainty, recalibration, and the emergence of delta–vega hedg- ing. Finance Stoch., 21:873–930, 2017
work page 2017
-
[31]
S. Herrmann, J. Muhle-Karbe, and F. T. Seifried. Hedging with small uncertainty aversion.Finance Stoch., 21:1–64, 2017
work page 2017
-
[32]
C. Huré, H. Pham, and X. Warin. Deep backward schemes for high-dimensional nonlinear PDEs.Math. Comp., 89(324):1547–1579, 2020
work page 2020
-
[33]
M. Hutzenthaler, A. Jentzen, and T. Kruse. On multilevel Picard numerical approximations for high- dimensional nonlinear parabolic partial differential equations and high-dimensional nonlinear backward stochastic differential equations.J. Sci. Comput., 79(3):1534–1571, 2019
work page 2019
- [34]
-
[35]
N. G. V. Kampen.Stochastic processes in physics and chemistry, volume 1. North-Holland, Oxford, 1981
work page 1981
-
[36]
I. Karatzas and S. Shreve.Brownian motion and stochastic calculus, volume 113. Springer, 1991
work page 1991
-
[37]
M. Kimura. Some problems of stochastic processes in genetics.Ann. Math. Stat., 28:882–901, 1957
work page 1957
-
[38]
N. V. Krylov. On Kolmogorov’s equations for finite-dimensional diffusions. In Stochastic PDE’s and Kol- mogorov Equations in Infinite Dimensions (Cetraro, 1998). Lecture Notes in Math.1715, 1–63. Springer, Berlin, 1999
work page 1998
-
[39]
J. D. Logan and W. Wolesensky.Mathematical methods in biology, volume 96. John Wiley & Sons, 2009
work page 2009
-
[40]
A. Matoussi, D. Possamaï, and C. Zhou. Robust utility maximization in nondominated models with 2BSDE: the uncertain volatility model.Math. Finance, 25(2):258–287, 2015
work page 2015
-
[41]
P. Mohajerin Esfahani and D. Kuhn. Data-driven distributionally robust optimization using the Wasserstein metric: performance guarantees and tractable reformulations.Math. Programming, 171(1-2):115–166, 2018
work page 2018
-
[42]
M. Nendel and A. Sgarabottolo. A parametric approach to the estimation of convex risk functionals based on Wasserstein distance.arXiv preprint arXiv:2210.14340, 2022
-
[43]
A. Neufeld and M. Nutz. Measurability of semimartingale characteristics with respect to the probability law. Stoch. Process. Appl., 124(11):3819–3845, 2014
work page 2014
-
[44]
A. Neufeld and M. Nutz. Nonlinear Lévy processes and their characteristics. Trans. Am. Math. Soc., 369(1):69–95, 2017
work page 2017
-
[45]
A. Neufeld and M. Nutz. Robust utility maximization with Lévy processes.Math. Finance, 28(1):82–105, 2018
work page 2018
-
[46]
M. Nutz. RandomG-expectations. Ann. Appl. Probab., 23(5):1755–1777, 2013
work page 2013
-
[47]
M. Nutz and R. van Handel. Constructing sublinear expectations on path space.Stoch. Process. Appl., 123(8):3100–3121, 2013
work page 2013
-
[48]
J. Obłój and J. Wiesel. Distributionally robust portfolio maximization and marginal utility pricing in one period financial markets.Math. Finance, 31(4):1454–1493, 2021
work page 2021
- [49]
-
[50]
S. Peng. BSDE and relatedg-expectations. InBackward Stochastic Differential Equations, ed. N. El Karoui and L. Mazliak. pages 141–159. Longman, Harlow, 1997
work page 1997
-
[51]
S. Peng. G-expectation, G-Brownian motion and related stochastic calculus of Itô type. In Stochastic Analysis and Applications, Abel Symp., pages 541–567. Springer, Berlin, Heidelberg, 2007
work page 2007
-
[52]
G. Pflug and D. Wozabal. Ambiguity in portfolio selection.Quant. Finance, 7(4):435–442, 2007
work page 2007
-
[53]
H. Pham. Continuous-time stochastic control and optimization with financial applications, volume 61. Springer Science & Business Media, 2009
work page 2009
-
[54]
D. Possamaï, X. Tan, and C. Zhou. Stochastic control for a class of nonlinear kernels and applications. Ann. Probab., 46(1):551–603, 2018
work page 2018
-
[55]
P. E. Protter.Stochastic Integration and Differential Equations, volume 21. Springer Science & Business Media, 2005
work page 2005
-
[56]
J. Sirignano and K. Spiliopoulos. DGM: A deep learning algorithm for solving partial differential equations. J. Comput. Phys., 375:1339–1364, 2018. 31
work page 2018
-
[57]
S. A. Smolyak. Quadrature and interpolation formulas for tensor products of certain classes of functions. In Doklady Akademii Nauk, volume 148, pages 1042–1045. Russian Academy of Sciences, 1963
work page 1963
-
[58]
H. M. Soner, N. Touzi, and J. Zhang. Quasi-sure stochastic analysis through aggregation.Electron. J. Probab., 16:1844–1879, 2011
work page 2011
-
[59]
H. M. Soner, N. Touzi, and J. Zhang. Wellposedness of second order backward SDEs.Probab. Theory Related Fields, 153(1-2):149–190, 2012
work page 2012
-
[60]
H. M. Soner, N. Touzi, and J. Zhang. Dual formulation of second order target problems.Ann. Appl. Probab., 23(1):308–347, 2013
work page 2013
-
[61]
E. Tadmor. A review of numerical methods for nonlinear partial differential equations.Bull. Amer. Math. Soc., 49(4):507–554, 2012
work page 2012
-
[62]
Thomée.Galerkin finite element methods for parabolic problems, volume 25
V. Thomée.Galerkin finite element methods for parabolic problems, volume 25. Springer Science & Business Media, 2007
work page 2007
-
[63]
J. Thuburn. Climate sensitivities via a Fokker–Planck adjoint approach. Q. J. R. Meteorol. Soc., 131(605):73–92, 2005
work page 2005
-
[64]
D. V. Widder.The heat equation. Academic Press, New York, 1976
work page 1976
-
[65]
P. Wilmott, J. Dewynne, and S. Howison.Option Pricing: Mathematical Models and Computation. Oxford Financial Press, 1993
work page 1993
-
[66]
J. Yong and X. Y. Zhou.Stochastic controls: Hamiltonian systems and HJB equations, volume 43. Springer Science & Business Media, 2012. F aculty of Mathematics, University of Vienna Email address: daniel.bartl@univie.ac.at Division of Mathematical Sciences, Nanyang Technological University Email address: ariel.neufeld@ntu.edu.sg Division of Mathematical Sc...
work page 2012
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.