The support points of several classes of analytic functions with fixed coefficients

Let B denote the set of functions ?(z) that are analytic in the unit disk D and satisfy |?(z)|?1(|z|<1). Let P denote the set of functions p(z) that are analytic in D and satisfy p(0)=1 and Rep(z)>0(|z|<1). Let T denote the set of functions f(z) that are analytic in D, normalized by f(0)=0 and f^′(0)=1 and satisfy that f(z) is real if and only if z is real (|z|<1). In this article we investigate the support points of the subclasses of B, P and T of functions with fixed coefficients.     

The number of large prime divisors of consecutive integers

Let ?(N) > 0 be a function of positive integers N and such that ?(N) → 0 and N^?(N) → ∞ as N → + ∞. Let Nν_N(n:…) be the number of positive integers n ≤ N for which the property stated in the dotted space holds. Finally, let g(n; N, ?, z) be the number of those prime divisors p of n which satisfy N^Z?(N) ? p ? N^?(N), 0 < z < 1 In the present note we show that for each k = 0, ±1, ±2,…, as N → ∞, limv_N(n : g(n; N, ?, z) ? g(n + 1; N, ?z) = k) exists and we determine its actual value. The case k = 0 induced the present investigation. Our solution for this value shows that the natural density of those integers n for which n and n + 1 have the same number of prime divisors in the range (1) exists and it is positive.     

Arithmetic progressions of zeros of the Riemann zeta function

If the Riemann zeta function vanishes at each point of the finite arithmetic progression {D+inp}_0<|n|<N (D?1/2, p>0), then N<13p if D=1/2, and N<p^1/D-1+o(1) in general.     

О функциях, удовлетворяюших ослабленному условию асимптотической моногенности

We consider functionsf(z),z∈D, of one complex variable that satisfy the following weakened asymptotic monogeny condition: for some positiveσ<1/2,f(z) is monogenic at each pointξ∈D with respect to some setG(ξ) such that the lower density ofG(ξ) atξ is greater than 1/2+σ. We show that if for somep _σ ≥1 the function (log⁺|?(z)|) ^p _σ is locally integrable inD with respect to the plane Lebesgue measure, thenf(z) is holomorphic inD.     

Asymptotic expansions in time for solutions of Schrödinger-type equations

Let ?iA = ?i(p(D) + V) be a dissipative operator in L₂(R_n), where p(D) is an elliptic differential operator of order m with real constant coefficients and V is a compact operator from the weighted Sobolev space H^m′,s (Rⁿ) to H^{0, p + s} (Rⁿ), s?R, for some m′ < m ? 1 and p > 1. Let R(z) be the resolvent of A. Then an asymptotic expansion of R(z) as z approaches a critical value of the polynomial p(ξ) is given; the coefficient operators in the expansion are computed explicitly. By using the resolvent expansion and the results of M. Murata [9], an asymptotic expansion of e^?itA as t → ∞ is given.     

Volume mean densities for the heat equation

It is shown that, for solid caps D of heat balls in ? ^{d + 1} with center z ₀ = (0, 0), there exist Borel measurable functions w on D such that inf w(D) > 0 and ∫ v(z)w(z) dz ≤ v(z ₀), for every supertemperature v on a neighborhood of D?. This disproves a conjecture by N. Suzuki and N.A. Watson. On the other hand, it turns out that there is no such volume mean density, if the bounded domain D in ? ^d × (?∞, 0) is only slightly wider at z ₀ than a heat ball.     

The generalized Roper-Suffridge extension operator

Let f(z) be a normalized convex (starlike) function on the unit disc D. Let , where z=(z₁,z₂,…,z_n), z₁∈D, , p_i?1, i=2,…,n, are real numbers. In this note, we prove that Φ(f)(z)=(f(z₁),f′(z₁)^1/p₂z₂,…,f′(z₁)^1/p_nz_n) is a normalized convex (starlike) mapping on Ω, where we choose the power function such that (f′(z₁))^1/p_i|_z1=0=1, i=2,…,n. Some other related results are proved.     

The Generalised Dyson Circular Unitary Ensemble: Asymptotic Distribution of the Eigenvalues at the Origin of the Spectrum

The first part of this paper is devoted to the study of F_N{\Phi_N} the orthogonal polynomials on the circle, with respect to a weight of type f = (1 − cos θ) ^α c where c is a sufficiently smooth function and ${\alpha > -\frac{1}{2}}${\alpha > -\frac{1}{2}}. We obtain an asymptotic expansion of the coefficients F^*(p)_N(1){\Phi^{*(p)}_{N}(1)} for all integer p where F^*_N{\Phi^*_N} is defined by F^*_N (z) = z^N [`(F)]_N(\frac1z) (z 1 0){\Phi^*_N (z) = z^N \bar \Phi_N(\frac{1}{z})\ (z \not=0)}. These results allow us to obtain an asymptotic expansion of the associated Christofel–Darboux kernel, and to compute the distribution of the eigenvalues of a family of random unitary matrices. The proof of the results related to the orthogonal polynomials are essentially based on the inversion of the Toeplitz matrix associated to the symbol f.     

Structure of boundary blow-up solutions for quasi-linear elliptic problems II: small and intermediate solutions

The structure of positive boundary blow-up solutions to quasi-linear elliptic problems of the form −Δ_pu=λf(u), u=∞ on ∂Ω, 1<p<∞, is studied in a bounded smooth domain , for a class of nonlinearities f∈C¹((0,∞)?{z₂})∩C⁰[0,∞) satisfying f(0)=f(z₁)=f(z₂)=0 with 0<z₁<z₂, f<0 in (0,z₁)∪(z₂,∞), f>0 in (z₁,z₂). Large, small and intermediate solutions are obtained for λ sufficiently large. It is known from Part I (see Structure of boundary blow-up solutions for quasilinear elliptic problems, part (I): large and small solutions, preprint), that the large solution is the unique large solution to the problem. We will see that the small solution is also the unique small solution to the problem while there are infinitely many intermediate solutions. Our results are new even for the case p=2.     

Differential operators and entire functions with simple real zeros

Let ? and f be functions in the Laguerre-Pólya class. Write ?(z)=e−αz²?₁(z) and f(z)=e−βz²f₁(z), where ?₁ and f₁ have genus 0 or 1 and α,β?0. If αβ<1/4 and ? has infinitely many zeros, then ?(D)f(z) has only simple real zeros, where D denotes differentiation.     

On normal families and differential polynomials for meromorphic functions

We consider the normality criterion for a families F meromorphic in the unit disc Δ, and show that if there exist functions a(z) holomorphic in Δ, a(z)≠1, for each z∈Δ, such that there not only exists a positive number ε₀ such that |an(a(z)−1)−1|?ε₀ for arbitrary sequence of integers an(n∈N) and for any z∈Δ, but also exists a positive number B>0 such that for every f(z)∈F, B|f^′(z)|?|f(z)| whenever f(z)f^″(z)−a(z)(f^′2(z))=0 in Δ. Then is normal in Δ.     

Blowup stability of solutions of the nonlinear heat equation with a large life span

We study the Cauchy problem for the nonlinear heat equation u_t-?u=|u|^p-1u in R^N. The initial data is of the form u₀=λ?, where ?∈C₀(R^N) is fixed and λ>0. We first take 1<p<p_f, where p_f is the Fujita critical exponent, and ?∈C₀(R^N)∩L¹(R^N) with nonzero mean. We show that u(t) blows up for λ small, extending the H. Fujita blowup result for sign-changing solutions. Next, we consider 1<p<p_s, where p_s is the Sobolev critical exponent, and ?(x) decaying as |x|^-σ at infinity, where p<1+2/σ. We also prove that u(t) blows up when λ is small, extending a result of T. Lee and W. Ni. For both cases, the solution enjoys some stable blowup properties. For example, there is single point blowup even if ? is not radial.     

The region of values of the system {ƒ(z1), …, ƒ(zn)} in the class of typically real functions. II

The paper studies the region of values D_m,1(T) of the system {ƒ(z₁), ƒ(z₂), …, ƒ(zm), ƒ(r)}, m e 1, where z_j (j = 1, 2, …,m) are arbitrary fixed points of the disk U = {z: |z| < 1} with Im zj ≠ 0 (j = 1, 2, …,m), and r, 0 < r < 1, is fixed, in the class T of functions ƒ(z) = z+a₂z²+ ⋯ regular in the disk U and satisfying in the latter the condition Im ƒ(z) Imz > 0 for Im z ≠ 0. An algebraic characterization of the set D_m,1(T) in terms of nonnegative-definite Hermitian forms is given, and all the boundary functions are described. As an implication, the region of values of ƒ(z_m) in the subclass of functions from the class T with prescribed values ƒ(z_k) (k = 1, 2, …,m − 1) and ƒ(r) is determined. Bibliography: 5 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 323, 2005, pp. 24–33. Original article submitted June 13, 2005.     

THE EXTREME POINTS OF SEVERAL CLASSES OF ANALYTIC FUNCTIONS

1Intr0ducti0nLetAden0tethesetofallfunctionsanalyticinA={z:Izl<1}.LetB={W:WEAandIW(z)l51}.Aisalocallyconvexlineaztop0l0gicalspacewithrespecttothetopologyofuniformconvergenceon`c0mpact8ubsetsofA-LetTh(c1,'tc.-1)={p(z):p(z)EA,Rop(z)>0,p(z)=1 clz czzz ' c.-lz"-l 4z" ',wherecl,',cn-1areforedcomplexconstants}.LetTh,.(b,,-..,b,-,)={p(z):P(z)'EAwithReP(z)>Oandp(z)=1 blz ' b.-lz"-l 4z" '-,wherebl,-'-jbu-1areffeedrealconstantsanddkarerealnumbersf0rk=n,n 1,'--}-LetTu(l1,'i'tI.-1)={…     

Asymptotics of cylindrical functions in the complex domain: II

We obtain asymptotic formulas uniform with respect to the index p > 0 for the Hankel functions H _p ^(j) (z) (j = 1, 2) for large |z| in the complex domain. These formulas generalize those known for the real argument.     

On the Spectral Function of Some Higher Order Elliptic or Degenerate-elliptic Operators

^m σ/|α|=|β|=m D^α(a _αβD^β) is a higher order degenerate-elliptic operator on L²(R^N) and V ∈ L¹(R^N) we show in particular that s(λ) > 0 for all λ > 0 provided that ∫_RN V(x)dx≥ 0, V not equivalent to 0 and N ≤ 2m.     

On the radius of α-convexity of certain classes of starlike functions

LetM (α) denote the class of α-convex functions, α real, that is the class of analytic functions? (z) =z + Σ _n=2/^∞ a _n z ⁿ in the unit discD = {z: |z | < 1} which satisfies inD the condition ?′ (z) ?(z)/z ≠ 0 and $$\operatorname{Re} \left\{ {(1 - a) \frac{{z f'(z)}}{{f (z)}} + a \left( {1 + \frac{{z f''(z)}}{{f' (z)}}} \right)} \right\} > 0. Let W (a) $$ denote the class of meromorphic α-convex functions. α real, that is the class of analytic functions ? (z) =z ^?1 + Σ _n=0/^∞ b _n z ⁿ inD* = {z: 0 < |z | < 1} which satisfies inD* the conditionsz?′(z)/?(z) ≠ 0 and $$\operatorname{Re} \left\{ {(1 - a) \frac{{z\phi ' (z)}}{{\phi (z)}} + a \left( {1 + \frac{{z\phi ''(z)}}{{\phi ' (z)}}} \right)} \right\}< 0. $$ In this paper we obtain the relation betweenM (a) and W(α). The radius of α-convexity for certain classes of starlike functions is also obtained.     

Strong Hypercontractivity and Relative Subharmonicity

A Hermitian metric, g, on a complex manifold, M, together with a smooth probability measure, μ, on M determine minimal and maximal Dirichlet forms, Q_D and Q_max, given by Q(f)=∫_M g(grad f(z), grad f(z)) dμ(z). Q_D is the form closure of Q on C^∞_c(M) and Q_max is the form closure of Q on C¹_b(M). The corresponding operators, A_D and A_max, generate semigroups having standard hypercontractivity properties in the scale of L^p spaces, p>1, when the corresponding form, Q, satisfies a logarithmic Sobolev inequality. It was shown by the author (1999, Acta Math.182, 159-206) that the semigroup e^−tA_D has even stronger hypercontractivity properties when restricted to certain holomorphic subspaces of L^p. These results are extended here to A_max. When (M, g) is not complete it is necessary that the elliptic differential operator A_max degenerate on the boundary of M. A second proof of these strong hypercontractive inequalities for both A_D and A_max is given, which depends on an extension of the submean value property of subharmonic functions. The Riemann surface for z^1/n and the weighted Bergman spaces in the unit disc are given as examples.     

Minimal polynomials for compact sets of the complex plane

LetW _N(z)=a_Nz^N+... be a complex polynomial and letT _n be the classical Chebyshev polynomial. In this article it is shown that the polynomials (2a_N)^?n+1T_n(W_N), n ∈N, are minimal polynomials on all equipotential lines for {z∈C:|W _N(z)|≤1 Λ ImW _N(z)=0}