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.     

A note on operator norm inequalities

If P is a positive operator on a Hilbert space H whose range is dense, then a theorem of Foias, Ong, and Rosenthal says that: [(P)]^–1T[(P)]<-12 max {T, P^–1TP} for any bounded operator T on H, where is a continuous, concave, nonnegative, nondecreasing function on [0, P]. This inequality is extended to the class of normal operators with dense range to obtain the inequality [(N)]^–1T[(N)]<-12c² max {tT, N^–1TN} where is a complex valued function in a class of functions called vase-like, and c is a constant which is associated with by the definition of vase-like. As a corollary, it is shown that the reflexive lattice of operator ranges generated by the range NH of a normal operator N consists of the ranges of all operators of the form (N), where is vase-like. Similar results are obtained for scalar-type spectral operators on a Hilbert space.This author gratefully acknowledges the support of Central Michigan University in the form of a Research Professorship.     

Stability radius of polynomials occurring in the numerical solution of initial value problems

This paper deals with polynomial approximations(x) to the exponential function exp(x) related to numerical procedures for solving initial value problems. Motivated by stability requirements, we present a numerical study of the largest diskD()={z C: |z+|} that is contained in the stability regionS()={z C: |(z)|1}. The radius of this largest disk is denoted byr(), the stability radius. On the basis of our numerical study, several conjectures are made concerningr _m,p=sup {r(): _m,p}. Here _{m, p} (1pm; p, m integers) is the class of all polynomials(x) with real coefficients and degree m for which(x)=exp(x)+O(x ^p+1) (forx 0).     

An algorithm for constructing an optimal structural schedule

The article is devoted to the problem of finding an optimal schedule for a class of functionals ƒ which allows for the existence of a structural set of activities. The functionalƒ(R), where, is defined in the following way: where {_i(t)} is a structural set of functions, and the function F is defined on any finite set of arguments and satisfies the following conditions: 1)F(x)=(x); 2) F(x₁,x₂)=(x₁,x₂), F(x₁,x₂,...x₃)= (x₁, F(x₂,...,x_s)), S2; 3) and do not decrease in each of their arguments, and moreover, 3a) strictly increases with the increase of both arguments, 3b) if (x₁,x₂)>(x₁, x₂ (x₂, x₃)> (x₂,x₃), then F(x₁,x₂,x₃)>F(x₁,x₂,x₃).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 124, pp. 5–20, 1983.     

Estimation of density functionals

Given a sequence of independent random variables with densityf we estimate quantities of the form = (f(x))dx, a known function, by inserting histograms and kernel density estimators for the unknownf. We obtain conditions for consistency and asymptotic normality and discuss the choice of cell size and bandwidth.     

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.

     

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 .     

Sur l'' application de réciprocité pour une surface fibrée en coniques définie sur un corps local

For a proper smooth variety X defined over a local field k, unramified class field theory investigates the reciprocity map _X: SK₁(X) ^ab ₁(X) as introduced by S. Saito. We study this map in the case when X is a surface admitting a proper surjection onto a smooth geometrically connected curve C with a smooth conic as generic fibre. Without any assumption on the reduction of C, we prove that _X is injective modulo n for all n invertible in k and its cokernel is the same as that of _C.     

A Method of Solution for the One-Dimensional Heat Equation Subject to Nonlocal Conditions

The problem of solving the one-dimensional heat equation /t - ²/x² = f(x, t) subject to given initial and nonlocal conditions is considered. It is solved in the Laplace transform domain by taking the Laplace transform of the unknown function with respect to time t. The physical solution is recovered with the help of a numerical technique for inverting the Laplace transform.AMS Subject Classification (1991): 35K20.     

Approximate first-order and second-order directional derivatives of a marginal function in convex optimization

Given a convex functionf: ^p × ^q (–, +], the marginal function is defined on ^p by (x)=inf{f(x, y)|y ^q }. Our purpose in this paper is to express the approximate first-order and second-order directional derivatives of atx ₀ in terms of those off at (x ₀,y ₀), wherey ₀ is any element for which (x ₀)=f(x ₀,y ₀).The author is indebted to one referee for pointing out an inaccuracy in an earlier version of Theorem 4.1.     

On the Existence of <Emphasis Type="Italic">φ</Emphasis>-Moments of the Limit of a Normalized Supercritical Galton–Watson Process

Let (Z _n ) _{n 0} be a supercritical Galton–Watson process with finite re-production mean  and normalized limit W=lim _n ^–n Z _n . Let further : [0,) [0,) be a convex differentiable function with (0)=(0)=0 and such that ( ) is convex with concave derivative for some n 0. By using convex function inequalities due to Topchii and Vatutin, and Burkholder, Davis and Gundy, we prove that 0 < E (W) < if, and only if, , where

φ-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.     

Construction of singular solutions to the p-harmonic equation and its limit equation for p=∞

Here, all solutions of the form u=r^kf() to the p-harmonic equation, div(|u|^p–2u)=0, (p>2) in the plane are determined. One main result is a representation formula for such solutions. Further, solutions with an isolated singularity at the origin are constructed (Theorem 1). Graphical illustrations are given at the end of the paper. Finally, all solutions u=r^kf() of the limit equation for p=, u _x ² u_xx+2u_xu_yu_xy+u _y ² u_yy=2, are constructed, some of which have a strong singularity at the origin (Theorem 2).     

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     

Complete hyperbolicity of Hartogs domain

Let X be a complex space and an upper semicontinuous function on X. Consider the Hartogs domain (X) given by (X)={(z, w)X×C: |w| < e ^–(z) }. In this article, some necessary and sufficient conditions on the complete hyperbolicity of (X) are established. Mathematics Subject Classification (2000):32A10, 32C10, 32H20, 32A17     

Adjoints of slant Toeplitz operators

In this paper, we will use the Birkhoff's ergodic theorem to do some finer analysis on the spectral properties of slant Toeplitz operators. For example, we will show that if is an invertibleL function on the unit circle, then almost every point in (A ^* ) is not an eigenvalue ofA ^* . More specifically, we will show that the point spectrum ofA ^* is contained in a circle with positive radius.     

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.     

On some properties of functions of generalized variation

We show that the spaceV ^* generated by a -variation (or -variation of Riesz, or -variation of Waterman) forms a commutative Banach algebra with respect to the pointwise multiplication under the appropriate choice of norms.     

On consistency of bounding operations in deterministic global optimization

This technical comment refers to the discussion of strong consistency of several bounding procedures in Lemma 2.1 and Proposition 2.1 of Ref. 1. A necessary clarification is given of the notion of convergence _q in Lemma 2.1, and a derivation of Proposition 2.1 is presented that includes a new and simple consistency proof of the classical bounding by convex envelopes used in many branch-and-bound procedures.