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)¦.     

Black holes on the plane drawn by a Wiener process

Summary We say that the discD()R ², of radius , located around the origin isp-covered in timeT by a Wiener processW(·) if for anyzD() there exists a 0tT such thatW(t) is a point of the disc of radiusp, located aroundz. The supremum of those 's (0) is studied for which,D() isp-covered inT.     

Local partial regularity theorems for suitable weak solutions of a class of degenerate systems

A partial regularity theorem is established for a particular class of weak solutions to the systemu/t– div(K(u)u)=(u)¦¦², div((u))=0 on a bounded domain inR ^N . Under our assumptions, (u) may exhibit exponential decay, and thus the system may be degenerate. Our proof is based upon a blow-up argument.This work was supported in part by NSF Grant DMS9424448.     

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.     

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 Bahadur asymptotic efficiency in a semiparametric regression model

ＯＮＢＡＨＡＤＵＲＡＳＹＭＰＴＯＴＩＣＥＦＦＩＣＩＥＮＣＹＩＮＡＳＥＭＩＰＡＲＡＭＥＴＲＩＣＲＥＧＲＥＳＳＩＯＮＭＯＤＥＬＬＩＡＮＧＨＵＡ（梁华）;ＣＨＥＮＧＰＩＮＧ（成平）（ＩｎｓｔｉｔｕｔｅｏｆＳｙｓｔｅｍｓＳｃｉｅｎｃｅ,ｔｈｅＣｈｉｎｅｓｅＡ...     

On the exactness of a theorem of Mazur and Orlicz

For a preassigned unbounded sequence {S_n} of complex numbers, and preassigned complex numbers z₁ and z₂z₁ we construct: 1) regular matrices A=a_nk and B=b_nk such that the same bounded sequences are summable by these matrices and that , and ; 2) regular matrices A⁽¹⁾)=a _nk ⁽¹⁾ and B⁽¹⁾=b _nk ⁽¹⁾ such that B⁽¹⁾ A⁽¹⁾, and, . Our results show that the well known theorem of MazurOrlicz on the bounded consistency of two regular matrices, one of which is boundedly stronger than the other, is exact.Translated from Matematicheskie Zametki, Vol. 11, No. 4, pp. 431–436, April, 1972.     

Finitely Valued f-Modules, An Addendum

In an -group M with an appropriate operator set it is shown that the -value set (M) can be embedded in the value set (M). This embedding is an isomorphism if and only if each convex -subgroup is an -subgroup. If (M) has a.c.c. and M is either representable or finitely valued, then the two value sets are identical. More generally, these results hold for two related operator sets ₁ and ₂ and the corresponding -value sets and . If R is a unital -ring, then each unital -module over R is an f-module and has exactly when R is an f-ring in which 1 is a strong order unit.     

On Remez-type inequalities for polynomials in R m and C m

Remez-type inequalities provide estimates for the size of polynomials on given sets KR ^m (or C ^m ) when the magnitude of polynomials on largeldquo subsets of K is known. We shall study this question on smooth sets K in R ^m and C ^m and show how the smoothness of K effects the estimates.     

Iterated means of convex bodies

LetK be a convex body inR ⁿ with polarK . Let _p refer to Fireyp orp-dot means. If 0<<1,p1, andK _i+1 =K _{i p} (1–)K _i , fori1, then K _i is the unit ball inR ⁿ.     

Errors in approximate solutions of Cauchy's problem for a first-order quasilinear equation

The proximity is investigated of the solution of Cauchy's problem for the equation u _t +((u))_x= u _xx ((u) > 0) to the solution of Cauchy's problem for the equation u_t+ ((u))_x= 0, when the solution of the latter problem has a finite number of lines of discontinuity in the strip 0 t T. It is proved that, everywhere outside a fixed neighborhood of the lines of discontinuity, we have |u–u| C, where the constant C is independent of. Similar inequalities are derived for the first derivatives of u–u.Translated from Matematicheskie Zametki, Vol. 8, No. 3, pp. 309–320, September, 1970.In conclusion we express our gratitude to L. A. Chudov for his valuable advice concerning this work.     

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.     

Über Mosers regularisiertes Variationsproblem für minimale Blätterungen desn-dimensionalen Torus

We consider regular and Cantor-like minimal foliations of the (n+1)-dimensional TorusT ⁿ⁺¹ whose leaves minimize a given variational integral. Each leaf of such a generalized foliation lies in the universal coveringR ⁿ⁺¹ within a finite distance to the affine leaves (z, x+) of fixed R ⁿ . We show that the conjugation-functionU (x,), mapping the affine leaves (x, x+) into the leaves(x,U (x,x+)) of the generalized foliation, is itself a minimal solution of an extended degenerate variational problem onT ⁿ +1. If R ⁿ /Q ⁿ the functionU is characterized in a unique way as (discontinuous) limit of the minimal solutions of the corresponding regularized problem.     

Lattice Polytopes Associated to Certain Demazure Modules of sl n + 1

Let w be an element of the Weyl group of sl _{n + 1}. We prove that for a certain class of elements w (which includes the longest element w₀ of the Weyl group), there exist a lattice polytope R ^l(w) , for each fundamental weight _i of sl _{n + 1}, such that for any dominant weight = _{i = 1} ⁿ a _{i i} , the number of lattice points in the Minkowski sum _w = _{i = 1} ⁿ a _{i i} ^w is equal to the dimension of the Demazure module E _w (). We also define a linear map A ^w : R ^l(w) P _Z R where P denotes the weight lattice, such that char E _w () = e e^–A(x) where the sum runs through the lattice points x of ^w .     

On equivalence of rearrangements of the Haar system in dyadic Hardy and BMO spaces

H={h ₁,I } — , . : , I ¦(I)¦=¦I¦, ¦I¦ — I. H H ={h _(I),I} . , , . L ^p .

---

---

Dedicated to Professor B. Szökefalvi-Nagy on his 75th birthday

---

This research was supported in part by MTA-NSF Grants INT-8400708 and 8620153.     

Perturbation of orthonormal bases inL 2-spaces

The paper improves and generalizes a classical result from Paley and Wiener in their book on Fourier transforms. Paley and Wiener gave conditions on functionsh _n that imply that the sequence (1+h _n (x))e ^inx is a Riesz basis forL ²[–,]. These conditions involve theL ²-norm of the second derivativesh _n . The new results replace the differential operatoryy by more general differential operators inL ²-spaces, in particular, by the Hermite differential operator inL ²(R), ande ^inx by arbitrary orthonormal bases.     

Relatively Noetherian rings, localization and sheaves. I: The relative second layer condition

In this note, we introduce a version of the (strong) second layer condition for ringsR which are relatively Noetherian with respect to some radical inR-mod and study its impact on classical and symmetric localization theory. As an application, we will show in the second part of this paper how the strong second layer condition allows us to endowK(), the generically closed subset of Spec(R) canonically associated to , with structure sheaves, which generalize most previously studied sheaf constructions in noncommutative algebra.     

Random rotations of the Wiener path

Summary Let (W, H, ) be an abstract Wiener space and letR(w) be a strongly measurable random variable with values in the set of isometries onH. Suppose that Rh is smooth in the Sobolev sense and that it is a quasi-nilpotent operator onH for everyhH. It is shown that (R(w)h) is again a Gaussian (0, |h| _H ² )-random variable. Consequently, if (e _i ,i)W ^* is a complete, orthonormal basis ofH, then defines a measure preserving transformation, a rotation, onW. It is also shown that if for some strongly measurable, operator valued (onH) random variableR, (R(w+k)h) is (0, |h| _H ² )-Gaussian for allk, hH, thenR is an isometry and Rh is quasi-nilpotent for allHH. The relation between the stochastic calculi for these Wiener pathsw and , as well as the conditions of the inverbibility of the map are discussed and the problem of the absolute continuity of the image of the Wiener measure under Euclidean motion on the Wiener space (i.e. composed with a shift) is studied.The research of the second author was supported by the Fund for the Promotion of Research at the TechnionDedicated to the memory of Albert Badrikian     

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

For the motion equations of Kelvin-Voight fluids one proves: 1) a global theorem for the existence and uniqueness of a solution (v;{u_e}) of the initial-boundary value problem on the semiaxis t R⁺ from the class W ¹ (R⁺); W ₂ ² () H()) with initial condition v_o(x) W ₂ ² () H() when the right-hand side f(x, t) L(R ⁺; L₂()); 2) a global theorem for the existence and uniqueness of a solution (v; {u_l}) on the entire axisR from the classW ¹ (R; W ₂ ² () H()) when the right-hand side f(x, t) L(R; L₂()); 3) a global theorem for the existence of at least one solution (v; {u_l}), periodic with respect to t with period , from the class W ¹ (R ⁺; W ₂ ² () H()) when the right-hand side f(x, t) L(R ⁺; L₂()) is periodic with respect to t with period , and a local uniqueness theorem for such a solution; 4) a theorem for the existence and uniqueness in the small of a solution (v; {u_l}), almost periodic with respect to t R, from V. V. Stepanov's class S ¹ (R; W ₂ ² ()H()) when the right-hand side f(x, t) S(R; L₂()) is almost periodic with respect to t; 5) the linearization principle (Lyapunov's first method) is justified in the theory of the exponential stability of the solutions of an initial-boundary value problem in the space H() and conditions are given for the exponential stability of a stationary and periodic solution, with respect to t R, of the system (1).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 181, pp. 146–185, 1990.     

Über den algorithmischen Nachweis von Ungleichungen I

We shall develop a method to prove inequalities in a unified manner. The idea is as follows: It is quite often possible to find a continuous functional : ⁿ , such that the left- and the right-hand side of a given inequality can be written in the form (u)(v) for suitable points,v=v(u). If one now constructs a map ^{n n} , which is functional increasing (i.e. for each x ⁿ (which is not a fixed point of ) the inequality (x)<((x)) should hold) one specially gets the chain (u)( u))( ²(u))... ⁿ (u)). Under quite general conditions one finds that the sequence { ⁿ (u)} _n converges tov=v(u). As a consequence one obtains the inequality (u)(v).