Eine Bemerkung zu den höheren Pythagoraszahlen reeller Körper

Becker has shown in [1] that for the 4-th Pythagoras number of the field (X) the inequality P₄ ((X)) 36 holds. In this paper we will show P₄ ((X)) 24 and P₄ (K) 3 for all real pythagorean fields K.     

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 some functional equations of Goląb-Schinzel type

Summary LetE be a real Hausdorff topological vector space. We consider the following binary law * on ·E:(, ) * (, ) = (, ^k + ) for(, ), (, ) × E where is a nonnegative real number,k andl are integers.In order to find all subgroupoids of ( ·E, *) which depend faithfully on a set of parameters, we have to solve the following functional equation:f(f(y) ^k x +f(x) ^l y) =f(x)f(y) (x, y E). (1)In this paper, all solutionsf: of (1) which are in the Baire class I and have the Darboux property are obtained. We obtain also all continuous solutionsf: E of (1). The subgroupoids of (^* ·E, *) which dapend faithfully and continuously on a set of parameters are then determined in different cases. We also deduce from this that the only subsemigroup ofL _n ¹ of the form {(F(x ₂,x ₃, ,x _n ),x ₂,x ₃, ,x _n ); (x ₂, ,x _n ) ^{n – 1} }, where the mappingF: ^{n – 1 *} has some regularity property, is {1} × ^{n – 1} .We may noitice that the Gob-Schinzel functional equation is a particular case of equation (1)(k = 0, l = 1, = 1). So we can say that (1) is of Gob—Schinzel type. More generally, whenE is a real algebra, we shall say that a functional equation is of Gob—Schinzel type if it is of the form:f(f(y) ^k x +f(x) ^l y) =F(x,y,f(x),f(y),f(xy)) wherek andl are integers andF is a given function in five variables. In this category of functional equations, we study here the equation:f(f(y) ^k x +f(x) ^l y) =f(xy) (x, y f: ). (4)This paper extends the results obtained by N. Brillouët and J. Dhombres in [3] and completes some results obtained by P. Urban in his Ph.D. thesis [11] (this work has not yet been published).Dedicated to the memory of Alexander M. Ostrowski on the occasion of the 100th anniversary of his birth     

On the domain dependence of solutions to the two-phase Stefan problem

We prove that solutions to the two-phase Stefan problem defined on a sequence of spatial domains _n ^N converge to a solution of the same problem on a domain where is the limit of _n in the sense of Mosco. The corresponding free boundaries converge in the sense of Lebesgue measure on ^N.     

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.     

Orthogonal systems invariant under an automorphism

, , - ( ) . , - , ( ) .     

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.     

A Hubert space characterization among function spaces

— [0,1] ,E — - e=1 [0,1]. I — _E =1, E=L ₂ x _e =xL ₂ x E.

---

---

This work was prepared when the second author was a visiting professor of the CNR at the University of Firenze. He was supported by the Soros International Fund.     

On Cauchy Problem for First Order Nonlinear Functional Differential Equations of Non-Volterra's Type

On the segment I = [a, b] consider the problem ú(t)=f(u)(t), u(a)=c, where f: C(I, )rightarrow L(I, ) is a continuous, in general nonlinear operator satisfying Carathéodory condition, and c . The effective sufficient conditions guaranteeing the solvability and unique solvability of the considered problem are established. Examples verifying the optimality of obtained results are given, as well.     

Approximation of the efficient point set by perturbation of the ordering cone

A vector optimization problem is given by a feasible setZ ⁿ , a vector-valued objective functionf: ^{n l} , and an ordering coneC ^l . We perturb the ordering cone in such a way that the weakly efficient points of the perturbed vector optimization problem given byZ, f, and the perturbed cone are efficient points of the original problem. Especially this means that scalarization methods, which compute in general only weakly efficient points, determine efficient points of the original problem, when they were applied to the perturbed problem.It turns out that the efficient points are the limits of weakly efficient points of the perturbed problems, letting the perturbation tend to zero. On the basis of this, a reference point algorithm is formulated. Finally, we apply this algorithm to a structural optimization problem.     

A functional inequality characterizing convex functions,conjugacy and a generalization of Hölder's and Minkowski's inequalities

Summary The main result says that, iff: _{+ +} satisfies the functional inequalityaf(s) + bf(t) f (as + bt) (s,t 0) for somea, b such that 0 <a < 1 <a + b, thenf(t) = f(1)t, (t 0). A relevant result for the reverse inequality is also discussed. Applying these results we determine the form of all functionsf: _k ⁺ ₊ satisying the above inequalities. This leads to a characterization of both concave and convex functions defined on ₊ ^k–1 , to a notion of conjugate functions and to a general inequality which contains Hölder's and Minkowski's inequalities as very special cases.     

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

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.     

Nonlocal problems in the theory of equations of motion of Kelvin-Voight fluids. 2

This article studies nonlocal problems for equations of motion of Kelvin-Voight fluids (2): 1) global solvability of initial-boundary-value problem (2)-(3) on halfaxisR ⁺ with free termf(x, t) S₂(⁺; L₂(0)) (see (4)); 2global solvability of system (2) on the entire axis R in the class of functions that are bounded as t±with free term f(x,t)S₂(; L₂());3) the existence of periodic solutions for system (2) that are periodic in t with period with free term,f(x,t)L₂((0,); L₂());4) the existence of solutions of system (2) that are almost periodic in t with free term f(x,t)S₂(, L₂()).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 185, pp. 111–124, 1990.     

Asymptotic behaviour of Gaussian random fields

Summary Let X={X(t), t ^N} be a centred Gaussian random field with covariance X(t)X(s)=r(t–s) continuous on ^N×^N and r(0)=1. Let (t,s)=((X(t)–X(s)) ²)^1/2; (t,s) is a pseudometric on ^N. Assume X is -separable. Let D ₁ be the unit cube in ^N and for 0<k, D _k= {x^N: k ^–1 xD₁}, Z(k)=sup{X(t),tD _k}. If X is sample continuous and ¦r(t)¦ =o(1/log¦t¦) as ¦t¦8 then Z(k)-(2Nlogk) ^1/20 as k a.s.     

Conditions for separately subharmonic functions to be subharmonic

Letu be a function on ^m × ⁿ , wherem2 andn2, such thatu(x, .) is subharmonic on ⁿ for each fixedx in ^m andu(.,y) is subharmonic on ^m for each fixedy in ⁿ . We give a local integrability condition which ensures the subharmonicity ofu on ^m × ⁿ , and we show that this condition is close to being sharp. In particular, the local integrability of (log⁺ u ⁺) ^m+n–2+ is enough to secure the subharmonicity ofu if >0, but not if <0.     

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.     

Total oscillation diminishing property for scalar conservation laws

Summary. We prove a BV estimate for scalar conservation laws that generalizes the classical Total Variation Diminishing property. In fact, for any Lipschitz continuous monotone :, we have that |(u)|_TV() is nonincreasing in time. We call this property Total Oscillation Diminishing because it is in contradiction with the oscillations observed recently in some numerical computations based on TVD schemes. We also show that semi-discrete Total Variation Diminishing finite volume schemes are TOD and that the fully discrete Godunov scheme is TOD.Mathematics Subject Classification (2000): 35L65, 35K55, 65M20     

Lototsky-Schnabl operators on compact convex sets and their associated limit semigroups

Given a metrizable compact convex setX of a locally convex Hausdorff space, a positive projectionT:C(X, )C(X, ) and a continuous function :X[0, 1], it is shown that under suitable assumptions there exists a positive contraction semigroup onC(X, ) that can be represented in terms of the Lototsky-Schnabl operators associated withT and . Several properties of this semigroup are investigated. In particular, its infinitesimal generator is determined in a core of its domain. WhenX ^p for somep1, then the generator is shown to be a degenerate elliptic second order differential operator.Dedicated to Professor George Maltese on the occasion of his 60^th birthday     

An Elementary Approach to Quasi-Isometries of Tree x ℝ n

We prove by elementary means a regularity theorem for quasi-isometries of T x ⁿ (where T denotes an infinite tree), and of many other metric spaces with similar combinatorial properties, e.g. Cayley graphs of Baumslag–Solitar groups. For quasi-isometries of T x ⁿ, it states that the image of {x} x ⁿ (xT) is uniformly close to {y} x ⁿ for some yT, and there is a well-defined surjection . Even stronger, the image of a quasi-isometric embedding of ⁿ⁺¹ in T x ⁿ is close to (a geodesic in T)T)x ⁿ.