Laurent expansions for certain functions defined by Dirichlet series

Summary The Poisson summation formula is employed to find the Laurent expansions of the Dirichlet seriesF(s, c) = _{n = 0} exp[–(n + c)^1/2 s] andG(s, c) = _{n = 0} (–1) ⁿ exp[–(n + c)^1/2 s] (0c<1) abouts = 0. The Laurent expansions ofF(s, c) andG(s, c) are convergent respectively for 0 < |s| < and |s| < , and define the analytic continuation of the Dirichlet series to the half-plane Res < 0.     

Padé approximations to certain power series

Summary An explicit identity involvingQ _n (q ⁱ z) (i = 0, 1,, 4) is shown, whereQ _n (z) is the denominator of thenth Padé approximant to the functionf(z) = _k=0 q ^1/2k(k–1 Z ^k . By using the Padé approximations, irrationality measures for certain values off(z) are also given.

     

On the periodic solutions of the second-order wave equations. V

It is established that the linear problemu _u –a ² u _xx =g(x,t),u(0,t) =u(x, t + T) =u(x,t) is always solvable in the function spaceA = {g:g(x,t) =g(x,t+T) =g( –x,t) = –g(–x,t)} provided thataTq = (2p – 1) and (2p – 1,q) = 1, wherepandq are integer numbers. To prove this statement, an exact solution is constructed in the form of an integral operator, which is used to prove the existence of a solution of a periodic boundary-value problem for a nonlinear second-order wave equation. The results obtained can be used when studying the solutions to nonlinear boundary-value problems by asymptotic methods.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 45, No. 8, pp. 1115–1121, August, 1993.     

Locally homogeneous Riemannian manifolds and Cartan triples

Ann-dimensional Cartan triple is a triple (g, , ) consisting of a Lie subalgebra g of so(n) (endowed with the Killing form), a linear map : ⁿ g and a bilinear antisymmetric map ²( ⁿ , g), which together satisfy (1.25)–(1.28) of Section 1. LetM _n be the set ofmaximal n-dimensional Cartan triples, and letA _n be thenatural action of the orthogonal group O(n) onM _n (Section 3). One shows that there is a bijective mapping from the set of local isometry classes ofn-dimensional locally homogeneous Riemannian manifolds to the set of orbits ofA _n (Theorem 3.1(a)). Under this bijection, the classes of homogeneous Riemannian manifolds correspond to orbits ofclosed Cartan triples.     

Thermodynamic formalism of transcendental entire maps of finite singular type

We build a version of a thermodynamic formalism for maps of the form f(z) = ∑ _{j = 0} ^{p + q} a _j e ^(j−p)z where p, q > 0 and . We show in particular the existence and uniqueness of (t,α)-conformal measures and that the Hausdorff dimension HD(J _f ^r ) = h is the unique zero of the pressure function t ↦ P(t) for t > 1, where the set J _f ^r is the radial Julia set. Partially supported by NSF Grant DMS 0100078. Partially supported by Warsaw University of Technology Grant No. 504G11200023000, Polish KBN Grant No. 2PO3A03425 and Chilean FONDECYT Grant No. 11060280.     

Theq-gamma function forx<0

F. H. Jackson defined aq analogue of the gamma function which extends theq-factorial (n!) _q =1(1+q)(1+q+q ²)...(1+q+q ²+...+q ^n–1) to positivex. Askey studied this function and obtained analogues of most of the classical facts about the gamma function, for 0<q<1. He proved an analogue of the Bohr-Mollerup theorem, which states that a logarithmically convex function satisfyingf(1)=1 andf(x+1)=[(q ^x –1)/(q–1)]f(x) is in fact theq-gamma function He also studied the behavior of _q asq changes and showed that asq1^–, theq-gamma function becomes the ordinary gamma function forx>0.I proved many of these results forq>1. The current paper contains a study of the behavior of _q (x) forx<0 and allq>0. In addition to some basic properties of _q , we will study the behavior of the sequence {x _n (q)} of critical points asn orq changes.     

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.     

Pseudo unitary conformal groups and Clifford algebras for standard pseudo hermitian spaces

This paper, self-contained, deals with pseudo-unitary spin geometry. First, we present pseudo-unitary conformal structures over a 2n-dimensional complex manifold V and the corresponding projective quadrics for standard pseudo-hermitian spaces H_p,q. Then we develop a geometrical presentation of a compactification for pseudo-hermitian standard spaces in order to construct the pseudo-unitary conformal group of H_p,q. We study the topology of the projective quadrics and the “generators” of such projective quadrics. Then we define the space S of spinors canonically associated with the pseudo-hermitian scalar product of signature (2ⁿ⁻¹, 2ⁿ⁻¹). The spinorial group Spin U(p,q) is imbedded into SU(2ⁿ⁻¹, 2ⁿ⁻¹). At last, we study the natural imbeddings of the projective quadrics      

Formulas for the Inverses of Toeplitz Matrices with Polynomially Singular Symbols

We consider large finite Toeplitz matrices with symbols of the form (1– cos )^p f() where p is a natural number and f is a sufficiently smooth positive function. By employing techniques based on the use of predictor polynomials, we derive exact and asymptotic formulas for the entries of the inverses of these matrices. We show in particular that asymptotically the inverse matrix mimics the Green kernel of a boundary value problem for the differential operator Submitted: June 20, 2003     

A landau-type construction concerning (L)′ ⊂ L

Let 1 ? p < ∞ and 1/p + 1/q = 1. For a locally finite measure space (X, S, μ) and a measurable complex-valued function f ∉ L^q functions g ∈ L^p may be constructed explicitly which satisfy

     

Interpolating them-th power ofx at the zeros of then-th Chebyshev-polynomial yields an almost best Chebyshev-approximation

LetX={x ₁,x ₂,..., _n }I=[–1, 1] and . ForfC ₁(I) definef* byf–p _f =f*, wherep _f denotes the interpolation-polynomial off with respect toX. We state some properties of the operatorf f*. In particular, we treat the case whereX consists of the zeros of the Chebyshev polynomialT _n (x) and obtain x ^m –p _x ^m8eE _n–1(x ^m ), whereE _n–1(f) denotes the sup-norm distance fromf to the polynomials of degree less thann. Finally we state a lower estimate forE _n (f) that omits theassumptionf ⁽ⁿ⁺¹⁾>0 in a similar estimate of Meinardus.     

A generalization of Ostrowski's theorem on ultrametric inequalities

Summary We first characterize all the ultrametric functionsf on (assuming both thatf(–x)=f(x) and thatf(x)=0 if and only ifx=0) and then, among these functions, we describe those satisfying the functional equationf(x)·f(x ^–1)=1, for all nonzerox in .Dedicated to the memory of Alexander M. Ostrowski on the occasion of the 100th anniversary of his birth     

On bounds for the range of ordered variates II

Letx ₁, ,x _n be real numbers with ₁ ⁿ x _j =0, |x ₁ ||x ₂ ||x _n |, and ₁ ⁿ f(|x _i |)=A>0, wheref is a continuous, strictly increasing function on [0, ) withf(0)=0. Using a generalized Chebycheff inequality (or directly) it is easy to see that an upper bound for |x _m | isf ^–1 (A/(n–m+1)). If (n–m+1) is even, this bound is best possible, but not otherwise. Best upper bounds are obtained in case (n–m+1) is odd provided either (i)f is strictly convex on [0, ), or (ii)f is strictly concave on [0, ). Explicit best bounds are given as examples of (i) and (ii), namely the casesf(x)=x ^p forp>1 and 0<p<1 respectively.     

Arithmetical identities of the Brauer-Rademacher type

Summary LetA be a regular arithmetical convolution andk a positive integer. LetA _k (r) = {d: d ^k A(r ^k )}, and letf A _k g denote the convolution of arithmetical functionsf andg with respect toA _k . A pair (f, g) of arithmetical functions is calledadmissible if(f A _k g)(m) 0 for allm and if the functions satisfy an arithmetical functional equation which generalizes the Brauer—Rademacher identity. Necessary and sufficient conditions are found for a pair (f, g) of multiplicative functions to be admissible, and it follows that, if(f A _k g)(m) 0 f(m) for allm, then (f, g) is admissible if and only if itsdual pair (f A _k g, g ^–1 ) is admissible.Iff andg ^–1 areA _k -multiplicative (a condition stronger than being multiplicative), and(f A _k g)(m) 0 for allm, then (f, g) is admissible, calledCohen admissible. Its dual pair is calledSubbarao admissible. If (f A _k g) ^–1 (m) 0 itsinverse pair (g ^–1 , f ^–1 ) is also Cohen admissible.Ifg is a multiplicative function then there exists a multiplicative functionf such that the pair (f, g) is admissible if and only if for everyA _k -primitive prime powerp ⁱ either (i)g(p ⁱ ) 0 or (ii)g(p ) = 0 for allp havingA _k -type equal tot. There is a similar kind of characterization of the multiplicative functions which are first components of admissible pairs of multiplicative functions. IfA _k is not the unitary convolution, then there exist multiplicative functionsg which satisfy (i) and are such that neitherg norg ^–1 isA _k -multiplicative: hence there exist admissible pairs of multiplicative functions which are neither Cohen admissible nor Subbarao admissible.An arithmetical functionf is said to be anA _k -totient if there areA _k -multiplicative functionsf _T andf _V such thatf = f _T A _k f _V ^-1 Iff andg areA _k -totients with(f A _k g)(m) 0 for allm, and iff _V = g _T , then the pair (f, g) is admissible. The class of such admissible pairs includes many pairs which are neither Cohen admissible nor Subbarao admissible. If (f, g) is a pair in this class, and iff(m), (f A _k g) ^–1 (m), g ^–1 (m),f ^–1 (m) andg(m) are all nonzero for allm, then its dual, its inverse, the dual of its inverse, the inverse of its dual and the inverse of the dual of its inverse are also admissible, and in many cases these six pairs are distinct.A number of related results, and many examples, are given.     

Supernumary polylogarithmic ladders and related functional equations

Summary The nature of the polylogarithmic ladder is briefly reviewed, and its close relationship to the associated cyclotomic equation explained. Generic results for the base determined by the family of equationsu ^p +u ^q = 1 are developed, and many new supernumary ladders, existing for particular values ofp andq, are discussed in relation to theirad hoc cyclotomic equations. Results for ordersn from 6 through 9, for which no relevant functional equations are known, are reviewed; and new results for the base , where ³ + = 1, are developed through the sixth order.Special results for the exponentp from 4 through 6 are determined whenever a new cyclotomic equation can be constructed. Only the equationu ⁵+u ³ = 1 has so far resisted this process. The need for the constraint (p,q) = 1 is briefly considered if redundant formulas are to be avoided.The equationu ^6m+1 +u ^6r–1 = 1 is discussed and some valid results deduced. This equation is divisible byu ² –u + 1, and the quotient polynomial is useful for constructing cyclotomic equations. The casem = 1,r = 2 is the first example encountered for which no valid ladders have yet been found.New functional equations to give the supernumary -ladders of index 24 are developed, but their construction runs into difficulty at the third order, apparently requiring the introduction of an adjoint set of variables that blocks the extension to the fourth order.A demonstration, based on the indices of existing accessible and supernumary ladders, indicates that functional equations based on arguments ±z ^m (1–z) ^r (1 +z) ^s are not capable of extension to the sixth order.There are some miscellaneous supernumary ladders that seem incapable, at this time, of analytic proof, and these are briefly discussed. In conclusion, applications of ladders are considered, and attention drawn to the existence of ladders with the base on the unit circle giving rise to Clausenfunction formulas which may play an important role inK-theory.     

Morse theory for analytic functions on surfaces

In this paper we deal with analytic functions defined on a compact two dimensional Riemannian surface S whose critical points are semi degenerated (critical points having a non identically vanishing Hessian). To any element p of the set of semi degenerated critical points Q we assign an unique index which can take the values −1, 0 or 1, and prove that Q is made up of finitely many (critical) points with non zero index and embedded circles. Further, we generalize the famous Morse result by showing that the sum of the indexes of the critical points of f equals χ (S), the Euler characteristic of S. As an intermediate result we locally describe the level set of f near a point p ∈Q. We show that the level set f ⁻¹(f (p)) is either a) the set {p}, or b) the graph of a smooth curve passing through p, or c) the graphs of two smooth curves tangent at p or d) the graphs of two smooth curves building at p a cusp shape.     

Global conservative solutions of the generalized hyperelastic-rod wave equation

We prove existence of global and conservative solutions of the Cauchy problem for the nonlinear partial differential equation where f is strictly convex or concave and g is locally uniformly Lipschitz. This includes the Camassa-Holm equation (f(u)=u²/2 and g(u)=κu+u²) as well as the hyperelastic-rod wave equation (f(u)=γu²/2 and g(u)=(3−γ)u²/2) as special cases. It is shown that the problem is well-posed for initial data in H¹(R) if one includes a Radon measure that corresponds to the energy of the system with the initial data. The solution is energy preserving. Stability is proved both with respect to initial data and the functions f and g. The proof uses an equivalent reformulation of the equation in terms of Lagrangian coordinates.     

Zur numerischen Lösung des ersten biharmonischen Randwertproblems

Summary The system of equations resulting from a mixed finite element approximation of the first biharmonic boundary value problem is solved by various preconditioned Uzawa-type iterative methods. The preconditioning matrices are based on simple finite element approximations of the Laplace operator and some factorizations of the corresponding matrices. The most efficient variants of these iterative methods require asymptoticallyO(h ^–0,5In ^–1) iterations andO(h ^–p–0,5In ^–1) arithmetic operations only, where denotes the relative accuracy andh is a mesh-size parameter such that the number of unknowns grows asO(h ^–p ),h0.

     

A functional inequality for real-analytic functions

Summary Forf ( C ⁿ() and 0 t x letJ _n (f, t, x) = (–1)ⁿ f(–x)f ⁽ⁿ⁾(t) +f(x)f ⁽ⁿ⁾ (–t). We prove that the only real-analytic functions satisfyingJ _n (f, t, x) 0 for alln = 0, 1, 2, are the exponential functionsf(x) = c e ^x,c, . Further we present a nontrivial class of real-analytic functions satisfying the inequalitiesJ ₀ (f, x, x) 0 and ₀ ^x (x – t)^{n – 1}J_n(f, t, x)dt 0 (n 1).