Source author record

J. M. Almira

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CA math.FA Machine Learning math.DG math.GN math.NT math.RA

Catalog footprint

Research overview

32works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

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 Loewner's characterization of polynomials

We give a new demonstration of Loewner's characterization of polynomials, solving in the positive a conjecture proposed by Laird and McCann in 1984.

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

Los teoremas de Fréchet, Montel y Popoviciu y los grafos de los polinomios discontinuos

This paper is an introduction to the regularity theory of functional equations, motivated by the study of Fréchet's functional equation. Another main goal is to honor the work in functional equations of the Romanian mathematician Tiberiu Popoviciu.

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.

preprint2015arXiv

On the closure of translation-dilation invariant linear spaces of polynomials

Assume that a linear space of real polynomials in $d$ variables is given which is translation and dilation invariant. We show that if a sequence in this space converges pointwise to a polynomial, then the limit polynomial belongs to the space, too.

preprint2014arXiv

A qualitative description of graphs of discontinuous polynomial functions

We prove that, if f:R^n\to R satisfies Fréchet's functional equation and f(x_1,...,x_n) is not an ordinary algebraic polynomial in the variables x_1,...,x_n, then f is unbounded on all non-empty open set U of R^n. Furthermore, the closure of its graph contains an unbounded open set.

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

Local polynomials and the Montel Theorem

In this paper local polynomials on Abelian groups are characterized by a "local" Fréchet-type functional equation. We apply our result to generalize Montel's Theorem and to obtain Montel-type theorems on commutative groups.

preprint2014arXiv

Montel-type theorems for exponential polynomials

In this paper we characterize local exponential monomials and polynomials on different types of Abelian groups and we prove Montel-type theorems for these function classes.

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.

preprint2012arXiv

A note on monomials

We study discontinuous solutions of the monomial equation $\frac{1}{n!}Δ_h^nf(x)=f(h)$ . In particular, we characterize the closure of their graph, $\bar{G(f)}^{\mathbb{R}^2}$ , and we use the properties of these functions to present a new proof of the Darboux type theorem for polynomials and of Hamel's theorem for additive functions.

preprint2012arXiv

On solutions of $f(x)+f(a_1x)+...+f(a_Nx)=0$ and related equations

We study some properties of the solutions of the functional equation $f(x)+f(a_1x)+...+f(a_Nx)=0,$ which was introduced in the literature by Mora, Cherruault and Ziadi in 1999, for the case $a_k=k+1$ , $k=1,2,...,N$ and studied by Mora in 2008 and Mora and Sepulcre in 2009 and 2011.

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

A note on classical and p-adic Fréchet functional equations with restrictions

Given X,Y two Q-vector spaces, and f:X -> Y, we study under which conditions on the sets $B_k\subseteq X$ , k=1,...,s, if $Δ_{h_1h_2... h_s}f(x)=0$ for all x in X and h_k in B_k, k=1,2,...,s, then $Δ_{h_1h_2... h_s}f(x)=0$ for all (x,h_1,...,h_s) in X^{s+1}.

preprint2011arXiv

An Ultrametric lethargy result and its application to p-adic number theory

In this paper we show a lethargy result in the non-Arquimedian context, for general ultrametric approximation schemes and, as a consequence, we prove the existence of p-adic transcendental numbers whose best approximation errors by algebraic p-adic numbers of degree less than or equal to n decays slowly.

preprint2011arXiv

On strict inclusion relations between approximation and interpolation spaces

We study strict inclusion relations between approximation and interpolation spaces.

preprint2011arXiv

Riemannian Geometry and the Fundamental Theorem of Algebra

If a (non-constant) polynomial has no zero, then a certain Riemannian metric is constructed on the two dimensional sphere. Several geometric arguments are then shown to contradict this fact.

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.

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.

J. M. Almira

Research overview

Is this your work?

32 publications

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

On Popoviciu-Ionescu functional equation in one and several variables

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

On Loewner's characterization of polynomials

On Popoviciu-Ionescu functional equation

A dichotomy property for the graphs of monomials

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

Los teoremas de Fréchet, Montel y Popoviciu y los grafos de los polinomios discontinuos

Metrics with good Corona properties

On the closure of translation-dilation invariant linear spaces of polynomials

A qualitative description of graphs of discontinuous polynomial functions

Characterization of Classes of Polynomial Functions

Local polynomials and the Montel Theorem

Montel-type theorems for exponential polynomials

On Montel and Montel-Popoviciu theorems in several variables

On Montel's theorem in several variables

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

A p-adic Montel theorem and locally polynomial functions

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

On approximation schemes and compactness

On Shapiro's lethargy theorem and some applications

A note on monomials

On solutions of $f(x)+f(a_1x)+...+f(a_Nx)=0$ and related equations

A lethargy result for real analytic functions

A note on classical and p-adic Fréchet functional equations with restrictions

An Ultrametric lethargy result and its application to p-adic number theory

On strict inclusion relations between approximation and interpolation spaces

Riemannian Geometry and the Fundamental Theorem of Algebra

Shapiro's Theorem for subspaces

A simple observation about compactness and fast decay of Fourier coefficients

Approximation schemes satisfying Shapiro's Theorem

Characterization of approximation schemes satisfying Shapiro's Theorem

See the researcher in context

Building this map preview

J. M. Almira

Research overview

Is this your work?

32 publications

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

On Popoviciu-Ionescu functional equation in one and several variables

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

On Loewner's characterization of polynomials

On Popoviciu-Ionescu functional equation

A dichotomy property for the graphs of monomials

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

Los teoremas de Fréchet, Montel y Popoviciu y los grafos de los polinomios discontinuos

Metrics with good Corona properties

On the closure of translation-dilation invariant linear spaces of polynomials

A qualitative description of graphs of discontinuous polynomial functions

Characterization of Classes of Polynomial Functions

Local polynomials and the Montel Theorem

Montel-type theorems for exponential polynomials

On Montel and Montel-Popoviciu theorems in several variables

On Montel's theorem in several variables

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

A p-adic Montel theorem and locally polynomial functions

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

On approximation schemes and compactness

On Shapiro's lethargy theorem and some applications

A note on monomials

On solutions of f(x)+f(a1x)+...+f(aNx)=0f(x)+f(a_1x)+...+f(a_Nx)=0f(x)+f(a1​x)+...+f(aN​x)=0 and related equations

A lethargy result for real analytic functions

A note on classical and p-adic Fréchet functional equations with restrictions

An Ultrametric lethargy result and its application to p-adic number theory

On strict inclusion relations between approximation and interpolation spaces

Riemannian Geometry and the Fundamental Theorem of Algebra

Shapiro's Theorem for subspaces

A simple observation about compactness and fast decay of Fourier coefficients

Approximation schemes satisfying Shapiro's Theorem

Characterization of approximation schemes satisfying Shapiro's Theorem

See the researcher in context

Building this map preview

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

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

On solutions of $f(x)+f(a_1x)+...+f(a_Nx)=0$ and related equations