Iterated function systems on multifunctions and inverse problems

In this paper, we first consider the problem of defining IFS operators on the space of non-empty compact and convex subsets of . After defining a complete metric on , we construct an IFS operator and show some properties. A notable feature is the definition of a type of weak inner product on . We then define a family of complete metrics on the space of all measurable set-valued functions (with values in ), and extend the weak inner product to this space. Following this, we construct IFS operators on these spaces. We close with a brief discussion of the inverse problem of approximating an arbitrary multifunction by the attractor of an IFS.     

On fractional maximal function and fractional integral on the Laguerre hypergroup

Let be the Laguerre hypergroup which is the fundamental manifold of the radial function space for the Heisenberg group. In this paper we obtain necessary and sufficient conditions on the parameters for the boundedness of the fractional maximal operator and the fractional integral operator on the Laguerre hypergroup from the spaces to the spaces and from the spaces to the weak spaces .     

On Feferman’s operational set theory

We study and some of its most important extensions primarily from a proof-theoretic perspective, determine their consistency strengths by exhibiting equivalent systems in the realm of traditional set theory and introduce a new and interesting extension of which is conservative over .     

Analyticity of functions analytic on circles

Let Δ be the open unit disc in, let pbΔ, and let f be a continuous function on which extends holomorphically from each circle in centered at the origin and from each circle in which passes through p. Then f is holomorphic on Δ.     

Limits of small functors

For a small category enriched over a suitable monoidal category , the free completion of under colimits is the presheaf category . If is large, its free completion under colimits is the -category of small presheaves on , where a presheaf is small if it is a left Kan extension of some presheaf with small domain. We study the existence of limits and of monoidal closed structures on .     

Polynomial-time approximation schemes for piercing and covering with applications in wireless networks

Let be a set of disks of arbitrary radii in the plane, and let be a set of points. We study the following three problems: (i) Assuming contains the set of center points of disks in , find a minimum-cardinality subset of (if exists), such that each disk in is pierced by at least h points of , where h is a given constant. We call this problem minimum h-piercing. (ii) Assuming is such that for each there exists a point in whose distance from D's center is at most αr(D), where r(D) is D's radius and 0α<1 is a given constant, find a minimum-cardinality subset of , such that each disk in is pierced by at least one point of . We call this problem minimum discrete piercing with cores. (iii) Assuming is the set of center points of disks in , and that each covers at most l points of , where l is a constant, find a minimum-cardinality subset of , such that each point of is covered by at least one disk of . We call this problem minimum center covering. For each of these problems we present a constant-factor approximation algorithm (trivial for problem (iii)), followed by a polynomial-time approximation scheme. The polynomial-time approximation schemes are based on an adapted and extended version of Chan's [T.M. Chan, Polynomial-time approximation schemes for packing and piercing fat objects, J. Algorithms 46 (2003) 178–189] separator theorem. Our PTAS for problem (ii) enables one, in practical cases, to obtain a (1+ε)-approximation for minimum discrete piercing (i.e., for arbitrary ).     

There's something about the diameter

We study diameter preserving linear bijections from onto where X, Y are compact Hausdorff spaces and V, Z are Banach spaces. For instance, we obtain that if X has at least four points, Z is linearly isometric to V and either Z is a space or Z^* is strictly convex or smooth, then there is a diameter preserving linear bijection from onto if and only if X is homeomorphic to Y. We also consider the case when X and Y are not compact but locally compact spaces.     

Weak and point-wise convergence in for filter convergence

We study those filters on for which weak -convergence of bounded sequences in C(K) is equivalent to point-wise -convergence. We show that it is sufficient to require this property only for C[0,1] and that the filter-analogue of the Rainwater extremal test theorem arises from it. There are ultrafilters which do not have this property and under the continuum hypothesis there are ultrafilters which have it. This implies that the validity of the Lebesgue dominated convergence theorem for -convergence is more restrictive than the property which we study.     

Formal extension and quotients of the invariant holonomic system

Let be a semisimple Lie algebra and a Cartan subalgebra of . Fix . Let be the invariant holonomic system (see [R. Hotta, M. Kashiwara, The invariant holonomic system on a semisimple Lie algebra, Invent. Math. 75 (1984) 327–358]). First we investigate its formal extension . In the sequel we calculate the characteristic variety of some simple quotients of and its Fourier transform .     

Plancherel–Polya-type inequalities for entire functions of exponential type in

The goal of the paper is to prove generalizations of the classical Plancherel–Polya inequalities in which point-wise sampling of functions (δ-distributions) is replaced by more general compactly supported distributions on . As an application it is shown that a function , 1p∞, which is an entire function of exponential type is uniquely determined by a set of numbers {Ψ_j(f)}, , where {Ψ_j}, , is a countable sequence of compactly supported distributions. In the case p=2 a reconstruction method of a Paley–Wiener function f from a sequence of samples {Ψ_j(f)}, , is given. This method is a generalization of the classical result of Duffin–Schaeffer about exponential frames on intervals.     

Improved variance estimation under sub-space restriction

For the linear regression model , we assume that for a given positive definite scale matrix , the error vector has a multivariate normal distribution and has the inverted Wishart distribution. For under an orthogonal sub-space restriction , we propose restricted unbiased, preliminary test and Stein-type estimators of variance of the error term, for when the scale of the inverse Wishart distribution is assumed to be unknown. We compare the weighted quadratic risks of the underlying estimators and propose dominance pictures for them.     

Gagliardo–Nirenberg inequalities in regular Orlicz spaces involving nonlinear expressions

We consider a triple of N-functions (M,H,J) that satisfy the Δ^′-condition, and suppose that an additive variant of interpolation inequality holds

where , is an arbitrary set invariant with respect to external and internal dilations. We show that the above inequality implies its certain nonlinear variant involving the expressions and . Various generalizations of this inequality to the more general class of N-functions, measures and to higher order derivatives are also discussed and the examples are presented.     

Spaces of holomorphic functions in regular domains

Let Ω be a regular domain in the complex plane , . Let be the linear space over of the holomorphic functions f in Ω such that f⁽ⁿ⁾ is bounded in Ω and is continuously extendible to the closure of Ω, n=0,1,2,… . We endow , in a natural manner, with a structure of Fréchet space and we obtain dense subspaces F of , with good topological linear properties, also satisfying that each function f of F, distinct from zero, does not extend holomorphically outside Ω.     

All-derivable points in continuous nest algebras

Let be an operator algebra on a Hilbert space. We say that an element is an all-derivable point of for the strong operator topology if every strong operator topology continuous derivable linear mapping φ at G (i.e. φ(ST)=φ(S)T+Sφ(T) for any with ST=G) is a derivation. Let be a continuous nest on a complex and separable Hilbert space H. We show in this paper that every orthogonal projection operator P(M) () is an all-derivable point of for the strong operator topology.     

Finitely additive representation of spaces

Let be any atomless and countably additive probability measure on the product space with the usual σ-algebra. Then there is a purely finitely additive probability measure λ on the power set of a countable subset such that can be isometrically isomorphically embedded as a closed subspace of L^p(λ). The embedding is strict. It is also ‘canonical,’ in the sense that it maps simple and continuous functions on to their restrictions to T.     

Strong uniform continuity

Let be an ideal of subsets of a metric space X,d. This paper considers a strengthening of the notion of uniform continuity of a function restricted to members of which reduces to ordinary continuity when consists of the finite subsets of X and agrees with uniform continuity on members of when is either the power set of X or the family of compact subsets of X. The paper also presents new function space topologies that are well suited to this strengthening. As a consequence of the general theory, we display necessary and sufficient conditions for continuity of the pointwise limit of a net of continuous functions.     

Levels of multi-continued fraction expansion of multi-formal Laurent series

The multi-continued fraction expansion of a multi-formal Laurent series is a sequence pair consisting of an index sequence and a multi-polynomial sequence . We denote the set of the different indices appearing infinitely many times in by H_∞, the set of the different indices appearing in by H₊, and call |H_∞| and |H₊| the first and second levels of , respectively. In this paper, it is shown how the dimension and basis of the linear space over F(z) (F) spanned by the components of are determined by H_∞ (H₊), and how the components are linearly dependent on the mentioned basis.     

Approximation of Sobolev classes by polynomials and ridge functions

Let be the usual Sobolev class of functions on the unit ball in , and be the subclass of all radial functions in . We show that for the classes and , the orders of best approximation by polynomials in coincide. We also obtain exact orders of best approximation in of the classes by ridge functions and, as an immediate consequence, we obtain the same orders in for the usual Sobolev classes .     

Semifields of order with left nucleus and center

In [G. Marino, O. Polverino, R. Trombetti, On -linear sets of PG(3,q³) and semifields, J. Combin. Theory Ser. A 114 (5) (2007) 769–788] it has been proven that there exist six non-isotopic families (i=0,…,5) of semifields of order q⁶ with left nucleus and center , according to the different geometric configurations of the associated -linear sets. In this paper we first prove that any semifield of order q⁶ with left nucleus , right and middle nuclei and center is isotopic to a cyclic semifield. Then, we focus on the family by proving that it can be partitioned into three further non-isotopic families: , , and we show that any semifield of order q⁶ with left nucleus , right and middle nuclei and center belongs to the family .     

On Jordan ideals and matrix rings

For A, a commutative ring, and results by Costa and Keller characterize certain -normalized subgroups of the symplectic group, via structures utilizing Jordan ideals and the notion of radices. The following work creates a Jordan ideal structure theorem for -graded rings, A₀A₁, and a -graded matrix algebra. The major theorem is a generalization of Costa and Keller’s previous work on matrix algebras over commutative rings.