nth order Stieltjes differential boundary operators and Stieltjes differential boundary systems

This article discusses linear differential boundary systems, which include nth-order differential boundary relations as a special case, in $\text{L}$_n^p[0,1] × $\text{L}$_n^p[0,1], 1 ? p < ∞. The adjoint relation in $\text{L}$_n^q[0,1] × $\text{L}$_n^q[0,1], $\text{1}\text{p}\text{+}\text{1}\text{q}\text{= 1}$, is derived. Green's formula is also found. Self-adjoint relations are found in $\text{L}$_n²[0,1] × $\text{L}$_n²[0,1], and their connection with Coddington's extensions of symmetric operators on subspaces of $\text{L}$_n^p[0,1] × $\text{L}$_n²[0,1] is established.     

The functions operating on multiplier algebras

Let 1 < p < ∞ with p ≠ 2. Let G denote one of the groups $\text{T}$ⁿ, $\text{R}$ⁿ, or $\text{Z}$ⁿ. We show that only entire functions operate in certain algebras of multipliers on L_p(G).     

A remark on the transformation formula of theta functions associated to positive definite quadratic forms

Let L be a positive Z-lattice with level N = cd, (c, d) = 1. Then the Fourier expansion at cusp $\text{1}\text{d}$ of the theta function associated to L is a theta function associated to L₁, where a lattice L₁ is defined by Z_pL₁ = Z_pL for $\text{p?c}$, Z_pL₁ = the dual of Z_pL for p | c.     

Multipliers of the Hölder classes

Following the lines of [13] we introduce the classes of mixed smoothness $\text{L}$α_p(Rⁿ), $\text{L}$α_p(Zⁿ) for a multi-index α = (α₁,…, α_n). Such classes are naturally tied up with the study of semi-elliptic differential and difference equations.Besides a brief presentation of such classes, we concentrate our research on the study of mixed homogeneous multipliers with homogeneity β = (β₁, …, β_n) and their preservation of mixed homogeneous Hölder classes $\text{L}$_α^∞, for a different multi-index α.In the last paragraph we apply the results to produce various improvements of the classical Schauder's estimates, for differential and difference equations, in the parabolic and elliptic case.     

NP-completeness for minimizing maximum edge length in grid embeddings

Given an embedding f: G →$\text{Z}$² of a graph G in the two-dimensional lattice, let |f| be the maximum L₁ distance between points f(x) and f(y) where xy is an edge of G. Let B₂(G) be the minimum |f| over all embeddings f. It is shown that the determination of B₂(G) for arbitrary G is NP-complete. Essentially the same proof can be used in showing the NP-completeness of minimizing |f| over all embeddings f: G → $\text{Z}$ⁿ of G into the n-dimensional integer lattice for any fixed n ≥ 2.     

Classes of orderings of measures and related correlation inequalities. I. Multivariate totally positive distributions

A function f(x) defined on $\text{X}$ = $\text{X}$₁ × $\text{X}$₂ × … × $\text{X}$_n where each $\text{X}$_i is totally ordered satisfying f(x ∨ y) f(x ∧ y) ≥ f(x) f(y), where the lattice operations ∨ and ∧ refer to the usual ordering on $\text{X}$, is said to be multivariate totally positive of order 2 (MTP₂). A random vector Z = (Z₁, Z₂,…, Z_n) of n-real components is MTP₂ if its density is MTP₂. Classes of examples include independent random variables, absolute value multinormal whose covariance matrix Σ satisfies ?DΣ^?1D with nonnegative off-diagonal elements for some diagonal matrix D, characteristic roots of random Wishart matrices, multivariate logistic, gamma and F distributions, and others. Composition and marginal operations preserve the MTP₂ properties. The MTP₂ property facilitate the characterization of bounds for confidence sets, the calculation of coverage probabilities, securing estimates of multivariate ranking, in establishing a hierarchy of correlation inequalities, and in studying monotone Markov processes. Extensions on the theory of MTP₂ kernels are presented and amplified by a wide variety of applications.     

Periodic-type functionals and their extensions

Let Ω denote a simply connected domain in the complex plane and let $\text{K[Ω]}$ be the collection of all entire functions of exponential type whose Laplace transforms are analytic on Ω′, the complement of Ω with respect to the sphere. Define a sequence of functionals $\text{{L}{}_{\mathrm{n}}\text{}}\text{on}\text{K[Ω]}$ by $\text{L}{}_{\mathrm{n}}\text{(f) =}\text{1}\text{2πi}\text{∝}{}_{\mathrm{\Gamma }}\text{g}{}_{\mathrm{n}}\text{(ζ) F(ζ) dζ}$, where F denotes the Laplace transform of f, Γ ? Ω is a simple closed contour chosen so that F is analytic outside and on Ω, and g_n is analytic on Ω. The specific functionals considered by this paper are patterned after the Lidstone functions, L_2n(f) = f⁽²ⁿ⁾(0) and L_{2n + 1}(f) = f⁽²ⁿ⁾(1), in that their sequence of generating functions {g_n} are “periodic.” Set g_{pn + k}(ζ) = h_k(ζ) ζ^pn, where p is a positive integer and each h_k (k = 0, 1,…, p ? 1) is analytic on Ω. We find necessary and sufficient conditions for $\text{f ∈ k[Ω]}\text{with}\text{L}{}_{\mathrm{n}}\text{(f) = 0 (n = 0, 1,…)}$. DeMar previously was able to find necessary conditions [7]. Next, we generalize {L_n} in several ways and find corresponding necessary and sufficient conditions.     

Darstellung durch definite ternäre quadratische Formen

We study the representation behaviour of a $\text{Z}$-lattice L on a positive definite ternary quadratic space V over $\text{Q}$. As a new tool for this we use the Bruhat-Tits building of the spingroup of the completion of V at a suitable prime p. In Section 2 we show how this can be described in an elementary way as a graph whose vertices are the $\text{Z}$_p-maximal lattices on V_p, and in Section 4 we let this graph induce a graph, whose vertices are lattices on V, which differ from L only at the prime p. In Section 3 we investigate which lattices from the graph defined in Section 2 have a given vector in common. The results are used in Sections 5 and 6 to obtain information on the representation behaviour of some special lattices. In Section 5 we get a list of lattices, which represent all numbers they represent locally everywhere; this list contains that given by Watson in [16]. In Section 6 we sharpen a result of Jones and Pall from [6].     

The covering problem for the fields Q(−1)12 and Q(−3)12

Let k be a positive square free integer, $\text{N(?k)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$ the ring of algebraic integers in $\text{Q(?k)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$ and S the unit sphere in C_n, complex n-space. If A₁,…, A_n are n linearly independent points of C_n then L = {u₁Au + … + u_nA_n} with $\text{u}{}_{\mathrm{r}}\text{∈ N(?k)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$ is called a k-lattice. The determinant of L is denoted by d(L). If L is a covering lattice for S, then $\text{θ(S, L) =}\text{V(S)}\text{d(L)}$ is the covering density. L is called locally (absolutely) extreme if θ(S, L) is a local (absolute) minimum. In this paper we determine unique classes of extreme lattices for k = 1 and k = 3.     

Pointwise convergence of eigenfunction expansions associated with ordinary differential operators

With an ordinary differential expression L = ∑ⁿ_k=0P_kD^k on an open interval I?$\text{r}$ is associated a selfadjoint operator H in a Hilbert space, possibly beyond $\text{K}$=L²(l). The set $\text{D}$H∩$\text{K}$ only depends on the generalized spectral family associated with H. It is shown that the (differentiated) eigenfunction expansion given by H converges uniformly on compact subintervals of l for functions in $\text{D}$(H)∩$\text{L}$ In case H is a semibounded selfadjoint operator in $\text{K}$=L²T, a similar result is proved for functions in $\text{D}$|H|, which is the set of all $\text{K}$∈$\text{K}$ for which there exists a sequence f_n∈(H) such that f_n→f in $\text{H}$ and (H(f_n ? f_m), f_n ? f_m → 0 as n, m → ∞.     

Hecke operators and an identity for the dedekind sums

If h, k ∈ Z, k > 0, the Dedekind sum is given by

$\text{s(h,k) =}\text{∑}\text{μ=1}\text{k}\text{μ}\text{k}\text{hμ}\text{k}$

, with

$\text{((x)) = x ? [x] ?}\text{1}\text{2}\text{, x?Z}$

,

$\text{=0 , x∈Z}$

. The Hecke operators T_n for the full modular group SL(2, Z) are applied to log η(τ) to derive the identities (n ∈ Z⁺)

$\text{∑ ∑ s(ah+bk,dk) = σ(n)s(h,k)}$

,

$\text{ad=n b(}\text{mod}\text{d)}$

$\text{d>0}$

where (h, k) = 1, k > 0 and σ(n) is the sum of the positive divisors of n. Petersson had earlier proved (1) under the additional assumption k ≡ 0, h ≡ 1 (mod n). Dedekind himself proved (1) when n is prime.     

On r-potent linear mappings

Let L(E) be the set of all linear mappings of a vector space E. Let Z₊ be the set of all positive integers. A nonzero element ? in L(E) is called an r-potent if $\text{?}{}^{\mathrm{r}}\text{=?}\text{and}\text{?}{}^{\mathrm{i}}\text{≠?}\text{for}\text{1<i<r (i,r∈Z}{}_{\mathrm{+}}\text{)}$. We prove that $\text{S(E)= {?∈L(E): ?}\text{is singular}\text{}}$ is a semigroup generated by the set of all r-potents in S(E), where r is a fixed positive integer with 2?r?n=dim(E).     

Exposants de Lyapounov pour opérateurs de Schrödinger discrètes quasi-périodiquesLyapounov exponents for discrete,quasi-periodic Schrödinger operators

We consider quasi-periodic Schrödinger operators H on $\text{Z}$ of the form H=H_λ,x,ω=λv(x+nω)δ_n,n′+Δ where v is a non-constant real analytic function on the d-torus $\text{T}{}^{\mathrm{d}}\text{(d?1)}$ and Δ denotes the discrete lattice Laplacian on $\text{Z}$. Denote by L_ω(E) the Lyapounov exponent, considered as function of the energy E and the rotation vector $\text{ω∈}\text{T}{}^{\mathrm{d}}$. It is shown that for |λ|>λ₀(v), there is the uniform minoration $\text{L}{}_{\mathrm{\omega }}\text{(E)>}\text{1}\text{2}\text{log}\text{|λ|}$ for all E and ω. For all λ and ω, L_ω(E) is a continuous function of E. Moreover, L_ω(E) is jointly continuous in (ω,E), at any point $\text{(ω}{}_0\text{,E}{}_0\text{)∈}\text{T}{}^{\mathrm{d}}\text{×}\text{R}$ such that k·ω₀≠0 for all $\text{k∈}\text{Z}{}^{\mathrm{d}}\text{?{0}}$. To cite this article: J. Bourgain, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 529–531.     

A presentation for the special automorphism group of a free group

A presentation is given for SA_n, the group of automorphisms of determinant 1 of a free group F_n of rank n. The canonical isomorphisms $\text{H}{}_2\text{(A}{}_{\mathrm{n}}\text{,}\text{Z}\text{)}\text{?}\text{H}{}_2\text{(SA}{}_{\mathrm{n}}\text{,}\text{Z}\text{)}\text{?}\text{K}{}_2\text{(}\text{Z}\text{)}$ are established for n ≥ 5, where A_n is the full group of automorphisms of F_n.     

Spectral theory of commuting self-adjoint partial differential operators

Let Ω denote a connected and open subset of $\text{R}$ⁿ. The existence of n commuting self-adjoint operators H₁,…, H_n on $\text{L}{}^2\text{(Ω)}$ such that each H_j is an extension of $\text{−}\text{i∂}\text{∂x}{}_{\mathrm{j}}$ (acting on $\text{C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(Ω))}$ is shown to be equivalent to the existence of a measure μ on $\text{R}$ⁿ such that f → $\text{}\text{̂}$tf (the Fourier transform of f) is unitary from $\text{L}{}^2\text{(Ω)}$ onto Ω. It is shown that the support of μ can be chosen as a subgroup of $\text{R}$ⁿ iff H₁,…, H_n can be chosen such that the unitary groups generated by H₁,…, H_n act multiplicatively on $\text{L}{}^2\text{(Ω)}$. This happens iff Ω (after correction by a null set) forms a system of representatives for the quotient of $\text{R}$ⁿ by some subgroup, i.e., iff Ω is essentially a fundamental domain.     

Spectral theory of finite volume domains in Rn

Let Ω be an arbitrary open subset of $\text{R}$ⁿ of finite positive measure, and assume the existence of a subset Λ ? $\text{R}$ⁿ such that the exponential functions e_λ = exp i(λ₁x₁ + … + λ_nx_n), λ = (λ₁,…, λ_n) ∈ Λ, form an orthonormal basis for $\text{L}{}_2\text{(Ω)}$ with normalized measure. Assume 0 ∈ Λ and define subgroups K and A of ($\text{R}$ⁿ, +) by K = Λ⁰ = {γ ∈ $\text{R}$ⁿ:γ·λ ∈ 2π$\text{Z}$}, A = {a ∈ $\text{R}$ⁿ:U_a$\text{m}$ U1_a = $\text{m}$}, where U_t is the unitary representation of $\text{R}$ⁿ on $\text{L}{}_2\text{(Ω)}$ given by U_te = e^itλe_λ, t ∈ $\text{R}$ⁿ, λ ∈ Λ, and where $\text{m}$ is the multiplication algebra of $\text{L}{}_{\mathrm{\infty }}\text{(Ω)}$ on L₂. Assume that A is discrete. Then there is a discrete subgroup D ? A of dimension n, a fundamental domain $\text{D}$ for D, and finite sets of representers R_Λ, R_Γ, $\text{R}{}_{\mathrm{\Omega }}$, each containing 0, R_Λ for $\text{A}\text{K}$ in K⁰, and $\text{R}{}_{\mathrm{\Omega }}$ for $\text{A}\text{K}$ in A such that Ω is disjoint union of translates of $\text{D}$: Ω = ∪_a∈RΩ (a + $\text{D}$), neglecting null sets, and Λ = R_Λ ⊕ D⁰. If R_Γ is a set of representers for $\text{D}\text{A}$ in D, then Γ = R_Γ ⊕ K is a translation set for Ω, i.e., Ω ⊕ Γ = $\text{R}$ⁿ, direct sum, (neglecting null sets). The case A = $\text{R}$ⁿ corresponds to Ω = $\text{D}$, Λ = D⁰ and Γ = K. This last case corresponds in turn to a function theoretic assumption of Forelli.     

Cesàro asymptotics for the orders of SLk(Zn) and GLk(Zn) as n→∞

Given an integer k>0, our main result states that the sequence of orders of the groups $\text{SL}{}_{\mathrm{k}}\text{(}\text{Z}{}_{\mathrm{n}}\text{)}$ (respectively, of the groups $\text{GL}{}_{\mathrm{k}}\text{(}\text{Z}{}_{\mathrm{n}}\text{)}$) is Cesàro equivalent as n→∞ to the sequence C₁(k)n^k2?1 (respectively, C₂(k)n^k2), where the coefficients C₁(k) and C₂(k) depend only on k; we give explicit formulas for C₁(k) and C₂(k). This result generalizes the theorem (which was first published by I. Schoenberg) that says that the Euler function ?(n) is Cesàro equivalent to $\text{n}\text{6}\text{π}{}^2$. We present some experimental facts related to the main result. To cite this article: A.G. Gorinov, S.V. Shadchin, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

On manifolds supporting quasi-Anosov diffeomorphisms

Let M be an n-dimensional manifold supporting a quasi-Anosov diffeomorphism. If n=3 then either $\text{M=}\text{T}{}^3$, in which case the diffeomorphisms is Anosov, or else its fundamental group contains a copy of $\text{Z}{}^6$. If n=4 then Π₁(M) contains a copy of $\text{Z}{}^4$, provided that the diffeomorphism is not Anosov. To cite this article: J. Rodriguez Hertz et al., C. R. Acad. Sci. Paris, Ser. I 334 (2002) 321–323.