arXiv Science⌕ Search

arXiv · 2610.09083

JAXIGA - A software framework for GPU-enabled and differentiable isogeometric analysis

Abstract

In this paper, we present JAXIGA, an open-source library for isogeometric analysis based on JAX. The library separates the construction of the mesh from the computations which are traced for compilation and differentiation. This allows geometry evaluation, assembly and the supported solvers to be combined in a just-in-time compiled program, for which first-order reverse-mode derivatives can be computed. We consider three numerical methods obtained from a single pointwise energy density. The Galerkin and energy-minimization methods use the same discrete potential and have the same stationary points, while collocation enforces the corresponding strong form. The sensitivities of a converged solution are obtained by solving one adjoint problem, and their accuracy depends on the tolerances of both the primal and adjoint problems. We also describe hierarchical extraction for local refinement of the variational methods and the use of smooth spline spaces for fourth-order problems. The numerical results are compared with analytical solutions and independent FEniCSx and JAX-FEM computations. For the reported GPU benchmark with 36,448 unknowns, assembly is twenty-four times faster than on the host CPU. When the conjugate-gradient solver is also run on the GPU, the total solution time is reduced from 31.8 to 1.38 seconds, and the result agrees with the direct solution to $5\times10^{-11}$. These results show that the choice of solver and the reuse of compilation are important for obtaining an overall reduction in computational cost.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Cosmin Anitescu, Yongjie Jessica Zhang. 2026-10-06. JAXIGA - A software framework for GPU-enabled and differentiable isogeometric analysis. https://arxiv.org/abs/2610.09083

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

KEEP EXPLORING

Related papers

A nonlocal model for heterogeneous material flow on conveyor belts

In this paper, a finite volume approximation scheme is used to solve a nonlocal macroscopic material flow model in two space dimensions, accounting for the presence of boundaries in the nonlocal terms. Based on a previous result for the scalar case, we extend the setting to a system of heterogeneous material on bounded domains. We prove the convergence of the approximate solutions constructed using the Roe scheme with dimensional splitting. We consider a regularized version of the flux function and establish BV bounds for a Roe-type scheme. Numerical tests show a good agreement with microscopic simulations.

math.NA↗

Algorithm XXXX: Computation of finite element degree-of-freedom transformation matrices

The arithmetic intensity of algorithms for computing finite element operators increases with increasing polynomial degree. This has made high degree methods particularly attractive on modern CPU and GPU architectures, since performance at low degree is limited by memory bandwidth and only a small fraction of the floating point capacity of the processor is used. Higher degree methods can exploit a significantly greater fraction of the available compute power. While stable methods for computing high-degree finite element bases are well-established, there is no universal and automated algorithm for the efficient construction of the degree-of-freedom map for arbitrary degree elements. We introduce a new algorithm that can be used in computing degree-of-freedom maps for arbitrary Ciarlet-type finite elements using only the element's definition and properties of the reference cell, without requiring a specific implementation for each element. This method is implemented in the library Basix, a component of the FEniCSx libraries. As well as allowing vast simplifications of parts of a codebase, the algorithm has allowed us to support user-defined custom elements that a user can create at runtime without requiring the user to input any information about transformations required to construct a degree-of-freedom map.

math.NA↗

Geometry-Conforming Finite Element Methods for Interface Problems on Fitted and Unfitted Meshes

We develop an arbitrary-degree geometry-conforming finite element (GC-FE) framework for two-dimensional elliptic boundary value and interface problems on curved domains. Using the Frenet--Serret transformation, curved-boundary and interface-fitted segments are represented exactly, while polynomials in Frenet coordinates generate generally nonpolynomial local shape functions in physical coordinates. For interface-unfitted meshes, GC-FE spaces on curved-boundary elements are coupled with geometry-conforming immersed finite element (GC-IFE) spaces on interface-cut elements, with standard polynomial spaces used elsewhere. We establish optimal approximation, inverse, and trace estimates for the GC-FE spaces. For fitted meshes, we prove well-posedness and optimal error estimates in energy and $L^2$ norms for a symmetric interior penalty discontinuous Galerkin discretization. By retaining the prescribed curves exactly, the method avoids the geometric variational crime associated with curved-geometry approximation and requires no corresponding geometric consistency estimates. Numerical experiments confirm the predicted rates, show global accuracy comparable to nodal isoparametric finite elements and smaller true-interface trace errors in the reported tests, and demonstrate the coupled GC-FE-GC-IFE method on interface-unfitted meshes.

math.NA↗