On power deformations of univalent functions

For an analytic function f (z) on the unit disk |z| < 1 with f (0) = f′(0) ? 1 = 0 and f (z) ≠ 0, 0 < |z| < 1, we consider the power deformation f _c (z) = z(f (z)/z) ^c for a complex number c. We determine those values c for which the operator \({f \mapsto f_c}\) maps a specified class of univalent functions into the class of univalent functions. A little surprisingly, we will see that the set is described by the variability region of the quantity zf′(z)/ f (z), |z| < 1, for most of the classes that we consider in the present paper. As an unexpected by-product, we show boundedness of strongly spirallike functions.     

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.     

Behavior of the Fourier–Walsh coefficients of a corrected function

We prove that, given a sequence {ak}_k=1^∞ with a_k ↓ 0 and {ak}_k=1^∞ ? l₂, reals 0 < ε < 1 and p ∈ [1, 2], and f ∈ L^p(0, 1), we can find f ∈ L^p(0, 1) with mes{f ≠ f < ε whose nonzero Fourier–Walsh coefficients c_k(f) are such that |c_k(f)| = a_k for k ∈ spec(f).     

The Fixed Points of Contractions of <Emphasis Type="Italic">f</Emphasis>-Quasimetric Spaces

The recent articles of Arutyunov and Greshnov extend the Banach and Hadler Fixed-Point Theorems and the Arutyunov Coincidence-Point Theorem to the mappings of (q₁, q₂)-quasimetric spaces. This article addresses similar questions for f-quasimetric spaces.Given a function f: R ₊² → R₊ with f(r₁, r₂) → 0 as (r₁, r₂) → (0, 0), an f-quasimetric space is a nonempty set X with a possibly asymmetric distance function ρ: X² → R+ satisfying the f-triangle inequality: ρ(x, z) ≤ f(ρ(x, y), ρ(y, z)) for x, y, z ∈ X. We extend the Banach Contraction Mapping Principle, as well as Krasnoselskii’s and Browder’s Theorems on generalized contractions, to mappings of f-quasimetric spaces.     

Solution of Functional Equations Related to Elliptic Functions

Functional equations of the form f(x + y)g(x ? y) = Σ _j=1 ⁿ α _j (x)β _j (y) as well as of the form f₁(x + z)f₂(y + z)f₃(x + y ? z) = Σ _j=1 ^m φ _j (x, y)ψ _j (z) are solved for unknown entire functions f, g,α _j , β _j : ? → ? and f₁, f₂, f₃, ψ _j : ? → ?, φ _j : ?² → ? in the cases of n = 3 and m = 4.     

Value sharing problems for differential and difference polynomials of meromorphic functions in a non-Archimedean field

In this paper we discuss the uniqueness problem for differential and difference polynomials of the form (f ^nm (z)f ^nd (qz + c))^(k) for meromorphic functions in a non-Archimedean field.     

An improvement of Ozaki’s P-valent conditions

The old result due to[Ozaki,S.:On the theory of multivalent functions Ⅱ.Sci.Rep.Tokyo Bunrika Daigaku Sect.A,45-87(1941)],says that if f(z) = z~p + ∑_(n=p+1~(a_nz~n))~∞ is analytic in a convex domain D and for some real α we have Re{exp(iα)f~((p))(z)} 0 in D,then f(z) is at most p-valent in ED.In this paper,we consider similar problems in the unit disc B = {z ∈ C:|z| 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.     

Coefficient estimates of negative powers and inverse coefficients for certain starlike functions

For ?1≤B<A≤1, let \(\mathcal {S}^{*}(A,B)\) denote the class of normalized analytic functions \(f(z)= z+{\sum }_{n=2}^{\infty }a_{n} z^{n}\) in |z|<1 which satisfy the subordination relation z f ^′(z)/f(z)?(1 + A z)/(1 + B z) and Σ^?(A,B) be the corresponding class of meromorphic functions in |z|>1. For \(f\in \mathcal {S}^{*}(A,B)\) and λ>0, we shall estimate the absolute value of the Taylor coefficients a _n (?λ,f) of the analytic function (f(z)/z)^?λ . Using this we shall determine the coefficient estimate for inverses of functions in the classes \(\mathcal {S}^{*}(A,B)\) and Σ^?(A,B).     

On a Diophantine Inequality with Prime Numbers of a Special Type

We consider the Diophantine inequality |p ₁ ^c + p ₂ ^c + p ₃ ^c ? N| < (logN)^?E, where 1 < c < 15/14, N is a sufficiently large real number and E > 0 is an arbitrarily large constant. We prove that the above inequality has a solution in primes p₁, p₂, p₃ such that each of the numbers p₁ + 2, p₂ + 2 and p₃ + 2 has at most [369/(180 ? 168c)] prime factors, counted with multiplicity.     

Asymptotics of cylindrical functions in the complex domain: I

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 well known for the real argument.     

Integral averaging technique for oscillation of damped half-linear oscillators

This paper is concerned with the oscillatory behavior of the damped half-linear oscillator (a(t)?_p(x′))′ + b(t)?_p(x′) + c(t)?_p(x) = 0, where ?p(x) = |x|^p?1 sgn x for x ∈ ? and p > 1. A sufficient condition is established for oscillation of all nontrivial solutions of the damped half-linear oscillator under the integral averaging conditions. The main result can be given by using a generalized Young’s inequality and the Riccati type technique. Some examples are included to illustrate the result. Especially, an example which asserts that all nontrivial solutions are oscillatory if and only if p ≠ 2 is presented.     

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.     

Asymptotic expansion of the solution of the initial value problem for a singularly perturbed ordinary differential equation

We consider the Cauchy problem for the nonlinear differential equation

$$\varepsilon \frac{{du}}{{dx}} = f(x,u),u(0,\varepsilon ) = R_0 ,$$

where ? > 0 is a small parameter, f(x, u) ∈ C ^∞ ([0, d] × ?), R ₀ > 0, and the following conditions are satisfied: f(x, u) = x ? u ^p + O(x ² + |xu| + |u|^p+1) as x, u → 0, where p ∈ ? \ {1} f(x, 0) > 0 for x > 0; f _u ²(x, u) < 0 for (x, u) ∈ [0, d] × (0, + ∞); Σ ₀ ^+∞ f _u ²(x, u) du = ?∞. We construct three asymptotic expansions (external, internal, and intermediate) and prove that the matched asymptotic expansion approximates the solution uniformly on the entire interval [0, d].

     

Inequalities between best polynomial approximations and some smoothness characteristics in the space <Emphasis Type="Italic">L</Emphasis> <Subscript>2</Subscript> and widths of classes of functions

We obtain exact constants in Jackson-type inequalities for smoothness characteristics Λ_k(f), k ∈ N, defined by averaging the kth-order finite differences of functions f ∈ L₂. On the basis of this, for differentiable functions in the classes L₂^r, r ∈ N, we refine the constants in Jackson-type inequalities containing the kth-order modulus of continuity ω_k. For classes of functions defined by their smoothness characteristics Λ_k(f) and majorants Φ satisfying a number of conditions, we calculate the exact values of certain n-widths.     

On the norm property of the Hilbert symbol for polynomial formal modules in a multidimensional local field

In a two-dimensional local field K containing the pth root of unity, a polynomial formal group F _c (X, Y) = X + Y + cXY acting on the maximal ideal M of the ring of integers б _K and a constructive Hilbert pairing {·, ·} _c : K ₂(K) × F _c (M) → <ξ> _c , where <ξ> _c is the module of roots of [p] _c (pth degree isogeny of F _c ) with respect to formal summation are considered. For the extension of two-dimensional local fields L/K, a norm map of Milnor groups Norm: K ₂(L) → K ₂(K) is considered. Its images are called norms in K ₂(L). The main finding of this study is that the norm property of pairing {·, ·}c: {x,β} _c : = 0 ? x is a norm in K ₂(K([p] _c ^-1 (β))), where [p] _c ^-1 (β) are the roots of the equation [p] _c = β, is checked constructively.     

Functional equations and Weierstrass sigma-functions

It is proved that if an entire function f: ? → ? satisfies an equation of the form α ₁(x)β ₁(y) + α ₂(x)β ₂(y) + α ₃(x)β ₃(y), x,y ∈ C, for some α _j , β _j : ? → ? and there exist no \({\widetilde \alpha _j}\) and ?\({\widetilde \beta _j}\) for which \(f\left( {x + y} \right)f\left( {x - y} \right) = {\overline \alpha _1}\left( x \right){\widetilde \beta _1}\left( y \right) + {\overline \alpha _2}\left( x \right){\widetilde \beta _2}\left( y \right)\), then f(z) = exp(Az ² + Bz + C) ? σ _Γ(z - z ₁) ? σ _Γ(z - z ₂), where Γ is a lattice in ?; σ _Γ is the Weierstrass sigma-function associated with Γ; A,B,C, z ₁, z ₂ ∈ ?; and \({z_1} - {z_2} \notin \left( {\frac{1}{2}\Gamma } \right)\backslash \Gamma \).     

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.     

Quasisymmetric geometry of the Julia sets of McMullen maps

We study the quasisymmetric geometry of the Julia sets of McMullen maps f_λ(z) = z^m + λ/z^?, where λ ∈ ? {0} and ? and m are positive integers satisfying 1/?+1/m < 1. If the free critical points of f_λ are escaped to the infinity, we prove that the Julia set J_λ of f_λ is quasisymmetrically equivalent to either a standard Cantor set, a standard Cantor set of circles or a round Sierpiński carpet (which is also standard in some sense). If the free critical points are not escaped, we give a suffcient condition on λ such that J_λ is a Sierpiński carpet and prove that most of them are quasisymmetrically equivalent to some round carpets. In particular, there exist infinitely renormalizable rational maps whose Julia sets are quasisymmetrically equivalent to the round carpets.     

Group analysis of the one-dimensional boltzmann equation: II. Equivalence groups and symmetry groups in the special case

We obtain relations that define the equivalence algebra of the family of one-dimensional Boltzmann equations f _t + cf _x + F(t, x, c)f _c = 0 and show that all equations of that form are locally equivalent. We carry out the group classification of the equation with respect to the function F in the special case where the function F and the transformations of the variables t and x are assumed to be independent of c. We show that, under such constraints for the transformation and the family of equations, the maximum possible symmetry algebra is eight-dimensional, which corresponds to an equation with a linear function F.