arxiv: v2 [math.ap] 3 Feb 2015

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "arxiv: v2 [math.ap] 3 Feb 2015"

Transcript

1 ABSENCE OF SHOCKS FO 1D EULE-POISSON SYSTEM YAN GUO, LIJIA HAN, JINGJUN ZHANG arxiv: v2 [math.ap] 3 Feb 2015 Abstract It is shown that smooth solutions with small amplitude to the 1D Euler-Poisson system for electrons persist forever with no shock formation. 1 Introduction In this paper, we consider the 1D Euler-Poisson system in plasma physics: n t +(nv) x = 0, v t +vv x + 1 m e n p(n) x = e m e ψ x (1.1) with the electric field ψ x which satisfies the Poisson equation ψ xx = 4πe(n n 0 ), with ψ 0, when x. Here, the electrons of charge e and mass m e are described by a density n(t,x) and an average velocity v(t, x). The constant equilibrium-charged density of ions and electrons is ±en 0. p denotes the pressure. Euler-Poisson system(1.1) describes the simplest two-fluid model in plasma physics. In this model, the ions are treated as immobile and only form a constant charged background n 0. The two-fluid models describe dynamics of two separate compressible fluids of ions and electrons interacting with their self-consistent electromagnetic field. As pointed in the classical bookofjackson[22, P.337], Theadiabaticlawp = p 0 (n/n 0 )canbeassumed,but the customary accoustic value γ = 5 3 for a gas of particles with 3 external, but no internal, degrees of freedom is not valid. The reason is that the frequency of the present density oscillations is much higher than the collision frequency, contrary to the acoustical limit. Consequently the one-dimensional nature of the density oscillations is maintained. A value of γ appropriate to 1 translational degree of freedom must be used. Since γ = (m+2)/m, where m is the number of degrees of freedom, we have in this case γ = 3. We therefore concentrate in this paper on this most significant physical case, and assume the pressure is given by p(n) = 1 3 n3. (1.2) 1

2 In 1998, Guo in [7] first studied Euler-Poisson system in three dimensional case. He observed that the linearized Euler-Poisson system for the electron fluid is the Klein-Gordon equation, due to plasma oscillations created by the electric field, and constructed the smooth irrotational solutions with small amplitude for all time (never develop shocks). This is a very surprising result compared to the work of Sideris [27] for pure Euler equations, where the solutions will blow up even under small perturbations. It is the dispersive effect of the electric field that enhances the linear decay rate and prevents shock formation. Note that the decay rate in the L L 1 decay estimate for the linear Klein-Gordon equation is t d 2, which is integrable when d = 3. In lower dimension case (1D and 2D case), as the decay rate for the linearized Euler- Poisson equations is worse than 3D case, so that the construction of global smooth solution is much more challenging. In 2D case, the decay rate in the L L 1 decay estimate is the borderline t 1, so the main obstructions in the 2D Euler-Poisson system are slow (nonintegrable) dispersion. ecently, smooth irrotational solutions for the 2D Euler-Poisson system (1.1) are constructed independently in [16, 25]. See also [23, 24] for related results on two dimensional case. Such an unexpected and subtle dispersive effect has been discovered and exploited in other two-fluid models, which leads to persistence of global smooth solutions and absence of shock formations. Among the results, we refer to [3, 4, 5, 8, 9, 10, 17, 15]. It has remained as an outstanding question about whether or not shock formations can be suppressed in 1D for any two-fluid model. For the Euler-Poisson system (1.1), the linear time decay rate is merely of t 1/2, and even for general 1D scalar nonlinear Klein-Gordon equation, singularity (shock waves) might develop for small initial data [14]. Nevertheless, we settle this question in affirmative for the Euler-Poisson system (1.1) with γ = 3 by constructing global smooth solutions with small amplitude. To state precisely our result, we set all the physical constants m e, e, n 0 and 4π to be one. From (1.2), system (1.1) reduces to n t +(nv) x = 0, v t +vv x +nn x = ψ x, (1.3) ψ xx = n 1. Moreover, if E := ψ x, system (1.3) can be further rewritten as E t +v +ve x = 0, v t +E xx E +vv x +E x E xx = 0. (1.4) From now on, we mainly focus on the above system. Let r := E 2, u := v 2 x, (1.5) 2

3 where x := 1 x 2, then (1.4) can be written in an equivalent form ( ) ( )( ) ( ) r 0 x r 2 x u r x + = u x 0 u x [( x x u) 2 +(r x ) 2. (1.6) ] t Once we obtain global smooth solutions (r,u) for system (1.6), then we also obtain smooth solutions (E,v) for system (1.4) by the relation (1.5), and thus the density n in (1.3) is n = 1+ψ xx = 1+E x. The main result of the paper is stated in the following theorem. Theorem 1.1 Let N = 300, N 1 = 15, 0 < p 0 < 10 3, U := (r,u) T and Γ := t x +x t. Then there exists ǫ 0 = ǫ 0 (p 0 ) > 0 sufficiently small such that if U(0) H N + xu(0) H N ξ N 1+10 Û(0) L ǫ 0, (1.7) the system (1.6) admits a global solution U C( + ;H N ) satisfying [ sup (1+t) p 0 U(t) H N +(1+t) p 0 ΓU(t) H N 1 +(1+t) 1/2 ] U(t) W N 1 +10, ǫ0. t>0 We remark that (1.7) implies the neutrality condition (n(0,x) 1)dx = 0, which is conserved for all time. The above theorem shows that under small perturbations around the equilibrium, system (1.3) still has a global smooth solution. However, unlike the 2D or 3D case, we can not obtain the usual scattering result for 1D Euler-Poisson system. Instead, we will see that solutions approach to a nonlinear asymptotic state. To show this phenomenon, we set h = 1 2 E i v = r+iu, (1.8) 2 x then system (1.6) is equivalent to the following complex-valued Klein-Gordon equation h t +i x h = 1 2i (h+h) x x (h h)+ x 4i x [ x (h h)] 2 x 4i x [(h+h) x] 2. (1.9) By Shatah s normal form transformation [26], we may make a change of new unknown g (see (4.3)) such that g t +i x g = N(h), (1.10) where the cubic term N(h) is given in (4.6). In this work, we show that there exists a unique w (ξ) L such that sup[(1+t) δ ξ N1+10 e iϑ(t,ξ) ŵ(t,ξ) w (ξ) L ] ǫ 0 t 0 3

4 for some δ > 0, where w := e i x g is the linear profile of g, and ϑ is a real-valued function defined by (4.37). This result says the solution of the equation (1.9) tends to a nonlinear asymptotic state as time goes to infinity, thus such equation possesses a modified scattering behavior. Therefore, we extend the previous work on electron type Euler- Poisson system to one dimensional case. Together with the work [7, 16, 25], our result provides a complete picture of Klein-Gordon effect which prevents formation of small shocks in all physical dimensions for the Euler-Poisson system (1.1). Moreover, even though(1.1) is a hyperbolic system of conservation (balance) law [2], the construction of its global BV solutions with small amplitude (hence uniqueness) has remained outstanding. Our result also demonstrates that the standard 1D BV theory is not needed for small smooth initial data for (1.1), and it is ill-suited to capture the delicate dispersive Klein- Gordon effect which prevents the shock formation. Our work is inspired by recent work of [1, 19, 20, 21] on water waves system, which depends on a delicate interplay between higher energy estimates and a low order L estimate. Itiswell-knownthatduetopoordecayrateoft 1/2, theclassical energyestimate with quadratic nonlinearity is impossible to close, and it is necessary to perform the energy estimate in a new system with a cubic nonlinearity. In other words, one would wish to make an energy normal form transformation in the energy estimate. Unfortunately, Shatah s normal form transformation introduces loss of derivatives. Even though it is sufficient for lower order L decay estimates, it is in general not compatible for high order energy estimate. As a matter of fact, such an energy normal form may not exist for general 1D quasi-linear Klein-Gordon equations. Our first important step is the construction of an energy normal form transformation in Section 2. We follow the procedure in [1], and the special structure with γ = 3 enables us to discover subtle cancelations for the part of the quadratic terms Q B (see Proposition 2.2), during the Sobolev energy estimates. Meanwhile, we construct normal form transformations without loss of derivatives, which eliminates the other part of quadratic terms B (see Proposition 2.5). In Section 2.4, we complete the whole process of higher order energy estimates (Proposition 2.1). For the L decay estimate, we employ the following refined linear decay estimate for the solution g (see Lemma A.1), g L (1+t) 1 2 ŵ L +(1+t) 5 8( w H 2 + xw H 1), t 0, (1.11) where w = e it x g. It is important to note that 5 8 < 1 2, so there is room for mild growth for w H 2 and xw H 1. Then it reduces to low order estimates for xw H N 1 and ξ N 1+10ŵ L, respectively. The second important step is to estimate xw H N 1. In the work [1] and [19], the crucial homogeneous scaling operator S = 1 2 t t +x x for the gravity water waves system 4

5 is employed. Unfortunately, in our problem, the natural operator 1 Γ = t x i x x for the Klein-Gordon case, is not homogeneous. So the energy estimate fails for ΓU, as Γ could not commute with the nonlinear terms. Instead, we use the homogeneous vector field operator Γ = t x + x t to perform energy estimate for ΓU. The key observation is the following relation between Γ and Γ, Γg = Γg x( t +i x )g + i x x g = Γg xn(h)+ i x x g. In Sections , we obtain energy estimate for ΓU by applying similar strategy as used in Section 2, see Proposition 3.1. In addition, using this modified normal form process, we also control the low energy estimate for xu in Section 3.4, which is necessary when estimating the difference between Γg and Γg. We establish that xu H N 1 grows almost linearly xu(t) H N 1 (1+t) 1+p 0 for p 0 1, see Proposition 3.2. Thanks again to the cubic structure of N(h), it yields that xn(h) H N 1 can be bounded by (1+t) p 0, which is sufficient for our argument. In virtue of the identity x (xw) = ie it x Γg, we finally can able to control xw H N 1 via the estimates of g, Γg and xn(h). The details are presented in Section 4.1. The estimate for ξ N 1+10ŵ L is carried out in Section 4.2 as an adaptation of the proof in [18, 19, 20, 21]. Through precise frequency decompositions and stationary phase analysis, we notice that a phase correction is needed to the leading order term and thus leads to the modified scattering behavior (Proposition 4.5). Using the above norms and (1.11), we close our decay argument in Section 4.3. Finally, the global existence result follows from (1.11), Proposition 2.1, Propositions and Proposition 4.1. Notations: The Fourier transform and Fourier inverse transform are defined by (Ff)(ξ) = e ix ξ f(x)dx = f(ξ), d (F 1 g)(x) = (2π) d d e ix ξ g(ξ)dξ. Assume f is a scalar function, V is a vector-valued function (or scalar function) and M(ξ 1,ξ 2 ) is a matrix symbol (or scalar symbol). Define the bilinear operator O[f,M]V := 1 (2π) 2 e ix(ξ 1+ξ 2 ) f(ξ1 )M(ξ 1,ξ 2 ) V(ξ 2 )dξ 1 dξ 2. (1.12) 2 1 The operator Γ was used in [12, 13] to study the scattering behavior for cubic and quadratic nonlinear Klein-Gordon equation without derivatives. 5

6 Let ϕ Cc () be a radial function with the properties such that 0 ϕ 1, ϕ(ξ) = 1 for ξ 5/4 and suppϕ [ 8/5,8/5]. Then for k Z, we write ϕ k (ξ) := ϕ(ξ/2 k ) ϕ(ξ/2 k 1 ). The dyadic frequency localization operator P k is defined by P k f(ξ) := ϕ k ( ξ ) f(ξ). Moreover, for a > 0, we denote by P a the projector with symbol ϕ( ξ /a). For any ρ {0} N, we denote by C 0 () the space of bounded continuous functions, by C ρ () the space of C 0 () functions whose derivatives of order less or equal to ρ are in C 0 (). x := 1 x 2, ξ := 1+ξ 2. 2 Energy estimate Our aim in this section is to prove the following energy estimate. Proposition 2.1 Let U(t) C([0,T];H N ) be the solution of system (1.6). Assume (1.7) holds and [ sup (1+t) p 0 U(t) H N +(1+t) 1/2 ] U(t) W N 1 +10, ǫ1, (2.1) t [0,T] where 0 < ǫ 0 ǫ 1 1, N = 300, N 1 = 15 and 0 < p 0 < Then we have where the implicit constant depends only on p 0. [ sup (1+t) p 0 ] U(t) H N ǫ0 +ǫ 2 1, (2.2) t [0,T] 2.1 Decomposition of the nonlinear terms Fix a cut off function θ C ( ) satisfying (1) There exist ǫ 1, ǫ 2 such that 0 < 2 ǫ 1 < ǫ 2 < 1/2 and θ(ξ 1,ξ 2 ) = 1, ξ 1 ǫ 1 ξ 2, θ(ξ 1,ξ 2 ) = 0, ξ 1 ǫ 2 ξ 2. (2.3) (2) For any α, β N {0}, there holds ξ α 1 β ξ 2 θ(ξ 1,ξ 2 ) C α,β ξ 2 α β, ξ 1,ξ 2. (2.4) (3) θ satisfies the symmetry condition θ(ξ 1,ξ 2 ) = θ( ξ 1, ξ 2 ) = θ( ξ 1,ξ 2 ). (2.5) 6

7 Then we define the paraproduct T f g and the remainder B (f,g) as T f g := 1 (2π) 2 e ix(ξ 1+ξ 2 ) θ(ξ 1,ξ 2 ) f(ξ 1 )ĝ(ξ 2 )dξ 1 dξ 2, 2 B (f,g) := 1 (2π) 2 e ix(ξ 1+ξ 2 ) (1 θ(ξ 1,ξ 2 ) θ(ξ 2,ξ 1 )) f(ξ 1 )ĝ(ξ 2 )dξ 1 dξ 2. 2 With this definition, for any f and g, we have the following Bony decomposition fg = T f g +T g f + B (f,g). (2.6) Let ( ) ( ) r 0 x U =, D =, (2.7) u x 0 and ( ) ( ) 0 q 1 (ξ 1,ξ 2 ) 0 2iξ 1 ξ 2 Q 1 (ξ 1,ξ 2 ) := = 2i(ξ q 4 (ξ 1,ξ 2 ) 0 1 +ξ 2 )ξ 1 ξ 2 θ(ξ 1,ξ 2 ), (2.8) ξ 1 +ξ 2 0 ( ) ( ) q 2 (ξ 1,ξ 2 ) 0 2iξ2 ξ 1 0 Q 2 (ξ 1,ξ 2 ) := = 2i(ξ 0 q 3 (ξ 1,ξ 2 ) 0 1 +ξ 2 ) ξ 1 ξ 2 θ(ξ 1,ξ 2 ), (2.9) ξ 1 +ξ 2 ( ) ( ) 0 s 1 (ξ 1,ξ 2 ) 0 iξ 1 ξ 2 S 1 (ξ 1,ξ 2 ) := = (1 θ(ξ 1,ξ 2 ) θ(ξ 2,ξ 1 )), s 4 (ξ 1,ξ 2 ) 0 S 2 (ξ 1,ξ 2 ) := ( s 2 (ξ 1,ξ 2 ) 0 0 s 3 (ξ 1,ξ 2 ) ) = i(ξ 1 +ξ 2 )ξ 1 ξ 2 ξ 1 +ξ 2 0 ( iξ2 ξ i(ξ 1 +ξ 2 ) ξ 1 ξ 2 ξ 1 +ξ 2 By (1.12) and (2.6), system (1.6) is then transformed into ) (2.10) (1 θ(ξ 1,ξ 2 ) θ(ξ 2,ξ 1 )). (2.11) U t +DU = O[r,Q 1 ]U +O[u,Q 2 ]U +O[r,S 1 ]U +O[u,S 2 ]U. (2.12) Here, Q 1, Q 2 arethesymbolsoflow-highinteractionterms,withonelocal/global derivative on thefunction of high frequency, and S 1, S 2 are the symbols of nonlinear terms with highhigh interactions. The low-high terms will cause loss of derivatives when performing energy estimate, so we shall do some modifications with these terms, see Proposition 2.2 in the next subsection. 2.2 Modifying low-high interaction terms In this subsection, we prove 7

8 Proposition 2.2 Let Q 1, Q 2 be given by (2.8) (2.9). Then there exist two matrices B 1 and B 2 with the form ( ) ( ) 0 b 1 (ξ 1,ξ 2 ) b 2 (ξ 1,ξ 2 ) 0 B 1 =, B 2 = (2.13) b 4 (ξ 1,ξ 2 ) 0 0 b 3 (ξ 1,ξ 2 ) such that e x N O[r,Q 1 B 1 ]U, x N U = 0, (2.14) e x N O[u,Q 2 B 2 ]U, x N U = 0, (2.15) where, denotes the inner product of L 2 space. Moreover, for any α,β = 0,1, and for any ρ 3, α ξ 1 β ξ 2 b j (ξ 1,ξ 2 ) ξ 1 2, j = 1,2,3,4, (2.16) x N O[f,B 1 ]U L 2 + x N O[f,B 2 ]U L 2 f C ρ U H N. (2.17) To prove this proposition, one should use the following lemma. Lemma 2.3 [1] Assume f is a real-valued function, and M is a matrix. Then we have (O[f,M]) = O[f, M], M(ξ1,ξ 2 ) := M T ( ξ 1,ξ 1 +ξ 2 ), where M T is the transpose of M. Proof. By the definition of O[f, M]W (see (1.12)), F(O[f,M]W)(η) = 1 f(ξ)m(ξ,η ξ)ŵ(η ξ)dξ. 2π Using the fact f is real-valued, we have O[f,M] V,W = V,O[f,M]W = 1 ( V(η) f(ξ)m(ξ,η )dη (2π) 2 ξ)ŵ(η ξ)dξ = 1 V(ξ +η) f( ξ)m(ξ,η) (2π) 2 Ŵ(η)dξdη 2 = 1 1 ( f(ξ)m 2π 2π T ( ξ,η) V(η ξ)dξ)ŵ(η)dη = O[f, M]V,W, from which we can obtain the desired result M(ξ,η) = M T ( ξ,ξ +η). We will also need the following anisotropic multiplier estimate. 8

9 Lemma 2.4 There holds O[f,M]V L 2 () M(ξ,η ξ) L η Hξ 1 f L () V L 2 (). (2.18) Similar estimates are also used in [10, 11]. The proof of this lemma is given in Lemma B.1 of the appendix. Proof of Proposition 2.2. We rewrite equation (2.14) as 0 =2e x N O[r,Q 1 B 1 ]U, x N U = x N O[r,Q 1 B 1 ]U, x N U + x N O[r,Q 1 B 1 ]U, x N U = x N O[r,Q 1 B 1 ]U, x N U + x N U, x N O[r,Q 1 B 1 ]U = x 2N O[r,Q 1 B 1 ]U,U + x 2N U,O[r,Q 1 B 1 ]U = x 2N O[r,Q 1 B 1 ]U,U + O[r,Q 1 B 1 ] ( x 2N U),U. In order to prove (2.14), we only need to verify x 2N O[r,Q 1 ]U +O[r,Q 1 ] ( x 2N U) = x 2N O[r,B 1 ]U +O[r,B 1 ] ( x 2N U). (2.19) From Lemma 2.3, we see Define x 2N O[r,Q 1 ]U = O[r, ξ 1 +ξ 2 2N Q 1 (ξ 1,ξ 2 )]U, O[r,Q 1 ] ( x 2N U) = O[r, ξ 2 2N Q T 1 ( ξ 1,ξ 1 +ξ 2 )]U. B 1 (ξ 1,ξ 2 ) := ξ 1 +ξ 2 2N Q 1 (ξ 1,ξ 2 )+ ξ 2 2N Q T 1 ( ξ 1,ξ 1 +ξ 2 ) ξ 1 +ξ 2 2N + ξ 2 2N, (2.20) then B 1 (ξ 1,ξ 2 ) = B T 1 ( ξ 1,ξ 1 +ξ 2 ), and by Lemma 2.3, we have O[r,B 1 ] = O[r,B 1 ]. With such choice of B 1 (ξ 1,ξ 2 ), the identity (2.19) holds, and (2.14) thus follows. Define Similarly, in order to prove (2.15), we only need to show x 2N O[u,Q 2 ]U +O[u,Q 2 ] ( x 2N U) = x 2N O[u,B 2 ]U +O[u,B 2 ] ( x 2N U). B 2 (ξ 1,ξ 2 ) := ξ 1 +ξ 2 2N Q 2 (ξ 1,ξ 2 )+ ξ 2 2N Q T 2 ( ξ 1,ξ 1 +ξ 2 ) ξ 1 +ξ 2 2N + ξ 2 2N, (2.21) then we can check O[u,B 2 ] = O[u,B 2 ] and (2.15) holds. In order to prove (2.16), we should calculate b j (ξ 1,ξ 2 ) (j = 1,2,3,4) carefully. From (2.13), (2.20), (2.8) and (2.5), the expression for b 1 (ξ 1,ξ 2 ) can be written as exactly as b 1 (ξ 1,ξ 2 ) 9

10 2iξ [ 1 = ξ 1 +ξ 2 2N + ξ 2 2N ξ 1 +ξ 2 2N ξ 2 θ(ξ 1,ξ 2 ) ξ 2 2Nξ 2(ξ 1 +ξ 2 ) ] θ( ξ 1,ξ 1 +ξ 2 ) ξ 2 2iξ 1 [ = ξ1 ( ξ 1 +ξ 2 2N + ξ 2 2N +ξ 2 2N ξ 2 2 θ(ξ 1,ξ 2 ) ξ 2 2N ξ 2 (ξ 1 +ξ 2 )θ(ξ 1,ξ 1 +ξ 2 ) ] ) ξ 2 2iξ 1 ξ 2 [ = (ξ1 ( ξ 1 +ξ 2 2N + ξ 2 2N +ξ 2 ) 2N ξ 2 θ(ξ 1,ξ 2 ) (ξ 1 +ξ 2 )ξ2 2N θ(ξ 1,ξ 1 +ξ 2 ) ] +r 1 (ξ 1,ξ 2 ) ) ξ 2 2iξ 1 ξ 2 = ( ξ 1 +ξ 2 2N + ξ 2 2N ) ξ 2 χ(ξ 1,ξ 2 )+r 1 (ξ 1,ξ 2 ), (2.22) where χ(ξ 1,ξ 2 ) := (ξ 1 +ξ 2 ) 2N ξ 2 θ(ξ 1,ξ 2 ) (ξ 1 +ξ 2 )ξ2 2N θ(ξ 1,ξ 1 +ξ 2 ), (2.23) 2iξ 1 θ(ξ 1,ξ 2 ) r 1 (ξ 1,ξ 2 ) := ξ 2 ( ξ 1 +ξ 2 2N + ξ 2 2N ) [ ξ 1 +ξ 2 2N ξ 2 2 (ξ 1 +ξ 2 ) 2N ξ2 2 ] 2iξ 1ξ 2 (ξ 1 +ξ 2 )θ(ξ 1,ξ 1 +ξ 2 ) ξ 2 ( ξ 1 +ξ 2 2N + ξ 2 2N ) [ ξ 2 2N ξ 2N 2 ]. We decompose χ(ξ 1,ξ 2 ) into I 1 +I 2 with I 1 := ((ξ 1 +ξ 2 ) 2N ξ 2 (ξ 1 +ξ 2 )ξ 2N 2 )θ(ξ 1,ξ 2 ), I 2 := (ξ 1 +ξ 2 )ξ 2N 2 (θ(ξ 1,ξ 2 ) θ(ξ 1,ξ 1 +ξ 2 )). ecall the bound (2.4). For I 1, it is easy to see α ξ 1 β ξ 2 I 1 ξ 1 ξ 2 2N, where ξ 1 ξ 2, α,β = 0,1. (2.24) For I 2, note that θ(ξ 1,ξ 2 ) θ(ξ 1,ξ 1 +ξ 2 ) 0 implies ξ 1 ξ 2, then α ξ 1 β ξ 2 I 2 ξ 1 ξ 2 2N, α,β = 0,1. (2.25) Also, a direct computation shows that the remainder r 1 (ξ 1,ξ 2 ) satisfies α ξ 1 β ξ 2 r 1 (ξ 1,ξ 2 ) ξ 1 ξ 2 1, α,β = 0,1. (2.26) Therefore, we conclude from (2.22) (2.26) that (2.16) holds for j = 1. Similarly, using (2.20), (2.21), (2.8) and (2.9), the expressions for b 4 (ξ 1,ξ 2 ), b 2 (ξ 1,ξ 2 ), b 3 (ξ 1,ξ 2 ) in (2.13) are b 4 (ξ 1,ξ 2 ) : = 2iξ [ 1 ξ 1 +ξ 2 2N + ξ 2 2N ξ 1 +ξ 2 2Nξ 2(ξ 1 +ξ 2 ) ξ 1 +ξ 2 θ(ξ 1,ξ 2 ) ] + ξ 2 2N ξ 1 +ξ 2 θ(ξ 1,ξ 1 +ξ 2 ), 2i ξ 1 b 2 (ξ 1,ξ 2 ) : = ξ 1 +ξ 2 2N + ξ 2 2N[ ξ 1 +ξ 2 2N ξ 2 θ(ξ 1,ξ 2 ) ξ 2 2N (ξ 1 +ξ 2 )θ(ξ 1,ξ 1 +ξ 2 )], 2i ξ 1 [ b 3 (ξ 1,ξ 2 ) : = ξ 1 +ξ 2 2N + ξ 2 2N ξ 1 +ξ 2 2N(ξ 1 +ξ 2 ) ξ 2 θ(ξ 1,ξ 2 ) ξ 1 +ξ 2 10

11 Using the function χ(ξ 1,ξ 2 ) (see (2.23)), we have ξ 2 2Nξ 2 ξ 1 +ξ 2 ] θ(ξ 1,ξ 1 +ξ 2 ). ξ 2 b 4 (ξ 1,ξ 2 ) = b 2 (ξ 1,ξ 2 ) = b 3 (ξ 1,ξ 2 ) = 2iξ 1 (ξ 1 +ξ 2 ) ( ξ 1 +ξ 2 2N + ξ 2 2N ) ξ 1 +ξ 2 χ(ξ 1,ξ 2 )+r 4 (ξ 1,ξ 2 ), 2i ξ 1 ξ 1 +ξ 2 2N + ξ 2 2Nχ(ξ 1,ξ 2 )+r 2 (ξ 1,ξ 2 ), 2i ξ 1 (ξ 1 +ξ 2 )ξ 2 ( ξ 1 +ξ 2 2N + ξ 2 2N ) ξ 1 +ξ 2 ξ 2 χ(ξ 1,ξ 2 )+r 3 (ξ 1,ξ 2 ), (2.27) where r 4 (ξ 1,ξ 2 ) = 2iξ 1 ξ 2 (ξ 1 +ξ 2 )θ(ξ 1,ξ 2 ) ( ξ 1 +ξ 2 2N + ξ 2 2N ) ξ 1 +ξ 2 [(ξ 1 +ξ 2 ) 2N ξ 1 +ξ 2 2N ] 2iξ 1 θ(ξ 1,ξ 1 +ξ 2 ) + ( ξ 1 +ξ 2 2N + ξ 2 2N ) ξ 1 +ξ 2 [ ξ 2 2N ξ 1 +ξ 2 2 ξ2 2N (ξ 1 +ξ 2 ) 2 ], r 2 (ξ 1,ξ 2 ) = 2i ξ 1 ξ 2 θ(ξ 1,ξ 2 ) ξ 1 +ξ 2 2N + ξ 2 2N[ ξ 1 +ξ 2 2N (ξ 1 +ξ 2 ) 2N ] 2i ξ 1 (ξ 1 +ξ 2 )θ(ξ 1,ξ 1 +ξ 2 ) ξ 1 +ξ 2 2N + ξ 2 2N [ ξ 2 2N ξ2 2N ], 2i ξ 1 (ξ 1 +ξ 2 )θ(ξ 1,ξ 2 ) r 3 (ξ 1,ξ 2 ) = ( ξ 1 +ξ 2 2N + ξ 2 2N ) ξ 1 +ξ 2 ξ 2 [ ξ 1 +ξ 2 2N ξ 2 2 (ξ 1 +ξ 2 ) 2N ξ2] 2 2i ξ 1 ξ 2 θ(ξ 1,ξ 1 +ξ 2 ) ( ξ 1 +ξ 2 2N + ξ 2 2N ) ξ 1 +ξ 2 ξ 2 [ ξ 2 2N ξ 1 +ξ 2 2 ξ2 2N (ξ 1 +ξ 2 ) 2 ]. With similar argument as above, we can obtain, for any α,β = 0,1 and j = 2,3,4, α ξ 1 β ξ 2 r j (ξ 1,ξ 2 ) ξ 1 ξ 2 1, α ξ 1 β ξ 2 b j (ξ 1,ξ 2 ) ξ 1 2. (2.28) Therefore, the estimate (2.16) holds for all j, j = 1,2,3,4. with Note that x N O[f,B 1 ]U = 1 (2π) 2 x N = 1 (2π) 2 In view of (2.16), we have for ρ 3, 2 e ix(ξ 1+ξ 2 ) f(ξ1 )B 1 (ξ 1,ξ 2 )Û(ξ 2)dξ 1 dξ 2 e ix(ξ 1+ξ 2 ) x ρ f(ξ 1 )M(ξ 1,ξ 2 ) x N U(ξ 2 )dξ 1 dξ 2 2 M(ξ 1,ξ 2 ) = ξ 1 +ξ 2 N ξ 1 ρ ξ 2 NB 1(ξ 1,ξ 2 ), ξ 1 ξ 2. M(ξ 1,ξ 2 ξ 1 ) L ξ2 Hξ 1 = ξ 2 N 1 ξ 1 ρ ξ 2 ξ 1 NB 1(ξ 1,ξ 2 ξ 1 ) L ξ ξ2 Hξ ρ L

12 So applying Lemma 2.4 yields x N O[f,B 1 ]U L 2 f C ρ U H N. Similarly, we can prove x N O[f,B 2 ]U L 2 f C ρ U H N. Hence, (2.17) follows from these two estimates. This ends the proof of Proposition Energy normal form transformation For the equation (2.12), U t +DU = O[r,Q 1 ]U +O[u,Q 2 ]U +O[r,S 1 ]U +O[u,S 2 ]U, (2.29) from Proposition 2.2, we notice that the low-high term O[r,B 1 ]U + O[u,B 2 ]U, which is a part of O[r,Q 1 ]U + O[u,Q 2 ]U, will not lead to loss of derivatives. Now we can use Shatah s normal form method to eliminate this quadratic term. Proposition 2.5 There exist two matrices A 1 and A 2 defined by ( ) ( ) 0 a 1 (ξ 1,ξ 2 ) a 2 (ξ 1,ξ 2 ) 0 A 1 =, A 2 = a 4 (ξ 1,ξ 2 ) 0 0 a 3 (ξ 1,ξ 2 ) (2.30) such that DO[r,A 2 ]U O[ x r,a 1 ]U O[r,A 2 ]DU = O[r,B 1 ]U, DO[u,A 1 ]U +O[ x u,a 2 ]U O[u,A 1 ]DU = O[u,B 2 ]U. (2.31) Moreover, for any α,β = 0,1, we have α ξ 1 β ξ 2 a j (ξ 1,ξ 2 ) ξ 1 3, j = 1,2,3,4. (2.32) Proof. Inserting (2.30) into (2.31), we have [ ( ) e ix(ξ 0 ξ 1+ξ 1 +ξ 2 a 3 (ξ 1,ξ 2 ) 2) r(ξ 1 ) 2 ξ 1 +ξ 2 a 2 (ξ 1,ξ 2 ) 0 ( ) 0 ξ 1 a 1 (ξ 1,ξ 2 ) ξ 1 a 4 (ξ 1,ξ 2 ) 0 ( ) 0 ξ 2 a 2 (ξ 1,ξ 2 ) ]Û(ξ2 )dξ 1 dξ 2 ξ 2 a 3 (ξ 1,ξ 2 ) 0 ( ) = e ix(ξ 0 b 1+ξ 1 (ξ 1,ξ 2 ) 2) r(ξ 1 ) Û(ξ 2 )dξ 1 dξ 2. 2 b 4 (ξ 1,ξ 2 ) 0 12

13 Similarly, [ ( ) e ix(ξ 1+ξ 2)û(ξ ξ 1 +ξ 2 a 4 (ξ 1,ξ 2 ) 0 1 ) 2 0 ξ 1 +ξ 2 a 1 (ξ 1,ξ 2 ) ( ) ξ 1 a 2 (ξ 1,ξ 2 ) ξ 1 a 3 (ξ 1,ξ 2 ) ( ) ξ 2 a 1 (ξ 1,ξ 2 ) 0 ]Û(ξ2 )dξ 1 dξ 2 0 ξ 2 a 4 (ξ 1,ξ 2 ) ( ) = e ix(ξ 1+ξ 2)û(ξ b 2 (ξ 1,ξ 2 ) 0 1 ) Û(ξ 2 )dξ 1 dξ b 3 (ξ 1,ξ 2 ) Thus we obtain linear equations ξ 1 ξ 2 ξ 1 +ξ ξ 1 +ξ 2 ξ 2 ξ 1 ξ 2 ξ 1 0 ξ 1 +ξ 2 ξ 1 +ξ 2 0 ξ 1 ξ 2 a 1 a 2 a 3 a 4 b 1 (ξ 1,ξ 2 ) = b 4 (ξ 1,ξ 2 ) b 2 (ξ 1,ξ 2 ). (2.33) b 3 (ξ 1,ξ 2 ) The solution of the above system is a 1 = G[ 1 ( ξ1 2 + ξ ξ 1 +ξ 2 2 ) ( ξ 1 b 1 ξ 2 b 2 + ξ 1 +ξ 2 b 3 ) 2 ξ 2 ξ 1 +ξ 2 ( ξ 1 b 4 + ξ 2 b 3 ξ 1 +ξ 2 b 2 ) ], a 2 = G[ 1 ( ξ1 2 ξ 2 2 ξ 1 +ξ 2 2 ) ( ξ 1 b 2 ξ 2 b 1 ξ 1 +ξ 2 b 4 ) 2 ξ 2 ξ 1 +ξ 2 ( ξ 1 b 3 + ξ 2 b 4 + ξ 1 +ξ 2 b 1 ) ], a 3 = 1 G[ ( ξ1 2 ξ 2 2 ξ 1 +ξ 2 2 ) ( ξ 1 b 3 + ξ 2 b 4 + ξ 1 +ξ 2 b 1 ) (2.34) 2 ξ 2 ξ 1 +ξ 2 ( ξ 1 b 2 ξ 2 b 1 ξ 1 +ξ 2 b 4 ) ], a 4 = G[ 1 ( ξ1 2 + ξ ξ 1 +ξ 2 2 ) ( ξ 1 b 4 + ξ 2 b 3 ξ 1 +ξ 2 b 2 ) 2 ξ 2 ξ 1 +ξ 2 ( ξ 1 b 1 ξ 2 b 2 + ξ 1 +ξ 2 b 3 ) ], where G = 2ξ1 2 +2ξ2 2 +2(ξ 1 +ξ 2 ) 2 +3 > 0. Now we prove (2.32). To this end, we first claim that, for any α,β = 0,1, ξ α 1 β ξ 2 ( ξ 1 b j (ξ 1,ξ 2 )) ξ 1 3, j = 1,2,3,4, (2.35) ξ α 1 β ξ 2 ( ξ 1 +ξ 2 b 3 (ξ 1,ξ 2 ) ξ 2 b 2 (ξ 1,ξ 2 )) ξ 1 3, (2.36) ξ α 1 β ξ 2 ( ξ 2 b 3 (ξ 1,ξ 2 ) ξ 1 +ξ 2 b 2 (ξ 1,ξ 2 )) ξ 1 3, (2.37) ξ α 1 β ξ 2 ( ξ 1 +ξ 2 b 1 (ξ 1,ξ 2 )+ ξ 2 b 4 (ξ 1,ξ 2 )) ξ 1 3, (2.38) ξ α 1 β ξ 2 ( ξ 2 b 1 (ξ 1,ξ 2 )+ ξ 1 +ξ 2 b 4 (ξ 1,ξ 2 )) ξ 1 3. (2.39) 13

14 Indeed, the bound (2.35) is a direct consequence of (2.16). The proofs for (2.36) (2.39) are similar, so we only show (2.36). From (2.27), we see ξ 1 +ξ 2 b 3 (ξ 1,ξ 2 ) ξ 2 b 2 (ξ 1,ξ 2 ) = 2i ξ 1 ((ξ 1 +ξ 2 )ξ 2 ξ 2 2 ) ( ξ 1 +ξ 2 2N + ξ 2 2N ) ξ 2 χ(ξ 1,ξ 2 ) + ξ 1 +ξ 2 r 3 (ξ 1,ξ 2 ) ξ 2 r 2 (ξ 1,ξ 2 ). (2.40) emember that ξ 1 ξ 2. The bounds (2.24) and (2.25) imply ξ α 1 β ξ 2 χ(ξ 1,ξ 2 ) ξ 1 ξ 2 2N, α,β = 0,1. (2.41) Also, using (2.28), we have ξ α 1 β ξ 2 ( ξ 1 +ξ 2 r 3 (ξ 1,ξ 2 )) + ξ α 1 β ξ 2 ( ξ 2 r 2 (ξ 1,ξ 2 )) ξ 1, α,β = 0,1. (2.42) Inserting the bounds (2.41) (2.42) into (2.40), we can obtain (2.36) as desired. Then from (2.34) and the bounds (2.35) (2.39), it is easy to see (2.32) holds. This completes the proof of Proposition 2.5. Similarly, we also use normal form method to cancel the high-high quadratic term O[r,S 1 ]U +O[u,S 2 ]U. More precisely, we have Proposition 2.6 There exist two matrices C 1 and C 2 defined by ( ) ( ) 0 c 1 (ξ 1,ξ 2 ) c 2 (ξ 1,ξ 2 ) 0 C 1 =, C 2 = c 4 (ξ 1,ξ 2 ) 0 0 c 3 (ξ 1,ξ 2 ) (2.43) such that DO[r,C 2 ]U O[ x r,c 1 ]U O[r,C 2 ]DU = O[r,S 1 ]U, DO[u,C 1 ]U +O[ x u,c 2 ]U O[u,C 1 ]DU = O[u,S 2 ]U. (2.44) Moreover, for any α,β = 0,1, we have α ξ 1 β ξ 2 c j ξ 1 3, j = 1,2,3,4. (2.45) Proof. From (2.43) (2.44), we obtain linear equations for c 1, c 2, c 3 and c 4 ξ 1 ξ 2 ξ 1 +ξ 2 0 c 1 s 1 0 ξ 1 +ξ 2 ξ 2 ξ 1 c 2 ξ 2 ξ 1 0 ξ 1 +ξ 2 c 3 = s 4 s 2, ξ 1 +ξ 2 0 ξ 1 ξ 2 where the definitions of s 1, s 2, s 3 and s 4 are given by (2.10) (2.11). Clearly, the solution (c 1,c 2,c 3,c 4 ) is given by replacing b j with s j (j = 1,2,3,4) in (2.34). Moreover, in the support of 1 θ(ξ 1,ξ 2 ) θ(ξ 2,ξ 1 ), there holds ξ 1 ξ 2. Hence, with similar argument as the proof of Proposition 2.5, the bound (2.45) can be obtained easily. 14 c 4 s 3

15 Now we define the energy normal form transformation so that Φ := U +O[u,A 1 ]U +O[r,A 2 ]U +O[u,C 1 ]U +O[r,C 2 ]U, (2.46) Φ t +DΦ = U t +DU +DO[u,A 1 ]U +DO[r,A 2 ]U +DO[u,C 1 ]U +DO[r,C 2 ]U +O[u t,a 1 ]U +O[u,A 1 ]U t +O[r t,a 2 ]U +O[r,A 2 ]U t +O[u t,c 1 ]U +O[u,C 1 ]U t +O[r t,c 2 ]U +O[r,C 2 ]U t. Moreover, by (2.12), (1.6), (2.31) and (2.44), we have where Φ t +DΦ = O[r,Q 1 ]U +DO[r,A 2 ]U O[r,A 2 ]DU O[ x r,a 1 ]U +O[u,Q 2 ]U +DO[u,A 1 ]U O[u,A 1 ]DU +O[ x u,a 2 ]U +O[r,S 1 ]U +DO[r,C 2 ]U O[r,C 2 ]DU O[ x r,c 1 ]U +O[u,S 2 ]U +DO[u,C 1 ]U O[u,C 1 ]DU +O[ x u,c 2 ]U +(O[u,A 1 ]+O[r,A 2 ]+O[u,C 1 ]+O[r,C 2 ])(O[r,Q 1 ]U +O[u,Q 2 ]U) +(O[u,A 1 ]+O[r,A 2 ]+O[u,C 1 ]+O[r,C 2 ])(O[r,S 1 ]U +O[u,S 2 ]U) +O[ x x (( x u) 2 +(r x ) 2 ),A 1 ]U +O[2 x u r x,a 2 ]U +O[ x x (( x u) 2 +(r x ) 2 ),C 1 ]U +O[2 x u r x,c 2 ]U = O[r,Q 1 B 1 ]U +O[u,Q 2 B 2 ]U +(O[u,A 1 ]+O[r,A 2 ]+O[u,C 1 ]+O[r,C 2 ])(O[r,Q 1 ]U +O[u,Q 2 ]U) +(O[u,A 1 ]+O[r,A 2 ]+O[u,C 1 ]+O[r,C 2 ])(O[r,S 1 ]U +O[u,S 2 ]U) +I 1 +I 2, I 1 := O[ x x (( x u) 2 +(r x ) 2 ),A 1 ]U +O[2 x u r x,a 2 ]U, (2.47) I 2 := O[ x x (( x u) 2 +(r x ) 2 ),C 1 ]U +O[2 x u r x,c 2 ]U. (2.48) Now using (2.46), we conclude that Φ t +DΦ O[r,Q 1 B 1 ]Φ O[u,Q 2 B 2 ]Φ = I 1 +I 2 +I 3 +I 4. (2.49) Here, I 1, I 2 are defined by (2.47), (2.48), respectively, and I 3 := [ O[r,Q 1 ]+O[u,Q 2 ],O[u,A 1 ]+O[r,A 2 ] ] U, (2.50) 15

16 where the notation [, ] denotes the commutator, and I 4 := (O[r,Q 1 ]+O[u,Q 2 ])(O[u,C 1 ]+O[r,C 2 ])U +(O[u,C 1 ]+O[r,C 2 ])(O[r,Q 1 ]+O[u,Q 2 ])U +(O[r,B 1 ]+O[u,B 2 ])(O[u,A 1 ]U +O[r,A 2 ]U +O[u,C 1 ]U +O[r,C 2 ]U) +(O[u,A 1 ]+O[r,A 2 ]+O[u,C 1 ]+O[r,C 2 ])(O[r,S 1 ]U +O[u,S 2 ]U). (2.51) 2.4 Energy estimate Proposition 2.7 Solutions of the equation (2.49) satisfy d dt Φ 2 H N U 2 C 5 U H N Φ H N. Proposition 2.7 will be proved by Lemmas and Lemma Lemma 2.8 Let A 1 and A 2 be given by (2.30), then for any ρ 4, x N O[f,A 1 ]U L 2 + x N O[f,A 2 ]U L 2 f C ρ U H N. (2.52) Proof. The proof is similar to (2.17). By the definition of O[u,A 1 ]U, we have x N O[f,A 1 ]U = 1 (2π) 2 x N e ix(ξ 1+ξ 2 ) f(ξ1 )A 1 (ξ 1,ξ 2 )Û(ξ 2)dξ 1 dξ 2 2 = 1 (2π) 2 e ix(ξ 1+ξ 2 ) x ρ f(ξ 1 )M(ξ 1,ξ 2 ) x N U(ξ 2 )dξ 1 dξ 2, 2 where Note that (2.30) and (2.32) imply Using Lemma 2.4, we thus obtain M(ξ 1,ξ 2 ) = ξ 1 +ξ 2 N ξ 1 ρ ξ 2 NA 1(ξ 1,ξ 2 ), ξ 1 ξ 2. M(ξ 1,ξ 2 ξ 1 ) L ξ2 H 1 ξ 1 ξ 1 3 ρ L 2 1, ρ 4. x N O[f,A 1 ]U L 2 f C ρ U H N. The estimate for O[f,A 2 ]U H N is the same. As a direct consequence of Lemma 2.8, we have Lemma 2.9 For any α N, we have x N O[ x α f,a 1 ]U L 2 + x N O[ x α f,a 2 ]U L 2 f C α+4 U H N. (2.53) Moreover, with the same argument as Lemma 2.8, we can obtain the following lemma. 16

17 Lemma 2.10 Let Q 1 and Q 2 be defined by (2.8) (2.9), then for any ρ 2, there holds x N O[f,Q 1 ]U L 2 + x N O[f,Q 2 ]U L 2 f C ρ U H N+1. (2.54) According to (2.3), the supportof 1 θ(ξ 1,ξ 2 ) θ(ξ 2,ξ 1 ) satisfies ξ 1 ξ 2. Therefore, we have the following results called derivative sharing lemma. Lemma 2.11 For any ρ,µ N, ρ+µ = N +2, then x N O[f,C 1 ]U L 2 + x N O[f,C 2 ]U L 2 f C ρ+2 U H µ, (2.55) x N O[f,S 1 ]U L 2 + x N O[f,S 2 ]U L 2 f C ρ+2 U H µ, (2.56) where C 1, C 2 and S 1, S 2 are defined by (2.43) and (2.10) (2.11), respectively. Proof. For j = 1,2, we have x N O[f,C j ]U = 1 (2π) 2 x N Let = 1 (2π) 2 2 e ix(ξ 1+ξ 2 ) f(ξ1 )C j (ξ 1,ξ 2 )Û(ξ 2)dξ 1 dξ 2 e ix(ξ 1+ξ 2 ) x ρ+2 f(ξ 1 ) ξ 1 +ξ 2 N C j (ξ 1,ξ 2 ) x 2 ξ 1 ρ+2 ξ 2 µ µ U(ξ 2 )dξ 1 dξ 2. M j (ξ 1,ξ 2 ) = ξ 1 +ξ 2 N C j (ξ 1,ξ 2 ) ξ 1 ρ+2 ξ 2 µ, ξ 1 ξ 2, j = 1,2, from (2.43) and (2.45), it is easy to see M j (ξ 1,ξ 2 ξ 1 ) L ξ2 H 1 ξ 1 = ξ 1 N C j (ξ 1,ξ 2 ξ 1 ) ξ 1 ρ+2 ξ 2 ξ 1 µ L ξ2 H 1 ξ 1 1, j = 1,2. (2.57) Hence, the desired estimate (2.55) follows from (2.57) and Lemma 2.4. The proof for (2.56) is similar as above. Lemma 2.12 Let then we have O[f 1,f 2,M]V(x) := 1 (2π) 3 3 e ix(ξ+η+σ) f1 (ξ) f 2 (η)m(ξ,η,σ) V (σ)dξdηdσ, O[f 1,f 2,M]V L 2 () M(ξ,η ξ,σ η) L σ H 1 ξ H1 η f 1 L f 2 L V L 2. This lemma can be proved by applying similar argument as the proof of Lemma 2.4. The following two lemmas are crucial in proving Lemma 2.15 below. Lemma 2.13 Assume ξ 1, η ξ 2, then for any α,β,γ = 0,1, we have α ξ 1 β ξ 2 (q 1 (ξ 1,ξ 2 )+q 4 (ξ 1,ξ 2 )) ξ 1, (2.58) α ξ 1 β ξ 2 (q 2 (ξ 1,ξ 2 ) q 3 (ξ 1,ξ 2 )) ξ 1, (2.59) α η β ξ 1 γ ξ 2 (q j (η,ξ 1 +ξ 2 ) q j (η,ξ 2 )) η ξ 1, j = 1,2,3,4. (2.60) 17

18 From the definitions (2.8) (2.9), one can easily obtain the bounds (2.58) (2.60). Lemma 2.14 Assume ξ 1, η ξ 2, then for any α,β,γ = 0,1, we have ξ α 1 β ξ 2 (a 1 (ξ 1,ξ 2 )+a 4 (ξ 1,ξ 2 )) ξ 1 4 ξ 2 1, (2.61) ξ α 1 β ξ 2 (a 2 (ξ 1,ξ 2 ) a 3 (ξ 1,ξ 2 )) ξ 1 4 ξ 2 1, (2.62) η α β ξ 1 γ ξ 2 (a j (ξ 1,η +ξ 2 ) a j (ξ 1,ξ 2 )) η ξ 1 3 ξ 2 1, j = 1,2,3,4. (2.63) Proof. It follows from (2.34) that a 1 (ξ 1,ξ 2 )+a 4 (ξ 1,ξ 2 ) = 1 G ( ξ ξ ξ 1 +ξ ξ 2 ξ 1 +ξ 2 ) ( ξ 1 b 1 ξ 2 b 2 + ξ 1 +ξ 2 b 3 ) + 1 G ( ξ ξ ξ 1 +ξ ξ 2 ξ 1 +ξ 2 ) ( ξ 1 b 4 + ξ 2 b 3 ξ 1 +ξ 2 b 2 ). ecall that G = 2ξ1 2+2ξ2 2 +2(ξ 1+ξ 2 ) Now, using (2.35) (2.37), we can obtain (2.61) as desired. The proof of (2.62) is similar, so we skip it. By observing the structure of the expressions for a i, we see that in order to prove (2.63), it suffices to show ξ α 1 β ξ 2 (b j (ξ 1,η +ξ 2 ) b j (ξ 1,ξ 2 )) η ξ 1 2 ξ 2 1, j = 1,2,3,4, η α β ξ 1 γ ξ 2 [ ξ 1 +ξ 2 +η b 3 (ξ 1,ξ 2 +η) ξ 2 +η b 2 (ξ 1,ξ 2 +η) ξ 1 +ξ 2 b 3 (ξ 1,ξ 2 )+ ξ 2 b 2 (ξ 1,ξ 2 )] η ξ 1 3 ξ 2 1, η α β ξ 1 γ ξ 2 [ ξ 2 +η b 3 (ξ 1,ξ 2 +η) ξ 1 +ξ 2 +η b 2 (ξ 1,ξ 2 +η) ξ 2 b 3 (ξ 1,ξ 2 )+ ξ 1 +ξ 2 b 2 (ξ 1,ξ 2 )] η ξ 1 3 ξ 2 1, and η α β ξ 1 γ ξ 2 [ ξ 1 +ξ 2 +η b 4 (ξ 1,ξ 2 +η)+ ξ 2 +η b 1 (ξ 1,ξ 2 +η) ξ 1 +ξ 2 b 4 (ξ 1,ξ 2 ) ξ 2 b 1 (ξ 1,ξ 2 )] η ξ 1 3 ξ 2 1, η α β ξ 1 γ ξ 2 [ ξ 2 +η b 4 (ξ 1,ξ 2 +η)+ ξ 1 +ξ 2 +η b 1 (ξ 1,ξ 2 +η) ξ 2 b 4 (ξ 1,ξ 2 ) ξ 1 +ξ 2 b 1 (ξ 1,ξ 2 )] η ξ 1 3 ξ 2 1. These estimates follow by (2.22), (2.27) and an elementary but tedious computation. We omit the details for simplicity. Lemma 2.15 The following four commutator estimates hold: [ O[r,Q 1 ],O[u,A 1 ] ] U H N r C 5 u C 5 U H N, (2.64) [ O[r,Q 1 ],O[r,A 2 ] ] U H N r 2 C U 5 H N, (2.65) [ O[u,Q 2 ],O[u,A 1 ] ] U H N u 2 C U 5 H N, (2.66) [ O[u,Q 2 ],O[r,A 2 ] ] U H N r C 5 u C 5 U H N. (2.67) 18

19 Proof. We first show (2.64). Note that O[r,Q 1 ](O[u,A 1 ]U) = 1 (2π) 3 e ix(η+ξ 2) r(η)q 1 (η,ξ 2 )û(ξ 1 )A 1 (ξ 1,ξ 2 ξ 1 )Û(ξ 2 ξ 1 )dηdξ 1 dξ 2 3 = 1 (2π) 3 e ix(η+ξ 1+ξ 2) r(η)û(ξ 1 )Q 1 (η,ξ 1 +ξ 2 )A 1 (ξ 1,ξ 2 )Û(ξ 2)dηdξ 1 dξ 2, 3 and O[u,A 1 ](O[r,Q 1 ]U) = 1 (2π) 3 Hence, we obtain where = 1 (2π) 3 [ O[r,Q1 ],O[u,A 1 ] ] U = 1 (2π) 3 e ix(ξ 1+ξ 2)û(ξ 1 )A 1 (ξ 1,ξ 2 ) r(η)q 1 (η,ξ 2 η)û(ξ 2 η)dηdξ 1 dξ 2 3 e ix(η+ξ 1+ξ 2) r(η)û(ξ 1 )A 1 (ξ 1,ξ 2 +η)q 1 (η,ξ 2 )Û(ξ 2)dηdξ 1 dξ 2, 3 3 e ix(η+ξ 1+ξ 2) r(η)û(ξ 1 )M 1 (η,ξ 1,ξ 2 )Û(ξ 2)dηdξ 1 dξ 2, M 1 (η,ξ 1,ξ 2 ) := Q 1 (η,ξ 1 +ξ 2 )A 1 (ξ 1,ξ 2 ) A 1 (ξ 1,ξ 2 +η)q 1 (η,ξ 2 ). (2.68) From the supportproperty of Q 1 and A 1, we know that thesupportof M(η,ξ 1,ξ 2 ) satisfies η, ξ 1 ξ 2. Using this fact, in order to prove (2.64), it suffices to show Indeed, if (2.69) holds, we have α η β ξ 1 γ ξ 2 M 1 (η,ξ 1,ξ 2 ) ξ 1 4 η 4, α,β,γ = 0, 1. (2.69) α η β ξ 1 M 1 (η,ξ 1 η,ξ 2 ξ 1 ) ξ 1 η 4 η 4, α,β = 0,1, then according to Lemma 2.12, the estimate (2.64) thus follows. To prove (2.69), we decompose the symbol M 1 into M 11 +M 12 +M 13 with M 11 (η,ξ 1,ξ 2 ) := (Q 1 (η,ξ 1 +ξ 2 ) Q 1 (η,ξ 2 ))A 1 (ξ 1,ξ 2 ), M 12 (η,ξ 1,ξ 2 ) := (A 1 (ξ 1,ξ 2 ) A 1 (ξ 1,ξ 2 +η))q 1 (η,ξ 2 ), M 13 (η,ξ 1,ξ 2 ) := Q 1 (η,ξ 2 )A 1 (ξ 1,ξ 2 ) A 1 (ξ 1,ξ 2 )Q 1 (η,ξ 2 ) ( ) 1 0 = (q 1 (η,ξ 2 )a 4 (ξ 1,ξ 2 ) q 4 (η,ξ 2 )a 1 (ξ 1,ξ 2 )). 0 1 For the symbol M 11, we use (2.32) and (2.60), then α η β ξ 1 γ ξ 2 M 11 (η,ξ 1,ξ 2 ) η ξ 1 4. For M 12, by (2.8) and (2.63), it is easy to see α η β ξ 1 γ ξ 2 M 12 (η,ξ 1,ξ 2 ) η 2 ξ

20 For the last symbol M 13, we note that q 1 (η,ξ 2 )a 4 (ξ 1,ξ 2 ) q 4 (η,ξ 2 )a 1 (ξ 1,ξ 2 ) = (q 1 (η,ξ 2 )+q 4 (η,ξ 2 ))a 4 (ξ 1,ξ 2 ) then it can be inferred from (2.58), (2.32), (2.61) and (2.8) that α η β ξ 1 γ ξ 2 M 13 (η,ξ 1,ξ 2 ) η ξ 1 4. q 4 (η,ξ 2 )(a 1 (ξ 1,ξ 2 )+a 4 (ξ 1,ξ 2 )), Combing the above three bounds yield (2.69). This finishes the proof of (2.64). where We then turn to show (2.65) (2.67). Notice that [ O[r,Q1 ],O[r,A 2 ] ] U = 1 (2π) 3 e ix(η+ξ 1+ξ 2) r(η) r(ξ 1 )M 2 (η,ξ 1,ξ 2 )Û(ξ 2)dηdξ 1 dξ 2, 3 [ O[u,Q2 ],O[u,A 1 ] ] U = 1 (2π) 3 e ix(η+ξ 1+ξ 2)û(η)û(ξ 1 )M 3 (η,ξ 1,ξ 2 )Û(ξ 2)dηdξ 1 dξ 2, 3 [ O[u,Q2 ],O[r,A 2 ] ] U := 1 (2π) 3 e ix(η+ξ 1+ξ 2)û(η) r(ξ 1 )M 4 (η,ξ 1,ξ 2 )Û(ξ 2)dηdξ 1 dξ 2, 3 M 2 (η,ξ 1,ξ 2 ) := Q 1 (η,ξ 1 +ξ 2 )A 2 (ξ 1,ξ 2 ) A 2 (ξ 1,ξ 2 +η)q 1 (η,ξ 2 ), M 3 (η,ξ 1,ξ 2 ) := Q 2 (η,ξ 1 +ξ 2 )A 1 (ξ 1,ξ 2 ) A 1 (ξ 1,ξ 2 +η)q 2 (η,ξ 2 ), M 4 (η,ξ 1,ξ 2 ) = Q 2 (η,ξ 1 +ξ 2 )A 2 (ξ 1,ξ 2 ) A 2 (ξ 1,ξ 2 +η)q 2 (η,ξ 2 ). Applying Lemma 2.12 and repeating similar argument as proof of (2.69), (2.65) (2.67) can be proved as desired. Since the proof is very similar to the symbol (2.68), we omit further details. Proof of Proposition 2.7. Performing energy estimate at H N level for (2.49), we have e x N Φ t + x N DΦ, x N Φ e x N O[r,Q 1 B 1 ]Φ, x N Φ e x N O[u,Q 2 B 2 ]Φ, x N Φ = e x N (I 1 +I 2 +I 3 +I 4 ), x N Φ, (2.70) where e x N Φ t, x N Φ = 1 d 2dt Φ 2 H, e N x N DΦ, x N Φ = 0, (2.71) and from (2.14) (2.15), e x N O[r,Q 1 B 1 ]Φ, x N Φ = 0, e x N O[u,Q 2 B 2 ]Φ, x N Φ = 0. (2.72) It remains to estimate the nonlinear terms in the right hand side of (2.70). 20

21 First, we consider I 1. From (2.47) and (2.53), e x N I 1, x N Φ x N O[ x x (( x u) 2 +(r x ) 2 ),A 1 ]U, x N Φ Similarly, from (2.48) and (2.55), there holds + x N O[2 x u r x,a 2 ]U, x N Φ ( r 2 C 5 + u 2 C 5 + ru C 5) U H N Φ H N ( r C 5 + u C 5) 2 U H N Φ H N. (2.73) e x N I 2, x N Φ ( r C 5 + u C 5) 2 U H N Φ H N. (2.74) Next, we consider I 4. Decompose I 4 (see (2.51)) into I 41 +I 42 +I 43 +I 44 +I 45 with I 41 := (O[r,Q 1 ]+O[u,Q 2 ])(O[u,C 1 ]+O[r,C 2 ])U, I 42 := (O[u,C 1 ]+O[r,C 2 ])(O[r,Q 1 ]+O[u,Q 2 ])U, I 43 := (O[r,B 1 ]+O[u,B 2 ])(O[u,A 1 ]U +O[r,A 2 ]U), I 44 := (O[r,B 1 ]+O[u,B 2 ])(O[u,C 1 ]U +O[r,C 2 ]U), I 45 := (O[u,A 1 ]+O[r,A 2 ]+O[u,C 1 ]+O[r,C 2 ])(O[r,S 1 ]U +O[u,S 2 ]U). From Lemma 2.10 and Lemma 2.11, e x N I 41, x N Φ ( r C 5 + u C 5) (O[u,C 1 ]+O[r,C 2 ])U H N+1 Φ H N, ( r C 5 + u C 5) 2 U H N Φ H N, (2.75) e x N I 42, x N Φ ( r C 5 + u C 5) (O[r,Q 1 ]+O[u,Q 2 ])U H N 1 Φ H N, From (2.17) and Lemma 2.8, we have ( r C 5 + u C 5) 2 U H N Φ H N. (2.76) e x N I 43, x N Φ (O[r,B 1 ]+O[u,B 2 ])(O[u,A 1 ]U +O[r,A 2 ]U) H N Φ H N ( r C 5 + u C 5) O[u,A 1 ]U +O[r,A 2 ]U H N Φ H 5 ( r C 5 + u C 5 ) 2 U H N Φ H N. (2.77) For the terms I 44 and I 45, we use (2.17), Lemma 2.8 and Lemma 2.11 to obtain e x N I 44, x N Φ ( r C 5 + u C 5) O[u,C 1 ]U +O[r,C 2 ]U H N Φ H N ( r C 5 + u C 5) 2 U H N Φ H N, (2.78) e x N I 45, x N Φ ( r C 5 + u C 5) O[r,S 1 ]U +O[u,S 2 ]U H N Φ H N ( r C 5 + u C 5) 2 U H N Φ H N. (2.79) 21

22 At last, we consider the term I 3 (see (2.50)), which is a commutator operator. Indeed, applying Lemma 2.15, we see e x N I 3, x N Φ ( r C 5 + u C 5) 2 U H N Φ H N. (2.80) Now, combing the estimates (2.70) (2.80), we obtain This ends the proof of Proposition 2.7. d dt Φ 2 H N U 2 C 5 U H N Φ H N. Finally, we prove the energy estimate stated at the beginning of this section. Proof of Proposition 2.1. It follows from (2.46), Lemma 2.8 and Lemma 2.11 that Φ(t) H N U(t) H N + U(t) C 5 U(t) H N, and equally U(t) H N Φ(t) H N + U(t) C 5 U(t) H N. Using (2.1), we notice that if ǫ 1 is sufficiently small, then U(t) H N Φ(t) H N U(t) H N. Hence, Proposition 2.7 and the a-priori bound (2.1) yield d dt Φ 2 H N U 2 C 5 U 2 H N ǫ 4 1(1+t) 2p 0 1. Integrating this estimate and using (1.7), we deduce the desired bound (2.2). 3 Low energy estimate for ΓU and xu In this section, we will prove the following two propositions, which lead to the low energy estimate (H N 1 norm) of ΓU = (x t +t x )U and xu, where N 1 N. Proposition 3.1 Let U(t) C([0,T];H N ) be the solution of system (1.6). Assume (1.7) holds and [ sup (1+t) p 0 U(t) H N +(1+t) p 0 ΓU(t) H N 1 t [0,T] +(1+t) 1/2 U(t) W N 1 +10, ] ǫ1, (3.1) where N 1 = 15, N = 300, 0 < p 0 < 10 3 and 0 < ǫ 0 ǫ 1 1, then [ ] sup (1+t) p 0 ΓU(t) H N 1 ǫ0 +ǫ 2 1. (3.2) t [0,T] 22

23 Proposition 3.2 Under the same assumptions as Proposition 3.1, we have sup xu(t) H N 1 ǫ 1 (1+t) 1+p 0. (3.3) t [0,T] In the following, Sections are devoted to proving Proposition 3.1, and Proposition 3.2 is proved in Section Shatah s normal form for quadratic terms without loss of derivatives To prove Proposition 3.1, we have to derive the equation for ΓU. ecall the Euler-Poisson system ( ) ( )( ) ( r 0 x r + = u x 0 u t For simplicity, we write the above system as f 1 f 2 ) ( ) 2 x u r x := x [( x x u) 2 +(r x ) 2. (3.4) ] U t +DU = (f 1,f 2 ) T. (3.5) Operating Γ on both sides of the system (3.4), then using the relations [Γ, x ] = t, [Γ, t ] = x, [Γ, x ] = x x x t, [Γ, x ] = 1 x 3 t, we obtain equations for Γr,Γu ( ) ( )( ) ( ) ( Γr 0 x Γr 2 x (Γu) r x +2 x u (Γr) x + = 2 Γu x 0 Γu x [ + x x (Γu) x u+(γr) x r x ] t g 1 g 2 ) ( ) g 1 + g 2, where g 1 = g 1 (r,u), g 2 = g 2 (r,u) are quadratic terms without containing Γr and Γu, and g 1 = g 1 g 1 (r,u) := 2(r x) 2 2( x u) x x 2[(r x) 2 +( x u) 2 ], g 2 (r,u) := 6 x x (r x x u)+ 2 x 3( x 2 r x u) 2 x 3(r x x u x ), (r,u), g 2 = g 2 (r,u) are cubic terms, g 1 (r,u) := 4r x( x u) 2 +2r x 2 x g 2(r,u) = 4 x x [(r x) 2 x u]+ 2 x x x 2[(r x) 2 +( x u) 2 ], [ 2 x x 2[(r x) 2 +( x u) 2 ] x u 4 x 3[(r x x u) x r x ] 4 x 3[(r xr xx + x u x u x ) x u]. ] 23

24 Since our aim is to estimate ΓU H N 1 (recall that N 1 N), we simply decompose the quadratic terms g 1, g 2 into ( with (g 1,g 2 )T = O [ u, ) ( 0 q 1 (ξ 1,ξ 2 ) ]U [ q 2 (ξ 1,ξ 2 ) 0 +O r, q 4 (ξ 1,ξ 2 ) 0 q 1 (ξ 1,ξ 2 ) := 2 ξ 1 ξ 2 (ξ 1 +ξ 2 ) 2 ξ 1 +ξ 2 2 ξ 1 ξ 2, q 4 (ξ 1,ξ 2 ) := 3(ξ 1 +ξ 2 ) ξ 1 ξ 2 ξ 1 +ξ 2 q 2 (ξ 1,ξ 2 ) := 2ξ 1 ξ 2 + (ξ 1 +ξ 2 ) 2 ξ 1 +ξ 2 2ξ 1ξ 2, q 3 (ξ 1,ξ 2 ) := 3(ξ 1 +ξ 2 )ξ 1 ξ 2 ξ 1 +ξ 2 0 q 3 (ξ 1,ξ 2 ) + ξ 1 ξ 2 2 ξ 1 +ξ ξ 1 ξ 1 ξ 2 ξ 1 +ξ 2 3, + ξ 1 2 ξ 2 ξ 1 +ξ ξ 1ξ 2 ξ 2 ξ 1 +ξ 2 3. ) ]U For the terms including Γr and Γu, we use similar decomposition as in Section 2.1, ( ) ( ) ( ) 2 x (Γu) r x +2 x u (Γr) x F 1 F 1 2 x [ = x x (Γu) x u+(γr) x r x ] F 2 + F 2 with F j = F j(γr,γu,r,u) and F j = F j (Γr,Γu,r,u) (j = 1,2) defined by (F 1,F 2) T : = O(r,Q 1 )ΓU +O(u,Q 2 )ΓU +O(r,S 1 )ΓU +O(u,S 2 )ΓU, (3.6) (F 1,F 2 )T : = O(Γr,Q 1 )U +O(Γu,Q 2 )U +O(Γr,S 1 )U +O(Γu,S 2 )U, (3.7) where the matrices Q 1, Q 2, S 1 and S 2 are given in (2.8) (2.11). In conclusion, we obtain (ΓU) t +DΓU = (F 1,F 2) T +(F 1,F 2) T +(g 1,g 2) T +(g 1,g 2) T. (3.8) From (3.7), we see the quadratic terms F 1 (Γr,Γu,r,u) and F 2 (Γr,Γu,r,u) will not lead to loss of derivatives when taking the H N 1 norm energy estimate, since Γr and Γu have lower frequencies compared to U. Notice also that the quadratic terms g 1 (r,u) and g 2 (r,u) donot contain Γr and Γu. For these reasons, we only need to take Shatah s normal form transformation Ω :=ΓU +O[r,G 1 ]U +O[u,G 2 ]U +O[Γu,H 1 ]U +O[Γr,H 2 ]U (3.9) for the system (3.8) to cancel g 1 (r,u), g 2 (r,u), F 1 (Γr,Γu,r,u) and F 2 (Γr,Γu,r,u). Similar to (2.31), the matrices G 1, G 2 could be obtained from the equations (g 1,g 2 )T = DO[r,G 1 ]U O[ x r,g 2 ]U O[r,G 1 ]DU +DO[u,G 2 ]U +O[ x u,g 1 ]U O[u,G 2 ]DU, (3.10) 24

25 and H 1, H 2 can be determined by (F 1,F 2) T = DO[Γu,H 1 ]U +O[ x Γu,H 2 ]U O[Γu,H 1 ]DU +DO[Γr,H 2 ]U O[ x Γr,H 1 ]U O[Γr,H 2 ]DU. (3.11) Indeed, the elements of G 1, G 2 (or H 1, H 2 ) satisfy similar linear equations as (2.33), which can be uniquely solved as (2.34). Now using (3.4), (3.5) and (3.8) (3.11), we reduce (3.8) to Ω t +D Ω = (F 1,F 2) T +(g 1,g 2 ) T, (3.12) where(f 1,F 2 )T is given as (3.6), andg 1 (r,u,γr,γu), g 2 (r,u,γr,γu) arecubictermstaking the following form (g 1,g 2 ) T :=(O[f 1,G 1 ]+O[f 2,G 2 ])U +(O[r,G 1 ]+O[u,G 2 ])(f 1,f 2 ) T +O[F 2 +F 2 +g 2 +g 2,H 1]U +O[F 1 +F 1 +g 1 +g 1,H 2]U +(O[Γu,H 1 )]+O[Γr,H 2 ])(f 1,f 2 ) T +(g 1,g 2) T. (3.13) Moreover, according to the properties of the symbols G 1, G 2, H 1 and H 2, we clearly have O[f,G 1 ]V H N 1 + O[f,G 2 ]V H N 1 f C 5 V H N + f H N V C 5, O[f,H 1 ]V H N 1 + O[f,H 2 ]V H N 1 f H 5 V C N (3.14) 3.2 Energy normal form for quadratic terms with Γr and Γu Note that the quadratic terms F 1 (Γr,Γu,r,u) and F 2 (Γr,Γu,r,u) in (3.12) will lead to loss of derivatives in energy estimate for ΓU, as in these terms ΓU has higher frequencies compared to U. So in this subsection, we apply similar modified normal form process as in Section 2 to eliminate the derivative quadratic terms F 1 and F 2 in (3.12). Taking the energy normal form transformation Ω := Ω+O[u,A 1 ]ΓU +O[r,A 2 ]ΓU +O[u,C 1 ]ΓU +O[r,C 2 ]ΓU, (3.15) where A 1,A 2,C 1,C 2 are completely the same as those defined in (2.30) and (2.43). By repeating similar process as (2.49), we can obtain the equation for Ω Ω t +DΩ = O[r,Q 1 B 1 ]ΓU +O[u,Q 2 B 2 ]ΓU +(g 1,g 2 ) T +(O[f 2,A 1 ]+O[f 1,A 2 ])ΓU +(O[f 2,C 1 ]+O[f 1,C 2 ])ΓU +(O[u,A 1 ]+O[r,A 2 ])(F 1 +F 1 +g 1 +g 1,F 2 +F 2 +g 2 +g 2 )T +(O[u,C 1 ]+O[r,C 2 ])(F 1 +F 1 +g 1 +g 1,F 2 +F 2 +g 2 +g 2) T, (3.16) where f 1,f 2, F 1,F 2, F 1,F 2 and g 1,g 2 are defined by (3.4), (3.6), (3.7) and (3.13), respectively. From (3.9) and (3.15), we have Ω = ΓU +O[r,G 1 ]U +O[u,G 2 ]U +O[Γu,H 1 ]U +O[Γr,H 2 ]U +O[u,A 1 ]ΓU +O[r,A 2 ]ΓU +O[u,C 1 ]ΓU +O[r,C 2 ]ΓU. (3.17) 25

26 Using (3.17), we rewrite the equation (3.16) as where Ω t +DΩ O[r,Q 1 B 1 ]Ω O[u,Q 2 B 2 ]Ω = J 1 +J 2 +J 3 +J 4 +(g 1,g 2 ) T, (3.18) J 1 := [ O[u,A 1 ]+O[r,A 2 ],O[r,Q 1 ]+O[u,Q 2 ] ] ΓU, J 2 := (O[r,Q 1 B 1 ]+O[u,Q 2 B 2 ])(O[r,G 1 ]U +O[u,G 2 ]U) +(O[u,A 1 ]+O[r,A 2 ]+O[u,C 1 ]+O[r,C 2 ])(g 1 +g 1,g 2 +g 2) T, J 3 :=(O[r,B 1 ]+O[u,B 2 ])(O[u,A 1 ]+O[r,A 2 ]+O[u,C 1 ]+O[r,C 2 ])ΓU (O[r,Q 1 ]+O[u,Q 2 ])(O[u,C 1 ]+O[r,C 2 ])ΓU +(O[u,C 1 ]+O[r,C 2 ])(F 1,F 2) T +(O[u,A 1 ]+O[r,A 2 ])(O[u,S 1 ]+O[r,S 2 ])ΓU +(O[f 2,A 1 ]+O[f 1,A 2 ])ΓU +(O[f 2,C 1 ]+O[f 1,C 2 ])ΓU, J 4 := (O[r,Q 1 B 1 ]+O[u,Q 2 B 2 ])(O[Γu,H 1 ]U +O[Γr,H 2 ]U) +(O[u,A 1 ]+O[r,A 2 ]+O[u,C 1 ]+O[r,C 2 ])(F 1,F 2 )T. 3.3 Low energy estimate for ΓU Proof of Proposition 3.1. The energy estimate for (3.18) is similar to (2.49). Taking energy estimate at H N 1 level for (3.18), we have e x N 1 Ω t + x N 1 DΩ x N 1 (O[r,Q 1 B 1 ] O[u,Q 2 B 2 ])Ω, x N 1 Ω Clearly, there holds = e x N 1 (J 1 +J 2 +J 3 +J 4 )+e x N 1 (g 1,g 2 ) T, x N 1 Ω. e x N 1 Ω t, x N 1 Ω = d 2dt Ω 2 H N 1, e x N 1 DΩ, x N 1 Ω = 0. Moreover, from (2.14) (2.15), e x N 1 (O[r,Q 1 B 1 ]+O[u,Q 2 B 2 ]Ω), x N 1 Ω = 0. For J 1, we use Lemma 2.15 to obtain x N 1 J 1, x N 1 Ω U 2 C 5 ΓU H N 1 Ω H N 1. Note that all the terms in J 2 are cubic terms containing only r,u, from (2.17), Lemmas and (3.14), we have x N 1 J 2, x N 1 Ω U 2 C 5 U H N Ω H N 1. Similar to the estimates for I 1, I 2 and I 4 in (2.49), the term J 3 can be bounded by x N 1 J 3, x N 1 Ω U 2 C 5 ΓU H N 1 Ω H N 1. 26

27 Note that all the terms containing ΓU in J 4 has lower frequencies compared to U, so Similarly, using (3.14), we obtain x N 1 J 4, x N 1 Ω U 2 C N 1 +9 ΓU H N 1 Ω H N 1. x N 1 (g 1,g 2 ) T, x N 1 Ω U 2 C N 1 +9 ( ΓU H N 1 + U H N) Ω H N 1. Therefore, we conclude that d dt Ω H N 1 U 2 C N 1 +9 ( ΓU H N 1 + U H N) ǫ 3 1 (1+t)p 0 1. (3.19) where we have used (3.1) in the last step. Note that from (3.14), (3.1) and (2.52) (2.55), we have O[r,G 1 ]U H N 1 + O[u,G 2 ]U H N 1 U C 5 U H N ǫ 2 1 (1+t)p 0 1/2 ǫ 2 1, O[Γu,H 1 ]U H N 1 + O[Γr,H 2 ]U H N 1 ΓU H N 1 U C N 1 +9 ǫ 2 1(1+t) p 0 1/2 ǫ 2 1, O[u,A 1 ]ΓU H N 1 + O[r,A 2 ]ΓU H N 1 U C 5 ΓU H N 1 ǫ 2 1 O[u,C 1 ]ΓU H N 1 + O[r,C 2 ]ΓU H N 1 U C 5 ΓU H N 1 ǫ 2 1. Hence, we deduce from (3.17) that Ω H N 1 ΓU H N 1 +ǫ 2 1, ΓU H N 1 Ω H N 1 +ǫ 2 1. Integrating (3.19) and using (1.7), we obtain ΓU H N 1 ǫ 0 +(1+t) p 0 ǫ 2 1. Proposition 3.1 thus follows. 3.4 Low energy estimate for xu In this subsection, we aim to prove Proposition 3.2. Using the identities [x, x ] = I, [x, t ] = 0, [x, x ] = x x, [x, x x ] = 1 x 3, we see xr and xu satisfy ( ) ( )( ) ( ) ( xr 0 x xr (xr) x x u+r x x (xu) + = xu x 0 xu x [(xr) x xr x ]+ x [ + x x (xu) x u] t where N j = N j (r,u) (j = 1,2) are linear and quadratic terms not including xr and xu, N 1 (r,u) = x x u r x u+r x x x u, 27 N 1 N 2 ), (3.20)

28 N 2 (r,u) = x x r x x (rr x)+ x x [ x x u( x u)] 1 x 3(r x) 2 1 x 3( x u) 2. As in (3.6), the first nonlinear term in (3.20) can be decomposed into ( ) ( ) ( ) (xr) x x u+r x x (xu) x [(xr) x xr x ]+ x [ = 1 F 1 (xr,xu,r,u) + 1 F 1 (xr,xu,r,u) x x (xu) x u] 2 F 2 (xr,xu,r,u) 2 F 2 (xr,xu,r,u) with (F 1,F 2 ) T = O[r,Q 1 ]xu +O[u,Q 2 ]xu +O[r,S 1 ]xu +O[u,S 2 ]xu, (F 1,F 2) T = O[xr,Q 1 ]U +O[xu,Q 2 ]U +O[xr,S 1 ]U +O[xu,S 2 ]U. Note that F 1 (xr,xu,r,u) and F 2 (xr,xu,r,u) will lead to loss of derivatives for the energy estimate, as xu has higher frequencies compared to r and u. In order to treat this case, we take energy normal form transformation similar to (3.15). Let Θ := xu (O[u,A 1]xU +O[r,A 2 ]xu +O[u,C 1 ]xu +O[r,C 2 ]xu) (O[xu,H 1]U +O[xr,H 2 ]U), (3.21) where H 1 and H 2 are the same as (3.9), then (3.20) is changed into Θ t +DΘ = 1 2 O[r,Q 1 B 1 ]xu O[u,Q 2 B 2 ]xu +(N 1,N 2) T (O[f 2,A 1 ]+O[f 1,A 2 ]+O[f 2,C 1 ]+O[f 1,C 2 ])xu (O[u,A 1]+O[r,A 2 ])( 1 2 (F 1 +F 1)+N 1, 1 2 (F 2 +F 2)+N 2) T (O[u,C 1]+O[r,C 2 ])( 1 2 (F 1 +F 1)+N 1, 1 2 (F 2 +F 2)+N 2) T (O[xu,H 1]+O[xr,H 2 ])(f 1,f 2 ) T (O[1 2 (F 2 +F 2)+N 2,H 1 ]+O[ 1 2 (F 1 +F 1)+N 1,H 2 ])U. Similar to (3.18), we can obtain Θ t +DΘ 1 2 O[r,Q 1 B 1 ]Θ 1 2 [u,q 2 B 2 ]Θ = L 1 +L 2 +L 3, (3.22) where L 1 := 1 4[ O[u,A1 ]+O[r,A 2 ],O[r,Q 1 ]+O[u,Q 2 ] ] xu, L 2 :=(N 1,N 2 )T (O[u,A 1]+O[r,A 2 ]+O[u,C 1 ]+O[r,C 2 ])(N 1,N 2 )T (O[N 2,H 1 ]+O[N 1,H 2 ])U, 28

29 L 3 := 1 4 (O[r,Q 1 B 1 ]+O[u,Q 2 B 2 ])(O[u,C 1 ]+O[r,C 2 ])xu 1 4 (O[r,Q 1 B 1 ]+O[u,Q 2 B 2 ])(O[xu,H 1 ]+O[xr,H 2 ])U (O[r,B 1]+O[u,B 2 ])(O[u,A 1 ]+O[r,A 2 ])xu (O[u,A 1]+O[r,A 2 ])(O[r,S 1 ]+O[u,S 2 ])xu (O[u,A 1]+O[r,A 2 ])(F 1,F 2) T (O[u,C 1]+O[r,C 2 ])(F 1 +F 1,F 2 +F 2 )T (O[f 2,A 1 ]+O[f 1,A 2 ]+O[f 2,C 1 ]+O[f 1,C 2 ])xu (O[xu,H 1]+O[xr,H 2 ])(f 1,f 2 ) T (O[F 2 +F 2,H 1 ]+O[F 1 +F 1,H 2 ])U. emember that, there are linear terms in N 1 and N 2. Now, applying similar argument as Section 3.3, we can obtain x N 1 L 1, x N 1 Θ U 2 C 5 xu H N 1 Θ H N 1, x N 1 L 2, x N 1 Θ ( U H N + U C 5 U H N + U 2 C 5 U H N) Θ H N 1, x N 1 L 3, x N 1 Θ U 2 C N 1 +9 xu H N 1 Θ H N 1. Therefore, the H N 1 energy estimate for (3.22) is d dt Θ H N 1 U 2 C N 1 +9 xu H N 1 + U 2 C 5 U H N + U H N ǫ 2 1(1+t) 1 xu H N 1 +ǫ 1 (1+t) p 0. Note that (3.21) implies xu H N 1 Θ H N 1 if ǫ 1 is small enough, so we have Using Gronwall s inequality, we obtain d dt Θ H N 1 ǫ 2 1 (1+t) 1 Θ H N 1 +ǫ 1 (1+t) p 0. xu H N 1 Θ H N 1 ǫ 0 (1+t) Cǫ2 1 +ǫ1 (1+t) 1+p 0 ǫ 1 (1+t) 1+p 0 provided that ǫ 1 is sufficiently small. This ends the proof of Proposition Modified scattering and decay estimate In this section, we will prove Proposition 4.1 below. ecalling (1.8) and (1.9), we have h t +i x h = 1 2i (h+h) x x (h h)+ x 4i x [ x (h h)] 2 x 4i x [(h+h) x] 2 = O[h,q ++ ]h+o[h,q + ]h+o[h,q ]h, (4.1) 29

30 where the expressions for the symbols q ++, q + and q are q ++ (ξ,η) := 1 ξ +η ξ +η ξ η + ξ η ξ +η 4 ξ +η ξη, q + (ξ,η) := 1 2 ξ η + 1 ξ +η ξ +η ξ η ξ η ξ +η 2 ξ +η ξη, q (ξ,η) := 1 ξ +η ξ +η ξ η + ξ η ξ +η 4 ξ +η ξη. (4.2) We first apply Shatah s normal form transformation to eliminate the quadratic terms in the equation (4.1). Let g := h+o[h,b ++ ]h+o[h,b + ]h+o[h,b ]h = h+ where Λ := {++,+, }, h + := h, h := h and b ι 1ι 2 (ξ,η) := We remark that for any ξ,η, ι 1 ι 2 Λ O[h ι 1,b ι 1ι 2 ]h ι 2, (4.3) iq ι 1ι 2 (ξ,η) ξ +η ι 1 ξ ι 2 η, ι 1ι 2 Λ. (4.4) ξ +η ± ξ ± η ( ξ +η + ξ + η ) 1 > 0. By (4.3) and (4.4), equation (4.1) is changed into g t +i x g = N(h), (4.5) where N(h) denotes cubic nonlinear term, N(h) := O[O[h ι 1,q ι 1ι 2 ]h ι 2,b ++ ]h+ O[h,b ++ ]O[h ι 1,q ι 1ι 2 ]h ι 2 ι 1 ι 2 Λ + ι 1 ι 2 Λ + ι 1 ι 2 Λ O[O[h ι 1,q ι 1ι 2 ]h ι 2,b + ]h+ ι 1 ι 2 Λ O[O[h ι 1,q ι 1 ι 2]h ι 2,b ]h+ ι 1 ι 2 Λ ι 1 ι 2 Λ O[h,b + ]O[h ι 1,q ι 1 ι 2]h ι 2 O[h,b ]O[h ι 1,q ι 1 ι 2]h ι 2. (4.6) Let w be the linear profile of g, that is w(t) := e it x g(t), (4.7) then from (4.5), w satisfies w t = e it x ( t +i x )g = e it x N(h). (4.8) Now we state the main result of this section. 30

31 Proposition 4.1 Let h C([0,T];H N ) be the solution of (4.1), and g,w be given by (4.3), (4.7), respectively. Assume that and h(0) H N + xh(0) H N ξ N 1+10 ĥ(0) L ǫ 0, (4.9) sup [(1+t) p 0 h(t) H N +(1+t) p 0 Γh(t) H N 1 + ξ N 1+10ŵ(t) L t [0,T] +(1+t) 1/2 h(t) W N 1 +10, ] ǫ 1, (4.10) where N = 300, N 1 = 15, 0 < p 0 < 10 3 and 0 < ǫ 0 ǫ 1 1. Then we have sup [(1+t) p 0 xw(t) H N 1 4] ǫ 0 +ǫ 2 1, (4.11) t [0,T] sup ξ N 1+10ŵ(t) L ǫ 0 +ǫ 3 1, (4.12) t [0,T] sup [(1+t) 1/2 h(t) W N 1 +10, ] ǫ 0 +ǫ 2 1. (4.13) t [0,T] To prove Proposition 4.1, we need to construct a new linear dispersive estimate for the solution of (4.1). Lemma 4.2 For all t 0, there holds that e ±it x f L (1+t) 1/2 f L +(1+t) 5/8 ( f H 2 + xf H 1). (4.14) The proof for this estimate is given in Lemma A.1 of the appendix. Let f = w (or w) in (4.14), Lemma 4.2 shows that the L norm of the solution g is controlled by the L norm of ŵ and the Sobolev norms of w and xw. The estimates for these norms are presented in the following subsections. 4.1 Proof of (4.11) We need the following isotropic multiplier estimate for O[h ι 1,q ι 1ι 2 ]h ι 2 and N(h). Lemma 4.3 Let m(ξ, η) be a Fourier multiplier satisfying m L 2 ( 2 ) + 2 ξ m L 2 ( 2 ) + 2 ηm L 2 ( 2 ) 1, (4.15) then for any p 0, p 1, p 2 [1,+ ] with p 1 0 = p 1 1 +p 1 2, we have O[f 1,m]f 2 L p 0() f 1 L p 1() f 2 L p 2(). For the proof of this multiplier lemma, see Lemma B.2 in the appendix. 31

2 Composition. Invertible Mappings

2 Composition. Invertible Mappings Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan Composition. Invertible Mappings In this section we discuss two procedures for creating new mappings from old ones, namely,

Διαβάστε περισσότερα

Uniform Convergence of Fourier Series Michael Taylor

Uniform Convergence of Fourier Series Michael Taylor Uniform Convergence of Fourier Series Michael Taylor Given f L 1 T 1 ), we consider the partial sums of the Fourier series of f: N 1) S N fθ) = ˆfk)e ikθ. k= N A calculation gives the Dirichlet formula

Διαβάστε περισσότερα

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit Ting Zhang Stanford May 11, 2001 Stanford, 5/11/2001 1 Outline Ordinal Classification Ordinal Addition Ordinal Multiplication Ordinal

Διαβάστε περισσότερα

Every set of first-order formulas is equivalent to an independent set

Every set of first-order formulas is equivalent to an independent set Every set of first-order formulas is equivalent to an independent set May 6, 2008 Abstract A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent

Διαβάστε περισσότερα

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required) Phys460.nb 81 ψ n (t) is still the (same) eigenstate of H But for tdependent H. The answer is NO. 5.5.5. Solution for the tdependent Schrodinger s equation If we assume that at time t 0, the electron starts

Διαβάστε περισσότερα

EE512: Error Control Coding

EE512: Error Control Coding EE512: Error Control Coding Solution for Assignment on Finite Fields February 16, 2007 1. (a) Addition and Multiplication tables for GF (5) and GF (7) are shown in Tables 1 and 2. + 0 1 2 3 4 0 0 1 2 3

Διαβάστε περισσότερα

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch: HOMEWORK 4 Problem a For the fast loading case, we want to derive the relationship between P zz and λ z. We know that the nominal stress is expressed as: P zz = ψ λ z where λ z = λ λ z. Therefore, applying

Διαβάστε περισσότερα

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3 Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3 1 State vector space and the dual space Space of wavefunctions The space of wavefunctions is the set of all

Διαβάστε περισσότερα

derivation of the Laplacian from rectangular to spherical coordinates

derivation of the Laplacian from rectangular to spherical coordinates derivation of the Laplacian from rectangular to spherical coordinates swapnizzle 03-03- :5:43 We begin by recognizing the familiar conversion from rectangular to spherical coordinates (note that φ is used

Διαβάστε περισσότερα

Partial Differential Equations in Biology The boundary element method. March 26, 2013

Partial Differential Equations in Biology The boundary element method. March 26, 2013 The boundary element method March 26, 203 Introduction and notation The problem: u = f in D R d u = ϕ in Γ D u n = g on Γ N, where D = Γ D Γ N, Γ D Γ N = (possibly, Γ D = [Neumann problem] or Γ N = [Dirichlet

Διαβάστε περισσότερα

forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with

forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with Week 03: C lassification of S econd- Order L inear Equations In last week s lectures we have illustrated how to obtain the general solutions of first order PDEs using the method of characteristics. We

Διαβάστε περισσότερα

4.6 Autoregressive Moving Average Model ARMA(1,1)

4.6 Autoregressive Moving Average Model ARMA(1,1) 84 CHAPTER 4. STATIONARY TS MODELS 4.6 Autoregressive Moving Average Model ARMA(,) This section is an introduction to a wide class of models ARMA(p,q) which we will consider in more detail later in this

Διαβάστε περισσότερα

6.3 Forecasting ARMA processes

6.3 Forecasting ARMA processes 122 CHAPTER 6. ARMA MODELS 6.3 Forecasting ARMA processes The purpose of forecasting is to predict future values of a TS based on the data collected to the present. In this section we will discuss a linear

Διαβάστε περισσότερα

Example Sheet 3 Solutions

Example Sheet 3 Solutions Example Sheet 3 Solutions. i Regular Sturm-Liouville. ii Singular Sturm-Liouville mixed boundary conditions. iii Not Sturm-Liouville ODE is not in Sturm-Liouville form. iv Regular Sturm-Liouville note

Διαβάστε περισσότερα

Math221: HW# 1 solutions

Math221: HW# 1 solutions Math: HW# solutions Andy Royston October, 5 7.5.7, 3 rd Ed. We have a n = b n = a = fxdx = xdx =, x cos nxdx = x sin nx n sin nxdx n = cos nx n = n n, x sin nxdx = x cos nx n + cos nxdx n cos n = + sin

Διαβάστε περισσότερα

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Chapter 6: Systems of Linear Differential. be continuous functions on the interval Chapter 6: Systems of Linear Differential Equations Let a (t), a 2 (t),..., a nn (t), b (t), b 2 (t),..., b n (t) be continuous functions on the interval I. The system of n first-order differential equations

Διαβάστε περισσότερα

6.1. Dirac Equation. Hamiltonian. Dirac Eq.

6.1. Dirac Equation. Hamiltonian. Dirac Eq. 6.1. Dirac Equation Ref: M.Kaku, Quantum Field Theory, Oxford Univ Press (1993) η μν = η μν = diag(1, -1, -1, -1) p 0 = p 0 p = p i = -p i p μ p μ = p 0 p 0 + p i p i = E c 2 - p 2 = (m c) 2 H = c p 2

Διαβάστε περισσότερα

C.S. 430 Assignment 6, Sample Solutions

C.S. 430 Assignment 6, Sample Solutions C.S. 430 Assignment 6, Sample Solutions Paul Liu November 15, 2007 Note that these are sample solutions only; in many cases there were many acceptable answers. 1 Reynolds Problem 10.1 1.1 Normal-order

Διαβάστε περισσότερα

Section 8.3 Trigonometric Equations

Section 8.3 Trigonometric Equations 99 Section 8. Trigonometric Equations Objective 1: Solve Equations Involving One Trigonometric Function. In this section and the next, we will exple how to solving equations involving trigonometric functions.

Διαβάστε περισσότερα

Matrices and Determinants

Matrices and Determinants Matrices and Determinants SUBJECTIVE PROBLEMS: Q 1. For what value of k do the following system of equations possess a non-trivial (i.e., not all zero) solution over the set of rationals Q? x + ky + 3z

Διαβάστε περισσότερα

Second Order Partial Differential Equations

Second Order Partial Differential Equations Chapter 7 Second Order Partial Differential Equations 7.1 Introduction A second order linear PDE in two independent variables (x, y Ω can be written as A(x, y u x + B(x, y u xy + C(x, y u u u + D(x, y

Διαβάστε περισσότερα

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS CHAPTER 5 SOLVING EQUATIONS BY ITERATIVE METHODS EXERCISE 104 Page 8 1. Find the positive root of the equation x + 3x 5 = 0, correct to 3 significant figures, using the method of bisection. Let f(x) =

Διαβάστε περισσότερα

Problem Set 9 Solutions. θ + 1. θ 2 + cotθ ( ) sinθ e iφ is an eigenfunction of the ˆ L 2 operator. / θ 2. φ 2. sin 2 θ φ 2. ( ) = e iφ. = e iφ cosθ.

Problem Set 9 Solutions. θ + 1. θ 2 + cotθ ( ) sinθ e iφ is an eigenfunction of the ˆ L 2 operator. / θ 2. φ 2. sin 2 θ φ 2. ( ) = e iφ. = e iφ cosθ. Chemistry 362 Dr Jean M Standard Problem Set 9 Solutions The ˆ L 2 operator is defined as Verify that the angular wavefunction Y θ,φ) Also verify that the eigenvalue is given by 2! 2 & L ˆ 2! 2 2 θ 2 +

Διαβάστε περισσότερα

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013 Notes on Average Scattering imes and Hall Factors Jesse Maassen and Mar Lundstrom Purdue University November 5, 13 I. Introduction 1 II. Solution of the BE 1 III. Exercises: Woring out average scattering

Διαβάστε περισσότερα

Reminders: linear functions

Reminders: linear functions Reminders: linear functions Let U and V be vector spaces over the same field F. Definition A function f : U V is linear if for every u 1, u 2 U, f (u 1 + u 2 ) = f (u 1 ) + f (u 2 ), and for every u U

Διαβάστε περισσότερα

Congruence Classes of Invertible Matrices of Order 3 over F 2

Congruence Classes of Invertible Matrices of Order 3 over F 2 International Journal of Algebra, Vol. 8, 24, no. 5, 239-246 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/.2988/ija.24.422 Congruence Classes of Invertible Matrices of Order 3 over F 2 Ligong An and

Διαβάστε περισσότερα

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ. Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο The time integral of a force is referred to as impulse, is determined by and is obtained from: Newton s 2 nd Law of motion states that the action

Διαβάστε περισσότερα

ST5224: Advanced Statistical Theory II

ST5224: Advanced Statistical Theory II ST5224: Advanced Statistical Theory II 2014/2015: Semester II Tutorial 7 1. Let X be a sample from a population P and consider testing hypotheses H 0 : P = P 0 versus H 1 : P = P 1, where P j is a known

Διαβάστε περισσότερα

Concrete Mathematics Exercises from 30 September 2016

Concrete Mathematics Exercises from 30 September 2016 Concrete Mathematics Exercises from 30 September 2016 Silvio Capobianco Exercise 1.7 Let H(n) = J(n + 1) J(n). Equation (1.8) tells us that H(2n) = 2, and H(2n+1) = J(2n+2) J(2n+1) = (2J(n+1) 1) (2J(n)+1)

Διαβάστε περισσότερα

1 String with massive end-points

1 String with massive end-points 1 String with massive end-points Πρόβλημα 5.11:Θεωρείστε μια χορδή μήκους, τάσης T, με δύο σημειακά σωματίδια στα άκρα της, το ένα μάζας m, και το άλλο μάζας m. α) Μελετώντας την κίνηση των άκρων βρείτε

Διαβάστε περισσότερα

D Alembert s Solution to the Wave Equation

D Alembert s Solution to the Wave Equation D Alembert s Solution to the Wave Equation MATH 467 Partial Differential Equations J. Robert Buchanan Department of Mathematics Fall 2018 Objectives In this lesson we will learn: a change of variable technique

Διαβάστε περισσότερα

Iterated trilinear fourier integrals with arbitrary symbols

Iterated trilinear fourier integrals with arbitrary symbols Cornell University ICM 04, Satellite Conference in Harmonic Analysis, Chosun University, Gwangju, Korea August 6, 04 Motivation the Coifman-Meyer theorem with classical paraproduct(979) B(f, f )(x) :=

Διαβάστε περισσότερα

MA 342N Assignment 1 Due 24 February 2016

MA 342N Assignment 1 Due 24 February 2016 M 342N ssignment Due 24 February 206 Id: 342N-s206-.m4,v. 206/02/5 2:25:36 john Exp john. Suppose that q, in addition to satisfying the assumptions from lecture, is an even function. Prove that η(λ = 0,

Διαβάστε περισσότερα

Problem Set 3: Solutions

Problem Set 3: Solutions CMPSCI 69GG Applied Information Theory Fall 006 Problem Set 3: Solutions. [Cover and Thomas 7.] a Define the following notation, C I p xx; Y max X; Y C I p xx; Ỹ max I X; Ỹ We would like to show that C

Διαβάστε περισσότερα

Space-Time Symmetries

Space-Time Symmetries Chapter Space-Time Symmetries In classical fiel theory any continuous symmetry of the action generates a conserve current by Noether's proceure. If the Lagrangian is not invariant but only shifts by a

Διαβάστε περισσότερα

Homework 3 Solutions

Homework 3 Solutions Homework 3 Solutions Igor Yanovsky (Math 151A TA) Problem 1: Compute the absolute error and relative error in approximations of p by p. (Use calculator!) a) p π, p 22/7; b) p π, p 3.141. Solution: For

Διαβάστε περισσότερα

Second Order RLC Filters

Second Order RLC Filters ECEN 60 Circuits/Electronics Spring 007-0-07 P. Mathys Second Order RLC Filters RLC Lowpass Filter A passive RLC lowpass filter (LPF) circuit is shown in the following schematic. R L C v O (t) Using phasor

Διαβάστε περισσότερα

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in : tail in X, head in A nowhere-zero Γ-flow is a Γ-circulation such that

Διαβάστε περισσότερα

Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X.

Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X. Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequalit for metrics: Let (X, d) be a metric space and let x,, z X. Prove that d(x, z) d(, z) d(x, ). (ii): Reverse triangle inequalit for norms:

Διαβάστε περισσότερα

The semiclassical Garding inequality

The semiclassical Garding inequality The semiclassical Garding inequality We give a proof of the semiclassical Garding inequality (Theorem 4.1 using as the only black box the Calderon-Vaillancourt Theorem. 1 Anti-Wick quantization For (q,

Διαβάστε περισσότερα

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Chapter 6: Systems of Linear Differential. be continuous functions on the interval Chapter 6: Systems of Linear Differential Equations Let a (t), a 2 (t),..., a nn (t), b (t), b 2 (t),..., b n (t) be continuous functions on the interval I. The system of n first-order differential equations

Διαβάστε περισσότερα

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β 3.4 SUM AND DIFFERENCE FORMULAS Page Theorem cos(αβ cos α cos β -sin α cos(α-β cos α cos β sin α NOTE: cos(αβ cos α cos β cos(α-β cos α -cos β Proof of cos(α-β cos α cos β sin α Let s use a unit circle

Διαβάστε περισσότερα

Statistical Inference I Locally most powerful tests

Statistical Inference I Locally most powerful tests Statistical Inference I Locally most powerful tests Shirsendu Mukherjee Department of Statistics, Asutosh College, Kolkata, India. shirsendu st@yahoo.co.in So far we have treated the testing of one-sided

Διαβάστε περισσότερα

ORDINAL ARITHMETIC JULIAN J. SCHLÖDER

ORDINAL ARITHMETIC JULIAN J. SCHLÖDER ORDINAL ARITHMETIC JULIAN J. SCHLÖDER Abstract. We define ordinal arithmetic and show laws of Left- Monotonicity, Associativity, Distributivity, some minor related properties and the Cantor Normal Form.

Διαβάστε περισσότερα

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8  questions or comments to Dan Fetter 1 Eon : Fall 8 Suggested Solutions to Problem Set 8 Email questions or omments to Dan Fetter Problem. Let X be a salar with density f(x, θ) (θx + θ) [ x ] with θ. (a) Find the most powerful level α test

Διαβάστε περισσότερα

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions SCHOOL OF MATHEMATICAL SCIENCES GLMA Linear Mathematics 00- Examination Solutions. (a) i. ( + 5i)( i) = (6 + 5) + (5 )i = + i. Real part is, imaginary part is. (b) ii. + 5i i ( + 5i)( + i) = ( i)( + i)

Διαβάστε περισσότερα

w o = R 1 p. (1) R = p =. = 1

w o = R 1 p. (1) R = p =. = 1 Πανεπιστήµιο Κρήτης - Τµήµα Επιστήµης Υπολογιστών ΗΥ-570: Στατιστική Επεξεργασία Σήµατος 205 ιδάσκων : Α. Μουχτάρης Τριτη Σειρά Ασκήσεων Λύσεις Ασκηση 3. 5.2 (a) From the Wiener-Hopf equation we have:

Διαβάστε περισσότερα

Finite Field Problems: Solutions

Finite Field Problems: Solutions Finite Field Problems: Solutions 1. Let f = x 2 +1 Z 11 [x] and let F = Z 11 [x]/(f), a field. Let Solution: F =11 2 = 121, so F = 121 1 = 120. The possible orders are the divisors of 120. Solution: The

Διαβάστε περισσότερα

Lecture 34 Bootstrap confidence intervals

Lecture 34 Bootstrap confidence intervals Lecture 34 Bootstrap confidence intervals Confidence Intervals θ: an unknown parameter of interest We want to find limits θ and θ such that Gt = P nˆθ θ t If G 1 1 α is known, then P θ θ = P θ θ = 1 α

Διαβάστε περισσότερα

Higher Derivative Gravity Theories

Higher Derivative Gravity Theories Higher Derivative Gravity Theories Black Holes in AdS space-times James Mashiyane Supervisor: Prof Kevin Goldstein University of the Witwatersrand Second Mandelstam, 20 January 2018 James Mashiyane WITS)

Διαβάστε περισσότερα

= {{D α, D α }, D α }. = [D α, 4iσ µ α α D α µ ] = 4iσ µ α α [Dα, D α ] µ.

= {{D α, D α }, D α }. = [D α, 4iσ µ α α D α µ ] = 4iσ µ α α [Dα, D α ] µ. PHY 396 T: SUSY Solutions for problem set #1. Problem 2(a): First of all, [D α, D 2 D α D α ] = {D α, D α }D α D α {D α, D α } = {D α, D α }D α + D α {D α, D α } (S.1) = {{D α, D α }, D α }. Second, {D

Διαβάστε περισσότερα

Section 7.6 Double and Half Angle Formulas

Section 7.6 Double and Half Angle Formulas 09 Section 7. Double and Half Angle Fmulas To derive the double-angles fmulas, we will use the sum of two angles fmulas that we developed in the last section. We will let α θ and β θ: cos(θ) cos(θ + θ)

Διαβάστε περισσότερα

A Note on Intuitionistic Fuzzy. Equivalence Relation

A Note on Intuitionistic Fuzzy. Equivalence Relation International Mathematical Forum, 5, 2010, no. 67, 3301-3307 A Note on Intuitionistic Fuzzy Equivalence Relation D. K. Basnet Dept. of Mathematics, Assam University Silchar-788011, Assam, India dkbasnet@rediffmail.com

Διαβάστε περισσότερα

2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p)

2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p) Uppsala Universitet Matematiska Institutionen Andreas Strömbergsson Prov i matematik Funktionalanalys Kurs: F3B, F4Sy, NVP 2005-03-08 Skrivtid: 9 14 Tillåtna hjälpmedel: Manuella skrivdon, Kreyszigs bok

Διαβάστε περισσότερα

CRASH COURSE IN PRECALCULUS

CRASH COURSE IN PRECALCULUS CRASH COURSE IN PRECALCULUS Shiah-Sen Wang The graphs are prepared by Chien-Lun Lai Based on : Precalculus: Mathematics for Calculus by J. Stuwart, L. Redin & S. Watson, 6th edition, 01, Brooks/Cole Chapter

Διαβάστε περισσότερα

Inverse trigonometric functions & General Solution of Trigonometric Equations. ------------------ ----------------------------- -----------------

Inverse trigonometric functions & General Solution of Trigonometric Equations. ------------------ ----------------------------- ----------------- Inverse trigonometric functions & General Solution of Trigonometric Equations. 1. Sin ( ) = a) b) c) d) Ans b. Solution : Method 1. Ans a: 17 > 1 a) is rejected. w.k.t Sin ( sin ) = d is rejected. If sin

Διαβάστε περισσότερα

The Pohozaev identity for the fractional Laplacian

The Pohozaev identity for the fractional Laplacian The Pohozaev identity for the fractional Laplacian Xavier Ros-Oton Departament Matemàtica Aplicada I, Universitat Politècnica de Catalunya (joint work with Joaquim Serra) Xavier Ros-Oton (UPC) The Pohozaev

Διαβάστε περισσότερα

Approximation of distance between locations on earth given by latitude and longitude

Approximation of distance between locations on earth given by latitude and longitude Approximation of distance between locations on earth given by latitude and longitude Jan Behrens 2012-12-31 In this paper we shall provide a method to approximate distances between two points on earth

Διαβάστε περισσότερα

DERIVATION OF MILES EQUATION FOR AN APPLIED FORCE Revision C

DERIVATION OF MILES EQUATION FOR AN APPLIED FORCE Revision C DERIVATION OF MILES EQUATION FOR AN APPLIED FORCE Revision C By Tom Irvine Email: tomirvine@aol.com August 6, 8 Introduction The obective is to derive a Miles equation which gives the overall response

Διαβάστε περισσότερα

Other Test Constructions: Likelihood Ratio & Bayes Tests

Other Test Constructions: Likelihood Ratio & Bayes Tests Other Test Constructions: Likelihood Ratio & Bayes Tests Side-Note: So far we have seen a few approaches for creating tests such as Neyman-Pearson Lemma ( most powerful tests of H 0 : θ = θ 0 vs H 1 :

Διαβάστε περισσότερα

5. Choice under Uncertainty

5. Choice under Uncertainty 5. Choice under Uncertainty Daisuke Oyama Microeconomics I May 23, 2018 Formulations von Neumann-Morgenstern (1944/1947) X: Set of prizes Π: Set of probability distributions on X : Preference relation

Διαβάστε περισσότερα

Lecture 2. Soundness and completeness of propositional logic

Lecture 2. Soundness and completeness of propositional logic Lecture 2 Soundness and completeness of propositional logic February 9, 2004 1 Overview Review of natural deduction. Soundness and completeness. Semantics of propositional formulas. Soundness proof. Completeness

Διαβάστε περισσότερα

[1] P Q. Fig. 3.1

[1] P Q. Fig. 3.1 1 (a) Define resistance....... [1] (b) The smallest conductor within a computer processing chip can be represented as a rectangular block that is one atom high, four atoms wide and twenty atoms long. One

Διαβάστε περισσότερα

( ) 2 and compare to M.

( ) 2 and compare to M. Problems and Solutions for Section 4.2 4.9 through 4.33) 4.9 Calculate the square root of the matrix 3!0 M!0 8 Hint: Let M / 2 a!b ; calculate M / 2!b c ) 2 and compare to M. Solution: Given: 3!0 M!0 8

Διαβάστε περισσότερα

Srednicki Chapter 55

Srednicki Chapter 55 Srednicki Chapter 55 QFT Problems & Solutions A. George August 3, 03 Srednicki 55.. Use equations 55.3-55.0 and A i, A j ] = Π i, Π j ] = 0 (at equal times) to verify equations 55.-55.3. This is our third

Διαβάστε περισσότερα

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1 Conceptual Questions. State a Basic identity and then verify it. a) Identity: Solution: One identity is cscθ) = sinθ) Practice Exam b) Verification: Solution: Given the point of intersection x, y) of the

Διαβάστε περισσότερα

Section 9.2 Polar Equations and Graphs

Section 9.2 Polar Equations and Graphs 180 Section 9. Polar Equations and Graphs In this section, we will be graphing polar equations on a polar grid. In the first few examples, we will write the polar equation in rectangular form to help identify

Διαβάστε περισσότερα

Solutions to Exercise Sheet 5

Solutions to Exercise Sheet 5 Solutions to Eercise Sheet 5 jacques@ucsd.edu. Let X and Y be random variables with joint pdf f(, y) = 3y( + y) where and y. Determine each of the following probabilities. Solutions. a. P (X ). b. P (X

Διαβάστε περισσότερα

Boundedness of Some Pseudodifferential Operators on Bessel-Sobolev Space 1

Boundedness of Some Pseudodifferential Operators on Bessel-Sobolev Space 1 M a t h e m a t i c a B a l k a n i c a New Series Vol. 2, 26, Fasc. 3-4 Boundedness of Some Pseudodifferential Operators on Bessel-Sobolev Space 1 Miloud Assal a, Douadi Drihem b, Madani Moussai b Presented

Διαβάστε περισσότερα

Solution Series 9. i=1 x i and i=1 x i.

Solution Series 9. i=1 x i and i=1 x i. Lecturer: Prof. Dr. Mete SONER Coordinator: Yilin WANG Solution Series 9 Q1. Let α, β >, the p.d.f. of a beta distribution with parameters α and β is { Γ(α+β) Γ(α)Γ(β) f(x α, β) xα 1 (1 x) β 1 for < x

Διαβάστε περισσότερα

Coefficient Inequalities for a New Subclass of K-uniformly Convex Functions

Coefficient Inequalities for a New Subclass of K-uniformly Convex Functions International Journal of Computational Science and Mathematics. ISSN 0974-89 Volume, Number (00), pp. 67--75 International Research Publication House http://www.irphouse.com Coefficient Inequalities for

Διαβάστε περισσότερα

= λ 1 1 e. = λ 1 =12. has the properties e 1. e 3,V(Y

= λ 1 1 e. = λ 1 =12. has the properties e 1. e 3,V(Y Stat 50 Homework Solutions Spring 005. (a λ λ λ 44 (b trace( λ + λ + λ 0 (c V (e x e e λ e e λ e (λ e by definition, the eigenvector e has the properties e λ e and e e. (d λ e e + λ e e + λ e e 8 6 4 4

Διαβάστε περισσότερα

SCITECH Volume 13, Issue 2 RESEARCH ORGANISATION Published online: March 29, 2018

SCITECH Volume 13, Issue 2 RESEARCH ORGANISATION Published online: March 29, 2018 Journal of rogressive Research in Mathematics(JRM) ISSN: 2395-028 SCITECH Volume 3, Issue 2 RESEARCH ORGANISATION ublished online: March 29, 208 Journal of rogressive Research in Mathematics www.scitecresearch.com/journals

Διαβάστε περισσότερα

A Two-Sided Laplace Inversion Algorithm with Computable Error Bounds and Its Applications in Financial Engineering

A Two-Sided Laplace Inversion Algorithm with Computable Error Bounds and Its Applications in Financial Engineering Electronic Companion A Two-Sie Laplace Inversion Algorithm with Computable Error Bouns an Its Applications in Financial Engineering Ning Cai, S. G. Kou, Zongjian Liu HKUST an Columbia University Appenix

Διαβάστε περισσότερα

Areas and Lengths in Polar Coordinates

Areas and Lengths in Polar Coordinates Kiryl Tsishchanka Areas and Lengths in Polar Coordinates In this section we develop the formula for the area of a region whose boundary is given by a polar equation. We need to use the formula for the

Διαβάστε περισσότερα

Forced Pendulum Numerical approach

Forced Pendulum Numerical approach Numerical approach UiO April 8, 2014 Physical problem and equation We have a pendulum of length l, with mass m. The pendulum is subject to gravitation as well as both a forcing and linear resistance force.

Διαβάστε περισσότερα

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics Fourier Series MATH 211, Calculus II J. Robert Buchanan Department of Mathematics Spring 2018 Introduction Not all functions can be represented by Taylor series. f (k) (c) A Taylor series f (x) = (x c)

Διαβάστε περισσότερα

Partial Trace and Partial Transpose

Partial Trace and Partial Transpose Partial Trace and Partial Transpose by José Luis Gómez-Muñoz http://homepage.cem.itesm.mx/lgomez/quantum/ jose.luis.gomez@itesm.mx This document is based on suggestions by Anirban Das Introduction This

Διαβάστε περισσότερα

Numerical Analysis FMN011

Numerical Analysis FMN011 Numerical Analysis FMN011 Carmen Arévalo Lund University carmen@maths.lth.se Lecture 12 Periodic data A function g has period P if g(x + P ) = g(x) Model: Trigonometric polynomial of order M T M (x) =

Διαβάστε περισσότερα

Lecture 26: Circular domains

Lecture 26: Circular domains Introductory lecture notes on Partial Differential Equations - c Anthony Peirce. Not to be copied, used, or revised without eplicit written permission from the copyright owner. 1 Lecture 6: Circular domains

Διαβάστε περισσότερα

Lecture 21: Properties and robustness of LSE

Lecture 21: Properties and robustness of LSE Lecture 21: Properties and robustness of LSE BLUE: Robustness of LSE against normality We now study properties of l τ β and σ 2 under assumption A2, i.e., without the normality assumption on ε. From Theorem

Διαβάστε περισσότερα

Main source: "Discrete-time systems and computer control" by Α. ΣΚΟΔΡΑΣ ΨΗΦΙΑΚΟΣ ΕΛΕΓΧΟΣ ΔΙΑΛΕΞΗ 4 ΔΙΑΦΑΝΕΙΑ 1

Main source: Discrete-time systems and computer control by Α. ΣΚΟΔΡΑΣ ΨΗΦΙΑΚΟΣ ΕΛΕΓΧΟΣ ΔΙΑΛΕΞΗ 4 ΔΙΑΦΑΝΕΙΑ 1 Main source: "Discrete-time systems and computer control" by Α. ΣΚΟΔΡΑΣ ΨΗΦΙΑΚΟΣ ΕΛΕΓΧΟΣ ΔΙΑΛΕΞΗ 4 ΔΙΑΦΑΝΕΙΑ 1 A Brief History of Sampling Research 1915 - Edmund Taylor Whittaker (1873-1956) devised a

Διαβάστε περισσότερα

Areas and Lengths in Polar Coordinates

Areas and Lengths in Polar Coordinates Kiryl Tsishchanka Areas and Lengths in Polar Coordinates In this section we develop the formula for the area of a region whose boundary is given by a polar equation. We need to use the formula for the

Διαβάστε περισσότερα

Bounding Nonsplitting Enumeration Degrees

Bounding Nonsplitting Enumeration Degrees Bounding Nonsplitting Enumeration Degrees Thomas F. Kent Andrea Sorbi Università degli Studi di Siena Italia July 18, 2007 Goal: Introduce a form of Σ 0 2-permitting for the enumeration degrees. Till now,

Διαβάστε περισσότερα

Appendix to Technology Transfer and Spillovers in International Joint Ventures

Appendix to Technology Transfer and Spillovers in International Joint Ventures Appendix to Technology Transfer and Spillovers in International Joint Ventures Thomas Müller Monika Schnitzer Published in Journal of International Economics, 2006, Volume 68, 456-468 Bundestanstalt für

Διαβάστε περισσότερα

Homework 8 Model Solution Section

Homework 8 Model Solution Section MATH 004 Homework Solution Homework 8 Model Solution Section 14.5 14.6. 14.5. Use the Chain Rule to find dz where z cosx + 4y), x 5t 4, y 1 t. dz dx + dy y sinx + 4y)0t + 4) sinx + 4y) 1t ) 0t + 4t ) sinx

Διαβάστε περισσότερα

F19MC2 Solutions 9 Complex Analysis

F19MC2 Solutions 9 Complex Analysis F9MC Solutions 9 Complex Analysis. (i) Let f(z) = eaz +z. Then f is ifferentiable except at z = ±i an so by Cauchy s Resiue Theorem e az z = πi[res(f,i)+res(f, i)]. +z C(,) Since + has zeros of orer at

Διαβάστε περισσότερα

Orbital angular momentum and the spherical harmonics

Orbital angular momentum and the spherical harmonics Orbital angular momentum and the spherical harmonics March 8, 03 Orbital angular momentum We compare our result on representations of rotations with our previous experience of angular momentum, defined

Διαβάστε περισσότερα

Exercises to Statistics of Material Fatigue No. 5

Exercises to Statistics of Material Fatigue No. 5 Prof. Dr. Christine Müller Dipl.-Math. Christoph Kustosz Eercises to Statistics of Material Fatigue No. 5 E. 9 (5 a Show, that a Fisher information matri for a two dimensional parameter θ (θ,θ 2 R 2, can

Διαβάστε περισσότερα

( y) Partial Differential Equations

( y) Partial Differential Equations Partial Dierential Equations Linear P.D.Es. contains no owers roducts o the deendent variables / an o its derivatives can occasionall be solved. Consider eamle ( ) a (sometimes written as a ) we can integrate

Διαβάστε περισσότερα

Parametrized Surfaces

Parametrized Surfaces Parametrized Surfaces Recall from our unit on vector-valued functions at the beginning of the semester that an R 3 -valued function c(t) in one parameter is a mapping of the form c : I R 3 where I is some

Διαβάστε περισσότερα

Finite difference method for 2-D heat equation

Finite difference method for 2-D heat equation Finite difference method for 2-D heat equation Praveen. C praveen@math.tifrbng.res.in Tata Institute of Fundamental Research Center for Applicable Mathematics Bangalore 560065 http://math.tifrbng.res.in/~praveen

Διαβάστε περισσότερα

Tutorial problem set 6,

Tutorial problem set 6, GENERAL RELATIVITY Tutorial problem set 6, 01.11.2013. SOLUTIONS PROBLEM 1 Killing vectors. a Show that the commutator of two Killing vectors is a Killing vector. Show that a linear combination with constant

Διαβάστε περισσότερα

Exercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1.

Exercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1. Exercises 0 More exercises are available in Elementary Differential Equations. If you have a problem to solve any of them, feel free to come to office hour. Problem Find a fundamental matrix of the given

Διαβάστε περισσότερα

New bounds for spherical two-distance sets and equiangular lines

New bounds for spherical two-distance sets and equiangular lines New bounds for spherical two-distance sets and equiangular lines Michigan State University Oct 8-31, 016 Anhui University Definition If X = {x 1, x,, x N } S n 1 (unit sphere in R n ) and x i, x j = a

Διαβάστε περισσότερα

Online Appendix to Measuring the Bullwhip Effect: Discrepancy and Alignment between Information and Material Flows

Online Appendix to Measuring the Bullwhip Effect: Discrepancy and Alignment between Information and Material Flows Online Appendix to Measuring the Bullwhip Effect: Discrepancy and Alignment between Information and Material Flows i Chen Wei uo Kevin Shang S.C. Johnson Graduate School of Management, Cornell University,

Διαβάστε περισσότερα

Strain gauge and rosettes

Strain gauge and rosettes Strain gauge and rosettes Introduction A strain gauge is a device which is used to measure strain (deformation) on an object subjected to forces. Strain can be measured using various types of devices classified

Διαβάστε περισσότερα

MATH423 String Theory Solutions 4. = 0 τ = f(s). (1) dτ ds = dxµ dτ f (s) (2) dτ 2 [f (s)] 2 + dxµ. dτ f (s) (3)

MATH423 String Theory Solutions 4. = 0 τ = f(s). (1) dτ ds = dxµ dτ f (s) (2) dτ 2 [f (s)] 2 + dxµ. dτ f (s) (3) 1. MATH43 String Theory Solutions 4 x = 0 τ = fs). 1) = = f s) ) x = x [f s)] + f s) 3) equation of motion is x = 0 if an only if f s) = 0 i.e. fs) = As + B with A, B constants. i.e. allowe reparametrisations

Διαβάστε περισσότερα

Symmetric Stress-Energy Tensor

Symmetric Stress-Energy Tensor Chapter 3 Symmetric Stress-Energy ensor We noticed that Noether s conserved currents are arbitrary up to the addition of a divergence-less field. Exploiting this freedom the canonical stress-energy tensor

Διαβάστε περισσότερα

b. Use the parametrization from (a) to compute the area of S a as S a ds. Be sure to substitute for ds!

b. Use the parametrization from (a) to compute the area of S a as S a ds. Be sure to substitute for ds! MTH U341 urface Integrals, tokes theorem, the divergence theorem To be turned in Wed., Dec. 1. 1. Let be the sphere of radius a, x 2 + y 2 + z 2 a 2. a. Use spherical coordinates (with ρ a) to parametrize.

Διαβάστε περισσότερα