Searcharxiv⌕ Search

arXiv · 2610.06348

IGA-KAN: Isogeometric Analysis with Physics-Informed Closed-Form Kolmogorov-Arnold Networks for Forward and Inverse PDEs

Abstract

Isogeometric analysis (IGA) solves partial differential equations accurately on exact NURBS geometry, whereas neural solvers are mesh-free but often orders of magnitude less accurate and typically trained by non-convex optimization without error control. We propose IGA-KAN, which uses local Kolmogorov-Arnold networks, fitted in closed form, to improve the IGA solution instead of replacing it. An IGA Galerkin solve produces u_h; on every knot-vertex patch a Kolmogorov-Arnold ridge model is fitted to the strong form of the equation, the exact boundary data and u_h, and the models are blended by IGA hat functions. With fixed inner functions the fit is one batched linear least-squares problem, without optimizer, learning rate or initialization. An a posteriori safeguard, motivated by a maximum-principle bound, decides where local models are used, keeping the IGA solution elsewhere. On eight benchmarks with exact solutions, five from the literature and one also posed on a domain fitted to a brain slice from MRI, the method reduces the error of IGA, at an unchanged number of Galerkin unknowns, by factors of 4.2 to 90 in L^2 and 4.1 to 220 in H^1 on the reference meshes, and its L^2 error is 6 to 6x10^4 times smaller than that of the best Kolmogorov-Arnold network trained from scratch on the same equations with a fixed budget. In an inverse problem it recovers an unknown constant source from one noise-free observation 167 times more accurately than IGA. The gain is attributed to the superconvergence of local averages of the Galerkin solution.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Sima Naraghi, Kourosh Parand, Amirhossein Sadr, Dara Rahmati. 2026-10-05. IGA-KAN: Isogeometric Analysis with Physics-Informed Closed-Form Kolmogorov-Arnold Networks for Forward and Inverse PDEs. https://arxiv.org/abs/2610.06348

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

KEEP EXPLORING

Related papers

A mixed Petrov-Galerkin Cosserat rod finite element formulation

This paper presents a total Lagrangian mixed Petrov-Galerkin finite element formulation that provides a computationally efficient approach for analyzing Cosserat rods that is free of singularities and locking. To achieve a singularity-free orientation parametrization of the rod, the nodal kinematical unknowns are defined as the nodal centerline positions and unit quaternions. We apply Lagrange interpolation to all nodal kinematic coordinates, and in combination with a projection of non-unit quaternions, this leads to an interpolation with orthonormal cross-section-fixed bases. To eliminate locking effects such as shear locking, the variational Hellinger-Reissner principle is applied, resulting in a mixed approach with additional fields composed of resultant contact forces and moments. Since the mixed formulation contains the constitutive law in compliance form, it naturally incorporates constrained theories, such as the Kirchhoff-Love theory. This study specifically examines the influence of the additional internal force fields on the numerical performance, including locking mitigation and robustness. Using well-established benchmark examples, the method demonstrates enhanced computational robustness and efficiency, as evidenced by the reduction in required load steps and iterations when applying the standard Newton-Raphson method.

math.NA↗

Beyond the summation-by-parts property: nullspace consistency, sparsity, and regularization for FSBP operators

We investigate the construction and performance of summation-by-parts (SBP) operators, which offer a powerful framework for the systematic development of structure-preserving numerical discretizations of partial differential equations. Previous approaches for the construction of SBP operators have usually relied on either local methods or sparse differentiation matrices, as commonly used in finite difference schemes. However, these methods often impose implicit requirements that are not part of the formal SBP definition. We demonstrate that adherence to the SBP definition alone does not guarantee the desired accuracy, and we make additional conditions explicit that SBP operators need to satisfy in order to achieve accuracy. While these conditions are known in the SBP literature, they are usually enforced only implicitly by the respective construction procedure. Specifically, we analyze the error minimization for an augmented basis, discuss the role of sparsity, and examine the importance of nullspace consistency in the construction of SBP operators. A dispersion and dissipation analysis shows that the loss of accuracy has two sources. First, a lack of nullspace consistency produces stationary modes, which are neither transported nor damped by the scheme and whose contribution to the error converges more slowly under mesh refinement. Second, the physical mode, i.e., the discrete approximation of an exact traveling wave, can be poorly resolved, and the resulting error dominates in long-time simulations. Furthermore, we show how these design criteria can be integrated into a recently proposed optimization-based construction procedure for function space SBP (FSBP) operators on arbitrary grids. Our findings are supported by numerical experiments that illustrate the improved accuracy of the numerical solutions obtained with the proposed SBP operators.

math.NA↗

A discontinuous Galerkin method for elliptic-hyperbolic equations: the Tricomi problem

We present and analyze a discontinuous Galerkin method for the numerical solution of a class of second-order linear mixed-type partial differential equations, i.e. equations that change their nature from elliptic to hyperbolic through the computational domain. Well-posedness of the discrete problem is established via coercivity in an energy norm, achieved through the Morawetz multiplier technique. We derive $hp$-a priori error estimates in the energy norm, which we use to prove convergence rates for standard and quasi-Trefftz polynomial spaces. Numerical experiments validate the theoretical results.

math.NA↗