On Two-Point Boundary Conditions in Optimal Control Problems

Let x=g(t,x(t),u(t)) be the governing equation of an optimal control problem with two-point boundary conditions h ₀(x(a))+h ₁(x(b)) = 0, where x: [a,b] ⁿ is continuous, u: [a,b] ^k-n is piecewise continuous and left continuous, h₀,h₁: ^{n q} are continuously differentiable, and g:[a,b]× ^{k n} is continuous. The paper finds functions _i C¹([a,b]× ⁿ ) such that (x(t),u(t)) is a solution of the governing equation if and only if

Fibred links and a construction of real singularities via complex geometry

This note gives a method for constructing real analytic maps from ²ⁿ into ², with an isolated critical point at 0 ²ⁿ , for alln>1. This provides infinite families of real singularities which fiber a la Milnor.Research partially supported by CONACYT, Mexico, grant 1206-E92103.     

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

Convergence of an upstream finite volume scheme for a nonlinear hyperbolic equation on a triangular mesh

Summary We study here the discretisation of the nonlinear hyperbolic equationu _t +div(vf(u))=0 in ³ × ₊, with given initial conditionu(.,0)=u ₀(.) in ², wherev is a function from ² × ₊ to ² such that divv=0 andf is a given nondecreasing function from to . An explicit Euler scheme is used for the time discretisation of the equation, and a triangular mesh for the spatial discretisation. Under a usual stability condition, we prove the convergence of the solution given by an upstream finite volume scheme towards the unique entropy weak solution to the equation.     

C 1 changes of variable: Beurling-Helson type theorem and Hörmander conjecture on Fourier multipliers

We prove that if aC ¹ smooth change of variable : generates a bounded composition operatorff° in the spaceA _p()=L ^p ,p2, then is linear (affine).We also prove that for a nonlinearC ¹ mapping , the norms of exponentialse ⁱ as Fourier multipliers inL ^p () tend to infinity (,||). In both results the condition C ¹ is sharp, it cannot be replaced by the Lipschitz condition.     

Computation of exponential integrals

Let P ^d be a convex polyhedron and f: ^d a linear function. One studies the computational complexity of the integral _pexp f(xdx. It is shown that these integrals satisfy nontrivial algebraic relations, which makes possible the construction of polynomial algorithms for certain polyhedra. Examples are given of the application of exponential integrals to the calculation of volume and nonlinear programming.Translated from Zapiski Nauchnykh Seminarov Leningradksogo Otdeleniya Matematicheskogo Instituta im. V. A. Skeklova AN SSSR, Vol. 192, pp. 149–162, 1991.     

Gewichtete Volumsmittelwerte von Simplices,welche zufällig in einem konvexen Körper des ℝ gewählt werden

For any set ofn+1 pointsx ₁, ...,x _n+1F we denote byv(C(x ₁,...,x _n+1)) then-dimensional oriented volume of the convex hullC(x ₁,...,x _n+1) of these points. With a fixed symmetric functionf: >> strictly monotone increasing on the nonnegative real line, we consider the real functional RODEL on the set of all convex bodiesK of ⁿ with absolute volume |v(K)|=1 and assert, that it takes its minimal value on the ellipsoids with absolute volume 1.     

Weak solutions of the Stokes problem in weighted Sobolev spaces

For n2 we consider the Stokes problem in ⁿ, -u + p=f, -divu=g, in weighted Soboiev spaces H ₆ ^m,r , where the weights are proportional to (1+|x|). We prove the existence of weak solutions for any K, whereK is a discrete set of critical values. Furthermore, we characterize the solutions of the homogeneous problem.This research was supported by the DFG research group Equations of Hydrodynamics, Universities of Bayreuth and Paderborn.     

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.

     

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

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     

Variations on the theme of repeated distances

We give an asymptotically sharp estimate for the error term of the maximum number of unit distances determined byn points in ^{d, d}4. We also give asymptotically tight upper bounds on the total number of occurrences of the favourite distances fromn points in ^{d, d}4. Related results are proved for distances determined byn disjoint compact convex sets in ².At the time this paper was written, both authors were visiting the Technion — Israel Institute of Technology.     

Finite-dimensional discrete linear stochastic accelerated-time systems and their application to quadratic stochastic dynamical systems

The limiting behavior of the trajectories {x ⁽ⁿ⁾ } of linear discrete stochastic systems of the form (K, P ^an+b ) _nN , whereK is the standard simplex in ^N ,P: ^{N N} is a linear operator,PK K,a ft,b ,a+b>0, is described. An application to a class of quadratic stochastic dynamical systems is considered.Translated fromMatematicheskie Zametki, Vol. 59, No. 5, pp. 709–718, May, 1996.     

Achtdimensionale lokalkompakte Translationsebenen mit großen kompakten Kollineationsgruppen

This paper is part of a program aiming at the classification of all higher-dimensional locally compact translation planes whose collineation groups have large dimension. In the present paper we determine all eight-dimensional locally compact translation planes which admit acompact collineation group of dimension at least 5 acting almost effectively on the translation axis. In fact, is isomorphic either to Spin₄ or toSO ₄(). The case Spin₄() has already been treated elsewhere ([6]). Here, the planes with SO ₄() are explicitly determined and studied in detail.     

Rudiments of an average case complexity theory for piecewise-linear path following algorithms

We examine the efficiency of PL path following algorithms in followingF _T ^-1 (0), whereF _T is the PL approximation, induced by the simplicial triangulationT, to a mapf: ^{n n-1}. In particular, we consider the problem of determining an upper bound on the expected number of pivots made per unit length off ^–1(0) that is approximated. We show that if the sizes of the simplices ofT are sufficiently small, where sufficiently small is an explicitly given quantity dependent on measurements of how nicef is, then the average directional density ofT, as introduced by Todd, really does give a good approximation to the expected number of pivots made, confirming what researchers have believed on intuitive grounds for a decade. Because what constitutes sufficiently small is a precisely given quantity, i.e., non-asymptotic, we are able to provide some rigorous justification for the claim that the expected number of pivots grows only polynomially inn, the number of variables.Several other issues are also examined.Research supported by an NSF Mathematical Sciences Postdoctoral Research Fellowship. This research was performed while the author was a member of the Mathematical Sciences Research Institute, Berkeley, California.     

On a free boundary problem for minimal surfaces

ForC ⁴-embedded manifoldsS ³ which are differmorphic to the standard sphere in ³ the existence of non-constant minimal surfaces bounded byS and intersectingS orthogonally along their boundaries is deduced.This research was supported by the Sonderforschungsbereich 72 of the Deutsche-Forschungs-Gemeinschaft     

On a Class of Convex Sets and Functions

Given a convex subset C of ⁿ, the set-valued mapping C (where 0C is, by convention, the recession cone of C) is increasing on ₊ if and only if C contains the origin, and decreasing on ₊ if and only if C is contained in its recession cone. This simple fact enables us to define a binary operation which combines a concave or convex function on ^m with a convex subset of ⁿ to produce a convex subset of ^n+m. This binary operation is the set theoretic counterpart of a functional operation introduced by the author. In this paper, we present a detailed study of the class of convex subsets which are contained in their recession cones, and we establish some remarkable properties of our binary operation.Mathematics Subject Classifications (2000) 26A51, 26B25, 26E25.     

Mengenwertige Masse und Fortsetzungen

Let (, _i) be a probability space for i=1,2 with and : ^m a correspondence, i.e. () is a non-void subset of ^m for all . We give necessary and sufficient conditions under which it holds, that ₂ extends ₁. iff _A d₂ is equal to _A d₁ for all A, where _A d_i is the set of all integrals _A f d_i of functions f: ^m with f()() _i.-a.e.     

Constructive Axiomatic Approach to the Determination of the Orbit Spaces of Coregular Compact Linear Groups

We review the proposal of a constructive axiomatic approach to the determination of the orbit spaces of all the real compact linear groups, obtained through the computation of a metric matrix , which is defined only in terms of the scalar products between the gradients p₁(x),...,p_q(x) of the elements of a minimal integrity basis (MIB) for the ring [ⁿ]^G of G-invariant polynomials. The domain of semi-positivity of is known to realize the orbit space ⁿ/G of G as a semi-algebraic variety in the space ^q spanned by the variables p₁,...,p_q. The matrices can be obtained from the solutions of a universal differential equation (master equation), which satisfy convenient initial conditions. The master equation and the initial conditions involve as free parameters only the degrees d_a of the p_a(x)s. This approach tries to bypass the actual impossibility of explicitly determining a set of basic polynomial invariants for each group. Our results may be relevant in physical contexts where the study of covariant or invariant functions is important, like in the determination of patterns of spontaneous symmetry breaking in quantum field theory, in the analysis of phase spaces and structural phase transitions (Landaus theory), in covariant bifurcation theory, in crystal field theory and so on. Mathematics Subject Classifications (2000) 14L24, 13A50, 14L30.This paper is partially supported by INFN and MURST 40% and 60%.     

A Bernstein result for energy minimizing hypersurfaces

We show that there are no entire, positive, stable solutions in ⁿ of the Euler equation corresponding to the singular variational integral ,>0, if+n<5.236.... Furthermore we prove a related result for smooth boundaries of least-energy |x _n+1||D _U | in ⁿ⁺¹.