The Cauchy problem for hyperbolic operators with variable multiple characteristics
The Cauchy problem for hyperbolic operators with variable multiple characteristics
复制标题
具有可变多重特征的双曲算子的柯西问题
DOI:
10.1090/s0002-9939-1978-0503542-1
复制
发表时间:
1978
期刊:
影响因子:
--
通讯作者:
Kazuhiro Yamamoto
中科院分区:
文献类型:
--
作者:
Kazuhiro Yamamoto
Let P(t, x, D„ Dx) be a hyperbolic differential operator with the principal symbol pm(t, x, t, Q. We assume that Pm is denoted by IÇ_ i(t W&flYi* \) **d <t\ \X'. x,Q + 0iî (i,j) ¥■ (*, m N + k) (k = 1, . .. , s), where tV = 2j_,z«, and t\,(Z, x, Q e C°°Q0, T]X Rn X (R"\0)). Under a generalized condition of E. E. Levi, we shall show that the Cauchy problem Pu = f in [0, T] x R", I>/»|/-o = % U ~ 1» • • • > m ~ 1) is well posed. When m¡ — 1 (J ■ 1.j), our result coincides those of Ohya and Petkov. 1. Statement of the result. We shall consider the following differential operator: P(t,x,D„Dx)= S aa(t,x)Dr*DÏ, \a\<m where (i, jc) E [0, T] X R" (0 < T < oo), Z),a°Z>/ = A"0^",' ■ • • A? and Z), = z'8/3i, Djj. = id/dxj. We assume that <zm00(i, x) = 1 and aa(/, x) belongs to $([0, T] X R"), which consists of all functions having that these arbitrary derivations are bounded in [0, T] X R". Let (t, £) be the covariable of (r, x). Then we define the following symbols: pk(t,x,j,i)= 2 aa(t, x)ra°ia' (/c = 0,...,m). First we shall impose the following assumptions onpm: s m — N+s Pm(t,x,rA)=W(T-XJ)mj IT (t-X,), (A.1) j=\ j=s+\ where mx> m2> • • • > ms, N = 2*_i wy and all functions Xj(t, x, £) (J = 1,. .., m N + s) are real and positively homogeneous of degree 1 with respect to £ and belong to <S([0, T] x Rn x Sn~x) if £ E S"-1. Here 5"1"1 is the unit sphere of R". (A.2) For any couple (i,j) =h (k, m N + k) (k = 1,..., s) we suppose the following: |(\ Xj)(t, x, €)| > C, (r, x, |) E [0, T] X Ä" X S"-\ where C is a positive constant. Throughout this note, the symbols of pseudo-differential operators are elements of <$([0, T] X R" X 5") or $([0, T] X 7T X S"-1) if (t, £) E 5" or Received by the editors May 13, 1977 and, in revised form, August 8, 1977. AMS (MOS) subject classifications (1970). Primary 35L30; Secondary 35L45. © American Mathematical Society 1978 109 License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use 110 KAZUHIRO YAMAMOTO £ G S"1-1. Moreover we use the following notation. For symbols a(t, x, |), b(t, x, £) and A(t, x, t, £), A\T=a = 0 mod b means that there exists a symbol c(t, x, £) such that A(t, x, a(t, x, £), Í) = c(t, x, £)b(t, x, £). For the lower order terms of P we assume the following: (A.3) For any k (k = 1,.. . , s) we can denote P(t, x, D„ Dx) by the following form: mk P=IlQkJ(t,x,Dl,Dx)(Ak(t,x,D„Dx)). (1.1) 1=0 Here Ak is the pseudo-differential operator defined by the symbol t A^f, x, £) and Qkl (1 = 0,..., mk) is a pseudo-differential operator of order m mk, whose principal symbol qkj(t, x, t, £) has the following property: ?M^e0 modXk Xm_N+k. (1.2) Clearly if Xk = Am_Ar+fc, then the above condition (A.3) is that of E. E. Levi. In the final part of this note we denote (A.3) by the condition with respect to pk, when mk = 1 or 2. For a nonnegative integer k and s E R the function space C*([0, T]; HS(R")) consists of functions such that D{u(t) (j = 0, ..., k) exists as an element of Hs_j(R") and is continuous on the topology of Hs_j(R"). We use the following norm: IIKOIIft* = 2 l|£/«(0ll?-y> 7 = 0 where || • \\s_j is the usual norm of Hs_j(R"). Now we can state our theorem. Theorem. Let P(t, x, D„ Dx) be a differential operator of order m. If P satisfies the assumptions (A.l), (A.2) and (A.3), then the Cauchy problem Pu = fin [0, T]X R", D/«|/=,0 = gj(J = 0, . . .,m I) is well posed, i.e., for f 6 C*—+"'+,aft T); Hs-m+mi + x(Rn))andgj E Hs_j+m(R») there exists a unique solution u(t, x) G C*([0, T]; HS(R")) such that ( m-\ IIKOIIU < c 2 llg,IL-,+mi + lll/(0)|IL-m+mi,A_m+mi I 7=0 • illl/tollL-m+m. + U-m+m. + l^l. wAere k > m m, 1, |||/(0)|||J_m+m,>_1 = 0 am/. G [0, T]. This Theorem is the same as those of [3] and [4] when m, = 1 (J = 1,. .., s). Under a different situation, in [1] they consider the Cauchy problem of a triple case. License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use THE CAUCHY PROBLEM FOR HYPERBOLIC OPERATORS 111 2. Reform of the condition (A3). In this section, we state an equivalent condition of (A.3). Taking care of multiplicities of the roots X¡ (j = 1,. . ., s), we can denote pm(t, x, t, £) by (t \„_N+S) ■ ■ -(r-Xs+xWr ■■&,>, where d>„(f, x,t,E)(v = 1, ..., u) is a polynomial of degree s with respect to t and equal to II^.i(t Xj). Here ms¡ + x = • • • — m, (v — 1, . . . , u). Remark that sx < s2 < ■ ■ ■ < s^ = s, mx = 2¡;=1/z„ and denote N„ by svnp. We introduce a product pseudo-differential operator $„(/, x, Dt, Dx) = (Aj • • • A,)(/, x, Dt, Dx). Then we denote Ay(t, x, D„ Dx) of order j (J = 0,..., m) by A, 1, A, A„ ..., A,,..., àN Of• • *?',..., A„+, = A1+t • • • AJ+1A^, . . . , Am = Am_„+i • • • AJ+1AN, where A, = As • • • A,W_j •••$;' if y = (Nx + • • • + N„_x) + os„ + 8 (o = 0,.. ., n, — 1,8 = 0,..., sy_x). Then we have the following: Proposition 2.1. Let P(t, x, D„ Dx) be a differential operator which satisfies the conditions (A.1) and (A.2). Then the condition (A.3) is equivalent to the following statement. We can denote P by 771, P (t, x, D„ Dx ) = 2 Q, ÍU x, D„ Dx )A/((> (2.1) ( = 0 where if i = «M + • • • + w„+1 + o (1 < a < n„), then I(i) = Nx + • • • + iV„ — s„o and Q¡ (i = 0, . . ., m,) is a pseudo-differential operator of order Mi = m — i — I (i) and differential operator of t. Moreover the principal symbol q¡(t, x, t, £) of Q¡ satisfies the following condition: (7,1^=0 mod A* -K-s+k ifk<s„. (2.2) Since any pseudo-differential operator of order / (< m) which is a differential operator of t is represented by A,,, . . . , Am, we have the following: Proposition 2.2. Let P be a differential operator which satisfies the conditions (A.l), (A.2), (2.1) and (2.2). Then P is denoted by 771, M¡ ^=2 2*z,,('>*>¿>,)A/0)+,, (2-3) where R¡j is a pseudo-differential operator of order M¡ — j whose principal symbol is r¡j(t, x, £), end rtJ have the following property: k-\ 2 rtJAj ■ • • A,,,^ 0 mod A* X„,_N+k, k < s„ (2.4) y-o if i = zzM + • • • + rt„+1 + o (1 < a < zz„). 3. Reduction to a first order system and the proof of the Theorem. Since the proof of the Theorem is inferred on the analogy of a simple case, we assume that j = 2, ttz, = 2 and m2 = 1. Thus by (2.3) our considered operator License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use 112 KAZUHIRO YAMAMOTO P(t, x, D„ Dx) in (1.1) is denoted by 2 m — i p(t,x,D„Dx) = Am + '2 2*r'A> í-1 j=0 where Rf"~' is of order m — i — j. The condition (2.4) says that R¿-l(t,x,Dx) = 0, (3.1) ri""1 (/, x, ¿) = r0—2(/, x, |) = 0 mod X, \„_2, (3.2) (ri"-1 + r2—' (X2 Xx))(t, x,^) = 0 mod X2 X„,_x. (3.3) We denote a pseudo-differential operator with the symbol |£| by the term A and define a column vector U ='(Am-3V> Am"3A,«, Am-4A2w, Am-4A3M,...,AAm_2M,Am_lM) (3.4) and F '(0,..., 0,/). Then by (3.1) the equation Pu = / becomes the following first order system: MU = (D, ¿(/, x, DX))U + B(t, x, DX)U = 77, where 5 is of order 0 and A is a first order pseudo-differential operator with the symbol