A geometric construction of local representations of local Lie groups

Local transformation groups acting on a manifold X define a natural action of on a space D(X), of functions on X. The natural action induces a local representation of on a Hilbert subspace of the space of distributions on D(X).     

On sequences of Fourier coefficients of functions of Hölder classes

The following theorem is proved. Let { _k(t)} be an arbitrary complete orthonormal system on [0, 1] and let 1/2<<1. Then anf(t) C exists for all< such that _k=1 · |c_k(f)|^p=, p=2/(l+2), where .Translated from Matematicheskie Zametki, Vol. 6, No. 5, pp. 567–572, November, 1969.The authors wish to thank P. P. Zabreiko and P. L. Ul'yanov for helpful discussions and remarks.     

The Laplacian with Robin Boundary Conditions on Arbitrary Domains

Using a capacity approach, we prove in this article that it is always possible to define a realization of the Laplacian on L ²() with generalized Robin boundary conditions where is an arbitrary open subset of R ⁿ and is a Borel measure on the boundary of . This operator generates a sub-Markovian C ₀-semigroup on L ²(). If d=d where is a strictly positive bounded Borel measurable function defined on the boundary and the (n–1)-dimensional Hausdorff measure on , we show that the semigroup generated by the Laplacian with Robin boundary conditions has always Gaussian estimates with modified exponents. We also obtain that the spectrum of the Laplacian with Robin boundary conditions in L ^p () is independent of p[1,). Our approach constitutes an alternative way to Daners who considers the (n–1)-dimensional Hausdorff measure on the boundary. In particular, it allows us to construct a conterexample disproving Daners' closability conjecture.     

On the Self-Decomposability of Euler's Gamma Function

Let be Euler's Gamma function. We prove that, for all 0, > 0, > 0, > 0, the function (( + iz)/() ^{i z)} , z R ¹, is a self-decomposable characteristic function from the Thorin class and derive its explicit canonical form. Similarly to [1], we also describe several classes of Lévy-type stochastic processes related to .     

Determinants in net subgroups

Suppose R is a commutative ring with 1, =( _ij ) is a fixedD-net of ideals of R of ordern, and G is the corresponding net subgroup of the general linear group GL (n, R). There is constructed for a homomorphismdet of the subgroup G() into a certain Abelian group (). Let I be the index set {1...,n}. For each subset I let ()= _{ij ji} , wherei, ranges over all indices in and j independently over the indices in the complement I ((I) is the zero ideal). Letdet (a) denote the principal minor of order ||n of the matrixa G () corresponding to the indices in , and let' () be the Cartesian product of the multiplicative groups of the quotient rings R/() over all subsets I. The homomorphismdet is defined as follows: It is proved that if R is a semilocal commutative Bezout ring, then the kernelKer det coincides with the subgroup E() generated by all transvections in G(). For these R is also definedTm det .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 114, pp. 37–49, 1982.     

Orthogonal systems invariant under an automorphism

, , - ( ) . , - , ( ) .     

Dirichlet Series Associated with Strongly q-Multiplicative Functions

In this work the Dirichlet series associated with real strongly q-multiplicative functions f(n) are studied. We will confine ourselves to the case _i=0 ^q–1 f(i) = 0. It is known that in this case the function _f (s) has an analytic continuation to the whole complex plane as an entire function with trivial zeros on the negative real line. The real function _f (t) satisfying the integral equation with delayed argument for some nonzero real _f naturally appears in the representation of the function _f (s). In this article we find some asymptotic properties of the function _f (s), prove that _f (s) is an entire function of order 2, and also prove that in the region the function _f (s) has only trivial zeros which are simple.     

On generalized gamma functions related to the Laurent coefficients of the Riemann zeta function

Summary We study a class of generalized gamma functions _k (z) which relate to the generalized Euler constants _k (basically the Laurent coefficients of(s)) as (z) does to the Euler constant. A new series expansion for _k is derived, and the constant term in the asymptotic expansion for log _k (z) is studied in detail. These and related constants are numerically computed for 1 k 15.     

Differentiability properties of the minimal average action

Given aZ ⁿ⁺¹-periodic variational principle onR ⁿ⁺¹ we look for solutionsu:R ⁿ R minimizing the variational integral with respect to compactly supported variations. To every vector R ⁿ we consider a subset of solutions which have an average slope when averaging overR ⁿ. The minimal average action A() is defined by the average value of the variational integral given by a solution with average slope . Our main result is:A is differentiable at if and only if the set is totally ordered (in the natural sense). In case that is not totally ordered,A is differentiable at in some direction R ⁿ{0} if and only if is orthogonal to the subspace defined by the rational dependency of . Assuming that the i^th component of is rational with denominator sⁱ N in lowest terms, we show: The difference of right- and left-sided derivative in the i^th standard unit direction is bounded by const · .     

Existence for the Cahn-Hilliard phase separation model with a nondifferentiable energy

Summary The Cahn-Hilliard model for phase separation in a binary alloy leads to the equations (I) u_t=w, (II) w= (u)– u with an associated energy functional F(u)=f [(u)+ +¦u¦²/2] dx. In this paper we discuss the existence theory for initial bounday value problems arising from modifications to the Cahn-Hilliard model due to the addition of the non-differentiable term ¦u¦dx to the energy F(u).     

(q, δ)-Numeration Systems with Missing Digits

We consider the (q, ) numeration system, with basis q2 and the set of digits {, +1,,q+–1} where –(q–1)0. We study properties of numbers where some digits do not occur. This is analogous to the Cantor set {0.a₁a₂a_i{0,2}}. We compute an asymptotic equivalent of the nth moment of the Cantor (q, D)-distribution which can be described as the numbers 0. w₁w₂ with w_iD{,,q+–1}, and each such letter can occur with the same probability 1/CardD. Furthermore, we consider n random strings according to the distribution and the expected minimum of them. We find a recursion which we solve asymptotically.This author was supported by the CNRS/NRF-project no 10959. Part of this work was done during the first authors visit to the John Knopfmacher Centre for Applicable Analysis and Number Theory at the University of the Witwatersrand, Johannesburg, South Africa.This author was supported by the CNRS/NRF-project no 10959.     

Einschließungsaussagen für gewöhnliche Differentialoperatoren

Summary For differential operatorsM of second order (as defined in (1.1)) we describe a method to prove Range-Domain implications—Mu–u and an algorithm to construct these functions , , , . This method has been especially developed for application to non-inverse-positive differential operators. For example, for non-negativea ₂ and for given functions = we require =C ₀[0, 1] C ₂([0, 1]–T) whereT is some finite set), (M) (t)(t), (t[0, 1]–T) and certain additional conditions for eachtT. Such Range-Domain implications can be used to obtain a numerical error estimation for the solution of a boundary value problemMu=r; further, we use them to guarantee the existence of a solution of nonlinear boundary value problems between the bounds- and .     

A Hubert space characterization among function spaces

— [0,1] ,E — - e=1 [0,1]. I — _E =1, E=L ₂ x _e =xL ₂ x E.

---

---

This work was prepared when the second author was a visiting professor of the CNR at the University of Firenze. He was supported by the Soros International Fund.     

Zur Beziehung zwischen Basen und Vektoren kürzester Länge in Gittern

LetR be an order of an algebraic number field of degreen over ,V ann-dimensional real vector space and the class of lattices inV which are free rank 1 modules overR. For certain ordersR and distance functionsd onV a method of computingd-minimal vectors of is described; further it is shown how to constructs anR-basis for by comparing thed-length of vectors of . An application to the computation of fundamental units and class numbers of real abelian number fields is mentioned.     

A graded scale of parametric families of distributions,and parameter estimates based on the sample mean

Summary Denote by _k a class of familiesP={P} of distributions on the line R¹ depending on a general scalar parameter , being an interval of R¹, and such that the moments µ₁()=xdP ,...,µ_2k ()=x ^2k dP are finite, ₁ (), ..., _k (), _k+1 () ..., _k () exist and are continuous, with ₁ () 0, and _j +1 ()= ₁ () _j () +[₂() -₁()²] _j ()/ ₁ (), J=2, ..., k. Let ₁=¯x=x ₁ + ... +x _n/n, ₂=x ₁ ² + ... +x _n ²/n, ..., _k =(x ₁ ^k + ... +x _n ^k/n denote the sample moments constructed for a sample x₁, ..., x_n from a population with distribution Pg. We prove that the estimator of the parameter by the method of moments determined from the equation ₁= ₁() and depending on the observations x₁, ..., x_n only via the sample mean ¯x is asymptotically admissible (and optimal) in the class _k of the estimators determined by the estimator equations of the form ₀ () + ₁ () ₁ + ... + _k () _k =0 if and only ifP _k .The asymptotic admissibility (respectively, optimality) means that the variance of the limit, as n (normal) distribution of an estimator normalized in a standard way is less than the same characteristic for any estimator in the class under consideration for at least one 9 (respectively, for every ).The scales arise of classes _{1 2}... of parametric families and of classes _{1 2} ... of estimators related so that the asymptotic admissibility of an estimator by the method of moments in the class _k is equivalent to the membership of the familyP in the class _k .The intersection consists only of the families of distributions with densities of the form h(x) exp {C₀() + C₁() x } when for the latter the problem of moments is definite, that is, there is no other family with the same moments ₁ (), ₂ (), ...Such scales in the problem of estimating the location parameter were predicted by Linnik about 20 years ago and were constructed by the author in [1] (see also [2, 3]) in exact, not asymptotic, formulation.Translated from Problemy Ustoichivosti Stokhasticheskikh Modelei, pp. 41–47, 1981.     

On Vector Valued Measure Spaces of Bounded Φ-variation containing copies of ℓ∞

Given a Young function , we study the existence of copies of c ₀ and in cabv (,X) and in cabsv (,X), the countably additive, -continuous, and X-valued measure spaces of bounded -variation and bounded -semivariation, respectively.     

An addendum to the paper “ranges of values of systems of functionals in certain classes of regular functions”

One gives an application of the results of the paper mentioned in the title to the problem of the range of the system of initial coefficients on the class V_k,(k2, 0<1) of functions f(z)=z+a₂z²+..., regular in ¦z¦<1, f(z)f(z)/z0 in ¦z¦<1, satisfying the condition ₀ ² ReJ(eⁱ)dk, 0<<1, where J(z)=(1+zf(z)/f(z)) +(1–+)zf(z)/f(z).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 154, pp. 31–35, 1986.     

Estimates of Integral Kernels for Semigroups Associated with Second-Order Elliptic Operators with Singular Coefficients

In this paper we obtain pointwise two-sided estimates for the integral kernel of the semigroup associated with second-order elliptic differential operators –(a)+b ₁+b ₂+V with real measurable (singular) coefficients, on an open set R ^N . The assumptions we impose on the lower-order terms allow for the case when the semigroup exists on L ^p () for p only from an interval in [1,), neither enjoys a standard Gaussian estimate nor is ultracontractive in the scale L ^p (). We show however that the semigroup is ultracontractive in the scale of weighted spaces L ^p (,²dx) with a suitable weight and derive an upper and lower bound on its integral kernel.     

Isolation theorem for forms corresponding to purely real algebraic fields

Let M be the complete module of a purely real algebraic field of degree n 3, let be a lattice in this module, and let F(X) be its form. We use to denote any lattice for which we have = , where is a nondiagonal matrix for which – I . With each lattice we can associate a factorizable formF (X) in a natural manner. We denote the complete set of forms corresponding to the set {} by {F (X)}. It is proved that for any > 0 there exists an > 0 such that for eachF (X) {F } we have |F (X₀₎| for some integer vector X₀ 0.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 185, pp. 5–12, 1990.In conclusion, the author would like to express his deep gratitude to B. F. Skubenko for stating the problem and for his constant attention.     

Range of the posterior probability of an interval for priors with unimodality preserving contaminations

Range of the posterior probability of an interval over the -contamination class ={=(1–)₀+q:qQ} is derived. Here, ₀ is the elicited prior which is assumed unimodal, is the amount of uncertainty in ₀, andQ is the set of all probability densitiesq for which =(1–)₀+q is unimodal with the same mode as that of ₀. We show that the sup (resp. inf) of the posterior probability of an interval is attained by a prior which is equal to (1–)₀ except in one interval (resp. two disjoint intervals) where it is constant.