Convergence of rows of the Padé table

We prove that at least an infinite subsequence of [$\text{l}\text{2}$] Padé approximants converge to f(z) if f(z) is holomorphic. We speculate that convergence of the [$\text{L ?}\text{m}\text{μ + m}$] approximants to c(z) is associated with convergence of [$\text{L}\text{μ}$] approximants to h(z) where c(z) is meromorphic with μ poles and σ(z) is the polynomial of degree μ which renders g(z) = σ(z)c(z) and h(z) = σ(z)g(z) holomorphic. We formulate this conjecture precisely and prove it for (i) m = 1 and (ii) m = 2 and h(z) a holomorphic function of order less than 1.     

Products of Hecke eigenforms

Let f(z) and g(z) be Hecke eigenforms for Γ₀(p), where p is a prime. If both f(z) and g(z) are non-cuspidal forms and p?7, then the product is a Hecke eigenform only if it comes trivially from a level 1 solution. If g(z) is a cuspform and p?5, then in addition to the level 1 solutions, there are 8 new cases where the product of Hecke eigenforms is a Hecke eigenform.     

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.     

Multicomplexes and polynomials with real zeros

We show that each polynomial a(z)=1+a₁z+?+a_dz^d in N[z] having only real zeros is the f-polynomial of a multicomplex. It follows that a(z) is also the h-polynomial of a Cohen-Macaulay ring and is the g-polynomial of a simplicial polytope. We conjecture that a(z) is also the f-polynomial of a simplicial complex and show that the multicomplex result implies this in the special case that the zeros of a(z) belong to the real interval [-1,0). We also show that for fixed d the conjecture can fail for at most finitely many polynomials having the required form.     

The inverse of a matrix polynomial

An explicit representation is obtained for P(z)^?1 when P(z) is a complex n×n matrix polynomial in z whose coefficient of the highest power of z is the identity matrix. The representation is a sum of terms involving negative powers of z?λ for each λ such that P(λ) is singular. The coefficients of these terms are generated by sequences u_k, v_k of 1×n and n×1 vectors, respectively, which satisfy u₁≠0, v₁≠0, ∑^k?1_h=0(1?h!)u_k?hP^(h)(λ)=0, ∑^k?1_h=0(1?h!)P^(h)(λ)v_k?h=0, and certain orthogonality relations. In more general cases, including that when P(z) is analytic at λ but not necessarily a polynomial, the terms in the representation involving negative powers of z?λ provide the principal part of the Laurent expansion for P(z)^?1 in a punctured neighborhood of z=λ.     

Non-linear extremal problems for analytic two-dimensional Riemann-Stieltjes integrals

We examine certain non-linear extremal problems for two-dimensional Riemann-Stieltjes integrals \(\varphi (z) \equiv \int {_D \int {g(z,\zeta )d\mu (\zeta ),} \zeta \in D \equiv [\zeta |\left| \zeta \right|} \leqslant 1]\) ,z∈Δ≡[z‖|z|<1] whereg(z, ζ) is a continuous function in (z, ζ)∈[Δ×D] and an analytic function forz∈Δ and μ(ζ) is a unit mass measure onD. In particular, if the mass is distributed on the segment [a, b], we obtain the well-known Ruscheweyh results for the one-dimensional Riemann-Stieltjes integrals \(\varphi (z) \equiv \int_a^b {g(z,t)d\mu (t),z \in \Delta } \) . In particular, ifg(z,σ)≡z/(1—zσ), we determine the maximal domain of univalence and the radii of starlikeness and convexity of order α, ?∞<α<1, of the corresponding functions ?(z). A particular study is made of the functions of classesS ₁(D) andS ₂(D) which is similar to the study of the functions of the corresponding classesS ₁(C) andS ₂(C) of Schwarz analytic functions. In addition to obtaining maximal domains of univalence, we also determine the unique extremal functions for each of the functional studied.     

A Leibniz differentiation formula for positive operators

Is is shown that for n→+∞ the Leibnizian combination L′_n(fg)−fL′_n(g)−gL′_n(f) converges uniformly to zero on a compact interval W if the positive operators L_n belong to a certain class (including Bernstein, Gauss-Weierstrass and many others), and if the moduli of continuity of f,g satisfy ω_W(f;h)ω_W(g;h)=o(h) as h→0+. A counterexample shows that Lipschitz conditions are not appropriate to bring about a second-order version of this formula.     

On the rank of odd hyper-quasi-polynomials

Given any nonzero entire function g: ? → ?, the complex linear space F(g) consists of all entire functions f decomposable as f(z + w)g(z - w)=φ₁(z)ψ₁(w)+???+ φ_n(z)ψ_n(w) for some φ₁, ψ₁, …, φ_n, ψ_n: ? → ?. The rank of f with respect to g is defined as the minimum integer n for which such a decomposition is possible. It is proved that if g is an odd function, then the rank any function in F(g) is even.     

Dirichlet and VMOA domains via Schwarzian derivative

Short proofs of the following results concerning a bounded conformal map g of the unit disc D are presented: (1) logg^′ belongs to the Dirichlet space if and only if the Schwarzian derivative Sg of g satisfies Sg(z)(1−²|z|)∈L²(D); (2) logg^′∈VMOA if and only if ²|Sg(z)|³(1−²|z|) is a vanishing Carleson measure on D. Analogous results for Besov and Qp,0 spaces are also given.     

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.     

Small Divisor Problem in Dynamical Systems and Analytic Solutions of a q-Difference Equation with a Singularity at the Origin

In this paper, we consider a q-difference equation $$\sum_{j=0}^{k}\sum_{t=1}^{\infty}C_{t,j}(z)(y(q^jz))^{t}=G(z)$$ in the complex field ${\mathbb C,}$ where C _t,j (z) and G(z) have a h ₁ order pole and a h ₂ order pole at z = 0, respectively. Under the case 0 < |q| < 1 or |q| = 1, we give the existence of local analytic solutions for the above equation by using small divisor theory in dynamical systems.     

Meromorphic functions sharing two small functions with its derivative

In this paper, we find all the forms of meromorphic functions f(z) that share the value 0 CM^∗, and share b(z)IM^∗ with g(z)=a₁(z)f(z)+a₂(z)f^′(z). And a₁(z), a₂(z) and b(z) (a₂(z),b(z)?0) be small functions with respect to f(z). As an application, we show that some of nonlinear differential equations have no transcendental meromorphic solution.     

Meromorphic Functions That Share Fixed-Points

In this paper, we prove the following result: Let f(z) and g(z) be two nonconstant meromorphic(entire) functions, n ≥ 11(n ≥ 6) a positive integer. If fⁿ(z)f′(z) and gⁿ(z)g′(z) have the same fixed-points, then either f(z) = c₁e^cz2, g(z) = c₂e^− cz2, where c₁, c₂, and c are three constants satisfying 4(c₁c₂)^n + 1c² = −1, or f(z) ≡ tg(z) for a constant t such that t^n + 1 = 1.     

Univalence criterion and convexity for an integral operator

For analytic functions f and g in the open unit disk U, a new integral operator I₁(f,g)(z) is introduced. The main object of this paper is to obtain a univalence condition and the order of convexity for the integral operator I₁(f,g)(z).     

On the log-concavity of Hilbert series of Veronese subrings and Ehrhart series

For every positive integer n, consider the linear operator U _n on polynomials of degree at most d with integer coefficients defined as follows: if we write ${\frac{h(t)}{(1 - t)^{d + 1}}=\sum_{m \geq 0} g(m) \, t^{m}}For every positive integer n, consider the linear operator U _n on polynomials of degree at most d with integer coefficients defined as follows: if we write \frach(t)(1 - t)^{d + 1}=?_{m 3 0} g(m)  t^m{\frac{h(t)}{(1 - t)^{d + 1}}=\sum_{m \geq 0} g(m) \, t^{m}} , for some polynomial g(m) with rational coefficients, then \fracU_nh(t)(1- t)^d+1 = ?_{m 3 0}g(nm)  t^m{\frac{{\rm{U}}_{n}h(t)}{(1- t)^{d+1}} = \sum_{m \geq 0}g(nm) \, t^{m}} . We show that there exists a positive integer n _d , depending only on d, such that if h(t) is a polynomial of degree at most d with nonnegative integer coefficients and h(0) = 1, then for n ≥ n _d , U _n h(t) has simple, real, negative roots and positive, strictly log concave and strictly unimodal coefficients. Applications are given to Ehrhart δ-polynomials and unimodular triangulations of dilations of lattice polytopes, as well as Hilbert series of Veronese subrings of Cohen–Macauley graded rings.     

Spatial energy decay estimate in dynamical problems for a micropolar viscoelastic solid

We consider a linear micropolar viscoelastic solid occupying a domainB in dynamical conditions. First, on assuming thatB is of the kindB={∈R:x’ =(x ₁,x ₂)∈D(x ₃);x ₃∈R⁺⁺}, and that the body is subjected to boundary data different from zero only onD(0), we estimate for any fixedt>0, in terms of the initial and boundary data, the «energy» of the portions of the solid at distance greater thanz fromD(0)(g _t(z)) and its norm inL ¹(0,t) (G_t(z)). Moreover we show that, if there exists somez ₀≥0, such that past histories vanish onD(z) withz≥z ₀, then for any fixedt>0 the points (x’’, z) withz?z ₀≥Vt are at rest, while forz?z ₀≤Vt, G_t(z) decays withz?z ₀, the decay rate being described by the factor $1 - \frac{{z - z_0 }}{{Vt}}$ .V is a computable positive constant depending on the relaxation functions, the mass density and the microinertial tensor. Finally these last results are extended to more general domains under the hypothesis that the initial and boundary data have a bounded support. In our analysis we make use of a Maximal Free Energy which allows us to impose very mild restrictions on the relaxation functions.     

A combinatorial interpretation for two transformations of series that commute with compositional inversion

For a formal power series $\text{g(t) =}\text{1}\text{[1 + ∑}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{h}{}_{\mathrm{n}}\text{t}{}^{\mathrm{n}}\text{]}$ with nonnegative integer coefficients, the compositional inverse $\text{f}\text{(t) = t · f(t)}$ of $\text{g}\text{(t) = t · g(t)}$ is shown to be the generating function for the colored planted plane trees in which each vertex of degree i + 1 is colored one of h_i colors. Since the compositional inverse of the Euler transformation of f(t) is the star transformation [[g(t)]^?1 ? 1]^?1 of g(t), [2], it follows that the Euler transformation of f(t) is the generating function for the colored planted plane trees in which each internal vertex of degree i + 1 is colored one of h_i colors for i > 1, and h₁ ? 1 colors for i = 1.     

A new off-step high order approximation for the solution of three-space dimensional nonlinear wave equations

In this paper, we propose a new high accuracy numerical method of O(k² + k²h² + h⁴) based on off-step discretization for the solution of 3-space dimensional non-linear wave equation of the form u_tt = A(x,y,z,t)u_xx + B(x,y,z,t)u_yy + C(x,y,z,t)u_zz + g(x,y,z,t,u,u_x,u_y,u_z,u_t), 0 < x,y,z < 1,t > 0 subject to given appropriate initial and Dirichlet boundary conditions, where k > 0 and h > 0 are mesh sizes in time and space directions respectively. We use only seven evaluations of the function g as compared to nine evaluations of the same function discussed in  and . We describe the derivation procedure in details of the algorithm. The proposed numerical algorithm is directly applicable to wave equation in polar coordinates and we do not require any fictitious points to discretize the differential equation. The proposed method when applied to a telegraphic equation is also shown to be unconditionally stable. Comparative numerical results are provided to justify the usefulness of the proposed method.     

On a generalization of Minkowski's convex body theorem

Given a lattice $\text{Λ ? R}{}^{\mathrm{n}}$ and a bounded function g(x), x ∈ Rⁿ, vanishing outside of a bounded set, the functions ?(x)$\text{g}\text{?}\text{(x)?}$max_u∈Λg(u +x), ?(x)?Σ_{u∈Λ g(u +x)}, and ?₊(x)?Σ_u∈Λ max_{v∈Λ min {g(v + x); g(u + v + x)}} are defined and periodic mod Λ on Rⁿ. In the paper we prove that ?(x) + ?₊(x) ? 2?(x) ≥ ?(x) + h?₊(x) ? 2?(x) holds for all x ∈ Rⁿ, where h(x) is any “truncation” of g by a constant c ≥ 0, i.e., any function of the form h(x)?g(x) if g(x) ≤ c and h(x)?c if g(x) > c. This inequality easily implies some known estimations in the geometry of numbers due to Rado [1] and Cassels [2]. Moreover, some sharper and more general results are also derived from it. In the paper another inequality of a similar type is also proved.