arXiv subjects

Vo Anh Khoa

Publications and source records attributed to Vo Anh Khoa.

At least 19 recordsLinked to original sources

arXiv2023

Efficient relaxation scheme for the SIR and related compartmental models

In this paper, we introduce a novel numerical approach for approximating the SIR model in epidemiology. Our method enhances the existing linearization procedure by incorporating a suitable relaxation term to tackle the transcendental equation of nonlinear type. Developed within the continuous framework, our relaxation method is explicit and easy to implement, relying on a sequence of linear differential equations. This approach yields accurate approximations in both discrete and analytical forms. Through rigorous analysis, we prove that, with an appropriate choice of the relaxation parameter, our numerical scheme is non-negativity-preserving and globally strongly convergent towards the true solution. These theoretical findings have not received sufficient attention in various existing SIR solvers. We also extend the applicability of our relaxation method to handle some variations of the traditional SIR model. Finally, we present numerical examples using simulated data to demonstrate the effectiveness of our proposed method.

math.NA↗

arXiv2023

Numerical verification of the convexification method for a frequency-dependent inverse scattering problem with experimental data

The reconstruction of physical properties of a medium from boundary measurements, known as inverse scattering problems, presents significant challenges. The present study aims to validate a newly developed convexification method for a 3D coefficient inverse problem in the case of buried unknown objects in a sandbox, using experimental data collected by a microwave scattering facility at The University of North Carolina at Charlotte. Our study considers the formulation of a coupled quasilinear elliptic system based on multiple frequencies. The system can be solved by minimizing a weighted Tikhonov-like functional, which forms our convexification method. Theoretical results related to the convexification are also revisited in this work.

math.NA↗

arXiv2023

An explicit Fourier-Klibanov method for an age-dependent tumor growth model of Gompertz type

This paper proposes an explicit Fourier-Klibanov method as a new approximation technique for an age-dependent population PDE of Gompertz type in modeling the evolution of tumor density in a brain tissue. Through suitable nonlinear and linear transformations, the Gompertz model of interest is transformed into an auxiliary third-order nonlinear PDE. Then, a coupled transport-like PDE system is obtained via an application of the Fourier-Klibanov method, and, thereby, is approximated by the explicit finite difference operators of characteristics. The stability of the resulting difference scheme is analyzed under the standard 2-norm topology. Finally, we present some computational results to demonstrate the effectiveness of the proposed method.

math.NA↗

arXiv2022

Analysis and simulation of a variational stabilization for the Helmholtz equation with noisy Cauchy data

This article considers a Cauchy problem of Helmholtz equations whose solution is well known to be exponentially unstable with respect to the inputs. In the framework of variational quasi-reversibility method, a Fourier truncation is applied to appropriately perturb the underlying problem, which allows us to obtain a stable approximate solution. The corresponding approximate problem is of a hyperbolic equation, which is also a crucial aspect of this approach. Error estimates between the approximate and true solutions are derived with respect to the noise level. From this analysis, the Lipschitz stability with respect to the noise level follows. Some numerical examples are provided to see how our numerical algorithm works well.

math.NA↗

arXiv2022

Numerical reconstruction for 3D nonlinear SAR imaging via a version of the convexification method

This work extends the applicability of our recent convexification-based algorithm for constructing images of the dielectric constant of buried or occluded target. We are orientated towards the detection of explosive-like targets such as antipersonnel land mines and improvised explosive devices in the non-invasive inspections of buildings. In our previous work, the method is posed in the perspective that we use multiple source locations running along a line of source to get a 2D image of the dielectric function. Mathematically, we solve a 1D coefficient inverse problem for a hyperbolic equation for each source location. Different from any conventional Born approximation-based technique for synthetic-aperture radar, this method does not need any linearization. In this paper, we attempt to verify the method using several 3D numerical tests with simulated data. We revisit the global convergence of the gradient descent method of our computational approach.

math.NA↗

arXiv2022

Initial state reconstruction on graphs

The presence of noise is an intrinsic problem in acquisition processes for digital images. One way to enhance images is to combine the forward and backward diffusion equations. However, the latter problem is well known to be exponentially unstable with respect to any small perturbations on the final data. In this scenario, the final data can be regarded as a blurred image obtained from the forward process, and that image can be pixelated as a network. Therefore, we study in this work a regularization framework for the backward diffusion equation on graphs. Our aim is to construct a spectral graph-based solution based upon a cut-off projection. Stability and convergence results are provided together with some numerical experiments.

math.NA↗

arXiv2021

Convergence of a spectral regularization of a time-reversed reaction-diffusion problem with high-order Sobolev-Gevrey smoothness

The present paper analyzes a spectral regularization of a time-reversed reaction-diffusion problem with globally and locally Lipschitz nonlinearities. This type of inverse and ill-posed problems arises in a variety of real-world applications concerning heat conduction and tumour source localization. In accordance with the weak solvability result for the forward problem, we focus on the inverse problem with high-order Sobolev-Gevrey smoothness and with Sobolev measurements. As expected from the well-known results for the linear case, we prove that this nonlinear spectral regularization possesses a logarithmic rate of convergence in a high-order Sobolev norm. The proof can be done by the verification of variational source condition; this way validates such a fine strategy in the framework of inverse problems for nonlinear partial differential equations. Ultimately, we study a semi-discrete version of the regularization method for a class of reaction-diffusion problems with non-degenerate nonlinearity. The convergence of this iterative scheme is also investigated.

math.AP↗

arXiv2020

Through-the-Wall Nonlinear SAR Imaging

An inverse scattering problem for SAR data in application to through-the-wall imaging is addressed. In contrast with the conventional algorithms of SAR imaging, that work with the linearized mathematical model based on the Born approximation, the fully nonlinear case is considered here. To avoid the local minima problem, the so-called "convexification" globally convergent inversion scheme is applied to approximate the distribution of the slant range (SR) dielectric constant in the 3-D domain. The benchmark scene of this paper comprises a homogeneous dielectric wall and different dielectric targets hidden behind it. The results comprise two dimensional images of the SR dielectric constant of the scene of interest. Numerical results are obtained by the proposed inversion method for both the computationally simulated and experimental data. Our results show that the values, cross-range sizes and locations of SR dielectric constants for targets hidden behind the wall are close to those of real targets. Numerical comparison with the solution of the linearized inverse scattering problem provided by the Born approximation, commonly used in conventional SAR imaging, shows a significantly better accuracy of our results.

math.NA↗

arXiv2020

An improved quasi-reversibility method for a terminal-boundary value multi-species model with white Gaussian noise

Upon the recent development of the quasi-reversibility method for terminal value parabolic problems in \cite{Nguyen2019}, it is imperative to investigate the convergence analysis of this regularization method in the stochastic setting. In this paper, we positively unravel this open question by focusing on a coupled system of Dirichlet reaction-diffusion equations with additive white Gaussian noise on the terminal data. In this regard, the approximate problem is designed by adding the so-called perturbing operator to the original problem and by exploiting the Fourier reconstructed terminal data. By this way, Gevrey-type source conditions are included, while we successfully maintain the logarithmic stability estimate of the corresponding stabilized operator, which is necessary for the error analysis. As the main theme of this work, we prove the error bounds for the concentrations and for the concentration gradients, driven by a large amount of weighted energy-like controls involving the expectation operator. Compared to the classical error bounds in $L^2$ and $H^1$ that we obtained in the previous studies, our analysis here needs a higher smoothness of the true terminal data to ensure their reconstructions from the stochastic fashion. Two numerical examples are provided to corroborate the theoretical results.

math.AP↗

arXiv2020

Convergence analysis of a variational quasi-reversibility approach for an inverse hyperbolic heat conduction problem

We study a time-reversed hyperbolic heat conduction problem based upon the Maxwell--Cattaneo model of non-Fourier heat law. This heat and mass diffusion problem is a hyperbolic type equation for thermodynamics systems with thermal memory or with finite time-delayed heat flux, where the Fourier or Fick law is proven to be unsuccessful with experimental data. In this work, we show that our recent variational quasi-reversibility method for the classical time-reversed heat conduction problem, which obeys the Fourier or Fick law, can be adapted to cope with this hyperbolic scenario. We establish a generic regularization scheme in the sense that we perturb both spatial operators involved in the PDE. Driven by a Carleman weight function, we exploit the natural energy method to prove the well-posedness of this regularized scheme. Moreover, we prove the Hölder rate of convergence in the mixed $L^2$--$H^1$ spaces.

math.NA↗

arXiv2020

An inverse problem of a simultaneous reconstruction of the dielectric constant and conductivity from experimental backscattering data

This report extends our recent progress in tackling a challenging 3D inverse scattering problem governed by the Helmholtz equation. Our target application is to reconstruct dielectric constants, electric conductivities and shapes of front surfaces of objects buried very closely under the ground. These objects mimic explosives, like, e.g., antipersonnel land mines and improvised explosive devices. We solve a coefficient inverse problem with the backscattering data generated by a moving source at a fixed frequency. This scenario has been studied so far by our newly developed convexification method that consists in a new derivation of a boundary value problem for a coupled quasilinear elliptic system. However, in our previous work only the unknown dielectric constants of objects and shapes of their front surfaces were calculated. Unlike this, in the current work performance of our numerical convexification algorithm is verified for the case when the dielectric constants, the electric conductivities and those shapes of objects are unknown. By running several tests with experimentally collected backscattering data, we find that we can accurately image both the dielectric constants and shapes of targets of interests including a challenging case of targets with voids. The computed electrical conductivity serves for reliably distinguishing conductive and non-conductive objects. The global convergence of our numerical procedure is shortly revisited.

math.NA↗

arXiv2020

Convexification and experimental data for a 3D inverse scattering problem with the moving point source

Inverse scattering problems of the reconstructions of physical properties of a medium from boundary measurements are substantially challenging ones. This work aims to verify the performance on experimental data of a newly developed convexification method for a 3D coefficient inverse problem for the case of objects buried in a sandbox a fixed frequency and the point source moving along an interval of a straight line. Using a special Fourier basis, the method of this work strongly relies on a new derivation of a boundary value problem for a system of coupled quasilinear elliptic equations. This problem, in turn, is solved via the minimization of a Tikhonov-like functional weighted by a Carleman Weight Function. The global convergence of the numerical procedure is established analytically. The numerical verification is performed using experimental data, which are raw backscatter data of the electric field. These data were collected using a microwave scattering facility at The University of North Carolina at Charlotte.

math.NA↗

arXiv2020

On a pore-scale stationary diffusion equation: scaling effects and correctors for the homogenization limit

In this paper, we consider a microscopic semilinear elliptic equation posed in periodically perforated domains and associated with the Fourier-type condition on internal micro-surfaces. The first contribution of this work is the construction of a reliable linearization scheme that allows us, by a suitable choice of scaling arguments and stabilization constants, to prove the weak solvability of the microscopic model. Asymptotic behaviors of the microscopic solution with respect to the microscale parameter are thoroughly investigated in the second theme, based upon several cases of scaling. In particular, the variable scaling illuminates the trivial and non-trivial limits at the macroscale, confirmed by certain rates of convergence. Relying on classical results for homogenization of multiscale elliptic problems, we design a modified two-scale asymptotic expansion to derive the corresponding macroscopic equation, when the scaling choices are compatible. Moreover, we prove the high-order corrector estimates for the homogenization limit in the energy space $H^1$, using a large amount of energy-like estimates. A numerical example is provided to corroborate the asymptotic analysis.

math.AP↗

arXiv2020

Convexification for a 3D inverse scattering problem with the moving point source

For the first time, we develop in this paper the globally convergent convexification numerical method for a Coefficient Inverse Problem for the 3D Helmholtz equation for the case when the backscattering data are generated by a point source running along an interval of a straight line and the wavenumber is fixed. Thus, by varying the wavenumber, one can reconstruct the dielectric constant depending not only on spatial variables but the wavenumber (i.e. frequency) as well. Our approach relies on a new derivation of a boundary value problem for a system of coupled quasilinear elliptic partial differential equations. This is done via an application of a special truncated Fourier-like method. First, we prove the Lipschitz stability estimate for this problem via a Carleman estimate. Next, using the Carleman Weight Function generated by that estimate, we construct a globally strictly convex cost functional and prove the global convergence to the exact solution of the gradient projection method. Finally, our theoretical finding is verified via several numerical tests with computationally simulated data. These tests demonstrate that we can accurately recover all three important components of targets of interest: locations, shapes and dielectric constants. In particular, large target/background contrasts in dielectric constants (up to 10:1) can be accurately calculated.

math.NA↗

arXiv2020

Constructing a variational quasi-reversibility method for a Cauchy problem for elliptic equations

In the recent developments of regularization theory for inverse and ill-posed problems, a variational quasi-reversibility (QR) method has been designed to solve a class of time-reversed quasi-linear parabolic problems. Known as a PDE-based approach, this method relies on adding a suitable perturbing operator to the original problem and consequently, on gaining the corresponding fine stabilized operator, which leads us to a forward-like problem. In this work, we establish new conditional estimates for such operators to solve a prototypical Cauchy problem for elliptic equations. This problem is based on the stationary case of the inverse heat conduction problem, where one wants to identify the heat distribution in a certain medium, given the partial boundary data. Using the new QR method, we obtain a second-order initial value problem for a wave-type equation, whose weak solvability can be deduced using a priori estimates and compactness arguments. Weighted by a Carleman-like function, a new type of energy estimates is explored in a variational setting when we investigate the Hölder convergence rate of the proposed scheme. Besides, a linearized version of this scheme is analyzed. Numerical examples are provided to corroborate our theoretical analysis.

math.NA↗

arXiv2018

Analysis of a quasi-reversibility method for a terminal value quasi-linear parabolic problem with measurements

This paper presents a modified quasi-reversibility method for computing the exponentially unstable solution of a nonlocal terminal-boundary value parabolic problem with noisy data. Based on data measurements, we perturb the problem by the so-called filter regularized operator to design an approximate problem. Different from recently developed approaches that consist in the conventional spectral methods, we analyze this new approximation in a variational framework, where the finite element method can be applied. To see the whole skeleton of this method, our main results lie in the analysis of a semi-linear case and we discuss some generalizations where this analysis can be adapted. As is omnipresent in many physical processes, there is likely a myriad of models derived from this simpler case, such as source localization problems for brain tumors and heat conduction problems with nonlinear sinks in nuclear science. With respect to each noise level, we benefit from the Faedo-Galerkin method to study the weak solvability of the approximate problem. Relying on the energy-like analysis, we provide detailed convergence rates in $L^2$-$H^1$ of the proposed method when the true solution is sufficiently smooth. Depending on the dimensions of the domain, we obtain an error estimate in $L^{r}$ for some $r>2$. Proof of the backward uniqueness for the quasi-linear system is also depicted in this work. To prove the regularity assumptions acceptable, several physical applications are discussed.

math.NA↗

arXiv2018

Existence, blow-up and exponential decay of solutions for a porous-elastic system with damping and source terms

In this paper we consider a porous-elastic system consisting of nonlinear boundary/interior damping and nonlinear boundary/interior sources. Our interest lies in the theoretical understanding of the existence, finite time blow-up of solutions and their exponential decay using non-trivial adaptations of well-known techniques. First, we apply the conventional Faedo-Galerkin method with standard arguments of density on the regularity of initial conditions to establish two local existence theorems of weak solutions. Moreover, we detail the uniqueness result in some specific cases. In the second theme, we prove that any weak solution possessing negative initial energy has the latent blow-up in finite time. Finally, we obtain the so-called exponential decay estimates for the global solution under the construction of a suitable Lyapunov functional. In order to corroborate our theoretical decay, a numerical example is provided.

math.AP↗

arXiv2018

Uniqueness result for an age-dependent reaction-diffusion problem

This paper is concerned with an age-structured model in population dynamics. We investigate the uniqueness of solution for this type of nonlinear reaction-diffusion problem when the source term depends on the density, indicating the presence of, for example, mortality and reaction processes. Our result shows that in a spatial environment, if two population densities obey the same evolution equation and possess the same terminal data of time and age, then their distributions must coincide therein.

math.AP↗