This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
0 [
"::
C* sup XEK
jf(x)io· ll
171
As
we finally obtain that I
or Tu E M{r)(n;A).
We thus have proved
22.5 1 Propositio~ Let ¢ E ~j where j E ~ is fixed. Then for any u E M(l) (~m+ 'Kj;A) the right A-linear functional Tu defined on M(r)(n;A) by
(22.2)
belongs to M{r)(n;A). 22.6 Proposition If F. E M(l)(~m+ 1 ,K.;A) is the indicatrix of Fantappie of * J m+1 J T E M(r)(n;A) then for all s E ~ , the function aSF. is the indicatrix of J Fantappie of the functional a8T defined by
By Leibniz's rule a8(f¢)
=
I y:;;B
172
(~)a 8 -Yt.aY¢
=
-~. L (~)aB-Yf.aYq,.
a13f.q,
Ys:S
yilO
Now for
y
I 0
(-1)1BI!Fj(t).D[(asf).q,](t)dt <-1)
Is I
for all f E M(r)(n;A). 22.7
c
Example Let a be a fixed point in n~ define T E M{r)(n;A) by
V f E M(r)(n;A).
So
The indicatrix of Fantappie associated
oa*E(x) =
E(a-x).
Hence the functional T1 given by
corresponds to the indicatrix F1 (x)
(-1)1 8 1
a~ E(a-x)
a~ E(x-a). 173
22.8 Other expressions for the formulae (22.1) and (22.2) will now be derived. * LetT E M(r)(~;A) be bounded by PK. and consider its associated indicatrix J
of Fantappie Fj. Fu.rthermore choose q., E cpj and let K be a suitable compact neighbourhood of Kj fot· which K c supp¢ c w¢. Then, applying Green's Identity, we have that for all f E M(r)(~;A)
!Fj(t)D(f¢)(t)dt (
- J
;)K
(22.3)
F .(t)datf(t). J
"J m+1 Conversely, fix j E ~and take¢ E cpj and u E M(l )(m 'Kj;A). Then from the preceding considerations it follows that T is bounded by pK , where K u n is a suitable compact neighbourhood of Kj. Hence the domain of fntegration in formula (22.2) may be restricted to supp¢'K so that, again using Green's T] Identity, for all f E M(r)(Q;A)
(22.4)
n
The formula (22.3) expresses the relationship between T and its associated indicatrix of Fantappie in a more classical form, namely by a Cauchy type integral (see also [12] for the case of holomorphic functions). 22.9 Definition Let j E ~be fixed. Then we denote by LJ(.l) the following m+1 m+1 . subset of M(l)(m 'Kj;A): u E M(l)(m 'Kj;A) belongs to ql) 1f there exists cp E ¢j such that for all f E M(r)(K;A) Ju(t).D(f¢)(t)dt = 0. Obviously L~l) is a submo~ule of M(l)(mm+ 1,K.;A) while for any u E Ltl)'Tu=O. Notice also that if u E Ltl) then for each¢~ E ¢j Ju(t).D(f¢*)(t)dt = 0 and this for all f E
M(r)(~;A).
j
The meaning of L( l) will become clear from
22.10 Proposition Let j E ~be fixed. Then u E Ltl) if and only if there exists i 0 > j such that u = 0 in mm+ 1,K .• 10
174
Proof Suppose that u E M(l)(IRm+ 1,K.;A) vanishes outside some K. (i J 1 0 Taking ~ E ~io then clearly ~ E ~j whence for any f E M(r}(~;A) 0
-
Ju(t).D(f~)(t)dt
> jj.
=0
j
or u E L(l)• . Conversely let u E Ltl)• f E M(r) (n;A)
Then there exists ~ E ~j such that for all
ju(t).D(f~)(t)dt =
0.
Now call i 0 > j the least index such that . 1Rm+1 ' K.• u = 0 1n
supp~ c
0
Ki
Then we claim that o
10
Indeed, by the density of M(r)(n;A) in M(r)(Ki 0 ;A) we have that, given f* E M( )(Ki ;A), there exists a sequence (hs)s~' in M( )(n;A) which converges . r o . c.rn m+ 1 r o un1formly on Ki to f*. Hence for arb1trary a E ~ and H c Ki compact, 0 0 (aa.hs)se:IN converges uniformly on H to aaf*. Consequently Ju(t}.D(f*~)(t)dt
=0
for all f* E M(r)(Ki 0 ;A). Now take a E lRm+1 'Ki 0 ; then clearly E(.-a) E M(r)(Ki 0 ;A) so that Ju(t).D(E(t-a}<(J(t)}dt
=
0.
Furthermore let K be a compact subset of w
i/1
0
= Ju(t).D(E(t-a)~(t))dt = J(utji)(t).D(E(t-a)
so that, using Green's Identity, J((utji)D)(t).E(t-a)~(t)dt
=0
or J((utji)D)(t).E(t-a)dt
J((utji)D)(t).E(t-a)(1-
~(t))dt
= 0. 175
As in Rm+ 1,K (uw)D = uD = 0 and 1-$=0 in w$• the second term vanishes. As to the first term, notice that uw E E(r)(Rm+ 1;A) is an asymptotic extension of u so that, u being regular at infinity with respect to E,
o = (-1 )J{(uw)D)(t).E(t-a)dt ((uw)D•E)(a) (uw) (a) =
u(a).
As a E Rm+ 1,K.
has been taken arbitrarily, u = 0 in Rm+ 1,K. •
10
c
10
m+1 'Kj;A) be such that Tu = Tu • Then, taking 22.11 Now let u 1 ,u 2 E M(l)(R 1 2 $ E ~j fixed, for any f E M(r)(n;A)
-
Tu 2 ,f> J(u 1
-
u2 )(t).D(f$)(t)dt
=0 j
andsoul-u2EL(l)• _ _ Conversely, if T E M(r)(n;A) is bounded by PIS and Fj E M(l)(Rm+ 1,Kj;A) is its associated indicatrix of Fantappie, then in view of the foregoing cons~derations, any element of the form F.+h, hE LJ(. l)' also respresents T. As J m+1 J L(l) is a submodule of M(l)(R 'Kj;A), the quotient left A-module j ( m+1 j M(l) = M(l) R 'Kj;A)/L(l)
is well defined and it consists of elements m+1 j [u]j = u + L(l)' u E M(l)(R 'Kj;A). As for each j E ~.Ltl) clearly is a submodule of Lt;~ and any element of M(l)(Rm+ 1,Kj;A), when ~estricting it to Rm+ 1,Kj+ 1 belongs to M~ 1 )(Rm+ 1 , Kj+ 1;A), each [u]j E Mtl) may be considere~ as be~onging to M~i~ and this by means of the canonical injection Ij : Mtl) ~ Mt~~ where for uEM(l)(Rm+ 1, Kj ;A)
176
lj ( [u]j ) = u
+
j+1 L(l)
= [u]j+1" Consequently an increasing sequence M(l) c MCl) c ••• of left A-modules is obtained, the union of which detennines a left A-module denoted by m+1 . M(l}(lR -....r~;A), 1.e. m+1 M( 1) (lR -....mA) = u Mil). j ;;:1
Define J: M{r)(r~;A)-+ M(l)(IRm+l,Q;.A) in the following way: if T E M(r)(Q;A) is bounded by PK. and has Fj as associated indicatrix of Fantappie, then J
J(T) = [Fj]j.
It is clear that J is an algebraic isomorphism between those left A-modules. But there is more! First of all notice that for each j E ~. Lil) _is closed m+1 . 1n M(l)(IR -....Kj;A}. . Indeed, let (us)s~ be a ~equence in Ltl) converging to u in M(l)(IRm+l...._ Kj;A) and suppose that u ~ Ltl)" Then for~ E ¢j given, there ought to exist f E M(r)(Q;A) such that Ju(t)D(f~)(t)dt
I 0.
As for each s E ~ Jus(t)D(f~)(t)dt
= 0,
the integral being taken over the compact set argument yields Ju(t)D(f¢)(t)dt
supp~-....w~
clRm+1 -....Kj, a classical
= 0,
. a left Frechet .. which is clearly a contradiction. So, -Mrl )(IRm+1 -....K.;A) be1ng j . J A-module, M(l) may be endowed with the system of seminorms Pj = {pK K clRm+l...._K. compact}, where for each K J
inf pK(h). hE[u]j 177
In this way (At1 1 )'Pj) bec:omes a left Frechet A-module too. Furthermore, the . . t . j +1 canonical lnJeC 10n I j: MJ(l) + M(l) is continuous since for each K emm+ 1'Kj+ 1 compact,
<:
inf
pK(u+h)
hELt 1) pK([u]j) and this for all u E utl)' Hence the left A-module M(l)(mm•l,~;A) may be equipped with the inductive limit topology. As such we denote the associated system of seminorms by . m+l Pind and we wr1te M(l)(m 'D;A)ind' 22.12 Our main objective now is to show that the algebraic isomorphism J already established between r4(r)(S1;A) and M(l)(mm+ 1'S"l;A) is also topological when M{r)(~;A) is provided with the strong topology. To this end we proceed as follows. As was already noted in Section 16, M(r)(~;A) is a real (F-S)-space. Consequently M(r)b(~;A)*becomes a sequentially complete bornological space (see [4]). Denoting by Ej the left A-module consisting of those*T E M{r)(Q;A) which are bounded by PK.' then, if we define for each T E Ej, J
!ITIIj
=
• {f .
sup "I
Ej, II-II· is turned into a left Banach A-module.
.]
Clearly for each j E ~. Ej*
*
is a submodule of Ej+ 1 and
* M(r)(S1;A)
= u
j~1
* Ej.
As moreover the canonical injection from E~ II II into E~ 1 II II is * J' • j J+ ' j+ 1 continuous, M(r)(~;A) may be endowed with the inductive limit topology. The corresponding system of seminorms is denoted by P~nd and we write M(r)(~;A)ind' 0
178
* Moreover the strong topology on M(r)(n;A) is weaker than the inductive limit topology just defined. In the following proposition we point out that these two topologies are in fact equivalent on M~r)(n;A). 22.13 Proposition If in each of the underlying cases M(r)(n;A) is conside~ as a real convex space, then the following topological isomorphisms hold:
Consequently
Proof Let us first recall that in view of Proposition ?..14 the function e:M~r)(n;A)~(r)(n;A), with e(T)=Te T, TEM{r)(n;A), is an isomorphism between these real vector spaces. Using ProBosition 2.10 for all TEM(r)(n;A) and fEM(r) (n.!t> <e T,f> 2-n L eA
* We now claim that e is the desired topological isomorphism between M(r)(n;Nind and M(r)b(n;A). Indeed, for any B c M(r)(n;A) bounded and T E M{r)(n;A)
* But the strong topology on M(r)(n;A) being weaker than the inductive limit one, there ought to exist C > 0 and q E Pind such that p6 (T) ~ Cq(T) for all T E M{r)(n;A). Hence for any T E M{r)(n;A). p6(e(T))
~
Cle0 1 q(T) 0
Which implies that e is continuous. A classical corollary to the closed graph theorem then yields that e- 1 is also continuous, whence (i) is proved. In order to prove (ii) notice that from the arguments used in (i), we 179
* already have that the same e:M(r)b(n;A) ~ M(r)b(n;A) is continuous so that only the continuity of e- 1 is left to show. To this end, take an arbitrary T E M(r)(n;A). Then -n
-1
l<e T,f>l;;; 2
L leAl
A
For each B c M(r)(n;A) bounded, put BA
= BeA' AEPN, and call s*
Then s* is bounded in M(r)(n;A) and sup l<e- 1r,f>l;;; 2n 12 sup I
Obviously (i) and (ii)
imply (iii).
o
Using the above proposition we finally get
Theorem J is a topological isomorphism between M(r)b(n;A) and "'M(l )(Rm+1 ' n;A)ind" Proof From the considerations preceding Proposition 22.9 we already know that J is an algebraic isomorphism. To prove its continuity, it suffices to show that its restriction to each E~ ll !I . is continuous. To this end, * J, • J take T E Ej arbitrarily and consider J T = [Fj]j E M~l)" Then for any q E Pind 0
=c <
=
0
J
(sup inf hE[F j] j tEK
cJ sup IF/Y)I 0 yEK 0
;;; c. sup I J
yEK
;;; c}(Kj) ;;;
f
d~(x)E(y-x) 10
supp~
sup IE(w)lo wEKj-K
C( Kj ;K)
where (c.).~,, (p.) ·,~,are the sequences of constants and seminorms determJ J<:.~• J Jg• 1 ining the seminorm q E P. d' K is the compact subset of Rm+ ,K. defining 1n
180
J
p.
E
P.,
while C(K.;K) > 0 depends on q. Hence J is continuous. As both _J m+1 and 11( 1 )(lR '-n;A)ind are inductive limits of Frechet spaces, the closed graph theorem implies that J- 1 is also continuous. o ~
J r~(r)(\?,;A)ind
22.15 On the analogy of the classical cases of holomorphic functions of one or several complex variables, we call ~1(r)(~1;A) the space of analytic functionaL~ in g. By the previous theorem this space may thus be identified with a space of right monogenic functions in 1Rm+ 1,n. 23.
The bidual of M(r)(Q;A)
m+1 23.1 In this section we shall prove that the strong dual of r-1( 1 ) (lR '-~2;A)ind is topologically isomorphic to M(r)(n;A), which means that M(r)(n;A) is reflexive. Let f E M(r)(n;A) and associate with it the left-A-linear functional Tf on M(l)(lRm+ 1'-si;A) in the following way. Take T E M(r)(n;A) and consider its indicatrix of Fantappie [Fj]j. Then by the isomorphism J, T = J- 1[Fj]j. Now put
=
=
JF.(t)D(f¢)(t)dt. J
Then we claim that Tf is bounded ~n M(l )(1Rm+ 1,n;A)ind" Indeed, take any decomposition [Fk]k of [F] E r.\ 1 ) (JRm+kn;A), choose uk E [Fk]k and set u =
d)
I
(k)
uk and Tk
J
_,
[Fk]k.
I
l
I (k)
I ( k)
I
(k)
Then [FkJk>lo
l
If for each k occurring in the above decomposition, ¢k E ¢k is taken arbitrarily but fixed~ constants Ck > 0 can be found such that
181
I
~
ck
inf ukE[Fk]k
= ck i\<[FkJkl and so inf [F]=
L L [Fk]k
Ckpk([Fk]k).
(k)
( k)
Then we first prove 23.2
Proposition
I is an algebraic isomorphism between the right A-modules ( M(r)(ll;A) and M(l) lRm+1 '-\l;A ) • ~*
Proof It is clear that I is right A-linear. To show that I is injective, let f*E M(r)(ll;A) be such that I(f) = 0. Then of course
= 0.
Fix ¢ E ¢j and apply Green's Identity to a suitable compact neighbourhood K~ of Kj which is still contained in w¢. Then
I
E(a-x)do f(x) = 0
ClK
X ~
whence, by Cauchy's Integral Formula, f(a) I is injective. To prove the surjectivity rv* m+1 1" E M( l) (lR '-ll;A). Then we must find f E a E \l and call again j E lli the least index 182
Consequently f = 0 in 0 or of I we proceed as follows. Let M(r)(\l;A) such thatlT =lff. Take such that a E K.. Then obviously
= 0.
J
~
~1
E(a-.) E M(l)(R put f(a)
j
'Kj;A) and [E{a-.)]j E M(l)'
Hence it is meaningful to
=
Using straightforward arguments it may be shown that f E for any a E ~ m+1
E(r)(~;A)
and that
As lis left A-linear, Df(a) and so f E
= = 0 M(r)(~;A).
We now claim that l
= lf. Notice that in any case
= 0.
(23.1)
Furth~rmore, fix k ~ 1 and consider the restriction of Tf-T to M~ 1
If [u]k E M(l) and hE [u]k, by Theorem 18.20 a sequence (hs)seN may be found in M(l)(Rm+1,Kk;A) which converges to h. Recall that each hs is a right A-linear combination of functions of the form )'
aPE(x-ai) 3x 1 ••• ax 1 1
From (23.1)
p
it thus follows that for all s E ~.
As a final step we prove
Theorem
is a topological isomorphism between
M(r)(~;A)
-* m+1 '~;A). and M(l)b(R
m+1 '~;A)ind' Then by Theorem 22.10 B* = J -1 B Let B be bounded in M(l)(R is bounded in M(r)b(n;A). But as M(r)(n;A) is bornological, B* is equicontinuous and henGe contained in the polar of a semiball in M(r)(Q;A), say B* c b~K.(r) (see [4]). Hence, for any f E M(r)(Q;A)
~
J
183
= PB('Jrf) = sup l
I
PK.
s
1
r
J
PK. (f), J
which means that I is continuous. To show that I- 1 is also continuous, first notice that M(r)(~;A) considered as a real convex space, is evaluable and has representable seminorms. Hence its natural system of seminorms is equivalent with the system {n 8 :BcM(r)b(n;A) bounded} (see [4]) where for each B n 8 (f)
=sup j
Consequently, for any j E ~. there exist C > 0 and B c M(r)b(n;A) bounded such that for all f E M(r)(~;A) PK. (f)
s Cn8 (f).
J
In virtue of Proposition 22.9 (ii), B* = e- 1(8) is bounded in M(r)b(Q;A) and * is bounded 1n . M(l)(~ m+1 so, using Theorem 22.10 J(B) ~;A)ind· We thus obtain that
s Cn 8 (f)
c
sup
[Fj] lJ(B*)
= Cp J ( B*) (11" f). 24. 24.1 184
IJ
Hilbert modules with reproducing kernel 2
In this section the classical HL 2 - and H -spaces and their corresponding
Bergman and SzegB kernels will be generalized to Euclidean space and this in the setting of monogenic function theory. 24.2 Defi~ition Let H(r) be a unitary right Hilbert A-module consisting of A-valued functions defined on some set F. Then a function K:F x F ~A is called a PcpPoducing krPn8l of H(r) if for any fixed t E F K(.,t) E H(r)
(i)
f(t) = (K(.,t),f) for all f E H(r)·
(ii)
In this case H(r) is said to be a unitary right Hilbert A-module with reproducing kernel. 24.3 Theorem (Aronszajn-Bergman) Let H(r) be a unitary right Hilbert Amodule consisting of functions defined on some set F. Then H(r) possesses a reproducing kernel if and only if for any t E F there exists a constant C(t) > 0 such that lf(t) Proof
10
<
C(t) llfll for all f
E
H(r)"
If H(r) has a reproducing kernel K then for any t E F and f E H(r) f(t) = (K(.,t),f)
so that lf(t)J 0
= <
I(K(.,t),f)l 0 IIK(.,t)ll. llfll·
Hence the necessary condition is fulfilled. As to the sufficient condition, take t E F and consider the right A-linear functional Tt on H(r) defined by = f(t) for all f E H(r)• Then by assumption
185
In view of the Riesz representation theorem, there exists a unique element ht E H(r) such that f(t) = = (ht,f) for all f E H(r)• Put
= ht(x), (t,x) E F
K(x,t)
x
F.
Then obviously K is a reproducing kernel of H(r)•
c
24.4 Now assume that H(r) is a unitary right Hilbert A-module admitting two different reproducing kernels K and K'. Then for some y E F, K(x,y) # K'(x,y) and so 0
<
IJK(.,y)-K'(.,y)ll2
Te (K-K' ,K-K') 0
Te (K,K-K')-Te (K',K-K') 0
0
0,
which yields a contradiction. Consequently, if H(r) admits a reproducing kernel then it is necessarily unique. 24.5 In what follows we suppose that of 1Rm+1.
~
is a relatively compact open subset
Definition Call ML 2 (r)(~;A) = M(r)(n;A) n L 2 (r)(~;A), i.e. ML 2 (r)(g;A) consists of those left monogenic functions in n which are square integrable in
n. Clearly ML 2 (r)(~;A) is a submodule of L 2 (r)(~;A) whence it may be endowed with the inner product and norm defined on L 2 (r)(~;A) (see also Section 7). It will be shown that in this way ML 2 (r)(g;A) is a right Hilbert A-module with reproducing kernel. Theorem Let t E such that 24.6
lf(t) 10
186
:;:;
~
be fixed.
C(t) llfll for all f
Then a constant C(t)
E ML 2 (r)(~;A).
>
0 may be found
Proof Call R(t) = d(tJRm+l~) and consider the closed ball B(t,r) with 0 < r = R(t)-s. By virtue of the Mean Value Theorem (Theorem 9.7)
I
f(t) = m+; r
Vm+ 1
r
m+ 1v m+l
f(u)du
B( t, r)
or f(t)
I
J
eA
A
fA(u)du.
B(t,r)
Consequently, applying the Cauchy-Schwarz inequality
I
L(
2
fA(u)du)
A B(t,r)
s
r
m+1v
L m+l
J
fA(u)du
A B(t,r)
I
lf(u)\~
du
B(t,r)
I
Q
rm+1v Letting s
+
\f(t)
\f(u) \ 2 du 0
m+l
0+ we get 10
~
C(t) \\fl\
where
24.7
Corollary
Let H c
pH(f) =sup \f(x)\ XEH
Q
0
be compact.
Then for all f E MLz(r)(Q;A)
s CH \lf\1
187
24.8 Theorem ducing kernel.
ML 2 (r)(~;A)
is a unitary right Hilbert A-module with repro-
Proof Taking account of the Theorems 24.3 and 24.6 it clearly suffices to show that ML 2 (r)(0;A) is complete. Let therefore (f i ) i €lN be a Cauchy sequence in ML 2 ( r) ( r:; A). Then there exists f E L2 (r)(r!;A) such that (fi)iE:lN converges to fin L2 (r)( ;A). But in view of Corollary 24.7 (fi)iE:lN is also a Cauchy sequence in M(r)(1;A) and hence it converges to f* in M( r) (c_;A). Clearly f* = f a.e. in ,, so that f* E ML 2 (r)(rz;A) and (fi)iE:lN converges to f* in ML 2 (r)(r;A). o 24.9
Remark
By the proof of the above Theorem 24.8 the Hilbert module
ML 2 (r)(u;A) is closed in L2 (r)(a;A). In general Mlz(r)('2;A) is not closed in M(r)( ,;A). Indeed, if a E Sm then E(x-a) E M(r)(s(0,1);A). By Runge's Theorem (Corollary 18.14) there exists a sequence of inner spherical monogenics converging to E(x-a) in M£r)(B(0,1 );A). All those inner spherical monogenics belong to Mlz(r) (B(0,1 );A) but obviously E(x-a) does not. Nevertheless we can state: If the sequence (fj)jE:lN of functions fj belonging to Mlz(r)('.;A) converges to f in M( ) C1;A) and possesses a subsequence (f. ) for which ( 11 f. Ill r Jk kE:lN Jk kE:lN is bounded, then f E
ML 2 (r)(~;A).
Indeed (f. ) has a subsequence which J k kE:lN converges weakly in 'z(r)('?;A) and hence pointwise, necessarily to f. So f E Lz(r)(];A). 24.10 Observe that, if the reproducing kernel of ML 2 (r)(~;A) is denoted by B(x,t), (x,t) E ~ x ~~.then for each f E Mlz(r)CI;A) and t E r,, f(t) 24.11
=
(B(.,t),f)
Theorem
=
L
ML 2 (r)(~I;A)
B(x,t) f(x)dx.
is separable.
Proof Consider a sequence of points (yi)iE:lN which is dense in' and associate with it the countable subset Q c ML 2 (r)(~;A) defined by Q
188
= {B(.,yi)' i
E lN}.
Then we claim that Q is total in orthogonal to Q, then
ML 2 (r)(r~;A).
Indeed, if hE ML 2 (r)(S"2;A) is
h(yi) = (B(.,y 1 ),h) = 0 for all i ElL Hence, by the continuity of h in
S"l,
h = 0 in r2.
o
24.12 Now let for any r > 0, 88r denote the boundary of the open (m+1)dimensional sphere 8r centred at the origin with radius r and consider the unitary right A-module L2(r)(88r;A) of A-valued square integrable functions on 88r, where Lebesgue measure is taken on 88r. 24.13 Definition Let R > 0; then ML 2 (r)(88R;A) consists of those elements in M(r)(8R;A) such that lim r-+R
<
I
I f 12
°
88 r
dS
< +
00 •
It will be shown that provided with the inner product
I
(f,g)R = 1 im r-+R
<
fgdS 8Br
and norm llfiiR=lim J lfl~ dS, r-+R 88 < r ML 2(r)(8BR;A) is a unitary right Hilbert A-module with reproducing kernel. 24.14
Theorem
For each t E 8R there exists C(t)
> 0
such that for all
f E ML 2 (r)(88R;A)
~
Lett E BRand take 0 < r < R such that t E Br. Integral Formula, for any f E ML 2 (r)(88R;A) f(t) = - 1wm+1
I
88
ii-t
r
lu-tlm+l
do
u
In view of Cauchy's
f(u)
189
so that, as dau f(t)
= ndS = (*)dS
= -1-
r~+1
on aBr'
J
u-t u f(u)dS. aBr iu-tlm+1
Hence, putting h(u) obtain:
(u-t)uf(u) and using the Cauchy-Schwarz inequality, we
lf(t)l~ ~
-r2 w...;.2_
m+1
(JaB r
ds \ r r ju-t12m+2} \JaB
r
Call d = d(t,IRm+ 1,Br); then on aBr' d <: iu-tj "2R whence ihl~ ~ 4R 2 r 2 jfl~· Consequently
so that, by passing to the limit for r
-
~
<
R,
where
24.15
Corollary Let H c BR be compact.
Then for each f E ML 2(r)(aBR;A)
where CH =
4Rm+ 2 1 R2m+2 with RH = d(H,IRm+ 'BR). wm+1 H
24.16 Next observe that the space Hh(aBR) consisting of those real valued harmonic functions f in BR for which
190
is a real Hilbert space when endowed with the inner product (see [22]) (f,g)R =lim r-+R
<
r
j
as
fg dS. r
As each component fA off E ML 2 (r)(aBR;A) belongs to Hh(aBR) we find that for all f,g E ML 2 (r)(aBR;A) and A E A, with f = L fAeA' g = L g8e 8 and A
B
Hence 1 im
r-+R
<
J
as
r
which means that ML 2 (r)(aBR;A) is a unitary right A-module. By analogous arguments it may be proved that for any f,g E ML 2 (r)(aBR;A) the expression (f,g)R = lim r-+R
<
J
as
fgdS r
is meaningful and that for all f,g,h E ML 2(r)(aBR;A) and A E A (f,g+h)R = (f,g)R + (f,h)R' (f,gA)R = (f,g)RA and
Moreover, as ,
is a (bounded) real linear functional on A, for each eo f E ML 2(r)(aBR;A) and A E A
while
191
and in view of the inequality stated in Corollary 24.15
Hence ML 2 (r)(aBR,A) is an inner product space. 24.17
Finally we get
Theorem ML 2(r)(aBR;A) is a unitary right Hilbert A-module with reproducing kernel. Proof Taking account of the Theorems 24.3 and 24.14 it clearly suffices to prove the completeness of ML 2 (r)(aBR;A). Let therefore (fi)i~ be a Cauchy sequence in ML 2(r)(aBR;A). Then for all s > 0, there ought to exist N(s) E~ such that llfj-fki!R ~ s if j,k ~ N(d. By the Corollary 24.15 (fi)i~ is a Cauchy sequence in M(r)(BR;A) so that, by the completeness of this space, there exists f E M(r)(BR;A) t~ which (fi)ieN converges. Now take 0 < r < R. Then, as for each~ E H (aBR) (see [22])
Jasr
lfj-fkl~dS ~
llfj-fkiiR
~
sz
so that, by passing to the limit for j JaBr
lf-fkl~dS ~
s 2 for all k r
Again using the property that ( J we find that aBr lim r~R
~
~ oo ,
N(s). !f-fki~dS)O
is increasing when r
t
J~s lf-fkl 02 dS ~ s 2 if k ~ N(s), a
r
< whence f-fk E ML 2(r)(aBR;A). Consequently f E ML 2(r)(aBR;A) while from the above reasoning it follows that (fi)i~ converges in norm to f in 192
R,
Notes to Chapter 3 The results in Section 16 are similar to those of the space O(n) of holomorphic functions in nor, even more generally, to those of the space of nullsolutions of a hypo-elliptic differential operator with constant coefficients (see [Ho 1]}. The original Montel Theorem concerning locally uniform bounded sequences of holomorphic functions (see [Mo]} gave rise to a special class of locally convex spaces, the so-called Frechet-Montel spaces (see e.g. [K1]}. As to the spirit of Section 17, it should be noted that in the more general context of elliptic differential operators with constant coefficients, the notion of a regular solution at infinity with respect to a fundamental solution, which in fact replaces the vanishing at infinity for holomorphic functions, was introduced by Grothendieck in [Gro1] and elaborated afterwards by Chauveheid in [Ch]. The Cauchy transform of a measure in the plane having compact support provides a useful example of such a function. As is well known, this Cauchy transform plays a basic role in approximation theory (see [Z]}. The Runge type theorems occurring in Section 18 are very close to the situation in one complex variable (see [Ho2]}. The problem of compact approximation of holomorphic functions in a domain by rational functions was solved initially by Runge in 1885 (see [Ru]}. Refinements dealing with polynomial approximation were obtained soon afterwards. The latter form of the Runge Theorem - polynomial approximation - gave rise to the introduction of so-called Runge domains in the theory of several complex variables (see [Ho2]}. The problem of approximating any solution f of P(D)f = 0, P(D) being a differential operator with constant coefficients, by nullsolutions of a special type was completely solved by 14algrange in [Mal1]. Note that his results already include the Behnke-Stein Theorem for holomorphic functions on a connected non compact Riemann surface (see also [BS]}. The problem of solving the equation P(D)f = g was treated in full generality by Malgrange and Ehrenpreis (see [Mal1], [Mal3], [E1], [E2], [E3]} and this, among