• Aucun résultat trouvé

Three remarks on the use of Čebyšev polynomials for solving equations of the second kind

N/A
N/A
Protected

Academic year: 2022

Partager "Three remarks on the use of Čebyšev polynomials for solving equations of the second kind"

Copied!
9
0
0

Texte intégral

(1)

RAIRO. A NALYSE NUMÉRIQUE

E BERHARD S CHOCK

Three remarks on the use of ˇ Cebyšev polynomials for solving equations of the second kind

RAIRO. Analyse numérique, tome 15, no3 (1981), p. 257-264

<http://www.numdam.org/item?id=M2AN_1981__15_3_257_0>

© AFCET, 1981, tous droits réservés.

L’accès aux archives de la revue « RAIRO. Analyse numérique » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/

conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fi- chier doit contenir la présente mention de copyright.

Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques

http://www.numdam.org/

(2)

(vol 15, n° 3, 1981, p 257 a 264)

THREE REMARKS ON THE USE OF CEBYSEV POLYNOMIALS FOR SOLVING EQUATIONS OF THE SECOND KIND (*)

by Eberhard SCHOCK 0)

Commumcated by R S VARGA

Abstract — Three methods are considered the Cebysev-Euler method, the Cebysev semi-üeiative method and a lefinement of the projection methodfor the approximation of the quasi inverse for self- adjoint operators A such that umty does not belong to the spectrum of A

Resumé —- On considère tr ois méthodes la méthode de Cebysev-Euler, la méthode semi-itérative de Cebysev, et une amélioration de la méthode de projection, appliquées à r approximation du quasi- inverse pour des opérateurs auto-adjoints A pour lesquels Vunité n'appartient pas au spectre de A

In this communication we consider three methods for the approximate solution of équations of the second kind

x — Ax = y

in a (complex) Hubert space with a selfadjoint bounded linear operator A.

We only assume that unity does not belong to the spectrum of A.

We give a new proof and an error estimate for the Cebysev-Euler method, we discuss the Cebysev-semi-iterative method (cf Varga [7]) and we consider a refinement of the projection method of type Qv, introduced in [6].

1. INTRODUCTION

Let A be a bounded linear selfadjoint operator in a complex Hubert space H.

Let (Ex) be its spectral décomposition, a an interval containing the spectrum a(>i)ofAThen

A = \ XdE

(*) Reçu le 21 avril 1980

O Fachbereich Mathematik der Universitat Kaiserslautern, D-6750 Kaiserslautern R A I R O Analyse numénque/Numencal Analysis, 0399-0516/1981 /257/S 5 00

© Bordas-Dunod

(3)

258 E. SCHOCK

and for each continuous function p : a -* U p(A)= f p(X)dEx and !| p{A) || S sup | rfk) \.

Especially, if 1 £ er,

Xea

If p is an arbitrary polynomial of degree n, then || (1 — A) 1 — p(A) || is mini- mal, if p is the proximum of r (with r(X) = (1 — X,)"A) in the space of all poly- nomials of degree n on the spectrum of A with respect of the sup-norm.

We call a method for the approximate solution of x - Ax = y polynomial, if the approximate solution x is of the form x = p(A) y, where p(A) is an operator polynomial.

2. THE CEBYSEV-EULER METHOD

If a = [a, b], b < 1 then the Cebysev-Euler method consists of determining the proximum pn to r in [a, b] by polynomials degree n. Then

is the Cebysev-Euler approximation of the solution x of x — Ax = y.

This approximation is easy to calculate : it is known Cebysev [3], Bernstein [2\

Meinardus [4], that in the interval [— 1,1] the proximum of

is given by the polynomials qn of degree n which fulfill

1 ' ^ = Jn cos (nep + S)

Jn a2 - 1 ' " ' X- 1

Using the Cebysev polynomials tn and vn of first resp. second kind, (2) is equi- valent to

(ex - X) qn(k) = 1 - Yn(a*. - 1) tn(k) + Y „ >2 - 1 (1 - k2) »„- A) •

R A I R O Analyse numérique/Numencal Analysis

(4)

The recursion formulas for r„ and v„ lead to the recursion formula for qn qn+i(X) = 2yXq„(X) - y2 qn^(X) - 2 y

y = a -

1 - a2 a2 - 1

A linear transformation of the interval [— 1,1] onto [o, b] gives the poly- nomials pn of best approximation of r by

„ . b — a (2 X — b — à PnW = T — il b - a which leads to the recursion formula

PoW = b — a a 2 a2 - 1

1 ( , b + a b - a a2- i

a

^2-b-a

Y = oc — -v/a2 — 1 .

- 1

The error estimate is 1

max 1 - X = max b - a

— a b - a f

2 a2 - 1 cos (nep + 5) I S ~~ CL ' Y If we replace X by ^4, we obtain the following resuit :

If o(^4 ) <= [a, fc], b < 1, then the best polynomial approximation method of x — Ax — y is given by the following semi-iterative method.

b-a a

b-

2 — b — a

a = o — a

vol. 15, n°3, 1981

= a —

(5)

260

with the error estimate

E. SCHOCK

<

=2(a2(a22- l)r *

This method also can be obtained by using methods of summability theory (cf. Niethammer [5]).

3. THE CEBYSEV SEMI-ITERATIVE METHOD

Let A be a linear selfadjoint bounded operator with 1 £ o(A) and (x„) the Picard itération séquence

xB+1 = Axn + y, x0 = y.

This method calculâtes a linear combination

such that x — xn has a small norm.

Since for

j = 0

~ X) + X (ij ~

0

it is

Yj Al(xo ~ x) = p(A) (x0 - x)

with the condition p(l) = =

U

= I pfMY^dEj

and ü vvn || is minimal, if p is a polynomial of degree n with p(l) = 1 and max

Xea(A)

p(X) 1 - X m a x

Xea(X) 1 - X

where q is an arbitrary polynomial of degree n with #(1) = 1. If both 1 and 0 do not belong to the spectrum of A, then p is up to a constant the same poly- nomial as the polynomial q with <?(1) = 1 and max | q(X) | is minimal.

Xea(A)

R A I R O Analyse numénque/Numerical Analysis

(6)

In each case, this minimal polynomial does not lead to an easy semi-iterative method, so the usual minimization condition is to détermine the polynomial p of degree n with p(l) = 1 and minimal norm.

It is well known that the transformed Cebysev polynomials have this property that their norm on an interval is minimal. So one has to consider three cases

1° a(A)<z [a, bib < 1 2° o(A) a [a,b\a > 1 O(A)Œ [au bx] u [a2, b2].

In the first and second case

2 X-b-a b-a 2 - b - d

b - a is the minimal polynomial with

|| pn || = max pn{\) | =

2 - b - a b - a

Using the recursing formula for the Cebysev polynomials we obtain for /2-b~a\~l

_ ! ^ 2 — b — a _i _i . _i 2 — b — a

>

B + 1

= 2

b

_

a

p Z - p . i , , p o - l ,

P l

=

b

_

a

and

po(k) = 1,

2 X - fc- a 2 - fc - a '

This gives after a short calculation, using the recursion formulas and - x =

vol. 15, n» 3, 1981

(7)

262 the

and

semi-iterative method x 4 p t t + 1 (

V 1!

the error estimate

E. SCHOCK

"T y •

2 - b + 2 -b- a

\ Pn+l

+ ^

| | x - xB| | ^ | | pBU ) ( x - 3 ; ) | | S | p j I U - j ; | | . In the third case we assume that there is known a number r| such that

O ( ^ ) c [ - p , l - T l ] u [ l + T l , p ] . Since the polynomials

^2 ^2 - 1 - ot2N

1 - ot2

are the polynomials of minimal norm on the intervals [— 1, — ot] u [ot, 1] of degree 2 n with q2n(l) = 1 (cf. Achieser [1], p. 287) a linear transformation of [—1, - a ] u [ a , l ] o n t o [ - p , 1 —rilutl + n, P + 2] (resp. [2 —p, 1 - n l u t l + n, ^|]

if more convenient) and the substitution of X by A leads to the semi-iterative method

T

i _ 2

+ 1 "

(P + i)2 + n2 - i 2 - n 2 "

i )

2

- n

_ i _ - i

1 = (p + i)2 + n2

(p + i)2 - n2 "

R.A.Ï.R.O. Analyse numénqu^/Numerical Analysis

(8)

The order of convergence of this method is

| | xB- x | | S\\p(A)(y-x)\\ - ( X T ;1) .

4. A CEBYSEV PROJECTION METHOD

Let A be again a bounded linear selfadjoint operator in a Hubert space H with spectrum in [a, b\ b < 1.

Let pn : [a, b] -> R be the polynomials from section 2, which are the proxima of (1 — X)~i of degree n in [a, b]. Then for linear independent éléments zl5 ..., zk

of H we détermine

n

from the System of linear équations

< Z - A z „ y + (1 _ ^ ) pn( ^ ) 3 ; ,Z j> = 0 for; = 1, 2, ...,/c. Then

x„ = pi^l )y -\- z is an approximation for the solution x of x — Ax — y.

If p„ = 0, then this method is the usual Ritz-Galerkin method, if

P,A)= î ^,

then this method is the projection method of type Qn+1 introduced in [6].

As usual in the theory of the Ritz-Galerkin method, the optimal rate of convergence for compact A is obtained, if zu ..., zk are eigenvectors of A. In this case we get with

xn = pn(A)y + z

and a simple Hubert space calculation z =

vol 15, n° 3, 1981

(9)

264 E. SCHOCK so

x - xn II ^ sup

1 - A ,

V (a2 - l )

where

b - a

as in a section 2. Also as in section 2 is shown pn(A) y can be calculated by a semi-iterative method.

5. CONCLUDBVG REMARKS

Niethammer [5] has shown that the order of convergence of the Cebysev semi-iterative method tends to the order of convergence of the Cebysev-Euler method. In [8] M. Wolf has demonstrated that the Cebysev projection method in gênerai gives quite better approximations than the usual Ritz-Galerkin method.

REFERENCES

[ij N. ï. ACHIESER, Theory of Approximation F. Ungar P. Co., New York, 1956.

[2] S. BERNSTEIN, L'Approximation. Chelsea Publ. Co, New York.

[3] P. L. CEBYSEV, Ouvres. Chelsea, New York, 1961.

[4] G. MEINARDUS, Approximation von Funktionen und ihre numerische Behandiung.

Springer, Heidelberg, 1964.

[5] W. NIETHAMMER, Iterationsverfahren und allgemeine Euler-Verfahren. Math. Z, 102 (1967)288-317.

[6] E. SCHOCK, On projection methods for Hnear équations of the second kind. J.

Math. Anal. Appl. 45 (1974) 293-299.

[7] R. S. VARGA, Matrix itérative analysis. Prentice Hall, New Jersey, 1962.

[8] M. WOLF, Summationsverfahren und projektive Verfahren der Klasse Qv. Diplom- arbeit, Bonn, 1979.

R.A.I.R.O. Analyse numérique/Numerical Analysis

Références

Documents relatifs

Galerkin-truncated dynamics of these two equations behave very differently in comparison to their non truncated counterparts: for the 2D Euler equations we have shown weak

In the more general case of a virtually infinite grid which is of course really addressed in [5], the lack of the generalized monotonicity property of the Lax–Friedrichs

Among those stands the adiabatic variable method; we present in this paper a mathematical analysis of this approximation and propose, in particular, an a posteriori estimate that

More precisely, the application of the proposed method is investigated for solving the Sylvester matrix equation S (X) = C, where S is the well-known Sylvester operator S (X ) = AX

Keywords: Kolmogorov–Wiener filter weight function, continuous stationary fractal processes, power-law structure function, Chebyshev polynomials of the second kind.. 1

situation. Using an admittedly simplified criterion, it is argued that, for weak interplanar couplings, the critical 3d temperature is related to the multiplication

H.W Gould (1972), Combinatorial Identities: A Standarized Set of Tables Listings 500 Binomial Coefficients Summations, Revised Edition, Morgan-town, WV.. Calculus of Finite

An analysis in the energy norms for the model unsteady Stokes problem shows that this scheme enjoys the time convergence properties of both underlying methods: for low value of