advertisement
Internat. J. Math. & Math. Sci.
Vol. 8 No. 3 (1985) 417-424
417
HOLOMORPHIC EXTENSION OF GENERALIZATIONS
OF H’ FUNCTIONS
RICHARD D. CARMICHAEL
Department of Mathematical Sciences
New Mexico State University
Las Cruces, New Mexico 88003, U.S.A.
(Received March 31, 1985)
In recent analysis we have defined and studied holomorphic functions in
ABSTRACT.
n
tubes in
which generalize the Hardy H
consider functions f(z), z
p
where C is the finite union of open convex cones
TO(C)
Rn
values in
C,
+ iO(C),
’
n + iC,
C
i,
j
,m,
and which satisfy
We prove a holomorphic extension theorem in
the norm growth of our new functions.
which f(z), z e T
In this paper we
C
functions in tubes.
x+iy, which are holomorphic in the tube T
is shown to be extendable to a function which is holomorphlc in
where O(C) is the convex hull of C, if the distributional boundary
TCJ
of f(z) from each connected component
of T
C
are equal.
KEY WORDS AND PHRASES. Generalization of
Functions in be Domains, Holomorphic
Cxtension, Fourier-Laplace Transform, Edge of the Wedge Theorem.
1980 AMS SUBJECT CLASSIFICATION CODE. 32A07, 32A10, 32A25, 32A35, 32A40, 46F20.
i.
INTRODUCTION.
The purpoue of this paper is to prove a holomorphic extension theorem (edge of
n and which
the wedge theorem) for functions which are holomorphic in a tube in
satisfy a norm growth condition that generalizes the norm growth for H p functions in
tubes.
The basis for the analysis presented here is the analysis in our papers
I-2 ].
Carmichael
We begin by stating some needed definitions.
(0,0
vertex at the origin
scalars
A.
n)
O) in
A regular cone ls an open convex cone C such that
entire straight llne.
0 for all y
C};
C*
The dual cone
C*
is always closed and convex (Vladlmirov
and is denoted pr(C).
T
n+
C for all positive
does not contain any
n
C*
{t
[3, p. 218]).
n:
<t,y> >
The
is called the projection of C
The function
Uc(t
is the indicatrix of
is a cone (with
Ay
of a cone C is defined as
intersection of the cone C with the unit sphere in
C
Rn
A set C
if y e C implies
.the
iC is a tube In
sup
ygpr(C) (-<t,y>)
cone C, and we note that
n.
C*
{t
t
Rn Uc(t)
_< 0}.
The set
The convex hull (convex envelope) of a cone C will be
denoted by O(C), and O(C) is also a cone.
OC
Put
C,
sup
Uo(c) (t)
tC,
Uc(t)
Rnc *
the number
418
R. D. CARHICHAEL
.
characterizes the nonconvextty of the cone C (Vladimirov [3, [..
Following
Vladtmtrov [4, p. 930] we say that a cone C :; 1(n with interior points has an admissible set of vectors if there are vectors e
C,
1, k
1,2
,n, which form
k
a basis for Rn; equivalently we say that such a set of n vectors in C is admissible
for the cone C.
Let B denote a proper open subset of
Let 0 < p <
and A > O. Let d(y)
lekl
Rn.
n.
B)
denote the distance from y c B to the complement of B in I
The space sP(T
(Carmtchael [1, pp. 80-81]), TB
1(n + tB, is the set of all functions f(z), z
x+ ty
T
which are holomorphtc in TB and whlch satisfy
B,
If(x+iy) lP
l[f(x+iy)[ILp
_<
M (l+
dx
_<
(I.1)
(d(y))-r) exp(2Alyl),
y
B,
_> 0 which can depend on f, p, and A but not on y B
M(f,p,A,r,s) which can depend on f, p, A, r, and s but not
for some constants r _> 0 and s
and for some constant M
sP(T
We defined and studied the functions
B) in Carmichael [1-2]. The
) were defined to generalize the H p functions in tubes (Stein and Weiss
[5, Chapter III]) and to contain the previous generalizations of the H p functions of
on y E B.
spaces
S(T
Vladimirov [6] and Carmichael and Hayashi [7].
We proved in Carmichael [I, Theorem 4.1, p. 92] that if B is a proper open
B) 1 < p <_ 2, A >_ O, has
then any element f(z) E
B
Fourier-Laplace integral representation for z E T in terms of a function g(t) which
connected subset of
n
sP(T
satisfies certain norm growth properties. In addition we proved in Carmlchael [i,
Corollary 4.1, p. 93] that if B
C, an open convex cone in Rn, then f(x+ly) has a
unique boundary value as
y/, y
E
C, in the strong topology of
’,
the space of
tempered distributions.
In this paper we prove a holomorphic extension theorem (edge of the wedge theore
for holomorphic functions in T C which satisfy (i.I) for y E C where C is a finite
union of open convex cones in
n;
the extended function is holomorphic in T O(C) where
To obtain our extension theor we use the information
O(C) is the convex hull of C.
from Carmlchael [1] which is contained in the preceding paragraph.
We proceed to the result of this paper after making the following definition;
the subspace
of
I <_ p <
is defined to be the set of all measurable
,
P
n,
functions g(t), t
-b
((1
such that there exists a real number b
0 for which
e p (Carmlchael [i, p. 83]).
g(t))
All subsequent notation and terminology in thls paper are that of Carmlchael [1-2].
+ ItlP)
HOLOMORPHIC EXTENSION.
Let C be an open cone in
2.
open convex cones
C
tubular cone T
y
g
Cj,
j
n
n and m
n+
m
is a positive integer.
I,
J
,m, are
Let f(z) be holomorphic in the
iC and satisfy (i.i) for y E C and for i < p
2.
For ay
m, the distance from y to the boundary of C is larger than or equal
I,
to the distance from y to the boundary of
1 < p <--2, j
_
n such that C jl cj where the Cj,
i
measurable functions
m.
gj(t)
Cj
from which it follows that f(z)
S(TCJ),-
Thus by Carmchael [I, Corollary 4.1, p. 93] there exist
E
q,
(l/p)+ (l/q)
i, with
supp(gj)
t:
Ucj(t)
_< A}
HOLOMORPHIC EXTENSION OF GENERALIZATIONS OF H P FUNCTIONS
419
almost everywhere such that
n
f(z)
z e T
exp(2i<z,t>) dt,
gj(t)
cj
(2.1)
m,
i
j
pointwise and
’
Jim
y+
[gj]
e
[gj]
being the
f(x+iy)
yeC.
with
in the strong topology of
J
1
(2.2)
m,
Fourier transform of
We now state and prove the main result of this paper.
TttEOREM.
Rn
Let C be an open cone in
open convex cones, C
which is the union of a finite number of
.=
Cj
,.’
corresponding to each connected component
(O(C))*
such that
contains interior points and has an
x+iy, be holomorphtc in the tubular cone
admissible set of vectors. Let f(z), z
T C and satisfy (i.i) for y e C and i < p _< 2. Let the boundary values of f(x+iy) in
the strong topology of
of C
O(C)
m,
Then there is a function F(z) which is holomor-
given in (2.2) be equal in
phic in T
l,
Cj,
f(z), z e T C, where F(z) is of the form
P(z) H(z), z e T O(C)
and which satisfies V(z)
F(z)
S, (TO(C)),
(TO(C)
(l/p) +
P(z) being a polynomial in z and H(z) e $2A
0c
PC
I.
(l/q)
PROOF. By hypothesis the boundary values in (2.2) above are equal in
with
Since the Fourier transform is a topological isomorphism of
.
the elements
(l/p) + (l/q)
gj(t)
I
q
first paragraph of this section satisfy
in
We have
We call this common value g(t) and have g(t)
Uc(t)
Uo(c)(t),
tlon of 0 we have
c
j=l
C*,
t e
U0(c) (t) <_
0C
(Vladimirov [3, p. 220]) here we have
_< 0
C
From (2.3) and the fact that
we have that g e
let t
{t:
t e
Uc.(t),
m
eIn.
q’ (l/p) + (l/q)
i.
Now
(2.4)
Uo(c)(t)
max
j=l
supp(gj)
t e
Uc.(t)
m
{t:
< 0
C
C*.
Uc(t)
Ucj(t)
t e
n.
From (2.4) we now
1n
(2 5)
_< A} almost everywhere, j =l
m,
m
qC
Uo(c)(t)
(2.3)
(Vladimirov [3, p. 219, (54)]); and from the defniSince i ! 0 <
Uc(t), t e C, Rn
C
obtain
Uo(c) (t)
_
max
Uc(t)
m, obtained in the
gm(t)
g2(t)
gl(t)
we have that
onto
I
vanishes on
> A 0
C
};
A O <
C
jlo= {t: Ucj(t)> A}
as a distribution.
for such a point t we have by (2.5) that
Uo(c) (t)
S_ O
max
C
j=l
and hence
max
j=l
m
u
> A.
C (t)
m
Ucj (t)
Now
R. D. CARMICHAEL
420
Thus if t e {t:
Uo(c)(t) > A OC then
Since {t:
Uo(c)(t) <_ A0C
vanishes.
’
and {t:
N(;A
with
C)
0
< A O
C
Uo(c)(t)
{t:
j--i
> A} and on this latter set g
Ucj(t)
is a closed set in
{t:
supp(g)
in
t
U0(c)(t)
n we thus have
(2.6)
< A 0
C
(O(C))* + N(;A0C)
being the closure of the open ball in
(Vladimirov [4, Lemma i, p. 936])
n centered at
and with radius
(O(C))*
is closed and convex and by
Recall from section 1 that the dual cone
A 0
C
hypothesis in this Theorem (0(C))* contains interior points and has an admissible set
has order 0 then by Vladimlrov [4, Theorem i, p. 930]
of vectors. Since g
q=
n
g(t)
k=l
where
{ek}= I
n which
e
{t:
supp(G)
q
_
2
]G(t)
(2.7)
G(t)
is an admissible set of vectors for the cone
tinuous function of t
of g e
gradient>
<ek,
is unique corresponding to
(O(C))*,
n
{ek}k= 1
and the order 0
U0(c)(t) _< AOC}= (O(C))* + N(O;AO C)
Itl),
< K (i +
t
G(t) is a con-
and
n
(2.8)
n.
(In Vladlmlrov [4, Theorem i, p. 930]
((O(C))*) * O(C) (Vladlmlrov
the term
[3, p. 218]) should have non-empty interior (Vladlmlrov [4, p. 930]) which is certainly the case in this Theorem.) Since G(t) is continuous on n, then supp(G)
_< A0
{t:
as a function (Schwartz [8, Chapter i, sections 1 and 3]). (This
C
fact is also obtained in the proof of Vladlmlrov [4, Theorem I], and the containment
< A
{t:
supp(G)
PC which is stated preceding to (2.8) gives the support
such that for
t e
C
of G(t) as a function.) We now choose a function A(t)
is a constant
of nonnegatlve integers ID%(t) <_ M, t e n, where
any n-tuple
where the constant K is independent of t
"acute"
in our present situation means that
U0(c)(t)
Uo(c)(t)
_
n,
M
> 0, %(t)
1 for t on an
which depends only on ; and for
_< A
{t:
0 for t e
and %(t)
but not on a 2
{t:
Uo(c)(t)
u0(c)(t)
PC
_< A 0
C
as a function of t
F(z)
fn
n
(Carmlchael [i, p. 94]).
n for z e T0(C)
From (2.7) and supp(C,)
(3.1), p. 931])
{t:
Uo(c)(t)
F(z)
kl
where
H(z)
I
{t:U0(c)
We have that (%(t) exp(2i<z,t>))
Recalling (2.6) we now put
(n g(t) (t) exp(2l<z,t>)
g(t) exp(2i<z,t>) dt
neighborhood of
neighborhood of
<_ A O
c
dt,
z E T
O(C)
(2.9)
as a function we have (Vladlmirov [4,
<e k, -2iz> 2
H(z), z e
C(t) exp(2i<z,t>) dr, z
(2.10)
T O(C)
(2.11)
c}
(t)<_ 0
From the continuity of G(t) and (2.8) we easily have G(t)
for all p, i <_ p <
P
this combined with the support of G(t) as a function and Carmichael [I, Theorem 6.],
p. 98] yield
(exp(-2y,t>) G(t))
and
L
p,
y e O(C),
(2.12)
HOLOMORPHIC EXTENSION OF GENERALIZATIONS OF H P FUNCTIONS
iexp(-2w<Y, t>)
(d(y))-r)
M (i +
s
exp(2A0C
IYl),
Y
421
(2.]3)
O(C)
.
s(G,p,A) _> 0, and M M(G,p,A,r,s) > 0, which are
r(G,p,A) _> 0, s
Then (2.12), (2.13), and
independent of y e 0(C), and for all p, 1 <_ p <
(T0(C)), (l/p) + (l/q) i,
Carmlchael [I, Theorem 5.1, p. 97] prove H(z) e S
for constants r
0C
for all p, 1 < p _< 2, and in particular H(z) E
defined in (2.9) is holomorphlc In T
O(C),
S2
A
0C
(TO(C)).
Then by (2.10), F(z)
and of course (2.10) is the desired repre-
sentation of F(z) in the statement of the Theorem where the polynomial
n
P(z)
k=l
and H(z) e S
2
A0C
S 0C (T0(C)),
(TO(C))
<ek,
-2Iz>
P(z) is
2
(l/p) + (l/q)
i, is given in (2.11).
By
(2.3), (2.6), and the definition of %(t) preceding (2.9), we see that (2.1) can be
rewritten as
n
f(z)
g(t) %(t) exp(2i<z,t>) dt
n
g(t) exp(2wi<z t>) dt
J
z E T
1
,m.
These identities and (2.9) show that F(z) is the desired holomorphlc extension of f(z)
to
The proof of the Theorem is complete.
T 0(C) and F(z)
f(z), z T
We emphasize that cones C exist for which the hypotheses of the Theorem are
C.
(0(C))*,
satisfied corresponding to C and
and examples are easily constructed.
If
0(C) in the Theorem is regular (i.e. if 0(C) does not contain an entire straight llne
in this case since O(C) is open and convex) then the interior of (O(C))* is not empty;
(O(C))* has an admissible set of vectors.
In the Theorem we have desired to obtain a result in which the holomorphlc
the Theorem applies in this case if
(T0(C))
extension function could be represented in terms of an S
happens under the assumptions on
(0(C))*
in the Theorem.
space; this
Under these assumptions we
were able to conclude that the continuous function G(t) in the representation (2.7)
had pointwlse support in {t:
_< A0 }. From this fact we were able to use
C
Carmlchael [i, Theorem 6.1] and then Carmlchael [I, Theorem 5.1] to obtain that H(z)
in (2.11) belongs to S
(TO(C)), (i/p) + (l/q) I, for all p, 1 < p < 2; and hence
_
Uo(c)(t)
the desired representation of the holomorphlc extension function F(z) was obtained in
(2.10).
From the proof of the Theorem the common value g(t) e
{t:
i < p < 2, in (2.3) has supp(g)
_< A0
in
supp(g)
Uo(c)(t)
C
’
I,
q, (l/p) + (l/q)
(recall (2.6)). If
is contained in this set almost everywhere as a function as well then the
restrictions on
(0(C))*
in the Theorem can be deleted in obtaining a holomorphic
extension result as we show in the following corollary.
COROLLARY i.
Let C be an open cone in
Rn
which is the union of a finite number
m
of open convex cones, C
C
j=l
J
Let f(z)
z
x+ iy be holomorphic
in the tubular
C
cone T and satisfy (i.i) for y e C and i < p < 2. Let the boundary values of f(x+iy)
in the strong topology of
corresponding to each connected component Cj
’
R. D. CARMICHAEL
422
_
and let this comon value g(t)
m, of C given in (2.2) be equal in
1
j
support in {t:
_< A0
C
Uo(c)(t)
’).
almost everywhere (as well as in
Then there i
F(z) which is holomorphic in TO(C) and which satisfies F(z)
2
(TO(C)).
S
2, F(z)
a function
and if p
A0C
hay,
f(z), z
E
TC;
Proceeding as in the proof of the Theorem we obtain the common value
< A0
in
I from (2.3) and supp(g)C {t:
(l/p) + (l/q)
g(t) g
C
{
t:
By our assumption supp(g)
<_ A 0C almost everywhere; thus by Carmichael
[I, Theorem 6.1, p. 98], g(t) satisfies
PROOF.
__’
’.
Uo(c)(t)
Uo(c)(t)
(exp(-2<y,t>) g(t)) c L
q,
y
(2.14)
O(C),
and
lexp(-2<Y, t>) g(t)
llLq
n
(d(y))-r) s
+
exp(2nA0C
s(g,q,A) >_ 0, and M
r(g,q,A) >_ O, s
for constants r
independent of y E O(C).
F(z)
< M (i
IYl)
O(C)
Y
(2.15)
M(g,q,A,r,s) > 0 which are
Then by Carmichael [I, Theorem 3.1, pp. 84-85] the function
g(t) X(t) exp(2i<z t>) dt
g(t) exp(2i<z t>) dt
(2.16)
z
T O(C) where %(t)
g C is the function defined in the proof of the
As in the proof of the Theorem F(z) is the desired holomorphic extension of
2 then q
2; in this case (2.14), (2.15), and Carmichael [I,
f(z) to T O(C)
If p
is holomorphic in
Theorem.
Theorem 5.1, p. 97] yield that F(z) E S
A
0C
(TO(C)).
The proof is complete.
We have a more general holomorphic extension theore
Here 0(C) is as general as possible and we make no assumption on the
Corollary i.
constructed g(t) in (2.3).
S
0c
than either the Theorem or
We lose the explicit information on F(z) being in an
(T 0(C)) space however.
COROLLARY 2.
Let the open cone C and the function f(z) be as in the hypothesis
of Corollary i with I < p
Let the boundary values of f(x+ ly) in the strong
2.
corresponding to each connected component
topology of
given in (2.2) be equal in
’.
such that F(z)
T
PROOF.
f(z), z
]
i,
m, of C
Then there is a holomorphic function F(z) in
TO(C)
C.
Define F(z), z E
TO(C),
i, is the common value in (2.3) in
as in (2.16) where g
and
C
supp(g)_ {t :Uo(c) (t) <_ AO C
(l/p) + (l/q)=
in
’
from
the proof of the Theorem. Then F(z) is holomorphic in T O(C) by the necessity of
Vladlmlrov [3, Theorem 2, p. 239] and is the desired holomorphlc extension of f(z) to
T O(C) because of (2.3) and (2.1). (Recall the proof of the Theorem.) The proof is
complete.
[3, Theorem 2, p. 239] that F(z) in Corollary 2 does
satisfy a polntwise growth estimate; but we cannot conclude that F(z) is in an
(T O(C) space for any p in Corollary 2.
Notice from Vladimlrov
S Oc
.
In the Theorem and Corollaries i and 2 the holomorphic extension function F(z),
z E T0(C), is defined by (2.9) (i.e. (2.16)) where g(t)
(l/p) + (l/q)= i,
{t:
<_ A 0
and supp(g)
in
Since O(C) is an open convex cone then in
Uo(c)(t)
C
:
P
HOLOMORPHIC EXTENSION OF GENERALIZATIONS OF H FUNCTIONS
423
each of the results we can also conclude that
Rim
y-
[g]
F(x+iy)
(2.17)
E
y0(c)
in the strong topology of
’[g]
4.1, p. 93]" here
cone, A
’
by the boundary value proof in Carmtehael [1, Corollary
Fourier transform.
is the
Further, if 0(C) is a regular
2, in Coroilary 1 then we can conclude in Corollary 1 that
0, and p
<’[g],
F(z)
<’[g],
K(z-t)>
t), z a
Q(z
0(C),
(2.I8)
by CarchaeI [1, Corollarv 4.2, p. 91 here [g] is the boundary vaiue in
(2.17) and K(z- t) and Q(z; t) are the Cauchy and Poisson kerneis (eartchael [1,
(Recali fro the sentence
p. 83]), respectively, corresponding to the tube T O(c)
in
2
preceding the statement of Caichael [i, Corollary 4.2, p. 94] that
L2
[g]
If the cone C is (0,) or (-o, 0) or (-,0)
IYl,
d(y)
C, in (i.i).
Y
(-,0)
for C
implies
(
(0,).
(O,m)
in i dimension then of course
We have the following interesting result in 1 dimension
Note that
(0(C))*
{0} here which does
not have interior
points; so the following result is like Corollary 2.
Let f(z) be holomorphic in
COROLLARY 3.
(1.1) for 1 < p
R1 +
iC, C
(-m,O)
(O,m), and satisfy
Let the boundary values of f(x+iy) in the strong topology of
2.
’.
l+
from the upper and lower half planes given in (2.2) be equal in
entire holomorphic function F(z) such that
(-,).
First note that O(C)
< p ! 2, as in Corollary 2 and define
PROOF.
l,
F(z)
as in
exp(2i<z t>) dt
I (t)
(2.16).
Here
(O(C))*
i
F(z)
f(z), z
Obtain g(t)
iC.
(l/p) + (i/)
q
g(t) l(t) exp(2i<z t>) dt
{0} and supp(g)_ {t:
Uo(c)(t)
!
’
Then there is an
AOC}=
z e
(2.19)
(O(C))* +
has compact support here, and hence
[-A Oc,A OC]. Thus g
N(O;A 0C)
q
F(z) in (2.19) is the Fourier-Laplace transform of a distribution of compact support
(HSrmander [9, Theorem 1.7.5, p. 20]).
and hence is an entire holomorphlc function in
F(z)
+ iC, as before.
f(z), z
i
i
3.
ACKNOWLEDGEMENT.
The author expresses his sincere appreciation to the Department of Mathematical
Sciences of New Mexico State University for the opportunity of serving as Visiting
Professor during 1984-1985.
The author’s permanent address is Department of Mathematics and Computer Science,
Wake Forest University, Winston-Salem, North Carolina
27109, U.S.A.
This material is based upon work supported hy the National Science Foundation under
Grant No. DMS-8418435.
REFERENCES
I.
2.
p
CAP,MICHAEL, Richard D. Ceneralization of H Functions in Tubes.l,
Variables Theory Appl. 2 (1983), 79-101.
p
CARMIcHAEL, Richard D. Generalization of H Functions
Variables Theory Appl. 2 (1984), 243-259.
in Tubes. II,
Complex
Complex
R. D. CARMICHAEL
424
3.
4.
5.
6.
VLADIMIROV, V. S. Methods of the Theory of Functions of Many Complex Variables,
M.I.T. Press, Cambridge, Mass., 1966.
VLADIMIROV, V. S. Generalized Functions with Supports Bounded by the Side of An
Acute Convex Cone, Siberian Math. J. 9 (1968), 930-937.
STEIN, E. M. and G. WEISS. Introduction to Fourier Analysis on Euclidean Spaces,
Princeton University Press, Princeton, N.J., 1971.
VLADIMIROV, V. S. On Cauchy-Bochner Representations, Math. USSR-Izv. 6 (1972),
529-535.
7.
CARMICHAEL, Richard D. and Elmer K. HAYASHI. Analytic Functions in Tube Which
Are Representable by Fourier-Laplace Integrals, Pacific J. Math. 90 (1980),
51-61.
8.
SCHWARTZ, L. Thorie Des Distributions, Hermann, Paris, 1966.
9.
HMANDER,
1963.
L. Linear Partial
Different|al
Operators, Springer-Verlag, New York,
Download