• 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

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

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

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

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