On linear systems and τ functions associated with Lamé's equation and Painlevé's equation VI

Painlevé's transcendental differential equation PVI may be expressed as the consistency condition for a pair of linear differential equations with 2×2 matrix coefficients with rational entries. By a construction due to Tracy and Widom, this linear system is associated with certain kernels which give trace class operators on Hilbert space. This paper expresses such operators in terms of Hankel operators Γ? of linear systems which are realised in terms of the Laurent coefficients of the solutions of the differential equations. Let P(t,∞):L²(0,∞)→L²(t,∞) be the orthogonal projection; then the Fredholm determinant τ(t)=det(I−P(t,∞)Γ?) defines the τ function, which is here expressed in terms of the solution of a matrix Gelfand-Levitan equation. For suitable values of the parameters, solutions of the hypergeometric equation give a linear system with similar properties. For meromorphic transfer functions that have poles on an arithmetic progression, the corresponding Hankel operator has a simple form with respect to an exponential basis in L²(0,∞); so det(I−Γ?P(t,∞)) can be expressed as a series of finite determinants. This applies to elliptic functions of the second kind, such as satisfy Lamé's equation with ?=1.     

Approximation numbers for the finite sections of Toeplitz operators with piecewise continuous symbols

In this paper we discuss the asymptotic distribution of the approximation numbers of the finite sections for a Toeplitz operator T(a)∈L(?p), 1<p<∞, where a is a piecewise continuous function on the unit circle. We prove that the behavior of the approximation numbers of the finite sections Tn(a)=PnT(a)Pn depends heavily on the Fredholm properties of the operators T(a) and . In particular, if the operators T(a) and are Fredholm on ?p, then the approximation numbers of Tn(a) have the so-called k-splitting property. But, in contrast with the case of continuous symbols, the splitting number k is in general larger than .     

Singular integral operators for an unlimited contour

Let Γ be a closed or unclosed unlimited contour, a shift α(t) maps homeomorphically the contour Γ onto itself with preserving or reversing the direction on Γ and also satisfies the conditions for some natural number n?2, αn(t)≅t, and αj(t)?t for 1?j<n. In this work we study subalgebra Σ of algebra L(Lp(Γ,ρ)), which contains all operators of the form

     

Toeplitz operators associated to commuting row contractions

Let H be a complex Hilbert space and let {Tn}_n?1 be a sequence of commuting bounded operators on H such that . Let denote the space of all operators X in B(H) for which and suppose that . We will show that there exists a triple {K,Γ,{Un}_n?1} where K is a Hilbert space, Γ:K→H is a bounded operator and {Un}_n?1⊂B(K) is a sequence of commuting normal operators with such that TnΓ=ΓUn for n?1, and for which the mapping Y?ΓYΓ^∗ is a complete isometry from the commutant of {Un}_n?1 onto the space . Moreover we show that the inverse of this mapping can be extended to a ^∗-homomorphism

     

Linear systems and determinantal random point fields

In random matrix theory, determinantal random point fields describe the distribution of eigenvalues of self-adjoint matrices from the generalized unitary ensemble. This paper considers symmetric Hamiltonian systems and determines the properties of kernels and associated determinantal random point fields that arise from them; this extends work of Tracy and Widom. The inverse spectral problem for self-adjoint Hankel operators gives sufficient conditions for a self-adjoint operator to be the Hankel operator on L²(0,∞) from a linear system in continuous time; thus this paper expresses certain kernels as squares of Hankel operators. For suitable linear systems (−A,B,C) with one-dimensional input and output spaces, there exists a Hankel operator Γ with kernel ?(x)(s+t)=Ce−(2x+s+t)AB such that gx(z)=det(I+(z−1)ΓΓ†) is the generating function of a determinantal random point field on (0,∞). The inverse scattering transform for the Zakharov-Shabat system involves a Gelfand-Levitan integral equation such that the trace of the diagonal of the solution gives . When A?0 is a finite matrix and B=C†, there exists a determinantal random point field such that the largest point has a generalised logistic distribution.     

On global attractor for m-Laplacian parabolic equation with local and nonlocal nonlinearity

In this paper, we study the long-time behavior of solutions for m-Laplacian parabolic equation in Ω×(0,∞) with the initial data u(x,0)=u₀(x)∈Lq, q?1, and zero boundary condition in ∂Ω. Two cases for a(x)?a₀>0 and a(x)?0 are considered. We obtain the existence and Lp estimate of global attractor A in Lp, for any p?max{1,q}. The attractor A is in fact a bounded set in if a(x)?a₀>0 in Ω, and A is bounded in if a(x)?0 in Ω.     

A ground state alternative for singular Schrödinger operators

Let a be a quadratic form associated with a Schrödinger operator L=-∇·(A∇)+V on a domain Ω⊂R^d. If a is nonnegative on , then either there is W>0 such that for all , or there is a sequence and a function ?>0 satisfying L?=0 such that a[?_k]→0, ?_k→? locally uniformly in Ω?{x₀}. This dichotomy is equivalent to the dichotomy between L being subcritical resp. critical in Ω. In the latter case, one has an inequality of Poincaré type: there exists W>0 such that for every satisfying there exists a constant C>0 such that for all .     

The zero-divisor graph of a reduced ring

In this paper the zero-divisor graph Γ(R) of a commutative reduced ring R is studied. We associate the ring properties of R, the graph properties of Γ(R) and the topological properties of . Cycles in Γ(R) are investigated and an algebraic and a topological characterization is given for the graph Γ(R) to be triangulated or hypertriangulated. We show that the clique number of Γ(R), the cellularity of and the Goldie dimension of R coincide. We prove that when R has the annihilator condition and ; Γ(R) is complemented if and only if is compact. In a semiprimitive Gelfand ring, it turns out that the dominating number of Γ(R) is between the density and the weight of . We show that Γ(R) is not triangulated and the set of centers of Γ(R) is a dominating set if and only if the set of isolated points of is dense in .     

Dixmier traces as singular symmetric functionals and applications to measurable operators

We unify various constructions and contribute to the theory of singular symmetric functionals on Marcinkiewicz function/operator spaces. This affords a new approach to the non-normal Dixmier and Connes-Dixmier traces (introduced by Dixmier and adapted to non-commutative geometry by Connes) living on a general Marcinkiewicz space associated with an arbitrary semifinite von Neumann algebra. The corollaries to our approach, stated in terms of the operator ideal L^(1,∞) (which is a special example of an operator Marcinkiewicz space), are: (i) a new characterization of the set of all positive measurable operators from L^(1,∞), i.e. those on which an arbitrary Connes-Dixmier trace yields the same value. In the special case, when the operator ideal L^(1,∞) is considered on a type I infinite factor, a bounded operator x belongs to L^(1,∞) if and only if the sequence of singular numbers {s_n(x)}_n?1 (in the descending order and counting the multiplicities) satisfies . In this case, our characterization amounts to saying that a positive element x∈L^(1,∞) is measurable if and only if exists; (ii) the set of Dixmier traces and the set of Connes-Dixmier traces are norming sets (up to equivalence) for the space , where the space is the closure of all finite rank operators in L^(1,∞) in the norm ∥.∥_(1,∞).     

Trace formulas for Hecke operators, Gaussian hypergeometric functions, and the modularity of a threefold

We present simple trace formulas for Hecke operators Tk(p) for all p>3 on Sk(Γ₀(3)) and Sk(Γ₀(9)), the spaces of cusp forms of weight k and levels 3 and 9. These formulas can be expressed in terms of special values of Gaussian hypergeometric series and lend themselves to recursive expressions in terms of traces of Hecke operators on spaces of lower weight. Along the way, we show how to express the traces of Frobenius of a family of elliptic curves equipped with a 3-torsion point as special values of a Gaussian hypergeometric series over Fq, when . As an application, we use these formulas to provide a simple expression for the Fourier coefficients of η⁸(3z), the unique normalized cusp form of weight 4 and level 9, and then show that the number of points on a certain threefold is expressible in terms of these coefficients.     

A subadditive property of the gamma function

Let Δ=min_x?0Γ(2x)/Γ(x) and . We prove that the function x?(Γ(x))^α is subadditive on (0,∞) if and only if α∗?α?0.     

Lattices generated by join of strongly closed subgraphs in d-bounded distance-regular graphs

Let Γ be a d-bounded distance-regular graph with diameter d?3. Suppose that P(x) is a set of all strongly closed subgraphs containing x and that P(x,i) is a subset of P(x) consisting of all elements of P(x) with diameter i. Let L^′(x,i) be the set generated by all joins of the elements in P(x,i). By ordering L^′(x,i) by inclusion or reverse inclusion, L^′(x,i) is denoted by or . We prove that and are both finite atomic lattices, and give the conditions for them both being geometric lattices. We also give the eigenpolynomial of      

A new transformation of Burger’s equation for an exact solution in a bounded region necessary for certain boundary conditions

In this work, the transient analytic solution is found for the initial-boundary-value Burgers equation in 0?x?L. The boundary conditions are a homogeneous Dirichlet condition at x=0 and a constant total flux at x=L. The technique used consists of applying the transformation that reduces Burgers equation to a linear diffusion-advection equation. Previous work on this equation in a bounded region has only applied the Cole-Hopf transformation , which transforms Burgers equation to the linear diffusion equation. The Cole-Hopf transformation can only solve Burgers equation with constant Dirichlet boundary conditions, or time-dependent Dirichlet boundary conditions of the form u(0,t)=F₁(t) and u(L,t)=F₂(t),0?x?L. In this work, it is shown that the Cole-Hopf transformation will not solve Burgers equation in a bounded region with the boundary conditions dealt with in this work.     

Bernstein widths of Hardy-type operators in a non-homogeneous case

Let I=[a,b]⊂R, let 1<p?q<∞, let u and v be positive functions with u∈Lp^′(I), v∈Lq(I) and let be the Hardy-type operator given by

     

Smoothed integral equations

For a linear integral equation there is a resolvent equation and a variation of parameters formula . It is assumed that B is a perturbed convex function and that a(t) may be badly behaved in several ways. When the first two equations are treated separately by means of a Liapunov functional, restrictive conditions are required separately on a(t) and B(t,s). Here, we treat them as a single equation where S is an integral combination of a(t) and B(t,s). There are two distinct advantages. First, possibly bad behavior of a(t) is smoothed. Next, properties of S needed in the Liapunov functional can be obtained from an array of properties of a(t) and B(t,s) yielding considerable flexibility not seen in standard treatment. The results are used to treat nonlinear perturbation problems. Moreover, the function is shown to converge pointwise and in L²[0,∞) to x(t).     

Completeness for flat modal fixpoint logics

This paper exhibits a general and uniform method to prove axiomatic completeness for certain modal fixpoint logics. Given a set Γ of modal formulas of the form γ(x,p₁,…,p_n), where x occurs only positively in γ, we obtain the flat modal fixpoint language L_?(Γ) by adding to the language of polymodal logic a connective ?_γ for each γ∈Γ. The term ?_γ(φ₁,…,φ_n) is meant to be interpreted as the least fixed point of the functional interpretation of the term γ(x,φ₁,…,φ_n). We consider the following problem: given Γ, construct an axiom system which is sound and complete with respect to the concrete interpretation of the language L_?(Γ) on Kripke structures. We prove two results that solve this problem.First, let be the logic obtained from the basic polymodal by adding a Kozen-Park style fixpoint axiom and a least fixpoint rule, for each fixpoint connective ?_γ. Provided that each indexing formula γ satisfies a certain syntactic criterion, we prove this axiom system to be complete.Second, addressing the general case, we prove the soundness and completeness of an extension of . This extension is obtained via an effective procedure that, given an indexing formula γ as input, returns a finite set of axioms and derivation rules for ?_γ, of size bounded by the length of γ. Thus the axiom system is finite whenever Γ is finite.     

Coincidence of strict s-numbers of weighted Hardy operators

We establish the equality of all the so-called strict s-numbers of the weighted Hardy operator T:Lp(I)→Lp(I), where 1<p<∞, I=(a,b)⊂R and

     

Exponential stability of wave equations with potential and indefinite damping

First, we consider the linear wave equation utt−uxx+a(x)ut+b(x)u=0 on a bounded interval (0,L)⊂R. The damping function a is allowed to change its sign. If is positive and the spectrum of the operator (_∂xx−b) is negative, exponential stability is proved for small . Explicit estimates of the decay rate ω are given in terms of and the largest eigenvalue of (_∂xx−b). Second, we show the existence of a global, small, smooth solution of the corresponding nonlinear wave equation utt−σx(ux)+a(x)ut+b(x)u=0, if, additionally, the negative part of a is small enough compared with ω.     

On hyper-singular integral operators with variable kernels

Let n?2, Sn−1 be the unit sphere in Rn. For 0?α<1, m∈N₀, 1<p?2, and Ω∈L^∞(Rn)×Hr(Sn−1) with (where Hr is the Hardy space if r?1 and Hr=Lr if 1<r<∞), we study the singular integral operator, for r?1, defined by