On the zeta-function of systems of nonlinear equations

We introduce the concept of zeta-function for a system of meromorphic functions f = (f ₁,..., f _n) in ?ⁿ. Using residue theory, we give an integral representation for the zeta-function which enables us to construct an analytic continuation of the zeta-function.     

Boundedness,univalence and quasiconformal extension of Robertson functions

This article contains several results for λ-Robertson functions, i.e., analytic functions f defined on the unit disk ? satisfying f(0) = f′(0) ? 1 = 0 and Re e ^?iλ {1 + zf″(z)/f′(z)} > 0 in ? where λ ∈ (?π/2, π/2). We will discuss about conditions for boundedness and quasiconformal extension of Robertson functions. In the last section we provide another proof of univalence for Robertson functions by using the theory of Löwner chains.     

Unique solvability of the stationary Fokker-Planck equation in a class of positive functions

We study the stationary Focker-Planck equation Δu ? div(u f) = 0 with a given vector field f of the class C ₀ ^∞ (R ⁿ ) on the basis of a fixed point principle that generalizes the contraction mapping method. Next, we introduce a parameter in the equation and prove the unique solvability of the equation Δu ? div(uγ f) = 0 with the parameter in the class of positive slowly increasing functions. We reveal the analytic dependence of the positive solution u on the parameter γ. Pointwise estimates for positive solutions are proved.     

On the maximum rank of a real binary form

We show that a real binary form f of degree n has n distinct real roots if and only if for any \({(\alpha,\beta)\in\mathbb{R}^2{\setminus}\{0\}}\) all the forms αf _x + βf _y have n ? 1 distinct real roots. This answers to a question of Comon and Ottaviani (On the typical rank of real binary forms, available at arXiv:math/0909.4865, 2009), and allows to complete their argument to show that f has symmetric rank n if and only if it has n distinct real roots.     

Hyperquasipolynomials for the Theta-Function

Let g be a linear combination with quasipolynomial coefficients of shifts of the Jacobi theta function and its derivatives in the argument. All entire functions f: ? → ? satisfying f(x+y)g(x?y) = α₁(x)β₁(y)+· · ·+α_r(x)β_r(y) for some r ∈ ? and α_j, β_j: ? → ? are described.     

Analytic operator Lipschitz functions in the disk and a trace formula for functions of contractions

In this paper we prove that for an arbitrary pair {T ₁, T ₀} of contractions on Hilbert space with trace class difference, there exists a function ξ in L ¹(T) (called a spectral shift function for the pair {T ₁, T ₀}) such that the trace formula trace(f(T ₁) ? f(T ₀)) = ∫_T f′(ζ)ξ(ζ)dζ holds for an arbitrary operator Lipschitz function f analytic in the unit disk.     

On the sectionwise connectedness of a contingent

Let X be a real normed space and let f: ? → X be a continuous mapping. Let T _f (t ₀) be the contingent of the graph G(f) at a point (t ₀, f(t ₀)) and let S ⁺ ? (0,∞) × X be the “right” unit hemisphere centered at (0, 0 _X ). We show that

1. 1.
   If dimX < ∞ and the dilation D(f, t ₀) of f at t ₀ is finite then T _f (t ₀) ∩ S ⁺ is compact and connected. The result holds for \(T_f (t_0 ) \cap \overline {S^ + } \) even with infinite dilation in the case f: [0,∞) → X.
    
2. 2.
   If dimX = ∞, then, given any compact set F ? S ⁺, there exists a Lipschitz mapping f: ? → X such that T _f (t ₀) ∩ S ⁺ = F.
    
3. 3.
   But if a closed set F ? S ⁺ has cardinality greater than that of the continuum then the relation T _f (t ₀) ∩ S ⁺ = F does not hold for any Lipschitz f: ? → X.
    

     

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.     

On the Complexity and Depth of Embedded in Boolean Cube Circuits That Implement Boolean Functions

A class of circuits of functional elements over the standard basis of the conjunction, disjunction, and negation elements is considered. For each circuit Σ in this class, its depth D(Σ) and dimension R(Σ) equal to the minimum dimension of the Boolean cube allowing isomorphic embedding Σ are defined. It is established that for n = 1, 2,… and an arbitrary Boolean function f of n variables there exists a circuit Σ_f for implementing this function such that R(Σ_f) ? n ? log₂ log₂n + O(1) and D(Σ_f) ? 2n ? 2 log₂ log₂n + O(1). It is proved that for n = 1, 2,… almost all functions of n variables allow implementation by circuits of the considered type, whose depth and dimension differ from the minimum values of these parameters (for all equivalent circuits) by no more than a constant and asymptotically no more than by a factor of 2, respectively.     

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

     

On the metric type of measurable functions and convergence in distribution

In the present paper, sequences of real measurable functions defined on a measure space ([0, 1], µ), where µ is the Lebesgue measure, are studied. It is proved that for every sequence f_n that converges to f in distribution, there exists a sequence of automorphisms S_n of ([0, 1], µ) such that f_n(S_n(t)) converges to f(t) in measure. Connection with some known results is also discussed.     

Semi-Heavy Tails

In this paper, we study properties of functions and sequences with a semi-heavy tail, that is, functions and sequences of the form w(x) = e^?βxf(x), β > 0, resp., w_n = cⁿf_n, 0 < c < 1, where the function f(x), resp., the sequence (f_n), is regularly varying. Among others, we give a representation theorem and study convolution properties. The paper includes several examples and applications in probability theory.     

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

Spherical means in annular regions in the <Emphasis Type="Italic">n</Emphasis>-dimensional real hyperbolic spaces

Let Z _r,R be the class of all continuous functions f on the annulus Ann(r, R) in the real hyperbolic space \(\mathbb B^n\) with spherical means M _s f(x)?=?0, whenever s?>?0 and \(x\in\mathbb B^n\) are such that the sphere S _s (x)???Ann(r, R) and \(B_r(o)\subseteq B_s(x).\) In this article, we give a characterization for functions in Z _r,R . In the case R?=?∞, this result gives a new proof of Helgason’s support theorem for spherical means in the real hyperbolic 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.     

Estimates for sums of moduli of blocks in trigonometric Fourier series

We consider the following two problems. Problem 1: what conditions on a sequence of finite subsets A _k ? ? and a sequence of functions λ _k : A _k → ? provide the existence of a number C such that any function f ∈ L ₁ satisfies the inequality ‖U _A,Λ(f)‖ _p ≤ C‖f‖₁ and what is the exact constant in this inequality? Here, \(U_{\mathcal{A},\Lambda } \left( f \right)\left( x \right) = \sum\nolimits_{k = 1}^\infty {\left| {\sum\nolimits_{m \in A_k } {\lambda _k \left( m \right)c_m \left( f \right)e^{imx} } } \right|}\) and c _m (f) are Fourier coefficients of the function f ∈ L ₁. Problem 2: what conditions on a sequence of finite subsets A _k ? ? guarantee that the function \(\sum\nolimits_{k = 1}^\infty {\left| {\sum\nolimits_{m \in A_k } {c_m \left( h \right)e^{imx} } } \right|}\) belongs to L _p for every function h of bounded variation?     

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.     

On criteria of estimation of the errors of cubature formulas

The paper considers cubature formulas for calculating integrals of functions f(X), X = (x ₁, …, x _n ) which are defined on the n-dimensional unit hypercube K ⁿ = [0, 1] ⁿ and have integrable mixed derivatives of the kind \(\partial _{\begin{array}{*{20}c} {\alpha _1 \alpha _n } \\ {x_1 , \ldots , x_n } \\ \end{array} } f(X)\), 0 ≤ α _j ≤ 2. We estimate the errors R[f] = \(\smallint _{K^n } \) f(X)dX ? Σ _{k = 1} ^N c _k f(X(k)) of cubature formulas (c _k > 0) as functions of the weights c _k of nodes X(k) and properties of integrable functions. The error is estimated in terms of the integrals of the derivatives of f over r-dimensional faces (r≤n) of the hypercube K ⁿ : |R(f)| ≤ \(\sum _{\alpha _j } \) G(α _j )\(\int_{K^r } {\left| {\partial _{\begin{array}{*{20}c} {\alpha _1 \alpha _n } \\ {x_1 , \ldots , x_n } \\ \end{array} } f(X)} \right|} \) dX _r , where coefficients G(α _j ) are criteria which depend only on parameters c _k and X(k). We present an algorithm to calculate these criteria in the two- and n-dimensional cases. Examples are given. A particular case of the criteria is the discrepancy, and the algorithm proposed is a generalization of those used to compute the discrepancy. The results obtained can be used for optimization of cubature formulas as functions of c _k and X(k).     

On Some Functional Equations and Representations of Topological Semigroups

Let a representation T of a semigroup G on a linear space X be given. We call x ∈ X a finite vector if its orbit T(G) is contained in a finite-dimensional subspace. In this paper, some statements about finite vectors are applied to the following problem. For a given positive integer n > 1, describe all continuous functions f : G → ? such that the function (x₁,..., x _n ) ? f(x₁ + ? + x _n ) can be polynomially expressed via functions of sums of fewer variables.     

On the sum of the L1 influences of bounded functions

Let f: {-1, 1}ⁿ → [-1, 1] have degree d as a multilinear polynomial. It is well-known that the total influence of f is at most d. Aaronson and Ambainis asked whether the total L₁ influence of f can also be bounded as a function of d. Ba?kurs and Bavarian answered this question in the affirmative, providing a bound of O(d³) for general functions and O(d²) for homogeneous functions. We improve on their results by providing a bound of d² for general functions and O(d log d) for homogeneous functions. In addition, we prove a bound of d/(2p) + o(d) for monotone functions, and provide a matching example.