Velocity inversion: A case study in infinite-dimensional optimization

The goal of seismic velocity inversion is the estimation of seismic wave velocities inside the earth by attempting to predict, in a least-error sense, seismic waveforms measured at its surface. We present velocity inversion as a case study in the various infinite-dimensional pathologies which may afflict practically important problems of distributed parameter identification, treated as optimization problems in function spaces. These features differentiate various problem formulations far beyond the degree one would expect for finite- (small-) dimensional problems. We illustrate this differentiation by comparing the characteristics of three different least-squares formulations of velocity inversion.     

Chvátal closures for mixed integer programming problems

Chvátal introduced the idea of viewing cutting planes as a system for proving that every integral solution of a given set of linear inequalities satisfies another given linear inequality. This viewpoint has proven to be very useful in many studies of combinatorial and integer programming problems. The basic ingredient in these cutting-plane proofs is that for a polyhedronP and integral vectorw, if max(wx|x P, wx integer} =t, thenwx t is valid for all integral vectors inP. We consider the variant of this step where the requirement thatwx be integer may be replaced by the requirement that be integer for some other integral vector . The cutting-plane proofs thus obtained may be seen either as an abstraction of Gomory's mixed integer cutting-plane technique or as a proof version of a simple class of the disjunctive cutting planes studied by Balas and Jeroslow. Our main result is that for a given polyhedronP, the set of vectors that satisfy every cutting plane forP with respect to a specified subset of integer variables is again a polyhedron. This allows us to obtain a finite recursive procedure for generating the mixed integer hull of a polyhedron, analogous to the process of repeatedly taking Chvátal closures in the integer programming case. These results are illustrated with a number of examples from combinatorial optimization. Our work can be seen as a continuation of that of Nemhauser and Wolsey on mixed integer cutting planes.Supported by Sonderforschungsbereich 303 (DFG) and by NSF Grant Number ECS-8611841.Supported by NSF Grant Number ECS-8418392 and Sonderforschungsbereich 303 (DFG), Institut für Ökonometrie und Operations Research, Universität Bonn, FR Germany.     

Über den Typenkonvergenzsatz auf zusammenhängenden Lie Gruppen

The Convergence of Types Theorem on ^d is wellknown as an important tool for investigations on the limit behaviour of normalized sums or r.v. It is natural to look for a generalization for group-valued r.v. While for simply connected nilpotent Lie groups the Theorem is valid in general the existence of non-trivial compact subgroups causes problems. For compact extensions of nilpotent groups we prove restricted versions of the Convergence of Types Theorem.

---

---

Herrn Prof. Dr. L. Schmetterer zum 70. Geburtstag gewidmet     

Synthesis and crystal and molecular structure of newN-substituted γ-hydroxybutyramides

TheN-(2-phenylethyl)amide of-(1, 1-ethylenedioxy)-ethyl--hydroxybutyric acid (II) and theN-(p-methoxybenzyl)amide of-(1, 1-ethylenedioxy)-ethyl--hydroxybutyric acid (III) have been synthesized and the crystal structure ofIII has been solved. CompoundIII, C₁₆H₂₃O₅N, crystallizes in the monoclinic space groupP2₁/c witha=12.572(2),b=11.149(2),c=12.317(2) Å and=106.53(1)°. The structure was solved by direct methods, and refined by full-matrix least squares to giveR=0.040 (R _w =0.047) for 2004 intensities. The dioxolane ring has a deformed half-chair conformation.     

Tracking poles and representing Hankel operators directly from data

Summary We propose and analyse a method of estimating the poles near the unit circleT of a functionG whose values are given at a grid of points onT: we give an algorithm for performing this estimation and prove a convergence theorem. The method is to identify the phase for an estimate by considering the peaks of the absolute value ofG onT, and then to estimate the modulus by seeking a bestL ² fit toG over a small arc by a first order rational function. These pole estimates lead to the construction of a basis ofL ² which is well suited to the numerical representation of the Hankel operator with symbolG and thereby to the numerical solution of the Nehari problem (computing the bestH , analytic, approximation toG relative to theL norm), as analysed in [HY]. We present the results of numerical tests of these algorithms.Partially supported by grants from the AFOSR and NSF     

Pointwise Stabilization for a Chain of Coupled Vibrating Strings

For the system representing a chain of coupled vibrating strings,we show that the associated semigroup satisfies the assumptionof spectrum-determined growth, and hence obtain conditions forenergy to decay strongly or exponentially. We examine in detailthe three-string case, and our results include those obtainedby others for the two-string case. Permanent address: Beijing Institute of Information and Control,Beijing, China.     

Non-characteristic mixed problems for non-linear symmetric hyperbolic systems

In this paper the existence and uniqueness of solutions of the following initial boundary value problem for non-linear symmetric hyperbolic equations of the first order are shown, where M = I ⁺ ? S , has the same from as the Kreiss' condition, but S must be sufficiently small ( I ⁺ is the unit matrix in the space generated by eigenvectors of the matrix ? A · n? , corresponding to positive eigenvalues) and n? is a unit outward vector normal to the boundary. The main result of the paper is obtaining an a priori estimate for non-linear equations. This estimate is obtained for sufficiently small time and norms of given data functions. The existence of solutions is proved by the method of successive approximations, which can be used because at each step such properties as symmetry of matrices and the numbers of positive and negative eigenvalues of the matrix ? A · n? are assured. This can be done because we restrict our attention to such systems of equations for which these properties are satisfied for solutions from some neighbourhood of initial data u ₀. Therefore, using the fact that solutions in the class of continuous functions are sought, these properties can be satisfied for sufficiently small time. Moreover, some examples of initial boundary value problems for equations of hydrodynamics and magnetohydrodynamics are considered.     

Crystal structures of dimethylsuccinate and dimethyloxalate: Carbonyl group orientation for C13 chemical shielding tensor studies

The crystal structures of dimethylsuccinate (DMS) and dimethyloxalate (DMO) have been determined to facilitate the determination of the C-13 chemical shielding tensors of the carbonyl carbon in esters. Crystals of DMS are monoclinic, space groupC2/c,Z=4,a=13.154(4),b=6.156(1),c=9.363(4)Å,=98.53(3)°. The structure was solved by direct methods and refined by leastsquares procedures to giveR=0.071 for 932 observed data. Crystals of DMO are monoclinic space group,P2₁/n,Z=2, witha=3.891(1),b=11.879(2),c=6.213(2) Å,=103.32(2)°. The structure is the same (within experimental error) as that reported by Dougill and Jeffrey (1953) and refined to giveR=0.074 for 395 observed data.     

Covering the Plane with Congruent Copies of a Convex Body

It is shown that every plane compact convex set K with an interiorpoint admits a covering of the plane with density smaller thanor equal to 8(23 – 3)/3 = 1.2376043.... For comparison,the thinnest covering of the plane with congruent circles isof density 2 / 27 = 1.209199576.... (see R. Kershner [3]), whichshows that the covering density bound obtained here is closeto the best possible. It is conjectured that the best possibleis 2 / 27. The coverings produced here are of the double-latticekind consisting of translates of K and translates of —K.     

Complex homogeneous splines on the torus

We construct functions M_α which are piecewise homogeneous polynomials on the (d+1)-dimensional torus U^d+1. These functions possess complete symmetry with respect to the independent variables. The symmetry and homogeneous relations for these functions are exploited to obtain a recurrence relation and explicit representations. Furthermore, we show that , where ω=e^12x/k, 0≤j_t≤k−1, are linearly independent. By restricting M_α to U^d, we obtain the complex analogue of polynomial box splines on a (d+1)-direction mesh on U^d, which is a multivariate analogue of B-splines on the circle studied by I.J. Schoenberg^[8].