Generalized Continuous Posets and a New Cartesian Closed Category

With every subset selection for posets, there is associated a certain ideal completion . As shown by Erné, such completions help to extend classical results on domains and similar structures in the absence of the required joins. Some results about –predistributive or –precontinuous posets and –continuous functions are summarized and supplemented. In particular, several central results on function spaces in domain theory are extended to the setting of productive closed subset selections. The category FSBP, in which objects are finitely separated and upper bounded posets and arrows are continuous functions between them, is shown to be cartesian closed. This research is supported by the National Natural Science Foundation of China, 10471035.     

Extremal stochastic integrals: a parallel between max-stable processes and α-stable processes

We construct extremal stochastic integrals of a deterministic function with respect to a random Fréchet () sup-measure. The measure is sup-additive rather than additive and is defined over a general measure space , where is a deterministic control measure. The extremal integral is constructed in a way similar to the usual stable integral, but with the maxima replacing the operation of summation. It is well-defined for arbitrary , and the metric metrizes the convergence in probability of the resulting integrals.This approach complements the well-known de Haan's spectral representation of max-stable processes with Fréchet marginals. De Haan's representation can be viewed as the max-stable analog of the LePage series representation of stable processes, whereas the extremal integrals correspond to the usual stable stochastic integrals. We prove that essentially any strictly stable process belongs to the domain of max-stable attraction of an Fréchet, max-stable process. Moreover, we express the corresponding Fréchet processes in terms of extremal stochastic integrals, involving the kernel function of the stable process. The close correspondence between the max-stable and stable frameworks yields new examples of max-stable processes with non-trivial dependence structures.This research was partially supported by a fellowship of the Horace H. Rackham School of Graduate Studies at the University of Michigan and the NSF Grant DMS-0505747 at Boston University.     

Boundedly UC Spaces and Topologies on Function Spaces

A new interesting topology on graphs of partial maps is introduced. This topology can be considered as a natural extension to a non locally compact setting of former topologies defined by P. Brandi, R. Ceppitelli and K. Back, having applications in mathematical economics, differential equations and in the convergence of dynamic programming models. New characterizations of boundedly Atsuji spaces are given by the coincidence of and the topology τ _ucb of uniform convergence on bounded sets on C(X,Y) and by topological properties of .      

On ideals and quotients of A \mathcal{T} -algebras

Some results on A -algebras are given. We study the problem when ideals, quotients and hereditary subalgebras of A -algebras are A -algebras or A -algebras, and give a necessary and sufficient condition of a hereditary subalgebra of an A -algebra being an A -algebra.     

Quasilinearization and curvature of Aleksandrov spaces

We present a new distance characterization of Aleksandrov spaces of non-positive curvature. By introducing a quasilinearization for abstract metric spaces we draw an analogy between characterization of Aleksandrov spaces and inner product spaces; the quasi-inner product is defined by means of the quadrilateral cosine—a metric substitute for the angular measure between two directions at different points. Our main result states that a geodesically connected metric space is an Aleksandrov domain (also known as a CAT(0) space) if and only if the quadrilateral cosine does not exceed one for every two pairs of distinct points in . We also observe that a geodesically connected metric space is an domain if and only if, for every quadruple of points in , the quadrilateral inequality (known as Euler’s inequality in ) holds. As a corollary of our main result we give necessary and sufficient conditions for a semimetric space to be an domain. Our results provide a complete solution to the Curvature Problem posed by Gromov in the context of metric spaces of non-positive curvature.      

Boundary Limits for Bounded Quasiregular Mappings

In this paper we establish results on the existence of nontangential limits for weighted -harmonic functions in the weighted Sobolev space , for some q>1 and w in the Muckenhoupt A _q class, where is the unit ball in . These results generalize the ones in Sect. 3 of Koskela et al., Trans. Am. Math. Soc. 348(2), 755–766, 1996, where the weight was identically equal to one. Weighted -harmonic functions are weak solutions of the partial differential equation

Analytic properties in the spectrum of certain Banach algebras

We show a sufficient condition for a domain in to be a H ^∞-domain of holomorphy. Furthermore if a domain has the Gleason property at a point and the projection of the n − 1th order generalized Shilov boundary does not coincide with Ω then is schlicht. We also give two examples of pseudoconvex domains in which the spectrum is non-schlicht and satisfy several other interesting properties.      

Coherence for Product Monoids and their Actions

Let and be two monoids (algebras) in a monoidal category . Further let be a distributive law in the sense of [J. Beck, Lect. Notes Math., 80:119–140, 1969]; naturally yields a monoid . Consider a word in the symbols , , and . The first coherence theorem proved in this paper asserts that all morphisms coincide in , provided they arise as composites of morphisms which are -products of ’s ‘canonical’ structure morphisms, and of , , , , , , , and . Assume now that an object is endowed with both an -object structure , and an -object structure . Further assume that these two structures are compatible, in the sense that they naturally yield an -object . Let be a word in , , , and , which contains a single instance of , in the rightmost position. The second coherence theorem states that all morphisms coincide in , provided they arise as composites of morphisms which are -products of ’s ‘canonical’ structure morphisms, and of , , , , , , , , , and .     

Compact solutions to the equation Tx = y in a weakly closed $$ \mathcal{T}(\mathcal{N}) $$-module

Given two vectors x, y in a Hilbert space and a weakly closed -module , we provide a necessary and sufficient condition for the existence of a compact operator T in satisfying Tx = y.     

On the Intertwining of \partial{\mathcal{D}}-Isometries

Let be a strictly pseudoconvex bounded domain in with C ² boundary . If a subnormal m-tuple T of Hilbert space operators has the spectral measure of its minimal normal extension N supported on , then T is referred to as a -isometry. Using some non-trivial approximation theorems in the theory of several complex variables, we establish a commutant lifting theorem for those -isometries whose (joint) Taylor spectra are contained in a special superdomain Ω of . Further, we provide a function-theoretic characterization of those subnormal tuples whose Taylor spectra are contained in Ω and that are quasisimilar to a certain (fixed) -isometry T (of which the multiplication tuple on the Hardy space of the unit ball in is a rather special example). Submitted: September 9, 2007. Revised: October 10, 2007. Accepted: October 24, 2007.     

Weak Barriers in Nonlinear Potential Theory

We characterize regular boundary points for p-harmonic functions using weak barriers. We use this to obtain some consequences on boundary regularity. The results also hold for -harmonic functions under the usual assumptions on , and for Cheeger p-harmonic functions in metric spaces.      

Quasi-regular Dirichlet Forms and L^p-resolvents on Measurable Spaces

We prove that for any semi-Dirichlet form on a measurable Lusin space E there exists a Lusin topology with the given -algebra as the Borel -algebra so that becomes quasi-regular. However one has to enlarge E by a zero set. More generally a corresponding result for arbitrary -resolvents is proven.     

Meromorphic approximation theorem in a Stein space

We prove the meromorphic version of the Weil–Oka approximation theorem in a reduced Stein space X and give some characterizations of meromorphically -convex open sets of X. As an application we prove that for every meromorphically -convex open set D of a reduced Stein space X with no isolated points there exists a family of holomorphic functions on X such that the normality domain of coincides with D. Mathematics Subject Classification (2000)  32E10, 32C15, 32E30, 32A19     

Two-parameter p, q-variation Paths and Integrations of Local Times

In this paper, we prove two main results. The first one is to give a new condition for the existence of two-parameter -variation path integrals. Our condition of locally bounded -variation is more natural and easy to verify than those of Young. This result can be easily generalized to multi-parameter case. The second result is to define the integral of local time pathwise and then give generalized It’s formula when is only of bounded -variation in . In the case that is of locally bounded variation in , the integral is the Lebesgue–Stieltjes integral and was used by Elworthy, Truman and Zhao. When is of only locally -variation, where , , and , the integral is a two-parameter Young integral of -variation rather than a Lebesgue–Stieltjes integral. In the special case that is independent of , we give a new condition for Meyer's formula and is defined pathwise as a Young integral. For this we prove the local time is of -variation in for each , for each almost surely (-variation in the sense of Lyons and Young, i.e. ).     

On the expansion of the resolvent for elliptic boundary contact problems

Let A be an elliptic operator on a compact manifold with boundary , and let be a covering map, where Y is a closed manifold. Let A _C be a realization of A subject to a coupling condition C that is elliptic with parameter in the sector Λ. By a coupling condition we mean a nonlocal boundary condition that respects the covering structure of the boundary. We prove that the resolvent trace for N sufficiently large has a complete asymptotic expansion as . In particular, the heat trace has a complete asymptotic expansion as , and the -function has a meromorphic extension to .      

Global error bounds for the extended vertical LCP

A new necessary and sufficient condition for the row -property is given. By using this new condition and a special row rearrangement, we provide two global error bounds for the extended vertical linear complementarity problem under the row -property, which extend the error bounds given in Chen and Xiang (Math. Program. 106:513–525, 2006) and Mathias and Pang (Linear Algebra Appl. 132:123–136, 1990) for the P-matrix linear complementarity problem, respectively. We show that one of the new error bounds is sharper than the other, and it can be computed easily for some special class of the row -property block matrix. Numerical examples are given to illustrate the error bounds. The work was in part supported by a Grant-in-Aid from Japan Society for the Promotion of Science, and the National Natural Science Foundation of China (10671010).     

On some types of radical classes

Let be an infinite cardinal. We denote by the collection of all -representable Boolean algebras. Further, let be the collection of all generalized Boolean algebras B such that for each b ∈ B, the interval [0, b] of B belongs to . In this paper we prove that is a radical class of generalized Boolean algebras. Further, we investigate some related questions concerning lattice ordered groups and generalized MV-algebras. This work was supported by Science and Technology Assistance Agency under the contract No. APVT-51-032002. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information.     

The \bar \partial -Neumann operator and commutators of the Bergman projection and multiplication operators

We prove that compactness of the canonical solution operator to restricted to (0, 1)-forms with holomorphic coefficients is equivalent to compactness of the commutator defined on the whole L _(0,1)²(Ω), where is the multiplication by and is the orthogonal projection of L _(0,1)²(Ω) to the subspace of (0, 1) forms with holomorphic coefficients. Further we derive a formula for the -Neumann operator restricted to (0, 1) forms with holomorphic coefficients expressed by commutators of the Bergman projection and the multiplications operators by z and . Partially supported by the FWF grant P19147-N13.     

Duality gap of the conic convex constrained optimization problems in normed spaces

In this paper, motivated by a result due to Champion [Math. Program.99, 2004], we introduce a property for a conic quasi-convex vector-valued function in a general normed space. We prove that this property characterizes the zero duality gap for a class of the conic convex constrained optimization problem in the sense that if this property is satisfied and the objective function f is continuous at some feasible point, then the duality gap is zero, and if this property is not satisfied, then there exists a linear continuous function f such that the duality gap is positive. We also present some sufficient conditions for the property The work of this author was partially supported by the National Natural Sciences Grant (No. 10671050) and the Excellent Young Teachers Program of MOE,  P.R.C.