Uniqueness and stability in determining the speed of propagation of second-order hyperbolic equation with variable coefficients

One of the basic inverse problems in an anisotropic media is the determination of coefficients in a bounded domain with a single measurement. We consider the problem of finding the coefficient of the second derivatives in a second-order hyperbolic equation with variable coefficients.

Under a weak regularity assumption and a geometrical condition on the metric, we prove the uniqueness in a multidimensional hyperbolic inverse problem with a single measurement. Moreover we show that our uniqueness results yield the Lipschitz stability estimate in L ² space for solution to the inverse problem under consideration.     

Global Uniqueness and Stability for an Inverse Plate Problem

This paper deals with the global uniqueness and stability of an inverse problem for the plate equation. By means of a suitable transformation, the problem is reduced to the observability estimate for the plate equations with memory. The main tool that we employ is a global Carleman-type estimate. This work was supported by FANEDD of China Project 200119 and by NSFC under Grant 10371084. The author thanks Professor X. Zhang for help.     

A Carleman estimate for the linear magnetoelastic waves system and an inverse source problem in a bounded conductive medium

ABSTRACT

In this paper, we consider an inverse problem for the simultaneous diffusion process of elastic and electromagnetic waves in an isotropic heterogeneous elastic body which is identified with an open bounded domain. From the mathematical point of view, the system under consideration can be viewed as the coupling between the hyperbolic system of elastic waves and a parabolic system for the magnetic field. We study an inverse problem of determining the external source terms by observations data in a neighborhood of the boundary and we prove the Hölder stability. For the proof, we show a Carleman estimate for the displacement and the magnetic field of the magnetoelastic system.     

The Carleman formula for the Helmholtz equation on the plane

We consider the Cauchy problem for the Helmholtz equation in an arbitrary bounded planar domain with Cauchy data only on part of the boundary of the domain. We derive a Carleman-type formula for a solution to this problem and give a conditional stability estimate.     

Cauchy Problem for General Rst Order Inhomogeneous Quasilinear Hyperbolic Systems

In this paper, we consider Cauchy problem for general first order inho- mogeneous quasilinear strictly hyperbolic systems. Under the matching condition, we first give an estimate on inhomogeneous terms. By this estimate, we obtain the asymptotic behaviour for the life-span of C¹ solutions with “slowly” decaying and small initial data and prove that the formation of singularity is due to the envelope of characteristics of the same family.     

The linear sampling method for anisotropic media

We consider the inverse scattering problem of determining the support of an anisotropic inhomogeneous medium from a knowledge of the incident and scattered time harmonic acoustic wave at fixed frequency. To this end, we extend the linear sampling method from the isotropic case to the case of anisotropic medium. In the case when the coefficients are real we also show that the set of transmission eigenvalues forms a discrete set.     

On solving the second basic three-element boundary-value Carleman-type problem in classes of bianalytic functions in a disk

In this paper, we investigate one of the basic Carleman-type boundary-value problems for bianalytic functions. We obtain a constructive method for solving the problem in the case of circular domain. We establish that solving the problem can be reduced to a sequential solving two generalized Carleman-type problems for analytic functions in a disk. __________ Translated from Lietuvos Matematikos Rinkinys, Vol. 46, No. 3, pp. 413–426, July–September, 2006.     

Recovery of the unknown coefficients in a two-dimensional hyperbolic equation

In this paper, an inverse boundary value problem for a two-dimensional hyperbolic equation with overdetermination conditions is studied. To investigate the solvability of the original problem, we first consider an auxiliary inverse boundary value problem and prove its equivalence to the original problem in a certain sense. We then use the Fourier method to reduce such an equivalent problem to a system of integral equations. Furthermore, we prove the existence and uniqueness theorem for the auxiliary problem by the contraction mappings principle. Based on the equivalency of these problems, the existence and uniqueness theorem for the classical solution of the original inverse problem is proved. Some discussions on the numerical solutions for this inverse problem are presented including some numerical examples.     

Persistence of Hyperbolic Tori in Generalized Hamiltonian Systems

In this paper we prove the persistence of hyperbolic invariant tori in generalized Hamiltonian systems, which may admit a distinct number of action and angle variables. The systems under consideration can be odd dimensional in tangent direction. Our results generalize the well-known results of Graff and Zehnder in standard Hamiltonians. In our case the unperturbed Hamiltonian systems may be degenerate. We also consider the persistence problem of hyperbolic tori on sub manifolds.     

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.     

An existence theorem for an inverse problem for a semilinear hyperbolic system

In the present paper, we consider a semilinear hyperbolic system with coefficients depending on different solution components. We study the inverse problem of finding one of the coefficients on the basis of additional information on the solution. The proof of the existence theorem for the inverse problem is based on the reduction of the latter to a nonlinear operator equation, which is a nonlinear integro-differential equation for the unknown coefficient. This approach was used in [1] to prove the existence of a solution of the inverse problem for a quasilinear hyperbolic equation. Inverse problems for quasilinear hyperbolic equations and systems were also considered in [2–6] and other papers.Translated from Differentsialnye Uravneniya, Vol. 40, No. 9, 2004, pp. 1155–1165.Original Russian Text Copyright © 2004 by Denisov.     

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.     

Un résultat de stabilité pour la récupération d'un paramètre du système de la viscoélasticité 3D

In this Note, we prove a Carleman's estimate for the integro-differential hyperbolic system of the viscoelasticity problem and we use this estimate to obtain a stability result for the inverse problem of recovering a viscoelastic coefficient from a unique internal measure. To cite this article: M. de Buhan, A. Osses, C. R. Acad. Sci. Paris, Ser. I 347 (2009).     

Optimal observation and control in linear systems

The paper consists of two parts. In Part I, we consider the optimal observation problem for a nondeterministic linear system by examining results of a deep processing of an output signal of a dynamical measurement device (sensor). The problem studied is an auxiliary problem for studying the optimal control problem for dynamical systems under set-uncertainty conditions in Part II. The methods for the construction of a posteriori, program, and positional solutions are described. The results are illustrated by examining an example of an optimal observation and control problem of a fourth-order mechanical system. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 23, Optimal Control, 2005.     

Intersection theorems under dimension constraints

In Ahlswede et al. [Discrete Math. 273(1-3) (2003) 9-21] we posed a series of extremal (set system) problems under dimension constraints. In the present paper, we study one of them: the intersection problem. The geometrical formulation of our problem is as follows. Given integers 0?t, k?n determine or estimate the maximum number of (0,1)-vectors in a k-dimensional subspace of the Euclidean n-space Rⁿ, such that the inner product (“intersection”) of any two is at least t. Also we are interested in the restricted (or the uniform) case of the problem; namely, the problem considered for the (0,1)-vectors of the same weight ω.The paper consists of two parts, which concern similar questions but are essentially independent with respect to the methods used.In Part I, we consider the unrestricted case of the problem. Surprisingly, in this case the problem can be reduced to a weighted version of the intersection problem for systems of finite sets. A general conjecture for this problem is proved for the cases mentioned in Ahlswede et al. [Discrete Math. 273(1-3) (2003) 9-21]. We also consider a diametric problem under dimension constraint.In Part II, we study the restricted case and solve the problem for t=1 and k<2ω, and also for any fixed 1?t?ω and k large.     

Global optimization of truss topology with discrete bar areas—Part I: theory of relaxed problems

This two part paper considers the classical problem of finding a truss design with minimal compliance subject to a given external force and a volume bound. The design variables describe the cross-section areas of the bars. While this problem is well-studied for continuous bar areas, we treat here the case of discrete areas. This problem is of major practical relevance if the truss must be built from pre-produced bars with given areas. As a special case, we consider the design problem for a single bar area, i.e., a 0/1-problem. In contrast to heuristic methods considered in other approaches, Part I of the paper together with Part II present an algorithmic framework for the calculation of a global optimizer of the underlying large-scaled mixed integer design problem. This framework is given by a convergent branch-and-bound algorithm which is based on solving a sequence of nonconvex continuous relaxations. The main issue of the paper and of the approach lies in the fact that the relaxed nonlinear optimization problem can be formulated as a quadratic program (QP). Here the paper generalizes and extends the available theory from the literature. Although the Hessian of this QP is indefinite, it is possible to circumvent the non-convexity and to calculate global optimizers. Moreover, the QPs to be treated in the branch-and-bound search tree differ from each other just in the objective function. In Part I we give an introduction to the problem and collect all theory and related proofs for the treatment of the original problem formulation and the continuous relaxed problems. The implementation details and convergence proof of the branch-and-bound methodology and the large-scale numerical examples are presented in Part II.     

Global Uniqueness for an Inverse Stochastic Hyperbolic Problem with Three Unknowns

This paper is addressed to an inverse stochastic hyperbolic problem with three unknowns, i.e., a random force intensity, an initial displacement, and an initial velocity. The global uniqueness for this inverse problem is proved by means of a new global Carleman estimate for the stochastic hyperbolic equation. It is found that both the formulation of stochastic inverse problems and the tools to solve them differ considerably from their deterministic counterpart. © 2015 Wiley Periodicals, Inc.     

Energy estimate and fundamental solution for degenerate hyperbolic Cauchy problems

The aim of this paper is to give an uniform approach to different kinds of degenerate hyperbolic Cauchy problems. We prove that a weakly hyperbolic equation, satisfying an intermediate condition between effective hyperbolicity and the C^∞ Levi condition, and a strictly hyperbolic equation with non-regular coefficients with respect to the time variable can be reduced to first-order systems of the same type. For such a kind of systems, we prove an energy estimate in Sobolev spaces (with a loss of derivatives) which gives the well-posedness of the Cauchy problem in C^∞. In the strictly hyperbolic case, we also construct the fundamental solution and we describe the propagation of the space singularities of the solution which is influenced by the non-regularity of the coefficients with respect to the time variable.     

Observability Inequalities by Internal Observation and Their Applications

By means of a Carleman estimate, we obtain several observability inequalities by internal observation for hyperbolic equations with lower-order terms. Also, we apply our observability results to an exact controllability problem and an inverse wave source problem.     

非稳态电导介质中Maxwell方程组的反问题

本文主要考虑非稳态电导介质的Maxwell 方程组. 本文考查通过有限组的边界区域观测值决定关于本构方程中系数ε, ζ, μ 和电导率系数σ 的反问题, 利用Carleman 估计证明该反问题的Lipschitz稳定性.