SearcharxivSearch

arXiv subjects

H. Render

Publications and source records attributed to H. Render.

At least 19 recordsLinked to original sources

On the log-concavity of the composite Bessel function $x^{\alpha}J_{\nu }\left( \beta x^{\gamma}\right) $

For a twice differentiable function $f:\left( a,b\right) \rightarrow \mathbb{R}$ define $v\left( f\right) =f^{\prime}f^{\prime}-f^{\prime\prime }f.$ It is well known that the positivity of $v\left( f\right) $ implies that the function $\left\vert f\right\vert $ is strictly log-concave on each subinterval which does not contain zeros of $f.$ In this paper we provide criteria for the positivity of $v\left( F\right) $ for the composite Bessel function $F\left( x\right) =J_{\alpha,\beta,\gamma,\nu}\left( x\right) :=x^{\alpha}J_{\nu}\left( \beta x^{\gamma}\right) $ for positive numbers $\beta$ and $\gamma$ and real numbers $\alpha$ and $\nu.$

math.CA

Fast algorithms for interpolation with clamped $L$-splines of order four

Interpolation and smoothing using cubic and generalized splines are fundamental tools in data analysis and statistical modeling. Recently, fast computational algorithms were developed for natural $L$-splines of order four, which arise as piecewise solutions to the differential operator $L_{\xi}^2 = (\frac{d^2}{dt^2} - \xi^2)^2$. In this paper, we extend this mathematical framework to the important case of clamped (or complete) boundary conditions, where the first derivatives at the interval endpoints are prescribed. We explicitly construct the governing linear system for the interpolation problem and mathematically prove that the resulting tridiagonal matrix is strictly row diagonally dominant, thereby guaranteeing its invertibility and the numerical stability of the fast algorithm. The proposed method is implemented in MATLAB. Furthermore, the developed clamped $L$-splines provide a foundation for constructing multivariate clamped polysplines, which serve as a promising alternative to Physics-Informed Neural Networks (PINNs) for solving partial differential equations in Mathematical Physics.

math.NA

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{\pi ^{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.

math.AP

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.

math.AP

A Fischer type decomposition theorem from the apolar inner product

We continue the study initiated by H. S. Shapiro on Fischer decompositions of entire functions, showing that such decomposition exist in a weak sense (we do not prove uniqueness) under hypotheses regarding the order of the entire function $f$ to be expressed as $f= P\cdot q+r$, the polynomial $P$, and bounds on the apolar norm of homogeneous polynomials of degree $m$. These bounds, previously used by Khavinson and Shapiro, and by Ebenfelt and Shapiro, can be interpreted as a quantitative, asymptotic strengthening of Bombieri's inequality. In the special case where both the dimension of the space and the degree of $P$ are two, we characterize for which polynomials $P$ such bounds hold.

math.AP

Asympotic bounds for Bombieri's inequality on products of homogeneous polynomials

Let $P$ be a fixed homogeneous polynomial. We present a sharp condition on $P$ guaranteeing the existence of asymptotically larger bounds in Bombieri's inequality, so for every homogeneous polynomial $q_m$ of degree $m$ we have \begin{equation*} \left\Vert P q_{m}\right\Vert _{a}\geq C_{P} m^{l\left( P\right) /2}\left\Vert q_{m}\right\Vert _{a}, \end{equation*} where $\| \cdot \| _{a}$ denotes the apolar norm. Explicit estimates for $C_P > 0$ and $l(P) > 0$ are given.

math.AP

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 $\alpha \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) ^{\alpha }}\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 ,\beta <2k$ are homogeneous polynomials of degree $j$. The main result of the paper states that for any entire function $f$ of order $% \rho <\left( 2k-\beta \right) /\alpha $ there exist entire functions $q$ and $h$ of order bounded by $\rho$ such that \begin{equation*} f=\left( P_{2k}-P_{\beta }- \dots -P_{0}\right) q+h\text{ and }\Delta ^{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}$.

math.CV

Generalized Bernstein operators defined by increasing nodes

We study certain generalizations of the classical Bernstein operators, defined via increasing sequences of nodes. Such operators are required to fix two functions, $f_0$ and $f_1$, such that $f_0 > 0$ and $f_1/ f_0$ is increasing on an interval $[a,b]$. A characterization regarding when this can be done is presented. From it we obtain, under rather general circumstances, the following necessary condition for existence: if nodes are non-{\guillemotleft}decreasing, then $(f_1/f_0)^\prime >0 $ on $(a,b)$, while if nodes are strictly increasing, then $(f_1/f_0)^\prime >0 $ on $[a,b]$.

math.CA

Generalized Bernstein operators on the classical polynomial spaces

We study generalizations of the classical Bernstein operators on polynomial spaces, where instead of fixing $\mathbf{1}$ and $x$, we require that $\mathbf{1}$ and a strictly increasing polynomial $f_1$ be fixed. Via several examples, we exhibit the diversity of behaviours in this more general setting. We also prove that for sufficiently large dimensions, there always exist generalized Bernstein operators fixing $\mathbf{1}$ and $f_1$, and converging to the identity.

math.CA

A new cubature formula with weight functions on the disc, with error estimates

We introduce a new type of cubature formula for the evaluation of an integral over the disk with respect to a weight function. The method is based on an analysis of the Fourier series of the weight function and a reduction of the bivariate integral into an infinite sum of univariate integrals. Several experimental results show that the accuracy of the method is superior to standard cubature formula on the disk. Error estimates provide the theoretical basis for the good performance of the new algorithm.

math.NA

Regularity of generalized Daubechies wavelets reproducing exponential polynomials

We investigate non-stationary orthogonal wavelets based on a non-stationary interpolatory subdivision scheme reproducing a given set of exponentials. The construction is analogous to the construction of Daubechies wavelets using the subdivision scheme of Deslauriers-Dubuc. The main result is the smoothness of these Daubechies type wavelets.

math.NA

Holomorphic Continuation via Laplace-Fourier series

Let $B_{R}$ be the ball in the euclidean space $\mathbb{R}^{n}$ with center 0 and radius $R$ and let $f$ be a complex-valued, infinitely differentiable function on $B_{R}.$ We show that the Laplace-Fourier series of $f$ has a holomorphic extension which converges compactly in the Lie ball $\hat {B_{R}}$ in the complex space $\mathbb{C}^{n}$ when one assumes a natural estimate for the Laplace-Fourier coefficients.

math.FA

Optimality of generalized Bernstein operators

We show that a certain optimality property of the classical Bernstein operator also holds, when suitably reinterpreted, for generalized Bernstein operators on extended Chebyshev systems.

math.CA

On a new method for controlling exponential processes

Unlike the classical polynomial case there has not been invented up to very recently a tool similar to the Bernstein-Bezier representation which would allow us to control the behavior of the exponential polynomials. The exponential analog to the classical Bernstein polynomials has been introduced in a recent authors' paper which appeared in Constructive Approximations, and this analog retains all basic properties of the classical Bernstein polynomials. The main purpose of the present paper is to contribute in this direction, by proving some important properties of the "Bernstein exponential operator" which has been introduced. We also fix our attention upon some special type of exponential polynomials which are particularly important for the further development of theory of representation of Multivariate data.

math.NA

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.

math.CA