Source author record

J. M. Aldaz

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

27works
7topics
4close collaborators

Published work

27 publications

preprint2026arXiv

Fischer decompositions for entire functions of sufficiently low order

The existence of decompositions of the form f=P⋅q+rf=P\cdot q+r with Pk∗(D)r=0P_k^{\ast}\left( D\right) r=0, where ff is entire, PP a polynomial and Pk∗P^{\ast}_k the principal part of PP with its coefficients conjugated, was achieved in \cite{AlRe23} under certain restrictions on the order of ff. 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 fm f_{m} of degree mm, in dd variables, and each j=1,…,dj = 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 P2kP_{2k} be a homogeneous polynomial of degree 2k2k and assume that there exist C>0C>0, D>0D>0 and α≥0α\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 fmf_{m} of degree m.m. Assume that PjP_{j} for j=0,…,β<2kj=0, \dots ,β<2k are homogeneous polynomials of degree jj. The main result of the paper states that for any entire function ff of order % ρ<\left( 2k-β\right) /α there exist entire functions qq and hh 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 12\frac{1}{2}.

preprint2020arXiv

Kissing numbers and the centered maximal operator

We prove that in a metric measure space XX, if for some p∈(1,∞)p \in (1,\infty) there are uniform bounds (independent of the measure) for the weak type (p,p)(p,p) of the centered maximal operator, then XX satisfies a certain geometric condition, the Besicovitch intersection property, which in turn implies the uniform weak type (1,1)(1,1) of the centered operator. Thus, the following characterization is obtained: the centered maximal operator satisfies uniform weak type (1,1)(1,1) bounds if and only if the space XX has the Besicovitch intersection property. In Rd\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 L1L^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 R\mathbb{R} are Lip⁡α(Mf)≤(1+α)−1Lip⁡α(f)\operatorname{Lip}_α( Mf) \le (1 + α)^{-1}\operatorname{Lip}_α( f), α∈(0,1]α\in (0,1]. On R\mathbb{R}, the best bound for Lipschitz functions is Lip⁡(Mf)≤(2−1)Lip⁡(f). \operatorname{Lip} ( Mf) \le (\sqrt2 -1)\operatorname{Lip}( f). In higher dimensions, we determine the asymptotic behavior, as d→∞d\to\infty, of the norm of the maximal operator associated to cross-polytopes, euclidean balls and cubes, that is, ℓp\ell_p balls for p=1,2,∞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−α/q2^{-α/q}, where qq is the conjugate exponent of p=1,2p=1,2, and as d→∞d\to\infty the norms approach this bound. When p=∞p=\infty, best constants are the same as when p=1p = 1.

preprint2010arXiv

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

Let MdM_d be the centered Hardy-Littlewood maximal function associated to cubes in Rd\mathbb{R}^d with Lebesgue measure, and let cdc_d denote the lowest constant appearing in the weak type (1,1) inequality satisfied by MdM_d. We show that cd→∞c_d \to \infty as d→∞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 BnB_{n} fixing a strictly positive function f0f_{0}, and a second function f1f_{1} such that f1/f0f_{1}/f_{0} is strictly increasing, within the framework of extended Chebyshev spaces UnU_{n}. The first main result gives an inductive criterion for existence: suppose there exists a Bernstein operator Bn:C[a,b]→UnB_{n}:C[a,b]\to U_{n} with strictly increasing nodes, fixing f0,f1∈Unf_{0}, f_{1}\in U_{n}. If Un⊂Un+1U_{n}\subset U_{n + 1} and Un+1U_{n + 1} has a non-negative Bernstein basis, then there exists a Bernstein operator Bn+1:C[a,b]→Un+1B_{n+1}:C[a,b]\to U_{n+1} with strictly increasing nodes, fixing f0f_{0} and f1.f_{1}. In particular, if % f_{0},f_{1},...,f_{n} is a basis of UnU_{n} such that the linear span of % f_{0},..,f_{k} is an extended Chebyshev space over [a,b][ a,b] for each k=0,...,nk=0,...,n, then there exists a Bernstein operator BnB_{n} with increasing nodes fixing f0f_{0} and f1.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 (f0,f1)(f_{0},f_{1})-convex functions f∈C[a,b].f\in C[ a,b] . Furthermore, BnfB_{n}f is (f0,f1)(f_{0},f_{1})-convex for all (f0,f1)(f_{0},f_{1})% -convex functions f∈C[a,b].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 LL be a linear differential operator with constant coefficients of order nn and complex eigenvalues λ0,...,λnλ_{0},...,λ_{n}. Assume that the set UnU_{n} of all solutions of the equation Lf=0Lf=0 is closed under complex conjugation. If the length of the interval [a,b][ a,b] is smaller than π/Mnπ/M_{n}, where $M_{n}:=\max \left\{| \text{Im}% λ_{j}| :j=0,...,n\right\} $, then there exists a basis pn,kp_{n,k}%, k=0,...nk=0,...n, of the space UnU_{n} with the property that each pn,kp_{n,k} has a zero of order kk at aa and a zero of order n−kn-k at b,b, and each % p_{n,k} is positive on the open interval (a,b).(a,b) . Under the additional assumption that λ0λ_{0} and λ1λ_{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α_{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 Bneλjx=eλjxB_{n}e^{λ_{j}x}=e^{λ_{j}x}, for j=0,1.j=0,1. The second main result gives a sufficient condition guaranteeing the uniform convergence of BnfB_{n}f to ff for each f∈C[a,b]f\in C[ a,b] .

preprint2008arXiv

Bernstein Operators for Extended Chebyshev Systems

Let Un⊂Cn[a,b]U_{n}\subset C^{n}[ a,b] be an extended Chebyshev space of dimension n+1n+1. Suppose that f0∈Unf_{0}\in U_{n} is strictly positive and % f_{1}\in U_{n} has the property that f1/f0f_{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α_{0},...,α_{n} such that for all f∈C[a,b]f\in C[ a,b], the operator Bn:C[a,b]→UnB_{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 Bnf1=f1.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 kk at aa and a zero of order n−kn-k at b.b.

preprint2006arXiv

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

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

preprint2006arXiv

Functions of bounded variation, the derivative of the one dimensional maximal function, and applications to inequalities

We prove that if f:I⊂R→Rf:I\subset \Bbb R\to \Bbb R is of bounded variation, then the noncentered maximal function MfMf is absolutely continuous, and its derivative satisfies the sharp inequality ∥DMf∥1≤∣Df∣(I)\|DMf\|_1\le |Df|(I). This allows us obtain, under less regularity, versions of classical inequalities involving derivatives.

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.