Probing for electrical inclusions with complex spherical waves

Let a physical body Ω in ?² or ?³ be given. Assume that the electric conductivity distribution inside Ω consists of conductive inclusions in a known smooth background. Further, assume that a subset Γ ? ?Ω is available for boundary measurements. It is proved using hyperbolic geometry that certain information about the location of the inclusions can be exactly recovered from static electric measurements on Γ. More precisely: given a ball B with center outside the convex hull of Ω and satisfying (B? ∩ ?Ω) ? Γ, boundary measurements on Γ with explicitly given Dirichlet data are enough to determine whether B intersects the inclusion. An approximate detection algorithm is introduced based on the theory. Numerical experiments in dimension two with simulated noisy data suggest that the algorithm finds the inclusion‐free domain near Γ and is robust against measurement noise. © 2007 Wiley Periodicals, Inc.     

A Unified Constructive Approach to the Topological Degree in Rn

The paper gives an approach to the topological degree in Rⁿ which takes into account numerical requirements and permits derivation of the known degree computation formulas in a simple way. The new approach subsumes several earlier approaches and represents a general principle of construction of degree computation formulas. The basic idea consists of computing the degree of a continuous function relative to a bounded open subset Ω of Rⁿ by means of an auxiliary function which is defined on a polyhedron approximating Ω and maps into a known fixed convex polyhedron containing the origin of Rⁿ. It is further shown that the topological degree of a continuous function relative to an n-dimensional polyhedron P can be computed alone by means of a subset of the boundary of P .     

Intrinsic characterizations of Besov spaces on Lipschitz domains

The aim of this paper is to study the equivalence between quasi‐norms of Besov spaces on domains. We suppose that the domain Ω ? ?ⁿ is a bounded Lipschitz open subset in ?ⁿ. First, we define Besov spaces on Ω as the restrictions of the corresponding Besov spaces on ?ⁿ. Then, with the help of equivalent and intrinsic characterizations (the Peetre‐type characterization 3.10 and the characterization via local means 3.13) of these spaces, we get another equivalent and intrinsic quasi‐norm using, this time, generalized differences and moduli of smoothness. We extend the well‐known characterization of Besov spaces on ?ⁿ described in Theorem 2.4 to the case of Lipschitz domains.     

Polar factorization and monotone rearrangement of vector-valued functions

Given a probability space (X, μ) and a bounded domain Ω in ?^d equipped with the Lebesgue measure |·| (normalized so that |Ω| = 1), it is shown (under additional technical assumptions on X and Ω) that for every vector-valued function u ∈ L^p (X, μ; ?^d) there is a unique “polar factorization” u = ?Ψs, where Ψ is a convex function defined on Ω and s is a measure-preserving mapping from (X, μ) into (Ω, |·|), provided that u is nondegenerate, in the sense that μ(u^?1(E)) = 0 for each Lebesgue negligible subset E of ?^d. Through this result, the concepts of polar factorization of real matrices, Helmholtz decomposition of vector fields, and nondecreasing rearrangements of real-valued functions are unified. The Monge-Ampère equation is involved in the polar factorization and the proof relies on the study of an appropriate “Monge-Kantorovich” problem.     

Solvability conditions and monotone iterative scheme for boundary-value problems related to nonlinear monotone potential operators

This article deals with boundary-value problems (BVPs) for the second-order nonlinear differential equations with monotone potential operators of type Au := ??(k(|?u|²)?u(x)) + q(u ²)u(x), x ∈ Ω ? R ⁿ . An analysis of nonlinear problems shows that the potential of the operator A as well as the potential of related BVP plays an important role not only for solvability of these problems and linearization of the nonlinear operator, but also for the strong convergence of solutions of corresponding linearized problems. A monotone iterative scheme for the considered BVP is proposed.     

Finite element solutions for three‐dimensional elliptic boundary value problems on unbounded domains

The finite element (FE) solutions of a general elliptic equation ?div([a_ij] ??u) + u = f in an exterior domain Ω, which is the complement of a bounded subset of R ³, is considered. The most common approach to deal with exterior domain problems is truncating an unbounded subdomain Ω_∞, so that the remaining part Ω_B = Ω\Ω _∞ is bounded, and imposing an artificial boundary condition on the resulted artificial boundary Γ_a = Ω _∞ ∩ Ω _B. In this article, instead of discarding an unbounded subdomain Ω_∞ and introducing an artificial boundary condition, the unbounded domain is mapped to a unit ball by an auxiliary mapping. Then, a similar technique to the method of auxiliary mapping, introduced by Babu?ka and Oh for handling the domain singularities, is applied to obtain an accurate FE solution of this problem at low cost. This method thus does have neither artificial boundary nor any restrictions on f. © 2006 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2006     

Existence and regularity results for relaxed Dirichlet problems with measure data

We study the following relaxed Dirichlet problem $$\left\{ \begin{gathered} Lu + \mu u = vin\Omega , \hfill \\ u = 0on\partial \Omega , \hfill \\ \end{gathered} \right.$$ where Ω is a bounded open subset ofR ^N,Lu=?div(A?u) is an elliptic operator, μ is a positive Borel measure on Ω not charging polar sets, and v is a measure with bounded variation on Ω. We give a definition of solution for such a problem, and then prove existence and regularity results. As a consequence, the Green function for relaxed Dirichlet problems can be defined, and some of its properties are proved, including the standard representation formula for solutions.     

ALMOST OPTIMAL LOCAL WELL-POSEDNESS OF THE MAXWELL-KLEIN-GORDON EQUATIONS IN 1 + 4 DIMENSIONS

Abstract

We study strong solutions of the Navier–Stokes equations for nonhomogeneous incompressible fluids in Ω ? R ³. Deriving higher a priori estimates independent of the lower bounds of the density, we prove the existence and uniqueness of local strong solutions to the initial value problem (for Ω =R ³) or the initial boundary value problem (for Ω ? ? R ³) even though the initial density vanishes in an open subset of Ω, i.e., an initial vacuum exists. As an immediate consequence of the a priori estimates, we obtain a continuation theorem for the local strong solutions.     

A global Lipschitz continuity result for a domain-dependent Neumann eigenvalue problem for the Laplace operator

Let Ω be an open connected subset of Rⁿ of finite measure for which the Poincaré-Wirtinger inequality holds. We consider the Neumann eigenvalue problem for the Laplace operator in the open subset φ(Ω) of Rⁿ, where φ is a locally Lipschitz continuous homeomorphism of Ω onto φ(Ω). Then, we show Lipschitz-type inequalities for the reciprocals of the eigenvalues delivered by the Rayleigh quotient. Then, we further assume that the imbedding of the Sobolev space W^1,2(Ω) into the space L²(Ω) is compact, and we prove the same type of inequalities for the projections onto the eigenspaces upon variation of φ.     

Spectral theory for the fractal Laplacian in the context of h‐sets

An h‐set is a nonempty compact subset of the Euclidean n‐space which supports a finite Radon measure for which the measure of balls centered on the subset is essentially given by the image of their radius by a suitable function h. In most cases of interest such a subset has Lebesgue measure zero and has a fractal structure. Let Ω be a bounded C^∞ domain in with Γ ? Ω. Let where (?Δ)^?1 is the inverse of the Dirichlet Laplacian in Ω and tr^Γ is, say, trace type operator. The operator B, acting in convenient function spaces in Ω, is studied. Estimations for the eigenvalues of B are presented, and generally shown to be dependent on h, and the smoothness of the associated eigenfunctions is discussed. Some results on Besov spaces of generalised smoothness on and on domains which were obtained in the course of this work are also presented, namely pointwise multipliers, the existence of a universal extension operator, interpolation with function parameter and mapping properties of the Dirichlet Laplacian. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

On the Laplacian vector fields theory in domains with rectifiable boundary

Given a domain Ω in ?³ with rectifiable boundary, we consider main integral, and some other, theorems for the theory of Laplacian (sometimes called solenoidal and irrotational, or harmonic) vector fields paying a special attention to the problem of decomposing a continuous vector field, with an additional condition, u on the boundary Γof Ω ? ?³ into a sum u = u⁺+u^? were u^± are boundary values of vector fields which are Laplacian in Ω and its complement respectively. Our proofs are based on the intimate relations between Laplacian vector fields theory and quaternionic analysis for the Moisil–Theodorescu operator. Copyright © 2006 John Wiley & Sons, Ltd.     

Regularity of minimizers of semilinear elliptic problems up to dimension 4

We consider the class of semistable solutions to semilinear equations ?Δu = f(u) in a bounded smooth domain Ω of \input amssym $\Bbb R^n$ (with Ω convex in some results). This class includes all local minimizers, minimal, and extremal solutions. In dimensions n ≤ 4, we establish an a priori L^∞‐bound that holds for every positive semistable solution and every nonlinearity f. This estimate leads to the boundedness of all extremal solutions when n = 4 and Ω is convex. This result was previously known only in dimensions n ≤ 3 by a result of G. Nedev. In dimensions 5 ≤ n ≤ 9 the boundedness of all extremal solutions remains an open question. It is only known to hold in the radial case Ω = B_R by a result of A. Capella and the author. © 2010 Wiley Periodicals, Inc.     

On the principles of limiting absorption and limit amplitude for a class of locally perturbed waveguides. Part 1: Time-independent theory

Let Ω be a local perturbation of the n-dimensional domain Ω₀ = Ropf;^{n ? 1} × (0, π). In a previous paper⁸ we have introduced the notion of an admissible standing wave. We shall prove that the principle of limiting absorption holds for the Dirichlet problem of the reduced wave equation in Ω at ω ≥ 0 if Ω does not allow admissible standing waves with frequency ω. From Reference 8, this condition is satisfied for every ω ≥ 0 if Ω ≠ Ω₀, and v · x ′ ≤ 0 on δΩ, where x′ = ( x ₁,…, x_{n ? 1}, 0) and v is the normal unit vector on δΩ pointing into the complement of Ω. In contrast to this, the principle of limiting absorption is violated in the case of the unperturbed domain Ω₀ at the frequencies ω = 1,2,… if n ≤ 3. The second part of our investigation, which will appear in a subsequent paper, is devoted to the principle of limit amplitude.     

On the Uniform Poincaré Inequality

We give a proof of the Poincaré inequality in W ^{1, p} (Ω) with a constant that is independent of Ω ? , where  is a set of uniformly bounded and uniformly Lipschitz domains in ? ⁿ . As a byproduct, we obtain the following: The first non vanishing eigenvalues λ₂(Ω) of the standard Neumann (variational) boundary value problem on Ω for the Laplace operator are bounded below by a positive constant if the domains Ω vary and remain uniformly bounded and uniformly Lipschitz regular.     

On the number of singular points of weak solutions to the Navier‐Stokes equations

We consider a suitable weak solution to the three‐dimensional Navier‐Stokes equations in the space‐time cylinder Ω × ]0, T[. Let Σ be the set of singular points for this solution and Σ (t) ≡ {(x, t) ∈ Σ}. For a given open subset ω ? Ω and for a given moment of time t ∈]0, T[, we obtain an upper bound for the number of points of the set Σ(t) ? ω. © 2001 John Wiley & Sons, Inc.     

Asymptotic analysis of solutions to parabolic systems

We study asymptotics as t → ∞ of solutions to a linear, parabolic system of equations with time‐dependent coefficients in Ω × (0, ∞), where Ω is a bounded domain. On ? Ω × (0, ∞) we prescribe the homogeneous Dirichlet boundary condition. For large values of t, the coefficients in the elliptic part are close to time‐independent coefficients in an integral sense which is described by a certain function κ (t). This includes in particular situations when the coefficients may take different values on different parts of Ω and the boundaries between them can move with t but stabilize as t → ∞. The main result is an asymptotic representation of solutions for large t. As a corollary, it is proved that if κ ∈ L¹(0, ∞), then the solution behaves asymptotically as the solution to a parabolic system with time‐independent coefficients (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Singular solutions of the Poisson equation at edges of three‐dimensional domains and their treatment with a predictor–corrector finite element method

Solutions of boundary value problems in three‐dimensional domains with edges may exhibit singularities which are known to influence both the accuracy of the finite element solutions and the rate of convergence in the error estimates. This paper considers boundary value problems for the Poisson equation on typical domains Ω ? ?³ with edge singularities and presents, on the one hand, explicit computational formulas for the flux intensity functions. On the other hand, it proposes and analyzes a nonconforming finite element method on regular meshes for the efficient treatment of the singularities. The novelty of the present method is the use of the explicit formulas for the flux intensity functions in defining a postprocessing procedure in the finite element approximation of the solution. A priori error estimates in H¹(Ω) show that the present algorithm exhibits the same rate of convergence as it is known for problems with regular solutions.     

Solvability of some overdetermined elliptic system in a domain with corners π/n

In the paper we prove the existence and uniqueness of solutions of the overdetermined elliptic system where b, ω are given functions, in a domain Ω C R³ with corners π/n, n = 2, 3, … The proof is divided on two steps, we construct a solution for the Laplace equation in a dihedral angle π/n, using the method of reflection and we get an estimate in the norms of the Sobolev spaces in some neighbourhood of the edge. In the dihedral angle system (A) reduces to the Dirichlet and Neumann problems for the Laplace equation. In the next step we prove the existence of solutions in the Sobolev spaces W_p^l(Ω) using the existence of generalized solutions of (A).     

Asymptotic Lipschitz Regularity for Tug-of-War Games with Varying Probabilities

We prove an asymptotic Lipschitz estimate for value functions of tug-of-war games with varying probabilities defined in Ω ? ?ⁿ. The method of the proof is based on a game-theoretic idea to estimate the value of a related game defined in Ω ×Ω via couplings.

     

The effect of perturbations on the convergence rates of optimization algorithms

The problem of minimizing a functionF over a set Ω is approximated by a sequence of problems whereF and Ω are replaced byF ⁽ⁿ⁾ and Ω⁽ⁿ⁾, respectively. We show in which manner the convergence rates of the conditional gradient and projected gradient methods are influenced by the approximation. In particular, it becomes evident how the convergence theory for infinite dimensional problems such as control problems explains the behavior of finite dimensional implementations.