A distortion theorem for the class of typically real functions

The paper continues the studies of the well-known class T of typically real functions f(z) in the disk U = {z:|z| < 1}. The region of values of the system {f(z ₀), f(z ₀), f(r ₁), f(r ₂),…, f(r _n )} in the class T is investigated. Here, z ₀ ∈ U, Im z ₀ ≠ 0, 0 < r _j  < 1 for j = 1,…, n, n ≥ 2. As a corollary, the region of values of f′(z ₀) in the class of functions f ∈ T with fixed values f(z ₀) and f(r _j ) (j = 1,…, n) is determined. The proof is based on the criterion of solvability of the power problem of moments. Bibliography: 10 titles. Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 357, 2008, pp. 33–45.     

Univalent functions without common values

In this paper we establish inequalities involving moduli of derivatives |f′ _k (0)| of functions f _k univalent in the unit disk |z| < 1 having no common values and translating zero into a point on the segment [−1, 1], k = 1, …, n. We estimate f _k by means of Schwarzian derivatives.     

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.     

Nonuniqueness ing-functions

We give an example of two distinct stationary processes {X _n} and {X′ _n} on {0, 1} for whichP[X₀=1|X₋₁=a₋₁,X₋₂=a₋₂, …]=P[X′₀=1|X′₋₁=a₋₁,X′₋₂=a₋₂, …] for all {a _i},i=−1, −2, …, even though these probabilities are bounded away from 0 and 1, and are continuous in {a _i}. Supported in part by NSF Grant DMS 89-01545. Supported in part by the US Army Research Office.     

On a region of values in the class of typically real functions

The paper studies the regions of values of the systems {f(z₁), f(r₁), f(r₂),…, f(r_n)} and {f(r₁), f(r₂),…, f (r_n)}, where n ⁥ 2; z₁ is an arbitrary fixed point of the disk U = {z: |z| < 1} with Im z₁ ≠ 0; r_j are fixed numbers, 0 < r_j < 1, j = 1, 2,…, n; f ∈ T, and the class T consists of the functions f(z), f(0) = 0, f′(0) = 1, regular in the disk U and satisfying the condition Im f(z) · Imz > 0 for Im z ≠ 0. As an implication, the region of values of f(z₁) in the subclass of functions f ∈ T with prescribed values f(r_j) (j = 1, 2,…, n) is determined. Bibliography: 12 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 350, 2007, pp. 5–16.     

A criterion for the primeness of ideals generated by polynomials with separated variables

Proving primeness of an idealI=〈f ₁, …,f _m〉 in a polynomial ringR=K[X ₁, …,X _n]ofn indeterminates over an algebraically closed fieldK is a difficult task in general. Although there are straightforward algorithms that decide whetherI is prime or not, they are prohibitively lengthy if the number of indeterminates or the degrees of thef _iare large. In this paper we will give an easy criterion for the primeness ofI if thef _iare polynomials with separated variables, i.e. no mixed monomials occur in thef _i. The work on this paper was done while the author was a MINERVA fellow at Tel Aviv University.     

On some characterization of probability distributions in Hilbert spaces

Summary The aim of this paper is to prove the following theorem about characterization of probability distributions in Hilbert spaces:Theorem. — Let x₁, x₂, …, x_n be n (n≥3) independent random variables in the Hilbert spaceH, having their characteristic functionals f_k(t) = E[e^i(t,x _k)], (k=1, 2, …, n): let y₁=x₁ + x_n, y₂=x₂ + x_n, …, y_n−1=x_n−1 + x_n. If the characteristic functional f(t₁, t₂, …, t_n−1) of the random variables (y₁, y₂, …, y_n−1) does not vanish, then the joint distribution of (y₁, y₂, …, y_n−1) determines all the distributions of x₁, x₂, …, x_n up to change of location.     

The Clique Numbers of Regular Graphs

 Let ω(G) be the clique number of a graph G. We prove that if G runs over the set of graphs with a fixed degree sequence d, then the values ω(G) completely cover a line segment [a,b] of positive integers. For an arbitrary graphic degree sequence d, we define min(ω,d) and max(ω,d) as follows:

Extension dans un cadre algébrique d'une formule de Weil

Let R be a commutative A-algebra, and f=(f ₁,…,f _n ) a quasi-regular sequence such that P=R/(f) is finitely generated and projective over A. In the algebraic residue formalism due to J. Lipman, we propose the analog of an analytic Weil's formula. As applications, we first give some criterions for homomorphism from A[z] to A[z] to be finite when A is a n\oe therian ring, and then an algebraic proof of the usual analytic Weil's formula. Received: 27 April 1998     

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.     

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

Bounds on the number of cycles of length three in a planar graph

LetG be ap-vertex planar graph having a representation in the plane with nontriangular facesF ₁,F ₂, …,F _r. Letf ₁,f ₂, …,f _r denote the lengths of the cycles bounding the facesF ₁,F ₂, …,F _r respectively. LetC ₃(G) be the number of cycles of length three inG. We give bounds onC ₃(G) in terms ofp,f ₁,f ₂, …,f _r. WhenG is 3-connected these bounds are bounds for the number of triangles in a polyhedron. We also show that all possible values ofC ₃(G) between the maximum and minimum value are actually achieved. This research was supported in part by the U.S.A.F. Office of Scientific Research, Systems Command, under Grant AFOSR-76-3017 and the National Science Foundation under Grant ENG79-09724.     

Cyclic elements of the shift operator in weighted anisotropic spaces of holomorphic functions in the polydisk

Let ϕ(r) = (ϕ₁(r₁), …, ϕ_n(r_n)) be a vector-valued function on R ₊ ⁿ . A necessary and sufficient condition is obtained under which any function f ∈, H^∞ (D ⁿ ), f(z) ≠ 0, z ∈, D ⁿ , is cyclic in the corresponding weighted space L^p(ϕ), where D ⁿ is the unit polydisk in C ⁿ. Bibliography: 13 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 327, 2005, pp. 226–234.     

On extremal quasiconformal extensions of conformal mappings

Letf(t, z)=z+tω(1/z) be schlicht for ⋎z⋎>1, ω(z) = Σ _n ^{= 0/∞} a _n z ⁿ ,t>0. The paper considers first-order estimates for the dilatation of extremal quasiconformal extensions off ast→0. This work was initiated during the Special Year in Complex Analysis at the Technion, and was supported in parts by the Samuel Neaman Fund, the Forschungsinstitut für Mathematik, ETH, Zürich, and the National Science Foundation.     

Test for properness using residue calculus

We will consider global problems in the ringK[X ₁, …,X _n] on the polynomials with coefficients in a subfieldK ofC. LetP=(P ₁, …,P _n):K ⁿ →K ⁿ be a polynomial map such that (P ₁,…,P _n) is a quasi-regular sequence generating a proper ideal, the main thing we do is to use the algebraic residues theory (as described in [5]) as a computational tool to give some result to test when a map (P ₁, …,P _n) is a proper map by computing a finite number of residue symbols.     

On generalized shift bases for the wiener disc algebra

LetW(D) denote the set of functionsf(z)=Σ _n=0 ^∞ A _n Z ⁿ a _nzⁿ for which Σ_n=0 ^∞|a _n |<+∞. Given any finite set lcub;f _i (z)rcub; _i=1 ⁿ inW(D) the following are equivalent: (i) The generalized shift sequence lcub;f ₁(z)z ^kn ,f ₂(z)z ^kn+1, …,f _n (z)z ^(k+1)n−1rcub; _k=0 ^∞ is a basis forW(D) which is equivalent to the basis lcub;z ^m rcub; _m=0 ^∞ . (ii) The generalized shift sequence is complete inW(D), (iii) The function has no zero in |z|≦1, wherew=e ^2πiti /n.     

Immagini inverse dei gruppi di omotopia

Riassunto SeM edN sono varietà poliedriche chiuse connesse ed orientate di dimensioni rispettivem edn, conm≥n>2, edf∶M→N è una trasformazione continua, allora per ognir, minore din e non inferiore a 2, si definisce un omomorfismo indotto ϕ_rπ:_r (N)→H _m-n+r (M) dal quale si ricavano certi invarianti topologici.

---

Résumé Soientm≥n>r≥2 des entiers etM, N des variétés polyédrales closes connexes orientées satisfaisant dimM=m et dimN=n, de plusH _i(M) le groupe de Betti à i dimensions deM,M,π _i (N) le groupe de Hurewicz ài dimensions deN, etf∶M→N une application continue. Alorsf définit, pour,r=2, 3, …n−1, un homomorphisme réciproque ϕ_rπ:_r (N)→H _m-n+r (M) comme il suit. Etant donné un élément α du groupe π_r (N) et uner-sphère continue orientéeS de α, on peut supposer quef ⁻¹(S) soit un polyèdre finiA àm−n+r dimensions. Parf est induit dansA un (m−n+r)-cyclez à coefficients entiers, et la classe d'homologie dez est justement l'image ϕr(α) de α par ϕr. Pourr=1, on obtient un homomorphisme réciproque ϕ_rπ:_r (N)→H _m-n+r (M) du groupe fondamentalF(N) deN dans le groupe d'homologie àm−n+1 dimensions deM. A l'aide des homomorphismes ϕ,,ϕ2,ϕ,3...,ϕn-i, on parvient à certaines expressions caractéristiques dépendantes seulement de la classe d'homotopie def, en particulier on obtient des constantes pour les images des bases de Betti deM, pour Fimage du groupe de torsion deM, et pour l'image réciproque du groupe fondamental deN.

     

Polynomials over division rings

LetD be a division ring with a centerC, andD[X ₁, …,X _N] the ring of polynomials inN commutative indeterminates overD. The maximum numberN for which this ring of polynomials is primitive is equal to the maximal transcendence degree overC of the commutative subfields of the matrix ringsM _n(D),n=1, 2, …. The ring of fractions of the Weyl algebras are examples where this numberN is finite. A tool in the proof is a non-commutative version of one of the forms of the “Nullstellensatz”, namely, simpleD[X ₁, …,X _m]-modules are finite-dimensionalD-spaces. This paper was written while the authors were Fellows of the Institute for Advanced Studies, The Hebrew University of Jerusalem, Mount Scopus, Jerusalem, Israel.     

Finiteness conditions in Krull subrings of a ring of polynomials

LetR be a Krull subring of a ring of polynomialsk[x ₁, …, x_n] over a fieldk. We prove that ifR is generated by monomials overk thenr is affine. We also construct an example of a non-affine Krull ringR, such thatk[x, xy]⊂R⊂k[x, y], and a non-Noetherian Krull ringS, such thatk[x, xy, z]⊂S⊂k[x, y, z].     

Positive values of non-homogeneous indefinite quadratic forms of type (1, 4)

Let Г_r,n—r denote the infimum of all number Г > 0 such that for any real indefinite quadratic form inn variables of type (r, n—r), determinantD ≠ 0 and real numbers c₁; c₂,…, c_n, there exist integersx ₁,x₂,…,x_n satisfying 0 < Q(x₁+c₁,x₂ + c₂,…,x_n + c_n) ≤(Г|Z > |)^1/n. All the values of Г_r,n—r are known except for г_1,4. Earlier it was shown that 8 ≤Г_1,4 ≤16. Here we improve the upper bound to get Г_1,4 < 12.