Monotonie bei den Quadraturverfahren von Gauß und Newton-Cotes

Summary LetQ _n be the quadrature rule of Gauss or Newton-Cotes withn abscissas. It is proven here, thatf ⁽²ⁿ⁾0 impliesQ _n ^G [f]Q _m ^G [f] (for allm>n) andQ _2n–1 ^NC [f]Q _2n ^NC [f]Q _2n+1 ^NC [f]. It follows that the sequenceQ _n[f] (n=1, 2, ...) is monotone, if all derivatives off are positive.

     

Normal Currents: Structure, Duality Pairings and div–curl Lemmas

The paper gives a decomposition of a general normal r-dimensional current [5] into the sum of three measures of which the first is an r-dimensional rectifiable measure, the second is the Cantor part of the current, and the third is Lebesgue absolutely continuous. This is analogous to the well-known decomposition of the derivative of a function of bounded variation into the jump, Cantor, and absolutely continuous parts; in fact the last is a special case of the result for (n–1)-dimensional normal currents. Further, Whitney’s cap product [15] is recast in the language of the approach to flat chains by Federer [5] and a special case (viz., currents of dimension n – 1) is shown to be closely related to the measure-valued duality pairings between vector measures with curl a measure and L^∞ vectorfields with L^∞ divergence as established by Anzellotti [2] and Kohn & Témam [6]. Finally, the cap product is shown to be jointly weak* continuous in the two factors of the product in a way similar to the compensated compactness theory; in the cases of (n – 1)-dimensional objects this reduces to results closely related to the div–curl lemmas of the standard compensated compactness theory. Received: June 2007     

On the variety of rational curves inP n

Summary In this note one defines a stratification of the variety of rational curves inP ⁿ of given degree in terms of the decomposition of the normal bundle (see [E-vdV], [G-S] for the casen=3). The strata are showed to be irreducible and their dimension is computed.     

On functorial decompositions of self-smash products

We give a decomposition formula for n-fold self smash of a two-cell suspension X localized at 2. The mod 2 homology of each factor in the decomposition is explicitly given as a module over the Steenrod algebra and in the case where X is formed by suspending one of P²,P²,P² or P², this is a complete decomposition into indecomposable pieces. The method has consequences in the modular representation theory of the symmetric group where it leads to a computation of the submatrix for the decomposition matrix of the group algebra /2[S_n] which correspond to partitions of length 2. In particular this yields a derivation of the explicit formula due to Erdmann which gives the multiplicities in the decomposition of /2[S_n] of the indecomposable projective modules which correspond to those partitions.     

Bisection is not optimal on the average

Summary We seek the zero of a continuous increasing functionf: [0, 1] [–1, 1] such thatf(0)=–1 andf(1)=1. It is known that the bisection method makes optimal use ofn function evaluations within a worst case analysis. In this paper we study the average error with respect to the natural measure of Graf et al. (1986). We prove that the bisection method is not optimal on the average. Actually, the average error of the bisection method is about (1/2) ⁿ , while the average error of the optimal method is less than ⁿ with some <1/2.     

Bisection is optimal

Summary We seek an approximation to a zero of a continuous functionf:[a,b] such thatf(a)0 andf(b)0. It is known that the bisection algorithm makes optimal use ofn function evaluations, i.e., yields the minimal error which is (b–a)/2 ⁿ⁺¹, see e.g. Kung [2]. Traub and Wozniakowski [5] proposed using more general information onf by permitting the adaptive evaluations ofn arbitrary linear functionals. They conjectured [5, p. 170] that the bisection algorithm remains optimal even if these general evaluations are permitted. This paper affirmatively proves this conjecture. In fact we prove optimality of the bisection algorithm even assuming thatf is infinitely many times differentiable on [a, b] and has exactly one simple zero.     

Orthogonal hyperspheres

Umbilical projection ([12], [14]) is a process suggested to derive results rather quickly in regard to four intersecting spheres [17] andn+1 intersecting hyperspheres in ann-space [18]. The same has been used with an advantage to deduce a porism on 2n+5 hyperspheres in ann-space [23]. The purpose of this paper is to concentrate on mutually orthogonal hyperspheres only and to illustrate simultaneously once again the utility and facility of this tool to arrive at a number of new and interesting results as follows:The 2(n+1) intersections ofn+1 mutually orthogonal hyperspheres in ann-space, takenn at a time, give rise to 2 ⁿ pairs ofsemi-inverse [22] simplexes, perspective from their radical centreH, such that the 2 ⁿ primes of perspectivity coincide with their 2 ⁿ hyperplanes of similitude and form anS-configuration (S-C) [15] with theircentral simplex S(A) as itsdiagonal simplex. Everysimplex of intersection introduced here isisodynamic [25] such that itstangential simplex, circumscribed to it along circumhypersphere, is perspective to it from itsLemoine point L. ItsLemoine hyperplane l, as the polar prime ofL w. r. t. it, is the same as that of itscomplementary simplex of intersection and coincides whith their prime of perspectivity such that their 2(n+1) altitudes are met by their commonBrocard diameter through their Lemoine points. The 2 ⁿ Brocard diameters of the 2 ⁿ pairs of complementary simplexes of intersection concur atH. The hyperspheres of antisimilitude of the given hyperspheres, having centres in a prime of similitude, form the commonNeuberg hyperspheres of the pair of semi-inverse simplexes, having this prime as their common Lemoine hyperplane, are consequently orthogonal to their cirumhyperspheres whose radical hyperplane, too, coincides whith this prime, and therefore belong to acoaxal net [15] passing through the pair of their commonNeuberg points on their common Brocard diameter. The second centres of similitude of the 2 ⁿ pairs ofcomplementary hyperspheres of intersection form the 2 ⁿ vertices of the dual [15] of the (S-C), whithS(A) as common diagonal simplex, as its polar reciprocal w. r. t. the common orthogonal hypersphere of then+1 hyperspheres, the first centres of similitude coinciding atH.Due inspiration is derived from the works ofCourt ([2]–[9]) on mutually orthogonal circles and spheres. Presented by G. Hajós     

Rigidity Theorem for Hypersurfaces in a Unit Sphere

By investigating hypersurfaces M ⁿ in the unit sphere S ⁿ⁺¹(1) with H _k = 0 and with two distinct principal curvatures, we give a characterization of torus the . We extend recent results of Perdomo [9], Wang [10] and Otsuki [8].     

Cohomology vanishing¶and a problem in approximation theory

For a simplicial subdivison Δ of a region in k ⁿ (k algebraically closed) and r∈N, there is a reflexive sheaf ? on P ⁿ , such that H ⁰(?(d)) is essentially the space of piecewise polynomial functions on Δ, of degree at most d, which meet with order of smoothness r along common faces. In [9], Elencwajg and Forster give bounds for the vanishing of the higher cohomology of a bundle ℰ on P ⁿ in terms of the top two Chern classes and the generic splitting type of ℰ. We use a spectral sequence argument similar to that of [16] to characterize those Δ for which ? is actually a bundle (which is always the case for n= 2). In this situation we can obtain a formula for H ⁰(?(d)) which involves only local data; the results of [9] cited earlier allow us to give a bound on the d where the formula applies. We also show that a major open problem in approximation theory may be formulated in terms of a cohomology vanishing on P ² and we discuss a possible connection between semi-stability and the conjectured answer to this open problem. Received: 9 April 2001     

On the decomposition of Kn into complete m-partite graphs

Graham and Pollak [3] proved that n ?1 is the minimum number of edge-disjoint complete bipartite subgraphs into which the edges of K_n can be decomposed. Using a linear algebraic technique, Tverberg [2] gives a different proof of that result. We apply his technique to show that for “almost all n,” ? (n + m ?3)/(m ?1) ? is the minimum number of edge-disjoint complete m-partite subgraphs in a decomposition of K_n.     

Degree of the divisor of solutions of a differential equation on a projective variety

Using the data schemes from [1] we give a rigorous definition of algebraic differential equations on the complex projective space Pⁿ. For an algebraic subvariety S?Pⁿ, we present an explicit formula for the degree of the divisor of solutions of a differential equation on S and give some examples of applications. We extend the technique and result to the real case.     

Spherical Harmonic Analysis on Buildings of Type à n

 To any locally finite thick building of type there is naturally associated a commutative algebra of operators. When is constructed from a local field F with local ring , and , then is isomorphic to the convolution algebra of compactly supported bi-K-invariant functions on PGL(n+1,F). We give a proof, valid for any , that the multiplicative functionals on may all be expressed in terms of Hall–Littlewood polynomials. Regarding as a subalgebra of the C ^*-algebra of bounded operators on the space of square summable functions on the vertex set of , we find the spectrum of the C ^*-algebra , the closure of . This generalizes results obtained in [3] when n = 1 and in [5] when n = 2. (Received 26 June 2000; in revised form 21 February 2001)     

On classification of immersions ofn-manifolds in (2n−1)-manifolds

Under the assumption of (f, M ⁿ ,N ²ⁿ⁻¹) being trivial, the classification of immersions homotopic tof: M ⁿ →N ²ⁿ⁻¹ is obtained in many cases. The triviality of (f, M ⁿ ,P ²ⁿ⁻¹) is proved for anyM ⁿ andf. LetM, N be differentiable manifolds of dimensionn and2n−1 respectively. For a mapf: M → N, denote byI[M, N] _f the set of regular homotopy classes of immersions homotopic tof. It has been proved in [1] that, whenn>1,I[M, N] _f is nonempty for anyf. In this paper we will determine the setI[M, N] _f in some cases. For example, ifN=P ²ⁿ⁻¹ or more generally, the lens spacesS _m ²ⁿ⁻¹ =Z _m /S ²ⁿ⁻¹,M is any orientablen-manifold or nonorientable butn≡0, 1, 3 mod 4, then, for anyf, theI[M, N] _f is determined completely. WhenN=R ²ⁿ⁻¹, the setI[M, N] of regular homotopy classes of all immersions has been enumerated by James and Thomas in [2] and McClendon in [3] forn>3. Applying our results toN=R ²ⁿ⁻¹ we obtain their results again, except for the casen≡2 mod 4 andM nonorientable. Whenn=3, McClendon's results cannot be used. Our results include the casesn=3,M orientable or not (for orientableM, I[M, R⁵] is known by Wu [4]).     

Efficient Communication by Phone Calls

We are given the question: how many phone calls are needed for n people to pool all their information in a succession of k-person party line phone calls? The question was proposed by Erdös for the special case K = 2. We prove here the result that [n ? 2/K ? 1] + [n ? 1 /k] + 1 calls are required if 1 ≤ n ≤ k², while 2[n ? 2/k ? 1] are required for n > k².     

On Heilbronn’s Problem in Higher Dimension

Heilbronn conjectured that given arbitrary n points in the 2-dimensional unit square [0, 1]², there must be three points which form a triangle of area at most O(1/n²). This conjecture was disproved by a nonconstructive argument of Komlós, Pintz and Szemerédi [10] who showed that for every n there is a configuration of n points in the unit square [0, 1]² where all triangles have area at least (log n/n²). Considering a generalization of this problem to dimensions d3, Barequet [3] showed for every n the existence of n points in the d-dimensional unit cube [0, 1]^d such that the minimum volume of every simplex spanned by any (d+1) of these n points is at least (1/n^d). We improve on this lower bound by a logarithmic factor (log n).     

Finite codimensional linear isometries on spaces of differentiable and Lipschitz functions

We characterize finite codimensional linear isometries on two spaces, C ⁽ⁿ⁾[0; 1] and Lip [0; 1], where C ⁽ⁿ⁾[0; 1] is the Banach space of n-times continuously differentiable functions on [0; 1] and Lip [0; 1] is the Banach space of Lipschitz continuous functions on [0; 1]. We will see they are exactly surjective isometries. Also, we show that C ⁽ⁿ⁾[0; 1] and Lip [0; 1] admit neither isometric shifts nor backward shifts.     

Complete Hypersurfaces with Constant Mean Curvature in a Unit Sphere

By investigating hypersurfaces M ⁿ in the unit sphere S ⁿ⁺¹(1) with constant mean curvature and with two distinct principal curvatures, we give a characterization of the torus S ¹(a) × , where . We extend recent results of Hasanis et al. [5] and Otsuki [10].     

The Helmholtz decomposition of weightedLq-spaces for Muckenhoupt weights

We consider weights of Muckenhoupt classA _q, 1<q<∞. For a bounded Lipschitz domain Ω⊂ℝⁿ we prove a compact embedding and a Poincaré inequality in weighted Sobolev spaces. These technical tools allow us to solve the weak Neumann problem for the Laplace equation in weighted spaces on ℝⁿ, ℝⁿ ₊, on bounded and on exterior domains Ω with boundary of classC ¹, which will yield the Helmholtz decomposition ofL _ω ^q(Ω)ⁿ for general ω∈A _q. This is done by transferring the method of Simader and Sohr [4] to the weighted case. Our result generalizes a result of Farwig and Sohr [2] where the Helmholtz decomposition ofL _ω ^p(Ω)ⁿ is proved for an exterior domain and weights of Muckenhoupt class without singularities or degeneracies in a neighbourhood of ϖΩ.

---

Sunto In questo lavoro consideriamo dei pesi della classe di MuckenhouptA _q, 1<q<∞. Per un dominio limitato lipschitziano Ω⊂ℝⁿ, dimostriamo una immersione compatta ed una disuguaglianza di Poincaré in spazi di Sobolev con peso. Questa tecnica ci consente di risolvere il problema debole di Neumann per l’equazione di Laplace in spazi pesati in ℝⁿ, ℝⁿ ₊ in domini limitati ed in domini esterni con frontiera di classeC ¹, che conduce alla decomposizione di Helmholtz diL _ω ^q(Ω)ⁿ per un qualsiasi ω∈A _q. Il risultato è ottenuto trasferendo il metodo di Simader e Sohr [4] al caso pesato. Quello qui presente estende un risultato di Farwig e Sohr [2] dove la decomposizione di Helmholtz diL _ω ^q(Ω)ⁿ è dimostrata per domini esterni e pesi della classe di Muckenhoupt privi di singolarità in un intorno di ϖΩ.