Zur Lösung parameterabhängiger nichtlinearer Gleichungen mit singulären Jacobi-Matrizen

Summary For solving the nonlinear systemG(x, t)=0,G| ⁿ × ^{1 n} , which is assumed to have a smooth curve of solutions a continuation method with self-choosing stepsize is proposed. It is based on a PC-principle using an Euler-Cauchy-predictor and Newton's iteration as corrector. Under the assumption thatG is sufficiently smooth and the total derivative (₁ G(x, t)₂ G(x, t)) has full rankn along the method is proven to terminate with a solution (x ^N , 1) of the system fort=1. It works succesfully, too, if the Jacobians ₁ G(x, t) become singular at some points of , e.g., if has turning points. The method is especially able to give a point-wise approximation of the curve implicitly defined as solution of the system mentioned above.

     

Asymptotic behavior of the dwell time distribution for a random walk on a positive semi-axis

Let ₁, ₂, ... be a sequence of independent identically distributed random variables with zero means. We consider the functional _n = _k=o ⁿ (S _k ) where S₁=0, S_k= _i=1 ^k _i (k1) and(x)=1 for x0,(x) = 0 for x<0. It is readily seen that _n is the time spent by the random walk S_n, n0, on the positive semi-axis after n steps. For the simplest walk the asymptotics of the distribution P (_n = k) for n and k, as well as for k = O(n) and k/n<1, was studied in [1]. In this paper we obtain the asymptotic expansions in powers of n^–1 of the probabilities P(h_n = nx) and P(nx_{1 n} nx₂) for 0<₁, x = k/n ₂<1, 0<₁x₁2₂<1.Translated from Matematicheskie Zametki, Vol. 15, No. 4, pp. 613–620, April, 1974.The author wishes to thank B. A. Rogozin for valuable discussions in the course of his work.     

Über Tuttes Cages

An undirected graph of valencyd and girth is called a (d, )-cage if its automorphism group acts transitively on the set of alls-paths in ands(+1)/2. We discuss an elementary construction of two known families of cages which allows us to prove easily some facts about their automorphism groups. We give, for example, a new proof of the fact that the automorphism group ofSp ₄(2 ⁿ ) contains elements which are not induced by Sp ₄(2 ⁿ ).     

Self-intersections of 1-dimensional random walks

Summary Consider a random walk S _n on the integers, where the steps _i have mean 0 and variance ². Let T be the time of first self-intersection of the random walk. It is shown that, as , T grows at rate ^2/3. More precisely, T^2/3 has a non-degenerate limit distribution which can be described in terms of Brownian motion local time.Research supported by National Science Foundation Grant MCS80-02698.     

Verschärfung einer Ungleichung von Ky Fan

Summary In this paper we prove the following:IfA _n ,G _n andH _n (resp.A _n ,G _n andH _n ) denote the arithmetic, geometric and harmonic means ofa ₁,, a _n (resp. 1 –a ₁,, 1 –a _n ) and ifa _i (0, 1/2],i = 1,,n, then(G _n /G _n ) ⁿ (A _n /A _n ) ^n-1 H _n /H _n , (^*) with equality holding forn = 1,2. Forn 3 equality holds if and only ifa ₁ = =a _n . The inequality (^*) sharpens the well-known inequality of Ky Fan:G _n /G _n A _n /A _n .

     

Covering a convex body by smaller homothetic copies

Let a convex bodyAE ⁿ be covered bys smaller homothetic copies with coefficients ₁, ..., _s , respectively. It is conjectured that ₁ + ...+ _s n. This conjecture is confirmed in two cases:n is arbitrary ands=n+1;s is arbitrary andn=2.     

Central orderings in fields of real meromorphic function germs

Let X_oR ⁿ be an irreducible analytic germ and the order space of its field of meromorphicfunetion germs. A formal half-branch in X_o is a kind of C-map germ c[0,)X_o; an ordering is centered at c if it contains the functions which are positive on c. We obtain a partition ¹,...,^d, d=dim X_o, of the set ^* of central (i.e.: centered at some half-branch) orderings, according to the dimension of half-branches. Then we show that all ^e, e= 1,.,d, as well as the set \^* of noncentral orderings, are dense in . Finally, we solve the 17th Hubert Problem for analytic germs.     

The Laplacian with Robin Boundary Conditions on Arbitrary Domains

Using a capacity approach, we prove in this article that it is always possible to define a realization of the Laplacian on L ²() with generalized Robin boundary conditions where is an arbitrary open subset of R ⁿ and is a Borel measure on the boundary of . This operator generates a sub-Markovian C ₀-semigroup on L ²(). If d=d where is a strictly positive bounded Borel measurable function defined on the boundary and the (n–1)-dimensional Hausdorff measure on , we show that the semigroup generated by the Laplacian with Robin boundary conditions has always Gaussian estimates with modified exponents. We also obtain that the spectrum of the Laplacian with Robin boundary conditions in L ^p () is independent of p[1,). Our approach constitutes an alternative way to Daners who considers the (n–1)-dimensional Hausdorff measure on the boundary. In particular, it allows us to construct a conterexample disproving Daners' closability conjecture.     

Quelques propriétés des solutions de l'équation de Ginzburg-Landau sur un ouvert de ∝2

For a solution u of –u=u(1–|u|²) on the whole plane, |u|<1 holds everywhere unless u=eⁱ for some ; the derivatives of order k have moduli a constant M _kdepending only on k. For a solution u on an open set ², the moduli of u and its derivatives have upper bounds depending only on the distance to ²\ therefore the set of solutions on a given is compact in C() for the topology of uniform convergence on compact subsets of . For a solution u such that |u|<1, 1–|u| satisfies an estimation similar to the classical Harnack inequality for positive harmonic functions.Finally, if is bounded and |u| has a lim supm at each boundary point, the |u|m in if m1, but if m<1 then |u| admits only a majorant S _m with values in ]m, 1[ and sufficient conditions are given for lim S _m =0 or S _m =O(m) as m0.

     

On the width of ordered sets and Boolean algebras

Thewidth (chain number) of a partial order P, < is the smallest cardinal such that ¦A¦< 1 + whenever A is an antichain (chain) in P. We prove that, if a partial order (P, <) has width and cf()=, then P contains antichains A_n (n<) such that ¦A ₀¦<¦A₁¦ <...<={¦A_n¦: n < < } and either A₀1 A₂< ... or A₀>A₁ >A₂> ... A similar structure result is obtained for partial orders with chain number if cf()=. As an application we solve a problem of van Douwen, Monk and Rubin [1] by showing that if a Boolean algebra has width , thencf() .This work has been partially supported by NATO grant No. 339/84.Presented by Bjarni Jonsson.     

Central Limit Theorem for a Class of Nonhomogeneous Random Walks

A spatially nonhomogeneous random walk _t on the grid =^m X ⁿ is considered. Let _t ⁰ be a random walk homogeneous in time and space, and let _t be obtained from it by changing transition probabilities on the set A= X ⁿ, || < , so that the walk remains homogeneous only with respect to the subgroup ⁿ of the group . It is shown that if >m 2 or the drift is distinct from zero, then the central limit theorem holds for _t.     

Surjectivity of quotient maps for algebraic (ℂ,+)-actions and polynomial maps with contractible fibers

In this paper we establish two results concerning algebraic (,+)-actions on ⁿ . First, let be an algebraic (,+)-action on ³. By a result of Miyanishi, its ring of invariants is isomorphic to [t ₁,t ₂]. Iff ₁,f ₂ generate this ring, the quotient map of is the mapF:³²,x(f ₁(x), f₂(x)). By using some topological arguments we prove thatF is always surjective. Secon, we are interested in dominant polynomial mapsF: ^{n n-1} whose connected components of their generic fibers are contractible. For such maps, we prove the existence of an algebraic (,+)-action on ⁿ for whichF is invariant. Moreover we give some conditions so thatF*([t ₁,...,t _n-1 ]) is the ring of invariants of .Dedicated to all my friends and my family     

Homothetic floating bodies

We show that a convex bodyK in ⁿ is homothetic to an ellipsoid if there is a sequence { _k }k converging to 0 so thatK is homothetic to its floating bodiesK _k.Supported by NSF grant DMS-9108003.     

Resolvent of the Toeplitz operator may increase arbitrarily fast

It is proved that for every sequence of points _n from the unit circle, _n1, and for an arbitrary sequence of positive numbers A_n, A_n, there exists a continuous real function u, such that for the Toeplitz operator T (acting in the Hardy space H²) with the symbol =e ^iu we have the estimates (T–_nI)^–1>A_n, n.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova, AN SSSR, Vol. 157, pp. 175–177, 1987.     

Separation of hypersurfaces

We give a generalization of results obtained in [15]. LetK ⁿ denote the set of embedded hypersurfaces in ⁿ⁺¹; for all xSⁿ and MK ⁿ we denote by C _x ^M the apparent contour ofM in the directionx. Then we give a sufficient condition on WSⁿ such that the map _W ^{K n}:K ⁿ P(T Sⁿ) , defined by _W ^{K n} (M)={C _w ^M ¦ wW}, is injective.     

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.     

On the eigenvalues of the matrix pencilA+μB

Summary The number of independent invariants ofn×n matricesA, B and their products on which the eigenvalues () of the matrix pencilA+B depend is determined by means of the theory of algebraic invariants and combinatorial analysis. Formulas are displayed for coefficients for the calculation of () forn5.

---

Zusammenfassung Wir bestimmen die Anzahl der unabhängigen Invarianten dern×n MatrizenA, B und ihrer Produkte, von denen die Eigenwerte () der MatrixbüschelA+B abhängen, mittels der Theorie der algebraischen Invarianten und mittels kombinatorischer Analyse. Formeln für Koeffizienten zur Berechnung von () werden angegeben fürn5.

     

Differentiability properties of the minimal average action

Given aZ ⁿ⁺¹-periodic variational principle onR ⁿ⁺¹ we look for solutionsu:R ⁿ R minimizing the variational integral with respect to compactly supported variations. To every vector R ⁿ we consider a subset of solutions which have an average slope when averaging overR ⁿ. The minimal average action A() is defined by the average value of the variational integral given by a solution with average slope . Our main result is:A is differentiable at if and only if the set is totally ordered (in the natural sense). In case that is not totally ordered,A is differentiable at in some direction R ⁿ{0} if and only if is orthogonal to the subspace defined by the rational dependency of . Assuming that the i^th component of is rational with denominator sⁱ N in lowest terms, we show: The difference of right- and left-sided derivative in the i^th standard unit direction is bounded by const · .     

Zeros of the densities of infinitely divisible measures on R n

Let be an infinitely divisible probability measure onR ⁿ without Gaussian component and let be its Lévy measure. Suppose that is absolutely continuous with respect to the Lebesgue measure . We investigate the structure of the set ⁿ of admissible translates of . This yields a unified presentation of previously known results. We also show that if(S)>0 then is equivalent to , under the assumption that supp =R ⁿ , whereS is the closure of the semigroup generated by the support of .The research of this author is supported by KBN Grant.The research of this author is supported by AFSOR Grant No. 90-0168, and the University of Tennessee Science Alliance, a State of Tennessee Center of Excellence.     

Approximation of convolutions of multi-dimensional symmetric distributions by accompanying laws

Let F be a symmetric k-dimensional probability distribution, whose characteristic function satisfies for allt R ^k the inequality –1 + , where 0 < < 2. Let n be an arbitrary natural number, let Fⁿ be the n-fold convolution of the distribution F with itself, and let e(nF) be the accompanying infinitely divisible distribution with characteristic function exp(n( –1)). It is proved that the uniform distance (·,·) between corresponding distribution functions admits estimate (F ⁿ ,e(nF))c₁(k)(n^–1+exp(–n+ckn ³ n)), where c₁ (k) depends only on the dimension k, while c₂ is an absolute constant.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 177, pp. 55–72, 1989.