Existence and construction of Δ1-splines of class Ck on a three-directional mesh

Let ^* be the equilateral triangulation of the plane and let ₁ ^* be the equilateral triangle formed by four triangles of ^*. We study the space of piecewise polynomial functions in C ^k (R ²) with support ₁ ^*, having a sufficiently high degree n and which are invariant with respect to the group of symmetries of ₁ ^*. Such splines are called ₁ ^*-splines. We first compute the dimension of this space in function of n and k. Then, for any fixed k0, we prove the existence of ₁ ^*-splines of class C ^k and minimal degree, but these splines are not unique. Finally, we describe an algorithm computing the Bernstein–Bézier coefficients of these splines.     

The degree of maps between certain 6-manifolds

For manifolds M,M of the form S² e⁴ e⁶ we compute the homomorphisms H_*M H_*M between homology groups which are realizable by a map F: M M.     

New lower semicontinuity results for polyconvex integrals

Summary We study integral functionals of the formF(u, )= f(u)dx, defined foru C¹(;R ^k), R ⁿ . The functionf is assumed to be polyconvex and to satisfy the inequalityf(A) c₀¦(A)¦ for a suitable constant c₀ > 0, where (A) is then-vector whose components are the determinants of all minors of thek×n matrixA. We prove thatF is lower semicontinuous onC ¹(;R ^k) with respect to the strong topology ofL ¹(;R ^k). Then we consider the relaxed functional , defined as the greatest lower semicontinuous functional onL ¹(;R ^k ) which is less than or equal toF on C¹(;R ^k). For everyu BV(;R ^k) we prove that (u,) f(u)dx+c₀¦D^su¦(), whereDu=u dx+D^su is the Lebesgue decomposition of the Radon measureDu. Moreover, under suitable growth conditions onf, we show that (u,)= f(u)dx for everyu W^1,p(;R ^k), withp min{n,k}. We prove also that the functional (u, ) can not be represented by an inte- gral for an arbitrary functionu BV_loc(R ⁿ;R ^k). In fact, two examples show that, in general, the set function (u, ) is not subadditive whenu BV_loc(R ⁿ;R ^k), even ifu W _loc ^1,p (R ⁿ;R ^k) for everyp < min{n,k}. Finally, we examine in detail the properties of the functionsu BV(;R ^k) such that (u, )= f(u)dx, particularly in the model casef(A)=¦(A)¦.     

The embedding of linearly ordered sets

It is shown that if a linearly ordered set B does not contain as subsets sets of order type and ^* then B can be embedded in 2 . We construct an example of a set satisfying the above conditions which cannot be embedded in any 2 if < . Simultaneously we show that for any ordinal, 2 ⁺¹ cannot be embedded in 2 and that there exists at least ₊₁ distinct dense order types of cardinality 2 .Translated from Matematicheskie Zametki, Vol. 11, No. 1, pp. 83–88, January, 1972.In conclusion, I wish to take the opportunity to thank Yu. L. Ershov for kindness and assistance in this work.     

An infinite dimensional analogue of the Albeverio-Röckner's theorem on Fukushima's conjecture

LetX be the solution of the SDE:dX _t = (X _t)dB _t +b(X _t)dt, with andb C _b (R) such that >0 for some constant , andB a real Brownian motion. Let be the law ofX onE=C([0, 1],R) andk E* – {0}, whereE* is the topological dual space ofE. Consider the classical form: _k (u, v)=u / kv / kd, whereu andv are smooth functions onE. We prove that, if _k is closable for anyk in a dense subset ofE* and if the smooth functions are contained in the domain of the generator of the closure of _k , must be a constant function.     

Stability and uniqueness of the solution of the inverse kinematic problem of seismology in higher dimensions

The following inverse kinematic problem of seismology is considered. In the compact domain M of dimension ,2 with the metric, we consider the problem of constructing a new metricdu=nds according to the known formula where ,M and K_, is the geodesic in the metric du, connecting the points , . One proves uniqueness and one obtains a stability estimate, where the refraction indices n₁, n₂ are the solutions of the inverse kinematic problem, constructed relative to the functions ₁, ₂, respectively, is the differential form on M×Mwhere =₂–₁,.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akad. Nauk SSSR, Vol. 84, pp. 3–6, 1979.     

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.

     

Arithmetic of the Modular Function j1,8

Since the genus of the modular curve X_1 (8) = _1 (8) * is zero, we find a field generator j _1,8(z) = ₃(2z)/₃(4z) (₃(z) := _n ein ^2z ) such that the function field over X ₁(8) is (j _1,8). We apply this modular function j _1,8 to the construction of some class fields over an imaginary quadratic field K, and compute the minimal polynomial of the singular value of the Hauptmodul N(j _1,8) of (j _1,8).     

On the properties of ε(≥0) optimal policies in discounted unbounded return model

This paper investigates the properties of (0) optimal policies in the model of [2]. It is shown that, if * = ( ₀ ^* , ₁ ^* ,..., _n ^* , _n ^+1/* , ...) is a-discounted optimal policy, then ( ₀ ^* , ₁ ^* , ..., _n ^* ) for alln0 is also a-discounted optimal policy. Under some condition we prove that stochastic stationary policy _n ^* corresponding to the decision rule _n ^* is also optimal for the same discounting factor. We have also shown that for each-optimal stochastic stationary policy ₀ ^* , ₀ ^* can be decomposed into several decision rules to which the corresponding stationary policies are also-optimal separately; and conversely, a proper convex combination of these decision rules is identified with the former ₀ ^* . We have further proved that for any (,)-optimal policy, say *=( ₀ ^* , ₁ ^* , ..., _n ^* , _n ^+1/* , ...), _n–1 ^* ) is ((1– ⁿ )^–1 e, ) optimal forn>0. At the end of this paper we mention that the results about convex combinations and decompositions of optimal policies of § 4 in [1] can be extended to our case.Project supported by the Science Fund of the Chinese Academy of Sciences.     

Existence theorems for regular,closed, convex surfaces

With the help of C. Miranda's method, developed in RZh. Mat. 1972, IA 1121 and 2A 917, existence problems are studied for closed convex surfaces whose principal radii of curvatureR ₁(n) andR ₂(n) satisfy an equation of the form R₁R₂ + (R₁ + R₂, R₁, R₂, n) + cn = (n), where c is a constant vector connected to the desired surface and the closure condition holds for(n). Here, in contrast to C. Miranda's papers, it is not assumed that ₁0. Instead, it is required that the first partial derivatives of with respect toR ₁ andR ₂ be nonnegative. A special case of the proved general theorem is the theorem about the existence of an equation in which is equal to the reciprocal of the mean curvature of the surface. The question of carrying over certain of Miranda's results to the case where increases as (R₁R₂)^µ, where µ>1, is also considered.Translated from Ukrainskii Geometricheskii Sbornik, No. 34, pp. 69–80, 1991.     

Interpolation theorems for a family of spanning subgraphs

Let G be a graph with order p, size q and component number . For each i between p – and q, let be the family of spanning i-edge subgraphs of G with exactly components. For an integer-valued graphical invariant if H H is an adjacent edge transformation (AET) implies |(H)-(H^')|1 then is said to be continuous with respect to AET. Similarly define the continuity of with respect to simple edge transformation (SET). Let M _j() and m _j() be the invariants defined by . It is proved that both M _p–() and m _p–(;) interpolate over , if is continuous with respect to AET, and that M _j() and m _j() interpolate over , if is continuous with respect to SET. In this way a lot of known interpolation results, including a theorem due to Schuster etc., are generalized.     

Fano'sche Moufang-Ebenen mit Gauss-Figur sind pappos'sch

LetV be a quadrilateral in aMoufang-plane , in which theFano-proposition is valid. Take the pointsP,Q,R respectively in the diagonalsp,q,r ofV and construe the pointsP ^*,Q ^*,R ^* inp,q, r harmonic toP,Q,R with respect to pairs of edges ofV. IfP,Q,R are collinear, so areP ^*,Q ^*,R ^*, if and only if is aPappos-plane. Is V classical, the pointsP ₁ p,Qq,Rr and their harmonic conjugatesP ₁ ^* ,Q ^*,R ^* (construed as above mentioned) lay in a curve of 2^nd order.

---

---

R. Artzy zum 70. Geburtstag zugeeignet     

Continuous Singularity of the Weak Limit of Convolution Powers of a Discrete Probability Measure on 2 × 2 Stochastic Matrices

Let be a probability measure on n 2 × 2 stochastic matrices, n an arbitrary positive integer, and = (w) lim _n ⁿ , such that the support of consists of 2 × 2 stochastic matrices of rank one, and as such, can be regarded as a probability measure on [0, 1]. We present simple sufficient conditions for to be continuous singular w.r.t. the Lebesgue measure on [0, 1]. We also determine , given .     

The trace to subsets ofR n of Besov spaces in the general case

R ⁿ. , , , F R ⁿ, F , R ⁿ R ⁿ . ^p,q (Rⁿ), >0, 1, q, — ( ) Rⁿ. , ^p,q (Rⁿ) ^F Rⁿ. , q B ^p,q (F), = – (n–)/, >0, — « », ad — F, . , . : , F=R ^d,F— « » F— R ⁿ, « », F. .

---

---

This work has been supported in part by the Swedish Natural Science Research Council.     

On the asymptotic behaviour of first passage times for transient random walk

Summary Let _x denote the time at which a random walk with finite positive mean first passes into (x, ), wherex0. This paper establishes the asymptotic behaviour of Pr { _x >n} asn for fixedx in two cases. In the first case the left hand tail of the step-distribution is regularly varying, and in the second the step-distribution satisfies a one-sided Cramér type condition. As a corollary, it follows that in the first case Pr { _x >n}/Pr{ ₀ >n} coincides with the limit of the same quantity for recurrent random walk satisfying Spitzer's condition, but in the second case the limit is more complicated.     

Schwarz-Pick Inequalities for Hyperbolic Domains in the Extended Plane

Let and be two hyperbolic simply connected domains in the extended complex plane C¯ = C¯ {}. We derive sharp upper bounds for the modulus of the nth derivative of a holomorphic, resp. meromorphic function f: at a point z ₀ . The bounds depend on the densities (z ₀) and (f(z ₀)) of the Poincaré metrics and on the hyperbolic distances of the points z ₀ and f(z ₀) to the point .     

From Leibniz Homology to Cyclic Homology

For an algebra R over a commutative ring k, a natural homomorphism _*: HL_*+1(R) HH_* (R) from Leibniz to Hochschild homology is constructed that is induced by an antisymmetrization map on the chain level. The map _* is surjective when R = gl(A), A an algebra over a characteristic zero field. If f: A B is an algebra homomorophism, the relative groups HL_* (gl(f)) are studied, where gl(f): gl(A) gl(B) is the induced map on matrices. Letting HC_* denote cyclic homology, if f is surjective with nilpotent kernel, there is a natural surjection HL_*+1(gl(f)) HC_* (f) in the characteristic zero setting.     

On the long term behavior of some finite particle systems

Summary We consider the problem of comparing large finite and infinite systems with locally interacting components, and present a general comparison scheme for the case when the infinite system is nonergodic. We show that this scheme holds for some specific models. One of these is critical branching random walk onZ ^d . Let _t denote this system, and let _t ^N denote a finite version of _t defined on the torus [–N,N] ^d Z ^d . Ford3 we prove that for stationary, shift ergodic initial measures with density , that ifT(N) andT(N)/(2N+1)^d s[0,] asN, then {v }, 0 is the set of extremal invariant measures for the infinite system _t andQ _s is the transition function of Feller's branching diffusion. We prove several extensions and refinements of this result. The other systems we consider are the voter model and the contact process.Work supported in part by the National Science Foundation under Grant DMS-8802055, by the U.S. Army Research Office through the Mathematical Sciences Institute at Cornell University and by the Deutsche Forschungsgemeinschaft through the SFB 123 at the Universität Heidelberg     

On the boundedness of Cauchy singular operator from the spaceL p toL q,p>q>-1

It is proved that for a Cauchy type singular operator, given by equality (1), to be bounded from the Lebesgue spaceL _p () tol _q (), as = _n=1 ^Ȟ _n , _n ={z:|z|=r _n }, it is necessary and sufficient that either condition (4) or (5) be fulfilled.     

Construction of singular solutions to the p-harmonic equation and its limit equation for p=∞

Here, all solutions of the form u=r^kf() to the p-harmonic equation, div(|u|^p–2u)=0, (p>2) in the plane are determined. One main result is a representation formula for such solutions. Further, solutions with an isolated singularity at the origin are constructed (Theorem 1). Graphical illustrations are given at the end of the paper. Finally, all solutions u=r^kf() of the limit equation for p=, u _x ² u_xx+2u_xu_yu_xy+u _y ² u_yy=2, are constructed, some of which have a strong singularity at the origin (Theorem 2).