A stability estimate for a solution to an inverse problem of electrodynamics

We consider the integrodifferential system of equations of electrodynamics which corresponds to a dispersive nonmagnetic medium. For this system we study the problem of determining the spatial part of the kernel of the integral term. This corresponds to finding the part of dielectric permittivity depending nonlinearly on the frequency of the electromagnetic wave. We assume that the support of dielectric permittivity lies in some compact domain Ω ⊂ ℝ³. In order to find it inside Ω we start with known data about the solution to the corresponding direct problem for the equations of electrodynamics on the whole boundary of Ω for some finite time interval. On assuming that the time interval is sufficiently large we estimate the conditional stability of the solution to this inverse problem.     

Linearization Ill-Posedness for 2.5-D Ware Equation Inversion Model

Abstract For the weakly inhomogeneous acoustic medium in Ω={(x,y,z):z>0},we consider the inverse problemof determining the density function ρ(x,y).The inversion input for our inverse problem is the wave field givenon a line.We get an integral equation for the 2-D density perturbation from the linearization.By virtue of theintegral transform,we prove the uniqueness and the instability of the solution to the integral equation.Thedegree of ill-posedness for this problem is also given.     

Finding the unknown boundary in the initial boundary-value problem for the heat equation

The article considers the determination of the boundary of a two-dimensional region in which an initial boundary-value problem for the heat equation is defined, given the solution of the problem for all time instants at some points of the region. The direct problem is reduced to an integral equation, and numerical solutions of the inverse problem are obtained for the case when the boundary is an ellipse. We investigate the sensitivity of the observed variables to the location (relative to the boundary) of the point where the right-hand side of the equation is specified. Translated from Prikladnaya Matematika i Informatika, No. 30, 2008, pp. 18–24.     

Sufficient conditions on the existence of trapped modes in problems of the linear theory of surface waves

An asymptotic model is found for the Neumann problem for the second-order differential equation with piecewise constant coefficients in a composite domain Ω∪ω, which are small, of order ε, in the subdomain ω. Namely, a domain Ω(ε) with a singular perturbed boundary is constructed, the solution for which provides a two-term asymptotic, that is, of increased accuracy O(ε²| log ε|^3/2), approximation to the restriction to Ω of the solution of the original problem. As opposed to other singularly perturbed problems, in the case of contrasting stiffness, the modeling requires the construction of a contour ∂Ω(ε) with ledges, i.e., with boundary fragments of curvature O(ε⁻¹). Bibliography: 33 titles.     

On the convexity of global solvability sets for controlled initial-boundary value problems

We consider a controlled functional-operator equation that is a convenient form for describing of controlled initial-boundary value problems. For this equation, considered in a Banach ideal space, we define the set Ω of global solvability as the set of all admissible controls for which the equation has a global solution. We show that Ω is convex under the conditions imposed on the right-hand side of the equation. For each control in a given segment in Ω, we obtain a two-sided pointwise estimate for the corresponding solution under the abovementioned assumptions. We prove the theorem on the convex continuous dependence of the solution on the parameter specifying the displacement along the segment.     

A boundary-value problem for the biharmonic equation and the iterated Laplacian in a 3D-domain with an edge

Let Ω be a domain with piecewise smooth boundary. In general, it is impossible to obtain a generalized solution u ∈ W ₂ ² (Ω) of the equation Δ _x ² u = f with the boundary conditions u = Δ_xu = 0 by solving iteratively a system of two Poisson equations under homogeneous Dirichlet conditions. Such a system is obtained by setting v = −Δu. In the two-dimensional case, this fact is known as the Sapongyan paradox in the theory of simply supported polygonal plates. In the present paper, the three-dimensional problem is investigated for a domain with a smooth edge Γ. If the variable opening angle α ∈ C^∞(Γ) is less than π everywhere on the edge, then the boundary-value problem for the biharmonic equation is equivalent to the iterated Dirichlet problem, and its solution u inherits the positivity preserving property from these problems. In the case α ∈ (π 2π), the procedure of solving the two Dirichlet problems must be modified by permitting infinite-dimensional kernel and co-kernel of the operators and determining the solution u ∈ W ₂ ² (Ω) by inverting a certain integral operator on the contour Γ. If α(s) ∈ (3π/2,2π) for a point s ∈ Γ, then there exists a nonnegative function f ∈ L₂(Ω) for which the solution u changes sign inside the domain Ω. In the case of crack (α = 2π everywhere on Γ), one needs to introduce a special scale of weighted function spaces. In this case, the positivity preserving property fails. In some geometrical situations, the problems on well-posedness for the boundary-value problem for the biharmonic equation and the positivity property remain open. Bibliography: 46 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 336, 2006, pp. 153–198.     

The asymptotic behavior of a solution to the boundary-value problem in a degenerate domain with rapidly oscillating boundary

We construct and justify the asymptotics (as ε → +0) of a solution of the mixed boundary-value problem for the Poisson equation in the domain obtained by joining two sets Ω₊ and Ω_- by a large number of thin (of width O (ε)) curvilinear strips (a hub and a rim with a large number of spokes). As a resulting limit problem describing the principal terms of exterior expansions (in Ω_± and in the set ω occupied by the strips) we take the problem of conjugating the partial differential equations and an ordinary differential equation depending on a parameter. Bibliography: 16 titles; Illustrations: 1 figure. Translated fromProblemy Matematicheskogo Analiza, No. 14, 1995, pp. 63–90.     

On homogenization of the mixed boundary-value problem for the heat equation in a domain whose part contains channels arranged in a periodic way

In this paper, we study the asymptotic behavior of the solutionsu _ε (ε is a small parameter) of boundaryvalue problems for the heat equation in the domain Ω_ε=Ω⁻∪Ω _ε ⁺ ∪γ one part of which (Ω _ε ⁺ ) contains ε-periodically situated channels with diameters of order ε and the other part of which (Ω⁺) is a homogeneous medium; γ=∂Ω _ε ⁺ ∩∂Ω⁺. On the boundary of the channels the Neumann boundary condition is posed, and on ∂Ω_ε∩∂Ω the Dirichlet boundary condition is prescribed. The homogenized problem is the Dirichlet problem in Ω with the transmission condition on γ. The estimates for the difference betweenu _ε and the solution of the homogenized problem are obtained. Bibliography: 14 titles. Translated from Trudy Seminara imeni I. G. Petrovskogo, No. 20, pp. 27–47, 1997.     

On representation of the solution of the Neumann problem in a domain with peak by the harmonic simple layer potential

The problem of finding a solution of the Neumann problem for the Laplacian in the form of a simple layer potential Vρ with unknown density ρ is known to be reducible to a boundary integral equation of the second kind to be solved for density. The Neumann problem is examined in a bounded n-dimensional domain Ω⁺ (n > 2) with a cusp of an outward isolated peak either on its boundary or in its complement Ω⁻ = R ⁿ \Ω⁺. Let Γ be the common boundary of the domains Ω^±, Tr(Γ) be the space of traces on Γ of functions with finite Dirichlet integral over R ⁿ , and Tr(Γ)* be the dual space to Tr(Γ). We show that the solution of the Neumann problem for a domain Ω⁻ with a cusp of an inward peak may be represented as Vρ⁻, where ρ⁻ ∈ Tr(Γ)* is uniquely determined for all Ψ⁻ ∈ Tr(Γ)*. If Ω⁺ is a domain with an inward peak and if Ψ⁺ ∈ Tr(Γ)*, Ψ⁺ ⊥ 1, then the solution of the Neumann problem for Ω⁺ has the representation u ⁺ = Vρ⁺ for some ρ⁺ ∈ Tr(Γ)* which is unique up to an additive constant ρ₀, ρ₀ = V ⁻¹(1). These results do not hold for domains with outward peak.     

Overdetermined problems with possibly degenerate ellipticity, a geometric approach

Given an open bounded connected subset Ω of ℝⁿ, we consider the overdetermined boundary value problem obtained by adding both zero Dirichlet and constant Neumann boundary data to the elliptic equation −div(A(|∇u|)∇u)=1 in Ω. We prove that, if this problem admits a solution in a suitable weak sense, then Ω is a ball. This is obtained under fairly general assumptions on Ω and A. In particular, A may be degenerate and no growth condition is required. Our method of proof is quite simple. It relies on a maximum principle for a suitable P-function, combined with some geometric arguments involving the mean curvature of ∂Ω.     

Problem of determining the nonstationary potential in a hyperbolic-type equation

We solve the problem of determining the hyperbolic equation coefficient depending on two variables. Some additional information is given by the trace of the direct problem solution on the hyperplane x = 0. We estimate the stability of the solution of the inverse problem under study and prove the uniqueness theorem. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 156, No. 2, pp. 220–225, August, 2008.     

Oseen and Stokes asymptotics for the problem on stationary motion of two immiscible liquids

The main result is an asymptotic formula for a solution to the conjugation problem for the Navier-Stokes equations describing the slow motion of two immiscible liquids such that one of them occupies a bounded domain Ω₁ ⊂ ℝ³, whereas the other occupies the exterior domain Ω₂=ℝ⁴∖Ω. Such a formula was obtained for a solution to the exterior problem with sticking conditions on the boundary in the works of Fischer, Hsiao, and Wendland. The result obtained is applied to the proof of the solvability of a free-boundary problem describing a uniform drop in an infinite liquid. Bibliography: 10 titles. Translated fromProblemy Matematicheskogo Analiza, No. 16. 1997, pp. 208–238.     

Unique solvability of the inverse problem of determination of the leading coefficient in a parabolic equation

We study existence and uniqueness of the solution for the inverse problem of determination of the unknown coefficient ϱ(t) multiplying u _t in a nondivergence parabolic equation. As additional information, the integral of the solution over the domain of space variables with some given weight function is specified. The coefficients of the equation depend both on time and on the space variables.     

Error estimates for the numerical approximation of a quaslinear Neumann problem under minimal regularity of the data

The finite element based approximation of a quasilinear elliptic equation of non monotone type with Neumann boundary conditions is studied. Minimal regularity assumptions on the data are imposed. The consideration is restricted to polygonal domains of dimension two and polyhedral domains of dimension three. Finite elements of degree k ≥ 1 are used to approximate the equation. Error estimates are established in the L ²(Ω) and H ¹(Ω) norms for convex and non-convex domains. The issue of uniqueness of a solution to the approximate discrete equation is also addressed.     

Properties of positive solutions to a nonlinear parabolic problem

This paper deals with the properties of positive solutions to a quasilinear parabolic equation with the nonlinear absorption and the boundary flux. The necessary and sufficient conditions on the global existence of solutions are described in terms of different parameters appearing in this problem. Moreover, by a result of Chasseign and Vazquez and the comparison principle, we deduce that the blow-up occurs only on the boundary (?)Ω. In addition, for a bounded Lipschitz domainΩ, we establish the blow-up rate estimates for the positive solution to this problem with a= 0.     

Numerical solution of an inverse problem for a semilinear hyperbolic system

The article consider an inverse problem for a semilinear hyperbolic system of equations with coefficients dependent on different solution components. The problem involves determining one of the coefficients given additional information about the solution. An iterative method proposed for the solution of the problem reduces the inverse problem to a nonlinear operator equation. __________ Translated from Prikladnaya Matematika i Informatika, No. 21, pp. 15–18, 2005.     

Determination of the unknown sources in the heat-conduction equation

The article considers the determination of the source F(x,t) in the heat-conduction equation using additional information about the solution. The source F(x,t) is represented in the special form F(x,t)=f₁(x)exp(-λ₁t)+f₂(x)exp(-λ₂t) where λ₁,₂ are known positive constants. The additional information about the solution of the inverse problem is provided by the solution of the heat-conduction equation at a number of fixed points in space. Uniqueness of the solution of this inverse problem is investigated. Translated from Obratnye Zadachi Estestvoznaniya, Published by Moscow University, Moscow, 1997, pp. 18–22.     

Characterization of the rate of convergence of one approximate method for the solution of an abstract Cauchy problem

We consider an approximate method for the solution of the Cauchy problem for an operator differential equation. This method is based on the expansion of an exponential in orthogonal Laguerre polynomials. We prove that the fact that an initial value belongs to a certain space of smooth elements of the operator A is equivalent to the convergence of a certain weighted sum of integral residuals. As a corollary, we obtain direct and inverse theorems of the theory of approximation in the mean. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 4, pp. 557–563, April, 2008.     

On the uniqueness of solutions of inverse multidimensional spectral problems in dual asymptotic models

The solution of an elliptic equation in an unbounded region is approximated by the solution of an ordinary differential equation. To obtain a new inverse problem we prove a uniqueness theorem and exhibit a solution algorithm. Bibliography: 14 titles. Translated fromProblemy Matematicheskoi Fiziki, 1998, pp. 132–140.     

To the problem of the recovery of nonlinearities in equations of mathematical physics

The general construction for finding all “essentially different” nonlinearities in equations of mathematical physics is exemplified by the inverse problem of the Grad–Shafranov equation. We present an algorithm that allows one to recover relatively fast all essentially different sought-for nonlinear right-hand sides of the Grad–Shafranov equation. We present the first example of a domain with smooth boundary for which the inverse problem has at most one solution in the class of affine functions, and also in the class of exponential functions. We select some subset of simply connected domains that model, in some sense, the so-called doublet configurations, for which the inverse problem has at least two essentially different solutions in the class of analytic functions. In the concluding subsection of the paper, we indicate a method of recovery, from boundary data, of all essentially different nonlinearities in equations of mathematical physics of considerably general kind, which includes a system of equations that describes combustion and detonation processes.