Well-posedness for compressible Euler with physical vacuum singularity

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

Download "Well-posedness for compressible Euler with physical vacuum singularity"

Transcript

1 Well-posedness for compressible Euler with physical vacuum singularity Juhi Jang and Nader Masmoudi May 28, 28 Abstract An important problem in the theory of compressible gas flows is to understand the singular behavior of vacuum states. The main difficulty lies in the fact that the system becomes degenerate at the vacuum boundary, where the characteristics coincide and have unbounded derivative. In this paper, we overcome this difficulty by presenting a new formulation and new energy spaces. We establish the local in time well-posedness of one-dimensional compressible Euler equations for isentropic flows with the physical vacuum singularity in some spaces adapted to the singularity. Introduction One-dimensional compressible Euler equations for the isentropic flow with damping in Eulerian coordinates read as follows: ρ t + (ρu) x =, ρu t + ρuu x + p x = ρu, () with initial data ρ(, x) = ρ (x) and u(, x) = u (x) prescribed. Here ρ, u, and p denote respectively the density, velocity, and pressure. We consider the polytropic gases: the equation of state is given by p = Aρ γ, where A is an entropy constant and γ > is the adiabatic gas exponent. When the initial density function contains vacuum, the vacuum boundary Γ is defined as Γ = cl{(t, x) : ρ(t, x) > } cl{(t, x) : ρ(t, x) = } where cl denotes the closure. A vacuum boundary is called physical if < c2 x < (2) in a small neighborhood of the boundary, where c = d dρp(ρ) is the sound speed. This physical vacuum behavior can be realized by some self-similar solutions and stationary solutions for different physical systems such as Euler equations with damping, Navier-Stokes equations or Euler-Poisson equations for gaseous stars. For more details and the physical background regarding this concept of the physical vacuum boundary, we refer to [7,, 9]. Despite its physical importance, even the local existence theory of smooth solutions featuring the physical vacuum boundary has not been completed yet. This is because the hyperbolic system becomes degenerate at the vacuum boundary and in particular if the physical

2 vacuum boundary condition (2) is assumed, the classical theory of hyperbolic systems can not be applied []: the characteristic speeds of Euler equations are u ± c, thus they become singular with infinite spatial derivatives at the vacuum boundary and this singularity creates a severe analytical difficulty. To our knowledge, there has been no satisfactory theory to treat this kind of singularity. The purpose of this article is to investigate the local existence and uniqueness theory of regular solutions (in a sense that will be made precise later and which is adapted to the singularity of the problem) to compressible Euler equations featuring this physical vacuum boundary. Before we formulate our problem, we briefly review some existence theories of compressible flows with vacuum states from various aspects. We will not attempt to address exhaustive references in this paper. First, in the absence of vacuum, namely if the density is bounded below from zero, then one can use the theory of symmetric hyperbolic systems; for instance, see [2]. In particular, the author in [7] gave a sufficient condition for non-global existence when the density is bounded below from zero. When the data is compactly supported, there are two ways of looking at the problem. The first consists in solving the Euler equations in the whole space and requiring that the equations hold for all x and t (, T ). The second way is to require the Euler equations to hold on the set {(t, x) : ρ(t, x) > } and write an equation for the vacuum boundary Γ which is a free boundary. Of course in the first way, there is no need of knowing exactly the position of the vacuum boundary. The authors in [5] wrote the system in a symmetric hyperbolic form which allows the density to vanish. The system they get is not equivalent to the Euler equations when the density vanishes. This was also used for the Euler-Poisson system. As noted by the authors [3, 4], the requirement that ρ γ 2 is continuously differentiable excludes many interesting solutions such as the stationary solutions of the Euler-Poisson which have a behavior of the type ρ x γ at the vacuum boundary. This formulation was also used in [2] to prove the local existence of regular solutions in the sense that ρ γ 2, u C([, T ); H m (R d )) for some m > + d/2 and d is the space dimension (see also [6], for some global existence result of classical solutions under some special conditions on the initial data, by extracting a dispersive effect after some invariant transformation, and [3]). For the second way and when the singularity is mild, some existence results of smooth solutions are available, based on the adaptation of the theory of symmetric hyperbolic system. In [9], the local in time solutions to Euler equations with damping () were constructed when c α, < α is smooth across Γ, by using the energy method and characteristic method. They also prove that C solutions cross Γ can not be global. However, with or without damping, the methods developed therein are not applicable to the local well-posedness theory of the physical vacuum boundary. We only mention a result in [8] for perturbation of a planar wave. For other interesting aspects of vacuum states and related problems, we refer to [, 9]. As the above results indicate, there is an interesting distinction between flows with damping and without damping, when the long time behavior is considered. Indeed, without damping, it was shown in [8] that the shock waves vanish at the vacuum and the singular behavior is similar to the behavior of the centered rarefaction waves corresponding to the case when c is regular []. On the other hand, with damping, it was conjectured in [7] that time asymptotically, Euler equations with damping () should behave like the porus media equation, where the canonical boundary is characterized by the physical vacuum boundary condition (2). This conjecture was established in [4] in the entropy solution framework where the method of compensated compactness yields a global weak solution in L. We point out 2

3 that the difficulty coming from the resonance due to vacuum in there is very different from the difficulty that we are facing, since we want to have some regularity so that the vacuum boundary is well-defined and the evolution of the vacuum boundary can be realized. In order to understand the physical vacuum boundary behavior, the study of regular solutions is very important and fundamental; the evolution of the vacuum boundary should be considered as the free boundary/interface generated by vacuum. In the presence of viscosity, there are some existence theories available with the physical vacuum boundary: The vacuum interface behavior as well as the regularity to one-dimensional Navier-Stokes free boundary problems were investigated in []. And the local in time well-posedness of Navier-Stokes- Poisson equations in three dimensions with radial symmetry featuring the physical vacuum boundary was established in [5]. On the other hand, the free surface boundary problem was studied in [6] in the motion of a compressible liquid with vacuum by using Nash-Moser iteration; the physical boundary was treated in a sense that the pressure vanishes on the boundary and the pressure gradient is bounded away from zero, but the density has to be bounded away from vacuum, and thus the analysis is not applicable for the motion of gas with vacuum. In the next section, we formulate the problem and we state the main result: The vacuum free boundary problem is studied in Lagrangian coordinates so that the free boundary becomes fixed. By change of variables, the equations can be written as the first order system with non-degenerate propagation speeds that have different behaviors inside the domain and on the vacuum boundary. In order to cope with these nonlinear coefficients, which give rise to the main analytical difficulty, the new operators V, V are introduced. Our theorem is stated in V, V framework. 2 Formulation and Main result We study the initial boundary value problem to one-dimensional Euler equations with or without damping for isentropic flows (). First, we impose the fixed boundary condition on one boundary x = b : u(t, b) =. The class of the initial data ρ, u of our interest is characterized as follows: for a x b, where < a < b (i) ρ (a) =, < d dx ργ (ii) ρ (x) > for a < x b ; (iii) b a x=a < ; ρ (x)dx < ; (iv) u (b) =. The condition (i) implies that the initial vacuum is physical, (ii) means that x = a is the only vacuum, (iii) represents the finite total mass of gas, (iv) is the compatibility condition with the boundary condition at x = b. We seek ρ(t, x), u(t, x), and a(t) for t [, T ], T > and x [a(t), b], so that for such t and x, ρ(t, x) and u(t, x) satisfy () ; ρ(t, a(t)) = ; u(t, b) = ; < x ργ x=a(t) <. 3

4 For regular solutions, the vacuum boundary a(t) is the particle path through x = a. In onedimensional gas dynamics, there is a natural Lagrangian coordinates transformation where all the particle paths are straight lines: y x a(t) ρ(t, z)dz, a(t) x b. Note that y M, where M is the total mass of the gas. Under this transformation, the vacuum free boundary x = a(t) corresponds to y =, and x = b to y = M; thus both boundaries are fixed in (t, y). By this change of variables, t = t u y, x = ρ y the system () takes the following form in Lagrangian coordinates (t, y): for t and y M, ρ t + ρ 2 u y = u t + p y = u (3) where p = Aρ γ with γ >. The boundary conditions are given by ρ(t, ) = and u(t, M) =. The physical singularity (2) in Eulerian coordinates corresponds to < p y < in Lagrangian coordinates and thus the physical vacuum boundary condition at y = can be realized as ρ y γ for y. Euler equations (3) can be rewritten as a symmetric hyperbolic system t + µu y =, u t + µ y = u, (4) in the variables = 2 Aγ γ ρ γ 2 and µ = Aγρ γ+ 2. Note that the propagation speed µ becomes degenerate and the degeneracy for the physical singularity is given by µ y γ+ 2γ. In order to get around this difficulty, we introduce the following change of variables: 2γ γ y γ 2γ such that y = y γ+ 2γ. We normalize A and M appropriately such that the equations (4) take the form: t + ( ) γ+ γ u =, u t + ( ) γ+ γ = u, for t and. The physical singularity condition < p y < is written as < <. Thus we expect to be more or less for short time near. Since the damping is not important for the local theory, for simplicity, we consider the pure Euler 4

5 equations. Letting k = k γ γ + 2 γ, the Euler equations read in (t, ) as follows: for t and, t + ( )2k u =, u t + ( )2k =. (5) The range of k is 2 < k <, since γ >. When γ, k and when γ = 3, we get k =. Note that the propagation speed is now non-degenerate. However, its behavior is quite different in the interior and on the boundary, since lim = (), but c if c >. This makes it hard to apply any standard energy method to construct solutions in the current formulation. We will propose a new formulation to (5) such that some energy estimates can be closed in the appropriate energy space. As a preparation, we first define the operators V and V associated to (5) as follows: V (f) k [ 2k k f], V (g) 2k k [ k g]. for f, g L 2, where we have denoted L2 [, ] by L2. We can think of V and V as modified first order spatial derivatives. We also incorporate the boundary condition at = in the domain of of V and V, namely V and V, are given as follows: D(V ) = {f L 2 : V (f) L2 } D(V ) = {g L 2 : V (g) L 2, g( = ) =.} (6) We also introduce the higher order operators (V ) i and (V ) i : for f D(V ) and g D(V ), { (V ) i (V V ) j (f) if i = 2j (f) V (V V ) j (7) (f) if i = 2j + (V ) i (g) { (V V ) j (g) if i = 2j V (V V ) j (g) if i = 2j + and the associated function spaces X k,s and Y k,s for s a given nonnegative integer: equipped with the following norms X k,s {f L 2 : (V )i (f) L 2, i s} Y k,s {g L 2 : (V ) i (g) L 2, i s} (9) (8) f 2 X k,s s (V ) i (f) 2 L 2 i= and g 2 Y k,s s (V ) i (g) 2 L. 2 i= In order to emphasize the dependence of k, equivalently γ, we keep k in the above definitions. 5

6 In terms of V and V, the Euler equations (5) can be rewritten as follows: t ( k ) V ( k u) =, t ( k u) + 2k + V (k ) =, () with the boundary conditions (t, ) = and u(t, ) =. () In this new V, V formulation, the system is akin to the symmetric hyperbolic system with respect to V, V. In particular, the zeroth energy estimates assert that this V, V formulation retains the energy conservation property, which is equivalent to the physical energy in Eulerian coordinates: It is well known that the energy of Euler equations without damping is conserved for regular solutions: d b dt { a(t) 2 ρu2 + p γ dx} =, and in turn, since dy = ρdx, it is written as, in y variable, d M dt { 2 u2 + A γ ργ dy} =. It is routine to check that this is equivalent to d 2 dt { γ+ γ u 2 + γ 2γ γ+ γ 2 d} =, which is exactly the zeroth energy estimates of () with respect to V, V : d 2 dt { 2k + k 2 + k u 2 d} =, (2) This verifies that this V, V formulation does not destroy the underlying structure of the Euler equations. Indeed, it also captures the precise structure of the singularity caused by the physical vacuum boundary, and furthermore, it enables us to perform V, V energy estimates yielding the a priori estimates and the well-posedness of the system. In order to state the main result of this article precisely, we now define the energy functional E k,s (, u) by E k,s (, u) 2k + k 2 L + k u 2 2 L 2 + (2k + ) 2 V (k ) 2 Y + V ( k u) 2 k,s X. k,s (3) To close the energy estimates, s will be chosen as s = k + 3, where k is a ceiling function, namely k = min{n Z : k n}. We are now ready to state the main results. Theorem 2.. Fix k, where 2 < k <. Suppose initial data and u satisfy the following 6

7 conditions: (i) E k, k +3 (, u ) < ; (ii) C C for some C > There exist a time T > only depending on E k, k +3 (, u ) and C, and a unique solution (, u) to the reformulated Euler equations () with the boundary conditions () on the time interval [, T ] satisfying E k, k +3 (, u) 2E k, k +3 (, u ), and moreover, the vacuum boundary behavior of is preserved on that time interval: 2C 2C. Remark 2.2. The evolution of the vacuum boundary x = a(t) is given by ȧ(t) = u(t, = ). By Theorem 2., one can derive that u (t, ) is bounded and continuous in (t, x) [, T ] [, ], and since u(t, ) = u (t, )d, we deduce that the vacuum interface is well-defined and within short time t T, the vacuum boundary at time t stays close to the initial position with a(t) a CT for some constant C depending on the initial energy in Theorem 2.. Remark 2.3. Different constants in the energy functional (3) are due to the nonlinearity of (5) or (). The structure of the equations are to be systematic after applying V, V to () as in (4) and thereafter. Since we are dealing with the local existence theory, one may work with the energy functional E k,s = k 2 X k,s + k u 2 Y k,s, which is equivalent to (3). Our work is a fundamental step in understanding the long time behavior of regular solutions and the vacuum boundary of Euler equations with the physical singularity rigorously. With or without damping case, it would be interesting to study whether our solution exists globally in time. In particular, for the damping case, the physical singularity is expected to be canonical as in the porus media equation, it would be also interesting to investigate the asymptotic relationship between our solution and regular solutions to the porus media equation. Parallel to the recent progress in free surface boundary problems with geometry involved, we expect that our result can be generalized to multidimensional case, since the difficulty of the physical singularity lies in how the solution behaves with respect to the normal direction to the boundary. We leave this for future study. The physical vacuum boundary also naturally appears in Euler-Poisson equations for gaseous stars. It would be very interesting to study the behavior of solutions and the vacuum boundary under the influence of the gravitation. The method of the proof is based on a careful study of V, V operators and V, V energy estimates. The first key ingredient is to establish the relationship between the multiplication with, a common operation embedded in the equations (5) or (), and V, V by using the underlying functional analytic properties of V, V which can be obtained from a thorough speculation on the behavior of V, V near the vacuum boundary =. Another essential idea is to find the right form of spatial derivatives of t, which is critical to cope with strong nonlinearity, in particular of the second and third order equations and to close the energy estimates in the end. For large k, this can be done by introducing the representation formula of (V ) i ( k u). In the similar vein, due to the strong nonlinearity, the approximate scheme starts from the third order equation and lower order terms including and u are recovered 7

8 by integrals and boundary conditions. Lastly, we point out that it is not trivial to build the well-posedness of linear approximate systems and the duality argument is employed for that as in []. The rest of the paper is organized as follows: In Section 3, we study the operators V and V built in the reformulated Euler equations (5) or (). In Section 4, we establish the a priori estimates in V, V formulation. Based on the a priori estimates, in Section 5, we implement the approximate scheme and prove that each approximate system is well-posed. In Section 6, we finish the proof of Theorem 2.. In Section 7, the duality argument is proved. 3 Preliminaries Throughout this section, we assume that is a given nonnegative, smooth function of t and, and moreover, and are bounded from below and above near =. 3. Basic properties of V and V In this subsection, we study the operators V and V. Let us denote C ((, )) (respectively C ((, ])) the set of C functions with compact support in (, ) (respectively (, ]). Lemma 3.. C ((, ])Xk, = D(V ) = X k, ; C ((, ))Y k, = D(V ) = Y k, ; (4) Proof. Take f X k,. Hence, f 2 X k, = 2k ( 2k k f) 2 + f 2 d <. We make the change of variable y = 2k+ and F (y) = 2k k f. Hence f 2 X k, = (2k + ) y F 2 + 2k + 4k 4k y 4k 2k+ F 2 dy <. Since, 2k >, we deduce that inequality to F, we deduce that 4k 2k+ > and hence, necessary F () =. Applying Hardy F 2 y 2 dy C y F 2. Hence, going back to the original variables, we deduce that for f X k,, we have f 2 2 d C 4k L V (f) 2 L. (5) 2 Now, consider a cut-off function χ C (R) given by χ() = for /2 and χ() = for. We also define χ n () = χ(n). For f X k,, we define f n () = χ n ()f(). Hence, 8

9 f n X k, and it is clear that f n goes to f in L 2. Moreover, V (f f n ) = ( χ n )V (f) nχ (n) 2k 2k f. The first term on the right hand side goes to zero in L 2 second term, we use the fact that when n goes to infinity. For the nχ (n) 2k 2k f 2 d 4k L f 2 2 2n d n which goes to zero when n goes to infinity in view of (5). Hence, we deduce that f n goes to f in X k,. Now, it is clear that f n can be approximated in X k, by functions which are in C ((, ]). Indeed, one can just convolute f n by some mollifier. Hence, the first equality of (4) holds. To prove a similar result for V, we take g Y k, and fix some c (, ]. For (, c], we have c g() k = ( c ( g( ) k )d + g(c) c k ( ) 4k 2k ( g( ) k ) 2 d ɛ 2k 2 + g(c) c k c 2k ) /2 ( d + g(c) ) 4k c k where ɛ = C c ( ) 4k 2k ( g( ) k ) 2 d. By choosing c small enough, we can make ɛ small. Hence, we deduce that for all ɛ >, there exists a constant C ɛ (g) = g(c) such that for all c k (, ], we have g() ɛ + C ɛ k. We denote g n = χ n g, hence it is clear that g n goes to g in L 2. Moreover, V (g g n ) = ( χ n )V (g) nχ (n) 2k g. 2k The second term on the right hand side satisfies nχ (n) 2k 2k g 2 d C ( ɛ + C ɛ 2k ) 2n d n Hence, since ɛ > is arbitrary, it goes to zero when n goes to infinity. Therefore, we deduce that g n goes to g in Y k,. Now, it is clear that g n can be approximated by functions which are in C ((, ]) and the second equality of (4) follows. Lemma 3.2. () For f X k,, g Y k, V (f) gd = f V (g)d 9

10 where (2) ker V = {} and ker V = {} (3) V t and V t are commutators of V, V and t : In addition, t V (f) = V ( t f) + V t (f), t V (g) = V ( t g) + V t (g) V t (f) 2k k [ 2k t k f], Vt (g) 2k 2k t k [ k g] V t (g) = 2k t V (g) and V V t (g) = V t V (g). Proof. The proof of this lemma directly follows from the density property proved in the previous lemma. It will be used frequently during the energy estimates. The following lemma displays a key ingredient of the main estimates. Dividing by is a common operation embedded in the equations (5) and (). The lemma claims that the operation, which acts like derivatives when approach, is completely controlled by modified derivatives V and V. Lemma 3.3. () If f X k, and g Y k,, then f the following inequalities: and g are bounded in L2 and we obtain f L 2 C 2k L (2) More generally, if f L 2 m + k > 3 2, then (3) Also, if g satisfies m < k + 2, then g m V f L 2, g L 2 C{ 2k L V g L 2 } (6) satisfies V (f) m L 2 f m L 2 C 2k L L 2 and V (g) m L 2 g m L 2 C 2k L for some nonnegative real number m, V f m L 2. for some nonnegative real number m, V g m L 2 + g m L 2. (7) Here, m is not necessarily an integer. In practice, m will be chosen as 2 < m k. Proof. The point () was already proved for f in the previous lemma by Hardy inequality (see (5)). For the second inequality, consider first g C ((, )), hence V g 2k g 2k d = and g() =. Since k 2 and ( g k ) g 2k k d = 2 V g 2k 2k g d 2k L V g L 2 g L 2, g 2 d + 2 g() 2. we obtain the desired result. The case where g Y k, follows by density.

11 Now, we concentrate on (2). For satisfying the same type of bounds as, we define Ṽ α (f) = 2α α ( f). For f as in (2), we use that α V (f) m = k+m ( 2k k m+ f f ) = Ṽk+m ( m m ) where is given by 2(k+m ) = 2k 2(m ). Since, k + m > 2, we can apply the estimate (5) for V replaced by Ṽk+m f and f replaced by. This gives the desired bound. m For (3), we write V (g) m = g 2k Ṽm k( 2k m ) with =. Since, m k < 2, Ṽm k satisfies the same estimates as V, in particular the second estimate of (6) holds for Ṽm k, hence (7) holds. Remark 3.4. We note that the boundary conditions on f and g at = in Lemma 3.3 are imbedded in X k,s and Y k,, namely L 2 boundedness of V f and V g forces f and g to vanish at =. Actually, it forces them to be less than /2. As a direct result of Lemma 3.3, we obtain the following L 2 estimates for f m and g m : Corollary 3.5. For given nonnegative real number m, m < k + 3 2, if f Xk, m, then there exists C only depending on L so that f m L 2 C f X k, m. Also, for given nonnegative real number m, m < k + 2, if g Y k, m, then there exists C 2 only depending on L so that g m L 2 C 2 g Y k, m. Proof. We apply (2) and (3) of Lemma 3.3 alternatingly until negative powers of disappear. Note that the conditions on m come from the one in (3) of Lemma 3.3. We next prove the Sobolev imbedding inequalities of V, V version, which will be useful tools to control nonlinear terms. Lemma 3.6. If f X k, k + and g Y k, k +, then there exist constants C 3 and C 4 only depending on L so that f k L C 3 f X k, k + and g k L C 4 g Y k, k +. Proof. We start with g part. By the definition of V and V, one finds that [ g k ] = 2k V g 2k k

12 Thus, by Sobolev embedding theorem in one dimension, it suffices to show that g k, V g k L 2. This follows from Corollary 3.5. Hence, we conclude that L g Y k, k +. For f part, we show that 2k 2k f k L [ 2k f 2k k ] = V f k bound of g k is controlled by is bounded by f X k, k +. Note that 2k 2k 2k f k+. Thus, by applying Corollary 3.5, we obtain the desired conclusion. More generally, we obtain the following: Lemma 3.7. Let j < k 2 be a given nonnegative number. If f Xk, j + and g Y k, j +, then there exist constants C 5 and C 6 only depending on L so that f j L C 5 f X k, j + and g j L C 6 g Y k, j +. Proof. We only treat g j. Note that [ g j ] = 2k V g 2k j + (k j) Hence, by the Sobolev embedding theorem, it suffices to show that g, V g and g j j j+ L 2. This follows from Corollary 3.5. Note that j has to be less than k 2. Next we present the product rule for the operators V, V. g j+ are in Lemma 3.8. Let f, g DV DV be given. Let h be a given smooth function. The following identities hold: V f = V f + 2k 2k 2k f = V f + V g = V g + 2k 2k 2k g = V g + 2k 2k + 2k 2k + V ( k ) f k V ( k ) k V (fh) = V (f)h + f 2k 2k h, V (gh) = V (g)h g 2k 2k h 2k 2k h = V h + k 2k 2k ( 2 )h = V h + k 2k h 2k 2k 2k [fg] = V (f)g + 4k 3k f [ k 2k g] = V (f)g fv (g) + 2k 2k 2k ( )fg The lemma tells that when V or V act on a function h, depending on that function, they can yield h or V (k ) h k besides V h or V h. g 2

13 3.2 Homogeneous operators V, V Next we introduce homogeneous linear operators V and V of V and V as follows: V (f) k [ k f], V (g) k [ g ] and g( = ) =. (8) k These homogeneous operators are special cases of V and V for which is simply taken as. Function spaces X k,s and Y k,s for s a given nonnegative integer are given as follows: X k,s {f L 2 : (V )i (f) L 2, i s} Y k,s {g L 2 : (V ) i (g) L 2, i s} (9) where (V ) i and (V ) i are defined as in (7) and (8). following norms These spaces are equipped with the f 2 X k,s s (V ) i (f) 2 L 2 i= and g 2 Y k,s s (V ) i (g) 2 L. 2 i= Indeed, V, V and V, V share many good properties; we summarize the analog of Lemma 3.3, 3.6, 3.7 and 3.8 for V, V in the following. Lemma 3.9. () If f L 2 satisfies Also, if g satisfies g m L 2 and V g m V f m L 2 for some real number m, m + k > 3 2, then f m 2 L V f 2 m 2 L 2 g m 2 L V g 2 m 2 L 2 (2) If f X k, k + and g Y k, k +, then we obtain L 2 for some real number m, m < k + 2, then g + m 2 L. 2 f k L C f X k, k + and g k L C g Y k, k +. (3) Let j < k 2 be a given nonnegative number. If f Xk, j + and g Y k, j +, then we obtain f j L C f X k, j + and g j L C g Y k, j +. (4) Product rule for V, V : V f = V f + 2k f, V (fh) = V (f)h + f h, V (gh) = V (g)h g h. Now we show that two norms induced by V, V and V, V are equivalent. 3

14 Proposition 3.. Let be given so that k X k, k +2 A and C < < C for positive constants A, C. Then for any f X k, k and g Y k, k, there exists a constant M depending only on A, C so that M f 2 X k, k f 2 X k, k M f 2 X k, k, M g 2 Y k, k g 2 Y k, k M g 2 Y k, k. (2) Proof. We will only prove the second inequality ( ). The other one can be shown in the same way. Let us start with V f and V g. V f = k [ 2k 2k f] = k 2k V f + [ 2k 2k ]f = 2k 2k V f + { 2k 2k + V g = 2k k [ g k ] = 2k 2k V g V ( k ) k 2k 2k 2k+ }f Next, note that by the product rule of Lemma 3.8 and 3.9, the higher order terms (V ) i f and (V ) i g can be expanded into the following form in terms of (V ) j f and (V ) j g for j i: (V ) i f = where for s = or 2 i i Ψ j( k ) (V ) i j f, (V ) i g = Ψ 2 j( k ) (V ) i j g j= Ψ s j( k ) j {C rs r r= l + +l p=j r l,...,l p j= p C l l ps q= (V ) lq ( k ) k } for some functions C rs, C l l ps which may only depend on k, and and therefore C rs, C l l ps are bounded by some power function of C. In order to show (2), first we rewrite (V ) i f and (V ) i g as (V ) i f = i j Ψ j( k ) (V )i j f i j, (V ) i g = j Ψ 2 j( k ) (V ) i j g j j= Since (V )i j f j L 2 and (V ) i j g j L 2 are bounded by f k,j X and g k,j Y respectively and moreover, by Lemma 3.7, j Ψ s j L is bounded by k X k,j+2 for j k, by adding all the inequalities over i k we obtain the desired inequality as well as the desired bound M as a function of A and C. The above equivalence dictates the linear character of higher order energy. Note that we cannot deduce the same result for the full energy E k, k +3 due to the nonlinearity. 4 V, V a priori energy estimates This section is devoted to V, V energy estimates to get the following a priori estimates, a key to construct strong solutions. j= 4

15 Proposition 4.. Suppose and u solve () and () with E k, k +3 (, u) <. If we further assume that C C for some C >, (2) we obtain the following a priori estimates: d dt Ek, k +3 (, u) C(E k, k +3 (, u)) where C(E k, k +3 (, u)) is a continuous function of E k, k +3 (, u) and C. Moreover, the a priori assumption (2) can be justified: the boundedness of E k, k +3 (, u) imply the boundedness of. In order to illustrate the idea of of the proof, we start with the simplest case when k = of which corresponding γ is 3. In the next subsections, we generalize it to arbitrary k > A priori estimates for k = (γ = 3) When k =, the Euler equations read as follows: t + ( )2 u = u t + ( )2 = (22) The operators V and V take the form: V (f) ( 2 f), V (g) 2 ( g) In terms of V and V, (22) can be rewritten as follows: t () V (u) = The energy functional E,4 (, u) reads as the following: E,4 (, u) u 2 d + t (u) + 3 V () = (23) 4 i= 9 (V )i () 2 + (V ) i (u) 2 d (24) Before carrying out the energy estimates, we verify the assumption (2). In order to do so, we examine each term in the energy functional (24). Let us start with V, V V, V V V, 5

16 V V V V of. V () = [ 3 ] = 3 2 V V () = 3 2 [ 2 2 ] V V V () = 3 [ 4 2 [ 2 2 ]] V V V V () = 3 2 [ 2 [ 4 2 [ 2 2 ]]] One advantage of V and V formulation is that L control of is cheap to get: since V ()d = [ 3 ]d = 3 4 4, we deduce that 4 L 2 L + V () 2 2 L 2 E,4 (, u) (25) The boundedness of also follows from the boundedness of E,4 (, u): first note that 2 2 = V () 3 and then by applying Lemma 3.6 to g = V () when k =, we deduce that 2 2 is bounded and continuous, and in turn is in L under the assumption (2). In the same way, by applying Lemma 3.6 to f = V V () when k =, we can derive that [ 2 2 ] is bounded. However, we remark that this does not imply that 2 is bounded in our energy space, since it is not clear how to control [ ]. Thus we keep the form as they are rather than try to go back to the standard Sobolev space. Next we turn to u variable. We list out V, V V, V V V, V V V V of u. V (u) = 2 u V V (u) = [ 4 2 u] V V V (u) = 2 [ 2 [ 4 2 u]] V V V V (u) = [ 4 2 [ 2 [ 4 2 u]]] (26) Note that t can be estimated in terms of u via the equation (22): t = 2 2 u = V (u) Apply Lemma 3.6 to deduce that V V (u) = 2 [ 2 t ] is bounded and continuous if 6

17 E,4 (, u) is bounded. Letting h be 2 [ 2 t ], we can write 2 t = 2 hd, and therefore we conclude t is also bounded by E,4 (, u) and C. Writing as (t, ) = t (, ) + t (τ, )dτ, we conclude that for a short time, the boundary behavior of is preserved and in particular, this justifies the assumption (2). We now perform the energy estimates. The zeroth order energy energy is conserved as given by (2). Apply V and V to (23) and use V t () = 2 3 tv () t V () 3V V (u) = t V (u) + 3 V V () = V t (u) (27) Multiply by 9 V () and V (u) and integrate to get d 2 dt 9 V () 2 + V (u) 2 d = V t (u) V (u)d (28) Apply V and V to (27) to get t V V () 3V V V (u) = V t V () t V V (u) + 3 V V V () = V V t (u) + V t V (u) = 2V t V (u) (29) Multiply by 9 V V () and V V (u) and integrate to get d 2 dt 9 V V () 2 + V V (u) 2 d = + 9 V t V () V V ()d 2V t V (u) V V (u)d (3) Apply V and V to (29) to get t V V V () 3V V V V (u) = V V t V () + V t V V () = 2V t V V () t V V V (u) + 3 V V V V () = 2V V t V (u) + V t V V (u) (3) Multiply by 9 V V V () and V V V (u) and integrate to get d 2 2 dt 9 V V V () 2 + V V V (u) 2 d = 9 V tv V () V V V ()d + 2V V t V (u) V V V (u)d + Vt V V (u) V V V (u)d (32) 7

18 Apply V and V to (3) to get t V V V V () 3V V V V V (u) = 2V V t V V () + V t V V V () t V V V V (u) + 3 V V V V V () = 2V V V t V (u) + 2V t V V V (u) (33) Multiply by 9 V V V V () and V V V V (u) and integrate to get d 2 dt 9 V V V V () 2 + V V V V (u) 2 d 2 = 9 V V t V V () V V V V ()d + 9 V t V V V () V V V V ()d + 2V V V t V (u) V V V V (u)d + 2V t V V V (u) V V V V (u)d (34) In order to prove Proposition 4., it now remains to estimate the following nonlinear terms coming from the energy estimates in terms of the energy functional (24): 2 2V t V (u) V V (u)d, 9 V tv V () V V V ()d, 2 2V V t V (u) V V V (u)d, 9 V V t V V () V V V V ()d, (35) 2V V V t V (u) V V V V (u)d, 2V t V V V (u) V V V V (u)d Our goal is to control these terms by our energy functional (24). All of them contain t and its derivatives with suitable weights. The estimates of t related terms can be obtained through the equation (22) by estimating V, V V, V V V, V V V V of u in terms of t. Before going any further, let us try to get the better understanding of them. First, we rewrite V, V V, V V V, V V V V of u, namely (26), in terms of t : V (u) = 2 u = t V V (u) = [ 2 t ] = 3 [ t ] + 3 t = 3 [ t ] + V () t V V V (u) = 2 [ 3 = [ 6 2 [ t 2 [ t ]] 32 [ 2 2 ] t [ t ] ]] 32 [ 2 2 ] t = [ 6 2 [ t ]] + V V () t V V V V (u) = [ 2 [ 6 2 [ t ]]] 3 [ 4 2 [ 2 2 ] t ] = [ 2 [ 6 2 [ t ]]] + V V V () t + V V () 2 [ t ] (36) 8

19 As we can see in the above, the term t and its derivatives naturally appear and there are many ways to write them. The key idea is not to separate them randomly when distributing spatial derivatives, but to find the right form of each term. The boxed terms in (36) have been chosen in such a way that the remaining terms in the right hand sides have the better or the same integrability as the left hand sides. We analyze the most intriguing full derivative terms V V t V V () and V V V t V (u). Other terms can be handled in a rather direct way. Claim 4.2. V V t V V () 2 L C 2 (E,4 (, u)) where C (E,4 (, u)) is a continuous function of E,4 (, u). Proof. 6 V V t V V () = 2 [ 2 [ t 4 2 [ 2 2 ]]] = 2 [ 2 t [ 4 2 [ 2 2 ]]] + 2 [ 2 [ t ]4 2 [ 2 2 ]] = t 2 [ 2 [ 4 2 [ 2 2 ]]] [ t ] 2 [ 4 2 [ 2 2 ]] + 2 [ 2 [ t 4 ]] 2 [ 2 2 ] (I) + (II) + (III) Since (I) = t V V V V (), (I) is controllable: The second term is written as From (36), we get (I) L 2 t L V V V V () L 2 (II) = [ t ] V V V () 2 [ t ] = V V (u) V () t L. And since V V V () L 2 V V V V () L 2, (II) is also controlled by the energy. Now we turn into (III). First, we note that by Lemma 3.3 and Lemma 3.6, [ 2 2 ] L 2 and [ 2 2 ] L. Next let us take a look at the other factor and rewrite it by using boxed terms in (36): 6 2 [ 2 [ t 6 ]] = 2 [ [ t ]] = 2 [ 6 2 [ t ]] [ t ] = V V V (u) + V V () V (u) 2 V () V V (u) + 2 () V 2 V (u) 2 9

20 Thus (III) can be rewritten as follows: (III) = V V V (u) [ 2 2 ] 2 V () + V V () V (u) [ 2 2 ] + 2 Hence (III) can be controlled by E,4 (, u). V V (u) [ 2 2 ] () V 2 V (u) 2 [ 2 2 ] Now let us move onto V V V t V (u). The treatment of this term contains another flavor. Claim 4.3. V V V t V (u) 2 L 2 C 2 (E,4 (, u)) where C 2 (E,4 (, u)) is a continuous function of E,4 (, u). Proof. We use the continuity equation in (22) first to deal with V t V (u). Since V (u) = t and V ( t ) = [ 2 t ] = [2 t + 2 t ], we can write V t V (u) as the following: 2 V tv (u) = [ t 2 ] = [ t t t ] = 2 t V ( t) 3 t 2 Apply V : 2 V V t V (u) = 2 [2 t V V (u) 3 t 2 2 ] = 2 t V V V (u) 2 2 [ t ] V V (u) [ 2 2 t 2 ] = 2 t V V V (u) 2 2 [ t ] {V V (u) 3 t 2 2 } Note that ( ) reduces to: Apply V : 2 V V V t V (u) = 2 [ 2 = (I) + (II) + (III) } {{ } ( ) ( ) = 2 [ 3 t ] 3 t 2 2 = 3 2 [ t ] +3 2 [ 2 2 ] t 2 t V V V (u)] 2 [ [ t ] 2 ] + 3 [ 4 2 [ 2 2 ] t 2 ] 2

21 We rewrite (I), (II), (III) as follows: (I) = 2 t V V V V (u) [ t ]V V V (u) (II) = [ t ] [ t ] [ 6 2 [ t ]] (III) = 3 [ 4 2 [ 2 2 ]] t [ 2 2 ] t [ t ] It is easy to see that (I) and (III) can be controlled by the energy functional. On the other hand, in order to take care of (II), a special attention is needed. Since V V V (u) is bounded by V V V V (u) in L 2, we obtain h 3 [ 6 2 [ t ]] L2. (37) Thus the second term in (II) is bounded by the energy functional. To prove that the first term is also bounded, we claim By using (37), rewrite 6 2 [ t ] as follows: Applying Hölder inequality, we observe that Hence we get [ t ] 2 L [ t ] = ζ 3 hdζ 6 2 [ t ] 2 7 h 2 L [ t ] 2 L 2 h 2 L. 2 This finishes the a priori estimates for k = as well as the claim. 4.2 The case when 2 < k < (γ > 3) In this subsection, we prove Proposition 4. for the case 2 < k < and s = 4. First, by Lemma 3.6, one finds that, t, and are bounded by the energy functional E k,4 (, u). We recall the reformulated Euler equations (). One can apply V, V alternatingly as in the case k =, and integrate to get d 2 dt 4 i= (2k + ) 2 (V )i ( k ) 2 + (V ) i ( k u) 2 d mixed nonlinear terms, where the mixed terms have the same form in (35). Thus it suffices to show that those nonlinear terms are bounded by E k,4 (, u). We focus on the intriguing term V V V t V ( k u) 2

22 as well as V V t V ( k u), V t V ( k u). As we saw in the case k =, in order to treat the mixed terms, the careful analysis of t terms is required. First, take a look at V ( k u) and V V ( k u). V ( k u) = 2k k u = k t V V ( k u) = k [ 2k t ] = 2k+ k [ t ] + (2k + )2k k t = 2k+ k [ t ] + V (k ) t Because V (k ) L 2 and V V ( k u) L 2 are bounded by E k,4 as an application of Lemma 3.3, we deduce that k [ t ] L 2 is also bounded by Ek,4. And by Lemma 3.6, we obtain [ t ] L. Now let us compute V tv ( k u) and write in terms of the energy: 2k V tv ( k u) = k [ 2k+ t 2 ] = t {22k+ k = 2 t V V ( k u) t 2 V ( k ) [ t ] + (2k + )2k k t } It is clear that this term is bounded by the energy functional. Next we write out V V V ( k u). V V V ( k u) = 2k k [ 2k+ 2k [ t ]] (2k + ){ 2k k [ 2k 2k ] t + 4k 3k [ t ]} = k [ 4k+2 2k [ t ]] (2k + )2k k [ 2k 2k ] t = k [ 4k+2 2k [ t ]] + V V ( k ) t (38) Thus we note that the boxed term k [ 4k+2 2k [ t ]] is the right form of the second derivative of t of which structure we do not want to destroy. Here is V V t V ( k u): 2k V V t V ( k u) = 2k k [ k t = 2 t k [ 4k+2 2k [ t {22k+ k [ t ] + (2k + )2k k t }] ]] 24k+ 3k [ t ] 2 (2k + ) t 2 2k k [ 2k 2k ] It is easy to see that the first and third terms are bounded by the energy functional. For the second term, writing it as 2 4k+ 3k [ t ] 2 = 2 3k+ 3k [ t ] k [ t ], }{{} L } {{ } L 2 22

23 we deduce that it is also controlled by E k,4, and in result, we conclude that V V t V ( k u) is bounded by E k,4. Next V V V V ( k u): V V V V ( k u) = k [ 2k 2k [ 4k+2 2k [ t ]]] (2k + ) k [ 4k 2k [ 2k 2k ] t ] = k [ 2k 2k [ 4k+2 2k [ t ]]] + V V V ( k ) t + 2k 2k V V ( k ) [ t ] Note that the boxed term is bounded in L 2 by the energy functional. Now we write V V V t V ( k u) in terms of the boxed terms as well as the energy: 2k V V V t V ( k u) = 2 t 6 2k+ 2k [ t ] k 2 [ 4k+2 2k k [ 2k 2k (2k + ) t 2 k [ 4k 2k [ 2k [ 4k+2 2k [ t ]]] [ t ]] + (4k + 6) 6k 5k [ t ] 2 ( ) 2k ]] (4k + 2) t 3k 3k [ 2k 2k ] k [ t ] It is clear that except ( ), the first factor of each term in the right hand side is bounded in L and the second factor is bounded in L 2 by Ek,4. In order to show that ( ) is bounded in L 2, first note that by Lemma 3.3, V V V ( k u) L 2 and V V ( k ) L 2 are bounded by E k,4 (, u) due to the fact k > 2, from the relation (38), thus we get h k+2 [ 4k+2 2k [ t ]] L2, and in turn we obtain 4k+2 2k [ t ] = k+2 hd k+ 5 2 h L 2 = k [ t ] 2 2 L h 4 2 L 2k+(4k+) (8k+8) d 2 Note that the last integral is bounded. Therefore we conclude that V V V t V ( k u) L 2 is bounded by E k,4. Similarly, we deduce the same conclusion for other mixed terms and it finishes the proof of Proposition 4. for 2 < k <. 4.3 The case when k 2 ( < γ < 3) We now turn into the general k. The spirit is the same as the case when k = : we need to carry out L estimates and nonlinear estimates. For large k, however, the number of mixed nonlinear terms increases accordingly and it is not an easy task to work term by term. We will present a systematic way of treating those terms involving derivatives of t. The following lemma is a direct result from Lemma 3.6 and 3.7, and it is useful to justify the assumption (2) in E k, k +3 (, u). 23

24 Lemma 4.4. () We obtain the following L estimates: V (k ) k L, V V ( k ) k L, V ( k u) k L, V V ( k u) k L C 3 (E k, k +3 (, u)) where C 3 (E k, k +3 (, u)) is a continuous function of L (2) For 3 i k + and E k, k +3 (, u). (V )i ( k ) k +2 i L, (V ) i ( k u) k +2 i L C 4 (E k, k +3 (, u)) where C 4 (E k, k +3 (, u)) is a continuous function of L and E k, k +3 (, u). We start with L estimate of. We list out V, V V, V V V of k for references. V ( k ) = k [ 2k+ ] = (2k + ) 2k k V V ( k ) = (2k + ) 2k k [ 2k 2k ] V V V ( k ) = (2k + ) k [ 4k 2k [ 2k 2k ]] One advantage of V and V formulation is that L control of is cheap to get: k V ( k )d = [ 2k+ ]d = 2k + 2k + 2 2k+2 Applying Lemma 4.4, we obtain that is bounded and continuous if the assumption (2) holds and E k, k +3 (, u) is bounded. Next we turn to u variable. V ( k u) = 2k k u V V ( k u) = k [ 4k 2k u] V V V ( k u) = 2k k [ 2k [ 4k 2k u]] (39) Note that t can be estimated in terms of u via the equation (5): t = 2k 2k u = V ( k u) k By Lemma 4.4, we deduce that V V ( k u) = k 2k [ 2k t ] is bounded and continuous if E k, k +3 (, u) is bounded. Letting h be 2k [ 2k t ], we can write 2k t = 2k hd, and therefore we conclude t is also bounded. By the same continuity argument as in k = case, we can verify the same boundary behavior for a short time and the assumption (2). We now perform the energy estimates. From (), we have the conservation of the zeroth 24

25 order energy: d 2 dt Apply V and V to () and use V t ( k ) = 2k + k 2 + k u 2 d = 2k 2k+ tv ( k ) to get Apply V and V to (4) and use V V t t V ( k ) (2k + )V V ( k u) = t V ( k u) + 2k + V V ( k ) = V t ( k u) = V t V to get t V V ( k ) (2k + )V V V ( k u) = V t V ( k ) t V V ( k u) + 2k + V V V ( k ) = 2V t V ( k u) (4) (4) By keeping taking V and V alternatingly, one obtains higher order equations for (V ) i ( k ) and (V ) i ( k u) for any i. Indeed, the mixed terms in the right hand sides can be written in a systematic way. For i = 2j + where j : j t (V ) 2j+ ( k ) (2k + )(V ) 2j+2 ( k u) = 2 (V ) 2j 2l 2 V t V (V ) 2l+ ( k ) t (V ) 2j+ ( k u) + 2k + (V j )2j+2 ( k ) = 2 (V ) 2j 2l V t V (V ) 2l ( k u) l= l= + V t (V ) 2j ( k u) (42) For i = 2j where j 2: j 2 t (V ) 2j ( k ) (2k + )(V ) 2j+ ( k u) = 2 (V ) 2j 2l 3 V t V (V ) 2l+ ( k ) l= + V t (V ) 2j ( k ) t (V ) 2j ( k u) + 2k + (V j )2j+ ( k ) = 2 (V ) 2j 2l 2 V t V (V ) 2l ( k u) l= (43) Our main goal is to estimate the mixed terms in the right hand sides of (42) and (43). Note that the most intriguing cases seem to be when l =, where the most spatial derivatives are present. Before getting into the estimates, let us get the better understanding of of t the effect of the operator V t. First, recall (V ) i ( k u) s. They give rise to t terms via the equations (5) and furthermore they predict the right form of spatial derivatives of t terms. 25

26 We borrow the computations from the previous section for i 4. V ( k u) = 2k k u = k t V V ( k u) = k [ 2k t ] = 2k+ k [ t ] + (2k + )2k k t = 2k+ k [ t ] + V (k ) t (44) Now let us compute V t V ( k u) and write in terms of the energy: 2k V tv ( k u) = k [ 2k+ t 2 ] = t {22k+ k = 2 t V V ( k u) t 2 V ( k ) [ t ] + (2k + )2k k t } (45) Next we write out V V V ( k u). V V V ( k u) = 2k k [ 2k+ 2k [ t ]] (2k + ){2k k [ 2k 2k ] t + 4k 3k [ t ]} = k [ 4k+2 2k [ t ]] (2k + )2k k [ 2k 2k ] t = k [ 4k+2 2k [ t ]] + V V ( k ) t Thus we note that k [ 4k+2 2k [ t ]] is the right form of the second derivative of t that we do not want to destroy. Here is V V t V ( k u). 2k V V t V ( k u) = 2k k [ k t = 2 t k [ 4k+2 2k [ t {22k+ k [ t ] + (2k + )2k k t }] ]] 24k+ 3k [ t ] 2 (2k + ) 2k k [ 2k 2k ] t 2 (46) Next V V V V ( k u): V V V V ( k u) = k [ 2k 2k [ 4k+2 2k [ t ]]] (2k + ) k [ 4k 2k [ 2k 2k ] t ] = k [ 2k 2k [ 4k+2 2k [ t ]]] + V V V ( k ) t + 2k 2k V V ( k ) [ t ] (47) 26

27 In turn, V V V t V ( k u): 2k V V V t V ( k u) = 2 t k [ 2k 2k [ 4k+2 2k [ t ]]] 6 2k+ 2k [ t ] k 2 [ 4k+2 2k (2k + ) t 2 k [ 4k 2k [ 2k [ t ]] + (4k + 6) 6k 5k [ t ] 2 2k ]] (4k + 2) t 3k 3k [ 2k 2k ] k [ t ] As in the case 2 < k, we chose the above specific expansion of V V V ( k u) in order to find the right expression of the second derivative of t and then estimate the mixed term V V t V ( k u). This is because the nonlinearity of (5) is prevalent at this level in V, V formulation and an arbitrary expansion may destroy the structure of (5). For higher order terms, we employ a rather crude expansion in a systematic way. In the below, we present a representation for (V ) i ( k u), get the information of spatial derivatives of t, which we denote by T i s, and derive the estimates of (V ) i 2 V t V ( k u). Representation of (V ) i ( k u) and T i for i 2: First, we define T i for 2 i = k + 3: T 2 2k+ k [ t ]; T 3 We chose T 2 and T 3 so that k [ 4k+2 2k [ t ]]; T i (V ) i 3 T 3 for i 4 (48) (V ) 2 ( k u) = T 2 + V ( k ) t, (V ) 3 ( k u) = T 3 + (V ) 2 ( k ) t. In other words, they are boxed terms in the above as well as in the previous sections. Note that by Lemma 4.4, T 2 k L, T 3 k L. (49) The validity of T i will follow from the construction of T i in the below. Now we claim for any i 4, (V ) i ( k u) has the following representation which extends the case i = 2, 3: (V ) i ( k u) = T i + (V ) i ( k ) t Φ i j T j (5) + i 2 j=2 where Φ i j i j 2 r= {C r r l + +l p=i j r l,...,l p p C l l p q= (V ) lq ( k ) k } (5) for some functions C r, C l l p which may only depend on and and therefore C r, C l l p are bounded by L and L. Furthermore, T i and the last term in (5) have the following property: for each 4 i k + 3, k +3 i j=2 i 2 T i Φ i j T j L 2 and k +3 i L 2 are bounded by Ek, k +3 (, u), (52) 27

28 and for 4 i k +, k +2 i j=2 i 2 T i Φ i j T j L and k +2 i L are bounded by E k, k +3 (, u). (53) In particular, each T i is well-defined. We are now ready to prove the representation formula (5). From the previous computation (47), (V ) 4 ( k u) = T 4 + (V ) 3 ( k ) t + (V )2 ( k ) k T 2. (54) Setting Φ 4 2 = (V )2 ( k ), the formula (5) holds for i = 4. Moreover, by Lemma 4.4, the k properties (52) and (53) are satisfied for i = 4. For i 5, based on the induction on i, we will show that V or V of each term in (5) can be decomposed in the same fashion. With the aid of Lemma 3.8, applying V or V of the second term (V ) i ( k ) t in the right hand side of (5), we obtain V ((V ) 2j ( k ) t ) = (V )2j+ ( k ) t + (V )2j ( k ) k T 2 V ((V ) 2j+ ( k ) t ) = (V )2j+2 ( k ) t (V )2j+ ( k ) k Note that the right hand sides are of the right form. In the same spirit, we can apply V or V to the last term in (5). Here is the estimate of the simplest case when j = 2, r =, l = i 2. Consider i = 2j + 2 or i = 2j + 3. V ( (V )2j ( k ) k T 2 ) = 2 V (k ) k V ( (V )2j+ ( k ) k T 2 ) = 2 2k + V 2j ( k ) k V ( k ) k T 2 V 2j+ ( k ) k V 2j+ ( k ) k T 2 T 2 + V 2j ( k ) k T 3 T 2 V 2j+2 ( k ) k T 2 + V 2j+ ( k ) k T 3 Each term in the right hand sides has a desirable form. From Lemma 3.8, we deduce that when V or V act on a function h, depending on that function, they can yield h or V (k ) h k or V h or V h. Therefore, V or V of other cases of Φ i j T j falls into the right form of the case when i +. Next we verify (52) and (53). Let s 4 be given. Assume that they hold for i s and we first claim that k +3 (s+) (s+) 2 j=2 Φ (s+) j T j L 2 is bounded by E k, k +3 (, u). This can be justified by counting derivatives and and distributing factors in a right way. The highest derivative term with appropriate factor of will be taken as the main L2 term and others will be bounded by taking the sup. Let z max{j, l,..., l p } for each term. If z = j, we consider whose L 2 norm is bounded by Ek, k +3 (, u) from the induction T j k +3 j 28

29 hypothesis, since j s, as an L 2 term. Now it remains to show that the rest of factors k +3 j (s+) j 2 k +3 (s+) r= r l + +l p=(s+) j r l,...,l p p q= (V ) lq ( k ) k are bounded. It is enough to look at the following: for each r s j s+ j r l + +l p=s+ j r l,...,l p p q= (V ) lq ( k ) k which is clearly bounded by E k, k +3 (, u) because of Lemma 4.4 and since k k. When z is one of l q s, one can derive the same conclusion. Thus from (5), we deduce that T s+ k +3 (s+) L 2 is also bounded and it finishes the verification of (52). For the L boundedness for s + k + k +2 (s+) (s+) 2 j=2 Φ (s+) j T j L k, T j k +2 j we employ the same counting argument except that we have to use the fact T 2 L for 3 j s. This finishes the induction argument. These T i s and their properties will be useful to estimate the nonlinear terms involving V t V. Based on the representation formula (5) and T i s, we further study the representation of more general mixed terms (V ) i V t f for i k +. First V t f can be written as 2k V tf = k [ t 2k k f] = t V f + f k T 2. Note that the right hand side has the same structure as the last two terms of the right hand side of (54), in letting f be (V ) 2 ( k ). Thus we can apply the same technique to obtain the following: for each i k + 2k (V ) i V t f = t (V )i+ f + i m= Φ (m+2) j T j }(V ) i m f. (55) m+2 { Proposition 4.5. (Nonlinear estimates) The right hand sides in (42) and (43) are bounded in L 2 by a continuous function of Ek, k +3 (, u) and C. Proof. We only treat the most intriguing term (V ) i V t V ( k u) for i k +. The idea is to estimate it in terms of T j s and to use their properties. First, note that V V t V ( k u) can be written in terms of T 2, T 3 as in j=2 2k V V t V ( k u) = 2 t T 3 2 k T V V ( k ) t 2 (56) We would like to compute (V ) i V V t V ( k u) for i k. Consider i =. We apply V to 29

30 each term in (56). Since we have [ t ] = k 2k+ T 2, V ( t T 3) = t T 4 + k 2k+ T 2 T 3 V ( k T 2 2 ) = 2 k T 2 T 3 4k + 3 2k + V (V V ( k ) t 2 ) = V V V ( k ) t k V ( k ) k T 2 2 k 2k+ T 2 V V ( k ) t Thus we deduce that V V V t V ( k u) is bounded in L 2 by the energy functional. In the same vein, by keeping applying V and V, for any i 2, we can write (V ) i V V t V ( k u) as follows: 2k (V )i V V t V ( k u) = 2 t T i+3 + (V ) i+2 ( k ) t 2 + i+ t Φ (i+3) j T j i+2 + C j k T i+2 i+4 jt j + {Φ (i+4) s ( j=2 s=4 s 2 j=2 j=2 C sj k T s jt j )} (57) where Φ is given as in (5) with possibly different coefficient functions and C j and C sj are some functions bounded by L and L. This formula (57) can be also obtained by plugging (5) into (55). Now we claim that for each i k, (V ) i V V t V ( k u) L 2 is bounded by E k, k +3 (, u). The first three terms in the right hand side of (57) are bounded since they are of the form as in (5) multiplied with t. The rest terms consist of quadratic or higher of energy terms or T j s. For each term, the highest derivative with appropriate factor of is considered the main L 2 term and other factors are bounded by taking the sup. This can be done by employing the counting and distributing argument as well as the estimates of T j s (52) and (53) as before. 5 Approximate Scheme In this section, we implement the linear approximate scheme and prove that the linear system is well-posed in some energy space. Let the initial data () and u () of the Euler equations (5) be given such that C C for a constant C >, and E k, k +3 (, u ) A for a constant A >. Here E k, k +3 (, u ) is the energy functional (24) induced by. Note that from the energy bound, we obtain u L. We will construct approximate solutions n(t, ) and u n (t, ) for each n by induction satisfying the following properties: n t= =, u n t= = u ; n = = u n = = ; C n n C n, for C n > (58) 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

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

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.

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

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,

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

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

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

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

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

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

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

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

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

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

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

Απόκριση σε Μοναδιαία Ωστική Δύναμη (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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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) =

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

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

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

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

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

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

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

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(θ + θ)

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

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

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

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

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

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

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

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

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

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 +

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

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

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

SOME PROPERTIES OF FUZZY REAL NUMBERS

SOME PROPERTIES OF FUZZY REAL NUMBERS Sahand Communications in Mathematical Analysis (SCMA) Vol. 3 No. 1 (2016), 21-27 http://scma.maragheh.ac.ir SOME PROPERTIES OF FUZZY REAL NUMBERS BAYAZ DARABY 1 AND JAVAD JAFARI 2 Abstract. In the mathematical

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

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.

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

9.09. # 1. Area inside the oval limaçon r = cos θ. To graph, start with θ = 0 so r = 6. Compute dr

9.09. # 1. Area inside the oval limaçon r = cos θ. To graph, start with θ = 0 so r = 6. Compute dr 9.9 #. Area inside the oval limaçon r = + cos. To graph, start with = so r =. Compute d = sin. Interesting points are where d vanishes, or at =,,, etc. For these values of we compute r:,,, and the values

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

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

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

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

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

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

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

Lecture 13 - Root Space Decomposition II

Lecture 13 - Root Space Decomposition II Lecture 13 - Root Space Decomposition II October 18, 2012 1 Review First let us recall the situation. Let g be a simple algebra, with maximal toral subalgebra h (which we are calling a CSA, or Cartan Subalgebra).

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

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

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

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

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

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

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

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.

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

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R + Chapter 3. Fuzzy Arithmetic 3- Fuzzy arithmetic: ~Addition(+) and subtraction (-): Let A = [a and B = [b, b in R If x [a and y [b, b than x+y [a +b +b Symbolically,we write A(+)B = [a (+)[b, b = [a +b

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

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,

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

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

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

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

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

Tridiagonal matrices. Gérard MEURANT. October, 2008

Tridiagonal matrices. Gérard MEURANT. October, 2008 Tridiagonal matrices Gérard MEURANT October, 2008 1 Similarity 2 Cholesy factorizations 3 Eigenvalues 4 Inverse Similarity Let α 1 ω 1 β 1 α 2 ω 2 T =......... β 2 α 1 ω 1 β 1 α and β i ω i, i = 1,...,

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

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 :

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

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

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

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

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

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.

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

( 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

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

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:

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

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

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

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

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

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

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

ANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?

ANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =? Teko Classes IITJEE/AIEEE Maths by SUHAAG SIR, Bhopal, Ph (0755) 3 00 000 www.tekoclasses.com ANSWERSHEET (TOPIC DIFFERENTIAL CALCULUS) COLLECTION # Question Type A.Single Correct Type Q. (A) Sol least

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

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

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

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

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

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

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

= {{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

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

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)

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

Fractional Colorings and Zykov Products of graphs

Fractional Colorings and Zykov Products of graphs Fractional Colorings and Zykov Products of graphs Who? Nichole Schimanski When? July 27, 2011 Graphs A graph, G, consists of a vertex set, V (G), and an edge set, E(G). V (G) is any finite set E(G) is

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

ΗΜΥ 220: ΣΗΜΑΤΑ ΚΑΙ ΣΥΣΤΗΜΑΤΑ Ι Ακαδημαϊκό έτος Εαρινό Εξάμηνο Κατ οίκον εργασία αρ. 2

ΗΜΥ 220: ΣΗΜΑΤΑ ΚΑΙ ΣΥΣΤΗΜΑΤΑ Ι Ακαδημαϊκό έτος Εαρινό Εξάμηνο Κατ οίκον εργασία αρ. 2 ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΗΜΥ 220: ΣΗΜΑΤΑ ΚΑΙ ΣΥΣΤΗΜΑΤΑ Ι Ακαδημαϊκό έτος 2007-08 -- Εαρινό Εξάμηνο Κατ οίκον εργασία αρ. 2 Ημερομηνία Παραδόσεως: Παρασκευή

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

The challenges of non-stable predicates

The challenges of non-stable predicates The challenges of non-stable predicates Consider a non-stable predicate Φ encoding, say, a safety property. We want to determine whether Φ holds for our program. The challenges of non-stable predicates

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

1 String with massive end-points

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

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

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω 0 1 2 3 4 5 6 ω ω + 1 ω + 2 ω + 3 ω + 4 ω2 ω2 + 1 ω2 + 2 ω2 + 3 ω3 ω3 + 1 ω3 + 2 ω4 ω4 + 1 ω5 ω 2 ω 2 + 1 ω 2 + 2 ω 2 + ω ω 2 + ω + 1 ω 2 + ω2 ω 2 2 ω 2 2 + 1 ω 2 2 + ω ω 2 3 ω 3 ω 3 + 1 ω 3 + ω ω 3 +

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

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

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

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

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

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

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

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007 Οδηγίες: Να απαντηθούν όλες οι ερωτήσεις. Αν κάπου κάνετε κάποιες υποθέσεις να αναφερθούν στη σχετική ερώτηση. Όλα τα αρχεία που αναφέρονται στα προβλήματα βρίσκονται στον ίδιο φάκελο με το εκτελέσιμο

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

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

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

MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS

MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS FUMIE NAKAOKA AND NOBUYUKI ODA Received 20 December 2005; Revised 28 May 2006; Accepted 6 August 2006 Some properties of minimal closed sets and maximal closed

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

CHAPTER 48 APPLICATIONS OF MATRICES AND DETERMINANTS

CHAPTER 48 APPLICATIONS OF MATRICES AND DETERMINANTS CHAPTER 48 APPLICATIONS OF MATRICES AND DETERMINANTS EXERCISE 01 Page 545 1. Use matrices to solve: 3x + 4y x + 5y + 7 3x + 4y x + 5y 7 Hence, 3 4 x 0 5 y 7 The inverse of 3 4 5 is: 1 5 4 1 5 4 15 8 3

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

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 α

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

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

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

PARTIAL NOTES for 6.1 Trigonometric Identities

PARTIAL NOTES for 6.1 Trigonometric Identities PARTIAL NOTES for 6.1 Trigonometric Identities tanθ = sinθ cosθ cotθ = cosθ sinθ BASIC IDENTITIES cscθ = 1 sinθ secθ = 1 cosθ cotθ = 1 tanθ PYTHAGOREAN IDENTITIES sin θ + cos θ =1 tan θ +1= sec θ 1 + cot

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

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)

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

( ) 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

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

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,

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

On a four-dimensional hyperbolic manifold with finite volume

On a four-dimensional hyperbolic manifold with finite volume BULETINUL ACADEMIEI DE ŞTIINŢE A REPUBLICII MOLDOVA. MATEMATICA Numbers 2(72) 3(73), 2013, Pages 80 89 ISSN 1024 7696 On a four-dimensional hyperbolic manifold with finite volume I.S.Gutsul Abstract. In

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

Optimal Parameter in Hermitian and Skew-Hermitian Splitting Method for Certain Two-by-Two Block Matrices

Optimal Parameter in Hermitian and Skew-Hermitian Splitting Method for Certain Two-by-Two Block Matrices Optimal Parameter in Hermitian and Skew-Hermitian Splitting Method for Certain Two-by-Two Block Matrices Chi-Kwong Li Department of Mathematics The College of William and Mary Williamsburg, Virginia 23187-8795

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

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

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

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 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

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

= λ 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

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

Quadratic Expressions

Quadratic Expressions Quadratic Expressions. The standard form of a quadratic equation is ax + bx + c = 0 where a, b, c R and a 0. The roots of ax + bx + c = 0 are b ± b a 4ac. 3. For the equation ax +bx+c = 0, sum of the roots

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

Math 6 SL Probability Distributions Practice Test Mark Scheme

Math 6 SL Probability Distributions Practice Test Mark Scheme Math 6 SL Probability Distributions Practice Test Mark Scheme. (a) Note: Award A for vertical line to right of mean, A for shading to right of their vertical line. AA N (b) evidence of recognizing symmetry

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

The Simply Typed Lambda Calculus

The Simply Typed Lambda Calculus Type Inference Instead of writing type annotations, can we use an algorithm to infer what the type annotations should be? That depends on the type system. For simple type systems the answer is yes, and

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

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

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