Sie sind auf Seite 1von 6

Proceedings of the Royal Society of Edinbw • .

80A, 177-182, 1978

Eine kritische Bemerkung zu Darstellungen der Schauderschen


Beweistechnik fiir elliptische lineare Differentialgleichungen

Manfred Konig
Edelweiss Strasse 11, 8131 Berg-4-H6henrain, Germany
(Communicated by W. N. Everitt)
(MS received 9 November 1976. Revised MS received 14 September 1977. Read 31 October 1977)

SYNOPSIS
The object of this paper is to demonstrate, that with the open mapping theorem of S. Banach one can
prove very easily the following estimate
I|M||2,«.G — c{||fZ.M + (1 - t)Au\\0,a,G + II"IIO,O.G + II"I|2,«.JG}

for all M e C2°(G) and 0 < ( s l , if one knows, that for all bounded G C R , with boundary dG e C 2 °
and for all (f, g) e C"°(G) x C2°(dG) Dirichlefs problem Au =f,u\8G=g has a solution u e C2°(G).
This estimate can be used to solve Dirichlefs problem for a general linear elliptic equation by
Schauder's method.

ElNLEITUNG
Seit der Arbeit von Schauder [7] weiB man, daB folgende Aussagen
Equivalent sind:
0.1: Es existiert eine Losung u G C2a(G) des Randwertproblems AM(X) = f(x)
(x G G) und u(x) = g(x) (x G dG)
und
0.2: Es existiert eine Losung u G C2a(G) des Randwertproblems Lu(x) = f(x)
(x G G) und u(x) = g(x) (x G dG).
Dabeiist G einbeschranktes Gebiet des Rn,dessenRand dG zur Klasse C 2 " gehort,
0<a <1.

ist jeder in G elliptische Differentialoperator mit holderstetigen Koeffizienten;


(/, g) G COa(G) x C2a(dG) set beliebig vorgegeben.
Wahrend der SchluB von 0.2 auf 0.1 trivial ist, wird zum SchluB von 0.1 auf 0.2
in alien Darstellungen [1, 2, 3, 6] die schwer herzuleitende Schaudersche a priori
Abschatzung 0.3 benotigt.
0.3: Es existiert eine Konstante k, so daB fur alle u G C2a(G) die Ungleichung
k{\\Lu\\ , ,
0aa

gilt.
178 M. Konig

An der Aquivalenz von 0.1 und 0.2 ist man deshalb interessiert, weil man hofft,
das Problem 0.1 technisch einfacher bewaltigen zu konnen als das Problem 0.2.
Es ist aber nicht der Aquivalenzbeweis allein, der zwar oft als "Schaudersche
Beweismethode" bezrichnet wird, Gegenstand der Arbeit von Schauder
gewesen, sondern Schauder hat in jener Arbeit auch das Problem 0.1 unter
Einsatz seiner a priori Abschatzung gelost.
Darstellungen in neueren Lehrbiichern gehen jedoch oft davon aus, daB man
0.1 fiir alle G mit dG G C 2a auf andere Weise losen konne. Sie zitieren dies als
einen "bekannten Satz" aus der Potentialtheorie. Diese Arbeit zeigt, daB bei
Zugrundelegung einer solchen Hypothese ubersehen wird, daB man dann nicht
mehr die Schaudersche a priori Abschatzung zur Herleitung von 0.2 aus 0.1
benotigt, sondern daB man statt dessen sehr einfach mittels des Satzes vom
abgeschlossenen Graphen die folgende Abschatzung 0.4 herleiten kann, mit der
wie iiblich mittels der Kontinuitatsmethode 0.2 aus 0.1 folgt:
0.4: Ist G ein beschranktes Gebiet des Rn mit Rand dG G C2a, dann existiert
eine Konstante k, so daB fur alle t G [0,1] und fur alle u G C2'a(G) gilt:
HI 2,a,G ; k{\\tAu + (1 - t)Lu\\0,a,G + \\u\\2,a,so}.
DaB man Abschatzungen leichter gewinnen kann, wenn man die Losbarkeit
voraussetzt, darauf hat schon Schauder in [7, p. 281] hingewiesen, jedoch gelang
es ihm nicht, die Losbarkeit des Problems 0.1 ohne a priori Abschatzung 0.3 zu
beweisen. Was die Losbarkeit von 0.1 [4, Kelloggscher Satz] ohne Benutzung
der Schauderschen a priori Abschatzung anlangt, sei auf [5] verwiesen.

BEZEICHUNGEN
k a
C - (G), kGN, 0 < a £ l und G C /?„, sei der Banachraum der in G k-mal
gleichmaBig holderstetig mit Exponent a differenzierbaren reellwertigen Funk-
tionen mit der Norm
IMk<.,G:=sup|w(;c)| + - • ••

H«[f] ist dabei der Holderkoeffizient von f in G und fiir

i = 0'i, - . h) G Nn, ]j\ = 2 A. sei D' = ^ ' W , 1 . . . ^ .

Es sei a,*, a,, a aus C0tO(G) und fur alle JC G G sei a(x) s O , U = l , . . . , n.
Der Operator L sei in G elliptisch, d.h. es gibt ein m > 0, so daB fiir alle v G Rn
und alle xGG: 2" k=l a^jOu/i;* s= m|«|2.

H E R L E I T U N G DER A B S C H A T Z U N G 0.4
Wir machen also fiir das Folgende die Voraussetzung:
Fur alle beschrankten Gebiete G des Rn deren Rand dG zur Klasse C2a gehort
und fur alle (f,g)G COa(G)x C2a(dG) existiere eine Losung u G C2a(G) des
Randwertproblems Au(x) = f(x) (x G G) und u(x) = g(x) (x G dG).
Bemerkung zu Darstellungen der Schauderschen Beweises 179

Unter dieser Voraussetzung beweisen wir zunachst fur den elliptischen Opera-
tor L0 = E"ji=i b,k d2ldxtdxk mit konstanten Koeffizienten bik folgenden Hilfssatz:
HILFSSATZ:
VOR.: Wie oben.
BEH.: Fur alle (/,g)G COa(G) x C2a(dG) besitzt das Randwertproblem
Lau(x) = f(x) (x G G) und u(x) = g(x) (x G dG) genau eine Losung u G
C2a(G). Es gilt die Abschdtzung \\u\\2,a,G < k{\\f\\0,a,G + \\g\\2,a,SG}. Die
Konstante k hdngt von G und den Koeffizienten b^, aber nicht von (/, g)
ab.
Beweis. Da der Operator Lo elliptisch ist, existiert eine nichtsingulare lineare
Abbildung Y: «„-»«„, Y(G) = Q, so daG sich das Randwertproblem
1.0: Lou(x) = f{x) (x G G) und u(x) = g(x) (x G dG)
in das Randwertproblem
1.1: Av(x) = f(x) (x G Q) und v(x) = g(x) (x G 8Q)
transformiert. Da aber Q wieder ein beschranktes Gebiet mit dQ G C2a ist,
existiert nach Voraussetzung und dem Maximumprinzip genau eine Losung
v G C2a(Q) der Problems 1.1. Damit existiert genau eine Losung u G C2a(G) des
Problems 1.0. Durch (f,g)^>u wird ein linearer Operator T:COa(G)x
2a 2a
C (dG)^>_C (G) definiert. T ist bijektiv. Der zu T inverse Operator
T'u. C2a(G)^ COa(G)x C2a(dG), definiert durch u^{LQu, u\aa) ist stetig. Nach
dem Satz von Banach ist dann T stetig. Da T linear ist, existiert eine Konstante
k von der in der Behauptung angegebenen Art.
Beweis von 0.4. Es sei nun L der oben genannte elliptische Operator mit den
Koeffizienten aik, a,, a. Fur 0 s f < l ist durch

{(1 - 0 • Sik + t • aidy^ldXi dxk, y G G,

eine Schar elliptischer Operatoren mit konstanten Koeffizienten definiert. Somit


existiert zu jedem (x°, fo^G G x /, / = [0,1], eine Konstante k(x°, t0) (Hilfssatz),
so daB fiir alle v G C2a(G) die Abschatzung
\\v\\2,a,G ^ k(x°, fo){||L,0>JCot;||0,(,,0 + \\v\\2,a,3G}
gilt. Es sei
P(x°, to):= Max{/c(jc°, t0) • (n + ^ IMo,<,o ),l
und
O(x°, r0) := {(x, t) | (JC, f) G Rn+U \t - to\ < (16PU 0 , to))
und |X-XT

Die Mengen {0(x, t)}u,,)SGxi bilden ein offenes Uberdeckungssystem von G x /.


Da G x / eine kompakte Teilmenge des Rn+i ist, wird G x / von einem endlichen
Teilsystem {O(x\ ^)},=i M iiberdeckt. Es sei nun z,- £ CJ(fi,) (/= 1,..., M) mit
180 M. Konig

Zj(x) = 0 fur \x - x'l" > (4 • P{x\ f,))"1 und z,(x) = 1 fur \x - x1]" < (8 • P(x',
Mit

hat man die Abschatzung


\ tj){\t - tj\ • (n + 2 t ||a,-*||o,a.

(4

Mit der Ungleichung [siehe 6, Seite 117]


1.2: H k o . o =£ c • ||w|| M , o + ce||w||0,0,c (w e Cka(G), e > 0)
und der aus dem Maximumprinzip folgenden Abschatzung
1.3: ||Z,-W||O,O,G ^ konst • {||L,,Jt(zjH)||o.o.G + ||zy«||o,o.ac}
erhalt man daraus fur \t - ts\ < (16 • P(x', tj))~K.
||ZyM|ka,G < KCX'', tyHllLwCZyMjHo^o + I M k ^ c }
mit einer geeigneten Konstanten K(x',tj), die sich noch durch K :=
Max je (i M} X(x', <;) majorisieren laBt. Es sei T beliebig aus I gewahlt.
IstA:={A | A G { 1 , . . . , M } , \h - r\< (16 • P(x>, fy))"1},
dann ist {O(xA, fA)}AeA ein Uberdeckungssystem von GX{T}. Umsomehr ist
G C UAGA t/(x A ) mit
t/(x A ) = {x | x G G, \x - x"\a < (8 • P(x A , fA))"'} und zu x_E G existiert A E A , mit
\x - x"\a <(16 • P(x\ tx))'[\. Damit gilt fur jedes y E G und beliebiges / unter
A
Beachtung von zx{x) = 1 fur x G [/(JC ):

- /(y )| ^ - /(y) • zM

||o.a,o, falls y G t/(x A ) mit M =A

~~ IMIO.O.G, falls yi
J'GA

wobei r := Min ;e{1 M}(16 • P(x', tj)) ' ist. Damit erhalt man weiter:
Bemerkung zu Darstellungen der Schauderschen Beweises 181

\\u\\2,a,o =s r'1) • 2
AGA
und
Nka.G ^ 2
ASA

< ( 1 + r"1) • K •
n

+ 2 ' 2 ll«*Ho,a,G • 2
U=i AEA

+ ||«||o,a,G- 2 \\LT,xZ\\
AGA

+ 2 • ||«||2,o.aG • 2 ||ZA||
AGA

Da A C {1,..., M} ist, erhalt man daraus

\\uh,a,G ^ (1 + r' 1 ) • K NIO.«,G

ll«l|o,«,G • | (||A2)||o,a,G

2 - ||M||2,a,aG • 2 ll2yll2,a,ao [•

Es existiert also eine Konstante K, welche nicht von r abhangt, so da6 die
AbscMtzung

gilt. Daraus folgt fiir ein beliebiges T G I:


~( II " II ")
ll«||2.a.G ^ K\\\(l ~ T)AU + rLM||0,a,G + 2 «i«x; + dull + \\u\\2.a,aG [•
I lli=l II O.a.G J

Mit der Ungleichung 1.2 und dem Maximumprinzip (vgl. 1.3) folgt daraus die
Behauptung 0.4.

REFERENCES
1 R. B. Barrar. On Schauder's Paper on linear elliptic differential equations. /. Math. Anal. Appl. 3
(1961), 171-195.
2 N. Boboc and P. Mustata. Remarks on the existence of solutions of the Dirichlet problem for
strongly elliptic linear operators of second order. Bull. Math. Soc. Sci. Math. R.S. Roumanie. 10
(1966), 75-85.
3 L. M. Graves. The Estimates of Schauder and their Applications to Existence Theorems for Elliptic
Differential Equations. Univ. Chicago, Invest. Theory Part. Diff. Eq. Techn. Report 1 (1956).
4 O. D. Kellogg. On the derivatives of harmonic functions on the boundary. Trans. Amer. Math.
Soc. 33(1931), 486-510.
182 M. Konig

M. Konig. Uber des Verhalten der Losung des Dirichlet-problems am Rand des Gebietes, wenn
der Rand zur Klasse C2° gehort. Proc. Roy. Soc. Edinburgh Sect. A, 80 (1978), 163-176.
O. A. Ladyzhenskaya and N. N. Uralt'seva. Linear and Quasilinear Elliptic Equations (London:
Academic Press, 1968).
J. Schauder. Uber lineare elliptische Differential-gleichunger zweiter Ordnung. Math. Z. 38 (1934),
257-282.

(Issued 5 December 1978)