On the Convergence of Jacobi Series at the Poles

Similar documents
The American Mathematical Monthly, Vol. 103, No. 4. (Apr., 1996), pp

Vector Spaces. Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms.

Hilbert Spaces. Contents

Hilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space.

Vectors in Function Spaces

MA651 Topology. Lecture 9. Compactness 2.

Introduction to Bases in Banach Spaces

Outline of Fourier Series: Math 201B

i. v = 0 if and only if v 0. iii. v + w v + w. (This is the Triangle Inequality.)

An Extension in the Domain of an n-norm Defined on the Space of p-summable Sequences

Data representation and classification

A DECOMPOSITION THEOREM FOR FRAMES AND THE FEICHTINGER CONJECTURE

a j x j. j=0 The number R (possibly infinite) which Theorem 1 guarantees is called the radius of convergence of the power series.

A Generalized Finite Hankel Type Transformation and a Parseval Type Equation

A Primer on the Functional Equation

The Way of Analysis. Robert S. Strichartz. Jones and Bartlett Publishers. Mathematics Department Cornell University Ithaca, New York

THIRD SEMESTER M. Sc. DEGREE (MATHEMATICS) EXAMINATION (CUSS PG 2010) MODEL QUESTION PAPER MT3C11: COMPLEX ANALYSIS

1 Mathematical Preliminaries

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

Continuous functions that are nowhere differentiable

Frame expansions in separable Banach spaces

The least prime congruent to one modulo n

A VERY BRIEF REVIEW OF MEASURE THEORY

On Riesz-Fischer sequences and lower frame bounds

ADJOINTS, ABSOLUTE VALUES AND POLAR DECOMPOSITIONS

Sufficient conditions for functions to form Riesz bases in L 2 and applications to nonlinear boundary-value problems

RANKIN-COHEN BRACKETS AND VAN DER POL-TYPE IDENTITIES FOR THE RAMANUJAN S TAU FUNCTION

POLYNOMIAL SOLUTIONS OF PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS

MATH 426, TOPOLOGY. p 1.

Decomposition of Riesz frames and wavelets into a finite union of linearly independent sets

SOME FIXED POINT THEOREMS IN HILBERT SPACE 1 Sukh Raj Singh, 2 Dr. R.D. Daheriya 1 Research Scholar, 2 Professor 1,2

Calculus of One Real Variable Prof. Joydeep Dutta Department of Economic Sciences Indian Institute of Technology, Kanpur

Peak Point Theorems for Uniform Algebras on Smooth Manifolds

Math 209B Homework 2

A lower estimate for the Lebesgue constants of linear means of Laguerre expansions

Math 61CM - Solutions to homework 6

Quantum Mechanics-I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras. Lecture - 21 Square-Integrable Functions

Development and Applications of Wavelets in Signal Processing

INVARIANT SUBSPACES FOR CERTAIN FINITE-RANK PERTURBATIONS OF DIAGONAL OPERATORS. Quanlei Fang and Jingbo Xia

A note on the monotone functional interpretation

Curriculum Vitae. August 25, 2016

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3

Research Article New Partition Theoretic Interpretations of Rogers-Ramanujan Identities

1 Math 241A-B Homework Problem List for F2015 and W2016

Application of Fixed point Theorem in Game Theory

THE KADISON-SINGER PROBLEM AND THE UNCERTAINTY PRINCIPLE

We have to prove now that (3.38) defines an orthonormal wavelet. It belongs to W 0 by Lemma and (3.55) with j = 1. We can write any f W 1 as

Page 52. Lecture 3: Inner Product Spaces Dual Spaces, Dirac Notation, and Adjoints Date Revised: 2008/10/03 Date Given: 2008/10/03

On integral representations of q-gamma and q beta functions

Some Background Material

Introduction to Empirical Processes and Semiparametric Inference Lecture 22: Preliminaries for Semiparametric Inference

Notes on nets and convergence in topology

Local Fractional Integral Transforms

Functional Analysis F3/F4/NVP (2005) Homework assignment 2

1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0

Notation. General. Notation Description See. Sets, Functions, and Spaces. a b & a b The minimum and the maximum of a and b

Example 1. Hamilton-Jacobi equation. In particular, the eikonal equation. for some n( x) > 0 in Ω. Here 1 / 2

We denote the space of distributions on Ω by D ( Ω) 2.

NOTES ON FRAMES. Damir Bakić University of Zagreb. June 6, 2017

Math 108b: Notes on the Spectral Theorem

Certain Dual Series Equations Involving Generalized Laguerre Polynomials

Problems: Section 13-1, 3, 4, 5, 6; Section 16-1, 5, 8, 9;

ON BASICITY OF A SYSTEM OF EXPONENTS WITH DEGENERATING COEFFICIENTS

FUNCTIONAL ANALYSIS-NORMED SPACE

Auerbach bases and minimal volume sufficient enlargements

Math 240 (Driver) Qual Exam (5/22/2017)

1 Orthonormal sets in Hilbert space

(τ) = q (1 q n ) 24. E 4 (τ) = q q q 3 + = (1 q) 240 (1 q 2 ) (1 q 3 ) (1.1)

6 Lecture 6b: the Euler Maclaurin formula

GENERAL ARTICLE. Convolutions. Rajendra Bhatia

General Instructions

SOME PÓLYA-TYPE IRREDUCIBILITY CRITERIA FOR MULTIVARIATE POLYNOMIALS NICOLAE CIPRIAN BONCIOCAT, YANN BUGEAUD, MIHAI CIPU, AND MAURICE MIGNOTTE

GENERALIZATIONS OF SOME ZERO-SUM THEOREMS. Sukumar Das Adhikari Harish-Chandra Research Institute, Chhatnag Road, Jhusi, Allahabad , INDIA

arxiv: v1 [math.ds] 22 Jan 2019

} be a sequence of positive real numbers such that

THE PERRON PROBLEM FOR C-SEMIGROUPS

TRANSLATION INVARIANCE OF FOCK SPACES

CARLESON MEASURES AND DOUGLAS QUESTION ON THE BERGMAN SPACE. Department of Mathematics, University of Toledo, Toledo, OH ANTHONY VASATURO

SOME FUNDAMENTAL THEOREMS IN BANACH SPACES AND HILBERT SPACES

Kernel Method: Data Analysis with Positive Definite Kernels

5 Compact linear operators

Oleg Eterevsky St. Petersburg State University, Bibliotechnaya Sq. 2, St. Petersburg, , Russia

INSTITUTE of MATHEMATICS. ACADEMY of SCIENCES of the CZECH REPUBLIC. A universal operator on the Gurariĭ space

DIEUDONNE AGBOR AND JAN BOMAN

Solutions to Laplace s Equations- II

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

Real and Complex Analysis, 3rd Edition, W.Rudin Elementary Hilbert Space Theory

Elements of Positive Definite Kernel and Reproducing Kernel Hilbert Space

Chapter 17: Fourier Series

Semi-strongly asymptotically non-expansive mappings and their applications on xed point theory

Functional Analysis HW #5

Polarization constant K(n, X) = 1 for entire functions of exponential type

ON PREPONDERANT DIFFERENTIABILITY OF TYPICAL CONTINUOUS FUNCTIONS

We are now going to go back to the concept of sequences, and look at some properties of sequences in R

The Skorokhod reflection problem for functions with discontinuities (contractive case)

Frame Wavelet Sets in R d

Topics in Fourier analysis - Lecture 2.

Strongly unique best simulations approximation in linear 2-normed spaces

On Riemann Boundary Value Problem in Hardy Classes with Variable Summability Exponent

Invariant subspaces for operators whose spectra are Carathéodory regions

Transcription:

On the Convergence of Jacobi Series at the Poles *1 Sarjoo Prasad Yadav, 2 Rakesh Kumar Yadav, 3 Dinesh Kumar Yadav 1 Dept of Maths, Govt. Science College, Rewa, M. P. India; 2 RBY PG College, Gulalpur, Purvanchal University, Jaunpur, U.P. India; 3 Govt. Polytechnic, Hardoi, U.P. India *1 ydsrpa@yahoo.co.in, 3 yadavdinesh25@gmail.com Abstract The most urgent need in inmation Technology is data compilation different purposes in varying ways. Convergence of Jacobi series is used replacement of discontinuous signals by its approximated absolutely continuous signals data manipulation in computers. Here in this paper a Banach space X of signals which are p-power Lebesgue integrable with weight on [-1,1] is considered. Some of subspaces of X have been recognized by the convergence behavior of Fourier-Jacobi expansions associated with the signals. These results are applied to signal processing with wavelets related to useful concept in Science Engineering disciplines. (1.1) is nth Fourier-Jacobi Transm of such that (1.2) (1.3) is orthonormalized Jacobi polynomial, 1,2,.) (1.4) Keywords Fourior-Jacobi Expansion; Signal Processing; Data Repairs; Wavelets (1.5) Introduction (1.6) Convergency of an infinite series has always been a challenge to mathematicians. Convergence of Jacobi series not only leads to unim convergence or an approximation over the interval [-1, 1] but explains transm of a signal into absolutely continuous signal. On on this has potential applications such as contaminated noise removal, corrupted data repairs many more in inmation technology in the Science Engineering branches. Let X denote either the space C[-1,1] of all continuous signals or the space of p-power Lebesgue integrable signals with weight on [-1,1]. Sup p-norms are defined as usual. A series called Fourier-Jacobi expansion is associated (see Szegö [3], Chapter IX) with every as is the nth Jacobi polynomial of order degree (see Szegö [3] ). is the Kronecker delta. To avoid confusions have easy access to verifications of mulae, the notations of Szego are employed [3]. As consequence, we write (1.7) (1.8) Hence the study of Jacobi series will make no 19

Frontiers in Environmental Engineering (FIEE) Volume 2 Issue 2, June 2013 confusion when one uses orthonormalized Jacobi polynomials in place of, divided by. Convergency of Jacobi Series at End Points It is obvious that every signal of the space X can be associated to a unique Jacobi series given by (1.1) if the integrals in (1.7) exist every Unique is in the sense that two signals are treated the same if they are equal almost every in the interval of their definitions. It is natural to examine the circumstances in which this series (1.1) of Jacobi polynomials converges to the strength of the signal of which it is an outcome. The first result in this direction, known to us is that of Raü [2] continuity of the signal in the whole interval [-1, 1] is required is must. Improving the results of (Szegö [3] Chapter IX theorem 9.1.4), Yadav, S. P. [4] has recognized the subspaces, weaker than the continuity of extra at the other end exclude from the case is required at the pole something. Even then these spaces recognized in Yadav [4]. Moreover, Szegö ([3](9.41.17) page 262 see the case k = 0) shows that continuous functions/signals on [-1,1] exist in X so that its associated Jacobi series diverges on. It is natural to find the circumstances in which the case is covered. It is shown that the Jacobi series associated to signals which satisfy an integrability pole condition (2.1), converges to A at. We assume as t +0, A is a constant depending on (2.1) only. This is a condition on at. The condition (2.1) is independent of the continuity of in [-1, 1] or at but stronger than that assumed in Yadav [4]. The condition in Yadav [4] at is (2.2) = (2.3) by (2.1) as t +0. However, its converse is obviously not always possible. On the other h continuity implies (2.2) but not (2.1). As indicates that the integral in (2.1) diverges while (2.2) holds. Moreover, the condition (2.1) is not trivial as functions of class satisfy it. Let A = then (2.4) as +0, are absolute constants, but not the same every in this article until unless stated otherwise. This shows that the class Lip satisfies (2.1). Lipschitz condition on is necessary only in the arbitrarily small neighborhood of Moreover, signals are expected to satisfy the condition (2.1). The conditions on are called antipole conditions e assumed as follows just the same as in Yadav [4]. (2.5) as +0, In certain cases a condition lighter than (2.5) is assumed as (2.6) as +0,. Following end point convergency results of Jacobi series are mile stones in the literature of Jacobi series as some results can be found on representing the signals in terms of Jacobi polynomials wavelets. The pattern of notations is adopted in continuation of Yadav [4] the followings are proved: Theorem 1 Let satisfy the pole condition (2.1). Then the Jacobi series (1.1) associated to converges to A at the point. as t +0, A is a constant depending on For all, (2.1) is implied (2.2) as only. Theorem 2 Let satisfy the pole condition (2.1) 20

but. Then the Jacobi series (1.1) associated to converges to A at the point. To overcome the restriction of lighter antipole condition (2.6) so that, we have. Theorem 3 Let, we need a satisfy the pole condition (2.1) along with the antipole condition (2.6) associated to but. Then the Jacobi series (1.1) converges to A at the point. Improving the heaviness of the antipole condition leads to the removal of the restriction from to get the following: Theorem 4 Let satisfy the pole condition (2.1) along with the antipole condition (2.5). Then the Jacobi series (1.1) associated to converges to A at the point. All these spaces are normalized Banach subspaces as shown in Yadav [4]. Our theorems 1, 2, 3 4 hold good at the other end point, only change of is apparent the antipole condition should hold at. Lemmas Known Results to be Used Following order estimates of the Jacobi polynomials are taken from Szegö [3] to prove our theorems. Lemma 3.1 (Szegö [3] theorem (7.32.2). Let arbitrary real c a fixed positive constant,. Then be Lemma 3.3. (Szegö [3] page 71 (4.5.3)) For arbitrary we have Lemma 3.4 (Askey Wainger [1] page 470 ) For arbitrary we have any λ > 0 absolute contants. Lemma 3.5 Let a signal (3.3) (3.4) satisfy as in the respective spaces with the required antipole condition. Then the following estimate. holds as, Proof: We break the integral in (3.5) as (3.5) (3.6) Moreover, (3.1) c, are arbitrarily small but fixed positive reals. The second order of Jacobi polynomial given arbitrary in (3.1) is use to get. (see Szegö [3] page 59 68 respectively). Lemma 3.2 (Szegö [3] theorems (8.21.8) (8.21.13). Let be arbitrary real numbers,. Then by the pole condition (2.1) by the first equation of (3.1), we have (3.7). Again (3.2) 21

Frontiers in Environmental Engineering (FIEE) Volume 2 Issue 2, June 2013 But, let us write examine the meaning of the condition (2.1) which tells that Theree, by the antipole condition (2.6) when chosen arbirarily small positive real. Moreover, (3.12) arbitrary. (3.8) Now, to calculate we use the first order given in (3.2) which holds unimally in but fixed then apply the Riemann-Lebesgue lemma i.e. (3.13) by condition (2.6) as. Similarly, in Theorem 4 we have condition (2.5) so that (3.14) as. Writing (3.9) To counter the orders of we run through the situations given in Theorems 1, 2, 3 4. According to Theorem 1, we have only. Thus using the estimate of from (3.1), we get so that by the meaning of the condition (2.5). Hence Choosing arbitraily small, (3.10). (3.15) as in (3.11) of (3.10) by using the orders of Jacobi polynomials valid in. In the situation of Theorem 2, we have exactly the same calculations, only keeping in mind that in case we have to suppose. In Theorems 3 4 we use the antipole conditions (2.6) (2.5) respectively. Thus Theorem 3, by the condition (2.5), noting that so that. This completes the proof of the Lemma 3.5. Proof of the Theorems 1, 2, 3 4. Let denote the nth partial sum of the Jacobi series at then, 22

Thus any absolute constant A, by the orthogonality of Jacobi polynomials, we have by Lemmas 3.3 3.4. So. (4.1) (4.2) by Lemma 3.5. This completes the proof Theorems 1, 2, 3 4. Conclusion In conclusion, it can be seen that signals having countable number of discontinuities of first kind are associated with a Jacobi series which is convergent at the end points called Poles. This indicates that a discontinuous signal can be approximated by unimly convergent Jacobi series waveletsso that a contaminated voice signal or corrupted data can be repaired with due techniques many more other applications. REFERENCES Askey, R. Wainger, S. A Convolution Structure Jacobi Series, Amer. J. Math XCI (1969) 463-485. MR 41# 8728. Raü H. Uber die Lebesgueschen constantan der Reihenentwicklungen nach Jacobischen Polynomen, Journal für die reine und angewte Mathematik 161 (1929) 237-254. Szegö, G. Orthogonal Polynomials. AMS Collo. Publication 3rd ed. XXIII (1967). New York. MR 46# 9631. Yadav, Sarjoo Prasad. On the Characterization of Function Spaces in Terms of Sequential Properties, J. Indian Math Soc. 69 (2002) 23-32 MR 2004m # 46059. Corresponding address: Plot no. 74, Sarai Taki, Chhatnag Road, Jhunsi, Allahabad. U.P. India. E-mail: ydsrpa@yahoo.co.in Dr Sarjoo Prasad Yadav, Ph.D is exfaculty of Mathematics in Science College at APS University, Rewa (M.P) INDIA. He is working as senior Scientist. He has written 51 research papers a graduate course book on Analysis, in addition to that, he has supervised five Ph.D s. He is life member of many Indian Learned Societies including American Math. Soc. reviewer of Mathematical Reviews since 1979. Corresponding author, his mailing address: Jay Ganga Maiya Bhawan. Polt No. 74, Sarai Taki. Chhatnag Road.JHUNSI. ALLAHABAD, (U. P.) India. E-mail: ydsrpa@ yahoo.co.in Rakesh Kumar Yadav, M. Sc. is a research scholar of APS University Rewa (M.P) INDIA. He is presently at the Faculty of RBY P-G College, Gulalpur, Jaunpur, U.P. India. Dinesh Kumar Yadav, M.Tech. is lecturer in Govt. Polytechnic,Hardoi (U.P). Formerly he was on the faculty of JSS Academy of Technical Edn. Noida (U.P) India. Email: yadavdinesh25@ gmail.com 23