Professional Documents
Culture Documents
MATHEMATICAL PHYSICS
Series on Soviet & East European Mathematics - Vol. 1
For photocopying of material in this volume, please pay a copying fee through the Copyright
Clearance Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA. In this case permission to
photocopy is not required from (he publisher.
ISBN 981-02-0880-4
Printed in Singapore.
CONTENTS
INTRODUCTION ix
Chapter 1
ANALYSIS ON T H E F I E L D OF p-ADIC NUMBERS
III. A d d i t i v e a n d M u l t i p l i c a t i v e Characters 30
1. Additive characters of the field Q p 30
2. Multiplicative characters of the field Q p 34
3. Multiplicative characters of the field Q (\/£) p 37
r
vi Contents
V. T h e Gaussian Integrals 54
L The Gaussian integrals on the circles S y 55
2. The Gaussian integrals on the discs B y 65
3. The Gaussian integrals on Q p 67
4. Further properties of the function A (a). p 68
5. Example 72
6. Analysis of the function S(a, q) 77
V I . Generalized Functions ( D i s t r i b u t i o n s ) 78
1. Locally constant functions 79
2. Test functions, n = 1 81
3. Generalized functions (distributions), n = 1 84
4. Linear operators in V 86
5. Test and generalized functions (distributions), n > 1 89
6. The direct product of generalized functions 90
7. The "kernel" Theorem 91
8. Adeles 92
V I I . C o n v o l u t i o n a n d the Fourier T r a n s f o r m a t i o n 94
1. Convolution of generalized functions 94
2. The Fourier-transform of test functions 99
3. The Fourier-trans form of generalized functions 106
2
4. The space L 110
5. Multiplication of generalized functions 112
Chapter 2
PSEUDO-DIFFERENTIAL OPERATORS
ON T H E FIELD OF p-ADIC NUMBERS
IX. T h e O p e r a t o r D ° 143
a
1. The operator D ,a £ - 1 144
l
2. Operator D~ 147
Contents vii
a
3. Equation D i> = g 154
a
4. Spectrum of the operator D in Q a > 0 P I 156
a
5. Orthonormal basis of eigenfunctions of the operator D 158
6. Expansions on eigen-functions 165
X. p - A d i c S c h r o d i n g e r O p e r a t o r s 167
1. Bounded from below selfadjoint operators 167
2. Compactness in Lj{Q") 170
3. The operator a' + V 171
4. Operator D", a > 0 i n B r 176
a
5. Operator D , a > 0 in S r 179
6. Operator D" + V(\x\ ), a > 0 in Q , p / 2
p P 181
2
7. Operator D" + V{\x\ ), a > 0 in L (Q )
p a(p f 2 )
p 183
8. The lowest eigen-value Aq 184
9. Operator D" + V(\x\ ), a > 0 in Q , p ^ 2 (continuation)
p p 188
10. Example. Potential cv > 0 (p ^ 2 ) 190
a
11. Operator D + K ( | x | ) , a > 0 outside of a disc (p ^ 2 )
P 192
12. Justification of the method of Sec. 1 0 . 1 1 195
13. Further results on the spectrum of the operator D" + 198
Chapter 3
p-ADIC Q U A N T U M THEORY
X I V . p - A d i c Strings 272
1. Dual amplitudes 272
2. p-Adic amplitudes 275
3. Adelic products 278
4. String action 281
5. Moduli space and theta-fu net ions 282
6. Multiloop amplitudes 284
7. Rigid analytic geometry and p-adic strings 287
X V . q-Analysis ( Q u a n t u m G r o u p s ) a n d p - A d i c A n a l y s i s 290
1. p-Adic and q-integrals 290
2. Differential operators 292
3. Spectra of the g-deformed oscillator and the p-adic model 292
Bibliography 302
References 309
INTRODUCTION
Since the Newton and Leibnitz time differential equations over the real
number field have been used in mathematical physics. I t is not customary to
discuss why exactly real numbers should be used. Why has this happened?
The point is that physical processes take place in space and time and space-
time coordinates are usually considered as real numbers. Since the Euclid
3
time the three-dimensional Euclidean space R has been treated as the
physical space. As i t is known an important development of this point
of view has been done by Riemann and Einstein using the Riemannian
3
geometry, but basically up to now IR is a mathematical model for space
4
and ]R is a model for space-time.
3
These ideas have become so common, that IK is perceived as the true
3
physical space. But in fact the Euclidean space R is not more than a math-
ematical model for the real physical space. I n order to convince ourselves
that the Euclidean space is a good model for the physical space geometrical
axioms from elementary geometry should be checked in practice. To this
end lengths of segments, angles etc. should be measured precisely. How-
ever in quantum gravity and in string theory it was proved that there is the
following obstacle to perform such measurements . I f A i is an uncertainty
in a length measurement, then the inequality
A*>' ' = / p r
P (i)
- 3 3
extremely small quantity, approximately 1 0 cm. We are not going to
discuss here a derivation of the fundamental inequality (1) which has a long
history. Let us emphasize that by virtue of (1) a measurement of distances
smaller than the Planck length is impossible.
IX
X p-Adic Analysis and Mathematical Physics
3) l * + y | < | * | + |»|
for any rational numbers x, y. What norms do exist on Q? There is a
remarkable Ostrowski theorem describing all norms on Q. According to
this theorem any nontrivial norm on Q is equivalent to either ordinary
absolute value or p-adic norm for some prime number p. p-Adic norm \x\ P
\x\ = 1/p- .
p (2)
At first sight this definition looks artificial but according to the Ostrowski
theorem there are no others nonequivalent norms on Q, I t is easy to verify
the validity of the properties l ) - 3 ) for \x\ . In fact instead of triangle
p
(4) is unique. Note that in contrast to (3) where we have a power series
in the small parameter 1/10, in (4) we have a power series in the prime
number p. The series (4) converges in p-adic norm.
The expression (4) can be considered as a definition of p-adic number.
Addition, multiplication etc. of p-adic numbers of the form (4} are carried
out as for power series. Any rational number including negative numbers,
can he represented in the form (4). For example,
2
- l = (p+l)+ <p-l)p+(p-l)p + ...
xii p-Adic Analyiii and Mathematical Pkyaica
space K, that follows from the property 3') of the norm. In particular the
Archimedean axiom is not true in Q ( Q is a non-Archimedean space). For
p p
two different balls in non-Archimedean geometry one has that either one of
them is contained in another or they have no common points. I t resembles
the behavior of two drops of mercury. The field of p-adic numbers has a
natural hierarchical structure: every disc consists of the finite number of
disjoint discs of smaller radius; the field t j is homeomorphic to a Cantor
p
0<n<oa
where z g Q and the series converges in p-adic norm for \x\ < 1 if p ^ 2.
p p
Derivatives are defined in a standard manner, but with the help of p-adic
norm. They have standard properties. One can write out ordinary and
partial differential equations and study properties of their solutions. I n
particular equations of p-adic classical mechanics for harmonic oscillator
have the form
• _m p _jjl
dp' dx '
where the Hamiltonian is
+ 5
» = T X - <>
no =J f(x)xpti*)d2
o» F
How to compare results of p-adic theory with a theory over real numbers?
Let us remind, that only rational numbers are directly observed. Conse-
quently, one should look into rational points of solutions of our equations.
For example, for harmonic oscillator (5) let us consider rational solutions
of the trajectory in phase space
2 2
P +X = \ . (7)
a
{I (Q ),V7( ),[/(()},
p 2 (8)
2
where £ ( Q ) is the Hilbert space of complex valued functions on Q , W(z)
p p
2
is a unitary representation of the He is en berg-Weyl group in i ( Q ) , that p
How p-adic quantum mechanics correlates with ordinary one? The fol-
lowing formula takes place:
for rational numbers k, t and x. Thus the wave-function of free particle, the
so-called plane wave can be represented as a product of plane waves of p-
adic particles. It can be interpreted by saying that an ordinary free particle
consists of p-adic ones, like an elementary particle consists of quarks.
Formulas like (9) are called Euler or adelic products. A well known
example of such formulas is the Euler representation for the zeta function
p *
S= j[<fi(x)D <p(x)
2 2 2
+ m -p (x)]dx . (10)
Here <p is a real valued function of p-adic argument and the operator D
is defined in ( 6 ) . I t is not clear at the moment in which sense one has
xvi p-Adic Analysis and Mathematical Physio
S= J 0(*)«(>)fl-*)dfc + / V(<p(x))dx
i»r(6)
(11)
+ *)
A ( , T * ) = J-y {xhi(l-x)dz,
T o a (12)
K
where K is a field, 7 is a character and dx is a measure on K. For different
A
i<3
n/ x\° \l-x\ dx
p p = l
I t is possible to extend the formula (11) in another way using the p-adic
valued gamma function. In this way there appeared interesting connections
of p-adic strings with the Jacobi sums and /-adic cohomology of the Fermat
curves over the Galois fields .
There exists an unexpected connection of p-adic analysis with g-analysis
and quantum groups and thus with non commutative geometry. 7-analysis
is sort of a g-deformation of ordinary analysis, i t was spared by such math-
ematicians as Euler, Gauss and others. Spherical functions on quantum
groups are (/-special functions. The Haar measure on the quantum group
5f7 (2) can be expressed in terms of g-integral
s
)
/ / ( i H ^ d - g ) ^ / ( « T . (13)
Here 0 < q < 1 and / ( x ) is a real function. On the other hand the integral
with respect to the Haar measure on Q has the form p
1
/ f()x\ )dx=(l- -)f^f(p-)p-'
p . (14)
=
We see that for 9 the expressions (13) and (14) are equal. There exists
p
interdependence table is very simple. After reading the first two subsec-
tions (1.1) and (1.2) containing the definitions of p-adic norms and p-adic
numbers, one can read any other section.
•**
We are very grateful to all our friends and colleagues for the encour-
agement they gave and numerous enthusiastic discussions of exciting topics
covered in this book.
P-ADIC ANALYSIS AND
MATHEMATICAL PHYSICS
Chapter 1
A N A L Y S I S O N T H E F I E L D OF p - A D I C N U M B E R S
In this section the definition of p-adic norm and p-adic numbers is given
and basic properties of the field Q of p-adic numbers are discussed.
p
1. p-Adic Norm
K = o, (U)
(1.2)
i
2 p-Adic Analysis and Mathematical Physio
integers m and n are not divisible by p. The norm \x\ is called the p-adic p
norm.
Examples.
iela-llSU-i H b H f b - * |137| = 1 . 2
2) \xy\ p = \z\p\y\p ,
3) | i + ff|,<inax(lx| , |yl ,). J 1 J
3') |« + » | = m a x ( M , | i ) . W
7 - 7
m ,m' 1
mn' + n m ' p ' 7 7
x + y=p — +p — = p ; . 1.3
n n' nn'
7 - 7
The integer nn' is not divided by p but the integer mn' + n m ' p '
may be divided by p. Therefore y(x + y) > 7 = min(7,7') and thus
7 I +
|* + H> = p - < f ' < max(p-^,p->') = max(\x\ ,\y\ ) and inequality (3) P P
1 7
is proved. If 7' > 7 then in (1.3) the integer mn'+nm'p ~ is not divisible
by p. Therefore 7(1 + y) = 7 and
+ y ) v
I * + V\ = p - ^
P = P-' = m a x ( p - ' , p - ) = maxf>L,,\y\ ) , p
7
and equality 3') is proved. For p - 2 and | x | = | y | = 2 in (1.3) numbers 2 2
m,rc,m ' , n ' are odd and thus the number inn' + nm' is even, and also the
number nn' is odd, so j(x + y) > 7 + 1. Therefore
1
Notice that the norm \x\ may take only countable set of values: p ,7 £
p
J] k i p = 1, x
G Qp, **0. (1.4)
2<p<oo
2. p-Adic Numbers
is obtained from the p-adic norm | • | in the same way as the real number
p
where 7 = j(x) £ % and Xj are integers such that 0 < Xj < p — 1, x u > 0,
3 = 0,1
4 p-Adic Analysis and Mathematical Physics
Note that the series in (2.1) converges with respect to the norm |ir|p
because one has
w*tf i ; = m....
n
x^=p->(xo-r iP+... X + x n P )
- 7
I f i € Q is represented in the form (2.1) then \x\ = p
p and properties p
l ) - 3 ) for p-adic norm are fulfilled. The representation (2.1) gives rational
numbers i f and only i f the numbers (xj, j = 0 , 1 , . . . ) beginning from some
number form a periodic sequence.
Example.
2
- l = p - l + (p-l)p + (p-l)p + ...
= TO i f ( . ) > 0 o r * = 0 ,
7
T 1 1 K
" l l ' ( % + *lP+... + % | ^ " ) if7(*)<0. ' '
I t is easy to see that
1
P < [ x } p < l - P \ if y(x) < 0 . (2.3)
7(!,) 2
v = P ( y o + VIP + V2P + • • •), o < j < V P - 1 , ft > o
)
<
x + ! = p'< - v\co x+
+ c p + C2p
1
2
+ •••), 0<cj<p-l,c >0, a
Analysis on ike Field of p-Adic Numbers 5
+ Xl p+,..) + pf(y)(y 0 + m + . .. ) = p ^ + v ) ( e o + C i p + . .. )
of a canonical form of number 1/a one uses the method of indefinite co-
efficients modulo p for equation ax = 1.) Thus in Q we have ordinary p
p-Adic numbers for which \x\ < 1 (i.e. y(x) > 0 or {x} — 0), are called
p P
The set of x e 2p for which \x\ < 1 (i.e. 7(1) > I or \x\ < 1/p) forms p P
the principal ideal of the ring S . Obviously this ideal has the form pZp.
p
2 v
order p — 1 such that the elements 0, n , n , . . . ,rf~ = 1 form a complete
set of representatives of residue classes of the field Z / p 2 (see [128,121]). p p
Owing to the inequality 3) of Sec. 1.1 the norm on the field Q p satisfies
the triangle inequality
\x + y\ p < max(|x|p,|t/|p) < \x\ + \y\ , p p x,y £ Q . p
6 p-Adic Analysis and Mathematical Physics
7
B (a)y = [x:\x- a\ < p ] , p
S (a)
y = [x :\x- a\ = pT\, p y £ Z
[x:\x- \ <pi)
a p = B - {a)cB (a),
y 1 y
S (a)
y = B ^ a A ^ . j ^ . S ^ a ) C B .{o),y y < y'\ (3.1)
B {a)
y = \ J 5 (a), f | v fl» = [a], [j B » = (J S » = Q - p
7
|»-o| F = | * - * + * - a l < maxfl* - b\ , \b - a\ ) < p
F p p ,
Corollaries. 1 . The disc B (a) and the circle S (a)are both open and y y
closed sets in Q . P
discs.
and M = M D ( Q p \ 5 _ i ) .
2 T
V
2) |a| = p \ H , = P , T ' > 7 ; then Afi = M f l S y M = M n f Q p ^ ) .
p 2
7
3) | a | = p = | & | . Let
p p
7 3 7 2
a = p " ( a + aiP+O2p + . ••),
0 6 - P" (6o + & i P + hp + ...) ,
7 -
where On = Jrj, Oi = t i , . . . , a * - i = a* ^ o , |a - fc| - p * . Then
t p
Mi = M n B - * _ i ( ) , Mi = MC
7 a (Q \S _ _ {a)).
p T i 1 •
Lemma 2 asserts that any set of the space Q which consists of more p
disconnected space.
By following the proof of Lemma 2, for the case when the set M consists
only of two points, we can see that there exist disjoint neighborhoods of
these points. I t means, that the space Q is Hausdorff. p
compactness of any bounded closed (infinite) set K (see [237]), i.e. that
every infinite set M C K contains at least one limit point. Let x G M,
then \x\ = p-T( > < C (M is bounded), so 7(3;) is bounded from below.
p
E
As xn takes only p— 1 values then there exists an integer an, 1 < an < p— 1,
ya
such that M contains infinite set of points of the form p (ao + X\p+ ),
and so on. As a result we obtain a sequence { a j , j ' = 0 , 1 , . . . }, 0 < <JU <
8 p-Aiic Analytit and Mathematical Physics
7 o 2
p - 1, a ^ 0. The desired limit point is p ( a + &ip+ a p + ...)€
0 0 2 K
(K is closed). •
7 - 7 - 1
E x a m p l e 1. The circle S can be covered by (p — l j p "y ' disjoint
discs B y ( a ) , 7 > 7', with the centers
7 r ) _ 1
a = p " ( a + 0.1P + •-. + a _ _ p ' " ' '
0 7 v 1 ) ,
0 < a, <p- 1, a / 0.
a
in the form x = a + x' where a is of the form (3.2) and x' £ B -. Therefore y
We notice now that discs By(a) are disjoint as their centers { a } , owing to
7 + 1
(3.2), remove from each other on distance > p (see Corollary 3 from
7 - 7 - 1
the Lemma 1). The number of centers is equal to (p — l ) p . •
7 7
E x a m p l e 2. The disc B y can be covered by p ~ ' disjoint discs
,By(a),7 > 7' with the centers
r
a = p " ( o + aip+...+
0 <j _ _ipr v
r _ 1
' _ 1
), r = 7,7-1 y' + l ,
0<aj<p-l, a /0
0
(3.3)
• I t follows from Example 1, i f one notices, that
B y = B .{J y (J S f
r=y+i
An&lyiit on lie Field o] p-Adic Numbers 9
and the sets Bji and S ', r r = 7' + 1,... ,7 are disjoint. The number of
discs is
r 7 1 1 1 y
i + (p-i) £ P - '- = i+ ( p - i ) ^ ^ = p - • •
Thus d i m Q = 0.
p •
can be added and multiplied by the usual rules under additional condition
{Jef = e.
Obviously, x + y\/s = 0 i f and only i(x = y = 0.
The equation (x + y\f£)z = 1, x + y^/e £ 0 has a unique solution in
Q p ( v ^ ) which is equal to
* = - r ^ - 2 - - - r ^ v ^ . (4.1)
1 c
x — cy x — ey
2 2
(Notice that the denominator in (4.1) x — ey ^ 0, otherwise £ would be
a square of a p-adic number.)
10 p-Adic Analysis and Mathematical Physics
Now we find out which p-adic numbers are no square of any p-adic
numbers, and for which non isomorphic quadratic extensions exist.
Be remind that an integer a £ 7L is called a quadratic residue modulo p
2
if the equation x = a(mod p) has a solution x € 2 ; otherwise a is called
quadratic non-residue modulo p. For notion of these affirmations one uses
the Legendre symbol:
( a\
p)
f 1 if o is quadratic residue modulo p,
1 —1 if a is quadratic non-residue modulop .
2
x = n, Q?a a
= p* \a 0 + a p+...)
1 ,
0 < aj < p - 1, ao/0 (4.2)
1) 7(a) is even,
2) ( ^ ) = l < / p / 2 , a = a = 0 > / p = 2.1 2
7 1
• Necessity. I f the equation (4.2) has a solution x — p ' ' ^ + x\p +
. . . ) , so
2 2
p ^*\x + x +...) = Q p^"\ + a + ...)
lP (4.3) ao lP
2 a 2
= 2 ->( >{l + a 2 + 1 a ! 2 + ...) (4.4)
and thus a\ ~ a = 0. 2
a ^ * _ 1 ( l + l )
I + x 2 ( m o d 2 )
xj = o , j i + jVj
+ (mod 2 ) , xj = 0 , 1 (4.6)
e = 1 + 4 = 5, £3 = 1 + 2 + 4 = 7, e = 2, £5 = 2 ( 1 + 2 ) = 6, £ =
2 4 6
2
6. The quotient group <Q> \Q consists of four elements €j,j = 0, 1,2,3
p p
= ( 1 , 1 ; 4 J )
( y ) - " = - <
for p = 3 (mod 8) or p = 5 (mod 8) as a number n can be taken 2 because
(*) = —1 owing to the formula
2
7. Jn order that the equation x = —1 has a solution in Q , it is p
necessary and sufficient that p = 1 (mod 4); in addition there exist two
solutions of this equation which we denote by ± r .
8. Forp= 3 (mod 4) the equality
2 2 2 2
\x + y \ p = nu>x(\x\ ,\y\ ) p p (4.8)
1 2
is valid. Jn particular, from x + y = 0, it follows that x = y = 0.
• I t is sufficient to verify Eq. (4.8) only for the case \x\ = \y\ . I f it p p
2 2 2
would be | i + j/ |p < \x \ = \y\j, then the congruence x% = —yl (mod p)
p
2
Any element of the field <$p(y/e),e £ Q* , is uniquely represented in the
form z = x + -y/iy, x, y 6 (see Sec. 1.4). The numbers (x, y) are called
the Cartesian coordinates of the element z\ the element z — x — -Jcy is
called conjugate to 2; the set of elements z 6 Qp(i/?)i which satisfy the
equation
2 2
zz = x - ey = c, cf 0 (5.1)
(5.1) for c = 1 play a special role. Elements of this "circle" form a multi-
plicative group which we denote by C . e
^ - r f s l . (5.2)
By introducing the parameter t = from the equation (5.2) we obtain
2
1 -+- rt It
J £ ( 5 3 )
• = IT5i- »= I = 3 * * '
C is compact in Q ( \ / £ ) -
e p
2 2 2
For | E ( | > 1 we have [1 ± e t | = | e i | and owing to (5.3) | x | - 1; for
p p p p
2 2 2
| e t | < 1 we have | 1 ± E t | = 1 and owing to (5.3) j x | = 1; for | e i | = 1
p p p p
2 2
we shall prove that j l - e f | = 1 and owing to (5.3) \x\ = |1 + e ( | < I .
p p p
In all three cases | x | < 1, and thus from the equation (5.2) it follows that
p
1
|y|p < Ie:I~ , and C is bounded. c
2 2
I t remains to prove that from |e( | = 1 it follows that [1 — e t | = 1. p p
Let p 2. I n Sec 1.4 it was proved that as e can be taken the numbers
n,p and np. But £ = p or E = rjp contradict to the equality |ef | = 1. 2
p
6. Q p and R
<p(x) = \x\„ £ x~ kP
21
, (6.1)
0<i<co
y, x < y, i f either \x\ < \y\ , or when \x\ = \y\ there exists such integer
p p p p
have
0<t<j
<p(y)<\y\ P E !/*p- 2t
+ l!/l P T
£ :
ip" 2 0
' + 1 )
P
0<Jc<j
+ 1
0<t<j P
Therefore
• As Q = U
p (see Sec. 1.3). Then
K = [J K,
y = K y n Ky =4, *f4 i , (6.3)
F
\0<j<n ' 0<j<n }
r» = 0 , 1 . 2 , . . . ,
e = (£ ,£i,.
0 ,£„), 0 < E <p- } 1,
i = l,2,..,,n-l, £ ^ 0,
0 £ ^P-
n 1 •
Denote
I n = {jl nl J= [J In-
e 0<n<oo
The Lebesgue measure of the set / is equal to
16 p-Adic Analytia and Mathematical Phyiiei
= ( p _ I ) ( 1 _ _ l _ ) + ( p _ 1 ) ! j / - v - , ( 1 _ _ l T )
P ( P - I ) , 0-1)
P+l P+l ^
By using the Lemma one can prove that J f l Kn — <j>, i.e. there are no
x £ SQ, and n = 0 , 1 , . . . for which the inequalities
E *T* + j £ <
2 i 2 n
< E ^p- +p-
7. Space
j 1 = 1 , 2 , . . . , n . The norm on is
x
ky=mf„ l jlp.*eQp* . (7.1)
7
H*,y)\p<\*\p\y\p,*,ye®Z - ( -3)
7
Denote by B ( a ) the ball of radius p with center at the point a G Qp
7
S (a ) x ... x B (o ) .
7 2 7 n
I I . A n a l y t i c Functions
1 . Power series
S n = £ at, n = 0,1,....
0<*<n
S= £ a .
k
0<*<M
18 p-Adic Analytit and Mathematical Physics
the field of real (or complex) numbers. For example, there is only absolute
convergence of series. More precisely the following Lemma is valid.
k —* oo then for any e > 0 there exists a N = N such that for all it > N e
the inequality K | < E is fulfilled. Hence for any integers n > N and
p
m >N
\Sm Sri \p —
E <
" n<*<m
max b L <
r
E .
n<k<m
Thus the sequence {S ,n n —* oo} of partial sums converges and hence the
series (1.1) converges. •
From the Lemma 1 it follows that the sum of series (1.1) does not depend
on the order of summation.
Now we examine a p-adic power series
m = E M (1.2)
0<*<co
which define a p-adic valued function f(x) for those x € Q for which it p
converges.
1
We note that R may take values 0 and p , 7 £ 2. In the last case the
series (1.2) converges uniformly in (open-closed) disc B as by the Lemma 1 7
E m n —* 00,
k
n<k<m m<k<n
Analysis on the Field of p-Adic Numbers 19
-= Hm l/ftl*/* (1.3)
or denoting r = p"
t r = 5 = i Km i l n l A I , , . r
(1.3')
lnp t—oo i
L e m m a 2. T/ie series (1.2) converges for all \x\ < r and diverges for p
\x\ > r.
p
U Let [ajjp < r. Then = (1 - 2e)r where 0 < e < 1/2. From (1.3) i t
follows that there exists N = N such that for all k > N the inequality
t
r(l-e)
/ f c 1
= (HiM P ) ) ' — o, k * oo.
lim \fn \l = rl
k~-oo kr
/nk
1
L e m m a 3. R(f) < r(f), moreover if p~> < r(f) < pf* , y € 1 then
y T 7 7 1
R{f) = P i >f K / ) - P ik™ "ther R(f) = p or R(f) = p " .
7
Note that in the case r(f) — p , 7 £ 2 convergence of the series (1.2)
7
on circumference \x\ = p requires a special investigation like in the real
p
case.
2. Analytic functions
7
assume R(f) = p , see Sec. 2.1.)
Analytic functions in a disc possess some usual properties, for instance,
they form a ring with respect to ordinary operations of addition and mul-
tiplication. However there are some differences, for instance, superposition
of analytic functions may turn out to be a non-analytic function (see [186]).
We introduce the series for n = 0 , 1 , . . .
U
o i ^ ^ X * * 2
) + ' (2.1")
which are obtained from the series (2.1) by termwise differentiation and
integration respectively; f(x) = f^(x).
These functions are called derivative and primitive of order 11 respec-
tively.
( n)
R(f - ) < R(f) < R(f ), {n)
n = 1,2,... (2.2)
Analyiis on the Field oj p-Adic Nurnbtrt 21
m m
• In fact, let k G S + , k = p fco, \k\ = p~ p where m and ka are integers,
m > 0, 1 < fc < P - 1- Then
0
In & — In &o In
m
= i > 1—
Inp Inp
and thus
By using the formula (1-3) to the series (2.1) and the relation (2.3) we
obtain the equalities
( , ( n ,
' • ( / " ) = >-{/) = r ( / - ) , 0 = 0,1,... . (2.4)
7
From here and from Lemma 3 of Sec. 2.1 it follows that i f p < r(f) <
7 + 1 7
p then R(f) = p and
(n)
«(/ ) - RU) = «=0,1,...; (2.5)
7 7
if r(f) = p then two cases are possible: 1) R(f) = p then either the
equalities (2.5) are valid or
n
p i r ; ( / f - > ) = R(f) = R(fW), n > no (2.5')
1 - 1
for some «o > 1; 2) R{f) = P then either the equalities (2.5) are valid
O I
1
/£(/<"">) = R(f) = mjW), n > n 0 (2.5")
P
for some «o > 1-
22 p-Adic Analysis and Mathematical Physics
functions are the only ones denned by the series (1.2) for which the condition
\fk\ — • 0. k -*• oo is fulfilled (see Sec. 2.1).
P
The set A is linear over the field <Q>. On the set A we introduce norm p
] | / | | by the formula
11/11 = f « J / * l p .
0 / € A (3.1)
M = max|o:/*| - | a | m a x | / , |p P p = | | ||/||.
a p
/*»= J2 h>
0<k<oa
belongs to A and
lim ||/" - /II = lim max
n-tca ti-.cc 0<i<oo
Let f,g £ A and h = fg. Then h £ A (see Sec. 2.2) and
0<j<k
Hence
< f% ^J/jlj>l0*-jl
m m
; P < max | / j | max |
p f f t | = l l / l l l|ff|
P
x
4. F u n c t i o n s e , l n ( l + x), s i n s , cosa:
(4.1)
" jfc' '
0<);<oo
m(l + x ) = £ (4.2)
l<ifc<QQ
(-1)*
E (2* + l ) f (4.3)
0<Jt<oo
cos x = (4.4)
n GZ . +
24 p-Adic Analyiii and Mathematical Phytici
) + 1
Let n S Z+, n < p — 1, s 6 Z+. Then n can be uniquely represented
in the form
Denote
(4.6)
0<;<j
lim — = 0. (4.7)
(4.8)
1J 1
x 1
Function e is denned by the series (4.1) from which i t follows ( e ) ' = ef.
r
Taking into account the equalities (4.7) and (4.8) for the radius r ( e ) (see
Sec. 2.2) we get
Analysis on the Field of p-Adic Numbers 25
r
- < r ( e ) < 1.
P
Therefore
x M
Rtf?) = R((e ) ) = - , n £ l (4.10)
P
x - 1
For p = 2 we get from (4.9) r(e ) = 2 . Let us investigate the conver-
- 1
gence of the series (4.1) on the circle \x\ = 2 . Let x = 2 and k = 2". 2
1 1
= 2-*2*- = 2 - 7 4 0, fc-oo.
2
l
Hence on the circle \x\ = 2~ the series (4.1) diverges, and by Lemma 3
2
x - 2
of Sec. 2.1 R(e ) = 2 , and then (see Sec. 2.2)
x (n) 2
R(e ) = R((e') ) = 2" , n£Z. (4.11)
x
So for any p the series (4.1) for e can be termwise integrated and dif-
ferentiated any times in the same radius of convergence.
Denote by G the disc of convergence of the series (4.1); G is the additive
p p
_ 1 - 2
group \x\ < p
p for p ^ 2 and \x\ < 2 for p = 2. 2
1
e'e^e ^, x, eG . y p (4.12)
x x
\e - 1\ = \x\ , P p \e \ P = l l xeG .
p (4.13)
• The second one follows from the first one. To prove it we establish
beforehand the inequality
(1 c
< \x\ p -V ',
P x6G p i fce2 , + (4.14)
p
26 p-Adic Analysis and Mathematical Physics
(4.8) that
IF |fc!|.
as owing to (4.6) s > 1; for p = 2 the proof is similar.
k
„*-i
x
\e -K = = x „ max fcj
KKoo
.i-i
< (i-t)<- <
p l i fc — 2 . 3 , . . . ,x £ G . p
fc!
Function l n ( l + x ) is defined by the series (4.2). Its radius r owing to
(2.3) is equal to
r ( l n ( l + * ) ) = l i m |fc|>" = 1.
I—too r
_ 1
But at the point x — 1 the series (4.2) is divergent as | i | p > 1, k € !•+-
Therefore
R(ln(l+ i » = - . (4.15)
| i n ( l + x)|p = | x | ,p x Gp.
6 (4.17)
KKoo
Analysis on Ike Field 0/p-Adic Numbers 27
1 1 f P P^ 2
1 - < 1
l*^ !* V< { ^ - a ^ p l 2 ' *= 2,3,...,x G, € •
Denote by
J
P is a multiplicative group where it follows from the identity
l-xy = l - + l-y+(l-x)(l-y).
x
From the relations (4.12), (4.13), (4.16) and (4.17) i t follows that Ike
1
function e realizes an isomorphism of the additive group G onto the mul- P
which can be verified directly with the help of the series (4.1) and (4.2).
Functions sin x and cos a; are defined by the series (4.3) and (4 .4). These
1
series like in the case of the function e converge in G , and the following p
| s i n x | = \x\ ,
p p |cosx| = l , p igG . p (4-19)
Functions
x x
x ln +I
are squares of p-adic functions in G p (for p = 2 functions e and (^ )
- 3
are squares in Q p only for \x\? < 2 ) .
• These assertion follow from the Lemma of 1.4. In fact, the norms
of functions (4.21) are equal to 1 owing to the equations (4.13),(4.17) and
(4.19). Moreover their canonical forms are
3
1 + C (x)p+... ,p^2,
1 l + C ( ^ ) 2 - + . . . , = 2.
3 P (4.22)
28 y-Adic Analysis and Mathematical Physics
1
Let p £ 2. For e the representation (4.22) follows from (4.13)
1
le - 1L = IxL < - . x € G . P
p
For other functions it follows from the similar estimates which can be ob-
tained by using the estimates (4.14) and (2.3).
For p = 2 the situation is similar, more complicated. By using the
2
estimate (4.14) we have for | x | < 2~ 2
.2k
I cos x — l|a < max < |*|a2 -" < 2" , 1 3
(2A)!
„2*
sin x — 1 < max < \x\ max 2 - 1 - 2
* < 2 - 3
.
p
2 * e Z
+ ( 2 * + 1)! k€Z+
x x 2 2 l n 1 + I
The similar estimate for functions e = (e * ) and t ) are valid only
- 3
for | x | < 2 . Hence the representation (4.22) follows.
2 •
Finally we note that the functions sinx and tanx = map one-to-one
G p onto G . The inverse functions are
p
inx =
arcsin E
^
« 2k
2 {k\)
x — , XtGp, (4.23)
0<
arctanx = £ , x £ G, p
(4.24)
2A + 1
o<*<»
besides
jarcsinx|p — |arctanx| p = |x| .p (4.25)
n
| / ' ( a ) | = p . Then there exists a disc B (a), p < r such that / maps
p p
is valid.
Analysis on the Field of p-Adic Number! 29
function / maps one-to-one onto some neighborhood U(b) of the point 6 and
the inverse function g{y) is analytic in U(b) and the equality (5.1) holds.
It remains to prove that for a sufficiently small p" U(b) = B + (b)- p n
besides
oo.
Denote
2
max M „ p ' < * - > = p*, SGZ.
t — £,3,...
, n p
\f(*')-t>\ P = \f'(*)\p\* -a\p=P + -
1
Hence f(x') = y € S + (b) D U{b). Therefore the power series for the
p n
inverse function
g(y) = g>(b)(y-b) + ... a +
1
converges at the point y € S (b) and thus in the disc B +„(b). Reducing
p+n p
p+n
i f necessary the radius p we achieve that the function g(y) also will
satisfy the equality (5.3)
I I I . A d d i t i v e a n d M u l t i p l i c a t i v e Characters
The field Q is an additive group.
P We denote by Q* = Q \ { 0 } its P
multiplicative group.
x
Q , i.e. a continuous (complex-valued) function x( ) defined on Q and
P P
1
satisfied the conditions Ixt )! — 1>
1 1
x(* + y) = x(*)x(y). *.S>GQ . P C - )
a n a
Analogously one defines (additive) characters of the field Q ( i / £ ) of p
any group B . y
The function
vp(^) = exp(2 ri{^} ) 1(1.2) p
for every fixed £ G Q is an additive character of the field Q and the group
P P
By. I t follows from the relation for fractional parts (see Sec. 1.2)
Our goal is to prove that the formula (1.2) gives a general representation
x D e a n
of additive characters of the field Q and the group B . Let x( ) P 7
i
x(0) = l , x(-x) = W) = x- (*l x H - ^ W f , n£Z
(1.3)
At first we investigate characters of the group B . y
By then k < y.
Now we prone for any integer r, k < r < 7, the equality
p +i 7
v ( p - ) = exp(27rimp-' ), 3m = 1 , 2 p "* - 1 , (1.5)
k r p1
1 - X(P-*) = x(p-^- ) = [x(p- )] ~' •
r r + y y 7+i T r
X(p" ) = X ( p - ^ ) = [X(p- )}" " = [exp(2 rimp- 7 )]" " . •
k k +k 7
Denote £ = p m where | £ | = p ~ * | m | > p- p--> = p " and | f | < p p p
k y =
p~ . Then owing to (1.2) the representation (1.5) takes the form Xp(p~ )
-1
X p ( p 0 > and thus owing to (1.3) we have
r
X(P~ ) T
= X (p" O, P k<r<y (1.6)
k - 7
for some £ £ Q such that p~ > ]£| > p .
p p
7
{x)
X = x {Sx), P 3£GQ , P Ki >P"
P - (1.7)
r r+1 h+1
x = x p~0 + xip" + x - p-
r k+1 + x', x' G B , k xo^Q
32 p-Adic Analysis and Mathematical Physics
for some r, k < r < 7. By using (1.6) and (1.4) we get the representation
(1.7):
r i o r + 1 k+1 i
xO) = [ x { - ) ] [ x ( p -
P )r'... \x(p- )r'-+ x(*')
r r+1 k+l k+i
= [xp(p- or\xp(p- tw° •-• [x (p- z)r'- xp(*'o
P
r T+1 k + 1
= x {z - t
P ap + x - t: lP + ... + ^ x k + l P - i + x'i) = x {*0 P •
x =
The case £ = 0 is impossible otherwise x( ) X (0) = 1 in B
p T which
contradicts to the definition of the number it. •
Hence we have just proved that any additive character of the group B y
T + 1
has a form (1.2) where either^ = 0 or | £ | > p ~ ' . p
( 0
x(*) = x « < ° M . P £ 'eQ , P > 1• (1.8)
ll) w
x(«) = Xp(Z *), =t -Kb, 3*0 = 0 , 1 , . . . , p - 1 (1.9)
1
x = p- x 0 + x', 3 x = 1,2,... , p - l ,
0 x' <= B Q .
Io/p (0
x(x) = [ x f p - ' P x p ^ V ) = [ x ( i ) ] x (* V)
P
= M<- < 0 ,
r / p
x (^V) P = X p ^ ) ^ ) p
X (*f)
xp{t *'i0)
+ €0*') = x P (tf + 6 )
(0)
+ * ' ) } = x «- >*) P
(1
owing to (1.8). •
Ano/yiij on ike Field of p-Adic Numbers 33
X(x) = Y ( £ ; E ) ,
p £ = ?<°> + & + Sip + - • • € Q . p
Hence, any additive character of the field Q p has a form (1.2) for some
x s a
In other words, the mapping £ —• Xp(£ ) ' homomorphism of the
additive group of the field Q onto the group of additive characters. This
p
x x r a
mapping is one-to-one (i.e. from the equality Xp{£i ) = Xp(& ) f ° "
x e Q it follows that £ = £3).
p L
Now we have
to its additive group Q , and the mapping £ —* Xp{£ ) gives this isomor-
p
x
phism.
Let us denote
Xoo(i) = e x p ( - 2 ^ ) , x e R . (1.10)
II X P ( « ) = 1. *eQ. (l.ii)
2<p<oo
We use the following result: if natural numbers c and d are relatively prime then
the congruence cx + dy = 1 (mod cd) is solvable; indeed, dy = 1 (mod c) i = * ^ f £
(mod d).
34 p-Adic Analysis and Mathematical Physics
J
for some N, G 2 + , 1 < Nj < pJ - 1 and M G Z. From (1.12) i t follows
that
= J*7, {*)P = 0. P^P;. > = 1,2 n
n xr(«) = n =n ^nm^
2<p< oo !<)<«
= exp(2iri ^ { j r } ) = exp(27rta:) .
P i •
At last we note that any additive character x of the field Q (y/e~) (see p
*(x) = IX^MI^P'), M * % = 1- x- G S ,
0 a GC (2.1)
where JTQ is a character of the group So; conversely, any multiplicative char-
acter of the group So is extended up to a multiplicative character of the field
Q by the formula (2.1).
p
l
x = \x\ x,
p x' = \x\ x G So ,
p
Anatytie on ike Field oj p-Adic Number) 35
_ J V 1 _ c
where i t is denoted | x | = p p , ff(p) = p *. •
ir <«) s i ,
0 x € S_fc(l) = [x G Q i j * - 1| < p-"] .
P P (2.2)
• A proof follows from the conditions 7T (1) = 1, |ir (a:)| = 1 and 7ro(z) 0 0
•
The lowest k eZ+li {0} for which the equality (2.2) is fulfilled is called
a rank of the character ITQ(X).
There exists only one character of rank 0 : J T O ( Z ) = 1, as So C BQ(1).
Let the rank of a character xo(z) be positive. Then
x k 1
*o(x) = it (xo + iP+
0 ••• + x -iP ~ ) k (2.3)
_ 1 k
X = x + xip -f-... = (»o + * & + • • - + £ * - i p * ) ( l + tp )
0
k 1
where \t\ < 1 so 1 + tp € fl-t(l).
p Then owing to (2.2) m , ( l + i p ) = 1
and the equality (2.3) follows. •
(Otherwise the rank of the character 7T() would be less then k.) Therefore r
x x k 1
53 *o( 0 + * i P + •• • + t-iP ~ )
0<r,_,<p-l
= - 53 *„[(*„+ X l P +...+^.xp'-^a+tp*- )] 1
^ 0<i _,<p-l k
0<I _,<p-l
k
= , : 1
e 53 To(^o + x i p + . . . + i i _ i P " ) t
®; it = [*e%:x = a -eb\2
0,66 0,,]. (2.5)
• Let p ^ 2. In Sec. 1.4 it was shown that the rank of the group Qp/Qp'
is equal to 4. Therefore owing to inclusions Q* C QJ C Qp it remains to t
prove that
Of j* Qg* 7* QP • ( 2 7
>
Analysis on tke Field of p-Adic Numbers 37
a
I t is necessary to consider three cases: z = J),np,p, where n Q* (see
Sec. 1.4).
We shall prove
2 2
Let conversely prj G Q* , i.e. prj = a — nb for some a,6 £ Q , 6 ^ 0 .
iP p
But the last equality is impossible for none of a and 6 ^ 0 . Indeed rewriting
it in the form
we see that for 1) \y\ p < 1 the number 1 + j - is a square of a p-adic number
(see Sec. 1.4) and then pn would be a square, 2) | y \ > 1 the number 1 + ^ j p
note by and TT2 its restrictions on the field Q and on the "circle" C p c
Ti(-l)7r (-l) = l .
3 (3.2)
38 p-Adic Antxlyti) and Mathematical Phyiici
Further as
2
v = i>i> e Q* - £ C
1/
r L
v
we have the equality
2
Tr (f) — Tt\{yv)Tr-i(ylv) • (3-3)
I V . Integration Theory
J dx = 1 . (1.1)
1
C(a) = \a\ '- ir {«')>
p 0 |»o(o')| = 1 , «' € S,0 «eC.
Example 1.
j dx = p , y
y£Z.
It follows from the formulas (2.1) and (2.2) that
I«l»<i»"» W\,<i B„
E x a m p l e 2.
fdx = p-'(l--), yeZ.
J P
5,
It follows from the formula (2.3)
ff(\x\ )dx=
p f i - i ] Y, f W
E x a m p l e 4. In particular,
Analysis on Iht Field of p-Adic Numbers 41
E x a m p l e 5.
J
[\ \x\ dxP=
R
-1
.p (2.6)
Bo
j ln|*| dx = - ( l - I ) l n p
P £ TP- = - ^ -
0<7<co "(P-1)
1
tTx = Wr * .
d>x) = M " 1
^ * ) = I x f M x = d*x, a 6 Q* . •
Jdx = J \o-'(y)\ dy . p
K K,
42 p-Adic Analysis and Mathematical Physics
rk
\<r'(y)\p = W'{yk)\ P =p, y€B (y ) p k
cording to the Theorem on inverse function of Sec. 2.5. From here using
the formula (2.3) we get the equality (2.9)
=E / K(»)I*=E / K ( » ) I F * •
* *,(*») * B,<su.) Ki
( 2 1 0 !
/ ' « * - / ! * ' ( ; ) * • • •
j f{x)dx = j f( my)dy
S = J f(t aay)dy . (2.11)
E x a m p l e 6.
Analysis on tlie Field of p-Adic Numbers 43
y r
• For [£|p < p~ we have \t]x\ < 1 and therefore x p ( £ ) = I - Hence
p
owing to (2.3)
J X (£x)dx
P = j dx=f .
7 + 1
If KIP > P " then for some x' G 5 , we have |c>'| = \t\ \x'\ > p and p p p
x
therefore Xp(i ') ^ 1. Then performing the change of variable x = y — x'
we get that the desired integral is equal to zero:
j X p m d x = j Xp{i{y-x ))dy ,
= (-ix-)
Xp j {cly)dy.
Xp
B-, B,(*<) B ,
1
Here we have used the fact that B^(x') = B i f \x'\ < p" (see Sec. 1.3).
7 p
E x a m p l e 7.
7
P (l"f), \t\ <P\
P
JXp{£x)dx = -f- ,1
KIP = P " 1 + 1
> 3
( - )2
0, m >p- \
P
y+
7 CX-
E x a m p l e 8.* I f £ I / O - 7
) ! ? - 7
< oo then for £ f 0
0<7<i«
/ f(\x\ )x (tx)dx
P P
V W 0< <oo
T (3.3)
N
• I t follows from the formulas (1.3) and(3.2). Denoting | £ | = p p we
have
Q, -oo<7«» I
P
-oo<7<-iV
P
0<-,<oo
Example 9.
x>«»)«ir = 0, 0 . (3.4)
fl-
i t follows from (3.3) for / = 1.
Example 10.
„£I-1
1
It follows from (3.3) for / = I s ] " - :
P
Q, 0<7<~
Example 11.
J M x
\ \pX (£x)dx
P
OF
1 _1
= ( -;)ia £ P ^ - T ^ P - l n l ^ + l^'Ona-lnp)
0<7<co
= -|£L- lnp 1 + 1
0<7<oo
E x a m p l e 12.
\t\
E
2 2 7
,-7 P - P '
2
f
7- (3-7)
.x\j +m
2 2 1
It follows from (3.3) for / = {\x\ + m ) " :
XPIZX)
/ x\l m+dx 2
= a-i)ifi- 1
y ^ - let
2 7 2 + m Z 2 _ 2 2
P o<T?»P" l^p p ia + ™
=
V ~ P) e k
0 £ 0
l >
" 1
(p- 2 7
+ m 2
iei? " i ^+ ^ l e l . ) 3
2 2
HI, - » oo . (3.8)
[xtt + m p++ P lm*m'
46 p-Adic Analysis and Mathematical Physics
lim mI r
I, —oo J
p 2
= f i _ I ^ i _ H r n y p-*h?-p-**)(i- , " \ l c l 2
v y /
0<T<OO
p / tn \ 1 — p 4 1
1 — -p3
•
Note that in the real case the similar integral is equal to
OO DO
2
/ X - « f L 2
I = / "P(- ^') 2 2
& = ZL -^Htl
e (3.9)
y T + m2
j x +m m
— CO —CO
E x a m p l e 13.
jf i a r = p -\ y
7 e 2, t = 1,2, -,p~l (3.10)
E x a m p l e 14.
7
| (te=p (i--J, T es, i = i,2,...,p-i. (3.ii)
S,,i ** 0
Anttfti* on the Field of p-Adic Number! 47
|f T _ 1
J dx = j dx- j dx=p* f l - - p .
5,^0^1 S T S-,,x a =k
E x a m p l e 15. I = 1,2,...
J dx = p'- 1
(l - , 7 e S, k = 0,1,2 p-1, (3.12)
E x a m p l e 16. i = 0,1,2,...
y
j dx=p -'-\ yeZ, 0<tj<p-l, to?£0.
K
S,i*a **>*i=*i<— >*i = *r
(3.13)
E x a m p l e 17. ( = 0 , 1 , 2 , . . .
j dM^pt-'-ifl-j), 7€Z,0<^<p-l,
S x x :4
T' O = *Di l '*l
-.=*|.*I+1**J + 1
io^O. (3.14)
E x a m p l e 18.
J l l
- < ~ l d x =
l(i - ~°v
2
P
P 9 i Q > 0
' ( 3 1 5 )
48 p-Adic Analysis and Mathematical Physics
J\\-z\ - dx
p
1
= j |1
+ J n-*lf**+ / 1
|i-*r*- %+...
Se,»g=li'i#0 S„,10 = 1,11=0,1:^0
So.co^l S ,* =l,*i^0
e o S , r o = l,*i=D.*3i*0
0
- l - I + ± ( l - i ) + ^ ( t - i ) + ...
V p / i - p - * p
E x a m p l e 19.
/
5 0
ln|l-x| rfx= - - ^
p
P - 1
(3.16)
j In |1 - x\ dx p = In 1 y dfe + h i - y
- In 4 2
/ (fx + . . .
P
2 - 1
p V P 7VP p ' 7 P P ( I - P )
4. J n t e g r a i i o n i n Q "
The invariant measure dx on Q in a standard way is extended up to anp
J I \f(*,v)\dv dx
+ m
exists. Then the function f is integrable on Q p , and there exist all
iterated integrals of f, and they are equal
+m
Conversely, if a function f is (absolutely) integrable on <Q£ then all in-
tegrals in (4.1) ens I and the equality (4.1) is valid.
dxi
d e t $ m = d e t
* 0, y G K1 •
dy
J f(x)dx = j ^ t d x ( y )
f(x(y))dy . (4.2)
dy
K K,
1 1
and inert exists a function yj £ L ( Q ) suck that p
l
lM*)|<lK«). * = 1.2 xeL (Q?)
Km / f (x)dx
k = J f(x)dx .
Of
a»i£+i»*£+...+i*ngr'
P
^ ' -™<1i,-,7.<0
- ( ' - ; ) " E
0<iV<co ^
J 3 I W t + 2 B
E (p- " + ... + p - ' - U p - " '
0<v, + ...+v.<N
r 2N2N
„- p-
= min ( n — l ) a + -
- 1 np "
°<»<i [ a"
Continuing our estimates we get for 0 < a < 2n
Q
<n" £ p - W f l - ^ - l < ^ ,
0</V<go
Analyiit on the Field 0/ p-Adic Numbers 51
E x a m p l e 2 1 . p = 3 (mod 4).
/ /((x.xj^ae.z^rfn^a
4
-|-*r
2
l(£.£) l
(4-4)
if
2 7 _ 2 l
£ p" i/(p )i<^-
0<7<oo
N M
Denote folp = p~ , |£ | = P~ , N < M. Using the equality
2 p
(see Sec. 1.1) and the formulas {3.1)—(3.4) we get the equalities
J(t) = j j f(\xy\l)Xp(S2X2)d*2
|islp>lnlp
+1 /{|x | )Xp(£2X2) •
2 p
2
j X p(tixi)dxidxi
\pdxi
- j
l
H l ^ l ^ l p x A ^ ^ ^ i x ^ d x ,
52 p-Adic Analysis and Mathematical Physio
= j f(\x \l)\x \ dx + -
1 1 P 1
l
j f(\x \l)\x \„dxi
2 2
M>SI&I>'
+ I f(\x2\l)\^\pXp(Z2X2)dX7
s r /
;T<iv
-oo<7<JV r
y 2y
+ " £ P f(p ) [ Xp(t2*2)d*2
P
AT+l<7<Af+l §
= ( 1
- ^ ) £ P - W / ( P ^ ^ ) - V W + 1
/ ( P 2 J V + 3
)
P
> ' 0<7<oo
He £ 2y 2y 2
p- f(p- \h\; )-f(p*\b\ - ) P
2
0<7<DO
2 2 2
from where the formula ( 4 . 4 ) follows if we note that fol = |£ + £ ] = p
2
G = {\(x,x)\ p + m )-' (4.5)
/ Xp((*»)
\(x,x)\ + m*
p
2 2 7 2
P / <^„ 0 VP" + P + m'KCOB ; ( 4 .6)
From here i t follows as in the case of the propagator ( 3 . 7 ) that the right-
hand part of the equality ( 4 . 6 ) is positive and have an asymptotks
l«.OI* (4.7)
2
P + lm*\(U)\j'
J f((x,x)) {{f,x))dx Xp
H) 0<T<OO
(4.8)
if
T
£ TP I / ( P
7
) | < oo .
0<-|<oo
2
• There exists a solution r £ Q of the equation T = — 1 (see Sec. 1.4).
p
yi = K * ! - TX ), 2 Xi = J/i + J/2,
VI = §(*i + ™2), x = T(yi - y ),
2 2
gives
2
\(x,x)\j, = \xl+x \ 2 p = |2(l-T) t f l ! f t | = knlplsal, ,
(€.*) = +&*a - £ i ( ! / i + j/2)+6''(!(i -y2) = Ciyi + C2y2 - (C,y)
where i t is denoted
2
Ci=Ci + r 6 , C2 = 6 - r& (C1C2 = + £ - (£.£)) •
2
X (<iJ/i)^i
P (4-9)
54 p-Adic Analysis and Mathematical Physics
By using the formula (3.3) twice to the iterated integral in (4.9) we get
the formula (4.8):
V /
^ V = 0 L ^ 7=0
1 1 1
-/(p-^lCilp- ^!; )^!;
7+1 1 1 1 1 2 1 1 1 1
•/(p- Kil - K2l " )Kilp" IC2| - + /(p lCil - IC2| - )Ki| - lC2lp
p F p p p p
2 1 7 1 T 1 2 1
- f - - ) £ P " / ( P - K I < 2 | - ) + /(P ICIC2| - ) p p
=idc ir 3 i - ^)£(t^)^^"W)
V. T h e Gaussian Integrals
2
Integrals of the form / x ( a z + bx)dx are called Gaussian ones. Here
p
we shall consider the cases when sets of integration are the circumference
, the circle B-, and the whole space Q . p
J (ax Xp
2
+ bx)dx = X (a)\a\; " p
l
Xp , a# 0
if 7(a) is even,
W A f 7f[ 1+
(- ) ' l 1 f l 1
if7(«)iseven,
I ^•' "(- ) < 1 a a
if7(i)isodd.
We note the simplest properties of the function A (a): p
| A , ( a ) | , = 1, A ( ) A ( - n ) = 1,
p a p n^O,
2
A (ac ) = A ( ) ,
p p a a, C ? £0.
The furthest properties of the function A (a) will be given in Sec. 5.4. p
if p — 1 (mod 4) ,
0<*<p- if p = 3 (mod 4)
= A (m),/p,p
v y /
;jc< -i
0<Jt<p- P
T
<P~ , 7<0,
-p'-'Xric* ), 2
XL -= p„-y+i 7 < 0,
2
/ X {e(?-V) )dy
t = 0, 1+2
>P~ : 7<0,
1, *IP
7
= P> 7>1,
I 0,
(1.1)
56 p-Adic Analysis and Mathematical Physics
2 2 2
Xp (e(x - y) ) = (e(y Xp - 2xy)+£x )
2 2 2
= (£(y Xp - 2xy)) (ex ) Xp = (£x ) Xp .
{cx )
Xp
2
Jdx = p>(l- ± ) x (ex ) P
2
-
(e(x
Xp - y) ) 2
= X p(ex 2
+ £y 2
- lexy) = Xp (£x )x (-2£xy)
2
P .
Xp (cx ) 2
j (-2exy)dy
Xp = -p^'xp^x ) 2
-
2 2N - 7
{e(x - y) } = | p " (ep 0 + e,p + . . . )(x 0 + p+...+Xl (**_, - yelp*
1
+ • • - + (*w-i ~ y ^ - i j p ^ " + •• - ? \
Jp
2
- L(y ,y\,... 0 , yN+1-2) - -e xlyx -,-i
0 +
where L does not depend on yN+-,-i- Then taking into account the formula
(3.13) of Sec. 4.3 for I = JV + 7 - 1 we have for the integral
N
p- £ E - E -p(2-i)
2
E exp f - — £ i y w 0 + 7 -i J= 0 .
Analysis on tke Field of p-Adic Numbers 57
j fcOO - y) )dy 2
= J X M* - y?)dy = •••
S ,y =*o
T 0 •S,,yo=io,yi=ii
j Xp (e(x ~ y) )dy2
J dy
S ,yo=x ,...
y 0 ,y-,-i=x -, y
= p 7 -( -l)-l7 = l i
2 7 + 1
P^l-^Xpiep* ), *lp < P " , 7<0,
7 + Z
z| = p -
P . 7<0,
7 + 3
*IP>P~ . 7<0,
0,
/ x (ep(x-y) )dy
P
2
=
K{£p)y/P-Xp(£px ),
0,
2 *\P
(1.2)
2 2
|ep(x - 2 x y ) | = | e | | p | | i - 2 x y |
p P P p
2
< ^ max(|*| , |2xj/| ) < i max( 1,p) = 1 . p
Therefore
2 2 2
X (cp(3! - y) ) = Xp(epy )x [£p{z
p P - 2xy)} = x (epy) . p
But
and owing to (3.10) of Sec. 4.3 and (*) the integral is equal to
5
M«f)*-jc
i l<y <p-l
0
r (^f)
= E e x p ( 2 ^ ) - l = A ( p)Vp-l
p £
P
0<v <P-l
0<io<P
o ^ '
For 7 = 1, k l = P. y € 5 i we have
P
2 :
{ e p ( * - y ) } p = {^(eo + £iP + •••)[*<! - i / o + -yi)p+ ...]
e x £ x 2
/ e x p ( — £ o ( x - y o ) M dy = 0 P (~ °( ° ~ f°) )
V P
i i<!/ <p-i
0 '
= £ e x p
( 2 , r i
— ) -ex 27ri{epz } P
2
p = A (£p)^p -p x (epx )P
2
0<*<p-l \ P /
1
For 7 > 2, j « | = p , y £ Sp 7 we have
2
{£p(z-y) } p
2 r + 1
= {p* " } ( £ + £lP + . . . ) [ x - J f e + fci - * i ) p + • • -
0 0
2 7 Z 2
+ ( * 2 - 2 - y 2 - z ) p " + . . . ] }}p,
7 7
J X > M x - y) )dy 2
= j x {ep(x
P
2
- y) )dy =„ .
•ST.SD=IO
j Xp(ep(x - 2
y) )dy
L P
0<S-,-i<p-l
Yl *p [ " - * _ = ^p(ep)VP •
= e 2 5 r i a
0<Jt<p-
o<*<»-i p
Here we have used the formulas (3.13) of Sec. 4.3 for / = y — 1 and (*)
3
0, I | >2-^+ ,
3 7 < 0 ,
z|2<l, 7=1,
/ X2(e(z 2
- y) )dy =
i, z|a = 2,
a| >4,
T=1,
7=1,
o, 2
V2X (e), 3
*|2=27, 7>2,
0, *b*2\ 7>2.
(1.3)
• Similar to Examples 1 and 2. Special cases are the following.
For 7 = 1, | x | < 1, y € Si we have
2
2 2
\e{x - 2xy)\ 2 < m a x ( | x | , \2xy\ ) < m a x ( l , - | y | j ) = 1 ,
2
2
{ey }2-{\(l + ei2 + --.)(l + y i 2+...f^ = \ +^ ,
j X2^y )dy 2
= j exp [ 7ri Q + | 2 dy
Si 5 ,
—KM = <(-!)'
60 p-Adic Analysis and Mathematical Physics
\z(x~y) \ 2
2 = \(x-y) \ 2
2 = ^[(*i-!/i)2 + (* -i/ )4 + ...] 2 2
:
< 1
Si
H* - yfh = {2 _ 2 T
( 1 + M + . . . ) [ ( * , - !fi)2 + £ i - y )4 + .. . ] }
a 2
2
= L(y ,yi,...
0 .^37-4) - ^ ( ^ i - ai)»3r-8 1
•S„yi=ii
/
v-.-J = ' i - a
a
{ e ( * - y) >2 = + Ei2 + . • • H K - j - y - i ) + 7 - *,)2 + . . . ] '
y w» 2 , r i x
(^+Y)( 7-i-!/T-i) ;
dy
1
= e x p ^ i Q + ^ ^ T - i - ^ - i )
+
k=0,l
2«t a
(M)]—h(l t)]
= l + i ( - i ) * * = v^A (e) . 2
Analysis on ike Field of p-Adic Numbers 61
7 + 3
M»<2~ . 7 <0,
-2^- v (2« ) 1
2
3
1
k b = 2-r+», 7 <0,
4
o, |xb > 2 - » + , 7<0,
1, Ma = 2, 7=1.
J X (2e(x - y) )dy
2
2
= A (2e),
2 Ma = . 4
7=1,
5 T
0, Ma>8, 7 = 1,
2A (2e), 2 Ma<2. 7 = 2,
0, Ma > *. 7 = 2,
2A (2£), 2 Ma = 7 > 3,
0, Ma#2\ 7>3.
(1.4)
• Similar to Examples 1-3. Special cases are the following.
For 7 = 1, |z|2 = 4, y G Si we have
{2 (x - y) )
£
2
2 = j ^(1 + 2 + £ 4 . . . )[1 + (xi - 1)2 + (x - )4
£ l 3
(«, " l ) 2
, *1 -
a Vi +
•4
+ +
1 4 2 '
= exp
Si
1 + i. a
.•"(-ir = A (2£) .
2
62 v-Aiic Antlytii and Mathematical Phytict
For 7 = 2, N
= 1 ,N <\,yeSi we have
= | i ( l +£ 2 + 4...)[-(l- 1 e 2 I / l ) 2 + ... + ( l - y _ ) 2 -
2 N
2 N
+ ...] J^ 2
2
= / I + £i + £ + ^ + ^ l
+ + 1
8 4 2
/ e x p [ 2 « ( 1 + ^ + f ) ] rf = 2exp [ft* g + § + f ) ] = 2A (2 ) V 2 £
Z l + 3
2- ( l + E I 2 + - . - ) [ ( * ! " » ) + (as - » ) 2 + . . .
r
*T*1"1 !.-l- T-l
{2e(*-y)%
= | j ( l + e 2 + c 4 4 " ) [ « T - a - 1/7-2 +
1 2 - ^-1)2+.. . ] J 2
S ,yi — c,,...
y
/ ,y _)=T -
y y 3
e x p
\
JTI,
- irT-3) + 3
- y-i-i)2
= E E e X
P< j[(z7-2-!/7-2) + («7-l-S/7-l! a 4
+ 4(%_i - s f y _ i ) ( % _ - y - 2 ) + (2ci + e ) ( : r , _ - y - 2 ) ]
3 7 2 2 7
!
e ! A k e 2
E E *p { T l * + ^ + i +^ + *)* ]}
*=0,1; = 0,1 '
E x a m p l e 5. p # 2, | o | > p p
2 - 2 7
, 7 € Z
l/
_ j X (a)\a\; \ p p (-£),
I Xp(ax + bx)dx =
0,
(1.5)
s.
2N
• Let a = o~p~ where either a = e or a = ep, |e| = 1 (see Sec. 1.4). p
2 2 1
Under the condition |aj > p ' ' , either N > 1—7 (for c — t) or N > 2—j
p
I
2 7
Xp (p- "cTX + bx)dx
S,
= p~ N
J 2
Xp(vy -rl>P y)dy N
b p aw
)/
2
N
6p
= P~ Xp
4(T
64 p-Adic Analysis and Mathematical Physics
Using the formulas (1.1) for a = e, N + 7 > 1 and (1.2) for IT = ep,
N + 7 > we get for the desired integral the expressions
2
P
~ N x
> ("in") =
I
I 0
M*P)VP ^ I S
i f otherwise.
= P W + 7
. « = *
1 = A (0, P P N
= K\ !
P \^\; N ,
= \a\ H<r = e,
P
N N
A (n) = A M ,
p p p - ^ = \a\ >\ p p f~ = |a| i f <r = , p
p
7
/ v p a i ' T t e ^ = < .. . (I- )
E x a m p l e 8. p / 2, \a\ = p p
1 - 2 7
, 7 S S.
7 + 1
H P < P - ,
7 + 2
H P > P " .
(1.8)
Analysis on ike Field 0/ p-Adic Numbers 65
2y 1 7 l
• As a = p e, |e| = 1 then after substitution p
p x = y the integral
takes the form
7 2
6p- +i\ l
7 *p 2ep
5,
fc
If l l < p " P
7 + 1
then ^ ~ < p, and we use the formula (1.2) for 7 = 1,
I r \p
2 3 I , + s
( b \ \ { 6 p~ ' Y
2< P
2 s 0 t n e
kip 5 P - integral is equal to 0. •
E x a m p l e 9. p ft 2, 7 € 2
2 t
, f P ^ J W I P ) , K P < i,
(2.1)
27 2 2
• For |a|pP < 1, y € S we have | a x | = | a | k | < 1 hence 7 P P p
2
X ( a x ) = 1, and the formula (2.1) follows from the formula (3.1) of Sec. 4.3
P
j x (bx)dx P
7
= p fi(p |6|p) . 7
By
2 7 m 2 2 7 2
Let now H p ? > 1, \a\ = p " \ JV = 1, 2 , . . . , a = s p " " , |c|p = 1, p
P<- N
j Xp{zy +p -*by)dy 2 N
= 7
"" £
N 2 N y
P
fxp(p -''by)dy+ [ Xp(ey +p - by)dy
(2.2)
66 p-Adic Analysis and Mathematical Physics
N
For | | | p > pT, i.e. \h\p > \a\ pi = p™~\ we have \p -<b\ = p p
y N N 2 1 2
p ~ \b\ p > p. Taking in account that in (2.2) \e\ p ' ' > p , i = P
1,2,... ,N we conclude owing to the formulas (3.1) of Sec. 4.3 and (1.7)
that all integrals i n (2.2) are equal to 0, and the formula (2.1) is proved in
this case.
N
For | £ I P < P , i-e- I P *
7
" 7
^ < P • the integral in the left-hand side of
(2.2) takes the form (2.1):
T6
y
P~ X N
P
dy
1/2
= K Xr
E x a m p l e 10. p = 2, y £ %,
JX2(ax 2
+ bx)dx
7 7 27
2 fl(2 |6| ), 2 |n| 22 < 1,
1 / 2 1 7 27
A (a)|2«j
2 2 X 2 ( - £ ) 6(\b\ - 2 " ) , 2 |al 22 = 2,
1 / 2 7 27
A ( )| 2 a 2 a |- X 2 (-£)fl(2 |6| ), 2 |a| 22 = 4, ( 2 3 )
1 / 2 2 7
A («)|2a|-
2 X 2 ( - £ ) 0 (2-7 , |«| 23 > 8,
where
l i f T
tfU T» / H>=P >
Analysis on the Field oj p-Adic Numbers 67
• Similar to the Example 9. The cases \a\ 2 "> = 2 and |n| 2 "' = 4 are 2
2
2
2
considered specifically. •
Example 11. 7 € 2
2
/ Xp {ax +bx)dx
2y
f P'toWK), \a\ p
p < I,
- { \ W)l2aS*'%
p ( - £ ) n ( -<\l\ ),
P p m *>
pP > L { 2 A )
E x a m p l e 12. a / 0
j XP(™ 2
+ bx)dx = U«)Mp X* ( m
~ S • (3-1)
J X o(ax
0
2
+ bx)dx = X ( )\2a\Z Xoo^-^y
00 a :
l/2
(3.2)
tr-
ial™ = M , X » ( * ) = e x p ( - 2 i r i x ) and
Aoo(a) = exp I - ' 7 signal = < (3.3)
V 4 / { Ifi , f a< 0.
—oo
• (3.4)
68 p-Adic Analysis and Mathematical Physio
X (a)X (b)
p p = X (a + b)X (^p p + ^j , a,b,a + b€%. (4.1)
,-1/2
P
2
/x (°-x )dx J Xp{h )dy 2
= X (a)X (b)\2a\-^\2b\-
P p
= J x (*(x P
2
- y) )xp(h )d*dy 2
=J j x M * - y ? + 2
h ]dxdy
= JX {*z )dx P
2
j Xp [(a + b)y 2
-2axy]dydx
2
= j X (ax )X (a P p + b)\2a + 2b\;^ Xp ( - ~ ) dx
1/2
ab
= A ( + p a fc)|2 -r2i.| - A
a p p ( j
a+b
= X( p a + b)X ( ^ ± * ) P
1
|2a|- /'|26r / 1 2
Ma) = l , (4.2)
2<p<co
Analysis on tke Field of p-Adic Numbers 69
• The product (4.2) converges for all rational numbers a -ft 0, as only a
finite number of factors in it differs from the unity. Let a rational number
a ft 0 have a form
,
a = ±2°"p? pj' » • « * . 0 = 0 , 1 , . . . , n)
2
X (a)X (-a)
p p = 1, A ( n c ) = \{a),
p 2 < p < oo
0 , 0
a = 2 pip ...p ,
2 n 0*0 = 0 , 1 ,
X (a) = i [ l
2 + (-l)'i], X (a) = 1 i f p
p ? j j = 1,2,...,«
( i
i f Pj — 1 (mod 4),
Pi
)
- if Pj = 3 (mod 4).
1
Therefore
f r i p *
£ M«)=«p(-*f)^ti+*(-i)V n (4.3)
2<p<oo l<j<ti
V
70 p-Adic Analysis and Mathematical Pkysxcs
• n fj=n
= n h>" = (-1) (4.4)
l<;<t<n
l i l 2
A (a) = e x p ( - ^ ) - ^ [ l
p + i(-l)']i'(-l) ^ = l 1 (= 0,1,....
prime numbers of the form 8/^+3, 8JV+5, &N + 7 in the set (pi,p2. • • • iPn)
respectively. Note the product of numbers of the form + 1 is a number of
the same form, but the product of numbers of the form 87V -+ j(j = 3, 5,7)
is of the form 8JV + 1 i f a number of factors are even and is of the form
SN + j(j ~ 3, 5,7) if a number of factors are odd. Therefore
l+i if e v e n OT
^ h,b,h h,h,h odd,
^ i f i i odd J2J3 even or /1 even, / , / odd,
Ha) =
2 3
A » p =
if Pj = 3 (mod 4),
Thus acting like in (4.4) and using the formula (4.7) of Sec. 1.4 we get
n M*)=> '>n +
H 1+fc
n(£] n (
-^fe-u* n fejte)
f ) ( + 1
= t''+^(-i)'-+''(-i)'''" '" a ' ''''' = (_i)'i+'=+id+' ) _ 3
[225] for locally compact fields. Its particular expressions for the fields
Qp are contained in papers [215,239,3,182,151]. The function A (a) is con- p
and for p ^ 2
s
(a,-S) = sgn a, f £ £ Q ; see (2.4) of Sec. 3.2).
1) a = b = £, 4) a = e, b = p,
2) a = 6 = p, 5) a = £, 6 = ep,
Z)a = b = ep, 6) a = p, b = ep, \e\ = 1,p
\{a)\ {-ea)
p = sgn a\ (-e),
t p (4.7)
= ( -j)
1
N; 1 / a
5 (ifll; , 1
,7(«) even, (5.h)
-1/2
P
7(a) odd, (5-l )
2
1 3
if | . | < l a j " ' ;
p
1 3
if N|p > l < ' . (5.1 )
3
0<*<oo v
* ' 0<f<oo
4 3
P +P a 3 s
p + 1l * l p * > g ' ) + 0(|x|- ), - oo . (5.3)
Analysit on the Field of p-Adie Numbers 73
E /
Js y
X (a(x-yf)dy
P
-oo<7<oo
2
= X (ax ) P £ e - ' " / »<-2a«i,)<.y
1-AT<7<« y
1 / 2 N 2
For | J : | < |a|
p p= p~ we have x ( a * ) = 1, x ( - 2 a z y ) = 1 , » C P p
7 < -TV, j ^ l p = | z | 7
p , 7 > —JV + 1, and by virtue of the formulas
p
-co<7<-JV / v r
' -eo<7<-«
e-'V
-H) E -'-V^=(i-i),-" E
v 7 v r /
^ N<y<oo 0<7<™
1 / 2 7
= ( I - ; ) W P - E ^"V
0<7<oo
1 / 2 N M N+l
For | x | > \a\
p p= p~ we have |2ax| = p > jr , and by virtue of p
the formulas (5.4), (1.7) and (3.2) of Sec. 4.3 the integral is equal to (5.1 ); 3
74 p-Adic Analysis and Maihtmaiical Physics
. — oo
E < 7 < - M
" jdy + e " "" J M )
| x f-2Mj*)rf»
p
+ E
l-N<7<co
,-p y X (ay - P
2
2axy)dy
2 7 2 M
= (I- X p (az ) £ ^^P - Xp(^ )p- e
-co<-,<-M
7 5 :
0<7<oo
2
X (a* )
P
-p y Xp{ay - 2
2axy)dy
(5.5)
1-JV<7<CO 5^
1 / 2 1 2
For | i [ < |a(p
p i.e. | i | p < p""" we have ^ ( a x ) = 1,
2ai
XP(-2aiy) = 1, y e S , T 7<-JV-l,
1
a 2
M )x (-o* ) - ^=
P
-oo< <-W-l 7
1
M«) - —
w M w 2
Tor | i | > p - we have |2az| = p > p + . By virtue of the formulas
p p
(1.7), (1.8) and (3.2) of Sec. 4.3 the desired integral ( 5 . 5 ) is expressed by
the formula (5.1a):
1
£ e"* fdy + e-'* -" ^ x (-2axy)dy
P
L-co<7<-JVf 5 ^ S!_ M
2 - M <7<oo
7 M Mi
= v ( p M
2
) 1-i) E^""V -p- e-^-
L v *> T=M
3
+ e -K^(^| |-^ 0 X ( ,(-oa
2 l r
-xp(™ )\™\; e-^™ '' •
N N+l
For \x\ = p~ we have | 2 a i | = p ,
P and owing to the formulas (1.7) p
1
X (az )
P
2
E eWl-lV+e-'- " / {ay*
Xv - 2axy)dy
-><-"-
. -oo<7< 1 K V J
CM
+ e
"
P
J X (iy P
2
- 2axy)dy
-W+l<7<oo
1
M°)Xp{-ax )
2
+ e -Kv ( * )|a|rV3 p a
2
- —
VP]
76 v-Adic Analysis and Mathematical Phyiici
as
2
/ e-M'> 2(a{z-y) )dy
X
to
= l-iri\a\?>\-W + i\ \- ^S
a 2 ( K 1
^ ) , |.|, < W - (5.60
1 / a
I) , |x| =
-1/2
if 7(a) is even;
1/2 a 1
+ N/2A ( )|a| - e- l"l>',
! a 2 ( . b i ^ M i " " . (5.6 )3
|*U - l « l a ( 5 . 6 4 )
= 5 $ f M « W * * ( * F . j ) , l » b - V W ,
if 7(0) is odd;
1/a 1 1 6 a
= v^A (a)|a|2 « - > - ' 3 + M ^ l t " ' ) [ s f ^ M j , ± ) - 2 e - l « l > ] ,
2
1/2
l*b > 2 | a | -
3 . (5.6 )6
K|a-*.oo . (5.7)
It has asymptotics
o ,
S(a,q)-.e-° + 0(e- '> l a - -oo, ( | j < 1),
S (6.2)
5
S(a,q) ~ -^C(ln« l 9 ) + 0(e-"/' ), a - oo(0 < « < 1) ,
(6.3)
1 2 l e
C(x,q) = e' £ S e- *«", - o o < z < oo (6.4)
— 0O<jfc<00
a , W
S( ,q)=
a £ **«- - E r*«-*"" • <">
- DO<lb<fO l<t<oo
78 p-Adic Analysis and Mathematical Physio
KKoo
a / j 3 o / j 5
-e- < 0(a) < C , e - , a >2
+
C(* + T , ) = e ^
9 £ g * -*- V*
e
— oo<k <oo
a ,
= -/
e a £ ,'-v« "-" ! S c(«, ).
5
— oo< t<oo
1
f ( l - j ) C (in |a|-», i ) + O f e - ^ H r ' ) , 7(a) even,
\ ( l - i ) C (in K 1
- Inp, I ) + 0(\a\; e-^-,'), 1,2
7 ( ) odd.
a
(6.7)
V I . Generalized Functions ( D i s t r i b u t i o n s )
{S 1 ( t t ) ( x * ) , fc = l , 2 , . . . , M } .
k k
Let us denote I = min l(x ). Then for any point x € Bn t^(x ) x and for all
x' € Bi we have
k k
f(x + x') = f(x +x-x + x') = f(x)
as
r
I * - * * + x'\ p < ffiaxfj* - z% \x'\ )
p < m a x ^ ' V ) = p'< "> . •
Examples.
1. | x | € £ .
p
2
3. xM> x (* ) e £
P
1
Denote by At(x) the characteristic function of the disc Bt • A t f ) =
k
Sl(p- \x\ ),k€Z.
p
v N
where I G Z and a" € 5jv sucA that the discs Bi(a ), v = 1,2 p ~'
form the canonical covering of the disc Bp/-
1
By / = N the statement of the Lemma is obvions (by a = 0). Let / < N.
Owing to Sec. 1.3 (the example 2) the disc Bjy can be covered by disjont
N
discs Bi(a"), v = 1,2,... ,p ~' with centers a" of the form
1 v r r 1
a = 0, a = p- (a 0 +a +
lP .. . + a _,_ p -^ )
r l l r = N, N - 1 , . . . , / + 1
l, xeB N
l<v<p"-' ^ > U x$ B. N
f (x)
h 'Mo, k^oo.
2. Test Functions
Let ip £ T>. Then by the Lemma 1 of Sec. 6.1 there exists / € 2 , such
that
tp(x + x') = <p(x), x' e Bf, x € Q •P
E x a m p l e s . 1. A (x) € V , 7 € 2 .
y
y
ail
- M i
3. i ( i - k)6(\x\ - p ) £ l ? , )t = 1,2,... , p - 1, 7 € 2 , where the
0 p
1 7 - 1
the form
*K*)= E -<•"). *€Q P (2.2)
i<u< "-' p
for some a" (E SJV, which do not depend on <p and such that the discs
v N
Bi(a ), v = 1,2,... ,p ~', are disjont and cover the disc Bjt-
82 p-Adic Analysis and Mathematical Physics
From here it follows that the space T>' is finite-dimensional, its dimen-
N
N-1
sion is p ; the functions
N
A,( -a»),
X v=l,2,...,p ->
£ A , ( i - 0 = l, zGif, (2.4)
l
A(*) = £ / K ) A ( z -
7 a ')ei'
reft
in O. The space V(O) is the subspace of the space V\ its properties are
similar to the properties of V as in the case of the field H (see [205]).
p
V(0) is dense in L (0), 1 < p < oo.
• I t follows from the facts that V(0) is dense in C(K) and C(K) is dence
p
in L {0) where K is an arbitrary compact contained in O (see Sec. 4.1).
•
k
Then their characteristic functions A (xyk — a ), k = 1,2,... form a de-
composition of unity in O,
E A ^ ( z - * ) = l,
a xeO. (2.5)
t
are satisfied.
ciency. From the condition (i) and ( i i i ) it follows the condition (ii) by virtue
of representation (2.2). I t remains to prove that from the conditions (i) and
( i i ) it follows condition ( i i i ) Let it be not the case. By the condition (i)
2
lim / tp (x)&i(x
k - a)dx = 0 = l i m / tp (x)Sl(p~'\x
ki - a\ )dx
p
*-.oo J '-•aoj
3, Genera/iied f u n c t i o n s ("Distributions^, n = 1
v4 generalized function (distribution) f : we call every linear functional
f onV, f :<p -» (/,?>), p € 2 > . TAis set me denote by P ' = P ' ( Q ) . 2>' is P
0, * — oo in V iff (f ,<f) k - O . i - o o ^ e H .
• Let ip —* 0, fc —* oo in V. Then -p € V
k k N for some JV and / and owing
to the representation ( 2 . 2 ) of Sec. 6,2
M * ) = £ M«")M* - O . B
-* M .
l<u<p -'
v
A<p (x) =
k £ ? t ( a ) i 4 A 0 - a") — 0,
I it -» oo in M . •
From the Lemma it follows that 7?' is the set of linear continuous func-
t i o n a l on V, i.e. the space V is a strongly conjugate space to the space Z>.
Anatyiit on the Field of p-Adic Numbcri 85
Therefore by the study of the space 2?' it is possible to use general theorems
of the functional analysis. I n addition the theory is essentially simplified
in comparison with the corresponding theory over the field K {cf. [205]):
i t is sufficient to verify the linearity of functionals, their continuity follows
automatically.
The space V is complete.
Em ( f t , ^ = £ % > ) • (3.1)
k — co
It is clear that the functional C(<p) is linear, and thus it belongs to V. We
put C(>p) = (f,p), f £ V, tp € T>. The equality (3.1) shows that f -> f, k
fc 00 in Z>'. •
1
* The definition of Z,. see in Sec. 4.1.
86 p-Adic Analysis and Mathematical Physics
E x a m p l e 2.
k k
M * ) = P n(p \x\ ) p - S(x), k —* co in D' (3.4)
j b {x)-p{x)dx
l — <p(Q), i-^co^eP. (3.4')
Q,
The limiting relation (3.4') is valid also for all functions <p continuous at
the point x = 0.
It is clear that A'f £ P ' and ,-1* is linear and thus by the Lemma of Sec. 6.3
i t is a continuous operator from V into V.
A specific expression for the operator A* we get by using the formula
(4.1) to functions / £ L]^ after performing the integral (see (3.2))
if,A<$ = j f(x){Ay>)(x)dx
E x a m p l e 1. a(x)6(x) = a{0)6(x).
/ - M * ) / . (4.3)
/ = <W(z)/ (4.4)
where f upp/ is the characteristic function of the set supp / (see Example
a
5 of Sec. 6.1).
Linear change of variable y = ax + 6, a ^ 0 in a generalized function
f(y) in accordance with the formula (4.1) is defined by the equality
k k
there exists a sequence of points {x , k = 1 , 2 , . . . } , x £ supp / , such that
>l
—» oo, k —*. oo. I t means that there exist neighborhoods By(x ),
k
fk < 7 and functions <pv G T>{B (x )) such that {f,<pk) = 1, k —* 1,2, —
y
On the other hand <pt —t Q,k—r 0o in B (see Sec. 6.1) and hence ( / , ft) —* 0,
k —> oo. The contradiction shows that the supp / is bounded. •
Let O be an open set in Q . The space T>'(0) is the set of linear (and
p
E x a m p l e 6. The function
H
e- ''eiUQp\{0}},
( ,
and therefore it belongs to f ' ( Q p \ { 0 } ) . I t admits an extention (regulari-
sation) from V by the formula
(/o,V>)= f e-^[p(x)->p(Q))dx-r j e
l
-W <p(x)dx
This fact does not occur in the case of the field ffi (cf. [205])!
Analyait on the Field of p-Adic Numbtrt 89
f(x) = ^A *(z-a*)M4,
y x £ O . M
k
B (a)
y = [x £ Q ; : \x - a\ < p*], p a = (a a ...
u 7l ,a )
n
B (a) = B( )
7 y ai x B , ( a ) x . . . x B (a )
2 y n . (5.1)
v
E ^ )A {xi-a\)..-A (x -a" ),
h K n n x£®" p
£ '*
(5.2)
for some a" = (a\ , a , . . . oJJ) € Bjv which does not depend on ip.
2
90 p-Adic Analyeii and Mathematical Phyaici
u
where A | ( z — o ) is the characteristic function of the ball fl|(a").
In the Fourier-transform theory the form x£ must be replaced on the
scalar product (x,£) = xrfi + .x„t;„.
l+m
then the operator p — (a(y), <p{x, y)) is linear from V(Q ) into D ^ ) , p
and thus the functional on the right-hand side of (6.1) is linear on V(Q ). p
1+m
+ m
( / ( * ) x g(y% ) 9 = £ ( / , p ) ( , ^ ) = (9(y) x /(»),*»),
t S p £ P(Q; )
(6.3)
so the direct product is commutative:
f(x)x (y)
3 = g{y)xf(x) (6.4)
Firom (6.3) i t follows also that the direct product f(x)xg(y) is continuous
with respect to the joint factors / and g; i f fk —• 0, k —• oo in Z>'(QJJ) and
3fc— 0, k -» oo in f ' ( Q p " ) then f x g -* 0, k — oo in T > ' ( Q £ ) .
k k
+ M
f(x), J p(x,y)dy
l = j(f(x) p(x,y))dy, }t <p £ V(Q£+ ) m
. (6.5)
Analysis on the Field of p-Adic Numbers 91
m
(A<p,ib) = (F,<p(x)tb(y)), ^€P(Q "),p VGD(Q F ). (7.1)
+m
• As every * ( x , y) from Z > ( Q p ) is represented in a finite sum of the
form (6.2) then the bilineaT functional B(<p,ip) defines some linear func-
tional
F:*-£B(^,y>*)
k
1+m +m
on T > ( Q p ) , and thus F G V'(Q^ ). The generalized function F satisfies
the equality (7.2). I t is clear that F is unique. •
1
C o r o l l a r y 2. Every bilinear form B{<p,4>), >p G PfQp ), i> G PfQp") is
continuous.
92 p-Adic Analysis and Mathematical Physics
8. Adeles
As i t is known, the Riemann zeta-function admits the representation in
the form of the Euler product over all prime numbers:
H|a|p = l , a€®.
p
In this section certain facts from analysis on adele group are given.
Adeles group. A n adele is a sequence of the form x — (z X2,. • •, BOI
x ,...),
p where is a real number, x is a p-adic number, and also be-
p
ginning from some p all x satisfy the inequality \x\ < I , The set of all
p p
adeles forms the adeles ring A, if addition and multiplication are defined
component wisely. The additive group of this ring is called the adeles group.
Elements of the adeles ring A which have an inverse element are called ide-
les, that is a sequence A = (A«i , A j , . . . , X ,...) is an idele i f A / 0 and
p p
\X \ = 1 for all p with the exception of a finite quantity. The set of all
P P
dx = dx dx ca 2 • • • dx p ....
The Haar measure on the ideles group A ' we denote by d*A, it can be
expressed in terms of measures d*X on multiplicative group Q* by the
p
way:
d*A = d*Aood*A2... d'X . . . . p
a = (000,02, • • •)
we put
X (x)
a = exp2fl-i(-aooi: + a x + . . . a x + . . . ) .
2 p (8.1)
Analysis on the Field of p-Adic Numbers 93
Here the sum is considered modulo integer numbers, in this case only a
finite number of summands nonvanishes. The map a —* a(x) is a homo- X
x
3) For almost all p one has V^t^p) = 1 i f \ p\p < 1 and v>p(x ) = 0 i f p
\x \„ > I.
p
The Fourier transform maps the space T ( A ) into itself. Let JT(A) be
a
a character on the ideles group A * of the form TT(A) = | A | 0 ( A ) , where s
is an arbitrary complex number, | A | = I A ^ k , | A | - . . | A | , and 0 ( A ) = 2 2 P p
the form (1, A . . . ) , where | A | = 1 for all p. Let us consider the Mellin
2 J P P
<p($,s) = j <p(\)\\\'e(\)d*X .
A-
94 p-Adic Analyiii and Mathematical Physict
* ( M = (8-5)
where
i(0, ) = J ^(A)|A|'f>(A)d'A .
S (8.6)
4-
Let us show that from (8.5) i t follows the functional relation for zeta-
function. We shall choose in (8,4) a function y>(A) of the following form;
V(A) = P „ ( A « ) f i ( | A | ) S 2 ( | A | ) . . . ,
2 2 3 3 (8.7)
where
( ) = e x p
^ * 7 b ( - y ) •
and the function f i ( | r | ) is defined in Sec. 6.1. Note, that (8.7) is the prod-
p
uct of vacuum vectors in real and p-adic quantum mechanics (see Sec. 11).
V I I . C o n v o l u t i o n a n d the Fourier T r a n s f o r m a t i o n
In this section we study most important linear operations over general-
ized functions, namely the convolution and the Fourier transform operations
and connected with them the multiplication operation.
t
fj ( )
t X = Afcfz) = f 2 ( p - | x | ) , p k >N .
It is clear that
"t —* l,fc —' oo in £ .
The sequence { A i , f c —» Co) we call the canonical 1-sequence.
Let / and g be generalized functions from V. Their convolution f*g
we call the functional defined by the equality
x
(f*g, v) = £ t t £ / C * 0 s(y), A {x)ip{x k + ))
y (i.i)
Analysis on the Field of p-Adie Numbers 9S
if the limit exists for all ip G V. The right-hand side of the equality (1.1)
defines an linear functional on T>, and thus f+g G V (see Sec. 6.3). Note
that the equality (1.1) is equivalent to the following one
f*g = g*f .
• Let G V so that <p G V for some N,l €Z. By the formula (5.2')
N
*>(*)= £ c„Mx-« ) v
w
i<t.<p -'
we get
v
(f*9<¥>v) = J i m (f(x) x g(y) A (~x i k + a )<p (x + y))
v
n ( p - * | - z + a"\ )Q(p-'\z
p + 1 , - 0 % ) = U(p- \y\ Mp-'\x k
P +y - u
a | )P
v
(/*?,<pv) = J i m ( / ( * ) x g(y), A (y)A,(x k + y-a ))
= l i m ( / ( z ) x g ( y ) , A ( j / ) ^ ( i : + j/)) = ( s * / . ^ ) •
t
Here we have used commutativity of the direct product (see Sec. 6.6) and
the formula (1.2). •
f*g = f*g
is valid.
• We use the definition (1.1) and the formula (4.3) of Sec. 6.4. Then for
all <p 6 V we shall have
(f*9.V>)
= Jim ( / ( x ) x g(y), A (y)p(x k + y))
= l i m ( / ( x ) x A (y)g{y),A (y)<p(x
N k + y))
= ( / ( * ) x g(y), A (y)y>(x
N + y)) ,
as
A (y)A (y)<p(x
k N + y) -> A ( j / ) p ( x + y),
N * — oo in X»(Q^) . •
Analysis on the Field of p-Adic Numbers 97
The convolution f*g is continuous with respect to the joint factors f and
g: if ft —* / , it —• oo in 2?', g —* g, k —• oo in T>', supp g C B J V then
k
1
ft*9t — /*<?, * -*• oo in X>'.
• I t follows from the representation (1.4) and from the continuity of the
direct product, see Sec. 6.6. •
E x a m p l e 1.
f*6 = f = 6*f, f<=V. (1.5)
E x a m p l e 2. I f / € I>' then
f*6k -* f*S = /, k — oo in V
1
If 9 = V € T> then f * yj £ S and the formula (1.4) fates the form
in addition the parameter of constancy of the function f*g does not exceed
the parameter of constancy of the function ip.
98 p-Adic Analytit and Mathematical Phyitci
• Let 0 e V' . Then by using the formulas (6.5) of Sec. 6.6 and (1.4)
N
x d
( W , v ) M / W . W ! / ) i ^ ( i / M i + y)))= *(v)v( + v) v
3 3 — x
)f(£) 6 P(Qp)- The remaining affirmations follow from the
representation (1.7) •
E x a m p l e 3. I f / € V then
A (f*6 )^f,
k k fc^coinD' ,
HO = J X ttxMx)dx,
P £ GQ P . (2.1)
L e m m a . If <p £ 25^ then ip E J?~j i.e. the operation <p —* <p is linear
(and so continuous) from T> in V.
= X P ( £ « ) / X P ( £ * W ) ^ ' = X tf°)#0 -
P (2.2)
QP
100 p-Adic Analysis and Mathematical Physio
As |f-«|p = \f\p\a\ > 1 then for any £, \£\ > p~' there exists a G Qp,
p p
|a|p = p' such that x ( £ i ) ji I (see Sec. 3.1). Hence from (2.2) i t follows
P
= e'es_7v, £ G Q P ,
#€ + €0 = / x,(tf + 0*M*)<fc = / J ^ W P ^ f #
Q,
is valid where <p(tl) = <p(—{), and the Parsevai-Steklov equalities are valid:
= J <p(x') j xA-Oxpix'tWdx'
B N
= I J Xp(t(*'-*))df.dx'
|r'-i|<p'
In the first integral from the right in (2.6) f(x') = f(x) and Xp{£( ' — x)) =
x
The second integral from the right in (2.6) is equal to 0 owing to the formula
(3.1) of Sec. 4.3.
To prove the equality (2.5) we denote V>(£) = n(f,) € "D, and then vb(x) =
fl(x), and it takes the form (2.5'):
j <p(x)ij(x)dx = J p(0"(0#
Q, Q, QP
E x a m p l e 1.
6 = A,
k k k€Z, (2.7)
where the functions S and A k k are defined in Sees. 6.3 and 7.1:
Mo=pWia),A*oo=£i(p-*isi ) - P
The formula (2.7) is another way of writing of the formula (3.1) of Sec. 4.3.
E x a m p l e 2. 7 e Z.
1
where the function 6(|z| — p ') is defined in Sec. 6.2.
p
E x a m p l e 3. 7 g Z, k = 1, 2,... ,p - 1
4 - 7 ( * j r * + f ) = 6i- (kp^+0 k
1 1
= p -<Sl(p -<\kp-r +{]„)
= p l-J 1 i f rfk = P ,«0 = *
7
t 0 othewise
2
E x a m p l e 4. |4aL > p "^
- P
p
(2.10)
The formula (2.10) is another way of writing formula (1.7) of Sec. 5.1.
Analysis on the Field of p-Adte Numbers 103
E x a m p l e 5 . p $ 2, | a | = p * * , 7 € 2 p
1 -
F[ X p ( x M|
a
2
a ;
7
| - p ) ] ( 0 = |a| -
p D
1 / 2
Al-7(0-
(2.11)
The formula (2.11) is another form of formula (1.8) of Sec. 5.1.
E x a m p l e 6. p / 2, | a | > p p
1 - 3 7
, 7 € 2
The formula (2.12) is another form of the formula (2.1) of Sec. 5.2.
E x a m p l e 7. p = 2, 7 e 2
2
F[x («z )A,(x)](?)
2
1
TO-*"?), H2 = 2 " ^ ,
2 2 7
A_ (£), |a|2-2 - ,
= v ^ » (-£) 7
| | >
f l 2 23-^.(2-13)
The formula (2.13) is another way of writing formula (2.3) of Sec. 5.2.
E x a m p l e 8. p / 2 , 7 € 2 , £ n(k) = 0
i<*<p-i
l 1 1
F[ (x )S(\x\
v D p - p r m = p>- n'(to)6(\i\p " P " ) (214)
where
y
If \Hp < P~ ^ e n Xp{Z*) = 1 and
7 1
1 = V (xo)dx• = P " £ n(fc) = 0 .
i<t<p-i
N a 7
Kir = P >P~ I * W + 7 - 1 > 1 then
l y
and hence like in Example 24 of Sec. 5.1 1 = 0. If |£| = p~
p then
{€*}, = and owing to (2.15)
1= /,(« )«p(2«^U 0
s,
E x a m p l e 9. Re a > 0
-1
fj(i^ip)]
(2-16)
• By changing the variable t = xf, dt = \i\ dx, and using the formula p
(3.2) of Sec. 4.3 we obtain for the desired Fourier transform the equality
Analysis on the Field of p-Adic Numbers 105
*lp<M, |t),<|m(| r
f l -
v
fl
r /
£ P " 7
° if < o
-N<y<oo
7 A
_p«-i+(l-l) 2 P " i f ^ > l
0<7<oo
P~
is valid, in particular
QP QP
• By the Lemma <p G V_, , it is represented in the form (2.2) of Sec. 6.2
N
l<u<p -'
v
for some a G B _ j . By applying to the last equality the inverse Fourier
transform and using the formulas (2.18) and (2.7) we get the representation
(2.19). •
| E fofeS*^ r e A/I
\v—finite )
2
is dense in C{K), and thus in L (K) for any compact set K C Q ,' Aere p
• The formula (3.2) follows from the formula (2.4) and from the defini-
tion (3.1):
r\flu + 6)1(0 = K l
x P F[f] fy, f € V, a + 0.
?=/,/(*-6) = X (&0/(0
P (3.4)
y X (£*)/(x)dx — i
P 8 (i), & 1
co in T} 1
• I t follows from the continuity of the Fourier transform in Z>' and from
the formula (3.5). In fact,
then
k
F[U{p- \x\ )f\ v = j Xp (t:x)f(x)dx — f, k- oo in V ,
\f(x)X (Z*)\
P = l/f>)|, *GQP-
1
Now we prove that / ( £ ) —^ 0, | £ | —* oo. As V is dense in L
p (see
Sec. 6.2) then for any e > 0 there exists <p e P such that
QP
< £ .
E x a m p l e 9.
(3.7)
E x a m p l e 12.
1 f
X^aWal; ^ (~ £) ^ 6(0. K ^ O i n P ' . (3.9)
• Necessity. By using the formulas (4.3) of Sec. 6.4 and (6.4) of Sec. 6.6
from (3.1) we derive the representation (3.10):
Further i f £' € -B-JV then | £ ' i | < 1 and XpB'x) p = 1 for a: e B , N and
w
/ ( » + «') = / ( « ) . x€Q ,|£'l <p-
P P
X (xx')f(x)
P = f(x), xe® . p (3.11)
1 xx>
But for any \x\ > p* there exists some x' € S_AT such that Xp( )
p / 1.
N
From (3.11) it follows that f(x), \x\ > p , i.e. supp / C B . p N •
2
4. The Space L
2 2
The space L is defined in Sec. 4.1. We introduce in L the scalaT product
2
(/,</) = j f{xW)dx, f,g£L ,
QP
l(/,ff}|<l!/llllsll,
2
f.geL
In terms of scalar product the Parseval-Steklov equality (2 .5) takes the form
2 2
Theorem. The Fourier-transform maps L onto L one-to-one and
mutually continuous. In addition
f{x) = l i m f HOXp(-xOdi it I 2
(4.3)
7-co B-,
J
are valid.
• Let / € i 2
- Then f y = Sl(j>-i\x\ )f p € L for all 7 € E and f
1
y — /,
2
7 ~ > c o in L :
2
J\f,{x)\dx = J\f(x)\dx < JdxJ\f(x)\ dx < P T / !
B, |fl T J
I I / - A l l = / 0,7 00.
2
2
\f(*)\ dx —
Therefore | j / j | — * | | / | | , 7 - * oo,
T
2
and the Parseval-Steclov equality (4.1) is valid (as V is dense in L , see
Sec. 6.2):
The limit relation (4.6) shows that the sequence {A>7 —* 00) converges
2 2
in itself in L . By the Riesz-Fisher Theorem there exists F £ L such that
A —* F, 7 —* 00 in i , . On the other hand f-, —> f, 7 —• 00 in V. Hence
2
From UAH 11/11, 7 - » 00 and from (4.5) the equalities (4.4) follow. The
112 p-Adic Analysis and Mathematical Physics
inversion formula f = f owing to (4.2) takes the form (4.3). Thus the
2 2
operator / —* / maps L onto L one-to-one continuously. •
2
C o r o l l a r y . The Fourier-transform f —* / is a unitary operator in L .
2
A special orthonormal basis in L will be constructed in Sec. 9.4.
2
L e m m a . For any f E L the equality is valid:
lim p->*
o
2
j\f(x)\dx =0 . (4.7)
2
Let / G L and e > 0. There exists N € 2 such that
2
dx < v .
4
j\f(x)\dx=p-^ 2
j \f(x)\dx + p-T 2
j\f(x)\di
B-, B-J\BN Br*
-,1/2
-I 1/2
j dx J \f(x)\ dx2
+ P
-7/2
/ <te / dx
li
<\j+p ^\\f\\<e ifp^||/||<|.
w ( z ) = **(*) = P * S l ( p * H ) ,
t k > N.
i f the limit exists for any ip £ V. The right-hand side of (5.1) defines a
linear functional on V, so that / • g € V. The equality (5.1) is equivalent
to the equality
f g = J i m (f*6 )g k
h—* 00
if the limit exists in V.
The product g • f is defined by the similar way:
g - / = l i m f(g*6 ) k (5.1')
t —• fx;
if the limit exists in T>'.
• Owing to (5.1), (1.7) and (3.4') of Sec. 6.3 for any <p E V we have
QP QP Qp
114 p-Adic Analytit and Mathematical Phyiict
/ ff(*M«)/(«-0««. vei>
• Owing to (5.1), (1.7) and (3.4') of Sec. 6.3 for any <p £ V we have
= if* /M0«(*-fR
=
& / ^ ( 0 ( / ( ^ U ( ^ ( r - 0 W = ( / , H = (a/,p)
from where we derive that a • f = af. Here we used the equality (6.4) of
Sec. 6.6. •
F[f*g] =f g - (5.3)
Analyst) on the Field of p-Adic Numbers 115
• By using the formulas (3.1), (1.4) and (3.10) for all <p G V we have
= /W,/s(OWOt (W) P
= (/,/'I5P]) = ( / , S V ) = (ff/,v)
from where we derive F[f*g] = gf = g~-fasg££ (see example 2). Here
we used the equality (6.5) of Sec. 6.6. •
F[(f*S )-g]
u = (A f~)*g,F[(Akf)*g]
t = (f*S )-g,
k k 6 %. •
wM = MP) = * i ( l ) = 1, | * i ( « ) | = 1; (1.3)
n"i(x) is a character of the group So.
7 / T ( I ) ^ 1 is a multiplicative character of the field Q p then
J n(x)dx = 0, 7 £ 2. (1.4)
1
Changing the variable x = ax of integration in the integral (1.4) we obtain
the equality (1.4):
by the formula
l
(*«,*>)= / \z\;- n(zM*)dz, V€V. (1.5)
Qp
For Reo > 0 the integral (1.5) converges absolutely and defines a holo-
morphic function; for the others a we define it by means of analytic con-
tinuation.
Later on we shall use the following definition: a generalized function
f 6 W which depends on a complex parameter a is called holomorphic in
a
in 0 .
The function v is holomorphic in the domain 9ia > 0. Its analytical
a
j\x\°- M*)[?{x)-9(W*+
l
j N r ' ^ N * ) ^
So Q,\B„
l
+ fWj\x\;- ^i{x)dx, <pev. (1.6)
The last integral to the right in (1.6) for ffi(x) ^ \by virtue of the formulas
(1.3) of Sec. 4.1 and (1.4) is equal to 0:
7 1
I |*£-ViM<fe = £ P ' " - ' / *i(x)dx = 0;
/or wi(z) — 1 (Ais integral by virtue of the formula (2.5) of Sec. 4.2 is equal
Bo
Therefore the representation (1.6) can oe rewritten in the form
a l p
1
(* , p)=J\x\ - * (x)[<p(x)-<p(Q)]dx
1 + j It^nMipWdx
B a Q,\fi„
?
+ { (1-8)
[0 if
118 p-Adie Analysis and Mathematical Physics
« i = ^ - , fre* (1.9)
Inp
r e s ( 7 r , ^ ) = res ^ ^ r r ^ ( O ) = ^ 7 — ( 6 , ¥>)•
a
a
a=a„ a=a l—p
k Pinp
Homogeneity of the generalised function ir follows from (1.1) and (1.5):Q
= J l
\txX- ^(tx')<p{x')d(tx')
QP
= \t\;-'\t\ ^{t)
p J \At ^')WW l
Qp
1
S-function is homogeneous of degree \x\ p ,
Analysis on the Field af p-Adic Numbers 119
• I n fact,
l
(6,v(j)) = <p(o) = \i\plt\ - (6>vl p f e v j e q ; . •
1
Tfte generalized function P r 4 - is not Homogeneous o/ degree IzL .
P
•(^(?)W^~/f<*
B
0 ® \B
r 0
M«swr i»'u>i*i;
IP \ I*)P
p<i»'i»<i«i;
i f O < | t | < l , ^GD, v(0)^0.
p •
equation £ fi = 0 then fi = f = . . . = / „ = 0.
2
l<i<n
/ =
£ ( ''*'(T)) E ^<(*)!*U/i.p) = o, icflg.
w
From here putting t = p , JV £ Z and using (1.3) we get
N
S p " ' ( / ^ ) = o,
i
Ki<n
120 p-Adic Analysis and Mathematical Physics
-1
| z | p 5 r i ( x ) is Cir„ if iri(x) ^ 1 or ifxi{x) = 1 then a ^ 0; ewery homo-
1
geneous generalized function of degree \x\~ is C6,' where C is an arbitrary
constant.
and hence
« ( f ) m w ; 1
€f(Q ).
2
Then owing to the formula (6.5) of Sec. 6.6 from the equality (1.12) we
derive
(1.13)
Analysis on the Field of p-Adic Numbers 121
In the inner integral in (1.13) we change the variable of integration (for any
fixed x £ 0)
2
t=^j,dt = \x\ \x'\; dx',
p (see Sec. 4.2).
As a result we obtain
(1.14)
By using the property (1.1) (x' ^ 0!) on the right side of the equality (1.14)
we get the equality (1.11)
for some constant Ci which by the lemma is possible only for C\ = 0 and
thus / - Cir = 0.
0
(1.15)
Therefore
f-CP ± 1 r = C6 1
1<7<CO
J\x\;- dx=
1
j 1
\x\;- dx+ j 1
\ \;- dx
x = o,
Q, [*|,<i |i| >i P
• I t follows from the formulas (3.3) of Sec. 7.3 and (1.1') that
v
M ' O = \t\; F [». ( f ) ] = I V - (j) MO
JT (X).
Q
Putting i n the formula (2.1) £ = 1 and using (1.3) we obtain the equality
l
T (n )
P a = n (l) a = J \^- Mx)x (x)dx. P (2.2)
1 1
r K)r ( r- kl - ) = n(-i).
P P J p (2.4)
1 1
% = *
a 0 = r (* )F[\t\;"^(-{;)]
p a = ^ F ^ ^ - ] . (2.5)
124 p-Adic Analysis and Mathematical Physics
1 1
As I T " | f j " is a homogeneous generalized function of degree T ^ t f JKIp
(see Sec. 8.1) then its Fourier-transform is a homogeneous generalized func-
tion of degree
- 1
K^kl-M-H ^*)-
Hence using again the formula (2.1) we have
l 1 1 1
Fte \£\; ] = w \t\ - )**. r
r ( t ) r ( i - ( ) = -; 7T
sin iti
for the classical T-function.
Let the range K of a character ni(x) ^ 1 be positive. Then
r (jr ) = P°%,t(Ti)
p a (2.6)
a ,k(*i)
P = J TnfOxptP *')^ -
(2.7)
So
L
a ,fc(Ti)ap, (7rf ) = p - V i C - I ]
P t (2.8)
Ka(*i)l = p-* . / 2
(2.9)
• Taking into account the equality (1.4) from (2.2) and (2.3) we get
r (*,)=
P £ P ^ - 1
' £ P^°-V f^ ) (x)dx
x Xp
-oo<-f<0 c K^<oo /
1
= £ P*"- ' / *i(x) (x)dx.
Xp
KKoo /
Analysis on the Field of p-Adic Numbers 125
y
Performing in the last integrals change of variable of integration x = p~ t,
y
dx = p dt we get
r,0«) = E P
y a
[ Mp-^xpip-^dt
= E p Mp-'') [ M^xpip-^dt
ya
= E P ° I *i(t)Xp(p-'t)dt
7
(2.10)
J*i(t) (p-'t)dt
Xp = 0, 7 T*fc, (2.11)
So
7 _ 7 + 1
Xpfp-^t) = exp[2xi(p- to + p t i + -.. + P " % _ ! ) ] , te5 .
0
Sec. 3.2)
1
E *i(*o + hp + • • • + i t - i P * " ) = 0.
°<**-i<p-i
ff 1
• E E i('o + d P + - • • + d - i P * " ) = 0;
°<<*-i<p-i o<i _ ,<p-1
t
126 p-Adic Analysis and Mathematical Physics
f
[Mt)x ( - t)dt P P = c £ £
50 l<lo<p-l 0<i,<p-l
- 1
... E * ('t> + * i p +
1 - -Mi-iP* )
°<'i-a<P- 1
• £ exp|2jri(p-^ + p - ^ ! ! + . . . + p - ^ - i ) ] = 0. 0
1
0<(,_,<p-l
m M p - p > i ]
k N l w
= p" j ^{t) {p- - f.'t)dt
Xp =V (i) y (p- - i)*
p
s fl So
w
= / * i (^) / »i(i)Xp(p-'- 0^
So
k
_ r P ^\n^,k(^). ^ = o,
i.e.
l
F[6(\x\ p - p*)*,] = p*6(|£| - l ) 7 r r ( O a p , ( f i ) -
p t (2.12)
N
In the calculation of equality (2.12) we have denoted \f\ = p and { ' = p
l 1
J \* (x)?d l X = p (l- -j
5k
2 t a 1 2
= P K. ( ri)| /K- «')l^' = P * ( l -
i 1 M'l)?-
Analysis on the Field of p-Adic Numbers 127
To prove the equality (2.8) we apply to the equality (2.12) the inverse
Foil rier-transform
k l l
6(\x\ -p )^(x)=p Fm\ -l)w: (-0]a , (n )
P p P t 1
i 1 1
=p *pA^)*: (-mm\p-i)*i- )-
So
= J Tr (0xp(r'V£K = /
1
* t W] x (p~ t)dt
P
N
So S 0
So
1
because the rank of the character rrj" is equal to it. From here and (2.13)
the equality (2.8) follows
l l
*i(x) = p a (7ri)3rf ^ - l ) * !
Pit ) • •
M ^ j r ^ O ^ M - i ) . (2.H)
l k l 1
T (*; )
p = P r (*; \x\; )
P
1 1
or by changing i r " ^ by n a
t
T (iv \x\ )
p a p =p r„(7r ). a (2.15)
Now we consider the special case it\{x) = 1, i.e. the rank of the character
T\{x) is equal to 0. In this case we denote
r ( a ) r ( l - a) = 1.
p p (2.16)
r ( o ) = j\x\^ (x)dx
p
1
Xp + J [x^x^dx
B 0 |»|,>1
= j\x\°-'dx+ £ a l)
P^ - J X (x)dx
P
B 0 1<T<« ft.
Q F a
1-P" l-p~
where i t has simple poles with residue j E j j j ^ r ( a ) has simple zeros at the
p
points 1 + art, £ € S.
From the formula (2.1) we derive
1 r
F N T ] = p(«)Kf. * € Z. (2.19)
Q _ 1
|i| U|a-t
p p
res , = l i m (a - 1 - Q ) _ . . t
- 1-a
ell —
£ t i p
» '— '*)
= lim ^
1
" plnp ^ •
Further from the formula (1.8) of Sec. 8.1 for ifi e V we have
i.e. f —*6,a—>at
a in V. I
l
^c(x) = \x\^- sgn x, c p/2
3
where e £ Q* . Then
2 2
• For either e = p or E = pn, x ( x ) = 7 r i ( i ) = 1 and the rank of the
character x i ( x ) is equal to 1 (As every i € Q of the form x = 1 + pt, P
130 p-Adic 1 ' i ' and Mathematical Phytici
\t\ < 1 \B the square of a p-adic number, see Sec. 1.4). Now using the
p
1
a ,i(*i)a
P P|1 (ir,) = p " ^ - ! )
a 1+
* (x)
a = \x\ - ^
p
and therefore
r , K ) = r p | a + - ) = _ ^ = —
1
L e m m a . Letp-£ 2 antic be a unity, E ^ Q* . A number x € Q belongs p
2 2
x = a - eb , a,b e Q , P (a,6) # 0. (2.22)
2 2
a -£ f> 0 = 0 (modp) (2.23)
a 2
~ £0*0 -
XQCI = 0 (mod p)
Let
» „ ( * ) = l i j j - ^ i t * ) and = li|i-Vi£l)
be multiplicative character of the field iQ , and JT„ and are the corre-
p
= B {* y )\x\;+^(w[){x)
p a g (3.i)
where
fJp(w£) = J l ^ - M l - f l ^ M O ^ l ( 3 - 2 )
, }r s
S ( i a t ^ ) ' called the B-function of the character x ( x ) and
P 0 JT^(X).
• By virtue of the results of Sec. 7.1 the convolution Tr *ir' of the locally- a g
(TT *^)(X) =
Q j 1
\y\;- ^ (y)\x-yf -W (x-y)dy.
1 p l
132 -p-Adic Analysis and Mathematical Physics
B k B*
B„
l
= }x\;^- n(xW (x) 1 f \t\;-i\i - tg-ViM^Cl - W
l
\'\ <p-\'\V
r
mixiz+p-^x)^) j I ^ I I - ^ - ^ K O - ^
For the parameters (a,0) lying outside the domain Re a > 0, Re 0 > 0,
Re(« + 0) < 1 the convolution T * j r ^ is defined by means of analytical
0
= kir^ViTUO)
o , 1
FK.7r^-r (x ^|x| )S ,(7r ,,^)|f| - -' K<)- (0.
p o p ( t p (3.3)
, 1
= r (ir )r,(^)|ei7-' (* xi)- (()-
f a 1 (3-4)
Analysis on the Field of p-Adic Numbers 133
p
0 *»,)(x) =
o Hp--"* ' O i ' i H * ) • (3.6)
+,J-1
For ( X I T £ ) ( Z ) ^ 1 the generalized function |x|p" (ffi7ri)(a;) is en-
tire (see Sec. 8.1) and r ( j r 7 r ^ | x | p ) is entire non-vanishing function (see
p a
Sec. 8.2), and therefore the domain of analyticity of the function (3.6) is
defined by singular points of the function r ( 7 r ) r p ( ^ ) : i f JTi(x) ^ 1 and p 0
1
For T T I ( X ) ^ 1 and TV[{X) = it^ (x) singular points are the straight lines
a + 8 = 1 + at, k — 0, ± 1 , In this case
1 t
r K)rp(^)=p<^- ) 7r (-l)
P 1 (3.7)
• The formula (3.7) follows from the formulas (2.6) and (2.8)
1 t t +
r (Ta)r (^) = p - V f c f n J p ^ O r r ) = p <
P p ^ S M ) • •
B (n ,^)
p a = B^(\^~ M§- ) X %
= B {a,B).
p
By this the formulas (3.1) and (3.5) take the classical form
a 1 a 1
\x\ -'*\xf -
p p = B (a,0)\x\ ^- ,
p p (3.8)
134 p-Adic Analysis and Mathematical Physics
If we take in account the formula (2.16) we get for B (a,0) p the symmet-
rical form
B (a,0) = T (a)r (0)T ( )
p p p p y (3.10)
where a + 0 + 7 = I.
Now we shall prove for Re or, Re 0, Re(a + 0) / — 1 + ctki It £ Z the
equalities
F o +0
F \ H •MP = * H ) = n\z\ i P (3-i2)
• For Rea > - 1 , Re 0 > - 1 , Re(o + 0) > - 1 the product \x\« • \x\?
1+ 3
exists in V (in the sense of Sec. 7.5 }, and it is equal to | z | ' so the p
equalities (3.11) and (3.12) are valid. In fact, the functions \x\° and \x\^
belong to L ^ , and the function (see (5.2) of Sec. 7.5)
/ \ \^{x)\x-t:\idx
x
Q,
is continuous at the point £ = 0 for every <p £ T> owing to the majorization
Ixl^l^llT-fl^Cmaxdzl-.lx^), i t supp p, \(\ < 1
p
and the Lebesgue Theorem on limiting passage under the sign of an integral
(see Sec. 4.4).
For the other a and 0 the equalities (3.11) and (3.12) are obtained by
analytical continuation of the right-hand sides on a and 0. •
= (F[\x\;] * F[\xf ])
p * f = F[\xf p • r>j*j$. (3.14)
(4.1)
Be
/ \x\^-"-Ux = j ^ x ^ l ^ - U x d x ^
So BQ
= j j \ \°-»-ld +
xn+1 x J dx
Bo pl,<l*-+il, |S|,>|x„+i| F
- 1
= y"|z i|p (ix„ i
n + +
B*
^-"^didXn +i
+ U Ix^-'didx^ - J J
BB
0 0 B \i\ <\x„ \
a r +l
Br, BQ
1-P" 1
I"? 1-P i-p-" i_ -»-i
p
+ / |*|*-»rt«)«fa + v ( 0 ) i — V 6 T > ( Q P ) .
1
J p i(4.2)
136 p-Adic Analysis and Mathematical Physio
n
The generalized function \x\°~ is holomorphic everywhere except the
points (1.9)
2hrt , m
at = , k e Z,
Inp
where i t has simple poles with the residue
v
pMnp
f t 4 4
r?(«) = / k i r ^ f * ^ = T = ^ - - ( - >
n a
F[\{x, m ) | ; - ] = T;(c)Q(\m£\,)[\£\; - \pm\;\ (4.5)
where x, £ € QJJ, | ( z , m ) | = m a x ( j i | , | m | ) .
p p p
n n
\(x,m)\;- ^\x\;- , n ( K W - i . Manama) - » . **-*«»
in D'(Qp) are valid, and the equality (4.3) follows from the continuity
of the Fourier-transform operation. For other a one uses an analytical
continuation on a.
j a l
ffe m)\ - xp(xO°x
p = W « ( K I P H K i r - H 9 - 4
( - ) 6
Analysis on the Field 0} p-Aiic Number! 137
It follows from the formulas (3.1) of Sec. 4.3, (2.16) of Sec. 7.2 and (2.19):
l*l»<M» M*>M*
1
= \m\;- \rn\M\ £\ )
rn p + FIM?- }- 1
J W^i*®**
1*1, < M ,
a
= M ? 8 < K U + r (or>|€|p- - | T n | f i ( | m £ | ) | ^ ^
p p p
-r (a)\i\;"[l-U(\mf\ )}
p P
= r , ( « ) | f f t l f l m f W + M a n a m a ) (1 - | r p ^ ) •
Let the formula (4.5) be true for n, and we prove it for n + 1 i.e. for
Denoting
C(0 = f[|(^,m)|*-"],m = m a x ( | „ | , | m | ) , r + 1 p p
0+1
- r;(a -1) / fi(|m4|p)[|c|p- - teMT^JfrPM*
iffp<Mr
+ r ^ o -1) J ociteipjrj^** 1
- mt^xMn^dt
|«U>|m|,
0 + 1 + 1
+ r"(« - i ) | ? L - / i - r"(« - i ) - ° P 7 2
where
/ =
2 y £j(i(£ip)xp(ii i)^ n+
l«lr>Mp
= « < K I P ) / Xp(tU+i)dt
l">l,<[<lp<l{l-'
.i*i,<iei;' lp<|m| p
By using the formula (2.16) Sec. 7.2 we calculate the integral I?.
• /
l<l,>M»
= fi(|m£| ) p J !
W T S J O W P
|m|,<W,<|fl7
/ l
\t\;- x (ti )dt-P n+1 J a l
\t\ - x (tt] )dt
p P n+i
Ll'l <l£l,"
P
,<\m\.
1 - p -1
a
= n(|mfi )||fi -^(|£|;Me
P p 0 + il ) ^ + r (a)|f„ | -
P r T P + 1 p
-r («)|f
p n + 1
a
L- [i-fi(K n + 1 | )]
p
i
1
+ fi(K| )mf\- |^ il )
p + P - l€-+ilr"*i^r
m
By substituting values of the integrals Ii and i"2 (4-8) we obtain the
desired expression (4.7):
140 p-Adic Artalytii and Mathematical Phyaici
r +i 1
i&M = > - m{\™z\ )(Wp\s\r F - \n\p\pm\r )
1 a
+ r "(a-i)r!(Kl )n(|fX- |u | )||| -
p P 1 p p
a+1 n
- r p ( « - m\rn£\ )\m\ \i\; P p - T (a - p l)ii(\m£\ )
p
1
= -r«+ (a)Ii(K| )|p | - p m p
n + 1 1 t t Q
+ r ( )n(Ki )ii(|$| - |f
p | )(|$| - - |£ ,i; )
a P p I 1 + 1 p p n +
+ 1 a
+ r " (a)fi(|mf| )|f | -
p p n + 1 p
+ 1 t t
=i; («)n(Ki,)(i€t -|pm|-). •
I f we act like in Sec. 8.2 and use the formula (4.5) then we obtain the
following generalization of the formula (3.8)
n p n a +? i
\x\- M - v = K( MA°p -' >
a + 8±a k (4.9)
where
= C(«)r?03)r;( - « - / ? ) . n (4.10)
I f we take into account the property (see (4.4), cf. (2.16))
r;(a)r p
n
(n-a) = l (4.11)
f ^ ( a ^ ) = rp(a)r;(/3)r;{ ) 7
where a + 0 + y = n.
Analysis on the Field of p-Adic Numbers 141
PSEUDO-DIFFERENTIAL OPERATORS
O N T H E F I E L D OF p - A D I C N U M B E R S
{A1>)(x) = J a ( £ , * W t f ) > ( - ( f , * M ,
X l * e O
o
The function a(£, z), £ € Qp, i G O is called symbol of the operator J4.
We use here some notions and results on the spectral theory of operators
from the books by Reed and Simon [175], Dunford and Schwartz [60] and
Yosida [237].
I X . The Operator D °
a
The operator D" : ip —* D ip is defined as convolution of generalized
functions f-
a and xp (see Sec. 8.3):
a
D j, = f_ *ib,
a ajt-1.
143
144 p-Adic Analysis and Mathematical Physics
a
F[D i>] = |££ • £,
a
1. The Operator D, a / -1
By virtue of the results of Sec. 8 the generalized function
of Sec. 8.3)
1
E x a m p l e 1 . The analogy of the first derivative (a = 1, D = D) :
P + 1 *
I f ip € V then this formula owing to (1.18) of Sec. 8.1 takes the form
<»X-> - - ^ ( M , - . * .
a
E x a m p l e 2. The derivative D yj, a > 0, ^ £ f is given by the
expression
or equivalently
or equivalently
f / KI?#€)x,(-{*)<*«, - K a < 0,
a
(D V)(«) = < *! - (1-4)
I i m m v x p ( - s * ) - m w , « < - x .
+
F[D° ^} = F[f- -t,*1>]
a = /_„_„ • i> = \t;$*P4
0 a
= F[D"{D i>)] = F[D^(D u^)]
a a tt a
D D- tl> = f s D- D $, a t ±1. (1.6)
R e m a r k . The equalities (1.5) are valid also for those generalized func-
tions 0 G V for which the convolutions f- *(f-0*yj), / _ £ * ( / _ *i/>) and
a 0
/ * l does not exist, and the equalities (1.6) are not valid:
a
a a a
D- (D°l) - D-°0 - 0, D {D~ \) do not exist.
E x a m p l e 4. a 6 R, a G Q " p
D° (a )
Xp X = \a\; (°-z).
Xp (1.7)
• I t follows from the equalities (2.19) of Sec. 8.2, (2.8) of Sec. 9.2 (for
a = — 1) and
( Iflp- ^ + a),
a 1
m - m+«) = i < • *(e+->),
P • m+<o = i ^ ^ + 4
*(£)*(£ + a ) = 0.
E x a m p l e 5. a £ R, 7 £ Z. Let
r 7
• ( * ) = J '[«(|€lp-P )/(€)I, /€!>'.
Then
D"*(i)^p'°$(i). (1,9)
7
*(o = m - p ) / ( - o ,
a
F[D $] = f \ a - $
= + 5 7
l fafc p*tf>] - ( i a - p ) / ( - o . <*=-*.
7 7 7ffl
= P ^ ( l f l - p ) / ( - 0 = p *(0 •
P •
E x a m p l e 6. a £ 1 , 7 G Z, |2n| > p p
2-2
""
t 3 y 2
- P ) X P < ° * ) I = p T « | 2 a | ; * ( | r | - p ) (az ). p Xp (1.10)
a 2
• I t follows from the formula (1.9) for / ( £ ) = X p ( £ ) owing to the
formula (2.10) of Sec. 7.2. •
E x a m p l e 7. a £ E, p / 2, 7 £ Z, £ "(*) = 0
i<i< -i P
a 7 o ( 1 7 ,
O W^)6(kl -P )]-P P - 'j(^)«(|x| - ^. p P (1.11)
1
2. Operator D'
a
Our goal is to extend the operator D on a = —1, so that on the class
of generalized functions i/> £ £', (^,1) — 0 it would be continuous on a at
148 p-Adic Analysis and Mathematical Physics
the point a — — I , and the equalities (1.5) would be valid for all real a and
0 (see [206]).
At first we shall prove the Lemma.
(/,1)==0, (2.1)
/ ( € ) = 0, £ 5_„.
€ (2.2)
= | / ( i ) , & (x)
N I = (/, A )N = ( / , 1) = 0 . •
On test functions <p S V such that / <pdx = 0 the following limit relation
Is
is valid
(/«.P)-*-^/ln|*kK*)<k. (2.3)
Pa cud o-Differential Operators on the Field of p-Adic Numberi 149
• The existence of a limit and the formula (2.3) follows from the limit
relation
exp[(a - l ) l n \x\ ] — 1 p
<C|lnhrlp|, zesupp<p, | o - l | < l
1 — exp[—(a — 1) In p]
Put
fTV-#*rS (2.5)
a
(D~ ip, p) = = ( / « ( * ) , (*(»>. «K* + y)))
= / /«0)«0)dx (2.7)
ISO p-Adic Analytii and Mathematical Phyiici
as
*(«) = & K * M « + 03 = Aw(»)«»(* + y)) 6
2
Further owing to the formula (6.5) of Sec. 6.6 (as A (y)<p{x N + y) € 2?(Q ))
and the condition (2.1) we have
\ Q„ / (E,
(D-°y;,<p) = j f (x)g(x)dx^
a j h(x)g(x)dx
l
= {fi*V,v) = (D- Jp,<p), tk—tl. U
f l { 0 = v + m ( 2 8 )
W p p '
• From the formula (3.6) of Sec. 4.3 it follows that the Fourier-transform
1
of the function fi(x) coincides with I f l " for £ ^ 0. Therefore (see Sec. 6.3)
(2.9)
Pseudo-Differeniial Operator! on the Field of p-Adic Numbers 151
For definition of the constant C we apply both sides of the equality (2.9)
to the test function A<j = Ao (the function A t are defined in Sec. 7.1). By
using the integral (2.6) of Sec. 4.2 we get
C = (/i,A )- 0 (pyl-.Ao)
ifl,<i ieu>i
From here as above it follows that the formulas (1.5) are valid for all real
a and 8 if ( t M ) = 0.
N
L e m m a 2. If p € D, supp <p C Bjv '«en for \x\ > p p
(/.<«'),¥>(*-*')>=< — m z
. *' . (2.10)
plop l lp J <pdx, 0=1.
and from the formulas (1.1) and (1.3) the equality (2.10) follows
(f (x-)Mx
0 - x'))
i*'i<i ] 'i>i
E
1S2 p-Adic Analyiii and Mathema'.ical Physici
{h*f-cf) = t—too
l i m ( / i ( x ) x f- (v)M*M* a + v))
= l i m / (x)h{x)(f. {y),<p{x
nk 0 + y))d 3
t—OO J
exists, and they are equal. To calculate it we argue by the following way.
The product f\ • / _ „ exists, and the equality is valid
By taking into account the formulas (2.19) of Sec. 8.2 and (2.8) we rewrite
the last equality in the form
Therefore
1
fx**/-] = Kir
from where owing to (2.19) of Sec. 8.2 the equalities (2.11) follow
Now we shall prove the statement: i f ip £ £' then for a > 0 there exist
l tt l 0 1
D- D"tp and D D- vj and they are equal to D ' ^:
x a 1 a 1
D~~ D ip = D"- ^ = D D~ i{> (2.13)
or equivalently
/ i * ( / - W ) = fi-c*iP = f- *(fi*il>)-
a (2.14)
• We use the convolution theory of Sec. 7.1. Let ip kz D- Then for all
x £ Q we have
p
( / l * ( / - « * * ) , * > ) = / / i ( * ) ( / - . ( l f ) , f f ( x + »))<k
owing to the equality (2.11). The similar consideration is valid also for the
convolution
= - (/-Wi)** • •
!Yom the equalities (2.13) for a — 1 the equalities follow
1 _ 1 1
D~ Dtp = vj = D 7 J V , V€ (2.15)
154 p-Adic Analysis and Mathematical Physics
a 8 +S 0 a
D D il> = D° *l> = D D tj>, Ve &, (1.5)
a
3. Equation D i/> = g
Let us consider the equation
• The fact that D~"g is a solution of the equation (3.1) follows from
the formulas (1.6) and (2.15). I t remains to investigate solutions of the
homogeneous equation
a
D il> = 0. (3.3)
o
l
f- €L (B ), 0 J /_ (Odi>-oo
a
KM,
contradiction
the condition (2.1) then by the Theorem 1 there exists a unique solution
y) = D~"g of the equation (3.1) which satisfies the condition (2.1);
a
4. Spectrum of the Operator D in Qp, a > 0
The operator D", a > 0 is pseudo-differential with the symbol \f\ p (see
Sec. 9.1):
DH = j i a X r ( - ^ M £ R - a
Q,
2 2
It is defined on those functions tb from the Hilbert space L ( Q ) = L (see p
2 a
Sec. 7.4) for which \£,\^vl e i . This set, we denote it by V(D ), is called
the domain of definition of the operator D" in Q . I n addition p
(D^, )
V
3
= {D"/ ^D ' ) a t
V f %#%g8ffl& ip,<peV(D ), a
\\D°yj\\2
= (D"tp D"tP) } = J \i\l \i>(t:)\ d£,
a 2
i> € V(D ).a
(4.2)
The equalities (4.1) and (4.2) follow directly from the Parseval-Steklov
equality:
a a
(D 1>,tp) = (F[D yj],F[<p)) = Qfj$t,ifc
2
here (•, •) is the scalar product in the Hilbert space L (see Sec. 7.4).
The defined operator D" is self-adjoint and positive:
a a,2 3
(D yj,yj) = \\D i>\\ > 0, O ^ e V(D°)
a 2
D tp = \tl>, Vei (Q ). P (4.3)
Let A = 0. I t was shown in Sec. 9.3 that for A = 0 the equation (4.3)
have the unique linearly independent solution in T>'ip = 1. Thus y) = 1 is
Pi cud o-Differential Operators on ike Field of p-Adic Numbers 157
a
a generalized eigen-function of the operator D which corresponds to the
a
eigen value A = 0. However A = 0 is not an eigen-value of the operator D .
a 2
Further, ran D (range of values of D°) is dense in L ' .
a
D \b =ip, <f?€V, J<pdx = 0
a
has a solution ip = D~°ip from the domain D[D ) as ip G T> and
(by the Lemma 1 of Sec. 9.3 p{l) = 0 in a vicinity o f f = 0), and the set of
2
functions {<p &V : f ipdz = 0} is dense in L (see the Lemma below). •
Q,
L e m m a . The set of test functions <p from T> satisfying the condition
2
j ipdx = 0 is dense in L .
t,
2
is dense i n L . But in Sec. 6.2 i t was proved that V(Q \{0)) P is dense in
2 2 2
L (Q \{Q})~L (Q> )
P P = L . •
mi? - = °-
From here we conclude that desired points of spectrum A (in this case -
eigen-values) have the form
ria
\ =p ,N€Z,
N (4.4)
* However this statement follows from the facts that self-adjoint operator D" has no
remainder spectrum and A = 0 is not an eigen-value of D" •
158 p-Adic Analyiii and Mathematical Phftiet
s a
$m = H\t\*-p M§J N«)l d£ = l 1 Nez. (4.5)
4ci
-(€ + V - - )
(5.1')
' = 2,3 1=1,2 p-1,
£i = £a + £ i p + . . . + £i-2p' _ 2
, £j = 0 , 1 , . . . , p - 1, £ / °>
0
l
P Nk o ( 0 ^ P ^ * K o - * ) , i = 1, * = 1,2,... ,p - 1, £, = 0 ;
(5-1")
for p = 2
•>2N-l-2
N
^ . ( O ^ ^ A ^ ' j x * — ( £ + 2>- -*f\,
i = 2,3,..., k= 0,l,
€i = 1 + ei2 + . . . + e i - 2 2 ' - 2
, q - 0,1, (5.2')
i £ i v 2
P W O = 2 ^ Y2(*2' - 0, f = l , fc = 0 , l , ei=0.
( i + i p , N 1 ) 2
(5.3')
• * ' [ - V " "
(5.3")
for p = 2
r 92JV-I-2
X2 [—^— + (5.4')
&,»,o«) = a ^ ^ b N
" 2 )X2(fc2 - £). ftr 2
(5-4")
Pseudo-Differential Operators on the Field of p-Adic Numbers 159
J
...+£,-2p'- )
* W > ) i
= P^ y ^*(klp-P - )x (
p
, N
P £ (
,
p - ^ + V-2 A r
- x ) , (5.5')
1
$ ,hA )
N
x !£fisi N l
= p (p - \ \ )x (kp- xy, x J> P
N
(5.5")
I I kind ( ( = 1 , fc = 0,1, £i = 0)
= ^ m N
\ x - * 2 - | ) - 6(\x - k2 ~ \,
W 2
2
N 2
- #-»)]. (5.6")
j ^, M l (s)dx = 0 (5.7)
Wit**, •
/
• j x [( -£;)p'-
P E i
2 , v
x 2
+ (i-fc')p' x]dx
\(k-k')p t-N
- p =_ 0
as EI ^ s'„ so
, + 1 2!l N)
ki-',l>p- , \4(t,-e',)p'-™\>P*- -
2
2(e,-e;) '- " P p p^'-lEi-eJip
For p = 2 one considers analogously. For fixed N, I and ei and distinct k
the functions (5.6) are orthogonal by virtue of the formula (2,8) of Sec. 7.2:
S|+I-N
fc=l,2,... ,p-l}.
Pseudo-Differential Operators on ike Field of p-Adic Numbers 161
We shall prove now that as such orthonormal system one possibly takes the
following I kind eigen-functions:
t = l,2,... , P - 1 . (5.9)
Kj<p-1 ** ™ '
E - 7 i >
i<)<p-i
^ . ( * ) , (5-11)
-2e k
0 = k' (mod p), *' = 1,2,... ,p - 1. (5.13)
The formula (5.10) follows from (5.3') and (5.9) owing to the relations
k
X p i kp'-^ )
x = X p ( -^.) £
V P
' I<J<P-I
= E *p ( ~ ) *(*o - i ) ,
p
x e s,.^.
K j<p-1
i<j<p > '
I<«<P-I I<«<P_I
1
I " ' * ,
I P-1, t = J (5.14)
162 p-Adic Analyiit and Mathematical Phytics
E »f~)^w
V
1<><P-1 '
**- 1 K K f - l v e
' l<j<p-l V
* '
I
VP- 1
1<J<P-1
VP- 1
p
V
^ I<;'<P-I
-^=r E
y p
i<;<p-i
V P
I<J<P-I
* i<;<p-i V P /
= E
I<J<P-I
• E
tj
J £
i<y<p-i L
' ' (5.15)
Pscudo-Differential Operators on the Field of p-Adic Numbers 163
J L Xp
- E ip ) l ( *w)
i<)<p-i
= E f x , ( 7 * ) - i l x , f - ^ ) = ^ J e o = P « « 0 - t ' ) -
l<a<p-l L \ P / J V P /
From here and (5.15) the formula (5.12) follows. •
IVom the representation (5.11) it follows that the functions (5.9) are
eigen-functions of the operator D". Thus it was constructed the orthonor-
mal system (5.9), (5.5') of eigen-functions of the operator D° for p ^ 2 :
N e Z
2
I kind ( i = 2 , 3 , . . . , fc = 1,2 p - 1, e j = E + e0 l P + .., + c,_ p'- )
2
_ J V l m
^,,0) = P ^ H H -P' ) • *(*o - i)^($tp - z% (5.16')
I I kind (/ = 1, k = 1,2,... , p - 1, c = 0) t
l N N
&Mf& = ^*0ti>-P ~ )Xp(kp- x) = (5.16")
3 2
L (Qp)= E ®t (5 ). T (5.17)
-oo<7<oo
N 2
i X p ( ^ ) , k i p > P~ ) in L (S ) N (see Sec. 7.2).
N 17
Let p ^ 2. I f |cr|p — p~ then Xptf ) = 1 on and hence owing to
(5.2")
1= 22 «('o-*) = P ^ E *&,*,o«). f e ^ .
164 p-Adic Analytia and Mathematical PhyMici
1
Let ](j|p = p . Then for £ € SN we have
v
i<t<p-i
l<*<p-l \ r f
= E * P ( ^ j i ( 0 -
P
K K p - l ^ '
N
Let |ir|p = p"~ , n = 2 , 3 , . . . . Then for { e S N we have
e W . = (xp(^)^V.t, ) = t( /
N n 2 N+1
\\x,{t*)\\b s )
l tl =p ( i - l ) = (p-i)p - -" P Y, *<*«-*)
1<*<P-1
2
= E E E I ^ . I .
1<I<W l<i<p-l <i
l<i<oo Jt=0,l d
14-=^) (5.18)
oN
satisfy the equation (4.3) for A = Ajv = p owing to (1.7).
Thus we have proved the following
a
T h e o r e m . The spectrum of the operator D is essential' and it consists
aN
of a countable number of eigen-values \N = p , N G % each of which is in-
finite multiplicity, and the point A = 0 {the limit point of the eigen-values).
The functions (5.16) for p ^ 2 and (5.6) for p = 2 form an orthonormal
a
basis of eigen-functions of the operator V . These eigen-functions belong
to 73(Op) and satisfy the conditions (5.7) and (5.8). The generalized eigen-
function 4>(x) = 1 is the only one corresponding to the point A = 0, and the
eigenvalues A^r correspond to generalized eigenfunctions of the form (5.18).
6. Expansions on Eigen-Functions
For uniformity we shall redenote the eigen-functions (5.6) rp' Nt (p = 2)
by <p' . From the results of Sec. 9.4-9.5 it follows the that
N k Ci
2
T h e o r e m . Every function f £ £ ( Q ) is expanded in the P Fourier-series
in eigen-functions {<p' } of the operator D":
Nt Cj
6 2
/ ( « ) = E E E E / W * W * 3 <->
JVGZ l < ! < » 1 < * < P - 1 <f
2
TAe series (6.2) coraueiyes in i ( Q ) , and the Parseval-Sleklov equality is
p
valid
2
\\f\\ = T, E E E i / W - M
JV€Z 1<I<OQ 1 < * < P - 1 *
2
In the other words the space L ( Q ) is expanded in a direct sum of p
z n 6 5
i (Q ) = E P E ® *- <->
Nez I<KQO
l !
eigen-functions of I I kind (5.16") so that dim H - p - 1 . For p = 2, H , N N
- 1
2 ' ; Tijf are spanned on (5.6"), dim Wjy = 2.
5(0 + V{z)
where a{£) is the Fourier-trans form of a (generalized) function a(x)\ the
function V(x) is called a potential.
The simplest example of such operator is the operator D " = / _ * , a > 0. 0
"{A) °{A)
projector
V(\ + e)-V(\-e) (1.1)
is infinite dimensional for alle > 0; if the projector (1.1) is finite dimensional
for all sufficiently small e > 0 then A £ o-,j\ -(A)(p,i\ (A) is the discrete
a< si:
(A), c (A)
esa N tT (A)
disc = 4>\
A € o~&, {A) if and only if A is an isolated point of the spectrum c{A) and
sl:
However these sets may intersect each other (for details see [175], v . l ,
ch.VII.2).
Now we suppose that a selfadjoint operator A is bounded from below,
i.e. there exists a constant C such that
2
(A^)>CM\\ , ^keV(A). (1.2)
x (A)=
k sup inf 4rfi? *e<?(4 (1-4)
The following Theorem takes place (see for example [175, v.IV]).
(VI) X (A)^+oo,
k k^oc, (1.7)
a
Aip = D 4>- V(\x\ )yj, r p a>-\ (1.8)
has symbol
z 2
It is bounded from below and symmetric in the Hilbert space L ( Q ) = L . p
It admits the Friedrichs selfadjoint extension (see for example [175], v.2)
with the help of the closed bounded from below bilinear form
Q a /
= ( D / V . - D V ) + (V>,V0 (1-9)
170 p-Adic Analysis and Mathematical Physics
2 2
Q(A) = [<p G L ( Q ) : j £ | - ' V € L ( Q ) , Jv(\x\ )
P P p + \C\ +l<p € f j .
(1.10)
It is clear that
V(A)CV(A) C Q(A).
1 1
where a potential V € i j ^ Q p ) and Vfz) > - C , z G Qp , give examples of
2
bounded from below symmetric operators in L ( Q p ) .
2 n
2. Compactness in L (Q )
2
space Qp and so on). We shall consider the space L (G) (see Sec. 4.1) as
2
a set of those functions from L (Q ) whose support is contained in G, i.e.
p
2
every function / from L (G) is defined on the whole space Qp and vanishes
almost everywhere outside of G.
2
Definitions. 1. We shall say that a set of functions M C L (G) consists
2
of equicontinuous on the whole in L (G) functions i f for any e > 0 there
exists n = n G H such that for any function / from M the inequality is
c
valid
2
J\f(x + h)-f(x)\ dx , <£ VftG5 . n
G
Plendo-Differential Operator! on the Field of p-Adic Numbers 171
2
2. We shall say that a set M C L {G) consists of functions with equicon-
2
tinuous L ( G ) - integrable at infinity if for any E > 0 there exists N = N £ 2 c
J \f{x)\Hx<€.
G\B
N
is an unbounded set and for any M > 0 there exists N — N £ 7L such that e
N
f 0 ) > M for all | x | > , ^ £ G.
p P
A n a l o g y o f t h e R i e s z - K o l m o g o r o v c r i t e r i o n o n compactness: I n
2 3
order that a set Af C L (G) is compact in £ ( G ) , it is necessary and
sufficient that i t satisfies the following conditions:
7
( I ) is bounded in L {G);
2
( I I ) consists of equicontinuous on the whole in L (G) functions;
2
( I I I ) consisis of functions with equicontinuous L (G)-integrals at infinity.
J «(t)\f(Z)\ dt:<C, 3
f€M, (2.1)
jp{x)\f{x)\ dx<C, 2
} £ M, (2.2)
G
172 p-Adic Analysis and Mathematical Physics
where <r(f) and p(x) are positive functions which tend to +00 at infinity
2
and a number C does not depend on f then M is compact in L (G).
3. The Operator a* + V
We suppose: <i(£) and V(x) are functions bounded from below, locally
bounded and tend to +00 to at infinity in <Q£ and G respectively. Without
loss of generality we may assume that functions a(£) and V(x) are positive.
As a domain of definition of the operator A we take the set
2 2 2
V(A) = [il>€L (G) : aj>€L (®;), V> € L {G)}.
Aif ip)
l = j 5 ( O W O I 2
# + J
2
V(x)\tp(x)\ dx , (3.3)
Q; G
Q(A) = [y. € 2
L (G) : v/5^I (Q;), J
VK^, G t (G)]
2
Pscido-Difjfcrcntial Operator) on the Field af p-Adic Numbers 173
which is closed and positive. Therefore the operator A admits the (unique)
Friedrich selfadjoint extension A with a domain of definition V{A) — V{A*)
(~\Q(A) C Q(A), and
4 & $ = $ M , <P,4>€V(A).
A{vj,iP)<b, yj £ M
2
is compact in £ ( G ) . From here by using the Theorem of Sec. 10.1 we
conclude that the Hilbert-Schmidt theory is valid for the operator A, namely
one has the following
A
\ k = min i>i £ Q( ) (3-6)
eigen-value A*.
- 1
f o r A ^ A*, k = 1,2,... the operator {A — A } is compact, so the
2
equation (3.4) is uniquely solvable in T>(A) for any f £ L ( G ) , and its
solution is expressed by the formula
E
l<fc<CO
(f><Ph) „ 7 ,
*= E x r # + E (3-9)
R e m a r k 2. The Main Theorem is valid also for those bounded from be-
low pseudo-differential operators, whose symbol a ( ( , i ) is locally integrable
in Qp x G and every set of functions
2
is compact in L (G).
if \x\ —* 00. Then there exist K > 0 and a sequence pt —• +oo, k —* co.
p
Pi £ 2 such that
p
V(p -) <K, k= 1,2,... . (3.10)
On the eigen-functions of the I kind (see (5.16') of Sec. 9.5 for p ^ 2 and
(5.6') Sec. 9.5 for p = 2)
{4- *,i Mi
fi f * = 1,2,-..} (3.11)
2 P 2 2 p
\&-r>AA(0\ = ^P >- 6(\t\p-P - *}
®* Q P
p 2 2
= ^P '- Jvm )S(\e\ - -^)d£
P p P
+
P -TTP"'"/v(\x\ )H\z\ - ^) p p P
= + W ) ,
2
s u P ( p - " ) - r K.
P
*>l
2
By the Theorem in Sec. 10.1 the set of functions (3.11) is compact in L {Q ) P
a
By the Main Theorem of Sec. 10.3 the spectrum of the operator D in
the disc B is discrete and the eigen-functions form an orthonormal basis
T
2
in L (B ). According to the definition (see Sec. 10.3) those eigen-functions
r
£ P " 7 <
W ) I < ° ° . £ p - l / ( p - * ) l < 00
T
0<-f<Oo 0<-»<OQ
for some a > 0. TAen
1
+
1 1 a 1
kip" - / /(Mp)<& + / l»l - - /(l»lp)^
p
\»\,<\'\, \»W>\*\
(4.1)
r
/n parricaior, /or / ( | x | ) - Sl(p- \x\ ), p p r £ 2
(4.2)
Pseudo-Differential Operators on (As Field of p-Adic Numbers 177
forf{\x\ )
p = 6{\x\ -f),r£t
p
a P Q P 2 a ( 1 r )
(D f){x) = p Q ti _~, p " . * € S. r (4.3)
a
• By the definition of the operator D (see Sec. 9.1) we have
r,(-a)
| /(|y| )rfy+ P / [Bir-VCIsUdff
lsl#.<l*l» ISIP>1*!,
/(I«IP)
j d
y+ J Iflp"" 1 (4.4)
r (- )
p Q
1
r.(-«)
a_1
I dy+
I W ' 1
ls|«<fa?hi lwl,>kl.
l | -a-l AT-l
p + £ p -C«+l)v(l-i
r (-«)
P
JV+1<7<M
1
a
" M 1 1
^ L PP V p y i - p -
p -
= Nw = Fl.
1 P
P + 1
i_p-o-i Lp ' V p/ i - p - ° P ° - I
h>l,<l«f,
r+l<T<po
r
The equality (4.3) follows from (4.1) i f \x\ — p . p •
with the indices I — N < r have their supports in f? and with the indices r
Sec. 9.5) with the indices 1 — N < r have their supports in B and with r
a
(4.2)) V'o(x) E 1, i £ B , is the eigen-function of the operator D in B T
= z£h«*'-* im
(The equality (4.2) for VJ (X) 0 = 1 and x e B r takes the form (D°ib )(x) 0 =
2
thonormal basis in £ ( Q ) then the eigen-functions of the operator D" in
p
X 1 0 2
° = p^-rTP^ " ' = P^ ' multiplicity 1;
h =P A < 1
" R >
. 1 1 K I N D
1&-rUfch J = 1. 2 , . . . ,p — 1,
multiplicity p— 1;
A pO<*-'>, Ikind
i = <&, ,m> riitt j» = M P - 1 -
i = 2,3,... ,k,£i,
I I kind p i _ , j , o ( ^ ) . r J — 1.2,... ,p — 1,
e = 0 multiplicity
2 2 2 , : 1
(P-1) + (P-1) P+--- + ( P - 1 ) V " + P - 1 = ( P - 1 ) P - , fc=2,3
(see (5.6') of Sec. 9.5} are contained in B\ for indices / + 1 — N > r they vanish
in B . Supports of the I I kind eigen-functions f
T , 1 - N < r for j = 0 or N j a
Pseudo-Differential Operators on the Field of p-Adie Numbers 179
2 - N < r for j = 1 (see (5-6") of Sec. 9.5) are also contained in B . (Note r
l
that the support of the function <p . is contained in S^—N-) Besides, N 0
X r
° ~ « + i _ l ' Votx) = 2 > ,
2 multiplicity 1;
o ( 1 r )
A) = 2 - , I I kind <p{_ {x), rAQ multiplicity l ;
a 3 r
A = 2 < - >,
2 I I kind <p _ (x), 2 rJi0 j = 0,1, multiplicity 2;
A = 2«C*-'>,
k Ikind^_ - ,(z), r j E /=2,3,...,i-l, J=0,i,«,
2 1
I I kind V j t - r j . o f ) ' J = 0. multiplicity
3 _ l
2(1 + 2 + . . . + 2 * - ) + 2 = 2 * , fc = 2 , 3 , . . . .
a
5. Operator D, a > 0 in S r
Like in the case of the disc B we calculate in explicit form all eigen- r
S . As for the I I kind eigen-functions (see (5.16") of Sec. 9.5) their non-zero
T
r i
l,v ( )
j X = x Up - *),
P 3 = 1,2,...,p-1, x€S . r (5.1)
1<J<P-1 l<j<p-l
- £ exp f 27ri-x J = — 1 , x £ S. r
V P
i<j<p-i '
r 1
[«/,«*)= / Xp(U-k)p ~ z)d X
Sr
(5.2)
1
l -IT*- , i**.
and thus
p-1 -1 -1
- „(r-l)(p-l) - 1 p-1 -1 r -r-l ^
det I = p P 0
-1 -1 p-1
r - 1 r 1
& = 1 , 0J = X p ( j P »)-Xp((j + l)p - *). j = l , 2 , . . . , p - 2 . (5.3)
(5.4)
the functions
(see (5.16") of Sec. 9.5) and therefore they are the eigen-functions of the
1 - r
operator D" corresponding to the eigen-value Ai = p " < ) .
Now we sum up the results. For p ^ 2 the operator D" in S , r € 7L has r
2
\ P°+P- c.<W,
n
=P , multiplicity 1;
p-1
j = 1 , 2 , . . . ,p — 2, multiplicity p — 2;
0
A =p ( - ',
t
f c r
dU^.fr), J = 1,2,--. . p - l . e * .
Pseudo-Differential Operators on the Field of p-Adic Numberi 181
multiplicity (p - 1) p , k = 2,3,.. - .
J -1/2 if j = * + l , o r * = ; + l ,
Q 2
2 < -"' J-E
A a 1 = 2 3 m u l t l l c l t
° ~ 2 + - 1' • 'P y !;
0 , ( 2 r
A, - 2 - ', ^_ r l 0 (a;), multiplicity 1;
X = "(*+i-O
t 2 t ^_i-r,i. e t W, 3= 1.2,^
- 1
multiplicity 2 * , it = 2 , 3 , . . . .
a
We consider the Schrodinger-type operator A = D 4- V ( | x | ) (see exam- p
ple 1 Sec. 10.1) by assumptions that the potential V"(|x| ) is a finite bounded p
bounded from below and selfadjoint if its domain of definition V{A) con-
2 a 2
sists of those functions i/> from £ ( Q ) for which D ip + V(\x\ )yj £ L (Q ). P p P
The operator A satisfies the conditions of the Main Theorem of Sec. 10.3.
In particular, its spectrum is discrete. Let Ao, A i , A j , . . . be its eigen-values,
AQ < Ai < A < . . . , ipa, <pi, <P2 • • • be its corresponding eigen-functions, so
2
8 5
M s»eP{A), * =0,1,2,....
!
All I kind eigen-functions ip • (see (5.16') of Sec. 9.5) are the eigen-
N c
aN l N
X' N =P + V( - ),
P 1 = 2,3,... , NeZ. (6.1)
( P - I ) T ^
y
182 p-Adic Analysis and Mathematical Physics
1 o N N
p « + Vfp"- ) = P + V( '- ),P 2,3 x £ 2. (6.2)
rV- 1
, z 0
j = l,2,...p-2 (6.3)
a J V 1 A r
Aj =p i f + V(p - ), iVeZ. (6.4)
2
has codimension 1 and it is orthogonal to 1 in L ( S ) . In the other words r
2
every function tp from L ( Q ) which is orthogonal to all eigen-functions
p
7 7
<HI*| ) = P £ V ^ M P - P } , ^ = V>(P ). (6.6)
-00<-J<00
Pseudo-Differentia! Operators on iht Field 0/ p-Adic Numbers 183
2
The set of functions ip from L (Q ) of the form (6.6) forms the Hilbert
P
2
space of LQ(Q )
P which is a (closed) subspace of L (Q ). I t is isomorphic to P
\\nl= £ P W , (6-7)
-oo<7<oo
besides
a
7. Operator D + V(\x\ ),p a > 0 in Z $ ( % ) (p ^ 2)
At first we prove the following statement:
The space £o(Qp) is invariant with respect to the Fourier-transform op-
eration.
2
function of the same class. As the subspace L\{Ql )\& closed in L (Q ) and P p
2
the Fourier-transform operation is continuous in L (<Q> ) (see Sec. 7.4) then P
2
this statement is valid for all functions from L (Q ). • p
From the proved statement it follows that the operator A maps T>{A) D
^o(Up) where V(A) is the domain of definition of the operator A (see
Sec. 10.6) into l o ( Q p ) (as its symbol |{ |£ + V(\x\ ) depends only on | £ | p p
a
(A iP)(\x\ )
a p = (D iP){\*\p) + V(\x\ )i>(\x\ )
p p (7.1)
a
(D iP)(\x\ ) p = j fC(\x\ ,\y\rH(\y\p)<ly
p (7-2)
184 p-Adic Analysis and Mathematical Physics
r;\- )t-<"-\
a T<t,
(7.3)
T _ T
( -1)(1-P — » ) '
P • -
(7.4)
-03<7'<«l
P
P r„(- ) a '
c a
p (p +p-2)
pc+i _ i P ' y = 7, (7.5)
P-1 '>7 + l.
7
A = D° + V(\x\ ), p c>0
1
inf V t p ) < A < inf ( 1 - -
0
so that \tp {x)\ = <Pa(x), x G U(x') and \<p (z)\ > <Po(z), x £ V(x").
0 0
(ib (x)
N = <p (x)[A {z) 0 N - A- (x)], N N - +00}
2
in L . From here and from the closure of the quadratic form A(ip, ip) (See
Sec. 10.1) and from (8.2) i t follows
. A(ip .ipN)
c N - (Atp ,i>N)
r v N . v f a „,
'nf ' | | 2 = i n f ... | | 2 = (A<p <p ) = A .
0> 0 0 8.3
/ £ ( k | , l v l p ) [ ^ ( x ) ^ ( y ) - \M*)\
p rWMft * ^ 8 4
(-)
l«l,*l»lp
where n > 0 which is equal to
V(x')V(z")
(AU \,UM)=
If j £(1*U?/l )liM*)l P \*N(y)\dxd y
ft, ® r
w e
Hence, taking into account that | | | ^ « | | | — \\i>tf\\ derive inequality
Similarly one can prove that any eigen-function ^ o ( l ' l p ) of the operator
Ao corresponding to the lowest eigen-value /i is non-negative in Q . 0 p
7
• Let, conversely, there exists ) £ Z such that V'ofp ) = 0. Then by
integrating the equation
A ipo = D°ip
a 0 + Vipr, = Hoyj 0
7
V- = 6 ( H - p ) € 2 > ( Q )
P P
a
(AoV-o, 0 ) = ($a,Aaib} = (ii> ,D i>) 0 + (yp , V$) = P-oW-o, V>) = 0
a
Pseudo-Differential Operators on the Field of p-Adic Numbers 187
as
7 7
(T/>D,V» = 0, (ii> ,D°yj)=
a (l-p-)p / £(l*lp,P )^(k|p)dx<0.
From the variation principle (8.2) it follows evidently that Ao < /iQ.
But AQ < po is not valid otherwise the eigen-functions ipo{x) > 0 and
2
J / J ( | I | ) > 0 would be orthogonal in
0 P L (Q ) p which is impossible. Hence
A = up and <PQ{X) = $ o ( | * | j ) depend
0 in fact on \x\ . p •
The estimates (8.1) follow from the variational principle (8.2). The lower
bound follows evidently
ffl
Ao = (D Vo,^o) + ( ^ o ^ ) > 1 / v ( | * | ) i & ( | x | p ) < f e > inf
P 0 V(\x\ ).
p
ftp
$= A (x)
y = Si(p-'*\x\ )eV(Q ).
p p
As
2
||A^|| = \ P A ( 0 = p^iry K|p)
7 (see Sec. 7.2)
188 p-Adic Analysis and Mathematical Physics
7CZ
7
= inf p (|e£A £ ) + / V(\ \ )d
T1 7 X p 3
7
= inf
•Y€Z
P 7
/ l^+fl-J-V £ K(p-')p ' 7
-oo<7'<7
= inf 1 - - £ P " ( + 1 ) 7
'+P- T
E
iez V P
-oo<7'<-7
Eigenvalues
N l N
X =p°
N + V(p - ) Lp. , r k JVeZ, k(=Z
+ (9.4)
are of multiplicity
2
(p-2) W + ( -l) P £ p*?-> (9.5)
l<i<C N
AX 1
>> =P N + V(p -*), xeZ, (9.6)
1
{(x^ , y f ) , i = 1,2,... , c/v} are all solutions of the equation
s
•PNA{Z), N =z , j = 1,2,... , p - 2 , i = 1,... ,n ,
N
x
VN,,, ,{ )>
c &= i = yf, j = 1,2,... , p - 1 , i = l c.
N
Eigenvalues
ON N
*N = P + V(P'- )?V<,*XN, ^ £ 2 , i = 2,3,..., *ez+, Ar' e S
(9.8)
are of multiplicity
2
(p-i) £ p-r-'-' 0.9)
l<i<d ,l N
where { ( z f ' ' , J/f''), i = 1,2,... , djvj} are af/ soijifions o/ (fie eguation
Q I r
^ = P + W ) - z y = 2,3,...; (9.10)
1
i e zV P/ 1-P""-
7 + a i 1
^ inf ( l - - ^ P " ° P - 2(1-P" )
1 a l
iez V Pj 1 - p " " ^ 1 - p~ ~
N M
p<* + p« = p" + p°y, M,N, ,y€Z
X
2 2
if a > j - - have the form:
J 1
— Inp
either x = N, y = M or y = N, x = M.
N = max(N, M, x, y).
N
and for solutions i f and arj' of the equation (9.6) the relation x = 1 — x^
is valid; c?j = 0; ttjv,; may take only value 1 if / = 2N and value 2 i f / ^ 2JV,
in the last case solutions of (9.10) have the form
<fi(x)= £ X
£®P 10 3
( ')
l<k<n
where {fk. fc = 1,2,... , n } are eigenfunctions corresponding to A, n is i/ie
multiplicity of A anti ei are some constants.
• The equation
£
<PN,j,eMy= P't-ifj'ty ' = ~T7> J" = - 2 e o i (mod p)
192 p-Adic Analysis and Mathematical Phytict
(see (5.12) of Sec. 9.5) i.e. eigenfunctions of the series H' (1 > 2) by the N
— oo <7 < CO
where
or
-PP~ , 7<r,
Ky — r "P" , o r
y = r, (11.3)
-pp-^+ih+r, 7 > r i
(11.4)
Let ^(|x[p) be an eigenfunction of the operator Ac, in G which corre- s
Sec. 11.6)
r
*{\*\P) = £ d *(|x|p-p ),
r d,?0. (11.5)
s<r<oo
Plcado-Differenlial Operator! on the Field o] p-Adic Number! 193
a r
D W\*\ )= P £ d D"6(\x\ -p )
r p
I<r<oo
Y
= E * E Ki s[\ \ -p^= ry x p 22 K\*\ -P ) P E
i<r<co -oo<7<oo j<r<oo «<r<oo
a 7
= i(|z| - P P ) 2 c;av+ * ( H - p K £ ^
)<r<oo ) + 1<T<OO j<r<co
\ j+l<r<oo /
7
+ E ^I^IP-P ) E >Cryd + tC^d r y + t r 7 d |
r
\ j<r<oo y j + l<7<oo
- P 22 p- °( + 1 ) 7 + r
d r + <rp- « - p Q i
7 E p~ <H QR
Denote
22 p- a r
d =Kd .r s (11.7)
+ 22 \ - P K d , + p i i
- ^ d y - a
P 22 p- o r
c , d Wi -p )
7 r r P
7
where i t is denoted
1 + r
C , = l-p( ")( -''>.
7 r (11.9)
{l ,a
d,(p -' - K)6(\Z\
P p - p')
a r
+ 22 l-P^ +p^ d + s r J2 P'^C^d-A 6(\x\ -p )
P
S+l<r<oo \ j<-y<r-1 /
r r
+ J2 d v(p )H\x\ -P )
r P = P 22 ^(kip-p')
j<r<co *<r<co
i.e.
( L ! ) A
P - -K
P + V(p>) = p. (11.10)
| , _ r )
- M + P X + P 22 P'^^ydy
s<y<r~l
r
+ d V(p ) r = pd , T r = s + 1, s + 2 , . . . (11.11)
The formula (11.11) gives the recursion relation for determination of the
coefficients
ay
-pttd.+p E p- C , d r y y
d = r —
; , d, = l, r = s + l,s + 2 . . . .
(11.12)
provided (see notation (6.4))
i 1
W= (A 1 -.-/i),
p
d, „ \ x [p-^l-r +P 22 c^p-^dA,
\ .< <r-l
7 /
i, - 1 , r = s + 1, 6 + 2 , . . . (H-14)
Pseudo-Differential Operators on ike Field c-J p-Adic Numbers 195
a
Y p- *<tr(p)= V-.-/0-P-", d (p) = d
r r (11.15)
j + l<r<oo "
a
B #([4,)= 22 <*(H- ') P (n.16)
j<r<cc
where
<T = \M-vty)]d„
7 ,
d! = ^ d
r P r - p j2 p-^dy-pp-^y 21 P V
r< <™
7 J<7<r-1 (11.17)
fies $>(p') ^ 0. Then il>(\x\ ) is represented by the series (11.5) in G,, and
p
Now let us investigate the convergence of the series (11.5), (11.15) and
(11.16). To this end we estimate coefficients d for r —* +00. From the r
a i r
l-p- - <C ,y r < 1, s < 7 < r - l , A}_ ~V(p ),
r r - * + c o . (12.1)
196 p-Adic Analysis and Mathematical Physics
From here and (11.14) (for fixed fi) the recursion estimate follows
= I , r > s+1.
lP _ A
l-rl \ s < <r-l 7 /
(12.2)
Choose now an integer $a > s such that
^ p - ^ ^ u r ^ ^ i . (i2.3)
s <7
0
K|<, -,\C-VP Y ai
p- \dy\), r>s 0 + l (12.4)
L rl
- \ <y<r-l
la J
where
c = |p-Ai_,|+p Y
J<7<J -1
P ' ^ K I -
0
r =jd (fi-Ai_4i.
r r »•=*«. w+i*— (12.5)
T <c+p
r Y p'^i/'-AUr !^!, 1
j < <r-l
0 7
7 ,
4o = |d, (/i-Aj_. )|
0 0 1 r>a 0 + l- (12.6)
M
r, < — - . r > s, 0 Mi = m a x ( C , T ) . ao (12.7)
shall prove i t for p + l . Then from (12.6) and taking (12.3) into account we
have
r. + 1 <c +, £ P - , _ , _ , - . ^ - <
l ! l M l ( 1 + r ^ ) = i * _ .
sa ^y^r
From the estimate (12.7) and owing to (12.5) and (12.1) the estimate
follows (for some M)
l r
\d \<MV- (p ),
r r>s. (12.8)
[v-*(\x\ )dx=(l- -) p
1
Y / V - V X ^ - (12-9)
Q p J<r<oo
Under this condition and owing to (12.8) the series (11.5) converges in
r 2
Ll(G,) as Y, p |dr| <cosothat^6^(G ). a
fl<r< oo
Prove now the estimate
\d' \< M r 2 P - ( a + 1 / 2 ) r
, r> S
(12.10)
< Mi p
r
-° iv- ( i
P r )i+ / 22 P - ( 2 O + I H
/ 22 P 7
^ 2
( P 7
)
+p- ( a + I ) p
./ 22 p\ H P 7
^ 2
( P 7
)
198 p-Adic Analysis and Mathematical Physics
r r
\V-\p )\<M p- '\
z r>s
r 2 c o n _
From the estimate (12.10) it follows that the series £ P Kr|
fl<r<co
a
verges and hence the series (11.16) converges in L\{G,) i.e. D ip 6 LQ(G,).
From here owing to the equation (11.1) it follows that Vtp £ Ll(G,) so that
A ip = D tb + Vtp €
0
a
Ll(G,).
Sees. 10.6 and 10.7) and hence it is an eigen-function of the operator Ao- We
note also that from the condition Vip £ Ll(G,) it follows the convergence
of the series
r 2 F 2
£ p V (p )\dr\ <OG. (12.11)
r
#6|*)= £ d S(\x\
r p - p ),
a
13. Further Results on the Spectrum of the Operator D f V'dxlp)
used results of Sec. 9.5 by demonstrations. Let us list his results without
proofs.
Let us denote by H i and 7t the Hilbert spaces which span the eigen-
2
functions of the I and I I kind respectively (see (5.16) of Sec. 9.5) so that
2
£ ( Q p ) = H i © ft , and by A\ and A% the restrictions of the operator A
2
x' = N P
a N
+ v( '- ), P
N
Nez, 1= 2,3,...
Let N(X) be the distribution function of eigen-values of the operator A 2
m
exists N suck that V(p') / V(p ) if I £ m, I > N, m > N. Then
= {0}.
4. / / V(|x|p) —• 0, \x\p —» 0, then <T (j4o) coincides with Ike set of finite ea3
D ip = -±-Dli>
t + V(x)tp. (14.1)
1
(14.2)
(14.3)
I i*ilp -
supp i> C = 0
X DK
id,z) = Jp(*)x P (Y*-* ) - (14.4)
Pseudo-DiJJerential Operators on the Field of p-Adic Numbers 201
Xp (^i - y t kx (i4.5)
(In order to be convinced that the plane waves (14.5) satisfy the equation
(14.2) it is sufficient to use the formula (1.7) of Sec. 9.1 for differentiation
of Xp(ax).)
For plane waves the adehc formula (see (1.11) of Sec. 3.1)
which is the kernel of the evolution operator for a free particle (see Sec. 11
below).
P
Owing to the formula (3.8) of Sec. 7.3 the function K[ \X) satisfies the
boundary condition (see (3.9) of Sec. 7.3)
fC["\ ) x _ * (x),
6 t - » 0 in D'(Qp). (14.9)
= j x» ( ^ t - dk = X (t) x - t ' x « ( y )
* '{14.11)
A „ ( ( ) = exp ( - i ^ s g n / ) ".
n ( p)
fC (x)
t = l, t,x G Q, t ? 0 (14.13)
p=2
is valid. I t follows from the adelic formulas (1.4) of Sec. 1.1, (1.11) of
Sec. 3.1 and (4.2) of Sec. 5.4.
Some analogy between "phases" Acoff} and X (t) takes place. According P
to the sgn of t the real time R can be represented as the union of three
+ - 4
disjoint sets: two sectors fR (the future sector) where A ( t ) = e **/ i.e. M
t > 0,
{ /4
K~ (the past sector) where A«,(i) - e ' i.e. t < 0,
and the point f = 0 (present). Analogously, the p-adic time Q can be P
represented in the following way (the definition of A (r) see in Sec. 5). p
4
c± f t / 4 Q±i where X (t) = i e * ' " ' , and the point ( = 0.
p
+
The Cauchy problem for the equation (14.10) in the domain IR x R
with an initial (generalized) function ipo(z) from V'(IR) is posed in the
following way: Find a solution ij>(t, x) of the equation (14.10) in the domain
+ 1
(f > x) 6 R x IR which satisfies the initial condition
Similarly, the Cauchy problem for the equation (14.2) in a sector, say,
w t n a n
Qp x Qp i initial (generalized) function ^o(x) from V(Q ) is posed P
in the following way: Find a solution tp(t, x) of the equation (14.10) in the
sector (i,x) c Q|J~ x Q which satisfies the initial condition
P
2
" sgnl is the Maslov index for the Hamiltonian p /2 (see[149)).
Pseud a-Differential Operators on the Field of p-Adic Numbers 203
The solution of the Cauchy problem for the equation (14.10) is given by
the formula
— oo
s(t,x)=mKt°H*)=<>(t)\j\™p (2*4 - f )
(see [205]). Here <J(() is the Heaviside function, 9(t) = 1, ( > 0, ${t) = 0,
i < 0.
It is interesting to note that there does no exist any fundamental solution
of the equation (14.2) in the space X>'(Qp).
p-ADIC Q U A N T U M THEORIES
X L p - A d i c Q u a n t u m Mechanics
This section discusses the quantum mechanics over p-adic number field.
The simplest but most important models — free particle and harmonic
oscillator are investigated in detail. It turns out that these simplest models
have a remarkably rich structure.
Investigation of p-adic quantum mechanics is of great interest from the
mathematical point of view as well as from the physical one. As possi-
ble physical applications we note a consideration of models with nonar-
chimedean geometry of space-time at very small distances, and also in a
spectral theory of processes in complicated media. Furthermore it seems to
us that an extension of the formalism of quantum theory to the field of p-
adic numbers is of great interest even independent of possible new physical
applications because it can lead to better understanding of the formalism
of usual quantum theory. We hope also that the investigation of p-adic
quantum mechanics and field theory will be useful in pure mathematical
researches in number theory, representation theory and p-adic analysis. Let
us recall here that the quantum mechanical Weyl representation (see below)
has wide applications in number theory and representation theory. However
from the point of view of field theory it corresponds only to the simplest
model of the free noninter acting system. No doubt investigation of p-adic
nonlinear interacting systems will provide new deep pure mathematical re-
sults.
204
p-Adic Quan*u7n Theories 205
M
here m £ Q , m ^ 0.
p
Hamiltonian's equations
Let us also present a solution for the harmonic oscillator with the Hamil-
tonian
+ (1-4)
2m 2
* We use the same symbol p for the notation of a prime number and for a momentum.
We hope that it does not lead to misunderstanding.
206 p-Adic Analysis and Mathematical Physics
where m,u £ Q , t n ^ O ,
p
2
p = -mu> q, 9=£i p(0) = p, j(0) = q
have an analytical solution which is analogous to the solution over the field
of real numbers
Here
/cos ^ ~ smut
\—mwsinwi coswt/*
Properties of the functions sinuii and coswt were considered in Sec. 2.4,
these functions are defined by the series (4.3) and (4.4) of Sec. 2, which
converge in the region G defined by the inequalities
p
B(z,z') = 'q-pq',
P (1.8)
[4,P] =«
i
c*« : 0 f » - V ( * + 9); e* : — c *'^(*).
U : ifr(x) - » ^ ( x + g),
q V : tf(x) -
p x(2px)i/>(x),
s t n e
where g,p, x £ Q and \ '
p additive character on Q (see Sec. 3). p
W{z) = (-qp)U V ,
X q p z = (s,P)€Qp (2-1)
W(z)W(z') = (B(z,
X z'))W(z + *') . (2.2)
tion law
(*,«) • (*'V) = (z + z',a + a' + (2-5)
Note that a pair (i2(Qp), W(z)) where operators W(z) are defined by
t
the formula (2.4) is a special case of the Weyl system (see Sec. 12.7).
In the standard quantum mechanics the utilization of the Weyl repre-
sentation is technically convenient. As we saw from the above discussion
in p-adic quantum mechanics the use of the Weyl relation is the most ap-
propriate way for constructing canonical commutation relations.
We consider now a question on the description of dynamics in the p-adic
quantum mechanics. In the standard quantum mechanics one starts with
the quantum Hamiltonian and then one constructs an operator of evolution
U(t). Prom our discussion it is clear that in the p-adic quantum mechanics
one needs to construct directly a unitary group U(t). I t is understood
we shall use a classical p-adic Hamiltonian for heuristic arguments. As
it is known the usual quantization procedure is the following. For each
function f(q,p) from some class, defined on the phase space, one associates
a corresponding operator / on Z>2(]R). This quantization map f —* f has
to satisfy some natural conditions. In general, the quantization procedure
is ambiguous and different quantizations exist.
I f the function f(p, q) is the Fourier transform of a function <p(a,j3)
where p and q are the momentum and position operators. Such quantization
theory is closely connected to the theory of pseu do-differential operators.
This quantization procedure can be generalized to the p-adic case. Let
p-Adic Quantum Theories 209
f =J W(a,L3)<p(a,0)dcdL3,
where W(a,0) = W(z) is the unitary operator (2.1). This function f(p, q)
is called the symbol of the operator / . Note an essential difference of such
quantization of the p-adic theory from the standard real theory. I n the
p-adic theory we cannot quantize polynomial functions f(p,q) since such
functions take values in Q but not in C.
p
K (x,y)
t =jx(ij j 11^(0. (2-8)
0
formula (2.8) is understood as a function which is inverse to the operation
of differentiation, i.e. £ S ( ( ) = L , S(0) = 0, S(t) e Qp.
Here we consider the simplest case of the free particle and harmonic
oscillator. In these cases i t will be shown that as in the standard quan-
w n e r e s t n e
tum mechanics the kernel Ki(x, y) ~ x(£ci(0)> Sci(') ' action
calculated on the classical p-adic trajectory.
210 p-Adic Analysis and Mathematical Physics
3. free Particle
We construct the dynamics of the free particle which corresponds to the
classical Hamiltonian (1.2) by means of the Fourier transformation. Let i/i
be from LsfQp) and ^(k) is its Fourier transformation.
As it is known (see Sec. 7.4) the Fourier transformation F : ij> —* i>
is an unitary operator in Z^tQp)' The evolution operator in momentum
representation U (t) is given by the formula
We get a family of unitary operators U(t), U(t), and the relation is fulfilled
3 4
U (t)j(k)
N = XN (|-')#(*). (')
where
V 4 m
/ I 0, |*|p> *
P
C j v W O ) = F-WNWFMX)] = F- 1
\ x [ — t } FVJ
= F
(3.6)
where
K ^ = F [ X n ^ ] ( 0 = J x x ( ^ t + kt:)dk. (3.7)
The integral (3.7) have been calculated in Sec. 7 formula (2.3). Note, that
in particular the function K f - i f $ ) has a compact support. Going to the
limit JV —>• oo in the formula (3.6) in the space £ 2 ( Q ) we have for r ^ 0 P
i
(3.9)
* - » > = ^ i c * ( - f ^ # *
For t = 0 we have
K (x
0 -y) = 6(x - y). (3.10)
It is interesting to note, that the relation (4.1) of Sec. 5 for the function
A (o) follows from the relations (3.3) and (3.9) without using explicit form
p
of the function A (a) from the Legendre symbol. The relation for free
p
1
WmW(z)U{t)- = W(z,) t t G Qp, (3.11)
vhere
*t = («(*).P(*)) = (? (3.12)
V + m
- * . ! » /)
is the classical evolution of free particle.
212 p-Adic Analysis and Mathematical Physics
4. Harmonic Oscillator
of the Heisenb erg-Weyl group (2.5), and U(t) is such operator, that the
relations
formula:
U(t)tp(x) = j K (x,y)$(y)dy,
t t £ G„, (4.3)
The expression (4.4) has no sense when sint = 0. Note here that sin( = 0
vanishes only for ( = 0. I t follows from the equality (4.19) of Sec. 2,
|sint| = | i | , i e G .
p p p
satisfies the relations (4.1) and (4.2) and maps 7?(Q ) into itself. P
• It follows from the explicit form of the kernel (4.4), from which we
have for ( ^ 0
MO
tant sini J
MS"'
p-Adic Quantum Theories 213
It is easy to see from the last formula that the operator U(t) for t ^ 0 is
a composition of four unitary operators and maps V(Q ) into itself. For P
N M
p > 3. Let jp{z) = 0 for \z\ > p and U(t')vj(y) = 0 for \y\ > p ( t ' ^ 0). p
Then
U(t)U(t')vj(x)
= j K (x,y)
t j K ,{y,z)${z)dydz
t
1*1,<p
f N
\y\ <p
r
\*\,<P' M,<p'
/ s
'i
/ K" (ti
P
I*I,<P"
y2 +
t i ? ) + 2 y +
( s n T 7 s i n 7 ) ) ^ -
M <P M (4.5)
P
2x 2z
b=— + (4.6)
tant tant' sin ( sin f
Then, assuming that t + t' / 0,
As the left hand part in (4.5) does not depend on M for sufficiantly large
M (and fixed x, t, (') the number Af can be chosen as large as is wished and
hence we use the upper line in the formula (2.3) of Sec. 5. We have also
* M -M x s i n t ' -+- y s i n i
2aP = P t + t'
p
Therefore
214 p-Adic Analysis arid Mathematical Pkyiici
Thus we have
y 2 +
/ ^(- (ti ti?) ^(s^ + +
s]nV))
!
= A„(-
p
V tant tant' (+1'
X + +
^(sin( sin(') (tan* tan(') ) '
2
Taking into account the relations A (ac ) = A (a) and (4.1) of Sec. 5 we
p p
» „ ( - i < W p
(-. '•»('+'')
tani tani'/ V (1 - tanr - tant') tan* tan ('
= Ap [ - 1
= A ( ( ) - A ( t ' ) - A ( ( + C).
p p
1
p
V
" / (4.9)
,2 ,11 2 1 1
x Z 1 x _J_\ (
tan t tant'
tan ( Vsint sint'/ \tant tanC
2 2
r + z 2xz
+
~ ~tan(i-rt') sin(( + V) ' * '
Assembling together the relations (4.5), (4.8), (4.9) and (4.10) we get
u(t)u{t'Mx)
_ A (t-H')
p
+ +
If + ^ / * ("la^+T) s n ^ ) * * * = ^ Wit-
Thus the property (4.1) is proved for t, i ' , t + 1 ' ^ 0. The case when one of
these parameters vanishes can be proved analogously and simpler because
of the relation K (x,y) = 6(x - y). For the case p = 2 one considers
0
analogously.
As it can be seen from the above discussion in p-adic quantum mechanics,
in contrary to that of the usual one, a wave function can remain finite under
p-Adic Quantum Thcoriea 215
evolution, for example a wave function from T>(Q ). One can estimate a p
diffusion region. In order to check relation (4.2) one calculates the integral
/^ j n w M . f p W = W(T z-,x,y),
t (4.11)
5. Lagrangian Formalism
In Sec. 11.1 the Hamiltonian formalism of p-adic classical mechanics
has been discussed. I n this section we consider the Lagrangian formalism.
We begin our consideration from the definition of the integral of analytic
function and from the discussion of its properties.
Let function / : Q —• Q be analytic in the disk B (see Sec. 2) and
p p
points a and b belong to the disk B', which is strictly contained in B. The
integral of / from a to b is, by the definition, the following p-adic number:
t
jf(x)dx = f^(b) (5.1)
a
where the antiderivative of the function / was defined in Sec. 2.2.
- 1
Note, that / ( > is defined in a and b by virtue of the condition a, b E B' C
B, see Sec. 2.2. The formula (5.1) defines the p-adic valued functional on
the set of analytic functions in the disk B. The properties of this functional
are given by the following Lemma.
h(a) = h(b) = 0
J fkdx = 0,
a
then f = 0.
/l = 22 M * - « r .
0<n<oo
I
y/Adz = E C « . 2 = ^ . M
a 0<n <oo
where
ft -
0
h(a) = 0,
h(b) = Y h (b-ar=0,
n
l<n<oo
{fh)
n = 22
0<l<n
5 3 )
J t m . y j A / f ^ i - < -
ft _1
h = - 22 »^ -
2<o<oo
p-Adic Quanfum The&ritt 217
F=f hdx=
f y pi- y +1 (5.4)
Taking into account the last formula, we shall reformulate the statement
4 of the lemma in the following way. I f for any p-adic number h , n > 2, n
formula:
M
_1 f 1, n = p - m - l ,
l M
(l~n)d"+ \ 0, n ^ p - m - l ,
M
where M E N , p > m + 3. Substituting the last expression in (5.4) and
taking into account the notation
fc = 0 , l , . . . ,
k + 2'
we have
F = F(M)= Y I C J
^ t = 0. (5.5)
\
r(/) = r
(* + 2)(Jfc-m)
0<*<t
Ck
lim
Af-co
E k — m + pM E k-
a<k<N 0<KN
218 p-Adic .Analgia and Mathematical Physici
for any N € PJ, N > m. By virtue of convergence of the series (5.6) there
exists a constant C , which does not depend on M and JV, such that
lim < c.
M—co E
0<
k- m +p M
y (5.7)
0<*<M
M a
for some C" > C. Choosing M such that p > r ^ | ~ " d taking into
account non-Achimedeanness of the norm and inequality (5.7), we have
M
+ P~ C = M
p \c \ .
k — m + pM M n
E k-m- p
r
m P
0<k<N
derivative q(t) is analytic in B too. We shall consider only the case, when
Lagrangian L(q,q) is an analytic function (p-adic-valued) on Q x Q . In p p
this case the value of L{q,q) on the trajectory 9(1) is an analytic function
L{i) - L(q(t), q(t)) in the disk B.
We shall define an action S as a p-adic-valued functional on the set of
trajectories by the formula:
1
(5.8)
S[q] = J L(q(t),q(t))dt,
p-Adic Quantum Theories 219
ssi-,}
= 0.
fi 7
7=1
(5.9)
dt\dq) dq
Te S[q + eh\
t=0
J { id)-fx-
By virtue of the statement 4 of the lemma we get the proof of the theorem.
220 p-Adic Analysis and Mathematical Physics
We shall call the solution of the equation (5.9) with boundary conditions
q(ti) = qi, ^((2) = 92 the classical trajectory passing through the points <ji
and qi and denote by g i(t). The action Self* 1,^2] on this trajectory can be
c
& i p i , * 3 ] = / i(gci(£).?d(0)d(.
t
in the disk Bp{. We shall choose an integer n < N and construct the cov-
N n n
ering of Bpj by disks B ( a j ) , j = 0 , 1 , . . . , p ~
n — 1 of radius p without
common points (see Sec. 1.3, example 2). In every disk of this covering we
N
shall choose one point tj,j = 0 , 1 , . . . ,p ~" — 1, and also we suppose that
N n
to = 0 and t N-*_
p l— (. For any pair (tj, ij+i), j = 0 , 1 , . . . ,p ~ — 2 let
us construct the classical trajectory g i (see Sec. 11.5), which satisfies the
c
conditions
Qci(tj) = qj, 9 d ( i j + i ) = gj+i-
The value of the action on every such trajectory is
S c l M j + i] - J £(g (i),<Zcl ( O K
el (6.1)
i=0,l,... ,p"-"-2.
1
Symbol / L ( g ( r ) , q{r))dT in the formula (2.8) we shall interpret as follows:
0
5 e 1
= Ji*» O T 22 (6.2)
p-Adic Quantum Theoriei 221
*<">(*,«,)
= c n f... f p ( X £ s [ts.i,tj ]
d +i I dqi ...dq N-*._ ,
p 2
normalization factor.
n
If there exists the limit of Kf \x, y) when n - * — oo, then it defines the
kernel of evolution operator:
l n)
K (x,y)=t lim K , (x,y).
n—*—oo
q + q = 0. (6.3)
W i t h the help of integrals which have been calculated in Sec. 5.3 we shall
prove the following Lemma.
n
K(-^i)\
,1/2
,0<i<i-l
dzi...dxt_i
2 tan a, sin
*P -2 £ at
\ 0<i<fc-l
""i/l Xp
2 tan £ a; sin £ a;
0<t<i—1 V \o<«"<l-l / \0<t<*-l 7 /
(6.5)
wAere it €%> k > 2, Of € Q |a, | < ±, i = 0 , 1 , . . . , k - 1 an<f /Ae function
p j F
0<i<Jb-l
Ak we get:
F(a ,ai,...
0 ,a )
k
3 2
_A (-2a ) '
p t '- - ~
, .T/T" / ^ ( a , - - - , flt-i )Xp - T T
0 : dx .
k
«0 s-i+i
sinAn-i + sina n
dz„.
/ X p
(t [tan^-i +
tan<.„
p-Adic Quantum Theories 223
Taking into account the formula (3.1) of Sec. 5 one can rewrite the last
formula in the following form:
A (-2« )A (-2A _ )A
p n p l 1 p ( j u ^ + 2 ^ )
F(a ,...
0 ,a„) =
1/2
a 4 - l ( t a n i , , - , + tana.) j
n J n
( *fl |_ )
^ain.4„_i sin a„ j
•xP
2tan 4 _i
J n + 2tana„ •> ( 1 , 1 \ I
(6.6)
r
ytan Jt„_, ~ tan 9, J J
Using the properties of the function A (a) (see Sec. 5.4) we have: p
^ p
\ 2 t a n A „ _ i ~*~ 2 t a n a „ J ^ p
\ ,sin(a„
2 s i n a „+ sin-4„_i
An-i)
= K ( ^ y ) = A (2a„)A (2 4 _ )A (-2A ).
p p J n 1 p n
For the case of harmonic oscillator let us choose the factor C n in the
following form:
(67)
n
fJ
V'V" 1
°<j<p -"-2 JIP
Then the approximation of order n of the kernel K (x, t y) has the form:
*?><*,»>= n -
/-
0<.-<p"-"-2 W+l «ltp £
224 p-Adic Analysis and Mathematical Physio
(/•») = (7-1)
, m
[a,a ] = aa -a*a = 1 (7.3)
Ho = ua'a (7.4)
H = H +V 0 (7.5)
= (7.6)
p-Adic Quantum Theories 225
iiH
t!>(t) = e- m- (7.7)
Now note that Eqs. (7.1)—(7.5) can be immediately extended to the case
of p-adic quantum mechanics, i f we consider a space of sequences / =
( / o i / i f •) of p-adic numbers with the inner product
= £ f n 9 n (7.8)
n=0
if
A = l i m proj A.
p—.co
is a non-archimedean Frechet cpace. We denote the dual space A' and will
use a notation
j <p(x)/i(dx) = {<p,/l)
for an action of u G A' on a function <p G A. Any distribution u 6 A' has
a Laplace transform L(fi) which belongs to an inductive limit of functions
226 p-Adic Analysis and Mathematical Phytico
1 4
L(v)(x) = e ' *''.
(ft 9) = j f(x)g(x)u(dx).
£ (K)=
a e H m (0.1)
iw
r/(i)V = e -V, rpeH .
a (0.2)
Here ui„ are known eigen-values for the harmonic oscillator, which one in-
terprets as the energy levels. Analogously, the study of spectral properties
of p-adic harmonic oscillator is connected with the problem of decompo-
sition into irreducible representations a unitary representation of a group
G.p
£ (Q ) =
2 P e H, a (0.3)
r7(*)#=x(trf)& tfei7 .
Q (0.4)
1. Harmonic Analysis
a
where dE(x) is spectral measure on G.
Let the group G be compact. On the group G there exists an invari-
ant measure dg (Haar measure). In this case we will normalize the Haar
measure by the condition
fdg=\. (1.2)
c
I
d
Xc,(g) 0(9) 9
X = $c,p, (1-3)
a
where 6 p is the Kronecker symbol and L,2(G) is the Hilbert space of
a
H= H, m a (1.4)
where H is the largest subspace on
a ail which the representation acts as a
multiple of Xa(g)- The Hermitian projection operator on H is given by a
Pa =j Xc,(g)U(g)dg, (1.5)
G
We have
U(g)P a = x (9)P .
a a
(1.7)
p-Adic Quantum Theories 229
2. Operator Theory
TrA--- Y (2.1)
l<n<oo
The trace is not defined for all operators, and, moreover, it may depend on
the choice of orthonormal basis. We have the following facts [175,60,237]:
Tr A= JA{x,x)dx.
K
the group G coincides with B-\ for p > 3 and with 5_2 for p = 2. I t
p
follows from Sec. 3.1 that the characters of G have the form x ( a i ) , where p
, T a
a = 0 or a =p~" (a () + a+ lP ... + a _ a p ~ ) ,
T
l 2 7 _ 3
a = 0 or a = 2~' (l + 2 + a 2 ttl 2 + ... + a _ 3 2 7 ),
230 p-Adic Analysis and A/a f A emit leaf Physics
P
a = \G \- P
1
j x(-*t)U(t)dt,
(3.1)
v
1/4 for p = 2, '
3 4
F o r p = 2, if a = 0 or | a | = 2 , Men d i m / f „ = 2; if\a\
z > 2 and 2
Qi - 1, /Aen dim H = 4.
a
dimH a = Tr P „ . (3.2)
where
„, , f 1, 0 <a < 1,
p-Adic Quantum Tkeorici 231
-n
Since fi(p |xlp) —' *• 1 uniformly on every compact set as n —• oo, we have
w„ —* E in the strong topology (E is the identity operator). By statement
2) of Sec. 12.2 we have
Tr P = l i m Tr K P w „ ) .
a a (3.5)
n—-co
1
Tr(w F w ) = |G |-
n 0 n p / * ( - < r t ) Tr ( w f / ( < K ) * -
n (3-6)
l*l<i/p
2
= / / ^l 2x tan^)dx.
x (
iV - i iv - (3.7)
V
1*1,<p" I*U<P" '
1*1,51
1 3 7n
= hp{W\p- ' for \t\ >p- ,
P
3
A ( 2 p " V t a n 0 = *P (^)
P = A (i), p | sin i | p = |t | , | cos t | = 1.
p P
232 p-Adic Analysis and Mathematical Physics
f
™ 1 K > = ^ ( ^ ° " ' ^ " < (3,0,
2
W \ r for|t| <p- ".
p
Let us next consider the case p > 3. Substituting (3.10) into (3.6), we
obtain for n = 1,2,,,,
Tr (w P u )
n a n
We denote the first term in (3.11) by J< and rewrite it in the form
Since we are interested in the limit as n —* oo, for any fixed a we choose n
2 n 2
such that j a p | = p - " | a j < 1. Then
p p
2
v_(-«p V)=l, h=P I ^ d r . (3.13)
We evaluate J\ as follows:
=* E / E E (|) / *
-oo<7<0
since
(3.14)
-0=*
p-Adic Quantum Theories 233
(3.15)
* - ' J0<n<oo
& . ? ( 1
- ; ) - *
m
h = P j ^x(~a*)dt. (3.16)
, +I •\P
p-" <l«l,<p-' "
2
• We note that the behavior of the function X (t) depends on p. For
p = 1 (mod 4) we have X (t) = 1 for all t for p = 3 (mod 4) we have
p
h = V I $r
p
= P £ j *
P--»<iti,<p-> -«is*s-> M ,V
= P E f l - ; ) = 0>-l)<2n-l). (3-17)
Sec. 4,
h =P j x(-«t) Wf
l
p->'+ <\*\,<r-'
„ /i-i/p, y<-*f,
=p E -VP. T= +
-Sn + 1<7<-1 \ 0, 7 > -Af + 2 fi
=p E f i - i V i = o - i ) ( 2 » - i v ) - i .
V P J
-a»+l<TS-J» (3.18)
234 p-Adic Analysis and Mathematical Physics
J = P
Z £ (-If f l -i ) = l - > ; (3.19)
N
Finally, i f | a | = p , p 2 < N < 2n, p = 3 (mod 4) we have
/1-1/p, 7<-JV, \
/a = P £ -1/P, 7 = " ^ + l .
_ +i< <-i
2 n 7 \ 0, 7 > -N + 2J
1
=P E ( - i r f i - ^ - t - i ) ^ - (3 20)
The last expression is equal to 1 for even JV and —p for odd JV, Equations
(3.17)-(3.20) prove Proposition 2. •
Since
Tr ( w „ P w „ ) = Ji + 7
a 2l
Tr (w P u> )
n a n
Taking the limit as n —> oo in Proposition 3 and recalling (3.2) and (3.5),
we obtain the proof of Theorem for p £ 2.
p-Adic Quantum Theories 235
We now consider the case p = 2. In place of (4.11) (for p > 3), we have
f or p = 2
Tr {u P w )
n a n
l«|a<2-»- 2-'~+><|l|j<4- 1
= Jl + J - 2
(3.21)
2-an+i<|,| < -i 3 2
l 2 ,1
\ l ( t ) = ^ + (-lY i) = (-l) i-
Therefore,
2-a-+i<| j < -2 1 2 2
= 4i £ 2^ = 0. (3.22)
-2n+l<7<-2 M]=ai Hla=a'>
L i,=o i i1 =
N
Assume now that |or| = 2 2 and < 2n. Then
V U
h = Ai Yl j i-l) x(-at)dt
m
= 4.' E 2i '
(3.23)
-2n+l<>J-2
where
l
fh) = j Hf X(-m)dt = f (y) -
B /,( ),
7
|*|a=3*
ll
fi= J (-i) x(-*t)dt, J = 0,1.
(l|j = 3->
'1=1
236 p-Adic Analysts and Mathematical Physics
N
For |tja < 2~ we have | a ( | < 1. Then /<,(?) = fi(j) and f(j) = 0. For
2
w + 1
|f| = 2 -
2 we have {at} = 1/2. Then again f (j) = / I ( T ) and / ( T ) = 0- 0
N+2
For | ( | = 2~
2 we have {at} = 1/4+ ( « i + i i ) / 2 . Then
+
/o(7) = « P |^(| + f l3] [Mill
/ ^ ' " ( - i ) " 1 2 7
" 3
-
Similarly, 0
= - ( ( - l ) ^ " . Hence for | f | = 2~ , i.e. for 7 =
2
2
N+2
J V 1 < i V + 3
-JV + 2 we have / ( - i V + 2) - 2 - + i ( - l ) " . Finally, for |r| > 2 " , 2
Proposition 4 . For p = 2
3
f 0, a = 0 or \a\ = 2 ,
2
2 w
~ \ -2(-l)% |o| = 2 , A ' > 4 .
2
_ 1 7 2
a = 0 or a = p ( a ( j + a*p + . . . + a _ 2 p " ) , 7
0<O;<p-l, a ^Q;
0 j = 0 , 1 , . . . , 7 - 2,
_ 7 2
a = 0 or a = 2 ( 1 + 2 + o 2 + ... + 2 0^.3^-%
7 = 4,5,...; 0,-0,1; j = 2 , 3 , . . . , 7 - 3.
We first consider the case p = 1 (mod 4). The field Q then contains the p
2
square root of —1, i.e., there exists an element r £ Q such that r = —I. p
2 2
3lflt«J = jx (™ - \z + 2 » ) f(z)dz. (4.1)
2
= X(T* )F [f(z) X £2*), (4.3)
have
f ,
U®3[fm = ai/(e- )](z), 2 \t\p < VP- (4.4)
/ *((--^*+G&+*)»)** (4.5)
The formula (2.1) of Sec. 5 can be used to evaluate the inner integral in
(4.5). We set
' ' ' (4.6)
tan t sin t
Then
T sin t — cos ( 1
> 1 (4.7)
sin t
for | t | < 1/p. Note that since the left-hand side in (4.5) is independent of
p
x + z sin t M
P — P = p M
\x + Jsinr|p. (4.8)
2~a
P rsin t — cos (
N
Since the variable z lies in the disk \z\ < p , we have p ^ ^ s m i L , < 1
for sufficiently large M and \t | < 1/p. Also, the variable x lies in a bounded
p
parameters,
(4.9)
- 2
We now observe that cosi — r s i n i = c for some c € Qp. Therefore,
using (0.3) of Sec. 5 we have
-% H r = ¥ - 4 (4.10)
•p-Adic Quantum Theories 239
\y\ <P
P
/
M
V, tant sin((cosr — r s i n f )
2
z sin( + 2zz:
•/»k(-l cos t — rsin /
(4.12)
1 1 T (cost + i s i n t )
tant sint(cost — Tsinf) cosf — Tsint
T!
e = c o s t + r s i n t.
2 T a
U(t)3[f]( ) x = ( r x ) J dz(e~ 'z)x
X (-|* + 2«) , (4.13)
Q,
By (4.4), the dynamics in the 3-rep resent at ion is thus given by the simple
formula
/ < * } — / € L 2 ( Q p ) . (4.14)
The 3-rep resent at ion may be regarded as a distinctive p-adic analog of the
second quantization representation known i n standard quantum mechanics.
240 p-Adic Analysis and Mathematical Physics
To do this we find the invariant vectors in the 3-re present at ion, i.e., the
functions / E / ^ ( Q p ) satisfying
T
f(e- 'z) = f(z), \t\ <l/p.
p (4.16)
i.e., the numbers j and k in the canonical expression do not change. This
means that any function f(z) in i ( Q p ) depending only on 7 and k is a
2
(
7
has the canonical representation z = p (zo + z\p + . . . ) then any function
/ ( z ) — f[\z\ ,zo)
p in i 2 ( Q p ) <s an invariant vector, and, conversely, any
such vector is of this form.
Let us give the explicit form of the invariant vectors in the original
representation. By (4.1), we have
*t*) = j x (™ - I * a 2
+ 2*z) / ( | z | , z ) d zP 0
Qp
= £ £ fW>W*M> (4-18)
-oo<7<oo l<*<p-l
where
2 T
*M*) = J dz {T - -z*
X X + Zzz).
\'\,=r--
I t can be seen by computation that
lM«) = X(r* 2
+ 2p-'kx)p-'- Q{p'- \x\ ), 1 1
p 7 < 0.
p-Adic Quantum Theories 241
reduces to
fo(e-"z) = (c*t)f (z),
X a |i|p < 1/p, (4.20)
f (z)
a = <p(\z\ ,z )x(-ar )
p 0 a t (4.21)
2 T 7
<M«) = J X [TX - ~z -\-1xz- araj <p(\z\ ,z )dz,
p 0
7 a
where z = p c * e .
N
V= ®hi.
i=l
In every such plane hi we shall choose a basis (e,-, fi), i — 1,2,... , n with
the property:
B(e ,f ) = l. i i
(e.-,«i) = ( / i , / j ) = 0,
= -(fi.e/) = i,j = 1 . 2 n
and is called the symplectic basis of V. The matrix of B in this basis has
the canonical form:
0 E'
\-K 0
Later on we shall suppose that in V some symplectic basis is chosen and
the form B has the canonical form. The following inequality is valid:
W{x)W{y) = (B(x,
Xp y))W(x + y), (5.2)
s t n e
where x, y £ V and Xp(0' additive character of Q that satisfies the p
condition
X ( 0 = 1 i f and only i f \£\ < 1 (see « 3.1)
P p
where operators W(z), z € V are defined by the formula (2.3) of Sec. 11.
ti
E x a m p l e 2. Tensor product ® ( ^ ( Q p ) , W) of n Weyl system from
n
Example 1 is the Weyl system (L (Q ),WW) over the space
2 p (Q ,B), p
where
Wl»\z) = &W(z.), z = (z ... ,*„)eQ 2 n . lt
subspace of £ ( V )
2
is valid for all x £ Vb- TAis vector <f>a we shall call the vacuum vector of
(H,W).
[*»?)= 22 X i y i
l<i<2n
and notation
* = {~X i, n+ . . . , -X2n Xi t x)
n
\B(x,y)\ <\\x\\-\\y\\<l.
p
X (t)
P = l, |£|„<1, (5.7)
relation (5.2) under the restriction on (H, Wo) has the form
W (x)W (y)
0 0 = W {x + j/), 0 x, y £ VQ.
^ (x)
a = Xp((c,T)), xeV , 0
= Q « J v ( ( a , x ) V > = IV Q a J ^ = <b .
p 0 •
The next important notion is the notion of the system of coherent states.
Let a>o € be a vacuum vector of the Weyl system ( / / , PV). Let us choose
an element a from any co-set d £ V/Vb and denote the family of such
elements by JQ. Let us construct the following set of vectors $ C H:
$= {<p = W{a)fa,
a QEJQ). (5.10)
Let ai and a belong to the same co-set a G V/VQ- Then from (5.2), (5.6)
2
4> = Witter,
at = W(a 7 + (ai - a ))0o 2
= X (-B(Q , a! - a2))W(Q2)Vv (a
p 2
r
2 - ai)<t 0
Hence \ip \ does not depend on the choice of the element a in co-set a £
a
V/Vo. The set of vectors (5.10) we call the system of coherent states of
Weyl system (H, W). The main property of coherent states is given by the
following theorem.
thus <p e H-ia. Conversely, let <b e / f , \\4>\\H = 1. Then by virtue of the
0 2 a
= W{-a)<j>,
H = ®Hi
and subspaces Hi are invariant under the action of operators W(x), x S.V.
p-Adic Quantum Theories 247
The set of vacuum vectors of the Weyl system (H, W) forms the subspace
Ho which is called the vacuum subspace of (H, W). In this subspace HQ we
shall choose some orthonormal basis {d>' , i £ I } . The following theorem
0
is valid.
(H,W)= *m,w%
i ^ = W(a)4, i€l).
0o = <P'o-
{<t> = W(a)<p ,
a D a 6 Jo)
forms orthonormal basis in H, but d> £ H', hence H' = H. The contra-
0
(w(x)<b ,w(y)4)
0 = Q, *,yev, M€i, (5.n)
Let z £ VQ. By virtue of unitarity of W(z) and formulas (5.2) and (5.6) we
have:
(W(x)<j> ,W(y)4>i)
0 = (W(z)W(x)d>lW(z)W(y)4)
= ( (2B(z,x))W(x)4lxp(2B(z,y))W(y)dri)
Xp (5.12)
= X p (2B(z,x - K))(JFfc)4,
248 p-Adic Analyst! and Mathematical Physics
(W(x)<p ,W(y)4i)
0 = {W[-y)W(x)^,4) = Xp(B(-y,x))(<j> ,4)
0 = 0.
H = H= ®H .t
i€T
the formula
Xp(2px)4> (x) - <t>o(x),
0
p-Adic Quantum. Theories 249
supp d, c {x € Qp :
Q Xp(2pi) = 1. p € So} = Bo.
tions of Bo (see Sec. 6.2), C is an arbitrary nonzero constant and thus the
vacuum subspace H of the Weyl system ( L ( Q p ) , W) is one-dimensional.
B 2
Irreducibility of the Weyl system (Z-2(Qp), W^) follows directly from the
irreducibility of ( ^ ( Q p ) , W) and the definition of tensor product of Weyl
systems. Vacuum vector of this Weyl system has the form:
d> \x)n
0 = n(\\x\\) = I I fltl*4. * = (*i,•.•,zn)eQp".
l<i<n
^ ( x ) = n(IMI). •
1
Corollary 1. Any Weyl system can be represented as ike direct sum of
irreducible Weyl systems.
Two Weyl systems (H, W) and (H, W) over space (V, B(-, •)) are equiv-
alent by the definition i f there exists a unitary operator U : H —• H that
satisfies the condition
Corollary 2. Any two irreducible Weyl systems over Ike space (V, B)
are equivalent.
250 p-Adic Analysis and Mathematical Physics
• Let (H, W), {H,W) be irreducible Weyl systems over the space (V,B).
By virtue of Theorems 1-3 for any of these systems there exist unique
vacuum vector 4>a € H and <t>o £ H and spaces H and H are strained on
the basis of coherent states
* = = W(a)io, a e J ).0
U<p = 4> ,
a a aeJo- (5.16)
I t is easy to see that the operator (5.13) satisfies the condition (5.14).
In fact, it is sufficient to check (5.14) for basis vectors d\ and <b , a (E Jo- 0 a
= x (B(x,
P a))U4 x+a = x (B{x,
P a))i I+0
= x (B(x,
P a))W(x + «)^o = W(x)W(a)}o = W{x)U<p .
a
6. Symplectic Group
The symplectic group Sp(2n,Q ) is the group of linear automorphisms
p
n
of the space V = Q which preserve the symplectic form. Any element
p
™ « JffoV (61)
subgroup o / S p ( 2 n , Q ) . p
• Let us prove that for any element g £ Sp(2n,Q ) the following in- p
equality is valid
IMl>t (6.2)
p-Adic Quantum Theories 251
In fact, taking into account the definition of det g and properties of the
norm (6.1) we get:
2n
1 = | det g|p < max |jf Ul ... g 2 n i l n \ <
P \\g\\ .
Let now g,h £ G . Let us prove that gh 6 G. Taking into account formulas
(6.1) and (6.2) we have:
1 2 1
1 < Us" !! < max K - l f ^ J , < H a l l " - = 1,
l<i,j<2n
where iV/jj is the complement minor of element gjj in g. •
of the group G defined by the formula (6.4) by means of the Weyl system
(L (fy ),W)
2 P from Example 1 of Sec. 12.5.
If n > 1 the similar operator can be constructed by means of tensor
product of n operators U(t) of one-dimensional oscillator using the Weyl
( n )
system {L (%), 2 W ) from Example 2 of Sec. 12.5. I n both cases repre-
sentations defined by the formula (6.4) are unitary (not projective). This
is true for the whole group G. In fact, the following Theorem is valid.
system.
In the space we define the set of operators {U(g),g € G} by the
formula:
1 6 5
u(g)f(z) = fM = /Or *)* < - )
It is easy to see that U(g) is the operator from L 2 to L . 2 In fact, i f
/ € i j , z' £ Vr,, g £ G the following relation is valid
/ (z + ' ) = / ( r 2 + , r V )
J 2 J
1
l l ,
= Xp{B{g- z,g^z'))f(g- z) = {B(z,z ))f {z). Xp 3
Taking into account the definitions of W(z) and U(g) i t is easy to check
the relation (6.4) for Weyl system ( £ £ , W) and operators U(g), g 6 G. In
fact, i f / e Z-2 then we have:
U(g)W(z)f(x) = U(g)\x (BU,x))f(x
P - z)} = {B{gz,x))f(g-\x
Xp - gz))
l
= W(gz)f(g- x) = W(gz)U(g)f(x).
p-Adic Quantum Theories 253
U(g)<p = X(g)<f> ,
0 0
lV(z)d> =<fa,
0 z £ V. 0
the other hand from (6.4) it follows that U(g)fa, g £ G is vacuum vector of
(H, Wg) too. Taking into account formula (6.6) and Theorem 3 of Sec. 12.5
we get the required statement. •
r
'=(-sin ( 2\)> (see (1.6) of Sec. 11),
254 p-Adic Analysis and Mathematical Physics
which is defined by formulas (4.3)-(4.4) of Sec. 11. This problem has been
solved completely for the case of p = 1 (mod 4) (see Sec. 12.4), but for the
case of p = 3 (mod 4) only the dimensions of eigen-subspaces have been
calculated.
Analysis of the representation of the group T is closely connected with
that of larger group S of matrices of the type:
2 2
(- b «)• « ^ Q P , « + * = l.
In the case of p = 3 (mod 4) the group S is compact (see Sec. 1.5) and is
the subgroup of 5 p ( 2 , 2 ) .p
—
Q p ( V 1) of the following type:
S=t{zeQ;(V=l):zz = l}.
e
i
V ' = < '>.
[
e
i ,+,
r = { y ' , f eGp}.
(see [82]).
p-Adic Quantum Tkcorici 2SS
I Let us give the sketch of the proof. I t follows from the equation
a + b = 1, a,b £ Q , that for p = 3 (mod 4) either \a\ = 1, \b\ < 1 or
2 2
p p p
\a\ < 1 |6|p = 1 (see Sec. 1.4). Therefore, taking into account that sin t
p
2
al + b = 1 (mod p).
0 (7.2)
The set of pairs (ao,6o), which satisfy (7.2), is isomorphic to some subgroup
of multiplicative group IF* ( \ / ~ 1 ) of quadratic extension of the finite field
IFp which is cyclic (as £.ny subgroup of the multiplicative group of the finite
field).
The order of this group is equal to the number of solutions of (7.2) which
can be calculated by means of Gauss sums and equal p + l . •
k n
z = re c e", (7.3)
/ 2
• Let z £ Qp(v —T)- Only two cases are possible: either zz = a or
2
zz = —a , a G Qp (see Sec. 1.4). In the first case we shall choose r as the
square root of zz which belongs to Qp : r = \fz~i. Then $z £ S, k = 0 and
3
(7.3) follows from (7.1). In the second case r = y/~zz £ Q ' and ±z £ S, 2
Q p f y ^ T ) four functions:
2
r(z) : %(V=l) —• Q ; P *(z) : QJCv^T) — {0,1};
i
r ( e " z ) = riz), k{e 'z) = k(z),
it
n ^ ' z ) = «(*), r(e z) = r ( ) + i, z (7.4)
!e«j;(A ceG . p
Less obvious properties of these functions are given by the following lemma.
• Let z = x + and z' = x' + iy' satisfy the conditions of the Lemma.
1) By means of elementary calculations we get the formula:
2
K » + ' ) + K*>IP = niax{|r(z + z%, \r(z)\ ]
p
2
\r(z + z') - r(z)\ p < r ^ L - m a x { | r ( z ' ) i , WUmtW < L
p-Adic Quantum Theories 257
2) From the definition of the function k{z) it follows that i t depends only
on the first term in canonical decomposition of p-adic number zz:
k{z) = k((zz ). 0
z
The relation ((z + z ' ) ( + z ' ) ) = (zz) 0 0 follows from the equality:
n i [y^J Let us consider the second case (the first one can be
considered analogously). By virtue of statement 1) of this lemma, relations
\ \P — \y\p = l (*)lp > P
X r a n
d inequality \x'\ p < \r(z')\ P < 1 we have:
u
Denoting by 6t, n the Kronel;er symbol on Q ( \ / — T ) we define: P
= *«,*(..)• n = 0 , 1 , . . . ,p.
supp 6^ (z) c
n supp Sjf = 0, i f n j f m; (7.7)
c c
6< (z + z') = 6 (z),
m m ||z||>p, ||z'||<l; (7.8)
if
6^{c z)^6^{z), teGp. (7.9)
As it has been noted in Sec. 11.7 each of them is connected with some
irreducible Weyl system over the space (V = Q x Q , f l ) . For example in P p
Sees. 11.4 and 12.3 oscillator has been considered in representation which
corresponds to the Weyl system from Example 1 of Sec. 12.5. In the case
of p = 3 (mod 4) the investigation of eigen-functions is carried out easily
in representation which is connected to the Weyl system (L^W) from
258 p-Adic Analytic and Mathematical Phyiict
f/(e-'M =v(at)/( ), 2
2 i + !
p , k — 0 , 1 , . . . the system (7.10) has no solutions; i f a = 0, then there
exists a unique linear independent solution of (7.10) and in the case of
or 6 J there are p + l linear independent solutions.
p
The explicit formulas for eigen-functions are given by the following the-
orem.
M*) = HMI>
If a G J , « / 0, then p + 1 functions
p
m= 1+
\( {j))> A= V(-l) m + 1
«. " = 0,1,...,p.
p-Adic Quantum Theoriei 2S9
a
l lp £ P- Taking into account this inequality, substituting functions ( 7 . 1 1 )
to the second equation of the system (7.10) and using the property 1 ) of
the function r(z) (see Lemma 3 ) and formula ( 7 . 8 ) we get:
K,(m&MH*) - a\ ) (-c,r(z
p Xp + **))
c
= (B(z,z'))6' (z)6 (z)il(\r{z)
Xp m n - a\ )xp(-or(z)).
p
X (aAT
P + B(z,z')) = l, (7.12)
m T ;
where A T = T(Z + z') - r(z), z = r(z)£ cV < >,
m n iT m r i + i
g> = r(z')e c e ^'\ z + z' = r(z + z')e cV < '>.
By virtue of the last equations, the expression for B(z, z') can be trans-
formed to the following form:
ib
\\e"-e \\ = \a-b\ , p a,i€G . p (7.14)
In fact:
f l t |
| | ' - ' | | = || ''»"- '>-l||
e e e
= |sin(a - b)\ = \a - b\ . p p
In fact:
i i
\aAr\p = \a\ \\e ^+*->-e ^\\
p
2 fl r(,+ l)
= IKK* + ') + ( - + **)K * - W + ( « - K * J i ) ^ | |
i T t + I , ) iT
= ||r(z + z ' ) e ' - r(z)e <'>|| = ||»'|| < 1.
Taking into account formulas (7.13) and (7.15) and inequalities | r ( j ) — a | < p
form:
m !
X ( o A T + ( - l ) a s i n A r ) = 1.
P (7.16)
From the properties of function sins, which have been pointed out in
Sec. 2.4, the following inequality (for p = 3 (mod 4)) follows easily:
Thus, the functions (7.11) satisfy the second equation of the system (7.10),
if a, a and m satisfy the relation (7.18) for any A r g G . It is easy to see p
that a and m from the condition of the Theorem satisfy the equality:
« + ( - l ) " V = 0,
V£ = j Y (-«0^(^ c'V<)Vv»\
P
m
(7.19)
I Let us consider the Wey] system {L^tW) with vacuum vector <po =
f2(||z||) and corresponding representation for harmonic oscillator.
I t is easy to see that the operator S : L \ —* H defined by the formula
v v
V V
v
we get
v
r a n a
Using the properties of functions b {y), m ^(y) the polar decomposition,
from the last formula we have:
m
C = / \r\ U{\r
P - a\ )dr p j Xp {-at)W{ae f e ^ d t .
5
Q; |ilr<i/p
this case, taking into account the theorem and formula (7.1) it is easy to
prove, that eigen-subspaces of V(g) are one-dimensional and eigen-functions
coincide with eigen-functions $J of the representation U(t) (but in this case
the functions d>a different n correspond to different subspaces).
X I I I . W e y l Systems. I n f i n i t e D i m e n s i o n a l Case
Let (V, B) be an infinite dimensional symplectic space over <Q . A sub- p
1. Weyl Algebras
a(W (x))
1 = W (x).
2
p-Adic Quantum Theories 263
The Weyl algebra of the Weyl system (H, W) over (V, B) is defined as a
C*-algebra ii(H, W) which is the uniform closure of the union of algebras
JDlufif, W), when U runs all subspaces from F:
U£F
{V, B) there exists a unique ^-isomorphism a of the algebras iX{H\, W\) and
ii{H ,W )
2 2 which maps W^x) into W (x) for all x £ V:
2
c,{Wi(x)) = W {x).
2
2. Positive Functionals
A complex valued functional /J : V —• C on the symplectic p-adic space
(V, B) is positive, i f
(i) Mo) = l,
(II) for any finite sets A j , . . . ,X n £€. and » i , . . . ,x n € V we have
l<i,j<n
( I I I ) u is continuous on any U £ F.
Positive functionals on (V, B) give us an opportunity to study cyclic
Weyl systems. A cyclic Weyl system over (V, B) is a triple (H, W,ip), where
264 f-Aiic Analytit and Mathematical Pkyiio
[H, W) is a Weyl system over (V, B), <p e H, \\P\\H = 1 and the closure of
linear span of the set {W{x)<p,x € V } in H coincides with H. Two cyclic
a r e
Weyl systems {H\,W\,tpi) and (iffa. Wa.pa) equivalent i f there exists
a unitary operator U : H\ —• H , which satisfies the conditions: f / p i = ip2
2
1
and UWiix)*!- = W (x) for any x e V. Study of an arbitrary Weyl
2
system over (V, B) reduces to that of cyclic, because any Weyl system can
be represented as a direct orthogonal sum of cyclic ones.
On the other hand, positive functionals on (V,B) and cyclic Weyl sys-
tems over (V,B) are closely connected. I n fact, i t is easy to see that if
(H, W, <p) is a cyclic Weyl system, then the map u defined by the formula
^x\^,WW) (131)
defines a positive functional on ( V , f l ) . The inverse statement is less obvi-
ous, but it is true.
2
il/ll = </,/>
define nonnegative Hermitian form and seminorm on K respectively. Let
N be the closed subspace of K consist of / with zero seminorm. Then
on K/N the form (•,-) naturally induces the positive Hermitian form and
K/N is provided by the prehilbertian structure. The required space H is
the closure of K/N with respect to the scalar product mentioned above.
The map W. On the space K we shall define the following set of operators
W(x),xf=V:
W(x)f{u) = ((Bx,u))f(u
Xp - i), / € K.
p-Adic Quantum Theories 265
These operators satisfy the Weyl relation (this fact has been proved in
Sec. 12.4, Example 3). I t is easy to see that W(x), x £ V are isometric.
Hence, we have correctly defined isometric operators W(x), x 6 V on K/N:
*P = <P + N,
It is a simple exercise to verify the relation (13.1) for the constructed Weyl
system.
(7nigueness. Let (Hi, Wi> <pi) and (H , W , p ) be two cyclic Weyl sys-
2 2 2
VWi{x)<pi=W {x)<p ,
2 2 x£V
(VWi{x)<p VWi(y) i)
u 9
= (W (x)<p ,W (y)<p )
2 3 2 2 = x (B{x,y)) 2,W {y
P 9 2 - x)<p )
2
= p(B(x,y))p.(y
X - x) = (W^x^W^y)^).
R e m a r k . The statements of Sec. 13.1 and 13.2 and their proofs coincide
w i t h that of for the real number case.
3. Foch Representation
that Ax £ L). In the case of dim V < oo this definition coincides with the
ordinary one (that is L is a finitely generated Z -submodule of V which p
contains a basis of V ) . On the other hand, this notion coincides with that
of absolutely convex absorbing set (a nonempty subset A of V is absolutely
convex it x,y £ A, A,p. 6 Z implies Ax + /ty £ A) without nonzero
p
subspaces.
Let £ be a lattice in V. We shall define the following fi+-valued func-
tional pi on V, x g V:
1
Pi(x) = int kip •
(I) ( £ • ) " = £ ,
(ii) ( ^ - r i ^ - ^ L t n i ; ,
(III) ( L , n L ) - =2 + LI
Y, XiXjMxj-xMBiziiXj)) > 0.
l<»,J<n
As Ui(x) = 0 for all x L the above inequality should be proved only for
the case when all Xj, i = 1 , . . . , rt have the form
Xi = a + Ui, Oi £ L
= £ A A p(BK',"))Xp(S(t j,o))
i i X l
1 <i,j<n
1
> 0
KKn
4> = {W(a)<p,
a « £ T)
is the set of coherent states in H. The Weyl system (H, W, <p) mentioned is
called the £-Weyl system for brevity. I t satisfies the following properties.
(^) = £ c a = o,
(III) From ( I I ) we easily get that any vector from H is cyclic, then
(H, W, f) is irreducible.
(IV) Let %l> be an arbitrary vector from H. Then
i> = £ C W(a)<p,
a £ | C 0 p < c o
WWfr - n = II £ ( 1 - X ( 2 B ( « , * ) ) C r V ( a ) | |
P t t P
aer
2 2
= £|CJ |l- X p (2B(o,z))[ . (13.3)
By virtue of convergence of the series |Ct» | for any e > 0 there exists
a
aer
such A > 0, such that
2
£ Ca| <|. (13.4)
a€2~,f>,(a)>ll
\B(x,a)\ <p,(x)p,(a)<l
p
\o€T,p,(o)<a a£T,Pi(tt)>a/
2
< 2 £ | C | < 6.
a
o€T,pi(o)>i
The theorem proved shows that the properties of the L-Weyl systems
are similar to that of Weyl systems over a finite-dimensional symplectic
270 p-Adic Analysis and Mathematical Physici
space. This justifies the name L-Fock for the corresponding representation
of commutation relations.
then there exists a unitary operator U : Hi —*. H such that the relation 2
1
UWi(x)U- - W (x) 2
is valid for all z EV. Let v : V —> IE denote the map defined by the formula
f,(0), z € L l + L , 2
v
I 0, z £L - L 1 r 2 . '
In fact, by virtue of the Weyl relation and the Theorem 3(i) of Sec. 13.3,
for xi £ Li and x € L we have
2 2
+ x) = |{l/vi, HM*! +
2 *2)^2)| = \W (-zi)U-pi,W (x )<p )\
2 2 2 2
For x £ L1 + L2 by virtue of the relation (L1 + L2)' = LiC\L (see Sec. 13.3) 2
we have
(U<fi ,W {x) 2)
i i V = {W2{y)U<p, W2(y)W {x) 2) l 2 9
= X p{1B{x,y)){U ,W2{x)>p2), Vl
therefore v(x) = 0.
Let now d(Li, £ ) denote the order of the group ( L j ,L )/L .
2 Taking into 2 2
account Theorem 3(h) of Sec. 13.3, the formula (13.6) and the Parseval-
Steklov equality we have
3
i H M f l , =l|t^ill« 3 = £ \{U ,W (a) )\
Vl 2 V3
2
£ v'(0) = » (0)d(L L ), u 2
and from the last formula we get d(Li,L ) < 00. I t is easy to see that 2
d(L\, L2) < 00 i f and only i f L \ and L coincide almost everywhere. This 2
d(L\,L )
2 < 00. We shall construct the vector yj £ H by the formula 2
4>2 = d- (L ,L ) 1
1 2 £ W (<*)V2- 2 (13.7)
oeti/(lini ) a
Note that the expression under the sum symbol in the formula (13.7) does
not depend on the choice of representative in the coset a £ Lij(L\ f l L ). 2
From the Weyl relations and the last formula we get for all x £ L \ \
W ( )yj
2 Xl 2 = d-HM, L ) 2 £ X (B(x,
P a))W (x 2 + c)<p 2
oCt-i/fl-inia)
= d-%LxM) £ ^ # J = ^ ' ( 1 3
- )
8
Besides that, by virtue of the Theorem 3(ii) of Sec. 13.3 and the Parseval-
Steklov equation we have
I I ^ H ^ = d-\L L ) it 2 £ I I I W H I H , = 1, (13.9)
oeti/(tinii)
272 f-Adic Analysis and Mathematical Physio
From the formulas (13.8) and (13.9) i t follows that (#2,1^2.^2) is the
Z-i-Weyl system. Therefore {Hi,Wi,<p\) and (H , W , V>z) are equivalent 2 2
by the Theorem 2 of Sec. 13.2 and the Weyl systems (Hi, W>) and (H ,W ) 2 2
X I V . p - A d i c Strings
In this section elements of p-adic string theory are given. First, ex-
pressions for so-called dual amplitudes are introduced. After that p-adic
analogues of these expressions are considered and their properties are in-
vestigated.
1. Dual Amplitides
1
0 1
A(s,t) =J dxx-^-^l-x)- ^- . (1.1)
0
* 2
M * n 2
- { * . ) i 2
- - - ( * r ) 1 2
= -2. (1.2)
2
* = ( * i + *2) , t = (k + k ) ,
2 3
2
(1.3)
s
one introduces also the variable u — (itj + fc ) , and besides we have s +
3
* i + k + k -r Jfc = 0.
2 3 4 (1.4)
jt-Adic Quantum Theories 273
*(*)=1 + | * . (1.5)
The beta function (1.1) can be expressed in terms of the Euler gamma
function
r(- (,))r(-«(t))
a
A M ( L 6 )
~ T(-a(s)- (t)) a
where
J
oo
I » = (1-7)
o
4., 0 = £ ; M ± l « ^ . _ ^ _ , (i.9j
n=0
The equality (1.8) and the representation (1.9) ensure the duality property:
one and the same amplitude can be represented either as a sum over poles
in s-channel (formula (1.9)), or over poles in r-channel.
The asymptotic of A(s,t) at large s and fixed f has the form
Q
A( ,()~s C),
S (1.10)
so called Regge behavior. I t was proved that for validity of the unitary
condition the dimension of space-time must be n = 26.
The generalization of the Veneziano amplitude to the case of scattering
of N particles w i t h momenta (k\,... , jfcjv) has the form
A N = j dx dx .
2 3 (1.11)
Q<r a <;i:j<;...<Ejv._ 5 <l
ni'ii- -*'-u-«ii^ si
n
j=2 2</<m<N-2
274 p-Adic Analysis and Mathematical Physics
, w
A K = Yldz^dV*)- 1
J ] (1.12)
•* 1 = 1 l<l<Ti<W
where
1 l -t _1
dV = d i o d z i d M * - -*J~ (*» - * i s ) ( * « - * < . )
3
N
r
A= Hd Xi n &~ \- < -
Xm
k k
(i.i3)
• i=l l<l<m<N
after the separation of the volume of the group SL(2,C). Here kf = —8,
i=l,...N.
For four particles we have
2 1 k 1
B
4 = J d z\z\ ^ <\l-z\ '^'-**. (1.16)
c
In string theory the amplitudes (1.1) correspond to open strings and (1.16)
correspond to closed strings. Note that these expressions for scattering
amplitudes are only the first terms in the so-called decomposition of the
p-Adic Quantum Tkeorica 275
number of loops for string amplitudes. By analogy to (1.16) one can con-
sider instead of (1.1) the expression
A = j dx\x\
4
kl k t
\l-x\ l l k t
(1.17)
•
where the integral is over all real axis. Then we obtain the symmetric
amplitude
A = A(s,t)+A(t,s)
A + A(u,s). (1.18)
2. p-Adic Amplitudes
As i t was shown by the development of mathematical physics during the
last twenty years, a rather substantial modern string theory stems from a
development of the simple formula (1.1). Therefore i t is very interesting to
find a generalization of the expressions (1.16) and (1.17) using only pure
mathematical resources. According to two representations (1.1) and (1.6)
two possible generalizations exist. One can use either the integral represen-
tation or the T-function representation. Here we shall consider the integral
a
representation. The function \x\ is a character, so one can interpret the in-
tegral in (1.1) or in (1.17) as a convolution of two multiplicative characters
on the real axis. Therefore the following generalization is suggested.
Let i t be a field, j (x)
a and Tp(x) be multiplicative characters on K,
where a and 0 are some parameters on which these characters depend. Let
My ,yp)
a = J y (x)j (l-x}dx,
a 0 (2.1)
K
a
for 7 o ( i ) = \x\ and K = IR we obtain the expression (1.17), and for K — C
we obtain the expression (1.16).
Let us consider the case of K = Q , 7 „ ( x ) = p 7D(X) — \x\P~ , 1
where a and 0 are complex parameters. The formula (2.1) then gives the
B-function considered in Sec. 8.3,
The integral (2.2) absolutely converges in the region where Re a > 0, Re 0 >
0, Re(a + 0)<1. In Sec. 8, see (3.9), the expression for B-function (2.2)
in terms of r -function was given,
p
r P ( a ) W
TOT ™
where
i - p"- 1
W = T^cT' M
or in more symmetric form
where
a+p + j = l . (2.6)
If we put in (2.3) a = —n(s), 0 = — a(t), where » ( s ) is denned by (1.5),
and s and t are defined by the formulas (1.3), then we get the simple p-adic
dual amplitude B (—at(s),—a(t)).
p By virtue of the relation
and using (2.5) and (2.6), it can be written in the symmetric form
1_ -«0)-i p
l
c=s,t ,u
i=l l<«m<JV
After the separation of volume of the group S£{2, Q ) from (2.9) we obtain p
N-2
k k
4»* = I dx2...dx . Yl\ \; ' -\l- \;^
N 2 Xj Xj
II |x -i |;*'*».
l m (2.io)
2<Km<N-2
p-Adic Quantum Thcoritt 277
U
P - ' ^ = 4f. (2.11)
The equation (2.12) has the static solitonic solution of very simple form
n - I l p - 1 .
(2.13)
^ = p l ( P T T ) e x
P f 2pln7
where x = ( # i , „ . , i _ i ) .
n
M
1(*,0) = J & M * - H l - * | , (2.14)
a +0 +7 = 1. (2.15)
r ( Q ) r ( / ? ) r ( / ) r ( 7 ) r ( T ) r ( }
Bfa 0) I * I " (2 17)
278 p-Adic Analysis and Mathematical Physics
T(x)T(l
sin wx
and doing simple trigonometrical calculations we reduce (2.17) to the form
Taking into account the functional relation for the zeta function
( 2 * ) \ ( l - . 0 = 2coG^r(«K(>)
B{cc,0) = <(l-o)C(l-/?)C(l-7)
c(<*) <m c(7)
R e m a r k . Let us note the following relation between the zeta and the
gamma functions
a + /? + 7 = I.
3. Adelic Products
The following theorem is valid.
Theorem 3.1. Let real parameters a and 0 take their values in the
region
a<-l,0<-l (3.1)
Then we have the following relations for the functions (2.3) and (2.16)
IK c ( 1 _ a ) < ( 1 _ w ( ( a + / J ) , (3.2)
p-Adic Quantum Theories 279
(3 3)
with the products in (3.2) and (3.3) on a// prime p teina absolutely conver-
gent.
M°,?o =- \ ! r \ ^ \ J^ r (3.4)
In the range of values of the parameters (3.16) we have 7 > 2 and
B (ct,0)
p <0. (3.5)
Using the Enler formula (0.1) from Sec. 7.7, we find from (3.4)
c
nv wn < m- <-°> Q-B
a «-y)
** " C0-«)C(l-/J)C(l-7)
C(-«) C(-/J) C(l-«-/?) (3.6)
< ( l - a ) C ( l - 0 ) C(<* + 0 )
that is the relation (3.2). The product in (3.6) absolutely converges. In
fact, as it is known for the absolute convergence of a product
n( *i>)i +
B( ,p)l[B {a,0)=l
a p (3.7)
p
There are some subtleties with a convergence of the product and a result
depends on the choice of a regularization.
We show that there exists a connection between the formulas (3.2), (3.3),
(3.7) and the Tate formula. From the formula (2.2) of Sec. 7.7 for 0(A) = 1
it follows the relation
n / vp{xp)\xp%d =n / &a^)}-**fc
j
Xp
j
<-)
38
? p
where a is a real parameter and then the relation (3.8) yields the formula
(3.7). Indeed, one has
1 a
•Pp(y) = c (<*)x(y)\yp\p- - , P / O O ,
P
where
W = i l p - C ' P * °°: C
» » = -W~ - X a
sin y r ( l + c) .
1 - x \«\x\fo
p P = Hc ( )C (-c
p a p - b- 1) = 1,
p
p-Adic Quantum Theories 281
Y[C {a)
B = ~ 2 ( 2 i r ) - ' - sin ^ r ( l + a) [ J y ^ T ^ T
v
p p
= - 2 ( 2„—»=r(i + . ) ^ = i.
I f we put
^,(#=-11-^
instead of (3.3), then we obtain the relation (3.7).
4. String Action
oo
Ah(ki, ...kf/)
a = h s t n e
g 0 is a metric on J2h> >@
a ^>^- ^ ' tfiodnli space of Riemann
surfaces of genus h,r are local coordinates on Afj,, G ( £ , C ; T ) is a Green
function of the scalar Laplacian on £ , d[i(r) is a measure on A/h, & i , . . .
f t
1
6(k)A (k ...k )^
h ll N f[Dg )
o0 [[DX^Hvitye- , (4.2)
J 3
j=i
282 p-Adic Analytit and Mathematical Physics
1=1 j 2 3
<f t:jg '" d X»d X>',
g a 0 (4.3)
V(k)= j 2
d Z^g-e p{ik-X(t:))
X •
E„
11
Symbols [Dg g] and [ D X ] mean that one should integrate over all metrics
a
1
on Z and over all maps X *,
h
is called moduli space. The moduli space A//, is a complex variety of com-
plex dimension 0 for ft = 0, I for ft — 1 and 3ft — 3 for ft > 2. The bigger
space
T = | Metrics on £
h J /Diffo • Wtyl
is called Teichmuller space. The group obtained by taking all of the dif-
feomorphism modulo the local diffeomorphism is the mapping class group
(or modular group). Let us choose a slice S through the space of metrics
which is transversal to the actions of Diffo and Weyl. A subdomain of S in
p-Aiic QiHtarn Theories 2S3
a, - flj = - bj = 0, a; bj = f i ,
Any two sjTnplectic bases are related by a transformation from the sym-
plectic modular group $ (2h,Z).r The space of holomorphic 1-forms on ^ k
y_ V = V ij= 1.... A
*.
A matrix f = (TV,-).
9 (z, r) — exp(iVn
Jm,T
(5.1)
(fi(«i)V3(A(jJ)i/i
where
(0,r)- (u;)W l
t=i
E'fw.f) is independent of the choice of the odd characteristic {or,/3}, i t is
only zero for w = £.
There exists a measure on M reflecting the holomorphic structure of
n
dv = dv\ A . . . A dv3„-s.
6. Multiloop Amplitudes
To define the functional integral (4.2) one uses the procedure of quanti-
zation of gauge theories. One can argue that the amplitude (4.2) has the
form
A (k ,...k )
h 1 N = j dp(v)T(k ...k -v)
u N (6.1)
A/*
p-Adic Quantum Theories 285
N
!
6(k)T(k u ... k ;v) = I[DX*]e-
N f[ V(k ) }
* j=l
1
I{4tM = B f e , ^ ) ^ . { - i r r „ 4 ( Im 7-)- Im 2 i j },
Ms
Here
i
T (v) =
} ef?f[(l-e*' ™)
n=l
is the Dedekind eta function,
n
n n
(1--C) ~ {l-w x)(l-w /x)
l/2
x 11 v
(l_u,«}2
n=l '
The integral runs over the fundamental domain Mi = {v 6 C : Imu >
0, | R e t i | < 1/2} and
N^ISN'^Ki. r=l,..JV--l.
286 p-Adic Analysis and Mathematical Physics
T h e i n t e g r a l i n ( 6 . 3 ) is i n v a r i a n t u n d e r m o d u l a r S L ( 2 , 2 ) t r a n s f o r m a t i o n s .
T h e i n t e g r a l ( 6 . 3 ) d i v e r g e s a n d o n e n e e d s t o u s e a r e g u l a r i z a t i o n . T h e p r o b -
l e m o f d i v e r g e n c e i s a v o i d e d i n t h e s u p e r s t r i n g t h e o r y . T h e f o u r m a s s l e s s
p a r t i c l e s s c a t t e r i n g a m p l i t u d e f o r s u p e r s t r i n g t h e o r y c o n v e r g e s a n d 1 - l o o p
a m p l i t u d e h a s a s i m p l e f o r m
<PT / TT .1 T T , ,1 1.,/J
Mi
T h e r e q u i r e m e n t o f m o d u l a r i n v a r i a n c e o f t h e s t r i n g m e a s u r e dp p e r m i t s
f o r l o w g e n u s t o e x p r e s s t h e m e a s u r e i n t e r m s o f t h e m o d u l a r f o r m s . F o r
g e n u s h = 2 o n e c a n u s e t h e S i e g e l u p p e r h a l f p l a n e H 2 t o d e s c r i b e t h e m o d -
u l i s p a c e M. 2 M o r e p r e c i s e l y , M 2 i s i s o m o r p h i c t o t h e s p a c e H /Sp(4,%.)
2
m o d u l o t h e e q u i v a l e n c e c l a s s o f t h e s p a c e o f d i a g o n a l p e r i o d m a t r i c e s . T h e
m e a s u r e dp o n H 2 s h o u l d h a v e t h e f o r m
dp = | / ( r ) | 2
( d e t l m T)" n^ • 13
( 6 - 4 )
i<i
A h o l o m o r p h i c f u n c t i o n / : Hh —* C i s c a l l e d a g e n u s h m o d u l a r f o r m o f
w e i g h t k i f / s a t i s f i e s
l
f{(Ar + B)(CT + D)- ) 1
= d e t ( t > + D) f(r)
f o r a l l 6 S p ( 2 A , 2 ) . U n d e r m o d u l a r t r a n s f o r m a t i o n s o n e h a s
Hdn, — d e t ( C r + D ) - 3
J T o Y ,
d e t I m T
d e t I m
| d e t ( 0 + D ) P
t h e r e f o r e t h e f u n c t i o n / _ 1
i n ( 5 . 5 ) s h o u l d b e a m o d u l a r f o r m o f w e i g h t
10. T h e r i n g o f g e n u s - t w o m o d u l a r f o r m s is k n o w n . T h e r e e x i s t a u n i q u e
m o d u l a r f o r m t / i 1 0 o f w e i g h t 10 v a n i s h i n g o n t h e d i a g o n a l p e r i o d m a t r i c e s ,
t h e p r o d u c t o v e r e v e n c h a r a c t e r i s t i c s .
p-Adic Quantum Theoriei 287
Thus we have
We see from the previous discussion that the theory of Rjemann surfaces
in particular moduli space and theta functions are used i n string theory. To
develop p-adic string theory one needs a p-adic analog of complex analysis
including the basic principle of analytic continuation. The p-adic field Q p
is totally disconnected so one cannot use to this end the "naive" notion of
analyticity considered in Sec. 2. Nevertheless an appropriate theory was
constructed by Tate and others. It is called rigid analytic geometry.
The main idea is to perform analytic continuation only with respect to
certain admissible open coverings of rigid space. Analytic functions are no
longer considered on all open subsets of such a space; one has to restrict
oneself to admissible open sets which form the so-called Grothendick topol-
ogy. There exists a nontrivial notion of connectedness of such a space. This
rigid analytic approach was used for the uniformization of algebraic curves
and i t is natural to use i t for p-adic strings. We are going to describe shortly
some points from rigid analytic geometry.
Let T„ = K{Zi,... z„) be a ring consisting of power series converging on
n
B n = {(x ...x )
u n £ K : | * i | < l , i = l , , „ ,n}.
space with respect to the quotient norm. One can identify Sp(A) with the
points x in B such that f(x) = 0 for all / G J.
n
[/ = { » € X : j / ( z ) | < | / ( * ) | , » = 1,... n }
4 0
288 p-Adic Anatyeit and Mathematical Pkyiics
The elements of F are called admissible open sets and the elements of
Cov(U) admissible coverings of U.
W i t h a rational domain U one associates the affinoid algebra
A V = A{zi,...z )/(fi
n - zi/o,.. . / „ - z„f )
0 .
rational curve with singularities over K where K denotes the residue field
over K.
To uniformize a complete non singular curve X of genus g > 2 one
uses the Schottky uniformization. A Schottky group T is a subgroup of
PGX(2, K) which is finitely generated, discontinues and has no elements of
finite order. I t has a nice fundamental domain: F = IP—(2j open disks). Let
L be set of limit points for the action of T in P. Then (P—L)/T is an analytic
space and analytically isomorphic to a complete nonsingular and irreducible
curve of genus g. Such curve is called a Mumford curve. For Mumford
curve there exists a nice theory of automorphic forms, the Jacobian variety,
period matrix, non-archimedean Siegel half-space and theta functions. I n
particular one can define the prime form
y&x-yfci V-JM
Xj : \f(x)\ = 1}. However this boundary depends very much on the choice
of / . Using rigid geometry we can define the canonical boundary dXj in
such a way that B C dXf.
A n approach to p-adic string theory based on a p-adic analogue of the
classical string action is not available at the moment. One attempts to use
the 5 i ( 2 , Q )-symmctry of the operator D and consider an action
p
2
{X"{x)~X"{y))
=11F F
\x — y | 2
-dxdy
290 p-Adic Annlyii) and Mathematical Phyaxcs
X V . (/-Analysis ( Q u a n t u m G r o u p s ) a n d p - A d i c A n a l y s i s
3
• I t is known that the cohomology group H (SU {2)} q — C, therefore
there exist a unique linear functional
/ ' ~* °'
:r
2 n
such that / d ( = 0 for £ g T , where T is the module of n-differential
forms. For coordinate ring of SUq(2) one has
j /u wiW2 =
0 m(f)
p-Adic Quantum Theories 291
! ! 2 n
m(/) = ( l - ? ! £ / ( 9 " ) 3 , 0<«<1.
Now we recall that the integral over Q with respect to the Haar measure
p
is
1
9= -
P
i.e.
l
J f(x)d l/pX = j f(\x\ )d* p . m
0 |*|,<1
There is the following generalization of this observation. Let us consider
the operator
\y\,=\A,
I«IP = I
vhere
2. Differential Operators
Let us now consider a relation between differentialoperatorsing-analysis
and in p-adic analysis. In ^-analysis one has the following operator of
differentiation
oo
s v ^ ^ / M W cm
Restricting to rational x in (2.1) and (2.2) we see that the expressions (2.1)
and (2.2) are very similar, in particular, both are non-local operators.
Dj,( )
x + V(\x\ )1>(x) = E#
p
for
2
1+ p+p
Pfcls
p-Adic Quantum Theories 293
has eigenvalues
P P
gn = ["]l/ P = p ." "
1 p ". » € * (3-1)
+ N +
aa - qa+a = q~ , [JV.a] = - a , [iV,o] = a
+
H = aa , H\n >= [n] \n q > . (3.2)
If
1
5 = -
P
one gets the p-adic s p e c t r u m (3.1).
a n
£„,! = P " + V(p'- ), 1= 1 , 2 , 3 , . . . ; n = 0, ± 1 , . . .
P(Si) = 1, (1.1)
294 p-Adic Analysis and Mathematical Physics
Pi{S) 1
= P(C (S)) (1.2)
1
for any Borel set S o n I . The measure Pc is said to be the distribution of
the variable £. The mean o f f , £ ( £ ) is defined by
E(0 = J t(w)dP(u).
n
P(AnB)
P(A|B) =
P{B)
j E{t:\F}dP = J tdp
for an arbitrary B € P .
Conditional probability P{v4|F) with respect to a <r-algebra P is denned
as the special case of conditional expectation, setting £ = XA(W), where
XA(<*>) is the indicator of the set A. Namely, for fixed A the conditional
probability P { . 4 | P } is a F-measurable random variable satisfies the relation
/ P{A\F]dP = P(A n B)
for every B € F
p-Aiie Quant-am Tkeoritt 295
P{A\F} = P{A\F ),
(
_1
where F( = {B : B = £ ( S ) , S - belongs to measurable Bore! sets in E] is
(T-algebra generated by the map £.
Let X be a set and {Y, 23} be a measure space. Random map of a set
X to measure space {Y, 23} is a map £ = £(a:,w) : X X CI —• Y which for
an arbitrary fixed x is a measurable map from {£2, £ } to {Y, 23} that is for
any B e 2}
Below two examples of random maps are considered. The first when
X is a subset (semi-axis) of real line, in this case we write ( instead of x.
This random map is called random process £((). Independent variable ( is
interpreted as time. In the second example X is a space of distributions
7?'(Qp). Here random map reduces to a generalized random field.
Let n be an arbitrary positive integer, x^, k — 1,2,... , n be arbitrary
points from X. Measures P x ...x (B) on 23" of the form
Xl 1 n
1) for any 0 < t i < ( ; < . . . < t„ < t and B € 23 the relations for
conditional probabilities are fulfilled
by the formula
T f(x)=
t I P(t,x,dy)f(y), t > 0.
J
Y
The set T ,t > 0 is a contraction semigroup of operators, that is bounded
t
T,
+i = T,T u t,t>0,
HUH < i , t > o.
p-Adic Quantum Theories 297
J P(t,x,dy)f(y)-f{x)
( Hm Ttf = f, v/eqy),
T C(Y)cC(Y),
t VOO.
and Ve > 0
lim supP{t,x,U {x))
c = 0, (BJ
and hence defines a Markov process which we call the Brownian motion on
the p-adic line.
(2.5)
(ii) / K {x)dx = 1,
t
Kt (x)=(i-1-) ki; 1
i > - e - " - ^ ' - i « r ^ w
' a
1=0
> 0.
y=0
p-Adic Quantum Theories 299
l f l i
/ K (x)dx
t = (A",,A ) = T <FK' U ) = (e-'IffJ,
t A*)
m
= ( e - ^ i : , ^ ) = J 6tM)*~ '% —'1, k-^eo
i% * A V - F{r *> m
• e-' ,|E|
J] = •rp*w#m\ = Kt+v - •
J{</>) = j e x p ( i * ( ? ) ) < f c { » .
Let us take L = V(Q ) as the space of real test functions which was
p
Q;
where a(k) > c > 0 is some function of k. This inner product gives rise to
a Gaussian generalized process. I f we take
n
2
+ m , m > 0
i=l
then by analogy with the Euclidean formulation of quantum field theory one
can call the corresponding Gaussian process the free scalar p-adic quantum
p-Adic Quantum Theories 301
field. This field is invariant under group S0(n,<Qi ). p Another natural choice
of the function a(k) is
2
a(k) = | | t | | + m , ||*|| = m a x | j f c , V
p-adic white noise is obtained i f a(k) = 1. The measure dji can be formally
written in the form
S o O ) = j 4>(x)a{D)<b{x)dx. (3.1)
S(<p) = S (<p) + J
0 V(<b(z))dx
Introduction
302
Bibliography 303
string theory there is no such thing as distances less than the fundamental
length -Jo7 A t distances below -JcP, not just physics as we know it
but local physics altogether has disappeared. There will be no distances,
no times, no energies, no particles, no local signals — only differential
topology, or its string theoretic successor." [232]*
A hypothesis on a possible non-Archimedean p-adic structure of space-
time at the Planck scale was suggested and considered by Volovich [221].
The basic role of rational numbers was stressed and the idea of fluctuating
number fields was suggested [219-221].
p-Adic numbers were introduced in 1899 by K.Hensel. The books by
Koblitz [121], Mahler [138] and Schikhof [186] can serve as an introduction
to p-adic numbers and p-adic analysis. As a background reading on algebra
and number theory one can use Borevich and Shafarevich [37], Kostrikin
[126], Leng [128], Serre [189], Vinogradov [204] and Weil [225],
A possible role of p-adic analysis in mathematical physics in the context
of super analysis and supersymmetry was noted by Vladimirov and Volovich
[211].
An application of ultrametricity in solid state physics was discussed by
Mezard, Parisi, Rammal, Sourlas, Toulouse and Virasoro [157, 178]. The
Parisi matrix [169] describing a hierarchical structure leads naturally to
ultrametricity.
A discussion of a possible role of number theory in physics one can find
in Manin [142, 145], Atiyah [25] and Bott [39].
Comments on references related with p-adic analysis , p-adic quantum
mechanics and strings will be done under discussion of corresponding chap-
ters.
Chapter I
p-Adic analysis is treated in [8, 38, 61, 82, 85, 121, 122, 179, 186].
A homeomorphism (see subsect.1.6) of p-adic numbers Q to some Can-
p
tor subset of the field of real numbers K was constructed by Zelenov [240].
In the presentation of the theory of additive characters we follow the ap-
proach of the Pontryagin book [172]. Gaussian integrals on an arbitrary
locally compact abelian group were considered by Weil [225]. The explicit
calculations for a special case of the field Q were performed by authors
p
* Here \ZcV is the string theory notation for the Planck length.
304 p-Adic Analysis and Mathematical Physics
Chapter I I
introduced by Vladimirov [208]. A reader can find the notions of the spec-
tral theory, used in this chapter, in Reed and Simon [175], Dunford and
Schwartz [60] and Yosida [237].
The non-local operator of fraction differentiation and integration D°
was introduced and investigated by Vladimirov [206] (see also [15, 168,
196, 245]).
The spectral theory of the operator D a > 0, acting in Q has been
p
in subsection 9.5.
Spectral theory of a pscudodiffcrcntial operator of the form a" + V ( i )
on an open-closed set G ( bounded or unbounded) with functions a(()
and V{x) being bounded from below and going to +00 at the infinity has
been constructed in [208], There one can also find an explicit form of the
Bibliography 305
and on the circle S-, ( i f p ^ 2). Here all these results are reproduced, the
case of p = 2 is also considered, and the inversion of the main theorem is
done in the stronger form.
The method of finding of invariant eigenfunctions ^ ( | x | ) of the p-adic
p
is given here for the first time. Further developments of spectral theory of
a
the operator D -f- V ( | i r | ) , a > 0 in Q without a condition at the infinity
p p
Chapter I I I
W(z), U(t)) was suggested by Vladimirov and Volovich [212, 213). This
formalism there appeared as a quantization of p-adic classical mechanics.
Slightly different approaches were considered by Freund and Olson [74],
Alacoque et al. [3] and Meurice [154]. Instead of the dynamical operator
U(t) these approaches use a unitary representation of a non-abelian group
and therefore are restricted by quadratic Hamiltonians. Several ways of
construction of p-adic quantum mechanics were discussed by Parisi [168].
A Lagrangian formalism and Feynman path integral were briefly discussed
in [213] and have been developed by Zelenov [240]. Another approach to
p-adic quantum mechanics based on the probability measures on the space
of distributions was also pointed out in [213]. Quantum mechanics with p-
adic valued functions is also sensible [212]. A general approach to quantum
mechanics with p-adic valued functions based on the theory of Gaussian
distributions was elaborated by Khrennikov [114, 116, 120]. p-Adic Hilbert
spaces are discussed by Bayod [29]. A l l the above-mentioned approaches
are equivalent over real numbers but in the case of p-adic numbers their
equivalence is questionable and only fragmentary information concerning
relations between different approaches is available at the moment. Note
306 p-Adic Analysis and Mathematical Physics
here the sources of most of the material presented in these subsections, and
attempt to direct the reader to additional papers. A nice short introduction
to string theory is the old Scherk review [184]. Excellent reference on string
theory is Green, Schwartz and Witten [92]. Multiloop calculations based on
the path-integral method suggested by Polyakov [173] have been recently
developed into a field of its own, and references on more detailed aspects of
multiloop calculations are [6, 31, 87, 108, 143, 203], Multiloop calculations
are closely related with geometry of complex manifolds [93, 162]. Properties
of moduli space described in subsect. 14.5 are due to Mumford [160, 161]
and Deligne and Mumford [50]. About p-adic Schottky groups and p-adic
uniformization see Manin [141] and Gerritzen and van der Put [85].
Rigid analytic geometry was introduced by Tate [198]. I t is considered
in Gerritzen and van der Put [85], Bosch, Guntzer and Remmert [28] and
Fresnel and van der Put [72]. The theory of p-adic differential equations is
presented in Dwork [61].
Gervais [86] suggested an idea of using p-adic variables to extend con-
formal symmetry to higher-dimensional case.
An approach to p-adic string theory with p-adic valued amplitudes using
the Morita gamma function was suggested by Volovich [221] and Grossman
[95]. By means of Gross-Koblitz formula it leads to string theory on the
Galois fields. The Galois-Veneziano-Jacobi string amplitudes [221] can be
expressed in terms of Frobenius action on the space of etale cohomology.
This approach is connected with the theory of motives and L-functions
[158, 100, 48, 49, 28].
Witten proposed that at short distances there is a phase in which gen-
eral covariance is unbroken. This phase is described by topological quan-
tum field theories which are systems without local, propagating degrees
of freedom. These theories are associated with the cohomology of various
moduli spaces [233, 51]. I t seems it would be a natural next step to con-
sider analogous theories over p-adic and other number fields. Note that
recently methods of quantum field theory proved useful for investigation of
properties of moduli spaces of Riemann surfaces [99, 170, 234, 124].
Section 15, which deals with relations between (-analysis and quantum
groups is mainly taken from [22]. Other connections between them were
pointed out by Macdonald [134] and Freund [78,79]. In the last years there
has been considerable work done on the theory of quantum groups. Some
references are Drinfeld [58], Jimbo [80], Faddeev, Reshetichin and Tach-
tadjan [62], Woronowicz [235] and Manin [144]. The g-deformed oscillator
308 p-Adic Analyaia and Mathematical Physics
309
310 p-Adic Analysis and Mathematical Physics
44. L.Chekhov: A note on multiloop calculus in p-adic string theory. Mod. Phys.
Lett. A 4 , 1151-1158 (1989).
45. L.O.Chekhov, A.D.Mironov and A.Zabrodin: Multiloop calculations in p-adic
string theory and Bruhat-Tits trees 1,11. Preprints ITP-89-41E, 42E (1989);
Mod. Phys. Lett. A 4 , 1127-1235 (1989).
46. G.Christol: Solutious algebriques des equatious differenielles p-adique. Prog.
Math. 38, 51-58 (1983).
47. A.Connes: Non Commutative geometry. Publ. Math. I H E S , 62 (1986).
48. P.Deligne: Hodge Cycles on Abelian Varieties. In: P.Deligne, J.S,Milne,
A.Ogus and Shih Kuang-yen, Hodge Cycles, Motives and Shimura Varieties.
£ect. Notes in Math., No.900, pp.9-100, Springer-Verlag, 1982.
49. P.Deligne: Valeurs de functions L et periodes g'integrales. Proc. Symp. Pure
Math. v . X X X I I I , 313-336, Amer. Math. Soc. Providence, 1979.
50. P.Delinge and D.Mumford: The irreducibility of the space of curves of a given
genus, Publ.I .H.E.S. 36, 1969.
51. R.Dijkgraaf, H.Verlinde and E.Verhnde: Notes on Topological String Theory
and 2D Quantum Gravity. Preprint PUPT-1217, IASSNS-HEP-90/80 (1990).
52. P.A.M.Dirac: The principles of Quantum Mechanics. Oxford: At the Claren-
don Press, 1958.
53. B . G . Dragovic:: Adelic summability of perturbation series. Preprint IF-19/89,
1-15 (1989).
54. B . G . Dragovic, P.H.Frampton and B.V.Urosevic: Classical p-adic space-time.
Mod. Phys. Lett. A 5 , 1521-1528 (1990).
55. B . G . Dragovic: p-Adic perturbation series and adelic summability. Phys. Lett.
2 5 6 B , 392-396 (1991).
56. B.G.Dragovic: On factorial perturbation series. Preprint IF-91-11, 1-8 (1991).
57. B.G.Dragovic: On signature change in p-adic space-times. Mod. Phys. Lett,
A6, 2301-2307 (1991).
58. V.G.Drinfeld: Quantum groups. In: Proc. Intern. Congr. Math., Berkeley,
1986, pp.798-820,
59. B.A.Dubrovin, S.P.Novikov and A.T.Fomenko, Modern Geometry.Moscow:
Nauka, 1979.
60. N.Dunford and J.T.Schwartz: Linear Operators, part 2. Spectral Theory. Self-
adjoint Operators in Hilbert Space. N.Y.-London: Interscience Publishers,
1963.
61. B.M.Dwork: Lectures on p-adic differential equations, N.Y.: Springer-Verlag,
1977.
62. L.D.Faddeev, N.Reshetikhin and L.A.Tachtadjan: Alg. Anal. 1, 129 (1988).
63. G.Faltings: Calculus on arithmetic surfaces. Ann. of Math. 119, 387-424
(1984).
64. G.M.Fichtengolz: Differential and integral Calculus. Vol.3, Gostechizdat, 1949.
65. P.H.Frampton and Y-Okada: The p-adic string N-point function. Phys. Rev.
Lett. 60, 484-488 (1988).
312 p-Adic Analysis and Mathematical Physics
66. P.H.Frampton, Y.Okada and M.R.Ubriaco: On adelic formulas for the p-adic
string. Phys. Lett. B 2 1 3 , 260-264 (1988).
67. P.H.Frampton, Y.Okada and M.R.Ubriaco: New p-adic strings from old dual
models. Phys. Rev. D39, 1152-1156 (1989).
68. P.H.Frampton and Y.Okada: Effective scalar field theory of p-adic string.
Phys. Rev. D37, 3077-3079 (1989).
69. P.H.Frampton and H.Nishino: Theory of p-adic closed strings. Phys. Rev. Lett.
62, 1960-1964 (1989).
70. P.H.Frampton: p-Adic number fields and string tree amplitudes. In: Problems
in high energy physics and field theory. Proc. of the X I workshop, Protvino
1988, Nauka, 1989.
71. P.H.Frampton and I,V.Volovich: Cosmogenesis and primary quantization.
Mod. Phys. Lett. A 4 , 1825-1832 (1990).
72. J.Fresnel and M.van der Put: Geometrie Analytique Rigide et Applicatiions,
Boston: Birkhauser, 1981.
73. P.G.O.Freund and M.Olson: Non-archimedean strings. Phys. Lett. B 1 9 9 , 186¬
190 (1987).
74. P.G.O.Freund and M.Olson: Nucl. Phys. B 2 9 7 , 86-102 (1988).
75. P.G.O.Freund and E.Witten: Adelic string amplitudes. Phys. Lett. B 1 9 9 ,
191-194 (1987).
76. P.G.O.Freund: Real, p-adic and adelic strings. Proceedings of IXth Int.
Congress on Mathematical physics, Swansea, 1988, Adam Hilder, 282-285
(1989).
77. P.G.O.Freund: Scattering on p-adic and on adelic symmetric spaces. Preprint
EFI-90-87, 13-17 (1990).
78. P.G.O.Freund: in Superstrings and Particle Theory, L.Clavelle and B.Harms
eds., World Scientific Publishing, Singapore, 251 (1990).
79. P.G.O.Freund: On the quantum group - p-adic connection. Chicago preprint
(1991).
80. M. Jimbo: A g-difference analogue of U(g) and the Yang-Baxter equation, ieff.
Math. Phys. 10, 63-69 (1985).
81. H.Jacquet and R.P.Langlands: Automorphic Forms on G i ( 2 ) , Lecture Notes
in Mathematics, v.114, Berlin: Springer-Verlag, 1970.
82. I.M.Gelfand, M.I.Graev and I.I.Pjatetskii-Shapiro: Representation Theory
and Automorphic Functions. London: Saunders, 1966.
83. I.M.Gelfand and N.Ya.Vilenkin: Generalized functions, vol.IV, Moscow,
Nauka, 1961
84. L.Gerritzen: p-Adic Siegel halfspace. Groupe Etude Anal. Ultrametrique 3,
J9, 1981/82.
85. L.Gerritzen and M. van der Put: Schottky Groups and Mumford Curves.
Lecture Notes in Mathematics, v.817. Berlin: Springer-Verlag, 1980.
86. J.L.Gervais: p-Adic analyticity and Virasoro algebras for conformal theories
in more than two dimensions. Phys. Lett. B 2 0 1 , 306-310 (1988).
87. S.W. Giddings: Fundamental strings Preprint HUTP-88/A061 (1988).
References 313