arxiv:math/ v2 [math.ap] 18 Feb 2005

Transcription

1 arxiv:math/ v2 [math.ap] 18 Feb 2005 he periodic Cauchy problem of the modified Hunter-Saxton equation Feride ığlay April 13, 2008 Abstract We prove that the periodic initial value problem for the modified Hunter-Saxton equation is locally well-posed for initial data in the space of continuously differentiable functions on the circle and in Sobolev spaces H s () when s > 3/2. We also study the analytic regularity (both in space and time variables) of this problem and prove a Cauchy-Kowalevski type theorem. Our approach is to rewrite the equation and derive the estimates which permit application of o.d.e. techniques in Banach spaces. For the analytic regularity we use a contraction argument on an appropriate scale of Banach spaces to obtain analyticity in both time and space variables. In this paper we study the periodic Cauchy problem of the modified Hunter-Saxton equation t u + u p x u = x ( x(u p ) x u), u(x,0) = u 0 (x), x R/Z,t R. (mhs) where p is any positive integer. J.K. Hunter and R. Saxton derived this family of equations in [HuSa] and showed that smooth solutions break down in finite time. For p = 1 the equation t u + u x u = x ( xu) 2 (HS) is called Hunter-Saxton equation. Written in the form (HS) the Hunter-Saxton equation can be viewed as a nonlocal perturbation of the Burgers equation like the Camassa-Holm Mathematics Subject Classification: 35Q58, 35Q53, 35A10. 1

2 equation. Both equations Camassa-Holm and Hunter-Saxton arise along with the Korteweg-De Vries equation in these nonlocal forms when derived on the Bott-Virasoro group [KM]. Similar local well-posedness results hold for Camassa-Holm equation in Sobolev spaces (see for example the proof given by A. Himonas and G. Misio lek in [HM2] or [Mis1]) and in C 1 (the C 1 theory for Camassa-Holm equation is developed by G. Misio lek in [Mis1]). Another context in which the three equations Korteweg-De Vries, Camassa- Holm and Hunter-Saxton are treated in a unified way is their scattering theory described by R. Beals, D.H. Sattinger and J. Szmigielski in [BSS1]. All three equations are bihamiltonian and have the same symmetry group, namely Virasoro group as shown in [KM] by B. Khesin and G. Misiolek. Moreover these equations correspond to the equations of the geodesic flow with respect to different right invariant Riemannian metrics on this group or on an associated homogeneous space [KM]. he local well-posedness result in C 1 () that we prove in the first section of this work is the sharpest result about classical solutions of the periodic Cauchy problem for (mhs). An observation of V. Arnold [Arn], that the initial value problem for the classical Euler equations of a perfect fluid can be stated as a problem of finding geodesics on the group of volume preserving diffeomorphisms, was used by D.G. Ebin and J. Marsden in [EMa] who developed the necessary functional analytic tools and established sharp local well-posedness results for the Euler equations in a class of Sobolev spaces. here is no similar result for p 2 for the modified Hunter-Saxton equation. It turns out, however, that the method of rewriting the problem as an ordinary differential equation on the group of diffeomorphisms (just as in the case of Euler equations) can be applied by introducing two dependent variables namely ζ and γ in 1. We use this approach to develop an appropriate analytic framework for (mhs) and prove the following theorems. heorem 1. Let p 1 be any positive integer and s > 3/2. Given the initial data u 0 H s () the Cauchy problem for the equation (mhs) has a unique solution u C 0 ([0,),H s ()) C 1 ([0,),H s 1 ()) for some > 0 and the solution depends continuously on the initial data u 0 (x). Clearly the local well-posedness in C 1 () as stated in theorem 2 is a stronger result than the local well-posedness in H s () for s > 3/2 as stated in theorem 1. 2

3 heorem 2. Let p 1 be any positive integer. For any u 0 C 1 () the Cauchy problem for (mhs) has a unique solution u C 0 ([0,),C 1 ()) C 1 ([0,),L ()) for some > 0 and the solution depends continuously on the initial data. After the completion of this paper we learnt that for p = 1 theorem 1 has been proved independently by Z. Yin in [Yi] using the semigroup theory of. Kato. Furthermore the two equations, the modified Hunter-Saxton (mhs) and the Camassa-Holm, do not have similar features only for low regularity data but also for high regularity data. he study of analytic regularity of solutions of the Camassa-Holm equation by A. Himonas and G. Misio lek [HM1] using an abstract Cauchy-Kowalevski theorem led us to investigate the analytic regularity of the Cauchy problem for (mhs) and prove the following theorem. heorem 3. If the initial data u 0 is an analytic function on then there exists an ε > 0 and a unique solution u of the Cauchy problem for the equation (mhs) that is analytic in both variables x and t on for all t in ( ε,ε). We would like to note that the analyticity properties of the solutions to the Hunter-Saxton and Camassa-Holm equations are quite different from those of the Korteweg-De Vries equation whose solutions are analytic in the space variable for all time [ru] but are not analytic in the time variable [KaM]. Our approach in proving theorem 3 is to rewrite the equation to use a contraction argument on an appropriate scale of Banach spaces. his contraction argument was developed in the form of an abstract Cauchy- Kowalevski theorem by L.V. Ovsjannikov [Ovs1, Ovs2], F. reves [re], L. Nirenberg [Nir],. Nishida [Nis] and M.S. Baouendi and C. Goulaouic [BG] among others and subsequently applied to the Euler and Navier-Stokes equations. 1 Well-posedness in C 1 Many techniques in studying differential equations are based on Picard s contraction argument on Banach spaces. Here we develop the tools to use this argument for the Cauchy problem of (mhs). Let us first introduce the 3

4 operator x 1 to write the modified Hunter-Saxton equation in the form (mhs): x x 1 f(x) := f(y)dy 1 x f(y)dydx x 0 2π x 0 for some fixed x 0 in. he Hunter-Saxton equation (HS) can be restated on the space D of C 1 () diffeomorphisms of as an ordinary differential equation. he idea comes from its derivation as a geodesic equation on the Bott-Virasoro group (see [KM]). Similarly one can restate (mhs) as an ordinary differential equation on the product space D C 1 () as follows. Let ζ be equal to u γ where γ be the flow generated by u p. hen we obtain the set of equations γ = ζ p, ζ = ( t (ζ γ 1 ) + (ζ γ 1 ) p x (ζ γ 1 )) γ. (1) he two initial value problems, for (mhs) and for the equation in (1), are equivalent in the following sense. Proposition 1. A function u C 1 () is a solution to the Cauchy problem t u + u p x u = p 2 1 x (up 1 ( x u) 2 ); u(x,0) = u 0 (x) (2) if and only if u can be written as ζ γ 1 where (γ,ζ) D C 1 () is a solution to γ = ζ p, ζ = F(γ,ζ) := p 2 ( 1 x ((ζ γ 1 ) p 1 ( x (ζ γ 1 )) 2 )) γ with initial data ζ(x,0) = u 0 (x) and γ(x,0) = id x. herefore it is sufficient to prove that the pair (ζ p,f(γ,ζ)) defines a continuously differentiable vector field in a neighborhood of (id,0) in D C 1 (). hen theorem 2 follows by the fundamental theorem on ordinary differential equations in Banach spaces with the observation that the smooth dependence on initial data in (3) implies continuous dependence on initial data for (2). Proof of heorem 2. Let us use the convenient notation from [Eb1] and denote by P γ the operator given by conjugation P γ (g) := P(g γ 1 ) γ (3) 4

5 for any γ D and pseudodifferential operator P. Using this notation we write the right hand side of the first equation in (3) as F(γ,ζ) = 1 2 ( 1 x ) γg(γ,ζ) where g(γ,ζ) = ( x ) γ ζ p ( x ) γ ζ. Next we compute the directional derivatives γ F (γ,ζ) and ζ F (γ,ζ) and prove that these are bounded linear maps. Note that it is enough to determine γ ( x 1) γ and γ ( x ) γ since we have the following identities γ F (γ,ζ) = 1 2 γ( 1 x ) γg(γ,ζ) ( 1 x ) γ γ g (γ,ζ), (4) and ζ F (γ,ζ) = 1 2 ( 1 x ) γ ζ g (γ,ζ) (5) γ g (γ,ζ) = γ ( x ) γ (ζ p )( x ) γ ζ + ( x ) γ (ζ p ) γ ( x ) γ ζ. (6) Let s γ s be a smooth curve in D such that γ 0 = id and s γ s s=0 = W for W C 1 (). By the definition of the operator x 1 we obtain Similarly we have γ ( 1 x ) γ (g)(w) = ( 1 x ) γ (W( x ) γ g) + gw = ( x 1 ) γ (g( x ) γ W) + 1 gw dx. (7) 2π γ ( x ) γ = [W γ 1 x, x ] γ (8) where the bracket [, ] denotes the commutator of the operators. By (4)-(8) the directional derivatives of F(γ,ζ) are given by the following explicit formulas: γ F (γ,ζ) (W) = 1 2 ( 1 x ) γ (( x ) γ ζ p ( x ) γ ζ( x ) γ W) + 1 W( x ) γ ζ p ( x ) γ ζ dx, (9) 4π ζ F (γ,ζ) (W) = 1 2 ( 1 x ) γ{p( x ) γ (ζ p 1 W)( x ) γ ζ + ( x ) γ ζ p ( x ) γ W }. (10) 5

6 he linearity of the maps W γ F (γ,ζ) (W) and W ζ F (γ,ζ) (W) is obvious. hus we proceed to show that these maps are bounded. For the C 1 norm of γ F (γ,ζ) we have γ F (γ,ζ) (W) C 1 ( x 1 ) γ (( x ) γ (ζ p )( x ) γ ζ( x ) γ W) C 1 + W( x ) γ (ζ p )( x ) γ ζ dx C γ ( x ) γ (ζ p )( x ) γ ζ( x ) γ W + ( 1 x ) γ (( x ) γ (ζ p )( x ) γ ζ( x ) γ W) (11) +C γ W ζ p+1 C 1 where C γ depends only on γ C 1 and γ 1 C 1. he first term in (11) is bounded by C γ ζ p+1 C 1 W C 1. We also observe that the second term in (11) can be written as γ(x) x (ζ p γ 1 ) x (ζ γ 1 ) x (W γ 1 )dy + γ(x 0 ) γ(x) γ(x 0 ) his last sum is bounded by Combining these estimates we obtain x (ζ p γ 1 ) x (ζ γ 1 ) x (W γ 1 )dy dx. C γ W C 1 ζ p+1 C 1. γ F (γ,ζ) (W) C 1 C γ W C 1 ζ p+1 C 1 and therefore the map W γ F (γ,ζ) (W) is bounded. he map W ζ F (γ,ζ) (W) is bounded as well by the estimate ζ F (γ,ζ) (W) C 1 C γ ( ( x ) γ (Wζ p 1 )( x ) γ ζ + ( x ) γ ζ p ( x ) γ W ) + ( 1 x ) γ{p( x ) γ (Wζ p 1 )( x ) γ ζ + ( x ) γ ζ p ( x ) γ W } C γ W C 1 ζ p C 1. which is derived similarly. In order to complete the proof of theorem 2 we show that both directional derivatives γ F (γ,ζ) and ζ F (γ,ζ) are continuous maps. Note that to prove 6

7 the continuity of γ F (γ,ζ) in γ (uniformly in ζ) from D into the space of bounded linear operators on C 1 () it suffices to prove the continuity of the following maps γ γ ( x 1 ) γ L(C 1,L(C 0,C 1 )) (12) γ ( x 1 ) γ L(C 0,C 1 ) (13) γ ( x ) γ L(C 1,C 0 ) (14) in a neighborhood of (id,0) D C 1 (). We consider the map (13) first. A change of variables in ( 1 x ) γ f 1 x f = leads to the identity γ(x) γ(x 0 ) f γ 1 (y)dy 1 γ(x) f γ 1 (y)dy dx 2π γ(x 0 ) x f(y)dy + 1 x f(y)dy dx x 0 2π x 0 ( 1 x ) γ f 1 x f = 1 x (f( x γ 1)). (15) he right hand side of this identity is bounded by and therefore we have the estimate C γ f γ id C 1 ( 1 x ) γf 1 x f C 1 C γ f γ id C 1 (16) and the map in (13) is continuous. In order to show the continuity of the map in (12) we observe that the definite integral in γ ( 1 x ) γ(w) does not depend on x and thus we have γ ( x 1 ) γ (W) γ ( x 1 ) id (W) C 1 ( x 1 ) γ{( x ) γ ζ p ( x ) γ ζ( x ) γ W } x 1 ( xζ p x ζ x W) C 1 (17) + W {( x ) γ ζ p ( x ) γ ζ x ζ p x ζ}dx (18) Adding and subtracting the appropriate terms we can bound (17) by C γ x ζ p x ζ x W {( x γ 1 γ) 3 1} + ( x 1 ) γ { x ζ p x ζ x W(( x γ 1 γ) 3 1)} (19) + {( x 1 ) γ ( x 1 ) id}( x ζ p x ζ x W) C 1. 7

8 We use (16) to estimate the third summand above by ζ p+1 C 1 W C 1 γ id C 1. Clearly the first two terms in (19) are bounded by C γ ζ p+1 C 1 W C 1 γ id C 1 and therefore we have the following estimate for (17) C γ ζ p+1 C 1 W C 1 γ id C 1. We also observe that (18) can be bounded easily as follows W {( x ) γ ζ p ( x ) γ ζ x ζ p x ζ}dx W x ζ p x ζ(( x γ 1 γ) 2 1)dx C γ W ζ p+1 C 1 γ id C 1. Combining this last estimate with the estimate for (19) we obtain γ ( 1 x ) γ(w) γ ( 1 x ) id(w) C 1 C γ W C 1 ζ p+1 C 1 γ id C 1 which implies continuity of the map (12). For the continuity of the map (14) it is sufficient to observe that x (f γ 1 ) γ x f = x f( x γ 1 γ 1) C γ f C 1 γ id C 1. Hence the continuity of γ F γ,ζ follows. Furthermore the continuity in ζ of F γ,ζ is easier to prove. We rewrite the C 1 norm that we want to estimate as γ F γ,ζ1 γ F γ,ζ2 C 1 ( x 1 ) γ {(( x ) γ ζ p 1 ( x) γ ζ 1 ( x ) γ ζ p 2 ( x) γ ζ 2 )( x ) γ W } +C γ W C 1 ( x ) γ ζ p 1 ( x) γ ζ 1 ( x ) γ ζ p 2 ( x) γ ζ 2 (20) + W {( x ) γ ζ p 1 ( x) γ ζ 1 ( x ) γ ζ p 2 ( x) γ ζ 2 } By the definition of x 1 the first term on the right hand side of this equality is bounded by C γ W C 1 x ζ p 1 xζ 1 x ζ p 2 xζ 2 8

9 which, by adding and subtracting the appropriate terms can be estimated by C γ,ζ1,ζ 2 W C 1 ζ 1 ζ 2 C 1 where C γ,ζ1,ζ 2 depends only on C 1 norms of γ,γ 1,ζ 1 and ζ 2. Similarly we estimate the second summand in (20) by and the third summand by C γ,ζ1,ζ 2 W C 1 ζ 1 ζ 2 C 1 C γ,ζ1,ζ 2 W ζ 1 ζ 2 C 1. Hence γ F (γ,ζ) is continuous in ζ. he continuity of γ F (γ,ζ) in ζ can be shown analogously. herefore (ζ p,f(γ,ζ)) defines a continuous differentiable map in a neighborhood of (id,0). 2 Well-posedness in H s In proving theorem 1 we implement the same approach of rewriting the Cauchy problem for (mhs) as an initial value problem for an ordinary differential equation on the product space D s H s () where D s is the space of H s class diffeomorphisms on. Here we repeatedly use the Schauder ring property, Sobolev lemma and the following well-known property of Sobolev spaces that we refer to as the composition lemma. Lemma 1. [Composition lemma] Let s > 3/2, u H s and γ be a H s class bijection from to whose inverse γ 1 is also of class H s. hen, u γ H s and the estimate u γ H s C ζ (1 + γ s H s) u H s (21) holds where C γ depends only on C 1 norms of γ and γ 1. he next proposition is the H s version of proposition 1. It is a restatement of the Cauchy problem for (mhs) with H s initial data as an initial value problem for an ordinary equation on D s H s (). We first state the Cauchy problem for (mhs) on the product space D s H s (). Proposition 2. A function u H s is a solution to the Cauchy problem ( t u + u p x u) = p 2 1 x (u p 1 ( x u) 2 ); u(x,0) = u 0 (x) 9

10 if and only if u can be written as ζ γ 1 where (ζ,γ) D s H s is a solution to γ = ζ p, ζ = F(γ,ζ) := p 2 ( 1 x ((ζ γ 1 ) p 1 ( x (ζ γ 1 )) 2 )) γ. with initial data ζ(x,0) = u 0 (x) and γ(x,0) = id x. (22) Proof. Given a function u H s () which is a solution to the problem (22) there is a γ D s satisfying γ = u p γ, γ(x,0) = id x (see [BB]). We set ζ = u γ. hen we have ζ = ( t u + u p x u) γ. But u is a solution to the Cauchy problem for (mhs) therefore (22) holds for (γ,ζ). Conversely assume that we have a solution (γ,ζ) D s H s () to (22) and let u = ζ γ 1. hen ζ = u γ and therefore ζ = ( t u + ( γ γ 1 ) x u) γ. But since (γ, ζ) is a solution to (22) u is a solution to the Cauchy problem for (mhs). he next lemma is used in the proof of theorem 1 to show that γ ( 1 x ) γ is a continuous map from D s into L(H s 1,H s ). Lemma 2. Let s > 3/2. hen we have 1 x (u γ 1 ) γ 1 x u H s C u H s 1 γ id x H s( γ H s + 1) for u H s 1 () and γ D s. Proof. Using the identity in (15) we can write the H s norm to be estimated as follows: 1 x (u γ 1 ) γ 1 x u H s = 1 x (u( x γ 1)) H s. herefore by Poincaré inequality, since x 1 f has zero mean we have 1 x (u xγ u) H s u( x γ 1) H s 1. (23) 10

11 Finally using the Schauder ring property and Sobolev lemma with (23) we obtain 1 x (u γ 1 ) γ 1 x u H s C u H s 1 γ id x H s. Now we are ready to proceed to the proof of theorem 1. We will show that F(γ, ζ) is a bounded map with bounded linear directional derivatives which are continuous. hen theorem 1 follows from the fundamental theorem for ordinary differential equations on Banach spaces. Proof of theorem 1. We start by showing that F(γ,ζ) = 1 2 ( 1 x ) γ {( x ) γ ζ p ( x ) γ ζ} defines a bounded map from D s H s () into H s (). By the composition lemma we have F(γ,ζ) H s C γ 1 x ( x(ζ p γ 1 ) x (ζ γ 1 )) H s (24) where C γ depends only on H s norm of γ and γ 1. Using Poincaré inequality we obtain the estimate C γ x (ζ p γ 1 ) x (ζ γ 1 ) H s 1. hen Schauder ring property with composition lemma gives the bound C γ ζ p+1 H s. Next we show that the directional derivatives γ F (γ,ζ) (W) = 1 2 ( 1 x ) γ (( x ) γ ζ p ( x ) γ ζ( x ) γ W) + 1 W( x ) γ ζ p ( x ) γ ζ dx, (25) 4π ζ F (γ,ζ) (W) = 1 2 ( 1 x ) γ{p( x ) γ (ζ p 1 W)( x ) γ ζ + ( x ) γ ζ p ( x ) γ W } (26) define bounded linear maps. We estimate the first summand on the right hand side of γ F (γ,ζ) (W) H s ( x 1 ) γ (( x ) γ ζ p ( x ) γ ζ( x ) γ W) H s + W( x ) γ ζ p ( x ) γ ζ dx (27) 11

12 and ζ F (γ,ζ) W H s using the Schauder ring property, Poincaré lemma and composition lemma by C γ W H s ζ p H s (1 + ζ H s) as we estimated (24) above. For the absolute value term in (27) we apply Sobolev lemma to obtain the bound C γ W H s 1 ζ p+1 H s. Hence the directional derivatives γ F (γ,ζ) and ζ F (γ,ζ) define bounded linear maps. he continuity of the directional derivatives can be proved as follows. We observe that (like in the previous section) to prove the continuity of γ F (γ,ζ) it suffices to prove the continuity of the maps γ γ ( x 1 ) γ L(H s,l(h s 1,H s )) (28) γ ( x 1 γ L(H s 1,H s ) (29) γ ( x ) γ L(H s,h s 1 ) (30) in a neighborhood of (id,0) D s H s (). he identity in (15), Poincaré inequality and Schauder ring property lead to the following estimate for the map in (29) ( 1 x ) γf 1 x f H s C γ f H s 1 γ id H s and hence to the continuity of this map. In order to show that the map in (28) is continuous it is sufficient to obtain an appropriate estimate on the norm γ ( x 1 ) γ W γ ( x 1 ) id W H s ( x 1 ) γ {( x ) γ ζ p ( x ) γ ζ( x ) γ W } x 1 ( x ζ p x ζ x W) H s + W {( x ) γ ζ p ( x ) γ ζ x ζ p x ζ}dx. he second term on the right hand side above is bounded using Sobolev lemma and the Schauder ring property by C γ W H s 1 ζ p+1 H s γ id H s. Adding and subtracting the appropriate terms and using Poincaré inequality we obtain the following estimate for the first term ( x 1 ) γ {( x ) γ ζ p ( x ) γ ζ( x ) γ W } x 1 ( x ζ p x ζ x W) H s ( x 1 ) γ (( x ) γ ζ p ( x ) γ ζ( x ) γ W) ( x 1 ) γ ( x ζ p x ζ x W) H s (31) + ( x 1 ) γ( x ζ p x ζ x W) x 1 ( xζ p x ζ x W) H s. (32) 12

13 For (32) lemma 2 and the Schauder ring property give us the following estimate C γ ζ p+1 H s W H s γ id H s. Applying composition lemma and Poincaré inequality to (31) we obtain ( 1 x ) γ (( x ) γ ζ p ( x ) γ ζ( x ) γ W) ( 1 x ) γ ( x ζ p x ζ x W) H s C γ ζ p+1 H s W H s γ id H s. herefore the map in (28) is continuous. It is not difficult to obtain the following inequality which implies that the map in (30) is continuous using Schauder ring property ( x ) γ W x W H s 1 C γ W H s γ id H s. In order to conclude that F(γ, ζ) defines a continuously differentiable map D s H s into H s it is sufficient to observe that both directional derivatives γ F (γ,ζ) and ζ F (γ,ζ) are continuous in ζ as well. his completes the proof of theorem 1. 3 Analytic regularity In this section we give a proof of theorem 3 that states the analytic regularity (i.e., existence and uniqueness of analytic solutions for analytic initial data) of the Cauchy problem for (mhs). he classical Cauchy-Kowalevski theorem does not apply to the modified Hunter-Saxton equation (??). However a contraction argument on a scale of Banach spaces can be used for the nonlocal form (mhs) of this equation. he conditions under which such a contraction argument can be applied to prove an analytic regularity result are given in [Nis] and [BG] in the form of an abstract Cauchy-Kowalevski theorem. he following scale of Banach spaces is appropriate for our problem. Definition 1. Let s be a positive real number. he collection {X s } s>0 of Banach spaces X s is called a decreasing scale of Banach spaces if s < s implies X s X s and s s. For s > 0, let the spaces E s be defined as { } E s = u C k () : u dx = 0 and u s = sup x.u H ss k k 0 k!/(k + 1) 2 <, 13

14 We use decreasing scales of Banach spaces X s := E s E s given by Cartesian products of the spaces E s for the contraction argument. he norm Xs can be chosen to be any of the standard product norms on E s E s. An important result for the spaces E s is the following algebra property. Lemma 3. Let 0 < s < 1. here is a constant c > 0 which is independent of s such that we have for any u,v E s. uv s c u s v s We do not repeat the proof of this lemma here but refer to [HM1] where A.Himonas and G.Misio lek prove the analytic regularity of solutions to the Cauchy problem for the Camassa-Holm equation. First we rewrite the equation (mhs) in a more convenient form. Let the operators P 1 and P 2 be defined as P 1 (u) := x u, P 2 (u) := 1 x u and let u 1 := u,u 2 := x u. hen we can write the equation (mhs) in terms of (u 1,u 2 ) as follows t u 1 = F 1 (u 1,u 2 ) := p P 1(u p+1 1 ) + 2 p P 2(u p 1 1 u 2 2 ) t u 2 = F 2 (u 1,u 2 ) := P 1 (u p 1 u 2) + p 2 up 1 1 u 2 2 (33) he following two lemmas give suitable bounds on the operators P 1 and P 2 to prove theorem 3. Lemma 4. For 0 < s < s < 1, the estimate holds. P 1 (u) s 1 s s u s Lemma 5. For any 0 < s < 1, the estimate holds. P 2 (u) s u s 14

15 Now we are ready to prove heorem 3. We will show that all three conditions of the abstract version of the Cauchy-Kowalevski theorem that we include in the appendix for the convenience of the reader as it is stated in [Nis], hold for (mhs) on the scale {X s } 0<s<1. Proof of heorem 3. Let u = (u 1,u 2 ) and F = (F 1,F 2 ) in (33) and let X s be a decreasing scale of Banach spaces defined as X s = E s E s. hen we only need to verify the first two conditions of the abstract Cauchy- Kowalevski theorem since the map F(u 1,u 2 ) does not depend on t explicitly. Clearly, t F(t,u(t)) = (F 1 (u 1,u 2 ),F 2 (u 1,u 2 )) is holomorphic if t u 1 (t) and t u 2 (t) are both holomorphic. herefore, to verify the first condition of the abstract theorem, we only need to show that for s < s, F 1 (u 1,u 2 ) and F 2 (u 1,u 2 ) are in E s if u 1,u 2 E s. We begin with estimates on F 1 : 1 F 1 (u 1,u 2 ) s = p + 1 P 1(u p+1 1 ) + p 2 P 2(u p 1 1 (u 2 ) 2 ) s c p ( P 1 (u p+1 1 ) s + P 2 (u p 1 1 (u 2 ) 2 ) s ). By Lemma 4 and Lemma 5 we have the following bound on this last term ( ) 1 c p s s up+1 1 s + u p 1 1 (u 2 ) 2 s. hen by Lemma 3 we obtain the estimate Similarly, for F 2, we have c p s s u 1 p+1 s + c p u 1 p 1 s u 2 2 s. F 2 (u 1,u 2 ) s = P 1 (u p 1 u 2) + p 2 up 1 1 u 2 2 s P 1 (u p 1 u 2) s + p 2 up 1 1 u 2 2 s ( 1 c s s up 1 u 2 s + p ) 2 u 1 p 1 s u 2 2 s c s s u 1 p s u 2 s + c p 2 u 1 p 1 s u 2 2 s. We proceed to establish the second condition of the abstract Cauchy-Kowalevski theorem. First we show that for some c independent of t the estimates F 1 (u 1,u 2 ) F 1 (v 1,v 2 ) s 15 c s s u v X s (34)

16 and F 2 (u 1,u 2 ) F 2 (v 1,v 2 ) s c s s u v X s (35) hold. In order o obtain the estimate (34) we use the triangle inequality and Lemma 4 with Lemma 5: F 1 (u 1,u 2 ) F 1 (v 1,v 2 ) s c p P 1 (u p+1 1 ) + P 2 (u p 1 1 u 2 2 ) P 1(v p+1 1 ) P 2 (v p 1 1 v 2 2 )) s hen we add and subtract u p 1 1 v 2 2 c p ( P 1 (u p+1 1 v p+1 1 ) s + P 2 (u p 1 1 u 2 2 vp 1 1 v2 2 ) s ) c p s s ( (up+1 1 v p+1 1 ) s + (u p 1 1 u 2 2 vp 1 1 v2 2 ) s ) and use Lemma 3 to get = c p s s ( (up+1 1 v p+1 1 ) s + u p 1 1 (u 2 2 v2) 2 + (v p 1 1 u p 1 1 )v2 2 s ) c p s s ( up+1 1 v p+1 1 s + u p 1 1 s u 2 2 v2 2 s + vp 1 1 u p 1 1 s v2 2 s ). Note that using the identity u p 1 vp 1 = (u v)(up 1 + u p 2 v + u p 3 v uv p 2 + v p 1 ). and the assumption that u s < R and v s < R we have F 1 (u 1,u 2 ) F 1 (v 1,v 2 ) s c p s s ((p + 1)Rp u 1 v 1 s ) + 2R p u 2 v 2 s + R 2 (p 1)R p 2 v 1 u 1 s c p,r s s u v X s where u = (u 1,u 2 ) and v = (v 1,v 2 ). he estimate (35) we first use triangle inequality F 2 (u 1,u 2 ) F 2 (v 1,v 2 ) s = P 1 (u p 1 u 2) + p 2 up 1 1 u 2 2 P 1 (v p 1 v 2) p 2 vp 1 1 v 2 2 s hen using Lemma 4 we estimate this last term by c p ( P 1 (u p 1 u 2 v p 1 v 2) s + u p 1 1 u 2 2 vp 1 1 v 2 2 s ). = c p s s ( up 1 u 2 v p 1 v 2 s + u p 1 1 u 2 2 v p 1 1 v 2 2 s ). 16

17 Adding and subtracting u p 1 v 2 and u p 1 1 v 2 2 and using Lemma 3 we obtain = c p s s ( up 1 (u 2 v 2 ) + (u p 1 vp 1 )v 2 s + u p 1 1 (u 2 2 v2) 2 + (u p 1 1 v p 1 1 )v2 2 s ) c p s s ( up 1 (u 2 v 2 ) s + (u p 1 vp 1 )v 2 s + u p 1 1 (u 2 2 v2) 2 s + (u p 1 1 v p 1 1 )v2 2 s ) c p s s ( up 1 s u 2 v 2 s + u p 1 vp 1 s v 2 s + u p 1 1 s u 2 2 v2 2 s + u p 1 1 v p 1 1 s v 2 2 s ). Again assuming that u s < R and v s < R we obtain F 2 (u 1,u 2 ) F 2 (v 1,v 2 ) s which completes the proof of heorem 3. c p,r s s u v X s. Appendix An abstract Cauchy-Kowalevski theorem he classical Cauchy-Kowalevski theorem is an important tool in the study of partial differential equations. An abstract version of this theorem which can be applied to differential equations involving pseudodifferential operators has been developed since 60s. he general framework in the case of linear equations has appeared in the work of. Yamanaka [Ya] and L.V. Ovsjannikov [Ovs1]. he first nonlinear form of the abstract theorem presented by F. reves [re] has been improved by L. Nirenberg [Nir] and Nirenberg s version has been further simplified by. Nishida [Nis]. We will use the following version of the abstract Cauchy- Kowalevski theorem from [Nis]. heorem 4. Consider the Cauchy problem t u = F(t,u(t)) u(0) = 0. (36) Let {X s } 0<s<1 be a scale of decreasing Banach spaces, so that for any s < s we have X s X s and. s. s. Let,R and C be positive numbers and suppose that F satisfies the following conditions 17

18 1.) If for 0 < s < s < 1 the function t u(t) is holomorphic in t < and continuous on t with values in X s and sup u(t) s < R, t then t F(t,u(t)) is a holomorphic function on t < with values in X s. 2.) For any 0 < s < s 1 and any u,v X s with u s < R, v s < R, sup F(t,u) F(t,v) s t C s s u v s. 3.) here exists M > 0 such that for, any 0 < s < 1, sup F(t,0) s t M 1 s. hen there exists a 0 (0,) and a unique function u(t), which for every s (0,1) is holomorphic in t < (1 s) 0 with values in X s, and is a solution to the initial value problem (36). References [AK] [Arn] V.I. Arnold and B.A. Khesin, opological Methods in Hydrodynamics, Springer Verlag, New York V. Arnold, Sur la géométrie différentielle des groupes de Lie de dimension infinie et ses applications à l hydrodynamique des fluides parfaits, Ann. Inst. Fourier, Grenoble 16 (1966). [BB] J.P. Bourguignon and H. Brezis, Remarks on the Euler equation, J. Functional Analysis 15 (1974). [BG] M.S. Baouendi and C. Goulaouic, Sharp estimates for analytic pseudodifferential operators and application to Cauchy problems, J. Diff. Eq. 48 (1983). [BSS1] R. Beals, D. Sattinger and J. Szmigielski,Acoustic scattering and the extended Korteweg-de Vries equation,, Advances in Mathematics, 140 (1998). [BSS2] R. Beals, D.H. Sattinger and J. Szmigielski, Inverse scattering solutions of the Hunter-Saxton equation, Appl. Anal. 78 (2001). 18

19 [Di] [Eb1] J. Dieudonné, Foundations of Modern Analysis, Academic Press, New York and London, D.G. Ebin, Espace des métriques riemanniennes et mouvement des fluides via les variétés d applications, Centre de Mathématiques de l Ecole Polytechnique et Université Paris [Ee] J. Eells, A setting for global analysis, Bull. Amer. Math. Soc. 72 (1966). [EMa] D.G. Ebin and J. Marsden, Groups of diffeomorphisms and the motion of an incompressible fluid, Ann. Math. 92 (1970). [HM1] A.A. Himonas and G. Misio lek, Remarks on an integrable evolution equation, Geometry and analysis on finite and infinite dimensional Lie groups, Banach Center Publ. 55, Polish Acad. Sci., Warsaw (2002). [HM2] A.A. Himonas and G. Misio lek, he Cauchy problem for an integrable shallow-water equation, Differential and Integral Equations 14 (2001). [HuSa] J.K. Hunter and R. Saxton, Dynamics of director fields, SIAM J. Appl. Math. 51, No. 6 (1991). [HZ1] [K] J.K. Hunter and Y. Zheng, On a completely integrable nonlinear hyperbolic variational equation, Physica D 79, Kato, Liapunov functions and monotonicity in the Navier-Stokes equation, Lecture Notes in Math., 1450, Springer, Berlin [KaM]. Kato and K. Masuda, Nonlinear evolution equations and analyticity I, Ann. de l Inst. H. Poincaré 3 (1986). [KM] B.A. Khesin and G. Misio lek, Euler equations on homogeneous spaces and Virasoro orbits, Adv. Math. 176, [Mis1] G. Misio lek, Classical solutions of the periodic Camassa-Holm equation, GAFA 12 (2002). [Mis3] G. Misio lek, A shallow water equation as a geodesic flow on the Bott-Virasoro group, Journal of Geometry and Physics 24 (1996). [Nir] L. Nirenberg, An abstract form of the nonlinear Cauchy-Kowalevski theorem, J. Differential Geometry 6 (1972). 19

20 [Nis] [OK]. Nishida, A note on a theorem of Nirenberg, J. Differential Geometry 12 (1977). V. Ovsienko and B. Khesin, Korteweg-de Vries superequations as an Euler equation, Functional Anal. Appl. 21 (1987). [Ovs1] L.V. Ovsjannikov, A singular operator in a scale of Banach spaces, Dokl. Akad. Nauk SSSR, 163 (1965). [Ovs2] L.V. Ovsjannikov, A nonlinear Cauchy problem in a scale of Banach spaces, Dokl. Akad. Nauk SSSR, 200 (1971); Soviet Math. Dokl. 12 (1971). [R] [Sat] E.G. Reyes, he soliton content of the Camassa-Holm and Hunter- Saxton equations, Proc. Inst. Math. NAS**** 43 (2002). D.H. Sattinger, Scaling, mathematical modeling, & Integrable systems, DMV-Seminar Series, Band 28, Birkhauser [ay1] M.E. aylor, Pseudodifferential Operators and Nonlinear PDE, Birkhäuser Boston [ay2] M.E. aylor, Finite and infinite dimensional Lie groups and evolution equations, Classroom Notes, University of North Carolina- Chapel Hill, Spring [re] [ru] [Ya] [Yi] F. reves, An abstract nonlinear Cauchy-Kovalevska theorem, rans. Amer. Math. Soc. 150 (1970). E. rubovitz, he inverse problem for periodic potentials, Comm. Pure Appl. Math. 30 (1977).. Yamanaka, Note on Kowalevskaja s system of partial differential equations, Comment. Math. Univ. St. Paul. 9 (1960). Z. Yin, On the structure of solutions to the periodic Hunter-Saxton equation, SIAM J. Math. Anal. 36 (2004). 20