Mathematische Annalen
|
|
- Jean Morris
- 5 years ago
- Views:
Transcription
1 Math. Ann. Mathematische Annalen Hyperbolic systems with non-diagonalisable principal part and variable multiplicities, I: well-posedness Claudia Garetto Christian Jäh Michael Ruzhansky 2 Received: January 28 / Revised: 8 March 28 The Author(s) 28 Abstract In this paper we analyse the well-posedness of the Cauchy problem for a rather general class of hyperbolic systems with space-time dependent coefficients and with multiple characteristics of variable multiplicity. First, we establish a wellposedness result in anisotropic Sobolev spaces for systems with upper triangular principal part under interesting natural conditions on the orders of lower order terms below the diagonal. Namely, the terms below the diagonal at a distance k to it must be of order k. This setting also allows for the Jordan block structure in the system. Second, we give conditions for the Schur type triangularisation of general systems with variable coefficients for reducing them to the form with an upper triangular principal part for which the first result can be applied. We give explicit details for the appearing Communicated by Y. Giga. Michael Ruzhansky was supported in parts by EPSRC Grant EP/R325/ and by the Leverhulme Grant RPG No new data was collected or generated during the course of research. Inspired by our colleague and friend Todor Gramchev (956 25). B Michael Ruzhansky m.ruzhansky@imperial.ac.uk Claudia Garetto c.garetto@lboro.ac.uk Christian Jäh c.jaeh@lboro.ac.uk Department of Mathematical Sciences, Loughborough University, Loughborough, Leicestershire LE 3TU, UK 2 Department of Mathematics, Imperial College London, 8 Queen s Gate, London SW7 2AZ, UK
2 C. Garetto et al. conditions and constructions for 2 2 and 3 3 systems, complemented by several examples. Mathematics Subject Classification 35L45 (primary) 46E35 (secondary) Contents Introduction... 2 Well-posedness in anisotropic Sobolev spaces Auxiliary remarks The case m = The case m = The general case... 3 Schur decomposition of m m matrices First step or Schur step The triangularisation procedure The case m = The case m = 3... References... Introduction The main aim of this paper is to consider the Cauchy problem for hyperbolic systems { Dt u = A(t, x, D x )u + B(t, x, D x )u + f (t, x), (t, x) [, T ] R n, u t= = u, x R n, () with the usual notation D t = i t and D x = i x. Here, we assume that A(t, x, D x ) = [ a ij (t, x, D x ) ] m is an m m matrix of pseudo-differential operators i, j= of order, i.e. a ij C([, T ],, (Rn )) with possibly complex valued symbols. In the first part of the paper we will also assume that with real-valued symbols in and A(t, x, D x ) = (t, x, D x ) + N(t, x, D x ), (2) (t, x, D x ) = diag(λ (t, x, D x ), λ 2 (t, x, D x ),..., λ m (t, x, D x )), a 2 (t, x, D x ) a 3 (t, x, D x ) a m (t, x, D x ) a 23 (t, x, D x ) a 2m (t, x, D x ) N(t, x, D x ) = a m m (t, x, D x )...
3 Hyperbolic systems with non-diagonalisable... Finally, we assume that B(t, x, D x ) = [ b ij (t, x, D x ) ] m i, j=, b ij C([, T ],, (Rn )), is an m m matrix of pseudo-differential operators of order with possibly complex valued symbols. We can take any n and we can assume that m 2 since in the case m = there are no multiplicities and thus much more is known. It is also well-known that even if all the coefficients in A and B depend only on time, due to multiplicities, the best one can hope for is the well-posedness of the Cauchy problem () in suitable classes of Gevrey spaces. Thus, the main questions that we address in this paper are: (Q) Under what structural conditions on the zero order part B(t, x, D x ) is the Cauchy problem () well-posed in C or, even better, in suitable scales of Sobolev spaces? (Q2) Under what conditions on the general matrix A(t, x, D x ) of first order pseudodifferential operators can we reduce it (microlocally) to another system with A satisfying the upper triangular condition (2)? Note that this paper is part of a wider analysis of hyperbolic systems with multiplicities. Here we investigate the well-posedness of these systems. In the second part of this paper we plan to carry out the microlocal analysis of their solutions. In the case of 2 2 systems the questions above have been analysed with the answer to (Q) given by the following theorem: Theorem A ([27, Theorem 7.2]) Let m = 2. Suppose that the pseudo-differential operator b 2 is of order not greater than. Then the Cauchy problem [() is wellposed in C H s (R. Moreover, it is well-posed in the anisotropic Sobolev space n ] ) H s 2(R n ) provided s 2 s. In that case the solution satisfies the following estimates: ( ) u (t, ) H s + u 2 (t, ) H s+ ce ct u H s + u 2 H s+, t T, s+ j for u j Hcomp the initial data. (R n ),j=, 2, with c > depending on s, T, and the support of The case of systems of general size but for coefficients depending only on t and for n = was also considered. More precisely, in [26] the authors considered the Cauchy problem { Dt u = A(t)D x u + B(t)D x u + f (t, x), (t, x) [, T ] R, u t= =, x R, (3) with A(t) = [ a ij (t) ] m i, j= C([, T ])m m in the form A(t) = (t) + N(t),
4 C. Garetto et al. similar to (2). They showed the following result in the absence of lower order terms and for zero Cauchy data: Theorem B ([26, Proposition ]) Let B(t) and let s R. Then the Cauchy problem (3) is C -well-posed. Moreover, there exist r,, r m [, ] such that for every f C(R,(H s (R)) m ) identically at t = it admits a unique solution u C(R,(S (R)) m ) satisfying u m C(R, H s (R)), u m j C(R, H s r r j (R)), for j =,...,m, and identically at t =. In particular, if λ j (t) = λ k (t), t R, j < k m, no loss of anisotropic regularity appears. The case of (microlocally) diagonalisable systems of any order with fully variable coefficients was considered by Rozenblum [4] under the condition of transversality of the intersecting characteristics. Also allowing the variable multiplicities, this transversality condition was later removed in [32,33] with sharp L p -estimates for solutions, with further applications to the spectral asymptotics of the corresponding elliptic systems. Before stating our main results and collecting some necessary basic notions we give a brief overview of the state of the art for hyperbolic equations and systems. We have a complete understanding of strictly hyperbolic systems, i.e., systems without multiplicities, with C -coefficients. This starts with the groundbreaking work of Lax [35] and Hörmander [28] and heavily relies on the modern theory of Fourier integral operators (FIO). Well-posedness is here obtained in the space of distributions D. There are also well-posedness results for less regular coefficients with respect to t.for instance, well-posedness with loss of derivatives has been obtained by Colombini and Lerner [9] for second order strictly hyperbolic equations with Log-Lipschitz coefficients with respect to t and smooth in x. It is possible to further drop the regularity in t (for instance Hölder), however, this has to be balanced by stronger regularity in x (Gevrey) and leads to more specific (Gevrey) well-posedness results (see [3,3] and references therein). Paradifferential techniques have been recently used for this kind of strictly hyperbolic equations by Colombini et al. [6,7]. The analysis of hyperbolic equations with multiplicities (weakly hyperbolic) has started with the seminal paper by Colombini et al. [5] in the case of coefficients depending only on time. Profound difficulties in such analysis have been exhibited by Colombini et al. [4,8] showing that even the second order wave equation in R with smooth time-dependent propagation speed (but with multiplicity) and smooth Cauchy data need not be well-posed in D. However, they turn out to be well-posed in suitable Gevrey classes or spaces of ultradistributions. In the last decades many results were obtained for weakly hyperbolic equations with t-dependent coefficients ([3,,6,8 2,34], to quote only very few). More recently, advances in the theory of weakly hyperbolic systems with t-dependent coefficients have been obtained for systems of any size in presence of multiplicities with regular or low regular (Hölder) coefficients [6,22,23]. In addition, in [7] precise conditions on the lower order terms (Levi conditions) have been formulated to guarantee Gevrey and ultradistributional well-posedness. Previously very few results were known in the field for systems of a
5 Hyperbolic systems with non-diagonalisable... certain size (2 2, 3 3) [2,3] or of a certain form (for instance without lower order terms or with principal part of a certain form) [44]. Weakly hyperbolic equations with x-dependent coefficients were considered for the first time in the celebrated paper by Bronshtein [2]. As shown already in some earlier works by Ivrii, the corresponding Cauchy problem is well-posed under almost analytic regularity, namely, if the coefficients and initial data are in suitable Gevrey classes. Bronshtein s result was extended to (t, x)-dependent scalar equations by Ohya and Tarama [38] and to systems by Kajitani and Yuzawa [3]. The regularity assumptions are always quite strong with respect to x (Gevrey) and not below Hölder in t. See also [,37]. Geometrical and microlocal analytic approaches are known for equations or systems under specific assumptions on the characteristics and/or lower order terms. See [29,3,33,36,39], to quote only a few. Time-dependent coefficients of low regularity (distributional) have been considered in [2]. In this paper we will be interested in the case of coefficients depending on both t and x and we will make use of the usual definitions of symbol classes. We say that a (possibly) complex valued function a = a(x,ξ) C (R n R n ) belongs to S m, (Rn R n ) if there exist constants C α,β > such that α, β N n : α x β ξ a(x,ξ) C α,β ξ m β (x,ξ) R n R n. The set of pseudo-differential operators associated to the symbols in S, m (Rn R n ) is denoted by, m (Rn R n ). If there is no question about the domain under consideration, we will abbreviate the symbol- and operator-classes by S, m and m,, respectively, or simply by Sm and m. We also denote by C([, T ], S, m (Rn R n )) the space of all symbols a(t, x,ξ) S, m (Rn R n ) which are continuous with respect to t. The set of operators associated to the symbols in C([, T ], S, m (Rn R n )) is denoted by C([, T ],, m (Rn R n )). Again, if there is no question about the domain under consideration, we will abbreviate the symbol- and operator-classes by CS, m and C m,, respectively, or simply by CS m and C m. Let us give our main result concerning the first question (Q) for the systems with the principal part A satisfying the upper triangular condition (2). Here, f k, u k and u k, for k =,...,m, stand for the components of the vectors f, u and u, respectively. Theorem Let n, m 2, and let { Dt u = A(t, x, D x )u + B(t, x, D x )u + f (t, x), (t, x) [, T ] R n, u t= = u (x), x R n, (4) where A(t, x, D x ) (CS ) m m is an upper-triangular matrix of pseudo-differential operators of order in the form (2), and B(t, x, D x ) (CS ) m m isamatrixof pseudo-differential operators of order, continuous with respect to t. Hence, if the lower order terms b ij belong to C([, T ], j i ) for i > j,
6 C. Garetto et al. u k H s+k (R n ) and f k C([, T ], H s+k ) for k =,...,m, then (4) has a unique anisotropic Sobolev solution u, i.e., u k C([, T ], H s+k ) for k =,...,m. Remark As stated earlier, we allow A and B to have complex valued symbols as long as the symbols of in (2), i.e. the eigenvalues of A(t, x,ξ), are real valued. The main condition of Theorem for the Sobolev well-posedness is that the pseudodifferential operator b ij below the diagonal (i.e. for i > j) must be of order j i. In other words, the terms below the diagonal at a distance k to it must be of order k. In solving the Cauchy problem (4) we will make use of Fourier integral operators depending on the parameter t [, T ]. Namely, we will work with operators of the type t R n e iϕ(t,s,x,ξ) a(t, s, x,ξ)ĝ(s,ξ)dξds where ϕ is the solution of a certain eikonal equation and the symbol a is determined via asymptotic expansion and transport equations. In Sect. 2. we will recall some well-known Sobolev estimates for this type of operators. In Sect. 2 we will prove Theorem after we explain its idea in the cases of m = 2 and m = 3. Consequently, in Sect. 3 we give an answer to the second question (Q2) above in the form of a suitable variable coefficients extension of the Schur triangularisation. For constant matrices such a procedure is well known (see e.g. [, Theorem 5.4.]). Theorem C (Schur s triagularisation theorem) Given a (constant) m m matrix A with eigenvalues λ,...,λ m in any prescribed order, there is a unitary m mmatrix T such that R = T AT is upper triangular with the diagonal elements r ii = λ i. Furthermore, if the entries of A and its eigenvalues are all real, T may be chosen to be real orthogonal. It follows that R can be written as D + N, where D = diag(λ,...,λ m ) and N is a nilpotent upper triangular matrix. If the matrix A depends on one or several parameters, namely A = A(t, x,ξ),the situation becomes less clear and it is difficult to give a complete description, in particular together with a prescribed regularity of the involved transformation matrices. The regularity of the matrix A and the desire to maintain it through the transformation puts already constrains on the matrix as, in general, the eigenvalues can only be expected to be Lipschitz continuous in the parameters even if all the entries depend smoothly on the parameters (see, e.g., [2,4] and the references therein). In the sequel, we will present some sufficient conditions to ensure the existence of an upper triangularisation for A(t, x,ξ) which respects its regularity. For example, it will apply to the case when A is a matrix of first order symbols continuous with respect to t, i.e., A(t, x,ξ) ( CS ) m m. Our main result for this part of the problem is the following theorem.
7 Hyperbolic systems with non-diagonalisable... Theorem 2 Let A(t, x,ξ) (CS ) m m,beam m-matrix with eigenvalues λ,...,λ m CS, and let h,...,h m ( CS ) m be the corresponding eigenvectors. Suppose that for e = [,,..., ] T R m i+ the condition h (i) (t, x,ξ) e =, (t, x,ξ) [, T ] R n R n (5) holds for all i =,...,m, with the notation for h (i) explained in (37). Then, there exists a matrix-valued symbol T (t, x,ξ) (CS ) m m, invertible for (t, x,ξ) [, T ] R n { ξ M} with T (t, x,ξ) (CS ) m m, such that T (t, x,ξ)a(t, x,ξ)t (t, x,ξ)= (t, x,ξ)+ N(t, x,ξ) for all (t, x,ξ) [, T ] R n { ξ M}, where (t, x,ξ)= diag(λ (t, x,ξ),λ 2 (t, x,ξ),...,λ m (t, x,ξ)) and N 2 (t, x,ξ) N 3 (t, x,ξ) N m (t, x,ξ) N 23 (t, x,ξ) N 2m (t, x,ξ) N(t, x,ξ)=....,... N m m (t, x,ξ)... and N is a nilpotent matrix with entries in C S. Furthermore, there is an expression for the matrix symbol T which will be given in Theorem 6. Also, the assumption (5) can be relaxed, see Remark 6. In Sect. 3 we will prove this result as well as describe the procedure how to obtain the desired upper triangular form. Moreover, we work out in detail the cases of m = 2 and m = 3 clarifying this Schur triangualisation procedure and give a number of examples. The results and techniques of this paper are a natural outgrowth of the paper [27] where the case m = 2 was considered and to which the results of the present paper reduce in the case of 2 2 systems. It is with great sorrow that we remember the untimely departure of our colleague and friend Todor Gramchev who was the inspiration for both [27] and the present paper. 2 Well-posedness in anisotropic Sobolev spaces This section is devoted to proving the well-posedness of the Cauchy problem (). For the reader s convenience we first give a detailed proof in the cases m = 2 and m = 3. This will inspire us in proving Theorem. We note that the case m = 2 has been studied in [27] and we will briefly review its derivartion. However, first we collect a few results about Fourier integral operators that we will need in the sequel.
8 C. Garetto et al. 2. Auxiliary remarks In solving the Cauchy problem (), we will deal with solutions of certain scalar pseudodifferential equations. For each characteristic λ j of A, we will be denoting by G j θ the solution to { Dt w = λ j (t, x, D x )w + b jj (t, x, D x )w, w(, x) = θ(x), and by G j g the solution to { Dt w = λ j (t, x, D x )w + b jj (t, x, D x )w + g(t, x), w(, x) =. The operators G j and G j can be microlocally represented by Fourier integral operators and G j θ(t, x) = R n e iϕ j (t,x,ξ) a j (t, x,ξ) θ(ξ)dξ (6) G j g(t, x) = t R n e iϕ j (t,s,x,ξ) A j (t, s, x,ξ)ĝ(s,ξ)dξds, with ϕ j (t, s, x,ξ)solving the eikonal equation { t ϕ j = λ j (t, x, x ϕ j ), ϕ j (s, s, x,ξ)= x ξ, and with the notation ϕ j (t, x,ξ)= ϕ j (t,, x,ξ). Here we also have the amplitudes A j, k (t, s, x,ξ)of order k, k N,givingA j k= A j, k, and they satisfy the transport equations with initial data at t = s, and we have a j (t, x,ξ)= A j (t,, x,ξ). If a j S m, i.e. if the amplitude a j in (6) is a symbol of order m, we will write G j I, m. However, in the above construction of propagators for hyperbolic equations, we have a j S, so that G j I,. By I, m, we denote the class of Fourier integral operators with amplitudes in Sm,. For further information, the reader may consult [5,42,43] and the references therein. With that, we can record the following estimate:
9 Hyperbolic systems with non-diagonalisable... Lemma For any σ R, for sufficiently small t, we have G j θ(t) H σ C A,σ,u θ H σ, G j g(t) H σ C A,σ t g L s H σ x. This statement follows from the continuity of λ j,ϕ j, a j, A j with respect to t and from the H σ -boundedness of non-degenerate Fourier integral operators, see e.g. [5] (there are also surveys on such questions [42,43]). It is important to note that the constant for the estimate for G j does not depend on the initial data of the Cauchy problem; see also Remark The case m = 2 To motivate the higher order cases, here we review the construction for 2 2systems adapting it for the subsequent higher order arguments. Hence, in this subsection we follow the proof in [27]. Thus, we consider the system { Dt u = A(t, x, D x )u + B(t, x, D x )u + f (t, x), (t, x) [, T ] R n, u t= = u, x R n, (7) where u (x) = [ u (x), u 2 (x)] T, f (t, x) = [ f (t, x), f 2 (t, x) ] T, and with the operators A(t, x, D x ) and B(t, x, D x ) given by A(t, x, D x ) = [ ] λ (t, x, D x ) a 2 (t, x, D x ) λ 2 (t, x, D x ) (8) and B(t, x, D x ) = [ ] b (t, x, D x ) b 2 (t, x, D x ). b 2 (t, x, D x ) b 22 (t, x, D x ) We suppose that all entries of A(t, x, D x ) belong to C, and all entries of B(t, x, D x) belong to C,. By using the operators G j and G j introduced in Sect. 2., we can reformulate the Eq. (7) as where Plugging () in(9), we obtain u = U + G ((a 2 + b 2 )u 2 ), (9) u 2 = U2 + G 2(b 2 u ), () U j = G j u j + G j( f j ), j =, 2. () u = Ũ + G (a 2 G 2 (b 2 u )) + G (b 2 G 2 (b 2 u )), (2)
10 C. Garetto et al. where Ũ = G u + G ( f ) + G ((a 2 + b 2 )U2 ). (3) Using the rules of composition of Fourier integral operators, see e.g. [5], and by Lemma, we get that the operator G a 2 G 2 b 2 in (2) acts continuously on H s if it is of order. Since a 2 C, we therefore need to assume that b 2 C,. The operator G b 2 G 2 b 2 belongs to CI, since b 2 C, and b 2 C,. We now introduce the following scale of Banach spaces X s (t) := C([, t], H s ), t [, T ], equipped with the norm Let u X s (t) = sup u(τ, ) H s. τ [,t] G u := G (a 2 G 2 (b 2 u )) + G (b 2 G 2 (b 2 u )). It follows that (2) can be written as u = Ũ + G u. By composition of Fourier integral operators and Lemma we have that the -order Fourier integral operator G maps C([, T ], H s ) continuously into itself and for small time interval it is a contraction, in the sense that there exists T [, T ] such that G (u v) X s (T ) C A,s T u v X s (T ), with C A,s T <. Banach s fixed point theorem ensures the existence of a unique fixed point u for the map G. Hence, by assuming that the initial data Ũ belongs to C([, T ], H s ) we conclude that there exists a unique u C([, T ], H s ) solving (2). Note that the same argument proves that the operator I G is invertible on a sufficiently small interval in t since G = I at t =. From formula (3) it is clear that in order to get Ũ to belong to C([, T ], H s ) we need to assume that U2 H s+. Finally, we get u 2 by substitution of u in (). Remark 2 Note that the constant T depends only on A and s. Thus, the argument above can be iterated by taking u(t, x) as new initial data. In this way one can cover an arbitrary finite interval [, T ] and obtain a solution in C([, T ], H s ) C([, T ], H s+ ). Remark 3 Since a 2 (t, x, D x ) is a first order operator combining () with (3) we easily see that in order to get Sobolev well-posedness of order s we need to take initial data u and u 2 in H s and H s+, respectively, and right hand-side functions f and f 2 in C([, T ], H s ) and C([, T ], H s+ ), respectively.
11 Hyperbolic systems with non-diagonalisable... We have therefore proved the following theorem stated for the first time in [27, Theorem 7.2]. Theorem 3 Consider the Cauchy problem (7), with the 2 2 matrices A(t, x, D x ) (CS ) 2 2 and B(t, x, D x ) (CS ) 2 2, where A is of the form (2). Assume that b 2 C([, T ],, ), the right hand-side functions f and f 2 belong to C([, T ], H s ) and C([, T ], H s+ ), respectively, and the initial data u and u 2 belong to H s and H s+, respectively. Then, (7) has a unique solution in C([, T ], H s ) C([, T ], H s+ ). More generally it is well-posed in the anisotropic Sobolev space C([, T ], H s ) C([, T ], H s 2), provided s 2 s =. Remark 4 It was also shown in [27] that the solution u satisfies the estimate ( ) u (t, ) H s + u 2 (t, ) H s+ ce ct u H s + u 2 H s+, t T, s+ j for u j Hcomp, j =, 2 with c > depending on s, T, and the support of the initial data. Since well-posedness is obtained for any Sobolev order s it follows that the Cauchy problem (7) isalsoc well-posed. 2.3 The case m = 3 In this section we will extend the construction to the case of 3 3 systems. In the argument there is an additional substitution and a fixed point argument step compared to the case m = 2. The advantage of giving the case of m = 3 here is that we can make the argument more concrete compared to the more abstract construction in the general case that will be given in the following section. Thus, let { Dt u = A(t, x, D x )u + B(t, x, D x )u + f (t, x), (t, x) [, T ] R n, u t= = u, x R n, (4) where u (x) = [ u (x), u 2 (x), u 3 (x)] T [, f (t, x) = f (t, x), f 2 (t, x), f 3 (t, x) ] T, A(t, x, D x ) is defined by the matrix λ (t, x, D x ) a 2 (t, x, D x ) a 3 (t, x, D x ) λ 2 (t, x, D x ) a 23 (t, x, D x ), (5) λ 3 (t, x, D x ) and b (t, x, D x ) b 2 (t, x, D x ) b 3 (t, x, D x ) B(t, x, D x ) = b 2 (t, x, D x ) b 22 (t, x, D x ) b 23 (t, x, D x ). b 3 (t, x, D x ) b 32 (t, x, D x ) b 33 (t, x, D x )
12 C. Garetto et al. We assume that all the entries of A(t, x, D x ) and B(t, x,ξ) belong to C, and C,, respectively. Using the notations introduced earlier, we can write u 3 (t, x) = U3 + G 3(b 3 u ) + G 3 (b 32 u 2 ), u 2 (t, x) = U2 + G 2((a 23 + b 23 )u 3 ) + G 2 (b 2 u ), u (t, x) = U + G ((a 2 + b 2 )u 2 ) + G ((a 3 + b 3 )u 3 ), (6) where U j (t, x) = G j (u j ) + G j( f j ), j =, 2, 3. (7) Now, we plug u 3 into u and u 2 in formula (6) and, thus, obtain u 2 (t, x) = Ũ2 + G 2(b 2 u ) + G 2 ((a 23 + b 23 )G 3 (b 3 u )) + G 2 ((a 23 + b 23 )G 3 (b 32 u 2 )), u (t, x) = Ũ + G ((a 3 + b 3 )G 3 (b 3 u )) + G ((a 3 + b 3 )G 3 (b 32 u 2 )) + G ((a 2 + b 2 )u 2 ), (8) where Ũ j = U j + G j ((a j3 + b j3 )(t, x, D x )U3 ), j =, 2. We introduce the operator G2 by setting G 2 u 2 := G 2 ((a 23 + b 23 )G 3 (b 32 u 2 )) (9) and in analogy with the case m = 2 we define L 2 u 2 := u 2 G 2 u 2. By Lemma we have that for any s, G 2 has the operator norm in H s strictly less than on a sufficiently small interval [, T ],sol 2 is a perturbation of the identity operator. By the Neumann series it follows that L 2 is invertible as a continuous operator from C([, T ], H s ) to C([, T ], H s ). Noting now that u 2 G 2 u 2 = L 2 u 2 = Ũ 2 + G 2(b 2 u ) + G 2 ((a 23 + b 23 )G 3 (b 3 u )), we have that u 2 (t, x) = L 2 Ũ 2 + L 2 G 2((a 23 + b 23 )G 3 (b 3 u )) + L 2 G 2(b 2 u ).
13 Hyperbolic systems with non-diagonalisable... Since this expression depends only on u, we can plug it into the formula for u in (8) and obtain u (t, x) = Ũ + G ((a 3 + b 3 )G 3 (b 3 u ))+ + G ((a 3 + b 3 )G 3 (b 32 u 2 )) + G ((a 2 + b 2 )u 2 ) = Ũ + G ((a 3 + b 3 )G 3 (b 3 u ))+ + G ((a 3 + b 3 )G 3 (b 32 (L 2 Ũ 2 )) + G ((a 3 + b 3 )G 3 (b 32 L 2 G 2((a 23 + b 23 )G 3 (b 3 u )))) + G ((a 3 + b 3 )G 3 (b 32 (L 2 G 2(b 2 u ))) + G ((a 2 + b 2 )L 2 Ũ 2 ) + G ((a 2 + b 2 )L 2 G 2((a 23 + b 23 )G 3 (b 3 u ))) + G ((a 2 + b 2 )L 2 G 2(b 2 u )). By collecting now the terms with order we can simplify the previous formula as follows: u (t, x) = Ũ + G (a 3 G 3 (b 3 u )) + G (a 3 G 3 (b 32 (L 2 Ũ 2 ))) + G (a 3 G 3 b 32 L 2 G 2(a 23 G 3 (b 3 u ))) + G (a 3 G 3 b 32 L 2 G 2(b 23 G 3 (b 3 u ))) + G (a 3 G 3 b 32 (L 2 G 2(b 2 u ))) + G (b 3 G 3 (b 32 L 2 G 2(a 23 G 3 (b 3 u )))) + G (a 2 L 2 Ũ 2 ) + G (a 2 L 2 G 2(a 23 G 3 (b 3 u ))) + G (a 2 L 2 G 2(b 23 )G 3 (b 3 u ))) + G (b 2 L 2 G 2((a 23 G 3 (b 3 u ))) + G (a 2 L 2 G 2(b 2 u )) + l.o.t. Looking at the terms G (a 3 G 3 (b 32 (L 2 Ũ 2 ))), G (a 2 L 2 G 2(b 2 u )), G (a 2 L 2 G 2(a 23 G 3 (b 3 u ))) and keeping in mind that in order to get the right Sobolev regularity we need to have operators of order, we deduce that b 2 and b 32 must have order while b 3 must have order 2. Considering now the initial data Ũ j = U j + G j ((a j3 + b j3 )U 3 ), j =, 2,
14 C. Garetto et al. by using (7) we obtain Ũ j = U j + G j ((a j3 + b j3 )(G 3 (u 3 ) + G 3( f 3 ))), j =, 2. Combining these formulas with an analysis of the term G (a 2 L 2 Ũ 2 ) we deduce that Ũ2 must belong to H s+. This implies U2 H s+ and U3 H s+2. Concluding, similarly to the case m = 2, that is by the Banach fixed point theorem argument on u and substitution in u 2 and u 3, we get anisotropic Sobolev well-posedness by assuming u and f in H s, u 2 and f 2 in H s+, and u 3 and f 3 in H s+2. This well-posedness is obtained by means of one invertible operator L 2, and in analogy with case m = 2the well-posedness can be extended to the whole interval [, T ] by an iterated argument. This proves Theorem in the case m = The general case We are now ready to prove the main result of our paper in the general case of an upper-triangular m m matrix, i.e, a matrix A of the type λ (t, x, D x ) a 2 (t, x, D x ) a m (t, x, D x ) λ 2 (t, x, D x ) a 2m (t, x, D x )..... λ m (t, x, D x ) a m m (t, x, D x ) λ m (t, x, D x ) For the convenience of the reader we recall here the statement of Theorem. Theorem Let { Dt u = A(t, x, D x )u + B(t, x, D x )u + f (t, x), (t, x) [, T ] R n, u t= = u (x), x R n, (2) where A(t, x, D x ) is an upper-triangular matrix of pseudo-differential operators of order in the form (2), and B(t, x, D x ) is a matrix of pseudo-differential operators of order, continuous with respect to t. Hence, if the lower order terms b ij belong to C([, T ], j i ) for i > j, u k H s+k and f k C([, T ], H s+k ) for k =,...,m then (2) has a unique anisotropic Sobolev solution u, i.e., u k C([, T ], H s+k ) for k =,...,m. Proof Making use of the notations introduced earlier we can write the components of the solution u as
15 Hyperbolic systems with non-diagonalisable... u i (t, x) = U i + G i where m m a ij (t, x, D x )u j + G i b ij (t, x, D x )u j j>i j= j =i = Ui + G i (b ij (t, x, D x )u j ) + G i ((a ij + b ij )(t, x, D x )u j ), j<i i< j m (2) U i = G i u j + G i( f i ), and G i, Gi are Fourier integral operator of order for i =,...,m. Note that from the fact that b ij is a symbol of order for every i, j and, in particular, of order j i for j < i we obtain that the operator G i (b ij ) is of order j i for j < i, while G i (a ij +b ij ) is, in general, of order. To simplify the argument we introduce the notations G j i i, j and Gi, j for the operators G i(b ij ) and G i (a ij +b ij ), respectively. Here the superscript stands to remind us of the order of the operator. Hence, u i = Ui + G j i i, j (u j ) + Gi, j (u j), j<i i< j m for i =,...,m. By begin by substituting u m = U m + j<m G j m m, j (u j ), into u m = U m + j<m G j m+ m, j (u j ) + G m,m (u m). We get u m = Um + G j m+ m, j (u j ) + G m,m U m + G m,m G j m m, j (u j ) j<m j<m = (Um + G m,m U m ) + (G j m+ m, j (u j ) + G m,m G j m m, j (u j )) + G m,m G m,m u m. j<m Note that it is enough to assume U m H s+ and U m H s to obtain U m + G m,m U m H s. Since all the operators above are of order we conclude that the operator
16 C. Garetto et al. L m = I G m,m G m,m := I G m is invertible on a sufficiently small interval [, T ] and, therefore, u m G m,m G m,m u m = (Um + G m,m U m ) + (G j m+ m, j (u j ) + G m,m G j m m, j (u j )), yields j<m u m = L m Ũ m + L m j<m (22) G j m+ m u j, (23) with Ũm and G j m+ m defined by the right-hand side of (22). We now substitute u m and u m into u m 2 making use of (23). We obtain We set u m 2 = U m 2 + j<m 2 G j m+2 m 2, j (u j ) + G m 2,m (u m ) + G m 2,m (u m) = Um 2 + G j m+2 m 2, j (u j ) + G m 2,m L m Ũ m j<m 2 + G m 2,m L m + G m 2,m L + G m 2,m m j<m 2 j<m 2 + G m 2,m G m,m L + G m 2,m G m,m L m G j m+ m u j G m u m 2 + G m 2,m U m G j m m, j (u j ) + G m 2,m G 2 m,m 2 u m 2 m Ũ m j<m 2 G j m+ m u j + G m 2,m G m,m L m G m u m 2. (24) Ũ m 2 = U m 2 + G m 2,m L m Ũ m + G m 2,m U m + G m 2,m G m,m L m Ũ m. (25) The operators G m 2,m L m and G m 2,m in (25) are of order. Keeping in mind that we already assumed Um H s+ and Um H s, in order to obtain Sobolev
17 Hyperbolic systems with non-diagonalisable... order s the initial data U m, U m and U m 2 must belong to H s+2, H s+ and H s, respectively. Thus, u m 2 = Ũ m 2 + G m 2 u m 2 + where Gm 2 is a zero order operator defined by j<m 2 G j m+2 m 2 u j, (26) Gm 2 u m 2 = G m 2,m L m G m u m 2 + G m 2,m G 2 m,m 2 u m 2 + G m 2,m G m,m L m G m u m 2, and the last summand in (26) is obtained by collecting all the operators acting on u j with j < m 2in(24). Since the norm of Gm 2 can be taken strictly less than one in a sufficiently small interval [, T ] we have that the operator is invertible and, therefore, u m 2 = L m 2Ũ m 2 + L m 2 = I G m 2 j<m 2 L j m+2 m 2 G m 2 u j. (27) Note that Ũ m 2 H s if U m H s+2, U m H s+ and U m 2 H s. By iterating the same procedure we deduce that u k = Ũ k + G k u k + j<k G j k k u j, (28) where Ũk depends on U k, U j and Ũ j with j > k and G k is a zero order operator defined by using invertible operators L m, L m 2,, L k. In addition, we obtain Ũk H s since Um H s+m k, Um H s+m k,...,uk H s.itfollowsthatfork = 2 we have u 2 = Ũ 2 + G 2 u 2 + G 2 u, where the operator G2 is of zero operator and defined by invertible operators L m, L m 2,...,L 2, G 2 is of order, and Ũ2 H s since Um H s+m 2, Um H s+m 3,...,U2 H s. Hence, by inverting the operator L 2 = I G2 on a sufficiently small interval [, T ] we have u 2 = L 2 Ũ 2 + L 2 G 2 u. Now by substitution of u 2, u 3,...,u m in the equation of u we arrive at the formula (28) with k =, i.e.,
18 C. Garetto et al. u = Ũ + G u, where Ũ H s since Um H s+m, Um H s+m 2,...,U2 H s+, U H s. Concluding, by the Banach fix point argument we prove that there exists a unique u C([, T ], H s ) solving the equation above with the given initial conditions. By substitution in the equations for u 2,...,u m, u m we arrive at the desired Sobolev well-posedness with u k C([, T ], H s+k ) for k = 2,...,m. Note that, since the sufficiently small interval [, T ] where we get well-posedness does not depend on the initial data, by a standard iteration argument we can achieve well-posedness on any bounded interval [, T ] as stated in the theorem. 3 Schur decomposition of m m matrices In this section we investigate how to reduce an m m matrix to the upper triangular form. We recall that such decomposition is well-known for constant matrices and goes under the name of Schur s triangularisation, with its statement given in Theorem C. One of the difficulties when dealing with variable multiplicities is the loss of regularity in the parameters at the points of multiplicities. In the following, we will assume that A is a matrix of (possibly) complex valued first order symbols, continuous with respect to t, i.e., A(t, x,ξ) ( CS ) m m. We will now develop a parameter dependent extension of the Schur triangularisation procedure and we will describe it step by step. Then we will give an example for it for the systems of low sizes, namely, for m = 2 and m = 3. In the case of m = 2 the construction below was introduced in [27] and now we give its general version for systems of any size. Normal forms of matrices depending on several parameters have a long history and are notoriously involved; for some remarks and related works, we refer the reader to [4,24,25,45]. 3. First step or Schur step The first step in our triangularisation follows the construction in the constant case except that we will not get a unitary transformation matrix. For this reason we talk of a Schur step. Throughout this paper e i denotes the i-th vector of the standard basis of R n with an appropriate dimension n. Proposition (Schur step) Let the m m matrix valued symbol A(t, x,ξ) (CS ) m m, have a real eigenvalue λ CS and a corresponding eigenvector h ( CS ) m such that there exists j {,...,m} with h(t, x,ξ) ej = (t, x,ξ) [, T ] R n { ξ M}, (29) for a sufficiently large M >. Then there exist an m m matrix valued symbol T (t, x,ξ)(cs ) m m, invertible for (t, x,ξ) [, T ] R n { ξ M} with T
19 Hyperbolic systems with non-diagonalisable... (CS ) m m, and an (m ) (m ) matrix valued symbol E(t, x,ξ) (CS ) m m, such that λ a 2 a m T (t, x,ξ)a(t, x,ξ)t (t, x,ξ)=. for all (t, x,ξ) [, T ] R n { ξ M}.. E(t, x,ξ) Proof First let us note that we can assume that j = in(29). If that is not the case, we can exchange the rows and j as well as columns and j to move the jth component of the eigenvector to the first component. We define the rescaled eigenvector μ componentwise by μ i (t, x,ξ)= h(t, x,ξ) e i h(t, x,ξ) e i =,...,m. Now we set μ... μ 2 T (t, x,ξ)=.. I m. μ m Since μ it follows that μ... T μ 2 (t, x,ξ)=. I m, μ m where I m is the (m ) (m ) identity matrix. By direct computations we get m a j μ j j= λμ AT =. A (2)... A (m) =. A (2)... A (m), m λμ a mj μ m j j= where we used that m a ij μ j = λμ i, i =,...,m, (3) j=
20 C. Garetto et al. and denoted the ith column of A by A (i). The equations in (3) are given by the eigenvalue equation Aμ = λμ. Further, from μ we obtain λμ 2 a 2 μ... a m μ T μ 2 μ λ + μ 2 λ AT =. E μ m μ λ + μ m λ λ a 2... a m =. E, (3) which concludes the proof. Note that by construction the matrix E has entries in CS which depend on A. In particular its eigenvalues are the eigenvalues of A excluding λ (counted as many times as they occur). Applying Proposition repeatedly for m 2 times to E, we obtain a full Schur transformation of A, that is a full reduction to an upper triangular form. In the next subsection we describe this iteration in detail. This triangularisation procedure is summarised in Theorem 6 where sufficient conditions on the eigenvectors of A are given. 3.2 The triangularisation procedure The reduction to an upper triangular form or the Schur transformation of A is possible under certain conditions on its eigenvectors. More precisely, let h (t, x,ξ),...,h m (t, x,ξ) ( CS ) m be m eigenvectors of A(t, x,ξ) =[a ij (t, x,ξ)] i, m j=, a ij CS, corresponding to the eigenvalues λ (t, x,ξ),..., λ m (t, x,ξ) CS. To formulate the sufficient conditions for the existence of such Schur transformation, we introduce a set of auxiliary vectors h (i), i =,...,m, which depend only on h i and the previous vectors h ( j) CS, j =,...,i. When i = weseth () = h. As in Proposition we begin by assuming h () (t, x,ξ) e = (32) for (t, x,ξ) [, T ] R n { ξ M}. Remark 5 As noted in the proof of Proposition, we could have that h () (t, x,ξ) e j =
21 Hyperbolic systems with non-diagonalisable... for another arbitrary j {,...,m}. Then, we could transform the matrix A(t, x,ξ) by a constant permutation matrix P such that P h () is eigenvector of P AP corresponding to λ which satisfies P h () (t, x,ξ) e =. For this reason we state (32) with h () and e. Step By Proposition there exists a matrix T such that The matrix T is given by λ a 2 a m T AT =. E m. T = [ ω e 2... e m ], ω = [ ω... ω m ] T with h () (t, x,ξ) e j ω j = h (). (t, x,ξ) e In the sequel we make use of the projector k : R m R m k, k m, defined by k x.. x m = x k+ Note that is the identity map I m : R m R m. Step 2 Since h 2 is an eigenvector of A with eigenvalue λ 2 we get that T h 2 is an eigenvector of T AT with eigenvalue λ 2 as well. By the structure of T AT we easily see that h (2) := T h 2 is an eigenvector of E m, corresponding to λ 2. Arguing as in Remark 5 we assume that T h 2 e = (t, x,ξ) [, T ] R n { ξ M}, (33). x m. to be able to apply Proposition to E m. We get that there exists an (m ) (m ) matrix T 2 such that T 2 E m T 2 is of form λ E m 2,
22 C. Garetto et al. where in the first row the first row of E m appears. Thus, setting... T 2 =. T 2, we obtain T 2 T AT T 2 = λ... λ (34).. E m 2 Note that in (34) we write explicitly only the entries most relevant to our triangularisation. To compute the matrix T 2,weset ω 2 = [ ω ω 2m ] T, where h (2) (t, x,ξ) e j ω 2 j (t, x,ξ):= h (2), j = 2,...,m, (t, x,ξ) e and then T 2 = [ ω 2 e 2... e m ]. It is clear that T 2 has the same structure as T, i.e., it is defined via a rescaled eigenvector as the first column and an identity matrix (I m for T and I m 2 for T 2 ). Step K By iterating the method k times we can find k matrices T, T 2,...,T k of size m m such that Tk... T AT... T k = λ λ k...,... E m k+
23 Hyperbolic systems with non-diagonalisable... where E m k+ is a (m k + ) (m k + ) matrix and the equality is true on [, T ] R n { ξ M}. Since h k is an eigenvector of A corresponding to λ k, the vector is an eigenvector of and Tk T k 2 T h k Tk T k 2 T AT T 2 T k h (k) := k Tk T k 2 T h k ( CS ) m k+ an eigenvector of E m k+ corresponding to λ k. Thus, to satisfy the assumptions of Proposition and keeping in mind Remark 5, we require that h (k) (t, x,ξ) e = (t, x,ξ) [, T ] R n { ξ M}. (35) It follows that there exists an (m k +) (m k +) transformation matrix T k such that T k... T A T... T k is of the form λ k.... E m k. and set [ ] Ik T k =. T k The matrix T k is defined by T k = [ ω k e 2... e m k+ ], ωk = [ ω kk... ω km ] T, where h (k) (t, x,ξ) e j ω kj = h (k), j = k,...,m. (t, x,ξ) e Step m- This is the last step as E 2 is a 2 2 matrix. We have that h (m ) = m 2 Tm 2 T h m ( CS ) 2
24 C. Garetto et al. is an eigenvector of E 2 corresponding to λ m and that T m exists as before if h (m ) (t, x,ξ) e = (t, x,ξ) [, T ] R n { ξ M}. (36) The matrix T m is given by T m = [ [ ] ] ωm,m ω m e 2 =, ω m,m where h (m ) (t, x,ξ) e j ω m, j = h (m ), j = m, m, (t, x,ξ) e and then [ ] Im 2 T m =. T m We are now ready to state Theorem 6 which summarises the triangularisation procedure explained above. For the convenience of the reader we recall the notations introduced so far: h,...,h m are the eigenvectors of the matrix A corresponding to the eigenvalues λ,...,λ m. h () = h and h (i) = i Ti T i 2 T h i ( CS ) m k+, (37) for i = 2,...,m. the matrices T k are inductively defined as follows: T = I m and [ ] Ik T k =, T T k = [ ] ω k e 2... e m k, ei R m k, k where h (k) (t, x,ξ) e j ω kj = h (k), j = k,...,m. (t, x,ξ) e Finally, we note that h (k) depends only on T k,..., T and, thus, only on the eigenvectors h (k ),..., h (). Summarising, we can formulate a more precise version of Theorem 2.
25 Hyperbolic systems with non-diagonalisable... Theorem 6 (Schur Decomposition) Let A(t, x,ξ) (CS ) m m beamatrixwith eigenvalues λ,...,λ m CS, and let h,...,h m ( CS ) m be the corresponding eigenvectors. Suppose that for e R m i+ the condition h (i) (t, x,ξ) e =, (t, x,ξ) [, T ] R n R n (38) holds for all i =,...,m, with the notation explained above. Then, there exists a matrix-valued symbol T (t, x,ξ) (CS ) m m, invertible for (t, x,ξ) [, T ] R n { ξ M}, T (t, x,ξ) (CS ) m m, such that T (t, x,ξ)a(t, x,ξ)t (t, x,ξ)= (t, x,ξ)+ N(t, x,ξ) for all (t, x,ξ) [, T ] R n { ξ M}, where (t, x,ξ)= diag(λ (t, x,ξ),λ 2 (t, x,ξ),...,λ m (t, x,ξ)) and N 2 (t, x,ξ) N 3 (t, x,ξ) N m (t, x,ξ) N 23 (t, x,ξ) N 2m (t, x,ξ) N(t, x,ξ)=....,... N m m (t, x,ξ)... and N is a nilpotent matrix with entries in C S. Furthermore, the matrix symbol T is given by with the notation explained above. T (t, x,ξ)= T T 2 T m, Remark 6 Taking into account Remark 5, let us stress that condition (38) is not restrictive as it can be replaced by the following: suppose that there exist m numbers j i {,...,m i + }, i =,...m, such that for all i =,...,m h (i) (t, x,ξ) e ji = (t, x,ξ) [, T ] R n { ξ M} (39) holds. Remark 7 If A(t, x,ξ) has complex symbols (as allowed in Theorem, see also Remark ) and real eigenvalues, the eigenvalues of the Schur transformed system clearly remain real. The upper triangular entries may still be complex valued symbols. Remark 8 Theorem 6 is quite general in the sense that the functions a ij could be complex-valued. In this paper, we are concerned with hyperbolic matrices, i.e. we
26 C. Garetto et al. assume that the eigenvalues λ,...,λ m are real. We stress that the Schur transform does not change the hyperbolicity of the matrix as the eigenvalues of T AT are also λ,...,λ m. Remark 9 For our applications in this and future work it is important that the transform T in Theorem 6 keeps the regularity of the original matrix A, i.e. that the elements of the Schur transform T AT are in the same class as the elements of A. Here, we stated everything with CS and CS as that is the regularity considered in this paper. Note that one could replace C with C k or C and find a matrix T such that the transformed matrix T AT inherits the same regularity with respect to t. In addition, one could also drop the regularity in t to L and the triangularisation procedure would still work preserving the boundedness in t through every step. For the sake of simplicity and the reader s convenience, in the next subsections we analyse Theorem 6 in the special cases of m = 2 and m = The case m = 2 We now formulate Theorem 6 in the special case m = 2. In this way we recover the formulation given in [27]. Theorem 7 ([27, Theorem 7.]) Suppose that A(t, x,ξ) (CS ) 2 2 admits eigenvalues λ j (t, x,ξ) CS,j=, 2, and an eigenvector h(t, x,ξ) (CS ) 2 satisfying h(t, x,ξ) ej =, (t, x,ξ) [, T ] R n { ξ M}, (4) for j = or j = 2. Then, we can find a 2 2 matrix valued symbol T (t, x,ξ) (CS ) 2 2, invertible for { ξ M} with T (t, x,ξ) (CS ) 2 2, such that T (t, x,ξ)a(t, x,ξ)t (t, x,ξ)= for all (t, x,ξ) [, T ] R n { ξ M}. [ ] λ (t, x,ξ) a 2 (t, x,ξ) λ 2 (t, x,ξ) Proof For 2 2 matrices the triangularisation procedure described in the previous subsection can stop at Step. By Remark 5, we may assume that (4) holds for the eigenvector h corresponding to λ and for j =. We set h = h and h () = h.the vector [ ] ω (t, x,ξ) h () (t, x,ξ) e j ω =, ω ω 2 (t, x,ξ) j (t, x,ξ)= h (), (t, x,ξ) e belongs to CS and is an eigenvector of A associated to λ. We then set T (t, x,ξ)= [ [ ] ] ω (t, x,ξ) ω e 2 =. ω 2 (t, x,ξ)
27 Hyperbolic systems with non-diagonalisable... With that, we obtain A(t, x,ξ)t (t, x,ξ)= [ ] a ω + a 2 ω 2 a 2 a 2 ω + a 22 ω 2 a 22 and finally, with T (t, x,ξ) = [ ] ω (t, x,ξ), ω 2 (t, x,ξ) we obtain T (t, x,ξ)a(t, x,ξ)t (t, x,ξ) [ a = ω 2 + a ] 2ω 2 ω a 2 ω a ω 2 ω a 2 ω2 2 + a 2ω + a 22 ω 2 ω 2 a 2 + a 22 By construction, we have a ω + a 2 ω 2 = λ ω, a 2 ω + a 22 ω 2 = λ ω 2, and ω =. This yields a ω + a 2 ω 2 = λ ω = λ and a ω 2 ω a 2 ω a 2ω + a 22 ω 2 = ω 2 (a ω + a 2 ω 2 ) + a 2 ω + a 22 ω 2 = λ ω 2 + λ ω 2 =.. Using a + a 22 = λ + λ 2, we obtain Thus, we get that ω 2 a 2 + a 22 = ω 2 a 2 + a 22 + a ω a ω = λ 2. T (t, x,ξ)a(t, x,ξ)t (t, x,ξ)= [ ] λ (t, x,ξ) a 2 (t, x,ξ) λ 2 (t, x,ξ) for (t, x,ξ) [, T ] R n { ξ M}. This concludes the proof Example (i) By direct computations we can easily see that if h =[h h 2 ] T = e then the matrix A is automatically in the upper triangular form. Indeed, a 2 h + a 22 h 2 = λ h 2
28 C. Garetto et al. implies a 2 =. A typical example (already discussed in [27]) is the Jordan block matrix [ ] A =, where λ = is an eigenvalue with eigenvector h = e. (ii) Condition (4) is trivially fulfilled when deta and A is of the form [ ] a a, a a for a = a(t, x,ξ). Indeed, also in this case one can take as an eigenvalue with eigenvector h =[] T. 3.4 The case m = 3 With the notation introduced in Sect. 3.2, we assume that the 3 3matrixA(t, x,ξ) (CS ) 3 3 admits three eigenvalues λ i (t, x,ξ) CS, i =, 2, 3, and two corresponding eigenvectors h i (t, x,ξ) ( CS ) 3, i =, 2. Then, we set h () := h and, as in Remark 6 we suppose that there is a j {, 2, 3} with h () (t, x,ξ) e j = (t, x,ξ) [, T ] R n { ξ M}. Thus, we can set h () (t, x,ξ) e j ω j (t, x,ξ)= h (). (t, x,ξ) e j Now, we rearrange the matrix A such that the first component of ω becomes identically equal to. Then, with j 2, j 3 {, 2, 3}\{ j }, we can write which leads to T = [ ω e 2 e 3 ] = T h 2 = ω j ω j2 ω j3 ω j ω j2 = ω j2, ω j3 ω j3 h 2 j h 2 j2 h 2 j3 h 2 j = ω j2 h 2 j + h 2 j2. ω j3 h 2 j + h 2 j3 We then get [ ] h (2) = T ω h 2 = j2 h 2 j + h 2 j2 ω j3 h 2 j + h 2 j3
29 Hyperbolic systems with non-diagonalisable... and the condition (38) that there exists j {, 2} such that h (2) (t, x,ξ) e j = (t, x,ξ) [, T ] R n { ξ M} translates to: either ω j2 h 2 j + h 2 j2 = h 2 j2 h j h j2 h 2 j = (4) or ω j3 h 2 j + h 2 j3 = h 2 j3 h j h j3 h 2 j = (42) holds. Thus, assuming that (4) holds, the matrix T 2 is given by [ ] ω2 h = (2) (t, x,ξ) e j ω 2 ω j3 h 2 j +h 2 j3, ω 2 j = h (2), j =, 2, (t, x,ξ) e j2 ω j2 h 2 j +h 2 j2 and the matrix T 2 by ω 2 =. ω 22 ω j3 h 2 j +h 2 j3 Thus, we obtain ω j2 h 2 j +h 2 j2 T (t, x,ξ)= T T 2 = ω j2. (43) ω j3 ω j3 h 2 j +h 2 j3 ω j2 h 2 j +h 2 j2 If we have (42) instead of (4), then we would need a permutation matrix in (43), i.e. P j2 j 3 = T (t, x,ξ)= T (t, x,ξ)p j2 j 3 T 2 (t, x,ξ)
30 C. Garetto et al. and T 2 (t, x,ξ)=. ω j2 h 2 j +h 2 j2 ω j3 h 2 j +h 2 j3 See also Remark 6. Thus, we can state Theorem 8 Suppose that A(t, x,ξ) (CS ) 3 3 admits three eigenvalues λ i CS, i =, 2, 3, and two corresponding eigenvectors h i (t, x,ξ) ( CS ) 3,i =, 2. Suppose that there exists a j {, 2, 3} such that h j (t, x,ξ) = (t, x,ξ) [, T ] R n { ξ M}. (44) Further suppose that there exists j 2 {, 2, 3}\{ j } such that h 2 j2 h j h j2 h 2 j = (t, x,ξ) [, T ] R n { ξ M}. (45) Then, there exists a matrix-valued symbol T (t, x,ξ) (CS ) 3 3, invertible for all (t, x,ξ) [, T ] R n { ξ M} with T (t, x,ξ) (CS ) 3 3, such that T (t, x,ξ)a(t, x,ξ)t (t, x,ξ)= (t, x,ξ)+ N(t, x,ξ) holds for all (t, x,ξ) [, T ] R n { ξ M}, where (t, x,ξ)= diag(λ,λ 2,λ 3 ) and N 3 (t, x,ξ) N 3 (t, x,ξ) N(t, x,ξ)= N 23 (t, x,ξ). We end this subsection by discussing some examples of 3 3 matrices fulfilling the assumptions above on their eigenvalues Examples (i) If the matrix A has eigenvectors h = and h 2 = then conditions (44) and (45) are easily fulfilled with j = and j 2 = 2. Indeed, h = and h 22 h h 2 h 2 = h 22 h =.
31 Hyperbolic systems with non-diagonalisable... More in general to satisfy (44) and (45) it would be enough to have two eigenvectors h = h h 2 h 3 with h =, h 22 = and h 2 =. (ii) A matrix with eigenvectors and h 2 = h 2 h 22 h 23 h = and h 2 = has a special form. Indeed, for λ and λ 2 eigenvalues corresponding to h and h 2, respectively, by using the eigenvector equations we obtain and a 3 = λ a, a 23 = a 2, a 33 = λ a 3, a 2 = λ 2 a, a 22 = λ 2 a 2, a 32 = a 3. Hence a λ 2 a λ a A = a 2 λ 2 a 2 a 2. a 3 a 3 λ a 3 Open Access This article is distributed under the terms of the Creative Commons Attribution 4. International License ( which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. References. Bernstein, D.S.: Matrix Mathematics Theory, Facts, and Formulas, 2nd edn. Princeton University Press, Princeton (29) 2. Bronshtein, M.D.: Smoothness of roots of polynomials depending on parameters. Sibirsk. Mat. Zh., 2(3), 493 5, (979). Sib. Math. J. 2, (98). (English transl) 3. Colombini, F., Kinoshita, T.: On the Gevrey well posedness of the Cauchy problem for weakly hyperbolic equations of higher order. J. Differ. Equ. 86, (22).
32 C. Garetto et al. 4. Colombini, F., Spagnolo, S.: An example of a weakly hyperbolic Cauchy problem not well posed in C. Acta Math. 48, (982) Colombini, F., De Giorgi, E., Spagnolo, S.: Sur les équations hyperboliques avec des coefficients qui ne dépendent que du temps. Ann. Sc. Norm. Super. Pisa Cl. Sci. 6, (979) 6. Colombini, F., Del Santo, D., Fanelli, F., Métivier, G.: Time-dependent loss of derivatives for hyperbolic operators with non regular coefficients. Commun. Partial Differ. Equ. 38(), (23) Colombini, F., Del Santo, D., Fanelli, F., Métivier, G.: A well-posedness result for hyperbolic operators with Zygmund coefficients. J. Math. Pures Appl. 9(), (23). matpur Colombini, F., Jannelli, E., Spagnolo, S.: Nonuniqueness in hyperbolic Cauchy problems. Ann. Math. 26, (987) Colombini, F., Lerner, N.: Hyperbolic operators with non-lipschitz coefficients. Duke Math. J. 77(3), (995). Colombini, F., Nishitani, T.: Second order weakly hyperbolic operators with coefficients sum of powers of functions. Osaka J. Math. 44(), 2 37 (27). D Ancona, P., Kinoshita, T.: On the wellposedness of the Cauchy problem for weakly hyperbolic equations of higher order. Math. Nachr. 278, (25) D Ancona, P., Kinoshita, T., Spagnolo, S.: Weakly hyperbolic systems with Hölder continuous coefficients. J. Differ. Equ. 23(), 64 8 (24) D Ancona, P., Kinoshita, T., Spagnolo, S.: On the 2 by 2 weakly hyperbolic systems. Osaka J. Math. 45(4), (28) 4. Dieci, L., Eirola, T.: On smooth decompositions of matrices. SIAM J. Matrix Anal. Appl. 2(3), 8 89 (999) Duistermaat, J.J.: Fourier Intergal Operators Progress in Mathematics, vol. 3. Birkhäuser Boston, Inc, Boston (996) 6. Garetto, C.: On hyperbolic equations and systems with non-regular time dependent coefficients. J. Differ. Equ. 259(), (25) Garetto, C., Jäh, C.: Well-posedness of hyperbolic systems with multiplicities and smooth coefficients. Math. Ann. 369( 2), (27) Garetto, C., Ruzhansky, M.: Well-posedness of weakly hyperbolic equations with time dependent coefficients. J. Differ. Equ. 253(5), (22) Garetto, C., Ruzhansky, M.: Weakly hyperbolic equations with non-analytic coefficients and lower order terms. Math. Ann. 357(2), 4 44 (23) Garetto, C., Ruzhansky, M.: A note on weakly hyperbolic equations with analytic principal part. J. Math. Anal. Appl. 42(), 4 (24) Garetto, C., Ruzhansky, M.: Hyperbolic second order equations with non-regular time dependent coefficients. Arch. Ration. Mech. Anal. 27(), 3 54 (25) Garetto, C., Ruzhansky, M.: On hyperbolic systems with time dependent Hölder characteristics. Ann. Mat. Pura Appl. 96(), (27) Garetto, C., Ruzhansky, M.: On C well-posedness of hyperbolic systems with multiplicities. Ann. Mat. Pura Appl. 96(5), (27) Gingold, H.: On continuous triangularization of matrix functions. SIAM J. Math. Anal. (4), (979) Gingold, H., Hsieh, P.-F.: Globally analytic triangularization of a matrix function. Linear Algebra Appl. 69, 75 (992) Gramchev, T., Orrú, N.: Cauchy problem for a class of nondiagonalizable hyperbolic systems. Discret. Contin. Dyn. Syst., (2) Gramchev, T., Ruzhansky, M.: Cauchy problem for 2 2 hyperbolic systems of pseudo-differential equations with nondiagonalisable principal part. Studies in phase space analysis with applications to PDEs. Progr. Nonlinear Differ. Equ. Appl. 84, (23) 28. Hörmander, L.: The Analysis of Linear Partial Differential Operators, vol. I IV. Springer, Heidelberg (985) 29. Hörmander, L.: Hyperbolic systems with double characteristics. Comm. Pure Appl. Math. 46, 26 3 (993).
On C well-posedness of hyperbolic systems with multiplicities
Loughborough University Institutional Repository On C well-posedness of hyperbolic systems with multiplicities This item was submitted to Loughborough University's Institutional Repository by the/an author
More informationdoi: /j.jde
doi: 10.1016/j.jde.016.08.019 On Second Order Hyperbolic Equations with Coefficients Degenerating at Infinity and the Loss of Derivatives and Decays Tamotu Kinoshita Institute of Mathematics, University
More informationSharp estimates for a class of hyperbolic pseudo-differential equations
Results in Math., 41 (2002), 361-368. Sharp estimates for a class of hyperbolic pseudo-differential equations Michael Ruzhansky Abstract In this paper we consider the Cauchy problem for a class of hyperbolic
More informationA REMARK ON UNIFORMLY SYMMETRIZABLE SYSTEMS
A REMARK ON UNIFORMLY SYMMETRIZABLE SYSTEMS PIERO D ANCONA AND SERGIO SPAGNOLO Abstract We prove that any first order system, in one space variable, with analytic coefficients depending only on time, is
More information1 Last time: least-squares problems
MATH Linear algebra (Fall 07) Lecture Last time: least-squares problems Definition. If A is an m n matrix and b R m, then a least-squares solution to the linear system Ax = b is a vector x R n such that
More informationWave operators with non-lipschitz coefficients: energy and observability estimates
Wave operators with non-lipschitz coefficients: energy and observability estimates Institut de Mathématiques de Jussieu-Paris Rive Gauche UNIVERSITÉ PARIS DIDEROT PARIS 7 JOURNÉE JEUNES CONTRÔLEURS 2014
More informationDS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.
DS-GA 1002 Lecture notes 0 Fall 2016 Linear Algebra These notes provide a review of basic concepts in linear algebra. 1 Vector spaces You are no doubt familiar with vectors in R 2 or R 3, i.e. [ ] 1.1
More informationMath 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.
Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,
More informationQuestion: Given an n x n matrix A, how do we find its eigenvalues? Idea: Suppose c is an eigenvalue of A, then what is the determinant of A-cI?
Section 5. The Characteristic Polynomial Question: Given an n x n matrix A, how do we find its eigenvalues? Idea: Suppose c is an eigenvalue of A, then what is the determinant of A-cI? Property The eigenvalues
More informationSome Formulas for the Principal Matrix pth Root
Int. J. Contemp. Math. Sciences Vol. 9 014 no. 3 141-15 HIKARI Ltd www.m-hiari.com http://dx.doi.org/10.1988/ijcms.014.4110 Some Formulas for the Principal Matrix pth Root R. Ben Taher Y. El Khatabi and
More informationQuantum Computing Lecture 2. Review of Linear Algebra
Quantum Computing Lecture 2 Review of Linear Algebra Maris Ozols Linear algebra States of a quantum system form a vector space and their transformations are described by linear operators Vector spaces
More informationRemarks on Bronštein s root theorem
Remarks on Bronštein s root theorem Guy Métivier January 23, 2017 1 Introduction In [Br1], M.D.Bronštein proved that the roots of hyperbolic polynomials (1.1) p(t, τ) = τ m + m p k (t)τ m k. which depend
More informationEIGENVALUES AND EIGENVECTORS 3
EIGENVALUES AND EIGENVECTORS 3 1. Motivation 1.1. Diagonal matrices. Perhaps the simplest type of linear transformations are those whose matrix is diagonal (in some basis). Consider for example the matrices
More informationBLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED
BLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED TAOUFIK HMIDI AND SAHBI KERAANI Abstract. In this note we prove a refined version of compactness lemma adapted to the blowup analysis
More informationThis article was published in an Elsevier journal. The attached copy is furnished to the author for non-commercial research and education use, including for instruction at the author s institution, sharing
More information16. Local theory of regular singular points and applications
16. Local theory of regular singular points and applications 265 16. Local theory of regular singular points and applications In this section we consider linear systems defined by the germs of meromorphic
More informationA NOTE ON ALMOST PERIODIC VARIATIONAL EQUATIONS
A NOTE ON ALMOST PERIODIC VARIATIONAL EQUATIONS PETER GIESL AND MARTIN RASMUSSEN Abstract. The variational equation of a nonautonomous differential equation ẋ = F t, x) along a solution µ is given by ẋ
More informationCS 246 Review of Linear Algebra 01/17/19
1 Linear algebra In this section we will discuss vectors and matrices. We denote the (i, j)th entry of a matrix A as A ij, and the ith entry of a vector as v i. 1.1 Vectors and vector operations A vector
More informationIntroduction to the Mathematics of the XY -Spin Chain
Introduction to the Mathematics of the XY -Spin Chain Günter Stolz June 9, 2014 Abstract In the following we present an introduction to the mathematical theory of the XY spin chain. The importance of this
More informationLinear Algebra March 16, 2019
Linear Algebra March 16, 2019 2 Contents 0.1 Notation................................ 4 1 Systems of linear equations, and matrices 5 1.1 Systems of linear equations..................... 5 1.2 Augmented
More informationCUTOFF RESOLVENT ESTIMATES AND THE SEMILINEAR SCHRÖDINGER EQUATION
CUTOFF RESOLVENT ESTIMATES AND THE SEMILINEAR SCHRÖDINGER EQUATION HANS CHRISTIANSON Abstract. This paper shows how abstract resolvent estimates imply local smoothing for solutions to the Schrödinger equation.
More informationPOSITIVE MAP AS DIFFERENCE OF TWO COMPLETELY POSITIVE OR SUPER-POSITIVE MAPS
Adv. Oper. Theory 3 (2018), no. 1, 53 60 http://doi.org/10.22034/aot.1702-1129 ISSN: 2538-225X (electronic) http://aot-math.org POSITIVE MAP AS DIFFERENCE OF TWO COMPLETELY POSITIVE OR SUPER-POSITIVE MAPS
More informationSecond Order Elliptic PDE
Second Order Elliptic PDE T. Muthukumar tmk@iitk.ac.in December 16, 2014 Contents 1 A Quick Introduction to PDE 1 2 Classification of Second Order PDE 3 3 Linear Second Order Elliptic Operators 4 4 Periodic
More informationOn uniqueness of weak solutions to transport equation with non-smooth velocity field
On uniqueness of weak solutions to transport equation with non-smooth velocity field Paolo Bonicatto Abstract Given a bounded, autonomous vector field b: R d R d, we study the uniqueness of bounded solutions
More informationOn the local existence for an active scalar equation in critical regularity setting
On the local existence for an active scalar equation in critical regularity setting Walter Rusin Department of Mathematics, Oklahoma State University, Stillwater, OK 7478 Fei Wang Department of Mathematics,
More informationVISCOSITY SOLUTIONS. We follow Han and Lin, Elliptic Partial Differential Equations, 5.
VISCOSITY SOLUTIONS PETER HINTZ We follow Han and Lin, Elliptic Partial Differential Equations, 5. 1. Motivation Throughout, we will assume that Ω R n is a bounded and connected domain and that a ij C(Ω)
More informationAN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES
AN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES JOEL A. TROPP Abstract. We present an elementary proof that the spectral radius of a matrix A may be obtained using the formula ρ(a) lim
More informationThe Cauchy problem for certain syst characteristics. Author(s) Parenti, Cesare; Parmeggiani, Alber. Citation Osaka Journal of Mathematics.
Title The Cauchy problem for certain syst characteristics Authors Parenti, Cesare; Parmeggiani, Alber Citation Osaka Journal of Mathematics. 413 Issue 4-9 Date Text Version publisher URL http://hdl.handle.net/1194/6939
More informationOn non negative solutions of some quasilinear elliptic inequalities
On non negative solutions of some quasilinear elliptic inequalities Lorenzo D Ambrosio and Enzo Mitidieri September 28 2006 Abstract Let f : R R be a continuous function. We prove that under some additional
More informationhal , version 1-22 Nov 2009
Author manuscript, published in "Kinet. Relat. Models 1, 3 8) 355-368" PROPAGATION OF GEVREY REGULARITY FOR SOLUTIONS OF LANDAU EQUATIONS HUA CHEN, WEI-XI LI AND CHAO-JIANG XU Abstract. By using the energy-type
More informationThe Lusin Theorem and Horizontal Graphs in the Heisenberg Group
Analysis and Geometry in Metric Spaces Research Article DOI: 10.2478/agms-2013-0008 AGMS 2013 295-301 The Lusin Theorem and Horizontal Graphs in the Heisenberg Group Abstract In this paper we prove that
More information1 Matrices and Systems of Linear Equations. a 1n a 2n
March 31, 2013 16-1 16. Systems of Linear Equations 1 Matrices and Systems of Linear Equations An m n matrix is an array A = (a ij ) of the form a 11 a 21 a m1 a 1n a 2n... a mn where each a ij is a real
More informationDecoupling of modes for the elastic wave equation in media of limited smoothness
Decoupling of modes for the elastic wave equation in media of limited smoothness Valeriy Brytik 1 Maarten V. de Hoop 1 Hart F. Smith Gunther Uhlmann September, 1 1 Center for Computational and Applied
More informationSolution of Linear Equations
Solution of Linear Equations (Com S 477/577 Notes) Yan-Bin Jia Sep 7, 07 We have discussed general methods for solving arbitrary equations, and looked at the special class of polynomial equations A subclass
More informationPiecewise Smooth Solutions to the Burgers-Hilbert Equation
Piecewise Smooth Solutions to the Burgers-Hilbert Equation Alberto Bressan and Tianyou Zhang Department of Mathematics, Penn State University, University Park, Pa 68, USA e-mails: bressan@mathpsuedu, zhang
More informationhere, this space is in fact infinite-dimensional, so t σ ess. Exercise Let T B(H) be a self-adjoint operator on an infinitedimensional
15. Perturbations by compact operators In this chapter, we study the stability (or lack thereof) of various spectral properties under small perturbations. Here s the type of situation we have in mind:
More informationProperties of the Scattering Transform on the Real Line
Journal of Mathematical Analysis and Applications 58, 3 43 (001 doi:10.1006/jmaa.000.7375, available online at http://www.idealibrary.com on Properties of the Scattering Transform on the Real Line Michael
More informationTHE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES
Horiguchi, T. Osaka J. Math. 52 (2015), 1051 1062 THE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES TATSUYA HORIGUCHI (Received January 6, 2014, revised July 14, 2014) Abstract The main
More informationLecture 2: Computing functions of dense matrices
Lecture 2: Computing functions of dense matrices Paola Boito and Federico Poloni Università di Pisa Pisa - Hokkaido - Roma2 Summer School Pisa, August 27 - September 8, 2018 Introduction In this lecture
More informationRegularity and compactness for the DiPerna Lions flow
Regularity and compactness for the DiPerna Lions flow Gianluca Crippa 1 and Camillo De Lellis 2 1 Scuola Normale Superiore, Piazza dei Cavalieri 7, 56126 Pisa, Italy. g.crippa@sns.it 2 Institut für Mathematik,
More informationLinear Algebra. Min Yan
Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................
More informationThe well-posedness issue in Sobolev spaces for hyperbolic systems with Zygmund-type coefficients. 1 Università di Pisa
The well-posedness issue in Sobolev spaces for hyperbolic systems with Zygmund-type coefficients Ferruccio Colombini 1, Daniele Del Santo 2, Francesco Fanelli 3, Guy Métivier 4 1 Università di Pisa Dipartimento
More informationLecture 6: Lies, Inner Product Spaces, and Symmetric Matrices
Math 108B Professor: Padraic Bartlett Lecture 6: Lies, Inner Product Spaces, and Symmetric Matrices Week 6 UCSB 2014 1 Lies Fun fact: I have deceived 1 you somewhat with these last few lectures! Let me
More informationDEN: Linear algebra numerical view (GEM: Gauss elimination method for reducing a full rank matrix to upper-triangular
form) Given: matrix C = (c i,j ) n,m i,j=1 ODE and num math: Linear algebra (N) [lectures] c phabala 2016 DEN: Linear algebra numerical view (GEM: Gauss elimination method for reducing a full rank matrix
More informationMatrix Algebra: Summary
May, 27 Appendix E Matrix Algebra: Summary ontents E. Vectors and Matrtices.......................... 2 E.. Notation.................................. 2 E..2 Special Types of Vectors.........................
More informationn-step mingling inequalities: new facets for the mixed-integer knapsack set
Math. Program., Ser. A (2012) 132:79 98 DOI 10.1007/s10107-010-0382-6 FULL LENGTH PAPER n-step mingling inequalities: new facets for the mixed-integer knapsack set Alper Atamtürk Kiavash Kianfar Received:
More informationMath Introduction to Numerical Analysis - Class Notes. Fernando Guevara Vasquez. Version Date: January 17, 2012.
Math 5620 - Introduction to Numerical Analysis - Class Notes Fernando Guevara Vasquez Version 1990. Date: January 17, 2012. 3 Contents 1. Disclaimer 4 Chapter 1. Iterative methods for solving linear systems
More informationWhat is A + B? What is A B? What is AB? What is BA? What is A 2? and B = QUESTION 2. What is the reduced row echelon matrix of A =
STUDENT S COMPANIONS IN BASIC MATH: THE ELEVENTH Matrix Reloaded by Block Buster Presumably you know the first part of matrix story, including its basic operations (addition and multiplication) and row
More informationA Brief Outline of Math 355
A Brief Outline of Math 355 Lecture 1 The geometry of linear equations; elimination with matrices A system of m linear equations with n unknowns can be thought of geometrically as m hyperplanes intersecting
More information22m:033 Notes: 7.1 Diagonalization of Symmetric Matrices
m:33 Notes: 7. Diagonalization of Symmetric Matrices Dennis Roseman University of Iowa Iowa City, IA http://www.math.uiowa.edu/ roseman May 3, Symmetric matrices Definition. A symmetric matrix is a matrix
More informationStrong uniqueness for second order elliptic operators with Gevrey coefficients
Strong uniqueness for second order elliptic operators with Gevrey coefficients Ferruccio Colombini, Cataldo Grammatico, Daniel Tataru Abstract We consider here the problem of strong unique continuation
More informationA Concise Course on Stochastic Partial Differential Equations
A Concise Course on Stochastic Partial Differential Equations Michael Röckner Reference: C. Prevot, M. Röckner: Springer LN in Math. 1905, Berlin (2007) And see the references therein for the original
More informationA 3 3 DILATION COUNTEREXAMPLE
A 3 3 DILATION COUNTEREXAMPLE MAN DUEN CHOI AND KENNETH R DAVIDSON Dedicated to the memory of William B Arveson Abstract We define four 3 3 commuting contractions which do not dilate to commuting isometries
More informationObstacle problems and isotonicity
Obstacle problems and isotonicity Thomas I. Seidman Revised version for NA-TMA: NA-D-06-00007R1+ [June 6, 2006] Abstract For variational inequalities of an abstract obstacle type, a comparison principle
More informationNotes on basis changes and matrix diagonalization
Notes on basis changes and matrix diagonalization Howard E Haber Santa Cruz Institute for Particle Physics, University of California, Santa Cruz, CA 95064 April 17, 2017 1 Coordinates of vectors and matrix
More informationOn families of anticommuting matrices
On families of anticommuting matrices Pavel Hrubeš December 18, 214 Abstract Let e 1,..., e k be complex n n matrices such that e ie j = e je i whenever i j. We conjecture that rk(e 2 1) + rk(e 2 2) +
More informationOPTIMAL CONTROL AND STRANGE TERM FOR A STOKES PROBLEM IN PERFORATED DOMAINS
PORTUGALIAE MATHEMATICA Vol. 59 Fasc. 2 2002 Nova Série OPTIMAL CONTROL AND STRANGE TERM FOR A STOKES PROBLEM IN PERFORATED DOMAINS J. Saint Jean Paulin and H. Zoubairi Abstract: We study a problem of
More informationPart 2 Introduction to Microlocal Analysis
Part 2 Introduction to Microlocal Analysis Birsen Yazıcı & Venky Krishnan Rensselaer Polytechnic Institute Electrical, Computer and Systems Engineering August 2 nd, 2010 Outline PART II Pseudodifferential
More informationNormal form for the non linear Schrödinger equation
Normal form for the non linear Schrödinger equation joint work with Claudio Procesi and Nguyen Bich Van Universita di Roma La Sapienza S. Etienne de Tinee 4-9 Feb. 2013 Nonlinear Schrödinger equation Consider
More informationA note on complete hyperbolic operators with log- Zygmund coefficients
A note on complete hyperbolic operators with log- Zygmund coefficients Ferruccio Colombini, Daniele Del Santo, Francesco Fanelli and Guy Métivier Abstract. The present paper is the continuation of the
More informationThe Skorokhod reflection problem for functions with discontinuities (contractive case)
The Skorokhod reflection problem for functions with discontinuities (contractive case) TAKIS KONSTANTOPOULOS Univ. of Texas at Austin Revised March 1999 Abstract Basic properties of the Skorokhod reflection
More informationarxiv: v3 [math.ap] 1 Sep 2017
arxiv:1603.0685v3 [math.ap] 1 Sep 017 UNIQUE CONTINUATION FOR THE SCHRÖDINGER EQUATION WITH GRADIENT TERM YOUNGWOO KOH AND IHYEOK SEO Abstract. We obtain a unique continuation result for the differential
More informationLinear algebra for computational statistics
University of Seoul May 3, 2018 Vector and Matrix Notation Denote 2-dimensional data array (n p matrix) by X. Denote the element in the ith row and the jth column of X by x ij or (X) ij. Denote by X j
More informationTong Sun Department of Mathematics and Statistics Bowling Green State University, Bowling Green, OH
Consistency & Numerical Smoothing Error Estimation An Alternative of the Lax-Richtmyer Theorem Tong Sun Department of Mathematics and Statistics Bowling Green State University, Bowling Green, OH 43403
More informationMath 108b: Notes on the Spectral Theorem
Math 108b: Notes on the Spectral Theorem From section 6.3, we know that every linear operator T on a finite dimensional inner product space V has an adjoint. (T is defined as the unique linear operator
More informationSharp Sobolev Strichartz estimates for the free Schrödinger propagator
Sharp Sobolev Strichartz estimates for the free Schrödinger propagator Neal Bez, Chris Jeavons and Nikolaos Pattakos Abstract. We consider gaussian extremisability of sharp linear Sobolev Strichartz estimates
More informationPERTURBATION ANAYSIS FOR THE MATRIX EQUATION X = I A X 1 A + B X 1 B. Hosoo Lee
Korean J. Math. 22 (214), No. 1, pp. 123 131 http://dx.doi.org/1.11568/jm.214.22.1.123 PERTRBATION ANAYSIS FOR THE MATRIX EQATION X = I A X 1 A + B X 1 B Hosoo Lee Abstract. The purpose of this paper is
More informationj=1 x j p, if 1 p <, x i ξ : x i < ξ} 0 as p.
LINEAR ALGEBRA Fall 203 The final exam Almost all of the problems solved Exercise Let (V, ) be a normed vector space. Prove x y x y for all x, y V. Everybody knows how to do this! Exercise 2 If V is a
More informationInstitut für Mathematik
U n i v e r s i t ä t A u g s b u r g Institut für Mathematik Martin Rasmussen, Peter Giesl A Note on Almost Periodic Variational Equations Preprint Nr. 13/28 14. März 28 Institut für Mathematik, Universitätsstraße,
More informationOctober 25, 2013 INNER PRODUCT SPACES
October 25, 2013 INNER PRODUCT SPACES RODICA D. COSTIN Contents 1. Inner product 2 1.1. Inner product 2 1.2. Inner product spaces 4 2. Orthogonal bases 5 2.1. Existence of an orthogonal basis 7 2.2. Orthogonal
More informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationarxiv:math/ v1 [math.ap] 28 Oct 2005
arxiv:math/050643v [math.ap] 28 Oct 2005 A remark on asymptotic completeness for the critical nonlinear Klein-Gordon equation Hans Lindblad and Avy Soffer University of California at San Diego and Rutgers
More informationComparative Analysis of Mesh Generators and MIC(0) Preconditioning of FEM Elasticity Systems
Comparative Analysis of Mesh Generators and MIC(0) Preconditioning of FEM Elasticity Systems Nikola Kosturski and Svetozar Margenov Institute for Parallel Processing, Bulgarian Academy of Sciences Abstract.
More informationSpectral Theorem for Self-adjoint Linear Operators
Notes for the undergraduate lecture by David Adams. (These are the notes I would write if I was teaching a course on this topic. I have included more material than I will cover in the 45 minute lecture;
More informationNovember 18, 2013 ANALYTIC FUNCTIONAL CALCULUS
November 8, 203 ANALYTIC FUNCTIONAL CALCULUS RODICA D. COSTIN Contents. The spectral projection theorem. Functional calculus 2.. The spectral projection theorem for self-adjoint matrices 2.2. The spectral
More informationHere is an example of a block diagonal matrix with Jordan Blocks on the diagonal: J
Class Notes 4: THE SPECTRAL RADIUS, NORM CONVERGENCE AND SOR. Math 639d Due Date: Feb. 7 (updated: February 5, 2018) In the first part of this week s reading, we will prove Theorem 2 of the previous class.
More informationNONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS
Fixed Point Theory, Volume 9, No. 1, 28, 3-16 http://www.math.ubbcluj.ro/ nodeacj/sfptcj.html NONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS GIOVANNI ANELLO Department of Mathematics University
More informationBIHARMONIC WAVE MAPS INTO SPHERES
BIHARMONIC WAVE MAPS INTO SPHERES SEBASTIAN HERR, TOBIAS LAMM, AND ROLAND SCHNAUBELT Abstract. A global weak solution of the biharmonic wave map equation in the energy space for spherical targets is constructed.
More informationMATH 423 Linear Algebra II Lecture 33: Diagonalization of normal operators.
MATH 423 Linear Algebra II Lecture 33: Diagonalization of normal operators. Adjoint operator and adjoint matrix Given a linear operator L on an inner product space V, the adjoint of L is a transformation
More informationOn the Skeel condition number, growth factor and pivoting strategies for Gaussian elimination
On the Skeel condition number, growth factor and pivoting strategies for Gaussian elimination J.M. Peña 1 Introduction Gaussian elimination (GE) with a given pivoting strategy, for nonsingular matrices
More informationDeterminants of Partition Matrices
journal of number theory 56, 283297 (1996) article no. 0018 Determinants of Partition Matrices Georg Martin Reinhart Wellesley College Communicated by A. Hildebrand Received February 14, 1994; revised
More informationPart 2 Introduction to Microlocal Analysis
Part 2 Introduction to Microlocal Analysis Birsen Yazıcı& Venky Krishnan Rensselaer Polytechnic Institute Electrical, Computer and Systems Engineering March 15 th, 2010 Outline PART II Pseudodifferential(ψDOs)
More informationON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES
ON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES CLAUS GERHARDT Abstract. We prove that the mean curvature τ of the slices given by a constant mean curvature foliation can be used
More informationINSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES. Note on the fast decay property of steady Navier-Stokes flows in the whole space
INSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES Note on the fast decay property of stea Navier-Stokes flows in the whole space Tomoyuki Nakatsuka Preprint No. 15-017 PRAHA 017 Note on the fast
More informationComponentwise perturbation analysis for matrix inversion or the solution of linear systems leads to the Bauer-Skeel condition number ([2], [13])
SIAM Review 4():02 2, 999 ILL-CONDITIONED MATRICES ARE COMPONENTWISE NEAR TO SINGULARITY SIEGFRIED M. RUMP Abstract. For a square matrix normed to, the normwise distance to singularity is well known to
More informationMathematical Methods wk 2: Linear Operators
John Magorrian, magog@thphysoxacuk These are work-in-progress notes for the second-year course on mathematical methods The most up-to-date version is available from http://www-thphysphysicsoxacuk/people/johnmagorrian/mm
More informationSome recent results on controllability of coupled parabolic systems: Towards a Kalman condition
Some recent results on controllability of coupled parabolic systems: Towards a Kalman condition F. Ammar Khodja Clermont-Ferrand, June 2011 GOAL: 1 Show the important differences between scalar and non
More informationA DECOMPOSITION THEOREM FOR FRAMES AND THE FEICHTINGER CONJECTURE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 A DECOMPOSITION THEOREM FOR FRAMES AND THE FEICHTINGER CONJECTURE PETER G. CASAZZA, GITTA KUTYNIOK,
More informationFractal Conservation Laws: Global Smooth Solutions and Vanishing Regularization
Progress in Nonlinear Differential Equations and Their Applications, Vol. 63, 217 224 c 2005 Birkhäuser Verlag Basel/Switzerland Fractal Conservation Laws: Global Smooth Solutions and Vanishing Regularization
More informationA LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE. 1.
A LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE THOMAS CHEN AND NATAŠA PAVLOVIĆ Abstract. We prove a Beale-Kato-Majda criterion
More informationOn the Weak Convergence of the Extragradient Method for Solving Pseudo-Monotone Variational Inequalities
J Optim Theory Appl 208) 76:399 409 https://doi.org/0.007/s0957-07-24-0 On the Weak Convergence of the Extragradient Method for Solving Pseudo-Monotone Variational Inequalities Phan Tu Vuong Received:
More informationGeneralized eigenvector - Wikipedia, the free encyclopedia
1 of 30 18/03/2013 20:00 Generalized eigenvector From Wikipedia, the free encyclopedia In linear algebra, for a matrix A, there may not always exist a full set of linearly independent eigenvectors that
More informationA concise proof of Kruskal s theorem on tensor decomposition
A concise proof of Kruskal s theorem on tensor decomposition John A. Rhodes 1 Department of Mathematics and Statistics University of Alaska Fairbanks PO Box 756660 Fairbanks, AK 99775 Abstract A theorem
More informationNumerical techniques for linear and nonlinear eigenvalue problems in the theory of elasticity
ANZIAM J. 46 (E) ppc46 C438, 005 C46 Numerical techniques for linear and nonlinear eigenvalue problems in the theory of elasticity Aliki D. Muradova (Received 9 November 004, revised April 005) Abstract
More informationAlgebra C Numerical Linear Algebra Sample Exam Problems
Algebra C Numerical Linear Algebra Sample Exam Problems Notation. Denote by V a finite-dimensional Hilbert space with inner product (, ) and corresponding norm. The abbreviation SPD is used for symmetric
More informationOn cardinality of Pareto spectra
Electronic Journal of Linear Algebra Volume 22 Volume 22 (2011) Article 50 2011 On cardinality of Pareto spectra Alberto Seeger Jose Vicente-Perez Follow this and additional works at: http://repository.uwyo.edu/ela
More informationChapter 11 Evolution by Permutation
Chapter 11 Evolution by Permutation In what follows a very brief account of reversible evolution and, in particular, reversible computation by permutation will be presented We shall follow Mermin s account
More informationi=1 α i. Given an m-times continuously
1 Fundamentals 1.1 Classification and characteristics Let Ω R d, d N, d 2, be an open set and α = (α 1,, α d ) T N d 0, N 0 := N {0}, a multiindex with α := d i=1 α i. Given an m-times continuously differentiable
More informationG1110 & 852G1 Numerical Linear Algebra
The University of Sussex Department of Mathematics G & 85G Numerical Linear Algebra Lecture Notes Autumn Term Kerstin Hesse (w aw S w a w w (w aw H(wa = (w aw + w Figure : Geometric explanation of the
More informationPositive definite solutions of some matrix equations
Available online at www.sciencedirect.com Linear Algebra and its Applications 49 (008) 40 44 www.elsevier.com/locate/laa Positive definite solutions of some matrix equations Aleksandar S. Cvetković, Gradimir
More information