Constraint decomposition algorithms in global optimization

Many global optimization problems can be formulated in the form min{c(x, y): x X, y Y, (x, y) Z, y G} where X, Y are polytopes in ^p , ⁿ , respectively, Z is a closed convex set in ^p+n, while G is the complement of an open convex set in ⁿ . The function c: ^p+n is assumed to be linear. Using the fact that the nonconvex constraints depend only upon they-variables, we modify and combine basic global optimization techniques such that some new decomposition methods result which involve global optimization procedures only in ⁿ . Computational experiments show that the resulting algorithms work well for problems with smalln.     

On the problem of two linearized wells

We study the behaviour of sequences of elastic deformationsy ^{n n} whose gradients approach two linearized wells, and give an application to magnetostriction.This article was processed by the author using the style filepljour1m from Springer-Verlag.     

On the optimality of a characterization theorem for the gamma function using the multiplication formula

Summary The following Artin type characterization of : _{+ +} is proved: Assume thatf: _{+ +} satisfies the Gauss multiplication formula for some fixedp 2,f is absolutely continuous on [l/p, 1 + ] for some > 0 and lim _{x 0} xf(x) = 1. Thenf(x) = (x) forx > 0.The optimality of this result is checked by means of counterexamples. For instance, it is shown that the result is no longer true, if f is absolutely continuous is replaced by f is continuous and of finite variation.     

Constrained normalization of Hamiltonian systems and perturbed Keplerian motion

Summary Consider a Hamiltonian system (H, _2n ,). LetM be a symplectic submanifold of (_2n ,). The system (H, _2n ,) constrained toM is (HM, M, M). In this paper we give an algorithm which normalizes the system on _2n in such a way that restricted toM we have normalized the constrained system. This procedure is then applied to perturbed Kepler systems such as the lunar problem and the main problem of artificial satellite theory.

---

Zusammenfassung Wir betrachten ein Hamiltonisches System (H, _2n ,). SeiMein symplectisches Submanifold von (_2n ,). Das System (H, _2n ,), aufM beschränkt, ist (HM,M,M). In der vorliegenden Arbeit wird ein Algorithmus vorgeschlagen, der dieses System so auf _2n normalisiert, daß das aufM beschränkte System auch normalisiert ist. Dieser Algorithmus wird dann auf gestörte Keplersysteme, wie z. B. das Hill-sche Mondproblem und das Hauptproblem der Theorie der künstlichen Satelliten, angewendet.

     

The central limit theorem for Chébli-Trimèche hypergroups

Let (S _nn>-1) be a random walk on a hypergroup ( ₊ , *), i.e., a Markov chain with transition kernelN(x, A) = _x * (A), where is a fixed probability measure on ₊ such that the second moment exists. Then depending on the growth of the hypergroup two situations can occur: when ( ₊ , *) is of exponential growth then it is shown thatS _n is asymptotically normal. In the case of polynomial growth {more precisely, if the densityA of the Haar measure of ( ₊ , *) satisfies lim[A()/A()]=}, the normalized variablesS _n/[n Var()/(+1)]^1/2 converge to a Rayleigh distribution with parameter .     

Willmore Surfaces of ?4 and the Whitney Sphere

We make a contribution to the study of Willmore surfaces infour-dimensional Euclidean space ⁴ by making useof the identification of ⁴ with two-dimensionalcomplex Euclidean space ². We prove that theWhitney sphere is the only Willmore Lagrangian surface of genus zero in⁴ and establish some existence and uniquenessresults about Willmore Lagrangian tori in ^{4 2}.     

Isotrope Kurventheorie aufS 2 × ℝ

In this note we define an isotropic metric on the threedimensional manifoldS ² × . This metric will allow an symmetric riemannian connection , wich will be used to do differential geometry on S² × . We develope theory of curves onS ² × and show some relations to the theory of curves of threedimensional isotropic spaceI ₃.     

Brownian charges around loops

Summary Let (X _t ⁿ ) be a Poisson sequence of independent Brownian motions in ^d ,d3; Let be a compact oriented submanifold of d, of dimensiond–2 and volume ; let t be the sum of the windings of (X _s ⁿ , 0st) around ; then t/t converges in law towards a Cauchy variable of parameter /2. A similar result is valid when the winding is replaced by the integral of a harmonic 1-form in ^d .     

Analogues of hadwiger's theorem in space ℝ n —Sufficient conditions for a convex domain to enclose another

We estimate the kinematic measure of one convex domain moving to another under the groupG of rigid motions in ⁿ . We first estimate the kinematic formula for the total scalar curvature D ₀gD ₁ Rdv of then–2 dimensional intersection submanifold D ₀gD ₁. Then we use Chern and Yen's kinematic fundamental formula and our integral inequality to obtain a sufficient condition for one convex domain to contain another in ⁿ (4). Forn=4, we directly obtain another sufficient condition in ⁴.     

On solvability of linear difference equations in smooth and real analytic vector functions of several variables

We investigate the multidimensional equations _j=1 ^q A_j(x)y(x+e _j )=f(x),e _j ⁿ wherex ⁿ andA _j : ⁿ Hom( ^p , ^m ),f : ^{n m} are given maps. Sufficient conditions for smooth and analytic solvability for anyf C ^k ,k are found.Research partially supported by the Israel Ministry of ScienceAMS classification 39B Functional equations     

An existence theorem for generalized quasi-variational inequalities

In this paper, we deal with the following generalized quasi-variational inequality problem: given a closed convex subsetX ⁿ , a multifunction :X 2 ⁿ and a multifunction :X 2 ^X , find a point ( ) X × ⁿ such that We prove an existence theorem in which, in particular, the multifunction is not supposed to be upper semicontinuous.     

Parabolic boundary integral operators symbolic representation and basic properties

In this paper we develop a theory of parabolic pseudodifferential operators in anisotropic spaces. We construct a symbolic calculus for a class of symbols globally defined on ⁿ⁺¹× ⁿ⁺¹, and then develop a periodisation procedure for the calculus of symbols on the cylinder ×. We show Gårding's inequality for suitable operators and precise estimates for the essential norm in anisotropic Sobolev spaces. These new mapping properties are needed in localization arguments for the analysis of numerical approximation methods.     

Polyedrische 2-Mannigfaltigkeiten mit wenigen nicht-konvexen Ecken

LetP denote a polyhedral 2-manifold in ³, i.e. a 2-dimensional cell-complex in ³ whose underlying point-set is a closed connected 2-manifold. A vertexv ofP is called convex if at least one of the two components into whichP divides a sufficiently small ball centered atv is convex. It is shown that every polyhedral 2-manifold in ³ of genusg>–1 contains at least five non-convex vertices and that for every positive integerg this bound is attained, i.e. there exists a polyhedral 2-manifold in ³ of genusg with precisely five non-convex vertices.

---

---

Mit 2 Abbildungen     

On Non-Negative Elliptic-Type Differential Inequalities in ℝ n , Vanishing Almost Everywhere on Some Open Subset in ℝ n

It is proved in this article that any generalized solution of a sufficiently general class of elliptic-type differential inequalities in  ⁿ that is non-negative almost everywhere in  ⁿ and vanishes almost everywhere on an open set ⁿ is trivial in  ⁿ .     

On local oscillatory integrals with variable Calderón-Zygmund kernels

Letp(1, ). In this paper, the authors investigate the uniformL ^p ( ⁿ ) in of the oscillatory singular integral operatorT defined by

A chord-stretching map of a convex loop is an isometry

Let ⁿ be n-dimensional Euclidean space, and let : [0, L] ⁿ and : [0, L] ⁿ be closed rectifiable arcs in ⁿ of the same total length L which are parametrized via their arc length. is said to be a chord-stretched version of if for each 0s tL, |(t)–(s)| |(t)–(s)|. is said to be convex if is simple and if ([0, L]) is the frontier of some plane convex set. Individual work by Professors G. Choquet and G. T. Sallee demonstrated that if were simple then there existed a convex chord-stretched version of . This result led Professor Yang Lu to conjecture that if were convex and were a chord-stretched version of then and would be congruent, i.e. any chord-stretching map of a convex arc is an isometry. Professor Yang Lu has proved this conjecture in the case where and are C ² curves. In this paper we prove the conjecture in general.     

A bounded law of the iterated logarithm for Hilbert space valued martingales and its application to U-statistics

Summary A bounded law of the iterated logarithm for martingales with values in a separable Hilbert space H is proved. It is then applied to prove invariance principles for U-statistics for independent identically distributed (-valued) random variables {X _j , j1} and a kernel h: ^m H, m2, which is degenerate for the common distribution function of X _j , j1. This extends to general m results of an earlier paper on this subject and even gives new results in the case H=.     

Existence of strong solutions for Itô's stochastic equations via approximations

Summary Given strong uniqueness for an Itô's stochastic equation with discontinuous coefficients, we prove that its solution can be constructed on any probability space by using, for example, Euler's polygonal approximations. Stochastic equations in ^d and in domains in ^d are considered.Research supported by the Hungarian National Foundation of Scientific Research No. 2990.Supported in part by NSF Grant DMS-9302516     

Operator stable laws: Series representations and domains of normal attraction

LetX,X ₁,X ₂,... be i.i.d. random vectors in ^d. The limit laws that can arise by suitable affine normalizations of the partial sums,S _n=X ₁+...+X _n, are calledoperator-stable laws. These laws are a natural extension to ^d of the stable laws on. Thegeneralized domain of attraction of [GDOA()] is comprised of all random vectorsX whose partial sums can be affinely normalized to converge to . If the linear part of the affine transformation is restricted to take the formn ^–B for some exponent operatorB naturally associated to thenX is in thegeneralized domain of normal attraction of [GDONA()]. This paper extends the theory of operator-stable laws and their domains of attraction and normal attraction.     

Traces of functions belonging to Sobolev and Besov spaces and extensions from subsets of the Euclidean space

It is proved that from the existence of the trace operator, 0n and E is a Borel subset of ⁿ.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova, AN SSSR, Vol. 157, pp. 137–145, 1987.