Cartoon Approximation with $$\alpha $$-Curvelets

It is well-known that curvelets provide optimal approximations for so-called cartoon images which are defined as piecewise \(C^2\)-functions, separated by a \(C^2\) singularity curve. In this paper, we consider the more general case of piecewise \(C^\beta \)-functions, separated by a \(C^\beta \) singularity curve for \(\beta \in (1,2]\). We first prove a benchmark result for the possibly achievable best N-term approximation rate for this more general signal model. Then we introduce what we call \(\alpha \)-curvelets, which are systems that interpolate between wavelet systems on the one hand (\(\alpha = 1\)) and curvelet systems on the other hand (\(\alpha = \frac{1}{2}\)). Our main result states that those frames achieve this optimal rate for \(\alpha = \frac{1}{\beta }\), up to \(\log \)-factors.     

Unitary Equivalence of Composition C$$^*$$-Algebras on the Hardy and Weighted Bergman Spaces

Let \(\varphi \) be an arbitrary linear-fractional self-map of the unit disk \({\mathbb {D}}\) and consider the composition operator \(C_{-1, \varphi }\) and the Toeplitz operator \(T_{-1,z}\) on the Hardy space \(H^2\) and the corresponding operators \(C_{\alpha , \varphi }\) and \(T_{\alpha , z}\) on the weighted Bergman spaces \(A^2_{\alpha }\) for \(\alpha >-1\). We prove that the unital C\(^*\)-algebra \(C^*(T_{\alpha , z}, C_{\alpha , \varphi })\) generated by \(T_{\alpha , z}\) and \(C_{\alpha , \varphi }\) is unitarily equivalent to \(C^*(T_{-1, z}, C_{-1, \varphi }),\) which extends a known result for automorphism-induced composition operators. For maps \(\varphi \) that are not automorphisms of \({\mathbb {D}}\), we show that \(C^*(C_{\alpha , \varphi }, {\mathcal {K}}_{\alpha })\) is unitarily equivalent to \(C^*(C_{-1, \varphi }, {\mathcal {K}}_{-1})\), where \({\mathcal {K}}_{\alpha }\) and \({\mathcal {K}}_{-1}\) denote the ideals of compact operators on \(A^2_{\alpha }\) and \(H^2\), respectively, and apply existing structure theorems for \(C^*(C_{-1, \varphi }, {\mathcal {K}}_{-1})/{\mathcal {K}}_{-1}\) to describe the structure of \(C^*(C_{\alpha , \varphi }, {\mathcal {K}}_{\alpha })/\mathcal {K_{\alpha }}\), up to isomorphism. We also establish a unitary equivalence between related weighted composition operators induced by maps \(\varphi \) that fix a point on the unit circle.     

Polynomials in operator space theory: matrix ordering and algebraic aspects

We extend the \(\lambda \)-theory of operator spaces given in Defant and Wiesner (J. Funct. Anal. 266(9): 5493–5525, 2014), that generalizes the notion of the projective, Haagerup and Schur tensor norm for operator spaces to matrix ordered spaces and Banach \(*\)-algebras. Given matrix regular operator spaces and operator systems, we introduce cones related to \(\lambda \) for the algebraic operator space tensor product that respect the matricial structure of matrix regular operator spaces and operator systems, respectively. The ideal structure of \(\lambda \)-tensor product of \(C^*\)-algebras has also been discussed.     

Dimensions of fibers of generic continuous maps

In an earlier paper Buczolich, Elekes, and the author described the Hausdorff dimension of the level sets of a generic real-valued continuous function (in the sense of Baire category) defined on a compact metric space K by introducing the notion of topological Hausdorff dimension. Later on, the author extended the theory for maps from K to \({\mathbb {R}}^n\). The main goal of this paper is to generalize the relevant results for topological and packing dimensions and to obtain new results for sufficiently homogeneous spaces K even in the case case of Hausdorff dimension. Let K be a compact metric space and let us denote by \(C(K,{\mathbb {R}}^n)\) the set of continuous maps from K to \({\mathbb {R}}^n\) endowed with the maximum norm. Let \(\dim _{*}\) be one of the topological dimension \(\dim _T\), the Hausdorff dimension \(\dim _H\), or the packing dimension \(\dim _P\). Define

$$\begin{aligned} d_{*}^n(K)=\inf \left\{ \dim _{*}(K{\setminus } F): F\subset K \text { is } \sigma \text {-compact with } \dim _T F<n\right\} . \end{aligned}$$

We prove that \(d^n_{*}(K)\) is the right notion to describe the dimensions of the fibers of a generic continuous map \(f\in C(K,{\mathbb {R}}^n)\). In particular, we show that \(\sup \{\dim _{*}f^{-1}(y): y\in {\mathbb {R}}^n\} =d^n_{*}(K)\) provided that \(\dim _T K\ge n\), otherwise every fiber is finite. Proving the above theorem for packing dimension requires entirely new ideas. Moreover, we show that the supremum is attained on the left hand side of the above equation. Assume \(\dim _T K\ge n\). If K is sufficiently homogeneous, then we can say much more. For example, we prove that \(\dim _{*}f^{-1}(y)=d^n_{*}(K)\) for a generic \(f\in C(K,{\mathbb {R}}^n)\) for all \(y\in {{\mathrm{int}}}f(K)\) if and only if \(d^n_{*}(U)=d^n_{*}(K)\) or \(\dim _T U<n\) for all open sets \(U\subset K\). This is new even if \(n=1\) and \(\dim _{*}=\dim _H\). It is known that for a generic \(f\in C(K,{\mathbb {R}}^n)\) the interior of f(K) is not empty. We augment the above characterization by showing that \(\dim _T \partial f(K)=\dim _H \partial f(K)=n-1\) for a generic \(f\in C(K,{\mathbb {R}}^n)\). In particular, almost every point of f(K) is an interior point. In order to obtain more precise results, we use the concept of generalized Hausdorff and packing measures, too.

     

On the approximation of dynamical indicators in systems with nonuniformly hyperbolic behavior

Let f be a \(C^{1+\alpha }\) diffeomorphism of a compact Riemannian manifold and \(\mu \) an ergodic hyperbolic measure with positive entropy. We prove that for every continuous potential \(\phi \) there exists a sequence of basic sets \(\Omega _n\) such that the topological pressure \(P(f|\Omega _n,\phi )\) converges to the free energy \(P_{\mu }(\phi ) = h(\mu ) + \int \phi {d\mu }\). We also prove that for a suitable class of potentials \(\phi \) there exists a sequence of basic sets \(\Omega _n\) such that \(P(f|\Omega _n,\phi ) \rightarrow P(\phi )\).     

The Whitney Extension Theorem for $$C^1$$, Horizontal Curves in the Heisenberg Group

For a real-valued function defined on a compact set \(K \subset {\mathbb {R}}^m\), the classical Whitney Extension Theorem from 1934 gives necessary and sufficient conditions for the existence of a \(C^k\) extension to \({\mathbb {R}}^m\). In this paper, we prove a version of the Whitney Extension Theorem in the case of \(C^1\), horizontal extensions for mappings defined on compact subsets of \({\mathbb {R}}\) taking values in the sub-Riemannian Heisenberg group \(\mathbb {H}^n\).     

Zappa–Szép product groupoids and $$C^*$$-blends

We study the external and internal Zappa–Szép product of topological groupoids. We show that under natural continuity assumptions the Zappa–Szép product groupoid is étale if and only if the individual groupoids are étale. In our main result we show that the \(C^*\)-algebra of a locally compact Hausdorff étale Zappa–Szép product groupoid is a \(C^*\)-blend, in the sense of Exel, of the individual groupoid \(C^*\)-algebras. We finish with some examples, including groupoids built from \(*\)-commuting endomorphisms, and skew product groupoids.     

Bishop–Phelps–Bollobás property for bilinear forms on spaces of continuous functions

It is shown that the Bishop–Phelps–Bollobás theorem holds for bilinear forms on the complex \(C_0(L_1)\times C_0(L_2)\) for arbitrary locally compact topological Hausdorff spaces \(L_1\) and \(L_2\).     

Peano curves with smooth footprints

We construct Peano curves \(\gamma : [0,\infty ) \rightarrow \mathbb {R}^2\) whose “footprints” \(\gamma ([0,t])\), \(t>0\), have \(C^\infty \) boundaries and are tangent to a common continuous line field on the punctured plane \(\mathbb {R}^2 {\backslash }\{\gamma (0)\}\). Moreover, these boundaries can be taken \(C^\infty \)-close to any prescribed smooth family of nested smooth Jordan curves contracting to a point.     

Partial regularity and smooth topology-preserving approximations of rough domains

For a bounded domain \(\Omega \subset {\mathbb R}^m, m\ge 2,\) of class \(C^0\), the properties are studied of fields of ‘good directions’, that is the directions with respect to which \(\partial \Omega \) can be locally represented as the graph of a continuous function. For any such domain there is a canonical smooth field of good directions defined in a suitable neighbourhood of \(\partial \Omega \), in terms of which a corresponding flow can be defined. Using this flow it is shown that \(\Omega \) can be approximated from the inside and the outside by diffeomorphic domains of class \(C^\infty \). Whether or not the image of a general continuous field of good directions (pseudonormals) defined on \(\partial \Omega \) is the whole of \(S^{m-1}\) is shown to depend on the topology of \(\Omega \). These considerations are used to prove that if \(m=2,3\), or if \(\Omega \) has nonzero Euler characteristic, there is a point \(P\in \partial \Omega \) in the neighbourhood of which \(\partial \Omega \) is Lipschitz. The results provide new information even for more regular domains, with Lipschitz or smooth boundaries.     

Flatness implies smoothness for solutions of the porous medium equation

One of the major problems in the theory of the porous medium equation \(\partial _t\rho =\Delta _x\rho ^m,\,m > 1\), is the regularity of the solutions \(\rho (t,x)\ge 0\) and the free boundaries \(\Gamma =\partial \{(t,x): \rho >0\}\). Here we assume flatness of the solution and derive \(C^\infty \) regularity of the interface after a small time, as well as \(C^\infty \) regularity of the solution in the positivity set and up to the free boundary for some time interval. The proof starts from Caffarelli’s blueprint of an improvement of flatness by rescaling, and combines it with the Carleson measure approach applied to the degenerate subelliptic equation satisfied by the pressure of the porous medium equation in transformed coordinates. The improvement of flatness finally hinges on Gaussian estimates for the subelliptic problem. We use these facts to prove the following eventual regularity result: solutions defined in the whole space with compactly supported initial data are smooth after a finite time \(T_r\) that depends on \(\rho _0\). More precisely, we prove that for \(t \ge T_r\) the pressure \(\rho ^{m-1}\) is \(C^\infty \) in the positivity set and up to the free boundary, which is a \(C^\infty \) hypersurface. Moreover, \(T_r\) can be estimated in terms of only the initial mass and the initial support radius. This regularity result eliminates the assumption of non-degeneracy on the initial data that has been carried on for decades in the literature. Let us recall that regularization for small times is false, and that as \(t\rightarrow \infty \) the solution increasingly resembles a Barenblatt function and the support looks like a ball.     

Isomorphic copies of $$l^\infty $$ in Cesàro–Orlicz function spaces

We characterize Cesàro–Orlicz function spaces \(Ces_\varphi \) containing isomorphic copy of \(l^\infty \). We also describe the subspaces \((Ces_\varphi )_a\) of all order continuous elements of \(Ces_\varphi \). Finally, we study the monotonicity structure of the spaces \(Ces_\varphi \) and \((Ces_\varphi )_a\).     

Order property and modulus of continuity of weak KAM solutions

For the Hamilton–Jacobi equation \(H(x,\partial _xu+c)=\alpha (c)\) with \(x\in \mathbb {T}^2\), it is shown in this paper that, for all \(c\in \alpha ^{-1}(E)\) with \(E>\min \alpha \), the elementary weak KAM solutions can be parameterized so that they are \(\frac{1}{3}\)-Hölder continuous in \(C^0\)-topology.     

Global $$C^{1,\al pha }$$ regularity and e xistence of multi ple solutions for singular p( x)-La placian equations

In this paper we study the following singular p(x)-Laplacian problem

$$\begin{aligned} \left\{ \begin{array}{l@{\quad }l} - \text{ div } \left( |\nabla u|^{p(x)-2} \nabla u\right) =\frac{ \lambda }{u^{\beta (x)}}+u^{q(x)}, &{} \text{ in }\quad \Omega , \\ u>0, &{} \text{ in }\quad \Omega , \\ u=0, &{} \text{ on }\quad \partial \Omega , \end{array}\right. \end{aligned}$$

where \(\Omega \) is a bounded domain in \(\mathbb {R}^N\), \(N\ge 2\), with smooth boundary \(\partial \Omega \), \(\beta \in C^1(\bar{\Omega })\) with \( 0< \beta (x) <1\), \(p\in C^1(\bar{\Omega })\), \(q \in C(\bar{\Omega })\) with \(p(x)>1\), \(p(x)< q(x) +1 <p^*(x)\) for \(x \in \bar{\Omega }\), where \( p^*(x)= \frac{Np(x)}{N-p(x)} \) for \(p(x) <N\) and \( p^*(x)= \infty \) for \( p(x) \ge N\). We establish \(C^{1,\alpha }\) regularity of weak solutions of the problem and strong comparison principle. Based on these two results, we prove the existence of multiple (at least two) positive solutions for a certain range of \(\lambda \).

     

On complementary dual quasi-twisted codes

A linear complementary-dual (LCD) code C is a linear code whose dual code \(C^{\perp }\) satisfies \(C \cap C^{\perp }=\{0\}\). In this work we characterize some classes of LCD q-ary \((\lambda , l)\)-quasi-twisted (QT) codes of length \(n=ml\) with \((m,q)=1\), \(\lambda \in F_{q} \setminus \{0\}\) and \(\lambda \ne \lambda ^{-1}\). We show that every \((\lambda ,l)\)-QT code C of length \(n=ml\) with \(dim(C)<m\) or \(dim(C^{\perp })<m\) is an LCD code. A sufficient condition for r-generator QT codes is provided under which they are LCD. We show that every maximal 1-generator \((\lambda ,l)\)-QT code of length \(n=ml\) with \(l>2\) is either an LCD code or a self-orthogonal code and a sufficient condition for this family of codes is given under which such a code C is LCD. Also it is shown that every maximal 1-generator \((\lambda ,2)\)-QT code is LCD. Several good and optimal LCD QT codes are presented.     

Hilbert $$C^*$$-modules as a subcategory of operator systems and injectivity

In this paper, we study a category whose objects are Hilbert \(C^*\)-modules and whose morphisms are completely semi-\(\phi \)-maps. We give a characterization of injective objects in this category. In fact, we investigate extendability of completely semi-\(\phi \)-maps on Hilbert \(C^*\)-modules, leading to an analog of the Arveson’s extension theorem for completely semi-\(\phi \)-maps (in contrast with \(\phi \)-maps). This theorem together with previous results suggest that the completely semi-\(\phi \)-maps are proper generalizations of the completely positive maps.     

Epireflective subcategories of TOP,T$$_$$UNIF,UNIF, closed under epimorphic images,or being algebraic

The epireflective subcategories of \(\mathbf{Top}\), that are closed under epimorphic (or bimorphic) images, are \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is indiscrete\(\} \) and \(\mathbf{Top}\). The epireflective subcategories of \(\mathbf{T_2Unif}\), closed under epimorphic images, are: \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is compact \(T_2 \} \), \(\{ X \mid \) covering character of X is \( \le \lambda _0 \} \) (where \(\lambda _0\) is an infinite cardinal), and \(\mathbf{T_2Unif}\). The epireflective subcategories of \(\mathbf{Unif}\), closed under epimorphic (or bimorphic) images, are: \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is indiscrete\(\} \), \(\{ X \mid \) covering character of X is \( \le \lambda _0 \} \) (where \(\lambda _0\) is an infinite cardinal), and \(\mathbf{Unif}\). The epireflective subcategories of \(\mathbf{Top}\), that are algebraic categories, are \(\{ X \mid |X| \le 1 \} \), and \(\{ X \mid X\) is indiscrete\(\} \). The subcategories of \(\mathbf{Unif}\), closed under products and closed subspaces and being varietal, are \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is indiscrete\(\} \), \(\{ X \mid X\) is compact \(T_2 \} \). The subcategories of \(\mathbf{Unif}\), closed under products and closed subspaces and being algebraic, are \(\{ X \mid X\) is indiscrete\( \} \), and all epireflective subcategories of \(\{ X \mid X\) is compact \(T_2 \} \). Also we give a sharpened form of a theorem of Kannan-Soundararajan about classes of \(T_3\) spaces, closed for products, closed subspaces and surjective images.     

Weighted Harmonic Bloch Spaces on the Ball

We study the family of weighted harmonic Bloch spaces \(b_\alpha , \alpha \in {\mathbb {R}}\), on the unit ball of \({\mathbb {R}}^n\). We provide characterizations in terms of partial and radial derivatives and certain radial differential operators that are more compatible with reproducing kernels of harmonic Bergman–Besov spaces. We consider a class of integral operators related to harmonic Bergman projection and determine precisely when they are bounded on \(L^\infty _\alpha \). We define projections from \(L^\infty _\alpha \) to \(b_\alpha \) and as a consequence obtain integral representations. We solve the Gleason problem and provide atomic decomposition for all \(b_\alpha , \alpha \in {\mathbb {R}}\). Finally we give an oscillatory characterization of \(b_\alpha \) when \(\alpha >-1\).     

A potential well for an integral functional with singular Lagrangian

This paper concerns a functional of the form

$$\begin{aligned} \Phi (u)=\int _\Omega L(x,u(x),\nabla u(x))\, dx \end{aligned}$$

on the Sobolev space \(H_0^1(\Omega )\) where \(\Omega \) is a bounded open subset of \({\mathbb {R}}^N\) with \(N\ge 3\) and \(0\in \Omega \). The hypotheses on L ensure that \(u\equiv 0\) is a critical point of \(\Phi \), but allow the Lagrangian to be singular at \(x=0\). It is shown that, under these assumptions, the usual conditions associated with Jacobi (positive definiteness of the second variation of \(\Phi \) at \(u\equiv 0\)), Legendre (ellipticity at \(u\equiv 0\)) and Weierstrass [strict convexity of \(L(x,s,\xi )\) with respect to \(\xi \)] from the calculus of variations are not sufficient ensure that \(u\equiv 0\) is a local minimum of \(\Phi \). Using recent criteria for the existence of a potential well of a \(C^1\)-functional on a real Hilbert space, conditions implying that \(u\equiv 0\) lies in a potential well of \(\Phi \) are established. They are shown to be sharp in some cases.