Source author record

J. M. Aldaz

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

27works
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

27 published item(s)

preprint2026arXiv

Fischer decompositions for entire functions of sufficiently low order

The existence of decompositions of the form $f=P\cdot q+r$ with $P_k^{\ast}\left( D\right) r=0$, where $f$ is entire, $P$ a polynomial and $P^{\ast}_k$ the principal part of $P$ with its coefficients conjugated, was achieved in \cite{AlRe23} under certain restrictions on the order of $f$. Here we prove uniqueness, thereby obtaining Fischer decompositions, under conditions that sometimes match those required for existence, and sometimes are more restrictive, depending on the parameters involved.

preprint2026arXiv

The Dirichlet problem with entire data for non-hyperbolic quadratic hypersurfaces

We show that for all homogeneous polynomials $ f_{m}$ of degree $m$, in $d$ variables, and each $j = 1, \dots , d$, we have \begin{equation*} \left\langle x_{j}^{2}f_{m},f_{m}\right\rangle _{L^{2}\left( \mathbb{S}% ^{d-1}\right) } \geq \frac{π^{2}}{4\left( m+ 2 d + 1 \right)^{2}} \left \langle f_{m},f_{m}\right\rangle _{L^{2}\left( \mathbb{S}^{d-1}\right) }. \end{equation*} This result is used to establish the existence of entire harmonic solutions of the Dirichlet problem, when the data are given by entire functions of order sufficiently low on nonhyperbolic quadratic hypersurfaces.

preprint2022arXiv

Fischer decompositions for entire functions and the Dirichlet problem for parabolas

Let $P_{2k}$ be a homogeneous polynomial of degree $2k$ and assume that there exist $C>0$, $D>0$ and $α\ge 0$ such that \begin{equation*} \left\langle P_{2k}f_{m},f_{m}\right\rangle_{L^2(\mathbb{S}^{d-1})}\geq \frac{1}{C\left( m+D\right) ^{α}}\left\langle f_{m},f_{m}\right\rangle_{\mathbb{S}^{d-1}} \end{equation*} for all homogeneous polynomials $f_{m}$ of degree $m.$ Assume that $P_{j}$ for $j=0, \dots ,β<2k$ are homogeneous polynomials of degree $j$. The main result of the paper states that for any entire function $f$ of order $% ρ<\left( 2k-β\right) /α$ there exist entire functions $q$ and $h$ of order bounded by $ρ$ such that \begin{equation*} f=\left( P_{2k}-P_{β}- \dots -P_{0}\right) q+h\text{ and }Δ^{h}r=0. \end{equation*} This result is used to establish the existence of entire harmonic solutions of the Dirichlet problem for parabola-shaped domains on the plane, with data given by entire functions of order smaller than $\frac{1}{2}$.

preprint2020arXiv

Kissing numbers and the centered maximal operator

We prove that in a metric measure space $X$, if for some $p \in (1,\infty)$ there are uniform bounds (independent of the measure) for the weak type $(p,p)$ of the centered maximal operator, then $X$ satisfies a certain geometric condition, the Besicovitch intersection property, which in turn implies the uniform weak type $(1,1)$ of the centered operator. Thus, the following characterization is obtained: the centered maximal operator satisfies uniform weak type $(1,1)$ bounds if and only if the space $X$ has the Besicovitch intersection property. In $\mathbb{R}^d$ with any norm, the constants coming from the Besicovitch intersection property are bounded above by the translative kissing numbers. The extensive literature on kissing numbers allows us to obtain, first, sharp estimates on the uniform bounds satisfied by the centered maximal operators defined by arbitrary norms on the plane, second, sharp estimates in every dimension when the $\ell_\infty$ norm is used, and third, improved estimates in all dimensions when considering euclidean balls, as well as the sharp constant in dimension 3. Additionally, we prove that the existence of uniform $L^1$ bounds for the averaging operators associated to arbitrary measures and radii, is equivalent to a weaker variant of the Besicovitch intersection property.

preprint2010arXiv

Behavior of weak type bounds for high dimensional maximal operators defined by certain radial measures

As shown in [A1], the lowest constants appearing in the weak type (1,1) inequalities satisfied by the centered Hardy-Littlewood maximal operator associated to certain finite radial measures, grow exponentially fast with the dimension. Here we extend this result to a wider class of radial measures and to some values of p>1. Furthermore, we improve the previously known bounds for p=1. Roughly speaking, whenever p\in (1, 1.03], if μis defined by a radial, radially decreasing density satisfying some mild growth conditions, then the best constants c_{p,d,μ} in the weak type (p,p) inequalities satisfy c_{p,d,μ} \ge 1.005^d for all d sufficiently large. We also show that exponential increase of the best constants occurs for certain families of doubling measures, and for arbitrarily high values of p. [A1] Aldaz, J.M. Dimension dependency of the weak type (1,1) bounds for maximal functions associated to finite radial measures. Bull. Lond. Math. Soc. 39 (2007) 203-208. Also available at the Mathematics ArXiv.

preprint2010arXiv

Optimal bounds on the modulus of continuity of the uncentered Hardy-Littlewood maximal function

We obtain sharp bounds for the modulus of continuity of the uncentered maximal function in terms of the modulus of continuity of the given function, via integral formulas. Some of the results deduced from these formulas are the following: The best constants for Lipschitz and Hölder functions on proper subintervals of $\mathbb{R}$ are $\operatorname{Lip}_α( Mf) \le (1 + α)^{-1}\operatorname{Lip}_α( f)$, $α\in (0,1]$. On $\mathbb{R}$, the best bound for Lipschitz functions is $ \operatorname{Lip} ( Mf) \le (\sqrt2 -1)\operatorname{Lip}( f).$ In higher dimensions, we determine the asymptotic behavior, as $d\to\infty$, of the norm of the maximal operator associated to cross-polytopes, euclidean balls and cubes, that is, $\ell_p$ balls for $p = 1, 2, \infty$. We do this for arbitrary moduli of continuity. In the specific case of Lipschitz and Hölder functions, the operator norm of the maximal operator is uniformly bounded by $2^{-α/q}$, where $q$ is the conjugate exponent of $p=1,2$, and as $d\to\infty$ the norms approach this bound. When $p=\infty$, best constants are the same as when $p = 1$.

preprint2010arXiv

The weak type $(1,1)$ bounds for the maximal function associated to cubes grow to infinity with the dimension

Let $M_d$ be the centered Hardy-Littlewood maximal function associated to cubes in $\mathbb{R}^d$ with Lebesgue measure, and let $c_d$ denote the lowest constant appearing in the weak type (1,1) inequality satisfied by $M_d$. We show that $c_d \to \infty$ as $d\to \infty$, thus answering, for the case of cubes, a long standing open question of E. M. Stein and J. O. Strömberg.

preprint2009arXiv

Regularity of the Hardy-Littlewood maximal operator on block decreasing functions

We study the Hardy-Littlewood maximal operator defined via an unconditional norm, acting on block decreasing functions. We show that the uncentered maximal operator maps block decreasing functions of special bounded variation to functions with integrable distributional derivatives, thus improving their regularity. In the special case of the maximal operator defined by the l_infty-norm, that is, by averaging over cubes, the result extends to block decreasing functions of bounded variation, not necessarily special.

preprint2009arXiv

Shape preserving properties of generalized Bernstein operators on Extended Chebyshev spaces

We study the existence and shape preserving properties of a generalized Bernstein operator $B_{n}$ fixing a strictly positive function $f_{0}$, and a second function $f_{1}$ such that $f_{1}/f_{0}$ is strictly increasing, within the framework of extended Chebyshev spaces $U_{n}$. The first main result gives an inductive criterion for existence: suppose there exists a Bernstein operator $B_{n}:C[a,b]\to U_{n}$ with strictly increasing nodes, fixing $f_{0}, f_{1}\in U_{n}$. If $U_{n}\subset U_{n + 1}$ and $U_{n + 1}$ has a non-negative Bernstein basis, then there exists a Bernstein operator $B_{n+1}:C[a,b]\to U_{n+1}$ with strictly increasing nodes, fixing $f_{0}$ and $f_{1}.$ In particular, if $% f_{0},f_{1},...,f_{n}$ is a basis of $U_{n}$ such that the linear span of $% f_{0},..,f_{k}$ is an extended Chebyshev space over $[ a,b] $ for each $k=0,...,n$, then there exists a Bernstein operator $B_{n}$ with increasing nodes fixing $f_{0}$ and $f_{1}.$ The second main result says that under the above assumptions the following inequalities hold B_{n}f\geq B_{n+1}f\geq f for all $(f_{0},f_{1})$-convex functions $f\in C[ a,b] .$ Furthermore, $B_{n}f$ is $(f_{0},f_{1})$-convex for all $(f_{0},f_{1})$% -convex functions $f\in C[ a,b] .$ In the specific case of exponential polynomials we give alternative proofs of shape preserving properties by computing derivatives of the generalized Bernstein polynomials.

preprint2008arXiv

Bernstein operators for exponential polynomials

Let $L$ be a linear differential operator with constant coefficients of order $n$ and complex eigenvalues $λ_{0},...,λ_{n}$. Assume that the set $U_{n}$ of all solutions of the equation $Lf=0$ is closed under complex conjugation. If the length of the interval $[ a,b] $ is smaller than $π/M_{n}$, where $M_{n}:=\max \left\{| \text{Im}% λ_{j}| :j=0,...,n\right\} $, then there exists a basis $p_{n,k}$%, $k=0,...n$, of the space $U_{n}$ with the property that each $p_{n,k}$ has a zero of order $k$ at $a$ and a zero of order $n-k$ at $b,$ and each $% p_{n,k}$ is positive on the open interval $(a,b) .$ Under the additional assumption that $λ_{0}$ and $λ_{1}$ are real and distinct, our first main result states that there exist points $% a=t_{0}<t_{1}<...<t_{n}=b$ and positive numbers $α_{0},..,α_{n}$%, such that the operator \begin{equation*} B_{n}f:=\sum_{k=0}^{n}α_{k}f(t_{k}) p_{n,k}(x) \end{equation*} satisfies $B_{n}e^{λ_{j}x}=e^{λ_{j}x}$, for $j=0,1.$ The second main result gives a sufficient condition guaranteeing the uniform convergence of $B_{n}f$ to $f$ for each $f\in C[ a,b] $.

preprint2008arXiv

Bernstein Operators for Extended Chebyshev Systems

Let $U_{n}\subset C^{n}[ a,b] $ be an extended Chebyshev space of dimension $n+1$. Suppose that $f_{0}\in U_{n}$ is strictly positive and $% f_{1}\in U_{n}$ has the property that $f_{1}/f_{0}$ is strictly increasing. We search for conditions ensuring the existence of points $% t_{0},...,t_{n}\in [ a,b] $ and positive coefficients $α_{0},...,α_{n}$ such that for all $f\in C[ a,b]$, the operator $B_{n}:C[ a,b] \to U_{n}$ defined by $% B_{n}f=\sum_{k=0}^{n}f(t_{k}) α_{k}p_{n,k}$ satisfies $% B_{n}f_{0}=f_{0}$ and $B_{n}f_{1}=f_{1}.$ Here it is assumed that $% p_{n,k},k=0,...,n$, is a Bernstein basis, defined by the property that each $% p_{n,k}$ has a zero of order $k$ at $a$ and a zero of order $n-k$ at $b.$

preprint2006arXiv

Boundedness and unboundedness results for some maximal operators on functions of bounded variation

We characterize the space $BV(I)$ of functions of bounded variation on an arbitrary interval $I\subset \mathbb{R}$, in terms of a uniform boundedness condition satisfied by the local uncentered maximal operator $M_R$ from $BV(I)$ into the Sobolev space $W^{1,1}(I)$. By restriction, the corresponding characterization holds for $W^{1,1}(I)$. We also show that if $U$ is open in $\mathbb{R}^d, d >1$, then boundedness from $BV(U)$ into $W^{1,1}(U)$ fails for the local directional maximal operator $M_T^{v}$, the local strong maximal operator $M_T^S$, and the iterated local directional maximal operator $M_T^{d}\circ ...\circ M_T^{1}$. Nevertheless, if $U$ satisfies a cone condition, then $M_T^S:BV(U)\to L^1(U)$ boundedly, and the same happens with $M_T^{v}$, $M_T^{d} \circ ...\circ M_T^{1}$, and $M_R$.