On best rational approximation of analytic functions

This paper contains some theorems related to the best approximation ρ_n(f;E) to a function f in the uniform metric on a compact set by rational functions of degree at most n. We obtain results characterizing the relationship between ρ_n(f;K) and ρ_n(f;E) in the case when complements of compact sets K and E are connected, K is a subset of the interior Ω of E, and f is analytic in Ω and continuous on E.     

Weak Asymptotics for the Generating Polynomials of the Stirling Numbers of the Second Kind

For the horizontal generating functions P_n(z)=∑ⁿ_k=1 S(n, k) z^k of the Stirling numbers of the second kind, strong asymptotics are established, as n→∞. By using the saddle point method for Q_n(z)=P_n(nz) there are two main results: an oscillating asymptotic for z(−e, 0) and a uniform asymptotic on every compact subset of \[−e, 0]. Finally, an Airy asymptotic in the neighborhood of −e is deduced.     

Dual Riemannian spaces of constant curvature on a normalized hypersurface

In this paper, the following results are obtained: 1) It is proved that, in the fourth order differential neighborhood, a regular hypersurface V _n−1 embedded into a projective-metric space K _n , n ≥ 3, intrinsically induces a dual projective-metric space $ \bar K_n $ \bar K_n . 2) An invariant analytical condition is established under which a normalization of a hypersurface V _n−1 ⊂ K _n (a tangential hypersurface $ \bar V_{n - 1} $ \bar V_{n - 1} ⊂ $ \bar K_n $ \bar K_n ) by quasitensor fields H _n ⁱ , H _i ($ \bar H_n^i $ \bar H_n^i , $ \bar H_i $ \bar H_i ) induces a Riemannian space of constant curvature. If the two conditions are fulfilled simultaneously, the spaces R _n−1 and $ \bar R_{n - 1} $ \bar R_{n - 1} are spaces of the same constant curvature $ K = - \tfrac{1} {c} $ K = - \tfrac{1} {c} . 3) Geometric interpretations of the obtained analytical conditions are given.     

Approximation of the unit step function by a linear combination of exponential functions

We approximate the unit step function, which equals 1 if t ε [0, T] and equals 0 if t > T, by functions of the form ∑_{n = 1}^N Ax_n^N e^−λ_n^t/T, where each λ_n is a given positive constant. We find the coefficients A_n^(N) by minimizing the integrated square of the difference between the unit step function and the approximating function. We first solve the specialized case where each λ_n = n. The resulting sum can be shown to converge in the mean to the unit step function as N → ∞. The general case is then solved and some interesting properties of the numbers A_n^(N) are noted.     

Subdivision Schemes and Refinement Equations with Nonnegative Masks

We consider the two-scale refinement equation f(x)=∑^N_n=0 c_nf(2x−n) with ∑_n c_2n=∑_n c_2n+1=1 where c₀, c_N≠0 and the corresponding subdivision scheme. We study the convergence of the subdivision scheme and the cascade algorithm when all c_n0. It has long been conjectured that under such an assumption the subdivision algorithm converge, and the cascade algorithm converge uniformly to a continuous function, if and only if only if 0<c₀, c_N<1 and the greatest common divisor of S={n: c_n>0} is 1. We prove the conjecture for a large class of refinement equations.     

Mappings of finite distortion: the degree of regularity

This paper investigates the self-improving integrability properties of the so-called mappings of finite distortion. Let K(x)1 be a measurable function defined on a domain ΩRⁿ, n2, and such that exp(βK(x))L_loc¹(Ω), β>0. We show that there exist two universal constants c₁(n),c₂(n) with the following property: Let f be a mapping in W_loc^1,1(Ω,Rⁿ) with |Df(x)|ⁿK(x)J(x,f) for a.e. xΩ and such that the Jacobian determinant J(x,f) is locally in L¹ log^−c₁(n)βL. Then automatically J(x,f) is locally in L¹ log^c₂(n)βL(Ω). This result constitutes the appropriate analog for the self-improving regularity of quasiregular mappings and clarifies many other interesting properties of mappings of finite distortion. Namely, we obtain novel results on the size of removable singularities for bounded mappings of finite distortion, and on the area distortion under this class of mappings.     

A full-invariant theorem and some applications

Let (X,τ₁) and (Y,τ₂) be two Hausdorff locally convex spaces with continuous duals X′ and Y′, respectively, L(X,Y) be the space of all continuous linear operators from X into Y, K(X,Y) be the space of all compact operators of L(X,Y). Let WOT and UOT be the weak operator topology and uniform operator topology on K(X,Y), respectively. In this paper, we characterize a full-invariant property of K(X,Y); that is, if the sequence space λ has the signed-weak gliding hump property, then each λ-multiplier WOT-convergent series ∑_iT_i in K(X,Y) must be λ-multiplier convergent with respect to all topologies between WOT and UOT if and only if each continuous linear operator T :(X,τ₁)→(λ^β,σ(λ^β,λ)) is compact. It follows from this result that the converse of Kalton's Orlicz–Pettis theorem is also true.     

A counterexample in the theory of best approximation

We give an example of a domain Ω with smooth boundary and with compact subsets K₁ and K₂, such that K₁ and K₂ have disjoint hulls, but such that there is no function u, harmonic on Ω, which is negative on K₁ and positive on K₂.     

Ahlfors-régularité des quasi-minima de Mumford–Shah

Let be an open set. We consider on Ω the competitors (U,K) for the reduced Mumford–Shah functional, that is to say the Mumford–Shah functional in which the -norm of U term is removed, where K is a closed subset of Ω and U is a function on ΩK with gradient in  . The main result of this paper is the following: there exists a constant c for which, whenever (U,K) is a quasi-minimizer for the reduced Mumford–Shah functional and B(x,r) is a ball centered on K and contained in Ω with bounded radius, the -measure of is bounded above by cr^N−1 and bounded below by c⁻¹r^N−1.     

On the Approximation of Positive Functions by Power Series, II

We consider positive functionsh=h(x) defined forxR⁺₀. Conditions for the existence of a power seriesN(x)=∑ c_nxⁿ,c_n0, with the propertyd₁h(x)/N(x)d₂, x0,for some constantsd₁, d₂R⁺, are investigated in [J. Clunie and T. Kövari,Canad. J. Math.20(1968), 7–20; P. Erd s and T. Kövari,Acta Math. Acad. Sci. Hung.7(1956), 305–316; U. Schmid,Complex Variables18(1992), 187–192; U. Schmid, J.Approx. Theory83(1995), 342–346]. In this paper, methods are discussed which allow for a given functionhthe construction of the coefficientsc_n,n ₀, for the above defined power seriesNand to find suitable constantsd₁andd₂. We also study the power seriesH(x)=∑ xⁿ/u_n, where we setu_n=sup{xⁿ/h(x), x0}, forn ₀, and the relation betweenhandHconcerning the above stated inequalities.     

Algebraic Approaches to Periodic Arithmetical Maps

A residue class a + n with weight λ is denoted by λ, a, n. For a finite system = {λ_s, a_s, n_s}^k_{s = 1} of such triples, the periodic map w (x) = ∑_{ns|x − as} λ_s is called the covering map of . Some interesting identities for those with a fixed covering map have been known; in this paper we mainly determine all those functions f : Ω → such that ∑^k_{s = 1} λ_sf(a_s + n_s ) depends only on w where Ω denotes the family of all residue classes. We also study algebraic structures related to such maps f, and periods of arithmetical functions ψ(x) = ∑^k_{s = 1} λ_se^2πia_sx/n_s and ω(x) = |{1 ≤ s ≤ k : (x + a_s, n_s) = 1}|.     

Some Infinite Families of Locally Partial Geometries Generalizing the Classical Laguerre Planes

Starting with a subgeometry Ω embedded in a β-dimensional projective space PG(β, q), β 1, we construct inductively a series of rank n residually connected geometries Γ^{(n, β, Ω)}, n β, by putting Γ^{(β, β, Ω)} = Ω and extending Γ^{(n - 1, β, Ω)} with a partial geometry.     

The n-cohomology of limits of discrete series

Let G be a semisimple Lie group which has a compact Cartan subgroup H, let K be a maximal compact subgroup of G containing H, and let n be the sum of the negative root spaces of G corresponding to an arbitrary choice of a positive root system of (G, H). We compute the n-cohomology of the K-finite vectors in a limit of a discrete series representation π of G. In the special case when π is a discrete series representation our result reduces to the result of W. Schmid. In the special case when π is a holomorphic limit we interpret its multiplicity in L²(ΓβG) cohomologically, where Γ is a discrete subgroup of G. In the general case we present a conjecture for this multiplicity.     

On the Uniform Approximation of a Class of Analytic Functions by Bruwier Series

For a class of analytic functions f(z) defined by Laplace–Stieltjes integrals the uniform convergence on compact subsets of the complex plane of the Bruwier series (B-series) ∑^∞_n=0 λ_n(f) , λ_n(f)=f⁽ⁿ⁾(nc)+cf⁽ⁿ⁺¹⁾(nc), generated by f(z) and the uniform approximation of the generating function f(z) by its B-series in cones |arg z|< is shown.     

The short range expansion

Let V_i be short range potential and λ_i(ε) analytic functions. We show that the Hamiltonians H_ε = −Δ + ε⁻²∑_{i = l}ⁿλ_i(ε)V_i((· − x_i)/ε converge in the strong resolvent sense to the point interactions as ε → 0, and if V_i have compact support then the eigenvalues and resonances of H_ε, which remains bounded as ε → 0, are analytic in ε in a complex neighborhood of zero. We compute in closed form the eigenvalues and resonances of H_ε to the first order in ε.     

A Remark on Self-Normalization for Dependent Random Variables

Let (X _t , t ∈ Z) be a stationary process, and let S _n = ∑_{1⩽ i⩽n} X _i . In this paper, we consider the central limit theorem for the self-normalized sequence S _n /U _n , where U _n ² = ∑_1⩽j⩽N Y _j ² , Y _j = ∑_{(j−1)m<i⩽jm} X _i , n = mN. We show how such a self-normalization works for AR(1) and MA(q) processes.__________Published in Lietuvos Matematikos Rinkinys, Vol. 45, No. 2, pp. 173–183, April–June, 2005.     

Universal entire functions with gap power series

Let be the family of all compact sets in which have connected complement. For K ε M we denote by A(K) the set of all functions which are continuous on K and holomorphic in its interior.Suppose that {z_n} is any unbounded sequence of complex numbers and let Q be a given sub-sequence of ₀.If Q has density Δ(Q) = 1 then there exists a universal entire function with lacunary power series

1. (1) (z) = ε^∞_{v = 0 v}Z^v, _v = 0 for v Q, which has for all K ε M the following properties simultaneously

2. (2) the sequence {(Z + Z_n)} is dense in A(K)

3. (3) the sequence { (ZZ_n)} is dense in A(K) if 0 K.

Also a converse result is proved: If is an entire function of the form (1) which satisfies (3), then Q must have maximal density Δ_max(Q) = 1.     

The structure of the algebraic eigenspace to the spectral radius of eventually compact, nonnegative integral operators

Let K be an eventually compact linear integral operator on L^p(Ω, μ), 1 p < ∞, with nonnegative kernel k(x, y), where the underlying measure μ is totally σ-finite on the domain set Ω when P = 1. This work extends the previous analysis of the author who characterized the distinguished eigenvalues of K and K^*, and the support sets for the eigenfunctions and generalized eigenfunctions belonging to the spectral radius of K or K^*. The characterizations of the support sets for the algebraic eigenspaces of K or K^* are phrased in terms of significant k-components which are maximal irreducible subsets of Ω and which yield a positive spectral radius for the integral operator defined by the restriction of k(x, y) to the Cartesian product of such sets. In this paper, we show that a basis for the functions, constituting the algebraic eigenspaces of K and K^* belonging to the spectral radius of K, can be chosen to consist of elements which are positive on their sets of support, except possibly on sets of measure less than some arbitrarily specified positive number. In addition, we present necessary and sufficient conditions, in terms of the significant k-components, for both K and K^* to possess a positive eigenfunction (a.e. μ) corresponding to the spectral radius, as well as necessary and sufficient conditions for the sequence γⁿKⁿg _p to converge whenever g 0, where − _p denotes the norm in L^p(Ω, μ), and γ₁ the smallest (in modulus) characteristic value of K. This analysis is made possible by introducing the concepts of chains, lengths of chains, height, and depth of a significant k-component as was done by U. Rothblum [Lin. Alg. Appl. 12 (1975), 281–292] for the matrix setting.     

An explicit growth condition for middle-degree cuspidal cohomology of arithmetically defined quaternionic hyperbolic n-manifolds

Let G/\mathbb Q{G/\mathbb Q} be the simple algebraic group Sp(n, 1) and G = G(N){\Gamma=\Gamma(N)} a principal congruence subgroup of level N ≥ 3. Denote by K a maximal compact subgroup of the real Lie group G(\mathbb R){G(\mathbb R)} . Then a double quotient G\G(\mathbb R)/K{\Gamma\backslash G(\mathbb R)/K} is called an arithmetically defined, quaternionic hyperbolic n-manifold. In this paper we give an explicit growth condition for the dimension of cuspidal cohomology H²ⁿ_cusp(G\G(\mathbb R)/K,E){H^{2n}_{cusp}(\Gamma\backslash G(\mathbb R)/K,E)} in terms of the underlying arithmetic structure of G and certain values of zeta-functions. These results rely on the work of Arakawa (Automorphic Forms of Several Variables: Taniguchi Symposium, Katata, 1983, eds. I. Satake and Y. Morita (Birkh?user, Boston), pp. 1–48, 1984).     

Tessellations of Homogeneous Spaces of Classical Groups of Real Rank Two

Let H be a closed, connected subgroup of a connected, simple Lie group G with finite center. The homogeneous space G/H has a tessellation if there is a discrete subgroup of G, such that acts properly discontinuously on G/H, and the double-coset space \G/H is compact. Note that if either H or G/H is compact, then G/H has a tessellation; these are the obvious examples.It is not difficult to see that if G has real rank one, then only the obvious homogeneous spaces have tessellations. Thus, the first interesting case is when G has real rank two. In particular, Kulkarni and Kobayashi constructed examples that are not obvious when G=SO(2, 2n)° or SU(2, 2n). Oh and Witte constructed additional examples in both of these cases, and obtained a complete classification when G=SO(2, 2n)°. We simplify the work of Oh-Witte, and extend it to obtain a complete classification when G=SU(2, 2n). This includes the construction of another family of examples.The main results are obtained from methods of Benoist and Kobayashi: we fix a Cartan decomposition G=K A ⁺ K, and study the intersection (K H K)A ⁺. Our exposition generally assumes only the standard theory of connected Lie groups, although basic properties of real algebraic groups are sometimes also employed; the specialized techniques that we use are developed from a fairly elementary level.