Extending analyticK-subanalytic functions

Letg:U→ℝ (U open in ℝⁿ) be an analytic and K-subanalytic (i. e. definable in ℝ _an ^K , whereK, the field of exponents, is any subfield ofℝ) function. Then the set of points, denoted Σ, whereg does not admit an analytic extension is K-subanalytic andg can be extended analytically to a neighbourhood of Ū\∑. Partially supported by the European RTN Network RAAG (contract no. HPRN-CT-00271)     

Vector subdivision schemes in (Lp(?s))r(1?p?∞) spaces

The purpose of this paper is to investigate the refinement equations of the form

A characterization of the higher dimensional groups associated with continuous wavelets

A subgroup D of GL (n, ℝ) is said to be admissible if the semidirect product of D and ℝ ⁿ , considered as a subgroup of the affine group on ℝ ⁿ , admits wavelets ψ ∈ L²(ℝ ⁿ ) satisfying a generalization of the Calderón reproducing, formula. This article provides a nearly complete characterization of the admissible subgroups D. More precisely, if D is admissible, then the stability subgroup D_x for the transpose action of D on ℝ ⁿ must be compact for a. e. x. ∈ ℝ ⁿ ; moreover, if Δ is the modular function of D, there must exist an a ∈ D such that |det a| ≠ Δ(a). Conversely, if the last condition holds and for a. e. x ∈ ℝ ⁿ there exists an ε > 0 for which the ε-stabilizer D _x ^ε is compact, then D is admissible. Numerous examples are given of both admissible and non-admissible groups.     

The Dichotomy Between Traces on d-sets F in R^n and the Density of D（R^n／Г） in Function Spaces

A space Apq^s （R^n） with A ： B or A = F and s ∈R, 0 〈 p, q 〈 ∞ either has a trace in Lp（Г）, where Г is a compact d-set in R^n with 0 〈 d 〈 n, or D（R^n／Г） is dense in it. Related dichotomy numbers are introduced and calculated.     

Embedding into l ∞2 Is Easy, Embedding into l ∞3 Is?NP-Complete

We give a new algorithm for enumerating all possible embeddings of a metric space (i.e., the distances between every pair within a set of n points) into ℝ² Cartesian space preserving their l _∞ (or l ₁) metric distances. Its expected time is (i.e., within a poly-log of the size of the input) beating the previous algorithm. In contrast, we prove that detecting l _∞³ embeddings is NP-complete. The problem is also NP-complete within l ₁² or l _∞² with the added constraint that the locations of two of the points are given or alternatively that the two dimensions are curved into a three-dimensional sphere. We also refute a compaction theorem by giving a metric space that cannot be embedded in l _∞³; however, it can be embedded if any single point is removed. This research is partially supported by NSERC grants. I would like to thank Steven Watson for his extensive help on this paper.     

A simple formula for an analogue of conditional wiener integrals and its applications II

Let C[0, T] denote the space of real-valued continuous functions on the interval [0, T] with an analogue w _ϕ of Wiener measure and for a partition 0 = t ₀ < t ₁ < ... < t _n < t _n+1 = T of [0, T], let X _n : C[0, T] → ℝ ⁿ⁺¹ and X ⁿ⁺¹: C[0, T] → ℝ ⁿ⁺² be given by X _n (x) = (x(t ₀), x(t ₁), ..., x(t _n )) and X _n+1(x) = (x(t ₀), x(t ₁), ..., x(t _n+1)), respectively. In this paper, using a simple formula for the conditional w _ϕ-integral of functions on C[0, T] with the conditioning function X _n+1, we derive a simple formula for the conditional w _ϕ-integral of the functions with the conditioning function X _n . As applications of the formula with the function X _n , we evaluate the conditional w _ϕ-integral of the functions of the form F _m (x) = ∫₀ ^T (x(t)) ^m for x ∈ C[0, T] and for any positive integer m. Moreover, with the conditioning X _n , we evaluate the conditional w _ϕ-integral of the functions in a Banach algebra which is an analogue of the Cameron and Storvick’s Banach algebra . Finally, we derive the conditional analytic Feynman w _ϕ-integrals of the functions in .      

Weak-type Endpoint Estimates for Multilinear Singular Integral Operators

In this paper, the authors discuss a class of multilinear singular integrals and obtain that the operators are bounded from H^1(R^n) to weak L^1(R^n). Using this result, we can directly prove a main theorem in [5].     

The Estimates for Sharp Maximal Functions of Multilinear Strongly Singular Integral Operators

In this paper, the author obtains that the multilinear operators of strongly singular integral operators and their dual operators are bounded from some L^p（R^n） to L^p（R^n） when the m-th order derivatives of A belong to L^p（R^n） for r large enough. By this result, the author gets the estimates for the Sharp maximal functions of the multilinear operators with the m-th order derivatives of A being Lipschitz functions. It follows that the multilinear operators are （L^p, L^p）-type operators for 1 〈 p 〈 ∞.     

Characterization for commutators of n -dimensional fractional Hardy operators

In this paper, it was proved that the commutator generated by an n-dimensional fractional Hardy operator and a locally integrable function b is bounded from L ^p1 (ℝ ⁿ ) to L ^p2 (ℝ ⁿ ) if and only if b is a CṀO(ℝ ⁿ ) function, where 1/p ₁ − 1/p ₂ = β/n, 1 < p ₁ < ∞, 0 ⩽ β < n. Furthermore, the characterization of on the homogenous Herz space (ℝ ⁿ ) was obtained. This work was partially supported by the National Natural Science Foundation of China (Grant Nos. 10571014, 10371080) and the Doctoral Programme Foundation of Institute of Higher Education of China (Grant No. 20040027001)     

On solvability of an initial-boundary-value problem for equations of magnetohydrodynamics

In this paper, we consider a nonstationary problem of magnetohydrodynamics (MHD) for viscous incompressible fluid under the condition that the medium is poorly conducting. The problem is analyzed in a bounded one-connected domain Ω ⊂ ℝⁿ, n = 2,3, for t > 0 under the condition of ideal conductivity on the boundary. We prove a theorem on the unique solvability of the problem “in the small,” on a small time interval, and on a given time interval ]0, T[ (including T = +∞) when the given data of the problem are sufficiently small (precise formulations are given in Sect. 2). To investigate the nonlinear problem, several auxiliary linear problems are preliminarily considered. The results of this paper were announced by the author in the Trakai Conference on Mathematical Modeling and Analysis in spring of 2005. __________ Translated from Lietuvos Matematikos Rinkinys, Vol. 47, No. 2, pp. 234–279, April–June, 2007.     

Weak helix submanifolds of euclidean spaces

Let M⊂ℝ ⁿ be a submanifold of a euclidean space. A vector d∈ℝ ⁿ is called a helix direction of M if the angle between d and any tangent space T _p M is constant. Let ℋ(M) be the set of helix directions of M. If the set ℋ(M) contains r linearly independent vectors we say that M is a weak r-helix. We say that M is a strong r-helix if ℋ(M) is a r-dimensional linear subspace of ℝ ⁿ . For curves and hypersurfaces both definitions agree. The object of this article is to show that these definitions are not equivalent. Namely, we construct (non strong) weak 2-helix surfaces of ℝ⁴. The author is supported by the Project M.I.U.R. “Riemann Metrics and Differentiable Manifolds” and by G.N.S.A.G.A. of I.N.d.A.M., Italy.     

L^2（R^n） Boundedness for a Class of Multilinear Singular Integral Operators

The L^2(R^n) boundedness for the multilinear singular integral operators defined by TAf(x)=∫R^nΩ（x-y）/|x-y|^n 1(A(x)-A(y)-△↓A(y)(x-y))f(y)dy is considered,where Ω is homogeneous of degree zero,integrable on the unit sphere and has vanishing moment of order one,A has derivatives of order one in BMO(R^n） boundedness for the multilinear operator TA is given.     

Uniformly non-l n (1) Musielak-Orlicz sequence spaces

We give a necessary and sufficient condition for the uniformly non-l _n ⁽¹⁾ property of Musielak-Orlicz sequence spacesl ^Φ generated by a sequence Φ=(ϕ_n:n⩾l) of finite Orlicz functions such that for eachn∈ℕ. As a result, forn ₀⩾2, there exist spacesl ^Φ which are only uniformly non-l _n ⁽¹⁾ forn⩾n ₀. Moreover we obtain a characterization of uniformly non-l _n ⁽¹⁾ and reflexive Orlicz sequence spaces over a wide class of purely atomic measures and of uniformly non-l _n ⁽¹⁾ Nakano sequence spaces. This extends a result of Luxemburg in [19]. Submitted in memory of Professor W. Orlicz     

On the <Emphasis Type="Italic">ω</Emphasis><Subscript>1</Subscript> limits of subsets of the real line

We point out that it is consistent with ZFC that 2 ^ω > ℵ₁ and every subset of ℝ is the ω ₁ limit of a sequence of G _δ sets in ℝ. We prove also that assuming cov ( ) > ℵ₁, not every set in ℝ is the ω ₁ limit of a sequence of measurable sets. This solves two problems of T. Natkaniec and J. Wesołowska.      

About spherical functions onSL(2,ℝ)

In this paper, we will discuss some properties of the (n, m)-spherical functions on the Lie groupG = SL(2,ℝ), and obtain the decomposition off inC _c ⁴ (G) into these functions. Also we give the Fourier inversion formula for the (n, m)-spherical functions inC _c ³ (G).     

Predictor-corrector algorithm for solvingP *(κ)-matrix LCP from arbitrary positive starting points

A new predictor-corrector algorithm is proposed for solvingP _*(κ)-matrix linear complementarity problems. If the problem is solvable, then the algorithm converges from an arbitrary positive starting point (x ⁰,s ⁰). The computational complexity of the algorithm depends on the quality of the starting point. If the starting point is feasible or close to being feasible, it has -iteration complexity, whereρ ₀ is the ratio of the smallest and average coordinate ofX ⁰ s ⁰. With appropriate initialization, a modified version of the algorithm terminates in O((1+κ)²(n/ρ ₀)L) steps either by finding a solution or by determining that the problem has no solution in a predetermined, arbitrarily large, region. The algorithm is quadratically convergent for problems having a strictly complementary solution. We also propose an extension of a recent algorithm of Mizuno toP _*(κ)-matrix linear complementarity problems such that it can start from arbitrary positive points and has superlinear convergence without a strictly complementary condition. The work of this author was supported in part by NSF, Grant DMS 9305760 and by an Oberman fellowship from the University of Iowa Center for Advanced Studies.     

On the weak non-defectivity of veronese embeddings of projective spaces

Fix integers n, x, k such that n≥3, k>0, x≥4, (n, x)≠(3, 4) and k(n+1)<( _n ^n+x ). Here we prove that the order x Veronese embedding ofP ⁿ is not weakly (k−1)-defective, i.e. for a general S⊃P ⁿ such that #(S) = k+1 the projective space | I _2S (x)| of all degree t hypersurfaces ofP ⁿ singular at each point of S has dimension ( _n ^/n+x )−1− k(n+1) (proved by Alexander and Hirschowitz) and a general F∈| I _2S (x)| has an ordinary double point at each P∈ S and Sing (F)=S. The author was partially supported by MIUR and GNSAGA of INdAM (Italy).     

Existence, uniqueness and stability of C m solutions of iterative functional equations

In this paper we discuss a relatively general kind of iterative functional equation G(x,f(x), ...,f ⁿ (x)) = 0 (for allx ∈J), whereJ is a connected closed subset of the real number axis ℝ,G∈C ^m (J ⁿ⁺¹, ℝ) andn ≥ 2. Using the method of approximating fixed points by small shift of maps, choosing suitable metrics on functional spaces and finding a relation between uniqueness and stability of fixed points of maps of general spaces, we prove the existence, uniqueness and stability ofCm solutions of the above equation for any integer m ≥ 0 under relatively weak conditions, and generalize related results in reference in different aspects.     

Analyticity of solutions of analytic non-linear general elliptic boundary value problems, and some results about linear problems

The main aim of this paper is to discuss the problem concerning the analyticity of the solutions of analytic non-linear elliptic boundary value problems. It is proved that if the corresponding first variation is regular in Lopatinskiĭ sense, then the solution is analytic up to the boundary. The method of proof really covers the case that the corresponding first variation is regularly elliptic in the sense of Douglis-Nirenberg-Volevich, and hence completely generalize the previous result of C. B. Morrey. The author also discusses linear elliptic boundary value problems for systems of elliptic partial differential equations where the boundary operators are allowed to have singular integral operators as their coefficients. Combining the standard Fourier transform technique with analytic continuation argument, the author constructs the Poisson and Green’s kernel matrices related to the problems discussed and hence obtain some representation formulae to the solutions. Some a priori estimates of Schauder type and L _p type are obtained. __________ Translated from Acta Sci. Natur. Univ. Jilin, 1963, (2): 403–447 by GAO Wenjie.     

Commuting involutions with fixed point set of constant codimension

Special generators of the unoriented cobordism ringMO _* are constructed to determine the groupsJ _n,κ ^r ofn-dimensional cobordism classes inMO _n containing a representativeM ⁿ admitting a (Z ₂) ^k -action with fixed point set of constant codimension. This work is supported by HNSF