-
On the rate of convergence in the CLT for LSS of large-dimensional sample covariance matrices
Authors:
Jian Cui,
Jiang Hu,
Zhidong Bai,
Guorong Hu
Abstract:
This paper investigates the rate of convergence for the central limit theorem of linear spectral statistic (LSS) associated with large-dimensional sample covariance matrices. We consider matrices of the form ${\mathbf B}_n=\frac{1}{n}{\mathbf T}_p^{1/2}{\mathbf X}_n{\mathbf X}_n^*{\mathbf T}_p^{1/2},$ where ${\mathbf X}_n= (x_{i j} ) $ is a $p \times n$ matrix whose entries are independent and ide…
▽ More
This paper investigates the rate of convergence for the central limit theorem of linear spectral statistic (LSS) associated with large-dimensional sample covariance matrices. We consider matrices of the form ${\mathbf B}_n=\frac{1}{n}{\mathbf T}_p^{1/2}{\mathbf X}_n{\mathbf X}_n^*{\mathbf T}_p^{1/2},$ where ${\mathbf X}_n= (x_{i j} ) $ is a $p \times n$ matrix whose entries are independent and identically distributed (i.i.d.) real or complex variables, and ${\mathbf T} _p$ is a $p\times p$ nonrandom Hermitian nonnegative definite matrix with its spectral norm uniformly bounded in $p$. Employing Stein's method, we establish that if the entries $x_{ij}$ satisfy $\mathbb{E}|x_{ij}|^{10}<\infty$ and the ratio of the dimension to sample size $p/n\to y>0$ as $n\to\infty$, then the convergence rate of the normalized LSS of ${\mathbf B}_n$ to the standard normal distribution, measured in the Kolmogorov-Smirnov distance, is $O(n^{-1/2+κ})$ for any fixed $κ>0$.
△ Less
Submitted 4 June, 2025; v1 submitted 3 June, 2025;
originally announced June 2025.
-
Factorization method for near-field inverse scattering problems in elastodynamics
Authors:
Chun Liu,
Guanghui Hu,
Tao Yin,
Bo Zhang
Abstract:
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 th…
▽ More
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.
△ Less
Submitted 30 May, 2025;
originally announced May 2025.
-
Besov and Triebel-Lizorkin spaces on homogeneous groups
Authors:
Guorong Hu,
David Rottensteiner,
Michael Ruzhansky,
Jordy Timo van Velthoven
Abstract:
This paper develops a theory of Besov spaces $\dot{\mathbf{B}}^σ_{p,q} (N)$ and Triebel-Lizorkin spaces $\dot{\mathbf{F}}^σ_{p,q} (N)$ on an arbitrary homogeneous group $N$ for the full range of parameters $p, q \in (0, \infty]$ and $σ\in \mathbb{R}$. Among others, it is shown that these spaces are independent of the choice of the Littlewood-Paley decomposition and that they admit characterization…
▽ More
This paper develops a theory of Besov spaces $\dot{\mathbf{B}}^σ_{p,q} (N)$ and Triebel-Lizorkin spaces $\dot{\mathbf{F}}^σ_{p,q} (N)$ on an arbitrary homogeneous group $N$ for the full range of parameters $p, q \in (0, \infty]$ and $σ\in \mathbb{R}$. Among others, it is shown that these spaces are independent of the choice of the Littlewood-Paley decomposition and that they admit characterizations in terms of continuous maximal functions and molecular frame decompositions. The defined spaces include as special cases various classical function spaces, such as Hardy spaces on homogeneous groups and homogeneous Sobolev spaces and Lipschitz spaces associated to sub-Laplacians on stratified groups.
△ Less
Submitted 15 January, 2025;
originally announced January 2025.
-
A Moving Mesh Isogeometric Method Based on Harmonic Maps
Authors:
Tao Wang,
Xucheng Meng,
Ran Zhang,
Guanghui Hu
Abstract:
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 issu…
▽ More
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.
△ Less
Submitted 9 January, 2025;
originally announced January 2025.
-
A hierarchical splines-based $h$-adaptive isogeometric solver for all-electron Kohn--Sham equation
Authors:
Tao Wang,
Yang Kuang,
Ran Zhang,
Guanghui Hu
Abstract:
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 sin…
▽ More
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.
△ Less
Submitted 17 December, 2024;
originally announced December 2024.
-
Boundary Value Problem and Discrete Schwarz-Pick Lemma for Generalized Hyperbolic Circle Packings
Authors:
Guangming Hu,
Ziping Lei,
Yanlin Li,
Hao Yu
Abstract:
In 1991, Beardon and Stephenson [2] generalized the classical Schwarz-Pick lemma in hyperbolic geometry to the discrete Schwarz-Pick lemma for Andreev circle packings. This paper continues to investigate the discrete Schwarz-Pick lemma for generalized circle packings (including circle, horocycle or hypercycle) in hyperbolic background geometry. Since the discrete Schwarz-Pick lemma is to compare s…
▽ More
In 1991, Beardon and Stephenson [2] generalized the classical Schwarz-Pick lemma in hyperbolic geometry to the discrete Schwarz-Pick lemma for Andreev circle packings. This paper continues to investigate the discrete Schwarz-Pick lemma for generalized circle packings (including circle, horocycle or hypercycle) in hyperbolic background geometry. Since the discrete Schwarz-Pick lemma is to compare some geometric quantities of two generalized circle packings with different boundary values, we first show the existence and rigidity of generalized circle packings with boundary values, and then we introduce the method of combinatorial Calabi flows to find the generalized circle packings with boundary values. Moreover, motivated by the method of He [21], we propose the maximum principle for generalized circle packings. Finally, we use the maximum principle to prove the discrete Schwarz-Pick lemma for generalized circle packings.
△ Less
Submitted 9 November, 2024;
originally announced November 2024.
-
A novel splitting strategy to accelerate solving generalized eigenvalue problem from Kohn--Sham density functional theory
Authors:
Yang Kuang,
Guanghui Hu
Abstract:
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 defi…
▽ More
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.
△ Less
Submitted 7 November, 2024;
originally announced November 2024.
-
Stability criteria of linear delay differential systems based on fundamental matrix
Authors:
Guang-Da Hu
Abstract:
We investigate stability of linear delay differential systems. Stability criteria of the systems are derived based on integrals of the fundamental matrix. They are necessary and sufficient conditions for delay-dependent stability of the systems. Numerical examples are given to illustrate the main results.
We investigate stability of linear delay differential systems. Stability criteria of the systems are derived based on integrals of the fundamental matrix. They are necessary and sufficient conditions for delay-dependent stability of the systems. Numerical examples are given to illustrate the main results.
△ Less
Submitted 29 October, 2024;
originally announced October 2024.
-
Convergences of Combinatorial Ricci Flows to Degenerated Circle Packings in Hyperbolic Background Geometry
Authors:
Guangming Hu,
Sicheng Lu,
Dong Tan,
Youliang Zhong,
Puchun Zhou
Abstract:
This paper investigates a kind of degenerated circle packings in hyperbolic background geometry. A main problem is whether a prescribed total geodesic curvature data can be realized by a degenerated circle packing or not. We fully characterize the sufficient and necessary conditions and show the uniqueness. Furthermore, we introduce the combinatoral Ricci flow to find the desired degenerated circl…
▽ More
This paper investigates a kind of degenerated circle packings in hyperbolic background geometry. A main problem is whether a prescribed total geodesic curvature data can be realized by a degenerated circle packing or not. We fully characterize the sufficient and necessary conditions and show the uniqueness. Furthermore, we introduce the combinatoral Ricci flow to find the desired degenerated circle packed surface, analougus to the methods of Chow-Luo and Takatsu.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
A multi-mesh approach for accurate computation of multi-target functionals in aerodynamics design
Authors:
Guanghui Hu,
Ruo Li,
Jingfeng Wang
Abstract:
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, wh…
▽ More
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.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
An inverse obstacle problem with a single pair of Cauchy data: Laplace's equation case
Authors:
Xiaoxu Xu,
Guanghui Hu
Abstract:
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 facto…
▽ More
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.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Detection of a piecewise linear crack with one incident wave
Authors:
Xiaoxu Xu,
Guanqiu Ma,
Guanghui Hu
Abstract:
This paper is concerned with inverse crack scattering problems for time-harmonic acoustic waves. We prove that a piecewise linear crack with the sound-soft boundary condition in two dimensions can be uniquely determined by the far-field data corresponding to a single incident plane wave or point source. We propose two non-iterative methods for imaging the location and shape of a crack. The first o…
▽ More
This paper is concerned with inverse crack scattering problems for time-harmonic acoustic waves. We prove that a piecewise linear crack with the sound-soft boundary condition in two dimensions can be uniquely determined by the far-field data corresponding to a single incident plane wave or point source. We propose two non-iterative methods for imaging the location and shape of a crack. The first one is a contrast sampling method, while the second one is a variant of the classical factorization method but only with one incoming wave. Newton's iteration method is then employed for getting a more precise reconstruction result. Numerical examples are presented to show the effectiveness of the proposed hybrid method.
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
A Nonnested Augmented Subspace Method for Kohn-Sham Equation
Authors:
Guanghui Hu,
Hehu Xie,
Fei Xu,
Gang Zhao
Abstract:
In this paper, a novel adaptive finite element method is proposed to solve the Kohn-Sham equation based on the moving mesh (nonnested mesh) adaptive technique and the augmented subspace method. Different from the classical self-consistent field iterative algorithm which requires to solve the Kohn-Sham equation directly in each adaptive finite element space, our algorithm transforms the Kohn-Sham e…
▽ More
In this paper, a novel adaptive finite element method is proposed to solve the Kohn-Sham equation based on the moving mesh (nonnested mesh) adaptive technique and the augmented subspace method. Different from the classical self-consistent field iterative algorithm which requires to solve the Kohn-Sham equation directly in each adaptive finite element space, our algorithm transforms the Kohn-Sham equation into some linear boundary value problems of the same scale in each adaptive finite element space, and then the wavefunctions derived from the linear boundary value problems are corrected by solving a small-scale Kohn-Sham equation defined in a low-dimensional augmented subspace. Since the new algorithm avoids solving large-scale Kohn-Sham equation directly, a significant improvement for the solving efficiency can be obtained. In addition, the adaptive moving mesh technique is used to generate the nonnested adaptive mesh for the nonnested augmented subspace method according to the singularity of the approximate wavefunctions. The modified Hessian matrix of the approximate wavefunctions is used as the metric matrix to redistribute the mesh. Through the moving mesh adaptive technique, the redistributed mesh is almost optimal. A number of numerical experiments are carried out to verify the efficiency and the accuracy of the proposed algorithm.
△ Less
Submitted 30 April, 2024;
originally announced April 2024.
-
Uniqueness to inverse acoustic and elastic medium scattering problems with hyper-singular source method
Authors:
Chun Liu,
Guanghui Hu,
Jianli Xiang,
Jiayi Zhang
Abstract:
This paper is concerned with inverse scattering problems of determining the support of an isotropic and homogeneous penetrable body from knowledge of multi-static far-field patterns in acoustics and in linear elasticity. The normal derivative of the total fields admits no jump on the interface of the scatterer in the trace sense. If the contrast function of the refractive index function or the den…
▽ More
This paper is concerned with inverse scattering problems of determining the support of an isotropic and homogeneous penetrable body from knowledge of multi-static far-field patterns in acoustics and in linear elasticity. The normal derivative of the total fields admits no jump on the interface of the scatterer in the trace sense. If the contrast function of the refractive index function or the density function has a positive lower bound near the boundary, we propose a hyper-singular source method to prove uniqueness of inverse scattering with all incoming plane waves at a fixed energy. It is based on subtle analysis on the leading part of the scattered field when hyper-singular sources caused by the first derivative of the fundamental solution approach to a boundary point. As a by-product, we show that this hyper-singular method can be also used to determine the boundary value of a Holder continuous refractive index function in acoustics or a Holder continuous density function in linear elasticity.
△ Less
Submitted 10 April, 2024;
originally announced April 2024.
-
The Convergence of Prescribed Combinatorial Ricci Flows for Total Geodesic Curvatures in Spherical Background Geometry
Authors:
Guangming Hu,
Ziping Lei,
Yu Sun,
Puchun Zhou
Abstract:
In this paper, we study the existence and rigidity of (degenerated) circle pattern metric with prescribed total geodesic curvatures in spherical background geometry. To find the (degenerated) circle pattern metric with prescribed total geodesic curvatures, we define some prescribed combinatorial Ricci flows and study the convergence of flows for (degenerated) circle pattern metrics. We solve the p…
▽ More
In this paper, we study the existence and rigidity of (degenerated) circle pattern metric with prescribed total geodesic curvatures in spherical background geometry. To find the (degenerated) circle pattern metric with prescribed total geodesic curvatures, we define some prescribed combinatorial Ricci flows and study the convergence of flows for (degenerated) circle pattern metrics. We solve the prescribed total geodesic curvature problem and provide two methods to find the degenerated circle pattern metric with prescribed total geodesic curvatures. As far as we know, this is the first degenerated result for total geodesic curvatures in spherical background geometry.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
An endpoint estimate for the maximal Calderón commutator with rough kernel
Authors:
Guoen Hu,
Xudong Lai,
Xiangxing Tao,
Qingying Xue
Abstract:
In this paper, the authors consider the endpoint estimates for the maximal Calderón commutator defined by $$T_{Ω,\,a}^*f(x)=\sup_{ε>0}\Big|\int_{|x-y|>ε}\frac{Ω(x-y)}{|x-y|^{d+1}} \big(a(x)-a(y)\big)f(y)dy\Big|,$$ where $Ω$ is homogeneous of degree zero, integrable on $S^{d-1}$ and has vanishing moment of order one, $a$ be a function on $\mathbb{R}^d$ such that…
▽ More
In this paper, the authors consider the endpoint estimates for the maximal Calderón commutator defined by $$T_{Ω,\,a}^*f(x)=\sup_{ε>0}\Big|\int_{|x-y|>ε}\frac{Ω(x-y)}{|x-y|^{d+1}} \big(a(x)-a(y)\big)f(y)dy\Big|,$$ where $Ω$ is homogeneous of degree zero, integrable on $S^{d-1}$ and has vanishing moment of order one, $a$ be a function on $\mathbb{R}^d$ such that $\nabla a\in L^{\infty}(\mathbb{R}^d)$. The authors prove that if $Ω\in L\log L(S^{d-1})$, then $T^*_{Ω,\,a}$ satisfies an endpoint estimate of $L\log\log L$ type.
△ Less
Submitted 14 April, 2024; v1 submitted 23 March, 2024;
originally announced March 2024.
-
Increasing stability for inverse source problem with limited-aperture far field data at multi-frequencies
Authors:
Ibtissem Ben Aïcha,
Guanghui Hu,
Suliang Si
Abstract:
We study the increasing stability of an inverse source problem for the Helmholtz equation from limited-aperture far field data at multiple wave numbers. The measurement data are givenby the far field patterns $u^\infity(\hat{x},k)$ for all observation directions in some neighborhood of a fixed direction $\hat{x}$ and for all wave numbers k belonging to a finite interval $(0,K)$. In this paper, we…
▽ More
We study the increasing stability of an inverse source problem for the Helmholtz equation from limited-aperture far field data at multiple wave numbers. The measurement data are givenby the far field patterns $u^\infity(\hat{x},k)$ for all observation directions in some neighborhood of a fixed direction $\hat{x}$ and for all wave numbers k belonging to a finite interval $(0,K)$. In this paper, we discuss the increasing stability with respect to the width of the wavenumber interval $K>1$. In three dimensions we establish stability estimates of the $L^2$-norm and $H^{-1}$-norm of the source function from the far field data. The ill-posedness of the inverse source problem turns out to be of Hölder type while increasing the wavenumber band K. We also discuss an analytic continuation argument of the far-field data with respect to the wavenumbers at a fixed direction.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Increasing stability for inverse acoustic source problems in the time domain
Authors:
Chun Liu,
Suliang Si,
Guanghui Hu,
Bo Zhang
Abstract:
This paper is concerned with inverse source problems for the acoustic wave equation in the full space R^3, where the source term is compactly supported in both time and spatial variables. The main goal is to investigate increasing stability for the wave equation in terms of the interval length of given parameters (e.g., bandwith of the temporal component of the source function). We establish incre…
▽ More
This paper is concerned with inverse source problems for the acoustic wave equation in the full space R^3, where the source term is compactly supported in both time and spatial variables. The main goal is to investigate increasing stability for the wave equation in terms of the interval length of given parameters (e.g., bandwith of the temporal component of the source function). We establish increasing stability estimates of the L^2 -norm of the source function by using only the Dirichlet boundary data. Our method relies on the Huygens principle, the Fourier transform and explicit bounds for the continuation of analytic functions.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Direct and inverse time-harmonic scattering by Dirichlet periodic curves with local perturbations
Authors:
Guanghui Hu,
Andreas Kirsch
Abstract:
This is a continuation of the authors' previous work (A. Kirsch, Math. Meth. Appl. Sci., 45 (2022): 5737-5773.) on well-posedness of time-harmonic scattering by locally perturbed periodic curves of Dirichlet kind. The scattering interface is supposed to be given by a non-self-intersecting Lipschitz curve. We study properties of the Green's function and prove new well-posedness results for scatteri…
▽ More
This is a continuation of the authors' previous work (A. Kirsch, Math. Meth. Appl. Sci., 45 (2022): 5737-5773.) on well-posedness of time-harmonic scattering by locally perturbed periodic curves of Dirichlet kind. The scattering interface is supposed to be given by a non-self-intersecting Lipschitz curve. We study properties of the Green's function and prove new well-posedness results for scattering of plane waves at a propagative wave number. In such a case there exist guided waves to the unperturbed problem, which are also known as Bounded States in the Continuity (BICs) in physics. In this paper uniqueness of the forward scattering follows from an orthogonal constraint condition enforcing on the total field to the unperturbed scattering problem. This constraint condition, which is also valid under the Neumann boundary condition, is derived from the singular perturbation arguments and also from the approach of approximating a plane wave by point source waves. For the inverse problem of determining the defect, we prove several uniqueness results using a finite or infinite number of point source and plane waves, depending on whether a priori information on the size and height of the defect is available.
△ Less
Submitted 12 March, 2024;
originally announced March 2024.
-
Combinatorial p-th Calabi Flows for Total Geodesic Curvatures in hyperbolic background geometry
Authors:
Guangming Hu,
Ziping Lei,
Yi Qi,
Puchun Zhou
Abstract:
In hyperbolic background geometry, we investigate a generalized circle packing (including circles, horocycles and hypercycles) with conical singularities on a surface with boundary, which has a total geodesic curvature on each generalized circle of this circle packing and a discrete Gaussian curvature on the center of each dual circle. The purpose of this paper is to find this type of circle packi…
▽ More
In hyperbolic background geometry, we investigate a generalized circle packing (including circles, horocycles and hypercycles) with conical singularities on a surface with boundary, which has a total geodesic curvature on each generalized circle of this circle packing and a discrete Gaussian curvature on the center of each dual circle. The purpose of this paper is to find this type of circle packings with prescribed total geodesic curvatures on generalized circles and discrete Gaussian curvatures on centers of dual circles. To achieve this goal, we firstly establish existence and rigidity on this type of circle packings by the variational principle. Secondly, for $p>1$, we introduce combinatorial $p$-th Calabi flows to find the circle packing with prescribed total geodesic curvatures on generalized circles and discrete Gaussian curvatures on centers of dual circles for the first time.
△ Less
Submitted 29 August, 2024; v1 submitted 8 March, 2024;
originally announced March 2024.
-
A mechanism-driven reinforcement learning framework for shape optimization of airfoils
Authors:
Jingfeng Wang,
Guanghui Hu
Abstract:
In this paper, a novel mechanism-driven reinforcement learning framework is proposed for airfoil shape optimization. To validate the framework, a reward function is designed and analyzed, from which the equivalence between the maximizing the cumulative reward and achieving the optimization objectives is guaranteed theoretically. To establish a quality exploration, and to obtain an accurate reward…
▽ More
In this paper, a novel mechanism-driven reinforcement learning framework is proposed for airfoil shape optimization. To validate the framework, a reward function is designed and analyzed, from which the equivalence between the maximizing the cumulative reward and achieving the optimization objectives is guaranteed theoretically. To establish a quality exploration, and to obtain an accurate reward from the environment, an efficient solver for steady Euler equations is employed in the reinforcement learning method. The solver utilizes the Bézier curve to describe the shape of the airfoil, and a Newton-geometric multigrid method for the solution. In particular, a dual-weighted residual-based h-adaptive method is used for efficient calculation of target functional. To effectively streamline the airfoil shape during the deformation process, we introduce the Laplacian smoothing, and propose a Bézier fitting strategy, which not only remits mesh tangling but also guarantees a precise manipulation of the geometry. In addition, a neural network architecture is designed based on an attention mechanism to make the learning process more sensitive to the minor change of the airfoil geometry. Numerical experiments demonstrate that our framework can handle the optimization problem with hundreds of design variables. It is worth mentioning that, prior to this work, there are limited works combining such high-fidelity partial differential equatons framework with advanced reinforcement learning algorithms for design problems with such high dimensionality.
△ Less
Submitted 26 May, 2024; v1 submitted 7 March, 2024;
originally announced March 2024.
-
Uniqueness, stability and algorithm for an inverse wave-number-dependent source problems
Authors:
Mengjie Zhao,
Suliang Si,
Guanghui Hu
Abstract:
This paper is concerned with an inverse wavenumber/frequency-dependent source problem for the Helmholtz equation. In two and three dimensions, the unknown source term is supposed to be compactly supported in spatial variables but independent on one spatial variable. The dependence of the source function on wavenumber/frequency is supposed to be unknown. Based on the Dirichlet-Laplacian and Fourier…
▽ More
This paper is concerned with an inverse wavenumber/frequency-dependent source problem for the Helmholtz equation. In two and three dimensions, the unknown source term is supposed to be compactly supported in spatial variables but independent on one spatial variable. The dependence of the source function on wavenumber/frequency is supposed to be unknown. Based on the Dirichlet-Laplacian and Fourier-Transform methods, we develop two effcient non-iterative numerical algorithms to recover the wavenumber-dependent source. Uniqueness proof and increasing stability analysis are carried out in terms of the boundary measurement data of Dirichlet kind. Numerical experiments are conducted to illustrate the effectiveness and efficiency of the proposed methods.
△ Less
Submitted 31 March, 2024; v1 submitted 19 February, 2024;
originally announced February 2024.
-
Time-harmonic scattering by locally perturbed periodic structures with Dirichlet and Neumann boundary conditions
Authors:
Guanghui Hu,
Andreas Kirsch
Abstract:
The paper is concerned with well-posedness of TE and TM polarizations of time-harmonic electromagnetic scattering by perfectly conducting periodic surfaces and periodically arrayed obstacles with local perturbations. The classical Rayleigh Expansion radiation condition does not always lead to well-posedness of the Helmholtz equation even in unperturbed periodic structures. We propose two equivalen…
▽ More
The paper is concerned with well-posedness of TE and TM polarizations of time-harmonic electromagnetic scattering by perfectly conducting periodic surfaces and periodically arrayed obstacles with local perturbations. The classical Rayleigh Expansion radiation condition does not always lead to well-posedness of the Helmholtz equation even in unperturbed periodic structures. We propose two equivalent radiation conditions to characterize the radiating behavior of time-harmonic wave fields incited by a source term in an open waveguide under impenetrable boundary conditions. With these open waveguide radiation conditions, uniqueness and existence of time-harmonic scattering by incoming point source waves, plane waves and surface waves from locally perturbed periodic structures are established under either the Dirichlet or Neumann boundary condition. A DtN operator without using the Green's function is constructed for proving well-posedness of perturbed scattering problems.
△ Less
Submitted 17 February, 2024;
originally announced February 2024.
-
Time-harmonic elastic scattering by unbounded deterministic and random rough surfaces in three dimensions
Authors:
Guanghui Hu,
Tianjiao Wang,
Xiang Xu,
Yue Zhao
Abstract:
In this paper, we investigate well-posedness of time-harmonic scattering of elastic waves by unbounded rigid rough surfaces in three dimensions. The elastic scattering is caused by an $L^2$ function with a compact support in the $x_3$-direction, and both deterministic and random surfaces are investigated via the variational approach. The rough surface in a deterministic setting is assumed to be Li…
▽ More
In this paper, we investigate well-posedness of time-harmonic scattering of elastic waves by unbounded rigid rough surfaces in three dimensions. The elastic scattering is caused by an $L^2$ function with a compact support in the $x_3$-direction, and both deterministic and random surfaces are investigated via the variational approach. The rough surface in a deterministic setting is assumed to be Lipschitz and lie within a finite distance of a flat plane, and the scattering is caused by an inhomogeneous term in the elastic wave equation whose support lies within some finite distance of the boundary. For the deterministic case, a stability estimate of elastic scattering by rough surface is shown at an arbitrary frequency. It is noticed that all constants in {\it a priori} bounds are bounded by explicit functions of the frequency and geometry of rough surfaces. Furthermore, based on this explicit dependence on the frequency together with the measurability and $\mathbb{P}$-essentially separability of the randomness, we obtain a similar bound for the solution of the scattering by random surfaces.
△ Less
Submitted 28 January, 2024;
originally announced January 2024.
-
Inverse wave-number-dependent source problems for the Helmholtz equation with partial information on radiating period
Authors:
Hongxia Guo,
Guanghui Hu,
Guanqiu Ma
Abstract:
This paper addresses a factorization method for imaging the support of a wave-number-dependent source function from multi-frequency data measured at a finite pair of symmetric receivers in opposite directions. The source function is given by the inverse Fourier transform of a compactly supported time-dependent source whose initial moment or terminal moment for radiating is unknown. Using the multi…
▽ More
This paper addresses a factorization method for imaging the support of a wave-number-dependent source function from multi-frequency data measured at a finite pair of symmetric receivers in opposite directions. The source function is given by the inverse Fourier transform of a compactly supported time-dependent source whose initial moment or terminal moment for radiating is unknown. Using the multi-frequency far-field data at two opposite observation directions, we provide a computational criterion for characterizing the smallest strip containing the support and perpendicular to the directions. A new parameter is incorporated into the design of test functions for indicating the unknown moment. The data from a finite pair of opposite directions can be used to recover the $Θ$-convex polygon of the support. Uniqueness in recovering the convex hull of the support is obtained as a by-product of our analysis using all observation directions. Similar results are also discussed with the multi-frequency near-field data from a finite pair of observation positions in three dimensions. We further comment on possible extensions to source functions with two disconnected supports. Extensive numerical tests in both two and three dimensions are implemented to show effectiveness and feasibility of the approach. The theoretical framework explored here should be seen as the frequency-domain analysis for inverse source problems in the time domain.
△ Less
Submitted 13 January, 2024;
originally announced January 2024.
-
Anisotropy of quadratic forms over a global field of odd characteristic is diophantine
Authors:
Guang Hu
Abstract:
We prove that the anisotropy of quadratic forms over any global field of characteristic not equal to 2 is diophantine, by using a generalization of the method of Koenigsmann and some known results in diophantine sets and quadratic forms.
We prove that the anisotropy of quadratic forms over any global field of characteristic not equal to 2 is diophantine, by using a generalization of the method of Koenigsmann and some known results in diophantine sets and quadratic forms.
△ Less
Submitted 31 December, 2023;
originally announced January 2024.
-
Hyperbolic Circle Packings and Total Geodesic Curvatures on Surfaces with Boundary
Authors:
Guangming Hu,
Yi Qi,
Yu Sun,
Puchun Zhou
Abstract:
This paper investigates a generalized hyperbolic circle packing (including circles, horocycles or hypercycles) with respect to the total geodesic curvatures on the surface with boundary. We mainly focus on the existence and rigidity of circle packing whose contact graph is the $1$-skeleton of a finite polygonal cellular decomposition, which is analogous to the construction of Bobenko and Springbor…
▽ More
This paper investigates a generalized hyperbolic circle packing (including circles, horocycles or hypercycles) with respect to the total geodesic curvatures on the surface with boundary. We mainly focus on the existence and rigidity of circle packing whose contact graph is the $1$-skeleton of a finite polygonal cellular decomposition, which is analogous to the construction of Bobenko and Springborn [4]. Motivated by Colin de Verdière's method [6], we introduce the variational principle for generalized hyperbolic circle packings on polygons. By analyzing limit behaviours of generalized circle packings on polygons, we give an existence and rigidity for the generalized hyperbolic circle packing with conical singularities regarding the total geodesic curvature on each vertex of the contact graph. As a consequence, we introduce the combinatoral Ricci flow to find a desired circle packing with a prescribed total geodesic curvature on each vertex of the contact graph.
△ Less
Submitted 17 November, 2023;
originally announced November 2023.
-
Towards the efficient calculation of quantity of interest from steady Euler equations II: a CNNs-based automatic implementation
Authors:
Jingfeng Wang,
Guanghui Hu
Abstract:
In \cite{wang2023towards}, a dual-consistent dual-weighted residual-based $h$-adaptive method has been proposed based on a Newton-GMG framework, towards the accurate calculation of a given quantity of interest from Euler equations. The performance of such a numerical method is satisfactory, i.e., the stable convergence of the quantity of interest can be observed in all numerical experiments. In th…
▽ More
In \cite{wang2023towards}, a dual-consistent dual-weighted residual-based $h$-adaptive method has been proposed based on a Newton-GMG framework, towards the accurate calculation of a given quantity of interest from Euler equations. The performance of such a numerical method is satisfactory, i.e., the stable convergence of the quantity of interest can be observed in all numerical experiments. In this paper, we will focus on the efficiency issue to further develop this method, since efficiency is vital for numerical methods in practical applications such as the optimal design of the vehicle shape. Three approaches are studied for addressing the efficiency issue, i.e., i). using convolutional neural networks as a solver for dual equations, ii). designing an automatic adjustment strategy for the tolerance in the $h$-adaptive process to conduct the local refinement and/or coarsening of mesh grids, and iii). introducing OpenMP, a shared memory parallelization technique, to accelerate the module such as the solution reconstruction in the method. The feasibility of each approach and numerical issues are discussed in depth, and significant acceleration from those approaches in simulations can be observed clearly from a number of numerical experiments. In convolutional neural networks, it is worth mentioning that the dual consistency plays an important role to guarantee the efficiency of the whole method and that unstructured meshes are employed in all simulations.
△ Less
Submitted 14 August, 2023;
originally announced August 2023.
-
Circle packings and total geodesic curvatures in hyperbolic background geometry
Authors:
Te Ba,
Guangming Hu,
Yu Sun
Abstract:
In this paper, we study a new type of circle packings in hyperbolic background geometry. Horocycles and hypercycles are also considered in this packing. We give the existence and rigidity of this type of circle packing with conical singularities in terms of the total geodesic curvature. Moreover, we introduce the combinatorial curvature flow on surfaces to find the desired circle packing with the…
▽ More
In this paper, we study a new type of circle packings in hyperbolic background geometry. Horocycles and hypercycles are also considered in this packing. We give the existence and rigidity of this type of circle packing with conical singularities in terms of the total geodesic curvature. Moreover, we introduce the combinatorial curvature flow on surfaces to find the desired circle packing with the prescribed total geodesic curvature.
△ Less
Submitted 16 August, 2023; v1 submitted 25 July, 2023;
originally announced July 2023.
-
An orthogonalization-free implementation of the LOBPCG method in solving Kohn-Sham equation
Authors:
Chengyu Liu,
Guanghui Hu
Abstract:
In the classic implementation of the LOBPCG method, orthogonalization and the R-R (Rayleigh-Ritz) procedure cost nonignorable CPU time. Especially this consumption could be very expensive to deal with situations with large block sizes. In this paper, we propose an orthogonalization-free framework of implementing the LOBPCG method for SCF (self-consistent field) iterations in solving the Kohn-Sham…
▽ More
In the classic implementation of the LOBPCG method, orthogonalization and the R-R (Rayleigh-Ritz) procedure cost nonignorable CPU time. Especially this consumption could be very expensive to deal with situations with large block sizes. In this paper, we propose an orthogonalization-free framework of implementing the LOBPCG method for SCF (self-consistent field) iterations in solving the Kohn-Sham equation. In this framework, orthogonalization is avoided in calculations, which can decrease the computational complexity. And the R-R procedure is implemented parallelly through OpenMP, which can further reduce computational time. During numerical experiments, an effective preconditioning strategy is designed, which can accelerate the LOBPCG method remarkably. Consequently, the efficiency of the LOBPCG method can be significantly improved. Based on this, the SCF iteration can solve the Kohn-Sham equation efficiently. A series of numerical experiments are inducted to demonstrate the effectiveness of our implementation, in which significant improvements in computational time can be observed.
△ Less
Submitted 28 June, 2023; v1 submitted 26 June, 2023;
originally announced June 2023.
-
A bilinear sparse domination for the maximal singular integral operators with rough kernels
Authors:
Xiangxing Tao,
Guoen Hu
Abstract:
Let $Ω$ be homogeneous of degree zero, integrable on $S^{d-1}$ and have mean value zero, $T_Ω$ be the homogeneous singular integral operator with kernel $\frac{Ω(x)}{|x|^d}$ and $T_Ω^*$ be the maximal operator associated to $T_Ω$. In this paper, the authors prove that if $Ω\in L^{\infty}(S^{d-1})$, then for all $r\in (1,\,\infty)$, $T_Ω^*$ enjoys a $(L^Φ,\,L^r)$ bilinear sparse domination with bou…
▽ More
Let $Ω$ be homogeneous of degree zero, integrable on $S^{d-1}$ and have mean value zero, $T_Ω$ be the homogeneous singular integral operator with kernel $\frac{Ω(x)}{|x|^d}$ and $T_Ω^*$ be the maximal operator associated to $T_Ω$. In this paper, the authors prove that if $Ω\in L^{\infty}(S^{d-1})$, then for all $r\in (1,\,\infty)$, $T_Ω^*$ enjoys a $(L^Φ,\,L^r)$ bilinear sparse domination with bound $Cr'\|Ω\|_{L^{\infty}(S^{d-1})}$, where $Φ(t)=t\log\log ({\rm e}^2+t)$.
△ Less
Submitted 16 August, 2023; v1 submitted 12 May, 2023;
originally announced May 2023.
-
Inverse wave-number-dependent source problems for the Helmholtz equation
Authors:
Hongxia Guo,
Guanghui Hu
Abstract:
This paper is concerned with the multi-frequency factorization method for imaging the support of a wave-number-dependent source function. It is supposed that the source function is given by the inverse Fourier transform of some time-dependent source with a priori given radiating period. Using the multi-frequency far-field data at a fixed observation direction, we provide a computational criterion…
▽ More
This paper is concerned with the multi-frequency factorization method for imaging the support of a wave-number-dependent source function. It is supposed that the source function is given by the inverse Fourier transform of some time-dependent source with a priori given radiating period. Using the multi-frequency far-field data at a fixed observation direction, we provide a computational criterion for characterizing the smallest strip containing the support and perpendicular to the observation direction. The far-field data from sparse observation directions can be used to recover a $Θ$-convex polygon of the support. The inversion algorithm is proven valid even with multi-frequency near-field data in three dimensions. The connections to time-dependent inverse source problems are discussed in the near-field case. Numerical tests in both two and three dimensions are implemented to show effectiveness and feasibility of the approach. This paper provides numerical analysis for a frequency-domain approach to recover the support of an admissible class of time-dependent sources.
△ Less
Submitted 31 December, 2023; v1 submitted 12 May, 2023;
originally announced May 2023.
-
Imaging a moving point source from multi-frequency data measured at one and sparse observation points (part II): near-field case in 3D
Authors:
Guanqiu Ma,
Hongxia Guo,
Guanghui Hu
Abstract:
In this paper, we introduce a frequency-domain approach to extract information on the trajectory of a moving point source. The method hinges on the analysis of multi-frequency near-field data recorded at one and sparse observation points in three dimensions. The radiating period of the moving point source is supposed to be supported on the real axis and a priori known. In contrast to inverse stati…
▽ More
In this paper, we introduce a frequency-domain approach to extract information on the trajectory of a moving point source. The method hinges on the analysis of multi-frequency near-field data recorded at one and sparse observation points in three dimensions. The radiating period of the moving point source is supposed to be supported on the real axis and a priori known. In contrast to inverse stationary source problems, one needs to classify observable and non-observable measurement positions. The analogue of these concepts in the far-field regime were firstly proposed in the authors' previous paper (SIAM J. Imag. Sci., 16 (2023): 1535-1571). In this paper we shall derive the observable and non-observable measurement positions for straight and circular motions in $\R^3$. In the near-field case, we verify that the smallest annular region centered at an observable position that contains the trajectory can be imaged for an admissible class of orbit functions. Using the data from sparse observable positions, it is possible to reconstruct the $Θ$-convex domain of the trajectory. Intensive 3D numerical tests with synthetic data are performed to show effectiveness and feasibility of this new algorithm.
△ Less
Submitted 13 December, 2023; v1 submitted 25 April, 2023;
originally announced April 2023.
-
Uniqueness in determining rectangular grating profiles with a single incoming wave (Part II): TM polarization case
Authors:
Jianli Xiang,
Guanghui Hu
Abstract:
This paper is concerned with an inverse transmission problem for recovering the shape of a penetrable rectangular grating sitting on a perfectly conducting plate. We consider a general transmission problem with the coefficient λ\neq 1 which covers the TM polarization case. It is proved that a rectangular grating profile can be uniquely determined by the near-field observation data incited by a sin…
▽ More
This paper is concerned with an inverse transmission problem for recovering the shape of a penetrable rectangular grating sitting on a perfectly conducting plate. We consider a general transmission problem with the coefficient λ\neq 1 which covers the TM polarization case. It is proved that a rectangular grating profile can be uniquely determined by the near-field observation data incited by a single plane wave and measured on a line segment above the grating. In comparision with the TE case (λ=1), the wave field cannot lie in H^2 around each corner point, bringing essential difficulties in proving uniqueness with one plane wave. Our approach relies on singularity analysis for Helmholtz transmission problems in a right-corner domain and also provides an alternative idea for treating the TE transmission conditions which were considered in the authors' previous work [Inverse Problem, 39 (2023): 055004.]
△ Less
Submitted 21 April, 2023;
originally announced April 2023.
-
Finite element and integral equation methods to conical diffraction by imperfectly conducting gratings
Authors:
Guanghui Hu,
Jiayi Zhang,
Linlin Zhu
Abstract:
In this paper we study the variational method and integral equation methods for a conical diffraction problem for imperfectly conducting gratings modeled by the impedance boundary value problem of the Helmholtz equation in periodic structures. We justify the strong ellipticity of the sesquilinear form corresponding to the variational formulation and prove the uniqueness of solutions at any frequen…
▽ More
In this paper we study the variational method and integral equation methods for a conical diffraction problem for imperfectly conducting gratings modeled by the impedance boundary value problem of the Helmholtz equation in periodic structures. We justify the strong ellipticity of the sesquilinear form corresponding to the variational formulation and prove the uniqueness of solutions at any frequency. Convergence of the finite element method using the transparent boundary condition (Dirichlet-to-Neumann mapping) is verified. The boundary integral equation method is also discussed.
△ Less
Submitted 10 April, 2023;
originally announced April 2023.
-
Well-posedness of grating diffraction problems for plane wave incidence: explicit dependence on wavenumbers and incident angles
Authors:
Linlin Zhu,
Guanghui Hu
Abstract:
Suppose that a plane wave is incident onto an impenetrable grating profile of Dirichlet or Impedance type or a penetrable grating. The grating interface is assumed to be given by a Lipschitz function in two dimensions. We derive stability estimate of the grating diffraction problem via variational method with an explicit dependence of solutions on the incident wavenumber and incident angle.
Suppose that a plane wave is incident onto an impenetrable grating profile of Dirichlet or Impedance type or a penetrable grating. The grating interface is assumed to be given by a Lipschitz function in two dimensions. We derive stability estimate of the grating diffraction problem via variational method with an explicit dependence of solutions on the incident wavenumber and incident angle.
△ Less
Submitted 9 April, 2023;
originally announced April 2023.
-
A convergence analysis of a structure-preserving gradient flow method for the all-electron Kohn-Sham model
Authors:
Yedan Shen,
Ting Wang,
Jie Zhou,
Guanghui Hu
Abstract:
In [Dai et al, Multi. Model. Simul., 2020], a structure-preserving gradient flow method was proposed for the ground state calculation in Kohn-Sham density functional theory, based on which a linearized method was developed in [Hu, et al, EAJAM, accepted] for further improving the numerical efficiency. In this paper, a complete convergence analysis is delivered for such a linearized method for the…
▽ More
In [Dai et al, Multi. Model. Simul., 2020], a structure-preserving gradient flow method was proposed for the ground state calculation in Kohn-Sham density functional theory, based on which a linearized method was developed in [Hu, et al, EAJAM, accepted] for further improving the numerical efficiency. In this paper, a complete convergence analysis is delivered for such a linearized method for the all-electron Kohn-Sham model. Temporally, the convergence, the asymptotic stability, as well as the structure-preserving property of the linearized numerical scheme in the method is discussed following previous works, while spatially, the convergence of the h-adaptive mesh method is demonstrated following [Chen et al, Multi. Model. Simul., 2014], with a key study on the boundedness of the Kohn-Sham potential for the all-electron Kohn-Sham model. Numerical examples confirm the theoretical results very well.
△ Less
Submitted 7 March, 2023;
originally announced March 2023.
-
Towards the efficient calculation of quantity of interest from steady Euler equations I: a dual-consistent DWR-based h-adaptive Newton-GMG solver
Authors:
Jingfeng Wang,
Guanghui Hu
Abstract:
The dual consistency is an important issue in developing stable DWR error estimation towards the goal-oriented mesh adaptivity. In this paper, such an issue is studied in depth based on a Newton-GMG framework for the steady Euler equations. Theoretically, the numerical framework is redescribed using the Petrov-Galerkin scheme, based on which the dual consistency is depicted. A boundary modificatio…
▽ More
The dual consistency is an important issue in developing stable DWR error estimation towards the goal-oriented mesh adaptivity. In this paper, such an issue is studied in depth based on a Newton-GMG framework for the steady Euler equations. Theoretically, the numerical framework is redescribed using the Petrov-Galerkin scheme, based on which the dual consistency is depicted. A boundary modification technique is discussed for preserving the dual consistency within the Newton-GMG framework. Numerically, a geometrical multigrid is proposed for solving the dual problem, and a regularization term is designed to guarantee the convergence of the iteration. The following features of our method can be observed from numerical experiments, i). a stable numerical convergence of the quantity of interest can be obtained smoothly for problems with different configurations, and ii). towards accurate calculation of quantity of interest, mesh grids can be saved significantly using the proposed dual-consistent DWR method, compared with the dual-inconsistent one.
△ Less
Submitted 13 August, 2023; v1 submitted 27 February, 2023;
originally announced February 2023.
-
Well-posedness and convergence analysis of PML method for time-dependent acoustic scattering problems over a locally rough surface
Authors:
Hongxia Guo,
Guanghui Hu
Abstract:
We aim to analyze and calculate time-dependent acoustic wave scattering by a bounded obstacle and a locally perturbed non-selfintersecting curve. The scattering problem is equivalently reformulated as an initial-boundary value problem of the wave equation in a truncated bounded domain through a well-defined transparent boundary condition. Well-posedness and stability of the reduced problem are est…
▽ More
We aim to analyze and calculate time-dependent acoustic wave scattering by a bounded obstacle and a locally perturbed non-selfintersecting curve. The scattering problem is equivalently reformulated as an initial-boundary value problem of the wave equation in a truncated bounded domain through a well-defined transparent boundary condition. Well-posedness and stability of the reduced problem are established. Numerically, we adopt the perfect matched layer (PML) scheme for simulating the propagation of perturbed waves. By designing a special absorbing medium in a semi-circular PML, we show well-posedness and stability of the truncated initial-boundary value problem. Finally, we prove that the PML solution converges exponentially to the exact solution in the physical domain. Numerical results are reported to verify the exponential convergence with respect to absorbing medium parameters and thickness of the PML.
△ Less
Submitted 16 January, 2023;
originally announced January 2023.
-
Imaging a moving point source from multi-frequency data measured at one and sparse observation directions (part I): far-field case
Authors:
Hongxia Guo,
Guanghui Hu,
Guanqiu Ma
Abstract:
We propose a multi-frequency algorithm for imaging the trajectory of a moving point source from one and sparse far-field observation directions in the frequency domain. The starting and terminal time points of the moving source are both supposed to be known. We introduce the concept of observable directions (angles) in the far-field region and derive all observable directions (angles) for straight…
▽ More
We propose a multi-frequency algorithm for imaging the trajectory of a moving point source from one and sparse far-field observation directions in the frequency domain. The starting and terminal time points of the moving source are both supposed to be known. We introduce the concept of observable directions (angles) in the far-field region and derive all observable directions (angles) for straight and circular motions. At an observable direction, it is verified that the smallest trip containing the trajectory and perpendicular to the direction can be imaged, provided the orbit function possesses a certain monotonical property. Without the monotonicity one can only expect to recover a thinner strip. The far-field data measured at sparse observable directions can be used to recover the $Θ$-convex domain of the trajectory. Both two- and three-dimensional numerical examples are implemented to show effectiveness and feasibility of the approach.
△ Less
Submitted 29 December, 2022;
originally announced December 2022.
-
Direct sampling method to inverse wave-number-dependent source problems (part I): determination of the support of a stationary source
Authors:
Hongxia Guo,
Guanghui Hu,
Mengjie Zhao
Abstract:
This paper is concerned with a direct sampling method for imaging the support of a frequency-dependent source term embedded in a homogeneous and isotropic medium. The source term is given by the Fourier transform of a time-dependent source whose radiating period in the time domain is known.
The time-dependent source is supposed to be stationary in the sense that its compact support does not vary…
▽ More
This paper is concerned with a direct sampling method for imaging the support of a frequency-dependent source term embedded in a homogeneous and isotropic medium. The source term is given by the Fourier transform of a time-dependent source whose radiating period in the time domain is known.
The time-dependent source is supposed to be stationary in the sense that its compact support does not vary along the time variable.
Via a multi-frequency direct sampling method, we show that the smallest strip containing the source support and perpendicular to the observation direction can be recovered from far-field patterns at a fixed observation angle. With multiple but sparse observation directions, the shape of the convex hull of the source support can be recovered. The frequency-domain analysis performed here can be used to handle inverse time-dependent source problems.
Our algorithm has low computational overhead and is robust against noise. Numerical experiments in both two and three dimensions have proved our theoretical findings.
△ Less
Submitted 9 December, 2022;
originally announced December 2022.
-
An MP-DWR method for $h$-adaptive finite element methods
Authors:
Chengyu Liu,
Guanghui Hu
Abstract:
In a dual weighted residual method based on the finite element framework, the Galerkin orthogonality is an issue that prevents solving the dual equation in the same space as the one for the primal equation. In the literature, there have been two popular approaches to constructing a new space for the dual problem, i.e., refining mesh grids ($h$-approach) and raising the order of approximate polynom…
▽ More
In a dual weighted residual method based on the finite element framework, the Galerkin orthogonality is an issue that prevents solving the dual equation in the same space as the one for the primal equation. In the literature, there have been two popular approaches to constructing a new space for the dual problem, i.e., refining mesh grids ($h$-approach) and raising the order of approximate polynomials ($p$-approach). In this paper, a novel approach is proposed for the purpose based on the multiple-precision technique, i.e., the construction of the new finite element space is based on the same configuration as the one for the primal equation, except for the precision in calculations. The feasibility of such a new approach is discussed in detail in the paper. In numerical experiments, the proposed approach can be realized conveniently with C++ \textit{template}. Moreover, the new approach shows remarkable improvements in both efficiency and storage compared with the $h$-approach and the $p$-approach. It is worth mentioning that the performance of our approach is comparable with the one through a higher order interpolation ($i$-approach) in the literature. The combination of these two approaches is believed to further enhance the efficiency of the dual weighted residual method.
△ Less
Submitted 8 March, 2023; v1 submitted 13 September, 2022;
originally announced September 2022.
-
Duality-Based Distributed Optimization With Communication Delays in Multi-Cluster Networks
Authors:
Jianzheng Wang,
Guoqiang Hu
Abstract:
In this work, we consider solving a distributed optimization problem (DOP) in a multi-agent network with multiple agent clusters. In each cluster, the agents manage separable cost functions composed of possibly non-smooth components and aim to achieve an agreement on a common decision of the cluster. The global cost function is considered as the sum of the individual cost functions associated with…
▽ More
In this work, we consider solving a distributed optimization problem (DOP) in a multi-agent network with multiple agent clusters. In each cluster, the agents manage separable cost functions composed of possibly non-smooth components and aim to achieve an agreement on a common decision of the cluster. The global cost function is considered as the sum of the individual cost functions associated with affine coupling constraints on the clusters' decisions. To solve this problem, the dual problem is formulated by the concept of Fenchel conjugate. Then an asynchronous distributed dual proximal gradient (Asyn-DDPG) algorithm is proposed based on a cluster-based partial and mixed consensus protocol, by which the agents are only required to communicate with their neighbors with communication delays. An ergodic convergence result is provided, and the feasibility of the proposed algorithm is verified by solving a social welfare optimization problem in the simulation.
△ Less
Submitted 14 September, 2023; v1 submitted 24 August, 2022;
originally announced August 2022.
-
A theory for generalized morphisms and beyond
Authors:
Gang Hu
Abstract:
Some sorts of generalized morphisms are defined from very basic mathematical objects such as sets, functions, and partial functions. A wide range of mathematical notions such as continuous functions between topological spaces, ring homomorphisms, module homomorphisms, group homomorphisms, and covariant functors between categories can be characterized in terms of the generalized morphisms. We show…
▽ More
Some sorts of generalized morphisms are defined from very basic mathematical objects such as sets, functions, and partial functions. A wide range of mathematical notions such as continuous functions between topological spaces, ring homomorphisms, module homomorphisms, group homomorphisms, and covariant functors between categories can be characterized in terms of the generalized morphisms. We show that the inverse of any bijective generalized morphism is also a generalized morphism (of the same kind), and hence a generalized isomorphism can be defined as a bijective generalized morphism.
Galois correspondences are established and studied, not only for the Galois groups of the generalized automorphisms, but also for the "Galois monoids" of the generalized endomorphisms.
Ways to construct the generalized morphisms and the generalized isomorphisms are studied.
New interpretations on solvability of polynomials and solvability of homogeneous linear differential equations are introduced, and these ideas are roughly generalized for "general" equation solving in terms of our theory for the generalized morphisms.
Some more results are presented. For example, we generalize the algebraic notions of transcendental elements over a field and purely transcendental field extensions, we obtain an isomorphism theorem that generalizes the first isomorphism theorems (for groups, rings, and modules), and we show that a part of our theory is closely related to dynamical systems.
△ Less
Submitted 23 July, 2024; v1 submitted 28 June, 2022;
originally announced June 2022.
-
$L^p(\mathbb{R}^d)$ boundedness for the Calderón commutator with rough kernel
Authors:
Jiecheng Chen,
Guoen Hu,
Xiangxing Tao
Abstract:
Let $k\in\mathbb{N}$, $Ω$ be homogeneous of degree zero, integrable on $S^{d-1}$ and have vanishing moment of order $k$, $a$ be a function on $\mathbb{R}^d$ such that $\nabla a\in L^{\infty}(\mathbb{R}^d)$, and $T_{Ω,\,a;k}$ be the $d$-dimensional Calderón commutator defined by $$T_{Ω,\,a;k}f(x)={\rm p.\,v.}\int_{\mathbb{R}^d}\frac{Ω(x-y)}{|x-y|^{d+k}}\big(a(x)-a(y)\big)^kf(y){d}y.$$ In this paper…
▽ More
Let $k\in\mathbb{N}$, $Ω$ be homogeneous of degree zero, integrable on $S^{d-1}$ and have vanishing moment of order $k$, $a$ be a function on $\mathbb{R}^d$ such that $\nabla a\in L^{\infty}(\mathbb{R}^d)$, and $T_{Ω,\,a;k}$ be the $d$-dimensional Calderón commutator defined by $$T_{Ω,\,a;k}f(x)={\rm p.\,v.}\int_{\mathbb{R}^d}\frac{Ω(x-y)}{|x-y|^{d+k}}\big(a(x)-a(y)\big)^kf(y){d}y.$$ In this paper, the authors prove that if $$\sup_{ζ\in S^{d-1}}\int_{S^{d-1}}|Ω(θ)|\log ^β \big(\frac{1}{|θ\cdotζ|}\big)dθ<\infty,$$ with $β\in(1,\,\infty]$, then for $\frac{2β}{2β-1}<p<2β$, $T_{Ω,\,a;\,k}$ is bounded on $L^p(\mathbb{R}^d)$.
△ Less
Submitted 25 August, 2022; v1 submitted 22 March, 2022;
originally announced March 2022.
-
On the boundedness of non-standard rough singular integral operators
Authors:
Guoen Hu,
Xiangxing Tao,
Zhidan Wang,
Qingying Xue
Abstract:
Let $Ω$ be homogeneous of degree zero, have vanishing moment of order one on the unit sphere $\mathbb {S}^{d-1}$($d\ge 2$). In this paper, our object of investigation is the following rough non-standard singular integral operator $$T_{Ω,\,A}f(x)={\rm p.\,v.}\int_{\mathbb{R}^d}\frac{Ω(x-y)}{|x-y|^{d+1}}\big(A(x)-A(y)-\nabla A(y)(x-y)\big)f(y){\rm d}y,$$ where $A$ is a function defined on…
▽ More
Let $Ω$ be homogeneous of degree zero, have vanishing moment of order one on the unit sphere $\mathbb {S}^{d-1}$($d\ge 2$). In this paper, our object of investigation is the following rough non-standard singular integral operator $$T_{Ω,\,A}f(x)={\rm p.\,v.}\int_{\mathbb{R}^d}\frac{Ω(x-y)}{|x-y|^{d+1}}\big(A(x)-A(y)-\nabla A(y)(x-y)\big)f(y){\rm d}y,$$ where $A$ is a function defined on $\mathbb{R}^d$ with derivatives of order one in ${\rm BMO}(\mathbb{R}^d)$. We show that $T_{Ω,\,A}$ enjoys the endpoint $L\log L$ type estimate and is $L^p$ bounded if $Ω\in L(\log L)^{2}(\mathbb{S}^{d-1})$. These resuts essentially improve the previous known results given by Hofmann for the $L^p$ boundedness of $T_{Ω,\,A}$ under the condition $Ω\in L^{q}(\mathbb {S}^{d-1})$ $(q>1)$, Hu and Yang for the endpoint weak $L\log L$ type estimates when $Ω\in {\rm Lip}_α(\mathbb{S}^{d-1})$ for some $α\in (0,\,1]$. Quantitative weighted strong and endpoint weak $L\log L$ type inequalities are proved whenever $Ω\in L^{\infty}(\mathbb {S}^{d-1})$. The analysis of the weighted results relies heavily on two bilinear sparse dominations of $T_{Ω,\,A}$ established herein.
△ Less
Submitted 10 March, 2022;
originally announced March 2022.
-
Distributed Optimization with Coupling Constraints in Multi-Cluster Networks Based on Dual Proximal Gradient Method
Authors:
Jianzheng Wang,
Guoqiang Hu
Abstract:
In this work, we consider solving a distributed optimization problem in a multi-agent network with multiple clusters. In each cluster, the involved agents cooperatively optimize a separable composite function with a common decision variable. Meanwhile, a global cost function of the whole network is considered associated with an affine coupling constraint across the clusters. To solve this problem,…
▽ More
In this work, we consider solving a distributed optimization problem in a multi-agent network with multiple clusters. In each cluster, the involved agents cooperatively optimize a separable composite function with a common decision variable. Meanwhile, a global cost function of the whole network is considered associated with an affine coupling constraint across the clusters. To solve this problem, we propose a cluster-based dual proximal gradient algorithm by resorting to the dual problem, where the global cost function is optimized when the agents in each cluster achieve an agreement on the optimal strategy and the global coupling constraint is satisfied. In addition, the proposed algorithm allows the agents to only communicate with their immediate neighbors. The computational complexity of the proposed algorithm with simple-structured cost functions is discussed and an ergodic convergence with rate O(1/T) is guaranteed (T is the index of iterations).
△ Less
Submitted 2 March, 2022;
originally announced March 2022.
-
Uniqueness in inverse diffraction grating problems with infinitely many plane waves at a fixed frequency
Authors:
Xiaoxu Xu,
Guanghui Hu,
Bo Zhang,
Haiwen Zhang
Abstract:
This paper is concerned with the inverse diffraction problems by a periodic curve with Dirichlet boundary condition in two dimensions. It is proved that the periodic curve can be uniquely determined by the near-field measurement data corresponding to infinitely many incident plane waves with distinct directions at a fixed frequency. Our proof is based on Schiffer's idea which consists of two ingre…
▽ More
This paper is concerned with the inverse diffraction problems by a periodic curve with Dirichlet boundary condition in two dimensions. It is proved that the periodic curve can be uniquely determined by the near-field measurement data corresponding to infinitely many incident plane waves with distinct directions at a fixed frequency. Our proof is based on Schiffer's idea which consists of two ingredients: i) the total fields for incident plane waves with distinct directions are linearly independent, and ii) there exist only finitely many linearly independent Dirichlet eigenfunctions in a bounded domain or in a closed waveguide under additional assumptions on the waveguide boundary. Based on the Rayleigh expansion, we prove that the phased near-field data can be uniquely determined by the phaseless near-field data in a bounded domain, with the exception of a finite set of incident angles. Such a phase retrieval result leads to a new uniqueness result for the inverse grating diffraction problem with phaseless near-field data at a fixed frequency. Since the incident direction determines the quasi-periodicity of the boundary value problem, our inverse issues are different from the existing results of [Htttlich & Kirsch, Inverse Problems 13 (1997): 351-361] where fixed-direction plane waves at multiple frequencies were considered.
△ Less
Submitted 26 February, 2022;
originally announced February 2022.
-
Variants of normality and steadfastness deform
Authors:
Alexander Bauman,
Havi Ellers,
Gary Hu,
Takumi Murayama,
Sandra Nair,
Ying Wang
Abstract:
The cancellation problem asks whether $A[X_1,X_2,\ldots,X_n] \cong B[Y_1,Y_2,\ldots,Y_n]$ implies $A \cong B$. Hamann introduced the class of steadfast rings as the rings for which a version of the cancellation problem considered by Abhyankar, Eakin, and Heinzer holds. By work of Asanuma, Hamann, and Swan, steadfastness can be characterized in terms of $p$-seminormality, which is a variant of norm…
▽ More
The cancellation problem asks whether $A[X_1,X_2,\ldots,X_n] \cong B[Y_1,Y_2,\ldots,Y_n]$ implies $A \cong B$. Hamann introduced the class of steadfast rings as the rings for which a version of the cancellation problem considered by Abhyankar, Eakin, and Heinzer holds. By work of Asanuma, Hamann, and Swan, steadfastness can be characterized in terms of $p$-seminormality, which is a variant of normality introduced by Swan. We prove that $p$-seminormality and steadfastness deform for reduced Noetherian local rings. We also prove that $p$-seminormality and steadfastness are stable under adjoining formal power series variables for reduced (not necessarily Noetherian) rings. Our methods also give new proofs of the facts that normality and weak normality deform, which are of independent interest.
△ Less
Submitted 13 March, 2023; v1 submitted 31 January, 2022;
originally announced February 2022.
-
Uniqueness in determining binary grating profiles and refractive indices with a single incoming wave
Authors:
Jianli Xiang,
Guanghui Hu
Abstract:
We investigate inverse diffraction problems for penetrable gratings in a piecewise constant medium. In the TE polarization case, it is proved that a binary grating profile together with the refractive index beneath it can be uniquely determined by the near-field observation data incited by a single plane wave and measured on a line segment above the grating. Our approach relies on the expansion of…
▽ More
We investigate inverse diffraction problems for penetrable gratings in a piecewise constant medium. In the TE polarization case, it is proved that a binary grating profile together with the refractive index beneath it can be uniquely determined by the near-field observation data incited by a single plane wave and measured on a line segment above the grating. Our approach relies on the expansion of solutions to the Helmholtz equation and the corner singularity analysis of solutions to the inhomogeneous Laplace equation with a piecewise continuous source term in a sector. This paper also contributes to corner scattering theory for the Helmholtz equation in a special non-convex domain.
△ Less
Submitted 23 November, 2021;
originally announced November 2021.
