Singular solutions of the $(3+1)-d$ protte problem for the wave equation Текст научной статьи по специальности «Математика»

Математические заметки СВФУ Январь—март, 2015. Том 22, № 1

UDC 517.956

SINGULAR SOLUTIONS OF THE (3 + 1)-D PROTTER PROBLEM FOR THE WAVE EQUATION N. Popivanov, T. Popov, and R. Scherer

Abstract: We study some boundary value problems for the nonhomogeneous wave equation with three space and one time variables. The problems could be viewed as R4 analogs of Darboux problems in R2. In contrast to the planar Darboux problem the four-dimensional version is ill-posed, since its homogeneous adjoint problem has infinitely many classical solutions. Thus, in the framework of the classical solvability the problem is not Fredholm. Alternatively, it is known that for smooth right-hand side functions, there is a uniquely determined generalized solution that may have strong power-type singularity at one boundary point. This singularity is isolated at the vertex of the characteristic light cone and does not propagate along the cone. In this article we give a general existence result and find a priori estimates for singular solutions. A lengthy reference list is appended.

Keywords: wave equation, boundary value problems, generalized solution, singular solutions, propagation of singularities, special functions.

Попиванов Н., Попов Т., ^Церер Р. Сингулярные решения задачи (3 + 1)-D Проттера для волнового уравнения.

Аннотация. Изучаются некоторые краевые задачи для неоднородного волнового уравнения с тремя пространственными и одной временной переменными. Эти задачи можно рассматривать как четырехмерный аналог плоской задачи Дарбу. В отличие от плоской задачи четырехмерная задача оказывается некорректной, поскольку однородная сопряженная к ней задача имеет бесконечно много классических решений. Таким образом, в рамках классической теории изучаемая задача не является фредгольмовой. С другой стороны, известно, что для гладкой правой части существует однозначно определенное обобщенное решение, которое может иметь сильную особенность в граничной точке. Эта особенность будет изолирована в вершине характеристического светового конуса и не будет распространяться вдоль конуса. В работе доказывается общий результат о существовании, существование сингулярних решений и для них устанавливаются априорные оценки. Прилагается обширная библиография.

Ключевые слова: волновое уравнение, краевая задача, обобщенное решение, сингулярное решение, распространение сингулярности, специальные функции.

1. Introduction

We study some boundary value problems for the wave equation in R4 that were proposed by Murrey Protter in the 1950s. Consider the wave equation with three space and one time variables

ux\x\ + UX2X2 + UX3X3 Utt f (x> (1)

The research of N. Popivanov and T. Popov was partially supported by the Bulgarian NSF Under Grant DCVP 02/1/2009 "Centre of Excellence on Supercomputer Applications" and by Sofia University Grants 94/2014 and 142/2015.

© 2015 Popivanov N., Popov T., and Scherer R.

for (x, t) = (xi,x2,x3,t) G R4 in the domain

il = {(x, t) : 0 < t < 1/2, t < ^x\+xl+x% < 1 - t}. This domain is bounded by the two characteristic cones

El = {(x, t) : 0 < t < 1/2, ^Jxl+xl+xl = 1 - t}, S2 = {(x, t) : 0 < t < 1/2, ^x\+xl+xl = t}

and the ball

E0 = {t = 0, ^x\+xl+xl < 1},

centered at the origin O; i.e., x = 0 and t = 0. The right-hand side function f of (1) satisfies some smoothness conditions in £2 that will be fixed later. We will study the following BVPs:

Problem P1. Find a solution of (1) in £ satisfying the boundary conditions P1: u|Eo =0, u|Sl =0.

Problem P1*. Find a solution of (1) in £ satisfying the adjoint boundary conditions

P1* : u|Eo =0, u|E2 =0.

In this paper we give a general existence result and discuss the behavior of the generalized solution of Problem P1.

First, we present a brief historical overview here and provide an extensive list of references. Protter arrived at these problems while examining BVPs for mixed type equations which describe transonic flows in fluid dynamics. In particular, the classical two-dimensional Guderley-Morawetz problem for the Gellerstedt equation of hyperbolic-elliptic type which models flows around airfoils. The Guderley-Morawetz problem is well studied in the 1950s—see the surveys for the 2-D mixed type BVPs and the transonic models by Morawetz [1,2]. For example, the existence of weak solutions and the uniqueness of strong solutions were proved by Morawetz [3], while Lax and Phillips [4] showed that the weak solutions are strong. In 1954 Protter [5, 6] formulated for 3D mixed-type equations (with two space and one time variables) some multidimensional analogs of the planar Guderley-Morawetz problem. The assumption was that the methods used to attack the 2D case could be applied for the multi-dimensional problems. However, the multi-dimensional case turns out to be rather different and the situation there is still unclear. Although, the uniqueness of the so-called quasiregular solutions is proved by Aziz and Schneider in [7], there are no general existence results for the Protter mixed-type problems. Even the question of well-posedness is not resolved completely.

As regards the results for existence or nonexistence of nontrivial solutions of related quasilinear problems of mixed hyperbolic-elliptic type in the multidimensional case, see [8, 9]. About results on BVPs for the multidimensional mixed-type Lavrent'ev-Bitsadze equation, see [10,11].

In relation to the mixed-type problems, Protter also formulated and studied in [6] some BVPs in the hyperbolic part of the domain both for degenerated hyperbolic equations and for the wave equation—the 3D variants of Problems P1 and P1*. Later Paul Garabedian [12] gave the statement of such problems in R4 and proved the uniqueness of the classical solutions of Problem P1. Problems P1 and P1* in £ could be considered as four-dimensional analogs of the planar Darboux problems (or the Cauchy-Goursat problems) for the string equations in a characteristic triangle. Initially, the expectation was that such multidimensional BVPs are classically solvable for very smooth right-hand side functions. Contrary to this traditional belief, soon it became clear that unlike the planar Darboux problem, the Protter problems are ill-posed. In fact, the homogeneous adjoint problem P1* has smooth classical solutions and the linear space they span is infinite-dimensional. Thus, in the frame of the classical solvability the Protter problem P1 is not Fredholm, since it has infinite-dimensional cokernel. Alternatively, the notion of generalized solution that may have singularity on S2 was introduced in [28]. In fact, it is known that the generalized solution has singularity isolated at only one point—the origin O. The point O lies both on the characteristic part of the boundary S2 and on the noncharacteristic part So, and this case is different from the standard propagation of singularities (see Hormander [13, Chapter 24.5]). A short survey and comparison of various recent results for Protter problems are in [14,15]. In [16] the semi-Fredholm solvability of Problem P1 is discussed. According to the classical and singular solutions let us mention here some results of Serik Aldashev in [10,11,17,18] and a series of papers of Khe Kan Cher [19-22] and also the joint papers with his co-authors [23, 24].

Results for the wave equation but with lower order terms could be found in [25,26]. Regarding results for degenerated hyperbolic equations we refer to [18, 27, 28], and for equations of Keldysh type—to [29]. Some other multidimensional analogs of the classical Darboux problem are considered in [30-33].

In the present article we give sufficient conditions on the right-hand function f for the existence of a generalized solution of Problem P1 and discuss its exact behavior. On the one hand, we need a priori estimates away from the origin to ensure the existence of the solution (like in Theorems 1 and 2). On the other hand, our goal is to study singularity near O. We find upper estimates for the growth the generalized solution at O in Theorem 2 and Corollary 1, and a lower estimate is given in Theorem 3.

2. Classical and Generalized Solutions

In order to construct the solutions of the homogeneous adjoint problem P1* we need in R3 the orthonormal system of the spherical functions (n £ N U {0}, and m = 1,..., 2n + 1). They are defined usually on the unit sphere S2 := {(xi, x2, X3) : x\ + x2 + x2 = 1} in spherical polar coordinates (see [34]). Expressed in Cartesian coordinates here, we can define them by

dk

Y2k(x1,x2,x3) = Cn,k—-¿Pn(x3) Im{(xi + ix2)k}, for k=l,...,n; (2) dx3

dk

Y2k+1{x1,x2,xz) =CnM-^Pn{xz)Ke{{x1+ix2)k}, for k = 0,...,n,

where Cn,k are constants and Pn are the Legendre polynomials. The Legendre polynomials are defined by the Rodrigues formula as

1 dn 12 J_

k=0

with the coefficients

(2n - 2k)!

an,2k — (-1)

2nk!(n - k)!(n - 2k)!'

The constants Cn,m are such that Yj" form a complete orthonormal system in L2(S2) (see [34]). For convenience in the discussions that follow, we extend the spherical functions beyond S2 radially, keeping the same notation Y"a for the extended functions, i.e., Yj"(x) := Yjm(x/\x\) for x G R3\O.

Let us define, for k G N U {0}, the functions

€

At + n),

n

Then Lemma 1.1 and Lemma 2.3 from [35] give the following solutions of the homogeneous adjoint problem.

Lemma 1 [35]. The functions vlmM =

are classical solutions from C°°(£2) fl C(£2) of the homogeneous problem PI* for n G N, m =1,..., 2n +1 and k = 0,1,..., [(n - 1)/2] - 2.

Actually, the functions vjj? m here are practically the same as the solutions from [35, Lemma 1.1]. On the other hand, [16, Theorem 1] suggests that there are no other linearly independent nontrivial classical solutions of the homogenous adjoint Problem P1*. Solutions for the homogenous adjoint problem were first found by Tong Kwang-Chang [39]. Some different representations of the solutions of the homogeneous problem P1* and the functions vj m are given by Khe Kan Cher [22].

Naturally, a necessary condition for the existence of a classical solution for Problem P1 is the orthogonality of the right-hand side function f to all vj m (x,t). To avoid infinitely many necessary conditions in the framework of the classical solvability, we introduce generalized solutions for Problem P1, eventually with singularity at the origin O.

Definition 1 [36]. A function u = u(x,t) is called a generalized solution of Problem P1 in £2, if the following are satisfied:

1)u£ CHnXO), u\So\0 = 0,u|Sl = 0, and

2) we have

J(utwt - uXl wXl - uX2wX2 - uX3wX3 - fw) dxdt = 0 (3)

n

for all w £ C1(il) such that w = 0 on So and a neighborhood of £2.

Here we find some appropriate conditions for f under which there exists a generalized solution of Problem P1.

3. Existence of a Generalized Solution

The spherical functions form a complete orthonormal system in L2(S2), and

generally, each smooth function f (x, t) can be expanded as a harmonic series

f (x,t)

with the Fourier coefficients

fm(r,t):

oo 2n+1

EEfm(ixi,i)YT (x)

n=0 m=1

f (x,i)Y„m(x)

(4)

(5)

S(r)

where S(r) is the three-dimensional sphere in x = (xi,x2,x3) variables; i.e., S(r) := {x G R3 : |x| = r}. In the previous paper [36], the Protter problem was studied in the special case when the right hand side function is a finite Fourier sum, while in [16] for the general case / G C1(il) the necessary and sufficient conditions for the existence of bounded solutions were found. In fact, the behavior of the generalized solution depends strongly on the inner product (with respect to the L2(Q) inner product) of the right-hand side function f (x, t) with the functions vk m (x, t) from Lemma 1. Thus, let us denote by ^m the parameters

ßk,m := y < m(x,t)f (x,t) dxdt,

(6)

n

i-i 1

where n = 0,..., l, k = 0,..., [^rr-] anc^ «1 = 1,■■■,271+1.

Theorem 1 [16]. Let /(x, t) belong to C10(S1). Then the necessary and sufficient conditions for existence of a bounded generalized solution u(x, t) ofProtter's Problem P1 are

J v! m(x,t)f (x,t) dxdt = 0, (7)

fi

foraJJnGN, k = {),..., m= l,...,2n+l.

Moreover, this generalized solution u(x,t) G C1(£l\0) and satisfies the a priori estimates

\u(x,t)\<C\\f\\cwm,

EK.(x,t)| + |ut(x,t)| < C(|x|2 + t2)

21

lc10(fi)

(8) (9)

i=1

where C is a constant independent of f (x,t).

We turn now to investigation of the singular solution of Problem P1. In order to formulate a general existence result, let us introduce, for p G R and k £ N, the series

llf ; Ck|| := and the power series

IfoMx^lUn) +£ k=1

2n+1

E

m= 1

fm(ixi,i)YT(x)

Ck( n)

$(s) :=

k=1

r2n+1 [n/2]

EE

L m=1 k=0

ß

n I

k,m

Obviously, ||f; npi; Ckl || > ||f; np2; Ck21| for p1 > p2 and k1 > k2. Now we can formulate the main result in the present paper.

n

s

Theorem 2. Let f(x,t) belong to C1(il). Suppose that the series ||/;n6;C°|| and ||f; n4; C 1|| are convergent and the power series $(s) has an infinite radius of convergence. Then there exists a unique generalized solution u{x,t) €= C1(il\0) of Protter's Problem PI and it satisfies in fl\0 the a priori estimates

ju(x,t)j < c

$

Ci

+ |xj-iN/; n4; c0'

ju(x,t)j < C

$

jxj + t

3

^Iux,(x,t)j + jut(x,t)j < Cjxj

jxj +1,

C

01 1 +||/;n6;C°|| + ||/;n4;C1| " ' C2

i=1

$

jxj +1

+ 11/; n6; C0'

where C, C1, and C2 are constants independent of f (x, t).

In these estimates, the singularity of the generalized solution at O is controlled by the function $(s), while ||f; np; Ck || bounds the "regular part" of u(x,t).

Let us compare the situation here for the (3+1)-D case (three space and one time dimensions) with the results of [37] for (2+1)-D Protter Problems. According to Theorem 5.3 of [37], the sufficient condition for existence of generalized solution is the convergence of the series

(10)

where / are the Fourier coefficients °f the right-hand side which could be viewed as the analogs of the functions /m given by (5). The function 10 is the modified Bessel function of the first kind:

1o(s) :=]T

1

k=0

(k!)

s

2 I 2

2k

Notice that we have the estimate

I0(s) < es for s > 0.

Using the exponential function in (10) instead of Io, we then get the following result somewhat weaker than [37, Theorem 5.3]. Suppose that the power series

*i(s) :=£ (P^Un) + P^P — )n-1sj

\C0(Q,)>

converges for all s. Then for the singularity of the unique generalized solution u(x, t) for the (2+1)-D Protter Problem, near the origin we have the estimate

" 2 ' "

ju(x,t)j < C$i

exp

(11)

Here, in the (3+1)-D case, note that from the definition of vjm in Lemma 1 it follows that

Km (x^KjYmWK Cin1/2

and so

ftJ < C2n1/2llf

m I

n llc0(fi) •

Then, to compare with [37, Theorem 5.3] and (11), we can formulate the next result that ensues from Theorem 2.

n=1

x

Corollary 1. Let f(x,t) belong to C1(il). Suppose that the series ||/;n6;C°|| and ||/; n4; C1! are convergent and the power series

œ [- 2n+1

$*(s):=E Elf

n=1 L m=1

m M

n llc0(fi)

has an infinite radius of convergence. Then the unique generalized solution t) G C1(il\0) of Protter's Problem PI satisfies near the origin the estimate

|u(x,t)| < C$2

Co

|x| + t

(12)

where C and Co are constants independent of f (x,t).

n

s

4. Construction of Singular Solutions

In the special case when the right-hand side function / is a harmonic polynomial, the exact asymptotic formula for the generalized solution at O is found in [36]. It shows that the solution can have only power type singularity. However, in the general case f(x,t) £ C1(il) some stronger singularities are also possible. Actually, in [38] the existence of generalized solutions with at least exponential growth at the origin is announced. The next theorem could be used to construct other singular solutions.

Theorem 3. Let f(x,t) belong to C1(il), while the series ||/;n6;C°|| and ||/; n4; C 1| are convergent, and the power series $(s) has an infinite radius of

convergence. Let the numbers ap > 0, p = 0,1, 2,..., be such that the series

^

^(s) := E aPsP p=0

converges for all s £ R. Suppose that there is x* = (x1, x?j) £ R3 such that

TO 2p+4k+1

E E pa2kYpm+2k(x*) > ap. (13)

k=0 m=1

Then there exist a number S £ (0,1/2) that the unique generalized solution u(x, t) of Problem P1 satisfies the estimate

\u(tx\,txl,txl,t)\>^{j^

for t £ (0, S).

Remark. We can find a right-hand side f(x,t) £ C1(il) by choosing suitable Fourier coefficients /m(r, t) "small enough" so that the required series ||/; np4; Ck|| and $(s) be convergent. At the same time, selecting the functions /m that satisfy (13) with larger constants ap will produce solutions with a stronger singularity. In accordance with the result from [38], it is possible to obtain an appropriate function / with constants ap = (p!)-1 for all p, and so the corresponding solution has exponential growth at O.

ЛИТЕРАТУРА

1. Morawetz C. S. The mathematical approach to the sonic barrier // Bull. Am. Math. Soc., New Ser. 1982. V. 6. P. 127-145.

2. Morawetz C. S. Mixed equations and transonic flow, // J. Hyperbolic Differ. Equ. 2004. V. 1, N 1. P. 1-26.

3. Morawetz C. S. A week solution for a system of equations of elliptic-hyperbolic type // Comm. Pure Appl. Math. 1958. V. 11. P. 315-331.

4. Lax P. D. and Phillips R. Local boundary conditions for dissipative symmetric linear differential operators // Comm. Pure Appl. Math. 1960. V. 13. P. 427-455.

5. Protter M. H. A boundary value problem for the wave equation and mean value problems // Ann. Math. Stud. 1954. V. 33. P. 247-257.

6. Protter M. H. New boundary value problems for the wave equation and equations of mixed type // J. Rat. Mech. Anal. 1954. V. 3. P. 435-446.

7. Aziz A. K. and Schneider M. Frankl-Morawetz problems in R3 // SIAM J. Math. Anal. 1979. V. 10. P. 913-921.

8. Lupo D., Payne K., and Popivanov N. Nonexistence of nontrivial solutions for supercritical equations of mixed elliptic-hyperbolic type // Contributions to Nonlinear Analysis. Basel: Birkhauser, 2006. P. pp. 371-390 (Progr. Non-Linear Differ. Equ. Their Appl.; V. 66).

9. Lupo D., Payne K., and Popivanov N. On the degenerate hyperbolic Goursat problem for linear and nonlinear equations of Tricomi type // Nonlinear Anal. 2014. V. 108. P. 29-56.

10. Aldashev S. A. Problem of Tricomi for the many-dimensional Lavrent'ev-Bitsadze equation // Ukr. Math. J. 1991. V. 43. P. 526-530.

11. Aldashev S. A. Eigenvalues and eigenfunctions of the Gellerstedt problem for the multidimensional Lavrent'ev-Bitsadze equation // Ukr. Math. J. 2011. V. 63, N 86. P. 962-968.

12. Garabedian P. R. Partial differential equations with more than two variables in the complex domain // J. Math. Mech. 1960. V. 9. P. 241-271.

13. Hormander L. The Analysis of Linear Partial Differential Operators. III. Berlin; Heidelberg; New York; Tokyo: Springer-Verlag, 1985.

14. Dechevsky L., Popivanov N., and Popov T., Exact asymptotic expansion of singular solutions for (2+ 1)-D Protter problem // Abstract Appl. Anal. ID 278542. 2012. V. 2012.

15. Popivanov N., Popov T., and Tesdall A. Semi-Fredholm solvability in the framework of singular solutions for (3+1)-D Protter-Morawetz problem // Abstract Appl. Anal. ID 260287. 2014. P. 1-19.

16. Popivanov N., Popov T., and Scherer R. Protter-Moravetz multidimensional problems, International Conference on Differential Equations and Dynamical Systems // Proc. Steklov Inst. Math. 2012. V. 278, N 1. P. 179-198.

17. Aldashev S. A. Correctness of multi-dimensional Darboux problems for the wave equation // Ukr. Math. J. 1993. V. 45, N 9. P. 1456-1464.

18. Aldashev S. A. A criterion for the existence of eigenfunctions of the Darboux-Protter spectral problem for degenerating multidimensional hyperbolic equation // Differ. Equ. 2005. V. 41, N 6. P. 833-839.

19. Khe K. Ch. Nonuniqueness of solutions of the Darboux problem // Sib. Math. J. 1985. V. 26. P. 286-288.

20. Khe K. Ch. An estimate of the solution of Darboux-Protter problems for the two-dimensional wave equation // Soviet Math. Dokl. 1991. V. 43. P. 887-891.

21. Khe K. Ch. Darboux-Protter problems for the multidimensional wave equation in the class of unbounded functions // Mat. Zamet. YAGU. 1995. V. 2. P. 105-109.

22. Khe K. Ch. Nontrivial solutions of some homogeneous boundary value problems for a many-dimensional hyperbolic Euler-Poisson-Darboux equation in an unbounded domain // Differ. Equ. 1998. V. 34, N 1. P. 139-142.

23. Jong D. J., Khe K. Ch., Ji H. P., Yong H. J., and Jong B. Ch. Protter's conjugate boundary value problems for the two dimensional wave equation //J. Korean. Math. Soc. 1996. V. 33. P. 857-863.

24. Jong B. Ch., and Jong Y. P. On the conjugate Darboux-Protter problems for the two dimensional wave equations in the special case // J. Korean Math. Soc. 2002. V. 39, N 5. P. 681-692.

25. Grammatikopoulos M. K., Hristov T. D., and Popivanov N. I. Singular solutions to Protter's problem for the 3-D wave equation involving lower order terms // Electron. J. Diff. Equ. 2003.

V. 2003, N 03. P. 1-31 (http://ejde.math.swt.edu/volumes/2003/03/).

26. Nikolov A. and Popivanov N. Exact behavior of singular solutions to Protter's problem for the (2 + 1)-D wave operator with lower order terms // Electron. J. Diff. Equ. 2012. V. 2012, N 149. P. 1-20.

27. Nikolov A. and Popivanov N. Asymptotic expansion of singular solutions to Protter problem for (2+ 1)-D degenerate wave equation // AIP Conf. Proc. 2013. V. 1570. P. 249-256.

28. Popivanov N. and Schneider M. The Darboux problems in R3 for a class of degenerated hyperbolic equations // J. Math. Anal. Appl. 1993. V. 175. P. 537-579.

29. Hristov T. Singular solutions to Protter problem for Keldysh type equations // AIP Conf. Proc. 2014. V. 1631. P. 255-262.

30. Bitsadze A. V. Some Classes of Partial Differential Equations. New York: Gordon and Breach Sci. Publ., 1988.

31. Bazarbekov Ar. B. and Bazarbekov Ak. B. The Goursat and Darboux problems for the three-dimensional wave equation // Differ. Equations. 2002. V. 38. P. 695-701.

32. Kharibegashvili S. On the solvability of a spatial problem of Darboux type for the wave equation // Georgian Math. J. 1995. V. 2. P. 385-394.

33. Kharibegashvili S. and Midodashvili B. On the solvability of one boundary value problem for one class of semilinear second order hyperbolic systems // J. Math. Anal. Appl. 2013. V. 400, N 2. P. 345-362.

34. Jones M. N. Spherical Harmonics and Tensors for Classical Field Theory. Letchworth: Res. Stud. Press, 1986.

35. Popivanov N. and Popov T. Singular solutions of Protter's problem for the (3 + 1)-D wave equation // Integral Transforms and Special Functions. 2004. V. 15, N 1. P. 73-91.

36. Popivanov N., Popov T., and Scherer R. Asymptotic expansions of singular solutions for (3 + 1)-D Protter problems // J. Math. Anal. Appl. 2007. V. 331. P. 1093-1112.

37. Popivanov N. and Schneider M. On M. H. Protter problems for the wave equation in R3 // J. Math. Anal. Appl. 1995. V. 194. P. 50-77.

38. Popivanov N., Popov T., and Scherer R. Singular solutions with exponential growth to Protter's problems // Sib. Adv. Math. 2013. V. 23, N 3. P. 219-226.

39. Tong K.-Ch. On a boundary-value problem for the wave equation // Sci. Record, New Series. 1957. V. 1, N 1. P. 1-3.

40. Popivanov N. and Popov T. Exact behavior of singularities of Protter's problem for the 3-D wave equation // Inclusion Methods for Nonlinear Problems with Applications in Engineering, Economics and Physics, Computing (J. Herzberger (ed.)) , 2002. V. 16. P. 213-236.

Nedyu Popivanov; Todor Popov Department of Mathematics and Informatics, University of Sofia, 1164 Sofia, Bulgaria

[email protected] ofia.bg; [email protected]

Rudolf Scherer

Institute for Applied and Numerical Mathematics, Karlsruhe Institute of Technology (KIT), 76128 Karlsruhe, Germany [email protected]