Détermination des images d'un point de base d'une surface rationnelle tensorielle définie par des vecteurs massiquesDetermination of the images of a base point of a tensorial rational surface defined by massic vectors

In this Note, we demonstrate that the image of a base point of a rational surface defined in $\text{R}{}^3$ is a set of rational curves defined in $\text{R}{}^3$. A base point is a parameter value for which the rational parametrization takes the value of $\text{(}\text{0}\text{0}\text{,}\text{0}\text{0}\text{,}\text{0}\text{0}\text{)}$ (see [4,5]). This result was studied by Clebsch in [1]. Here, we use the formalism of massic vectors introduced by Fiorot and Jeannin in [3]. This allows us to give explicitly these rational curves via their massic vectors. These massic vectors are proportional to those whose indices belong to the Newton polygon of the surface. Moreover, it is shown that by using fractional changes of variables, it is possible to obtain any image curve directly without having to apply successive changes of variables as usually done in algebraic geometry. To cite this article: O. Gibaru, J.-C. Fiorot, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 283–288.     

Abelian fibrations on S[n]

Let $\text{S}\text{→}\text{φ}\text{P}{}^1$ be an elliptic fibration on a K3 surface S. Then the composition $\text{S}{}^{\mathrm{[n]}}\text{→}\text{π}\text{S}{}^{\mathrm{(n)}}\text{→}\text{sym}{}^{\mathrm{n}}\text{φ}\text{P}{}^{\mathrm{n}}$ gives an Abelian fibration on S^[n]. Let E be the exceptional divisor of π, then symⁿφ°π(E) is of dimension n?1. We prove the inverse in this Note. To cite this article: B. Fu, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Commuting self-adjoint partial differential operators and a group theoretic problem

In Rⁿ let Ω denote a Nikodym region (= a connected open set on which every distribution of finite Dirichlet integral is itself in $\text{L}{}^2\text{(Ω))}$. The existence of n commuting self-adjoint operators $\text{H}{}_1\text{,…, H}{}_{\mathrm{n}}\text{in}\text{L}{}^2\text{(Ω)}$ such that each H_j is a restriction of $\text{?i β}\text{βx}{}_{\mathrm{j}}$ (acting in the distribution sense) is shown to be equivalent to the existence of a set Λ ?Rⁿ such that the restrictions to Ω of the functions exp i ∑ λ_jx_j form a total orthogonal family in $\text{L}{}^2\text{(Ω)}$. If it is required, in addition, that the unitary groups generated by H₁,…, H_n act multiplicatively on $\text{L}{}^2\text{(Ω)}$, then this is shown to correspond to the requirement that Λ can be chosen as a subgroup of the additive group Rⁿ. The measurable sets Ω ?Rⁿ (of finite Lebesgue measure) for which there exists a subgroup Λ ?Rⁿ as stated are precisely those measurable sets which (after a correction by a null set) form a system of representatives for the quotient of Rⁿ by some subgroup Γ (essentially the dual of Λ).     

Un analogue d'un théorème de Hardy pour la transformation de DunklAn analogue of Hardy's theorem for the Dunkl transform

In this Note we give a generalization of Hardy's theorem for the Dunkl transform $\text{F}{}_{\mathrm{D}}$ on $\text{R}{}^{\mathrm{d}}$. More precisely, for all a>0, b>0 and p,q∈[1,+∞], we determine the measurable functions f such that and , where $\text{L}{}_{\mathrm{k}}{}^{\mathrm{p}}\text{(}\text{R}{}^{\mathrm{d}}\text{)}$ are the L^p spaces associated with the Dunkl transform. To cite this article: L. Gallardo, K. Trimèche, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 849–854.     

A duality principle for lattices and categories of modules

Let R be a ring with 1, R^op the opposite ring, and R-Mod the category of left unitary R-modules and R-linear maps. A characterization of well-powered abelian categories $\text{A}$ such that there exists an exact embedding functor $\text{A}$→R-Mod is given. Using this characterization and abelian category duality, the following duality principles can be established.Theorem. There exists an exact embedding functor $\text{A}$→R-Mod if and only if there exists an exact embedding functor $\text{A}$^op→R^op-Mod.Corollary. If R-Mod has a specified diagram-chasing property, then R^op-Mod has the dual property.A lattice L is representable by R-modules if it is embeddable in the lattice of submodules of some unitary left R-module; $\text{L}$(R) denotes the quasivariety of all lattices representable by R-modules.Theorem. A lattice L is representable by R-modules if and only if its order dual L¹ is representable by R^op-modules. That is, $\text{L}\text{(}\text{R}{}^{\mathrm{op}}\text{)={L}{}^1\text{:L?}\text{L}\text{(}\text{R}\text{)}}$.If $\text{R}$ is a commutative ring with 1 and a specified diagram-chasing result is satisfied in R-Mod, then the dual result is also satisfied in R-Mod. Furthermore, $\text{L}\text{(}\text{R}\text{)}$ is self-dual: $\text{L}\text{(}\text{R}\text{)= {L}{}^1\text{:L?}\text{L}\text{(}\text{R}\text{)}.}$     

Minimax estimators for a multinormal precision matrix

Let S_p×p ～ Wishart (Σ, k), Σ unknown, k > p + 1. Minimax estimators of Σ^?1 are given for L₁, an Empirical Bayes loss function; and L₂, a standard loss function (R_i ≡ E(L_i ∣ Σ), i = 1, 2). The estimators are $\text{Σ}\text{?}{}^{\mathrm{?1}}\text{=}\text{a}\text{S}{}^{\mathrm{?1}}\text{+}\text{br}\text{(S)I}{}_{\mathrm{p\times p}}$, a, b ≥ 0, r(·) a functional on $\text{R}{}^{\mathrm{<mtext>p(p+2)</mtext><mtext>2</mtext>}}$. Stein, Efron, and Morris studied the special cases $\text{Σ}{}_{\mathrm{<mtext>a</mtext>}}{}^{\mathrm{?1}}\text{=}\text{a}\text{S}{}^{\mathrm{?1}}\text{(E}\text{Σ}\text{?}{}_{\mathrm{<mtext>k?p?1</mtext>}}{}^{\mathrm{?1}}\text{= Σ}{}^{\mathrm{?1}}\text{)}$ and $\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{=}\text{a}\text{S}{}^{\mathrm{?1}}\text{+ (b/tr S)I}$, for certain, a, b. From their work $\text{R}{}_1\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{; S) ≤ R}{}_1\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_{\mathrm{<mtext>a</mtext>}}{}^{\mathrm{?1}}\text{; S) (?Σ)}$, a = k ? p ? 1, b = p² + p ? 2; whereas, we prove $\text{R}{}_2\text{(Σ}{}^{\mathrm{?1}}\text{Σ}\text{?}{}_{\mathrm{<mtext>a</mtext>}}{}^{\mathrm{?1}}\text{; S) ≤}\text{R}{}_2\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{; S) (?Σ)}$. The reversal is surprising because $\text{L}{}_1\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{; S) →}\text{L}{}_2\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{; S)}$ a.e. (for a particular L₂). Assume $\text{R}$ (compact) ? $\text{S}$, $\text{S}$ the set of p × p p.s.d. matrices. A “divergence theorem” on functions F_p×p : $\text{R}$ → $\text{S}$ implies identities for R_i, i = 1, 2. Then, conditions are given for $\text{R}{}_{\mathrm{i}}\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}^{\mathrm{?1}}\text{; S) ≤}\text{R}{}_{\mathrm{i}}\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{; S) ≤}\text{R}{}_{\mathrm{i}}\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_{\mathrm{<mtext>a</mtext>}}{}^{\mathrm{?1}}\text{; S) (?Σ)}$, i = 1, 2. Most of our results concern estimators with r(S) = t(U)/tr(S), U = p ∣S∣^1/p/tr(S).     

Rigorous derivation of nonlinear plate theory and geometric rigidityDérivation rigoureuse de la théorie non linéaire des plaques et rigidité géométrique

We show that nonlinear plate theory arises as a Γ-limit of three-dimensional nonlinear elasticity. A key ingredient in the proof is a sharp rigidity estimate for maps $\text{v:(0,1)}{}^3\text{→}\text{R}{}^3$. We show that the L² distance of ?v from a single rotation is bounded by a multiple of the L² distance from the set SO(3) of all rotations. To cite this article: G. Friesecke et al., C. R. Acad. Sci. Paris, Ser. I 334 (2002) 173–178     

Biharmonic problem in exterior domains

We study here a biharmonic equation in an exterior domain of $\text{R}{}^{\mathrm{n}}$. We give in L^p theory, with 1<p<∞ existence, uniqueness and regularity results. To cite this article: C. Amrouche, M. Fontes, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

On a property of the set of radiation patterns

Consider the exterior boundary value problem (▽² + K²) u = 0, in Ω, k >0. $\text{u¦}{}_{\mathrm{\Gamma }}\text{= h}$, where Γ is a smooth closed connected surface in $\text{R}$³, $\text{u ~}\text{exp}\text{(ik ¦x¦)¦x¦}{}^{\mathrm{?1}}\text{∝(k, n)}\text{as}\text{¦X¦→ ∞, n = x¦x¦}{}^{\mathrm{?1}}$, ∝ is called the radiation pattern. We prove that when h runs through any dense set in L²(Γ) the corresponding radiation pattern ∝(k,n) runs through a dense set in L²(S²) for any k >0, where S² is the unit sphere in $\text{R}$³.     

Up to isometries,a deformation is a continuous function of its metric tensorAux isométries près,une déformation est une fonction continue de son tenseur métrique

If the Riemann–Christoffel tensor associated with a field of class $\text{C}{}^2$ of positive definite symmetric matrices of order three vanishes in a connected and simply connected open subset $\text{Ω?}\text{R}{}^3$, then this field is the metric tensor field associated with a deformation of class $\text{C}{}^3$ of the set $\text{Ω}$, uniquely determined up to isometries of $\text{R}{}^3$. We establish here that the mapping defined in this fashion is continuous, for ad hoc metrizable topologies. To cite this article: P.G. Ciarlet, F. Laurent, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 489–493.     

Asymptotic behavior for an almost periodic,strongly dissipative wave equation

This paper deals with asymptotic behavior for (weak) solutions of the equation $\text{u}{}_{\mathrm{tt}}\text{? Δu + β(u}{}_{\mathrm{t}}\text{) ? ?(t, x)}$, on $\text{R}$⁺ × Ω; u(t, x) = 0, on $\text{R}$⁺ × ?Ω. If $\text{?∈L∞(R}{}^{\mathrm{+}}\text{,L}{}^2\text{(Ω))}$ and β is coercive, we prove that the solutions are bounded in the energy space, under weaker assumptions than those used by G. Prouse in a previous work. If in addition $\text{?}{}_{\mathrm{t}}\text{∈S}{}^2\text{(R}{}^{\mathrm{+}}\text{,L}{}^2\text{(Ω))}$ and ? is srongly almost-periodic, we prove for strongly monotone β that all solutions are asymptotically almost-periodic in the energy space. The assumptions made on β are much less restrictive than those made by G. Prouse: mainly, we allow β to be multivalued, and in the one-dimensional case β need not be defined everywhere.     

Asymptotic behavior of a stochastic growth process associated with a system of interacting branching random walksComportement asymptotique d'un processus stochastique de croissance associé à un système de marches aléatoires en interaction

We study a continuous time growth process on $\text{Z}{}^{\mathrm{d}}$ (d?1) associated to the following interacting particle system: initially there is only one simple symmetric continuous time random walk of total jump rate one located at the origin; then, whenever a random walk visits a site still unvisited by any other random walk, it creates a new independent random walk starting from that site. Let us call P_d the law of such a process and S⁰_d(t) the set of sites, visited by all walks by time t. We prove that there exists a bounded, non-empty, convex set $\text{C}{}_{\mathrm{d}}\text{?}\text{R}{}^{\mathrm{d}}$, such that for every ε>0, P_d-a.s. eventually in t, the set S_d⁰(t) is within an ε neighborhood of the set [C_dt], where for $\text{A?}\text{R}{}^{\mathrm{d}}$ we define $\text{[A]:=A∩}\text{Z}{}^{\mathrm{d}}$. Moreover, for d large enough, the set C_d is not a ball under the Euclidean norm. We also show that the empirical density of particles within S_d⁰(t) converges weakly to a product Poisson measure of parameter one. To cite this article: A.F. Ram??rez, V. Sidoravicius, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 821–826.     

A Note on pinching sphere theorem

Let M²ⁿ be a 2n-dimensional compact, simply connected Riemannian manifold without boundary and S²ⁿ be the unit sphere of 2n+1 dimension Euclidean space $\text{R}{}^{\mathrm{2n+1}}$. We prove in this note that if the sectional curvature K_M varies in (0,1] and the volume V(M) is not larger than $\text{(}\text{3}\text{2}\text{+η)V(S}{}^{\mathrm{2n}}\text{)}$ for some positive number η depending only on n, then M²ⁿ is homeomorphic to S²ⁿ. To cite this article: Y. Wen, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

The Föppl–von Kármán plate theory as a low energy Γ-limit of nonlinear elasticityLa théorie Föppl–von Kármán des plaques comme Γ-limite de l'élasticité non linéaire

We show that the Föppl–von Kármán theory arises as a low energy Γ-limit of three-dimensional nonlinear elasticity. A key ingredient in the proof is a generalization to higher derivatives of our rigidity result [5] that for maps $\text{v:(0,1)}{}^3\text{→}\text{R}{}^3$, the L² distance of ?v from a single rotation is bounded by a multiple of the L² distance from the set SO(3) of all rotations. To cite this article: G. Friesecke et al., C. R. Acad. Sci. Paris, Ser. I 335 (2002) 201–206.     

The Knaster problem and the geometry of high-dimensional cubes

We study questions of the following type: Given positive semi-definite matrix $\text{G}$, does there exist a sequence of vectors in $\text{R}{}^{\mathrm{n}}$ whose Grammian equals to $\text{G}$ and which has some specified additional properties (typically related to the sup norm)? In particular, we show that the answer to the 1947 Knaster problem about real functions on spheres is negative for sufficiently large dimensions. To cite this article: B.S. Kashin, S.J. Szarek, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

The Neumann problem in the half-spaceLe problème de Neumannn dans le demi-espace

We study here the nonhomogeneous Neumann problem in the half-space $\text{R}{}^{\mathrm{N}}{}_{\mathrm{+}}$ with N?2. We give in L^p theory, with 1<p<∞, a basic existence and regularity results in weighted Sobolev spaces. To cite this article: C. Amrouche, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 151–156.     

On Lp-spectrum of elliptic operators

For elliptic operators $\text{A = ∑}{}_{\mathrm{¦\alpha ¦\; ?\; m}}\text{a}{}_{\mathrm{\alpha }}\text{(x) D}{}^{\mathrm{\alpha }}$ on Rⁿ and certain of their singular perturbations $\text{B = ∑}{}_{\mathrm{¦\alpha ¦\; ?\; m}}\text{b}{}_{\mathrm{\alpha }}\text{(x)D}{}^{\mathrm{\alpha }}$ relative compactness of B with respect to A is established. This result applies to the study of L^p-spectra of elliptic operators for different p.     

Trace formulas for a class of Toeplitz-like operators II

Let P_T denote the orthogonal projection of L²(R¹, dΔ) onto the space of entire functions of exponential type ? T which are square summable on the line with respect to the measure $\text{dΔ(γ) = ¦ h(γ)¦}{}^2\text{dγ}$, and let G denote the operator of multiplication by a suitably restricted complex valued function g. It is shown that if $\text{(γ}{}^2\text{+ 1)}{}^{\mathrm{?1}}\text{log}\text{¦ h(γ)¦}$ is summable, if $\text{¦ h ¦}{}^{\mathrm{?2}}$ is locally summable, and if $\text{h}\text{h}{}^{\mathrm{\#}}$ belongs to the span in L^∞ of e^?iyTH^∞:T ? 0, in which h is chosen to be an outer function and h^#(γ) agrees with the complex conjugate of h(γ) on the line, then

$\text{lim trace}\text{T↑∞}\text{{(P}{}_{\mathrm{T}}\text{GP}{}_{\mathrm{T}}\text{)}{}^{\mathrm{n}}\text{? P}{}_{\mathrm{T}}\text{G}{}^{\mathrm{n}}\text{P}{}_{\mathrm{T}}\text{}}$

exists and is independent of h for every positive integer n. This extends the range of validity of a formula due to Mark Kac who evaluated this limit in the special case h = 1 using a different formalism. It also extends earlier results of the author which were established under more stringent conditions on h. The conclusions are based in part upon a preliminary study of a more general class of projections.     

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.