Some Integrals of Gamma, Polygamma and Volterra Functions

Infinite integrals of the gamma and polygamma functions areexpressed in terms of the Volterra and related functions usingthe Laplace transformation method. A number of infinite, convolution,indefinite and definite integrals of v(x), v(x, ), µ(x,ß) and µ(x, ß, ) has been evaluated.A short table of the Volterra function v(x) in the range 0 x 10–0 is presented.     

Exponential decay of eigenfunctions and generalized eigenfunctions of a non-self-adjoint matrix Schrodinger operator related to NLS

We study the decay of eigenfunctions of the non-self-adjoint, for µ > 0, corresponding to eigenvalues in the strip -µ < Re E < µ.     

Beardon's Diophantine Equations and Non-Free Mobius Groups

Let µ be a real number. The Möbius group G_µis the matrix group generated by It is known that G_µ is free if |µ| 2 (see [1])or if µ is transcendental (see [3, 8]). Moreover, thereis a set of irrational algebraic numbers µ which is densein (–2, 2) and for which G_µ is non-free [2, p. 528].We may assume that µ > 0, and in this paper we considerrational µ in (0, 2). The following problem is difficult. Let G^nf denote the set of all rational numbers µ in (0,2) for which G_µ is non-free. In 1969 Lyndon and Ullman[8] proved that G^nf contains the elements of the forms p/(p²+ 1) and 1/(p + 1), where p = 1, 2, ..., and that if µ₀ G^nf, then µ₀/p G^nf for p = 1, 2, .... In 1993 Beardon[2] studied problem (P) by means of the words of the form A^rB^s A^t and A^r B^s A^t B^u A^v, and he obtained a sufficient conditionfor solvability of (P), included implicitly in [2, pp. 530–531],by means of the following Diophantine equations: 1991 Mathematics SubjectClassification 20E05, 20H20, 11D09.     

The Milnor number of a function on a space curve germ

Given a finite function germ f:(X, 0) (, 0) on a reduced spacecurve singularity (X, 0), we show that µ(f) = µ(X,0) + deg(f) – 1. Here, µ(f) and µ(X, 0) denotethe Milnor numbers of the function and the curve, respectively,and deg(f) is the degree of f. We use this formula to obtainseveral consequences related to the topological triviality andWhitney equisingularity of families of curves and families offunctions on curves.     

On the Algorithmic Complexity of Minkowski's Reconstruction Theorem

In 1903 Minkowski showed that, given pairwise different unitvectors µ₁, ..., µ_m in Euclidean n-space Rⁿ whichspan Rⁿ, and positive reals µ₁, ..., µ_m such that^m_i=1µ_iµ_i = 0, there exists a polytope P in Rⁿ, uniqueup to translation, with outer unit facet normals µ₁, ...,µ_m and corresponding facet volumes µ₁, ..., µ_m.This paper deals with the computational complexity of the underlyingreconstruction problem, to determine a presentation of P asthe intersection of its facet halfspaces. After a natural reformulationthat reflects the fact that the binary Turing-machine modelof computation is employed, it is shown that this reconstructionproblem can be solved in polynomial time when the dimensionis fixed but is #P-hard when the dimension is part of the input. The problem of ‘Minkowski reconstruction’ has variousapplications in image processing, and the underlying data structureis relevant for other algorithmic questions in computationalconvexity.     

A Class of Functional Equations on a Locally Compact Group

Let G be a locally compact group not necessarily unimodular.Let µ be a regular and bounded measure on G. We study,in this paper, the following integral equation, E(µ) This equation generalizes the functional equation for sphericalfunctions on a Gel'fand pair. We seek solutions in the spaceof continuous and bounded functions on G. If is a continuousunitary representation of G such that (µ) is of rank one,then tr((µ)(x)) is a solution of E(µ). (Here, trmeans trace). We give some conditions under which all solutionsare of that form. We show that E(µ) has (bounded and)integrable solutions if and only if G admits integrable, irreducibleand continuous unitary representations. We solve completelythe problem when G is compact. This paper contains also a listof results dealing with general aspects of E(µ) and propertiesof its solutions. We treat examples and give some applications.     

Periodic Solutions of an Integrodifferential Equation Modelling Resonant Sloshing

This paper considers the problem of finding solutions of which have period 2 and mean 0. The equation models periodicgravity waves on the surface of a shallow rectangular tank whichis oscillating longitudinally near the primary resonance frequency.The singular integral memory term is well behaved, and the Lyapunov-Schmidtprocedure produces bifurcation equations to which the analysisof Hale & Rodrigues on the damped Duffing equation is directlyapplicable. The multiplicity of all small solutions of the equationis found as (µ₁µ₂µ₃) varies in a full neighbourhoodof 0 in R³.     

The Derivation Problem for Group Algebras of Connected Locally Compact Groups

The derivation problem for a locally compact group G is to decidewhether for each derivation D from L¹(G) into L¹(G) there isa bounded measure µM(G) with D(a) = aµ–µa(a L¹(G)). In this paper we obtain an affirmative answer forthe case of connected groups. To explain the contents of thispaper we give an equivalent formulation of the problem. Supposethat the group G acts as a group of homeomorphisms of the locallycompact space X. Related to this there is an action of G onM(X). A bounded crossed homomorphism from G to M(X) is a map with bounded range and satisfying (gh) = g(h)+(g) (g, h G).The problem for bounded crossed homomorphisms is to decide iffor each such there is an element µ of M(X) with (g)= gµ– µ (g G). The derivation problem isequivalent to this bounded crossed homomorphism problem forthe special case X = G where G acts on X by conjugation (togetherwith some mild continuity hypotheses about the map :GM(X) whichare often automatically satisfied). The bounded crossed homomorphismproblem always has a positive solution if G is amenable anda closely related calculation shows that in solving the boundedcrossed homomorphism problem we need only solve it for functions which are zero on H where H is a given amenable subgroup ofG. It can happen that this condition of being zero on H forces to be zero even when H is a comparatively small subgroup ofG. If h is an element of G such that ‘hⁿx ’ asn for all x X then for any two measures µ and , forlarge values of n, µ and hⁿ have little overlap so ||µ+ hⁿ|| ||µ|| + ||||. Thus if H is the subgroup generatedby h, for any g G .     

Duality, triality and complementary extremum principles in non-convex parametric variational problems with applications

This paper presents a reasonably complete duality theory anda nonlinear dual transformation method for solving the fullynonlinear, non-convex parametric variational problem inf{W(u- µ) - F(u)}, and associated nonlinear boundary valueproblems, where is a nonlinear operator, W is either convexor concave functional of p = u, and µ is a given parameter.Detailed mathematical proofs are provided for the complementaryextremum principles proposed recently in finite deformationtheory. A method for obtaining truly dual variational principles(without a dual gap and involving the dual variable p* of uonly) in n-dimensional problems is proposed. It is proved thatfor convex W(p), the critical point of the associated LagrangianL_µ(u, p*) is a saddle point if and only if the so-calledcomplementary gap function is positive. In this case, the systemhas only one dual problem. However, if this gap function isnegative, the critical point of the Lagrangian is a so-calledsuper-critical point, which is equivalent to the Auchmuty'sanomalous critical point in geometrically linear systems. Wediscover that, in this case, the system may have more than oneprimal-dual set of problems. The critical point of the Lagrangianeither minimizes or maximizes both primal and dual problems.An interesting triality theorem in non-convex systems is proved,which contains a minimax complementary principle and a pairof minimum and maximum complementary principles. Applicationsin finite deformation theory are illustrated. An open problemleft by Hellinger and Reissner is solved completely and a purecomplementary energy principle is constructed. It is provedthat the dual Euler-Lagrange equation is an algebraic equation,and hence, a general analytic solution for non-convex variational-boundaryvalue problems is obtained. The connection between nonlineardifferential equations and algebraic geometry is revealed.     

POLYNOMIAL NUMERICAL INDEX FOR SOME COMPLEX VECTOR-VALUED FUNCTION SPACES

We study the relation between the polynomial numerical indicesof a complex vector-valued function space and the ones of itsrange space. It is proved that the spaces C(K, X) and L(µ,X) have the same polynomial numerical index as the complex Banachspace X for every compact Hausdorff space K and every -finitemeasure µ, which does not hold any more in the real case.We give an example of a complex Banach space X such that, forevery k 2, the polynomial numerical index of order k of X isthe greatest possible, namely 1, while the one of X** is theleast possible, namely k^k/(1–k). We also give new examplesof Banach spaces with the polynomial Daugavet property, namelyL(µ, X) when µ is atomless, and C_w(K, X), C_w*(K,X*) when K is perfect.     

Recurrence and asymptotics for orthonormal rational functions on an interval

^{Let µ be a positive bounded Borel measure on a subsetI of the real line and = {₁, ..., _n} a sequence of arbitrary ‘complex’poles outside I. Suppose {₁, ..., _n} is the sequence of rationalfunctions with poles in orthonormal on I with respect to µ. First, we are concernedwith reducing the number of different coefficients in the three-termrecurrence relation satisfied by these orthonormal rationalfunctions. Next, we consider the case in which I = [–1, 1] and µ satisfies the Erdos–Turán conditionµ' > 0 a.e. on I (where µ' is the Radon–Nikodymderivative of the measure µ with respect to the Lebesguemeasure) to discuss the convergence of _n+1(x)/_n(x) as n tendsto infinity and to derive asymptotic formulas for the recurrencecoefficients in the three-term recurrence relation. Finally,we give a strong convergence result for _n(x) under the morerestrictive condition that µ satisfies the Szeg condition(1 – x2)–1/2 log µ'(x) L1([– 1, 1]).}     

Decomposition of weighted Triebel-Lizorkin and Besov spaces on the ball

Weighted Triebel–Lizorkin and Besov spaces on the unitball B^d in ^d with weights w_µ(x)=(1–|x|²)^µ–1/2,µ0, are introduced and explored. A decomposition schemeis developed in terms of almost exponentially localized polynomialelements (needlets) {}, {} and it is shown that the membershipof a distribution to the weighted Triebel–Lizorkin orBesov spaces can be determined by the size of the needlet coefficients{f, } in appropriate sequence spaces.     

Multivariate R-O Varying Measures Part I: Uniform Bounds

A finite Borel measure µ on R^d is called R-O varying withindex F if there exist a GL(R^d)-valued function f varying regularlywith index (–F), an increasing function k: (0, ) (0,) with k(t) and k(t + 1)/k(t) c 1 as t , and a -finitemeasure on R^d\0 such that R-O varying measures generalize regularly varying measures introducedby Meerschaert (see M. M. Meerschaert, ‘Regular variationin R^k’, Proc. Amer. Math. Soc. 102 (1988) 341–348)and have numerous applications in limit theorems for probabilitymeasures. For an R-O varying measure µ and – < let denote the tail- andtruncated moment functions of µ in the direction || =1. The purpose of this paper is to show that R-O variation ofa measure implies sharp bounds on the growth rate of the tail-and truncated moment functions depending on the real parts ofthe eigenvalues of the index F along a compact set of directions.Furthermore, bounds on the ratio of these functions for certainvalues of a and b are obtained. 1991 Mathematics Subject Classification:60B10, 28C15.     

A sufficient condition for the subordination principle in ergodic optimization

Let T : X X be a continuous surjection of a topologicalspace, and let f : X be upper semi-continuous. Wewish to identify those T-invariant measures µ which maximize f dµ. We call such measures f-maximizing, and denotethe maximum by ß(f). The study of such measures andtheir properties has recently been dubbed ergodic optimization.A first step to understanding the structure of a function'smaximizing measures is to establish the following subordinationprinciple defined by T. Bousch: if µ and are T-invariantmeasures such that supp supp µ and µ is f-maximizing,then is also f-maximizing. Previous authors have approachedthis result by constructing a continuous function g : X such that f – ß(f) g T – g. We providea sufficient condition for the subordination principle whichhas advantages when the space X is noncompact.     

Necessary and Sufficient Conditions for Exponential Stability and Ultimate Boundedness of Systems Governed by Stochastic Partial Differential Equations

Consider the following infinite dimensional stochastic evolutionequation over some Hilbert space H with norm |·|: It is proved that under certain mild assumptions, the strongsolution X_t(x₀)VHV*, t 0, is mean square exponentially stableif and only if there exists a Lyapunov functional (·,·):HxR₊R¹ which satisfies the following conditions: (i)c₁|x|²–k₁e^–µ₁t(x,t)c₂|x|²+k₂+k₂e^–µ₂t; (ii) L(x,t)–c₃(x,t)+k₃e^–µ₃t, xV, t0; where L is the infinitesimal generator of the Markov processX_t and c_i, k_i, µ_i, i = 1, 2, 3, are positive constants.As a by-product, the characterization of exponential ultimateboundedness of the strong solution is established as the nulldecay rates (that is, µ_i = 0) are considered.     

The Cauchy Transform * (Mathematical Surveys and Monographs 125) * By Joseph A. Cima, Alec L. Matheson and William T. Ross: * 272 pp., {pound}43.75 (US$75), ISBN 0-8218-3871-7 * (American Mathematical Society, Providence, RI, 2006).

In the border country between complex analysis, harmonic analysisand differential equations, there can be found many populartransforms, of which those of Fourier and Laplace are probablythe most commonly used. This book is concerned with anotherone, which is more rarely sighted. The Cauchy transform of a finite complex measure µ definedon the unit circle in the complex plane is the analytic functionKµ defined by

forz in the unit disc . Its name derives from the observation thatCauchy's integral formula, when applied to an analytic functionf, is equivalent to the statement that the Cauchy transformof the measure is just     

Recurrence, Dimension and Entropy

Let (_A, T) be a topologically mixing subshift of finite typeon an alphabet consisting of m symbols and let :_A R^d be a continuousfunction. Denote by (x) the ergodic limit when the limit exists. Possible ergodic limits arejust mean values dµ for all T-invariant measures. Forany possible ergodic limit , the following variational formulais proved: where h_µ denotes the entropy of µ and h_top denotestopological entropy. It is also proved that unless all pointshave the same ergodic limit, then the set of points whose ergodiclimit does not exist has the same topological entropy as thewhole space _A     

The ({alpha}+2{beta})-Inequality on a Torus

A theorem of Macbeath asserts that µ(A+B)min(1, µ(A)+µ(B))for any subsets A and B of a finite-dimensional torus. We conjecturethat, when the obvious exceptions are excluded, a stronger inequality holds, and we prove this conjecture under some technical restrictions.     

Kernels of Toeplitz operators,smooth functions,and Bernstein type inequalities

Let ϕ be a unimodular function on the unit circle and let K_p(ϕ) denote the kernel of the Toeplitz operator T_ϕ in the Hardy space H^p, p≥1; . Suppose K_p(ϕ)≠{0}. The problem is to find out how the smoothness of the symbol ϕ influences the boundary smoothness of functions in K_p(ϕ). One of the main results is as follows. Theorem 1 Let 1<p, q<+∞, 1<r≤+∞, q⁻¹=p⁻¹+r⁻¹. Suppose |ϕ|≡1 on and ϕ∈W _r ¹ (i.e., ). Then K_p(ϕ)⊂W _q ¹ . Moreover, for any f∈K_p(ϕ) we have ‖f′‖_q≤c(p, r)‖ϕ′‖_r ‖f‖. Bibliography: 19 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 201, 1992, pp. 5–21. Translated by K. M. D'yakonov.