Algorithmes de calcul du maximum des formes quadratiques sur la boule unité de la norme du maximum

Résumé Certaines méthodes directes et indirectes pour le calcul de Max {x ^t Ax, (x)1} sont étudiées.Les méthodes directes sont basées sur les propriétés particulières des normes ₁, ₂ et . Ces méthodes sont très simples mais ne s'appliquent qu'à certaines familles de matrices.La méthode indirecte est la méthode autoduale introduite dans [25, 26] avec = ₁. Dans ce cas, le choix du vecteur initial pour qu'il y ait convergence vers une solution optimale est largement discuté.

---

Some methods for computing the maximum of quadratic from on the unit ball of the maximum norm

Summary Some direct and indirect methods are studied for computing Max {x ^t Ax, (x)1} whereA is symmetric definite positive.Direct methods are constructed using particular properties of ₁, ₂, norms. These methods are very simple, but uniquely suitable to certains families of matrices.The indirect method is the autodual method, introduced in [25, 26, 29] with = ₁. In this case the problem of choosing an initial vector so that convergence of the iterative sequence occurs to an optimal solution is largely discussed.

     

Fine Densities for Excessive Measures and the Revuz Correspondence

Suppose that U is the resolvent of a Borel right process on a Lusin space X. If is a U-excessive measure on X then we show by analytical methods that for every U-excessive measure with the Radon–Nikodym derivative d/d possesses a finely continuous version. (Fitzsimmons and Fitzsimmons and Getoor gave a probabilistic approach for this result.) We extend essentially a technique initiated by Mokobodzki and deepened by Feyel. The result allows us to establish a Revuz type formula involving the fine versions, and to study the Revuz correspondence between the -finite measures charging no set that is both -polar and -negligible (U being the potential component of ) and the strongly supermedian kernels on X. This is an analytic version of a result of Azéma, Fitzsimmons and Dellacherie, Maisonneuve and Meyer, in terms of additive functionals or homogeneous random measures. Finally we give an application to the context of the semi-Dirichlet forms, covering a recent result of Fitzsimmons.     

Classes caractéristiques d''une π-algèbre et suite spectrale en K-théorie bivariante

Résumé Pour tout groupe discret et pour toute -algèbre D, la C ^*-algèbre D(E) (dont la définition exacte est donnée dans la section 4) est la version équivariante de la C ^*-algèbre C(B, D) des fonctions continues sur B, le classifiant du groupe, à valeurs dans D et qui s'annulent à l'infini. Si D désigne une autre -algèbre, nous définissons une suite spectrale en K-théorie bivariante dont les premiers termes sont donnés par les groupes H ^p (B, KK(D, D)) et qui converge (lorsque B est de dimension finie) vers KK(B; D(E), D(E)). Cette suite spectrale généralise celle de Kasparov mais est obtenue de manière différente: en étendant la définition des quasihomomorphismes aux C(X)-algèbres (X est une espace topologique localement compact), on a recours à des méthodes homotopiques telles les décompositions de Postnikov et le calcul des groupes d'homotopie des espaces d'équivalences d'homotopie. Sous certaines hypothèses, ces mÊmes constructions nous permettent de définir, pour toute -algèbre D, une obstruction, appelée classe secondaire de la -algèbre D, qui détermine la différentielle d ₂ de la suite spectrale de Kasparov.

---

For all discrete group and all -algebra D, the C ⁺-algebra D(E) (whose exact definition is given in Section 4) is the equivariant version of the C ^*-algebra C(B, D) of continuous functions from B (the classifiant of the group) to D, vanishing at infinity. If D is another -algebra, we define a spectral sequence in bivariant K-theory whose first terms are given by the groups H ^p (B, KK(D, D)) and which converges (if B of finite dimension) to KK(B; D(E), D(E)). This spectral sequence generalises the spectral sequence given by Kasparov but it is obtained in a quite different way: by extending the definition of quasihomomorphisms to the C(X)-algebras (where X is a locally compact topological space), we use homotopical methods, like Postnikov decompositions and the calculus of homotopy groups of spaces of homotopy equivalences. Furthermore, under certain hypotheses, with these constructions, we define an obstruction, called the secondary class of the -algebra D, which determines the differential d ₂ of the Kasparov spectral sequence.

     

Une caracterisation du type de la loi de Cauchy-conforme sur ℝ n

Résumé La loi de Cauchy-conforme est la mesure de probabilité sur ⁿ de densitéC/(1+X²)ⁿ. Le type d'une mesure sur ⁿ étant l'ensemble des mesures images de par les similitudes-translations de ⁿ et étant une mesure de probabilité sans atome, on démontre que le type de est invariant par les inversions de ⁿ si et seulement si est du type de la loi de Cauchy-conforme.

---

The conformal Cauchy law is the probability on ⁿ with densityC/(1+X²)ⁿ. It is shown that for a non-atomic measure on ⁿ the following is true: its type is invariant under inversions of ⁿ if and only if it is the type of a conformal Cauchy law. (The type of a measure is defined as the set of its images under similarities and translations.)

     

A Uniqueness Result for an Overdetermined Problem in Non-Linear Parabolic Potential Theory

In this paper we study the question of uniqueness for an inverse problem, arising in the (thermal) linear and/or non-linear potential theory. The overdetermined problem we shall study is represented by(div(|u| ^p–2u)–D _t u–+)u=0where supp()R ⁿ ×(0,), 1<p<, L and {t=} is bounded for >0.The problem has applications in shape-recognition in underground water/oil recovery, subject to shape-change during time intervals. The particular case u0, D _t u0, and p=2, is an example of the well-known Stefan.     

C 1 changes of variable: Beurling-Helson type theorem and Hörmander conjecture on Fourier multipliers

We prove that if aC ¹ smooth change of variable : generates a bounded composition operatorff° in the spaceA _p()=L ^p ,p2, then is linear (affine).We also prove that for a nonlinearC ¹ mapping , the norms of exponentialse ⁱ as Fourier multipliers inL ^p () tend to infinity (,||). In both results the condition C ¹ is sharp, it cannot be replaced by the Lipschitz condition.     

Аппроксимация субга рмонических функций

The following statement is proved. Letu be a subharmonic function in the region and _u the associated measure. Then there exists a functionf holomorphic in and such that if _f is the associated measure of the function in ¦f¦, then ¦u(z)–ln¦f(z)¦ A¦ln s¦+B¦ln diam¦+ s(¦lns¦+1)+C. hold at every point z for which the setsD(z, t)={w: ¦w–z¦},t(0,s) lie in and satisfy(D(z, t))t both for= _u and for= _f . In the case where is an unbounded region, In diam should be replaced by ln ¦z¦. The constants, , do not depend on andu.

---

---

. . .     

Torsion in K‐Theory for Boundary Actions on Affine Buildings of Type ?n

Let be a torsionfree lattice in G=PGL(n+1, , where n 1 and is a nonArchimedean local field. Then acts on the Furstenberg boundary G/P, where P is a minimal parabolic subgroup of G. The identity element I in the crossedproduct C ^*algebra C(G/P) generates a class [I] in the K ₀ group of C(G/P) . It is shown that [I] is a torsion element of K ₀ and there is an explicit bound for the order of [I]. The result is proved more generally for groups acting on affine buildings of type à _n. For n=1, 2 the Euler–Poincaré characteristic () annihilates the class [I].     

Opérateurs de mise en mémoire et traduction de Gödel

Résumé En-calcul, la stratégie de réduction à gauche (appel par nom) a, comme on sait, de bonnes propriétés mathématiques; en particulier, elle termine toujours si on l'applique à un terme normalisable. Mais, avec cette stratégie, l'argument d'une fonction est recalculé à chaque utilisation.Pour éviter ce défaut, on définit la notion «d'opérateur de mise en mémoire» (pour un type de données). SiT est un opérateur de mise en mémoire, pour les entiers par exemple, on remplace l'évaluation, par réduction gauche, de (où est un entier et un -terme quelconque) par celle deT; et celle-ci revient à ramener d'abord à une forme réduite ₀, puis à appliquer à ₀. On a donc ainsi simulé «l'appel par valeur» dans la stratégie de réduction à gauche.Le théorème principal (Corollaire du Théorème 4.1) montre que, dans un 1-calcul typé du second ordre, en utilisant la traduction de Gödel de la logique classique en logique intuitionniste, on peut trouver un type (spécification) très simple pour les opérateurs de mise en mémoire. Il donne donc aussi un moyen d'obtenir ces opérateurs, à savoir de démontrer ce type dans le calcul des prédicats intuitionniste du second ordre.

---

In-calculus, the strategy of leftmost reduction (call-by-name) is known to have good mathematical properties; in particular, it always terminates when applied to a normalizable term. On the other hand, with this strategy, the argument of a function is re-evaluated at each time it is used.To avoid this drawback, we define the notion of storage operator, for each data type. IfT is a storage operator for integers, for example, let us replace the evaluation, by leftmost reduction, of (where is an integer, and any-term) by the evaluation oft. Then, this computation is the same as the following: first compute up to some reduced form ₀, and then apply to ₀. So, we have simulated call-by-value evaluation within the strategy of leftmost reduction.The main theorem of the paper (Corollary of Theorem 4.1) shows that, in a second order-calculus, using Gödel's translation of classical intuitionistic logic, we can find a very simple type (or specification) for storage operators. Thus, it gives a way to get such operators, which is to prove this type in second order intuitionistic predicate calculus.

     

Discrete Spectrum of Differential Operators in Spectral Gaps under Nonnegative Perturbations of High Order

Let A be a self-adjoint elliptic second-order differential operator, let (, ) be an inner gap in the spectrum of A, and let B(t) = A + tW ^* W, where W is a differential operator of higher order. Conditions are obtained under which the spectrum of the operator B(t) in the gap (, ) is either discrete, or does not accumulate to the right-hand boundary of the spectral gap, or is finite. The quantity N(, A, W, ), (, ), > 0 (the number of eigenvalues of the operator B(t) passing the point (, ) as t increases from 0 to ) is considered. Estimates of N(, A, W, ) are obtained. For the perturbation W ^* W of a special form, the asymptotics of N(, A, W, ) as + is given. Bibliography: 5 titles.     

Theorem on a convergence condition in the spaces

For a given -function (u), a condition on a -function (u) is found such that it is necessary and sufficient for the following to hold: if f_n(x) f(x) and f _n (x)M (n=1, 2, ...) where M>0 is an absolute constant, then f _n (x)–f(x)0(n). An analogous condition for convergence in Orlicz spaces is obtained as a corollary.Translated from Matematicheskie Zametki, Vol. 21, No. 5, pp. 615–626, May, 1977.The author thanks V. A. Skvortsov for his constant attention and guidance on this paper.     

Fundamental equation of information revisited

Summary This paper presents a new, shorter and more direct proof of the following result of J. Aczél and C. T. Ng: IfM: J R (J =]0, 1[ ^k ) is both multiplicative and additive, then the general solution: J R of(x) + M(1 – x)(y/1 – x) = (y) + M(1 – y)(x/1 – y) (x, y, x + y J) is given by(x) = ifM = 0,(x) = M(x)[L(x) + ] + M(1 – x)L(1 – x) ifM 0,where is an arbitrary constant andL: J R is an arbitrary solution of the logarithmic functional equationL(xy) = L(x) + L(y) (x, y J). Also, some extensions of this result to fields more general than the reals are given.     

Combinatorics and flexure

Combinatorial identities, trigonometric formulas, together with complex variable techniques are used to derive exact and closed expressions for the six flexure functions of certain isotropic cylinders under flexure. The cross sections are bounded either by the closed curvesr=a cosⁿ (/n) (–<) or the closed curvesr=asin(/n)ⁿ(–<), wheren isa positive integer (n>1).

---

Résumé Des identiteés combinatoires et des formules trigonométriques avec des techniques de variables complexes sont utilisées pour dériver des expressions exactes et simples pour les six fonctions de flexion de quelques cylindres isotropiques. Les sections sont limitées par les courbes ferméesr=a cosⁿ /n(–) et les courbesr=asin/nⁿ(–) où est un entier positif (n>1).

     

High-Energy Relations Between Elastic Scattering Amplitudes of Particles and Antiparticles

We find conditions under which the ratio of particle and antiparticle total scattering cross sections as s. If the forward elastic scattering amplitudes become purely real asymptotically, then their ratio tends to –1. We prove that /_–(s)1 for ₊(s)/m ², where m is the -meson mass. We show that the asymptotic relations obtained have finite-energy analogues for some processes.     

Limiting behavior of weighted central paths in linear programming

We study the limiting behavior of the weighted central paths{(x(), s())} > 0 in linear programming at both = 0 and = . We establish the existence of a partition (B ,N ) of the index set { 1, ,n } such thatx _i() ands _j () as fori B , andj N , andx _N (),s _B () converge to weighted analytic centers of certain polytopes. For allk 1, we show that thekth order derivativesx ^(k) () ands ^(k) () converge when 0 and . Consequently, the derivatives of each order are bounded in the interval (0, ). We calculate the limiting derivatives explicitly, and establish the surprising result that all higher order derivatives (k 2) converge to zero when .     

Eine Verallgemeinerung des Satzes vom abgeschlossenen Wertebereich in lokalkonvexen Räumen

This paper extends Kato's proof [5] of Banach's closed range theorem to locally convex spaces. Thus we consider a locally convex space (E,) and pairs (M,N) of closed subspaces. We call such a pair -open, if and only if there exists a directed, total system of seminorms generating the topology induced by a on M+N, such that the minimal gap _p(M,N)>O for each p. Our main result is a generalisation of the closed range theorem and it consists of statements on relationships between the following properties: (a) M+N -closed, (b) M+N (E,E)-closed, (c) M+N (E,E)-closed, (d) (M,N) -open, (e) (M,N) (E,E)-open, (f) (M,N) (E,E)-open, (g) (M,N) (E,E)-open, (h) M+N=(MN), (i) M+N=(MN).By specialising the space (E,) and the subspaces M,N, our generalisation includes the closed range theorems of Dieudonné and Schwartz [4], Browder [1] and Mochizuki [12]. It is shown that these theorems not only hold for closed linear operators but even for closed linear relations. We are therefore able to obtain closed domain theorems which extend Brown's examinations in Banach-spaces [2] to locally convex spaces.

---

---

Herrn Gottfried Köthe zum 70. Geburtstag am 25.12.1975 gewidmet     

On unconditionally convergent basis expansions in the space of continuous functions

[0,1], - H .

---

---

This paper was written during the author's scholarship at the State University of Odessa in the USSR.     

A property of nonlinear elliptic equations when the right-hand side is a measure

LetA(u)=–diva(x, u, Du) be a Leray-Lions operator defined onW ₀ ^1,p () and be a bounded Radon measure. For anyu SOLA (Solution Obtained as Limit of Approximations) ofA(u)= in ,u=0 on , we prove that the truncationsT _k(u) at heightk satisfyA(T _k(u)) A(u) in the weak * topology of measures whenk + .

---

Résumé SoitA(u)=–diva(x, u, Du) un opérateur de Leray-Lions défini surW ₀ ^1,p () et une mesure de Radon bornée. Pour toutu SOLA (Solution Obtenue comme Limite d'Approximations) deA(u)= dans ,u=0 sur , nous démontrons que les troncaturesT _k(u) à la hauteurk vérifientA(T _k(u)) A(u) dans la topologie faible * des mesures quandk + .

     

Résolution numérique des grands systèmes différentiels linéaires

Sommaire La solution stricte d'un système différentiel linéaire à coefficients constants [d /d t] = [A] [] + [f (t) ] est donnée par: [ (t)]= [e^At] [ (0) ] + f [e^A(t–)] [f (T) ] d .Cette relation, utilisée dans une méthode de pas à pas, permet le calcul de [(t+u)] en fonction de [(t)]. La mise en oeuvre numérique de cette formule nécessite le calcul de [e^A] et de l'intégrale de matrice du second membre.Le sujet de cette étude est la mise au point de techniques d'approximation permettant le calcul effectif de [e ^Aµ] et de l'intégrale de matrice par des méthodes qui peuvent s'adapter en particulier aux systèmes différentiels à très grand nombre d'inconnues, qui apparaissent par exemple dans l'approximation par discrétisation enx ety, de l'équation aux dérivées partielles, dite de la chaleur.