Why Restricted Additive Schwarz Converges Faster than Additive Schwarz

Recently a variant of the additive Schwarz (AS) preconditioner, the restricted additive Schwarz (RAS) preconditioner has been introduced, and numerical experiments showed that RAS converges faster and requires less communication than AS. We show in this paper how RAS, which is defined at the matrix level, can be interpreted as an iteration at the continuous level of the underlying problem. This interpretation reveals why RAS converges faster than classical AS.This revised version was published online in October 2005 with corrections to the Cover Date.     

Weighted integral inequalities for conjugate A-harmonic tensors

We first prove a local weighted integral inequality for conjugate A-harmonic tensors. Then, as an application of our local result, we prove a global weighted integral inequality for conjugate A-harmonic tensors in L^s(μ)-averaging domains, which can be considered as a generalization of the classical result. Finally, we give applications of the above results to quasiregular mappings.     

Generalized Multiplicative Inequalities for Ideal Spaces

We study the problem of completely describing the domains that enjoy the generalized multiplicative inequalities of the embedding theorem type. We transfer the assertions for the Sobolev spaces L _p ¹() to the function classes that result from the replacement of L _p () with an ideal space of vector-functions. We prove equivalence of the functional and geometric inequalities between the norms of indicators and the capacities of closed subsets of . The most comprehensible results relate to the case of the rearrangement invariant ideal spaces.     

An embedding domain approach for a class of 2-d shape optimization problems: mathematical analysis

This contribution combines a shape optimization approach to free boundary value problems of Bernoulli type with an embedding domain technique. A theoretical framework is developed which allows to prove continuous dependence of the primal and dual variables in the resulting saddle point problems with respect to the domain. This ensures the existence of a solution of a related shape optimization problem in a sufficiently large class of admissible domains.     

Construction of triangular DP surface and its application

In this paper, a new type of bivariate basis on a triangle is presented, which is constructed by extending the univariate NTP basis proposed by Delgado and Peña. Some algebraic properties and its recursive formulae are given. Then a new type of surfaces that is called triangular DP surface is defined, and its recursive evaluation algorithm is obtained. Also, in the case of low degree, its subdivision algorithm and degree elevation algorithm are derived. It is shown that this type of surfaces is obviously more advantageous than triangular Bézier surface, and hence extremely useful for geometric design, especially for the situation in which the surface needs to be evaluated quickly.     

关于拟圆性质的评注

设D是扩充复平面R-2中的单连通Jordan真子域,D*=R-2\D-是D的外部.本文肯定并证明 了K.Hag在1999年提出的如下两个悬而未决的问题:(1)D是Cigar域当且仅当D是OLC域; (2)D是Turning域当且仅当D*是Cigar域.     

The generalized dock problem

We show existence and uniqueness for a linearized water wave problem in a two dimensional domain G with corner, formed by two semi-axes Γ₁ and Γ₂ which intersect under an angle α?∈?(0,?π]. The existence and uniqueness of the solution is proved by considering an auxiliary mixed problem with Dirichlet and Neumann boundary conditions. The latter guarantees the existence of the Dirichlet to Neumann map. The water wave boundary value problem is then shown to be equivalent to an equation like v_tt ?+?gΛv?=?P_t with initial conditions, where t stands for time, g is the gravitational constant, P means pressure and Λ is the Dirichlet to Neumann map. We then prove that Λ is a positive self-adjoint operator.     

On v-Domains and Star Operations

Let * be a star operation on an integral domain D. Let f (D) be the set of all nonzero finitely generated fractional ideals of D. Call D a *-Prüfer (respectively, (*, v)-Prüfer) domain if (FF ^?1)* = D (respectively, (F ^v F ^?1)* = D) for all F ∈  f (D). We establish that *-Prüfer domains (and (*, v)-Prüfer domains) for various star operations * span a major portion of the known generalizations of Prüfer domains inside the class of v-domains. We also use Theorem 6.6 of the Larsen and McCarthy book [30 Larsen , M. D. , McCarthy , P. J. ( 1971 ). Multiplicative Theory of Ideals . New York : Academic Press . [Google Scholar]], which gives several equivalent conditions for an integral domain to be a Prüfer domain, as a model, and we show which statements of that theorem on Prüfer domains can be generalized in a natural way and proved for *-Prüfer domains, and which cannot be. We also show that in a *-Prüfer domain, each pair of *-invertible *-ideals admits a GCD in the set of *-invertible *-ideals, obtaining a remarkable generalization of a property holding for the “classical” class of Prüfer v-multiplication domains. We also link D being *-Prüfer (or (*, v)-Prüfer) with the group Inv*(D) of *-invertible *-ideals (under *-multiplication) being lattice-ordered.     

Rings of Formal Power Series in an Infinite Set of Indeterminates

Let α be an infinite cardinal number, Λ be an index set of cardinality > α, and {X _λ}_λ∈Λ be a set of indeterminates over an integral domain D. It is well known that there are three ways of defining the ring of formal power series in {X _λ}_λ∈Λ over D, say, D[[{X _λ}]] _i for i = 1, 2, 3. In this paper, we let D[[{X _λ}]]_α = ∪ {D[[{X _λ}_λ∈Γ]]₃ | Γ ? Λ and |Γ| ≤ α}, and we then show that D[[{X _λ}]]_α is an integral domain such that D[[{X _λ}]]₂ ? D[[{X _λ}]]_α ? D[[{X _λ}]]₃. We also prove that (1) D is a Krull domain if and only if D[[{X _λ}]]_α is a Krull domain and (2) D[[{X _λ}]]_α is a unique factorization domain (UFD) (resp., π-domain) if and only if D[[X ₁,…, X _n ]] is a UFD (resp., π-domain) for every integer n ≥ 1.