On Taylor’s formula for functions of several variables

Elementary courses in mathematical analysis often mention some trick that is used to construct the remainder of Taylor’s formula in integral form. The trick is based on the fact that, differentiating the difference $f(x) - f(t) - f'(t)\frac{{(x - t)}} {{1!}} - \cdots - f^{(r - 1)} (t)\frac{{(x - t)^{r - 1} }} {{(r - 1)!}} $ between the function and its degree r ? 1 Taylor polynomial at t with respect to t, we obtain $ - f^{(r)} (t)\frac{{(x - t)^{r - 1} }} {{(r - 1)!}} $ , so that all derivatives of orders below r disappear. The author observed previously a similar effect for functions of several variables. Differentiating the difference between the function and its degree r ? 1 Taylor polynomial at t with respect to its components, we are left with terms involving only order r derivatives. We apply this fact here to estimate the remainder of Taylor’s formula for functions of several variables along a rectifiable curve.     

On Mendeleev’s quadrature formula

It is well known that D.I. Mendeleev was also an outstanding numerical mathematician, but few people know that he devised and frequently applied a quadrature formula, which can be named after him.     

On a class of Hill’s equations having explicit solutions

We present a class of Hill’s equations possessing explicit solutions through elementary functions. In addition we provide some applications by using some of the paradigmatic systems of classical dynamics, such as the pendulum with variable length.     

On algebraic relations for Ramanujan’s functions

Let P,Q, and R denote the Ramanujan Eisenstein series. We compute algebraic relations in terms of P(q ⁱ ) (i=1,2,3,4), Q(q ⁱ ) (i=1,2,3), and R(q ⁱ ) (i=1,2,3). For complex algebraic numbers q with 0<|q|<1 we prove the algebraic independence over ? of any three-element subset of {P(q),P(q ²),P(q ³),P(q ⁴)} and of any two-element subset of {Q(q),Q(q ²),Q(q ³)} and {R(q),R(q ²),R(q ³)}, respectively. For all the results we use some expressions of $P(q^{i_{1}}), Q(q^{i_{2}}) $ , and $R(q^{i_{3}}) $ in terms of theta constants. Computer-assisted computations of functional determinants and resultants are essential parts of our proofs.     

The error bounds of Gauss-Kronrod quadrature formulae for weight functions of Bernstein-Szegő type

We consider the Gauss-Kronrod quadrature formulae for the Bernstein-Szeg? weight functions consisting of any one of the four Chebyshev weights divided by the polynomial \(\rho (t)=1-\frac {4\gamma }{(1+\gamma )^{2}}\,t^{2},\quad t\in (-1,1),\ -1<\gamma \le 0\). For analytic functions, the remainder term of this quadrature formula can be represented as a contour integral with a complex kernel. We study the kernel, on elliptic contours with foci at the points ? 1 and sum of semi-axes ρ > 1, for the given quadrature formula. Starting from the explicit expression of the kernel, we determine the locations on the ellipses where maximum modulus of the kernel is attained. So we derive effective error bounds for this quadrature formula. An alternative approach, which has initiated this research, has been proposed by S. Notaris (Numer. Math. 103, 99–127, 2006).     

The error norm of Gauss-Kronrod quadrature formulae for weight functions of Bernstein-Szegö type

We consider the Gauss-Kronrod quadrature formulae for the Bernstein-Szegö weight functions consisting of any one of the four Chebyshev weights divided by the polynomial On certain spaces of analytic functions, the error term of these formulae is a continuous linear functional. We compute explicitly the norm of the error functional.     

On Brouwer’s continuity principle

We reconsider Ishihara (1991, 1992) within a weak formalised framework of constructive reverse mathematics, focusing on Brouwer’s continuity principle for a mapping from the Baire space into the natural numbers.     

On the continuity of the minima for a family of constrained optimization problems ∗

We consider a family of problems Py dealing with the minimization of a given function on a constraint set, both depending on a parameter y. We study continuity properties, with respect to a parameter, of the value and of the solution set of the problems. Working with convex functions and convex constraint sets, we show how the well-posedness of the problem allows to avoid compactness hypotheses usually requested to get the same stability results.     

A new bound for an extension of Mason’s theorem for functions of several variables

In this paper, using the generalized Wronskian, we obtain a new sharp bound for the generalized Masons theorem [1] for functions of several variables. We also show that the Diophantine equation (The generalized Fermat-Catalan equation) where , such that k out of the n-polynomials are constant, and under certain conditions for has no non-constant solution. Received: 20 March 2003     

On the sharpness of Bruen’s bound for intersection sets in Desarguesian affine spaces

In this note we investigate the sharpness of Bruen’s bound on the size of a t-fold blocking set in \(AG(n,q)\) with respect to the hyperplanes. We give a construction for t-fold blocking sets meeting Bruen’s bound with \(t=q-n+2\) . This construction is used further to find the minimal size of a t-fold affine blocking set with \(t=q-n+1\) . We prove that for blocking sets in the geometries \(AG(n,2)\) the difference between the size of an optimal t-fold blocking set and tn exceeds any given number. In particular, we deviate infinitely from Bruen’s bound as n goes to infinity. We conclude with a construction that gives t-fold blocking sets with \(t=q-n+3\) whose size is close to the lower bounds known so far.     

A lower bound for the error term in Weyl’s law for certain Heisenberg manifolds

This article provides an Omega-result for the remainder term in Weyl’s law for the spectral counting function of certain rational (2ℓ + 1)-dimensional Heisenberg manifolds. Received: 22 September 2008     

On Plateau’s problem for soap films with a bound on energy

We prove existence and almost everywhere regularity of an area minimizing soap film with a bound on energy spanning a given Jordan curve in Euclidean space R ³.The energy of a film is defined to be the sum of its surface area and the length of its singular branched set. The class of surfaces over which area is minimized includes images of disks, integral currents, nonorientable surfaces and soap films as observed by Plateau with a bound on energy. Our area minimizing solution is shown to be a smooth surface away from its branched set which is a union of Lipschitz Jordan curves of finite total length.     

On Lipschitz continuity of solutions of hyperbolic Poisson’s equation

In this paper, we investigate solutions of the hyperbolic Poisson equation \(\Delta _{h}u(x)=\psi (x)\), where \(\psi \in L^{\infty }(\mathbb {B}^{n}, {\mathbb R}^n)\) and

$$\begin{aligned} \Delta _{h}u(x)= (1-|x|^2)^2\Delta u(x)+2(n-2)\left( 1-|x|^2\right) \sum _{i=1}^{n} x_{i} \frac{\partial u}{\partial x_{i}}(x) \end{aligned}$$

is the hyperbolic Laplace operator in the n-dimensional space \(\mathbb {R}^n\) for \(n\ge 2\). We show that if \(n\ge 3\) and \(u\in C^{2}(\mathbb {B}^{n},{\mathbb R}^n) \cap C(\overline{\mathbb {B}^{n}},{\mathbb R}^n )\) is a solution to the hyperbolic Poisson equation, then it has the representation \(u=P_{h}[\phi ]-G_{ h}[\psi ]\) provided that \(u\mid _{\mathbb {S}^{n-1}}=\phi \) and \(\int _{\mathbb {B}^{n}}(1-|x|^{2})^{n-1} |\psi (x)|\,d\tau (x)<\infty \). Here \(P_{h}\) and \(G_{h}\) denote Poisson and Green integrals with respect to \(\Delta _{h}\), respectively. Furthermore, we prove that functions of the form \(u=P_{h}[\phi ]-G_{h}[\psi ]\) are Lipschitz continuous.

     

Estimates of the error in Gauss–Legendre quadrature for double integrals

Error estimates are a very important aspect of numerical integration. It is desirable to know what level of truncation error might be expected for a given number of integration points. Here, we determine estimates for the truncation error when Gauss–Legendre quadrature is applied to the numerical evaluation of two dimensional integrals which arise in the boundary element method. Two examples are considered; one where the integrand contains poles, when its definition is extended into the complex plane, and another which contains branch points. In both cases we obtain error estimates which agree with the actual error to at least one significant digit.     

A lower bound for the error term in Weyl’s law for certain Heisenberg manifolds, II

This article is concerned with estimations from below for the remainder term in Weyl’s law for the spectral counting function of certain rational (2ℓ + 1)-dimensional Heisenberg manifolds. Concentrating on the case of odd ℓ, it continues the work done in part I [21] which dealt with even ℓ.      

On Wiener’s Theorem for functions periodic at infinity

We consider the functions periodic at infinity with values in a complex Banach space. The notions are introduced of the canonical and generalized Fourier series of a function periodic at infinity. We prove an analog of Wiener’s Theorem on absolutely convergent Fourier series for functions periodic at infinity whose Fourier series are summable with weight. The two criteria are given: for the function periodic at infinity to be the sum of a purely periodic function and a function vanishing at infinity and for a function to be periodic at infinity. The results of the article base on substantially use on spectral theory of isometric representations.