Papers
Topics
Authors
Recent
Search
2000 character limit reached

Weak-form EvoKAN: Scalable Neural PDE Solver

Updated 4 July 2026
  • Weak-form EvoKAN is an evolutionary neural network method that approximates time-dependent PDE solutions using weak-residual projections for scalable parameter updates.
  • It rigorously enforces boundary conditions—Dirichlet, periodic, and Neumann—through trial-space constructions and integration by parts, enhancing stability.
  • The approach decouples the update system size from quadrature resolution, yielding significant computational speedups and improved conditioning compared to strong-form methods.

Weak-form Evolutionary Kolmogorov–Arnold Networks, denoted VEvoKAN in the 2026 exposition following Kim et al., are a class of evolutionary neural-network methods for time-dependent partial differential equations in which the PDE solution is represented by a Kolmogorov–Arnold Network (KAN) whose parameters evolve in time according to a weak residual projection rather than repeated retraining (Kim et al., 19 Feb 2026). In this framework, the pointwise residual is projected onto a test space, producing a parameter-update linear system whose size is fixed by the number of trainable parameters and test functions, rather than by the number of quadrature points. The method is presented as a response to limitations of strong-form evolutionary approaches, which can yield ill-conditioned linear systems due to pointwise residual discretization and whose computational cost scales unfavorably with the number of training samples (Kim et al., 19 Feb 2026). The weak-form formulation also supports rigorous treatment of Dirichlet, periodic, and Neumann boundary conditions through boundary-constrained KAN trial spaces and integration by parts. In the closely related energy-dissipative EvoKAN framework, the same evolutionary KAN perspective is coupled with the scalar auxiliary variable (SAV) method to obtain unconditional energy stability for gradient-flow PDEs (Lin et al., 3 Mar 2025).

1. Conceptual position within evolutionary neural PDE solvers

VEvoKAN belongs to the broader family of evolutionary neural networks in which temporal dynamics are captured by parameter evolution rather than by solving a fresh optimization problem at each time step (Kim et al., 19 Feb 2026). The basic ansatz is a parametric network approximation

u^(x;W(t)),\hat u(x;W(t)),

with time-dependent parameters W(t)RPW(t)\in\mathbb{R}^P. Its temporal derivative is written as

u^t=u^Wγ,Wt=γ.\frac{\partial \hat u}{\partial t}=\frac{\partial \hat u}{\partial W}\cdot \gamma,\qquad \frac{\partial W}{\partial t}=\gamma.

For a general time-dependent PDE on ΩRd\Omega\subset\mathbb{R}^d,

ut(x,t)+N(u(x,t))=0,u(x,0)=u0(x),\frac{\partial u}{\partial t}(x,t)+\mathcal{N}(u(x,t))=0,\qquad u(x,0)=u_0(x),

the strong-form residual is defined by

R(x;W,γ)u^t+N(u^)=u^W(x,W)γ+N(u^(x,W)).R(x;W,\gamma)\equiv \frac{\partial \hat u}{\partial t}+\mathcal{N}(\hat u) =\frac{\partial \hat u}{\partial W}(x,W)\cdot\gamma+\mathcal{N}(\hat u(x,W)).

The weak-form step consists of projecting this residual against test functions {vk}k=1K\{v_k\}_{k=1}^K:

ΩR(x;W,γ)vk(x)dx0,k=1,,K.\int_\Omega R(x;W,\gamma)\,v_k(x)\,dx \simeq 0,\qquad k=1,\dots,K.

This leads to weak sensitivities and residual projections,

JkjΩu^Wj(x,W)vk(x)dx,NkΩN(u^(x,W))vk(x)dx,J_{kj}\equiv \int_\Omega \frac{\partial \hat u}{\partial W_j}(x,W)\,v_k(x)\,dx,\qquad N_k\equiv \int_\Omega \mathcal{N}(\hat u(x,W))\,v_k(x)\,dx,

and a least-squares problem whose optimality condition is

JTJγ=JTN.J^TJ\,\gamma=-J^TN.

The distinguishing claim of the weak formulation is that the size of this normal-equation system is determined by W(t)RPW(t)\in\mathbb{R}^P0 and W(t)RPW(t)\in\mathbb{R}^P1, and is independent of the number of quadrature points W(t)RPW(t)\in\mathbb{R}^P2 used to evaluate the integrals (Kim et al., 19 Feb 2026). This decoupling is the central scalability argument of VEvoKAN. A plausible implication is that the method targets the regime in which spatial resolution must increase without proportionally enlarging the update-system dimension.

2. KAN representation and functional parameterization

The underlying network architecture is a KAN. In the canonical description, the Kolmogorov–Arnold theorem is invoked in the form

W(t)RPW(t)\in\mathbb{R}^P3

and a deep KAN generalizes this with layers W(t)RPW(t)\in\mathbb{R}^P4 and edge-wise trainable univariate mappings W(t)RPW(t)\in\mathbb{R}^P5 (Kim et al., 19 Feb 2026). The layer update is

W(t)RPW(t)\in\mathbb{R}^P6

In the 2025 energy-dissipative EvoKAN formulation, a KAN of depth W(t)RPW(t)\in\mathbb{R}^P7 has layer sizes W(t)RPW(t)\in\mathbb{R}^P8, where W(t)RPW(t)\in\mathbb{R}^P9 is the spatial dimension and u^t=u^Wγ,Wt=γ.\frac{\partial \hat u}{\partial t}=\frac{\partial \hat u}{\partial W}\cdot \gamma,\qquad \frac{\partial W}{\partial t}=\gamma.0 is the number of PDE solution components (Lin et al., 3 Mar 2025). With coordinates u^t=u^Wγ,Wt=γ.\frac{\partial \hat u}{\partial t}=\frac{\partial \hat u}{\partial W}\cdot \gamma,\qquad \frac{\partial W}{\partial t}=\gamma.1, the forward recursion is

u^t=u^Wγ,Wt=γ.\frac{\partial \hat u}{\partial t}=\frac{\partial \hat u}{\partial W}\cdot \gamma,\qquad \frac{\partial W}{\partial t}=\gamma.2

and the output

u^t=u^Wγ,Wt=γ.\frac{\partial \hat u}{\partial t}=\frac{\partial \hat u}{\partial W}\cdot \gamma,\qquad \frac{\partial W}{\partial t}=\gamma.3

approximates the PDE solution u^t=u^Wγ,Wt=γ.\frac{\partial \hat u}{\partial t}=\frac{\partial \hat u}{\partial W}\cdot \gamma,\qquad \frac{\partial W}{\partial t}=\gamma.4.

The parameterization of the edge functions differs slightly across the two formulations. In the 2025 paper, all spline functions u^t=u^Wγ,Wt=γ.\frac{\partial \hat u}{\partial t}=\frac{\partial \hat u}{\partial W}\cdot \gamma,\qquad \frac{\partial W}{\partial t}=\gamma.5 are represented in a local B-spline basis, and the vector of spline coefficients and biases is denoted

u^t=u^Wγ,Wt=γ.\frac{\partial \hat u}{\partial t}=\frac{\partial \hat u}{\partial W}\cdot \gamma,\qquad \frac{\partial W}{\partial t}=\gamma.6

where u^t=u^Wγ,Wt=γ.\frac{\partial \hat u}{\partial t}=\frac{\partial \hat u}{\partial W}\cdot \gamma,\qquad \frac{\partial W}{\partial t}=\gamma.7 indexes B-spline basis functions on the reference interval (Lin et al., 3 Mar 2025). The same paper sometimes writes u^t=u^Wγ,Wt=γ.\frac{\partial \hat u}{\partial t}=\frac{\partial \hat u}{\partial W}\cdot \gamma,\qquad \frac{\partial W}{\partial t}=\gamma.8 to emphasize that each edge “weight” is itself a function of its input. In the 2026 weak-form paper, the canonical KAN uses cubic B-splines, while an RBF-KAN variant replaces each u^t=u^Wγ,Wt=γ.\frac{\partial \hat u}{\partial t}=\frac{\partial \hat u}{\partial W}\cdot \gamma,\qquad \frac{\partial W}{\partial t}=\gamma.9 with a Gaussian radial-basis expansion

ΩRd\Omega\subset\mathbb{R}^d0

and the full network ansatz is written as

ΩRd\Omega\subset\mathbb{R}^d1

These descriptions are compatible at the level of the evolutionary idea: the network is not retrained repeatedly; rather, the parameters themselves are advanced in time. In the 2025 formulation this point is explicit: EvoKAN encodes only the PDE’s initial state during an initial learning phase, after which the network parameters evolve numerically, governed by the same PDE, without any additional optimization (Lin et al., 3 Mar 2025).

3. Weak formulation and variational parameter evolution

The weak-form derivation starts from the parametric residual and replaces pointwise enforcement with projection onto a test space. The least-squares functional is

ΩRd\Omega\subset\mathbb{R}^d2

whose stationarity yields the normal equations

ΩRd\Omega\subset\mathbb{R}^d3

All spatial integrals are evaluated by quadrature:

ΩRd\Omega\subset\mathbb{R}^d4

The reported remarks are twofold: the linear system size is fixed by ΩRd\Omega\subset\mathbb{R}^d5 and ΩRd\Omega\subset\mathbb{R}^d6, independent of ΩRd\Omega\subset\mathbb{R}^d7, and integration by parts both reduces differentiation order and enforces Neumann boundary conditions (Kim et al., 19 Feb 2026).

The 2025 EvoKAN paper presents the same idea in variational language for parameter-space evolution. Writing

ΩRd\Omega\subset\mathbb{R}^d8

the chain rule gives

ΩRd\Omega\subset\mathbb{R}^d9

For a vector PDE

ut(x,t)+N(u(x,t))=0,u(x,0)=u0(x),\frac{\partial u}{\partial t}(x,t)+\mathcal{N}(u(x,t))=0,\qquad u(x,0)=u_0(x),0

the weak variational condition is stated as: find ut(x,t)+N(u(x,t))=0,u(x,0)=u0(x),\frac{\partial u}{\partial t}(x,t)+\mathcal{N}(u(x,t))=0,\qquad u(x,0)=u_0(x),1 such that for all test-directions ut(x,t)+N(u(x,t))=0,u(x,0)=u0(x),\frac{\partial u}{\partial t}(x,t)+\mathcal{N}(u(x,t))=0,\qquad u(x,0)=u_0(x),2,

ut(x,t)+N(u(x,t))=0,u(x,0)=u0(x),\frac{\partial u}{\partial t}(x,t)+\mathcal{N}(u(x,t))=0,\qquad u(x,0)=u_0(x),3

An equivalent normal-equation form is

ut(x,t)+N(u(x,t))=0,u(x,0)=u0(x),\frac{\partial u}{\partial t}(x,t)+\mathcal{N}(u(x,t))=0,\qquad u(x,0)=u_0(x),4

where ut(x,t)+N(u(x,t))=0,u(x,0)=u0(x),\frac{\partial u}{\partial t}(x,t)+\mathcal{N}(u(x,t))=0,\qquad u(x,0)=u_0(x),5 collects the spline-weight functions and

ut(x,t)+N(u(x,t))=0,u(x,0)=u0(x),\frac{\partial u}{\partial t}(x,t)+\mathcal{N}(u(x,t))=0,\qquad u(x,0)=u_0(x),6

The same source states that boundary conditions, including periodic and Dirichlet, enter through the choice of test space and integration by parts (Lin et al., 3 Mar 2025).

For gradient-flow PDEs, the 2025 paper gives the Allen–Cahn equation as the model example:

ut(x,t)+N(u(x,t))=0,u(x,0)=u0(x),\frac{\partial u}{\partial t}(x,t)+\mathcal{N}(u(x,t))=0,\qquad u(x,0)=u_0(x),7

with energy

ut(x,t)+N(u(x,t))=0,u(x,0)=u0(x),\frac{\partial u}{\partial t}(x,t)+\mathcal{N}(u(x,t))=0,\qquad u(x,0)=u_0(x),8

More generally, it states that for a vector PDE ut(x,t)+N(u(x,t))=0,u(x,0)=u0(x),\frac{\partial u}{\partial t}(x,t)+\mathcal{N}(u(x,t))=0,\qquad u(x,0)=u_0(x),9, an energy R(x;W,γ)u^t+N(u^)=u^W(x,W)γ+N(u^(x,W)).R(x;W,\gamma)\equiv \frac{\partial \hat u}{\partial t}+\mathcal{N}(\hat u) =\frac{\partial \hat u}{\partial W}(x,W)\cdot\gamma+\mathcal{N}(\hat u(x,W)).0 is identified so that the evolution is a gradient flow

R(x;W,γ)u^t+N(u^)=u^W(x,W)γ+N(u^(x,W)).R(x;W,\gamma)\equiv \frac{\partial \hat u}{\partial t}+\mathcal{N}(\hat u) =\frac{\partial \hat u}{\partial W}(x,W)\cdot\gamma+\mathcal{N}(\hat u(x,W)).1

This suggests that, in the energy-dissipative setting, the weak-form parameter dynamics are intended to inherit a variational structure from the underlying PDE rather than merely approximate its pointwise residual.

4. Boundary treatment and trial-space construction

A central technical feature of VEvoKAN is the explicit construction of boundary-constrained KAN trial spaces (Kim et al., 19 Feb 2026). For homogeneous Dirichlet boundary conditions, the first-layer RBF outputs are multiplied by

R(x;W,γ)u^t+N(u^)=u^W(x,W)γ+N(u^(x,W)).R(x;W,\gamma)\equiv \frac{\partial \hat u}{\partial t}+\mathcal{N}(\hat u) =\frac{\partial \hat u}{\partial W}(x,W)\cdot\gamma+\mathcal{N}(\hat u(x,W)).2

so that R(x;W,γ)u^t+N(u^)=u^W(x,W)γ+N(u^(x,W)).R(x;W,\gamma)\equiv \frac{\partial \hat u}{\partial t}+\mathcal{N}(\hat u) =\frac{\partial \hat u}{\partial W}(x,W)\cdot\gamma+\mathcal{N}(\hat u(x,W)).3. Subsequent layers use

R(x;W,γ)u^t+N(u^)=u^W(x,W)γ+N(u^(x,W)).R(x;W,\gamma)\equiv \frac{\partial \hat u}{\partial t}+\mathcal{N}(\hat u) =\frac{\partial \hat u}{\partial W}(x,W)\cdot\gamma+\mathcal{N}(\hat u(x,W)).4

to preserve zeros. For nonhomogeneous Dirichlet data R(x;W,γ)u^t+N(u^)=u^W(x,W)γ+N(u^(x,W)).R(x;W,\gamma)\equiv \frac{\partial \hat u}{\partial t}+\mathcal{N}(\hat u) =\frac{\partial \hat u}{\partial W}(x,W)\cdot\gamma+\mathcal{N}(\hat u(x,W)).5, a lifting R(x;W,γ)u^t+N(u^)=u^W(x,W)γ+N(u^(x,W)).R(x;W,\gamma)\equiv \frac{\partial \hat u}{\partial t}+\mathcal{N}(\hat u) =\frac{\partial \hat u}{\partial W}(x,W)\cdot\gamma+\mathcal{N}(\hat u(x,W)).6 is introduced and the trial function becomes

R(x;W,γ)u^t+N(u^)=u^W(x,W)γ+N(u^(x,W)).R(x;W,\gamma)\equiv \frac{\partial \hat u}{\partial t}+\mathcal{N}(\hat u) =\frac{\partial \hat u}{\partial W}(x,W)\cdot\gamma+\mathcal{N}(\hat u(x,W)).7

Periodic boundary conditions are enforced by Fourier-feature embedding,

R(x;W,γ)u^t+N(u^)=u^W(x,W)γ+N(u^(x,W)).R(x;W,\gamma)\equiv \frac{\partial \hat u}{\partial t}+\mathcal{N}(\hat u) =\frac{\partial \hat u}{\partial W}(x,W)\cdot\gamma+\mathcal{N}(\hat u(x,W)).8

so that any composition is periodic of order R(x;W,γ)u^t+N(u^)=u^W(x,W)γ+N(u^(x,W)).R(x;W,\gamma)\equiv \frac{\partial \hat u}{\partial t}+\mathcal{N}(\hat u) =\frac{\partial \hat u}{\partial W}(x,W)\cdot\gamma+\mathcal{N}(\hat u(x,W)).9 (Kim et al., 19 Feb 2026). Neumann conditions are not built into the trial space in the same way; instead, they are incorporated through the weak form via boundary integrals. The 2D heat example is given as

{vk}k=1K\{v_k\}_{k=1}^K0

for the case {vk}k=1K\{v_k\}_{k=1}^K1 on {vk}k=1K\{v_k\}_{k=1}^K2.

The numerical examples instantiate these mechanisms for distinct boundary types. The 1D Allen–Cahn benchmark on {vk}k=1K\{v_k\}_{k=1}^K3 uses homogeneous Dirichlet conditions and test functions

{vk}k=1K\{v_k\}_{k=1}^K4

with weak form

{vk}k=1K\{v_k\}_{k=1}^K5

after integration by parts and {vk}k=1K\{v_k\}_{k=1}^K6 (Kim et al., 19 Feb 2026). The 2D Burgers problem on {vk}k=1K\{v_k\}_{k=1}^K7 uses {vk}k=1K\{v_k\}_{k=1}^K8. The 2D heat problem uses Neumann conditions. The porous-medium-plus-drift example is periodic on {vk}k=1K\{v_k\}_{k=1}^K9 with weak form

ΩR(x;W,γ)vk(x)dx0,k=1,,K.\int_\Omega R(x;W,\gamma)\,v_k(x)\,dx \simeq 0,\qquad k=1,\dots,K.0

A common misconception is that weak-form enforcement merely softens boundary conditions. The boundary-constrained trial-space construction in VEvoKAN is specifically described as rigorously enforcing Dirichlet and periodic conditions, while derivative boundary conditions are incorporated directly into the weak formulation for Neumann conditions (Kim et al., 19 Feb 2026).

5. Time stepping, linear systems, and computational scaling

The VEvoKAN update algorithm is an explicit sequence of quadrature evaluation, weak sensitivity assembly, residual projection, linear solve, and parameter update (Kim et al., 19 Feb 2026). At each time step ΩR(x;W,γ)vk(x)dx0,k=1,,K.\int_\Omega R(x;W,\gamma)\,v_k(x)\,dx \simeq 0,\qquad k=1,\dots,K.1:

  1. ΩR(x;W,γ)vk(x)dx0,k=1,,K.\int_\Omega R(x;W,\gamma)\,v_k(x)\,dx \simeq 0,\qquad k=1,\dots,K.2 is evaluated at quadrature or collocation points ΩR(x;W,γ)vk(x)dx0,k=1,,K.\int_\Omega R(x;W,\gamma)\,v_k(x)\,dx \simeq 0,\qquad k=1,\dots,K.3, ΩR(x;W,γ)vk(x)dx0,k=1,,K.\int_\Omega R(x;W,\gamma)\,v_k(x)\,dx \simeq 0,\qquad k=1,\dots,K.4.
  2. Weak sensitivities are computed:

ΩR(x;W,γ)vk(x)dx0,k=1,,K.\int_\Omega R(x;W,\gamma)\,v_k(x)\,dx \simeq 0,\qquad k=1,\dots,K.5

  1. Weak residuals are computed:

ΩR(x;W,γ)vk(x)dx0,k=1,,K.\int_\Omega R(x;W,\gamma)\,v_k(x)\,dx \simeq 0,\qquad k=1,\dots,K.6

  1. The system

ΩR(x;W,γ)vk(x)dx0,k=1,,K.\int_\Omega R(x;W,\gamma)\,v_k(x)\,dx \simeq 0,\qquad k=1,\dots,K.7

is solved.

  1. Parameters are updated by

ΩR(x;W,γ)vk(x)dx0,k=1,,K.\int_\Omega R(x;W,\gamma)\,v_k(x)\,dx \simeq 0,\qquad k=1,\dots,K.8

The computational-complexity comparison in the 2026 paper is formulated against strong-form EvoKAN. For strong-form EvoKAN, the system matrix has size ΩR(x;W,γ)vk(x)dx0,k=1,,K.\int_\Omega R(x;W,\gamma)\,v_k(x)\,dx \simeq 0,\qquad k=1,\dots,K.9, whereas for weak-form VEvoKAN it has size JkjΩu^Wj(x,W)vk(x)dx,NkΩN(u^(x,W))vk(x)dx,J_{kj}\equiv \int_\Omega \frac{\partial \hat u}{\partial W_j}(x,W)\,v_k(x)\,dx,\qquad N_k\equiv \int_\Omega \mathcal{N}(\hat u(x,W))\,v_k(x)\,dx,0 (Kim et al., 19 Feb 2026). The reported per-step costs are:

Quantity Strong-Form EvoKAN Weak-Form VEvoKAN
System size JkjΩu^Wj(x,W)vk(x)dx,NkΩN(u^(x,W))vk(x)dx,J_{kj}\equiv \int_\Omega \frac{\partial \hat u}{\partial W_j}(x,W)\,v_k(x)\,dx,\qquad N_k\equiv \int_\Omega \mathcal{N}(\hat u(x,W))\,v_k(x)\,dx,1 JkjΩu^Wj(x,W)vk(x)dx,NkΩN(u^(x,W))vk(x)dx,J_{kj}\equiv \int_\Omega \frac{\partial \hat u}{\partial W_j}(x,W)\,v_k(x)\,dx,\qquad N_k\equiv \int_\Omega \mathcal{N}(\hat u(x,W))\,v_k(x)\,dx,2
Residual eval. JkjΩu^Wj(x,W)vk(x)dx,NkΩN(u^(x,W))vk(x)dx,J_{kj}\equiv \int_\Omega \frac{\partial \hat u}{\partial W_j}(x,W)\,v_k(x)\,dx,\qquad N_k\equiv \int_\Omega \mathcal{N}(\hat u(x,W))\,v_k(x)\,dx,3 JkjΩu^Wj(x,W)vk(x)dx,NkΩN(u^(x,W))vk(x)dx,J_{kj}\equiv \int_\Omega \frac{\partial \hat u}{\partial W_j}(x,W)\,v_k(x)\,dx,\qquad N_k\equiv \int_\Omega \mathcal{N}(\hat u(x,W))\,v_k(x)\,dx,4
Jacobian (AD) JkjΩu^Wj(x,W)vk(x)dx,NkΩN(u^(x,W))vk(x)dx,J_{kj}\equiv \int_\Omega \frac{\partial \hat u}{\partial W_j}(x,W)\,v_k(x)\,dx,\qquad N_k\equiv \int_\Omega \mathcal{N}(\hat u(x,W))\,v_k(x)\,dx,5 JkjΩu^Wj(x,W)vk(x)dx,NkΩN(u^(x,W))vk(x)dx,J_{kj}\equiv \int_\Omega \frac{\partial \hat u}{\partial W_j}(x,W)\,v_k(x)\,dx,\qquad N_k\equiv \int_\Omega \mathcal{N}(\hat u(x,W))\,v_k(x)\,dx,6
LSQ formation JkjΩu^Wj(x,W)vk(x)dx,NkΩN(u^(x,W))vk(x)dx,J_{kj}\equiv \int_\Omega \frac{\partial \hat u}{\partial W_j}(x,W)\,v_k(x)\,dx,\qquad N_k\equiv \int_\Omega \mathcal{N}(\hat u(x,W))\,v_k(x)\,dx,7 JkjΩu^Wj(x,W)vk(x)dx,NkΩN(u^(x,W))vk(x)dx,J_{kj}\equiv \int_\Omega \frac{\partial \hat u}{\partial W_j}(x,W)\,v_k(x)\,dx,\qquad N_k\equiv \int_\Omega \mathcal{N}(\hat u(x,W))\,v_k(x)\,dx,8

The total-over-JkjΩu^Wj(x,W)vk(x)dx,NkΩN(u^(x,W))vk(x)dx,J_{kj}\equiv \int_\Omega \frac{\partial \hat u}{\partial W_j}(x,W)\,v_k(x)\,dx,\qquad N_k\equiv \int_\Omega \mathcal{N}(\hat u(x,W))\,v_k(x)\,dx,9-steps expressions are likewise given explicitly in the source, and the stated conclusion is that because typically JTJγ=JTN.J^TJ\,\gamma=-J^TN.0, VEvoKAN decouples system size from data resolution, yielding far better scaling as JTJγ=JTN.J^TJ\,\gamma=-J^TN.1 grows (Kim et al., 19 Feb 2026). The abstract further states that strong-form evolutionary approaches can yield ill-conditioned linear systems due to pointwise residual discretization, whereas the weak form improves scalability and stability.

The 2026 numerical section also reports a condition-number comparison for the porous-medium example: “Fig. 9: condition number & time vs JTJγ=JTN.J^TJ\,\gamma=-J^TN.2” (Kim et al., 19 Feb 2026). While no numerical values are quoted in the data block, the inclusion of that comparison supports the paper’s emphasis on conditioning as a practical distinction between weak- and strong-form formulations.

6. Energy dissipation, SAV coupling, and relation to energy-stable EvoKAN

The 2025 paper introduces “Energy-Dissipative Evolutionary Kolmogorov-Arnold Networks” as a framework that builds on KANs and advances parameters by the same PDE without additional optimization, while integrating the scalar auxiliary variable method to guarantee unconditional energy stability and computational efficiency (Lin et al., 3 Mar 2025). This is not identical to VEvoKAN, but it is the closest directly related formulation in the provided literature and shares the evolutionary KAN perspective.

For an energy decomposition with

JTJγ=JTN.J^TJ\,\gamma=-J^TN.3

the SAV variable is defined by

JTJγ=JTN.J^TJ\,\gamma=-J^TN.4

where JTJγ=JTN.J^TJ\,\gamma=-J^TN.5 is chosen so the radicand stays positive. The gradient-flow system is then rewritten as

JTJγ=JTN.J^TJ\,\gamma=-J^TN.6

where JTJγ=JTN.J^TJ\,\gamma=-J^TN.7, JTJγ=JTN.J^TJ\,\gamma=-J^TN.8 is the linear part of JTJγ=JTN.J^TJ\,\gamma=-J^TN.9, and W(t)RPW(t)\in\mathbb{R}^P00 is the mobility (Lin et al., 3 Mar 2025).

The first-order SAV time discretization is

W(t)RPW(t)\in\mathbb{R}^P01

W(t)RPW(t)\in\mathbb{R}^P02

The paper states that by taking inner products with W(t)RPW(t)\in\mathbb{R}^P03 and W(t)RPW(t)\in\mathbb{R}^P04, the discrete energy

W(t)RPW(t)\in\mathbb{R}^P05

satisfies

W(t)RPW(t)\in\mathbb{R}^P06

unconditionally (Lin et al., 3 Mar 2025).

Its numerical algorithm uses the mass matrix

W(t)RPW(t)\in\mathbb{R}^P07

and stiffness matrix

W(t)RPW(t)\in\mathbb{R}^P08

for spline basis functions W(t)RPW(t)\in\mathbb{R}^P09, then forms

W(t)RPW(t)\in\mathbb{R}^P10

solves

W(t)RPW(t)\in\mathbb{R}^P11

and updates W(t)RPW(t)\in\mathbb{R}^P12 by the second SAV equation. The implementation claim is that this only involves constant-coefficient linear solves at each step and that the cost per step is dominated by two sparse solves of size W(t)RPW(t)\in\mathbb{R}^P13, the total number of spline coefficients (Lin et al., 3 Mar 2025).

The relation between VEvoKAN and SAV-EvoKAN is therefore structural rather than identical. VEvoKAN emphasizes weak residual projection, decoupled system size, and rigorous boundary handling (Kim et al., 19 Feb 2026), whereas the 2025 formulation emphasizes energy dissipation, unconditional stability, and linear constant-coefficient solves for gradient-flow systems (Lin et al., 3 Mar 2025). This suggests two complementary lines within evolutionary KAN methods: one centered on weak-form scalability and one centered on energy-stable temporal integration.

7. Empirical behavior, benchmarks, and interpretive context

The 2026 VEvoKAN paper reports experiments on four PDE classes: 1D Allen–Cahn, 2D Burgers with Dirichlet conditions, 2D Heat with Neumann conditions, and 2D Porous Medium plus Drift with periodic conditions (Kim et al., 19 Feb 2026). The comparisons are made against strong-form EvoKAN (EvoKAN-SF) and vanilla PINN-SF.

For 1D Allen–Cahn,

W(t)RPW(t)\in\mathbb{R}^P14

the network settings are listed as layers W(t)RPW(t)\in\mathbb{R}^P15 for both EvoKAN-WF and EvoKAN-SF, activations RBF/SiLU, and parameter counts W(t)RPW(t)\in\mathbb{R}^P16 and W(t)RPW(t)\in\mathbb{R}^P17, respectively; PINN-SF uses layers W(t)RPW(t)\in\mathbb{R}^P18, tanh, and W(t)RPW(t)\in\mathbb{R}^P19 parameters. The reported table shows that the weak-form error remains approximately W(t)RPW(t)\in\mathbb{R}^P20 across W(t)RPW(t)\in\mathbb{R}^P21 to W(t)RPW(t)\in\mathbb{R}^P22, while the speedup rises from W(t)RPW(t)\in\mathbb{R}^P23 to W(t)RPW(t)\in\mathbb{R}^P24 and reaches W(t)RPW(t)\in\mathbb{R}^P25 at W(t)RPW(t)\in\mathbb{R}^P26 (Kim et al., 19 Feb 2026).

For 2D Burgers on W(t)RPW(t)\in\mathbb{R}^P27 with W(t)RPW(t)\in\mathbb{R}^P28, the paper states that EvoKAN-WF captures flow with lower error. The tabulated results report, for example, at W(t)RPW(t)\in\mathbb{R}^P29, W(t)RPW(t)\in\mathbb{R}^P30, W(t)RPW(t)\in\mathbb{R}^P31, W(t)RPW(t)\in\mathbb{R}^P32, W(t)RPW(t)\in\mathbb{R}^P33, and speedup W(t)RPW(t)\in\mathbb{R}^P34 (Kim et al., 19 Feb 2026).

For the 2D Heat equation

W(t)RPW(t)\in\mathbb{R}^P35

the paper states that “boundary gradient error decays smoothly only for VEvoKAN.” The corresponding table reports, at W(t)RPW(t)\in\mathbb{R}^P36, W(t)RPW(t)\in\mathbb{R}^P37, W(t)RPW(t)\in\mathbb{R}^P38, W(t)RPW(t)\in\mathbb{R}^P39, W(t)RPW(t)\in\mathbb{R}^P40, and speedup W(t)RPW(t)\in\mathbb{R}^P41 (Kim et al., 19 Feb 2026).

For the 2D Porous Medium plus Drift problem,

W(t)RPW(t)\in\mathbb{R}^P42

with periodic boundary conditions on W(t)RPW(t)\in\mathbb{R}^P43, the source states that both methods capture transport, but VEvoKAN yields smoother profiles. It also reports monotone energy decay for VEvoKAN even at low W(t)RPW(t)\in\mathbb{R}^P44, while EvoKAN-SF requires large W(t)RPW(t)\in\mathbb{R}^P45 to restore admissible energy dissipation. In the validity table, strong-form solutions are marked invalid at W(t)RPW(t)\in\mathbb{R}^P46 and W(t)RPW(t)\in\mathbb{R}^P47, whereas weak-form solutions are valid at all listed resolutions; the speedup reaches W(t)RPW(t)\in\mathbb{R}^P48 at W(t)RPW(t)\in\mathbb{R}^P49 (Kim et al., 19 Feb 2026).

The 2025 energy-dissipative EvoKAN paper provides a related benchmark set: one-dimensional and two-dimensional Allen–Cahn equations and two-dimensional Navier–Stokes equations (Lin et al., 3 Mar 2025). It reports for 1D Allen–Cahn on W(t)RPW(t)\in\mathbb{R}^P50 with periodic boundary conditions, sinusoidal initial data W(t)RPW(t)\in\mathbb{R}^P51, W(t)RPW(t)\in\mathbb{R}^P52, and final time W(t)RPW(t)\in\mathbb{R}^P53, that the error against a high-order spectral reference is W(t)RPW(t)\in\mathbb{R}^P54, stable across W(t)RPW(t)\in\mathbb{R}^P55. For 2D Allen–Cahn, it states that the method captures curved interface motion and coarsening, matching spectral-Galerkin benchmarks. For 2D Navier–Stokes on a periodic square with Taylor–Green vortex initial data and W(t)RPW(t)\in\mathbb{R}^P56 and W(t)RPW(t)\in\mathbb{R}^P57, EvoKAN reproduces benchmark velocity, pressure, and vorticity fields from a spectral DNS, while the EDNN (non-SAV) version becomes unstable and EvoKAN remains stable and accurate (Lin et al., 3 Mar 2025).

Taken together, the two papers support a technical characterization of weak-form evolutionary KANs as methods that combine edge-wise functional parameterization with time evolution in parameter space, but differ in their numerical priorities. VEvoKAN is presented as a stable and scalable weak-residual framework with rigorous boundary treatment (Kim et al., 19 Feb 2026); the energy-dissipative variant emphasizes unconditional energy stability for gradient flows through SAV reformulation and constant-coefficient linear solves (Lin et al., 3 Mar 2025). A plausible implication is that future work could seek an overview of both aims within a single weak-form, energy-stable evolutionary KAN formulation.

Topic to Video (Beta)

No one has generated a video about this topic yet.

Whiteboard

No one has generated a whiteboard explanation for this topic yet.

Follow Topic

Get notified by email when new papers are published related to Weak-form Evolutionary Kolmogorov-Arnold Network (KAN).