WAVE EQUATION WITH THREE-INVERSE
SQUARE POTENTIAL ON R+3
Yehdhih Mohamed Abdelhaye, Badahi Mohamed
and Mohamed Vall Ould Moustapha
**Abstract In this note we give explicit solutions to the wave equation associated to the Schrödinger operator with three-inverse square potential on R+3.
Key words : Three inverse square potential, Cauchy problem, Wave equation, Lauricella hypergeometric functions.**
1 Introduction and statement of results
The wave equation, the heat equation and the Laplace equation are known as three fundamental equations in partial differential equations and occur in many branches of physics, in applied mathematics and in engineering. In this note we give explicit formulas for the solutions of the following Cauchy problem for the wave equation with three-inverse square potential
[TABLE]
with
Δ=∂x2∂2+∂y2∂2+∂z2∂2
is the Laplacien of R3, the three inverse square potential is given by
vν,ν′,ν′′(x,y,z)=x21/4−ν2+y21/4−ν′2+z21/4−ν′′2
where ν,ν′,ν′′ are real parameters.
The Cauchy problem for the wave equation with the inverse square potential in
Euclidean space Rn is extensively studied (Cheeger and Taylor [3])). The bi-inverse square potential has been considered by (Boyer [2])and Ould Moustapha [7].
The case considered most
frequentely is obviously the one where (ν,ν′,ν′′)=(±1/2,±1/2,±1/2), the equation in (W)ν,ν′,ν′′
then turns into the classical wave equation on the Euclidean space
R3 and this equation appears in several branches of mathematics
and physics (Folland [5],p.171).
Now we state the main results of this paper:
Theorem A *For (t,p,p′)∈R+×R∗+3×R∗+3 the
functions:
W(b,b′,b′′)(t,p,p′)=(t2−∣p+p′∣2)1+b+b′+b′′c3(xx′)b(yy′)b′(zz′)b′′FA(3)(1+b+b′+b′′,b,b′,b′′,2b,2b′,2b′′,t2−∣p+p′∣2−4xx′,t2−∣p+p′∣2−4yy′,t2−∣p+p′∣2−4zz′)
with b∈{β,1−β}, b′∈{β′,1−β′}, b′′∈{β′′,1−β′′}
are independent solutions of the wave equation with three-inverse square
potential on IR+3 (a) where β=1/2+ν and β′=1/2+ν′, β′′=1/2+ν′′
and FA(3)(a,b,b′,b′′,c,c′,c′′;w,w′,w′′) is the three
variables triple series FA(3) Lauricella hypergeometric function given by [1],p.114*
[TABLE]
Theorem BThe Cauchy problem for the wave equation with
three-inverse square potential on the IR+3 has the
solutions given by:
[TABLE]
where the kernel W(b,b′,b′′) is as in the Theorem A and the constant c3 is given by
[TABLE]
*with dp′=dx′dy′dz′ is the Lebesgue measure on
R3
2 Wave equation with three-inverse square potential on Euclidean space
R3
**Proof of Theorem A
**In what follows we give a direct proof of the theorem A.
Let a=t2−∣p+p′∣2, t∈R, p,p′∈R∗3 set:
Ωφ(t,p)=(xx′)−β(yy′)−β′(zz′)−β′′a−α×**
[TABLE]
then we have
Ωφ(t,p)={Δ−∂t2∂2+[x2β−a4α(x+x′)]∂x∂+[y2β′−a4α(y+y′)]∂y∂+[z2β′′−a4α(z+z′)]∂z∂−a4αt∂t∂**
[TABLE]
Now set
[TABLE]
we can write:
[TABLE]
[TABLE]
We have:
Ωφ(t,p)=[(∂x∂w)2+(∂y∂w)2+(∂z∂w)2−(∂t∂w)2]∂w2∂2+[(∂x∂w′)2+(∂y∂w′)2+(∂z∂w′)2−(∂t∂w′)2]∂w′2∂2+[(∂x∂w′′)2+(∂y∂w′′)2+(∂z∂w′′)2−(∂t∂w′′)2]∂w′′2∂2+2[∂x∂w∂x∂w′+∂y∂w∂y∂w′+∂z∂w∂z∂w′−∂t∂w∂t∂w′]∂w∂w′∂2+2[∂x∂w∂x∂w′′+∂y∂w∂y∂w′′+∂z∂w∂z∂w′′−∂t∂w∂t∂w′′]∂w∂w′′∂2+2[∂x∂w′∂x∂w′′+∂y∂w′∂y∂w′′+∂z∂w′∂z∂w′′−∂t∂w′∂t∂w′′]∂w′∂w′′∂2+[∂x2∂2w+∂y2∂2w+∂z2∂2w−∂t2∂2w]∂w∂+[∂x2∂2w′+∂y2∂2w′+∂z2∂2w′−∂t2∂2w′]∂w′∂+[∂x2∂2w′′+∂y2∂2w′′+∂z2∂2w′′−∂t2∂2w′′]∂w′′∂+[Ax∂x∂w+Ay∂y∂w+Az∂z∂w−At∂t∂w]∂w∂+[Ax∂x∂w′+Ay∂y∂w′+Az∂z∂w′−At∂t∂w′]∂w′∂+[Ax∂x∂w′′+Ay∂y∂w′′+Az∂z∂w′′−At∂t∂w′′]∂w′′∂+a4α[xβx′+yβ′y′+zβ′′z′]+a4α[α+1+β+β′+β′′]φ(z,z′) (2.6)
where
[TABLE]
We have:
[TABLE]
[TABLE]
[TABLE]
[TABLE]
∂x2∂2w=a4−24xx′a2−16x′2a2−32(x+x′)2xx′a;∂y2∂2w=a4−8yy′a2−32xx′(y+y′)2a;∂z2∂2w=a4−8zz′a2−32xx′(z+z′)2a (2.12)
∂x2∂2w′=a4−8xx′a2−32yy′(x+x′)2a;∂y2∂2w′=a4−24yy′a2−16y′2a2−32(y+y′)2yy′a;∂z2∂2w′=a4−8yy′a2−32azz′(y+y′)2a(2.13)
∂x2∂2w′′=a4−8xx′a2−32zz′(x+x′)2a;∂y2∂2w′′=a4−8yy′a2−32zz′(y+y′)2a;∂z2∂2w′′=a4−24zz′a2−16z′2a2−32(z+z′)2zz′a(2.14)**
[TABLE]
from (2.8)−(2.11) we have
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
from (2.12)−(2.15) we have
[TABLE]
[TABLE]
[TABLE]
from (2.7)−(2.11) we have
[TABLE]
[TABLE]
[TABLE]
To replace in the formula (2.6) using the
formulas (2.16)−(2.27) we get:
Ωφ=wx−2Aα,β(w,w′,w′′)φ+w′y−2Aα,β′(w′,w,w′′)φ+w′′z−2Aα,β′′(w′′,w,w′)φ+
[TABLE]
Take α=−1−β−β′−β′′ we get
Ωφ=0 is equivalent to
[TABLE]
with
Aα,β(w,w′,w′′)φ(w,w′,w′′)=[w(1−w)∂w2∂2−w(w′∂w′∂w∂2+w′′∂w′′∂w∂2)+**
[TABLE]
From the formula (2.29) we have
[TABLE]
[w(1−w)∂w2∂2−w(w′∂w′∂w∂2+w′′∂w′′∂w∂2)+[2β+(−α+β+1)w]∂w∂−β′w′∂w′∂−β′′w′′∂w′′∂+αβ]φ(w,w′,w′′)=0,[w′(1−w′)∂w′2∂2−w′(w∂w∂w′∂2+w′′∂w′′∂w′∂2)+[2β′+(−α+β′+1)w′]∂w′∂−βw∂w∂−β′′w′′∂w′′∂+αβ′]φ(w,w′,w′′)=0,[w′′(1−w′′)∂w′′2∂2−w′′(w′∂w′′∂w′∂2+w∂w′′∂w∂2)+[2β′′+(−α+β′′+1)w′′]∂w′′∂−βw∂w∂−β′w′∂w′∂+αβ′′]φ(w,w′,w′′)=0,
This is an FA(3) three variable Laurichella hypergeometric system and for 2β=1 and
2β′=1 2β′′=1 the system has six independent solutions of the form [4],p.150−151:
FA(3)(−α,β,β′,β′′,2β,2β′,2β′′,w,w′,w′′),
w1−2βFA(3)(−α+1−2β,1−β,β′,β′′,2−2β,2β′,2β′′,w,w′,w′′),
w′1−2β′FA(3)(−α+1−2β′,β,1−β′,β′′,2β,1−2β′,2β′′,w,w′,w′′),
w′′1−2β′′FA(3)(−α+1−2β′′,β,β′,1−β′′,2β,2β′,2−2β′′,w,w′,w′′),
w1−2βw′1−2β′FA(3)(−α+2−2β−2β′,1−β,1−β′,β′′,2−2β,2−2β′,2β′′,w,w′,w′′),
w1−2βw′′1−2β′′FA(3)(−α+2−2β−2β′′,1−β,β′,1−β′′,2−2β,2β′,2−2β′′,w,w′,w′′),
w′1−2βw′′1−2βFA(3)(−α+2−2β′−2β′′,β,1−β′,1−β′′,2β,2−2β′,2−2β′′,w,w′,w′′),
w1−2βw′1−2βw′′1−2βFA(3)(−α+3−2β−2β′−2β′′,1−β,1−β′,1−β′′,2−2β,2−2β′,2−2β′′,w,w′,w′′)
And the proof of the theorem 1.1 is finished.
3 Cauchy problem for the wave equation with the three-inverse square potential on R+3
**Proof of the Theorem B
Lemma 3.1*** Let FA(3) be the Appell hypergeometric function with (h,k,l)∈R3 and a∈R∗
then we have:*
i)
dad[aαFA(3)(−α,β,β′,β′′,2β,2β′,2β′′,h/a,k/a,l/a)]=−αaα−1×**
[TABLE]
ii)
aαΓ(−α)FA(3)(−α,β,β′,β′′,2β,2β′,2β′′,h/a,k/a,l/a)=Γ(β+1/2)Γ(β′+1/2)Γ(β′′+1/2)×**
[TABLE]
[TABLE]
*iii) *
aαΓ(−α)FA(3)(−α,β,β′,β′′γ,γ′,γ′′,h/a,k/a,l/a)∼**
[TABLE]
as a→0.
.
**Proof
**i)
is a consequence of the formulas
aαFA(3)(−α,β,β′,β′′,γ,γ′,γ′′,h/a,k/a,l/a)=
[TABLE]
dad[aαFA(3)](−α,β,β′,β′′,γ,γ′,γ′′,h/a,k/a,l/h)]=−αaα−1×
[TABLE]
dad[aαFA(3)](−α,β,β′,γ,γ′,γ′′,h/a,k/a,l/a)]=−αaα−1×
[TABLE]
To prove ii) we use the formulas([8], p.237)
[TABLE]
where α∈C,β,γ,z∈Rn
[1],p.115
[TABLE]
where
[TABLE]
iii) The Proof of iii) uses ii) and the formula ([8], p.240)
[TABLE]
To finish the proof of the theorem 1.2, we prove the limit conditions in (b):
from iii) of the Lemma 2.1 and the Legendre duplication formula
for the Γ-Euler
function [6],p.3
[TABLE]
we
have For t⟶0 and p,p′∈R+∗3
[TABLE]
The polar coordinates p′=p+rω for t⟶0
[TABLE]
[TABLE]
[TABLE]
set r=st in the expression above
and we see that the limit condition (b) is satisfied and
the proof of the theorem B is finished.