Fekete-Szegö problem for close-to-convex functions with respect to a certain convex function dependent on a real parameter

Given α ∈ [0, 1], let h _α (z):= z/(1 - αz), z ∈ D:= {z ∈ D: |z| < 1}. An analytic standardly normalized function f in D is called close-to-convex with respect to h _α if there exists δ ∈ (-π/2, π/2) such that Re{e^iδ zf′(z)/h _α (z)} > 0, z ∈ D. For the class ? (h _α ) of all close-to-convex functions with respect to h _α , the Fekete-Szegö problem is studied.     

On the existence of strips inside domains convex in one direction

A plane domain Ω is convex in the positive direction if for every ω ∈ Ω, the entire half-line {ω + t: t ≥ 0} is contained in Ω. Suppose that h maps the unit disk onto such a domain Ω with the normalization h(0) = 0 and lim_t→∞h^?1(h(z) + t) = 1. We show that if ∠lim_z→?1 Re h(z) = ?∞ and ∠lim_z→?1(1 + z)h′(z) = ν ∈ (0, +∞), then Ω contains a maximal horizontal strip of width πν. We also prove a converse statement. These results provide a solution to a problem posed by Elin and Shoikhet in connection with semigroups of holomorphic functions.     

On the total multiplicity of zeros of generalized polynomials related to nonoscillating trajectories

For a continuous curve L = {x: x = Z(t), t ∈ [a, b]} in R ⁿ , we study the number of zeros of the function l _h (t) = 〈h, Z(t)〉, where h ∈ R ⁿ . We introduce the notion of multiple zeros for such functions and study the possibility of estimating the total multiplicity of such zeros under the assumption that the system {z ₁(t), z ₂(t), …, z _n (t)} of coordinates of the function Z(t) is a Chebyshev system on [a, b].     

Locally One-Dimensional Difference Scheme for the Third Boundary Value Problem for a Parabolic Equation of the General Form with a Nonlocal Source

We consider a locally one-dimensional scheme for an equation of parabolic type of the general form in a p-dimensional parallelepiped, obtain an a priori estimate for its solution, and prove that the solutions of this scheme converge to a solution of the equation at the rate O(|h|² + τ), where |h|² = h ₁ ² + · · · + h _p ² and p_α, α = 1,..., p, and τ are the steps in the space and time variables. We do not assume that the operator in the leading part of the equation is sign definite.     

The Bergman kernel: Explicit formulas,deflation, Lu Qi-Keng problem and Jacobi polynomials

We investigate the Bergman kernel function for the intersection of two complex ellipsoids {(z,w ₁,w ₂) ∈ C ⁿ⁺²: |z ₁|²+...+|z _n |²+|w ₁| ^q < 1, |z ₁|²+...+|z _n |²+|w ₂| ^r < 1}. We also compute the kernel function for {(z ₁,w ₁,w ₂) ∈ C³: |z ₁|^2/n + |w ₁| ^q < 1, |z ₁|^2/n + |w ₂| ^r < 1} and show deflation type identity between these two domains. Moreover in the case that q = r = 2 we express the Bergman kernel in terms of the Jacobi polynomials. The explicit formulas of the Bergman kernel function for these domains enables us to investigate whether the Bergman kernel has zeros or not. This kind of problem is called a Lu Qi-Keng problem.     

Cotorsion and wild homology

We solve the problem of describing the solutions of E-operators of order μ ≥ 1 admitting at z = 0 a basis over C of local solutions which are all holomorphic at z = 0. We prove that the components of such a basis can be taken of the form \(\sum {_{j = 1}^\ell } {P_j}\left( z \right){e^{{\beta _{{j^z}}}}}\), where ? ≤ μ, β ₁,...,β _? ∈ \(\overline {\mathbb{Q}} \) ^x, and P ₁(z),..., P _?(z) ∈ \(\overline {\mathbb{Q}} \)[z].     

Hyperbolic Chevalley groups on ℂ<Superscript>2</Superscript>

Let Γ ? U (1, 1) be the subgroup generated by the complex reflections. Suppose that Γ acts discretely on the domain K = {(z ₁, z ₂) ∈ ?² ||z ₁|² ? |z ₂|² < 0} and that the projective group PΓ acts on the unit disk B = {|z ₁/z ₂| < 1} as a Fuchsian group of signature (n ₁, ..., n _s ), s ? 3, n _i ? 2. For such groups, we prove a Chevalley type theorem, i.e., find a necessary and sufficient condition for the quotient space K/Γ to be isomorphic to ?² ? {0}.     

Asymptotic behavior of zeros of Mittag-Leffler functions of order 1/2

Let z _n denote the sequence of zeros of the Mittag-Leffler function E _ρ (z; μ), ρ > 0, μ ∈ ?, which is an entire function of order ρ. With the exception of the case ρ = 1/2, Re μ = 3 an asymptotic behavior of the sequence z _n ^ρ was known earlier up to infinitesimals o(1) having a sharply defined rate of decrease. In this paper the behavior of the sequence z _n ^1/2 is studied just in this exceptional case. Furthermore, for ρ = 1/2, μ > 3 we give the form of a curvilinear half-plane which is free of the points z _n .     

Pointwise estimates of polynomials orthogonal on a circle with respect to a weight not belonging to the spaces <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">r</Emphasis></Superscript> (<Emphasis Type="Italic">r</Emphasis> &gt; 1)

Two-sided pointwise estimates are established for polynomials that are orthogonal on the circle |z| = 1 with respect to the weight ?(τ): = h(τ)|sin(τ/2)|^?1 g(|sin(τ/2)|) (τ ∈ ?), where g(t) is a concave modulus of continuity slowly changing at zero such that t ^?1 g(t) ∈ L ¹[0, 1] and h(τ) is a positive function from the class C _2π with a modulus of continuity satisfying the integral Dini condition. The obtained estimates are applied to find the order of the distance from the point t = 1 to the greatest zero of a polynomial orthogonal on the segment [?1, 1].     

Convergent expansions of the Bessel functions in terms of elementary functions

We consider the Bessel functions J _ν (z) and Y _ν (z) for R ν > ?1/2 and R z ≥ 0. We derive a convergent expansion of J _ν (z) in terms of the derivatives of \((\sin z)/z\), and a convergent expansion of Y _ν (z) in terms of derivatives of \((1-\cos z)/z\), derivatives of (1 ? e ^?z )/z and Γ(2ν, z). Both expansions hold uniformly in z in any fixed horizontal strip and are accompanied by error bounds. The accuracy of the approximations is illustrated with some numerical experiments.     

Uniform and tangential approximation in a stripe by meromorphic functions of optimal growth

The paper discusses the problem of approximation of functions continuous on a closed stripe S _h = {z: |Imz| ≤h} and holomorphic in its interior. The results relate to the uniform and tangential approximation of such functions f by meromorphic functions g with minimal growth in terms of Nevanlinna characteristic T (r, g). The growth depends on the growth of f in S _h and certain differential properties of f on ?S _h . It is assumed that the possible poles of g are restricted to the imaginary axis.     

Integral approximation of the characteristic function of an interval by trigonometric polynomials

We prove that the value E _n?1(χ _h ) _L of the best integral approximation of the characteristic function χ _h of an interval (?h, h) on the period [?π,π) by trigonometric polynomials of degree at most n ? 1 is expressed in terms of zeros of the Bernstein function cos {nt ? arccos[(2q ? (1 + q ²) cost)/(1 + q ² ? 2q cost)]}, t ∈ [0, π], q ∈ (?1,1). Here, the parameters q, h, and n are connected in a special way; in particular, q = sech ? tanh for h = π/n.     

Commuting Krichever–Novikov differential operators with polynomial coefficients

Under study are some commuting rank 2 differential operators with polynomial coefficients. We prove that, for every spectral curve of the form w² = z³+c₂z2+c₁z+c₀ with arbitrary coefficients c_i, there exist commuting nonselfadjoint operators of orders 4 and 6 with polynomial coefficients of arbitrary degree.     

New schemes with fractal error compensation for PDE eigenvalue computations

With an error compensation term in the fractal Rayleigh quotient of PDE eigen-problems,we propose a new scheme by perturbing the mass matrix Mhto Mh=Mh+Ch2mKh,where Khis the corresponding stif matrix of a 2m 1 degree conforming finite element with mesh size h for a 2m-order self-adjoint PDE,and the constant C exists in the priority error estimationλh jλj~Ch2mλ2j.In particular,for Laplace eigenproblems over regular domains in uniform mesh,e.g.,cube,equilateral triangle and regular hexagon,etc.,we find the constant C=I h 1Mh2 hKh and show that in this case the computation accuracy can raise two orders,i.e.,fromλh jλj=O(h2)to O(h4).Some numerical tests in 2-D and 3-D are given to verify the above arguments.     

A numerical algorithm for solving a nonstationary problem of optimal control

Let {φ _n ^(α,β) (z)} _n=0 ^∞ be a system of Jacobi polynomials orthonormal on the circle |z| = 1 with respect to the weight (1 ? cos τ)^α+1/2(1 + cos τ)^β+1/2 (α, β > ?1), and let \(\psi _n^{\left( {\alpha ,\beta } \right)*} \left( z \right): = z^n \overline {\psi _n^{\left( {\alpha ,\beta } \right)} \left( {{1 \mathord{\left/ {\vphantom {1 {\bar z}}} \right. \kern-\nulldelimiterspace} {\bar z}}} \right)}\)). We establish relations between the polynomial φ _n ^(α,?1/2) (z) and the nth (C, α ? 1/2)-mean of the Maclaurin series for the function (1 ? z)^?α?3/2 and also between the polynomial φ _n ^(α,?1/2)* (z) and the nth (C, α + 1/2)-mean of the Maclaurin series for the function (1 ? z)^?α?1/2. We use these relations to derive an asymptotic formula for φ _n ^(α,?1/2) (z); the formula is uniform inside the disk |z| < 1. It follows that φ _n ^(α,?1/2) (z) ≠ 0 in the disk |z| ≤ ρ for fixed φ ∈ (0, 1) and α > ?1 if n is sufficiently large.     

Difference scheme for an initial–boundary value problem for a singularly perturbed transport equation

An initial–boundary value problem for a singularly perturbed transport equation with a perturbation parameter ε multiplying the spatial derivative is considered on the set ? = G ∪ S, where ? = D? × [0 ≤ t ≤ T], D? = {0 ≤ x ≤ d}, S = S ^l ∪ S, and S ^l and S₀ are the lateral and lower boundaries. The parameter ε takes arbitrary values from the half-open interval (0,1]. In contrast to the well-known problem for the regular transport equation, for small values of ε, this problem involves a boundary layer of width O(ε) appearing in the neighborhood of S ^l ; in the layer, the solution of the problem varies by a finite value. For this singularly perturbed problem, the solution of a standard difference scheme on a uniform grid does not converge ε-uniformly in the maximum norm. Convergence occurs only if h=dN^-1 ? ε and N₀^-1 ? 1, where N and N₀ are the numbers of grid intervals in x and t, respectively, and h is the mesh size in x. The solution of the considered problem is decomposed into the sum of regular and singular components. With the behavior of the singular component taken into account, a special difference scheme is constructed on a Shishkin mesh, i.e., on a mesh that is piecewise uniform in x and uniform in t. On such a grid, a monotone difference scheme for the initial–boundary value problem for the singularly perturbed transport equation converges ε-uniformly in the maximum norm at an ?(N^?1 + N₀^?1) rate.     

Generalized varieties of sums of powers

Let X ? P^N be an irreducible, non-degenerate variety. The generalized variety of sums of powers V S P_H^X(h) of X is the closure in the Hilbert scheme Hilb_h (X) of the locus parametrizing collections of points {x₁,..., x_h} such that the (h -1)-plane >x₁,..., x_h> passes through a fixed general point p ∈ P^N. When X = V_dⁿ is a Veronese variety we recover the classical variety of sums of powers V S P(F, h) parametrizing additive decompositions of a homogeneous polynomial as powers of linear forms. In this paper we study the birational behavior of V S P_H^X(h). In particular, we show how some birational properties, such as rationality, unirationalityand rational connectedness, of V S P_H^X(h) are inherited from the birational geometry of variety X itself.     

Meromorphic Solutions for a Class of Differential Equations and Their Applications

In this note, we study the admissible meromorphic solutions for algebraic differential equation fⁿf' + P_n?1(f) = R(z)e^α(z), where P_n?1(f) is a differential polynomial in f of degree ≤ n ? 1 with small function coefficients, R is a non-vanishing small function of f, and α is an entire function. We show that this equation does not possess any meromorphic solution f(z) satisfying N(r, f) = S(r, f) unless P_n?1(f) ≡ 0. Using this result, we generalize a well-known result by Hayman.     

On three differential equations associated with Chebyshev polynomials of degrees 3, 4 and 6

We shall study the differential equation y'~2= T_n(y)-(1-2μ~2);where μ~2 is a constant, T_n(x) are the Chebyshev polynomials with n = 3, 4, 6.The solutions of the differential equations will be expressed explicitly in terms of the Weierstrass elliptic function which can be used to construct theories of elliptic functions based on _2F_1(1/4, 3/4; 1; z),_2F_1(1/3, 2/3; 1; z), _2F_1(1/6, 5/6; 1; z) and provide a unified approach to a set of identities of Ramanujan involving these hypergeometric functions.     

Sets with even partition functions and 2-adic integers

For P ? \(\mathbb{F}_2 \)[z] with _P(0) = 1 and deg(_P) ≥ 1, let \(\mathcal{A}\) = \(\mathcal{A}\)(P) (cf. [4], [5], [13]) be the unique subset of ? such that Σ _n≥0 p(\(\mathcal{A}\), n)z ⁿ ≡ P(z) (mod 2), where p(\(\mathcal{A}\), n) is the number of partitions of n with parts in \(\mathcal{A}\). Let p be an odd prime and P ? \(\mathbb{F}_2 \)[z] be some irreducible polynomial of order p, i.e., p is the smallest positive integer such that P(z) divides 1 + z ^p in \(\mathbb{F}_2 \)[z]. In this paper, we prove that if m is an odd positive integer, the elements of \(\mathcal{A}\) = \(\mathcal{A}\)(P) of the form 2 ^k m are determined by the 2-adic expansion of some root of a polynomial with integer coefficients. This extends a result of F. Ben Saïd and J.-L. Nicolas [6] to all primes p.