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!
r, then the non homogeneous equation has a unique solution
(x - 2nk) .
k=
00
In exactly the same way, from the equation 00
\ cos kx x = In 2 sin 2 � k -
k=l
it follows that
q
( q) {
x n 1 = - In 2 sin L k cos kx + 2 2 k=l
oo
-
-
}(q)
,
where the derivative on the right hand side of this equation is to be under stood in the generalized sense.
functions. generalized of Local properties f equal to zero in the domain
We say that the gener 7. alized function (x) is Q if (/, IP) = O for every function qJ (x) of the space K which is equal to zero outside of a closed set A contained in Q. For example, the generalized function o (x) is equal to zero in the domain Q obtained from the space Rn by deleting the point x = 0.
298
GENERALIZED F UNCTIONS
f (x)
concentrated on the closed
The generalized function is said to be B if it is equal to zero on the complement of this set. The smallest closed set in which the generalized function f (x) is concentrated is called of this function. For example, the support of the generalized the function o and of all of its derivatives is the point The support of a regular function/ is the closure of the set of points on which this function is different from zero. A generalized function is said to have if it is concen trated in some ball are said to and /2 The generalized functions /1 Q if /1 - /2 0 in this domain. In particular, the generalized function is said to be Q if in this domain it coincides with some ordinary locally summable function. In this case, we can speak of the values of the generalized function at points of the set Q. For example, the generalized function o is regular in the complement of the point 0 and is equal to zero on the complement.
set
support (x)
x=O.
(x)
compact support l xl �a. (x) (x) coincide in the open domain f (x) regular in the open domain (x) f (x) x For an arbitrary function cp (x) in the space K, let ) (x + cp ( - x) - 2 cp (O) cp f l t (lx , cp) dx . ,x.. =
=
ExAMPLE.
00
=
o
This equation defines a continuous linear functional on the space K, that is, a generalized function. Outside the point x = O, this generalized function coincides with the regular generalized function described by the of the space K vanishes function In other words, if the function then we have the equality in some neighborhood of the point
l x lt .
x=O,
cp (x)
00
- oo
Direct product of generalized functions. m f(x) cp (x) n f(x) ( m n x x, (! g, x) (! , (g , x (x, y))) .
Let be a generalized 8. of variables, and let g ( y) function on the space Kx of functions be a generalized function on the space Ky of functions t/1 ( y) of variables. of By x g (y) we denote the generalized function on the space Kx functions y) of + variables defined by the formula x
=
,
Y
§ 1.
299
GENERALIZED FUNCTIONS AND OPERATIONS O N THEM
This generalized function is called the direct product of the generalized functions / (x) and g ( y). If the function x (x, y) of the space Kx, has the form x (x, y) = cp (x) 1/J (y) where cp (x)E Kx, 1/J (y)E Ky, then Y
(! g , x) = (! , cp) (g, 1/J) . x
The following formulas for the direct product of generalized functions hold : f (x) x g ( y) = g (y) x f (x) ,
f (x)
x
{g (y)
x
h (z )} = {f (x)
x
g (y)}
x
h (z) .
If a generalizedfunction f (x, y) is invariant with respect to translations in the variable x (i.e. if (J, cp (x + h, y)) = (J, cp (x, y)) for arbitrary h), then it has the form f (x , y ) = l x g (y) x
,
where g (y) is a generalizedfunction in the space Ky and lx is the generalized function in the space Kx defined by the formula (lx, cp ( x)) =
J cp (x) dx .
Let f (x) and g (x) be gener alized functions of one variable where either one of the following condi tions is satisfied : a) one of the functions f (x), g (x) has bounded support ; b) the supports of the generalized functions/ (x) and g (x) are bounded on the same side (for example, f (x) = O for x < a, g (x) = O for x < b). Then the expression (f (x) x g (y) , cp (x + y)) , 9. Convolution of generalized functions.
which is denoted by ( f*g, cp), is defined for an arbitrary function cp ( x) of the space K. We call the generalized function f* g the convolution of the generalized functions f (x) and g (x). If the generalized functions f (x) and g (x) are regular and satisfy one of the conditions a), b), then the generalized function f* g is also regular and is defined by the formula 00
f * g (x) =
J f (x - y) g (y) dy .
- oo
300
GENERALIZED FUNCTIONS
1 . If f (x) is an arbitrary generalized function, then thf (x) = f (x). Thus the o-function assumes the role of the identity element with respect to the operation of convolution. In particular, o * o (x) = o (x) . 2. The convolution of the generalized function f (x) with o (x h ) is equivalent to the translation of f (x) by h : EXAMPLES.
-
The equations and
o (x - h) * f (x) = f (x - h) . f * g (x) = g * f (x)
(/ g ) * h (X) = j * (g * h) (X) , *
which express the commutativity and associativity of the convolution of generalized functions, are valid. The formula for differentiation of the convolution has the form df d dg * g) = - * g = f * - . (! --dx dx dx If lim fv = /, then lim fv * g = f* g under each of the following asv -+ oo v -+ oo sumptions : a) all the generalized functions fv (x) are concentrated on a single bounded set ; b) the generalized function g is concentrated on a bounded set ; c) the supports of the generalized functionsfv (x) and g (x) are bounded on the same side by a constant, not depending on v. Hence it follows that if the generalized function /, (x) depends on the parameter t and is differentiable with respect to this parameter, then the formula a oft g ) x ( -t ft * ( ) = -t * g (x) a
a
is valid if j, (x) and g (x) satisfy any one of the assumptions a)-c). The convolution of generalized functions f (x) and g (x) of several variables is defined exactly as for functions of one variable. In this connection, it is required that one of the factors, for example f (x), have the property that for an arbitrary function qJ (x) of the space K, the function t/J (y) = (! ' qJ (X + y)) belongs to this same space.
§ 1 . GENERALIZED FUNCTIONS AND OPERATIONS ON THEM
30 1
The convolution off (x) with the function cp (x) of the space K is defined by the formula
If f (x) is form :
a
regular function, then this formula assumes the following
f * cp (x) =
J f (y - x) cp (y) dy .
I 0. Generalform ofgeneralizedfunctions. Let the generalized function f(x) have compact support. Then a parallelepiped
a i ::::;; xi :::;; bi :::;; j :::;; n ,
1
,
can be found on which this generalized function is concentrated. It is possible to show that for an arbitrary e > 0 an integer p > 0 and continuous functions fqa (x), 0 :::;; l q l :::;;p becoming zero for a i - e :::;; xi :::;; bi + e can be found which satisfy the relation f (X ) = L fq�) (X) . lq!=O Thus every generalized function with compact support is a linear combi nation of derivatives of continuous functions with compact support (where it is understood that the derivatives are regarded in a generalized sense). Analogously, every linear functional on the space K(a) of infinitely differentiable functions becoming zero for l x l :::;; a has the form p
where F(x) is a continuous function on the ball l x l :::;; a. If f(x) is an arbitrary generalized function, then we can construct a sequence of generalized functions with compact support /1 (x) , . . . Jn (x) , . . . such that 1) Iim fn (x) = f (x) ;
2) for every a > O, an N can be found such that we have fn (x) = fm (x) in the ball lxl :::;; a for n � N, m � N. The generalized functions concentrated at one point have a particularly simple structure. For example, all generalized functions concentrated at the point x = O are finite linear combinations of the b-function and its
302
GENERALIZED FUNCTIONS
derivatives, i.e. have the form
n
f (x) = L 0 cqo(x) . l ql = 1 1 . Kernel Theorem. In many applications of generalized functions the following theorem turns out to be useful : KERNEL THEOREM. Let B ( cp, 1/1) be a bilinear functional, where cp (x) runs through the space Kx of infinitely differentiable functions of m vari ables with compact support and 1jJ (y) runs through the space KY of infi
nitely differentiable functions of n variables with compact support. If the functional B (cp, 1/1) is continuous with respect to each of the variables cp (x) and ljJ (y), then a generalized function f (x, y) exists on the space Kx, Y of infinitely differentiable functions of m + n variables with compact support such that B (cp, 1/1) = (! , cp (x) ljl (y)) . § 2. Generalized functions and divergent integrals
1 . Regularization of divergent integrals. In several problems of mathe matical physics, divergent integrals occur. By means of the apparatus of generalized functions we can obtain an algorithm which allows the assigning of a numerical value to some divergent integrals, and, using this value, we obtain solutions to these problems. This algorithm is called the regularization of a divergent integral. Let f (x) be some function. We call the point x0 a point of local sum mability for thefunction f (x) if a neighborhood v (x0) of this point exists in which the function f ( x) is summable. Points which are not points of local summability are called singular points. Here we consider functions which have only a finite set of singular points on every interval. Let K1 be the subspace of K consisting of functions cp (x) EK vanishing in some neighborhood of each singular point of the function f (x). A sequence of functions {cpm (x)} of the space K1 converges to zero if all the functions CfJm (x) are concentrated on a single compact set which does not contain singular points of the function f (x), and if the equality lim sup lcp�> (x)l m --+ oo x
is satisfied for arbitrary
q.
=
0
§ 2.
303
GENERALIZED FUNCTIONS AND DIVERGENT INTEGRALS
The integral J is convergent for an arbitrary function of the space K1, and the equality
f(x) (x) dx cp cp(x) (! , cp) = I f (x) cp(x) dx This functional can be defines a linear functional on the space extended to the entire space K. *) The value ( f, cp) of this functional at a function cp (x) of the space K is called a regularized value of the integral J f(x) cp (x) dx (if the function cp (x) does not belong to the subspace then this integral can, generally speaking, be divergent). We call the generalized function (J, cp), obtained from the extension, a regularization of the function f (x). This regularization of the function f (x) coincides with f(x) on the set of points complementary to the set of singular points. K1.
K1,
ExAMPLE.
The equality
cp( cp(x) 2cp(O) + ) ; (J x rt, cp) J dx lx l ' gives a regularization of the generalized function J x J- t. Generally speaking, 00
=
0
a function can have different regularizations. In this connection, regularizations of different functions might not be in agreement with one another, so that, for example, the equality ( /1 /2 , can be violated. We introduce the concept of Let L be a linear space consisting of functions (generally speaking, not locally summable), each of which has a discrete set of singular points and is infinitely differentiable on the comple ment of this set. We assume that the space L contains, along with the functions all of their derivatives (on the complements of the sets of singular points) and all the functions where the are infinitely differentiable functions. Let a linear functional ( /, ) , a regularization of the function, be associated with every function of the space L. The regularization is called if the following and the functional is denoted by c.r .
cp)=(regularization. +canonical .f� , cp)+(J�, cp) f(x) f (x), canonical,
a(x)f(x)
cpf (x)
a(x)
f (x),
*) The extension of a continuous linear functional from a subspace to the whole space is possible in a locally convex linear topological space (see ch. I , § 4, no. 2).
GENERALIZED FUNCTIONS
304
conditions are satisfied : 1) c.r. [A d1 (x) + A2 f2 (x)] = A1 c.r. f1 ( x) + A2 c.r. f2 (x) ; df = !!_ (c .r. f (x)) ; 2) c.r. dx dx
( )
d here, on the left - is the derivative of the function in the usual sense,
dx and on the right it is the derivative of the generalized function ;
3)
c.r. (oc (x) f (x)) = oc (x) c.r. f (x)
for an arbitrary infinitely differentiable function oc (x). The set of functions with algebraic singularities serves as an example of a space of functions for which a canonical regularization exists. The point x 0 is called an algebraic singular point of the function f ( x) if in a neighborhood of this point the function f (x) is representable in the form m
where the ocix) are infinitely differentiable functions and the h i (x) one of the following functions : (x - Xo)� ' (x - X o)� ' (x - x or n ' A # - 1 '
The function x� is defined by the equality X;.+ =
- 2, . . .
{0
X;. if X > 0 , if X < 0 ,
and the function x� by the equality
;. {
0 if X > 0 , x_ = Jxj;. if X < 0 . The function f (x) is called a function with algebraic singularities if it has a finite set of algebraic singular points on each interval. In order for a canonical regularization to be defined for the space of functions with algebraic singularities, we first solve the problem con cerning the regularization of the functions x� , x;. , x- n.
§ 2.
GENERALIZED FUNCTIONS AND DIVERGENT INTEGRALS
305
Regularization of the functions x� , x� , x- n and their linear combi nations.If Rd > - 1, then the integral 2.
1)
00
(x� , cp) =
J x"'cp (x) dx 0
is convergent for an arbitrary function cp (x) of the space K and gives a linear functional on this space. In order to define the functional ( x� , cp) for Re A. < - we use condition 2) of a canonical regularization. Let Re A> - n - 1 , ).,,6 - l , -2, . . . . . . ; then Re (). + n) > - 1 and there fore the functional (x�+ n, cp) is defined by the equality
1
, -n,
00
(x�+ n, cp) =
J xA+"cp (x) dx . 0
r (;., + 1)
n)< n>. Therefore by virtue of condition 2) the (x"'+ + F ().+ n + 1) +
But x"' = equality (X;.
+ • 'I'
1)
[(x"'++ ")( n) ] = r ( ). + n + 1)
( + m) = �_[' �
m
' '�'
F ()., + 1) [x�+ n, cp<•>] = = ( - 1Y F(). + + 1)
n
= ( - 1 )"
f :xA + ncp(n) (x) dx F(). + n + 1) r (;., + 1)
00
0
must hold. Thus the functional (x� , cp) is given by the formula 00
for Re ). > We can verify, integrating by parts, that this formula is equivalent to
-n-1.
GENERALIZED FUNCTIONS
306
the following : 1 (x� , cp) =
I [ o
xl cp (x) - cp (O) - xcp' (O) - · · · -
:�� cp
-
+
1
\n cp ( k - 1 ) (0) '---· . � ( k - 1 ) ! (2 + k)
k=1 For - n - 1 < ReA.< - n, we can use a simpler formula:
I [ 00
(x � , cp) =
xl cp (x) - cp (O) - xcp' (O)
_,,_
0
J
�;
xcp(o) dx . (n )!
The formulas mentioned give the regularization of the functions xl for Re 2 < - 1. It remains to remark that this generalized function is not defined for 2= - 1 , - 2, . , - n, . . . . 2) The generalized function (x� , cp) is given for Re A. > n - 1 , 2 # - 1 , -2, . . . , - n, . . . by the formula 1 (x� , cp) = xl cp ( - x) - cp (O) + xcp' (O) - . . · . .
-
I [ o
] I
n- 1 X C{J(n - 1 ) (0) dx + - ( - 1t - 1 (n - 1 ) ! +
\n �
(
l )k - 1 cp(k - 1 ) (0) ( k - 1 ) ! (2 + k) '
00
xlcp ( - x) dx +
1
-
k= 1 and for -n- 1 < Re 2 < - n by the simpler formula : 00
(x � , cp) =
f xl [cp ( - x) - cp (O) + xcp' (O) 0
_ ,, _
]
n- 1 x - ( - l )n - 1 cp
§ 2.
307
GENERALIZED FUN CTIONS AND DIVERGEN T INTEGRALS
3) Along with the generalized functions xi and x� it is sometimes useful to consider their linear combinations (for A # - 1 , - 2, . . . ) : lxl;. = xi + x� , xi;. sign x = xi - x� , (x + iO);. = lim (x + ie);. = xi + e;;."x� ,
I
e-+ + 0
(x - iOl = lim (x - ie);. = xi + e - u"x� . e-+ + 0
We can give more convenient formulas for these linear combinations. Thus, for - 2m - 1 < ReA.< - 2m + 1 , 00
(lxi\ cp) =
f x;. {cp (x) + cp ( - x) 0
2m- 2 x2 " � cp<2m - 2) (o) - 2 cp (O) + cp + ... + 2! (2m - 2) ! For A = - 2m, we write lxl - 2 m = x - 2 m so that
[
(0)
00
(x -2m, cp) =
f x - 2m {cp (x) + cp ( - x) 0
[ (0)
- 2 cp In particular,
2 X + cp" 2! oo
(x - 2 , cp) =
J 0
(0)
2m - 2 - cp(2m - 2 ) + . . . + -� (2m - 2) !
cp (x) + q>_( : x) - 2(/)_(_0) dx . 2
] } dx .
(0)]} dx .
For - 2m - 2 < Re A. < -2m, the formula
f x;. {cp (x) - cp ( - x) 00
(lx l;. sign x, cp) =
0
2 [ (0) + x33! cp< 3 ) (0) + . . . + (2m -� �-=� cp <2m- 1 ) (0)] dx - 1)! }
- 2 xcp'
holds. We write lxl -2m- l sign x = x - 2m- l for A = - 2m - 1 , so that 00
(x - 2m- l , cp) =
f x - 2m- l {cp (x) - cp ( - x) o
x3 x2m- 1 - 2 xcp' (O) + cp<3> (o) + · · · + cp
[
]}
dx .
308
GENERALIZED FUNCTIONS
In particular,
J 00
(X - 1 , q>) =
0
_3
(X , q>) =
J
q> (x) - q> ( - x2 dX , X
00
0
q> (x) - cp ( - x) - 2xcp' (O) dX . 3 X
The expression (x - 1 , q>) is called the principal value of the integral
J 00
- oo
q> (x) dx in the Cauchy sense. x
For A = - n the generalized function (x + iO);. is defined by the equality n - 1 (j l) in (
and the generalized function (x - iO)A by the equality n - 1 c) in { - l )-
3. Regularization of functions with algebraic singularities. Suppose the function f (x) has the single singular point x = 0 and can be written in the form n f (x) = 2: C(i (x) hi (x) , j= 1
where the C(i (x) are infinitely differentiable functions, and the hi (x) are taken from the functions x� , x� , x- n, A � - 1 , - 2, Then . . .
U ,) =
n
2:
( hj• C(j)
•
.
1 Since the C(i (x) q> (x) are functions of the space K, then all the terms on the right hand side make sense. This defines the regularization of the function f (x). Analogously, we define the regularization of a function f (x) having an algebraic singular point x = x 0 . For an arbitrary function f (x) with j=
§ 2.
GENERALIZED FUN CTIONS AND DIVERGENT INTEGRALS
309
algebraic singularities, we can construct functions fk (x), 1 � k < oo, such that f = Lfk, each of the functions fk (x) has one singular point, and only a finite number of the functions are different from zero on every segment lxl � a Then we set
.
00
It is possible to show that the value (J, cp) does not depend on the method of partitioning and that the formula mentioned defines a canonical regularization in the space of functions with algebraic singularities. Thus an algorithm is given for the regularization of integrals of the form J f (x) cp (x) dx, where f (x) is an arbitrary function with algebraic singularities and cp (x) is a function of the space K. The formulas obtained are applicable to a wider class of functions. For example, if the function f ( x) has exponential growth (i.e. if a , p and C exist such that I f (x) I � C(l + l xi 2 )P for lx l �a), then the formulas for regularization are appli cable to the infinitely differentiable functions which are decreasing, to gether with all derivatives, as l x l � oo faster than an arbitrary power of l x l .
EXAMPLE 1 . Let the infinitely differentiable function cp (x) vanish
outside the segment ization that
[-;, ;] . It follows from the formulas of regular 00
(cot �, cp (x)) J [cp (x) - cp ( - x)] cot � dx . =
Analogously,
0
1 -, cp . X
Slll
2
-
2
0
cp (x) + cp ( - x) . 2X Slll 2
8cp (0)
ExAMPLE 2. The well-known integral expression 00
r (A.) =
f x.l. - l e-x dx 0
for the r-function is convergent only for
ReA. > 0.
dx .
310
GENERALIZED FUNCTIONS
However, it remains valid for arbitrary values of A., A. # - 1 , - 2, . . . if we understand the integral in the generalized sense. In this connection, if n > Re A. > -n- 1, then the formula in expanded form is written as follows : -
4. Regularization on a finite segment. Let
{0
/
;. if X E [O, bJ , X ;. b] = X[o, if X ¢; [0 , b] .
Since the function cp (x) might not be equal to zero at the point x = b, the formulas in no. 2 are not applicable in this case. The formula in the form b x n ( xto , b]• q>) = x;. q> (x) - cp (O) cp < - 1 ) (0) dx + )! (n
f [
_
, ,
]
��
_
0
holds for Re A.> - n - 1 , A. # - 1, - 2, . . . We can consider this formula as a regularization of the integral
b
.
S x ;. q> ( x) dx. If n - 1 < Re A. < n, -
0
-
then as b-+ oo , the formula passes to one of the formulas in no. 2. EXAMPLE. For arbitrary value of A. different from - 1 , - 2, . . . , - n, . . . ,
f x;. dx b
0
=
b).+ 1
•
A. + l -
(this integral is divergent for Re A. < - 1 and the expression on the right hand side gives a regularized value of the integral). It is useful to remark that, for O < c < b, the equality b b ,
c
J x;.cp (x) dx = J x;.q>(x) dx + J x;.q> (x) dx 0
0
c
is satisfied for arbitrary functions cp (x) of the space K if we understand by the first two integrals the regularized value indicated above.
§ 2. GENERALIZED FUNCTIONS AND DIVERGENT INTEGRALS
311
As with the preceding, we can regularize integrals of the form b
I (x - a)'' oc (x) cp (x) dx a
and
b
f (b - xr oc (x) cp (x) dx , a
where oc (x) is an infinitely differentiable function and cp (x) is a function coinciding with a function of the space K on the segment [a, b]. If the points a and b are singular points for the function f (x), then we set b b c
If (x) cp (x) dx = I f (x) cp (x) dx + f f (x) cp (x) dx , a
a
c
regularizing the terms on the right by the above indicated method. The result obtained does not depend on the choice of the point c. EXAMPLES
1 . The equality
B (A., fl)
1
= I x;.- 1 (1 - x)�'- 1 dx 0
is valid in the classical sense for Re A. > O, Re{l > O ; it remains valid for all and fl except the values - I , - 2, . . . if we understand the integral in the sense of a regularized value. However, the formula in expanded form is cumbersome for Re A.> - k, Re {l > - s :
A.
B(A., fl)
t
=
k- 1 r (fl) x' 1 1 ' x;.- ( 1 - x}l<- - I ( - 1)
I [ 1 + J (1 - xy- 1 [x).- 1 - •2:1 (
r ! F (fl - r)
r=O
0
kt- 1
+ \ L
r=O
r=O
-
r (A.) (1 1)'
( - 1)' r (fl) + 2'+). ; ! r cfl---=-;) (r + A.)
J
dx +
]
xr a x+
r ! F (A_ - r)
( - 1)' r (A.) \ L 2' + 1' r ! r (A. - r) (r + fl)
s- 1
·
312
GENERALIZED FUNCTIONS
2. The integral representation of the spherical function 1 (x2 - 1)q/ 2 (1 - t2)q -t �.p-q t x) = d P ( 2q Jn F (q + -!) (X + t Jx2 - 1)q - P -1 I xi > 1 ,
f
is valid in the classical sense for Re q > - -! ; it remains valid for all q, q f= - -!. - �' . . . if we consider regularized values of the integrals. Regularization at infinity. Let b > O and K(b, oo ) be the class of all functions cp (x) which are defined and infinitely differentiable for all x > b and such that the inversion transformation cp (x)---+ cp (!_) takes X 5.
them onto functions t/1 (x) coinciding on the interval (0,
!) with func
tions of the space K. For A. f= - I , 0, 1, . . . , according to the definition, 1 /b x lcp (x) dx = Y-l- 2 cp dy ' b 0 00
C)
f
f
where the integral in the right side is understood in the sense indicated in no. 4. If the function ! (x) has the form xl g (x), where g (x) is a function of the class K(b, oo), then we set 00
00
I f (x) cp (x) dx = J xlg (x) cp (x) dx .
b b In an analogous manner, functions on the interval ( - oo , - b) are regularized. For the regularization of a function on the entire axis, we set -b f (x) cp (x) dx = f (x) cp (x) dx + 00
J
- oo
J
- oo
b
+
00
f j (X) ({J (X) dx f j (X) +
-b
b
applying the above indicated formulas to separate terms.
((J (X)
dx ,
§ 2. GENERALIZED FUNCTIONS AND DIVERGENT INTEGRALS
313
EXAMPLES
y=IX shows that +l b l = d Xl dx = y-l-2 y -A+1 f J
1. The substitution
1 fb
00
•
b
0
A.# - 1 (compare with the example in no. 4). Therefore f Xl dx = f Xl dx + f Xl dx = 0 for A.# 1 2. The equality B(A., f.1) = f xl-1(l +xr l- �' dx , valid in the classical sense for Re A. > 0, Re f.1 > 0, remains valid for all values of A. and (except A., f.1= - 1 , - 2, ) if we understand the integral
for
b
00
b
0
0
-
00
.
00
0
f.1
. . .
in the sense of a regularized value . 3. The integral representation of the MacDonald function
valid in the classical sense only for Rep > - t, remains valid for all p (p ;6 - t, -f, . . . if we understand the integral in the sense of a regu larized value. -
)
6. Non-canonical regularizations. In some cases, non-canonical regu larizations of divergent integrals turn out to be useful. 1) Let n be the function defined by the equalities
X+
x-" if x > O, { X+ 0. -n
=
0
if
X <
314
GENERALIZED FUNCTIONS
To it corresponds the functional (x + n , cp) of the form (x + n , cp) =
f [ o
x - n cp (x) - cp (O) - xcp' (O) - o o o n- 1 x xn - 2 cp
J
_
where 8 (x) = 0 for x < O and 8 (x) = l for x > Oo This functional is not a value of the functional x� for A.= - no 2) The generalized function (x = n, cp) =
f [ o
X - n cp ( - x) - cp (O) + xcp' (O) - o o o -
corresponds to the function
J
n- 1 x cp
{
0 if X > 0 , n X -- = jxj - n if X < 0 o
It also is not a value of the generalized function x� for A. = - n o 3) The generalized function
f - 2[
( J xj - 2 m - t , cp) =
{
x - 2 m - 1 cp (x) + cp ( - x) -
0
cp (O) +
��
cp" (0) +
0 0 0
+
;�
(
!
cp <2m) (O) 8(1 - x)
]}
dx
]}
dx
corresponds to the function jxj - 2m - 1 o This function is not a value of the generalized function j xj;. for A.= -2m- 1 . 4) The generalized function (jxj - 2 m sign x, cp) =
f { o
x - 2m cp (x) - cp ( - x) -
[
x3 - 2 xcp' (0) + cp"' (0) + + 3! x2m - 1 cp < 2m - 1 ) (0) 8 (1 - x) + (2m - 1) ! corresponds to the function Jxr 2m signxo 0 0 0
§ 2.
315
GENERALIZED FUNCTIONS AND DIVERGENT INTEGRALS
This function is not a value of the generalized function lxl ;. sign x for A.= -2m. 5) The generalized function
J x;. lnm x [q> (x) - cp (O) - xcp' (O) 1
(x� lnm x + , q>) =
o
-
xn - 1
(n - 1 ) !
corresponds to the function
-··· -
I x;. lnm xq> (x) dx 00
q> (n - 1 ) (0) dx +
]
1
+
{
X;. lnm X if X > 0 , X+;. lnm X + = 0 if x < O
for Re A. > - n - l , k;6 - l , - 2, . . . . We can give a simpler formula for - n - 1 < Re A. < - n : (x� lnm x+ > q> ) =
I x;. lnm x [q> (x) - cp (O) 0
- xq> ' ( 0)
-
· ·
·-
Xn - 1
(n
-
--
1)!
J
q> (n - l ) (0) dx .
The last formula is obtained from the formula for x� (see no. 2) by replacing x;. by x;. lnmx. In the same way, the generalized function x� lnmx_ is given by the formula obtained from the formula for x� by replacing x;. by x;. lnm x. An analogous remark is valid for the generalized functions x+- n ln m x+ , x_- n lnm x_ , They are defined by the formulas obtained from the formulas for x+ n , n x::: , l x l \ lxl;. sign x by replacing x- n (or x;.) by x- n lnmx (or x;. lnmx) respectively. 6) The generalized functions In (x + iO) and In (x - iO) are defined by
316
GENERALIZED FUNCTIONS
the formulas :
ln (x + iO) = lim ln (x + ie) = ln lxl + in8 (- x) , +0 ln (x - iO) = lim ln (x - ie) = In lxl - in8 (- x) , +0 where, as above, O(x) = O for x < O and O (x) = 1 for x > O. 7) The generalized functions (x + iO)" ln (x + iO) and (x - iO)"· In (x - iO) £ -+
e -+
are given by the formulas :
(x + iOr· tn (x + iO) x� In x+ + ine;;. "x� + e;;."x� In x_ if A. f= - n , n 2 b (n - l ) (x = ) + x - n ln ixi if A. = - n ; ( - q inx = n + ( - l)n _ 1 2 (n - 1 ) ! =
(x - iOY' ln (x - iO) = x� ln x + - ine- u·"x� + - ;;."x� ln x_ if A. f= - n , 7t <)
e
Generali z ed functions x� , x� and functions which are analogous to as function of the parameter A.. them1 ) The regularization of the function x� was based on the equality 7.
( x� )' = A.x�- 1 • Another method for the regularization of this function
exists (which gives the same result) which is based on the idea of analytic continuation. If cp (x) is a fixed function of the space K, then the expression (x� , cp) is an analytic function of A. in the half-plane Re A.> - 1 . Con tinuing this function analytically to the entire A.-plane, we obtain values for the expression (x� , cp) also for Re A. � - 1. It turns out that the value of this analytic continuation is given by the formula in no. 2 for Re A. > - 1 , A. f= - I , - 2, . . . , -n and by the simpler formula mentioned The analytic function (x� , cp) has simple there for - - l < ReA. < poles for A.= - 1 , - 2, . . . , - k, . . . . The residues at these poles are given by the formulas
n- n
-n.
). = - k
(k - 1 ) !
We can say that the generalized function x� is an analytic function of A. with poles at the points A. = - 1, . . . , - k, . , where . .
( - 1l - 1
k = 1, 2, . . .
317
§ 2. GENERALIZED FUNCTIONS AND DIVERGENT INTEGRALS
It is convenient to normalize this generalized function, considering instead the function x� /F (A + 1). This function is an entire analytic function of A assuming, at A = - 1 , . . . , - k, . . . , the values J(k - 1) (x) (since the function r (A + 1) has poles at the same points as the function x� ). The expansion ofthe function x� in powers of A - A0 , Ao "# - 1, . . . , - k, . . . has the form m ) (A A 0 1 1 X ).+ = X ).o X ).o + nm X+ + + + (A - Ao ) X ;.o + n X+ + + m! 1
1
• • •
• • •
The expansion of the same function x� in powers of A + k has the form
(2 + kt - k m + x + In x + + · · · m! Analogous statements are valid for the function x� . It has poles at J
and
hold.
20 "# - 1 , - 2, . . . , - k, . . . ,
+ ··· ,
2) The generalized function lxl" is an analytic function of A having simple poles at A = - 1 , - 3, . . . , - 2k- 1 , . . . with residues
318
GENERALIZED FUNCTIONS
The normalized function lxl" fr assuming the values
c: 1) is an entire analytic function of
2,
( - 1l k ! b(l kl (x) (2k) !
at 2 = - 2k - l . The formulas
1 lxl" = lxl?.o + (2 - .leo) lxl"o In lxl + . . . + - (2 - .?cot lxl?.o lnm lxl + . . . , m! 2 #: - 1, - 3, . . . , - 2k - 1, . . . ,
and
2b( l k) (x) 1 + I X 1 - 2k - 1 + IXI" = (2k) ! A + 2k + 1 + (2 + 2k + 1) lxl - l k- 1 1n lxl + . . · + (2 + 2k + 1 t - l k - 1 m In lxl + .. · lxl + ---m! are valid. 3) The generalized function lxl " sign x is also analytic and has simple poles at 2 = - 2, -4, . . . , - 2k, . . . with residues 15(2k - 1 l (x) . Res lxl ;. sign x = - 2 (2k - 1 ) ! ). = - 2k ···
The normalized function l xl" sign xjr of 2, assuming the values
.
-
.
C ! ) is an entire analytic function 2
2k - l l (x) ! b( (k l) ( - 1)k (2k - 1) !
for 2 = - 2, - 4, . . , - 2k, . . . . The following formulas are valid : lxl;. sign x = lxl"o sign x + (2 - 20) lxl?.o In lxl sign x + . . . + 1 + --1 lxl"o lnm lxl sign x + . . · , m. 2 #: - 2, - 4, . . . , - 2k, . . . ,
§ 2. GENERALIZED FUNCTIONS AND DIVERGENT INTEGRALS
319
and
2 b( k - 1 ) (x-) 1 2 + lxl- k sign x + lxl;. sign x = - 2 (2k - 1) ! A + 2 k 2 + (A + 2k) l x l - k In lxl sign x + . . . + (A + 2kt lxl - 2 k ln m lxl sign x + . . . + m!
4) The generalized functions (x + iOl and (x - iOl are entire analytic functions of A. They assume the values in ( - 1 )k - 1 -- b( k - 1 ) (x) (x + wr k = x-k (k - 1)! and . 1 m ( - 1 )k ---- b( k - 1 ) (x) (x - wr k = x-k + (k - 1 ) ! for A = - 1 , - 2, . . . , - k, . . . , respectively. 8. Homogeneous generalized functions. A generalized function f (x) of one variable is called a homogeneous function of degree A if the equality f (ax) = a;. f (x) is satisfied for arbitrary a > O. For every A, the homo geneous generalized functions of degree A are linear combinations of two linearly independent homogeneous functions. We can take (x + i Of and (x - iO);. as these functions for example. For A # - 1 , - 2, . . . , - k, . . . we can take the functions xi and x� , and for A = - k we can take the functions x- k and b( k - 1 > (x). A generalized function f (x) is called an associated homogeneous function of degree A and order m if the equality f (ax) = a;.f (x) + a;. lnm af0 (x) holds, where fo (x) is an associated homogeneous generalized function of degree A and order m - 1 (the homogeneous generalized functions of degree A are the associated homogeneous functions of the same degree and zero order). For an arbitrary value of A, there exist two linearly independent associated homogeneous generalized functions of d egree A and order m of which all such functions are linear combinations. For arbitrary A, we can choose (x + iOl lnm (x+ iO) and (x - iO)A Inm (x - iO). For A # - 1 , . . . ,
320
GENERALIZED FUNCTIONS
- k, . . . , we can take the functions x� lnm x + and x� lnm x _ , and for A= - 1, . . . , - k, . . we can take the functions x+ k lnm x+ and x- k lnm x _ . .
9.
Table of derivatives of some generalized functions. f (x)
1 2 3 4
5 6
f' (x)
A.x�- 1 , A ¥: - 1 , - 2, . . . , - k, . . . A.x�- 1 , A ¥: - 1, - 2, ... , - k, . . . A i x i "-\ A # - 1 , - 3, . . , - 2k - 1 , . . . A lxl" - 1 sign x, A # - 2, - 4, . , - 2 k, . . . A (x + i0)" - 1 A (x - i0)"-1 ( - 1 )k b(k ) (x) 1 k k + + k!
I xi " I x i" sign x
(x
.
..
+ iO)"
(x - iO)"
-
7 8
(x) - k - 1 - b--- - kx k!
x _k
10
2 l xr k
11
ln (x + iO)
sign x
12
ln (x - iO)
13 14
ln x +
2b( 2k
+
1) (�) - (2k + 1) x (2k + 1 ) ! 2b <2k > (x) 1 2 - 2kX k + 2k ! 1 1 - 2k - 2
9
15 16
X
=
(x + iOr
(x - iOr
1
=
X
-
1
X
-
-
inb (x)
+ inb (x)
ln x _ In l x l O (x)
b (x)
It remains to remark that a q-th order anti-derivative of the function I xi" is given by the formula [i]
f f ···
'---v--1
q
(sign x)q \ 1 . xq - 2k l x l dx = (A + 1) . . . (A + q) - �1 (2k - 1) ! (q - 2 k) ! A + 2k ;.
q l xi H
k=
§ 2. GENERALIZED FUNCTIONS AND DIVERGENT INTEGRALS
321
10. Differentiation and integration of arbitrary order. Let f (x) be a function which is equal to zero on the half-axis ( - oo , 0) and integrable on an arbitrary finite segment of the half-axis (0, oo ). Then its q-th order anti-derivative which is zero on the half-axis ( - oo , 0) is given by the Cauchy formula : X
/q (x) = r
�q) I 1 (t) (x - t)q - 1 d t . 0
We can write this formula in the form
In analogy with this equality, an anti-derivative of order A of a gener alized function f(x) which is equal to zero on the half-axis ( - oo , 0) is defined by the following formula : X.1.+- 1 /;. (x) = f (x) * F (A) ·
The generalized function x�- 1 /F (A) is denoted by 4>;. (x). In no. 7 it was indicated that x.1.+- 1 k
k k f- k (x) = f (x) * 4> -k (x) = f (x) * b( ) (x) = f ( ) (x) .
Thus the anti-derivative of order - k is nothing other than the derivative of order k of the generalized function f (x) . In accordance with this, we set
for arbitrary A. The formula dp dp + f = dxP dx1 dxfJ + r implied by the equality
(��!)
y
'
GENERALIZED FUNCTIONS
322
( )
is valid. For the function
dxA F (Jl)
=
�t - A - 1
X+
FC11---A) .
dAe (x)
x:A r(- A + -d:?·
The Abel integral equation
1
' 1)
X
f (t) d t g (x) = r ( 1 - a) (x - t)"
I 0
can be written in the form
where A = - a + 1. By virtue of the formula for the convolution of the functions
X
f (x) =
J
( 1 (x - t)" - 2 g (t) dt r a 1) -
0
is obtained for 0 < a < 1 where we understand the integral as a regularized value. If g (x) is a differentiable function, then the last equality can be written as follows : X
f (x) =
J
- �- (x - t)" - 1 g' (t) dt .
r (a)
0
1 1 . Expression of some special functions in the form of derivatives of fractional order. Using the operations of differentiation and integration
§ 3.
323
SOME GENERALIZED F UNCTIONS OF SEVERAL VARIABLES
of fractional order, we can quickly obtain integral representations of some special functions. For example, the following equalities are valid for the hyper geometric function : O<x
O<x < l.
For a Bessel function the equality
[
a - p - t co s Jx 2P Jn xP12J (JXI = P ""' J dx P t Jx
]
is valid. Using formulas for differentiation and integration, we can obtain several relations for hypergeometric and Bessel functions from these expressions. For example, taking the derivative of order q 1 of both sides of the last equality, we obtain p+ q + 1 a- q - 1 IJ. q + 1x = (x) 2 x 2 Jp+ q + 1 (.JX) . 2J [ P ] q 1 �d -
-
In integral form this equality means the following :
§ 3. Some generalized functions of several variables
1 The generalizedfunction r ;.. An analogue of the generalized function I xi\ for functions of several variables, is the generalized function r A, r=Jxi + · · · + x�. It is given by the formula .
(r\
f r'"
324
GENERALIZED FUNCTIONS
for Re A. > -n. The expression (r ",-n. Continuing this function analytically, we obtain 00
(r ",
()
f rHn - l S"' (r) dr , 0
where Q n = 2 (Jn)"!r ; is the area of the surface of the unit ball in n-dimensional space, S"' ( r) is the mean value of the function
[ --
1 b(Zk) ( r) r" = Q + r - n - lk + (A. + n + 2k) r - n - lk In r + . . . . n (2k) ! A + n + 2k
J
The functionals b(Zk> (r), r - n - 2k, r - n - lk lnm r are applied to the function s"' ( r) and understood as ( b(lk) (r), S"' (r)), ( r + n - lk, S"' (r)), (r � n - lk lnm r + • S"' (r)) .
The quantity (b(lk), S"') is expressed in terms of the function its derivatives by the formula (2k) ! Ak"' (o) 2kk .' n ( n + 2) . . (n + 2k - 2) =
where
L1
is the Laplace operator.
.
and
'
C: ) is an entire analytic function
The generalized function 2r"fanr
n
of A., and the value of this function at the point A. = - n - 2k is equal to ( - It Akb (x) ------ . 2 kk ! n (n + 2) . . . ( n + 2k - 2) The formula
A r" = 2 (2 + n - 2) r ;. - z ,
-
valid in the classical sense only for ReA. > - n + 2, retains its sense for all values of A., A. ¥: n - 2k, k = 0, 1 , . . . , if we regard both sides of the equality as generalized functions.
§ 3.
325
SOME GENERALIZED FUNCTIONS OF SEVERAL VARIABLES
In many problems, it is useful to expand the function r'- in terms of functions which assume fixed values on planes. This expansion has the form
where the point ( w1 , . . . , w n) ranges over the unit ball Q . In particular, for odd n n- 1 ( - 1) 2 n 1 ( ( x = ) b - ) (w 1 x1 + . . · + wnxn) dQ , b 1 2 (2n)" and for even n b (x) =
I Q
( - 1)"1 2 (n - l) !
(ln)"
Q
For arbitrary n, the formula b (x) =
I
(w 1 x1 + . . · + wnxn) - n dQ .
I
( + . . · + OJnXn - iOt " dQ rotXl n (2ni)
(n - l) !
n is valid. It follows from the first formula for b (x) that n- 1 1) 2 c = (O)
I
_
I
:E WkXk=
Q
0
a
where du0 is an area element in the plane I wk xk = O and - is differentiation in the direction of the vector w orthogonal to it. Analogously, it follows from the second formula that
" l ( n)
--- ( (w txt + . . · + wnxn) - n ,
( - 1 )"12 (n - l) !
where we set
I
8v
Q
t/l (t) =
f
t/J (w1 x 1 + . . . + wnxn)) dw ,
du1 is an area element in the plane L w• xk = t.
326
GENERALIZED FUNCTIONS
2.
n
Generalized functions connected with quadratic forms.
, p=
L a
gap XaXp
Let
P=
be a positive definite quadratic form. By means of a non-
1 singular linear transformation this form can be reduced to the form P= L1 y:. Therefore, the consideration of generalized functions of the form P'- in the case of positive definite quadratic forms P reduces to the consideration of the generalized function rH carried out in no. 1 . The situation is more complicated for non-definite quadratic forms since in this case the function P'- is not defined uniquely. P= L Forms with complex coefficients can be written in the form & = P1 + iP2, where P1 and P2 are real quadratic forms. Let the "upper half-plane" be the set of all quadratic forms P1 + iP2 for which the form P2 is positive definite, and the "lower half-plane" be the set of the forms of the form P1 - iP2 where P2 is positive definite. If the quadratic forin & belongs to the upper half-plane, then we set e'where 0 < arg & < and introduce the generalized function n
a=
n
a, p = 1
gapXaXp
g;'-
=
[In I 9' I + ; arg il'l
'
n
(integration is carried out over the entire space Rn). The function (x) is defined uniquely, and the integral is convergent for Rd >O and is an analytic function of A. Analytically continuing this function with respect to A, we define the functional
&'-
(&;.,
(iP2)'-.
&'- P1 =0 P2 r(iP2)'-H.
P2, &'-. If &= I 1 is an arbitrary quadratic form with a positive definite imaginary part, then the generalized function is a regular n
a, P =
g apXaXp
fJJ;.
§ 3. SOME GENERALIZED FUNCTIONS OF SEVERAL VARIABLES
327
analytic function of A everywhere except at the points n n n A= 1 , . . . , - - - k, . . . , 2 2 2 -
�
,
-
�
-
at which the function has simple poles. In this connection 1tni n e 4 n2 Res gJ;. = Vc5 (x) . n k n kk ! ). = 4 � i) k + 2 lgl --
-
�
-
-
r(; )
Here, L denotes the differential operator n z a a ' L= L gP axaaxp a, p = 1 whose coefficients are connected with the coefficients of the quadratic form gJ by the relations n
a L g P gPr = c5� (c5� is the Kronecker symbol) . P=l The determinant of the form f!J is denoted by I g 1 . The function J ( - i t l g j is given by the formula J c- it l g l = Ji bTZ (1 - A 1 i)t . . . ( 1 - An i)t .
Here lhl is the determinant of the matrix llbap ll of the transformation with real coefficients : n reducing the forms P1 and P2 , gJ = P1 + iP2 , to the forms P1 = A1Yi + . . · + AnY� , Pz = Yi + . . · + y ; , and the values of the square roots are given by the formula
If the form gJ = P1 - iP2 belongs to the lower half-plane, then its
residues at the points A= - �· ... , with the replacement of i by
-
i.
-�
-
k
,
. . . are given by the formulas
GENERALIZED FUNCTIONS
328
3. Generalizedfunctions (P + iO)-" and (P- iO);.. Let n
P = L= g.px.xp "·
P
1
be a non-degenerate quadratic form with real coefficients which has p positive and q negative terms in its canonical form. We consider quad ratic forms P1 + ieP2 , where P2 is a positive definite quadratic form with real coefficients and e > 0. We set
(P + iOl = lim (P.+ ieP2 /' e-+ + O
(the generalized function ( P + ieP2)'- is defined in no. 2). Analogously
(P - iO);. = lim (P - ieP2 );. . e -+ + 0
The generalized function ( P + iO)\ considered as a function of A., has
simple poles at the points A. = -�, - ; - 1, . . . , "
e 2
- -
. ql
-
; - k, . . . with residues
n
2 n
-
where Ll is the determinant of the form P. The function ( P- iO)-" has poles at the same points with residues obtained from the last formula by the replacement of i with - i. We set
;. - (P - iO/ iO) (P + . p_;. = 2i sin rcA. For Re A. > n, the generalized function P; coincides with the regular generalized function given by the formula -
(P� , cp) =
J P;.cp (x) dx ,
P>O
§ 3. SOME GENERALIZED F UNCTIONS OF SEVERAL VARIABLES
329
and P ;. coincides with the regular generalized function given by the formula
(P;. , rp) =
J IP (x)l;. rp (x) dx .
P
4. Generalized functions of the form f!J;. f (f!J, A.). Let f (z, A.) be an entire function of z and A.. If f!J is a complex quadratic form with a positive definite imaginary part, then we set
(f!J ;.f (f!J, A.), rp (x)) =
J f!J;.f (f!J, A.) rp (x) dx
for ReA. > 0. By means of analytic continuation the generalized function f!J;. f (f!J, A.) is defined for other values of A.. The generalized function f!J ;. lnm f!Jf (&, A.) is defined analogously. The generalized function (P + iO);. f (P+iO, A.) is given by the equality (P + iO)"" f (P + iO, A.) = lim (P + isP2 );. f (P + isP2 , A.) , e-+ + 0
where P2 is a positive definite quadratic form. Analogously (P - iO);. f (P - iO, A.) = lim (P - isP2 );. f (P - isP2 , A.) . e-+ + 0
If the form P is positive definite, then (P + iO)'- f (P + iO, A.) = (P - iO);. f (P - iO, A.) = P;.f (P, A.) . Moreover, The equalities
f (P + iO, A.) = f (P - iO, A.) = f (P, A.) .
;. i ;. ! ( P + iO) f (P, A.) = P f (P+ • A.) + e ;.,,P f (P A.) _ ,
and
(P - iO);. f (P, A.) = P! f (P+ , A.) + e - i;.,, p ;. f (P_ , A.)
are valid and give expressions for our generalized functions in terms of the variables P+ , P Such functions as _.
Z;. [(P +
1
i0)2] ,
A
1
(P + iO) --2 Z;. [( P + iOfJ ,
GENERALIZED FUNCTIONS
330
where Z;. (x ) is a cylindrical function, belong to the class of generalized functions being considered. To every real non-degenerate quadratic form P= L g apX aXp there a, P = 1 corresponds a form n Q = L gaPSaSp ' a, p = 1 conjugate to it, where L g aP g Pr (5� (a, y = 1, 2, . . . , n) In the sequel the generalized function P = 1 .l K n [c (Q + i0) 2 ] n
n
.
=
2+
).
!
( " + ;.)
---- -��--�
(Q + iOf 2 is used, where c is a real number. It is defined for non-integral A. by the expanswn ! Kn ). [c (Q + iO) J 0
2+
1
[c (Q + i0)2] Res 2 1 n .l.=s (Q + iO? (2 H) K-n
+ .l.
n
2
. -- L (5 ( x) ' m 4 m ! (s - m) ! -------:-
-
m=O
- ·
§ 3.
331
SOME GENERALIZED F UNCTIONS OF SEVERAL VARIABLES
where q is the number of negative terms in the canonical form of the form Q. By
(Q +
wyH� +s)
we denote the regular part of this generalized function for A. = s. 5. Generalized/unctions on smooth surfaces. Let the surface S be de fined by the equation P (x t > . , xn) = 0 in an n-dimensional space, where P is an infinitely differentiable function such that gradP# O for P = O (i.e. there are no singular points on the surface P = 0). We define the gener alized function c5 (P) in the following way. In a sufficiently small neigh borhood Ux of an arbitrary point x on the surface S new coordinates are introduced by setting u1 =P and choosing the remaining coordinates .
u2,
.
.
•
,
.
un arbitrarily with only the restriction that the jacobian
different from zero in Ux. If the function Ux, then we set
n(:) be
cp (x) becomes zero outside
where
In the general case, we expand the function cp (x) in terms cpk (x) which become zero outside the neighborhoods Uxk· We can show that the generalized function c5 ( P) depends only on the function P and does not depend on the choice of the coordinates u 1 , , un- We can also define this function in the following way. Let 8 (P) be the generalized function •
.
.
(8 (P), cp) =
J cp (x) dx . P ). O
332
GENERALIZED FUNCTIONS
Then c5 ( P) = 8' ( P) in the sense that ae (P) = ?!' c5 (P) oxj oxj
for arbitrary j. We set (J (kl (P), cp) = ( - l)k J 1/J��l (O, u2, . . . , un) du2 . . . dun for the gener alized functions J
is expressed in terms of c5 (P), . . . , J
(! , cp) =
IJ k
bi (x) J Ul (P) dx .
j=O
In this connection, the expression is unique : iff= 0, then bi (x) = O ,
l �j � k.
The formula for the differentiation of the composite function
� J< k l (P) = oP
OX ·
ax .
J
J
J
is valid. M oreover the equalities pJ
+
Pc5 (P) = 0 , kJ
hold. If the surfaces P=O and Q = O do not intersect and Q has the same properties as P, then If the function a (x) does not become zero, then J< kJ ( aP) =
J< kl (P) ak (x) I a ( x) I
.
Now let the surface S have dimension n - k in n-dimensional space and be defined by the k equations
§ 3. SOME GENERALIZED FUNCTIONS OF SEVERAL VARIABLES
333
where the Pi (x 1 , . . . , x n) are infinitely differentiable functions and where the surfaces P1 =0, . . , Pk =O form a regular network. In other words, it is assumed that in a neighborhood of each point x of the surface S we can introduce a system of coordinates u 1 , , un such that ui =Pi, I ::;;j ::;; k, .
. . •
n(:) is different from zero. Then we set (<5 (P1 , . . . , Pk), cp) = J 1/1(0, . . . , 0, u k+ t > . . . , u n) du k+ 1 . . . du n
and the jacobian
and
We can show that these generalized functions do not depend on the choice of the coordinates u 1 , , Un· The following equalities are valid for the functions which are intro duced : . . •
P;<5 (P1 , . . . , Pk) = 0 , P;Pi<5 (P1 , . . . , Pk) = 0 , 0
•
•
•
0
•
0
0
•
•
•
0
•
0
•
•
Identities obtained by formal differentiation of these last equalities are also valid. EXAMPLES. 1.
The generalized function <:5 (IX 1 x 1 + · · + IXnXn) is given by the equality ·
(<:5 (IX tXt + . . . + IXnXn), cp) =
J
I akxk = n
d(J ,
0
where d(J is an area element of the plane L IXkXk = 0. k• I
334
GENERALIZED FUNCTIONS
<5 (xy-c) is given by the formula d (<5 (xy - c), �) = - � x , for C # 0. n 3. The generalized function <5 ( r-c), where r2 = L x� , c>O, is given k= 2. The generalized function
I ( ;) :
1
by the formula
I
(c5 (r - c), �) = � dQc o Oc
where dQc is an area element of the surface of the ball Qc of radius This ball can be given by the equation r 2 c2• Then
c.
=
(<5 (r2 - c2 ), �) = 2�c 4. If P = Xt -f (x2, ... ,
I � dQc .
xn), then the equality
I
(<5 (P), �) = � [! (x2 , . . . , xn), X 2 , . . . , Xn] dx 2 . . . dxn holds.
§ 4. Fourier transformation of generalized functions 1 . The space S and generalized functions of exponential growth. In order to define the Fourier transformation for generalized functions, we introduce a new function space. A function � (x) is called rapidly de creasing as l x!-HD if the equality lim lxlm � (x) =O is satisfied for an Jx\ arbitrary m. The space S consists of functions � ( x) which are rapidly decreasing as lxl --+ co together with derivatives of every order (e-x2 and also functions of the form Pk (x) e-x2 where Pk (x ) is an arbitrary polynomial can serve as examples of such functions). A sequence of functions { �k (x) } of the space S is said to be convergent to zero if the equality � ao
lim sup [( 1 + k -+ 00
X
!xl 2 t ���q) (x)l] = 0 , 0 � !q! � m ,
is satisfied for an arbitrary m. Every infinitely differentiable function with compact support belongs to the space S. Hence a continuous one-to-one mapping of the space K
§ 4. FOURIER TRANSFORMATION OF GENERALIZED FUNCTIONS
335
onto an everywhere dense subset of the space S is defined. Therefore, every continuous linear functional on the space S defines a continuous linear functional on the space K, i.e., some generalized function. Such generalized functions are called generalized functions of exponential growth. For example, I xi\ (x + iO)"\ and so on, are generalized functions of exponential growth. An arbitrary generalized function with compact support has exponential growth. Locally summable functions f (x) for which the integral J l f (x) l (I + l x l 2) - m dx is convergent for some m define regular generalized functions of exponential growth. 2. Fourier transformation ofgeneralizedfunctions of exponential growth. We call the function rp (x) , defined by the equality
rp (s) =
J cp ( ) ei(x, X
s)
dx ,
the Fourier transformation of the summable function cp (x) where we set (X, S) =
X 1 S1 +
···
+ XnSn
•
The Fourier transformation of an arbitrary function cp (x) of the space S belongs to the same space, and the mapping cp (x)--+ rp (s) is a one-to-one bicontinuous mapping of the space S onto itself. If f (x) is a summable function having a summable square, then the equality (Plancherel equality)
f f (x) cp ( - x) dx = (l�Y J ] (s) rp (s) ds
is satisfied for an arbitrary function cp (x) of the space S. In connection with this we define the Fourier transform of the generalized function f (x) ofexponential growth as the generalized function/ (s) such that the equality 1 (! , cp (- x)) = (2nt (!, rp)
holds for an arbitary function cp (x) of the space S. The generalized function J also has exponential growth. The indicated definition coincides with the usual definition for regular generalized functions f(x). The Fourier transform of the generalized function f ( x) is also denoted by F(f).
336
GENERALIZED FUNCTIONS
For the Fourier transformation of generalized functions, the following formulas for the differentiation of ordinary Fourier transforms are retained :
[ (�, . . , }_) f J = P ( - is b . . . , - isn) axn .Ox 1 ( a a) _ F [P (ixb · · · , ixn) fJ = P , as asn
F P
.
J,
- . . . , -- J , l where P is an arbitrary polynomial. It remains to remark that
F [F (f (x))] = (2nt f ( - x) . ExAMPLE. It follows from the Fourier inversion formula that
f ds . rp(s) (2n)" Setting x = O, we obtain f (c5 , cp) = cp (O) = rp (s) ds = " ) (2nY (2n cp (x) = _l:___
e- i (s, x)
1
1
( 1 , rp) .
Therefore c) = I. Applying the formula for differentiation, we find the formula for the Fourier transform of a polynomial
(
F [P(x b . . . , xn)J = (2nt P - i For example,
)
. . . , - i !_ c5 (s) . asn as l 0-,
F ( l x l 2) = F (x i + · · · + x �) = - (2n)" L1 c5 (s) ,
where L1 is the Laplace operator : az az L1 = -2 + · · · + --2 . as n as1 If f (x) is an arbitrary locally summable function of exponential growth, then it can be written in the form f (x) = ( l + l xi 2)P h (x), where h (x) is a summable function and p > O is an integer. If the Fourier transform of the function h (x) is equal to Ji (s), then the Fourier transform of the function f (x) has the form
](s) = (2nt(l - A )P h (s) , where differentiation is thought of in the sense of generalized functions.
§ 4.
FOURIER TRANSFORMATION OF GENERALIZED F U NCTIONS
337
Iff(x) is a periodic local!y summable function with period a= (a1, . . . , a n), then it can be expanded in a Fourier series :
( )
m-, X) · e f (x) = L erne 27U
a
,
n \ mkxk m where ' x = - - . The Fourier transform off (x) has the form a ak kL =1 Thus the functional J (s) is concentrated on a denumerable set of points of the form
m1 ( mn) , 2n --, . . . ,
where m1, . . . , mn are integers.
al
an
-
3. Fourier transformation of arbitrary generalized functions. In order to define the Fourier transform of an arbitrary generalized function, we introduce still another space. We denote by Z the space consisting of entire analytic functions q> (z) satisfying inequalities of the form
jzmq> ( z)J :::;; Ce"IYI for a > O, z = x + iy where the constants C and a depend on cp (z) and m. A sequence of functions {0 such that m Jzm (x) is some function of the space K, then the function ,P(z) =
J cp (x) ei(x. z) dx
belongs to the space Z and the mapping cp (x)�,p (z) is a one-to-one bicontinuous mapping of the space K onto the space Z. Let f(x) be an arbitrary generalized function. Its Fourier transform is defined to be the continuous linear functional / on the space Z such that
338
GENERALIZED FUNCTIONS
the relation ( , tp) = (2nt (f , cp) function ilinear s satisfifunctionals edfor an arbitrary (x) of the space K. The continuous on the space Z are henceforth called generalized functions on this space. Thus the Fourier transform of a generalized function on the space K is a generalized function on the space Z. 1 . The generalized function (2n)n l>(s-ib) on the space Z is the Fourier transformation of the regular generalized function ebx. It is impossible to extend the functional l>(s-ib) from the space Z to the S inasmuch as there are non-analytic functions in the '
q>
EXAMPLES.
space which are defined only for real values of the argument. 2. The generalized function
-
i
space S
oo
is the Fourier transform of the regular generalized function of one variable . l e2 . f (x) = J2n
generali z ed functions of one variable. Table of Fourier transforms(A.)of, B(A. ) , C(A.), D(A. ) and the coefficients A a
Entry no. Generalized function f (x) -
�
Its Fourier transform f(s)
·-·-
00
1 2
Usual integrable function f (x) t> (x) x � # 1, - 2, . . .
3
X�
0
(A. -
F [f] = f f (x) eixs dx -
oo
1
) A(A.) (s+ iOr " -1 = A (A.) s�"+-1B(A.+ ) s::: ;. -1 in + 1 n ! s- n-1 + ( - it nt>
§ 4.
Entry no. Generalized function /(x)
4 5
6 7
339
FOURIER TRANSFORMATION OF GENERALIZED FUN CTIONS
�
Its Fourier transform f(s)
is -1 + nb(s) B(A.) (s - wr;. - 1 = A (A.) s:::" - 1 + X� -1 + B(A. ) s (A. - 1, - 2, . . ) " + (- q+ 1 n ! s-n -1 + innb
.
. ' " ... -
" . '...
8 9
10 11 12 13
14 15
16 17
�
=I= -
=I= -
m
- 1t
... "
=I= -
18
l
+
+
+
=I= -
+
340
Entry no.
19
20
21
GENERALIZED FUNCTION S
-
Its Fourier transform f(s)
Generalized function f(x)
In x + In x _ l x l " In l x l
(A. # - 1, - 2, . . . )
i
{(
r ( 1)
-
ie
i
+i
{(
r (1 )
�) [(s + wr 1 -
-i
- (s + i0) - 1 In (s + iO)J
}
- (s - i0f 1 In (s - iO)]
}
;) [(s - wr 1 -
[{ r (A. + 1) + + i ; F (A. + 1)] <s + wr " - 1 -
i-t ;
}
- r(A. + 1) (s + wr " - 1 In(s + iO) -
[ - ie ; { r' (A. + 1) ; F (A. + 1)] (s - wr "- 1 - ;-<
-i
- r(A. + 1) (s - wr "- 1 In (s - iO)
22
l x l " In l xl sign x
(A. # - 1, - 2, . . . )
{[ ie' 2 r' (A. + 1) + + i ; r (A. + 1) ] <s + wr "- 1 •.t n
} }
- F(A. + 1) (s + i0) - -t - 1 In(s + iO) +
{[r (A. + 1) ; r (A. + l)] <s - wr " - 1 -
+ ie - i-<; -i
23 24
x - 2 m In l x l x - 2 m - 1 In l x l
- F(A. + 1) (s - wr-t - t In(s - iO)
}
Cl2 m) ls l 2 m - 1 - c62 m) lsl 2m - l ln lsl + idi2 m + l)s2 m sign s - id62m I )s2m in l s l sign s
§ 4. FOURIER TRANSFORMATION OF GENERALIZED FUNCTIONS
Entry no.
Generalized function f (x)
25
lxl- z m - l ln lxl
26
l x r 2m ln lxl sign x
341
N
Its Fourier transform f(s)
i d �2 m )s 2m - 1 - id&2m)s 2m - 1 In l s i + l
.
+ - d (2�)s 2m- 1 ln 2 1 s l
J nr (A. + 1) (A. # - 1, - 2, . . . )
28
b ( n - l ) ( l - x 2)
30
(x2 - 1)�
Gr
2
.t - t
JH t (s)
(A. # - 1, - 2, . . . )
31
(x2 - 1)�
Functional (], rp) =
-
i oo
2n
Iioo
-
34 35 36 37
b (Z m) (x) b ( Z m + l ) (x )
sin bx cos bx
( - I t s2m ( _ l ) m is 2m + 1 - i n [b (s + b) - b (s - b)] n [b (s + b) + b (s - b)]
38
Polynomial P (x)
2n P - i
( :) s
b (s)
52
e2 rp (s) ds
GENERALIZED FUNCTIONS
342
Here and in the sequel, the following standard notations are used : 1 [cos A.nl;. (z) - l_ ;. (z)] , N;. ( z) = 0 s m A.n K;. (z) =
where
n
[L ;. ( z) - I;. (z)] , 0 2 sm A.n - n.l.i
I;. (z) = e 2 l;. (iz) , HP l (z) = l;. ( z) + iN;. (z) , H,J.2l (z) = l;. (z) - iN;. (z) , A. is not an integer .
The functions A (A.), B(A.), C(A.), D (A.) are given by the equalities : i.l.!!_
a (n)1 A (A.) = ie 2 F (A. + 1) = - + a �nl + ainl (A. + n) + o o o , A. + n - i.l.!!_
b (n) + b �n) + b inl(A. + n) + o o o ' B (A.) = - ie 2 F (A. + 1) = A. + n c
0 0 0 ,
The coefficients a
- --
a (-n)1 -
on - 1
l
-,--
(n - 1 ) ! on - 1 l
,
[ {'
1 1 00 n + r' ( 1) + i ' 1+-+ + 2 2 n-1 (n - 1 ) ! -1 n 1 7r 2 1 in - 1 ---+ a(1n ) + / jk 8 (n - 1)! L
a �n ) =
j= 1
J
0
j¢k 1 � j, k � n - 1
(
)
1 1 0 0 0 r (1) + r "(1) + + 1+ + + n-1 2 1 1 00 n 0 + r' {1 + + +i + 1 2 n-1 2
[
)]}
0
§ 4.
FOURIER TRANSFORMATION OF GENERALIZED FUNCTIONS
343
The coefficients bV:.l1 , and so on, are expressed in terms of the ainl by the formulas : - ak( n ) ' b(kn) cin) 2 Re akn) , =
din ) = 2 Im ain) .
In particular,
· -1 2 { l )n - 1 ( l) n n b(-n )1 cos { n - 1) 11: , , c(- )1 (n - 1) ! (n - 1) ! 2 -
d(n )1 =
11: 2 (- 1t sin ( n - 1) - . (n - 1) ! 2
(Table 5 see pp. 344-348)
Regarding notation concerning quadratic forms, see § 3 ; in particular, Q is the form associate to P. The coefficients c<::. i 2 m) , 4n + 2 m) , and so on, are the coefficients in the Laurent expansion of the function
in a neighborhood of the point A. = - n - 2m.
6. Positive definite generalized functions.
The generalized functio n f(x) is said to b e positive definite if the inequality (!, q> * q> *) � O is satisfied for an arbitrary function q> (x) of the space K, where we set cp* (x) = cp ( - x). In order for the generalized function f (x) to be positive definite, it is necessary and sufficient that it be the Fourier transform of a positive measure p. of exponential growth (i.e. a measure p. such that the integral J ( 1 + lxl 2) - p dp. (x) is convergent for some p > O). An arbitary positive definite generalized function can be represented in the form f (x) = ( l -Lirf1 (x), where f1 (x) is a positive definite con tinuous function. The convolution of two positive definite generalized functions is positive defin ite.
5. Table of Fourier transforms of generalized functions of several variables Entry no .
Generalized function f (x)
"' .j:..
.j:..
Its Fourier transform /(�?)
�-c ;A))/ (} - .l.- n , (-=-2 n
1
2 3
r;, (A ¥ - n, - n
2.l.+"n� -
2, . . )
0
r;, In r
(A. ¥ - n, - n - 2, . . . )
r;. ln2 r
(A ¥ - n, - n - 2, . . . )
C�(}-.l.-n + 2C�(}-.l.-n In (} + C;. (}-.l.-n ln2 (}
b (2m) (r) 1
n
r - 2m -
6
r 2m n 1n r
_
Qn
-
1
-
t5 (r - a)
( r d
a da
t5 ( r - a) a
Qn
n
n Qn - 1 a2(} 2 -
Qn - 1
- -
2 sinag
Jn
+
B0
(}
+
cin + 2m)(} 2m]
1
a J. - - 1 ( Q)
2
- ·
'
N "' 0
-
c: z
[c <· � z m)Q z m In Q + c�n + 2 m)Q z m]
[tc<•7 2m)(} 2m ln 2 (} + c�n + 2m)(} 2m ln (}
r-
.,
-
Qn
z "' :0 >
"'
(2m) ! c (n + 2 m) 2m (} 1
5
8
r
.
C�(}-.l.- n + C;.(} -.1.-n ln (}
4
7
(} 2 = s 12 + · · · + s.2
n = 2m + 3
z "'
Entry no. �---
-
Generalized function f(x) ,
_. ___ _
Its Fourier transform /(�?) �--
-
e - 2q'2n + un-Ir "
9
.
Jc ( ) F L1 I J /
(P + i Ot
( �)
ez" q'2 n+ ur Jc + .
10
(l. + �)
Jc ( ) F L1/ I J
(P - iOt
,,.,
;. - � f iO Q (
+>., 0 c:
�
;;l �
;. - � f Q + iO (
� �
� ::l
�
0 .,
11
p+J.
j / Ll /
2i - ei (i H) " (Q + i Of ;. - �
I ] N
"' 0 .,
c: z
12
P!:
�
"'
' 1
ezq' ( Q + iO) 1t
•
_
2
]
w .j:>. Ul
"'
Entry no.
13
(c2 + P + iOY'
�
Its Fourier transform j(Q)
Generalized function f(x)
1. - !!.+ .l. 2 H 1 (j2n) " c 2 K!!. )c (Q - i0) 2 ] + --�
----
•
r ( - Jc) j/AI
__.._ 2 ----------,-:-
! (Q - iOy G + A)
2H � + 1 n� e - q;icH � �K !. (cQ-! ) + .l. + ! 2 - + 1. (H z" ) r ( - Jc) JJA I L Q! -
1.
2) ( n cQ z n i - .l. -+ 2' t (H �) Q H (l )
0 �
�� .,
�
§ z
"'
14
(c 2 + P - iO) "
+ � 2H 1 (j2n)" c A K!!. [c (Q + iO)!] +A 2 + ) ! G A (Q + wy r ( - Jc) JIA I - ·
!!. ni it+_!!_ 2 n 2eq2 c 2 K n (cQ -! ) .l. + -z + (H � ) Q� r ( - Jc) JTA1
it + _!!_ + 1
2
�-=-----:-
•
Jr l -
2
1.
2 -.l.- -n (cQ ) 2 -! (H �) Q
H (2 )
- · ----
Entry no.
15
Generalized function /(x)
(c 2 + P)� F(A. + 1)
�
Its Fourier transform /(q)
2
n -n - 1 -n + ). 2 in 2 c 2
.< + -
J!Ai
- iO)t] [c Q ( +.< -i K " -i(.<+D e
oO>
."""
(H � ) ! iO ) (Q
iO)! J + Q ( [c +.< K� D" - e ( ) ( � .<+ )! iO + (Q ; .<+
16
17
(c 2 + P)� r (A. + 1) o<•- 1 > (c2 + P)
n 1 -n + .< .<+-n -2 2 in 2 c 2
j iA I
+1 ' 1 ) (
i
JI A I
e
n
t iO ) q c ] _ 1ti K�+ J (Q z
n
H.<+ D iO ) Q (
- e z
f
( ) ( (Q + iO)! .<+ � )
n
�
�
�
ii1 Cl
�
�
..,
c: z (")
X
t 1riq Kn - s [c (Q - iO) ] 2
�
N "' tl
i2 -snz- 1cz-s
x I e
q"i K�+ Jc (Q + iO)! J
�
"' ::=
2
) -s G ! iO ) (Q
1riq Kn
- e2
2 -S
[c (Q + iO)!J
!
-----:---:--
) -s G � iO + ) Q (
w
:J
Entry no.
18
19
Generalized function f (x)
( c 2 + P)' r (s + 1)
Polynomial
P (x1, . . . , xn)
lH .j:>. 00
Its Fourier transform i (l?)
n
( - lt � � m
m=O (2n)" p
. 2s- 2m
4 m ! (s - m) !
(-
a i as/
...
, -
a . l as n
)
Cl "'
�
� N "' 0
c z
...,
�
§ 5. RADON TRANSFORMATION
§
349
5. Radon transformation
1 . Radon transformation of test functions and its properties.
T he
Fourier transformation of functions of several variables decomposes into two transformations : to t he integration of the function to be trans formed over planes in n-di mensional space and to a one-dimensional Fourier transformation. Namely, if
] (0 =
I f (x) ei(�, x) dx , 00
- oo
where we set
] (� p) = ,
I
f (x) c5 (p - (�, x)) dx )), see § 3, no. 5). Radon transform of the function ! (x).
(concerning the meaning of the symbol c5 (p - ( �, We call t he function
J (�, p) the
x
Basic properties of the Radon transform are expressed by the following formulas :
1 ) ] (r:x �, r:xp) = lr:xl - 1 ] (�, p) for arbitrary r:x # O ; 2) { f (x + a) } v = ] (�, p + (�, a)) ; 3) { f (A - 1 xW = ldet A I ] (A'�. p), where A is a non-degenerate linear transformation and A' is the transformation conj ugate to it ; 4) 5)
{( a ) f (x)} aJ -- ; op ox a {(a, x) f (xW = - ( a ) v
a,
= (a, �)
a,
op
00
- oo
( �, p)
v
8�
! (�, p);
GENERALIZED FUNCTIONS
350
The function f (X) is expressed in terms of 1 (e' p) by the formula
1
)n 2
v( 1 ; : ( , x)) dw , n ) ( � - 2 (2nt - 1 .,, .,
! ( x) _ ( -
1
f (x) =
l)���n-_1)_! I ( I ] (�. p) (p - (�, x)t n dp) dw , n
-
P
r
if n is odd, and by the formula
(
I
;:
oo
r
- oo
if n is even. Here we denote by r an arbitrary surface enclosing the origin and by dw the differential form on this surface defined by the equality
dw = L( - l l - 1 �k d�1 . . . dek - 1 dek + 1 · · · d�n · The integral with respect to p must be understood in the sense of a regularized value (see § 2, no. 2) .
The analog of the Plancherel formula for the Radon transform has the following form : 00
for a space of odd dimension and
I
f (x) g (x) dx =
c-
1)2 (n 1) ! (2 nt I( I I n
oo
oo
_
r
- oo - oo
X (P1 - P2 ) - n dp 1 dp2 dw
)
for a space of even dimension (the integral with respect to p 1 , p 2 also must be understood in the sense of a regularized value).
2. Radon transformation of generalized functions. Let S be the space
of infinitely differentiable functions rapidly decreasing together with all derivatives, and let the number of variables n be odd. We denote by S the space of functions 1/J (e, p) of the form 1/J (e, p) = J:n - l ) (e, p), where f (x)ES. This space consists of functions 1/J (e, p) such that : 1) 1/J (rxe, rxp)= locl - n 1/J (e, p) for arbitrary rx # O ;
§ 5.
RADON TRANSFORMATION
351
the functions 1/J (�, p) are infinitely differentiable with respect to � and with respect to p for � � 0 ; 3) the estimate 11/1 (�' p) I = 0 (p - k) holds for arbitrary k > 0 as I P I -+ oo and is uniform with respect to � when � runs through an arbitrary bounded closed domain not containing the point � = 0 ; this same estimate holds for derivatives of the function 1/J ; 4) for an arbitrary integer k ;;:,: 0, the integral 2)
00
- ao
is a homogeneous polynomial in � of degree k - n + 1 (for k < n - 1 the integral is equal to zero). To every generalized function (F, f) on the space S there is assigned a functional F on S such that n-1 ( - 1)_2_ (F, l/1) . (F, f ) = n)n- 1 2 (2 v
This functional can be extended to the space of all functions 1/J ( �' p) satisfying conditions 1 )-3) ; however, in this connection, it will not be uniquely defined, but only to within linear combinations of functions of the form p ka _ k _ 1 ( �), where for k < n - 1 , a _ k _ 1 (e) is an arbitrary function satisfying the condition of homogeneity a -k- 1 (o:: �) = C( -k lo:: r l a - k- 1 ( �) ; for k ;;,:n - 1 , besides the condition of homogeneity, the condition
I r
a - k - 1 (0 Pk -n + 1 (�) dw = 0
must be satisfied for an arbitrary homogeneous polynomial Pk - n + 1 (�) of degree k - n + 1 . The Radon transforms of characteristic functions of non-bounded domains are of basic interest. It turns out that for bounded domains, the Radon transform S(�, p) of the characteristic function of the domain V gives the area of the cross section of the domain by the plane (�, x) = p. Therefore the Radon transform of the characteristic function of a non bounded domain can be considered as a regularized value of the area of cross section of the domain.
352
GENERALIZED FUNCTIONS
3 . Table of Radon transforms of some generalized functions in an o dd dimensional space. In the table we set
e ( t)
=
{ 1,
when t > 0 , 0, when t < 0 ,
P (x) is a non-degenerate quadratic form, and Q (x) is the quadratic form conjugate to it. (Table see pp. 353-357)
§ 1.
6. Generalized functions and differential equations
Fundamental solutions.
(ox) (oxl
Let P !__ = P _!__ , . . . ,
) OXn
- �-
be a linear
differential operator with constant coefficients. A generalized function
E(x) satisfying the equation P
(:�) E(x) = b (x)
is called a fundamental
solution corresponding to this operator. This function is defined to within a solution of the homogeneous equation P
(:x) u (x) = O. If Jl (x)
is a
generalized function such that the convolution E * J1 (x) makes sense, then
(a:)
this convolution is a solution of the differential equation P For example, the fundamental solution
-
r2
-
n
(n - 2) Q n
u (x) = J1 (x).
, where r =
(xi + . . . + x;) and Q n is the area of the surface of the unit ball, corre82
02
sponds to the Laplace operator A = �2 + . . + -2 for n > 2, and the
oxl
·
ox n
1 I solution - - ln - corresponds for n = 2. Therefore for n > 2, the function 2n r u (x l , . . . , Xn) - -
(n
1
_
2) Qn
Jl ( �l , . . . , p d�l . . . d� n
f [(xl - � ) 1
2
- --2
--n----;;-2
)2
+ . . + (xn - �n ] ·
serves as a solution of the Poisson equation A u = J1 for the condition that the masses Jl (x) are concentrated in a bounded domain . Now let the equation contain time t. Let P
(!__, a ) 0
ax
t
be a linear
Table of Radon Transform Radon transform
Function
p"- 1 a (�), where a ( �) is an arbitrary even function which is homogeneous of degree - n and such that
1
J a (�) dw r
t5 (x 1 , . . . , xn) t5 (x 1 , . . . , xk) ,
k - odd (k < n)
t5 (x 1 , . . . , xk) even
( - 1 )" i!._ 2"n" - 1r - 1 (n) oO>
( ) ( : ) [P"t-- 1 (�1)� 1
�n"-tr 1 - � r - 1
B (x 1 )
k-
=
nn- k - 2r i
n
1
•
•
•
, xn) ,
+ P�- 1 (� 1 ):= 1 ] <5 (�2 • · · · · �")
n-k k-n+1 n k < ( ;; r_ 1 IP l - - I U Sk + I • · · · • 'on " ) 2 2
(
) ( )
n - k+ 1 n-k n-k+1 1 r _2_ 1 nn-k-tr 2 ( - 1) 2 2
X
l� 1 r 1 a (;J
� ;;J � "'
) ( )
(
::= > 0
.
t5 (p)
(k < n)
a (x 1 ) t5 (x2 ,
v.
�
!
X
k Pn - - l ln l p l t5 (�k + 1 • . . . , �n) w v. w
Function
w v. .j:>.
Radon transform
00
J Ia (x 1)1 dx 1
where
< oo
(x 1 )� ii (x2 , . . . , x n) , "'
A.
" ) - 1 - ;. ;. " - 1 A ( P+ '> 1 + + P - ('> 1 ) - - A
- not an integer
(x 1 )� ii (x2, . . . , xn) ,
k
=
p� ( �1 )+
1 -k
0, 1, . . .
A. f:.
-
1'
2k(k =
=
0, 1,
A. f:.
-
pk ln IP I tj
0, 1,
2k - 1 (k
=
1'
'
2, . . . )
"'
�
§
0 ...,
�(") �
p
2k l
2 1 2 _ /_, . , P 2k ln l p l tj(2kl (� 1 ) k �1 �
...
1 ' - 2, . . .
�
g
. . .)
lx 1 1 " sign x 1 ii (x 2 , . . . , xn) , A. f:.
-
- 2, . . . '
xfk ii (x 2 , . . . , xn) ,
k
pk_ ( �1 ) ::::
( � �t
1 IP1" 1�1 r - A
lx 1 l " ii (x 2 , . . . , Xn) , A. f:.
+
1 -k
I pI A sign p I� 1 1 - 1 - A sign � 1
--------
-�
Radon transform
Function
1 x 21k- u· c x 2 , . . . , xn) ,
k
=
2 2 P k- 1 / � d - k sign � 1
2 +
,_,
.
,
, P2 k - 1 ln / p / [J(2k- 1 ) (�1 )
1, 2, . . .
The characteristic function of the upper half of the cone in 3-dimensional space xi2 - Xz2 - x23 > 0 ' x 1 > 0 The characteristic function of the upper half of the hyper boloid in 3-dimensional space 2 2 2 Xl - X 2 - X3 > 1 , X 1 > 0 P;(x)
n [p� e c �1 ) + p � e c - �1 n C�i - �� - ��)+ t + P2 ln J p / C�i - �� - � D::: �
=
.
VI
ne ( �' p) ( � 21 - � 22
-
� 32) -+ -'- (p 2 - � 21 2
-
2) 2 3 � �2 +
2 + i C�i - �� - �D= � (P - �i (
-
+
��
l)J( /A / sin nA. 1) . . . [s n n (l ) Q +
---
(A. +
n-1 n-1 1 1 ) -z n -Z- / p / 2Hn -
+
::= > tl
-
A. +
-
n
+
2 �D ln J p - �i
+
�� + �� �
� ;;J>
z
"'
�
�
X
2
x
i
2 (�) - si n nk Q _- ;. - _!!_2 (�) , 2
- ;. - _!!_
J positive and negative squares in the
2 + A.
where k, l correspond to the number of canonical representation of the form P (x) ; P (x)
L1
is the determinant of the form
w VI VI
Function
(} (x 1 ) (xi - X� - · · · - x ;)�
w v. 0'1
Radon transform
n- 1 - U+ n - 1 U+ n 1 ,-n 7t 2 [P + (} (� 1 ) + P - - (} ( - � 1 )] i (� - �22 - " ' - �n2)+- ,. 2 -
1 n (..1. + 1) ... (A.+ ) �::- 1 n-1 ( - 1) 2- 1t 2 ip i2H n - 1 (�i - �� - . . . - �;)=;. - ; . 1 n ) ... 2 (A. + 1) (A. + sm nA. � � n-1 ( - 1 )--2- --1 n ) (A. + 1) . .. (A. + JIA I sin nA. � + [sin reG + A.) Q +;.- � (p2 + cQ)� �/ n k + n-1 .< 2 - sin - Q_ ;. (p2 + cQ)+ + n 1 -). - -n 2 -1 l + + sinn ( +A.) Q_ 2 (p + cQ).<_ -2 1) H n- 1 ] - ;. - � 2 n (k - sin -2- Q + (p + cQ) _ 2
2
[P (x)
+ c]�
TC
"'
n- 1
t::
2
t;j 0
x
c z
...,
2
"'
x
7t
2
-
--
z
-
2
z
Function
Radon transform
O (x 1) (xi - x� - x � - 1 )�
n
O (p �1 ) (� i
_
��
_
��) + J. - t (p
2 _
1 �i + �� + �� )�+ +
n -"2 - ;: 2 - ;: 2 ) - J. - t 2 ;: 2 'o;: 2 ;:2)). + 1 + ( 'o ( + + ._ 2 2 P 3 3+ 1 1 .. .. '" sin A. A. 1) ( n 2 + -----· -,---
<> (xi - x� <5 ( xi
<5 ( xi
-
· ·
·
-
x;)
+ . . + x; - 1 ) ·
- x� -
. .
·
-
x; - 1)
--
( 1 ) n-3 ( - 1)-y-- 2n--y-r- 1 � p In jp j ( i - � - . . . n- 1
n-3
n1 n- 1 ( - 1) 2 n -2-- r- 1 n-1 2 F- 1 n-
n
�
( - 1) (� 2 n
n 1 2) 2+ (p 2 - 2 . . · + + �n �1 1
2
( 1) (�12 - �22 - " ' - 2)+-2+n 1 �n n -
2
�
_
,
,
- �;)=
_
n-3 n- 1 n-3 2 x (p - �i + � � + . · + �;)/ + ( - 1 f 2 n 2 r 1 -
n 1 - 2+ 2 2 2 (P2 - � 21 + �22 + �n ) x (�1 - �2 2 - � i + � � + + en IP 2 x ln j' 2 2 �1 - �2 - "' - �n -
·
·
·
-
. .
"
'
"" VI .
� >
gz
n-3 2)�n +2
X
.
n2+ 1
-
�
( � 1) n
n-3 + �n2) _2
I
x
�
X
·
w VI ......
358
GENERALIZED FUNCTIONS
differential operator with constant coefficients, having order m with respect to t. We call the generalized function E(x, t) such that P
(!__ox, ot� ) E(x, t) =O and the initial conditions
om - 2 E (x, 0) E (x, 0) = 0, . .. , = 0, otm = 2 -
are satisfied the fundamental solution of the Cauchy problem corresponding to this operator. The solution of the Cauchy problem for the equation P with the initial conditions
has the form
o m -2 u (x, O) u (x, O) = O, . . . , ---a m - 2 = 0 , t om - 1 u (x, 0) -- ot'"-_ 1�- = U m - 1 (x)
(ox�, ot� ) u (x, t) = 0
u (x, t) = E (x, t) * u m - 1 (x)
(under the condition that this convolution makes sense). The solution of the Cauchy problem with initial conditions o m - 1 u (x, 0) o m - 2 u (x, 0) u (x, 0) = 0, . . . , = u m - 2 ( x), =0 in= �2 ot otm 1 can also be expressed in terms of the function E(x, t). For this, we set om - 1 v (x, 0) l Then the v (x, t) = E(x, t) * um - 2 (x) and denote um - 1 (x) = m i o solution of the indicated Cauchy problem has the form �
.
ov (x, t) ---- - E (x ' t) * um - 1 (x) ot
•
The solution of the Cauchy problem, if the derivative of (m k) th order is different from zero, is obtained analogously. The solution of the Cauchy problem in the general case is the sum of such solutions. -
-
§ 6.
GENERALIZED FUNCTIONS AND DIFFERENTIAL EQUATIONS
359
For the one-dimensional heat conduction equation fundamental solution of the Cauchy problem has the form
E(x, t) =
_ x2
1 2 Jnt
e 41, t > O .
Therefore the solution of the Cauchy problem for the initial condition u (x, 0) = u0 (x) is given by the formula
u (x, t) = E (x, t) * u 0 (x) =
1
2 Jnt
00
f �2
e 41u 0 (x - �) d� .
- oo
o2 U o 2 u For the wave equation 2 the fundamental solution of the 2 ' ot ox Cauchy problem has the form
{ 1 E(x, t) = �
if jxj < t , if lx l > t .
Making use of this, it is easy to obtain the solution of the Cauchy problem for this equation in d'Alembert form. We note the following statement : If E(x, t) is the fundamental solution of the Cauchy problem for the differential equation
a_u_:_(x_,_-_ t) at then the function Eo (x, t) =
P(i ax-0) u (x, t) = 0 , { 0E (x, t)
if t < 0 , if t � O
is a fundamental solution corresponding to the operator that is, satisfies the equation
·
oE 0 (x, t) Dt
P
( ) E0 (x, t) = c5 (x, t) . i
cJ
Dx
8at -P (i ax�).
360
GENERALIZED FUNCTIONS
E0 (x, t) gives (E0(x, t), cp(x, t)) = J (E(x, t), cp (x, t)) dt 0 for an arbitrary function cp (x, t) of the space K. On the left hand side of the equality, E0 (x, t) is applied to the function of two variables cp ( x, t); on the right hand side, under the integral sign, E(x, t) is applied, for every fixed t>O, to the function of one variable cp (x, t). 2. Fundamental solutions for some differential equations. For the iterated Laplace operator A m , a fundamental solution has the form (- 1t (2n)n c( 2m) r2m -n ln r, if 2m > n and n is even , E(x) Q n n 1t c- 2mr2m -n in remaining cases , (2n) (The definition of the function
00
---
=
1
-
For the wave equation
in an odd-dimensional space, 1 , 2, . . . , the fundamental solution of the Cauchy problem is given by the formula
n=2m+3, m=O, n __ 1 (_3_ )m c5( r - t) E(x, t) = J2 Qn - 1 t dt- t
( Qn _ 1 is the area of the surface of the (n - 1 )-dimensional unit ball). Therefore, for the initial conditions
ou(x, O) u(x, O) = O, at = f(x) the solution of the Cauchy problem has the form
m c5(r t ) d ) ( -u(x, t) = J -- tdt t * f(x) = =J ii
1 2 Qn - 1
( d )m t 2M (f) ,
n Qn 2 Qn - 1 tdt
n_
t
§ 6.
361
GENERALIZED FUNCTIONS AND DIFFERENTIAL EQUATIONS
where M1 ( f ) denotes the mean of the function f (x - e) on the sphere 1e1 = t. The fundamental solution of the Cauchy problem for the heat conduction equation in n-dimensional space is given by the formula
() )
-
E ( x, ) t
n
nt
2
e _ l::2 if
t > O,
if
t � 0.
0
The fundamental solutions for a differential operator of the form Lk, where
have the following form :
n
1) If n is an odd number or if n is an even number and k < -, then 2
where p
=
n L
n
L a, P = l
g apXaXp '
P=l
gapgPY
=
b�
(for the notation connected with quadratic forms P, see § 3, no. 2). A second fundamental solution has the form
n
2) If n is an even number and k ?;; -, then 2
4
k - 2 ! (k - 1) ! E2 (x) = E1 (x) .
3. Construction of fundamental solutions for elliptic equations.
P
(a_) ax
Let
be a differential operator of order 2m with constant coefficients,
362
GENERALIZED FUNCTIONS
and let P0 be the principal part of this operator, containing only deriva tives of order 2m. The operator P is called elliptic if, by the substitution a
a
in P 0 of the variables w 1 , . . . , wn for the symbols - , ... , -, the poly8x1
nomial P0 (w1 ,
• • •
, wn)
which is obtained is non-zero
ox n if w ¥= 0 (w =
(w l , . . . , wn)) .
In order to obtain a fundamental solution E(x 1 , x2, , xn) corre sponding to the elliptic operator P, we replace the equation • • •
by the equation
After this we expand the generalized function r" in plane waves (see § 3, no. 1) and solve the equation
(a )
j w l x l + . . . + wn xnl" = v p ox � A. + 1 Qnn 2 r -- 2
( )
Integrating these solutions with respect to w and setting A. = - n, we obtain the desired fundamental solution (since the generalized function 2r"/Dnr
c: n) is equal to c:5 E (x1,
• • •
, xn) =
(x)
for A. =
- n). Thus, in this way, we obtain n)
f vw (w 1x1 + n
· · · + wnxn, -
where Q is the unit sphere, 00
and
(
P w1
!!___ ,
d�
• • .
,
G (� , ) d�
Wn !!___
w) = c:5 (0 .
dQ ,
§ 6.
GENER ALIZED FUN CTIONS AND DIFFERENTIAL EQUATIONS
363
In the case that the dimension is odd
where c,
=
n- 1 ( - 1r2
n 1 Qn (2n)--y- 1 · 3 . . (n - 2) --- ·
-.------
.
For a homogeneous elliptic differential operator (P = P0), the solution of the equation
is given by the formula jw , x ,
1
Qnn
r -
where
m
Q ;. (�) =
2
--
\ L
k= l
+ ... +
wnxn1J.+ 2m
n
n
em - 2k " (2k - 1 ) ! (2m - 2k) ! (A. +-2k}
For A. = - n , we obtain a fundamental solution corresponding to the operator P. In the fundamental solution we can leave only those terms of the polynomial Q;.(O which are necessary in order for the function ob tained not to have a pole at A. = - n . If n is odd and 2m ?;:n, then the fundamental solution has the form n- 1
( - 1) 2 = 4 (2n)" - 1 (2m - n) !
J l w , x, f1
+··· +
dQ n 2 n n1 m. P (w1, . . . , wn)
W X
364
GENERALIZED FUNCTIONS
If n is even and 2m ;;;,: n, then n -- 1 E (x1 , , xn) = ( - 1)2 (2n)n (2m - n ) ! • • •
fl
w 1 x1 + · · · + WnXn
Q
12m-n
x
If n is odd and 2m < n, then
and, if n is even and 2m < n, then
The fundamental solution is an ordinary function, analytic for x 1= 0, and satisfies the relation E (x) = {
0 (r
2 m- n In r), if n is even and 2m ;;;,: n , 2 n 0 (r m- ) in the remaining cases
in a neighborhood of the origin of the coordinates. The function E(x) has continuous derivatives up to order 2m - n - 1 for 2m > n at the origin.
4. Fundamental solutions of homogeneous regular equations. The linear differential operator P
(:x) with constant coefficients is called
regular if it is homogeneous (that is all terms are derivatives of the same order m) and if the gradient of the function P (w 1 , , w n) does not become zero for w i= O on the cone P (w 1 , w n) = O . For a regular operator, • • •
• • •
,
§ 6 . GENERALIZED FUNCTIONS AND DIFFERENTIAL EQUATIONS
365
is a fundamental solution, where Q is the unit ball and the function fmn (x) has the following values : 1) if n is even and m � n, then
2) if n is even and m < n, then -n + m ( - 1) 2 (n - m - 1) ! m- n . X ' J.fmn (X) = n (2n) 3) if n is odd and m � n, then
fmn (X)
=
n- 1
2 ( - 1)· m - n Sign X X; 1 n 4 ( 2n ) ( m - n) !
4) if n is odd and m < n, then
-
n- 1
2 (n m - 1 ) ( 1)(j (x) . fmn (x) = 1 n 2 (2n) In this connection, the integral is understood in the sense of a regu larized value : E(x 1 , . . , Xn) = lim E. (x 1 , . . . , xn) '
.
where
We denote here by I P (w1 , · · · , wn) l > e.
D.
e->0
the set of points on the unit sphere for which
5. Fundamental solution of the Cauchy problem. Let a linear differ ential equation with constant coefficients
(
)
a a a , . . ., u=O P , Ot OX 1 ()xn
366
GENERALIZED FUNCTIONS
of order m with respect to the variable t be given. Let the differential operator
be such that the Cauchy problem is well posed for the equation Pro
(: :�) t
'
V =
0.
Then the fundamental solution of the Cauchy problem for the initial equation has the form E(t, x) =
J vro (t, x1 w1 + · · · + xnwn, - n) dQ , n
where
00
and Gro (t, �) is the fundamental solution of the Cauchy problem for the � equation Pro � . v = O. at a� In the case of an odd number of variables we obtain the simpler formula : -1 n n--
( )
1 2 -1 �-1 Qn n 2 (n - 1)! ___
,
,
0
dC - 1
w ,
A homogeneous linear operator with constant coefficients
P (� , _!___ ,
...
ot ox 1 respect to v
)
, !___ is called hyperbolic if the equation of m-th order with OXn n
�as m real and distinct roots for arbitrary values w1, . . . , Wm L w� = I . k= l
§ 6.
GENERALIZED FUNCTIONS AND DIFFERENTIAL EQUATIONS
3 67
The solution of the hyperbolic equation P
(�-,iJt iJx!___1 , .. , iJxn -0-) u (x, t) .
=
o
with the initial conditions
iJku (x, 0) - -kiJ t
=
0, 0 � k � m - 2 ,
has the form
where
[mz_!_J Q;. (�)
.
=
\ � k= 1
c - 2k - l _ -! (2k - 1) (m 2_k 1 ) ! (A.- - 2k) '
H(� 1, , �n) denotes the function P(l, � 1, . . . , �n) and pressiOn .
•
.
w
denotes the ex-
---- -- - ---(I �k ��) dcr
n
lgrad HI sign
k=l
(dcr is an element o f the su rface H 0) . For A. = - n, we obt a i n t h e fundamental solution of the Cauchy =
368
GENERALIZED FUNCTIONS
problem. If n is odd, then the solution has the form n+ l 2 ( - 1) E (x 1 , . . . , xn) = 2(2n)" 1 (m - n - 1 ) ! x m - n - 1 [ sign (I xk�k + t)r- 1 t + xk�k ) (,I x
f
w;
H=O
if n is even, then the solution has the form n 2 ( - 1f E (X 1 , Xn) = (2n m - n - 1 ! . • •
)" (
,
)X f X
(Herglotz-Petrovskii formulas). When the order m of the equation is less than n - 1, the formulas for the fundamental solution of the Cauchy problem assume the forms n+ 1 n J< - m ) (L Xk�k + t) OJ E( x 1 , . . . , Xn) =
\ln��: f
H=O
for odd n and
for even n. All integrals in these formulas are understood in the sense of a regu larized value. § 7. Generalized functions in a complex space 1 . Generalizedfunctions of one complex variable. In the consideration of functions of a complex variable, use is made of the operators
§ 7.
369
GENERALIZED FUNCTIONS IN A COMPLEX SPACE
where z = x + iy. For example, the Maclaurin series is written as follows : 00
f1 (x, y) = f (z , z) = j,
Ik =
JU, kl (O 0) ' .J .1 k .1 ' - z zk , .
0
(
)
. z+z z-z ;y + k f (z z) where we have set j<J, kl (z z) = --- '. ' and f (z z) =f1 . ' ' 2 2i i}z a.zk -
For analytic functions
'
0��) = 0 (this follows from the Cauchy-Riemann
conditions). To integrate the function f (z, z) we use the differential form dz dz = = - 2i dx dy. Let K be the space of infinitely differentiable functions- 2, the convergent integral c/·.z",
� f z;.z"
defines a generalized function z'-z" on K. This function is homogeneous : the equality
(z;.z",
is valid for an arbitrary function1 k -l= where Re (A + fl)> - m - 2. The generalized function z;. z" is regular everywhere except at the points .A., Jl I, 2 . At t hese points the fu nction z;. z", as a function = -
[
f
�f =
-
-
. . ..
I
J
'
I
�
---
-n
�
--
�
--
----
,
370
of
s =A+
where
GENERALIZED FUNCTIONS
11
for fixed
n =A-fl, has simple poles. In this connection, (
l)k + l
Res zAzl' = 2n ). = - k - 1 k!l! I'= -1 - 1
( J k, I) (z ' z) '
(J, cp) = cp (O, 0)
The normalized generalized function
fl=
is an entire analytic function of - l- 1 we have
s=A +
z;.z�'
r(s+ l 2n l + 2) A.= -k- 1
f.1 for fixed
n =A - fl. For A = - k - 1,
n ( - 1 )k + Z + j j ! k l = - - J( , ) (z, z) ,
k !l !
�t = -l- 1
where j = min (k, 1). The generalized function z- k - 1 is a particular case of z;. z�'. We can define it by the equality i (z - 1 ) z - k - 1 = ( - l )k � i k . k ! oz In this connection
iJ (z - k - 1 ) oz
1 ) ( k J(k = - kl n
OJ
-
(z, z)
·
(this derivative is not equal to zero since z - k - 1 is not analytic at the point z = O). As in the real case, the associated homogeneous functions z;. z�' lnm are introduced :
l zl
§ 7.
GENERALIZED FUNCTIONS IN A COMPLEX SPACE
371
where the integral is understood in the sense of a regularized value. The function k+Z- 1 i j i
[ -)
f
' y
y
'
j
- 0(1 - lzl) i+j=k+ l
I
i+j = O
0)
i -j
--T- I--- z z l .j .
,
] dz dz
is an associated homogeneous function. We call the function
tfi(w, w) = � I
e
i Re zw
dz dz
the Fourier transform of the function
where
( i ) z
__
r �-+ I i_+ 2
= 2H , + 2 ni l l - , l
w wr ( - s : I n !) - "- 1
-l- 1
holds, where s = A + .u, n = A - ,u. We also introduce generalized functions of the form f;.(z)f" (z), where f (z) is a meromorphic function and n = A - .u is an integer. If the function of compact support
=
� f f l (z) /"(z)
z) dz dz
is convergent in the domain Re (A + .u) > O for given A - ,u. For Re (A + .u) < O, we define its value by means of analytic continuation with respect to s = A + .u. Simple poles at the points ( A, .u) =
p, q = l , 2, . . .
( -�, - �}
(A -Jz is an integer) are the only singularities of this integral considered a s an analytic function of A and .U·
372
GENERALIZED FUNCTIONS
In the same way, if the function q> (z, z) is concentrated in a domain containing one pole of order l of the function f (z) and not containing zeros of this function, then the integral is convergent for Re (A. + 11) < 0. For Re (A. + f1) > 0, its value is defined by means of analytic continuation with respect to s = A. + fl · Simple poles at the points (A., 11) =
(�· �}
p, q = 1 , 2, . , , are the only singularities of this integral considered as a function of A. and fl.
In the general case, we define the integral by means of a partitioning of the function q> (z, z) into a finite number of terms each of which is con centrated in a domain containing no more than one zero or pole of the function f (z).
2. Generalized functions of m complex variables. Let S be the surface in m-dimensional complex space which is given by the equation
m
P (z) = P (z t > . . . , z ) = 0 *) ,
where P (z) is an infinitely differentiable function of z and z. It is assumed that the differential form dP dP does not vanish on the surface S. We define the differential form dw of order 2m - 2 by the relation
(o)m I 2
and set
o l
dz dz = dP dP dw
2
(J ( P), q>) Here the notations
and
GT
_
dz dz =
=
Gr
I q> dw
0
P=O
dz1 dz1 . . . dz
am .zm
are used. Let
*) In order not to complicate the notation, functions of m complex variables are often denoted by P(z) instead of P(z, z)o
§ 7.
373
GENERALIZED FUNCTIONS IN A COMPLEX SPACE
For this generalized function, the properties established in the real case remain valid (see § 3, no 5) : +
a < ap < t , z P k, l) J ) ( P) J k+ ( )= 1) az; az; _
_
aP t>
a and the analogous formula for ----::- J(k, l) ( P ) holds ; az. '
2)
PJ ( P )
= Pt> ( P) = 0 ,
pJ
= o, = O;
3) if the surfaces P=O, Q = 0 do not have singular points and do not intersect, then In particular, if the function a (z) does not vanish then J ( a P)
=
a - 1a- 1 J ( P) .
(� )
a If the function P is analytic = 0 , then az. '
J(k, l) ( a P)
=
a - k - l d - z - t J(k, l) ( P )
for all nowhere vanishing functions a (z). Let G (z) be an entire analytic function ofm complex variables z1 , If A. - f1 = n is an integer, then we set
.. .
, zm.
where If the surface G (z)= O does not have singular points, then the simple poles at the points (A., fl) = (
with the residues
-
k -
1,
-
Res G;.G�' = (
A= - k- 1 ,. = - 1 - 1
1 - 1) ,
-
lf
k,
1 = 0, 1, . . .
' 2n + 1 --- J(k, l ) k! [!
(G)
'
GENERALIZED FUNCTIONS
374
are the only singularities of the generalized function G;. G11, considered as a function of A., fl· Let P (z) be a non-degenerate quadratic form of m complex variables : m
p
= I
g ijz izj .
i, j= 1
Consider
This integral is convergent for Re (A. + J1) > 0. In order to express pl P11 for Re (A.+ Jl) < 0, the differential operators Lp
=
�
L.
i, j = t
..
g''
are introduced, where
02
oz ii} zj
m
I
j= l
Lp
,
j g i g jk
� '-m
=
i, j = l
;)2 ij _ l)_ g ;) ;) uZ;uZj -
-
= b� .
Then, for Re (J. + Jl) > - k - 1, we define p lP 11 by the formula l p j>ll
where
c ( p) = v,
{
= C (J., k) C (Jl, l) LkpL�p H kp 11 + 1 ,
4P ( v + 1) . . . ( v + p)
( + ;) ( + 7 + p 1)r v
...
v
1
_
The generalized function p l P 11 has two sequences of singular points : and
(A., J1) = ( - k - 1, - l
( i
(J., Jl) = -
- k, -
-
1) , k, l = 0,
i - z}
1,
2, . . . ,
k, Z = O, l, . . .
If the point (A., J1) belongs to only one of these sequences, then p l P 11 has a simple pole there ; if (A., J1 ) belongs to both sequences, then p l P 11 has a pole of order 2 there. In the case when the point A = -k- 1 , Jl = - l- 1 belongs only to the first sequence, Res p l P11 is a generalized function concentrated on = -k - 1 l!l= -l- 1
§ 7.
375
GENERALIZED FUNCTIONS IN A COMPLEX SPACE
the surface P = O. We define
b(k, l) (P)
=
1 (2n -
1)k +z k ! l ! Res P 1P �' . .
m If the point (A., JL) belongs only to the second sequence, that is, A. = - - k, 2 m JL= - - 1, where m is an odd number, then Res p .< P�' at this point 2
equals
where Ll is the discriminant of the quadratic form P. By means of generalized functions of the form p .< P�' we can construct fundamental solutions of the equations .Vu = f (z) ,
where
and the matrix [[ g ij [l is nonsingular. Namely, let m m ij p= � where � '-- g g jk = i.J g . . z.z . j= 1 i , j= 1 l}
l
J '
udk
•
In the case of a space of odd dimensionality, the function m- 1 ( 1) -2- + k 2m - zkr
K= is a fun da m en t a l
(m) r (m k) I Ll -
2 n m + l (k -
sol u t i o n .
1)!
- -
2
I
m --m --+ k p 2 p 2
m I f m is an even number and k � i' then there
GENERALIZED FUNCTIONS
376
is a fundamental solution of t he form
Finally, if
m
is an even n u mber and
k<
m -,
2
then t here is a fundamental
solution of the form K
m- 1 m ( - 1) 2 2 m 2k j Ll j {> (.'!':2 k - 1 2 - 1)(P) 1 (k - 1) ! m n •
=
·
BIBLIOGRAPHY [1) AGRANOVIC, Z. S. and V. A. MARCENKO, Inverse scattering problem, Izd-vo Khar'kovskogo universiteta, 1960 (Russian). [2) AHrEZER, N. I. and I. M. GLAZMAN, Theory of linear operators in Hilbert space, Gostehizdat, 1950 (Russian). [2a) English edition of [2), F. Ungar Publishing Company, N. Y., in two volumes : Volume I, 1962 and Volume II, 1963. [2b) German edition of [2), Theorie der linearen Operatoren im Hilbert-Raum, Akademie-Verlag, Berlin, 1954. [3) BANACH, S., Course in functional analysis, Radyanska Skola, Kiev, 1948 (Ukrainian). [4) BouRBAKI, N., Topological vector spaces, Fizmatgiz, 1959 (Russian). [4a) Original French edition of [4], Espaces vectoriels topologiques, Hermann, Paris, 1950. [5] BoURBAKI, N., General topology, Fizmatgiz, 1959 (Russian). [5a] Original French edition of [5), Topologie generate, Hermann, Paris, 1958. [6) VAINBERG, M. M . , Variational methods in the study of nonlinear operators, Fizmatgiz, 1956 (Russian) . [7] VULIH, B. Z., Theory ofpartially ordered spaces, Fizmatgiz, 1961 (Russian). [7a) English edition of [7) to be published soon by P. Noordhoff, Groningen. [8) Vuu H , B . Z., Introduction to functional analysis, Fizmatgiz, 1958 (Russian). [Sa) English edition of [8), Addison-Wesley Publishing Co. , Reading, 1963. [9) GEL'FAND, I. M., D. A. RAIKOV and G. E. SrLov, Commutative normed rings Fizmatgiz, 1960 (Russian). [9a) English edition of [9), Chelsea Publishing Co., N. Y., 1964. [9b) German edition of [9), VEB Deutscher Verlag der Wissenschaften, Berlin, 1964. [10) GEL'FAND, I. M. and G. E. SrLov, Generalized functions, Issue 1 : Generalized functions and operations on them, 2nd edition, Fizmatgiz, 1959 (Russian). [lOa) English edition of [10], Academic Press, New York and London, 1964. [1 1 ) GEL'FAND, I. M. and G. E. SrLov, Generalized functions, Issue 2 : Spaces of test functions and generalized functions, Fizmatgiz, 1958 (Russian). [12] GEL'FAND, I. M. and G. E. SrLov, Generalized functions, Issue 3 : Some problems in the theory of differential equations, Fizmatgiz, 1958 (Russian). [13) GEL'FAND, I. M. and N. Ya. VILENKIN, Generalized functions, Issue 4 : Some applications of harmonic analysis. Rigged Hilbert spaces, Fizmatgiz, 1 9 61 (Russian). [13a) English edition of [13), Academic Press, New York and London, 1964. [ 1 4) GEL'FAND, I. M., M. I. GRAEV and N. Ya. VILENKIN, Generalized functions, Issue 5 : Integral geometry and its relations with problems ofrepresentation theory, Fizmatgiz, 1962 (Russian). [15) GoL'DMAN, I . I. and V. D . KRIVCENKOV, Compendium of problems d quantum mechanics, Gostchizdat, 1 957 (Russian).
378
BIBLIOGRAPHY
[1 6) DuNFORD, N. and J. T. SCHWARTZ, Linear operators, IL, 1962 (Russian). [1 6a) Original English edition of [1 6), Interscience Publishers, New York and London, 1958. [17) DAY, M. M., Normed Linear spaces, IL, 1961 (Russian). [17a) Original English edition of [17), Springer-Verlag, Berlin, 1960. [18) DIRAC, P. A. M., The principles ofquantum mechanics, Fizmatgiz, 1960 (Russian). [18a) Original English edition of [1 8), Clarendon Press, Oxford, 1947. [19) KANTOROVIC, I. V. and G. P. AKILOV, Functional analysis in normed spaces, Fizmatgiz, 1959 (Russian). [20) KANTOROVIC, I. V., B. Z. Vuun and A. G. PINSKER, Functional analysis m partially ordered spaces, Gostehizdat, 1950 (Russian). [20a] English edition of [20), to be published soon by P. Noordhoff, Groningen. [2 1 ) KATO, T., Collection of translations "Matematika" 2 : 4 (1 958), pp. 1 1 8-135 (Russian). [22) KOLMOGOROV, A. N. and S. V. Fo MIN, Elements of the theory of functions and functional analysis, Issue 1 , Izd-vo Moskovskogo universiteta, 1954 (Russian). [22a) English edition of [22), Graylock Press, 428 East Preston St., Baltimore, Maryland, 1957. [23) KRASNOSEL'SKII, M. A., Topological methods in the theory of nonlinear integral equations, Gostehizdat, 1956 (Russian). [23a) English edition of [23], The MacMillan Co., N. Y. , 1964. [24) KRASNOSEL'sKrl, M. A., Some problems of nonlinear analysis, Uspehi matem. nauk IX : 3 (1 954), pp. 57- 1 1 4 (Russian). [25) KRASNOSEL'SKil, M. A., Positive solutions of operator equations, Fizmatgiz, 1 962 (Russian). [25a) English edition of [25), P. Noordhoff, Groningen, 1 964. [26] KREIN, M. G. and M. A. RuTMAN, Linear operators which leave invariant a cone in Banach space, Uspehi matem. nauk III : 1 (1 948) (Russian). [27) LANDAU, L. D. and E. M . LIFSIC, Quantum mechanics, Gostehizdat, 1948 (Rus sian). [27a) English edition of [27), Pergamon Press, London, 1 958. [28) LANDAU, L. D. and E. M. LIFSIC, Field theory, Fizmatgiz, 1960 (Russian). [28a) English edition of [28), The classical theory of fields, Addison-Wesley Press, Cambridge, 195 1 . [29) LERAY, J. and J. ScHAUDER, Topology and functional equations, Uspehi matem. nauk 1 : 3-4 (1 946), pp. 7 1 -95 (Russian). [30) LooMIS, L. H., An introduction to abstract harmonic analysis, IL, 1956 (Russian). [30a) Original English edition of [30), Van Nostrand, New York, 1953. [3 1 ) LYUSTERNIK, L. A. and V. I. SoBOLEV, Elements of functional analysis, Goste hizdat, 1951 (Russian). [3 1 a ) English edition of [3 1 ), F. Ungar Publishing Company, N. Y., 1960. [31b) German edition of [3 1 ), Elemente der Funktional analysis, Akademie-Verlag, Berlin, 1955. [32) MASLOV, V. P., Quasiclassical asymptotic solutions of some problems of mathe matical physics, I, II, Zumal vyi':islitel'noi matematiki i matematii':eskoi fiziki 1 : 1 (1961) and 1 : 4 (1961) (Russian). [33) MIKUSINSKI, J. and P. SIKoRSKI, Elementary theory of generalized functions, Issue 1 , IL, 1959 (Russian). [33a) English edition of [33), The elementary theory of distributions (I), PWN, Warsaw, 1 957.
BIBLIOGRAPHY
379
and P. SIKORSKI, Elementary theory of generalized functions, Issue 2 , IL, 1963 (Russian) . [34a) English edition of [34), The elementary theory of distributions (II), PWN, Warsaw, 1 96 1 . [ 3 5 ) MoTT, N. F. and H . S . W. MASSEY, The theory of atomic collisions, IL, 1 9 5 1 (Russian). [35a) Original English edition of [35), Oarendon Press, Oxford, 1949. [36) NAIMARK, M . A., Normed rings, Gostehizdat, 1956 (Russian). [36a) English edition of [36), P. Noordhoff, Groningen, Revised edition, 1964. [36b) German edition of [36), VEB Deutscher Verlag der Wissenschaften, Berlin, 1959. [37) NAIMARK, M . A., Linear differential operators, Gostehizdat, 1 9 54 (Russian). {37a) German edition of {37), Lineare Differentialoperatoren, Akademie-Verlag, Berlin, 1960. {38) PONTRYAGIN, L. S . , Continuous groups, Gostehizdat, 1 954 (Russian). [38a) English edition of the first edition of (38), Toplogical groups, Princeton U. Press, Princeton, 1 939. [38b) German edition of the second edition of [38), Topologische Gruppen. [39) RIEsz, F. and B. Sz.-NAGY, Lectures on functional analysis, IL, 1954 (Russian). {39a) Original French edition of [39), Ler;ons d'analyse fonctionnelle, Budapest and Paris, 1 9 52. [39b) English edition of [39), F. Ungar Publishing Company, N. Y., 1955. [39c) German edition of {39), Vorlesungen iiber Funktionalanalysis, Deutscher Verlag der Wissenschaften, Berlin, 1 9 56. [40) SMIRNOV, V. 1., Course in higher mathematics, Volume V, Fizmatgiz, 1 9 59 (Russian). [41) SMIRNOV, N. S . , Introduction to the theory of nonlinear integral equations, ONTI, 1936, (Russian). [42) SoBOLEV, S . L., Some applications o.ffunctional analysis to mathematical physics, Izd-vo LGU, 1950 (Russian). [43) SoaoLEVSKII, P. E . , Trudy Moskovskogo matem. obscestva, Volume 10, 297-350, Fizmatgiz, 1961 (Russian). {44) HALILOV, Z. 1 . , Foundations offunctional analysis, Baku, 1 949 (Russian). [45) HALMOS, P., Finite-dimensional vector spaces, Fizmatgiz, 1963 (Russian). [45a) Original English edition of [45), D. Van Nostrand, N. Y., 1958. [46) HILLE, E., Functional analysis and semigroups, IL, 1 9 5 1 (Russian). [46a) Original English edition of [46), AMS Colloquium Publications, Volume XXI, Providence, 1948. [47) HILLE, E . and P. PHILLIPS, Functional analysis and semigroups, IL, 1962 (Russian). [47a) Original English edition of [47), AMS Colloquium Publications, Volume XXXI. 1957. [48) SCHWEBER, S . S . , H . A . BETHE and F. DEHOFFMANN, Mesons and fields, I, IL, 1957 (Russian). [48a) Original English edition of [48), 2 volumes, Row and Peterson, Evanston, 1 9 5 5 . {49) S ILOV, G . E . , Introduction to the theory of linear spaces, 2nd edition, Fizmatgiz, 1956 (Russian). [50) KRASNOSEL'SKil, M . A. and Ya. B. RuTICKII, Convex /unctions and Orlicz spaces, Fizmatgiz, 1958 (Russian). {50a) English edition of [50), P. Noordhoff, Groningen, 1 9 6 1 . [34]
MIKUSU�SKI, J.
INDEX OF LITERATURE ACCORDING TO CHAPTERS
Chapter 1
[3 ], [4], [5], [8], [17], [19], [22], [3 1 ], [40], [42], [44], [46], [49], [50]. Chapter 2
[2], [1 6], [3 1 ], [37], [39], [40], [42], [45] . Chapter 3
[21 ], [39], [43], [46], 47 ]. Chapter 4
[6], [19], [23 ], [24], [29], [3 1 ], [4 1 ], [46]. Chapter 5
[7], [20], [25] , [26] . Chapter 6
[9], [30], [38], [47] . Chapter 7
[1], [1 5], [1 8], [27], [28], [32], [35], [48]. Chapter 8
[10], [ 1 1 ] , [1 2], [13], [14], [33], [34].