Coupled intervals in the discrete calculus of variations: necessity and sufficiency

In this work we study nonnegativity and positivity of a discrete quadratic functional with separately varying endpoints. We introduce a notion of an interval coupled with 0, and hence, extend the notion of conjugate interval to 0 from the case of fixed to variable endpoint(s). We show that the nonnegativity of the discrete quadratic functional is equivalent to each of the following conditions: The nonexistence of intervals coupled with 0, the existence of a solution to Riccati matrix equation and its boundary conditions. Natural strengthening of each of these conditions yields a characterization of the positivity of the discrete quadratic functional. Since the quadratic functional under consideration could be a second variation of a discrete calculus of variations problem with varying endpoints, we apply our results to obtain necessary and sufficient optimality conditions for such problems. This paper generalizes our recent work in [R. Hilscher, V. Zeidan, Comput. Math. Appl., to appear], where the right endpoint is fixed.     

Structure of minimizers in linear-quadratic Bolza problems of optimal control

In this paper, we study intersections of extremals in a linear-quadratic Bolza problem of optimal control. The structure of the inter-sections is described. We show that this structure implies the semipositive definiteness of the quadratic cost functional. In addition, we derive necessary and sufficient conditions for the existence of minimizers.     

Exact solutions to a class of differential equation and some new mathematical properties for the universal associated-Legendre polynomials

The exact solutions to a class of differential equation are studied. Some special cases are discussed for the central potentials, single ring-shaped potential and the angular Teukolsky equation. A new expression to the associated Legendre polynomials is found. Some new properties of the universal associated-Legendre polynomials (UALPs) including the generating function, Rodrigues’ formula, parity, some special values and the recurrence relations are presented. A new different Rodrigues’ formula of associated Legendre polynomials is also obtained.     

一个关于勒让德多项式的积分公式及其简单应用——圆形带电环和电流环的静态电磁势

给出了一个关于勒让德多项式的积分公式及其证明,用该公式和叠加法方便快捷地导出了圆形带电环和电流环的静态电磁势.     

椭圆曲线y~2=x~3-21x+90的正整数点

利用初等方法证明了椭圆曲线y~2=x~3-21x+90无正整数点.     

Padé–Legendre approximants for uncertainty analysis with discontinuous response surfaces

A novel uncertainty propagation method for problems characterized by highly non-linear or discontinuous system responses is presented. The approach is based on a Padé–Legendre (PL) formalism which does not require modifications to existing computational tools (non-intrusive approach) and it is a global method. The paper presents a novel PL method for problems in multiple dimensions, which is non-trivial in the Padé literature. In addition, a filtering procedure is developed in order to minimize the errors introduced in the approximation close to the discontinuities. The numerical examples include fluid dynamic problems characterized by shock waves: a simple dual throat nozzle problem with uncertain initial state, and the turbulent transonic flow over a transonic airfoil where the flight conditions are assumed to be uncertain. Results are presented in terms of statistics of both shock position and strength and are compared to Monte Carlo simulations.     

Consecutive numbers with the same Legendre symbol

Let be an odd prime, and be a complete set of residues . The goal of the paper is to determine all the values of such that or , where is the Legendre symbol.

     

On the Right-Definite and Left-Definite Spectral Theory of the Legendre Polynomials

In this paper, we further develop the left-definite and right-definite spectral theory associated with the self-adjoint differential operator A in L²(-1,1), generated from the classical second-order Legendre differential equation, having the sequence of Legendre polynomials as eigenfunctions. Specifically, we determine the first three left-definite spaces associated with the pair (L²(-1,1),A). As a consequence of these results, we determine the explicit domain of both the associated left-definite operator A₁, first observed by Everitt, and the self-adjoint operator A^1/2. In addition, we give a new characterization of the domain D(A) of A and, as a corollary, we present a new proof of the Everitt-Mari result which gives optimal global smoothness of functions in D(A).     

Approximation Properties of the Operators ⋎n+2r(f) and of Their Discrete Analogs

This paper is devoted to the study of the approximation properties of linear operators which are partial Fourier--Legendre sums of order n with 2r terms of the form _k=1 ^2r a_kP_n+k(x) added; here P _m(x) denotes the Legendre polynomial. Due to this addition, the linear operators interpolate functions and their derivatives at the endpoints of the closed interval [-1,1], which, in fact, for r= = 1 allows us to significantly improve the approximation properties of partial Fourier--Legendre sums. It is proved that these operators realize order-best uniform algebraic approximation of the classes of functions and A _q (B). With the aim of the computational realization of these operators, we construct their discrete analogs by means of Chebyshev polynomials, orthogonal on a uniform grid, also possessing nice approximation properties.