Marching schemes for inverse acoustic scattering problems

Summary For the numerical solution of inverse Helmholtz problems the boundary value problem for a Helmholtz equation with spatially variable wave number has to be solved repeatedly. For large wave numbers this is a challenge. In the paper we reformulate the inverse problem as an initial value problem, and describe a marching scheme for the numerical computation that needs only n² log n operations on an n × n grid. We derive stability and error estimates for the marching scheme. We show that the marching solution is close to the low-pass filtered true solution. We present numerical examples that demonstrate the efficacy of the marching scheme.     

Uniform asymptotic formulae for Green's functions in singularly perturbed domains

Asymptotic formulae for Green's functions for the operator -Δ$-\Delta$ in domains with small holes are obtained. A new feature of these formulae is their uniformity with respect to the independent variables. The cases of multi-dimensional and planar domains are considered.     

A direct identification method for current dipoles from electromagnetic fields

We discuss the identification problem for current dipoles in a spherically symmetric conductor. This mathematical model is used for a biomedical inverse problem such as the source current identification for the human brain activity. We have already proposed a direct identification method for this inverse source problem using observations of the magnetic fields outside of the conductor. One of the difficulties of current dipole identification using the magnetic fields is caused by the fact that magnetic field does not include any information about the radial component of dipole moments. In this paper, we consider an improvement of the direct method to identify both radial and tangential components of current dipole moments by combining electric and magnetic observation data. Furthermore, our approach is effective in the case where the number of dipoles is unknown.     

An inverse problem for an elliptic equation with an affine term

We consider the following elliptic boundary value problem: on , u = 0 on where is a smooth bounded planar domain. We show that for a large class of domains and for any such that is not identically constant there exist at most finitely many different pairs of coefficients such that the problem has a solution with the normal flux on . Received: 4 February 1999     

A saddle point variational formulation for projection–regularized parameter identification

Summary. This paper is concerned with the ill-posed problem of identifying a parameter in an elliptic equation and its solution applying regularization by projection. As the theory has shown, the ansatz functions for the parameter have to be sufficiently smooth. In this paper we show that these – for a practical implementation unrealistic – smoothness assumptions can be circumvented by reformulating the problem under consideration as a mixed variational equation. We prove convergence as the discretization gets finer in the noise free case and convergence as the data noise level goes to zero in the case of noisy data, as well as convergence rates under additional smoothness conditions. Received August 4, 2000 / Revised version received March 21, 2001 / Published online October 17, 2001     

A multiwave range test for obstacle reconstructions with unknown physical properties

We develop a new multiwave version of the range test for shape reconstruction in inverse scattering theory. The range test [R. Potthast, et al., A ‘range test’ for determining scatterers with unknown physical properties, Inverse Problems 19(3) (2003) 533–547] has originally been proposed to obtain knowledge about an unknown scatterer when the far field pattern for only one plane wave is given. Here, we extend the method to the case of multiple waves and show that the full shape of the unknown scatterer can be reconstructed. We further will clarify the relation between the range test methods, the potential method [A. Kirsch, R. Kress, On an integral equation of the first kind in inverse acoustic scattering, in: Inverse Problems (Oberwolfach, 1986), Internationale Schriftenreihe zur Numerischen Mathematik, vol. 77, Birkhäuser, Basel, 1986, pp. 93–102] and the singular sources method [R. Potthast, Point sources and multipoles in inverse scattering theory, Habilitation Thesis, Göttingen, 1999]. In particular, we propose a new version of the Kirsch–Kress method using the range test and a new approach to the singular sources method based on the range test and potential method. Numerical examples of reconstructions for all four methods are provided.     

Gleason's problem for harmonic Bergman and Bloch functions on half-spaces

On the setting of the half-spaceR ^n–1×R ₊, we investigate Gleason's problem for harmonic Bergman and Bloch functions. We prove that Gleason's problem for the harmonicL ^p -Bergman space is solvable if and only ifp>n. We also prove that Gleason's problem for the harmonic (little) Bloch space is solvable.     

Comparison principle for non-cooperative elliptic systems

This paper presents some sufficient conditions for the validity of the comparison principle for weak and classical solutions of non-cooperative weakly-coupled systems of elliptic second-order PDE.     

Optimal boundary holes for the Sobolev trace constant

In this paper we study the problem of minimizing the Sobolev trace Rayleigh quotient among functions that vanish in a set contained on the boundary ∂Ω of given boundary measure.We prove existence of extremals for this problem, and analyze some particular cases where information about the location of the optimal boundary set can be given. Moreover, we further study the shape derivative of the Sobolev trace constant under regular perturbations of the boundary set.     

Gradient estimates for higher order elliptic equations on nonsmooth domains

We establish optimal gradient estimates in Orlicz space for a nonhomogeneous elliptic equation of higher order with discontinuous coefficients on a nonsmooth domain. Our assumption is that for each point and for each sufficiently small scale the coefficients have small mean oscillation and the boundary of the domain is sufficiently close to a hyperplane. As a consequence we prove the classical Wm,p, m=1,2,…, 1<p<∞, estimates for such a higher order equation. Our results easily extend to higher order elliptic and parabolic systems.     

Global weighted estimates for quasilinear elliptic equations with non-standard growth

In this paper we obtain a new global gradient estimates in weighted Lorentz spaces for weak solutions of p(x)$p(x)$-Laplacian type equation with small BMO coefficients in a δ-Reifenberg flat domain. The modified Vitali covering lemma, the maximal function technique and the appropriate localization method are the main analytical tools. Our results improve the known results for such equations.     

Optimal <Emphasis Type="Italic">W</Emphasis><Superscript>1,<Emphasis Type="Italic">p</Emphasis></Superscript> regularity theory for parabolic equations in divergence form

This work treats L^p regularity theory for weak solutions of parabolic equations in divergence form with discontinuous coefficients on nonsmooth domains. We essentially obtain an optimal condition on the coefficients under which the global W^1,p regularity theory holds. This work was supported by SNU foundation in 2005.     

Global existence for nonlocal MEMS

We prove the existence of solutions for a nonlocal equation arising from the mathematical modeling of MicroElectroMechanicalSystems (MEMS). The existence result, obtained within a suitable Implicit Function Theorem framework, is established under rather general boundary conditions and for bounded domains whose diameter is fairly small.     

Gradient estimates for positive harmonic functions by stochastic analysis

We prove Cheng–Yau type inequalities for positive harmonic functions on Riemannian manifolds by using methods of Stochastic Analysis. Rather than evaluating an exact Bismut formula for the differential of a harmonic function, our method relies on a Bismut type inequality which is derived by an elementary integration by parts argument from an underlying submartingale. It is the monotonicity inherited in this submartingale which allows us to establish the pointwise estimates.     

Nonlinear Liouville theorems for Grushin and Tricomi operators

The aim of this paper is to study necessary conditions for existence of weak solutions of the inequality

     

Solution of the Dirichlet and Neumann problems for a modified Helmholtz equation in Besov spaces on an annulus

Here we study Dirichlet and Neumann problems for a special Helmholtz equation on an annulus. Our main aim is to measure smoothness of solutions for the boundary datum in Besov spaces. We shall use operator theory to solve this problem. The most important advantage of this technique is that it enables to consider equations in vector-valued settings. It is interesting to note that optimal regularity of this problem will be a special case of our main result.