arXiv subjects

Guanghui Hu

Publications and source records attributed to Guanghui Hu.

At least 19 recordsLinked to original sources

arXiv2026

Detection of a moving point-like scatter by using moving receivers and emitter

We consider an inverse scattering problem for the scalar wave equation in which the point emitter, a point-like scatterer, and multiple receivers are all moving. The goal is to reconstruct the trajectory of a moving point-like scatterer from time-dependent measurements of the scattered field. To this end, we establish a rigorous point-interaction model for the moving scatterer in the time domain, proving well-posedness of the forward scattering problem, including existence, uniqueness and continuous dependence of the scattered field on the scatterer trajectory and scattering parameter. By exploiting the retarded-time structure, we introduce distance functions that connect emission, scattering, and observation processes, and show that they satisfy a coupled system of nonlinear ordinary differential equations determined by the measurement data. Based on this formulation, we propose a reconstruction algorithm that combines initial localization with the solution of the derived ODE system. Numerical experiments demonstrate that the method is accurate and robust with respect to noise, with reconstruction errors remaining stable under moderate perturbations.

math.AP↗

arXiv2026

An $h$-adaptive Tetrahedral Spectral Element Method with Applications to Kohn-Sham Density Functional Theory

High-order $h$-adaptive spectral element methods on tetrahedral meshes provide an effective framework for resolving localized singularities and multiscale structures in complex three-dimensional geometries. However, their development is often hindered by difficulties in maintaining $C^0$ continuity across refinement interfaces and efficiently transferring solutions between adaptive meshes. Such limitations are particularly relevant in demanding applications such as all-electron Kohn-Sham density functional theory, which place stringent requirements on the accurate resolution of both nuclear singularities and multiple physical scales. In this paper, we present an efficient $h$-adaptive tetrahedral spectral element framework. To address the continuity challenge, we develop an adaptive strategy that combines element orientation alignment with geometric red-green refinement, thereby eliminating the need for algebraic hanging-node constraints while preserving inter-element continuity. Furthermore, an efficient topology-based point-location algorithm is introduced to accelerate interpolation between adaptive meshes. Numerical experiments on Poisson and Laplacian eigenvalue problems confirm the spectral convergence of the proposed method. Applications to all-electron Kohn-Sham equations further demonstrate its capability to accurately resolve nuclear singularities. Moreover, parallel performance studies exhibit excellent scalability, with matrix assembly and adaptivity modules generally achieving speedups above 15 times and the proposed interpolation algorithm attaining speedups ranging from 25 to 35 on 64-core configurations compared to the single-core performance. These results indicate that the proposed framework provides an accurate, robust, and efficient solution for large-scale, high-resolution simulations.

math.NA↗

arXiv2026

Limiting absorption principle for time-harmonic elastic scattering of plane waves from diffraction gratings

We establish the limiting absorption principle for time-harmonic elastic scattering of plane waves by a periodic rigid diffraction grating. By perturbing the frequency with a small positive imaginary part, we regularize the ill-posed problem at propagative wavenumbers (that is, when uniqueness fails under the classical Rayleigh expansion condition) and characterize the limiting solution via a singular perturbation result from functional analysis. The limiting solution satisfies the original scattering problem together with an additional constraint that ensures uniqueness. Both incident pressure and shear waves are considered, and the same constraint condition is obtained in both cases. The results provide a rigorous selection mechanism for physically admissible solutions at resonance frequencies. Our framework extends naturally to the Neumann (cavity) boundary condition as well as other transmission conditions, in particular when guided waves exist in periodic structures.

math.AP↗

arXiv2026

A Damped Subspace Splitting Algorithm for Constrained Density Functional Theory

Constrained density functional theory (CDFT) provides a powerful framework for describing electronically excited and charge-localized states, which underlie a broad range of physical and chemical phenomena. However, the discretized optimization problems arising from CDFT calculations remain challenging, owing to the presence of both the Stiefel manifold constraint and additional nonconvex quadratic constraints. Existing algorithms either fail to enforce the quadratic constraints with high accuracy or face convergence issues due to double-loop iterative structures. In this paper, we first derive a subspace-splitting reformulation that decouples the two groups of constraints, by exploiting the inherent rotation invariance and introducing a nonlinear subspace alignment constraint. Based on this reformulation, we propose a single-loop damped alternating direction method of multipliers, called DASSP. To the best of our knowledge, DASSP is the first algorithm for CDFT calculations with rigorous convergence guarantees. Each iteration of DASSP comprises a spectral minimization step, a projected gradient step, and a damped dual ascent step, all of which admit efficient implementations. Numerical results on synthetic and realistic CDFT problems demonstrate that DASSP attains high feasibility accuracy and exhibits favorable efficiency without compromising robustness. We expect that this work will pave the way toward reliable and efficient large-scale CDFT applications.

math.OC↗

arXiv2026

A frequency-domain method to inverse moving source problem with unknown radiating moment

This paper introduces a multi-frequency factorization method for imaging a time-dependent source, specifically to recover its spatial support and the associated excitation instants. Using far-field data from two opposite directions, we establish a computational criterion that characterizes both the unknown pulse moments and the narrowest strip (perpendicular to the direction) enclosing the source support. Central to our inversion scheme is the construction of indicator functions, defined pointwise over the spatial and temporal sampling variables. The proposed inversion scheme permits the recovery of the $Θ$-convex support domain from far-field data at sparse observation directions. Uniqueness in determining the convex hull of the support and the excitation instants-using all observation directions-is also established as a direct consequence of the factorization method. The effectiveness and feasibility of the approach are examined through comprehensive numerical simulations in two and three dimensions.

math.NA↗

arXiv2026

Limiting absorption principle for time-harmonic acoustic and electromagnetic scattering of plane waves from a bi-periodic inhomogeneous layer

The Rayleigh expansion is widely used as a formal radiation condition in the analysis and numerical treatment of grating diffraction problems for incoming plane waves. However, the Rayleigh expansion does not always lead to uniqueness of open waveguide scattering problems, due to the existence of surface/guided waves (in other words, Bound States in the Continuum (BICs)) which exponentially decay in the direction perpendicular to the periodicity. In this paper we suppose that a bi-periodic inhomogeneous medium supports BICs at some real-valued incident wavenumber. Based on singular perturbation arguments, we justify the Limiting Absorption Principle (LAP) for both time-harmonic acoustic and electromagnetic scattering of plane waves from bi-periodic structures. Replacing the wavenumber $k$ with $k+iε$, we prove that the unique solution with $ε>0$ converges to a solution of the original diffraction problem that additionally satisfies an orthogonal identity. This constraint condition together with the classical Rayleigh expansion leads to a sharp radiation condition to ensure uniqueness of time-harmonic scattering of plane waves by BIC-supporting bi-periodic materials.

math.AP↗

arXiv2026

Adaptive mesh methods for hyperbolic conservation laws with bound-preserving flux limiters

In this paper, we develop bound-preserving (BP) finite-volume schemes for hyperbolic conservation laws on adaptive moving meshes. For scalar conservative laws, we rewrite the conventional high-order discretization as a convex combination of first-order counterparts on each sub-cell, which is mathematically equivalent to introducing a bound-preserving flux limiter. Such a limiter is inexpensive to evaluate, with a feature that the corresponding BP CFL conditions depend solely on the first-order sub-cell schemes. A mild CFL restriction is derived under which high-order spatial accuracy is retained. The proposed BP schemes are extend to two nonlinear systems, namely, the Euler equations and the five-equation transport model of two-medium flows. Numerical results demonstrate that the present schemes possess high resolution and strong robustness properties.

math.NA↗

arXiv2025

Absence of the analytic continuation of elastic transmission eigenfunctions at rectangular corners

We study time harmonic scattering problems in linear elasticity in $\mathbb{R}^{2}$. We show that certain penetrable scatterers with rectangular corners scatter every incident wave nontrivially. Even though these scatterers have interior transmission eigenvalues, the far field operator has a trivial kernel at every real frequency. Our approach relies on a special decomposition of the elastic Lamé operator and also provides an alternative idea for treating inverse elastic medium problems with a general polygonal support.

math.AP↗

arXiv2025

Simultaneously recover two constant coefficients and a polygon with a single pair of Cauchy data for the Helmholtz equation

This paper is concerned with an inverse boundary value problem for the Helmholtz equation over a bounded domain. The aim is to reconstruct two constant coefficients together with the location and shape of a Dirichlet polygonal obstacle from a single pair of Cauchy data. Uniqueness results are verified under some a priori assumptions and the one-wave factorization method has been adapted to recover the polygonal obstacle as well as the two coefficients. A modified factorization using the Dirichlet-to-Neumann operator is employed to overcome difficulties arising from possible eigenvalues. Intensive numerical examples indicate that our method is efficient.

math.AP↗

arXiv2025

Time-harmonic scattering of plane waves from an infinite periodically inhomogeneous medium

We propose a new radiation condition for an infinite inhomogeneous two-dimensional medium which is periodic in the vertical direction and remains invariant in the horizontal direction. The classical Rayleigh-expansion radiation condition does not apply to our case, because this would require the medium to be inhomogeneous in a half plane. We utilize the Floquet theory to derive upward/downward wave modes and define radiation conditions by expansions w.r.t. these modes. The downward radiation conditions leads to a downward Dirichlet-to-Neumann map which can be used to truncate the infinite inhomogeneous domain in the vertical direction. So we prove mapping properties of the upward/downward Dirichlet-to-Neumann maps based on the asymptotic behavior of high-order wave modes. Finally, we verify the strong ellipticity of the sesquilinear form corresponding to the new scattering problem and show the unique solvability for all wavenumbers with the exception of a countable set of numbers bounded below by a small positive constant.

math.AP↗

arXiv2025

An inverse moving point source problem in electromagnetics

This paper is concerned with an inverse moving point source problem in electromagnetics. The aim is to reconstruct the moving orbit from the tangential components of magnetic fields taken at a finite number of observation points. The distance function between each observation point and the moving point source is computed by solving a nonlinear ordinary differential equation with an initial value. This ODE system only involves the measurement data from the tangential trace of the magnetic field at observation points. As a consequence, the dynamical measurement data recorded at four non-coplanar points are sufficient to reconstruct the orbit function. A Lipschitz stability is established for the inverse problem, and numerical experiments are reported to demonstrate the effectiveness of the proposed method. Numerical examples have shown that the reconstructed error depends linearly on the noise level and that the wave speed is a critical factor affecting the relative error.

math.NA↗

arXiv2025

Factorization method for near-field inverse scattering problems in elastodynamics

Consider a time-harmonic elastic point source incident on a bounded obstacle which is embedded in an open space filled with a homogeneous and isotropic elastic medium. This paper is concerned with the inverse problem of recovering the location and shape of the obstacle from near-field data generated by infinitely many incident point source waves at a fixed energy. The incident point sources and the receivers for recording scattered signals are both located on a spherical closed surface, on which an outgoing-to-incoming operator is defined for facilitating the factorization of the near-field operator. Numerical examples in 2D are presented to show the validity and accuracy of the inversion algorithm.

math.AP↗

arXiv2025

A Moving Mesh Isogeometric Method Based on Harmonic Maps

Although the isogeometric analysis has shown its great potential in achieving highly accurate numerical solutions of partial differential equations, its efficiency is the main factor making the method more competitive in practical simulations. In this paper, an integration of isogeometric analysis and a moving mesh method is proposed, providing a competitive approach to resolve the efficiency issue. Focusing on the Poisson equation, the implementation of the algorithm and related numerical analysis are presented in detail, including the numerical discretization of the governing equation utilizing isogeometric analysis, and a mesh redistribution technique developed via harmonic maps. It is found that the isogeometric analysis brings attractive features in the realization of moving mesh method, such as it provides an accurate expression for moving direction of mesh nodes, and allows for more choices for constructing monitor functions. Through a series of numerical experiments, the effectiveness of the proposed method is successfully validated and the potential of the method towards the practical application is also well presented with the simulation of a helium atom in Kohn--Sham density functional theory.

math.NA↗

arXiv2024

A hierarchical splines-based $h$-adaptive isogeometric solver for all-electron Kohn--Sham equation

In this paper, a novel $h$-adaptive isogeometric solver utilizing high-order hierarchical splines is proposed to solve the all-electron Kohn--Sham equation. In virtue of the smooth nature of Kohn--Sham wavefunctions across the domain, except at the nuclear positions, high-order globally regular basis functions such as B-splines are well suited for achieving high accuracy. To further handle the singularities in the external potential at the nuclear positions, an $h$-adaptive framework based on the hierarchical splines is presented with a specially designed residual-type error indicator, allowing for different resolutions on the domain. The generalized eigenvalue problem raising from the discretized Kohn--Sham equation is effectively solved by the locally optimal block preconditioned conjugate gradient (LOBPCG) method with an elliptic preconditioner, and it is found that the eigensolver's convergence is independent of the spline basis order. A series of numerical experiments confirm the effectiveness of the $h$-adaptive framework, with a notable experiment that the numerical accuracy $10^{-3} \mathrm{~Hartree/particle}$ in the all-electron simulation of a methane molecule is achieved using only $6355$ degrees of freedom, demonstrating the competitiveness of our solver for the all-electron Kohn--Sham equation.

physics.comp-ph↗

arXiv2024

A novel splitting strategy to accelerate solving generalized eigenvalue problem from Kohn--Sham density functional theory

In this paper, we propose a novel eigenpair-splitting method, inspired by the divide-and-conquer strategy, for solving the generalized eigenvalue problem arising from the Kohn-Sham equation. Unlike the commonly used domain decomposition approach in divide-and-conquer, which solves the problem on a series of subdomains, our eigenpair-splitting method focuses on solving a series of subequations defined on the entire domain. This method is realized through the integration of two key techniques: a multi-mesh technique for generating approximate spaces for the subequations, and a soft-locking technique that allows for the independent solution of eigenpairs. Numerical experiments show that the proposed eigenpair-splitting method can dramatically enhance simulation efficiency, and its potential towards practical applications is also demonstrated well through an example of the HOMO-LUMO gap calculation. Furthermore, the optimal strategy for grouping eigenpairs is discussed, and the possible improvements to the proposed method are also outlined.

math.NA↗

arXiv2024

A gradient flow model for ground state calculations in Wigner formalism based on density functional theory

In this paper, a gradient flow model is proposed for conducting ground state calculations in Wigner formalism of many-body system in the framework of density functional theory. More specifically, an energy functional for the ground state in Wigner formalism is proposed to provide a new perspective for ground state calculations of the Wigner function. Employing density functional theory, a gradient flow model is designed based on the energy functional to obtain the ground state Wigner function representing the whole many-body system. Subsequently, an efficient algorithm is developed using the operator splitting method and the Fourier spectral collocation method, whose numerical complexity of single iteration is $O(n_{\rm DoF}\log n_{\rm DoF})$. Numerical experiments demonstrate the anticipated accuracy, encompassing the one-dimensional system with up to $2^{21}$ particles and the three-dimensional system with defect, showcasing the potential of our approach to large-scale simulations and computations of systems with defect.

physics.comp-ph↗

arXiv2024

A multi-mesh approach for accurate computation of multi-target functionals in aerodynamics design

Aerodynamic optimal design is crucial for enhancing performance of aircrafts, while calculating multi-target functionals through solving dual equations with arbitrary right-hand sides remains challenging. In this paper, a novel multi-target framework of DWR-based mesh refinement is proposed and analyzed. Theoretically, an extrapolation method is generalized to expand multi-variable functionals, which guarantees the dual equations of different objective functionals can be calculated separately. Numerically, an algorithm of calculating multi-target functionals is designed based on the multi-mesh approach, which can help to obtain different dual solutions simultaneously. One feature of our framework is the algorithm is easy to implement with the help of the hierarchical geometry tree structure and the calculation avoids the Galerkin orthogonality naturally. The framework takes a balance between different targets even when they are not the same orders of magnitude. While existing approach uses a linear combination of different components in multi-target functionals for adaptation, it introduces additional coefficients for adjusting. With each component calculated under a dual-consistent scheme, this multi-mesh framework addresses challenges such as the lift-drag ratio and other kinds of multi-target functionals, ensuring smooth convergence and precise calculations of dual solutions.

math.NA↗

arXiv2024

An inverse obstacle problem with a single pair of Cauchy data: Laplace's equation case

This paper is concerned with an inverse obstacle problem for the Laplace's equation. The aim is to recover the constant conductivity coefficient in the equation and the boundary of a Dirichlet polygonal obstacle from a single pair of Cauchy data. Uniqueness results are established under some a priori assumptions on the input boundary value data. A domain-defined sampling method, based on the factorization method originating from inverse acoustic scattering, has been proposed to recover both the constant conductivity coefficient and the polygonal obstacle. A hybrid strategy, which combines the sampling method and iterative scheme, is employed {\color{hgh}to reconstruct} the location and shape of the obstacle. Numerical examples indicate that our method is efficient.

math.AP↗