Approximate extension property of mappings

The extension problem is to determine the extendability of a mapping defined on a closed subset of a space into a nice space such as a CW complex over the whole space. In this paper, we consider the extension problem when the codomains are general spaces. We take a shape theoretic approach to generalize the extension theory so that the codomains are allowed to be general spaces. We extend the notion of extension type which has been defined for the class of CW complexes and introduce the notion of approximate extension type which is defined for general spaces. We define approximate extension dimension analogously to extension dimension, replacing the class of CW complexes by the class of finitistic separable metrizable spaces. For every metrizable space X, we show the existence of approximate extension dimension of X.     

A new approach to numerical solution of fixed-point problems and its application to delay differential equations

In this paper we consider a certain approximation of fixed-points of a continuous operator A mapping the metric space into itself by means of finite dimensional ε(h)-fixed-points of A. These finite dimensional functions are obtained from functions defined on discrete space grid points (related to a parameter h→0) by applying suitably chosen extension operators p_h. A theorem specifying necessary and sufficient conditions for existence of fixed-points of A in terms of ε(h)-fixed-points of A is given. A corollary which follows the theorem yields an approximate method for a fixed-point problem and determines conditions for its convergence. An example of application of the obtained general results to numerical solving of boundary value problems for delay differential equations is provided.Numerical experiments carried out on three examples of boundary value problems for second order delay differential equations show that the proposed approach produces much more accurate results than many other numerical methods when applied to the same examples.     

A symmetric boundary element method for the Stokes problem in multiple connected domains

We consider a symmetric Galerkin boundary element method for the Stokes problem with general boundary conditions including slip conditions. The boundary value problem is reformulated as Steklov–Poincaré boundary integral equation which is then solved by a standard approximation scheme. An essential tool in our approach is the invertibility of the single layer potential which requires the definition of appropriate factor spaces due to the topology of the domain. Here we describe a modified boundary element approach to solve Dirichlet boundary value problems in multiple connected domains. A suitable extension of the standard single layer potential leads to an operator which is elliptic on the original function space. Copyright © 2003 John Wiley & Sons, Ltd.     

Berezin transform and Toeplitz operators on harmonic Bergman spaces

For an operator which is a finite sum of products of finitely many Toeplitz operators on the harmonic Bergman space over the half-space, we study the problem: Does the boundary vanishing property of the Berezin transform imply compactness? This is motivated by the Axler-Zheng theorem for analytic Bergman spaces, but the answer would not be yes in general, because the Berezin transform annihilates the commutator of any pair of Toeplitz operators. Nevertheless we show that the answer is yes for certain subclasses of operators. In order to do so, we first find a sufficient condition on general operators and use it to reduce the problem to whether the Berezin transform is one-to-one on related subclasses.     

Continuous dependence on obstacles for the double obstacle problem on metric spaces

Let X be a complete metric space equipped with a doubling Borel measure supporting a p-Poincaré inequality. We obtain various convergence results for solutions of double obstacle problems on open subsets of X. In particular, we consider a sequence of double obstacle problems with converging obstacles and show that the corresponding solutions converge as well. We use the convergence properties to define and study a generalized solution of the double obstacle problem.     

Complexity Analysis via Approach Spaces

Complexity of a recursive algorithm typically is related to the solution to a recurrence equation based on its recursive structure. For a broad class of recursive algorithms we model their complexity in what we call the complexity approach space, the space of all functions in X?=? ]0,?∞?] ^Y , where Y can be a more dimensional input space. The set X, which is a dcpo for the pointwise order, moreover carries the complexity approach structure. There is an associated selfmap Φ on the complexity approach space X such that the problem of solving the recurrence equation is reduced to finding a fixed point for Φ. We will prove a general fixed point theorem that relies on the presence of the limit operator of the complexity approach space X and on a given well founded relation on Y. Our fixed point theorem deals with monotone selfmaps Φ that need not be contractive. We formulate conditions describing a class of recursive algorithms that can be treated in this way.     

Near convexity,near smoothness and approximative compactness of half spaces in Banach spaces

The authors discuss the dual relation of nearly very convexity and property WS. By two kinds of near convexities and two kinds of near smoothness, the authors prove a series of characterizations such that every half-space in Banach space X and every weak* half-space in the dual space X* are approximatively weakly compact and approximatively compact. They show a sufficient condition such that a Banach space X is a Asplund space. Using upper semi-continuity of duality mapping, the authors also give two characterizations of property WS and property S.     

Harmonic functions and exit boundary of superdiffusion

All positive harmonic functions in an arbitrary domain of a Euclidean space can be described in terms of the so-called exit boundary. This was established in 1941 by R.S. Martin. A probabilistic approach to the Martin theory is due to Doob and Hunt. It was extended later to harmonic functions associated with a wide class of Markov processes. The subject of this paper are harmonic functions associated with a superdiffusion X (we call them X-harmonic). The results of Evans and Perkins imply the existence and uniqueness of an integral representation of positive X-harmonic functions through extreme functions. An outstanding problem is to find all extremal functions (they are in 1-1 correspondence with the points of the exit boundary).An interest in X-harmonic functions is motivated, in part, by the fact that each of them provides a way of conditioning a superprocess. Path properties of conditioned superprocesses (corresponding to various special X-harmonic functions) were investigated by a number of authors.Important classes of X-harmonic functions are related to positive solutions of semilinear partial differential equations. Almost nothing is known about their decomposition into extreme elements. A progress in this direction may create new tools for investigating solutions of the equations.The goal of this paper is to summarize all known facts about X-harmonic functions, to present the results of various authors in a more general setting in a unified form and to outline a program of further work.     

Meshless and analytical solutions to the time-dependent advection-diffusion-reaction equation with variable coefficients and boundary conditions

A variety of physical problems in science may be expressed using the advection-diffusion-reaction (ADR) equation that covers heat transfer and transport of mass and chemicals into a porous or a nonporous media. In this paper, the meshless generalised reproducing kernel particle method (RKPM) is utilised to numerically solve the time-dependent ADR problem in a general n-dimensional space with variable coefficients and boundary conditions. A time-dependent Robin boundary condition is formulated and precisely enforced in a novel approach. The accuracy and robustness of the meshless solution is verified against finite element simulations and a general one-dimensional analytical solution obtained in this study.     

A Stochastic Algorithm for Fault Inverse Problems in Elastic Half Space with Proof of Convergence

A general stochastic algorithm for solving mixed linear and nonlinear problems was introduced in [11]. We show in this paper how it can be used to solve the fault inverse problem, where a planar fault in elastic half-space and a slip on that fault have to be reconstructed from noisy surface displacement measurements. With the parameter giving the plane containing the fault denoted by $m$ and the regularization parameter for the linear part of the inverse problem denoted by $C$,both modeled as random variables, we derive a formula for the posterior marginal of $m.$ Modeling $C$ as a random variable allows to sweep through a wide range of possible values which was shown to be superior to selecting a fixed value [11]. We prove that this posterior marginal of $m$ is convergent as the number of measurement points and the dimension of the space for discretizing slips increase. Simply put, our proof only assumes that the regularized discrete error functional for processing measurements relates to an order 1 quadrature rule and that the union of the finite-dimensional spaces for discretizing slips is dense. Our proof relies on trace class operator theory to show that an adequate sequence of determinants is uniformly bounded. We also explain how our proof can be extended to a whole class of inverse problems, as long as some basic requirements are met. Finally, we show numerical simulations that illustrate the numerical convergence of our algorithm.     

A Discrete Phenomenon in the C and Analytic Regularity of the Blow-Up Curve of Solutions to the Liouville Equation in One Space Dimension

We give a complete discussion of the C^∞ or analytic regularity of blow-up curves for Cauchy problems or some mixed problems for the Liouville equation in one space dimension. In the case of mixed problems, the regularity results depend on the boundary condition: actually, we show the existence of a sequence of boundary conditions for which the regularity of the blow-up curve is better than in the general case.     

Fractional powers of operators corresponding to coercive problems in Lipschitz domains

Let Ω be a bounded Lipschitz domain in ? ⁿ , n ? 2, and let L be a second-order matrix strongly elliptic operator in Ω written in divergence form. There is a vast literature dealing with the study of domains of fractional powers of operators corresponding to various problems (beginning with the Dirichlet and Neumann problems) with homogeneous boundary conditions for the equation Lu = f, including the solution of the Kato square root problem, which arose in 1961. Mixed problems and a class of problems for higher-order systems have been covered as well. We suggest a new abstract approach to the topic, which permits one to obtain the results that we deem to be most important in a much simpler and unified way and cover new operators, namely, classical boundary operators on the Lipschitz boundary Γ = ?Ω or part of it. To this end, we simultaneously consider two well-known operators associated with the boundary value problem.     

Boundaries of compact convex sets and fragmentability

If X is a compact convex set in a real locally convex space, B⊂X is said to be its boundary if every affine continuous function on X attains its maximum at some point of B. We study relations between fragmentability of B and the whole set X. As a byproduct we obtain a characterization of separable Asplund spaces. We also study the possibility of finding the Haar system in a boundary of a metrizable compact convex set.     

On dynamic effects in an elastic half-space under “thermal impact” : PMM vol. 38, n 6, 1974, pp. 1105–1113

The general uncoupled dynamical problem of thermoelasticity for a half-space under the condition of a thermal impact with a finite rate of change in temperature on its boundary is solved by the method of principal (fundamental) functions within the framework of a generalized theory of heat conduction.An elastic steel half-space is analyzed as an illustration. The problem on thermal stresses originating in an elastic half-space due to thermal impact produced by a jump change in temperature on the boundary was first analyzed in [1]. Since the temperature change on the boundary occurs at a finite rate, it is generally impossible to realize the thermal impact considered in [1] physically. The dynamic effects in an elastic half-space under a thermal impact with finite rate of change in the temperature on the boundary have been studied in [2]. For high rates of change of the heat flux we obtain a generalized wave equation of heat conduction [3] taking into account the finite velocity of heat propagation. Hence, the solution of the ordinary parabolic heat conduction equation used in [1, 2] does not correspond to the true temperature field. The problems of [1, 2] have been examined in [4, 5], respectively, within the framework of a generalized theory of heat conduction.     

Convergence results for obstacle problems on metric spaces

Let X be a complete metric space equipped with a doubling Borel measure supporting a p-Poincaré inequality. We obtain various convergence results for the single and double obstacle problems on open subsets of X. In particular, we consider single and double obstacle problems with fixed obstacles and boundary data on an increasing sequence of open sets.     

On the Carleson duality

As a tool for solving the Neumann problem for divergence-form equations, Kenig and Pipher introduced the space ${\mathcal{X}}$ of functions on the half-space, such that the non-tangential maximal function of their L ₂ Whitney averages belongs to L ₂ on the boundary. In this paper, answering questions which arose from recent studies of boundary value problems by Auscher and the second author, we find the pre-dual of ${\mathcal{X}}$ , and characterize the pointwise multipliers from ${\mathcal{X}}$ to L ₂ on the half-space as the well-known Carleson-type space of functions introduced by Dahlberg. We also extend these results to L _p generalizations of the space ${\mathcal{X}}$ . Our results elaborate on the well-known duality between Carleson measures and non-tangential maximal functions.     

Norming sets and integration with respect to vector measures

Let v be a countably additive measure defined on a measurable space (Ω, Σ) and taking values in a Banach space X. Let f : Ω → ? be a measurable function. In order to check the integrability (respectively, weak integrability) of f with respect to v it is sometimes enough to test on a norming set Λ ⊂ X^*. In this paper we show that this is the case when A is a James boundary for BX^* (respectively, Λ is weak^*-thick). Some examples and applications are given as well.     

Analytic extension and reconstruction of obstacles from few measurements for elliptic second order operators

We deal with an inverse obstacle problem for general second order scalar elliptic operators with real principal part and analytic coefficients near the obstacle. We assume that the boundary of the obstacle is a non-analytic hypersurface. We show that, when we put Dirichlet boundary conditions, one measurement is enough to reconstruct the obstacle. In the Neumann case, we have results only for n = 2, 3 in general. More precisely, we show that one measurement is enough for n = 2 and we need 3 linearly independent inputs for n = 3. However, in the case for the Helmholtz equation, we only need n ? 1 linearly independent inputs, for any n ≥ 2. Here n is the dimension of the space containing the obstacle. These are justified by investigating the analyticity properties of the zero set of a real analytic function. In addition, we give a reconstruction procedure for each case to recover the shape of obstacle. Although we state the results for the scattering problems, similar results are true for the associated boundary value problems.     

Solvability of a Boundary Value Problem for Second-Order Elliptic Differential Operator Equations with a Spectral Parameter in the Equation and in the Boundary Conditions

In a Hilbert space H, we study noncoercive solvability of a boundary value problem for second-order elliptic differential-operator equations with a spectral parameter in the equation and in the boundary conditions in the case where the leading part of one of the boundary conditions contains a bounded linear operator in addition to the spectral parameter. We also illustrate applications of the general results obtained to elliptic boundary value problems.     

On the Navier–Stokes flows for heat-conducting fluids with mixed boundary conditions

We consider a coupled model for steady flows of viscous incompressible heat-conducting fluids with temperature dependent material coefficients in a fixed three-dimensional open cylindrical channel. We introduce the Banach spaces X and Y to be the space of possible solutions of this problem and the space of its data, respectively. We show that the corresponding operator of the problem acting between X and Y is Fréchet differentiable. Applying the local diffeomorphism theorem we get the local solvability results for a variational formulation.