The total reducibility order of a polynomial in two variables

LetK be an algebraically closed field of characteristic zero. ForA ∈K[x, y] let σ(A) = {λ ∈K:A − λ is reducible}. For λ ∈ σ(A) letA − λ = ∏ _i=1 ^n(λ) A _iλ ^k _μ whereA _iλ are distinct primes. Let ϱ_λ(A) =n(λ) − 1 and let ρ(A) = Σ_λɛσ(A)ϱ_λ(A). The main result is the following: Theorem.If A ∈ K[x, y] is not a composite polynomial, then ρ(A) < degA.     

Algebraic Shifting and Basic Constructions on Simplicial Complexes

We try to understand the behavior of algebraic shifting with respect to some basic constructions on simplicial complexes, such as union, coning, and (more generally) join. In particular, for the disjoint union of simplicial complexes we prove Δ(K ˙∪ L) = Δ(Δ(K) ˙∪ Δ(L)) (conjectured by Kalai [6]), and for the join we give an example of simplicial complexes K and L for which Δ(K*L)≠Δ(Δ(K)*Δ(L)) (disproving a conjecture by Kalai [6]), where Δ denotes the (exterior) algebraic shifting operator. We develop a ‘homological’ point of view on algebraic shifting which is used throughout this work.     

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 Γ.     

A boundary-value problem for the biharmonic equation and the iterated Laplacian in a 3D-domain with an edge

Let Ω be a domain with piecewise smooth boundary. In general, it is impossible to obtain a generalized solution u ∈ W ₂ ² (Ω) of the equation Δ _x ² u = f with the boundary conditions u = Δ_xu = 0 by solving iteratively a system of two Poisson equations under homogeneous Dirichlet conditions. Such a system is obtained by setting v = −Δu. In the two-dimensional case, this fact is known as the Sapongyan paradox in the theory of simply supported polygonal plates. In the present paper, the three-dimensional problem is investigated for a domain with a smooth edge Γ. If the variable opening angle α ∈ C^∞(Γ) is less than π everywhere on the edge, then the boundary-value problem for the biharmonic equation is equivalent to the iterated Dirichlet problem, and its solution u inherits the positivity preserving property from these problems. In the case α ∈ (π 2π), the procedure of solving the two Dirichlet problems must be modified by permitting infinite-dimensional kernel and co-kernel of the operators and determining the solution u ∈ W ₂ ² (Ω) by inverting a certain integral operator on the contour Γ. If α(s) ∈ (3π/2,2π) for a point s ∈ Γ, then there exists a nonnegative function f ∈ L₂(Ω) for which the solution u changes sign inside the domain Ω. In the case of crack (α = 2π everywhere on Γ), one needs to introduce a special scale of weighted function spaces. In this case, the positivity preserving property fails. In some geometrical situations, the problems on well-posedness for the boundary-value problem for the biharmonic equation and the positivity property remain open. Bibliography: 46 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 336, 2006, pp. 153–198.     

Counting models in universal Horn classes

Definen _K (λ) to be either ω, or the number of non-isomorphic models inK having cardinality α, whichever cardinal is larger. This paper contains a proof that for a congruence modular variety ⋎ of algebras of countable similarity type, there are only six possible functionsn _⋎. It is also proved that ifn _K (λ)≠2^λ for some λ, andK is a universal Horn class of models for a countable language, thenK must satisfy two conditions, one of which is quite restrictive and requires that the members ofK are all in a certain sense Abelian. Presented by B. Jonsson.     

The <Emphasis Type="Italic">p</Emphasis>-rank of Ext<Subscript>ℤ</Subscript>(<Emphasis Type="Italic">G</Emphasis>, ℤ) in certain models of <Emphasis Type="Italic">ZFC</Emphasis>

We prove that if the existence of a supercompact cardinal is consistent with ZFC, then it is consistent with ZFC that the p-rank of Ext _ℤ(G, ℤ) is as large as possible for every prime p and for any torsion-free Abelian group G. Moreover, given an uncountable strong limit cardinal μ of countable cofinality and a partition of Π (the set of primes) into two disjoint subsets Π₀ and Π₁, we show that in some model which is very close to ZFC, there is an almost free Abelian group G of size 2^μ = μ⁺ such that the p-rank of Ext _ℤ(G, ℤ) equals 2^μ = μ⁺ for every p ∈ Π₀ and 0 otherwise, that is, for p ∈ Π₁. Number 874 in Shelah’s list of publications. Supported by the German-Israeli Foundation for Scientific Research & Development project No. I-706-54.6/2001. Supported by a grant from the German Research Foundation DFG. __________ Translated from Algebra i Logika, Vol. 46, No. 3, pp. 369–397, May–June, 2007.     

A bound for Wilson''''s general theorem

Given any set K of positive integers and positive integer λ, let c(K,λ) denote the smallest integer such that v∈B(K,λ) for every integer v≥c(K,λ) that satisfies the congruences λv(v-1)≡0 (mod β(K) and λ(v-1)≡0 (mod α(K)). Let K0 be an equivalent set of K, k and k* be the smallest and the largest integers in K0. We prove that c(K,λ)≤exp exp{Q0}Qo=max{2(2p(ko)2-k2kk)p(ko)4,(Kk242y-k-2)(y2)}, whereand y=k*+k(k-1)+1.     

非对称Cantor集的Hausdorff中心测度

§ 1　 IntroductionThe class of Cantor sets is a typical one of sets in fractal geometry.Mathematicianshave paid their attentions to such sets for a long time.Itis well known that the Hausdorffmeasure of the Cantor middle- third set is1(see[1]) .Recently,Feng[3] obtained the exactvalues of the packing measure for a class of linear Cantor sets.Using Feng s method,Zhuand Zhou[5] obtained the exactvalue of Hausdorff centred measure of the symmetry Cantorsets.In this papar,we consider the Ha…     

Convolution properties of some classes of analytic functions

Let A denote the class of functions which are analytic in |z|<1 and normalized so that f(0)=0 and f′(0)=1, and let R(α, β)⊂A be the class of functions f such thatRe[f′(z)+αzf″(z)]>β,Re α>0, β<1. We determine conditions under which (i) f ∈ R(α₁, β₁), g ∈ R(α₂, β₂) implies that the convolution f×g of f and g is convex; (ii) f ∈ R(0, β₁), g ∈ R(0, β₂) implies that f×g is starlike; (iii) f≠A such that f′(z)[f(z)/z]^μ-1 ≺ 1 + λz, μ>0, 0<λ<1, is starlike, and (iv) f≠A such that f′(z)+αzf″(z) ≺ 1 + λz, α>0, δ>0, is convex or starlike. Bibliography: 16 titles. Published inZapiski Nauchnykh Seminarov POMI, Vol. 226, 1996, pp. 138–154.     

Relatively hyperbolic extensions of groups and Cannon-Thurston maps

Let 1 → (K, K ₁) → (G, N _G (K ₁)) → (Q, Q ₁) → 1 be a short exact sequence of pairs of finitely generated groups with K ₁ a proper non-trivial subgroup of K and K strongly hyperbolic relative to K ₁. Assuming that, for all g ∈ G, there exists k _g ∈ K such that gK ₁ g ⁻¹ = k _g K ₁ k _g⁻¹, we will prove that there exists a quasi-isometric section s: Q → G. Further, we will prove that if G is strongly hyperbolic relative to the normalizer subgroup N _G (K ₁) and weakly hyperbolic relative to K ₁, then there exists a Cannon-Thurston map for the inclusion i: Γ _K → Γ _G .     

On point to point reflection of harmonic functions across real-analytic hypersurfaces in ℝ n

Let Γ be a non-singular real-analytic hypersurface in some domainU ⊂ ℝ ⁿ and let Har₀(U, Γ) denote the linear space of harmonic functions inU that vanish on Γ. We seek a condition onx ⁰,x ¹ ∈U/Γ such that the reflection law (RL)u(x ⁰)+Ku(x ¹)=0, ∀u∈Har₀(U, Γ) holds for some constantK. This is equivalent to the class Har₀ (U, Γ) not separating the pointsx ⁰,x ¹. We find that in odd-dimensional spaces (RL)never holds unless Γ is a sphere or a hyperplane, in which case there is a well known reflection generalizing the celebrated Schwarz reflection principle in two variables. In even-dimensional spaces the situation is different. We find a necessary and sufficient condition (denoted the SSR—strong Study reflection—condition), which we described both analytically and geometrically, for (RL) to hold. This extends and complements previous work by e.g. P.R. Garabedian, H. Lewy, D. Khavinson and H. S. Shapiro.     

On semigroups generated by restrictions of elliptic operators to invariant subspaces

Let A be the closed unbounded operator inL _p(G) that is associated with an elliptic boundary value problem for a bounded domainG. We prove the existence of a spectral projectionE determined by the set Γ = {λ;θ ₁≦argλ≦θ ₂} and show thatAE is the infinitesimal generator of an analytic semigroup provided that the following conditions hold: 1<p<∞; the boundary ϖΓ of Γ is contained in the resolvent setp(A) ofA;π/2≦θ<θ ₂≦3π/2 ; and there exists a constantc such that (I)││(λ-A)^-1││≦c/│λ│ for λ∈ϖΓ. The following consequence is obtained: Suppose that there exist constantsM andc such that λ∈p(A) and estimate (I) holds provided that |λ|≧M and Re λ=0. Then there exist bounded projectionE ⁻ andE ⁺ such thatA is completely reduced by the direct sum decompositionL _p(G)=E⁻L_p (G) ⊕E⁺L_p (G) and each of the operatorsAE ⁻ and—AE ⁺ is the infinitestimal generator of an analytic semigroup.     

Propertyf −1(S) =g −1(S) for entire and meromorphicP-adic functions

LetW be an algebraically closed filed of characteristic zero, letK be an algebraically closed field of characteristic zero, complete for an ultrametric absolute value, and letA(K) (resp. ℳ(K)) be the set of entire (resp. meromorphic) functions inK. For everyn≥7, we show that the setS _n(b) of zeros of the polynomialx ⁿ−b (b≠0) is such that, iff, g ∈W[x] or iff, g ∈A(K), satisfyf ⁻¹(S _n(b))=g ⁻¹(S _n(b)), thenf ⁿ=g ⁿ. For everyn≥14, we show thatS _n(b) is such that iff, g ∈W({tx}) or iff, g ∈ ℳ(K) satisfyf ⁻¹(S _n(b))=g ⁻¹(S _n(b)), then eitherf ⁿ=g ⁿ, orfg is a constant. Analogous properties are true for complex entire and meromorphic functions withn≥8 andn≥15, respectively. For everyn≥9, we show that the setY _n(c) of zeros of the polynomial , (withc≠0 and 1) is an ursim ofn points forW[x], and forA(K). For everyn≥16, we show thatY _n(c) is an ursim ofn points forW(x), and for ℳ(K). We follow a method based on thep-adic Nevanlinna Theory and use certain improvement of a lemma obtained by Frank and Reinders.     

Instances of the Conjecture of Chang

We consider various forms of the Conjecture of Chang. Part A constitutes an introduction. Donder and Koepke have shown that if ρ is a cardinal such that ρ ≧ ω₁, and (ρ⁺⁺,ρ⁺↠(ρ⁺, ρ), then 0⁺ exists. We obtain the same conclusion in Part B starting from some other forms of the transfer hypothesis. As typical corollaries, we get: Theorem A.Assume that there exists cardinals λ, κ, such that λ ≧ K ⁺ ≧ω₂ and (λ⁺, λ)↠(K ⁺,K. Then 0⁺ exists. Theorem B.Assume that there exists a singularcardinal κ such that(K ⁺,K↠(ω₁, ω₀. Then 0⁺ exists. Theorem C.Assume that (λ ⁺⁺, λ). Then 0⁺ exists (also ifK=ω ₀. Remark. Here, as in the paper of Donder and Koepke, “O⁺ exists” is a matter of saying that the hypothesis is strictly stronger than “L(μ) exists”. Of course, the same proof could give a few more sharps overL(μ), but the interest is in expecting more cardinals, coming from a larger core model. Theorem D.Assume that (λ ⁺⁺, λ)↠(K ⁺, K) and thatK≧ω ₁. Then 0⁺ exists. Remark 2. Theorem B is, as is well-known, false if the hypothesis “κ is singular” is removed, even if we assume thatK≧ω ₂, or that κ is inaccessible. We shall recall this in due place. Comments. Theorem B and Remark 2 suggest we seek the consistency of the hypothesis of the form:K ⁺, K↠(ω_n +1, ω_n), for κ singular andn≧0. 0266 0152 V 3 The consistency of several statements of this sort—a prototype of which is (N _ω+1,N _ω)↠(ω₁, ω₀) —have been established, starting with an hypothesis slightly stronger than: “there exists a huge cardinal”, but much weaker than: “there exists a 2-huge cardinal”. These results will be published in a joint paper by M. Magidor, S. Shelah, and the author of the present paper.     

A characterization of the higher dimensional groups associated with continuous wavelets

A subgroup D of GL (n, ℝ) is said to be admissible if the semidirect product of D and ℝ ⁿ , considered as a subgroup of the affine group on ℝ ⁿ , admits wavelets ψ ∈ L²(ℝ ⁿ ) satisfying a generalization of the Calderón reproducing, formula. This article provides a nearly complete characterization of the admissible subgroups D. More precisely, if D is admissible, then the stability subgroup D_x for the transpose action of D on ℝ ⁿ must be compact for a. e. x. ∈ ℝ ⁿ ; moreover, if Δ is the modular function of D, there must exist an a ∈ D such that |det a| ≠ Δ(a). Conversely, if the last condition holds and for a. e. x ∈ ℝ ⁿ there exists an ε > 0 for which the ε-stabilizer D _x ^ε is compact, then D is admissible. Numerous examples are given of both admissible and non-admissible groups.     

Random matrix products and applications to cellular automata

Let λ be the upper Lyapunov exponent corresponding to a product of i.i.d. randomm×m matrices (X _i) _i ^0/∞ over ℂ. Assume that theX _i's are chosen from a finite set {D ₀,D ₁...,D _t-1(ℂ), withP(X _i=D_j)>0, and that the monoid generated byD ₀, D₁,…, D_q−1 contains a matrix of rank 1. We obtain an explicit formula for λ as a sum of a convergent series. We also consider the case where theX _i's are chosen according to a Markov process and thus generalize a result of Lima and Rahibe [22]. Our results on λ enable us to provide an approximation for the numberN _≠0(F(x)ⁿ,r) of nonzero coefficients inF(x) ⁿ.(modr), whereF(x) ∈ ℤ[x] andr≥2. We prove the existence of and supply a formula for a constant α (<1) such thatN _≠0(F(x)ⁿ,r) ≈n ^α for “almost” everyn. Supported in part by FWF Project P16004-N05     

Generalization of the perron effect whereby the characteristic exponents of all solutions of two differential systems change their sign from negative to positive

We obtain a generalization of the complete Perron effect whereby the characteristic exponents of all solutions change their sign from negative for the linear approximation system to positive for a nonlinear system with perturbations of higher-order smallness [Differ. Uravn., 2010, vol. 46, no. 10, pp. 1388–1402]. Namely, for arbitrary parameters λ ₁ ≤ λ ₂ < 0 and m > 1 and for arbitrary intervals [b _i , d _i ) ⊂ [λ _i ,+∞), i = 1, 2, with boundaries d ₁ ≤ b ₂, we prove the existence of (i) a two-dimensional linear differential system with bounded coefficient matrix A(t) infinitely differentiable on the half-line t ≥ 1 and with characteristic exponents λ ₁(A) = λ ₁ ≤ λ ₂(A) = λ ₂ < 0; (ii) a perturbation f(t, y) of smallness order m > 1 infinitely differentiable with respect to time t > 1 and continuously differentiable with respect to y ₁ and y ₂, y = (y ₁, y ₂) ∈ R ² such that all nontrivial solutions y(t, c), c ∈ R ², of the nonlinear system .y = A(t)y + f(t, y), y ∈ R ², t ≥ 1, are infinitely extendible to the right and have characteristic exponents λ[y] ∈ [b ₁, d ₁) for c ₂ = 0 and λ[y] ∈ [b ₂, d ₂) for c ₂ ≠ 0.     

On Translation and Affine Systems Spanning L1(ℝ)

We show that the discrete translation parameter sets Λ ⊂ ℝ for which some φ ∈ L¹(ℝ) exists such that the translates φ(x − λ), λ ∈ Λ, span L¹(ℝ) are exactly the uniqueness sets for certain quasianalytic classes, and give explicit constructions of such generators φ. We also consider a similar situation for affine systems of the type φ(μx − λ), μ ∈ Γ, λ ∈ Λ.     

Distinguishing labeling of the actions of almost simple groups

Suppose Γ is a group acting on a set X, written as (Γ,X). An r-labeling f: X→{1,2, ..., r} of X is called distinguishing for (Γ,X) if for all σ∈Γ,σ≠1, there exists an element x∈X such that f(x)≠f(x ^σ ). The distinguishing number d(Γ,X) of (Γ,X) is the minimum r for which there is a distinguishing r-labeling for (Γ,X). If Γ is the automorphism group of a graph G, then d(Γ,V (G)) is denoted by d(G), and is called the distinguishing number of the graph G. The distinguishing set of Γ-actions is defined to be D*(Γ)={d(Γ,X): Γ acts on X}, and the distinguishing set of Γ-graphs is defined to be D(Γ)={d(G): Aut(G)≅Γ}. This paper determines the distinguishing set of Γ-actions and the distinguishing set of Γ-graphs for almost simple groups Γ.     

Differential sobordination and Bazilevič functions

LetM(z)=z ⁿ +…,N(z)=z ⁿ +… be analytic in the unit disc Δ and let λ(z)=N(z)/zN′(z). The classical result of Sakaguchi-Libera shows that Re(M′(z)/N′(z))<0 implies Re(M(z)/N(z))>0 in Δ whenever Re(λ(z))>0 in Δ. This can be expressed in terms of differential subordination as follows: for anyp analytic in Δ, withp(0)=1,p(z)+λ(z)zp′(z)<1+z/1−z impliesp(z)<1+z/1−z, for Reλ(z)>0,z∈Δ. In this paper we determine different type of general conditions on λ(z),h(z) and ϕ(z) for which one hasp(z)+λ(z)zp′(z)<h(z) impliesp(z)<ϕ(z)<h(z) z∈Δ. Then we apply the above implication to obtain new theorems for some classes of normalized analytic funotions. In particular we give a sufficient condition for an analytic function to be starlike in Δ.