arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.03783

Neural Network Solvers for Nonlinear ODEs: Benchmarking MLPs and B-Spline/Chebyshev KANs

Mahidhar Reddy Patukuri·B. Veena S. N. Rao·S. M. Mallikarjunaiah
View original source ↗Read source document ↗Export metadata ↓

Abstract

Three neural networks are compared as solvers of nonlinear ordinary differential equations: a multilayer perceptron (MLP), a Kolmogorov-Arnold network (KAN) whose edges are B-splines, and a KAN whose edges are Chebyshev series. Each network is trained only on the residual of the equation and on its initial or boundary conditions. The exact solution, or a numerical solution accurate to $10^{-13}$, is used only afterward to measure the error. Five test problems of differential orders one to four are investigated: the logistic equation, a singular Lane-Emden type initial value problem, a singular boundary value problem, the Falkner-Skan equation with suction, a fourth-order problem. The same training budget and the same choice of five activation functions are allocated to all networks. No numerical failures are encountered in any of the \nRuns{} training runs. For every problem, the best KAN is found to be at least as accurate as the best MLP while \paramsKANmin{} to \paramsKANmax{} parameters are used instead of \paramsMLP{}; the margin ranges from a tie to a factor of three. In the Falkner-Skan setting of an earlier study, the B-spline KAN is shown to be 34 to 220 times more accurate at every published test point. Much smaller MLPs are also found to be competitive, whereas at orders three and four, failures are experienced more frequently by KANs, and a coarse basis is required. The derivatives in the equation are distorted by the usual grid extension of a B-spline KAN; consequently, it is replaced with knot insertion, by which the logistic error is lowered more than a hundredfold, though no improvement is provided at order four.

Explore related subjects

math.GM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mahidhar Reddy Patukuri, B. Veena S. N. Rao, S. M. Mallikarjunaiah. 2026-09-30. Neural Network Solvers for Nonlinear ODEs: Benchmarking MLPs and B-Spline/Chebyshev KANs. https://arxiv.org/abs/2610.03783

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A Ramanujan Pell K3 Surface and Cube Representations

A negative Pell equation produces positive integers with $a_n^3+b_n^3+c_n^3=561N_n^3+(-1)^{n+1}$. We classify all positive solutions satisfying the natural linear constraints of the construction and prove an exact pairwise coprimality law, with exceptional factor $137$ in one class modulo $68$. The associated sextic $K=(1-13u+26u^2)^3+(6+182u^2)^3$ defines an elliptic K3 surface with six type-IV fibres. Its genus-four cubic cover has a geometrically simple Prym threefold; exact good-reduction arithmetic establishes simplicity over every finite extension of the residue field. We determine the full geometric Mordell-Weil group, the integral Neron-Severi and transcendental lattices, and the arithmetic Picard lattice over $\mathbb{Q}$, which is $U\oplus\langle-4\rangle^{\oplus4}$. Every two-cube representation by rational functions over $\mathbb{Q}$ is obtained from a multiple of one section, with numerator degrees $2m^2$ and denominator degree $2m^2-2$. Polynomial rigidity follows without a degree assumption. Along the specified Pell orbit all specialized points are nontorsion, their heights are $\frac{4}{3}|n|\log(8+\sqrt{65})+O(1)$, and infinitely many rational cubic-twist classes occur. We also identify the local zeta function at $19$ and the generic rank and rank-jump criterion for the corresponding two-parameter base-change family.

math.GM↗
arXiv2026

Generalized Pellet's theorem for analytic matrix-valued functions

Generalized Pellet's theorem is extended to analytic matrix-valued functions using Descartes' rule of signs for infinite series. Cauchy's estimate is incorporated to allow numerical computation of the bounds. To address the issue that Pellet's theorem and its generalizations may not always guarantee the existence of bounds, for the case of matrix size one, we employ the Dandelin- Lobachevsky-Graeffe method, which ensures the existence of the bounds for the roots and further improves them as the order of the transform increases. Without the need for any a priori information on the function, these theorems allow us to compute mathematically verified bounds for the roots in a certain region using an interval arithmetic implementation of the function. Numerical examples and an implementation are provided to illustrate the effectiveness of the proposed method.

math.GM↗
arXiv2026

Even and Odd Integer Values of the Secondary Zeta Function

The secondary zeta function is defined by $$ Z(s)=\sum_{γ>0}\frac{1}{γ^{s}}, $$ where $\tfrac12+iγ$ runs over the non-trivial zeros of the Riemann zeta function with positive ordinate, and the Riemann hypothesis is assumed throughout. In this article, we derive convergent integral representations of $Z(s)$ at positive even and odd integer argument, expressed through a differential operator acting on the logarithm of the Riemann $ξ$-function. Define $$ L(x)=\log\left(\frac{ξ(x+\tfrac12)}{ξ(\tfrac12)}\right), \qquad \mathcal{E}=x\frac{\mathrm{d}}{\mathrm{d}x}, \qquad \mathcal{D}_k=\mathcal{E}\prod_{j=1}^{k}(\mathcal{E}-2j). $$ Then, for $k\geq1$, $$ Z(2k)=\frac{(-1)^k}{2^k(k-1)!}\int_{0}^{\infty}\frac{\mathcal{D}_k L(x)}{x^{2k+1}}\,\mathrm{d}x $$ and $$ Z(2k+1)=\frac{(-1)^k}{π\,(2k-1)!!}\int_{0}^{\infty}\frac{\mathcal{D}_k L(x)}{x^{2k+2}}\,\mathrm{d}x. $$ In the last part, we write these formulas out explicitly for $Z(k)$, $2\leq k\leq 7$, both in terms of $L(x)$ and in terms of $ξ(x+\tfrac12)$ for reference. We also derive a limit formula for $γ_1$, the ordinate of the first nontrivial zero, and demonstrate its convergence numerically.

math.GM↗