Searcharxiv⌕ Search

arXiv · 2611.09339

A scaled TW-PINN framework for soliton solutions of the Korteweg--de Vries equation

Abstract

Accurate approximation of soliton solutions of the Korteweg--de Vries (KdV) equation remains challenging for physics-informed neural networks (PINNs) due to localized wave structures, high-order spatial derivatives, nonlinear interactions between solitons, and difficulties in long-time prediction. In this work, we address these challenges using a scaling PINN framework to approximate KdV soliton solutions. The framework transforms the governing equation into a normalized form, approximates its solution using a PINN solver, and reconstructs the solution in the original variables through inverse scaling. We introduce scaling transformations and PINN solvers tailored to one- and two-soliton problems. For the one-soliton case, we employ a PINN solver that incorporates a traveling-wave coordinate to capture soliton propagation. For the two-soliton case, we employ a two-step training procedure for the PINN solver. The first step learns the individual soliton profiles and estimates their propagation speeds, while the second step uses the estimated speeds to construct traveling-wave coordinates in the PINN solver and approximate the full two-soliton solution, including nonlinear interactions. We also introduce soliton-informed sampling (SIS), which places additional collocation points around the soliton trajectories. Numerical results show that the scaling PINN framework accurately captures one-soliton propagation, resolves two-soliton interactions, and preserves soliton profiles during long-time extrapolation in both cases. An additional three-soliton experiment suggests the applicability of the proposed two-step training procedure to multi-soliton solutions.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Seungwan Han, Jiaxi Gu, Daniel Olmos-Liceaga, Jae-Hun Jung. 2026-11-06. A scaled TW-PINN framework for soliton solutions of the Korteweg--de Vries equation. https://arxiv.org/abs/2611.09339

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

KEEP EXPLORING

Related papers

Automatic Synthesis of Low-Complexity Translation Operators for the Fast Multipole Method

The FMM is the leading approach for attaining linear complexity in the evaluation of long-range (e.g. Coulomb) many-body interactions. We demonstrate a new, hybrid symbolic-numerical method for the automatic synthesis of all families of translation operators required for the execution of the Fast Multipole Method (FMM). Our method is dimension-independent (demonstrated in 2D and 3D) and applicable to any translation-invariant kernel. Low complexity in translation operators for the FMM is usually achieved by algorithms specialized for a potential obeying a specific partial differential equation (PDE). Absent a PDE or specialized algorithms, Taylor series based FMMs or kernel-independent FMM have been used, at asymptotically higher expense. When symbolically provided with a constant-coefficient elliptic PDE obeyed by the potential, our algorithm can automatically synthesize translation operators requiring $\mathrm{O}(p^d)$ operations, where $p$ is the expansion order and $d$ is dimension, compared with $\mathrm{O}(p^{2d})$ operations in a naive approach carried out on (Cartesian) Taylor expansions. This is achieved by using a compression scheme that asymptotically reduces the number of terms in the Taylor expansion and then operating directly on this "compressed" representation. Judicious exploitation of shared subexpressions permits formation, translation, and evaluation of local and multipole expansions to be performed in $\mathrm{O}(p^d)$ operations, while an FFT-based scheme permits multipole-to-local translations in $\mathrm{O}(p^{d-1}\log(p))$ operations. We demonstrate computational scaling of code generation and evaluation as well as numerical accuracy through numerical experiments on a number of potentials from classical physics.

math.NA↗

Adaptive refinement based on local approximation power of hierarchical spline spaces

We propose an adaptive refinement strategy for hierarchical B-splines that increases the approximation power of every marked cell by at least one. Here, the approximation power of a cell is the finest level $\ell$ such that all the B-splines of level $\ell$ that do not vanish on the cell belong to the hierarchical space. This increase can be achieved with the standard refinement of hierarchical meshes, in which each cell is subdivided at most once per step, provided that the regions formed at each level by the cells with this property are nested. We call the hierarchical meshes with this nesting property \emph{weakly admissible}, characterize them, and prove that the proposed refinement preserves weak admissibility. We also prove a complexity estimate: the number of cells created along the adaptive process is bounded by a constant times the total number of marked cells. Moreover, we extend known local $L^q$ estimates for a multilevel quasi-interpolant on these meshes to Sobolev norms, showing that the local error bound on each active cell is governed by its approximation power, which supports using this quantity to drive the refinement. Numerical experiments illustrate the local gain of resolution produced by the proposed strategy, as well as its robustness with respect to the marking criterion and the marking parameter.

math.NA↗

Vertex interpolation by bivariate $C^1$ cubic splines: counterexamples, geometric stability, and indecomposable defects

We study vertex evaluation on the full space of continuously differentiable piecewise cubic polynomials on a fixed planar triangulation. A complete dual description turns failure of interpolation into balanced edge weights with nonzero vertex loading. It leads to exact counterexamples with 17, 25, 31 and 41 vertices, each with one relation and the classical lower-bound dimension. The 31- and 41-vertex examples have interior graphs that are trees. We give a geometric construction criterion for a sector-completion family and a certified implicit construction outside that family. With all boundary vertices fixed, the nearby bad configurations form a four-dimensional smooth locus in the 17-vertex case, two intersecting components of dimensions six and five in the 25-vertex case, and isolated transverse points in the two tree examples. A common Schur-complement estimate explains their different interpolation costs. We first realize arbitrary defect by decomposable chains of the 41-vertex example. We then construct obstructions from individually interpolatory blocks, prove that the capacity of one complete edge is exactly five, and build a fixed-square family with arbitrarily large strongly indecomposable defect. The latter excludes two triangle-disjoint connected normal bad submeshes even when those submeshes may have holes.

math.NA↗