Lectures on Cauchy Problem

Save this PDF as:

Size: px
Start display at page:

Transcription

1 Lectures on Cauchy Problem By Sigeru Mizohata Notes by M.K. Venkatesha Murthy and B.V. Singbal No part of this book may be reproduced in any form by print, microfilm or any other means without written permission from the Tata Institute of Fundamental Research, Colaba, Bombay 5 Tata Institute of Fundamental Research, Bombay 1965

2

3 Contents Preliminaries and function spaces Cauchy Problem Cauchy - Kowalevsky theorem and Holmgren s theorem 8 4 Solvability of the Cauchy problem in the class E m Well-posedness and uniform-well posedness Cauchy problem for a single equation of order m Hyperbolic and strongly hyperbolic systems Energy inequalities for symmetric hyperbolic systems Some remarks on the energy inequalities Singular integral operators Extension of Gårding s Energy inequalities for regularly hyperbolic systems Uniqueness theorems Existence theorems Necessary condition for the well posedness i

4 ii Contents Parabolic equations Energy inequality for parabolic equations Preliminaries to the study of semi-linear equations Regularity of some non-linear functions An example of a semi-linear equation Existence theorems for first order systems of Existence theorems for a single semi-linear

5 Chapter 1 1 Preliminaries and function spaces We will be concerned with functions and differential operators defined on the n-dimensional Euclidean space R n. The points of R n will be denoted by x=(x 1,..., x n ),ξ=(ξ 1,...,ξ n ), etc. and we will use the following abbreviations: 1 x = ( x 2 j ) 1 2,λx=(λx 1,...,λx n ), x ξ= x j ξ j ; S will denote the sphere x =1, ds x the element of surface area on S, and dx will denote the standard volume element in R n. Ifν = (ν 1,...,ν n )is a multi-index of non-negative integers ν =ν 1 + +ν n is called the (total) order ofν. We will also use the following standard notation: ( ) ν ( ) ( ) νn = ν1,ξ ν =ξ ν 1 x x 1 x 1...ξν n n, n a ν (x)=a ν1 ν n (x). j In general a ν (x) will be complex valued functions on R n, unless otherwise mentioned. We will also have occasion to use vectors and matrices of complex valued functions. The notation will be obvious from the context. 1

6 2 1. A general linear partial differential operator can be written in the form ( ) ( ) ν (1.1) a x, = a ν (x). x x ν 2 The maximum m of the total orders ν of multi-indices( occurring ) in x,. The (1) for which a ν (x) 0 is called the order of the operator a ( ) transpose or the formal adjoint of a x, is defined by x (1.2) t a (x, ) [u]= x ( ν ( 1) x) ν [a ν (x)u]. ν m ( ) The adjoint of a x, in L 2 is defined by x (1.3) a (x, ) [u]= x ( ν ( 1) x) ν [a ν (x)u]. ν m x In most of our considerations we will be considering systems of linear differential equations of the first order. We refer to these as first order. We refer to these as first order systems. A first order system can therefore be written in the form: (1.1 ) ( ( ) ) A x, u = x j N A jk (x, K=1 ) u k, j=1,..., N, x ) where A jk (x, = n a jk,ρ (x) + b jk (x) and u=(u 1,...,u N ). The x ρ=1 x ( ) ρ formal adjoint of A x, is defined by x (1.2 ) ( ( ) ) t A x, v = x j j ( ) t A jk x, v j, k=1,..., N, x

7 1. Preliminaries and function spaces 3 ) where t A jk (x, u j = n x ρ=1 ( 1) (a jk,ρ (x)u j )+b jk (x)u, and the adjoint in L 2 ( ) x ρ of A x, is defined by x ( ) ) (1.3 ) (A ( ) x, v = A jk x, v j, k=1,..., N x k x ( x, j ) v j = ( 1)( )(a jk,ρ (x)v j )+b jk (x)v j. ρ x ρ where A jk x We shall now introduce some function spaces used in the sequel. 3 U will denote an open set in R n. D(U), E (U), E m (U), D (U), E (U), S (R n ), S (R n ) will denote the function spaces of Schwartz provided with their usual topologies. The space of m times continuously differentiable functions which are bounded together with all their derivatives up to order m in U will be denoted by B m (U). B m (U) is provided with the topology of convergence in L (U) of all the derivatives up to order m.el m (U) stands for the space of functions in L p (U) whose distribution p derivatives up to order m are functions in L p (U). For f EL m (U) we p define ( ) ν f E m (U)= f L p p,m = ( f p x L p (U) )1/p. ν m EL m (U) is a Banach space with this norm. Clearly E m p L (U) E k p L (U) for p k m and the inclusion mapping is continuous. The space of distributions f D (U) which are in ELp m (U ) for every relatively compact subset U of U is denoted by EL m p (loc)(u). This space is topologized by the following sequence of semi-norms. If{U n } is a sequence of relatively compact subsets of U, covering U, we define p n ( f )= f E m L p (U n ) for f E m L p (loc) (U). E m (U) is a Frechet space with this topology. This space can also L p (loc) be considered as the space of distributions f D (U) such thatα f EL m (U) for everyα D(U). Evidently E m p L (U) E m p L p (loc)(u) with 4 continous inclusion for m 0. The closure of D(U) in EL m (U) is denoted by DL m (U) and is provided with the induced topology. As before p p

8 4 1. DL m (U) D k p L (U) for every k m with continuous inclusion. In general p DL m (U) E m p L (U) (for a detailed study of these spaces see Seminaire p Schwartz 1954 for the case p=2). However DL m (R n )=E m p L (R n ). p When we consider spaces of vectors or matrices of functions we use the obvious notations, which, however will be clear from the context. For instance, if f = ( f 1,..., f N ) where f j E m (U) then f L 2 E m stands ( for j f j 2 E 2 L 2 (U) ) 1 2. When U= R n we simply write D, E, E m D m L 2 etc. for D(U),..., We will denote the space of all continuous functions of t in an interval [0, T] with values in the topological vector space E m by E m [0, T]. It is provided with the topology of uniform convergence (uniform with respect to t in [0, T]) for the topology of E m. Similar definitions hold for E m L 2 [0, T], D m L 2 [0, T], D m L 2 (loc) [0, T], Bm [0, T], etc. We now recall, without proof, a few well-known results on the spaces E m L p (U) and E m L p (loc) (U). L 2 5 Proposition 1 (Rellich). Every bounded set in EL m (U) is relatively com- p pact in E m 1 (U) for m 1. L p (loc) In other words, the proposition asserts that the inclusion mapping of EL m (U) into E m 1 p L p (loc)(u) is completely continuous. The following is a generalization due to Sobolev of a result of F. Riesz. Proposition 2. Let g L p, h L q for p, q>1 such that 1 p + 1 q > 1. Then the following inequality holds: (1.4) R n R n g(x)h(y) dx dy x y λ K g L p h L p ( whereλ=n 2 1 p 1 ) and K is a constant depending only on p, q, n q but not on g and h.

9 2. Cauchy Problem 5 Proposition 3 (Sobolev). If h L p for p>1 then the function h(y) (1.5) f (x)= x y λ dy, where n>λ> n p = n(1 1 p ), is in Lq where 1 q = 1 p +λ n 1. Theorem 1 (Sobolev). Let U be an open set with smooth boundary U (for instance U C 2 ). Then any functionϕ E m L p (U) with pm n itself belongs to L q (U) where q satisfies 1 q = 1 p m. Further we have n an estimate (1.6) ϕ L q (U) C ϕ E m L p (U) u. The contant C depends only on p, q, r and n but not on the function 6 For the study of this inequality and delicate properties of the inclusion mapping see S. Sobolev: Sur un Théorème d analyse fonctionnelle, Mat. Sbornik, 4(46), Cauchy Problem In this section ( we) formulate the Cauchy problem for a linear differential operator a x,. To begin with we make a few formal reductions. x Let S be a hypersurface in R n defined by an equationϕ(x) = 0 where ϕ is a sufficiently ( often continuously differentiable function with ϕ its gradientϕ x (x 0 ) (x 0 ),..., ϕ ) (x 0 ) 0 at every point x 0 of S. x 1 x n Let n denote the normal at the point x 0 to S and denote the derivation n along the normal n. Suppose x 0 is a point on S ; let u 0,...,u m 1 be functions on S defined in a neighbourhood of x 0. A setψ=(u 0,...,u m 1 ) of such functions is called a set of Cauchy data on S for any differeential operator

10 of order m. The Cauchy dataψare said to be analytic (resp. of class E m, resp. of class E ) if each of the functions u 0, u 1,...,u m 1 is an analytic (resp. m times continuously differentiable function resp. infinitely differentiable function) in their domain of definition. Let there be given a function f defined in a neighbourhood U in R n of a point x 0 of S and Cauchy dataψ in a neighbourhood ( V of) x 0 on S. The Cauchy problem for the differential operator a x, with the x Cauchy dataψon S consists in finding a function u defined in a neighbourhood U of x 0 in R n satisfying ( (2.1) a x, x ) u= f in U ( ) m 1 and u(x) = u 0 (x), n u(x) = u 1(x);..., u(x) = u m 1(x) for n x V U. When such a u exists we call it a solution of the Cauchy problem. In the study of the Cauchy problem the following questions arise: the existence of a solution u and its domain of definition, uniqueness when the solution exists, dependence of the solution on the Cauchy data and the existence of the solution in the large. The answers to these questions will largely depend on the nature of the differential operator and of the surface S (supporting the Cauchy data) in relation to the differential operator besides the Cauchy dataψand f. In order to facilitate the formulation and the study of the above questions we first make a preliminary reduction. By a change of variables (x 1,..., x n ) (x 1,..., x n) with x 1 = x 1,..., x n 1 = x n 1 and x n=ϕ(x) the equation ( ) (2.1) a x, u= f x is transformed into an equation of the form ( ) m h(x,ϕ x ) u+ = f x n

11 2. Cauchy Problem 7 ( ϕ whereϕ x =,..., ϕ ) and h(x,ξ)= a ν (x)ξ ν,ξ= (ξ 1,...,ξ n ). 8 x 1 x n ν =m The summation above contains derivatives of u of orders< m in the x n -direction. (1) If h(x,ϕ x (x)) 0 in a neighbourhood of the point under consideration we can divide the above expression for the equation by the factor h(x,ϕ x ) and write (2.2) ( x n ) m u+ ν m ν n m 1 ( ) ν a ν (x ) x u= This is called the normal form of the equation. ( ) a x, u= f. x The Cauchy problem is now given by ( x n f h(x,ϕ x ). ) j a(x 1..., x n 1, 0)=u j(x 1,..., x n 1 ) for j=0, 1,...,m 1. (2) In the case in which h(x,ϕ x )=0 at a point x 0 of S the study of the Cauchy problem in the neighbourhood of x 0 becomes considerably more difficult. In what follows we only study the case (1) where the equation can bebrought to the normal form by a suitable change of variables. This motivates the following Definition. A surface S defined by an equationϕ(x)=0(ψ being once continuously differentiable) in R n is said to be ( a characteristic ) variety or characteristic hypersurface of the operator a x, if h(x, gradϕ(x))= x 0 for all the points x on S. 9 A vectorξ R n is said to be a ( characteristic ) direction at x with respect to the differential operator a x, if h(x,ξ)=0. x

12 8 1. ( Clearly, ) if S is a characteristic variety of a differential operator a x, then the vector normal to S at any point on it will be a characteristic direction at that point. For any point x S the set of vectors x ξ which are characteristic directions at x form a cone in theξ-space with ( vertex ) at the origin called the characteristic cone of the operator a x, at the point x. In the following we restrict ourselves to the x case where S is not characteristic for the differential operator at any point and hence assume the operator to be in the normal form. 3 Cauchy - Kowalevsky theorem and Holmgren s theorem 10 The first general result concerning the Cauchy problem (local) is the following theorem due to Cauchy and Kowalevsky. This we recall without proof. For a proof see for example Petrousky [1]. From now on we change slightly the notation and denote a point of R n+1 by (x, t)=(x 1,..., X n, t) and a point of R n by x=(x 1,..., x n ). Let ( ) m ( ) ν ( ) j (3.1) L + a ν, j (x, t) t x t ν + j m j m 1 be a differential operator of order m written in the normal form with variable coefficients. Theorem 1 (Cauchy-Kowalevsky). Let the coefficients a ν, j of L be defined and analytic in a neighbourhood U of the origin in the (x, t) space. Suppose that f is an analytic function on U and ψ is an analytic Cauchy datum in a neighbourhood V of the origin in the x-space. Then there exists a neighbourhood W of the origin in the (x, t)-space and a unique solution u of the Cauchy problem (3.2) Lu= f in W and ( ) ju = u j on W {t=0} for j=0, 1,...,m 1, t

13 3. Cauchy - Kowalevsky theorem and Holmgren s theorem 9 which is defined and analytic in W. Remark. The domain W of existence of u depends on U, V and the maximum moduli of a ν, j. It is not in general, possible to assert the existence of a solution of the Cauchy problem when the Cauchy data are only of class E. Howevr for a certain class of differential operators-such as Hyperbolic operators - the existence (even in the large) of solutions of the Cauchy problem can be established under some conditions. This will be done in the subsequent sections. If u 1 and u 2 are two analytic solutions of the Cauchv problem in a neighbourhood of the origin with the same analytic Cauchy data the theorem of Cauchy-Kowalevsky asserts that u 1 u 2. Holmgren showed that for an operator with analytic coefficients the solution is unique, if it exists, in the class E m (m, we recall., is the order of L). More precisely we have the Theorem 2 (Holmgren). If the coefficients a ν, j of the differential oper- 11 ator L are analytic functions in a neighbourhood U of the origin then there exists a numberε 0 > 0 satisfying the following: for any 0<ε<ε 0 if the Cauchy dataψvanish on (t=0) D ε then any solution u E m of the Cauchy problem Lu=0 in D ε and ( ) j u=0 on (t=0) D ε for j=0, 1,...,m 1, t itself vanishes identically in D ε, where D ε denotes the set { } (x, t) R n 1 x 2 + t <ε. Proof. By a change of variables (x, t) (x, t ) where x k = x k(k = 1,...,n) and t = t+ x x2 n the half space t 0 is mapped into the domain { } Ω= (x, t ) R n+1 t x 2 0

14 10 1. in the (x 1, t ) space. The transformed function u (x, t ) and its derivatives upto order (m 1) in the direction of the interior normal to the hypersurface{t x 2 = 0} vanish identically on the hyper-surface. Hence extending u by zero outside the domainωwe obtain a function in E m, which we again denote by u, with support contained inω. The differential operator is transformed into another differential operator of order m with analytic coefficients. Thus we may assume that u is a solution of an equation ( θ ) m ( ) ν ( ) j (3.3) Lu u+ a ν, j (x, t) u=0 t x t ν + j m j m 1 12 with support contained inω. Let t L be the transpose operator of L and V be a solution of t L[v]=0 inω h =Ω {0 t h} satisfying the conditions (3.4) v(x, h)= t v(x, h)=...= ( t) m 2 v(x, h)=0 on the hyperplane (t=h). Then we have (3.5) (u t L[v] v L[u])dx dt=0. Ω h On the other hand, integrating by parts with respect to the variables t and x yields ( ) m 1 (u t L[v] vl[u])dx dt= ( 1) m u(x, t) v(x, t)dx Ω h t=h t because of the conditions (3.4). ( ) m 1 (3.6) Hence ( 1) m u(x, t) v(x, t)dx=0. t t=h Now consider the Cauchy problems t L [v]=0

15 4. Solvability of the Cauchy problem in the class E m 11 ( ) j v(x, 0)=0, j=1,...m, t ( ) m 1 v(x, 0)=P(x), t P(x) running through polynomials. By the Cauchy Kowalevsky Theorem, there exists solutions v(x), in a fixed neighbourhood t h satisfying the above Cauchy problems. Hence there is a h > 0 such 13 that, for every polynomial P(x) there exist v inω h satisfying (3.4) with ( ) m 1 u(x, h) = P(x). Hence by (3.6) u(x, t) is orthogonal to every t polynomial P(x) for t h. Hence u(x, t) 0 for 0 t h. Replacing t, by t we obtain u(x, t) 0 for h t 0. Hence u(x, t) 0 in D ε which finishes the prove of the theorem. Further general results on the uniqueness of the solution of the Cauchy problem were proved by Calderon [1]. We restrict ourselves to stating one of his results ([3]). Theorem 3 (Calderon). Let L be an operator of the form (3.1) with real coefficients. Assume that in a neighbourhood of the origin all the coefficients a ν, j (x, t), for ν + j=m, belong to C 1+σ (σ>0) and the other coefficients are bounded. Further suppose that the characteristic equation at the origin (3.6) P(λ,ξ) λ m + a ν, j (0, 0)ξ ν λ j = 0 ν + j=m has distinct roots for any realξ 0. If the solution u belong to C m and has zero Cauchy data (more precisely, Cauchy data, zero in a neighbourhood of the hyperplane t = 0) then u 0 in a neighbourhood of the origin. 4 Solvability of the Cauchy problem in the class E m In this section we make a few remarks on the existence of solutions of the Cauchy problem in the class E m under weaker regularity conditions on the coefficients of the differential operator. We begin with the fol- 14 lowing formal definition.

16 12 1. Let (4.1) L ( ) m + t ν + j m j m 1 ( ) ν ( ) j a ν, j (x, t) x t be a differential operator of order m in the normal form. Definition. The Cauchy problem for L is said to be solvable at the origin in the class if for any given f E x,t and any Cauchy datumψof class E x there exists a neighbourhood D ψ, f of the origin in the (x, t) space and a solution u E x,t (D (ψ, f ) ) of the Cauchy problem for L withψas the Cauchy datum. Remark. The Cauchy problem for a general linear differential operator L is not in general solvable in the class E as is shown by the following counter example due to Hadmard. Counter example (Hadamard). Let L be the Laplacian in R 3 (4.2) ( ) 2 ( ) 2 ( ) x y z and (z=0) be the hyperplane supporting the Cauchy data. Consider for the Cauchy data the conditions u(x, y, 0)=u 0 (x, y) and u (x, y, 0)=0. z Suppose u(x, y, z) u is a solution of u=0 in z 0 with the Cauchy data (u 0, 0). Extend u to the whole of R 3 by setting ũ(x, y, z)=u(x, y, z) for z 0 and = u(x, y, z) for z ũ satisfies the equation ũ=0 in the sense of distributions. In fact, for anyϕ D(R 3 ) we have ũ, ϕ = ũ(x, y, z) ϕ(x, y, z)dx dy dz R 3

17 4. Solvability of the Cauchy problem in the class E m 13 { = lim ε 0 z ε ( ) ϕ ũ 2ũ ũ dx dy dz+ z z x 2+ 2 y 2 ϕdx dy dz z ε and z ε ũ z [ ϕ dx dy dz= ϕ ũ ] ε dx dy z z ε z ε 2 ũ z2ϕdz dx dy Hence { ũ, ϕ =lim ε 0 = 0 ϕ(x, y,ε) ũ (x, y,ε)dx dy z ϕ(x, y, ε) ũ } (x, y, ε)dx dy z By the regularity of solutions of elliptic equations u is an analytic function of x, y, z in R 3. Since u 0 (x, y)=u(x, y, 0)=ũ(x, y, 0), u 0 is an analytic function of (x, y). Thus, if u 0 is taken to be in E x but non analytic there does not exist a solution of the Cauchy problem for u=0 with the Cauchy data (u 0, 0). As far as the domain of existence of a solution of the Cauchy problem is concerned we know by the Cauchy Kowalevsky theorem that, whenever the coefficients of L, f and the Cauchy dataψare of analytic classes, there exists a neighbourhood of the origin and an analytic function u on it satisfying L[u] = f with Cauchy data ψ. However it is not in 16 general possible to continue this local solution u to the whole space as a solution of L[u]= f. This is domonstrated by the following counter example which is again due to Hadamard. Counter example. Let the differential operator be L ( ) 2 ( ) 2 +. x y A solution of L[u] = 0 is provided by u(x, y)=re 1 z a = x a (x a) 2 + y 2 where a>0.

18 14 1. Clearly u(0, y) and u (0, y) are analytic functions of Y. However x this solution can not be continued to the half plane x a as can be easily seen. For a class of differential operators the existence of soluctions in the large has been established by Hadamard, Petrowsky, Leray, Garding and others. We shall prove some of these results later by using the method of singular integral operators introduced by Calderon and Zygmund.

19 Chapter 2 In this chapter as well as in the next chapter we will be mainly con- 17 cerned with the study of the Cauchy problem for systems of differential equations of the first order, which will be referred to as first order systems. 1 If u(x, t)=(u 1 (x, t),...,u N (x, t)) and f (x, t)=( f 1 (x, t),..., f N (x, t)) denote vector valued functions with N components, a first order system of equations can be written in the form (1.1) M[u] t u n 1 A K (x, t) x k u B(x, t)u= f where A k (x, t), B(x, t) are matrices of order N of functions whose rigularity conditions will be made precise in each of the problems under consideration. Definition. The Cauchy problem for a first order system M[u]=0 is said to be locally solvable at the origin in the space E (resp. B, resp. D L 2 ) if for any givenψ E (U) (resp. B(U), resp. D L 2 (U))U being an arbitrary open set in the x-space containing the origin there exists a neighbourhood V of the origin in R n+1 and a function u E (V) (resp. B(V), resp D L 2 (V)) satisfying M[u]=0 and u(x, 0)=ψ(x) 15

20 16 2. (V may depend onψ). 18 The following proposition shows that when the system M has analytic coefficients the local solvability of the Cauchy problem implies the existence of a neighbourhood V independent ofψsuch that for any ψ E x there exists a unique solution u E 1 (V). We define a family of open sets D ε of R n+1 by { (1.2) D ε = (x, t) R n+1 } t + x 2 <ε. Proposition 1 (P.D. Lax). [1]. Assume that the coefficients of M are analytic and the Cauchy problem for M is locally solvable at the origin. Then there exists aδ>0 such that for any givenψ E x (U) there exists a unique solution u E 1 (D δ ) of M[u]=0, u(x, 0)=ψ(x). Proof. By Holmgren s theorem there exists anε 0 > 0 such that for 0<ε ε 0 a solution, u Ex,t 1 with u(x, 0)=ψ(x) on D ε (t=0) is uniquely determined in D ε. Letε 0 >ε 1... be a sequence of positive numbersε n 0. Denote by A k,m the set of allψ E x (U) such that the solution u of M[u]=0 with u(x, 0)=ψ(x) for x D εk (t=0) is in E [ n 2 ]+2 (Dε L 2 k ) and satisfies u [ n 2 ]+2 m. 19 The sets A k,m are symmetric and convex. Further E (U)= k,m A k,m, by the local solvability at the origin. We shall now show tht A k,m is closed for every k, m. Letψ j be a sequence in A k,m converging toψ 0 in E (U). The corresponding sequence of solutions u j is a bounded set in E [ n 2 ]+2 (D L 2 εk ) and hence has a subsequence u jp (x, t) weakly convergent in E [ n 2 ]+2 (D L 2 εk ). In view of the Prop. 1 of Chap. 1 1we can, if necessary by choosing a subsequence, assume that u jp (x, t) converges in E [ 2 n ]+1 L 2 (loc) (D k ). Let this limit be u 0. Since u jp u 0 weakly in E [ n 2 ]+2 (D L 2 k ) we have u 0 [ n 2 ]+2 m. By prop?? of Chap 1 1(Sobolev s lemma) u 0 E 1 (D k ) and further M[u 0 ]=0. Again u jp u 0 in E [ n 2 ]+1 L 2 (loc) (D k ) implies that this conver-

21 2. Well-posedness and uniform-well posedness gence is uniform on every compact subset of D k and hence u 0 (x, 0)= ψ 0 (x). Thus A k,m is a closed subset ofe x (U). Now by Baire s category theorem one of the A k,m, let us say A k0,m 0, contains an open set of E x (U). A k0,m 0, being symmetric and convex contains therefore a neighbourhood of 0 in E x (U). Since anyψ E x (U) has a homothetic image λψ in this neighbourhood, there is a unique solution u E [ n 2 ]+2 (D L 2 k0 ), a fortiori, in E 1 (D Ek0 ) of M[u]=0 with u(x, 0)=ψ(x). k0 can be taken to be the requiredδ. Theorem 1. Let the coefficients A k (x, t), B(x, t) of M be analytic. If the Cauchy problem is locally solvable at the origin in the space E then the linear mappingψ(x) u(x, t) is continuous from E (U) in to E 1 (D 0 ). Proof. The graph of the mappingψ u is closed in E (U)xE 1 (D 0 ) because of the uniqueness of the solution of M[u]=0, with u(x, 0)= ψ(x) in D 0. Hence by the closed graph theorem of Banach the mapping is continuous. This leads us to the notion of well-posedness of the Cauchy problem 20 in the sence of Hadamard. This we consider in the following section. 2 Well-posedness and uniform-well posedness of the Cauchy problem By a k-times differentiable function on a closed interval [0, h] we mean the restriction to [0, h] of a k-times continuously defferentiable function on an open interval containing [0, h]. The space of continuous functions of t in [0, h] with values in the space Ex m is denoted by E m [0, h]. It is provided with the topology of uniform convergence in the topology of Ex m (uniform with respect to t in [0, h]). In other words, a sequenceϕ n E m [0, h] converges to 0 in the topology of E m [0, h] ifϕ n (t)=ϕ n (x, t) 0 in Ex m uniformly with respect to t in [0, h]. A vector valued function u=(u 1,...,u N ) is said to belong to E m [0, h] if each of its components u j belong to E m [0, h]. Similarly one can define the spaces B m [0, h] D s [0, h], L 2 [0, h]= L 2 D 0 [0, h] etc. These will be the spaces which we shall be using in our L 2

22 18 2. discussions hereafter. We also write B[0, h], E [0, h], D L 2[0, h] instead of B [0, h], E [0, h], D L 2 [0, h]. Following Petrowesky [2] we give the Definition. The forward Cauchy problem for a first order system M is said to be well posed in the space E in an interval [0, h] if 21 (1) for any given function f belonging to E [0, h] and any Cauchy data ψ E x there exists a unique solution u belonging to E [0, h] and once continuously differentiable with respect to t in [0, h] (with its first derivative w.r.t. t having its values in E x ) of M[u]= f with u(x, 0)=ψ(x); and (2) the mapping ( f,ψ) u is continuous from E [0, h] E x into E [0, h]. Definition. The forward Cauchy problem for a first order system M is said to be uniformly well posed in the space E if for every t 0 [0, h] the following condition is satisfied: (1) for any given function f belonging to E [0, h] and any Cauchy data ψ E x there exists a unique solution u=u(x, t, t 0 ) belonging to E [t 0, h] and once continuously differentiable with respect to t in [t 0, h] (the first derivative having its values in E x ) of M[u]= f with u(x, t 0, t 0 )=ψ(x); and (2) the mapping ( f,ψ) u is uniformly continuous from E [0, h], E x into E [t 0, h]. The condition of uniform continuity can also be analytically described as follows: given an integer l and a compact set K of R n there exists an integer l, a compact set K of R n and a constant C (all independent of t 0 in [0, h]) such that (2.1) sup t 0 t h u(x, t, t 0 ) E l C( ψ(x) K E l K + sup f (x, t) E l 0 t h K 22 ( ) ν where g(x) E r K = sup g(x). x K δx 0 ν r Similar statements hold also for the spaces B and D. L 2

23 2. Well-posedness and uniform-well posedness We shall now give some criteria for the well posedness of the forward Cauchy problem for first order systems M. For this purpose we introduce the notions of characteristic equation and of the characteristic roots of a first order system M. The polynomical equation (2.2) det ( λi i A k (x, t)ξ k B(x, t) ) = 0 is called the characteristic equation of M and the rootsλ 1 (x, t,ξ),..., λ N (x, t,ξ) of this equation are called the characteristic roots of M. It will be useful for our future considerations to introduce the notions of characteristic equation and of characteristic roots for a single equation of order m of the form (2.3) L= ( t ) m + ν + j m j m 1 ( ) ν ( ) j a ν, j (x, t). x t Consider the principal part of L and write it in the form ( ) m m 1 )( ) j (2.4) + a j (x, t, t x t j=0 where a j (x, t,ξ)= a ν, j (x, t)ξ ν is a homogeneous polynomial inξ ν =m j of degree m j. The characteristic equation of L is defined to be m 1 (2.5) λ m + a j (x, t,ξ)λ j = 0 j=0 and its roots are called the characteristic roots( of L. ) 23 m 1 We remark here that if we take u u, u t,..., t as a system of unknown functions, say (u 1, u 2,...,u m ), we have (2.6) u u 1 ( x) u 1 t. =.... H x, t,. u m u m u m a 0 a 1 a 2... a m 1

24 20 2. and det(λi H(x, t,ξ))=λ m + m 1 j=0 a j(x, t,ξ)λ j. Thus the characteristic roots of L are the same as those of the system (2.6). We now obtain necessary and sufficient condition for the well posedness of the Cauchy problem for first order systems in the case where the coefficients depend only on t: (2.7) u t = A k (t) u + B(t)u. x k These conditions depend on the nature of the roots of its characteristic equation (2.8) det(λi i A k (t)ξ k B(t))=0 In the case where A k and B are constant matrices, we have the following proposition. Proposition 1 (Hadamard). Let the coefficients A k and B of M be constants. A necessary condition in order that the forward Cauchy problem for M be well posed in the space B is that there exist constants c and p such that (2.9) Reλ j (ξ) p log(1+ ξ )+c ( j=1,..., N). 24 Proof. Assume that the forward Cauchy problem for M is well posed but the condition (2.9) is not satisfied. First of all we observe that, ifλ(ξ) is any characteristic root of M there exists a non-zero vector P(ξ) C N with P(ξ) =1 such that ( λ(ξ)i i A k ξ k B ) P(ξ)=0. Then u(x, t)=exp(λ(ξ)t+ ix ξ). P(ξ) is a solution of M[u]=0. By assumption for any p > 0 there exists a vectorξ, ξ 2, and a characteristic rootλ(ξ) such that, For thisλ(ξ) we have Reλ(ξ) p log(1+ ξ ).

25 2. Well-posedness and uniform-well posedness (i) M[u] M[exp(λ(ξ)t+ix.ξ) P(ξ)]=0; (ii) u(x, t) =exp(reλ(ξ)t) P(ξ) (1+ ξ ) pt for t>0; and (iii) ( ) ν ν l u(x, 0) C(1)(1+ ξ ) l. x The inequalities (ii) and (iii) show that the forward Cauchy problem is not well posed which contradicts the assumption. Hence Proposition 1 is proved. For a smooth function u (for instance a function in L 2 or S ) the Fourier transform û with respect to x is defined by (2.10) û(ξ, t) = u(x, t) exp( 2πix.ξ)dx. More precisely if u belongs to S then its Fourier image is denoted by û and û belongs to S. Let us now assume that the coefficients A k and B of M are continu- 25 ous functions of t in [0, h] but do not depend on x. Consider the system of ordinary differential equations (2.11) d û(ξ, t)= dt 2πi A k (t)ξ k + B(t) û(ξ, t). k If v j 0 denotes the vector in RN whose j th component is 1 and the other companents are 0, let v j (ξ, t, t 0 ) be the fundamental system of solutions of the system (2.11) (defined in [t 0, h]) with the initial conditions v j (ξ, t 0, t 0 )=v j 0. Then we have the Proposition 2 (Petrowsky). Let the coefficients A k and B of M be continuous functions of t in [0, h]. A necessary condition in order that the forward Cauchy problem for M be uniformly well posed in the spaces B and D L 2 is that there exist constant c and p, both independent of t 0 in [0, h], such that (2.12) V j (ξ, t, t 0 ) c(1+ ξ ) p.

DISTRIBUTIONS AND FOURIER TRANSFORM

DISTRIBUTIONS AND FOURIER TRANSFORM MIKKO SALO Introduction. The theory of distributions, or generalized functions, provides a unified framework for performing standard calculus operations on nonsmooth

Course 221: Analysis Academic year , First Semester

Course 221: Analysis Academic year 2007-08, First Semester David R. Wilkins Copyright c David R. Wilkins 1989 2007 Contents 1 Basic Theorems of Real Analysis 1 1.1 The Least Upper Bound Principle................

Class Meeting # 1: Introduction to PDEs

MATH 18.152 COURSE NOTES - CLASS MEETING # 1 18.152 Introduction to PDEs, Fall 2011 Professor: Jared Speck Class Meeting # 1: Introduction to PDEs 1. What is a PDE? We will be studying functions u = u(x

Systems with Persistent Memory: the Observation Inequality Problems and Solutions

Chapter 6 Systems with Persistent Memory: the Observation Inequality Problems and Solutions Facts that are recalled in the problems wt) = ut) + 1 c A 1 s ] R c t s)) hws) + Ks r)wr)dr ds. 6.1) w = w +

The Heat Equation. Lectures INF2320 p. 1/88

The Heat Equation Lectures INF232 p. 1/88 Lectures INF232 p. 2/88 The Heat Equation We study the heat equation: u t = u xx for x (,1), t >, (1) u(,t) = u(1,t) = for t >, (2) u(x,) = f(x) for x (,1), (3)

CONTROLLABILITY. Chapter 2. 2.1 Reachable Set and Controllability. Suppose we have a linear system described by the state equation

Chapter 2 CONTROLLABILITY 2 Reachable Set and Controllability Suppose we have a linear system described by the state equation ẋ Ax + Bu (2) x() x Consider the following problem For a given vector x in

BANACH AND HILBERT SPACE REVIEW

BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but

Reference: Introduction to Partial Differential Equations by G. Folland, 1995, Chap. 3.

5 Potential Theory Reference: Introduction to Partial Differential Equations by G. Folland, 995, Chap. 3. 5. Problems of Interest. In what follows, we consider Ω an open, bounded subset of R n with C 2

A MIXED TYPE IDENTIFICATION PROBLEM RELATED TO A PHASE-FIELD MODEL WITH MEMORY

Guidetti, D. and Lorenzi, A. Osaka J. Math. 44 (27), 579 613 A MIXED TYPE IDENTIFICATION PROBLEM RELATED TO A PHASE-FIELD MODEL WITH MEMORY DAVIDE GUIDETTI and ALFREDO LORENZI (Received January 23, 26,

6. Metric spaces. In this section we review the basic facts about metric spaces. d : X X [0, )

6. Metric spaces In this section we review the basic facts about metric spaces. Definitions. A metric on a non-empty set X is a map with the following properties: d : X X [0, ) (i) If x, y X are points

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

Chapter 5. Banach Spaces

9 Chapter 5 Banach Spaces Many linear equations may be formulated in terms of a suitable linear operator acting on a Banach space. In this chapter, we study Banach spaces and linear operators acting on

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points

Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a

Metric Spaces. Chapter 7. 7.1. Metrics

Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some

The Dirichlet Unit Theorem

Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

Riesz-Fredhölm Theory

Riesz-Fredhölm Theory T. Muthukumar tmk@iitk.ac.in Contents 1 Introduction 1 2 Integral Operators 1 3 Compact Operators 7 4 Fredhölm Alternative 14 Appendices 18 A Ascoli-Arzelá Result 18 B Normed Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

Inner Product Spaces

Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and

Applications of Fourier series

Chapter Applications of Fourier series One of the applications of Fourier series is the evaluation of certain infinite sums. For example, n= n,, are computed in Chapter (see for example, Remark.4.). n=

Summary of week 8 (Lectures 22, 23 and 24)

WEEK 8 Summary of week 8 (Lectures 22, 23 and 24) This week we completed our discussion of Chapter 5 of [VST] Recall that if V and W are inner product spaces then a linear map T : V W is called an isometry

MATH 425, PRACTICE FINAL EXAM SOLUTIONS.

MATH 45, PRACTICE FINAL EXAM SOLUTIONS. Exercise. a Is the operator L defined on smooth functions of x, y by L u := u xx + cosu linear? b Does the answer change if we replace the operator L by the operator

Factorization Theorems

Chapter 7 Factorization Theorems This chapter highlights a few of the many factorization theorems for matrices While some factorization results are relatively direct, others are iterative While some factorization

3. INNER PRODUCT SPACES

. INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.

Extremal equilibria for reaction diffusion equations in bounded domains and applications.

Extremal equilibria for reaction diffusion equations in bounded domains and applications. Aníbal Rodríguez-Bernal Alejandro Vidal-López Departamento de Matemática Aplicada Universidad Complutense de Madrid,

UNIT 2 MATRICES - I 2.0 INTRODUCTION. Structure

UNIT 2 MATRICES - I Matrices - I Structure 2.0 Introduction 2.1 Objectives 2.2 Matrices 2.3 Operation on Matrices 2.4 Invertible Matrices 2.5 Systems of Linear Equations 2.6 Answers to Check Your Progress

b i (x) u x i + F (x, u),

Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 14, 1999, 275 293 TOPOLOGICAL DEGREE FOR A CLASS OF ELLIPTIC OPERATORS IN R n Cristelle Barillon Vitaly A. Volpert

NOTES ON MEASURE THEORY. M. Papadimitrakis Department of Mathematics University of Crete. Autumn of 2004

NOTES ON MEASURE THEORY M. Papadimitrakis Department of Mathematics University of Crete Autumn of 2004 2 Contents 1 σ-algebras 7 1.1 σ-algebras............................... 7 1.2 Generated σ-algebras.........................

Duality of linear conic problems

Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least

EXISTENCE AND NON-EXISTENCE RESULTS FOR A NONLINEAR HEAT EQUATION

Sixth Mississippi State Conference on Differential Equations and Computational Simulations, Electronic Journal of Differential Equations, Conference 5 (7), pp. 5 65. ISSN: 7-669. UL: http://ejde.math.txstate.edu

Properties of BMO functions whose reciprocals are also BMO

Properties of BMO functions whose reciprocals are also BMO R. L. Johnson and C. J. Neugebauer The main result says that a non-negative BMO-function w, whose reciprocal is also in BMO, belongs to p> A p,and

A PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS. In memory of Rou-Huai Wang

A PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS XAVIER CABRÉ, MANEL SANCHÓN, AND JOEL SPRUCK In memory of Rou-Huai Wang 1. Introduction In this note we consider semistable

Adaptive Online Gradient Descent Peter L Bartlett Division of Computer Science Department of Statistics UC Berkeley Berkeley, CA 94709 bartlett@csberkeleyedu Elad Hazan IBM Almaden Research Center 650

LINEAR ALGEBRA W W L CHEN

LINEAR ALGEBRA W W L CHEN c W W L Chen, 1997, 2008 This chapter is available free to all individuals, on understanding that it is not to be used for financial gain, and may be downloaded and/or photocopied,

Inner Product Spaces and Orthogonality

Inner Product Spaces and Orthogonality week 3-4 Fall 2006 Dot product of R n The inner product or dot product of R n is a function, defined by u, v a b + a 2 b 2 + + a n b n for u a, a 2,, a n T, v b,

Function Sequences and Series

Chapter 7 Function Sequences and Series 7.1 Complex Numbers This is not meant to be a thourogh and completely rigorous construction of complex numbers but rather a quick brush up of things assumed to be

Notes on weak convergence (MAT Spring 2006)

Notes on weak convergence (MAT4380 - Spring 2006) Kenneth H. Karlsen (CMA) February 2, 2006 1 Weak convergence In what follows, let denote an open, bounded, smooth subset of R N with N 2. We assume 1 p

4. Matrix inverses. left and right inverse. linear independence. nonsingular matrices. matrices with linearly independent columns

L. Vandenberghe EE133A (Spring 2016) 4. Matrix inverses left and right inverse linear independence nonsingular matrices matrices with linearly independent columns matrices with linearly independent rows

3.7 Non-autonomous linear systems of ODE. General theory

3.7 Non-autonomous linear systems of ODE. General theory Now I will study the ODE in the form ẋ = A(t)x + g(t), x(t) R k, A, g C(I), (3.1) where now the matrix A is time dependent and continuous on some

Distributions, the Fourier Transform and Applications. Teodor Alfson, Martin Andersson, Lars Moberg

Distributions, the Fourier Transform and Applications Teodor Alfson, Martin Andersson, Lars Moberg 1 Contents 1 Distributions 2 1.1 Basic Definitions......................... 2 1.2 Derivatives of Distributions...................

MATH 240 Fall, Chapter 1: Linear Equations and Matrices

MATH 240 Fall, 2007 Chapter Summaries for Kolman / Hill, Elementary Linear Algebra, 9th Ed. written by Prof. J. Beachy Sections 1.1 1.5, 2.1 2.3, 4.2 4.9, 3.1 3.5, 5.3 5.5, 6.1 6.3, 6.5, 7.1 7.3 DEFINITIONS

Systems of Linear Equations

Systems of Linear Equations Beifang Chen Systems of linear equations Linear systems A linear equation in variables x, x,, x n is an equation of the form a x + a x + + a n x n = b, where a, a,, a n and

Ideal Class Group and Units

Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals

2.3 Convex Constrained Optimization Problems

42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,

General Theory of Differential Equations Sections 2.8, 3.1-3.2, 4.1

A B I L E N E C H R I S T I A N U N I V E R S I T Y Department of Mathematics General Theory of Differential Equations Sections 2.8, 3.1-3.2, 4.1 Dr. John Ehrke Department of Mathematics Fall 2012 Questions

Numerical Analysis Lecture Notes

Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number

Weak topologies. David Lecomte. May 23, 2006

Weak topologies David Lecomte May 3, 006 1 Preliminaries from general topology In this section, we are given a set X, a collection of topological spaces (Y i ) i I and a collection of maps (f i ) i I such

1 if 1 x 0 1 if 0 x 1

Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

Metric Spaces. Chapter 1

Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence

HOLOMORPHIC FRAMES FOR WEAKLY CONVERGING HOLOMORPHIC VECTOR BUNDLES

HOLOMORPHIC FRAMES FOR WEAKLY CONVERGING HOLOMORPHIC VECTOR BUNDLES GEORGIOS D. DASKALOPOULOS AND RICHARD A. WENTWORTH Perhaps the most useful analytic tool in gauge theory is the Uhlenbeck compactness

1 VECTOR SPACES AND SUBSPACES

1 VECTOR SPACES AND SUBSPACES What is a vector? Many are familiar with the concept of a vector as: Something which has magnitude and direction. an ordered pair or triple. a description for quantities such

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS 1. SYSTEMS OF EQUATIONS AND MATRICES 1.1. Representation of a linear system. The general system of m equations in n unknowns can be written a 11 x 1 + a 12 x 2 +

UNIVERSITETET I OSLO

NIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Examination in: Trial exam Partial differential equations and Sobolev spaces I. Day of examination: November 18. 2009. Examination hours:

Separation Properties for Locally Convex Cones

Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam

Lecture 1: Schur s Unitary Triangularization Theorem

Lecture 1: Schur s Unitary Triangularization Theorem This lecture introduces the notion of unitary equivalence and presents Schur s theorem and some of its consequences It roughly corresponds to Sections

Linear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007)

MAT067 University of California, Davis Winter 2007 Linear Maps Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007) As we have discussed in the lecture on What is Linear Algebra? one of

Introduction to Flocking {Stochastic Matrices}

Supelec EECI Graduate School in Control Introduction to Flocking {Stochastic Matrices} A. S. Morse Yale University Gif sur - Yvette May 21, 2012 CRAIG REYNOLDS - 1987 BOIDS The Lion King CRAIG REYNOLDS

Course 421: Algebraic Topology Section 1: Topological Spaces

Course 421: Algebraic Topology Section 1: Topological Spaces David R. Wilkins Copyright c David R. Wilkins 1988 2008 Contents 1 Topological Spaces 1 1.1 Continuity and Topological Spaces...............

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS Systems of Equations and Matrices Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a

MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set.

MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set. Vector space A vector space is a set V equipped with two operations, addition V V (x,y) x + y V and scalar

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied

Cylinder Maps and the Schwarzian

Cylinder Maps and the Schwarzian John Milnor Stony Brook University (www.math.sunysb.edu) Bremen June 16, 2008 Cylinder Maps 1 work with Araceli Bonifant Let C denote the cylinder (R/Z) I. (.5, 1) fixed

The General, Linear Equation

Chapter 2 The General, Linear Equation Let a 1 (x), a 2 (x),..., a n (x) be continuous functions defined on the interval a x b, and suppose u (x) is n-times differentiable there. We form from u the function

Mathematical Methods of Engineering Analysis

Mathematical Methods of Engineering Analysis Erhan Çinlar Robert J. Vanderbei February 2, 2000 Contents Sets and Functions 1 1 Sets................................... 1 Subsets.............................

LS.6 Solution Matrices

LS.6 Solution Matrices In the literature, solutions to linear systems often are expressed using square matrices rather than vectors. You need to get used to the terminology. As before, we state the definitions

Scalar Valued Functions of Several Variables; the Gradient Vector

Scalar Valued Functions of Several Variables; the Gradient Vector Scalar Valued Functions vector valued function of n variables: Let us consider a scalar (i.e., numerical, rather than y = φ(x = φ(x 1,

The Ideal Class Group

Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned

Multiplicity. Chapter 6

Chapter 6 Multiplicity The fundamental theorem of algebra says that any polynomial of degree n 0 has exactly n roots in the complex numbers if we count with multiplicity. The zeros of a polynomial are

No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results

Inner products on R n, and more

Inner products on R n, and more Peyam Ryan Tabrizian Friday, April 12th, 2013 1 Introduction You might be wondering: Are there inner products on R n that are not the usual dot product x y = x 1 y 1 + +

1 Norms and Vector Spaces

008.10.07.01 1 Norms and Vector Spaces Suppose we have a complex vector space V. A norm is a function f : V R which satisfies (i) f(x) 0 for all x V (ii) f(x + y) f(x) + f(y) for all x,y V (iii) f(λx)

(Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties

Lecture 1 Convex Sets (Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties 1.1.1 A convex set In the school geometry

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely

1 Sets and Set Notation.

LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most

ON LIMIT LAWS FOR CENTRAL ORDER STATISTICS UNDER POWER NORMALIZATION. E. I. Pancheva, A. Gacovska-Barandovska

Pliska Stud. Math. Bulgar. 22 (2015), STUDIA MATHEMATICA BULGARICA ON LIMIT LAWS FOR CENTRAL ORDER STATISTICS UNDER POWER NORMALIZATION E. I. Pancheva, A. Gacovska-Barandovska Smirnov (1949) derived four

Classification of Cartan matrices

Chapter 7 Classification of Cartan matrices In this chapter we describe a classification of generalised Cartan matrices This classification can be compared as the rough classification of varieties in terms

MICROLOCAL ANALYSIS OF THE BOCHNER-MARTINELLI INTEGRAL

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 MICROLOCAL ANALYSIS OF THE BOCHNER-MARTINELLI INTEGRAL NIKOLAI TARKHANOV AND NIKOLAI VASILEVSKI

m = 4 m = 5 x x x t = 0 u = x 2 + 2t t < 0 t > 1 t = 0 u = x 3 + 6tx t > 1 t < 0

ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 21, Number 2, Spring 1991 NODAL PROPERTIES OF SOLUTIONS OF PARABOLIC EQUATIONS SIGURD ANGENENT * 1. Introduction. In this note we review the known facts about

College of the Holy Cross, Spring 2009 Math 373, Partial Differential Equations Midterm 1 Practice Questions

College of the Holy Cross, Spring 29 Math 373, Partial Differential Equations Midterm 1 Practice Questions 1. (a) Find a solution of u x + u y + u = xy. Hint: Try a polynomial of degree 2. Solution. Use

The Characteristic Polynomial

Physics 116A Winter 2011 The Characteristic Polynomial 1 Coefficients of the characteristic polynomial Consider the eigenvalue problem for an n n matrix A, A v = λ v, v 0 (1) The solution to this problem

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.

PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

Chapter 7. Induction and Recursion. Part 1. Mathematical Induction

Chapter 7. Induction and Recursion Part 1. Mathematical Induction The principle of mathematical induction is this: to establish an infinite sequence of propositions P 1, P 2, P 3,..., P n,... (or, simply

equations Karl Lundengård December 3, 2012 MAA704: Matrix functions and matrix equations Matrix functions Matrix equations Matrix equations, cont d

and and Karl Lundengård December 3, 2012 Solving General, Contents of todays lecture and (Kroenecker product) Solving General, Some useful from calculus and : f (x) = x n, x C, n Z + : f (x) = n x, x R,

Notes on metric spaces

Notes on metric spaces 1 Introduction The purpose of these notes is to quickly review some of the basic concepts from Real Analysis, Metric Spaces and some related results that will be used in this course.

(a) The transpose of a lower triangular matrix is upper triangular, and the transpose of an upper triangular matrix is lower triangular.

Theorem.7.: (Properties of Triangular Matrices) (a) The transpose of a lower triangular matrix is upper triangular, and the transpose of an upper triangular matrix is lower triangular. (b) The product

VERTICES OF GIVEN DEGREE IN SERIES-PARALLEL GRAPHS

VERTICES OF GIVEN DEGREE IN SERIES-PARALLEL GRAPHS MICHAEL DRMOTA, OMER GIMENEZ, AND MARC NOY Abstract. We show that the number of vertices of a given degree k in several kinds of series-parallel labelled

Solving Systems of Linear Equations

LECTURE 5 Solving Systems of Linear Equations Recall that we introduced the notion of matrices as a way of standardizing the expression of systems of linear equations In today s lecture I shall show how

1 Local Brouwer degree

1 Local Brouwer degree Let D R n be an open set and f : S R n be continuous, D S and c R n. Suppose that the set f 1 (c) D is compact. (1) Then the local Brouwer degree of f at c in the set D is defined.

20 Applications of Fourier transform to differential equations

20 Applications of Fourier transform to differential equations Now I did all the preparatory work to be able to apply the Fourier transform to differential equations. The key property that is at use here

Lecture Notes to Accompany. Scientific Computing An Introductory Survey. by Michael T. Heath. Chapter 10

Lecture Notes to Accompany Scientific Computing An Introductory Survey Second Edition by Michael T. Heath Chapter 10 Boundary Value Problems for Ordinary Differential Equations Copyright c 2001. Reproduction

NOV - 30211/II. 1. Let f(z) = sin z, z C. Then f(z) : 3. Let the sequence {a n } be given. (A) is bounded in the complex plane

Mathematical Sciences Paper II Time Allowed : 75 Minutes] [Maximum Marks : 100 Note : This Paper contains Fifty (50) multiple choice questions. Each question carries Two () marks. Attempt All questions.

1. Periodic Fourier series. The Fourier expansion of a 2π-periodic function f is:

CONVERGENCE OF FOURIER SERIES 1. Periodic Fourier series. The Fourier expansion of a 2π-periodic function f is: with coefficients given by: a n = 1 π f(x) a 0 2 + a n cos(nx) + b n sin(nx), n 1 f(x) cos(nx)dx

A matrix over a field F is a rectangular array of elements from F. The symbol

Chapter MATRICES Matrix arithmetic A matrix over a field F is a rectangular array of elements from F The symbol M m n (F) denotes the collection of all m n matrices over F Matrices will usually be denoted

Lecture 7: Finding Lyapunov Functions 1

Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science 6.243j (Fall 2003): DYNAMICS OF NONLINEAR SYSTEMS by A. Megretski Lecture 7: Finding Lyapunov Functions 1

Sharp counterexamples in unique continuation for second order elliptic equations

Sharp counterexamples in unique continuation for second order elliptic equations Herbert Koch Institut für Angewandte Mathemati Universität Heidelberg Daniel Tataru Department of Mathematics Northwestern

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization

Math 5311 Gateaux differentials and Frechet derivatives

Math 5311 Gateaux differentials and Frechet derivatives Kevin Long January 26, 2009 1 Differentiation in vector spaces Thus far, we ve developed the theory of minimization without reference to derivatives.