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.

     

Some homological properties of commutative semitrivial ring extensions

LetR be a commutative ring with 1 andM anR-module. If:M _R MR is anR-module homomorphism satisfying(mm)=(mm) and(mm)m=m(mm), the additive abelian groupRM becomes a commutative ring, if multiplication is defined by (r,m)(r,m)=(rr+(mm),rm+rm). This ring is called the semitrivial extension ofR byM and and it is denoted byR M. This generalizes the notion of a trivial extension and leads to a more interesting variety of examples. The purpose of this paper is to studyR M; in particular, we are interested in some homological properties ofR M as that of being Cohen-Macaulay, Gorenstein or regular. A sample result: Let (R,m) be a local Noetherian ring,M a finitely generatedR-module and Im() m. ThenR M is Gorenstein if and only if eitherRM is Gorenstein orR is Gorenstein,M is a maximal Cohen-Macaulay module andMM ^*, where the isomorphism is given by the adjoint of.     

Hyponormality of Toeplitz Operators with Polynomial and Symmetric-Type Symbols

Suppose that is a trigonometric polynomial of the form (z) = ^N_n=-N a_n zⁿ. It is well-known that T is normal if and only if | a_{– N}| =  | a_N| and the Fourier coefficients of satisfy the following symmetry condition:

φ-Factors for Function Seminorms

Let (, A, ) be a measure space, a function seminorm on M, the space of measurable functions on , and M the space {f M : (f) < }. Every Borel measurable function : [0, ) [0, ) induces a function : M M by (f)(x) = (|f(x)|). We introduce the concepts of -factor and -invariant space. If is a -subadditive seminorm function, we give, under suitable conditions over , necessary and sufficient conditions in order that M be invariant and prove the existence of -factors for . We also give a characterization of the best -factor for a -subadditive function seminorm when is -finite. All these results generalize those about multiplicativity factors for function seminorms proved earlier.     

Interpolation theorems for a family of spanning subgraphs

Let G be a graph with order p, size q and component number . For each i between p – and q, let be the family of spanning i-edge subgraphs of G with exactly components. For an integer-valued graphical invariant if H H is an adjacent edge transformation (AET) implies |(H)-(H^')|1 then is said to be continuous with respect to AET. Similarly define the continuity of with respect to simple edge transformation (SET). Let M _j() and m _j() be the invariants defined by . It is proved that both M _p–() and m _p–(;) interpolate over , if is continuous with respect to AET, and that M _j() and m _j() interpolate over , if is continuous with respect to SET. In this way a lot of known interpolation results, including a theorem due to Schuster etc., are generalized.     

Nonlinear programming,approximation, and optimization on infinitely differentiable functions

A nonnegative, infinitely differentiable function defined on the real line is called a Friedrichs mollifier function if it has support in [0, 1] and ₀ ¹ (t)dt=1. In this article, the following problem is considered. Determine _k =inf ₀ ¹ |^(k)(t)|dt,k=1, 2, ..., where ^(k) denotes thekth derivative of and the infimum is taken over the set of all mollifier functions , which is a convex set. This problem has applications to monotone polynomial approximation as shown by this author elsewhere. The problem is reducible to three equivalent problems, a nonlinear programming problem, a problem on the functions of bounded variation, and an approximation problem involving Tchebycheff polynomials. One of the results of this article shows that _k =k!2^2k–1,k=1, 2, .... The numerical values of the optimal solutions of the three problems are obtained as a function ofk. Some inequalities of independent interest are also derived.This research was supported in part by the National Science Foundation, Grant No. GK-32712.     

Morphisms of the Heat Equation

In this article we consider a certain class of mappings between Riemannian manifolds of the type M × R^{+ *}, which preserve two objects associated to the heat equation. First we show that maps which pull back local solutions of the heat equation to local solutions of the heat equation, called heat equation morphisms have to be the product of a homothetic submersion and an affine map of R^{+ *}. Then using the above characterisation, we study maps which pull back the heat kernel to the heat kernel. We call such maps heat kernel morphisms. We show in Theorem 3 that, in the case of compact manifolds, a map : M × M × R^{+ *} N × N × R^{+ *} of the form (x,y,t) = ( (x), (y),h(t)), with surjective, is a heat kernel morphism if and only if is a homothetic covering of N()-sheets and constant dilation such that N() = ^m (m = dim M) and h(t) = ²t. In particular, if is bijective then it must be an isometry and h(t) = t. A similar problem was considered from a different point of view in [6].     

On lower bounds in radial basis approximation

We investigate the approximation by manifolds _n() generated by linear combinations of n radial basis functions on R^d of the form (|–a|), where is the thin-plate spline type function. We obtain exact asymptotic estimates for the approximation of Sobolev classes W^r(B^d) in the space L(B^d) on the unit ball B^d. AMS subject classification 41A25, 41A63, 65D07, 41A15     

A complete asymptotic expansion of the jacobi functions with error bounds

In this paper we give a complete asymptotic expansion of the Jacobi functions ^{(, )} (t) as + . The method we employed to get the complete expansion follows that of Olver in treating similar problems. By using a Gronwall-Bellman type inequality for an improper integral in which the integrand is an unbounded function and contains a parameter, we get an error bound of the asymptotic approximation which is different from that of Olver's.     

WCS Coefficients in Orlicz Sequence Spaces

We introduce some practical calculation of the weakly convergent sequence coefficients of Orlicz sequence spaces equipped with Luxemburg norm and Orlicz norm. For the N-function (u) of which the index function is monotonuous, the exact value WCS(l⁽⁾) of Orlicz sequence space l⁽⁾ with Luxemburg norm is available, i.e. WCS(l⁽⁾) = or WCS(l) of l with Orlicz norm has the exact value or estimation

Geometry and the Jones projection of a state

LetA be a von Neumann algebra and a faithful normal state. ThenO = { ºAd(g ¹) :g G _A }andU = { ºAd(u ^*) :u U _A are homogeneous reductive spaces. IfA is aC ^* algebra,e the Jones projection of the faithful state viewed as a conditional expectation, then we prove that the similarity orbit ofe by invertible elements ofA can be imbedded inAA in such a way thate is carried to 1 1 and the orbit ofe to a homogeneous reductive space and an analytic submanifold ofAA.     

A Foliation of the Space of Conjugacy Classes of Representations of a Surface Group

Let be the fundamental group of a closed orientable surface of genus g 1, and let R(, G)/G be the space of conjugacy classes of representations of into a connected real reductive Lie group G. Motivated by the theory of geometric quantization, we define a map ¯ on R(, G)/G and investigate whether the fibres of ¯ are isotropic with respect to the natural symplectic structure on R(, G)/G. If g = 2 and G = SU(2), then the foliation given by the fibres of ¯ is equivalent to a real polarization defined by Weitsman, and we reprove his result that the fibres are isotropic in this case. If g = 1 then the fibres of ¯ are also isotropic, but we give an example to show that in general they are not.     

(φ,ξ,η,λ)‐Structures of Parabolic Type

We consider (,,,)structures of parabolic type on hypersurfaces of dual spaces and study the rank of the affinor . We consider almost contact metric structures of parabolic type of the first kind on hypersurfaces of 4dimensional dual metric space. We study the properties of these structures and give examples of normal, integrable, and Sasakian parabolic structures.     

The Inversion of Multiscale Convolution Approximation and Average of Distributions

We develop two kinds of inversion formulas of the multiscale convolution approximation which is defined by a convolution kernel . The inversion formulas are constructed by a convolution kernel which is defined in terms of and has a vanishing moment of order one. A large class of generalized moving average approximations with B-splines, Box-splines and exponential Box-splines (EB-splines) as convolution kernels is included in the theory formulated in this paper. The average of distributions is considered, and correspondingly, the formulas related to the EB-splines are obtained from the -average.     

On Dirichlet Processes Associated with Second Order Divergence Form Operators

Let be a d - dimensional Markov family corresponding to a uniformly elliptic second order divergence form operator. We show that for any quasi continuous in the Sobolev space the process (X) admits under P ^x a decomposition into a martingale additive functional (AF) M and a continuous AF A of zero quadratic variation for almost every starting point x if q=2, for quasi every x if q>2 and for every if is continuous, d=1 and or d>1 and q>d. Our decomposition enables us to show that in the case of symmetric operator the energy of A equals zero if q=2 and that the decomposition of (X) into the martingale AF M and the AF of zero energy A is strict if for some q>d. Moreover, our decomposition provides a probabilistic representation of A .     

On the decomposition theorem for meromorphic Fredholm resolvents

In this note results of B. Gramsch and W. Kaballo [8] on the decomposition of meromorphic (semi-) Fredholm resolvents are sharpened. A condition on an Orlicz function is given, under which the singular part in this decomposition can be chosen meromorphic inN , the ideal of -nuclear operators. Then the necessity of this condition is studied. Moreover, it is shown that for the rather steep Orlicz functions relevant to this question,N equalsS , the ideal of -approximable operators.Dedicated to Professor Albert Schneider on the occasion of his 60 ^th birthdayresearch supported by a grant from DAAD     

Generalization of some classical inequalities in the theory of orthogonal series

Let {X_i} _– be a sequence of random variables, E(X_i) 0. If 1, estimates for the -th moments can be derived from known estimates of the -th moment. Here we generalized the Men'shov-Rademacher inequality for =2 for orthonormal X_i, to the case 1 and dependent random variables. The Men'shov-Payley inequality >2 for orthonormal X_i) is generalized for >2 to general random variables. A theorem is also proved that contains both the Erdös -Stechkin theorem and Serfling's theorem withv > 2 for dependent random variables.Translated from Matematicheskie Zametki, Vol. 17, No. 2, pp. 219–230, February, 1975.This article was written while the author was working in the V. A. Steklov Mathematics Institute, Academy of Sciences of the USSR.     

General Blowings-up of ℙ2 and Injectivity of Gauss Maps

We consider the blowing-up Y _k of the projective plane along k general points P ₁,...,P _k . Let _k : Y _k ² be the projection map and E _i the exceptional divisor corresponding to P _i for 1ik. For m2 and km(m+3)/2–4 let _k be the invertible sheaf _k ^*( ²(m)) _{Y k} (–E ₁–···–E _k ) on Y _k , and let _k: Y _k ^N be the morphism corresponding to _k . As _k is a local embedding, the Gauss map _k corresponding to _k is defined on Y _k by _k (x)=(d _{x k} )(T _x (Y _k )) for all xY _k . We prove that this Gauss map _k is injective.     

Compact Laws of the Iterated Logarithm for B-Valued Random Variables with Two-Dimensional Indices

Let be a real separable Banach space and {X, X _{n, m}; (n, m) N ²} B-valued i.i.d. random variables. Set . In this paper, the compact law of the iterated logarithm, CLIL(D), for B-valued random variables with two-dimensional indices ranging over a subset D of N ² is studied. There is a gap between the moment conditions for CLIL(N ¹) and those for CLIL(N ²). The main result of this paper fills this gap by presenting necessary and sufficient conditions for the sequence to be almost surely conditionally compact in B, where, for 0, 1 r 2, N ^r (, ) = {(n, m) N ²; n m n exp{(log n) ^r–1 (n)}} and (·) is any positive, continuous, nondecreasing function such that (t)/(log log t) is eventually decreasing as t , for some > 0.