Bound states and the Szeg? condition for Jacobi matrices and Schrödinger operators

For Jacobi matrices with a_n=1+(−1)ⁿαn^−γ, b_n=(−1)ⁿβn^−γ, we study bound states and the Szeg? condition. We provide a new proof of Nevai's result that if , the Szeg? condition holds, which works also if one replaces (−1)ⁿ by . We show that if α=0, β≠0, and , the Szeg? condition fails. We also show that if γ=1, α and β are small enough ( will do), then the Jacobi matrix has finitely many bound states (for α=0, β large, it has infinitely many).     

Liouville type theorems for p-harmonic maps

Let M be a complete Riemannian manifold and let N be a Riemannian manifold of non-positive sectional curvature. Assume that at all x∈M and at some point x₀∈M, where μ₀>0 is the least eigenvalue of the Laplacian acting on L²-functions on M. Let 2?q?p. Then any q-harmonic map of finite q-energy is constant. Moreover, if N is a Riemannian manifold of non-positive scalar curvature, then any q-harmonic morphism of finite q-energy is constant.     

A characterization of k-hyponormality via weak subnormality

An operator T acting on a Hilbert space is said to be weakly subnormal if there exists an extension acting on such that for all . When such partially normal extensions exist, we denote by m.p.n.e.(T) the minimal one. On the other hand, for k?1, T is said to be k-hyponormal if the operator matrix is positive. We prove that a 2-hyponormal operator T always satisfies the inequality T∗[T∗,T]T?‖T‖2[T∗,T], and as a result T is automatically weakly subnormal. Thus, a hyponormal operator T is 2-hyponormal if and only if there exists B such that BA∗=A∗T and is hyponormal, where A:=[T∗,T]1/2. More generally, we prove that T is (k+1)-hyponormal if and and only if T is weakly subnormal and m.p.n.e.(T) is k-hyponormal. As an application, we obtain a matricial representation of the minimal normal extension of a subnormal operator as a block staircase matrix.     

Directed cyclic Hamiltonian cycle systems of the complete symmetric digraph

In this paper, we prove that directed cyclic Hamiltonian cycle systems of the complete symmetric digraph, , exist if and only if n is odd with n≠15 and n≠p^α for p an odd prime and α≥2 or with n≠2p^α for p an odd prime and α≥1. We also show that directed cyclic Hamiltonian cycle systems of the complete symmetric digraph minus a set of n/2 vertex-independent digons, (K_n−I)^∗, exist if and only if .     

Arithmetical properties of wendt's determinant

Wendt's determinant of order n is the circulant determinant W_n whose (i,j)-th entry is the binomial coefficient , for 1?i,j?n, where n is a positive integer. We establish some congruence relations satisfied by these rational integers. Thus, if p is a prime number and k a positive integer, then and . If q is another prime, distinct from p, and h any positive integer, then . Furthermore, if p is odd, then . In particular, if p?5, then . Also, if m and n are relatively prime positive integers, then W_mW_n divides W_mn.     

Boundary behavior in the Loewner-Nirenberg problem

Let Ω⊂Rⁿ be a bounded domain of class C^2+α, 0<α<1. We show that if n?3 and u_Ω is the maximal solution of equation Δu=n(n-2)u^(n+2)/(n-2) in Ω, then the hyperbolic radius is of class C^2+α up to the boundary. The argument rests on a reduction to a nonlinear Fuchsian elliptic PDE.     

Dissipative sequences in infinite ergodic theory

Let T be an invertible, ergodic, measure-preserving transformation on a nonatomic, infinite, σ-finite measure space . A set is weakly wandering under the sequence of integers W={n_i}_i=1^∞ if the sets T^n_iA are disjoint. If, for a given sequence W, there exists a weakly wandering set of positive measure, then we call W a weakly wandering sequence. A sequence {k_i}_i=1^∞ is dissipative if, for every function , we have , almost everywhere. Every weakly wandering sequence is dissipative. In 1978, Hajian and Ito constructed a dissipative sequence which is not weakly wandering. An example of a dissipative sequence which is not a finite union of weakly wandering sequences is presented. Also, some further properties of dissipative sequences are studied.     

Hypersurfaces with constant mean curvature in a hyperbolic space

Let Mⁿ be an n-dimensional complete connected and oriented hypersurface in a hyperbolic space Hⁿ⁺¹（c） with non-zero constant mean curvature H and two distinct principal curvatures. In this paper, we show that （1） if the multiplicities of the two distinct principal curvatures are greater than 1,then Mⁿ is isometric to the Riemannian product S^k（r）×H^n-k（-1/（r² + ρ²））, where r > 0 and 1 < k < n - 1;（2）if H² > -c and one of the two distinct principal curvatures is simple, then Mⁿ is isometric to the Riemannian product S^n-1（r） × H¹（-1/（r² +ρ²）） or S¹（r） × H^n-1（-1/（r² +ρ²））,r > 0, if one of the following conditions is satisfied （i） S≤（n-1）t²2+c²t^-22 on Mⁿ or （ii）S≥ （n-1）t²1+c²t^-21 on Mⁿ or（iii）（n-1）t²2+c²t^-22≤ S≤（n-1）t²1+c²t^-21 on Mⁿ, where t₁ and t₂ are the positive real roots of （1.5）.     

The ordering of trees and connected graphs by algebraic connectivity

In this paper, we first determine that the first four trees of order n?9 with the smallest algebraic connectivity are P_n,Q_n,W_n and Z_n with α(P_n)<α(Q_n)<α(W_n)<α(Z_n)<α(T), where T is any tree of order n other than P_n, Q_n, W_n, and Z_n. Then we consider the effect on the Laplacian eigenvalues of connected graphs by suitably adding edges. By using these results and methods, we finally determine that the first six connected graphs of order n?9 with the smallest algebraic connectivity are and , with , where G is any connected graph of order n other than P_n, Q_n, , W_n, and .     

A Morita type equivalence for dual operator algebras

We generalize the main theorem of Rieffel for Morita equivalence of W^∗-algebras to the case of unital dual operator algebras: two unital dual operator algebras A,B have completely isometric normal representations α,β such that α(A)=[M^∗β(B)M]^−w∗ and β(B)=[Mα(A)M^∗]^−w∗ for a ternary ring of operators M (i.e. a linear space M such that MM^∗M⊂M) if and only if there exists an equivalence functor which “extends” to a ∗-functor implementing an equivalence between the categories and . By we denote the category of normal representations of A and by the category with the same objects as and Δ(A)-module maps as morphisms (Δ(A)=A∩A^∗). We prove that this functor is equivalent to a functor “generated” by a B,A bimodule, and that it is normal and completely isometric.     

Stability of spacelike hypersurfaces in foliated spacetimes

Given a generalized Robertson-Walker spacetime whose warping function verifies a certain convexity condition, we classify strongly stable spacelike hypersurfaces with constant mean curvature. More precisely, we will show that given a closed, strongly stable spacelike hypersurface of with constant mean curvature H, if the warping function ? satisfying ?^″?max{H?^′,0} along M, then Mn is either maximal or a spacelike slice Mt₀={t₀}×F, for some t₀∈I.     

C-Weierstrass for compact sets in Hilbert space

The C¹-Weierstrass approximation theorem is proved for any compact subset X of a Hilbert space . The same theorem is also proved for Whitney 1-jets on X when X satisfies the following further condition: There exist finite dimensional linear subspaces such that ?_n?1H_n is dense in and π_n(X)=X∩H_n for each n?1. Here, is the orthogonal projection. It is also shown that when X is compact convex with and satisfies the above condition, then C¹(X) is complete if and only if the C¹-Whitney extension theorem holds for X. Finally, for compact subsets of , an extension of the C¹-Weierstrass approximation theorem is proved for C¹ maps with compact derivatives.     

Necessary and sufficient conditions for the boundedness of B-Riesz potential in the B-Morrey spaces

We consider the generalized shift operator, associated with the Laplace-Bessel differential operator . The maximal operator Mγ (B-maximal operator) and the Riesz potential (B-Riesz potential), associated with the generalized shift operator are investigated. At first, we prove that the B-maximal operator Mγ is bounded from the B-Morrey space Lp,λ,γ to Lp,λ,γ for all 1<p<∞ and 0?λ<n+|γ|. We prove that the B-Riesz potential , 0<α<n+|γ| is bounded from the B-Morrey space Lp,λ,γ to Lq,λ,γ if and only if α/(n+|γ|−λ)=1/p−1/q, 1<p<(n+|γ|−λ)/α. Also we prove that the B-Riesz potential is bounded from the B-Morrey space L1,λ,γ to the weak B-Morrey space WLq,λ,γ if and only if α/(n+|γ|−λ)=1−1/q.     

On the Kurosh rank of the intersection of subgroups in free products of groups

The Kurosh rank rK(H) of a subgroup H of a free product of groups Gα, α∈I, is defined accordingly to the classic Kurosh subgroup theorem as the number of free factors of H. We prove that if H₁, H₂ are subgroups of and H₁, H₂ have finite Kurosh rank, then , where , q^∗ is the minimum of orders >2 of finite subgroups of groups Gα, α∈I, q^∗:=∞ if there are no such subgroups, and if q^∗=∞. In particular, if the factors Gα, α∈I, are torsion-free groups, then .     

On the ideal structure of some Banach algebras related to convolution operators on L(G)

Let G be a locally compact group and let p∈(1,∞). Let be any of the Banach spaces C_δ,p(G), PF_p(G), M_p(G), AP_p(G), WAP_p(G), UC_p(G), PM_p(G), of convolution operators on L^p(G). It is shown that PF_p(G)′ can be isometrically embedded into UC_p(G)′. The structure of maximal regular ideals of (and of MA_p(G)″, B_p(G)″, W_p(G)″) is studied. Among other things it is shown that every maximal regular left (right, two sided) ideal in is either dense or is the annihilator of a unique element in the spectrum of A_p(G). Minimal ideals of is also studied. It is shown that a left ideal M in is minimal if and only if , where Ψ is either a right annihilator of or is a topologically x-invariant element (for some x∈G). Some results on minimal right ideals are also given.     

Locally strongly convex hypersurfaces with constant affine mean curvature

Let be a locally strongly convex hypersurface, given by a strictly convex function xn+1=f(x₁,…,xn) defined in a convex domain Ω⊂An. We consider the Riemannian metric G# on M, defined by . In this paper we prove that if M is a locally strongly convex surface with constant affine mean curvature and if M is complete with respect to the metric G#, then M must be an elliptic paraboloid.     

Weighted-Hardy functions with Hadamard gaps on the unit ball

We prove that an analytic function f on the unit ball B with Hadamard gaps, that is, (the homogeneous polynomial expansion of f) satisfying n_k+1/n_k?λ>1 for all k∈N, belongs to the space if and only if . Moreover, we show that the following asymptotic relation holds . Also we prove that lim_r→1(1-r²)^α‖Rf_r‖_p=0 if and only if . These results confirm two conjectures from the following recent paper [S. Stevi?, On Bloch-type functions with Hadamard gaps, Abstr. Appl. Anal. 2007 (2007) 8 pages (Article ID 39176)].