Source author record

Jean-Pierre Gabardo

Jean-Pierre Gabardo appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

8works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2020arXiv

On exponential bases and frames with non-linear phase functions and some applications

In this paper, we study the spectrality and frame-spectrality of exponential systems of the type $E(Λ,φ) = \{e^{2πi λ\cdotφ(x)}: λ\inΛ\}$ where the phase function $φ$ is a Borel measurable which is not necessarily linear. A complete characterization of pairs $(Λ,φ)$ for which $E(Λ,φ)$ is an orthogonal basis or a frame for $L^{2}(μ)$ is obtained. In particular, we show that the middle-third Cantor measures and the unit disc, each admits an orthogonal basis with a certain non-linear phase. Under a natural regularity condition on the phase functions, when $μ$ is the Lebesgue measure on $[0,1]$ and $Λ= {\mathbb{Z}},$ we show that only the standard phase functions $φ(x) = \pm x$ are the only possible functions that give rise to orthonormal bases. Surprisingly, however we prove that there exist a greater degree of flexibility, even for continuously differentiable phase functions in higher dimensions. For instance, we were able to describe a large class of functions $φ$ defined on ${\mathbb{R}}^{d}$ such that the system $E(Λ,φ)$ is an orthonormal basis for $L^{2}[0,1]^{d}$ when $d\geq2.$ Moreover, we discuss how our results apply to the discretization problem of unitary representations of locally compact groups for the construction of orthonormal bases. Finally, we conclude the paper by stating several open problems.

preprint2019arXiv

Open set condition and pseudo Hausdorff measure of self-affine IFSs

Let $A$ be an $n\times n$ real expanding matrix and $\mathcal{D}$ be a finite subset of $\mathbb{R}^n$ with $0\in\mathcal{D}$. The family of maps $\{f_d(x)=A^{-1}(x+d)\}_{d\in\mathcal{D}}$ is called a self-affine iterated function system (self-affine IFS). The self-affine set $K=K(A,\mathcal{D})$ is the unique compact set determined by $(A, {\mathcal D})$ satisfying the set-valued equation $K=\displaystyle\bigcup_{d\in\mathcal{D}}f_d(K)$. The number $s=n\,\ln(\# \mathcal{D})/\ln(q)$ with $q=|\det(A)|$, is the so-called pseudo similarity dimension of $K$. As shown by He and Lau, one can associate with $A$ and any number $s\ge 0$ a natural pseudo Hausdorff measure denoted by $\mathcal{H}_w^s.$ In this paper, we show that, if $s$ is chosen to be the pseudo similarity dimension of $K$, then the condition $\mathcal{H}_w^s(K)> 0$ holds if and only if the IFS $\{f_d\}_{d\in\mathcal{D}}$ satisfies the open set condition (OSC). This extends the well-known result for the self-similar case that the OSC is equivalent to $K$ having positive Hausdorff measure $\mathcal{H}^s$ for a suitable $s$. Furthermore, we relate the exact value of pseudo Hausdorff measure $\mathcal{H}_w^s(K)$ to a notion of upper $s$-density with respect to the pseudo norm $w(x)$ associated with $A$ for the measure $μ=\lim\limits_{M\to\infty}\sum\limits_{d_0,\dotsc,d_{M-1}\in\mathcal{D}}δ_{d_0 + Ad_1 + \dotsb + A^{M-1}d_{M-1}}$ in the case that $\#\mathcal{D}\le\lvert\det A\rvert$.

preprint2016arXiv

Beurling densities and frames of exponentials on the union of small balls

If $x_1,\dots,x_m$ are finitely many points in $\mathbb{R}^d$, let $E_ε=\cup_{i=1}^m\,x_i+Q_ε$, where $Q_ε=\{x\in \mathbb{R}^d,\,\,|x_i|\le ε/2, \, i=1,...,d\}$ and let $\hat f$ denote the Fourier transform of $f$. Given a positive Borel measure $μ$ on $\mathbb{R}^d$, we provide a necessary and sufficient condition for the frame inequalities $$ A\,\|f\|^2_2\le \int_{\mathbb{R}^d}\,|\hat f(ξ)|^2\,dμ(ξ)\le B\,\|f\|^2_2,\quad f\in L^2(E_ε), $$ to hold for some $A,B>0$ and for some $ε>0$ sufficiently small. If $m=1$, we show that the limits of the optimal lower and upper frame bounds as $ε\rightarrow 0$ are equal, respectively, to the lower and upper Beurling density of $μ$. When $m>1$, we extend this result by defining a matrix version of Beurling density. Given a (possibly dense) subgroup $G$ of $\mathbb{R}$, we then consider the problem of characterizing those measures $μ$ for which the inequalities above hold whenever $x_1,\dots,x_m$ are finitely many points in $G$ (with $ε$ depending on those points, but not $A$ or $B$). We point out an interesting connection between this problem and the notion of well-distributed sequence when $G=a\,\mathbb{Z}$ for some $a>0$. Finally, we show the existence of a discrete set $Λ$ such that the measure $μ=\sum_λ\,δ_λ$ satisfy the property above for the whole group $\mathbb{R}$.

preprint2016arXiv

Decomposition of Integral Self-Affine Multi-Tiles

In this paper, we propose a method to decompose an integral self-affine ${\mathbb Z}^n$-tiling set $K$ into measure disjoint pieces $K_j$ satisfying $K=\displaystyle\bigcup K_j$ in such a way that the collection of sets $K_j$ forms an integral self-affine collection associated with the matrix $B$ and this with a minimum number of pieces $K_j$. When used on a given measurable $\mathbb{Z}^n$-tiling set $K\subset\mathbb{R}^n$, this decomposition terminates after finitely many steps if and only if the set $K$ is an integral self-affine multi-tile. Furthermore, we show that the minimal decomposition we provide is unique.

preprint2014arXiv

Gabor orthonormal bases generated by the unit cubes

We consider the problem in determining the countable sets $Λ$ in the time-frequency plane such that the Gabor system generated by the time-frequency shifts of the window $χ_{[0,1]^d}$ associated with $Λ$ forms a Gabor orthonormal basis for $ L^2({\Bbb R}^d)$. We show that, if this is the case, the translates by elements $Λ$ of the unit cube in ${\Bbb R}^{2d}$ must tile the time-frequency space ${\Bbb R}^{2d}$. By studying the possible structure of such tiling sets, we completely classify all such admissible sets $Λ$ of time-frequency shifts when $d=1,2$. Moreover, an inductive procedure for constructing such sets $Λ$ in dimension $d\ge 3$ is also given. An interesting and surprising consequence of our results is the existence, for $d\geq 2$, of discrete sets $Λ$ with ${\mathcal G}(χ_{[0,1]^d},Λ)$ forming a Gabor orthonormal basis but with the associated "time"-translates of the window $χ_{[0,1]^d}$ having significant overlaps.

preprint2013arXiv

Frames of multi-windowed exponentials on subsets of ${\mathbb R}^d$

Given discrete subsets $Λ_j\subset {\Bbb R}^d$, $j=1,...,q$, consider the set of windowed exponentials $\bigcup_{j=1}^{q}\{g_j(x)e^{2πi <λ,x>}: λ\inΛ_j\}$ on $L^2(Ω)$. We show that a necessary and sufficient condition for the windows $g_j$ to form a frame of windowed exponentials for $L^2(Ω)$ with some $Λ_j$ is that $m\leq \max_{j\in J}|g_j|\leq M$ almost everywhere on $Ω$ for some subset $J$ of $\{1,..., q\}$. If $Ω$ is unbounded, we show that there is no frame of windowed exponentials if the Lebesgue measure of $Ω$ is infinite. If $Ω$ is unbounded but of finite measure, we give a sufficient condition for the existence of Fourier frames on $L^2(Ω)$. At the same time, we also construct examples of unbounded sets with finite measure that have no tight exponential frame.

preprint2013arXiv

Measure of Self-Affine Sets and Associated Densities

Let $B$ be an $n\times n$ real expanding matrix and $\mathcal{D}$ be a finite subset of $\mathbb{R}^n$ with $0\in\mathcal{D}$. The self-affine set $K=K(B,\mathcal{D})$ is the unique compact set satisfying the set-valued equation $BK=\displaystyle\bigcup_{d\in\mathcal{D}}(K+d)$. In the case where $\text{card}(\mathcal{D})=\lvert\det B\rvert,$ we relate the Lebesgue measure of $K(B,\mathcal{D})$ to the upper Beurling density of the associated measure $μ=\lim\limits_{s\to\infty}\sum\limits_{\ell_0,\dotsc,\ell_{s-1}\in\mathcal{D}}δ_{\ell_0+B\ell_1+\dotsb+B^{s-1}\ell_{s-1}}.$ If, on the other hand, $\text{card}(\mathcal{D})<\lvert\det B\rvert$ and $B$ is a similarity matrix, we relate the Hausdorff measure $\mathcal{H}^s(K)$, where $s$ is the similarity dimension of $K$, to a corresponding notion of upper density for the measure $μ$.

preprint2013arXiv

Spectral measures associated with the factorization of the Lebesgue measure on a set via convolution

Let $Q$ be a fundamental domain of some full-rank lattice in ${\Bbb R}^d$ and let $μ$ and $ν$ be two positive Borel measures on ${\Bbb R}^d$ such that the convolution $μ\astν$ is a multiple of $χ_Q$. We consider the problem as to whether or not both measures must be spectral (i.e. each of their respective associated $L^2$ space admits an orthogonal basis of exponentials) and we show that this is the case when $Q = [0,1]^d$. This theorem yields a large class of examples of spectral measures which are either absolutely continuous, singularly continuous or purely discrete spectral measures. In addition, we propose a generalized Fuglede's conjecture for spectral measures on ${\Bbb R}^1$ and we show that it implies the classical Fuglede's conjecture on ${\Bbb R}^1$.