Searcharxiv⌕ Search

arXiv subjects

Ru-Yu Lai

Publications and source records attributed to Ru-Yu Lai.

At least 19 recordsLinked to original sources
arXiv2026

The BGK model with in-flow boundary condition: forward and inverse problems

We study the Bhatnagar-Gross-Krook (BGK) equation in a bounded domain with in-flow boundary condition. The BGK model is a simple relaxation of the Boltzmann equation through replacing the quadratic nonlinearity by the so-called local Maxwellian, which consists of the density, the velocity, and the temperature. The aim of this paper is twofold. First, we establish the Dirichlet boundary value problem for the BGK equation by showing a local existence result in the weighted $L^\infty$ norm if the initial data and boundary condition are close to the global Maxwellian. For the purpose of studying the inverse problem, we further derive an expansion of the BGK solution with respect to a small parameter. This allows us to decompose the nonlinear BGK into purely linear transport equations based on various order of the expansion. Second, we investigate an inverse problem of determining a general collision frequency, depending on both density and temperature, in the BGK equation from the boundary measurement operator, which maps from the in-flow boundary data to the out-flow data. We apply highly concentrated in-flow test data to the solution of the resulting linearized BGK equations to extract hidden information of the collision frequency.

math.AP↗
arXiv2025

The higher-order fractional Schr\"odinger equation with nonlinear local perturbations: Uniqueness

We study the higher-order fractional Schr\"odinger equation with local nonlinear perturbations and investigate both the forward and inverse problems. We establish both the Sobolev $H^s$ and H\"older $C^s$ estimates for the well-posedness of the nonlinear problem, based on the corresponding estimates derived for the linear fractional Schr\"odinger equation. For the inverse problem, we show that the local nonlinear perturbations can be uniquely determined from the Dirichlet-to-Neumann map, by using the higher-order linearization and the unique continuation property of the fractional Laplace operator.

math.AP↗
arXiv2025

Entanglement principle and fractional Calder\'on problem for nonlocal parabolic operators

We examine inverse problems for the variable-coefficient nonlocal parabolic operator $(\partial_t - \Delta_g)^s$, where $0 < s < 1$. This article makes two primary contributions. First, we introduce a novel entanglement principle for these operators under suitable smoothness conditions. Second, we prove that lower-order perturbations can be uniquely determined from the associated Dirichlet-to-Neumann map using this principle. However, due to insufficient solution regularity, direct application of the entanglement principle to the inverse problem is not feasible. To address this, we derive a modified entanglement principle, enabling the effective resolution of related inverse problems.

math.AP↗
arXiv2024

Partial data inverse problems for the nonlinear magnetic Schr\"odinger equation

In this paper, we study the partial data inverse problem for nonlinear magnetic Schr\"odinger equations. We show that the knowledge of the Dirichlet-to-Neumann map, measured on an arbitrary part of the boundary, determines the time-dependent linear coefficients, electric and magnetic potentials, and nonlinear coefficients, provided that the divergence of the magnetic potential is given. Additionally, we also investigate both the forward and inverse problems for the linear magnetic Schr\"odinger equation with a time-dependent leading term. In particular, all coefficients are uniquely recovered from boundary data.

math.AP↗
arXiv2024

Inverse problems for time-dependent nonlinear transport equations

In this work, we investigate inverse problems of recovering the time-dependent coefficient in the nonlinear transport equation in both cases: two-dimensional Riemannian manifolds and Euclidean space $\mathbb{R}^n$, $n\geq 2$. Specifically, it is shown that its initial boundary value problem is well-posed for small initial and incoming data. Moreover, the time-dependent coefficient appearing in the nonlinear term can be uniquely determined from boundary measurements as well as initial and final data. To achieve this, the central techniques we utilize include the linearization technique and the construction of special geometrical optics solutions for the linear transport equation. This allows us to reduce the inverse coefficient problem to the inversion of certain weighted light ray transforms. Based on the developed methodology, the inverse source problem for the nonlinear transport equation in the scattering-free media is also studied.

math.AP↗
arXiv2024

Reconstruction of the Doping Profile in Vlasov-Poisson

We study the inverse problem of recovering the doping profile in the stationary Vlasov-Poisson equation, given the knowledge of the incoming and outgoing measurements at the boundary of the domain. This problem arises from identifying impurities in the semiconductor manufacturing. Our result states that, under suitable assumptions, the doping profile can be uniquely determined through an asymptotic formula of the electric field that it generates.

math.AP↗
arXiv2023

Stable determination of time-dependent collision kernel in the nonlinear Boltzmann equation

We consider an inverse problem for the nonlinear Boltzmann equation with a time-dependent kernel in dimensions $n\ge 2$. We establish a logarithm-type stability result for the collision kernel from measurements under certain additional conditions. A uniqueness result is derived as an immediate consequence of the stability result. Our approach relies on second-order linearization, multivariate finite differences, as well as the stability of the light-ray transform.

math.AP↗
arXiv2023

Partial Data Inverse Problems for the Nonlinear Schr\"odinger Equation

In this paper we prove the uniqueness and stability in determining a time-dependent nonlinear coefficient $\beta(t, x)$ in the Schr\"odinger equation $(i\partial_t + \Delta + q(t, x))u + \beta u^2 = 0$, from the boundary Dirichlet-to-Neumann (DN) map. In particular, we are interested in the partial data problem, in which the DN-map is measured on a proper subset of the boundary. We show two results: a local uniqueness of the coefficient at the points where certain type of geometric optics (GO) solutions can reach; and a stability estimate based on the unique continuation property for the linear equation.

math.AP↗
arXiv2022

Recovery of coefficients in semilinear transport equations

We consider the inverse problem for time-dependent semilinear transport equations. We show that time-independent coefficients of both the linear (absorption or scattering coefficients) and nonlinear terms can be uniquely determined, in a stable way, from the boundary measurements by applying a linearization scheme and Carleman estimates for the linear transport equations. We establish results in both Euclidean and general geometry settings.

math.AP↗
arXiv2021

Single pixel X-ray transform and related inverse problems

In this paper, we analyze the nonlinear single pixel X-ray transform $K$ and study the reconstruction of $f$ from the measurement $Kf$. Different from the well-known X-ray transform, the transform $K$ is a nonlinear operator and uses a single detector that integrates all rays in the space. We derive stability estimates and an inversion formula of $K$. We also consider the case where we integrate along geodesics of a Riemannian metric. Moreover, we conduct several numerical experiments to corroborate the theoretical results.

math.AP↗
arXiv2021

Inverse transport and diffusion problems in photoacoustic imaging with nonlinear absorption

Motivated by applications in imaging nonlinear optical absorption by photoacoustic tomography (PAT), we study in this work inverse coefficient problems for a semilinear radiative transport equation and its diffusion approximation with internal data that are functionals of the coefficients and the solutions to the equations. Based on the techniques of first- and second-order linearization, we derive uniqueness and stability results for the inverse problems. For uncertainty quantification purpose, we also establish the stability of the reconstruction of the absorption coefficients with respect to the change in the scattering coefficient.

math.AP↗
arXiv2021

Inverse source problems in transport equations with external forces

This paper is concerned with the inverse source problem for the transport equation with external force. We show that both direct and inverse problems are uniquely solvable for generic absorption and scattering coefficients. In particular, for inverse problems, generic injectivity and a stability estimate of the source are derived. The analysis employs the Fredholm theorem and the Santalo's formula.

math.AP↗
arXiv2021

An Inverse Problem for Non-linear Fractional Magnetic Schrodinger Equation

In this paper, we study forward problem and inverse problem for the fractional magnetic Schrodinger equation with nonlinear electric potential. We first investigate the maximum principle for the linearized equation and apply it to show that the problem is well-posed under suitable assumptions on the exterior data. Moreover, we explore uniqueness of recovery of both magnetic and electric potentials.

math.AP↗
arXiv2020

Reconstruction of the emission coefficient in the nonlinear radiative transfer equation

In this paper, we investigate an inverse problem for the radiative transfer equation that is coupled with a heat equation in a nonscattering medium in $\mathbb{R}^n$, $n\geq 2$. The two equations are coupled through a nonlinear blackbody emission term that is proportional to the fourth power of the temperature. By measuring the radiation intensity on the surface of the blackbody, we prove that the emission property of the system can be uniquely reconstructed. In particular, we design a reconstruction procedure that uses merely one set of experiment setup to fully recover the emission parameter.

math.AP↗
arXiv2020

Global determination for an inverse problem from the vortex dynamics

We consider the problem of reconstructing a background potential from the dynamical behavior of vortex dipole. We prove that under suitable conditions, one can uniquely reconstruct a real-analytic potential by measuring the entrance and exit positions as well as travel times between boundary points. In particular, the work removes the flatness assumption on the potential from the earlier result. A key step of our method is a constructional procedure of recovering the boundary jet of the potential.

math.AP↗
arXiv2020

Partial Data Inverse Problems for Nonlinear Magnetic Schrödinger Equations

We prove that the knowledge of the Dirichlet-to-Neumann map, measured on a part of the boundary of a bounded domain in $\mathbb{R}^n, n\geq2$, can uniquely determine, in a nonlinear magnetic Schrödinger equation, the vector-valued magnetic potential and the scalar electric potential, both being nonlinear in the solution.

math.AP↗
arXiv2020

On diffusive scaling in acousto-optic imaging

Acousto-optic imaging (AOI) is a hybrid imaging process. By perturbing the to-be-reconstructed tissues with acoustic waves, one introduces the interaction between the acoustic and optical waves, leading to a more stable reconstruction of the optical properties. The mathematical model was described in [25], with the radiative transfer equation serving as the forward model for the optical transport. In this paper we investigate the stability of the reconstruction. In particular, we are interested in how the stability depends on the Knudsen number, Kn, a quantity that measures the intensity of the scattering effect of photon particles in a media. Our analysis shows that as Kn decreases to zero, photons scatter more frequently, and since information is lost, the reconstruction becomes harder. To counter this effect, devices need to be constructed so that laser beam is highly concentrated. We will give a quantitative error bound, and explicitly show that such concentration has an exponential dependence on Kn. Numerical evidence will be provided to verify the proof.

math.AP↗