Holomorphic Solutions of Some Functional Equations II

We study a certain type of functional equation, which is of significance from the view point of systems of difference equations. Let the characteristic values of the system be and The case that either || > 1 or 0 < || < 1 has been treated in a former paper. The case that = 1, || = 1 with 1 will be given in another paper. The present note deals with the case = = 1, the most difficult case.AMS Subject Classification (1991): 39A10 39B05     

A class of completely continuous operators in a Hilbert space of entire functions of exponential type

Any positive Borel measure in Rⁿ which satisfies the conditionsup {xRⁿ¦ ¦x–y¦1}< generates a Hermitian bilinear form in the Hilbert space of entire functionsf: CⁿC¹ of exponential type not exceeding which are square-summable on Rⁿ. In this paper a criterion is given for the complete continuity of this form.Translated from Matematicheskie Zametki, Vol. 6, No. 2, pp. 173–179, August, 1969.     

Convolution Operators with Fractional Measures Associated to Holomorphic Functions

Let be an open set in the complex plane and let be a holomorphic function on . Let K be a compact subset of with nonempty interior such that 0 K. Let be the Borel measure of R ⁴ C ² given by(E = _K E(z, (z))|z|^–2 d(z)where 0 < 2 and d(x ₁ + ix ₂) = dx ₁ dx ₂ denotes the Lebesgue measure on C. Let T be the convolution operator T f = * f. In this paper we characterize the type set E associated to T .     

Generalised Holley-Preston inequalities on measure spaces and their products

Summary It is shown that if (X, ) is a product of totally ordered measure spaces andf _j (j=1,2,3,4) are measurable non-negative functions onX satisfyingf ₁(x)f₂(y)f₃(xy)f₄(xy), where (, ) are the lattice operations onX, then (f ₁ d)(f ₂ d)(f ₃ d)(f ₄ d). This generalises results of Ahlswede and Daykin (for counting measure on finite sets) and Preston (for special choices off _j).     

The evolution of measures determined by the Navier-Stokes equations and on the solvability of the Cauchy problem for the Hopf statistical equation

We prove the solvability of the Cauchy problem for Hopf's statistical equation, corresponding to the general three-dimensional initial- and boundary-value problem for the Navier-Stokes equations, with the assumption that the exterior forces and the boundary conditions are fixed while the initial field of the velocities is stochastic. Preliminarily we construct a family of measurable single-valued mappings W_t defining the evolution _t of the probability measure , given on the metric space Y_e of the initial field of velocities according to the formula: ()=(W_t ^–1 , where is any set from the -algebra (Y_R of analytic sets of the space Y_R.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 59, pp. 3–23, 1976.     

Limiting behavior of weighted central paths in linear programming

We study the limiting behavior of the weighted central paths{(x(), s())} > 0 in linear programming at both = 0 and = . We establish the existence of a partition (B ,N ) of the index set { 1, ,n } such thatx _i() ands _j () as fori B , andj N , andx _N (),s _B () converge to weighted analytic centers of certain polytopes. For allk 1, we show that thekth order derivativesx ^(k) () ands ^(k) () converge when 0 and . Consequently, the derivatives of each order are bounded in the interval (0, ). We calculate the limiting derivatives explicitly, and establish the surprising result that all higher order derivatives (k 2) converge to zero when .     

Metrics with finite sets of primitive extensions

In this paper, we give a complete characterization for the class of rational finite metrics with the property that the set () of primitive extensions of is finite. Here, for a metric on a setT, a positive extensionm of to a setV T is calledprimitive if none of the convex combinations of other extensions of toV is less than or equal tom. Our main theorem asserts that the following the properties are equivalent: (i) () is finite; (ii) Up to an integer factor, is a submetric of the path metric d ^H of a graphH with |(d ^H )=1; (iii) A certain bipartite graph associated with contains neither isometrick-cycles withk6 nor induced subgraphsK _3,3 ^– . We then show that () is finite if and only if the dimension of the tight span of is at most two. We also present other results, discuss applications to multicommodity flows, and raise open problems.This research was supported by grant 97-01-00115 from the Russian Foundation of Basic Research and a grant from the Sonderforschungsbereich 343, Bielefeld Universität, Bielefeld, Germany.     

Finitely subadditive and countably subadditive outer measures

Results are given comparing countably subadditive (csa) outer measures and finitely subadditive (fsa) outer measures, especially relating to regularity and measurability conditions such as (*) condition:A setE (of an arbitrary setX), is measurable ( an outer measure),ES (the collection of measurable sets) iff (X)=(E)+(E). Specific examples are given contrasting csa and fsa outer measures. In particular fsa and csa outer measures derived from finitely additive measures defined on an algebra of sets generated by a lattice of sets, are investigated in some detail.     

Canonical Semigroups of States and Cocycles for the Group of Automorphisms of a Homogeneous Tree

Let G=A ut(T) be the group of automorphisms of a homogeneous tree and let d(v,gv) denote the natural tree distance. Fix a base vertex e in T. The function (g)=exp(–d(e,ge)), being positive definte on G, gives rise to a semigroup of states on G whose infinitesimal generator d/d|₌₀=log() is conditionally positive definite but not positive definite. Hence, log() corresponds to a nontrivial cocycle (g): GH in some representation space H . In contrast with the case of PGL(2,), the representation is not irreducible.Let _o (g) be the derivative of the spherical function corresponding to the complementary series of A ut(T). We show that –d(e,ge) and _o (g) come from cohomologous cocycles. Moreover, _o is associated to one of the two (irreducible) special representations of A ut(T).     

Operator stable laws: Series representations and domains of normal attraction

LetX,X ₁,X ₂,... be i.i.d. random vectors in ^d. The limit laws that can arise by suitable affine normalizations of the partial sums,S _n=X ₁+...+X _n, are calledoperator-stable laws. These laws are a natural extension to ^d of the stable laws on. Thegeneralized domain of attraction of [GDOA()] is comprised of all random vectorsX whose partial sums can be affinely normalized to converge to . If the linear part of the affine transformation is restricted to take the formn ^–B for some exponent operatorB naturally associated to thenX is in thegeneralized domain of normal attraction of [GDONA()]. This paper extends the theory of operator-stable laws and their domains of attraction and normal attraction.     

Maximum Monoreflections and Essential Extensions

An extension operator c in a category is an assignment, to each object A a monomorphism c _A : AcA. Seeking to approximate such a c by a functor, in our earlier paper Maximum monoreflections, we showed that with some hypotheses on the category, and on c, there is a monoreflection (c) maximum beneath c. Thus, in a suitable category of rings, using the complete ring of quotients operator Q, each object A has a maximum functorial ring of quotients (Q)A. But the proof gave no hint of how to calculate the general (c)A's, nor the particular (Q)A's. In the present paper, we give an explicit formula (and separate proof of existence) for the (c)A's, under more complicated hypotheses on the category and assuming the c _A 's are essential monomorphisms. We discuss briefly how the formula proves adequate to calculate the (Q)A's in Archimedean f-rings, and some related and necessary constructs in Archimedean l-groups.     

Measures not charging semipolars and equations of schrödinger type

SupposeX is a Borel right process andm is a -finite excessive measure forX. Given a positive measure not chargingm-semipolars we associate an exact multiplicative functionalM(). No finiteness assumptions are made on . Given two such measures and ,M()=M() if and only if and agree on all finely open measurable sets. The equation (q–L)u+u=f whereL is the generator of (a subprocess of)X may be solved for appropriatef by means of the Feynman-Kac formula based onM(). Both uniqueness and existence are considered.Supported in part by NSF Grant DMS 92-24990.     

μ-Reducible Languages

A word w is said to be a primitive word if it cannot be expressed as a power of any other word. A language L consisting of non-empty words is called -reducible if there exists a non-empty word w such that Lw contains only finitely many powers of each primitive word. We show that every regular component, context-free component, local language and every regular language containing no primitive words are -reducible. Languages which are not -reducible are investigated and characterized. We show that every code is -reducible. But there are 2-codes which are not -reducible. The -annihilator of a language L is the set of all non-empty words w such that Lw contains only finitely many powers of each primitive word. This paper also concerns the properties of the -annihilators of languages. The -annihilators of 2-codes and some other languages are investigated and characterized in this paper. The results provide an outline of the relationship between the catenation of languages and the powers of primitive words.     

The Choquet-Deny convolution equation μ=μ*σ for probability measures on Abelian semigroups

In this note, we characterize the regular probability measures satisfying the Choquet-Deny convolution equation =* on Abelian topological semigroups for a given probability measure .     

Über die starke Summierbarkeit von Orthogonalreihen durch Euler-Verfahren

, (2) (1), (E, q) (0<q<1), , , , m _i =i ² (. . . [], X. [4]). , (1) (E, q) (0<q<1) (E, q), . .      

Mathematical expectations of functions of sums of a random number of independent terms

Conditions are found which must be imposed on a function g(x) in order that M g(₁+₂+ + _v < if M g(_i) < and M g(v) < ,, ₁, ₂, , _n, ... being non-negative and independent, being integral, and {_i} being identically distributed. The result is applied to the theory of branching processes.Translated from Matematicheskie Zametki, Vol. 3, No. 4, pp. 387–394, April, 1968.     

Jensen inequalities for functions with higher monotonicities

Summary We investigate generalizations of the classical Jensen and Chebyshev inequalities. On one hand, we restrict the class of functions and on the other we enlarge the class of measures which are allowed. As an example, consider the inequality (J)(f(x) d) A (f(x) d, d d = 1. Iff is an arbitrary nonnegativeL _x function, this holds if 0, is convex andA = 1. Iff is monotone the measure need not be positive for (J) to hold for all convex withA = 1. If has higher monotonicity, e.g., is also convex, then we get a version of (J) withA < 1 and measures that need not be positive.     

The Colin de Verdière number and sphere representations of a graph

Colin de Vedière introduced an interesting linear algebraic invariant (G) of graphs. He proved that (G)2 if and only ifG is outerplanar, and (G)3 if and only ifG is planar. We prove that if the complement of a graphG onn nodes is outerplanar, then (G)n–4, and if it is planar, then (G)n–5. We give a full characterization of maximal planar graphs whose complementsG have (G)=n–5. In the opposite direction we show that ifG does not have twin nodes, then (G)n–3 implies that the complement ofG is outerplanar, and (G)n–4 implies that the complement ofG is planar.Our main tools are a geometric formulation of the invariant, and constructing representations of graphs by spheres, related to the classical result of Koebe about representing planar graphs by touching disks. In particular we show that such sphere representations characterize outerplanar and planar graphs.     

A Uniqueness Result for an Overdetermined Problem in Non-Linear Parabolic Potential Theory

In this paper we study the question of uniqueness for an inverse problem, arising in the (thermal) linear and/or non-linear potential theory. The overdetermined problem we shall study is represented by(div(|u| ^p–2u)–D _t u–+)u=0where supp()R ⁿ ×(0,), 1<p<, L and {t=} is bounded for >0.The problem has applications in shape-recognition in underground water/oil recovery, subject to shape-change during time intervals. The particular case u0, D _t u0, and p=2, is an example of the well-known Stefan.     

Bounded charges and their ranges

Sunto Si caratterizzano le masse non continue e non atomiche, definite su un campo di insiemi e le masse definite su un -campoA che verificano la proprietá: (A T(A)) è chiuso, per ogni A A. Si dà inoltre, per tali masse, la struttura di (A T(A)), provando che tale insieme numerico è simile al codominio di una misura limitata.

---

---

Research supported by M.P.I. and C.N.R.