Rational functions of best L p- approximation and analytic continuability

Sufficient conditions for the analytic (resp. meromorphic) continuability of a function f ∈ L _p([?1, l]), p > 0, in terms of rational functions of best weighted L _p- approximation with an unbounded number of finite poles are established.     

Analytic extension of non quasi-analytic Whitney jets of Roumieu type

Let (M_r)_{r∈? 0} be a logarithmically convex sequence of positive numbers which verifies M₀ = 1 as well as M_r ≥ 1 for every r ∈ ? and defines a non quasi-analytic class. Let moreover F be a closed proper subset of ?ⁿ. Then for every function ? on ?ⁿ belonging to the non quasi-analytic (M_r)-class of Roumieu type, there is an element g of the same class which is analytic on ?ⁿ F and such that D^α ?(x) = D^αg(x) for every σ ∈ ?₀ ⁿ SBAP and x ∈ F.     

An analogue of Montel's theorem for some classes of rational functions

For sequences of rational functions, analytic in some domain, a theorem of Montel's type is proved. As an application, sequences of rational functions of the best L _p -approximation with an unbounded number of finite poles are considered.     

Generalization of Berg-Dimovski convolution in spaces of analytic functions

In the space H(G) of functions analytic in a ρ-convex region G equipped with the topology of compact convergence, we construct a convolution for the operator J _π+L where J _ρ is the generalized Gel’fond-Leont’ev integration operator and L is a linear continuous functional on H(G). This convolution is a generalization of the well-known Berg-Dimovski convolution. We describe the commutant of the operator J _π+L in ?(G) and obtain the representation of the coefficient multipliers of expansions of analytic functions in the system of Mittag-Leffler functions.     

Maximization of lower semi-continuous convex functional on bounded subsets of locally convex spaces. II: Quasi-Lagrangian duality theorems

We prove, for a proper lower semi-continuous convex functional ? on a locally convex space E and a bounded subset G of E, a formula for sup ?(G) which is symmetric to the Lagrange multiplier theorem for convex minimization, obtained in [7], with the difference that for sup ?(G) Lagrange multiplier functionals need not exist. When ? is also continuous we give some necessary conditions for g₀ ∈ G to satisfy ?(g₀) = sup ?(G). Also, we give some applications to deviations and farthest points. Finally, we show the connections with the “hyperplane theorems” of our previous paper [8].     

Quadratic Differences that Depend on the Product of Arguments

In this paper, we determine all functions ?, defined on a field K (belonging to a certain class) and taking values in an abelian group, such that the quadratic difference ?(x + y) + ?(x ? y) ? 2?(x) ? 2?(y) depends only on the product xy for all x, y ∈ K. Using this result, we find the general solution of the functional equation ?₁(x + y) + ?₂(x ? y) = ?₃(x) + ?₄(y) + g(xy).     

A two-dimensional Minkowski ?(x) function

A function from a triangle to itself is defined that has both interesting number theoretic and analytic properties. This function is shown to be a natural generalization of the classical Minkowski ?(x) function. It is shown there exists a natural class of pairs of cubic irrational numbers in the same cubic number field that are mapped to pairs of rational numbers, in analog to ?(x) mapping quadratic irrationals on the unit interval to rational numbers on the unit interval. It is also shown that this new function satisfies an analog to the fact that ?(x), while increasing and continuous, has derivative zero almost everywhere.     

Analytic Extension of Smooth Functions

Let F be a closed proper subset of ?ⁿ and let ?* be a class of ultradifferentiable functions. We give a new proof for the following result of Schmets and Valdivia on analytic modification of smooth functions: for every function ? ∈ ?* (?ⁿ) there is ${\widetilde f} \in {\cal E}_{*}(\rm R ^{n})$ which is real analytic on ?ⁿF and such that ?^a ? ¦ _F = ?^a ? ¦ _F for any a ∈ ?₀ ⁿ. For bounded ultradifferentiable functions ? we can obtain ${\widetilde f}$ by means of a continuous linear operator.     

Holomorphic representations of nilpotent Lie groups

Let G be a connected, simply-connected complex nilpotent Lie group, and G_r ?( G a real form of G. Motivated by the problem of analytic continuation of Banach-space representations of G_R to holomorphic representations of G, we construct translation-invariant locally-convex algebras of entire functions on G (generalizing the classical spaces of entire functions of finite exponential order). The dual spaces of these algebras are naturally identified with algebras of left-invariant differential operators of infinite order on G. In connection with analytic continuation of unitary representations of G_R, we study the convex cone of entire functions on G whose restrictions to G_R are positive-definite, and determine the minimal order of growth at infinity of such functions.     

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.     

On the equivalence of the Euler-Pommier operators in spaces of analytic functions

In the space A (θ) of all one-valued functions f(z) analytic in an arbitrary region G ? ? (0 ∈ G) with the topology of compact convergence, we establish necessary and sufficient conditions for the equivalence of the operators L ₁=α _n z ⁿ Δ ⁿ + ... + α₁ zΔ+α₀ E and L ₂= z ⁿ a _n (z)Δ ⁿ + ... + za ₁(z)Δ+a ₀(z)E, where δ: (Δ?)(z)=(f(z)-?(0))/z is the Pommier operator in A(G), n ∈ ?, α _n ∈ ?, a _k (z) ∈ A(G), 0≤k≤n, and the following condition is satisfied: Σ _j=s ^n?1 α _j+1 ∈ 0, s=0,1,...,n?1. We also prove that the operators z ^s+1Δ+β(z)E, β(z) ∈ A _R , s ∈ ?, and z ^s+1 are equivalent in the spaces A _R, 0?R?-∞, if and only if β(z) = 0.     

Enumeration of up-down sequences

Generalizing the notion of up-down permutations, the author considers sequences σ = (a₁, a₂, , α_N) of length N = s₂ + s₂ ++ s_n, where α_i ∈ {1, 2,n } and the element j occurs exactly s_j times. The repeated elements of a are labeled i, i′, i″, and it is assumed that they occur in a m natural order. Generating functions for the number of up-down sequences are constructed. Making use of the generating functions, explicit formulas for the number of up-down sequences are obtained.     

On multicyclic operators and the Vasjunin-Nikol'ski206-1206-1206-1discotheca

If A is a bounded linear multicyclic operator acting on a complex Banach spaceX, then thedisc of A is defined by: disc A = sup(R ∈ Cyc A) min{dimR′: R′ ? R, R′ ∈ Cyc A}, where Cyc A denotes the family of all finite dimensional subspacesR ofX such that X = (R+AR+A ² R+?)^?. It is shown that if the set {λ ∈ ?: dim ker (λ-A)^* ≥ n} has nonempty interior (in particular, if A is a Fredholm operator of index -n), then disc A ≥ n+1. This result affirmatively answers a question of V.I. Vasjunin and N.K. Nikol'skiï. In the case whenX is a Hilbert space, it is shown that the set of all operators A such that A is n-multicyclic, but disc A =∞, is dense in the set of all n-multicyclic operators. If M_λ = "multiplication by λ" acting on the disk algebra (and many other spaces of continuous and/or analytic functions), then M_λ is cyclic, but disc M_λ = ∞. However, the analogous result is false if the disk algebra is replaced by the algebra of functions analytic on the disk and smooth on the boundary, or algebras of Lipschitz functions. If T is a multicyclic unicellular operator, then T is cyclic and disc T=1.     

Comparison of the best uniform approximations of analytic functions in the disk and on its boundary

Denote by C _A the set of functions that are analytic in the disk |z| < 1 and continuous on its closure |z| ≤ 1; let ? _n , n = 0, 1, 2, ..., be the set of rational functions of degree at most n. Denote by R _n (f) (R _n (f) _A ) the best uniform approximation of a function f ∈ C _A on the circle |z| = 1 (in the disk |z| ≤ 1) by the set ? _n . The following equality is proved for any n ≥ 1: sup{R _n (f) _A /R _n (f): f ∈ C _A ? ? _n } = 2. We also consider a similar problem of comparing the best approximations of functions in C _A by polynomials and trigonometric polynomials.     

A generalization of N-matrices

Ky Fan defines an N-matrix to be a matrix of the form A = tI ? B, B ? 0, λ < t < ?(B), where ?(B) is the spectral radius of B and λ is the maximum of the spectral radii of all principal submatrices of B of order n ? 1. In this paper, we define the closure (N₀-matrices) of N-matrices by letting λ ? t. It is shown that if A ∈ Z and A^-1 < 0, then A ∈ N. Certain inequalities of N-matrices are shown to hold for N₀-matrices, and a method for constructing an N-matrix from an M-matrix is given.     

On stability of the homogeneity condition

Let ? be a function defined on a cone S with the values in a sequentially complete locally convex linear topological Hausdorff space Y. If there exist a bounded subset V of Y and an open interval (a, b) ? (1,∞) such that for all x ∈ S and every A ∈ (a, b) the condition λ^?1 ?(λx) ? ?(x) ∈ V holds, then there exists a unique positively homogeneous mapping F: S → Y such that the difference F(x) ? ?(x) is uniformly bounded on S.     

Identity theorem for bounded p-adic meromorphic functions

Let K be a complete ultrametric algebraically closed field. We investigate several properties of sequences (an)_n∈N in a disk d(0,R⁻) with regards to bounded analytic functions in that disk: sequences of uniqueness (when f(an)=0∀n∈N implies f=0), identity sequences (when limn→+∞f(an)=0 implies f=0) and analytic boundaries (when lim supn→∞|f(an)|=‖f‖). Particularly, we show that identity sequences and analytic boundary sequences are two equivalent properties. For certain sequences, sequences of uniqueness and identity sequences are two equivalent properties. A connection with Blaschke sequences is made. Most of the properties shown on analytic functions have continuation to meromorphic functions.     

Functional calculus of Hermitian elements and Bernstein inequalities

An element a of a unital Banach algebra A is said to be Hermitian if ‖ exp(ita)‖ = 1 for t ∈ ?. We consider some problems concerned with the functional calculus of Hermitian elements and related to estimates for the norm of ?(a), where ? is an admissible function (symbol). Let K be a compact set in ?, and let a be a Hermitian element whose spectrum coincides with K. Then ‖? (a)‖_A ≤ ‖?(D)‖_K, where D is the differential operator ?id/dx and ‖?(D)‖_K is the norm of ?(D) in the Bernstein space B _K of L ^∞(?)-functions whose Fourier transforms are supported in K. We find a differential equation for the extremals of ?(D) and describe them explicitly in the case of an arbitrary complex polynomial ?.     

Benford’s law and distribution functions of sequences in (0, 1)

Applying the theory of distribution functions of sequences x _n ∈ [0, 1], n = 1, 2, ..., we find a functional equation for distribution functions of a sequence x _n and show that the satisfaction of this functional equation for a sequence x _n is equivalent to the fact that the sequence x _n to satisfies the strong Benford law. Examples of distribution functions of sequences satisfying the functional equation are given with an application to the strong Benford law in different bases. Several direct consequences from uniform distribution theory are shown for the strong Benford law.     

Conditions for the completeness of the system of polynomials

We consider the space A₂(K,γ) of functions which are analytic in the unit disc K and squaresummable in K with respect to plane Lebesgue measureσ with weightγ=¦D¦², D∈ A₂(K, 1), D(z) ≠ 0, z ∈ K. We establish the inequality $$\smallint _K |Dg|^2 u d\sigma \leqslant \smallint _K u d\sigma ,$$ where g represents the distance from 1/D to the closure of the polynomials [in the metric of A₂(K,γ)] and u is any function which is harmonic and nonnegative in K. By means of this inequality we obtain sufficient conditions for the completeness of the system of polynomials in A₂(K,γ) in terms of membership of certain functions of D in the class H₂ (Hardy-2).