The implication $(i)\Rightarrow (ii)$ of Theorem 2.1 in our article [1] is not true as it stands. We give here two correct statements which follow from the original proof.

We prove new integral representations of the approximation forms in zeta values.

Let k be a field of characteristic zero, let G be a connected reductive algebraic group over k and let 𝔤 be its Lie algebra. Let k(G), respectively, k(𝔤), be the field of k-rational functions on G, respectively, 𝔤. The conjugation action of G on itself induces the adjoint action of G on 𝔤. We investigate the question whether or not the field extensions k(G)/k(G)G and k(𝔤)/k(𝔤)G are purely transcendental. We show that the answer is the same for k(G)/k(G)G and k(𝔤)/k(𝔤)G, and reduce the problem to the case where G is simple. For simple groups we show that the answer is positive if G is split of type An or Cn, and negative for groups of other types, except possibly G2. A key ingredient in the proof of the negative result is a recent formula for the unramified Brauer group of a homogeneous space with connected stabilizers. As a byproduct of our investigation we give an affirmative answer to a question of Grothendieck about the existence of a rational section of the categorical quotient morphism for the conjugating action of G on itself.

It is known that all k-homogeneous orthogonally additive polynomials P over C(K) are of the form

Thus, x ↦ xk factors all orthogonally additive polynomials through some linear form μ. We show that no such linearization is possible without homogeneity. However, we also show that every orthogonally additive holomorphic function of bounded type f over C(K) is of the form

for some μ and holomorphic h : C (K) → L1(μ) of bounded type.

We study the integral representation of relaxed functionals in the multi-dimensional calculus of variations, for integrands which are finite in a convex bounded set with nonempty interior and infinite elsewhere.

The purpose of this paper is to derive an integral representation of the Drazin inverse of an element of a Banach algebra in a more general situation than previously obtained by the second author, and to give an application to the Moore–Penrose inverse in a $C^*$-algebra.

AMS 2000 Mathematics subject classification:Primary 46H05; 46L05

We study the integral representation properties of limits of sequences of integral functionals like  $\int f(x,Du)\,{\rm d}x$  under nonstandard growth conditions of (p,q)-type: namely, we assume that $$ \vert z\vert^{p(x)}\leq f(x,z)\leq L(1+\vert z\vert^{p(x)})\,. $$ Under weak assumptions on the continuous function p(x), we prove Γ-convergence to integral functionals of the same type. We also analyse the case of integrands f(x,u,Du) depending explicitly on u; finally we weaken the assumption allowing p(x) to be discontinuous on nice sets.

We consider the Dirichlet series Z(P,A;s) = [sum ]$_m∈ A ∩ Z^n$P$^-s$(m) (s ∈ C) where P ∈ R[X$_1$, …, X$_n$] and A is an open semi-algebraic subset of R$^n$. We will say that Z(P,A;s) exists if this multiple series is absolutely convergent. In this paper we study the existence and several properties of meromorphic continuations of such series, under certain assumption on P and A. As an application, we show the existence of a finite asymptotic expansion of the counting function with support in A: N$_p$(A,t):= [sharp ] m ∈ A ∩ Z$^n$ | P(m) [les ] t} when t → +∞.

For an arbitrary finite Galois $p$-extension $L/K$ of ${{\mathbb{Z}}_{p}}$-cyclotomic number fields of $\text{CM}$-type with Galois group $G=\text{Gal}(L/K)$ such that the Iwasawa invariants $\mu _{K}^{-},\,\mu _{L}^{-}$ are zero, we obtain unconditionally and explicitly the Galois module structure of $C_{L}^{-}\,(p)$, the minus part of the $p$-subgroup of the class group of $L$. For an arbitrary finite Galois $p$-extension $L/K$ of algebraic function fields of one variable over an algebraically closed field $k$ of characteristic $p$ as its exact field of constants with Galois group $G=\text{Gal}(L/K)$ we obtain unconditionally and explicitly the Galois module structure of the $p$-torsion part of the Jacobian variety ${{J}_{L}}(p)$ associated to $L/k$.

The Hurwitz zeta function ζ(s, a) is defined by the series

for 0 < a ≤ 1 and σ = Re(s) > 1, and can be continued analytically to the whole complex plane except for a simple pole at s = 1 with residue 1. The integral functions C(s, a) and S(s, a) are defined in terms of the Hurwitz zeta function as follows:

Using integral representations of C(s, a) and S(s, a), we evaluate explicitly a class of improper integrals. For example if 0 < a < 1 we show that

In this paper a q-analogue of Gegenbauer's addition formula for Bessel functions is obtained by using the orthogonality relation for the q-Ultraspherical polynomials of Rogers'. Also some product formulas and an integral representation for the Hahn-Exton q-Bessel functions are obtained.

The main result of this paper establishes the existence and uniqueness of integral representations of KMS functionals on nuclear *- algebras. Our first result is about representations of *-algebras by means of operators having a common dense domain in a Hilbert space. We show, under certain regularity conditions, that (Powers) self-adjoint representations of a nuclear *-algebra, which admit a direct integral decomposition, disintegrate into representations which are almost all self-adjoint. We then define and study the class of self-derivative algebras. All algebras with an identity are in this class and many other examples are given. We show that if is a self-derivative algebra with an equicontinuous approximate identity, the cone of all positive forms on is isomorphic to the cone of all positive invariant kernels on These in turn correspond bijectively to the invariant Hilbert subspaces of the dual space This shows that if is a nuclear -space, the positive cone of has bounded order intervals, which implies that each positive form on has an integral representation in terms of the extreme generators of the cone. Given a continuous exponentially bounded one-parameter group of *-automorphisms of we can define the subcone of all invariant positive forms satisfying the KMS condition. Central functionals can be viewed as KMS functionals with respect to a trivial group action. Assuming that is a self-derivative algebra with an equicontinuous approximate identity, we show that the face generated by a self-adjoint KMS functional is a lattice. If is moreover a nuclear *-algebra the previous results together imply that each self-adjoint KMS functional has a unique integral representation by means of extreme KMS functionals almost all of which are self-adjoint.