Inverse Hyperbolic Problems with Time-Dependent Coefficients

We consider the inverse problem for the second order self-adjoint hyperbolic equation in a bounded domain in R ⁿ with lower order terms depending analytically on the time variable. We prove that, assuming the BLR condition, the time-dependent Dirichlet-to-Neumann operator prescribed on a part of the boundary uniquely determines the coefficients of the hyperbolic equation up to a diffeomorphism and a gauge transformation. As a by-product we prove a similar result for the nonself-adjoint hyperbolic operator with time-independent coefficients.     

Uniqueness and stability in multidimensional hyperbolic inverse problems

Under a weak regularity assumption, we prove the uniqueness in multidimensional hyperbolic inverse problems with a single measurement. Moreover we show that our uniqueness results yield the best possible Lipschitz stability in L²-space in the inverse problems by means of the exact observability inequality.     

Carleman estimate for a stationary isotropic Lamé system and the applications

For the isotropic stationary Lamé system with variable coefficients equipped with the Dirichlet or surface stress boundary condition, we obtain a Carleman estimate such that (i) the right hand side is estimated in a weighted L ²-space and (ii) the estimate includes nonhomogeneous surface displacement or surface stress. Using this estimate we establish the conditional stability in Sobolev's norm of the displacement by means of measurements in an arbitrary subdomain or measurements of surface displacement and stress on an arbitrary subboundary. Finally by the Carleman estimate, we prove the uniqueness and conditional stability for an inverse problem of determining a source term by a single interior measurement.     

Carleman estimate for Biot consolidation system in poro‐elasticity and application to inverse problems

In this paper, we consider a coupled system of mixed hyperbolic–parabolic type, which describes the Biot consolidation model in poro‐elasticity. We establish a local Carleman estimate for Biot consolidation system. Using this estimate, we prove the uniqueness and a Hölder stability in determining on the one hand a physical parameter arising in connection with secondary consolidation effects λ^? and on the other hand the two spatially varying densities by a single measurement of solution over ω × (0,T), where T > 0 is a sufficiently large time and a suitable subdomain ω satisfying ?ω??Ω. Copyright © 2016 John Wiley & Sons, Ltd.     

Global Uniqueness and Stability for a Class of Multidimensional Inverse Hyperbolic Problems with Two Unknowns

In this paper we obtain the global uniqueness and stability estimate for a class of multidimensional inverse hyperbolic problems of determining a source term and an initial value from a single measurement of boundary values or interior values. By means of a suitable transformation, we reduce the problem to the observability inequalities for nonconservative hyperbolic equations with memory. Then, using a compactness/uniqueness argument, we can prove the uniqueness and the stability by a new kind of unique continuation property of a nonlocal hyperbolic equation.     

Uniqueness and stable determination in the inverse Robin transmission problem with one electrostatic measurement

In this paper, we consider the inverse Robin transmission problem with one electrostatic measurement. We prove a uniqueness result for the simultaneous determination of the Robin parameter p, the conductivity k, and the subdomain D, when D is a ball. When D and k are fixed, we prove a uniqueness result and a directional Lipschitz stability estimate for the Robin parameter p. When p and k are fixed, we give an upper bound to the subdomain D. For the reconstruction purposes of the Robin parameter p, we set the inverse problem under an optimization form for a Kohn–Vogelius cost functional. We prove the existence and the stability of the optimization problem. Finally, we show some numerical experiments that agree with the theoretical considerations. Copyright © 2013 John Wiley & Sons, Ltd.     

Recovering of Damping Coefficients for a System of Coupled Wave Equations with Neumann Boundary Conditions: Uniqueness and Stability

The authors study the inverse problem of recovering damping coefficients for two coupled hyperbolic PDEs with Neumann boundary conditions by means of an additional measurement of Dirichlet boundary traces of the two solutions on a suitable, explicit subportion Γ1 of the boundary Γ, and over a computable time interval T > 0. Under sharp conditions on Γ0 = ΓnΓ1, T > 0, the uniqueness and stability of the damping coefficients are established. The proof uses critically the Carleman estimate due to Lasiecka et al. in 2000, together with a convenient tactical route “post-Carleman estimates” suggested by Isakov in 2006.     

Solvability of an inverse problem for discontinuous Sturm–Liouville operators

In this paper, we consider the Sturm–Liouville equation with the jump conditions inside the interval (0,π). The inverse problem is studied, which consists in recovering operator coefficients from two spectra, corresponding to different boundary conditions. We prove the uniqueness theorem and provide necessary and sufficient conditions for solvability of the inverse problem. We also obtain the oscillation theorem for the eigenfunctions of the considered discontinuous boundary value problem.     

A global in time existence and uniqueness result for an integrodifferential hyperbolic inverse problem with memory effect

We consider an inverse problem for a one-dimensional integrodifferential hyperbolic system, which comes from a simplified model of thermoelasticity. This inverse problem aims to identify the displacement u, the temperature η and the memory kernel k simultaneously from the weighted measurement data of temperature. By using the fixed point theorem in suitable Sobolev spaces, the global in time existence and uniqueness results of this inverse problem are obtained. Moreover, we prove that the solution to this inverse problem depends continuously on the noisy data in suitable Sobolev spaces. For this nonlinear inverse problem, our theoretical results guarantee the solvability for the proposed physical model and the well-posedness for small measurement time τ, which is quite different from general inverse problems.     

Uniqueness via the adjoint problems for systems of conservation laws

We prove a result of uniqueness of the entropy weak solution to the Cauchy problem for a class of nonlinear hyperbolic systems of conservation laws that includes in particular the p-system of isentropic gas dynamics. Our result concerns weak solutions satisfying the, as we call it, Wave Entropy Condition, or WEC for short, introduced in this paper. The main feature of this condition is that it concerns both shock waves and rarefaction waves present in a solution. For the proof of uniqueness, we derive an existence result (respectively a uniqueness result) for the backward (respectively forward) adjoint problem associated with the nonlinear system. Our method also applies to obtain results of existence or uniqueness for some linear hyperbolic systems with discontinuous coefficients. © 1993 John Wiley & Sons, Inc.     

Carleman estimate for a strongly damped wave equation and applications to an inverse problem

In this paper, we establish a Carleman estimate for a strongly damped wave equation in order to solve a coefficient inverse problems of retrieving a stationary potential from a single time‐dependent Neumann boundary measurement on a suitable part of the boundary. This coefficient inverse problem is for a strongly damped wave equation. We prove the uniqueness and the local stability results for this inverse problem. The proof of the results relies on Carleman estimate and a certain energy estimates for hyperbolic equation with strongly damped term. Moreover, this method could be used for a similar inverse problem for an integro‐differential equation with hyperbolic memory kernel. Copyright © 2012 John Wiley & Sons, Ltd.     

TV‐like regularization for backward parabolic problems

This paper investigates an inverse problem for parabolic equations backward in time, which is solved by total‐variation‐like (TV‐like, in abbreviation) regularization method with cost function ∥u_x∥². The existence, uniqueness and stability estimate for the regularization problem are deduced in the linear case. For numerical illustration, the variational adjoint method, which presents a simple method to derive the gradient of the optimization functional, is introduced to reconstruct the unknown initial condition for both linear and nonlinear parabolic equations. The conjugate gradient method is used to iteratively search for the optimal approximation. Numerical results validate the feasibility and effectiveness of the proposed algorithm. Copyright © 2016 John Wiley & Sons, Ltd.     

The Inverse Problem of Simultaneous Determination of the Two Time-Dependent Lower Coefficients in a Nondivergent Parabolic Equation in the Plane

We prove existence and uniqueness theorems for the solution of the inverse problem of simultaneous determination of the t-dependent coefficients of u and u_x in a nondivergent parabolic equation with two independent variables from integral observation of x. Estimates of the maxima of the moduli of these coefficients with constants explicitly expressed in terms of the input data of the problem are given. An example of an inverse problem to which the proved theorems apply is presented.

     

Uniqueness of solutions to inverse Sturm–Liouville problems with potential using three spectra

The uniqueness of solutions to two inverse Sturm–Liouville problems using three spectra is proven, based on the uniqueness of the solution-pair to an overdetermined Goursat–Cauchy boundary value problem. We discuss the uniqueness of the potential for a Dirichlet boundary condition at an arbitrary interior node, and for a Robin boundary condition at an arbitrary interior node, whereas at the exterior nodes we have Dirichlet boundary conditions in both situations. Here we are particularly concerned with potential functions that are L²(0,a).     

The Generalized Riemann Problem for First Order Quasilinear Hyperbolic Systems of Conservation Laws II

In this paper, we are concerned with the existence and uniqueness of the local solution to the generalized Riemann problem for first order quasi-linear hyperbolic systems of conservation laws in the presence of the shock wave with large amplitude and the centered wave. Apart from some exceptions, we prove the problem admits a unique piecewise smooth solution u=u(t,x), and this solution has a structure similar to the similarity solution u=u(x/t) of the corresponding Riemann problem in the neighborhood of the origin, provided that the coefficients of the system and the initial conditions are sufficiently smooth. The application of our results in rich system is also given.     

An inverse contact problem in the theory of elasticity

In this paper, we discuss an inverse problem in elasticity for determining a contact domain and stress on this domain. We show that this problem is an ill‐posed problem, and we establish the uniqueness and L²‐conditional stability estimation for the stress. Copyright © 1999 John Wiley & Sons, Ltd.     

On the uniqueness problems of meromorphic functions and their linear differential polynomials

In the paper, we investigate the uniqueness problem of a transcendental meromorphic function f that shares a rational function with its first derivative f^′, together with its linear differential polynomials of constant coefficients.     

Initial value problem and relaxation limits of the hamer model for radiating gases in several space variables

We study the initial value problem for a hyperbolic-elliptic coupled system with L ^∞ initial data. We prove global-in-time existence and uniqueness for that model by means of contraction and comparison properties. Moreover, after suitable scalings, we analyze both the hyperbolic–hyperbolic and the hyperbolic–parabolic relaxation limits for the model itself.     

一维介质双参数反演的适定性分析

考虑一维波动方程模型下重建不均匀介质的密度ｐ（ｚ）和吸收系数ａ（ｚ）的反问题。首先将其化为一阶双曲方程组低阶项系数重建的问题,借助于方程组基本解的技术,将原反问题的附加信息（反射数据ｆ（ｔ）和透射数据ｇ（ｔ）转化到基本解上,得到一个新的反问题。对此问题,借助于本文发展起来的逐层递推方法,利用不动点技术,证明了大范围内解的唯一性。本文的结果使得反演计算不再局限于在小的区间上进行,这对多参数的数值反演     

Nonsmooth eigenfunctions in problems of mathematical physics

We study whether V.A. Il’in’s method for proving the uniqueness of the solution of a mixed problem for a hyperbolic equation applies to a problem with transmission conditions in the interior of the interval. We show that the system of eigenfunctions corresponding to this problem is complete in the space L ²(0, l) and is a Riesz basis in this space.