Effectively open real functions

A function f is continuous iff the pre-image f^-1[V] of any open set V is open again. Dual to this topological property, f is called open iff the image f[U] of any open set U is open again. Several classical open mapping theorems in analysis provide a variety of sufficient conditions for openness.By the main theorem of recursive analysis, computable real functions are necessarily continuous. In fact they admit a well-known characterization in terms of the mapping Vf^-1[V] being effective: given a list of open rational balls exhausting V, a Turing Machine can generate a corresponding list for f^-1[V]. Analogously, effective openness requires the mapping Uf[U] on open real subsets to be effective.The present work combines real analysis with algebraic topology and Tarski's quantifier elimination to effectivize classical open mapping theorems and to establish several rich classes of real functions as effectively open.     

Discrépances de suites homothétiques

We study the normal order of the discrepancy of the family of all sequencest U, for a given sequenceU of real numbers.U is considered as a point of the probability spaceY of all sequencesU=(u _n ) _n1 such that _n u _n m _n for alln, ( _n ) _n1 and (m _n)_n1 being two fixed sequences of real numbers. Probability onY is the infinite product of uniform probabilities on [ _n ,m _n ]. Assume convergence of the series . Then, with some technical condition, we have for almost all sequenceU inY: whereD _N ^* (V) is the discrepancy of the sequenceV.     

C1,α domains and unique continuation at the boundary

It is shown that the square of a nonconstant harmonic function u that either vanishes continuously on an open subset V contained in the boundary of a Dini domain or whose normal derivative vanishes on an open subset V in the boundary of a C^1,1 domain in ℝ^d satisfies the doubling property with respect to balls centered at points Q ∈ V. Under any of the above conditions, the module of the gradient of u is a B₂(dσ)-weight when restricted to V, and the Hausdorff dimension of the set of points {Q ∈ V : ∇u(Q) = 0} is less than or equal to d−2. These results are generalized to solutions to elliptic operators with Lipschitz second-order coefficients and bounded coefficients in the lower-order terms. © 1997 John Wiley & Sons, Inc.     

Asymptotic behavior of large solutions to -Laplacian of Bieberbach–Rademacher type

By the Karamata regular variation theory and the method of lower and upper solutions, we establish the asymptotic behavior of boundary blow-up solutions of the quasilinear elliptic equation div(|u|^p−2u)=b(x)f(u) in a bounded ΩR^N subject to the singular boundary condition u(x)=∞, where the weight b(x) is non-negative and non-trivial in Ω, which may be vanishing on the boundary or go to unbounded, the nonlinear term f is a Γ-varying function at infinity, whose variation at infinity is not regular.     

On Jordan Left Derivations of Lie Ideals in Prime Rings

Let R be a prime ring with characteristic different from two and U be a Lie ideal of R such that u² U for all u U. In the present paper it is shown that if d is an additive mappings of R into itself satisfying d(u²) = 2ud(u), for all u U, then either U Z(R) or d(U) = (0).1991 Mathematics Subject Classification 16W25 16N60     

On the Intersection Problem for Steiner Triple Systems of Different Orders

A Steiner triple system of order v, or STS(v), is a pair (V, ) with V a set of v points and a set of 3-subsets of V called blocks or triples, such that every pair of distinct elements of V occurs in exactly one triple. The intersection problem for STS is to determine the possible numbers of blocks common to two Steiner triple systems STS(u), (U, ), and STS(v), (V, ), with U⊆V. The case where U=V was solved by Lindner and Rosa in 1975. Here, we let U⊂V and completely solve this question for v−u=2,4 and for v≥2u−3. supported by NSERC research grant #OGP0170220. supported by NSERC postdoctoral fellowship. supported by NSERC research grant #OGP007621.     

Galerkin approximation for elliptic PDEs on spheres

We discuss a Galerkin approximation scheme for the elliptic partial differential equation -Δu+ω²u=f on SⁿRⁿ⁺¹. Here Δ is the Laplace–Beltrami operator on Sⁿ, ω is a non-zero constant and f belongs to C^2k-2(Sⁿ), where kn/4+1, k is an integer. The shifts of a spherical basis function φ with φH^τ(Sⁿ) and τ>2kn/2+2 are used to construct an approximate solution. An H¹(Sⁿ)-error estimate is derived under the assumption that the exact solution u belongs to C^2k(Sⁿ).     

Inequalities for convex bodies and polar reciprocal lattices inR n

LetL be a lattice and letU be ano-symmetric convex body inR ⁿ . The Minkowski functional ∥ ∥ _U ofU, the polar bodyU ⁰, the dual latticeL ^*, the covering radius μ(L, U), and the successive minima λ _i (L,U)i=1,...,n, are defined in the usual way. Let ℒ _n be the family of all lattices inR ⁿ . Given a pairU,V of convex bodies, we define and kh(U, V) is defined as the smallest positive numbers for which, given arbitraryL∈ℒ _n andu∈R ⁿ /(L+U), somev∈L ^* with ∥v∥ _V ≤sd(uv, ℤ) can be found. Upper bounds for jh(U, U ⁰), j=k, l, m, belong to the so-called transference theorems in the geometry of numbers. The technique of Gaussian-like measures on lattices, developed in an earlier paper [4] for euclidean balls, is applied to obtain upper bounds for jh(U, V) in the case whenU, V aren-dimensional ellipsoids, rectangular parallelepipeds, or unit balls inl _p ⁿ , 1≤p≤∞. The gaps between the upper bounds obtained and the known lower bounds are, roughly speaking, of order at most logn asn→∞. It is also proved that ifU is symmetric through each of the coordinate hyperplanes, then jh(U, U ⁰) are less thanCn logn for some numerical constantC.     

On Small Sumsets in (ℤ/2ℤ)<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

It is proved that any subset of (/2)ⁿ, having k elements, such that (with c<4), is contained in a subgroup of order at most u^–1k where u=u(c)>0 is an explicit function of c which does not depend on k nor on n. This improves by a radically different method the corresponding bounds deduced from a more general result of I. Z. Ruzsa.     

Optimal Error of Analytic Continuation from a Finite Set with Inaccurate Data in Hilbert Spaces of Holomorphic Functions

We consider the problem of analytic continuation with inaccurate data from a finite subset U of a domain D of C ⁿ to a point z ₀D\U for the functions f belonging to a bounded correctness set V in a Hilbert space H(D) of analytic functions in D. In the case when H(D) is a Hilbert space with a reproducing kernel, we find constructive formulas for calculating the optimal error, the optimal function, and the optimal linear algorithm for extrapolation to a point z ₀ for functions in V whose approximate values are given on a set U. Moreover, we study the asymptotics of the optimal error in the case when the errors of initial data vanish.     

Approximation Algorithms for Maximization Problems Arising in Graph Partitioning

Given a graph G = (V, E), a weight function w: E → R⁺, and a parameter k, we consider the problem of finding a subset U  V of size k that maximizes: Max-Vertex Cover_k: the weight of edges incident with vertices in U,Max-Dense Subgraph_k: the weight of edges in the subgraph induced by U,Max-Cut_k: the weight of edges cut by the partition (U, V\U),Max-Uncut_k: the weight of edges not cut by the partition (U, V\U).For each of the above problems we present approximation algorithms based on semidefinite programming and obtain approximation ratios better than those previously published. In particular we show that if a graph has a vertex cover of size k, then one can select in polynomial time a set of k vertices that covers over 80% of the edges.     

Sharp estimates of bounded solutions to some semilinear second order dissipative equations

Let H, V be two real Hilbert spaces such that VH with continuous and dense imbedding, and let FC¹(V) be convex. By using differential inequalities, a close-to-optimal ultimate bound of the energy is obtained for solutions in to u^″+cu^′+bu+F(u)=f(t) whenever .     

-regularity of the Aronsson equation in

For a nonnegative, uniformly convex HC²(R²) with H(0)=0, if uC(Ω), ΩR², is a viscosity solution of the Aronsson equation (1.7), then uC¹(Ω). This generalizes the C¹-regularity theorem on infinity harmonic functions in R² by Savin [O. Savin, C¹-regularity for infinity harmonic functions in dimensions two, Arch. Ration. Mech. Anal. 176 (3) (2005) 351–361] to the Aronsson equation.     

A note on the classification of holomorphic harmonic morphisms

In this note we give a complete classification of those holomorphic maps :U ⁿ defined on open and connected subsets of ^m which are harmonic morphisms.The first author was supported by the Icelandic Science Fund.     

Approximation of analytic sets along Nash subvarieties

Let X be an analytic subset of pure dimension n of an open set U ⊂ C^m and let E be a Nash subset of U such that E ⊂ X.Then for every a ∈ E there is an open neighborhood V of a in U and a sequence {X_v} of complex Nash subsets of V of pure dimension n converging to X ∩ V in the sense of holomorphic chains such that the following hold for every v ∈ N: E ∩ V ⊂ X_v and the multiplicity of X_v at x equals the multiplicity of X at x for every x in a dense open subset of E ⊂ V.     

Extreme Jensen measures

Let Ω be an open subset of R ^d , d≥2, and let x∈Ω. A Jensen measure for x on Ω is a Borel probability measure μ, supported on a compact subset of Ω, such that ∫u  dμ≤u(x) for every superharmonic function u on Ω. Denote by J _x (Ω) the family of Jensen measures for x on Ω. We present two characterizations of ext(J _x (Ω)), the set of extreme elements of J _x (Ω). The first is in terms of finely harmonic measures, and the second as limits of harmonic measures on decreasing sequences of domains. This allows us to relax the local boundedness condition in a previous result of B. Cole and T. Ransford, Jensen measures and harmonic measures, J. Reine Angew. Math. 541 (2001), 29–53. As an application, we give an improvement of a result by Khabibullin on the question of whether, given a complex sequence {α _n } _n=1 ^∞ and a continuous function , there exists an entire function f≢0 satisfying f(α _n )=0 for all n, and |f(z)|≤M(z) for all z∈C.     

On the Asymptotic Behavior of the Harmonic Renewal Measure

We study the tail behavior of the harmonic renewal measure U= _n=1 (1/n)F ^n* where F is a probability distribution with finite negative mean and F ⁿ * is the n-fold convolution of F. As an application of the obtained result on U, we give alternative proofs of some known results concerning the tail behavior of the supremum and the first positive sum of a random walk with negative drift.     

Induced operators on symmetry classes of tensors

LetV be ann-dimensional inner product space,T _i ,i=1,...,k, k linear operators onV, H a subgroup ofS _m (the symmetric group of degreem), a character of degree 1 andT a linear operator onV. Denote byK(T) the induced operator ofT onV (H), the symmetry class of tensors associated withH and . This note is concerned with the structure of the setK _{, m} ^H (T₁,...,T_k) consisting of all numbers of the form traceK(T ₁ U ₁...T _k U _k ) whereU _i ,i=1,...k vary over the group of all unitary operators onV. For V=ⁿ or ⁿ, it turns out thatK _{, m} ^H (T₁,...,T_k) is convex whenm is not a multiple ofn. Form=n, there are examples which show that the convexity of _{, m} ^H (T₁,...,T_k) depends onH and .The author wishes to express his thanks to Dr. Yik-Hoi Au-Yeung for his valuable advice and encouragement.     

Time-optimal controls of the equation of evolution in a separable and reflexive Banach space

Let a variable, closed, bounded, and convex subset ofX, a separable and reflexive Banach space, be denoted byG(t). Suppose thatG(t) varies upper-semicontinuously with respect to inclusion ast varies in [0,T]. We say that the strongly measurable mapu from [0,T] toX is an admissible control if, for almost everyt in [0,T],u(t) is an element ofU, a closed, bounded, and convex subset ofX, and u _p M ^1p, where p>1 andM>0.Ifx ^u is the weak solution todx/dt+A(t)x=u(t), 0tT, whereA(t) is as defined by Tanabe in Ref. 1, we say that the responsex ^u to the controlu hits the target in timeT ^u ifx ^u (0)=0 andx ^u (T ^u ) is an element ofG(T ^u ). If there is a control with this property, then there is a time-optimal control.     

A generalized mean value inequality for subharmonic functions

If u ≥ 0 is subharmonic on a domain Ω in ⁿ and 0 < p < 1, then it is well-known that there is a constant C(n,p) ≥ 1 such u(x)^p ≤ C)n,p) MV )u^p,B(x,r)) for each ball B(x,r)) Ω. We show more generally that a similar result holds for functions ψ : ₊ → ₊ may be any surjective, concave function whose inverse ψ⁻¹ satisfies the Δ₂-condition.