A preconditioned domain decomposition algorithm for the solution of the elliptic Neumann problem

A new preconditioned conjugate gradient (PCG)-based domain decomposition method is given for the solution of linear equations arising in the finite element method applied to the elliptic Neumann problem. The novelty of the proposed method is in the recommended preconditioner which is constructed by using cyclic matrix. The resulting preconditioned algorithms are well suited to parallel computation.     

A Hilbert Space Approach to Bounded Analytic Interpolation

We generalize several results on bounded analytic interpolation of Fitzgerald and Horn, which work by majorization by positive definite kernels, to the cases of several complex variables and operator-valued interpolation. Using a lemma of Kolmogorov, we complement a simplification due to Szafraniec in the proofs of the theorems. Received: November 21, 2006. Accepted: August 03, 2007.     

Semi-implicit complementary volume scheme for solving level set like equations in image processing and curve evolution

Summary. We introduce linear semi-implicit complementary volume numerical scheme for solving level set like nonlinear degenerate diffusion equations arising in image processing and curve evolution problems. We study discretization of image selective smoothing equation of mean curvature flow type given by Alvarez, Lions and Morel ([3]). Solution of the level set equation of Osher and Sethian ([26], \[30]) is also included in the study. We prove and estimates for the proposed scheme and give existence of its (generalized) solution in every discrete time-scale step. Efficiency of the scheme is given by its linearity and stability. Preconditioned iterative solvers are used for computing arising linear systems. We present computational results related to image processing and plane curve evolution. Received April 25, 2000 / Revised version received June 11, 2001 / Published online November 15, 2001     

On the bidirectional vortex and other similarity solutions in spherical coordinates

The bidirectional vortex refers to the bipolar, coaxial swirling motion that can be triggered, for example, in cyclone separators and some liquid rocket engines with tangential aft-end injectors. In this study, we present an exact solution to describe the corresponding bulk motion in spherical coordinates. To do so, we examine both linear and nonlinear solutions of the momentum and vorticity transport equations in spherical coordinates. The assumption will be that of steady, incompressible, inviscid, rotational, and axisymmetric flow. We further relate the vorticity to some power of the stream function. At the outset, three possible types of similarity solutions are shown to fulfill the momentum equation. While the first type is incapable of satisfying the conditions for the bidirectional vortex, it can be used to accommodate other physical settings such as Hill’s vortex. This case is illustrated in the context of inviscid flow over a sphere. The second leads to a closed-form analytical expression that satisfies the boundary conditions for the bidirectional vortex in a straight cylinder. The third type is more general and provides multiple solutions. The spherical bidirectional vortex is derived using separation of variables and the method of variation of parameters. The three-pronged analysis presented here increases our repertoire of general mean flow solutions that rarely appear in spherical geometry. It is hoped that these special forms will permit extending the current approach to other complex fluid motions that are easier to capture using spherical coordinates.     

The category of varieties and interpretations is alg-universal

A category is said to be alg-universal if every category of universal algebras can be fully embedded into it. We prove here that the category of varieties and interpretations, or in other words, the category of abstract clones and clone homomorphisms, is alg-universal.     

Asymptotic and boundary integral formulae for the computational reconstruction of small conductivity imperfections

In this paper we investigate the electrostatic problem of determining conductivity profiles from the knowledge of boundary currents and voltages. We obtain an improved estimate for the voltage potential of a two-dimensional conductor having finitely many circular inclusions and piecewise constant conductivity profile. We derive an asymptotic expansion for the voltage potential in terms of the reference voltage potential and the location, size, and conductivity of the inhomogeneities. This representation is used to formulate the nonlinear least squares problem for estimating the location and size of the inhomogeneities. Required boundary data for the voltage potential are generated numerically by solving a system of integral equations. Computational experiments are presented to demonstrate the effectiveness of our identification procedure.     

Metric marginal problems for set-valued or non-measurable variables

Summary In a separable metric space, if two Borel probability measures (laws) are nearby in a suitable metric, then there exist random variables with those laws which are nearby in probability. Specifically, by a well-known theorem of Strassen, the Prohorov distance between two laws is the infimum of Ky Fan distances of random variables with those laws. The present paper considers possible extensions of Strassen's theorem to two random elements one of which may be (compact) set-valued and/or non-measurable. There are positive results in finite-dimensional spaces, but with factors depending on the dimension. Examples show that such factors cannot entirely be avoided, so that the extension of Strassen's theorem to the present situation fails in infinite dimensions.This research was partially supported by a Guggenheim Fellowship, by National Science Foundation grant DMS 8505550 at MSRI-Berkeley, and other NSF grants     

深紫外无机非线性光学晶体硼铍酸锶及其分子工程学探索方法

阐述了紫外无机非线性光学晶体分子工程学探索方法的基本特点，具体分析深紫外无机非线性光学晶体硼铍酸锶（ＳＢＢＯ）以氟硼铍酸钾（ＫＢＢＦ）为主要参考晶体的分子设计方法，随后根据晶体结构研究、单晶培养、和非线性光学性能测定等实验结果讨论ＳＢＢＯ作为新型深紫外无机晶体的主要优点，即它既具有更短的紫外吸收边（接近１５５ｎｍ）和较大的非线性光学系数（ｄ２２（ＳＢＢＯ）＝０６×ｄ２２（ＢＢＯ）＝１３８ｐｍ／Ｖ），同时晶体无明显层状习性，并肯有良好的化学稳定性和机械性能     

Laser stabilitron

We consider a new method for producing intensity stabilization of cw lasers. This method incorporates negative feedback from a nonlinear saturable absorber to provide wideband noise-reduction and may produce an output beam for which shot noise is below the quantum limit. This new method can be used with a large variety of cw lasers and is particularly applicable to frequency-stabilized lasers which are locked to absorption lines.Permanent address: Institute of Laser Physics, Novosibirsk 630090, Russia     

Banach-stone theorems and separating maps

LetC(X,E) andC(Y,F) denote the spaces of continuous functions on the Tihonov spacesX andY, taking values in the Banach spacesE andF, respectively. A linear mapH:C(X,E)→C(Y,F) isseparating iff(x)g(x)=0 for allx inX impliesHf(y)Hg(y)=0 for ally inY. Some automatic continuity properties and Banach-Stone type theorems (i.e., asserting that isometries must be of a certain form) for separating mapsH between spaces of real- and complex-valued functions have already been developed. The extension of such results to spaces of vector-valued functions is the general subject of this paper. We prove in Theorem 4.1, for example, for compactX andY, that a linear isometryH betweenC(X,E) andC(Y,F) is a “Banach-Stone” map if and only ifH is “biseparating (i.e,H andH ⁻¹ are separating). The Banach-Stone theorems of Jerison and Lau for vector-valued functions are then deduced in Corollaries 4.3 and 4.4 for the cases whenE andF or their topological duals, respectively, are strictly convex. Research supported by the Fundació Caixa Castelló, MI/25.043/92