Duality theorems for linear systems and convex systems

We show that, if (F →^uX) is a linear system, $\text{Ω ? X}$ a convex target set and $\text{h: X →}\text{R}\text{?}$ a convex functional, then, under suitable assumptions, the computation of inf $\text{h({y ? F ¦ u(y) ? Ω}}$) can be reduced to the computation of the infimum of h on certain strips or hyperplanes in F, determined by elements of $\text{u}{}^1\text{(X}{}^1\text{)}$, or of the infima on F of Lagrangians, involving elements of $\text{u}{}^1\text{(X}{}^1\text{)}$. Also, we prove similar results for a convex system (F →^uX) and the convex cone Ω of all non-positive elements in X.     

Injectivity and operator spaces

Let B(H) be the bounded operators on a Hilbert space H. A linear subspace R ? B(H) is said to be an operator system if 1 ?R and R is self-adjoint. Consider the category $\text{b}$ of operator systems and completely positive linear maps. R ∈ $\text{C}$ is said to be injective if given A ? B, A, B ∈ $\text{C}$, each map A → R extends to B. Then each injective operator system is isomorphic to a conditionally complete C¹-algebra. Injective von Neumann algebras R are characterized by any one of the following: (1) a relative interpolation property, (2) a finite “projectivity” property, (3) letting M_m = B(C^m), each map R → N ? M_m has approximate factorizations R → M_n → N, (4) letting K be the orthogonal complement of an operator system N ? M_m, each map $\text{M}{}_{\mathrm{m}}\text{K}\text{→ R}$ has approximate factorizations $\text{M}{}_{\mathrm{m}}\text{K}\text{→ M}{}_{\mathrm{n}}\text{→ R}$. Analogous characterizations are found for certain classes of C¹-algebras.     

Interpolation and inner maps that preserve measure

It is shown, for n ? m ? 1, that there exist inner maps Φ: Bⁿ → B^m with boundary values $\text{Φ}{}_1\text{: B}{}^{\mathrm{n}}\text{→ B}{}^{\mathrm{m}}$ such that $\text{σ}{}_{\mathrm{m}}\text{(A) = σ}{}_{\mathrm{n}}\text{(Φ}{}_1{}^{\mathrm{?1}}\text{(A))}$. where σ_n and σ_m are the Haar measures on ?Bⁿ and ?B^m, respectively, and A ? Bⁿ is an arbitrary Borel set.     

Operator properties of Sobolev imbeddings over unbounded domains

For an open set Ω ? $\text{R}$^N, 1 ? p ? ∞ and λ ∈ $\text{R}$⁺, let $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω)}$ denote the Sobolev-Slobodetzkij space obtained by completing $\text{C}{}_0{}^{\mathrm{\infty }}\text{(Ω)}$ in the usual Sobolev-Slobodetzkij norm (cf. A. Pietsch, “r-nukleare Sobol. Einbett. Oper., Ellipt. Dgln. II,” Akademie-Verlag, Berlin, 1971, pp. 203–215). Choose a Banach ideal of operators $\text{U}$, 1 ? p, q ? ∞ and a quasibounded domain Ω ? $\text{R}$^N. Theorem 1 of the note gives sufficient conditions on λ such that the Sobolev-imbedding map $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω) λ L}{}_{\mathrm{q}}\text{(Ω)}$ exists and belongs to the given Banach ideal $\text{U}$: Assume the quasibounded domain fulfills condition C_k^l for some l > 0 and 1 ? k ? N. Roughly this means that the distance of any $\text{x ? Ω}$ to the boundary ?Ω tends to zero as $\text{O(¦ x ¦}{}^{\mathrm{?l}}\text{)}$ for $\text{¦ x ¦ → ∞}$, and that the boundary consists of sufficiently smooth ?(N ? k)-dimensional manifolds. Take, furthermore, 1 ? p, q ? ∞, p > k. Then, if μ, ν are real positive numbers with λ = μ + v ∈ $\text{N}$, μ > λ _S($\text{U}$; p,q:N) and v > N/l · λ_D($\text{U}$;p,q), one has that $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω) λ L}{}_{\mathrm{q}}\text{(Ω)}$ belongs to the Banach ideal $\text{U}$. Here λ_D($\text{U}$;p,q;N)∈$\text{R}$⁺ and λ_S($\text{U}$;p,q;N)∈$\text{R}$⁺ are the D-limit order and S-limit order of the ideal $\text{U}$, introduced by Pietsch in the above mentioned paper. These limit orders may be computed by estimating the ideal norms of the identity mappings l_pⁿ → l_qⁿ for n → ∞. Theorem 1 in this way generalizes results of R. A. Adams and C. Clark for the ideals of compact resp. Hilbert-Schmidt operators (p = q = 2) as well as results on imbeddings over bounded domains.Similar results over general unbounded domains are indicated for weighted Sobolev spaces.As an application, in Theorem 2 an estimate is given for the rate of growth of the eigenvalues of formally selfadjoint, uniformly strongly elliptic differential operators with Dirichlet boundary conditions in $\text{L}{}_2\text{(Ω)}$, where Ω fulfills condition C₁^l.For an open set Ω in $\text{R}$^N, let $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω)}$ denote the Sobolev-Slobodetzkij space obtained by completing $\text{C}{}_0{}^{\mathrm{\infty }}\text{(Ω)}$ in the usual Sobolev-Slobodetzkij norm, see below. Taking a fixed Banach ideal of operators and 1 ? p, q ? ∞, we consider quasibounded domains Ω in $\text{R}$^N and give sufficient conditions on λ such that the Sobolev imbedding operator $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω) λ L}{}_{\mathrm{q}}\text{(Ω)}$ exists and belongs to the Banach ideal. This generalizes results of C. Clark and R. A. Adams for compact, respectively, Hilbert-Schmidt operators (p = q = 2) to general Banach ideals of operators, as well as results on imbeddings over bounded domains. Similar results over general unbounded domains may be proved for weighted Sobolev spaces. As an application, we give an estimate for the rate of growth of the eigenvalues of formally selfadjoint, uniformly strongly elliptic differential operators with Dirichlet boundary conditions in $\text{L}{}_2\text{(Ω)}$, where Ω is a quasibounded open set in $\text{R}$^N.     

Boundedness of solutions of a system of integro-differential equations

Let b: [?1, 0] →$\text{R}$ be a nondecreasing, strictly convex C²-function with b(? 1) = 0, and let g: $\text{R}$ⁿ → $\text{R}$ⁿ be a locally Lipschitzian mapping, which is the gradient of a function G: $\text{R}$ⁿ → $\text{R}$. Consider the following vector-valued integro-differential equation of the Levin-Nohel type

$\text{x}\text{?}\text{(t)=?∝}{}_{\mathrm{?1}}{}^0\text{b(θ)g(x(t + θ))dθ}$

. (E) This equation is used in applications to model various viscoelastic phenomena. By LaSalle's invariance principle, every bounded solution x(t) goes to a connected set of zeros of g, as time t goes to infinity. It is the purpose of this paper to give several geometric criteria assuring the boundedness of solutions of (E) or some of its components.     

A class of Orlicz-Sobolev spaces with applications to variational problems involving nonlinear Hill's equations

Necessary and sufficient conditions are proved for a $\text{b}$⁽²⁾-Young function G (with independent variable t) to be convex (resp. concave) in t² in terms of inequalities between the second derivative of G and the first derivative of its Legendre transform G? (with independent variable s). It is then proven that a Young function G is convex (resp. concave) in t² if and only if G? is concave (resp. convex) in s². These results, along with another set of inequalities for functions G convex (resp. concave) in t², allow the proof of the uniform convexity and thereby of the reflexivity with respect to Luxemburg's norm $\text{∥f∥}{}_{\mathrm{G}}\text{=}\text{inf}\text{{k > 0: ∝}{}_{\mathrm{\Omega }}\text{dξ G(f}\text{(ξ)}\text{k}\text{) ? 1}}$ of the Orlicz space $\text{L}{}_{\mathrm{G}}\text{(Ω)}$ over an open domain Ω ?$\text{R}$_N with Lebesgue measure dξ. When applied to $\text{G(t) =}\text{¦t¦}{}^{\mathrm{p}}\text{p}$ and $\text{G}\text{?}\text{(s) =}\text{¦s¦}{}^{\mathrm{p\prime }}\text{p′}$ with p^?1 + (p′)^?1 = 1, the preceding results lead to the shortest proof to date of two Clarkson's inequalities and of the reflexivity of L^p-spaces for 1 < p < +∞. Finally, some of these results are used to solve by direct methods variational problems associated with the existence question of periodic orbits for a class of nonlinear Hill's equations; these variational problems are formulated on suitable Orlicz-Sobolev spaces $\text{W}{}^{\mathrm{m}}\text{L}{}_{\mathrm{G}}\text{(Ω)}$ and thereby allow for nonlinear terms which may grow faster than any power of the variable.     

The minimal generating space of a polynomial

Given a polynomial $\text{P(X}{}_1\text{,…,X}{}_{\mathrm{N}}\text{)∈}\text{R}\text{[}\text{X}\text{]}$, we calculate a subspace G_p of the linear space 〈X〉 generated by the indeterminates which is minimal with respect to the property $\text{P∈}\text{R}\text{[}\text{G}{}_{\mathrm{p}}\text{]}$ (the algebra generated by G_p, and prove its uniqueness. Furthermore, we use this result to characterize the pairs (P,Q) of polynomials P(X₁,…,X_n) and Q(X₁,…,X_n) for which there exists an isomorphism T:〈X〉 →〈X〉 that “separates P from Q,” i.e., such that for some k(1<k<n) we can write P and Q as $\text{P}{}^1\text{(Y}{}_1\text{,…,Y}{}_{\mathrm{k}}\text{)}$ and $\text{Q}{}^1\text{(Y}{}_{\mathrm{<mtext>k+</mtext><mtext>1</mtext>}}\text{,…,Y}{}_{\mathrm{n}}\text{)}$ respectively, where $\text{Y}\text{=T}\text{X}$.     

Limit laws for record values

{X_n,n?1} are i.i.d. random variables with continuous d.f. F(x). X_j is a record value of this sequence if X_j>max{X₁,…,X_j?1}. Consider the sequence of such record values {X_Ln,n?1}. Set R(x)=-log(1?F(x)). There exist B_n > 0 such that . in probability (i.p.) iff i.p. iff $\text{{R(kx)?R(x)}}\text{R}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{(kx)}$ → ∞ as x→∞ for all k>1. Similar criteria hold for the existence of constants A_n such that X_Ln?A_n → 0 i.p. Limiting record value distributions are of the form N(-log(-logG(x))) where G(·) is an extreme value distribution and N(·) is the standard normal distribution. Domain of attraction criteria for each of the three types of limit laws can be derived by appealing to a duality theorem relating the limiting record value distributions to the extreme value distributions. Repeated use is made of the following lemma: If $\text{P}\text{{X}{}_{\mathrm{n}}\text{?x}=1?e}{}^{\mathrm{-x}}\text{,x?0}$, then X_Ln=Y₀+…+Y_n where the Y_j's are i.i.d. and $\text{P}\text{{Y}{}_{\mathrm{j}}\text{?x}=1?e}{}^{\mathrm{-x}}$.     

A remark on the tail probability of a distribution

Let {X_n}_n≥1 be a sequence of independent and identically distributed random variables. For each integer n ≥ 1 and positive constants r, t, and ?, let S_n = Σ_j=1ⁿX_j and $\text{E{N}{}_{\mathrm{\infty }}\text{(r, t, ?)} = Σ}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{n}{}^{\mathrm{r?2}}\text{P{|S}{}_{\mathrm{n}}\text{| > ?n}{}^{\mathrm{<mtext>r</mtext><mtext>t</mtext>}}\text{}}$. In this paper, we prove that (1) lim_?→0+?^α(r?1)E{N_∞(r, t, ?)} = K(r, t) if E(X₁) = 0, Var(X₁) = 1, and E(| X₁ |^t) < ∞, where 2 ≤ t < 2r ≤ 2t, $\text{K(r, t) =}\text{{2}{}^{\mathrm{<mtext>\alpha (r?1)</mtext><mtext>2</mtext>}}\text{Γ(}\text{(1 + α(r ? 1))}\text{2}\text{)}}\text{{(r ? 1) Γ(}\text{1}\text{2}\text{)}}$, and $\text{α =}\text{2t}\text{(2r ? t)}$; (2) $\text{lim}{}_{\mathrm{?\to 0+}}\text{G(t, ?)}\text{H(t, ?)}\text{= 0}$ if 2 < t < 4, E(X₁) = 0, Var(X₁) > 0, and E(|X₁|^t) < ∞, where G(t, ?) = E{N_∞(t, t, ?)} = Σ_n=1^∞n^t?2P{| S_n | > ?n} → ∞ as ? → 0+ and $\text{H(t, ?) = E{N}{}_{\mathrm{\infty }}\text{(t, t, ?)} = Σ}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{n}{}^{\mathrm{t?2}}\text{P{| S}{}_{\mathrm{n}}\text{| > ?n}{}^{\mathrm{<mtext>2</mtext><mtext>t</mtext>}}\text{} → ∞}\text{as}\text{? → 0+}$, i.e., H(t, ?) goes to infinity much faster than G(t, ?) as ? → 0+ if 2 < t < 4, E(X₁) = 0, Var(X₁) > 0, and E(| X₁ |^t) < ∞. Our results provide us with a much better and deeper understanding of the tail probability of a distribution.     

A duality theorem on a pair of simultaneous functional equations

Given P and Q convex compact sets in R^kandR^s, respectively, and u a continuous real valued function on P × Q, we consider the following pair of dual problems: Problem I—Minimize ? so that ?: $\text{P × Q → R}\text{and}\text{? ?}\text{Cav}{}_{\mathrm{p}}\text{Vex}{}_{\mathrm{q}}\text{×}\text{max}\text{(u, ?)}$. Problem II—Maximize g so that g: P × Q → R and g ? Vex_q × Cav_pmin(u, g). Here Cav_p is the operation of concavification of a function with respect to the variable p?P (for each fixed q?Q). Similarly, Vex_q is the operation of convexification with respect to q?Q. Maximum and minimum are taken here in the partial ordering of pointwise comparison: $\text{? ? g}\text{means}\text{?(p, q) ? g(p, q) ?(p, q) ? P × Q}$. It is proved here that both problems have the same solution which is also the unique simultaneous solution of the following pair of functional equations: (i) $\text{? =}\text{Vex}{}_{\mathrm{q}}\text{max}\text{(u, ?)}$. (ii) $\text{? =}\text{Cav}{}_{\mathrm{p}}\text{min}\text{(u, ?)}$. The problem arises in game theory, but the proof here is purely analytical and makes no use of game-theoretical concepts.     

Connected matroids with the smallest whitney numbers

In “The Slimmest Geometric Lattices” (Trans. Amer. Math. Soc.). Dowling and Wilson showed that if G is a combinatorial geometry of rank r(G) = n, and if _X(G) = Σμ(0, x)λ^{r ? r(x)} = Σ (?1)^{r ? k}W_kλ^k is the characteristic polynomial of G, then

$\text{w}{}_{\mathrm{k}}\text{?}\text{r}\text{k}\text{+n}\text{r?1}\text{k}$

Thus γ(G) ? 2^{r ? 1} (n+2), where γ(G) = Σw_k. In this paper we sharpen these lower bounds for connected geometries: If G is connected, r(G) ? 3, and n(G) ? 2 ((r, n) ≠ (4,3)), then

$\text{w}{}_{\mathrm{i}}\text{?}\text{r}\text{i}\text{+ n}\text{r}\text{i+1}\text{for i>1; w}{}_1\text{?r+n}\text{r}\text{2}\text{? 1;}$

|μ| ? (r? 1)n; and γ ? (2^{r ? 1} ? 1)(2n + 2). These bounds are all achieved for the parallel connection of an r-point circuit and an (n + 1)point line. If G is any series-parallel network, $\text{r(G) = r(}\text{G}\text{?}\text{) = 4}$, and $\text{n(G) = n(}\text{G}\text{?}\text{) = 3}$ then $\text{(w}{}_1\text{(G))}{}^4{}_{\mathrm{t-G}}\text{? (w}{}_1\text{(}\text{G}\text{?}\text{)) = (8, 20, 18, 7, 1)}$. Further, if β is the Crapo invariant,

$\text{β(G)=}\text{d}{}_{\mathrm{X}}\text{(G)}\text{dλ}\text{(1)}\text{,}$

then β(G) ? max(1, n ? r + 2). This lower bound is achieved by the parallel connection of a line and a maximal size series-parallel network.     

W1,p-quasiconvexity and variational problems for multiple integrals

Variational problems for the multiple integral $\text{I}{}_{\mathrm{\Omega }}\text{(u) = ∝}{}_{\mathrm{\Omega }}\text{g(▽u(x))dx}$, where $\text{Ω?R}{}^{\mathrm{m}}$ and $\text{u:Ω→R}{}^{\mathrm{n}}$ are studied. A new condition on g, called W^1,p-quasiconvexity is introduced which generalizes in a natural way the quasiconvexity condition of C. B. Morrey, it being shown in particular to be necessary for sequential weak lower semicontinuity of $\text{I}{}_{\mathrm{\Omega }}$ in $\text{W}{}^{\mathrm{1,p}}\text{(Ω;R}{}^{\mathrm{n}}\text{)}$ and for the existence of minimizers for certain related integrals. Counterexamples are given concerning the weak continuity properties of Jacobians in $\text{W}{}^{\mathrm{1,p}}\text{(Ω;R}{}^{\mathrm{n}}\text{)}$, p ? n = m. An existence theorem for nonlinear elastostatics is proved under optimal growth hypotheses.     

Uniqueness and faithfulness of embedding of toroidal graphs

A topological generalization of the uniqueness of duals of 3-connected planar graphs will be obtained. A graph G is uniquely embeddable in a surface F if for any two embeddings $\text{?}{}_1$, $\text{?}{}_2\text{:G → F}$, there are an autohomeomorphism h:F → F and an automorphism σ:G → G such that $\text{h°?}{}_1\text{= ?}{}_2\text{°σ}$. A graph G is faithfully embedabble in a surface F if there is an embedding $\text{?:G → F}$ such that for any automorphism σ:G → G, there is an autohomeomorphism h:F → F with $\text{h°? = f°σ}$. Our main theorems state that any 6-connected toroidal graph is uniquelly embeddable in a torus and that any 6-connected toroidal graph with precisely three exceptions is faithfully embeddable in a torus. The proofs are based on a classification of 6-regular torus graphs.     

Group structure and the pointwise ergodic theorem for connected amenable groups

Let G be a connected amenable group (thus, an extension of a connected normal solvable subgroup R by a connected compact group $\text{K =}\text{G}\text{R}$). We show how to explicitly construct sequences {U_n} of compacta in G in terms of the structural features of G which have the following property: For any “reasonable” action G × L^p(X, μ) ↓ L^p(X, μ) on an L^p space, 1 <p < ∞, and any f ∈ L^p(X, μ), the averages

$\text{A}{}_{\mathrm{n}}\text{f=}\text{1}\text{|U}{}_{\mathrm{n}}\text{|}\text{∫}\text{U}{}_{\mathrm{n}}\text{T}{}_{\mathrm{g}}{}^{\mathrm{?1f}}\text{dg (|E|=}\text{left Haar measure in}\text{G)}$

converge in L^p norm, and pointwise μ-a.e. on X, to G-invariant functions $\text{f1}$ in L^p(X, μ). A single sequence {U_n} in G works for all L^p actions of G. This result applies to many nonunimodular groups, which are not handled by previous attempts to produce noncommutative generalizations of the pointwise ergodic theorem.     

Positive solutions and large time behaviors of Schrödinger semigroups,Simon's problem

Let H = ?Δ + V, where V is a multiplication operator by a real-valued function V(x) on Rⁿ which is uniformly Hölder continuous and $\text{(1 + ¦x¦}{}^2\text{)}{}^{\mathrm{<mtext>?</mtext><mtext>2</mtext>}}\text{V(x) ∈ L}{}_{\mathrm{\infty }}\text{(R}{}^{\mathrm{n}}\text{)}$ for some ? > 4. The relationship between existence of positive solutions, with growth conditions, of Hg = 0 and asymptotic behaviors as t → ∞ of e^?th is established. Using it B. Simon's problem for H on R² is solved.     

Wr,p(R)-splines

In [3] Golomb describes, for 1 < p < ∞, the H^r,p(R)-extremal extension $\text{F}{}_1$ of a function $\text{?:E → R}$ (i.e., the H^r,p-spline with knots in E) and studies the cone $\text{H}{}_{1E}{}^{\mathrm{r,p}}$ of all such splines. We study the problem of determining when $\text{F}{}_1$ is in W^r,p ≡ H^r,p ∩ L^p. If $\text{F}{}_1\text{? W}{}^{\mathrm{r,p}}$, then $\text{F}{}_1$ is called a W^r,p-spline, and we denote by $\text{W}{}_{1E}{}^{\mathrm{r,p}}$ the cone of all such splines. If E is quasiuniform, then $\text{F}{}_1\text{? W}{}^{\mathrm{r,p}}$ if and only if . The cone $\text{W}{}_{1E}{}^{\mathrm{r,p}}$ with E quasiuniform is shown to be homeomorphic to l^p. Similarly, $\text{H}{}_{1E}{}^{\mathrm{r,p}}$ is homeomorphic to h^r,p. Approximation properties of the W^r,p-splines are studied and error bounds in terms of the mesh size $\text{¦ E ¦}$ are calculated. Restricting ourselves to the case p = 2 and to quasiuniform partitions E, the second integral relation is proved and better error bounds in terms of $\text{¦ E ¦}$ are derived.     

Projections on spaces of invariant functions

Let (X, ∑, μ) be a measure space and S be a semigroup of measure-preserving transformations T:X → X. In case μ(X) < ∞, Aribaud [1] proved the existence of a positive contractive projection P of L¹(μ) such that for every $\text{? ? L}{}^1\text{(μ), Pf}$ belongs to the closure $\text{C}{}_1\text{(?)}\text{in}\text{L}{}^1\text{(μ)}$ of the convex hull $\text{C(?)}$ of the set {$\text{? ○ T:T ? S}$}. In this paper we extend this result in three directions: we consider infinite measure spaces, vector-valued functions, and L^p spaces with 1 ? p < ∞, and prove that P is in fact the conditional expectation with respect to the σ-algebra Λ of sets of ∑ which are invariant with respect to all T?S.     

Levi-flat extensions from a part of the boundary

Let G be a bounded domain in $\text{C}\text{×}\text{R}$ such that $\text{G×}\text{R}\text{?}\text{C}{}^2$ is strictly pseudoconvex and U an open subset of bG. We define an open subset $\text{Ω}{}^{\mathrm{U}}$ of $\text{G}$ with the property $\text{Ω}{}^{\mathrm{U}}\text{∩bG=U}$ such that the following extension theorem holds true: for every ?∈C(U) there exist two functions $\text{Φ}{}^{\mathrm{\pm }}\text{∈C(Ω}{}^{\mathrm{U}}\text{)}$ such that Φ^±|_U=? and the graphs Γ(Φ^±) of Φ^± are Levi-flat over $\text{Ω}{}^{\mathrm{U}}\text{∩G}$. Moreover, for each $\text{Φ∈C(Ω}{}^{\mathrm{U}}\text{)}$ such that Φ|_U=? and Γ(Φ) is Levi-flat over $\text{Ω}{}^{\mathrm{U}}\text{∩G}$ one has Φ^??Φ?Φ⁺ on $\text{Ω}{}^{\mathrm{U}}$. We also show that if G is diffeomorphic to a 3-ball and U is the union of simply-connected domains each of which is contained either in the “upper” or in the “lower” part of bG (with respect to the u-direction), then $\text{Ω}{}^{\mathrm{U}}$ is the maximal domain of Levi-flat extensions for some function ?∈C(U). To cite this article: N. Shcherbina, G. Tomassini, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Non-archimedean group algebras

The group ring R(G) of a group G over a coefficient ring R is well known and so is the L¹ group algebra

$\text{l}{}_1\text{(G)=}\text{∑}\text{g}\text{α}{}_{\mathrm{g}}\text{g:α∈C,∑|α}{}_{\mathrm{g>}}\text{|<∞}$

. We study in this note

$\text{l(R,G)=}\text{∑}\text{g}\text{α}{}_{\mathrm{g}}\text{g:α}{}_{\mathrm{g}}\text{∈R,g∈G,limα}{}_{\mathrm{g}}\text{=0}$

. where R is Z_p(Q_p) the ring (field) of p-adic integers (numbers) equipped with the p-adic valuation. Analogues of certain well known results for group rings and l₁(G) are obtained for l(R,G).     

On effectively computable realizations of choice functions: Dedicated to Professors Kenneth J. Arrow and Anil Nerode

Let X be a compact, convex subset of R_n, and let $\text{〈R(X),}\text{F}{}_{\mathrm{R}}\text{〉}$ be a recursive space of alternatives, where R(X) is the image of X in a recursive metric space, and $\text{F}{}_{\mathrm{R}}$ is the family of all recursive subsets of R(X). If $\text{C:}\text{F}{}_{\mathrm{R}}\text{→}\text{F}{}_{\mathrm{R}}$ is a non-trivial recursively representable choice function that is rational in the sense of Richter, we prove that C has no recursive realization within Church's Thesis. Our proof is not a diagonalization argument and uses no paradoxical statements from formal systems. Instead, the proof is a Kleene-Post reduction style argument and uses the Turing equivalence between mechanical devices of computation and the recursive functions of Gödel and Kleene.