Inverse Boundary Value Problem Research Articles

Stability estimates for an inverse boundary value problem for biharmonic operators with first order perturbation from partial data

In this paper we study an inverse boundary value problem for the biharmonic operator with first order perturbation. Our geometric setting is that of a bounded simply connected domain in the Euclidean space of dimension three or higher. Assuming that the inaccessible portion of the boundary is flat, and we have knowledge of the Dirichlet-to-Neumann map on the complement, we prove logarithmic type stability estimates for both the first and the zeroth order perturbation of the biharmonic operator.

On an inverse boundary-value problem for the pseudohyperbolic equation with nonclassical boundary conditions

In this paper, we consider an inverse boundary-value problem for a fourth-order pseudohyperbolic equation with nonclassical boundary conditions. The primary purpose of the work is to study the existence and uniqueness of the classical solution of the considered inverse boundary-value problem. To investigate the solvability of the considered problem, we carried out a transformation from the original problem to some auxiliary equivalent problem with trivial boundary conditions. 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 of the classical solution of the original problem are shown.

INVERSE BOUNDARY PROBLEM FOR THE EQUATION OF FORCED VIBRATIONS OF A CANTILEVER BEAM WITH INTEGRAL CONDITIONS

The paper studies the solvability of an inverse boundary value problem with an unknown time-dependent coefficient for the equation of forced vibrations of a cantilever beam with the integral. Bending transverse vibrations of a homogeneous beam under the action of an external force in the absence of rotational motion during bending are described by a fourth-order differential equation. The purpose of the work is to determine the unknown coefficient and solve the problem under consideration. THIS problem under consideration is reduced to an auxiliary equivalent problem. Next, the existence and uniqueness of a solution to the equivalent problem is proved using the contraction mapping principle. As a result, using equivalence, the uniqueness of the existence of the classical solution is proved.

Increasing stability of a linearized inverse boundary value problem for a nonlinear Schrödinger equation on transversally anisotropic manifolds

We consider the problem of recovering a nonlinear potential function in a nonlinear Schrödinger equation on transversally anisotropic manifolds from the linearized Dirichlet-to-Neumann map at a large wavenumber. By calibrating the complex geometric optics solutions according to the wavenumber, we prove the increasing stability of recovering the coefficient of a cubic term as the wavenumber becomes large.

SIMULTANEOUS IDENTIFICATION OF THE RIGHT-HAND SIDE AND TIME-DEPENDENT COEFFICIENTS IN A TWO-DIMENSIONAL PARABOLIC EQUATION

This paper investigates the simultaneous identification of time-dependent lowest and source terms in a two-dimensional (2D) parabolic equation from the additional measurements. To investigate the solvability of the inverse problem, we first examine an auxiliary inverse boundary value problem and prove its equivalence to the original problem in a certain sense. Then, applying the contraction mappings principle existence and uniqueness of the solution of an equivalent problem is proved. Furthermore, using the equivalency, the existence and uniqueness theorem for the classical solution of the original problem is obtained and some discussions on the numerical solutions for this inverse problem are presented including numerical examples.

Inverse problems for real principal type operators

abstract: We consider inverse boundary value problems for general real principal type differential operators. The first results state that the Cauchy data set uniquely determines the scattering relation of the operator and bicharacteristic ray transforms of lower order coefficients. We also give two different boundary determination methods for general operators, and prove global uniqueness results for determining coefficients in nonlinear real principal type equations. The article presents a unified approach for treating inverse boundary problems for transport and wave equations, and highlights the role of propagation of singularities in the solution of related inverse problems.

Mathematical Modeling on a Physics-Informed Radial Basis Function Network

The article is devoted to approximate methods for solving differential equations. An approach based on neural networks with radial basis functions is presented. Neural network training algorithms adapted to radial basis function networks are proposed, in particular adaptations of the Nesterov and Levenberg-Marquardt algorithms. The effectiveness of the proposed algorithms is demonstrated for solving model problems of function approximation, differential equations, direct and inverse boundary value problems, and modeling processes in piecewise homogeneous media.

On determining and breaking the gauge class in inverse problems for reaction-diffusion equations

Abstract We investigate an inverse boundary value problem of determination of a nonlinear law for reaction-diffusion processes, which are modeled by general form semilinear parabolic equations. We do not assume that any solutions to these equations are known a priori, in which case the problem has a well-known gauge symmetry. We determine, under additional assumptions, the semilinear term up to this symmetry in a time-dependent anisotropic case modeled on Riemannian manifolds, and for partial data measurements on ${\mathbb R}^n$ . Moreover, we present cases where it is possible to exploit the nonlinear interaction to break the gauge symmetry. This leads to full determination results of the nonlinear term. As an application, we show that it is possible to give a full resolution to classes of inverse source problems of determining a source term and nonlinear terms simultaneously. This is in strict contrast to inverse source problems for corresponding linear equations, which always have the gauge symmetry. We also consider a Carleman estimate with boundary terms based on intrinsic properties of parabolic equations.

ДЕЯКІ КРАЙОВІ ЗАДАЧІ, ВІДПОВІДНІ МОДЕЛІ ДРОБОВО-ДИФЕРЕНЦІЙНОЇ ФІЛЬТРАЦІЙНОЇ ДИНАМІКИ В ТРІЩИНУВАТО-ПОРИСТОМУ СЕРЕДОВИЩІ ЗА УМОВ ЧАСОВОЇ НЕЛОКАЛЬНОСТІ

Closed-form solutions of some boundary-value problems of fractional-differential geofiltration dynamics in a fractured-porous medium are obtained for a model with weakly permeable porous blocks. In particular, the direct and inverse boundary-value problems of filtration for the finite thickness layer are solved, the conditions for the existence of their regular solutions are given, and the solution of the problem of filtration dynamics with nonlocal boundary conditions is found. For a particular case of the filtration model, the problem of modeling the anomalous dynamics of filtration pressure fields on a star-shaped graph is considered. Keywords: mathematical modeling, fractional-differential dynamics of filtration processes, fractured-porous medium, non-classical models, boundary-value problems, inverse problems, problems with non-local conditions, closed-form solutions.

On a Nonlocal Inverse Boundary Value Problem for the Sixth-Order Boussinesq Equation with Nonlocal Time Integral Conditions of the Second Kind

On a Nonlocal Inverse Boundary Value Problem for the Sixth-Order Boussinesq Equation with Nonlocal Time Integral Conditions of the Second Kind

Inverse problem of determining the coefficient in a sixth order Boussinesq equation with additional nonlocal integral condition

The work is devoted to the study of the solvability of the inverse boundary value problem with an unknown time depended coefficient for a sixth-order Boussinesq equation with an additional integral condition of the first kind is investigated. First, the given problem is reduced to an equivalent problem in a certain sense. Then, using the Fourier method the equivalent problem is reduced to solving the system of integral equations. The existence and uniqueness of a solution to the system of integral equation is proved by the contraction mapping principle. This solution is also the unique solution to the equivalent problem. Finally, by equivalence, the theorem of existence and uniqueness of a classical solution to the given problem is proved. The sixth order Boussinesq-Type problem is discretized using the Quintic B-spline (QB-spline) collocation technique and reshaped as non-linear least-squares optimization of the Tikhonov regularization function. This is numerically solved by means of the MATLAB subroutine lsqnonlin tool. Both perturbed data and analytical solution are inverted. Numerical outcomes are reported and discussed. In addition, the von Neumann stability analysis for the proposed numerical approach has also been discussed.

Determination of black holes by boundary measurements

For a wave equation with time-independent Lorentzian metric consider an initial-boundary value problem in [Formula: see text], where [Formula: see text] is the time variable and [Formula: see text] is a bounded domain in [Formula: see text]. Let [Formula: see text] be a subdomain of [Formula: see text]. We say that the boundary measurements are given on [Formula: see text] if we know the Dirichlet and Neumann data on [Formula: see text]. The inverse boundary value problem consists of recovery of the metric from the boundary measurements. In the author’s previous works a localized variant of the boundary control method was developed that allows the recovery of the metric locally in a neighborhood of any point of [Formula: see text] where the spatial part of the wave operator is elliptic. This allows the recovery of the metric in the exterior of the ergoregion. The goal of this survey paper is to recover the black holes. In some cases the ergoregion coincides with the black hole. In the case of two space dimensions we recover the black hole inside the ergoregion assuming that the ergosphere, i.e. the boundary of the ergoregion, is not characteristic at any point of the ergosphere.

Stability estimates for an inverse problem for Schrödinger operators at high frequencies from arbitrary partial boundary measurements

In this paper, we study the partial data inverse boundary value problem for the Schrödinger operator at a high frequency in a bounded domain with smooth boundary in , . Assuming that the potential is known in a neighborhood of the boundary, we obtain the logarithmic stability when both Dirichlet data and Neumann data are taken on arbitrary open subsets of the boundary where the two sets can be disjointed. Our results also show that the logarithmic stability can be improved to the one of Hölder type in the high frequency regime. To achieve those goals, we used a method by combining the CGO solution, Runge approximation and Carleman estimate.

A Novel Spacetime Boundary-Type Meshless Method for Estimating Aquifer Hydraulic Properties Using Pumping Tests

This article introduces a new boundary-type meshless method designed for solving axisymmetric transient groundwater flow problems, specifically for aquifer tests and estimating hydraulic properties. The method approximates solutions for axisymmetric transient groundwater flow using basis functions that satisfy the governing equation by solving the inverse boundary value problem in the spacetime domain. The effectiveness of this method was demonstrated through validation with the Theis solution, which involves transient flow to a well in an infinite confined aquifer. The study included numerical examples that predicted drawdown at various radial distances and times near pumping wells. Additionally, an iterative scheme, namely, the fictitious time integration method, was employed to iteratively determine the hydraulic properties during the pumping test. The results indicate that this approach yielded highly accurate solutions without relying on the conventional time-marching scheme. Due to its temporal and spatial discretization within the spacetime domain, this method was found to be advantageous for estimating crucial hydraulic properties, such as the transmissivity and storativity of an aquifer.

Direct and Inverse Initial Boundary Value Problems for Heat Equation with Non-Classical Boundary Condition

Direct and Inverse Initial Boundary Value Problems for Heat Equation with Non-Classical Boundary Condition

NONLINEAR INVERSE BOUNDARY VALUE PROBLEM FOR A SECOND ORDER PARABOLIC EQUATION WITH NONLOCAL BOUNDARY CONDITIONS

The paper studies the classical solvability of an inverse boundary value problem for a second order parabolic equation with nonlocal boundary conditions. For this purpose, first, the considered problem is reduced to an auxiliary equivalent problem in a certain sense. Then, using the Fourier method the auxiliary problem is presented as a system of integral equations. Further, by means of the contraction mappings principle the unique existence of the solution of the obtained system of integral equations is shown. At the end of investigation the existence and uniqueness theorem for the classical solution of the original inverse boundary value problem is proved based on the equivalence of these problems

On a Derivative-free Optimization Approach to Some Problems of Civil Engineering

Development of advanced materials and structures for civil engineering, due to the requirements of green and sustainable building, including the reduction of energy consumption and the balance between occupant comfort and environmental friendliness, needs proper analysis of related physical, chemical, etc. processes, whose mathematical description leads to direct, sensitivity and inverse initial and boundary value problems for nonlinear partial differential equations, analysed numerically using finite element, difference and similar techniques. Design optimization requires to implement a set of additional variable parameters into all related computations, which is very expensive or quite impossible in most cases. Thus realistic computational strategies work with the minimizations of some cost functions with unknown parameters using certain kind of numerical differentiation, like quasi-Newton, inexact Newton or conjugate gradient methods, some derivative-free approach, or, as a much-favoured alternative, some heuristic soft-computing algorithm. A reasonable compromise seems to be the exploitation of an algorithm coming from the non-gradient Nelder-Mead simplex approach. In this paper, referring to the experience with i) the direct problem of thermal design of a residential building and ii) the inverse problem of identification of material characteristics as thermal conductivity and diffusivity from well-advised laboratory experiments, after several remarks to the history and progress of the Nelder-Mead method and its improvements, we shall demonstrate some convergence properties of such approach, regardless of the highly cited evaluation of the original Nelder-Mead algorithm: “Mathematicians hate it because you cannot prove convergence; engineers seem to love it because it often works.”

Solution of an Inverse Boundary Value Problem of Heat Exchange for a Hollow Cylinder

Solution of an Inverse Boundary Value Problem of Heat Exchange for a Hollow Cylinder

On One Nonlinear Inverse Boundary Value Problem for Linearized Sixth-Order Boussinesq Equation with an Additional Integral Condition

On One Nonlinear Inverse Boundary Value Problem for Linearized Sixth-Order Boussinesq Equation with an Additional Integral Condition

IDENTIFICATION OF SEPARATION CURVES OF STRONGLY CONTRASTING ENVIRONMENTS USING COMPLEX ANALYSIS METHODS

When modeling mass transfer processes (for example, filtration) in porous media, there may be cases of the existence of highly permeable layers, which are separated from the corresponding studied parts by some curves that must be found (identified) in the process of solving the problem. When constructing a mathematical model of the corresponding physical process, we will consider a highly permeable medium as "ideally (theoretically infinitely) permeable." In this case, the desired curve can be considered an equipotential line. This work considers the stationary process of fluid movement in a homogeneous horizontal layer of infinitely large dimensions - a soil massif, which is limited by infinite sections of curves, in particular by the desired curve of theoretical water resistance and the horizontal axis, on which the local speed of movement is known. On the basis of the methods of conformal reflections and total images, an approach to the identification of the curve of the separation of media is proposed. The constructed algorithm is modified for solving nonlinear inverse boundary value problems on quasi-conformal mappings of curvilinear polygonal regions bounded by uncertain streamlines and equipotential lines. The feature of the method proposed is that the summary representation formulae allow to explicitly write the solution to the localized linear (main) part of the obtained system of equations. The unknown coefficients are determined here by solving a non-linear system generated solely by the boundary conditions and numerical analogues of the Cauchy–Riemann equations.