ESTIMATES ON EIGENVALUES FOR THE BIHARMONIC OPERATOR ON A BOUNDED DOMAIN IN H~n（-1）

In this paper, we consider eigenvalues of the Dirichlet biharmonic operator on a bounded domain in a hyperbolic space. We obtain universal bounds on the (k + 1)th eigenvalue in terms of the first kth eigenvalues independent of the domains.     

Universal inequalities for lower order eigenvalues of self-adjoint operators and the poly-Laplacian

In this paper, we first establish an abstract inequality for lower order eigenvalues of a self-adjoint operator on a Hilbert space which generalizes and extends the recent results of Cheng et al. （Calc. Var. Partial Differential Equations, 38, 409-416 （2010））. Then, making use of it, we obtain some universal inequalities for lower order eigenvalues of the biharmonic operator on manifolds admitting some speciM functions. Moreover, we derive a universal inequality for lower order eigenvalues of the poly-Laplacian with any order on the Euclidean space.     

Universal bounds for eigenvalues of the biharmonic operator on Riemannian manifolds

In this paper we consider eigenvalues of the Dirichlet biharmonic operator on compact Riemannian manifolds with boundary (possibly empty) and prove a general inequality for them. By using this inequality, we study eigenvalues of the Dirichlet biharmonic operator on compact domains in a Euclidean space or a minimal submanifold of it and a unit sphere. We obtain universal bounds on the (k+1)th eigenvalue on such objects in terms of the first k eigenvalues independent of the domains. The estimate for the (k+1)th eigenvalue of bounded domains in a Euclidean space improves an important inequality obtained recently by Cheng and Yang.     

Classification of contractively complemented Hilbertian operator spaces

We construct some separable infinite-dimensional homogeneous Hilbertian operator spaces and , which generalize the row and column spaces R and C (the case m=0). We show that a separable infinite-dimensional Hilbertian JC^∗-triple is completely isometric to one of , , , or the space Φ spanned by creation operators on the full anti-symmetric Fock space. In fact, we show that (respectively ) is completely isometric to the space of creation (respectively annihilation) operators on the m (respectively m+1) anti-symmetric tensors of the Hilbert space. Together with the finite-dimensional case studied in [M. Neal, B. Russo, Representation of contractively complemented Hilbertian operator spaces on the Fock space, Proc. Amer. Math. Soc. 134 (2006) 475-485], this gives a full operator space classification of all rank-one JC^∗-triples in terms of creation and annihilation operator spaces.We use the above structural result for Hilbertian JC^∗-triples to show that all contractive projections on a C^∗-algebra A with infinite-dimensional Hilbertian range are “expansions” (which we define precisely) of normal contractive projections from A** onto a Hilbertian space which is completely isometric to R, C, R∩C, or Φ. This generalizes the well-known result, first proved for B(H) by Robertson in [A.G. Robertson, Injective matricial Hilbert spaces, Math. Proc. Cambridge Philos. Soc. 110 (1991) 183-190], that all Hilbertian operator spaces that are completely contractively complemented in a C^∗-algebra are completely isometric to R or C. We use the above representation on the Fock space to compute various completely bounded Banach-Mazur distances between these spaces, or Φ.     

Universal and homogeneous structures on the Urysohn and Gurarij spaces

Using Fraïssé theoretic methods we enrich the Urysohn universal space by universal and homogeneous closed relations, retractions, closed subsets of the product of the Urysohn space itself and some fixed compact metric space, L-Lipschitz map to a fixed Polish metric space. The latter lifts to a universal linear operator of norm L on the Lispchitz-free space of the Urysohn space.Moreover, we enrich the Gurarij space by a universal and homogeneous closed subspace and norm one projection onto a 1-complemented subspace. We construct the Gurarij space by the classical Fraïssé theoretic approach.     

On universal formal power series

The point source of this work is Seleznev's theorem which asserts the existence of a power series which satisfies universal approximation properties in C^∗. The paper deals with a strengthened version of this result. We establish a double approximation theorem on formal power series using a weighted backward shift operator. Moreover we give strong conditions that guarantee the existence of common universal series of an uncountable family of weighted backward shift with respect to the simultaneous approximation. Finally we obtain results on admissible growth of universal formal power series. We especially prove that you cannot control the defect of analyticity of such a series even if there exist universal series in the well-known intersection of formal Gevrey classes.     

Closed operator ideals and interpolation

We consider closed operator ideals, which mean operator ideals A whose components A(E, F) are closed subspaces of the space L(E, F). Using interpolation techniques, we obtain general results on products of closed ideals. Furthermore, we investigate which closed ideals A possess the factorization property, i.e., each operator of A factors through a space with the related property “A”. Applications of these results yield the answer to some open questions in ideal theory.     

Banach spaces of universal disposition

In this paper we present a method to obtain Banach spaces of universal and almost-universal disposition with respect to a given class M of normed spaces. The method produces, among others, the only separable Banach space of almost-universal disposition with respect to the class F of finite-dimensional spaces (Gurari? space G); or the only, under CH, Banach space with density character the continuum which is of universal disposition with respect to the class S of separable spaces (Kubis space K). We moreover show that K is isomorphic to an ultrapower of the Gurari? space and that it is not isomorphic to a complemented subspace of any C(K)-space. Other properties of spaces of universal disposition are also studied: separable injectivity, partially automorphic character and uniqueness.     

A Newton-like method and its application

In this paper we prove an existence and uniqueness theorem for solving the operator equation F(x)+G(x)=0, where F is a Gateaux differentiable continuous operator while the operator G satisfies a Lipschitz-condition on an open convex subset of a Banach space. As corollaries, a theorem of Tapia on a weak Newton's method and the classical convergence theorem for modified Newton-iterates are deduced. An existence theorem for a generalized Euler-Lagrange equation in the setting of Sobolev space is obtained as a consequence of the main theorem. We also obtain a class of Gateaux differentiable operators which are nowhere Frechet differentiable. Illustrative examples are also provided.     

Gaussian white noise with trajectories in the space S′(H)

In this paper we construct a Gaussian white noise with trajectories in the space of generalized functions over S with values in a separable Hilbert space H. We obtain a solution to the Cauchy problem for a linear differential-operator equation with additive white noise as a generalized random process with trajectories in the space of exponential distributions. We prove the existence of a solution in the case when the operator coefficient A generates a C ₀-semigroup and in the case when A generates an integrated semigroup.     

Characterization of pseudodifferential operators in Hölder-Zygmund spaces

We consider pseudodifferential operators with symbols of the Hörmander class S _{1, δ} ^m , 0 ≤ δ < 1, in Hölder-Zygmund spaces on ? ⁿ and obtain a Beals-type characterization of such operators. By way of application, we show that the inverse of a pseudodifferential operator invertible in a Hölder-Zygmund space is itself a pseudodifferential operator, and hence, the spectra of a pseudodifferential operator in the space L ₂ and in the Hölder-Zygmund spaces coincide as sets.     

Asymptotic formulas for fundamental solutions of the Dirac system with complex-valued integrable potential

We study the Dirac operator with a complex-valued integrable potential in the space ? = L ₂[0, π]⊕L ₂[0, π]. We obtain asymptotic formulas for a fundamental solution system of an operator. Remainders in each of the formulas are estimated.     

Matrix regular operator space and operator system

We establish a relationship between Schreiner's matrix regular operator space and Werner's (nonunital) operator system. For a matrix ordered operator space V with complete norm, we show that V is completely isomorphic and complete order isomorphic to a matrix regular operator space if and only if both V and its dual space V^∗ are (nonunital) operator systems.     

Inequalities for lower order eigenvalues of second order elliptic operators in divergence form on Riemannian manifolds

In this paper, we investigate the Dirichlet eigenvalue problems of second order elliptic operators in divergence form on bounded domains of complete Riemannian manifolds. We discuss the cases of submanifolds immersed in a Euclidean space, Riemannian manifolds admitting spherical eigenmaps, and Riemannian manifolds which admit l functions ${f_\alpha : M \longrightarrow \mathbb{R}}$ such that ${\langle \nabla f_\alpha, \nabla f_\beta \rangle = \delta_{\alpha \beta}}$ and Δf _α = 0, where ? is the gradient operator. Some inequalities for lower order eigenvalues of these problems are established. As applications of these results, we obtain some universal inequalities for lower order eigenvalues of the Dirichlet Laplacian problem. In particular, the universal inequality for eigenvalues of the Laplacian on a unit sphere is optimal.     

Contraction mappings underlying undiscounted Markov decision problems

This paper is concerned with the properties of the value-iteration operator0 which arises in undiscounted Markov decision problems. We give both necessary and sufficient conditions for this operator to reduce to a contraction operator, in which case it is easy to show that the value-iteration method exhibits a uniform geometric convergence rate. As necessary conditions we obtain a number of important characterizations of the chain and periodicity structures of the problem, and as sufficient conditions, we give a general “scrambling-type” recurrency condition, which encompasses a number of important special cases. Next, we show that a data transformation turns every unichained undiscounted Markov Renewal Program into an equivalent undiscounted Markov decision problem, in which the value-iteration operator is contracting, because it satisfies this “scrambling-type” condition. We exploit this contraction property in order to obtain lower and upper bounds as well as variational characterizations for the fixed point of the optimality equation and a test for eliminating suboptimal actions.     

On differential Rota-Baxter algebras

A Rota-Baxter operator of weight λ is an abstraction of both the integral operator (when λ=0) and the summation operator (when λ=1). We similarly define a differential operator of weight λ that includes both the differential operator (when λ=0) and the difference operator (when λ=1). We further consider an algebraic structure with both a differential operator of weight λ and a Rota-Baxter operator of weight λ that are related in the same way that the differential operator and the integral operator are related by the First Fundamental Theorem of Calculus. We construct free objects in the corresponding categories. In the commutative case, the free objects are given in terms of generalized shuffles, called mixable shuffles. In the noncommutative case, the free objects are given in terms of angularly decorated rooted forests. As a byproduct, we obtain structures of a differential algebra on decorated and undecorated planar rooted forests.     

On the Multiplier Space Generated by the Rademacher System

In this paper, we consider the space of multipliers of symmetric spaces with respect to the Rademacher systems. We obtain sufficient conditions under which the space in question coincides with the space L _∞ (with equivalence of norms). These conditions are stated in terms of operator interpolation theory and are essentially weaker than the conditions for the solution of this problem recently obtained by other authors.     

On a calculus for a generalized scalar operator

Let $\text{X}$ be a Banach space; S and T bounded scalar-type operators in $\text{X}$. Define Δ on the space of bounded operators on $\text{X}$ by ΔX = TX ? XS if X is a bounded operator. We set up a calculus for Δ which allows us to consider f(Δ), for f a complex-valued bounded Borel measurable function on the spectrum of Δ, as an operator in the space of bounded operators whose domain is a subspace of operators which we call measure generating. This calculus is used to obtain some results on when the kernel of Δ is a complemented subspace of the space of bounded operators on $\text{X}$.