Source author record

J. M. Almira

J. M. Almira 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

32works
7topics
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

32 published item(s)

preprint2020arXiv

Negative results for approximation using single layer and multilayer feedforward neural networks

We prove a negative result for the approximation of functions defined on compact subsets of $\mathbb{R}^d$ (where $d \geq 2$) using feedforward neural networks with one hidden layer and arbitrary continuous activation function. In a nutshell, this result claims the existence of target functions that are as difficult to approximate using these neural networks as one may want. We also demonstrate an analogous result (for general $d \in \mathbb{N}$) for neural networks with an \emph{arbitrary} number of hidden layers, for activation functions that are either rational functions or continuous splines with finitely many pieces.

preprint2020arXiv

On Popoviciu-Ionescu functional equation in one and several variables

We study a functional equation first proposed by T. Popoviciu in 1955. In the one-dimensional case, it was solved for the easiest case by Ionescu in 1956 and, for the general case, by Ghiorcoiasiu and Roscau and Radó in 1962. We present a solution to the equation both for the one-dimensional and the higher-dimensional cases, which is based on a generalization of Radó's theorem to distributions in a higher dimensional setting. For functions of a single variable, our solution is different from the existing ones and, for functions of several variables, our solution is, as far as we know, the first one that exists. The one-dimensional part already appeared in a previous paper by the author. Indeed, this paper is just a re-statement of the one-dimensional part of the paper Arxiv:1604.00616, with the addition of the arguments devoted to solve the equation in dimensions higher than one.

preprint2016arXiv

An elementary inductive proof that $AB=I$ implies $BA=I$ for matrices

In this note we give an elementary demonstration of the fact that AB=I implies BA=I for square matrices A,B with coefficients in a field K. By elementary we mean that our proof follows from the very definitions of matrix and product of a matrix, with no extra help of more sophisticated results, as the use of dimensions of vector spaces or other ring- theoretical properties, like being Noetherian. The proof is also elementary in the sense that it relies on the concept and properties of the so called elementary operations on matrices. Finally, and no less important, the proof we show can be faced by any good student of a first year course in Mathematics, Physics or Engineering.

preprint2016arXiv

On Popoviciu-Ionescu functional equation

We study a functional equation first proposed by T. Popoviciu in 1955. It was solved for the easiest case by Ionescu in 1956 and, for the general case, by Ghiorcoiasiu and Roscau, and Radó in 1962. Our solution is based on a generalization of Radó's theorem to distributions in a higher dimensional setting and, as far as we know, is different than existing solutions. Finally, we propose several related open problems.

preprint2015arXiv

A dichotomy property for the graphs of monomials

We prove that the graph of a discontinuous $n$-monomial function $f:\mathbb{R}\to\mathbb{R}$ is either connected or totally disconnected. Furthermore, the discontinuous monomial functions with connected graph are characterized as those satisfying a certain big graph property. Finally, the connectedness properties of the graphs of additive functions $f:\mathbb{R}^d\to\mathbb{R}$ are studied.

preprint2015arXiv

How distant is the ideal filter of being a causal one?

In this paper the characterization as convolution operators of filters sending finite energy signals to bounded signals is used to prove several theoretical results concerning the distance between the ideal filter and the spaces of physically realizable filters. Both the analog and the digital cases are studied and the formulas for the distance and the angle between the filters in each case are also given.

preprint2015arXiv

Metrics with good Corona properties

In this note, we give several definitions of metric corona properties which could be of interest in Set Topology, Functional Analysis and Approximation Theory, and prove that there are complete metrizable t.v.s. which are nice in the sense that they have a metric which is invariant by translations, but they do not have good corona properties. All classical function spaces satisfy good corona properties but it is an open question to know if this also holds for the more general setting of locally convex t.v.s.

preprint2014arXiv

Characterization of Classes of Polynomial Functions

In this paper some classes of local polynomial functions on abelian groups are characterized by the properties of their variety. For this characterization we introduce a numerical quantity depending on the variety of the local polynomial only. Moreover, we show that the known characterization of polynomials among generalized polynomials can be simplified: a generalized polynomial is a polynomial if and only if its variety contains finitely many linearly independent additive functions.

preprint2014arXiv

On Montel and Montel-Popoviciu theorems in several variables

We present an elementary proof of a general version of Montel's theorem in several variables which is based on the use of tensor product polynomial interpolation. We also prove a Montel-Popoviciu's type theorem for functions $f:\mathbb{R}^d\to\mathbb{R}$ for $d>1$. Furthermore, our proof of this result is also valid for the case $d=1$, differing in several points from Popoviciu's original proof. Finally, we demonstrate that our results are optimal.

preprint2014arXiv

On Montel's theorem in several variables

Recently, the first author of this paper, used the structure of finite dimensional translation invariant subspaces of C(R,C) to give a new proof of classical Montel's theorem, about continuous solutions of Fréchet's functional equation $Δ_h^mf=0$, for real functions (and complex functions) of one real variable. In this paper we use similar ideas to prove a Montel's type theorem for the case of complex valued functions defined over the discrete group Z^d. Furthermore, we also state and demonstrate an improved version of Montel's Theorem for complex functions of several real variables and complex functions of several complex variables.

preprint2013arXiv

A note on invariant subspaces and the solution of some classical functional equations

We study the continuous solutions of several classical functional equations by using the properties of the spaces of continuous functions which are invariant under some elementary linear trans-formations. Concretely, we use that the sets of continuous solutions of certain equations are closed vector subspaces of $C(\mathbb{C}^d,\mathbb{C})$ which are invariant under affine transformations $T_{a,b}(f)(z)=f(az+b)$, or closed vector subspaces of $C(\mathbb{R}^d,\mathbb{R})$ which are translation and dilation invariant. These spaces have been recently classified by Sternfeld and Weit, and Pinkus, respectively, so that we use this information to give a direct characterization of the continuous solutions of the corresponding functional equations.

preprint2013arXiv

A p-adic Montel theorem and locally polynomial functions

We prove a version of both Jacobi's and Montel's Theorems for the case of continuous functions defined over the field $\mathbb{Q}_p$ of $p$-adic numbers. In particular, we prove that, if \[ Δ_{h_0}^{m+1}f(x)=0 \ \ \text{for all} x\in\mathbb{Q}_p, \] and $|h_0|_p=p^{-N_0}$ then, for all $x_0\in \mathbb{Q}_p$, the restriction of $f$ over the set $x_0+p^{N_0}\mathbb{Z}_p$ coincides with a polynomial $p_{x_0}(x)=a_0(x_0)+a_1(x_0)x+...+a_m(x_0)x^m$. Motivated by this result, we compute the general solution of the functional equation with restrictions given by {equation} Δ_h^{m+1}f(x)=0 \ \ (x\in X \text{and} h\in B_X(r)=\{x\in X:\|x\|\leq r\}), {equation} whenever $f:X\to Y$, $X$ is an ultrametric normed space over a non-Archimedean valued field $(\mathbb{K},|...|)$ of characteristic zero, and $Y$ is a $\mathbb{Q}$-vector space. By obvious reasons, we call these functions uniformly locally polynomial.

preprint2013arXiv

Montel's Theorem and subspaces of distributions which are $Δ^m$-invariant

We study the finite dimensional spaces $V$ which are invariant under the action of the finite differences operator $Δ_h^m$. Concretely, we prove that if $V$ is such an space, there exists a finite dimensional translation invariant space $W$ such that $V\subseteq W$. In particular, all elements of $V$ are exponential polynomials. Furthermore, $V$ admits a decomposition $V=P\oplus E$ with $P$ a space of polynomials and $E$ a translation invariant space. As a consequence of this study, we prove a generalization of a famous result by P. Montel which states that, if $f:\mathbb{R}\to \mathbb{C}$ is a continuous function satisfying $Δ_{h_1}^mf(t) = Δ_{h_2}^mf(t)=0$ for all $t\in\mathbb{R}$ and certain $h_1,h_2\in\mathbb{R}\setminus\{0\}$ such that $h_1/h_2\not\in\mathbb{Q}$, then $f(t)=a_0+a_1t+\cdots+a_{m-1}t^{m-1}$ for all $t\in\mathbb{R}$ and certain complex numbers $a_0,a_1,\cdots,a_{m-1}$. We demonstrate, with quite different arguments, the same result not only for ordinary functions $f(t)$ but also for complex valued distributions. Finally, we also consider in this paper the subspaces $V$ which are $Δ_{h_1h_2\cdots h_m}$-invariant for all $h_1,\cdots,h_m\in\mathbb{R}$.

preprint2013arXiv

On approximation schemes and compactness

We present an overview of some results about characterization of compactness in which the concept of approximation scheme has had a role. In particular, we present several results that were proved by the second author, jointly with Luther, a decade ago, when these authors were working on a very general theory of approximation spaces. We then introduce and show the basic properties of a new concept of compactness, which was studied by the first author in the eighties, by using a generalized concept of approximation scheme and its associated Kolmogorov numbers, which generalizes the classical concept of compactness.

preprint2013arXiv

On Shapiro's lethargy theorem and some applications

Shapiro's lethargy theorem states that if {A_n} is any non-trivial linear approximation scheme on a Banach space X, then the sequences of errors of best approximation E(x,A_n) = \inf_{a \in A_n} ||x - a_n||_X decay almost arbitrarily slowly. Recently, Almira and Oikhberg investigated this kind of result for general approximation schemes in the quasi-Banach setting. In this paper, we consider the same question for F-spaces with non decreasing metric d. We also provide applications to the rate of decay of s-numbers, entropy numbers, and slow convergence of sequences of operators.

preprint2011arXiv

A lethargy result for real analytic functions

In this short note we prove that, if (C[a,b],{A_n}) is an approximation scheme and (A_n) satisfies de La Vallée-Poussin Theorem, there are instances of continuous functions on [a,b], real analytic on (a,b], which are poorly approximable by the elements of the approximation scheme (A_n). This illustrates the thesis that the smoothness conditions guaranteeing that a function is well approximable must be, at least in these cases, global. The failure of smoothness at endpoints may result in an arbitrarily slow rate of approximation. A result of this kind, which is highly nonconstructive, based on different arguments, and applicable to different approximation schemes, was recently proved by Almira and Oikhberg (see arXiv:1009.5535v2).

preprint2011arXiv

Shapiro's Theorem for subspaces

In a previous paper (see arXiv:1003.3411 [math.CA]), we investigated the existence of an element x of a quasi-Banach space X whose errors of best approximation by a given approximation scheme (A_n) (defined by E(x,A_n) = \inf_{a \in A_n} \|x - a_n\|) decay arbitrarily slowly. In this work, we consider the question of whether x witnessing the slowness rate of approximation can be selected in a prescribed subspace of X. In many particular cases, the answer turns out to be positive.

preprint2010arXiv

A simple observation about compactness and fast decay of Fourier coefficients

Let $X$ be a Banach space and suppose $Y\subseteq X$ is a Banach space compactly embedded into $X$, and $(a_k)$ is a weakly null sequence of functionals in $X^*$. Then there exists a sequence $\{\varepsilon_n\} \searrow 0$ such that $|a_n(y)| \leq \varepsilon_n \|y\|_Y$ for every $n\in\mathbb{N}$ and every $y\in Y$. We prove this result and we use it for the study of fast decay of Fourier coefficients in $L^p(\mathbb{T})$ and frame coefficients in the Hilbert setting.

preprint2010arXiv

Approximation schemes satisfying Shapiro's Theorem

An approximation scheme is a family of homogeneous subsets $(A_n)$ of a quasi-Banach space $X$, such that $A_1 \subsetneq A_2 \subsetneq ... \subsetneq X$, $A_n + A_n \subset A_{K(n)}$, and $\bar{\cup_n A_n} = X$. Continuing the line of research originating at a classical paper by S.N. Bernstein (in 1938), we give several characterizations of the approximation schemes with the property that, for every sequence $\{ε_n\}\searrow 0$, there exists $x\in X$ such that $dist(x,A_n)\neq \mathbf{O}(ε_n)$ (in this case we say that $(X,\{A_n\})$ satisfies Shapiro's Theorem). If $X$ is a Banach space, $x \in X$ as above exists if and only if, for every sequence $\{δ_n\} \searrow 0$, there exists $y \in X$ such that $dist(y,A_n) \geq δ_n$. We give numerous examples of approximation schemes satisfying Shapiro's Theorem.

preprint2010arXiv

Characterization of approximation schemes satisfying Shapiro's Theorem

In this paper we characterize the approximation schemes that satisfy Shapiro's theorem and we use this result for several classical approximation processes. In particular, we study approximation of operators by finite rank operators and n-term approximation for several dictionaries and norms. Moreover, we compare our main theorem with a classical result by Yu. Brundyi and we show two examples of approximation schemes that do not satisfy Shapiro's theorem.