On semi-fredholm properties of a boundary value problem inR + n

The paper considers a boundary value problem with the help of the smallest closed extensionL ^∼ :H _k →H _{k 0}×B _{h 1}×...×B _{h N} of a linear operatorL :C ₍₀₎ ^∞ (R ₊ ⁿ ) →L(R ₊ ⁿ )×L(R ⁿ⁻¹)×...×L(R ⁿ⁻¹). Here the spacesH _k (the spaces ℬ _h ) are appropriate subspaces ofD′(R ₊ ⁿ ) (ofD′(R ⁿ⁻¹), resp.),L(R ₊ ⁿ ) andC ₍₀₎ ^∞ (R ₊ ⁿ )) denotes the linear space of smooth functionsR ⁿ →C, which are restrictions onR ₊ ⁿ of a function from the Schwartz classL (fromC ₀ ^∞ , resp.),L(R ⁿ⁻¹) is the Schwartz class of functionsR ⁿ⁻¹ →C andL is constructed by pseudo-differential operators. Criteria for the closedness of the rangeR(L ^∼) and for the uniqueness of solutionsL ^∼ U=F are expressed. In addition, ana priori estimate for the corresponding boundary value problem is established.     

On mappings into ℝ2ℓ

LetM be a compact orientable manifold. We know how to calculateX(M), the Euler characteristic ofM, from a stable mapf: M→R, with information only onS(f), the singular set off. This result was extended to stable maps into the plane by H. Levine [L-2] whenM has dimension 2n, and it is also calculated fromS(f). The purpose of this work is to generalize the above result for maps intoR ^2l, wheren≥l. In this caseS(f) is not a manifold. We use the process of resolution of singularities [L-3] to get a homomorphism having only singularities of codimension 1 and use simmilar technics as in [L-2]. Supported by FAPESP and FINEP.     

Nonholonomic connections with extended Galilean groups of transformations

We continue the investigation of regular representations of the extended Galilean group {ie463-01} acting on the smooth canonical fiber bundle π: R ⁿ⁺¹ → I R ⁿ . First-and second-order nonholonomic affine connections Γ ₁, Γ ₂, Γ _1,2 are constructed using the results presented in papers [3, 4, 5, 6].     

On the Schur multiplier of augmented algebras

Letk be a field, andA a finitely generatedk-algebra, with augmentation. Suppose there is a presentation ofA 0→I→R→A→0 whereR is a finitely generated freek-algebra andI is non-zero. IfA is infinite dimensional overk, Lewin proved thatR/I ² is not finitely presented. A stronger statement would be that the ‘Schur multiplier’ ofR/I ² is not finite dimensional. In the case thatA is an augmented domain, we prove this stronger statement, and some related statements.     

Isoperimetric inequalities on minimal submanifolds of space forms

For a domainU on a certaink-dimensional minimal submanifold ofS ⁿ orH ⁿ, we introduce a “modified volume”M(U) ofU and obtain an optimal isoperimetric inequality forU k ^k ω _k M (D) ^k-1 ≤Vol(∂D) ^k , where ω _k is the volume of the unit ball ofR ^k . Also, we prove that ifD is any domain on a minimal surface inS ₊ ⁿ (orH ⁿ, respectively), thenD satisfies an isoperimetric inequality2π A≤L ²+A² (2π A≤L²−A² respectively). Moreover, we show that ifU is ak-dimensional minimal submanifold ofH ⁿ, then(k−1) Vol(U)≤Vol(∂U). Supported in part by KME and GARC     

Asymptotic behavior of solutions for a class of retarded difference equations

Consider the retarded difference equationx _n −x _n−1 =F(−f(x _n )+g(x _n−k )), wherek is a positive integer,F,f,g:R→R are continuous,F andf are increasing onR, anduF(u)>0 for allu≠0. We show that whenf(y)≥g(y) (resp. f(y)≤g(y)) fory∈R, every solution of (*) tends to either a constant or −∞ (resp. ∞) asn→∞. Furthermore, iff(y)≡g(y) fory∈R, then every solution of (*) tends to a constant asn→∞. Project supported by NNSF (19601016) of China and NSF (97-37-42) of Hunan     

Mappings preserving some geometrical figures

We introduce new characterizations of linear isometries. More precisely, we prove that if a one-to-one mapping f : Rⁿ →Rⁿ (n > 1) maps the periphery of every regular triangle (quadrilateral or hexagon) of side length a > 0 onto the periphery of a figure of the same type with side length b > 0, then there exists a linear isometry I : Rⁿ →Rⁿ up to translation such that f(x) = (b/a) I(x). This revised version was published online in June 2006 with corrections to the Cover Date.     

On the comparison theorem for étale cohomology of non-Archimedean analytic spaces

Let ϕ:Y →X be a morphism of finite type between schemes of locally finite type over a non-Archimedean fieldk, and letF be an étale constructible sheaf onY. In [Ber2] we proved that if the torsion orders ofF are prime to the characteristic of the residue field ofk then the canonical homomorphisms (R ^Q ϱ*F)^an →R ^q ϱ _* ^an F ^an are isomorphisms. In this paper we extend the above result to the class of sheavesF with torsion orders prime to the characteristic ofk.     

Nonholonomic connections with Galilean groups of transformations

We construct second-order nonholonomic smooth invariant connections in the case of Galilean G(1,n) group representation in the canonical fiber bundle π: R ⁿ +1 → R ⁿ . Published in Lietuvos Matematikos Rinkinys, Vol. 46, No. 3, pp. 438–456, July–September, 2006.     

On the Lipschitzian properties of polyhedral multifunctions

In this paper, we show that for a polyhedral multifunctionF:R ⁿ →R ^m with convex range, the inverse functionF ⁻¹ is locally lower Lipschitzian at every point of the range ofF (equivalently Lipschitzian on the range ofF) if and only if the functionF is open. As a consequence, we show that for a piecewise affine functionf:R ⁿ →R ⁿ ,f is surjective andf ⁻¹ is Lipschitzian if and only iff is coherently oriented. An application, via Robinson's normal map formulation, leads to the following result in the context of affine variational inequalities: the solution mapping (as a function of the data vector) is nonempty-valued and Lipschitzian on the entire space if and only if the solution mapping is single-valued. This extends a recent result of Murthy, Parthasarathy and Sabatini, proved in the setting of linear complementarity problems. Research supported by the National Science Foundation Grant CCR-9307685.     

Bounding the number of connected components of a real algebraic set

For every polynomial mapf=(f ₁,…,f _k): ℝ ⁿ →ℝ ^k , we consider the number of connected components of its zero set,B(Z _f) and two natural “measures of the complexity off,” that is the triple(n, k, d), d being equal to max(degree off _i), and thek-tuple (Δ₁,...,Δ₄), Δ _k being the Newton polyhedron off _i respectively. Our aim is to boundB(Z _f) by recursive functions of these measures of complexity. In particular, with respect to (n, k, d) we shall improve the well-known Milnor-Thom’s bound μ _d (n)=d(2d−1) ⁿ⁻¹. Considered as a polynomial ind, μ _d (n) has leading coefficient equal to 2 ⁿ⁻¹. We obtain a bound depending onn, d, andk such that ifn is sufficiently larger thank, then it improves μ _d (n) for everyd. In particular, it is asymptotically equal to 1/2(k+1)n ^k−1 dⁿ, ifk is fixed andn tends to infinity. The two bounds are obtained by a similar technique involving a slight modification of Milnor-Thom's argument, Smith's theory, and information about the sum of Betti numbers of complex complete intersections.     

Continuously Removable Sets for Quasiconformal Mappings

Let D be a domain in the n-dimensional Euclidean space Rⁿ, n ≥ 2, and let E be a compact in D. The paper presents conditions on the compact E under which any homeomorphic mapping f = D ∖ E → Rⁿ can be extended to a continuous mapping f = D → Rˉⁿ = Rⁿ ⋃ {∞}. These conditions define the class of NCS-compacts, which, for n = 2, coincides with the class of topologically removable compacts for conformal and quasiconformal mappings. Bibliography: 11 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 314, 2004, pp. 213–220.     

Weak type (1,1) estimates for some integral operators related to rough maximal functions

We study the problem of determining for which integrable functionsG:R → (0, ∞) the operatorf → 1/yG(y.) *f(x), which maps functions on the real line into functions defined on the upper half-planeR ₊ ² , is of weak type (1,1). Here,R ₊ ² is endowed with the measurey dx dy. The conditions we will impose are related to the distribution of the mass ofG. One of the motivations for this study comes from the problem of deciding whether there is a weak type (1,1) inequality for the “rough” modification of the standard maximal function, obtained by inserting in the mean values a factor Ω which depends only on the angle. Here, Ω≥0 is any integrable function on the sphere. Our estimates for the first-mentioned problem allow us to answer in the affirmative, the second one in dimension two, when we restrict the operator to radial functions. Some extensions to higher dimensions in the context of both problems are also discussed. Both authors were partially supported by DGICYT PB90/187.     

Failure of Plais-Smale condition and blow-up analysis for the critical exponent problem inR 2

Let Ω be a bounded smooth domain inR ². Letf:R→R be a smooth non-linearity behaving like exp{s ²} ass→∞. LetF denote the primitive off. Consider the functionalJ:H ₀ ¹ (Ω)→R given by

Correlated equilibria of games with many players

Let G _m,n be the class of strategic games with n players, where each player has m≥2 pure strategies. We are interested in the structure of the set of correlated equilibria of games in G _m,n when n→∞. As the number of equilibrium constraints grows slower than the number of pure strategy profiles, it might be conjectured that the set of correlated equilibria becomes large. In this paper, we show that (1) the average relative measure of the set of correlated equilibria is smaller than 2⁻ⁿ; and (2) for each 1<c<m, the solution set contains c ⁿ correlated equilibria having disjoint supports with a probability going to 1 as n grows large. The proof of the second result hinges on the following inequality: Let c ₁, …, c _l be independent and symmetric random vectors in R ^k, l≥k. Then the probability that the convex hull of c ₁, …, c _l intersects R ^k ₊ is greater than or equal to . Received: December 1998/Final version: March 2000     

On Asymptotic Behavior for Singularities of the Powers of Mean Curvature Flow

Let M^n be a smooth, compact manifold without boundary, and F0 ： M^n→ R^n＋1 a smooth immersion which is convex. The one-parameter families F（·, t） ： M^n× [0, T） → R^n＋1 of hypersurfaces Mt^n= F（·,t）（M^n） satisfy an initial value problem dF/dt （·,t） = -H^k（· ,t）v（· ,t）, F（· ,0） = F0（· ）, where H is the mean curvature and u（·,t） is the outer unit normal at F（·, t）, such that -Hu = H is the mean curvature vector, and k 〉 0 is a constant. This problem is called H^k-fiow. Such flow will develop singularities after finite time. According to the blow-up rate of the square norm of the second fundamental forms, the authors analyze the structure of the rescaled limit by classifying the singularities as two types, i.e., Type Ⅰ and Type Ⅱ. It is proved that for Type Ⅰ singularity, the limiting hypersurface satisfies an elliptic equation; for Type Ⅱ singularity, the limiting hypersurface must be a translating soliton.     

Concerning the order of approximation of periodic continuous functions by trigonometric interpolation polynomials

Letx _kn=2θk/n,k=0,1 …n−1 (n odd positive integer). LetR _n(x) be the unique trigonometric polynomial of order 2n satisfying the interpolatory conditions:R _n(x_kn)=f(x_kn),R _n ^(j)(x_kn)=0,j=1,2,4,k=0,1…,n−1. We setw ₂(t,f) as the second modulus of continuity off(x). Then we prove that |R _n(x)-f(x)|=0(nw₂(1/nf)). We also examine the question of lower estimate of ‖R _n-f‖. This generalizes an earlier work of the author.     

Diagnostic tests for local coalescences of variables in Boolean functions

The article studies diagnostic tests for local k -fold coalescences of variables in Boolean functions f( [(x)\tilde]ⁿ )( 1 ￡ k ￡ n,  1 ￡ t ￡ 2^2k ) f\left( {{{\tilde{x}}^n}} \right)\left( {1 \leq k \leq n,\;1 \leq t \leq {2^{{2^k}}}} \right) . Upper and lower bounds are proved for the Shannon function of the length of the diagnostic test for local k -fold coalescences generated by the system of functions F_t^k \Phi_t^k . The Shannon function of the length of a complete diagnostic test for local k -fold coalescences behaves asymptotically as 2 ^k (n − k + 1) for n → ∞, k → ∞.     

Norms of powers of absolutely convergent fourier series

Letf(t) = ∑a _k e ^ikt be infinitely differentiable on R, |f(t)|<1. It is known that under these assumptions ‖ⁿ‖ converges to a finite limitl asn → ∞ (l ² = sec(arga),a = (f′(0))² -f″(0)). We obtain here more precise results: (i) an asymptotic series (in powers ofn ^-1/2) for the Fourier coefficientsa _nk off ⁿ , which holds uniformly ink asn → ∞; (ii) an asymptotic series (this time only powers ofn ^-1 are present!) for ‖f ⁿ ‖; (iii) the fact that ifi ^j f ^(j)(0) is real forj = 1,2,..., 2h + 2 then ‖f ⁿ ‖ = l + o(n ^-h ),n → ∞. More generally, we obtain analogous finite asymptotic expansions whenf is assumed to be differentiable only finitely many times.     

On Liouville’s theorem for locally quasiregular mappings inR n

Letf:R ⁿ→Rⁿ be locally quasiregular in the sense that the restriction off to any ball |x|<r has finite inner dilatationK ₁(r). Suppose that the growth condition ∫^∞r^-1K₁(r)^1/(1-n) holds. Then Liouville’s theorem is valid:If f is bounded, f is a constant. An example shows that this growth condition is relatively sharp.