Functions of normal operators under perturbations

In Peller (1980) [27], Peller (1985) [28], Aleksandrov and Peller (2009) [2], Aleksandrov and Peller (2010) [3], and Aleksandrov and Peller (2010) [4] sharp estimates for f(A)−f(B) were obtained for self-adjoint operators A and B and for various classes of functions f on the real line R. In this paper we extend those results to the case of functions of normal operators. We show that if a function f belongs to the Hölder class Λα(R²), 0<α<1, of functions of two variables, and N₁ and N₂ are normal operators, then ‖f(N₁)−f(N₂)‖?const‖fΛα_‖‖N₁−N₂α^‖. We obtain a more general result for functions in the space for an arbitrary modulus of continuity ω. We prove that if f belongs to the Besov class , then it is operator Lipschitz, i.e., . We also study properties of f(N₁)−f(N₂) in the case when f∈Λα(R²) and N₁−N₂ belongs to the Schatten–von Neumann class Sp.     

Bernstein型算子线性组合加Jacobi权逼近及高阶导数的等价定理

本文利用加权Ditzian-Totik光滑模证明Bernstein型算子的线性组合加权逼近阶估计和等价定理;同时,研究加Jacobi权下Benstein型算子的高阶导数与所逼近函数光滑性之间的关系.     

Robust multigrid preconditioners for the high‐contrast biharmonic plate equation

We study the high‐contrast biharmonic plate equation with Hsieh–Clough–Tocher discretization. We construct a preconditioner that is robust with respect to contrast size and mesh size simultaneously based on the preconditioner proposed by Aksoylu et al. (Comput. Vis. Sci. 2008; 11 :319–331). By extending the devised singular perturbation analysis from linear finite element discretization to the above discretization, we prove and numerically demonstrate the robustness of the preconditioner. Therefore, we accomplish a desirable preconditioning design goal by using the same family of preconditioners to solve the elliptic family of PDEs with varying discretizations. We also present a strategy on how to generalize the proposed preconditioner to cover high‐contrast elliptic PDEs of order 2k, k>2. Moreover, we prove a fundamental qualitative property of the solution to the high‐contrast biharmonic plate equation. Namely, the solution over the highly bending island becomes a linear polynomial asymptotically. The effectiveness of our preconditioner is largely due to the integration of this qualitative understanding of the underlying PDE into its construction. Copyright © 2010 John Wiley & Sons, Ltd.     

A simplified proof of weak convergence in Douglas–Rachford method

Douglas–Rachford method is a splitting algorithm for finding a zero of the sum of two maximal monotone operators. Weak convergence in this method to a solution of the underlying monotone inclusion problem in the general case remained an open problem for 30 years and was proved by the author 7 years ago. That proof was cluttered with technicalities because we considered the inexact version with summable errors. In this short communication we present a streamlined proof of this result.     

Painlevé transcendents and the Hankel determinants generated by a discontinuous Gaussian weight

This paper studies the Hankel determinants generated by a discontinuous Gaussian weight with one and two jumps. It is an extension in a previous study, in which they studied the discontinuous Gaussian weight with a single jump. By using the ladder operator approach, we obtain a series of difference and differential equations to describe the Hankel determinant for the single jump case. These equations include the Chazy II equation, continuous and discrete Painlevé IV. In addition, we consider the large n behavior of the corresponding orthogonal polynomials and prove that they satisfy the biconfluent Heun equation. We also consider the jump at the edge under a double scaling, from which a Painlevé XXXIV appeared. Furthermore, we study the Gaussian weight with two jumps and show that a quantity related to the Hankel determinant satisfies a two variables' generalization of the Jimbo‐Miwa‐Okamoto σ‐form of the Painlevé IV.     

Lower Bounds of Dirichlet Eigenvalues for General Grushin Type Bi-Subelliptic Operators

Let Q be a bounded open domain in R^n with smooth boundaryаΩ.Let X=(X1,X2…,Xm)be a system of general Grushin type vector fields defined onΩand the boundaryаΩis non-characteristic for X.For△x=∑j=1^mXj^2,we denoteλk as the k-th eigenvalue for the bi-subelliptic operator△X2^2 onΩ.In this paper,by using the sharp sub-elliptic estimates and maximally hypoeliptic estimates,we give the optimal lower bound estimates ofλk for the operatork△X^2.     

Some classes of abstract simplicial complexes motivated by module theory

In this paper we analyze some classes of abstract simplicial complexes relying on algebraic models arising from module theory. To this regard, we consider a left-module on a unitary ring and find models of abstract complexes and related set operators having specific regularity properties, which are strictly interrelated to the algebraic properties of both the module and the ring.Next, taking inspiration from the aforementioned models, we carry out our analysis from modules to arbitrary sets. In such a more general perspective, we start with an abstract simplicial complex and an associated set operator. Endowing such a set operator with the corresponding properties obtained in our module instances, we investigate in detail and prove several properties of three subclasses of abstract complexes.More specifically, we provide uniformity conditions in relation to the cardinality of the maximal members of such classes. By means of the notion of OSS-bijection, we prove a correspondence theorem between a subclass of closure operators and one of the aforementioned families of abstract complexes, which is similar to the classic correspondence theorem between closure operators and Moore systems. Next, we show an extension property of a binary relation induced by set systems when they belong to one of the above families.Finally, we provide a representation result in terms of pairings between sets for one of the three classes of abstract simplicial complexes studied in this work.     

Multidimensional Schrödinger operators whose spectrum features a half-line and a Cantor set

We construct multidimensional Schrödinger operators with a spectrum that has no gaps at high energies and that is nowhere dense at low energies. This gives the first example for which this widely expected topological structure of the spectrum in the class of uniformly recurrent Schrödinger operators, namely the coexistence of a half-line and a Cantor-type structure, can be confirmed. Our construction uses Schrödinger operators with separable potentials that decompose into one-dimensional potentials generated by the Fibonacci sequence and relies on the study of such operators via the trace map and the Fricke-Vogt invariant. To show that the spectrum contains a half-line, we prove an abstract Bethe–Sommerfeld criterion for sums of Cantor sets which may be of independent interest.     

A nonstandard proof of the spectral theorem for unbounded self-adjoint operators

We generalize Moore’s nonstandard proof of the Spectral theorem for bounded self-adjoint operators to the case of unbounded operators. The key step is to use a definition of the nonstandard hull of an internally bounded self-adjoint operator due to Raab.