Let $F$ be a closed subset of ${ℝ}^n$ and let $P\left(x\right)$ denote the metric projection (closest point mapping) of $x\in {ℝ}^n$ onto $F$ in $l^p$-norm. A classical result of Asplund states that $P$ is (Fréchet) differentiable almost everywhere (a.e.) in ${ℝ}^n$ in the Euclidean case $p=2$. We consider the case $2<p<\infty$ and prove that the $i$th component $P_i\left(x\right)$ of $P\left(x\right)$ is differentiable a.e. if $P_i\left(x\right)\ne x_i$ and satisfies Hölder condition of order $1/(p-1)$ if $P_i\left(x\right)=x_i$.

It is shown that there is a subspace $Z_q$ of ${\ell }_q$ for $1<q<2$ which is isomorphic to ${\ell }_q$ such that ${\ell }_q/Z_q$ does not have the approximation property. On the other hand, for $2<p<\infty$ there is a subspace $Y_p$ of ${\ell }_p$ such that $Y_p$ does not have the approximation property (AP) but the quotient space ${\ell }_p/Y_p$ is isomorphic to ${\ell }_p$. The result is obtained by defining random “Enflo-Davie spaces” $Y_p$ which with full probability fail AP for all $2<p\le \infty$ and have AP for all $1\le p\le 2$. For $1<p\le 2$, $Y_p$ are isomorphic to ${\ell }_p$.

In many recent articles, medians have been used as a replacement of integral averages when the function fails to be locally integrable. A point $x$ in a metric measure space $(X,d,\mu )$ is called a generalized Lebesgue point of a measurable function $f$ if the medians of $f$ over the balls $B(x,r)$ converge to $f\left(x\right)$ when $r$ converges to $0$. We know that almost every point of a measurable, almost everywhere finite function is a generalized Lebesgue point and the same is true for every point of a continuous function....

We consider the equation $$-y^{\text{'}}\left(x\right)+q\left(x\right)y(x-\varphi \left(x\right))=f\left(x\right),x\in ℝ,$$ where $\varphi$ and $q$ ($q\ge 1$) are positive continuous functions for all $x\in ℝ$ and $f\in C\left(ℝ\right)$. By a solution of the equation we mean any function $y$, continuously differentiable everywhere in $ℝ$, which satisfies the equation for all $x\in ℝ$. We show that under certain additional conditions on the functions $\varphi$ and $q$, the above equation has a unique solution $y$, satisfying the inequality $$\parallel y^{\text{'}}{\parallel }_{C\left(ℝ\right)}+{\parallel qy\parallel }_{C\left(ℝ\right)}\le c{\parallel f\parallel }_{C\left(ℝ\right)},$$ where the constant $c\in (0,\infty )$ does not depend on the choice of $f$.

Let ${\Phi }_1,...,{\Phi }_{k+1}$ (with $k\ge 1$) be vector fields of class $C^k$ in an open set $U{\subset }^{N+m}$, let $𝕄$ be a $N$-dimensional $C^k$ submanifold of $U$ and define $$𝕋:=\{z\in 𝕄:{\Phi }_1\left(z\right),...,{\Phi }_{k+1}\left(z\right)\in T_z𝕄\}$$ where $T_z𝕄$ is the tangent space to $𝕄$ at $z$. Then we expect the following property, which is obvious in the special case when $z_0$ is an interior point (relative to $𝕄$) of $𝕋$: If $z_0\in 𝕄$ is a $(N+k)$-density point (relative to $𝕄$) of $𝕋$ then all the iterated Lie brackets of order less or equal to $k$ $${\Phi }_{i_1}\left(z_0\right),[{\Phi }_{i_1},{\Phi }_{i_2}]\left(z_0\right),[[{\Phi }_{i_1},{\Phi }_{i_2}],{\Phi }_{i_3}]\left(z_0\right),...(h,i_h\le k+1)$$ belong to $T_{z_0}𝕄$. Such a property has been proved in [9] for $k=1$ and its proof in the...

We take another approach to the well known theorem of Korovkin, in the following situation: X, Y are compact Hausdorff spaces, M is a unital subspace of the Banach space C(X) (respectively, $C_{ℝ}\left(X\right)$) of all complex-valued (resp., real-valued) continuous functions on X, S ⊂ M a complex (resp., real) function space on X, ϕₙ a sequence of unital linear contractions from M into C(Y) (resp., $C_{ℝ}\left(Y\right)$), and ${\varphi }_{\infty }$ a linear isometry from M into C(Y) (resp., $C_{ℝ}\left(Y\right)$). We show, under the assumption that ${\Pi }_N\subset {\Pi }_T$, where ${\Pi }_N$ is...

Let $(M,d)$ be a bounded countable metric space and $c>0$ a constant, such that $d(x,y)+d(y,z)-d(x,z)\ge c$, for any pairwise distinct points $x,y,z$ of $M$. For such metric spaces we prove that they can be isometrically embedded into any Banach space containing an isomorphic copy of ${\ell }_{\infty }$.

In this paper we prove the following theorems in incidence geometry. 1. There is $\delta >0$ such that for any $P_1,\cdots ,P_4$, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le n^{(1+\delta )/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then $P_1,\cdots ,P_4$ are collinear. If the number of the distinct lines is $<c{n}^{1/2}$ then the cross ratio of the four points is algebraic. 2. Given $c>0$, there is $\delta >0$ such that for any $P_1,P_2,P_3\in {ℂ}^2$ noncollinear, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le c{n}^{1/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then for any $P\in {ℂ}^2\setminus \{P_1,P_2,P_3\}$, we have $\delta n$ distinct lines between $P$ and $Q_j$. 3. Given...

A famous theorem of Carleson says that, given any function $f\in L^p\left(𝕋\right)$, $p\in (1,+\infty )$, its Fourier series $\left(S_{n}f\left(x\right)\right)$ converges for almost every $x\in 𝕋$. Beside this property, the series may diverge at some point, without exceeding $O\left(n^{1/p}\right)$. We define the divergence index at $x$ as the infimum of the positive real numbers $\beta$ such that $S_{n}f\left(x\right)=O\left(n^{\beta }\right)$ and we are interested in the size of the exceptional sets $E_{\beta }$, namely the sets of $x\in 𝕋$ with divergence index equal to $\beta$. We show that quasi-all functions in $L^p\left(𝕋\right)$ have a multifractal behavior with respect to...

Let $\Omega$ be a bounded domain of class $C^2$ in $ℝ$N and let $K$ be a compact subset of $\partial \Omega$. Assume that $q\ge (N+1)/\left(N-1\right)$ and denote by $U_K$ the maximal solution of $-\Delta u+u^q=0$ in $\Omega$ which vanishes on $\partial \Omega \setminus K$. We obtain sharp upper and lower estimates for $U_K$ in terms of the Bessel capacity $C_{2/q,q^{\text{'}}}$ and prove that $U_K$ is $\sigma$-moderate. In addition we describe the precise asymptotic behavior of $U_K$ at points $\sigma \in K$, which depends on the “density” of $K$ at $\sigma$, measured in terms of the capacity $C_{2/q,q^{\text{'}}}$.

Following a suggestion of W.M. Schmidt and L. Summerer, we construct a proper $3$-system $(P_1,P_2,P_3)$ with the property ${\overline{\varphi }}_3=1$. In fact, our method generalizes to provide $n$-systems with ${\overline{\varphi }}_n=1$, for arbitrary $n\ge 3$. We visualize our constructions with graphics. We further present explicit examples of numbers ${\xi }_1,...,{\xi }_{n-1}$ that induce the $n$-systems in question.