On the nondegeneracy of the critical points of the Robin function in symmetric domainsSur le non-dégénérescence des points critiques de la fonction de Robin dans les domaines symétriques

Let $\text{Ω}$ be a smooth bounded domain of $\text{R}{}^{\mathrm{N}}$, N?2, which is symmetric with respect to the origin. In this Note we prove that, under some geometrical condition on $\text{Ω}$ (for example convexity in the directions x₁,…,x_N), the Hessian matrix of the Robin function computed at zero is diagonal and strictly negative definite. To cite this article: M. Grossi, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 157–160.     

Singular value decompositions of complex symmetric matrices

If the complex square matrix A is symmetric, i.e. A=A^T, then it has a symmetric singular value decomposition A=Q∑Q^T. An algorithm is presented for the computation of this decomposition.     

On the spectra of a family of positive matrices

It is shown that every positive matrix A can be embedded in an analytic family of positive matrices {A(ν) : ν∈$\text{R}$} in such a way that A(1)=A, $\text{A(0)≡}\text{A}\text{?}$ is symmetric, and A(-1)=A^T. A necessary and sufficient condition that A and Å have the same maximal eigenvalue and that their ergodic limits have the same diagonal elements is stated and proved.     

Roundoff-error analysis of a new class of conjugate-gradient algorithms

We perform the rounding-error analysis of the conjugate-gradient algorithms for the solution of a large system of linear equations Ax=b where Ais an hermitian and positive definite matrix. We propose a new class of conjugate-gradient algorithms and prove that in the spectral norm the relative error of the computed sequence {x_k} (in floating-point arithmetic) depends at worst on ζк^{$\text{3}\text{2}$}, where ζ is the relative computer precision and к is the condition number of A. We show that the residual vectors r_k=Ax_k-b are at worst of order ζк?vA?v ?vx_k?v. We p oint out that with iterative refinement these algorithms are numerically stable. If ζк ² is at most of order unity, then they are also well behaved.     

Spectral properties of zeroth-order pseudodifferential operators

Let Q be a self-adjoint, classical, zeroth order pseudodifferential operator on a compact manifold X with a fixed smooth measure dx. We use microlocal techniques to study the spectrum and spectral family, {E_S}_{S∈$\text{R}$} as a bounded operator on L²(X, dx).Using theorems of Weyl (Rend. Circ. Mat. Palermo, 27 (1909), 373–392) and Kato (“Perturbation Theory for Linear Operators,” Springer-Verlag, 1976) on spectra of perturbed operators we observe that the essential spectrum and the absolutely continuous spectrum of Q are determined by a finite number of terms in the symbol expansion. In particular Spec_ESSQ = range(q(x, ξ)) where q is the principal symbol of Q. Turning the attention to the spectral family {E_S}_{S∈$\text{R}$}, it is shown that if $\text{dE}\text{ds}$ is considered as a distribution on $\text{R}$×X×X it is in fact a Lagrangian distribution near the set $\text{{σ=0}?}\text{T}{}^1\text{(}\text{R}\text{×X×X)}\text{0}$ where (s, x, y, σ, ξ,η) are coordinates on T¹($\text{R}$×X×X) induced by the coordinates (s, x, y) on $\text{R}$×X×X. This leads to an easy proof that$\text{?(Q)}$ is a pseudodifferential operator if ?∈C^∞($\text{R}$) and to some results on the microlocal character of E_s. Finally, a look at the wavefront set of $\text{dE}\text{ds}$ leads to a conjecture about the existence of absolutely continuous spectrum in terms of a condition on q(x, ξ).     

Subordination,rank, and determinism of multivariate stationary sequences

Necessary and sufficient conditions for an arbitrary q-variate stationary sequence x_t, t ∈ $\text{Z}$, to be deterministic are presented. A characterization of the rank r(x) of x_t, t ∈ $\text{Z}$, and a method to construct the Wold-Cramér decomposition for x_t, t ∈ $\text{Z}$, are given. Subordination of q-variate bounded orthogonally scattered vector measures is considered.     

A Euler-Poincaré characteristic for the open set lattices of finite topologies

Let $\text{T}$ be a finite topology. If P and Q are open sets of $\text{T}$ (Q may be the null set) then P is a minimal cover of Q provided Q ? P and there does not exist any open set R of $\text{T}$ such that Q ? R ? P. A subcollection $\text{D}$ of the open sets of $\text{T}$ is termed an i-discrete collection of $\text{T}$ provided $\text{D}$ contains every open O ∈ $\text{T}$ with the property that ? $\text{D}$ ? O ? ? $\text{D}$, $\text{D}$ contains exactly i minimal covers of ? $\text{D}$, and provided ?$\text{D}$ = ?{O | O ∈ $\text{D}$ and O is a minimal cover of ? $\text{D}$}. A single open set is a O-discrete collection. The number of distinct i-discrete collections of $\text{T}$ is denoted by p($\text{T}$, i). If there does not exist any i-discrete collection then p($\text{T}$,i) = 0, and this happens trivially for the case when i is greater than the number of points on which $\text{T}$ is defined. The object of this article is to establish the theorem: For any finite topology $\text{T}$, the quantity E($\text{T}$) = Σ_{i = 0}^∞ (?1)ⁱp($\text{T}$, i) = 1.     

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.     

On the convergence of the symmetric successive overrelaxation method

The symmetric successive overrelaxation (SSOR) iterative method is applied to the solution of the system of linear equations $\text{A}\text{x}\text{=}\text{b}$, where A is an n×n nonsingular matrix. We give bounds for the spectral radius of the SSOR iterative matrix when A is an Hermitian positive definite matrix, and when A is a nonsingular M-matrix. Then, we discuss the convergence of the SSOR iterative method associated with a new splitting of the matrix A which extends the results of Varga and Buoni [1].     

On almost-periodic linear differential systems of Millionščikov and Vinograd

If P_n(x, y) and Q_n(x, y) are real homogeneous polynomials of degree n with no common real linear factors, then the system $\text{x}\text{?}\text{= P}{}_{\mathrm{n}}\text{,}\text{y}\text{?}\text{= Q}{}_{\mathrm{n}}$ has a unique critica point at the origin. If the origin is a non-rotation point, the global structure of the system in the plane is a sequence of sectors separated by integral rays, which is symmetric with respect to the origin. Consider the problem of realizing a similar global picture for which the sequence of sectors is not symmetric, by polynomial vector fields of minimal degree. The schemes are characterized for which such a realization is possible and examples are constructed. For the homogeneous case, a method is given for finding P_n and Q_n from the scheme which is simpler than the original method of Forster.     

The asymptotic distribution of lattice points in hyperbolic space

Suppose x and y are two points in the upper half-plane H⁺, and suppose Γ is a discontinuous group of conformal automorphisms of H⁺ having compact fundamental domain S. Denote by N_T(x, y) the number of points of the form γy (γ?Γ) in the closed disc of hyperbolic radius T centered about x, and set $\text{Q}{}_{\mathrm{T}}\text{(x, y) = N}{}_{\mathrm{T}}\text{(x, y) ?}\text{V(T)}\text{A}\text{,}\text{where}\text{V(T)}$ is the hyperbolic area of the disc, and A is the hyperbolic area of S. The asymptotic behavior of the quantity ?_LxL(Q_T(x,y))² is estimated in terms of small eigenvalues of the Laplacian on functions automorphic under Γ.     

On an inequality of Tosio Kato for degenerate-elliptic operators

Let Ω be a domain in Rⁿ and T = ∑_{j,k = 1}ⁿ(?_j ? ib_j(x)) a_jk(x)(?_k ? ib_k(x)), where the a_jk and the b_j are real valued functions in $\text{C}{}^1\text{(Ω)}$, and the matrix (a_jk(x)) is symmetric and positive definite for every $\text{x ? Ω}$. If T₀ is the same as T but with b_j = 0, j = 1,…, n, and if u and Tu are in $\text{L}{}_{\mathrm{<mtext>loc</mtext>}}{}^1\text{(Ω)}$, then T. Kato has established the distributional inequality $\text{T}{}_0\text{¦ u ¦ ?}\text{Re[(sign}$ ū) Tu]. He then used this result to obtain selfadjointness results for perturbed operators of the form T ? q on Rⁿ. In this paper we shall obtain Kato's inequality for degenerate-elliptic operators with real coefficients. We then use this to get selfadjointness results for second order degenerate-elliptic operators on Rⁿ.     

On the fundamental theorem of surface theory under weak regularity assumptions

We consider a symmetric, positive definite matrix field of order two and a symmetric matrix field of order two that together satisfy the Gauss and Codazzi–Mainardi equations in a connected and simply connected open subset of $\text{R}{}^2$. If these fields are of class C² and C¹ respectively, the fundamental theorem of surface theory asserts that there exists a surface immersed in the three-dimensional Euclidean space with the given matrix fields as its first and second fundamental forms. The purpose of this Note is to prove that this theorem still holds true under the weaker regularity assumptions that these fields are of class W^1,∞_loc and L^∞_loc respectively, the Gauss and Codazzi–Mainardi equations being then understood in a distributional sense. To cite this article: S. Mardare, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Simple components of group algebras Q[G] central over real quadratic fields

Let k be a real quadratic field, and $\text{U}$ a central division quaternion algebra over k. In this paper sufficient conditions are given to insure that $\text{U}$ appears in a simple component of the group algebra Q[G] of some finite group G over the rational field Q. In particular, when k is assumed to be Q(√2) or Q(√5), the necessary and sufficient conditions for $\text{U}$ to appear in some Q[G] are given.     

Abstract kinetic equations relevant to supercritical media

The abstract Hilbert space equation $\text{(T?)′(x) = ?(A?)(x)}$, x∈$\text{R}$₊, is studied with a partial range boundary condition $\text{(Q}{}_{\mathrm{+}}\text{?)(0) = ?}{}_{\mathrm{+}}\text{?}\text{Ran}\text{Q}{}_{\mathrm{+}}$. Here T is bounded, injective and self-adjoint, A is Fredholm and self-adjoint, with finite-dimensional negative part, and Q₊ is the orthogonal projection onto the maximal T-positive T-invariant subspace. This models half-space stationary transport problems in supercritical media. A complete existence and uniqueness theory is developed.     

On the characterization of generalized inverses by bordered matrices

A method to characterize the class of all generalized inverses of any given matrix A is considered. Given a matrix A and a nonsingular bordered matrix T of A,

$\text{T=}\text{A}\text{P}\text{Q}\text{R}$

the submatrix, corresponding to A, of T^-1 is a generalized inverse of A, and conversely, any generalized inverse of A is obtainable by this method. There are different definitions of a generalized inverse, and the arguments are developed with the least restrictive definition. The characterization of the Moore-Penrose inverse, the most restrictive definition, is also considered.     

Residue properties of certain quadratic units

Explicit formulas are given for the quadratic and quartic characters of units of certain quadratic fields in terms of representations by positive definite binary quadratic forms, as conjectured by Leonard and Williams (Pacific J. Math.71 (1977), Rocky Mountain J. Math.9 (1979)), and by Lehmer (J. Reine Angew. Math.268/69 (1974)). For example, if p and a are primes such that p≡1 (mod 8), q≡5 (mod 8) and the Legendre symbol $\text{(}\text{q}\text{p}\text{)=1}$, and if ε is the fundamental unit of $\text{Q}$(√q), then $\text{(}\text{ε}\text{p}\text{)}{}_4\text{=(?1)}{}^{\mathrm{b+d}}$, where p=a²+16b² and p^k=c²+16qd² with k odd.