Table of Contents
Fetching ...

WENDy for Nonlinear-in-Parameters ODEs

Nic Rummel, Daniel A. Messenger, Stephen Becker, Vanja Dukic, David M. Bortz

TL;DR

This work extends weak-form learning (WENDy) to nonlinear-in-parameters ODEs by deriving a maximum likelihood estimator (WENDy-MLE) that leverages analytic first- and second-order derivatives of the weak residual. It models data noise via additive Gaussian and multiplicative log-normal distributions, derives the weak residual distribution and a closed-form negative log-likelihood ell(p) = $\log\det\mathbf{S}(\mathbf{p}) + \mathbf{r}(\mathbf{p})^{\top}\mathbf{S}(\mathbf{p})^{-1}\mathbf{r}(\mathbf{p})$, and extends to log-normal noise with a transformed state. The authors implement a Julia package and demonstrate through extensive benchmarks that WENDy-MLE achieves higher accuracy, a larger domain of convergence, and competitive or faster performance than OE-LS and prior weak-form methods, even under challenging noise and nonlinearities. The approach provides reliable parameter uncertainty through an approximate estimator distribution and yields practical robustness without forward-solve-based optimization, enabling scalable identification for complex ODE systems. The work discusses robustness to noise, identified biases from nonlinearity, and computational costs, outlining directions for further improvement and extension to larger dynamical systems and PDEs.

Abstract

The Weak-form Estimation of Non-linear Dynamics (WENDy) framework is a recently developed approach for parameter estimation and inference of systems of ordinary differential equations (ODEs). Prior work demonstrated WENDy to be robust, computationally efficient, and accurate, but only works for ODEs which are linear-in-parameters. In this work, we derive a novel extension to accommodate systems of a more general class of ODEs that are nonlinear-in-parameters. Our new WENDy-MLE algorithm approximates a maximum likelihood estimator via local non-convex optimization methods. This is made possible by the availability of analytic expressions for the likelihood function and its first and second order derivatives. WENDy-MLE has better accuracy, a substantially larger domain of convergence, and is often faster than other weak form methods and the conventional output error least squares method. Moreover, we extend the framework to accommodate data corrupted by multiplicative log-normal noise. The WENDy.jl algorithm is efficiently implemented in Julia. In order to demonstrate the practical benefits of our approach, we present extensive numerical results comparing our method, other weak form methods, and output error least squares on a suite of benchmark systems of ODEs in terms of accuracy, precision, bias, and coverage.

WENDy for Nonlinear-in-Parameters ODEs

TL;DR

This work extends weak-form learning (WENDy) to nonlinear-in-parameters ODEs by deriving a maximum likelihood estimator (WENDy-MLE) that leverages analytic first- and second-order derivatives of the weak residual. It models data noise via additive Gaussian and multiplicative log-normal distributions, derives the weak residual distribution and a closed-form negative log-likelihood ell(p) = , and extends to log-normal noise with a transformed state. The authors implement a Julia package and demonstrate through extensive benchmarks that WENDy-MLE achieves higher accuracy, a larger domain of convergence, and competitive or faster performance than OE-LS and prior weak-form methods, even under challenging noise and nonlinearities. The approach provides reliable parameter uncertainty through an approximate estimator distribution and yields practical robustness without forward-solve-based optimization, enabling scalable identification for complex ODE systems. The work discusses robustness to noise, identified biases from nonlinearity, and computational costs, outlining directions for further improvement and extension to larger dynamical systems and PDEs.

Abstract

The Weak-form Estimation of Non-linear Dynamics (WENDy) framework is a recently developed approach for parameter estimation and inference of systems of ordinary differential equations (ODEs). Prior work demonstrated WENDy to be robust, computationally efficient, and accurate, but only works for ODEs which are linear-in-parameters. In this work, we derive a novel extension to accommodate systems of a more general class of ODEs that are nonlinear-in-parameters. Our new WENDy-MLE algorithm approximates a maximum likelihood estimator via local non-convex optimization methods. This is made possible by the availability of analytic expressions for the likelihood function and its first and second order derivatives. WENDy-MLE has better accuracy, a substantially larger domain of convergence, and is often faster than other weak form methods and the conventional output error least squares method. Moreover, we extend the framework to accommodate data corrupted by multiplicative log-normal noise. The WENDy.jl algorithm is efficiently implemented in Julia. In order to demonstrate the practical benefits of our approach, we present extensive numerical results comparing our method, other weak form methods, and output error least squares on a suite of benchmark systems of ODEs in terms of accuracy, precision, bias, and coverage.

Paper Structure

This paper contains 47 sections, 6 theorems, 61 equations, 16 figures, 5 tables.

Key Result

Proposition 1

Let uncorrupted data $\mathbf{U}^*$ and true parameters $\mathbf{p}^*$ satisfy Equation eq:ode-weak on the time domain $[0,T]$. For corrupted data $\mathbf{U} = \mathbf{U}^* + \mathbf{\mathcal{E}}$ with noise $\operatorname{vec}[\mathbf{\mathcal{E}}] \sim \mathcal{N}(\mathbf{0}, \mathbf{\Sigma} \ot

Figures (16)

  • Figure 1: Left: the solution for the Lorenz oscillator in black and the corrupted data in grey dots. Right: the relative coefficient error for both the WENDy-MLE solver and the output error solver.
  • Figure 2: Metrics shown for OE-LS in blue, WLS in orange, WENDy-IRLS in green, WENDy-MLE in gold, the hybrid method in brown, and initial parameterization in black. Top left coefficient error vs noise ratio, top right forward simulation error vs noise ratio, bottom left box plot of algorithms coefficient relative error for all 100 runs at a noise ratio of 5%, and bottom right average failure rate over all runs.
  • Figure 3: Metrics shown for OE-LS in blue, WLS in orange, WENDy-IRLS in green, WENDy-MLE in gold, the hybrid method in brown, and initial parameterization in black. Top left coefficient error vs noise ratio, top right forward simulation error vs noise ratio, bottom left box plot of algorithms coefficient relative error for all 100 runs at a noise ratio of 5%, and bottom right average failure rate over all runs.
  • Figure 4: Metrics shown for OE-LS in blue, WENDy-MLE in gold, and initial parametrization in black. Top left coefficient error vs noise ratio, top right forward simulation error vs noise ratio, bottom left box plot of algorithms coefficient relative error for all 100 runs at a noise ratio of 5%, and bottom right average failure rate over all runs.
  • Figure 5: The WENDy algorithm is run on the Goodwin problem with all parameters fixed to truth except $p_4$ and $p_5$ for a variety of noise levels. The truth is shown as a green star, and the WENDy optimum is identified with a black circle. One can notice that the optimum moves further from truth as noise increases.
  • ...and 11 more figures

Theorems & Definitions (18)

  • Proposition 1
  • Remark 1: Spectral Convergence of Integration Error
  • Remark 2: Higher Order Terms
  • Remark 3: Intuition
  • Remark 4: Implicit Regularization
  • Corollary 1
  • Remark 5: All Elements of the True Sum are Zero
  • Remark 6: Integration Error comes from Specific $\hat{I}_n$
  • Remark 7: Functional Interpretation
  • Lemma 1
  • ...and 8 more