Inequalities for the zeros of dirichlet L-functions

Let χ denote a primitive, Dirichlet character to the modulus q>i and let L(s,χ) be the corresponding Dirichlet L-series defined by L(s,χ) = ∑χ(n)n^?s,s = σ+it, for σ>0. It is of interest to know where the zeros of L(s,χ) are located, since the location of these zeros would yield important results in number theory. In this paper, we show that the spectrum of each member of a certain class of Hermitian matrices leads to an explicit zero-free region for L(s,χ).     

Eigenvectors and cyclic vectors of bilateral weighted shifts. II: Simply invariant subspaces

Let T be an injective bilateral weighted shift onl ² thought as "multiplication by λ" on a space of formal Laurent series L²(β). (a) If L²(β) is contained in a space of quasi-analytic class of functions, then the point spectrum σ_p(T^?) of T^? contains a circle and the cyclic invariant subspaceM _f of T generated by f is simply invariant (i.e., ∩{(T^k M _f)^?: k ≥ 0}= {0}) for each f in L²(β); (b) If L²(β) contains a non-quasi-analytic class of functions (defined on a circle г) of a certain type related with the weight sequence of T, then there exists f in L²(ß) such thatM _f is a non-trivial doubly invariant subspace (i.e., (TM _f)^? =M _f); furthermore, if г ? σ_p(T^*), then σ_p (T^*) = г and f can be chosen so that σ_p([T∣M _f]^*) = г?{α}, for some α ε г. Several examples show that the gap between operators satisfying (a) and operators satisfying (b) is rather small.     

A Tauberian theorem related to Weyl's criterion

Let {x_n} be a sequence of real numbers and let a(n) be a sequence of positive real numbers, with A(N) = Σ_n=1^Na(n). Tsuji has defined a notion of a(n)-uniform distribution mod 1 which is related to the problem of determining those real numbers t₀ for which A(N)^?1 Σ_n=1^Na(n)e^?it₀x_n → 0 as N → ∞. In case f(s) = Σ_n=1^∞a(n)e^?sx_n, s = σ + it, is analytic in the right half-plane 0 < σ, and satisfies a certain smoothness condition as σ → 0 +, we show that f(σ)^?1f(σ + it₀) → 0 as σ → 0 + if and only if A(N)^?1 Σ_n=1^Na(n)e^?it₀x_n → 0 as N → ∞.     

Равносходимость разложений в кратный ряд и интеграл фурье, «прямоугольные частичные суммы» которых рассматриваются по некоторой подпоследовательности

In this paper we investigate the problem of the equiconvergence on T ^N = [-π, π) ^N of the expansions in multiple trigonometric series and Fourier integral of functions f ∈ L _p (T ^N ) and g ∈ L _p (? ^N ), where p > 1, N ≥ 3, g(x) = f(x) on T ^N , in the case when the “rectangular partial sums” of the indicated expansions, i.e.,– _n (x; f) and J _α(x; g), respectively, have indices n ∈ ? ^N and α ∈ ? ^N (n _j = [α _j ], j = 1,...,N, [t] is the integer part of t ∈ ?¹), in those certain components are the elements of “lacunary sequences”.     

Phase transition on Exel crossed products associated to dilation matrices

An integer matrix A∈Md(Z) induces a covering σA of Td and an endomorphism αA:f?f°σA of C(Td) for which there is a natural transfer operator L. In this paper, we compute the KMS states on the Exel crossed product C(Td)_?αA,LN and its Toeplitz extension. We find that C(Td)_?αA,LN has a unique KMS state, which has inverse temperature . Its Toeplitz extension, on the other hand, exhibits a phase transition at , and for larger β the simplex of KMSβ states is isomorphic to the simplex of probability measures on Td.     

Carleson and Vanishing Carleson Measures on Radial Trees

We extend a discrete version of an extension of Carleson’s theorem proved in [5] to a large class of trees that have certain radial properties. We introduce the geometric notion of s-vanishing Carleson measure on such a tree T (with s ≥ 1) and give several characterizations of such measures. Given a measure σ on T and p ≥ 1, let L ^p (σ) denote the space of functions g defined on T such that |g| ^p is integrable with respect to σ and let L ^p (? T) be the space of functions f defined on the boundary of T such that |f| ^p is integrable with respect to the representing measure of the harmonic function 1.We prove the following extension of the discrete version of a classical theorem in the unit disk proved by Power. A finite measure σ on T is an s-vanishing Carleson measure if and only if for any real number p > 1, the Poisson operator P : L ^p (? T) → L ^sp (σ) is compact. Characterizations of weak type for the case p = 1 and in terms of the tree analogue of the extended Poisson kernel are also given. Finally, we show that our results hold for homogeneous trees whose forward probabilities are radial and whose backward probabilities are constant, as well as for semihomogeneous trees.     

On σ-algebras related to the measurability of compositions

Given a measurable space (T, F), a set X, and a map ?: T → X, the σ-algebras N _Ф = ?_?∈Φ N _?, and M _Φ = ?_?∈Φ N _?, where G _?(t) = (t, ?(t)) and Φ ? X ^T , are considered. These σ-algebras are used to characterize the (F, B, ?)-measurability of the compositions g ○ ? and f о G _?, where g: X → Y, f: T × X → Y, and (Y, ?) is a measurable space. Their elements are described without using the operations ? ^?1 and G _? ^?1 .     

Sequences of contractions on L1-spaces

Let T_n, n = 1,2,… be a sequence of linear contractions on the space where is a finite measure space. Let M be the subspace of L¹ for which T_ng → g weakly in L¹ for g?M. If T_n1 → 1 strongly, then T_nf → f strongly for all f in the closed vector sublattice in L¹ generated by M.This result can be applied to the determination of Korovkin sets and shadows in L¹. Given a set G ? L¹, its shadow S(G) is the set of all f?L¹ with the property that T_nf → f strongly for any sequence of contractions T_n, n = 1, 2,… which converges strongly to the identity on G; and G is said to be a Korovkin set if S(G) = L¹. For instance, if 1 ?G, then, where M is the linear hull of G and $\text{B}$_M is the sub-σ-algebra of $\text{B}$ generated by {x?X: g(x) > 0} for g?M. If the measure algebra is separable, has Korovkin sets consisting of two elements.     

Viscosity analysis on the Boltzmann equation

This paper is devoted to investigating the asymptotic properties of the renormalized solution to the viscosity equation tfε + v ·▽xfε = Q (fε,fε ) + εΔvfε as ε→ 0+ . We deduce that the renormalized solution of the viscosity equation approaches to the one of the Boltzmann equation in L1 ((0 , T ) × RN × RN ). The proof is based on compactness analysis and velocity averaging theory.     

Blowup stability of solutions of the nonlinear heat equation with a large life span

We study the Cauchy problem for the nonlinear heat equation u_t-?u=|u|^p-1u in R^N. The initial data is of the form u₀=λ?, where ?∈C₀(R^N) is fixed and λ>0. We first take 1<p<p_f, where p_f is the Fujita critical exponent, and ?∈C₀(R^N)∩L¹(R^N) with nonzero mean. We show that u(t) blows up for λ small, extending the H. Fujita blowup result for sign-changing solutions. Next, we consider 1<p<p_s, where p_s is the Sobolev critical exponent, and ?(x) decaying as |x|^-σ at infinity, where p<1+2/σ. We also prove that u(t) blows up when λ is small, extending a result of T. Lee and W. Ni. For both cases, the solution enjoys some stable blowup properties. For example, there is single point blowup even if ? is not radial.     

A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees

Let G be a connected simple graph, let X?V (^G) and let f be a mapping from X to the set of integers. When X is an independent set, Frank and Gyárfás, and independently, Kaneko and Yoshimoto gave a necessary and sufficient condition for the existence of spanning tree T in G such that d _T (x) for all x ∈ X, where d _T (x) is the degree of x and T. In this paper, we extend this result to the case where the subgraph induced by X has no induced path of order four, and prove that there exists a spanning tree T in G such that d _T (x) ≥ f(x) for all x ∈ X if and only if for any nonempty subset S ? X, |N _G (S) ? S| ? f(S) + 2|S| ? ω _G (S) ≥, where ω _G (S) is the number of components of the subgraph induced by S.     

Permutation-operator inequalities on certain symmetry classes of tensors

If A∈T(m, N), the real-valued N-linear functions on E_m, and σ∈S_N, the symmetric group on {…,N}, then we define the permutation operator P_σ: T(m, N) → T(m, N) such that P_σ(A)(x₁,x₂,…,x_N = A(x_σ(1),x_σ(2),…, x_σ(N)). Suppose Σ^q_i=1n_i = N, where the n_i are positive integers. In this paper we present a condition on σ that is sufficient to guarantee that 〈P_σ(A₁?A₂???A_q),A₁?A₂?? ? A_q〉 ? 0 for A_i∈S(m, n_i), where S(m, n_i) denotes the subspace of T(m, n_i) consisting of all the fully symmetric members of T(m, n_i). Also we present a broad generalization of the Neuberger identity which is sometimes useful in answering questions of the type described below. Suppose G and H are subgroups of S_N. We let T_G(m, N) denote all A∈T(m, N) such that P_σ(A) = A for all σ∈G. We define the symmetrizer $\text{S}$_G: T(m, N)→T_G(m,N) such that $\text{S}{}_{\mathrm{G}}\text{(A) = 1/|G|Σ}{}_{\mathrm{\sigma \in G}}\text{P}{}_{\mathrm{\sigma }}\text{(A)}$. Suppose H is a subgroup of G and A∈T_H(m, N). Clearly $\text{6}\text{S}{}_{\mathrm{<mtext>G</mtext>}}\text{6(A) 6? 6A6.}$ We are interested in the reverse type of comparison. In particular, if D is a suitably chosen subset of T_H(m,N), then can we explicitly present a constant C>0 such that $\text{6}\text{S}{}_{\mathrm{G}}\text{(A)6?C6A6}$ for all A∈D?     

Integral formulas with distribution kernels for irreducible projections in L2 of a nilmanifold

Let N be a simply connected nilpotent Lie group and Γ a discrete uniform subgroup. The authors consider irreducible representations σ in the spectrum of the quasi-regular representation N × L²(Γ/N) → L²(Γ→) which are induced from normal maximal subordinate subgroups M ? N. The primary projection P_σ and all irreducible projections P ? P_σ are given by convolutions involving right Γ-invariant distributions D on Γ→, $\text{Pf(Γn) = D 1 f(Γn) = <D, n · f>}\text{all}\text{f ? C}{}^{\mathrm{\infty }}\text{(Γ/N)}$, where n · f(ζ) = f(ζ · n). Extending earlier work of Auslander and Brezin, and L. Richardson, the authors give explicit character formulas for the distributions, interpreting them as sums of characters on the torus T^κ = (Γ ∩ M) · [M, M]?M. By examining these structural formulas, they obtain fairly sharp estimates on the order of the distributions: if σ is associated with an orbit $\text{O}$ ? $\text{n}$¹ and if $\text{V}$ ? $\text{n}$¹ is the largest subspace which saturates θ in the sense that f ? $\text{O}$ ? f + $\text{V}$ ? $\text{O}$. As a corollary they obtain Richardson's criterion for a projection to map C⁰(Γ→) into itself. The authors also resolve a conjecture of Brezin, proving a Zero-One law which says, among other things, that if the primary projection P_σ maps C^r(Γ→) into C⁰(Γ→), so do all irreducible projections P ? P_σ. This proof is based on a classical lemma on the extent to which integral points on a polynomial graph in Rⁿ lie in the coset ring of Zⁿ (the finitely additive Boolean algebra generated by cosets of subgroups in Zⁿ). This lemma may be useful in other investigations of nilmanifolds.     

Algebraic integers and distributions on the N-torus

Let D(T_N) be the class of real-valued, infinitely differentiable, periodic functions, and let D′(T_N) be the class of real-valued distributions on T_N having D(T_N) as its test functions. Define A(T_N) ? D(T_N) as follows: S is in A(T_N) if there is a constant K such that $\text{¦ S^(m)¦ ? K}$ for all m, and, furthermore, lim_{min(|m1|,…,|mN|)←∞}|S^{^}(m)|=0. For $\text{0 < ξ <}\text{1}\text{2}$, let C(ξ) be the familiar Cantor set with constant ratio of dissection ξ, constructed on the interval [?π, π). The following result is established: A necessary and sufficient condition thatC(ξ₁) × … × C(ξ_N)be a set of uniqueness for the classA(T_N)is that eachξ_j^?1be an$\text{J}$number forj = 1,…, N.     

A priori estimates for one-dimensional singular integral operators with continuous coefficients

Let the contour γ consist of a finite number of simple closed pairwise nonintersecting curves, satisfying a Lyapunov condition, let S be the operator of singular integration in spacel _p , (γ) (1 <p < ∞), and leta (t), b (t) εC (γ) 1 <p ₁. <p < ∞. The necessary and sufficient condition for A = aI+ bS to be a Φ-operator in space L_p(γ) is that, for all?ε L_p(γ), ∥?∥_p ? const (∥ A?_p + ∥ ? ∥_p1), where ∥?∥_p = ∥?∥L_p (γ).     

Harmonic analysis and asymptotic behavior of solutions to the abstract cauchy problem

LetC _ub ( $\mathbb{J}$ , X) denote the Banach space of all uniformly continuous bounded functions defined on $\mathbb{J}$ 2 ε {?⁺, ?} with values in a Banach spaceX. Let ? be a class fromC _ub( $\mathbb{J}$ ,X). We introduce a spectrumsp?(φ) of a functionφ εC _ub (?,X) with respect to ?. This notion of spectrum enables us to investigate all twice differentiable bounded uniformly continuous solutions on ? to the abstract Cauchy problem (*)ω′(t) =Aω(t) +φ(t),φ(0) =x,φ ε ?, whereA is the generator of aC ₀-semigroupT(t) of bounded operators. Ifφ = 0 andσ(A) ∩i? is countable, all bounded uniformly continuous mild solutions on ?⁺ to (*) are studied. We prove the bound-edness and uniform continuity of all mild solutions on ?⁺ in the cases (i)T(t) is a uniformly exponentially stableC ₀-semigroup andφ εC _ub(?,X); (ii)T(t) is a uniformly bounded analyticC ₀-semigroup,φ εC _ub (?,X) andσ(A) ∩i sp(φ) = Ø. Under the condition (i) if the restriction ofφ to ?⁺ belongs to ? = ?(?⁺,X), then the solutions belong to ?. In case (ii) if the restriction ofφ to ?⁺ belongs to ? = ?(?⁺,X), andT(t) is almost periodic, then the solutions belong to ?. The existence of mild solutions on ? to (*) is also discussed.     

Toeplitz operators in several complex variables

Let S be the unit sphere in Cⁿ. We investigate the properties of Toeplitz operators on S, i.e., operators of the form Tφf = P(φf) where φ?L^∞(S) and P denotes the projection of L²(S) onto H²(S). The aim of this paper is to determine how far the extensive one-variable theory remains valid in higher dimensions. We establish the spectral inclusion theorem, that the spectrum of T_φ contains the essential range of φ, and obtain a characterization of the Toeplitz operators among operators on H²(S) by an operator equation. Particular attention is paid to the case where φ ? H^∞(S) + C(S) where C(S) denotes the algebra of continuous functions on S. Finally we describe a class of Toeplitz operators useful for providing counterexamples—in particular, Widom's theorem on the connectedness of the spectrum fails when n > 1.     

On arithmetic and asymptotic properties of up-down numbers

Let σ=(σ₁,…,σ_N), where σ_i=±1, and let C(σ) denote the number of permutations π of 1,2,…,N+1, whose up-down signature sign(π(i+1)-π(i))=σ_i, for i=1,…,N. We prove that the set of all up-down numbers C(σ) can be expressed by a single universal polynomial Φ, whose coefficients are products of numbers from the Taylor series of the hyperbolic tangent function. We prove that Φ is a modified exponential, and deduce some remarkable congruence properties for the set of all numbers C(σ), for fixed N. We prove a concise upper bound for C(σ), which describes the asymptotic behaviour of the up-down function C(σ) in the limit C(σ)?(N+1)!.     

Generalizations of weakly peripherally multiplicative maps between uniform algebras

Let A and B be uniform algebras on first-countable, compact Hausdorff spaces X and Y, respectively. For f∈A, the peripheral spectrum of f, denoted by σπ(f)={λ∈σ(f):|λ|=‖f‖}, is the set of spectral values of maximum modulus. A map T:A→B is weakly peripherally multiplicative if σπ(T(f)T(g))∩σπ(fg)≠∅ for all f,g∈A. We show that if T is a surjective, weakly peripherally multiplicative map, then T is a weighted composition operator, extending earlier results. Furthermore, if T₁,T₂:A→B are surjective mappings that satisfy σπ(T₁(f)T₂(g))∩σπ(fg)≠∅ for all f,g∈A, then T₁(f)T₂(1)=T₁(1)T₂(f) for all f∈A, and the map f?T₁(f)T₂(1) is an isometric algebra isomorphism.     

Extensions of local fields and truncated power series

Let K be a finite tamely ramified extension of Q_p and let L/K be a totally ramified (Z/pⁿZ)-extension. Let π_L be a uniformizer for L, let σ be a generator for Gal(L/K), and let f(X) be an element of O_K[X] such that σ(π_L)=f(π_L). We show that the reduction of f(X) modulo the maximal ideal of O_K determines a certain subextension of L/K up to isomorphism. We use this result to study the field extensions generated by periodic points of a p-adic dynamical system.