Search arXiv⌕ Search

arXiv · 2610.05507

Structure Preserving High-Order FDTD Methods for the Nonlinear Kerr-Debye Model with Lorentz Dispersion

Abstract

We develop and analyze several families of fully discrete, high-order methods in the finite difference time domain (FDTD) framework for a nonlinear dispersive electromagnetic model for ultrashort pulse propagation in a nonlinear optical medium. The model consists of the time domain Maxwell's equations coupled to two ordinary differential equations; the nonlinear Kerr-Debye equation and the linear dispersive Lorentz equation, in one space dimension. The proposed methods combine staggered spatial discretizations of $2M$th-order, for integer $M>0$, with second-order explicit leapfrog or implicit trapezoidal time integrators. To handle the stiff relaxation in the nonlinear Kerr-Debye equation, we adopt a modified exponential integrator, introduced in \cite{PengJCP2020}, which ensures asymptotic-preserving (AP) behavior in the limit of vanishing relaxation time. We prove that the resulting schemes satisfy a discrete analogue of the continuous energy identity and preserve the positivity (PP) of the nonlinear susceptibility. For the schemes based on the leapfrog time integrator, we establish energy stability under a CFL condition, while the schemes based on the trapezoidal time integrator are unconditionally energy stable. High-order temporal accuracy in the trapezoidal time integrator based schemes is further achieved via Richardson extrapolation yielding $2M$th-order accurate methods in both space and time. Numerical experiments demonstrate the theoretical convergence rates and the ability of the proposed schemes to capture nonlinear wave phenomena such as soliton propagation, self-steepening, and odd harmonic generation. This work extends previous AP-PP and energy stable approaches in a discontinuous Galerkin framework to the FDTD setting, offering a computationally efficient, flexible and robust tool for simulating electromagnetic wave propagation in nonlinear dispersive optical media.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Emmanuel E. Oguadimma, Vrushali A. Bokil, Nathan L. Gibson. 2026-10-04. Structure Preserving High-Order FDTD Methods for the Nonlinear Kerr-Debye Model with Lorentz Dispersion. https://arxiv.org/abs/2610.05507

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↗