arXiv subjects

Ching-Lung Lin

Publications and source records attributed to Ching-Lung Lin.

At least 19 recordsLinked to original sources

arXiv2026

An inverse source problem for a fully nonlinear elliptic equation

We study an inverse source problem for fully nonlinear elliptic equations of the form \[ F(D^2u)=f \quad \text{in } \Omega. \] The question is whether the source term can be recovered from the Dirichlet-to-Neumann map. In two dimensions, the first linearization does not immediately give uniqueness: it leaves a natural conformal ambiguity in the linearized coefficients. For homogeneous nonlinearities $F$ with injective differential $DF$, we show that this ambiguity has a precise meaning at the level of the equation itself, namely that the source is determined up to an explicit scalar factor. The main point of the paper is to show how this remaining factor can be removed. We use the second linearization to extract information which is invisible at first order, and combine it with an algebraic nondegeneracy condition on the nonlinearity. Under this condition, the residual ambiguity is forced to be trivial, and the Dirichlet-to-Neumann map uniquely determines the source. The result applies, in particular, to homogeneous admissible Hessian equations of Monge--Amp\`ere type and related examples.

math.AP↗

arXiv2026

Uniqueness of dynamic elastography for isotropic standard linear solid viscoelastic media

Dynamic elastography is a widely used, safe, convenient, and cost-effective method to aid in medical diagnosis. It visualizes the wave field propagating through living tissues and quantitatively determines the wave propagation speed from the acquired data, thereby enabling the extraction of the viscoelastic properties of in vivo tissues. Notably, this identification process relies on the mathematical modeling of the viscoelastic characteristics of living tissues. When living tissues are simply modeled as isotropic elastic media, J. McLaughlin and J. Yoon established the uniqueness of the identification in \cite{MY} by reasoning that they called the ``shrink and spread argument". Given the realistic viscoelastic nature of biological tissues, generalizing their results by adopting viscoelastic models is of great significance. In this paper, using their reasoning, we prove the uniqueness of identification for two typical viscoelastic media: the isotropic extended Maxwell model and the isotropic extended standard linear solid model. More precisely, we demonstrate that the shear wave speed within a region of interest $\Omega$ can be uniquely determined from a single measurement of the wave field in $\Omega$.

math.AP↗

arXiv2026

Explicit form of relaxation tensor for isotropic extended Burgers model and its spectral inversion

Concerning the anelastic nature of Earth, the quasi-static extended Burgers model (abbreviated by q-EBM), an integro-differential system, is used to study the free oscillation of Earth (abbreviated by FOE). In this paper, we first provide a general method to obtain an explicit form of the relaxation tensor for inhomogeneous isotropic q-EBM. Then, we apply it to compute the eigenvalues of the free oscillation of Earth, assuming that Earth is a unit ball modeled as a homogeneous and isotropic q-EBM. So far, an analytical and systematic way to compute the eigenvalues of the FOE has been missing when modeling Earth as a q-EBM. In particular, we compute some clusters of eigenvalues (abbreviated by C-ev's). To be more precise, integrating by parts with respect to time of the q-EBM under the assumption that the initial strain is zero, the q-EBM becomes the sum of two terms. The first term, called the instantaneous term, doesn't have any integration with respect to time, but the second term, called the memory term, has such an integration. Then, consider the eigenvalues of the instantaneous part of the q-EBM. The eigenfunctions of C-ev's share the same eigenfunctions of the instantaneous part. However, the C-ev's may be shifted from the eigenvalues of the instantaneous part. Further, we analyze the structure of C-ev's and provide an inversion formula identifying the q-EBM from the C-ev's.

math.AP↗

arXiv2025

Inverse spectral problem for glassy state relaxation approximated by Prony series

The stretched exponential relaxation function is used to analyze the relaxation of the glassy state data. Due to the singularity of this function at the origin, this function is inconvenient for data analysis. Concerning this, a Prony series approximation of the stretched exponential relaxation function (J. Mauro, Y. Mauro, 2018), which is the extended Burgers model (abbreviated by EBM) known for viscoelasticity equations, was introduced. In our previous paper [arXiv:2509.16714], we gave an inversion method to identify the relaxation tensor of the EBM using clustered eigenvalues of the quasi-static EBM. As a next important research subject of this study, we numerically examine the performance of the inversion method. The performance reveals that it is a powerful method of data analysis, analyzing the relaxation of the glassy state data.

math.NA↗

arXiv2025

Clustered eigenvalue problem for glassy state relaxation and its inverse problem

For computational convenience, a Prony series approximation of the stretched exponential relaxation function of homogeneous glasses has been proposed (J. Mauro, Y. Mauro, 2018), which is the extended Burgers model known for viscoelasticity equations. The authors of [P. Loreti and D. Sforza, 2019] initiated a spectral analysis of glass relaxation along this line, and gave some numerical results on clusters of eigenvalues. A theoretical justification of the results and development of further numerical studies were left open. In this paper, we provide a complete theoretical justification of their results and their numerical verification. Besides these, we solve an inverse spectral problem for clusters of eigenvalues associated with the glass relaxation.

math.AP↗

arXiv2024

Exact Boundary Controllability for Reduced System Associated to Extended Maxwell Systems

In the theory of viscoelasticity, an important class of models admits a representation in terms of springs and dashpots. Widely used members of this class are the Maxwell model and its extended version. The paper concerns about the exact boundary controllability (abbreviated by EBC) for the reduced system (abbreviated by RS) associated to the extended Maxwell model (EMM). The initial boundary value problem (abbreviated by IBP) with a mixed type boundary condition (abbreviated by MBC) in the absence of the exterior force is called the augmented system (abbreviated by AD system). Here, the MBC consists of a homogeneous displacement boundary condition and inhomogeneous traction boundary condition with a boundary control. The RS is a closed subsystem inside the AD system (see Section \ref{sec1} for the details of the EMM and the RS). For the RS, we consider the IBP for the associated AD system. By using a dissipative structure of the RS in relation with the AD system, we will prove the EBC for the RS by a modified version of Russell's principle. Also, as an application of this EBC, we will show a partial boundary controllability (abbreviated by PBC) for the Boltzmann type viscoelastic system of equations (abbreviated by BVS) associated to the EMM. That is, for a large enough time $T>0$ and any pair of given speeds $(v_0, v_1)$, there is a boundary control which steers to have $v(0)=v^0,\,v(t)=v^1$, where $v(t)=\partial_t u(t)$ is the speed of the displacement vector $u(t)$ of BVS at time $t$.

math.AP↗

arXiv2024

Anisotropic extended Burgers model, its relaxation tensor and properties of the associated Boltzmann viscoelastic system

We provide a new method for constructing the anisotropic relaxation tensor and proving its exponential decay property for the extended Burgers model (abbreviated by EBM). The EBM is an important viscoelasticity model in rheology, and used in Earth and planetary sciences. Upon having this tensor, the EBM can be converted to a Boltzmann-type viscoelastic system of equations (abbreviated by BVS). Historically, the relaxation tensor for the EBM is derived by solving the constitutive equation using the Laplace transform. (We refer to this approach by the L-method.) Since inverting the inverse Laplace transform needs a partial fractions expansion, the L-method needs to assume that the EBM elasticity tensors satisfy a commutivity condition. The new method not only avoids this condition but also enables obtaining several important properties of the relaxation tensor, including its positivity, smoothness with respect to the time variable, its exponential decay property together with its derivative, and its causality. Furthermore, we show that the BVS converted from the EBM has the exponential decay property. That is, any solution for its initial boundary value problem with homogeneous boundary data and source decays exponentially as time tends to infinity.

math.AP↗

arXiv2023

Resolvent Estimates for Viscoelastic Systems of Extended Maxwell Type and their Applications

In the theory of viscoelasticity, an important class of models admits a representation in terms of springs and dashpots. Widely used members of this class are the Maxwell model and its extended version. This paper concerns resolvent estimates for the system of equations for the anisotropic, extended Maxwell model, abbreviated as the EMM, and its marginal realization which includes an inertia term; special attention is paid to the introduction of augmented variables. This leads to the augmented system that will also be referred to as the "original" system. A reduced system is then formed which encodes essentially the EMM; it is a closed system with respect to the particle velocity and the difference between the elastic and viscous strains. Based on resolvent estimates, it is shown that the original and reduced systems generate $C_0$-groups and the reduced system generates a $C_0$-semigroup of contraction. Naturally, the EMM can be written in integrodifferential form leading explicitly to relaxation and a viscoelastic integro-differential system. However, there is a difference between the original and integrodifferential systems, in general, with consequences for whether their solutions generate semigroups or not. Finally, an energy estimate is obtained for the reduced system, and it is proven that its solutions decay exponentially as time tends to infinity. The limiting amplitude principle follows readily from these two results.

math.AP↗

arXiv2023

The Calder\'{o}n problem for nonlocal parabolic operators: A new reduction from the nonlocal to the local

In this article, we investigate the Calder\'on problem for nonlocal parabolic equations, where we are interested to recover the leading coefficient of nonlocal parabolic operators. The main contribution is that we can relate both (anisotropic) variable coefficients local and nonlocal Calder\'on problem for parabolic equations. More concretely, we show that the (partial) Dirichlet-to-Neumann map for the nonlocal parabolic equation determines the (full) Dirichlet-to-Neumann map for the local parabolic equation. This article extends our earlier results [LLU22] by using completely different methods. Moreover, the results hold for any spatial dimension $n\geq 2$.

math.AP↗

arXiv2023

Uniform Decaying Property of Solutions for Anisotropic Viscoelastic Systems

The paper concerns about the uniform decaying property (abbreviated by UDP) of solutions for an anisotropic viscoelastic system in the form of integrodifferential system (abbreviated by VID system) with mixed type boundary condition. The mixed type condition consists of the homogeneous displacement boundary condition and a homogeneous traction boundary condition or with a dissipation. By using a dissipative structure of this system, we will prove the UDP in a unified way for the two cases, which are, when the time derivative of relaxation tensor decays with polynomial order and it decays with exponential order.

math.AP↗

arXiv2023

Strong uniqueness principle for fractional polyharmonic operators and applications to inverse problems

In this work, we are concerned with inverse problems involving poly-fractional operators, where the poly-fractional operator is of the form \[P( (-\Delta_g)^s)u := \sum_{i=1}^M \alpha_i(-\Delta_{g_i})^{s_i}u\] for $s=(s_1,\dots,s_M)$, $0<s_1<\cdots<s_M<\infty$, $s_M\in\mathbb{R}_+\backslash\mathbb{Z}$, $g=(g_1,\dots,g_M)$. There are three major contributions in this work that are new to the literature. First, we propose equations involving such poly-fractional operators $P$, which have not been previously considered in the general setting. Such equations arise naturally from the superposition of multiple stochastic processes with different scales, including classical random walks and L\'evy flights. Secondly, we give novel results for the unique continuation properties for fractional polyharmonic $u$, in the sense that $u$ satisfies $\tilde{P}((-\Delta_{\tilde{g}})^{\tilde{s}})=0$ in a bounded Lipschitz domain $\Omega$ for some $\tilde{P}$. With these results in hand, we consider the inverse problems for $P$, and proved the uniqueness in recovering the potential, the source function in the semilinear case, and the coefficients associated to the non-isotropy of the fractional operator.

math.AP↗

arXiv2022

The Calder\'{o}n problem for nonlocal parabolic operators

We investigate inverse problems in the determination of leading coefficients for nonlocal parabolic operators, by knowing the corresponding Cauchy data in the exterior space-time domain. The key contribution is that we reduce nonlocal parabolic inverse problems to the corresponding local inverse problems with the lateral boundary Cauchy data. In addition, we derive a new equation and offer a novel proof of the unique continuation property for this new equation. We also build both uniqueness and non-uniqueness results for both nonlocal isotropic and anisotropic parabolic Calder\'on problems, respectively.

math.AP↗

arXiv2022

Local recovery of a piecewise constant anisotropic conductivity in EIT on domains with exposed corners

We study the local recovery of an unknown piecewise constant anisotropic conductivity in EIT (electric impedance tomography) on certain bounded Lipschitz domains $\Omega$ in $\mathbb{R}^2$ with corners. The measurement is conducted on a connected open subset of the boundary $\partial\Omega$ of $\Omega$ containing corners and is given as a localized Neumann-to-Dirichlet map. The above unknown conductivity is defined via a decomposition of $\Omega$ into polygonal cells. Specifically, we consider a parallelogram-based decomposition and a trapezoid-based decomposition. We assume that the decomposition is known, but the conductivity on each cell is unknown. We prove that the local recovery is almost surely true near a known piecewise constant anisotropic conductivity $\gamma_0$. We do so by proving that the injectivity of the Fr\'echet derivative $F'(\gamma_0)$ of the forward map $F$, say, at $\gamma_0$ is almost surely true. The proof presented, here, involves defining different classes of decompositions for $\gamma_0$ and a perturbation or contrast $H$ in a proper way so that we can find in the interior of a cell for $\gamma_0$ exposed single or double corners of a cell of $\mbox{supp}H$ for the former decomposition and latter decomposition, respectively. Then, by adapting the usual proof near such corners, we establish the aforementioned injectivity.

math.AP↗

arXiv2021

Classical unique continuation property for multi-terms time fractional diffusion equations

As for the unique continuation property (UCP) of solutions in $(0,T)\times\Omega$ with a domain $\Omega\subset{\mathbb R}^n,\,n\in{\mathbb N}$ for a multi-terms time fractional diffusion equation, we have already shown it by assuming that the solutions are zero for $t\le0$ (see \cite{LN2019}). Here the strongly elliptic operator for this diffusion equation can depend on time and the orders of its time fractional derivatives are in $(0,2)$. This paper is a continuation of the previous study. The aim of this paper is to drop the assumption that the solutions are zero for $t\le0$. We have achieved this aim by first using the usual Holmgren transformation together with the argument in \cite{LN2019} to derive the UCP in $(T_1,T_2)\times B_1$ for some $0<T_1<T_2<T$ and a ball $B_1\subset\Omega$. Then if $u$ is the solution of the equation with $u=0$ in $(T_1,T_2)\times B_1$, we show $u=0$ also in $((0,T_1]\cup[T_2,T))\times B_r$ for some $r<1$ by using the argument in \cite{LN2019} which uses two Holmgren type transformations different from the usual one. This together with spatial coordinates transformation, we can obtain the usual UCP which we call it the classical UCP given in the title of this paper for our time fractional diffusion equation.

math.AP↗

arXiv2017

Unique continuation property for multi-terms time fractional diffusion equations

A Carleman estimate and the unique continuation property of solutions for a multi-terms time fractional diffusion equation up to order $\alpha\,\,(0<\alpha<2)$ and general time dependent second order strongly elliptic time elliptic operator for the diffusion. The estimate is derived via some subelliptic estimate for an operator associated to this equation using calculus of pseudo-differential operators. A special Holmgren type transformation which is linear with respect to time is used to show the local unique continuation of solutions. We developed a new argument to derive the global unique continuation of solutions. Here the global unique continuation means as follows. If u is a solution of the multi-terms time fractional diffusion equation in a domain over the time interval $(0,T)$, then a zero set of solution over a subdomain of $\Omega$ can be continued to $(0,T)\times\Omega$.

math.AP↗

arXiv2015

Doubling inequalities for the Lam\'e system with rough coefficients

In this paper we study the local behavior of a solution to the Lam\'e system when the Lam\'e coefficients $\lambda$ and $\mu$ satisfy that $\mu$ is Lipschitz and $\lambda$ is essentially bounded in dimension $n\ge 2$. One of the main results is the \emph{local} doubling inequality for the solution of the Lam\'e system. This is a quantitative estimate of the strong unique continuation property. Our proof relies on Carleman estimates with carefully chosen weights. Furthermore, we also prove the \emph{global} doubling inequality, which is useful in some inverse problems.

math.AP↗

arXiv2013

Carleman estimate and its application for anomalous slow diffusion equation

A Carleman estimate and the unique continuation of solutions for an anomalous diffusion equation with fractional time derivative of order $0<\alpha<1$ are given. The estimate is derived via some subelliptic estimate for an operator associated to the anomalous diffusion equation using calculus of pseudo-differential operators.

math.AP↗

arXiv2013

Quantitative uniqueness estimates for the general second order elliptic equations

In this paper we study quantitative uniqueness estimates of solutions to general second order elliptic equations with magnetic and electric potentials. We derive lower bounds of decay rate at infinity for any nontrivial solution under some general assumptions. The lower bounds depend on asymptotic behaviors of magnetic and electric potentials. The proof is carried out by the Carleman method and the bootstrapping arguments.

math.AP↗