Density results for Sobolev, Besov and Triebel--Lizorkin spaces on rough sets

We investigate two density questions for Sobolev, Besov and Triebel--Lizorkin spaces on rough sets. Our main results, stated in the simplest Sobolev space setting, are that: (i) for an open set $\Omega\subset\mathbb R^n$, $\mathcal{D}(\Omega)$ is dense in $\{u\in H^s(\mathbb R^n):{\rm supp}\, u\subset \overline{\Omega}\}$ whenever $\partial\Omega$ has zero Lebesgue measure and $\Omega$ is "thick" (in the sense of Triebel); and (ii) for a $d$-set $\Gamma\subset\mathbb R^n$ ($0<d<n$), $\{u\in H^{s_1}(\mathbb R^n):{\rm supp}\, u\subset \Gamma\}$ is dense in $\{u\in H^{s_2}(\mathbb R^n):{\rm supp}\, u\subset \Gamma\}$ whenever $-\frac{n-d}{2}-m-1<s_{2}\leq s_{1}<-\frac{n-d}{2}-m$ for some $m\in\mathbb N_0$. For (ii), we provide concrete examples, for any $m\in\mathbb N_0$, where density fails when $s_1$ and $s_2$ are on opposite sides of $-\frac{n-d}{2}-m$. The results (i) and (ii) are related in a number of ways, including via their connection to the question of whether $\{u\in H^s(\mathbb R^n):{\rm supp}\, u\subset \Gamma\}=\{0\}$ for a given closed set $\Gamma\subset\mathbb R^n$ and $s\in \mathbb R$. They also both arise naturally in the study of boundary integral equation formulations of acoustic wave scattering by fractal screens. We additionally provide analogous results in the more general setting of Besov and Triebel--Lizorkin spaces.Comment: 38 pages, 6 figure

Transformation of propositional calculus statements into integer and mixed integer programs: An approach towards automatic reformulation

A systematic procedure for transforming a set of logical statements or logical conditions imposed on a model into an Integer Linear Progamming (ILP) formulation Mixed Integer Programming (MIP) formulation is presented. An ILP stated as a system of linear constraints involving integer variables and an objective function, provides a powerful representation of decision problems through a tightly interrelated closed system of choices. It supports direct representation of logical (Boolean or prepositional calculus) expressions. Binary variables (hereafter called logical variables) are first introduced and methods of logically connecting these to other variables are then presented. Simple constraints can be combined to construct logical relationships and the methods of formulating these are discussed. A reformulation procedure which uses the extended reverse polish representation of a compound logical form is then described. These reformulation procedures are illustrated by two examples. A scheme of implementation.ithin an LP modelling system is outlined

A Lefschetz type coincidence theorem

A Lefschetz-type coincidence theorem for two maps f,g:X->Y from an arbitrary topological space X to a manifold Y is given: I(f,g)=L(f,g), the coincidence index is equal to the Lefschetz number. It follows that if L(f,g) is not equal to zero then there is an x in X such that f(x)=g(x). In particular, the theorem contains some well-known coincidence results for (i) X,Y manifolds and (ii) f with acyclic fibers.Comment: The final version, 23 pages, to appear in Fund. Mat

Open problems in Banach spaces and measure theory

We collect several open questions in Banach spaces, mostly related to measure theoretic aspects of the theory. The problems are divided into five categories: miscellaneous problems in Banach spaces (non-separable $L^p$ spaces, compactness in Banach spaces, $w^*$-null sequences in dual spaces), measurability in Banach spaces (Baire and Borel $\sigma$-algebras, measurable selectors), vector integration (Riemann, Pettis and McShane integrals), vector measures (range and associated $L^1$ spaces) and Lebesgue-Bochner spaces (topological and structural properties, scalar convergence)