On Local ☆-Completely Integrally Closed Domains

Let ☆ be a star operation on an integral domain R. The domain R is a ☆-CICD if (AA ^?1)^☆ = R for all nonzero (fractional) ideals A of R. In this article, we prove that, if the maximal ideal of a local ☆-CICD is a ☆-ideal, then R is ☆-principal ideal domain. We also establish that any ☆-CICD R is locally a PID when ☆ is induced by the localizations at prime ideals of R.     

Ascending Nets of Prüfer V-Multiplication Domains

Abstract

Let D be an integral domain, S ? D a multiplicative set such that aD _S  ∩ D is a principal ideal for each a ∈ D and let D ^(S) = ? _s∈S D[X/s]. It is known that if D is a Prüfer v-multiplication domain (resp., generalized GCD domain, GCD domain), then so is D ^(S) respectively. When D is a Noetherian domain, we obtain a similar result for the power series analog D ^((S)) = ? _s∈S D[[X/s]] of D ^(S). Our approach takes care simultaneously of both cases D ^(S) and D ^((S)).     

Transfer of Krull Dimension,Lying-Over,and Going-Down to the Fixed Ring

Let G be a group acting via ring automorphisms on a commutative unital ring R. If Spec(R) has no infinite antichains and either R a domain or G finitely generated, then R ^G  ? R has the lying-over property. If R is semiquasilocal and dim(R) = 0, then dim(R ^G ) = 0. If 1 ≤ d ≤ ∞, new examples are given such that d = dim(R) ≠ dim(R ^G ) < ∞. If G is locally finite on R, then R ^G  ? R satisfies universally going-down. Consequently, if G is locally finite, the S-domain, strong S-domain and universally strong S-domain properties descend from R to R ^G . If R is a domain, then G is locally finite on R ? R is integral over R ^G . One cannot delete the “domain” hypothesis.     

Crossed products and blocks with normal defect groups

Abstract

Let D be an integral domain. A multiplicative set S of D is an almost splitting set if for each 0 ≠ d ∈ D, there exists an n = n(d) with d ⁿ  = st where s ∈ S and t is v-coprime to each element of S. An integral domain D is an almost GCD (AGCD) domain if for every x, y ∈ D, there exists a positive integer n = n(x, y) such that x ⁿ D ∩ y ⁿ D is a principal ideal. We prove that the polynomial ring D[X] is an AGCD domain if and only if D is an AGCD domain and D[X] ? D′[X] is a root extension, where D′ is the integral closure of D. We also show that D + XD _S [X] is an AGCD domain if and only if D and D _S [X] are AGCD domains and S is an almost splitting set.     

Logarithmic Bounds on Sobolev Norms for Time Dependent Linear Schrödinger Equations

We consider the Aharonov–Bohm effect for the Schrödinger operator H = (?i? _x  ? A(x))² + V(x) and the related inverse problem in an exterior domain Ω in R ² with Dirichlet boundary condition. We study the structure and asymptotics of generalized eigenfunctions and show that the scattering operator determines the domain Ω and H up to gauge equivalence under the equal flux condition. We also show that the flux is determined by the scattering operator if the obstacle Ω ^c is convex.     

On Pseudo-Almost Valuation Domains

Let R be an integral domain with quotient field K and integral closure R ^′. Anderson and Zafrullah called R an “almost valuation domain” if for every nonzero x ∈ K, there is a positive integer n such that either x ⁿ  ∈ R or x ^?n  ∈ R. In this article, we introduce a new closely related class of integral domains. We define a prime ideal P of R to be a “pseudo-strongly prime ideal” if, whenever x, y ∈ K and xyP ? P, then there is a positive integer m ≥ 1 such that either x ^m  ∈ R or y ^m P ? P. If each prime ideal of R is a pseudo-strongly prime ideal, then R is called a “pseudo-almost valuation domain” (PAVD). We show that the class of valuation domains, the class of pseudo-valuation domains, the class of almost valuation domains, and the class of almost pseudo-valuation domains are properly contained in the class of pseudo-almost valuation domains; also we show that the class of pseudo-almost valuation domains is properly contained in the class of quasilocal domains with linearly ordered prime ideals. Among the properties of PAVDs, we show that an integral domain R is a PAVD if and only if for every nonzero x ∈ K, there is a positive integer n ≥ 1 such that either x ⁿ  ∈ R or ax ^?n  ∈ R for every nonunit a ∈ R. We show that pseudo-almost valuation domains are precisely the pullbacks of almost valuation domains, we characterize pseudo-almost valuation domains of the form D + M, and we use this characterization to construct PAVDs that are not almost valuation domains. We show that if R is a Noetherian PAVD, then R has Krull dimension at most one and R ^′ is a valuation domain; we show that every overring of a PAVD R is a PAVD iff R ^′ is a valuation domain and every integral overring of R is a PAVD.     

W2, p estimates of the heat equation in Ω⊂ℝn and the restrictions on ∂Ω

This is an alternative approach of finding the W^{2, p} estimates of the heat equation in a domain, Ω??ⁿ. Methods used in (Acta Math. Sin. 2003; 19 (2):381–396) are expanded to the case of a bounded domain. As a result, milder restrictions are applied to ?Ω than previously required by using the classical singular integral approach. Copyright © 2005 John Wiley & Sons, Ltd.     

Analysis and convergence of a MAC-like scheme for the generalized Stokes problem

We introduce a MAC-like scheme (a covolume method on rectangular grids) for approximating the generalized Stokes problem on an axiparallel domain. Two staggered grids are used in the derivation of the discretization. The velocity is approximated by conforming bilinears over rectangular elements, and the pressure by piecewise constants over macro-rectangular elements. The error in the velocity in the H¹ norm and the pressure in the L² norm are shown to be of first order, provided that the exact velocity is in H² and the exact pressure in H¹, and that the partition family of the domain is regular. © 1997 John Wiley & Sons, Inc.     

The Cauchy Problem for Defocusing Nonlinear Schrödinger Equations with Non-Vanishing Initial Data at Infinity

For rather general nonlinearities, we prove that defocusing nonlinear Schrödinger equations in ? ⁿ (n ≤ 4), with non-vanishing initial data at infinity u ₀, are globally well-posed in u ₀ + H ¹. The same result holds in an exterior domain in ? ⁿ , n = 2, 3.     

Operatori pseudo-differenziali inR n e applicazioni

Summary In §1 we study a class of pseudo-differential operators inR ⁿ. In §3 the results obtained in §§1, 2 are applied to study of an elliptic boundary value problem in the exterior of a bounded domain ofR ⁿ for differential operators whose coefficients have a polynomial growth to infinity. Entrata in Redazione il 23 marzo 1972.     

Nonexistence of Global Solutions to Nonlinear Stochastic Wave Equations in Mean L p -Norm

This article is concerned with explosive solutions of the initial-boundary problem for a class of nonlinear stochastic wave equations in a domain 𝒟 ? ? ^d . Under appropriate conditions on the initial data, the nonlinear term and the noise intensity, it is proved in Theorem 3.4 that there cannot exist a global solution and the local solution will blow up at a finite time in the mean L ^p  ? norm for p ≥ 1. An example is given to show the application of this theorem.     

On numerical solution of stochastic partial differential equations of elliptic type

We study lattice approximations of stochastic PDEs of elliptic type, driven by a white noise on a bounded domain in ? ^d , for d = 1, 2, 3. We obtain estimates for the rate of convergence of the approximations.     

A Priori Error Estimates for Finite Element Methods for H (2,1)-Elliptic Equations

The convergence of finite element methods for linear elliptic boundary value problems of second and forth order is well understood. In this article, we introduce finite element approximations of some linear semi-elliptic boundary value problem of mixed order on a two-dimensional rectangular domain Q. The equation is of second order in one direction and forth order in the other and appears in the optimal control of parabolic partial differential equations if one eliminates the control and the state (or the adjoint state) in the first order optimality conditions. We establish a regularity result and estimate for the finite element error of conforming approximations of this equation. The finite elements in use have a tensor product structure, in one dimension we use linear, quadratic or cubic Lagrange elements in the other dimension cubic Hermite elements. For these elements, we prove the error bound O(h ² + τ ^k ) in the energy norm and O((h ² + τ ^k )(h ² + τ)) in the L ²(Q)-norm.     

The Bézout equation for functions of log‐type growth in convex domains of finite type

The aim of this paper is to solve a division problem for the algebra of functions, which are holomorphic in a domain D ? C ⁿ, n > 1, and grow near the boundary not faster than some power of –log dist(z, bD). The domain D is assumed to be smoothly bounded and convex of finite d'Angelo type (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

When the v-Operation Distributes over Intersections

Let D be an integral domain. We investigate when (∩ A_α) ?¹ = ∑ A_α ?¹ or (∩ A_α) ?¹ =(∑ A_α ?¹)_v (equivalently, (∩ A _α) _v  = ∩(A _α) _v ) for certain families {A _α} of nonzero fractional ideals of D.     

A note on skew differential operators on commutative rings

Let A be a commutative integral domain that is a finitely generated algebra over a field k of characteristic 0 and let ø be a k-algebra automorphism of A of finite order m. In this note we study the ring D(A;ø of differential operators introduced by A.D. Bell. We prove that if A is a free module over the fixed sub-ring A ^ø, with a basis containing 1, then D(A;ø) is isomorphic to the matrix ring M_m(D(A ^ø). It follows from Grothendieck's Generic Flatness Theorem that for an arbitrary A there is an element c?Asuch that D(A[c^-1];ø)?M _m(D(A[c^-1]^ø)). As an application, we consider the structure of D(A;ø)when A is a polynomial or Laurent polynomial ring over k and ø is a diagonalizable linear automorphism.     

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.     

Existence of Insensitizing Controls for a Semilinear Heat Equation with a Superlinear Nonlinearity

Abstract

In this paper we consider a semilinear heat equation (in a bounded domain Ω of ? ^N ) with a nonlinearity that has a superlinear growth at infinity. We prove the existence of a control, with support in an open set ω ? Ω, that insensitizes the L ² ? norm of the observation of the solution in another open subset 𝒪 ? Ω when ω ∩ 𝒪 ≠ ?, under suitable assumptions on the nonlinear term f(y) and the right hand side term ξ of the equation. The proof, involving global Carleman estimates and regularizing properties of the heat equation, relies on the sharp study of a similar linearized problem and an appropriate fixed-point argument. For certain superlinear nonlinearities, we also prove an insensitivity result of a negative nature. The crucial point in this paper is the technique of construction of L ^r -controls (r large enough) starting from insensitizing controls in L ².     

Self-concordant barriers for hyperbolic means

The geometric mean and the function (det(·)) ^1/m (on the m-by-m positive definite matrices) are examples of “hyperbolic means”: functions of the form p ^1/m , where p is a hyperbolic polynomial of degree m. (A homogeneous polynomial p is “hyperbolic” with respect to a vector d if the polynomial t↦p(x+td) has only real roots for every vector x.) Any hyperbolic mean is positively homogeneous and concave (on a suitable domain): we present a self-concordant barrier for its hypograph, with barrier parameter O(m ²). Our approach is direct, and shows, for example, that the function −mlog(det(·)−1) is an m ²-self-concordant barrier on a natural domain. Such barriers suggest novel interior point approaches to convex programs involving hyperbolic means. Received: December 2, 1999 / Accepted: February 2001?Published online September 3, 2001