The Gleason''''s problem on mixed norm spaces in convex domains

Let Ω be a bounded convex domain with C2 boundary in C2 and for given 0 < p, q ≤∞ and normal weight function (r) let Hp,q, be the mixed norm space on Ω. In this paper we prove that the Gleason's problem (Ω, a, Hp,q,) is solvable for any fixed point a ∈ Ω. While solving the Gleason's problem we obtain the boundedness of certain integral operator on Hp,q,.     

Almost continuous orbit equivalence for non-singular homeomorphisms

Let X and Y be Polish spaces with non-atomic Borel measures μ and ν of full support. Suppose that T and S are ergodic non-singular homeomorphisms of (X, μ) and (Y, ν) with continuous Radon-Nikodym derivatives. Suppose that either they are both of type III ₁ or that they are both of type III _λ, 0 < λ < 1 and, in the III _λ case, suppose in addition that both ‘topological asymptotic ranges’ (defined in the article) are log λ · ℤ. Then there exist invariant dense G _δ-subsets X′ ⊂ X and Y′ ⊂ Y of full measure and a non-singular homeomorphism ϕ: X′ → Y′ which is an orbit equivalence between T| _X′ and S| _Y′, that is ϕ{T ⁱ x} = {S ⁱ ϕx} for all x ∈ X′. Moreover, the Radon-Nikodym derivative dν ∘ ϕ/dμ is continuous on X′ and, letting S′ = ϕ ⁻¹ Sϕ, we have T _x = S′ ^n(x) x and S′x = T ^m(x) x where n and m are continuous on X′.     

Teichmüller sequences on trajectories invariant under a Kleinian group

We extend the results of [T2] to the situation where there is a compatibility with the action of a Kleinian group. A classical Techmüller sequence is a sequence of quasiconformal mapsf _i with complex dilatations of the form , where ϕ is a quadratic differential and 0<-k _i<1 are numbers such thatk _i→1 asi→∞. We proved in [T2] that if τ is a vertical trajectory associated to ϕ, then there is often, for instance if the sequence is normalized so thatf _i fix 3 points, a subsequence such thatf _i tend either toward a constant or an injective map of τ. If there is compatibility with the action of a non-elementary finitely generated Kleinian groupG, we can given a precise characterization which of these cases occurs. Suppose thatf _i induce isomorphisms ϕ_i ofG onto another Kleinian group and that ϕ_i have algebraic limit ϕ. If the quadratic differential is defined on a component of the ordinary set ofG, if there are no parabolic elements, and if τ is extended maximally so that all branches coming together at a singular point are included, then we can state the main result as follows. The limit is a constantc if the stabilizerG _τ of τ is elementary; and, if it is non-elementary, then the limit is injective. In the first case, ϕ(g) is parabolic with fixpointc wheneverg∈G _τ is of infinite order; and in the latter case, the limitf is an embedding of τ in a natural topology of τ, andf embeds τ into a component of the limit set of ϕG whose stabilizer is ϕG _τ. Various extensions and generalizations are presented. The research for this paper has been supported by the project 51749 of the Academy of Finland.     

Stinespring representability and Kadison’s Schwarz inequality in non-unital Banach star algebras and applications

A completely positive operator valued linear map ϕ on a (not necessarily unital) Banach *-algebra with continuous involution admits minimal Stinespring dilation iff for some scalark > 0, ϕ(x)*ϕ(x) ≤ kϕ(x*x) for allx iff ϕ is hermitian and satisfies Kadison’s Schwarz inequality ϕ(h) ² ≤ kϕ(h ²) for all hermitianh iff ϕ extends as a completely positive map on the unitizationA _e of A. A similar result holds for positive linear maps. These provide operator state analogues of the corresponding well-known results for representable positive functionals. Further, they are used to discuss (a) automatic Stinespring representability in Banach *-algebras, (b) operator valued analogue of Bochner-Weil-Raikov integral representation theorem, (c) operator valued analogue of the classical Bochner theorem in locally compact abelian groupG, and (d) extendability of completely positive maps from *-subalgebras. Evans’ result on Stinespring respresentability in the presence of bounded approximate identity (BAI) is deduced. A number of examples of Banach *-algebras without BAI are discussed to illustrate above results.     

Weak generators of the algebral ∞ and the commutant of a model operator

Let B be a Blaschke product with simple zeros in the unit disk, let Λ be the set of its zeros, and let ϕ∈H^∞. It is known that ϕ+BH^∞ is a weak^* generator of the algebra H^∞/BH^∞ if (for B that satisfy the Carleson condition (C)) and only if the sequence ϕ(Λ) is a weak^* generator of the algebra l^∞. In this paper, we show that for any Blaschke product B with simple zeros that does not satisfy condition (C), there exists B=B₁·…·B_N, where N ∈ℕ, and B₁, …, B_N are Blaschke products satisfying condition (C), there exists a function ϕ∈H^∞ such that ϕ(Λ) is a weak^* generator of the algebra l^∞, and ϕ+BH^∞ is not a weak^* generator of the algebra H^∞/BH^∞. Bibliography: 12 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 232, 1996, pp. 73–85. Translated by M. F. Gamal'.     

Bipartite Distance-regular Graphs, Part I

Let Γ=(X,E) denote a bipartite distance-regular graph with diameter D≥4, and fix a vertex x of Γ. The Terwilliger algebra T=T(x) is the subalgebra of Mat _X(C) generated by A, E ^* ₀, E ^* ₁,…,E ^* _D, where A denotes the adjacency matrix for Γ and E ^* _i denotes the projection onto the i ^TH subconstituent of Γ with respect to x. An irreducible T-module W is said to be thin whenever dimE ^* _i W≤1 for 0≤i≤Di. The endpoint of W is min{i|E ^* _i W≠0}. We determine the structure of the (unique) irreducible T-module of endpoint 0 in terms of the intersection numbers of Γ. We show that up to isomorphism there is a unique irreducible T-module of endpoint 1 and it is thin. We determine its structure in terms of the intersection numbers of Γ. We determine the structure of each thin irreducible T-module W of endpoint 2 in terms of the intersection numbers of Γ and an additional real parameter ψ=ψ(W), which we refer to as the type of W. We now assume each irreducible T-module of endpoint 2 is thin and obtain the following two-fold result. First, we show that the intersection numbers of Γ are determined by the diameter D of Γ and the set of ordered pairs

P.I.G-rings and the contractability of primes

LetR=F{x ₁, …, x_k} be a prime affine p.i. ring andS a multiplicative closed set in the center ofR, Z(R). The structure ofG-rings of the formR _s is completely determined. In particular it is proved thatZ(R _s)—the normalization ofZ(R _s) —is a prüfer ring, 1≦k.d(R _s)≦p.i.d(R _s) and the inequalities can be strict. We also obtain a related result concerning the contractability ofq, a prime ideal ofZ(R) fromR. More precisely, letQ be a prime ideal ofR maximal to satisfyQϒZ(R)=q. Then k.dZ(R)/q=k.dR/Q, h(q)=h(Q) andh(q)+k.dZ(R)/q=k.dz(R). The last condition is a necessary butnot sufficient condition for contractability ofq fromR.     

Characterization of polynomials and divided difference

For distinct points x₁,x₂,…,x_n in ℛ (the reals), letϕ[x₁, x₂,…,x_n] denote the divided difference ofϕ. In this paper, we determine the general solutionϕ,g: ℛ → ℛ of the functional equationϕ[x₁,x₂,…,x_n] =g(x₁,+ x₂ + … + x_n) for distinct x₁,x₂,…, x_n in ℛ without any regularity assumptions on the unknown functions.     

On a theorem of Marcinkiewicz and Zygmund

Let {ϕn(x)} be an orthonormal system on the closed interval [0,1], and let ∥ϕ _n ∥_∞ ≤M _n . In 1937 Marcinkiewicz and Zygmund obtained an estimate of the norm inL _q [0,1] of the sum of the series ∑ _n=1 ^∞ c _n ϕ _n (x) under the condition that {M _n } is monotone increasing. In this paper it is shown that this condition cannot be discarded. Translated fromMatematicheskie Zametki, Vol. 63, No. 3, pp. 386–390, March, 1998. The author wishes to thank V. I. Kolyada for setting the problem and for his permanent attention to this work.     

Homogenization of quasi-linear equations with natural growth terms

In this paper we deal with the limit behaviour of the bounded solutions u_ε of quasi-linear equations of the form of Ω with Dirichlet boundary conditions on σΩ. The map a=a(x,ϕ) is periodic in x, monotone in ϕ, and satisfies suitable coerciveness and growth conditions. The function H=H(x,s,ϕ) is assumed to be periodic in x, continuous in [s,ϕ] and to grow at most like |ξ|^p. Under these assumptions on a and H we prove that there exists a function H⁰=H⁰(s,ϕ) with the same behaviour of H, such that, up to a subsequence, (u_ε) converges to a solution u of the homogenized problem -div(b(Du)) + γ|u|^p-2u = H⁰(u,Du) + h(x) on Ω, where b depends only on a and has analogous qualitative properties.     

Sufficient conditions for the existence of a left quotient ring of a ring decomposed into a direct sum of left ideals

Let R=P₁⊕P₂⊕…⊕P_n be a decomposition of a ring into a direct sum of indecomposable left ideals. Assume that these ideals possess the following properties: (1) any nonzero homomorphisms ϕ: P_i→P_j is a monomorphism; (2) if subideals Q₁, Q₂ of the ideal P_j are isomorphic to the ideal P_i, then there exists a subideal Q₃⊆Q₁⊎Q₂, which is also isomorphic to P_i. It is proved that, under these asumptions, a left quotient ring of the ring R exists. This left quotient ring inherits properties(1), (2) and satisfies condition (3): any nonzero homomorphism ϕ: P_i→P_i is an automorphism of the ideal P_i. Bibliography: 2 titles. Translated fromZapiski Nauchnyk Seminarov POMI, Vol. 227, 1995, pp. 9–14.     

Large antipodal families

A family {A _i | i ∈ I} of sets in ℝ ^d is antipodal if for any distinct i, j ∈ I and any p ∈ A _i , q ∈ A _j , there is a linear functional ϕ:ℝ ^d → ℝ such that ϕ(p) ≠ ϕ(q) and ϕ(p) ≤ ϕ(r) ≤ ϕ(q) for all r ∈ ∪ _i∈I A _i . We study the existence of antipodal families of large finite or infinite sets in ℝ³. The research was supported by the Hungarian-South African Intergovernmental Scientific and Technological Cooperation Programme, NKTH Grant no. ZA-21/2006 and South African National Research Foundation Grant no. UID 61853, as well as Hungarian National Foundation for Scientific Research Grants no. NK 67867, no. T47102, and no. K72537.     

Accuracy of several multidimensional refinable distributions

Compactly supported distributions f₁,..., f_r on ℝ^d are fefinable if each f_i is a finite linear combination of the rescaled and translated distributions f_j(Ax−k), where the translates k are taken along a lattice Γ ⊂ ∝^d and A is a dilation matrix that expansively maps Γ into itself. Refinable distributions satisfy a refinement equation f(x)=Σ_k∈Λ c_k f(Ax−k), where Λ is a finite subset of Γ, the c_k are r×r matrices, and f=(f₁,...,f_r)^T. The accuracy of f is the highest degree p such that all multivariate polynomials q with degree(q)<p are exactly reproduced from linear combinations of translates of f₁,...,f_r along the lattice Γ. We determine the accuracy p from the matrices c_k. Moreover, we determine explicitly the coefficients y_α,i(k) such that x^α=Σ _i=1 ^r Σ_k∈Γy_α,i(k) fi(x+k). These coefficients are multivariate polynomials y_α,i(x) of degree |α| evaluated at lattice points k∈Γ.     

Spectra of composition operators on the bloch and bergman spaces

Whenϕ is an analytic map of the unit diskU into itself, andX is a Banach space of analytic functions onU, define the composition operatorC _ϕ byC _ϕ (f)=f o ϕ, forf∈X. In this paper we show how to use the Calderón theory of complex interpolation to obtain information on the spectrum ofC _ϕ (under suitable hypotheses onϕ) acting on the Bloch spaceB and BMOA, the space of analytic functions in BMO. To do this we first obtain some results on the essential spectral radius and spectrum ofC _ϕ on the Bergman spacesA ^pand Hardy spacesH ^p,spaces which are connected toB and BMOA by the interpolation relationships [A ¹,B] _t =A ^pand [H ¹,BMOA] _t =H ^pfor 1=p(1−t).     

Euler operator and homogeneous hida distributions

Let (S)⊄L ²(S′(∔),μ)⊄(S)^* be the Gel'fand triple over the white noise space (S′(∔),μ). Let (e _n ,n>-0) be the ONB ofL ²(∔) consisting of the eigenfunctions of the s.a. operator . In this paper the Euler operator Δ _E is defined as the sum , where ∂ _i stands for the differential operatorD _{e i}. It is shown that Δ _E is the infinitesimal generator of the semigroup (T _t ), where (T _t ϕ)(x)=ϕ(e ^t x) for ϕ∈(S). Similarly to the finite dimensional case, the λ-order homogeneous test functionals are characterized by the Euler equation: Δ _Eϕ =λ_ϕ. Via this characterization the λ-order homogeneous Hida distributions are defined and their properties are worked out. Supported by the National Natural Science Foundation of China.     

Realization of a sum of sequences by a sum graph

It is shown that the realizability of the sequences ϕ=(a ₁,…, _a ), ψ=(b ₁,…,b _n ) and ϕ+ψ is a sufficient condition for the realizability of ϕ+ψ by a graph with a ϕ-factor ifb _i ≦1 fori=1,…,n. The condition is not sufficient in general. A necessary and sufficient condition for the realizability of ϕ+ψ by a graph with a ϕ-factor is given for the case that ϕ is realizable by a star and isolated vertices.     

On the weighted Kneser-Poulsen conjecture

Suppose that p = (p1, p2, …, pN) and q = (q1, q2, …, qN) are two configurations in , which are centers of balls B ^d (p _i , r _i ) and B ^d (q _i , r _i ) of radius r _i , for i = 1, …, N. In [9] it was conjectured that if the pairwise distances between ball centers p are contracted in going to the centers q, then the volume of the union of the balls does not increase. For d = 2 this was proved in [1], and for the case when the centers are contracted continuously for all d in [2]. One extension of the Kneser-Poulsen conjecture, suggested in [6], was to consider various Boolean expressions in the unions and intersections of the balls, called flowers, where appropriate pairs of centers are only permitted to increase, and others are only permitted to decrease. Again under these distance constraints, the volume of the flower was conjectured to change in a monotone way. Here we show that these generalized Kneser-Poulsen flower conjectures are equivalent to an inequality between certain integrals of functions (called flower weight functions) over , where the functions in question are constructed from maximum and minimum operations applied to functions each being radially symmetric monotone decreasing and integrable. Research supported in part by NSF Grant No. DMS-0209595.     

Régularisation spectrale et propriétés métriques des moyennes mobiles

We develop a spectral regularization technique for moving averages , where ϕ is a nondecreasing map andU: H→H is a contraction of a Hilbert space (H, ‖·‖). We obtain a spectral regularization inequality which allows one to evaluate efficiently the increments ‖B _m ^U , ϕ (f)−B _n ^U , ϕ (f)‖,f∈H, by means of where is a properly regularized version of the spectral measure off with respect toU. We apply this inequality to an investigation of metric properties of the sets of moving averages {B _n ^{U, ϕ} (f), n ∈N} with fixedf∈H andN⊂ N. In particular, we obtain estimates of the associated covering numbers as well as of the related Littlewood-Paley-type square functions. This work extends our previous results concerning the case of classical averages (ϕ(n)=0). Since it is well-known that the structure of general moving averages is more complicated, there is no surprise that the general results we obtain are sometimes less complete than their classical counterparts and need suitable moment assumptions on the spectral measure (depending on the growth of the shift function ϕ). Nevertheless, when applied to the classical situation, our estimates still yield optimal bounds.

---

---

Avec pour le premier author, le soutien de la fondation russe pour la recherche fondamentale, subvention 99-01-00112 et INTAS subvention 99-01317.     

Stability of Standing Waves for Nonlinear Schrödinger Equations with Inhomogeneous Nonlinearities

The effect of inhomogeneity of nonlinear medium is discussed concerning the stability of standing waves e^{i ω t}ϕ_ω(x) for a nonlinear Schr?dinger equation with an inhomogeneous nonlinearity V (x)|u|^{p − 1}u, where V (x) is proportional to the electron density. Here, ω > 0 and ϕ_ω(x) is a ground state of the stationary problem. When V (x) behaves like |x|^−b at infinity, where 0 < b < 2, we show that e^{i ω t}ϕ_ω(x) is stable for p < 1 + (4 − 2b)/n and sufficiently small ω > 0. The main point of this paper is to analyze the linearized operator at standing wave solution for the case of V (x) = |x|^−b. Then, this analysis yields a stability result for the case of more general, inhomogeneous V (x) by a certain perturbation method. Communicated by Bernard Helffer submitted 14/07/04, accepted 28/02/05