Moment methods in Padé approximation: The unitary case

Given a unitary operator T in a Hilbert space H = (H, 〈·, ·〉) convergence results for two sequences of ($\text{(n ? 1)}\text{n)}$ two-point Padé approximants to the function f(z) = 〈(I ? zT)^?1u₀, u₀〉, (u₀ ∈ H, ∥ u₀∥ = 1, z regular for T) are given. An elementary proof is also given of the well-known operator version of the trigonometric moment problem, not using the solution of the classical trigonometric moment problem.     

On the Szeged and the Laplacian Szeged spectrum of a graph

For a given graph G its Szeged weighting is defined by w(e)=n_u(e)n_v(e), where e=uv is an edge of G,n_u(e) is the number of vertices of G closer to u than to v, and n_v(e) is defined analogously. The adjacency matrix of a graph weighted in this way is called its Szeged matrix. In this paper we determine the spectra of Szeged matrices and their Laplacians for several families of graphs. We also present sharp upper and lower bounds on the eigenvalues of Szeged matrices of graphs.     

Universal elements for non-linear operators and their applications

We prove that under certain topological conditions on the set of universal elements of a continuous map T acting on a topological space X, that the direct sum T⊕Mg is universal, where Mg is multiplication by a generating element of a compact topological group. We use this result to characterize R₊-supercyclic operators and to show that whenever T is a supercyclic operator and z₁,…,zn are pairwise different non-zero complex numbers, then the operator z₁T⊕?⊕znT is cyclic. The latter answers affirmatively a question of Bayart and Matheron.     

The geometry of the critical set of nonlinear periodic Sturm-Liouville operators

We study the critical set C of the nonlinear differential operator F(u)=−u^″+f(u) defined on a Sobolev space of periodic functions Hp(S¹), p?1. Let be the plane z=0 and, for n>0, let n be the cone x²+y²=tan²z, |z−2πn|<π/2; also set . For a generic smooth nonlinearity f:R→R with surjective derivative, we show that there is a diffeomorphism between the pairs (Hp(S¹),C) and (R³,Σ)×H where H is a real separable infinite-dimensional Hilbert space.     

Maximum principle and propagation for intrinsicly regular solutions of differential inequalities structured on vector fields

We prove suitable versions of the weak maximum principle and of the maximum propagation for solutions u of a differential inequality Hu?0. Here H=_∑i,jai,j(z)ZiZj+Z₀ is a differential operator structured on the vector fields Zj's, whereas u belongs to an appropriate intrinsic class of regularity modelled on the Zj's.     

A Class of Operators Similar to the Shift on H 2(G)

For a compact subset K in the complex plane, let A(K) denote the algebra of all functions continuous on K and analytic on K° and let R(K) denote the uniform closure of the rational functions with poles off K. Let G is a bounded open subset whose complement in the plane has a finite number of components. Suppose that and every function in H^∞(G) is the pointwise limit of a bounded sequence of functions in . The purpose of this paper is to characterize all subnormal operators similar to M_z, the operator of multiplication by the independent variable z on the Hardy space H²(G). We also characterize all bounded linear operators that are unitarily equivalent to M_z in the case when each of the components of G is simply connected. In particular, our similarity result extends a well-known result of W. Clary on the unit disk to multiply connected domains.     

On the arithmetic of tame monoids with applications to Krull monoids and Mori domains

Let H be an atomic monoid (e.g., the multiplicative monoid of a noetherian domain). For an element b∈H, let ω(H,b) be the smallest  N∈N₀∪{∞} having the following property: if  n∈N and  a₁,…,a_n∈H are such that b divides  a₁⋅…⋅a_n, then b already divides a subproduct of a₁⋅…⋅a_n consisting of at most N factors. The monoid H is called tame if . This is a well-studied property in factorization theory, and for various classes of domains there are explicit criteria for being tame. In the present paper, we show that, for a large class of Krull monoids (including all Krull domains), the monoid is tame if and only if the associated Davenport constant is finite. Furthermore, we show that tame monoids satisfy the Structure Theorem for Sets of Lengths. That is, we prove that in a tame monoid there is a constant M such that the set of lengths of any element is an almost arithmetical multiprogression with bound M.     

Numerical ranges of cube roots of the identity

The numerical range of a bounded linear operator T on a Hilbert space H is defined to be the subset W(T)={〈Tv,v〉:v∈H,∥v∥=1} of the complex plane. For operators on a finite-dimensional Hilbert space, it is known that if W(T) is a circular disk then the center of the disk must be a multiple eigenvalue of T. In particular, if T has minimal polynomial z³-1, then W(T) cannot be a circular disk. In this paper we show that this is no longer the case when H is infinite dimensional. The collection of 3×3 matrices with three-fold symmetry about the origin are also classified.     

Normalizers of irreducible subfactors

We consider normalizers of an infinite index irreducible inclusion N⊆M of II₁ factors. Unlike the finite index setting, an inclusion uNu^∗⊆N can be strict, forcing us to also investigate the semigroup of one-sided normalizers. We relate these one-sided normalizers of N in M to projections in the basic construction and show that every trace one projection in the relative commutant N^′∩〈M,eN〉 is of the form u^∗eNu for some unitary u∈M with uNu^∗⊆N generalizing the finite index situation considered by Pimsner and Popa. We use this to show that each normalizer of a tensor product of irreducible subfactors is a tensor product of normalizers modulo a unitary. We also examine normalizers of infinite index irreducible subfactors arising from subgroup-group inclusions H⊆G. Here the one-sided normalizers arise from appropriate group elements modulo a unitary from L(H). We are also able to identify the finite trace L(H)-bimodules in ?²(G) as double cosets which are also finite unions of left cosets.     

Nevanlinna-Pick interpolation by rational functions with a single pole inside the unit disk

We devise an efficient algorithm that, given points z₁,…,z_k in the open unit disk D and a set of complex numbers {f_i,0,f_i,1,…,f_i,ni−1} assigned to each z_i, produces a rational function f with a single (multiple) pole in D, such that f is bounded on the unit circle by a predetermined positive number, and its Taylor expansion at z_i has f_i,0,f_i,1,…,f_i,ni−1 as its first n_i coefficients.     

Strongly self-dual graphs

We present a class of graphs whose adjacency matrices are nonsingular with integral inverses, denoted h-graphs. If the h-graphs G and H with adjacency matrices M(G) and M(H) satisfy M(G)^-1=SM(H)S, where S is a signature matrix, we refer to H as the dual of G. The dual is a type of graph inverse. If the h-graph G is isomorphic to its dual via a particular isomorphism, we refer to G as strongly self-dual. We investigate the structural and spectral properties of strongly self-dual graphs, with a particular emphasis on identifying when such a graph has 1 as an eigenvalue.     

Rank one perturbations at infinite coupling in Pontryagin spaces

In this paper we relate the operators in the operator representations of a generalized Nevanlinna function N(z) and of the function −N(z)⁻¹ under the assumption that z=∞ is the only (generalized) pole of nonpositive type. The results are applied to the Q-function for S and H and the Q-function for S and H^∞, where H is a self-adjoint operator in a Pontryagin space with a cyclic element w, H^∞ is the self-adjoint relation obtained from H and w via a rank one perturbation at infinite coupling, and S is the symmetric operator given by S=H∩H^∞.     

Self-adjointness of Schrödinger-type operators with locally integrable potentials on manifolds of bounded geometry

We consider a Schrödinger-type differential expression , where ∇ is a C^∞-bounded Hermitian connection on a Hermitian vector bundle E of bounded geometry over a manifold of bounded geometry (M,g) with metric g and positive C^∞-bounded measure dμ, and V∈L_loc¹(EndE) is a linear self-adjoint bundle map. We define the maximal operator H_V,max associated to H_V as an operator in L²(E) given by H_V,maxu=H_Vu for all , where ∇∗∇u in is understood in distributional sense. We give a sufficient condition for the self-adjointness of H_V,max. The proof adopts Kato's technique to our setting, but it requires a more general version of Kato's inequality for Bochner Laplacian operator as well as a result on the positivity of u∈L²(M) satisfying the equation (Δ_M+b)u=ν, where Δ_M is the scalar Laplacian on M, b>0 is a constant and ν?0 is a positive distribution on M. For local estimates, we use a family of cut-off functions constructed with the help of regularized distance on manifolds of bounded geometry.     

Birkhoff's theorem and multidimensional numerical range

We show that, under certain conditions, Birkhoff's theorem on doubly stochastic matrices remains valid for countable families of discrete probability spaces which have nonempty intersections. Using this result, we study the relation between the spectrum of a self-adjoint operator A and its multidimensional numerical range. It turns out that the multidimensional numerical range is a convex set whose extreme points are sequences of eigenvalues of the operator A. Every collection of eigenvalues which can be obtained by the Rayleigh-Ritz formula generates an extreme point of the multidimensional numerical range. However, it may also have other extreme points.     

The method of asymptotic stabilization to a given trajectory based on a correction of the initial data

Let S be an operator in a Banach space H and S ⁱ (u) (i = 0, 1, ..., u ∈ H) be the evolutionary process specified by S. The following problem is considered: for a given point z ₀ and a given initial condition a ₀, find a correction l such that the trajectory {S ⁱ (a ₀ + l)} approaches }S ⁱ (z ₀)} for 0 < i ≤ n. This problem is reduced to projecting a ₀ on the manifold ?^?(z ₀, f ⁽ⁿ⁾) defined in a neighborhood of z ₀ and specified by a certain function f ⁽ⁿ⁾. In this paper, an iterative method is proposed for the construction of the desired correction u = a ₀ + l. The convergence of the method is substantiated, and its efficiency for the blow-up Chafee-Infante equation is verified. A constructive proof of the existence of a locally stable manifold ?^?(z ₀, f) in a neighborhood of a trajectory of hyperbolic type is one of the possible applications of the proposed method. For the points in ?^?(z ₀, f), the value of n can be chosen arbitrarily large.     

Long paths with endpoints in given vertex-subsets of graphs

Let G=(V,E) be a connected graph of order n, t a real number with t?1 and M⊆V(G) with . In this paper, we study the problem of some long paths to maintain their one or two different endpoints in M. We obtain the following two results: (1) for any vertex v∈V(G), there exists a vertex u∈M and a path P with the two endpoints v and u to satisfy , , d_G(u)+1-t}; (2) there exists either a cycle C to cover all vertices of M or a path P with two different endpoints u₀ and u_p in M to satisfy , where .     

Stopping times and an extension of stochastic integrals in the plane

Let (Ω,$\text{J}$,P;$\text{J}$_z) be a probability space with an increasing family of sub-σ-fields {$\text{J}$_z, z ∈ D}, where D = [0, ∞) × [0, ∞), satisfying the usual conditions. In this paper, the stochastic integral with respect to an $\text{J}$_z-adapted 2-parameter Brownian motion for integrand processes in the class $\text{C}$₂($\text{J}$_z) is extended, by means of truncations cations by {0, 1}-valued 2-parameter stopping times, to integrand processes that are $\text{J}$_z-adapted and continuous. The stochastic integral in the plane thus extended resembles a locally square integrable martingale in the 1-parameter setting. A definition of a parameter-space valued, i.e., D-valued, stopping time is also given and its characteristic process is related to a {0, 1}-valued 2-parameter stopping time.     

A new off-step high order approximation for the solution of three-space dimensional nonlinear wave equations

In this paper, we propose a new high accuracy numerical method of O(k² + k²h² + h⁴) based on off-step discretization for the solution of 3-space dimensional non-linear wave equation of the form u_tt = A(x,y,z,t)u_xx + B(x,y,z,t)u_yy + C(x,y,z,t)u_zz + g(x,y,z,t,u,u_x,u_y,u_z,u_t), 0 < x,y,z < 1,t > 0 subject to given appropriate initial and Dirichlet boundary conditions, where k > 0 and h > 0 are mesh sizes in time and space directions respectively. We use only seven evaluations of the function g as compared to nine evaluations of the same function discussed in  and . We describe the derivation procedure in details of the algorithm. The proposed numerical algorithm is directly applicable to wave equation in polar coordinates and we do not require any fictitious points to discretize the differential equation. The proposed method when applied to a telegraphic equation is also shown to be unconditionally stable. Comparative numerical results are provided to justify the usefulness of the proposed method.     

Optimal tristance anticodes in certain graphs

For z₁,z₂,z₃∈Zⁿ, the tristance d₃(z₁,z₂,z₃) is a generalization of the L₁-distance on Zⁿ to a quantity that reflects the relative dispersion of three points rather than two. A tristance anticodeA_d of diameter d is a subset of Zⁿ with the property that d₃(z₁,z₂,z₃)?d for all z₁,z₂,z₃∈A_d. An anticode is optimal if it has the largest possible cardinality for its diameter d. We determine the cardinality and completely classify the optimal tristance anticodes in Z² for all diameters d?1. We then generalize this result to two related distance models: a different distance structure on Z² where d(z₁,z₂)=1 if z₁,z₂ are adjacent either horizontally, vertically, or diagonally, and the distance structure obtained when Z² is replaced by the hexagonal lattice A₂. We also investigate optimal tristance anticodes in Z³ and optimal quadristance anticodes in Z², and provide bounds on their cardinality. We conclude with a brief discussion of the applications of our results to multi-dimensional interleaving schemes and to connectivity loci in the game of Go.     

Remark on the anisotropic prescribed mean curvature equation on arbitrary domains

In this article we consider the Dirichlet problem for hypersurfaces of aniso- tropic prescribed mean curvature H = H(x, u, N) depending on ${x \in \varOmega \subset \mathbb {R}^n}In this article we consider the Dirichlet problem for hypersurfaces of aniso- tropic prescribed mean curvature H = H(x, u, N) depending on x ? \varOmega ì \mathbb Rⁿ{x \in \varOmega \subset \mathbb {R}^n}, the height u of the hypersurface M = graph u over \varOmega{\varOmega} and the unit normal N to M at (x, u). We give a condition relating H and the mean curvature of ?\varOmega{\partial \varOmega} that guarantees the existence of smooth solutions even for not necessarily convex domains.