On semi-fredholm properties of a boundary value problem inR + n

The paper considers a boundary value problem with the help of the smallest closed extensionL ^∼ :H _k →H _{k 0}×B _{h 1}×...×B _{h N} of a linear operatorL :C ₍₀₎ ^∞ (R ₊ ⁿ ) →L(R ₊ ⁿ )×L(R ⁿ⁻¹)×...×L(R ⁿ⁻¹). Here the spacesH _k (the spaces ℬ _h ) are appropriate subspaces ofD′(R ₊ ⁿ ) (ofD′(R ⁿ⁻¹), resp.),L(R ₊ ⁿ ) andC ₍₀₎ ^∞ (R ₊ ⁿ )) denotes the linear space of smooth functionsR ⁿ →C, which are restrictions onR ₊ ⁿ of a function from the Schwartz classL (fromC ₀ ^∞ , resp.),L(R ⁿ⁻¹) is the Schwartz class of functionsR ⁿ⁻¹ →C andL is constructed by pseudo-differential operators. Criteria for the closedness of the rangeR(L ^∼) and for the uniqueness of solutionsL ^∼ U=F are expressed. In addition, ana priori estimate for the corresponding boundary value problem is established.     

On the description of overgroups of E(m,R)?E(n,R)

The subgroups E(m,R) ⊗ E(n,R) ≤ H ≤ G = GL(mn,R) are studied under the assumption that the ring R is commutative and m, n ≥ 3. The group GL _m ⊗GL _n is defined by equations, the normalizer of the group E(m,R) ⊗ E(n,R) is calculated, and with each intermediate subgroup H it is associated a uniquely determined lower level (A,B,C), where A,B,C are ideals in R such that mA,A ² ≤ B ≤ A and nA,A ² ≤ C ≤ A. The lower level specifies the largest elementary subgroup satisfying the condition E(m, n,R, A,B,C) ≤ H. The standard answer to this problem asserts that H is contained in the normalizer N _G (E(m,n,R, A,B,C)). Bibliography: 46 titles.     

Lower bounds at infinity of solutions of partial differential equations in the exterior of a proper cone

An extension of a classical theorem of Rellich to the exterior of a closed proper convex cone is proved: Let Γ be a closed convex proper cone inR ⁿ and −Γ′ be the antipodes of the dual cone of Γ. Let be a partial differential operator with constant coefficients inR ⁿ, whereQ(ζ)≠0 onR ⁿ−iΓ′ andP _i is an irreducible polynomial with real coefficients. Assume that the closure of each connected component of the set {ζ∈R ⁿ−iΓ′;P _j(ζ)=0, gradP _j(ζ)≠0} contains some real point on which gradP _j≠0 and gradP _j∉Γ∪(−Γ). LetC be an open cone inR ⁿ−Γ containing both normal directions at some such point, and intersecting each normal plane of every manifold contained in {ξ∈R ⁿ;P(ξ)=0}. Ifu∈ℒ′∩L _loc ² (R ⁿ−Γ) and the support ofP(−i∂/∂x)u is contained in Γ, then the condition implies that the support ofu is contained in Γ.     

Remarques sur les systemes dynamiques donnes avec plusieurs facteurs

Two Bernoulli shifts are given, (X, T) and (X′, T′), with independent generatorsR=P ∨Q andR′=P′ ∨Q′ respectively. (R andR′ are finite). One can chooseR such that if (X′, T′) can be made a factor of (X, T) in such a way that (P′) _T′ and (Q′) _T′ are full entropy factors of (P) _T and (Q) _T respectively thend (P ∨Q)=d(P′ ∨Q′). In addition it is proved that if (X, T) is a Bernoulli shift and ifS is a measure preserving transformation ofX that has the same factor algebras asT thenS=T orS=T ⁻¹. A tool for this proof, which may be of independent interest is a relative version for very weak Bernoullicity.

---

---

Equipe de Recherche n^o 1 “Processus stochastique et applications” dépendant de la Section n^o 1 “Mathématiques, Informatique” associée au C.N.R.S.     

Negative result in pointwise 3-convex polynomial approximation

Let Δ³ be the set of functions three times continuously differentiable on [−1, 1] and such that f″′(x) ≥ 0, x ∈ [−1, 1]. We prove that, for any n ∈ ℕ and r ≥ 5, there exists a function f ∈ C ^r [−1, 1] ⋂ Δ³ [−1, 1] such that ∥f ^(r)∥ _{C[−1, 1]} ≤ 1 and, for an arbitrary algebraic polynomial P ∈ Δ³ [−1, 1], there exists x such that

Riesz means for the sublaplacian on the Heisenberg group

The uniform boundedness of the Riesz means for the sublaplacian on the Heisenberg groupH ⁿ is considered. It is proved thatS _R ^α are uniformly bounded onL ^p(Hⁿ) for 1≤p≤2 provided α>α(p)=(2n+1)[(1/p)−(1/2)].     

Potential space estimates in local Hardy spaces for Green potentials in convex domains

Let Ω be a bounded co.nvex domain in Rn(n≥3) and G(x,y) be the Green function of the Laplace operator -△ on Ω. Let hrp(Ω) = {f ∈ D'(Ω) :(E)F∈hp(Rn), s.t. F|Ω = f}, by the atom characterization of Local Hardy spaces in a bounded Lipschitz domain, the bound of f→(△)2(Gf) for every f ∈ hrp(Ω) is obtained, where n/(n 1)＜p≤1.     

Existence principles for higher-order nonlocal boundary-value problems and their applications to singular Sturm-Liouville problems

We present existence principles for the nonlocal boundary-value problem (φ(u^(p−1)))′=g(t,u,...,u^(p−1), α_k(u)=0, 1≤k≤p−1, where p ≥ 2, π: ℝ → ℝ is an increasing and odd homeomorphism, g is a Carathéodory function that is either regular or has singularities in its space variables, and α _k: C ^p−1[0, T] → ℝ is a continuous functional. An application of the existence principles to singular Sturm-Liouville problems (−1)ⁿ(φ(u⁽²ⁿ⁻⁾))′=f(t,u,...,u⁽²ⁿ⁻¹⁾), u^(2k)(0)=0, α_ku^(2k)(T)+b_ku^(2k=1)(T)=0, 0≤k≤n−1, is given. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 2, pp. 240–259, February, 2008.     

A Property About Minimum Edge- and Minimum Clique-Cover of a Graph

 Let G be a graph with n vertices, and denote as γ(G) (as θ(G)) the cardinality of a minimum edge cover (of a minimum clique cover) of G. Let E (let C) be the edge-vertex (the clique-vertex) incidence matrix of G; write then P(E)={x∈ℜ ⁿ :Ex≤1,x≥0}, P(C)={x∈ℜ ⁿ :Cx≤1,x≥0}, α _E (G)=max{1 ^T x subject to x∈P(E)}, and α _C (G)= max{1 ^T x subject to x∈P(C)}. In this paper we prove that if α _E (G)=α _C (G), then γ(G)=θ(G). Received: May 20, 1998?Final version received: April 12, 1999     

On the order of growth of solutions of algebraic differential equations

Assume thatf is an integer transcendental solution of the differential equationP _n (z, f, f′)=P _n−1(z, f, f′, ... f ^(p)), whereP _n andP _n−1 are polynomials in all variables, the degree ofP _n with respect tof andf′ is equal ton, and the degree ofP _n−1 with respect tof, f′, ... f ^(p) is at mostn−1. We prove that the order ρ of growth off satisfies the relation 1/2≤ρ<∞. We also prove that if ρ=1/2, then, for a certain real ν, in the domain {z: ν<argz<ν+2π}/E _*, whereE _* is a certain set of disks with finite sum of radii, the estimate lnf(z)=z ^1/2 (β+o(1)), β∈C, holds forz=re ^iϕ,r≥r(ϕ)≥0. Furthermore, on the ray {z: argz=ν}, the following relation is true: ln‖f(re ^iν)‖=o(r ^1/2),r→+∞,r>0, , where Δ is a certain set on the semiaxisr>0 with mes Δ<∞. “L'vivs'ka Politekhnika” University, Lvov. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 51, No. 1, pp. 69–77, January, 1999.     

Some estimates related to fractal measures and Laplacians on manifolds

Let Δ be the Laplace-Beltrami operator on ann dimensional completeC ^∞ manifoldM In this paper we establish an estimate ofe ^tΔ (dμ) valid for allt>0 wheredμ is a locally uniformly α dimensional measure onM 0≤α≤n The result is used to study the mapping properties of (I-tΔ)^-β considered as an operator fromL ^p (M dμ) toL ^p (M dx) wheredx is the Riemannian measure onM β>(n−α)/2p′ 1/p+1/p′=1 1≤p≤∞     

Wavelet expansions of fractal measures

Let μ be a measure on ℝⁿ that satisfies the estimate μ(B _r(x))≤cr ^α for allx ∈ ℝⁿ and allr ≤ 1 (B _r(x) denotes the ball of radius r centered atx. Let ϕ _j,k ^(ɛ) (x)=2 ^nj2ϕ^(ɛ)(2 ^j x-k) be a wavelet basis forj ∈ ℤ, κ ∈ ℤⁿ, and ∈ ∈E, a finite set, and letP _j (T)=Σ_ɛ,k <T,ϕ _j,k ^(ɛ) >ϕ _j,k ^(ɛ) denote the associated projection operators at levelj (T is a suitable measure or distribution). Iff ∈Ls ^p(dμ) for 1 ≤p ≤ ∞, we show thatP _j(f dμ) ∈ L^p(dx) and ||P _j (fdμ)||L _p(dx)≤c2 ^{j((n-α)/p′))}||f||L _p(dμ) for allj ≥ 0. We also obtain estimates for the limsup and liminf of ||P _j (fdμ)||L _p(dx) under more restrictive hypotheses. Communicated by Guido Weiss     

Morphisms between the moduli spaces of curves with generalized Teichmüller structure

 Let C _g,n be a compact surface of genus g having n punctures, T _g,n the associated Teichmüller space, and Γ _g,n the corresponding Teichmüller modular group. We will show that for any subgroup Γ≤Γ _g,n , _Γ T _g,n  ≔ T _g,n /Γ is a moduli space of curves having Γ-structure. Furthermore, we will investigate for which Γ≤Γ _g,n and for which finite coverings P : C _g′,n′ →C _g,n there exists a holomorphic map Φ _P  : _Γ T _g,n  → _Γ′T _g′,n′ such that for any R ? _Γ T _g,n , Φ _P (R) → R is topologically equivalent to P. Received: 14 May 2001 / Revised version: 2 November 2001     

On subgroups of the general linear group that contain a maximal nonsplit torus

The paper deals with the structure of intermediate subgroups of the general linear group GL(n, k) of degree n over a field k of odd characteristic that contain a nonsplit maximal torus related to a radical extension of degree n of the ground field k. The structure of ideal nets over a ring that determine the structure of intermediate subgroups containinga transvection is given. Let K = k( ⁿ?{d} ) K = k\left( {\sqrt[n]{d}} \right) be a radical degree-n extension of a field k of odd characteristic, and let T =(d) be a nonsplit maximal torus, which is the image of the multiplicative group of the field K under the regular embedding in G =GL(n, k). In the paper, the structure of intermediate subgroups H, T ≤ H ≤ G, that contain a transvection is studied. The elements of the matrices in the torus T = T (d) generate a subring R(d) in the field k.Let R be an intermediate subring, R(d) ⊆ R ⊆ k, d ∈ R. Let σ_R denote the net in which the ideal dR stands on the principal diagonal and above it and all entries of which beneath the principal diagonal are equal to R. Let σ^R denote the net in which all positions on the principal diagonal and beneath it are occupied by R and all entries above the principal diagonal are equal to dR. Let E(σ_R) be the subgroup generated by all transvections from the net group G(σ_R). In the paper it is proved that the product TE(σ_R) is a group (and thus an intermediate subgroup). If the net σ associated with an intermediate subgroup H coincides with σ_R,then TE(σ_R) ≤ H ≤ N(σ_R),where N(σ_R) is the normalizer of the elementary net group E(σ_R) in G. For the normalizer N(σ_R),the formula N(σ_R)= TG(σ^R) holds. In particular, this result enables one to describe the maximal intermediate subgroups. Bibliography: 13 titles.     

On the covering multiplicity of lattices

Let the lattice Λ have covering radiusR, so that closed balls of radiusR around the lattice points just cover the space. The covering multiplicityCM(Λ) is the maximal number of times the interiors of these balls overlap. We show that the least possible covering multiplicity for ann-dimensional lattice isn ifn≤8, and conjecture that it exceedsn in all other cases. We determine the covering multiplicity of the Leech lattice and of the latticesI _n, A_n, D_n, E_n and their duals for small values ofn. Although it appears thatCM(I _n)=2 ⁿ⁻¹ ifn≤33, asn → ∞ we haveCM(I _n)∼2.089... ⁿ . The results have application to numerical integration.     

On the Maximum Number of Translates in a Point Set

Given a finite set P⊆ℝ ^d , called a pattern, t _P (n) denotes the maximum number of translated copies of P determined by n points in ℝ ^d . We give the exact value of t _P (n) when P is a rational simplex, that is, the points of P are rationally affinely independent. In this case, we prove that t _P (n)=n−m _r (n), where r is the rational affine dimension of P, and m _r (n) is the r -Kruskal–Macaulay function. We note that almost all patterns in ℝ ^d are rational simplices. The function t _P (n) is also determined exactly when | P |≤3 or when P has rational affine dimension one and n is large enough. We establish the equivalence of finding t _P (n) and the maximum number s _R (n) of scaled copies of a suitable pattern R⊆ℝ⁺ determined by n positive reals. As a consequence, we show that s_Ak(n)=n-\varTheta (n^1-1/p(k))s_{A_{k}}(n)=n-\varTheta (n^{1-1/\pi(k)}) , where A _k ={1,2,…,k} is an arithmetic progression of size k, and π(k) is the number of primes less than or equal to k.     

Punishing Factors for Finitely Connected Domains

Let Ω and Π be two finitely connected hyperbolic domains in the complex plane \Bbb C{\Bbb C} and let R(z, Ω) denote the hyperbolic radius of Ω at z and R(w, Π) the hyperbolic radius of Π at w. We consider functions f that are analytic in Ω and such that all values f(z) lie in the domain Π. This set of analytic functions is denoted by A(Ω, Π). We prove among other things that the quantities C_n(W,P) := sup_{f ? A(W,P)}sup_{z ? W}\frac|f⁽ⁿ⁾(z)| R(f(z),P)n! (R(z,W))ⁿC_n(\Omega,\Pi)\,:=\,\sup_{f\in A(\Omega,\Pi)}\sup_{z\in \Omega}\frac{\vert f^{(n)}(z)\vert\,R(f(z),\Pi)}{n!\,(R(z,\Omega))^n} are finite for all n ? \Bbb N{n \in {\Bbb N}} if and only if ∂Ω and ∂Π do not contain isolated points.     

Inversion of matrices over a pseudocomplemented lattice

We compute the greatest solutions of systems of linear equations over a lattice (P, ≤). We also present some applications of the results obtained to lattice matrix theory. Let (P, ≤) be a pseudocomplemented lattice with and and let A = ‖a _ij ‖ _n×n , where a _ij ∈ P for i, j = 1,..., n. Let A* = ‖a _ij ^′ ‖ _n×n and for i, j = 1,..., n, where a* is the pseudocomplement of a ∈ P in (P, ≤). A matrix A has a right inverse over (P, ≤) if and only if A · A* = E over (P, ≤). If A has a right inverse over (P, ≤), then A* is the greatest right inverse of A over (P, ≤). The matrix A has a right inverse over (P, ≤) if and only if A is a column orthogonal over (P, ≤). The matrix D = A · A* is the greatest diagonal such that A is a left divisor of D over (P, ≤). Invertible matrices over a distributive lattice (P, ≤) form the general linear group GL _n (P, ≤) under multiplication. Let (P, ≤) be a finite distributive lattice and let k be the number of components of the covering graph Γ(join(P,≤) − , ≤), where join(P, ≤) is the set of join irreducible elements of (P, ≤). Then GL _a (P, ≤) ≅ = S _n ^k . We give some further results concerning inversion of matrices over a pseudocomplemented lattice. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 3, pp. 139–154, 2005.     

A 2-factor with Short Cycles Passing Through Specified Independent Vertices in Graph

For a graph G, we define σ₂(G) := min{d(u) + d(v)|u, v ≠ ∈ E(G), u ≠ v}. Let k ≥ 1 be an integer and G be a graph of order n ≥ 3k. We prove if σ₂(G) ≥ n + k − 1, then for any set of k independent vertices v ₁,...,v _k , G has k vertex-disjoint cycles C ₁,..., C _k of length at most four such that v _i ∈ V(C _i ) for all 1 ≤ i ≤ k. And show if σ₂(G) ≥ n + k − 1, then for any set of k independent vertices v ₁,...,v _k , G has k vertex-disjoint cycles C ₁,..., C _k such that v _i ∈ V(C _i ) for all 1 ≤ i ≤ k, V(C ₁) ∪...∪ V(C _k ) = V(G), and |C _i | ≤ 4 for all 1 ≤ i ≤ k − 1. The condition of degree sum σ₂(G) ≥ n + k − 1 is sharp. Received: December 20, 2006. Final version received: December 12, 2007.     

Lipschitz selections of set-valued mappings and Helly’s theorem

We prove a Helly-type theorem for the family of all m-dimensional convex compact subsets of a Banach space X. The result is formulated in terms of Lipschitz selections of set-valued mappings from a metric space (M, ρ) into this family. Let M be finite and let F be such a mapping satisfying the following condition: for every subset M′ ⊂ M consisting of at most 2^m+1 points, the restriction F|_M′ of F to M′ has a selection f_M′ (i. e., f_M′(x) ∈ F(x) for all x ∈ M′) satisfying the Lipschitz condition ‖ƒ_M′(x) − ƒ_M′(y)‖_X ≤ ρ(x, y), x, y ∈ M′. Then F has a Lipschitz selection ƒ: M → X such that ‖ƒ(x) − ƒ(y)‖_X ≤ γρ(x,y), x, y ∈ M where γ is a constant depending only on m and the cardinality of M. We prove that in general, the upper bound of the number of points in M′, 2^m+1, is sharp. If dim X = 2, then the result is true for arbitrary (not necessarily finite) metric space. We apply this result to Whitney’s extension problem for spaces of smooth functions. In particular, we obtain a constructive necessary and sufficient condition for a function defined on a closed subset of R ² to be the restriction of a function from the Sobolev space W _∞ ² (R ²).A similar result is proved for the space of functions on R ² satisfying the Zygmund condition.