Minkowski type theorems for convex sets in cones

Acta Mathematica Hungarica - Minkowski’s classical existence theorem provides necessary and sufficient conditions for a Borel measure on the unit sphere of Euclidean space to be the surface...     

Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

Synthesis and Reactivity of the First Isolated Hydrogen‐Bridged Silanol–Silanolate Anions

We report on the first examples of isolated silanol–silanolate anions, obtained by utilizing weakly coordinating phosphazenium counterions. The silanolate anions were synthesized from the recently published phosphazenium hydroxide hydrate salt with siloxanes. The silanol–silanolate anions are postulated intermediates in the hydroxide‐mediated polymerization of aryl and alkyl siloxanes. The silanolate anions are strong nucleophiles because of the weakly coordinating character of the phosphazenium cation, which is perceptible in their activity in polysiloxane depolymerization.     

Intramolecular Hydroamination of Selenoalkynes to 2-Selenylindoles in the Absence of Catalyst

In this work, a series of 2-chalcogenylindoles was synthesized by an efficient methodology, starting from chalcogenoalkynes, including a previously unreported tellurium indole derivative. For the first time, these 2-substituted chalcogenylindoles were obtained in the absence of metal catalyst or base, under thermal conditions only. In addition, the results described herein represent a methodology with inverse regioselectivity for the chalcogen functionalization of indoles.     

Non-linear Stability of Modulated Fronts¶for the Swift–Hohenberg Equation

We consider front solutions of the Swift–Hohenberg equation ∂ _t u= -(1+ ∂ _x ²)² u + ɛ² u -u ³. These are traveling waves which leave in their wake a periodic pattern in the laboratory frame. Using renormalization techniques and a decomposition into Bloch waves, we show the non-linear stability of these solutions. It turns out that this problem is closely related to the question of stability of the trivial solution for the model problem ∂ _t u(x,t) = ∂ _x ² u (x,t)+(1+tanh(x-ct))u(x,t)+u(x,t) ^p with p>3. In particular, we show that the instability of the perturbation ahead of the front is entirely compensated by a diffusive stabilization which sets in once the perturbation has hit the bulk behind the front. Received: 23 February 2001 / Accepted: 27 August 2001     

Ueber unendliche,lineare Punktmannichfaltigkeiten

Ohne ZusammenfassungFortsetzung des Artikels in Bd. XXI, pag. 51.