arXiv Science⌕ Search

arXiv subjects

Hermann Render

Publications and source records attributed to Hermann Render.

At least 19 recordsLinked to original sources
arXiv2025

On the critical length conjecture for spherical Bessel functions in CAGD

A conjecture of J.M. Carnicer, E. Mainar and J.M. Pe\~{n}a states that the critical length of the space $P_{n}\odot C_{1}$ generated by the functions $x^{k}\sin x$ and $x^{k}\cos x$ for $k=0,...n$ is equal to the first positive zero $j_{n+\frac{1}{2},1}$ of the Bessel function $J_{n+\frac{1}{2}}$ of the first kind. It is known that the conjecture implies the following statement (D3): the determinant of the Hankel matrix \begin{equation} \left( \begin{array} [c]{ccc} f & f^{\prime} & f^{\prime\prime}\\ f^{\prime} & f^{\prime\prime} & f^{\left( 3\right) }\\ f^{\prime\prime} & f^{\prime\prime\prime} & f^{\left( 4\right) } \end{array} \right) \label{eqabstract} \end{equation} does not have a zero in the interval $(0,j_{n+\frac{1}{2},1})$ whenever $f=f_{n}$ is given by $f_{n}\left( x\right) =\sqrt{\frac{\pi}{2}} x^{n+\frac{1}{2}}J_{n+\frac{1}{2}}\left( x\right) .$ In this paper we shall prove (D3) and various generalizations.

math.CA↗
arXiv2024

Inequalities for exponential polynomials with applications to moment sequences

Let $\Phi_{\Lambda_{n}}$ be the unique solution of the differential operator $L=\prod_{j=0}^{n}\left( \frac{d}{dx}-\lambda_{j}\right) $ such that $\Phi_{\Lambda_{n}}^{\left( j\right) }\left( 0\right) =0$ for $j=0,...,n-1,$ and $\Phi_{\Lambda_{n}}^{\left( n\right) }\left( 0\right) =1.$ Assume that $\Phi_{\Lambda_{n}}$ is real-valued and $\Phi_{\Lambda_{n} }^{\left( n+1\right) }\left( x\right) \geq0$ for all $x\in\left[ 0,B\right] .$ Then, if a polynomial $R\left( x\right) = {\displaystyle\sum_{k=0}^{n}} a_{k}x^{k}$ is non-negative on the interval $\left[ 0,B\right] ,$ the inequality \[ {\displaystyle\sum_{k=0}^{n}} a_{k}k!\Phi_{\Lambda_{n}}^{\left( n-k\right) }\left( x\right) \geq R\left( x\right) \] holds for $x\in\left[ 0,B\right] $. From this we derive several interesting inequalities for exponential polynomials. An important consequence is that for a non-negative measure $\mu$ over the interval $\left[ a,b\right] $ with $b-a<B$ the sequence defined by \[ s_{k}:=\int_{a}^{b}k!\Phi_{\Lambda_{n}}^{\left( n-k\right) }\left( x-a\right) d\mu\left( x\right) \] for $k=0,...,n$ is a moment sequence, i.e. there exists a non-negative measure $\nu$ with support in $\left[ a,b\right] $ such that $s_{k}=\int_{a} ^{b}\left( t-a\right) ^{k}d\nu\left( t\right) $ for $k=0,....,n.$

math.CA↗
arXiv2022

Error estimates for harmonic and biharmonic interpolation splines with annular geometry

The main result in this paper is an error estimate for interpolation biharmonic polysplines in an annulus $A\left( r_{1},r_{N}\right) $, with respect to a partition by concentric annular domains $A\left( r_{1} ,r_{2}\right) ,$ ...., $A\left( r_{N-1},r_{N}\right) ,$ for radii $0<r_{1}<....<r_{N}.$ The biharmonic polysplines interpolate a smooth function on the spheres $\left\vert x\right\vert =r_{j}$ for $j=1,...,N$ and satisfy natural boundary conditions for $\left\vert x\right\vert =r_{1}$ and $\left\vert x\right\vert =r_{N}.$ By analogy with a technique in one-dimensional spline theory established by C. de Boor, we base our proof on error estimates for harmonic interpolation splines with respect to the partition by the annuli $A\left( r_{j-1},r_{j}\right) $. For these estimates it is important to determine the smallest constant $c\left( \Omega\right) ,$ where $\Omega=A\left( r_{j-1},r_{j}\right) ,$ among all constants $c$ satisfying \[ \sup_{x\in\Omega}\left\vert f\left( x\right) \right\vert \leq c\sup _{x\in\Omega}\left\vert \Delta f\left( x\right) \right\vert \] for all $f\in C^{2}\left( \Omega\right) \cap C\left( \overline{\Omega }\right) $ vanishing on the boundary of the bounded domain $\Omega$ . In this paper we describe $c\left( \Omega\right) $ for an annulus $\Omega=A\left( r,R\right) $ and we will give the estimate \[ \min\{\frac{1}{2d},\frac{1}{8}\}\left( R-r\right) ^{2}\leq c\left( A\left( r,R\right) \right) \leq\max\{\frac{1}{2d},\frac{1}{8}\}\left( R-r\right) ^{2}% \] where $d$ is the dimension of the underlying space.

math.NA↗
arXiv2021

Fast algorithms for interpolation with L-splines for differential operators L of order 4 with constant coefficients

In the classical theory of cubic interpolation splines there exists an algorithm which works with only $O\left( n\right)$ arithmetic operations. Also, the smoothing cubic splines may be computed via the algorithm of Reinsch which reduces their computation to interpolation cubic splines and also performs with $O\left( n\right)$ arithmetic operations. In this paper it is shown that many features of the polynomial cubic spline setting carry over to the larger class of $L$-splines where $L$ is a linear differential operator of order $4$ with constant coefficients. Criteria are given such that the associated matrix $R$ is strictly diagonally dominant which implies the existence of a fast algorithm for interpolation.

math.NA↗
arXiv2020

Error bounds for interpolation with piecewise exponential splines of order two and four

Explicit pointwise error bounds for the interpolation of a smooth function by piecewise exponential splines of order four are given. Estimates known for cubic splines are extended to a natural class of piecewise exponential splines which are appearing in the construction of multivariate polysplines. The error estimates are derived in an inductive way using error estimates for the interpolation of a smooth function by exponential splines of order two.

math.NA↗
arXiv2017

Harmonic functions which vanish on coaxial cylinders

It was recently established that a function which is harmonic on an infinite cylinder and vanishes on the boundary necessarily extends to an entire harmonic function. This paper considers harmonic functions on an annular cylinder which vanish on both the inner and outer cylindrical boundary components. Such functions are shown to extend harmonically to the whole of space apart from the common axis of symmetry. One of the ingredients in the proof is a new estimate for the zeros of cross product Bessel functions.

math.CA↗
arXiv2016

The Dirichlet problem for the slab with entire data and a difference equation for harmonic functions

It is shown that the Dirichlet problem for the slab $(a,b) \times \mathbb{R}^{d}$ with entire boundary data has an entire solution. The proof is based on a generalized Schwarz reflection principle. Moreover, it is shown that for a given entire harmonic function $g$ the inhomogeneous difference equation $h\left( t+1,y\right) -h\left(t,y\right) =g\left(t,y\right)$ has an entire harmonic solution $h$.

math.AP↗
arXiv2015

The Khavinson-Shapiro conjecture for domains with a boundary consisting of algebraic hypersurfaces

The Khavinson-Shapiro conjecture states that ellipsoids are the only bounded domains in euclidean space satisfying the following property (KS): the solution of the Dirichlet problem for polynomial data is polynomial. In this paper we show that a domain does not have property (KS) provided the boundary contains at least three differrent irreducible algebraic hypersurfaces for which two of them have a common point.

math.AP↗
arXiv2015

A characterization of the Khavinson-Shapiro conjecture via Fischer operators

The Khavinson-Shapiro conjecture states that ellipsoids are the only bounded domains in euclidean space satisfying the following property (KS): the solution of the Dirichlet problem for polynomial data is polynomial. In this paper we show that property (KS) for a domain $\Omega $ is equivalent to the surjectivity of a Fischer operator associated to the domain $\Omega .$

math.AP↗
arXiv2015

A symmetry property for polyharmonic functions vanishing on equidistant hyperplanes

Let $u\left( t,y\right) $ be a polyharmonic function of order $N$ defined on the strip $\left( a,b\right) \times\mathbb{R}^{d}$ satisfying the growth condition $$ \sup_{t\in K}\left\vert u\left( t,y\right) \right\vert \leq o\left( \left\vert y\right\vert ^{\left( 1-d\right) /2}e^{\frac{\pi}{c}\left\vert y\right\vert }\right) $$ for $\left\vert y\right\vert \rightarrow\infty$ and any compact subinterval $K$ of $\left( a,b\right) $, and suppose that $u\left( t,y\right) $ vanishes on $2N-1$ equidistant hyperplanes of the form $\left\{ t_{j}\right\} \times\mathbb{R}^{d}$ for $t_{j}=t_{0}+jc\in\left( a,b\right) $ and $j=-\left( N-1\right) ,...,N-1.$ Then it is shown that $u\left( t,y\right) $ is odd at $t_{0},$ i.e. that $u\left( t_{0}+t,y\right) =-u\left( t_{0}-t,y\right) $ for $y\in\mathbb{R}^{d}$. The second main result states that $u$ is identically zero provided that $u$ satisfies the growth condition and vanishes on $2N$ equidistant hyperplanes with distance $c.$

math.AP↗
arXiv2012

Polyharmonic functions of infinite order on annular regions

Polyharmonic functions f of infinite order and type {\tau} on annular regions are systematically studied. The first main result states that the Fourier-Laplace coefficients f_{k,l}(r) of a polyharmonic function f of infinite order and type 0 can be extended to analytic functions on the complex plane cut along the negative semiaxis. The second main result gives a constructive procedure via Fourier-Laplace series for the analytic extension of a polyharmonic function on annular region A(r_{0},r_{1}) of infinite order and type less than 1/2r_{1} to the kernel of the harmonicity hull of the annular region. The methods of proof depend on an extensive investigation of Taylor series with respect to linear differential operators with constant coefficients.

math.AP↗
arXiv2012

Convergence of rational Bernstein operators

In this paper we discuss convergence properties and error estimates of rational Bernstein operators introduced by P. Pi\c{t}ul and P. Sablonni\`{e}re. It is shown that the rational Bernstein operators R_n converge to the identity operator if and only if \Delta_n, the maximal difference between two consecutive nodes of R_n, is converging to zero. Error estimates in terms of \Delta_n are provided. Moreover a Voronovskaja theorem is presented which is based on the explicit computation of higher order moments for the rational Bernstein operator.

math.NA↗
arXiv2012

Polyharmonic Hardy Spaces on the Complexified Annulus and Error Estimates of Cubature Formulas

The present paper has a twofold contribution: first, we introduce a new concept of Hardy spaces on a multidimensional complexified annular domain which is closely related to the annulus of the Klein-Dirac quadric important in Conformal Quantum Field Theory. Secondly, for functions in these Hardy spaces, we provide error estimate for the polyharmonic Gau\ss -Jacobi cubature formulas, which have been introduced in previous papers.

math.NA↗
arXiv2011

Polyharmonicity and algebraic support of measures

We introduce a multivariate Markov transform which generalizes the well-known one-dimensional Stieltjes transform from the Moment problem and Spectral theory. Our main result states that two measures {\mu} and {\nu} with bounded support contained in the zero set of a polynomial P(x) are equal if they coincide on the subspace of all polynomials of polyharmonic degree N_{P} where the natural number N_{P} is explictly computed by the properties of the polynomial P(x). The method of proof depends on a definition of a multivariate Markov transform which another major objective of the present paper. The classical notion of orthogonal polynomial of second kind is generalized to the multivariate setting: it is a polyharmonic function which has similar features as in the one-dimensional case.

math.CV↗
arXiv2011

Pad\'e approximation for a multivariate Markov transform

Methods of Pad\'e approximation are used to analyse a multivariate Markov transform which has been recently introduced by the authors, and which is generalizing the well-known in Spectral theory Stieltjes transform (Markov function) of one-dimensional measure. The first main result is a characterization of the rationality of the Markov transform via Hankel determinants. The second main result is a cubature formula for a special class of measures.

math.NA↗
arXiv2008

On a new multivariate sampling paradigm and a polyspline Shannon function

In the monograph Kounchev, O. I., Multivariate Polysplines. Applications to Numerical and Wavelet Analysis, Academic Press, San Diego-London, 2001, and in the paper Kounchev O., Render, H., Cardinal interpolation with polysplines on annuli, Journal of Approximation Theory 137 (2005) 89--107, we have introduced and studied a new paradigm for cardinal interpolation which is related to the theory of multivariate polysplines. In the present paper we show that this is related to a new sampling paradigm in the multivariate case, whereas we obtain a Shannon type function $S(x) $ and the following Shannon type formula: $f(r\theta) =\sum_{j=-\infty}^{\infty}\int_{\QTR{Bbb}{S}^{n-1}}S(e^{-j}r\theta ) f(e^{j}\theta) d\theta .$ This formula relies upon infinitely many Shannon type formulas for the exponential splines arising from the radial part of the polyharmonic operator $\Delta ^{p}$ for fixed $p\geq 1$. Acknowledgement. The first and the second author have been partially supported by the Institutes partnership project with the Alexander von Humboldt Foundation. The first has been partially sponsored by the Greek-Bulgarian bilateral project BGr-17, and the second author by Grant MTM2006-13000-C03-03 of the D.G.I. of Spain.

math.NA↗